Next Article in Journal
Chaotic Dynamical State Variables Selection Procedure Based Image Encryption Scheme
Next Article in Special Issue
Symmetry and Topology: The 11 Uninodal Planar Nets Revisited
Previous Article in Journal
Task-Management Method Using R-Tree Spatial Cloaking for Large-Scale Crowdsourcing
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

The Exact Evaluation of Some New Lattice Sums

Physics Department, King’s College, Strand, London WC2R 2LS, UK
Symmetry 2017, 9(12), 314; https://doi.org/10.3390/sym9120314
Submission received: 14 November 2017 / Revised: 6 December 2017 / Accepted: 6 December 2017 / Published: 11 December 2017
(This article belongs to the Special Issue Mathematical Crystallography)

Abstract

:
New q-series in the spirit of Jacobi have been found in a publication first published in 1884 written in Russian and translated into English in 1928. This work was found by chance and appears to be almost totally unknown. From these entirely new q-series, fresh lattice sums have been discovered and are presented here.

1. Introduction. A Short History of Lattice Sums

The Jacobian θ -functions
θ 2 = θ 2 ( q ) = q ( m 1 / 2 ) 2 = 2 q 1 / 4 ( 1 + q 2 + q 6 + q n ( n + 1 ) ,
θ 3 = θ 3 ( q ) = q m 2 = 1 + 2 q + 2 q 4 + 2 q 9 + 2 q 16 ,
θ 4 = θ 4 ( q ) = ( 1 ) m q m 2 = 1 2 q + 2 q 4 2 q 9 + 2 q 16
enjoy many surprising relations amongst themselves. Two which are of importance here are
2 θ 3 ( q 4 ) = θ 3 + θ 4 and 2 θ 3 2 ( q 2 ) = θ 3 2 + θ 4 2 .
They also have the remarkable property that many even powers and products of their representations as infinite series may be reduced to a single series. Thus, consider the following typical example.
θ 3 2 = q m 2 + n 2 = 1 + 4 m = 1 4 q m 1 + q 2 m ,
a result found in Jacobi [1]. We can further expand the RHS of (5) to give
q m 2 + n 2 = 1 + 4 m = 1 q m q 3 m + q 5 m = 1 + 4 n = 0 m = 1 q ( 4 n + 1 ) m q ( 4 n + 3 ) m
This allows us to say something about the quadratic form m 2 + n 2 , namely that the number of solutions of the diophantine equation m 2 + n 2 = N is equal to four times the difference between the number of divisors of N of the form 4 n + 1 and the number of divisors of N of the form 4 n + 3 . It was to find arithmetic properties for other quadratic forms that Jacobi made use of relations such as (6).
Surprisingly, for such a brillant algorist he did not make use of the fact that summing over any function of the given quadratic form was equivalent to summing over its transformed representation. Hence, in the example given here
f ( m 2 + n 2 ) = 4 n = 0 m = 1 [ f ( 4 n + 1 ) m f ( 4 n + 3 ) m )
In the above, implies summation over both m and n from − to , excluding the case when m , n are simultaneously zero. This removes the “1” in front of Equations (2) and (3). Thus, consider
1 ( m 2 + n 2 ) s = 4 n = 0 m = 1 1 ( 4 n + 1 ) s m s 1 ( 4 n + 3 ) s m s .
The sums over m and n on the RHS of (6) are completely independent of one another. We have
m = 1 1 m s = ζ ( s ) and n = 0 1 ( 4 n + 1 ) s 1 ( 4 n + 3 ) s = L 4 ( s ) = β ( s ) .
Here β ( s ) is a well-known Dirichlet series of period 4. So, we now have the
1 ( m 2 + n 2 ) s = 4 ζ ( s ) β ( s ) ,
This result has usually been ascribed to Hardy [2] in 1919. However, it was discovered over a hundred years after it had been published that this result first appeared in a paper by Lorenz [3] in 1871. One may ask why it took so long for this paper to become known. Ludvig Lorenz was a Danish theoretical physicist who had done some good work on electromagnetism. However, the paper in which he published (9) was unusual in that it was written in Danish and published in the first volume of a new Danish journal. It was thus highly unlikely to receive attention in the 19th century. A further oddity was that not a single reference was given. Nevertheless, it should be pointed out that Lorenz, in his paper, provided results similar to (9) . Thus, ( m 2 + a n 2 ) s with a = 2 , 3 , 4 , ( m 2 + m n + n + ) s , plus the much trickier ( m 2 n 2 ) s , where the summation in this case is over all values of m , n for which m 2 n 2 , were also given exactly. Specifically, he derived
1 ( m 2 + 2 n 2 ) s = 2 ζ ( s ) L 8 ( s ) ,
L 8 ( s ) = n = 0 1 ( 8 n + 1 ) s + 1 ( 8 n + 3 ) s 1 ( 8 n + 5 ) s 1 ( 8 n + 7 ) s ,
1 ( m 2 + 3 n 2 ) s = 2 ( 1 + 2 1 2 s ) ζ ( s ) L 3 ( s ) ,
where
L 3 ( s ) = n = 0 1 ( 3 n + 1 ) s 1 ( 3 n + 2 ) s
1 ( m 2 + 4 n 2 ) s = 2 ( 1 2 s + 2 1 2 s ) ζ ( s ) L 4 ( s ) ,
1 ( m 2 + m n + n 2 ) s = 6 ζ ( s ) L 3 ( s )
m 2 n 2 ) 1 m 2 n 2 s = 4 ( 1 2 1 s + 2 1 2 s ) ζ 2 ( s )
L 3 and L 8 are further examples of Dirichlet series.
Lorenz also indicated that the quadratic forrm ( m 1 2 + m 2 2 + m 3 2 + m 4 2 ) and ( m 1 2 + m 2 2 + 2 m 3 2 + 2 m 4 2 ) might succumb to a similar process. This, plus the fact that Lorenz derived (5) on his own from various θ relations, indicates that Lorenz had no access to Jacobi’s thesis. For if he had, he would certainly have discovered (5) in Jacobi’s thesis and also found that
θ 3 4 = q m 1 2 + m 2 2 + m 3 2 + m 4 2 = 1 + 8 m = 0 ( m + 1 ) q m + 1 ) 1 + ( q ) m + 1 .
from which it would have been simple to obtain
1 ( m 1 2 + m 2 2 + m 3 2 + m 4 2 ) s = 8 ( 1 2 2 2 s ) ζ ( s 1 ) ζ ( s ) .
It would appear that no work was done on the exact evaluations of multiple sums between Lorenz [3] and Hardy [2], and then nothing until 1973. However, the numerical evaluation of multiple sums became an important topic for physicists in the first half of the 20th century when X-ray studies showed that ionic salts consisted not of molecules but of interpenetrating lattices of ions. So, sums such as ( 1 ) m + n + p / m 2 + n 2 + p 2 became of interest. This sum is known as the Madelung [4] constant after the first person to give a reasonably accurate value of this very slowly conditionally converging sum. Additionally, when the rare gases crystallised into solids of a face-centred cubic lattice with the atoms interacting with 1 / r 6 van der Waals interaction, sums such as ( m + n ) 2 + ( n + p ) 2 + ( p + m ) 2 6 were also required. These sums have become known as lattice sums, and this name has become attached to any summation involving inverse squares of binary products of indices. Additionally, the number of different indices has been termed the dimension of the sum. Thus, the Madelung constant is an example of a three-dimensional lattice sum. Then, in 1973 Glasser [5,6], in 1974 Zucker [7], and together in 1980 [8], reawakened interest in the exact evaluation of lattice sums and at last disinterred Lorenz. The representation of lattice sums by θ series was put on a more formal basis by use of the Mellin transform M s defined by
M s f ( t ) = 1 Γ ( s ) 0 t s 1 f ( t ) d t
Thus, for example,
1 ( m 2 + n 2 ) s = M s exp ( m 2 + n 2 ) t = M s θ 3 2 ( e t ) 1 .
Since then, many 2,3,4,6, and 8-dimensional lattice sums and even a 5d example have been evaluated exactly. Along with properties of Dirichlet L-series and many other aspects of lattice sums, these are given with numerous references in the book Lattice sums then and now [9].
Since this book was published, the writer received from his colleague M.L. Glasser a work found by chance of a translation of a Russian book by a P.S. Nazimov—“Applications of the theory of elliptic functions to the theory of numbers” [10], first published in Russian in Moscow in 1884. The translator, Arnold Ross, says nothing about Nazimov, merely that he received the suggestion to translate the book from L. E. Dickson and E.T. Bell, and finished it in 1928. Bell writes a preface himself describing how he received the book from James V. Ouspenky at a Toronto conference in 1924. Bell refers to Nazimov’s remarkable book and that outside of Russia his work is hardly known. For this he blames Nazimov himself: “The author himself is largely responsible since the French abstract in the Journal de l’Ecole Polytechnique does scant justice to the book”, but of Nazimov he says nothing at all. Even the omniscient Google has nothing to say about him except that he was a student of Nicolai Vasilievich Bugaev (1837–1903), a professor at Moscow University in 1867. Not even what his initials P.S. stand for can be found. It thus seems that Nazimov has been even more unfortunate than Lorenz in the exposure of his work. Another comparison with Lorenz is his lack of giving references. Although he quotes several authors he gives no sources apart from one—namely, “Theorie des Fonctions Elliptique”. Briot and Bouget, (1875). Nazimov’s book has no mention of lattice sums. Like Jacobi, he is solely concerned with arithmetical properties of certain quadratic forms. However, just as the q-series derived by Jacobi for products of θ -functions can be transformed into a lattice sum, so may the results of Nazimov. His facility in providing these new q relations is to be admired, and it is these new results with which the next section is concerned.

2. Some Lattice Sums Derived from Nazimov’s θ Function Relations

It is first necessary to introduce some new relevant mathematical functions. The complete elliptic integral of the first kind is defined by
K ( k ) = 0 1 d x ( 1 x 2 ) ( 1 k 2 x 2 ) = 0 π / 2 d θ 1 k 2 s i n 2 θ ,
where in (19) k is known as the modulus. The complimentary modulus is defined as k = 1 k 2 and K ( k ) is denoted by K . The relationships between K and the θ functions are as follows,
2 K π = θ 3 2 , 2 K k π = θ 2 2 , 2 k K π = θ 4 2 , with q = e π K K .
Additionally, in further results for lattice sums other Dirichlet series will be met, and we list these here. First, there are two well-known variations of the ζ function.
n = 1 ( 1 ) n 1 n s = 1 1 s 1 2 s + 1 3 s 1 4 s = ( 1 2 1 s ) ζ ( s ) = η ( s )
n = 0 1 ( 2 n + 1 ) s = 1 1 s + 1 3 s + 1 5 s + 1 7 s = ( 1 2 s ) ζ ( s ) = λ ( s )
There is the following period 5 series
L 5 ( s ) = n = 0 1 ( 5 n + 1 ) s 1 ( 5 n + 2 ) s 1 ( 5 n + 3 ) s + 1 ( 5 n + 4 ) s ,
and finally another period 8 series
L 8 ( s ) = n = 0 1 ( 8 n + 1 ) s 1 ( 8 n + 3 ) s 1 ( 8 n + 5 ) s + 1 ( 8 n + 7 ) s .
As an example of Nazimov’s method, consider the following. He starts with the following relation given by Jacobi [1], p. 101, Equation (18):
2 K π = s n 2 K x π 1 sin ( x ) + 4 n = 1 q 2 n 1 1 q 2 n 1 sin ( 2 n 1 ) x ,
where s n is a Jacobian elliptic function. In this equation, Nazimov puts x = π / 4 . Then, it is known that s n ( K / 2 ) = 1 / ( 1 + k ) . As n advances from 1 to 4, 2 n 1 yields numbers which are 1 mod 8 , 3 mod 8 , 5 mod 8 , 7 mod and then repeat themselves. For ( 2 n 1 ) = 1 , 3 mod 8 , sin ( 2 n 1 ) π / 4 = 1 2 , whereas for ( 2 n 1 ) = 5 , 7 mod 8 , sin ( 2 n 1 ) π / 4 = 1 2 . Then, rearranging (25), one arrives at
1 2 2 K π ( 1 + k ) = 1 + 2 n = 0 q 8 n + 1 1 q 8 n + 1 + q 8 n + 3 1 q 8 n + 3 q 8 n + 5 1 q 8 n + 5 q 8 n + 7 1 q 8 n + 7 .
It is simple to show that the LHS of (26) is equal to θ 3 θ 3 ( q 2 ) . Expanding the denominators of the RHS of (26) then gives
q m 2 + 2 n 2 = 1 + 2 m = 1 n = 0 q m ( 8 n + 1 ) + q m ( 8 n + 3 ) q m ( 8 n + 5 ) q m ( 8 n + 7 )
Nazimov then interprets this result as The number of solutions of the diophantine equation m 2 + 2 n 2 = N is equal to twice the number of divisors of N of the forms (8n+1) and (8n+3) minus twice the number of divisors of N of the forms (8n+5) and (8n+7). To yield the equivalent lattice sum, subtract 1 from both sides of (27), replace q by e t Mellin transform both sides of (27), and one recovers Lorenz’s result (10). Nazimov indeed produces the equivalent of Lorenz’s results (10)–(13) and several more two-dimensional results, so although they were new when given by Nazimov, now they have not added anything to our knowledge, since in [9] all possible solutions of ( a m 2 + b m n + c n 2 ) s capable of being expressed as sums of products of pairs of Dirichlet series were found and given. However, Nazimov goes on to consider many 4, 6, and even a 12 term quadratic forms, all of which can be transformed into lattice sums not previously found, and these will now be given.
As an example of how Nazimov obtains his results, the full details of how he tackled the quadratic form ( m 2 + n 2 + p 2 + 2 r 2 ) are now described ([10], p. 17).
Problem 1.
To determine the number of solutions of the equation ( m 2 + n 2 + p 2 + 2 r 2 ) = N . It is necessary in the solution of this problem to find series in powers of q for the expression
θ 3 3 θ 3 ( q 2 ) = 2 K 2 π 2 2 ( 1 + k ) .
It is easy to see that
4 K 2 π 2 2 ( 1 + k ) = 4 K 2 π 2 k c n K 2 + K i d n K 2 + K i = 2 4 n = 1 ( 2 n 1 ) q 2 n 1 1 q 2 n 1 cos ( 2 n 1 ) π 4 .
As a consequence of this, we obtain
2 K 2 π 2 2 ( 1 + k ) = 1 + 8 1 n ( q n q 3 n q 5 n + q 7 n ) 1 q 8 n 2 n = 0 ( 1 ) n 2 + n 2 ( 2 n + 1 ) q 2 n + 1 1 q 2 n + 1 .
Whether it is “easy” to see (29) or not, the consequences are correct, and in terms of q-series, (29) is saying
m , n , p , r = q m 2 + n 2 + p 2 + 2 r 2 = 1 + 8 m , n = 1 n q m ( 8 n + 1 ) q m ( 8 n + 3 ) q m ( 8 n + 5 ) + q m ( 8 n + 7 ) 2 m , n = 1 [ ( 8 n 7 ) q m ( 8 n 7 ) ( 8 n 5 ) q m ( 8 n 5 ) ( 8 n 3 ) q m ( 8 n 3 ) + ( 8 n 1 ) q m ( 8 n 1 ) ] .
As before, subtract 1 from both sides of (30), replace q by e t Mellin transform both sides of (30), and one obtains
( m 2 + n 2 + p 2 + 2 r 2 ) s = 8 ζ ( s 1 ) L 8 ( s ) 2 ζ ( s ) L 8 ( s 1 ) .
This is typical of Nazimov’s method of finding the appropriate q-series for the chosen quadratic form. Hence, the following four-dimensional lattice sums were extracted from his results. Rather than give the lattice sums found with all the digits displayed, it is more convenient to display the sum as the Mellin transform of the appropriate θ function combination.
M s θ 3 2 θ 3 2 ( q 2 ) 1 = 4 η ( s ) ζ ( s 1 ) ( 1 + 2 s + 2 2 2 s )
M s θ 3 θ 3 3 ( q 2 ) 1 = 4 ζ ( s 1 ) L 8 ( s ) 2 ζ ( s ) L 8 ( s 1 )
M s θ 3 2 θ 3 2 ( q 3 ) 1 = 4 ( 1 3 1 s ) ( 1 2 1 s + 2 2 2 s ) ζ ( s 1 ) ζ ( s ) )
M s θ 3 3 θ 3 ( q 4 ) 1 = 4 η ( s ) ζ ( s 1 ) ( 1 + 2 1 s 2 2 s + 2 2 3 s ) + 2 β ( s ) β ( s 1 )
M s θ 3 2 θ 3 2 ( 4 2 ) 1 = 2 η ( s ) ζ ( s 1 ) ( 1 + 2 s + 2 1 2 s + 2 3 3 s ) + 2 β ( s ) β ( s 1 )
M s θ 3 θ 3 3 ( q 4 ) 1 = η ( s ) ζ ( s 1 ) ( 1 2 s + 2 3 2 s + 2 4 3 s ) + β ( s ) β ( s 1 )
M s θ 3 θ 3 2 ( q 2 ) θ 3 ( q 4 ) 1 = 2 η ( s ) ζ ( s 1 ) ( 1 + 2 s + 2 1 2 s + 2 3 3 s )
M s θ 3 3 θ 3 ( q 5 ) 1 = 5 ( 1 + 2 1 s 2 2 2 s ) ζ ( s 1 ) L 5 ( s ) ) + ( 1 2 1 s 2 2 2 s ) ζ ( s ) L 5 ( s 1 )
M s θ 3 θ 3 3 ( q 5 ) 1 = ( 1 + 2 1 s 2 2 2 s ) ζ ( s 1 ) L 5 ( s ) ) + ( 1 2 1 s 2 2 2 s ) ζ ( s ) L 5 ( s 1 )
Of these formulae, (33) and (35)–(37) are easily found from recently found results of lattice sums by use of the relations (4). However, all the other results must be solely ascribed to Nazimov.
Intermingled with the latter’s four-dimensional θ expressions, there are several 6-d relations derived.
3 M s θ 3 5 θ 3 ( q 2 ) 1 = 32 ζ ( s 2 ) L 8 ( s ) 2 ζ ( s ) L 8 ( s 2 ) .
M s θ 3 4 θ 3 2 ( q 2 ) 1 = 8 ζ ( s 2 ) L 8 ( s ) 4.2 s ζ ( s ) L 8 ( s 2 )
M s θ 3 5 θ 3 ( q 3 ) 1 = 9 ( 1 + 2 1 s 2 3 2 s ) ζ ( s 2 ) L 3 ( s ) + ( 1 2 1 s 2 3 2 s ) ζ ( s ) L 3 ( s 2 ) .
M s θ 3 θ 3 5 ( q 3 ) 1 = ( 1 + 2 1 s 2 3 2 s ) ζ ( s 2 ) L 3 ( s ) + ( 1 2 1 s 2 3 2 s ) ζ ( s ) L 3 ( s 2 ) .
M s θ 3 4 θ 4 2 θ 3 2 θ 4 4 = 8 λ ( s ) β ( s 2 ) = 4 π s 2 Γ ( s ) 0 1 1 k k k K 2 s ( K ) s 1 d k .
M s θ 3 6 θ 3 2 θ 4 4 = 16 β ( s ) ζ ( s 2 ) = 4 π s 2 Γ ( s ) 0 1 k 1 k 2 K 2 s ( K ) s 1 d k .
M s θ 4 6 θ 3 4 θ 4 2 = 16 β ( s ) η ( s 2 ) = 4 π s 2 Γ ( s ) 0 1 k k K 2 s ( K ) s 1 d k .
In the last three equations, it will be seen that extra information has been adduced from another source. The origin of this is a recent paper [11], which showed that any lattice sum involving θ -functions all having the same argument could be transformed in a simple manner into integrals of combinations of k , k , K , K . In particular, (47) yield for s = 1 , 2 , 3 , respectively, the following neat results:
0 1 k k K d k = π 2 4 , 0 1 k k K d k = 2 G , 0 1 k k K 2 K d k = π 2 log 2 4 .
In the above expressions, G is Catalan’s constant and is equal to β ( 2 ) .
Finally, Nazimov produced a result involving 12-dimensional lattice sums
M s θ 2 8 θ 3 4 + θ 2 4 θ 3 8 = 16 λ ( s ) ζ ( s 5 ) = 32 π s 5 Γ ( s ) 0 1 k ( 1 + k 2 ) k 2 K 5 s ( K ) s 1 d k .
Remarkably, this is not unique, as in a completely different manner [10] produced the following result:
M s 2 θ 2 12 3 θ 2 8 θ 3 4 + θ 2 4 θ 3 8 = 16 λ ( s ) η ( s 5 ) = 32 π s 5 Γ ( s ) 0 1 k ( 1 2 k 2 ) K 5 s ( K ) s 1 d k .
Unfortunately, this does not allow us to identify a single 12-dimensional sum on its own.
It should be pointed out that all the lattice sums derived here from Nazimov’s work have been obtained from the first 40 pages of his 146-page pamphlet, most of which is dedicated to finding arithmetical properties of algebraic forms. It is not claimed that all possible lattice sums have been retrieved from Nazimov. His booklet is certainly worthy of further study.

Acknowledgments

I am most grateful to my colleague M. L. Glasser for discovering Nazimov’s booklet and passing it on to me.

Conflicts of Interest

The author declares no conflict of interest.

References

  1. Jacobi, C.G. Fundamenta Nova Theoriae Funcionum Ellipticarum; Sumtibus Fratrum Borntraeger: Königsberg, Russia, 1829. [Google Scholar]
  2. Hardy, G.H. On some integral considered by Mellin. Messenger Math. 1919, 49, 85–91. [Google Scholar]
  3. Lorenz, L. Bidrag til talenes theori. Tidsskr. Fur. Math. 1871, 1, 97–114. [Google Scholar]
  4. Madelung, E. Das elektrische Feld in Systemen von regelmaßig angeordnetenPunktladungen. Phys. Z. 1918, 19, 524–533. [Google Scholar]
  5. Glasser, M.L. The evaluation of lattice sums. I. Analytic procedures. J. Math. Phys. 1973, 14, 409–413. [Google Scholar] [CrossRef]
  6. Glasser, M.L. The evaluation of lattice sums. II. Number-theoretic approach. J. Math. Phys. 1973, 14, 701–703. [Google Scholar] [CrossRef]
  7. Zucker, I.J. A note on lattice sums in two dimensions. J. Math. Phys. 1974, 15, 187. [Google Scholar] [CrossRef]
  8. Glasser, M.L.; Zucker, I.J. Lattice Sums. In Theoretical Chemistry, Advances and Perspectives; Academic Press: New York, NY, USA, 1980; Volume 5, pp. 67–139. ISBN 0-12-681905. [Google Scholar]
  9. Borwein, J.M.; Glasser, M.L.; McPhedran, R.C.; Wan, J.G.; Zucker, I.J. Lattice Sums then and now. In Encyclopedia of Mathematics and Its Applications; C.U.P.: Cambridge, UK, 2013; ISBN 978-1-107-03990-2. [Google Scholar]
  10. Nazimov, P.S. Applications of the Theory of Elliptic Functions to the Theory of Numbers; University of Chicago Bookstore: Chicago, IL, USA, 1928. [Google Scholar]
  11. Wan, J.G.; Zucker, I.J. Integrals of K and E from lattice sums. Raman. J. 2016, 40, 257–278. [Google Scholar] [CrossRef]

Share and Cite

MDPI and ACS Style

Zucker, I.J. The Exact Evaluation of Some New Lattice Sums. Symmetry 2017, 9, 314. https://doi.org/10.3390/sym9120314

AMA Style

Zucker IJ. The Exact Evaluation of Some New Lattice Sums. Symmetry. 2017; 9(12):314. https://doi.org/10.3390/sym9120314

Chicago/Turabian Style

Zucker, I. J. 2017. "The Exact Evaluation of Some New Lattice Sums" Symmetry 9, no. 12: 314. https://doi.org/10.3390/sym9120314

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop