Proof of the double bubble conjecture (Q1607728): Difference between revisions

The double bubble conjecture (now theorem) is that, in \({\mathbb R}^3\), the unique perimeter-minimizing double bubble enclosing and separating regions \(R_1\) and \(R_2\) of prescribed volumes \(v_1\) and \(v_2\) are a standard double bubble consisting of three spherical caps meeting along a common circle at 120-degree angles (for equal volumes, the middle cap is a flat disc). The physical fact expressed by the double bubble conjecture was observed and published by Plateau in 1873 (see JFM 06.0516.03). One of the difficulties is that existence proofs rely on allowing the regions \(R_1\) and \(R_2\) to be disconnected. A priori even the exterior region complementary to \(R_1\) and \(R_2\) might be disconnected. In this paper, an estimate of Hutchings is used to prove that the larger region is connected. A stability argument is used to show that the smaller region has at most two components. A second crucial part of the argument involves the consideration of rotations about an axis orthogonal to the axis of symmetry of the double bubble. The proper choice of axis allows the construction of variations that respect both volume constraints. Stability implies that the variation satisfies a nice differential equation leading to sufficient information to conclude that the surface is made up of pieces of spheres.