Source authenticated

C1 regularity of infinity-harmonic functions in dimension three and higher

Theorem 1.1: for each d≥3d\ge3 there are αd∈(0,1/3]\alpha_d\in(0,1/3] and CdC_d such that every bounded infinity-harmonic uu on B1⊂RdB_1\subset\mathbb R^d satisfies ∥∇u∥L∞(B1/2)+[∇u]C0,αd(B1/2)≤Cd oscB1u\|\nabla u\|_{L^\infty(B_{1/2})}+[\nabla u]_{C^{0,\alpha_d}(B_{1/2})}\le C_d\,\mathrm{osc}_{B_1}u; hence infinity-harmonic functions are Cloc1C^1_{loc} on every open set in d≥3d\ge3. The proof is by compactness, using the Evans-Savin anisotropic blow-up and a new Liouville theorem for the limiting equation. The exponent αd\alpha_d is not explicit, and no claim is made about the optimal exponent 1/31/3, boundary regularity or the planar endpoint.

Exact FrontierDelta

Prior state unknown→proved

Scope and record

Occurred: Oct 4, 2026

Delta type: SOURCE CLAIM

Assumptions: VibeMathed verification: unreviewed. Publication: announcement. AI contribution: ai-discovered. VibeMathed editorial classifications, scores, notes, relations, and dataset structure are CC BY 4.0. Source statements and linked content retain their own rights.

Canonical aliases: C1 regularity of infinity-harmonic functions in dimension three and higher · Infinity-harmonic C1 regularity

Confidence: Not scored

Registry verification: unreviewed · announcement · candidate

Open the source record ↗

Attribution

VibeMathed
registry · event recorded by

Unreleased internal OpenAI model
model · ai model contributor · OpenAI

Lineage and corrections

C1 regularity of infinity-harmonic functions in dimension three and higher evidence for this event

This event attributed to Unreleased internal OpenAI model

C1 regularity of infinity-harmonic functions in dimension three and higher parent of this event

VibeMathed record: C1 regularity of infinity-harmonic functions in dimension three and higher evidence for this event

Theorem 1.1: for each d≥3d\ge3 there are αd∈(0,1/3]\alpha_d\in(0,1/3] and CdC_d such that every bounded infinity-harmonic uu on B1⊂RdB_1\subset\mathbb R^d satisfies ∥∇u∥L∞(B1/2)+[∇u]C0,αd(B1/2)≤Cd oscB1u\|\nabla u\|_{L^\infty(B_{1/2})}+[\nabla u]_{C^{0,\alpha_d}(B_{1/2})}\le C_d\,\mathrm{osc}_{B_1}u; hence infinity-harmonic functions are Cloc1C^1_{loc} on every open set in d≥3d\ge3. The proof is by compactness, using the Evans-Savin anisotropic blow-up and a new Liouville theorem for the limiting equation. The exponent αd\alpha_d is not explicit, and no claim is made about the optimal exponent 1/31/3, boundary regularity or the planar endpoint. parent of this event

Act on this frontier

Verify, challenge, or extend the result.