一类差分方程解的全局性分析
一类高阶有理差分方程的全局渐近稳定性
G o a ay tt ait f as f ihodrrt n l i eec u t n lb l smpoi s blyo c s o g -re ai a df rne q ai ct i al h o f e o
HUo i e g,M I Ha- n f AO - n ,ZHANG a g Li mi g Lin
— —
其他相关结果见文献[ ~5 . 3 ]
1 相关定义及 引理
定 义 l 式 ( ) 任一 正 解 { ) 为关 于 三 2的 o称 ; o 最 终平 凡 的 , 如果 { ) 最终 等 于 ;; 否则被 称 为非
平凡 的.
x _-k , ,
—
qa -
() 1
Z l… ,O 0∞ )a 0∞)S i{一m,-k. s , X ∈(, ,E[ , , +  ̄m n1 l }
关键词 :有理差分方程 ;解 的符号 ; 局渐近稳定性 全
中图 分 类 号 : 7 01 5 文 献 标 识 码 :A
的局 近 定 , :kZ五 全 渐 稳性 中 , + , 武 mE ,
令
A 一 { ) - o l — o ’ i 1 2… , 一 , , m
显然 , 每一 个 A 是 式 () 2 的解序 列 { ) o 一 的模 m : o 同余 类 , : 故
{ ) l . { , , , ) o 一 一 AlA2… A : o
基金项 目: 甘肃省 自然科学 基金 ( Z 0 2B 5 1 ) 甘肃 省教 3S4-2- 3 , 0 育厅基金(4 6 -8 O 1B O )
z ", r — , -z l-
令 一 则由 1得 而 , 式()
Xn 一
一类高阶有理型差分方程的全局渐近稳定性
qai s wt O e rb ms n ojc rs C ama n a1C C, 0 2 ] utn, i pnPol dCnet e , hp nadH l R 20 . 中的公 o h e a u / 开 问题 75 2 并证 明 了这 类 方程无 周期 解 ; .. , 然后推 广 这个 结果 到更一般 的情形.
Ke rs ai a df r c q a o ; oa ay po c s it; eidc ; p n y wod :rt nl ie n e e u t n g b l sm tt t ly p r i t oe o e i l i a i b o i y
p be o r lm
0 引言
有 理型差 分方程 是一类 典 型 的非 线性 差分方 程 , 定性分析 一直 是近年来 研 究 的热 点 , 其 因为许
多高于一阶的非线性差分方程定性结果的原型来 源于有 理 型差分 方程 的结果 . 于这 方面 的研究 , 关 可参见专著[ — ] 论文[ 1 ] 1 2、 3— O 及其引用的参
考 文献 , 其 是 M.R .K lnv 尤 .S ueoi c和 G aa .Lds
收稿 日期 :0 7— 3—0 20 0 1 作者简 介: 吕定洋 (9 8一) 男 , 16 , 湖南邵 阳人 , 湖南第一师范学院高级讲师 , 湖南师范大学硕士研究生. 主要研究方 向: 方程稳定性理论 .
Ch n s a, n n 41 81, i a; De at n fMa h mais a d Ph sc , a g h Hu a 00 Ch n 2. p rme to t e tc n y i s
T eFr o a C l g , h n sa H n n4 1 0 , hn ) h i t r l o ee C agh , u a 2 0 1 C ia sNm l
一类高阶有理差分方程的全局渐进稳定性
㈩
其 中 F — f( … 1 一2 … , nr , — g( , 一 2… , 一 , — h x 一1 一2・ ,nP , x , , , X -k G ) x一 1 , ) H ( p, ,・ X -1 )
∈ C( O,。) ( 。 ) g ∈ C( O,。), O, 。 ) h∈ C( O 。 ) , O 。 ) , Z i∈ { , 3 … } 0≤ r ≤ ( 。 , O,。) , ( 。 ( 。 ) , ( , 。 ( , 。 ) k, , 1 2, , , ,
.
一
吉 一
#等 一 + + + 6 + 6 n 6 1 + 易 n +
n + n + 6 + c + c +
若 n≥ 1 6< 1 c 1 则有 n— n 6一 , ,< , , , . ( )可得 ≥ 1 故 c一 由 2 ,
收 稿 日期 : 0 7 0 — 3 2 0— 72
V0_ No 1 l7 .
M a . 20 r 08
20 0 8年 3月
一
类高阶有理差分方程 的全局渐进稳定性
牛 文 英 王 小梅 闰卫 平
( 山西 大 学 数 学 科 学 学 院 , 山西 太 原 0 0 0 ) 3 0 6
[ 要 ] 对 一 类 高 阶 有 理 差 分 方 程 的 唯 一 正 解 及 其 全 局 渐 进 稳 定 的 充 分 条 件 进 行 了研 究 , 摘 并
盘 c + 盘 + b - b I l -c a . C - + 1 b 2 l -a I C l -b
1
。b
1
。C
同 ,a, 足余 种 形 , 得 }昙十 理当, 满 其 四情 时也 = 6 c 可 去 _
一类二阶时滞差分方程的全局渐近稳定性
! ( 口存 , 而 i 一) 在 进 存 。 m 在
设 z ,则 , :
l , +
.
() 程 (.) 4方 12 的平 衡 点 是全 局渐 近 稳定 的 ,如果 它 是局部 稳 定 的 ,并且 是一 个全 局 吸引 子 。
从而, :口, 这表 明 :口是 方 程
2 2 d (,) --
O
X 】
一
d 一2 X
’’
(.) 12
(_) 1 1的全 局吸 引子 。 利 用 定理 2 1可知 ,方 程 (.) . 1 1的所 有正解 是 全局渐 近稳 定
的。
的关 于 的线 性化 方程 为
X+ n1=px +q . n=0 12 . . x , ,, ,. .
计算机光盘软件与应用
工 程 技 术
C m u e D S f w r n p l c to s o p t rC o t a e a dA p i a i n
2 1 年第 2 01 3期
一
类二阶时滞差分方程的全局渐近稳定性
胡 林 霞
( 天水师范学 院数 学与统计 学院,甘肃天水
l ∈』,有 m , i
—
ln a 存在 。 X— l 由 (.) 2 1 可知 ,若 >a,则 x >a;若 =a 则 =a; n , 若 l <a, 则 x <a ; n=23 .从 而 一口 不 变 号 , 于 是 n … .
x-
() 程 (. ) 3方 12 的平 衡 点 是 全 局 吸 引 子 , 如 果 对 每 一 个
其 特征 方程 为
一
参 考 文献 :
(. ) 1 3
p2一q=0.
一类高阶时滞差分方程的有界持久性与全局渐近稳定性
() 2
初值 一 一 + 一, l 为 任 意正 数 . , — , 0
方 程 ( )k= 1 的特 殊情 况 已被 文 献广 泛地 研究 过 . 例 如 , [ , ] 到 了当 A , l 1 时 文 12 得 0A ∈ ( , , 0p ∈ ( ,) , 程 ( ) 0 ∞) p , l 0 1 时 方 1 的正 平衡 点 是其 一切 正解 的 全局 吸 引子 ; [ ] 文 2 还证 明 了 p 0
文献标识码 : A
中 图分 类 号 : O157 7 .
引
言
考虑 下 列 高 阶时滞 差 分方 程
X+ nl 其 中
Ao
:
+
+… + “+
( : 0 l2 … ) n ',, J ’ , ’
… () 1
A ,‘ [ , , iP ∈ 0 ∞)
( i=0 1 2 … k k∈ ( , , ) , ,,, ; 12 … )
=p l= 1 方程 ( ) 时 1 的正 平衡 点 是全 局 渐 近稳定 的 . 对 A , ∈ ( , , 0=2 p = 1 2 0 Al o ∞) p , l / 时
的一 些 结果 及公 开 问题 , 可见 文 [ ,]当 p 34 ; l=0时 的一 些结 果 . 文 [ ,] 见 56 .
文 章 编 号 :OOO 8 (o2 1-18o lO -87 2o )118 -7
一
类 高 阶 时滞 差分 方 程 的有 界 持 久 性
与全局 渐近稳定性 。
李 先 义
( . 华 大 学 数 理 部 , 南衡 阳 4 10 ; . 东 师 范 大 学 数 学 系 , 海 206 ) 1南 湖 20 1 2 华 上 0 02
一类高阶线性差分方程的全局稳定性
文章编号 1 0 0 4 . 6 4 1 0 ( 2 0 1 3 ) 0 2 . 0 0 3 2 . 0 4
一
类高 阶线性差分方程 的全局稳定性
王 琦 , 张更容 , 韩 松 , 李乃 雄
( 1 . 广 西 科 技 大 学 理学 院 ,广西 柳 州 5 4 5 0 0 6 ;2 . 广 西 大 学 数 学 与 信 息科 学学 院 , 广西 南宁 5 3 0 0 0 4 )
第2 4卷 第 2期 2 0 1 3年 6月
广 西 科 技 大 学 学 报
J OU RNAL OF GUAN GXI UNI VE RS nY OF S C I EN CE AND T E CHN0L 0 GY
Vo 1 . 2 4 No . 2
J u n e 2 0 1 3
问题 .
关键 词 : 线性差分方程 ; 收敛 ; 有 界 性 中 圈分 类 号 : O1 7 5 文献 标 志 码 : A
0 引 言
离 散 系统 理 论 在 经济 学 、 自动 控 制 工 程 、 通讯 、 雷达技术 、 生 物 医学 工 程 、 图像 技 术 、 电动 力 学 系 统 及 核 物 理 学 等 学 科 已发 挥 了 巨大 作 用 , 随之 而来 的是 人 们 对 差 分 方程 理论 的 需 求 . 而差 分 方 程 模 型 是 应 用 广 泛 的一 类 离 散 数 学 模 型 , 它在生态学 、 生理学 、 物 理学 、 工程学 、 自动 控 制 与 设 计 、 数 值计 算 及 经 济 学 研 究
其中k = 7 , a = O . 4 , a l = a 2 = a 4 = a  ̄ = a 6 = 0 , 锄 0 . 3 , a T = 0 . 5 .
一类有理差分方程的全局吸引性
掣 , Ⅳ 0 ∈,
( .) 11
的 局 近 定 . 中 ∈o ) , 始 件 … ,∈0 且 全 渐 稳 性 其 g【∞,e 初 条 J,,1o【∞ , k n Y ,
且 程(1 唯 正 衡 方 1) 一 平 点歹= p+)(+) 面 考 方 1) 正 . .有 ( 1 g 1下 仅 虑 程(1的 解 / . .
进一步,在文 【,19 中,他们提 出了下述 公开 问题和猜想 : 3. 1 p2
公 问 A 设 ,∈0o {3 ) 究 分 程 开 题 假 pq 【oR ∈2, . 差 方 ,)k ,… 研
=
÷ , Ⅳ 拜 o ∈.
所有正解的全局行为.
猜 想A( , 15 oj tr6 5 假设P >q [ p 2, n c e . .) 3 . C eu 1 】 0 .证明方程(3 的每一个正解都收敛. 1) 文 【 也研 究了方程 (3 所有正解的全局吸引性,它们是利用 4 】 1) . 产极限集这一复杂方法证 明了猜想A .本 文 受到 上 述
基 金项 目:甘肃省教育厅科研项 目 (7 90 ) 00 -3;甘肃省教育厅科研项 目 (8 9 .4. 00 B 0 )
收稿 日 :2 0 . 81 期 0 90-6 作 者简介 :袁晓红(9 1 ,女,甘肃临洮人,讲师,主要从事微分方程和差分方程的研究. 17 一)
袁晓红,晏兴学,王仁虎:一类有理差分方程的全局吸引性
文 【】 1研究 了下列差分方程解的全局 吸引性 .
+ > .然 > , Ⅳ O 0 显 ∈ 0
. += l
其主要结论 为下述定理:
,,∈Ⅳ0 k, .
(1 . 2)
定理 A如果下列条件之一满足 ,则 方程 (.)的每一个解 都收敛到该方程的唯一正平衡 点: 1 2
一类离散时间经济学模型的全局性分析
并记 { 是( 的解 , 是( ) ) ) ㈦ 料 的解 。
上述两个初值 问题与非线性差 分方程 ( ) 比, 1相 前 者更 易于分析 ,所 以结合这两个初 值问题有 助于我们 讨论差分方程的解 的有界性或收敛性 。另一方 面 , 方程 () 1 的解 的性 质不仅 与 ( 和( ) ) 料 的解 有关 , 与。bc 还 ,,
定 义5 方 程 ( ) : 的平 衡 点 : 若存 在 , 足方 程 指 满
( , : 料) 即 戡)则称 ( ) , 是 料 的平衡点 。 二、 在条件( ) H1下的基本结论和证 明
在这一部分里 ,主要是通过 函数厂 的性质 和初所要 的结论 。 ) 引理 1设 函数 R 是非递 减 函数 , 件 ( ) : 上 条 HI 满
足 .
( 如果 } A) 是下列差分不等式 :
】 X ,仳 b )2 ≤C I 一x 】 ) 士 (
n 1 L 其 中 , 始条件 ,> 是 常数 ,: —R =. , 2 是初 c /0 厂R 是实 函数 , 方程( ) a 出现在早期 的数 学模型——宏观 经 济 中的 “ 贸易循环 ” 面 , 里 该模型 的许 多性 质在文献网 中 已讨论过 ( 如解 的有界 性 , 收敛性 , 持久 性 ) 。而本文 考 虑如下 的差分方程 :
【 专题研讨 】
一
类离散 时问经济学模 型 的全局性 分析
李 文 静
( 河南工程学 院
数理科学系 , 河南
郑州
40 0 ) 50 7
摘要: 这篇文章的 目 的是研究差分方程 c 川=
该 差 分方 程 的 解 有界 、 久 和收 敛 的 若 干 充 分条 件 。 持
一类非线性差分方程的全局渐进稳定性
一类非线性差分方程的全局渐进稳定性一类非线性差分方程的全局渐进稳定性非线性差分方程是指一类常见的差分方程,它的研究可以帮助我们更好地理解和控制复杂系统。
而全局渐进稳定性是指一类非线性差分方程的稳定性,它可以帮助我们更好地理解和控制复杂系统的行为,从而更好地应用这类非线性差分方程。
一. 非线性差分方程的基本概念非线性差分方程是一类常见的差分方程,它以差分方程的形式描述复杂系统的时变行为。
它以抽象的形式表达复杂系统的一般性质,以及系统的运动规律,是研究复杂系统的重要工具。
非线性差分方程的典型形式为:y(n+1) = f(y(n))其中,y(n)表示系统状态在时刻n时的值,f(y(n))表示系统状态在时刻n+1时的值,它们之间的关系可以通过非线性函数f(y(n))来描述。
二. 全局渐进稳定性全局渐进稳定性是指一类非线性差分方程的稳定性,它可以帮助我们更好地理解和控制复杂系统的行为,从而更好地应用这类非线性差分方程。
全局渐进稳定性的定义:设y(n)为一类非线性差分方程的解,如果存在正定的常数k和M,使得当n→∞时,|y(n)|≤M·kn,则称此差分方程具有全局渐进稳定性。
全局渐进稳定性的特征:全局渐进稳定性可以保证一类非线性差分方程的解在某个范围内收敛,并且收敛速度是渐进的,即当n→∞时,|y(n)|的增长速度越来越慢。
三. 全局渐进稳定性的判别要判断一类非线性差分方程是否具有全局渐进稳定性,需要先确定这类非线性差分方程的有限解,然后根据定义验证这类非线性差分方程是否具有全局渐进稳定性。
(1)确定有限解:一般来说,一类非线性差分方程具有有限解的充要条件是,不等式f(y(n))≤y(n)成立,其中f(y(n))是一类非线性差分方程的右边的函数。
如果满足此条件,则一类非线性差分方程具有有限解。
(2)验证全局渐进稳定性:确定有限解后,可以根据定义,构造出一类非线性差分方程的有限解,并将其作为验证全局渐进稳定性的依据。
一类三阶有理差分方程的全局吸引性
在 本文 中, 我们将 要用 到 以下两个 引理 : 引理 1 考 虑差 分方 程
z = xf( X - , , ah 科1 . x , n1… X - )
r
() 3
其 中 k( 1 2 … ,) 一 , , r 是正 整数 , k— ma ( .’r. xk . ) k
Ke wo d Di e e c q a i n Gl b la t c i iy P st e e u l ru y r s f rn ee u t f o o a t a tvt o i v q i b i m i i
1 引 言
文 E -讨论 了二 阶有理 差分 方程 II
[ z , … , 厂( , , )一 f( , … , ]z— ) 0与 x, , ) (
[ ( ) , , 厂 z, , … )一 f( , , , ] z一 ) Oz≠ x 一 , … ) ( < ,
定义函 数
F 一. ) {
f x x ) 0 z≤ a G(, ,
・ 刘 碧 玉教 授 推 荐 收 稿 日期 :0 7年 1月 ’ 20 2 2日
维普资讯
第 3期
一 类 三 阶 有 理 差分 方 程 的全 局 吸 引 性
8 7
+ 一 1一
_
’ ,
, — 0 1, 2 一 ,’ ’ …
( z 2 )
g( 1 … , ) 一 l O, , i g( 0 1 … , ) m u , , ,
“ O O 十
() u , i f( 。 i
“,r 关 于 U)
一,, 是不 增 的 ;
(i 方 程 f( z, … , )= i) i x, z z : =1有唯 一的正 解 ; ( )函数 f u , i V (。 .'r .U)不依 赖 于 。 或对 每个 z> 0 和 个 0 ,
一类离散Logistic型差分方程的全局吸引性
∑ ≤ ,≥ I 变 = , ( 化为 M n S作 换 斌 则式 1 )
i …
收 穑 L期 :0 1 1 2 t 20 —1 3
Y+ = l
p [ ( 一b 一 ( 1 —c ) ( ) ;) 一 ) 6
作
者; 刘勉占( 6 一) 辞师 研究方 向; 15 男 9 差分微分方程
n 差舟方程得到的相 应方程 的唯一正解; c 改进和推广 了已有 结论. 关键词 : 平方 l ii 方程 ; o sc gt 垒局硬 引性; 时滞
中 图分 类号 : Ol5 1 7 .2 文献标识码 : A
( ; —l c +
 ̄ cr u / z ~ 2/ )2 ; 4 2
( 一r ] £ O £ )
() 2
2 定理的证明
引理 1 若 1 是式 () I的最终大 于 或最终小 于 的正解 , 且式 () 立 , l = 3成 则 i a r
其中 rt Ec [, () (0 +*) ( , ) , ∈[ , ,o + ) b 0 +*) ,
c∈( , ) r> 0+ , 0为时滞 .
关于方程 () 2 的解 的渐 近 性 已有 些 研 究 l l , , 本 文 的 目的是 给 出保证 式 () 每一 正 解 趋 于其 正 1的
引理 2 若 } } 是式 () J的关于 的振动正解 , 平 衡点 的一族 充 分条 件 , 广 和 改进 了 已有 的结 果 存在正 常数 村 推 ( 后注1, 见文 )方程,1 、 ) ( )( 的生态意. 见文献f ] 2 义 I,
滞平方 l i 型 差舟方 程每一 正解 { i u = , 是 o  ̄e g 有 m (
l is r“ a p∑ n <
一类有理差分方程的全局行为
作者简 介 : 崔 江彦 ( 1 9 8 7一) , 男, 甘 肃庄浪人 , 硕 士, 研究方向 : 基 础数 学.
有 理差 分 方程是 差 分方 程 的一类 特殊 方程 , 美 国数 学 家 G . 1 a d a s 关 于差分 方程 提 出 了 1 0 8个公 开 问
题 和猜 想 , 这 使得 对差 分方 程 的研究 备 受 关 注 , 不仅 如此 , 国际 差 分 方程 专 业 期 刊 的创 建更 为 差 分 方 程 的研 究 提供 了专业平 台. 一直 以来 , 对 差分 方程 的研 究 主要 涉及 稳 定 性 、 有界性、 振 动性 、 渐近性、 周 期性 和边 值 问题 . 文献 [ 1 ] 研 究 了有 理差 分方 程 川 = 性. 文献 [ 2 ]研究 了有 理 差分 方程 川 =
第3 5卷第 3期
2 0 1 4年 6月
宁夏师范学 院学报 ( 自然 科学) J o u na r l o f N i n g x i a N o r m a l U n i v e r s i t y( N a t u r a l S c i e n c e )
Vo 1 . 35 No. 3
J u n .2 01 4
一
类 有 理 差 分 方 程 的 全 局 行 为
崔 江彦 , 王 小 兵
( 1 . 银川 唐徕 回民 中学 ,宁夏 银 川 7 5 0 0 0 1 ;2 . 宁夏大学 数学 与计 算机学院 ,宁夏 银川 7 5 0 0 2 1 )
摘 要 : 研 究 一 类 有 理 差 分 方 程 + = 老 ( = 0 , 1 , 2 , … , 。 , 6 , , B > 0 ) 的 全 局 行 为 . 应 用 不 动 点
一类二阶非线性差分方程的全局行为研究
一类二阶非线性差分方程的全局行为研究二阶非线性差分方程是指方程中含有二阶差分项的非线性方程。
这类方程在数学、物理、经济等领域都有广泛的应用。
研究其全局行为可以帮助我们了解方程解的长期动态性质,对于预测、控制等方面具有重要的意义。
要研究一类二阶非线性差分方程的全局行为,首先需要确定方程解的有界性。
这可以通过构造Lyapunov函数或者利用一些已有的有界性定理进行证明。
有界性是研究全局行为的基础,因为只有在有界区域内的解才能保证全局性质。
确定了有界性后,我们可以进一步研究方程解的稳定性。
稳定性分为局部稳定和全局稳定两种情况。
局部稳定性是指方程解在其中一点附近的行为,全局稳定性是指方程解在整个定义域内的行为。
对于局部稳定性的研究,可以利用Liapunov直接法或者利用线性化技术进行分析。
而全局稳定性则较为困难,通常需要构造特殊的函数或者引入一些不变集来研究。
在研究了稳定性后,我们可以进一步研究方程解的周期性行为。
对于周期解的研究,通常可以通过构造Poincare映射或者利用周期解存在的充分条件进行分析。
周期解的周期与解的振荡特性有关,通过对解的周期性行为的研究可以得到关于方程解的更多信息。
此外,还可以研究方程解的同步和共振现象。
同步是指两个或多个解在一些条件下具有相同的行为,而共振是指方程解对一些外界驱动具有较大的响应。
研究同步和共振现象可以帮助我们了解方程系统的自身性质,以及如何通过外界驱动来影响系统的行为。
总之,一类二阶非线性差分方程的全局行为研究是一个复杂而有意义的课题。
通过研究方程解的有界性、稳定性、周期性行为以及同步共振现象,我们可以更好地了解方程的性质并预测其长期行为。
这对于控制、优化和决策等方面都具有重要的指导意义。
差分方程解法及其在离散系统中的应用
差分方程解法及其在离散系统中的应用差分方程是数学中一类重要的离散数学方程,广泛应用于动态系统建模和离散事件系统的分析。
本文将介绍差分方程的解法以及它在离散系统中的应用。
一、差分方程的定义和基本概念差分方程是一种以离散形式描述系统变化的数学方程。
其基本形式为:Δyₙ = f(n, yₙ₋₁)其中,Δyₙ为相邻两个时刻n和n-1之间y的变化量,f(n, yₙ₋₁)为给定时刻n和n-1之间的函数关系。
二、差分方程求解的方法对于简单的差分方程,可以直接通过迭代求解。
例如,对于一阶线性差分方程:Δyₙ = k其中,k为常数。
可以通过重复应用这一关系求解,即:yₙ = y₀ + kₙ其中,y₀为初始条件,kₙ为Δyₙ在不同时刻的取值。
对于更复杂的差分方程,可以采用数值方法求解,如欧拉法、龙格-库塔法等。
这些方法可以通过将差分方程转化为递推方程,并利用数值计算得到近似解。
三、离散系统中差分方程的应用1. 经济学中的应用差分方程可以用来描述经济系统中的离散变化。
例如,经济增长模型中的劳动力增长率、资本积累速度等,都可以通过差分方程来建模和分析。
2. 自然科学中的应用差分方程在物理学、生态学等自然科学领域中也有广泛的应用。
例如,天体运动、人口增长、物种竞争等系统的演化过程都可以用差分方程来描述和预测。
3. 计算机科学中的应用差分方程在计算机科学中的应用也是十分重要的。
例如,计算机网络中数据包的传输、媒体数据的压缩等问题,都可以通过差分方程来建模和解决。
四、差分方程解法的局限性和改进方法虽然差分方程是一种有效的数学工具,但其在一些特殊情况下存在局限性。
例如,对于非线性和高阶差分方程,常常难以求得解析解。
此时,可以利用数值方法进行近似求解,或者采用数值优化算法寻找最佳解。
总结:差分方程是一种重要的离散数学工具,广泛用于动态系统建模和离散事件系统的分析。
通过合适的差分方程求解方法,可以有效地描述和预测各种离散变化的系统。
一类差分方程解的全局性分析
一类差分方程解的全局性分析
伍晖;孙太祥;韩彩虹;席鸿建
【期刊名称】《大学数学》
【年(卷),期】2011(027)002
【摘要】研究差分方程……的全局性质,其中
A,B,β∈(O,+∞),p,q∈N<'+>={1,2,…},α=max{p,q),γ<,1>,γ<,2>,…,γ<,p>,C<,1 >,C<,2>,…,C<,q>∈[0,1],满足∑γ<,i>=∑C<,J>=1,初始值x<,0>,x<-1>,…,x<,α>∈(0,∞).得到该方程的每个正解收敛于平衡解的若干充分条件.
【总页数】5页(P85-89)
【作者】伍晖;孙太祥;韩彩虹;席鸿建
【作者单位】广西大学数学与信息科学学院,广西,南宁,530005;广西大学数学与信息科学学院,广西,南宁,530005;广西大学数学与信息科学学院,广西,南宁,530005;广西财经学院数学系,广西,南宁,530004
【正文语种】中文
【中图分类】O175.1
【相关文献】
1.一类差分方程全局性解的研究 [J], 郭忠海
2.一类差分方程的奇点集和解的全局性 [J], 全卫贞
3.一类随机差分方程解的稳定性分析 [J], 葛玲玲;廖新元;陈会利;鲁银霞
4.一类Riemann-Liouville型混合分数阶差分与和分方程解的存在唯一性 [J], 张
晓锐;王良龙
5.一类非线性复微分差分方程解的不存在性 [J], 林书情;陈俊凡
因版权原因,仅展示原文概要,查看原文内容请购买。
一阶线性差分方程的解法分析
高中数学新课标选修内容“一阶线性差分方程”的解法分析江西省高中数学课程标准研究组舒昌勇(341200)在高中数学新课标选修系列4的“数列与差分”专题中,一阶常系数线性差分方程x n+1=kx n+b (1)是讨论的重点,其一般形式为x n+1=kx n+f(n) (2)其中k为已知的非零常数,f(n)为n的已知函数.当f(n)≠0时,方程(2)称为非齐次的,f(n)=0时,方程x n+1=kx n(3)称为齐次的,并称(3)为(2)相应的齐次方程.方程(1)是方程(2)当f(n)为常数的情况,是方程(2)能用待定系数法求特解时所具有的几种特殊形式里最简单的一种.我们来讨论方程(1)和(3)通解的求法.1 求一阶齐次差分方程x n+1=kx n的通解用迭代法,给定初始值为x0,则一阶齐次差分方程x n+1=kx n的通解为x1 = kx0,x2=kx1=k2x0,x3=kx2=k3x0,…,一般地,有x n= kx0-1= k(k n-1x0)= k n x0,n = 1,2,…,由于x0表示初始值,可任意给定,所以可视其为任意常数,不妨用c来表示.又根据差分方程通解的定义:如果差分方程的解中含有与方程的阶数相同个数的相互独立的任意常数,则为其通解,故一阶线性齐次方程x n+1=kx n的通解可表为x n=k n c(c为任意常数).对于每一个任意给定的初始值x0,都能得到方程相应于该初始值的一个特解.而求特解只要将给定的初始值x0代入通解求出待定常数c即可.2 求一阶非齐次差分方程x n+1=kx n+b的通解2.1探索一阶非齐次差分方程x n+1=kx n+b通解的结构设数列﹛y n﹜,﹛z n﹜为方程(3)的任意两个解,则y n+1=k y n +b (4)z n+1= k z n +b (5)(4)-(5) 得y n +1-z n +1=k(y n- z n )这意味着一阶非齐次线性差分方程任意两个解的差为相应齐次差分方程的解.从而,若a n为非齐次方程(3)的任意一个解,b n为非齐次方程(3)的一个特解,则a n-b n就为相应齐次方程的一个解.为了探索一阶非齐次差分方程通解的结构,我们对它的任意一个解a n 作适当变形:a n=a n+b n- b n= b n +( a n - b n)这表明,一阶非齐次差分方程的任意一个解可表示为它的一个特解与相应齐次方程一个解的和的形式.从而非齐次方程的通解等于其一个特解加上相应齐次方程的通解.2.2 求一阶非齐次差分方程(3)的通解①用迭代法,设给定的初始值为x0,依次将n=0,1,2,…代入(3),有x1=kx0+bx2=kx1+b=k(kx0+b)+b =k2x0+b(1+k)x3=kx2+b= k[k2x0+b(1+k)]+b= k3x0+b(1+k+k2)……x n=k n x0+b(1+k+k2+…+k n-1)ⅰ)当k ≠1时, 1+k+k 2+…+k n-1 =k k n --11 此时x n =k n x 0+k k b n --1)1(=k n (x 0-k b-1)+k b -1由于x 0表示初始值,可任意给定,故可设其为任意常数,从而x 0-k b-1 也为任意常数.令x 0-kb-1=c ,则(3)的通解可表为 x n =k n c+k b -1 (c 为任意常数)ⅱ)当k=1时,1+k+k 2+…+k n-1=n此时x n =x 0+nb由于x 0可任意给定,即其可为任意常数,故(3)的通解可写为x n =c+nb (c 为任意常数)②待定系数法与求解常微分方程类似,待定系数法也是求非齐次线性差分方程一个特解的一种较为简便、常用的方法.其基本思想是:根据方程的非齐次项f(n)的特点,用与f(n)形式相同但系数为待定的函数,作为方程的特解(称为试解函数),然后将该试解函数代入方程,以确定试解函数(特解)中的待定系数,从而求出方程的一个特解.ⅰ)当k ≠1时,设方程(3)有一特解x n =A ,其中A 为待定常数,将其代入(3),有 A=kA+b , A=k b -1 , 即x n =kb -1 知此时方程(3)的通解为x n = k n c+kb -1 (c 为任意常数) ⅱ)当k=1时,方程(3)为x n+1=x n +b ,知其解数列的一阶差分为常数,可设其有形如x n =An 的特解,代入(3),有A(n+1)=An+b , 得A=b , 即x n =bn知此时方程(3)的通解为x n = k n c+bn= c+bn (c 为任意常数)例1 求差分方程2y t+1+5y t =0的通解,并求满足y 0=2的特解.解 将原方程改写成y t+1=(-25)y t , 故其通解为y t =(-25)t c , c 为任意常数.用y 0=2代入通解:2=(-25)0c , 得 c = 2 .满足初值y 0=2的特解为y t =2(-25)t. 例2 求下列差分方程的通解(1)x n+1=x n +4(2)x n+1+x n =4解(1)方程中有k=1,b=4 .其通解为x n =c+4n ,(c 为任意常数).(2)原方程可化为 x n+1= -x n +4 ,方程中k=-1,b=4 ,其通解为 x n = (-1)n c+)1(14--= (-1)n c+2 ,(c 为任意常数).例3 某学术报告厅的座位是这样的安排的:每一排比前一排多2个座位.已知第一排有30个座位,(1)若用y n 表示第n 排的座位数,试写出用y n 表示y n+1的公式. (2)第10排的座位是多少个?(3)若用S n 表示前n 排的座位数,试写出用S n 表示S n+1的公式. (4)若该报告厅共有20排,那么一共有多少个座位?解 (1)y n+1= y n +2 n =1,2,…(2)解上述差分方程,其中k=1,b=2 ,通解为 y n =2n+c ,c 为任意常数 .由已知y 1=30,代入,得c = 28 .特解为y n =2n+28 , y 10=2×10+28=48(个) .(3)S n+1=S n +y n+1=S n +[2(n+1)+28]可得表达式为 S n+1=S n +2n+30 , n=1,2,…(4)先解上述差分方程,由S n+1-S n =2n+30 ,即△S n =2n+30,知S n 的表达式为n 的二次函数,设S n =An 2+Bn+C ,则△S n =A (n+1)2+B (n+1)+C -An 2-Bn -C=2A n+ A+B = 2n+30 .可得 A=1, B=29 . 又由初始条件 y 1= 30= S 1,有30 =A+B+C ,故C=0 .因此本问题的特解S n = n 2+29n , n =1,2,…S 20= 202+29×20=980(个).注意:在本例小题(1)中每排座位数的表达式y n+1=y n +2 y n+1-y n =2,与小题(2)中前n+1排座位数表达式S n+1=S n +2n+30即S n+1-S n =2n+30都属一阶非齐次线性差分方程x n+1=kx n +f(n)类型,但前者属f(n)为常数的情况,而后者属f(n) 为n 的一次函数的情况,利用差分有关知识,知S n 的表达式是关于n 的二次函数.参考文献[1] 教育部.普通高中数学课程标准(实验)[S].北京:人民教育出版社,2003.83-85.[2] 严士健,张奠宙,王尚志. 普通高中数学课程标准(实验)解读[M].南京:江苏教育出版社,2004.218-228.[3] 张银生,安建业.微积分[M].北京:中国人民大学出版社,2004.431,448-460.[4] 黄立宏,戴斌祥.大学数学(一)[M]. 北京:高等教育出版社,2002.380-389 .(本文刊于中学数学教学(合肥),2006,6.)。
差分方程x_n_1_ax_n_1_1_bx_nx_n_1_的全局稳定性
第20卷 第2期 陇东学院学报V o.l 20 N o .2 2009年3月 Journal of Longdong Universit yM ar .2009差分方程x n+1=(ax n-1)/(1+bx n x n-1)的全局稳定性完巧玲*(陇东学院数学系,甘肃庆阳745000)摘 要:研究了差分方程x n +1=ax n-11+bx n x n-1,n =0,1,2, (a,b ,x -1,x 0为非负实数)的全局性质,得到了方程所有正解的单调性、有界性、周期性、局部渐近稳定性和全局渐近稳定性等相关结果.关键词:差分方程;平衡点;周期性;局部渐近稳定性;全局渐近稳定性中图分类号:O175.15 文献标识码:A 文章编号:1674-1730(2009)02-0006-03Global Asy mptotic Stability of t he D ifference Equati on:x n +1=(ax n -1)/(1+bx n x n -1)WAN Q iao -ling(D epart m ent of M athem atics ,Longdong University,Q ingyang 745000,G ansu,Ch ina )Abstract :Th is paper is to investi g ate the m ono ton icity ,boundedness ,l o cal and g lobal asy m ptotic stab il-ity of all positive so luti o ns o f the difference equation :x n+1=ax n-11+bx n x n-1,n =0,1,2, (a,b ,x -1,x 0arenonnegative real numbers).Key words :D ifference Equation ;Equili b riu m Po i n ;t Period i c ity ;LocalA sy m ptotic Stability ;G lobal as -ympto tic stab ility0 引言Cengi z C i nar[1]给出了差分方程x n+1=ax n-11+b x n x n-1,n =0,1,2,(1)(a ,b ,x -1,x 0为非负实)的解.受此启发,我们应用差分方程相关理论研究了方程(1)的全局性质.以下给出我们研究方程(1)时需要的相关结论:设I 是实数区间,f 是I 2上的连续函数,对初值x -1,x 0I ,差分方程x n+1=f (n ,n-1),n =0,1,2, (2)有唯一解{x n }n=-1.称解x -为方程(2)的平衡点,如果x -=f (x -,x -).定义1[2]设x -为方程(2)的平衡点.*收稿日期:2008-06-03基金项目:甘肃省高校研究生导师科研基金(0710-04;0810-03)作者简介:完巧玲(1965 ),女,甘肃泾川人,讲师,主要从事非线性分析与微分、差分方程研究.(1)称x -为局部稳定的,若对任意的 >0,存在 >0,对所有x -1,x 0 I 和|x 0-x -|+|x -1-x -|< ,有|x n -x -|< ,n -1.(2)称x -为局部渐近稳定的,若x -是局部稳定的,并且存在y >0,对所有x -1,x 0 I 和|x 0-x -|+|x -1-x -|<y ,有lm i nx n x -.(3)称x -是全局吸引子,若对所有x -1,x 0 I ,有lm i nx n x -.(4)称x -为全局渐近稳定的,若x -为局部渐近稳定的,并且x -是全局吸引子.设p =f u (x -,x -),q = f v(x -,x -)是(2)决定的函数f (u ,v)在x -处偏导数.称方程y n+1=py n +qy n-1,n =0,1,2, (3)为(2)的关于平衡点x -的线性相伴.定理1[2]若方程 2-p -q =0的根均小于1,则x -是局部渐近稳定的;(2)若方程 2-p -q =0的根至少有一个大于1,则x -是不稳定的;(3)若平衡点x -是鞍点的充分必要条件是|p |>|1-q |并且p 2+4q >0.定理2[2]设差分方程x n+1=f 0(x n ,x n-1)x n +f 1(x n ,x n-1)x n-1,n =0,1,2, (4)带非负初值条件,并且有f 0,f 1 C [0,+ ) [0,+ ),[0,1],当满足下列条件时(i)f 0和f 1关于x ,y 不增(ii)f 0(x ,x )>0, x 0(iii)f 0(x ,y )+f 1(x,y )<1, x ,y (0,+ )则方程(4)的0平衡点是全局渐近稳定的.本文用到的其它定义和定理请参看Kule nonv i c 和La das[2].1 单调性、有界性、周期解定理1.1 设{x n }n=-1是方程(1)的解.当a1时,则序列{x n }n=-1是严格递减的.证明:Qx 0,x -1,b >0, x n >0,x n-1>0,从而b x n x n-1>0故 x n+1ax n-11+bx n x n-1<ax n-1<x n-1证毕.从定理1.1,很容易得到下面的推论:推论1.1 当a1时,设{x n }n=-1是方程(1)关于初值x -1,x 0的解,则序列{x n }n=-1有界.定理1.2 方程(1)没有正2-周期解.证明:设 , 是方程(1)的2-周期解, , 均大于0且 .则由2-周期解的定义得 =a /(1+b ), =a /(1+b ),化简得 +b 2=a, +b 2=a 进一步化简 (1-a)( - )+b ( - )=0(5)而 - 0,故有 =a -1b(6)再者,有 ( + )(1-a +b )=0(7)将(6)代入(7)得( + )(1-a +1-a)=2( + )(1-a)=0(8)若a =1,由(6)知, =0,从而, =0或 =0,矛盾.若a 1,则由(8)有 + =0, =- , , 均等于0或者一正一负,矛盾.故方程(1)没有正2-周期解.证毕.7第2期 完巧玲:差分方程x n+1=(ax n-1)/(1+bx n x n-1)的全局稳定性2 平衡点的稳定性设f (x ,y)=ay 1+b xy ,则p =f x (x ,y)=-ab y 2(1+b xy )2,q =f y (x ,y )=a(1+b xy )2.方程(1)关于平衡点x -的线性相伴为 2+ab x -2(1+b x -2)2 -a(1+b x -2)2=0.下面讨论方程(1)的解在平衡点处的稳定性.情形1.当a >1,b >0时,(1.1)有三个实平衡点x 1-=0,x 2-=-a -1b,x 3-=a -1b(见[1]).对0平衡点,线性相伴方程为 2=a , = a ,| |>1因此,0是不稳定的平衡点.对平衡点x 2-=-a -1b,x 3-=a -1b,线性相伴方程为a 2+(a -1) -1=0,它的两个根为 ,因此,不能判断这两个平衡点的稳定性.情形2.当1>a >0时,我们有下面的结果:定理2.3 当1>a >0,b >0时.方程(1)有唯一实平衡点,且是局部渐近稳定的平衡点.证明:方程(1)的平衡点x -满足方程bx -3+(1-a)x -=0,因此,0是唯一实的平衡点,线性相伴方程为 2=a, = a ,| |<1,由定理1,0是局部渐近稳定的平衡点.证毕.定理2.4 当a =1,b >0时,方程(1)有唯一实平衡点0,且是全局渐近稳定的.证明:当a =1,时,方程(1)的平衡点x -满足方程b x -3=0,b 0,因此,0是方程(1)的唯一平衡点.对方程(1),由于x -1,x 0 (0,+ ),故对 n ,x n >0,因而(1)可转化为方程x n+1=ax n-12x n (1+bx n x n-1)x n +a2(1+b x n x n-1)x n-1(9)设f (x ,y)=y /(1+b xy )=xy /2x (1+b xy )+y /2(1+b xy )其中 f 0(x ,y )=y /2x (1+b xy),f 1(x ,y )=1/2(1+b xy)可以验证,函数f 0(x ,y ),f 1(x ,y ) (0,+ )关于变量x ,y 单调减.当x ,y(0,+ )时,显然,0<f 0(x ,y)=y /2x (1+b xy)<1,0<f 1(x ,y)=1/2(1+b xy )<1/2.0<f 0(x ,x )=x /2x (1+b x 2)=1/2(1+b x 2)<1/2,x >0时.f 0(x,y )+f 1(x ,y)=y /2x (1+b xy )+1/2(1+bxy)=(x +y )/2(x +b x 2y )<1, x ,y (0,+ ).根据定理2知,0平衡点是全局渐近稳定的平衡点.证毕.参考文献:[1]Cengiz Ci nar ,On the positive s o l utio ns of the differ ence eq uati on x n+1=(a x n-1)/(1+bx n x n-1)[J].App.l Math .Co mp u.t,2004,156:587-590.[2]V .L .Kocic das ,Dyna m ics of s econ d ord er rati onal difference equati ons w it h op en probl e ms a nd c onjectures[M ].Chap man&Hall,2002.[3]W .T .L,i H .R.S un ,X .X .Yan ,The as y m t otic beha v i or of a hi gher or der dela y n onli near differe nc e eq uati ons [J ].I n d-ia n J .Pure App.l Mat h .,2003,34(10):1431-1441.[4]X .X .Yan a ndW .T .L,i Glo bal attracti vity i n a rati onal recursi ve s eq uence[J].Ap p.lM ath .Co mpu.t ,2003,145(1):1-12.责任编辑 赵建萍8陇东学院学报 第20卷。
- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
可 参见 文献 [ —5 . 文 献E ] , an ui 研 究 了差分 方程 1 ]在 6 中 C ro z s
z + 一
A+B C , z + x一 ’ 2
±
一 o, , … 1 2, ” ’
( E 、
的全局性 质 , 中初始 值 z 。 X z ∈ ( ,。 ,, A∈[ , 。 ,+ , CE( ,。 , 到 了 方程 ( 其 一 , 一 , 。 0 。 ) 卢 , O +。 )p B, O 。)得 E)
一{ , , }口 1 2 … ,一ma { q , 1 7 , ,p C , z … , x , ) 7 ,z … y , C , C
∈ o1, ∑ 一 ∑ C一 , 值z, …,一 (, ) [, 满足 ] i1 初始 。 一, X o。 . z ∈ 。
一
1
J 1 一
当 +1 ≤A 时 , 方程 ( ) 1 只有 0平 衡解 ; 当 + I >A 时 , 程 ( ) 两 个 平衡 解 , 方 1有 分别 是 0平 衡 解 和 正平 衡解 = = = .
目(0 8 0 9 0 0 M4 ) 2 0 1 5 3 7 1 3
8 6
大 学 数 学
第2 7卷
2 主 要 结 论 及 证 明
oz z +"L1w旨 <一, "N,< , 一 ' _z 9 U 那 对 有z —, z 旨 么 所 ,N a< . ≥ 0 <
() 2
l t x , l —l p k … n l —X i + m —s i s x≥昔. a ru
—
’。。
U
定 理 1 设 A≥ 1 { 善 。 ,z } 是方 程 ( ) 1 的一个 正解 , 则存 在 N>O 使得 ,
.
同理递 推下去 可得 z + ≤ ma { oX “, 一 }所 以 , ^1 x x ,一 z . 对所 有 ≥ -0 z ≤ ma { o9 1 … , 一 , B} t , x x ,' , z 。 5 一 .
~
一
A +,f 一 :< ̄ +> l & C— x N + B 一
肛 +∑ y 一
z 抖 l — — — — — — —
1
— — ~
递 下 可 :于 有 ≥ —, z 鲁 推 去 得对 所 N a< . o <
证 设z善 是 程1 一 正 ,任 的抖 旨( o有 {} 方 (的 个 解对 意 z ≥ 愚 ) ) ≥,
’
A+B x +∑Q x
J=1
因 此
A + B 一 ) z C 一 ∑ z一 x (z 卢 + ∑ j一 + + z + x ,
J= 1 i 1 =
所 以
告 m 声 mx , ,, ) ≤ ≤∑y ~ a z . ≤ …
(. 西 大 学 数 学 与信 息科 学 学 院 , 西 南 宁 5 0 0 ; 2 广 西 财 经 学 院 数 学 系 , 西 南 宁 5 0 0 ) 1广 广 305 . 广 3 0 4
[ 摘
要 ] 研 究 差 分 方 程
+∑ 7 1 x
z l 一 — — — — — —i
=
—
1
—
—
一
A x+∑ z +B
的全 局 性 质 , 中 A, ∈ ( , 。 ) , ∈N 一 { , , ) 口 ma ( q ,7 ,2 … , , 1 C , , 其 B, O + 。 ,P q 1 2 … ,一 x , } 1 y , C , 2 … C
p g
∈ o ] 足 ∑ =∑ C一 , 始 z, …, (, ) 到 方 每 正 敛 平 的 F, , 1满 J 1 值- z , X ∈ o 。 得 该 程的 个 解收 于 衡解 初 。一 一 。.
的每个 正解 收敛 于平 衡解 的若 干条 件. 受 上述 研究 的启 发 , 文将 研究 差分 方 程 本
z
1
肛 +∑ 7 1 x A+B x +∑ C , , = , … jr 01 x ,
一 1
— — — — — — — — — 一
( 1 )
的全 局性 质 , 中 A, ∈( , 。 , q 其 B, O +。 ) P, ∈
[ 稿 日期 ] 2 0 —62 ; [ 改 日期 ]2 0 —20 收 0 80 —6 修 0 81—5 [ 金 项 目] 国家 自然 科 学 基 金 (0 60 2 ; 西 自然 科 学 基 金 ( 60 0 ,7 8 0 ) 广 西 研 究 生 教 育 创 新 计 划 资 助 项 基 18 1 0 ) 广 04250202 ;
l一 1 ,键 词 ] 差 分 方 程 ; 衡 解 ; 列 关 平 子
[ 中图分类号]O1 5 1 7 .
[ 文献标识码]A
[ 文章编号]1 7—4 4 2 1 )20 8 —5 6 21 5 ( 0 10 —0 50
1 引
言
近 年来 , 非线性 差 分方 程 的平衡 解 的吸 引性质 的研 究 引起 了人 们 的极 大 关注 , 对 有关 这方 面 的研究
第 2 7卷 第 2期
21 0 1年 4月
大 学 数 学
COLLEGE ATH EM ATI M CS
Vo . 7, . 12 № 2
A p .2 11 r 0
一
类 差 分 方 程 解 的全 局 性 分 析
伍 晖 孙 太 祥 , 韩 彩 虹 , 席 鸿 建 ,
O x 营 ≥ ・ < , N <
证 由引理 1知 , 只需证 ( ) 立 . 反 证 法 , 2成 用 假设 存 在 一 个 正 整数 列 { ) , 得 对 任 意 的 ≥0 使 ,
≥ ・ 引 ,妨 对 意 ∈ 1 , ,3 3一 ) 詈 由 理2 设 任 的忌 {0 一q p 1, 不 ,… 一