9.5. La función lagrangiana

En la sección anterior vimos que la evolución de cualquier sistema dinámico obedece las ecuaciones de Lagrange:

$$ \left\{ \frac{d}{dt} \left(\frac{\partial T}{\partial \dot{q}_j} \right) - \frac{\partial T}{\partial q_j} = Q_j \right\}_M $$

donde $T(\{q_j\},\{\dot q_j\},t)=\sum_i m_i\vec{r}_i(\{q_j\},\{\dot q_j\},t)^2/2$ es la función de energía cinética, $\{q_j\}$ son las denominadas variables generalizadas del sistema, y $Q_j$ se conoce como la fuerza generalizada, que se expresa, en términos de las fuerzas convencionales y las reglas de transformación de variables generalizadas a vectores coordenados, como:

$$ Q_j = \sum_i \vec{F}_i \cdot \frac{\partial \vec{r}_i}{\partial q_j} $$

A pesar de que el formalismo lagrangiano expresado por las definiciones de las secciones anterioes y coronado por este conjunto de ecuaciones, es una versión alternativa para el formalismo vectorial, su aplicación sigue siendo muy elaborada. Es cierto, como mencionamos antes, que cualquiera con las habilidades matemáticas correctas puede usar el formalismo para encontrar al menos las ecuaciones de movimiento, usando para ello un procedimiento analítico claramente definido y que no requiere de una desarrollada intuición física. Aún así, el cálculo, por ejemplo, de las fuerzas generalizadas, puede llegar a ser matemáticamente engorroso.

Existen sin embargo algunas situaciones comunes en los que el formalismo se simplica considerablemente. Considere por ejemplo el caso de sistemas dinámicos en las que las fuerzas involucradas son todas fuerzas conservativas; es decir, fuerzas que pueden obtenerse a partir de una función de energía potencial:

$$ \vec F_i(\vec{r}_i,t)=-\nabla_i U_i(\{\vec{r}_j\},t) $$

Nótese que la función $U_i$ considerada aquí solo depende de las posiciones de las partículas, y posiblemente del tiempo.

Para fuerzas de este tipo, las fuerzas generalizadas se pueden escribir en la forma:

$$ Q_j = -\sum_i \nabla_i U_i \cdot \frac{\partial \vec{r}_i}{\partial q_j} $$

que por propiedades de la regla de la cadena puede probarse es equivalente a:

$$ Q_j = -\frac{\partial U}{\partial q_j} $$

donde:

$$ U(\{\vec{r}_j\},t)=\sum U_i(\{\vec{r}_j\},t) $$

Si reemplazamos en las ecuaciones de Lagrange obtenemos una versión más compacta de esas mismas ecuaciones:

$$ \left\{ \frac{d}{dt} \left(\frac{\partial T}{\partial \dot{q}_j} \right) - \frac{\partial (T-U)}{\partial q_j} = 0\right\}_M $$

y con esto nos hemos liberado de las engorrosas fuerzas generalizadas. Pero el milagro no termina ahí.

Dado que la función de energía potencial $U$ solo depende de las coordenadas o, lo que es lo mismo de las variables generalizadas y no de sus velocidades, una condición que matemáticamente se puede escribir como

$$\partial U/\partial\dot q_j=0$$

una forma más "elegante" de escribir las ecuaciones de Lagrange en términos de la energía cinética y la función e energía potencial, sería:

$$ \left\{ \frac{d}{dt} \left(\frac{\partial (T-U)}{\partial \dot{q}_j} \right) - \frac{\partial (T-U)}{\partial q_j} = 0\right\}_M $$

Hay que mirar esta ecuación con el respeto que se merece. Si bien nuestra motivación original era encontrar una versión menos engorrosa de las ecuaciones de Lagrange y lo obtenido es producto esencialmente de realizar un par de convenientes manipulaciones matemáticas, el mensaje en esta ecuación es bastante claro: dado un sistema dinámico en el que las fuerzas aplicadas son conservativas, el funcional $T-U$ es fundamental en la descripción de su dinámica.

Y no hay que confundir este funcional con aquel otro que conocemos bastante bien en la mecánica newtoniana: $T+U$, la energía mecánica. Si bien más adelante demostraremos una sútil entre ellos, la importancia de $T-U$ en el contexto del formalismo Lagrangiano es tal que merece su propio nombre:

Definición 11.21. Función Lagrangiana. Dado un sistema dinámico con función de energía cinética $T(\{q_j\},\{\dot q_j\},t)$, en el que todas las partículas están sometidas a fuerzas conservativas que derivan de funciones de energía potencial $U_i(\{q_j\},t)$, definimos la función lagrangiana del sistema $L(\{q_j\},\{\dot q_j\},t)$ como:

$$ L\equiv T-U $$ donde $U(\{q_j\},t)=\sum U_i(\{q_j\},t)$. A la función lagrangiana la llamaremos también el Lagrangiano del sistema.

En términos del Lagrangiano las ecuaciones de Lagrange se escriben como:

\begin{equation} \label{eq:ecuaciones_euler_lagrange} \left\{ \frac{d}{dt} \left(\frac{\partial L}{\partial \dot{q}_j} \right) - \frac{\partial L}{\partial q_j} = 0\right\}_M \end{equation}

que por razones que explicaremos en una sección posterior se conocen también como las Ecuaciones de Euler-Lagrange.

Nota: No siempre hay un lagrangiano. Es importante entender que no a todos los sistemas dinámicos se les puede asociar un Lagrangiano. Es obvio que si alguna de las fuerzas aplicadas que actúan sobre las partículas no es conservativa, no podrá definirse una función de energía potencial y por tanto tampoco podrá construirs un Lagrangiano. Pero la condición es aún más compleja. De manera general las condición necesarias y suficientes para que podamos definir un Lagrangiano en un sistema dinámico son:

  1. El sistema debe estar sometido a restricciones holonómicas de modo que pueda encontrarse un conjunto de variables generalizadas independientes para describirlo.

  2. Las fuerzas generalizadas sobre el sistema deben derivar de un potencial.

9.5.1. El potencial generalizado

Si bien, en el desarrollo anterior, la condición de que las fuerzas sobre el sistema derivaran de un potencial, se restringían a las clásicas fuerzas conservativas, en el formalismo Lagrangiano es posible extender esta condición a un conjunto más amplio de fuerzas.

Si en lugar de la condición de que $Q_i=\partial U/\partial q_i$, las fuerzas generalizadas satisfacen la condición más general que:

\begin{equation} Q_j = -\frac{\partial U_\mathrm{gen}}{\partial q_j} + \frac{d}{dt}\frac{\partial U_\mathrm{gen}}{\partial \dot{q}_j} \end{equation}

también es posible escribir una función Lagrangiana. A la función $U_\mathrm{gen}$ la llamamos una función de energía potencial generalizada o en breve un potencial generalizado.

Nótese que para fuerzas de este tipo, el potencial $U_\mathrm{gen}$ puede en general depender de las velocidades generalizadas. Esto, sin embargo, no significa necesariamente que el potencial de las fuerzas reales depende de velocidades coordenadas. Aún así, esta generalización permite incluir en el formalismo lagrangiano una amplia diversidad de fuerzas que van más allá de las restrictivas fuerzas conservativas de la mecánica newtoniana original.

9.5.2. Un ejemplo: el Lagrangiano del péndulo elástico

Para ilustrar la construcción de la función Lagrangiana, volvamos a nuestro ejemplo del péndulo elástico. Para ello debemos primero demostrar que las fuerzas generalizadas $Q_i$, derivan de un potencial $U(\{q_j\})$ mediante la regla:

$$ Q_i=-\frac{\partial}{\partial q_i} U(\{q_j\}) $$

En la Sección Un ejemplo: el péndulo elástico, habíamos encontrado que las fuerzas generalizadas en el sistema tienen la forma:

\begin{eqnarray} Q_1 & = & -W(L+q_2)\sin q_1\\ Q_2 & = & W\cos q_1 - k q_2 \end{eqnarray}

Es fácil mostrar (ver Problemas al final del capítulo) que estas fuerzas derivan de una única función de energía potencial dada por:

$$ U(q_1,q_2)=-W(L+q_2)\cos q_1+\frac{kq_2^2}{2} $$

Si escribimos esta función de energía potencial en términos de las coordenadas originales (coordenadas cartesianas y la elongación del resorte), la función resulta ser muy familiar para nosotros:

$$ U(x,y)=-mgy+\frac{ke^2}{2} $$

Este resultado es más que natural, en tanto, cuando en un sistema solo intervienen fuerzas conservativas (como lo hacen en este caso la gravedad y la fuerza elástica) la función $U$ en el formalismo Lagrangiano no es distinta de la misma función en el formalismo vectorial, excepto porque la primera usa las variables generalizadas en lugar de las coordenadas cartesianas. Esta importante propiedad se puede describir matemáticamente como:

$$ U(\{q_j\},t)=U(\{\vec{r}_j(\{q_k\},t)\},t) $$

Con esto el Lagrangiano del péndulo elástico se puede escribir finalmente como :

$$ L_\mathrm{PE}=\frac{1}{2}m\left[(1+q_2)^2\dot q_1^2 +\dot q_2^2\right]-W(L+q_2)\cos q_1+\frac{kq_2^2}{2} $$

Nota: No confundir L con L. En lo sucesivo, al escribir la función lagrangiana agregaremos un sencillo subíndice que indique a qué sistema dinámico esta asociado. En el caso que vimos en esta sección hemos agregado "PE" para indicar que se trata del lagrangiano del "Péndulo Elástico". Este subíndice además nos permitirá distinguir a la importante función lagrangiana de otras cantidades física que se representan con la misma letra, por ejemplo la Longitud (en el ejemplo visto aquí), la inductancia en un circuito, etc.