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
en general 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 podemos encontrar fácilmente una integral de movimiento, pero no estoy seguro de por qué cualquier dependencia de arruinaría esto.
(Después de posiblemente introducir más variables), entonces OP está considerando esencialmente un sistema autónomo de EDO acopladas de primer orden
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 tal que es constante a lo largo de cada solución del sistema (1)?
La advertencia es que solo se le permite depender de la función de estructura del sistema (1), pero no, por ejemplo, sobre las condiciones iniciales para una solución.
Para , semejante no existe en general. Sin embargo, hay dos excepciones importantes:
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.)
En el caso , 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 en sí mismo es una cantidad conservada. (El caso también tiene una cantidad conservada.)
Desde una perspectiva física, es natural asociar la función con la energía del sistema. Si esta identificación fuera correcta, entonces todos los sistemas disipativos serían contraejemplos. Sin embargo 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- Los accidentes se vuelven más raros a medida que 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 Sea un campo de fuerza conservativo, es decir
Tome la ecuación de movimiento de Newton:
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
no es un operador autoadjunto, por lo que por criterio de Helmoltz no puede tener un Lagrangiano, pero sumando un factor de puede hacerse autoadjunto por el lagrangiano
que deja explícito cuál es la dependencia temporal del Lagrangiano con el tiempo
Constantino negro