Cómo demostrar que la base inducida por un operador de escalera está completa

El hamiltoniano del oscilador armónico es un operador hermite, pero no es obvio que se apliquen los teoremas para los operadores hermite en espacios de dimensiones finitas, ya que el espacio es de dimensiones infinitas en este caso.

El problema no es del todo Sturm-Liouville, ya que el intervalo durante el cual se extienden las soluciones es toda la línea real. Sin embargo, el espectro es discreto: no hay continuo y los valores propios son reales. El operador es compacto y el espectro está limitado a continuación. Resulta para este caso que la teoría se va.

De esto se deduce que las funciones propias del oscilador armónico forman una base ortonormal completa para el espacio de funciones regulares en el infinito: funciones en [matemáticas] L ^ 2 (R) [/ matemáticas]. Este es el espacio de funciones integrables cuadradas en los números reales, con la norma [matemática] L ^ 2 [/ matemática], con integración definida en el sentido de Lebesgue.

Usar los operadores de escalera para construir explícitamente las funciones básicas no cambia en absoluto el resultado sobre la integridad: es completamente equivalente a resolver la ecuación de Schrödinger mediante otras técnicas. Los operadores de escalera simplemente factorizan la ecuación diferencial y permiten una solución fácil mediante técnicas de operador.

Se puede hacer algo similar para el átomo de hidrógeno no relativista, con la complicación de que también hay un continuo en este caso. Un operador con un espectro continuo es bastante más difícil de tratar, ya que las funciones propias continuas no son normalizables.

No conozco las condiciones más débiles que están permitidas en un operador hermitaño, por lo que la integridad de las funciones propias todavía es demostrable.

Gracias por A2A. David Kahana ha proporcionado una respuesta bastante completa, pero me gustaría agregar / parafrasear un par de puntos que podrían ayudar a proporcionar contexto.

En primer lugar, es bastante fácil demostrar que la base inducida por los operadores de escalera [1] es la base propia del Hamiltoniano (en el caso del oscilador armónico simple) o [matemática] L_z [/ matemática] (en el caso de rígido rotación del cuerpo con definiciones habituales). Ambos son operadores hermitianos. También se puede demostrar que en un espacio dimensional finito, los vectores propios de un operador hermitiano sin degeneración forman una base completa para el espacio (puede probar esto simplemente contando).

Hasta donde yo sé, es muy difícil demostrar la integridad cuando tienes un espacio de dimensiones infinitas. Creo que lo que dice David es que para el caso específico del oscilador armónico, donde los valores propios son reales y discretos, se puede mostrar que los vectores propios forman una base para el espacio de Lebesgue [matemática] \ matemática {L} ^ 2 [/ matemáticas]. (Debo admitir que realmente no sigo la prueba)

[1] Supongo que “operador de escalera” se refiere a [math] a, a ^ {\ dagger} [/ math] en el oscilador armónico, o a [math] L ^ +, L ^ – [/ math] que actúan en el subespacio constante [math] \ ell [/ math] del rotador rígido.