Definition:Euler-Lagrange Equation

From ProofWiki
Jump to navigation Jump to search


This article needs to be linked to other articles.
You can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by adding these links.
To discuss this page in more detail, feel free to use the talk page.
When this work has been completed, you may remove this instance of {{MissingLinks}} from the code.


Definition

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

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

where:

$\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}$

where:

$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$

where:

$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.


Also see

  • Results about Euler-Lagrange equation can be found here.


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.


Sources

Retrieved from "https://proofwiki.org/w/index.php?title=Definition:Euler-Lagrange_Equation&oldid=677255"