§6.3有界自共轭线性算子的谱
设T是Hilbert空间H到H的有界线性算子.
根据定义5.4.1,如果
T ∗ =T,即(Tx,y)=(x,Ty),∀x,y∈H,
则称T是自共轭的.
∙自共轭算子是Hilbert空间中一类十分重要的算子.
∙它们可以看作是R n 空间上对称算子(矩阵)的推广.
若A是R n 上的对称线性变换(矩阵),
(Ax,y)=(x,Ay),∀x,y∈R n ,
那么我们有如下结论:
(1)A的特征值是实的;
(2)A的属于不同特征值的特征向量相互正交;
(3)A可以化为对角矩阵.
对称矩阵一定正交相似于一个对角矩阵.
∙由于自共轭算子有着某种对称性,自共轭线性算子的谱都是实的.
∙它的不同特征值对应的特征元素相互正交.
∙自共轭算子有着重要的应用背景.
近代量子力学中的一些问题使用自共轭算子理论(特别
是谱理论)来研究.
6.3.1有界自共轭算子剩余谱集是空集
定理6.3.1设T是Hilbert空间H上的自共轭算子,则
T的特征值是实的;如果μ,λ∈R,μ≠λ,
则零空间N(λI−T)和N(μI−T)相互正交.
证明:首先证明自共轭算子T的特征值是实的.
因为T是自共轭的,根据定理5.4.7,对于∀x∈H有
(Tx,x)是实的,
如果λ是T的特征值,x是相应的特征元素,我们有
(Tx,x)=(λx,x)=λ(x,x),
推知λ是实的.
其次证明N(λI−T)和N(μI−T)是正交的.
令x∈N(λI−T),y∈N(μI−T),即
Tx=λx,Ty=μy.
由于
(Tx,y)=(x,Ty),
于是
(λx,y)=(x,μy),
注意到λ,μ都是实的,因此
(λ−μ)(x,y)=0,
由于μ≠λ,得到(x,y)=0,即
N(λI−T)⊥N(μI−T).
定理6.3.2设T是Hilbert空间H上的有界自共轭线性算子,
则对任意的x∈H,有
∥(T−λI)x∥=∥(T−λ ¯ I)x∥(6.3.1)
证明:由于T=T ∗ ,对于任何的x∈H,
((T−λI)x,(T−λI)x)
=((T−λ ¯ I)(T−λI)x,x)=((T 2 −λT−λ ¯ T+|λ| 2 )x,x)
=((T−λI)(T−λ ¯ I)x,x)=((T−λ ¯ I)x,(T−λ ¯ I)x)
即
定理6.3.3设T是Hilbert空间H上的自共轭算子,则
T的剩余谱是空集.
证明:分析:
∙λ称为T的剩余谱,如果λI−T是一对一的,但是
λI−T的值域在X中不稠密.
∙要证明剩余谱是空集,即证明
若λI−T是一对一的,则R(λI−T)在H中稠密.
设λI−T是一对一的,即λ不是T的特征值,
由于T是自共轭的线性算子,根据定理6.3.2知道
λ ¯ 不是T的特征值,
即N(λ ¯ I−T)={0}.
由命题5.3.8(5.3.15)式和(λ ¯ I−T) ∗ =(λI−T)知,
{N(λ ¯ I−T)} ⊥ =R(λI−T) ¯ ¯ ¯ ¯ ¯ ¯ ¯ ¯ ¯ ¯ ¯ ¯ ¯ ¯ ¯ ,
于是
R(λI−T) ¯ ¯ ¯ ¯ ¯ ¯ ¯ ¯ ¯ ¯ ¯ ¯ ¯ ¯ ¯ =H,
这意味着R(λI−T)在H中稠密.
由此知λ不是T的剩余谱,即T的剩余谱是空集.
注:当T是自共轭算子时,若λ∈σ(T),但λ不是特征
值,则λ∈σ c (T).
6.3.2有界自共轭算子谱集的性质
定理6.3.4复数λ属于自共轭算子T的谱集合的充要条件是
存在一个点列{x n },满足
∥x n ∥=1,且∥(λI−T)x n ∥→0(n→∞)(6.3.2)
证明:必要性.要证明:若λ是自共轭算子T的谱点,则(6.3.2)式成立.
设λ是自共轭算子T的谱点,假如(6.3.2)式不成立,则存在m>0,使得
∥(λI−T)x∥≥m∥x∥(x∈D(T)),
即λI−T是一对一的.
根据定理4.4.2,
存在逆算子(λI−T) −1 ,且逆算子有界.
由于T是自共轭的,由定理6.3.3的证明知,
R(λI−T)在H中稠,
于是λ∈ρ(T),矛盾.
注:λ称为T的正则点,如果λI−T的值域R(λI−T)在X
中稠密.并且λI−T有连续的逆算子.
充分性.要证明:若存在一个点列{x n }满足(6.3.2)式
∥x n ∥=1,且∥(λI−T)x n ∥→0(n→∞)
则λ∈σ(T).
当λ是特征值,命题显然成立.
若λ不是特征值,逆算子存在.
令y n =(λI−T)x n ,我们有
x n =(λI−T) −1 y n .
假若设λ∈ρ(T),则(λI−T) −1 有界,∃M>0,使得
∥x n ∥=∥(λI−T) −1 y n ∥
≤M∥y n ∥=M∥(λI−T)x n ∥,
上式左边等于1,而根据(6.3.2)式,右边趋近于零,矛盾.
于是λ∈σ(T).
注:从证明中看到,对自共轭算子,如果存在m>0,使得
∥(λI−T)x∥≥m∥x∥(x∈D(T)),
则λ是T的正则点.
▶对自共轭算子的谱半径(见定理6.2.9和(6.2.20)式)
我们有如下定理:
定理6.3.5设T是Hilbert空间H上的自共轭算子,则
谱半径r σ (T)=∥T∥
证明:由于T ∗ =T,结合命题5.3.7有
∥T ∗ T∥=∥T 2 ∥=∥T∥ 2 ,
于是当n=2 m (m是正整数)时,有∥T n ∥=∥T∥ n .
由定理6.2.7知
r σ (A)=lim n→∞ ∥T n ∥ 1n =lim m→∞,n=2 ∥T n ∥ 1n
=lim m→∞,n=2 (∥T∥ n ) 1n =∥T∥.
定理6.3.6有界自共轭算子T的谱是实数集合的一个子集合,且
σ(T)⊂[−∥T∥,∥T∥](6.3.3)
证明:令λ=ρ+iσ(σ≠0),则
∥(λI−T)x∥ 2 =(ρx−Tx,ρx−Tx)+(iσx,iσx)
≥σ 2 ∥x∥ 2 .
因此λI−T是下方有界,有定理6.3.4知,λ∈ρ(T).
由此可知T的谱点只能在实轴上,
结合定理6.3.5(r σ (T)=∥T∥)可知
σ(T)⊂[−∥T∥,∥T∥].
注:若T是Hilbert空间上的一个自共轭算子,结合定理
6.3.3和定理6.3.1有
∙σ(T)⊂[−∥T∥,∥T∥]⊂R;
∙σ r (T)=∅;
∙对应于不同特征值的特征元素是相互正交的.
6.3.3有界自共轭线性算子谱的分布
∙如果T是Hilbert空间上的有界自共轭线性算子,
(1)根据定理5.4.7我们有:
(Tx,x)是实的,∀x∈H.
(2)根据定理5.4.8我们有:
∥T∥=sup x∈H {|(Tx,x)||∥x∥=1}.
∙对于Hilbert空间上的有界线性算子T我们称
W(T)={(Tx,x)|∥x∥=1}(6.3.5)
为T的数值域.
∙对于H上的有界自共轭算子T的谱分布,我们可以
从数值域W(T)中得到更精确的估计.
定理6.3.7设T是Hilbert空间H到H的有界自共轭线性算子,令
m=inf ∥x∥=1 (Tx,x),M=sup ∥x∥=1 (Tx,x)(6.3.6)
则
证明:因为T是自共轭算子,σ(T)是在实轴上.
下面证明对任意的实数c>0,有
λ=M+c∈ρ(T).
对于∀x∈H,x≠0,令v=x∥x∥ ,则
(Tx,x)=∥x∥ 2 (Tv,v)
≤∥x∥ 2 sup ∥v∥=1 (Tv,v)=(x,x)M,
于是
∥(λI−T)x∥∥x∥
≥((λI−T)x,x)=λ(x,x)−(Tx,x)
≥(λ−M)(x,x)=c∥x∥ 2
其中c=λ−M>0.根据定理6.3.4,λ∈ρ(T).
对于λ<m,可以用类似的方法证明λ∈ρ(T).
▶结合定理5.4.8有如下定理:
定理6.3.8设T是从Hilbert空间H到H的有界自共轭线性算子,则
∥T∥=max{|m|,|M|}=sup ∥x∥=1 |(Tx,x)|(6.3.8)
▶结合定理6.2.9和定理6.3.5有如下命题:
命题6.3.9设T是Hilbert空间H到H的有界自共轭线性算子,则
sup{|λ||λ∈σ(T)}=r σ (T)=∥T∥
=sup ∥x∥=1 |(Tx,x)|(6.3.9)
▶进一步地我们有如下定理:
定理6.3.10设T是Hilbert空间H到H的有界自共轭算子,
M,m同定理6.3.7,则
m∈σ(T),M∈σ(T).(6.3.10)
证明:对于c>0,算子T+cI相应的m,M以及σ(T)
都向右平移c,因此不妨设0≤m≤M.
根据定理6.3.8,我们有
∥T∥=M,M=sup ∥x∥=1 (Tx,x),
根据M的定义,存在点列{x n }⊂H,∥x n ∥=1,
n=1,2,⋯,且
(Tx n ,x n )→M(n→∞).
于是
∥Tx n −Mx n ∥ 2 =(Tx n −Mx n ,Tx n −Mx n )
=∥Tx n ∥ 2 −2M(Tx n ,x n )+M 2 ∥x n ∥ 2
≤2M 2 −2M(Tx n ,x n )→0(n→∞).
由定理6.3.4可知M∈σ(T).
类似地,可以证明m∈σ(T).
注1:根据命题6.3.9,并结合σ(T)是闭的,也可以证明定理6.3.10.
注2:定理6.3.7和命题6.3.9从数值域入手研究了有界自
共轭线性算子的谱分布的性质,得到了
σ(T)⊂W(T) ¯ ¯ ¯ ¯ ¯ ¯ ¯ ¯ (参考文献[15]p.105).