<p>This paper investigates the spectral properties of a class of Moran measures <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(\mu _{R,\{ D_n \}}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>μ</mi> <mrow> <mi>R</mi> <mo>,</mo> <mo stretchy="false">{</mo> <msub> <mi>D</mi> <mi>n</mi> </msub> <mo stretchy="false">}</mo> </mrow> </msub> </math></EquationSource> </InlineEquation> on <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(\mathbb {R}^2\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mn>2</mn> </msup> </math></EquationSource> </InlineEquation>, generated by an expanding real diagonal matrix <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(R={\operatorname {diag}}(\rho _1,\rho _2)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>R</mi> <mo>=</mo> <mo>diag</mo> <mo stretchy="false">(</mo> <msub> <mi>ρ</mi> <mn>1</mn> </msub> <mo>,</mo> <msub> <mi>ρ</mi> <mn>2</mn> </msub> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> and a sequence of non-collinear integer digit sets <Equation ID="Equ34"> <EquationSource Format="TEX">\(\begin{aligned} D_n=\{ (0,0)^{\textrm{t}}, (a_n,b_n)^{\textrm{t}}, (c_n,d_n)^{\textrm{t}}\} \end{aligned}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mtable> <mtr> <mtd columnalign="right"> <mrow> <msub> <mi>D</mi> <mi>n</mi> </msub> <mo>=</mo> <mrow> <mo stretchy="false">{</mo> <msup> <mrow> <mo stretchy="false">(</mo> <mn>0</mn> <mo>,</mo> <mn>0</mn> <mo stretchy="false">)</mo> </mrow> <mtext>t</mtext> </msup> <mo>,</mo> <msup> <mrow> <mo stretchy="false">(</mo> <msub> <mi>a</mi> <mi>n</mi> </msub> <mo>,</mo> <msub> <mi>b</mi> <mi>n</mi> </msub> <mo stretchy="false">)</mo> </mrow> <mtext>t</mtext> </msup> <mo>,</mo> <msup> <mrow> <mo stretchy="false">(</mo> <msub> <mi>c</mi> <mi>n</mi> </msub> <mo>,</mo> <msub> <mi>d</mi> <mi>n</mi> </msub> <mo stretchy="false">)</mo> </mrow> <mtext>t</mtext> </msup> <mo stretchy="false">}</mo> </mrow> </mrow> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>satisfying <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(\sup _{n\in \mathbb {Z}^{+}}\{a_n,b_n,c_n,d_n\}&lt;\infty \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mo movablelimits="true">sup</mo> <mrow> <mi>n</mi> <mo>∈</mo> <msup> <mrow> <mi mathvariant="double-struck">Z</mi> </mrow> <mo>+</mo> </msup> </mrow> </msub> <mrow> <mo stretchy="false">{</mo> <msub> <mi>a</mi> <mi>n</mi> </msub> <mo>,</mo> <msub> <mi>b</mi> <mi>n</mi> </msub> <mo>,</mo> <msub> <mi>c</mi> <mi>n</mi> </msub> <mo>,</mo> <msub> <mi>d</mi> <mi>n</mi> </msub> <mo stretchy="false">}</mo> </mrow> <mo>&lt;</mo> <mi>∞</mi> </mrow> </math></EquationSource> </InlineEquation>. We establish equivalent conditions for the existence of infinite orthogonal sets in <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(L^2(\mu _{R,\{ D_n \}})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>L</mi> <mn>2</mn> </msup> <mrow> <mo stretchy="false">(</mo> <msub> <mi>μ</mi> <mrow> <mi>R</mi> <mo>,</mo> <mo stretchy="false">{</mo> <msub> <mi>D</mi> <mi>n</mi> </msub> <mo stretchy="false">}</mo> </mrow> </msub> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>. Furthermore, we derive necessary conditions for <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(\mu _{R,\{ D_n \}}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>μ</mi> <mrow> <mi>R</mi> <mo>,</mo> <mo stretchy="false">{</mo> <msub> <mi>D</mi> <mi>n</mi> </msub> <mo stretchy="false">}</mo> </mrow> </msub> </math></EquationSource> </InlineEquation> to be a spectral measure under the assumption that <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(\tau _n:=\max \{u:3^u |(a_nd_n-b_nc_n)\}=\tau \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>τ</mi> <mi>n</mi> </msub> <mo>:</mo> <mo>=</mo> <mo movablelimits="true">max</mo> <mrow> <mo stretchy="false">{</mo> <mi>u</mi> <mo>:</mo> <msup> <mn>3</mn> <mi>u</mi> </msup> <mo stretchy="false">|</mo> <mrow> <mo stretchy="false">(</mo> <msub> <mi>a</mi> <mi>n</mi> </msub> <msub> <mi>d</mi> <mi>n</mi> </msub> <mo>-</mo> <msub> <mi>b</mi> <mi>n</mi> </msub> <msub> <mi>c</mi> <mi>n</mi> </msub> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">}</mo> </mrow> <mo>=</mo> <mi>τ</mi> </mrow> </math></EquationSource> </InlineEquation> for all <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(n \ge 1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>n</mi> <mo>≥</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation>. Finally, for measures generated by a specific subclass of digit sets <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\(\{D_n\}_{n=1}^{\infty }\)</EquationSource> <EquationSource Format="MATHML"><math> <msubsup> <mrow> <mo stretchy="false">{</mo> <msub> <mi>D</mi> <mi>n</mi> </msub> <mo stretchy="false">}</mo> </mrow> <mrow> <mi>n</mi> <mo>=</mo> <mn>1</mn> </mrow> <mi>∞</mi> </msubsup> </math></EquationSource> </InlineEquation>, we obtain a necessary and sufficient condition for <InlineEquation ID="IEq12"> <EquationSource Format="TEX">\(\mu _{R,\{ D_n \}}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>μ</mi> <mrow> <mi>R</mi> <mo>,</mo> <mo stretchy="false">{</mo> <msub> <mi>D</mi> <mi>n</mi> </msub> <mo stretchy="false">}</mo> </mrow> </msub> </math></EquationSource> </InlineEquation> to be spectral.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

The Existence of Orthogonal Bases in \(L^2(\mu _{R,\{ D_n \}})\)

  • Xin Yang

摘要

This paper investigates the spectral properties of a class of Moran measures \(\mu _{R,\{ D_n \}}\) μ R , { D n } on \(\mathbb {R}^2\) R 2 , generated by an expanding real diagonal matrix \(R={\operatorname {diag}}(\rho _1,\rho _2)\) R = diag ( ρ 1 , ρ 2 ) and a sequence of non-collinear integer digit sets \(\begin{aligned} D_n=\{ (0,0)^{\textrm{t}}, (a_n,b_n)^{\textrm{t}}, (c_n,d_n)^{\textrm{t}}\} \end{aligned}\) D n = { ( 0 , 0 ) t , ( a n , b n ) t , ( c n , d n ) t } satisfying \(\sup _{n\in \mathbb {Z}^{+}}\{a_n,b_n,c_n,d_n\}<\infty \) sup n Z + { a n , b n , c n , d n } < . We establish equivalent conditions for the existence of infinite orthogonal sets in \(L^2(\mu _{R,\{ D_n \}})\) L 2 ( μ R , { D n } ) . Furthermore, we derive necessary conditions for \(\mu _{R,\{ D_n \}}\) μ R , { D n } to be a spectral measure under the assumption that \(\tau _n:=\max \{u:3^u |(a_nd_n-b_nc_n)\}=\tau \) τ n : = max { u : 3 u | ( a n d n - b n c n ) } = τ for all \(n \ge 1\) n 1 . Finally, for measures generated by a specific subclass of digit sets \(\{D_n\}_{n=1}^{\infty }\) { D n } n = 1 , we obtain a necessary and sufficient condition for \(\mu _{R,\{ D_n \}}\) μ R , { D n } to be spectral.