A JOURNEY THROUGH THE HISTORY
|
|
1.1 The birth of matrices . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .3 1.2 Matrix rank . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12 1.3 Norms . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14 1.4 Ill-conditioning and condition numbers. . . . . . . . . . . . . . . . . . . . . 16 1.5 The Schur complement . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .24 1.6 Matrix mechanics. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26 1.7 Lifetimes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
2.1 Antiquity . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33 2.2 Ancient China . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34 2.3 Ancient Greece . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .39 2.4 Ancient India . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41 2.5 Ancient Persia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .42 2.6 The Middle Ages . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43 2.7 The 16th century . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .45 2.8 The 17th century . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .48 2.9 The 18th century . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .52 2.10 The 19th century . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 55 2.11 The 20th and 21st centuries . . . . . . . . . . . . . . . . . . . . . . . . . .67 2.12 Lifetimes. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 94
3.1 The 17th century . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .99 3.2 The 18th century . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 104 3.3 The 19th century. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .108 3.4 The 20th century . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 117 3.5 Lifetimes. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 117
4.1 LU factorization . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 121 4.2 QR factorization . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 121 4.3 Singular value factorization . . . . . . . . . . . . . . . . . . . . . . . . . 134 4.4 Polar factorization . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .142 4.5 CS factorization . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 144 4.6 Jordan canonical form . . . . . . . . . . . . . . . . . . . . . . . . . . . . .146 4.7 Frobenius canonical form . . . . . . . . . . . . . . . . . . . . . . . . . . . 150 4.8 Schur factorization . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .151 4.9 Spectral factorization . . . . . . . . . . . . . . . . . . . . . . . . . . . . 152 4.10 WZ factorization . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .152 4.11 Lifetimes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 152
5.1 Classical methods . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .155 5.2 Alternating direction methods . . . . . . . . . . . . . . . . . . . . . . . . .178 5.3 Semi-iterative methods . . . . . . . . . . . . . . . . . . . . . . . . . . . . 180 5.4 Projection methods . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 186 5.5 Asynchronous methods . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 195 5.6 The Institute for Numerical Analysis . . . . . . . . . . . . . . . . . . . . . 197 5.7 CG, Lanczos, and other methods . . . . . . . . . . . . . . . . . . . . . . . . 201 5.8 Krylov methods for nonsymmetric linear systems . . . . . . . . . . . . . . . . 217 5.9 The method of moments . . . . . . . . . . . . . . . . . . . . . . . . . . . . .246 5.10 Preconditioning . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 249 5.11 Domain decomposition methods . . . . . . . . . . . . . . . . . . . . . . . . .265 5.12 Multigrid and multilevel methods . . . . . . . . . . . . . . . . . . . . . . .268 5.13 Lifetimes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 271
6.1 The early years . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .275 6.2 The Rayleigh quotient . . . . . . . . . . . . . . . . . . . . . . . . . . . . .281 6.3 Localization of eigenvalues and the field of values . . . . . . . . . . . . . . 285 6.4 Where does the name “eigenvalue” come from? . . . . . . . . . . . . . . . . . .288 6.5 Using the characteristic polynomial . . . . . . . . . . . . . . . . . . . . . .289 6.6 The power and inverse iterations . . . . . . . . . . . . . . . . . . . . . . . 293 6.7 Morris’ escalator method . . . . . . . . . . . . . . . . . . . . . . . . . . . 296 6.8 The methods of Lanczos and Arnoldi . . . . . . . . . . . . . . . . . . . . . . 297 6.9 The methods of Givens and Householder . . . . . . . . . . . . . . . . . . . . .308 6.10 The qd and LR algorithms . . . . . . . . . . . . . . . . . . . . . . . . . . .308 6.11 The QR algorithm . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .311 6.12 Tridiagonal matrices . . . . . . . . . . . . . . . . . . . . . . . . . . . . .315 6.13 The Jacobi-Davidson method . . . . . . . . . . . . . . . . . . . . . . . . . .316 6.14 Other methods . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 317 6.15 Books . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 319 6.16 Lifetimes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 320
7.1 The beginnings . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 323 7.2 Logarithms and slide rules . . . . . . . . . . . . . . . . . . . . . . . . . . 324 7.3 Mechanical calculators . . . . . . . . . . . . . . . . . . . . . . . . . . . . 325 7.4 Electric calculators . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 330 7.5 The beginning of automatic computers. . . . . . . . . . . . . . . . . . . . . .330 7.6 Tabulating machines . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .332 7.7 The early digital computers . . . . . . . . . . . . . . . . . . . . . . . . . .334 7.8 The 1940s . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .335 7.9 The 1950s . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .338 7.10 The 1960s . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 339 7.11 The 1970s . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 340 7.12 The 1980s . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 341 7.13 The 1990s . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 342 7.14 The 2000s . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 343 7.15 The rise of microprocessors . . . . . . . . . . . . . . . . . . . . . . . . . 343 7.16 Parallel computers . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .345
8.1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 357 8.2 Programming languages . . . . . . . . . . . . . . . . . . . . . . . . . . . . .358 8.3 The Handbook for Automatic Computing . . . . . . . . . . . . . . . . . . . . . 361 8.4 BLAS. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .364 8.5 EISPACK . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .367 8.6 LINPACK . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .367 8.7 LAPACK . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 369 8.8 Other libraries . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .370 8.9 Commercial libraries . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 373 8.10 Libraries for parallel computers . . . . . . . . . . . . . . . . . . . . . . .375 8.11 Netlib . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .379 8.12 MATLAB . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .379
9.1 Tridiagonal matrices . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 381 9.2 Fast solvers . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 383 9.3 Hankel and Toeplitz matrices . . . . . . . . . . . . . . . . . . . . . . . . . 385 9.4 Functions of matrices . . . . . . . . . . . . . . . . . . . . . . . . . . . . .387 9.5 Ill-posed problems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 391 9.6 Matrix equations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 394
10.1 Alexander C. Aitken . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 403 10.2 Mieczysław Altman . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 405 10.3 Charles Babbage . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 407 10.4 Tadeusz Banachiewicz . . . . . . . . . . . . . . . . . . . . . . . . . . . . .410 10.5 Friedrich L. Bauer . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .413 10.6 Eugenio Beltrami . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .414 10.7 Augustin-Louis Cauchy . . . . . . . . . . . . . . . . . . . . . . . . . . . . 418 10.8 Arthur Cayley . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 420 10.9 Lamberto Cesari . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 427 10.10 Françoise Chatelin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 431 10.11 Pafnuty L. Chebyshev . . . . . . . . . . . . . . . . . . . . . . . . . . . . 432 10.12 André L. Cholesky . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .435 10.13 Gianfranco Cimmino . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 437 10.14 Gabriel Cramer . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 440 10.15 Seymour R.Cray . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 441 10.16 Prescott D. Crout . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .445 10.17 Myrick H. Doolittle . . . . . . . . . . . . . . . . . . . . . . . . . . . . .446 10.18 Paul S. Dwyer . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .449 10.19 Leonhard Euler . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 451 10.20 Radii P. Fedorenko . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 453 10.21 Roger Fletcher . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 454 10.22 George E. Forsythe . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 457 10.23 Leslie Fox . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 461 10.24 Ferdinand G. Frobenius . . . . . . . . . . . . . . . . . . . . . . . . . . . 462 10.25 Noel Gastinel . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .464 10.26 Johann C.F. Gauss . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .466 10.27 Hilda Geiringer . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .471 10.28 Semyon A. Gerschgorin . . . . . . . . . . . . . . . . . . . . . . . . . . . .473 10.29 Wallace Givens . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 475 10.30 Gene H. Golub . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .476 10.31 William R. Hamilton . . . . . . . . . . . . . . . . . . . . . . . . . . . . .478 10.32 Richard J. Hanson . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .481 10.33 Emilie V. Haynsworth . . . . . . . . . . . . . . . . . . . . . . . . . . . . 482 10.34 Peter Henrici . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .484 10.35 Karl Hessenberg . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .485 10.36 Magnus R. Hestenes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 487 10.37 Alston S. Householder . . . . . . . . . . . . . . . . . . . . . . . . . . . .488 10.38 Carl G.J. Jacobi . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 491 10.39 Camille Jordan . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 494 10.40 Stefan Kaczmarz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .496 10.41 Leopold Kronecker . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .498 10.42 Alexei N. Krylov . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 501 10.43 Vera Kublanovskaya . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 506 10.44 Joseph-Louis Lagrange . . . . . . . . . . . . . . . . . . . . . . . . . . . .508 10.45 Edmond Laguerre . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .511 10.46 Cornelius Lanczos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .515 10.47 Pierre-Simon Laplace . . . . . . . . . . . . . . . . . . . . . . . . . . . . 520 10.48 Charles L. Lawson . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .523 10.49 Adrien-Marie Legendre . . . . . . . . . . . . . . . . . . . . . . . . . . . .525 10.50 Gottfried W. von Leibniz . . . . . . . . . . . . . . . . . . . . . . . . . . 528 10.51 Ada Lovelace . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 531 10.52 John von Neumann . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 534 10.53 Isaac Newton . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 537 10.54 Willgodt T. Odhner . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 540 10.55 Alexander M. Ostrowski . . . . . . . . . . . . . . . . . . . . . . . . . . . 542 10.56 Oskar Perron . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 543 10.57 Lewis F. Richardson . . . . . . . . . . . . . . . . . . . . . . . . . . . . .546 10.58 Reuben L. Rosenberg . . . . . . . . . . . . . . . . . . . . . . . . . . . . .548 10.59 Heinz Rutishauser . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .550 10.60 Issai Schur . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .552 10.61 Hermann Schwarz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .554 10.62 Franz Schweins . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 556 10.63 Philipp von Seidel . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 558 10.64 Richard V. Southwell . . . . . . . . . . . . . . . . . . . . . . . . . . . . 560 10.65 Philip B. Stein . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .563 10.66 Eduard L. Stiefel . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .565 10.67 James J. Sylvester . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 568 10.68 Olga Taussky-Todd . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .574 10.69 Charles-Xavier Thomas de Colmar . . . . . . . . . . . . . . . . . . . . . . .576 10.70 John Todd . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .578 10.71 Otto Toeplitz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .581 10.72 Alan M. Turing . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 583 10.73 Alexandre-Théophile Vandermonde . . . . . . . . . . . . . . . . . . . . . . .589 10.74 Richard S. Varga . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 590 10.75 Karl Weierstrass . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 592 10.76 James H. Wilkinson . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 595 10.77 David M. Young . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 599 10.78 Konrad Zuse . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .602