Solving Systems of Linear Equations

Total Page:16

File Type:pdf, Size:1020Kb

Solving Systems of Linear Equations Solving Systems of Linear Equations ● Motivation ● The idea behind Googles pagerank ● An example from economics ● Gaussian elimination ● LU Decomposition ● Iterative Methods – The Jacobi method ● Summary Motivation ● Systems of linear equations of the form A ⃗x=b⃗ or in components a11 x1+a12 x2+...+a1n xn=b1 a11 a12 ... a1n b1 a x +a x +...+a x =b a a ... a b 21 1 22 2 2n n 2 A= 21 22 2n ,b= 2 ... ... ... ... ... ... a x +a x +...+a x =b (am1 am2 ... amn) (bm) m1 1 m2 2 mn n m ● Are found in many contexts. For instance we need them to find roots of systems of non-linear equations using the Newton method. Short Reminder (1) ● Matrix-vector multiplication a11 a12 a13 x1 a11 x1+a12 x2+a13 x3 A ⃗x= a21 a22 a23 x2 = a21 x1+a22 x2+a23 x3 [ a31 a32 a33 ][ x3 ] [ a31 x1+a32 x2+a33 x3 ] ● Matrix-matrix multiplication a11 a12 a13 b11 b12 b13 ... ... ... = ... a b ... a21 a22 a23 b21 b22 b23 ∑k ik kj [a31 a32 a33 ][b31 b32 b33 ] [... ... ...] Short Reminder (2) ● Graphical illustration of 2d systems ● Every equation represents a line non-singular singular ● The following situations are possible – Lines cross at exactly one point -> unique solution (non- singular) – Lines are parallel (singular) and don't cross -> no solution – Lines overlap completely -> infinitely many solutions ● In higher d the same situations are possible Short Reminder (3) ● Focus on square matrices ● Some criteria that an n*n matrix is non-singular: ● The inverse of A (denoted A-1) exists ● det (A) !=0 ● rank (A) = n ● For any vector z!=0 it holds Az!=0 Example: How Google Search Works (sort of) ● In a particular group of people, who is the most popular? ● Say there are three people: Jane, Charlie, Fred ● We ask them to list their friends ● J lists C, C lists J,F, F lists J ● Could write this as a matrix J C F J 0 1 1 C 1 0 0 F 0 1 0 #total 1 2 1 Example (2) ● Some people list more than others as friends. To compensate we normalise each column by the sum J C F J 0 1/2 1 “linking matrix” C 1 0 0 =L F (0 1/2 0) ● Now want to find a vector p=(j,c,f) which assigns a popularity to each person ● Idea: a person's popularity is the weighted sum of the popularities of the people who mention it → p=Lp Example (3) 1 1/2 1/2 1/3 1/3 1/3 A node (person) is the more popular the ● more people list it as friends ● less friends these people list ● more popular these friends are (i.e. Having one very popular good friend can make you more popular than having 10 not so popular friends) Example (4) ● This defines a system of linear equations! J C F J 0 1/2 1 C 1 0 0 =L F (0 1/2 0) ● E.g.: j=1/2 c+ f, c=j, f=1/2 c or Lp= p ● In this case this is easy to solve ● System is under-determined: (e.g.) set j=1 as a scale, -> c=1, f=1/2, i.e. ● Charlie and Jane are most popular, Fred is less so. Remark ● We could use this to assign a popularity to web- pages ● The friend lists from before would then just refer to the lists of links in web-pages, i.e. How many web- pages link to a given page (normalized)? ● The popularity p could be interpreted as page rank (or we might wish to add contextual information (c) for search queries and not base them purely on popularity … e.g. p=Lp + c) ● We might wonder if the system Lp=p always has positive solutions p ● -> This is ensured by the Frobenius-Perron theorem Example: Setting Prices in an Economy ● This is a problem that goes back to Wassily Leontief (who got the Nobel prize for economics in 1973) ● Suppose in a far away land of Eigenbazistan, in a small country town called Matrixville, there lived a Farmer, a Tailor, a Carpenter, a Coal Miner and Slacker Bob. The Farmer produced food; the Tailor, clothes; the Carpenter, housing; the Coal Miner supplied energy; and Slacker Bob made High Quality 100% Proof Moonshine, half of which he drank himself. ● Let's assume that: ● No outside supply or demand ● Everything produced is consumed. ● Need to specify what fraction of each good is consumed by each person ● Problem: What are the incomes of each person? Consumption Food Clothes Housing Energy High Quality 100 Proof Moonshine Farmer 0.25 0.15 0.25 0.18 0.20 Tailor 0.15 0.28 0.18 0.17 0.05 Carpenter 0.22 0.19 0.22 0.22 0.10 Coal Miner 0.20 0.15 0.20 0.28 0.15 Slacker Bob 0.18 0.23 0.15 0.15 0.50 ● I.e. The farmer eats 25% of all food, 15% of all clothes, 25% of all housing, 18% of all energy ● Let's say price levels are p ,p ,p ,p ,p F T CA CO S ● Since this is a closed economy, we require: pF=0.25 pF+0.15 pT +0.25 pCA+0.18 pCO+0.20pS Again ... a System of Linear Equations pF=0.25 pF+0.15 pT +0.25 pCA+0.18 pCO+0.20pS pT =0.15 pF+0.28 pT +0.18 pCA +0.17 pCO +0.05pS pCA=0.22 pF+0.19 pT +0.22 pCA +0.22 pCO +0.10pS pCO=0.20 pF +0.15 pT +0.20 pCA +0.28 pCO +0.15pS pS=0.18 pF +0.23 pT +0.15 pCA +0.15 pCO +0.50pS ● Again this is a system of the type Ap=p (i.e. Under-determined, can set one price arbitrarily) ● Not so easy to solve by hand ... computer methods would be useful! Gaussian Elimination ● One idea to “mechanise” solving such systems is Gaussian elimination ● Consider the system: 2x+ y−z=8 −3x− y+2z=−11 −2x+ y+2z=−3 ● Observations: ● Can multiply equations by constants, swap equations, or add or subtract equations without changing solution ● Apply such operations to transform system into convenient form? ● What is a convenient form? -> triangular Gaussian Elimination (2) ● Triangular form: 2x+ y−z=8 (1) 1/3 y+1/3 z=2/3 (2) −z=1 (3) ● If our system had the above form we could just solve it by successive substitution, i.e. (3) z=−1 (substitute into) (2) 1/3 y−1/3=2/3→ y=3 (substitute into) (3) 2 x+3−(−1)=8→ x=2 How to Transform into Triangular Form? ● Start with: 2x+ y−z=8 (1) −3x− y+2z=−11 (2) −2x+ y+2z=−3 (3) ● Pivot (1). Multiply (2) by 2/3 and add to (1) 2x+ y−z=8 (1) y z + =2/3 (2') 3 3 −2x+ y+2z=−3 (3) ● Multiply (3) by 1 and add to (1) 2x+ y−z=8 (1) y z + =1 (2') 3 3 2y+z=5 (3') How to Transform into Triangular Form? (2) 2x+ y−z=8 (1) y z + =2/3 (2') 3 3 2y+z=5 (3') ● Now multiply (2') by -6 and add to (3') 2x+ y−z=8 (1) y z + =2/3 (2') 3 3 −z=1 (3'') ● Matrix is now in triangular form. Can diagonalise it as follows: Diagonalising ... ● Multiply (2') by 3 and add to (3''), (3'') by -1 add to (1): 2 x+ y =7 (1) y =3 (2'') −z=1 (3'') ● And finally: Multiply (2'') by -1 and add to (1). Finally, scale coefficients: 2 x =4 (1') y =3 (2'') z=1 (3'') Gaussian Elimination ● Usually, this is done using only coefficient schemes the “augmented” matrix ● Can be used to diagonalise matrices, just append identity matrix and perform all operations on it as well 2 1 −1 1 0 0 −3 −1 2 0 1 0 [−2 1 2 0 0 1] Coefficient matrix Identity matrix Example ... 2 1 −1 1 0 0 −3 −1 2 0 1 0 [−2 1 2 0 0 1] 2 1 −1 1 0 0 0 1/2 1/2 3/2 1 0 3/2*(1)+(2) [0 2 1 1 0 1] (1)+(2) 2 1 −1 1 0 0 0 1/2 1/2 3/2 1 0 [0 0 −1 −5 −4 1] -4*(2)+(3) Example (2) 2 1 −1 1 0 0 0 1/2 1/2 3/2 1 0 [0 0 −1 −5 −4 1] 2 1 0 6 4 −1 (1)-(3) 0 1 0 −2 −2 1 2*(2)+(3) [0 0 −1 −5 −4 1 ] 2 0 0 8 6 −2 (1)-(2) 0 1 0 −2 −2 1 -1 [0 0 −1 −5 −4 1 ] This is A 1 0 0 4 3 −1 1/2*(1) 0 1 0 −2 −2 1 1*(2) [0 0 1 5 4 −1] -1*(3) Example (3) ● OK, we found A-1, how to check if this is correct? ● Suppose we now have A-1 … how is this useful to find x? Some Remarks ● Pivot may be zero or (“inconvenient” for numerical stability) -> reorder rows ● Possibly divide by very small numbers (if pivot is small), better reorder to use largest possible pivot ● Computational complexity is of order O(n3) (roughly: n-1 rows need to be dealt with, this process involves order n operations and needs to be repeated less than n times) Pseudocode for k = 1 ..
Recommended publications
  • Overview of Iterative Linear System Solver Packages
    Overview of Iterative Linear System Solver Packages Victor Eijkhout July, 1998 Abstract Description and comparison of several packages for the iterative solu- tion of linear systems of equations. 1 1 Intro duction There are several freely available packages for the iterative solution of linear systems of equations, typically derived from partial di erential equation prob- lems. In this rep ort I will give a brief description of a numberofpackages, and giveaninventory of their features and de ning characteristics. The most imp ortant features of the packages are which iterative metho ds and preconditioners supply; the most relevant de ning characteristics are the interface they present to the user's data structures, and their implementation language. 2 2 Discussion Iterative metho ds are sub ject to several design decisions that a ect ease of use of the software and the resulting p erformance. In this section I will give a global discussion of the issues involved, and how certain p oints are addressed in the packages under review. 2.1 Preconditioners A go o d preconditioner is necessary for the convergence of iterative metho ds as the problem to b e solved b ecomes more dicult. Go o d preconditioners are hard to design, and this esp ecially holds true in the case of parallel pro cessing. Here is a short inventory of the various kinds of preconditioners found in the packages reviewed. 2.1.1 Ab out incomplete factorisation preconditioners Incomplete factorisations are among the most successful preconditioners devel- op ed for single-pro cessor computers. Unfortunately, since they are implicit in nature, they cannot immediately b e used on parallel architectures.
    [Show full text]
  • Jacobi-Davidson, Gauss-Seidel and Successive Over-Relaxation For
    Applied Mathematics and Computational Intelligence Volume 6, 2017 [41-52] Jacobi‐Davidson, Gauss‐Seidel and Successive Over‐Relaxation for Solving Systems of Linear Equations Fatini Dalili Mohammed1,a and Mohd Rivaieb 1Department of Computer Sciences and Mathematics, Universiti Teknologi MARA (UiTM) Terengganu, Campus Kuala Terengganu, Malaysia ABSTRACT Linear systems are applied in many applications such as calculating variables, rates, budgets, making a prediction and others. Generally, there are two techniques of solving system of linear equation including direct methods and iterative methods. Some basic solution methods known as direct methods are ineffective in solving many equations in large systems due to slower computation. Due to inability of direct methods, iterative methods are practical to be used in large systems of linear equations as they do not need much storage. In this project, three indirect methods are used to solve large system of linear equations. The methods are Jacobi Davidson, Gauss‐Seidel and Successive Over‐ Relaxation (SOR) which are well known in the field of numerical analysis. The comparative results analysis of the three methods is considered. These three methods are compared based on number of iterations, CPU time and error. The numerical results show that Gauss‐Seidel method and SOR method with ω=1.25 are more efficient than others. This research allows researcher to appreciate the use of iterative techniques for solving systems of linear equations that is widely used in industrial applications. Keywords: system of linear equation, iterative method, Jacobi‐Davidson, Gauss‐Seidel, Successive Over‐Relaxation 1. INTRODUCTION Linear systems are important in our real life. They are applied in various applications such as in calculating variables, rates, budgets, making a prediction and others.
    [Show full text]
  • A Study on Comparison of Jacobi, Gauss-Seidel and Sor Methods For
    International Journal of Mathematics Trends and Technology (IJMTT) – Volume 56 Issue 4- April 2018 A Study on Comparison of Jacobi, Gauss- Seidel and Sor Methods for the Solution in System of Linear Equations #1 #2 #3 *4 Dr.S.Karunanithi , N.Gajalakshmi , M.Malarvizhi , M.Saileshwari #Assistant Professor ,* Research Scholar Thiruvalluvar University,Vellore PG & Research Department of Mathematics,Govt.Thirumagal Mills College,Gudiyattam,Vellore Dist,Tamilnadu,India-632602 Abstract — This paper presents three iterative methods for the solution of system of linear equations has been evaluated in this work. The result shows that the Successive Over-Relaxation method is more efficient than the other two iterative methods, number of iterations required to converge to an exact solution. This research will enable analyst to appreciate the use of iterative techniques for understanding the system of linear equations. Keywords — The system of linear equations, Iterative methods, Initial approximation, Jacobi method, Gauss- Seidel method, Successive Over- Relaxation method. 1. INTRODUCTION AND PRELIMINARIES Numerical analysis is the area of mathematics and computer science that creates, analyses, and implements algorithms for solving numerically the problems of continuous mathematics. Such problems originate generally from real-world applications of algebra, geometry and calculus, and they involve variables which vary continuously. These problems occur throughout the natural sciences, social science, engineering, medicine, and business. The solution of system of linear equations can be accomplished by a numerical method which falls in one of two categories: direct or iterative methods. We have so far discussed some direct methods for the solution of system of linear equations and we have seen that these methods yield the solution after an amount of computation that is known advance.
    [Show full text]
  • Solving Linear Systems: Iterative Methods and Sparse Systems
    Solving Linear Systems: Iterative Methods and Sparse Systems COS 323 Last time • Linear system: Ax = b • Singular and ill-conditioned systems • Gaussian Elimination: A general purpose method – Naïve Gauss (no pivoting) – Gauss with partial and full pivoting – Asymptotic analysis: O(n3) • Triangular systems and LU decomposition • Special matrices and algorithms: – Symmetric positive definite: Cholesky decomposition – Tridiagonal matrices • Singularity detection and condition numbers Today: Methods for large and sparse systems • Rank-one updating with Sherman-Morrison • Iterative refinement • Fixed-point and stationary methods – Introduction – Iterative refinement as a stationary method – Gauss-Seidel and Jacobi methods – Successive over-relaxation (SOR) • Solving a system as an optimization problem • Representing sparse systems Problems with large systems • Gaussian elimination, LU decomposition (factoring step) take O(n3) • Expensive for big systems! • Can get by more easily with special matrices – Cholesky decomposition: for symmetric positive definite A; still O(n3) but halves storage and operations – Band-diagonal: O(n) storage and operations • What if A is big? (And not diagonal?) Special Example: Cyclic Tridiagonal • Interesting extension: cyclic tridiagonal • Could derive yet another special case algorithm, but there’s a better way Updating Inverse • Suppose we have some fast way of finding A-1 for some matrix A • Now A changes in a special way: A* = A + uvT for some n×1 vectors u and v • Goal: find a fast way of computing (A*)-1
    [Show full text]
  • Numerical Mathematics
    4 Iterative Methods for Solving Linear Systems Iterative methods formally yield the solution x of a linear system after an infinite number of steps. At each step they require the computation of the residual of the system. In the case of a full matrix, their computational cost is therefore of the order of n2 operations for each iteration, to be 2 3 compared with an overall cost of the order of 3 n operations needed by direct methods. Iterative methods can therefore become competitive with direct methods provided the number of iterations that are required to con- verge (within a prescribed tolerance) is either independent of n or scales sublinearly with respect to n. In the case of large sparse matrices, as discussed in Section 3.9, direct methods may be unconvenient due to the dramatic fill-in, although ex- tremely efficient direct solvers can be devised on sparse matrices featuring special structures like, for example, those encountered in the approximation of partial differential equations (see Chapters 12 and 13). Finally, we notice that, when A is ill-conditioned, a combined use of direct and iterative methods is made possible by preconditioning techniques that will be addressed in Section 4.3.2. 4.1 On the Convergence of Iterative Methods The basic idea of iterative methods is to construct a sequence of vectors x(k) that enjoy the property of convergence x = lim x(k), (4.1) k →∞ 124 4. Iterative Methods for Solving Linear Systems where x is the solution to (3.2). In practice, the iterative process is stopped at the minimum value of n such that x(n) x <ε, where ε is a fixed tolerance and is any convenient vector∥ norm.− ∥ However, since the exact solution is obviously∥·∥ not available, it is necessary to introduce suitable stopping criteria to monitor the convergence of the iteration (see Section 4.6).
    [Show full text]
  • Linear Iterative Methods
    Chapter 6 Linear Iterative Methods 6.1 Motivation In Chapter 3 we learned that, in general, solving the linear system of equations n n n 3 Ax = b with A C ⇥ and b C requires (n ) operations. This is too 2 2 O expensive in practice. The high cost begs the following questions: Are there lower cost options? Is an approximation of x good enough? How would such an approximation be generated? Often times we can find schemes that have a much lower cost of computing an approximate solution to x. As an alternative to the direct methods that we studied in the previous chapters, in the present chapter we will describe so called iteration methods for n 1 constructing sequences, x k 1 C , with the desire that x k x := A− b, { }k=1 ⇢ ! as k . The idea is that, given some ">0, we look for a k N such that !1 2 x x " k − k k with respect to some norm. In this context, " is called the stopping tolerance. In other words, we want to make certain the error is small in norm. But a word of caution. Usually, we do not have a direct way of approximating the error. The residual is more readily available. Suppose that x k is an ap- proximation of x = A 1b. The error is e = x x and the residual is − k − k r = b Ax = Ae . Recall that, k − k k e r k k k (A)k k k. x b k k k k r k Thus, when (A) is large, k b k , which is easily computable, may not be a good k k ek indicator of the size of the relative error k x k , which is not directly computable.
    [Show full text]
  • ECE 3040 Lecture 16: Systems of Linear Equations II © Prof
    ECE 3040 Lecture 16: Systems of Linear Equations II © Prof. Mohamad Hassoun This lecture covers the following topics: Introduction LU factorization and the solution of linear algebraic equations Matlab’s lu function and the left-division operator “\” More on Matlab’s left-division operator Iterative methods: Jacobi and Gauss-Seidel algorithms Introduction In the previous lecture, Gauss elimination with pivoting was used to solve a system of linear algebraic equations of the form: 퐀퐱 = 퐝. This method becomes inefficient for solving problems where the coefficient matrix 퐀 is constant, but with different right-hand-side vectors 퐝. Recall that Gauss elimination involves a forward elimination step (which dominates the computation time) that couples the vector 퐝 and the matrix 퐀 through the augmented matrix [퐀 퐝]. This means that every time 퐝 changes we have to repeat the elimination step all over. The LU factorization-based solution method separates (decouples) the time-consuming elimination of the matrix A from the manipulations of the vector 퐝. Thus, once matrix 퐀 has been factored as the product of two square matrices, 퐀 = 퐋퐔, multiple right-hand vectors 퐝 (as they become available) can be evaluated in an efficient manner. Note: If multiple right hand vectors 퐝1, 퐝2, …, 퐝푚 are available simultaneously, then we can still apply (efficiently) Gauss elimination to the augmented system [퐀 퐝1 퐝2 … 퐝푚] and obtain [퐀′ 퐝′1 퐝′2 … 퐝′푚] The solution vectors 퐱1, 퐱2, …, 퐱푚 can then be determined, respectively, by back substitution using the systems ′ ′ ′ 퐀 퐱1 = 퐝′1, 퐀 퐱2 = 퐝′2, …, 퐀 퐱푚 = 퐝′푚.
    [Show full text]
  • Topic 3 Iterative Methods for Ax = B
    Topic 3 Iterative methods for Ax = b 3.1 Introduction Earlier in the course, we saw how to reduce the linear system Ax = b to echelon form using elementary row operations. Solution methods that rely on this strategy (e.g. LU factorization) are robust and efficient, and are fundamental tools for solving the systems of linear equations that arise in practice. These are known as direct methods, since the solution x is obtained following a single pass through the relevant algorithm. We are now going to look at some alternative approaches that fall into the category of iterative methods . These techniques can only be applied to square linear systems ( n equations in n unknowns), but this is of course a common and important case. 45 Iterative methods for Ax = b begin with an approximation to the solution, x0, then seek to provide a series of improved approximations x1, x2, … that converge to the exact solution. For the engineer, this approach is appealing because it can be stopped as soon as the approximations xi have converged to an acceptable precision, which might be something as crude as 10 −3. With a direct method, bailing out early is not an option; the process of elimination and back-substitution has to be carried right through to completion, or else abandoned altogether. By far the main attraction of iterative methods, however, is that for certain problems (particularly those where the matrix A is large and sparse ) they are much faster than direct methods. On the other hand, iterative methods can be unreliable; for some problems they may exhibit very slow convergence, or they may not converge at all.
    [Show full text]
  • Templates for the Solution of Linear Systems: Building Blocks for Iterative Methods1
    Templates for the Solution of Linear Systems: Building Blocks for Iterative Methods1 Richard Barrett2, Michael Berry3, Tony F. Chan4, James Demmel5, June M. Donato6, Jack Dongarra3,2, Victor Eijkhout7, Roldan Pozo8, Charles Romine9, and Henk Van der Vorst10 This document is the electronic version of the 2nd edition of the Templates book, which is available for purchase from the Society for Industrial and Applied Mathematics (http://www.siam.org/books). 1This work was supported in part by DARPA and ARO under contract number DAAL03-91-C-0047, the National Science Foundation Science and Technology Center Cooperative Agreement No. CCR-8809615, the Applied Mathematical Sciences subprogram of the Office of Energy Research, U.S. Department of Energy, under Contract DE-AC05-84OR21400, and the Stichting Nationale Computer Faciliteit (NCF) by Grant CRG 92.03. 2Computer Science and Mathematics Division, Oak Ridge National Laboratory, Oak Ridge, TN 37830- 6173. 3Department of Computer Science, University of Tennessee, Knoxville, TN 37996. 4Applied Mathematics Department, University of California, Los Angeles, CA 90024-1555. 5Computer Science Division and Mathematics Department, University of California, Berkeley, CA 94720. 6Science Applications International Corporation, Oak Ridge, TN 37831 7Texas Advanced Computing Center, The University of Texas at Austin, Austin, TX 78758 8National Institute of Standards and Technology, Gaithersburg, MD 9Office of Science and Technology Policy, Executive Office of the President 10Department of Mathematics, Utrecht University, Utrecht, the Netherlands. ii How to Use This Book We have divided this book into five main chapters. Chapter 1 gives the motivation for this book and the use of templates. Chapter 2 describes stationary and nonstationary iterative methods.
    [Show full text]
  • On Some Iterative Methods for Solving Systems of Linear Equations
    Computational and Applied Mathematics Journal 2015; 1(2): 21-28 Published online February 20, 2015 (http://www.aascit.org/journal/camj) On Some Iterative Methods for Solving Systems of Linear Equations Fadugba Sunday Emmanuel Department of Mathematical Sciences, Ekiti State University, Ado Ekiti, Nigeria Email address [email protected], [email protected] Citation Fadugba Sunday Emmanuel. On Some Iterative Methods for Solving Systems of Linear Equations. Computational and Applied Mathematics Journal. Vol. 1, No. 2, 2015, pp. 21-28. Keywords Abstract Iterative Method, This paper presents some iterative methods for solving system of linear equations Jacobi Method, namely the Jacobi method and the modified Jacobi method. The Jacobi method is an Modified Jacobi Method algorithm for solving system of linear equations with largest absolute values in each row and column dominated by the diagonal elements. The modified Jacobi method also known as the Gauss Seidel method or the method of successive displacement is useful for the solution of system of linear equations. The comparative results analysis of the Received: January 17, 2015 two methods was considered. We also discussed the rate of convergence of the Jacobi Revised: January 27, 2015 method and the modified Jacobi method. Finally, the results showed that the modified Accepted: January 28, 2015 Jacobi method is more efficient, accurate and converges faster than its counterpart “the Jacobi Method”. 1. Introduction In computational mathematics, an iterative method attempts to solve a system of linear equations by finding successive approximations to the solution starting from an initial guess. This approach is in contrast to direct methods, which attempt to solve the problem by a finite sequence of some operations and in the absence of rounding errors.
    [Show full text]
  • Numerical Linear Algebra Contents
    WS 2009/2010 Numerical Linear Algebra Professor Dr. Christoph Pflaum Contents 1 Linear Equation Systems in the Numerical Solution of PDE’s 5 1.1 ExamplesofPDE’s........................ 5 1.2 Finite-Difference-Discretization of Poisson’s Equation..... 7 1.3 FD Discretization for Convection-Diffusion . 8 1.4 Irreducible and Diagonal Dominant Matrices . 9 1.5 FE (Finite Element) Discretization . 12 1.6 Discretization Error and Algebraic Error . 15 1.7 Basic Theory for LInear Iterative Solvers . 15 1.8 Effective Convergence Rate . 18 1.9 Jacobi and Gauss-Seidel Iteration . 20 1.9.1 Ideas of Both Methods . 20 1.9.2 Description of Jacobi and Gauss-Seidel Iteration by Matrices.......................... 22 1.10 Convergence Rate of Jacobi and Gauss-Seidel Iteration . 24 1.10.1 General Theory for Weak Dominant Matrices . 24 1.10.2 Special Theory for the FD-Upwind . 26 1.10.3 FE analysis, Variational approach . 30 1 1.10.4 Analysis of the Convergence of the Jacobi Method . 33 1.10.5 Iteration Method with Damping Parameter . 34 1.10.6 Damped Jacobi Method . 35 1.10.7 Analysis of the Damped Jacobi method . 35 1.10.8 Heuristic approach . 37 2 Multigrid Algorithm 38 2.1 Multigrid algorithm on a Simple Structured Grid . 38 2.1.1 Multigrid ......................... 38 2.1.2 Idea of Multigrid Algorithm . 39 2.1.3 Two–grid Multigrid Algorithm . 40 2.1.4 Restriction and Prolongation Operators . 41 2.1.5 Prolongation or Interpolation . 41 2.1.6 Pointwise Restriction . 41 2.1.7 Weighted Restriction . 42 2.2 Iteration Matrix of the Two–Grid Multigrid Algorithm .
    [Show full text]
  • Comparison of Jacobi and Gauss-Seidel Iterative Methods for the Solution of Systems of Linear Equations
    Asian Research Journal of Mathematics 8(3): 1-7, 2018; Article no.ARJOM.34769 ISSN: 2456-477X Comparison of Jacobi and Gauss-Seidel Iterative Methods for the Solution of Systems of Linear Equations A. I. Bakari 1* and I. A. Dahiru 1 1Department of Mathematics, Federal University, Dutse, Nigeria. Authors’ contributions This work was carried out in collaboration between both authors. Author AIB analyzed the basic computational methods while author IAD implemented the method on some systems of linear equations of six variables problems with aid of MATLAB programming language. Both authors read and approved the final manuscript. Article Information DOI: 10.9734/ARJOM/2018/34769 Editor(s): (1) Danilo Costarelli, Department of Mathematics and Computer Science, University of Perugia, Italy. Reviewers: (1) Najmuddin Ahmad, Integral University, India. (2) El Akkad Abdeslam, Morocco. Complete Peer review History: http://www.sciencedomain.org/review-history/23003 Received: 10 th June 2017 Accepted: 11 th January 2018 Original Research Article Published: 3rd February2018 _______________________________________________________________________________ Abstract In this research work two iterative methods of solving system of linear equation has been compared, the iterative methods are used for solving sparse and dense system of linear equation and the methods were being considered are: Jacobi method and Gauss-Seidel method. The results show that Gauss-Seidel method is more efficient than Jacobi method by considering maximum number of iteration required to converge and accuracy. Keywords: Iterative methods; Linear equations problem; convergence; square matrix. 1 Introduction The development of numerical methods on a daily basis is to find the right solution techniques for solving problems in the field of applied science and pure science, such as weather forecasts, population, the spread of the disease, chemical reactions, physics, optics and others.
    [Show full text]