Probar la invariancia del calibre (recordatorio)

En el libro Teoría del campo de la materia condensada , hay un ejercicio en la página 17 para comprobar que la A j -el acoplamiento es invariante de calibre A m A m m Γ , dónde Γ es una función arbitraria. Estoy un poco oxidado en esto. Tengo

A m j m d 4 X ( A m + m Γ ) j m d 4 X ,

y el segundo término debe ser cero (para ser invariante de calibre). Integrando por partes el segundo término obtengo

m ( Γ ) j m d 4 X = Γ j m | ? + Γ m j m d 4 X .

el segundo término es cero por la conservación actual, pero ¿cuál es el argumento para deshacerse del primer término? Además, ¿dónde lo evalúas?

Γ (Y a menudo j ) se requiere para desaparecer en el límite.
Sí, claro, pero ¿es esta una declaración física o una conveniencia matemática?
Físico. Viene requisito de energía finita.
¿Podría elaborar?
Son ambos. su finitud de flujo de energía-momento, flujo de momento angular y flujo de carga a través del límite del sistema (que está en el infinito aquí).

Respuestas (1)

Es habitual en la física teórica descartar los términos de contorno sin preocuparse. La razón exacta por la que puede hacer esto depende de lo que esté haciendo y, a menudo, puede ser bastante técnica desde el punto de vista matemático.

En este caso, por ejemplo, la integración se toma en todo el espacio. Ya que estás haciendo un 4 D integral, el término límite es en realidad otra integral. Puedes pensar que se integra en la "esfera en el infinito". En términos concretos, sería suficiente exigir que j m 0 en el infinito mientras Γ está ligado. ¿Por qué requerimos esto? Es razonable esperar que se mantenga si la fuente está localizada, por ejemplo. Otros argumentos podrían calcular el cargo total q = j 0 . por ejemplo si j m C 0 constante, entonces q sería infinito, que dependiendo de la situación puede ser no físico. Sin embargo, aquí hay muchos problemas técnicos (por ejemplo, hay funciones ilimitadas con integral finita). En otras configuraciones (principios de variación), puede suponer que la variación se admite de forma compacta en el intervalo de integración para aniquilar los términos de contorno, pero luego surgen otros problemas.

El resultado es: ¡tira esos términos de contorno! Casi siempre serán irrelevantes. Hay casos en los que no lo son, pero el autor seguramente lo señalará.