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

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

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

6.1.2 Formalismo hamiltoniano. Ecuaciones de Hamilton-De Donder-Weyl. 239<br />

que coinciden con las ecuaciones de campo de Hamilton-De Donder-Weyl (6.6.)<br />

Así, las ecuaciones (6.9) pueden considerarse como una versión geométrica de las<br />

ecuaciones de campo hamiltonianas. A partir de ahora a las ecuaciones (6.9) las denominaremos<br />

ecuaciones geométricas de Hamilton en el contexto k-cosimpléctico.<br />

Teniendo en cuenta los resultados anteriores podemos afirmar que las ecuaciones<br />

de la electrostática, consideradas al inicio de esta subsección, se pueden escribir<br />

geométricamente como sigue<br />

dtA (XB) = δAB, 1 ≤ A, B ≤ 3<br />

3<br />

ıXAωA 3<br />

= dH − RA(H)dt A .<br />

A=1<br />

Observación 6.14 Nótese, que en general, las ecuaciones (6.9) no tienen una única<br />

solución. De hecho, si (M, η A , ω A , V ) es una variedad k-cosimpléctica podemos<br />

definir el morfismo de fibrados sobre M<br />

Ω ♯ : T 1 k M −→ T ∗ M<br />

A=1<br />

(X1, . . . , Xk) ↦→ Ω ♯ (X1, . . . , Xk) =<br />

k<br />

A=1<br />

ıXA ωA + η A (XA)η A ,<br />

<br />

(6.12)<br />

y, denotando por Mk(C ∞ (M)) el espacio de matrices de orden k cuyas componentes<br />

son funciones en M, se puede considerar la aplicación<br />

η ♯ : T 1 k M −→ Mk(C ∞ (M))<br />

(X1, . . . , Xk) ↦→ η ♯ (X1, . . . , Xk) = (η A (XB)) ,<br />

entonces las soluciones de (6.9) son de la forma<br />

(X1, . . . , Xk) + (ker Ω ♯ ∩ ker η ♯ ),<br />

donde (X1, . . . , Xk) es una solución particular de dichas ecuaciones.<br />

(6.13)<br />

A partir de las condiciones locales (6.10) podemos definir, en un entorno de cada<br />

punto x ∈ M, un campo de k-vectores que verifica (6.9). Por ejemplo, pongamos<br />

(XA) B = δ B A , (X1) 1 i = ∂H<br />

∂q i , (XA) B i = 0 for A = 1 = B , (XA) i = ∂H<br />

∂p A i<br />

.

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

Saved successfully!

Ooh no, something went wrong!