¿Conservación de energía sin principio de acción?

El lema normal para la conservación de la energía es que es una cantidad conservada asociada a la invariancia de la traducción del tiempo. Entiendo cómo funciona esto para las teorías que provienen de un Lagrangiano, y que este es el contexto al que pretende referirse la declaración anterior, pero tengo curiosidad sobre si es cierto o no en mayor generalidad (es decir, es cierto en un más amplio contexto que se puede mostrar a través del teorema de Noether). Me limitaré a ODE individuales, ya que este caso ya no me queda claro. Si tenemos una ecuación diferencial

X ¨ = F ( X , X ˙ )

en general F esto claramente posee simetría de traducción de tiempo. Esto no conserva energía como se usa normalmente el término, ya que esto incluye ejemplos como un oscilador armónico amortiguado. Sin embargo, ¿realmente no hay una cantidad conservada de ningún tipo asociada a la simetría? Si no hay dependencia de X ˙ podemos encontrar fácilmente una integral de movimiento, pero no estoy seguro de por qué cualquier dependencia de X ˙ arruinaría esto.

Hola. Tal vez sea solo la energía mecánica que no es una constante de movimiento. La energía total debe conservarse, pero no sé cómo derivar tal resultado.

Respuestas (4)

(Después de posiblemente introducir más variables), entonces OP está considerando esencialmente un sistema autónomo de norte EDO acopladas de primer orden

(1) d z ( t ) d t   = F ( z ( t ) ) , F : tu R norte , tu R norte ,

es decir, sin dependencia temporal explícita, por lo que el sistema (1) posee simetría de traslación temporal.

OP ahora está reflexionando si existe una función no trivial h : tu R tal que t h ( z ( t ) ) es constante a lo largo de cada solución del sistema (1)?

La advertencia es que h solo se le permite depender de la función de estructura F del sistema (1), pero no, por ejemplo, sobre las condiciones iniciales para una solución.

Para norte 3 , semejante h no existe en general. Sin embargo, hay dos excepciones importantes:

  1. Si el sistema tiene una formulación funcional de acción autónoma , entonces el teorema de Noether muestra que la función de energía correspondiente se conserva en la capa. (Este caso ya es mencionado por OP.)

  2. En el caso norte = 2 , que es de hecho el caso en el que OP quería centrarse, entonces siempre existe (en vecindarios abiertos suficientemente pequeños) una formulación hamiltoniana autónoma del sistema (1), cf. por ejemplo, mi respuesta Phys.SE aquí . el hamiltoniano H en sí mismo es una cantidad conservada. (El caso norte = 1 también tiene una cantidad conservada.)

Desde una perspectiva física, es natural asociar la función h con la energía del sistema. Si esta identificación fuera correcta, entonces todos los sistemas disipativos serían contraejemplos. Sin embargo h no necesita ser la energía física real del sistema. Véase, por ejemplo , esta formulación funcional de acción no estándar de un sistema disipativo. Sin embargo, tan pequeño- norte Los accidentes se vuelven más raros a medida que norte crece

Creo que puedo recordar la derivación de un campo de fuerza conservativo en la mecánica clásica, que es una suposición algo más fuerte que la invariancia de traducción de tiempo pura.

Dejar F Sea un campo de fuerza conservativo, es decir

× F = 0
o alternativamente
ϕ := γ F d a
no depende del camino γ y su parametrización a ( s ) , pero solo en los "puntos finales".

Tome la ecuación de movimiento de Newton:

metro r ¨ = F
multiplicar por r ˙ e integrar con el tiempo
metro t 0 t d r ˙ d t r ˙   d t = t 0 t F r ˙   d t
metro v 0 v r ˙ d r ˙ = r 0 r F d r
metro v 0 v v   d v + metro norte 0 norte v 2 norte d norte = ϕ ( r ) + ϕ ( r 0 )
1 2 metro v 2 1 2 metro v 0 2 + metro norte 0 norte v 2 norte d norte = ϕ ( r ) + ϕ ( r 0 )
con norte el vector unitario que apunta en la dirección de la velocidad v = r ˙ = v norte . La integral restante es una integral de trayectoria sobre una trayectoria en el círculo unitario/esfera . Eso es: norte d norte d s para cualquier parametrización norte ( s ) . Así, tenemos:
norte 0 norte v 2 norte d norte = 0
y nos quedamos con:

1 2 metro v 2 + ϕ ( r ) = 1 2 metro v 0 2 + ϕ ( r 0 ) = constante

Creo que esto se discute en Nonlinear Dynamics and Chaos por Strogatz. No recuerdo los detalles, pero vale la pena mirar su discusión sobre una función de energía.

Aquí explica lo que creo que estás preguntando:

Trabajamos con una formulación de análisis de simetría de Noether que utiliza las propiedades de transformaciones de puntos infinitesimales en las variables espacio-temporales para establecer la asociación entre simetrías y leyes de conservación de un sistema dinámico. Aquí las simetrías se expresan en forma de generadores. Hemos estudiado las simetrías variacionales o de Noether del oscilador armónico amortiguado representándolo mediante un Lagrangiano explícitamente dependiente del tiempo y encontramos que un grupo de transformaciones de cinco parámetros deja la integral de acción invariante. Entre las cantidades conservadas asociadas, solo dos son funcionalmente independientes. Estas dos cantidades conservadas determinan la solución del problema y corresponden a un subgrupo abeliano de dos parámetros.

entonces, en resumen, lo que se encuentra es que la ecuación del operador diferencial

X ¨ + β X ˙ + γ X = 0

no es un operador autoadjunto, por lo que por criterio de Helmoltz no puede tener un Lagrangiano, pero sumando un factor de mi λ t puede hacerse autoadjunto por el lagrangiano

L = mi λ t ( X ˙ 2 2 ω 2 X 2 2 )

que deja explícito cuál es la dependencia temporal del Lagrangiano con el tiempo