Bourbaki

Remark

Tag 033Q, permanent. Cite it as [Bourbaki, Tag 033Q].

Théories spectrales, chapter IV, § 4. Opérateurs partiels

Let E be a complex Banach space and let uu be a closed operator with dense domain on E.

1) If u∈Lu\in \mathscr{L} (E), its spectrum coincides with the spectrum of the element uu of the algebra L(E)\mathscr{L}(E)(I, p. 2, Definition 1).

2) Let D be the domain of uu. For every λ∈C−\lambda \in \mathbf{C}- Sp(uu), one has

1E=(λ1E−u)∘R(u,λ),1D=R(u,λ)∘(λ1E−u)(7) 1_E= (\lambda 1_E-u)\circ R(u, \lambda ),1_D= R(u, \lambda )\circ (\lambda 1_E-u) \tag{7}

Moreover, for λ1\lambda_1 and λ2\lambda_2 in the resolvent set of uu, one has

R(u,λ1)−R(u,λ2)=(λ2−λ1)R(u,λ2)∘R(u,λ1)(8) R(u, \lambda_1)-R(u, \lambda_2) = (\lambda_2-\lambda_1)R(u, \lambda_2)\circ R(u, \lambda_1) \tag{8}
R(u,λ1)∘R(u,λ2)=R(u,λ2)∘R(u,λ1)(9) R(u, \lambda_1)\circ R(u, \lambda_2) = R(u, \lambda_2)\circ R(u, \lambda_1) \tag{9}

In fact, one has

R(u,λ1)−R(u,λ2)=R(u,λ1)∘1E−1D∘R(u,λ2) R(u, \lambda_1)-R(u, \lambda_2) = R(u, \lambda_1)\circ 1_E-1_D\circ R(u, \lambda_2)

Since 1E=(λ21E−u)∘R(u,λ2)1_E= (\lambda_21_E-u)\circ R(u, \lambda_2) and 1D=R(u,λ1)∘(λ11E−u)1_D= R(u, \lambda_1)\circ (\lambda_11_E-u), one obtains

R(u,λ1)−R(u,λ2)=λ2R(u,λ1)∘R(u,λ2) R(u, \lambda_1)-R(u, \lambda_2) =\lambda_2R(u, \lambda_1)\circ R(u, \lambda_2)
−R(u,λ1)∘u∘R(u,λ2)−λ1R(u,λ1)∘R(u,λ2) -R(u, \lambda_1)\circ u\circ R(u, \lambda_2)-\lambda_1R(u, \lambda_1)\circ R(u, \lambda_2)
+R(u,λ1)∘u∘R(u,λ2) + R(u, \lambda_1)\circ u\circ R(u, \lambda_2)

whence the first formula. By interchanging the roles of λ1\lambda_1 and λ2\lambda_2, one deduces the second formula.

3) Let λ∈C\lambda \in \mathbf{C}. By the closed graph theorem (EVT, I, p. 19, Corollary 5), if the linear mapping of dom(uu) into E defined by x↦(λ1E−u)(x)x\mapsto (\lambda 1_E-u)(x) is bijective, then its inverse, whose graph is closed, is continuous from E into E. Therefore λ\lambda belongs to the resolvent set of uu if and only if the mapping x↦(λ1E−u)(x)x\mapsto (\lambda 1_E-u)(x) of dom(uu) into E is bijective.

4) If λ\lambda belongs to the spectrum of uu, one of the following properties holds:

(i) The kernel of λ1E−u\lambda 1_E-u is not reduced to 0; one then says that λ\lambda is an eigenvalue of uu, and that the dimension of Ker(λ1E−u\lambda 1_E-u) is its multiplicity;

(ii) The partial operator λ1E−u\lambda 1_E-u is injective and its image is not dense in E; one then says that λ\lambda belongs to the residual spectrum of uu;

(iii) The partial operator λ1E−u\lambda 1_E-u is injective, its image is dense in E, but λ1E−u\lambda 1_E-u is not surjective; one then says that λ\lambda belongs to the continuous spectrum of uu.

5) Let λ\lambda be a complex number belonging to the resolvent set of uu. The resolvent R(u,λ)R(u, \lambda ) is an injective linear mapping of E into E; its image is the domain of uu and u=λ1E−R(u,λ)−1(u=\lambda 1_E-R(u, \lambda )^{-1}(cf. IV, p. 226). Conversely, this property characterizes the resolvent set and the resolvent. Precisely, let λ∈C\lambda \in \mathbf{C}; if there exists a continuous injective linear mapping ww of E into E such that u=λ1E−w−1u=\lambda 1_E-w^{-1}, then λ\lambda belongs to the resolvent set of uu and w=R(u,λ)w= R(u, \lambda ).

In particular, if vv is a closed operator with dense domain on E, and if λ∈C\lambda \in \mathbf{C} is a complex number not belonging to Sp(uu)∪\cup Sp(vv), then the equality R(u,λ)=R(v,λ)R(u, \lambda ) = R(v, \lambda ) implies that u=vu=v.

6) The spectrum of a closable partial operator uu is defined as the spectrum of its closure.

There exist closed operators whose spectrum is empty, or whose spectrum is equal to C\mathbf{C} (exercise 12 of IV, p. 347).

Let E be a complex Banach space and uu a closed operator with dense domain on E. If F is a complex Banach space and if v:E→Fv: E\rightarrow F is an isomorphism, then one has Sp(v∘u∘v−1v\circ u\circ v^{-1}) == Sp(uu) and R(v∘u∘v−1,λ)=v∘R(u,λ)∘v−1R(v\circ u\circ v^{-1}, \lambda ) =v\circ R(u, \lambda )\circ v^{-1} for every λ∉\lambda \notin Sp(uu).

Bourbaki sets the proof directly after the statement, and the corpus does not separate them, so what is above is the statement and its proof together.

Cited by

Nothing.

Cites

Nothing.

Machine translation of the English, by gpt-5.4, against glossary version 34. Not checked by a person.