stringtranslate.com

Ecuación de Euler-Lagrange

En el cálculo de variaciones y la mecánica clásica , las ecuaciones de Euler-Lagrange [1] son ​​un sistema de ecuaciones diferenciales ordinarias de segundo orden cuyas soluciones son puntos estacionarios de la función de acción dada . Las ecuaciones fueron descubiertas en la década de 1750 por el matemático suizo Leonhard Euler y el matemático italiano Joseph-Louis Lagrange .

Debido a que una función diferenciable es estacionaria en sus extremos locales , la ecuación de Euler-Lagrange es útil para resolver problemas de optimización en los que, dada una función, se busca la función que la minimiza o maximiza. Esto es análogo al teorema de Fermat en cálculo , que establece que en cualquier punto donde una función diferenciable alcanza un extremo local su derivada es cero. En mecánica lagrangiana , según el principio de acción estacionaria de Hamilton , la evolución de un sistema físico se describe mediante las soluciones de la ecuación de Euler para la acción del sistema. En este contexto, las ecuaciones de Euler suelen denominarse ecuaciones de Lagrange . En mecánica clásica , [2] es equivalente a las leyes del movimiento de Newton ; de hecho, las ecuaciones de Euler-Lagrange producirán las mismas ecuaciones que las leyes de Newton. Esto es particularmente útil al analizar sistemas cuyos vectores de fuerza son particularmente complicados. Tiene la ventaja de que toma la misma forma en cualquier sistema de coordenadas generalizadas y se adapta mejor a las generalizaciones. En la teoría clásica de campos existe una ecuación análoga para calcular la dinámica de un campo .

Historia

La ecuación de Euler-Lagrange se desarrolló en relación con sus estudios del problema de la tautocrona .

La ecuación de Euler-Lagrange fue desarrollada en la década de 1750 por Euler y Lagrange en relación con sus estudios del problema de la tautocrona , que consiste en determinar una curva en la que una partícula ponderada caerá hasta un punto fijo en un tiempo fijo, independientemente del punto de partida.

Lagrange resolvió este problema en 1755 y envió la solución a Euler. Ambos desarrollaron aún más el método de Lagrange y lo aplicaron a la mecánica , lo que condujo a la formulación de la mecánica lagrangiana . Su correspondencia finalmente condujo al cálculo de variaciones , un término acuñado por el propio Euler en 1766. [3]

Declaración

Sea un sistema dinámico real con grados de libertad. Aquí está el espacio de configuración y el lagrangiano , es decir, una función real suave tal que y es un "vector de velocidad" en -dimensional. (Para aquellos familiarizados con la geometría diferencial , es una variedad suave , y donde es el fibrado tangente de

Sea el conjunto de caminos suaves para los cuales y

La acción funcional se define mediante

Un camino es un punto estacionario si y sólo si

Aquí, es la derivada temporal de Cuando decimos punto estacionario, nos referimos a un punto estacionario de con respecto a cualquier pequeña perturbación en . Vea las pruebas a continuación para obtener detalles más rigurosos.

Derivación de la ecuación unidimensional de Euler-Lagrange

La derivación de la ecuación unidimensional de Euler-Lagrange es una de las demostraciones clásicas de las matemáticas . Se basa en el lema fundamental del cálculo de variaciones .

Deseamos encontrar una función que satisfaga las condiciones de contorno , , y que extreme la función

Suponemos que es dos veces continuamente diferenciable. [4] Se puede utilizar una suposición más débil, pero la prueba se vuelve más difícil. [ cita requerida ]

Si se extrema el sujeto funcional a las condiciones de contorno, entonces cualquier ligera perturbación que preserve los valores de contorno debe aumentar (si es un minimizador) o disminuir (si es un maximizador).

Sea el resultado de tal perturbación de , donde es pequeño y es una función diferenciable que satisface . Luego defina

Ahora deseamos calcular la derivada total de con respecto a ε .

La tercera línea se desprende del hecho de que no depende de , es decir .

Cuando , tiene un valor extremo , de modo que

El siguiente paso es utilizar la integración por partes en el segundo término del integrando, obteniendo

Utilizando las condiciones de contorno ,

Aplicando el lema fundamental del cálculo de variaciones ahora obtenemos la ecuación de Euler-Lagrange

Derivación alternativa de la ecuación unidimensional de Euler-Lagrange

Dado un funcional con las condiciones de contorno y , procedemos aproximando la curva extremal mediante una línea poligonal con segmentos y pasando al límite a medida que el número de segmentos crece arbitrariamente.

Dividamos el intervalo en segmentos iguales con puntos finales y sea . En lugar de una función suave, consideramos la línea poligonal con vértices , donde y . En consecuencia, nuestra función se convierte en una función real de variables dadas por

Los extremos de esta nueva función definida en los puntos discretos corresponden a los puntos donde

Nótese que el cambio de afecta a L no sólo en m sino también en m-1 para la derivada del tercer argumento.

Evaluando la derivada parcial se obtiene

Dividiendo la ecuación anterior por da y tomando el límite como del lado derecho de esta expresión se obtiene

El lado izquierdo de la ecuación anterior es la derivada funcional de la función . Una condición necesaria para que una función diferenciable tenga un extremo en alguna función es que su derivada funcional en esa función se anule, lo que se cumple en la última ecuación.

Ejemplo

Un ejemplo estándar [ cita requerida ] es encontrar la función de valor real y ( x ) en el intervalo [ a , b ], tal que y ( a ) = c y y ( b ) = d , para el cual la longitud de la trayectoria a lo largo de la curva trazada por y es lo más corta posible.

la función integrando es .

Las derivadas parciales de L son:

Sustituyéndolos en la ecuación de Euler-Lagrange, obtenemos

es decir, la función debe tener una primera derivada constante, y por lo tanto su gráfica es una línea recta .

Generalizaciones

Función única de una sola variable con derivadas superiores

Los valores estacionarios de la función

se puede obtener de la ecuación de Euler-Lagrange [5]

en condiciones de contorno fijas para la función misma así como para las primeras derivadas (es decir, para todos los ). Los valores de punto final de la derivada más alta permanecen flexibles.

Varias funciones de una sola variable con una sola derivada

Si el problema implica encontrar varias funciones ( ) de una sola variable independiente ( ) que definen un extremo de la función

entonces las ecuaciones de Euler-Lagrange correspondientes son [6]

Función única de varias variables con derivada única

Una generalización multidimensional surge al considerar una función sobre n variables. Si es una superficie, entonces

se extrema solo si f satisface la ecuación diferencial parcial

Cuando n = 2 y funcional es la energía funcional , esto conduce al problema de superficie mínima de la película de jabón .

Varias funciones de varias variables con derivada única

Si hay varias funciones desconocidas por determinar y varias variables tales que

El sistema de ecuaciones de Euler-Lagrange es [5]

Función única de dos variables con derivadas mayores

Si hay una única función desconocida f a determinar que depende de dos variables x 1 y x 2 y si la funcional depende de derivadas superiores de f hasta el n -ésimo orden tales que

entonces la ecuación de Euler-Lagrange es [5]

que puede representarse brevemente como:

donde son índices que abarcan el número de variables, es decir, aquí van de 1 a 2. Aquí la suma sobre los índices solo se realiza para evitar contar la misma derivada parcial varias veces, por ejemplo aparece solo una vez en la ecuación anterior.

Varias funciones de varias variables con derivadas superiores

Si hay p funciones desconocidas f i a determinar que dependen de m variables x 1 ... x m y si la funcional depende de derivadas superiores de f i hasta n -ésimo orden tales que

donde son índices que abarcan el número de variables, es decir, van de 1 a m. Entonces la ecuación de Euler-Lagrange es

donde la suma sobre la derivada evita contar varias veces la misma derivada, tal como en la subsección anterior. Esto se puede expresar de forma más compacta como

Generalización a variedades

Sea una variedad suave y sea el espacio de funciones suaves . Entonces, para funcionales de la forma

donde es el Lagrangiano, la afirmación es equivalente a la afirmación de que, para todo , cada trivialización del marco de coordenadas de un vecindario de produce las siguientes ecuaciones:

Las ecuaciones de Euler-Lagrange también se pueden escribir en forma libre de coordenadas como [7]

donde es la forma 1 de los momentos canónicos correspondiente al lagrangiano . El campo vectorial que genera las traslaciones temporales se denota por y la derivada de Lie se denota por . Se pueden utilizar gráficos locales en los que y y utilizar expresiones de coordenadas para la derivada de Lie para ver la equivalencia con expresiones de coordenadas de la ecuación de Euler Lagrange. La forma libre de coordenadas es particularmente adecuada para la interpretación geométrica de las ecuaciones de Euler Lagrange.

Véase también

Notas

  1. ^ Fox, Charles (1987). Introducción al cálculo de variaciones . Courier Dover Publications. ISBN 978-0-486-65499-7.
  2. ^ Goldstein, H. ; Poole, CP; Safko, J. (2014). Mecánica clásica (3.ª ed.). Addison Wesley.
  3. ^ Una breve biografía de Lagrange Archivado el 14 de julio de 2007 en Wayback Machine.
  4. ^ Courant y Hilbert 1953, pág. 184
  5. ^ abc Courant, R ; Hilbert, D (1953). Métodos de física matemática . Vol. I (Primera edición en inglés). Nueva York: Interscience Publishers, Inc. ISBN 978-0471504474.
  6. ^ Weinstock, R. (1952). Cálculo de variaciones con aplicaciones a la física y la ingeniería . Nueva York: McGraw-Hill.
  7. ^ José; Saletan (1998). Dinámica clásica: un enfoque contemporáneo. Cambridge University Press. ISBN 9780521636360. Recuperado el 12 de septiembre de 2023 .

Referencias