For a symmetric bounded bilinear form that is strictly positive on nonzero vectors, and a bounded linear functional , set . The first variation is . A weak solution of satisfies , so it is the unique minimizer. Conversely, any minimizer solves the weak equation. A coercive bilinear form gives existence by the Lax-Milgram theorem; strict positivity alone does not.
An integral constraint need not admit a normal Lagrange multiplier unless its first variation is nonzero. For the quadratic normalization in the title, the variation in direction has derivative , so the constraint is always regular at an admissible function. With free endpoint values this justifies the Euler-Lagrange equation for and its natural endpoint conditions. For , multiplication of the differential equation by gives .
Soap film pressure balance 2026-10-14
For an ideal soap film with equal constant surface tension on both faces, the effective tension is . Choose a unit normal from the minus side to the plus side, and . Translating the Young–Laplace equation to givesA single interface uses . An outward-oriented spherical soap bubble has , giving . The positive-convex curvature sum in the Young–Laplace equation article is . [ref]
An open film with the same resting gas on both sides has zero pressure jump. Neglecting film weight, soap film pressure balance gives : a minimal surface. A pressurized bubble instead has nonzero mean curvature. These statements assume equilibrium, constant surface tension, and negligible normal viscous stress. Surfactant gradients or motion require the fuller normal stress balance. [ref]
The variational outline is short. With fixed boundary, a normal displacement gives by the first variation of area formula. For a closed interface oriented outward, , so stationarity of gives . This is a first variation calculation; testing for a stable minimal surface needs the second variation, and deciding a global minimum needs a comparison of competitors.
Stationary point Created 2026-09-24 Updated 2026-10-14
A point is stationary for a differentiable function or functional when its first derivative or first variation vanishes in every admissible direction.
At a freely moving regular junction of three smooth image edges with equal isotropic length weights, the endpoint first variation requires the sum of their outward unit tangent vectors to vanish. Three unit vectors with zero sum have pairwise angles of degrees. Different interface weights instead give a weighted force balance, and constrained or singular junctions require separate hypotheses.