<p>In this paper we prove the existence and uniqueness of renormalised solutions to the nonlinear elliptic problem defined as follows <Equation ID="Equ108"> <EquationSource Format="TEX">\(\begin{aligned} \left\{ \begin{array}{lll} \displaystyle -\text{ div }(a(x,|\nabla u|)\nabla u)+ |u|^{p(x)-2}u \displaystyle = f(x)-\text{ div }(\phi (x,u))&amp; \text{ in } &amp; \Omega \\ \displaystyle \lambda u+(a(x,|\nabla u|)\nabla u-\phi (x,u)).\eta \displaystyle = g &amp; \text{ on } &amp; \partial \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> <mo>-</mo> <mrow> <mspace width="0.333333em" /> <mtext>div</mtext> <mspace width="0.333333em" /> <mo stretchy="false">(</mo> <mi>a</mi> <mo stretchy="false">(</mo> <mi>x</mi> <mo>,</mo> <mo stretchy="false">|</mo> <mi mathvariant="normal">∇</mi> <mi>u</mi> <mo stretchy="false">|</mo> <mo stretchy="false">)</mo> <mi mathvariant="normal">∇</mi> <mi>u</mi> <mo stretchy="false">)</mo> </mrow> <mo>+</mo> <msup> <mrow> <mo stretchy="false">|</mo> <mi>u</mi> <mo stretchy="false">|</mo> </mrow> <mrow> <mi>p</mi> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> <mo>-</mo> <mn>2</mn> </mrow> </msup> <mi>u</mi> <mo>=</mo> <mi>f</mi> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> <mo>-</mo> <mspace width="0.333333em" /> <mtext>div</mtext> <mspace width="0.333333em" /> <mrow> <mo stretchy="false">(</mo> <mi>ϕ</mi> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo>,</mo> <mi>u</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">)</mo> </mrow> </mrow> </mstyle> </mtd> <mtd columnalign="left"> <mrow> <mspace width="0.333333em" /> <mtext>in</mtext> <mspace width="0.333333em" /> </mrow> </mtd> <mtd columnalign="left"> <mi mathvariant="normal">Ω</mi> </mtd> </mtr> <mtr> <mtd columnalign="left"> <mstyle displaystyle="true" scriptlevel="0"> <mrow> <mrow /> <mi>λ</mi> <mi>u</mi> <mo>+</mo> <mo stretchy="false">(</mo> <mi>a</mi> <mo stretchy="false">(</mo> <mi>x</mi> <mo>,</mo> <mo stretchy="false">|</mo> <mi mathvariant="normal">∇</mi> <mi>u</mi> <mo stretchy="false">|</mo> <mo stretchy="false">)</mo> <mi mathvariant="normal">∇</mi> <mi>u</mi> <mo>-</mo> <mi>ϕ</mi> <mo stretchy="false">(</mo> <mi>x</mi> <mo>,</mo> <mi>u</mi> <mo stretchy="false">)</mo> <mo stretchy="false">)</mo> <mo>.</mo> <mi>η</mi> <mo>=</mo> <mi>g</mi> </mrow> </mstyle> </mtd> <mtd columnalign="left"> <mrow> <mspace width="0.333333em" /> <mtext>on</mtext> <mspace width="0.333333em" /> </mrow> </mtd> <mtd columnalign="left"> <mrow> <mi>∂</mi> <mi mathvariant="normal">Ω</mi> <mo>,</mo> </mrow> </mtd> </mtr> </mtable> </mrow> </mfenced> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>in the setting of Sobolev spaces with variable exponents, where <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(\Omega \)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="normal">Ω</mi> </math></EquationSource> </InlineEquation> is a bounded open subset in <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(I\!\!R^{N}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>I</mi> <mspace width="-0.166667em" /> <mspace width="-0.166667em" /> <msup> <mi>R</mi> <mi>N</mi> </msup> </mrow> </math></EquationSource> </InlineEquation> (<InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(N\ge 3\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>N</mi> <mo>≥</mo> <mn>3</mn> </mrow> </math></EquationSource> </InlineEquation>) with Lipschitz boundary <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(\partial \Omega \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>∂</mi> <mi mathvariant="normal">Ω</mi> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(\eta \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>η</mi> </math></EquationSource> </InlineEquation> is the outer unit normal vector on <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(\partial \Omega \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>∂</mi> <mi mathvariant="normal">Ω</mi> </mrow> </math></EquationSource> </InlineEquation>, and <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(\lambda \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>λ</mi> </math></EquationSource> </InlineEquation> is a strictly positive real constant. The nonlinear term <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(\phi (x,u)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>ϕ</mi> <mo stretchy="false">(</mo> <mi>x</mi> <mo>,</mo> <mi>u</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> verifies some growth condition, the right hand-side <i>f</i> belongs to <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(L^{1}(\Omega ) \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>L</mi> <mn>1</mn> </msup> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="normal">Ω</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(g \in L^{1}( \partial \Omega )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>g</mi> <mo>∈</mo> <msup> <mi>L</mi> <mn>1</mn> </msup> <mrow> <mo stretchy="false">(</mo> <mi>∂</mi> <mi mathvariant="normal">Ω</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>.</p>

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

Existence and uniqueness of solutions for a p(x)-Schrödinger-type equation under Fourier boundary conditions

  • Hayat Benkhalou,
  • Aymane El Janathi

摘要

In this paper we prove the existence and uniqueness of renormalised solutions to the nonlinear elliptic problem defined as follows \(\begin{aligned} \left\{ \begin{array}{lll} \displaystyle -\text{ div }(a(x,|\nabla u|)\nabla u)+ |u|^{p(x)-2}u \displaystyle = f(x)-\text{ div }(\phi (x,u))& \text{ in } & \Omega \\ \displaystyle \lambda u+(a(x,|\nabla u|)\nabla u-\phi (x,u)).\eta \displaystyle = g & \text{ on } & \partial \Omega , \end{array}\right. \end{aligned}\) - div ( a ( x , | u | ) u ) + | u | p ( x ) - 2 u = f ( x ) - div ( ϕ ( x , u ) ) in Ω λ u + ( a ( x , | u | ) u - ϕ ( x , u ) ) . η = g on Ω , in the setting of Sobolev spaces with variable exponents, where \(\Omega \) Ω is a bounded open subset in \(I\!\!R^{N}\) I R N ( \(N\ge 3\) N 3 ) with Lipschitz boundary \(\partial \Omega \) Ω , \(\eta \) η is the outer unit normal vector on \(\partial \Omega \) Ω , and \(\lambda \) λ is a strictly positive real constant. The nonlinear term \(\phi (x,u)\) ϕ ( x , u ) verifies some growth condition, the right hand-side f belongs to \(L^{1}(\Omega ) \) L 1 ( Ω ) and \(g \in L^{1}( \partial \Omega )\) g L 1 ( Ω ) .