热方程的一些端点估计及其在Navier-Stokes方程中的应用.pdfVIP

曹政子等：热方程的一些端点估计及其在 Navier—Stokes方程中的应用 定理 1．2[，定理x-1]设 0∈L，divu0=0，则Navier—Stokes方程的整体弱解 U∈ 。。f0，co；L2) nL (0，oo；／：／)有如下性质： u·u，∈L2(0，00；7／)，OiuV·uj(=∑Oi?-tkOkUj)，Jp∈L1(0，00；7／)， 、 =1 ／ 且存在与u0无关的常数使得 · Vu，vpflLz(0，oo；)≤ ll0l ， (1．4) Oiu ·Vuj， pIlL(0，。。；)≤ {l0ll2 (1．5) 定理 1．2也可参见文献 [6，定理 3．6]．上述关于 U·u和 Oiu· 的结果，从定理 1．1即可得出． 而对压力 P的估计 从 一 Ap=div(u·u)=∑OiUjOjtti (1．6) i，j=1 及奇异积分的 有界性即得．由此，注意到 0tU一△ =--U ·Vu—Vp (1．7) 的右端项属于 L2(0，oc；7／1)，Lions6[，第99页]进一步问到：是否有 ，V ∈L (0，oo；74)? Lions指出，若对 R3×(0，。。)中的热方程的零初值问题 Otv一△t，=f， (0，)=0 (1．8) 有相应估计 IIOtv，V llLz(0，。。；M．)≤cii／il~。(0，o。；)， (1．9) 则马上可得上述结果．上述估计式 f1．9)可以理解为一种时空混合型的端点估计．就我们所知，这样 的估计对热方程是未知的．我们知道对零初值问题的热方程 (1．8)而言，有如下的 —r时空混合型 估计： lIOtv，V 。lIL(o，。。；Lr)≤CIIfIILa(o，。。；Lr)， q，r∈(1，∞)． (1．10) 这些结果可经由解的具体表达式通过热核或抛物型奇异积分 7【，s]的估计来证 明，参见文献 9『—111等． 我们知道，若将 + ={(，)∈ × )视为赋予抛物距离及乘积测度 dxdt的Coifmann—Weiss[14】 意义下的齐型空间，可 以类似定义其上的抛物型Hardy和BMO空间并证明抛物型奇异积分在其上的 有界性 从而得到热方程解的二阶导数在这类端点空间上的估计．由于本文不涉及这类抛物型端点空 间，故不再赘述．有兴趣的读者可参见文献 1『2—14]以及最近与一般二阶抛物型方程有关的工作 1【51】 等．关于联系于一般算子 L(相应于 一△)的Hardy和 BMO空间的最新进展，可参见Duong和 Yan 的工作 1【7，1． 基于上述 Lions的问题，本文首先引进和给出热方程在经典Hardy、BMO和 Besov空间中的几 类时空混合型端点估计．利用这些估计，我们在三维情形给出Lions问题在 Besov型空间中的一个替 代 回答，并在二维情形解决 Lions关于 Navier—Stokes方程的问题．至于 Lions的原始 问题，本文并没 有得到完全解决． 424 中国科学 ：数学 第 44卷 第 5期 2 记号及预备知识 设 ()是R 上非负不恒为零的速降函数．对 t0，记 x)=t-n咖(t )．对 R 上的局部可 积函数 -厂()，定义其极大函数 M西(，)‘()=supI f(x)I． 定义 Hardy空间 = {f∈L l 西，∈L)， lIfll~ =lIMcflIL， 且这样的