Mi profesor de física se mostró reacio a definir el lagrangiano como energía cinética menos energía potencial porque dijo que había casos en los que el lagrangiano de un sistema no tomaba esta forma. ¿Conoces algún ejemplo de este tipo?
Actualización: Aquí estoy, por supuesto, asumiendo que y representa la energía cinética y potencial, respectivamente. También:
agregando un término derivado de tiempo total al Lagrangiano, o
escalar el lagrangiano con una constante multiplicativa distinta de cero
no cambie las ecuaciones de Euler-Lagrange, como señalan Dilaton y dmckee en los comentarios. No hace falta decir que no estoy interesado en modificaciones tan triviales (1 y 2).
Para una partícula libre relativista pensarías que el Lagrangiano sería como
y no son lo mismo. Esta elección (2) de término cinético da un momento canónico
como debería ser.
Sólo un par de comentarios. El segundo es el más interesante, en mi opinión.
(1) El Lagrangiano de una partícula cargada en un campo electromagnético asignado todavía tiene un Lagrangiano , pero aquí no es una función estándar dependiente de la posición, ya que generalmente también depende de y como es bien sabido (ver el libro de texto de Jackson, por ejemplo).
La diferencia entre la estructura de y es ahora que la dependencia de en es de primer orden en lugar de segundo como en . De lo contrario, se podría violar el determinismo ("normalidad" de las ecuaciones de Euler-Lagrange). Sin embargo, uno no puede pensar en como energía potencial. La misma estructura de surge si se incluye en fuerzas de inercia cuando se trabaja en un marco de referencia genérico no inercial.
(2) Considere una partícula clásica en la línea real sumergida en un líquido que genera una fuerza de fricción , con constante. También podemos suponer que existe una fuerza posicional con energía potencial . es la masa de la partícula y usamos su coordenada como coordenada lagrangiana. Este sistema no es invariante bajo inversión de tiempo, sin embargo hay un Lagrangiano para este sistema:
De hecho, produce inmediatamente la ecuación newtoniana correcta:
En una de sus conferencias de mecánica clásica (creo que el último conjunto), Leonard Susskind respondió una pregunta similar diciendo (y no puedo citar directamente porque no tengo el video frente a mí) que las lagrangianas son simplemente funciones que conducen a las ecuaciones de movimiento correctas. Agregaré que esas ecuaciones de movimiento se pueden resolver y el comportamiento resultante se puede comparar con la naturaleza como prueba de corrección. Susskind continuó diciendo que no existe una regla de que el Lagrangiano de un sistema deba ser T - U y que puede haber "términos cruzados" que describen ciertas interacciones. Fue más allá al decir algo que realmente me quedó grabado, y es que cuando estamos aprendiendo cálculo, nunca preguntamos: "¿De dónde obtenemos las funciones que estamos aprendiendo a analizar?". Básicamente, los inventamos o los adivinamos o los deducimos de los comportamientos observados (en física, de todos modos). Esa declaración me pareció bastante profunda.
El punto es bastante sutil para un físico sin conocimientos matemáticos, ya que la distinción es bastante técnica. Según Arnold (ver Referencias), damos las siguientes definiciones.
Definición. Dejar sea una variedad diferenciable, su haz tangente y una aplicación diferenciable. Una aplicación es un movimiento en un sistema lagrangiano con variedad de configuración TM y función lagrangiana si y solo si es extremal para el funcional
es dicho vector velocidad ,
Coordenadas locales del punto evolucionar según la ecuación de Euler-Lagrange
Ahora, supongamos es una variedad riemanniana , es decir, un par , con variedad diferenciable y una forma cuadrática definida positiva, generalmente indicada como . En este caso, y solo en este caso , podemos definir una energía cinética como se entiende habitualmente:
Definición Let sea una variedad riemanniana. Una forma cuadrática , dónde , definida en todos los haces tangentes se llama energía cinética . Nosotros decimos eso es una energía potencial si y sólo si es una función diferenciable.
Definición. Un sistema lagrangiano sobre una variedad riemanniana se dice natural si y sólo si , para algunos y previamente definido.
En la mecánica clásica, uno trata con variedades riemannianas todo el tiempo (aparte de las situaciones "patológicas"), por lo que no le importa la distinción. De hecho, en los cursos básicos ese problema nunca surge. Pero debe señalarse (por los maestros, quiero decir) que el espacio de Minkowski de la relatividad especial no es una variedad riemanniana, en realidad es una pseudo-riemanniana (la métrica no es definida positiva), por lo que la definición de lagrangiana debe tomarse con cuidado. Está claro que la situación en la relatividad general es aún más "dramática" y definir un lagrangiano es un problema no trivial.
El ejemplo más conocido de tal lagrangiano es, creo, el de una partícula libre en relatividad especial: . (Ver Goldstein)
Referencias. VI Arnold, Métodos matemáticos de la mecánica clásica y celeste , capítulo IV.ù H. Goldstein, C. Poole, J. Safko, Mecánica clásica , 3ª edición, Par. 7.9.
Según el supuesto de Landau-Lifchitz, la definición del principio de acción mínima contiene dos puntos sustanciales.
Primero nos dice que cualquier sistema mecánico está totalmente caracterizado por una función que depende de coordenadas generalizadas, de la primera derivada de las coordenadas generalizadas y del tiempo. Tal función se llama lagrangiana.
El segundo punto trata del propio problema de minimización. El movimiento del sistema satisface lo siguiente. Considere dos instantes distintos y las coordenadas generalizadas asociadas que describen la posición del sistema en esos dos instantes. Entre esos dos puntos el movimiento se hace de tal manera que se minimiza la integral de la función lagrangiana entre esos dos instantes.
A partir de ahí se puede obtener la ecuación de Lagrange. no se dice nada de .
Considerando un punto material libre, elegimos describir el movimiento en un tipo específico de marco. Un encuadre donde el espacio pueda considerarse homogéneo, isotrópico y donde el tiempo sea uniforme parece ser la elección más acertada. Suponiendo que exista tal marco (se llama marco de referencia galileano), ¿cuál sería la forma del Lagrangiano?
Debido a que el espacio es homogéneo, el Lagrangiano no puede contener ningún término que involucre las coordenadas generalizadas. En otras palabras, las leyes del movimiento no pueden depender de dónde se encuentra realmente el sistema. Como el tiempo también es homogéneo, llegamos a la misma conclusión, el tiempo no puede aparecer explícitamente en el Lagrangiano.
El espacio también es isotrópico, lo que significa que las leyes del movimiento no pueden depender de la dirección del movimiento en el espacio. Entonces el Lagrangiano solo depende de la norma de la velocidad y por tanto no de la dirección del vector velocidad. Entonces la función lagrangiana solo depende del valor absoluto de la velocidad o del cuadrado del vector velocidad. .
Si pones esta forma en la ecuación de Lagrange obtendrás que es una constante independiente del tiempo. Entonces obtendrás la primera ley de Newton. Siguiendo este razonamiento con el estudio de dos marcos galileanos que se mueven de uno a otro terminará en L proporcional al cuadrado de la velocidad.
Considere un sistema aislado constituido por varias partículas. Puede describir las interacciones entre todas las partículas con una función que depende únicamente de la posición de cada partícula. Puedes llamar a esta función .
Es importante ver por qué esta función no puede depender del tiempo. En mecánica clásica consideramos que la interacción se propaga instantáneamente de una partícula a otra. Entonces el tiempo no puede aparecer explícitamente en esta función -U.
Por tanto, la forma general de la función lagrangiana es . Usando la uniformidad del tiempo y las ecuaciones de Lagrange, podrá encontrar que una cierta cantidad no depende del tiempo:
La integral de acción puede estar en forma de "acción de Jacobi", que se ve así:
donde usualmente es constante, es la energía potencial y es la energía cinética.
Para más información sobre esto, consulte:
Hay muchas otras versiones para derivar las ecuaciones de movimiento del cálculo variacional, consulte:
I) Es interesante observar que si el hamiltoniano es de la forma cinética más energía potencial, entonces el llamado Hamiltoniano Lagrangiano
también tiene la forma de energía cinética menos energía potencial si usamos una de las ecuaciones de Hamilton . Fuera de la cáscara, tal interpretación es más desafiante. (Aquí las palabras on-shell y off-shell se refieren a si las ecuaciones de movimiento (eom) se cumplen o no).
II) Un Lagrangiano hamiltoniano más general es de la forma
dónde son las variables fundamentales en la teoría, es un potencial (pre)simpléctico de una sola forma, es el hamiltoniano, son multiplicadores de Lagrange, y son restricciones. Hay varios mecanismos en la formulación hamiltoniana que podrían complicar o incluso obstruir una interpretación como energía cinética menos potencial para el lagrangiano hamiltoniano. :
a) El hamiltoniano no tiene la forma de energía cinética más energía potencial.
b) Restricciones solo se satisfacen en la cáscara. Fuera de la cáscara, el término no tiene interpretación como energía cinética ni potencial.
c) La forma de dos puede estar degenerado, es decir, el espacio de fase puede ser presimpléctico en lugar de simpléctico. En tales casos, no existe el teorema de Darboux para asegurar que es localmente de la forma .
III) Si OP solo quiere un ejemplo simple, aquí hay un ejemplo de una partícula de punto libre en dos dimensiones [1]
Este Lagrangiano (C) es diferente de la energía cinética y del Lagrangiano estándar
Sin embargo, las ecuaciones de Euler-Lagrange son las mismas:
Es un ejercicio sencillo comprobar que el Lagrangiano (C) no es trivial en el sentido OP 1 y 2, es decir, que la diferencia entre y (donde este último se multiplica por una constante ) nunca es una derivada de tiempo total:
Sugerencia para probar la ec. (F): Basta comprobar que la derivada funcional de es distinto de cero. ¿Por qué?
IV) Para otro ejemplo elemental, vea esta publicación de Phys.SE.
Referencias:
Hasta donde yo sé, en mecánica clásica se define exactamente como la diferencia entre la energía cinética y la potencial. Por el contrario, es el hamiltoniano que no siempre es igual , y debe definirse como la transformada de Legendre de Lagrangian.
En modelos más complicados, como en la teoría de campos, el Lagrangiano podría ser más complicado. Esto se debe a que los lagrangianos, como operadores hamiltonianos en mecánica cuántica, no están determinados por una regla universal o por un teorema. Se eligen sólo porque funcionan , es decir, por una analogía con la mecánica clásica, o porque conducen a ecuaciones de Euler verificadas físicamente. En este caso, no hay ninguna razón especial por la cual un lagrangiano deba ser separable en dos partes distintas. y términos.
Para derivar las ecuaciones de campo de la relatividad general (en el vacío), la densidad lagrangiana es simplemente el escalar de Ricci, que mide las desviaciones del espacio-tiempo plano. Este es un buen ejemplo de un Lagrangiano que no tiene una interpretación real de "energía": ¡en el vacío claramente no hay energía en la mecánica clásica!
También tenga en cuenta que hay muchos ejemplos en mecánica de fluidos donde . Particularmente cuando se utiliza el marco de referencia Euleriano . Por ejemplo, para ondas de gravedad superficiales de aguas profundas irrotacionales, el lagrangiano se escribe como
dónde es el potencial de velocidad, es la aceleración de la gravedad y es la altura de la superficie. En este caso, , más bien podemos reconocerlo como (menos) la presión en la superficie libre. Este es el caso porque la transformación de variables lagrangianas (en el sentido de seguir partículas en el fluido) a variables eulerianas no es canónica .
Además, tenga en cuenta que la densidad lagrangiana produce dinámicas únicas hasta la multiplicación por constantes y la suma de gradientes perfectos.
Siempre consideré que el ejemplo canónico es el lagrangiano para una carga puntual (con carga y masa ) en un campo EM externo: , dónde es el potencial escalar para el campo eléctrico, y es el vector potencial del campo magnético.
Asumo el caso de que puedas escribir tiene la estructura
La teoría 2+1D Chern-Simons es un ejemplo que no se puede escribir de esta forma.
Para los no abelianos, Chern-Simons tiene la acción
Incluso para la teoría de Abelian Chern-Simons, tiene la acción,
El campo calibre Abelian de 1 forma tiene Si elige calibre temporal , verá que la teoría abeliana de Chern-Simons tiene la forma:
Al identificar y , por lo que efectivamente Lagrangian es como:
dónde y .
Efectivamente, es como un problema de mecánica cuántica: una partícula con desplazamiento moviéndose en un campo magnético uniforme: .
Verá que la teoría de Chern-Simons se deriva no obedece a esta estructura .
Otro ejemplo, ampliando la respuesta de Qmechanic, puede ser el oscilador armónico 2D, con el Lagrangiano:
este lagrangiano tiene el mismo EoM que el oscilador armónico estándar habitual, pero es bastante diferente, el teorema de Noether hace un gran lío con las simetrías habituales y las cantidades conservadas, por ejemplo, el momento angular tiene asociada una simetría comprimida:
es un poco raro, pero algo bueno.
En los casos de campos escalares, el lagrangiano ya no toma la forma de cinética menos potencial sino que se generaliza como energía cinética menos energía de gradiente menos energía potencial.
DJBunk
ZAC
Dilatón
qmecanico
usuario10851
dmckee --- gatito ex-moderador
garyp