10.05.2013 Views

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

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

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

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

8.3 Equivalencia entre el formalismo lagrangiano y el hamiltoniano. 349<br />

La expresión local de la aplicación Leg es<br />

Leg(t A , q i , y α A) = (t A , q i , ∂L<br />

∂yα ) .<br />

A<br />

A partir de esta expresión local es sencillo probar que el lagrangiano L es regular<br />

si, y sólo si, Leg es un difeomorfismo local.<br />

Observación 8.29 Cuando se considera el algebroide de Lie E = T Q la transformación<br />

de Legendre definida arriba coincide con la transformación de Legendre del<br />

formalismo k-cosimpléctico, véase la definición 6.18.<br />

La transformación de Legendre induce una aplicación<br />

definida por<br />

T E Leg : T E (R k × k<br />

⊕ E) → T E (R k × k<br />

⊕ E ∗ ) ≡ E ×T Q T (R k × k<br />

⊕ E ∗ )<br />

T E Leg(aq, v(t,bq)) =<br />

donde aq ∈ Eq, (t, bq) ∈ R k × k<br />

⊕ E y<br />

<br />

<br />

aq, (Leg)∗(t, bq)(v(t,bq)) ,<br />

(aq, v(t,bq)) ∈ T E (R k × k<br />

⊕ E) ≡ E ×T Q T (R k × k<br />

⊕ E).<br />

Teorema 8.30 El par (T E Leg, Leg) es un morfismo de algebroides de Lie,<br />

T E (R k × k<br />

⊕ E)<br />

τ R k × k ⊕E<br />

<br />

T E Leg<br />

R k × k<br />

⊕ E Leg<br />

<br />

T E (R k × k<br />

⊕ E ∗ )<br />

τ R k × k ⊕E ∗<br />

<br />

<br />

k<br />

k R × ⊕ E ∗<br />

entre (T E (R k × k<br />

⊕ E), ρ pQ , [·, ·] pQ ) y (T E (R k × k<br />

⊕ E ∗ ), ρ p ∗ Q, [·, ·] p ∗ Q).<br />

Además si ΘA L y Ω<strong>AL</strong> (respectivamente, ΘA y ΩA ) son las secciones lagrangianas<br />

asociadas a una función lagrangiana L: Rk × k<br />

⊕ E → R (respectivamente, las<br />

secciones de Liouville en TE ( k<br />

⊕ E∗ )), entonces<br />

(T E Leg, Leg) ∗ Θ A = Θ A L, (T E Leg, Leg) ∗ Ω A = Ω A L , 1 ≤ A ≤ k . (8.53)

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!