Perron的一个关于线性方程组的特征数的定理的推广

O.Perron曾经证明了这样一个定理:若复数域上的线性齐次微分方程组:y_ i(t)=sum from to (n j=1) f_(ij)(t)y_j(t),0≤t<∞,i=1,…,n,(0)满足:(ⅰ)当i≠j时lim f_(ij)(t)=0;t→∞(ⅱ)存在正数C及t。使R_e[f_(j-1,j-1)(t)-f_(jj)(t)]≥C对t≥t。及2≤j≤n成立,那末,方程组(0)的解的第j个特征数λ_j=■ 1/t integral from n=0 to t(Re f_(jj)(τ)dτ,j=1,…,n.)关于这个定理,某些微分方程方面的著作给出了详细的介绍,例如[1.pp.132-146],[2.pp.187-193],等等。本文则推广了这个定理,取消了上述两个对f_(ij)(t)的较为严格的限制条件而代之以一些较为宽容的条件。按照本文的结论,我们(ⅰ)不必要求t-∞时f_(ij)(t)→0,甚至不必要求f_(ij)(t)有界;(ⅱ)不必要求Re[f_(j-1,j-1)(t)-f_(jj)(t)]≥C对某一正数C及t≥t_o成立,甚至不必要求Re[f_(j-1,j-1)(t)-f_(jj)(t)]≥0在t≥t_o之后永远成立,但我们最后仍能根据系数矩阵(f_(ij)(t))给出方程组(0)的特征数的估计式。     

广义Volterra系统的稳定性

考虑微分方程组_i=x_i(ei+sum from j=1 to n fi_1(x_i)) i=1,2,…,n(1)作为n 物种广义Volterra 系统的模型,其中ei 是实常数,f_(ij)(0)=0,(?)i,j.本文讨论了(1)的正平衡点(q_1,q_2,…,q_n)的稳定性问题.主要注意具有下面特征的被食者——捕食者系统:f_(ii)~′(qi)≤0,f_(ij)~′(qi)f_(ji)~′(qi)<0 当(i-j)f_(ij)~′(qi)≠0时,利用图论和Lasalle 定理,得到(1)的正平衡点是渐近稳定的一些充分条件.     

关于递推关系αa_(i-1,j-1) βa_(i-1,j)=a_(i,j)

研究了满足ααi-1,j-1 βαi-1,j=αi,j的序列{αi,j}.用发生函数法得到了n 1阶矩阵A=(αi,j)(n 1)-(n 1)的精确表达式.用数学归纳法证明(1-βx-axy)中一般项xiyi(i≥j)的系数为αjβi-j i n-1 n-1 ij.导出了一些有关二项式系数(nk)的新的组合恒等式.     

一些在亚贝尔群上与多项式相联系的函数方程(Ⅰ)

在亚贝尔群上得到函数方程f_3(x_1+x_2+x_3)-[f_(21)(x_1+x_2)+f_(22)(x_1+x_2)+f_(23)(x_2+x_3)]+f_(11)(x_1)+f_(12)(x_2)_f_(13)(x_3)=0和f(x_1+x_2+…+x_n)-sum from i=1 to (n-1)sum from j=2 to n f_(ij)(x_i+x_j)+sum from i=1 to n f_i(x_i)=0的一般解。     

大型控制系统在镇定理论中的分解问题(1)

本文应用李雅普诺夫函数分解法研究了大型定常线性控制系统 X_i=A_(ii) B_(ii)U_i sum from j=1 j≠i to S(A_(ij)X_j) sum from j=1 j≠i to S(B_(ij)U_i)(i=1,2,…,s)在镇定理论中的分解问题;同时给出了分解系数的估计公式,我们有以下定理:假设孤立系统(2.3)是能控和能观测,不论孤立子系统(2.4)的零解是部分渐近稳定,部分不稳定,存在▽_1>0,▽_2>0,使当E_1<▽_1,E_2<▽_2时,则大型定常控制系统(2.2)的闭环大系统的零解是渐近稳定的。此处▽_1=min[h_4/4(h_2 N~2H)(n-ni),i=1,2,…,s] ▽_2=min[h_4/4m~2r(h_2 N~2H)(n-ni),i=1,2,…,s]     

关于递推关系aai-1,j-1＋βai-1,j=ai,j

研究了满足ααi-1,j-1+βαi-1,j=αi,j的序列{αi,j}.用发生函数法得到了n+1阶矩阵A=(αi,j)(n+1)×(n +1)的精确表达式.用数学归纳法证明(1-βx-αxy)-n中一般项xiyj(i≥j)的系数为αjβi-j(i+n-1/n-1)(i j).导出了一些有关二项式系数(n k)的新的组合恒等式.     

一类非线性滞后型系统解的指数渐近稳定与准指数渐近稳定性

本文绘出了形如x_i(t)=sum from i=1 to n[f_(ij)(x_j(l))+g_(ij)(x_j(t-i))](i=1,2,…,n） 的滞后型系统零解指数渐近稳定的一个判定定理,并给出零解难指数渐近稳定的定义和几个判定定理。     

关于递推关系ααi-1,j-1+βαi-1,j=αi,j

研究了满足ααi-1,j-1+βαi-1,j=αi,j的序列{αi,j}.用发生函数法得到了n+1阶矩阵A=(αi,j)(n+1)×(n +1)的精确表达式.用数学归纳法证明(1-βx-αxy)-n中一般项xiyj(i≥j)的系数为αjβi-j(i+n-1/n-1)(i j).导出了一些有关二项式系数(n k)的新的组合恒等式.     

线性微分方程系的概周期解

这里x=col.(x_1,x_2,…,x_n),A(t)是t的一致概周期(一致Π.Π.)n阶方阵,f(t)是t的一致Π.Π.n维列向量函数,‖x‖=sum from i=1 to n |x_i|,A(t)=(α_(ij)(t)),‖A(t)‖=sum from i+j=1 to n|α(ij)(t)|或欧氏模。 从文[1]知,对于周期线性系统情形:A(t+T)=A(t),f(t+T)=f(t),T>0,系统(1)有T-周     

一类非线性自治大系统的全局稳定性

本文研究非线性自治大系统 dx_i/dt=sum from i=1 to r(f_(ij)(x_j)) (i=1,…,r) 这里,x_i∈R~(ni),f_(ij)∈C(R~(nj),R~(ni),f_(ij)(o)=0,得到保证其零解为全局一致渐近稳定的充分条件(见定理1)。     

具有可非可和关联的大系统的全局渐近稳定性

本文利用向量Liapunov函数方法,且通过具体地构造Liapunov函数给出具有可非可和关联的大系统??为全局渐近稳定的充分条件.该条件不仅适用于具有可和关联大系统,也适用于具有非可和关联大系统.     

离散大系统周期解的存在性

本文的目的在于综合运用比较原理和李雅普诺夫函数分解法来讨论离散大系统周期解的存在性问题.首先改进了文[2]中的一个充分条件(Th1).主要结果是分别运用标量和向量李雅普诺夫函数分解法给出了离散大系统(3.1)的T-周期的存在性的充分条件(Th2.Th 3.).作为标量法的例子考虑线性离散大系统(ρ),得到了(ρ)存在T一周期解的较文[7]更简单的条件(Th4.).     

一类中立型时滞微分大系统的渐近稳定性

ＷａｎｇＷ．Ｊ．（１９９１）利用Ｌｙａｐｕｎｏｖ函数的方法。研究了一类大型滞后系统的渐近稳定性。本文利用Ｍ－矩阵及不等式技巧首先讨论一类泛函积分方程的零解的渐近稳定性，得到了其零解渐近稳定的判定定理，并利用它来判定一类中立型大系统的渐近稳定性。     

具有参数扰动的时滞大系统鲁棒稳定性的充分条件

本文提出了具有参数扰动的时滞大系统鲁棒稳定性的充分条件，该条件改进了Ｋ．Ｍｉｚｕｋａｍｉ，Ｓ．Ｙ．Ｚｈａｎｇ，及Ｈ．Ｓ．Ｗｕ等人近期的相应结果     

稳定性理论中方程组的分解问题

本文分两部分,第一部分研究了由常微分方程所描述的大系统的稳定性,我们研究了常系数线性大系统的稳定性、变系数线性大系统的稳定性以及非自治非线性大系统的稳定性;第二部分研究了由差分方程所描述的大系统的稳定性,利用向量李雅普诺夫函数方法与标量李雅普诺夫函数方法,我们研究了具有时变系数的线性差分大系统的稳定性。对于每个系统,我们构造了具体的李雅普诺夫函数,并得到了关联项的界限。     

具有时变时滞的不确定大系统鲁棒稳定性的简捷判据

用Lyapunov泛函方法讲座了具有时变时滞的不确定线性大系统的鲁棒稳定性得到了具有时变时滞的不确定线性大系统鲁棒稳定性的简捷判据.最后,给出了本文结论的两个示例并与前人的结论作出了比较.研究结果表明结论给出的条件在判时变时滞的不确定线性大系统的鲁棒稳定性时较前人的相关结论更为有效.参9.     

离散大系统在结构扰动下的稳定性

在本文中,我们引进了离散大系统在结构扰动下稳定性的概念,并利用李雅普诺夫函数方法,得到了离散大系统关联稳定性的若干充分条件。