2.4 Further exercises and problems 81
hermitian linear operator. Starting from a unit vector u
0
, and taking u
−1
= 0, recursively
generate the unit vectors u
n
and the numbers a
n
, b
n
and c
n
by
H u
n
= b
n
u
n+1
+ a
n
u
n
+ c
n−1
u
n−1
,
where the coefficients
a
n
≡u
n
, H u
n
,
c
n−1
≡u
n−1
, H u
n
,
ensure that u
n+1
is perpendicular to both u
n
and u
n−1
, and
b
n
=H u
n
− a
n
u
n
− c
n−1
u
n−1
,
a positive real number, makes u
n+1
=1.
(a) Use induction on n to show that u
n+1
, although only constructed to be perpendicular
to the previous two vectors, is in fact (and in the absence of numerical rounding
errors) perpendicular to all u
m
with m ≤ n.
(b) Show that a
n
, c
n
are real, and that c
n−1
= b
n−1
.
(c) Conclude that b
N −1
= 0, and (provided that no earlier b
n
happens to vanish) that the
u
n
, n = 0, ..., N − 1, constitute an orthonormal basis for V , in terms of which H
is represented by the N -by-N real-symmetric tridiagonal matrix H of the preceding
exercises.
Because the eigenvalues of a tridiagonal matrix are given by the numerically easy-to-
find zeros of the associated monic polynomial p
N
(x), the Lanczos algorithm provides a
computationally efficient way of extracting the eigenvalues from a large sparse matrix.
In theory, the entries in the tridiagonal H can be computed while retaining only u
n
,
u
n−1
and H u
n
in memory at any one time. In practice, with finite precision computer
arithmetic, orthogonality with the earlier u
m
is eventually lost, and spurious or duplicated
eigenvalues appear. There exist, however, stratagems for identifying and eliminating
these fake eigenvalues.
The following two problems are “toy” versions of the Lax pair and tau function
constructions that arise in the general theory of soliton equations. They provide useful
practice in manipulating matrices and determinants.
Problem 2.18: The monic orthogonal polynomials p
i
(x) have inner products
p
i
, p
j
w
≡
p
i
(x)p
j
(x)w(x) dx = h
i
δ
ij
,
and obey the recursion relation
xp
i
(x) = p
i+1
(x) + a
i
p
i
(x) + b
2
i−1
p
i−1
(x); p
−1
(x) = 0, p
0
(x) = 1.