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.

82 3 Teoría de Campos con ligaduras no-holonómicas. Enfoque k-simpléctico.<br />

(ii) una subvariedad de ligaduras M ↩→ T 1 k Q;<br />

(iii) un fibrado F de formas de ligadura y la distribución de ligaduras inducida S,<br />

ambos objetos definidos a lo largo de M.<br />

Para completar nuestro modelo de teoría lagrangiana de campos no-holonómicos<br />

tenemos que especificar las ecuaciones de campo. Comenzaremos esta subsección<br />

introduciendo una generalización del principio de dÁlembert que nos permite obtener<br />

dichas ecuaciones.<br />

A. El principio de dÁlembert.<br />

Binz et al en [9] obtienen las ecuaciones de campo de Euler-Lagrange no-holonómicas,<br />

en el contexto multisimpléctico, a partir de un principio variacional.<br />

Ahora procedemos de un modo análogo para obtener las ecuaciones de campo<br />

de Euler-Lagrange no-holonómicas.<br />

Recordemos que en la sección 1.2.4.B demostramos que, en el contexto sin ligaduras,<br />

una aplicación φ : U0 ⊂ Rk → Q es un extremal de la acción<br />

<br />

J(φ) = (L ◦ φ (1) (t))d k t<br />

R k<br />

si, y sólo si, <br />

Rk ((LZCL) ◦ φ (1) )(t)d k t = 0<br />

para todo campo de vectores Z en Q cuyo flujo σs verifique σs(q) = q para todo q<br />

en la frontera de φ(U0).<br />

Ahora, considerando ligaduras introducimos la siguiente definición:<br />

Definición 3.2 Una aplicación φ : U0 ⊂ Rk → Q con soporte compacto, definida en<br />

un conjunto abierto U0 ⊂ Q, es una solución del problema con ligaduras, que<br />

estamos considerando, si φ (1) (U0) ⊂ M y<br />

<br />

<br />

(LZCL) ◦ φ (1) (t)d k t = 0 ,<br />

U0<br />

para cada campo de vectores Z en Q que se anule en la frontera de φ(U0) y tal que<br />

para cada η ∈ F .<br />

ı Z Cη = 0 (3.5)

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

Saved successfully!

Ooh no, something went wrong!