70
Numerical Linear Algebra Lecture 1 Larisa Beilina, http://www.math.chalmers.se/ ˜ larisa/ Lecture 1

Numerical Linear Algebra - Chalmers › Math › Grundutb › CTH › tma265 › 1819 › ... · Course in Numerical Linear Algebra Organization: computer labs To pass this course

  • Upload
    others

  • View
    4

  • Download
    0

Embed Size (px)

Citation preview

Page 1: Numerical Linear Algebra - Chalmers › Math › Grundutb › CTH › tma265 › 1819 › ... · Course in Numerical Linear Algebra Organization: computer labs To pass this course

Numerical Linear AlgebraLecture 1

Larisa Beilina, http://www.math.chalmers.se/larisa/ Lecture 1

Page 2: Numerical Linear Algebra - Chalmers › Math › Grundutb › CTH › tma265 › 1819 › ... · Course in Numerical Linear Algebra Organization: computer labs To pass this course

Course in Numerical Linear AlgebraOrganization

Course homepagehttp://www.math.chalmers.se/Math/Grundutb/CTH/tma265/1819

Larisa Beilina, http://www.math.chalmers.se/larisa/ Lecture 1

Page 3: Numerical Linear Algebra - Chalmers › Math › Grundutb › CTH › tma265 › 1819 › ... · Course in Numerical Linear Algebra Organization: computer labs To pass this course

Course in Numerical Linear AlgebraOrganization

Course homepagehttp://www.math.chalmers.se/Math/Grundutb/CTH/tma265/1819Course coordinator: Larisa [email protected], room 2089

Larisa Beilina, http://www.math.chalmers.se/larisa/ Lecture 1

Page 4: Numerical Linear Algebra - Chalmers › Math › Grundutb › CTH › tma265 › 1819 › ... · Course in Numerical Linear Algebra Organization: computer labs To pass this course

Course in Numerical Linear AlgebraOrganization

Course homepagehttp://www.math.chalmers.se/Math/Grundutb/CTH/tma265/1819Course coordinator: Larisa [email protected], room 2089Registration for the course: contact studieadministratorJeanette Montell, [email protected]

Larisa Beilina, http://www.math.chalmers.se/larisa/ Lecture 1

Page 5: Numerical Linear Algebra - Chalmers › Math › Grundutb › CTH › tma265 › 1819 › ... · Course in Numerical Linear Algebra Organization: computer labs To pass this course

Course in Numerical Linear AlgebraOrganization

Course homepagehttp://www.math.chalmers.se/Math/Grundutb/CTH/tma265/1819Course coordinator: Larisa [email protected], room 2089Registration for the course: contact studieadministratorJeanette Montell, [email protected] literature: L. Beilina, E. Karchevskii, M.

Karchevskii, Numerical Linear Algebra: Theory and

Applications, Springer, 2017. Book is available at Cremona.Matlab and C++ programs for examples in this book areavailable for download from the course homepage: go to thelink of the book and click to “GitHub Page withMATLABÃÂ R© Source Codes” on the bottom of this page.You can also use this book:James W. Demmel: Applied Numerical Linear Algebra,

SIAM 1997.Larisa Beilina, http://www.math.chalmers.se/larisa/ Lecture 1

Page 6: Numerical Linear Algebra - Chalmers › Math › Grundutb › CTH › tma265 › 1819 › ... · Course in Numerical Linear Algebra Organization: computer labs To pass this course

Course in Numerical Linear AlgebraOrganization: Master’s works

Check the course homepage for news. Here are advertisedsome Master’s works in applied mathematics:

1) Efficient implementation of Helmholtz equation withapplications in medical imaging (connection with Comp.Lab.5).

2) Optimal control of drugs in the mathematical model ofdynamics of a tumor-immune system.Main paper for the project "Optimal control of drugs in themathematical model of dynamics of a tumor-immune system"is available for download from the homepage.

3) Determination of parameters in kinetic modelling inpositron emission tomography (PET).

Larisa Beilina, http://www.math.chalmers.se/larisa/ Lecture 1

Page 7: Numerical Linear Algebra - Chalmers › Math › Grundutb › CTH › tma265 › 1819 › ... · Course in Numerical Linear Algebra Organization: computer labs To pass this course

Efficient implementation of Helmholtz equation with

applications in medical imagingMaster’s works

In this project we will consider the finite element method (FEM) for thesolution of Helmholtz equation

E + ω2µrεrE = iωµrJ,

lim|x|→∞

E (x , ω) = 0. (1)

in two and three dimensions.Solution should be implemented and tested on different real-life modelsin C++/PETSc in the existing software package WavES (waves24.com).The main goal of the project is efficient implementation of Helmholtzequation (1) using finite element method, and testing of the obtainedsolver in the already existed software package WavES. Visualization ofthe obtaind results will be done in Paraview/GID. It is expected thatapplication of the obtained software will be for fast detection ofsmall-size tumors using microwave imaging.Comp.ex.5 can be used for this Master’s work.

Larisa Beilina, http://www.math.chalmers.se/larisa/ Lecture 1

Page 8: Numerical Linear Algebra - Chalmers › Math › Grundutb › CTH › tma265 › 1819 › ... · Course in Numerical Linear Algebra Organization: computer labs To pass this course

Optimal control of drugs in the mathematical model of

dynamics of a tumor-immune systemMaster’s works

The goal of this Master project is development of the optimizationmethod for the solution of a parameter identification problem for systemof ordinary differential equations which describes dynamics of atumor-immune system with chemotherapeutic as well asimmunotherapeutic drugs. We will use mathematical model (5)-(6) of [1]

∂T

∂t= rT (1 − pT )− α1TI − q1D1T ,

∂I

∂t= s +

ρT 2I

h + T 2+

βD2I

g + D2

− α2TI − µI − q2D1I ,

∂D1

∂t= u1 − γ1D1,

∂D2

∂t= u2 − γ2D2,

T (0) = T0, I (0) = I0,D1(o) = D10,D2(0) = D20.

Larisa Beilina, http://www.math.chalmers.se/larisa/ Lecture 1

Page 9: Numerical Linear Algebra - Chalmers › Math › Grundutb › CTH › tma265 › 1819 › ... · Course in Numerical Linear Algebra Organization: computer labs To pass this course

Optimal control of drugs in the mathematical model of

dynamics of a tumor-immune systemMaster’s works

in order to minimize the Tikhonov functional (7) of [1]:

J(u1(t), u2(t)) =

∫ tf

0

[T + B1u2

1 + B2u2

2 ]dt.

In other words, functions u1(t), u2(t) should be determined by knowingT . The paper [1] is available for download from the course homepage.Algorithm for the solution of the problem should be formulated andnumerically tested. Results will be compared with results of [1].

[1] S. Sharma, G. P. Samantha, Analysis of the Dynamics of aTumorÃÂÂImmune System with Chemotherapy and Immunotherapy andQuadratic Optimal Control, Differ. Eq. Dyn. Syst., Springer, 24(2), pp.149-171, 2016. DOI 10.1007/s12591-015-0250-1

Larisa Beilina, http://www.math.chalmers.se/larisa/ Lecture 1

Page 10: Numerical Linear Algebra - Chalmers › Math › Grundutb › CTH › tma265 › 1819 › ... · Course in Numerical Linear Algebra Organization: computer labs To pass this course

Determination of parameters in kinetic modelling in positron

emission tomography (PET)Master’s works

The goal of this Master project is development of the optimizationmethod for the solution of a parameter identification problem arising inPET for system of ODE which presents the kinetic model formeasurement of glucose transport and phosphorylation rate. We will usesuch-called three-compartment model

∂C1

∂t= K1C0(t)− (k2 + k3)C1 + k4C2,

∂I

∂t= k3C1 − k4C2,

C1(0) = C10,C2(0) = C20.

This mathematical model is taken from link below. The goal of theMaster’s project is to develop new algorithms for determination ofdifferent coefficients k2, k3 using measurements of C1,C2. Reconstructionalgorithms should be formulated and numerically tested.http://www.turkupetcentre.net/petanalysis/model_compartmental.html

Larisa Beilina, http://www.math.chalmers.se/larisa/ Lecture 1

Page 11: Numerical Linear Algebra - Chalmers › Math › Grundutb › CTH › tma265 › 1819 › ... · Course in Numerical Linear Algebra Organization: computer labs To pass this course

Course in Numerical Linear AlgebraSchedule

Day Time PlaceMon 13:15-15:00 Euler LectureThu 10:00-11:45 Pascal LectureWed 13:15-15:00 MVF24,MVF25 Computer LabsFr 13:15-15:00 MVF24,MVF25 Computer LabsOctober 14.00-18.00 SB ExamJanuary 14.00-18.00 SB Exam

Larisa Beilina, http://www.math.chalmers.se/larisa/ Lecture 1

Page 12: Numerical Linear Algebra - Chalmers › Math › Grundutb › CTH › tma265 › 1819 › ... · Course in Numerical Linear Algebra Organization: computer labs To pass this course

Course in Numerical Linear AlgebraOrganization

To pass this course you should pass the written exam and any2 from 5 computer assignments, see description of comp.assignments at the course homepage.

Any 2 from 4 compulsory home assignments should be handedin before the final exam.

Programs can be written in Matlab or C++/PETSc.Comp.ex.5 should be done in PETSc.

The final exam is compulsory, written.

The theory questions will be choosen from the list which ispossible download from the course homepage.

Larisa Beilina, http://www.math.chalmers.se/larisa/ Lecture 1

Page 13: Numerical Linear Algebra - Chalmers › Math › Grundutb › CTH › tma265 › 1819 › ... · Course in Numerical Linear Algebra Organization: computer labs To pass this course

Course in Numerical Linear AlgebraOrganization: computer labs

To pass this course you should do any 2 computer assignments.

You can work in groups by 2 persons.

Sent final report for every computer assignment with description ofyour work together with Matlab or C++/PETSc programs to mye-mail before the date for deadline. Report should have descriptionof used techniques, tables and figures confirming yourinvestigations. Analysis of obtained results is necessary to present insection “Numerical examples” and summarize results in the section“Conclusion”. You can download latex-template for report from thecourse homepage.

Matlab and C++ programs for examples in the course book areavailable for download from the course homepage: go to the link ofthe course book and click to “GitHub Page with MATLABÃÂ R©Source Codes” on the bottom of this page.

Larisa Beilina, http://www.math.chalmers.se/larisa/ Lecture 1

Page 14: Numerical Linear Algebra - Chalmers › Math › Grundutb › CTH › tma265 › 1819 › ... · Course in Numerical Linear Algebra Organization: computer labs To pass this course

Deadlines for homeworks and comp. labs

Deadlines for homeworks and comp.ex.:

Homework 1 and comp. ex. 1: 14 September

Homework 2: 21 September

Homework 3 and comp.ex. 2: 5 October

Homework 4 and comp.ex. 3: 12 October (last comp.lab)

Comp.ex. 4,5: 19 October

Comp.ex. can be done in groups by 2 students. Reports forhomeworks and comp.labs (together with programs) should be sentto my e-mail before the deadline. Hand-written homeworks can bereturned directly to me or putted into the red box which is locatedbehind my office.

Larisa Beilina, http://www.math.chalmers.se/larisa/ Lecture 1

Page 15: Numerical Linear Algebra - Chalmers › Math › Grundutb › CTH › tma265 › 1819 › ... · Course in Numerical Linear Algebra Organization: computer labs To pass this course

Grades

Bonuspoints will be added to the points obtained at written exam.Final grades will be the following:

Grades Chalmers Points- < 153 15-204 21-275 > 27Grades GU PointsU < 15G 15-27VG > 27

Larisa Beilina, http://www.math.chalmers.se/larisa/ Lecture 1

Page 16: Numerical Linear Algebra - Chalmers › Math › Grundutb › CTH › tma265 › 1819 › ... · Course in Numerical Linear Algebra Organization: computer labs To pass this course

Comp.labs in PETSc

Comp.ex.5 should be done in PETSc. PETSc libraries whichare a suite of data structures and routines for the scalable(parallel) solution of scientific applications.

Link to the PETSc documentation:http://www.mcs.anl.gov/petsc/documentation/

Template for solution of system of equations Ax = b usingPETSc is available for download from the course homepage.Study Example 12.5 of the course book where is presentedsolution of the Dirichlet problem for the Poisson’s equationusing PETSc. PETSc programs for solution of this problemare available download from the course homepage: go to thelink of the course book and click to “GitHub Page withMATLABÃÂ R© Source Codes” on the bottom of this page.

Larisa Beilina, http://www.math.chalmers.se/larisa/ Lecture 1

Page 17: Numerical Linear Algebra - Chalmers › Math › Grundutb › CTH › tma265 › 1819 › ... · Course in Numerical Linear Algebra Organization: computer labs To pass this course

PETSc: example of Makefile for running at Chalmers

PETSC_ARCH=/chalmers/sw/sup64/petsc-3.7.4include $PETSC_ARCH/lib/petsc/conf/variablesinclude $PETSC_ARCH/lib/petsc/conf/rulesCXX=g++CXXFLAGS=-Wall -Wextra -g -O0 -c -Iinclude-I$PETSC_ARCH/includeLD=g++LFLAGS=OBJECTS=Main.o CG.o Create.o DiscretePoisson2D.oGaussSeidel.o Jacobi.o PCG.o Solver.o SOR.oRun=Mainall: $(Run)%.o: %.cpp $(CXX) $(CXXFLAGS) -o $@ $<$(Run): $(OBJECTS) $(LD) $(LFLAGS) $(OBJECTS)$(PETSC_LIB) -o $@

Larisa Beilina, http://www.math.chalmers.se/larisa/ Lecture 1

Page 18: Numerical Linear Algebra - Chalmers › Math › Grundutb › CTH › tma265 › 1819 › ... · Course in Numerical Linear Algebra Organization: computer labs To pass this course

Course in Numerical Linear AlgebraPurpose of the course

Solve Linear systems of equations using Gaussian eliminationwith different pivoting strategies and blocking algorithms

Larisa Beilina, http://www.math.chalmers.se/larisa/ Lecture 1

Page 19: Numerical Linear Algebra - Chalmers › Math › Grundutb › CTH › tma265 › 1819 › ... · Course in Numerical Linear Algebra Organization: computer labs To pass this course

Course in Numerical Linear AlgebraPurpose of the course

Solve Linear systems of equations using Gaussian eliminationwith different pivoting strategies and blocking algorithms

Study and use QR decomposition and SVD decomposition

Larisa Beilina, http://www.math.chalmers.se/larisa/ Lecture 1

Page 20: Numerical Linear Algebra - Chalmers › Math › Grundutb › CTH › tma265 › 1819 › ... · Course in Numerical Linear Algebra Organization: computer labs To pass this course

Course in Numerical Linear AlgebraPurpose of the course

Solve Linear systems of equations using Gaussian eliminationwith different pivoting strategies and blocking algorithms

Study and use QR decomposition and SVD decomposition

Solve eigenvalue problems based on transformation techniquesfor symmetric and non-symmetric matrices

Larisa Beilina, http://www.math.chalmers.se/larisa/ Lecture 1

Page 21: Numerical Linear Algebra - Chalmers › Math › Grundutb › CTH › tma265 › 1819 › ... · Course in Numerical Linear Algebra Organization: computer labs To pass this course

Course in Numerical Linear AlgebraPurpose of the course

Solve Linear systems of equations using Gaussian eliminationwith different pivoting strategies and blocking algorithms

Study and use QR decomposition and SVD decomposition

Solve eigenvalue problems based on transformation techniquesfor symmetric and non-symmetric matrices

Use computer algorithms, programs and software packages(MATLAB, C++/PETSc)

Larisa Beilina, http://www.math.chalmers.se/larisa/ Lecture 1

Page 22: Numerical Linear Algebra - Chalmers › Math › Grundutb › CTH › tma265 › 1819 › ... · Course in Numerical Linear Algebra Organization: computer labs To pass this course

Course in Numerical Linear AlgebraPurpose of the course

Solve Linear systems of equations using Gaussian eliminationwith different pivoting strategies and blocking algorithms

Study and use QR decomposition and SVD decomposition

Solve eigenvalue problems based on transformation techniquesfor symmetric and non-symmetric matrices

Use computer algorithms, programs and software packages(MATLAB, C++/PETSc)

Solve real physical problems by modelling these problems viaNLA

Larisa Beilina, http://www.math.chalmers.se/larisa/ Lecture 1

Page 23: Numerical Linear Algebra - Chalmers › Math › Grundutb › CTH › tma265 › 1819 › ... · Course in Numerical Linear Algebra Organization: computer labs To pass this course

Course in Numerical Linear AlgebraLecture 1: main notions from linear algebra

A linear system is a mathematical model of a system which usesdefinition of a linear operator. Linear systems have importantapplications in automatic control theory, signal processing, andtelecommunications. For example, the propagation medium forwireless communication systems can often be modeled by linearsystems.

A general deterministic system can be described by operator, H,that maps an input, x(t), as a function of t to an output, y(t), atype of black box description. Linear systems satisfy the propertiesof superposition and scaling or homogeneity. Given two valid inputsx1(t), x2(t) as well as their respective outputs

y1(t) = H x1(t) ; y2(t) = H x2(t)

a linear system must satisfy to the equation

αy1(t) + βy2(t) = H αx1(t) + βx2(t)

for any scalar values of α and β.

Larisa Beilina, http://www.math.chalmers.se/larisa/ Lecture 1

Page 24: Numerical Linear Algebra - Chalmers › Math › Grundutb › CTH › tma265 › 1819 › ... · Course in Numerical Linear Algebra Organization: computer labs To pass this course

Example of application of linear systems: image compression

using SVD

Definition SVD Let A be an arbitrary m-by-n matrix with m ≥ n. Thenwe can write A = UΣV T , where U is m-by-n and satisfies UTU = I , Vis n-by-n and satisfies V TV = I , and Σ = diag(σ1, . . . , σn), whereσ1 ≥ · · · ≥ σn ≥ 0. The columns u1, . . . , un of U are called left singular

vectors. The columns v1, . . . , vn of V are called right singular vectors.The σi are called singular values. (If m < n, the SVD is defined byconsidering AT .)Theorem

Write V = [υ1, υ2, . . . , υn] and U = [u1, u2, . . . , un], soA = UΣV T =

∑n

i=1σiuiυ

Ti (a sum of rank-1 matrices). Then a matrix

of rank k < n closest to A (measured with || · ||2 is Ak =∑k

i=1σiuiυ

Ti

and ||A− Ak ||2 = σk+1. We may also write Ak = UΣkVT where

Σk = diag(σ1, . . . , σk , 0, . . . , 0).

Larisa Beilina, http://www.math.chalmers.se/larisa/ Lecture 1

Page 25: Numerical Linear Algebra - Chalmers › Math › Grundutb › CTH › tma265 › 1819 › ... · Course in Numerical Linear Algebra Organization: computer labs To pass this course

Example of application of linear systems: image compression

using SVD

50 100 150 200 250 300

20

40

60

80

100

120

140

160

180

20050 100 150 200 250 300

20

40

60

80

100

120

140

160

180

200

a) Original image b) Rank k=20 approximation

Larisa Beilina, http://www.math.chalmers.se/larisa/ Lecture 1

Page 26: Numerical Linear Algebra - Chalmers › Math › Grundutb › CTH › tma265 › 1819 › ... · Course in Numerical Linear Algebra Organization: computer labs To pass this course

Example of application of linear systems: image compression

using SVD in Matlab

See path for other pictures:/matlab-2012b/toolbox/matlab/demosload clown.mat;Size(X) = m × n = 320 × 200 pixels.[U,S,V] = svd(X);colormap(map);k=20;image(U(:,1:k)*S(1:k,1:k)*V(:,1:k)’);Now: size(U)= m × k , size(V)= n × k .

Larisa Beilina, http://www.math.chalmers.se/larisa/ Lecture 1

Page 27: Numerical Linear Algebra - Chalmers › Math › Grundutb › CTH › tma265 › 1819 › ... · Course in Numerical Linear Algebra Organization: computer labs To pass this course

Example of application of linear systems: image compression

using SVD in Matlab

50 100 150 200 250

20

40

60

80

100

120

140

160

180

50 100 150 200 250

20

40

60

80

100

120

140

160

180

a) Original image b) Rank k=10 approximation

50 100 150 200 250

20

40

60

80

100

120

140

160

180

50 100 150 200 250

20

40

60

80

100

120

140

160

180

c) Rank k=20 approximation d) Rank k=50 approximation

Larisa Beilina, http://www.math.chalmers.se/larisa/ Lecture 1

Page 28: Numerical Linear Algebra - Chalmers › Math › Grundutb › CTH › tma265 › 1819 › ... · Course in Numerical Linear Algebra Organization: computer labs To pass this course

Example of application of linear systems: image compression

using SVD for arbitrary image

To get image on the previous slide, I took picture in jpg-format andloaded it in matlab like that:A = imread(’autumn.jpg’);You can not simply apply SVD to A: svd(A) Undefined function’svd’ for input arguments of type ’uint8’.Apply type "double” to A: DA = double(A), and then perform[U,S,V] = svd(DA);colormap(’gray’);k=20;image(U(:,1:k)*S(1:k,1:k)*V(:,1:k)’);Now: size(U)= m × k , size(V)= n × k .

Larisa Beilina, http://www.math.chalmers.se/larisa/ Lecture 1

Page 29: Numerical Linear Algebra - Chalmers › Math › Grundutb › CTH › tma265 › 1819 › ... · Course in Numerical Linear Algebra Organization: computer labs To pass this course

Example of application of linear systems: image deblurring

Original Image Blurred Image

Figure: left: exact matrix X, right: approximated matrix B

Larisa Beilina, http://www.math.chalmers.se/larisa/ Lecture 1

Page 30: Numerical Linear Algebra - Chalmers › Math › Grundutb › CTH › tma265 › 1819 › ... · Course in Numerical Linear Algebra Organization: computer labs To pass this course

The blurring model

Consider a grayscale image

X: m × n matrix representing the exact image

B: m × n matrix representing the blurred image

Larisa Beilina, http://www.math.chalmers.se/larisa/ Lecture 1

Page 31: Numerical Linear Algebra - Chalmers › Math › Grundutb › CTH › tma265 › 1819 › ... · Course in Numerical Linear Algebra Organization: computer labs To pass this course

The blurring model

Consider a grayscale image

X: m × n matrix representing the exact image

B: m × n matrix representing the blurred image

Assume linear blurring.

x = vec(X) =

x1

...xn

∈ R

N , b = vec(B) =

b1

...bn

∈ R

N

A N × N matrix, with N = m · n

Ax = b

Knowing X and A it is straightforward to compute the blurredimage.

Larisa Beilina, http://www.math.chalmers.se/larisa/ Lecture 1

Page 32: Numerical Linear Algebra - Chalmers › Math › Grundutb › CTH › tma265 › 1819 › ... · Course in Numerical Linear Algebra Organization: computer labs To pass this course

Motion blur

Motion Blurred Image PSF

5 10 15

2

4

6

8

10

12

14

Larisa Beilina, http://www.math.chalmers.se/larisa/ Lecture 1

Page 33: Numerical Linear Algebra - Chalmers › Math › Grundutb › CTH › tma265 › 1819 › ... · Course in Numerical Linear Algebra Organization: computer labs To pass this course

Out-of-focus blur

Blurred Image PSF

5 10 15 20

5

10

15

20

Larisa Beilina, http://www.math.chalmers.se/larisa/ Lecture 1

Page 34: Numerical Linear Algebra - Chalmers › Math › Grundutb › CTH › tma265 › 1819 › ... · Course in Numerical Linear Algebra Organization: computer labs To pass this course

Gaussian blur

Gaussian Blurred Image PSF

2 4 6 8 10 12

2

4

6

8

10

12

Larisa Beilina, http://www.math.chalmers.se/larisa/ Lecture 1

Page 35: Numerical Linear Algebra - Chalmers › Math › Grundutb › CTH › tma265 › 1819 › ... · Course in Numerical Linear Algebra Organization: computer labs To pass this course

Image deblurring: solution of an inverse problem

Let H be the Hilbert space H1 and let Ω ⊂ Rm,m = 2, 3, be a convex

bounded domain. Our goal is to solve a Fredholm integral equation ofthe first kind for x ∈ Ω

Ω

K (x − y)z(x)dx = u(y), (2)

where u(y) ∈ L2(Ω), z(x) ∈ H, K (x − y) ∈ C k(

Ω)

, k ≥ 0 be the kernelof the integral equation.Let us rewrite (2) in an operator form as

A(z) = u (3)

with an operator A : H → L2(Ω) defined as

A(z) :=

Ω

K (x − y)z(x)dx . (4)

Larisa Beilina, http://www.math.chalmers.se/larisa/ Lecture 1

Page 36: Numerical Linear Algebra - Chalmers › Math › Grundutb › CTH › tma265 › 1819 › ... · Course in Numerical Linear Algebra Organization: computer labs To pass this course

Ill-posed problem.

Let the function z(x) ∈ H1 of the equation (2) be unknown in thedomain Ω. Determine the function z(x) for x ∈ Ω assuming the functionsK (x − y) ∈ C k

(

Ω)

, k ≥ 0 and u(x) ∈ L2(Ω) in (2) are known.Let δ > 0 be the error in the right-hand side of the equation (2):

A (z∗) = u∗, ‖u − u∗‖L2(σ)≤ δ. (5)

where u∗ is the exact right-hand side corresponding to the exact solutionz∗.To find the approximate solution of the equation (2) we minimize thefunctional

Mα (z) = ‖Az − u‖2

L2(Ω) + α‖z‖2

H1(Ω), (6)

Mα : H1 → R,

where α = α (δ) > 0 is the small regularization parameter.

Larisa Beilina, http://www.math.chalmers.se/larisa/ Lecture 1

Page 37: Numerical Linear Algebra - Chalmers › Math › Grundutb › CTH › tma265 › 1819 › ... · Course in Numerical Linear Algebra Organization: computer labs To pass this course

We consider now more general form of the Tikhonov functional (6). LetW1,W2,Q be three Hilbert spaces, Q ⊆ W1 as a set, the norm in Q isstronger than the norm in W1 and Q = W1, where the closure isunderstood in the norm of W1. We denote scalar products and norms inthese spaces as

(·, ·) , ‖·‖ for W1,

(·, ·)2, ‖·‖

2for W2

and [·, ·] , [·] for Q.

Let A : W1 → W2 be a bounded linear operator. Our goal is to find thefunction z(x) ∈ Q which minimizes the Tikhonov functional

Eα (z) : Q → R, (7)

Eα (z) =12‖Az − u‖

2

2+

α

2[z − z0]

2, u ∈ W2; z , z0 ∈ Q, (8)

where α ∈ (0, 1) is the regularization parameter. To do that we searchfor a stationary point of the above functional with respect to z satisfying∀b ∈ Q

E ′α(z)(b) = 0. (9)

Larisa Beilina, http://www.math.chalmers.se/larisa/ Lecture 1

Page 38: Numerical Linear Algebra - Chalmers › Math › Grundutb › CTH › tma265 › 1819 › ... · Course in Numerical Linear Algebra Organization: computer labs To pass this course

The following lemma is well known for the case W1 = W2 = L2.Lemma 1. Let A : L2 → L2 be a bounded linear operator. Then theFréchet derivative of the functional (6) is

E ′α(z) (b) = (A∗Az − A∗u, b) + α [z − z0, b] , ∀b ∈ Q. (10)

In particular, for the integral operator (2) we have

E ′α(z) (b) =

Ω

b (s)

Ω

z (y)

Ω

K (x − y)K (x − s)dx

dy

Ω

K (x − s)u (x) dx]

ds

(11)

+α [z − z0, b] , ∀b ∈ Q.

Larisa Beilina, http://www.math.chalmers.se/larisa/ Lecture 1

Page 39: Numerical Linear Algebra - Chalmers › Math › Grundutb › CTH › tma265 › 1819 › ... · Course in Numerical Linear Algebra Organization: computer labs To pass this course

Lemma 2 is also well known, since A : W1 → W2 is a bounded linearoperator. We formulate this lemma only for our specific case.Lemma 2. Let the operator A : W1 → W2 satisfies conditions of Lemma1. Then the functional Eα (z) is strongly convex on the space Q with theconvexity parameter κ such that

(E ′α(x)− E ′

α(z) , x − z) ≥ κ[x − z ]2, ∀x , z ∈ Q. (12)

Larisa Beilina, http://www.math.chalmers.se/larisa/ Lecture 1

Page 40: Numerical Linear Algebra - Chalmers › Math › Grundutb › CTH › tma265 › 1819 › ... · Course in Numerical Linear Algebra Organization: computer labs To pass this course

Similarly, the functional Mα(z) is also strongly convex on theSobolev space H1:

(

M ′

α(x)−M ′

α(z) , x − z

)

H1≥ κ||x − z ||2H1

, ∀x , z ∈ H1, (13)

Find z via any gradient-like method. For example, perform usualgradient update

zk+1 = zk + βE ′

α

(

zk)

(b) . (14)

until ||zk+1 − zk || converges.

Larisa Beilina, http://www.math.chalmers.se/larisa/ Lecture 1

Page 41: Numerical Linear Algebra - Chalmers › Math › Grundutb › CTH › tma265 › 1819 › ... · Course in Numerical Linear Algebra Organization: computer labs To pass this course

Image deblurring: example

a) b)

Figure: a) Image of the defect in the planar chip. b) result ofreconstruction with bounded total variation functions. Source: [1].

[1] Koshev N.A., Orlikovsky N.A., Rau E.I., Yagola A.G. Solution of the inverse problem of restoring the

signals from an electronic microscope in the backscattered electron mode on the class of bounded

variation functions, Numerical Methods and Programming, 2011, V.11, pp. 362-367 (in Russian).

Larisa Beilina, http://www.math.chalmers.se/larisa/ Lecture 1

Page 42: Numerical Linear Algebra - Chalmers › Math › Grundutb › CTH › tma265 › 1819 › ... · Course in Numerical Linear Algebra Organization: computer labs To pass this course

Image deblurring: an adaptive refinement, example

a) 7938 elements b) z1, 11270 elements c) z2, 15916 elements

d) z3, 24262 elements e) z4, 40358 elements f) z5, 72292 elements

g) 7938 elements h) 11270 elements i) 15916 elements

j) 24262 elements k) 40358 elements l) 72292 elements

m) n) o)

Figure: Reconstruction from the experimental backscattering data obtained by the microtomograph[KB].

Larisa Beilina, http://www.math.chalmers.se/larisa/ Lecture 1

Page 43: Numerical Linear Algebra - Chalmers › Math › Grundutb › CTH › tma265 › 1819 › ... · Course in Numerical Linear Algebra Organization: computer labs To pass this course

Image deblurring: an adaptive refinement, example

g) 7938 elements h) 11270 elements i) 15916 elements

j) 24262 elements k) 40358 elements l) 72292 elements

Figure: Reconstruction from the experimental backscattering data obtained by the microtomograph[KB].

[KB] N. Koshev and L. Beilina, An adaptive finite element method for Fredholm integral equations of

the first kind and its verification on experimental data, in the Topical Issue âNumerical Methods for

Large Scale Scientific Computingâ of CEJM, 11(8), 1489-1509, 2013.

Larisa Beilina, http://www.math.chalmers.se/larisa/ Lecture 1

Page 44: Numerical Linear Algebra - Chalmers › Math › Grundutb › CTH › tma265 › 1819 › ... · Course in Numerical Linear Algebra Organization: computer labs To pass this course

Course in Numerical Linear AlgebraLecture 1: main notions from linear algebra

Notions from linear algebra

Matrices (Identity matrix, triangular, singular, symmetric,positive definite, conjugate transpose, rank, norm )

Larisa Beilina, http://www.math.chalmers.se/larisa/ Lecture 1

Page 45: Numerical Linear Algebra - Chalmers › Math › Grundutb › CTH › tma265 › 1819 › ... · Course in Numerical Linear Algebra Organization: computer labs To pass this course

Course in Numerical Linear AlgebraLecture 1: main notions from linear algebra

Notions from linear algebra

Matrices (Identity matrix, triangular, singular, symmetric,positive definite, conjugate transpose, rank, norm )

Matrix operations, inverse, transposition, scalar (inner)product, outer product

Larisa Beilina, http://www.math.chalmers.se/larisa/ Lecture 1

Page 46: Numerical Linear Algebra - Chalmers › Math › Grundutb › CTH › tma265 › 1819 › ... · Course in Numerical Linear Algebra Organization: computer labs To pass this course

Course in Numerical Linear AlgebraLecture 1: main notions from linear algebra

Notions from linear algebra

Matrices (Identity matrix, triangular, singular, symmetric,positive definite, conjugate transpose, rank, norm )

Matrix operations, inverse, transposition, scalar (inner)product, outer product

Gaussian elimination

Larisa Beilina, http://www.math.chalmers.se/larisa/ Lecture 1

Page 47: Numerical Linear Algebra - Chalmers › Math › Grundutb › CTH › tma265 › 1819 › ... · Course in Numerical Linear Algebra Organization: computer labs To pass this course

Course in Numerical Linear AlgebraLecture 1: main notions from linear algebra

Notions from linear algebra

Matrices (Identity matrix, triangular, singular, symmetric,positive definite, conjugate transpose, rank, norm )

Matrix operations, inverse, transposition, scalar (inner)product, outer product

Gaussian elimination

Eigenvalues

Larisa Beilina, http://www.math.chalmers.se/larisa/ Lecture 1

Page 48: Numerical Linear Algebra - Chalmers › Math › Grundutb › CTH › tma265 › 1819 › ... · Course in Numerical Linear Algebra Organization: computer labs To pass this course

Course in Numerical Linear AlgebraLecture 1: main notions from linear algebra

Notions from linear algebra

Matrices (Identity matrix, triangular, singular, symmetric,positive definite, conjugate transpose, rank, norm )

Matrix operations, inverse, transposition, scalar (inner)product, outer product

Gaussian elimination

Eigenvalues

Norms

Larisa Beilina, http://www.math.chalmers.se/larisa/ Lecture 1

Page 49: Numerical Linear Algebra - Chalmers › Math › Grundutb › CTH › tma265 › 1819 › ... · Course in Numerical Linear Algebra Organization: computer labs To pass this course

Course in Numerical Linear AlgebraLecture 1: main notions from linear algebra

Notions from linear algebra

Matrices (Identity matrix, triangular, singular, symmetric,positive definite, conjugate transpose, rank, norm )

Matrix operations, inverse, transposition, scalar (inner)product, outer product

Gaussian elimination

Eigenvalues

Norms

LU-factorization, pivoting, row echelon form

Larisa Beilina, http://www.math.chalmers.se/larisa/ Lecture 1

Page 50: Numerical Linear Algebra - Chalmers › Math › Grundutb › CTH › tma265 › 1819 › ... · Course in Numerical Linear Algebra Organization: computer labs To pass this course

Identity matrix

The identity matrix or unit matrix of size n is the n × n squarematrix with ones on the main diagonal and zeros elsewhere. It isdenoted by In, or simply by I .

I1 =[

1]

, I2 =

[

1 00 1

]

, · · · , In =

1 0 · · · 00 1 · · · 0...

.... . .

...0 0 · · · 1

When A has size m×n, it is a property of matrix multiplication thatImA = AIn = A.Using the notation that is sometimes used to concisely describediagonal matrices, we can write:In = diag(1, 1, ..., 1).It can also be written using the Kronecker delta notation:(In)ij = δij .

Larisa Beilina, http://www.math.chalmers.se/larisa/ Lecture 1

Page 51: Numerical Linear Algebra - Chalmers › Math › Grundutb › CTH › tma265 › 1819 › ... · Course in Numerical Linear Algebra Organization: computer labs To pass this course

Triangular matrix

A square matrix is called lower triangular if all the entries above themain diagonal are zero.

L =

l1,1 0l2,1 l2,2

l3,1 l3,2. . .

......

. . .. . .

ln,1 ln,2 . . . ln,n−1 ln,n

A square matrix is called upper triangular if all the entries below themain diagonal are zero.

U =

u1,1 u1,2 u1,3 . . . u1,n

u2,2 u2,3 . . . u2,n

. . .. . .

.... . . un−1,n

0 un,n

Larisa Beilina, http://www.math.chalmers.se/larisa/ Lecture 1

Page 52: Numerical Linear Algebra - Chalmers › Math › Grundutb › CTH › tma265 › 1819 › ... · Course in Numerical Linear Algebra Organization: computer labs To pass this course

Triangular matrix

A triangular matrix is one that is either lower triangular or uppertriangular.

A matrix that is both upper and lower triangular is a diagonalmatrix.

Dn =

d1,1 0 · · · 00 d2,2 · · · 0...

.... . .

...0 0 · · · dn,n

Larisa Beilina, http://www.math.chalmers.se/larisa/ Lecture 1

Page 53: Numerical Linear Algebra - Chalmers › Math › Grundutb › CTH › tma265 › 1819 › ... · Course in Numerical Linear Algebra Organization: computer labs To pass this course

Singular matrix

A square matrix that does not have a matrix inverse. A matrix is singularif its determinant is 0. For example, there are 10 2 × 2 singular(0, 1)-matrices:

[

0 00 0

] [

0 00 1

] [

0 01 0

] [

0 01 1

] [

0 10 0

]

[

0 10 1

] [

1 00 0

] [

1 01 0

] [

1 10 0

] [

1 11 1

]

Larisa Beilina, http://www.math.chalmers.se/larisa/ Lecture 1

Page 54: Numerical Linear Algebra - Chalmers › Math › Grundutb › CTH › tma265 › 1819 › ... · Course in Numerical Linear Algebra Organization: computer labs To pass this course

Symmetric and positive definite matrix

A symmetric matrix is a square matrix that is equal to its transpose.Let A be a symmetric matrix. Then:

A = AT .

If the entries of matrix A are written as A = (aij), then thesymmetric matrix A is such that aij = aji .

An n × n real matrix M is positive definite if zTMz > 0 for allnon-zero vectors z with real entries (z ∈ R

n), where zT denotes thetranspose of z .

An n× n Hermitian matrix M is positive definite if z∗Mz is real andpositive for all non-zero complex vectors z , where z∗ denotes theconjugate transpose of z .

Larisa Beilina, http://www.math.chalmers.se/larisa/ Lecture 1

Page 55: Numerical Linear Algebra - Chalmers › Math › Grundutb › CTH › tma265 › 1819 › ... · Course in Numerical Linear Algebra Organization: computer labs To pass this course

Examples

The following matrix is symmetric:

1 7 37 4 −53 −5 6

.

Every diagonal matrix is symmetric, since all off-diagonal entries arezero.

Larisa Beilina, http://www.math.chalmers.se/larisa/ Lecture 1

Page 56: Numerical Linear Algebra - Chalmers › Math › Grundutb › CTH › tma265 › 1819 › ... · Course in Numerical Linear Algebra Organization: computer labs To pass this course

Examples

The nonnegative matrix

M0 =

[

1 00 1

]

is positive definite.

For a vector with entries

z =

[

z0z1

]

the quadratic form is

[

z0 z1]

[

1 00 1

] [

z0z1

]

=[

z0 · 1 + z1 · 0 z0 · 0 + z1 · 1]

[

z0z1

]

= z2

0+z2

1 ;

when the entries z0, z1 are real and at least one of them nonzero,this is positive.

Larisa Beilina, http://www.math.chalmers.se/larisa/ Lecture 1

Page 57: Numerical Linear Algebra - Chalmers › Math › Grundutb › CTH › tma265 › 1819 › ... · Course in Numerical Linear Algebra Organization: computer labs To pass this course

A matrix in which some elements are negative may still bepositive-definite. An example is given by

M1 =

2 −1 0−1 2 −10 −1 2

.

It is positive definite since for any non-zero vector

x =

x1

x2

x3

,

we have

Larisa Beilina, http://www.math.chalmers.se/larisa/ Lecture 1

Page 58: Numerical Linear Algebra - Chalmers › Math › Grundutb › CTH › tma265 › 1819 › ... · Course in Numerical Linear Algebra Organization: computer labs To pass this course

xTM1x =[

x1 x2 x3

]

2 −1 0−1 2 −10 −1 2

x1

x2

x3

=[

(2x1 − x2) (−x1 + 2x2 − x3) (−x2 + 2x3)]

x1

x2

x3

= 2x12 − 2x1x2 + 2x2

2 − 2x2x3 + 2x32

= x12 + (x1 − x2)

2 + (x2 − x3)2 + x3

2

which is a sum of squares and therefore nonnegative; in fact, eachsquared summa can be zero only when x1 = x2 = x3 = 0, so M1 isindeed positive-definite.

Larisa Beilina, http://www.math.chalmers.se/larisa/ Lecture 1

Page 59: Numerical Linear Algebra - Chalmers › Math › Grundutb › CTH › tma265 › 1819 › ... · Course in Numerical Linear Algebra Organization: computer labs To pass this course

Conjugate transpose matrix

The conjugate transpose, Hermitian transpose, Hermitian conjugate, oradjoint matrix of an m-by-n matrix A with complex entries is the n-by-mmatrix A∗ obtained from A by taking the transpose and then taking thecomplex conjugate of each entry (i.e., negating their imaginary parts butnot their real parts). The conjugate transpose is formally defined by

(A∗)ij = Aji

where the subscripts denote the i , j-th entry, and the overbar denotes ascalar complex conjugate. (The complex conjugate of a+ bi , where a

and b are reals, is a− bi .)This definition can also be written as

A∗ = (A)T = AT

where AT denotes the transpose and A, denotes the matrix with complexconjugated entries.

Larisa Beilina, http://www.math.chalmers.se/larisa/ Lecture 1

Page 60: Numerical Linear Algebra - Chalmers › Math › Grundutb › CTH › tma265 › 1819 › ... · Course in Numerical Linear Algebra Organization: computer labs To pass this course

The conjugate transpose of a matrix A can be denoted by any of thesesymbols:

A∗or AH,

commonly used in linear algebra.ExampleIf

A =

[

3 + i 5 −2i2 − 2i i −7 − 13i

]

then

A∗ =

3 − i 2 + 2i5 −i

2i −7 + 13i

Larisa Beilina, http://www.math.chalmers.se/larisa/ Lecture 1

Page 61: Numerical Linear Algebra - Chalmers › Math › Grundutb › CTH › tma265 › 1819 › ... · Course in Numerical Linear Algebra Organization: computer labs To pass this course

Basic remarks

A square matrix A with entries aij is called Hermitian or self-adjointif A = A∗, i.e., aij = aji .

normal if A∗A = AA∗.

unitary if A∗ = A−1. a unitary matrix is a (square) n × n complexmatrix A satisfying the condition A∗A = AA∗ = In, where In is theidentity matrix in n dimensions.

Even if A is not square, the two matrices A∗A and AA∗ are bothHermitian and in fact positive semi-definite matrices.

Finding the conjugate transpose of a matrix A with real entriesreduces to finding the transpose of A, as the conjugate of a realnumber is the number itself.

Larisa Beilina, http://www.math.chalmers.se/larisa/ Lecture 1

Page 62: Numerical Linear Algebra - Chalmers › Math › Grundutb › CTH › tma265 › 1819 › ... · Course in Numerical Linear Algebra Organization: computer labs To pass this course

Row echelon form

In linear algebra a matrix is in row echelon form if

All nonzero rows (rows with at least one nonzero element) areabove any rows of all zeroes [All zero rows, if any, belong at thebottom of the matrix]

The leading coefficient (the first nonzero number from the left, alsocalled the pivot) of a nonzero row is always strictly to the right ofthe leading coefficient of the row above it.

All entries in a column below a leading entry are zeroes (implied bythe first two criteria).

This is an example of 3 × 4 matrix in row echelon form:

1 a1 a2 a3

0 2 a4 a5

0 0 −1 a6

Larisa Beilina, http://www.math.chalmers.se/larisa/ Lecture 1

Page 63: Numerical Linear Algebra - Chalmers › Math › Grundutb › CTH › tma265 › 1819 › ... · Course in Numerical Linear Algebra Organization: computer labs To pass this course

Row echelon form

A matrix is in reduced row echelon form (also called row canonical form)if it satisfies the additional condition: Every leading coefficient is 1 and isthe only nonzero entry in its column, like in this example:

1 0 0 b1

0 1 0 b2

0 0 1 b3

Note that this does not always mean that the left of the matrix will be anidentity matrix. For example, the following matrix is also in reducedrow-echelon form:

1 0 1/2 0 b1

0 1 −1/3 0 b2

0 0 0 1 b3

Larisa Beilina, http://www.math.chalmers.se/larisa/ Lecture 1

Page 64: Numerical Linear Algebra - Chalmers › Math › Grundutb › CTH › tma265 › 1819 › ... · Course in Numerical Linear Algebra Organization: computer labs To pass this course

Rank

Column rank of a matrix A is the maximum number of linearlyindependent column vectors of A. The row rank of a matrix A is themaximum number of linearly independent row vectors of A.Equivalently, the column rank of A is the dimension of the columnspace of A, while the row rank of A is the dimension of the rowspace of A.

A result of fundamental importance in linear algebra is that thecolumn rank and the row rank are always equal. It is commonlydenoted by either rk(A) or rank A. Since the column vectors of Aare the row vectors of the transpose of A (denoted here by AT ),column rank of A equals row rank of A is equivalent to saying thatthe rank of a matrix is equal to the rank of its transpose, i.e.rk(A) = rk(AT ).

The rank of an m × n matrix cannot be greater than m nor n. Amatrix that has a rank as large as possible is said to have full rank;otherwise, the matrix is rank deficient.

Larisa Beilina, http://www.math.chalmers.se/larisa/ Lecture 1

Page 65: Numerical Linear Algebra - Chalmers › Math › Grundutb › CTH › tma265 › 1819 › ... · Course in Numerical Linear Algebra Organization: computer labs To pass this course

Cofactor

In linear algebra, the cofactor (sometimes called adjunct, see below)describes a particular construction that is useful for calculating both thedeterminant and inverse of square matrices. Specifically the cofactor ofthe (i , j) entry of a matrix, also known as the (i , j) cofactor of thatmatrix, is the signed minor of that entry.Informal approach to minors and cofactors

Finding the minors of a matrix A is a multi-step process:

Choose an entry aij from the matrix.

Cross out the entries that lie in the corresponding row i and columnj.

Rewrite the matrix without the marked entries.

Obtain the determinant Mij of this new matrix.

If i + j is an even number, the cofactor Cij of aij coincides with its minor:Cij = Mij .Otherwise, it is equal to the additive inverse of its minor: Cij = −Mij .

Larisa Beilina, http://www.math.chalmers.se/larisa/ Lecture 1

Page 66: Numerical Linear Algebra - Chalmers › Math › Grundutb › CTH › tma265 › 1819 › ... · Course in Numerical Linear Algebra Organization: computer labs To pass this course

Formal definition of cofactor

If A is a square matrix, then the minor of its entry aij , also knownas the (i , j) minor of A, is denoted by Mij and is defined to be thedeterminant of the submatrix obtained by removing from A its i-throw and j-th column.It follows:Cij = (−1)i+jMij and Cij is called the cofactor of aij .

Larisa Beilina, http://www.math.chalmers.se/larisa/ Lecture 1

Page 67: Numerical Linear Algebra - Chalmers › Math › Grundutb › CTH › tma265 › 1819 › ... · Course in Numerical Linear Algebra Organization: computer labs To pass this course

Example

Given the matrix

B =

b11 b12 b13

b21 b22 b23

b31 b32 b33

suppose we wish to find the cofactor C23. The minor M23 is thedeterminant of the above matrix with row 2 and column 3 removed.

M23 =

b11 b12

b31 b32

yields M23 =

b11 b12

b31 b32

= b11b32 − b31b12

Using the given definition it follows that

C23 = (−1)2+3(M23)

C23 = (−1)5(b11b32 − b31b12)

C23 = b31b12 − b11b32.

Larisa Beilina, http://www.math.chalmers.se/larisa/ Lecture 1

Page 68: Numerical Linear Algebra - Chalmers › Math › Grundutb › CTH › tma265 › 1819 › ... · Course in Numerical Linear Algebra Organization: computer labs To pass this course

Application of cofactors: computation of matrix inversion

Writing the transpose of the matrix of cofactors, known as an adjugatematrix, can also be an efficient way to calculate the inverse of smallmatrices, but this recursive method is inefficient for large matrices. Todetermine the inverse, we calculate a matrix of cofactors:

A−1 =1∣

∣A∣

(

CT)

ij=

1∣

∣A∣

(Cji ) =1∣

∣A∣

C11 C21 · · · Cn1

C12 C22 · · · Cn2

......

. . ....

C1n C2n · · · Cnn

where |A| is the determinant of A,Cij is the matrix of cofactors, and CT

represents the matrix transpose.

Larisa Beilina, http://www.math.chalmers.se/larisa/ Lecture 1

Page 69: Numerical Linear Algebra - Chalmers › Math › Grundutb › CTH › tma265 › 1819 › ... · Course in Numerical Linear Algebra Organization: computer labs To pass this course

Example: inversion of 2 × 2 matrices

The cofactor equation listed above yields the following result for2 × 2 matrices. Inversion of these matrices can be done easily asfollows:

A−1 =

[

a b

c d

]

−1

=1

det(A)

[

d −b

−c a

]

=1

ad − bc

[

d −b

−c a

]

.

This is possible because 1/(ad − bc) is the reciprocal of thedeterminant of the matrix in question, and the same strategy couldbe used for other matrix sizes.

Larisa Beilina, http://www.math.chalmers.se/larisa/ Lecture 1

Page 70: Numerical Linear Algebra - Chalmers › Math › Grundutb › CTH › tma265 › 1819 › ... · Course in Numerical Linear Algebra Organization: computer labs To pass this course

Example: inversion of 3 × 3 matrices

A computationally efficient 3 × 3 matrix inversion is given by

A−1 =

a b c

d e f

g h k

−1

=1

det(A)

A B C

D E F

G H K

T

=1

det(A)

A D G

B E H

C F K

where the determinant of A can be computed by applying the ruleof Sarrus as follows:det(A) = a(ek − fh)− b(kd − fg) + c(dh − eg).If the determinant is non-zero, the matrix is invertible, with theelements of the above matrix on the right side given by

A = (ek − fh) D = (ch − bk) G = (bf − ce)B = (fg − dk) E = (ak − cg) H = (cd − af )C = (dh − eg) F = (gb − ah) K = (ae − bd).

Larisa Beilina, http://www.math.chalmers.se/larisa/ Lecture 1