<p>Let <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13324_2025_1013_Article_IEq1.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="290" /> </InlineMediaObject> <EquationSource Format="TEX">\(n\ge 1,0&lt;\rho &lt;1, \max \{\rho ,1-\rho \}\le \delta \le 1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>n</mi> <mo>≥</mo> <mn>1</mn> <mo>,</mo> <mn>0</mn> <mo>&lt;</mo> <mi>ρ</mi> <mo>&lt;</mo> <mn>1</mn> <mo>,</mo> <mo movablelimits="true">max</mo> <mo stretchy="false">{</mo> <mi>ρ</mi> <mo>,</mo> <mn>1</mn> <mo>-</mo> <mi>ρ</mi> <mo stretchy="false">}</mo> <mo>≤</mo> <mi>δ</mi> <mo>≤</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation> and <Equation ID="Equ22"> <MediaObject> <ImageObject Color="BlackWhite" FileRef="13324_2025_1013_Article_Equ22.gif" Format="GIF" Height="37" Rendition="HTML" Resolution="72" Type="Linedraw" Width="293" /> </MediaObject> <EquationSource Format="TEX">\(\begin{aligned} m_1=\rho -n+(n-1)\min \{\frac{1}{2},\rho \}+\frac{1-\delta }{2}. \end{aligned}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mtable> <mtr> <mtd columnalign="right"> <mrow> <msub> <mi>m</mi> <mn>1</mn> </msub> <mo>=</mo> <mi>ρ</mi> <mo>-</mo> <mi>n</mi> <mo>+</mo> <mrow> <mo stretchy="false">(</mo> <mi>n</mi> <mo>-</mo> <mn>1</mn> <mo stretchy="false">)</mo> </mrow> <mo movablelimits="true">min</mo> <mrow> <mo stretchy="false">{</mo> <mfrac> <mn>1</mn> <mn>2</mn> </mfrac> <mo>,</mo> <mi>ρ</mi> <mo stretchy="false">}</mo> </mrow> <mo>+</mo> <mfrac> <mrow> <mn>1</mn> <mo>-</mo> <mi>δ</mi> </mrow> <mn>2</mn> </mfrac> <mo>.</mo> </mrow> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>If the amplitude <i>a</i> belongs to the Hörmander class <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13324_2025_1013_Article_IEq2.gif" Format="GIF" Height="23" Rendition="HTML" Resolution="72" Type="Linedraw" Width="29" /> </InlineMediaObject> <EquationSource Format="TEX">\(S^{m_1}_{\rho ,\delta }\)</EquationSource> <EquationSource Format="MATHML"><math> <msubsup> <mi>S</mi> <mrow> <mi>ρ</mi> <mo>,</mo> <mi>δ</mi> </mrow> <msub> <mi>m</mi> <mn>1</mn> </msub> </msubsup> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13324_2025_1013_Article_IEq3.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="51" /> </InlineMediaObject> <EquationSource Format="TEX">\(\phi \in \Phi ^{2}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>ϕ</mi> <mo>∈</mo> <msup> <mi mathvariant="normal">Φ</mi> <mn>2</mn> </msup> </mrow> </math></EquationSource> </InlineEquation> satisfies the strong non-degeneracy condition, then we prove that the following Fourier integral operator <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13324_2025_1013_Article_IEq4.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="29" /> </InlineMediaObject> <EquationSource Format="TEX">\(T_{\phi ,a}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>T</mi> <mrow> <mi>ϕ</mi> <mo>,</mo> <mi>a</mi> </mrow> </msub> </math></EquationSource> </InlineEquation> defined by <Equation ID="Equ23"> <MediaObject> <ImageObject Color="BlackWhite" FileRef="13324_2025_1013_Article_Equ23.gif" Format="GIF" Height="41" Rendition="HTML" Resolution="72" Type="Linedraw" Width="252" /> </MediaObject> <EquationSource Format="TEX">\(\begin{aligned} T_{\phi ,a}f(x)=\int _{{\mathbb {R}}^{n}}e^{i\phi (x,\xi )}a(x,\xi ){\widehat{f}}(\xi )d\xi , \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> <mi>a</mi> </mrow> </msub> <mi>f</mi> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <msub> <mo>∫</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mi>n</mi> </msup> </msub> <msup> <mi>e</mi> <mrow> <mi>i</mi> <mi>ϕ</mi> <mo stretchy="false">(</mo> <mi>x</mi> <mo>,</mo> <mi>ξ</mi> <mo stretchy="false">)</mo> </mrow> </msup> <mi>a</mi> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo>,</mo> <mi>ξ</mi> <mo stretchy="false">)</mo> </mrow> <mover accent="true"> <mi>f</mi> <mo stretchy="true">^</mo> </mover> <mrow> <mo stretchy="false">(</mo> <mi>ξ</mi> <mo stretchy="false">)</mo> </mrow> <mi>d</mi> <mi>ξ</mi> <mo>,</mo> </mrow> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>is bounded from the local Hardy space <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13324_2025_1013_Article_IEq5.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="48" /> </InlineMediaObject> <EquationSource Format="TEX">\(h^1({\mathbb {R}}^n)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>h</mi> <mn>1</mn> </msup> <mrow> <mo stretchy="false">(</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mi>n</mi> </msup> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> to <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13324_2025_1013_Article_IEq6.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="50" /> </InlineMediaObject> <EquationSource Format="TEX">\(L^1({\mathbb {R}}^n)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>L</mi> <mn>1</mn> </msup> <mrow> <mo stretchy="false">(</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mi>n</mi> </msup> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>. As a corollary, we can also obtain the corresponding <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13324_2025_1013_Article_IEq7.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="50" /> </InlineMediaObject> <EquationSource Format="TEX">\(L^p({\mathbb {R}}^n)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>L</mi> <mi>p</mi> </msup> <mrow> <mo stretchy="false">(</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mi>n</mi> </msup> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>-boundedness when <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13324_2025_1013_Article_IEq8.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="71" /> </InlineMediaObject> <EquationSource Format="TEX">\(1&lt;p&lt;2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>1</mn> <mo>&lt;</mo> <mi>p</mi> <mo>&lt;</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation>. These theorems are rigorous improvements on the recent works of Staubach and his collaborators. When <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13324_2025_1013_Article_IEq9.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="215" /> </InlineMediaObject> <EquationSource Format="TEX">\(0\le \rho \le 1,\delta \le \max \{\rho ,1-\rho \}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>0</mn> <mo>≤</mo> <mi>ρ</mi> <mo>≤</mo> <mn>1</mn> <mo>,</mo> <mi>δ</mi> <mo>≤</mo> <mo movablelimits="true">max</mo> <mo stretchy="false">{</mo> <mi>ρ</mi> <mo>,</mo> <mn>1</mn> <mo>-</mo> <mi>ρ</mi> <mo stretchy="false">}</mo> </mrow> </math></EquationSource> </InlineEquation>, by using some similar techniques in this note, we can get the corresponding theorems which coincide with the known results.</p>

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

Endpoint regularity of general Fourier integral operators

  • Wenjuan Li,
  • Xiangrong Zhu

摘要

Let \(n\ge 1,0<\rho <1, \max \{\rho ,1-\rho \}\le \delta \le 1\) n 1 , 0 < ρ < 1 , max { ρ , 1 - ρ } δ 1 and \(\begin{aligned} m_1=\rho -n+(n-1)\min \{\frac{1}{2},\rho \}+\frac{1-\delta }{2}. \end{aligned}\) m 1 = ρ - n + ( n - 1 ) min { 1 2 , ρ } + 1 - δ 2 . If the amplitude a belongs to the Hörmander class \(S^{m_1}_{\rho ,\delta }\) S ρ , δ m 1 and \(\phi \in \Phi ^{2}\) ϕ Φ 2 satisfies the strong non-degeneracy condition, then we prove that the following Fourier integral operator \(T_{\phi ,a}\) T ϕ , a defined by \(\begin{aligned} T_{\phi ,a}f(x)=\int _{{\mathbb {R}}^{n}}e^{i\phi (x,\xi )}a(x,\xi ){\widehat{f}}(\xi )d\xi , \end{aligned}\) T ϕ , a f ( x ) = R n e i ϕ ( x , ξ ) a ( x , ξ ) f ^ ( ξ ) d ξ , is bounded from the local Hardy space \(h^1({\mathbb {R}}^n)\) h 1 ( R n ) to \(L^1({\mathbb {R}}^n)\) L 1 ( R n ) . As a corollary, we can also obtain the corresponding \(L^p({\mathbb {R}}^n)\) L p ( R n ) -boundedness when \(1<p<2\) 1 < p < 2 . These theorems are rigorous improvements on the recent works of Staubach and his collaborators. When \(0\le \rho \le 1,\delta \le \max \{\rho ,1-\rho \}\) 0 ρ 1 , δ max { ρ , 1 - ρ } , by using some similar techniques in this note, we can get the corresponding theorems which coincide with the known results.