1. Introduction
A measure with locally finite support (that is, its introsection with any compact set is finite) is called a Fourier quasicrystal if is a temperate distribution, its Fourier transform
in sense of distributions is also a measure with locally finite support, and both measures , are temperate distributions.
Here and below is the variation of the complex measure on the set .
In [14], [15] A.Olevskii and A.Ulanovskii proved that a measure of the form
(1) |
|
|
|
is a Fourier quasicrystal if and only if its support is a zero set of an exponential polynomial
(2) |
|
|
|
Here means the unit mass at the point . We suppose also that is a multiset, where
every point has a finite multiplicity in .
Fourier quasicrystals are currently being studied very actively. Many works are devoted to the study of the properties of Fourier quasicrystals, see, for example, the collections of papers [2], [16],
in particular, the basic work [12]. Fourier quasicrystals find application in modern physics, since they are used as mathematical models of certain atomic structures. A nontrivial example of
a Fourier quasicrystal of the form (1), which is not a finite union of shifts of an arithmetical progression, was found by P.Kurasov and P.Sarnak [10].
Note also the paper [8], which actually considers pairs .
In [5], [6] we studied zero sets of absolutely convergent Dirichlet series
(3) |
|
|
|
with bounded spectra . Such sums are natural extensions of the finite sums (2). We proved that the Fourier transform of the corresponding measure is also a measure of the form
(4) |
|
|
|
Besides, we found a necessary and sufficient condition on
for the set to be the zero set of some Dirichlet series (3).
The zero sets of exponential polynomials (2) and Dirichlet series (3)
with zeros either on the real line or on a horizontal strip of finite width is an almost periodic set in the sense of M.Krein and B.Levin [11, App.VI]. In particular, is translation bounded, i.e., quantities
|
|
|
are bounded uniformly in (see Section 3).
Also, the measure on is temperate if and only if the variation grows polynomially (see [4]).
Have this in mind, we can reformulate the above result of Olevskii and Ulanovskii in the following way:
A locally finite set is the zero set of an exponential polynomial (2) if and only if is almost periodic, has the form (4)
with locally finite support , and
|
|
|
In the present paper we consider measures of the form (1), but we replace the condition with .
We slightly change the definition of and prove that the above results on zeros of exponential sums and Dirichlet series are valid in this case as well.
Theorem 1.
Let be the zero set of some Dirichlet series (3) and
(5) |
|
|
|
Then is an almost periodic set and
is a pure point measure (4) such that the coefficients satisfy conditions
(6) |
|
|
|
and
(7) |
|
|
|
If is the zero set of an exponential polynomial (2), then is locally finite.
Theorem 2.
Let be an almost periodic set, the measure define in (5), and the Fourier transform be a pure point measure (4) with coefficients which
satisfy (6) and (7). Then there is the Dirichlet series (3) with bounded spectrum and the zero set . If, in addition, is locally finite (in which case the condition (7) is
satisfied automatically), then the Dirichlet series is an exponential polynomial (2).
Remark. In both theorems the condition ” is almost periodic” can be replaced with ” is translation bounded” (see Section 3).
The article is structured as follows.
In Section 2 we give auxiliary results on Fourier transform and Dirichlet series.
In Section 3 we present some results on almost periodic measures and sets.
In Section 4 we consider entire functions of exponential growth with an almost periodic zero set
and prove some formulas for their logarithmic derivatives.
In Sections 5 and 6 we prove Theorem 1 and 2, respectively.
2. Preliminary results
By denote the Schwartz space of functions with the finite norms
|
|
|
These norms generate the topology of the projective limit on . The set of -functions with compact supports is dense in .
The Fourier transform is defined for (in general for ) by the equality
|
|
|
If satisfies the estimate
(8) |
|
|
|
then
(9) |
|
|
|
is the holomorphic extension of to a neighborhood of . If has compact support and satisfies (8), then for we have
(10) |
|
|
|
The following formula for the inverse Fourier transform
(11) |
|
|
|
holds for satisfying (8).
The Fourier transform of a measure with support in is defined by setting
|
|
|
for all satisfying (8). In the general case is a distribution.
The Fourier transform is a bijection of onto itself, hence is well-defined.
Dirichlet series on
Denote by the algebra of all Dirichlet series
|
|
|
with finite Wiener’s norm . Spectrum of is the set .
For each and each analytic function on a neighborhood of the set we have (see [18], Ch.VI). In particular, for we have ;
if and , then .
We conclude this section with a useful lemma.
Lemma.
If and has nonnegative spectrum, then also has nonnegative spectrum; if, in addition, the spectrum of is locally finite, the same is valid for the spectrum of .
If , spectrum is strictly positive, and , then and has strictly positive spectrum; if, in addition, the spectrum of is locally finite,
the same is valid for the spectrum of .
Proof. Let and . Clearly, . Equality
|
|
|
implies that and
(12) |
|
|
|
Now let be locally finite. Fix . Then is a subset of various sums of at most numbers from (numbers can be repeated).
Since these sums contain no number from ,
we see that the family of such sums is finite. On the other hand, let . If , then for all
contains no sums of numbers from . It follows from (12) that is locally finite.
For the function we use the representation
|
|
|
3. Almost periodic measures and sets on a strip
Definition 1 (cf.[1], App.II).
A continuous function on the open strip
|
|
|
is almost periodic if for any and
the set of -almost periods
|
|
|
is relatively dense, i.e., for all and some depending on and .
Note that Dirichlet series (3) extends as an entire function which is almost periodic on the whole plane .
Definition 2 ([17]).
A measure is almost periodic on the open strip if for any and any continuous function with compact support such that for
the convolution is an almost periodic function on the substrip .
In our investigation we consider only almost periodic measures with supports in closed horizontal strips of finite width. In this case the definition of almost periodic measures can be simplified:
Definition 3([17]).
A measure with support in the closed strip is almost periodic
if for any continuous function with compact support
the convolution is an almost periodic function on .
Definition 4.
A measure on a closed horizontal strip is translation bounded if
|
|
|
Clearly, a locally finite multiset is translation bounded iff the measure is translation bounded.
Proposition 1.
Every almost periodic complex measure on is translation bounded.
This proposition was proved in [17] for the wider class of almost periodic distributions. Here we are only interested
complex measures on a closed strip. For convenience of riders, here we give its proof, which is very simple in this case.
Proof. Let be any function from the Banach space of all continuous functions on such that for all . The function
|
|
|
is almost periodic in , hence it is uniformly bounded on , and for all fix actions are bounded on . Applying Banach–Steinhaus Theorem, we obtain the assertion of Proposition 1.
The converse assertion for and for a pure point measure was proved by Y.Meyer in [13], Lemma 5.8; see also [6].
The proof can be transferred without changes to measures on closed strips of bounded width.
Proposition 2.
Let a complex measure be translation bounded on and its Fourier transform be a pure point measure. Then is an almost periodic measure.
Propositions 1 and 2 explain the Remark after Theorem 2.
Definition 5 (see [7]).
A locally finite set (or ) is almost periodic if the measure is almost periodic on the same strip.
If we obtain the definition of almost periodic sets in .
The original definition, due to M.Krein and B.Levin [11, App. VI], follows:
Definition 6.
A locally finite set is almost periodic if for any the set of its -almost periods
|
|
|
has a nonempty intersection with every interval .
The generalization of this definition to almost periodic sets in an open strip, in particular in , due to H.Tornehave [19].
In [7] it was proved that Definition 6 and Tornhave’s one are equivalent to Definition 5.
Note that the zero set of any holomorphic almost periodic function
on an open strip is an almost periodic set in this strip. The converse is not true; the connection between almost periodic sets and zeros
of holomorphic almost periodic functions is rather complicated. A complete description is given in [3] in terms of Chern cohomologies.
But in our article we will deal only with sets that a priori lie in a horizontal strip of finite width.
In this case any almost periodic set is the zero set of an entire almost periodic function [7].
The zero set of Dirichlet series (3) is almost periodic; it
lies in a horizontal strip of finite width if and only if and of spectrum are bounded and belong to this spectrum (see [11], Ch.VI, Con.2).
In particular, the zero set of each exponential polynomial (2) lies in a strip of this type.
Clearly, for every almost periodic set the set is almost periodic in . Hence Theorem 1 from [6] implies the following proposition:
Proposition 3.
For every almost periodic set under condition there is a bounded mapping such that
|
|
|
with a density .
4. Entire functions with almost periodic zeros
By Hadamard’s Theorem, every entire function , of exponential growth (i.e., as ) with zeros
has the form
(13) |
|
|
|
Note that each can be repeated any finite number of times in the sequence .
Further, zeros of satisfy the conditions
(14) |
|
|
|
and
(15) |
|
|
|
On the other hand, if a sequence satisfies these conditions, then the function (13) is an entire function of exponential growth (Lindelöf’s Theorem (see [9])).
Proposition 4.
Let be an almost periodic set. Then the points satisfy conditions (14), (15), and the infinite product
(16) |
|
|
|
converges uniformly on compact sets in . Moreover, the sum
(17) |
|
|
|
converges absolutely and uniformly for from any bounded set and with .
Proof. By Proposition 3, we can renumber such that , ,
with a bounded complex-valued function . Therefore the sum
(18) |
|
|
|
converges absolutely, and the sum
|
|
|
converges uniformly on compact subsets of . The sums
|
|
|
differ for a uniformly bounded (with respect to ) number of terms, and each of these terms tends to as . Therefore the first sum has a finite limit as , and we obtain representation
(16) and condition (15). Condition (14) is evident.
Since the sum
(19) |
|
|
|
is uniformly bounded for and , we obtain (17).
Proposition 5.
Let be an almost periodic set in , and the distribution defined in Section 2 is a pure point measure (4) such that
(20) |
|
|
|
with a constant . Then
(21) |
|
|
|
and the sum in the right-hand side absolutely converge on every horizontal line with .
Proof.
Fix . Set for and for .
Clearly, its Fourier transform
|
|
|
is defined for .
Let be any even nonnegative -function such that and . Set for ,
The function satisfies (8), therefore (10) yields
|
|
|
We have
|
|
|
Clearly, and as . Taking into account (19), we can apply Lebesgue’s Dominate Convergence Theorem. Hence,
(22) |
|
|
|
Set
|
|
|
By (20), . We obtain for
(23) |
|
|
|
Therefore the series absolutely and uniformly converges on the line .
Further, we have for
(24) |
|
|
|
It is easy to see that no integral in the right-hand side exceeds , and for
|
|
|
|
|
|
Using Lebesgue’s Dominate Convergence Theorem, we obtain from (24)
|
|
|
(17) and (22) yield (21).
5. Proof of Theorem 1
Since the zero set of the Dirichlet series (3) lies in a strip of finite width, we get and .
Without lose of generality suppose . We have . Then
|
|
|
Taking into account that , we choose a finite number of elements and then such that
|
|
|
So , and by Lemma,
|
|
|
and
(25) |
|
|
|
Therefore,
(26) |
|
|
|
Since is an almost periodic function, we can apply Lemma 1 from Ch.6, [11] and for any and find a number such that
(27) |
|
|
|
Hence,
|
|
|
for every , and . Since is bounded, we get and . Hence,
(28) |
|
|
|
The same arguments show that for some countable set and large enough
(29) |
|
|
|
In what follows we set .
Since is an almost periodic function, we see that its zero set is almost periodic. Therefore by Proposition 1, the numbers are bounded uniformly in .
Consequently, for small enough every interval contains a number such that for all points of the segment . By (27), there exist and two sequences
such that
|
|
|
Let satisfy (8) with . Its Fourier transform (9) is holomorphic in and as for every uniformly with respect to .
Therefore, integrals of the function over boundaries of the rectangles tend to
(30) |
|
|
|
Using the Theorem on residues, we get
(31) |
|
|
|
where is the multiplicity of the zero at the point .
Change the order of integration and summation here. Using (26), (29) and the equality (11) for the inverse Fourier transform, we obtain
(32) |
|
|
|
Set
|
|
|
It follows from (25) and (29) that is a measure on . (31) and (32) yield
that for any satisfying (8)
|
|
|
Therefore, .
Now suppose that for some . We get from (31)
|
|
|
Taking into account (28) and (29), we obtain the estimate
|
|
|
It remains correct for all continuous functions on which equals zero at the points . Therefore,
|
|
|
Property (6) is proved. Property (7) follows from (25), (29), and the definition of .
If is an exponential polynomial, then it follows from Lemma that and are locally finite.
Remark. Without loss of generality assume . Then the functions (16) is an entire function of exponential growth with the zero set , and is the same.
Consequently, . This equality and Proposition 5 yield
|
|
|
Since , we obtain , , and .
6. Proof of Theorem 2
Let be an almost periodic set, be defined in (5), and the pure point measure satisfy (6) and (7).
Without loss of generality assume . Integrate (21) over the segment with large enough
and change the order of summation and integration. We get
|
|
|
Hence,
(33) |
|
|
|
It follows from (7) that the first sum in the right-hand side converges, and (23) implies that the second one converges as well. We see that (33) is finite.
Redefine . The function
|
|
|
belongs to . Therefore,
|
|
|
with and a countable spectrum . The entire function has the exponential growth with zeros in a horizontal strip of bounded width.
It follows from [11, §1, Ch.VI], that is bounded. Hence the function
|
|
|
is also a Dirichlet series and .
If is locally finite, then the function has nonnegative locally finite spectrum. By Lemma,
the same is valid for the function . Since is bounded, we see that only a finite number of coefficients does not vanish. Hence, is an exponential polynomial.
Theorem 2 is proved.