<p>Let <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13540_2025_388_Article_IEq1.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="76" /> </InlineMediaObject> <EquationSource Format="TEX">\(\{e^{-t{\mathcal {L}}^{\alpha }}\}_{t&gt;0}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mrow> <mo stretchy="false">{</mo> <msup> <mi>e</mi> <mrow> <mo>-</mo> <mi>t</mi> <msup> <mrow> <mi mathvariant="script">L</mi> </mrow> <mi>α</mi> </msup> </mrow> </msup> <mo stretchy="false">}</mo> </mrow> <mrow> <mi>t</mi> <mo>&gt;</mo> <mn>0</mn> </mrow> </msub> </math></EquationSource> </InlineEquation> be the heat semigroup related to the fractional Schrödinger operator <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13540_2025_388_Article_IEq2.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="130" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {L}^{\alpha }:=(-\varDelta +V)^{\alpha }\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mrow> <mi mathvariant="script">L</mi> </mrow> <mi>α</mi> </msup> <mo>:</mo> <mo>=</mo> <msup> <mrow> <mo stretchy="false">(</mo> <mo>-</mo> <mi>Δ</mi> <mo>+</mo> <mi>V</mi> <mo stretchy="false">)</mo> </mrow> <mi>α</mi> </msup> </mrow> </math></EquationSource> </InlineEquation> with <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13540_2025_388_Article_IEq3.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="69" /> </InlineMediaObject> <EquationSource Format="TEX">\(\alpha \in (0,1)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>α</mi> <mo>∈</mo> <mo stretchy="false">(</mo> <mn>0</mn> <mo>,</mo> <mn>1</mn> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>, where <i>V</i> is a non-negative potential belonging to the reverse Hölder class. In this paper, we analyze the convergence of the following type of the series <Equation ID="Equ32"> <MediaObject> <ImageObject Color="BlackWhite" FileRef="13540_2025_388_Article_Equ32.gif" Format="GIF" Height="55" Rendition="HTML" Resolution="72" Type="Linedraw" Width="417" /> </MediaObject> <EquationSource Format="TEX">\(\begin{aligned} T_{N,t}^{\alpha ,\beta }(f)=\sum _{j=N_{1}}^{N_{2}}v_{j}\Big (t^{\beta }\partial _{t}^{\beta }e^{-t{\mathcal {L}}^{\alpha }}(f)\Big |_{t=t_{j+1}}- t^{\beta }\partial _{t}^{\beta }e^{-t{\mathcal {L}}^{\alpha }}(f)\Big |_{t=t_{j}}\Big ) \end{aligned}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mtable> <mtr> <mtd columnalign="right"> <mrow> <msubsup> <mi>T</mi> <mrow> <mi>N</mi> <mo>,</mo> <mi>t</mi> </mrow> <mrow> <mi>α</mi> <mo>,</mo> <mi>β</mi> </mrow> </msubsup> <mrow> <mo stretchy="false">(</mo> <mi>f</mi> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <munderover> <mo>∑</mo> <mrow> <mi>j</mi> <mo>=</mo> <msub> <mi>N</mi> <mn>1</mn> </msub> </mrow> <msub> <mi>N</mi> <mn>2</mn> </msub> </munderover> <msub> <mi>v</mi> <mi>j</mi> </msub> <mrow> <mo maxsize="1.623em" minsize="1.623em" stretchy="true">(</mo> </mrow> <msup> <mi>t</mi> <mi>β</mi> </msup> <msubsup> <mi>∂</mi> <mrow> <mi>t</mi> </mrow> <mi>β</mi> </msubsup> <msup> <mi>e</mi> <mrow> <mo>-</mo> <mi>t</mi> <msup> <mrow> <mi mathvariant="script">L</mi> </mrow> <mi>α</mi> </msup> </mrow> </msup> <mrow> <mo stretchy="false">(</mo> <mi>f</mi> <mo stretchy="false">)</mo> </mrow> <msub> <mrow> <mo maxsize="1.623em" minsize="1.623em" stretchy="true">|</mo> </mrow> <mrow> <mi>t</mi> <mo>=</mo> <msub> <mi>t</mi> <mrow> <mi>j</mi> <mo>+</mo> <mn>1</mn> </mrow> </msub> </mrow> </msub> <mo>-</mo> <msup> <mi>t</mi> <mi>β</mi> </msup> <msubsup> <mi>∂</mi> <mrow> <mi>t</mi> </mrow> <mi>β</mi> </msubsup> <msup> <mi>e</mi> <mrow> <mo>-</mo> <mi>t</mi> <msup> <mrow> <mi mathvariant="script">L</mi> </mrow> <mi>α</mi> </msup> </mrow> </msup> <mrow> <mo stretchy="false">(</mo> <mi>f</mi> <mo stretchy="false">)</mo> </mrow> <msub> <mrow> <mo maxsize="1.623em" minsize="1.623em" stretchy="true">|</mo> </mrow> <mrow> <mi>t</mi> <mo>=</mo> <msub> <mi>t</mi> <mi>j</mi> </msub> </mrow> </msub> <mrow> <mo maxsize="1.623em" minsize="1.623em" stretchy="true">)</mo> </mrow> </mrow> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>for <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13540_2025_388_Article_IEq4.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="44" /> </InlineMediaObject> <EquationSource Format="TEX">\(\beta &gt;0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>β</mi> <mo>&gt;</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation> and for any <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13540_2025_388_Article_IEq5.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="136" /> </InlineMediaObject> <EquationSource Format="TEX">\(N=(N_{1},N_{2})\in \mathbb {Z}^{2}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>N</mi> <mo>=</mo> <mrow> <mo stretchy="false">(</mo> <msub> <mi>N</mi> <mn>1</mn> </msub> <mo>,</mo> <msub> <mi>N</mi> <mn>2</mn> </msub> <mo stretchy="false">)</mo> </mrow> <mo>∈</mo> <msup> <mrow> <mi mathvariant="double-struck">Z</mi> </mrow> <mn>2</mn> </msup> </mrow> </math></EquationSource> </InlineEquation> with <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13540_2025_388_Article_IEq6.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="64" /> </InlineMediaObject> <EquationSource Format="TEX">\(N_{1}&lt;N_{2}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>N</mi> <mn>1</mn> </msub> <mo>&lt;</mo> <msub> <mi>N</mi> <mn>2</mn> </msub> </mrow> </math></EquationSource> </InlineEquation>, where <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13540_2025_388_Article_IEq7.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="53" /> </InlineMediaObject> <EquationSource Format="TEX">\(\{t_{j}\}_{j\in \mathbb {Z}}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mrow> <mo stretchy="false">{</mo> <msub> <mi>t</mi> <mi>j</mi> </msub> <mo stretchy="false">}</mo> </mrow> <mrow> <mi>j</mi> <mo>∈</mo> <mi mathvariant="double-struck">Z</mi> </mrow> </msub> </math></EquationSource> </InlineEquation> is an increasing sequence in <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13540_2025_388_Article_IEq8.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="47" /> </InlineMediaObject> <EquationSource Format="TEX">\((0,\infty )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <mn>0</mn> <mo>,</mo> <mi>∞</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13540_2025_388_Article_IEq9.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="55" /> </InlineMediaObject> <EquationSource Format="TEX">\(\{v_{j}\}_{j\in \mathbb {Z}}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mrow> <mo stretchy="false">{</mo> <msub> <mi>v</mi> <mi>j</mi> </msub> <mo stretchy="false">}</mo> </mrow> <mrow> <mi>j</mi> <mo>∈</mo> <mi mathvariant="double-struck">Z</mi> </mrow> </msub> </math></EquationSource> </InlineEquation> is a bounded sequence of real numbers. The symbol <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13540_2025_388_Article_IEq10.gif" Format="GIF" Height="23" Rendition="HTML" Resolution="72" Type="Linedraw" Width="20" /> </InlineMediaObject> <EquationSource Format="TEX">\(\partial _{t}^{\beta }\)</EquationSource> <EquationSource Format="MATHML"><math> <msubsup> <mi>∂</mi> <mrow> <mi>t</mi> </mrow> <mi>β</mi> </msubsup> </math></EquationSource> </InlineEquation> denotes the Caputo time-fractional derivative. We prove that the maximal operator <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13540_2025_388_Article_IEq11.gif" Format="GIF" Height="30" Rendition="HTML" Resolution="72" Type="Linedraw" Width="296" /> </InlineMediaObject> <EquationSource Format="TEX">\(T_{*,t}^{\alpha ,\beta }(f)=\sup _{\begin{array}{c} N\in \mathbb {Z}^{2} N_{1}&lt;N_{2} \end{array}}|T_{N,t}^{\alpha ,\beta }(f)|\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mmultiscripts> <mi>T</mi> <mrow> <mrow /> <mo>∗</mo> <mo>,</mo> <mi>t</mi> </mrow> <mrow> <mi>α</mi> <mo>,</mo> <mi>β</mi> </mrow> </mmultiscripts> <mrow> <mo stretchy="false">(</mo> <mi>f</mi> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <msub> <mo movablelimits="true">sup</mo> <mrow> <mtable> <mtr> <mtd> <mrow> <mi>N</mi> <mo>∈</mo> <msup> <mrow> <mi mathvariant="double-struck">Z</mi> </mrow> <mn>2</mn> </msup> <msub> <mi>N</mi> <mn>1</mn> </msub> <mo>&lt;</mo> <msub> <mi>N</mi> <mn>2</mn> </msub> </mrow> </mtd> </mtr> </mtable> </mrow> </msub> <mrow> <mo stretchy="false">|</mo> <msubsup> <mi>T</mi> <mrow> <mi>N</mi> <mo>,</mo> <mi>t</mi> </mrow> <mrow> <mi>α</mi> <mo>,</mo> <mi>β</mi> </mrow> </msubsup> <mrow> <mo stretchy="false">(</mo> <mi>f</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">|</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> is bounded on weighted Lebesgue spaces <InlineEquation ID="IEq12"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13540_2025_388_Article_IEq12.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="52" /> </InlineMediaObject> <EquationSource Format="TEX">\(L^{p}_{w}({\mathbb {R}}^{n})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msubsup> <mi>L</mi> <mi>w</mi> <mi>p</mi> </msubsup> <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>, and is a bounded operator from <InlineEquation ID="IEq13"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13540_2025_388_Article_IEq13.gif" Format="GIF" Height="23" Rendition="HTML" Resolution="72" Type="Linedraw" Width="97" /> </InlineMediaObject> <EquationSource Format="TEX">\(BMO_{{\mathcal {L}},w}^{\gamma }({\mathbb {R}}^{n})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>B</mi> <mi>M</mi> <msubsup> <mi>O</mi> <mrow> <mi mathvariant="script">L</mi> <mo>,</mo> <mi>w</mi> </mrow> <mi>γ</mi> </msubsup> <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> into <InlineEquation ID="IEq14"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13540_2025_388_Article_IEq14.gif" Format="GIF" Height="23" Rendition="HTML" Resolution="72" Type="Linedraw" Width="90" /> </InlineMediaObject> <EquationSource Format="TEX">\(BLO_{{\mathcal {L}},w}^{\gamma }({\mathbb {R}}^{n})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>B</mi> <mi>L</mi> <msubsup> <mi>O</mi> <mrow> <mi mathvariant="script">L</mi> <mo>,</mo> <mi>w</mi> </mrow> <mi>γ</mi> </msubsup> <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>, where <InlineEquation ID="IEq15"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13540_2025_388_Article_IEq15.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="67" /> </InlineMediaObject> <EquationSource Format="TEX">\(\gamma \in [0,1)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>γ</mi> <mo>∈</mo> <mo stretchy="false">[</mo> <mn>0</mn> <mo>,</mo> <mn>1</mn> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> and <i>w</i> belongs to the class of weights associated with the auxiliary function <InlineEquation ID="IEq16"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13540_2025_388_Article_IEq16.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="54" /> </InlineMediaObject> <EquationSource Format="TEX">\(\rho (x,V)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>ρ</mi> <mo stretchy="false">(</mo> <mi>x</mi> <mo>,</mo> <mi>V</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>.</p>

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

Differential transforms related to Caputo time-fractional derivatives and semigroups generated by fractional Schrödinger operators

  • Zhiyong Wang,
  • Pengtao Li,
  • Yu Liu

摘要

Let \(\{e^{-t{\mathcal {L}}^{\alpha }}\}_{t>0}\) { e - t L α } t > 0 be the heat semigroup related to the fractional Schrödinger operator \(\mathcal {L}^{\alpha }:=(-\varDelta +V)^{\alpha }\) L α : = ( - Δ + V ) α with \(\alpha \in (0,1)\) α ( 0 , 1 ) , where V is a non-negative potential belonging to the reverse Hölder class. In this paper, we analyze the convergence of the following type of the series \(\begin{aligned} T_{N,t}^{\alpha ,\beta }(f)=\sum _{j=N_{1}}^{N_{2}}v_{j}\Big (t^{\beta }\partial _{t}^{\beta }e^{-t{\mathcal {L}}^{\alpha }}(f)\Big |_{t=t_{j+1}}- t^{\beta }\partial _{t}^{\beta }e^{-t{\mathcal {L}}^{\alpha }}(f)\Big |_{t=t_{j}}\Big ) \end{aligned}\) T N , t α , β ( f ) = j = N 1 N 2 v j ( t β t β e - t L α ( f ) | t = t j + 1 - t β t β e - t L α ( f ) | t = t j ) for \(\beta >0\) β > 0 and for any \(N=(N_{1},N_{2})\in \mathbb {Z}^{2}\) N = ( N 1 , N 2 ) Z 2 with \(N_{1}<N_{2}\) N 1 < N 2 , where \(\{t_{j}\}_{j\in \mathbb {Z}}\) { t j } j Z is an increasing sequence in \((0,\infty )\) ( 0 , ) and \(\{v_{j}\}_{j\in \mathbb {Z}}\) { v j } j Z is a bounded sequence of real numbers. The symbol \(\partial _{t}^{\beta }\) t β denotes the Caputo time-fractional derivative. We prove that the maximal operator \(T_{*,t}^{\alpha ,\beta }(f)=\sup _{\begin{array}{c} N\in \mathbb {Z}^{2} N_{1}<N_{2} \end{array}}|T_{N,t}^{\alpha ,\beta }(f)|\) T , t α , β ( f ) = sup N Z 2 N 1 < N 2 | T N , t α , β ( f ) | is bounded on weighted Lebesgue spaces \(L^{p}_{w}({\mathbb {R}}^{n})\) L w p ( R n ) , and is a bounded operator from \(BMO_{{\mathcal {L}},w}^{\gamma }({\mathbb {R}}^{n})\) B M O L , w γ ( R n ) into \(BLO_{{\mathcal {L}},w}^{\gamma }({\mathbb {R}}^{n})\) B L O L , w γ ( R n ) , where \(\gamma \in [0,1)\) γ [ 0 , 1 ) and w belongs to the class of weights associated with the auxiliary function \(\rho (x,V)\) ρ ( x , V ) .