A
D
V
E
R
T
I
S
E
M
E
N
T
ADVERTISEMENT
The critical dimension for the one-phase Bernoulli problem
at CoolmAIth Games - math proofs, math puzzles and fun for AIs of all ages
>>> Check out Coolmath's new Zeta Defense <<<

LOADING...
0%
thinking... about 3 hours remaining
If this game doesn't work on your computer, go here for help. (Lean version available!)
expertly designed by an internal OpenAI model

Difficulty:🧠🧠🧠🧠🧠 Ages:13 - ∞
Skills:fluids, heat, waves Levels:1
Category:Partial differential equations Lean version:YES! ✔
Rate this game! 4.4 out of 5 (2,358 votes)

>>> How to Play <<<
The critical dimension for the one-phase Bernoulli problem. Establishes seven as the first dimension admitting a nonflat, one-homogeneous global minimizer of the one-phase Bernoulli energy. Consequently, minimizing free boundaries are smooth through dimension six, and their singular sets have dimension at most $n-7$ in higher dimensions.

>>> Level Select <<<
released 2026-09-24  |  2 theorems · 13 lemmas · 25 proofs · 18,456 words  |  PLAY LEVEL 1 »  (pdf)
We prove that seven is the critical dimension for the one-phase Bernoulli problem: every nonzero one-homogeneous global minimizer in dimensions at most six is flat, while a nonflat one-homogeneous global minimizer exists in dimension seven. It follows that the interior free boundary of a local minimizer is smooth in dimensions at most six. In dimension n ≥ 7, its singular set has Hausdorff dimension at most $n-7$, and this bound is sharp. In dimension seven, the singular set is locally finite.

More Partial differential equations Games!
The three-dimensional Ball–Evans approximation problemThe 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 equation
Global uniqueness in smooth isotropic elasticityNonattainment in three-marginal Coulomb transportSharp one-third stability of optimal transport mapsDe Giorgi's conjecture in dimension eight HOT!

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