Elementos matriciales del operador de momento en representación de posición

Tengo dos preguntas relacionadas sobre la representación del operador de impulso en la base de posición.

La acción del operador cantidad de movimiento sobre una función de onda es derivarla:

pag ^ ψ ( X ) = i ψ ( X ) X

(1) ¿Está bien concluir de esto que:

X | pag ^ | X = i d ( X X ) X ?

¿Y qué significa esta expresión?

(2) Usando las ecuaciones:

X | X ^ pag ^ | X X = X | pag ^ X ^ | X X = X | pag ^ | X

y

X | [ X ^ , pag ^ ] | X = i d ( X X )

uno puede deducir que

X | pag ^ | X = i d ( X X ) X X

esta bien esta ecuacion? ¿Se sigue que

d ( X X ) X = d ( X X ) X X ?

Si te gusta esta pregunta, también puedes disfrutar leyendo este post.
Además, tenga cuidado al dividir por X X ya que esto solo se define cuando X X . De hecho, observe que @Qmechanic tiene cuidado de escribir sus identidades sin dividirlas por X X .
Gracias por todas las respuestas. Vea también la respuesta de Ron Maimon aquí (en la pregunta sugerida por @Qmechanic), que también responde a mi pregunta.

Respuestas (3)

1) Observe que al insertar un conjunto completo de estados de posición podemos escribir

pag ^ ψ ( X ) = X | pag ^ | ψ = d X X | pag ^ | X X | ψ = d X X | pag ^ | X ψ ( X )
entonces si establecemos
X | pag ^ | X = i X d ( X X ) = i X d ( X X )
entonces podemos usar la integración por partes para obtener
pag ^ ψ ( X ) = i d X X d ( X X ) ψ ( X ) = i d X d ( X X ) d ψ d X ( X ) = i d ψ d X ( X )
Entonces tu expresión es correcta. La derivada de una función delta se define esencialmente por la integración por manipulación de partes que acabo de realizar; de hecho, las derivadas de distribuciones en general se definen de manera análoga. Ver esta conferencia por ejemplo.

Espero que ayude; hágamelo saber de cualquier error tipográfico!

¡Salud!

1) El usuario joshphysics ya respondió correctamente la primera pregunta de OP.

2a) Con respecto a la segunda pregunta de OP, se deriva

i d ( X X )   =   i X | X   =   X | [ X ^ , pag ^ ] | X   =   X | X ^ pag ^ | X X | pag ^ X ^ | X
(A)   =   ( X X ) X | pag ^ | X   = ( 1 )   i ( X X ) X d ( X X ) .

En otras palabras,

(B) d ( X X )   =   ( X X ) X d ( X X ) ,

que también se sigue diferenciando la identidad

(C) ( X X ) d ( X X )   =   0

wrt. X .

2b) Ec. (B) no debe dividirse en ambos lados wrt. X X . El problema es esencialmente que la distribución 1 X d ( X ) está mal definido.

Un argumento de por qué esto es así es más o menos el siguiente. Recuerde que una manera de dar sentido a una distribución tu es evaluar en funciones de prueba suaves gramo : R C . Por ejemplo, si la distribución tu es la distribución delta de Dirac , entonces por definición

(D) tu [ gramo ]   :=   gramo ( 0 ) ,

o de manera equivalente, en una notación quizás más familiar,

(MI) R d X   d ( X ) gramo ( X )   :=   gramo ( 0 ) .

Uno no puede en general multiplicar 1 dos distribuciones, pero una puede multiplicar una función suave F : R C con una distribución tu . El producto F tu es por definición

(F) ( F tu ) [ gramo ]   :=   tu [ F gramo ] .

Así que si tu es la distribución delta de Dirac, se obtiene

(GRAMO) ( F tu ) [ gramo ]   :=   F ( 0 ) gramo ( 0 ) .

En el caso de OP, si tratamos de establecer F ( X ) = 1 X , entonces F ( 0 ) estaría mal definido.

Otro argumento menos formal es que si aceptamos erróneamente 1 X d ( X ) como una distribución, entonces somos propensos a contradicciones aparentemente sin sentido a la

X ( 1 X d ( X ) )   =   X ( 1 X d ( X ) )   =   ( X 1 X ) d ( X )
(H)   =   ( 1 X X ) d ( X )   =   1 X ( X d ( X ) )   =   1 X 0   =   0 , (¡Equivocado!)

es decir, hemos perdido la asociatividad de la multiplicación.

--

1 Ignoramos la teoría de Colombeau . Vea también esta publicación de mathoverflow.

Este detalle extra fue muy agradable; Encuentro útiles todas sus publicaciones sobre distribuciones; gracias Qmecánico.

@joshphysics dio una excelente ilustración de por qué su primera parte, es decir, ⟨x|p^|x′⟩=−iℏ∂δ(x−x′)∂x? es consistente con la mecánica cuántica;

Revisemos su segunda parte de manera bastante intuitiva.

Ya que en general:

X gramo ( X ) F ( X ) d X = F ( X ) d d X ( X gramo ( X ) ) d X = F ( X ) ( X gramo ( X ) + gramo ( X ) ) d X
Si
F ( X ) = d ( X )
Concluimos que:

F ( X ) ( X gramo ( X ) + gramo ( X ) ) d X = d ( X ) gramo ( X ) d X = X gramo ( X ) d ( X ) d X

De este modo

d ( X ) = 1 X d ( X )

es verdad en matematicas