¿Qué tan rápido se desvanece una función de onda en el infinito?

Cuando resuelvo sistemas mecánicos cuánticos unidimensionales, me encuentro muy confundido acerca del comportamiento de las funciones de onda en el infinito. Primero impongamos tres restricciones razonables:

  1. la energía potencial V ( X ) está acotado y tiene un número finito de discontinuidades.
  2. La función de onda está normalizada en el espacio de posición (por lo que no se permiten las distribuciones Delta de Dirac).
  3. El operador de cantidad de movimiento es hermitiano en el espacio de posición (esta condición exige que la función de onda se anule en el infinito para que el término de superficie desaparezca).

Lo que encuentro interesante es que, en ejemplos simples, las funciones de onda siempre se desvanecen exponencialmente rápido en el infinito. Por ejemplo, el paquete de ondas de partículas libres cae como gaussianas, las funciones de onda del oscilador armónico son gaussianas multiplicadas por polinomios de Hermite, y las funciones de onda del pozo cuadrado finito caen como mi X . Dadas tales caídas exponenciales, es obvio que el operador de posición es hermitiano y su valor esperado está bien definido. Sin embargo, podemos inventar funciones de onda que se desvanecen a la velocidad de los polinomios inversos y el valor esperado del operador de posición puede quedar mal definido en estos contextos. Por ejemplo, considere una función de onda que cae como 1 / X 2 . Entonces es obvio que el valor esperado de X 3 no esta bien definido:

ψ ( X ) X 3 ψ ( X ) d X 1 X d X
Entonces, ¿aparecen estas funciones de onda en hamiltonianos reales? Dadas las tres restricciones anteriores, ¿podemos encontrar un potencial V ( X ) tal que la función de onda cae como un polinomio inverso en lugar de exponencial ?

Su pregunta está relacionada con la regularidad y el decaimiento de las funciones y su transformada de Fourier (posición y momento, si lo prefiere). Le sugiero que eche un vistazo a la teoría de la distribución temperada que involucra en particular el espacio de Schwartz S de la función de caída rápida, consulte el artículo .
@claudechuber Estaba pensando en dar una respuesta a estas ideas cuando vi tu comentario. Pero no estoy seguro de que ninguno de nosotros responda a la pregunta a pesar de que definitivamente es información relevante. Creo que la pregunta se reduce a por qué o cuándo solo surgen distribuciones temperadas / elementos espaciales de Schwartz como soluciones de la ecuación de Schrödinger.
bueno, siempre puedes inventar tu propia función propia ψ ( X ) , como por ejemplo ψ ( X ) = 1 X 2 norte + 1 , e inserte esto en la ecuación de Schrödinger y resuelva para V ( X ) . En cualquier caso, para potenciales de ley de potencia, la función de onda siempre se desvanece exponencialmente rápido en el infinito espacial (ver, por ejemplo, arxiv.org/abs/quant-ph/9902081 ecuación 2.10).
Relacionado: physics.stackexchange.com/q/331976/2451 y enlaces allí.

Respuestas (1)

Pregunta muy interesante! Comenzaré describiendo algunos de los conceptos básicos matemáticos para esta pregunta:

  • Estás buscando un estado acotado de algún potencial V , es decir, un estado sin dispersión. Matemáticamente, esto se traduce en un L 2 -función propia integrable del operador de Schrödinger Δ + V .

  • Por regularidad elíptica, para estas funciones obtienes instantáneamente lo que entiendo como tu condición (3) (La afirmación más precisa sería que ψ se encuentra en el dominio de la versión autoadjunta de pags ^ ). Básicamente, el argumento aquí es que ψ tiene que ser dos veces diferenciable, al reorganizar la ecuación de Schrödinger, para su clase de potenciales tendrá Δ ψ L 2 , por transformada de Fourier se obtiene que la primera derivada también será L 2 . Por eso, pags ^ está bien definido para ψ .

La idea básica de por qué la mayoría de los estados ligados con los que se encontrará están decayendo exponencialmente proviene de la siguiente idea: suponga que lejos del origen, V es monótono, es decir, no oscila. Esto nos permite estimar V desde abajo por un potencial de caja, lo que implica que un estado acotado de V estará dominado por un estado acotado del potencial de caja. Los estados acotados de los potenciales de caja decaen exponencialmente, por lo tanto, el estado decaerá exponencialmente. Este argumento se puede hacer explícito utilizando principios máximos para PDE elípticas, puede aumentar los detalles matemáticos en, por ejemplo

Berezin y Shubin, La ecuación de Schrödinger (Springer 1991).

Entonces, a partir de esta argumentación, la respuesta a su pregunta es casi no para los potenciales que son monótonos en el exterior. Por "casi", quiero decir que puede haber tales funciones en valores distinguidos, pero físicamente irrelevantes de mi , por ejemplo, considere el potencial

V ( X ) = 2 6 X 2 ( 1 + X 2 ) 2
que se ve así:

V(x)

Ahora puede comprobar que ψ ( X ) = 2 π 1 1 + X 2 es una función propia normalizada para este potencial con valor propio 0. El operador de impulso está bien definido para este ψ y ψ obviamente decae solo polinomialmente para X . Entonces, ¿qué pasó aquí? Si intenta usar el argumento de "caja", compararía con una caja que es completamente negativa lejos del origen (recuerde, la caja estima el potencial desde abajo), ¡así que 0 ya es un estado de dispersión para la caja! Sin embargo, al observar el potencial, verá que esto solo puede ser el caso para este valor exacto de mi - incluso para un ϵ más energía, obtendrá un estado de dispersión ya que V 0 por X ; y por un ϵ menos, obtendrá un estado límite que puede estimar nuevamente por un cuadro, por lo tanto, decae exponencialmente. Dado que no puede preparar un estado con una energía exacta, esto no es físicamente relevante. En términos generales, este fenómeno sólo debería ocurrir en mi = Lim sup | X | V ( X ) , ya que esto corresponderá a la energía más baja posible para los estados de dispersión.

Entonces, ¿qué puede pasar si abandonamos la condición de "monotonicidad-lejos-afuera"? Creo que en este caso, debería ser posible obtener el tipo de estados que está buscando. Mi intento de construcción es el siguiente: Dejemos V Sea una colección de potenciales de caja donde las cajas tienen altura constante y se vuelven más delgadas a medida que X se vuelve más grande, por ejemplo, algo que se parece vagamente a esto:

ingrese la descripción de la imagen aquí

Si le molestan las infinitas discontinuidades, el comportamiento que describiré debería ser exactamente el mismo para una versión suavizada de este potencial.

Ahora, un estado ligado de este potencial oscilaría alrededor 0 dónde V = 0.5 y decaer donde V = + 0.5 . La tasa de decaimiento (exponencial) donde V = 0.5 es siempre el mismo, al controlar el ancho de las cajas, puede controlar exactamente qué tan rápido decae su estado límite, por ejemplo, puede lograr que cada vez que pase la parte positiva de la caja, su amplitud disminuya a la velocidad 1 / X 2 . Los detalles son probablemente muy técnicos y sospechosos, pero creo que, en principio, esto debería funcionar.

¡Muchas gracias por esta brillante respuesta! Ahora, suponiendo que su construcción funcione rigurosamente, ¿conoce alguna situación física en la que surja tal potencial? Si es así, ¿cómo hacemos frente al hecho de que los altos poderes del operador de posición no sean hermitianos? Si no es así, ¿cree que hay una razón por la cual los potenciales físicos no crearán estas funciones de onda que decaen levemente?
No estoy seguro, pero realmente no creo que el potencial surja en ninguna situación real: no es periódico, por lo que no puede aparecer en ninguna configuración de celosía. Para modelarlo, tendrías que poner muchas partículas a distancias muy especiales entre sí, lo que supongo que es casi imposible ya que no hay una configuración similar a un cristal donde puedas hacer esto. Además, en cada situación física puedes simplemente cortar tu espacio a una distancia muy grande, es decir, terminas en algún lugar. L 2 ( Ω ) para acotado Ω , por lo que todos los poderes de sus operadores deben permanecer bien definidos.
También creo que una razón física no trivial (es decir, aparte de "la naturaleza tiende a estar bien definida") es probablemente difícil de encontrar. En QM no relativista, todo esto está estrechamente relacionado con la estructura del hamiltoniano. Matemáticamente hablando, los hamiltonianos no relativistas generalmente tienen un comportamiento muy regular, lo que da como resultado que todas las cosas físicamente importantes estén bien definidas. Por lo tanto, diría que debe preguntarse por qué el hamiltoniano tiene esta estructura particular, que es una pregunta muy, muy profunda para la que nadie tiene una respuesta, que yo sepa.
Tal vez pueda agregar este pensamiento: no hay ninguna razón física por la que exista el valor esperado de x ^ 3 o x ^ 2 o incluso x. La predicción de QM es que, si realiza una medición, observa la descomposición espectral del operador y el valor esperado de este resultado viene dado por el valor esperado del proyector a partir de esta descomposición. Básicamente, en este ejemplo obtienes una probabilidad para cada intervalo de la línea real. Esta probabilidad tiene que ser sumable, por supuesto. Pero ponerle un valor arbitrario (como 'x' o 'x^2') puede romperlo fácilmente.