Energía y cantidad de movimiento como derivadas parciales de la acción sobre la capa en la teoría de campos

Según L&L, si fijamos la posición inicial de una partícula en un momento dado y consideramos la acción sobre la cáscara en función de las coordenadas y el tiempo finales, S ( q 1 , , q norte , t ) , entonces...

mi = S t

pag i = S q i

¿Existe una generalización directa de esto a la teoría de campos? ¿Algo que daría las densidades de energía y momento al diferenciar la acción en el caparazón (con respecto a... algo)?

Respuestas (2)

Sí, esto se considera, por ejemplo, en la Ref. 1. En la teoría de campos, el punto de partida es la acción fuera del caparazón. 1

(1) I [ ϕ ; t F , t i ]   :=   t i t F d t   Σ d 3 X   L ( ϕ ( X , t ) , ϕ ˙ ( X , t ) , X ϕ ( X , t ) ; X , t ) ,

dónde t i y t F indican los tiempos inicial y final, respectivamente. Ahora imponemos condiciones de contorno apropiadas (BC), por ejemplo, Dirichlet BC

(2) ϕ α ( X , t i )   =   ϕ i α ( X ) y ϕ α ( X , t F )   =   ϕ F α ( X ) .

Suponemos que para dado BC (2) existe una solución única ϕ C yo a las ecuaciones de Euler-Lagrange. OP está interesado en la acción en el caparazón (Dirichlet) definida como

(3) S [ ϕ F , t F ; ϕ i , t i ]   :=   I [ ϕ C yo ; t F , t i ] .

A continuación, defina el campo de impulso (lagrangiano)

(4) π α ( X , t )   :=   L ( ϕ ( X , t ) , ϕ ˙ ( X , t ) , X ϕ ( X , t ) ; X , t ) ϕ ˙ α ( X , t ) ,

y energía

(5) h ( t )   :=   Σ d 3 X   ( α π α ( X , t ) ϕ ˙ α ( X , t ) L ( ϕ ( X , t ) , ϕ ˙ ( X , t ) , X ϕ ( X , t ) ; X , t ) ) .

Entonces uno puede mostrar teóricamente el campo 2 eso

(6) d S d ϕ F α ( X )   =   π α ( X , t F ) , d S d ϕ i α ( X )   =   π α ( X , t i ) ,

y

(7) S t F   =   h ( t F ) , S t i   =   h ( t i ) .

Ejemplo: una densidad lagrangiana de campo libre L = 1 2 ϕ 2 lleva a

(8) S ( ϕ F , t F ; ϕ i , t i )   =   1 2 ( t F t i ) Σ d 3 X   ( ϕ F ( X ) ϕ i ( X ) ) 2 .

Referencias:

  1. MTW ; Sección 21.1 y Sección 21.2.

  2. LD Landau y EM Lifshitz, Mecánica, vol. 1, 1976; § 43.

--

1 Para acciones en mecánica de puntos, vea, por ejemplo, esta publicación de Phys.SE.

2 Para una prueba de mecánica puntual, véase, por ejemplo, Ref. 2 y mi respuesta Phys.SE aquí .

Sin embargo, ¿ hay alguna forma de obtener el impulso lineal ? Porque la gente siempre dice que la posición y el momento lineal son variables conjugadas, y aparentemente la situación no cambia en la teoría de campos. Pero ya no veo la conexión en ese caso.
La densidad de momento dentro del tensor de esfuerzo-energía-momento (y su versión integrada) no parece estar directamente relacionada con la acción en el caparazón (Dirichlet) de una manera simple, si esa es su pregunta.

¡Sí, de hecho lo hay!

En primer lugar, se cumple la ecuación normal de Hamilton-Jacobi, por lo que la energía sigue estando dada por la derivada temporal de la acción en el caparazón.

Pero el objeto local relevante que es más natural en la teoría de campos es el tensor tensión-energía-cantidad de movimiento, que contiene densidades y flujos de energía y cantidad de movimiento. La cuestión de qué variar para obtener esto quizás no esté clara al principio: la respuesta es variar la geometría de fondo sobre la que se define la teoría.

Más específicamente, se varía la métrica, que define las nociones locales de distancias y ángulos. De hecho, al final esta resulta ser la mejor forma de definir el tensor tensión-energía: es (hasta constantes) la derivada de la acción con respecto a la métrica de fondo.

Por cierto, en las teorías gravitatorias como GR, la métrica en sí misma es un campo dinámico, por lo que esta variación de la acción en el caparazón con respecto a la métrica es, por definición, cero: uno puede definir una tensión-energía de "materia" simplemente incluyendo parte de la acción, pero no existe una buena definición local de densidad de energía total y cosas relacionadas en tales teorías.

No entiendo cómo Hamilton--Jacobi llega aquí. ¿Hay alguna posibilidad de que pueda hacer que hagas un ejemplo simple?
Si interpretas las coordenadas generalizadas q i de un sistema para ser los campos, con las etiquetas i incluyendo las coordenadas espaciales X (reemplazando cualquier suma por integrales sobre X donde sea necesario), su discusión favorita de HJ permanecerá esencialmente sin cambios (excepto que es posible que deba agregar la palabra 'densidad' a la frase 'momento canónico', usar derivadas funcionales en lugar de derivadas ordinarias y realizar generalizaciones similares).
Me encantaría ilustrar con un ejemplo simple, pero no puedo pensar en una situación en la teoría de campos donde el problema pueda resolverse de una manera simple con condiciones generales iniciales y finales, y la acción se evalúe explícitamente en el shell. ¡Sería bueno ver si alguien más puede!
Sí, puedo ver perfectamente cómo las matemáticas pueden ser intratables. Sin embargo, todavía no estoy seguro de cómo escribir HJ con un campo. ¿Cómo es la ecuación HJ para el campo electromagnético en el vacío, por ejemplo?