Double bubbles minimize

From MaRDI portal
Publication:1573718



Abstract: The classical isoperimetric inequality in R^3 states that the surface of smallest area enclosing a given volume is a sphere. We show that the least area surface enclosing two equal volumes is a double bubble, a surface made of two pieces of round spheres separated by a flat disk, meeting along a single circle at an angle of 120 degrees.


The authors prove the ``double bubble conjecture in \(\mathbb{R}^3\), in the particular case in which the two volumes are equal. Thus, the configuration in \(\mathbb{R}^3\) of smallest perimeter bounding two equal volumes consists of two spherical caps of equal radius meeting at \(120^\circ\) angles, and a plane through the intersection circle of the spheres. The procedure takes as its starting point from earlier results due to Almgren, to Taylor, to White, and to Hutchings; these results greatly reduce the number of cases that need to be considered. The authors study the remaining conceivable configurations individually, ruling out extraneous cases in part by direct reasoning and in part by computer calculation with controlled error estimation. The exposition is very clear and complete, and nicely organized; the paper could serve as initial reading for some of the established techniques that are incidental to the procedure. In the interim, a proof of the double bubble conjecture without the restriction to equal volumes was announced by \textit{M. Hutchings}, \textit{F. Morgan}, \textit{M. Ritoré}, and \textit{A. Ros} [Electron. Res. Announc. Am. Math. Soc. 6, 45-49 (2000; Zbl 0970.53009)], see the review below.




Cited in
(40)








This page was built for publication: Double bubbles minimize

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1573718)