Use the magnetic energy . Vary the Euler potentials while keeping their boundary values fixed. The field variation is
Let . Integration by parts gives
because on the boundary. Therefore
The two interior variations are independent. At a smooth minimum their coefficients must vanish, so the curl is perpendicular to both potential gradients and hence parallel to wherever :
This is a force-free magnetic field: the Lorentz force density vanishes. Taking the divergence also gives , so the proportionality factor is constant along a field line but need not be the same on different lines.
The fixed-label variation preserves the encoded field-line connection rather than allowing arbitrary reconnection during minimization. The argument proves a necessary condition for a smooth minimum, not that every force-free stationary field is a stable energy minimum. It also does not include gas pressure or gravity in the minimized functional.
Take and label each dumbbell once. Locally assume its probability density and number density vary negligibly over a connector length. The oriented connector crossing count follows geometrically: a connector crosses a small plane element precisely when its midpoint lies within a slab of normal thickness . For configurations in , the unsigned crossing number per unit area is therefore
The expression without the absolute value is an oriented crossing count, or an unsigned count restricted to . It cannot be an unrestricted nonnegative number: a connector gives a negative printed expression despite physically intersecting the plane.
To obtain traction, keep the force orientation as well. For , the spring force on the bead below the plane exerted by the bead above it is . For the opposite orientation it is . Multiplying that force by the unsigned crossing count in either case gives
Integrating over all labelled configurations yields
There is no extra factor of two: each dumbbell was labelled and counted once, and the orientation-dependent force has already supplied the sign. This is the local continuum stress approximation; resolving appreciable spatial variation across a finite connector would require a nonlocal stress construction.
For a variation with but arbitrary , differentiation and integration by parts give
First choose variations supported inside the interval. The fundamental lemma of the calculus of variations gives the Euler-Lagrange equation. Then allow arbitrary endpoint variation to obtain the natural boundary conditions for a free endpoint:
Because has no explicit dependence on ,
Thus the Beltrami identity is , constant along an extremal.
For the brachistochrone problem, put , so conservation of energy gives the bead speed . Its travel time is
The Beltrami identity now gives for a positive constant . A descending cycloid parametrizes this relation:
The free endpoint has , hence . On the first descending arc this occurs at . Therefore
Along this arc and , so
The initial vertical tangent causes no divergent travel time: the quotient has the finite constant limit .
To verify global minimality, take any admissible wire graph of finite travel time below the release level, and let be its maximum depth. For , the Cauchy-Schwarz inequality gives
Indeed the two coefficients on the right, after multiplication by , form a unit vector. Since the path starts at depth zero and reaches depth , the weighted total variation is at least the integral over all depths from to . Consequently
The last inequality is minimized at . Our cycloid attains equality throughout: its depth increases to and . Thus it achieves the genuine minimum over the wire graphs, not merely a stationary time. Reflection handles a negative horizontal endpoint coordinate by replacing with .
Let the boundary split into a displacement part and a traction part . The linearized stored elastic energy functional is
Its corresponding total potential subtracts the work of fixed body and surface loads:
The problem in the calculus of variations is to minimize among admissible displacements with on . For a stable quadratic elastic energy this is the usual energy minimization formulation. Its stationarity condition suffices to derive equilibrium.
Vary by , with on . Major symmetry combines the two differentiated quadratic terms, giving
Integration by parts, first with test functions compactly supported in the interior, gives . Then arbitrary traces on give the natural traction condition. The complete boundary value problem is
For a homogeneous hyperelastic material the elasticity tensor is constant. In isotropic linear elasticity the constitutive equation is , giving the familiar Navier-Cauchy equation .