抛物型方程的计算方法
抛物型方程的galerkin有限元方法
抛物型方程的Galerkin有限元方法一、引言抛物型方程是一类常见的偏微分方程，具有广泛的应用。
在数值解中，Galerkin有限元方法是一种常用且有效的方法。
本文将介绍抛物型方程的基本概念，并详细讲解Galerkin有限元方法在求解抛物型方程中的应用。
二、抛物型方程的基本概念抛物型方程是指具有二阶时间导数和二阶空间导数的偏微分方程。
一般形式为：∂u−Δu=f∂t其中，u为未知函数，t为时间变量，Δ为Laplace算子，f为给定的函数。
抛物型方程的一个重要特点是初始条件和边界条件对解的影响非常大。
合适的初始条件和边界条件能够唯一确定方程的解。
三、Galerkin有限元方法Galerkin有限元方法是一种利用函数空间进行近似的数值计算方法。
它基于以下思想：将问题的解表示为函数空间中的一个函数，通过求解一组代数方程组来近似求解原始方程。
1. 函数空间的选择在应用Galerkin有限元方法求解抛物型方程时，需要选择合适的函数空间。
常用的函数空间有有限维函数空间和无限维函数空间。
具体的选择需要根据问题的特点和计算的要求来确定。
2. 弱形式的推导对于抛物型方程，我们可以将其转化为弱形式。
弱形式是通过将方程两边乘以一个测试函数，并进行积分得到的。
这样可以减小对解的要求，并使得问题更容易求解。
3. 数值离散和代数方程的建立接下来，需要对时间和空间进行离散。
通常使用网格来进行离散，将时间和空间分割为有限个小区域。
然后，通过选择适当的基函数，在每个小区域上近似原方程的解。
最终得到一组代数方程组。
求解代数方程组是Galerkin有限元方法的最后一步。
可以使用常用的数值方法，如迭代法、直接法等，来求解代数方程组。
根据计算要求和问题特点，选择合适的求解方法。
四、应用案例以一维热传导方程为例，展示Galerkin有限元方法在求解抛物型方程中的应用。
热传导方程是一个典型的抛物型方程，描述了物体内部的温度分布随时间变化的规律。
一维抛物型偏微分方程初边值问题求解
一维抛物型偏微分方程初边值问题求解摘要：一、引言二、一维抛物型偏微分方程1.定义与性质2.初边值问题三、求解方法1.紧差分格式2.追赶法3.有限元算法四、Matlab程序实现1.紧差分格式程序2.追赶法程序五、结论与展望正文：一、引言在数学、物理等领域，偏微分方程是一类重要的方程。
其中，一维抛物型偏微分方程在科学研究和实际应用中具有广泛的意义。
本文将探讨一维抛物型偏微分方程的初边值问题的求解方法，并介绍相应的Matlab程序实现。
二、一维抛物型偏微分方程1.定义与性质一维抛物型偏微分方程是指具有如下形式的方程：u_t = a * u_xx其中，u(x, t) 表示未知函数，t 表示时间，x 表示空间坐标，a 为常数。
2.初边值问题初边值问题是指在给定的初始条件和边界条件下求解偏微分方程的问题。
在一维抛物型偏微分方程中，初边值问题可以表示为：u(x, 0) = u_0(x)u(x, t) = u_t(x, t) 在边界x=0，x=L上三、求解方法1.紧差分格式紧差分格式是一种求解偏微分方程的方法，其精度为O(h^(1/2) * Δt)，无条件稳定。
在这种方法中，我们首先需要建立离散的网格系统，然后通过数值积分求解离散化的偏微分方程。
2.追赶法追赶法是一种求解线性方程组的方法，也可以用于求解初边值问题。
在这种方法中，我们首先需要将偏微分方程转化为线性方程组，然后使用追赶法求解线性方程组。
3.有限元算法有限元算法是一种基于变分原理的求解方法，可以将偏微分方程问题转化为求解有限元空间的线性方程组。
这种方法在求解一维抛物型偏微分方程时具有较高的精度和可靠性。
抛物型方程的差分方法
抛物型方程的差分方法抛物型方程是描述物理现象中的薄膜振动、热传导、扩散等过程的方程，具有非常重要的应用价值。
差分方法是一种常用的数值计算方法，用于求解微分方程，对于抛物型方程的数值求解也是非常有效的方法之一、本文将介绍抛物型方程的差分方法，并具体讨论用差分方法求解抛物型方程的一些具体问题。
首先，我们来介绍一下抛物型方程的一般形式。
抛物型方程一般可以表示为：∂u/∂t=α(∂^2u/∂x^2+∂^2u/∂y^2)其中，u(x,y,t)是待求函数，t是时间，x和y是空间变量，α是常数。
这个方程描述的是物理过程中的扩散现象，如热传导过程、溶质的扩散过程等。
差分方法的基本思想是将求解区域离散化为一个个网格点，然后在每个网格点处用近似的方式来计算待求函数的值。
差分方法的求解步骤主要包括以下几个方面：1.选择适当的网格和步长。
在求解抛物型方程时，需要确定空间变量x和y所在的网格点以及步长，同时也需要确定时间变量t所在的网格点和步长。
通常，我们会选择均匀网格，步长选择合适的值。
2.建立差分格式。
差分格式是差分方法的核心部分，它包括对方程进行近似处理和离散化。
对于抛物型方程，常用的差分格式有显式差分格式和隐式差分格式等。
其中，显式差分格式的计算速度快，但是有一定的稳定性限制，而隐式差分格式的稳定性较好，但是计算量较大。
因此，在具体问题中需要根据实际情况选择适当的差分格式。
3.编写计算程序。
在建立差分格式后，需要编写计算代码来求解离散方程。
具体编写的过程包括定义初始条件、建立迭代计算过程、以及计算结果的输出等。
4.计算结果的验证与分析。
求解方程后，需要对计算结果进行验证和分析，主要包括对数值解和解析解的比较、对误差的估计和控制等。
在具体求解抛物型方程时，还会遇到一些问题，例如边界条件的处理、稳定性和收敛性的分析等。
下面将对其中一些问题进行详细讨论。
1.边界条件的处理。
边界条件对差分格式的求解结果有着重要的影响，常见的边界条件包括固定端（Dirichlet）边界条件和自由端（Neumann）边界条件等。
10_抛物型方程的有限差分方法
10_抛物型方程的有限差分方法抛物型方程是一类常见的偏微分方程，广泛应用于自然科学和工程学的领域中。
有限差分方法是一种常用的数值求解抛物型方程的方法之一、本文将介绍抛物型方程的有限差分方法（II）。
有限差分方法主要基于离散化的思想，将偏微分方程转化为差分方程，进而求解差分方程的数值解。
对于抛物型方程，其一般形式可以表示为：∂u/∂t=Δu+f(x,t)其中，u(x, t)是未知函数，表示空间位置x和时间t上的解，Δu表示Laplace算子作用于u的结果，f(x, t)是已知函数。
有限差分方法的基本思想是将空间和时间域进行离散化，将连续的空间和时间划分为有限个网格点，然后使用差分近似代替偏导数，得到差分方程。
假设空间域被划分为Nx个网格点，时间域被划分为Nt个网格点，对于每个网格点(i,j)，可以表示为(x_i,t_j)，其中i=0,1,...,Nx，j=0,1,...,Nt。
在有限差分方法中，我们使用中心差分近似来代替偏导数。
对于时间导数，可以使用向前差分或向后差分，这里我们使用向前差分，即：∂u/∂t≈(u_i,j+1-u_i,j)/Δt对于空间导数，可以使用中心差分，即：∂^2u/∂x^2≈(u_i-1,j-2u_i,j+u_i+1,j)/Δx^2将上述差分近似代入抛物型方程中，可以得到差分方程的离散形式：(u_i,j+1-u_i,j)/Δt=(u_i-1,j-2u_i,j+u_i+1,j)/Δx^2+f_i,j其中，f_i,j=f(x_i,t_j)。
重排上式，可以得到递推关系式：u_i,j+1=αu_i-1,j+(1-2α)u_i,j+αu_i+1,j+Δt*f_i,j其中，α=Δt/Δx^2通过设置初始条件和边界条件，可以利用以上递推关系式得到抛物型方程的数值解。
总结来说，抛物型方程的有限差分方法（II）是一种常用的数值求解抛物型方程的方法。
它基于离散化的思想，将偏微分方程转化为差分方程，然后利用中心差分近似代替偏导数，得到差分方程的离散形式。
抛物型方程差分法资料
1. 区域剖分(区域离散）
用两族平行线
x t
xi tk
i h,
k,
0 i m 1/h
0 k n T /
将原方程的求解区域分割成矩形一致网格。
t
t k 1 tk
t k 1
t2 t1
O x1 x2
h — 空间步长， — 时间步长，
(xi ,tk )
( xi , tk ) — 网格节点
用 uik 表 示 温 度 分 布 函 数 u( x, t ) 在 点( xi , tk ) 处 的 网 格 函 数, 相 当 于
x xi1 xi xi1
u( x, t) 在 该 点 的 近 似.
2. 原方程弱化为节点处的离散方程
连续方程
u t
a
2u x 2
f (x,
t ),
0 x 1,
0 t T
u( x,0) ( x), 0 x 1
u(0, t) (t), u(1, t) (t), 0 t T
离散方程
)
u( xi1, tk
)
误差为 O(h2 )
( xi ,tk )
将上面的式子代入离散方程，可得
u(
xi
,
tk
1
)
u(
xi
,
tk
)
a
u(
xi 1
,
tk
)
2u( xi , h2
tk
)
u(
xi
1
,
tk
)
f ( xi , tk ) O(
h2 )
0 i m, 0 k n.
u( xi ,0) ( xi ),
uk i 1
)
f
抛物方程的向前向后差分格式例题
抛物方程的向前向后差分格式例题抛物方程是描述物体受重力影响下的运动的数学模型，它在物理学和工程学中有着广泛的应用。
而求解抛物方程的数值方法中，向前差分和向后差分是最常用的两种格式之一。
向前差分格式是一种一阶时间导数的数值逼近方法，它将时间上的变化分为离散的小步长，并根据当前时刻的值和之前时刻的值来逼近下一个时刻的值。
其数值逼近公式可以表示为：u_i^{n+1} = u_i^n + alpha(u_{i+1}^n - 2u_i^n + u_{i-1}^n)其中，u_i^{n+1}表示网格点(i,n+1)处的解值，u_i^n表示网格点(i,n)处的解值，u_{i+1}^n和u_{i-1}^n分别表示网格点(i+1,n)和(i-1,n)处的解值，alpha是时间步长与空间步长的比值。
向后差分格式则是一种一阶时间导数的数值逼近方法，它与向前差分格式相比，将当前时刻的值和之后时刻的值来逼近下一个时刻的值。
其数值逼近公式可以表示为：u_i^{n+1} = u_i^n + alpha(u_{i+1}^{n+1} - 2u_i^{n+1} +u_{i-1}^{n+1})其中，u_{i+1}^{n+1}和u_{i-1}^{n+1}分别表示网格点(i+1,n+1)和(i-1,n+1)处的未知解值，而u_i^{n+1}表示网格点(i,n+1)处的解值。
为了更好地理解这两种差分格式的应用，下面举一个例题：考虑一个一维热传导问题，其抛物方程可以表示为：frac{partial u}{partial t} = kfrac{partial^2 u}{partialx^2}其中，u是温度分布关于时间和空间的函数，k是热导率。
假设我们要求解在0≤x≤1的区域上的温度分布，且边界条件为u(0,t)=u(1,t)=0。
初始条件为u(x,0)=f(x)，其中f(x)是已知的初始温度分布。
我们可以使用向前差分或者向后差分格式来求解该问题。
抛物型方程的galerkin有限元方法
抛物型方程的galerkin有限元方法抛物型方程是一类重要的偏微分方程，它在物理、工程、经济等领域中都有广泛的应用。
而galerkin有限元方法是一种常用的数值解法，可以有效地求解抛物型方程。
本文将介绍抛物型方程的galerkin有限元方法。
一、抛物型方程抛物型方程是一类偏微分方程，其一般形式为：$$\frac{\partial u}{\partial t} - \nabla \cdot (a\nabla u) + cu = f $$其中，$u$是未知函数，$a$和$c$是已知函数，$f$是给定函数。
抛物型方程的特点是时间和空间都是连续的，因此需要使用时间和空间上的离散化方法来求解。
二、galerkin有限元方法galerkin有限元方法是一种常用的数值解法，它将偏微分方程的解表示为一组基函数的线性组合，然后通过求解系数来得到解。
具体来说，galerkin有限元方法将偏微分方程的解表示为：$$u_h(x,t) = \sum_{i=1}^N u_i(t) \phi_i(x)$$其中，$u_i(t)$是待求系数，$\phi_i(x)$是一组基函数，$N$是基函数的个数。
将上式代入偏微分方程中，得到：$$\sum_{i=1}^N \left( \frac{\partial u_i}{\partial t} - \nabla \cdot(a\nabla \phi_i) + c\phi_i \right) \phi_j = \int_\Omega f\phi_j $$对于任意的$j=1,2,\cdots,N$，上式都成立。
因此，可以得到一个关于系数$u_i(t)$的线性方程组，通过求解该方程组即可得到解$u_h(x,t)$。
三、抛物型方程的galerkin有限元方法将抛物型方程代入galerkin有限元方法中，得到：\sum_{i=1}^N \left( \frac{\partial u_i}{\partial t} - \nabla \cdot (a\nabla \phi_i) + c\phi_i \right) \phi_j = \int_\Omega f\phi_j $$对于任意的$j=1,2,\cdots,N$，上式都成立。
抛物型偏微分方程
抛物型偏微分方程抛物型偏微分方程（Parabolic Partial Differential Equation）是数学分析中重要的一个分支，研究对象主要是关于时间和空间变量的二阶偏微分方程。
在物理、工程和经济等领域中，抛物型偏微分方程有着广泛的应用，比如热传导方程、扩散方程和波动方程等。
1. 定义和形式抛物型偏微分方程是指对于函数 u(x, t) 存在连续二阶偏导数，并满足形式如下的方程：∂u/∂t = a∇²u + bu + f(x, t)其中，a 是常数，∇²u 是 u 关于空间变量 x 的拉普拉斯算子，b 是各项异性系数，f(x, t) 是给定的源项函数。
该方程描述了函数 u 关于时间t 的演化过程，与空间变量 x 的变化有关，反映了物理现象在时间和空间上的动态发展。
2. 物理意义和应用抛物型偏微分方程在物理学领域中有着重要的应用。
其中，热传导方程是抛物型偏微分方程的典型例子，描述了物质内部温度分布随时间变化的规律。
热传导方程在热力学、材料科学和地球物理学等领域中具有广泛的应用，例如预测地球内部热流、分析塑料注塑过程中温度分布等。
此外，扩散方程也是抛物型偏微分方程的重要应用之一。
扩散过程描述了物质在空间中传播的方式，常用于研究化学反应、人口扩散和金融市场中的价格传播等问题。
波动方程则描述了波在空间中传播的规律，例如声波、电磁波和水波等。
3. 解法和数值模拟抛物型偏微分方程的解法可以通过变量分离、变换等方法获得解析解。
然而，在实际问题中，解析解往往难以求得，需要借助数值方法进行近似计算。
常用的数值方法包括有限差分法、有限元法和谱方法等。
有限差分法将方程离散化为差分格式，通过迭代求解差分方程组得到数值解。
有限元法则将求解区域划分为有限单元，通过构建矩阵方程来求解问题的数值解。
此外，谱方法基于傅里叶级数展开，通过选择适当的基函数将方程转化为代数方程组求解。
谱方法在高精度计算和边界层问题的处理上有一定优势。
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
分类号：O241.82本科生毕业论文（设计）题目：一类抛物型方程的计算方法作者单位数学与信息科学学院作者姓名专业班级2011级数学与应用数学创新2班指导教师论文完成时间二〇一五年四月一类抛物型方程的数值计算方法(数学与信息科学学院数学与应用数学专业2011级创新2班)指导教师摘要: 抛物型方程数值求解常用方法有差分方法、有限元方法等。
差分方法是一种对方程直接进行离散化后得到的差分计算格式，有限元方法是基于抛物型方程的变分形式给出的数值计算格式.本文首先给出抛物型方程的差分计算方法，并分析了相应差分格式的收敛性、稳定性等基本理论问题.然后，给出抛物型方程的有限元计算方法及理论分析.关键词：差分方法，有限元方法，收敛性，稳定性Numerical computation methods for a parabolic equationYan qian(Class 2, Grade 2011, College of Mathematics and Information Science)Advisor: Nie huaAbstract: The common methods to solve parabolic equations include differential method, finite element method etc. The main idea of differential method is to construct differential schemes by discretizing differential equations directly. Finite element scheme is based on the variational method of parabolic equations. In this article, we give some differential schemes for a parabolic equation and analyze their convergence and stability. Moreover, the finite element method and the corresponding theoretical analysis for parabolic equation are established.Key words: differential method, finite element method, convergence, stability1 绪 论1.1 引 言自然界里中热的传播，溶质在液体中弥散，多孔介质中渗流等随时间发展的现象和过程，都可以用抛物型方程来描述.因此，抛物型方程是刻画自然界的一类很重要的方程.然而，很多的方程我们并不能求出它的精解确，或者表达式过于复杂，所以需要采用数值方法去计算它们的近似解.抛物型方程最基本的计算方法当属有限差分法[1]，通过离散化便可得到计算格式，该方法构造简单，易于操作.但是在处理一些复杂的边值问题时计算会很复杂，因此我们需要探讨一些新的处理手段.有限元计算方法起源于椭圆型方程的计算，它将求解椭圆型方程的解转换为求解其变分形式的解[1],从而极大地丰富了偏微分方程的计算手段.正式由于其在椭圆型方程计算中的巨大优势，以及抛物型方程与椭圆型方程的密切联系，所以该方法很自然的被推广到了抛物型方程初边值问题的计算上[4].本文系统的总结了一类抛物型方程的计算方法，包括有限差分法和有限元方法.并且通过数值算例给出了两类方法的一个比较.为此,本文需要先给出一些基本的分析知识作为研究该问题的基础[6,7]，下来就给出了抛物型方程的变分形式，这个是构造有限元计算格式的基础，在此基础上，给出了有限元计算格式并讨论了其收敛性和稳定性. 1.2 准备知识抛物型偏微分方程是一类典型的发展方程，其一般形式如下：)()(x f u L tu=-∂∂ （1.1.1） 其中),(t x u 是空间自变量).....(1n x x x =和时间t 的未知函数，L 是关于空间变量的线性椭圆型微分算子，即f u c x b x x a L n i i i j i n j i ij=⎪⎪⎭⎫ ⎝⎛+∂∂+∂∂±≡∑∂∑=21, 其系数的实函数为自变量和右端项)...(,,1n ij ij x x x f c b a =，且在方程（1.1.1）的定义域n R ∈Ω中满足椭圆性条件Ω∈∀∈=∀>≥∑∑==x x ix x aR nn ni j i nj i ij,}0{).....(,0)()()(1121,ξξξααξξξ（1.1.2）当L 是非线性椭圆型微分算子或者f 是u 的非线性函数时，则称相应的抛物型方程为非线性的.下面给出抛物型方程的定解条件： 初值条件，不妨设初始时刻0=t ,则Ω∈∀=x x u x u ),()0,(0 （1.1.3） 第一类边值条件：0,),,(),(>∀Ω∂∈∀=t x t x u t x u D （1.1.4） 第二类边值条件：0,),,(),(>∀Ω∂∈∀=∂∂t x t x g t x vu（1.1.5） 第三类边值条件：0,),,(),)((>∀Ω∂∈∀=+∂∂t x t x g t x u tuα （1.1.6） 其中00),(,,>≥ααα上，且至少在一部分边界的已知函数，是t x u g u D ，v 为的单位外法向量Ω∂.2，有限差分法本章将给出抛物型方程最基本的计算方法—有限差分法。
我们以一维热传导方程为例，给出其差分格式并讨论其收敛性，稳定性等基本问题.本章内容主要引用文献[1].用差分法计算抛物型方程的初边值问题时，可以先考虑在区域Ω上引入空间网格，例如在直角坐标系中采用平行于坐标轴的等距离直线族形成的矩形网格，其次，将定义在+⨯ΩR 上的函数),(t x u 替换成定义在空间网格节点集上的离散函数)(t U ;然后，用适当的差分格式将微分算子L 替换成差分算子h L ，这一过程称为半离散化.对由半离散化得到的常微分方程初值问题，再进一步对时间离散化，选用适当的求解常微分方程初值问题的数值方法，就得到求解抛物型方程的初边值问题的全离散化格式.接下来，将按照这一处理思路对热传导方程的差分计算格式进行探讨. 2.1 差分格式考虑一维热传导方程：)(22x f x u a t u +∂∂=∂∂，0<T t ≤ （2.1.1）其中a 是正常数，)(x f 连续。
下面给出两类定解条件：第一，初值问题：求可微函数),(t x u ，满足（1.1.1）和初始条件：∞<<-∞=x x x u ),()0,(φ （2.1.2） 第二，初边值问题：求可微函数满足方程),,(t x u （1.1.1）和初始条件：l x x x u <<=0),()0,(φ （2.1.3） 以及边值条件T t t l u t u ≤≤==0,0),(),0( （2.1.4） 现在考虑边值问题（1.2.1），（1.2.3），（1.2.4）的差分格式.取步长空间J l h =和时间步长NT =τ，其中N J ,都是自然数.用两族平行直线)....1,0(J j jh x x j ===和)....1,0(N n n t t n ===τ将矩形域}0;0{T t l x G ≤≤≤≤=分割成矩形网格，网格节点为),(n j t x .以h G 表示网格内点集合，即位于开矩形G 的网点集合；h G 表示所有位于闭矩形G 的网点集合；h h h G G -=Γ是网格界点集合.其次，用n j u 表示定义在网点),(n j t x 上的函数N n J j ≤≤≤≤0,0，用适当的差商代替方程（1.2.1）中相应的偏微商，便得到以下几种最简单的差分格式. 2.1.1 向前差分格式 考虑,22111jnj n j n j n j n j f h u u u a u u ++-=--++τ （2.1.5）其中 0),(),(00=====n Jn j j jj j u u x u x f f φφ1...1,0,1...2,1-=-=N n J j以2h a r τ=表示网比，将（2.2.5）整理成易于计算的形式，使得第n 层值，即上标为n 在等式右边，第1+n 层值在等式左边，则可得到j nj n j n j n j f ru u r ru u τ++-+=-++111)21( （2.1.6） 这样的话，又（2.1.6）取0=n ，利用初值条件j j u ϕ=0和边值条件00==nJ n u u 可计算出1j u .再将1=n 的值带入计算，从而就可逐次迭代计算出所以的n j u ，并且视其为精确解),(n j t x u 的近似，由于第（1+n ）层的值通过第n 层值明显表示，无需求解线性代数方程组，如此差分格式称为显示格式. 下来给出这种计算格式的误差分析：记22x ua t u Lu ∂∂-∂∂=2111)1(2hu u u au u u L nj n j n j n jn j n jh-+++---=τ显然截断误差 )()()~](21121[][),()(22222)1(h O h O tur Lu t x u L u R n jnjn j hu j+=++∂∂--=-=τττ （2.1.7） 2.1.2向后差分格式 考虑,0),(,2002111111====++-=-+-++++nJ n j j j j n j n j n j n jn j u u x u f hu u u au u ϕϕτ (2.1.8）1....1,0,1....2,1-=-=N N J J 将上式改写为.)21(11111j nj n j n j n j f u ru u r ru τ+=-++-+-+++ (2.1.9)显然，第（1+n ）层的值不能用第n 层值明显表示，而是由线性代数方程组（2.1.9）确定，这样的差分格式称为隐格式. 令 ,22111111)2(hu u u au u u L n j n j n j n jn j n jh+-+++++---=τ则截断误差为).()()~](21121[][),()(22222)2(h O h O tur Lu t x u L u R n jn jn j hn j+=++∂∂+-=-=τττ （2.1.10）此外，还有六点差分格式以及Richardson 格式，具体可以参见文献[1]，都是简单的抛物型方程差分格式.2.2 差分格式的稳定性与收敛性差分格式的稳定性概念见文献[1]，此处本文只给出相关的稳定性定理及实例分析.2.2.1判别稳定性的直接估计法（矩阵法）命题1[1]（必要条件）以）（C ρ表示矩阵）（τC 的谱半径，则差分格式稳定性的必要条件是存在与τ无关的常数M 使））（）（（）（τρτρO C M C +≤+≤11 （2.2.1） 命题2[1]（充分条件）若）（τC 是正规矩阵，及C 和它的共轭转置*C 成绩可交换：C C CC **=，则（2.2.1）也是差分格式稳定的充分条件.推论1 若S 是对称矩阵，）（τC 是矩阵S 的实系数有理函数：)()(S R C =τ,则差分格式稳定的充要条件是τλM R +≤1)(max s j j，其中s j λ是S 的特征值。