Ecuaciones de Euler-Lagrange para campos

Deriva la dinámica de campos a partir de una densidad lagrangiana local.

Contexto conceptual

En una teoría de campos, la dinámica no se asigna punto por punto mediante una fuerza externa, sino que emerge de una regla global: la configuración física hace estacionaria la $S$. La $𝓛$ resume localmente cómo contribuyen el $\phi$, la $∂_\mu \phi$ y las interacciones. Al variar la configuración completa mediante una $\delta \phi$, aparecen dos respuestas locales que deben equilibrarse. Esa condición convierte un principio global en una ecuación diferencial válida en cada $x^\mu$. El objetivo no es memorizar una forma algebraica, sino comprender cómo la arquitectura de la $𝓛$ selecciona las evoluciones permitidas y cómo el $𝓔(\phi )$ diagnostica si una configuración propuesta satisface realmente la dinámica.

🟢 Nivel esencial

La idea central es comparar dos modos en que cambia la $𝓛$. El primero corresponde a modificar directamente el $\phi$ en un punto.

El segundo aparece porque también cambian las pendientes y ritmos locales, representados por la $∂_\mu \phi$. La ecuación de Euler-Lagrange exige que ambas contribuciones se compensen después de considerar cómo la respuesta a los gradientes se propaga por el espacio-tiempo. Si no se compensan, queda un $𝓔(\phi )$ que señala que la configuración elegida no es una evolución física exacta. La $S$ funciona como un criterio global, mientras que la ecuación resultante actúa localmente. Por eso una sola $𝓛$ puede generar toda una ley de campo. Las condiciones de frontera importan: una variación admisible debe respetarlas, o el $B$ añade información que no puede descartarse. Los datos de frontera forman así parte de la definición del problema físico, no un añadido posterior.

Joseph-Louis Lagrange tenía apenas diecinueve años cuando en 1755 envió a Euler una carta con un nuevo método algebraico de variaciones; Euler, que ya había fundado el cálculo de variaciones en 1744, adoptó de inmediato la notación de Lagrange y bautizó a la nueva disciplina en su honor.

🔵 Nivel formal

Fórmulas básicas

La $S$ se construye integrando la $𝓛$ con el $d^4x$:

Acción de un campo

Se introduce una $\delta \phi$ arbitraria dentro del dominio y se calcula la $\delta S$:

Condición de estacionariedad de la acción

Ambas relaciones son el punto de partida obligatorio del principio variacional: la primera define la cantidad a extremar y la segunda formaliza cómo se perturba el campo.

Preguntas reales del alumno

¿Por qué variar todo el campo y no un punto aislado? Porque la $S$ depende de la configuración completa. La variación permite explorar direcciones posibles en el espacio de configuraciones.

¿El residuo cero garantiza una solución física única? No. El $𝓔(\phi )$ nulo garantiza que se satisface la ecuación local, pero aún hacen falta condiciones iniciales, de frontera y criterios de estabilidad.

¿Qué ocurre si el término de frontera no desaparece? El $B$ puede imponer condiciones naturales o requerir términos adicionales en la $S$.

¿Por qué importan tanto los signos? Porque el $□\phi$ depende de la firma métrica. Una mezcla de convenciones cambia la ecuación resultante.

¿Una acción estacionaria siempre es estable? No. La estabilidad requiere estudiar variaciones de orden superior, no solo la $\delta S$ de primer orden.

Síntesis final

La $𝓛$ determina la evolución porque su variación produce una condición local. La $∂𝓛/∂\phi$ y la $∂_\mu [∂𝓛/∂(∂_\mu \phi )]$ deben equilibrarse, anulando el $𝓔(\phi )$. La potencia del método reside en transformar simetrías, interacciones y geometría en ecuaciones de campo coherentes.