<p>In this paper, we investigate a Fourier integral operator <InlineEquation ID="IEq1"> <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> which is defined by <Equation ID="Equ14"> <EquationSource Format="TEX">\(\begin{aligned}&amp;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="left"> <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="false">^</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>We assume that the phase <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(\phi \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>ϕ</mi> </math></EquationSource> </InlineEquation> belongs to the class <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(\Phi ^2\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi mathvariant="normal">Φ</mi> <mn>2</mn> </msup> </math></EquationSource> </InlineEquation>, satisfying the strong non-degeneracy condition and define <Equation ID="Equ15"> <EquationSource Format="TEX">\(\begin{aligned} m_{n,p,\rho ,\delta }=(\rho -n)(\frac{1}{2}-\frac{1}{p})+\min \{0,\frac{n}{p}(\rho -\delta )\}. \end{aligned}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mtable> <mtr> <mtd columnalign="right"> <mrow> <msub> <mi>m</mi> <mrow> <mi>n</mi> <mo>,</mo> <mi>p</mi> <mo>,</mo> <mi>ρ</mi> <mo>,</mo> <mi>δ</mi> </mrow> </msub> <mo>=</mo> <mrow> <mo stretchy="false">(</mo> <mi>ρ</mi> <mo>-</mo> <mi>n</mi> <mo stretchy="false">)</mo> </mrow> <mrow> <mo stretchy="false">(</mo> <mfrac> <mn>1</mn> <mn>2</mn> </mfrac> <mo>-</mo> <mfrac> <mn>1</mn> <mi>p</mi> </mfrac> <mo stretchy="false">)</mo> </mrow> <mo>+</mo> <mo movablelimits="true">min</mo> <mrow> <mo stretchy="false">{</mo> <mn>0</mn> <mo>,</mo> <mfrac> <mi>n</mi> <mi>p</mi> </mfrac> <mrow> <mo stretchy="false">(</mo> <mi>ρ</mi> <mo>-</mo> <mi>δ</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">}</mo> </mrow> <mo>.</mo> </mrow> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>Firstly, for <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(0\le \rho ,\delta \le 1,s&gt;0,2\le p\le \infty ,1\le q\le \infty \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>0</mn> <mo>≤</mo> <mi>ρ</mi> <mo>,</mo> <mi>δ</mi> <mo>≤</mo> <mn>1</mn> <mo>,</mo> <mi>s</mi> <mo>&gt;</mo> <mn>0</mn> <mo>,</mo> <mn>2</mn> <mo>≤</mo> <mi>p</mi> <mo>≤</mo> <mi>∞</mi> <mo>,</mo> <mn>1</mn> <mo>≤</mo> <mi>q</mi> <mo>≤</mo> <mi>∞</mi> </mrow> </math></EquationSource> </InlineEquation> and the symbol <i>a</i> belongs to the Hörmander class <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(S^{m_{n,p,\rho ,\delta }}_{\rho ,\delta }\)</EquationSource> <EquationSource Format="MATHML"><math> <msubsup> <mi>S</mi> <mrow> <mi>ρ</mi> <mo>,</mo> <mi>δ</mi> </mrow> <msub> <mi>m</mi> <mrow> <mi>n</mi> <mo>,</mo> <mi>p</mi> <mo>,</mo> <mi>ρ</mi> <mo>,</mo> <mi>δ</mi> </mrow> </msub> </msubsup> </math></EquationSource> </InlineEquation>, we demonstrate that <InlineEquation ID="IEq6"> <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> is bounded on the Besov space <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(B^s_{p,q}\)</EquationSource> <EquationSource Format="MATHML"><math> <msubsup> <mi>B</mi> <mrow> <mi>p</mi> <mo>,</mo> <mi>q</mi> </mrow> <mi>s</mi> </msubsup> </math></EquationSource> </InlineEquation>. Consequently, as a corollary, if <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(0\le \rho ,\delta \le 1,s\ge 0,2\le p\le \infty ,0&lt;q\le \infty \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>0</mn> <mo>≤</mo> <mi>ρ</mi> <mo>,</mo> <mi>δ</mi> <mo>≤</mo> <mn>1</mn> <mo>,</mo> <mi>s</mi> <mo>≥</mo> <mn>0</mn> <mo>,</mo> <mn>2</mn> <mo>≤</mo> <mi>p</mi> <mo>≤</mo> <mi>∞</mi> <mo>,</mo> <mn>0</mn> <mo>&lt;</mo> <mi>q</mi> <mo>≤</mo> <mi>∞</mi> </mrow> </math></EquationSource> </InlineEquation> and the symbol <i>a</i> belongs to the Hörmander class <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(S^{m}_{\rho ,\delta }\)</EquationSource> <EquationSource Format="MATHML"><math> <msubsup> <mi>S</mi> <mrow> <mi>ρ</mi> <mo>,</mo> <mi>δ</mi> </mrow> <mi>m</mi> </msubsup> </math></EquationSource> </InlineEquation> with <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(m&lt;m_{n,p,\rho ,\delta }\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>m</mi> <mo>&lt;</mo> <msub> <mi>m</mi> <mrow> <mi>n</mi> <mo>,</mo> <mi>p</mi> <mo>,</mo> <mi>ρ</mi> <mo>,</mo> <mi>δ</mi> </mrow> </msub> </mrow> </math></EquationSource> </InlineEquation>, then <InlineEquation ID="IEq11"> <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> is bounded on the Triebel-Lizorkin space <InlineEquation ID="IEq12"> <EquationSource Format="TEX">\(F^s_{p,q}\)</EquationSource> <EquationSource Format="MATHML"><math> <msubsup> <mi>F</mi> <mrow> <mi>p</mi> <mo>,</mo> <mi>q</mi> </mrow> <mi>s</mi> </msubsup> </math></EquationSource> </InlineEquation>. Lastly, when <InlineEquation ID="IEq13"> <EquationSource Format="TEX">\(0\le \rho \le 1,0\le \delta&lt;1,2\le q\le p&lt;\infty \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>0</mn> <mo>≤</mo> <mi>ρ</mi> <mo>≤</mo> <mn>1</mn> <mo>,</mo> <mn>0</mn> <mo>≤</mo> <mi>δ</mi> <mo>&lt;</mo> <mn>1</mn> <mo>,</mo> <mn>2</mn> <mo>≤</mo> <mi>q</mi> <mo>≤</mo> <mi>p</mi> <mo>&lt;</mo> <mi>∞</mi> </mrow> </math></EquationSource> </InlineEquation>, <i>s</i> is a positive integer and the symbol <i>a</i> belongs to the Hörmander class <InlineEquation ID="IEq14"> <EquationSource Format="TEX">\(S^{m_{n,p,\rho ,\delta }}_{\rho ,\delta }\)</EquationSource> <EquationSource Format="MATHML"><math> <msubsup> <mi>S</mi> <mrow> <mi>ρ</mi> <mo>,</mo> <mi>δ</mi> </mrow> <msub> <mi>m</mi> <mrow> <mi>n</mi> <mo>,</mo> <mi>p</mi> <mo>,</mo> <mi>ρ</mi> <mo>,</mo> <mi>δ</mi> </mrow> </msub> </msubsup> </math></EquationSource> </InlineEquation>, we prove that <InlineEquation ID="IEq15"> <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> is bounded on the Triebel-Lizorkin space <InlineEquation ID="IEq16"> <EquationSource Format="TEX">\(F^s_{p,q}\)</EquationSource> <EquationSource Format="MATHML"><math> <msubsup> <mi>F</mi> <mrow> <mi>p</mi> <mo>,</mo> <mi>q</mi> </mrow> <mi>s</mi> </msubsup> </math></EquationSource> </InlineEquation>. These results are extensions of the respective theorems.</p>

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

Boundedness of general Fourier integral operators on Besov spaces and Triebel-Lizorkin spaces

  • Huang Qiang,
  • Li Xianmin,
  • Dai Jiawei

摘要

In this paper, we investigate a Fourier integral operator \(T_{\phi ,a}\) T ϕ , a which is 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 ξ . We assume that the phase \(\phi \) ϕ belongs to the class \(\Phi ^2\) Φ 2 , satisfying the strong non-degeneracy condition and define \(\begin{aligned} m_{n,p,\rho ,\delta }=(\rho -n)(\frac{1}{2}-\frac{1}{p})+\min \{0,\frac{n}{p}(\rho -\delta )\}. \end{aligned}\) m n , p , ρ , δ = ( ρ - n ) ( 1 2 - 1 p ) + min { 0 , n p ( ρ - δ ) } . Firstly, for \(0\le \rho ,\delta \le 1,s>0,2\le p\le \infty ,1\le q\le \infty \) 0 ρ , δ 1 , s > 0 , 2 p , 1 q and the symbol a belongs to the Hörmander class \(S^{m_{n,p,\rho ,\delta }}_{\rho ,\delta }\) S ρ , δ m n , p , ρ , δ , we demonstrate that \(T_{\phi ,a}\) T ϕ , a is bounded on the Besov space \(B^s_{p,q}\) B p , q s . Consequently, as a corollary, if \(0\le \rho ,\delta \le 1,s\ge 0,2\le p\le \infty ,0<q\le \infty \) 0 ρ , δ 1 , s 0 , 2 p , 0 < q and the symbol a belongs to the Hörmander class \(S^{m}_{\rho ,\delta }\) S ρ , δ m with \(m<m_{n,p,\rho ,\delta }\) m < m n , p , ρ , δ , then \(T_{\phi ,a}\) T ϕ , a is bounded on the Triebel-Lizorkin space \(F^s_{p,q}\) F p , q s . Lastly, when \(0\le \rho \le 1,0\le \delta<1,2\le q\le p<\infty \) 0 ρ 1 , 0 δ < 1 , 2 q p < , s is a positive integer and the symbol a belongs to the Hörmander class \(S^{m_{n,p,\rho ,\delta }}_{\rho ,\delta }\) S ρ , δ m n , p , ρ , δ , we prove that \(T_{\phi ,a}\) T ϕ , a is bounded on the Triebel-Lizorkin space \(F^s_{p,q}\) F p , q s . These results are extensions of the respective theorems.