problema de calculo de variaciones

Estoy tratando de variar la siguiente acción para encontrar los caminos que extremizan la acción.

S = γ ω = t F t i d X i ( t ) d t ω i ( X ( t ) ) d t
dónde X i son las coordenadas locales y ω es una forma diferencial.

hasta ahora tengo

0 = d S = γ d ( d X i ( t ) d t ω i ( X ( t ) ) d t = γ [ d d X i ( t ) d t ω i ( X ( t ) ) + d X i ( t ) d t ω i ( X ( t ) ) X j d X j ] d t
Sé que el objetivo de los problemas de variación es factorizar la variación arbitraria d X i , pero me estoy atascando con la integración por partes en el primer término. ¿Cómo debo proceder para encontrar los caminos que extremicen esta acción?

Respuestas (1)

Integrando por partes:

γ d t ( d d t d X i ω i ( X ) ) = γ d t d d t ( d X i ω i ( X ) ) γ d t ( d X i d d t ω i ( X ) ) =
d X i ω i ( X ) | t 1 t 2 γ d t d X j ω j ( X ) X i X ˙ i ,

donde el punto significa diferenciar wrt t .

El primer término es igual a cero ya que d X i se fija para que desaparezca en los puntos finales.

Confío en que puedas derivar la ecuación. de movimiento de esto.

Supongo que estoy acostumbrado a tratar con acciones con X y X ˙ dependencia, pero hay una razón profunda por la que la ecuación de "Euler-Lagrange" para este caso es de la forma i ω j j ω i ?
@Aaron La forma correcta sería ( i ω j j ω i ) X ˙ i = 0 . No estoy seguro de lo que califica como una "razón profunda".
@ClassicStyle No estoy de acuerdo. Sólo el retroceso de d ω en γ debería desaparecer Esta es una condición en ambos ω y γ . Esto no tiene nada que ver con ω estar cerrado o no.
si decimos eso γ no es una curva cerrada entonces d ω = 0 ¿correcto? El retroceso es un isomorfismo del espacio cotangente en cada punto. No estoy del todo seguro, así que corrígelo si está mal :)
@ClassicStyle ¿Por qué es d ω ¿cero?