中文

Eigenvectors

As in Chapter 4 a complex number is an eigenvalue of a bounded linear operator : if there exists a non-zero vector such that

is called the eigenvector of corresponding to the eigenvalue .

Theorem 13.15 · Eigenvalues and orthogonality for Hermitian operators

All eigenvalues of a hermitian operator are real, and eigenvectors corresponding to different eigenvalues are orthogonal.

Proof

If then

Since is hermitian

For a non-zero vector , we have the eigenvalue is real.

If then

and

If then

A hermitian operator is said to be complete if its eigenvectors form a complete o.n. set.

The eigenvalues of a projection operator are always 0 or 1, for

and since is idempotent,

Hence , so that or 1. If then the eigenvectors corresponding to eigenvalue 1 are the vectors belonging to the subspace , while those having eigenvalue 0 belong to its orthogonal complement . Combining Theorem 13.8 and Theorem 13.2, we see tha every projection operator is complete.

Theorem 13.16 · Eigenvalues and orthogonality for unitary operators

The eigenvalues of a unitary operator are of theform where is a real number, and eigenvectors corresponding to different eigenvalues are orthogonal.

Proof

Since is an isometry, if where , then

Hence , and there exists a real such that

If and , then

But implies , so that

Therefore

Hence then and are orthogonal,

Spectrum of a bounded operator

In the case of a finite dimensional space, the set of eigenvalues of an operator is known as its spectrum. The spectrum is non-empty (see Chapter 4), and forms the diagonal elements in the Jordan canonical form. In infinite dimensional spaces, however, operators may have no eigenvalues at all.

In , the right shift operator has no eigenvalues, for suppose

If then , hence is not an eigenvalue. But also implies , so this operator has no eigenvalues at all.

Show that every such that is an eigenvalue of the left shift operator . Note that the spectrum of and its adjoint may be unrelated in the infinite dimensional case.

Let be a bounded integrable function on a measure space , and let be the multiplication operator defined in Example 13.9. There is no normalizable function such that unless has the constant value on an interval ofnon-zero measure. For example, if on , then is an eigenvector of iff there exists such that

which is only possible through . In quantum mechanics (see Chapter 14) this problem is sometimes overcome by treating the eigenvalue equation as a distributional equation. Then the Dirac delta function acts as a distributional eigenfunction, with eigenvalue ,

Examples such as 13.14 lead us to consider a new definition for the spectrum of an operator. Every operator has a degeneracy at an eigenvalue , in that is not an invertible operator. For, if exists then Au , for if then

We say a complex number is a regular value of a bounded operator on a Hilbert space if is invertible – that is, exists and is bounded. The spectrum of is defined to be the set of that are not regular values of . If is an eigenvalue of then, as shown above, it is in the spectrum of but the converse is not true. The eigenvalues are often called the point spectrum. The other points of the spectrum are called the continuous spectrum. At such points it is conceivable that the inverse exists but is not bounded. More commonly, the inverse only exists on a dense domain of and is unbounded on that domain. We will leave discussion of this to Section 13.6.

then the multiplication operator on has spectrum consisting of all real numbers such that or or has non-zero imaginary part then the function is clearly invertible and bounded on the interval [0, 1]. Hence all these are regular values of the operator . The real values form the spectrum of . From Example 13.14 none of these numbers are eigenvalues, but they do lie in the spectrum of since the function is not invertible. The operator is then defined, but unbounded, on the dense set

Theorem 13.17 · Bounds and compactness of the spectrum of a bounded operator

Let be a bounded operator on a Hilbert space

(i) Every complex number has magnitude

(ii) The set ofregular values of is an open subset of

(iii) The spectrum of is a compact subset of .

Proof

(i) Let . The operator then has norm and by Theorem 13.12 the operator is invertible and

Hence is a regular value. Spectral values must therefore have

(ii) If is a regular value, then for any other complex number

Hence

if

By Theorem 13.12, for in a small enough neighbourhood of the operator is invertible. If is its inverse, then

and is invertible with inverse . Hence the regular values form an open set.

(iii) The spectrum is a closed set since it is the complement ofan open set (the regular values). By part (i), it is a subset of a bounded set , and is therefore a compact set. -

Spectral theory of hermitian operators

Of greatest interest is the spectral theory of hermitian operators. This theory can become quite difficult, and we will only sketch some of the proofs.

Theorem 13.18 · Reality of the spectrum of a Hermitian operator

The spectrum of a hermitian operator consists entirely of real numbers.

Proof

Suppose is a complex number with . Then , and

The operator is therefore one-to-one, for if then

The set is a subspace of . To show closure (the vector sub space property is trivial), let be a convergent sequence of vectors in . From the fact that it is a Cauchy sequence and the inequality Eq. (13.12), it follows that is also a Cauchy sequence, having limit . By continuity of the operator , it follows that is closed, for

Finally, , for if , then for all . Setting gives . Since is Hence , the subspace and every vector can be written in the form . Thus is invertible, and the inequality Eq. (13.12) can be used to show it is bounded. -

The full spectral theory of a hermitian operator involves reconstructing the operator from its spectrum. In the finite dimensional case, the spectrum consists entirely of eigenvalues, making up the point spectrum. From Theorem 13.15 the eigenvalues may be written as a non-empty ordered set of real numbers . For each eigenvalue there corresponds an eigenspace of eigenvectors, and different spaces are orthogonal to each other. A standard inductive argument can be used to show that every hermitian operator on a finite dimensional Hilbert space is complete, so the eigenspaces span the entire Hilbert space. In terms of projection operators into these eigenspaces , these statements can be summarized as

where

Essentially, this is the familiar statement that a hermitian matrix can be ‘diagonalized with its eigenvalues along the diagonal. If we write, for any two projection operators, , we can replace the operators with an increasing family ofprojection operators . These are projection operators since they are clearly hermitian and idempotent, , and project into an increasing family of subspaces, , having the property . Since where , we can write the spectral theorem in the form

For infinite dimensional Hilbert spaces, the situation is considerably more complicated, but the projection operator language can again be used to effect. The full spectral theorem in arbitrary dimensions is as follows:

Theorem 13.19 · Spectral theorem for bounded Hermitian operators

Let be a hermitian operator on a Hilbert space , with spectrum By Theorem 13.17 this is a closed bounded subset of . There exists an increasingfamily ofprojection operators , with , such that

and

The integral in this theorem is defined in the Lebesgue–Stieltjes sense. Essentially it means that if is a measurable function, and is of the form

for some complex constant and integrable function , then

A function of this form is said to be absolutely continuous; the function is uniquely defined almost everywhere by and we may write it as a kind of derivative of , For the finite dimensional case this theorem reduces to the statement above, on setting to have discrete jumps by at each of the eigenvalues . The proof of this result is not easy. The interested reader is referred to [3, 6] for details.

Problems

Show that a non-zero vector is an eigenvector of an operator if and only if

For any projection operator show that every value , 1 is a regular value, by showing that has a bounded inverse.

Show that every complex number in the spectrum of a unitary operator has

Prove that every hermitian operator on a finite dimensional Hilbert space can be written as

For any pair of hermitian operators and on a Hilbert space , define iff for all . Show that this is a partial order on the set of hermitian operators – pay particular attention to the symmetry property, and implies

(a) For multiplication operators on show that a.e. on

(b) For projection operators show that the definition given here reduces to that given in the text,