半群拟紧性和不可约性.pdfVIP

高校应用数学学报 2015，30(1)：84-90 半群的拟紧性和不可约性 郑 福 ，一，王佳妮 (1．渤海大学 数学系，辽宁锦州 121002； 2．中国科学院数学与系统科学研究院 系统控制实验室，北京 100190) 摘 要：利用算子半群生成元的边界扰动方法，给出了Banach格上 半群的拟紧性和 不可约性的充分条件．并利用该结果对一串联可修复系统的拟紧性和不可约性进行了 研 究． 关键词：Co半群；拟紧性；不可约性；可修复系统 中图分类号：0177．2 文献标识码：A 文章编号：1000—4424(2015)01．0084—07 §1 引 言 令 ，y为Banach空间，并用II．Ilx和II．IIy分别表示 和y上的范数．D()是 的稠密线性 子空间，l-l是D()上的另一范数，使得(D()，l·I)是完备的且从(D(A)，1．1)到(，l1．II)的嵌 入算子是连续的．算子A ：(D()，1．1)一 和算子L：(D()，1．1)一y均是连续线性算子，且 算子L为满射，即：算子L的像集ImL为全集y．设KerL表示算子 的核空间，用Ao来表示限制算 ：y-AIK。rL，假设Ao是空间X上某个 半群( (t))t0的无穷小生成元．设 ： —y为有界线性 算子，利用算子 ，定义算子A 如下： A ：=Ax，D(A )：：{∈D(A)：Lx= z)． 上述框架首先 Greiner[i]在1987年首次提出，他称其为生成元的边界扰动．Greiner对其进 行了详细研究，在算子 生成 半群、解析半群或紧半群时，给出合适的条件，算子A 也生成 相应的半群．2003年，Casarino，Engel，Nagel，~DNickel将Greiner的想法用算子矩阵来表述，提 炼出一种处理静态边值问题的有效方法2【】．2004年，Nickel将文2【]的方法推广更一般的情形 并给出一种处理动态边值 问题的方法 4【J_ 近十年来，文f1—4】的方法被广泛用来研究发展方程的适定性、稳定性及其相关问题的研 究，如具有Wentzell型边界条件的波方程 排队论系统的适定性和稳定性[07‘】等，在此只列出 其中一部分．在上述应用中，都直接或间接地用到JGreiner的想法，本文仍从生成元的边界扰 动出发，试图解决如下问题：如果算子 0和 分别生成 半群( ())t0和( ())￡o，在何种 收稿 日期：2014．03—24 修回日期：2014—11—13 基金项 目：国家自然科学基金10371070) 郑 福等：丰群的拟紧性和不可约性 条件下，半群( (t))0是拟紧的和不可约的．拟紧性和不可约性的重要性是基于如下熟知结 果(见Is1定理C．IV．2．1和f91定理V．3．11)： 定理1．1 令((to是Banach格E上的一个正半群，若还是有界和拟紧的，且其生成元的 谱界为零．则存在一个有限维正投影Ⅱ和常数 0，M l，使得 IIT(t)一IIII Me ． 此外，如果半群((t))0还是不可约的，则正投影Ⅱ是一维的． 上述结果是研究发展系统定性行为的有效方法，因为满足定理的条件，半群解不仅收敛而 且指数收敛到唯一的稳态解，具体应用见[9]VI．4和[10】．然而在实际应用中，验证半群的拟紧性 和不可约性是比较困难的，针对这一情况，本文将给出合理而有效的充分条件，并用其来研究一 个可修复系统的拟紧性和不可约性． §2结果回顾及主要结论 首先回顾文[1]中关于生成元边界扰动理论的一些基本结果． 引理2．111,p ]) 设入∈p(Ao)．则D()是D(Ao)和Ker(一A)的直和．此外，LIK。(入一A)是 从Ker(A—A)~UYJ：的同构． 在此值得指出的是，LIK。fA—A)的逆在文[1—4]的方法中起着重要作用，文[2—4】的作者称其 为Dirichlet算子，并用j[)来表示这个算子，本文也沿用这个记号． 引理2．2【，p。】设 ∈p(Ao)