<p>We study the cardinality of orthogonal exponential functions in <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10474_2025_1507_Article_IEq1.gif" Format="GIF" Height="22" Rendition="HTML" Resolution="72" Type="Linedraw" Width="77" /> </InlineMediaObject> <EquationSource Format="TEX">\(L^{2}(\mu_{\{R,D\}})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>L</mi> <mn>2</mn> </msup> <mrow> <mo stretchy="false">(</mo> <msub> <mi>μ</mi> <mrow> <mo stretchy="false">{</mo> <mi>R</mi> <mo>,</mo> <mi>D</mi> <mo stretchy="false">}</mo> </mrow> </msub> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>, where <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10474_2025_1507_Article_IEq2.gif" Format="GIF" Height="15" Rendition="HTML" Resolution="72" Type="Linedraw" Width="49" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mu_{\{R,D\}} \)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>μ</mi> <mrow> <mo stretchy="false">{</mo> <mi>R</mi> <mo>,</mo> <mi>D</mi> <mo stretchy="false">}</mo> </mrow> </msub> </math></EquationSource> </InlineEquation> is the self-affine measure generated by an expanding real matrix <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10474_2025_1507_Article_IEq3.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="166" /> </InlineMediaObject> <EquationSource Format="TEX">\( R = {\rm diag}[\rho_{1},\rho_{2},\dots,\rho_{n}] \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>R</mi> <mo>=</mo> <mi mathvariant="normal">diag</mi> <mo stretchy="false">[</mo> <msub> <mi>ρ</mi> <mn>1</mn> </msub> <mo>,</mo> <msub> <mi>ρ</mi> <mn>2</mn> </msub> <mo>,</mo> <mo>⋯</mo> <mo>,</mo> <msub> <mi>ρ</mi> <mi>n</mi> </msub> <mo stretchy="false">]</mo> </mrow> </math></EquationSource> </InlineEquation> and a finite digit set <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10474_2025_1507_Article_IEq4.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="58" /> </InlineMediaObject> <EquationSource Format="TEX">\( D\subset\mathbb{Z}^{n} \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>D</mi> <mo>⊂</mo> <msup> <mrow> <mi mathvariant="double-struck">Z</mi> </mrow> <mi>n</mi> </msup> </mrow> </math></EquationSource> </InlineEquation>. Let <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10474_2025_1507_Article_IEq5.gif" Format="GIF" Height="10" Rendition="HTML" Resolution="72" Type="Linedraw" Width="18" /> </InlineMediaObject> <EquationSource Format="TEX">\( m \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>m</mi> </math></EquationSource> </InlineEquation> be a prime and <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10474_2025_1507_Article_IEq6.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="53" /> </InlineMediaObject> <EquationSource Format="TEX">\( \mathcal{Z}(m_{D}) \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="script">Z</mi> <mo stretchy="false">(</mo> <msub> <mi>m</mi> <mi>D</mi> </msub> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> be the set of zeros of mask polynomial <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10474_2025_1507_Article_IEq7.gif" Format="GIF" Height="12" Rendition="HTML" Resolution="72" Type="Linedraw" Width="28" /> </InlineMediaObject> <EquationSource Format="TEX">\( m_{D} \)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>m</mi> <mi>D</mi> </msub> </math></EquationSource> </InlineEquation> of <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10474_2025_1507_Article_IEq8.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="19" /> </InlineMediaObject> <EquationSource Format="TEX">\( D \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>D</mi> </math></EquationSource> </InlineEquation>. Suppose <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10474_2025_1507_Article_IEq9.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="53" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal{Z}(m_{D})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="script">Z</mi> <mo stretchy="false">(</mo> <msub> <mi>m</mi> <mi>D</mi> </msub> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> can be decomposed into the union of finite <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10474_2025_1507_Article_IEq10.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="51" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal{Z} _{i}(m),\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi mathvariant="script">Z</mi> <mi>i</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>m</mi> <mo stretchy="false">)</mo> </mrow> <mo>,</mo> </mrow> </math></EquationSource> </InlineEquation> where <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10474_2025_1507_Article_IEq11.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="46" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal{Z} _{i}(m)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi mathvariant="script">Z</mi> <mi>i</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>m</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> satisfies<InlineEquation ID="IEq12"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10474_2025_1507_Article_IEq12.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="321" /> </InlineMediaObject> <EquationSource Format="TEX">\( (\mathcal{Z} _{i}(m)-\mathcal{Z} _{i}(m))\backslash\mathbb{Z}^{n}\subset\mathcal{Z} _{i}(m)\subset(m^{-1}\mathbb{Z}\backslash \mathbb{Z})^{n} \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mrow> <mo stretchy="false">(</mo> <msub> <mi mathvariant="script">Z</mi> <mi>i</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>m</mi> <mo stretchy="false">)</mo> </mrow> <mo>-</mo> <msub> <mi mathvariant="script">Z</mi> <mi>i</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>m</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">)</mo> </mrow> <mrow> <mo stretchy="true">\</mo> </mrow> <msup> <mrow> <mi mathvariant="double-struck">Z</mi> </mrow> <mi>n</mi> </msup> <mo>⊂</mo> <msub> <mi mathvariant="script">Z</mi> <mi>i</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>m</mi> <mo stretchy="false">)</mo> </mrow> <mo>⊂</mo> <msup> <mrow> <mo stretchy="false">(</mo> <msup> <mi>m</mi> <mrow> <mo>-</mo> <mn>1</mn> </mrow> </msup> <mi mathvariant="double-struck">Z</mi> <mo stretchy="true">\</mo> <mi mathvariant="double-struck">Z</mi> <mo stretchy="false">)</mo> </mrow> <mi>n</mi> </msup> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq13"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10474_2025_1507_Article_IEq13.gif" Format="GIF" Height="22" Rendition="HTML" Resolution="72" Type="Linedraw" Width="150" /> </InlineMediaObject> <EquationSource Format="TEX">\( \mathcal{Z} _{i}(m)\nsubseteq(m_{1}^{-1}\mathbb{Z}\backslash \mathbb{Z})^{n} \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi mathvariant="script">Z</mi> <mi>i</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>m</mi> <mo stretchy="false">)</mo> </mrow> <mo>⊈</mo> <msup> <mrow> <mo stretchy="false">(</mo> <msubsup> <mi>m</mi> <mrow> <mn>1</mn> </mrow> <mrow> <mo>-</mo> <mn>1</mn> </mrow> </msubsup> <mi mathvariant="double-struck">Z</mi> <mo stretchy="true">\</mo> <mi mathvariant="double-struck">Z</mi> <mo stretchy="false">)</mo> </mrow> <mi>n</mi> </msup> </mrow> </math></EquationSource> </InlineEquation> for all integer <InlineEquation ID="IEq14"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10474_2025_1507_Article_IEq14.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="86" /> </InlineMediaObject> <EquationSource Format="TEX">\( m_{1}\in(0,m) \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>m</mi> <mn>1</mn> </msub> <mo>∈</mo> <mrow> <mo stretchy="false">(</mo> <mn>0</mn> <mo>,</mo> <mi>m</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>, then we show that <InlineEquation ID="IEq15"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10474_2025_1507_Article_IEq15.gif" Format="GIF" Height="22" Rendition="HTML" Resolution="72" Type="Linedraw" Width="77" /> </InlineMediaObject> <EquationSource Format="TEX">\( L^{2}(\mu_{\{R,D\}})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>L</mi> <mn>2</mn> </msup> <mrow> <mo stretchy="false">(</mo> <msub> <mi>μ</mi> <mrow> <mo stretchy="false">{</mo> <mi>R</mi> <mo>,</mo> <mi>D</mi> <mo stretchy="false">}</mo> </mrow> </msub> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> admits infinite orthogonal exponential functions if and only if <InlineEquation ID="IEq16"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10474_2025_1507_Article_IEq16.gif" Format="GIF" Height="31" Rendition="HTML" Resolution="72" Type="Linedraw" Width="83" /> </InlineMediaObject> <EquationSource Format="TEX">\( \rho_{i}=(\frac{m p_{i}}{q_{i}})^{\frac{1}{r_{i}}} \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>ρ</mi> <mi>i</mi> </msub> <mo>=</mo> <msup> <mrow> <mo stretchy="false">(</mo> <mfrac> <mrow> <mi>m</mi> <msub> <mi>p</mi> <mi>i</mi> </msub> </mrow> <msub> <mi>q</mi> <mi>i</mi> </msub> </mfrac> <mo stretchy="false">)</mo> </mrow> <mfrac> <mn>1</mn> <msub> <mi>r</mi> <mi>i</mi> </msub> </mfrac> </msup> </mrow> </math></EquationSource> </InlineEquation> for some <InlineEquation ID="IEq17"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10474_2025_1507_Article_IEq17.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="87" /> </InlineMediaObject> <EquationSource Format="TEX">\( r_{i},p_{i},q_{i}\in\mathbb{N} \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>r</mi> <mi>i</mi> </msub> <mo>,</mo> <msub> <mi>p</mi> <mi>i</mi> </msub> <mo>,</mo> <msub> <mi>q</mi> <mi>i</mi> </msub> <mo>∈</mo> <mi mathvariant="double-struck">N</mi> </mrow> </math></EquationSource> </InlineEquation> with <InlineEquation ID="IEq18"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10474_2025_1507_Article_IEq18.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="100" /> </InlineMediaObject> <EquationSource Format="TEX">\( \gcd(p_{i},q_{i})=1 \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo movablelimits="true">gcd</mo> <mo stretchy="false">(</mo> <msub> <mi>p</mi> <mi>i</mi> </msub> <mo>,</mo> <msub> <mi>q</mi> <mi>i</mi> </msub> <mo stretchy="false">)</mo> <mo>=</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq19"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10474_2025_1507_Article_IEq19.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="102" /> </InlineMediaObject> <EquationSource Format="TEX">\( i=1,2,\dots,n \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>i</mi> <mo>=</mo> <mn>1</mn> <mo>,</mo> <mn>2</mn> <mo>,</mo> <mo>⋯</mo> <mo>,</mo> <mi>n</mi> </mrow> </math></EquationSource> </InlineEquation>. Furthermore, if <InlineEquation ID="IEq20"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10474_2025_1507_Article_IEq20.gif" Format="GIF" Height="22" Rendition="HTML" Resolution="72" Type="Linedraw" Width="77" /> </InlineMediaObject> <EquationSource Format="TEX">\( L^{2}(\mu_{\{R,D\}})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>L</mi> <mn>2</mn> </msup> <mrow> <mo stretchy="false">(</mo> <msub> <mi>μ</mi> <mrow> <mo stretchy="false">{</mo> <mi>R</mi> <mo>,</mo> <mi>D</mi> <mo stretchy="false">}</mo> </mrow> </msub> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> does not admit infinite orthogonal exponential functions, we estimate the number of orthogonal exponential functions in some cases.</p>

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

The cardinality of orthogonal exponentials for a class of self-affine measures on \( \mathbb{R}^{n} \)

  • J. L. Chen,
  • X. Y. Yan,
  • P. F. Zhang

摘要

We study the cardinality of orthogonal exponential functions in \(L^{2}(\mu_{\{R,D\}})\) L 2 ( μ { R , D } ) , where \(\mu_{\{R,D\}} \) μ { R , D } is the self-affine measure generated by an expanding real matrix \( R = {\rm diag}[\rho_{1},\rho_{2},\dots,\rho_{n}] \) R = diag [ ρ 1 , ρ 2 , , ρ n ] and a finite digit set \( D\subset\mathbb{Z}^{n} \) D Z n . Let \( m \) m be a prime and \( \mathcal{Z}(m_{D}) \) Z ( m D ) be the set of zeros of mask polynomial \( m_{D} \) m D of \( D \) D . Suppose \(\mathcal{Z}(m_{D})\) Z ( m D ) can be decomposed into the union of finite \(\mathcal{Z} _{i}(m),\) Z i ( m ) , where \(\mathcal{Z} _{i}(m)\) Z i ( m ) satisfies \( (\mathcal{Z} _{i}(m)-\mathcal{Z} _{i}(m))\backslash\mathbb{Z}^{n}\subset\mathcal{Z} _{i}(m)\subset(m^{-1}\mathbb{Z}\backslash \mathbb{Z})^{n} \) ( Z i ( m ) - Z i ( m ) ) \ Z n Z i ( m ) ( m - 1 Z \ Z ) n and \( \mathcal{Z} _{i}(m)\nsubseteq(m_{1}^{-1}\mathbb{Z}\backslash \mathbb{Z})^{n} \) Z i ( m ) ( m 1 - 1 Z \ Z ) n for all integer \( m_{1}\in(0,m) \) m 1 ( 0 , m ) , then we show that \( L^{2}(\mu_{\{R,D\}})\) L 2 ( μ { R , D } ) admits infinite orthogonal exponential functions if and only if \( \rho_{i}=(\frac{m p_{i}}{q_{i}})^{\frac{1}{r_{i}}} \) ρ i = ( m p i q i ) 1 r i for some \( r_{i},p_{i},q_{i}\in\mathbb{N} \) r i , p i , q i N with \( \gcd(p_{i},q_{i})=1 \) gcd ( p i , q i ) = 1 , \( i=1,2,\dots,n \) i = 1 , 2 , , n . Furthermore, if \( L^{2}(\mu_{\{R,D\}})\) L 2 ( μ { R , D } ) does not admit infinite orthogonal exponential functions, we estimate the number of orthogonal exponential functions in some cases.