As a general rule, bound states are considered to be orthogonal. Once again, the solutions for the infinite well are an exception to this rule. Although not all states are orthogonal, pairs of solutions representing orthogonal states are present.

In this section, I examine why the standard proof for orthogonality of two solutions does not apply to the infinite well.  However, it can be shown that when the two solutions differ by an even quantum number, the solutions are orthogonal.

Orthogonality

Keeping in mind that the inner product $\langle f \Big | g \rangle$ of two functions $f(x)$ and $g(x)$ is defined as

\[ \langle f \Big | g \rangle = \int f^{*}(x) g (x) dx \]

The rule for orthogonality between normalized states $f_{n} = \psi_{n}(x)$ and $f_{m} = \psi_{m}(x)$ is given by

\[ \langle f_{m} \Big | f_{n} \rangle = \delta_{mn} \]

where $\delta_{mn}$ is the Kronecker delta defined as

\[ \delta_{mn} = \begin{cases} 0, \text{ if } m \neq n \notag \\ 1, \text{ if } m = n \notag \end{cases} \]

Standard Proof of Orthogonality

The proof for orthogonality of two distinct wave functions is usually given as follows:

Let $f=\psi_{a}$ and $g=\psi_{b}$. When acted upon by a hermitian operator $\hat{Q}$, eigenfunctions $f$ and $g$ give real eigenvalues of $q$ and $q’$ respectively. Since $q \in \mathbb{R}$, $q^{*}=q$. The general rule is that there are no degenerate states in 1-dimension which implies that $q’ \neq q^{*}$ Then,

\[ \langle f \Big | \hat {Q} g \rangle  = \langle \hat {Q} f \Big | g \rangle \notag  \]

\[ q’ \langle f \Big | g \rangle  = q^{*} \langle f \Big | g \rangle \notag \]

\[ \qquad \qquad \qquad \langle f \Big | g \rangle  = 0 \qquad \textrm{since} \quad  q’ \neq q^{*} \]

The Exception for the Infinite Well

However, as show in section on Degneracy, the infinite well does allow degenerate solutions. Since it is possible for $q’ = q^{*}$, the proof given above fails and the rule that all bound quantum states are orthogonal doesn’t apply.

Orthogonality when the principal quantum numbers differ by an even integer

For the particle in the box, the solutions (see The Solutions page) are as follows:

\[ \psi_{1_{n}}(x) = Ae^{\imath k x} \qquad \Big |A \Big | = \sqrt{\frac{1}{L}} \]

or

\[ \psi_{2_{n}}(x)=B^{-\imath kx} \qquad \Big |B \Big | = \sqrt{\frac{1}{L}} \]

with

\[ k_{n} = \frac{n \pi}{L} \qquad n=\pm 1, \pm 2, \pm 3, \dots  \]

Orthogonality does exist if the principal quantum number $n$ for solution $\Psi_{1_{n}}$ differs from the principal quantum number $m$ for state $\Psi_{1_{m}}$ by an even integer.

Keeping in mind that $A^{*}A = 1/L$,

\[ \langle \psi_{1_{m}} \Big | \psi_{1_{n}} \rangle  = \int_{x_{0}}^{x_{0}+L} \psi^{*}_{1_{m}} \psi_{1_{n}}dx \notag \]

\[  =\int_{x_{0}}^{x_{0}+L} A^{*}e^{-\imath k_{m} x} Ae^{\imath k_{n}x} dx \notag \]

\[  = A^{*}A \cdot \frac{1}{(k_{n}-k_{m})} \cdot e^{\imath (k_{n}-k_{m})x}\Big |_{x_{0}}^{x_{0}+L} \notag \]

\[  = \frac{1}{L} \cdot \frac{1}{(k_{n}-k_{m})} \cdot \Big \{ \Big [\cos (k_{n}-k_{m})(x_{0}+L) + \imath \sin (k_{n}-k_{m})(x_{0}+L) \Big ]  – \Big [\cos (k_{n}-k_{m})x_{0} + \imath \sin (k_{n}-k_{m})x_{0} \Big ] \Big \} \tag{1} \label{Eq:Orthogonality} \]

Noting that

\[ k_{m} = \frac{m \pi}{L} \qquad m= \pm1, \pm 2, \pm 3, \dots \notag \]

\[ k_{n} = \frac{n \pi}{L} \qquad n= \pm1, \pm 2, \pm 3, \dots \notag \]

For $n \neq m$, Eq.\eqref{Eq:Orthogonality} reduces to zero if $\Big | m\pm n \Big |$ is even and the two states are therefore orthogonal. A similar analysis yields the same results for the states $\psi_{2_{m}}$ and $\psi_{2_{n}}$.

Each state is also orthonormal since

\[ \langle \psi_{1_{n}} \Big | \psi_{1_{n}} \rangle  = \int_{x_{0}}^{x_{0}+L} \psi^{*}_{1_{n}} \psi_{1_{n}}dx \notag \]

\[ = \int_{x_{0}}^{x_{0}+L} A^{*}e^{-\imath k_{n}x} \cdot Ae^{\imath k_{n}x} dx \notag \]

\[ = A^{*}A (L) \notag \]

\[ = 1 \]