阶常微分方程边值问题

合集下载

边值问题的数值解法

边值问题的数值解法
估计式
M b a 2 y xk y k h ,k 1, 2, ,n 1。 96
2
y 4 x 。因此,当 h 0 时,差分方程的解收敛到微分方 其中 M max a x b
y f x,y,y, y x,y sk,
这里的 s k 为
(8.6.3)
y
在 处的斜率。令 z y ,上述二阶方程可降为一阶方程组
y z, z f x,y,z ,
(8.6.4)
y a ,z a sk。
计算结果表明打靶法的效果是很好的,计算精度取决于所选取的初值问题数
值方法的阶和所选取的步长 h 的大小。不过,打靶法过分依赖于经验,选取试射 值,有一定的局限性。
第八章常微分方程数值解法
8.6.2 差分方法
差分方法是解边值问题的一种基本方法,它利用差商代替导数,将微分方程 离散化为线性或非线性方程组(即差分方程)来求解。 先考虑线性边值问题(8.6.2)的差分法。将区间 a,b 分成 n 等分,子区间的
s2
,同理得到 yb,s2 ,再判断它是否满足精度要求
y b,s2 。如此重复,直到某个 s 满足 y b,sk ,此时得到 k
的 y xi 和 yi z xi 就是边值问题的解函数值和它的一阶导数值。上述方程 好比打靶, s k 作为斜率为子弹的发射,y b 为靶心,故称为打靶法。
y xy 4 y 12 x 2 3x, 0 x 1, y 0 0,y 1 2,
其解的解析表达式为 y
x x 4 x 。来自解 先将该线性边值问题转化为两个初值问题
xy1 4 y1 12 x 2 3 x, y1 1 0, y1 0 0,y1 xy2 4 y2 0, y2 1 1。 y2 0 0,y2

一族高阶常微分方程边值问题解的存在性

一族高阶常微分方程边值问题解的存在性

的 日 (), i n使 得 ( ) u (  ̄2 ) 7能表 示 成
IV )[() () V ) ( 卜 r[ 】 ( ( )

a () () l v+

() v +… +B () :( ) v.
( 8
这 方 面的 内容可 参见 文献【】 2.
引理 1 如 果 齐次边 值 问题 ( ) 在一个 非 平凡解 , 么共 轭齐 次边值 问题 () 存在 一个 非平 凡解 . . 3存 那 6也 证明: 这个 结论 容 易从 文献 [,hpe ] 出 . 2 C atr3中导 下 面我们 引人广 义格 林 函数来 导 出一般 边值 问题 () 的存 在 性定理 . 4解 定理 2 齐次边 值 问题 ( ) 在一解 .非 4存

族 高阶常微 分方程边值 问题解 的存在 性
岑 仲 迪
( 江 万 里 学 院 ,宁 波 浙 350 ) 1 10
摘 要 :文章利用格林函数 导 一 族高阶常 微分 方程边值问题解的存在性定理. 特别是利 用广 义格 林函数证 明了高 阶齐次方程存 在非平凡解 的情况下对应的高阶非齐次边 值问题存在一解的充耍条件.
Lu= 厂 ,< < , ,“ = u = 【】一 ( a x b B ( ) …B ( ) 0 ) () 4
有关 这方 面 的研究 工作 已经做 了许 多 , 可参 见 文献 i,】 里我们 给 出一个 利 用格 林 函数来 表 示解 的存 12, 这 在惟 一性 的定Байду номын сангаас , 见 文献【 , h pe 1 参 1C a t 3. r
() 1
其 中 ( ( O , ,) 区间【,】 的连 续 函数 , )i , … n 是 = n6上 并且 在 区间【,】 () , 厂 ) 区间【,】 n6上 ≠D 而 ( 在 n6上是 分片 连续 函数 . 分方 程 () 微 1的解 u 满 足如 下 n个边 值条 件 : ()

两点边值问题方程

两点边值问题方程

两点边值问题方程两点边值问题是一种求解微分方程的方法,它涉及到两个边界条件。

假设我们有一个一阶常微分方程dy/dx = f(x,y),我们需要找到满足两个边界条件y(a) = alpha 和y(b) = beta 的解。

两点边值问题的解法通常包括以下步骤:1. 定义一个初始猜测值y0(x)。

2. 使用数值方法(如欧拉法、龙格-库塔法等)求解微分方程,得到新的解y1(x)。

3. 检查新的解是否满足边界条件。

如果满足,则找到了解;否则,返回步骤2,使用新的解作为初始猜测值继续求解。

下面是一个使用Python实现两点边值问题的示例代码:```pythonimport numpy as npfrom scipy.integrate import odeint# 定义微分方程dy/dx = f(x,y)def f(x, y):return x * y - 1# 定义两个边界条件y(a) = alpha 和y(b) = betaa, b, alpha, beta = 0, 1, 1, 0# 定义初始猜测值y0(x)y0 = np.array([0.5, 0.5])# 使用数值方法求解微分方程def solve_two_point_boundary_value_problem(f, a, b, alpha, beta, y0, tol=1e-6, max_iter=100): for i in range(max_iter):y = odeint(f, y0, [a, b])if np.allclose(y[:1], alpha) and np.allclose(y[-1], beta):return y[1:-1]y0 = y[1:-1]raise ValueError("Solution not found within the specified tolerance and maximum iterations.")# 求解两点边值问题solution = solve_two_point_boundary_value_problem(f, a, b, alpha, beta, y0)print("Solution:", solution)```在这个示例中,我们使用`odeint`函数求解微分方程,并使用`np.allclose`检查新的解是否满足边界条件。

二阶常微分方程边值问题求解的常数变易法

二阶常微分方程边值问题求解的常数变易法

二阶常微分方程边值问题求解的常数变易法数学物理方程与特殊函数复习资料二阶常微分方程边值问题求解的常数变易法20XX年-8-31数理方程所解决的问题与高等数学(微积分)教科书中的常微分方程有很大区别,其中最显著的特点是多数微分方程的条件是边值问题,即知道未知函数在自变量变化区域的边界上的取值。

这就是所谓的边值问题。

最简单的是二阶常微分方程的两点边值问题。

二阶常微分方程的解是一个一元函数,关于这个一元函数的信息,知道的不多,除了微分方程本身提供的之外,还有未知函数在一个区间的两个端点处的值。

微积分所教给我们的技巧是先求出常微分方程的通解,再根据两个条件确定通解中的两个任意常数。

进入这门课之初,先回顾初值问题,再思考边值问题。

在边值问题中,数理方程课程内容中出现了一个历史上非常著名的函数,即格林函数。

对力的分析中普遍使用一个方程:F=ma。

这是著名的牛顿第二定律,其中,F表示力,m表示物体的质量,而a表示物体运动的加速度。

由于加速度的物理意义可解释为物体运动时位移变量对时间的二阶导数,再结合使用虎克定律,就得出简单的振动所满足的二阶常微分方程y 2y 0如果考虑外力作用,该方程化为更一般的情况y 2y f(x)y(0) ,y(0)两个初始条件可解释为已经知道初始位移和初始速度。

求解上面方程需要用常数变易法。

先回顾一阶常微分方程求解的方法,然后再讨论二阶常微分方程的常数变易法。

一、一阶常微分方程初值问题的常数变易法一阶常微分方程常数变易法,用于解源函数不为零的常微分方程问题y (x) ry(x) f(x),x 0y(0)先求解简化的(源函数为零)的方程:y (x) ry(x) 0由分离变量:dydyrdx ry,ydx积分:lny rx c,y(x) Cexp( rx)应用常数变易法,假设简化前的方程的解具有与简化后方程的解有相同形式,将常数替换为待定的函数,即y(x) u(x)exp( rx)求导数,得y (x) u (x)exp( rx) ru(x)exp( rx)u (x)exp( rx) ry(x)数学物理方程与特殊函数复习资料将其代入化简前的方程,得等式u (x)exp( rx) f(x),u (x) exp(rx)f(x)积分,得u(x)xexp(r )f( )d C代入表达式y(x) u(x)exp( rx),得y(x) [ exp(r )f( )d C]exp( rx)x应用初始条件,得解函数y(x) exp( rx) exp[ r(x )]f( )dx从两部分解读解函数的意义。

一类非线性四阶常微分方程边值问题正解的存在性

一类非线性四阶常微分方程边值问题正解的存在性


要:
用 一 种 较 简 单 的 方 法 建 立 了 非 线 性 四 阶 常 微 分 方 程 边 值 问 题

部 条件.
正的 对线项 只求满一局 解祧巨 非性 厂要其足个
文献标 识码 : A
关键 词 : 边值 问题 ; 解 ; c a d r 动点 定理 正 S hu e 不
可知 l [ ,]上 的 非 负 上 凸 函数.下面 我 们 ‘ )是 O 1 (
分 两种情 况证 明 :
( i t E ,3 则 )若 ∈ o c ,
()一 ( - t f 6- o+ )≥ ( )+ t () 0 f
定理 , 打靶 法 ,以及 上下 解方 法 . 本文试 图用 一 种 较 简 单 的 方 法 建 立 问 题 ( ) 1 正解 的存在 性结 果 ,对 非 线 性 项 ,只要 求 其 满 足 个局 部条 件 即可 , 文 的工作 受 到文 献[ 3 本 7 的启
这 里
一 ma IG(,) srdd , xI £sG(,)rs
O ≤l Jo ≤t Jo



惫一 A ma IG(,) s x £s d 则 A~ , 为大 于 0的常 数. 七均
() 5
证 明 容 易 验 证 ( )定 义 的 l t 为 问 题 3 ‘ )确 ( ( )的解 , 由 G(,)≥ 0可得 ()≥ 0 t [ , 2 且 t , ∈ O
1. ] 下证对 Vt ( ,) t > 0 ∈ O1,( ) . 由 ( 在[ ,] £ ) O 1 上不恒 为 。可得 。 不是 问题 ( ) 2
① 收藕 日期 :O O 1 2 2 1 一0 — 8
2 主 要 结 果 及 证 明

一阶常微分方程无穷点边值问题的上下解方法

一阶常微分方程无穷点边值问题的上下解方法

方程边值 问题 在常微 分 方程理 论 中有 十 分重 要 的地 位, 因此对常微分方程在无 穷点边值 条件 下解 的存在
t<…<t 2 <…<T口<0 及一1 , ^ 以 <∑ 的
I 1 =
性 问题进行深入地研究是 非常必要 的. 文献 [] Ma 8中
R y n建立 了一阶常微分方程 m+ 1 uu 点边值 问题
YAN Don - i g m ng
( ol e f Mahm t s n n om t nS i c , r wet r lU ies y,a z o 3 0 0 C ia C l g te a i d If r i ce e Not sNom nv ri L nh u7 0 7 ,hn ) e o ca a o n h a t
( 1 )
记 A ) 定义 在 -上 的绝 对 连 续 函数 构 成 的集 C( 为 ,
广
合. L ( ) 设 - 为定义在 . 厂 , 上满足I ( . d <+。 I £ 4 t z ) P 。
收 稿 日期 :0 71_6 2 0 —l2 基 金 项 目 : 北 师 范大 学 科 教 创 新 工 程 ( 西 NW NU—J X - 1 ) K C GC 22
近 2 年来 , 常微 分方 程 非局 部 问 题解 的存 在 O 对
性 问题 的研 究 , 已经 取 得 了重 大 的进 展 . 常微 分
引进 上下 解 的概 念 并 发 展 上 下 解 方 法 . 中 J 一 其
[ , ] C R, ,^忌= 12 … ) 0 T ,。∈ t a ( ^ ,, 为满 足 0< t < l
给定 常数 , JX -R为 C rt 6d r ,: R- - * aah o oy函数.

一类4阶常微分方程系统边值问题正解的存在性

一类4阶常微分方程系统边值问题正解的存在性

考虑 4阶常微分 方程 系统边值 问题

¨ ()= tu t ,() U() ( ) ,∈( , ) t ( , () t ,”t ,”t ) t 0 1 ,
() 1
‘ ( ) / ( , () , , () ,∈( 1 £ = f“ f ,( ) u () ) £ 0,) ’ u0 “ 1 ( )= ( )=“( )= ( )= , 0 1 0
词: 边值 问题 ;系统 ;正解 ; c ad r S hu e 不动 点定理
对非线性 项只要 求其 满足局部 条件 .
中图分类 号 : 15 O 7
献标识码 : A
文章编 号 :6 4—8 2 ( 0 0 0 0 1 0 17 4 5 2 1 )2- 14— 4
Exse c fPo iie S l to o Cl s f it n e o st o u in f r A a so v
tr o l e d o s tsy a lc lc n i o . e m n y n e s t aif o a o dt n i Ke r s:b un a y v l r b e ;s se y wo d o d r aue p o lm y t ms;p st e s lto o ii ou i n;S h u e x d p itt e r m v c a d rf e on h o e i
Fo t - o de y t m sBo n r l e Pr b e s urh — r r S se u da y Va u o lm
W ANG Jn —Xin i - a g
( o eeo te a c n n r ai cec , ot et om l nvrt, azo 30 0 C i C lg f hm t s dIf m t nSi e N r w s N r a U ie i L nhu7 0 7 , hn l Ma i a o o n h sy a)

带非齐次边界条件的二阶常微分方程边值问题正解的存在性

带非齐次边界条件的二阶常微分方程边值问题正解的存在性

V0. 125 No. 4
0e .2 1 t 02
文章 编号 :0 4 82 (0 2 0 - 2 10 10 - 8 0 2 1 )4 0 5 - 5 -
带 非 齐 次 边 界 条 件 的 二 阶 常 微 分 方 程 边值 问题 正解 的存 在 性
谢 春 杰
( 西北师范大学数 学与统计 学院 , 甘肃 兰州 7 07 ) 3 00
( ¨ d =1 y s c ) c A I ㈩州 +
由 ( )知 p +6 H1 := c+伽 >0 则 ,
dy ) M +・ J( Ds + ]
解 的 A。 B值 如下 :
算 子. 引理 11 设 P为 B nc 间 X中 的体 锥 , [ aah空 0
摘要 : 运用 一凸算子理论研究了带非齐次边界条件的二阶常微分方程边值 问题 fP t () +h tI )=0 t∈ ( , ) ( () t ) ()( 厂 , 01, Lu O a ( )一6 ( ) ( ) = [ p O 0 ]十A, C( )- ( ) ( ) =卢 M U 1 I 1 1 - [ ]+
( (), t ) P t 1( ) +Y t 2 ( )=0 t∈ ( , ) ( ) , 0 1 , 5
1 预 备 知 识
本文 总假定 :
( ) ∈ C [ ,] ( H1 P ( 0 1 ,0,+∞ ) , ∈ C(0, ) h [
1 ,0 +∞) , ][ , ) 并且 () 0 1 £ 在[ ,]的任意子区间
的文献 研 究 了非 齐 次 边 值 问 题
,特 别 地 ,文
[ , ]分别 考 虑 了方 程 ( )在 非齐 次边 界条件 8 9 1
M0 ()=0M1 ∑bt 和 u()=0 ,()= it l )+ ( 0 ,
  1. 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
  2. 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
  3. 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
阶常微分方程边值问题
课程名称:数值代数课程设计
指导教师:刘兰冬
班级:
姓名:
学号:
实验项目名称:
二阶常微分方程边值问题
实验目的及要求:
二阶常微分方程边值问题

(该问题真解为: )步长h自己选定,利用差分法求出近似解,利用MATLAB函数画出比较图形。
实验原理:
一、微分方程:
微分方程是现代数学中一个很重要的分支,从早期的微积分时代起,这个学科就成为了理论研究和实践应用的一个重要领域。在微分方程理论中,定解条件通常有两种提法:一种是给出了积分曲线在初始时刻的性态,相应的定解条件称为初值问题;另一种是给出了积分曲线首末两端的性态,这类条件则称为边界条件,相应的定解问题称为边值问题。
(2.26a)
或者
其中, .
可得一阶导数 的差分近似表达式为
由此可知,差商逼近微商 的精度为二阶,即为 。
类似地,我们还可以给出二阶微商 和高阶微商的差分近似表达式。例如将和两式相加可得
进而有
其中 .
因此,二阶导数 的差分近似表达式[8]为
实验内容(方法和步骤):
差分法代码如下
clc;
clear all
实验结果与分析:
差分法结果如下:
从图上我们可以看到,可以得到函数图像确实十分接近理论上的解答,差分二阶导数比起差分一阶导数来说,更加接近原函数。差分二阶导数在后面几乎能跟原函数重合,是非常好的求边值问题的方法。
我们在整个实验中,感觉最困难的就是对于差分法的理解以及程序的编写上面。我们查询了各种有关于常微分方程边值问题、有限差分法、二阶常微分方程的资料以及论文,差分法实际上就是用离散的、只含有有限个未知量的差分方程去近似代替连续变量的微分方程和定解条件。有一点要注意,我们这个算法只适合用于等间隔差分。
做了这道题之后,感觉我们对于常微分边值问题有了更进一步的理解,尤其是各种思维之间的转换尤其重要,在今后的数学学习中,希望我们能够灵活的运用。
定解问题往往不具有解析解,或者其解析解不易计算。所以要采用可行的数值解法。有限差分方法就是一种数值解法,它的基本思想是先把问题的定义域进行网格剖分,然后在网格点上,按适当的数值微分公式把定解问题中的微商换成差商,从而把原问题离散化为差分格式,进而求出数值解。此外,还要研究差分格式的解的存在性和唯一性、解的求法、解法的数值稳定性、差分格式的解与原定解问题的真解的误差估计、差分格式的解当网格大小趋于零时是否趋于真解(即收敛性),等等。
许多物理现象随着时间而发生变化、如热传导过程、气体扩散过程和波的传播过程都与时间有关。描述这些过程的偏微分方程具有这样的性质;若初始时刻t=t0的解已给定,则t>t0时刻的解完全取决于初始条件和某些边界条件。利用差分法解这类问题,就是从初始值出发,通过差分格式沿时间增加的方向,逐步求出微分方程的近似解。
常微分方程边值问题在应用科学与工程技术中有着非常重要的应用,例如工程学、力学、天文学、经济学以及生物学等领域中的许多实际问题通常会归结为常微分方程边值问题的求解。虽然求解常微分方程边值问题有很多解析方法可以求解,但这些方法只能用来求解一些特殊类型的方程,对从实际问题中提炼出来的微分方程往往不再适用,因而对常微分方程边值问题的数值方法的研究显得尤为重要。经典的数值方法主要有:试射法(打靶法)和有限差(ⅰ) ;
(ⅱ) 在 内有界,即存在常数 ,使得
, ,
则边值问题-的解存在且唯一。
我们假设函数 可以简单地表示成

即边值问题-为具有如下形式的二阶线性边值问题
三、有限差分法:
有限差分方法是用于微分方程定解问题求解的最广泛的数值方法,其基本思想是用离散的、只含有有限个未知量的差分方程去近似代替连续变量的微分方程和定解条件,并把相应的差分方程的解作为微分方程定解问题的近似解。
h=;
%x属于【a,b】
a=-1;b=1;
x=a:h:b;
n=length(x);
%定义y
syms y;
y=(((x+2).*(x+2)).^(-1));
hold on
grid on
yx=zeros(1,n);
yxx=zeros(1,n);
for i=2:n-1
yx(i-1)=(y(i+1)-y(i-1))/(2*h);
有限差分逼近的相关概念
设函数 光滑,且 ,利用Taylor展开,可得
由可以得到一阶导数的表达式
(2.21a)
或者
同理由式可得
(2.22a)
或者
其中 表示截断误差项.因此,可得一阶导数的 的差分近似表达式为
由和可知,差商和逼近微商 的精度为一阶,即为 ,为了得到更精确的差分表达式,将减可得
从而可以的到
有限差分方法具有简单、灵活以及通用性强等特点,容易在计算机上实现。
二、二阶常微分方程
二阶常微分方程一般可表示成如下的形式:

边值条件有如下三类[9]:
第一类边值条件

第二类边值条件

第三类边值条件[19]

其中 , , , 。
在对边值问题用数值方法求解之前,应该从理论上分析该边值问题的解是否存在,若问题的解不存在,用数值方法计算出来的数据没有任何意义。下面的定理给出了边值问题存在唯一解的充分条件。
legend('原函数','差分一阶导数','差分二阶导数')
xlabel('$$x$$','Interpreter','latex','color','r','fontsize',28);
ylabel('$$y$$','Interpreter','latex','color','r','fontsize',28);
微分方程的定解问题就是在满足某些定解条件下求微分方程的解。在空间区域的边界上要满足的定解条件称为边值条件。如果问题与时间有关,在初始时刻所要满足的定解条件,称为初值条件。不含时间而只带边值条件的定解问题,称为边值问题。与时间有关而只带初值条件的定解问题,称为初值问题。同时带有两种定解条件的问题,称为初值边值混合问题。
yxx(i-1)=(y(i+1)+y(i-1)-2*y(i))/h^2;
end
plot(x,y,'r','linewidth',2)
plot(x(2:n-1),yx(1:n-2),'g','linewidth',2);
plot(x(2:n-1),yxx(1:n-2),'b','linewidth',2);
相关文档
最新文档