本书给出适当的理论分析，如(1)给出的Euler－Lagrange方程，它是N-S方程和一个4阶椭圆型方程的耦合系统；(2)证明相应的无限维控制系统解的存在性，可动边界N-S方程解的存在性及解对边界几何的连续依赖性；(3)N-S方程对边界形状的Gateaux导数所满足的方程以及存在性的证明。本书另一个内容是给出耦合系统数值解方法和三维旋转N-S方程维数分裂方法.这个方法的特点是用二维流形分割区域，在每个子区域(流层)上建立局部半测地坐标系,将N-S方程分解为膜算子(流形切空间上)和弯曲算子(流形的法线方向算子),然后将弯曲算子用欧氏中心差分逼近,得到二维流形上的2D-3CN-S方程,用一系列二维流形上2D-3CN-S方程的解来逼近三维N－S方程的解。区域分割用二维流形的目的是使得分割符合流动特性和边界几何。