偏微分方程数值解复习题

偏微分方程数值解复习题
偏微分方程数值解复习题

偏微分方程数值解期末复习(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,01

x 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 φψ???+=<≤<<∞>?????=≤<∞??=≤≤?

试建立左右偏心差分格式。 P185+课件

9、设有逼近双曲型方程

0u u a t x

??+=??的双层加权格式()()11111(1)0k k j j k k k k j j j j u u a u u u u h θθτ+++---??+-+--=??, [0,1]θ∈

试求其截断误差, 并说明当1122ar θ=

-时截断误差为最高阶22()O h τ+. P194 10、对于两点边值问题(),(,)(),()d du p qu f x a b dx dx u a u b αβ?-+=∈???==?

用等距结点线性元推导有限元方程. 参考P267+P271相关知识点+课件

偏微分方程数值解期末试题及标准答案

偏微分方程数值解试题(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 为求解函数空间,检验函数空间.取),(1b 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分)

偏微分方程数值解法试题与答案

一.填空(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) 参考答案与评分标准 信息与计算科学专业 一(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 形式

偏微分方程数值解实验报告

偏微分方程数值解实验报告

1、用有限元方法求下列边值问题的数值解:''()112x -y +y =2s i n ,0∈∈??∈(0,)?, 其中取1ν= 要求画出解曲面。迭代格式如下: 1221212111111111122142212n n n n n n j j j j j j n n n n n n j j j j j j V V V V V V h h V V V V V V h h τ++++++++++-+-??-()-()()-()??++?????? ??-+-+??=+??????

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

偏微分方程数值解复习题(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 φψ???+=<≤<<∞>?????=≤<∞??=≤≤?

偏微分方程数值解总复习

偏微分方程数值解总复习 一、考虑一维经典的初值问题: ?????=∈= (0)T ) (0, ),(0u u t u t f dt du 设函数),(u t f 在G =R T *],0[中连续,并且是关于u 满足Lipschitez 条件,即存在一个只依赖区域G ,而与变量t ,u 无关的常数L (称为Lipschitez 常数),使得对任意的(t ,u 1)和(t ,u 2)∈G ,都有2121),(),(u u L u t f u t f -≤-,这里的?表示R 中的任一种范数。给定等距分割:T t t t t n ≤<<<<= 2100,其中步长m m t t h -=+1,1,,1,0-=n m 。 在],[1+m m t t 上作:),(1m m m m u t hf u u +=+,1,,1,0-=n m 这一方法称为Euler 方法。 如果记)(m t u 为微分方程在m t t =处的精确解,m u 为差分方程在m t t =处的精确解。 1、在],[h t t +上,定义算子: ))(,()()(]);([t u t hf t u h t u h t u L --+= 当2),(]);([≥=p h O h t u L p 时,称数值方法是相容的。 2、当0→h 时,若)(m m t u u →,],0[T t m ∈,则称该数值方法是收敛的。 3、如果由初值0u 得到精确解m u ;由初值0v 得到精确解m v ,若存在常数C 和充分小的步长0h ,使得00v u C v u m m -≤-,0h h ≤,T mh ≤。则称数值方法是稳定的。 证明:Euler 方法是相容的、收敛的、和稳定的。 证明 1、 将)(h t u +在t 处做Taylor 展开,得 2)(2 1 ))](,()([]);([h u h t u t f t u h t u L ξ''+-'= 2) (21))](,()([h t u u f t f h t u t f t u t ξ =????+??+-'= )()))(((2122)(h O h t t,u f u f t f t t u =??+??= =ξ 是微分方程的解 所以该数值方法是相容的。 2、设m m m v u e -=,),(111---+=m m m m u t hf u u ,),(111---+=m m m m v t hf v v , 则 ),(),(11111------+≤m m m m m m v t f u t f h e e 111)1(---+=+≤m m m e hL e hL e 0)1(e hL m +≤≤

偏微分方程数值解试题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分)、对于初边值问题??? ????≤≤==<<=≤<<

偏微分方程数值解(试题)

偏微分方程数值解试题 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 差分方法的基本概念 1.1 几类偏微分方程的定解问题 椭圆型方程:其最典型、最简单的形式是泊松(Poisson )方程 ),(22 2 2y x f y u x u u =??+??=? 特别地,当0),(≡y x f 时,即为拉普拉斯(Laplace )方程,又 称 为调和方程 22 22=??+??=?y u x u u Poisson 方程的第一边值问题为 ?? ???Ω ?=Γ=Ω∈=??+??Γ∈),(),(),() ,(),(22 22y x y x u y x y x f y u x u y x ?

其中 Ω为以Γ为边界的有界区域,Γ为分段光滑曲线,ΓΩY 称为定解区域,),(y x f ,),(y x ?分别为Ω,Γ上的已知连 续函数。 第二类和第三类边界条件可统一表示为 ),(),(y x u u y x ?α=??? ? ??+??Γ∈n 其中n 为边界Γ的外法线方向。当0=α时为第二类边界条件, 0≠α时为第三类边界条件。 抛物型方程:其最简单的形式为一维热传导方程 2 20(0)u u a a t x ??-=>?? 方程可以有两种不同类型的定解问题: 初值问题 ?? ???+∞ <<∞-=+∞<<-∞>=??-??x x x u x t x u a t u )()0,(,00 22? 初边值问题

2 212 00,0(,0)()0(0,)(),(,)()0u u a t T x l t x u x x x l u t g t u l t g t t T ????-=<<<

偏微分方程数值解(试题)

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 进行时间离散的差分格式;

偏微分方程数值解试题参考答案

偏微分方程数值解 一(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分)

偏微分方程数值解例题答案

二、改进的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 ,得

偏微分方程数值解试题参考答案

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-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 ==-00,0 充分性: 由b Ax =0,对于任何n R x ∈, 0|),(),()0(00'=+-==λλ?x Ax x b Ax

即0x 是)(x J 的驻点. §1-2 补充: 证明)(x f 的不同的广义导数几乎处处相等. 证明:设)(2I L f ∈,)(,221I L g g ∈为)(x f 的广义导数,由广义导数的定义可知,对于任意 )()(0I 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 ∞ ∈?=-??? 由变分基本引理,21g g -几乎处处为零,即21,g g 几乎处处相等. 补充:证明),(v u a 的连续性条件(1.2.21) 证明: 设'|)(|,|)(|M x q M x p ≤≤,由Schwarz 不等式

偏微分方程的数值解法

《偏微分方程数值解法》试题 (专业:凝聚态物理学号:2013201260 姓名:鄢建军) 1.考虑定解问题 (1)用迎风格式(P、45)求解 1,0 (,0) 0,0 t x u u x u x x += ? ? ≤ ? ? =? ?> ? ? 。 利用迎风格式编写Fortran程序语言,运行结果如下: Fig 1、迎风格式求解结果 (2)用Beam-Warming格式(P、51)求解。 利用Beam—Warming格式编写Fortran程序语言,运行结果如下 :

Fig 2、 Beam —Warming 格式求解结果 (3) 比较两种方法结果的异同。 将两种格式运行的结果绘制在一起,要求时间步长与空间步长在两种格式中都相同,运行结果如下图所示: Fig 3、 迎风格式与Beam-Warming 格式求解结果比较 从两种格式的运行结果来瞧,都存在边缘的误差现象,相比而言,Beam-Warming 格式的运行结果差一些。但就是理论上分析,迎风格式的截断误差为()h οτ+,而Beam-Warming 格式的截断误差为22()h h οττ++。稳定性上来分析,迎风格式的稳定性较好,要求1(/)a h λλτ≤=,Beam-Warming 格式的稳定性条件为2(/)a h λλτ≤=。 2. 考虑定解问题212 1110,04(,0)sin ,0(0,)(,)0u u a x l t t u x x x l l u t u l t π???-=<

偏微分方程数值解法答案

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),

相关文档
最新文档