Prove os seguintes teoremas (importantes!!):
Para soluções normalizáveis da equação de Schrödinger, a constante de separação E deve ser real. (Prove por absurdo, assumindo que E possua uma parte imaginária, e provando que a norma de \Psi só será 1 se E for real.)
Passo 1
O enunciado pede que provemos que, para soluções normalizáveis da equação de Schrödinger obtidas por separação de variáveis, a constante de separação E deve ser real.
Informações dadas e condições relevantes:
Temos uma solução separável da equação de Schrödinger do tipo \Psi(x,t)=\psi(x)T(t).
A função de onda é normalizável, o que significa que a norma (probabilidade total) é finita; normalmente exigimos que a norma seja 1:
\int |\Psi(x,t)|^{2}\,dx = 1 \quad\text{(para todo \(t\) se a probabilidade for conservada).}
Devemos provar por absurdo: assumir que E tem parte imaginária e mostrar que isso contradiz a normalização temporal da solução (a norma deixa de ser constante e igual a 1, salvo caso trivial).
Passo 2
Lembrando de onde vem E: começamos com a equação de Schrödinger dependente do tempo (para um Hamiltoniano independente do tempo):
Fazendo a separação \Psi(x,t)=\psi(x)T(t) e dividindo por \psi(x)T(t) (assumindo \psi\neq 0), obtemos duas equações separadas que levam à constante de separação E:
\hat{H}\psi(x)=E\psi(x)
e
i\hbar\frac{1}{T}\frac{dT}{dt}=E.
Aqui explico o que cada símbolo significa:
\Psi(x,t) é a função de onda completa (dependente de posição x e tempo t);
\psi(x) é a parte espacial (autofunção do Hamiltoniano);
T(t) é a parte temporal;
\hat{H} é o operador Hamiltoniano (assumimos que é independente do tempo);
\hbar é a constante de Planck reduzida;
E é a constante de separação (por vezes interpretada como energia).
Passo 3
Integrando a equação temporal i\hbar\frac{1}{T}\frac{dT}{dt}=E obtemos
T(t)=C\,e^{-iEt/\hbar},
onde C é constante complexa de normalização temporal (normalmente absorvida em \psi). Portanto, a forma separada usual é
\Psi(x,t)=\psi(x)\,e^{-iEt/\hbar}.
A norma ao quadrado (densidade de probabilidade integrada) é
N(t)=\int |\Psi(x,t)|^{2}\,dx.
Queremos verificar como N(t) depende de t quando E pode ser complexo.
Passo 4
Fazer a prova por absurdo: suponha que E tenha parte imaginária não nula. Escrevemos
E=E_{r}+iE_{i},
onde \,E_{r}=\Re(E)\, e \,E_{i}=\Im(E)\,. A hipótese para absurdo é que E_{i}\neq 0.
Denotando N_{0}=\int |\psi(x)|^{2}\,dx (norma espacial, positiva e finita porque \psi é normalizável e não trivial), temos
N(t)=N_{0}\,e^{2E_{i}t/\hbar}.
Passo 7
Interprete o resultado: se E_{i}\neq 0, então N(t) varia exponencialmente com o tempo:
Se E_{i}>0, N(t) cresce exponencialmente.
Se E_{i}<0, N(t) decai exponencialmente para zero quando t\to\infty.
Em particular, a norma não é constante no tempo, logo não podemos ter uma normalização permanente \int |\Psi(x,t)|^{2}dx=1 para todos os tempos (salvo o caso trivial \psi\equiv 0, que não é uma solução física significativa). Isso contradiz a exigência física de conservação de probabilidade para uma solução física normalizável da equação de Schrödinger (para um Hamiltoniano hermitiano): a probabilidade total deve permanecer constante no tempo.
Passo 8
Da contradição obtida (norma temporal não conservada se E_{i}\neq 0), concluímos que a hipótese inicial estava errada. Logo E_{i}=0, ou seja, E não tem parte imaginária.