Ecuaciones de Euler-Lagrange usando E⃗ E→\vec{E} y B⃗ B→\vec{B} en lugar de AμAμA^\mu [duplicado]

Todos sabemos que el lagrangiano para el campo electromagnético libre está dado por

L = 1 4 F m v F m v
dónde F m v = m A v v A m es el tensor de campo electromagnético . Pero también sabemos que

ingrese la descripción de la imagen aquí

Consideremos C = 1 por simplicidad. Luego, haciendo los cálculos, el lagrangiano se puede escribir como

L = 1 2 ( | mi | 2 | B | 2 )

Aplicando Euler-Lagrange , es decir

m ( L ( m ϕ i ) ) L ϕ i = 0
dónde ϕ i es cada uno de los componentes de cada campo, encuentro
mi = 0
y
B = 0
pero no las ecuaciones de Maxwell... ¿Qué está pasando?

Podrías hacer lo mismo para, digamos, el Lagrangiano de Klein-Gordon: define F m = m ϕ , de modo que L = 1 2 F 2 . Las ecuaciones de Euler-Lagrange con respecto a F producir F = 0 , que no es equivalente a 2 ϕ = 0 . En conclusión, no puede redefinir libremente sus variables de espacio de configuración cuando usa las ecuaciones de Euler-Lagrange. Para el campo EM, con Lagrangiano L = 1 4 F 2 , las variables son A m , no mi , B . Esto es particularmente claro si escribes la acción explícitamente: es un funcional de A , no de mi , B . Minimizar con respecto a este último no tiene sentido.
¿Significa esto que A es más fundamental que mi y B ?
También se debe tener en cuenta que esta forma del tensor de intensidad de campo se basa en el uso de las ecuaciones de Maxwell, lo que significa que el Lagrangiano escrito solo se aplica a configuraciones de campo estacionarias y no se puede usar para cálculos variacionales.
Así es como funciona ahora Euler-Lagrange. Por ejemplo, considere el buen viejo L = metro X ˙ 2 / 2 V ( X ) . Si definiste y = X ˙ y considerado X y y como variables independientes, obtendrías ecuaciones triviales. Está mal, porque no son independientes.
¿No es esa la porción de campo libre? es decir, sin cargos, esas son las dinámicas correctas. Quizás estoy siendo denso aquí ... Pero no estoy de acuerdo con @AccidentalFourierTransform en que las ecuaciones EL deben escribirse en términos de algunas variables particulares. La característica más importante de la descripción lagrangiana, al menos clásicamente, es que puedes cambiar libremente las variables y aún así obtener dinámicas invariantes.
@BobakHashemi No, sin cargos, debe obtener las ecuaciones de Maxwell. El campo es libre, pero eso no significa que el campo sea cero. Y no todas las opciones de variables son válidas, mira mi ejemplo.
De mi respuesta allí: Derivando la densidad de Lagrange para el campo electromagnético , tome las expresiones de mi 2 , B 2 como funciones de ϕ , A [ecuaciones (046a)-(046b) respectivamente], reemplácelas en su densidad lagrangiana y luego use las ecuaciones de Euler-Langrange para terminar con las ecuaciones de Maxwell sin cargas ni corrientes ( ρ = 0 , j = 0 ).

Respuestas (1)

mi ( X , t ) y B ( X , t ) no son variables totalmente independientes.


No estoy familiarizado con la teoría del campo, pero tengo un ejemplo más simple con el circuito LC, una teoría del campo de dimensión cero:

H = T + V = L 2 I 2 + 1 2 C q 2 1 2 ( | B | 2 + | mi | 2 )

L = T V = L 2 q ˙ 2 1 2 C q 2 1 2 ( | B | 2 | mi | 2 )

ingrese la descripción de la imagen aquí


Cargar q es la variable dinámica. | mi | es proporcional a q , | B | es proporcional a q ˙ = I ,

no puedes tomar corriente I como independiente de q . Esta es la restricción del sistema.



Si insistes en tomar I y q como variable independiente, entonces obtienes un sistema diferente: un capacitor y un inductor por separado

ingrese la descripción de la imagen aquí

ingrese la descripción de la imagen aquí