Benson's formula expresses the conditionally convergent lattice sum as an exponentially convergent series
(Borwein and Bailey 2003, p. 26),
|
(1)
| |||
|
(2)
|
Here,
runs through the positive integers, the prime
excludes
,
and
is the hyperbolic secant. The limit
uses expanding cubes centered at the origin.
The corresponding sums over expanding spheres
do not converge (Bailey et al. 2006). The value is
and is known as "the" Madelung
constant. The decimal expansion of its negation
is OEIS A085469.
No closed form for is known (Bailey et al. 2006).