<p>We prove full boundary regularity for minimizers <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="30_2025_1075_Article_IEq1.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="300" /> </InlineMediaObject> <EquationSource Format="TEX">\(f=(\varphi ,R)\in H^1(\Omega ,\mathbb {R}^3)\times W^{1,p}(\Omega ,SO(3))\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>f</mi> <mo>=</mo> <mrow> <mo stretchy="false">(</mo> <mi>φ</mi> <mo>,</mo> <mi>R</mi> <mo stretchy="false">)</mo> </mrow> <mo>∈</mo> <msup> <mi>H</mi> <mn>1</mn> </msup> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="normal">Ω</mi> <mo>,</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mn>3</mn> </msup> <mo stretchy="false">)</mo> </mrow> <mo>×</mo> <msup> <mi>W</mi> <mrow> <mn>1</mn> <mo>,</mo> <mi>p</mi> </mrow> </msup> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="normal">Ω</mi> <mo>,</mo> <mi>S</mi> <mi>O</mi> <mrow> <mo stretchy="false">(</mo> <mn>3</mn> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> of the Cosserat energy functional <Equation ID="Equ7"> <MediaObject> <ImageObject Color="BlackWhite" FileRef="30_2025_1075_Article_Equ7.gif" Format="GIF" Height="41" Rendition="HTML" Resolution="72" Type="Linedraw" Width="290" /> </MediaObject> <EquationSource Format="TEX">\(\begin{aligned} \mathcal {J}(\varphi ,R) = \mathop {\int }\nolimits _{\Omega } |R^T\textrm{D}\varphi -I_3{|}^2 + |\textrm{D}R{|}^p \textrm{d}{x} \end{aligned}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mtable> <mtr> <mtd columnalign="right"> <mrow> <mi mathvariant="script">J</mi> <mrow> <mo stretchy="false">(</mo> <mi>φ</mi> <mo>,</mo> <mi>R</mi> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <msub> <mo>∫</mo> <mi mathvariant="normal">Ω</mi> </msub> <mrow> <mo stretchy="false">|</mo> <msup> <mi>R</mi> <mi>T</mi> </msup> <mtext>D</mtext> <mi>φ</mi> <mo>-</mo> <msub> <mi>I</mi> <mn>3</mn> </msub> <msup> <mrow> <mo stretchy="false">|</mo> </mrow> <mn>2</mn> </msup> <mo>+</mo> <mo stretchy="false">|</mo> </mrow> <mtext>D</mtext> <mi>R</mi> <msup> <mrow> <mo stretchy="false">|</mo> </mrow> <mi>p</mi> </msup> <mtext>d</mtext> <mi>x</mi> </mrow> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>with respect to <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="30_2025_1075_Article_IEq2.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="37" /> </InlineMediaObject> <EquationSource Format="TEX">\(C^1-\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>C</mi> <mn>1</mn> </msup> <mo>-</mo> </mrow> </math></EquationSource> </InlineEquation> Dirichlet boundary data, when <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="30_2025_1075_Article_IEq3.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="64" /> </InlineMediaObject> <EquationSource Format="TEX">\(p\in [2,3]\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>p</mi> <mo>∈</mo> <mo stretchy="false">[</mo> <mn>2</mn> <mo>,</mo> <mn>3</mn> <mo stretchy="false">]</mo> </mrow> </math></EquationSource> </InlineEquation>. Contrary to existing results, we need not assume that the minimizer fulfils a boundary monotonicity formula, because we prove such a formula for minimizers. In particular, this partially improves current results by Li and Wang, who showed partial boundary regularity for stationary critical points of the above Cosserat energy.</p>

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

Full boundary regularity for minimizers of a Cosserat energy functional

  • Vanessa Hüsken

摘要

We prove full boundary regularity for minimizers \(f=(\varphi ,R)\in H^1(\Omega ,\mathbb {R}^3)\times W^{1,p}(\Omega ,SO(3))\) f = ( φ , R ) H 1 ( Ω , R 3 ) × W 1 , p ( Ω , S O ( 3 ) ) of the Cosserat energy functional \(\begin{aligned} \mathcal {J}(\varphi ,R) = \mathop {\int }\nolimits _{\Omega } |R^T\textrm{D}\varphi -I_3{|}^2 + |\textrm{D}R{|}^p \textrm{d}{x} \end{aligned}\) J ( φ , R ) = Ω | R T D φ - I 3 | 2 + | D R | p d x with respect to \(C^1-\) C 1 - Dirichlet boundary data, when \(p\in [2,3]\) p [ 2 , 3 ] . Contrary to existing results, we need not assume that the minimizer fulfils a boundary monotonicity formula, because we prove such a formula for minimizers. In particular, this partially improves current results by Li and Wang, who showed partial boundary regularity for stationary critical points of the above Cosserat energy.