¿Prueba de que el oscilador armónico simple unidimensional no es degenerado?

El tratamiento estándar del oscilador armónico simple cuántico (SHO) unidimensional utilizando los operadores de aumento y disminución llega a la base contable de los estados propios { | norte } norte = 0 cada uno con el valor propio correspondiente mi norte = ω ( norte + 1 2 ) . Refiérase a esta construcción como la solución abstracta .

¿Cómo prueba también la unicidad la solución abstracta? ¿Por qué solo hay una secuencia única de estados propios contables? En particular, ¿se puede probar el estado | 0 Cuál es el estado fundamental único sin recurrir a la representación coordinada? (Se seguiría entonces que el conjunto { | norte } norte = 0 también es único.)

La condición de unicidad es obvia si se resuelve el problema en representación de coordenadas ya que entonces se trabaja en el campo de las ecuaciones diferenciales donde abundan los teoremas de unicidad. La mayoría de los libros de texto ignoran este detalle (especialmente porque a menudo resuelven el problema tanto en representación de coordenadas como de forma abstracta), sin embargo, he encontrado dos excepciones:

  • Shankar apela a un teorema que prueba que los sistemas unidimensionales no son degenerados, sin embargo, esto no es satisfactorio por dos razones:

    1. No todos los sistemas unidimensionales no son degenerados, sin embargo, se puede probar un resultado general para una gran clase de potenciales (el potencial SHO está en esa clase).
    2. La demostración requiere alejarse de la solución abstracta ya que clasifica los potenciales según sus propiedades funcionales.
  • Griffiths aborda esta preocupación en una nota al pie que indica que la ecuación a | 0 = 0 determina unívocamente el estado | 0 . Quizás esto se desprenda de la solución abstracta, sin embargo, no veo cómo.

Respuestas (2)

I) Depende de cuán abstracto OP quiera que sea. Digamos que descartamos cualquier referencia a la geometría 1D y los operadores de posición y momento. q ^ y pags ^ . Di que solo sabemos eso

(1) H ^ ω   :=   norte ^ + v 1 , v R ,
(2) norte ^   :=   a ^ a ^ ,
(3) [ a ^ , a ^ ]   =   1 , [ 1 , ]   =   0.

(Dado que hemos cortado cualquier referencia a la geometría, ya no hay ninguna razón por la cual v debe ser la mitad, por lo que lo hemos generalizado a un número real arbitrario v R .)

II) A continuación, suponga que los estados físicos viven en un espacio de producto interno ( V , , ) , y eso V formar una representación unitaria irreducible no trivial del álgebra de Heisenberg,

(4) A   :=   álgebra asociativa generada por  a ^ a ^ , y  1 .

El espectro de un operador semipositivo norte ^ = a ^ a ^ siempre es no negativo,

(5) S pags mi C ( norte ^ )     [ 0 , [ .

En particular, el espectro S pags mi C ( norte ^ ) está delimitado por abajo. Dado que el operador norte ^ conmuta con el hamiltoniano H ^ , nosotros podemos usar norte ^ clasificar los estados físicos. Esbocemos cómo funciona el argumento estándar. Dilo | norte 0 0 es un estado propio normalizado para norte ^ con valor propio norte 0 [ 0 , [ . Podemos usar el operador de escalera de descenso (aniquilación) a ^ repetidamente para definir nuevos estados propios

(6) | norte 0 1 , | norte 0 2 ,

que sin embargo podría tener norma cero. Dado que el espectro S pags mi C ( norte ^ ) está acotado desde abajo, este procedimiento de descenso (6) debe detenerse en muchos pasos finitos. Debe existir un entero metro norte 0 tal que se produce la norma cero

(7) a ^ | norte 0 metro   =   0.

Asumir que metro es el menor de tales enteros. la norma es

(8) 0   =   | |   a ^ | norte 0 metro   | | 2   =   norte 0 metro | norte ^ | norte 0 metro   =   ( norte 0 metro ) | |   | norte 0 metro   | | 2 > 0 ,

por lo que el valor propio original es un número entero

(9) norte 0   =   metro norte 0 ,

y ec. (7) se convierte

(10) a ^ | 0   =   0 , 0 | 0     0.

A continuación, podemos usar el operador de escalera ascendente (creación) a ^ repetidamente para definir nuevos estados propios

(11) | 1 , | 2 , .

Mediante un argumento de norma similar, uno puede ver que este procedimiento de elevación (11) no puede eventualmente crear un estado de norma cero y, por lo tanto, continúa para siempre/no se detiene. Inductivamente, en la etapa norte norte 0 , la norma sigue siendo distinta de cero,

(12) | |   a ^ | norte   | | 2   =   norte | a ^ a ^ | norte   =   norte | ( norte ^ + 1 ) | norte   =   ( norte + 1 )   norte | norte   >   0.

Asi que V contiene al menos una copia completa del espacio Fock estándar. Por otra parte, por el supuesto de irreductibilidad, el espacio vectorial V no puede ser más grande, y V es, por lo tanto, solo un espacio de Fock estándar (hasta el isomorfismo).

III) Finalmente, si V no es irreducible, entonces V podría ser una suma directa de varios espacios de Fock. En el último caso, el nivel de energía del estado fundamental es degenerado.

En particular, el caso III) significa que se necesita la representación en forma de un operador diferencial para concluir la no degeneración. (En el caso abstracto, en cambio, se asume la irreductibilidad).
@ArnoldNeumaier. Con esta respuesta y tu comentario, parece que concluiría lo siguiente. Dada la irreductibilidad del conjunto { PAGS , q } y las definiciones de a y a en términos de PAGS y q , la condición de irreductibilidad asumida arriba ahora seguiría y por lo tanto garantizaría la unicidad. He visto una prueba de la irreductibilidad de { PAGS , q } que se basa en la representación del operador diferencial. Quizás la siguiente pregunta sea si hay una prueba alternativa que no invoque esta representación.
@Evan: No puede haber una prueba sin la representación del operador diferencial. Para el producto tensorial de varias representaciones irreducibles j = 1 , . . . , norte produce una representación reducible para PAGS = PAGS j , q = q j / norte , el centro de movimiento de masas.
Sé que la publicación es antigua, pero no me queda claro qué garantiza que norte es positivo semidefinido
Hola ekardnam_ Gracias por los comentarios. Insinuación: ψ | norte ^ | ψ = | | a ^ | ψ | | 2 0 .

Cada sistema potencial unidimensional tiene un vacío único porque es el mínimo de los siguientes funcionales

| ψ | 2 + V ( X ) | ψ | 2 d X

Que se minimiza mediante una función de onda positiva real (sin nodos). Si hay dos mínimos diferentes (si hay una degeneración), entonces una combinación lineal de las dos funciones de onda tiene un nodo, y esto es inconsistente con un potencial regular.

La única forma de tener estados básicos degenerados (o dos estados básicos independientes separados) es que el potencial V tenga una pared dura infinita que separe diferentes regiones. De lo contrario, la función de onda del estado fundamental no desaparece en todas partes y el argumento de combinación lineal/nodo anterior funciona.

Para el oscilador armónico, es un poco más trivial de probar que estas cosas generales, porque el estado fundamental es aniquilado por el operador de aniquilación. X + i pags , y esta es una ecuación diferencial de primer orden con exactamente una solución hasta el cambio de escala, que es el estado fundamental gaussiano.