Equação de Euler-Lagrange

Em cálculo de variações, a equação de Euler-Lagrange é uma equação diferencial em que as soluções são funções nas quais uma dada função é estacionária. Ela foi criada pelos matemáticos Leonhard Euler e Joseph Louis Lagrange na década de 1750.

Já que uma função diferencial é estacionária em seus pontos extremos, a Equação de Euler-Lagrange é útil na solução de problemas otimizados em que é necessário buscar o valor máximo ou minimo de uma função. A Equação de Euler-Lagrange é análoga ao teorema de Fermat em cálculo, em que estabelece que onde uma função diferenciável se liga ao seu extremo local, sua derivada será zero.

Na Mecânica de Lagrange, devido ao princípio de Hamilton da ação estacionária, a evolução de um sistema físico é descrito pela solução da Equação de Euler-Lagrange para a ação do sistema. Na mecânica clássica, é equivalente à lei de Newton do movimento, mas possui a vantagem de possuir a mesma forma independente do sistema de coordenadas generalizadas.

Descoberta

A Equação de Euler-Lagrange foi descoberta na década de 1750 por Euler e Lagrange junto com seus estudos a respeito do problema da curva tautocrônica. Este problema diz respeito à determinar uma curva na qual uma partícula irá cair para um ponto fixo num tempo fixo, independentemente do ponto de partida.

Lagrange solucionou este problema em 1755 e enviou sua solução para Euler. Então Euler desenvolveu o método de Lagrange e o aplicou na mecânica, o que levou à formulação da mecânica de Lagrange. A contínua correspondência de ambos acabou levando a descoberta do cálculo de variações.^[1]

Definição formal

Sejam:

Entidade	Definição em linguagem matemática	Em Português
"q" uma função (diferenciável) a ser descoberta	${\begin{aligned}q\colon [a,b]\subset \mathbb {R} &\to X\\t&\mapsto x={q(t)}\end{aligned}}$	A função "q" tem como domínio o intervalo [a,b] (sendo este um subconjunto dos números reais) e como imagem o conjunto X. Dado um ponto "t" do domínio, a função "q" assume o valor q(t).
Valores assumidos pela função q	q(a) = x_a, q(b) = x_b, etc	x_a é uma notação simplificadora para denotar o valor assumido pela função "q" no ponto em (a).
q′ expressa a derivada da função q	${\begin{aligned}q'\colon [a,b]&\to T_{q(t)}X\\t&\mapsto v={q'(t)}\end{aligned}}$ , sendo que "TX" é o conjunto tangente a X, ou seja, o espaço de possíveis valores de derivadas das funções em "X". É o é o fibrado tangente de X.	A função "q′" tem como domínio o mesmo intervalo [a,b] e como imagem o conjunto TX.
L é a função (com conjunto imagem nos números reais) com primeiras derivadas parciais contínuas	${\begin{aligned}L\colon [a,b]\times X\times TX&\to \mathbb {R} \\(t,x,v)&\mapsto L(t,x,v)\end{aligned}}$ Ou, ou que é a mesma coisa, ${\begin{aligned}L\colon [a,b]\times X\times TX&\to \mathbb {R} \\(t,{q(t)},{q'(t)})&\mapsto L(t,{q(t)},{q'(t)})\end{aligned}}$	"L" é uma função com cujo domínio é $[a,b]\times X\times TX$ e cuja imagem é o conjunto dos números reais. Note que "L" é uma função de três variáveis (argumentos): "t", a função "q(t)" e a derivada "q'(t)".
L_x and L_v são derivadas parciais de "L" em relação ao x e v, respectivamente.	${\frac {\partial L\left(t,x,v\right)}{\partial x}}=L_{x}\rightarrow {\frac {\partial L\left(t,{q(t)},{q'(t)}\right)}{\partial {q(t)}}}=L_{q(t)}$	Um subscrito à frente da letra L indica que não estamos falando da função L, e sim da derivada de L em relação a algum dos três argumentos.

A Equação de Euler-Lagrange é uma equação safisfeita pela função "q" de um argumento real "t", que é um ponto estacionário da funcional/função

\displaystyle S(q)=\int _{a}^{b}L(t,{q(t)},{q'(t)})\,\mathrm {d} t

A equação de Euler, então, é dada por

L_{x}(t,{q(t)},{q'(t)})-{\frac {\mathrm {d} }{\mathrm {d} t}}L_{v}(t,{q(t)},{q'(t)})=0.

sendo $L_{x}$ e $L_{v}$ as derivadas parciais de L em relação ao segundo e terceiro argumentos, respectivamente.

Se a dimensão do espaço X é maior que 1, então a equação acima é um sistema de equações diferenciais, um para cada componente:

{\frac {\partial L(t,{q(t)},{q'(t)})}{\partial x_{i}}}-{\frac {\mathrm {d} }{\mathrm {d} t}}{\frac {\partial L(t,{q(t)},{q'(t)})}{\partial v_{i}}}=0\quad {\text{para }}i=1,\dots ,n.

Exemplo

O exemplo mais comum para encontrar a função de valor real num intervalo $[a,b]$ , tal que $f(a)=c$ e $f(b)=d$ , o comprimento do arco do gráfico seja o menor possível. Logo o comprimento do gráfico $f$ será: