<p>Jorgensen and Pedersen (J. Anal. Math., 1998) showed that the first example of middle-third Cantor measure, referred to as a non-spectral measure, does not admit any orthogonal <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="43037_2025_436_Article_IEq1.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="19" /> </InlineMediaObject> <EquationSource Format="TEX">\(L^2\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>L</mi> <mn>2</mn> </msup> </math></EquationSource> </InlineEquation> Fourier series, and there exist at most two orthogonal exponential functions in <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="43037_2025_436_Article_IEq1.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="19" /> </InlineMediaObject> <EquationSource Format="TEX">\(L^2\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>L</mi> <mn>2</mn> </msup> </math></EquationSource> </InlineEquation>-space. For a non-spectral measure <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="43037_2025_436_Article_IEq3.gif" Format="GIF" Height="12" Rendition="HTML" Resolution="72" Type="Linedraw" Width="15" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mu \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>μ</mi> </math></EquationSource> </InlineEquation>, we typically focus on twofold questions: (C1) whether <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="43037_2025_436_Article_IEq4.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="42" /> </InlineMediaObject> <EquationSource Format="TEX">\(L^2(\mu )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>L</mi> <mn>2</mn> </msup> <mrow> <mo stretchy="false">(</mo> <mi>μ</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> contains only finitely many orthogonal exponential functions; (C2) whether <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="43037_2025_436_Article_IEq4.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="42" /> </InlineMediaObject> <EquationSource Format="TEX">\(L^2(\mu )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>L</mi> <mn>2</mn> </msup> <mrow> <mo stretchy="false">(</mo> <mi>μ</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> admits infinite families of orthogonal exponential functions, none of which form an orthogonal basis. In this work, based on some techniques from matrix theory over finite fields, we study non-spectral problem concerning a class of <i>iterated function system (IFS) measures</i> <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="43037_2025_436_Article_IEq6.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="40" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mu _{M,D}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>μ</mi> <mrow> <mi>M</mi> <mo>,</mo> <mi>D</mi> </mrow> </msub> </math></EquationSource> </InlineEquation> in <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="43037_2025_436_Article_IEq7.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="18" /> </InlineMediaObject> <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>, where <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="43037_2025_436_Article_IEq8.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="87" /> </InlineMediaObject> <EquationSource Format="TEX">\(M\in M_{2}(\mathbb {Z})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>M</mi> <mo>∈</mo> <msub> <mi>M</mi> <mn>2</mn> </msub> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="double-struck">Z</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> is expanding, and the integer digit set <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="43037_2025_436_Article_IEq9.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="244" /> </InlineMediaObject> <EquationSource Format="TEX">\(D=\{(0,0)^t,(1,0)^t,(0,1)^t,(d,d)^t\}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>D</mi> <mo>=</mo> <mo stretchy="false">{</mo> <msup> <mrow> <mo stretchy="false">(</mo> <mn>0</mn> <mo>,</mo> <mn>0</mn> <mo stretchy="false">)</mo> </mrow> <mi>t</mi> </msup> <mo>,</mo> <msup> <mrow> <mo stretchy="false">(</mo> <mn>1</mn> <mo>,</mo> <mn>0</mn> <mo stretchy="false">)</mo> </mrow> <mi>t</mi> </msup> <mo>,</mo> <msup> <mrow> <mo stretchy="false">(</mo> <mn>0</mn> <mo>,</mo> <mn>1</mn> <mo stretchy="false">)</mo> </mrow> <mi>t</mi> </msup> <mo>,</mo> <msup> <mrow> <mo stretchy="false">(</mo> <mi>d</mi> <mo>,</mo> <mi>d</mi> <mo stretchy="false">)</mo> </mrow> <mi>t</mi> </msup> <mo stretchy="false">}</mo> </mrow> </math></EquationSource> </InlineEquation> with <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="43037_2025_436_Article_IEq10.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="40" /> </InlineMediaObject> <EquationSource Format="TEX">\(d\ne 1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>d</mi> <mo>≠</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation>. This paper provides an almost comprehensive investigation of this problem, and the exact maximal cardinality is given in term of question (C1).</p>

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

Matrices over finite fields applied in exponential orthogonal family

  • Jing-Cheng Liu,
  • Dong Wu,
  • Jia Zheng

摘要

Jorgensen and Pedersen (J. Anal. Math., 1998) showed that the first example of middle-third Cantor measure, referred to as a non-spectral measure, does not admit any orthogonal \(L^2\) L 2 Fourier series, and there exist at most two orthogonal exponential functions in \(L^2\) L 2 -space. For a non-spectral measure \(\mu \) μ , we typically focus on twofold questions: (C1) whether \(L^2(\mu )\) L 2 ( μ ) contains only finitely many orthogonal exponential functions; (C2) whether \(L^2(\mu )\) L 2 ( μ ) admits infinite families of orthogonal exponential functions, none of which form an orthogonal basis. In this work, based on some techniques from matrix theory over finite fields, we study non-spectral problem concerning a class of iterated function system (IFS) measures \(\mu _{M,D}\) μ M , D in \(\mathbb {R}^2\) R 2 , where \(M\in M_{2}(\mathbb {Z})\) M M 2 ( Z ) is expanding, and the integer digit set \(D=\{(0,0)^t,(1,0)^t,(0,1)^t,(d,d)^t\}\) D = { ( 0 , 0 ) t , ( 1 , 0 ) t , ( 0 , 1 ) t , ( d , d ) t } with \(d\ne 1\) d 1 . This paper provides an almost comprehensive investigation of this problem, and the exact maximal cardinality is given in term of question (C1).