Soporte de Dirac para la forma de Madelung (polar) del campo de Schrödinger

Tengo un problema al obtener el corchete de Dirac en la representación de Madelung (polar) del campo de Schrödinger:

Ψ = ρ mi i θ / .

Fondo:

Se ha demostrado (por ejemplo por Nonnenmacher https://link.springer.com/article/10.1007%2FBF02817982 y Guerra https://journals.aps.org/prd/abstract/10.1103/PhysRevD.28.1916 ) que en esta representación , θ y ρ jugar el papel de variables conjugadas en el espacio de fase Γ = ( ρ , θ ) con un corchete de Poisson dado por

{ F , gramo } = d r ( d F d ρ d gramo d θ d F d θ d gramo d ρ ) = { F , gramo } ρ , θ .
Básicamente, me gustaría derivar este resultado aplicando el algoritmo de Dirac-Bergmann para sistemas hamiltonianos restringidos. Sin embargo, hay un factor adicional de 2 que aparece en el corchete de Dirac resultante, de modo que
{ F , gramo } D = 2 { F , gramo } ρ , θ
Como se muestra abajo. Para empezar, tenga en cuenta que una densidad lagrangiana hermitiana para el campo libre de Schrödinger puede escribirse como (véase, por ejemplo, 'QFT elemental' de Henley & Thirring o 'La teoría cuántica del movimiento' de Peter Holland)
L = i 2 ( Ψ Ψ ˙ Ψ ˙ Ψ ) 2 2 metro Ψ Ψ .
variación de la acción I = d t d 3 X L con respecto a Ψ produce la ecuación de Schroedinger y la variación con respecto a Ψ da su complejo conjugado. Sustituyendo la forma polar por Ψ en esta expresión para L , obtenemos la siguiente forma para L :
L = ρ ( θ ˙ + ( θ ) 2 2 metro ) 2 8 metro ρ ( ρ ) 2 .
Variación con respecto al campo θ da una ecuación de continuidad:
ρ ˙ + j = 0
dónde j = ρ θ / metro , mientras que la variación con respecto a ρ produce la ecuación cuántica de Hamilton-Jacobi:
θ ˙ + ( θ ) 2 2 metro 2 2 metro ρ 2 ρ = 0.
Es bien sabido que estos 2 las ecuaciones de onda se asignan a la ecuación de Schroedinger. Ahora bien, los momentos canónicos son entonces π ρ = 0 y π θ = ρ , lo que lleva a las ecuaciones de restricción C 1 = π ρ 0 y C 2 = π θ + ρ 0 en el espacio de fase completa ( ρ , θ , π ρ , π θ ) , donde siguiendo a Dirac el símbolo ' ' denota una igualdad débil en la hipersuperficie definida por las restricciones. La densidad hamiltoniana canónica está dada por
H C = π θ θ ˙ + π ρ ρ ˙ L ρ ( ( θ ) 2 2 metro ) + 2 8 metro ρ ( ρ ) 2 .
El corchete de Poisson de las restricciones, muestra que son de segunda clase: { C 1 ( r ) , C 2 ( r ) } = d ( r r ) .

La matriz de restricción corchetes de Poisson con elementos q i j ( r , r ) = { C i ( r ) , C j ( r ) } , es entonces

q ( r , r ) = ( 0 1 1 0 ) d ( r r ) ,
cuyo inverso es
q 1 ( r , r ) = ( 0 1 1 0 ) d ( r r ) .

El soporte de Dirac se puede construir, como

{ F ( X ) , gramo ( y ) } D = { F ( X ) , gramo ( y ) } i , j = 1 , 2 d r d r { F ( X ) , C i ( r ) } q i j 1 ( r , r ) { C j ( r ) , gramo ( y ) } = { F ( X ) , gramo ( y ) } R 12 R 21 .
Ahora para R 12 uno encuentra
R 12 = d r ( d F d ρ d gramo d π ρ d F d ρ d gramo d θ ) ,
y para R 21 :
R 21 = d r ( d F d θ d gramo d ρ d F d π ρ d gramo d ρ ) .
Por lo tanto, tenemos
{ F ( X ) , gramo ( y ) } D = d r ( d F d ρ d gramo d π ρ d F d π ρ d gramo d ρ + d F d θ d gramo d π θ d F d π θ d gramo d θ d F d ρ d gramo d π ρ + d F d ρ d gramo d θ d F d θ d gramo d ρ + d F d π ρ d gramo d ρ ) = d r ( d F d θ d gramo d π θ d F d π θ d gramo d θ + d F d ρ d gramo d θ d F d θ d gramo d ρ ) .
Ahora bien, si hacemos uso de la ecuación de restricción π θ = ρ , obtenemos que el soporte de Dirac se reduce a
{ F , gramo } D = 2 { F , gramo } ρ , θ .
Entonces el espacio de fase se reduce a las variables ρ y θ pero el factor de 2 realmente no debería estar allí, ya que conduce a ecuaciones de onda inconsistentes para el ρ y θ variables bajo por ejemplo θ ˙ = { ρ , H C } D . He intentado agregar una derivada de tiempo total a la densidad lagrangiana para empezar. Por ejemplo
L L = L + d d t ( ρ θ / 2 ) .
Pero esto termina dando un factor de 4 en lugar de 2 .. He notado que si los momentos canónicos conducen a las restricciones C 1 = π ρ 2 θ 0 y C 2 = π θ + 2 ρ 0 , entonces el corchete de Dirac se reduce al corchete de Poisson { F , gramo } ρ , θ sin ningún prefactor.. Pero no parece posible agregar una derivada de tiempo total a L que logra esto. ¿Alguna idea?

¡Gracias!

Respuestas (2)

Su ecuación solo contiene derivadas de tiempo de primer orden y, por lo tanto, ya tiene la forma integral de acción hamiltoniana:

S = ( pag i q ˙ i H ( pag , q ) ) d t
con
pag i ρ ( X ) , q i θ ( X ) , i X
Por lo tanto, los corchetes de Dirac son innecesarios. Entonces, de la versión continua de { pag i , q j } = d i j leemos eso { ρ ( X ) , θ ( X ) } = d ( X X ) .

Gracias por su respuesta. Me parecía que ese podría ser el caso. Desde el 4 variables de espacio de fase ρ , θ , π ρ , π θ , uno de ellos es cero: π ρ = 0 mientras que el otro impulso es simplemente otra variable de campo: π θ = ρ . me quedó claro que ρ y θ son variables conjugadas por la razón que acaba de indicar: calcular el corchete de Poisson ρ ( X ) , θ ( X ) = d ( X X ) sobre las variables de espacio de fase completa al complementar la restricción π θ = ρ .
Pero todavía quería verificar que el soporte de Dirac se redujera al soporte de Poisson en el espacio de fase reducido, sin embargo, este factor de 2 aparece lo que no debería! Parece que tiene que ver con la doble contabilidad de alguna manera desde el π θ = ρ , pero no estoy seguro de cómo deshacerse de él.
Voté a favor de su respuesta, pero como aún no tengo 15 puntos, no se muestra ...

El usuario Mike Stone tiene razón. No es necesario realizar el análisis completo de restricciones de Dirac-Bergmann, que se realiza en esta publicación de Phys.SE. El método de Faddeev-Jackiw es suficiente: L ya está en forma de primer orden hamiltoniano, y ρ y θ son variables canónicas con corchetes canónicos de Poisson { ρ ( X ) , θ ( y ) } = d 3 ( X y ) .

Gracias por recordarme el artículo de Jackiw. Tiene la mejor prueba de Darboux que conozco. He estado argumentando que los corchetes de Dirac no siempre son necesarios durante quizás incluso más tiempo que Roman J. Consulte, por ejemplo, mi antiguo Phys. Rev. Lett. 63, 731 (1989) !