简介:本文讨论形如AnX—ACnX的方程,其中An是一个对称三对角矩阵,Cn是一个对角矩阵.对矩阵An进行3×3分块,给定An的一个非顺序主子阵Ar+1,r+s,给定Cn和四个向量X1=(x1,…,xr),X3=(xr+s+1,…+,xn)Y1=(y1,…,y1),Y3=(yr+s+1,…,yn)'和两个不同实数A,P,构造一个对称三对角矩阵A。和两个向量X2=(Xr+1,…,Xr+x)',Y2=(yr+1,…,yr+s)’,满足AnX=λCnX和AnY=μCnY,其中X=(X1,X2,X3,Y=(Y1,Y2,Y3)本文给出问题有解的条件,解的表达式和相应算法,并给出数值算例验证算法的有效性.
简介:讨论了具有热储备和两个独立相同部件的平行系统在由常规错误引起失效下的渐进稳定性.首先,利用Banach空间的Volttera算子方程得到了非负动态解的存在唯一性;然后,利用强连续线性算子半群理论证明了系统正的动态解的存在唯一性,而由于初始值不在定义域内,故得到的是mild解.但在t>0时系统古典解存在唯一,所以此时mild解即为古典解.最后,利用线性算子半群稳定性的结果,证明了该动态解在范数意义下收敛到稳态解,进而得到了系统的渐进稳定性.