<p>In this paper we consider the <i>n</i>-dimensional Euclidean space equipped with anisotropic dilations and let <i>Q</i> be the homogeneous dimension. We introduce the anisotropic fractional differential operator <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11868_2025_720_Article_IEq1.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="74" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathscr {D} ^s,s&gt;0,\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi mathvariant="script">D</mi> <mi>s</mi> </msup> <mo>,</mo> <mi>s</mi> <mo>&gt;</mo> <mn>0</mn> <mo>,</mo> </mrow> </math></EquationSource> </InlineEquation> and prove the following anisotropic fractional Leibniz rule: <Equation ID="Equ9"> <MediaObject> <ImageObject Color="BlackWhite" FileRef="11868_2025_720_Article_Equ9.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="346" /> </MediaObject> <EquationSource Format="TEX">\(\begin{aligned} {\left\| \mathscr {D} ^{s}(f g)\right\| _{L^{r}} \lesssim \left\| \mathscr {D} ^{s} f\right\| _{L^{p}}\Vert g\Vert _{L^{q}}+\Vert f\Vert _{L^{p}}\left\| \mathscr {D} ^{s} g\right\| _{L^{q}},} \end{aligned}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mtable> <mtr> <mtd columnalign="right"> <mrow> <msub> <mfenced close="∥" open="∥"> <msup> <mi mathvariant="script">D</mi> <mi>s</mi> </msup> <mrow> <mo stretchy="false">(</mo> <mi>f</mi> <mi>g</mi> <mo stretchy="false">)</mo> </mrow> </mfenced> <msup> <mi>L</mi> <mi>r</mi> </msup> </msub> <mo>≲</mo> <msub> <mfenced close="∥" open="∥"> <msup> <mi mathvariant="script">D</mi> <mi>s</mi> </msup> <mi>f</mi> </mfenced> <msup> <mi>L</mi> <mi>p</mi> </msup> </msub> <msub> <mrow> <mo stretchy="false">‖</mo> <mi>g</mi> <mo stretchy="false">‖</mo> </mrow> <msup> <mi>L</mi> <mi>q</mi> </msup> </msub> <mo>+</mo> <msub> <mrow> <mo stretchy="false">‖</mo> <mi>f</mi> <mo stretchy="false">‖</mo> </mrow> <msup> <mi>L</mi> <mi>p</mi> </msup> </msub> <msub> <mfenced close="∥" open="∥"> <msup> <mi mathvariant="script">D</mi> <mi>s</mi> </msup> <mi>g</mi> </mfenced> <msup> <mi>L</mi> <mi>q</mi> </msup> </msub> <mo>,</mo> </mrow> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>where&#xa0;<InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11868_2025_720_Article_IEq2.gif" Format="GIF" Height="23" Rendition="HTML" Resolution="72" Type="Linedraw" Width="78" /> </InlineMediaObject> <EquationSource Format="TEX">\(r \in \left[ \frac{1}{2}, \infty \right] \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>r</mi> <mo>∈</mo> <mfenced close="]" open="["> <mfrac> <mn>1</mn> <mn>2</mn> </mfrac> <mo>,</mo> <mi>∞</mi> </mfenced> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11868_2025_720_Article_IEq3.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="89" /> </InlineMediaObject> <EquationSource Format="TEX">\(p, q \in [1, \infty ]\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>p</mi> <mo>,</mo> <mi>q</mi> <mo>∈</mo> <mo stretchy="false">[</mo> <mn>1</mn> <mo>,</mo> <mi>∞</mi> <mo stretchy="false">]</mo> </mrow> </math></EquationSource> </InlineEquation>&#xa0;satisfy&#xa0;<InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11868_2025_720_Article_IEq4.gif" Format="GIF" Height="25" Rendition="HTML" Resolution="72" Type="Linedraw" Width="67" /> </InlineMediaObject> <EquationSource Format="TEX">\(\frac{1}{r}=\frac{1}{p}+\frac{1}{q}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mfrac> <mn>1</mn> <mi>r</mi> </mfrac> <mo>=</mo> <mfrac> <mn>1</mn> <mi>p</mi> </mfrac> <mo>+</mo> <mfrac> <mn>1</mn> <mi>q</mi> </mfrac> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11868_2025_720_Article_IEq5.gif" Format="GIF" Height="24" Rendition="HTML" Resolution="72" Type="Linedraw" Width="136" /> </InlineMediaObject> <EquationSource Format="TEX">\( s&gt;\max (\frac{Q}{r}-Q, 0)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>s</mi> <mo>&gt;</mo> <mo movablelimits="true">max</mo> <mo stretchy="false">(</mo> <mfrac> <mi>Q</mi> <mi>r</mi> </mfrac> <mo>-</mo> <mi>Q</mi> <mo>,</mo> <mn>0</mn> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>&#xa0;or&#xa0;<InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11868_2025_720_Article_IEq6.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="50" /> </InlineMediaObject> <EquationSource Format="TEX">\(s \in 2 \mathbb {N}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>s</mi> <mo>∈</mo> <mn>2</mn> <mi mathvariant="double-struck">N</mi> </mrow> </math></EquationSource> </InlineEquation>, and <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11868_2025_720_Article_IEq7.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="91" /> </InlineMediaObject> <EquationSource Format="TEX">\(f,g\in \mathcal {S}(\mathbb {R}^n)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>f</mi> <mo>,</mo> <mi>g</mi> <mo>∈</mo> <mi mathvariant="script">S</mi> <mo stretchy="false">(</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mi>n</mi> </msup> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>. We also show that the above range of <i>s</i> is sharp.</p>

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

Anisotropic Fractional Leibniz Rule

  • Meng Qu,
  • Rufeng Wu,
  • Xinfeng Wu

摘要

In this paper we consider the n-dimensional Euclidean space equipped with anisotropic dilations and let Q be the homogeneous dimension. We introduce the anisotropic fractional differential operator \(\mathscr {D} ^s,s>0,\) D s , s > 0 , and prove the following anisotropic fractional Leibniz rule: \(\begin{aligned} {\left\| \mathscr {D} ^{s}(f g)\right\| _{L^{r}} \lesssim \left\| \mathscr {D} ^{s} f\right\| _{L^{p}}\Vert g\Vert _{L^{q}}+\Vert f\Vert _{L^{p}}\left\| \mathscr {D} ^{s} g\right\| _{L^{q}},} \end{aligned}\) D s ( f g ) L r D s f L p g L q + f L p D s g L q , where  \(r \in \left[ \frac{1}{2}, \infty \right] \) r 1 2 , , \(p, q \in [1, \infty ]\) p , q [ 1 , ]  satisfy  \(\frac{1}{r}=\frac{1}{p}+\frac{1}{q}\) 1 r = 1 p + 1 q , \( s>\max (\frac{Q}{r}-Q, 0)\) s > max ( Q r - Q , 0 )  or  \(s \in 2 \mathbb {N}\) s 2 N , and \(f,g\in \mathcal {S}(\mathbb {R}^n)\) f , g S ( R n ) . We also show that the above range of s is sharp.