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.

Dada una función (el hamiltoniano) H : M −→ M, dH ∈ T ∗ M y <strong>en</strong>tonces,<br />

t<strong>en</strong>emos <strong>de</strong>finido un campo vectorial hamiltoniano XH ∈ X (M) asociado a H:<br />

ω(XH, .) = dH.<br />

Por lo tanto, asociada a cualquier función H sobre M, t<strong>en</strong>emos las correspondi<strong>en</strong>tes ecua-<br />

ciones <strong>de</strong> Hamilton: m(t) ∈ M satisface estas ecuaciones (<strong>de</strong> primer ord<strong>en</strong> sobre M) si<br />

es una curva integral <strong>de</strong>l campo hamiltoniano XH asociado a H, es <strong>de</strong>cir, si<br />

˙m(t) = XH(m(t)) ∈ T m(t)M.<br />

Por otra parte, recor<strong>de</strong>mos que la función <strong>en</strong>ergía EL : T Q → R asociada al<br />

lagrangiano L se <strong>de</strong>fine como<br />

EL(q, v) := F L(q, v)(v) − L(q, v). (1.9)<br />

Para <strong>sistemas</strong> simples, EL coinci<strong>de</strong> con la <strong>en</strong>ergía mecánica <strong>de</strong>l sistema K(q, v) + V (q). La<br />

sigui<strong>en</strong>te proposición establece la versión hamiltoniana <strong>de</strong> las ecuaciones <strong>de</strong> Euler-Lagrange<br />

sobre la variedad simpléctica (M = T Q, ωL):<br />

Proposición 1.2.3. Sea L un lagrangiano regular. La trayectoria c(t) <strong>en</strong> Q satisface las<br />

ecuaciones <strong>de</strong> Euler-Lagrange si y sólo si m(t) = (c(t), ˙c(t)) satisface las ecuaciones <strong>de</strong><br />

hamilton <strong>en</strong> (M = T Q, ωL) correspondi<strong>en</strong>tes a la función <strong>en</strong>ergía EL, es <strong>de</strong>cir, sii es una<br />

curva integral <strong>de</strong>l campo vectorial XL ∈ X (T Q) <strong>de</strong>finido por<br />

ωL(XL, .) = dEL. (1.10)<br />

Para cualquier lagragiano regular, el campo vectorial XL que satisface (1.10) es <strong>de</strong><br />

la forma XL(q, v) = (v, Z(q, v)) y repres<strong>en</strong>ta una ecuación <strong>de</strong> segundo ord<strong>en</strong> para q(t) ∈ Q<br />

(ver [1]).<br />

1.3 G−simetrías<br />

D<strong>en</strong>tro <strong>de</strong> las formulaciones geométrico-difer<strong>en</strong>ciales <strong>de</strong> la mecánica, el concepto<br />

<strong>de</strong> simetría vi<strong>en</strong>e ligado al <strong>de</strong> grupo <strong>de</strong> Lie y al <strong>de</strong> acción <strong>de</strong> estos grupos sobre una variedad<br />

simpléctica.<br />

Recor<strong>de</strong>mos que un grupo <strong>de</strong> Lie G, <strong>de</strong> dim<strong>en</strong>sión n, es una variedad difer<strong>en</strong>ciable<br />

<strong>de</strong> dim<strong>en</strong>sión n munida <strong>de</strong> una estructura <strong>de</strong> grupo, tal que las operaciones <strong>de</strong> composición<br />

e inversión son difer<strong>en</strong>ciables.<br />

9

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

Saved successfully!

Ooh no, something went wrong!