Prueba de que la constante de normalización de la función de onda es independiente del tiempo

Estoy tratando de probar que la constante de normalización es independiente del tiempo. Si lo hemos fijado para un tiempo en particular, permanecerá constante para todo el tiempo.

Suponer ψ ( X , t ) es una función de onda.
Dejar A ( t ) Sea la constante de normalización de ψ ( X , t )
Entonces (1) A A | ψ ( X , t ) | 2 d X = 1
(2) d d t A A | ψ ( X , t ) | 2 d X = 0
(3) | ψ ( X , t ) | 2 d X d d t A A + A A d d t | ψ ( X , t ) | 2 d X = 0

Ahora primero analiza, d d t | ψ ( X , t ) | 2 d X
(4) d d t | ψ ( X , t ) | 2 d X = t | ψ ( X , t ) | 2 d X
(5) t | ψ ( X , t ) | 2 d X = t ( ψ ψ ) d X = ψ ψ t = ψ ψ t
Por ecuación de Schrödinger dependiente del tiempo
(6) ψ t = i h ¯ 2 metro 2 ψ X 2 i h ¯ V ψ
También, (7) ψ t = i h ¯ 2 metro 2 ψ X 2 + i h ¯ V ψ

Entonces, (8) | ψ | 2 t = ψ ( i h ¯ 2 metro 2 ψ X 2 i h ¯ V ψ ) + ψ ( i h ¯ 2 metro 2 ψ X 2 + i h ¯ V ψ )
(9) | ψ | 2 t = i h ¯ 2 metro ( 2 ψ X 2 2 ψ X 2 )
(10) | ψ | 2 t = X [ i h ¯ 2 metro ( ψ ψ X ψ ψ X ) ]
(11) d d t | ψ ( X , t ) | 2 d X = X [ i h ¯ 2 metro ( ψ ψ X ψ ψ X ) ] d X
(12) d d t | ψ ( X , t ) | 2 d X = i h ¯ 2 metro ( ψ ψ X ψ ψ X ) |
Como ψ ( X , t ) 0 como X ± .
Entonces, (13) d d t | ψ ( X , t ) | 2 d X = 0
Entonces, ( 3 ) se convierte
(14) | ψ ( X , t ) | 2 d X d d t A A = 0
Como ψ es integrable al cuadrado, entonces | ψ ( X , t ) | 2 d X = C dónde C R y C 0
Entonces, (15) d d t A A = 0
(dieciséis) | A | 2 = C o norte s t a norte t

Tengo las siguientes dudas de la prueba
(i) De ( 11 ) a ( 12 ) , en la RHS, hemos utilizado el teorema fundamental del cálculo.
La integración de la derivada es la antiderivada. a b F ( X ) d X = F ( X ) . Pero aquí la condición es que f tiene que ser continua y diferenciable en [ a , b ] con F integrable en [ a , b ] .
Entonces, en X [ i h ¯ 2 metro ( ψ ψ X ψ ψ X ) ] d X , nosotros tomamos ( ψ ψ X ψ ψ X ) a ser continuo. Como ψ y ψ es continua, esto quiere decir que ψ X también es continuo. Pero sabemos en general que la primera derivada de ψ también puede ser discontinuo. Entonces, ¿cómo hemos usado el teorema fundamental del cálculo aquí?

(ii) De ( 12 ) a ( 13 ) , hemos tomado i h ¯ 2 metro ( ψ ψ X ψ ψ X ) | = 0 usando el hecho de que ψ 0 como X ± . Pero esto también significa que ψ X 0 como X ± . Pero, ¿cómo podemos estar seguros de que ψ X ¿está ligado?

(iii) En ( dieciséis ) , obtenemos | A | 2 = C o norte s t a norte t . Pero de esto como obtenemos A ( t ) = C o norte s t a norte t .
| A | 2 constante significa que la magnitud del vector en el plano complejo es constante, pero puede suceder que el ángulo de A cambios. Este ángulo cambia en función de t . Entonces, ¿cómo concluimos que A es independiente del tiempo?

Respuestas (3)

Si el hamiltoniano es independiente del tiempo, entonces parece mucho más simple de usar

| Ψ ( t ) = mi i H ^ t / | Ψ ( 0 ) .
Entonces es automático que
Ψ ( t ) | Ψ ( t ) = Ψ ( 0 ) | mi i H ^ t / mi i H ^ t / | Ψ ( 0 ) , = Ψ ( 0 ) | Ψ ( 0 )
desde mi i H ^ t / mi i H ^ t / = 1 .

Si el hamiltoniano depende del tiempo, entonces el operador de evolución tu ( t ) se construye para ser unitario, por lo que

| Ψ ( t ) = tu ( t ) | Ψ ( 0 ) , Ψ ( 0 ) | tu ( t ) tu ( t ) | Ψ ( 0 ) = Ψ ( 0 ) | Ψ ( 0 )
como tu ( t ) tu = 1 por construcción.

La versión de la función de onda sigue de la misma manera:

Ψ ( X , t ) = mi i H ^ t / Ψ ( X , 0 ) , Ψ ( X , t ) = tu ( t ) Ψ ( X , 0 )
para los casos independiente del tiempo y dependiente del tiempo, respectivamente.

En mi opinión, al usar una notación de espacio de Hilbert tan abstracta, esta respuesta omite la dificultad central de OP, que es comprender en qué sentido la ingenua ecuación de Schrödinger del espacio de posición satisface estas propiedades del espacio de Hilbert (por ejemplo, la capacidad de usar distribuciones y no solo funciones para ψ , y la propiedad hermítica precisa del operador diferencial H ^ ). No es suficiente decir " ψ es una función" o incluso " ψ es una función integrable al cuadrado". Es por eso que señalé OP al análisis funcional.
@nanoman, pero esta es otra pregunta, ya que no tendría nada que ver con preservar la normalización a lo largo del tiempo, sino con mostrar que ψ es un estado “legal” y puede ser normalizado en cualquier momento.
Pero resulta que preservar la normalización en el espacio de posiciones esencialmente equivale a derivar la propiedad hermitiana del operador diferencial H ^ , por lo que trae a primer plano la cuestión de precisamente qué espacio funcional ψ vive en.

Para hacer esto completamente riguroso, tendrías que profundizar en el análisis funcional . Pero intentaré explicarlo intuitivamente.

(i) Podría decirse que todos los derivados de ψ son continuas en la realidad. Las funciones no suaves son una idealización, pero útil. Se pueden formalizar mediante distribuciones . Incluso cuando F es discontinuo, F se define como algo que se integra a F . Los resultados son equivalentes a considerar funciones suaves y tomar un límite en el que desarrollan una discontinuidad o torcedura.

(ii) La función de onda debe tener un valor esperado real de energía cinética en términos físicos. El operador de energía cinética es proporcional a 2 / X 2 y tiene un valor esperado proporcional a

d X ψ ( 2 ψ X 2 ) = d X | ψ X | 2 ψ ψ X | .
La parte imaginaria de esto es precisamente proporcional a su expresión clave, ( ψ ψ / X ψ ψ / X ) | , que por lo tanto debe ser cero. (Técnicamente, la función de onda debe definirse en un espacio donde el operador de energía es hermitiano).

(iii) La ecuación de Schrödinger determina completamente la evolución de la función de onda ψ , y lo que has demostrado es que si ψ está inicialmente normalizado ( | A | = 1 ) entonces queda normalizado ( | A | restos 1 ). Al decir que A es la constante de normalización, solo ha definido su magnitud . Así que de hecho la fase de A es arbitrario, pero no es parte de la función de onda . Dado que | A | = 1 , simplemente puede escribir la condición de normalización como d X | ψ | 2 = 1 . Por último, A es un parámetro redundante, no físico.

Con respecto a (i), todavía no estoy seguro de lo que está preguntando. En general, d ψ / d X es continua en un intervalo si el potencial V ( X ) es finito dentro de ese intervalo. En los límites, si el potencial V ( X ) ± , entonces d ψ / d X ya no es continuo . Por tanto, la continuidad de la primera derivada de la función de onda depende del comportamiento del potencial.

(Véase, por ejemplo, Introducción a la mecánica cuántica de Griffiths , Capítulo 2, Sección 2.5.2 El pozo de función delta).

Con respecto a (ii), para un sistema físico, las funciones de onda "decaen" a cero a medida que uno se acerca ± en el eje de posición real; de lo contrario, el sistema no es físico. Esto significa que la función de onda finalmente se vuelve plana, lo que implica que su primera derivada es cero.

Con respecto a (iii), tiene razón en que A podría tener alguna dependencia "angular". Esto se llama dependencia de fase y es mayormente intrascendente en Mecánica Cuántica. Siempre puede aislar la fase de la siguiente manera: A ( t ) = | A | mi i ϕ ( t ) . Después de eso, una vez que evalúes | A | 2 = A ( t ) A ( t ) , el factor de fase se reduce a la unidad.

He entendido tu punto. pero tengo una pregunta que no d ψ / d X tiene que ser acotado en general también? ¿Puedes aclararme también mi duda i)?
@Iti He editado mi respuesta.
Si F es una función continua función sobre ( a , b ) y diferenciable sobre [ a , b ] y derivado de F es integrable en ese intervalo, entonces por el teorema fundamental del cálculo d F d X d X = F + C . Entonces, por analogía con RHS de la ecuación ( 11 ) , d ψ d X tiene que ser continuo. Pero si el potencial es función delta de dirac entonces d ψ d X tiene un salto en ese punto, lo que significa que no es continuo. Entonces, en general, ¿cómo podemos usar el teorema fundamental del cálculo en ( 11 ) ?
"la función de onda finalmente se vuelve plana, lo que implica que su primera derivada es cero"; esto no es estrictamente suficiente, porque ψ posiblemente podría aproximarse a cero con oscilaciones que decaen en amplitud pero se vuelven más y más rápidas a medida que X ± , entonces ψ / X no llegaría a cero.