Abstract
Several classes of tempered measures are characterised that are eigenmeasures of the Fourier transform, the latter viewed as a linear operator on (generally unbounded) Radon measures on \(\mathbb {R}\hspace{0.5pt}^d\). In particular, we classify all periodic eigenmeasures on \(\mathbb {R}\hspace{0.5pt}\), which gives an interesting connection with the discrete Fourier transform and its eigenvectors, as well as all eigenmeasures on \(\mathbb {R}\hspace{0.5pt}\) with uniformly discrete support. An interesting subclass of the latter emerges from the classic cut and project method for aperiodic Meyer sets. Finally, we construct a large class of eigenmeasures with locally finite support that is not uniformly discrete and has large gaps around 0.
Similar content being viewed by others
1 Introduction
It is a well-known fact that the Fourier transform on \(\mathbb {R}\hspace{0.5pt}\), more precisely its extension to the Fourier–Plancherel transform on the Hilbert space \(\mathcal {H}=L^2 (\mathbb {R}\hspace{0.5pt})\), is a unitary operator of order 4, with eigenvalues \(\{ 1, \textrm{i}\hspace{0.5pt}, -1, -\textrm{i}\hspace{0.5pt}\}\). A complete basis of eigenfunctions in \(\mathcal {H}\) can be given in terms of the classic Hermite functions [53, Thm. 57]. In physics, these functions are well known as the eigenfunctions of the classic harmonic oscillator in quantum mechanics, which is a self-adjoint operator on \(\mathcal {H}\) that commutes with the Fourier transform; see [13, Sect. 34] as well as [14], and Sect. 2 for details and our conventions.
The corresponding statement for \(L^2 (\mathbb {R}\hspace{0.5pt}^d)\) can easily be derived from here, and is helpful in many applications of the Fourier transform [14, 54], both in mathematics and in physics. More generally, eigenfunctions of Fourier cosine and sine transforms as well as Hankel, Mellin and various other integral transforms have been studied, see [53, Ch. IX], in the setting of different function spaces. Clearly, these results can be reformulated in the realm of finite, absolutely continuous measures, and can be extended by taking limits in suitable topologies. This point of view obviously harvests the self-duality of the locally compact Abelian group \(\mathbb {R}\hspace{0.5pt}^d\), while the important analogues for mutually dual pairs of groups, such as the integer lattice \({\hspace{0.5pt}\mathbb {Z}}^d\) and the corresponding torus \(\mathbb {T}^d\), lead to the theory of Fourier series and its applications [14, 23, 42], as well as to the discrete Fourier transform.
There is one famous and well-known extension to measures as follows. If \(\delta _x\) denotes the normalised Dirac (or point) measure at x, the lattice Dirac comb \(\delta ^{}_{{\hspace{0.5pt}\mathbb {Z}}^d} :=\sum _{m\in {\hspace{0.5pt}\mathbb {Z}}^d} \delta ^{}_{m}\) satisfies
where \(\widehat{\cdot }\) denotes Fourier transform. This formula means that
holds for all Schwartz functions f, which is nothing but the Poisson summation formula (PSF) for \({\hspace{0.5pt}\mathbb {Z}}^d\), written in terms of a lattice Dirac comb; see [5, 10] as well as [2, Sect. 9.2] and references therein. In fact, (2) holds for the Feichtinger algebra \(S_0 (\mathbb {R}\hspace{0.5pt}^d)\) [17, Thm. 4.2], which gives a stronger version of the PSF because \(S_0 (\mathbb {R}\hspace{0.5pt}^d)\) contains all Schwarz functions [16, Thm. 9]. The PSF says that \(\delta ^{}_{{\hspace{0.5pt}\mathbb {Z}}^d}\) is an eigenmeasure of the Fourier transform with eigenvalue 1. More precisely, in contrast to the function case mentioned above, it is an example of an unbounded, but still translation-bounded, Radon eigenmeasure with uniformly discrete support.
In mathematics, the PSF (for \(d=1\)) is related with the functional equation of Riemann’s zeta function, via a Mellin transform, while its relevance in physics comes from its role in the understanding of the diffraction theory of crystals. By the latter, we mean lattice-periodic arrangements of a fundamental motif, which shows a pure point (or pure Bragg) diffraction spectrum in scattering experiments with X-rays or other particle beams. The spectrum can then be understood, both qualitatively and quantitatively, via the Fourier transform of lattice-periodic measures of the form \(\varrho * \delta ^{}_{\hspace{-0.5pt}\varGamma }\) with a finite motif \(\varrho \) and a general lattice \(\varGamma \) in \(\mathbb {R}\hspace{0.5pt}^d\); see [2, Sect. 9.2] for a detailed exposition. The crucial point here is that the lattice can be extracted from the support of the spectrum, while details of the motif need the solution of the difficult inverse problem of crystallographic structure analysis [11].
More generally, and perhaps more importantly as well, the PSF also underlies the pure point nature of the diffraction spectra of perfect quasicrystals [2, 20, 25, 44], which is an important branch in the theory of aperiodic order. This property emerges from the description of such quasicrystals as the partial projection of a higher-dimensional lattice (or its generalisation in the setting of locally compact Abelian groups [34, 37]), where the embedding lattice and its PSF drives the spectral nature. While the original approach did not use the PSF, it was suspected to be the key ingredient [25], and later established as such [2, 41]. Crystals and quasicrystals together form an interesting class of structures within the larger universe of almost periodic measures; see [38] for a recent survey. Moreover, one can embed crystals and quasicrystals into the larger class of modulated (quasi-)crystals, whose spectral structure is still determined by an underlying PSF. A unified treatment of this entire class has recently been achieved in [26].
In this context, it is thus a natural question whether other unbounded eigenmeasures of the Fourier transform exist, which eigenvalues occur, and what they might mean. An interesting example, based on work by Guinand [19], is discussed in [34]. In our terminology, it is a tempered eigenmeasure with eigenvalue \(\textrm{i}\hspace{0.5pt}\), but the measure does not have a uniformly discrete support. This is a particularly striking example of what is now known as a ‘crystalline’ measure [24, 31, 34], and first results indicate that the underlying measure class deserves further study. In particular, it has an interesting overlap with the class of mathematical quasicrystals, which includes the measure \(\delta ^{}_{{\hspace{0.5pt}\mathbb {Z}}^d}\) mentioned earlier. This observation, in conjunction with the general questions put forward in [25] and the potential relevance to quasicrytals, inspired us to take a systematic look at translation-bounded eigenmeasures, in particular with uniformly discrete support, though we also look beyond. The connection between the diffraction and the dynamical spectrum for translation bounded measures, see [4, 12] and references therein, has potential implications of our findings for the spectral theory of dynamical systems, but we leave this to future work. The paper is organised as follows.
After some preliminaries in Sect. 2, we determine the possible eigenvalues and some first solutions, in the setting of Radon measures, in Sect. 3. Here, we also derive a simple characterisation of eigenmeasures in terms of 4-cycles under the Fourier transform (Theorem 3.5). While this is classic material, and can thus be viewed as a condensed summary, we are paying more attention to the difference between distributions and measures, which is necessary outside the class of positive measures [6]. Then, for \(d=1\), we consider lattice-periodic solutions (Sect. 4) more closely, which are related with eigenvectors of the discrete Fourier transform (DFT), that is, the Fourier transform on the finite cyclic group \(C_n\), which is also self-dual. In this periodic case, all eigenmeasures are automatically pure point measures that are supported in a lattice (Theorem 4.3).
Next, in Sect. 5, we consider solutions that implicitly emerge from the cut and project method of aperiodic order (Theorem 5.3 and Corollary 5.7). Then, we characterise the general class of eigenmeasures with uniformly discrete support in Sect. 6, leading to Theorem 6.3, which builds on recent results from [30, 32]. Finally, we construct lattice-based eigenmeasures with a large gap around 0, which is possible via the connection with the DFT. The crucial point here is that this construction, via suitable linear combinations, paves the way to Fourier eigenmeasures with locally finite, but no longer uniformly discrete, support (Theorem 7.5 and Corollary 7.6). We close with a brief outlook, and provide an Appendix with a streamlined and tailored approach to the DFT.
2 Preliminaries
The Fourier transform of a function \(g\in L^{1} (\mathbb {R}\hspace{0.5pt})\) is defined by
which is bounded and continuous, while the inverse transform is then provided by . If , one has . For the (complex) Hilbert space \(\mathcal {H}= L^{2} (\mathbb {R}\hspace{0.5pt})\) with inner product
and norm \(\Vert f \Vert ^{}_{2} :=\sqrt{\langle f \hspace{0.5pt}| f \rangle }\), the Fourier transform on \(L^{2}(\mathbb {R}\hspace{0.5pt}) \cap L^{1} (\mathbb {R}\hspace{0.5pt})\) has a unique extension to a unitary operator \(\mathcal {F}\hspace{0.5pt}\) on \(L^{2} (\mathbb {R}\hspace{0.5pt}) = \mathcal {H}\), which is often called the Fourier–Plancherel transform; see [8, Thm. 2.5]. The corresponding statements hold for \(\mathbb {R}\hspace{0.5pt}^d\) as well. Here, \(\mathcal {F}\hspace{0.5pt}\) satisfies the relation \(\mathcal {F}\hspace{0.5pt}^2 = I\), where I is the involution defined by \(\bigl ( I g \bigr ) (x) = g (-x)\). Consequently, one also has \(\mathcal {F}\hspace{0.5pt}^4 = \textrm{id}\), which implies that any eigenvalue of \(\mathcal {F}\hspace{0.5pt}\) must be a fourth root of unity.
It is well known that \(\mathcal {H}\) possesses an ON-basis of eigenfunctions, which can be given via the Hermite functions. They naturally also appear as the eigenfunctions of the harmonic oscillator in quantum mechanics, which is a self-adjoint operator that acts on \(\mathcal {H}\) and commutes with \(\mathcal {F}\hspace{0.5pt}\); compare [13, Sect. 34] and [14]. Concretely, for \(n\in \mathbb {N}_0\), one can employ the Hermite polynomials \(H_n\) defined by the recursion
for \(n\in \mathbb {N}\) together with \(H^{}_{0} (x) = 1\) and \(H^{}_{1} (x) = 2 x\). Then, the (normalised) Hermite functions
satisfy the orthonormality relations \(\langle h_m \hspace{0.5pt}| \hspace{0.5pt}h_n \rangle = \delta _{m,n}\) for \(m,n \in \mathbb {N}_0\).
Moreover, for \(n\geqslant 0\), one has
which means that the Hermite functions are eigenfunctions of \(\mathcal {F}\hspace{0.5pt}\); see [2, Rem. 8.3] as well as [54, §6] or [14, Sect. 2.5]. In Dirac’s intuitive bra-c-ket notation [13, Sect. 14], one thus obtains the spectral theorem for the unitary operator \(\mathcal {F}\hspace{0.5pt}\) as
which also entails the relation \(\mathcal {H}= \mathcal {H}^{}_{0} \oplus \mathcal {H}^{}_{1} \oplus \mathcal {H}^{}_{2} \oplus \mathcal {H}^{}_{3}\), with the four subspaces \(\mathcal {H}^{}_{\ell } = \text {span}^{}_{\mathbb {C}\hspace{0.5pt}} \{ h^{}_{4m+\ell } : m\in \mathbb {N}_{0} \}\).
Next, let xy denote the inner product of \(x,y\in \mathbb {R}\hspace{0.5pt}^d\) and let \(\mu \) be a finite measure on \(\mathbb {R}\hspace{0.5pt}^d\). Then, its Fourier transform [42] is the continuous function on \(\mathbb {R}\hspace{0.5pt}^d\) given by
As the Fourier transform of a finite measure is a continuous function, nothing much of interest happens beyond what we summarised above. All this can be understood by taking limits of absolutely continuous measures (on the basis of sums of Hermite functions as Radon–Nikodym densities) in suitable topologies. Consequently, we proceed with the extension to unbounded measures, where the very notion of Fourier transformability is more delicate. The simplest approach works via distribution theory, which we shall adopt here. From now on, unless specified otherwise, the term measure will always mean a Radon measure, the latter viewed as a linear functional on \(C_{\textsf{c}}(\mathbb {R}\hspace{0.5pt}^d)\).
Since \(C_{\textsf{c}}^{\infty } (\mathbb {R}\hspace{0.5pt}^d) \subset C_{\textsf{c}}(\mathbb {R}\hspace{0.5pt}^d)\), every measure defines a distribution. Now, a measure on \(\mathbb {R}\hspace{0.5pt}^d\) is tempered if this distribution is tempered, that is, a continuous linear functional on Schwartz space, \(\mathcal {S}(\mathbb {R}\hspace{0.5pt}^d)\). A tempered measure \(\mu \) is called Fourier transformable, or transformable for short, if it is transformable as a distribution and if the transform is again a measure. The distributional transform of \(\mu \) will interchangeably be denoted by \(\mathcal {F}\hspace{0.5pt}(\mu )\) and by \(\widehat{\mu }\). When the measure \(\mu \) is transformable in this sense, its transform \(\nu = \widehat{\mu }\) is a tempered measure, and hence transformable as a distribution, then with \(\widehat{\nu } = \mathcal {F}\hspace{0.5pt}^2 (\mu ) = I \hspace{-0.5pt}. \hspace{0.5pt}\mu \), where the latter means the push-forward of the space inversion defined by \(I (x) = -x\), to be discussed in more detail later. As a consequence, \(\widehat{\nu }\) is again a measure, and we have the following useful property.
Fact 2.1
If a tempered measure is transformable, it is also multiply transformable. \(\square \)
Since \(\mathbb {R}\hspace{0.5pt}^d\) is a special case of a locally compact Abelian group, let us also mention the classic approach to the transformability of a measure, which completely avoids the use of distribution theory, and is not restricted to tempered measures.
Definition 2.2
A Radon measure \(\mu \) is called transformable in the strict sense, or strictly transformable for short, if it is transformable as a measure, in the sense of [1, 8]. This means that there exists some measure \(\widehat{\mu }\) on \(\mathbb {R}\hspace{0.5pt}^d\) with the property that, for all \(\varphi \in C_{\textsf{c}}(\mathbb {R}\hspace{0.5pt}^d)\) with , we have .
We refer to [38, 49] for the systematic exposition of recent developments and results. Note that a transformable, tempered measure need not be strictly transformable. By slight abuse of notation, we shall use \(\mathcal {F}\hspace{0.5pt}\) for both versions, as the context will always be clear. As the domain of two successive applications of \(\mathcal {F}\hspace{0.5pt}\) in the strict sense is now generally smaller than that of \(\mathcal {F}\hspace{0.5pt}\), one also needs the notion of double transformability here. A measure \(\mu \) is called doubly (or twice) transformable in the strict sense if \(\mu \) is strictly transformable as a measure and its transform, \(\mathcal {F}\hspace{0.5pt}(\mu )\), is again transformable in the strict sense.
A measure \(\mu \) on \(\mathbb {R}\hspace{0.5pt}^d\) is called translation bounded if \(\sup _{t\in \mathbb {R}\hspace{0.5pt}^d} |\mu |(t+K) < \infty \) holds for some (and then any) compact set \(K\subset \mathbb {R}\hspace{0.5pt}^d\) with non-empty interior, where \(|\mu |\) is the total variation of \(\mu \). This notion is crucial in many ways. In particular, every translation-bounded measure is tempered [1, Thm. 7.1]. Further, strict transformability of tempered measures can most easily be decided via an application of [50, Thm. 5.2] as follows; see also [52].
Fact 2.3
A tempered measure \(\mu \) on \(\mathbb {R}\hspace{0.5pt}^d\) is strictly transformable as a measure if and only if it is transformable as a tempered distribution such that \(\widehat{\mu }\) is a translation-bounded measure. Moreover, the two transforms agree in this case. \(\square \)
One important consequence of Fact 2.3 is that a strictly transformable eigenmeasure is automatically translation bounded. However, this type of approach via distributions is only available over \(\mathbb {R}\hspace{0.5pt}^d\). A characterisation of transformable measures on locally compact Abelian groups can be found (without proof) in [15, Thm. C1]. For some subtleties around tempered measures, once one goes beyond the class of positive measures, we also refer to [6].
Remark 2.4
Recall that a measure \(\mu \) is slowly increasing if
holds for some polynomial P. By [43, p. 242], a positive measure is tempered if and only if it is slowly increasing. A slowly increasing measure is always tempered, but the converse is generally not true; compare [1, Prop. 7.1].
Some authors [22] call a Radon measure \(\mu \) tempered when
holds for all \(f \in \mathcal {S}(\mathbb {R}\hspace{0.5pt}^d)\) and when \(f \mapsto \int _{\mathbb {R}\hspace{0.5pt}^d} f(x) \, \textrm{d}\mu (x)\) defines a tempered distribution. Note that a measure is tempered in this sense if and only if it is slowly increasing [6, Thm. 2.7]. The somewhat subtle but relevant issue with this definition is that the example from [1] mentioned above provides an example of a Radon measure \(\mu \) that is not slowly increasing, but whose restriction to \(C_{\textsf{c}}^\infty (\mathbb {R}\hspace{0.5pt}^d)\) can be extended to a tempered distribution. Let us note in passing that, for this measure, there exists \(f \in \mathcal {S}(\mathbb {R}\hspace{0.5pt}^d)\) such that
see [6] for details. \(\Diamond \)
By [41, Thm. 3.12], a strictly transformable measure \(\mu \) on \(\mathbb {R}\hspace{0.5pt}^d\) is doubly transformable in the strict sense if and only if \(\mu \) is translation bounded. In this case, now by [38, Thm. 4.9.28], one actually gets \(\mathcal {F}\hspace{0.5pt}^2 (\mu ) = I \hspace{-0.5pt}. \hspace{0.5pt}\mu \) as before.
Definition 2.5
A non-trivial tempered measure \(\mu \) on \(\mathbb {R}\hspace{0.5pt}^d\) is called an eigenmeasure of \(\mathcal {F}\hspace{0.5pt}\), or an eigenmeasure under Fourier transform, if it is transformable together with \(\mathcal {F}\hspace{0.5pt}(\mu ) = \lambda \mu \) for some \(\lambda \in \mathbb {C}\hspace{0.5pt}\), which is the corresponding eigenvalue.
Further, we call an eigenmeasure \(\mu \) strict when it is transformable in the strict sense and satisfies \(\mathcal {F}\hspace{0.5pt}(\mu ) = \lambda \mu \) in the sense of measures.
When the support of a measure \(\mu \) has special discreteness properties, one can profitably employ the following equivalence.
Lemma 2.6
If \(\mu \ne 0\) is a tempered, pure point measure on \(\mathbb {R}\hspace{0.5pt}^d\) with uniformly discrete support, the following properties are equivalent.
-
(1)
The measure \(\mu \) is strictly transformable, and \(\widehat{\mu } = \lambda \mu \) holds as an equation of measures for some \(0\ne \lambda \in \mathbb {C}\hspace{0.5pt}\).
-
(2)
The measure \(\mu \) satisfies \(\widehat{\mu } = \lambda \mu \) in the distributional sense for some \(0\ne \lambda \in \mathbb {C}\hspace{0.5pt}\).
Proof
Let us first note that \(\lambda = 0\) implies \(\mu = 0\), so we must indeed have \(\lambda \ne 0\).
To verify (1) \(\Rightarrow \) (2), we simply observe that strict transformability of \(\mu \) implies its (distributional) transformability by Fact 2.3, and the two transforms agree.
Conversely, [7, Lemma 6.3] implies that \(\widehat{\mu }\) is translation bounded, and the claim follows again from Fact 2.3. \(\square \)
These characterisations will cover essentially all situations we encounter below. Let us first show that the eigenmeasure notion is a consistent one, and determine the possible eigenvalues.
3 Eigenvalues and Structure of Solutions
Recall that \(\mathcal {S}(\mathbb {R}\hspace{0.5pt}^d)\) denotes Schwartz space [43], and that I is the reflection in 0, so \(I(x) = -x\). As above, we let I also act on functions, via \(I (g) :=g \circ I\). Accordingly, when \(\mu \) is a measure, we define the push-forward \(I \hspace{-0.5pt}. \hspace{0.5pt}\mu \) by \(\bigl ( I \hspace{-0.5pt}. \hspace{0.5pt}\mu \bigr ) (g) = \mu ( g \circ I)\).
Let \(\mu \ne 0\) be a tempered measure, so \(\mu \in \mathcal {S}\,' (\mathbb {R}\hspace{0.5pt}^d)\), where the latter denotes the space of tempered distributions on \(\mathbb {R}\hspace{0.5pt}^d\). If \(\mu \) is an eigenmeasure of \(\mathcal {F}\hspace{0.5pt}\), hence \(\mathcal {F}\hspace{0.5pt}(\mu ) = \lambda \mu \), we get \(\mathcal {F}\hspace{0.5pt}^4 (\mu ) = \lambda ^4 \mu \) by repetition and Fact 2.1. On the other hand, given any \(\varphi \in \mathcal {S}(\mathbb {R}\hspace{0.5pt}^d)\) and observing the relation \(\mathcal {F}\hspace{0.5pt}^2 (\varphi ) = \varphi \circ I\), one has
hence \(\mathcal {F}\hspace{0.5pt}^2 (\mu ) = I\hspace{-0.5pt}. \hspace{0.5pt}\mu \) and thus \(\mathcal {F}\hspace{0.5pt}^4 (\mu ) = \mu \) due to \(I^2 = \textrm{id}\). This implies \(\lambda ^4 = 1\) as in the case of functions, so \(\lambda \) must be a fourth root of unity. Note that we also get \(I\hspace{-0.5pt}. \hspace{0.5pt}\mu = \mathcal {F}\hspace{0.5pt}^2 (\mu ) = \lambda ^2 \mu \), for any of the possible eigenvalues. This has an immediate consequence as follows.
Fact 3.1
Let \(\mu \) be any tempered measure on \(\mathbb {R}\hspace{0.5pt}^d\) that is an eigenmeasure of \(\mathcal {F}\hspace{0.5pt}\), hence \(\widehat{\mu } = \lambda \mu \ne 0\). Then, \(\lambda \in \{ 1, \textrm{i}\hspace{0.5pt}, -1, -\textrm{i}\hspace{0.5pt}\}\), and one has \(I \hspace{-0.5pt}. \hspace{0.5pt}\mu = \lambda ^2 \mu \). In particular, the support of \(\mu \) is symmetric, \({{\,\textrm{supp}\,}}(\mu ) = - {{\,\textrm{supp}\,}}(\mu )\), and \(\mu \) satisfies \(\mu \bigl ( \{ -x \} \bigr ) = \lambda ^2 \hspace{0.5pt}\mu \bigl ( \{ x \} \bigr )\) for all \(x\in \mathbb {R}\hspace{0.5pt}^d\). \(\square \)
Let us verify that all \(\lambda \in \{ 1, \textrm{i}\hspace{0.5pt}, -1, -\textrm{i}\hspace{0.5pt}\}\) actually occur. To this end, we use \(\mathcal {F}\hspace{0.5pt}^4=\textrm{id}\) and consider measures \(\nu ^{}_{m} = \mu + \textrm{i}\hspace{0.5pt}^m \mathcal {F}\hspace{0.5pt}(\mu ) + \textrm{i}\hspace{0.5pt}^{2m} \mathcal {F}\hspace{0.5pt}^2 (\mu ) + \textrm{i}\hspace{0.5pt}^{3m} \mathcal {F}\hspace{0.5pt}^3 (\mu )\), for \(0\leqslant m \leqslant 3\). Then, one has
which establishes the existence of eigenmeasures for all possible \(\lambda \in \{ 1, \textrm{i}\hspace{0.5pt}, -1, -\textrm{i}\hspace{0.5pt}\}\), provided we start from a transformable, tempered measure \(\mu \) such that the \(\nu ^{}_{m}\) with \(0\leqslant m \leqslant 3\) are non-trivial. On \(\mathbb {R}\hspace{0.5pt}\), this can be achieved with \(\mu = \delta ^{}_{\alpha } \hspace{-0.5pt}* \delta ^{}_{{\hspace{0.5pt}\mathbb {Z}}}\) for any \(\alpha \not \in {\hspace{0.5pt}\mathbb {Q}}\).
Let us continue with a slightly more complex example that will give additional insight. To this end, we set \(d=1\) and start with an arbitrary real eigenmeasure for \(\lambda =1\), so \(\widehat{\mu } = \mu = \overline{\mu }\), such as \(\mu = \delta ^{}_{{\hspace{0.5pt}\mathbb {Z}}}\) from the PSF in (1). Now, let \(\chi ^{}_{s} \! : \, \mathbb {R}\hspace{0.5pt}\xrightarrow {\quad } \mathbb {S}^1\) be a character, so \(\chi ^{}_{s} (x) = \textrm{e}^{2 \pi \textrm{i}\hspace{0.5pt}s x}\) for some fixed \(s \in \mathbb {R}\hspace{0.5pt}\). Then, for \(t\in \mathbb {R}\hspace{0.5pt}\), a simple calculation shows that
This can be done more generally for any real eigenmeasure, with the following consequence.
Lemma 3.2
Let \(\chi ^{}_{s}\) be a character on \(\mathbb {R}\hspace{0.5pt}\), and let \(\mu \) be a transformable, tempered measure on \(\mathbb {R}\hspace{0.5pt}\) that satisfies \(\widehat{\mu } = \mu = \overline{\mu }\). Then, the measure \(\omega ^{}_{s} :=\chi ^{}_{s} \cdot (\delta ^{}_{s} \hspace{-0.5pt}* \mu )\) is a tempered measure that is transformable as well, with
For \(\mu = \omega ^{}_{0}\), this relation reduces to \(\widehat{\mu } = \mu \).
Moreover, if \(\mu \) is transformable in the strict sense, then so is \(\omega ^{}_s\), and both \(\mu \) and \(\omega ^{}_{s}\) are translation-bounded measures.
Proof
Under our assumptions, \(\omega ^{}_{s}\) clearly is a tempered measure, while a simple calculation with the convolution theorem shows that the distribution \(\widehat{\omega ^{}_{s}}\) is indeed a measure, so \(\omega ^{}_{s}\) is transformable by definition.
With \(\mu \), also the shifted measure \(\delta ^{}_{s} \hspace{-0.5pt}* \mu \) is real. Observing , we can simply calculate
where the third step is the obvious generalisation of (4). This establishes the main claim, while \(s = 0\) clearly gives the eigenmeasure relation stated.
When \(\mu \) is strictly transformable, \(\mu = \widehat{\mu }\) is translation bounded by Fact 2.3. It follows immediately that \(\omega ^{}_{s}\) is translation bounded as well. \(\square \)
With the \(\omega ^{}_{s}\) from Lemma 3.2, for generic s, we get the cycle
as can be checked by an explicit calculation that we leave to the interested reader. Unless s takes special values, the four measures are distinct, and thus form a 4-cycle. Excluding a few more values for s, the measures \(\nu ^{}_{m}\) from (3) with \(\mu = \omega ^{}_{s}\) are non-trivial, so we see a plethora of eigenmeasures of \(\mathcal {F}\hspace{0.5pt}\), for all possible eigenvalues.
Next, for each \(\lambda \in \{ \pm 1, \pm \hspace{0.5pt}\textrm{i}\hspace{0.5pt}\}\), we define an operator \(P^{}_{\lambda } :\mathcal {S}' (\mathbb {R}\hspace{0.5pt}^d) \xrightarrow {\quad } \mathcal {S}' (\mathbb {R}\hspace{0.5pt}^d)\) via
Its properties can be summarised as follows.
Proposition 3.3
The operators \(P^{}_{\lambda }\) with \(\lambda \in \{ 1, \textrm{i}\hspace{0.5pt}, -1, -\textrm{i}\hspace{0.5pt}\}\) satisfy the following properties.
-
(1)
One has \(P^{}_1+P^{}_{\hspace{0.5pt}\textrm{i}\hspace{0.5pt}}+P^{}_{-1}+P^{}_{-\textrm{i}\hspace{0.5pt}}= \textrm{id}\).
-
(2)
For any \(\lambda , \lambda ' \in \{ \pm 1, \pm \hspace{0.5pt}\textrm{i}\hspace{0.5pt}\}\), one has \(P^{}_{\lambda }\hspace{-0.5pt}\circ P^{}_{\lambda '} = \delta ^{}_{\lambda ,\lambda '} \hspace{0.5pt}P^{}_{\lambda }\) and \(\mathcal {F}\hspace{0.5pt}\hspace{-0.5pt}\circ P^{}_\lambda = \lambda \hspace{0.5pt}P^{}_\lambda \).
-
(3)
A subspace \(X \hspace{-0.5pt}\subseteq \mathcal {S}' (\mathbb {R}\hspace{0.5pt}^d)\) is \(\mathcal {F}\hspace{0.5pt}\hspace{-0.5pt}\)-invariant if and only if \(P^{}_{\lambda } (X) \subseteq X\) holds for all \(\lambda \in \{ \pm 1, \pm \hspace{0.5pt}\textrm{i}\hspace{0.5pt}\}\).
-
(4)
Let \(X \subseteq \mathcal {S}' (\mathbb {R}\hspace{0.5pt}^d)\) be \(\mathcal {F}\hspace{0.5pt}\hspace{-0.5pt}\)-invariant and let \(\lambda \in \{ \pm 1, \pm \hspace{0.5pt}\textrm{i}\hspace{0.5pt}\}\). Then, the restriction of \(P^{}_{\lambda }\) to X is a projection operator onto the eigenspace
$$\begin{aligned} \mathbb {E}\hspace{0.5pt}^{}_{\lambda }(X) \, :=\, \{ \omega \in X : \mathcal {F}\hspace{0.5pt}(\omega ) = \lambda \hspace{0.5pt}\omega \} \hspace{0.5pt}. \end{aligned}$$In particular, one has \( X = \mathbb {E}\hspace{0.5pt}^{}_{1} (X) \oplus \mathbb {E}\hspace{0.5pt}^{}_{\hspace{0.5pt}\textrm{i}\hspace{0.5pt}} (X) \oplus \mathbb {E}\hspace{0.5pt}^{}_{-1} (X) \oplus \mathbb {E}\hspace{0.5pt}^{}_{-\textrm{i}\hspace{0.5pt}} (X) \).
Proof
Note first that, for all \(\omega \in \mathcal {S}' (\mathbb {R}\hspace{0.5pt}^d)\), we have
Now, the bracketed sum vanishes unless \(j=0\), which gives
and establishes Property (1).
For Property (2), for all \(\lambda \in \{ \pm 1, \pm \hspace{0.5pt}\textrm{i}\hspace{0.5pt}\}\) and all \(\omega \in \mathcal {S}' (\mathbb {R}\hspace{0.5pt}^d)\), we have
with the last equality following from \(\mathcal {F}\hspace{0.5pt}^4=\text{ id }\) and \(\lambda ^4=1\). Furthermore,
Since \(\lambda ^{-1}\hspace{0.5pt}\lambda '\) is a fourth root of unity, we have \(\sum _{j=0}^{3} \bigl ( \lambda ^{-1}\hspace{0.5pt}\lambda ' \bigr )^{j} = 4 \hspace{0.5pt}\delta ^{}_{\lambda ,\lambda '}\), which proves this part.
The direct implication in Property (3) follows immediately from the definition of \(P^{}_\lambda \), while the converse follows from Properties (1) and (2).
Finally, for Property (4), observe first that we have \(P^{}_{\lambda } (X) \subseteq \mathbb {E}\hspace{0.5pt}^{}_{\lambda } (X)\) from Property (2). Moreover, for all \(\omega \in \mathbb {E}\hspace{0.5pt}^{}_{\lambda }(X)\), we have
so \(P^{}_{\lambda } :X \! \xrightarrow {\quad } \mathbb {E}\hspace{0.5pt}^{}_{\lambda }(X)\) is onto. The claim now follows from Properties (2) and (3). \(\square \)
Remark 3.4
Using the work of Simon [45], see also [9, Thm. 1], one can decompose \( P^{}_{\lambda }(\omega )\) as a series of Hermite functions, which are eigenfunctions for \(\lambda \). Below, we are primarily interested in the case where both \(\omega \) and \(\widehat{\omega }\) are tempered measures with locally finite support. In this case, the Hermite function expansion does not seem to give further insight. \(\Diamond \)
Now, let us denote by \(\mathcal {M}_{\text {ttm}}(\mathbb {R}\hspace{0.5pt}^d)\) the space of transformable tempered measures on \(\mathbb {R}\hspace{0.5pt}^d\), which by definition is \(\mathcal {F}\hspace{0.5pt}\hspace{-0.5pt}\)-invariant. Therefore, we get the following result.
Theorem 3.5
For each \(\lambda \in \{ \pm 1, \pm \hspace{0.5pt}\textrm{i}\hspace{0.5pt}\}\), the mapping \(P^{}_{\lambda }\) induces a projection operator from \(\mathcal {M}_{\textrm{ttm}} (\mathbb {R}\hspace{0.5pt}^d)\) onto the eigenspace \(\mathbb {E}\hspace{0.5pt}_{\lambda } \bigl (\mathcal {M}_{\textrm{ttm}} (\mathbb {R}\hspace{0.5pt}^d) \bigr )\), with \(P^{}_1+P^{}_{\hspace{0.5pt}\textrm{i}\hspace{0.5pt}}+P^{}_{-1} +P^{}_{-\textrm{i}\hspace{0.5pt}}= \textrm{id}\). In particular, we have the decomposition \(\mathcal {M}_{\textrm{ttm}} (\mathbb {R}\hspace{0.5pt}^d) = \mathbb {E}\hspace{0.5pt}^{}_{1} \bigl (\mathcal {M}_{\textrm{ttm}} (\mathbb {R}\hspace{0.5pt}^d)\bigr ) \oplus \mathbb {E}\hspace{0.5pt}^{}_{\hspace{0.5pt}\textrm{i}\hspace{0.5pt}} \bigl (\mathcal {M}_{\textrm{ttm}} (\mathbb {R}\hspace{0.5pt}^d)\bigr ) \oplus \mathbb {E}\hspace{0.5pt}^{}_{-1} \bigl (\mathcal {M}_{\textrm{ttm}} (\mathbb {R}\hspace{0.5pt}^d) \bigr ) \oplus \mathbb {E}\hspace{0.5pt}^{}_{-\textrm{i}\hspace{0.5pt}} \bigl (\mathcal {M}_{\textrm{ttm}} (\mathbb {R}\hspace{0.5pt}^d)\bigr )\). \(\square \)
This shows that there is an abundance of eigenmeasures, which makes a meaningful classification difficult unless certain subclasses are specified. In this framework, for \(d=1\), we shall later derive a more explicit characterisation of eigenmeasures that are periodic or are pure point measures with uniformly discrete support.
Remark 3.6
Let us give some further connections.
-
(1)
Proposition 3.3 and Theorem 3.5 hold for the space of all measures that are strictly transformable, as well as for \(L^2(\mathbb {R}\hspace{0.5pt}^d)\), as mentioned earlier.
-
(2)
As the authors learned from a correspondence with Feichtinger after submitting the first version of this paper, this type of result holds for any \(\mathcal {F}\hspace{0.5pt}\hspace{-0.5pt}\)-invariant subspace of \(S_0' (\mathbb {R}\hspace{0.5pt}^d)\), where \(S_0' (\mathbb {R}\hspace{0.5pt}^d)\) is the dual of the Feichtinger algebra \(S^{}_0 (\mathbb {R}\hspace{0.5pt}^d)\); see [39] and references therein for background and further details. \(\Diamond \)
Let us return to \(d=1\). For \(r,s \in \mathbb {R}\hspace{0.5pt}\) and \(\alpha > 0\), we now define
which is a translation-bounded (hence tempered) complex measure on \(\mathbb {R}\hspace{0.5pt}\) that is also transformable, as well as strictly transformable.
Lemma 3.7
For arbitrary \(r,s \in \mathbb {R}\hspace{0.5pt}\) and \(\alpha > 0\), the measure \(\mathcal {Z}^{}_{r,s,\alpha }\) from (7) is tempered and (strictly\(\, )\) transformable, and has the following properties.
-
(1)
\(\mathcal {Z}^{}_{r,s + m \alpha ,\alpha } = \mathcal {Z}^{}_{r,s,\alpha }\) holds for all \(m\in {\hspace{0.5pt}\mathbb {Z}}\).
-
(2)
\(\mathcal {Z}^{}_{r \hspace{0.5pt}+ \frac{m}{\alpha },s,\alpha } = \textrm{e}^{2 \pi \textrm{i}\hspace{0.5pt}\frac{m s}{\alpha }} \mathcal {Z}^{}_{r,s,\alpha }\) holds for all \(m\in {\hspace{0.5pt}\mathbb {Z}}\).
-
(3)
\(\mathcal {F}\hspace{0.5pt}(\mathcal {Z}^{}_{r,s,\alpha } ) = \delta ^{}_{r} \hspace{-0.5pt}* \bigl ( \chi ^{}_{-s} \cdot \frac{1}{\alpha } \, \delta ^{}_{{\hspace{0.5pt}\mathbb {Z}}/\hspace{-0.5pt}\alpha }\bigr ) = \frac{1}{\alpha } \, \textrm{e}^{2 \pi \textrm{i}\hspace{0.5pt}\hspace{0.5pt}r s} \, \mathcal {Z}^{}_{-s, r, \frac{1}{\alpha }}\).
-
(4)
\(\mathcal {F}\hspace{0.5pt}^2 (\mathcal {Z}^{}_{r,s,\alpha }) = I \hspace{-0.5pt}\hspace{-0.5pt}. \hspace{0.5pt}\mathcal {Z}^{}_{r,s,\alpha } =\mathcal {Z}^{}_{-r,-s,\alpha }\).
Moreover, when \(\alpha ^2 = \frac{1}{n}\) for some \(n\in \mathbb {N}\), then \(\mathcal {Z}^{}_{r,s,\alpha } = \sum _{m=0}^{n-1} \mathcal {Z}^{}_{r,s+m\alpha ,1/\hspace{-0.5pt}\alpha }\) holds for all \(r,s \in \mathbb {R}\hspace{0.5pt}\). More generally, for \(\alpha ^2 = \frac{p}{q}\) with \(p,q\in \mathbb {N}\) coprime and \(\beta =\sqrt{p q \hspace{0.5pt}}\), one has
Proof
The first relation is obvious, while the second follows from the fact that \({\hspace{0.5pt}\mathbb {Z}}/\hspace{-0.5pt}\alpha \) is dual to \(\alpha {\hspace{0.5pt}\mathbb {Z}}\) as a lattice. It is clear that \(\mathcal {Z}^{}_{r,s,\alpha }\) is translation bounded and (strictly) transformable. Property (3) follows from the convolution theorem [2, Thm. 8.5], applied twice, and an extension of Eq. (4) from \({\hspace{0.5pt}\mathbb {Z}}\) to \(\alpha {\hspace{0.5pt}\mathbb {Z}}\). Next, observing \(I\hspace{-0.5pt}\hspace{-0.5pt}.\hspace{0.5pt}\delta _x = \delta _{-x}\) and \(\chi ^{}_{r} (-x) = \chi ^{}_{-r} (x)\), Property (4) follows from a simple calculation.
When \(\alpha ^2 = \frac{1}{n}\), we have \(\alpha {\hspace{0.5pt}\mathbb {Z}}= {\hspace{0.5pt}\mathbb {Z}}/\hspace{-0.5pt}\hspace{-0.5pt}\sqrt{n}\) and \({\hspace{0.5pt}\mathbb {Z}}/\hspace{-0.5pt}\alpha = \sqrt{n} \hspace{0.5pt}\hspace{0.5pt}{\hspace{0.5pt}\mathbb {Z}}\). As \(n {\hspace{0.5pt}\mathbb {Z}}\) is a sublattice of \({\hspace{0.5pt}\mathbb {Z}}\) of index n, the summation formula follows by a standard coset decomposition of \(\alpha \hspace{0.5pt}{\hspace{0.5pt}\mathbb {Z}}\) modulo \({\hspace{0.5pt}\mathbb {Z}}/\hspace{-0.5pt}\alpha \).
In the general case, one has \(\alpha = \beta /\hspace{-0.5pt}q\), which implies \(\alpha {\hspace{0.5pt}\mathbb {Z}}= \dot{\bigcup }_{m=0}^{q-1} \bigl ( \beta {\hspace{0.5pt}\mathbb {Z}}+ \frac{m}{q}\beta \bigr )\). This gives
for any \(r,s \in \mathbb {R}\hspace{0.5pt}\) as claimed. \(\square \)
Remark 3.8
The measure \(\mathcal {Z}^{}_{r,s,\alpha }\) is closely related to the widely-used Zak transform of [21], which is given by \((Zf)(\tau ,\Omega )=\sum _{k\in {\hspace{0.5pt}\mathbb {Z}}} f(\tau +k)\, \textrm{e}^{-2\pi \textrm{i}\hspace{0.5pt}k\Omega }\), for all \(\tau ,\Omega \in \mathbb {R}\hspace{0.5pt}\). A short computation reveals
Some of the results of Lemma 3.7 (at least for \(\alpha =1\)) can be found in [21], formulated in terms of the Zak transform.
There is a large body of literature on this subject, also in relation to the Weyl–Heisenberg transform and their discrete versions. However, to the best of our knowledge, these works neither address general questions around the transformability of unbounded measures nor is the transform used to construct eigenmeasures under \(\mathcal {F}\hspace{0.5pt}\). \(\Diamond \)
For \(\mu = \delta ^{}_{{\hspace{0.5pt}\mathbb {Z}}}\), the measure \(\omega ^{}_{s}\) from Lemma 3.2 is \(\mathcal {Z}^{}_{s,s,1}\), and gives the 4-cycle from (5) as
With this, one can choose an integer \(m\in \{ 0, 1, 2, 3 \}\) and consider the measure
which satisfies \(\widehat{\nu ^{}_{m}} = (-\textrm{i}\hspace{0.5pt})^m \hspace{0.5pt}\nu ^{}_{m}\). When \(s\in {\hspace{0.5pt}\mathbb {Q}}\), so \(s=\frac{p}{q}\) with \(p\in {\hspace{0.5pt}\mathbb {Z}}\) and \(q\in \mathbb {N}\), the example is (at least) q-periodic, while s irrational provides aperiodic examples.
Proposition 3.9
Let \(\alpha >1\) be fixed, and let K and J be bounded fundamental domains for the lattices \(\alpha {\hspace{0.5pt}\mathbb {Z}}\) and \(\frac{1}{\alpha } {\hspace{0.5pt}\mathbb {Z}}\), respectively. Then, \(B_{\alpha } :=\{ \mathcal {Z}^{}_{r,s,\alpha } : r\in J, s \in K \}\) is an algebraic basis for \(V_{\alpha } :=\textrm{span}^{}_{\mathbb {C}\hspace{0.5pt}}\hspace{0.5pt}\{ \mathcal {Z}^{}_{r,s,\alpha } : r,s \in \mathbb {R}\hspace{0.5pt}\}\).
Proof
By Lemma 3.7(1) and (2), it is clear that the elements of \(B_{\alpha }\) are distinct and that \(B_{\alpha }\) is a spanning set for \(V_{\alpha }\), which is the complex vector space of all finite linear combinations of measures \(\mathcal {Z}^{}_{r,s,\alpha }\) with fixed \(\alpha \). It thus remains to show linear independence of the elements of \(B_{\alpha }\). So, let \(n\in \mathbb {N}\) and assume
with \(s_i \in K\) and \(r_j \in J\) such that the n pairs \((s_i , r_i )\) are distinct. Since K is a proper fundamental domain for \(\alpha {\hspace{0.5pt}\mathbb {Z}}\), for any \(1 \leqslant k,\ell \leqslant n\), we have either \(s^{}_{k} = s^{}_{\ell }\) or \((s^{}_{k} + \alpha {\hspace{0.5pt}\mathbb {Z}}) \cap (s^{}_{\ell } + \alpha {\hspace{0.5pt}\mathbb {Z}}) = \varnothing \).
Select some \(1\leqslant k \leqslant n\) and set \(F^{}_{k} = \{ 1 \leqslant \ell \leqslant n : s^{}_{\ell } = s^{}_{k} \}\). Restricting (8) to \(s^{}_{k} + \alpha {\hspace{0.5pt}\mathbb {Z}}\) gives
Taking the Fourier transform turns this relation into
Next, we note that, for all \(\ell \in F^{}_{k}\) with \(\ell \ne k\), we have \(r^{}_{\hspace{-0.5pt}\ell } \ne r^{}_{k}\), as \(s^{}_{\hspace{-0.5pt}\ell } = s^{}_{k}\) and \((s^{}_{\hspace{-0.5pt}\ell }, r^{}_{\hspace{-0.5pt}\ell }) \ne (s^{}_{k}, r^{}_{k})\). Consequently, as \(r^{}_{k}, r^{}_{\hspace{-0.5pt}\ell } \in J\), we have
Now, restricting (9) to \(r^{}_{k} + \frac{1}{\alpha } {\hspace{0.5pt}\mathbb {Z}}\) gives
which implies \(c^{}_{k} = 0\). Since k was arbitrary, we are done. \(\square \)
Let us now look into classes of periodic eigenmeasures more systematically.
4 Lattice-Periodic Eigenmeasures
If \(\varGamma \) is a lattice in \(\mathbb {R}\hspace{0.5pt}^d\), and \(\delta ^{}_{\hspace{-0.5pt}\varGamma }\) the corresponding Dirac comb, the PSF from (1) becomes
where \({{\,\textrm{dens}\,}}(\varGamma )\) is the (uniformly existing) density of \(\varGamma \), and \(\varGamma ^*\) denotes the dual lattice, as given by \(\varGamma ^* = \{ x \in \mathbb {R}\hspace{0.5pt}^d : x y \in {\hspace{0.5pt}\mathbb {Z}}\text { for all } y \in \varGamma \hspace{0.5pt}\}\); compare [2, Thm. 9.1].
Fact 4.1
If \(\varGamma \subset \mathbb {R}\hspace{0.5pt}^d\) is a lattice, the Dirac comb \(\delta ^{}_{\hspace{-0.5pt}\varGamma }\) is an eigenmeasure for \(\mathcal {F}\hspace{0.5pt}\) if and only if \(\varGamma \) is self-dual, that is, \(\varGamma ^* = \varGamma \), which also implies \({{\,\textrm{dens}\,}}(\varGamma ) = 1\).
Proof
\( \widehat{\delta ^{}_{\hspace{-0.5pt}\varGamma }} = \lambda \hspace{0.5pt}\delta ^{}_{\hspace{-0.5pt}\varGamma }\) means \(\varGamma ^*=\varGamma \) and \(\lambda = {{\,\textrm{dens}\,}}(\varGamma )\), via the PSF, together with \(\lambda ^4=1\). As \(\lambda =1\) is the only positive, real solution, we get \({{\,\textrm{dens}\,}}(\varLambda ) = 1\) and \(\varGamma ^* = \varGamma \) as claimed. \(\square \)
To go beyond this case, let us start with \(d=1\) and assume \(\mu \) to be a measure on \(\mathbb {R}\hspace{0.5pt}\) that is \(\alpha \)-periodic, for some \(\alpha >0\), which is to say that \(\delta ^{}_{\alpha } \hspace{-0.5pt}* \mu = \mu \). Such a measure is of the form
where \(\varrho \) is a finite measure; compare [2, Sect. 9.2.3]. Without loss of generality, we may assume that \({{\,\textrm{supp}\,}}(\varrho ) \subseteq [0,\alpha ]\) with \(\varrho ( \{ \alpha \}) = 0\), for instance by setting \(\varrho = \mu |^{}_{[0,\alpha )}\). As the periodic repetition of a finite motif, \(\mu \) obviously is translation bounded, hence also tempered. Any such measure is (strictly) transformable [1, Cor. 6.1].
Lemma 4.2
Let \(\alpha >0\) be fixed, and let \(\mu \ne 0\) be a tempered measure on \(\mathbb {R}\hspace{0.5pt}\) that is \(\alpha \)-periodic. If \(\widehat{\mu } = \lambda \mu \), one has \(\lambda \in \{ 1, \textrm{i}\hspace{0.5pt}, -1, -\textrm{i}\hspace{0.5pt}\}\) together with \(\alpha ^2 = n\) for some \(n\in \mathbb {N}\). In particular, any such measure must be of the form (11), where the finite measure \(\varrho \) can be chosen to have support in \([0,\alpha ) \cap {\hspace{0.5pt}\mathbb {Z}}/\hspace{-0.5pt}\alpha \), that is, in the natural coset representatives of \({\hspace{0.5pt}\mathbb {Z}}/\hspace{-0.5pt}\alpha \) modulo \(\alpha {\hspace{0.5pt}\mathbb {Z}}\).
Proof
Under the assumption, we may use the representation from (11), together with the choice of \(\varrho \). From here, we see that \(\mu \) is strictly transformable, and the convolution theorem [2, Thm. 8.5] in conjunction with the general PSF from Eq. (10) gives
Since \(\widehat{\varrho }\hspace{0.5pt}\) is a continuous function on \(\mathbb {R}\hspace{0.5pt}\), this entails that \({{\,\textrm{supp}\,}}(\widehat{\mu }) \subseteq {\hspace{0.5pt}\mathbb {Z}}/\hspace{-0.5pt}\alpha \), where \({\hspace{0.5pt}\mathbb {Z}}/\alpha \) is a lattice and thus uniformly discrete as a point set.
If \(\widehat{\mu } =\lambda \mu \), where \(\mu \) is non-trivial, we know that \(\lambda ^4=1\). Now, comparing the representation of \(\mu \) from (11) with Eq. (12) we get \({{\,\textrm{supp}\,}}(\mu ) = {{\,\textrm{supp}\,}}(\varrho ) + \alpha {\hspace{0.5pt}\mathbb {Z}}\subseteq {\hspace{0.5pt}\mathbb {Z}}/\hspace{-0.5pt}\alpha \), hence
where \(A+B\) denotes the Minkowski sum of two sets. This inclusion implies \(\alpha {{\,\textrm{supp}\,}}(\varrho ) \subseteq {\hspace{0.5pt}\mathbb {Z}}\) because \(0\in \alpha ^2 {\hspace{0.5pt}\mathbb {Z}}\). Since \(\alpha {{\,\textrm{supp}\,}}(\varrho ) \ne \varnothing \), it contains some integer, m say, which now results in \(\alpha ^2 {\hspace{0.5pt}\mathbb {Z}}\subseteq {\hspace{0.5pt}\mathbb {Z}}\). But this means that \(\alpha ^2 = n\) must be an integer, and \({{\,\textrm{supp}\,}}(\varrho ) \subset {\hspace{0.5pt}\mathbb {Z}}/\hspace{-0.5pt}\alpha \).
Under our assumptions, and with our choice of \(\varrho \), we get \({{\,\textrm{supp}\,}}(\varrho ) \subseteq [0,\alpha ) \cap {\hspace{0.5pt}\mathbb {Z}}/\hspace{-0.5pt}\alpha \), so \(\varrho \) must be a pure point measure with support in the finite set \(\{ \frac{m}{\alpha } : 0 \leqslant m < n \}\), which establishes the last claim. \(\square \)
This provides a class of Dirac combs with pure point diffraction [5], with the additional property that they are doubly sparse in the sense of [7, 30, 32], see also [24].
4.1 Connection with Discrete Fourier Transform
Let \(\alpha = \sqrt{n}\) with \(n\in \mathbb {N}\) be fixed, and consider the product pure point measure
Clearly, \(\mu \) is crystallographic in the sense of [2]. Indeed, it is \(\alpha \)-periodic, but might also have smaller periods, depending on the coefficients \(c^{}_{m}\). Moreover, \(\mu \) is transformable, with
Observing that \(\delta ^{}_{{\hspace{0.5pt}\mathbb {Z}}/\hspace{-0.5pt}\alpha } = \delta ^{}_{\alpha {\hspace{0.5pt}\mathbb {Z}}} * \sum _{\ell =0}^{n-1} \delta ^{}_{\ell /\hspace{-0.5pt}\alpha }\), one sees that the value of the character in the above sum only depends on the coset of \(\alpha {\hspace{0.5pt}\mathbb {Z}}\), thus giving the simplification
The crucial observation to make here is that the term in brackets is the discrete Fourier transform (DFT) of the vector \(c = (c^{}_{0}, \ldots , c^{}_{n-1} )^{T}\).
If \(U_n\) denotes the unitary DFT or Fourier matrix, it is well known that its eigenvalues satisfy \(\lambda \in \{ 1, \textrm{i}\hspace{0.5pt}, -1, -\textrm{i}\hspace{0.5pt}\}\). Their multiplicities, in closed terms, were already known to Gauss, while the eigenvectors are difficult,Footnote 1 and still not known in closed form; see [18] for a version that relates to the Hermite functions of the continuous case.
Theorem 4.3
Let \(\alpha > 0\) be fixed, and let \(\lambda \) be a fourth root of unity. Further, let \(\mu \ne 0\) be a measure on \(\mathbb {R}\hspace{0.5pt}\) that is \(\alpha \)-periodic. Then, the following properties are equivalent.
-
(1)
\(\mu \) is an eigenmeasure of \(\mathcal {F}\hspace{0.5pt}\) with eigenvalue \(\lambda \).
-
(2)
\(\mu \) is a strict eigenmeasure of \(\mathcal {F}\hspace{0.5pt}\) with eigenvalue \(\lambda \).
-
(3)
The measure \(\mu \) has the form (13) with \(\alpha = \sqrt{n}\), for some \(n\in \mathbb {N}\) and some eigenvector \(c= (c^{}_{0}, \ldots , c^{}_{n-1} )^{T} \in \mathbb {C}\hspace{0.5pt}^n\) of the corresponding DFT, meaning \(U_n c = \lambda c\).
Proof
As pointed out above, any \(\alpha \)-periodic measure is translation bounded. Then, \((1) \Leftrightarrow (2)\) is a consequence of Fact 2.3.
The equivalence \((1) \Leftrightarrow (3)\) follows from Lemma 4.2 by a comparison of coefficients in (13) and (14). \(\square \)
Example 4.4
When \(\alpha ^2=1\) in Theorem 4.3, the only solution we get (up to a constant) is \(\mu =\delta ^{}_{{\hspace{0.5pt}\mathbb {Z}}}\), with \(\lambda = 1\), as expected.
When \(\alpha ^2=2\), so \(\alpha = \sqrt{2}\), the measure \(\varrho \) in (11) has the form \(\varrho = c^{}_{0} \hspace{0.5pt}\delta ^{}_{0} + c^{}_{1} \hspace{0.5pt}\delta ^{}_{1/\hspace{-0.5pt}\alpha }\). Here, with \(c^{}_{0} = 1 \pm \sqrt{2}\) and \(c^{}_{1} = 1\), one gets eigenmeasures with \(\lambda = \pm 1\), which are the only possibilities (up to an overall constant). Examples with larger values of \(\alpha \) can be constructed with the material given in the Appendix. \(\Diamond \)
Remark 4.5
Note that Fact 3.1 has consequences on the structure of the eigenvectors c of the DFT. Indeed, it is clear that we get \(c^{}_{0} = \lambda ^2 c^{}_{0}\) together with
In particular, for \(\lambda = \pm 1\), the (partial) vector \((c^{}_{1}, \ldots , c^{}_{n-1})\) is palindromic, while \(\lambda = \pm \hspace{0.5pt}\textrm{i}\hspace{0.5pt}\) implies \(c^{}_{0} = 0\) together with \((c^{}_{1}, \ldots , c^{}_{n-1})\) being skew-palindromic. This is clearly visible in the above examples and in those of the Appendix. \(\Diamond \)
Let us next consider another class of eigenmeasures that implicitly emerge from a cut and project scheme (CPS) in the theory of aperiodic order; see [2] for background. This will provide non-periodic examples of pure point eigenmeasures.
5 Shadows of Product Measures
Let us return to the simple statement from Fact 4.1, and extend it into a different direction. Here and below, we always assume \(\mathbb {R}\hspace{0.5pt}^d\) to be equipped with Lebesgue measure as its (standard) Haar measure, that is, the unique translation-invariant measure which gives volume 1 to the unit cube. Clearly, \(\varGamma \) can only be self-dual if \({{\,\textrm{dens}\,}}(\varGamma ) = 1\), which is to say that its fundamental domain has unit volume. Note that this is not a sufficient criterion for \(d>1\).
More generally, when B denotes a basis matrix for \(\varGamma \), with the columns being the basis vectors in Cartesian coordinates, \(B^* :=(B^{-1})^{T}\) is the dual matrix, and the fitting basis matrix for \(\varGamma ^*\). In this formulation, self-duality of \(\varGamma \) is equivalent with orthogonality of the matrix B. It is now easy to check that the only self-dual lattices in \(\mathbb {R}\hspace{0.5pt}^2\) are the square lattices, that is, \({\hspace{0.5pt}\mathbb {Z}}^2\) and its rotated siblings. A natural choice for the basis matrix thus is
where \(u^{}_{\theta }\) and \(v^{}_{\theta }\) are the column vectors. We denote the corresponding lattice by \(\varGamma ^{}_{\theta }\). Note that the parameter can be restricted to \(0 \leqslant \theta < \frac{\pi }{2}\), which covers all cases once, due to the fourfold rotational symmetry of the square lattice. Given this choice of basis, we can always uniquely write \(z\in \varGamma ^{}_{\theta }\) as \(z = m \hspace{0.5pt}u^{}_{\theta } + n \hspace{0.5pt}v^{}_{\theta }\) with \(m,n \in {\hspace{0.5pt}\mathbb {Z}}\). We thus map \(z\in \varGamma ^{}_{\theta }\) to a pair \((m^{}_{z},n^{}_{z}) \in {\hspace{0.5pt}\mathbb {Z}}^2\) via this choice of basis.
The next result is standard [43, Thm. VII.XIV], and follows from a simple Fubini-type calculation with the product Lebesgue measure on \(\mathbb {R}\hspace{0.5pt}^{p+q} = \mathbb {R}\hspace{0.5pt}^p \! \times \hspace{-0.5pt}\mathbb {R}\hspace{0.5pt}^q\), where the function \(f\hspace{-0.5pt}\otimes g \hspace{-0.5pt}: \, \mathbb {R}\hspace{0.5pt}^p \! \times \hspace{-0.5pt}\mathbb {R}\hspace{0.5pt}^q \xrightarrow {\quad } \mathbb {C}\hspace{0.5pt}\) is defined by \(f\hspace{-0.5pt}\otimes g \, (x,y) :=f(x) \, g(y)\) as usual.
Fact 5.1
Let \(p,q\in \mathbb {N}\), \(f\in L^{1} (\mathbb {R}\hspace{0.5pt}^p)\), \(g\in L^{1} (\mathbb {R}\hspace{0.5pt}^q)\), and consider the product function \(h :=f\hspace{-0.5pt}\otimes g\). Then, \(h \in L^{1} (\mathbb {R}\hspace{0.5pt}^{p+q})\), and its Fourier transform reads \(\widehat{h} = \widehat{f} \hspace{-0.5pt}\otimes \widehat{g}\). In particular, this applies to \(f\in \mathcal {S}(\mathbb {R}\hspace{0.5pt}^{p})\) and \(g\in \mathcal {S}(\mathbb {R}\hspace{0.5pt}^{q})\), with \(h \in \mathcal {S}(\mathbb {R}\hspace{0.5pt}^{p+q})\). \(\square \)
Now, let \(\varGamma \subset \mathbb {R}\hspace{0.5pt}^{d+m}\) be a lattice, let \(g \in \mathcal {S}(\mathbb {R}\hspace{0.5pt}^m)\) be fixed, and consider
Since the mapping \(\mathcal {S}(\mathbb {R}\hspace{0.5pt}^d) \ni f \mapsto f \otimes g \in \mathcal {S}(\mathbb {R}\hspace{0.5pt}^{d+m})\) is continuous with respect to the topology of Schwartz space, and since \(\delta ^{}_{\hspace{-0.5pt}\varGamma }\) is a tempered distribution, it is clear that \(\delta ^{\star }_{g,\varGamma }\) is a tempered distribution as well. In fact, we have more as follows.
Proposition 5.2
The measure \(\delta ^{\hspace{0.5pt}\star _{}}_{\hspace{-0.5pt}g,\varGamma }\) from (16) is translation bounded and transformable, with the transform .
Proof
If \(\varGamma \subset \mathbb {R}\hspace{0.5pt}^{d+m}\) is a lattice and \(h \in \mathcal {S}(\mathbb {R}\hspace{0.5pt}^{m+d})\), one has \( \sum _{z \in \varGamma } |h(z)|< \infty \) by standard arguments [43], hence
holds for all \(f \in \mathcal {S}(\mathbb {R}\hspace{0.5pt}^d)\) and \(g \in \mathcal {S}(\mathbb {R}\hspace{0.5pt}^m)\). Consequently, also for all \(\varphi \in C_{\textsf{c}}(\mathbb {R}\hspace{0.5pt}^d)\), we have
We can thus define \(\mu :C_{\textsf{c}}(\mathbb {R}\hspace{0.5pt}^d) \longrightarrow \mathbb {C}\hspace{0.5pt}\) by
with the sum being absolutely convergent. Moreover, by Eq. (17), \(\mu (f)\) is well defined for all \(f \in \mathcal {S}(\mathbb {R}\hspace{0.5pt}^d)\) and satisfies \( \mu (f) = \delta ^{\hspace{0.5pt}\star }_{\hspace{-0.5pt}g,\varGamma } (f)\).
Now, we show that \(\mu \) is also a measure, which implies that \(\delta ^{\hspace{0.5pt}\star _{}}_{\hspace{-0.5pt}g,\varGamma } \) is a measure as well. It is obvious that \(\mu \) is a linear mapping. Next, let \(K \subset \mathbb {R}\hspace{0.5pt}^d\) be a fixed compact set, select \(f \in C_{\textsf{c}}^\infty (\mathbb {R}\hspace{0.5pt}^d)\) so that \(f \geqslant 1^{}_K\), and consider
Then, if \(\varphi \in C_{\textsf{c}}(\mathbb {R}\hspace{0.5pt}^d)\) satisfies \({{\,\textrm{supp}\,}}(\varphi )\subseteq K\), we get
which shows that \(\mu \) is a measure.
Next, by applying the proof of [52, Cor. 2.1] to \(h=f \hspace{-0.5pt}\otimes g\), we see that there is a constant C such that \(\bigl ( |\delta _{\hspace{-0.5pt}\varGamma } |* |I\hspace{-0.5pt}.h |\bigr ) (x) \leqslant C\) holds for all \(x \in \mathbb {R}\hspace{0.5pt}^{d+m}\). In particular, for all \(t \in \mathbb {R}\hspace{0.5pt}^d\), we have
which shows that \(\mu \) is translation bounded.
The verification of the last claim is similar to an argument from [41]. Indeed, the PSF implies that, for all \(f\in \mathcal {S}(\mathbb {R}\hspace{0.5pt}^d)\), we have
with the last distribution being a measure by the first part of the proof. \(\square \)
Now, we can proceed as follows. Let \(\lambda \) be any fixed fourth root of unity, and select a Schwartz function \(g \in \mathcal {S}(\mathbb {R}\hspace{0.5pt})\) such that \(\widehat{g} = \lambda \hspace{0.5pt}g\), which we know to exist via the Hermite functions. Clearly, this implies , because we have \(\widehat{\hspace{-0.5pt}\widehat{g}\hspace{0.5pt}} = g \circ I\) together with \(\lambda ^4=1\).
Next, fix a parameter \(0\leqslant \theta < \frac{\pi }{2}\) and consider the lattice \(\varGamma ^{}_{\theta }\) in \(\mathbb {R}\hspace{0.5pt}^2 = \mathbb {R}\hspace{0.5pt}\times \mathbb {R}\hspace{0.5pt}\). Let \(f\hspace{-0.5pt}\otimes g\) refer to the product function with respect to this (Cartesian) splitting, so
which elucidates the role of the angle \(\theta \). Now, for a fixed lattice \(\varGamma ^{}_{\theta }\), we consider the translation-bounded (and hence tempered) measure \(\omega ^{}_{g}\) on \(\mathbb {R}\hspace{0.5pt}\) defined by
where \(\varphi \) is an arbitrary Schwartz function. In fact, (18) is well-defined for \(\varphi \in C_{\textsf{c}} (\mathbb {R}\hspace{0.5pt})\), too. Then, the (distributional) transform gives
Here, we have used Fact 5.1 for \(p=q=1\) in the upper line, while the first equality in the second line follows from the PSF for the self-dual lattice \(\varGamma ^{}_{\theta }\). Since \(\varphi \) is arbitrary, this implies the relation \(\widehat{\omega ^{}_{g}} = \overline{\lambda } \, \omega ^{}_{g}\). Invoking [51, Lemma 5.2 and Thm. 5.2], we see that the measure \(\omega ^{}_{g}\) from (18) is translation bounded and that \(\widehat{\omega ^{}_{g}} = \overline{\lambda } \, \omega ^{}_{g}\) also holds in the strict sense. Consequently, we can construct eigenmeasures of \(\mathcal {F}\hspace{0.5pt}\) for any fourth root of unity this way. Let us summarise this derivation as follows.
Theorem 5.3
Let \(\varGamma ^{}_{\theta }\) be the self-dual, planar lattice defined by the basis matrix B from (15), and let \(g \ne 0\) be a Schwartz function with \(\widehat{g} = \lambda \hspace{0.5pt}g\) for some \(\lambda \in \{1, \textrm{i}\hspace{0.5pt}, -1, -\textrm{i}\hspace{0.5pt}\}\). Then, the tempered measure \(\omega ^{}_{g}\) defined by (18) is a (strict\(\, )\) eigenmeasure of \(\mathcal {F}\hspace{0.5pt}\!\), with \(\widehat{\omega ^{}_{g}} = \overline{\lambda } \, \omega ^{}_{g}\). \(\square \)
Remark 5.4
As is clear from [47, Cor. VII.2.6], this approach also works when g is continuous and decays such that \(\varphi \otimes \hspace{-0.5pt}g \, (z) = \mathcal {O}\bigl ( (1 + |z |)^{-2-\epsilon } \bigr )\) as \(|z |\rightarrow \infty \), for some \(\epsilon > 0\). \(\Diamond \)
Depending on the parameter \(\theta \), the lattice \(\varGamma ^{}_{\theta }\) may be in rational or irrational position relative to the horizontal line. The rational case means \(\tan (\theta ) = \frac{p}{q}\) with integers \(0 \leqslant p \leqslant q\) that can be chosen coprime, with \(q=1\) when \(p=0\). Rationality implies \(\sin (\theta )^2 = p^2/ (p^2 + q^2)\) and \(\cos (\theta )^2 = q^2 / (p^2 + q^2)\). In any such case, the intersection of \(\varGamma ^{}_{\theta }\) with the horizontal line is a one-dimensional lattice. Observing that \(q \sin (\theta ) - p \cos (\theta ) = 0\), this lattice is \(\alpha {\hspace{0.5pt}\mathbb {Z}}\), with
when \(q \ne 0\), and \(\alpha =1\) when \(q=0\). Consequently, \(\omega ^{}_{g}\) is \(\alpha \)-periodic in this case, and we are back to the class discussed in Sect. 4.
Example 5.5
When \(\theta = 0\), we get \(\varGamma ^{}_{0} = {\hspace{0.5pt}\mathbb {Z}}^2\), and our Radon measure simplifies to \(\omega ^{}_{g} = c \, \delta ^{}_{{\hspace{0.5pt}\mathbb {Z}}}\), with \(c = \sum _{m\in {\hspace{0.5pt}\mathbb {Z}}} g(m)\). Since this measure is 1-periodic, it is either an eigenmeasure for eigenvalue 1, or it must be trivial. If g was chosen as a Hermite function, \(g = h_n\) say, we get an extra condition for any \(n \not \equiv 0 \bmod {4}\), namely
This is clear by the anti-symmetry of \(h_n\) for all odd n, while it looks a little less obvious for \(n \equiv 2 \bmod 4\). However, this sum rule follows directly from the classic PSF for functions, via
which implies (19) for any \(n\not \equiv 0 \bmod {4}\). \(\Diamond \)
Example 5.6
Consider \(p=q=1\), so \(\theta = \frac{\pi }{4}\). Here, the intersection of the lattice \(\varGamma ^{}_{\pi /4}\) with the horizontal line is \(\sqrt{2} \hspace{0.5pt}{\hspace{0.5pt}\mathbb {Z}}\) and the measure becomes \(\omega ^{}_{g} = c^{}_{0} \hspace{0.5pt}\delta ^{}_{\hspace{-0.5pt}\sqrt{2} \hspace{0.5pt}{\hspace{0.5pt}\mathbb {Z}}} + c^{}_{1} \hspace{0.5pt}\delta ^{}_{\hspace{-0.5pt}\beta + \sqrt{2} \hspace{0.5pt}{\hspace{0.5pt}\mathbb {Z}}}\), with \(\beta = 1/\sqrt{2}\) and coefficients
Since we have \(\alpha \hspace{0.5pt}\)-periodicity with \(\alpha ^2 = 2\), there are eigenmeasures for \(\lambda = \pm \hspace{0.5pt}1\). When \(\widehat{g} = \pm g\), this is only consistent if the coefficients satisfy \(c^{}_{0} / c^{}_{1} = 1 \pm \sqrt{2}\), in line with Example 4.4. This covers the cases of \(g = h_n\) with n even. For odd n, the measure \(\omega ^{}_{g}\) must be trivial, hence \(c^{}_{0} = c^{}_{1} = 0\), which is clear from the anti-symmetry of the Hermite functions in this case.
More generally, extending this observation to other rational values of \(\theta \), one obtains further conditions from the structure of the eigenvectors of the DFT. \(\Diamond \)
When \(\tan (\theta )\) is irrational, we obtain aperiodic extensions, which can be understood by viewing the setting as a CPS of the form \((\mathbb {R}\hspace{0.5pt}, \mathbb {R}\hspace{0.5pt}, \varGamma ^{}_{\theta })\); see [2] for more on this concept, and [33, 36, 37] for general background. The CPS here can be summarised in the diagram
where \(\star \) is the star map of the CPS. Clearly, this diagram is not restricted to the case \(\mathcal {L}=\varGamma ^{}_{\theta }\), and \(\mathcal {L}\) can be any lattice in \(\mathbb {R}\hspace{0.5pt}^2\) subject to the conditions encoded in the CPS.
Combining Theorem 5.3 and Fact 2.3, we can reformulate our previous result as follows.
Corollary 5.7
Let \((\mathbb {R}\hspace{0.5pt}, \mathbb {R}\hspace{0.5pt}, \mathcal {L})\) be a CPS and let \(g \in \mathcal {S}(\mathbb {R}\hspace{0.5pt})\) be arbitrary, but fixed. If the lattice \(\mathcal {L}\) is self-dual and if , then necessarily with \(\lambda \in \{ 1, \textrm{i}\hspace{0.5pt}, -1, -\textrm{i}\hspace{0.5pt}\}\), the tempered measure \(\omega ^{}_g=\delta ^{\,\star }_{\hspace{-0.5pt}g,\mathcal {L}}\) is an eigenmeasure of \(\mathcal {F}\hspace{0.5pt}\) with eigenvalue \(\lambda \), also in the strict sense. \(\square \)
This result has a nice consequence as follows, still within the CPS (20). If the function \(g\in L^{2} (\mathbb {R}\hspace{0.5pt})\) is continuous, the measure \(\omega ^{}_{g}\) is well defined. Now, expanding g as a series in Hermite functions (in the sense explained in Sect. 2), \(\omega ^{}_{g}\) can be written as a series in eigenmeasures. This has the potential to give a new tool for studying the diffraction of weighted Dirac combs with Meyer set support, which could potentially work also beyond regular model sets or weak model sets of maximal density.
Remark 5.8
Studying the proofs of Lemmas 5.2 and 5.3 in [51] with care, one can see that various of our previous arguments remain true for \(g \in C^{}_{0}(\mathbb {R}\hspace{0.5pt})\), as long as g asymptotically satisfies \(g (x) = \mathcal {O}\bigl ( (1+|x |)^{2+\epsilon } \bigr )\) for some \(\epsilon > 0\) as \(|x |\rightarrow \infty \), while Proposition 5.2 still holds if \(g \in C^{}_{0}(\mathbb {R}\hspace{0.5pt})\) has the property that both g and satisfy such an asymptotic behaviour. \(\Diamond \)
6 Eigenmeasures with Uniformly Discrete Support
Let us next characterise eigenmeasures on \(\mathbb {R}\hspace{0.5pt}\) with uniformly discrete support. Note that each tempered measure with uniformly discrete support is strongly tempered, see [6, Thm. 4.4], which allows us to use the results of [30]. We recall Eq. (7) and begin with another consequence of the cycle structure induced by \(\mathcal {F}\hspace{0.5pt}^4 = \textrm{id}\).
Lemma 6.1
Let \(r,s \in \mathbb {R}\hspace{0.5pt}\) and \(n\in \mathbb {N}\) be fixed, and let \(\lambda \) be a fourth root of unity. Then,
is either trivial or an eigenmeasure of \(\mathcal {F}\hspace{0.5pt}\) for the eigenvalue \(\lambda \), also in the strict sense. Further, it is supported inside \(\sqrt{n} \hspace{0.5pt}{\hspace{0.5pt}\mathbb {Z}}+F\) for some finite set \(F \subset \mathbb {R}\hspace{0.5pt}\). In particular, the support of the measure \(\mathcal {Y}^{}_{r,s,\sqrt{n},\lambda } \) is uniformly discrete.
Proof
The eigenmeasure property is clear from Theorem 3.5. Next, set \(\theta = \sqrt{n}\). Then, by Lemma 3.7, we have
This implies \({{\,\textrm{supp}\,}}\bigl ( \mathcal {Y}^{}_{r,s,\sqrt{n},\lambda } \bigr ) \subseteq \sqrt{n} \hspace{0.5pt}{\hspace{0.5pt}\mathbb {Z}}+ \big \{ \pm {\! s}, \pm \hspace{0.5pt}\hspace{0.5pt}r + \frac{m}{\sqrt{n}} : 0 \leqslant m \leqslant n-1 \big \}\), which clearly is a uniformly discrete subset of \(\mathbb {R}\hspace{0.5pt}\). \(\square \)
For fixed \(n\in \mathbb {N}\) and \(\lambda \in \{ 1, \textrm{i}\hspace{0.5pt}, -1, -\textrm{i}\hspace{0.5pt}\}\), we now define a space of tempered measures via
Clearly, any element from \(\mathcal {E}^{}_{\lambda } (n)\) is an eigenmeasure of \(\mathcal {F}\hspace{0.5pt}\) with eigenvalue \(\lambda \) and uniformly discrete support.
Let us return to the general class of tempered measures with uniformly discrete support. If such a measure \(\mu \) is an eigenmeasure of \(\mathcal {F}\hspace{0.5pt}\), the support of \(\widehat{\mu }\) must be the same, so \(\mu \) is doubly sparse; see [7, 30, 32] and references therein for background on such measures. This has a strong consequence as follows.
Proposition 6.2
Let \(\mu \ne 0\) be an eigenmeasure of \(\mathcal {F}\hspace{0.5pt}\) on \(\mathbb {R}\hspace{0.5pt}\) such that \({{\,\textrm{supp}\,}}(\mu ) \subset \mathbb {R}\hspace{0.5pt}\) is uniformly discrete. Then, there exist integers \(n,k \in \mathbb {N}\) such that, with \(\beta = \sqrt{n}\),
holds for suitable \(c^{}_{1}, \ldots , c^{}_{k} \in \mathbb {C}\hspace{0.5pt}\) and \(r^{}_{1}, \ldots , r^{}_{k}, s^{}_{1}, \ldots ,s^{}_{k} \in \mathbb {R}\hspace{0.5pt}\).
Proof
Clearly, since \({{\,\textrm{supp}\,}}(\widehat{\mu }) = {{\,\textrm{supp}\,}}(\mu )\), the measure \(\mu \) is doubly sparse, and an application of [30, Thms. 1 and 3] guarantees the existence of an integer \(\kappa \in \mathbb {N}\) and some number \(\alpha >0\) such that \(\mu = \sum _{j=1}^{\kappa } P_j \, \delta ^{}_{\alpha {\hspace{0.5pt}\mathbb {Z}}+ s_j}\), where the \(P_j\) are trigonometric polynomials. Expanding the latter and rewriting \(\mu \) in terms of our measures \(\mathcal {Z}^{}_{r,s,\alpha }\) from (7) gives
for some \(\ell \in \mathbb {N}\), which might be larger than \(\kappa \), and numbers \(c^{}_{1}, \ldots , c^{}_{\ell }\in \mathbb {C}\hspace{0.5pt}\) together with \(r^{}_{1}, \ldots , r^{}_{\ell }, s^{}_{1}, \ldots ,s^{}_{\ell } \in \mathbb {R}\hspace{0.5pt}\), which need not be distinct.
With Lemma 3.7(3), we see that
with the finite sets \(F_s=\{ s^{}_{1}, \ldots , s^{}_{\ell } \}\) and \(F_r = \{ r^{}_{1} , \ldots , r^{}_{\ell } \}\). By [49, Lemma 5.5.1], there exists a finite set \(G\subset \mathbb {R}\hspace{0.5pt}\) such that \(\frac{1}{\alpha } \hspace{0.5pt}{\hspace{0.5pt}\mathbb {Z}}+ F_r \subseteq {{\,\textrm{supp}\,}}(\widehat{\mu }) + G\), which implies
where \(F^{\hspace{0.5pt}\prime }\) is still a finite set. Consequently, there are integers \(m,n \in \mathbb {N}\) with \(m<n\) and some element \(t\in F^{\hspace{0.5pt}\prime }\) such that \(\frac{m}{\alpha }\) and \(\frac{n}{\alpha }\) both lie in \(\alpha {\hspace{0.5pt}\mathbb {Z}}+ t\). This implies \(\frac{n-m}{\alpha } \in \alpha {\hspace{0.5pt}\mathbb {Z}}\), hence \(0\ne n-m\in \alpha ^2 {\hspace{0.5pt}\mathbb {Z}}\), and \(\alpha ^2 \in {\hspace{0.5pt}\mathbb {Q}}\).
Now, let \(\alpha ^2 = \frac{p}{q}\) with \(p,q\in \mathbb {N}\), and set \(\beta = \sqrt{p \hspace{0.5pt}q\hspace{0.5pt}}\), so \(\beta = \alpha \hspace{0.5pt}q\) and \(\alpha = \beta /q\). Invoking the last relation from Lemma 3.7, since \(\beta ^2 = p\hspace{0.5pt}q\) is an integer, we can rewrite \(\mu \) from (22) as
which, after expanding the double sum and relabelling the parameters, proves the claim. \(\square \)
Recall that Lemma 3.7(3), applied several times, leads to the cycle
of length at most 4, where \(\mathcal {Z}^{}_{-r,-s,\alpha } = I \hspace{-0.5pt}. \hspace{0.5pt}\mathcal {Z}^{}_{r,s,\alpha }\). Ignoring the actual cycle length, which can be 1, 2 or 4, we get the following general result.
Theorem 6.3
Let \(\mu \ne 0\) be a transformable measure on \(\mathbb {R}\hspace{0.5pt}\) and \(\lambda \) a fourth root of unity. Then, the following properties are equivalent.
-
(1)
The measure \(\mu \) is an eigenmeasure of \(\mathcal {F}\hspace{0.5pt}\) for \(\lambda \) with uniformly discrete support, either in the distribution or in the strict sense.
-
(2)
There are \(n,k \in \mathbb {N}\) and numbers \(c^{}_{1}, \ldots , c^{}_{k} \in \mathbb {C}\hspace{0.5pt}\) and \(r^{}_{1}, \ldots , r^{}_{k}, s^{}_{1}, \ldots , s^{}_{k} \in \mathbb {R}\hspace{0.5pt}\) such that one has \(\mu \, = \, P^{}_{\lambda } (\nu )\) for \(\nu = \sum _{i=1}^{k} c^{}_{i} \, \mathcal {Z}^{}_{r_i, s_i, \beta }\) with \(\beta = \sqrt{n}\).
-
(3)
There is some \(n\in \mathbb {N}\) such that \(\mu \in \mathcal {E}^{}_{\lambda } (n)\), as defined in Eq. (21).
Proof
By Lemma 2.6, the two notions of transformability are equivalent in this case, as claimed under (1).
\((1) \Rightarrow (2)\): By Proposition 6.2, we know that \(\mu \) must be of the form
for suitable integers n, k and with suitable numbers \(r^{}_{i}\), \(s^{}_{j}\) and \(c^{}_{\ell }\). Then, since \(\mu \in \mathbb {E}\hspace{0.5pt}_{\lambda }(X)\), where X is the space of measures that are transformable, either in the distribution or in the strict sense, we have \(\mu =P^{}_{\lambda } (\mu )\) by Proposition 3.3. The claim follows by setting \(\nu =\mu \).
\((2) \Rightarrow (3)\): Since \(\nu = \sum _{i=1}^{k} c^{}_{i} \, \mathcal {Z}^{}_{r_i, s_i, \sqrt{n}}\), we get
The implication \((3) \Rightarrow (1)\) is clear from Lemma 6.1. \(\square \)
For concrete calculations, given an eigenmeasure \(\mu \) with uniformly discrete support, we can decompose \(\mu \) into its even and odd part relative to I by
Then, one derives the following conditions for \(\widehat{\mu } = \lambda \mu \),
which formed the basis for Lemma 6.1. It is clear from Proposition 6.2 in conjunction with Proposition 3.9 that it suffices to consider measures
with fixed \(\alpha =\sqrt{n}\) and parameters \(r^{}_{\hspace{-0.5pt}i} \in \big ( \frac{-1}{2\alpha }, \frac{1}{2\alpha } \big ] =:J_r\) and \(s^{}_{i} \in \big ( \frac{-\alpha }{2}, \frac{\alpha }{2} \big ] =:J_s\). Invoking Lemma 3.7(4), we get \(\mu = \mu ^{}_{+} \hspace{-0.5pt}+ \mu ^{}_{-}\) with
where \(-r_i\) and \(-s_i\) are taken modulo \(\frac{1}{\alpha }\) and \(\alpha \), respectively, when \(r_i = \frac{1}{2\alpha }\) or \(s_i = \frac{\alpha }{2}\). Now, one can use the fundamental domains to rewrite the possible eigenmeasures with restricted parameters, and without ambiguities. Some care has to be exercised with the 2-division points
under the inversion I in such calculations, the details of which are left to the interested reader.
7 Eigenmeasures with Locally Finite Support
Following [7], we say that a measure is sparse if its support is locally finite (that is, discrete and closed). We say that \(\mu \) is doubly sparseFootnote 2 if \(\mu \) is a transformable tempered measure such that both \(\mu \) and \(\widehat{\mu }\) are sparse. Finally, when \(\mu \) is a doubly sparse measure which is an eigenmeasure for \(\mathcal {F}\hspace{0.5pt}\), we will simply call it a doubly sparse eigenmeasure.
Clearly, linear combinations of measures \(\mu ^{}_i \in \mathcal {E}^{}_{\lambda } (n^{}_{i})\), with fixed \(\lambda \), are eigenmeasures with discrete support. The latter is uniformly discrete if and only if, for all \(i\ne j\), one has \(\sqrt{m_i/m_j} \in {\hspace{0.5pt}\mathbb {Q}}\), which is to say that there are many more possibilities. In particular, for each fourth root of unity, there are doubly sparse eigenmeasures with non-uniformly discrete support, for instance of the type studied by Meyer in [34, 35].
Notice that, since the union of finitely many locally finite sets is locally finite, the set X of doubly sparse measures on \(\mathbb {R}\hspace{0.5pt}^d\) is a subspace of \(\mathcal {M}_{\text {ttm}}(\mathbb {R}\hspace{0.5pt}^d)\), which is by definition \(\mathcal {F}\hspace{0.5pt}\hspace{-0.5pt}\)-invariant. Therefore, Proposition 3.3(4) yields the following result.
Theorem 7.1
Let \(\mu \) be a transformable tempered measure. Then, \(\mu \) is a doubly sparse measure if and only if \(P^{}_{\lambda } (\mu )\) is a doubly sparse eigenmeasure for all \(\lambda \in \{ \pm 1, \pm \hspace{0.5pt}\textrm{i}\hspace{0.5pt}\}\).
In particular, a measure is a doubly sparse measure if and only if it is a linear combination of doubly sparse eigenmeasures. \(\square \)
Next, we are going to construct doubly sparse eigenmeasures that are supported inside a lattice, but vanish on arbitrarily large intervals.
Let us first fix \(n\in \mathbb {N}\) and \(\lambda \in \{ \pm 1, \pm \hspace{0.5pt}\textrm{i}\hspace{0.5pt}\}\). Then, we know from the multiplicities in Table 1 (which is due to Gauss) that the dimension \(m = \dim (E_{\lambda })\) of the eigenspace \(E_{\lambda }\) of \(U_n\) satisfies
Therefore, we get the following useful result.
Fact 7.2
For each \(n \in \mathbb {N}\) and \(\lambda \in \{ \pm 1, \pm \hspace{0.5pt}\textrm{i}\hspace{0.5pt}\}\), we have \( \dim (E_{\lambda }) \geqslant \max \bigl ( 0 \hspace{0.5pt}, \frac{n}{4} -1 \bigr )\). \(\square \)
This gives us the following simple, but powerful lemma.
Lemma 7.3
Let \(12\leqslant n\in \mathbb {N}\) and \(\lambda \in \{ \pm 1 , \pm \hspace{0.5pt}\textrm{i}\hspace{0.5pt}\}\) be fixed. Let \(k \in \mathbb {N}\) be chosen such that \(1 \leqslant k \leqslant \frac{n}{4}-2\). Then, for each \(0 \leqslant j^{}_1< j^{}_2< \ldots < j^{}_k \leqslant n-1\), there exists some measure \(\mu \) that is \(\sqrt{n}\)-periodic, supported inside \({\hspace{0.5pt}\mathbb {Z}}/\sqrt{n}\), and satisfies \(\widehat{\mu }=\lambda \mu \) together with the vanishing condition \(\mu \bigl ( \big \{ j^{}_{\ell } \hspace{0.5pt}/\hspace{-0.5pt}\sqrt{n} \hspace{0.5pt}\big \} \bigr )=0\) for all \(1 \leqslant \ell \leqslant k\).
Proof
Let X be the space of measures that are \(\sqrt{n}\)-periodic, supported inside \({\hspace{0.5pt}\mathbb {Z}}/\sqrt{n}\), and let
By Theorem 4.3, we have
On the other hand, we have \( \dim (Z)=n-k \), which shows that
and hence \(Y \cap Z \ne \varnothing \). This implies our claim. \(\square \)
When \(j^{}_1 , j^{}_2 , \ldots , j^{}_k\) are consecutive numbers, we get the following consequence.
Corollary 7.4
Let \(12\leqslant n\in \mathbb {N}\) and \(\lambda \in \{ \pm 1 , \pm \hspace{0.5pt}\textrm{i}\hspace{0.5pt}\}\) be fixed, and let \(1 \leqslant k \leqslant \frac{n}{4}-3\). Then, for each \(0 \leqslant j \leqslant n-k-1\), there exists a non-zero measure \(\mu \) of the form given in Theorem 4.3 that satisfies \(\hspace{0.5pt}\widehat{\mu } = \lambda \mu \) together with \({{\,\textrm{supp}\,}}(\mu ) \subset {\hspace{0.5pt}\mathbb {Z}}/\sqrt{n}\) and the vanishing condition \(\mu \bigl ( \big \{ m/\hspace{-0.5pt}\sqrt{n} \hspace{0.5pt}\big \} \bigr )=0\) for all \(j \leqslant m \leqslant j+k\).
Further, for the case \(j=0\), the vanishing condition can be improved to \(\mu \bigl ( \big \{ \ell /\hspace{-0.5pt}\sqrt{n} \hspace{0.5pt}\big \} \bigr )=0\) for all \(|\ell |\leqslant k\).
Proof
The first claim is clear. Now, choosing \(j=0\) gives the existence of an eigenmeasure \(\mu \) that satisfies \(\hspace{0.5pt}\widehat{\mu } = \lambda \mu \) together with \({{\,\textrm{supp}\,}}(\mu ) \subset {\hspace{0.5pt}\mathbb {Z}}/\sqrt{n}\) and \(\mu \bigl ( \big \{ m/\hspace{-0.5pt}\sqrt{n} \hspace{0.5pt}\big \} \bigr )=0\) for all \(0 \leqslant m \leqslant k\).
Finally, since \(\mu \) is an eigenmeasure, Fact 3.1 gives
which holds for all \(0 \leqslant m \leqslant k\). \(\square \)
This shows that doubly sparse measures with large gaps around 0 exist that are Fourier eigenmeasures. For \(12\leqslant n\in \mathbb {N}\), setting \(k=\lfloor \frac{n}{4} \rfloor -3\), such measures \(\mu \) vanish on the open interval \(\big (-\frac{k+1}{\sqrt{n}} , \frac{k+1}{\sqrt{n}}\big )\), so \(\mu \) has a gap of length \(\frac{k+1}{\sqrt{n}}\). Since
the total length of the gap grows like \(\frac{\sqrt{n}}{2}\) as \(n \rightarrow \infty \).
Let us quickly look at an example for \(\lambda \in \{\pm 1,\pm \hspace{0.5pt}\textrm{i}\hspace{0.5pt}\}\) arbitrary, but fixed. For every sufficiently large \(n\in \mathbb {N}\), select a non-zero measure
where \(c^{(n)}_{m}\leqslant 1\) with \(c^{(n)}_0 = c^{(n)}_1 = \ldots =c^{(n)}_k = 0\) and \(c_{n-k} =\ldots =c_{n-1}=0\) constitute an eigenvector of the corresponding DFT. Such a measure exists by Corollary 7.4 when \(k=\lfloor \frac{n}{4} \rfloor - 3\), and is translation bounded by construction. Next, such measures can be combined as follows.
Theorem 7.5
Let \((k^{}_n)^{}_{n\in \mathbb {N}}\) be a sequence in \(\mathbb {N}\) with \(\lim _n k_n =\infty \). Let \(r\in \mathbb {N}\) be fixed and let \((a^{}_n)^{}_{ \{n\geqslant 12 \} }\) be a sequence in \(\mathbb {C}\hspace{0.5pt}\) such that \(|a^{}_n| \leqslant (k_n^{})^r\) holds for all sufficiently large \( n \in \mathbb {N}\). Then, with the measures \(\mu _n\) from (25),
is a Radon measure with locally finite support that is tempered and satisfies \(\widehat{\mu } = \lambda \mu \).
Proof
Since each \(\mu ^{}_{k_n}\) vanishes on a gap around 0 that asymptotically grows like \(\frac{\sqrt{k_n}}{2}\), the evaluation of \(\mu \) on a test function of compact support effectively means the evaluation of a finite sum. This shows vague convergence.
When the test function is from the Schwartz class, the growth restriction on the \(a_n\) guarantees that the sum also converges in the topology of Schwartz space, so \(\mu \) is a tempered distribution, and thus a tempered measure.
Since transformability of \(\mu \) as a tempered distribution is clear, which bypasses the discontinuity issue discussed in [46], the eigenmeasure property follows by construction. \(\square \)
This result constructively shows that lots of Fourier eigenmeasures with locally finite support exist that fail to be translation bounded, and also fail to be uniformly discrete. Let us formulate two obvious consequences as follows.
Corollary 7.6
Let \(12\leqslant n\in \mathbb {N}\) and \(\lambda \in \{ \pm 1 , \pm \hspace{0.5pt}\textrm{i}\hspace{0.5pt}\}\) be fixed. Select some integers \(0 \leqslant j \leqslant n-k-1\), where \(1 \leqslant k \leqslant \frac{n}{4} -3\). Then, there exists a non-zero vector \(c = (c^{}_{0}, c^{}_{1}, \ldots , c^{}_{n-1} )^T \in E^{}_{\lambda }\) such that \(c_{j+\ell }=0\) holds for all \(\hspace{0.5pt}0 \leqslant \ell \leqslant k\).
In particular, for \(j=0\), the symmetry constraints then give \(c^{}_{0} = c^{}_1= \ldots = c^{}_k=0\) together with \(c^{}_{n-1}= c^{}_{n-2}=\ldots = c^{}_{n-k} = 0\). \(\square \)
Let us briefly discuss how one can explicitly construct such an eigenvector, and hence an eigenmeasure as in the second claim of Corollary 7.4.
Remark 7.7
Let \(n \geqslant 12\) and let \(\{v^{}_1, \ldots , v^{}_m \}\) be a basis for the eigenspace \(E_{\lambda }\). Let A be the matrix with vectors \(v_1^T,\ldots , v_m^T\) as rows and \(c^T = (c^{}_0, \ldots , c^{}_n)\) be the last row in the reduced row echelon form of A.
Then, \(c\in E_\lambda \) with \(c^{}_0 = \ldots c^{}_{m-2}=0\), and Remark 4.5 now gives the relations \(c^{}_{n-1}= \ldots = c^{}_{n-m+2}=0\). Consequently, the eigenvector c satisfies the second conclusion of Corollary 7.6. Then, the corresponding eigenmeasure given by (13) is an eigenmeasure with a large gap at 0.\(\Diamond \)
8 Outlook
The result of Theorem 7.1 implies that the characterisation of all doubly sparse measures, an important open problem in the area of Aperiodic Order as well as in Harmonic Analysis, is equivalent to the characterisation of all doubly sparse eigenmeasures. This is an interesting problem which is made difficult by the fact that, besides linear combination of eigenmeasures with uniformly discrete support, this class contains many other examples [24, 34, 35], for instance with a support of the form \(\{ \pm \sqrt{m + 1/r} : m \in \mathbb {N}_0 \}\) with \(r\in \mathbb {N}\), which is not uniformly discrete. Two particularly nice ones derive from the work of Guinand [19].
Note that all measures in Theorem 7.5 are supported inside \(\bigcup _{n} {\hspace{0.5pt}\mathbb {Z}}/\hspace{-0.5pt}\sqrt{n}\). One can go beyond this situation by selecting any bounded sequence \((s^{}_n)^{}_{n\in \mathbb {N}}\) and defining
It is then natural to ask whether the measure in [34], or even any Fourier eigenmeasure with locally finite support, can be obtained this way.
Another interesting question, in a rather different direction, is to what extent, if any, our results can be used in the spectral theory of dynamical systems. While the equivalence of pure point dynamical spectrum and pure point diffraction spectrum is well understood, the full meaning of the eigenmeasure property seems open.
Notes
A good summary with all the relevant details and references can be found in the WikipediA entry on the DFT, which is recommended for background. Some results are collected in our Appendix.
Meyer calls such a measure crystalline [34], which we prefer to avoid because ‘crystals’ are often connected with atomic arrangements in solids that are uniformly discrete.
References
Argabright, L.N., Gil de Lamadrid, J.: Fourier Analysis of Unbounded Measures on Locally Compact Abelian Groups, Memoirs Amer. Math. Soc., no. 145, AMS, Providence, RI (1974)
Baake, M., Grimm, U.: Aperiodic Order. Vol. 1: A Mathematical Invitation. Cambridge University Press, Cambridge (2013)
Baake, M., Grimm, U., (eds.): Aperiodic Order. Vol. 2: Crystallography and Almost Periodicity. Cambridge University Press, Cambridge (2017)
Baake, M., Lenz, D.: Dynamical systems on translation bounded measures: pure point dynamical and diffraction spectra. Erg. Theory Dyn. Syst. 24, 1867–1893 (2004). arXiv:math.DS/0302061
Baake, M., Moody, R.V.: Weighted Dirac combs with pure point diffraction. J. Reine Angew. Math. (Crelle) 573, 61–94 (2004). arXiv:math.MG/0203030
Baake, M., Strungaru, N.: A note on tempered measures. Coll. Math. 172, 15–30 (2023); arXiv:2202.09175
Baake, M., Strungaru, N., Terauds, V.: Pure point measures with sparse support and sparse Fourier–Bohr support. Trans. Lond. Math. Soc. 7, 1–32 (2020). arXiv:1908.00579
Berg, C., Forst, G.: Potential Theory on Locally Compact Abelian Groups. Springer, Berlin (1975)
Chihara, H., Furuya, T., Koshikawa, T.: Hermite expansions of some tempered distributions. J. Pseudo-Differ. Oper. Appl. 9, 105–124 (2018)
Córdoba, A.: Dirac combs. Lett. Math. Phys. 17, 191–196 (1989)
Cowley, J.M.: Diffraction Physics, 3rd edn. North-Holland, Amsterdam (1995)
Deng, X., Moody, R.V.: Dworkin’s argument revisited: point processes, dynamics, diffraction, and correlations. J. Geom. Phys. 58, 506–541 (2008). arXiv:0712.3287
Dirac, P.A.M.: The Principles of Quantum Mechanics, 4th edn. Clarendon Press, Oxford (1958)
Dym, H., McKean, H.P.: Fourier Series and Integrals. Academic Press, San Diego, CA (1972)
Feichtinger, H.G.: Un espace de Banach de distributions tempérées sur les groupes localement compacts abéliens. C. R. Acad. Sci. Paris Sér. A-B 290, 791–794 (1980)
Feichtinger, H.G.: On a new Segal algebra. Monatsh. Math. 92, 269–289 (1981)
Feichtinger, H.G., Luef, F.: Wiener amalgam spaces for the fundamental identity of Gabor analysis. Collect. Math. 57, 233–253 (2006). arXiv:math/0503364
Grünbaum, F.A.: The eigenvectors of the discrete Fourier transform: a version of the Hermite functions. J. Math. Anal. Appl. 88, 355–363 (1982)
Guinand, A.P.: Concordance and the harmonic analysis of sequences. Acta Math. 101, 235–271 (1959)
Hof, A.: On diffraction by aperiodic structures. Commun. Math. Phys. 169, 25–43 (1995)
Janssen, A.E.J.M.: The Zak transform: a signal transform for sampled time-continuous signals. Philips J. Res. 43, 23–69 (1988)
Kabanava, M.: Tempered Radon measures. Rev. Mat. Complut. 21, 553–564 (2008)
Katznelson, Y.: An Introduction to Harmonic Analysis, 3rd edn. Cambridge University Press, Cambridge (2004)
Kolountzakis, M.H.: Fourier pairs of discrete support with little structure. J. Fourier Anal. Appl. 22, 1–5 (2016). arXiv:1502.06283
Lagarias, J.C.: Mathematical quasicrystals and the problem of diffraction. In: Baake, M., Moody, R.V. (eds.) Directions in Mathematical Quasicrystals. CRM Monograph Series, vol. 13, pp. 61–93. Amer. Math. Society, Providence, RI (2000)
Lee, J.-Y., Lenz, D., Richard, C., Sing, B., Strungaru, N.: Modulated crystals and almost periodic measures. Lett. Math. Phys. 110, 3435–3472 (2020). arXiv:1907.07017
Lenz, D., Richard, C.: Pure point diffraction and cut and project schemes for measures: the smooth case. Math. Z. 256, 347–378 (2007). arXiv:math.DS/0603453
Lenz, D., Spindeler, T., Strungaru, N.: Pure point diffraction and mean, Besicovitch and Weyl almost periodicity, preprint (2020). arXiv:2006.10821
Lenz, D., Strungaru, N.: On weakly almost periodic measures. Trans. Am. Math. Soc. 371, 6843–6881 (2019). arXiv:1609.08219
Lev, N., Olevskii, A.: Quasicrystals and Poisson’s summation formula. Invent. Math. 200, 585–606 (2015). arXiv:1312.6884
Lev, N., Olevskii, A.: Quasicrystals with discrete support and spectrum. Rev. Mat. Iberoamer. 32, 1341–1352 (2016). arXiv:1501.00085
Lev, N., Olevskii, A.: Fourier quasicrystals and discreteness of the diffraction spectrum. Adv. Math. 315, 1–26 (2017). arXiv:1512.08735
Meyer, Y.: Algebraic Numbers and Harmonic Analysis. North Holland, Amsterdam (1972)
Meyer, Y.F.: Measures with locally finite support and spectrum. Proc. Nat. Acad. Sci. (PNAS) 113, 3152–3158 (2016)
Meyer, Y.F.: Measures with locally finite support and spectrum. Rev. Mat. Iberoam. 33, 1025–1036 (2017)
Moody, R.V.: Meyer sets and their duals. In: Moody, R.V. (ed.) The Mathematics of Long-Range Aperiodic Order. NATO ASI Ser. C, vol. 489, pp. 403–441. Kluwer, Dordrecht (1997)
Moody, R.V.: Model sets: a survey. In: Axel, F., Dénoyer, F., Gazeau, J.P. (eds.) From Quasicrystals to More Complex Systems, pp. 145–166. EDP Sciences, Les Ulis, and Springer, Berlin (2000). arXiv:math/0002020
Moody, R.V., Strungaru, N.: Almost periodic measures and their Fourier transforms. In: Baake, M., Grimm, U. (eds.) Aperiodic Order, vol. 2: Crystallography and Almost Periodicity, pp. 173–270. Cambridge University Press, Cambridge (2017)
Reiter, H., Stegeman, J.: Classical Harmonic Analysis and Locally Compact Groups. Clarendon Press, Oxford (2000)
Richard, C.: Dense Dirac combs in Euclidean space with pure point diffraction. J. Math. Phys. 44, 4436–4449 (2003). arXiv:math-ph/0302049
Richard, C., Strungaru, N.: Pure point diffraction and Poisson summation. Ann. H. Poincaré 18, 3903–3931 (2017). arXiv:1512.00912
Rudin, W.: Fourier Analysis on Groups. Wiley, New York (1962)
Schwartz, L.: Théorie des Distributions. Hermann, Paris (1966)
Shechtman, D., Blech, I., Gratias, D., Cahn, J.W.: Metallic phase with long-range orientational order and no translational symmetry. Phys. Rev. Lett. 53, 1951–1953 (1984)
Simon, B.: Distributions and their Hermite expansions. J. Math. Phys. 12, 140–148 (1971)
Spindeler, T., Strungaru, N.: On the (dis)continuity of the Fourier transform of measures. J. Math. Anal. Appl. 499(125062), 1–36 (2021). arXiv:2002.01544
Stein, E.M., Weiss, G.: Introduction to Fourier Analysis on Euclidean Spaces. Princeton University Press, Princeton (1971)
Strungaru, N.: On weighted Dirac combs supported inside model sets. J. Phys. A 47(335202), 1–19 (2014). arXiv:1309.7947
Strungaru, N.: Almost periodic pure point measures. In: Baake, M., Grimm, U. (eds.) Aperiodic Order, vol. 2: Crystallography and Almost Periodicity, pp. 271–342. Cambridge University Press, Cambridge (2017). arXiv:1501.00945
Strungaru, N.: On the Fourier transformability of strongly almost periodic measures. Can. J. Math. 72, 900–927 (2020). arXiv:1704.04778
Strungaru, N.: On the Fourier analysis of measures with Meyer set support. J. Funct. Anal. 278, 108404:1–30 (2020). arXiv:1807.03815
Strungaru, N., Terauds, V.: Diffraction theory and almost periodic distributions. J. Stat. Phys. 164, 1183–1216 (2016). arXiv:1603.04796
Titchmarsh, E.C.: Introduction to the Theory of Fourier Integrals, 2nd edn. Clarendon Press, Oxford (1967)
Wiener, N.: The Fourier Integral and Certain of its Applications. Dover, New York (1958)
Acknowledgements
We are grateful to Hans Georg Feichtinger, Sebastian Herr, Yves Meyer, Adi Tcaciuc and Venta Terauds for valuable discussions and helpful comments on the manuscript. We thank the referees for their constructive comments which helped us to improve the presentation. TS would like to thank the Department of Mathematical and Statistical Sciences of the University of Alberta (Edmonton, Canada) for hospitality during his stay as a research fellow of the DFG. This work was supported by the German Research Foundation (DFG, Deutsche Forschungsgemeinschaft), within the CRC 1283/2 (2021 - 317210226) at Bielefeld University (MB) and via research grant 415818660 (TS), and by the Natural Sciences and Engineering Council of Canada (NSERC), via grant 2020-00038 (NS).
Funding
Open Access funding enabled and organized by Projekt DEAL.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Hans G. Feichtinger.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendix: Discrete Fourier Transform
Appendix: Discrete Fourier Transform
Here, we recall some well-known properties of the DFT, where we refer the reader to the rather informative WikipediA entry on the DFT for further details and references. Given \(n\in \mathbb {N}\), the unitary Fourier matrix \(U_n \in {{\,\textrm{Mat}\,}}(n,\mathbb {C}\hspace{0.5pt})\) has matrix entries \(\omega ^{k\ell }/\sqrt{n}\) with \(\omega = \textrm{e}^{-2 \pi \textrm{i}\hspace{0.5pt}/n}\) and \(0 \leqslant k,\ell \leqslant n-1\), where we label the entries starting with 0. Since \(n=1\) is trivial, we only consider \(n\geqslant 2\). While \(U^{}_{2}\) is an involution, \(U_n\) has order 4 for all \(n \geqslant 3\), which follows from the relation
The eigenvalues and their multiplicities show a structure modulo 4, as already known to Gauss. They are summarised in Table 1.
In line with Proposition 3.3, for \(\lambda \in \{ \pm 1, \pm \hspace{0.5pt}\textrm{i}\hspace{0.5pt}\}\), we define
which are projectors with \(P^{(n)}_{\lambda } P^{(n)}_{\lambda '} = \delta ^{}_{\lambda , \lambda '} P^{(n)}_{\lambda }\). They also satisfy the relations \(U^{}_{n} P^{(n)}_{\lambda } = P^{(n)}_{\lambda } U^{}_{n} = \lambda P^{(n)}_{\lambda }\) and . In particular, the eigenspace of \(U_n\) for the eigenvalue \(\lambda \) is then simply \(E^{}_{\lambda } = P^{(n)}_{\lambda } \mathbb {C}\hspace{0.5pt}^n\), and the rank of \(P^{(n)}_{\lambda }\) is the dimension of the eigenspace, as given by Table 1.
Concretely, we have
with eigenvalues \(\pm 1\) and eigenvectors \((1\pm \sqrt{2}, 1)\). Since the DFT matrices are symmetric, left and right eigenvectors map to each other under transposition. We state them in row form. The projectors read
where the first rows of the symmetric projectors \(P^{(2)}_{\pm \hspace{0.5pt}1}\) correspond to the above eigenvectors.
For \(n=3\), setting \(\omega = \textrm{e}^{-2 \pi \textrm{i}\hspace{0.5pt}/3}\), one finds
with eigenvectors \((1 \pm \sqrt{3}, 1, 1)\) for \(\lambda = \pm 1\) and \((0,-1,1)\) for \(\lambda =-\textrm{i}\hspace{0.5pt}\). Here, we have together with
For \(n=4\), one has
where the eigenspace for \(\lambda =1\) is two-dimensional, spanned by (1, 0, 1, 0) and (2, 1, 0, 1). The other eigenvectors are \((-1,1,1,1)\) for \(\lambda = -1\) and \((0,-1,0,1)\) for \(\lambda = -\textrm{i}\hspace{0.5pt}\). Here, the projectors are together with
where the rank of \(P^{(4)}_{1}\) is two, as it must.
Next, \(n=5\) is the first case where all possible eigenvalues occur. With \(\omega = \textrm{e}^{-2 \pi \textrm{i}\hspace{0.5pt}/5}\), we get
where \((\tau ,1,0,0,1)\) and \((\tau ,0,1,1,0)\) span the eigenspace of \(\lambda =1\), with the golden ratio \(\tau = \frac{1}{2} (1+\sqrt{5}\,)\). The other eigenvectors are \((0,-1,\tau \hspace{0.5pt}{\pm } \hspace{0.5pt}\eta ,-(\tau \hspace{0.5pt}{\pm } \hspace{0.5pt}\eta ),1)\) with \(\eta = \sqrt{\tau {+} 2 \hspace{0.5pt}}\) for \(\lambda = \pm \hspace{0.5pt}\textrm{i}\hspace{0.5pt}\), and \((-\frac{2}{\tau },1,1,1,1)\) for \(\lambda = -1\). Here, the projectors are
and
where the rank of \(P^{(5)}_{1}\) is two, while all others have rank one.
As a last case, let us consider \(n=6\). Here, with \(\omega = \textrm{e}^{-\pi \textrm{i}\hspace{0.5pt}/3}\), we have
The eigenspace for \(\lambda =1\) is two-dimensional, spanned by \((\beta ,1,0,1-\beta ,0,1)\) and \((1+\beta ,0,1,\beta ,1,0)\), as is that for \(\lambda = -1\), which is spanned by \((-\beta ,1,0,1+\beta ,0,1)\) and \((1-\beta ,0,1,-\beta ,1,0)\), with \(\beta = \sqrt{3/2}\) in both cases. The remaining eigenvectors are given by \((0,-1,1\pm \sqrt{2},0, -(1\pm \sqrt{2}\,),1)\) for \(\lambda = \pm \hspace{0.5pt}\textrm{i}\hspace{0.5pt}\), respectively. The projectors read
and
Here, \(P^{(6)}_{\pm 1}\) have rank two and \(P^{(6)}_{\pm \hspace{0.5pt}\textrm{i}\hspace{0.5pt}}\) are of rank one.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Baake, M., Spindeler, T. & Strungaru, N. On Eigenmeasures Under Fourier Transform. J Fourier Anal Appl 29, 65 (2023). https://doi.org/10.1007/s00041-023-10045-z
Received:
Revised:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00041-023-10045-z