Ecuación de Schrödinger en el espacio de momento a partir de la notación de Dirac

Estoy tratando de reconciliar dos formas diferentes de producir la ecuación de Schrödinger en el espacio de momento a partir de la ecuación de Schrödinger en notación abstracta. La ecuación de Schrödinger dependiente del tiempo, por supuesto, dice:

i d d t | ψ ( t ) = H ^ | ψ ( t ) = ( PAG ^ 2 2 metro + V ( X ^ ) ) | ψ ( t )

La técnica básica para proyectarlo en el espacio de cantidad de movimiento es la siguiente:

i d d t pag | ψ ( t ) = pag | ( PAG ^ 2 2 metro + V ( X ^ ) ) | ψ ( t ) = pag 2 2 metro pag | ψ ( t ) + pag | V ( X ^ ) | ψ ( t )
donde hemos utilizado el hecho de que el continuo de vectores de base propia de PAG ^ están etiquetados con sus respectivos valores propios pag satisfactorio: PAG ^ | pag = pag | pag y ahora usando la definición pag | ψ ( t ) =: ψ ~ ( pag , t ) podemos escribir la ecuación anterior:
(PSE) i d d t ψ ~ ( pag , t ) = pag 2 2 metro ψ ~ ( pag , t ) + pag | V ( X ^ ) | ψ ( t )
Ahora viene la parte difícil de lidiar con el pag | V ( X ^ ) | ψ ( t ) término.

  1. La forma rigurosa de evaluarlo es primero insertar el operador de identidad en la base de momento para tener:

    pag | V ( X ^ ) | ψ ( t ) = d pag pag | V ( X ^ ) | pag pag | ψ ( t ) = d pag pag | V ( X ^ ) | pag ψ ~ ( pag , t )
    Ahora podemos insertar el operador de identidad en la base de posición dos veces para evaluar pag | V ( X ^ ) | pag = V ~ ( pag pag ) dónde V ~ ( pag ) es la transformada de Fourier de V ( X ) bien pag . Reuniendo todo, la ecuación de Schrödinger en la base del impulso dice:
    (1) i d d t ψ ~ ( pag , t ) = pag 2 2 metro ψ ~ ( pag , t ) + V ~ ( pag ) ψ ~ ( pag , t )
    donde el signo implica convolución.

  2. Como se puede ver desde arriba, la ecuación 1 es desordenado y difícil de manejar para cualquier cálculo práctico. Por otro lado, sabemos que el operador X ^ está representado por i pag en la base del momento (en notación abstracta: pag | X ^ | ψ ( t ) = i d d pag pag | ψ ( t ) ). Teniendo esto en cuenta, ¿es legal usar esto para escribir la ecuación de Schrödinger en el espacio de momento? PSE como

    (2) i d d t ψ ~ ( pag , t ) = pag 2 2 metro ψ ~ ( pag , t ) + V ( i d d pag ) ψ ~ ( pag , t )
    donde acabo de reemplazar el X ^ operador con i pag ?

Pregunto esto específicamente porque este es el tipo de argumento que se usa para decir que el SE es exactamente el mismo en la base de posición y momento cuando estamos considerando el problema del oscilador armónico simple (donde X y pag están en pie de igualdad en el hamiltoniano).

Si la respuesta a mi pregunta es afirmativa (supongo que casi siempre se puede expandir V ( X ) en una serie de potencias de X y luego reemplazar X con i pag en todas partes), entonces ¿cuál es el punto de pasar por todo este galimatías que describo en 1? Si la respuesta es no en general, ¿existen casos específicos (¿donde la dependencia funcional del potencial es polinomial?) en los que podemos aplicar este truco y por qué?

Disculpas por la pregunta larga y cualquier ayuda es apreciada.

Respuestas (2)

Yo interpretaría 1 (más algunos pasos adicionales y una suposición sobre V ) como una derivación de 2.

En particular

pag | V ( X ^ ) | ψ ( t ) = d X d pag pag | X X | V ( X ^ ) | pag pag | ψ ( t ) = d X d pag mi i pag X V ( X ) mi i pag X pag | ψ ( t ) = d X d pag mi i pag X V ( i pag ) mi i pag X pag | ψ ( t ) = V ( i pag ) d X d pag mi i X ( pag pag ) pag | ψ ( t ) = V ( i pag ) d pag d ( pag pag ) pag | ψ ( t ) = V ( i pag ) pag | ψ ( t ) = V ( i pag ) ψ ~ ( pag , t )

Para pasar de la línea 2 a la 3, asumí que Taylor podría expandir V ( X ) , y reemplaza cada término como X norte mi i pag X con ( i pag ) norte mi i pag X . Luego, para pasar de la línea 3 a la 4, saqué V ( i pag ) fuera de la integral. Creo que todo lo demás es sencillo, pero me complace agregar aclaraciones adicionales si es necesario.

Sí, como ya mencioné en mi pregunta, espero que esto suceda tan pronto como puedas expandir V(x) en series de potencias de x. Si siempre puedo hacer esto, el método 1 parece funcionar en vano. ¿Quizás hay ejemplos no triviales cuando se vuelve esencial que comencemos desde 1?
¿Cómo sabrías que puedes hacer el método 2 sin este argumento?
También en el paso 3, x debe reemplazarse con i pag sin signo negativo.
Lo que escribí está bien, ya que i pag mi i pag X = X (Estoy configurando = 1 ).
No estoy en desacuerdo, el método 2 es más fácil de usar que el método 1, pero el método 1 es más fundamental ya que siempre funciona y se puede usar para derivar el método 2. Tal vez podría adivinar que el método 2 es razonable, pero el método 1 es cómo usted probar que funciona a partir de principios más básicos de la mecánica cuántica.
Bueno, mirando los elementos de la matriz: pag | V ( X ^ ) | ψ ( t ) = pag | \sum a_n\hat X^n | ψ ( t ) y ahora usando la relacion
pag | X ^ i . pag pag |
, solo puedo llegar a 2.
¿De dónde sacas esa relación?
Esa es solo una forma abstracta de escribir. pag | X ^ | ψ = i . pag pag | ψ
Sí. Pero, ¿cómo sabes que esa relación es verdadera a partir de los axiomas de la mecánica cuántica? La respuesta es que pasas por un argumento como el de mi respuesta.
Oh, ya veo lo que quieres decir. Bueno, en última instancia, eso proviene de la relación de conmutación fundamental entre x y p, que también ha utilizado implícitamente en su derivación para 2. En cualquier caso, gracias por tomarse el tiempo de responder a mi pregunta. ¡Lo aprecio!
En otras palabras, la definición de la X el operador es ese X | X = X | X . para probar como X actúa sobre | pag estados, el método estándar para insertar un conjunto completo de pag estados y uso X | pag = mi i pag X . Eso es lo que hace el método 1. El método 2 te da la respuesta de cómo X actúa sobre el pag estados, pero esto no es obvio a partir de su definición y no es una prueba.
Sí, de acuerdo, la relación fundamental es [ X , pag ] = i .
@ArnabAdhikary La razón por la que es útil conocer el Método 1, aunque estoy de acuerdo en que es excesivo para resolver problemas 1D relacionados con la posición y el impulso, es que siempre funciona. En sistemas más complicados, donde las relaciones de conmutación entre los operadores son más interesantes, siempre puede usar el Método 1 para averiguar qué está sucediendo, mientras que el Método 2 es específico para los operadores de posición-momento.
Estoy de acuerdo. La razón por la que hice esta pregunta fue uno de los comentarios de mis profesores: el SE es tan complicado en el espacio de momento porque tienes que tomar transformadas de Fourier y convoluciones. No creo que esa sea la razón. La razón más fundamental parece ser que V puede ser una función muy complicada y es más fácil manejarla en el espacio de posición (donde es solo un operador de multiplicación) que en el espacio de momento (donde es un feo operador diferencial).
Ah, ya veo. Bueno, una de las razones por las que esto terminó siendo simple es que hay una partícula y un operador de momento. Cuando llegas a sistemas de partículas múltiples, resulta que no puedes expresar las interacciones como un operador diferencial local en el espacio de momento. Por otro lado, aunque el potencial puede volverse muy complicado, existen métodos de aproximación y numéricos para manejarlo. Así que estoy de acuerdo con ambos, aunque estoy de acuerdo en que para los problemas de QM de 1 partícula, en realidad puedes hacer las circunvoluciones y obtener un operador local en el espacio de momento.

Me gustaría completar la respuesta de @ Andew. El método 1 es más general y, por lo tanto, es mejor ver el método 2 como una consecuencia del 1. Esto se puede ver aplicando la integración múltiple por partes a la integral del producto de convolución. En general, de V = X norte , tu deduces V ~ = 2 π i norte d ( norte ) ( pag ) , entonces

V ~ ψ ~ = ( 2 π i norte d ( norte ) ( pag ) ) ψ ~ = ( 2 π d ( pag ) ) ( ( i ) norte ψ ~ ( norte ) ) = ( i ) norte ψ ~ ( norte )
usando la medida d pag 2 π en la integración como siempre, y el segundo paso utiliza la integración por partes.

El método 2 es más útil para una resolución analítica completa. Por ejemplo, tome una partícula bajo un campo de fuerza uniforme:

H = pag 2 2 metro F X
en el espacio de cantidad de movimiento, esto se convierte en:
pag 2 2 metro ψ ~ F i ψ ~ = mi ψ ~
que puedes resolver fácilmente:
ψ ~ = C Exp ( 1 F i ( pag 3 6 metro mi pag ) )
y la transformación de Fourier de nuevo al espacio de posición, se obtiene la representación integral de la función de Airy.

El método 1 se usa típicamente en expansiones perturbativas. Mira la expansión Born por ejemplo. Generalmente, al escribir diagramas de Feynman, la razón por la que se integran las líneas de impulso internas es porque se está calculando un producto de convolución. Además, matemáticamente, el método 1 tiene mejores propiedades, como cuando convierte una ODE en una ecuación integral en la que puede aplicar teoremas de punto fijo, etc. Para probar resultados matemáticos generales, por lo tanto, serán los mejores puntos de partida.

Espero que esto ayude y dime si algo no está claro.