¿Cómo actúa el operador de cantidad de movimiento en los kets de estado?

He estado pasando por algunos problemas en Modern QM de Sakurai y en un punto tengo que calcular α | pag ^ | α donde todo lo que sabemos sobre el estado | α es eso

X | α = F ( X )
para alguna función conocida F . ( | α es un paquete de ondas gaussianas.) Sakurai dice que esto viene dado por:

pag = + α | X ( i X ) X | α d X .

Me pregunto cómo llegamos a esta expresión. Sé que podemos expresar

| α = d X | X X | α

y

α | = d X α | X X | ,

entonces mi pensamiento es que tenemos:

α | pag ^ | α = d X d X α | X X | pag ^ | X X | α ,

y si podemos 'conmutar' | X y pag ^ esto se convertiría en:

d X d X α | X pag ^ X | X X | α ,
cual es el resultado deseado como
X | X = d ( X X ) .
¿Es válido este enfoque?

Creo que mi pregunta se reduce a: ¿El operador pag ^ actuar sobre la base de kets | X o en sus coeficientes? En este último caso, si tuviéramos algún estado | ψ = | X 0 para alguna posición X 0 , entonces diríamos que para este estado

pag = X 0 | ( i X ) | X 0 = 0
como el coeficiente único es 1 y la derivada de 1 es 0 ?

Respuestas (7)

En mi opinión, las manipulaciones que implican pag ^ y la posición de sostenes y kets se hacen más fácilmente al considerar la acción de pag ^ en la posición bras , que es simplemente

(1) metro a k mi t h mi b o X t a yo yo mi r X | pag ^ = i d d X X | .

Puede obtener esto fácilmente al ver eso para cualquier estado | ψ con función de onda de representación de posición ψ ( X ) = X | ψ , la acción del operador de cantidad de movimiento sobre el estado da una derivada sobre la función de onda. Es decir,

X | pag ^ | ψ = i d d X X | ψ .
Como esta ecuación se cumple para todos los estados | ψ H , puede "cancelar | ψ fuera". (Ms tcnicamente, ya que la accin de los sujetadores X | pag ^ y i d d X X | es el mismo para todos los vectores, deben ser iguales como funcionales lineales.)

Ya hay muchas buenas respuestas. Esta respuesta es básicamente una versión ampliada de la respuesta de Emilio Pisanty.

  1. Comencemos recordando la convención estándar para escribir la función de onda de posición

    (1) ψ ( X )   =   X | ψ
    como una superposición con un estado de sujetador de posición X | .

  2. La RCC

    (2) [ X ^ , pag ^ ]   =   i 1
    es el primer principio de la cuantización canónica.

  3. La posición de la representación de Schrödinger

    (3) X ^   =   X , pag ^   =   i X ,
    es la representación más común de la RCC (2), aunque está lejos de ser la única, cf. por ejemplo , esta publicación de Phys.SE. Sin embargo, véase también el teorema de Stone-von Neumann .

  4. Es importante darse cuenta de que se entiende implícitamente que los operadores (3) actúan sobre sujetadores (a diferencia de kets ). (Sin embargo, vea la ecuación (6) a continuación). Por lo tanto, es más apropiado escribir (3) como

    (4) X | X ^   =   X X | , X | pag ^   =   i X | X   =   límite ε 0 i X + ε | X | ε .

  5. Tenga en cuenta que la posición de la representación de Schrödinger (4) en los sujetadores realiza el CCR (2)

    X | [ X ^ , pag ^ ]   =   límite ε 0 i { X X + ε | X | ε ( X + ε ) X + ε | X X | ε } (5)   =   i X |   ,
    con el signo correcto, como debe ser.

  6. Nótese que la posición de la representación de Schrödinger (4) en sujetadores y la convención (1) implica las fórmulas estándar

(6) X ^ ψ ( X )   =   X ψ ( X ) , pag ^ ψ ( X )   =   i ψ ( X ) X .

  1. Tenga en cuenta en particular que si uno insiste en actuar sobre kets (en oposición a bras ), entonces la representación de posición de Schrödinger viene con el signo opuesto :
    (7) X ^ | X   =   | X X , pag ^ | X   =   i | X X   =   límite ε 0 i | X + ε | X ε .

mirando la pregunta

Creo que mi pregunta se reduce a: ¿ pag ^ actuar sobre la base de kets | X o en sus coeficientes?

uno puede identificar con seguridad que está confundido acerca de algo, pero es más difícil averiguar cuál es realmente la pregunta. Así que permítame repetir algunas cosas básicas aquí: estoy seguro de que debe estar confundido acerca de una de ellas, a pesar de su carácter básico.

El símbolo pag ^ es un operador. Significa un objeto que actúa sobre cualquier vector ket y te da otro (o el mismo) vector ket. El mapa debe ser lineal y así sucesivamente. Asi que pag ^ seguramente actúa sobre vectores, no sobre "coeficientes".

Por otro lado, cuando actúa sobre un vector base como | X , el resultado puede expresarse como una combinación lineal de los vectores base en la misma base,

pag ^ | X = d X F X ( X ) | X
con algunos coeficientes F X ( X ) . Cada vector ket, y pag ^ | X es un vector ket, puede expresarse usando una base de una manera.

Entonces, si bien puede identificar | X con la "función de onda" igual a ψ ( X ) = d ( X X ) donde X es un valor fijo de la posición, el vector ket sobre el que se actúa pag ^ | X se da en términos de la función F X ( X ) que codifica los coeficientes delante de | X . Esta función (almacenamiento de los coeficientes) está totalmente dada por el significado del operador pag ^ y por el valor de X y reemplaza la codificación de función delta | X en sí mismo, por lo que en este sentido, los operadores también actúan sobre los coeficientes. ¡Uno debe conocer las reglas básicas, cómo actúan sobre una base, etc. y luego lo sabe todo!

Otra cosa por la que puede estar confundido es aún más elemental, lo que es un derivado. Una derivada no es un operador que actúa sobre el espacio de Hilbert. Una derivada es una operación que toma una función de una variable real y la asigna a otra función de la variable real.

X : F ( X ) F ( X ) = límite ε 0 F ( X + ε ) F ( X ) ϵ
Debe estar confundido acerca de esta definición de un derivado, de lo contrario no escribiría los derivados sin sentido en la última oración. Generalmente, algo debería depender de la variable con respecto a la cual estamos diferenciando, y luego lo diferenciamos como una función usando la definición general anterior.

El núcleo (o "elementos de la matriz") de pag ^ es

X | pag ^ | X = i d ( X X ) = F X ( X )
que es la derivada de la función delta. Es una función delta cuyo argumento es la diferencia de los dos valores X , X que especifican el vector sujetador y el vector ket entre los cuales pag ^ estaba intercalado. La función delta es igual al producto interno del vector sujetador. X | y el vector pag ^ | X que resulta de la acción de pag ^ en | X .

El núcleo es suficiente para calcular cualquier cosa que involucre pag ^ y bra y ket vectores en el X -base. Por ejemplo, puede multiplicar mi ecuación para el núcleo anterior por | X desde la izquierda e integrar sobre X . Entonces uno obtiene (después de notar que 1 fue construido en LHS a través de la relación de completitud)

pag ^ | X = d X ( i ) d ( X X ) | X = i X | X X = X
Lo siento si hay un error de señal en alguna parte. Tiene sentido diferenciar con respecto a X porque el objeto en realidad es una función de X . Si una función de onda general se reescribe como una combinación de tales | X vectores de la LHS de la ecuación anterior, a través de una integral y con los coeficientes llamados ψ ( X ) , la ecuación anterior se convierte en la habitual
pag ^ : ψ ( X ) i ψ ( X )
en términos de los coeficientes. Esto no significa que un operador lineal sea lo mismo que una derivada de funciones. Solo dice que en el X -base, al actuar sobre una combinación general de estos vectores base, los coeficientes se transforman de esta forma derivada. Pero esa es una propiedad especial de este operador en particular. Otros operadores, como X ^ , actuar diferente.

Considere la relación de conmutación [ X ^ , pag ^ X ] = i . Su elemento de matriz entre estados X | y | X ,

X | X ^ pag ^ X pag ^ X X ^ | X = i X | X ,
da
( X X ) X | pag ^ X | X = i d ( X X ) ,
así que eso
X | pag ^ X | X = i d ( X X ) X X .
Sustituyendo esto en X | pag ^ X | ψ , donde | ψ es un estado de ket arbitrario con la función de onda ψ ( X ) X | ψ , tenemos
X | pag ^ X | ψ = X | pag ^ X | X X | ψ d X = i d ( X X ) X X ψ ( X ) d X .
La única contribución a la integral proviene de X Muy cerca de X , por lo que podemos expandir la función de onda en la serie de Taylor a primer orden, ψ ( X ) ψ ( X ) + ψ ( X ) ( X X ) . Esto da
X | pag ^ X | ψ = i d ( X X ) X X ψ ( X ) d X i d ( X X ) ψ ( X ) d X = i ψ ( X ) X ,
donde la primera integral se anula porque d ( X X ) es una función par y 1 / ( X X ) es impar.

Los estados son vectores, | α y la base | X son vectores.

la notación X | α es equivalente a α ( X ) , esta es la coordenada del estado | α sobre la base | X , α ( X ) es la amplitud de probabilidad o función de onda.

El operador pag ^ , que se aplica a un estado o una función dependiente de X , tiene la representación i X (elegimos aquí la unidad = 1 por simplicidad).

Entonces, por ejemplo, tenemos: (1) X | pag ^ | X = i X | X | X == i X X | X = + i ( X d ) ( X X )

Tú tienes :

α | pag ^ | α = d X d X α | X X | pag ^ | X X | α

= d X d X     α ( X )     i ( X d ) ( X X )     α ( X )

(2) = d X d X     α ( X )     i d ( X X )     X α ( X )

= d X     α ( X )     ( i X )     α ( X )
En ( 2 ) , hemos utilizado una integración por partes, suponiendo que la función de onda está decreciendo lo suficientemente rápido en el límite.

La ecuacion pag ^ | X = ( i X ) | X , es correcto, pero no útil, porque no tenemos expresión para X | X . Una ecuación más útil es sobre operaciones de traducción, y es: mi i pag ^ . a | X = | X + a o X | mi i pag ^ . a = X + a |

Finalmente, mirando el estado | ψ = | X 0 , la función de onda asociada es X | X 0 = d ( X X 0 ) , por lo que el valor medio de la cantidad de movimiento en este estado es:

(3) ψ | pag ^ | ψ = d X d ( X X 0 ) ( i X ) d ( X X 0 ) = i d ( 0 ) = 0

Esto se puede entender fácilmente, porque si fijas la posición ( X = X 0 ), la incertidumbre del momento es infinita, por lo que todos los momentos están autorizados con la misma probabilidad, por lo que la media de los momentos es cero.

Yo diría que una parte de la pregunta sigue sin respuesta. Eso sería, cómo el operador pag ^ actúa sobre un estado que no es una combinación lineal trivial de los estados propios de posición.

Digamos que estamos tratando de calcular

X ^ | norte = X ^ d X X | norte | X ,
donde | norte es algún estado que se puede representar como una combinación lineal de estados | X . Para captar la intuición podemos comprobar el caso de
X ^ | norte = X ^ d X X | norte | X ,
donde la respuesta es muy sencilla, ya que la | X es estado propio de la X ^ operador con valor propio X
X ^ | norte = d X X | norte X ^ | X = d X X | norte X | X .
Aplicando el mismo razonamiento al caso inicial, obtenemos
X ^ d X X | norte | X = d X X | norte X ^ | X = d X X | norte límite h 0 1 h ( | X + h | X ) ,
donde simplemente usé la definición de la derivada en un vector. Luego, simplemente separamos la integral en dos partes y redefinimos las variables de integración para que podamos extraer el estado
= límite h 0 1 h ( d X X | norte | X + h d X X | norte | X ) ,
= límite h 0 1 h ( d X X h | norte | X d X X | norte | X ) ,
= límite h 0 1 h d X ( X h | norte X | norte ) | X ,
pero esta es la derivada de los coeficientes
= d X ( X | norte X ) | X = X | X ,
o en una forma más familiar con la función de onda definida como X | norte = ψ norte ( X )
X ^ | norte = X ^ d X ψ norte ( X ) | X = d X ψ norte ( X ) | X .
Por lo tanto, actuar con la derivada espacial en un estado te da la derivada de una función de onda, o en otras palabras, la derivada del coeficiente que te da el mapeo de un estado que estás diferenciando a la base de la posición.

Tenga en cuenta que pag ^ = i X .

Ponga esto en la fórmula dada:

pag = + α | X ( i X ) X | α d X ,

lo que da:

pag = + α | X pag ^ X | α d X .

Ahora bien, es un resultado bien conocido en la mecánica cuántica (relación de completitud) que:

+ | X X | d X = 1 ,

Así que cuando ponemos esto en la expresión para pag obtenemos:

pag = α | pag ^ | α ,

que tuvimos que demostrar.

También puedes empezar con

pag = α | pag ^ | α ,

colocar la relación de completitud

+ | X X | d X = 1

en él y reemplazar pag ^ por i X .