<p>We investigate the <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3846_Article_IEq1.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="20" /> </InlineMediaObject> <EquationSource Format="TEX">\(L^p\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>L</mi> <mi>p</mi> </msup> </math></EquationSource> </InlineEquation> decay estimates of a class of non-localized oscillatory fractional integral operators of the form <Equation ID="Equ39"> <MediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3846_Article_Equ39.gif" Format="GIF" Height="41" Rendition="HTML" Resolution="72" Type="Linedraw" Width="296" /> </MediaObject> <EquationSource Format="TEX">\(\begin{aligned} T_{\lambda ,-\alpha }f(x) = \int _{\mathbb {R}} e^{i\lambda P(x - y)} |x - y|^{-\alpha } f(y)\,dy, \end{aligned}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mtable> <mtr> <mtd columnalign="right"> <mrow> <msub> <mi>T</mi> <mrow> <mi>λ</mi> <mo>,</mo> <mo>-</mo> <mi>α</mi> </mrow> </msub> <mi>f</mi> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <msub> <mo>∫</mo> <mi mathvariant="double-struck">R</mi> </msub> <msup> <mi>e</mi> <mrow> <mi>i</mi> <mi>λ</mi> <mi>P</mi> <mo stretchy="false">(</mo> <mi>x</mi> <mo>-</mo> <mi>y</mi> <mo stretchy="false">)</mo> </mrow> </msup> <msup> <mrow> <mo stretchy="false">|</mo> <mi>x</mi> <mo>-</mo> <mi>y</mi> <mo stretchy="false">|</mo> </mrow> <mrow> <mo>-</mo> <mi>α</mi> </mrow> </msup> <mi>f</mi> <mrow> <mo stretchy="false">(</mo> <mi>y</mi> <mo stretchy="false">)</mo> </mrow> <mspace width="0.166667em" /> <mi>d</mi> <mi>y</mi> <mo>,</mo> </mrow> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>where <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3846_Article_IEq2.gif" Format="GIF" Height="15" Rendition="HTML" Resolution="72" Type="Linedraw" Width="74" /> </InlineMediaObject> <EquationSource Format="TEX">\(0 \le \alpha &lt; 1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>0</mn> <mo>≤</mo> <mi>α</mi> <mo>&lt;</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3846_Article_IEq3.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="42" /> </InlineMediaObject> <EquationSource Format="TEX">\(\lambda \ge 1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>λ</mi> <mo>≥</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation>, and <i>P</i> is a real polynomial of degree <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3846_Article_IEq4.gif" Format="GIF" Height="15" Rendition="HTML" Resolution="72" Type="Linedraw" Width="43" /> </InlineMediaObject> <EquationSource Format="TEX">\(n \ge 2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>n</mi> <mo>≥</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation>. Our goal is to characterize the sharp decay rate <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3846_Article_IEq5.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="12" /> </InlineMediaObject> <EquationSource Format="TEX">\(\delta \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>δ</mi> </math></EquationSource> </InlineEquation> in the estimate <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3846_Article_IEq6.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="146" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Vert T_{\lambda ,-\alpha }\Vert _{L^p \rightarrow L^p} \lesssim \lambda ^{-\delta }\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mrow> <mo stretchy="false">‖</mo> </mrow> <msub> <mi>T</mi> <mrow> <mi>λ</mi> <mo>,</mo> <mo>-</mo> <mi>α</mi> </mrow> </msub> <msub> <mrow> <mo stretchy="false">‖</mo> </mrow> <mrow> <msup> <mi>L</mi> <mi>p</mi> </msup> <mo stretchy="false">→</mo> <msup> <mi>L</mi> <mi>p</mi> </msup> </mrow> </msub> <mo>≲</mo> <msup> <mi>λ</mi> <mrow> <mo>-</mo> <mi>δ</mi> </mrow> </msup> </mrow> </math></EquationSource> </InlineEquation> in terms of the parameters <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3846_Article_IEq7.gif" Format="GIF" Height="10" Rendition="HTML" Resolution="72" Type="Linedraw" Width="14" /> </InlineMediaObject> <EquationSource Format="TEX">\(\alpha \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>α</mi> </math></EquationSource> </InlineEquation> and <i>p</i>. To this end, we introduce a hexagonal region <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3846_Article_IEq8.gif" Format="GIF" Height="22" Rendition="HTML" Resolution="72" Type="Linedraw" Width="71" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {H}(\gamma , \frac{1 - \alpha }{n})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="script">H</mi> <mo stretchy="false">(</mo> <mi>γ</mi> <mo>,</mo> <mfrac> <mrow> <mn>1</mn> <mo>-</mo> <mi>α</mi> </mrow> <mi>n</mi> </mfrac> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> in the <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3846_Article_IEq9.gif" Format="GIF" Height="25" Rendition="HTML" Resolution="72" Type="Linedraw" Width="38" /> </InlineMediaObject> <EquationSource Format="TEX">\((\frac{1}{p}, \delta )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <mfrac> <mn>1</mn> <mi>p</mi> </mfrac> <mo>,</mo> <mi>δ</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>-plane that precisely describes the admissible range for decay, where <Equation ID="Equ40"> <MediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3846_Article_Equ40.gif" Format="GIF" Height="43" Rendition="HTML" Resolution="72" Type="Linedraw" Width="192" /> </MediaObject> <EquationSource Format="TEX">\(\begin{aligned} \gamma = \min \left\{ \frac{1 - \alpha }{\ell + 2}, \frac{1}{2 + m} \right\} . \end{aligned}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mtable> <mtr> <mtd columnalign="right"> <mrow> <mi>γ</mi> <mo>=</mo> <mo movablelimits="true">min</mo> <mfenced close="}" open="{"> <mfrac> <mrow> <mn>1</mn> <mo>-</mo> <mi>α</mi> </mrow> <mrow> <mi>ℓ</mi> <mo>+</mo> <mn>2</mn> </mrow> </mfrac> <mo>,</mo> <mfrac> <mn>1</mn> <mrow> <mn>2</mn> <mo>+</mo> <mi>m</mi> </mrow> </mfrac> </mfenced> <mo>.</mo> </mrow> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>Here, <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3846_Article_IEq10.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="12" /> </InlineMediaObject> <EquationSource Format="TEX">\(\ell \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>ℓ</mi> </math></EquationSource> </InlineEquation> is the order of vanishing of <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3846_Article_IEq11.gif" Format="GIF" Height="15" Rendition="HTML" Resolution="72" Type="Linedraw" Width="23" /> </InlineMediaObject> <EquationSource Format="TEX">\(P''\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>P</mi> <mrow> <mo>′</mo> <mo>′</mo> </mrow> </msup> </math></EquationSource> </InlineEquation> at the origin, and <i>m</i> is the maximum multiplicity among nonzero real roots of <InlineEquation ID="IEq12"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3846_Article_IEq12.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="70" /> </InlineMediaObject> <EquationSource Format="TEX">\(P''(t) = 0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>P</mi> <mrow> <mo>′</mo> <mo>′</mo> </mrow> </msup> <mrow> <mo stretchy="false">(</mo> <mi>t</mi> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation>. We prove that the decay estimate holds if and only if <InlineEquation ID="IEq13"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3846_Article_IEq9.gif" Format="GIF" Height="25" Rendition="HTML" Resolution="72" Type="Linedraw" Width="38" /> </InlineMediaObject> <EquationSource Format="TEX">\((\frac{1}{p}, \delta )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <mfrac> <mn>1</mn> <mi>p</mi> </mfrac> <mo>,</mo> <mi>δ</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> lies inside this hexagon. Our approach decomposes the operator into localized parts near singular points and a non-localized remainder. We apply the van der Corput-type estimates to handle <InlineEquation ID="IEq14"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3846_Article_IEq14.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> decay near singularities and derive Hardy space bounds to interpolate to the full <InlineEquation ID="IEq15"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3846_Article_IEq1.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="20" /> </InlineMediaObject> <EquationSource Format="TEX">\(L^p\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>L</mi> <mi>p</mi> </msup> </math></EquationSource> </InlineEquation> range. For the non-localized parts, we establish decay estimates using multiplier techniques adapted to translation-invariant kernels. This yields a complete description of the <InlineEquation ID="IEq16"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3846_Article_IEq1.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="20" /> </InlineMediaObject> <EquationSource Format="TEX">\(L^p\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>L</mi> <mi>p</mi> </msup> </math></EquationSource> </InlineEquation> behavior of <InlineEquation ID="IEq17"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3846_Article_IEq17.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="40" /> </InlineMediaObject> <EquationSource Format="TEX">\(T_{\lambda ,-\alpha }\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>T</mi> <mrow> <mi>λ</mi> <mo>,</mo> <mo>-</mo> <mi>α</mi> </mrow> </msub> </math></EquationSource> </InlineEquation> in terms of both singular structure and kernel decay.</p>

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

Non-localized oscillatory fractional integral operators with polynomial phase functions

  • Yaryong Heo,
  • Sunggeum Hong,
  • Tay Suh,
  • Chan Woo Yang

摘要

We investigate the \(L^p\) L p decay estimates of a class of non-localized oscillatory fractional integral operators of the form \(\begin{aligned} T_{\lambda ,-\alpha }f(x) = \int _{\mathbb {R}} e^{i\lambda P(x - y)} |x - y|^{-\alpha } f(y)\,dy, \end{aligned}\) T λ , - α f ( x ) = R e i λ P ( x - y ) | x - y | - α f ( y ) d y , where \(0 \le \alpha < 1\) 0 α < 1 , \(\lambda \ge 1\) λ 1 , and P is a real polynomial of degree \(n \ge 2\) n 2 . Our goal is to characterize the sharp decay rate \(\delta \) δ in the estimate \(\Vert T_{\lambda ,-\alpha }\Vert _{L^p \rightarrow L^p} \lesssim \lambda ^{-\delta }\) T λ , - α L p L p λ - δ in terms of the parameters \(\alpha \) α and p. To this end, we introduce a hexagonal region \(\mathcal {H}(\gamma , \frac{1 - \alpha }{n})\) H ( γ , 1 - α n ) in the \((\frac{1}{p}, \delta )\) ( 1 p , δ ) -plane that precisely describes the admissible range for decay, where \(\begin{aligned} \gamma = \min \left\{ \frac{1 - \alpha }{\ell + 2}, \frac{1}{2 + m} \right\} . \end{aligned}\) γ = min 1 - α + 2 , 1 2 + m . Here, \(\ell \) is the order of vanishing of \(P''\) P at the origin, and m is the maximum multiplicity among nonzero real roots of \(P''(t) = 0\) P ( t ) = 0 . We prove that the decay estimate holds if and only if \((\frac{1}{p}, \delta )\) ( 1 p , δ ) lies inside this hexagon. Our approach decomposes the operator into localized parts near singular points and a non-localized remainder. We apply the van der Corput-type estimates to handle \(L^2\) L 2 decay near singularities and derive Hardy space bounds to interpolate to the full \(L^p\) L p range. For the non-localized parts, we establish decay estimates using multiplier techniques adapted to translation-invariant kernels. This yields a complete description of the \(L^p\) L p behavior of \(T_{\lambda ,-\alpha }\) T λ , - α in terms of both singular structure and kernel decay.