¿Cómo puedo probar que la función de onda permanece normalizada a medida que pasa el tiempo?

Explotando la ecuación de Schrödinger y su conjugada podemos demostrar que

Ψ ˙ = i 2 metro 2 Ψ i tu Ψ
Ψ ˙ = i 2 metro 2 Ψ + i tu Ψ
Entonces
| Ψ | 2 t = i 2 metro ( Ψ 2 Ψ Ψ 2 Ψ )
Explotando la identidad vectorial F 2 gramo = ( F gramo ) gramo F (con F y gramo campos escalares) y el teorema de la divergencia (integramos sobre V ), podemos reorganizar de esta manera
d d t V | Ψ | 2 d V = i 2 metro S [ Ψ Ψ ( Ψ ) Ψ ] d S
Puede encontrar esta expresión en "Física de átomos y moléculas" de Bransden & Joachain (página 69 de la 2ª ed.). Ahora bien, para demostrar que Ψ permanecen normalizados a medida que pasa el tiempo, debemos demostrar que
S [ Ψ Ψ ( Ψ ) Ψ ] d S 0
cuando la superficie S abarca, por así decirlo, todo el espacio tridimensional (y si V | Ψ | 2 d V es finito). En el capítulo uno, Griffiths muestra esto en el caso unidimensional (y no de manera completamente satisfactoria), pero ¿qué pasa con el caso tridimensional más realista?

Respuestas (3)

Para todos los propósitos prácticos en física, la existencia de V | Ψ | 2 d V viene con Ψ ( X , t ) va a 0 como X va a + mientras que las derivadas espaciales permanecen acotadas. Por lo tanto, su última integral va a 0.

Como señaló Valter Moretti en los comentarios, es fácil construir un Ψ tal que R 3 | Ψ | 2 d V es finito pero Ψ va al infinito como X va a + . Ya es posible hacer eso en 1D. Vea esta pregunta en Preguntas y respuestas de Matemáticas y el puñado de respuestas para tener una idea, luego combínela con este truco para obtener funciones fluidas. Sacudir y desesperar en Matemáticas... Afortunadamente, resulta que los físicos hemos logrado ignorar con seguridad estos problemas sin una reacción negativa significativa.

Bueno, en realidad el hecho de que si | F | 2 tiene integral finita entonces F El argumento se desvanece en general es falso incluso considerando funciones suaves. Creo que la prueba de conservación de la norma no se puede dar de esta manera ya que depende estrictamente del hecho de que el operador hamiltoniano es autoadjunto (no simplemente hermitiano). Los operadores autoadjuntos no están definidos en espacios de funciones suaves. A lo sumo de esta manera podría dar algunas sugerencias...
@ValterMoretti: El resultado y la prueba de conservación de la norma de un representante de estado puro bajo la transformación llamada "evolución del tiempo" es en realidad el teorema de Stone al revés. Se sabe que esto es cierto.
Sí, seguro, impulse la convergencia haciendo que la función sea cero en conjuntos de medidas que van a 0 mientras que la función va al infinito en el resto, y con el truco habitual de funciones de prueba con soporte compacto utilizado en la teoría de la distribución, de hecho podemos hacer tal función suave.
Pero, bueno, ¡esto es física!
De hecho, solo me refería al teorema de Stone. el hamiltoniano H de la ecuación S. vista, una PDE generalmente solo es esencialmente autoadjunta en un espacio de funciones suaves. Para pasar al evolutor temporal unitario hay que ampliar el dominio hasta la clausura H ¯ de H . El operador que respeta la norma es mi i t H ¯ .
Este operador suele transformar funciones suaves en funciones no suaves.
@ Luc J. Bourhis Ideed es física. Pero te referías a alguna propiedad matemática. Mi opinión es la siguiente. Hay dos posibilidades. O uno prueba afirmaciones con matemáticas o uno asume hipótesis físicas plausibles. La declaración del OP es físicamente plausible ( ψ se desvanece en el infinito) y uno podría detenerse allí. Tratar de arreglar detalles delicados requiere matemáticas delicadas.
@ValterMoretti (suspiro) Supongo que soy esquizofrénico...
No te preocupes, me pasa muy a menudo :)
@ValterMoretti Veo que el problema es sutil, al menos más de lo que parece. Me pregunto si podemos hacer un razonamiento que demuestre que estas funciones patológicas no son físicamente aceptables. Parece que no pueden ser rechazados como espurios como a veces ocurre legítimamente en la física. Al menos no sé por qué. Las cosas van de la misma manera con la solicitud de que Psi es finito: es fácil ver que esto no es necesario para la normalización y no es evidente ver por qué en un agujero esférico infinito se rechaza la infinidad de Psi (véase el capítulo 4 de Griffiths). ).
@Fausto Vezzano El punto es que el problema no está bien planteado desde cero. La ecuación de Schroedinger no es una PDE estándar porque la t -derivada se calcula con respecto a la topología del espacio de Hilbert, mientras que las otras derivadas son estándar solo en un dominio adecuado. Conservación de la L 2 -la norma está garantizada dentro de esta formulación por el teorema de Stone. Los intentos de obtener el mismo resultado en una interpretación PDE pura son muy difíciles.
En primer lugar, se debe probar que las soluciones asociadas a una determinada clase de condiciones iniciales se desvanecen rápidamente en el espacio (incluidas las derivadas espaciales) en cada tiempo fijo y la existencia de esta clase depende en gran medida de la naturaleza de tu . si simplemente tu = 0 la clase antes mencionada es el espacio de Schwartz: la condición inicial en él produce soluciones en él. Es plausible que las funciones suaves localizadas tu tienen propiedades análogas respecto a soluciones con datos iniciales en el espacio de Schwartz, pero no conozco resultados de este tipo: interpreto la ecuación de Schroedinger en L 2 sentido.
Porque esa es la interpretación cuántica correcta. Como EDP estándar, la ecuación de Schroedinger tiene varias características no físicas similares a las de la ecuación de la salud, en vista de la propagación de perturbaciones a velocidad infinita (la ecuación no es hiperbólica), pero a diferencia de la ecuación de la temperatura, la ecuación de Schroedinger no se regulariza (por las soluciones de la ecuación de calor son mucho más suaves que la condición inicial).
Gracias. Esto me parece muy difícil, pero no tiro la toalla.

La respuesta de @ LucJ.Bourhis proporciona la información necesaria de por qué S 0 como el tamaño de S . Dicho más concretamente, examine la integral de normalización en coordenadas esféricas:

norte | Ψ | 2 r 2 pecado θ d r d θ d ϕ .
Para poder norte ser finito, límite r r 3 + ϵ | Ψ | 2 = 0 para algunos ϵ > 0 (es decir, el argumento de la integral radial tiene que desaparecer más rápido que 1 / r ). Si examina los componentes del gradiente de | Ψ | 2 (igual al argumento de S por la regla del producto) encontrará que se desvanece como al menos la derivada del límite superior en | Ψ | 2 . Con el límite superior en | Ψ | 2 ser r 3 ϵ , entonces el límite superior de | r | Ψ | 2 | es r 4 ϵ . Esta pregunta en math.stackexchange es relevante para determinar si esta prueba es sólida.

Explicar por qué las componentes angulares son irrelevantes se deja como ejercicio.

¿Por qué tengo que promediar? | Ψ | 2 t = Ψ ˙ Ψ + Ψ Ψ ˙ , ¿dónde está el factor 2?
@FaustoVezzaro Se eliminó la crítica: es incorrecto.

Para un sistema con hamiltoniano H ^ , la evolución temporal de un estado arbitrario | Ψ ( r , t ) se rige por

(1) i t | Ψ ( r , t ) = H ^ | Ψ ( r , t ) .

Podemos tomar el adjunto de la Ec. (1) y se lee

(2) i t Ψ ( r , t ) | = Ψ ( r , t ) | H ^ .

Tenga en cuenta que asumimos que el hamiltoniano es hermitiano, por lo tanto, en el lado derecho de la ecuación. (2) , H ^ fue reemplazado por H ^ .

Ahora llegamos a la pregunta original, a saber, la evolución temporal de la normalización. norte ( t ) := Ψ ( r , t ) | Ψ ( r , t ) de la función de onda. Por lo tanto, nos gustaría evaluar la siguiente cantidad:

norte ˙ ( t ) = t Ψ ( r , t ) | Ψ ( r , t ) .

Procedemos como

norte ˙ ( t ) = t Ψ ( r , t ) | Ψ ( r , t ) , = ( t Ψ ( r , t ) | ) | Ψ ( r , t ) + Ψ ( r , t ) | ( t | Ψ ( r , t ) ) , = 1 i ( i t Ψ ( r , t ) | ) | Ψ ( r , t ) + Ψ ( r , t ) |   1 i   ( i t | Ψ ( r , t ) ) , = 1 i   ( Ψ ( r , t ) | H ^ ) | Ψ ( r , t ) + Ψ ( r , t ) |   1 i   ( H ^ | Ψ ( r , t ) ) , tu s i norte gramo   mi q s . (1) & (2) = 1 i   Ψ ( r , t ) | H ^ | Ψ ( r , t ) + 1 i   Ψ ( r , t ) | H ^ | Ψ ( r , t ) , = 0.

Dado que la derivada temporal de la normalización es cero , la normalización permanece constante en el tiempo.

Cosas a tener en cuenta:

  • Para que la normalización sea independiente del tiempo, se requiere una evolución temporal unitaria de los estados | Ψ ( r , t ) , a saber
    | Ψ ( r , t ) = tu ( t , t ) | Ψ ( r , t ) .
  • Para tu ( t , t ) ser operador unitario de la forma
    tu ( t , t ) = Exp ( i H ^ ( t t ) / ) ,
    uno requiere H ^ ser hermitiano.
  • La razón fundamental para que los estados permanezcan normalizados en una evolución temporal tipo Schrödinger es la hermiticidad del hamiltoniano. Sin embargo, hay situaciones en las que los estados pueden permanecer normalizados bajo la evolución del tiempo para hamiltonianos que no son hermitianos. Sin embargo, la independencia temporal de la normalización está garantizada para una evolución temporal unitaria, es decir, para un hamiltoniano hermitiano, bajo la ecuación de tipo Schrödinger.