Definition:Euler-Lagrange Equation

From ProofWiki
Jump to navigation Jump to search


The Euler–Lagrange equation is an equation satisfied by a function $\mathbf q$ of a real argument $t$, which is a stationary point of the functional:

$\ds \map S {\mathbf q} = \int_a^b \map L {t, \map {\mathbf q} t, \map {\mathbf q'} t} \rd t$


$\mathbf q$ is the function to be found:
$\mathbf q: \closedint a b \subset \R \to X : t \mapsto x = \map {\mathbf q} t$

such that:

$\mathbf q$ is differentiable
$\map {\mathbf q} a = \mathbf x_a$
$\map {\mathbf q} b = \mathbf x_b$
$\mathbf q'$ is the derivative of $\mathbf q$:
$\mathbf q': \closedint a b \to T_{\map {\mathbf q} t} X: t \mapsto v = \map {\mathbf q'} t$
$T_{\map {\mathbf q} t} X$ denotes the tangent space to $X$ at the point $\map {\mathbf q} t$
$L$ is a real-valued function with continuous first partial derivatives:
$L: \closedint a b \times T X \to \R: \tuple {t, x, v} \mapsto \map L {t, x, v}$


$T X$ is the tangent bundle of $X$ defined by:
$\ds T X = \bigcup_{x \mathop \in X} \set x \times T_x X$

The Euler–Lagrange equation, then, is given by:

$\map {L_x} {t, \map {\mathbf q} t, \map {\mathbf q'} t} - \dfrac \d {\d t} \map {L_v} {t, \map {\mathbf q} t, \map {\mathbf q'} t} = 0$


$L_x$ and $L_v$ denote the partial derivatives of $L$ with respect to the second and third arguments respectively.

Also known as

The Euler-Lagrange equation is often taken in the plural: Euler-Lagrange equations, as it actually defines a system of differential equations.

They are sometimes referred to as Lagrange's equations of motion.

Source of Name

This entry was named for Leonhard Paul Euler and Joseph Louis Lagrange.

Historical Note

The Euler-Lagrange equation was developed in the $1750$s by Leonhard Paul Euler and Joseph Louis Lagrange in connection with their studies of the Tautochrone Problem.

Lagrange solved it in $1755$ and sent the solution to Euler.

They further developed Lagrange's method and applied it to mechanics.

This led to the formulation of Lagrangian mechanics.

Their correspondence ultimately led to the calculus of variations.