<p>In the 3D bounded domain <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2025_3223_Article_IEq1.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Omega \)</EquationSource> </InlineEquation> with smooth boundary <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2025_3223_Article_IEq2.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="23" /> </InlineMediaObject> <EquationSource Format="TEX">\(\partial \Omega \)</EquationSource> </InlineEquation>, we consider stability problem of solutions to the MHD equations for <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2025_3223_Article_IEq3.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="80" /> </InlineMediaObject> <EquationSource Format="TEX">\(U = (u, B)\)</EquationSource> </InlineEquation> denoting the velocity and magnetic field, respectively. Introducing the harmonic vector field <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2025_3223_Article_IEq4.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="420" /> </InlineMediaObject> <EquationSource Format="TEX">\(X_{\tiny{\mbox{har}}}(\Omega) = \{h \in C^\infty (\bar{\Omega }); \text { rot }h=0, \text { div }h=0, h\cdot \nu |_{\partial \Omega }=0\}\)</EquationSource> </InlineEquation>, we first show that <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2025_3223_Article_IEq5.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="90" /> </InlineMediaObject> <EquationSource Format="TEX">\(U_*\equiv (0, B_*)\)</EquationSource> </InlineEquation> with <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2025_3223_Article_IEq6.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="90" /> </InlineMediaObject> <EquationSource Format="TEX">\(B_*\in X_{\tiny{\mbox{har}}}(\Omega)\)</EquationSource> </InlineEquation> gives an equilibrium state, where <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2025_3223_Article_IEq7.gif" Format="GIF" Height="10" Rendition="HTML" Resolution="72" Type="Linedraw" Width="12" /> </InlineMediaObject> <EquationSource Format="TEX">\(\nu \)</EquationSource> </InlineEquation> denotes the unit outer normal to <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2025_3223_Article_IEq2.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="23" /> </InlineMediaObject> <EquationSource Format="TEX">\(\partial \Omega \)</EquationSource> </InlineEquation>. Next, we prove that if <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2025_3223_Article_IEq9.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="22" /> </InlineMediaObject> <EquationSource Format="TEX">\(B_*\)</EquationSource> </InlineEquation> is small in <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2025_3223_Article_IEq10.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="62" /> </InlineMediaObject> <EquationSource Format="TEX">\(H^{1, \infty }(\Omega )\)</EquationSource> </InlineEquation> and if the initial disturbance <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2025_3223_Article_IEq11.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="96" /> </InlineMediaObject> <EquationSource Format="TEX">\(U_0= (u_0, B_0)\)</EquationSource> </InlineEquation> is sufficiently small in <InlineEquation ID="IEq12"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2025_3223_Article_IEq12.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="43" /> </InlineMediaObject> <EquationSource Format="TEX">\(L^3(\Omega )\)</EquationSource> </InlineEquation> with <InlineEquation ID="IEq13"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2025_3223_Article_IEq13.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="62" /> </InlineMediaObject> <EquationSource Format="TEX">\(B_0 - B_*\)</EquationSource> </InlineEquation> perpendicular to <InlineEquation ID="IEq14"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2025_3223_Article_IEq14.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="50" /> </InlineMediaObject> <EquationSource Format="TEX">\(X_{\tiny{\mbox{har}}}(\Omega)\)</EquationSource> </InlineEquation>, then <InlineEquation ID="IEq15"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2025_3223_Article_IEq15.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="21" /> </InlineMediaObject> <EquationSource Format="TEX">\(U_*\)</EquationSource> </InlineEquation> is exponentially stable, which means that there exists a global solution <InlineEquation ID="IEq16"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2025_3223_Article_IEq16.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="135" /> </InlineMediaObject> <EquationSource Format="TEX">\(U(t)= (u(t), B(t))\)</EquationSource> </InlineEquation> with <InlineEquation ID="IEq17"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2025_3223_Article_IEq17.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="74" /> </InlineMediaObject> <EquationSource Format="TEX">\(U(0) = U_0\)</EquationSource> </InlineEquation> such that <InlineEquation ID="IEq18"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2025_3223_Article_IEq18.gif" Format="GIF" Height="22" Rendition="HTML" Resolution="72" Type="Linedraw" Width="199" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Vert U(t) - U_*\Vert _{L^p(\Omega )} = O(e^{-\alpha t})\)</EquationSource> </InlineEquation> for all <InlineEquation ID="IEq19"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2025_3223_Article_IEq19.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="83" /> </InlineMediaObject> <EquationSource Format="TEX">\(1\le p \le \infty \)</EquationSource> </InlineEquation> with some <InlineEquation ID="IEq20"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2025_3223_Article_IEq20.gif" Format="GIF" Height="13" Rendition="HTML" Resolution="72" Type="Linedraw" Width="43" /> </InlineMediaObject> <EquationSource Format="TEX">\(\alpha &gt;0\)</EquationSource> </InlineEquation> as <InlineEquation ID="IEq21"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2025_3223_Article_IEq21.gif" Format="GIF" Height="13" Rendition="HTML" Resolution="72" Type="Linedraw" Width="54" /> </InlineMediaObject> <EquationSource Format="TEX">\(t\rightarrow \infty \)</EquationSource> </InlineEquation>.</p>

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

Stability of harmonic vector fields as an equilibrium of the 3D MHD equations in bounded domains with arbitrary geometry

  • Hideo Kozono,
  • Senjo Shimizu,
  • Taku Yanagisawa

摘要

In the 3D bounded domain \(\Omega \) with smooth boundary \(\partial \Omega \) , we consider stability problem of solutions to the MHD equations for \(U = (u, B)\) denoting the velocity and magnetic field, respectively. Introducing the harmonic vector field \(X_{\tiny{\mbox{har}}}(\Omega) = \{h \in C^\infty (\bar{\Omega }); \text { rot }h=0, \text { div }h=0, h\cdot \nu |_{\partial \Omega }=0\}\) , we first show that \(U_*\equiv (0, B_*)\) with \(B_*\in X_{\tiny{\mbox{har}}}(\Omega)\) gives an equilibrium state, where \(\nu \) denotes the unit outer normal to \(\partial \Omega \) . Next, we prove that if \(B_*\) is small in \(H^{1, \infty }(\Omega )\) and if the initial disturbance \(U_0= (u_0, B_0)\) is sufficiently small in \(L^3(\Omega )\) with \(B_0 - B_*\) perpendicular to \(X_{\tiny{\mbox{har}}}(\Omega)\) , then \(U_*\) is exponentially stable, which means that there exists a global solution \(U(t)= (u(t), B(t))\) with \(U(0) = U_0\) such that \(\Vert U(t) - U_*\Vert _{L^p(\Omega )} = O(e^{-\alpha t})\) for all \(1\le p \le \infty \) with some \(\alpha >0\) as \(t\rightarrow \infty \) .