¿Cómo obtener el operador de posición en la representación de momento a partir de conocer el operador de momento en la representación de posición?

Yo sé eso

(1) pags ^   =   i X   .

Como puedo conseguir

(2) X ^   =   i pags   ?

Creo que esto es simple y lo estoy pensando demasiado, pero conociendo el operador de impulso (1), ¿cómo puedo obtener el operador de posición (2)?

Uno no puede derivar X ^ = i h pags solo de la formula pags ^ = i h X solo. Por ejemplo X ^ = C ^ + i h pags también es consistente, donde C ^ es un operador de Casimir (por ejemplo, proporcional al operador de identidad 1 ). Uno necesita hacer suposiciones adicionales (convencionales) para derivar la ec. (2). Véase, por ejemplo , this , this y posiblemente this Phys.SE post.

Respuestas (6)

Así es como lo haces.

Primero, observe que para cualquier estado | ψ , tenemos

pags | [ X ^ , pags ^ ] | ψ = pags | X ^ pags ^ pags ^ X ^ | ψ = pags | X ^ pags ^ | ψ pags | pags ^ X ^ | ψ = pags | X ^ pags ^ | ψ pags pags | X ^ | ψ
Ahora, recordemos la relación de conmutación canónica entre X ^ y pags ^ ;
[ X ^ , pags ^ ] = i yo ^
dónde yo ^ es el operador de identidad. Usando este hecho en el lado izquierdo de la manipulación que acabamos de realizar, y reorganizando un poco, encontramos que
(1) pags pags | X ^ | ψ = pags | X ^ pags ^ | ψ i pags | ψ .
Ahora, enfócate en el primer término a la derecha. tenemos
pags | X ^ pags ^ | ψ = d X pags | X ^ | X X | pags ^ | ψ = d X X mi i pags X / [ i d d X ψ ( X ) ] = i d X d d X ( X mi i pags X / ) ψ ( X ) = i d X mi i pags X / ψ ( X ) + i d X X ( i pags ) mi i pags X / ψ ( X ) = i ψ ( pags ) pags d X X mi i pags X / ψ ( X ) = i ψ ( pags ) + i pags d d pags d X mi i pags X / ψ ( X ) (2) = i ψ ( pags ) + i pags d d pags ψ ( pags )
donde hemos hecho un uso liberal de la integración por partes, y las siguientes identidades:
d X | X X | = yo ^ , ψ ( X ) = d mi F X | ψ , ψ ( pags ) = d mi F pags | ψ , X | pags ^ | ψ = i d d X ψ ( X ) .
El último hecho es precisamente la afirmación de que la representación del espacio de posición del operador de cantidad de movimiento es i d / d X . Ahora combina ( 1 ) y ( 2 ) para obtener
(3) pags pags | X ^ | ψ = i pags d d pags ψ ( pags )
A continuación, simplemente notamos que si denotamos la representación del espacio de momento del operador de posición como D ( pags ) ( X ^ ) , entonces por definición
D ( pags ) ( X ^ ) ψ ( pags ) = pags | X ^ | ψ ,
Combinando esto con ( 3 ) , y observando que la ecuación resultante debe cumplirse para todos pags , y dividiendo ambos lados por pags , obtenemos el resultado deseado;
D ( pags ) ( X ^ ) = i d d pags

Suponga que es unidimensional y = 1

  1. Por
    pags ^ | pags = pags | pags X | pags ^ | pags = pags X | pags i X X | pags = pags X | pags ( 1 )

porque ya lo sabias pags ^ = i X , por eso X | pags ^ | ψ = i X X | ψ . Tomar | ψ = | pags , obtenemos (1).

Resolviendo la ecuación diferencial (1) para X | pags , tenemos

X | pags = 1 2 π mi i pags X
, 1 2 π es una constante de normalización.

2.

pags | X ^ | pags = pags | X X | X ^ | X X | pags d X d X = 1 2 π mi i pags X + i pags X X d ( X X ) d X d X = 1 2 π mi i ( pags pags ) X X d X = i 2 π pags mi i ( pags pags ) X d X = i pags d ( pags pags )

3. Mostraremos

pags | X ^ | ψ = i pags ψ ( pags ) , | ψ
, aquí ψ ( pags ) := pags | ψ .

Por el siguiente procedimiento

pags | X ^ | ψ = pags | X ^ | pags pags | ψ d pags = i pags d ( pags pags ) ψ ( pags ) d pags = i pags ψ ( pags )

Creo que hay dos errores de signo que se anulan entre sí: si no me equivoco, falta un signo menos al introducir pags en la expresión para pags | X ^ | pags , que se 'fija' por el signo menos que falta al aplicar la derivada de la d función
¿Te refieres a las líneas cuarta y quinta en la parte 2? En la cuarta línea, / pags [ mi i ( pags pags ) X ] = i X mi i ( pags pags ) X , un prefactor i lo lleva de vuelta a X . La quinta línea es solo la transformación de Fourier de la función delta de Dirac, si no me equivoco...
conceptualmente, la derivada de la d la función se aplica mediante integración parcial (ver aquí ), por lo que falta un signo menos en esa expresión; Traté de averiguar por qué todavía obtenemos el resultado correcto, pero aparentemente me equivoqué; Repasaré las ecuaciones de nuevo y veré si puedo resolverlo...
En la parte 3, la derivada de d función actúa sobre pags , la integración ha terminado pags . Así que eso no debería ser un problema, aunque no soy matemático...
eso aclara de dónde vino mi confusión: lo que estaba buscando era pags | X ^ | pags = i pags d ( pags pags ) , que tiene signo negativo que se reabsorbe por integración parcial; Tampoco sé si está bien tal como está, es decir, bajo qué suposiciones límite ϵ 0 pags d ϵ ( pags pags ) ψ ( pags ) d pags = pags límite ϵ 0 d ϵ ( pags pags ) ψ ( pags ) d pags aguanta...

en realidad no necesitas pags ^ para hacer esto. Puedes partir del hecho de que X ^ , cuando se aplica a una función propia de posición, tiene que producir el valor propio de posición correspondiente ( X 0 ) veces esa misma función:

X ^ ϕ X 0 ( pags ) = X 0 ϕ X 0 ( pags )

En la representación del momento, las funciones propias de posición toman la forma ϕ X 0 ( pags ) = mi i pags X 0 / . (Eso proviene de la transformada de Fourier de la función delta). Entonces, ¿qué operador puede aplicar a esto que extrae un factor de X 0 ? No es difícil darse cuenta por alguna combinación de intuición, prueba y error, que una derivada con respecto a pags hará el truco, específicamente

i pags mi i pags X 0 / = X 0 mi i pags X 0 /

Eso es suficiente para identificar

X ^ = i pags

Incluso si tienes la definición de pags ^ , esta sigue siendo probablemente la forma más fácil de encontrar X ^ en la representación del impulso. Si desea llegar a una demostración que involucre explícitamente la definición de pags ^ , debe averiguar qué otra parte de la definición de la representación de la posición desea descartar para que sea necesario comenzar desde pags ^ .


Como argumento aproximado, se podría decir que las representaciones de posición y momento están relacionadas por conjugación compleja. Observe que la transformación que lo lleva de la representación de posición a la representación de impulso es esta:

ϕ ( pags ) = 1 2 π ψ ( X ) mi i pags X / d X

y el que te devuelve es este:

ψ ( X ) = 1 2 π ϕ ( pags ) mi i pags X / d pags

si cambias ψ ( X ) ϕ ( pags ) , X pags , y i i , deja estas transformaciones sin cambios. Esto implica que puede "cambiar" el espacio de posición y el espacio de momento en cualquier fórmula siempre que también tome el complejo conjugado.

Aplicando este razonamiento a pags ^ = i X , usted obtiene X ^ = i pags .

Dirac argumenta a partir de la simetría en sus Principios de QM :

En un sistema 1-D, q ^ y pags ^ ambos son observables, con valores propios que se extienden desde a + , y están conectados por la relación de conmutación [ q ^ , pags ^ ] = i .

Ya que uno puede intercambiar q ^ y pags ^ en estas ecuaciones si i es reemplazado por i , se sigue que, si hay una representación en la que q ^ es diagonal y

pags ^ = i d d q

también debe haber una representación en la que pags ^ es diagonal y

q ^ = + i d d pags

QED.

En realidad, Dirac primero hace un poco de trabajo para demostrar que pags ^ es de hecho un observable con un rango infinito de valores propios, como X ^ .

Creo que la ambigüedad señalada por Qmechanic no aparece aquí porque:

  • Dirac construye los estados propios de q ^ específicamente para dar la expresión simple de un solo término para pags ^
  • En el análisis de Qmechanic, los estados propios están especificados por "el enemigo" y no son ajustables.

Digamos que nos entregan un sistema mecánico cuántico 1D, que satisface la relación de conmutación canónica

(1) [ q ^ , PAGS ^ ]   =   i   1 ,

y entregó algunas opciones de estados propios | q y | pags por cada valor de q , pags R . Los estados propios satisfacen

(2) q ^ q   =   q q , PAGS ^ pags   =   pags pags ,

(3) q q   =   d ( q q ) , pags pags   =   d ( pags pags ) ,

(4) R d q   q q   =   1 , R d pags   pags pags   =   1 .

Los estados propios (2) no están definidos de manera única. En principio, se podrían redefinir con factores de fase.

(5) | q     | q   :=   F ( q ) | q , | pags     | pags   :=   gramo ( pags ) | pags ,

dónde F y gramo son dos factores de fase | F | = | gramo | = 1 . La nueva base también satisfaría las ecs. (2-4). Por lo tanto, si el enemigo ha elegido los estados propios (2) para nosotros, deberíamos (como mínimo) esperar que la representación de posición y momento de Schrödinger pueda contener factores de fase no triviales

(6) q ^   =   q , i PAGS ^   =   1 F ( q ) q F ( q )   =   q + F ( q ) F ( q ) ,

y

(7) PAGS ^   =   pags , 1 i q ^   =   1 gramo ( pags ) pags gramo ( pags )   =   pags + gramo ( pags ) gramo ( pags ) ,

respectivamente. Tenga en cuenta que las dos representaciones de Schrödinger (6-7) son consistentes con el CCR (1). [Por otro lado, resulta que las ecs. (6-7) constituyen las representaciones de Schrödinger de posición y momento más generales, respectivamente. Esto se puede establecer, por ejemplo, conociendo la forma más general de la pags q superposición, ver, por ejemplo, esta respuesta Phys.SE.]

Ahora volvamos a la pregunta de OP. Asumir que PAGS ^ = i q , es decir, que el factor de fase de posición F ( q ) es una constante (independiente de q ) en la ec. (6). Esto no implica que q ^ = i pags , es decir, que el factor de fase de cantidad de movimiento gramo ( pags ) es una constante también en la ec. (7).

Hacemos hincapié en que los dos factores de fase en las ecs. (6-7) no son solo un ejercicio académico. A menudo, por supuesto, uno trataría de elegir estados propios (2) tales que los factores de fase F y gramo desaparecen, como suele suponerse en los libros de texto elementales. Sin embargo, en los sistemas cuánticos reales, esto puede no ser posible por varias razones, por ejemplo, dependencia de parámetros externos u obstrucciones topológicas. En tales situaciones, los factores de fase F y gramo puede tener consecuencias físicas importantes.

Si

(a) q pags pags q = i pags = i d d q
después
(b) ( pags ) q q ( pags ) = i q = i d d ( pags ) = + i d d pags

Enlace relacionado: Hermiticidad del operador Momentum (matriz) representada en base a la posición