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.

3.3 La ecuación momento no-holonómica 93<br />

La importancia de la aplicación momento no-holonómica se encuentra en la ecuación<br />

momento no-holonómica, que introduciremos a continuación.<br />

Definición 3.14<br />

(1) Una simetría lagrangiana no-holonómica es una sección ξ : Q → gF de<br />

gF tal que ξC Q (L) = 0.<br />

(2) Una simetría no-holonómica horizontal es una sección constante de g F<br />

que es una simetría lagrangiana no-holonómica.<br />

Teorema 3.15 Si φ : U0 ⊂ R k → Q es una solución de las ecuaciones de campo<br />

lagrangianas no-holonómicas (3.7), entonces para cualquier simetría lagrangiana noholonómica<br />

ξ las componentes (J nh ) A ξ (A = 1, . . . , k), de la aplicación momento<br />

asociada a ξ, verifican la siguiente ecuación momento no-holonómica:<br />

k<br />

A=1<br />

Demostración:<br />

∂<br />

∂tA <br />

(J nh ) A ξ (φ (1) <br />

(t)) =<br />

k<br />

ı<br />

A=1<br />

( ξ◦φ)∗(t)<br />

⎛<br />

⎝ ∂<br />

∂tA <br />

<br />

⎞<br />

⎠<br />

t<br />

θ A L(φ (1) (t)) .<br />

Puesto que ξ : Q → g F ⊂ g es una simetría lagrangiana no-holonómica se verifica<br />

ξ C Q(L) = 0,<br />

siendo ξQ el campo de vectores en Q definido en (3.16).<br />

Consideremos un sistema local de coordenadas tal que<br />

ξQ(φ(t)) := [ <br />

ξ(φ(t))]Q(φ(t)) = [ i ξ(φ(t))]Q (φ(t)) ∂<br />

∂qi <br />

<br />

Entonces por ser φ solución de las ecuaciones lagrangianas no-holonómicas (3.7)<br />

y verificarse que ξC Q (L) = 0 obtenemos:<br />

=<br />

0 = [ ξ C Q (L)](φ(1) (t))<br />

<br />

[ i ξ(φ(t))]Q (φ(t)) ∂L<br />

∂qi <br />

<br />

φ(t)<br />

+ ∂φj<br />

∂tA <br />

<br />

t<br />

<br />

∂ [ ξ(φ(t))]Q<br />

∂q j<br />

i<br />

<br />

<br />

φ(t)<br />

∂L<br />

<br />

φ(t) ∂vi <br />

A Φ (1) (t)<br />

.

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

Saved successfully!

Ooh no, something went wrong!