四分块算子矩阵Drazin逆的表示.pdfVIP

应 用 数 学 MATHEMATICA APPLICATA 2015，28(3)：490-496 四分块算子矩阵Drazin逆的表示 石云峰 ，黄俊杰 ，阿拉坦仓 ， (1．内蒙古大学数学科学学院，内蒙古呼和浩特010021； 2．呼和浩特民族学院数学系，内蒙古呼和浩特 010051) 摘要： 本文研究定义于复Banach空间上的四分块算子矩阵的Drazin逆的表示，此 问题是1979年S．L．Campbel和C．D．Meyer提出的公开问题．结果表明主要定理是 最近的某些研究进展在不同程度的推广，此外还举例说明了结果的有效性． 关键词：Drazin逆；四分块算子矩阵；Banach空间 中图分类号：O151．21；O177．2 AMS(2000)主题分类：15A09；47A05 文献标识码：A 文章编号：1001—9847(2015)03—0490—07 1．引言 设 ，y是复BaIlach空间．记 ( ，y)是从 到y的所有有界线性算子的集合，特别地， ~AB(x)表示13(x， )．设 ∈B(x)，若存在TD∈B(x)使得算子方程组 D TTD ， TD D ： D ， +1 D — 对某个非负整数k成立，则称 是Drazin可逆的【卜21．事实上，上述方程组如果有解则解必定唯 一 ， 这个唯一的解 D称为 的Drazin逆，并称使得方程组成立的最小非负整数为 的指标，记 作ind(T)．显然，T可逆当且仅当ind(T)=0，当ind(T)=1时TD称为T的群逆，记作T口． Drazin逆在Markov链，奇异微分方程与差分方程，优化控制，多体动力系统，密码学等诸多 领域有着广泛而深刻的应用【1I3】．自1958年M．P．Drazin【4】首次在半群与结合环上引入Drazin逆 以来，许多学者对其进行了深入而有益的研究．1979年s．L．Campbel和C．D．Meyer提出四分块 矩阵 M： A B＼ ＼ D／ 的Drazin逆可否由其内部项 ，B， 及与之相关的Drazin逆表示出来，该问题对求解奇异微 分方程具有重要意义[3I5】．文[3，6】针对上(下)三角情形给予了肯定的回答，其后许多学者对 上(下)三角的条件做了不同程度的推广【3， 16】．据作者所知，一般的四分块情形MD的表示依 然是一个悬而未决的困难问题．以下谨列举某些近年来已经解决的情形： fi1 JE}C=DC ：BD =0[171； (i)BC=BD=0，D是幂零的 【18]； (ii)BC=BD=0 I 7]； 收稿 日期：2014-04-28 基金项目：国家 自然科学基金 11371185)，内蒙古 自治区自然科学基金 (2013JQ01 2013ZD01) 作者简介：石云峰，男，汉族，陕西人，研究方向：动力系统，谱理论． 通讯作者：黄俊杰． 第3期 石云峰等：四分块算子矩阵Drazin逆的表示 491 (iv)ABC=D：0[19 ； (v)ABC=DC=0，BC是幂零的 【15】； (vi)ABC=DC一0，D是幂零的 [15】； (vi)ABC=BD=DC=0[i8】． 本文探讨四分块算子矩阵Drazin逆的表示，并将(v)一(vi)的条件直接简化为条件ABC= BD(或DC)=0．为便于叙述，文中通篇采用如下的假设及符号． 设复Banach空间 可分解为 =y 0 Z，其中 Z C X是 的闭子空问，用Py，Pz= — 分别表示沿z，y在 上的投影．设M ∈ ( )，则M可表示为 M =( A DB)， 其中A =P~(MIY)∈ (y)，B =Pr(MIz)∈8(z，y)，C=Pz(MIY)∈ ( z)，D = P~(MIz)∈ ( )，MIy，MIz分别表示算子M在子空NY,么上的限制． 假定／lD，DD，(BC)D总存在，并记V1=ind(A)，V2=ind(D)，V3=ind(BC)． 对于算子T∈ (x)，符号JD(T)，盯( )，r(T)分别表示其预解集，谱集和谱半径．记 = ，一 D， 是单位算子，用 表示取整函数(即不超过 的最大整数)．为了方便，我们总认 为 。=0，即使 =0，且一个有限和为零，如果其求和下限大于求和上限(例如∑ ： f(k)=0 对每个定义在整数集上的函数f(k)成立)． 记△(入)=AI—A—BR(A，D)C，其中R( ，D)=(AI—D)_。， ∈p(D)． 2．辅助引理 1974年，s．R．Caxadus[20]基于预解式的Laurent展开给出了有界线性算子存在Drazin逆的 充分必要条件，见如下引理． 引理2．1设 E ( )，则 D存在当且仅当0∈p(T)或0 E ( )为预解式R( ， )的一个极 点，此时有 ind(T) ∞ R(A，