AbstractOne of the most widely used methods for eigenvalue computation is the QR iteration with Wilkinson’s shift: Here, the shift s is the eigenvalue of the bottom 2×2 principal minor closest to the corner entry. It has been a long-standing question whether the rate of convergence of the algorithm is always cubic. In contrast, we show that there exist matrices for which the rate of convergence is strictly quadratic. More precisely, let
$T_{ {\mathcal {X}}}$
be the 3×3 matrix having only two nonzero entries
$(T_{ {\mathcal {X}}})_{12}=(T_{ {\mathcal {X}}})_{21}=1$
and let
${\mathcal {T}}_{\varLambda }$
be the set of real, symmetric tridiagonal matrices with the same spectrum as
$T_{ {\mathcal {X}}}$
. There exists a neighborhood
$\boldsymbol {{\mathcal {U}}}\subset {\mathcal {T}}_{\varLambda }$
of
$T_{ {\mathcal {X}}}$
which is invariant under Wilkinson’s shift strategy with the following properties. For
$T_{0}\in \boldsymbol {{\mathcal {U}}}$
, the sequence of iterates (Tk) exhibits either strictly quadratic or strictly cubic convergence to zero of the entry (Tk)23. In fact, quadratic convergence occurs exactly when
$\lim T_{k}=T_{ {\mathcal {X}}}$
. Let
$\boldsymbol {{\mathcal {X}}}$
be the union of such quadratically convergent sequences (Tk): The set
$\boldsymbol {{\mathcal {X}}}$
has Hausdorff dimension 1 and is a union of disjoint arcs
$\boldsymbol {{\mathcal {X}}}^{\sigma}$
meeting at
$T_{ {\mathcal {X}}}$
, where σ ranges over a Cantor set.
[1]
Kenneth Falconer,et al.
Fractal Geometry: Mathematical Foundations and Applications
,
1990
.
[2]
Carlos Tomei,et al.
The topology of isospectral manifolds of tridiagonal matrices
,
1984
.
[3]
An atlas for tridiagonal isospectral manifolds
,
2006,
math/0608558.
[4]
W. Thurston,et al.
On iterated maps of the interval
,
1988
.
[5]
W. Gragg,et al.
The numerically stable reconstruction of Jacobi matrices from spectral data
,
1984
.
[6]
The asymptotics of Wilkinson's shift iteration
,
2004,
math/0412493.
[7]
J. Moser.
Finitely many mass points on the line under the influence of an exponential potential -- an integrable system
,
1975
.
[8]
Gene H. Golub,et al.
The numerically stable reconstruction of a Jacobi matrix from spectral data
,
1977,
Milestones in Matrix Computation.
[9]
Steve Batterson,et al.
Rayleigh quotient iteration for nonsymmetric matrices
,
1990
.
[10]
P. Deift,et al.
Ordinary differential equations and the symmetric eigenvalue problem
,
1983
.
[11]
B. Parlett.
The Symmetric Eigenvalue Problem
,
1981
.
[12]
W. Symes.
Hamiltonian group actions and integrable systems
,
1980
.
[13]
J. H. Wilkinson.
The algebraic eigenvalue problem
,
1966
.
[14]
James Demmel,et al.
Applied Numerical Linear Algebra
,
1997
.
[15]
H. Fédérer.
Geometric Measure Theory
,
1969
.