Acción y lagrangiano de campo

Introduce la acción, la densidad lagrangiana y las ecuaciones de Euler-Lagrange para campos clásicos.

Contexto conceptual

La teoría clásica de campos describe sistemas distribuidos, no partículas aisladas. En cada punto del espaciotiempo vive un $\phi$, y su comportamiento completo no se resume con una sola coordenada. La idea variacional organiza esa complejidad mediante una cantidad local, la $L$, cuya integración sobre el $\Omega_{4}$ produce la $S$. El contenido físico aparece cuando se pregunta qué configuraciones del campo hacen estacionaria esa acción. Así, la dinámica deja de introducirse como una ecuación ad hoc y emerge de una regla común que combina propagación, potencial, interacciones y condiciones de contorno.

🟢 Nivel esencial

La $L$ es una receta local: en cada punto compara cómo cambia el $\phi$ con la contribución de la $V(\phi)$.

Esa receta no describe por sí sola toda la evolución; debe acumularse sobre el $\Omega_{4}$ para construir la $S$. La trayectoria física del campo es aquella para la que pequeñas variaciones admisibles producen una $\delta_{S}$ nula en primer orden. Esto no significa que la $S$ tenga que ser cero ni que siempre sea un mínimo. Significa que está en una configuración estacionaria. La forma precisa de la $L$ determina qué términos aparecen en la ecuación de movimiento. Por eso cambiar un potencial, una interacción o una convención métrica cambia la dinámica resultante. La física global surge de una regla local integrada y de cómo responden sus términos ante variaciones.

William Rowan Hamilton formuló este principio de estacionariedad en 1834, generalizando el principio de mínima acción que Maupertuis había propuesto en la década de 1740 y que Euler y Lagrange habían dado su forma matemática rigurosa poco después.

🔵 Nivel formal

Fórmulas básicas

La construcción matemática comienza definiendo la $S$ como integral de la $L$ sobre el $\Omega_{4}$:

Acción de un campo clásico

Esta relación convierte una cantidad local en un funcional global de toda la historia del $\phi$. Cuando el dominio es finito, la $L_media$ se obtiene dividiendo la acción por la medida espaciotemporal. Para un campo escalar real cuya dinámica depende de primeras derivadas se usa habitualmente:

Densidad lagrangiana de un campo escalar

La $partial_phi_sq$ recoge el término cinético relativista y la $V(\phi)$ contiene masa, vacíos e interacciones.

Preguntas reales del alumno

¿La acción siempre se minimiza? No. La condición correcta es estacionariedad; puede corresponder a mínimo, máximo o punto de silla.

¿Por qué integrar en tiempo y espacio? Porque el objeto dinámico es una historia completa del $\phi$ en el $\Omega_{4}$.

¿La $L$ es energía? No necesariamente. Puede contener diferencias entre términos y depende de convenciones.

¿Dos lagrangianos distintos pueden dar la misma física? Sí, si difieren por términos que no cambian las ecuaciones bajo las condiciones de borde elegidas.

¿Qué indica una $\delta_{S}$ pequeña? Que la configuración está cerca de ser estacionaria frente a las perturbaciones probadas, no que sea exacta ni estable.

Síntesis final

La $L$ codifica la física local; su integración construye la $S$. La condición de $\delta_{S}$ nula transforma esa información en ecuaciones de movimiento. El poder del método está en unir dinámica, simetrías, límites y condiciones de contorno dentro de una misma arquitectura variacional.