<p>Let <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(\mathbb {D}(u)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="double-struck">D</mi> <mo stretchy="false">(</mo> <mi>u</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> be the Dirichlet energy of a map <i>u</i> belonging to the Sobolev space <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(H^1_{u_0}(\Omega ;\mathbb {R}^2)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msubsup> <mi>H</mi> <msub> <mi>u</mi> <mn>0</mn> </msub> <mn>1</mn> </msubsup> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="normal">Ω</mi> <mo>;</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mn>2</mn> </msup> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> and let <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(\mathcal {A}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">A</mi> </math></EquationSource> </InlineEquation> be a subclass of <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(H^1_{u_0}(\Omega ;\mathbb {R}^2)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msubsup> <mi>H</mi> <msub> <mi>u</mi> <mn>0</mn> </msub> <mn>1</mn> </msubsup> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="normal">Ω</mi> <mo>;</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mn>2</mn> </msup> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> whose members are subject to the constraint <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(\det \nabla u = g\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo movablelimits="true">det</mo> <mi mathvariant="normal">∇</mi> <mi>u</mi> <mo>=</mo> <mi>g</mi> </mrow> </math></EquationSource> </InlineEquation> a.e. for a given <i>g</i>, together with some boundary data <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(u_0\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>u</mi> <mn>0</mn> </msub> </math></EquationSource> </InlineEquation>. We develop a technique that, when applicable, enables us to characterize the global minimizer of <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(\mathbb {D}(u)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="double-struck">D</mi> <mo stretchy="false">(</mo> <mi>u</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> in <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(\mathcal {A}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">A</mi> </math></EquationSource> </InlineEquation> as the unique global minimizer of the associated functional <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(F(u):=\mathbb {D}(u)+ \int _{\Omega } f(x) \, \det \nabla u(x) \, \, \textrm{d}x\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>F</mi> <mrow> <mo stretchy="false">(</mo> <mi>u</mi> <mo stretchy="false">)</mo> </mrow> <mo>:</mo> <mo>=</mo> <mi mathvariant="double-struck">D</mi> <mrow> <mo stretchy="false">(</mo> <mi>u</mi> <mo stretchy="false">)</mo> </mrow> <mo>+</mo> <msub> <mo>∫</mo> <mi mathvariant="normal">Ω</mi> </msub> <mi>f</mi> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> <mspace width="0.166667em" /> <mo movablelimits="true">det</mo> <mi mathvariant="normal">∇</mi> <mi>u</mi> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> <mspace width="0.166667em" /> <mspace width="0.166667em" /> <mtext>d</mtext> <mi>x</mi> </mrow> </math></EquationSource> </InlineEquation> in the free class <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(H^1_{u_0}(\Omega ;\mathbb {R}^2)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msubsup> <mi>H</mi> <msub> <mi>u</mi> <mn>0</mn> </msub> <mn>1</mn> </msubsup> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="normal">Ω</mi> <mo>;</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mn>2</mn> </msup> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>. A key ingredient is the mean coercivity of <i>F</i> on <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\(H^1_0(\Omega ;\mathbb {R}^2)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msubsup> <mi>H</mi> <mn>0</mn> <mn>1</mn> </msubsup> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="normal">Ω</mi> <mo>;</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mn>2</mn> </msup> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>, which condition holds provided the ‘pressure’ <InlineEquation ID="IEq12"> <EquationSource Format="TEX">\(f \in L^{\infty }(\Omega )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>f</mi> <mo>∈</mo> <msup> <mi>L</mi> <mi>∞</mi> </msup> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="normal">Ω</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> is ‘tuned’ according to the procedure set out in [<CitationRef CitationID="CR1">1</CitationRef>]. The explicit examples to which our technique applies can be interpreted as solving the sort of constrained minimization problem that typically arises in incompressible nonlinear elasticity theory.</p>

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

New applications of Hadamard-in-the-mean inequalities to incompressible variational problems

  • Jonathan J. Bevan,
  • Martin Kružík,
  • Jan Valdman

摘要

Let \(\mathbb {D}(u)\) D ( u ) be the Dirichlet energy of a map u belonging to the Sobolev space \(H^1_{u_0}(\Omega ;\mathbb {R}^2)\) H u 0 1 ( Ω ; R 2 ) and let \(\mathcal {A}\) A be a subclass of \(H^1_{u_0}(\Omega ;\mathbb {R}^2)\) H u 0 1 ( Ω ; R 2 ) whose members are subject to the constraint \(\det \nabla u = g\) det u = g a.e. for a given g, together with some boundary data \(u_0\) u 0 . We develop a technique that, when applicable, enables us to characterize the global minimizer of \(\mathbb {D}(u)\) D ( u ) in \(\mathcal {A}\) A as the unique global minimizer of the associated functional \(F(u):=\mathbb {D}(u)+ \int _{\Omega } f(x) \, \det \nabla u(x) \, \, \textrm{d}x\) F ( u ) : = D ( u ) + Ω f ( x ) det u ( x ) d x in the free class \(H^1_{u_0}(\Omega ;\mathbb {R}^2)\) H u 0 1 ( Ω ; R 2 ) . A key ingredient is the mean coercivity of F on \(H^1_0(\Omega ;\mathbb {R}^2)\) H 0 1 ( Ω ; R 2 ) , which condition holds provided the ‘pressure’ \(f \in L^{\infty }(\Omega )\) f L ( Ω ) is ‘tuned’ according to the procedure set out in [1]. The explicit examples to which our technique applies can be interpreted as solving the sort of constrained minimization problem that typically arises in incompressible nonlinear elasticity theory.