PAIRED CALIBRATIONS APPLIED TO SOAP FILMS, IMMISCIBLE FLUIDS, AND SURFACES OR NETWORKS MINIMIZING OTHER NORMS

In this paper we introduce a new method for proving area-minimization which we call "paired calibrations." We begin with the simplest application, the cone over the tetrahedron, which appears in soap films. We then discuss immiscible fluid interfaces, crystal surfaces, and one-dimensional networks minimizing other norms. 1. Introduction In her classification of soap-film singularities [Tl], Jean Taylor proved only by the process of elimination that the cone over the edges of the regular tetrahedron minimizes area among surfaces separating the four faces. We give a direct proof which applies to regular simplices in all dimensions. See Figure 1.0.1. Configurations of several immiscible fluids try to minimize an energy proportional to interfacial surface area, but the constant of proportionality varies for each pair of fluids. Chapter 2 proves that certain cones minimize such weighted areas. The surface energy of a crystal depends on direction, as given by a norm Φ on unit normals. Chapter 3 proves certain cones Φminimizing, such as a cone over a triangular prism. The hypotheses involve basic geometric questions, such as the number of possible cardinalities of equilateral sets (i.e., sets of pairwise equidistant points) for a norm on Rn. We also consider 1-dimensional Φ-minimizing networks for differentiable norms Φ. It is well-known that length-minimizing networks meet in threes at 120° angles. Chapter 4 classifies the singularities in Φ-minimizing networks in Rn and establishes n + 1 as the sharp bound on the number of segments that can meet at a point.

[1]  M. Fréchet Sur La Definition Axiomatique D'Une Classe D'Espaces Vectoriels Distancies Applicables Vectoriellement Sur L'Espace de Hilbert , 1935 .

[2]  G. Hardy,et al.  What is Mathematics? , 1942, Nature.

[3]  Leonard M. Blumenthal,et al.  Theory and applications of distance geometry , 1954 .

[4]  Branko Grünbaum Strictly antipodal sets , 1963 .

[5]  M. Hanan,et al.  On Steiner’s Problem with Rectilinear Distance , 1966 .

[6]  E. Cockayne On the Steiner Problem , 1967, Canadian Mathematical Bulletin.

[7]  H. Fédérer Geometric Measure Theory , 1969 .

[8]  C. Petty,et al.  Equilateral sets in Minkowski spaces , 1971 .

[9]  J. Taylor,et al.  The structure of singularities in soap-bubble-like and soap-film-like minimal surfaces , 1976 .

[10]  J. Taylor The structure of singularities in solutions to ellipsoidal variational problems with constraints in R3 , 1976 .

[11]  F. Almgren,et al.  Existence and regularity almost everywhere of solutions to elliptic variational problems with constraints , 1975 .

[12]  F. Almgren,et al.  The Geometry of Soap Films and Soap Bubbles , 1976 .

[13]  B. White Existence of least-area mappings of N-dimensional domains , 1983 .

[14]  Richard K. Guy,et al.  An Olla-Podrida of Open Problems, Often Oddly Posed , 1983 .

[15]  G. Chakerian,et al.  The Fermat problem in Minkowski spaces , 1985 .

[16]  B. White Regularity of the singular sets in immiscible fluid interfaces and solutions to other plateau-type problems , 1986 .

[17]  F. Morgan Area-minimizing surfaces, faces of Grassmannians, and calibrations , 1988 .

[18]  F. Morgan Geometric Measure Theory: A Beginner's Guide , 1988 .

[19]  F. Morgan Size-minimizing rectifiable currents , 1989 .

[20]  F. Morgan Calibrations and New Singularities in Area-minimizing Surfaces: A Survey , 1990 .

[21]  F. Morgan Soap Bubbles and Soap Films a , 1990 .

[22]  Frank Morgan Minimal surfaces, crystals, and norms on Rn , 1991, SCG '91.

[23]  F. Morgan The cone over the Clifford torus in R4 isΦ-minimizing , 1991 .

[24]  Mark Conger,et al.  The structure of singularities in $\Phi$-minimizing networks in ${\bf R}^2$. , 1991 .

[25]  K. Brakke Minimal cones on hypercubes , 1991 .

[26]  Frank Morgan,et al.  Minimal Surfaces, Crystals, Shortest Networks, and Undergraduate Research , 1992 .

[27]  Kenneth A. Brakke,et al.  The Surface Evolver , 1992, Exp. Math..

[28]  K. Brakke Soap films and covering spaces , 1995 .

[29]  M. Alfaro Existence of shortest directed networks in ${\bf R}^2$. , 1995 .