Operador de momento generador de límite clásico de traslación

Límite clásico en la prueba de la mecánica cuántica. Esta pregunta se basa en mi pregunta cerrada anterior, pero es una parte más específica y espero obtener ayuda.

El límite clásico de la mecánica cuántica es 0 . En este caso, el operador de cantidad de movimiento se convierte en 0. Pero en la física clásica, la cantidad de movimiento sigue siendo el generador de traslación. ¿Cómo es esto posible si el operador de cantidad de movimiento se vuelve trivial?

Respuestas (4)

El generador de X -traducciones es más precisamente la X -derivado

X   =   i pag ^   =   i k ^ ,
el operador de número de onda , que es independiente de .

Estás malinterpretando deliberadamente el / S 0 límite clásico. ℏ tiene dimensiones, por lo que elegir unidades enormes para medirlo, como las unidades MKSA para medir trenes en movimiento, lo hace parecer pequeño. El límite clásico "adecuado", enormemente sutil, se basa en la relación adimensional anterior que compara la cantidad de acción característica S del sistema con ℏ.

La forma en que ℏ parece ingresar traducciones en la representación x ,

mi a i pag ^ F ( X ) = mi a X F ( X ) = F ( X + a ) ,
es como un cambio de escala/normalización de operadores en el exponente para hacerlo adimensional, un hábito de medir la normalización de operadores de espacio de fase en la relación de conmutación de Born. Parece que te preocupas por algo que no es un problema. El gradiente de una función es tan grande como su variación local sobre una escala dada.

Respondí a tu pregunta anterior. La respuesta aquí es similar. Si desea comparar cuántica con clásica en un límite, no puede hacerlo pieza por pieza. Debe verlo como parte de un límite coherente y autoconsistente. En este caso, tratando de mirar por separado el límite de pag ^ en el 0 límite (vea el comentario relacionado en mi respuesta a su pregunta anterior sobre si hacer esto como un límite es realmente el enfoque conceptual correcto, pero lo seguiremos aquí) no tiene sentido porque el impulso no es un operador como se ve en la teoría clásica .

Lo que sigue no es una prueba formal completa, pero describe algunas consideraciones relevantes.

Los observables en la teoría cuántica aplicarán el operador a una función de onda y trabajarán desde allí, comúnmente para tomar un valor esperado. La función de onda también depende de entonces, si va a tomar un límite, necesita saber cómo se comporta la entidad combinada, no solo una de las partes. Como se señaló en la respuesta a su pregunta anterior, siempre puede escribir una solución a la ecuación de Schrödinger como ψ = R mi i S / verdadero R y S . Resulta que S está entonces estrechamente relacionado con la acción tal que S parece el impulso clásico. Al mismo tiempo, pag ^ ψ = ( S ) ψ . El lado derecho sólo depende de a través del argumento a la exponencial, y eso desaparece, digamos, en una expresión de valor esperado donde se multiplica por ψ .

La respuesta correcta la dio Cosmas Zachos, sin embargo, quiero agregar un comentario con respecto a la afirmación de que " pag ^ converge a 0 en el límite clásico"

En realidad, uno puede mirar directamente el límite del operador de impulsión de una manera matemáticamente más precisa: el operador de momento está definido por pag ^ = i . Observe primero que es un operador ilimitado en L 2 , por lo que se debe tener cuidado con la "convergencia a 0 " significa (en la norma del operador, = no converge a 0 ). Una forma de ver la convergencia del operador ilimitado es mediante el uso de convergencia débil. Un ejemplo es mirar el límite de su valor medio límite 0 T r ( pag ^ ρ ) para cualquier buena matriz de densidad ρ .

Sin embargo, al hacer el límite clásico de la mecánica cuántica, se debe olvidar que el tamaño de los operadores también depende de .

Una forma clásica de realizar el límite. 0 es introducir la transformada de Wigner

W ρ ( X , pag ) = 1 d R 3 mi i y pag / ρ ( X + y / 2 , X y / 2 ) d y
que es de hecho un objeto que converge a una distribución clásica del espacio de fase. Un cálculo rápido muestra que
T r ( pag ^ ρ ) = R 6 pag W ρ ( X , pag ) d X d pag .
En particular, si W ρ ( X , pag ) converge a una función clásica del espacio de fase F en una topología adecuada (que es la suposición que indica que ρ es dependiente), entonces
T r ( pag ^ ρ ) R 6 pag F ( X , pag ) d X d pag
lo cual no es 0 .