En física , la mecánica lagrangiana es una formulación de la mecánica clásica basada en el principio de acción estacionaria (también conocido como principio de acción mínima). Fue introducido por el matemático y astrónomo italo-francés Joseph-Louis Lagrange en su presentación ante la Academia de Ciencias de Turín en 1760 [1], que culminó en su gran obra de 1788, Mécanique analytique . [2]
La mecánica lagrangiana describe un sistema mecánico como un par ( M , L ) que consta de un espacio de configuración M y una función suave dentro de ese espacio llamada lagrangiana . Para muchos sistemas, L = T − V , donde T y V son la energía cinética y potencial del sistema, respectivamente. [3]
El principio de acción estacionaria requiere que la acción funcional del sistema derivada de L debe permanecer en un punto estacionario (un máximo , un mínimo o una silla ) durante toda la evolución temporal del sistema. Esta restricción permite el cálculo de las ecuaciones de movimiento del sistema utilizando las ecuaciones de Lagrange. [4]
Supongamos que existe una cuenta que se desliza sobre un alambre o un péndulo simple que oscila . Si se sigue cada uno de los objetos masivos (cuenta, masa pendular) como una partícula, el cálculo del movimiento de la partícula utilizando la mecánica newtoniana requeriría resolver la fuerza restrictiva variable en el tiempo necesaria para mantener la partícula en el movimiento restringido (fuerza de reacción). ejercida por el alambre sobre la cuenta, o tensión en la varilla del péndulo). Para el mismo problema utilizando la mecánica lagrangiana, se observa la trayectoria que puede tomar la partícula y se elige un conjunto conveniente de coordenadas generalizadas independientes que caractericen completamente el posible movimiento de la partícula. Esta elección elimina la necesidad de que la fuerza de restricción entre en el sistema de ecuaciones resultante. Hay menos ecuaciones ya que no se calcula directamente la influencia de la restricción sobre la partícula en un momento dado.
Para una amplia variedad de sistemas físicos, si el tamaño y la forma de un objeto masivo son insignificantes, es una simplificación útil tratarlo como una partícula puntual . Para un sistema de N partículas puntuales con masas m 1 , m 2 , ..., m N , cada partícula tiene un vector de posición , denotado r 1 , r 2 , ..., r N . Las coordenadas cartesianas suelen ser suficientes, por lo que r 1 = ( x 1 , y 1 , z 1 ) , r 2 = ( x 2 , y 2 , z 2 ) y así sucesivamente. En el espacio tridimensional , cada vector de posición requiere tres coordenadas para definir de forma única la ubicación de un punto, por lo que hay 3 N coordenadas para definir de forma única la configuración del sistema. Todos estos son puntos específicos en el espacio para localizar las partículas; un punto general en el espacio se escribe r = ( x , y , z ) . La velocidad de cada partícula es la rapidez con la que se mueve la partícula a lo largo de su trayectoria de movimiento y es la derivada temporal de su posición; por lo tanto, en la mecánica newtoniana, las ecuaciones de movimiento vienen dadas por las leyes de Newton . La segunda ley " fuerza neta es igual a masa multiplicada por aceleración ", se aplica a cada partícula. Para un sistema de N -partículas en 3 dimensiones, hay 3 N ecuaciones diferenciales ordinarias de segundo orden en las posiciones de las partículas a resolver.
En lugar de fuerzas, la mecánica lagrangiana utiliza las energías del sistema. La cantidad central de la mecánica lagrangiana es la lagrangiana , una función que resume la dinámica de todo el sistema. En general, el lagrangiano tiene unidades de energía, pero no una expresión única para todos los sistemas físicos. Cualquier función que genere las ecuaciones de movimiento correctas, de acuerdo con las leyes físicas, puede considerarse lagrangiana. Sin embargo, es posible construir expresiones generales para grandes clases de aplicaciones. El Lagrangiano no relativista para un sistema de partículas en ausencia de un campo electromagnético viene dado por [5] donde es la energía cinética total del sistema, igual a la suma Σ de las energías cinéticas de las partículas. Cada partícula etiquetada tiene masa y v k 2 = v k · v k es la magnitud al cuadrado de su velocidad, equivalente al producto escalar de la velocidad consigo misma. [6]
La energía cinética T = T ( v 1 , v 2 , ...) es la energía del movimiento del sistema y es función sólo de las velocidades v k , no de las posiciones r k , ni del tiempo t , por lo que T = T ( v 1 , verso 2 , ...).
V , la energía potencial del sistema, refleja la energía de interacción entre las partículas, es decir, cuánta energía tiene cada partícula debido a todas las demás, junto con cualquier influencia externa. Para fuerzas conservativas (por ejemplo, la gravedad newtoniana ), es función de los vectores de posición de las partículas únicamente, por lo que V = V ( r 1 , r 2 , ...). Para aquellas fuerzas no conservativas que pueden derivarse de un potencial apropiado (por ejemplo, potencial electromagnético ), las velocidades aparecerán también, V = V ( r 1 , r 2 , ..., v 1 , v 2 , ...) . Si hay algún campo externo o fuerza impulsora externa que cambia con el tiempo, el potencial cambia con el tiempo, por lo que generalmente V = V ( r 1 , r 2 , ..., v 1 , v 2 , ..., t ).
Como ya se señaló, esta forma de L es aplicable a muchas clases importantes de sistemas, pero no a todos. Para la mecánica relativista lagrangiana debe ser reemplazada en su conjunto por una función consistente con la relatividad especial o general. Cuando hay un campo magnético presente, es necesario replantear la expresión de la energía potencial. Y para fuerzas disipativas (por ejemplo, fricción ), se debe introducir otra función junto con L.
Una o más de las partículas pueden estar sujetas a una o más restricciones holonómicas ; dicha restricción se describe mediante una ecuación de la forma f ( r , t ) = 0. Si el número de restricciones en el sistema es C , entonces cada restricción tiene una ecuación f 1 ( r , t ) = 0, f 2 ( r , t ) = 0, ..., f C ( r , t ) = 0, cada uno de los cuales podría aplicarse a cualquiera de las partículas. Si la partícula k está sujeta a la restricción i , entonces f i ( r k , t ) = 0. En cualquier instante de tiempo, las coordenadas de una partícula restringida están vinculadas entre sí y no son independientes. Las ecuaciones de restricción determinan los caminos permitidos por los que pueden moverse las partículas, pero no dónde están ni qué tan rápido van en cada instante de tiempo. Las restricciones no holonómicas dependen de las velocidades de las partículas, las aceleraciones o las derivadas de posición superiores. La mecánica lagrangiana sólo puede aplicarse a sistemas cuyas restricciones, si las hay, sean todas holonómicas . Tres ejemplos de restricciones no holonómicas son: [7] cuando las ecuaciones de restricción no son integrables, cuando las restricciones tienen desigualdades o con fuerzas complicadas no conservativas como la fricción. Las restricciones no holonómicas requieren un tratamiento especial y es posible que haya que volver a la mecánica newtoniana o utilizar otros métodos.
Si T o V o ambos dependen explícitamente del tiempo debido a restricciones que varían en el tiempo o influencias externas, el lagrangiano L ( r 1 , r 2 , ... v 1 , v 2 , ... t ) depende explícitamente del tiempo . Si ni la energía potencial ni la cinética dependen del tiempo, entonces el Lagrangiano L ( r 1 , r 2 ,... v 1 , v 2 ,...) es explícitamente independiente del tiempo . En cualquier caso, el lagrangiano siempre tiene una dependencia temporal implícita a través de las coordenadas generalizadas.
Con estas definiciones, las ecuaciones de Lagrange del primer tipo son [8]
donde k = 1, 2, ..., N etiqueta las partículas, hay un multiplicador de Lagrange λ i para cada ecuación de restricción f i , y cada uno es una abreviatura de un vector de derivadas parciales ∂/∂ con respecto a las variables indicadas ( no es una derivada con respecto al vector completo). [nb 1] Cada sobrepunto es una abreviatura de una derivada temporal . Este procedimiento aumenta el número de ecuaciones a resolver en comparación con las leyes de Newton, de 3 N a 3 N + C , porque hay 3 N ecuaciones diferenciales de segundo orden acopladas en las coordenadas de posición y multiplicadores, además de ecuaciones de restricción de C. Sin embargo, cuando se resuelven junto con las coordenadas de posición de las partículas, los multiplicadores pueden proporcionar información sobre las fuerzas restrictivas. No es necesario eliminar las coordenadas resolviendo las ecuaciones de restricción.
En el lagrangiano, las coordenadas de posición y los componentes de la velocidad son todas variables independientes , y las derivadas del lagrangiano se toman con respecto a éstas por separado de acuerdo con las reglas de diferenciación habituales (por ejemplo, la derivada parcial de L con respecto al componente de velocidad z de la partícula 2 , definido por v z ,2 = dz 2 / dt , es simplemente ∂ L /∂ v z ,2 ; no es necesario utilizar reglas de cadena incómodas ni derivadas totales para relacionar el componente de velocidad con la coordenada correspondiente z 2 ).
En cada ecuación de restricción, una coordenada es redundante porque se determina a partir de las otras coordenadas. Por tanto, el número de coordenadas independientes es n = 3 N − C . Podemos transformar cada vector de posición en un conjunto común de n coordenadas generalizadas , convenientemente escritas como una n -tupla q = ( q 1 , q 2 , ... q n ) , expresando cada vector de posición y, por tanto, las coordenadas de posición, como funciones de las coordenadas generalizadas y el tiempo:
El vector q es un punto en el espacio de configuración del sistema. Las derivadas temporales de las coordenadas generalizadas se denominan velocidades generalizadas, y para cada partícula la transformación de su vector velocidad, la derivada total de su posición con respecto al tiempo, es
Dado esto v k , la energía cinética en coordenadas generalizadas depende de las velocidades generalizadas, las coordenadas generalizadas y el tiempo si los vectores de posición dependen explícitamente del tiempo debido a restricciones que varían en el tiempo, entonces
Con estas definiciones, las ecuaciones de Euler-Lagrange , o ecuaciones de Lagrange de segundo tipo [9] [10]
Son resultados matemáticos del cálculo de variaciones , que también se pueden utilizar en mecánica. Sustituyendo en el lagrangiano L ( q , d q /d t , t ) se obtienen las ecuaciones de movimiento del sistema. El número de ecuaciones ha disminuido en comparación con la mecánica newtoniana, de 3 N an = 3 N - C ecuaciones diferenciales de segundo orden acopladas en las coordenadas generalizadas. Estas ecuaciones no incluyen fuerzas restrictivas en absoluto, sólo se deben tener en cuenta las fuerzas no restrictivas.
Aunque las ecuaciones de movimiento incluyen derivadas parciales , los resultados de las derivadas parciales siguen siendo ecuaciones diferenciales ordinarias en las coordenadas de posición de las partículas. La derivada del tiempo total denotada d/d t a menudo implica una diferenciación implícita . Ambas ecuaciones son lineales en el lagrangiano, pero generalmente son ecuaciones acopladas no lineales en las coordenadas.
Para simplificar, las leyes de Newton se pueden ilustrar para una partícula sin mucha pérdida de generalidad (para un sistema de N partículas, todas estas ecuaciones se aplican a cada partícula del sistema). La ecuación de movimiento de una partícula de masa constante m es la segunda ley de Newton de 1687, en notación vectorial moderna, donde a es su aceleración y F la fuerza resultante que actúa sobre ella. Cuando la masa varía, es necesario generalizar la ecuación para tomar la derivada del momento en el tiempo. En tres dimensiones espaciales, este es un sistema de tres ecuaciones diferenciales ordinarias de segundo orden acopladas para resolver, ya que hay tres componentes en esta ecuación vectorial. La solución es el vector de posición r de la partícula en el tiempo t , sujeto a las condiciones iniciales de r y v cuando t = 0.
Las leyes de Newton son fáciles de usar en coordenadas cartesianas, pero las coordenadas cartesianas no siempre son convenientes y, para otros sistemas de coordenadas, las ecuaciones de movimiento pueden volverse complicadas. En un conjunto de coordenadas curvilíneas ξ = ( ξ 1 , ξ 2 , ξ 3 ), la ley en notación de índice tensorial es la "forma lagrangiana" [11] [12] donde F a es el a -ésimo componente contravariante de la resultante La fuerza que actúa sobre la partícula, Γ a bc son los símbolos de Christoffel del segundo tipo, es la energía cinética de la partícula y g bc las componentes covariantes del tensor métrico del sistema de coordenadas curvilíneo. Todos los índices a , b , c , toman cada uno los valores 1, 2, 3. Las coordenadas curvilíneas no son lo mismo que las coordenadas generalizadas.
Puede parecer una complicación excesiva formular la ley de Newton de esta forma, pero tiene sus ventajas. Los componentes de la aceleración en términos de los símbolos de Christoffel se pueden evitar evaluando en su lugar las derivadas de la energía cinética. Si no hay ninguna fuerza resultante que actúe sobre la partícula, F = 0 , ésta no acelera, sino que se mueve con velocidad constante en línea recta. Matemáticamente, las soluciones de la ecuación diferencial son las geodésicas , las curvas de longitud extrema entre dos puntos en el espacio (éstas pueden llegar a ser mínimas, es decir los caminos más cortos, pero no necesariamente). En el espacio real plano 3D, las geodésicas son simplemente líneas rectas. Entonces, para una partícula libre, la segunda ley de Newton coincide con la ecuación geodésica y establece que las partículas libres siguen geodésicas, las trayectorias extremas por las que pueden moverse. Si la partícula está sujeta a fuerzas F ≠ 0 , la partícula acelera debido a las fuerzas que actúan sobre ella y se desvía de las geodésicas que seguiría si estuviera libre. Con extensiones apropiadas de las cantidades dadas aquí en el espacio plano 3D al espaciotiempo curvo 4D , la forma anterior de la ley de Newton también se traslada a la relatividad general de Einstein , en cuyo caso las partículas libres siguen geodésicas en el espaciotiempo curvo que ya no son "líneas rectas". " en el sentido ordinario. [13]
Sin embargo, todavía necesitamos conocer la fuerza resultante total F que actúa sobre la partícula, lo que a su vez requiere la fuerza resultante no restrictiva N más la fuerza restrictiva resultante C.
Las fuerzas de restricción pueden resultar complicadas, ya que generalmente dependen del tiempo. Además, si hay restricciones, las coordenadas curvilíneas no son independientes sino que están relacionadas por una o más ecuaciones de restricción.
Las fuerzas restrictivas pueden eliminarse de las ecuaciones de movimiento, de modo que solo queden las fuerzas no restrictivas, o incluirse incluyendo las ecuaciones restrictivas en las ecuaciones de movimiento.
Un resultado fundamental en la mecánica analítica es el principio de D'Alembert , introducido en 1708 por Jacques Bernoulli para comprender el equilibrio estático , y desarrollado por D'Alembert en 1743 para resolver problemas dinámicos. [14] El principio afirma que para N partículas el trabajo virtual, es decir, el trabajo a lo largo de un desplazamiento virtual, δ r k , es cero: [6]
Los desplazamientos virtuales , δ r k , son por definición cambios infinitesimales en la configuración del sistema consistentes con las fuerzas restrictivas que actúan sobre el sistema en un instante de tiempo , [15] es decir, de tal manera que las fuerzas restrictivas mantienen el movimiento restringido. . No son lo mismo que los desplazamientos reales en el sistema, que son causados por las fuerzas resultantes, restrictivas y no restrictivas, que actúan sobre la partícula para acelerarla y moverla. [nb 2] El trabajo virtual es el trabajo realizado a lo largo de un desplazamiento virtual para cualquier fuerza (con o sin restricción).
Dado que las fuerzas restrictivas actúan perpendicularmente al movimiento de cada partícula en el sistema para mantener las restricciones, el trabajo virtual total de las fuerzas restrictivas que actúan sobre el sistema es cero: [16] [nb 3] de modo que
Así, el principio de D'Alembert nos permite concentrarnos sólo en las fuerzas aplicadas no restrictivas y excluir las fuerzas restrictivas en las ecuaciones de movimiento. [17] [18] La forma mostrada también es independiente de la elección de las coordenadas. Sin embargo, no se puede utilizar fácilmente para establecer las ecuaciones de movimiento en un sistema de coordenadas arbitrario, ya que los desplazamientos δ r k podrían estar conectados por una ecuación de restricción, lo que nos impide establecer los N sumandos individuales en 0. Por lo tanto, buscaremos una sistema de coordenadas mutuamente independientes para el cual la suma total será 0 si y solo si los sumandos individuales son 0. Establecer cada uno de los sumandos en 0 eventualmente nos dará nuestras ecuaciones de movimiento separadas.
Si hay restricciones sobre la partícula k , entonces dado que las coordenadas de la posición r k = ( x k , y k , z k ) están unidas por una ecuación de restricción, también lo están las de los desplazamientos virtuales δ r k = ( δx k , δyk , δzk ) . Dado que las coordenadas generalizadas son independientes, podemos evitar las complicaciones con δ r k convirtiendo a desplazamientos virtuales en las coordenadas generalizadas. Estos están relacionados de la misma forma que un diferencial total , [6]
No existe una derivada temporal parcial con respecto al tiempo multiplicado por un incremento de tiempo, ya que se trata de un desplazamiento virtual, uno a lo largo de las restricciones en un instante de tiempo.
El primer término en el principio de D'Alembert anterior es el trabajo virtual realizado por las fuerzas no restrictivas N k a lo largo de los desplazamientos virtuales δ r k , y puede convertirse sin pérdida de generalidad en análogos generalizados mediante la definición de fuerzas generalizadas de modo que
Esta es la mitad de la conversión a coordenadas generalizadas. Queda por convertir el término de aceleración en coordenadas generalizadas, lo cual no es inmediatamente obvio. Recordando la forma de Lagrange de la segunda ley de Newton, se pueden encontrar las derivadas parciales de la energía cinética con respecto a las coordenadas y velocidades generalizadas para dar el resultado deseado: [6]
Ahora bien, el principio de D'Alembert está en las coordenadas generalizadas según sea necesario, y dado que estos desplazamientos virtuales δq j son independientes y distintos de cero, los coeficientes pueden equipararse a cero, lo que da como resultado las ecuaciones de Lagrange [19] [20] o las ecuaciones generalizadas de movimiento , [21]
Estas ecuaciones son equivalentes a las leyes de Newton para las fuerzas sin restricciones . Las fuerzas generalizadas en esta ecuación se derivan únicamente de las fuerzas no restrictivas; las fuerzas restrictivas han sido excluidas del principio de D'Alembert y no es necesario encontrarlas. Las fuerzas generalizadas pueden ser no conservadoras, siempre que satisfagan el principio de D'Alembert. [22]
Para una fuerza no conservativa que depende de la velocidad, es posible encontrar una función de energía potencial V que dependa de las posiciones y velocidades. Si las fuerzas generalizadas Q i pueden derivarse de un potencial V tal que [24] [25] equiparando las ecuaciones de Lagrange y definiendo el lagrangiano como L = T − V se obtienen las ecuaciones de Lagrange de segundo tipo o las ecuaciones de movimiento de Euler-Lagrange
Sin embargo, las ecuaciones de Euler-Lagrange sólo pueden explicar fuerzas no conservativas si se puede encontrar un potencial como se muestra. Puede que esto no siempre sea posible para fuerzas no conservativas, y las ecuaciones de Lagrange no implican ningún potencial, sólo fuerzas generalizadas; por tanto, son más generales que las ecuaciones de Euler-Lagrange.
Las ecuaciones de Euler-Lagrange también se derivan del cálculo de variaciones . La variación del Lagrangiano es la que tiene una forma similar al diferencial total de L , pero los desplazamientos virtuales y sus derivadas temporales reemplazan a los diferenciales, y no hay incremento de tiempo de acuerdo con la definición de los desplazamientos virtuales. Una integración por partes con respecto al tiempo puede transferir la derivada temporal de δq j al ∂ L /∂(d q j /d t ), intercambiando en el proceso d( δq j )/d t por δq j , permitiendo la integración independiente desplazamientos virtuales que se factorizarán a partir de las derivadas del lagrangiano,
Ahora bien, si la condición δq j ( t 1 ) = δq j ( t 2 ) = 0 se cumple para todo j , los términos no integrados son cero. Si además toda la integral de tiempo de δL es cero, entonces debido a que δq j son independientes, y la única manera de que una integral definida sea cero es si el integrando es igual a cero, cada uno de los coeficientes de δq j también debe ser cero. Luego obtenemos las ecuaciones de movimiento. Esto se puede resumir en el principio de Hamilton :
La integral de tiempo del Lagrangiano es otra cantidad llamada acción , definida como [26] que es funcional ; toma la función lagrangiana para todos los tiempos entre t 1 y t 2 y devuelve un valor escalar. Sus dimensiones son las mismas que [ momento angular ], [energía]·[tiempo] o [longitud]·[momento]. Con esta definición el principio de Hamilton es
En lugar de pensar en partículas que se aceleran en respuesta a fuerzas aplicadas, se podría pensar en ellas seleccionando el camino con una acción estacionaria, con los puntos finales del camino en el espacio de configuración mantenidos fijos en los tiempos inicial y final. El principio de Hamilton es uno de varios principios de acción . [27]
Históricamente, la idea de encontrar el camino más corto que puede seguir una partícula sometida a una fuerza motivó las primeras aplicaciones del cálculo de variaciones a problemas mecánicos, como el problema de la Braquistocrona resuelto por Jean Bernoulli en 1696, así como por Leibniz , Daniel Bernoulli , L'Hôpital por la misma época y Newton al año siguiente. [28] El propio Newton estaba pensando en la línea del cálculo variacional, pero no lo publicó. [28] Estas ideas, a su vez, conducen a los principios variacionales de la mecánica, de Fermat , Maupertuis , Euler , Hamilton y otros.
El principio de Hamilton se puede aplicar a restricciones no holonómicas si las ecuaciones de restricción se pueden expresar en una forma determinada, una combinación lineal de diferenciales de primer orden en las coordenadas. La ecuación de restricción resultante se puede reorganizar en una ecuación diferencial de primer orden. [29] Esto no se dará aquí.
La L lagrangiana se puede variar en las coordenadas cartesianas r k , para N partículas,
El principio de Hamilton sigue siendo válido incluso si las coordenadas en las que se expresa L no son independientes, aquí r k , pero aún se supone que las restricciones son holonómicas. [30] Como siempre, los puntos finales son fijos δ r k ( t 1 ) = δ r k ( t 2 ) = 0 para todo k . Lo que no se puede hacer es simplemente igualar los coeficientes de δ r k a cero porque los δ r k no son independientes. En cambio, se puede utilizar el método de los multiplicadores de Lagrange para incluir las restricciones. Multiplicando cada ecuación de restricción f i ( r k , t ) = 0 por un multiplicador de Lagrange λ i para i = 1, 2, ..., C y sumando los resultados al lagrangiano original, se obtiene el nuevo lagrangiano
Los multiplicadores de Lagrange son funciones arbitrarias del tiempo t , pero no funciones de las coordenadas r k , por lo que los multiplicadores están en pie de igualdad con las coordenadas de posición. Variar este nuevo Lagrangiano e integrarlo con respecto al tiempo da
Los multiplicadores introducidos se pueden encontrar de modo que los coeficientes de δ r k sean cero, aunque los r k no sean independientes. A continuación se presentan las ecuaciones de movimiento. Del análisis anterior obtener la solución de esta integral equivale a afirmar cuáles son las ecuaciones de Lagrange de primer tipo . Además, las ecuaciones λ i Euler-Lagrange para el nuevo lagrangiano devuelven las ecuaciones de restricción
Para el caso de una fuerza conservativa dada por el gradiente de cierta energía potencial V , una función de las coordenadas rk únicamente, sustituyendo el lagrangiano L = T − V se obtiene e identificando las derivadas de la energía cinética como la (negativa de) resultante fuerza, y las derivadas del potencial que igualan la fuerza sin restricción, se deduce que las fuerzas con restricción están dando las fuerzas con restricción explícitamente en términos de las ecuaciones con restricción y los multiplicadores de Lagrange.
El Lagrangiano de un sistema dado no es único. Un L lagrangiano puede multiplicarse por una constante a distinta de cero y desplazarse por una constante b arbitraria , y el nuevo L ′ = aL + b describirá el mismo movimiento que L. Si uno se restringe como arriba a trayectorias q sobre un intervalo de tiempo dado [ t st , t fin ] } y puntos finales fijos P st = q ( t st ) y P fin = q ( t fin ) , entonces dos lagrangianos describen el mismo sistema puede diferir por la "derivada del tiempo total" de una función f ( q , t ) : [31] donde significa
Ambos lagrangianos L y L ′ producen las mismas ecuaciones de movimiento [32] [33] ya que las acciones correspondientes S y S ′ están relacionadas con los dos últimos componentes f ( P fin , t fin ) y f ( P st , t st ) independiente de q .
Dado un conjunto de coordenadas generalizadas q , si cambiamos estas variables a un nuevo conjunto de coordenadas generalizadas Q según una transformación puntual Q = Q ( q , t ) que es invertible como q = q ( Q , t ) , el nuevo lagrangiano L ′ es función de las nuevas coordenadas y según la regla de la cadena para la diferenciación parcial, las ecuaciones de Lagrange son invariantes bajo esta transformación; [34]
Esto puede simplificar las ecuaciones de movimiento.
Para una transformación de coordenadas , tenemos que implica aquello que implica aquello .
También se sigue que: y de manera similar: que implican que . Las dos relaciones derivadas se pueden emplear en la prueba.
Partiendo de las ecuaciones de Euler Lagrange en el conjunto inicial de coordenadas generalizadas, tenemos:
Dado que la transformación de es invertible, se deduce que la forma de la ecuación de Euler-Lagrange es invariante, es decir,
Una propiedad importante del lagrangiano es que a partir de él se pueden leer fácilmente cantidades conservadas . El impulso generalizado "canónicamente conjugado con" la coordenada q i se define por
Si la L lagrangiana no depende de alguna coordenada q i , se deduce inmediatamente de las ecuaciones de Euler-Lagrange que e integrando muestra que el momento generalizado correspondiente es igual a una cantidad constante, una cantidad conservada . Este es un caso especial del teorema de Noether . Estas coordenadas se denominan "cíclicas" o "ignorables".
Por ejemplo, un sistema puede tener un lagrangiano donde r y z son longitudes a lo largo de líneas rectas, s es una longitud de arco a lo largo de alguna curva y θ y φ son ángulos. Observe que z , s y φ están ausentes en el lagrangiano aunque sus velocidades no lo estén. Entonces los momentos son todos cantidades conservadas. Las unidades y naturaleza de cada impulso generalizado dependerán de la coordenada correspondiente; en este caso p z es un momento de traslación en la dirección z , p s también es un momento de traslación a lo largo de la curva s medida, y p φ es un momento angular en el plano en el que se mide el ángulo φ . Por complicado que sea el movimiento de Como está el sistema, todas las coordenadas y velocidades variarán de tal manera que estos momentos se conserven.
Dado un lagrangiano, el hamiltoniano del sistema mecánico correspondiente es, por definición, esta cantidad será equivalente a energía si las coordenadas generalizadas son coordenadas naturales, es decir, no tienen una dependencia temporal explícita al expresar el vector de posición: . De: donde se encuentra una matriz simétrica que se define para la derivación.
En cada instante de tiempo t , la energía es invariante bajo cambios de configuración de coordenadas espaciales q → Q , es decir (usando coordenadas naturales). Además de este resultado, la siguiente prueba muestra que, bajo tal cambio de coordenadas, las derivadas cambian como coeficientes de forma lineal. .
Para una transformación de coordenadas Q = F ( q ) , tenemos donde está la aplicación tangente del espacio vectorial al espacio vectorial y es el jacobiano. En las coordenadas y la fórmula anterior tiene la forma Después de la diferenciación que involucra la regla del producto, donde
En notación vectorial,
Por otro lado,
Se mencionó anteriormente que los lagrangianos no dependen de la elección de las coordenadas espaciales de configuración, es decir, una implicación de esto es que y. Esto demuestra que, para cada y, es una forma lineal bien definida cuyos coeficientes son 1-tensores contravariantes. Aplicando ambos lados de la ecuación y usando la fórmula anterior para obtener resultados, se obtiene la invariancia de la energía .
En la mecánica lagrangiana, el sistema es cerrado si y sólo si su lagrangiano no depende explícitamente del tiempo. La ley de conservación de la energía establece que la energía de un sistema cerrado es una integral del movimiento .
Más precisamente, sea q = q ( t ) un extremo . (En otras palabras, q satisface las ecuaciones de Euler-Lagrange). Tomando la derivada temporal total de L a lo largo de este extremo y usando las ecuaciones EL se obtiene
Si el lagrangiano L no depende explícitamente del tiempo, entonces ∂ L /∂ t = 0 , entonces H no varía con el tiempo, la evolución de la partícula, de hecho, es una integral del movimiento, lo que significa que , por lo tanto, si las coordenadas elegidas fueran coordenadas naturales, la energía se conserva.
En todas estas circunstancias, [35] la constante es la energía total del sistema. Las energías cinética y potencial todavía cambian a medida que el sistema evoluciona, pero el movimiento del sistema será tal que su suma, la energía total, sea constante. Esta es una simplificación valiosa, ya que la energía E es una constante de integración que cuenta como una constante arbitraria para el problema, y puede ser posible integrar las velocidades de esta relación de energía para resolver las coordenadas.
Si la energía potencial es una función homogénea de las coordenadas e independiente del tiempo, [36] y todos los vectores de posición están escalados por la misma constante distinta de cero α , r k ′ = α r k , de modo que y el tiempo está escalado por un factor β , t ′ = βt , entonces las velocidades v k se escalan por un factor de α / β y la energía cinética T por ( α / β ) 2 . Todo el Lagrangiano ha sido escalado por el mismo factor si
Dado que las longitudes y los tiempos han sido escalados, las trayectorias de las partículas en el sistema siguen trayectorias geométricamente similares que difieren en tamaño. La longitud l recorrida en el tiempo t en la trayectoria original corresponde a una nueva longitud l ′ recorrida en el tiempo t ′ en la nueva trayectoria, dada por las razones
Para un sistema dado, si dos subsistemas A y B no interactúan, el lagrangiano L del sistema general es la suma de los lagrangianos L A y LB para los subsistemas: [31]
Si interactúan, esto no es posible. En algunas situaciones, puede ser posible separar el lagrangiano del sistema L en la suma de los lagrangianos que no interactúan, más otro lagrangiano L AB que contenga información sobre la interacción,
Esto puede estar motivado físicamente al tomar los lagrangianos que no interactúan como energías cinéticas únicamente, mientras que el lagrangiano de interacción es la energía potencial total del sistema. Además, en el caso límite de interacción insignificante, LA AB tiende a cero reduciéndose al caso anterior de no interacción.
La extensión a más de dos subsistemas que no interactúan es sencilla: el lagrangiano general es la suma de los lagrangianos separados para cada subsistema. Si hay interacciones, entonces se pueden agregar interacciones lagrangianas.
De las ecuaciones de Euler-Lagrange se deduce que:
donde la matriz se define como . Si la matriz no es singular, las ecuaciones anteriores se pueden resolver para representarlas en función de . Si la matriz no es invertible, no sería posible representar todos los s en función de pero, además, las ecuaciones de movimiento hamiltonianas no tomarán la forma estándar. [37]
Los siguientes ejemplos aplican las ecuaciones de Lagrange del segundo tipo a problemas mecánicos.
Una partícula de masa m se mueve bajo la influencia de una fuerza conservativa derivada del gradiente ∇ de un potencial escalar ,
Si hay más partículas, de acuerdo con los resultados anteriores, la energía cinética total es una suma de todas las energías cinéticas de las partículas y el potencial es función de todas las coordenadas.
El lagrangiano de la partícula se puede escribir
Las ecuaciones de movimiento de la partícula se encuentran aplicando la ecuación de Euler-Lagrange , para la coordenada x con derivadas de ahí y de manera similar para las coordenadas y y z . Recogiendo las ecuaciones en forma vectorial encontramos cuál es la segunda ley del movimiento de Newton para una partícula sometida a una fuerza conservativa.
Usando las coordenadas esféricas ( r , θ , φ ) como se usan comúnmente en física (convención ISO 80000-2:2019), donde r es la distancia radial al origen, θ es el ángulo polar (también conocido como colatitud, ángulo cenital, ángulo normal , o ángulo de inclinación), y φ es el ángulo azimutal, el lagrangiano para un potencial central es Entonces, en coordenadas esféricas, las ecuaciones de Euler-Lagrange son La coordenada φ es cíclica ya que no aparece en el lagrangiano, por lo que el momento conservado en el sistema es el momento angular en el que r , θ y dφ / dt pueden variar con el tiempo, pero sólo de tal manera que p φ sea constante.
El lagrangiano en coordenadas polares bidimensionales se recupera fijando θ al valor constante π /2.
Considere un péndulo de masa m y longitud ℓ , que está sujeto a un soporte con masa M , que puede moverse a lo largo de una línea en la dirección -. Sea la coordenada a lo largo de la línea del soporte y denotemos la posición del péndulo por el ángulo con la vertical. Las coordenadas y componentes de velocidad de la masa del péndulo son
Las coordenadas generalizadas se pueden tomar como y . La energía cinética del sistema es entonces y la energía potencial es la lagrangiana.
Como x está ausente en el lagrangiano, es una coordenada cíclica. El impulso conservado es y la ecuación de Lagrange para la coordenada de soporte es
La ecuación de Lagrange para el ángulo θ es y simplificando
Estas ecuaciones pueden parecer bastante complicadas, pero encontrarlas con las leyes de Newton habría requerido identificar cuidadosamente todas las fuerzas, lo que habría sido mucho más laborioso y propenso a errores. Al considerar casos límite, se puede verificar la exactitud de este sistema: por ejemplo, se deben dar las ecuaciones de movimiento para un péndulo simple que está en reposo en algún sistema inercial , mientras que se deben dar las ecuaciones para un péndulo en un sistema en constante aceleración, etc. Además, es trivial obtener los resultados numéricamente, dadas las condiciones iniciales adecuadas y un paso de tiempo elegido, repasando los resultados de forma iterativa .
Dos cuerpos de masas m 1 y m 2 con vectores de posición r 1 y r 2 están en órbita uno alrededor del otro debido a un potencial central atractivo V . Podemos escribir el lagrangiano en términos de las coordenadas de posición tal como están, pero es un procedimiento establecido convertir el problema de dos cuerpos en un problema de un cuerpo de la siguiente manera. Introduzca las coordenadas de Jacobi ; la separación de los cuerpos r = r 2 − r 1 y la ubicación del centro de masa R = ( m 1 r 1 + m 2 r 2 )/( m 1 + m 2 ) . El lagrangiano es entonces [38] [39] [nb 4] donde M = m 1 + m 2 es la masa total, μ = m 1 m 2 /( m 1 + m 2 ) es la masa reducida y V el potencial de la fuerza radial, que depende únicamente de la magnitud de la separación | r | = | r 2 - r 1 | . El lagrangiano se divide en un término de centro de masa L cm y un término de movimiento relativo L rel .
La ecuación de Euler-Lagrange para R es simplemente la que establece que el centro de masa se mueve en línea recta a velocidad constante.
Dado que el movimiento relativo sólo depende de la magnitud de la separación, lo ideal es utilizar coordenadas polares ( r , θ ) y tomar r = | r | , entonces θ es una coordenada cíclica con el correspondiente momento (angular) conservado
La coordenada radial r y la velocidad angular d θ /d t pueden variar con el tiempo, pero solo de tal manera que ℓ sea constante. La ecuación de Lagrange para r es
Esta ecuación es idéntica a la ecuación radial obtenida usando las leyes de Newton en un sistema de referencia co-rotativo , es decir, un sistema que gira con la masa reducida de modo que parece estacionario. Eliminando la velocidad angular d θ /d t de esta ecuación radial, [40] que es la ecuación de movimiento para un problema unidimensional en el que una partícula de masa μ está sometida a la fuerza central hacia adentro −d V /d r y una segunda fuerza hacia afuera, llamada en este contexto fuerza centrífuga (lagrangiana) (ver fuerza centrífuga#Otros usos del término ):
Por supuesto, si uno permanece completamente dentro de la formulación unidimensional, ℓ entra sólo como algún parámetro impuesto de la fuerza externa hacia afuera, y su interpretación como momento angular depende del problema bidimensional más general del cual se originó el problema unidimensional. .
Si se llega a esta ecuación utilizando la mecánica newtoniana en un marco co-rotativo, la interpretación es evidente como la fuerza centrífuga en ese marco debido a la rotación del propio marco. Si uno llega a esta ecuación directamente usando las coordenadas generalizadas ( r , θ ) y simplemente siguiendo la formulación lagrangiana sin pensar en marcos en absoluto, la interpretación es que la fuerza centrífuga es una consecuencia del uso de coordenadas polares . Como dice Hildebrand: [41]
"Dado que tales cantidades no son verdaderas fuerzas físicas, a menudo se las llama fuerzas de inercia . Su presencia o ausencia depende, no del problema particular en cuestión, sino del sistema de coordenadas elegido ". En particular, si se eligen coordenadas cartesianas, la fuerza centrífuga desaparece y la formulación involucra sólo la fuerza central misma, que proporciona la fuerza centrípeta para un movimiento curvo.
Este punto de vista, de que las fuerzas ficticias se originan en la elección de las coordenadas, a menudo lo expresan los usuarios del método lagrangiano. Esta visión surge naturalmente en el enfoque lagrangiano, porque el marco de referencia se selecciona (posiblemente inconscientemente) mediante la elección de coordenadas. Por ejemplo, ver [42] para una comparación de lagrangianos en un marco de referencia inercial y no inercial. Véase también la discusión sobre las formulaciones lagrangianas "totales" y "actualizadas" en [43] Desafortunadamente, este uso de "fuerza de inercia" entra en conflicto con la idea newtoniana de una fuerza de inercia. Desde el punto de vista newtoniano, una fuerza de inercia se origina en la aceleración del sistema de observación (el hecho de que no sea un sistema de referencia inercial ), no en la elección del sistema de coordenadas. Para dejar las cosas claras, es más seguro referirse a las fuerzas de inercia lagrangianas como fuerzas de inercia generalizadas , para distinguirlas de las fuerzas de inercia vectoriales newtonianas. Es decir, uno debería evitar seguir a Hildebrand cuando dice (p. 155) " siempre tratamos con fuerzas, velocidades, aceleraciones y momentos generalizados . Para abreviar, el adjetivo "generalizado" se omitirá con frecuencia".
Se sabe que el Lagrangiano de un sistema no es único. Dentro del formalismo lagrangiano, las fuerzas ficticias newtonianas pueden identificarse por la existencia de lagrangianos alternativos en los que las fuerzas ficticias desaparecen, a veces encontradas explotando la simetría del sistema. [44]
La disipación (es decir, los sistemas no conservadores) también se puede tratar con un lagrangiano eficaz formulado mediante una cierta duplicación de los grados de libertad. [45] [46] [47] [48]
En una formulación más general, las fuerzas podrían ser tanto conservadoras como viscosas . Si se puede encontrar una transformación apropiada a partir de F i , Rayleigh sugiere usar una función de disipación , D , de la siguiente forma: [49] donde C jk son constantes que están relacionadas con los coeficientes de amortiguamiento en el sistema físico, aunque no necesariamente iguales a ellos. Si D se define de esta manera, entonces [49] y
Una partícula de prueba es una partícula cuya masa y carga se supone que son tan pequeñas que su efecto sobre el sistema externo es insignificante. A menudo es una partícula puntual hipotética simplificada sin más propiedades que la masa y la carga. Las partículas reales como los electrones y los quarks up son más complejas y tienen términos adicionales en sus lagrangianos. Los campos no sólo pueden formar potenciales no conservativos, sino que estos potenciales también pueden depender de la velocidad.
El lagrangiano para una partícula cargada con carga eléctrica q , que interactúa con un campo electromagnético , es el ejemplo prototípico de un potencial dependiente de la velocidad. El potencial escalar eléctrico ϕ = ϕ ( r , t ) y el potencial vectorial magnético A = A ( r , t ) se definen a partir del campo eléctrico E = E ( r , t ) y el campo magnético B = B ( r , t ) como sigue:
El lagrangiano de una partícula de prueba masiva cargada en un campo electromagnético se llama acoplamiento mínimo . Este es un buen ejemplo de cuando la regla general común de que el lagrangiano es la energía cinética menos la energía potencial es incorrecta. Combinado con la ecuación de Euler-Lagrange , produce la ley de fuerza de Lorentz.
Bajo transformación de calibre : donde f ( r , t ) es cualquier función escalar del espacio y el tiempo, la transformación lagrangiana antes mencionada como: que todavía produce la misma ley de fuerza de Lorentz.
Tenga en cuenta que el momento canónico (conjugado con la posición r ) es el momento cinético más una contribución del campo A (conocido como momento potencial):
Esta relación también se utiliza en la prescripción de acoplamiento mínimo en mecánica cuántica y teoría cuántica de campos . A partir de esta expresión, podemos ver que el momento canónico p no es una invariante de calibre y, por lo tanto, no es una cantidad física mensurable; Sin embargo, si r es cíclico (es decir, lagrangiano es independiente de la posición r ), lo que sucede si los campos ϕ y A son uniformes, entonces este momento canónico p dado aquí es el momento conservado, mientras que el momento cinético físico medible m v no lo es.
Las ideas de la mecánica lagrangiana tienen numerosas aplicaciones en otras áreas de la física y pueden adoptar resultados generalizados del cálculo de variaciones.
Una formulación estrechamente relacionada de la mecánica clásica es la mecánica hamiltoniana . El hamiltoniano se define y se puede obtener realizando una transformación de Legendre en el lagrangiano, que introduce nuevas variables canónicamente conjugadas con las variables originales. Por ejemplo, dado un conjunto de coordenadas generalizadas, las variables canónicamente conjugadas son los momentos generalizados. Esto duplica el número de variables, pero hace que las ecuaciones diferenciales sean de primer orden. El hamiltoniano es una cantidad particularmente ubicua en la mecánica cuántica (ver Hamiltoniano (mecánica cuántica) ).
La mecánica de Routh es una formulación híbrida de la mecánica lagrangiana y hamiltoniana, que no se utiliza con frecuencia en la práctica, pero es una formulación eficiente para coordenadas cíclicas.
Las ecuaciones de Euler-Lagrange también se pueden formular en términos de momentos generalizados en lugar de coordenadas generalizadas. Al realizar una transformación de Legendre en la coordenada generalizada Lagrangiana L ( q , d q /d t , t ) se obtienen los momentos generalizados Lagrangianos L ′( p , d p /d t , t ) en términos del Lagrangiano original, así como el EL ecuaciones en términos de momentos generalizados. Ambos lagrangianos contienen la misma información y cualquiera de ellos puede usarse para resolver el movimiento del sistema. En la práctica, las coordenadas generalizadas son más convenientes de usar e interpretar que los momentos generalizados.
No existe ninguna razón matemática para restringir las derivadas de coordenadas generalizadas únicamente al primer orden. Es posible derivar ecuaciones EL modificadas para un lagrangiano que contenga derivadas de orden superior; consulte la ecuación de Euler-Lagrange para obtener más detalles. Sin embargo, desde el punto de vista físico existe un obstáculo para incluir derivadas temporales superiores al primer orden, lo que está implícito en la construcción de Ostrogradsky de un formalismo canónico para lagrangianos de derivadas superiores no degenerados, ver Inestabilidad de Ostrogradsky.
La mecánica lagrangiana se puede aplicar a la óptica geométrica , aplicando principios variacionales a los rayos de luz en un medio, y resolviendo las ecuaciones EL se obtienen las ecuaciones de las trayectorias que siguen los rayos de luz.
La mecánica lagrangiana se puede formular en relatividad especial y relatividad general . Algunas características de la mecánica lagrangiana se conservan en las teorías relativistas, pero rápidamente aparecen dificultades en otros aspectos. En particular, las ecuaciones EL toman la misma forma y la conexión entre coordenadas cíclicas y momentos conservados todavía se aplica; sin embargo, el lagrangiano debe modificarse y no es simplemente la energía cinética menos la energía potencial de una partícula. Además, no es sencillo manejar sistemas multipartículas de forma manifiestamente covariante ; puede ser posible si se selecciona un marco de referencia particular.
En la mecánica cuántica , la acción y la fase mecánico-cuántica están relacionadas a través de la constante de Planck , y el principio de acción estacionaria puede entenderse en términos de interferencia constructiva de funciones de onda .
En 1948, Feynman descubrió la formulación de integral de trayectoria extendiendo el principio de mínima acción a la mecánica cuántica para electrones y fotones . En esta formulación, las partículas recorren todos los caminos posibles entre los estados inicial y final; la probabilidad de un estado final específico se obtiene sumando todas las trayectorias posibles que conducen a él. En el régimen clásico, la formulación integral de trayectoria reproduce claramente el principio de Hamilton y el principio de Fermat en óptica .
En la mecánica lagrangiana, las coordenadas generalizadas forman un conjunto discreto de variables que definen la configuración de un sistema. En la teoría de campos clásica , el sistema físico no es un conjunto de partículas discretas, sino más bien un campo continuo ϕ ( r , t ) definido sobre una región del espacio 3D. Asociada con el campo hay una densidad lagrangiana definida en términos del campo y sus derivadas espaciales y temporales en una ubicación r y en el tiempo t . De manera análoga al caso de las partículas, para aplicaciones no relativistas, la densidad lagrangiana es también la densidad de energía cinética del campo, menos su densidad de energía potencial (esto no es cierto en general, y la densidad lagrangiana tiene que ser "ingeniería inversa"). El Lagrangiano es entonces la integral de volumen de la densidad Lagrangiana sobre el espacio 3D donde d 3 r es un elemento de volumen diferencial 3D . El lagrangiano es una función del tiempo ya que la densidad lagrangiana tiene una dependencia espacial implícita a través de los campos, y puede tener una dependencia espacial explícita, pero éstas se eliminan en la integral, dejando solo el tiempo como variable para el lagrangiano.
El principio de acción y el formalismo lagrangiano están estrechamente vinculados al teorema de Noether , que conecta cantidades físicas conservadas con simetrías continuas de un sistema físico.
Si el lagrangiano es invariante bajo una simetría, entonces las ecuaciones de movimiento resultantes también son invariantes bajo esa simetría. Esta característica es muy útil para mostrar que las teorías son consistentes con la relatividad especial o la relatividad general .