计算流体力学讲义(3)

的计算方法。同一时期许多数学家研究了偏微分方程的数学理论，Courant，Friedrichs等人研究了偏微分方程的基本特性、数学提法的适定性、物理波的传播特性等问题，发展了双曲型偏微分方程理论。以后，Courant，Fredrichs，Lewy等人发表了经典论文，证明了连续的椭圆型、抛物型和双曲型方程组解的存在性和唯一性定理，并针对线性方程的初值问题，首先将偏微分方程离散化，然后证明了离散系统收敛到连续系统，最后利用代数方法确定了差分解的存在性；他们还给出了著名的稳定性判别条件：CFL条件。这些工作是差分方法的数学理论基础。20世纪40年代，Von Neumann，Richtmyer，Hopf，Lax和其他一些学者建立了非线性双曲型方程守恒定律的数值方法理论，为含有激波的气体流动数值模拟打下了理论基础。

在20世纪50年代，仅采用当时流体力学的方法，研究比较复杂的非线性流动现象是不够的，特别是不能满足高速发展起来的宇航飞行器绕流流场特性研究的需要。针对这种情况，一些学者开始将基于双曲型方程数学理论基础的时问相关方法用于求解宇航飞行器的气体的定常绕流场问题，这种方法虽然要求花费更多的计算机时，但因数学提法适定，又有较好的理论基础，且能模拟流体运动的非定常过程，所以在60年代这是应用范围较广的一般方法。以后由Lax、Kais和其他著者给出的非定常偏微分方程差分逼近的稳定性理论，进一步促进了时间相关方法。当时还出现了一些针对具体问题发展起来的特殊算法。

进人20世纪80年代以后，计算机硬件技术有了突飞猛进的发