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.

50 2 Simetrías y Leyes de conservación<br />

Es immediato a probar que, si Y1, Y2 ∈ X((T 1 k )∗ Q) son simetrías infinitesimales<br />

de Cartan, entonces [Y1, Y2] también lo es.<br />

Además, se verifica el siguiente resultado que nos permite garantizar que una<br />

simetría de Cartan lleva soluciones de las ecuaciones geométricas de Hamilton (1.15)<br />

en otras soluciones de las mismas ecuaciones.<br />

Proposición 2.10 Si Φ: (T 1 k )∗ Q → (T 1 k )∗ Q es una simetría de Cartan de un sistema<br />

hamiltoniano k-simpléctico ((T 1 k )∗ Q, ω A , H), y X = (X1, . . . , Xk) ∈ X k H ((T 1 k )∗ Q),<br />

esto es, X es solución de la ecuación geométrica de Hamilton (1.15), entonces<br />

Φ∗X = (Φ∗X1, . . . , Φ∗Xk) ∈ X k H ((T 1 k )∗ Q).<br />

Demostración:<br />

Sea Φ: (T 1 k )∗ Q → (T 1 k )∗ Q una simetría de Cartan.<br />

Para cada X = (X1, . . . , Xk) ∈ X k H ((T 1 k )∗ Q) calculamos<br />

Φ ∗ [<br />

k<br />

A=1<br />

ıΦ∗XA ωA − dH] =<br />

k<br />

A=1<br />

ıXA (Φ∗ ω A ) − d(Φ ∗ H) =<br />

por tanto, como Φ es un difeomorfismo, esto es equivalente a<br />

k<br />

A=1<br />

ıΦ∗XA ωA − dH = 0 ,<br />

y por tanto Φ∗X = (Φ∗X1, . . . , Φ∗Xk) ∈ X k H ((T 1 k )∗ Q).<br />

k<br />

A=1<br />

ıXA ωA − dH = 0<br />

Para finalizar esta sección asociaremos a cada simetría de Cartan infinitesimal<br />

una ley de conservación.<br />

Proposición 2.11 Sea Y ∈ X((T 1 k )∗ Q) una simetría de Cartan infinitesimal de un<br />

sistema hamiltoniano k-simpléctico ((T 1 k )∗ Q, ω A , H). Entonces, para A = 1, . . . , k,<br />

y para cada p ∈ (T 1 k )∗ Q, existe un entorno abierto Up del punto p, tal que:<br />

(1) Existen k funciones, únicas salvo constantes, F A ∈ C ∞ (Up) , tales que<br />

ıY ω A = dF A , 1 ≤ A ≤ k , (en Up) . (2.10)

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

Saved successfully!

Ooh no, something went wrong!