<p>For a prime number <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_2037_Article_IEq1.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="42" /> </InlineMediaObject> <EquationSource Format="TEX">\(p\ge 3\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>p</mi> <mo>≥</mo> <mn>3</mn> </mrow> </math></EquationSource> </InlineEquation>, let <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_2037_Article_IEq2.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="101" /> </InlineMediaObject> <EquationSource Format="TEX">\(A=diag[p,p]\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>A</mi> <mo>=</mo> <mi>d</mi> <mi>i</mi> <mi>a</mi> <mi>g</mi> <mo stretchy="false">[</mo> <mi>p</mi> <mo>,</mo> <mi>p</mi> <mo stretchy="false">]</mo> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_2037_Article_IEq3.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="82" /> </InlineMediaObject> <EquationSource Format="TEX">\(0\in \mathcal {B}\subset {\mathbb Z}^2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>0</mn> <mo>∈</mo> <mi mathvariant="script">B</mi> <mo>⊂</mo> <msup> <mrow> <mi mathvariant="double-struck">Z</mi> </mrow> <mn>2</mn> </msup> </mrow> </math></EquationSource> </InlineEquation> be a <i>p</i>-element digit set satisfying <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_2037_Article_IEq4.gif" Format="GIF" Height="33" Rendition="HTML" Resolution="72" Type="Linedraw" Width="215" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {Z}(\widehat{\delta }_{\mathcal {B}})=\bigcup _{j=1}^{p-1} \left( \frac{j}{p}(\omega ,\rho )^t+{\mathbb Z}^2\right) \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="script">Z</mi> <mrow> <mo stretchy="false">(</mo> <msub> <mover accent="true"> <mi>δ</mi> <mo stretchy="true">^</mo> </mover> <mi mathvariant="script">B</mi> </msub> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <msubsup> <mo>⋃</mo> <mrow> <mi>j</mi> <mo>=</mo> <mn>1</mn> </mrow> <mrow> <mi>p</mi> <mo>-</mo> <mn>1</mn> </mrow> </msubsup> <mfenced close=")" open="("> <mfrac> <mi>j</mi> <mi>p</mi> </mfrac> <msup> <mrow> <mo stretchy="false">(</mo> <mi>ω</mi> <mo>,</mo> <mi>ρ</mi> <mo stretchy="false">)</mo> </mrow> <mi>t</mi> </msup> <mo>+</mo> <msup> <mrow> <mi mathvariant="double-struck">Z</mi> </mrow> <mn>2</mn> </msup> </mfenced> </mrow> </math></EquationSource> </InlineEquation> for some <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_2037_Article_IEq5.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="177" /> </InlineMediaObject> <EquationSource Format="TEX">\(\{\rho ,\omega \}\subset \{1,\cdots ,p-1\}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">{</mo> <mi>ρ</mi> <mo>,</mo> <mi>ω</mi> <mo stretchy="false">}</mo> <mo>⊂</mo> <mo stretchy="false">{</mo> <mn>1</mn> <mo>,</mo> <mo>⋯</mo> <mo>,</mo> <mi>p</mi> <mo>-</mo> <mn>1</mn> <mo stretchy="false">}</mo> </mrow> </math></EquationSource> </InlineEquation>, where <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_2037_Article_IEq6.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="95" /> </InlineMediaObject> <EquationSource Format="TEX">\(\gcd (\rho ,\omega )=1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo movablelimits="true">gcd</mo> <mo stretchy="false">(</mo> <mi>ρ</mi> <mo>,</mo> <mi>ω</mi> <mo stretchy="false">)</mo> <mo>=</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_2037_Article_IEq7.gif" Format="GIF" Height="23" Rendition="HTML" Resolution="72" Type="Linedraw" Width="44" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {Z}(\widehat{\delta }_{\mathcal {B}})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="script">Z</mi> <mo stretchy="false">(</mo> <msub> <mover accent="true"> <mi>δ</mi> <mo stretchy="true">^</mo> </mover> <mi mathvariant="script">B</mi> </msub> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> is the zero set of the Fourier transform of <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_2037_Article_IEq8.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="19" /> </InlineMediaObject> <EquationSource Format="TEX">\(\delta _{\mathcal {B}}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>δ</mi> <mi mathvariant="script">B</mi> </msub> </math></EquationSource> </InlineEquation>. It is known [<CitationRef CitationID="CR38">38</CitationRef>] that the associated self-similar measure <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_2037_Article_IEq9.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="35" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mu _{A,\mathcal {B}}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>μ</mi> <mrow> <mi>A</mi> <mo>,</mo> <mi mathvariant="script">B</mi> </mrow> </msub> </math></EquationSource> </InlineEquation> is a spectral measure, i.e., there exists a countable set <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_2037_Article_IEq10.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="52" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Lambda \subset \mathbb {R}^2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="normal">Λ</mi> <mo>⊂</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mn>2</mn> </msup> </mrow> </math></EquationSource> </InlineEquation> such that <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_2037_Article_IEq11.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="130" /> </InlineMediaObject> <EquationSource Format="TEX">\(\{e^{2\pi i\langle \lambda ,x\rangle }:\lambda \in \Lambda \}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">{</mo> <msup> <mi>e</mi> <mrow> <mn>2</mn> <mi>π</mi> <mi>i</mi> <mo stretchy="false">⟨</mo> <mi>λ</mi> <mo>,</mo> <mi>x</mi> <mo stretchy="false">⟩</mo> </mrow> </msup> <mo>:</mo> <mi>λ</mi> <mo>∈</mo> <mi mathvariant="normal">Λ</mi> <mo stretchy="false">}</mo> </mrow> </math></EquationSource> </InlineEquation> forms an orthonormal basis for <InlineEquation ID="IEq12"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_2037_Article_IEq12.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="63" /> </InlineMediaObject> <EquationSource Format="TEX">\(L^2(\mu _{A,\mathcal {B}})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>L</mi> <mn>2</mn> </msup> <mrow> <mo stretchy="false">(</mo> <msub> <mi>μ</mi> <mrow> <mi>A</mi> <mo>,</mo> <mi mathvariant="script">B</mi> </mrow> </msub> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>. In this paper, we characterize the structure of the maximal orthogonal sets and spectra of the spectral self-similar measure <InlineEquation ID="IEq13"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_2037_Article_IEq9.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="35" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mu _{A,\mathcal {B}}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>μ</mi> <mrow> <mi>A</mi> <mo>,</mo> <mi mathvariant="script">B</mi> </mrow> </msub> </math></EquationSource> </InlineEquation>. For the special case <InlineEquation ID="IEq14"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_2037_Article_IEq14.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="73" /> </InlineMediaObject> <EquationSource Format="TEX">\(\omega =\rho =1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>ω</mi> <mo>=</mo> <mi>ρ</mi> <mo>=</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation>, we give a concrete spectrum <InlineEquation ID="IEq15"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_2037_Article_IEq15.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Lambda \)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="normal">Λ</mi> </math></EquationSource> </InlineEquation> and find all matrices <InlineEquation ID="IEq16"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_2037_Article_IEq16.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="80" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Re \in M_2({\mathbb {R}})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>ℜ</mi> <mo>∈</mo> <msub> <mi>M</mi> <mn>2</mn> </msub> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="double-struck">R</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> such that <InlineEquation ID="IEq17"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_2037_Article_IEq17.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="25" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Re \Lambda \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>ℜ</mi> <mi mathvariant="normal">Λ</mi> </mrow> </math></EquationSource> </InlineEquation> is also a spectrum of <InlineEquation ID="IEq18"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_2037_Article_IEq9.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="35" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mu _{A,\mathcal {B}}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>μ</mi> <mrow> <mi>A</mi> <mo>,</mo> <mi mathvariant="script">B</mi> </mrow> </msub> </math></EquationSource> </InlineEquation>.</p>

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

Spectral Structure and Spectral Eigenmatrix Problem of Planar Self-Similar Measures with p Digits

  • Ming-Liang Chen,
  • Jian Cao

摘要

For a prime number \(p\ge 3\) p 3 , let \(A=diag[p,p]\) A = d i a g [ p , p ] and \(0\in \mathcal {B}\subset {\mathbb Z}^2\) 0 B Z 2 be a p-element digit set satisfying \(\mathcal {Z}(\widehat{\delta }_{\mathcal {B}})=\bigcup _{j=1}^{p-1} \left( \frac{j}{p}(\omega ,\rho )^t+{\mathbb Z}^2\right) \) Z ( δ ^ B ) = j = 1 p - 1 j p ( ω , ρ ) t + Z 2 for some \(\{\rho ,\omega \}\subset \{1,\cdots ,p-1\}\) { ρ , ω } { 1 , , p - 1 } , where \(\gcd (\rho ,\omega )=1\) gcd ( ρ , ω ) = 1 and \(\mathcal {Z}(\widehat{\delta }_{\mathcal {B}})\) Z ( δ ^ B ) is the zero set of the Fourier transform of \(\delta _{\mathcal {B}}\) δ B . It is known [38] that the associated self-similar measure \(\mu _{A,\mathcal {B}}\) μ A , B is a spectral measure, i.e., there exists a countable set \(\Lambda \subset \mathbb {R}^2\) Λ R 2 such that \(\{e^{2\pi i\langle \lambda ,x\rangle }:\lambda \in \Lambda \}\) { e 2 π i λ , x : λ Λ } forms an orthonormal basis for \(L^2(\mu _{A,\mathcal {B}})\) L 2 ( μ A , B ) . In this paper, we characterize the structure of the maximal orthogonal sets and spectra of the spectral self-similar measure \(\mu _{A,\mathcal {B}}\) μ A , B . For the special case \(\omega =\rho =1\) ω = ρ = 1 , we give a concrete spectrum \(\Lambda \) Λ and find all matrices \(\Re \in M_2({\mathbb {R}})\) M 2 ( R ) such that \(\Re \Lambda \) Λ is also a spectrum of \(\mu _{A,\mathcal {B}}\) μ A , B .