Madelung constants are the quantities obtained from cubic, hexagonal, etc., lattice sums, with the exponent and summation convention specified.
For cubic lattice sums, define
|
(1)
|
where
is a positive integer and the prime excludes
the origin. The sum converges absolutely for
. Closed forms for
at even indices
include those summarized in the following table, where
is the Dirichlet
beta function and
is the Dirichlet
eta function.
To obtain the closed form for , separate the two coordinate axes from the four quadrants.
The symmetry under sign changes gives
|
(2)
|
The second of these sums can be done analytically as
|
(3)
|
for .
In the case
,
this reduces to
|
(4)
|
The first sum is more difficult, but in the case can be written
|
(5)
|
Combining these then gives the original sum as
|
(6)
|
For a positive integer , the Coulomb values
have the convergent integral
|
(7)
|
where
is a Jacobi theta function. This integral
specifies the summation convention when the underlying lattice
sum is not absolutely convergent. In this convention, low-dimensional values
are
|
(8)
| |||
|
(9)
| |||
|
(10)
|
(Finch 2003, pp. 76-77), where is the Riemann zeta
function and
is the Dirichlet beta function.
For ,
the lattice sum is interpreted using expanding cubes or analytic
continuation (Tyagi 2004). It is given by Benson's
formula (Borwein and Bailey 2003, p. 24)
|
(11)
| |||
|
(12)
| |||
|
(13)
|
(OEIS A085469), where the prime indicates that summation over (0, 0, 0) is excluded.
is sometimes called "the" Madelung constant and corresponds to the Madelung
constant for a three-dimensional NaCl crystal. Crandall (1999) gave the expression
|
(14)
|
Similar results were found by Tyagi (2004),
|
(15)
| |||
|
(16)
| |||
|
(17)
|
the last of which converges rapidly. Averaging (17) and (14) then gives the beautiful equation
|
(18)
|
which agrees with
to nine decimal places when the sum is omitted (Tyagi 2004).
However, no closed form for is known (Bailey et al. 2006).
For hexagonal lattice sums, is expressible in closed form as
|
(19)
| |||
|
(20)
|
(OEIS A086055).