The autonomous Lagrangian has the Beltrami identityHere is homogeneous of degree two in the velocities, so . Thus itself is constant, say .
For , put . Its Euler-Lagrange expression along the curve isThe first term vanishes by stationarity for , and the second by constancy of . Thus the same path is stationary for its length functional .
On a regular segment described as a graph , reparametrize by . Since ,Choose the orientation with increasing ; reversing it does not change stationarity. Invariance of length under regular reparametrization therefore givesThis is the principle of length extremals from a constant quadratic energy. The stated nonnegativity also permits the degenerate case . Then the length is zero, its absolute minimum since the integrand is nonnegative, so it is an extremal in the minimizing sense. The differentiated square-root Euler-Lagrange equation above is only used where ; it would not be legitimate to divide by on a null curve. For a genuine surface metric and a regular nonconstant path, automatically.
Articles by others on the same topic
There are currently no matching articles.