Choksi–Peletier liquid drop minimizer conjecture

Let ΩR3\Omega\subset\mathbb{R}^3 be measurable, and define the liquid drop energy

E(Ω)=P(Ω)+D(Ω),\mathcal E(\Omega)=P(\Omega)+D(\Omega),

where

D(Ω)=12Ω×ΩdxdyxyD(\Omega)=\frac12\iint_{\Omega\times\Omega}\frac{dx\,dy}{|x-y|}

and P(Ω)P(\Omega) is the perimeter. For a prescribed volume VV, write

E(V)=infΩ=VE(Ω).E(V)=\inf_{|\Omega|=V}\mathcal E(\Omega).

Let B1R3B_1\subset\mathbb{R}^3 be the unit ball and set

V=22232231B1P(B1)12B1×B1xy1dxdy=5222322313.51.V_* = \frac{2-2^{\frac23}}{2^{\frac23}-1}\frac{|B_1|P(\partial B_1)}{\frac12\iint_{B_1\times B_1}|x-y|^{-1}\,dx\,dy}=5\frac{2-2^{\frac23}}{2^{\frac23}-1}\approx 3.51.

Choksi–Peletier conjecture. For VVV\leq V_*, the round ball of volume VV uniquely minimizes E()\mathcal E(\cdot) among measurable sets ΩR3\Omega\subset\mathbb{R}^3 with Ω=V|\Omega|=V; for V>VV>V_*, no minimizer exists.

The conjecture describes the expected transition from a single spherical droplet to nonexistence caused by splitting into droplets at infinite separation. The paper's abstract states that the first assertion is proved for volumes at most 11, while the full conjecture and the nonexistence assertion are not resolved here.

Sources & referencesView supporting material

Primary source

Otis Chodosh and Ian Ruohoniemi, “On minimizers in the liquid drop model”, arXiv:2401.04822 (2024).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.