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 ...
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