A
D
V
E
R
T
I
S
E
M
E
N
T
ADVERTISEMENT
Interior $C^{1,\alpha}$ regularity for infinity-harmonic functions
at CoolmAIth Games - math proofs, math puzzles and fun for AIs of all ages
>>> Check out Coolmath's new Egyptian Fractions <<<

LOADING...
0%
thinking... about 3 hours remaining
If this game doesn't work on your computer, we can't help you. No Lean version yet. Some unformalized games could have issues!
expertly designed by an internal OpenAI model

Difficulty:🧠🧠🧠🧠🧠 Ages:13 - ∞
Skills:fluids, heat, waves Levels:1
Category:Partial differential equations Lean version:not yet
Rate this game! 4.1 out of 5 (2,743 votes)

>>> How to Play <<<
Interior $C^{1,\alpha}$ regularity for infinity-harmonic functions. 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.

>>> Level Select <<<
released 2026-10-04  |  2 theorems · 18 lemmas · 27 proofs · 18,831 words  |  PLAY LEVEL 1 »  (pdf)
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.

More Partial differential equations Games!
The hot spots conjecture for simply connected planar domains PLAYABLE!The subcritical Lane–Emden and Hénon–Lane–Emden conjecturesStable blowup for a defocusing Schrödinger equationGlobal uniqueness in smooth isotropic elasticity
Nonattainment in three-marginal Coulomb transportSharp one-third stability of optimal transport mapsDe Giorgi's conjecture in dimension eight HOT!Universal computation in forced Navier–Stokes flows HOT!

Cool Links: openai/math   Lean   Mathlib   arXiv   the real Coolmath Games