Introduction. Matrix properties (sparsity, structure, spectral information, symmetry). Refer to:
[SB] Chapter 1.
Lab: Introduction, definition of matrices, condition number, solving linear systems
Exercises:
Lab1a.m. Lab 1: Ex 1-4 + bonus track.
Discretization of Partial Differential Equations by Finite Difference Methods and Finite Element Methods. Refer to:
[SB] Sections 2.1, 2.2.1-2.2.5, 2.3.
Lab: Finite difference method
Exercises:
Lab2.m. Lab 2: Ex 1.1-1.2.
Stationary iterative methods (Jacobi, Gauss Seidel, SOR). Refer to:
[SB] Sections 4.1, 4.2 (excluding 4.1.1, 4.1.2, 4.2.5)
Lab: Stationary iterative methods
Exercises:
Lab3.m. Lab 3: Ex 1.1-1.3.
Projection methods. Orthogonal and oblique projection methods, well-defined methods, finite termination property. Introduction to Krylov subspace methods. Refer to:
[SB] Sections 5.1-5.2, Sections 6.1-6.2.
[LSB] Sections 2.1-2.2, pp. 11-22.
Lab: Projection methods
Exercises:
Lab4.m, proj_sd.m. Lab 4: Ex 1.1-1.3.
From Gram-Schmidt process to Arnoldi and Lanczos algorithm. Refer to:
[SB] Sections 6.3 and 6.6.
Lab: Projection methods
Exercises:
Lab5a.m and Lab5b.m,´. Lab 5: Ex 1.1-1.2, 2.1-2.3
Lanczos algorith and orthogonal polynomials. Non-symmetric Lanczos algorithm (Lanczos biorthogonalization). Refer to:
[SB] Sections 6.6.2 and 7.1.
Derivation of CG from Lanczos algorithm and D-Lanczos method. Refer to:
[SB] Sections 6.7.1.
Lab: Lanczos algorithm
Exercises:
Lab6a.m. Lab 6: Ex 1.1-1.3.
Elements of CG convergence behavior in exact and in finite precision arithmetic. Refer to:
[LSB] Section 5.6.4 (pp. 275-276) and Figure 5.8 and 5.19.
[SB] Section 6.11.3.
Lab: Conjugate Gradient
Exercises:
Lab6a.m. Lab 6: Ex 2.1-2.3.
SYMMLQ and MINRES methods. Refer to:
SYMMLQ, [LSB] Section 2.5.4.
MINRES, [LSB] Section 2.5.5.
Non-symmetric case: FOM. Refer to:
FOM, [SB] Section 6.4.1, [LSB] p. 61.
Lab: CG, SYMMLQ, MINRES methods.
Exercises:
Lab6a.m. Lab 7: Ex 1.1-1.3.
Non symmetric case: GMRES method (mathematical characterization, QR implementation). Refer to:
[LSB] Section 2.5.5.
[SB] Section 6.5.1, 6.5.3-6.5.5.
GMRES method convergence and finite precision arithmetic. Refer to:
[LSB] pp. 285-286, pp. 289-290, Theorem 5.7.8 at p. 300 (without proof).
Non symmetric case: short recurrence. Non-symmetric Lanczos, BiCG and QMR methods. Refer to:
[SB] Section 7.2-7.3.
Lab: CG, SYMMLQ, MINRES methods.
Exercises:
Lab8a.m. Lab 8: Ex 1.1-1.3.
Non symmetric case: short recurrence. Transpose-free variants: CGS, BiCGStab, and (basic ideas of) TFQMR methods. Refer to:
[SB] Section 7.4.1-7.4.3.
Faber-Manteuffel Theorem. Refer to:
[SB] Section 6.10.
Normal equations and CG: CGNR (CGLS). Refer to:
[SB] Section 8.1, 8.3
Lab:Non-symmetric case and short recurrences.
Exercises:
Lab9a.m. Lab 9: Ex 1.1-1.3.
Normal Equations and regularization by CGNR
Exercises:
Lab9b.m. Lab 9: Ex 2.1
Preconditioning. Role of the spectrum and condition number. Preconditioned Conjugate Gradient (PCG), split preconditioner CG. Refer to:
[SB] Sections 9.1-9.2.
Figure 1 ( Figure 2.1 in the preprint) in: T. Gergelits , K-A. Mardal , B. F. Nielsen, and Z. Strakoš, Laplacian Preconditioning of Elliptic PDEs: Localization of the Eigenvalues of the Discretized Operator, SIAM Journal on Numerical Analysis, 57 (2019), pp. 1369–1394. [Preprint]
Preconditioning techniques. Preconditioning using stationary iterative methods (Jacobi, Gauss-Seidel, SSOR). Preconditioning using the Incomplete LU factorization (ILU(0) and ILU(p)). Refer to:
[SB] Sections 10.1-10.2, 10.3.1-10.3.2.
Lab: Preconditioning techniques for PCG.
Lab10a.m, Lab10b.m, Lab 10: Ex 1.1-1.3, 2.1.
Multigrid: Standard Multigrid techniques: nested iterations, V-cycles, W-cycles, Full Multigrid scheme (FMG). Refer to:
[SB] Sections 13.4.1-13.4.3 and first page of 13.4.4.
Discussion and questions.
Exam dates:
10.01.2022, 13:00-15:00 K433KNM
13.01.2022, 13:00-18:00 K433KNM
20.01.2022, 9:30-12:30 K433KNM
28.01.2022, 13:00-18:00 K433KNM
The exam reflects all the material presented on lectures and practicals during the whole semester. The exam has oral form.
Furthermore, students will complete one homework assignments during the semester. The homework consists of implementing a selected method in the MATLAB environment. Due to the covid situation, results will be presented by the students during their exam. The project must be submitted a week before the exam.
Literature:
[SB] Y. Saad: Iterative methods for sparse linear systems, SIAM, Philadelphia, 2003. (Main source) [Library]
An open free version can be downloaded here.
[LSB] J. Liesen and Z. Strakos, Krylov Subspace Methods, Principles and Analysis, Oxford University Press, 2012, 408p. [Library]
Barrert, R., et all: Templates for the Solution of Linear Systems: Building Blocks for Iterative Methods, SIAM, Philadelphia, 1994.
Higham, N.: Accuracy and stability of numerical algorithms, SIAM, Philadelphia, 2002 (2nd ed.).
Meurant, G.: Computer solution of large linear systems, Studies in Mathematics and Its Applications, North-Holland, 1999.
Material discussed in class (in order of appearance):
T. Gergelits , K-A. Mardal , B. F. Nielsen, and Z. Strakoš, Laplacian Preconditioning of Elliptic PDEs: Localization of the Eigenvalues of the Discretized Operator, SIAM Journal on Numerical Analysis, 57 (2019), pp. 1369–1394. [Preprint]