07.05.2013 Views

Fases geométricas en sistemas mecánicos - Departamento de ...

Fases geométricas en sistemas mecánicos - Departamento de ...

Fases geométricas en sistemas mecánicos - Departamento de ...

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

Pue<strong>de</strong> verse que, <strong>en</strong> un sistema coord<strong>en</strong>ado local, las ecuaciones difer<strong>en</strong>ciales para<br />

c(t) <strong>en</strong> Q que se <strong>de</strong>duc<strong>en</strong> <strong>de</strong>l principio variacional anterior son las Ecuaciones <strong>de</strong> Euler<br />

Lagrange: <strong>en</strong> cualquier sistema <strong>de</strong> coord<strong>en</strong>adas (q i , v i ),<br />

d ∂L<br />

∂L<br />

(c(t), ˙c(t)) = (c(t), ˙c(t)), i = 1, ..., n. (1.3)<br />

dt ∂vi ∂qi Una vez fijado el sistema <strong>de</strong> coord<strong>en</strong>adas, estas ecuaciones equival<strong>en</strong> a las ecuaciones proyec-<br />

tadas (1.2). Sin embargo, al ser geométrica, esta formulación permite trabajar con los dimQ<br />

grados <strong>de</strong> libertad <strong>de</strong> manera covariante con respecto a dichos <strong>sistemas</strong> coord<strong>en</strong>ados.<br />

1.2.1 Geometría simpléctica<br />

A continuación, daremos la versión hamiltoniana <strong>de</strong> las ecuaciones anteriores. El<br />

paso <strong>de</strong> (1.3) a su análogo hamiltoniano equivale al procedimi<strong>en</strong>to usual <strong>de</strong> añadir n nuevas<br />

variables (los mom<strong>en</strong>tos conjugados) a fin <strong>de</strong> transformar un conjunto <strong>de</strong> ecuaciones difer-<br />

<strong>en</strong>ciales <strong>de</strong> segundo ord<strong>en</strong> (con <strong>de</strong>rivadas temporales <strong>en</strong> las velocida<strong>de</strong>s) <strong>en</strong> otro <strong>de</strong> primer<br />

ord<strong>en</strong>. En este caso, es importante el hecho <strong>de</strong> que el procedimi<strong>en</strong>to resulta compatible con<br />

la geometría global <strong>de</strong> la formulación.<br />

Notación: Si M es una variedad difer<strong>en</strong>cial, d<strong>en</strong>otaremos con X (M) al espacio <strong>de</strong> campos<br />

vectoriales sobre M.<br />

Recor<strong>de</strong>mos que una forma simpléctica sobre una variedad M es una 2-forma<br />

difer<strong>en</strong>cial ω tal que:<br />

• es cerrada<br />

• y no-<strong>de</strong>g<strong>en</strong>erada<br />

dω = 0,<br />

∀x ∈ M, ∀v ∈ TxM, v = 0 ⇒ ∃u ∈ TxM ω(u, v) = 0.<br />

Una variedad simpléctica es un par (M, ω), con M una variedad difer<strong>en</strong>cial y<br />

ω una forma simpléctica sobre M. Es fácil ver que la condición <strong>de</strong> no-<strong>de</strong>g<strong>en</strong>eración <strong>de</strong> ω<br />

implica que dimM es par.<br />

7

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

Saved successfully!

Ooh no, something went wrong!