Impose the fixed conserved order parameter
with a Lagrange multiplier . Stationarity of
under every local variation gives
Thus the chemical potential is spatially constant at constrained equilibrium.
For fixed endpoint values, the first variation of the functional
vanishes exactly when the Euler-Lagrange equation
holds. If has no explicit dependence, differentiation along an extremal gives the Beltrami identity
For a further constraint , introduce a constant Lagrange multiplier and apply the Euler-Lagrange equation to ; is then chosen so that the constraint holds.
At a regular constrained stationary point of on , the Lagrange multiplier method solves
For the first problem, substitute to obtain
Its stationary equations imply either or , and in either case the only real stationary point is , . Coercivity ensures that the minimum is attained, so
at .
For the second problem, the arithmetic-geometric mean inequality gives
Consequently
Equality occurs at , and hence
Minimize subject to . A minimizing sequence is bounded in , and part 2 supplies a subsequence converging strongly in and weakly in . The constraint survives the strong convergence, while weak lower semicontinuity of the norm shows that the limit attains the minimum. Since and almost everywhere, we may take .
The Lagrange multiplier equation is
where testing with shows that . Thus
This is the ground-state eigenfunction of a confining Schrödinger operator.
For the Gibbs entropy
first maximize subject only to over accessible microstates. A Lagrange multiplier gives
so every is equal. Normalization yields the microcanonical ensemble
For the canonical ensemble, impose both normalization and the mean-energy constraint . Stationarity of
gives . The canonical partition function fixes , so
Thermodynamic consistency identifies . This is the maximum-entropy derivation of equilibrium ensembles.
For a regular constraint , an interior constrained extremum satisfies
together with the constraint; boundary cases must also be checked.
Here maximize subject to . The Lagrange multiplier equations give
At a positive maximizer these imply . Boundary points have zero volume, so the maximum is
A linear operator on a real inner-product space is self-adjoint when
for all .
To prove the finite-dimensional spectral theorem, first note that the continuous quadratic function has a maximum on the unit sphere. The Lagrange multiplier equation at a maximizing vector gives , so has a real unit eigenvector. Its orthogonal complement is invariant because
Induction on the dimension supplies an orthonormal eigenbasis of that complement and hence of .
For ,
while symmetry and bilinearity are immediate, so the displayed formula defines an inner product on . Since
integration by parts gives
The boundary term vanishes for polynomials, proving that is self-adjoint.
On the monomial ,
Thus the matrix of in the monomial basis is triangular with diagonal
These are therefore its eigenvalues. For , corresponding eigenvectors are
for eigenvalues , respectively. They are the first Laguerre polynomials up to normalization, as described by the Laguerre differential operator on polynomials.
The expected number of failures is
Holding the alternative and test size fixed, constant power is equivalent to fixing . The ethical allocation problem is therefore
The Lagrange multiplier stationary equations determine the ratio; the second-order condition requires the constrained stationary point to be a local minimum.
Equilibrium minimizes at fixed total composition , so a Lagrange multiplier gives , independent of position. In the two homogeneous phases,
The symmetric coexistence pair therefore has . For a planar profile depending only on the normal coordinate ,
or
up to reversal of the two phases.
The mean extension in an ensemble of molecules is
with constraints and . For occupancies , the number of assignments of the distinguishable ensemble members to the states is the multinomial coefficient
Thus maximizing the probability at fixed and is equivalent to maximizing the stated Lagrange multiplier expression.
Because , the Stirling formula gives . Differentiating with respect to each gives
Normalization by therefore yields the probability mass function
Here is the fixed-tension partition function that normalizes the probabilities.
At a regular constrained extremum of on , the tangent derivatives of vanish. Since is normal to the constraint surface, the Lagrange multiplier condition is
One solves these equations and then compares the resulting candidates, including any boundary or singular cases.
Let the base have dimensions and , and let the height be . Measure cardboard relative to the thickness of the front and back. The weighted amount used is
because the bottom has triple thickness, the two front and back faces have ordinary thickness, and the two side faces have double thickness. The constraint is .
The multiplier equations are
They imply
Thus and ; imposing gives . Therefore
This is the global minimum: by the arithmetic-geometric mean inequality,
and equality holds at these dimensions. This is an instance of weighted open-box minimization.
Part b shows that decreases continuously from to . Because is nonuniform, the variance in part b is positive, so for each intermediate there is a unique with .
To minimize subject to , the optimum lies on the boundary . The Lagrange multiplier equations for
give for some . The entropy constraint selects uniquely. Therefore
Associate a nonnegative Lagrange multiplier with each inequality. The Lagrangian dual problem begins with
Its infimum over is finite exactly when , in which case it equals . The dual linear program is consequently
For any primal-feasible and dual-feasible ,
which proves weak duality. Strong duality means equality of the two optimal values. The stated strict feasibility is the Slater condition; together with finiteness of the primal optimum it gives strong duality and an attained dual optimum .
The thermodynamic order parameter is the conserved scalar composition difference of the binary fluid mixture. The momentum density is an additional conserved hydrodynamic mode; it is not a symmetry-breaking order parameter, but it must be retained because momentum relaxes only through spatial transport.
Composition conservation gives a continuity equation,
The current is the leading isotropic, dissipative constitutive law: it drives material down gradients of the chemical potential. For the Landau-Ginzburg theory
the functional derivative is
These statements give the advective Cahn--Hilliard equation.
Constant mass density and incompressible flow require . Momentum conservation gives the Navier-Stokes equation: material acceleration equals the sum of the Newtonian viscous force , the pressure force , and the Korteweg force . The pressure is the Lagrange multiplier enforcing incompressibility. Together these equations are Model H dynamics; isothermality removes the need for a separate energy equation.
The empirical kernel covariance operator is self-adjoint and positive semidefinite. Maximize subject to . The first variation of the Lagrange multiplier functional gives
so . Taking the inner product with gives
In the long-wavelength description of an antiferromagnet, is the antiferromagnetic spin wave velocity and controls the stiffness or strength of quantum fluctuations. The field is an auxiliary Lagrange multiplier enforcing the fixed-length constraint on the order parameter. At the translation-invariant saddle, shifts every propagator denominator and is the excitation gap, which explains the name gap equation.
The Large-N expansion makes fluctuations of the auxiliary field relatively small. Its leading saddle-point condition is then self-consistent and becomes the displayed gap equation.
Phase-space action Created 2026-10-05 Updated 2026-10-06
A phase-space action treats canonical variables as independent fields. Varying them gives Hamilton's equations; Lagrange multipliers can impose constraints.
For and , minimize subject to . Adding a positive Lagrange multiplier times the constraint gives a positive-definite quadratic optimization Lagrangian, whose minimizer is and . Feasibility is the displayed scalar equation. Its left side strictly decreases from positive infinity to negative infinity on , so it has a unique root for every real . The Lagrangian sufficiency theorem certifies a unique global optimum on the possibly nonconvex equality surface.
An optimal dual variable bounds the effect of perturbing a convex value function:
If is finite convex near zero, . A singleton subdifferential gives differentiability and a first-order expansion. For an upper-bound constraint relaxed by , the derivative equals the negative of the nonnegative Lagrange multiplier; relaxing the bound can decrease the minimum value.
Worldline einbein Created 2026-10-05 Updated 2026-10-06
An einbein specifies a one-dimensional metric tensor along a worldline. In the relativistic particle phase-space action it is the Lagrange multiplier for the mass-shell condition and transforms as under the corresponding canonical gauge transformation. After eliminating the momentum, its geometric interpretation depends on the normalization of the particle action.