<p>In this paper, we study the fully fractional master equation <Equation ID="Equ1"> <EquationNumber>0.1</EquationNumber> <MediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3693_Article_Equ1.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="357" /> </MediaObject> <EquationSource Format="TEX">\(\begin{aligned} (\partial _t-\Delta )^s u(x,t) =f(x,t,u(x,t)),\,\,(x, t)\in {\mathbb {R}}^n\times {\mathbb {R}}. \end{aligned}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mtable> <mtr> <mtd columnalign="right"> <mrow> <msup> <mrow> <mo stretchy="false">(</mo> <msub> <mi>∂</mi> <mi>t</mi> </msub> <mo>-</mo> <mi mathvariant="normal">Δ</mi> <mo stretchy="false">)</mo> </mrow> <mi>s</mi> </msup> <mi>u</mi> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo>,</mo> <mi>t</mi> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <mi>f</mi> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo>,</mo> <mi>t</mi> <mo>,</mo> <mi>u</mi> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo>,</mo> <mi>t</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">)</mo> </mrow> <mo>,</mo> <mspace width="0.166667em" /> <mspace width="0.166667em" /> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo>,</mo> <mi>t</mi> <mo stretchy="false">)</mo> </mrow> <mo>∈</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mi>n</mi> </msup> <mo>×</mo> <mi mathvariant="double-struck">R</mi> <mo>.</mo> </mrow> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>First we prove a Liouville type theorem for the homogeneous equation <Equation ID="Equ2"> <EquationNumber>0.2</EquationNumber> <MediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3693_Article_Equ2.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="267" /> </MediaObject> <EquationSource Format="TEX">\(\begin{aligned} (\partial _t-\Delta )^s u(x,t) = 0,\,\,(x, t)\in {\mathbb {R}}^n\times {\mathbb {R}}, \end{aligned}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mtable> <mtr> <mtd columnalign="right"> <mrow> <msup> <mrow> <mo stretchy="false">(</mo> <msub> <mi>∂</mi> <mi>t</mi> </msub> <mo>-</mo> <mi mathvariant="normal">Δ</mi> <mo stretchy="false">)</mo> </mrow> <mi>s</mi> </msup> <mi>u</mi> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo>,</mo> <mi>t</mi> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <mn>0</mn> <mo>,</mo> <mspace width="0.166667em" /> <mspace width="0.166667em" /> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo>,</mo> <mi>t</mi> <mo stretchy="false">)</mo> </mrow> <mo>∈</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mi>n</mi> </msup> <mo>×</mo> <mi mathvariant="double-struck">R</mi> <mo>,</mo> </mrow> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>where <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3693_Article_IEq1.gif" Format="GIF" Height="13" Rendition="HTML" Resolution="72" Type="Linedraw" Width="71" /> </InlineMediaObject> <EquationSource Format="TEX">\(0&lt;s&lt;1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>0</mn> <mo>&lt;</mo> <mi>s</mi> <mo>&lt;</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation>. When <i>u</i> belongs to the slowly increasing function space <Equation ID="Equ32"> <MediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3693_Article_Equ32.gif" Format="GIF" Height="54" Rendition="HTML" Resolution="72" Type="Linedraw" Width="568" /> </MediaObject> <EquationSource Format="TEX">\(\begin{aligned} {\mathcal {L}}^{2s,s}({\mathbb {R}}^n\!\times \! {\mathbb {R}})\!=\!\Bigg \{u(x,t) \!\in \! L^1_{\text {loc}} ({\mathbb {R}}^n\!\times \! {\mathbb {R}}) \!\mid \! \int _{\!-\!\infty }^{\!+\!\infty } \int _{{\mathbb {R}}^n} \frac{|u(x,t)|}{1\!+\!|x|^{n\!+\!2\!+\!2s}\!+\!|t|^{\frac{n}{2}\!+\!1\!+\!s}}\operatorname {d}\!x\operatorname {d}\!t&lt;\infty \Bigg \} \end{aligned}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mtable> <mtr> <mtd columnalign="right"> <mrow> <msup> <mrow> <mi mathvariant="script">L</mi> </mrow> <mrow> <mn>2</mn> <mi>s</mi> <mo>,</mo> <mi>s</mi> </mrow> </msup> <mrow> <mo stretchy="false">(</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mi>n</mi> </msup> <mspace width="-0.166667em" /> <mo>×</mo> <mspace width="-0.166667em" /> <mi mathvariant="double-struck">R</mi> <mo stretchy="false">)</mo> </mrow> <mspace width="-0.166667em" /> <mo>=</mo> <mspace width="-0.166667em" /> <mrow> <mo maxsize="2.470em" minsize="2.470em" stretchy="true">{</mo> </mrow> <mi>u</mi> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo>,</mo> <mi>t</mi> <mo stretchy="false">)</mo> </mrow> <mspace width="-0.166667em" /> <mo>∈</mo> <mspace width="-0.166667em" /> <msubsup> <mi>L</mi> <mtext>loc</mtext> <mn>1</mn> </msubsup> <mrow> <mo stretchy="false">(</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mi>n</mi> </msup> <mspace width="-0.166667em" /> <mo>×</mo> <mspace width="-0.166667em" /> <mi mathvariant="double-struck">R</mi> <mo stretchy="false">)</mo> </mrow> <mspace width="-0.166667em" /> <mo>∣</mo> <mspace width="-0.166667em" /> <msubsup> <mo>∫</mo> <mrow> <mspace width="-0.166667em" /> <mo>-</mo> <mspace width="-0.166667em" /> <mi>∞</mi> </mrow> <mrow> <mspace width="-0.166667em" /> <mo>+</mo> <mspace width="-0.166667em" /> <mi>∞</mi> </mrow> </msubsup> <msub> <mo>∫</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mi>n</mi> </msup> </msub> <mfrac> <mrow> <mo stretchy="false">|</mo> <mi>u</mi> <mo stretchy="false">(</mo> <mi>x</mi> <mo>,</mo> <mi>t</mi> <mo stretchy="false">)</mo> <mo stretchy="false">|</mo> </mrow> <mrow> <mn>1</mn> <mspace width="-0.166667em" /> <mo>+</mo> <msup> <mrow> <mspace width="-0.166667em" /> <mo stretchy="false">|</mo> <mi>x</mi> <mo stretchy="false">|</mo> </mrow> <mrow> <mi>n</mi> <mspace width="-0.166667em" /> <mo>+</mo> <mspace width="-0.166667em" /> <mn>2</mn> <mspace width="-0.166667em" /> <mo>+</mo> <mspace width="-0.166667em" /> <mn>2</mn> <mi>s</mi> </mrow> </msup> <mspace width="-0.166667em" /> <mo>+</mo> <mspace width="-0.166667em" /> <msup> <mrow> <mo stretchy="false">|</mo> <mi>t</mi> <mo stretchy="false">|</mo> </mrow> <mrow> <mfrac> <mi>n</mi> <mn>2</mn> </mfrac> <mspace width="-0.166667em" /> <mo>+</mo> <mspace width="-0.166667em" /> <mn>1</mn> <mspace width="-0.166667em" /> <mo>+</mo> <mspace width="-0.166667em" /> <mi>s</mi> </mrow> </msup> </mrow> </mfrac> <mo>d</mo> <mspace width="-0.166667em" /> <mi>x</mi> <mo>d</mo> <mspace width="-0.166667em" /> <mi>t</mi> <mo>&lt;</mo> <mi>∞</mi> <mrow> <mo maxsize="2.470em" minsize="2.470em" stretchy="true">}</mo> </mrow> </mrow> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>and satisfies an additional asymptotic assumption <Equation ID="Equ33"> <MediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3693_Article_Equ33.gif" Format="GIF" Height="43" Rendition="HTML" Resolution="72" Type="Linedraw" Width="367" /> </MediaObject> <EquationSource Format="TEX">\(\begin{aligned} \liminf _{|x|\rightarrow \infty }\frac{u(x,t)}{|x|^\gamma }\ge 0 \; ( \text{ or } \; \le 0) \,\,\text{ for } \text{ some } \;0\le \gamma \le 1, \end{aligned}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mtable> <mtr> <mtd columnalign="right"> <mrow> <munder> <mo movablelimits="true">lim inf</mo> <mrow> <mo stretchy="false">|</mo> <mi>x</mi> <mo stretchy="false">|</mo> <mo stretchy="false">→</mo> <mi>∞</mi> </mrow> </munder> <mfrac> <mrow> <mi>u</mi> <mo stretchy="false">(</mo> <mi>x</mi> <mo>,</mo> <mi>t</mi> <mo stretchy="false">)</mo> </mrow> <msup> <mrow> <mo stretchy="false">|</mo> <mi>x</mi> <mo stretchy="false">|</mo> </mrow> <mi>γ</mi> </msup> </mfrac> <mo>≥</mo> <mn>0</mn> <mspace width="0.277778em" /> <mrow> <mo stretchy="false">(</mo> <mspace width="0.333333em" /> <mtext>or</mtext> <mspace width="0.333333em" /> <mspace width="0.277778em" /> <mo>≤</mo> <mn>0</mn> <mo stretchy="false">)</mo> </mrow> <mspace width="0.166667em" /> <mspace width="0.166667em" /> <mspace width="0.333333em" /> <mtext>for</mtext> <mspace width="0.333333em" /> <mspace width="0.333333em" /> <mtext>some</mtext> <mspace width="0.333333em" /> <mspace width="0.277778em" /> <mn>0</mn> <mo>≤</mo> <mi>γ</mi> <mo>≤</mo> <mn>1</mn> <mo>,</mo> </mrow> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>in the case <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3693_Article_IEq2.gif" Format="GIF" Height="22" Rendition="HTML" Resolution="72" Type="Linedraw" Width="70" /> </InlineMediaObject> <EquationSource Format="TEX">\(\frac{1}{2}&lt;s &lt; 1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mfrac> <mn>1</mn> <mn>2</mn> </mfrac> <mo>&lt;</mo> <mi>s</mi> <mo>&lt;</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation>, we prove that all solutions of (<InternalRef RefID="Equ2">0.2</InternalRef>) must be constant. This result includes the previous Liouville theorems on harmonic functions [<CitationRef CitationID="CR1">1</CitationRef>] and on <i>s</i>-harmonic functions [<CitationRef CitationID="CR7">7</CitationRef>] as special cases. Then we establish the equivalence between nonhomogeneous pseudo-differential equations (<InternalRef RefID="Equ1">0.1</InternalRef>) and the corresponding integral equations. We believe that these integral equations will become very useful tools in further analysing qualitative properties of solutions, such as regularity, monotonicity, and symmetry. In the process of deriving the Liouville type theorem, through very delicate calculations, we obtain an optimal estimate on the decay rate of <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3693_Article_IEq3.gif" Format="GIF" Height="22" Rendition="HTML" Resolution="72" Type="Linedraw" Width="133" /> </InlineMediaObject> <EquationSource Format="TEX">\((\partial _t-\Delta )_{\textrm{right}}^s \varphi (x,t)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msubsup> <mrow> <mo stretchy="false">(</mo> <msub> <mi>∂</mi> <mi>t</mi> </msub> <mo>-</mo> <mi mathvariant="normal">Δ</mi> <mo stretchy="false">)</mo> </mrow> <mrow> <mtext>right</mtext> </mrow> <mi>s</mi> </msubsup> <mi>φ</mi> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo>,</mo> <mi>t</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>. This sharp estimate will become a key ingredient and an important tool in investigating master equations.</p>

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

Liouville theorem for fully fractional master equations and its applications

  • Wenxiong Chen,
  • Yahong Guo,
  • Lingwei Ma

摘要

In this paper, we study the fully fractional master equation 0.1 \(\begin{aligned} (\partial _t-\Delta )^s u(x,t) =f(x,t,u(x,t)),\,\,(x, t)\in {\mathbb {R}}^n\times {\mathbb {R}}. \end{aligned}\) ( t - Δ ) s u ( x , t ) = f ( x , t , u ( x , t ) ) , ( x , t ) R n × R . First we prove a Liouville type theorem for the homogeneous equation 0.2 \(\begin{aligned} (\partial _t-\Delta )^s u(x,t) = 0,\,\,(x, t)\in {\mathbb {R}}^n\times {\mathbb {R}}, \end{aligned}\) ( t - Δ ) s u ( x , t ) = 0 , ( x , t ) R n × R , where \(0<s<1\) 0 < s < 1 . When u belongs to the slowly increasing function space \(\begin{aligned} {\mathcal {L}}^{2s,s}({\mathbb {R}}^n\!\times \! {\mathbb {R}})\!=\!\Bigg \{u(x,t) \!\in \! L^1_{\text {loc}} ({\mathbb {R}}^n\!\times \! {\mathbb {R}}) \!\mid \! \int _{\!-\!\infty }^{\!+\!\infty } \int _{{\mathbb {R}}^n} \frac{|u(x,t)|}{1\!+\!|x|^{n\!+\!2\!+\!2s}\!+\!|t|^{\frac{n}{2}\!+\!1\!+\!s}}\operatorname {d}\!x\operatorname {d}\!t<\infty \Bigg \} \end{aligned}\) L 2 s , s ( R n × R ) = { u ( x , t ) L loc 1 ( R n × R ) - + R n | u ( x , t ) | 1 + | x | n + 2 + 2 s + | t | n 2 + 1 + s d x d t < } and satisfies an additional asymptotic assumption \(\begin{aligned} \liminf _{|x|\rightarrow \infty }\frac{u(x,t)}{|x|^\gamma }\ge 0 \; ( \text{ or } \; \le 0) \,\,\text{ for } \text{ some } \;0\le \gamma \le 1, \end{aligned}\) lim inf | x | u ( x , t ) | x | γ 0 ( or 0 ) for some 0 γ 1 , in the case \(\frac{1}{2}<s < 1\) 1 2 < s < 1 , we prove that all solutions of (0.2) must be constant. This result includes the previous Liouville theorems on harmonic functions [1] and on s-harmonic functions [7] as special cases. Then we establish the equivalence between nonhomogeneous pseudo-differential equations (0.1) and the corresponding integral equations. We believe that these integral equations will become very useful tools in further analysing qualitative properties of solutions, such as regularity, monotonicity, and symmetry. In the process of deriving the Liouville type theorem, through very delicate calculations, we obtain an optimal estimate on the decay rate of \((\partial _t-\Delta )_{\textrm{right}}^s \varphi (x,t)\) ( t - Δ ) right s φ ( x , t ) . This sharp estimate will become a key ingredient and an important tool in investigating master equations.