Brillouin's theorem: Difference between revisions

From Wikipedia, the free encyclopedia
Content deleted Content added
m →‎top: has at least one reference, see info
Esmu Igors (talk | contribs)
→‎Proof: additional references and more elaborated discussion of the proof
Line 7: Line 7:
==Proof==
==Proof==
The electronic Hamiltonian of the system can be divided into two parts: one consisting of one-electron operators <math>h(1)=-\frac{1}{2}\nabla^2_1 - \sum_{\alpha} \frac{Z_\alpha}{r_{1\alpha}}</math> and the other of two-electron operators <math>\sum_{j} |r_1-r_j|^{-1}</math>.
The electronic Hamiltonian of the system can be divided into two parts: one consisting of one-electron operators <math>h(1)=-\frac{1}{2}\nabla^2_1 - \sum_{\alpha} \frac{Z_\alpha}{r_{1\alpha}}</math> and the other of two-electron operators <math>\sum_{j} |r_1-r_j|^{-1}</math>.
Using the [[Slater-Condon rules]] we can simply evaluate
Using the [[Slater–Condon rules]] we can simply evaluate
::<math>\langle \psi_0|\hat{H} |\psi_a^r \rangle=\langle a|h|r\rangle + \sum_b \langle ab || rb\rangle</math>
::<math>\langle \psi_0|\hat{H} |\psi_a^r \rangle = \langle a|h|r \rangle + \sum_b \langle ab || rb \rangle = \langle a|h|r \rangle + \sum_b \left ( \langle ab | rb \rangle - \langle ab | br \rangle \right ) = \langle a|h|r\rangle + \sum_b \left ( \langle a | 2 \hat{J}_b - \hat{K}_b | r \rangle \right )</math>
which we recognize is simply an off-diagonal element of the [[Fock matrix]] <math> \langle \chi_a|f|\chi_r \rangle </math>. But the whole point of the SCF procedure was to diagonalize the Fock matrix and hence for an optimized wavefunction this quantity must be zero.
which we recognize is simply an off-diagonal element of the [[Fock matrix]] <math> \langle \chi_a|f|\chi_r \rangle </math>. But the whole point of the SCF procedure was to diagonalize the Fock matrix and hence for an optimized wavefunction this quantity must be zero. This is evident if we multiply the both sides of a Fock equation
::<math>\hat{F} \chi_r = \epsilon_r \chi_r</math>
by <math>\chi_a^{\ast}(\vec{r})</math> and integrate over the electronic coordinate:
::<math>\int\limits_{-\infty}^{\infty} \chi_a^{\ast}(\vec{r}) \hat{F} \chi_r(\vec{r}) d^3 \vec{r} = \epsilon_r \int\limits_{-\infty}^{\infty} \chi_a^{\ast}(\vec{r}) \chi_r(\vec{r}) d^3 \vec{r}</math>
Since the wavefunction used as the ground-state determinant for the single-reference multielectron-basis set methods (CI, [[Møller–Plesset perturbation theory|MP''n'']], etc.) is the converged wavefunction of the Hartree–Fock problem, the Fock matrix has been already diagonalized and hence the states <math>\chi_r^{\ast}(\vec{r})</math> and <math>\chi_a(\vec{r})</math>, being the eigenstates of the Fock operator, are orthogonal; thus their overlap is zero. It makes all the right-hand side of the equation zero:<ref name=tsu>{{cite book |last1=Tsuneda |first1=Takao |title=Density Functional Theory in Quantum Chemistry |date=2014 |publisher=Springer |location=Tokyo |isbn=978-4-431-54825-6 |pages=73–75 |url=http://dx.doi.org/10.1007/978-4-431-54825-6 |accessdate=4 February 2019 |chapter=Ch. 3: Electron Correlation}}</ref>
::::<math>\int\limits_{-\infty}^{\infty} \chi_a^{\ast}(\vec{r}) \hat{F} \chi_r(\vec{r}) d^3 \vec{r} = \langle \psi_0|\hat{H} |\psi_a^r \rangle = 0</math>,
which proves the Brillouin theorem.

Another interpretation of the theorem is that the ground electronic states solved by one-particle methods (such as HF or [[Density functional theory|DFT]]) already imply configuration interaction of the ground-state configuration with the singly excited ones. That renders their further inclusion into the CI expansion redundant.<ref name=tsu />

The theorem had also been proven directly from the [[variational principle]] (by Mayer) and is essentially equivalent to the Hartree–Fock equations in general.<ref>{{cite book |last1=Surján |first1=Péter R. |title=Second Quantized Approach to Quantum Chemistry |date=1989 |publisher=Springer |location=Berlin, Heidelberg |isbn=978-3-642-74755-7 |pages=87–92 |url=http://dx.doi.org/10.1007/978-3-642-74755-7_11 |accessdate=4 February 2019 |chapter=Ch. 11: The Brillouin Theorem}}</ref>


== Further reading ==
== Further reading ==

Revision as of 15:04, 4 February 2019

In quantum chemistry, Brillouin's theorem, proposed by the French physicist Léon Brillouin in 1934, states that given a self-consistent optimized Hartree-Fock wavefunction , the matrix element of the Hamiltonian between the ground state and a single excited determinant (i.e. one where an occupied orbital a is replaced by a virtual orbital r) must be zero.

This theorem is important in constructing a configuration interaction method, among other applications.

Proof

The electronic Hamiltonian of the system can be divided into two parts: one consisting of one-electron operators and the other of two-electron operators . Using the Slater–Condon rules we can simply evaluate

which we recognize is simply an off-diagonal element of the Fock matrix . But the whole point of the SCF procedure was to diagonalize the Fock matrix and hence for an optimized wavefunction this quantity must be zero. This is evident if we multiply the both sides of a Fock equation

by and integrate over the electronic coordinate:

Since the wavefunction used as the ground-state determinant for the single-reference multielectron-basis set methods (CI, MPn, etc.) is the converged wavefunction of the Hartree–Fock problem, the Fock matrix has been already diagonalized and hence the states and , being the eigenstates of the Fock operator, are orthogonal; thus their overlap is zero. It makes all the right-hand side of the equation zero:[1]

,

which proves the Brillouin theorem.

Another interpretation of the theorem is that the ground electronic states solved by one-particle methods (such as HF or DFT) already imply configuration interaction of the ground-state configuration with the singly excited ones. That renders their further inclusion into the CI expansion redundant.[1]

The theorem had also been proven directly from the variational principle (by Mayer) and is essentially equivalent to the Hartree–Fock equations in general.[2]

Further reading

  • Cramer, Christopher J. (2002). Essentials of Computational Chemistry. Chichester: John Wiley & Sons, Ltd. pp. 207–211. ISBN 0-471-48552-7.
  • Szabo, Attila; Neil S. Ostlund (1996). Modern Quantum Chemistry. Mineola, New York: Dover Publications, Inc. pp. 350–353. ISBN 0-486-69186-1.
  1. ^ a b Tsuneda, Takao (2014). "Ch. 3: Electron Correlation". Density Functional Theory in Quantum Chemistry. Tokyo: Springer. pp. 73–75. ISBN 978-4-431-54825-6. Retrieved 4 February 2019.
  2. ^ Surján, Péter R. (1989). "Ch. 11: The Brillouin Theorem". Second Quantized Approach to Quantum Chemistry. Berlin, Heidelberg: Springer. pp. 87–92. ISBN 978-3-642-74755-7. Retrieved 4 February 2019.