Silvia Vilari˜no Fernández NUEVAS APORTACIONES AL ESTUDIO ...

6.2.3 Formalismo lagrangiano: ecuaciones de Euler - Lagrange. 261
Teorema 6.32 Sea L un lagrangiano y X = (X1, . . . , Xk) un campo de k-vectores
tal que
dt A (XB) = δ A k
B, , ıXAωA k ∂L
L = dEL + dtA (6.43)
∂tA A=1
donde EL = C(L) − L y 1 ≤ A, B ≤ k . Entonces
A=1
(1) Si L es regular entonces X = (X1, . . . , Xk) es un sopde.
Además, si ψ : Rk → Rk × T 1 k Q es una sección integral de X, entonces
k ψ
φ : R −→ R k × T 1 k Q pQ
−→ Q
es una solución de las ecuaciones de Euler-Lagrange (6.34).
(2) Si (X1, . . . , Xk) es integrable y φ [1] : Rk → Rk × T 1 k Q es una sección integral,
entonces φ : Rk → Q es solución de las ecuaciones de Euler-Lagrange (6.34).
Demostración:
(1) es una consecuencia inmediata de la tercera ecuación de (6.41) y de la tercera
ecuación en (6.42). Si φ [1] es una sección integral de X entonces de la última ecuación
de (6.41) y la expresión local de φ [1] deducimos que φ solución de las ecuaciones de
Euler-Lagrange (6.34).
Observación 6.33 Si L : Rk × T 1 k Q −→ R es regular, entonces (dtA , ωA L , V ) es una
estructura k-cosimpléctica en Rk ×T 1 k Q. Los campos de Reeb (RL)A correspondientes
a esta estructura están caracterizados por
y verifican que
ı(RL)A dtB = δ B A , ı(RL)A ωB L = 0 ,
(RL)A(EL) = − ∂L
.
∂tA Por consiguiente si escribimos las ecuaciones de Hamilton (6.9) con H = EL para
la variedad k-cosimpléctica
(M = R k × T 1 k Q, dt A , ω A L , V )