<p>In this work, we investigate the existence of solutions for a fractional critical <i>p</i>-Kirchhoff system with non-local non-linearities. Specifically, we consider the following problem: <Equation ID="Equ33"> <EquationSource Format="TEX">\(\begin{aligned} {\left\{ \begin{array}{ll} \textrm{M}(\Vert u,v\Vert ^p)\mathcal {L}_\mathcal {K}^p(u) = \lambda \frac{\partial F}{\partial u}(x,u,v) + \frac{\alpha }{p^\star _s}|u|^{\alpha -2}u|v|^{\beta } &amp; \text {in } \Omega ,\\ \textrm{M}(\Vert u,v\Vert ^p)\mathcal {L}_\mathcal {K}^p(v) = \lambda \frac{\partial F}{\partial v}(x,u,v) + \frac{\beta }{p^\star _s}|u|^{\alpha }|v|^{\beta -2}v &amp; \text {in } \Omega ,\\ u = v = 0 &amp; \text {in } \mathbb {R}^N {\setminus } \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"> <mrow> <msup> <mrow> <mtext>M</mtext> <mo stretchy="false">(</mo> <mo stretchy="false">‖</mo> <mi>u</mi> <mo>,</mo> <mi>v</mi> <mo stretchy="false">‖</mo> </mrow> <mi>p</mi> </msup> <mrow> <mo stretchy="false">)</mo> </mrow> <msubsup> <mi mathvariant="script">L</mi> <mrow> <mi mathvariant="script">K</mi> </mrow> <mi>p</mi> </msubsup> <mrow> <mo stretchy="false">(</mo> <mi>u</mi> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <mi>λ</mi> <mfrac> <mrow> <mi>∂</mi> <mi>F</mi> </mrow> <mrow> <mi>∂</mi> <mi>u</mi> </mrow> </mfrac> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo>,</mo> <mi>u</mi> <mo>,</mo> <mi>v</mi> <mo stretchy="false">)</mo> </mrow> <mo>+</mo> <mfrac> <mi>α</mi> <msubsup> <mi>p</mi> <mi>s</mi> <mo>⋆</mo> </msubsup> </mfrac> <msup> <mrow> <mo stretchy="false">|</mo> <mi>u</mi> <mo stretchy="false">|</mo> </mrow> <mrow> <mi>α</mi> <mo>-</mo> <mn>2</mn> </mrow> </msup> <mi>u</mi> <msup> <mrow> <mo stretchy="false">|</mo> <mi>v</mi> <mo stretchy="false">|</mo> </mrow> <mi>β</mi> </msup> </mrow> </mtd> <mtd columnalign="left"> <mrow> <mtext>in</mtext> <mspace width="0.333333em" /> <mi mathvariant="normal">Ω</mi> <mo>,</mo> </mrow> </mtd> </mtr> <mtr> <mtd columnalign="left"> <mrow> <msup> <mrow> <mrow /> <mtext>M</mtext> <mo stretchy="false">(</mo> <mo stretchy="false">‖</mo> <mi>u</mi> <mo>,</mo> <mi>v</mi> <mo stretchy="false">‖</mo> </mrow> <mi>p</mi> </msup> <mrow> <mo stretchy="false">)</mo> </mrow> <msubsup> <mi mathvariant="script">L</mi> <mrow> <mi mathvariant="script">K</mi> </mrow> <mi>p</mi> </msubsup> <mrow> <mo stretchy="false">(</mo> <mi>v</mi> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <mi>λ</mi> <mfrac> <mrow> <mi>∂</mi> <mi>F</mi> </mrow> <mrow> <mi>∂</mi> <mi>v</mi> </mrow> </mfrac> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo>,</mo> <mi>u</mi> <mo>,</mo> <mi>v</mi> <mo stretchy="false">)</mo> </mrow> <mo>+</mo> <mfrac> <mi>β</mi> <msubsup> <mi>p</mi> <mi>s</mi> <mo>⋆</mo> </msubsup> </mfrac> <msup> <mrow> <mo stretchy="false">|</mo> <mi>u</mi> <mo stretchy="false">|</mo> </mrow> <mi>α</mi> </msup> <msup> <mrow> <mo stretchy="false">|</mo> <mi>v</mi> <mo stretchy="false">|</mo> </mrow> <mrow> <mi>β</mi> <mo>-</mo> <mn>2</mn> </mrow> </msup> <mi>v</mi> </mrow> </mtd> <mtd columnalign="left"> <mrow> <mtext>in</mtext> <mspace width="0.333333em" /> <mi mathvariant="normal">Ω</mi> <mo>,</mo> </mrow> </mtd> </mtr> <mtr> <mtd columnalign="left"> <mrow> <mrow /> <mi>u</mi> <mo>=</mo> <mi>v</mi> <mo>=</mo> <mn>0</mn> </mrow> </mtd> <mtd columnalign="left"> <mrow> <mtext>in</mtext> <mspace width="0.333333em" /> <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> </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">\(\mathcal {L}_\mathcal {K}^p\)</EquationSource> <EquationSource Format="MATHML"><math> <msubsup> <mi mathvariant="script">L</mi> <mrow> <mi mathvariant="script">K</mi> </mrow> <mi>p</mi> </msubsup> </math></EquationSource> </InlineEquation> is a nonlocal operator with singular kernel <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(\mathcal {K}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">K</mi> </math></EquationSource> </InlineEquation>, and <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(\Vert u,v\Vert ^p\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mo stretchy="false">‖</mo> <mi>u</mi> <mo>,</mo> <mi>v</mi> <mo stretchy="false">‖</mo> </mrow> <mi>p</mi> </msup> </math></EquationSource> </InlineEquation> is defined by <Equation ID="Equ34"> <EquationSource Format="TEX">\(\Vert u,v\Vert ^p=\int _{\mathbb {R}^{2N}}|u(x)-u(y)|^p\mathcal {K}(x-y)dx\ dy+\int _{\mathbb {R}^{2N}}|v(x)-v(y)|^p\mathcal {K}(x-y)dx\ dy.\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <msup> <mrow> <mo stretchy="false">‖</mo> <mi>u</mi> <mo>,</mo> <mi>v</mi> <mo stretchy="false">‖</mo> </mrow> <mi>p</mi> </msup> <mo>=</mo> <msub> <mo>∫</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mrow> <mn>2</mn> <mi>N</mi> </mrow> </msup> </msub> <msup> <mrow> <mo stretchy="false">|</mo> <mi>u</mi> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> <mo>-</mo> <mi>u</mi> <mrow> <mo stretchy="false">(</mo> <mi>y</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">|</mo> </mrow> <mi>p</mi> </msup> <mi mathvariant="script">K</mi> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo>-</mo> <mi>y</mi> <mo stretchy="false">)</mo> </mrow> <mi>d</mi> <mi>x</mi> <mspace width="4pt" /> <mi>d</mi> <mi>y</mi> <mo>+</mo> <msub> <mo>∫</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mrow> <mn>2</mn> <mi>N</mi> </mrow> </msup> </msub> <msup> <mrow> <mo stretchy="false">|</mo> <mi>v</mi> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> <mo>-</mo> <mi>v</mi> <mrow> <mo stretchy="false">(</mo> <mi>y</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">|</mo> </mrow> <mi>p</mi> </msup> <mi mathvariant="script">K</mi> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo>-</mo> <mi>y</mi> <mo stretchy="false">)</mo> </mrow> <mi>d</mi> <mi>x</mi> <mspace width="4pt" /> <mi>d</mi> <mi>y</mi> <mo>.</mo> </mrow> </math></EquationSource> </Equation>The Kirchhoff function <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(\textrm{M}\)</EquationSource> <EquationSource Format="MATHML"><math> <mtext>M</mtext> </math></EquationSource> </InlineEquation> is continuous, <InlineEquation ID="IEq6"> <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 parameter, and <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(F: \Omega \times \mathbb {R}^2 \rightarrow \mathbb {R}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>F</mi> <mo>:</mo> <mi mathvariant="normal">Ω</mi> <mo>×</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mn>2</mn> </msup> <mo stretchy="false">→</mo> <mi mathvariant="double-struck">R</mi> </mrow> </math></EquationSource> </InlineEquation> is a Carathéodory function. The exponents <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(\alpha , \beta &gt; 1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>α</mi> <mo>,</mo> <mi>β</mi> <mo>&gt;</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation> satisfy the critical condition <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(\alpha + \beta = p^\star _s = \frac{Np}{N-sp}.\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>α</mi> <mo>+</mo> <mi>β</mi> <mo>=</mo> <msubsup> <mi>p</mi> <mi>s</mi> <mo>⋆</mo> </msubsup> <mo>=</mo> <mfrac> <mrow> <mi mathvariant="italic">Np</mi> </mrow> <mrow> <mi>N</mi> <mo>-</mo> <mi>s</mi> <mi>p</mi> </mrow> </mfrac> <mo>.</mo> </mrow> </math></EquationSource> </InlineEquation> Notably, our analysis covers the degenerate case where <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(\textrm{M}\)</EquationSource> <EquationSource Format="MATHML"><math> <mtext>M</mtext> </math></EquationSource> </InlineEquation> may vanish at zero. By employing Ekeland’s variational principle, we prove the existence of a nontrivial weak solution with negative energy. Furthermore, using Kajikiya’s symmetric mountain pass lemma, we establish the existence of infinitely many small solutions converging to zero, all with negative energy. Our results extend and complement previous work on fractional Kirchhoff systems in critical settings.</p>

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

Existence of infinitely many solutions for fractional p-Kirchhoff systems involving critical Sobolev nonlinearities

  • Adel Daouas,
  • Mohamed Louchaich,
  • Kamel Saoudi

摘要

In this work, we investigate the existence of solutions for a fractional critical p-Kirchhoff system with non-local non-linearities. Specifically, we consider the following problem: \(\begin{aligned} {\left\{ \begin{array}{ll} \textrm{M}(\Vert u,v\Vert ^p)\mathcal {L}_\mathcal {K}^p(u) = \lambda \frac{\partial F}{\partial u}(x,u,v) + \frac{\alpha }{p^\star _s}|u|^{\alpha -2}u|v|^{\beta } & \text {in } \Omega ,\\ \textrm{M}(\Vert u,v\Vert ^p)\mathcal {L}_\mathcal {K}^p(v) = \lambda \frac{\partial F}{\partial v}(x,u,v) + \frac{\beta }{p^\star _s}|u|^{\alpha }|v|^{\beta -2}v & \text {in } \Omega ,\\ u = v = 0 & \text {in } \mathbb {R}^N {\setminus } \Omega , \end{array}\right. } \end{aligned}\) M ( u , v p ) L K p ( u ) = λ F u ( x , u , v ) + α p s | u | α - 2 u | v | β in Ω , M ( u , v p ) L K p ( v ) = λ F v ( x , u , v ) + β p s | u | α | v | β - 2 v in Ω , u = v = 0 in R N \ Ω , where \(\Omega \subset \mathbb {R}^N\) Ω R N is a bounded domain with Lipschitz boundary, \(\mathcal {L}_\mathcal {K}^p\) L K p is a nonlocal operator with singular kernel \(\mathcal {K}\) K , and \(\Vert u,v\Vert ^p\) u , v p is defined by \(\Vert u,v\Vert ^p=\int _{\mathbb {R}^{2N}}|u(x)-u(y)|^p\mathcal {K}(x-y)dx\ dy+\int _{\mathbb {R}^{2N}}|v(x)-v(y)|^p\mathcal {K}(x-y)dx\ dy.\) u , v p = R 2 N | u ( x ) - u ( y ) | p K ( x - y ) d x d y + R 2 N | v ( x ) - v ( y ) | p K ( x - y ) d x d y . The Kirchhoff function \(\textrm{M}\) M is continuous, \(\lambda > 0\) λ > 0 is a parameter, and \(F: \Omega \times \mathbb {R}^2 \rightarrow \mathbb {R}\) F : Ω × R 2 R is a Carathéodory function. The exponents \(\alpha , \beta > 1\) α , β > 1 satisfy the critical condition \(\alpha + \beta = p^\star _s = \frac{Np}{N-sp}.\) α + β = p s = Np N - s p . Notably, our analysis covers the degenerate case where \(\textrm{M}\) M may vanish at zero. By employing Ekeland’s variational principle, we prove the existence of a nontrivial weak solution with negative energy. Furthermore, using Kajikiya’s symmetric mountain pass lemma, we establish the existence of infinitely many small solutions converging to zero, all with negative energy. Our results extend and complement previous work on fractional Kirchhoff systems in critical settings.