The Euler-Lagrange differential equation is the fundamental equation of calculus of variations. It states that if is defined by an integral of the form
|
(1)
|
where
|
(2)
|
then has a stationary value
if the Euler-Lagrange differential equation
|
(3)
|
is satisfied.
If time-derivative notation
is replaced instead by space-derivative notation
,
the equation becomes
|
(4)
|
The Euler-Lagrange differential equation is implemented as EulerEquations[f, u[x], x] in the Wolfram Language package VariationalMethods` .
In many physical problems, (the partial derivative
of
with respect to
) turns out to be 0, in which case a manipulation of the Euler-Lagrange
differential equation reduces to the greatly simplified and partially integrated
form known as the Beltrami identity,
|
(5)
|
For three independent variables (Arfken 1985, pp. 924-944), the equation generalizes to
|
(6)
|
Problems in the calculus of variations often can be solved by solution of the appropriate Euler-Lagrange equation.
To derive the Euler-Lagrange differential equation, examine
|
(7)
| |||
|
(8)
| |||
|
(9)
|
since . Now, integrate the second term by parts using
|
(10)
| |||
|
(11)
| |||
|
(12)
|
so
|
(13)
|
Combining (◇) and (◇) then gives
|
(14)
|
But we are varying the path only, not the endpoints, so and (14) becomes
|
(15)
|
We are finding the stationary values such that .
These must vanish for any small change
, which gives from (15),
|
(16)
|
This is the Euler-Lagrange differential equation.
The variation in can also be written in terms of the parameter
as
|
(17)
| |||
|
(18)
|
where
|
(19)
| |||
|
(20)
|
and the first, second, etc., variations are
|
(21)
| |||
|
(22)
| |||
|
(23)
| |||
|
(24)
|
The second variation can be re-expressed using
|
(25)
|
so
|
(26)
|
But
|
(27)
|
Now choose such that
|
(28)
|
and such that
|
(29)
|
so that satisfies
|
(30)
|
It then follows that
|
(31)
| |||
|
(32)
|