压缩navier-s的非线性指数稳定性与整体存在性解的研究！》
写下了一行标题之后，他开始为整个证明编写引言。
【引言：粘性流体的运动方程首先由navier在1827年提出，只考虑了不可压缩流体的流动。poisson在1831年提出可压缩流体的运动方程。sat-venant在1845年，stokes在1845】
【而纳维-斯托克斯方程（navier-stokes equation）是描述粘性不可压缩流体动量守恒的运动方程，简称n-s方程。n-s方程概括了粘性不可压缩流体流动的普遍规律，因而在流体力学中具有特殊意义】
【】
【可压缩粘性n-s方程由三个守恒方程组成：质量守恒方程，动量守恒方程，能量守恒方程。且括三个未知函数：( v ( x， t )， u ( x， t )，θ( x， t ))，分别代表流体的比容（密度的倒数），速度，绝对温度。接下来讨论方程组初边值问题解的存在，唯一性问题。】
【目前而言，所有的讨论都是在有界域上。】
【因此，是否能给予一个有限界域与具有dirichlet边界的条件，在三维空间中，navier-stokes方程存在实解，且解光滑？】
ps：晚上还有一章，求月票。