偏微分方程答案 整理第三、四、五章
第三章椭圆形方程的有限差分法
3.2 两点边值问题的差分格式
3.2.1
92页
3.2.3
3.3 二阶椭圆型方程的差分格式
3.3.1 100页
补充题
3.4 极值定理敛速估计
3.4.1
105页
3.4.2
3.6 三角网格（有限体积法）
补充题
第五章抛物方程的差分法和有限元法
5.1 最简差分格式
5.1.2 130页
5.1.3
5.1.4
5.2 稳定行与收敛性
5.2.1 136页
5.2.2
5.3 Fourier方法
5.4.1 147页
偏微分方程数值解期末试题及标准答案
偏微分方程数值解试题(０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分)
偏微分方程数值解实验报告
偏微分方程数值解实验报告
1、用有限元方法求下列边值问题的数值解：''()112x -y +y =2s i n ,0
1、 %Ritz Galerkin方法求解方程 function u1=Ritz(x) %定义步长 h=1/100; x=0:h:1; n=1/h; a=zeros(n-1,1); b=zeros(n,1); c=zeros(n-1,1); d=zeros(n,1); %求解Ritz方法中内点系数矩阵 for i=1:1:n-1 b(i)=(1/h+h*pi*pi/12)*2; d(i)=h*pi*pi/2*sin(pi/2*(x(i)+h))/2+h*pi*pi/2*sin(pi/2*x(i+1))/2; end %右侧导数条件边界点的计算 b(n)=(1/h+h*pi*pi/12); d(n)=h*pi*pi/2*sin(pi/2*(x(i)+h))/2; for i=1:1:n-1 a(i)=-1/h+h*pi*pi/24; c(i)=-1/h+h*pi*pi/24; end %调用追赶法 u=yy(a,b,c,d) %得到数值解向量 u1=[0,u] %对分段区间做图 plot(x,u1) %得到解析解 y1=sin(pi/2*x); hold on plot(x,y1,'o') legend('数值解','解析解') function x=yy(a,b,c,d) n=length(b); q=zeros(n,1); p=zeros(n,1); q(1)=b(1); p(1)=d(1); for i=2:1:n
偏微分方程数值解法试题与答案
一．填空（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）展开的。 思路二：差分格式的用到的四个点刚好是矩形区域的四个顶点，可由此构造中心点的差分格 式。
差分法求解偏微分方程MAAB
南京理工大学 课程考核论文 课程名称：高等数值分析 论文题目：有限差分法求解偏微分方程 姓名：罗晨 学号： 成绩： 有限差分法求解偏微分方程 一、主要内容 1.有限差分法求解偏微分方程，偏微分方程如一般形式的一维抛物线型方程：具体求解的偏微分方程如下： 2.推导五种差分格式、截断误差并分析其稳定性； 3.编写MATLAB程序实现五种差分格式对偏微分方程的求解及误差分析；
4.结论及完成本次实验报告的感想。 二、推导几种差分格式的过程： 有限差分法（finite-differencemethods ）是一种数值方法通过有限个微分方程近似求导从而寻求微分方程的近似解。有限差分法的基本思想是把连续的定解区域用有限个离散点构成的网格来代替；把连续定解区域上的连续变量的函数用在网格上定义的离散变量函数来近似；把原方程和定解条件中的微商用差商来近似，积分用积分和来近似，于是原微分方程和定解条件就近似地代之以代数方程组，即有限差分方程组，解此方程组就可以得到原问题在离散点上的近似解。 推导差分方程的过程中需要用到的泰勒展开公式如下： ()2100000000()()()()()()()......()(()) 1!2!! n n n f x f x f x f x f x x x x x x x o x x n +'''=+-+-++-+-(2-1) 求解区域的网格划分步长参数如下： 11k k k k t t x x h τ ++-=?? -=?(2-2) 2.1古典显格式 2.1.1古典显格式的推导 由泰勒展开公式将(,)u x t 对时间展开得 2,(,)(,)( )()(())i i k i k k k u u x t u x t t t o t t t ?=+-+-?(2-3) 当1k t t +=时有 21,112,(,)(,)( )()(())(,)()() i k i k i k k k k k i k i k u u x t u x t t t o t t t u u x t o t ττ+++?=+-+-??=+?+?(2-4) 得到对时间的一阶偏导数 1,(,)(,)()=()i k i k i k u x t u x t u o t ττ+-?+?(2-5) 由泰勒展开公式将(,)u x t 对位置展开得 223,,21(,)(,)()()()()(())2!k i k i k i i k i i u u u x t u x t x x x x o x x x x ??=+-+-+-??(2-6) 当11i i x x x x +-==和时，代入式(2-6)得
【典型例题】 第三章 一阶微分方程的解的存在定理
第三章 一阶微分方程的解的存在定理 例3-1 求方程 22y x dx dy += 满足初始条件0)0(=y 的解的逐次逼近)(),(),(321x y x y x y ，并求出h 的最大值，其中h 的意义同解的存在唯一性定理中的h 。 解 函数2 2 ),(y x y x f +=在整个平面上有意义，则在以原点为中心的任一闭矩形区域 b y a x D ≤≤,:上均满足解的存在唯一性定理的条件，初值问题?????=+=0 )0(22y y x dx dy 的解在],[h h -上存在唯一，其中)(max ),, min(22),(y x M M b a h D y x +==∈。 因为逐次逼近函数序列为 ?-+=x x n n dx x y x f y x y 0 ))(,()(10， 此时，2 200),(,0,0y x y x f y x +===，所以 0)(0=x y ， ?=+=x x dx x y x x y 03 2 02 13 )]([)(， | 63 3)]([)(7 032 12 2x x dx x y x x y x +=+=?， ?? +++=+=x x dx x x x x dx x y x x y 0 14 1062 2 223)3969 18929()]([)( 59535 20792633151173x x x x +++=。 现在求h 的最大值。 因为 ),, min(2 2b a b a h += 对任给的正数b a ,，ab b a 22 2 ≥+，上式中，当 b a = 时， 2 2b a b +取得最大值
a ab b 21 2= 。 此时，)21,min()2, min(a a ab b a h ==，当且仅当a a 21 = ，即22==b a 时，h 取得最大值为 2 2 。 评注：本题主要考查对初值问题的解的存在唯一定理及其证明过程的基本思想（逐次逼近方法）的理解。特别地，对其中的b y a x D y x f M M b a h D y x ≤≤==∈,:),,(max ),, min(),(等常数意义的理解和对逐次逼近函数列? -+=x x n n dx x y x f y x y 0 ))(,()(10的构造过程的理 解。 例3-2 证明下列初值问题的解在指定区间上存在且唯一。 1） 2 1 0,0)0(cos 2 2≤ ≤=+='x y x y y ，。 2） 32 2 )2 1 (0,0)0(≤≤=+='x y y x y ， 。 | 证 1） 以原点为中心作闭矩形区域1,2 1 :≤≤ y x D 。 易验证2 2 cos ),(x y y x f +=在区域D 上满足解的存在唯一性定理的条件，求得 2cos m ax 22),(=+=∈x y M D y x ，则2 1 )21,21min(==h 。 因此初值问题 ?? ?=+='0 )0(cos 2 2y x y y 的解在]21,21[- 上存在唯一，从而在区间]2 1 ,0[上方程 cos 22， x y y +='满足条件0)0( =y 的解存在唯一。 2） 以原点为中心作闭矩形区域b y a x D ≤≤,:。 易验证x y y x f +=2 ),(在D 上满足解的存在唯一性定理的条件，并求得 22),(m ax b a x y M D y x +=+=∈，
偏微分方程数值解复习题(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 φψ???+=<≤<<∞>?????=≤<∞??=≤≤?
偏微分方程数值解实验报告
精品文档 偏微分方程数值解 上 机 实 验 报 告 （一）实验一 一、上机题目： 用线性元求解下列边值问题的数值解：
精品文档 ′′22?? ?? ??，0 精品文档 （二）实验二 四、上机题目： 求解 Helmholtz 方程的边值问题： u k 2u 1 ，于(0,1)*(0,1) u0，于1{ x0,0y1} U{0x1, y 1} 1{ x0,0y1} U{0x1, y1} u 0,于2{0x1, y 0} U { x1,0y1} n 其中 k=1,5,10,15,20 五、实验程序： 偏微分方程数值解试题(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分) 偏微分方程数值实验报告八 实验题目：利用有限差分法求解 u ( x) u(x) f (x), u( 1) 0, u(1) 0. 真解为 u( x) e x 2 (1 x 2 ) 实现算法：对于两点边值问题 d 2u f , x l , dx 2 (1) u(a),u(b) , 其中 l ( a, b) (a b), f 为 l [ a,b] 上的连续函数， ， 为给定常数 . 其相应的有限差分法的算法如下： 1.对求解区域做网格剖分，得到计算网格 .在这里我们对区间 l 均匀剖分 n 段，每个剖分单元 b a 的剖分步长记为 h . n 2.对微分方程中的各阶导数进行差分离散，得到差分方程 .运用的离散方法有： 方法一 :用待定系数和泰勒展开进行离散 d 2u( x i ) i 1 u( x i 1) i u( x i ) i 1 u( x i 1) d( x i )2 方法二：利用差商逼近导数 d 2u( x i ) u( x i 1 ) 2u( x i ) u( x i 1 ) d( x i )2 h 2 将(2) 带入 (1)可以得到 u(x i 1) 2u(x i ) u(x i 1 ) ) R i (u) , h 2 f ( x i 其中 R i (u) 为无穷小量，这时我们丢弃 R i (u) ，则有在 x i 处满足的计算公式： u(x i 1) 2u( x i ) u( x i 1 ) 1,..., n 1 h 2 f ( x i )， i 3.根据边界条件，进行边界处理 .由 (1)可得 u 0 , u n (2) (3) (4) 称(3)(4)为逼近 (1) 的差分方程，并称相应的数值解向量 U n 1 为差分解， u i 为 u( x i ) 的近似值 . 4.最后求解线性代数方程组，得到数值解向量U n 1 . 一阶线形微分方程解的存在唯一性定理的证明)()(x q y x p dx dy +=摘要:从分析方法入手,来证明满足初值条件下一阶线形微分方程解的存在唯一性定理的证明.引言:我们学习了能用初等解法的一阶方程的若干类型,但同时知道大量的一阶方程是不能用初等解法求出它的通解,而实际问题中所需要的往往是要求满足某种初始条件的解,因此对初值问题的研究被提到重要地位,自然要问:初值问题的解是否存在?如果存在是否唯一? 首先,我们令f(x,y)=p(x)y+q(x) 这里f(x,y)是在矩形域 R:上的连续函数.b y y a x x ≤-≤-00,函数f(x,y)称为在R 上关于y 满足利普希兹条件,如果存在常数L>0使不等式 对于所有的 都成立,L 称 2121),(),(y y L y x f y x f -≤-R y x y x ∈),(),,(21为利普希兹常数下面我们给出一阶线形微分方程(1)解的存在唯一性)()(x q y x p dx dy +=定理:如果f(x,y)=p(x)y+q(x)在R 上连续且关于y 满足利普希兹条件,则方程(1)存在唯一的解,定义于区间上,连续)(x y ?=h x x ≤-0且满足初始条件: 这里 00)(y x =?),min(M b a h =),(max y x f M =R y x ∈),(我们采用皮卡的逐步逼近法来证明这个定理,为了简单起见,只 就区间来讨论,对于的讨论完全一样.h x x x +≤≤0000x x h x ≤≤-现在简单叙述一下运用逐步逼近法证明定理的主要思想,首路习题到位。在管路敷对设备进行调整使其在正限度内来确保机组高中 偏微分方程数值解试题 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 进行时间离散的差分格式； 偏微分方程数值实验报告八 实验题目：利用有限差分法求解 . 0)1(,0)1(),()()(==-=+''-u u x f x u x u 真解为 ) 1()(22 x e x u x -=-实现算法：对于两点边值问题 , )(,)(,,d 22βα==∈=-b u a u l x f dx u (1) 其中),(b a l =f b a ),(<为],[b a l =上的连续函数，βα，为给定常数. 其相应的有限差分法的算法如下： 1.对求解区域做网格剖分，得到计算网格.在这里我们对区间l 均匀剖分n 段，每个剖分单元的剖分步长记为n a b h -= .2.对微分方程中的各阶导数进行差分离散，得到差分方程.运用的离散方法有：方法一:用待定系数和泰勒展开进行离散 )()()()(d ) (d 11112 2++--++≈i i i i i i i i x u x u x u x x u ααα方法二：利用差商逼近导数 2 112 2) ()(2)()(d )(d h x u x u x u x x u i i i i i -++-≈(2) 将(2)带入(1)可以得到 )()() ()(2)(2 11u R x f h x u x u x u i i i i i +=+-- -+, 其中)(u R i 为无穷小量，这时我们丢弃)(u R i ，则有在i x 处满足的计算公式： 1,...,1)() ()(2)(2 11-==+-- -+n i x f h x u x u x u i i i i ，(3) 3.根据边界条件，进行边界处理.由(1)可得 β α==n u u ,0(4) 称(3)(4)为逼近(1)的差分方程，并称相应的数值解向量1-n U 为差分解，i u 为)(i x u 的近似值.4.最后求解线性代数方程组，得到数值解向量1 -n U . 偏微分方程数值解 一（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 实验题目 给定初值问题（注：共两次上机时间4学时） 1 02 )0(42'≤≤?? ?=--=x y x y y 其精确解为 12)(2+-=-x e x y x 。取h=0.1, 分别用显式Euler 法、隐式梯形法、二级二阶Runge-Kutta 、三级三阶Runge-Kutta 、四级四阶Runge-Kutta 计算数值解，并与精确解比较。 2 求解方法 1、每种方法的迭代公式： （1）显式Euler 法 p[i]=p[i-1]+h*(*f)(x[i-1],p[i-1]); （2）隐式梯形法 p[i]=p[i-1]+h*(*f)(x[i-1],p[i-1]);; （3）二级二阶Runge-Kutta K1=(*f)(x[i-1],p[i-1]); K2=(*f)(x[i-1]+h/2,p[i-1]+h*K1/2); p[i]=p[i-1]+h*K2; （4）三级三阶Runge-Kutta K1=(*f)(x[i-1],p[i-1]); K2=(*f)(x[i-1]+h/2,p[i-1]+h*K1/2); K3=(*f)(x[i-1]+h/2,p[i-1]+h*K2/2); K4=(*f)(x[i-1]+h,p[i-1]+h*K3); p[i]=p[i-1]+h*(K1+2*K2+2*K3+K4)/6; （5）四级四阶Runge-Kutta K1=(*f)(x[i-1],p[i-1]); K2=(*f)(x[i-1]+h/2,p[i-1]+h*K1/2); K3=(*f)(x[i-1]+h/2,p[i-1]+h*K2/2); K4=(*f)(x[i-1]+h,p[i-1]+h*K3); p[i]=p[i-1]+h*(K1+2*K2+2*K3+K4)/6; 3 程序源代码 #include 二、改进的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 ，得 第三章 一阶微分方程解的存在定理 [教学目标] 1. 理解解的存在唯一性定理的条件、结论及证明思路，掌握逐次逼近法，熟练近似解的误差估计式。 2. 了解解的延拓定理及延拓条件。 3. 理解解对初值的连续性、可微性定理的条件和结论。 [教学重难点] 解的存在唯一性定理的证明，解对初值的连续性、可微性定理的证明。 [教学方法] 讲授，实践。 [教学时间] 12学时 [教学内容] 解的存在唯一性定理的条件、结论及证明思路，解的延拓概念及延拓条件，解对初值的连续性、可微性定理及其证明。 [考核目标] 1.理解解的存在唯一性定理的条件、结论，能用逐次逼近法解简单的问题。 2.熟练近似解的误差估计式，解对初值的连续性及可微性公式。 3.利用解的存在唯一性定理、解的延拓定理及延拓条件能证明有关方程的某些性质。 §1 解的存在性唯一性定理和逐步逼近法 微分方程来源于生产实践际，研究微分方程的目的就在于掌握它所反映的客观规律，能动解释所出现的各种现象并预测未来的可能情况。在第二章介绍了一阶微分方程初等解法的几种类型，但是，大量的一阶方程一般是不能用初等解法求出其通解。而实际问题中所需要的往往是要求满足某种初始条件的解。因此初值问题的研究就显得十分重要，从前面我们也了解到初值问题的解不一定是唯一的。他必须满足一定的条件才能保证初值问题解的存在性与唯一性，而讨论初值问题解的存在性与唯一性在常微分方程占有很重要的地位，是近代常微分方程定性理论，稳定性理论以及其他理论的基础。 例如方程 dy dx =过点(0,0)的解就是不唯一，易知0y =是方程过(0,0)的解，此外，容易验证，2 y x =或更一般地，函数 2 0 0() c<1x c y x c x ≤≤?=?-≤? 都是方程过点(0,0)而且定义在区间01x ≤≤上的解，其中c 是满足01c <<的任一数。 解的存在唯一性定理能够很好地解释上述问题，它明确地肯定了方程的解在一定条件下的存在性 和唯一性。另外，由于能得到精确解的微分方程为数不多，微分方程的近似解法具有重要的意义，而解的存在唯一性是进行近似计算的前提，如果解本身不存在，而近似求解就失去意义；如果存在不唯一，不能确定所求的是哪个解。而解的存在唯一性定理保证了所求解的存在性和唯一性。 1．存在性与唯一性定理： （1）显式一阶微分方程 ),(y x f dx dy = （3.1） 这里),(y x f 是在矩形域：00:||,||R x x a y y b -≤-≤ （3.2） 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 分)偏微分方程数值解期末试题及答案(内容参考)
偏微分方程数值及matlab实验报告.docx
一阶线性微分方程解的存在唯一性证明
偏微分方程数值解(试题)
偏微分方程数值解(试题)
偏微分方程数值及matlab实验报告
偏微分方程数值解试题参考答案
偏微分方程实验1
偏微分方程数值解例题答案
[整理]一阶微分方程解的存在定理.
偏微分方程数值解试题参考答案