La solución explícita de la ecuación de Schrödinger dependiente del tiempo para una partícula libre que comienza como una función delta

Un hilo anterior analiza la solución de la ecuación de Schrödinger dependiente del tiempo para una partícula masiva en una dimensión que comienza en el estado Ψ ( X , 0 ) = d ( X ) . Esto se puede resolver fácilmente en la representación del momento, dando la solución como

Ψ ( X , t ) = 1 2 π mi i metro 2 t X 2 mi i t 2 metro ( k metro t X ) 2 d k ,
y esta transformada de Fourier a la representación de posición es una integral de Fresnel que se puede integrar explícitamente para dar la solución explícita
( ) Ψ ( X , t ) = { d ( X ) t = 0 , metro 2 π | t | mi i s gramo norte ( t ) π / 4 Exp [ i metro X 2 2 t ] t 0.

Ahora bien, este procedimiento a veces puede parecer un poco retorcido y deja una duda persistente sobre si la solución en ( ) en realidad satisface la ecuación diferencial

(S) i t Ψ ( X , t ) = 2 2 metro 2 X 2 Ψ ( X , t )
en algún sentido adecuado.

Si bien puede parecer solo un caso de llenar los vacíos, en función del tiempo, Ψ ( X , t ) es muy irregular en t = 0 , ya que contiene una singularidad en el factor de mi i s gramo norte ( t ) π / 4 / | t | = 1 / i t , y la exponencial

Exp ( i metro X 2 2 t ) = porque ( metro X 2 2 1 t ) + i pecado ( metro X 2 2 1 t )
oscila infinitamente rápido en t 0 ± , por lo que el comportamiento de la solución en el t = 0 la línea es muy irregular (y de hecho tiene una singularidad esencial ). Esto es de esperar hasta cierto punto: la condición inicial Ψ ( X , 0 ) = d ( X ) es una distribución , y la ecuación de Schrödinger llama, como mínimo, la segunda derivada de esa función delta, por lo que en la medida en que se cumpla la ecuación de Schrödinger, será solo en algún tipo de sentido distribucional ; esto probablemente será un poco desafiante, pero de lo contrario debería ser posible.

Entonces, solo para llenar los vacíos: en qué sentido, y sin referirse a la representación del momento, es ( ) una solución de ( S ) ?

Respuestas (1)

Prueba esbozada: si definimos una distribución regularizada

Ψ ϵ [ F ; t ]   :=   R 2 d X   d k 2 π   F ( X ) Exp { i k X k 2 2 metro ( ϵ + i t ) } (A)   =   metro 2 π ( ϵ + i t ) R d X   F ( X ) Exp { metro X 2 2 ( ϵ + i t ) } , t     R , ϵ     R + ,

para una función de prueba espacial F , se puede mostrar en primer lugar a través del teorema de convergencia dominada de Lebesgue que Ψ ϵ [ F ; t ] se convierte en la distribución delta de Dirac

(B) límite ϵ 0 + límite t 0 Ψ ϵ [ F ; t ]   =   d [ F ]   :=   F ( 0 ) para t     0 ,

y en segundo lugar que los regularizados Ψ ϵ [ F ; t ] cumple TDSE para t R y ϵ R + . Aquí la derivada espacial

(C) Ψ ϵ , X X [ F ; t ]   :=   Ψ ϵ [ F X X ; t ]
se define en el sentido usual de distribución.