392 Bras, kets, and all that sort of thing
DEFINITION 14.49 Let
A, D
A
be an operator. A generalized eigenvalue
of A is a complex number λ such that
• λ is not an eigenvalue of A;
• there exists a sequence (ϕ
n
)
n∈N
of vectors of norm 1 satisfying
lim
n→∞
kAϕ
n
−λϕ
n
k = 0.
The set of generalized eigenvalues of A is called the pure continuous spec-
trum of A, and is denoted σ
c
(A). It is disjoint from the discrete spectrum:
σ
d
(A) ∩σ
c
(A) = ∅.
Example 14.50 (Continuous spectrum of the operator X) We saw that the operator X of t h e
Hilbert space L
2
(R) has no eigenvalue. On the other hand, a function ϕ with graph which is a
very narrow “spike” around a real number λ should satisfy “X ϕ ≈ λϕ.” Hence we will check
that any real number is a generalized ei genvalue, the idea being to construct such a sequence
of spikier and spikier functions. For reasons of normalization, this is not quite the same as a
Dirac sequence.
Let x
0
∈ R. We consider the sequence (ψ
n
)
n∈N
of functions defined by ψ
n
(x) = ψ
0
n
(x −x
0
)
and ψ
0
n
(x) =
p
n Π(nx); recall that the “rectangle” function Π satisfies Π(x) = 1 for |x| ¶ 1
and Π (x) = 0 otherwise.
It is easy to ch eck that the functions ψ
n
are of norm 1. For all n ∈ N, we have
(X − x
0
)ψ
n
=
Z
+∞
−∞
x
2
ϕ
n
(x)
2
dx =
Z
1/2n
−1/2n
nx
2
dx =
1
12 n
2
.
Hence x
0
is a generalized eigenvalue of the operator X .
One can also show that the continuous spectrum is a subset of R, and therefore conclude
that the continuous spectrum of X is the w h o le real li ne: σ
c
(X ) = R.
Remark 14.51 In the previous e xample, the sequence (ψ
n
)
n∈N
converges neither in L
2
(R) nor
in the sense of distributions (because t h e normalization is cho sen for the purpose of the L
2
norm). However, the sequence (
p
n ψ
n
) is a sequence that converges, in the sense of distribu-
tions, to T = δ(x − x
0
), which satisfies the relation
x δ(x − x
0
) = x
0
δ(x − x
0
),
in othe r words X T = x
0
T in the sense of distributions. This is the (generalized) eigenvector
associated to the generalized eigenvalue!
Defining properly what is a (tempered) distribution which is an eigenvector T
λ
of an
operator A requires a proper definition of what is meant by A T
λ
. This is in fact a delic ate
problem, which we will only solve for a certain type of op erators (see Definition 14.68).
Example 14.52 (Continuous spectrum of the operator P ) Consider the operator P o n the space
L
2
(R). We have already shown that it has no eigenvalue. On the other hand, we can now show
that any p ∈ R is a generalized eigenvalue. The idea is, once more, to find a function which
“looks like” the function ω
p
(which suffers itself from the essential defect of not being square
integrable). For this purpose, we wil l simply average the functions ω
λ
, for values of λ close
to p. Such an average is, up to unimportant factors, the same as the Fourier transform of
a function similar to t h e rectangle function: hence it is a function that decays like 1/x at
infinity, and is therefore square integrable.
To be more precise, define
ω
(ǫ)
p
(x)
def
=
1
p
2ǫ
Z
p+ǫ
p−ǫ
ω
λ
(x) dλ =
r
}h
πǫ
sin(ǫx/ }h)
ix