He estado estudiando los postulados de QM y viendo cómo derivar ideas importantes de ellos. Sin embargo, una cosa que no he podido deducir de ellos es la identidad del operador de cantidad de movimiento.
Para simplificar, solo estoy pensando en efectos no relativistas, giros, potenciales dependientes del tiempo y una dimensión espacial. También asumo que el operador de posición es simplemente una multiplicación por , como en, estoy en el espacio de posición. Entonces el operador hamiltoniano es .
Sé que el operador de cantidad de movimiento es .
Pero, ¿cómo llego allí desde los postulados? Sé que tiene sentido , ya que da como resultado el Teorema de Ehrenfest, la hipótesis de la longitud de onda de De Broglie, el Principio de Incertidumbre de Heisenberg (por y ), siendo el operador de cantidad de movimiento el generador del operador de traslación, y posiblemente muchos otros teoremas deseables y correlaciones con la cantidad de movimiento clásica.
Pero ninguno de estos son postulados (al menos, no en los diversos formalismos que encontré), por lo que no puedes derivar de ellos. Más bien, son consecuencias de ella. Necesitas conocer al operador de antemano para ver que son correctos. Sí, esto es solo semántica, pero ese es el problema central para mí:
Independientemente de cuánto sentido tenga, ¿es la identidad (Bajo las suposiciones que hice) un Postulado, lo que significa que no puede derivarlo de otros postulados, ¿o de hecho puede obtenerse de ellos? Y en este último caso, ¿podría indicarme cómo?
Nota: Sé que hay muchos conjuntos de postulados diferentes y equivalentes para QM. Pero en ninguno de los que vi lo nombraron como postulado ni lo derivaron propiamente.
Primero, es un poco difícil escribir algo como:
Derivaciones:
El significado físico detrás del impulso es que: 1. Es la cantidad conservada correspondiente a la simetría de traslación espacial. 2. Debido a 1, el operador de cantidad de movimiento (hermitiano) es el generador del operador de traducción espacial (unitario).
En términos de ecuaciones:
Definir el operador de traducción espacial S t
Supongo que no tienes problemas para derivar esto.
Tenga en cuenta que esto solo depende de la condición de cuantificación , que es uno de los postulados de la mecánica cuántica.
Tomar un estado arbitrario y aplicar en eso:
Tomar , conéctelo a RHS:
puedes recuperar
No hay derivación, pero hay un argumento heurístico.
Supongamos que estamos en 1926 y Derby nos acaba de desafiar a mostrarle la ecuación de onda que va con las "ondas" de De Broglie (como desafió a Schrödinger). Eso significa que estamos trabajando en una ecuación de onda. Las soluciones deben ser de la forma (en una dimensión)
también queremos
Podríamos notar (como supongo que hizo Schrödinger) que las derivadas espaciales y temporales que suelen aparecer en una ecuación de onda nos darán factores de y respectivamente (con algunos factores inconvenientes de dando vueltas, pero tenemos que vivir con eso). Es decir, acabamos de decidir ir con
A partir de ahí, solo es cuestión de decir que para una partícula que se mueve en un potencial la energía total (Hamiltoniana en muchos casos) es
Debo reiterar que esto no es de ninguna manera una prueba. Es una especie de argumento de plausibilidad extendida. Y uno que más bien tensa la suspensión de la incredulidad excepto que funciona.
Tengo una versión más cuidadosamente construida de este argumento que doy a mis estudiantes de física moderna y se pueden encontrar variaciones en muchos lugares que son anteriores a mi versión.
El hecho de que en la posición la base no es ni derivable ni postulado, porque no siempre es cierto. La relación de conmutación canónica generalmente se toma como un postulado, pero incluso si elige la representación en la base de posición, entonces el CCR permite infinitas representaciones de de la forma para cualquier función . La elección de la representación corresponde a una elección de calibre para la función de onda y no afecta a ninguna cantidad observable físicamente. Consulte el Ejercicio 7.4.9 en las págs. 213-214 de Shankar para mayor discusión.
Sé que el operador de cantidad de movimiento es P = -iℏ ∂/∂x.
Sin duda, es el operador de cantidad de movimiento en la base de posición . El operador de cantidad de movimiento en la base de cantidad de movimiento es en analogía con el operador de posición en la base de posición es .
(Tomado prestado en gran medida de la "Teoría del campo cuántico de partículas puntuales y cuerdas" de Brian Hatfield)
La clave es comenzar con la relación de conmutación.
Si denota un estado propio de posición, entonces
y
lo que quiere decir que el operador es diagonal en la base de la posición. Nosotros buscamos
Ya que
se sigue que el operador sirve como representación de en esta base y por lo tanto
Si el operador hamiltoniano es
después
Ahora, la ecuación de Schrödinger es
Insertar la identidad
rendimientos
y finalmente, usando el resultado de la parte superior de esta sección,
Tienes el álgebra abstracta:
como postulado. O bien proviene del corchete de Poisson habitual que va a la regla del conmutador, o simplemente se establece de manera abstracta como una definición.
De todos modos, puedes buscar representaciones de este álgebra. Lo primero que hay que ver es que no hay representaciones de dimensión finita (también conocidas como matrices). Una prueba por absurdo pasa por suponer que es posible y luego se debe tomar la traza de la relación de conmutación. Es obvio que obtienes
Lo segundo que deberías ver: esta es una traducción infinitesimal. De hecho, considere un parámetro infinitesimal, entonces
que es la traducción infinitesimal habitual que cabría esperar. Usted es naturalmente llevado a pensar en esto. como generador de traducciones.
Desafortunadamente, la clasificación de representaciones de álgebras de dimensión infinita es un tema sutil. Te señalo el teorema de Stone-von Neumann .
Lo mejor que puedo hacer es motivar a la representación habitual. Y en realidad no es tan difícil, porque solo nos queda el álgebra de difeomorfismo (recuerde que debe ser de dimensión infinita), donde y debe actuar sobre las funciones.
Dada una función de x, llamada , se puede obtener una traslación por la serie de Taylor:
Y ahí lo tienes: . Luego, el álgebra se realiza mediante el álgebra de campo vectorial habitual :
Verá, los derivados siempre generan traducciones. La Mecánica Cuántica te dice que los llames impulso.
Les dejo a ustedes que averigüen qué hubiera pasado si hubiera optado por actuar en funciones de .
Como una extensión rápida de las respuestas anteriores, permítanme repetir que nada de la mecánica cuántica se "deriva" de ninguna teoría anterior. Sí, hay muchas correspondencias que son bastante llamativas: cuantización canónica, cuantización geométrica, ondas de acción en la teoría de Hamilton-Jacobi, extensión de la relación de dispersión de DeBroglie (de lo que hablaba @dmckee), etc., y muchas personas las utilizan para motivar a los desarrollo de la mecánica cuántica desde el punto de vista de la física clásica. Pero al final del día, la mecánica cuántica es la teoría más fundamental, por lo que se postula (los llaman "postulados de QM" por una razón :).
Otra forma de verlo es que recuperar la mecánica cuántica de la física clásica no es un problema bien planteado. La información se pierde cuando se toma el "límite clásico" de la mecánica cuántica, por lo que "derivar" la mecánica cuántica de la física clásica en su definición estricta no tiene sentido.
Este mensaje es moralmente idéntico al que destaca Feynman en este popular vídeo .
La forma "fundamental" más adecuada es derivarlo del conmutador , que básicamente te dice cómo funciona el intercambio de información entre la posición y el momento, que es el corazón de la lección de la mecánica cuántica: el Universo contiene un límite de contenido de información, al igual que tiene un límite de velocidad de información. Tenga en cuenta que el operador de impulso solo se ve así con respecto a la posición , por lo que, en cierto sentido, esto también supone que también hemos definido la posición.
Es un hecho empírico, establecido a niveles obscenos de confianza, por muchas pruebas y fracasos repetidos, que es imposible consultar más información de un sistema con respecto a su posición y momento juntos que la dada por el límite
expresada a través de la entropía de Shannon (tenga en cuenta que el límite depende de las unidades que esté utilizando; técnicamente, la entropía es relativa a una escala), o más crudamente (no tan fuerte, es decir, hay casos en los que la relación inferior se mantiene pero no la superior). , y no son casos físicamente válidos, por ejemplo, la suma de dos funciones delta adecuadamente separadas tanto en el espacio posicional como en el momentáneo) y normalmente se dan como
.
En el lenguaje basado en álgebra lineal que proporciona la teoría cuántica, eso significa que los operadores y debe satisfacer
Si tiene dos operadores cualesquiera que satisfagan esto, entonces es posible demostrar que si usa los estados propios de uno de ellos como base , indexados por abajo, entonces el otro debe tener la forma
. Así que ni siquiera necesita tratar de averiguar cuál es la base para o es, simplemente asuma que existe, y derive en consecuencia. Si usó una base diferente a la que usó otra persona, las matemáticas seguirán funcionando de la misma manera.
Por lo tanto, el operador de cantidad de movimiento en sí mismo no sería un postulado directamente. Más bien, como parte de la descripción de una sola partícula, deberíamos especificar la relación de conmutación entre la posición y el momento, y eso los define a ambos a la vez.
qmecanico
Deschele Schilder