<p>In this paper, we are devoted to studying the following nonlocal elliptic-parabolic equations involving the fractional (<i>p</i>,&#xa0;2)-Laplacian <Equation ID="Equ36"> <EquationSource Format="TEX">\(\begin{aligned} {\left\{ \begin{array}{ll} \displaystyle \partial _t^\beta u+ (-\Delta )_{p}^\alpha u+(-\Delta )_{2,a}^{\iota }u=\lambda |u|^{q-2}uv+g(x,t) &amp; \text{ in } \Omega \times \mathbb {R}^{+},\\ (-\Delta )^\gamma v=|u|^{q} &amp; \text{ in } \Omega \times \mathbb {R}^{+},\\ u(x,t)=v(x,t)=0\ \ &amp; \text{ in } (\mathbb {R}^N\setminus \Omega )\times \mathbb {R}^+,\\ u(x,0)=u_0(x)\ &amp; \text{ in } \Omega ,\\ \end{array}\right. } \end{aligned}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mtable> <mtr> <mtd columnalign="right"> <mfenced open="{"> <mrow> <mtable> <mtr> <mtd columnalign="left"> <mstyle displaystyle="true" scriptlevel="0"> <mrow> <msubsup> <mi>∂</mi> <mi>t</mi> <mi>β</mi> </msubsup> <mi>u</mi> <mo>+</mo> <msubsup> <mrow> <mo stretchy="false">(</mo> <mo>-</mo> <mi mathvariant="normal">Δ</mi> <mo stretchy="false">)</mo> </mrow> <mrow> <mi>p</mi> </mrow> <mi>α</mi> </msubsup> <mi>u</mi> <mo>+</mo> <msubsup> <mrow> <mo stretchy="false">(</mo> <mo>-</mo> <mi mathvariant="normal">Δ</mi> <mo stretchy="false">)</mo> </mrow> <mrow> <mn>2</mn> <mo>,</mo> <mi>a</mi> </mrow> <mi>ι</mi> </msubsup> <mi>u</mi> <mo>=</mo> <mi>λ</mi> <msup> <mrow> <mo stretchy="false">|</mo> <mi>u</mi> <mo stretchy="false">|</mo> </mrow> <mrow> <mi>q</mi> <mo>-</mo> <mn>2</mn> </mrow> </msup> <mi>u</mi> <mi>v</mi> <mo>+</mo> <mi>g</mi> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo>,</mo> <mi>t</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </mstyle> </mtd> <mtd columnalign="left"> <mrow> <mspace width="0.333333em" /> <mtext>in</mtext> <mspace width="0.333333em" /> <mi mathvariant="normal">Ω</mi> <mo>×</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mo>+</mo> </msup> <mo>,</mo> </mrow> </mtd> </mtr> <mtr> <mtd columnalign="left"> <mrow> <mrow /> <msup> <mrow> <mo stretchy="false">(</mo> <mo>-</mo> <mi mathvariant="normal">Δ</mi> <mo stretchy="false">)</mo> </mrow> <mi>γ</mi> </msup> <mi>v</mi> <mo>=</mo> <msup> <mrow> <mo stretchy="false">|</mo> <mi>u</mi> <mo stretchy="false">|</mo> </mrow> <mi>q</mi> </msup> </mrow> </mtd> <mtd columnalign="left"> <mrow> <mspace width="0.333333em" /> <mtext>in</mtext> <mspace width="0.333333em" /> <mi mathvariant="normal">Ω</mi> <mo>×</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mo>+</mo> </msup> <mo>,</mo> </mrow> </mtd> </mtr> <mtr> <mtd columnalign="left"> <mrow> <mrow /> <mi>u</mi> <mo stretchy="false">(</mo> <mi>x</mi> <mo>,</mo> <mi>t</mi> <mo stretchy="false">)</mo> <mo>=</mo> <mi>v</mi> <mo stretchy="false">(</mo> <mi>x</mi> <mo>,</mo> <mi>t</mi> <mo stretchy="false">)</mo> <mo>=</mo> <mn>0</mn> <mspace width="4pt" /> <mspace width="4pt" /> </mrow> </mtd> <mtd columnalign="left"> <mrow> <mspace width="0.333333em" /> <mtext>in</mtext> <mspace width="0.333333em" /> <mrow> <mo stretchy="false">(</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mi>N</mi> </msup> <mo lspace="0.15em" rspace="0.15em" stretchy="false">\</mo> <mi mathvariant="normal">Ω</mi> <mo stretchy="false">)</mo> </mrow> <mo>×</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mo>+</mo> </msup> <mo>,</mo> </mrow> </mtd> </mtr> <mtr> <mtd columnalign="left"> <mrow> <mrow /> <mi>u</mi> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo>,</mo> <mn>0</mn> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <msub> <mi>u</mi> <mn>0</mn> </msub> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> <mspace width="4pt" /> </mrow> </mtd> <mtd columnalign="left"> <mrow> <mspace width="0.333333em" /> <mtext>in</mtext> <mspace width="0.333333em" /> <mi mathvariant="normal">Ω</mi> <mo>,</mo> </mrow> </mtd> </mtr> </mtable> </mrow> </mfenced> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>where <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(\Omega \subset \mathbb {R}^N\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="normal">Ω</mi> <mo>⊂</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mi>N</mi> </msup> </mrow> </math></EquationSource> </InlineEquation> is a bounded domain with Lipschitz boundary, <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\((-\Delta )_{p}^{\alpha }+(-\Delta )_{2,a}^{\iota }\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msubsup> <mrow> <mo stretchy="false">(</mo> <mo>-</mo> <mi mathvariant="normal">Δ</mi> <mo stretchy="false">)</mo> </mrow> <mrow> <mi>p</mi> </mrow> <mi>α</mi> </msubsup> <mo>+</mo> <msubsup> <mrow> <mo stretchy="false">(</mo> <mo>-</mo> <mi mathvariant="normal">Δ</mi> <mo stretchy="false">)</mo> </mrow> <mrow> <mn>2</mn> <mo>,</mo> <mi>a</mi> </mrow> <mi>ι</mi> </msubsup> </mrow> </math></EquationSource> </InlineEquation> is the fractional (<i>p</i>,&#xa0;2)-Laplacian with <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(0&lt;{\iota }&lt;\alpha &lt;1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>0</mn> <mo>&lt;</mo> <mi>ι</mi> <mo>&lt;</mo> <mi>α</mi> <mo>&lt;</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(p,q\ge 2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>p</mi> <mo>,</mo> <mi>q</mi> <mo>≥</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(a:\mathbb {R}^N\times \mathbb {R}^N\rightarrow [0,\infty )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>a</mi> <mo>:</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mi>N</mi> </msup> <mo>×</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mi>N</mi> </msup> <mo stretchy="false">→</mo> <mrow> <mo stretchy="false">[</mo> <mn>0</mn> <mo>,</mo> <mi>∞</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> is a bounded function, <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(\partial _t^{\beta }\)</EquationSource> <EquationSource Format="MATHML"><math> <msubsup> <mi>∂</mi> <mi>t</mi> <mi>β</mi> </msubsup> </math></EquationSource> </InlineEquation> is the Riemann-Liouville time fractional derivative with <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(0&lt;\beta &lt;1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>0</mn> <mo>&lt;</mo> <mi>β</mi> <mo>&lt;</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(\lambda \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>λ</mi> </math></EquationSource> </InlineEquation> is a parameter, and <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(g\in L^\infty (0,\infty ;L^2(\Omega ))\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>g</mi> <mo>∈</mo> <msup> <mi>L</mi> <mi>∞</mi> </msup> <mrow> <mo stretchy="false">(</mo> <mn>0</mn> <mo>,</mo> <mi>∞</mi> <mo>;</mo> <msup> <mi>L</mi> <mn>2</mn> </msup> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="normal">Ω</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>. The existence theory of solutions is established by applying the Galerkin method combined with fractional calculus theory. Then, by the comparison theorem, the uniqueness of the global weak solution is derived. Moreover, under some suitable assumptions, we also give a decay estimate of solutions. There are two main features of this paper. First, our problem is the combination of both the Riemann-Liouville time fractional derivative and the fractional (<i>p</i>,&#xa0;2)-Laplacian operator. In particular, the fractional Laplacian <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\((-\Delta )_{2,a}^{\iota }\)</EquationSource> <EquationSource Format="MATHML"><math> <msubsup> <mrow> <mo stretchy="false">(</mo> <mo>-</mo> <mi mathvariant="normal">Δ</mi> <mo stretchy="false">)</mo> </mrow> <mrow> <mn>2</mn> <mo>,</mo> <mi>a</mi> </mrow> <mi>ι</mi> </msubsup> </math></EquationSource> </InlineEquation> has a weight function <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\(a(\cdot )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>a</mi> <mo stretchy="false">(</mo> <mo>·</mo> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> which plays a role in transforming between two states. If <InlineEquation ID="IEq12"> <EquationSource Format="TEX">\(p\ne 2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>p</mi> <mo>≠</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation>, the presence of two fractional operators with different growth, which generates a double phase anisotropic energy. Second, by the Lax-Milgram theorem, the above problem presents a Choquard nonlinear term, which also leads to non-local characteristics.</p>

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

Nonlocal Diffusion Equations Involving (p, 2)-Laplacian: Existence and Decay Estimates

  • Mingqi Xiang,
  • Linlin Chen

摘要

In this paper, we are devoted to studying the following nonlocal elliptic-parabolic equations involving the fractional (p, 2)-Laplacian \(\begin{aligned} {\left\{ \begin{array}{ll} \displaystyle \partial _t^\beta u+ (-\Delta )_{p}^\alpha u+(-\Delta )_{2,a}^{\iota }u=\lambda |u|^{q-2}uv+g(x,t) & \text{ in } \Omega \times \mathbb {R}^{+},\\ (-\Delta )^\gamma v=|u|^{q} & \text{ in } \Omega \times \mathbb {R}^{+},\\ u(x,t)=v(x,t)=0\ \ & \text{ in } (\mathbb {R}^N\setminus \Omega )\times \mathbb {R}^+,\\ u(x,0)=u_0(x)\ & \text{ in } \Omega ,\\ \end{array}\right. } \end{aligned}\) t β u + ( - Δ ) p α u + ( - Δ ) 2 , a ι u = λ | u | q - 2 u v + g ( x , t ) in Ω × R + , ( - Δ ) γ v = | u | q in Ω × R + , u ( x , t ) = v ( x , t ) = 0 in ( R N \ Ω ) × R + , u ( x , 0 ) = u 0 ( x ) in Ω , where \(\Omega \subset \mathbb {R}^N\) Ω R N is a bounded domain with Lipschitz boundary, \((-\Delta )_{p}^{\alpha }+(-\Delta )_{2,a}^{\iota }\) ( - Δ ) p α + ( - Δ ) 2 , a ι is the fractional (p, 2)-Laplacian with \(0<{\iota }<\alpha <1\) 0 < ι < α < 1 , \(p,q\ge 2\) p , q 2 , \(a:\mathbb {R}^N\times \mathbb {R}^N\rightarrow [0,\infty )\) a : R N × R N [ 0 , ) is a bounded function, \(\partial _t^{\beta }\) t β is the Riemann-Liouville time fractional derivative with \(0<\beta <1\) 0 < β < 1 , \(\lambda \) λ is a parameter, and \(g\in L^\infty (0,\infty ;L^2(\Omega ))\) g L ( 0 , ; L 2 ( Ω ) ) . The existence theory of solutions is established by applying the Galerkin method combined with fractional calculus theory. Then, by the comparison theorem, the uniqueness of the global weak solution is derived. Moreover, under some suitable assumptions, we also give a decay estimate of solutions. There are two main features of this paper. First, our problem is the combination of both the Riemann-Liouville time fractional derivative and the fractional (p, 2)-Laplacian operator. In particular, the fractional Laplacian \((-\Delta )_{2,a}^{\iota }\) ( - Δ ) 2 , a ι has a weight function \(a(\cdot )\) a ( · ) which plays a role in transforming between two states. If \(p\ne 2\) p 2 , the presence of two fractional operators with different growth, which generates a double phase anisotropic energy. Second, by the Lax-Milgram theorem, the above problem presents a Choquard nonlinear term, which also leads to non-local characteristics.