设T为L2[a,b]上的紧自伴算子,而且有L2[a,b]中的完备规范正交系{en},使得 ∑n=1∞‖Ten‖2<∞ 证明:存在a≤t≤b,a
设T为L2[a,b]上的紧自伴算子,而且有L2[a,b]中的完备规范正交系{en},使得
∑n=1∞‖Ten‖2<∞
证明:存在a≤t≤b,a≤s≤b上平方可积函数K(t,s)满足
且对一切x∈L2[a,b],
Tx(t)=∫abK(t,s)x(s)ds
设T为L2[a,b]上的紧自伴算子,而且有L2[a,b]中的完备规范正交系{en},使得
∑n=1∞‖Ten‖2<∞
证明:存在a≤t≤b,a≤s≤b上平方可积函数K(t,s)满足
且对一切x∈L2[a,b],
Tx(t)=∫abK(t,s)x(s)ds
设X=L2[0,1],是为闭单位正方形
S={s(t):0≤S,t≤1}
上的纯量连续函数。对x∈X,令
,0≤s≤1
求证:A:X→X为紧线性算子。
设H是复Hilbert空间,为自共轭算子,{Eλ}是T的谱系,ε>0,Ωε={λ∈σ(T):|λ|≥ε}.证明:T是紧算子当且仅当对任意的ε>0,有Tε=λdEλ是有界的有限秩算子.
设z∈L2(-π,π]且延拓z为R上的周期为2π的函数。若x∈L2[-π,π],设
求证:
(a)若为z的Fourier级数,则对x∈L2[-π,π]有
这个级数在[-π,π]上一致绝对收敛。
(b)A为紧算子。
(c)A的特征值由z的Fourier系数cn给出,其对应的特征函数为eins,n=0,±1,±2,…。
设{Tt:t≥0}是Banach空间X上的C0类线性算子半群,t0>0,为紧算子.证明:对一切t>t0,Tt都是紧算子.
设X=C[0,1],k为闭单位正方形
S={(s,t):0≤s,t≤1)
上的纯量连续函数。设A:X→X定义为
,0≤s≤a,x∈X
求证:A为紧算子。
设A,B为Hilbert空间H上的有界自伴算子。求证:
(a)A2为自伴的且为正的;
(b)若B为正的且AB=BA,则A2B为自伴的且为正的
设X是Banach空间,T是X上线性紧算子,g在中开圆盘Br={z∈:|z|<r}上解析,且g(0)=0,σ(T)Br.证明g(T)也是线性紧算子
设X是复Banach空间,,g是解析函数且使解析演算g(T)是紧算子.又设σ(T)是不可数集.证明g在某点的邻域内必为常数函数.
设X为赋范空间,z∈X,f∈X'。求证:若T:X→X定义为
T(x)=f(x)z, x∈X。
则T为紧线性算子。
设H是Hilbert空间,g是上解析函数,且,是自共轭算子,b∈,且b≠0.证明biI+g(T)是可逆的,