notes / quantum mechanics NOV 16, 2020 · 4 MIN READ

The Variational Principle

adapted from L.Piela, Ideas of Quantum Chemistry.

Variational principle

Solving the exact Hamiltonian for complicated systems is generally undesirable, and involves several approximations to be made possible. One of the most widely used technique in approximating a solution is called the Variational principle. In mathematical terms, it states that

ε[Φ]=ΦHΦΦΦ(1)\varepsilon[\Phi] = \frac{\braket{\Phi|H|\Phi}}{\braket{\Phi|\Phi}} \tag{1}

for some arbitrary Φ\Phi that is:

  • the same coordinates (e.g. xx, or rr) of the corresponding Schrodinger equation
  • normalizable

Then, we could say εE0\varepsilon \geq E_0, where E0E_0 is the true ground state energy, and ε=E0\varepsilon = E_0 if and only if Φ\Phi is the exact ground state wavefunction of HH.

Proof:
We know that {Ψi}\{\Psi_i\} of HH is a set of complete orthonormal basis. That means any function Φ\Phi can be written as:

Φ=i=0ciΨi\Phi = \sum_{i=0}^{\infty} c_i \Psi_i

where

i=0ci2=1\sum_{i=0}^{\infty}|c_i|^2 = 1

Plugging into the expectation value of energy ε=ΦHΦ\varepsilon=\braket{\Phi|H|\Phi}, we get:

ε=ΦHΦ=j=0cjΨjHi=0ciΨi    εE0=j=0cjΨjHi=0ciΨiE0=j=0i=0cjciEiΨjΨiE0=j=0i=0cjciEiδijE0=i=0ci2EiE0×1=i=0ci2EiE0×i=0ci2=i=0ci2(EiE0)0\begin{gathered} \varepsilon = \braket{\Phi|H|\Phi} \\ = \braket{\sum_{j=0}^{\infty} c_j \Psi_j|H|\sum_{i=0}^{\infty} c_i \Psi_i} \\ \implies \varepsilon-E_0 = \braket{\sum_{j=0}^{\infty} c_j \Psi_j|H|\sum_{i=0}^{\infty} c_i \Psi_i} - E_0 \\ = \sum_{j=0}^{\infty}\sum_{i=0}^{\infty} c_j^* c_i E_i \braket{\Psi_j|\Psi_i} - E_0 \\ = \sum_{j=0}^{\infty}\sum_{i=0}^{\infty} c_j^* c_i E_i \delta_{ij} - E_0 \\ = \sum_{i=0}^{\infty}|c_i|^2E_i - E_0 \times 1 \\ = \sum_{i=0}^{\infty}|c_i|^2E_i - E_0 \times \sum_{i=0}^{\infty}|c_i|^2 \\ = \sum_{i=0}^{\infty}|c_i|^2(E_i - E_0) \\ \geq 0 \end{gathered}

With the theorem in mind, how do we actually apply it?

Variational Method

Suppose a trial function Φ\Phi and we know its analytical form. We introduce parameters c=(c0,c1,c2,...,cp)T\underline{c} = (c_0, c_1, c_2, ..., c_p)^T, which we may modify, into Φ\Phi. Then, for some c\underline{c}, we can say Φ=Φ(x;c)\Phi = \Phi(x; \underline{c}). Recall the variational principle, equation (1), since on the right hand side we integrate out xx, then the left hand side depends exclusively on the variational parameter, which is c\underline{c} in this case. i.e.

ε(c0,c1,c2,...,cp)=ε(c)=Φ(x;c)HΦ(x;c)Φ(x;c)Φ(x;c)\varepsilon (c_0, c_1, c_2,..., c_p) = \varepsilon(\underline{c}) = \frac{\braket{\Phi(x; \underline {c})|H|\Phi(x; \underline{c})}}{\braket{\Phi(x; \underline{c})|\Phi(x; \underline{c})}}

And the problem amounts to an optimization problem of finding c\underline{c} such that ε\varepsilon is minimized, approaching E0E_0 the number we want.
In general, it’s not an easy task, because

ε(c0,c1,...,cp)ci=0  for  i=0,1,2,...,p\frac{\partial \varepsilon(c_0, c_1, ..., c_p)}{\partial c_i} = 0 \;\text{for} \; i=0,1, 2,...,p

is a necessary but not sufficient condition to find the global minimum of ε\varepsilon. More details of this can be found in texts related to optimization.

The Linear Variational Principle (Ritz Method)

Here we will talk about a special case of variational method, where we represent the trial function Φ\Phi as a linear combination of some other functions {ϕi}\{\phi_i\} that we know of, called the basis functions. The previously c\underline{c} parameter will be the linear coefficients of the basis functions. i.e.

Φ=i=0pciϕi\Phi = \sum_{i=0}^p c_i\phi_i

This special case allows us to find the global minimum by just looking at the derivative. We can rewrite the equation for energy as

ε=i=0pciϕiHj=0pcjϕji=0pciϕij=0pcjϕj=i=0pj=0pcicjHiji=0pj=0pcicjSij\begin{gathered} \varepsilon = \frac{\braket{\sum_{i=0}^p c_i\phi_i|H|\sum_{j=0}^p c_j\phi_j}}{\braket{\sum_{i=0}^pc_i\phi_i|\sum_{j=0}^pc_j\phi_j}} \\ = \frac{\sum_{i=0}^p\sum_{j=0}^p c_i^*c_j H_{ij}}{\sum_{i=0}^p\sum_{j=0}^p c_i^*c_j S_{ij}} \end{gathered}

where we define

Hij=ϕiHϕjH_{ij} = \braket{\phi_i|H|\phi_j} Sij=ϕiϕjS_{ij} = \braket{\phi_i|\phi_j}

These matrix elements can be obtained by explicitly integrating because we know the exact forms of ϕ\phi. Also notice that ε\varepsilon is a function of cic_i‘s, so let’s look at its derivative. Let

ε=i=0pj=0pcicjHiji=0pj=0pcicjSijAB\begin{gathered} \varepsilon = \frac{\sum_{i=0}^p\sum_{j=0}^p c_i^*c_j H_{ij}}{\sum_{i=0}^p\sum_{j=0}^p c_i^*c_j S_{ij}} \\ \equiv \frac{A}{B} \end{gathered}

Assume all cic_i‘s are real for convenience, then for each k=0,1,2...,pk=0,1,2...,p, by the product rule we have:

AckBABckB2\frac{\frac{\partial A}{\partial c_k}B - A\frac{\partial B}{\partial c_k}}{B^2}

The individual derivatives for AA and BB are

Ack=i=0pj=0pcicjHijck=j=0pcjHkj\begin{gathered} \frac{\partial A}{\partial c_k} = \frac{\partial \sum_{i=0}^p\sum_{j=0}^p c_ic_j H_{ij}}{\partial c_k} \\ = \sum_{j=0}^p c_j H_{kj} \end{gathered}

Similarly,

Bck=j=0pcjSkj\frac{\partial B}{\partial c_k} = \sum_{j=0}^p c_j S_{kj}

If you are having trouble thinking of these derivatives, try expanding out the individual sums with the appropriate indices, set k=0k=0, and evaluate which terms are not relevant to c0c_0. Then apply this for general kk. Now we can write

εck=AckBABckB2=j=0pcjHkjBABj=0pcjSkjB=j=0pcjHkjεcjSkjB=j=0pcj(HkjεSkj)B\begin{gathered} \frac{\partial \varepsilon}{\partial c_k} = \frac{\frac{\partial A}{\partial c_k}B - A\frac{\partial B}{\partial c_k}}{B^2} \\ = \frac{\sum_{j=0}^pc_jH_{kj}}{B} - \frac{A}{B}\frac{\sum_{j=0}^pc_jS_{kj}}{B} \\ = \frac{\sum_{j=0}^pc_jH{kj} - \varepsilon c_j S_{kj}}{B} \\ = \frac{\sum_{j=0}^p c_j (H_{kj} - \varepsilon S_{kj})}{B} \end{gathered}

Setting the above to 0, we get

j=0pcj(HkjεSkj)=0  for  k=0,1,2,...,p\sum_{j=0}^p c_j (H_{kj} - \varepsilon S_{kj}) = 0 \; \text{for} \; k=0,1,2,...,p

This is also called the secular equation, and one way to solve it is by requiring the determinant of the matrix HεS\pmb{H} - \varepsilon \pmb{S} be 0, which reduces to diagonalizing the matrix S1H\pmb{S}^{-1}\pmb{H}. The resulting eigenvalues are the energies, and the eigenvectors are the linear coefficients of basis functions that corresponds to the energy. The smallest eigenvalue corresponds to the approximated ground state energy, and the larger eigenvalues can be thought of in some sense excited state energies.

quantumteachingchem 120a