Ecuaciones de Euler-Lagrange

Las ecuaciones de Euler-Lagrange son las condiciones bajo las cuales cierto tipo de
problema variacional alcanza un extremo. Aparecen sobre todo en el contexto de
la mecnica clsica en relacin con el principio de mnima accin aunque tambin
aparecen en teora clsica de campos (electromagnetismo, Teora general de la
relatividad).
ndice
[ocultar]

1Ecuaciones de Euler-Lagrange en fsica

o

1.1Caso discreto

1.2Caso continuo

1.3Mecnica lagrangiana de la partcula

1.4Teora de campos

1.5Aplicaciones en mecnica cuntica

1.6Sntesis de aplicaciones en fsica

2Ecuaciones de Euler-Lagrange en geometra

3Referencias
o

3.1Bibliografa
4Vase tambin

Ecuaciones de Euler-Lagrange en fsica[editar]

Artculo principal: Accin (fsica)

Caso discreto[editar]
En mecnica clsica, estas ecuaciones establecen que la integral de accin para un
sistema fsico es un mnimo. Los sistemas de partculas o sistemas discretos tienen un
nmero finito de grados de libertad, y en esos casos la integral de accin es del tipo:

Y su correspondiente variacin viene dada por:

Si se impone ahora que

para variaciones "cercanas", esto implica que:

donde L es el lagrangiano para el sistema, y

sistema.

son las coordenadas generalizadas del

Caso continuo[editar]
La formalizacin de ciertos problemas fsicos requiere construir una integral de accin
sobre un continuum o sistema que no puede ser tratado mediante un nmero finito de
variables o grados de libertad. As en teora de campos y mecnica de medios continuosla
accin fsica puede expresarse como una integral sobre un volumen:

Donde
es el elemento de volumen que usualmente viene dado por una nforma y
representan las variables del campo y sus derivadas respecto a las
coordenadas espaciales (o espacio-temporales). Cuando la accin toma esa forma las
ecuaciones de Euler-Lagrange para el campo que minimiza la anterior integral, usando
el convenio de sumacin de Einstein, vienen dadas por:

Mecnica lagrangiana de la partcula[editar]

Un ejemplo de problema mecnica simple es el de una partcula sometida a un campo de
fuerzas conservativo, en ese caso su trayectoria puede ser encontrada mediante las
ecuaciones de Euler-Lagrange aplicadas al lagrangiano:

La funcin lagrangiana anterior usa coordenadas cartesianas, aunque segn el tipo de

problema tambin puede escribirse un lagrangiano en en trminos de cualquier tipo
de coordenadas generalizadas:

Las ecuaciones de Euler-Lagrange para el caso de las coordenadas cartesianas se

reducen a la segunda ley de Newton para la partcula:

Teora de campos[editar]
La teora clsica de campos es un buen ejemplo del caso multidimensional anteriormente
descrito. As por ejemplo las ecuaciones de Maxwell no son otra cosa que las ecuaciones
de Euler-Lagrange aplicadas al "lagrangiano" de Maxwell. La densidad lagrangiana de
Maxwell viene dada por:

(*)
Donde el primer trmino es el lagrangiano de interaccin y el segundo el lagrangiano
del campo electromagntico libre y adems:
, son los campos elctrico y magntico.
, son la densidad de carga elctrica y la densidad de corriente asociada a las
cargas que interactan con el campo.

, son el potencial elctrico y el potencial vectorial del campo.

Considerando aqu el campo descrito por los
potenciales
, los campos elctrico y
magntico son expresables en trminos de sus derivadas:

Todos estos trminos substituidos en la ecuacin de Euler-Lagrange (*) nos

lleva a las ecuaciones de Maxwell. Si a la densidad lagrangiana anterior le
agregamos, la densidad lagrangiana de la materia en interaccin con el campo
electromagntico viene dado por:

Cuando esta parte se tiene en cuenta tambin se recupera la expresin para

la fuerza de Lorentz.

Aplicaciones en mecnica cuntica[editar]

Un artculo influyente, para la introduccin del formalismo lagrangiano en
la mecnica cuntica, fue el de Paul Dirac de 1932. El artculo titulado El
lagrangiano en Mecnica Cuntica comienza de la siguiente manera:
La mecnica cuntica fue construida sobre la base de la analoga con el
hamiltoniano de la mecnica clsica. Esto se debe a que se encontr que la
clsica nocin de coordenadas cannicas y momentos es similar a la anloga
cuntica, como resultado del cual la totalidad de la teora clsica hamiltoniana,
la cual es justamente una estructura construida sobre esta nocin, debera ser
tomada sobre todos sus detalles en mecnica cuntica.
Ahora tenemos una formulacin alternativa para la dinmica clsica, provista
por el lagrangiano. Esto requiere trabajar en trminos de coordenadas y
velocidades en lugar de coordenadas y momentos. Las dos formulaciones
son, sin embargo, cercanamente relacionadas, pero hay razones para creer
que el lagrangiano es el ms fundamental.
En primer lugar, el mtodo lagrangiano nos permite conectar juntas todas las
ecuaciones del movimiento y expresarlas como una propiedad estacionaria de
una cierta funcin de accin. (Esta funcin de accin es justamente la integral
en el tiempo del lagrangiano). No existe un principio de accin
correspondiente en trminos de las coordenadas y momentos en la teora
hamiltoniana. En segundo lugar el mtodo lagrangiano puede fcilmente ser
expresado en forma relativista, teniendo en cuenta que la funcin de accin es
invariante relativista; mientras que el mtodo hamiltoniano es esencialmente
de forma no relativista, dado que delimita una variable de tiempo particular
como la conjugada cannica de la funcin hamiltoniana.
Por estas razones sera deseable tomar la cuestin de lo que corresponde en
la teora cuntica al mtodo lagrangiano de la teora clsica. Una pequea
consideracin muestra, sin embargo, que uno no puede esperar ser capaz de
tomar las ecuaciones clsicas de Lagrange en una forma directa. Estas
ecuaciones involucran derivadas parciales del lagrangiano respecto a las
coordenadas y velocidades y no significa poder tener tales derivadas en
mecnica cuntica.
El slo proceso de diferenciacin que puede realizarse respecto a las
variables dinmicas de la mecnica cuntica es el que forma los corchetes de
Poisson y este proceso conduce a la teora hamiltoniana.

Debemos por lo tanto mirar nuestra teora cuntica lagrangiana de una

manera indirecta. Debemos intentar tomar las ideas de la teora lagrangiana
clsica, no las ecuaciones de la teora clsica lagrangiana. 1

Sntesis de aplicaciones en fsica[editar]

Como se vio antes, es posible derivar las ecuaciones de la mecnica clsica
como las del electromagnetismo a partir del lagrangiano respectivo introducido
en las ecuaciones de Euler-Lagrange. Por ese camino, es posible ampliar el
lagrangiano de Maxwell para obtener el lagrangiano de Dirac y as obtener,
luego, la ecuacin relativista de Dirac. Tambin las ecuaciones de
Schrdinger, de Klein-Gordon y de Proca pueden obtenerse por ese mtodo.
Incluso es posible derivar las ecuaciones de Einstein, de la relatividad
generalizada, a partir del lagrangiano de Hilbert-Einstein2

Ecuaciones de Euler-Lagrange en geometra[editar]

Las ecuaciones de Euler-Lagrange pueden ser usadas para encontrar
fcilmente la ecuacin de las curvas geodsicas en una variedad de
Riemann o "espacio curvo". Para ello consideremos un conjunto de
coordenadas (x1, ...xn) sobre una regin abierta U de la variedad de
Riemann VR donde el tensor mtrico viene dado por la expresin:

Puesto que dados dos puntos cualquiera de VR las geodsicas son las
lneas de mnima longitud entre ellos podemos plantear el siguiente
problema variacional, para el cuadrado de la longitud de una curva:

La minimizacin de la expresin anterior al ser la raz una funcin

montona, es equivalente a la minimizacin de una integral de
accin donde el lagrangiano sea:

De ah que la ecuacin diferencial de las geodsicas venga dada

por:

La ecuacin anterior de hecho puede, usando la simetra del

tensor mtrico, escribirse como:

Que en trminos de los smbolos de Christoffel (de

primera o segunda especie) sencillamente como:

Donde se han definido los smbolos de Christoffel

como a partir de las derivadas del tensor mtrico y el
tensor inverso del tensor mtrico: