∑math20

Partial differential equations · Result 377

Interior \(C^{1,\alpha}\) regularity for infinity-harmonic functions

1 paper

Proves uniform interior \(C^{1,\alpha_d}\) regularity for bounded infinity-harmonic functions in every dimension d ≥ 3, for a positive exponent depending only on dimension. The gradient's supremum norm and Hölder seminorm on the half unit ball are bounded by a dimension-dependent constant times the oscillation on the unit ball. The exponent is not explicit.

Watch

▶Introduction: the problem and why it mattersin preparation
▶The presented solutionin preparation

Papers 1

First page of Uniform Interior $`C^{1,\alpha}`$ Estimates for Infinity-Harmonic Functions

Uniform Interior \(C^{1,\alpha}\) Estimates for Infinity-Harmonic Functions

OpenAI · October 4, 2026

We prove a uniform interior \(C^{1,\alpha_d}\) estimate for bounded infinity-harmonic functions in every dimension d ≥ 3. For some \(\alpha_d\in(0,1/3]\) depending only on the dimension, the gradient's supremum norm and αd-Hölder seminorm on B1/2 are bounded by a dimension-dependent constant times the oscillation on B1. The exponent is not explicit, and no endpoint or boundary regularity claim is made. In particular, infinity-harmonic functions are locally C1 on every open subset of ℝd, for d ≥ 3.

Read PDF Download Source

Cite
@misc{OAI:Uniform-Interior-C1alpha-Estimates-for-Infinity-Harmonic-Functions-October-4-2026,
  author = {{OpenAI}},
  title = {{Uniform Interior $C^{1,\alpha}$ Estimates for Infinity-Harmonic Functions}},
  howpublished = {OpenAI Math Release preprint
                  \href{https://github.com/openai/math/blob/main/preprints/Uniform-Interior-C1alpha-Estimates-for-Infinity-Harmonic-Functions-October-4-2026/interior-c1-infinity-harmonic.pdf}{OAI:Uniform-Interior-C1alpha-Estimates-for-Infinity-Harmonic-Functions-October-4-2026}},
  year = {2026}
}

Formal verification

No Lean formalization is listed for this result yet. The repository notes that unformalized results could have issues.