<p>We prove that the pushforwards of a very general class of fractal measures <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2025_3091_Article_IEq1.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> on <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2025_3091_Article_IEq2.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> under a large family of non-linear maps <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2025_3091_Article_IEq3.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="76" /> </InlineMediaObject> <EquationSource Format="TEX">\(F{:}\,{\mathbb {R}}^d \rightarrow {\mathbb {R}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>F</mi> <mo>:</mo> <mspace width="0.166667em" /> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mi>d</mi> </msup> <mo stretchy="false">→</mo> <mi mathvariant="double-struck">R</mi> </mrow> </math></EquationSource> </InlineEquation> exhibit polynomial Fourier decay: there exist <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2025_3091_Article_IEq4.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="61" /> </InlineMediaObject> <EquationSource Format="TEX">\(C,\eta &gt;0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>C</mi> <mo>,</mo> <mi>η</mi> <mo>&gt;</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation> such that <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2025_3091_Article_IEq5.gif" Format="GIF" Height="23" Rendition="HTML" Resolution="72" Type="Linedraw" Width="126" /> </InlineMediaObject> <EquationSource Format="TEX">\(|\widehat{F\mu }(\xi )|\le C|\xi |^{-\eta }\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mrow> <mo stretchy="false">|</mo> </mrow> <mover accent="true"> <mrow> <mi>F</mi> <mi>μ</mi> </mrow> <mo stretchy="true">^</mo> </mover> <msup> <mrow> <mrow> <mo stretchy="false">(</mo> <mi>ξ</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">|</mo> <mo>≤</mo> <mi>C</mi> <mo stretchy="false">|</mo> <mi>ξ</mi> <mo stretchy="false">|</mo> </mrow> <mrow> <mo>-</mo> <mi>η</mi> </mrow> </msup> </mrow> </math></EquationSource> </InlineEquation> for all <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2025_3091_Article_IEq6.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="41" /> </InlineMediaObject> <EquationSource Format="TEX">\(\xi \ne 0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>ξ</mi> <mo>≠</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation>. Using this, we prove that if <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2025_3091_Article_IEq7.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="194" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Phi = \{ \varphi _a{:}\,[0,1] \rightarrow [0,1]\}_{a \in \mathcal {A}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="normal">Φ</mi> <mo>=</mo> <msub> <mrow> <mo stretchy="false">{</mo> <msub> <mi>φ</mi> <mi>a</mi> </msub> <mo>:</mo> <mspace width="0.166667em" /> <mrow> <mo stretchy="false">[</mo> <mn>0</mn> <mo>,</mo> <mn>1</mn> <mo stretchy="false">]</mo> </mrow> <mo stretchy="false">→</mo> <mrow> <mo stretchy="false">[</mo> <mn>0</mn> <mo>,</mo> <mn>1</mn> <mo stretchy="false">]</mo> </mrow> <mo stretchy="false">}</mo> </mrow> <mrow> <mi>a</mi> <mo>∈</mo> <mi mathvariant="script">A</mi> </mrow> </msub> </mrow> </math></EquationSource> </InlineEquation> is an iterated function system consisting of analytic contractions, and there exists <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2025_3091_Article_IEq8.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="48" /> </InlineMediaObject> <EquationSource Format="TEX">\(a \in \mathcal {A}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>a</mi> <mo>∈</mo> <mi mathvariant="script">A</mi> </mrow> </math></EquationSource> </InlineEquation> such that <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2025_3091_Article_IEq9.gif" Format="GIF" Height="12" Rendition="HTML" Resolution="72" Type="Linedraw" Width="21" /> </InlineMediaObject> <EquationSource Format="TEX">\(\varphi _a\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>φ</mi> <mi>a</mi> </msub> </math></EquationSource> </InlineEquation> is not an affine map, then every non-atomic self-conformal measure for <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2025_3091_Article_IEq10.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Phi \)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="normal">Φ</mi> </math></EquationSource> </InlineEquation> has polynomial Fourier decay; this result was obtained simultaneously by Algom, Rodriguez Hertz, and Wang. We prove applications related to the Fourier uniqueness problem, Fractal Uncertainty Principles, Fourier restriction estimates, and quantitative equidistribution properties of numbers in fractal sets.</p>

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

Polynomial Fourier decay for fractal measures and their pushforwards

  • Simon Baker,
  • Amlan Banaji

摘要

We prove that the pushforwards of a very general class of fractal measures \(\mu \) μ on \(\mathbb {R}^d\) R d under a large family of non-linear maps \(F{:}\,{\mathbb {R}}^d \rightarrow {\mathbb {R}}\) F : R d R exhibit polynomial Fourier decay: there exist \(C,\eta >0\) C , η > 0 such that \(|\widehat{F\mu }(\xi )|\le C|\xi |^{-\eta }\) | F μ ^ ( ξ ) | C | ξ | - η for all \(\xi \ne 0\) ξ 0 . Using this, we prove that if \(\Phi = \{ \varphi _a{:}\,[0,1] \rightarrow [0,1]\}_{a \in \mathcal {A}}\) Φ = { φ a : [ 0 , 1 ] [ 0 , 1 ] } a A is an iterated function system consisting of analytic contractions, and there exists \(a \in \mathcal {A}\) a A such that \(\varphi _a\) φ a is not an affine map, then every non-atomic self-conformal measure for \(\Phi \) Φ has polynomial Fourier decay; this result was obtained simultaneously by Algom, Rodriguez Hertz, and Wang. We prove applications related to the Fourier uniqueness problem, Fractal Uncertainty Principles, Fourier restriction estimates, and quantitative equidistribution properties of numbers in fractal sets.