Ecuación de continuidad QM: ¿Versión de muchos cuerpos para el operador de densidad?

Estoy tratando de refrescar mi intuición oxidada sobre la segunda cuantización y los sistemas de muchas partículas y me encontré con el siguiente problema:

En QM de 1 partícula tenemos la ecuación de continuidad

t ( ψ ψ ) = i 2 metro ( ψ ψ ψ ψ )
Ahora, en la física de muchas partículas (¡partículas libres!) También espero que el operador de densidad espacial (o: operador numérico en base espacial) evolucione o se "difunda" de alguna manera, si empiezo con condiciones iniciales espacialmente no homogéneas. Por lo tanto, comencé a preguntarme cómo se ve realmente la ecuación de evolución de este operador. Mi expectativa ingenua es una analogía directa con la función de onda:
t ( ψ ^ ψ ^ ) = i 2 metro ( ψ ^ ψ ^ ψ ^ ψ ^ )
Si trato de calcularlo realmente, obtengo:
i t ( ψ ^ ψ ^ ) = [ ψ ^ ψ ^ , H ^ ] = [ ψ ^ ψ ^ , 2 2 metro ψ ^ ψ ^ ]
o
t ( ψ ^ ψ ^ ) = i 2 metro [ ψ ^ ψ ^ , ψ ^ ψ ^ ] = i 2 metro [ ψ ^ ψ ^ , ] ψ ^ ψ ^ i 2 metro [ ψ ^ ψ ^ , ψ ^ ψ ^ ]
y finalmente
t ( ψ ^ ψ ^ ) = i 2 metro [ ψ ^ ψ ^ , ] ψ ^ ψ ^ .
Ahora la pregunta en realidad es: ¿Cuál es el conmutador del operador numérico y el laplaciano? (Por qué no puedo responder esto yo mismo: no tengo intuición sobre cómo actúa el laplaciano en un estado de muchas partículas).

eso es... una extraña ecuación de continuidad para el caso de una sola partícula; ¿No le falta una divergencia? En cualquier caso, ya que estás feliz de simplemente sombrear el ψ s, ¿por qué no mantener exactamente la misma forma que la partícula individual pero con los sombreros puestos?
Las divergencias que faltaban eran un error tipográfico (nabla en lugar de laplacian), gracias por señalarlo. Entonces, después de corregir este error tipográfico, la suposición para la segunda versión cuantificada en realidad es la misma que la de una sola partícula con sombreros agregados. La pregunta es si es realmente correcto y, en caso afirmativo, cómo probarlo correctamente...
Normalmente lo dejaría en la forma div-of-grad, pero eso es cuestión de gustos. Hazme un @ping en un par de días aquí si no obtienes una respuesta.

Respuestas (2)

De hecho, existe una ecuación de continuidad para la densidad de partículas. ρ ( r ) = Ψ ( r ) Ψ ( r ) , donde el operador de campo Ψ ( r ) crea una partícula en la posición r . Para derivarlo, solo necesita las relaciones de conmutación canónicas para el campo

[ Ψ ( r ) , Ψ ( r ) ] = d ( r r ) , [ Ψ ( r ) , Ψ ( r ) ] = 0
junto con la forma correcta del hamiltoniano, que para partículas libres se lee como
H = 2 2 metro d r Ψ ( r ) 2 Ψ ( r ) .
Nótese que aquí la derivada no es un operador en el espacio de estados cuánticos. Actúa solo en funciones valoradas por operadores (generalizadas) como Ψ ( r ) , que a su vez actúan sobre el espacio de estados. Por lo tanto, el conmutador entre el operador de campo y la derivada tiene poco sentido y no tiene relevancia para el problema.

La derivación de la ecuación de continuidad procede de la siguiente manera, usando la ecuación de movimiento de Heisenberg para ρ ( r ) ,

t ρ ( r ) = i [ H , Ψ ( r ) Ψ ( r ) ] = 2 metro i d r [ Ψ ( r ) 2 Ψ ( r ) , Ψ ( r ) Ψ ( r ) ] = 2 metro i d r { Ψ ( r ) [ Ψ ( r ) 2 Ψ ( r ) , Ψ ( r ) ] + [ Ψ ( r ) 2 Ψ ( r ) , Ψ ( r ) ] Ψ ( r ) }
Ahora, para simplificar, examinemos uno de los términos anteriores. La clave es tratar cada uno de Ψ ( r ) y 2 Ψ ( r ) como operadores separados, ninguno de los cuales conmuta con Ψ ( r ) en general. No obstante, puede utilizar la integración por partes* para desplazar la 2 alrededor por conveniencia, lo que lleva a
d r Ψ ( r ) [ Ψ ( r ) 2 Ψ ( r ) , Ψ ( r ) ] = d r { Ψ ( r ) Ψ ( r ) [ 2 Ψ ( r ) , Ψ ( r ) ] + Ψ ( r ) [ Ψ ( r ) , Ψ ( r ) ] 2 Ψ ( r ) } = d r { Ψ ( r ) 2 Ψ ( r ) [ Ψ ( r ) , Ψ ( r ) ] + Ψ ( r ) [ Ψ ( r ) , Ψ ( r ) ] 2 Ψ ( r ) } = d r { 0 Ψ ( r ) 2 Ψ ( r ) d ( r r ) } = Ψ ( r ) 2 Ψ ( r ) .
Juntándolo, deberías obtener
t ρ = 2 metro i ( Ψ 2 Ψ 2 Ψ Ψ ) ,
a partir del cual se identifica el operador actual de partículas
j = 2 metro i Ψ Ψ + h . C . ,
definido tal que t ρ + j = 0 .

*También se supone como de costumbre que los campos se anulan en el infinito, o más estrictamente, que el espacio de Hilbert solo contiene estados que son aniquilados por los operadores de campo en el infinito.

Hombre, la segunda cuantización es extraña.
@EmilioPisanty ¿En serio? Pero el resultado se ve exactamente como lo esperarías, ¿verdad? PD. Estoy bastante seguro de que cometí varios errores de señal aquí que pueden o no haberse cancelado: Escribí esto en un autobús y no tengo tiempo para revisarlo ahora.
Supongo que eso lo hace un poco más inquietante. Quiero decir, sí, formalmente parece que todo es lo mismo, pero ¿qué significa realmente ? Que hace t ρ + j = 0 decirte realmente si lo de la izquierda no es una densidad y lo de la derecha no es una corriente? (y, también, más matemáticamente, ¿qué diablos es una 'función generalizada valorada por el operador'?)
@EmilioPisanty Pero lo de la izquierda es la densidad, y lo de la derecha es la corriente. Para mí, la versión de muchos cuerpos anterior se parece más a la ecuación de continuidad clásica (CE) que a la ecuación de conservación de probabilidad de QM de una sola partícula. Expresa el hecho de que el hamiltoniano conserva localmente un número particular. Si toma su promedio, obtiene exactamente el CE clásico, pero como operador de identidad también se aplica a los momentos superiores, por lo que no puede "engañar" la conservación de partículas mediante fluctuaciones cuánticas. Si empiezas en un sector numérico, siempre te quedas ahí.
Debería intentar actualizar la respuesta con más detalles sobre esto, pero no tendré tiempo hasta el lunes como muy pronto.
Huh, sí, supongo que eso es probablemente cierto. Sin embargo, sería bueno ver exactamente cómo se ve ese argumento en el lado de las matemáticas. Entonces supongo que no estarás en Dresden el lunes ;-).

La ecuación de continuidad de probabilidad de muchos cuerpos se deriva de la ecuación de Schrödinger de la misma manera que en el caso de una partícula. Suponga n partículas con coordenadas X 1 , i , X 2 , i , X 3 , i en el espacio 3-D con el operador hamiltoniano

H = i   =   1 norte j   =   0 3 [ pag i , j 2 / 2 metro + W i ( X j , t ) ] + V ( X 1 , 1 , X 2 , 1 , X 3 , 1 , X 2 , 1 , , t )
La ecuación de Schrödinger para la función de onda multipartícula ψ ( X 1 , 1 , X 2 , 1 , X 3 , 1 , X 2 , 1 , , t ) es
i   ψ t = H ψ
Entonces el cambio de tiempo de la densidad de probabilidad viene dado por
( ψ ψ ) t = ψ ψ t + ψ ψ t = i 2 metro   [ ψ Δ ψ ψ Δ ψ ] = i 2 metro   [ ψ ψ ψ ψ ]
dónde Δ y son los operadores de Laplace y Gradiente, respectivamente, en el espacio de configuración 3N-dimensional. Por lo tanto, la densidad de corriente de probabilidad en el espacio de configuración 3N-d es
j =   i 2 metro   [ ψ ψ ψ ψ ]
y la ecuación de continuidad de probabilidad en el espacio de configuración 3N-d se puede escribir como
( ψ ψ ) t =   división   j
dónde división es el operador de divergencia en el espacio de configuración 3N-dimensional.

Bien, entonces el equivalente real a la ecuación de continuidad de una sola partícula es la misma ecuación que antes, pero formulada para la función de onda de múltiples partículas. Esto ya es interesante y me dice que la ecuación de evolución para ψ ^ ψ ^ probablemente no sea lo mismo, porque la cantidad que observo ya contiene menos información que la densidad de probabilidad real ψ ψ hecho de funciones de onda completas de muchas partículas. Sin embargo, lo que realmente me interesa es la evolución temporal del operador numérico. ψ ^ ψ ^ .
Sin embargo, eso no está realmente en el espíritu de lo que se preguntó. Seguramente puede plegar esa divergencia tridimensional y la corriente en un espacio 3d real, con un vector de corriente 3d de muchos cuerpos real.