分段连续型微分方程θ-方法的散逸性.pdfVIP

第34卷第3期 湖北大学学报( 自然科学版) 20 12年9月 j our nal of Hub ei Uni ver s i t y( Nat ur al Sci enc e) 文章编号：1000 —237 5( 2012 ) 03—0335—05 分 段 连 续 型 微 分 方 程 9一 方 法 的 散 逸 性 王琦 ( 广东r 业大学应1L {j 数学学院，广东广州5 1000 6) 摘要针对带有一个延迟项的分段连续型微分方程，研究争方法的数值散逸性．将两种伊方法：线性伊 方法和单腿争力怯应用于试验力 ‘程 ，得到数值解为散逸 的充分条件．主要定理显示两种争方法具有一致 的散 逸性结果，且都保持了原方程的散逸性 ． 关键词 延迟微分方程；分段连续；散逸性微分力 ‘程；沪方法 中图分类号( ) 24 1．8l 文献标志码 A 0 引言 分段连续型微分方程是延迟微分方程的一个重要分支，是对很 多系统进行建模的重要T具．自变量 的分段连续性不仅刻画了动力系统的连续性和稳定性，也反映出系统的振动性和周期性，因此，这类方 程在差分方程的研究中起着重要作用 ，进而能更有效地解决一些包含离散和连续变量的混合系统 中的 问题，如神经网络一1，人 口模型L2J 等．近20年来，分段连续型微分方程引起了人们的普遍关注，对于 这类方程的解析解的研究已经非常深入 ，主要涉及稳定性[ {j 、周期性- | 1 1、存在唯一性 ¨3和积分流形 的存 在性 『6f 等几种重要性质，而埘这类方程 自身的全面阐释和系统分析 ，可 以参考文献[ 7] ． 虽然对于分段连续型微分方程角牮析解的研究已有大量结果，但是对其数值解的研究却相对滞后， 不过发展很快 ．I 凡等引和Song等∽J 分别研究了这类方程 中带有延迟项I t ] 和[ f +1] 的Runge—Kut t a 方法和伊方法的稳定性，得到了解析解的渐近稳定区域包含在数值解的渐近稳定区域的充分必要条件． 在文献：10 11] 中，作者针对带有延迟项[ ，～1] 的分段连续型微分方程，分别研究了伊方法和Runge— Kut t a方法 的振动性，获得了数值方法保持方程本身振动性的充分必要条件．在这类方程数值解的散逸 性研 究方面有一些研 究一心 】。引．不同于文献[ 12— 13] ，本文 中主要研究一般情形下带有一个延迟项Et ] 的分 段连续型微分方程争方法的散逸性，给出两种伊方法散逸的充分条件． 设( ·) 为定义在Hi l ber t 卒问X 卜的内积 ， ¨J J 为从属范数．本文中考虑下述分段连续型微分方程 ㈠ ‘) 一 ／ 、 ( f ， 工 ( f M㈣ ) ， ￡ ≥ o ( 1) l z ( 0) 一z n 其 中[ ·] 表示最大取整函数，局部I ．i pschi t z 连续函数．，：[ o ，+o。) ×x ×X—x满足 Re( 玑，( f ， “，u) ≤o ／t ) +p( ≠) l l M 8 2+q( !) I I u 11 2埘，刁∈X，t ≥0 ( 2) 这里的p( ￡) ，q(t ) 和刨( f ) 是连续函数．这类方程的一般形式为 z 7( f ) 一f ( t ，_ ·( ￡) ，z( d( z) ) ) ( 3) 其 中a ( ≠) 是分段连续函数 。根据文献[ 7] ，有下面 的定义。 定义I 满足下列条件的连续 函数．r ( f ) 称为方程( 1) 式在区间[ o，+。o) 上的解， ( i ) _ 、7( ) 在[f ] ∈[ o ，+oo) 的这些点处存在单侧导数，在≠∈[ o ，+oo) 的其他点处存在导数； ( i i ) 在每个 区间[粗 ，辨+1) [ r o，+o 。) 上心。( f ) 满足方程( 1) 式． 收稿 {期：2011—10 01 基金项El ：f