ブリルアンの定理

量子化学において、ブリルアンの定理（ブリルアンのていり、）は、セルフコンシステントに最適化されたハートリー–フォック波動関数formula_1を考えると、基底状態と1電子励起状態（すなわち、占有された軌道"a"が仮想軌道"r"によって置き換えられている）の行列式間のハミルトニアンの行列要素がゼロでなければならない、と述べる。
1934年にフランスの物理学者レオン・ブリルアンによって提唱された。
この定理は、数ある応用の中でも、配置間相互作用法を構築するうえで重要である。つまり、HF基底状態は1電子励起状態の混合によって改善されず、2電子励起状態が最初の補正を与える。
定理の別の解釈は、（HFあるいはDFTといった）1粒子法によって解かれた基底電子状態がすでに1電子励起配置と基底状態配置の配置間相互作用を暗黙的に含む、というものである。
証明.
系の電子ハミルトニアンは1電子演算子
formula_3
と2電子演算子
formula_4
に分けることができる。モデルに電子相関を含める波動関数に基づく量子化学の手法では、波動関数は異なるスレイター行列式からなる級数の和（すなわち、こういった行列式の線形結合）として表わされる。配置間相互作用（やMP"n"等のようなその他の単一参照多電子基底関数系法）の最も単純な場合では、全ての行列式が同一の1電子関数（オービタル）を含み、電子によるこれらのオービタルの占有のみが異なる。これらのオービタルの源は収束したハートリー–フォック計算であり、これは全ての電子が利用可能な中でエネルギー的に最も低い状態を占めているいわゆる参照行列式 formula_5を与える。その他の全ての行列式は次に参照行列式を形式的に「励起」させる（1つ以上の電子をformula_5中で占有している1電子状態から取り除き、formula_5中の占有されていない状態に入れる）ことによって作られる。オービタルは同じままなため、多電子状態基底 (formula_5, formula_9, formula_10, …) から1電子状態基底（ハートリー–フォックに対して使われたもの: formula_11, formula_12, formula_13, formula_14, …）に単に移行することができ、これによって計算の効率性が大幅に改善される。この移行のため、スレイター–コンドン則を適用し、
formula_15
を評価する。これは単にフォック行列formula_16の非対角要素である。しかし参照波動関数はハートリー–フォック計算（SCF手順）によって得られた（その全ての点はフォック行列を対角化することになる）。したがって、最適化された波動関数について、この非対角要素はゼロでなければならない。
これは、ハートリー–フォック方程式
formula_17
の両辺にformula_18を掛けて、電子座標にわたって積分する
formula_19
ことでもはっきりさせることができる。フォック行列は既に対角化されているため、状態formula_20およびformula_21はフォック演算子の固有状態であり、それゆえに直交している。したがって、それらの重なりはゼロである。これによって、方程式の右辺は全てゼロになり、
formula_22
ブリルアンの定理を証明する。
ブリルアンの定理は変分原理からも直接的に証明されており、一般にハートリー–フォック方程式と実質的に等価である。