Teorema de Noether y Lagrangianos dependientes del tiempo

El teorema de Noether dice que si la siguiente transformación es una simetría del Lagrangiano

t t + ϵ T

q q + ϵ q .

Entonces se conserva la siguiente cantidad

( L q ˙ q ˙ L ) T L q ˙ q .

Supongamos que nuestro Lagrangiano está dado por

L = 1 2 metro q ˙ 2 en t .

Entonces, ¿no es la invariante lagrangiana bajo la transformación dada por

T = t

q = 0   ?

Hacer esta transformación aporta solo una constante aditiva al Lagrangiano, que no afectará la dinámica, por lo que debemos concluir que tal transformación es de hecho una simetría del Lagrangiano. Sin embargo, la cantidad

( L q ˙ q ˙ L ) t = ( 1 2 metro q ˙ 2 + en t ) t

claramente no se conserva. Las ecuaciones de EL implican que la energía cinética es constante, por lo que esta función es claramente una función creciente del tiempo.

¿Dónde está mi error?

Si L tiene una dependencia temporal explícita , entonces la energía no se conserva.
No, no estoy tratando de argumentar que la energía se conserva. Está claro que este Lagrangiano NO es invariante bajo t va a t + epsilon. Sin embargo, es (creo) invariable bajo una 'dilatación del tiempo' o un 'reajuste' del tiempo. Por lo tanto, no se debe conservar la energía, sino alguna cantidad (energía*tiempo), según mi argumento (que es defectuoso en alguna parte).

Respuestas (3)

El lagrangiano (y la acción en su conjunto)

L = 1 2 metro q ˙ 2 en t

no es invariante bajo la transformación dada por

T = t , q = 0.

El reescalado de t por factor 1 + ϵ también modifica las derivadas temporales: d q ˙ = ϵ q ˙ (y la medida de integración d t ), por lo que la cantidad sugerida no se conserva.

¿Dónde está mi error?

Entonces, el error está en elegir la transformación Lagrangiana / incorrecta.

El teorema de Noether funciona bien para lagrangianos explícitamente dependientes del tiempo. Aquí hay otro ejemplo de Lagrangiano con dependencia temporal explícita:

L = metro q ˙ 2 2 mi α t .
Este tipo de Lagrangiano podría surgir, por ejemplo, si tratamos de obtener las ecuaciones de movimiento para un sistema disipativo.

La ecuación de Euler-Lagrange para este sistema después de omitir el factor común se lee como

q ¨ = α q ˙ .

Este Lagrangiano es invariante bajo la transformación infinitesimal:

t t = t + ϵ , q q = q ϵ α q 2 .

Sustituyendo estos T y q en el teorema de Noether obtenemos la cantidad

A = metro 2 mi α t ( q ˙ 2 + α q ˙ q ) .

Su derivada temporal es

A ˙ = metro 2 mi α t ( α q ˙ 2 + α 2 q ˙ q + 2 q ¨ q ˙ + α q ¨ q + α q ˙ 2 ) ,
Si usamos la ecuación EL para eliminar q ¨ obtenemos A ˙ = 0 , por lo que la cantidad se conserva como debe ser.

Siento que estoy cerca de entender, pero me falta algo muy fundamental. Cuando haces una transformación t va a t+eps, ¿estás diciendo que esto fuerza el q y q ˙ transformarse también, ya que dependen implícitamente de t?
No, la transformación t t + ϵ es solo un cambio de t por una constante, no modifica q ˙ . Pero la transformación t t + ϵ t (en su pregunta) es una reescala de tiempo, por lo que los derivados de tiempo se multiplican por un factor ( 1 + ϵ ) 1 .
En mi ejemplo, el cambio de t le da al Lagrangiano un multiplicador constante mi α ϵ . Para compensarlo, cambiamos la escala de la coordenada por un factor constante (esto, por supuesto, también cambia la escala q ˙ por el mismo factor).
Ah sí, estoy empezando a ver ahora, gracias. Déjame pensar en esto un poco más, imagino que tendré otra pregunta en breve.
Si el Lagrangiano es simplemente L = 1/2 m (dq/dt)^2 --- solo energía cinética --- ¿entonces el Lagrangiano es invariante bajo Q = q y T = t? Es decir, ¿una reescala de las coordenadas de posición y tiempo por un factor (1+eps)? Habría pensado que esto es así, ya que dq'/dt' = dq/dt debido a que el factor (1+eps) se cancela en la parte superior e inferior. Sin embargo, si esto es así, entonces encuentro que una cantidad conservada es (1/2 mv ^ 2 t - mv q) --- usando la fórmula que cité en mi publicación original. ¡Pero esto claramente no se conserva!
La invariancia debe ser para toda la acción , no lagrangiana, también debe tener en cuenta la medida modificada de integración debido al tiempo reescalado. Así que la transformación correcta para este caso sería t t + ϵ t , q q + ϵ q 2 . La cantidad para este caso: metro q ˙ 2 ( q ˙ t q ) se conserva

Veamos cómo podemos jugar con el teorema de Noether en el ejemplo de "conservación de la energía".

En primer lugar, aplicamos una variación independiente del tiempo al Lagrangiano,

t t + ϵ
Para un Lagrangiano general, cambiará
L ( X ( t ) , X ˙ ( t ) , t ) L ( X ( t ) , X ˙ ( t ) , t ) = L ( X ( t ) , X ˙ ( t ) , t ϵ )
lo que requerimos en este caso es que el lagrangiano sea invariante (no solo covariante) como escalar,
L = L L t = 0
Esa es una propiedad verdadera solo en cualquier camino.

Entonces usamos una variación dependiente del tiempo inducida ,

t t + ϵ ( t ) X ( t ) X ( t ) + ϵ ( t ) X ( t ) ˙
El cambio de la acción en este caso es
d S = 0 T L X X ( t ) ˙ ϵ ( t ) + L X ˙ d d t ( ϵ ( t ) X ˙ ( t ) ) = 0 T d t ϵ ( t ) ( L X X ˙ + L X ˙ X ¨ ) + L X ˙ X ˙ ϵ ˙
ahora agregando L t = 0 a los dos primeros términos entre paréntesis para convertirlo en una derivada total, ya que esto es cierto para todos los caminos en el espacio de configuración. Para el segundo término, integramos por partes para obtener (la variación tiene condiciones de contorno cero),
d S = 0 T d t ϵ ( t ) d d t ( L L X ˙ X ˙ )
Solo el camino clásico, cualquier variación extremará la acción; en particular nuestra variación especial ϵ ( t ) inducida por la voluntad de acción de simetría. Obtenemos la ecuación de conservación de energía,
d d t ( L L X ˙ X ˙ ) = 0 a lo largo del camino clásico

En otras palabras, tienes que elegir T y q ser constante (independiente del tiempo) para desenterrar las simetrías del Lagrangiano. Luego puede aplicar la variación dependiente del tiempo para obtener una "ecuación de movimiento" especial a lo largo del camino clásico: ley de conservación .

Necesito elaborar la ecuación de simetría que he derivado.

Bajo una variación independiente del tiempo, decimos que Lagrangian realmente cambia

L = L ( X ( t ϵ ) , X ˙ ( t ϵ ) , t ϵ )
Esto se debe a una identidad,
L ( X ( t ) , X ˙ ( t ) , t ) = L ( t ) t = t + ϵ
Eso significa que el valor de Lagrangian de un punto en el espacio de configuración es independiente de la coordenada de tiempo que lo describe. Es como si pudieras usar diferentes zonas horarias para describir un evento. Sólo se diferencian por una constante.

Sin embargo, esto no es cierto si aplicamos una variación dependiente del tiempo,

d d t ( X ( t ϵ ) ) = d d t ( X ( t ) ϵ X ˙ ( t ) ) = X ˙ ( t ) ϵ ˙ X ( t ) ˙ ϵ X ¨ ( t ) X ˙ ( t ) ϵ X ¨ ( t ) = X ˙ ( τ ) | τ = t ϵ
la variación dependiente del tiempo obliga a la velocidad a cambiar de otra manera diferente a la que nos gusta. Es como si el tiempo no fluyera uniformemente, de modo que incluso si desplazas tu vector de velocidad al punto original antes de la traducción, aún cambia, porque la tasa dependerá de cómo fluya el tiempo.

En el aspecto técnico, tu variación no puede conducir a

L t = 0
que es equivalente a la ley de conservación.

No entiendo muy bien por qué esto significa que debe elegir que T y Q sean constantes. Y qué decir de la elección Q = nxr, correspondiente a una rotación infinitesimal --- Q es una función implícita del tiempo en este caso. ¿Quizás quiere decir que T y Q no deben depender explícitamente del tiempo? De cualquier manera, todavía no estoy muy seguro de en qué parte de su argumento concluye que T y Q deben ser constantes. Gracias.
Lo que quiero decir es que T y Q no dependen del tiempo. Cuando derivamos la ecuación de simetría, r no depende del tiempo, porque no estamos hablando de ninguna propiedad de las trayectorias; nos preocupamos por el Lagrangiano en cualquier punto del espacio de fase que puede estar o no en el camino clásico.
Bien, veo tu punto. Entonces, ¿dónde concluimos exactamente que T no debe ser una función del tiempo?
La velocidad cambiará si esa es una variación dependiente del tiempo.
Lo siento, ¿qué velocidad cambiará?
@anécdota No entiendo bien dónde explotaste las ecuaciones de Eulero Lagrange en tu derivación de la conservación de la función hamiltoniana. Se cumple para trayectorias que describen el movimiento del sistema. En cambio, parece que se cumple para todos los caminos según su prueba.
@ gj255, uso implícitamente la ecuación de Euler-Lagrange: para la ruta clásica, cualquier variación hará que \delta S desaparezca, al igual que nuestra variación particular inducida por una transformación de coordenadas. En el establecimiento de pasos \delta S = 0 utilizo la ecuación de Euler-Lagrange.
  1. El teorema de Noether también funciona para el Lagrangiano dependiente del tiempo de OP

    (A) L   =   T V , T   =   1 2 metro q ˙ 2 , V ( t )   =   en t .

  2. El potencial dependiente del tiempo V ( t ) = en t pueden verse como convenciones cambiantes para el nivel cero de la energía potencial. Sin embargo, la energía cinética T es una constante de movimiento.

  3. Para probar la conservación de la energía cinética, OP esencialmente comete el mismo error que OP en esta pregunta de Phys.SE: tal vez en contra de la intuición, la transformación infinitesimal relevante no es una traducción de tiempo pura. La transformación infinitesimal clave es en cambio

    (B) d q   =   ε q ˙ .
    La traducción de tiempo se puede incluir o excluir como se explica en mi respuesta de Phys.SE aquí . Por simplicidad, excluyamos la traducción del tiempo.
    (C) d t   =   0.
    Entonces la transformación d ya no puede "sentir" el término potencial V . Por lo tanto, estamos de vuelta en una aplicación estándar del teorema de Noether.

  4. La transformación infinitesimal del Lagrangiano

    (D) d L   = ( A ) + ( B ) + ( C )     =   ε d T d t
    es una derivada total, es decir, la transformación (B) & (C) es una cuasisimetría del Lagrangiano (A).

  5. La carga desnuda de Noether es un generador de tiempos de impulso. Eso es: pag q ˙ . La carga completa de Noether

    (MI) pag q ˙ T   =   T
    es, como era de esperar, la energía cinética.