<p>In the present paper, we study a class of quasilinear equation with mixed boundary conditions: <Equation ID="Equ78"> <EquationSource Format="TEX">\(\begin{aligned}\left\{ \begin{array}{ll} \displaystyle - \text{ div }(a(x,u_{1},Du_{1})) + \mathcal {K}(x,u_{1}) = f(x) \qquad &amp; \text{ in } \Omega _{1},\\ \displaystyle - \text{ div }(a(x,u_{2},Du_{2})) + \mathcal {K}(x,u_{2}) = f(x) \qquad &amp; \text{ in } \Omega _{2},\\ \displaystyle u_{1} = 0 &amp; \text{ on } \partial \Omega ,\\ \displaystyle a(x,u_{1},Du_{1})\cdot \nu _{1} + \lambda u_{1} = a(x,u_{2},Du_{2})\cdot \nu _{1} + \lambda u_{2} &amp; \text{ on } \Gamma ,\\ \displaystyle a(x,u_{1},Du_{1})\cdot \nu _{1} +\lambda u_{1} = - h(x)|u_{1}-u_{2}|^{p-2}(u_{1}-u_{2}) + G(x) &amp; \text{ on } \Gamma . \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> <mspace width="0.333333em" /> <mtext>div</mtext> <mspace width="0.333333em" /> <mrow> <mo stretchy="false">(</mo> <mi>a</mi> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo>,</mo> <msub> <mi>u</mi> <mn>1</mn> </msub> <mo>,</mo> <mi>D</mi> <msub> <mi>u</mi> <mn>1</mn> </msub> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">)</mo> </mrow> <mo>+</mo> <mi mathvariant="script">K</mi> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo>,</mo> <msub> <mi>u</mi> <mn>1</mn> </msub> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <mi>f</mi> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> <mspace width="2em" /> </mrow> </mstyle> </mtd> <mtd columnalign="left"> <mrow> <mspace width="0.333333em" /> <mtext>in</mtext> <mspace width="0.333333em" /> <msub> <mi mathvariant="normal">Ω</mi> <mn>1</mn> </msub> <mo>,</mo> </mrow> </mtd> </mtr> <mtr> <mtd columnalign="left"> <mstyle displaystyle="true" scriptlevel="0"> <mrow> <mrow /> <mo>-</mo> <mspace width="0.333333em" /> <mtext>div</mtext> <mspace width="0.333333em" /> <mrow> <mo stretchy="false">(</mo> <mi>a</mi> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo>,</mo> <msub> <mi>u</mi> <mn>2</mn> </msub> <mo>,</mo> <mi>D</mi> <msub> <mi>u</mi> <mn>2</mn> </msub> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">)</mo> </mrow> <mo>+</mo> <mi mathvariant="script">K</mi> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo>,</mo> <msub> <mi>u</mi> <mn>2</mn> </msub> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <mi>f</mi> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> <mspace width="2em" /> </mrow> </mstyle> </mtd> <mtd columnalign="left"> <mrow> <mspace width="0.333333em" /> <mtext>in</mtext> <mspace width="0.333333em" /> <msub> <mi mathvariant="normal">Ω</mi> <mn>2</mn> </msub> <mo>,</mo> </mrow> </mtd> </mtr> <mtr> <mtd columnalign="left"> <mstyle displaystyle="true" scriptlevel="0"> <mrow> <mrow /> <msub> <mi>u</mi> <mn>1</mn> </msub> <mo>=</mo> <mn>0</mn> </mrow> </mstyle> </mtd> <mtd columnalign="left"> <mrow> <mspace width="0.333333em" /> <mtext>on</mtext> <mspace width="0.333333em" /> <mi>∂</mi> <mi mathvariant="normal">Ω</mi> <mo>,</mo> </mrow> </mtd> </mtr> <mtr> <mtd columnalign="left"> <mstyle displaystyle="true" scriptlevel="0"> <mrow> <mrow /> <mi>a</mi> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo>,</mo> <msub> <mi>u</mi> <mn>1</mn> </msub> <mo>,</mo> <mi>D</mi> <msub> <mi>u</mi> <mn>1</mn> </msub> <mo stretchy="false">)</mo> </mrow> <mo>·</mo> <msub> <mi>ν</mi> <mn>1</mn> </msub> <mo>+</mo> <mi>λ</mi> <msub> <mi>u</mi> <mn>1</mn> </msub> <mo>=</mo> <mi>a</mi> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo>,</mo> <msub> <mi>u</mi> <mn>2</mn> </msub> <mo>,</mo> <mi>D</mi> <msub> <mi>u</mi> <mn>2</mn> </msub> <mo stretchy="false">)</mo> </mrow> <mo>·</mo> <msub> <mi>ν</mi> <mn>1</mn> </msub> <mo>+</mo> <mi>λ</mi> <msub> <mi>u</mi> <mn>2</mn> </msub> </mrow> </mstyle> </mtd> <mtd columnalign="left"> <mrow> <mspace width="0.333333em" /> <mtext>on</mtext> <mspace width="0.333333em" /> <mi mathvariant="normal">Γ</mi> <mo>,</mo> </mrow> </mtd> </mtr> <mtr> <mtd columnalign="left"> <mstyle displaystyle="true" scriptlevel="0"> <mrow> <mrow /> <mi>a</mi> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo>,</mo> <msub> <mi>u</mi> <mn>1</mn> </msub> <mo>,</mo> <mi>D</mi> <msub> <mi>u</mi> <mn>1</mn> </msub> <mo stretchy="false">)</mo> </mrow> <mo>·</mo> <msub> <mi>ν</mi> <mn>1</mn> </msub> <mo>+</mo> <mi>λ</mi> <msub> <mi>u</mi> <mn>1</mn> </msub> <mo>=</mo> <mo>-</mo> <mi>h</mi> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> <msup> <mrow> <mo stretchy="false">|</mo> <msub> <mi>u</mi> <mn>1</mn> </msub> <mo>-</mo> <msub> <mi>u</mi> <mn>2</mn> </msub> <mo stretchy="false">|</mo> </mrow> <mrow> <mi>p</mi> <mo>-</mo> <mn>2</mn> </mrow> </msup> <mrow> <mo stretchy="false">(</mo> <msub> <mi>u</mi> <mn>1</mn> </msub> <mo>-</mo> <msub> <mi>u</mi> <mn>2</mn> </msub> <mo stretchy="false">)</mo> </mrow> <mo>+</mo> <mi>G</mi> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </mstyle> </mtd> <mtd columnalign="left"> <mrow> <mspace width="0.333333em" /> <mtext>on</mtext> <mspace width="0.333333em" /> <mi mathvariant="normal">Γ</mi> <mo>.</mo> </mrow> </mtd> </mtr> </mtable> </mrow> </mfenced> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>Here, <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(\Omega \)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="normal">Ω</mi> </math></EquationSource> </InlineEquation> is a connected, open and bounded subset of <InlineEquation ID="IEq2"> <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="IEq3"> <EquationSource Format="TEX">\((N\ge 2)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <mi>N</mi> <mo>≥</mo> <mn>2</mn> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> with a Lipschitz boundary <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(\partial \Omega .\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>∂</mi> <mi mathvariant="normal">Ω</mi> <mo>.</mo> </mrow> </math></EquationSource> </InlineEquation> The set <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(\Omega \)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="normal">Ω</mi> </math></EquationSource> </InlineEquation> can be decomposed as <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(\Omega =\Omega _{1}\cup \Omega _{2}\cup \Gamma \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="normal">Ω</mi> <mo>=</mo> <msub> <mi mathvariant="normal">Ω</mi> <mn>1</mn> </msub> <mo>∪</mo> <msub> <mi mathvariant="normal">Ω</mi> <mn>2</mn> </msub> <mo>∪</mo> <mi mathvariant="normal">Γ</mi> </mrow> </math></EquationSource> </InlineEquation>, where <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(\Omega _{2}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="normal">Ω</mi> <mn>2</mn> </msub> </math></EquationSource> </InlineEquation> is an open subset such that <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(\overline{\Omega _{2}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mover> <msub> <mi mathvariant="normal">Ω</mi> <mn>2</mn> </msub> <mo>¯</mo> </mover> </math></EquationSource> </InlineEquation> is included in <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(\Omega ,\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="normal">Ω</mi> <mo>,</mo> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(\Omega _1=\Omega \smallsetminus \overline{\Omega }_{2} \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi mathvariant="normal">Ω</mi> <mn>1</mn> </msub> <mo>=</mo> <mi mathvariant="normal">Ω</mi> <mo lspace="0.15em" rspace="0.15em" stretchy="false">\</mo> <msub> <mover> <mi mathvariant="normal">Ω</mi> <mo>¯</mo> </mover> <mn>2</mn> </msub> </mrow> </math></EquationSource> </InlineEquation> with a Lipschitz boundary <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\(\Gamma = \partial \Omega _{2}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="normal">Γ</mi> <mo>=</mo> <mi>∂</mi> <msub> <mi mathvariant="normal">Ω</mi> <mn>2</mn> </msub> </mrow> </math></EquationSource> </InlineEquation>. We will prove the existence of renormalized solutions for this class of equation and we will conclude some regularity results.</p>

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

Renormalized solutions for a quasilinear elliptic problem in a two-component domain under Fourier boundary conditions

  • Arij Bouzelmate,
  • Youssef Hajji,
  • Hassane Hjiaj,
  • Inssaf Raiss

摘要

In the present paper, we study a class of quasilinear equation with mixed boundary conditions: \(\begin{aligned}\left\{ \begin{array}{ll} \displaystyle - \text{ div }(a(x,u_{1},Du_{1})) + \mathcal {K}(x,u_{1}) = f(x) \qquad & \text{ in } \Omega _{1},\\ \displaystyle - \text{ div }(a(x,u_{2},Du_{2})) + \mathcal {K}(x,u_{2}) = f(x) \qquad & \text{ in } \Omega _{2},\\ \displaystyle u_{1} = 0 & \text{ on } \partial \Omega ,\\ \displaystyle a(x,u_{1},Du_{1})\cdot \nu _{1} + \lambda u_{1} = a(x,u_{2},Du_{2})\cdot \nu _{1} + \lambda u_{2} & \text{ on } \Gamma ,\\ \displaystyle a(x,u_{1},Du_{1})\cdot \nu _{1} +\lambda u_{1} = - h(x)|u_{1}-u_{2}|^{p-2}(u_{1}-u_{2}) + G(x) & \text{ on } \Gamma . \end{array} \right. \end{aligned}\) - div ( a ( x , u 1 , D u 1 ) ) + K ( x , u 1 ) = f ( x ) in Ω 1 , - div ( a ( x , u 2 , D u 2 ) ) + K ( x , u 2 ) = f ( x ) in Ω 2 , u 1 = 0 on Ω , a ( x , u 1 , D u 1 ) · ν 1 + λ u 1 = a ( x , u 2 , D u 2 ) · ν 1 + λ u 2 on Γ , a ( x , u 1 , D u 1 ) · ν 1 + λ u 1 = - h ( x ) | u 1 - u 2 | p - 2 ( u 1 - u 2 ) + G ( x ) on Γ . Here, \(\Omega \) Ω is a connected, open and bounded subset of \(\mathbb {R}^{N}\) R N \((N\ge 2)\) ( N 2 ) with a Lipschitz boundary \(\partial \Omega .\) Ω . The set \(\Omega \) Ω can be decomposed as \(\Omega =\Omega _{1}\cup \Omega _{2}\cup \Gamma \) Ω = Ω 1 Ω 2 Γ , where \(\Omega _{2}\) Ω 2 is an open subset such that \(\overline{\Omega _{2}}\) Ω 2 ¯ is included in \(\Omega ,\) Ω , and \(\Omega _1=\Omega \smallsetminus \overline{\Omega }_{2} \) Ω 1 = Ω \ Ω ¯ 2 with a Lipschitz boundary \(\Gamma = \partial \Omega _{2}\) Γ = Ω 2 . We will prove the existence of renormalized solutions for this class of equation and we will conclude some regularity results.