Estados propios de cantidad de movimiento y energía de una partícula libre

Dado el operador de cantidad de movimiento PAG ^ := i d d X , según tengo entendido, las ecuaciones de valores propios son

PAG ^ F pag ( X ) = i d d X F pag ( X ) = pag F pag ( X )
y las funciones propias que corresponden a esto son
F pag ( X ) = A mi i pag X .
Dado entonces que el cuadrado de este operador PAG ^ 2 viaja con PAG ^ , entonces [ PAG ^ , PAG ^ 2 ] = 0 , se deduce que los dos operadores comparten un conjunto común de estados propios que forman una base (aparentemente en algo llamado espacio de Hilbert amañado) tal que cualquier estado cuántico, representado como un miembro de algún espacio de Hilbert puede escribirse como una combinación lineal de elementos de estos vectores base (este es un postulado de QM).

Pregunta: Sé que todos los vectores propios de PAG ^ son vectores propios de PAG ^ 2 (que son de la forma F pag ( X ) = A mi i pag X ) esto es fácil de mostrar. Pero, ¿cuáles son los vectores propios de PAG ^ 2 que no son vectores propios de PAG ^ y ¿puedes formar una base de tales vectores? Gracias.

Respuestas (2)

tu pides

los vectores propios de pag ^ 2 que no son vectores propios de pag ^ .

Estos existen: cada onda plana | pag es un vector propio de pag ^ con valor propio pag , y un vector propio de pag ^ 2 con valor propio pag 2 , lo que significa que la onda plana | pag tiene el mismo valor propio de pag ^ 2 . Esto significa, a su vez, que cualquier combinación lineal de los dos seguirá siendo un vector propio de pag ^ 2 .

Como un ejemplo rápido de cómo convertirlos en una base, simplemente puede considerar la base

{ | pag + | pag 2 | pag 0 } { | pag | pag 2 | pag < 0 } ,
que consta de ondas planas de valor real con funciones de onda de representación de posición
X | | pag + | pag 2 = 1 π porque ( pag X ) y X | | pag | pag 2 = i π pecado ( pag X ) ,
respectivamente. Debería ser un ejercicio relativamente fácil para usted transformar la relación de completitud sobre el | pag estados para mostrar que estos son una base. (Al hacer eso, por cierto, no importa el cero: todas sus integrales son integrales de Lebesgue, y los valores puntuales no importan).

En tres dimensiones, por supuesto, se vuelve un poco más complicado (es necesario cambiar la condición pag > 0 para un conjunto que incluye la mitad de todos pag espacio, para este ejemplo) pero también tienes más libertad, ya que hay un conjunto mucho más grande de pag s que comparten lo mismo pag 2 .

Gracias por tu respuesta. Usted afirma que " | pag es un vector propio de PAG ^ 2 con valor propio pag " pero | pag es en realidad un vector propio de PAG ^ 2 con valor propio pag 2 , tal vez es la forma en que lo redactaste... De todos modos, tu punto era que | pag y | pag ambos son vectores propios de PAG ^ 2 con el mismo valor propio pag 2 y por lo tanto, como dos vectores propios diferentes correspondientes a un valor propio degenerado, cualquier combinación lineal también es un vector propio, ¿era ese el punto?
@Alex Tienes razón, ese es un ejemplo de muchas personas que piensan una cosa y escriben algo completamente diferente. Gracias por captar eso.

Suponga que la dimensión del espacio es D . Dejar F : L ( Φ ) L ( Φ ) ser una función que lleva operadores lineales a operadores lineales que está en el cierre de funciones polinómicas. Considerar F ( PAG ) | ψ = mi | ψ dónde | ψ 0 . De este modo:

q | F ( PAG ) | ψ = F ( q ) q | ψ = mi q | ψ
Desde | ψ 0 , hay al menos un q tal que q | ψ 0 y entonces mi = F ( q ) (Aquí usamos el hecho de que F está en el cierre de funciones polinómicas). Si F ( pag ) F ( q ) entonces pag | ψ = 0 ( mi es un número constante). Por el contrario, si F ( pag ) = F ( q ) = mi , entonces F ( PAG ) | pag = mi | pag y porqué d D pag | pag pag | = I entonces:

| ψ q = F ( pag ) = F ( q ) d pag α ( pag ) | pag

cual q varía sobre R D y α es una función Por lo tanto, si F es inyectiva, entonces un vector propio de F ( PAG ) es | q que su valor propio es igual a mi = F ( q ) . Es por eso que los vectores propios del operador de evolución temporal son exactamente los del hamiltoniano.

En tu caso, F ( pag ) = pag 2 y no es inyectivo por lo que los vectores propios de PAG 2 está en esta forma:

| ψ q = pag 2 = q 2 d pag α ( pag ) | pag

cual q varía sobre R D y α es una función