Treat and as independent fields. The Lagrangian density is
The Euler-Lagrange equation for is
or
The equation from variation of is its complex conjugate.
Put , , so and . The quadratic Lagrangian is obtained by taking
The two real fluctuations form a coordinate and its canonical momentum rather than two independent modes. Their Euler-Lagrange equations combine to give
and similarly for . The ferromagnetic magnon therefore has the quadratic dispersion relation
The area element is , so
For the Lagrangian , stationarity under every compactly supported variation gives the Euler-Lagrange equation
Multiplication by expands this into
recovering part (d).
For the p-energy
the first variation in the direction is
An integration by parts therefore gives the Euler-Lagrange equation
which is the p-Laplacian equation. In the notation of the question one takes .
For , the principal coefficient matrix is
Its eigenvalue in directions orthogonal to is , while its eigenvalue parallel to is . The coefficients are away from , and the condition number there is at most . On every region where , this gives uniform ellipticity with constants depending on , , and . At all principal eigenvalues vanish, so the operator is degenerate there and is not strictly elliptic on a domain containing a critical point.
The Euler-Lagrange equation is
Time-translation invariance gives the conserved energy
Indeed, after integrating the spatial term by parts and imposing finite-energy boundary conditions,
Take upward along the straight rod. The part above height has weight , so, with tensile force positive, the internal tension is compressive:
For a small transverse displacement , the quadratic bending and gravitational energies are
The Euler-Lagrange equation for this functional is
which is exactly
Clamping at the bottom fixes displacement and slope:
At the free upper end, bending moment and transverse force vanish:
Since , the four boundary conditions are
Set . Integrating the field equation once and using the free-end shear condition gives
or, with ,
Introduce the dimensionless similarity coordinate
and write . Direct substitution reduces the equation to
This is the Bessel differential equation of order , so
The free-moment condition is . As ,
The second term has nonzero limiting derivative, so the free-end condition forces . The free-shear condition then follows from the differential equation. At the clamp, , giving
Let be the smallest positive zero of this Bessel function. The first self-buckling threshold is
or equivalently
For , let be the affine barriers from the bounded slope condition. Their constant gradients satisfy the Euler-Lagrange equation, so they minimize the autonomous convex functional for their own boundary values. The comparison principle gives
Since both barriers equal at and are -Lipschitz,
for and . The supplied boundary-to-interior criterion now gives .
Part c supplies a bounded slope condition constant . Choose . Parts a and d give a constrained minimizer with , and part b makes it a minimizer over all of .
For , the Euler-Lagrange equation is the minimal surface equation for a graph
The Lipschitz bound confines to a compact set on which is uniformly positive definite, so the equation is uniformly elliptic. Interior regularity gives first, and repeated Schauder estimates then give smoothness in the interior.
For an arbitrary smooth variation , differentiation under the integral gives
Since is compact without boundary, integration by parts turns this into
The fundamental lemma of the calculus of variations therefore gives the Euler-Lagrange equation
or equivalently for the Laplace-Beltrami operator.
p-Laplacian Created 2026-09-24 Updated 2026-10-06
The p-Laplacian is the nonlinear divergence-form operator
It is the Euler-Lagrange operator of the p-energy. For it is degenerately elliptic where .
Using the positive polar molecular field and velocity gradient , the reversible order-parameter stress consists of a distortion contribution and rotational and alignment contributions:
For a local free-energy density, a representative is . The Euler-Lagrange equation verifies its divergence. Integration by parts gives for an incompressible displacement without surface work; the corresponding mechanical power has the opposite sign. Pressure contributions may be reassigned in an incompressible flow.
For real , this energy functional on is coercive and attains its minimum by the direct method in the calculus of variations. The nonnegative potential term is weakly lower semicontinuous by local Sobolev compactness gives lower semicontinuity of a nonnegative integral. Its Euler-Lagrange equation is in the weak solution sense. The extra linear restoring term screens the Sine-Gordon equation nonlinearity. The scalar potential is convex because ; hence any weak critical point is a minimizer. The elliptic regularity estimate for , together with , gives . The Sobolev inequality then puts in , so Morrey's inequality and uniformly continuous integrable functions vanish at infinity give a continuous representative tending to zero.
For a bounded operator on a real Hilbert space, with . Consequently the Euler-Lagrange equation of is . It is only when is self-adjoint or when the relevant solution also annihilates the skew part. For example has positive quadratic form , but that form contains no information about its skew part.
For a Lorentzian metric and timelike , put and . The Euler-Lagrange equations of give , while those of give . Taking removes the latter tangential acceleration and gives a unit timelike tangent. Thus the two actions have the same geodesic images; the quadratic action singles out an affine parameter. They do not have the same solutions for an arbitrary fixed parameter: , , , in Minkowski spacetime solves the length equation but not the energy equation. Null curves are excluded since .
For the leading periodic propulsive force of a periodic planar filament and power of a periodic planar filament functionals, the Euler-Lagrange equation for gives . For nonzero thrust, obeys an advection equation and the active travelling wave is , with . A static periodic shape may be added without changing leading force or power. Stationarity is a necessary extremum condition, not by itself an existence theorem for a global maximum.