| 摘 要： | 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)的特征数的估计式。
|
