About Soap Bubble Minimal Surfaces
When a soap film is stretched across a wire frame, surface tension pulls every patch of the film toward minimum area. At equilibrium, the film adopts a shape where the mean curvature H is zero at every interior point — this is a minimal surface. For a height-field surface h(x,y), the minimal surface condition reduces to the Laplace equation ∇²h = 0, making soap films natural physical computers for this classical PDE.
Plateau's problem, named after Belgian physicist Joseph Plateau who studied soap films experimentally in 1847, asks whether every closed space curve bounds a minimal surface. The affirmative proof came in 1930–31 from Jesse Douglas (who earned the first Fields Medal for this work) and independently from Tibor Radó. This simulation approximates the solution numerically using Gauss-Seidel relaxation: each interior grid point is repeatedly replaced by the average of its four neighbors until convergence.
Four frame types are provided: the Saddle (hyperbolic paraboloid boundary) produces the classic saddle-shaped minimal surface; the Catenoid approximation shows the surface between rings at different heights; the Tent frame peaks at edge midpoints; and the Flat frame is the trivial solution h=0. The canvas shows two views: a top-down height-map with contour lines (left half) and a 3D oblique projection (right half), both colored by height from dark (low) to cyan (high).
Frequently Asked Questions
What is a minimal surface?
A minimal surface is a surface with zero mean curvature (H = 0) at every point. Physically, soap films stretched on wire frames are minimal surfaces because surface tension minimizes the area for given boundary constraints. Mathematically, they satisfy the Laplace equation ∇²h = 0 for height function h(x,y), making them the unique solutions to Plateau's problem for each boundary.
What is Plateau's problem?
Plateau's problem, posed by physicist Joseph Plateau in 1847 from observations of soap films, asks: given a closed curve in space, does a minimal surface spanning it always exist, and is it unique? The mathematical existence proof was given by Jesse Douglas and Tibor Radó in 1930–31, earning Douglas the first Fields Medal. The answer: for simple closed curves, a minimal surface always exists, though it may not be unique.
How does the Gauss-Seidel algorithm work?
Gauss-Seidel iteration updates each interior grid point using the average of its four neighbors: h(i,j) ← ¼(h(i+1,j) + h(i-1,j) + h(i,j+1) + h(i,j-1)). This is equivalent to solving the discrete Laplace equation ∇²h = 0 by successive relaxation. The algorithm converges because the discrete Laplacian is a negative definite operator — any local deviation from the mean of neighbors is reduced at each step.
What is the catenoid?
The catenoid is the minimal surface formed by a soap film stretched between two parallel circular rings. Its equation is r(z) = a·cosh(z/a), where r is the radius, z the height, and a a parameter. The catenoid and the plane are the only minimal surfaces of revolution. Above a critical ratio of ring separation to radius, the soap film breaks into two flat discs — a geometric phase transition.
What is a saddle surface and why is it minimal?
A saddle (hyperbolic paraboloid) z = x²/a - y²/b has equal and opposite principal curvatures κ₁ = 2/a and κ₂ = -2/b. Mean curvature H = (κ₁+κ₂)/2. For the special case a=b, H=0 — the surface is minimal. The monkey saddle z = x³ - 3xy² is another minimal surface and the simplest soap-film shape on a figure-8 frame.
What is the Weierstrass-Enneper representation?
Any minimal surface can be parametrized using two complex functions f(z) and g(z) via the Weierstrass-Enneper formulas. This provides a complete classification of all minimal surfaces. Starting from any holomorphic function pair (f,g), you can generate a valid minimal surface — and every minimal surface can be represented this way. The catenoid corresponds to f(z)=1, g(z)=z; the helicoid to f(z)=i, g(z)=z.
What is the helicoid and why is it minimal?
The helicoid is the surface swept by a horizontal line rotating and rising around a vertical axis: x = r·cos(t), y = r·sin(t), z = c·t. It has zero mean curvature (H=0) at every point, making it a minimal surface. The helicoid and catenoid are conjugate minimal surfaces — you can continuously deform one into the other (bending without stretching) while preserving the minimal surface property.
How do soap films solve optimization problems?
The surface tension of a soap film creates a force proportional to the local mean curvature H, directed to reduce area. At equilibrium (H=0) the film has locally minimum area for its boundary. This is an analog computer: the soap film instantaneously solves the Plateau problem (minimizing area) in real time, which would take hours of computation for a fine numerical grid.
What are the applications of minimal surfaces in architecture?
Architects use minimal surface geometry for tensile roofs and membrane structures. The Munich Olympic Stadium (Frei Otto, 1972) used soap-film physical models to design the minimal-area cable-net roof. Modern computational design uses the same Plateau relaxation algorithm implemented here — iterative averaging until the surface satisfies ∇²h = 0 — to design lightweight, efficient structures.
What is the maximum principle for harmonic functions?
The Laplace equation ∇²h = 0 defines harmonic functions, which satisfy the maximum principle: they cannot have interior maxima or minima — their extreme values occur on the boundary. This is why the soap film height is always between its boundary values and why the Gauss-Seidel iteration converges: each interior point is bounded by its neighbors and the boundary is fixed.