<p>Let <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="605_2025_2089_Article_IEq1.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="95" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathcal {R}}=\{R_j\}_{j=1}^\infty \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="script">R</mi> <mo>=</mo> <msubsup> <mrow> <mo stretchy="false">{</mo> <msub> <mi>R</mi> <mi>j</mi> </msub> <mo stretchy="false">}</mo> </mrow> <mrow> <mi>j</mi> <mo>=</mo> <mn>1</mn> </mrow> <mi>∞</mi> </msubsup> </mrow> </math></EquationSource> </InlineEquation> be a sequence of <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="605_2025_2089_Article_IEq2.gif" Format="GIF" Height="15" Rendition="HTML" Resolution="72" Type="Linedraw" Width="43" /> </InlineMediaObject> <EquationSource Format="TEX">\(d\times d\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>d</mi> <mo>×</mo> <mi>d</mi> </mrow> </math></EquationSource> </InlineEquation> expanding integer matrices and <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="605_2025_2089_Article_IEq3.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="77" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathcal {A}}=\{A_j\}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="script">A</mi> <mo>=</mo> <mo stretchy="false">{</mo> <msub> <mi>A</mi> <mi>j</mi> </msub> <mo stretchy="false">}</mo> </mrow> </math></EquationSource> </InlineEquation> be a sequence of finite digit sets in <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="605_2025_2089_Article_IEq4.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="21" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathbb {Z}}^d\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mi mathvariant="double-struck">Z</mi> </mrow> <mi>d</mi> </msup> </math></EquationSource> </InlineEquation>. In this paper, we give a construction of the frame measures for a class of Moran measures defined by infinite convolution of discrete measures <Equation ID="Equ23"> <MediaObject> <ImageObject Color="BlackWhite" FileRef="605_2025_2089_Article_Equ23.gif" Format="GIF" Height="24" Rendition="HTML" Resolution="72" Type="Linedraw" Width="366" /> </MediaObject> <EquationSource Format="TEX">\(\begin{aligned}\mu _{{\mathcal {A}}}:=\delta _{R_1^{-1}A_1}*\delta _{(R_2R_1)^{-1}A_2}\cdots *\delta _{(R_jR_{j-1}\cdots R_1)^{-1}A_j}\cdots ,\end{aligned}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mtable> <mtr> <mtd columnalign="right"> <mrow> <msub> <mi>μ</mi> <mi mathvariant="script">A</mi> </msub> <mo>:</mo> <mo>=</mo> <msub> <mi>δ</mi> <mrow> <msubsup> <mi>R</mi> <mn>1</mn> <mrow> <mo>-</mo> <mn>1</mn> </mrow> </msubsup> <msub> <mi>A</mi> <mn>1</mn> </msub> </mrow> </msub> <mrow /> <mo>∗</mo> <msub> <mi>δ</mi> <mrow> <msup> <mrow> <mo stretchy="false">(</mo> <msub> <mi>R</mi> <mn>2</mn> </msub> <msub> <mi>R</mi> <mn>1</mn> </msub> <mo stretchy="false">)</mo> </mrow> <mrow> <mo>-</mo> <mn>1</mn> </mrow> </msup> <msub> <mi>A</mi> <mn>2</mn> </msub> </mrow> </msub> <mo>⋯</mo> <mrow /> <mo>∗</mo> <msub> <mi>δ</mi> <mrow> <msup> <mrow> <mo stretchy="false">(</mo> <msub> <mi>R</mi> <mi>j</mi> </msub> <msub> <mi>R</mi> <mrow> <mi>j</mi> <mo>-</mo> <mn>1</mn> </mrow> </msub> <mo>⋯</mo> <msub> <mi>R</mi> <mn>1</mn> </msub> <mo stretchy="false">)</mo> </mrow> <mrow> <mo>-</mo> <mn>1</mn> </mrow> </msup> <msub> <mi>A</mi> <mi>j</mi> </msub> </mrow> </msub> <mo>⋯</mo> <mo>,</mo> </mrow> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>where the convergence is in the weak sense. Generally speaking, the Hausdorff dimension of the support of <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="605_2025_2089_Article_IEq5.gif" Format="GIF" Height="12" Rendition="HTML" Resolution="72" Type="Linedraw" Width="24" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mu _{{\mathcal {A}}}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>μ</mi> <mi mathvariant="script">A</mi> </msub> </math></EquationSource> </InlineEquation> is not the upper bound of the Beurling dimensions of its frame measures. We give a condition that yields an upper bound of the Beurling dimensions of some frame measures of <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="605_2025_2089_Article_IEq5.gif" Format="GIF" Height="12" Rendition="HTML" Resolution="72" Type="Linedraw" Width="24" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mu _{{\mathcal {A}}}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>μ</mi> <mi mathvariant="script">A</mi> </msub> </math></EquationSource> </InlineEquation> on <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="605_2025_2089_Article_IEq7.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="20" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathbb {R}}^d\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mi>d</mi> </msup> </math></EquationSource> </InlineEquation>, and this condition guarantees that the Hausdorff dimension of the support of <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="605_2025_2089_Article_IEq5.gif" Format="GIF" Height="12" Rendition="HTML" Resolution="72" Type="Linedraw" Width="24" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mu _{{\mathcal {A}}}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>μ</mi> <mi mathvariant="script">A</mi> </msub> </math></EquationSource> </InlineEquation> on <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="605_2025_2089_Article_IEq9.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="12" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathbb {R}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="double-struck">R</mi> </math></EquationSource> </InlineEquation> is the upper bound of Beurling dimensions of certain frame measures of it. Some examples are given to illuminate our theory.</p>

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

Some properties of frame measures for Moran measures

  • Fusheng Xiao

摘要

Let \({\mathcal {R}}=\{R_j\}_{j=1}^\infty \) R = { R j } j = 1 be a sequence of \(d\times d\) d × d expanding integer matrices and \({\mathcal {A}}=\{A_j\}\) A = { A j } be a sequence of finite digit sets in \({\mathbb {Z}}^d\) Z d . In this paper, we give a construction of the frame measures for a class of Moran measures defined by infinite convolution of discrete measures \(\begin{aligned}\mu _{{\mathcal {A}}}:=\delta _{R_1^{-1}A_1}*\delta _{(R_2R_1)^{-1}A_2}\cdots *\delta _{(R_jR_{j-1}\cdots R_1)^{-1}A_j}\cdots ,\end{aligned}\) μ A : = δ R 1 - 1 A 1 δ ( R 2 R 1 ) - 1 A 2 δ ( R j R j - 1 R 1 ) - 1 A j , where the convergence is in the weak sense. Generally speaking, the Hausdorff dimension of the support of \(\mu _{{\mathcal {A}}}\) μ A is not the upper bound of the Beurling dimensions of its frame measures. We give a condition that yields an upper bound of the Beurling dimensions of some frame measures of \(\mu _{{\mathcal {A}}}\) μ A on \({\mathbb {R}}^d\) R d , and this condition guarantees that the Hausdorff dimension of the support of \(\mu _{{\mathcal {A}}}\) μ A on \({\mathbb {R}}\) R is the upper bound of Beurling dimensions of certain frame measures of it. Some examples are given to illuminate our theory.