第三章有限差分的基本理论水文09级计算水力学教学课件Leilafor水文09版权所有回顾差分方程FTBS,FTCS,FTFS,蛙跳,马斯京根相容性:格式相容泰勒展开带入差分方程写成等价方程形式分析截断误差收敛性:解收敛Leilafor水文09版权所有0.5时:Thinkingabout:马斯京根法差分格式的截断误差22,Otx2,Otx0.5时:Leilafor水文09版权所有课程内容基本概念偏导数的差商近似差分方程截断误差和相容性收敛性稳定性Lax等价定理Leilafor水文09版权所有相容性是收敛性的必要条件稳定性与收敛性有一定的联系。Lax等价定理Lax等价定理:对一个适定的线性微分问题及一个与其相容的差分格式,如果该格式稳定则必收敛,不稳定必不收敛。换言之,若线性微分问题适定,差分格式相容,则稳定性是收敛性的必要和充分的条件。Lax等价定理Leilafor水文09版权所有根据此定理,在线性适定和格式相容的条件下,只要证明了格式是稳定的,则一定收敛;若不稳定,则不收敛。由于收敛性的证明往往比稳定性更难,故人们就可以把注意力集中在稳定性的研究上。Lax等价定理Leilafor水文09版权所有误差分类差分方程解析解数值解偏微分方程:解析解*uˆuuˆuu收敛性关心:Leilafor水文09版权所有§6.稳定性vonNeumann分析(线性偏微分问题)稳定性数值试验(需满足物理规律){Leilafor水文09版权所有§6.稳定性0,0()uuCtxuxfx满足物理规律:定解问题:C0:特征线向下游传播C0:特征线向上游传播Leilafor水文09版权所有§6.稳定性——数值试验xt0FTBS:η=1εεεεεεε000000011jjiijj+1j+2j+3j+4j+5Leilafor水文09版权所有§6.稳定性——数值试验xt0FTBS:η=2ε2ε4ε16ε32ε8ε64ε0000000112jjjiiijj+1j+2j+3j+4j+5Leilafor水文09版权所有§6.稳定性——数值试验依赖区间AB和决定域PABFTCS格式ABPeLeilafor水文09版权所有§6.稳定性——数值试验PABABPFTFS格式FTBS格式依赖区间AB和决定域PABLeilafor水文09版权所有§6.稳定性——数值试验影响区域FTCS格式1112jjjjiiiiuuuuLeilafor水文09版权所有§6.稳定性——数值试验影响区域FTFS格式FTBS格式111jjjiiiuuu111jjjiiiuuuLeilafor水文09版权所有由此可知:同一微分问题,当采用不同差分格式时,其依赖区间、决定区域和影响区域可以是不一致的。依赖区间、决定区域和影响区域是由差分格式本身的构造所决定的并与有关tx§6.稳定性——数值试验Leilafor水文09版权所有0,00uuCtxux例定解问题FTBS格式计算00,1,2,3,0,1,2,jiuji§6.稳定性——数值试验Leilafor水文09版权所有假设在第j层上的第i点,由于计算误差,得到:设i=0,j=0,=1,即,相应于FTBS格式:jiu=εε110001100jjjiiiiuuuuui,§6.稳定性——数值试验Leilafor水文09版权所有§6.稳定性——数值试验•误差逐渐衰减传播110.50.5jjjiiiuuuLeilafor水文09版权所有§6.稳定性——数值试验•误差无衰减传播11jjiiuuLeilafor水文09版权所有§6.稳定性——数值试验•误差震荡放大传播112jjjiiiuuuLeilafor水文09版权所有算例表明了当值不同时计算误差所产生的影响tx•误差逐渐衰减传播•误差无衰减传播•误差震荡放大传播t1.0xt1x=t1.0x数值误差有不同的传播方式,格式使误差逐渐衰减传播称为差分格式稳定,否则称为不稳定。§6.稳定性——数值试验Leilafor水文09版权所有§6.稳定性——数值试验单增长型的不稳定称为静力不稳定性εj+1Leilafor水文09版权所有§6.稳定性——数值试验过冲型振荡的不稳定称为动力不稳定性εj+1Leilafor水文09版权所有vonNeumann稳定性分析方法0,0()uuCtxuxfx111jjjiiiuuu0i00iiu111jjjiii定解问题FTBS格式初值误差误差传播方程§6.稳定性——vonNeumann分析Leilafor水文09版权所有误差展开成傅氏级数代入误差传播方程§6.稳定性——vonNeumann分析Leilafor水文09版权所有对任意的k有G为放大因子1iktGe§6.稳定性——vonNeumann分析Leilafor水文09版权所有22141sin2kxG1G2141sin12kx241sin02kx01FTBS格式稳定条件§6.稳定性——vonNeumann分析Leilafor水文09版权所有VonNeumann稳定性分析法主要用于线性初值问题的稳定性分析。对于非线性问题用局部线性化的方法加以推广。局部线性化方法假定非线性系数变化得很缓慢,因而可用局部网格结点上的函数值代入后作为常数处理,并认为每一网格结点上的计算稳定性与相邻结点无关,以网格结点上最小的局部稳定极限值作为整个差分问题的稳定极限值。§6.稳定性——vonNeumann分析