非自治半线性发展系统的近似可控性(英文)

利用线性发展系统的可控性及分数次幂算子的性质研究了非自治半线性发展系统的的近似可控性。

Banach空间中半线性非自治微分方程的概自守解

讨论Banach空间中半线性非自治微分方程的概自守解.首先,利用发展系统理论证明半线性非自治微分方程的概自守解的存在性和唯一性.其次,利用Banach不动点定理,证明非自治微分方程的概自守解的存在性和唯一性.

Existence results for a class of parabolic evolution equations in Banach spaces

We discuss the existence results of the parabolic evolution equation d(x(t)+g(t,x(t)))/dt+A(t)x(t)=f(t,x(t)) in Banach spaces, where A(t) generates an evolution system and functions f,g are continuous. We get the theorem of existence of a mild solution, the theorem of existence and uniqueness of a mild solution and the theorem of existence and uniqueness of an S-classical (semi-classical) solution. We extend the cases when g(t)=0 or A(t)=A.

一类非瞬时脉冲发展方程解的存在性

在Banach空间中研究一类具有记忆型非瞬时脉冲和非局部条件的半线性积分-微分发展方程mild解的存在性和唯一性,利用算子半群理论、Banach压缩原理和Krasnoselskii's不动点定理给出主要结果的证明,进一步得到该问题强解存在的充分条件.与以往具有非瞬时脉冲的发展方程模型相比,本文所讨论的双参数发展系统问题更具有复杂性,所获结论推广和发展了已有的相关结果.最后,通过例子给出了主要结果的一个应用.

一类时变预警可休假系统解的存在惟一性分析

研究了一类修理工可多重延误休假且带预警装置的简单可修复系统,其中系统的失效率和修理工的延误休假率均与系统的运行时间有关.首先运用概率分析的方法将系统模型表示为一组积-微分方程,然后将系统方程转化为一个Banach空间中的抽象半线性发展方程的初值问题,并利用C_0半群理论讨论了系统解的存在惟一性条件.