Choksi–Peletier liquid drop minimizer conjecture

About 2 years old · traced to

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∬Ω×Ωdx dy∣x−y∣D(\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 B1⊂R3B_1\subset\mathbb{R}^3 be the unit ball and set

V∗=2−223223−1∣B1∣P(∂B1)12∬B1×B1∣x−y∣−1 dx dy=52−223223−1≈3.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 V≤V∗V\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>V∗V>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.

References

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.