一组带扰积分算子M-P逆的抗扰投影逼近

高洁

(武汉大学数学与统计学院,湖北武汉 430072)

1 引言

考虑第一类算子方程

其中T∈B(X,Y),f∈Y是已知项,φ∈X 为未知项,这里B(X,Y)表示Hilbert空间X 和Y之间的全体有界线性算子所组成的Banach空间,并以D(T),R(T),N(T)分别表示T的定义域,值域,零空间.

方程(1.1)不一定有解,即使有解也不一定是唯一的.因此,考虑方程(1.1)的最佳逼近解φ∞=T†f,其中T†是T的Moore-Penrose广义逆.人们感兴趣的是dimX=∞时φ∞的有限维投影逼近问题.为此,取完备(正交)投影格式(X,{Xn};Y,{Yn}),即,{Xn}和{Yn}分别是X和Y上的有限维子空间序列,满足

其中Pn:X→Xn,Qn:Y→Yn为正交投影算子,而IX和IY分别表示X上和Y上的恒等算子.考虑方程(1.1)的有限维投影近似系统

其中Tn:=QnTPn:Xn→Yn,fn=Qnf.我们感兴趣的是φn:=能否逼近φ∞:=T†f的问题,文献[1–8]系统的研究了上述问题,给出了T†的投影逼近格式{}强收敛和弱收敛的充要条件.

对于方程(1.1),还会不可避免的出现扰动问题

其中S∈B(X,Y)适合

文献[9–20]对扰动问题(1.3)已经作出了系统分析,给出了稳定扰动的一系列刻画.

本文关心的是T†的投影逼近格式{}的强收敛性是否经得起稳定扰动.即若S适合(1.4)式,是否有

其中Sn:=QnSPn.这是方程(1.1)的计算格式{}及其扰动系统(1.3)的计算格式{(Tn+Sn)†}所面临的格式扰动基本问题.文献[21–27]对上述问题在T是单射的情况下给出了一些零散的结果,这些结果有些只能适用于T的定义空间X是有限维的情形[26],鉴于上述问题在一般情形下是一个非常困难的问题,难以给出统一的判断条件,本文考虑一个特定的积分算子

研究(1.5)引出的第一类算子方程和第二类算子方程的计算格式所面临的格式扰动基本问题,给出了完整的收敛性分析.

本文以下由三节组成:第二节研究由积分算子(1.5)引出的第一类算子方程;第三节研究了由积分算子(1.5)引出的第二类算子方程;最后一节是结论和评注.

2 第一类算子方程

考虑由积分算子(1.5)引出的第一类算子方程

还易知对任意的f=ax+b∈R(T),方程(2.1)有如下最佳逼近解

取Xn为

对任意的f∈Y,此时方程(2.1)在Xn上的最佳逼近解为

其中Kn:=KPXn.当方程有扰动S∈B(X)时,若S适合条件(1.4),有如下定理.

定理2.1 对上述积分方程(2.1),考虑形如(1.2)的投影方程,其中Xn如上所述,Kn=KPXn,那么进一步,若S适合条件(1.4),则

再由f=ax+b,那么

下面考虑有扰动的算子的抗扰稳定性问题,即对任意的S∈B(X),满足条件(1.5).令eK=K+S,由文献[18]定理4可知∥−P∥<1,其中,P分别是Y到R(K)及R(K)上的正交投影.再根据文献[28]可知dimR()=dimR(K)=2<∞,即,K都是有限秩算子,那么S=−K 也是有限秩算子,即dimR(S)<+∞,再利用文献[29]引理4.2.1,那么则

其中 Q=(IX+K†S)−1(IX−K†K),B=(IX+K†S)−1K†,这里 O(Q),O(eKB)表示从X 到R(Q)和从X 到R(eKB)的正交投影,即

那么

其中

3 第二类算子方程

对λ∈C{0},考虑第二类算子方程

易知

且

并令Tn:=TPXn,n∈N,其中{Xn}是X的一列适当的有限维子空间.

注3.1 注意,算子T为双射时,此时子空间的选取如下

对任意的f∈Y,方程(3.1)的解为

相应的投影解为

将不会恒成立,即条件(1.4)将无法再保证,而Banach逆算子定理和Neumann级数仅适用于单射的情形.为了研究问题,必须讨论稳定性条件

是否成立,根据文献[4]定理1.1,这只需判断,是否存在n∈N,使得条件N(T+S)⊂Xn成立.一般地,上述条件成立有赖于{Xn}的选取.在此我们给出{Xn}的一种选法使上式不成立,从而说明此时方程(3.1)的收敛的投影近似格式经不起稳定扰动.

取Xn,Yn为

其中

进一步,对任意的S∈B(X),若条件(1.4)成立,如下定理成立.

定理3.1 对上述积分方程(3.1),考虑形如(1.2)的投影方程,其中Xn,Yn如上所述,那么对任意的f∈Y,有

从而积分方程(3.1)的最佳逼近解如下:对任意的f∈Y,

证 由于N(T)⊂X1,利用文献[4]定理1.1可知

下面考虑扰动的情况,当S∈B(X),下面给出反例,说明在不补充其他条件的情况下,经不起稳定扰动,请看下面的反例.

那么S∈B(X,Y),且对充分小的ε,满足条件(1.4),那么

由于

且dimN(T+S)=1,但此时不存在n∈N,使得N(T+S)⊂Xn,由文献[4]定理1.1可知稳定性条件不满足,即

4 总结

对方程(1.5)引出的第一类算子方程(2.1),我们得到了定理(2.1).实际上,对于一般的有限秩算子,定理(2.1)的结论也是成立的,我们有如下的结论.

结论4.1 对积分方程(1.1),设dimR(T)<∞,考虑形如(1.2)式的投影方程,其中{Xn}是X 的一列有限维子空间,Tn:=TPXn,且{Xn}满足

(X,{Xn})为完备(正交)投影格式.那么对任意的f∈Y,有进一步,若S适合条件(1.4),那么

注4.1 上述结论4.1,仅仅只能适用于有限秩算子,但是对于一般的无限维算子,这个结论是不能成立的.

实际上,这两种情况就是讨论了第二类积分方程中λ的选取问题,情况一实际上讨论了λ=0,情况二中讨论λ是否为算子K 的特征值的情况,这说明针对于算子(1.5),第二类积分方程的最佳逼近解的投影逼近格式是否经得起稳定扰动,与λ的选取有关.因此可以给出如下的推论.

结论4.2 已知积分算子(1.5),设第二类积分方程

考虑形如(1.2)式的投影方程,其中{Xn}是X 的一列有限维子空间,Tn:=TPXn,且{Xn}满足

(X,{Xn})为完备(正交)投影格式,对任意的n∈N,满足稳定性条件:令:=T+S∈B(X,Y),其中S∈B(X,Y)是任意充分小的扰动算子,适合条件(1.4),那么有如下结论