Double bubbles minimize (Q1573718)

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.