<p>We establish Besov regularity for the stationary incompressible magnetohydrodynamic (MHD) system on bounded Lipschitz domains <InlineEquation ID="IEq1"> <EquationSource Format="MATHML"><math> <mi mathvariant="normal">Ω</mi> <mo>⊂</mo> <msup> <mi mathvariant="double-struck">R</mi> <mn>3</mn> </msup> </math></EquationSource> <EquationSource Format="TEX">$\Omega \subset \mathbb{R}^{3}$</EquationSource> </InlineEquation>. For sufficiently small external forces, a unique solution <InlineEquation ID="IEq2"> <EquationSource Format="MATHML"><math> <mo stretchy="false">(</mo> <mi mathvariant="bold-italic">u</mi> <mo>,</mo> <mi mathvariant="bold-italic">b</mi> <mo stretchy="false">)</mo> <mo>∈</mo> <msubsup> <mi>H</mi> <mrow> <mn>0</mn> <mo>,</mo> <mi>σ</mi> </mrow> <mrow> <mn>3</mn> <mo stretchy="false">/</mo> <mn>2</mn> </mrow> </msubsup> <msup> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="normal">Ω</mi> <mo stretchy="false">)</mo> </mrow> <mn>3</mn> </msup> <mo>×</mo> <msubsup> <mi>H</mi> <mrow> <mn>0</mn> <mo>,</mo> <mi>σ</mi> </mrow> <mrow> <mn>3</mn> <mo stretchy="false">/</mo> <mn>2</mn> </mrow> </msubsup> <msup> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="normal">Ω</mi> <mo stretchy="false">)</mo> </mrow> <mn>3</mn> </msup> </math></EquationSource> <EquationSource Format="TEX">$(\boldsymbol{u}, \boldsymbol{b}) \in H^{3/2}_{0,\sigma}(\Omega )^{3} \times H^{3/2}_{0,\sigma}(\Omega )^{3}$</EquationSource> </InlineEquation> is constructed via the contraction mapping principle. Novel weighted estimates for the Lorentz force <InlineEquation ID="IEq3"> <EquationSource Format="MATHML"><math> <mi mathvariant="bold">curl</mi> <mspace width="0.2em" /> <mi mathvariant="bold-italic">b</mi> <mo>×</mo> <mi mathvariant="bold-italic">b</mi> </math></EquationSource> <EquationSource Format="TEX">$\mathbf{curl}\,\boldsymbol{b} \times \boldsymbol{b}$</EquationSource> </InlineEquation> yield enhanced regularity <InlineEquation ID="IEq4"> <EquationSource Format="MATHML"><math> <mo stretchy="false">(</mo> <mi mathvariant="bold-italic">u</mi> <mo>,</mo> <mi mathvariant="bold-italic">b</mi> <mo stretchy="false">)</mo> <mo>∈</mo> <msubsup> <mi>B</mi> <mrow> <mi>τ</mi> <mo>,</mo> <mi>τ</mi> </mrow> <mi>s</mi> </msubsup> <msup> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="normal">Ω</mi> <mo stretchy="false">)</mo> </mrow> <mn>3</mn> </msup> <mo>×</mo> <msubsup> <mi>B</mi> <mrow> <mi>τ</mi> <mo>,</mo> <mi>τ</mi> </mrow> <mi>s</mi> </msubsup> <msup> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="normal">Ω</mi> <mo stretchy="false">)</mo> </mrow> <mn>3</mn> </msup> </math></EquationSource> <EquationSource Format="TEX">$(\boldsymbol{u}, \boldsymbol{b}) \in B^{s}_{\tau ,\tau}(\Omega )^{3} \times B^{s}_{\tau ,\tau}(\Omega )^{3}$</EquationSource> </InlineEquation> with <InlineEquation ID="IEq5"> <EquationSource Format="MATHML"><math> <mn>1</mn> <mo stretchy="false">/</mo> <mi>τ</mi> <mo>=</mo> <mi>s</mi> <mo stretchy="false">/</mo> <mn>3</mn> <mo>+</mo> <mn>1</mn> <mo stretchy="false">/</mo> <mn>2</mn> </math></EquationSource> <EquationSource Format="TEX">$1/\tau = s/3 + 1/2$</EquationSource> </InlineEquation> and <InlineEquation ID="IEq6"> <EquationSource Format="MATHML"><math> <mi>s</mi> <mo>&lt;</mo> <mn>2</mn> </math></EquationSource> <EquationSource Format="TEX">$s &lt; 2$</EquationSource> </InlineEquation>. Crucially, for <InlineEquation ID="IEq7"> <EquationSource Format="MATHML"><math> <mi>s</mi> <mo>&gt;</mo> <mn>3</mn> <mo stretchy="false">/</mo> <mn>2</mn> </math></EquationSource> <EquationSource Format="TEX">$s &gt; 3/2$</EquationSource> </InlineEquation>, this Besov regularity exceeds the baseline <InlineEquation ID="IEq8"> <EquationSource Format="MATHML"><math> <msup> <mi>H</mi> <mrow> <mn>3</mn> <mo stretchy="false">/</mo> <mn>2</mn> </mrow> </msup> </math></EquationSource> <EquationSource Format="TEX">$H^{3/2}$</EquationSource> </InlineEquation> Sobolev smoothness. It is also notable that the obtained regularity index <InlineEquation ID="IEq9"> <EquationSource Format="MATHML"><math> <mi>s</mi> <mo>&lt;</mo> <mn>2</mn> </math></EquationSource> <EquationSource Format="TEX">$s &lt; 2$</EquationSource> </InlineEquation> lies within the same critical adaptivity scale (<InlineEquation ID="IEq10"> <EquationSource Format="MATHML"><math> <mn>1</mn> <mo stretchy="false">/</mo> <mi>τ</mi> <mo>=</mo> <mi>s</mi> <mo stretchy="false">/</mo> <mn>3</mn> <mo>+</mo> <mn>1</mn> <mo stretchy="false">/</mo> <mn>2</mn> </math></EquationSource> <EquationSource Format="TEX">$1/ \tau = s/3 + 1/2$</EquationSource> </InlineEquation>) previously established for the stationary Navier-Stokes system (Eckhardt et al. in Appl. Anal. 97:466–485, <CitationRef CitationID="CR3">2017</CitationRef>). This demonstrates that the additional magnetic coupling does not degrade the Besov regularity regime.</p>

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

Besov regularity for the stationary incompressible MHD equations in bounded Lipschitz domains

  • Haojie Guo,
  • Qiu Meng

摘要

We establish Besov regularity for the stationary incompressible magnetohydrodynamic (MHD) system on bounded Lipschitz domains Ω R 3 $\Omega \subset \mathbb{R}^{3}$ . For sufficiently small external forces, a unique solution ( u , b ) H 0 , σ 3 / 2 ( Ω ) 3 × H 0 , σ 3 / 2 ( Ω ) 3 $(\boldsymbol{u}, \boldsymbol{b}) \in H^{3/2}_{0,\sigma}(\Omega )^{3} \times H^{3/2}_{0,\sigma}(\Omega )^{3}$ is constructed via the contraction mapping principle. Novel weighted estimates for the Lorentz force curl b × b $\mathbf{curl}\,\boldsymbol{b} \times \boldsymbol{b}$ yield enhanced regularity ( u , b ) B τ , τ s ( Ω ) 3 × B τ , τ s ( Ω ) 3 $(\boldsymbol{u}, \boldsymbol{b}) \in B^{s}_{\tau ,\tau}(\Omega )^{3} \times B^{s}_{\tau ,\tau}(\Omega )^{3}$ with 1 / τ = s / 3 + 1 / 2 $1/\tau = s/3 + 1/2$ and s < 2 $s < 2$ . Crucially, for s > 3 / 2 $s > 3/2$ , this Besov regularity exceeds the baseline H 3 / 2 $H^{3/2}$ Sobolev smoothness. It is also notable that the obtained regularity index s < 2 $s < 2$ lies within the same critical adaptivity scale ( 1 / τ = s / 3 + 1 / 2 $1/ \tau = s/3 + 1/2$ ) previously established for the stationary Navier-Stokes system (Eckhardt et al. in Appl. Anal. 97:466–485, 2017). This demonstrates that the additional magnetic coupling does not degrade the Besov regularity regime.