7.S: Approximation Methods (Summary)
- Page ID
- 550558
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\( \newcommand{\dsum}{\displaystyle\sum\limits} \)
\( \newcommand{\dint}{\displaystyle\int\limits} \)
\( \newcommand{\dlim}{\displaystyle\lim\limits} \)
\( \newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\)
( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\id}{\mathrm{id}}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\kernel}{\mathrm{null}\,}\)
\( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\)
\( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\)
\( \newcommand{\norm}[1]{\| #1 \|}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\AA}{\unicode[.8,0]{x212B}}\)
\( \newcommand{\vectorA}[1]{\vec{#1}} % arrow\)
\( \newcommand{\vectorAt}[1]{\vec{\text{#1}}} % arrow\)
\( \newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vectorC}[1]{\textbf{#1}} \)
\( \newcommand{\vectorD}[1]{\overrightarrow{#1}} \)
\( \newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}} \)
\( \newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}} \)
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\(\newcommand{\longvect}{\overrightarrow}\)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\(\newcommand{\avec}{\mathbf a}\) \(\newcommand{\bvec}{\mathbf b}\) \(\newcommand{\cvec}{\mathbf c}\) \(\newcommand{\dvec}{\mathbf d}\) \(\newcommand{\dtil}{\widetilde{\mathbf d}}\) \(\newcommand{\evec}{\mathbf e}\) \(\newcommand{\fvec}{\mathbf f}\) \(\newcommand{\nvec}{\mathbf n}\) \(\newcommand{\pvec}{\mathbf p}\) \(\newcommand{\qvec}{\mathbf q}\) \(\newcommand{\svec}{\mathbf s}\) \(\newcommand{\tvec}{\mathbf t}\) \(\newcommand{\uvec}{\mathbf u}\) \(\newcommand{\vvec}{\mathbf v}\) \(\newcommand{\wvec}{\mathbf w}\) \(\newcommand{\xvec}{\mathbf x}\) \(\newcommand{\yvec}{\mathbf y}\) \(\newcommand{\zvec}{\mathbf z}\) \(\newcommand{\rvec}{\mathbf r}\) \(\newcommand{\mvec}{\mathbf m}\) \(\newcommand{\zerovec}{\mathbf 0}\) \(\newcommand{\onevec}{\mathbf 1}\) \(\newcommand{\real}{\mathbb R}\) \(\newcommand{\twovec}[2]{\left[\begin{array}{r}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\ctwovec}[2]{\left[\begin{array}{c}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\threevec}[3]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\cthreevec}[3]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\fourvec}[4]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\cfourvec}[4]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\fivevec}[5]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\cfivevec}[5]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\mattwo}[4]{\left[\begin{array}{rr}#1 \amp #2 \\ #3 \amp #4 \\ \end{array}\right]}\) \(\newcommand{\laspan}[1]{\text{Span}\{#1\}}\) \(\newcommand{\bcal}{\cal B}\) \(\newcommand{\ccal}{\cal C}\) \(\newcommand{\scal}{\cal S}\) \(\newcommand{\wcal}{\cal W}\) \(\newcommand{\ecal}{\cal E}\) \(\newcommand{\coords}[2]{\left\{#1\right\}_{#2}}\) \(\newcommand{\gray}[1]{\color{gray}{#1}}\) \(\newcommand{\lgray}[1]{\color{lightgray}{#1}}\) \(\newcommand{\rank}{\operatorname{rank}}\) \(\newcommand{\row}{\text{Row}}\) \(\newcommand{\col}{\text{Col}}\) \(\renewcommand{\row}{\text{Row}}\) \(\newcommand{\nul}{\text{Nul}}\) \(\newcommand{\var}{\text{Var}}\) \(\newcommand{\corr}{\text{corr}}\) \(\newcommand{\len}[1]{\left|#1\right|}\) \(\newcommand{\bbar}{\overline{\bvec}}\) \(\newcommand{\bhat}{\widehat{\bvec}}\) \(\newcommand{\bperp}{\bvec^\perp}\) \(\newcommand{\xhat}{\widehat{\xvec}}\) \(\newcommand{\vhat}{\widehat{\vvec}}\) \(\newcommand{\uhat}{\widehat{\uvec}}\) \(\newcommand{\what}{\widehat{\wvec}}\) \(\newcommand{\Sighat}{\widehat{\Sigma}}\) \(\newcommand{\lt}{<}\) \(\newcommand{\gt}{>}\) \(\newcommand{\amp}{&}\) \(\definecolor{fillinmathshade}{gray}{0.9}\)There are very few chemical systems for which the Schrödinger equation can be solved exactly, so most of the time approximations must be made. The most common approximation is the Born-Oppenheimer approximation, which says that the motion of the electrons is fast compared to the motion of the nuclei. Under the Born-Oppenheimer approximation, nuclear coordinates are held fixed and the electron system is solved exactly (one-electron systems) or approximately (multi-electron systems), and then the nuclear coordinates are systematically varied and the electronic system recalculated. In this manner, a potential energy surface (PES) is created, giving the potential energy of the system as a function of the nuclear coordinates, and the PES can be used to solve the vibrational and rotational parts of the molecular wavefunction. The Born-Oppenheimer approximation is specific for molecules; the approximation methods that follow are general for quantum mechanics.
Variational principle
The variational principle states that for a given operator, the expectation value of that operator with any normalized function will be greater than or equal to the lowest eigenvalue of that operator. For a molecular Hamiltonian, that means that the energy calculated with an arbitrary wavefunction will provide an upper bound for the ground state energy of the molecule. In equation form, the variational principle states that if \(\ket{\psi}\) is a trial function, then
\[E = \frac{\bra{\psi}\op{H}\ket{\psi}}{\braket{\psi}{\psi}},\quad E \geq E_0, \label{chap:intro:eq:var} \]
where \(E\) is the energy associated with the trial function \(\ket{\psi}\), and \(E_0\) is the actual lowest eigenvalue of \(\op{H}\). The trial function may have adjustable parameters which can be varied to minimize the calculated energy and therefore improve the estimate; this is usually done using specialized software packages.
A special type of linear variational calculation is called the Rayleigh–Ritz method. In this method, the trial function is simply a linear combination of orthogonal basis functions
\[\ket{\psi} = \sum_n c_n\ket{\phi_n}. \nonumber \]
The solution to this problem involves calculating the \(c_n\) coefficients that minimize the variational energy. After some calculus, it can be shown that this is essentially an eigenvalue problem, and that the values of the coefficients can be obtained by solving the secular determinant
\[\left| \begin{array}{cccc} \bra{\phi_0}\op{H}\ket{\phi_0} - E\braket{\phi_0}{\phi_0} & \bra{\phi_0}\op{H}\ket{\phi_1} - E\braket{\phi_0}{\phi_1} & \cdots & \bra{\phi_0}\op{H}\ket{\phi_n} - E\braket{\phi_0}{\phi_n} \\[4pt] \bra{\phi_1}\op{H}\ket{\phi_0} - E\braket{\phi_1}{\phi_0} & \bra{\phi_1}\op{H}\ket{\phi_1} - E\braket{\phi_1}{\phi_1} & \cdots & \bra{\phi_1}\op{H}\ket{\phi_n} - E\braket{\phi_1}{\phi_n} \\[4pt] \vdots & \vdots & \ddots & \vdots \\[4pt] \bra{\phi_n}\op{H}\ket{\phi_0} - E\braket{\phi_n}{\phi_0} & \bra{\phi_1}\op{H}\ket{\phi_1} - E\braket{\phi_n}{\phi_1} & \cdots & \bra{\phi_n}\op{H}\ket{\phi_n} - E\braket{\phi_n}{\phi_n} \end{array} \right| = 0 \nonumber \]
Note that if the basis functions \(\ket{\phi_n}\) are normalized, then \(\braket{\phi_n}{\phi_m} = \delta_{nm}\), and the equation simplifies to
\[\left| \begin{array}{cccc} \bra{\phi_0}\op{H}\ket{\phi_0} - E & \bra{\phi_0}\op{H}\ket{\phi_1} & \cdots & \bra{\phi_0}\op{H}\ket{\phi_n} \\[4pt] \bra{\phi_1}\op{H}\ket{\phi_0} & \bra{\phi_1}\op{H}\ket{\phi_1} - E & \cdots & \bra{\phi_1}\op{H}\ket{\phi_n} \\[4pt] \vdots & \vdots & \ddots & \vdots \\[4pt] \bra{\phi_n}\op{H}\ket{\phi_0} & \bra{\phi_1}\op{H}\ket{\phi_1} & \cdots & \bra{\phi_n}\op{H}\ket{\phi_n} - E \end{array} \right| = 0 \nonumber \]
This equation will result in \(n\) values for \(E\), and for each value \(E_k\), there will be a set of \(n\) coefficients \(c_k\) that give rise to that energy. If you take this argument further, you’ll see that this is the general matrix formalism of quantum mechanics: wavefunctions \(\ket{\psi}\) can be represented by vectors of coefficients \(c_n\) in the space of orthogonal unit vectors \(\ket{\phi_n}\), and operators become matrices whose elements are the integrals \(\bra{\phi_n}\op{A}\ket{\phi_m}\).
\[\ket{\psi} = \left( \begin{array}{c} c_0 \\[4pt] c_1 \\[4pt] \vdots \\[4pt] c_n \end{array}\right), \quad \bra{\psi} = \left( \begin{array}{cccc} c_0^* & c_1^* & \cdots & c_n^* \end{array}\right)\textrm{, and } \op{H} = \left( \begin{array}{cccc} \bra{\phi_0}\op{H}\ket{\phi_0} & \bra{\phi_0}\op{H}\ket{\phi_1} & \cdots & \bra{\phi_0}\op{H}\ket{\phi_n} \\[4pt] \bra{\phi_1}\op{H}\ket{\phi_0} & \bra{\phi_1}\op{H}\ket{\phi_1} & \cdots & \bra{\phi_1}\op{H}\ket{\phi_n} \\[4pt] \vdots & \vdots & \ddots & \vdots \\[4pt] \bra{\phi_n}\op{H}\ket{\phi_0} & \bra{\phi_1}\op{H}\ket{\phi_1} & \cdots & \bra{\phi_n}\op{H}\ket{\phi_n} \end{array} \right) \nonumber \]
Solving for the \(c_n\) coefficients that minimize the energy is equivalent to diagonalizing \(\op{H}\) in this vector space; the eigenvalues are the energies and the eigenvectors are the coefficients on each basis function that make up the corresponding wavefunction. One can, for instance, estimate the ground state energy and wavefunction of a harmonic oscillator by using a trial function which is a linear combination of particle in a box wavefunctions.
Perturbation Theory
To use perturbation theory effectively, the problem must be expressed in terms of a separate problem that can be solved exactly together with a small correction term. That is, if \(\op{H}\) is the problem, then we must be able to express it as
\[\op{H} = \op{H}_0 + \op{V} \nonumber \]
where the eigenvalues and eigenfunctions of \(\op{H}_0\) are known, and \(\op{V}\) is relatively small. If we do this, then the eigenvalues \(\epsilon_n\) and eigenfunctions \(\ket{\Psi_n}\) can be expressed as
\[\epsilon_n = \epsilon_n^{(0)} + \epsilon_n^{(1)} + \epsilon_n^{(2)} + \ldots, \quad \ket{\Psi_n} = \ket{\psi_n^{(0)}} + \ket{\psi_n^{(1)}} + \ket{\psi_n^{(2)}} + \ldots \nonumber \]
where the superscripts indicate the “order” of the approximation. You can think of this as similar to a type of expansion like a Taylor series.
The zeroth order terms in each of these equations are the eigenvalues \(E_n\) and eigenfunctions \(\ket{\phi_n}\) of \(\op{H}_0\), which are known exactly. It can be shown that the first order terms are
\[\epsilon_n^{(1)} = \bra{\phi_n}\op{V}\ket{\phi_n} \nonumber \]
and
\[\ket{\psi_n^{(1)}} = \sum_{k \neq n} -\frac{\bra{\phi_k}\op{V}{\ket{\phi_n}}}{E_k - E_n}\ket{\phi_k}. \nonumber \]
In this way, we can use the solutions to exactly-solvable problems and correct them for small perturbations. This is a second reason we spent so much time deriving the solutions to the model systems above; not only do the systems give us a mental picture of what’s going on, they also provide a starting point for performing more accurate calculations while still maintaining the same qualitative physical picture. Perhaps the most common example of the use of perturbation theory is to calculate energies of anharmonic oscillators. Recall our earlier Taylor expansion of an arbitrary potential near the minimum, Equation \ref{chap:intro:eq:taylorpotential}. If we truncate the series at the fourth term instead of the third, we see that the Hamiltonian becomes
\[\op{H} = -\frac{\hbar^2}{2\mu}\nabla^2 + \frac{1}{2}kx^2 + \frac{1}{6}\gamma x^3, \nonumber \]
where \(\gamma\) is the third derivative of the potential at the minimum. This problem can be treated with perturbation theory if we let
\[\op{H_0} = -\frac{\hbar^2}{2\mu}\nabla^2 + \frac{1}{2}kx^2\textrm{, and }\op{V} = \frac{1}{6}\gamma x^3. \nonumber \]


