¿Qué significa ser único en términos de potenciales vectoriales?

Estaba en una conferencia de electromagnetismo, donde estábamos viendo las ecuaciones de Maxwell magnetostáticas:

B = 0 × B = m 0 j

Estoy consciente de B puede expresarse en términos de un potencial vectorial, a partir de la primera ecuación si dejamos B = × A , dónde A es un campo vectorial general, esto satisfaría la ecuación (sin monopolos magnéticos) en la parte superior, ya que la divergencia del rotacional de cualquier campo vectorial produce 0.

Sin embargo, el disertante afirma que nuestra elección de A no es único y que deberíamos agregar otro término (él lo llamó transformación de calibre):

A = A + x
dónde x = x ( r ) .

Luego afirma que para hacer A único, debemos imponer las siguientes condiciones de calibre (Coloumb y Lorentz, respectivamente);

A = 0 A + 1 C 2 V t = 0
dónde V es un potencial escalar.

  • ¿Qué significa ser único en este contexto?
  • ¿Cómo hacen estas condiciones nuestra elección de A ¿único?

Respuestas (2)

A continuación usaré unidades de Planck, para las cuales, en particular, C = ϵ 0 == 1 .

De hecho, el sistema completo de ecuaciones de Maxwell proporciona la declaración de que los únicos dos componentes vectoriales del campo EM mi , B son independientes (en general, debido a una profunda razón de simetría, a saber, que una partícula sin masa tiene solo dos polarizaciones). A continuación, si escribimos el campo EM en términos de 4 potenciales

A m ( V , A ) m
(Por ejemplo, A 0 V ),
mi = A t V , B = × A ,
agregamos una nueva transformación de simetría de calibre no física
(1) V V + φ t , A A φ ,
bajo el cual mi , B no cambia:
mi mi , B B
Es decir, A m no es único Además, parece que sin imponer algunas condiciones 4-potencial tiene 4 componentes, mientras que este número debe ser 2, en correspondencia con el número de componentes independientes de mi , B . ¿Es esto un problema? No.

Necesitamos construir el esquema preciso de reducción del número de componentes, que incluye el problema de la unicidad de 4 potenciales . La simetría de calibre no es física, por lo que primero podemos arreglar φ en ( 1 ) imponiendo la llamada condición de calibre, que deja tres componentes independientes de A m en cambio cuatro. Puede ser, por ejemplo, la condición del calibre de Coulomb,

A = 0 ,
o condición invariante de lorentz, como
m A m = V t + A = 0
A continuación, reducimos el número de componentes de tres a dos usando la primera ecuación de Maxwell, que se llama ley de Gauss, ya que de hecho es el límite, porque no contiene derivadas en el primer tiempo de mi o, correspondientemente, las segundas derivadas temporales de A m (no describe los grados de libertad propagados). Por ejemplo, para el calibre de Coulomb, esta ecuación toma la forma
mi = Δ V ( A ) t = Δ V = 4 π ρ ,
de donde tenemos el potencial escalar en función de la densidad de carga. Para ρ = 0 , lo cual es cierto en el caso de la magnetostática, simplemente podemos establecer V a cero.

Así, reducimos el número de A m de cuatro a dos, como debe ser, y resolver el problema de unicidad.

Resumamos: si hemos utilizado la ley de Gauss como límite, es decir, si hemos reducido el número de componentes de 4 potenciales de cuatro a tres, lo único que necesitamos para fijarlo de manera única es imponer tal condición de calibre, ya que sin hacer eso, el potencial 4 se determina solo hasta la transformación no física.

Eso parece excederse un poco.
@gonenc: ¿por qué piensas eso?
Solo pensé que el OP no tiene el fondo.
@gonenc: gracias, intentaré cambiar una respuesta agregando explicaciones o eliminando alguna parte de una respuesta.
No hay tal cosa como C = 1 unidades _ si no pones C en las ecuaciones de E&M, entonces está trabajando con cantidades cuyas dimensiones difieren de las habituales.
@DanielSank: las unidades de Planck son el nombre correcto para las unidades que he usado, lo corregiré.
Eso no es lo que quiero decir. Ecuaciones como las que has escrito son correctas en cualquier sistema de unidades . A = 0 es cierto en el calibre de Coulomb sin ninguna mención de unidades .
@DanielSank: pero la forma precisa de la condición del indicador Lorentz (que he usado como ejemplo) depende del sistema de unidades.
@gonenc tienes razón, no entiendo nada de esto; ¿Qué es un potencial 4? ¿Está relacionado con la relatividad especial y los cuatro vectores?
@RamanSB: sí; en un hecho, mi y B se transforman bajo impulsos de Lorentz como componentes del tensor antisimétrico, llamado tensor de fuerza EM. Los componentes de este tensor se pueden expresar en notación covariante a través de 4 potenciales A m ( V , A ) m , dónde V y A se conocen los potenciales escalares y vectoriales correspondientemente.
@NameYYY No entiendo nada sobre tensores...
@RamanSB: la mayor parte de mi respuesta no requiere conocer la relatividad especial.

Supongo que sabe cómo resolver las ecuaciones de Maxwell en el vacío. Al final se obtiene una expresión de la forma:

(1) 2 ϕ = t ( A ) y ( A ) + ( ϕ t ) + 2 A t 2 = Δ A

donde he tomado ε 0 = m 0 = C = 1 y

(2) ϕ = mi + A t y B = × A
como de costumbre y Δ es el laplaciano vectorial. sabes que cualquier A = A + F también se va B invariante. Por eso decimos A no es único Sin embargo, tenga en cuenta que también necesita cambiar ϕ para dejar invariable la ecuación de Maxwell, es decir, debe tomar otra ϕ con

ϕ = ϕ F t

que se puede ver fácilmente a partir de la ecuación ( 2 ) . Queremos arreglar esta ambigüedad y también hacer que la ecuación. ( 1 ) verse mejor Así elegimos A = ( ϕ t ) para que la ecuación ( 1 ) se convierte en:

2 ϕ = 2 ϕ t 2 2 A t 2 = Δ A

Este es el llamado calibre Lorentz. Tenga en cuenta que A todavía no es demasiado único, es decir A = A + F también resuelve las ecuaciones para cualquier función que satisfaga 2 F = 2 F t 2 . Para arreglar A por completo es necesario imponer condiciones de contorno.

Si tuvieramos ϕ t = A t = 0 , entonces la elección de la divergencia de A sería A = 0 que también se llama calibre de Coulomb.

Esto no es tan claro como la respuesta del Nombre YYY, pero sin saber sobre tensores y relatividad especial, creo que debería ser suficiente.