¿Existe una prueba a partir del primer principio de que el Lagrangiano L = T - V?

¿Existe una prueba a partir del primer principio de que para el lagrangiano L ,

L = T (energía cinética) V (energía potencial)

en mecánica clásica? Suponga que se utilizan coordenadas cartesianas. Entre las combinaciones, L = T norte V , solamente norte = 1 obras. ¿Hay una razón fundamental para ello?

Por otro lado, el principio variacional usado para derivar las ecuaciones de movimiento, la ecuación de Euler-Lagrange, es bastante general (puede usarse para encontrar el óptimo de cualquier integral parametrizada) y no especifica la forma de Lagrange. Agradezco a cualquiera que dé la respuesta y, si es posible, la fuente principal (quien publicó la respuesta primero en la literatura).


Notas agregadas el 22 de septiembre:
- Ambas respuestas son correctas hasta donde puedo encontrar. Ambos respondedores no estaban seguros de lo que quería decir con el término que usé: 'primer principio'. Me gusta elaborar lo que estaba pensando, sin pretender ser condescendiente ni nada parecido. Por favor, tenga un poco de comprensión si las palabras que uso no están bien pensadas.
- Hacemos ciencia recopilando hechos, formando leyes empíricas, construyendo una teoría que generaliza las leyes, luego volvemos al laboratorio y averiguamos si la parte de generalización puede resistir la verificación. Las leyes de Newton están cerca del final de las leyes empíricas, lo que significa que se verifican fácilmente en el laboratorio. Estas leyes no se limitan a la gravedad, sino que se utilizan principalmente bajo la condición de gravedad. Cuando generalizamos y las expresamos en Lagrangiano o Hamiltoniano, pueden usarse donde las leyes de Newton no pueden, por ejemplo, sobre electromagnetismo, o cualquier otra fuerza desconocida para nosotros. Lagrangian o Hamiltonian y las ecuaciones de movimiento derivadas son generalizaciones y más en el lado de la teoría, relativamente hablando; al menos esas son un poco más teóricas que las leyes de Newton. Todavía vamos al laboratorio para verificar estas generalizaciones, pero es
- Pero aquí hay un nuevo problema, como señaló @Jerry Schirmer en su comentario y acepté. Lagrangiana es una gran herramienta si conocemos su expresión. Si no lo hacemos, entonces estamos perdidos. Lagrangiana es casi tan inútil como las leyes de Newton para una nueva fuerza misteriosa. Es casi igual de inútil, pero no del todo, porque podemos probar y fallar. Tenemos mucha mejor suerte al probar y fallar en Lagrangian que en ecuaciones de movimiento.
- Oh, el principio variacional es un 'primer principio' en mi mente y se usa para derivar la ecuación de Euler-Lagrange. Pero el principio variacional no da una pista sobre la expresión explícita de Lagrangiano. Este es el punto al que me dirijo. Es por eso que estoy buscando ayuda, digamos, en Physics SE. Si alguien supiera la razón por la que n=1 en L=T-nV, entonces podríamos usar este razonamiento para descubrir una fuerza misteriosa. Parece que alguien está en el futuro.

Creo que tu pregunta es un poco al revés... diciendo L = T V es una buena manera de dar un Lagrangiano general que te da la mecánica newtoniana, pero no es el Lagrangiano más general, y esta forma, de hecho, no funciona para, digamos, Electromagnetismo. La visión moderna diría que el Lagrangiano (densidad) es un objeto que se define antes de una noción de energía.
@ChinYeh ¡Hay una prueba que se basa en las Leyes de Newton y el principio de D'Alembert! ¿Quieres algo más básico que eso?
@ChinYeh: seguro: define el tipo de campos/partículas que necesita, define la simetría del problema y luego escribe el lagrangiano más general que respeta estas dos cosas. Luego haces predicciones y refinas tu lagrangiano.

Respuestas (7)

Suponemos que OP por el término primer principio en este contexto significa las leyes de Newton en lugar del principio de acción estacionaria . 1 . De hecho, es posible derivar ecuaciones de Lagrange a partir de las leyes de Newton, cf. esta respuesta Phys.SE.

Prueba esbozada: Consideremos una no relativista 2 Problema newtoniano de norte partículas puntuales con posiciones r 1 , , r norte , con coordenadas generalizadas q 1 , , q norte , y metro = 3 norte norte Restricciones holonómicas .

Supongamos, por simplicidad, que la fuerza aplicada del sistema tiene un potencial generalizado (posiblemente dependiente de la velocidad) tu . (Esto, por ejemplo, descarta las fuerzas de fricción dependientes de la velocidad ).

Entonces es posible derivar la siguiente identidad clave

(1) i = 1 norte ( pags ˙ i F i ) d r i   =   j = 1 norte ( d d t ( T tu ) q ˙ j ( T tu ) q j ) d q j .

Aquí d denota un desplazamiento virtual infinitesimal consistente con las restricciones. Es más, F i es la fuerza aplicada (es decir, la fuerza total menos las fuerzas de restricción) en el i 'ésima partícula. el lagrangiano L := T tu se define aquí como la diferencia 3 entre la energía cinética y la potencial. Tenga en cuenta que el rhs. de la ec. (1) contiene precisamente el operador de Euler-Lagrange .

El principio de D'Alembert dice que la lhs. de la ec. (1) es cero. Entonces las ecuaciones de Lagrange se derivan del hecho de que el desplazamiento virtual d q j en las coordenadas generalizadas no tiene restricciones y es arbitrario.

El principio de D'Alembert, a su vez, se deriva de las leyes de Newton utilizando algunos supuestos sobre la forma de las fuerzas de restricción. (Por ejemplo, asumimos que no hay fricción por deslizamiento). Ver Ref. 1 y esta publicación de Phys.SE para obtener más detalles.

Referencias:

  1. H. Goldstein, Mecánica Clásica, Capítulo 1.

--

1 Siempre se debe tener en cuenta que, en el nivel clásico (es decir, = 0 ), el lagrangiano L está lejos de ser único, en el sentido de que muchos Lagrangianos diferentes pueden producir las mismas ecuaciones. de movimiento Por ejemplo, siempre es posible agregar una derivada de tiempo total al Lagrangiano, o escalar el Lagrangiano con una constante. Ver también esta publicación de Phys.SE.

2 Es posible extender a una versión relativista especial de la mecánica newtoniana (entre otras cosas) reemplazando la fórmula no relativista T = 1 2 i = 1 norte metro i v i 2 con T = i = 1 norte metro 0 i C 2 γ ( v i ) en lugar de la energía cinética i = 1 norte [ γ ( v i ) 1 ] metro 0 i C 2 . Ver también esta publicación de Phys.SE.

3 OP está reflexionando por qué el Lagrangiano L no es de la forma T α tu por alguna constante α 1 ? De hecho, la identidad clave (1) se puede generalizar de la siguiente manera

(1') i = 1 norte ( pags ˙ i α F i ) d r i   =   j = 1 norte ( d d t ( T α tu ) q ˙ j ( T α tu ) q j ) d q j .

Así que el hecho de que el Lagrangiano L no es de la forma T α tu por α 1 está directamente relacionado con que la segunda ley de Newton no es de la forma pags ˙ i = α F i por α 1 .

Permítanme suponer que "primeros principios" se refiere a las leyes de Newton, pero en la formulación algo más amplia de las ecuaciones de Hamilton, que dice que dada una función hamiltoniana H , entonces el momento canónico (mostrar uno solo, solo para facilitar la notación) está relacionado con las velocidades por

q ˙ = H pags

y que la ecuación dinámica del movimiento (generalizando F = metro a ) es

pags ˙ = H q .

Así que en un lapso de tiempo infinitesimal ϵ las coordenadas y los momentos evolucionan como

q ϵ = q + H pags ϵ

y

pags ϵ = pags H q ϵ .

Al mismo tiempo, el cambio de coordenadas canónicas/momentos canónicos está relacionado con el Lagrangiano L by ("generando funciones para transformaciones canónicas ")

pags ϵ d q ϵ pags d q = ϵ d L .

Ahora calculamos:

pags ϵ d q ϵ pags d q = ( pags H q ϵ ) d ( q + H pags ϵ ) pags d q = ϵ ( pags d H pags H q d q ) = ϵ ( d ( pags H pags ) H pags d pags H q d q ) = ϵ d ( pags H pags H ) .

Por lo tanto, en general, el Lagrangiano es

L := pags H pags H .

Ahora si H tiene la forma estándar (configuración metro = 1 por simplicidad)

H = H k i norte + H pags o t = 1 2 pags 2 + V ( q )

después

L = H k i norte H pags o t .

Por cierto, cualquier persona que disfrute de una perspectiva abstracta más general sobre lo que está sucediendo aquí podría disfrutar de aprender esta historia traducida al lenguaje de "correspondencias lagrangianas precuantizadas", para obtener más información sobre esto, consulte el nLab aquí .

La mecánica lagrangiana se puede derivar directamente de la segunda ley de Newton usando solo manipulación algebraica y algo de cálculo. Esto incluye tanto la forma general de la ecuación de Euler-Lagrange como la forma específica de Langangian L = T V . No se necesitan supuestos de estacionariedad, uso del cálculo de variaciones, o incluso cualquier referencia al concepto de acción.

Esto se muestra en Brian Lee Beers: Naturaleza geométrica de las ecuaciones de Lagrange . Una derivación similar también se encuentra en James Casey: Derivación geométrica de las ecuaciones de Lagrange para un sistema de partículas . Casey también escribió una serie de artículos de seguimiento que amplían la idea a cuerpos rígidos, dinámica de fluidos, ...

Beers comienza con la segunda ley de Newton y la proyecta sobre los vectores de base de coordenadas. Para una sola partícula esto es

F r q i = metro r ¨ r q i
A partir de esto, unos pocos pasos algebraicos simples producen
d d t T q ˙ i T q i = F i = F r q i
Esta es la forma más general de la ecuación de Lagrange que cubre los sistemas disipativos. El caso conservador se obtiene estableciendo F = V . Sustituyendo eso en la ecuación anterior da
d d t T q ˙ i T q i = V q i , ya que  V q i = V r q i d d t T q ˙ i ( T V ) q i = 0 d d t T q ˙ i L q i = 0
Ahora V q ˙ i = 0 ya que por definicion V es una función de sólo el q i e independiente de q ˙ i , asi que:
d d t ( T q ˙ i V q ˙ i ) L q i = 0 d d t ( T V ) q ˙ i L q i = 0 d d t L q ˙ i L q i = 0
En ninguna parte de esto se supone que T V es estacionario o incluso es especial de alguna manera. Visto así definiendo L = T V parece un pequeño truco para ordenar las ecuaciones de un sistema conservador en lugar de algo fundamental. uno puede usar T como el Lagrangiano al menos para la mecánica clásica. Esto es realmente necesario para tratar con sistemas disipativos.

La derivación anterior pasa por sistemas generales, como sistemas multipartículas, cuerpos rígidos, etc. El principal cambio es que el escalar de masa debe ser reemplazado por el tensor de inercia del sistema. Esto se trata en los artículos de Casey mencionados anteriormente, así como en Synge: Sobre la geometría de la dinámica y Crouch: Estructuras geométricas en la teoría de sistemas .

Me gusta esta derivación, ya que es directa, clara y simple (aunque me gustan mucho los principios variacionales). Sin embargo, no está claro de inmediato cómo maneja el caso con fuerzas conservativas dependientes de la velocidad (por ejemplo, campos magnéticos) como lo requiere explícitamente V ser independiente de la velocidad. ¿Puedes manejar eso redefiniendo T ?
@SebastianRiese Interesante pregunta. Déjame pensar en ello.
Hombre, odio cuando la gente resta cero :-) +1

Encontré un wikilink, Lagrange_multiplier , que responde a mi pregunta:

"Así, la fuerza sobre una partícula debido a un potencial escalar, F = V , puede interpretarse como un multiplicador de Lagrange que determina el cambio de acción (transferencia de potencial a energía cinética) después de una variación en la trayectoria restringida de la partícula".

    En otras palabras, la energía potencial V se convierte en un conjunto de restricciones para el Lagrangiano L = T norte V dónde norte es el multiplicador de Lagrange que necesita ser determinado. La variación

d t 1 t 2 L ( q ˙ 1 , . . . , q ˙ norte , q 1 , . . . , q norte ) d t = 0

se convierte en 2 norte ecuaciones, norte de las cuales son ecuaciones de movimiento

d d t ( q ˙ T ) + norte q V = 0

y el otro norte las ecuaciones son restricciones. Resulta norte = 1 .


El método del multiplicador de Lagrange tiene sentido porque V es independiente del camino, por lo tanto, su variación a lo largo de diferentes caminos es siempre cero:

d t 1 t 2 V d t 0

Cuando aplicamos el principio variacional a d t 1 t 2 L d t 0 , Solo el T el término varía.
cuando agregamos norte t 1 t 2 V d t con arbitraria norte , nada cambia.
Pero si pensamos en la V como restricciones sobre las que se mueve la partícula, obtenemos las ecuaciones de movimiento correctas.

Comentario a la respuesta (v1): tenga en cuenta que las dos acciones S [ q ] := d t   ( metro 2 q ˙ 2 V ) y S [ q , λ ] := d t   ( metro 2 q ˙ 2 λ V ) describir dos teorías físicas diferentes . El último modelo obliga a la partícula a moverse sobre la superficie equipotencial V = 0 , mientras que el primero no. Por ejemplo, si V = metro 2 ( ω q ) 2 es un potencial armónico en 1D, entonces la solución es q = q 0 porque ( ω ( t t 0 ) ) en el primer caso, mientras q = 0 En este último caso.
Parece que las ecuaciones de movimiento resultantes son las mismas para las 2 configuraciones. Tengo que rascarme más la cabeza. Mi punto es que la energía potencial no juega ningún papel en la variación a pesar de que tiene un papel en la trayectoria.

los norte en L = T norte V puede verse como un factor de reescala de potencial. norte no cambia la física. Por ejemplo, para la gravedad, norte puede ser absorbido en constante gravitacional. Véase también esto .

Comentario a la respuesta (v1): ¿Qué quieres decir? norte 1 no cambia la fisica? Cambiando la constante gravitacional GRAMO cambia la física.
@Qmecanico. Probablemente no lo expresé bien. O, podría no haberlo pensado bien. Lo que pensé fue esto. V no tiene ningún papel en la variación. Podemos agregar un factor norte a V , la naturaleza de la física no cambia, aunque sí la trayectoria. El ejemplo que di es aún más arriesgado. si duplicamos V y reducimos la constante gravitacional a la mitad, aún obtenemos las mismas ecuaciones de movimiento. Divulgación: no haría ningún cálculo con norte 1 . Solo quería explicar este bulto en mi mente.

Prueba 1: tengo uno propio que es menos intensivo:ingrese la descripción de la imagen aquí

Como nota al pie de esa prueba: debido a que lo que encontramos como la energía total del sistema se conserva, la ecuación en la línea 3 tiene un nuevo significado: en cada punto a lo largo de la trayectoria real, también conocida como la solución de la ecuación de Euler-Lagrange, la partícula se moverá en la dirección que mantiene su energía total constante. En otras palabras, el camino Lagrangiano es el camino que minimiza el cambio de energía total de un punto a otro (QUE DEBE SER CERO).

Prueba 2: (Cálculo funcional) Hay otra prueba en el libro de texto (Teoría cuántica de campos para aficionados superdotados): Esencialmente, si T y U son funcionales y se toman sus derivados funcionales:

La derivada funcional de dT/d(x(t)) = -ma, y ​​la derivada funcional de U = dU/d(x(t))

Si se compara con la ecuación de Newton: (-dU/dx = ma) también conocida como (dU/dx = -ma), encontramos que la ecuación de Newton establece que la derivada funcional de T es igual a la derivada funcional de U.

d/d(x(t))(T)=d/d(x(t))(U) (Donde estos son derivados funcionales con respecto a un cambio en funcional)

Que cuando se factoriza se convierte en: d/d(x(t))(TU)=0 Que es el principio de mínima acción: La integral estacionaria de la funcional (TU).

Escriba su respuesta en lugar de usar imágenes. Las imágenes reducen la visibilidad y dificultan la visibilidad de la publicación. Además, use MathJax para escribir expresiones matemáticas.

Hay una gran manera de mostrar que el Lagrangiano (lo que quieres minimizar) es en realidad igual a T V . La "prueba" proviene del libro "Teoría cuántica de campos para aficionados". Para comenzar la demostración primero debemos considerar cuál es la energía cinética y potencial promedio como función

T a v gramo [ X ( t ) ] = 1 t 2 t 1 t i t F d t 1 2 metro X ˙ 2 ( t )
V a v gramo [ X ( t ) ] = 1 t 2 t 1 t i t F d t V ( X ( t ) )
Luego, si tomamos derivadas funcionales de ambos lados, encontramos que
d T a v gramo d X ( t ) = 1 t 2 t 1 metro X ¨
d V a v gramo d X ( t ) = 1 t 2 t 1 d V ( X ) d X
Las ecuaciones de movimiento de un objeto en la mecánica newtoniana vienen dadas por la siguiente ecuación
F = d V ( X ) d X
Sin embargo, también podemos escribir esta ecuación como
metro X ¨ = d V ( X ) d X
Ahora resolviendo la derivada del potencial nos da que
d V ( X ) d X metro X ¨
Si ahora imponemos que se satisfacen las ecuaciones de movimiento, podemos sustituir la expresión que tenemos arriba en nuestra derivada funcional
d V a v gramo d X ( t ) = 1 t 2 t 1 metro X ¨
Que es lo mismo la derivada funcional de la energía cinética media. Lo que significa que
d T a v gramo d X ( t ) = d V a v gramo d X ( t )
Mover los términos a un lado nos da
d T a v gramo d X ( t ) d V a v gramo d X ( t ) = 0
Como la derivada funcional es lineal, vemos que lo siguiente también es cierto
d d X ( t ) ( T a v gramo V a v gramo ) = 0
Ahora, si sustituimos la energía cinética promedio y la energía potencial promedio en la ecuación, vemos que lo siguiente es cierto
d d X ( t ) 1 t 2 t 1 t i t F d t ( 1 2 metro X ˙ 2 ( t ) V ( X ) ) = 0
Si hacemos esta expresión más agradable al multiplicar por el término constante, vemos que
d d X ( t ) t i t F d t ( 1 2 metro X ˙ 2 ( t ) V ( X ) ) = 0
que es lo mismo que
d d X ( t ) t i t F d t ( T V ) = 0
Podemos ver aquí que estamos minimizando este funcional y este funcional conduce a las ecuaciones de movimientos porque lo impusimos en nuestra definición. Esto es lo que es la acción y el término dentro de la acción es el lagrangiano. Así que hemos demostrado que
L = T V

Al derivar la energía cinética, ¿de dónde viene el signo negativo?
@mohamed al tomar la derivada funcional, puede mostrar que debería haber un signo negativo. Intente tomar la derivada funcional usted mismo y verifique que este sea el resultado correcto.
No aclaré mi punto. Quiero decir, ¿no es esto contrario a la intuición? la energía cinética promedio aumenta mientras que la energía potencial promedio disminuye porque la energía se conserva (es decir, la pendiente de la energía cinética tiene el signo opuesto a la pendiente de la energía potencial). Su respuesta realmente facilita mucho las cosas. Tengo un nivel principiante-intermedio en física. ¿Puede recomendar libros fáciles y claros (como el que mencionó en la respuesta) preferiblemente de Springerlink o de la biblioteca en línea de Wiley? Nota: todavía no he estudiado los funcionales y sus derivados.
Sí, es un poco contrario a la intuición, pero es por eso que tienes que mirarlo desde una perspectiva diferente. Lo hace mucho más intuitivo si piensas en el intercambio de energía. Si tiene energía potencial, entonces, naturalmente, esa energía potencial comenzará a convertirse en energía cinética. O si tiene energía cinética, puede convertirla en energía potencial alejándose del objeto que genera el potencial. Entonces, lo que está tratando de encontrar es el camino con la mayor cantidad de energía potencial o la mayor cantidad de energía cinética, ya que se convierte entre sí.
@mohamed ¿Qué estás estudiando? Puedo dar recomendaciones de libros basadas en eso.
prequistes mecanicistas (mecánica clásica) a la mecánica cuántica
@mohamed No soy el más adecuado para responder esto porque realmente solo tengo libros para temas de nivel superior ya que quería entenderlo más. Pero recomendaría el de Griffith para la mecánica cuántica. Sin embargo, no sé sobre mecánica clásica porque nunca la estudié. Como soy autodidacta, simplemente escogí y elegí cosas que eran interesantes de aprender, por lo que hay muchas lagunas en mi conocimiento. Pero creo que Leonard Susskind tiene una lección de mecánica clásica, creo que solo repasa cada tema brevemente. Hay buenas conferencias sobre mecánica cuántica en MITOpenCourseware
Realmente estoy teniendo dificultades para derivar el signo negativo. No me gusta mucho el cálculo y sé que probablemente la parte que me falta es algo muy pequeño. Entonces, si pudiera recomendarme también algunos buenos libros de cálculo (este tipo de libros que le muestran trucos, no solo la forma formal de resolver ecuaciones). NOTAYo también estoy estudiando por mi cuenta y tengo un nivel medio de cálculo 2 con poca experiencia en derivadas parciales
@mohamed Creo que el problema es que estás tratando los derivados funcionales como derivados normales de la misma manera que se define un derivado funcional
@mohamed Creo que el problema es que estás tratando los derivados funcionales como derivados normales. Si busca en la página de Wikipedia las derivadas funcionales, le dice cómo puede calcularlas. Tenga en cuenta que debe comprender las funciones delta.