¿Puede una función normalizable *siempre* descomponerse en el espectro de hidrógeno discreto?

Esta pregunta me ha estado molestando por un tiempo: ¿se puede reconstruir una función arbitraria (normalizable) ϕ ( r ) en R 3 , con solo el conjunto ( discreto ) de funciones de onda de hidrógeno (o, por ejemplo, funciones propias del oscilador armónico 3D), ¿o también se deben incluir los estados libres? Hay muchas fuentes (Griffiths, otros) que sugieren que se trata de una base "completa", a partir de la cual podemos construir cualquier función no patológica.

Sin embargo, si son completos, ¿cómo pueden ser ortogonales a los estados libres? Notaré que hay preguntas muy similares hechas en otras partes de Physics SE, aquí y aquí : una pregunta si los estados continuos deben incluirse en la expansión perturbativa (¡aunque casi siempre se omite!), Otro sugiere que los estados libres son un 'complemento ortogonal ' (en algún lugar de los comentarios), pero no parece haber consenso. Se agradecería una aclaración.

" Sin embargo, si son completos, ¿cómo pueden ser ortogonales a los estados libres? " porque los estados libres son patológicos.
¿No puedes construir estados libres que sean paquetes de ondas normalizables?
Lo alentaría a vincular los ejemplos que cita (principalmente porque esta pregunta aparecería Linkedallí). Buena pregunta.
Muy relacionado: physics.stackexchange.com/q/44839/50583 ; También es útil porque describe cómo obtener estados de dispersión normalizables: physics.stackexchange.com/q/90101/50583
@EmilioPisanty sí, estoy tratando de encontrarlos. ACuriousMind ya encontró uno, agregaré un enlace a la pregunta.
El "parece que no hay consenso" podría deberse a que mi respuesta fue incorrecta en uno de los enlaces que ahora eliminé. Si es así, lo siento.
@ ACuriousMind gracias por eso. Parece que ya has pisado este terreno. ¿Quieres responder?
Creo que un concepto necesario en esta discusión es el del espacio de Rigged Hilbert . No tengo la formación matemática para aventurarme a dar una respuesta, pero puedes ver respuestas como esta: physics.stackexchange.com/questions/43515/… ? y tal vez comprender algunos de los antecedentes matemáticos formales de este problema.

Respuestas (2)

En respuesta a la pregunta del título: no, no siempre se puede descomponer un L 2 función en términos de sólo el espectro unido de hidrógeno.

Esto se debe a que existen funciones ortogonales para todos los estados ligados, que naturalmente representan los estados libres del electrón. Los ejemplos más rápidos son, por supuesto, las funciones propias de onda de Coulomb | x mi , yo , metro del espectro continuo del hidrógeno, y estos no son normalizables, pero se pueden tomar combinaciones de la forma

| ψ = yo , metro F yo metro ( mi ) | x mi , yo , metro d mi
que caen en L 2 , y que son ortogonales a todos los estados ligados desde las ondas de Coulomb | x mi , yo , metro son ortogonales a los estados ligados (ya que son funciones propias del mismo operador con diferentes valores propios.

Esto se aclara aún más en esta respuesta de Arnold Neumaier y en esta pregunta ; una respuesta anterior a esta pregunta establece que las ondas continuas de Coulomb no son formalmente parte del espacio de Hilbert, pero eso no significa que su "tramo" informal no lo sea.

Para obtener más información sobre estas cosas (incluidas las pruebas formales de ortogonalidad y (no) completitud, etc.), me gustan las Lecciones sobre mecánica cuántica para estudiantes de matemáticas de LD Faddeev y OA Yakubovskii y Mecánica cuántica para matemáticos de LA Takhtajan (con una punta de sombrero a Anatoly Kochubei aquí por las referencias).


Si desea un ejemplo concreto de algo que se ubicará fuera del alcance del espectro limitado, simplemente tome un paquete de ondas gaussianas que vaya lo suficientemente rápido,

(1) ψ ( r ) = ( 2 π σ 2 ) 3 / 2 Exp ( ( r r 0 ) 2 2 σ 2 + i k z ) ,
proyecte los componentes de estado límite y normalice: por consideraciones físicas, debe quedar con un resto distinto de cero.

Como se señaló en el comentario de Ruslan, la función de onda en ( 1 ) debe incluir un soporte distinto de cero fuera de la variedad de estado ligado, porque cualquier combinación de la forma norte , yo , metro a norte , yo , metro | norte , yo , metro siempre tendrá un valor esperado negativo de la energía, mientras que el estado en ( 1 ) tendrá energía esperada positiva siempre que k y 1 / σ son lo suficientemente grandes. Eso se reduce a un cálculo de rutina, por lo que no lo realizaré aquí, pero el núcleo es obvio por consideraciones físicas y si realmente le importa, entonces es un procedimiento de rutina para convertirlo en un argumento riguroso.


En cualquier caso, no estoy seguro de cómo alguna de estas respuestas no estaba clara, pero para ser completamente explícito:

  • Los estados propios del continuo de ondas de Coulomb del hamiltoniano hidrogenado son ortogonales a los estados ligados. (Los autoestados mismos no están en L 2 , a través del habitual galimatías de estado no normalizable, pero pueden ser combinaciones lineales de ellos, y permanecerán ortogonales a los estados ligados.)

  • Los estados ligados del hamiltoniano hidrogenado no son una base completa para L 2 ( R 3 ) .

Su pregunta no incluye ningún ejemplo específico de fuentes que afirmen lo contrario, por lo que es imposible comentar más sobre por qué tuvo la impresión incorrecta de que no hay consenso sobre ninguno de los dos puntos anteriores.

gracias por la respuesta. ¿Es esto cierto también para las funciones de onda reales? Pensé que esto sería equivalente a una función de onda gaussiana a través de la transformación de calibre local exp(if(r))...
Obviamente que sí. Si R mi ( ψ ( r ) ) y yo metro ( ψ ( r ) ) estuvieran en el lapso de los estados ligados, entonces también lo estaría ψ .
¿Puedes mostrar matemáticamente que tu ejemplo tiene un resto distinto de cero? No es obvio para mí que no pueda descomponer, por ejemplo, exp (-r ^ 2) * cos (kr) en estados de hidrógeno para un valor finito arbitrario de k. Estoy tratando de evitar confiar en consideraciones físicas: para empezar, me pusieron en este dilema.
@ConfusinglyCuriousTheThird para cualquier estado, su energía media no puede ser mayor que la energía del estado base más energético utilizado para la expansión. Así si tomas ψ tener mi > 0 , entonces ningún conjunto de funciones de onda de estado ligado de hidrógeno podrá representarlo; debe haber al menos una función con mi > 0 en la expansión de ψ , pero los estados unidos por hidrógeno siempre tienen mi < 0 .
@EmilioPisanty gracias por el material agregado explícito. Cierta confusión proviene de esta perspectiva: puedo expresar los estados propios de energía negativa a través de la transformada de Fourier como ϕ i ( pags ) . Pero este es precisamente el estado de los estados libres (base del momento de las ondas planas, en una descomposición cartesiana) al que deberían ser ortogonales. ¿Se obtienen entonces los "estados libres verdaderos" "restando" los estados ligados de los estados de onda plana cuando está presente un potencial de ligadura?
@EmilioPisanty Con respecto a tu ejemplo ψ ( r ) en la respuesta: la densidad de probabilidad | ψ | 2 no se ve afectado por la adición de la onda plana; ¿Esto realmente se encuentra fuera del alcance de las funciones propias de energía negativa?
@Conf Sí. Hay más en las funciones de onda que solo su módulo (o usaríamos densidades en lugar de amplitudes). En este caso, la energía cinética esperada crece linealmente con k 2 (y también linealmente con 1 / σ 2 ), mientras que la energía potencial esperada es en gran medida independiente de las dos, por lo que si esas dos son lo suficientemente grandes, la energía total esperada será positiva. Sin embargo, no hay sustituto para que te sientes y pongas la pluma en el papel, antes de que comiences a culpar a los demás por tu "insatisfacción" con la mecánica cuántica.

Si integra la colección de estados continuos del átomo de hidrógeno, ponderados por una función suave, sobre un conjunto abierto y acotado en el espacio de parámetros en términos del cual se parametriza este conjunto, obtiene un estado normalizable ortogonal a todos los estados de energía discretos. .