Uniqueness Theorems for Fourier Quasicrystals and Temperate Distributions with Discrete Support

If two sparse Fourier quasicrystals \mu=\sum_{\lambda\in\Lambda} \mu(\lambda)\delta_{\lambda},\ \nu=\sum_{\gamma\in\Gamma} \nu(\gamma)\delta_{\gamma} under appropriate numbering \Lambda=\{\lambda_n\}_{n=1}^\infty,\,\Gamma=\{\gamma_n\}_{n=1}^\infty have the properties

then the measures \mu,\,\nu coincide.

Let \mu=\sum_{\lambda\in\Lambda} \mu(\lambda)\delta_{\lambda},\ \nu=\sum_{\gamma\in\Gamma} \nu(\gamma)\delta_{\gamma} be discrete measures from S^*({\mathbb R}^d) such that

which "sparse" on a set E with property (?), i.e., there is N<\infty such that for all x\in E

If under appropriate numbering

as n\to\infty and \lambda_n or \gamma_n belong to E, then the measures \mu,\,\nu coincide.

Let \mu,\,\nu be atomic measures from S^*({\mathbb R}^d), whose Fourier transforms \hat\mu, \ \hat\nu satisfy (2). Suppose that there exist a set E with property (?), disjoint Borel sets \Lambda_n\subset E, and disjoint Borel sets \Gamma_n\subset E such that the restrictions of measures to E,\ \Lambda_n,\ \Gamma_n satisfy the conditions

(we do not require \Lambda_n\neq\emptyset or \Gamma_n\neq\emptyset). Also, for some N<\infty

If

then the measures \mu,\,\nu coincide.

Let

be temperate distributions with discrete supports \Lambda,\,\Gamma such that

and there be a set E with property (?), disjoint sets \Lambda_n, and disjoint sets \Gamma_n with properties (3) such that

(we do not require \Lambda_n\neq\emptyset or \Gamma_n\neq\emptyset). If

and

then the distributions f,\,g coincide.

Let \mu,\,\nu be atomic measures with discrete spectra \tilde\Lambda,\,\tilde\Gamma respectively, |\mu|,\,|\nu|\in S^*({\mathbb R}^d), and there be a set E with property (?), disjoint sets \tilde\Lambda_n, and disjoint sets \tilde\Gamma_n such that

and conditions (3) are met.

If either \hat\mu,\,\hat\nu are measures, and

or

and

then the measures \mu,\,\nu coincide.

If two Fourier quasicrystals \mu,\,\nu with discrete "sparse" spectra \tilde\Lambda,\,\tilde\Gamma (this means that

under appropriate numbering \tilde\Lambda=\{\lambda_n\}_{n=1}^\infty,\,\tilde\Gamma=\{\gamma_n\}_{n=1}^\infty have the properties

then the measures \mu,\,\nu coincide.

Let a positive measure \mu belong to S^*({\mathbb R}^d). Then there is N<\infty such that

and for any Borel function H(x) such that \sup_{x\in{\mathbb R}^d}|H(x)| (1+|x|^T)<\infty for all T<\infty we get

If f\in S^*({\mathbb R}^d), \hat f is an atomic measure, and |\hat f|\in S^*({\mathbb R}^d), then f is an almost periodic distribution.

In particular, every Fourier quasicrystal is an almost periodic distribution.