![]() |
![]() |
A double bubble is pair of bubbles which intersect and are separated by a membrane bounded by the intersection. The usual double bubble is illustrated in the left figure above. A more exotic configuration in which one bubble is torus-shaped and the other is shaped like a dumbbell is illustrated at right (illustrations courtesy of J. M. Sullivan).
In the plane, the analog of the double bubble consists of three circular arcs meeting in two points. It has been proved that the configuration of arcs meeting at equal
angles)
has the minimum perimeter for enclosing two equal areas
(Alfaro et al. 1993, Morgan 1995).
It had been conjectured that two equal partial spheres sharing a boundary of a flat disk separate two volumes of air using a total surface
area that is less than any other boundary. This equal-volume case was proved
by Hass et al. (1995), who reduced the problem to a set of integrals which they carried out on an ordinary PC. Frank
Morgan, Michael Hutchings, Manuel Ritoré, and Antonio Ros finally proved the
conjecture for arbitrary double bubbles in early 2000. In this case of two unequal
partial spheres, Morgan et al. showed that the separating boundary which minimizes
total surface area is a portion of a sphere which meets
the outer spherical surfaces at dihedral angles
of
. Furthermore, the curvature
of the partition is simply the difference of the curvatures
of the two bubbles,
(1)
|
where
is the radius of the interface and
and
are the radii of the bubbles (Isenberg 1992, pp. 88-95).
Furthermore, for three bubbles with radii
,
,
and
, and interface radii
, and
,
(2)
|
(3)
|
(Isenberg 1992, pp. 88-95).
Amazingly, a group of undergraduates has extended the theorem to four-dimensional double bubbles, as well as certain cases in five-space and higher dimensions. The corresponding triple bubble conjecture remains open (Cipra 2000).