偏微分方程之期末重要知识总复习.docVIP

偏微分方程数值解总复习 一、考虑一维经典的初值问题： 设函数在G＝中连续，并且是关于u满足Lipschitez条件，即存在一个只依赖区域G，而与变量t，u无关的常数L（称为Lipschitez常数），使得对任意的（t，u1）和（t，u2）G，都有，这里的表示R中的任一种范数。给定等距分割：，其中步长，。 在上作：， 这一方法称为Euler方法。 如果记为微分方程在处的精确解，为差分方程在处的精确解。 1、在上，定义算子： 当时，称数值方法是相容的。 2、当时，若，，则称该数值方法是收敛的。 3、如果由初值得到精确解；由初值得到精确解，若存在常数C和充分小的步长，使得，，。则称数值方法是稳定的。 证明：Euler方法是相容的、收敛的、和稳定的。 证明 1、 将在处做Taylor展开，得 所以该数值方法是相容的。 2、设，，， 则 Euler方法是稳定的 3、设，，，， 在上，定义算子 如果是微分方程的解，则 由于 和 所以 亦即 或 从而 于是当时，若，，则Euler方法是收敛的，且有误差估计： 二、考虑一维经典的初值问题和分割均同第一题。若在上作 ， 其中，，不同时为零。此类方法通称为线性k步方法。 在上，定义算子 如果，则称为该数值方法是q阶的。 试讨论线性2步方法： 当时方法是二阶的，当时方法是三阶的。 设由初值得到精确解；由得到精确解，若存在常数C和充分小的，使得，，。则称数值方法是稳定的。 试讨论Adams二步外插格式 和Milne格式的稳定性。 如果当时，若，，则称该数值方法是收敛的。 试证明：如果线性k步方法是相容的和稳定的，那么线性k步方法也是收敛的。 证明：将，在t点展开得 于是 其中 ，，…，，… 因此，线性k步方法相容的条件是：和 当时，，当时 所以，当时方法是二阶的，当时方法是三阶的。 由于线性k步方法是稳定的充分必要条件是满足根条件。 而Adams二步外插格式的，因此它是稳定的。 而Milne格式的，因此它也是稳定的。 设线性k步方法是相容的和稳定的，且 ，，， 其中 记 ，， 于是可以将上式写成矩阵的形式 写出第一个分量： 即 因为满足根条件，故有界D，（）有界M 于是可得 记 于是 可得 其中 ，，， 且 应用Gronwall不等式得 于是当时，有 即，因此线性k步方法是收敛的。 三、考虑一维经典的初值问题和分割均同第一题。若在上作 ， 其中，且， ，， 此类方法通称为n级Runge－Kutta方法。 在上，定义算子 如果且时，则称为该数值方法是相容的。 试讨论n级Runge－Kutta相容的条件。 如果则称为该Runge－Kutta是q阶的。 试讨论3级Runge－Kutta是3阶的条件。 由于 于是 由于是微分方程的解，因此有： 因此当的充分必要条件为： 将在t点展开 其中 ， 下面考虑在点（t，u）的展开式 ， 这样 由于 3级Runge－Kutta是3阶的条件为： 四、考虑一维热传导方程的初边值问题： 假设初边值问题存在唯一的、足够光滑的解。 给定等距分割：，，其中空间步长：，；时间步长，。这样以两族平行坐标轴的直线（）和（）将矩形域分割成矩形网格，网格节点为。记是微分方程在点处的精确解，是差分方程在点处的精确解。称为网格比，。记，（）。 当时，若，，则称该差分格式是收敛的。 对于给定的古典显格式： ，， 试讨论古典显格式是收敛的。 如果由初值得到精确解；由初值得到精确解，若存在常数K和充分小的步长，使得，，。则称该差分格式是关于初值稳定的。 对于给定的古典显格式： ，， 试讨论古典显格式关于初值稳定性的条件（不使用Fourier方法）。 证明：对于给定的古典显格式： ，， 如果记， 则可以将古典显格式写成， 记，，因为， 从而 所以 于是，为使差分格式关于初值稳定，就必须要求矩阵族一致有界，即 通过计算可以求出的特征值，。 因此，可用相似变换S将C化为对角形，使得 于是有 ， 其中 要使矩阵族一致有界，就必须要求特征值，即，亦即，这样只要就