CFD-05=有限差分方法的一些重要概念.pptVIP

Computational Fluid Dynamics 计算流体力学（CFD） 关于有限差分方法的一些重要概念 CFD涉及的几个方面: 1、计算机技术 2、流体力学知识 3、偏微分方程数值求解技术 计算网格技术+差分离散格式==》差分解 在离散的网格单元上对流体力学控制方程的偏导数项进行差分近似，形成差分方程，求解差分方程得到数值解。 CFD课程涵盖的主要内容： 流动空间的离散化（网格生成）； 流动控制方程的差分近似==》差分方程； 差分方程的求解技术； 差分方程毕竟不是原微分方程，所以必须对差分解所涉及的方方面面进行理论上的把握： 有关差分格式及差分方程的一些重要概念 适定性问题： 如果偏微分方程的解存在且唯一，解连续地依赖于初始条件和边界条件，则问题是适定的。 在试图得到一个数值解之前，检查问题是否适定非常重要。因为不正确或是不准确的边界条件及初始条件有时也会取得数值解。 关于差分方程的精度 差分方程与原微分方程相比是有所不同的。在一定的离散格式下，差分方程总对应有一个截断误差R。如果以h表示空间方向步长。t时间方向步长。离散精度分为 一阶精度O(h)、O(t) 二阶精度O(h**2)、O(t**2) 关于差分方程的相容性 差分方程与微分方程的差别是截断误差R。我们希望，必要时通过缩小空间步长（网格尺寸）h和时间步长t，这一误差应可缩小至尽可能小。 当h-0和t-0时，若R-0，则差分方程趋于微分方程，表示这两个方程是一致的。这时称该差分方程与微分方程是相容的。 检查相容性是为了保证某一格式的差分方程确是该微分方程的近似方程。 前面我们说了差分格式及其精度要求，在数值求解过程中差分方程若能保持格式精度，哪怕只有一阶，其误差毕竟是有限的。但是有些精度分析起来很高的格式算出来的结果却是完全错误的。 CFD理论中，只保证相容性与精度是不够的。差分解中还有另外一些规律在起作用： 差分解的收敛性与稳定性 关于差分解的收敛性 差分方程的误差R（由微分方程-差分方程时带来的误差） 若令U是精确满足原微分方程的解，没有误差。 将微分方程离散成差分方程后，方程就有了截断误差R， 因此数值解也不再是U，而是U+?=V。 关于差分解的收敛性 ?是方程离散求解过程中带来的，称为解的离散误差。?虽由截断误差R造成，但它只是解的误差，而R却是差分方程的误差，二者并不相同。 我们定义V为差分方程的精确解，即没有舍入误差时精确的满足差分方程的解。V和U的差别仅仅反映截断误差的影响，而没有舍入误差的影响。 关于差分解的收敛性 V与U的差别是，我们希望，必要时，通过缩小网格尺寸h与时间步长t，不仅截断误差R，而且离散误差?都应缩至尽可能的小，在求解区域内任一离散节点上，当h-0和t-0时，若?-0，则V-U，表示这两种解的确是相符合的。 这时称差分方程的精确解V收敛于微分方程的解U，称此差分格式为收敛的格式。 关于差分解的收敛性 R是当地离散点上用差分方程代替微分方程的截断误差，只由当地网格点上的泰勒级数确定；而离散误差?不仅与R有关，而且是计算过程中时空误差一步步的积累，这就是我们将截断误差与舍入误差区分开来考察的原因。 R-0并不意味着?也-0。相容的格式也可能不收敛，因此，任何格式在检查了相容性之后，必须再检查收敛性。 关于差分解的稳定性 数值计算时，除计算机舍入误差（字长有限）外，初始条件或方程中某些常数项也有可能给的不尽精确。舍入误差和这些误差在计算过程中可能一步步积累与传递，误差的传递，有时可能变大，有时可能变小。 某一步舍入误差放大或缩小的问题，称为差分解的数值稳定性问题。 关于差分解的稳定性 稳定这一问题最初是用来描述物理现象的。 物理上的稳定现象 物理上的不稳定现象 关于差分解的稳定性 求解差分方程时，某一计算步的舍入误差对其后各步的影响若逐步缩小或保持有界，则称数值解是稳定的，也称该差分格式是稳定的；若逐步放大，则称数值解不稳定的，也称该格式不稳定的。 这种稳定性是数值误差的缩小或放大，故称为数值稳定性问题。 关于差分解的稳定性 稳定的格式只是说明，一旦某步有了舍入误差，它对其后各步的影响将逐步缩小或保持有界。 实际上每步还会产生自己当地新的舍入误差。总舍入误差一般比当地舍入误差大。积累的结果总是使总舍入误差更大。稳定的格式应能估计误差的最坏的可能组合。 不稳定的格式会使某一步的舍入误差逐步放大。因而不能使用。 收敛性与稳定性的关系 收敛性与稳定性是两个不同的概念，分别属于方程离散过程中和上机计算过程中的两个不同环节。只有既收敛又稳定的格式才能得到有用的结果。 有的格式的稳定性很容易检验，而收敛性却很难判断。另一些格式则收敛性容易检验