¿Cómo cambiará SR EM Lagrangian si encontramos una carga magnética?

Cuando introducimos el campo electromagnético en Relatividad Especial, agregamos un término de

mi C A i d X i
en lagrangiano. Cuando derivamos ecuaciones de movimiento, obtenemos el campo magnético que se define como
H = × A .

Si ahora tomamos la divergencia de ambos lados de esta definición, obtenemos automáticamente

H = 0 ,

lo que equivale a la inexistencia de cargas magnéticas.

Pero supongamos que hemos encontrado una carga magnética. ¿Qué cambiará en nuestro Lagrangiano o en la definición de campos eléctricos y magnéticos en este caso para hacer H = σ ?

En esta respuesta Phys.SE se afirma que el campo magnético obtendría un término adicional "gradiente de un potencial escalar". ¿Es este potencial escalar "a" en lugar de "el" A 0 ¿potencial?

Creo que tu primera expresión es incorrecta, ¿no debería ser así? A m j v q A m tu m = q γ ( A v ϕ ) para fuentes de partículas puntuales?
@tparker no está mal, pero el tuyo tampoco. el mio esta recién en + firma métrica, a diferencia de la suya.
¿Qué? No, no estaba hablando de la señal. γ ( A v ϕ ) no es lo mismo que A d X . Que hace " d X "¿Incluso quiere decir en un Lagrangiano?
@tparker X i es el punto en la línea universal de una partícula. La expresion A i d X i se expande como A 0 d t A d r , dónde d r v d t . Después de expandir d t en términos de d s obtendrás el γ . Mi notación es de Landau&Lifshitz vol. Yo § dieciséis .
Lo tengo. Estaba asumiendo la convención de que las letras romanas solo se ejecutan sobre índices espaciales. Excepto que creo que en su notación debería ser
mi C A i d X i d τ ,
dónde τ es el tiempo propio de la partícula. Tu expresión no tiene las unidades de una densidad lagrangiana.

Respuestas (1)

En ausencia de monopolos magnéticos, las ecuaciones de Maxwell son

d F = 0 , d F = j mi ,

dónde j es la forma 3 de 4 corrientes debido a las cargas eléctricas (suponiendo una métrica con firma ( , + , + , + ) ). Por razones cohomológicas, a partir de la primera ecuación se puede afirmar que existe una forma 1 A tal que F = d A , y A es el interpretado como el 4-potencial ( ϕ , A ) (hasta el isomorfismo musical entre fibra tangente y cotangente al espacio-tiempo de Minkowski). En presencia de monopolos magnéticos (o carga, para incluso simetrizar la terminología), las ecuaciones anteriores se convertirían en

d F = j metro , d F = j mi ,

dónde j metro es la corriente 4 para cargas magnéticas. Por lo tanto, en esta teoría extendida de la electrodinámica tanto el tensor de Faraday F y su doble hodge F (a veces también denotado por GRAMO ) figura en ecuaciones constitutivas.

Ya que F ya no es una forma cerrada, su expresión debe ser modificada por la introducción de una parte no exacta, digamos C , de modo que

F = d A + C .

Como las ecuaciones son simétricas en F y F podemos postular que existen 1-formas B y D tal que

F = d B + D ,

y supongamos que C depende de B , tiempo D depende de A . Pero desde = 1 en relatividad especial, concluimos que

F = d A d B ,

que se puede relacionar con la descomposición de Helmholtz en parte polar y axial para campos vectoriales dos veces diferenciables.

La fuerza de Lorentz para una partícula con carga eléctrica q mi y carga magnética q metro sería

k = yo tu ( q mi F + q metro GRAMO ) ,
dónde tu es el vector de 4 velocidades de la partícula y yo denota el producto interior. El término adicional se puede reproducir con un Lagrangiano que contenga el término adicional B m tu m .


Para hacer contacto con la notación vectorial habitual, observe que el tensor de Faraday tiene la representación de matriz covariante

F = [ 0   mi T mi H ]
dónde H es el dual de Hodge del campo magnético H , y puede pensarse como el mapa lineal ( H ) v = v × H para cualquier v R 3 . Los tensores sesgados simétricos como el anterior se representan mediante un vector polar mi y un vector axial H , y se puede denotar como F = ( mi , H ) . Habiendo definido esta notación, la acción del dual de Hodge es entonces ( mi , H ) = ( H , mi ) (hasta una señal que no puedo molestarme en recordar). La derivada exterior de la corriente 4 A es un tensor de la forma anterior, y resulta que
d A = ( A 0 + A t , × A ) ,
donde la primera componente es la parte polar y la segunda es la parte axial. Por lo tanto, sin cargas magnéticas, recuperamos los campos eléctricos y magnéticos. Ahora para el potencial extra B = ( B 0 , B ) tenemos, usando la regla para el dual de Hodge discutida unas pocas líneas arriba,
d B = ( × B , B 0 B t )
Comente aquí B es un vector de potencial adicional, que no debe confundirse con la inducción magnética.

Reconstruyendo el tensor de Faraday según la prescripción F = d A d B dado arriba tenemos entonces, en términos de partes polares y axiales

F = ( A 0 + A t × B , × A + B 0 + B t ) ,
De dónde
mi = A 0 + A t × B
y
H = × A + B 0 + B t .

Hmm, ¿puedo pedirle que reescriba esto en términos más simples, es decir, en componentes y sin estas estrellas aterradoras, de las que no tengo idea (no he estudiado geometría diferencial)?...
Gracias, esto es mucho mejor. Pero como seria el mi C A i d X i término en el cambio Lagrangiano con este extra B ¿potencial?
¿No debería tener su matriz H no B ?
@Ruslan por favor mira las ediciones
Este es un resumen excelente y conciso. ¿Podría indicar la firma métrica que utiliza y la contravarianza/covarianza para su representación matricial de F en su apéndice. Entiendo que prefiere responder de la manera más libre y coordinada posible, pero su apéndice es para ayudarlo a ponerse en contacto con la "notación vectorial habitual". pareces estar usando ( , + , + , + ) y contravariante F componentes no? Hay tres cosas que parece que nunca hago bien, ¡y la reasignación de firmas es una de ellas! (¡Para su información, los otros dos están convirtiendo unidades naturales y reescribiendo software para diferentes unidades!)
@oceloñe7 A B en vez de H es bastante común, por ejemplo , en Misner Thorne y Wheeler. Por lo general, no me importa qué convención se use siempre que se establezca claramente, pero tengo un poco de curiosidad: ¿en qué textos ves esta convención? Si pones H allí, ¿no parecería un poco incompatible o incómodo con la notación derivada exterior? Sé que no hace ninguna diferencia en el espacio libre con la elección correcta de unidades, pero la derivada exterior claramente requiere mi ser emparejado con B y H con D para reproducir las ecuaciones de Maxwell de una manera que pueda ser...
... apropiadamente ampliado a materiales ópticos ( es decir , la identidad de Bianchi une las leyes magnéticas de Gauss y Faraday, la ecuación con estrellas las otras dos) (Tengo curiosidad y también soy un poco pedante aquí porque actualmente estoy luchando con algunos conceptos sobre óptica anisotrópica materiales aquí, así que estoy siendo particularmente cauteloso con los D v s . mi y H v s . B diferencia en este momento).
.... y también, para completar, podría considerar escribir el derivado exterior para dos formas en su apéndice de contacto ( d F = d ( mi , B ) = ( B , t B + × mi ) ).
@WetSavannaAnimalakaRodVance Creo que tienes razón sobre la firma. Aunque normalmente prefiero la otra convención, creo que la ecuación d GRAMO = j es correcto en la firma (-,+,+,+). Teniendo esto en cuenta, la representación matricial de F es la covariante, es decir, la de F m v .