热门搜索 :
考研考公
您的当前位置:首页正文

Banach空间中有界线性算子的Moore-Penrose度量广义逆的扰动分析

来源:伴沃教育
第24卷 哈尔滨师范大学自然科学学报 Vo1.24,No.6 2008 第6期 NATURAL SCIENCES JOURNAL OF HARBIN NORMAL UNIVERSITY Banach空间中有界线性算子的 Moore—Penrose度量广义逆的扰动分析木 马海风 李双臻 刘冠琦 王玉文 (哈尔滨师范大学) 【摘要】 对度量广义逆中Moore—Penrose度量广义逆的扰动进行了初步的研 究.给出了度量稳定扰动的定义,应用度量稳定扰动的定义及广义正交分解定理给出 在一定的范数下,有界线性算子的单值度量广义逆Moore—Penrose度量广义逆的误 差界估计. 关键词:Banach空间;度量广义逆;扰动 笔者对度量广义逆中Moore—Penrose度量 0 引言 广义逆的扰动进行了初步的研究.首先,定义了度 广义逆的扰动理论在数值代数中有着非常重 量稳定扰动,然后,应用度量稳定扰动的定义及广 要的作用.在Stewart、Wedin等人分别给出了方阵 义正交分解定理给出笔者定义的范数下,有界线 和长方矩阵的扰动理论-】 以后,有关加权广义 性算子的Moore—Penrose度量广义逆的误差界 逆一Drazin逆、Bott、Dufifn逆、广义Bott—Dufifn 估计. 逆的扰动理论的文章陆续问世-4一 J. 笔者仅讨论了有界线性算子的单值度量广义 Banach空间线性算子的线性斜投影广义逆 逆在一定的范数下的扰动,集值度量广义逆的扰 已不具备外逆的稳定性(因为内逆是不稳定的), 动、单值度量广义逆在一般范数下的扰动等问题, 因而讨论其稳定性条件及连续条件就显得非常重 还有待于进一步探究. 要.M.Z.Nashed在参考文献[8]中给出有界线性 算子T的线性斜投影广义逆 ,与 经过扰动后 1 基本概念与引理 的算子 的线性斜投影广义逆 的误差估计. 设 、】,为Banach空间, ( ,】,)为从 到l, 到目前为止,连续线性算子的线性广义逆的 的线性线性算子, ( ,y)为从 到l,中的有界线 扰动理论已经基本成熟,有了一些一般性的结果. 性线性算子.算子 的零空间与值域分别为 但是,由于度量广义逆的非线性(不可加)、集值 Ⅳ( ), ( ). 性,使得一系列研究广义逆扰动的方法及理论在 元素 ∈D(T)c X称为Tx=Y的极值解是 研究度量广义逆时不适用,这就决定了研究度量 指 =‰为泛函 _+l Ir(x)一Y Il的最小值点, 最小范数的极值解叫最佳逼近解或最小范数极值 广义逆的扰动的困难性. 收稿日期:2008—07—21 }国家自然科学基金资助项目(10671049)、黑龙江省教育厅科学技术资助项目(11531248) 2 哈尔滨师范大学自然科学学报 2008拄 解 定义1.1【9 设 、y为Banach空间,T E L(x,y),Ⅳ( ),R( )分另U为 、l,中的Chebyshev 子空间,如果齐次算子 :D( )一D( ),满足 (1) T=T,在D( )上; (2) = ,在D( )上; (3) T=Io(即一7r而,在D( )上; (4) =仃丽,在D( )上, 则称 为 的Moore—Penrose度量广义逆,其中 D( )=R( )4-F; (R(T) ). 引理1.2【9 (广义正交分解定理) 设 为 Banaeh空间, 为 的闭子空间.若 为 中迫近 集,则Vx E X,有分解式 = 0+ l, 这里 ∈P ( ), 。∈ ( ). 若£为 Chebyshev集,则分解式唯一且 =仃 + l, l∈ (L ).其中P ( )={仃 }. 引理1.3【9 设 、y为Banach空间,T∈ 8(x,y),iv( ),R(T)分别为 、y中的Chebyshev 子空间,Fr:y=亭y’为对偶映射,则 的Moore— Penrose度量广义逆 唯一存在,且 (,,)=( l c(n)~仃丽(),),Y E D( ), 其中D( )=R(T)4-,; (R( ) ),c(T)= D( )n (Ⅳ( ) ). 引理1.4[1。 设T∈B(X,Y),N(T),R(T) 分别为 、y中的Chebyshev子空间, =T+ , b∈JR( ),且b≠0,则对任意 E Is( ,b)有 0 0 ll艿 Il≤dist( ̄,S(T,b))≤ lI 0 ll Il l1. 2 主要定理 设 、y为Banach空间,B( ,l,)为从 到y 的有界线性算子,L(X,Y)为从 到y的线性算 子. 本章将在Banach空间中,初步讨论有界线性 算子的Moore—Penrose度量广义逆的扰动.在此 之前,我们首先定义度量稳定扰动. 定义2.1 设T∈B(X,Y),N( )与R( )分 别为 、】,中chebyshev子空间,若6T ft.B( ,Y) 满足 =T+6T,且Ⅳ( )与R( )分别为 与y 中ehebyshev子空间,则称 为 的度量稳定扰 动. 定义2.2设T E B(X,Y),N(T)与R( )分 别为 、l,中chebyshev子空间,记 △( )={6T E 8(x,rr):6T为 的度量稳定 扰动} 易知△( )≠ . V8( )∈△ ,令 =T+ ,由弓I理1.3可 知 与 的Moore—Penrose广义逆均存在,且 D( )=R(T)4-F (R( ) ), D( )= ( )4-F (R( ) ). 因为R(T)、 ( )均为chebyshev子空间,由广义 正交分解定理(见引理1.2)可知 D( )=D( )= 再记 (T)={b∈Y:Fy( 6一 6)nⅣ(T) ≠ (2j} 则显然0∈ (T),故 r( )≠(2j,且y ( )c y为齐性集. 引理2.3 设 、y为Banach空间,T∈ B(X,Y),且J7v( )与 ( )分别为 ,y中 chebyshev子空间,则△( )\{0}≠【2j. 证明 任取 ∈R,令6T=.r( ).则 =T+6T=(1+丁) , 从而Ⅳ( )=iv(T),R( )=R( ),于是 6T∈/t( ). 定理2.4 设 、y为Banach空间,T∈ B(X,Y), =T+艿 令Ⅳ(T)、Ⅳ( )与R( )、 尺( ),分别为 、y中ehebyshev子空间,8T∈ △( )且Il l IlI <l,贝U ≤II ̄'II ≤ ㈩ 这里II Il为有界齐性算子范数,而 6S U E r(7_) 斋 ” ” 如果 ( )={0},规定 II 一 Il。=0. 证明 由条件可知,Ⅳ( )、J『v( )与 ( )、 尺( )分别为 、y中的ehebyshev子空间,应用引 理1.3,推知 与 均存在,且 D( )=R(T)牛F (R(T) ); D( )=R( )+F;‘(R( ) ). 由于R( )、R( )均为l,中的ehebyshev子空 间,应用广义正交分解定理,我们有 JD( )=D( )= 若 (T)={0}.则(1)为平凡的,否则 V b∈ r(T),b≠ ,元= 埘6∈S( ,6).应用弓I 第6期 Banaeh空间中有界王选性算子的Moore—Penrose度量广义逆的扰动分析 3 理1.4,我们有 dist(i,S(T,b))≤I ll JII艿 注意到 S( ,6)= 6+Ⅳ( ), l 『lI. (2) (2) { }, 存在,且 ≤ ‰ 证明 (1)因为T∈B(X,Y),R( )闭,由参 考文献[1O]知 的Moore—Penrose广义逆 存 在.再由l lIl lI ll<l且 ( )n N(T )= 为闭线性流形,且由Ⅳ( )为chebyshev子空间, 知S(T,b)为chebyshev线性流形,从而 dist( ̄,S(T,b))=dist( , 6+Ⅳ( )) =l1 6一 6一仃 (n( 6一 6)lI.(3) 这里丌Ⅳ(n为从 到J7v( )上的度量投影算子. 记 肼b=( 一 )6.由于b E (T),从而 (不妨设 .b≠ ),., ( )n N(T) ≠ , (4) 任取 ’∈F ( )n N(T) ,贝ⅡV ∈Ⅳ( ),有 lI Il 2=< ’, JbIf >=< ’, ^b一 > ,≤0 。fI【I 村b一 II, 注意到IJ II=0 ’I}≠0,于是 I b一0 lJ= I b— l1. 因此,由Ⅳ( )为chebyshev子空间,且 仃^,(力( )=0, (5) 将(5)代人(3),得 dist( ̄,S(T,b))=I l6一 6I1. 再由(2)式,有 lI( 一 )b Il≤lf I艿 ll  Ib Il 从而 ≤II ̄II II aT f. 对上式左端,关于b∈ (T)取上确界,有 <II r ̄II . 由于Il l Ill lJ<1,则 ≤ 值得注意的是:当 、y为Banach空间的特例 Hilbert空间时,由上述结果可以方便得导出众所 周知的扰动定理,即下面的推论2.5. 推论2.5 设 、y为Hilbert空间, T=T+ ,T∈8(x,Y),且 ( )为闭子空间,如 果8T∈B(X,Y),满足lI Il I I<1,且 尺( )nⅣ( )={0},则 的Moore—Penrose广 义逆存在且 (1) I≤ ; =( —T at) T’ 从而 II/'+II≤ ・ (2)由条件,从而由定理2.4,得(T = , = ) 0 一 II。≤lI l lII l1 0 l1. 再由已知条件中的(1)及上式得 ≤ ‰ 定理2.4仅仅考虑的是有界线性算子 的 Moore—Penrose广义逆 ,与 的是Moore— Penrose度量广义逆 在笔者定义的范数下的误 差估计.更一般形式的度量广义逆的扰动有待于 进一步研究. 参考文献 [1] Stewart.G.W.On the continuity of the gneralized inverse [J].SIAMJ Appl Math.。1976。17:33-45. E2 2 Stewart.G.W.On the pertyrbation of pseudo—inverse:Pro- jections and Linear Least squares problems[J].SIAM Re- view,1977,19:622—634. [3] Wedin.P.A.Perturbation theory for pseudo—inverse[J]. BIT,1973,13:217—232. [4]王国荣.加权Moore—Penrose逆的扰动理论[J].应用数学 与计算数学学报,1987,1:48-60. [5]GuarIgIIao Rong.The error bound ofthe perturbation the Drazin iIIv嘲 J】.IjT髓r Alj n and its Appl_I 1982,47:159-468. E6 2 WangGuorong,Wei Yimin.Perturbationtheoryforthe Bott— Dufifninverseandits appliactoins[J].J ShanghaiNormalUni— versity,1993,22(4):1-6. [7]Liu Guoming,Chen Guoliang.Perturbatin for the generalized Bott—DI曲n inverse[J].J East China Nomud University, 2000,1:1—6. [8] M.Z.Nashed.Generalized Inve ̄e and Applications.New York/London,1976. [9] 王玉文.巴拿赫空间中算子广义逆理论及其应用.现代数学 基础丛书94,北京:科学出版版社,2005. [10] 马海风,王玉文.单值度量广义逆的扰动分析.哈尔滨师范 大学自然科学学报,2006,22(2):8—10. [1I]HngLiu,YuwenWang.Best generalizedinverse oflinearop- emtor in normed linear 8psce.Linear Algebra and Appliac- itons,2007,420:9—19. (下转第ll页) 第6期 一类广义Kac—Moody代数的虚根系及由其特殊虚根决定的反射 11 RELATIoNSHⅡ’DETERMINED BY GINARY RooTS FoR A SPECIAL GKM ALGEBRA Song Xinfang Gu Licui Luo Fengjie (Beijing Jingbei Vocational Campus) (Heilongjiang University of Chinese Medicine) (Harbin Institute of Technology) Yang Xiaodan f The Academy of Equipment Command&Technology) Wang Shuqin (Harbin Normal University) ABSTRACT In this paper we give the imaginary root for a special GKM algebra at first.And then we give a definition ofr a specila imaginary root.Also we get a relationship between reflections determinedly imaginary roots and hte weyl group for the special GKM Algebra. Keywords:Weyl group;Imaginary rot;Specila imaginary root;GKM Algebra;Purely imaginary root; Strictly imaginary root (责任编辑:李双臻) (上接第3页) PERTURBATIoN ANALYSIS F0R M00RE—PENRoSE METRIC GENERALIZED INVERSE oF BoUNDED L玎 EAR oPERAToRS IN BANACH SPACE Ma Haifeng Li Shuangzhen Liu Guanqi Wang Yuwen (Harbin Normal Universiyt) ABSTRACT In this paper,we have carried on the preliminary inquisition to perturbation analysis for Moore—Penrose metric generalized inverse of bounded linear operators in Banaeh space.In here,we have given the definition of stable perturbation,and then we apply this definition and generalized orthogonal decomposition theorem to igve under certain nonTl Moore—Penrose metric generalized inverse eITor bound estimate. Keywords:Banach Space;Metric Generalized Inverse;Perturbation (责任编辑:李双臻) 

因篇幅问题不能全部显示,请点此查看更多更全内容

Top