The many-body Hamiltonian for a system of electrons at positions
and static ions at positions
is
An infinite system is normally modeled by a finite
simulation cell subject to periodic boundary conditions. The model
interaction terms, ,
, and
, are
chosen such that the potential energy of the model system, which
involves only the positions of the particles in the finite simulation
cell, mimics the potential energy of the infinite system as closely as
possible. Since the potential energy of the infinite system depends
on the positions of all the charges in the solid, only a few of which
are included in the simulation, the model interaction energy is
approximate even in crystalline solids. To enforce the periodic
boundary conditions the functions
,
, and
must be invariant under the translation of either
argument by a member of the set of translation vectors of the
simulation cell lattice,
. The standard approach is to
choose the model Hamiltonian such that the full potential energy of
equation 6.1, evaluated by summing the model interactions
between all pairs of particles in the simulation cell, equals the
potential energy per cell of an infinite array of identical copies of
the simulation cell. However, even when each simulation cell in the
array of copies is restricted to be overall charge neutral, the sum of
inter-particle Coulomb
interactions is only conditionally
convergent, [76] and to define this model
interaction uniquely the boundary conditions at infinity must be
specified. The standard procedure is to define the potential by
solving Poisson's equation subject to periodic boundary conditions, in
which case the model interaction is the Ewald
interaction. [51] Further details of the Ewald interaction and
the supercell approach were given in chapter 4.