# Plateau problem

The problem of finding a minimal surface with a given boundary $\Gamma$. The problem was first formulated by J.L. Lagrange (1760), who reduced it for the class of surfaces of the form $z= z( x, y)$ to the solution of the Euler–Lagrange equation for a minimal surface. Experiments by J. Plateau (1849) showed that a minimal surface can be obtained in the form of a soap film stretched on a wire framework , and the problem has come to be called the Plateau problem.

In a rigorous formulation, the Plateau problem requires some additional refinements relating to the unknown minimal surface and the boundary. For example, one has to determine: whether the solution should be a regular minimal surface or whether it can be sought among generalized minimal surfaces; whether the surface must realise an absolute minimum of the area; what should be the conformal or topological type of the surface; in what sense one should understand the boundary of the surface, etc. The formulation determines the solution and its properties (existence, uniqueness, regularity, etc.), which may differ substantially.

During the 19th century the Plateau problem was solved for certain particular forms of $\Gamma$, mainly for various polygonal contours (B. Riemann. H.A. Schwarz, K. Weierstrass). In 1928, existence was proved of a solution to the Plateau problem for a generalized minimal surface of disc type, which is represented by Weierstrass' formulas and bounded by a given non-nodal Jordan curve (R. Garnier). In 1931, a solution to the Plateau problem was given in the following formulation (T. Rado): Let $\Gamma$ be a Jordan curve in $\mathbf R ^ {n}$, $n\geq 2$, then in $\mathbf R ^ {n}$ there exists a generalized minimal surface, defined in isothermal coordinates $( u, v)$ by a position vector $r= r( u, v)$ that is continuous in the disc $| w |\leq 1$, $w= u+ iv$, and that homeomorphically maps the circle $| w | = 1$ onto $\Gamma$; the area of this generalized minimal surface is the least among all continuous surfaces of disc type stretched on the contour $\Gamma$, on the assumption that at least one such surface of finite area can be stretched on $\Gamma$.

After the Plateau problem had been solved in 1931 for a simply-connected surface (J. Douglas), Douglas formulated the so-called Douglas problem on the existence in $\mathbf R ^ {n}$, $n \geq 2$, of a minimal surface having a given topological type (i.e. a given Euler characteristic and orientability character) and being bounded by a given contour $\Gamma$ consisting of the union of $k\geq 1$ Jordan curves $\Gamma _ {1} \dots \Gamma _ {k}$. In 1936–1940, sufficient solvability conditions for this problem were given, one of which is the possibility of stretching some surface of a given topological type on $\Gamma$ whose area is less than the area of any surface having a smaller Euler characteristic stretched on the same contour. In that formulation, the Plateau problem was considered and solved also in Riemannian spaces.

In the early 1960-s, a major advance was made in solving the Plateau problem for $k$-dimensional surfaces, $k\geq 3$. Several generalizations of the Plateau problem were proposed, based on new definitions of the concept of a surface, a boundary and area. One of the extensions is based on the following definition of a surface $X$ and its boundary $L$ in $\mathbf R ^ {n}$. Let there be a compact set $X \subset \mathbf R ^ {n}$, a compact set $A \subset X$, let $G$ be an Abelian group, and let $k \geq 1$ be an integer; then the Aleksandrov–Čech homology groups $H _ {k-1} ( A, G)$, $H _ {k-1} ( X, G)$ are defined, together with the kernel of the homomorphism $i _ {*} : H _ {k-1} ( A, G) \rightarrow H _ {k-1} ( X, G)$ induced by the imbedding $i: A\rightarrow X$, which is called the algebraic boundary of $X$ (in dimension $k$) relative to $A$. If $L$ is a subgroup of $H _ {k-1} ( A, G)$, then $X$ is a surface with boundary $\supset L$ if $L$ belongs to the algebraic boundary of $X$; by the area of a compact set $X$ in $\mathbf R ^ {n}$ one understands its $k$-dimensional Hausdorff (spherical) measure ${\mathcal H} ^ {k}$. Existence and almost-everywhere regularity have been demonstrated for a compact set $X _ {0}$ that realizes the minimum in the measure ${\mathcal H} ^ {k}$ over all compacta $X$ with the given boundary $L$ subject to these stipulations (as well as topological local Euclidean structure and analyticity). Subsequently, these theorems were extended to the case of surfaces $X$ in a Riemannian space.

Other proposed generalizations, in particular in terms of integral currents, are in a certain sense equivalent to a formulation in homology terms.

The multi-dimensional Plateau problem (cf. Plateau problem, multi-dimensional) was solved in a classical formulation in 1969 (A.T. Fomenko), when the following theorem was proved: If one is given a $( k- 1)$-dimensional submanifold $\Gamma$, $k\geq 3$, in a Riemannian space $V ^ {n}$, then there exists a surface that realizes a minimum in the Hausdorff measure ${\mathcal H} ^ {k}$ among all parametrized surfaces $X$ that are continuous $f$-transforms in $V ^ {n}$ of $k$-dimensional smooth manifolds $M$ with boundaries homeomorphic to $\Gamma$ under the mapping $f: M\rightarrow V ^ {n}$.

Along with the solvability of the Plateau problem, interest attaches to uniqueness and regularity of the solution. Regularity has been most examined. It has been shown that the solution given by Douglas in $\mathbf R ^ {3}$ does not contain interior branch points. Regularity almost everywhere has been demonstrated for the case of multi-dimensional Plateau problems, and the possibility of the existence of irregular points has been confirmed with examples. As regards uniqueness, only certain sufficient criteria are known (for example, the solution is unique if the given contour $\Gamma$ has a single-valued convex projection under central or parallel projection onto a certain plane). To emphasise the complexity of this topic, it is sufficient to say that there is reason to expect the existence of smooth Jordan contours spanning a continuum of minimal surfaces of disc type. For a survey of recent results on the Plateau problem see .

How to Cite This Entry:
Plateau problem. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Plateau_problem&oldid=52158
This article was adapted from an original article by I.Kh. Sabitov (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article