{"title":"Spectral properties of a class of Moran measures on R2","authors":"Zhi-Hui Yan","doi":"10.1016/j.jat.2023.105914","DOIUrl":null,"url":null,"abstract":"<div><p>Given a pair <span><math><mrow><mo>(</mo><mi>R</mi><mo>,</mo><mi>D</mi><mo>)</mo></mrow></math></span>, where <span><math><mrow><mi>R</mi><mo>=</mo><msubsup><mrow><mrow><mo>{</mo><msub><mrow><mi>R</mi></mrow><mrow><mi>i</mi></mrow></msub><mo>}</mo></mrow></mrow><mrow><mi>i</mi><mo>=</mo><mn>1</mn></mrow><mrow><mi>∞</mi></mrow></msubsup></mrow></math></span> is a sequence of expanding matrix (i.e., all the eigenvalues of <span><math><msub><mrow><mi>R</mi></mrow><mrow><mi>i</mi></mrow></msub></math></span> have modulus strictly greater than 1), and <span><math><mrow><mi>D</mi><mo>=</mo><msubsup><mrow><mrow><mo>{</mo><msub><mrow><mi>D</mi></mrow><mrow><mi>i</mi></mrow></msub><mo>}</mo></mrow></mrow><mrow><mi>i</mi><mo>=</mo><mn>1</mn></mrow><mrow><mi>∞</mi></mrow></msubsup><mo>⊆</mo><msup><mrow><mi>Z</mi></mrow><mrow><mn>2</mn></mrow></msup></mrow></math></span><span>. It is well known that there exists an infinite convolution generated by </span><span><math><mrow><mo>(</mo><mi>R</mi><mo>,</mo><mi>D</mi><mo>)</mo></mrow></math></span> which satisfies <span><span><span><math><mrow><msub><mrow><mi>μ</mi></mrow><mrow><mi>R</mi><mo>,</mo><mi>D</mi></mrow></msub><mo>≔</mo><msub><mrow><mi>δ</mi></mrow><mrow><msubsup><mrow><mi>R</mi></mrow><mrow><mn>1</mn></mrow><mrow><mo>−</mo><mn>1</mn></mrow></msubsup><msub><mrow><mi>D</mi></mrow><mrow><mn>1</mn></mrow></msub></mrow></msub><mo>∗</mo><msub><mrow><mi>δ</mi></mrow><mrow><msup><mrow><mrow><mo>(</mo><msub><mrow><mi>R</mi></mrow><mrow><mn>2</mn></mrow></msub><msub><mrow><mi>R</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>)</mo></mrow></mrow><mrow><mo>−</mo><mn>1</mn></mrow></msup><msub><mrow><mi>D</mi></mrow><mrow><mn>2</mn></mrow></msub></mrow></msub><mo>∗</mo><mo>⋯</mo><mspace></mspace><mo>,</mo></mrow></math></span></span></span>we say that <span><math><msub><mrow><mi>μ</mi></mrow><mrow><mi>R</mi><mo>,</mo><mi>D</mi></mrow></msub></math></span> is a <em>Moran measure</em> if it convergent to a probability measure with compact support in a weak sense, where <span><math><mrow><msub><mrow><mi>δ</mi></mrow><mrow><mi>E</mi></mrow></msub><mo>=</mo><mfrac><mrow><mn>1</mn></mrow><mrow><mi>#</mi><mi>E</mi></mrow></mfrac><msub><mrow><mo>∑</mo></mrow><mrow><mi>d</mi><mo>∈</mo><mi>E</mi></mrow></msub><msub><mrow><mi>δ</mi></mrow><mrow><mi>d</mi></mrow></msub></mrow></math></span> is the uniformly discrete measure on <span><math><mi>E</mi></math></span><span>. In this paper, we consider the spectral properties of the Moran measure </span><span><math><msub><mrow><mi>μ</mi></mrow><mrow><mi>R</mi><mo>,</mo><mi>D</mi></mrow></msub></math></span> with <span><math><mrow><mi>R</mi><mo>=</mo><mfenced><mrow><mtable><mtr><mtd><msub><mrow><mi>b</mi></mrow><mrow><mn>1</mn></mrow></msub></mtd><mtd><mn>0</mn></mtd></mtr><mtr><mtd><mn>0</mn></mtd><mtd><msub><mrow><mi>b</mi></mrow><mrow><mn>2</mn></mrow></msub></mtd></mtr></mtable></mrow></mfenced></mrow></math></span>, and <span><math><mrow><mi>#</mi><msub><mrow><mi>D</mi></mrow><mrow><mi>i</mi></mrow></msub><mo>=</mo><mi>p</mi></mrow></math></span>, where <span><math><mrow><mn>1</mn><mo><</mo><msub><mrow><mi>b</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>,</mo><msub><mrow><mi>b</mi></mrow><mrow><mn>2</mn></mrow></msub><mo>∈</mo><mi>R</mi></mrow></math></span> and <span><math><mi>p</mi></math></span> is a prime number, <span><math><mrow><munder><mrow><mo>sup</mo></mrow><mrow><mi>i</mi><mo>∈</mo><mi>N</mi><mo>,</mo><mi>d</mi><mo>∈</mo><msub><mrow><mi>D</mi></mrow><mrow><mi>i</mi></mrow></msub></mrow></munder><mrow><mo>|</mo><mi>d</mi><mo>|</mo></mrow><mo><</mo><mi>∞</mi></mrow></math></span>. Let <span><math><mrow><mi>B</mi><mrow><mo>(</mo><mi>p</mi><mo>)</mo></mrow><mo>:</mo><mo>≡</mo><mrow><mo>{</mo><mrow><mfrac><mrow><mn>1</mn></mrow><mrow><mi>p</mi></mrow></mfrac><mfenced><mrow><mfrac><mrow><mi>j</mi></mrow><mrow><mi>k</mi></mrow></mfrac></mrow></mfenced><mo>:</mo><mn>1</mn><mo>≤</mo><mi>j</mi><mo>,</mo><mi>k</mi><mo>≤</mo><mi>p</mi><mo>−</mo><mn>1</mn></mrow><mo>}</mo></mrow></mrow></math></span> and <span><math><mrow><mi>Z</mi><mrow><mo>(</mo><msub><mrow><mover><mrow><mi>δ</mi></mrow><mrow><mo>ˆ</mo></mrow></mover></mrow><mrow><mi>E</mi></mrow></msub><mo>)</mo></mrow><mo>=</mo><mrow><mo>{</mo><mi>x</mi><mo>∈</mo><msup><mrow><mi>R</mi></mrow><mrow><mn>2</mn></mrow></msup><mo>:</mo><msub><mrow><mover><mrow><mi>δ</mi></mrow><mrow><mo>ˆ</mo></mrow></mover></mrow><mrow><mi>E</mi></mrow></msub><mrow><mo>(</mo><mi>x</mi><mo>)</mo></mrow><mo>=</mo><mn>0</mn><mo>}</mo></mrow></mrow></math></span>. We show that under the conditions that <span><span><span><math><mrow><mi>Z</mi><mrow><mo>(</mo><msub><mrow><mover><mrow><mi>δ</mi></mrow><mrow><mo>ˆ</mo></mrow></mover></mrow><mrow><msub><mrow><mi>D</mi></mrow><mrow><mi>i</mi></mrow></msub></mrow></msub><mo>)</mo></mrow><mo>=</mo><munderover><mrow><mo>⋃</mo></mrow><mrow><mi>k</mi><mo>=</mo><mn>1</mn></mrow><mrow><mi>φ</mi><mrow><mo>(</mo><mi>i</mi><mo>)</mo></mrow></mrow></munderover><msub><mrow><mi>Z</mi></mrow><mrow><mi>k</mi></mrow></msub><mrow><mo>(</mo><mi>p</mi><mo>)</mo></mrow></mrow></math></span></span></span>for some <span><math><mrow><mi>φ</mi><mrow><mo>(</mo><mi>i</mi><mo>)</mo></mrow><mo>∈</mo><mi>N</mi></mrow></math></span>, where <span><math><mrow><msub><mrow><mi>Z</mi></mrow><mrow><mi>k</mi></mrow></msub><mrow><mo>(</mo><mi>p</mi><mo>)</mo></mrow><mo>⊆</mo><mi>B</mi><mrow><mo>(</mo><mi>p</mi><mo>)</mo></mrow><mo>+</mo><msup><mrow><mi>Z</mi></mrow><mrow><mn>2</mn></mrow></msup></mrow></math></span> with <span><math><mrow><mrow><mo>(</mo><msub><mrow><mi>Z</mi></mrow><mrow><mi>k</mi></mrow></msub><mrow><mo>(</mo><mi>p</mi><mo>)</mo></mrow><mo>−</mo><msub><mrow><mi>Z</mi></mrow><mrow><mi>k</mi></mrow></msub><mrow><mo>(</mo><mi>p</mi><mo>)</mo></mrow><mo>)</mo></mrow><mo>∖</mo><msup><mrow><mi>Z</mi></mrow><mrow><mn>2</mn></mrow></msup><mo>⊆</mo><msub><mrow><mi>Z</mi></mrow><mrow><mi>k</mi></mrow></msub><mrow><mo>(</mo><mi>p</mi><mo>)</mo></mrow></mrow></math></span>, and <span><math><mrow><msub><mrow><mi>Z</mi></mrow><mrow><mi>k</mi></mrow></msub><mrow><mo>(</mo><mi>p</mi><mo>)</mo></mrow><mo>⁄</mo><mo>⊆</mo><mi>B</mi><mrow><mo>(</mo><mi>q</mi><mo>)</mo></mrow><mo>+</mo><msup><mrow><mi>Z</mi></mrow><mrow><mn>2</mn></mrow></msup></mrow></math></span> for <span><math><mrow><mn>0</mn><mo><</mo><mi>q</mi><mo><</mo><mi>p</mi></mrow></math></span>, <span><math><mrow><mn>1</mn><mo>≤</mo><mi>k</mi><mo>≤</mo><mi>φ</mi><mrow><mo>(</mo><mi>i</mi><mo>)</mo></mrow></mrow></math></span>, <span><math><mrow><mrow><mo>{</mo><mi>x</mi><mo>∈</mo><msup><mrow><mrow><mo>[</mo><mn>0</mn><mo>,</mo><mn>1</mn><mo>)</mo></mrow></mrow><mrow><mn>2</mn></mrow></msup><mo>:</mo><mrow><mo>|</mo><msub><mrow><mover><mrow><mi>δ</mi></mrow><mrow><mo>ˆ</mo></mrow></mover></mrow><mrow><msub><mrow><mi>D</mi></mrow><mrow><mi>i</mi></mrow></msub></mrow></msub><mrow><mo>(</mo><mi>x</mi><mo>)</mo></mrow><mo>|</mo></mrow><mo>=</mo><mn>1</mn><mo>}</mo></mrow><mo>=</mo><mrow><mo>{</mo><mrow><mfenced><mrow><mfrac><mrow><mn>0</mn></mrow><mrow><mn>0</mn></mrow></mfrac></mrow></mfenced></mrow><mo>}</mo></mrow></mrow></math></span>. Then <span><math><msub><mrow><mi>μ</mi></mrow><mrow><mi>R</mi><mo>,</mo><mi>D</mi></mrow></msub></math></span> is a spectral measure if and only if <span><math><mrow><mi>R</mi><mo>=</mo><mfenced><mrow><mtable><mtr><mtd><mi>p</mi><msub><mrow><mi>k</mi></mrow><mrow><mn>1</mn></mrow></msub></mtd><mtd><mn>0</mn></mtd></mtr><mtr><mtd><mn>0</mn></mtd><mtd><mi>p</mi><msub><mrow><mi>k</mi></mrow><mrow><mn>2</mn></mrow></msub></mtd></mtr></mtable></mrow></mfenced></mrow></math></span> for some <span><math><mrow><msub><mrow><mi>k</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>,</mo><msub><mrow><mi>k</mi></mrow><mrow><mn>2</mn></mrow></msub><mo>∈</mo><mi>N</mi></mrow></math></span>. This extends the results of Sierpinski-type measure considered by Dai et.al [ACHA,2021]. Also some sufficient conditions for <span><math><msub><mrow><mi>μ</mi></mrow><mrow><mi>R</mi><mo>,</mo><mi>D</mi></mrow></msub></math></span> being a spectral measure when <span><math><mi>p</mi></math></span> is not a prime number are given.</p></div>","PeriodicalId":54878,"journal":{"name":"Journal of Approximation Theory","volume":null,"pages":null},"PeriodicalIF":0.9000,"publicationDate":"2023-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Journal of Approximation Theory","FirstCategoryId":"100","ListUrlMain":"https://www.sciencedirect.com/science/article/pii/S0021904523000527","RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q2","JCRName":"MATHEMATICS","Score":null,"Total":0}
引用次数: 0
Abstract
Given a pair , where is a sequence of expanding matrix (i.e., all the eigenvalues of have modulus strictly greater than 1), and . It is well known that there exists an infinite convolution generated by which satisfies we say that is a Moran measure if it convergent to a probability measure with compact support in a weak sense, where is the uniformly discrete measure on . In this paper, we consider the spectral properties of the Moran measure with , and , where and is a prime number, . Let and . We show that under the conditions that for some , where with , and for , , . Then is a spectral measure if and only if for some . This extends the results of Sierpinski-type measure considered by Dai et.al [ACHA,2021]. Also some sufficient conditions for being a spectral measure when is not a prime number are given.
期刊介绍:
The Journal of Approximation Theory is devoted to advances in pure and applied approximation theory and related areas. These areas include, among others:
• Classical approximation
• Abstract approximation
• Constructive approximation
• Degree of approximation
• Fourier expansions
• Interpolation of operators
• General orthogonal systems
• Interpolation and quadratures
• Multivariate approximation
• Orthogonal polynomials
• Padé approximation
• Rational approximation
• Spline functions of one and several variables
• Approximation by radial basis functions in Euclidean spaces, on spheres, and on more general manifolds
• Special functions with strong connections to classical harmonic analysis, orthogonal polynomial, and approximation theory (as opposed to combinatorics, number theory, representation theory, generating functions, formal theory, and so forth)
• Approximation theoretic aspects of real or complex function theory, function theory, difference or differential equations, function spaces, or harmonic analysis
• Wavelet Theory and its applications in signal and image processing, and in differential equations with special emphasis on connections between wavelet theory and elements of approximation theory (such as approximation orders, Besov and Sobolev spaces, and so forth)
• Gabor (Weyl-Heisenberg) expansions and sampling theory.