[Posted on march 27, 2016]
A recent highly interesting paper by Yves Meyer (PNAS paywalled, local version at ENS Cachan, and seminar notes) constructs explicitly new Poisson-type summation formulas (building on previous little known work of Andrew-Paul Guinand and an existence result of Nir Lev and Aleksander Olevskii) : the big difference with Poisson summation is that the new formulas do not have support on a lattice but only on a locally finite set (and then provide new examples of crystalline measures).
Since these new results involve some arithmetic (see below) I’ve asked over at MO whether this was known to number theorists, but there hasn’t been any immediate answer, so perhaps not and there’s probably room for interesting further work on the topic.
To state things very explicitely (for my own benefit, but also just for the beauty of it), here are the formulas taken directly from Meyer’s paper :
Poisson (Dirac comb case): on a lattice and its dual we have for any function in the Schwartz class that
Poisson (corollary of Dirac comb case) : for every we have (in terms of distributions to make the comb more explicit still)
Guinand : define for any the number of sums of three squares that equal to by (by Legendre’s theorem this is possible only for those not of the form ). Then introducing Guinand’s distribution (acting on functions of the variable )
then we have .
Meyer (first example) : introducing the function on (this is a clash of notation with Dirichlet characters) by when , when and when then with the distribution
we have .
The support of and are thus defined as subsets of and by their respective arithmetic conditions, and thus are definitely not equally spaced lattice points.
Meyer (second example) : with the distribution
we have (very nice!).
There are several other examples in Meyer’s paper, as well as higher-dimensional constructions (that I haven’t absorbed yet, so I’ll stop here).
Update (march 27): two relevant papers I’ve just found
- On the Number of Primitive Representations of Integers as Sums of Squares by Shaun Cooper and Michael Hirschhorn published in Ramanujan J (2007) 13:7–25, which in particular provides the explicit formula where the function is in turn explicited ( is a label standing for ‘primitive’)
- Irregular Poisson Type Summation by Yu. Lyabarskii and W.R. Madych, published in SAMPLING THEORY IN SIGNAL AND IMAGE PROCESSING Vol. 7, No. 2, May 2008, pp. 173-186, which does prove a Poisson-type formula with irregularly spaced sampling points (but if I understand well the examples they mention at the end show it is still different from the results of Guinand and Meyer,