Abstract
Let \(R=\varrho I_{n}\) and \(\mathcal {D}=\left\{ \textbf{0},\textbf{e}_{1},\ldots ,\textbf{e}_{n}\right\} \), where \(\varrho >1\) and \(\textbf{e}_{i}\) is the i-th coordinate vector in \(\mathbb {R}^n\). The spectral properties of the \(n-\)dimensional Sierpinski measure \(\mu _{R,\mathcal {D}}\) has been studied over two decades. In this paper, a special type of spectrum called a typical spectrum for \(\mu _{R,\mathcal {D}}\) is considered. We show that \(\varrho \in (n+1)\mathbb {N}\) is necessary and sufficient for \(\mu _{R,\mathcal {D}}\) to admit a typical spectrum if \(n+1\) is prime. And some necessary conditions for \(\mu _{R,\mathcal {D}}\) to admit a typical spectrum are provided when \(n+1\) is not a prime number. Furthermore, under the condition on real Hadamard matrix, we prove that \(\mu _{R,\mathcal {D}}\) admits a quasi-typical spectrum if and only if \(\varrho \in 2\mathbb {N}\). These results show that the spectral properties of the Sierpinski measure \(\mu _{R,\mathcal {D}}\) are really different between \(n+1\) is prime and non-prime. As a corollary, we prove that \(\varrho \in 2\mathbb {N}\) are the only integers such that \(\mu _{R,\mathcal {D}}\) becomes a spectral measure when \(n=3\).
Similar content being viewed by others
References
Dai, X.R.: When does a \({\rm B}\)ernoulli convolution admit a spectrum? Adv. Math. 231(3), 1681–1693 (2012)
Dai, X.R.: Spectra of \({\rm C}\)antor measures. Math. Ann. 366(3), 1621–1647 (2016)
Dai, X.R., Fu, X.Y., Yan, Z.H.: Spectrality of self-affine \({\rm S}\)ierpinski-type measures on \({\mathbb{R} }^2\). Appl. Comput. Harmon. Anal. 52, 63–81 (2021)
Dai, X.R., He, X.G., Lai, C.K.: Spectral property of \({\rm C}\)antor measures with consecutive digits. Adv. Math. 242, 187–208 (2013)
Dai, X.R., He, X.G., Lau, K.S.: On spectral \({\rm N}\)-\({\rm B}\)ernoulli measures. Adv. Math. 259, 511–531 (2014)
Deng, Q.R., Lau, K.S.: Sierpinski-type spectral self-similar measures. J. Funct. Anal. 269(5), 1310–1326 (2015)
Dutkay, D.E., Han, D.G., Sun, Q.Y.: On the spectra of a \({\rm C}\)antor measure. Adv. Math 221(1), 251–276 (2009)
Dutkay, D.E., Han, D.G., Sun, Q.Y., Weber, E.: On the Beurling dimension of exponential frames. Adv. Math. 226(1), 285–297 (2011)
Dutkay, D.E., Han, D.G., Sun, Q.Y.: Divergence of the mock and scrambled Fourier series on fractal measures. Trans. Am. Math. Soc. 366(4), 2191–2208 (2014)
Dutkay, D.E., Haussermann, J., Lai, C.K.: Hadamard triples generate self-affine spectral measures. Trans. Am. Math. Soc. 371, 1439–1481 (2019)
Dutkay, D.E., Jorgensen, P.: Analysis of orthogonality and of orbits in affine iterated function systems. Math. Z. 256(4), 801–823 (2007)
Dutkay, D.E., Jorgensen, P.: Fourier frequencies in affine iterated function systems. J. Funct. Anal. 247(1), 110–137 (2007)
Farkas, B., Revesz, S.: Tiles with no spectra in dimension 4. Math. Scand. 98(1), 44–52 (2006)
Fuglede, B.: Commuting self-adjoint partial differential operators and a group theoretic problem. J. Funct. Anal. 16(1), 101–121 (1974)
Hu, T.Y., Lau, K.S.: Spectral property of the \({\rm B}\)ernoulli convolutions. Adv. Math. 219(2), 554–567 (2008)
Jorgensen, P., Pedersen, S.: Dense analytic subspaces in fractal \({\rm L}^{2}\)-spaces. J. Anal. Math. 75(1), 185–228 (1998)
Kolountzakis, M., Matolcsi, M.: Tiles with no spectra. Forum Math. 18(3), 519–528 (2006)
Łaba, I., Wang, Y.: On spectral \({\rm C}\)antor \({\rm M}\)easures. J. Funct. Anal. 193(2), 409–420 (2002)
Łaba, I., Wang, Y.: Some properties of spectral measures. Appl. Comput. Harmon. Anal. 20(1), 149–157 (2006)
Li, J.L.: On the \(\mu _{M, D}\)-orthogonal exponentials. Nonlinear Anal. 73(4), 940–951 (2010)
Matolcsi, M.: Fuglede’s conjecture fails in dimension 4. Proc. Am. Math. Soc. 133, 3021–3026 (2005)
Moore, E., Pllatsek, H.: Difference \({\rm S}\)ets: \({\rm C}\)onnecting \({\rm A}\)lgebra, \({\rm C}\)ombinatorics, and \({\rm G}\)eometry, Student Mathematical Library, vol. 67. American Mathematical Society, Providence (2013)
Ramsey, F.P.: On a problem of formal logic. Proc. Lond. Math. Soc 30, 264–286 (1930)
Salem, R.: Power series with integral coefficients. Duke Math. J. 12, 153–172 (1945)
Strichartz, R.S.: Mock \({\rm F}\)ourier series and transforms associated with certain \({\rm C}\)antor measures. J. Anal. Math. 81(1), 209–238 (2000)
Strichartz, R.S.: Convergence of mock \({\rm F}\)ourier series. J. Anal. Math. 99(1), 333–353 (2006)
Smyth, C.: Seventy years of Salem numbers. Bull. Lond. Math. Soc. 47(3), 379–395 (2015)
Tao, T.: Fuglede’s conjecture is false in 5 and higher dimensions. Math. Res. Lett. 11(2), 251–258 (2004)
Yan, Z.H.: Spectral properties of a class of \({\rm M}\)oran measures. J. Math. Anal. Appl. 470(1), 375–387 (2019)
Acknowledgements
The authors would like to thank the anonymous referees for many valuable comments and suggestions which are helpful to improve the presentation of this manuscript. The research is supported by the NSFC of China (Nos.12271534, 12271194, 11922109), and Project funded by China Postdoctoral Science Foundation (2022M712821), Guangdong Province Key Laboratory of Computational Science at the Sun Yat-sen University.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Jeff Geronimo.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Springer Nature or its licensor (e.g. a society or other partner) holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.
About this article
Cite this article
Dai, XR., Fu, XY. & Yan, ZH. Spectral Properties of Sierpinski Measures on \(\mathbb {R}^n\). Constr Approx 60, 165–196 (2024). https://doi.org/10.1007/s00365-023-09654-0
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00365-023-09654-0