derivation of Euler-Lagrange differential equation (advanced)
Suppose that . Choose such that the closed ball of radius about is contained in . Let be any function whose support lies in this closed ball.
By the definition of ,
By the condition imposed on , the derivative of the second integral is zero. Since the integrand of the first integral and its first derivatives![]()
are continuous
![]()
and the closed ball is compact, the integrand and its first derivatives are uniformly continuous, so it is permissible to interchange differentiation and integration. Hence,