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 ) 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 - 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 que satisfacen por definición . Me parece que la suma es una solución general de la ecuación de Schrödinger solo cuando el potencial de la ecuación de Schrödinger coincide con el potencial en la ecuación de Schrödinger independiente del tiempo utilizada para encontrar la '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 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 están completos con respecto a cualquier potencial usado en la ecuación de Schrödinger (dependiente del tiempo), ¿por qué no podemos usar el '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?
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 pero luego los llevas a un nuevo hamiltoniano . En general ya no va a ser un vector propio para y por tanto su evolución bajo esa nueva ecuación de Schrödinger no va a ser 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 y tener algún tipo de relación agradable. Una ecuación de Schrödinger se puede expresar puramente como un operador unitario La condición es que pero esto no es un problema en teoría. Esto significa que todos nuestros valores esperados en el segundo caso toman la forma
Ir "todo el cerdo" con esto requiere reemplazar esos operadores con cuyos rendimientos:
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
Lo mismo se aplica al tipo de problema que le interesa, es decir, una base completa de funciones de onda. con respecto a algún potencial . Ahí tienes una descomposición.
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 es un operador que solo contiene derivadas y operadores de multiplicación relativos a las variables . Olvidando los factores numéricos, se puede escribir la ecuación de Schroedinger como
Por la teoría de Sturm-Liouville, busquemos soluciones de la forma . Entonces llegamos a la igualdad
lo que significa que cada término es constante, es decir, obtenemos la ecuación "independiente del tiempo"
Si tiene una dependencia de a través de No veo cómo llegar a las mismas conclusiones.
Adán