First integral for a variational integrand independent of the function value

ID: first-integral-for-a-variational-integrand-independent-of-the-function-value

If a smooth functional has integrand independent of the function value, a weak local minimizer satisfies the displayed first integral almost everywhere. Its first variation gives for every compactly supported test function. Thus the distributional derivative of vanishes, making it constant on the interval. Equivalently, any smooth compactly supported function with integral zero is the derivative of such a test function, so the first-variation identity says that agrees with a single constant against all tests. This reduces the Euler-Lagrange equation from a second-order equation to an algebraic relation in .

New to topics? Read the docs here!