and similarly forJ^jandK^j.
dSij¼Z
dc$ið 1 Þcjð 1 Þdv 1 þc$ið 1 Þdcjð 1 Þv 1 ð 5 : 31 ÞUsing fordH,dJ,dKanddSthe expressions in Eqs.5.26–5.28and5.31, Eq.5.25
becomes
2
Xni¼ 1Z
dc$ið 1 Þ½H^core
ð 1 Þcið 1 ÞþXnj¼ 1ð 2 J^jð 1 Þ#K^jð 1 ÞÞcið 1 Þþ1
2
Xnj¼ 1lijcjð 1 Þdvþcomplex conjugate¼ 0
ð 5 : 32 ÞSince the MOs can be varied independently, and the expression on the left side is
zero, both parts of Eq.5.32(the part shown and the complex conjugate) equal zero.
It can be shown that a consequence of
2
Xni¼ 1Z
dc$ið 1 Þ½H^
core
ð 1 Þcið 1 ÞþXnj¼ 1ð 2 J^jð 1 Þ#K^jð 1 ÞÞcið 1 Þþ1
2
Xnj¼ 1lijcjð 1 Þdv¼ 0ð 5 : 33 Þis that
H^coreð 1 Þcið 1 ÞþXnj¼ 1ð 2 J^jð 1 Þ#K^jð 1 ÞÞcið 1 Þþ1
2
Xnj¼ 1lijcjð 1 Þdv¼ 0i.e.
½H^coreð 1 ÞþXnj¼ 1ð 2 J^jð 1 Þ#K^jð 1 ÞÞcið 1 Þ¼#1
2
Xnj¼ 1lijcjð 1 Þð 5 : 34 ÞEq.5.34can be writtenF^cið 1 Þ¼#^1
2Xnj¼ 1lijcjð 1 Þð 5 : 35 ÞwhereF^is theFock operator:
F^¼H^coreð 1 ÞþXnj¼ 1ð 2 J^jð 1 Þ#K^jð 1 ÞÞð 5 : 36 Þ5.2 The Basic Principles of the ab initio Method 191