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

From MaRDI portal
Added link to MaRDI item.
RedirectionBot (talk | contribs)
Removed claim: reviewed by (P1447): Item:Q679311
Property / reviewed by
 
Property / reviewed by: Q587360 / rank
Normal rank
 

Revision as of 09:40, 20 February 2024

scientific article
Language Label Description Also known as
English
Proof of the double bubble conjecture
scientific article

    Statements

    Proof of the double bubble conjecture (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    4 April 2003
    0 references
    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.
    0 references
    double bubble
    0 references
    prescibed volume
    0 references
    least-area
    0 references

    Identifiers