算子方程Xs+A*X－tA=Q的正算子解問題

楊凱凡， 李金龍， 竇艷妮

算子方程Xs+A*X－tA=Q的正算子解問題

楊凱凡1， 李金龍1， 竇艷妮2

(1．陜西理工大學數(shù)學與計算機科學學院，陜西漢中723001; 2．陜西師范大學數(shù)學與信息科學學院，陜西西安710062)

算子方程是算子論中的一個熱點問題，近年來得到很大的發(fā)展．利用算子論知識和構造迭代序列的方法，研究算子方程Xs+A*X－tA=Q的正算子解的問題，給出了算子方程Xs+A*X－tA=Q正算子解存在的一些必要條件和充分條件，并研究了方程中各算子的范數(shù)、譜半徑之間的關系，確定了解的范圍．

算子方程;譜半徑;正算子

近年來，X+A*X－2A=Q，X－A*X－tA=I等形式的矩陣方程受到國內(nèi)外許多學者的關注(參見文獻［1－5］)．前人在有限維空間上，利用矩陣論的知識，得到了這類方程有正定矩陣解的條件．本文將前人的研究結果從有限維空間推廣到無限維Hlibert空間中，在無限維Hlibert空間上，利用算子論的知識，研究了算子方程Xs+A*X－tA=Q正算子解問題．

設H是一個無限維可分Hilbert空間，B(H)表示H上的所有有界線性算子組成的全體．本文主要研究非線性算子方程

的正算子解的問題，其中X是B(H)上的未知算子，A，Q∈B(H)是給定的算子且Q＞0，t＞s是給定的正整數(shù)．本文給出了方程(1)正算子解存在的一些必要條件和充分條件．首先，給出本文中用到的一些符號和術語．

設A∈B(H)，如果對任意x∈H，都有(Ax，x)≥0，則稱A為正算子，記作A≥0(此處(x，y)表示向量x，y的內(nèi)積)．如果A是正算子并且是可逆的，則記為A＞0．若T，S∈B(H)是自伴算子，T≥S是指T－S為正算子，T＞S是指算子T－S為正算子并且是可逆的．對于A∈B(H)，A*、ω(A)、σ(A)、r(A)分別表示算子A的伴隨算子、數(shù)值域半徑、譜和譜半徑．

1 預備知識

首先，給出一些定義和基本引理．

定理1．1［6］設T∈B(H)，若T是正規(guī)的，則有r(T)=‖T‖．

定理1．2［6］設A、B是B(H)上的自伴算子且滿足A≤B，則對任意T∈B(H)，有T*AT≤T*BT．

定理1．3［7］設P、Q是正算子，且滿足P＞Q．如果PQ=QP，則對任意實數(shù)t≥1，有Pt≥Qt．

定理1．4［7］設T是B(H)上的可逆算子，則對任意x∈H有

對于B(H)上的正算子，顯然有:

1)若P≥Q＞0，則P－1≤Q－1;

2)對于B(H)上的正算子A，有A≤‖A‖I．

2 主要結論及其證明

證明 若算子方程(1)有正算子解X，則0≤A*X－tA≤Q且Xs≤Q．由A*X－tA＜Q可得

定理2．2 若算子方程(1)有正算子解X，記‖Q‖=a，則

證明 1)從方程(1)有

即

所以

根據(jù)X的譜分解可得

因此有

因此

2)由方程

有

根據(jù)Douglas值域包含定理，存在算子C∈B(H)且‖C‖=1使得

因此

所以

由此可得

定理2．3 若算子方程Xs+A*X－tA=Q有正算子解X，則有

證明 顯然A*X－tA≥0，所以由方程可知

因為t＞s，所以

所以

同理

所以

即

證明 若算子方程Xs+A*X－tA=Q有正算子解X且記‖Q‖=a則

所以

又因為

所以

因此A不是下有界的．

定理2．5 設A∈B(H)．算子方程Xs+A*X－tA=Q有正可逆算子解X當且僅當A有如下的分解形式Z，其中W、Z滿足W*W+Z*Z=Q且W是可逆的．

證明 設X為算子方程Xs+A*X－tA=Q的正

即X是方程(1)的一個正可逆算子解．

定理2．6 若算子方程Xs+A*X－tA=Q有正算子解X，則且其中是方程T)在區(qū)間上的解．

證明 來考慮迭代序列

令X是方程(1)的一個正算子解，則Xs=QA*X－tA≤Q，即Xs≤α0Q．假定Xs≤αkQ有

因此對任意n=0，1，2，…，Xs≤αnQ．容易驗證序列{αn}是一個單調(diào)遞減序列，所以{αn}收斂．令則

下面證明序列{αn}的極限在區(qū)間內(nèi)．假設顯然α0=1＞，則

［1］RAN A C M，MARTINE C B．On the nonlinear equation X+A*F(X)A=Q:solutions and perturbation theory［J］．Linear Algebra Appl，2002，346(12):15－26．

［2］ESMAILI S，ESLSHCHI M R．A modified spectral method for solving operator equations［J］．J Comput Appl Math，2016，292(5):105－135．

［3］EL－SAYED S M，PETKOV M G．Iterative methods for nonlinear matrix equations X+A*X－αA=I［J］．Linear Algebra Appl，2005，403(3):45－52．

［4］HASANOV V I．Positive definite solutions of the matrix equations X±A*X－qA=Q［J］．Linear Algebra Appl，2005，404(22): 166－182．

［5］ARGYROS I K，GEORGE S．Iterative regularization methods for nonlinear ill－posed operator equations with m－accretive mappings in banach spaces［J］．Acta Math Sci，2015，35(6):1318－1324．

［6］CONWAY J B．A Course in Functional Analysis［M］．New York:Springer－Verlag，1990．

［7］GUSTAFSON K E，RAO D K M．Numerical Range［M］．New York:Springer－Verlag，1997．

［8］楊凱凡，張文鵬，竇艷妮．一類算子方程的正算子解［J］．西北大學學報(自然科學版)，2014，101(4):537－539．

［9］尹忠旗．基于值域包含的不適定算子方程的收斂速度［J］．四川師范大學學報(自然科學版)，2014，37(5):635－638．

［10］徐華偉，王大鹿．一類新反向混合單調(diào)算子方程組解的存在惟一性［J］．四川師范大學學報(自然科學版)，2013，36(4): 578－582．

［11］王少英，田學剛，鄧學輝．算子方程(X*)nX+X*An=B的解［J］．西南大學學報(自然科學版)，2010，32(8):138－143．

［12］張朝倫．關于算子方程(U*)nT=λT的解［J］．西華大學學報(自然科學版)，2006，25(5):81－83．

［13］劉興元．具p－Laplacian算子方程多點邊值問題3個正解的存在性［J］．四川師范大學學報(自然科學版)，2012，35(1): 78－81．

［14］尹忠旗．基于值域包含的不適定算子方程的收斂速度［J］．四川師范大學學報(自然科學版)，2014，37(5):635－638．

［15］韋煜明，王勇，唐艷秋，等．具p－Laplacian算子時滯微分方程邊值問題解的存在唯一性［J］．廣西師范大學學報(自然科學版)，2012，30(2):48－53．

［16］DENG C Y．On the solutions of operator equation CAX=C=XAC［J］．J Math Anal Appl，2013，398(2):664－670．

Positive Solutions to the Operator Equation Xs+A*X－tA=Q

YANG Kaifan1， LI Jinglong1， DOU Yanni2

(1．College of Mathematics and Computer Science，Shaanxi Sci-Tech University，Hanzhong 723001，Shaanxi; 2．College of Mathematics and Information Science，Shaanxi Normal University，Xi’an 710062，Shaanxi)

In this paper，by using the operator theory and the iterative sequence，the positive operator solutions to the operator equation Xs+A*X－tA=Q are studied．The necessary conditions and sufficient conditions for the existence of positive operator solutions to the equation are derived respectively．Also，the relations of operators A，Q and X in the form of norm and spectral radius are discussed when the equation has positive solutions．And the range of the solutions is determined．

operator equation;spectral radius;positive operator

O177．91

A

1001－8395(2016)05－0655－04

10．3969/j．issn．1001－8395．2016．05．007

(編輯 周 俊)

2015－09－29

國家自然科學基金(11301318)和陜西省教育廳基金(16JK1133)

楊凱凡(1979—)，女，副教授，主要從事算子理論的研究，E－mail:ykf201@126．com

2010 MSC:47A10;47A50;47A46