Test

Definition (resolvent operator, regular value, resolvent set, spectrum, spectral value)

Let T:D(T)XT : \dom{T} \to X be an operator in a complex normed space XX. We write

Tλ=Tλ=TλI,T_{\lambda} = T - \lambda = T - \lambda I,

where λ\lambda is a complex number and II is the identical operator on the domain of TT. If the operator TλT_{\lambda} is injective, that is, it has an inverse Tλ1T_{\lambda}^{-1} (with domain R(Tλ)\ran{T_{\lambda}}), then we call

Rλ(T)=Tλ1=(Tλ)1=(TλI)1R_{\lambda}(T) = T_{\lambda}^{-1} = (T - \lambda)^{-1} = (T - \lambda I)^{-1}

the resolvent operator of TT for λ\lambda. A regular value of TT is a complex number λ\lambda for which the resolvent Rλ(T)R_{\lambda}(T) exists, has dense domain and is bounded. The set of all regular values of TT is called the resolvent set of TT and denoted ρ(T)\rho(T). The complement of the resolvent set in the complex plane is called the spectrum of TT and denoted σ(T)\sigma(T). The elements of the spectrum of TT are called the spectral values of TT.

Definition (point spectrum, residual spectrum, continuous spectrum)

Let T:D(T)XT : \dom{T} \to X be an operator in a complex normed space XX. The point spectrum σp(T)\pspec{T} is the set of all λC\lambda \in \CC for which the resolvent Rλ(T)R_\lambda(T) does not exist. The residual spectrum σr(T)\rspec{T} is the set of all λC\lambda \in \CC for which the resolvent Rλ(T)R_\lambda(T) exists, but is not densely defined. The continuous spectrum σc(T)\cspec{T} is the set of all λC\lambda \in \CC for which the resolvent Rλ(T)R_\lambda(T) exists and is densely defined, but unbounded.

If Rλ(T)R_\lambda(T) exists, is densely defined and is bounded … … then λ\lambda belongs to the
- - point spectrum σp(T)\pspec{T}
? residual spectrum σr(T)\rspec{T}
continuous spectrum σc(T)\cspec{T}
resolvent set ρ(T)\rho(T)

By definition, the sets σp(T)\pspec{T}, σr(T)\rspec{T}, σc(T)\cspec{T} and ρ(T)\rho(T) form a partition of the complex plane.