<p>Let <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(\Omega \subset \mathbb {R}^N(N\geqslant 3)\)</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> <mo stretchy="false">(</mo> <mi>N</mi> <mo>⩾</mo> <mn>3</mn> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> be a smooth bounded domain. For <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(\theta \in \left( 0,1\right) \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>θ</mi> <mo>∈</mo> <mfenced close=")" open="("> <mn>0</mn> <mo>,</mo> <mn>1</mn> </mfenced> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(s\in \left( \frac{1}{2},\frac{2-\theta }{2}\right) \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>s</mi> <mo>∈</mo> <mfenced close=")" open="("> <mfrac> <mn>1</mn> <mn>2</mn> </mfrac> <mo>,</mo> <mfrac> <mrow> <mn>2</mn> <mo>-</mo> <mi>θ</mi> </mrow> <mn>2</mn> </mfrac> </mfenced> </mrow> </math></EquationSource> </InlineEquation>, we establish the existence of solutions to the following fractional elliptic problem with nonlocal quadratic gradient terms by Schauder fixed point theorem <Equation ID="Equ33"> <EquationSource Format="TEX">\(\begin{aligned} {\left\{ \begin{array}{ll} \begin{aligned} (-\Delta )^s u(x)&amp; =\mu (x){{\mathcal {\mathbb {D}}^{2}_{s}\left( u^{\frac{2-\theta }{2}}(x)\right) }} + \lambda f(x),&amp; &amp; x\in \Omega ,\\ u(x)&amp; &gt;0,&amp; &amp; x\in \Omega ,\\ u(x)&amp; =0,&amp; &amp; x\in {\mathbb {R}^N}\setminus {\Omega }, \end{aligned} \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"> <mrow> <mtable> <mtr> <mtd columnalign="right"> <mrow> <msup> <mrow> <mo stretchy="false">(</mo> <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 stretchy="false">)</mo> </mrow> </mrow> </mtd> <mtd columnalign="left"> <mrow> <mo>=</mo> <mi>μ</mi> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> <mrow> <msubsup> <mi mathvariant="double-struck">D</mi> <mi>s</mi> <mn>2</mn> </msubsup> <mfenced close=")" open="("> <msup> <mi>u</mi> <mfrac> <mrow> <mn>2</mn> <mo>-</mo> <mi>θ</mi> </mrow> <mn>2</mn> </mfrac> </msup> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> </mfenced> </mrow> <mo>+</mo> <mi>λ</mi> <mi>f</mi> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> <mo>,</mo> </mrow> </mtd> <mtd /> <mtd columnalign="left"> <mrow> <mi>x</mi> <mo>∈</mo> <mi mathvariant="normal">Ω</mi> <mo>,</mo> </mrow> </mtd> </mtr> <mtr> <mtd columnalign="right"> <mrow> <mrow /> <mi>u</mi> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> </mtd> <mtd columnalign="left"> <mrow> <mo>&gt;</mo> <mn>0</mn> <mo>,</mo> </mrow> </mtd> <mtd /> <mtd columnalign="left"> <mrow> <mi>x</mi> <mo>∈</mo> <mi mathvariant="normal">Ω</mi> <mo>,</mo> </mrow> </mtd> </mtr> <mtr> <mtd columnalign="right"> <mrow> <mrow /> <mi>u</mi> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> </mtd> <mtd columnalign="left"> <mrow> <mo>=</mo> <mn>0</mn> <mo>,</mo> </mrow> </mtd> <mtd /> <mtd columnalign="left"> <mrow> <mi>x</mi> <mo>∈</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>,</mo> </mrow> </mtd> </mtr> </mtable> </mrow> </mtd> </mtr> </mtable> </mrow> </mfenced> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>where <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(0&lt;\mu (x)\in L^\infty (\Omega )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>0</mn> <mo>&lt;</mo> <mi>μ</mi> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> <mo>∈</mo> <msup> <mi>L</mi> <mi>∞</mi> </msup> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="normal">Ω</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(\lambda &gt;0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>λ</mi> <mo>&gt;</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation> is a real parameter, <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(0&lt;f(x)\in L^m(\Omega )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>0</mn> <mo>&lt;</mo> <mi>f</mi> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> <mo>∈</mo> <msup> <mi>L</mi> <mi>m</mi> </msup> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="normal">Ω</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> with <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(m&gt;\frac{N}{2s}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>m</mi> <mo>&gt;</mo> <mfrac> <mi>N</mi> <mrow> <mn>2</mn> <mi>s</mi> </mrow> </mfrac> </mrow> </math></EquationSource> </InlineEquation>. <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\({\mathcal {\mathbb {D}}^{2}_{s}\left( \cdot \right) }\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msubsup> <mi mathvariant="double-struck">D</mi> <mi>s</mi> <mn>2</mn> </msubsup> <mfenced close=")" open="("> <mo>·</mo> </mfenced> </mrow> </math></EquationSource> </InlineEquation> is a nonlocal quadratic gradient term. This problem corresponds to classical Laplace equations with quadratic gradient and singular lower order terms. The main results of this paper show that the mild singularities at zero (since <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(\theta \in \left( 0,1\right) \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>θ</mi> <mo>∈</mo> <mfenced close=")" open="("> <mn>0</mn> <mo>,</mo> <mn>1</mn> </mfenced> </mrow> </math></EquationSource> </InlineEquation>) have a significant impact on the range of the fractional exponent <i>s</i>, which is a property unique to nonlocal operators.</p>

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

Existence of solutions to fractional elliptic problem with nonlocal gradient terms

  • Le Zhang,
  • Shuibo Huang,
  • Qiaoyu Tian

摘要

Let \(\Omega \subset \mathbb {R}^N(N\geqslant 3)\) Ω R N ( N 3 ) be a smooth bounded domain. For \(\theta \in \left( 0,1\right) \) θ 0 , 1 and \(s\in \left( \frac{1}{2},\frac{2-\theta }{2}\right) \) s 1 2 , 2 - θ 2 , we establish the existence of solutions to the following fractional elliptic problem with nonlocal quadratic gradient terms by Schauder fixed point theorem \(\begin{aligned} {\left\{ \begin{array}{ll} \begin{aligned} (-\Delta )^s u(x)& =\mu (x){{\mathcal {\mathbb {D}}^{2}_{s}\left( u^{\frac{2-\theta }{2}}(x)\right) }} + \lambda f(x),& & x\in \Omega ,\\ u(x)& >0,& & x\in \Omega ,\\ u(x)& =0,& & x\in {\mathbb {R}^N}\setminus {\Omega }, \end{aligned} \end{array}\right. } \end{aligned}\) ( - Δ ) s u ( x ) = μ ( x ) D s 2 u 2 - θ 2 ( x ) + λ f ( x ) , x Ω , u ( x ) > 0 , x Ω , u ( x ) = 0 , x R N \ Ω , where \(0<\mu (x)\in L^\infty (\Omega )\) 0 < μ ( x ) L ( Ω ) , \(\lambda >0\) λ > 0 is a real parameter, \(0<f(x)\in L^m(\Omega )\) 0 < f ( x ) L m ( Ω ) with \(m>\frac{N}{2s}\) m > N 2 s . \({\mathcal {\mathbb {D}}^{2}_{s}\left( \cdot \right) }\) D s 2 · is a nonlocal quadratic gradient term. This problem corresponds to classical Laplace equations with quadratic gradient and singular lower order terms. The main results of this paper show that the mild singularities at zero (since \(\theta \in \left( 0,1\right) \) θ 0 , 1 ) have a significant impact on the range of the fractional exponent s, which is a property unique to nonlocal operators.