Integridad de función propia de energía

Tengo entendido que las funciones propias están completas (abarcan el espacio). No sé cuál es la solución a la ecuación de Schrödinger (dependiente del tiempo), pero sea lo que sea, cualquier solución (sin importar el potencial V ) se puede expandir en términos de, por ejemplo, funciones propias de posición o funciones propias de momento. Me gustaría enfatizar la frase - no importa el potencial V - con duda porque esto se relaciona con mi pregunta. Las funciones propias de energía también se pueden usar para representar una solución general. Sin embargo, aquí es donde comienza mi pregunta:

Considere un conjunto de funciones propias de energía ψ norte que satisfacen por definición H ^ ψ norte = mi norte ψ norte . Me parece que la suma Ψ = C norte ψ norte mi i mi norte t / es una solución general de la ecuación de Schrödinger solo cuando el potencial V de la ecuación de Schrödinger coincide con el potencial V en la ecuación de Schrödinger independiente del tiempo utilizada para encontrar la ψ norte 's. ¿Es esto correcto? Si es así, ¿podría decirse que las funciones propias de energía son completas solo con respecto al potencial específico V de donde se derivan, mientras que (digamos) las funciones propias de impulso están completas con respecto a cualquier potencial. Si esto no es cierto, si las funciones propias de energía de la ecuación de Schrödinger independiente del tiempo H ^ ψ norte = mi norte ψ norte están completos con respecto a cualquier potencial V usado en la ecuación de Schrödinger (dependiente del tiempo), ¿por qué no podemos usar el ψ norte 's de decir el cuadrado infinito bien para construir soluciones generales Ψ del pozo de función delta, pozo de potencial finito, partícula libre, etc. ¿Por qué siempre estamos resolviendo la ecuación de Schrödinger independiente del tiempo cuando solo podemos usar las funciones propias de energía del pozo cuadrado infinito?

Siempre que las condiciones de contorno sean las mismas (hay que tener cuidado con los potenciales infinitos, ya que imponen condiciones de contorno), no veo ningún problema.

Respuestas (3)

Antes de comenzar, permítanme hacer una pausa para observar que hay una pequeña mentira en las siguientes palabras (y, más o menos, en todo el plan de estudios de pregrado) que uno descubre cuando se involucra matemáticamente; ahora mismo está presente en este artículo de Wikipedia como "sutilezas del caso ilimitado"... nuestros operadores "hermitianos" en general no están bien definidos para todos los estados que nos gustaría. Esto se vuelve especialmente importante a medida que observamos los estados propios de posición y momento; muy a menudo, los estados se vuelven no normalizables y la física puede volverse algo torpe en términos de estos.

Con esa advertencia, sí: las funciones propias de cualquier hamiltoniano dado son siempre una base completa para todo el espacio . Por ejemplo, uno puede acercarse a cualquier hamiltoniano 1D con las funciones propias del oscilador armónico; esas son funciones de onda válidas que abarcan el espacio.

Si esto es útil o no es una historia diferente. Digamos que tienes un montón de funciones H ^ 1 | ψ norte = mi norte | ψ norte pero luego los llevas a un nuevo hamiltoniano H ^ 2 . En general | ψ norte ya no va a ser un vector propio para H ^ 2 , y por tanto su evolución bajo esa nueva ecuación de Schrödinger no va a ser | ψ norte ( t ) = mi i mi norte t / | ψ norte ( 0 ) , por lo que estas energías y funciones de onda obviamente no son útiles en este nuevo contexto.

Bueno, hay una forma de hacerlos útiles, pero, por supuesto, solo hace un buen trabajo cuando H ^ 1 y H ^ 2 tener algún tipo de relación agradable. Una ecuación de Schrödinger i t | Ψ = H ^ | Ψ se puede expresar puramente como un operador unitario | Ψ ( t ) = tu ^ ( t ) | Ψ 0 . La condición es que i t tu ^ = H ^ tu ^ , pero esto no es un problema en teoría. Esto significa que todos nuestros valores esperados en el segundo caso toman la forma

A ( t ) = Ψ ( t ) | A ^ | Ψ ( t ) = Ψ 0 | tu ^ 2 A ^ tu ^ 2 | Ψ 0 .
Ahora que un operador unitario está definido por tu tu = 1 vamos a insertar estratégica tu ^ 1 tu ^ 1 términos para reescribir este mismo valor esperado como
A ( t ) = Ψ 0 | tu ^ 1   ( tu ^ 1 tu ^ 2 A ^ tu ^ 2 tu ^ 1 ) tu ^ 1 | Ψ 0 .
Tenga en cuenta que ahora hay una dependencia temporal complicada para este operador entre paréntesis A ~ = tu ^ 1 tu ^ 2 A ^ tu ^ 2 tu ^ 1 , pero las funciones de onda más externas obedecen la ecuación de Schrödinger para H ^ 1 , no H ^ 2 . El costo es que tenemos que cambiar a nuestros operadores para tener esta complicada dependencia del tiempo. A ~ ( t ) , que toma la forma de una regla de producto realmente grande,
i t A ~ = H 1 tu 1 tu 2 A ^ tu 2 tu 1 tu 1 tu 2 H 2 A ^ tu 2 tu 1 + i A ˙ ~ + tu 1 tu 2 A ^ H 2 tu 2 tu 1 tu 1 tu 2 A ^ tu 2 tu 1 H 1 .
(El signo menos de las dagas proviene de tomar la transposición conjugada de la ecuación de Schrödinger anterior).

Ir "todo el cerdo" con esto requiere reemplazar esos A ^ operadores con tu 2 tu 1 A ~ tu 1 tu 2 cuyos rendimientos:

i t A ~ = H 1 A ~ tu 1 tu 2 H 2 tu 2 tu 1 A ~ + i A ˙ ~ + A ~ tu 1 tu 2 H 2 tu 2 tu 1 A ~ H 1 .
Vemos que lo único complicado que queda es que también necesitamos H ~ 2 factor en estas expresiones, en lugar de la t = 0 valor de H 2 . Una vez hecho esto, encontramos solo
i t A ~ = [ H 1 H ~ 2 , A ~ ] + i A ˙ ~ .
Esto se llama "imagen de interacción" porque generalmente lo que hacemos es usar algunos estados ortogonales fáciles de resolver H ^ 1 = H 0 y luego agregue algún término de interacción que los acople, H ^ 2 = H 0 + V . La ecuación para un tiempo independiente H ~ 2 es solo
i t H ~ 2 = [ H 1 H ~ 2 , H ~ 2 ] = [ H 1 , H ~ 2 ] ,
y en muchos casos esto simplemente golpea algunos factores de fase alrededor de los términos en V . Luego, en lugar de calcular estados básicos completamente nuevos, podemos usar los que nos son más familiares, prefiriendo encontrar ecuaciones diferenciales para los observables que nos interesan y resolverlos en algunos límites.

Entonces, para ser específicos, consideremos la ecuación de Schrödinger (SE) para una partícula libre. el hamiltoniano H de la partícula libre tiene un espectro de valor propio continuo de energía mi , con funciones propias asociadas ψ mi ( X ) . Entonces, la solución general para este SE específico es C ( mi ) ψ mi ( X ) mi i mi t / d mi . Sin embargo, la solución general para este EE específico también se puede expandir en términos de las funciones propias del cuadrado infinito. ψ norte ( X ) asociado con valores propios de energía discretos mi norte . La solución general para la partícula libre SE (o cualquier SE pero específicamente la partícula libre
aquí está norte C norte ( t ) ψ norte ( X ) ? Simplemente parece extraño ya que la partícula libre tiene un espectro de energía continuo pero está siendo representada por funciones propias correspondientes a un espectro de energía discreto.
Bueno, el caso del que estás hablando (partícula libre FP / partícula en una caja PB) es uno de los pocos casos en los que realmente funcionaría de esa manera, en general no podrías tomar funciones propias ψ norte de hamiltoniano H 1 y expresar una solución para hamiltoniano H 2 como norte C norte ( t ) ψ norte ( X ) para cualquier C norte ( t ) . Pero los hamiltonianos FP y PB son idénticos en el único dominio donde se define PB, por lo que si considera un paquete de ondas gaussianas altamente localizado que está dentro de la caja, evoluciona de manera idéntica hasta que golpea los lados de la caja.
Recuerda que la expresión norte C norte ( t ) ψ norte ( X ) (o d norte para el caso continuo) es en realidad un intento de resolver una PDE por separación de variables. Entonces i t Ψ = H X [ Ψ ] , asumimos Ψ = d norte T norte ( t ) X norte ( X ) , encontramos i T norte / T norte = H X [ X norte ] / X norte = constante porque el lado izquierdo es una función de sólo t y el lado derecho es una función de solo X . Encontramos que necesitamos H X [ X norte ] = ω norte   X norte para que esta descomposición funcione en primer lugar. En general, las funciones no propias no seguirán siendo las mismas bajo la evolución de Schrödinger.
En cuanto a los espectros, esa es una propiedad del operador y no una propiedad de las funciones de onda. Pero permítanme intentar disipar sus temores: están muy preocupados de que nosotros en QM representemos una función arbitraria F ( X ) en términos de algunos estados de base contable gramo norte ( X ) como norte C norte   gramo norte ( X ) . Afirmo que esto es puramente porque no tienes el coraje de tus convicciones porque te sientes muy asustado por este nuevo mundo cuántico en el que te encuentras. "¿Cómo podría probarme eso?" podrías preguntar. Así es como: no tienes absolutamente ningún problema con esto si gramo norte ( X ) = X norte y lo llamo una "serie de Taylor". QED.

Tienes que ser un poco más cuidadoso. Cuando dice que "las funciones propias del momento están completas con respecto a cualquier potencial", está diciendo que cualquier función se puede descomponer como

F ( X ) = d pag 2 π mi i pag X F ^ ( pag ) , F ^ ( pag ) = d X mi i pag X F ( X ) .
Pero esto es una tontería formal: para una función general F ( X ) , la integral que define F ^ ( pag ) no existe (diverge). Es necesario imponer algunas condiciones a F , por ejemplo que
d X | F ( X ) | 2 < .
Al imponer tales restricciones (hay varias elecciones que puede hacer), está definiendo una clase de funciones que es precisamente un espacio de Hilbert. Esto lo lleva por el camino matemático para definir la transformada de Fourier.

Lo mismo se aplica al tipo de problema que le interesa, es decir, una base completa de funciones de onda. { ψ norte } con respecto a algún potencial V ( X ) . Ahí tienes una descomposición.

F ( X ) = norte F norte ψ norte ( X ) , F norte = d X w ( X ) ψ norte ( X ) F ( X )
donde esto es posiblemente alguna función de peso w ( X ) . De nuevo la definición integral F norte diverge si conectas una función general F ( X ) . Una vez más, tienes que trabajar dentro de algún espacio de Hilbert H para dar sentido a estas manipulaciones. Si hace el ejercicio, verá que las condiciones de contorno en el infinito (o en algunos puntos de contorno, si está trabajando en un intervalo finito) están codificadas esencialmente por el potencial V ( X ) .

Todo este asunto se llama teoría de Sturm-Liouville, y si desea comprender QM en cualquier nivel serio, debe dedicar algún tiempo a estudiarlo (no es difícil).

Si su potencial depende del tiempo, no veo una forma de justificar el uso de la ecuación de Schroedinger "independiente del tiempo". Supongamos que eso H es un operador que solo contiene derivadas y operadores de multiplicación relativos a las variables X . Olvidando los factores numéricos, se puede escribir la ecuación de Schroedinger como

H ψ = ψ ˙ .

Por la teoría de Sturm-Liouville, busquemos soluciones de la forma ψ ( X , t ) = ϕ ( X ) x ( t ) . Entonces llegamos a la igualdad

H ϕ ϕ ( X ) = x ˙ x ( t ) ,   X , t

lo que significa que cada término es constante, es decir, obtenemos la ecuación "independiente del tiempo"

H ϕ ( X ) = mi ϕ ( X ) .

Si H tiene una dependencia de t a través de V No veo cómo llegar a las mismas conclusiones.

Por "dependiente del tiempo", el OP solo significa el i t ψ = H ψ , no es que el potencial dependa del tiempo, por lo que la respuesta está fuera de tema.
entonces no entiendo "...cuando el potencial V de la ecuación de Schrödinger coincide con el potencial V en la ecuación de Schrödinger independiente del tiempo...".
Resuelva el SE independiente del tiempo para el potencial V1. ¿Puede usar las funciones propias correspondientes para describir la evolución temporal bajo el potencial V2?