Estoy tomando una clase de introducción a la mecánica cuántica y aunque requerimos que la función de onda (¿rápidamente?) decaiga en el infinito, no estoy completamente seguro de por qué. No tengo experiencia en física (tomé mecánica AP en la escuela secundaria), pero me especializo en matemáticas.
El libro (Griffiths) afirma que se requiere el decaimiento en el infinito para que el poder es finito, pero ciertamente hay ejemplos no demasiado patológicos de funciones que no decaen en el infinito. Ciertamente es muy útil, ya que permite que desaparezcan los términos de los límites, pero aparte de eso, no veo por qué es necesario.
Después de pensarlo más, pensé que tal vez las funciones de onda están destinadas a ser funciones de Schwartz. Cuando aprendí sobre la transformada de Fourier (que es muy importante en QM, según tengo entendido), primero la definimos en la clase de funciones de Schwartz, luego la extendimos por continuidad al resto de y , ya que la clase de Schwartz es densa en . Pero entonces tenemos una transformada de Fourier perfectamente fina en , entonces, ¿por qué limitarnos a las funciones de Schwartz?
De hecho, no es más que un requisito vago y, en rigor, falso que se puede encontrar en algunos libros de mentalidad física (también de muy buen nivel).
Sin embargo, existen situaciones físicas en las que la regularidad de las funciones utilizadas implica que deben desaparecer en el infinito. Si se está resolviendo la ecuación estacionaria de Schroedinger y el potencial es lo suficientemente regular, los vectores propios deben ser en consecuencia regulares debido a los teoremas conocidos (especialmente debido a Weyl) sobre la regularidad elíptica . En algunos casos la regularidad más el requisito de que la función pertenezca a y cierto control del valor asintótico de algunas derivadas (que surgen de una buena forma asintótica del potencial) implica que la función de onda debe desaparecer en el infinito.
Por otro lado, desde un punto de vista físico, es imposible preparar un estado en el espacio trabajando arbitrariamente lejos de una posición dada donde se localizan los instrumentos físicos. Por lo tanto, es razonable suponer que los estados físicamente realizables se describen mediante funciones de onda que se desvanecen fuera de una región espacial suficientemente grande. Esto, a su vez, implica un requisito correspondiente sobre observables físicamente accesibles y su realización realista (no tiene sentido suponer que se llena el universo con detectores). Sin embargo, estos son requisitos físicos que no deben confundirse con restricciones matemáticas .
En cambio, desde un punto de vista matemático puro, ningún requisito sobre un decaimiento rápido en el infinito se aplica a las funciones de vawe en (es fácil de construir suave funciones con oscilaciones cada vez mayores como y operadores hamiltonianos fuertemente no físicos correspondientes cuyos estos monstruos son funciones propias). Tampoco se aplica ninguna condición de regularidad fuerte. De hecho, estas funciones están definidas hasta conjuntos de medida cero y todos los operadores que representan observables, para ser correctamente autoadjuntos (no simplemente hermitianos), son la clausura de operadores diferenciales cuyos dominios finales son, por lo tanto, espacios de tipo Sobolev: se requieren derivadas para existir en un sentido débil a lo sumo.
Las únicas excepciones son probablemente las funciones propias de los operadores hamiltonianos con potenciales suficientemente regulares, donde tanto la regularidad de Sobolev como los resultados de regularidad elíptica pueden aplicarse y fuera de las singularidades del potencial, las funciones propias son (o incluso suave) en un sentido propio.
La restricción al espacio de Schwartz puede tener sentido porque la mayoría de los operadores tienen dominios de autoadjunción que incluyen ese espacio (que a veces también es un núcleo de los operadores) y también porque el espacio de Schwartz es denso en .
Sin embargo, resulta ser una restricción demasiado fuerte también en algunos casos elementales. Piense en un operador hamiltoniano 1D con un potencial con una leve discontinuidad. No admite funciones propias de tipo Schwartz.
ejemplo _
Construyo aquí un verdadero monstruo sin significado físico, pero permitido por los requisitos matemáticos de QM.
Considere una función construido de esta manera. alcanza el valor en todas partes excepto en cada intervalo
A continuación, modifique suavemente en cada intervalo para producir una función suave no negativa con preservando así la finitud de la integral de .
Definir finalmente
Observa eso es una función propia (un vector propio propio ya que pertenece a ), del hamiltoniano
Se mantiene
Esto podría ser capaz de responder a su pregunta en parte. Sin embargo, el Prof. Moretti tiene una mejor respuesta.
Considere problemas unidimensionales, en el espacio de Hilbert .
Las funciones de onda, como las llama la gente, suelen ser funciones propias del hamiltoniano, es decir, el operador de energía. Incluso de lo contrario, están asociados con algún operador físico Hecho de o . cualquier espacio se define en, estas funciones de onda se encuentran en ese espacio.
A menos que defina estos operadores correctamente, para empezar no son autoadjuntos; olvídate de sus sumas o composiciones.
Del teorema de Stone, definimos y como generadores de transformaciones unitarias apropiadas y el teorema arroja un dominio especial para la autoadjunción. Los dominios (y sus imágenes debajo del mapa) no son idénticos, no podemos definir composiciones como y sobre ellos por ejemplo.
Sin embargo, nos salimos con la nuestra usando el espacio de Schwartz. como dominio para todos ellos. Es un subconjunto denso de que se mapea sobre sí mismo bajo la acción habitual de y . Entonces podemos definir todo tipo de sumas y composiciones en el espacio de Schwartz. Sin embargo, su autoadjunción no está garantizada ni siquiera entonces. Pero para el mejor ejemplo que siempre damos, el oscilador armónico,
es esencialmente autoadjunto. Por lo tanto, su extensión autoadjunta única tiene todas sus funciones propias.
Sin embargo, las funciones de onda no necesitan ser realmente funciones propias. Podemos preparar estados como un paquete de ondas gaussianas. No estoy muy seguro de lo que se les puede permitir en pleno rigor.
Entonces, para responder a su pregunta lo mejor que pueda, de hecho, las funciones de onda a menudo se encuentran en el espacio de Schwartz. Pero la gente puede encontrar algunos ejemplos locos de otra manera. No estoy muy familiarizado con eso.
Sean E. Lago
ZeroTheHero
qmecanico