7.2: Two-State System
- Page ID
- 1217
Let us start by considering time-independent perturbation theory, in which the modification to the Hamiltonian, \( H_1\) , has no explicit dependence on time. It is usually assumed that the unperturbed Hamiltonian, \( H_0\) , is also time-independent.
Consider the simplest non-trivial system, in which there are only two independent eigenkets of the unperturbed Hamiltonian. These are denoted
It is assumed that these states, and their associated eigenvalues, are known. Because \( H_0\) is, by definition, an Hermitian operator, its two eigenkets are mutually orthogonal and form a complete set. The lengths of these eigenkets are both normalized to unity. Let us now try to solve the modified energy eigenvalue problem
In fact, we can solve this problem exactly. Since the eigenkets of \( H_0\) form a complete set, we can write
Right-multiplication of Equation \ref{586} by \( \langle 1\vert\) and \( \langle 2\vert\) yields two coupled equations, which can be written in matrix form:
Here,
In the special (but common) case of a perturbing Hamiltonian whose diagonal matrix elements (in the unperturbed eigenstates) are zero, so that
the solution of Equation \ref{588} (obtained by setting the determinant of the matrix equal to zero) is
Let us expand in the supposedly small parameter
We obtain
The above expression yields the modifications to the energy eigenvalues due to the perturbing Hamiltonian:
Note that \( H_1\) causes the upper eigenvalue to rise, and the lower eigenvalue to fall. It is easily demonstrated that the modified eigenkets take the form
Thus, the modified energy eigenstates consist of one of the unperturbed eigenstates with a slight admixture of the other. Note that the series expansion in Equation \ref{595} only converges if \( 2\,\vert\epsilon\vert<1\) . This suggests that the condition for the validity of the perturbation expansion is
In other words, when we say that \( H_1\) needs to be small compared to \( H_0\) , what we really mean is that the above inequality needs to be satisfied.
Contributors
Richard Fitzpatrick (Professor of Physics, The University of Texas at Austin)
\( \newcommand {\ltapp} {\stackrel {_{\normalsize<}}{_{\normalsize \sim}}}\) \(\newcommand {\gtapp} {\stackrel {_{\normalsize>}}{_{\normalsize \sim}}}\) \(\newcommand {\btau}{\mbox{\boldmath$\tau$}}\) \(\newcommand {\bmu}{\mbox{\boldmath$\mu$}}\) \(\newcommand {\bsigma}{\mbox{\boldmath$\sigma$}}\) \(\newcommand {\bOmega}{\mbox{\boldmath$\Omega$}}\) \(\newcommand {\bomega}{\mbox{\boldmath$\omega$}}\) \(\newcommand {\bepsilon}{\mbox{\boldmath$\epsilon$}}\)