延迟微分方程单支方法的非线性稳定性.pdfVIP

详细讨论了一类单支毋一方法和线性毋．方法的稳定性，这罩0蔓0≤1， 他们获得如下结论：当且仅当0=1时，单支目一方法是GJD．稳定的； 定等价。此后，in’t 1．2)舀，j数值稳定性研究推广到线 张诚坚【48】等将上述模犁问题(1 性系统 r y。(。)2Ly(。)+My(‘一7)， 。≥。n， iyo)=妒(，)， ％一f≤，蔓屯， ‘1，1·5’ 这里￡，M∈C“”，r0为实常数，舻(f)为已知函数。 JJ_U．Jl、，不少文献还研究了标量线性比例延迟(一种特殊的变延 迟)微分方程初值问题 f≥0， ry‘0)=ay(t)+by(五r)， _ (1．1．6) L，(o)=y。， 扣。 及其数值方法，这里qb∈c为常数，^e(o，1)为给定实常数。有关文 注意对问题(1．1，6)作变换x(幻=y(e‘)后，得到变系数常延迟 问题 7工‘。+1n^’， ‘≥。’ 1{J。’=“g‘工o’+6P (1．J．／)(1．1．7) f∈[1n2，0]． 。x(f)=y(e‘)：=cp(t)， 由此可见，问题(1．1．6)与(1．1．7)的研究有密切内在联系。 直接基于菲线性模型问题的数值稳定性研究源于1989年 Torelli[41]的工作。考虑非线性延迟微分方程初值问题 ，y’(，)=L，(f，y(f)，y(t“0耽 ， 一 ，L 1 1 趵 。y(0=p(，)， ， 一 ％ 及其扰动问题 e=九烈卜州‘?量‘u” ∽，∽ -oo，to]斗(：ITⅣ是 这里延迟量r(，)≥％o，Vt≥“，to和f0是常量，妒，∥： 证明：若，满足条件 ，胁q吨’-厂u，％小f㈦(t,u。2篡i：竖：寸’∽¨。， L11厂(f，“，v1)一f(t，“，v：)11≤卢o)}|u一。v2|1，，≥屯，¨，V1，p：∈C”， 贝0当d“)+∥O)≤0日寸。，成立 ily(O一：(f炉哩x物(x)-v(x她， (1．I·11) 这里及下文中，符号，．表示C“中的内积，||．|』为相应的范数． J，(r)，z(r)分别为问题(1．1，8)，(1．1．9)的真解。 提出1r数值方法的RN一及GRN一稳定性概念。 定义1．2 一个数值方法称为是RN一稳定的，如果该数值方法 以满足条件 m^：r， Ⅲ为正整数， (1．1．12) 和(1．1．9)时，所得到的解序列抄。}和扛。)满足 lly。一Zn忙t掣愀f)～y(讣 (1，l·13) 蓿在上述定义中去掉对步长^的约束条件(1．1．12)，贝0称该数值方法 是GRN．稳定的。 采用线性插值)也是GRN一稳定的。进‘步的研究『19，45]表明，RN一 稳定性存在阶障碍，到目前为止，末找到3阶RN．稳定的数值方法。 由于RN一及GRN．稳定性定义过于苛刻，t999年，黄乘明等入 [20，21，22]适当放宽r限制条件，提出J，较弱的新的稳定性概念一 一R一及GR．稳定性，并证明了4．稳定的单支方法，代数稳定的Runge —Kutta方法和代数稳定的一般线性方法都是R．稳定的，且关于线 性插值是GR一稳定的。 实际上，GR．稳定性概念是常微分方程数值方法中B一稳定性概 念的推广(参见[14，331)。 延迟微分方程数值方法的收敛性研究是