半空间上mhd方程组弱解衰减性质.docxVIP

在介绍本文的主要结论之前，首先给出一些符号的定义： C8 n oo r n n Lebes^GeMC妙隔奂示乞伽)%阍芒 肓簡畫玉屈[击噪 / + Oo + HR?) + 示通常的R上的Sobolev空间，Wm^)表示C°°(RW)在0〃(R〃)中的闭 + 0 + 0 + + 包.特别的,当2 时，H (R)表示C°°(R”)在范数 ll0llm：=ll0ll2+IIWIl2 Oq + O.7 + 2 2运8 数类. 并用C(0, T;X)表示X中所有在(0, T)上连续的函数金)所构成 有Helmholtz分解 Z/(R) = Lr(R,z)十 G (IT)? TOC \o 1-5 \h \z + e + + 其中:G(R) = {Vp E D(R)；P e U (RT}.用 P 表示 D(R)到 L‘(R“) + + loc + + 7 + 上的投影算子.定义厶厂(R)(l 厂8)上的Stokes算子A：=-PA,其定 a + 义域为D⑷=JV2,(Rn) A丹气R) A Lr(Rn).因为缶 为A2(RW)上的非负 + 0 + 6F + a + 自伴算子，所以存在谱分解，即存在声一的谱族｛E沙.注o,使得 J OO 力2 = ? 0 简便起见，将4?简写为力? 下面给出方程组(1.2)弱解的定义([8])： 定义1.1.若屮,B)满足以T条件( ) u,B W 厶8(0, 8；厶2(时)丿 n 厶2(0 T. Hi(r〃)丿； (b + O.7 -F\ 对任意的(/ecl [0, 00)；z/1 (Rw)nLw(Rwy,有 、 Oq + + [(如 ] _ 况0), —0) ( )( ) s St + Vw(r), V^(r) + w(r)? Vw(r) - B(t)? V^(T), 00) dr 7-^(0, +J(s), 4G))， J『[( ) 」 _ %),評)( )( ) s 8t + VB(T)f V^(T)+ U(T)? V^(T)一 B(t) ? Vw(r), ^(7) dr =-0a))+ 0(s))? (1.3) 能量不等式 f f _ Il%(r)ll2 +10(0112 + 2 (IIVW(t)||2 + ||V5(t) 2)dr 运 |也(巧||2+|0(s) 2. (1.4) 2 2 2 ||2 2 ||2 则称(ufB)为方程组(1.2)在R才X (0, oo)上的弱解. 本文将研究弱解的衰减性质，并根据文献［10］的结论刻画岀能产生慢衰减 的初值.为此，定义集合 ay 6 丄a?儿》(K )：=W e 厶 2(r〃)； I 細注啪，r，|乙 I 运 y, Ifl 运 5} 其屮：加注0,久齐5 0,(乙由)e R〃，孑=(Cb込,…，由1)e R心. 假设?考哼满足以下希件的 ?： ) (Al)d= a (x f xf1)f 0 , h = h (x f xtl), 0 WZ?(R)? a + a + (z=l,2)且满足对几乎所有的|如运3,都有|/p?)|C,这里的/表示竹 i z 相对于的奇延拓，即 7(X”) Xn 0, /?)：= ——七7) Xn V 0 ? gM(RI),其屮：加注 0, a, “ 5 0. 〃-〃 (A3) a fb E Tm 以下为本文的主要结论： 定理1.1.若斤注3, afbe Lr(Rw) A厶2(r〃)满足假设(Al)?(A3),且厂和m 十 (7 + 满足⑴或(ii)： 八、. 一 In ⑴Z吨吋，。运加运1. (ii)2nTT+ 1r 2n刃 (ii) 2n TT + 1 r 2n 刃+ 1 则存在J 都有 厂 1及常数C 0,使得当t注T时，方程组(1.2)的任意弱解3, B) n * 2m 4 ? (1.5) 11%(圳2 + 10(圳2 注 Ct~ 0运加 —n — 1. 作为定理1」的一个应用，木文还考虑了 MHD方程组弱解在如下形式的 衰减性质： lim \\E；u(t}\\^\\E；B(t}\b = 1- (L6) /—OO _ — _ _ 1也(/)||2十 1|3(圳2 其中：久0. Q为Stokes算子的单位分解.文献［26-28］研究了Navic—Stokes 方程组弱解在类似形式下的衰减性质： lim ||乙曲）||2 = - 2 /—00 II 火）112 并证明了当久满足一定条件吋，式（1.7）成立.文献［10, 23］证明了当满足一 定初值条件时，式（1.7）对20都成立.在此基础上，给出定理1.2： 定理1.2.若刃=3, 4,厂 1和加注0满足： r ， 0 运 m 2 n — 1 —比 + 1 ? 厶2（时）满足假设（A1）?（A3）.则存在T0及常数 0 0,使 + （T + 得当/注卩