Riesz projector explained

In mathematics, or more specifically in spectral theory, the Riesz projector is the projector onto the eigenspace corresponding to a particular eigenvalue of an operator (or, more generally, a projector onto an invariant subspace corresponding to an isolated part of the spectrum). It was introduced by Frigyes Riesz in 1912.[1] [2]

Definition

Let

A

be a closed linear operator in the Banach space

ak{B}

. Let

\Gamma

be a simple or composite rectifiable contour, which encloses some region

G\Gamma

and lies entirely within the resolvent set

\rho(A)

(

\Gamma\subset\rho(A)

) of the operator

A

. Assuming that the contour

\Gamma

has a positive orientation with respect to the region

G\Gamma

, the Riesz projector corresponding to

\Gamma

is defined by
P
\Gamma=-1
2\pii

\oint\Gamma(A-zIak{B

})^\,\mathrmz;here

Iak{B

} is the identity operator in

ak{B}

.

If

λ\in\sigma(A)

is the only point of the spectrum of

A

in

G\Gamma

, then

P\Gamma

is denoted by

Pλ

.

Properties

The operator

P\Gamma

is a projector which commutes with

A

, and hence in the decomposition

ak{B}=ak{L}\Gammaak{N}\Gamma    ak{L}\Gamma=P\Gammaak{B},   ak{N}\Gamma=(Iak{B

}-P_\Gamma)\mathfrak,both terms

ak{L}\Gamma

and

ak{N}\Gamma

are invariant subspaces of the operator

A

.Moreover,
  1. The spectrum of the restriction of

A

to the subspace

ak{L}\Gamma

is contained in the region

G\Gamma

;
  1. The spectrum of the restriction of

A

to the subspace

ak{N}\Gamma

lies outside the closure of

G\Gamma

.

If

\Gamma1

and

\Gamma2

are two different contours having the properties indicated above, and the regions
G
\Gamma1
and
G
\Gamma2
have no points in common, then the projectors corresponding to them are mutually orthogonal:
P
\Gamma1
P
\Gamma2
= P
\Gamma2
P
\Gamma1

=0.

See also

Notes and References

  1. Book: Functional Analysis. Riesz, F.. Sz.-Nagy, B.. Blackie & Son Limited. 1956.
  2. Book: Gohberg, I. C. Kreĭn, M. G.. Introduction to the theory of linear nonselfadjoint operators. 1969. American Mathematical Society, Providence, R.I..