简介:通过构造拟上下解的单调迭代过程,在拟解对之间利用Sadvoskii不动点定理获得了Banach空间非线性三阶三点边值问题解的存在性.
简介:本文研究一个可靠机器、一个不可靠机器与只容纳一个部件的缓冲库构成的系统的时间依赖解的渐近行为.首先在我们已有的工作基础上指出该模型的主算子生成的C0-半群的本质增长界小于一个负数,由此推出0是该主算子的一级极点.然后用残数定理求该系统研究中出现的投影算子的表达式.最后证明该模型的时间依赖解指数收敛于其稳态解.本文的思想和方法适用于一个可靠机器、一个不可靠机器与容纳有限个部件的缓冲库构成的系统.
简介:本文讨论形如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)本文给出问题有解的条件,解的表达式和相应算法,并给出数值算例验证算法的有效性.