<p>In this note, we consider a pseudo-differential operator <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13540_2025_401_Article_IEq1.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="19" /> </InlineMediaObject> <EquationSource Format="TEX">\(T_a\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>T</mi> <mi>a</mi> </msub> </math></EquationSource> </InlineEquation> defined as <Equation ID="Equ8"> <MediaObject> <ImageObject Color="BlackWhite" FileRef="13540_2025_401_Article_Equ8.gif" Format="GIF" Height="41" Rendition="HTML" Resolution="72" Type="Linedraw" Width="239" /> </MediaObject> <EquationSource Format="TEX">\(\begin{aligned} T_a f(x)=\int _{\mathbb {R}^n}e^{2\pi ix\cdot \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> <mi>a</mi> </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> <mn>2</mn> <mi>π</mi> <mi>i</mi> <mi>x</mi> <mo>·</mo> <mi>ξ</mi> </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>It is well-known that <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13540_2025_401_Article_IEq1.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="19" /> </InlineMediaObject> <EquationSource Format="TEX">\(T_a\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>T</mi> <mi>a</mi> </msub> </math></EquationSource> </InlineEquation> is not bounded on <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13540_2025_401_Article_IEq3.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> in general when <i>a</i> belongs to the forbidden Hörmander class <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13540_2025_401_Article_IEq4.gif" Format="GIF" Height="27" Rendition="HTML" Resolution="72" Type="Linedraw" Width="141" /> </InlineMediaObject> <EquationSource Format="TEX">\(S^{n(\rho -1)/2}_{\rho ,1},0\le \rho \le 1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msubsup> <mi>S</mi> <mrow> <mi>ρ</mi> <mo>,</mo> <mn>1</mn> </mrow> <mrow> <mi>n</mi> <mo stretchy="false">(</mo> <mi>ρ</mi> <mo>-</mo> <mn>1</mn> <mo stretchy="false">)</mo> <mo stretchy="false">/</mo> <mn>2</mn> </mrow> </msubsup> <mo>,</mo> <mn>0</mn> <mo>≤</mo> <mi>ρ</mi> <mo>≤</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation>. In this note, when <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13540_2025_401_Article_IEq5.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="195" /> </InlineMediaObject> <EquationSource Format="TEX">\(s&gt;0,0\le \rho \le 1,1\le r\le 2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>s</mi> <mo>&gt;</mo> <mn>0</mn> <mo>,</mo> <mn>0</mn> <mo>≤</mo> <mi>ρ</mi> <mo>≤</mo> <mn>1</mn> <mo>,</mo> <mn>1</mn> <mo>≤</mo> <mi>r</mi> <mo>≤</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13540_2025_401_Article_IEq6.gif" Format="GIF" Height="27" Rendition="HTML" Resolution="72" Type="Linedraw" Width="93" /> </InlineMediaObject> <EquationSource Format="TEX">\(a\in S^{n(\rho -1)/r}_{\rho ,1}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>a</mi> <mo>∈</mo> <msubsup> <mi>S</mi> <mrow> <mi>ρ</mi> <mo>,</mo> <mn>1</mn> </mrow> <mrow> <mi>n</mi> <mo stretchy="false">(</mo> <mi>ρ</mi> <mo>-</mo> <mn>1</mn> <mo stretchy="false">)</mo> <mo stretchy="false">/</mo> <mi>r</mi> </mrow> </msubsup> </mrow> </math></EquationSource> </InlineEquation>, we prove that <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13540_2025_401_Article_IEq1.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="19" /> </InlineMediaObject> <EquationSource Format="TEX">\(T_a\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>T</mi> <mi>a</mi> </msub> </math></EquationSource> </InlineEquation> is bounded on the Triebel-Lizorkin space <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13540_2025_401_Article_IEq8.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="28" /> </InlineMediaObject> <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> if <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13540_2025_401_Article_IEq9.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="98" /> </InlineMediaObject> <EquationSource Format="TEX">\(r&lt;p,q&lt;\infty \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>r</mi> <mo>&lt;</mo> <mi>p</mi> <mo>,</mo> <mi>q</mi> <mo>&lt;</mo> <mi>∞</mi> </mrow> </math></EquationSource> </InlineEquation> or <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13540_2025_401_Article_IEq10.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="138" /> </InlineMediaObject> <EquationSource Format="TEX">\(r&lt;p\le \infty ,q=\infty \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>r</mi> <mo>&lt;</mo> <mi>p</mi> <mo>≤</mo> <mi>∞</mi> <mo>,</mo> <mi>q</mi> <mo>=</mo> <mi>∞</mi> </mrow> </math></EquationSource> </InlineEquation>. As the most important special example, when <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13540_2025_401_Article_IEq11.gif" Format="GIF" Height="27" Rendition="HTML" Resolution="72" Type="Linedraw" Width="92" /> </InlineMediaObject> <EquationSource Format="TEX">\(a\in S^{n(\rho -1)/2}_{\rho ,1}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>a</mi> <mo>∈</mo> <msubsup> <mi>S</mi> <mrow> <mi>ρ</mi> <mo>,</mo> <mn>1</mn> </mrow> <mrow> <mi>n</mi> <mo stretchy="false">(</mo> <mi>ρ</mi> <mo>-</mo> <mn>1</mn> <mo stretchy="false">)</mo> <mo stretchy="false">/</mo> <mn>2</mn> </mrow> </msubsup> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq12"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13540_2025_401_Article_IEq12.gif" Format="GIF" Height="13" Rendition="HTML" Resolution="72" Type="Linedraw" Width="40" /> </InlineMediaObject> <EquationSource Format="TEX">\(s&gt;0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>s</mi> <mo>&gt;</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation>, if <InlineEquation ID="IEq13"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13540_2025_401_Article_IEq13.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="98" /> </InlineMediaObject> <EquationSource Format="TEX">\(2&lt;p,q&lt;\infty \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>2</mn> <mo>&lt;</mo> <mi>p</mi> <mo>,</mo> <mi>q</mi> <mo>&lt;</mo> <mi>∞</mi> </mrow> </math></EquationSource> </InlineEquation> or <InlineEquation ID="IEq14"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13540_2025_401_Article_IEq14.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="138" /> </InlineMediaObject> <EquationSource Format="TEX">\(2&lt;p\le \infty ,q=\infty \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>2</mn> <mo>&lt;</mo> <mi>p</mi> <mo>≤</mo> <mi>∞</mi> <mo>,</mo> <mi>q</mi> <mo>=</mo> <mi>∞</mi> </mrow> </math></EquationSource> </InlineEquation>, then <InlineEquation ID="IEq15"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13540_2025_401_Article_IEq1.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="19" /> </InlineMediaObject> <EquationSource Format="TEX">\(T_a\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>T</mi> <mi>a</mi> </msub> </math></EquationSource> </InlineEquation> is bounded on <InlineEquation ID="IEq16"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13540_2025_401_Article_IEq8.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="28" /> </InlineMediaObject> <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>. When <InlineEquation ID="IEq17"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13540_2025_401_Article_IEq17.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="42" /> </InlineMediaObject> <EquationSource Format="TEX">\(\rho &lt;1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>ρ</mi> <mo>&lt;</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation>, this result is entirely new.</p>

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

Pseudo-differential operators with forbidden symbols on Triebel–Lizorkin spaces

  • Xiaofeng Ye,
  • Xiangrong Zhu

摘要

In this note, we consider a pseudo-differential operator \(T_a\) T a defined as \(\begin{aligned} T_a f(x)=\int _{\mathbb {R}^n}e^{2\pi ix\cdot \xi }a(x,\xi )\widehat{f}(\xi )d\xi . \end{aligned}\) T a f ( x ) = R n e 2 π i x · ξ a ( x , ξ ) f ^ ( ξ ) d ξ . It is well-known that \(T_a\) T a is not bounded on \(L^2\) L 2 in general when a belongs to the forbidden Hörmander class \(S^{n(\rho -1)/2}_{\rho ,1},0\le \rho \le 1\) S ρ , 1 n ( ρ - 1 ) / 2 , 0 ρ 1 . In this note, when \(s>0,0\le \rho \le 1,1\le r\le 2\) s > 0 , 0 ρ 1 , 1 r 2 and \(a\in S^{n(\rho -1)/r}_{\rho ,1}\) a S ρ , 1 n ( ρ - 1 ) / r , we prove that \(T_a\) T a is bounded on the Triebel-Lizorkin space \(F^s_{p,q}\) F p , q s if \(r<p,q<\infty \) r < p , q < or \(r<p\le \infty ,q=\infty \) r < p , q = . As the most important special example, when \(a\in S^{n(\rho -1)/2}_{\rho ,1}\) a S ρ , 1 n ( ρ - 1 ) / 2 and \(s>0\) s > 0 , if \(2<p,q<\infty \) 2 < p , q < or \(2<p\le \infty ,q=\infty \) 2 < p , q = , then \(T_a\) T a is bounded on \(F^s_{p,q}\) F p , q s . When \(\rho <1\) ρ < 1 , this result is entirely new.