Abstract
Let \(\mu _{\{M_n \},\{ D_n \}}\) be the Moran measures generated by expanding diagonal matrix \(M_n\) with entries \(p_n, q_n, r_n \in \mathbb {Z}{\setminus }\{ 0,2 \}\) and the digit sets
where \(a_n, b_n, c_n\) are bounded integers. In this paper, we show \(\mu _{\{M_n\},\{D_n\} }\) is a spectral measure provided that \( 2a_n\mid p_n\), \(2b_n\mid q_n\), \(2c_n \mid r_n\). In particular, if \(M_n=M={{\text {diag}}}\{p,q,r\}\) and \(p,q,r,a_n, b_n, c_n\) are odd integers, we obtain that there exists at most 4 mutually orthogonal exponential functions in \(L^2(\mu _{M,\{D_n \}})\), and the number 4 is the best.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
As it is well known, J. B. Fourier discovered that the exponential functions \(\{ e^{2 \pi i \langle n, x \rangle }:n \in \mathbb {Z}^d \}\) form an orthonormal basis for \(L^2([0,1]^d)\) and his discovery is now one of the fundamental pillars in modern mathematics. It is natural to ask what other measures have this property, that there is a family of exponential functions which form an orthonormal basis for their \(L^2\)-space?
Definition 1.1
A Borel probability measure \(\mu \) on \(\mathbb {R}^n\) is said to be a spectral measure if there exists a countable set \(\Lambda \subset \mathbb {R}^n\) such that \(E_{\Lambda }:=\{ e^{2 \pi i \langle \lambda , x \rangle } : \lambda \in \Lambda \}\) is an orthogonal basis for \(L^2(\mu )\). In this case, we call \(\Lambda \) a spectrum of \(\mu \) and \((\mu , \Lambda )\) a spectral pair.
The existence of a spectrum of \(\mu \) is a basic problem in harmonic analysis on \(L^2(\mu )\), it was initiated by well-known Fuglede conjecture [15].
Conjecture 1.2
A measurable set \(\Omega \) is a spectral set in \(\mathbb {R}^n\) if and only if \(\Omega \) is a translational tile.
Tao [37] proved that this conjecture is wrong above five dimensions, and Tao’s work was subsequently improved by Kolountzakis and Matolcsi [32,33,34] who proved that the conjecture was false in \(\mathbb {R}^d(d=3,4)\). Nevertheless, many researchers still devoted themselves to the research on the spectrality and non-spectrality of fractal measures. In recent years, the middle-fourth Cantor measure was the first example of such spectral measures, which was discovered by Jorgensen and Pedersen [31]. From then on, many other self-similar/self-affine/Moran spectral measures have been discovered, see [2, 3, 5, 7,8,9,10, 13, 28, 30] and so on. For a non-spectral measure, it belongs to one of the following two cases:
-
(1)
there exists an infinite set of orthogonal exponential functions but no such set forms a basis of \(L^2(\mu )\);
-
(2)
there are only a finite number of orthogonal exponential functions.
Let \(D_k\) be a finite subset of \(\mathbb {R}^n\), \(\# D\) means the cardinality of D and let \(R_k\) be an \(n\times n\) expanding real matrix (all the eigenvalues of \(R_k\) have moduli larger than 1). We call the function system \(\{f_{k, d}=R_k^{-1}(x+d): d\in D_k\}_{k=1}^{\infty } \) a Moran iterated function system (Moran IFS), which is the generalization of an IFS [14, 21]. Let \(\delta _d\) be the Dirac measure, and denote the measure
for a finite set D. Denote the norm of an \(n\times n\) real matrix A by \(||A||:=\sup \{||Ax||: ||x||=1\}\), where \(||x||=(x_{1}^{2}+\cdots +x_{n}^{2})^{\frac{1}{2}}\) is the Euclidean norm of the n-tuple vector \(x=(x_{1},\dots , x_{n})^\mathrm{T}\). Then we introduce the following known theorem (see, e.g. [36, 41]).
Theorem A
Assume \(\sum _{k=1}^{\infty } ||(R_kR_{k-1}\cdots R_1)^{-1}||\) and \(\sup \{ ||x||:\) \( x\in R_k^{-1} D_k\), \(k\ge 1\}\) are finite. Then the sequence of measures
converges to a Radon measure \(\mu :=\mu _{\{R_{k}\},\{D_{k}\}}\) with compact support T and \(\mu (\mathbb {R}^n)=1\) in a weak sense, where \(*\) denotes the convolution sign and
The measure \(\mu \) is called a Moran measure, and T is called a Moran set. In 2000, Strichartz [36] first studied the spectrality of the Moran measure when the two sets \(\{R_k: k\in \mathbb {N}\}\) and \(\{D_k: k\in \mathbb {N}\}\) have only finite elements. Unlike the self-similar measure, existence of Hadamard triples is not a sufficient condition for the Moran measure being a spectral measure, even for universal Hadamard triples (see [5, Example 5.2]). Strichartz [36] proved that the Moran measure is a spectral measure for an infinite compatible tower under some other assumptions. Later on, He et al. [3, 5, 11, 12, 17, 18, 20, 26, 35, 38, 40, 42, 44] investigated the spectral properties of the Moran measures with two, three, four and some special consecutive elements in digit sets in \({\mathbb {R}}\). In 2019, An, Fu and Lai [2] proved that a large class of Hadamard triples in \({\mathbb {R}}\) generated Moran spectral measures. Dong et al. [6, 25, 27, 39, 41, 43, 45] considered some special cases in \({\mathbb {R}}^{2}\). However, there are a few Moran spectral measures in \(\mathbb {R}^n (n\ge 3)\). Recently, Fu and Zhu [19] considered a class of homogeneous Moran spectral measures with eight-element digit sets in \({\mathbb {R}}^{4}\). One of the authors and Peng [1] obtained some special Moran spectral measures in \(\mathbb {R}^n\) for any \(n\ge 1\).
The main purpose of this paper is to study the spectral and non-spectral properties of Moran measures \(\mu _{\{M_n \}, \{D_n \}}\) in \(\mathbb {R}^3\), its expanding matrix and digit sets are as follows:
where \(p_n,q_n,r_n \in \mathbb {Z} {\setminus } \{ 0, 2 \}\) and \(\sup \{ a_n, b_n ,c_n \} < \infty \). In this paper, our main results are as follows.
Theorem 1.3
For the Moran measures \(\mu _{\{M_n \}, \{D_n \}}\) corresponding to (1), if \( 2a_n\mid p_n\), \(2b_n\mid q_n\), \(2c_n \mid r_n\) and \(|a_n |, |b_n |, |c_n |\in \mathbb {Z}^{+} {\setminus } \{ 1 \}\), then \(\mu _{\{M_n \},\{ D_n \}}\) is a spectral measure.
In particular, if \(M_n=M=\begin{pmatrix} p&{}0&{}0\\ 0&{}q&{}0\\ 0&{}0&{}r \end{pmatrix}\) for all \(n \ge 1\), we have the following two theorems.
Theorem 1.4
If \(p, q, r \in 2\mathbb {Z}{\setminus }\{ 0,2 \}\) and \(a_n,b_n,c_n \in \{ -1,1 \}\), then \(\mu _{M,\{ D_n \}}\) is a spectral measure.
Theorem 1.5
For the non-spectral properties of Moran measures \(\mu _{M, \{D_n \}}\), we have following results.
-
(i)
If p is even, \( q, r, a_n, b_n, c_n\) are odd and \(\frac{b_n}{c_n}=\frac{b_m}{c_m}\), then there does not exist an infinite orthogonal exponential functions set in \(L^2(\mu _{M,\{D_n \}})\).
-
(ii)
If \(p, q, r, a_n, b_n, c_n\) are odd, then there exists at most 4 mutually orthogonal exponential functions in \(L^2(\mu _{M,\{D_n \}})\), and the number 4 is the best.
Remark 1.6
In the same manner we can replace the assumptions of Theorem 1.5 (i) with any of the following conditions.
-
(1)
q is even, \( p, r, a_n, b_n, c_n\) are odd and \(\frac{a_n}{c_n}=\frac{a_m}{c_m}\).
-
(2)
r is even, \( p, q, a_n, b_n, c_n \) are odd and \(\frac{a_n}{b_n}=\frac{a_m}{b_m}\).
Remark 1.7
If \(a_{n}=b_{n}=c_{n}=1\), the corresponding measure \(\mu _{M,D}\) is a Sierpinski gasket type measure. Li [22,23,24] proved that if \(p,q,r \in 2\mathbb {Z}+1 \), then \(\mu _{M,D}\) is a non-spectral measure, and there exist at most 4 mutually orthogonal exponential functions in \(L^2(\mu _{M,D})\). Subsequently, Zheng et al. [46] showed that if two of the three numbers p, q, r are odd and the other is even, then there does not exist infinite families of orthogonal exponential functions in \(L^2(\mu _{M,D})\). More generally, Lu et al. [29] generalized the non-spectralities of the self-similar measures \(\mu _{M,D}\) to real matrix M.
An outline of this paper is as follows. In Sect. 2, we give some preliminary knowledge. We focus on proving Theorems 1.3 and 1.4 in Sect. 3. In Sect. 4, we firstly prove Theorem 1.5 (i) by Ramsey’s theorem and some established lemmas. Finally we solve the problem of the number of orthogonal exponential functions under conditions of Theorem 1.5 (ii).
2 Preliminaries
This section is mainly used to introduce definitions and basic results that will be used. We assume that \(\mu _{\{M_n\},\{D_n\}}\) is a probability measure with compact support. The Fourier transform of \(\mu _{\{M_n\},\{D_n\}}\) is defined as
Recall that its Fourier transform can be written as follows
where \(m_{D_n}(x)\) is the Mask polynomial of \(D_n\), which is defined by
Let \(\mathcal {Z}(f):=\{\xi :f(\xi )=0 \}\) be the zero set of f. It is easy to see that
Obviously, for a discrete set \(\Lambda \in {\mathbb {R}}^{n}\), \(E_{\Lambda }=\{e^{2 \pi i \langle \lambda , x \rangle }: \lambda \in \Lambda \}\) is an orthogonal set of \(L^2(\mu )\) if and only if \((\Lambda -\Lambda ) {\setminus } \{ 0 \} \subset \mathcal {Z}(\hat{\mu })\). We also say that \(\Lambda \) is a bi-zero set of \(\mu \). Since the bi-zero set is invariant under translation, it will be convenient to assume that \(0 \in \Lambda \).
Definition 2.1
(Hadamard triple). Let \(M \in M_n(\mathbb {Z})\) be an expanding matrix with integer entries. Let \(D,C \subset \mathbb {Z}^{n}\) be two finite subsets of integer vectors with \(\#D=\#C\). We say that the system (M, D, C) forms a Hadamard triple (or (\(M^{-1}D,C)\) is a compatible pair) if the matrix
is unitary, i.e., \(H^{*}H=I\), where \(H^{*}\) denotes the conjugated transposed matrix of H.
The following theorem is a basic criterion for the spectrality of a measure \(\mu \).
Theorem 2.2
([18]; see also [31]) Let \(\mu \) be a compactly supported Borel probability measure on \(\mathbb {R}^{n}\) and let \(\Lambda \) be an orthogonal set for \(\mu \). Then the following statements are equivalent.
-
(i)
The orthogonal set \(\Lambda \) is a spectrum for \(\mu \);
-
(ii)
\(Q_{\Lambda }(\xi )=\sum _{\lambda \in \Lambda }|\hat{\mu }(\xi +\lambda ) |^2=1\), \(\forall \) \(\xi \in \mathbb {R}^n\);
-
(iii)
\(Q_{\Lambda }(\xi )=\sum _{\lambda \in \Lambda }|\hat{\mu }(\xi +\lambda ) |^2=1\), \(\forall \) \(\xi \in (-r,r)^n\), where \(r>0\).
The following theorem is the famous infinite Ramsey’s Theorem ([46, Theorem 2.3]; see also [3, Theorem 4.1]), which is a foundational result in combinatorics.
Theorem 2.3
(Ramsey’s Theorem). Let \(\mathcal {A}\) be a countable infinite set and let \(\mathcal {A}^k\) be the set of all k elements subsets of \(\mathcal {A}\). For any splitting of \(\mathcal {A}^k\) into r classes, there exists an infinite subset \(\mathcal {T} \subset \mathcal {A}\) such that \(\mathcal {T}^k\) is contained in the same class.
Let \(M_n=M\) and \(a_n, b_n, c_n \in \{ -1, 1 \}\). After we set \(a_n, b_n, c_n \) as 1 or \(-1\) respectively, there are eight kinds of \(D_n\) denoted by \(D_{(i)}\), \(i \in \{1,2,\ldots ,8 \}\). In such a case, we have the following lemmas.
Lemma 2.4
Let S be a finite subset of \(\mathbb {Z}^n\) with \(0 \in S\). Then the following two statements are equivalent.
-
(i)
\(\mathcal {Z}(m_{M^{-1}D_{(i)}}) \cap T_{M,S} = \emptyset \) for all \(i \in \{1,2,\ldots ,8 \} \).
-
(ii)
\(\mathcal {Z}(\hat{\mu }_{M,D_{(i)}}) \cap T_{M,S}= \emptyset \) for all \(i \in \{1,2,\ldots ,8 \} \).
Proof
(i) \(\Rightarrow \) (ii) Suppose \(\mathcal {Z}(m_{M^{-1}D_{(i)}}) \cap T_{M,S} = \emptyset \) for all \(i \in \{1,2,\ldots ,8 \} \). Since \(0 \in S\), we have
This leads to \(\mathcal {Z}(m_{M^{-1}D_{(i)}}) \cap M^{-j} T_{M,S} = \emptyset \), so we have \(M^{j}\mathcal {Z}(m_{M^{-1}D_{(i)}}) \cap T_{M,S} = \emptyset \) for all \(i \in \{1,2,\ldots ,8 \} \) and \(j \in \mathbb {N}\). Notice that \(\mathcal {Z}({m_{M^{-1}D_{(i)}}})=M\mathcal {Z}({m_{D_{(i)}}})\). Then our conclusion holds.
(ii) \(\Rightarrow \) (i) Due to that \(\mathcal {Z}(\hat{\mu }_{M,D_{(i)}})=\cup _{n=1}^{\infty } M^n \mathcal {Z}(m_{D_{(i)}})\). The proof is complete. \(\square \)
Lemma 2.5
[36, Theorem 2.8] Suppose \((M,D_n,S)\) forms a Hadamard tower with \(0 \in D_n \cap S \) and \( T_{M,S}=\{\sum _{n=1}^{\infty } M^{-n} s_n:s_n \in S \}. \) If \(\mathcal {Z}(\hat{\mu }_{M,D_{(i)}}) \cap T_{M,S}= \emptyset \) for all \(i \in \{1,2,\ldots ,8 \}\), then
is a spectrum of \(\mu _{M,\{ D_n \}}\).
3 Spectrality
In this section, we will give the proofs of Theorem 1.3 and Theorem 1.4.
Let \(2a_n\mid p_n\), \(2b_n\mid q_n\), \(2c_n \mid r_n\) and
It is easy to check that \((M_n^{-1}D_n, M_nL_n)\) is a compatible pair. Denote
for any \(n \ge 1\) and \(\Lambda =\bigcup _{n=1}^{\infty }\Lambda _n\). Define
Then \(\mu _{\{M_n \}, \{ D_n \}}=\mu _n *\mu _{>n}\). As a matter of fact, \(\Lambda _n\) is a spectrum of \(\mu _{n}\) and \(\Lambda \) is an orthogonal set of \(\mu _{\{M_n \}, \{ D_n \}}\) [36].
To prove Theorem 1.3, we need a lemma proved by An et al. [4].
Lemma 3.1
[4, Theorem 2.3] Let \(\mu \) be a Borel probability measure with compact support in \(\mathbb {R}^{n}\) and \(\xi \in \mathbb {R}^{n}\) with \( \parallel \xi \parallel =\sqrt{\xi _1^2+\cdots +\xi _n^2} \le \frac{1}{3}\). Suppose that \(\Lambda =\bigcup _{n=1}^{\infty } \Lambda _{\alpha _n}\) is an orthogonal set of \(\mu \) and \(\{ \alpha _n \}_{n=1}^{\infty }\) is an increasing sequence of integers. If \(\Lambda _{\alpha _n}\) is a spectrum of \(\mu _{\alpha _n}\) and
for all n, \(s \ge 1\), then \(\Lambda \) is a spectrum of \(\mu \).
Theorem 1.3 will be proved if we can show that there exists a constant \(c>0\) such that for any \(\xi \in \mathbb {R}^3\) with \(\parallel \xi \parallel \le \frac{1}{3}\), we have \(|\hat{\mu }_{>n}(\xi +\lambda ) |^2 \ge c\) for any \(\lambda \in \Lambda _n\) and \(n \ge 1\) by Lemma 3.1.
Proof of Theorem 1.3
Denote \(p_n:=2a_np_n'\), \(q_n:=2b_nq_n'\), \(r_n:=2c_nr_n'\), where \(p_n', q_n', r_n' \in \mathbb {Z}{\setminus } \{ 0 \}\). Note that \(|\hat{\mu }_{>n}(\xi +\lambda ) |^2=\prod _{k=n+1}^{\infty }|\hat{\delta }_{(M_1M_2 \cdot \cdot \cdot M_{k})^{-1}D_k}(\xi +\lambda ) |^2\). Firstly we need to estimate \(|\hat{\delta }_{(M_1M_2 \cdot \cdot \cdot M_{k})^{-1}D_k}(\xi +\lambda ) |^2\) for all \(k \ge n+1\). Take any \(\lambda \in \Lambda _n\) and write
For any \(k \ge n+1\) and \(j=1,2,3\), since \(|a_n |, |b_n |, |c_n |\ge 2\), we have
A direct calculation shows that
where
For \(k=n+1\), (5) shows that \(\cos x_i \ge \cos \frac{\pi }{3}\) for \(i=1,2,3\). By (6),
For \(k \ge n+2\), by \(\cos x \ge 1-x^{2}\), we have
According to (6),
Therefore,
which completes the proof of Theorem 1.3. \(\square \)
In the rest of this section, we will prove Theorem 1.4 by Lemmas 2.4 and 2.5.
Proof of Theorem 1.4
We construct the set
such that \((M^{-1}D_n,S)\) is a compatible pair for any n. Then the invariant set \(T_{M,S}\) is given by
For any \(x=(x_1,x_2,x_3)^{\mathrm {T}} \in T_{M,S}\), we have
If \(p, q, r=-2 \), then \(x_j \in [-\frac{1}{3},\frac{2}{3}]\) for \(j \in \{1,2,3 \}\). Furthermore, for \(p,q,r \in 2\mathbb {Z} {\setminus } \{0,\pm 2 \}\), we also have \(T_{M,S} \subseteq [-\frac{2}{3},\frac{2}{3}]^3\).
Secondly, for the given digit set \(D_n\), we have
where \(E_1,E_2,E_3,F_1,F_2,F_3\) are given by
for any \(a \in \mathbb {R},k_1,k_2,k_3 \in \mathbb {Z}\).
Now, for any \(x=(x_1, x_2, x_3)^{\mathrm {T}} \in \mathcal {Z}(m_{M^{-1}D_{(i)}}(x))=M\mathcal {Z}(m_{D_{(i)}}(x))\), it follows from (8) and (9) that
This shows that
By Lemmas 2.4 and 2.5, we obtain that \(\Lambda _{M,S}\) is a spectrum for \(\mu _{M,\{ D_n \}}\). This completes the proof of Theorem 1.4. \(\square \)
4 Non-spectrality
In this section, we will prove Theorem 1.5. By simple calculation, we obtain that
where \(B_i=\bigcup _{n=1}^{\infty }M^{n}B_i^{(n)}\) and
Lemma 4.1
[46, Lemma 2.4]. Suppose \(\{j_n \}_{n=1}^{\infty }\) is a strictly increasing positive integer sequence. Let \(t_{n,n'}:=\max \{s:2^s|(j_n-j_{n'}) \}\), then there must exist three positive integer N and \(m,m'<N\) such that \(t_{N,m} \ne t_{N,m'}\).
Lemma 4.2
If p is even, \( q, r, a_n, b_n, c_n \) are odd and \(B_1^j=M^{j}B_1^{(j)}\), then the following statements hold:
-
(i)
for each \(j \in N\) and an element \(\xi \in (B_1^{j}-B_1^{j})\), if \(\xi \in B_1^{i}\) for some integer \(i \in N\), then \(i>j\);
-
(ii)
let \(j,l \in N\) and \(j \ne l\), for any element \(\xi \in (B_1^{j}-B_1^{l})\), if \(\xi \in B_1^{i}\) for some integer \(i \in N\), then \(i=\min \{j,l \}\).
Proof
-
(i)
Since \(\xi \in (B_1^{j}-B_1^{j}) \cap B_1^{i}\), we have
$$\begin{aligned} p^{j}\left( \frac{1}{2a_{j}}+k_{1}\right) -p^{j}\left( \frac{1}{2a_{j}}+k_{2}\right) =p^{i}\left( \frac{1}{2a_{i}}+k_{3 }\right) , \end{aligned}$$then
$$\begin{aligned} p^{i-j}\left( \frac{1}{2a_{i}}+k_{3 }\right) =k_{1}-k_{2} \in \mathbb {Z}. \end{aligned}$$Hence \(i > j\).
-
(ii)
Suppose \(\xi _{j} \in B_1^{j}\), \(\xi _{l} \in B_1^{l}\), \(\xi _{i} \in B_1^{i}\), where \(j \ne l\). If \(i \ne \min \{j, l \}\), then we have
$$\begin{aligned} \begin{aligned} p^{j}\left( \frac{1}{2a_{j}}+k_{j,1}\right) -p^{l}\left( \frac{1}{2a_{l}}+k_{l,1}\right) =p^{i}\left( \frac{1}{2a_{i}}+k_{i,1}\right) . \end{aligned} \end{aligned}$$Reorganize this equation, we obtain
$$\begin{aligned} \begin{aligned} a_{l}a_{i}p^{j}-a_{j}a_{i}p^{l}-a_{j}a_{l}p^{i} =2a_{j}a_{l}a_{i}(p^{i}k_{i,1}+p^{l}k_{l,1}-p^{j}k_{j,1}). \end{aligned} \end{aligned}$$Without loss of generality, suppose \(l = \min \{ i, j, l\}\), then
$$\begin{aligned} \begin{aligned} a_{l}a_{i}p^{j-l}-a_{j}a_{i}-a_{j}a_{l}p^{i-l} =2a_{j}a_{l}a_{i}(p^{i-l}k_{j,1}+k_{l,1}-p^{j-l}k_{i,1}). \end{aligned} \end{aligned}$$The parity is different on the left and right sides of this equation according to \(p \in 2\mathbb {Z}\), \(a_n \in 2\mathbb {Z}+1\), this is a contradiction. \(\square \)
Lemma 4.3
([46, Lemma 2.2]; see also [22]). For two different odd numbers u and v. If \(\alpha ,\beta \) have different parity, then for any \(k,\tilde{k} \in \mathbb {Z}\),
To get the following two lemmas, we decompose the real numbers by
and
It is easy to see that \(\mathbb {R}=K \cup G \cup H_1=\{0 \} \cup (\mathbb {R} {\setminus } \mathbb {Q}) \cup (\cup _{i=-\infty }^{\infty } H_i)\) are pairwise disjoint union. We also have the following lemmas.
Lemma 4.4
[29, Lemma 2.1]
-
(i)
If \(f,g \in H_1\), then \(f \pm g \in G.\)
-
(ii)
If \(f,g \in G\), then \(f \pm g \in G.\)
-
(iii)
If \(f \in H_{m_1}\) and \(g \in H_{m_2}\) for two integers \(m_1 \ne m_2\), then
$$\begin{aligned} f \pm g \in H_{\max \{m_1.m_2 \} }. \end{aligned}$$In particular, if \(f \in G \cup H _1\) and \(g \in K \), then \(f \pm g \in K\).
-
(iv)
If \(f \in H_{m_1}\), \(h \in H_{m_2}\) for two integers \(m_1,m_2\), then \(g \in H_{m_2-m_1}\).
Lemma 4.5
Let \(B_i(i=1,2,3)\) be defined in (10) and \(H_i, G\) be defined in (11). Suppose that \(p, q, r, a_n, b_n, c_n\) are odd. Then the following statements hold.
-
(i)
For all \(i=1,2,3\), if \(\xi =(\xi _1,\xi _2,\xi _3)^\mathrm{T} \in B_i\), then \(\xi _i \in H_1\).
-
(ii)
For all \(i=1,2,3\), if \(\xi =(\xi _1,\xi _2,\xi _3)^\mathrm{T} \in B_i \pm B_i \), then \(\xi \notin B_i\) and \(\xi _i \in G\).
-
(iii)
Let \(\xi =(\xi _1,\xi _2,\xi _3)^\mathrm{T} \in B_1 \cup B_2 \cup B_3\). If \(\xi _i \in G\), then \(\xi \notin B_i\), and the other two components of \(\xi \) belong to \(H_1\).
Proof
The statement (i) is obvious. It is also easy to prove (ii) by looking at the structure of \( B_i \pm B_i\) for all \(i=1,2,3\). For (iii), if \(\xi _1 \in G\), we obtain \(\xi \notin B_1\) from (i), then \(\xi \in B_2 \cup B_3\). Suppose that \(\xi \in B_2\), then \(\xi _2 \in H_1\) by (i). We just need to prove \(\xi _3 \in H_1\). Let
where \(d_n \in \mathbb {R}\), \(k_1,p' \in \mathbb {Z}\) and \(q' \in 2\mathbb {Z}+1\). Then
and
The same proof works for \(\xi _2 \in G\) or \(\xi _3 \in G\). \(\square \)
Now we are devoted to the proof of Theorem 1.5 (i).
Proof
Suppose on contrary that there exists an infinite orthogonal exponential functions set \(\Lambda :=\{ \lambda _n \}\) in \(L^2(\mu _{M,\{ D_n \}})\), then \((\Lambda -\Lambda ) {\setminus } \{ 0 \} \subset \mathcal {Z}(\hat{\mu }_{M,\{ D_n \}})\). Let
be the set of all 2-elements subsets of \(\Lambda \). By Ramsey’s Theorem(Theorem 2.3), there exists an infinite subset \(\Lambda ' \subset \Lambda \) such that \((\Lambda '-\Lambda ') {\setminus } \{ 0 \} \subset \) \(B_i\) for \(i=1,2\) or 3. We claim that \(i =1\), i.e., \( (\Lambda '-\Lambda ') {\setminus } \{ 0 \} \subset B_1\). In fact, if \((\Lambda '-\Lambda ') {\setminus } \{ 0 \} \subset \) \(B_2\), let \(\lambda _1'\), \(\lambda _2' \in \Lambda '\), then there exist \(j_1,j_2\) and j such that
By \((\frac{1}{2b_{j_1}}+k_{j_1,2})q^{n_{j_1}}-(\frac{1}{2b_{j_2}}+k_{j_2,2})q^{n_{j_2}}=(\frac{1}{2b_{j}}+k_{j,2})q^{n_{j}}\), we have
The parity on the left and right sides of this equation is different since \(q, b_n \in 2\mathbb {Z}+1\), this is a contradiction. Hence \(i \ne 2\). Similarly, we have \(i \ne 3\).
According to the properties of \(\Lambda '\), we will divide the proof into two cases.
Case 1. There exists an infinite increasing sequence \(\{ j_n \}_{n=1}^{\infty }\) such that \(\Lambda ' \cap B_1^{j_n} \ne \emptyset \). Choosing \(\hat{\lambda }_n \in \Lambda ' \cap B_1^{j_n}\), let \(\hat{\Lambda }:=\{ \hat{\lambda }_n \}_{n=1}^{\infty }\), then \(\hat{\Lambda }, (\hat{\Lambda }-\hat{\Lambda }) {\setminus } \{ 0 \} \subset B_1\). For the sequence \(\{j_n \}_{n=1}^{\infty }\), by Lemma 4.1, there exist \(N, m_1 \ne m_2 <N\) and \(0 \le t_1 <t_2\) such that
where \(d_{N,m_1},d_{N,m_2} \in 2\mathbb {Z}+1\). By Lemma 4.2 and \(j_{m_1},j_{m_2} <j_N\), we have
Multiplying the second component by \(\frac{b_{j_{m_i}}}{c_{j_{m_i}}}\), subtracting the third component to the second component, we obtain
We use the condition \(\frac{b_n}{c_n}=\frac{b_m}{c_m}\) to get
where \(f_1=b_{j_{m_1}}c_{j_N}=b_{j_{N}}c_{j_{m_1}}\), \(f_2=b_{j_{m_2}}c_{j_N}=b_{j_{N}}c_{j_{m_2}}\) and \(f_1,f_2 \in 2\mathbb {Z}+1\).
Subcase 1.1. If \(|q| \ne |r|\), let \(Q = q^{2^{t_1}} \), \(R = r^{2^{t_1}}\) and \(\alpha =d_{N,m_1}, \beta =2^{t_2-t_1}d_{N,m_2}\). Substituting (13), then (14) and (15) implies that
for some \(k_1,k_2 \in \mathbb {Z}\). Note that \(Q, R \in 2\mathbb {Z}+1\) and \(\alpha ,\beta \) have different parity since \(t_2 > t_1\). By Lemma 4.3, the above equation is impossible.
Subcase 1.2. If \(|q| = |r|\), then \(0 \le t_1 < t_2\) implies \(q^{2^{t_2}d_{N,m_2}}-r^{2^{t_2}d_{N,m_2}}=0\), which contradicts with (14) and (15).
Case 2. There exists a positive integer \(\mathcal {N}<{\infty }\) such that \(\Lambda ' \subset \cup _{j=1}^{\mathcal {N}}B_1^{j}\).
Subcase 2.1. If there exists \(\lambda _0 \in \Lambda '\) such that \((\Lambda '-\{\lambda _0 \}) \cap B_1^i \ne \emptyset \) for infinite many i. We can replace \(\Lambda '\) by \(\Lambda '-\{\lambda _0 \}\) in Case 1 and get a contradiction similarly.
Subcase 2.2. If there are only finite many j such that \((\Lambda '-\{\lambda ' \}) \cap B_1^j \ne \emptyset \) for any \(\lambda ' \in \Lambda '\), then for any n, by the pigeonhole principle, there exists \(j_n\) such that \(\#(\Lambda -\lambda _n) \cap B_1^{j_n}=\infty \). Therefore, there exist \(j_1\) and an infinite subsequence \(\{\lambda _n^{(1)}\}_{n=1}^{\infty }\) of \(\{\lambda _n'\}_{n=2}^{\infty }\) such that \(\{\lambda _n^{(1)}-\lambda _1'\}_{n=1}^{\infty } \subset B_1^{j_1}\). Similarly, there exist \(j_2\) and an infinite subsequence \(\{\lambda _n^{(2)} \}_{n=1}^{\infty }\) of \(\{\lambda _n^{(1)}\}_{n=2}^{\infty }\) such that \(\{\lambda _n^{(2)}-\lambda _1^{(1)}\}_{n=1}^{\infty } \subset B_1^{j_2}\). We have \(j_2>j_1\) since \(\lambda _n^{(2)}-\lambda _1^{(1)}=(\lambda _n^{(2)}-\lambda _1')-(\lambda _1'-\lambda _1^{(1)})\) and \(\lambda _n^{(2)}-\lambda _1', \lambda _1'-\lambda _1^{(1)} \in B_1^{j_1}\) by the Lemma 4.2. Continuing this process, we get an increasing sequence \(\{ j_s\}_{s=1}^{\infty }\) and a sequence set \(\{ \{ \lambda _n^{(s)} \}_{n=1}^{\infty } \}_{s=1}^{\infty }\) which satisfies \(\{ \lambda _n^{(s)} \}_{n=1}^{\infty } \subset \{ \lambda _n^{(s-1)} \}_{n=2}^{\infty }\) and \(\{ \lambda _n^{(s)}-\lambda _1^{(s-1)} \}_{n=1}^{\infty } \subset B_1^{j_s}\) for all \(s \ge 1\), where \(\{ \lambda _n^{(0)} \}_{n=1}^{\infty }=\{\lambda _n' \}_{n=1}^{\infty }\), that is,
For the sequence \(\{ j_n \}_{n=1}^{\infty }\), similar to Case 1, there exist N, \(m_1 \ne m_2 <N\) and \(0 \le t_1 <t_2\) such that (13) hold, i,e., \(j_N-j_{m_1}=2^{t_1}d_{N,m_1}\), \(j_N-j_{m_2}=2^{t_2}d_{N,m_2}\). Let \(\bar{\lambda }_N:=\lambda _1^{(N)}-\lambda _1^{(N-1)} \in B_1^{j_N}\) and \(\bar{\lambda }_{m_i}:=\lambda _1^{(N)}-\lambda _1^{(m_i-1)}\), \(i=1,2\). Note that
According to the above two formulas and Lemma 4.2, we have \(\bar{\lambda }_{m_i} \in B_1^{j_{m_i}}\) for \(i=1,2\). Now we replace \(\hat{\lambda }_N\), \(\hat{\lambda }_{m_1}\) and \(\hat{\lambda }_{m_2}\) of Case 1 by \(\bar{\lambda }_{N}\), \(\bar{\lambda }_{m_1}\) and \(\bar{\lambda }_{m_2}\) respectively, then get a contradiction similarly.
Hence, \(\Lambda \) is a finite set. This completes the proof of Theorem 1.5 (i). \(\square \)
When \(p,q,r,a_n,b_n,c_n\) are restricted to be odd numbers, we can get the exact number of orthogonal exponential functions in \(L^2(\mu _{M,\{D_n \}})\). Using Lemma 4.4 and Lemma 4.5, we can now prove Theorem 1.5 (ii).
Proof of Theorem 1.5 (ii)
Let \(\Lambda \) be a bi-zero set of \(\mu _{M,\{D_n\}}\). Suppose that \(\# \Lambda =5\) and \(\Lambda =\{0, \lambda _1, \lambda _2, \lambda _3, \lambda _4 \}\), we have \(\Lambda {\setminus } \{0 \} \subset B_1 \cup B_2 \cup B_3 \). By the pigeonhole principle, there exist at least two distinct elements that belong to the same \(B_{i_0}, i_0 \in \{1,2,3 \}\). Without loss of generality, we assume that \(\lambda _1,\lambda _2 \in B_1\). Let \(\lambda _n=(x_n,y_n,z_n)^{\mathrm {T}}\) for \(n=1,2,3,4\). Hence, \(x_1,x_2 \in H_1\) by Lemma 4.5 (i). For two distinct numbers \(n_1,n_2 \in \{1,2,3,4 \}\), we set \(\lambda _{n_2}-\lambda _{n_1}:=(x_{n_2,n_1},y_{n_2,n_1},z_{n_2,n_1})^{\mathrm {T}}\). From \(x_2,x_1 \in H_1\) and Lemma 4.4 (i), we obtain \(x_{2,1}=x_2-x_1 \in G\). According to the property of bi-zero set \(\Lambda \), we have \(\lambda _2-\lambda _1 \in B_1 \cup B_2 \cup B_3\). By Lemma 4.5 (iii) we have \(\lambda _2-\lambda _1 \notin B_1\). So \(\lambda _2-\lambda _1 \in B_2 \cup B_3 \) and \(y_{2,1},z_{2,1} \in H_1\). Assume that \(\lambda _2-\lambda _1 \in B_2\), we consider the following three cases, since \(x_3 \in \mathbb {R}=H_1 \cup K \cup G\) is a disjoint union.
Case 1. \(x_3 \in H_1\). Let
Then \(x_{3,1}, x_{3,2} \in G\) by Lemma 4.4 (i). Combining with Lemma 4.5 (iii), we have \(y_{3,1},y_{3,2},z_{3,1},z_{3,2} \in H_1\). Then \(y_{2,1}=y_{3,1}-y_{3,2}\in G,\ z_{2,1}=z_{3,1}-z_{3,2} \in G\) by Lemma 4.4 (i). This is a contradiction to \(H_1 \cap G=\emptyset \).
Case 2. \(x_3 \in K\). From Lemma 4.4 (iii), we know \(x_{3,2},x_{3,1} \in K\), and because of the Lemma 4.5 (i) we obtain \(\lambda _3-\lambda _2,\lambda _3-\lambda _1 \in B_2 \cup B_3\).
-
If \(\lambda _3-\lambda _2, \lambda _3-\lambda _1 \in B_2\), on the basic of Lemma 4.5 (i), we have \(y_{3,2}, y_{3,1} \in H_1\). Hence \(y_{2,1} \in G\), a contradiction to \(H_1 \cap G=\emptyset \).
-
If \(\lambda _3-\lambda _2, \lambda _3-\lambda _1 \in B_3\), on the basic of Lemma 4.5 (i), we have \(z_{3,2}, z_{3,1} \in H_1\). Hence \(z_{2,1} \in G\), a contradiction to \(H_1 \cap G=\emptyset \).
-
If \(\lambda _3-\lambda _2 \in B_2 \), \( \lambda _3-\lambda _1 \in B_3\) and \(\lambda _2-\lambda _1 \in B_2\), by Lemma 4.5 (i), we obtain \(y_{3,2},y_{2,1} \in H_1\), then we have \(y_{3,1} \in G\). Applying Lemma 4.5 (iii), we know \(x_{3,1},z_{3,1} \in H_1\). This contradicts to \(H_1 \cap K=\emptyset \).
Case 3. \(x_3,x_4 \in G\). By \(\lambda _3, \lambda _4 \in B_1 \cup B_2 \cup B_3\) and Lemma 4.5 (iii), we have \(y_3,y_4,z_3,z_4 \in H_1\), therefore \(y_{4,3}, z_{4,3} \in G\). Since \(\lambda _4-\lambda _3 \in B_1 \cup B_2 \cup B_3\), we have \(x_{4,3},y_{4,3} \in H_1\) by Lemma 4.5 (iii), this is a contradiction.
Now we construct a bi-zero set of \(\mu _{M,\{D_n\}}\) to show that the number 4 is the best. Let
It is easy to see \((\Lambda -\Lambda ) {\setminus } \{0 \} \subset \mathcal {Z}(\hat{\mu }_{M,\{D_n\}})\). The proof is complete. \(\square \)
At the end of this paper, we propose some nature questions.
Question 4.6
If \(p, q, r \in 2\mathbb {Z}+1\) and \(a_n, b_n, c_n \in 2\mathbb {Z}\), what is the exact number of mutually orthogonal exponential functions in \(L^2(\mu _{M,\{D_n\}})\)?
Question 4.7
Does there exist an infinite orthogonal exponential functions in \(L^2(\mu _{M,\{D_n\}})\) if and only if two of the three numbers p, q, r are even?
References
Ai, W.H., Peng, S.T.: Spectral property of certain Moran measures in Rn. Acta Math. Hungar. (2022). https://doi.org/10.1007/s10474-022-01239-w
An, L.X., Fu, X.Y., Lai, C.K.: On spectral Cantor–Moran measures and a variant of Bourgain’s sum of sine problem. Adv. Math. 349, 84–124 (2019)
An, L.X., He, X.G.: A class of spectral Moran measures. J. Funct. Anal. 266, 343–354 (2014)
An, L.X., He, L., He, X.G.: Spectrality and non-spectrality of the Riesz product measures with three elements in digit sets. J. Funct. Anal. 277(1), 255–278 (2019)
An, L.X., He, X.G., Lau, K.S.: Spectrality of a class of infinite convolutions. Adv. Math. 283, 362–376 (2015)
Chen, M.L., Liu, J.C., Su, J., Wang, X.Y.: Spectrality of a class of Moran measures. Can. Math. Bull. 63(2), 366–381 (2020)
Dai, X.R.: When does a Bernoulli convolution admit a spectrum? Adv. Math. 231(3–4), 1681–1693 (2012)
Dai, X.R.: Spectra of Cantor measures. Math. Ann. 366(3–4), 1621–1647 (2016)
Dai, X.R., Fu, X.Y., Yan, Z.H.: Spectrality of self-affine Sierpinski-type measures on \({\mathbb{R} }^2\). Appl. Comput. Harmon. Anal. 52, 63–81 (2021)
Dai, X.R., He, X.G., Lau, K.S.: On spectral \(N\)-Bernoulli measures. Adv. Math. 259, 511–531 (2014)
Dai, X.R., Sun, Q.Y.: Spectral measures with arbitrary Hausdorff dimensions. J. Funct. Anal. 268(8), 2464–2477 (2015)
Deng, Q.R., Li, M.T.: Spectrality of Moran-type self-similar measures on \({\mathbb{R} }\). J. Math. Anal. Appl. 506(1), 125547 (2022)
Dutkay, D.E., Haussermanu, J., Lai, C.K.: Hadamard triples generate self-affine spectral measures. Trans. Am. Math. Soc. 371(2), 1439–1481 (2019)
Falconer, K.: Fractal Geometry, Mathematical Foundations and Applications. Wiley, New York (1990)
Fuglede, B.: Commuting self-adjoint partial differential operators and a group theoretic problem. J. Funct. Anal. 16, 101–121 (1974)
Fu, X.Q., Dong, X.H., Liu, Z.S., Wang, Z.Y.: Spectral property of certain Moran measures with three-element digit sets. Fractals 27(4), 1950068 (2019)
Fu, Y.S., Wang, C.: Spectra of a class of Cantor–Moran measures with three-element digit sets. J. Approx. Theory 261, 105494 (2021)
Fu, Y.S., Wen, Z.X.: Spectral property of a class of Moran measures on \(\mathbb{R} \). J. Math. Anal. Appl. 430(1), 572–584 (2015)
Fu, Y.S., Zhu, M.: A class of homogeneous Moran spectral measures with eight-element digit sets on \({\mathbb{R} }^{4}\). Results Math. 76(4), 207 (2021)
He, L., He, X.G.: On the Fourier orthonormal bases of Cantor–Moran measure. J. Funct. Anal. 272, 1980–2004 (2017)
Hutchinson, J.: Fractals and self-similarity. Indiana Univ. Math. J. 30, 731–747 (1981)
Li, J.L.: Non-spectrality of self-affine measures on the spatial Sierpinski gasket. J. Math. Anal. Appl. 432(2), 1005–1017 (2015)
Li, J.L.: Spectrality of self-affine measures on the three-dimensional Sierpinski gasket. Proc. Edinb. Math. Soc. (2) 55(2), 477–496 (2012)
Li, J.L.: Spectral self-affine measures on the spatial Sierpinski gasket. Monatsh. Math. 176(2), 293–322 (2015)
Liu, Z.S., Dong, X.H.: Spectra of a class of Moran measures (Chinese). Adv. Math. (China) 47(3), 441–447 (2018)
Liu, Z.S., Dong, X.H.: Spectrality of Moran measures with finite arithmetic digit sets. Int. J. Math. 31(2), 2050008 (2020)
Lu, Z.Y., Dong, X.H.: Spectrality of a class of Moran measures. Monatsh. Math. 196(1), 207–230 (2021)
Lu, Z.Y., Dong, X.H., Liu, Z.S.: Spectrality of Sierpinski-type self-affine measures. J. Funct. Anal. 282(3), 109310 (2022)
Lu, Z.Y., Dong, X.H., Zhang, P.F.: Non-spectrality of self-affine measures on the three-dimensional Sierpinski gasket. Forum Math. 31(6), 1447–1455 (2019)
Li, W.X., Miao, J.J., Wang, Z.Q.: Weak convergence and spectrality of infinite convolutions. Adv. Math. 404, 108425 (2022)
Jorgensen, P., Pedersen, S.: Dense analytic subspaces in fractal \(L^2\) spaces. J. Anal. Math. 75, 185–228 (1998)
Kolountzakis, M.N., Matolcsi, M.: Tiles with no spectra. Forum Math. 18(3), 519–528 (2006)
Kolountzakis, M.N., Matolcsi, M.: Complex Hadamard matrices and the spectral set conjecture. Collect. Math. Vol. Extra 281–291 (2006)
Matolcsi, M.: Fugledes conjecture fails in dimension \(4\). Proc. Am. Math. Soc. 133(10), 3021–3026 (2005)
Shi, R.X.: Spectrality of a class of Cantor–Moran measures. J. Funct. Anal. 276(12), 3767–3794 (2019)
Strichartz, R.: Mock Fourier series and transforms associated with certain Cantor measures. J. Anal. Math. 81, 209–238 (2000)
Tao, T.: Fuglede’s conjecture is false in \(5\) and higher dimensions. Math. Res. Lett. 11(2–3), 251–258 (2004)
Tang, M.W., Yin, F.L.: Spectrality of Moran measures with four-element digit sets. J. Math. Anal. Appl. 461, 354–363 (2018)
Wang, Z.Y., Dong, X.H.: Spectrality of Sierpinski–Moran measures. Monatsh. Math. 195(4), 743–761 (2021)
Wang, Z.Y., Dong, X.H., Liu, Z.S.: Spectrality of certain Moran measures with three-element digit sets. J. Math. Anal. Appl. 459, 743–752 (2018)
Wu, H.H., Li, Y.M., Dong, X.H.: Spectral properties of certain Moran measures with consecutive and collinear digit sets. Forum Math. 32(3), 683–692 (2020)
Yan, Z.H.: Spectral properties of a class of Moran measures. J. Math. Anal. Appl. 470(1), 375–387 (2019)
Yan, Z.H.: Spectral Moran measures on \({\mathbb{R} }^{2}\). Nonlinearity 35(3), 1261–1285 (2022)
Yin, F.L., Zhu, M.: The existence of Fourier basis for some Moran measures. J. Math. Anal. Appl. 459(1), 590–603 (2018)
Zhang, M.M.: Spectrality of Moran Sierpinski-type measures on \({\mathbb{R} }^{2}\). Can. Math. Bull. 64(4), 1024–1040 (2021)
Zheng, J., Liu, J.C., Cheng, M.L.: The cardinality of orthogonal exponential functions on the spatial Sierpinski gasket. Fractals 27(4), 1950056 (2019)
Acknowledgements
The research is supported in part by the NNSF of China (No. 11831007).
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Feng Dai.
Rights and permissions
About this article
Cite this article
Yang, X., Ai, WH. Spectrality and non-spectrality of some Moran measures in \(\mathbb {R}^3\). Ann. Funct. Anal. 13, 56 (2022). https://doi.org/10.1007/s43034-022-00202-8
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s43034-022-00202-8