<p>We consider the three-dimensional ideal MHD system on a domain <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(\Omega ' \subset \mathbb {R}^3\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi mathvariant="normal">Ω</mi> <mo>′</mo> </msup> <mo>⊂</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mn>3</mn> </msup> </mrow> </math></EquationSource> </InlineEquation> with an open subset <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(\Gamma \)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="normal">Γ</mi> </math></EquationSource> </InlineEquation> of the boundary&#xa0;<InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(\partial \Omega '\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>∂</mi> <msup> <mi mathvariant="normal">Ω</mi> <mo>′</mo> </msup> </mrow> </math></EquationSource> </InlineEquation> where we prescribe both <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(u\cdot \textsf{n}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>u</mi> <mo>·</mo> <mi mathvariant="sans-serif">n</mi> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(b\cdot \textsf{n}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>b</mi> <mo>·</mo> <mi mathvariant="sans-serif">n</mi> </mrow> </math></EquationSource> </InlineEquation>, while <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(u\cdot \textsf{n}= b\cdot \textsf{n}=0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>u</mi> <mo>·</mo> <mi mathvariant="sans-serif">n</mi> <mo>=</mo> <mi>b</mi> <mo>·</mo> <mi mathvariant="sans-serif">n</mi> <mo>=</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation> on <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(\partial \Omega ' \setminus \Gamma \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>∂</mi> <msup> <mi mathvariant="normal">Ω</mi> <mo>′</mo> </msup> <mo lspace="0.15em" rspace="0.15em" stretchy="false">\</mo> <mi mathvariant="normal">Γ</mi> </mrow> </math></EquationSource> </InlineEquation>. We prove boundary controllability of the system, namely that we can prescribe the boundary data such that the unique solution of the system with an initial state <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\((u_0,b_0)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <msub> <mi>u</mi> <mn>0</mn> </msub> <mo>,</mo> <msub> <mi>b</mi> <mn>0</mn> </msub> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> achieves another state&#xa0;<InlineEquation ID="IEq9"> <EquationSource Format="TEX">\((u_1,b_1)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <msub> <mi>u</mi> <mn>1</mn> </msub> <mo>,</mo> <msub> <mi>b</mi> <mn>1</mn> </msub> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> in a finite time, where <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(u_0,b_0,u_1,b_1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>u</mi> <mn>0</mn> </msub> <mo>,</mo> <msub> <mi>b</mi> <mn>0</mn> </msub> <mo>,</mo> <msub> <mi>u</mi> <mn>1</mn> </msub> <mo>,</mo> <msub> <mi>b</mi> <mn>1</mn> </msub> </mrow> </math></EquationSource> </InlineEquation> are arbitrary divergence-free vector fields satisfying impermeability boundary condition and which are extendible to vector fields with the same properties on any bounded domain obtained by extension of <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\(\Omega '\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi mathvariant="normal">Ω</mi> <mo>′</mo> </msup> </math></EquationSource> </InlineEquation> via&#xa0;<InlineEquation ID="IEq12"> <EquationSource Format="TEX">\(\Gamma \)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="normal">Γ</mi> </math></EquationSource> </InlineEquation>. As a byproduct, we give the first local well-posedness proof for the incompressible ideal MHD system which does not use Elsasser variables and is thus applicable to any bounded domain with sufficient Sobolev regularity. We also provide a new, simpler control for the two-dimensional ideal MHD system.</p>

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

Exact Boundary Controllability of the 3D and 2D Incompressible Ideal MHD System

  • Igor Kukavica,
  • Wojciech Ożański

摘要

We consider the three-dimensional ideal MHD system on a domain \(\Omega ' \subset \mathbb {R}^3\) Ω R 3 with an open subset \(\Gamma \) Γ of the boundary  \(\partial \Omega '\) Ω where we prescribe both \(u\cdot \textsf{n}\) u · n and \(b\cdot \textsf{n}\) b · n , while \(u\cdot \textsf{n}= b\cdot \textsf{n}=0\) u · n = b · n = 0 on \(\partial \Omega ' \setminus \Gamma \) Ω \ Γ . We prove boundary controllability of the system, namely that we can prescribe the boundary data such that the unique solution of the system with an initial state \((u_0,b_0)\) ( u 0 , b 0 ) achieves another state  \((u_1,b_1)\) ( u 1 , b 1 ) in a finite time, where \(u_0,b_0,u_1,b_1\) u 0 , b 0 , u 1 , b 1 are arbitrary divergence-free vector fields satisfying impermeability boundary condition and which are extendible to vector fields with the same properties on any bounded domain obtained by extension of \(\Omega '\) Ω via  \(\Gamma \) Γ . As a byproduct, we give the first local well-posedness proof for the incompressible ideal MHD system which does not use Elsasser variables and is thus applicable to any bounded domain with sufficient Sobolev regularity. We also provide a new, simpler control for the two-dimensional ideal MHD system.