<p>We prove existence and comparison results for multi-valued variational inequalities in a bounded domain <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="41808_2025_319_Article_IEq1.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Omega \)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="normal">Ω</mi> </math></EquationSource> </InlineEquation> of the form <Equation ID="Equ69"> <MediaObject> <ImageObject Color="BlackWhite" FileRef="41808_2025_319_Article_Equ69.gif" Format="GIF" Height="22" Rendition="HTML" Resolution="72" Type="Linedraw" Width="403" /> </MediaObject> <EquationSource Format="TEX">\(\begin{aligned} u\in K{:}\, 0 \in Au+\partial I_K(u)+{\mathcal {F}}(u)+{\mathcal {F}}_\Gamma (u)\quad \text {in }W^{1, {\mathcal {H}}}(\Omega )^*, \end{aligned}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mtable> <mtr> <mtd columnalign="right"> <mrow> <mi>u</mi> <mo>∈</mo> <mi>K</mi> <mo>:</mo> <mspace width="0.166667em" /> <mn>0</mn> <mo>∈</mo> <mi>A</mi> <mi>u</mi> <mo>+</mo> <mi>∂</mi> <msub> <mi>I</mi> <mi>K</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>u</mi> <mo stretchy="false">)</mo> </mrow> <mo>+</mo> <mi mathvariant="script">F</mi> <mrow> <mo stretchy="false">(</mo> <mi>u</mi> <mo stretchy="false">)</mo> </mrow> <mo>+</mo> <msub> <mi mathvariant="script">F</mi> <mi mathvariant="normal">Γ</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>u</mi> <mo stretchy="false">)</mo> </mrow> <mspace width="1em" /> <mtext>in</mtext> <mspace width="0.333333em" /> <msup> <mi>W</mi> <mrow> <mn>1</mn> <mo>,</mo> <mi mathvariant="script">H</mi> </mrow> </msup> <msup> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="normal">Ω</mi> <mo stretchy="false">)</mo> </mrow> <mo>∗</mo> </msup> <mo>,</mo> </mrow> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>where <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="41808_2025_319_Article_IEq2.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="179" /> </InlineMediaObject> <EquationSource Format="TEX">\(A{:}\,W^{1, {\mathcal {H}}}(\Omega ) \rightarrow W^{1, {\mathcal {H}}}(\Omega )^*\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>A</mi> <mo>:</mo> <mspace width="0.166667em" /> <msup> <mi>W</mi> <mrow> <mn>1</mn> <mo>,</mo> <mi mathvariant="script">H</mi> </mrow> </msup> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="normal">Ω</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">→</mo> <msup> <mi>W</mi> <mrow> <mn>1</mn> <mo>,</mo> <mi mathvariant="script">H</mi> </mrow> </msup> <msup> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="normal">Ω</mi> <mo stretchy="false">)</mo> </mrow> <mo>∗</mo> </msup> </mrow> </math></EquationSource> </InlineEquation> given by <Equation ID="Equ70"> <MediaObject> <ImageObject Color="BlackWhite" FileRef="41808_2025_319_Article_Equ70.gif" Format="GIF" Height="33" Rendition="HTML" Resolution="72" Type="Linedraw" Width="350" /> </MediaObject> <EquationSource Format="TEX">\(\begin{aligned} Au:=-\text {div}\left( |\nabla u|^{p(x)-2} \nabla u+ \mu (x) |\nabla u|^{q(x)-2} \nabla u\right) \end{aligned}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mtable> <mtr> <mtd columnalign="right"> <mrow> <mi>A</mi> <mi>u</mi> <mo>:</mo> <mo>=</mo> <mo>-</mo> <mtext>div</mtext> <mfenced close=")" open="("> <msup> <mrow> <mo stretchy="false">|</mo> <mi mathvariant="normal">∇</mi> <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 mathvariant="normal">∇</mi> <mi>u</mi> <mo>+</mo> <mi>μ</mi> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> <msup> <mrow> <mo stretchy="false">|</mo> <mi mathvariant="normal">∇</mi> <mi>u</mi> <mo stretchy="false">|</mo> </mrow> <mrow> <mi>q</mi> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> <mo>-</mo> <mn>2</mn> </mrow> </msup> <mi mathvariant="normal">∇</mi> <mi>u</mi> </mfenced> </mrow> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>for <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="41808_2025_319_Article_IEq3.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="94" /> </InlineMediaObject> <EquationSource Format="TEX">\(u \in W^{1, {\mathcal {H}}}(\Omega )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>u</mi> <mo>∈</mo> <msup> <mi>W</mi> <mrow> <mn>1</mn> <mo>,</mo> <mi mathvariant="script">H</mi> </mrow> </msup> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="normal">Ω</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>, is the double phase operator with variable exponents and <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="41808_2025_319_Article_IEq4.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="63" /> </InlineMediaObject> <EquationSource Format="TEX">\(W^{1, {\mathcal {H}}}(\Omega )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>W</mi> <mrow> <mn>1</mn> <mo>,</mo> <mi mathvariant="script">H</mi> </mrow> </msup> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="normal">Ω</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> is the associated Musielak–Orlicz Sobolev space. First, an existence result is proved under some weak coercivity condition. Our main focus aims at the treatment of the problem under consideration when coercivity fails. To this end we establish the method of sub–super-solution for the multi-valued variational inequality in the space <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="41808_2025_319_Article_IEq4.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="63" /> </InlineMediaObject> <EquationSource Format="TEX">\(W^{1, {\mathcal {H}}}(\Omega )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>W</mi> <mrow> <mn>1</mn> <mo>,</mo> <mi mathvariant="script">H</mi> </mrow> </msup> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="normal">Ω</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> based on appropriately defined sub- and super-solutions, which yields the existence of solutions within an ordered interval of sub–super-solution. Moreover, the existence of extremal solutions will be shown provided the closed, convex subset <i>K</i> of <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="41808_2025_319_Article_IEq4.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="63" /> </InlineMediaObject> <EquationSource Format="TEX">\(W^{1, {\mathcal {H}}}(\Omega )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>W</mi> <mrow> <mn>1</mn> <mo>,</mo> <mi mathvariant="script">H</mi> </mrow> </msup> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="normal">Ω</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> satisfies a lattice condition. As an application of the sub–super-solution method we are able to show that a class of generalized variational–hemivariational inequalities with a leading double phase operator are included as a special case of the multi-valued variational inequality considered here. Based on a fixed point argument, we also study the case when the corresponding Nemytskij operators <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="41808_2025_319_Article_IEq7.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="43" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathcal {F}}, {\mathcal {F}}_\Gamma \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="script">F</mi> <mo>,</mo> <msub> <mi mathvariant="script">F</mi> <mi mathvariant="normal">Γ</mi> </msub> </mrow> </math></EquationSource> </InlineEquation> need not be continuous. At the end, we give an example of the construction of sub- and supersolutions related to the problem above.</p>

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

Multi-valued variational inequalities for variable exponent double phase problems: comparison and extremality results

  • Siegfried Carl,
  • Vy Khoi Le,
  • Patrick Winkert

摘要

We prove existence and comparison results for multi-valued variational inequalities in a bounded domain \(\Omega \) Ω of the form \(\begin{aligned} u\in K{:}\, 0 \in Au+\partial I_K(u)+{\mathcal {F}}(u)+{\mathcal {F}}_\Gamma (u)\quad \text {in }W^{1, {\mathcal {H}}}(\Omega )^*, \end{aligned}\) u K : 0 A u + I K ( u ) + F ( u ) + F Γ ( u ) in W 1 , H ( Ω ) , where \(A{:}\,W^{1, {\mathcal {H}}}(\Omega ) \rightarrow W^{1, {\mathcal {H}}}(\Omega )^*\) A : W 1 , H ( Ω ) W 1 , H ( Ω ) given by \(\begin{aligned} Au:=-\text {div}\left( |\nabla u|^{p(x)-2} \nabla u+ \mu (x) |\nabla u|^{q(x)-2} \nabla u\right) \end{aligned}\) A u : = - div | u | p ( x ) - 2 u + μ ( x ) | u | q ( x ) - 2 u for \(u \in W^{1, {\mathcal {H}}}(\Omega )\) u W 1 , H ( Ω ) , is the double phase operator with variable exponents and \(W^{1, {\mathcal {H}}}(\Omega )\) W 1 , H ( Ω ) is the associated Musielak–Orlicz Sobolev space. First, an existence result is proved under some weak coercivity condition. Our main focus aims at the treatment of the problem under consideration when coercivity fails. To this end we establish the method of sub–super-solution for the multi-valued variational inequality in the space \(W^{1, {\mathcal {H}}}(\Omega )\) W 1 , H ( Ω ) based on appropriately defined sub- and super-solutions, which yields the existence of solutions within an ordered interval of sub–super-solution. Moreover, the existence of extremal solutions will be shown provided the closed, convex subset K of \(W^{1, {\mathcal {H}}}(\Omega )\) W 1 , H ( Ω ) satisfies a lattice condition. As an application of the sub–super-solution method we are able to show that a class of generalized variational–hemivariational inequalities with a leading double phase operator are included as a special case of the multi-valued variational inequality considered here. Based on a fixed point argument, we also study the case when the corresponding Nemytskij operators \({\mathcal {F}}, {\mathcal {F}}_\Gamma \) F , F Γ need not be continuous. At the end, we give an example of the construction of sub- and supersolutions related to the problem above.