偏微分方程(周蜀林)习题参考答案
偏微分方程（周蜀林）
习题参考解答Writer：Dreaming Rainbow 版权所有，转载请注明作者
偏微分方程数值解期末试题及标准答案
偏微分方程数值解试题(０6B ） 参考答案与评分标准 信息与计算科学专业 一(10分）、设矩阵A 对称，定义)(),(),(2 1)(n R x x b x Ax x J ∈-=，)()(0x x J λλ?+=.若0)0('=?，则称称0x 是)(x J 的驻点(或稳定点).矩阵A 对称(不必正定)，求证0x 是)(x J 的驻点的充要条件是:0x 是方程组 b Ax =的解 解: 设n R x ∈0是)(x J 的驻点，对于任意的n R x ∈,令 ),(2),()()()(2 000x Ax x b Ax x J x x J λλλλ?+-+=+=, （3分) 0)0('=?,即对于任意的n R x ∈,0),(0=-x b Ax ,特别取b Ax x -=0，则有0||||),(2000=-=--b Ax b Ax b Ax ，得到b Ax =0． (3分) 反之,若n R x ∈0满足b Ax =0,则对于任意的x ,)(),(2 1)0()1()(00x J x Ax x x J >+==+??,因此0x 是)(x J 的最小值点. (４分） 评分标准：)(λ?的展开式3分, 每问3分，推理逻辑性１分 二（10分）、 对于两点边值问题:?????==∈=+-=0 )(,0)(),()('b u a u b a x f qu dx du p dx d Lu 其中]),([,0]),,([,0)(min )(]),,([0min ],[1b a H f q b a C q p x p x p b a C p b a x ∈≥∈>=≥∈∈ 建立与上述两点边值问题等价的变分问题的两种形式：求泛函极小的Ritz 形式和Galerkin 形式的变分方程。 解: 设}0)(),,(|{11=∈=a u b a H u u H E 为求解函数空间,检验函数空间．取),(1b a H v E ∈,乘方程两端,积分应用分部积分得到 (３分) )().(),(v f fvdx dx quv dx dv dx du p v u a b a b a ==+=??,),(1 b a H v E ∈? 即变分问题的Galerkin 形式. （3分)
偏微分方程数值解试题及答案
偏微分方程数值解试题(06B) 参考答案与评分标准 信息与计算科学专业 一（10分）、设矩阵A 对称，定义)(),(),(2 1 )(n R x x b x Ax x J ∈-= ，)()(0x x J λλ?+=.若0)0('=?,则称称0x 是)(x J 的驻点（或稳定点）.矩阵A 对称（不必正定），求证0x 是)(x J 的驻点的充要条件是：0x 是方程组 b Ax =的解 解: 设n R x ∈0是)(x J 的驻点,对于任意的n R x ∈,令 ),(2 ),()()()(2 000x Ax x b Ax x J x x J λλλλ?+ -+=+=, (3分) 0)0('=?,即对于任意的n R x ∈,0),(0=-x b Ax ,特别取b Ax x -=0,则有 0||||),(2000=-=--b Ax b Ax b Ax ,得到b Ax =0. (3分) 反之,若 n R x ∈0满足 b Ax =0,则对于任意的 x ,)(),(2 1 )0()1()(00x J x Ax x x J >+ ==+??,因此0x 是)(x J 的最小值点. (4分) 评分标准:)(λ?的展开式3分, 每问3分,推理逻辑性1分 二（10分）、 对于两点边值问题：????? ==∈=+-=0 )(,0)() ,()(' b u a u b a x f qu dx du p dx d Lu 其中]),([,0]),,([,0)(min )(]),,([0min ] ,[1b a H f q b a C q p x p x p b a C p b a x ∈≥∈>=≥∈∈ 建立与上述两点边值问题等价的变分问题的两种形式：求泛函极小的Ritz 形式和 Galerkin 形式的变分方程。 解: 设}0)(),,(|{11 =∈=a u b a H u u H E 为求解函数空间,检验函数空间.取),(1 b a H v E ∈,乘方程两端,积分应用分部积分得到 (3分) )().(),(v f fvdx dx quv dx dv dx du p v u a b a b a ==+=??,),(1 b a H v E ∈? 即变分问题的Galerkin 形式. (3分) 令?-+=-=b a dx fu qu dx du p u f u u a u J ])([21),(),(21)(22,则变分问题的Ritz 形式
偏微分方程数值解法试题与答案
一．填空（1553=?分） 1．若步长趋于零时，差分方程的截断误差0→lm R ，则差分方程的解lm U 趋近于微分方 程的解lm u . 此结论_______（错或对）； 2．一阶Sobolev 空间{} )(,,),()(21 Ω∈''=ΩL f f f y x f H y x 关于内积=1),( g f _____________________是Hilbert 空间； 3．对非线性（变系数）差分格式，常用 _______系数法讨论差分格式的_______稳定性； 4．写出3 x y =在区间]2,1[上的两个一阶广义导数：_________________________________， ________________________________________； 5．隐式差分格式关于初值是无条件稳定的. 此结论_______（错或对）。 二．（13分）设有椭圆型方程边值问题 用1.0=h 作正方形网格剖分 。 （1）用五点菱形差分格式将微分方程在内点离散化； （2）用截断误差为)(2 h O 的差分法将第三边界条件离散化； （3）整理后的差分方程组为 三．（12）给定初值问题 x u t u ??=?? ， ()10,+=x x u 取时间步长1.0=τ，空间步长2.0=h 。试合理选用一阶偏心差分格式（最简显格式）, 并以此格式求出解函数),(t x u 在2.0,2.0=-=t x 处的近似值。 1．所选用的差分格式是： 2．计算所求近似值： 四．（12分）试讨论差分方程 ()h a h a r u u r u u k l k l k l k l ττ + - = -+=++++11,111 1 逼近微分方程 0=??+??x u a t u 的截断误差阶R 。 思路一：将r 带入到原式，展开后可得格式是在点（l+1/2,k+1/2）展开的。 思路二：差分格式的用到的四个点刚好是矩形区域的四个顶点，可由此构造中心点的差分格 式。
偏微分方程数值解试题06B答案
专业班级 姓名 学号 开课系室数学与计算科学学院 考试日期
偏微分方程数值解试卷 一（15分）、（1）简述用差分方法求解抛物型方程初边值问题的数值解的一般步骤.(2)写出近似一阶偏导数 n m x u |??的三种有限差分逼近及其误差阶,写出近似 n m x u |22 ??的差分逼近及其误差阶. 评分标准： （1） 7分，三个离散4分，其他步骤3分 （2） 8分，每个格式及误差2分。 二（15分）、（1）以抛物型方程的差分格式为例，解释差分格式的相容性,稳定性和收敛性概念,分析相容性,稳定性和收敛性与误差的关系，简述 Lax 等价性定理。(2) 简述差分格式稳定性分析的Fourier 级数法（或称为Neumann Von 方法，分离变量法）的一般步骤。 （1）8分，解释概念6分，等价关系2分 （2）7分，典型波2分，放大因子与条件3分，其他2分 三（20分）、对于边值问题 ?? ???=?=∈=??+???0 |) 1,0()1,0(),(,92 222G u G y x y u x u （1）建立该边值问题的五点差分格式（五点棱形格式又称正五点格式），推导截 断误差的阶。 （2）取3/1=h ，求边值问题的数值解（写出对应的方程组的矩阵形式并求解） （3）就取5/1=h 的情况写出对应方程组的系数矩阵（用分块矩阵表示）。 解：（1）7分，离过程与格式
第二页（共五页） 四（20分）、对于初边值问题??? ????≤≤==<<=≤<<
偏微分方程数值解复习题(2011硕士)
偏微分方程数值解期末复习（2011硕士） 一、考题类型 本次试卷共六道题目，题型及其所占比例分别为： 填空题20%；计算题80% 二、按章节复习内容 第一章 知识点：Euler法、向前差商、向后差商、中心差商、局部截断误差、整体截断误差、相容性、收敛性、阶、稳定性、显格式、隐格式、线性多步法、第一特征多项式、第二特征多项式、稳定多项式、绝对稳定等； 要求: 会辨认差分格式, 判断线性多步法的误差和阶; 第二章 知识点：矩形网格、(正则,非正则)内点、边界点、偏向前(向后,中心)差商、五点差分格式、增设虚点法、积分插值法、线性椭圆型差分格式、极值原理、比较定理、五点差分格式的相容收敛和、稳定性等； 要求: 建立椭圆型方程边值问题的差分格式, 极值原理; 第四章 知识点：最简显格式、最简隐格式、CN格式、双层加权格式、Richardson 格式、网格比、传播因子法(分离变量法) 、传播因子、传播矩阵、谱半径、von Neumann条件、跳点格式、ADI格式、线性椭圆型差分格式、极值原理、比较定理、五点差分格式的相容收敛和稳定性等； 要求: 建立抛物型方程边值问题的差分格式, 计算局部截断误差; 第五章 知识点：左偏心格式、右偏心格式、中心格式、LF格式、LW格式、Wendroff 格式、跳蛙格式、特征线、CFL条件等； 要求: 建立双曲型方程边值问题的差分格式, 计算局部截断误差; 第七章 要求: 会用线性元(线性基)建立常微分方程边值问题的有限元格式
三 练习题 1、 已知显格式21131()22 n n n n u u h f f +++-=-，试证明格式是相容的，并求它的阶。 P39+P41 2、用Taylor 展开原理构造一元函数一阶导数和二阶导数的数值微分公式。 提示：向前、向后和中心差商与一阶导数间关系，二阶中心差商与二阶导数 之间的关系 课件 3、用数值微分方法或数值积分方法建立椭圆型方程 2222(,),(,),u u f x y x y x y ??--=?∈Ω?? :01,01x y Ω≤≤≤≤ 内点差分格式。 P75+课件 4、构造椭圆型方程边值问题的差分格式. P101 (4)题 5、构建一维热传导方程220,(0)u u Lu a a t x ??=-=>??的数值差分格式(显隐格式等)。 参考P132-135相关知识点 6、设有逼近热传导方程22(0)u u Lu a f a const t x ??≡-==>??的带权双层格式 ()()1111111122(1)2k k j j k k k k k k j j j j j j u u a u u u u u u h θθτ++++-+-+-??=-++--+?? 其中[0,1]θ∈，试求其截断误差。并证明当2 1212h a θτ=-时，截断误差的阶最 高阶为24()O h τ+。 P135+P165+课件 7、传播因子法证明抛物型方程22(0)u u Lu a f a const t x ??≡-==>??的最简显隐和六点CN 格式稳定性。 P156+课件 8、对一阶常系数双曲型方程的初边值问题 0,0,0,0,(,0)(),0,(0,)(),0, u u a t T x a t x u x x x u t t t T φψ???+=<≤<<∞>?????=≤<∞??=≤≤?
偏微分方程数值解(试题)
偏微分方程数值解试题 1、考虑一维的抛物型方程： 2200, [0,], 0t T (,), (,)(,0)() x x u u x t x u x t u u x t u u x x ππνπ?==??=∈≤≤??=== （1）导出时间离散是一阶向前Euler 格式，空间离散是二阶精度的差分格式； （2）讨论（1）中导出的格式的稳定性； （3）若时间离散为二阶精度的蛙跳格式， 11 2n n n t t u u u t t +-=?-= ?? 空间离散是二阶精度的中心差分，问所导出的格式稳定吗？为什么？ 2、考虑Poission 方程 2(,)1, (,)0, in AB and AD (,)0, in BC and CD u x y x y u n u x y -?=∈Ω ?=?= 其中Ω是图1中的梯形。 使用差分方法来离散该方程。由于梯形的对称性，可以考虑梯形的一半，如图2， 图2 从物理空间到计算区域的几何变换 图1 梯形
为了求解本问题，采用如下方法：将Ω的一半投影到正方形区域?Ω ，然后在?Ω上使用差分方法来离散该方程。在计算区域?Ω 上用N N ?个网格点，空间步长为1/(1)N ξη?=?=-。 （1）引入一个映射T 将原区域Ω（带有坐标,x y ）变换到单位正方形?Ω（带有坐标,ξη）。 同时导出在新区域上的方程和边界条件。 （2）在变换区域，使用泰勒展开导出各导数项在区域内部和边界点上的差分格式。 3、对线性对流方程0 constant >0u u a a t x ??+=??，其一阶迎风有限体积法离散格式为 1?n j u +=?n j u a t x ?-?（?n j u 1?n j u --） （1）写出0a <时的一阶迎风有限体积法的离散格式； （2）写出a 为任意符号的常数的一阶迎风有限体积法的守恒形式。 （3）使用0 u u u t x ??+=??说明一阶迎风有限体积法不是熵保持的格式。 4、对一维Poission 方程 , (0,1) (0)(1)0 x xx u xe x u u ?-=∈? ==? 将[]01，分成(1)n +等分，写出用中心差分离散上述方程的差分格式，并问： （1）该差分格式与原微分方程相容吗？为什么？ （2）该差分格式稳定吗？为什么？ （3）该差分格式是否收敛到原微分方程的解？为什么？ （4）取(1)6n +=，写出该差分格式的矩阵表示。 5、叙述二重网格方法的执行过程，并对一维常微分方程边值问题 2 25, (0,1) (0)(1)0 xx u x x x u u πππ?-=∈? ==?（sin(5)+9sin(15)） 给出限制算子和延拓算子矩阵（以细网格h ：7n =，粗网格2h ：3n =为例）。 6、对一阶波动方程 01(,0)sin(), (0,1)2(0,)(1,)u u t x u x x x u t u t π???+=???? ? =∈?? =??? （1）写出用中心差分进行空间离散，用一阶向后Euler 进行时间离散的差分格式；
偏微分方程数值解(试题)
1 / 7 偏微分方程数值解试题 1、考虑一维的抛物型方程： 2200, [0, ], 0t T (,), (,)(,0)() x x u u x t x u x t u u x t u u x x ππνπ?==??=∈≤≤??=== （1）导出时间离散是一阶向前Euler 格式，空间离散是二阶精度的差分格式； （2）讨论（1）中导出的格式的稳定性； （3）若时间离散为二阶精度的蛙跳格式， 11 2n n n t t u u u t t +-=?-=?? 空间离散是二阶精度的中心差分，问所导出的格式稳定吗？为什么？ 2、考虑Poission 方程 2(,)1, (,)0, in AB and AD (,)0, in BC and CD u x y x y u n u x y -?=∈Ω ?=?= 其中Ω是图1中的梯形。 使用差分方法来离散该方程。由于梯形的对称性，可以考虑梯形的一半，如图2， 图2 从物理空间到计算区域的几何变换 图1 梯形
2 / 7 为了求解本问题，采用如下方法：将Ω的一半投影到正方形区域?Ω ，然后在?Ω上使用差分方法来离散该方程。在计算区域?Ω 上用N N ?个网格点，空间步长为1/(1)N ξη?=?=-。 （1）引入一个映射T 将原区域Ω（带有坐标,x y ）变换到单位正方形?Ω（带有坐标,ξη）。 同时导出在新区域上的方程和边界条件。 （2）在变换区域，使用泰勒展开导出各导数项在区域内部和边界点上的差分格式。 3、对线性对流方程 0 constant >0u u a a t x ??+=??，其一阶迎风有限体积法离散格式为 1?n j u +=?n j u a t x ?-?（?n j u 1?n j u --） （1）写出0a <时的一阶迎风有限体积法的离散格式； （2）写出a 为任意符号的常数的一阶迎风有限体积法的守恒形式。 （3）使用0 u u u t x ??+=??说明一阶迎风有限体积法不是熵保持的格式。 4、对一维Poission 方程 , (0,1)(0)(1)0 x xx u xe x u u ?-=∈?==? 将[]01，分成(1)n +等分，写出用中心差分离散上述方程的差分格式，并问： （1）该差分格式与原微分方程相容吗？为什么？ （2）该差分格式稳定吗？为什么？ （3）该差分格式是否收敛到原微分方程的解？为什么？ （4）取(1)6n +=，写出该差分格式的矩阵表示。 5、叙述二重网格方法的执行过程，并对一维常微分方程边值问题 225, (0,1)(0)(1)0 xx u x x x u u πππ?-=∈?==?（sin(5)+9sin(15)） 给出限制算子和延拓算子矩阵（以细网格h ：7n =，粗网格2h ：3n =为例）。 6、对一阶波动方程 1(,0)sin(), (0,1)2(0,)(1,)u u t x u x x x u t u t π???+=?????=∈??=??? （1）写出用中心差分进行空间离散，用一阶向后Euler 进行时间离散的差分格式；
偏微分方程数值解例题答案
二、改进的Euler 方法 梯形方法的迭代公式(1.10)比Euler 方法精度高,但其计算较复杂,在应用公式(1.10)进行计算时,每迭代一次,都要重新计算函数),(y x f 的值,且还要判断何时可以终止或转下一步计算.为了控制计算量和简化计算法,通常只迭代一次就转入下一步计算.具体地说,我们先用Euler 公式求得一个初步的近似值1+n y ,称之为预测值,然后用公式(1.10)作一次迭代得1+n y ,即将1+n y 校正一次.这样建立的预测－校正方法称为改进的Euler 方法: 预测: ),,(1n n n n y x hf y y +=+ 校正 : )].,(),([2 111+++++=n n n n n n y x f y x f h y y (1.15) 这个计算公式也可以表示为 11(,), (,), 1(). 2p n n n c n n p n p c y y hf x y y y hf x y y y y ++?=+??=+?? ?=+??? 例1 取步长0.1h =，分别用Euler 方法及改进的Euler 方法求解初值问题 d (1),01, d (0) 1. y y xy x x y ?=-+≤≤???=? 解 这个初值问题的准确解为()1(21)x y x e x =--. 根据题设知 ).1(),(xy y y x f +-= (1) Euler 方法的计算式为 )],1([1.01n n n n n y x y y y +?-=+ 由1)0(0==y y , 得 ,9.0)]101(1[1.011=?+??-=y ,8019.0)]9.01.01(9.0[1.09.02=?+??-=y 这样继续计算下去，其结果列于表9.1. (2) 改进的Euler 方法的计算式为 110.1[(1)],0.1[(1)], 1(), 2p n n n n c n p n p n p c y y y x y y y y x y y y y ++?=-?+?=-?+??? ?=+??? 由1)0(0==y y ，得
偏微分方程数值解试题参考答案
偏微分方程数值解 一（10分）、设矩阵A 对称正定，定义)(),(),(2 1 )(n R x x b x Ax x J ∈-= ，证明下列两个问题等价：(1)求n R x ∈0使)(min )(0x J x J n R x ∈=;(2)求下列方程组的解：b Ax = 解: 设n R x ∈0是)(x J 的最小值点,对于任意的n R x ∈,令 ),(2 ),()()()(2 000x Ax x b Ax x J x x J λλλλ?+ -+=+=, (3分) 因此0=λ是)(λ?的极小值点,0)0('=?,即对于任意的n R x ∈,0),(0=-x b Ax ,特别取b Ax x -=0,则有0||||),(2000=-=--b Ax b Ax b Ax ,得到b Ax =0. (3分) 反之,若 n R x ∈0满足 b Ax =0,则对于任意的x , )(),(2 1 )0()1()(00x J x Ax x x J >+ ==+??,因此0x 是)(x J 的最小值点. (4分) 评分标准:)(λ?的表示式3分, 每问3分,推理逻辑性1分 二（10分）、对于两点边值问题：????? ==∈=+-=0 )(,0)() ,()(b u a u b a x f qu dx du p dx d Lu 其中]),([,0]),,([,0)(min )(]),,([0min ] ,[1b a H f q b a C q p x p x p b a C p b a x ∈≥∈>=≥∈∈ 建立与上述两点边值问题等价的变分问题的两种形式：求泛函极小的Ritz 形式和 Galerkin 形式的变分方程。 解: 设}0)()(),,(|{11 0==∈=b u a u b a H u u H 为求解函数空间,检验函数空间.取),(10b a H v ∈,乘方程两端,积分应用分部积分得到 (3分) )().(),(v f fvdx dx quv dx dv dx du p v u a b a b a ==+=??,),(10 b a H v ∈? 即变分问题的Galerkin 形式. (3分)
偏微分方程数值习题解答
李微分方程数值解习题解答 1-1 如果0)0(' =?，则称0x 是)(x J 的 驻点（或稳定点）.矩阵A 对称（不必正定），求证0x 是)(x J 的驻点的充要条件是：0x 是方程组 b Ax =的解 证明:由)(λ?的定义与内积的性线性性质,得 ),()),((2 1)()(0000x x b x x x x A x x J λλλλλ?+-++= += ),(2 ),()(2 00x Ax x b Ax x J λ λ+ -+= ),(),()(0' x Ax x b Ax λλ?+-= 必要性:由0)0(' =?,得,对于任何n R x ∈,有 0),(0 =-x b Ax , 由线性代数结论知, b Ax b Ax ==-0 0,0 充分性: 由b Ax =0 ,对于任何n R x ∈, 0|),(),()0(00' =+-==λλ?x Ax x b Ax 即0 x 是)(x J 的驻点. §1-2 补充: 证明)(x f 的不同的广义导数几乎处处相等. 证明:设)(2 I L f ∈,)(,2 2 1 I L g g ∈为)(x f 的广义导
数,由广义导数的定义可知,对于任意)()(0 I C x ∞∈?,有 ??-=b a b a dx x x f dx x x g )()()()(' 1?? ?? -=b a b a dx x x f dx x x g )()()()(' 2?? 两式相减,得到 )(0 )()(021I C x g g b a ∞ ∈?=-? ?? 由变分基本引理,2 1 g g -几乎处处为零,即2 1 ,g g 几乎处处相等. 补充:证明),(v u a 的连续性条件(1.2.21) 证明: 设' |)(|,|)(|M x q M x p ≤≤,由Schwarz 不等式 || ||.||||||||.|||||)(||),(|' ''''v u M v u M dx quv v pu v u a b a +≤+=?11* ||||.||||2v u M ≤,其中},max{' * M M M = 习题: 1 设)(' x f 为)(x f 的一阶广义导数,试用类似的方法定义)(x f 的k 阶导数,...2,1(=k ) 解:一阶广义导数的定义,主要是从经典导数经过分部积分得到的关系式来定义,因此可得到如下定义: 对于)()(2 I L x f ∈,若有)()(2 I L x g ∈,使得对于任意的)(0 I C ∞∈?,有
偏微分方程数值解试题参考答案
x ∈R n 2 ( Ax, x) , J ( x + x) = ? (1) = ? (0) + ( Ax, x) > J ( x ) ,因此 x 是 J ( x ) 的最小值点. (4 分) 2 二（10 分）、对于两点边值问题： ? dx dx a(u , v) = ?b ( p . + q u v)dx = ?b fvdx = f (v) , ? v ∈ H 1 (a , b ) dx dx a a 偏微分方程数值解 一（10 分）、设矩阵 A 对称正定，定义 J ( x ) = 1 ( Ax , x ) - (b , x ) ( x ∈ R n ) ，证明下 2 列两个问题等价：(1)求 x ∈ R n 使 J ( x ) = min J ( x ) ;(2)求下列方程组的解：Ax = b 解: 设 x ∈ R n 是 J ( x ) 的最小值点,对于任意的 x ∈ R n ,令 ?(λ) = J ( x + λx) = J ( x ) + λ( Ax - b , x) + λ2 (3 分) 因此 λ = 0 是 ?(λ) 的极小值点 , ? ' (0) = 0 ,即对于任意的 x ∈ R n , ( Ax - b , x) = 0 ,特 0 别取 x = Ax - b ,则有 ( Ax - b , Ax - b ) =|| Ax - b || 2 = 0 ,得到 Ax = b . (3 分) 0 0 反 之 , 若 x ∈ R n 满 足 Ax = b , 则 对 于 任 意 的 x , 1 0 0 0 评分标准: ?(λ) 的表示式 3 分, 每问 3 分,推理逻辑性 1 分 ? d du ?Lu = - ( p ) + qu = f x ∈ (a, b ) ?? u (a) = 0, u (b ) = 0 其中 p ∈ C 1 ([a , b ]), p ( x ) ≥ min p ( x ) = p x ∈[a,b ] min > 0, q ∈ C ([a , b ]), q ≥ 0, f ∈ H 0 ([a , b ]) 建立与上述两点边值问题等价的变分问题的两种形式：求泛函极小的 Ritz 形式和 Galerkin 形式的变分方程。 解 : 设 H 1 = {u | u ∈ H 1 (a , b ), u (a ) = u (b ) = 0} 为求解函数空间 , 检验函数空间 . 取 v ∈ H 1 (a, b ) ,乘方程两端,积分应用分部积分得到 (3 分) du dv 即变分问题的 Galerkin 形式. (3 分)
偏微分方程数值解法答案
1. 课本2p 有证明 2. 课本812,p p 有说明 3. 课本1520,p p 有说明 4. Rit2法，设n u 是u 的n 维子空间，12,...n ???是n u 的一组基底，n u 中的任一元素n u 可 表为1n n i i i u c ?==∑ ，则,11 11()(,)(,)(,)(,)22j n n n n n n i j i j j i j j J u a u u f u a c c c f ???=== -=-∑∑是12,...n c c c 的二次函数，(,)(,)i j j i a a ????=，令 () 0n j J u c ?=?，从而得到12,...n c c c 满足1 (,)(,),1,2...n i j i j i a c f j n ???===∑，通过解线性方程组，求的i c ，代入1 n n i i i u c ?==∑， 从而得到近似解n u 的过程称为Rit2法 简而言之，Rit2法：为得到偏微分方程的有穷维解，构造了一个近似解，1 n n i i i u c ?== ∑， 利用,11 11()(,)(,)(,)(,)22j n n n n n n i j i j j i j j J u a u u f u a c c c f ???===-=-∑∑确定i c ，求得近似解n u 的过程 Galerkin 法：为求得1 n n i i i u c ? == ∑形式的近似解，在系数i c 使n u 关于n V u ∈，满足(,)(,) n a u V f V =，对任 意 n V u ∈或（取 ,1j V j n ?=≤≤） 1 (,)(,),1,2...n i j i j i a c f j n ???===∑的情况下确定i c ，从而得到近似解1 n n i i i u c ?==∑的过程称 Galerkin 法为 Rit2-Galerkin 法方程： 1 (,)(,)n i j i j i a c f ???==∑ 5. 有限元法：将偏微分方程转化为变分形式，选定单元的形状，对求解域作剖分，进而构 造基函数或单元形状函数，形成有限元空间，将偏微分方程转化成了有限元方程，利用 有效的有限元方程的解法，给出偏微分方程近似解的过程称为有限元法。 6. 解：对求解区间进行网格剖分，节点01......i n a x x x x b =<<<<=得到相邻节点1,i i x x -
偏微分方程数值解试卷
一、（10分）简叙偏微分方程数值解研究的内容。建立一个偏微分方程数值格式，需要研究和讨论哪些问题？一个好的数值格式应该到达哪些要求？ 二、（10分）简叙用差分方法求解偏微分方程数值解的方法和步骤。 三、（10分）请解释收敛性、稳定性、相容逼近性三个概念。它们之间有何区别和联系？ 四．对如下两点边值问题： ?? ???==<<=+-,0)1( )0(,10 ,222u u x f u dx u d 将区间[0，1]作剖分：N N x x x x <<<<=-1100 ， （1） 在上述网格剖分下建立中心差分格式； （10分） （2） 写出局部截断误差；并问当网格剖分满足什么条件 时，上述差分格式的误差阶为2； （10分） （3） 利用极值定理证明解的存在唯一性。 （10分） 四、
（1） 中心差分格式： )()()(2))()()()((2 1111u R x f x u h x u x u h x u x u h h i i i i i i i i i i i +=+---+- -+++ （2） 局部截断误差： )(3 )(2 331h O dx u d h h u R i i i i +??????--=+ 显然当剖分为等距时，误差阶为2 （3） 用极值定理证存在唯一性： 只需证明齐次（边值与右端恒零）问题只有平凡解。实际上，设i u 是齐次问题的解，则由极值定理，i u 既不能在区间内部取正的极大，也不能取负的极小，因此0=i u 。 七．已知两点边值问题：??? ??==<<=-0 )1( )0(10 ,22u u x f dx u d （A ） （1） 写出问题（A ）的虚功原理（含证明）； （25分） （2） 写出建立线性有限元方程组h h h b U A =的主要步骤； （10 分） （3） 对于线性有限元方程组h h h b U A =，设h A 产生扰动h A ?，h b 产
偏微分方程数值解法试题与答案
x 1 ?若步长趋于零时，差分方程的截断误差 R m 0,则差分方程的解 U i m 趋近于微分方 程的解U m ?此结论 ________ (错或对)； 1 2.一 阶 Sobolev 空间 H ( ) f (x,y) f , f x , f y L ?() 关于内积(f,g )1 _____________________________________ 是Hilbert 空间； 3 ?对非线性(变系数)差分格式，常用 ____________ 系数法讨论差分格式的 ________ 稳定性； 4?写出y x 3在区间［1,2］上的两个一阶广义导数： ______________________________________ _____ ____ ______________ _ ____ ________ ; 5 ?隐式差分格式关于初值是无条件稳定的 ?此结论 ________ (错或对)。 (13分)设有椭圆型方程边值问题 0.1作正方形网格剖分 。 (1) 用五点菱形差分格式将微分方程在内点离散化； (2) 用截断误差为 O (h 2)的差分法将第三边界条件离散化; (3) 整理后的差分方程组为 U C 三.(12)给定初值问题 u x,0 x 1 取时间步长 0.1，空间步长h 0.2。试合理选用一阶偏心差分格式(最简显格式) 2 u ~2 x 2 u ~2 y 0 x 0.3 0.2 x 0.3 2y 1, — u n 2x y 0.2
并以此格式求出解函数u(x,t)在x 0.2,t 0.2处的近似值。 x
1.所选用的差分格式是： 2 .计算所求近似值： 1 a k 1 四.（12分）试讨论差分方程 u l 1 k k k 1 u | r u | 1 u | , r h a 1 h 逼近微分方程 u a u 0 t x 的截断误差阶R 。 思路一：将r 带入到原式，展开后可得格式是在点（ l+1/2,k+1/2 ）展开的。 思路二：差分格式的用到的四个点刚好是矩形区域的四个顶点，可由此构造中心点的差分格 式。 2 —2 ,考虑 Du Fort-Frankel 格式 X 试论证该格式是否总满足稳定性的 Von-Neumann 条件？ 六. （12分）（1 ）由Green 第一公式推导 Green 第二公式: （2） 对双调和方程边值问题 n 2 选择函数集合（空间）为： 推导相应的双线性泛函和线性泛函: A （u,v ） F （v ） 相应的虚功问题为： 极小位能问题为 七. （ 12分）设有常微分方程边值问题 y y f （x ） , a x b y a 1, y b 1 五.（12分） 对抛物型方程 U |k1 U |k 2 |k 1 (U |k1 U |k1) U |k 1 ) 2 (u)vdxdy G (u) u vdxdy :[v v u ]ds n f (x,y) (x,y) g 1(x , y), g 2(x, y) (x,y),
偏微分方程数值解复习题(2013硕士)
偏微分方程数值解期末复习（2012硕士） 一、考题类型 本次试卷共六道题目，题型及其所占比例分别为：填空题20%；计算题80% 二、按章节复习内容 第一章 知识点：Euler法、向前差商、向后差商、中心差商、局部截断误差、整体截断误差、相容性、收敛性、阶、稳定性、显格式、隐格式、线性多步法、第一特征多项式、第二特征多项式、稳定多项式、绝对稳定等； 要求: 熟练一元函数的数值微分公式；会辨认差分格式, 计算线性多步法的局部截断误差和阶; 第二章 知识点：矩形网格、(正则,非正则)内点、边界点、偏向前(向后,中心)差商、五点差分格式、增设虚点法、积分插值法、线性椭圆型差分格式、极值原理、比较定理、五点差分格式的相容、收敛和稳定性等； 要求: 熟练多元函数的数值微分公式；会建立椭圆型方程边值问题的差分格式；计算局部截断误差；了解极值原理讨论格式的收敛性和稳定性; 第四章 知识点：最简显格式、最简隐格式、CN格式、双层加权格式、Richardson 格式、网格比、传播因子法(分离变量法) 、传播因子、传播矩阵、谱半径、von Neumann条件、跳点格式、ADI格式等； 要求: 会建立抛物型方程边值问题的经典差分格式；计算局部截断误差; 会计算格式的传播因子或传播矩阵；会讨论格式的稳定性； 第五章 知识点：依赖区域、左偏心格式、右偏心格式、中心格式、LF格式、LW 格式、Wendroff格式、跳蛙格式、特征线、CFL条件等； 要求: 建立双曲型方程边值问题的差分格式；计算局部截断误差; 会计算格式的传播因子或传播矩阵；讨论格式的稳定性； 第七章 知识点：单元、线性元、线性基、(单元)刚度矩阵、(单元)荷载向量等；
偏微分方程数值解期末试题及参考答案
偏微分方程数值解期末试题及参考 答案 Ａ卷2005—2006学年第2学期《偏微分方程数值解》试卷参考答案与评分标准专业班级信息与计算科学开课系室考试日期命题教师王子亭题号一二三四五六七八总分得分阅卷人偏微分方程数值解试题(06A) 参考答案与评分标准信息与计算科学专业1一、设矩阵A对称正定，定义J(x)?(Ax,x)?(b,x)(x?Rn)，证明下2J(x);(2)求下列方程组的解：列两个问题等价：(1)求x0?Rn使J(x0)?minnx?RAx?b 解: 设x0?Rn 是J(x)的最小值点,对于任意的x?Rn,令?(?)?J(x0??x)?J(x0)??(Ax0?b,x)?? 22(Ax,x),(3分) 因此??0是?(?)
的极小值点,?’(0)?0,即对于任意的x?Rn,(Ax0?b,x)?0,特别取x?Ax0?b,则有(Ax0?b,Ax0?b)?||Ax0?b||2?0,得到Ax0?b. (3分)反之,若x0?Rn满足Ax0?b,则对于任意的1x,J(x0?x)??(1)??(0)?(Ax,x)?J(x0),因此x0是J(x)的最小值点. (4分) 2评分标准:?(?)的表示式3分, 每问3分,推理逻辑性1分ddu??Lu??(p)?qu?fx?(a,b)二、对于两点边值问题：? dxdx??u(a)?0,u(b)?0其中p?C1([a,b]),p(x)?minp(x)?pmin?0,q?C([a, b]),q?0,f?H0([a,b]) x?[a,b]建立与上述两点边值问题等价的变分问题的两种形式：求泛函极小的Ritz形式和Galerkin形式的变分方程。1解: 设H0?{u|u?H1(a,b),u(a)?u(b)?0}为求解函数空间,检验函数空间.取1v?H0(a,b),乘方程两端,积分应用分部积分得到(3分) bdudv1.?quv)dx??fvdx?f(v),?v?H0(a,b) aadxdx即变分问题的Galerkin形式. (3分) 11bdu 令
偏微分方程数值解课程简介
课程名称（中文）：偏微分方程数值解专题 课程名称（英文）：Some topics on numerical solutions of partial differential equations 一）课程目的和任务：有限差分方法是微分方程定解问题的最广泛的数值方法之一，其基本思想是用差商近似代替导数，用有限个未知量的差分方程组的解作为微分方程定解问题的解。本课程旨在介绍非线性抛物和椭圆型方程的有限差分方法的最新进展，并简单介绍在实际模型问题中的应用。 本课程是为计算数学专业二年级研究生开设的一门专业选修课程，也可作为其它专业研究生的选修课程。其主要目的是使学生了解不同非线性定解问题的有限差分格式的构造方法，掌握有限差分方法的基本理论和一些数值分析技巧，使他们对这一方法能够有清晰和全面的了解，并能应用于实际问题的数值模拟和数值计算。通过对本课程的学习，进一步丰富微分方程定解问题的数值方法，掌握有限差分方法的最新进展，也为学习进一步的专业知识打下坚实的基础。 主要内容：本课程以非线性抛物型和椭圆型方程的定解问题为例，介绍有限差分格式的构造方法，同时介绍相应数值分析的基本方法和技巧，也简单讨论有限差分解的一些性质。所有内容基本都是本课题的最新研究进展。具体内容如下： 第一章：非线性椭圆边值问题的有限差分方法。本章主要介绍非线性椭圆边值问题的差分解法，给出一些定性分析，包括解的存在唯一性、收敛性和误差估计，同时介绍分析非线性差分方程组的上下解方法以及求解的单调迭代算法； 第二章：非线性抛物初边值问题的有限差分方法。本章主要介绍非线性抛物边值问题的差分解法，包括一些定性分析，如解的存在唯一性、收敛性和误差估计，同时介绍分析非线性差分方程组的上下解方法以及求解的单调迭代算法； 第三章：依赖于时间数值解的渐近性。本章着重介绍非线性抛物初边值问题有限差分解的长时间渐近性，稳定性及在实际模型问题中的应用； 第四章：非线性椭圆方程组的有限差分方法。本章主要介绍非线性椭圆型方程组的有限差分解法，着重介绍分析非线性差分方程组的上下解方法以及求解的单调迭代算法。 第五章：非线性抛物方程组的有限差分方法。本章主要介绍非线性抛物型方程组的有限差分解法，介绍分析非线性差分方程组的上下解方法以及求解的单调迭代算法。除此之外，还介绍特别介绍有限差分解的长时间渐近性，稳定性及在实际模型问题中的应用。 二）预备知识：数值代数、数值逼近、微分方程数值解、泛函分析。 三）教材及参考书目： 教材：自编讲义，2012. 参考书目：1) C.V. Pao, Nonlinear Parabolic and Elliptic Equations, Plenum Press, New York, 1992. 2) A. Berman, R. Plemmons, Nonnegative Matrix in the Mathematical Science, Academic Press, New York, 1979. 四）讲授大纲（中英文） 第一章非线性椭圆边值问题的有限差分方法 1)有限差分方程 2)上下解方法 3)单调迭代算法 4)上下解的构造方法
第一章偏微分方程定解问题
引言：在研究、探索自然科学和工程技术中，经常遇到各种微分方程。 如 牛顿定律 22 d x dt m g = ------(1) 波动方程 222222222(,,,)f t x y z u u u u a t x y z ?? ? ??? +????=++????------(2) 热传导方程 2222222(,,,)f t x y z u u u u a t x y z ?? ? ??? +????=++???? ------(3) 静电场位方程 2222 222(,,)f x y z u u u a x y z ?? ?=- ??? ???++??? ------(4) 激波方程 0u u u t x ??+=?? ------(5) 等等。 其中(1)为一维常微分方程；(2)----(4)为三维偏微分方程；(5)为一维偏微分方程。 这些数学中的微分方程均来自物理问题，有着各自的物理背景，从数量关系上反映着相应的物理规律，称为数学物理方程，简称数理方程。 数学物理方程是数学与物理学的交叉分支学科。从物理上讲它是理论物理的基本工具；在数学上属于应用数学的(偏)微分方程分支。 本课程主要研究和讨论三类数理方程(2)，(3)，(4)的建立(导出)以及几种常用的典型的求解方法。 为了下面研究和讨论的方便，先引入有关微分方程的几个基本概念
(术语)。 1. 常，偏微分方程 只含一个自变量，关于该变量的未知函数，以及未知函数对该变量的导数的微分方程为常微分方程，如(1)。 含有多个自变量，关于这些变量的未知函数，以及未知函数对这些变量的偏导数的微分方程为偏微分方程，如(2)----(5)。 2. 阶 上述(1)----(5)均可改写成如下形式 220d x m g dt -= ------(1’) 22230u t a u f -???-= -------(2’) 230u t a u f -???-= ------(3’) 230a u f ?+= ------(4’) 0u u t x u +????= ------(5’) 其中 222 3222x y z ????=++???，x=x(t)，u=u(t,x,y,z)或u(x,y,z)， f=f(t,x,y,z)或f(x,y,z)。 这些方程可归纳为如下形式 12 121212,,,,,,,,,,n m n m m m n n u u u u F x x x u x x x x x x ?? ? ?? ? ?????????????????????????=0， 其中12n m m m m =++???+为导数的最高阶数，成为方程的阶。 3. 线性、非线性偏微分方程