Check that any linear combination of solutions is itself a solution to the time-dependent Schrödinger equation

linear systemsquantum mechanicsschroedinger equationsuperpositionwavefunction

David Griffiths states in 'Introduction to Quantum Mechanics':

  1. The general solution is a linear combination of separable solutions. As we're about to discover, the time-independent Schroedinger equation yields an infinite collection of solutions ($\psi_1(x)$, $\psi_2(x)$, $\psi_3(x)$,…), each with its associated value of the separation constant ($E_1$, $E_2$, $E_3$,…); thus there is a different wave function for each allowed energy:
    $$\Psi_1(x, y) = \psi_1(x)e^{-iE_1 t/\hbar},\quad \Psi_2(x, y) = \psi_2(x)e^{-iE_2 t/\hbar}, \ldots.$$
    Now (as you can easily check for yourself) the (time-dependent) Schroedinger equation has the property that any linear combination of solutions is itself a solution. Once we have found the separable solutions, then, we can immediately construct a much more general solution, of the form
    $$\Psi(x, t) = \sum_{n = 1}^{\infty}c_n\psi_n(x)e^{-iE_n t/\hbar}$$

Now I want to check this for myself. As an example, I choose:

$$\Psi(x,t)=c_1\psi_1(x)\text{e}^{\frac{-iE_1t}{\hbar}}+c_2\psi_2(x)\text{e}^{\frac{-iE_2t}{\hbar}}$$

Inserting this expression into the time-dependent Schrödinger equation, I get:

$$E_1c_1\psi_1(x)\text{e}^{\frac{-iE_1t}{\hbar}}+E_2c_2\psi_2(x)\text{e}^{\frac{-iE_2t}{\hbar}}=\hat{H}\Psi(x,t)$$

Although I see that this 'looks' like the time-independent Schrödinger equation, I struggle to show that this linear combination of solutions is itself a solution. Although if we denote the potential operating on $c_1\psi_1(x)\text{e}^{\frac{-iE_1t}{\hbar}}$ as $V_1$ and the potential operating on $c_2\psi_2(x)\text{e}^{\frac{-iE_2t}{\hbar}}$ as $V_2$, we get:

$$E_1c_1\psi_1(x)\text{e}^{\frac{-iE_1t}{\hbar}}+E_2c_2\psi_2(x)\text{e}^{\frac{-iE_2t}{\hbar}}=\hat{H}\Psi(x,t)$$
$$E_1c_1\psi_1(x)\text{e}^{\frac{-iE_1t}{\hbar}}+E_2c_2\psi_2(x)\text{e}^{\frac{-iE_2t}{\hbar}}=[\frac{\hat{p}^2}{2m}+V]\Psi(x,t)$$
$$E_1c_1\psi_1(x)\text{e}^{\frac{-iE_1t}{\hbar}}+E_2c_2\psi_2(x)\text{e}^{\frac{-iE_2t}{\hbar}}=\frac{\hat{p}^2}{2m}\left[c_1\psi_1(x)\text{e}^{\frac{-iE_1t}{\hbar}}+c_2\psi_2(x)\text{e}^{\frac{-iE_2t}{\hbar}}\right]+V\left[c_1\psi_1(x)\text{e}^{\frac{-iE_1t}{\hbar}}+c_2\psi_2(x)\text{e}^{\frac{-iE_2t}{\hbar}}\right]$$
$$E_1c_1\psi_1(x)\text{e}^{\frac{-iE_1t}{\hbar}}+E_2c_2\psi_2(x)\text{e}^{\frac{-iE_2t}{\hbar}}=\frac{\hat{p}^2}{2m}\left[c_1\psi_1(x)\text{e}^{\frac{-iE_1t}{\hbar}}+c_2\psi_2(x)\text{e}^{\frac{-iE_2t}{\hbar}}\right]+V_1c_1\psi_1(x)\text{e}^{\frac{-iE_1t}{\hbar}}+V_2c_2\psi_2(x)\text{e}^{\frac{-iE_2t}{\hbar}}$$
$$E_1c_1\psi_1(x)\text{e}^{\frac{-iE_1t}{\hbar}}+E_2c_2\psi_2(x)\text{e}^{\frac{-iE_2t}{\hbar}}=\hat{H}_1c_1\psi_1(x)\text{e}^{\frac{-iE_1t}{\hbar}}+\hat{H}_2c_2\psi_2(x)\text{e}^{\frac{-iE_2t}{\hbar}}$$

With $\hat{H}_1=\frac{\hat{p}^2}{2m}+V_1$ and $\hat{H}_2=\frac{\hat{p}^2}{2m}+V_2$. This looks like the time-independent Schrödinger equation for each solution separately. This derivation rests on claiming $V=V_1+V_2$, but is this allowed and if so, why? Also; how does this show that a linear combination of solutions is itself a solution to the time-dependent Schrödinger equation?

Best Answer

The only thing you really need to assume is that the Hamilton Operator is a linear operator.

An operator $\hat{H}$ is called "linear" if $$\hat{H} (\psi_1+\psi_2) = \hat{H} \psi_1 + \hat{H} \psi_2$$ and $$\hat{H} (\alpha \psi) = \alpha \hat{H} \psi$$ for any complex number $\alpha$.

All operators that correspond to observables in Quantum Mechanics have this property. (Recall that operators on finite-dimensional Hilbert Spaces can be written as Matrices. This wouldn't be possible if the operators weren't linear.) The time derivative on the left-hand side of the Schrödinger Equation is obviously also linear. Therefore, if $$i\hbar \frac{\partial}{\partial t} \psi_1 = \hat{H} \psi_1$$ and $$i\hbar \frac{\partial}{\partial t} \psi_2 = \hat{H} \psi_2$$ then $$i\hbar \frac{\partial}{\partial t} (\psi_1+\psi_2) = \hat{H} (\psi_1+\psi_2).$$