<p>The purpose of this paper is to investigate the existence of weak solutions for a Kirchhoff-type equation involving the fractional <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(p(x,\cdot )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>p</mi> <mo stretchy="false">(</mo> <mi>x</mi> <mo>,</mo> <mo>·</mo> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>-Laplacian with nonhomogeneous Dirichlet boundary conditions, as follows: <Equation ID="Equ25"> <EquationSource Format="TEX">\(\begin{aligned} \left\{ \begin{aligned} M\bigg (\int _{\mathbb {R}^{2N}}\frac{|u(x)-u(y)|^{p(x,y)}}{p(x,y)|x-y|^{N+sp(x,y)}}dxdy\bigg )\Big (-\Delta _{p(x,.)}\Big )^s u (x)&amp;=\lambda f(x, u)&amp;\text{ in }&amp;\Omega , \\ u&amp;=g&amp;\text{ in }&amp;\mathbb {R}^N \setminus \Omega , \end{aligned}\right. \end{aligned}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mtable> <mtr> <mtd columnalign="right"> <mfenced open="{"> <mrow> <mtable> <mtr> <mtd columnalign="right"> <mrow> <mi>M</mi> <mrow> <mo maxsize="2.047em" minsize="2.047em" stretchy="true">(</mo> </mrow> <msub> <mo>∫</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mrow> <mn>2</mn> <mi>N</mi> </mrow> </msup> </msub> <mfrac> <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> <mrow> <mi>p</mi> <mo stretchy="false">(</mo> <mi>x</mi> <mo>,</mo> <mi>y</mi> <mo stretchy="false">)</mo> </mrow> </msup> <msup> <mrow> <mi>p</mi> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo>,</mo> <mi>y</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">|</mo> <mi>x</mi> <mo>-</mo> <mi>y</mi> <mo stretchy="false">|</mo> </mrow> <mrow> <mi>N</mi> <mo>+</mo> <mi>s</mi> <mi>p</mi> <mo stretchy="false">(</mo> <mi>x</mi> <mo>,</mo> <mi>y</mi> <mo stretchy="false">)</mo> </mrow> </msup> </mfrac> <mi>d</mi> <mi>x</mi> <mi>d</mi> <mi>y</mi> <mrow> <mo maxsize="2.047em" minsize="2.047em" stretchy="true">)</mo> </mrow> <mrow> <mo maxsize="1.623em" minsize="1.623em" stretchy="true">(</mo> </mrow> <mo>-</mo> <msub> <mi mathvariant="normal">Δ</mi> <mrow> <mi>p</mi> <mo stretchy="false">(</mo> <mi>x</mi> <mo>,</mo> <mo>.</mo> <mo stretchy="false">)</mo> </mrow> </msub> <msup> <mrow> <mo maxsize="1.623em" minsize="1.623em" stretchy="true">)</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> <mi>f</mi> <mo stretchy="false">(</mo> <mi>x</mi> <mo>,</mo> <mi>u</mi> <mo stretchy="false">)</mo> </mrow> </mtd> <mtd columnalign="right"> <mrow> <mspace width="0.333333em" /> <mtext>in</mtext> <mspace width="0.333333em" /> </mrow> </mtd> <mtd columnalign="left"> <mrow> <mi mathvariant="normal">Ω</mi> <mo>,</mo> </mrow> </mtd> </mtr> <mtr> <mtd columnalign="right"> <mrow> <mrow /> <mi>u</mi> </mrow> </mtd> <mtd columnalign="left"> <mrow> <mo>=</mo> <mi>g</mi> </mrow> </mtd> <mtd columnalign="right"> <mrow> <mspace width="0.333333em" /> <mtext>in</mtext> <mspace width="0.333333em" /> </mrow> </mtd> <mtd columnalign="left"> <mrow> <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="IEq5"> <EquationSource Format="TEX">\(\Omega \)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="normal">Ω</mi> </math></EquationSource> </InlineEquation> is a smooth bounded open set in <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(\mathbb {R}^N\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mi>N</mi> </msup> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(\Big (-\Delta _{p(x,.)}\Big )^s \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mrow> <mo maxsize="1.623em" minsize="1.623em" stretchy="true">(</mo> </mrow> <mo>-</mo> <msub> <mi mathvariant="normal">Δ</mi> <mrow> <mi>p</mi> <mo stretchy="false">(</mo> <mi>x</mi> <mo>,</mo> <mo>.</mo> <mo stretchy="false">)</mo> </mrow> </msub> <msup> <mrow> <mo maxsize="1.623em" minsize="1.623em" stretchy="true">)</mo> </mrow> <mi>s</mi> </msup> </mrow> </math></EquationSource> </InlineEquation> is the fractional <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(p(x,.)-\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>p</mi> <mo stretchy="false">(</mo> <mi>x</mi> <mo>,</mo> <mo>.</mo> <mo stretchy="false">)</mo> <mo>-</mo> </mrow> </math></EquationSource> </InlineEquation>Laplacian, <InlineEquation ID="IEq9"> <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, <i>M</i> is a continuous function, <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(f: \Omega \times \mathbb {R}\mapsto \mathbb {R}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>f</mi> <mo>:</mo> <mi mathvariant="normal">Ω</mi> <mo>×</mo> <mi mathvariant="double-struck">R</mi> <mo>↦</mo> <mi mathvariant="double-struck">R</mi> </mrow> </math></EquationSource> </InlineEquation> is a Carathéodory function with suitable growth condition and <i>g</i> is a given boundary data. The proof of our main existence results is based on the study of the fractional <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\(p(x,\cdot )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>p</mi> <mo stretchy="false">(</mo> <mi>x</mi> <mo>,</mo> <mo>·</mo> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>-Poisson equation of Kirchhoff type with a nonhomogeneous Dirichlet boundary condition, the theory of fractional Sobolev spaces with variable exponents, and Schauder’s fixed point theorem.</p>

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

Existence of solutions for fractional \(p(x,\cdot )\)-Kirchhoff-type problems with nonhomogeneous Dirichlet boundary conditions

  • Azeddine Baalal,
  • Achraf El Wazna

摘要

The purpose of this paper is to investigate the existence of weak solutions for a Kirchhoff-type equation involving the fractional \(p(x,\cdot )\) p ( x , · ) -Laplacian with nonhomogeneous Dirichlet boundary conditions, as follows: \(\begin{aligned} \left\{ \begin{aligned} M\bigg (\int _{\mathbb {R}^{2N}}\frac{|u(x)-u(y)|^{p(x,y)}}{p(x,y)|x-y|^{N+sp(x,y)}}dxdy\bigg )\Big (-\Delta _{p(x,.)}\Big )^s u (x)&=\lambda f(x, u)&\text{ in }&\Omega , \\ u&=g&\text{ in }&\mathbb {R}^N \setminus \Omega , \end{aligned}\right. \end{aligned}\) M ( R 2 N | u ( x ) - u ( y ) | p ( x , y ) p ( x , y ) | x - y | N + s p ( x , y ) d x d y ) ( - Δ p ( x , . ) ) s u ( x ) = λ f ( x , u ) in Ω , u = g in R N \ Ω , where \(\Omega \) Ω is a smooth bounded open set in \(\mathbb {R}^N\) R N , \(\Big (-\Delta _{p(x,.)}\Big )^s \) ( - Δ p ( x , . ) ) s is the fractional \(p(x,.)-\) p ( x , . ) - Laplacian, \(\lambda >0\) λ > 0 is a real parameter, M is a continuous function, \(f: \Omega \times \mathbb {R}\mapsto \mathbb {R}\) f : Ω × R R is a Carathéodory function with suitable growth condition and g is a given boundary data. The proof of our main existence results is based on the study of the fractional \(p(x,\cdot )\) p ( x , · ) -Poisson equation of Kirchhoff type with a nonhomogeneous Dirichlet boundary condition, the theory of fractional Sobolev spaces with variable exponents, and Schauder’s fixed point theorem.