¿Por qué la solución general de la ecuación de Schrödinger es una combinación lineal de las funciones propias?

Aquí hay una cita de Introducción a la mecánica cuántica de David J Griffiths:

  1. La solución general es una combinación lineal de soluciones separables. Como estamos a punto de descubrir, la ecuación de Schroedinger independiente del tiempo (ecuación 2.5) produce una colección infinita de soluciones ( ψ 1 ( X ) , ψ 2 ( X ) , ψ 3 ( X ) ,...), cada uno con su valor asociado de la constante de separación ( mi 1 , mi 2 , mi 3 ,...); por lo tanto, hay una función de onda diferente para cada energía permitida :
    Ψ 1 ( X , y ) = ψ 1 ( X ) mi i mi 1 t / , Ψ 2 ( X , y ) = ψ 2 ( X ) mi i mi 2 t / , .
    Ahora (como puede comprobar fácilmente por sí mismo) la ecuación de Schroedinger (dependiente del tiempo) (ecuación 2.1) tiene la propiedad de que cualquier combinación lineal 5 de soluciones es en sí misma una solución. Una vez que hemos encontrado las soluciones separables, podemos construir inmediatamente una solución mucho más general, de la forma
    (2.15) Ψ ( X , t ) = norte = 1 C norte ψ norte ( X ) mi i mi norte t /

Estoy tratando de entenderlo de esta manera.

...la ecuación de Schroedinger independiente del tiempo H ^ ψ = mi ψ

Una ecuación de valores propios A X = λ X ,

produce una colección infinita de soluciones ( ψ 1 ( X ) , ψ 2 ( X ) , ψ 3 ( X ) , )

tiene vectores propios X 1 , X 2 , X 3 ,

cada uno con su valor asociado de constante de separación ( mi 1 , mi 2 , mi 3 , );

cada uno con su valor propio asociado λ 1 , λ 2 , λ 3 ,

por lo tanto, hay una función de onda diferente para la energía permitida:

Ψ 1 ( X , t ) = ψ 1 ( X ) mi i mi 1 t / , Ψ 2 ( X , t ) = ψ 2 ( X ) mi i mi 2 t / ,

tener ecuaciones como

A X 1 = λ 1 X 1 , A X 2 = λ 2 X 2 ,

Una vez que hemos encontrado las soluciones separables, podemos construir inmediatamente una solución mucho más general, de la forma

Ψ ( X , t ) = norte = 1 C norte ψ norte ( X ) mi mi norte t /

(Olvidando la dependencia de cualquier otra variable) Podemos construir una solución más general de la forma

X = norte C norte X norte

Esta última ecuación no tiene ningún sentido para mí. No hay nada en álgebra lineal que diga que esta última ecuación precede lógicamente a las ecuaciones anteriores. Tratando de entender a partir del álgebra lineal, ¿qué significa la última ecuación? ¿Por qué la solución general de la ecuación de Schroedinger es una combinación lineal de las funciones propias?

Para comprender esto, necesita algunos conocimientos de ecuaciones diferenciales parciales y análisis funcional (en particular, el teorema espectral de Hilbert). El álgebra lineal no es, en general, suficiente.
Relacionado: physics.stackexchange.com/q/68822/2451 y enlaces allí.

Respuestas (2)

Estás comenzando desde el punto incorrecto. El argumento se sigue por la linealidad de la ecuación.
Suponer Ψ k ( X , t ) es la solución de Schr dependiente del tiempo o ¨ ecuación de dinger:

i t Ψ k ( X , t ) = 2 2 metro 2 Ψ k ( X , t ) X 2 + tu ( X ) Ψ k ( X , t ) .
Entonces:
Φ ( X , t ) = a 1 Ψ 1 ( X , t ) + a 2 Ψ 2 ( X , t )
también es una solución ya que
i t Φ ( X , t ) = a 1 ( i t Ψ 1 ( X , t ) ) + a 2 ( i t Ψ 2 ( X , t ) )
y
2 2 metro 2 Φ ( X , t ) X 2 + tu ( X ) Φ ( X , t ) = a 1 ( 2 2 metro 2 Ψ 1 ( X , t ) X 2 + tu ( X ) Ψ 1 ( X , t ) ) + a 2 ( 2 2 metro 2 Ψ 2 ( X , t ) X 2 + tu ( X ) Ψ 2 ( X , t ) ) .
Estos se siguen simplemente de la regla conocida válida para dos funciones diferenciables F y gramo : ( F + gramo ) / t = F / t + gramo / t , y de manera similar para los parciales w/r a X . Combinando estas dos últimas ecuaciones obtienes una identidad para cualquier a 1 y a 2 desde cada uno Ψ k ( X , t ) es independientemente una solución. Por supuesto, esto simplemente se extiende a un número arbitrario de términos en la combinación lineal.

Tenga en cuenta que el valor propio de la parte independiente del tiempo nunca entra en este argumento. El paso final es observar que la separación de variables en la ecuación dependiente del tiempo produce Ψ k ( X , t ) = mi i mi k t ψ k ( X ) con ψ k ( X ) una función propia de la ecuación independiente del tiempo, pero nuevamente, esto no entra en el argumento.


Editar: tenga en cuenta que esto está en contradicción con la ecuación independiente del tiempo . Cuando

2 2 metro d 2 ψ k ( X ) d X 2 + tu ( X ) ψ k ( X ) = mi k ψ k ( X )
el lado derecho debe ser múltiplo de la función original. Con esta observación, nótese entonces que una combinación lineal
ψ ( X ) = a 1 ψ 1 ( X ) + a 2 ψ 2 ( X )
en general NO será una solución de la ecuación independiente del tiempo porque
( 2 2 metro d 2 d X 2 + tu ( X ) ) ψ ( X ) = a 1 ( 2 2 metro d 2 d X 2 + tu ( X ) ) ψ 1 ( X ) + a 2 ( 2 2 metro d 2 d X 2 + tu ( X ) ) ψ 2 ( X ) = a 1 mi 1 ψ 1 ( X ) + a 2 mi 2 ψ 2 ( X ) = mi 1 ( a 1 ψ 1 ( X ) + a 2 ψ 2 ( X ) ) + ( mi 2 mi 1 ) a 2 ψ 2 ( X ) = mi 1 ψ ( X ) + ( mi 2 mi 1 ) a 2 ψ 2 ( X )
NO será múltiplo de ψ ( X ) a menos que mi 1 = mi 2 .

Ahora lo entiendo, estaba confundiendo los valores propios con los coeficientes. Pero como dijiste, los valores propios no entran en el argumento. Solo se considerarán si expreso mis funciones de onda en base propia. Como principiante en la mecánica cuántica, ni siquiera sé si eso es posible.
Acabo de agregar un poco más para aclarar alguna distinción con la solución independiente del tiempo. Y sí: el operador de Schrödinger tiene un conjunto completo de funciones propias, por lo que cualquier solución puede expresarse como una suma de funciones en este conjunto completo.
Solo quiero agregar algo que la linealidad te da la idea de que la superposición lineal de algunas soluciones específicas también será una solución. Pero aun así, no te dice que la combinación lineal de tantas soluciones será una solución general. Esa idea proviene de la completitud.
@Prabhat?? La completitud garantiza que hay una expansión de cualquier función en términos de soluciones (suponiendo las condiciones de contorno correctas), pero la linealidad garantiza que una combinación de tantas soluciones será también una solución.
@ZeroTheHero sí, tiene razón con ambas definiciones, pero estaba señalando la definición de 'solución general', debe llamar a algo una solución general cuando todas las soluciones posibles se pueden expresar como ese algo. Hablando particularmente de la ecuación de Schrödinger, lo que obtienes cada vez que la resuelves son estados propios, pero es la integridad del estado propio que decimos que la combinación lineal de ellos sería una solución general. Podría estar equivocado o confundir las cosas, de lo contrario. Apreciaré más discusión.

Tal vez para responder a su pregunta sea útil comenzar desde una perspectiva ligeramente diferente, conceptualmente. En mecánica cuántica, un sistema se describe dando un espacio de Hilbert, cuyos vectores representan estados del sistema (en realidad, estos son solo una parte de los "estados" llamados estados puros, y dos vectores cualesquiera que son múltiplos complejos entre sí representan el mismo estado No te preocupes por esto por el momento) y una receta de cómo evoluciona el estado del sistema con el tiempo. En este caso, esta receta es la ecuación de Schroedinger, que escribo como una ecuación de vectores espaciales de Hilbert (en su caso, el espacio de Hilbert es el espacio de funciones cuadradas integrables sobre R , llamado L 2 ( R ) )

i t ψ t = H ^ [ ψ t ]

El operador H ^ es autoadjunto y las matemáticas nos dicen que en este caso la solución única a esta ecuación con la condición inicial dada ψ 0 (es decir, el estado en el que comienza su sistema) es

ψ t = mi i H ^ t [ ψ 0 ]

dónde tu t := mi i H ^ t es un operador unitario llamado "evolución temporal" (compare esto con el hecho de que la matriz exponencial de i A , dónde A es una matriz hermítica, es una matriz unitaria).

Ahora todo el trabajo restante es calcular tu t ψ 0 por dado ψ 0 . Desafortunadamente, ¡esto es muy difícil en la mayoría de los casos! Ahí es donde entra en juego la ecuación de Schroedinger independiente del tiempo. Supongamos que tiene un montón de vectores propios ϕ 1 , ϕ 2 de H ^ , es decir satisfacen H ϕ i = mi i ϕ i (Espero que no haya confusión cuando los subíndices designan tiempo y cuando designan qué ϕ Estoy hablando de). Nuevamente, las matemáticas nos dicen (y es fácil de verificar esto para matrices, es decir, para espacios de Hilbert de dimensión finita) que

tu t [ ϕ i ] = mi i H ^ t [ ϕ i ] = mi i mi i t ϕ i

Esto es muy bueno, porque ahora no tenemos que calcular la exponencial de un operador. Además, todos estos operadores son lineales, por lo que si logramos escribir nuestro estado inicial ψ 0 como una combinación lineal de vectores propios

ψ 0 = i = 1 ? C i ϕ i
para algunas constantes C i la solución deseada toma la forma

ψ t = i = 1 ? C i mi i mi i t ϕ i
Por lo tanto, hemos resuelto el problema si podemos encontrar una manera de expresar cualquier condición inicial que podamos querer como una combinación lineal de vectores propios de H ^ . Queremos encontrar una base ortonormal del espacio de Hilbert que consiste en tales vectores propios, luego podemos expresar CUALQUIER vector como una combinación lineal infinita.