An efficient multigrid solver based on aggregation
|
|
- Stella Lilian Wiggins
- 5 years ago
- Views:
Transcription
1 An efficient multigrid solver based on aggregation Yvan Notay Université Libre de Bruxelles Service de Métrologie Nucléaire Graz, July 4, 2012 Co-worker: Artem Napov Supported by the Belgian FNRS ynotay An efficient multigrid solver based on aggregation p.1
2 Outline 1. Introduction 2. Convergence analysis 3. Aggregation procedure Repeated pairwise aggregation 4. Parallelization 5. Numerical results 6. Conclusions An efficient multigrid solver based on aggregation p.2
3 1. Introduction Developing a biomedical model: complex system of PDEs An efficient multigrid solver based on aggregation p.3
4 1. Introduction Developing a biomedical model: complex system of PDEs (Discretization) Huge (nonlinear, time dependent) algebraic problem An efficient multigrid solver based on aggregation p.3
5 1. Introduction Developing a biomedical model: complex system of PDEs (Discretization) Huge (nonlinear, time dependent) algebraic problem (Linearization, (semi-)implicit time discretization) (many successive) Large linear systems An efficient multigrid solver based on aggregation p.3
6 1. Introduction Developing a biomedical model: complex system of PDEs (Discretization) Huge (nonlinear, time dependent) algebraic problem (Linearization, (semi-)implicit time discretization) (many successive) Large linear systems Hope of the developer model: use standard library for this last step: Au = b u = A 1 b An efficient multigrid solver based on aggregation p.3
7 1. Introduction Developing a biomedical model: complex system of PDEs (Discretization) Huge (nonlinear, time dependent) algebraic problem (Linearization, (semi-)implicit time discretization) (many successive) Large linear systems Hope of the developer model: use standard library for this last step: Au = b u = A 1 b Problems: standard library for 3D problems with n > 10 6 : Direct methods no more feasible Iterative methods are application dependent Developing the linear solver: requires specific skills An efficient multigrid solver based on aggregation p.3
8 1. Introduction In many cases, the design of an appropriate iterative linear solver is much easier if one has at hand a library able to efficiently solve linear (sub)systems Au = b where A corresponds to the discretization of div(d grad(u))+v grad(u)+cu = f (+B.C.) (or closely related). Example: Pennacchio & Simoncini (SISC, 2011) about the bidomain model in electrocardiology Efficiently: robustly (stable performances) elapsed in linear time: n #proc roughly constant An efficient multigrid solver based on aggregation p.4
9 1. Introduction Why multigrid? Standard iterative methods typically very slow An efficient multigrid solver based on aggregation p.5
10 1. Introduction Why multigrid? Standard iterative methods typically very slow Consider the error from different scales: small scale strong local variations large scale smooth variations Iterative methods mainly act locally, i.e. damp error modes seen from small scale, but not much smooth modes More steps needed to propagate information about smooth modes as the grid is refined (linear time out of reach) An efficient multigrid solver based on aggregation p.5
11 1. Introduction Why multigrid? Standard iterative methods typically very slow Consider the error from different scales: small scale strong local variations large scale smooth variations Iterative methods mainly act locally, i.e. damp error modes seen from small scale, but not much smooth modes More steps needed to propagate information about smooth modes as the grid is refined (linear time out of reach) Multigrid: solving the problem on a coarser grid (less unknowns easier) yields an approximate solution which is essentially correct from the large scale viewpoint An efficient multigrid solver based on aggregation p.5
12 1. Introduction A multigrid method alternates: smoothing iterations: improve current solution u k using a basic iterative method ũ k coarse grid correction: project the residual equation A(u ũ k ) = b Aũ k r on the coarse grid: r c = Rr (R : n c n) solve the coarse problem: v c = A 1 c r c prolongate (interpolate) coarse correction on the fine grid: u k+1 = ũ k +P v c (P : n n c ) An efficient multigrid solver based on aggregation p.6
13 1. Introduction A multigrid method alternates: smoothing iterations: improve current solution u k using a basic iterative method ũ k coarse grid correction: project the residual equation A(u ũ k ) = b Aũ k r on the coarse grid: r c = Rr (R : n c n) solve the coarse problem: v c = A 1 c r c prolongate (interpolate) coarse correction on the fine grid: u k+1 = ũ k +P v c (P : n n c ) This principle is used recursively: A 1 c r c is replaced by the approximation from 1 or 2 steps of a multigrid method to solve the coarse problem An efficient multigrid solver based on aggregation p.6 coarser grid, and so on
14 1. Introduction Why algebraic multigrid (AMG)? Classical (geometric) multigrid needs an hierarchy of grids and close interaction between the iterative solver and the discretization process AMG attempts to obtain the same effect using only the information present in the system matrix A Coarse grid correction step: v = P A 1 c Rr P : prolongation (n n c ) R : restriction ( n c n) A c : coarse grid matrix An efficient multigrid solver based on aggregation p.7
15 1. Introduction Why algebraic multigrid (AMG)? Classical (geometric) multigrid needs an hierarchy of grids and close interaction between the iterative solver and the discretization process AMG attempts to obtain the same effect using only the information present in the system matrix A Coarse grid correction step: v = P A 1 c Rr P : prolongation (n n c ) R : restriction ( n c n) R = P T A c : coarse grid matrix An efficient multigrid solver based on aggregation p.7
16 1. Introduction Why algebraic multigrid (AMG)? Classical (geometric) multigrid needs an hierarchy of grids and close interaction between the iterative solver and the discretization process AMG attempts to obtain the same effect using only the information present in the system matrix A Coarse grid correction step: v = P A 1 c Rr P : prolongation (n n c ) R : restriction ( n c n) R = P T A c : coarse grid matrix A c = RAP = P T AP An efficient multigrid solver based on aggregation p.7
17 1. Introduction Why algebraic multigrid (AMG)? Classical (geometric) multigrid needs an hierarchy of grids and close interaction between the iterative solver and the discretization process AMG attempts to obtain the same effect using only the information present in the system matrix A Coarse grid correction step: v = P A 1 c Rr P : prolongation (n n c ) R : restriction ( n c n) R = P T A c : coarse grid matrix A c = RAP = P T AP Nothing else needed besides P Find a way to obtain P from A An efficient multigrid solver based on aggregation p.7
18 1. Intro: Aggregation-based AMG Group nodes into aggregates G i (partitioning of [1, n]) Each set corresponds to 1 coarse variable (and vice-versa) G 3 G 4 G 1 G 2 An efficient multigrid solver based on aggregation p.8
19 1. Intro: Aggregation-based AMG Prolongation P : P ij = Example { 1 if i G j 0 otherwise 3 u c = G G 3 G G 2 An efficient multigrid solver based on aggregation p.9
20 1. Intro: Aggregation-based AMG Coarse grid matrix: A c = P T AP given by (A c ) ij = k G i l G j a kl G 3 G 4 G 1 G 2 Tends to reproduce the stencil from the fine grid An efficient multigrid solver based on aggregation p.10
21 1. Intro: Aggregation-based AMG Coarse grid matrix: A c = P T AP given by (A c ) ij = k G i l G j a kl G 3 G 4 G 1 G 2 Tends to reproduce the stencil from the fine grid Recursive use raises no difficulties Low setup cost & memory requirements An efficient multigrid solver based on aggregation p.10
22 1. Intro: Aggregation-based AMG Does not mimic any classical multigrid method Not efficient if the piecewise constant P just substitutes the classical prolongation in a standard multigrid scheme has been overlooked for a long time An efficient multigrid solver based on aggregation p.11
23 1. Intro: Aggregation-based AMG Does not mimic any classical multigrid method Not efficient if the piecewise constant P just substitutes the classical prolongation in a standard multigrid scheme has been overlooked for a long time Recent revival: Proper convergence theory (mimicry not essential for a good interplay with the smoother) Efficient when combined with specific components: cheap smoother & K-cycle (solution of coarse problems accelerated with Krylov subspace methods) Theory and efficient solver developed hand in hand An efficient multigrid solver based on aggregation p.11
24 1. Intro: Aggregation-based AMG The algebraic convergence theory: yields meaningful bounds (actual convergence as proved often OK) An efficient multigrid solver based on aggregation p.12
25 1. Intro: Aggregation-based AMG The algebraic convergence theory: yields meaningful bounds (actual convergence as proved often OK) is compatible with irregular geometries, unstructured grids, jumps in coefficients, etc (guarantees essentially the same bound) An efficient multigrid solver based on aggregation p.12
26 1. Intro: Aggregation-based AMG The algebraic convergence theory: yields meaningful bounds (actual convergence as proved often OK) is compatible with irregular geometries, unstructured grids, jumps in coefficients, etc (guarantees essentially the same bound) requires M-matrix, but has natural heuristic extensions An efficient multigrid solver based on aggregation p.12
27 1. Intro: Aggregation-based AMG The algebraic convergence theory: yields meaningful bounds (actual convergence as proved often OK) is compatible with irregular geometries, unstructured grids, jumps in coefficients, etc (guarantees essentially the same bound) requires M-matrix, but has natural heuristic extensions whenever applicable, holds at every level of the hierarchy An efficient multigrid solver based on aggregation p.12
28 1. Intro: Aggregation-based AMG The algebraic convergence theory: yields meaningful bounds (actual convergence as proved often OK) is compatible with irregular geometries, unstructured grids, jumps in coefficients, etc (guarantees essentially the same bound) requires M-matrix, but has natural heuristic extensions whenever applicable, holds at every level of the hierarchy covers symmetric and nonsymmetric problems in a uniform fashion An efficient multigrid solver based on aggregation p.12
29 1. Intro: Aggregation-based AMG The algebraic convergence theory: yields meaningful bounds (actual convergence as proved often OK) is compatible with irregular geometries, unstructured grids, jumps in coefficients, etc (guarantees essentially the same bound) requires M-matrix, but has natural heuristic extensions whenever applicable, holds at every level of the hierarchy covers symmetric and nonsymmetric problems in a uniform fashion The aggregation algorithm we use is entirely based on the theory and its heuristic extensions An efficient multigrid solver based on aggregation p.12
30 1. Introduction 2. Convergence analysis 3. Aggregation procedure Repeated pairwise aggregation 4. Parallelization 5. Numerical results 6. Conclusions An efficient multigrid solver based on aggregation p.13
31 2. Convergence analysis Method used as a preconditioner for CG or GCR Fast convergence if the eigenvalues λ i of the preconditioned matrix are: bounded substantially away from 0 Using a standard smoother (e.g., Gauss-Seidel), the eigenvalues are bounded independently of P If P = 0 the eigenvalues associated with smooth modes are in general very small Main difficulty: λ i substantially away from 0 Role of the coarse grid correction: move the small eigenvalues enough to the right (Guideline for the choice of P ) An efficient multigrid solver based on aggregation p.14
32 2. Convergence analysis: λ i away from 0 SPD case Main identity [Falgout, Vassilevski & Zikatanov (2005)]: 1 λ min = κ(a, P) with κ(a,p) = ω 1 v T D ( I P(P T DP) 1 P T D ) v sup v 0 v T Av An efficient multigrid solver based on aggregation p.15
33 2. Convergence analysis: λ i away from 0 SPD case Main identity [Falgout, Vassilevski & Zikatanov (2005)]: 1 λ min = κ(a, P) with κ(a,p) = ω 1 v T D ( I P(P T DP) 1 P T D ) v sup v 0 v T Av General case [YN (2010)] For any λ i : Re(λ i ) with A S = 1 2 (A+AT ) 1 κ(a S, P) The analysis of the SPD case can be sufficient An efficient multigrid solver based on aggregation p.15
34 2. Convergence analysis: λ i away from 0 κ(a S,P) = ω 1 v T D ( I P(P T DP) 1 P T D ) v sup v 0 v T A S v Aggregation-based methods P = 1 n (1)..., D = diag(a) = D n (nc) D ( I P(P T DP) 1 P T D ) D nc = blockdiag ( D i ( I 1n (i)(1 T n (i) D i 1 n (i)) 1 1 T n (i) D i )) An efficient multigrid solver based on aggregation p.16
35 2. Convergence analysis: λ i away from 0 κ(a S,P) = ω 1 v T D ( I P(P T DP) 1 P T D ) v sup v 0 v T A S v Aggregation-based methods P = 1 n (1)..., D = diag(a) = D n (nc) D ( I P(P T DP) 1 P T D ) D nc = blockdiag ( D i ( I 1n (i)(1 T n (i) D i 1 n (i)) 1 1 T n (i) D i )) find A b, A r nonnegative definite s.t. A S = A b +A r with A b = A (S) G 1... A G (S) nc An efficient multigrid solver based on aggregation p.16
36 2. Convergence analysis: λ i away from 0 κ(a S,P) ω 1 v T D ( I P(P T DP) 1 P T D ) v sup v 0 v T A b v Aggregation-based methods P = 1 n (1)..., D = diag(a) = D n (nc) D ( I P(P T DP) 1 P T D ) D nc = blockdiag ( D i ( I 1n (i)(1 T n (i) D i 1 n (i)) 1 1 T n (i) D i )) find A b, A r nonnegative definite s.t. A S = A b +A r with A b = A (S) G 1... A G (S) nc An efficient multigrid solver based on aggregation p.16
37 2. Convergence analysis: λ i away from 0 Aggregate Quality µ G = ω 1 sup vt D G (I 1 G (1T G D G1 G ) 1 1 T G D G)v v/ N(A (S) G ) v T A (S) G v, Then: κ(a S, P) max i µ Gi Controlling µ Gi ensures that eigenvalues are away from 0 An efficient multigrid solver based on aggregation p.17
38 2. Convergence analysis: λ i away from 0 Aggregate Quality µ G = ω 1 sup vt D G (I 1 G (1T G D G1 G ) 1 1 T G D G)v v/ N(A (S) G ) v T A (S) G v, Then: κ(a S, P) max i µ Gi Controlling µ Gi ensures that eigenvalues are away from 0 A (S) G : Computed from A S = A b +A r with A r 1 = 0 Rigorous for M-matrices s.t. A S 1 0 (then A b, A r guaranteed nonnegative definite) Heuristic in other cases (A r could have negative eigenvalue(s)) An efficient multigrid solver based on aggregation p.17
39 1. Introduction 2. Convergence analysis 3. Aggregation procedure Repeated pairwise aggregation 4. Parallelization 5. Numerical results 6. Conclusions An efficient multigrid solver based on aggregation p.18
40 3. Aggregation procedure κ(a S, P) max i µ Gi A posteriori control of given aggregation scheme: limited utility (often a few aggregates with large µ G ) An efficient multigrid solver based on aggregation p.19
41 3. Aggregation procedure κ(a S, P) max i µ Gi A posteriori control of given aggregation scheme: limited utility (often a few aggregates with large µ G ) Aggregation algorithm based on the control of µ Gi An efficient multigrid solver based on aggregation p.19
42 3. Aggregation procedure κ(a S, P) max i µ Gi A posteriori control of given aggregation scheme: limited utility (often a few aggregates with large µ G ) Aggregation algorithm based on the control of µ Gi Problem: repeated assessment of µ G is costly An efficient multigrid solver based on aggregation p.19
43 3. Aggregation procedure κ(a S, P) max i µ Gi A posteriori control of given aggregation scheme: limited utility (often a few aggregates with large µ G ) Aggregation algorithm based on the control of µ Gi Problem: repeated assessment of µ G is costly For a pair {i,j}, µ {i,j} is a simple function of the local entries & the row and column sum An efficient multigrid solver based on aggregation p.19
44 3. Aggregation procedure κ(a S, P) max i µ Gi A posteriori control of given aggregation scheme: limited utility (often a few aggregates with large µ G ) Aggregation algorithm based on the control of µ Gi Problem: repeated assessment of µ G is costly For a pair {i,j}, µ {i,j} is a simple function of the local entries & the row and column sum ( 1 T G D G 1 G ) 11 T G D G )z µ G = ω 1 sup zt D G (I 1 G (S) z/ N(A G ) z T A (S) G z It is always cheap to check that µ G < κ TG holds: Z G = κ TG A (S) G ω 1 D G (I 1 G ( 1 T G D G 1 G ) 1 1 T G D G) is nonnegative definite if no negative pivot occurs while performing an LDL T factorization An efficient multigrid solver based on aggregation p.19
45 3. Pairwise aggregation Input: threshold κ TG Output: n c and aggregates G i, i = 1...,n c Initialization: U = [1, n]\g 0, n c = 0 Algorithm: While U do 1. Select i U ; n c = n c Select j U such that µ {i,j} is minimal 3. If µ {i,j} < κ TG then G nc = {i,j} else G nc = {i} 4. U = U\G nc An efficient multigrid solver based on aggregation p.20
46 3. Pairwise aggregation Input: threshold κ TG Output: n c and aggregates G i, i = 1...,n c Initialization: U = [1, n]\g 0, n c = 0 Algorithm: While U do 1. Select i U ; n c = n c Select j U such that µ {i,j} is minimal 3. If µ {i,j} < κ TG then G nc = {i,j} else G nc = {i} 4. U = U\G nc An efficient multigrid solver based on aggregation p.20
47 3. Pairwise aggregation Input: threshold κ TG Output: n c and aggregates G i, i = 1...,n c Initialization: U = [1, n]\g 0, n c = 0 Algorithm: While U do 1. Select i U ; n c = n c Select j U such that µ {i,j} is minimal 3. If µ {i,j} < κ TG then G nc = {i,j} else G nc = {i} 4. U = U\G nc An efficient multigrid solver based on aggregation p.20
48 3. Pairwise aggregation Input: threshold κ TG Output: n c and aggregates G i, i = 1...,n c Initialization: U = [1, n]\g 0, n c = 0 Algorithm: While U do 1. Select i U ; n c = n c Select j U such that µ {i,j} is minimal 3. If µ {i,j} < κ TG then G nc = {i,j} else G nc = {i} 4. U = U\G nc An efficient multigrid solver based on aggregation p.20
49 3. Pairwise aggregation Input: threshold κ TG Output: n c and aggregates G i, i = 1...,n c Initialization: U = [1, n]\g 0, n c = 0 Algorithm: While U do 1. Select i U ; n c = n c Select j U such that µ {i,j} is minimal 3. If µ {i,j} < κ TG then G nc = {i,j} else G nc = {i} 4. U = U\G nc An efficient multigrid solver based on aggregation p.20
50 3. Pairwise aggregation Input: threshold κ TG Output: n c and aggregates G i, i = 1...,n c Initialization: U = [1, n]\g 0, n c = 0 Algorithm: While U do 1. Select i U ; n c = n c Select j U such that µ {i,j} is minimal 3. If µ {i,j} < κ TG then G nc = {i,j} else G nc = {i} 4. U = U\G nc An efficient multigrid solver based on aggregation p.20
51 3. Pairwise aggregation Input: threshold κ TG Output: n c and aggregates G i, i = 1...,n c Initialization: U = [1, n]\g 0, n c = 0 Algorithm: While U do 1. Select i U ; n c = n c Select j U such that µ {i,j} is minimal 3. If µ {i,j} < κ TG then G nc = {i,j} else G nc = {i} 4. U = U\G nc An efficient multigrid solver based on aggregation p.20
52 3. Repeated Pairwise aggregation s = 1 ; A (s) = A Apply pairwise aggregation to A (s) Form aggregated matrix A (s+1) s s+1 no nnz(a (s+1) ) < nnz(a) τ or s==n pass? yes A c = A (s+1) An efficient multigrid solver based on aggregation p.20
53 3. Repeated Pairwise aggregation s = 1 ; A (s) = A Apply pairwise aggregation to A (s) Form aggregated matrix A (s+1) s s+1 no nnz(a (s+1) ) < nnz(a) τ or s==n pass? yes A c = A (s+1) An efficient multigrid solver based on aggregation p.20
54 3. Repeated Pairwise aggregation s = 1 ; A (s) = A Apply pairwise aggregation to A (s) Form aggregated matrix A (s+1) s s+1 no nnz(a (s+1) ) < nnz(a) τ or s==n pass? yes A c = A (s+1) An efficient multigrid solver based on aggregation p.20
55 3. Repeated Pairwise aggregation s = 1 ; A (s) = A Apply pairwise aggregation to A (s) Check µ G < κ TG in A Form aggregated matrix A (s+1) s s+1 no nnz(a (s+1) ) < nnz(a) τ or s==n pass? yes A c = A (s+1) An efficient multigrid solver based on aggregation p.20
56 3. Repeated Pairwise aggregation s = 1 ; A (s) = A Apply pairwise aggregation to A (s) Check µ G < κ TG in A Form aggregated matrix A (s+1) s s+1 no nnz(a (s+1) ) < nnz(a) τ or s==n pass? yes A c = A (s+1) An efficient multigrid solver based on aggregation p.20
57 3. Aggregation procedure: Illustration Upwind FD approximation of ν u + v grad(u) = f in Ω = unit square with u = g on Ω, v(x, y) = x(1 x)(2y 1) : (2x 1)y(1 y) Direction of the flow Magnitude An efficient multigrid solver based on aggregation p.21
58 3. Aggregation procedure: Illustration ν = 1 : diffusion dominating (near symmetric) Aggregation Spectrum : σ(i T) : theory : σ(ωd 1 A) (convex hull) An efficient multigrid solver based on aggregation p.22
59 3. Aggregation procedure: Illustration ν = 10 3 : convection dominating (strongly nonsymmetric) Aggregation Spectrum : σ(i T) : theory : σ(ωd 1 A) (convex hull) An efficient multigrid solver based on aggregation p.23
60 1. Introduction 2. Convergence analysis 3. Aggregation procedure Repeated pairwise aggregation 4. Parallelization 5. Numerical results 6. Conclusions An efficient multigrid solver based on aggregation p.24
61 4. Parallelization Partitioning of the unknowns partitioning of matrix rows An efficient multigrid solver based on aggregation p.25
62 4. Parallelization Partitioning of the unknowns partitioning of matrix rows We apply exactly the same aggregation algorithm except that aggregates can only contain unknowns in a same partition. Hence, one needs only to know the local matrix rows (no communication except upon forming the next coarse grid matrix) An efficient multigrid solver based on aggregation p.25
63 4. Parallelization Partitioning of the unknowns partitioning of matrix rows We apply exactly the same aggregation algorithm except that aggregates can only contain unknowns in a same partition. Hence, one needs only to know the local matrix rows (no communication except upon forming the next coarse grid matrix) The prolongations & restrictions are then purely local An efficient multigrid solver based on aggregation p.25
64 4. Parallelization Partitioning of the unknowns partitioning of matrix rows We apply exactly the same aggregation algorithm except that aggregates can only contain unknowns in a same partition. Hence, one needs only to know the local matrix rows (no communication except upon forming the next coarse grid matrix) The prolongations & restrictions are then purely local Smoother: Gauss-Seidel, ignoring connections between different partitions inherently parallel An efficient multigrid solver based on aggregation p.25
65 4. Parallelization Partitioning of the unknowns partitioning of matrix rows We apply exactly the same aggregation algorithm except that aggregates can only contain unknowns in a same partition. Hence, one needs only to know the local matrix rows (no communication except upon forming the next coarse grid matrix) The prolongations & restrictions are then purely local Smoother: Gauss-Seidel, ignoring connections between different partitions inherently parallel During iterations: communications only for matvec and inner product computation An efficient multigrid solver based on aggregation p.25
66 1. Introduction 2. Convergence analysis 3. Aggregation procedure Repeated pairwise aggregation 4. Parallelization 5. Numerical results 6. Conclusions An efficient multigrid solver based on aggregation p.26
67 5. Numerical results Classical AMG talk on application Description of the application (beautiful pictures) Description of the AMG strategy and needed tuning Numerical results, often not fully informative: no robustness study on a comprehensive test suite; no comparison with state of the art competitors. An efficient multigrid solver based on aggregation p.27
68 5. Numerical results This talk Most applications ran by people downloading the code. Some of those I am aware of: CFD, electrocardiology (in general, I don t have the beautiful pictures at hand). An efficient multigrid solver based on aggregation p.28
69 5. Numerical results This talk Most applications ran by people downloading the code. Some of those I am aware of: CFD, electrocardiology (in general, I don t have the beautiful pictures at hand). The code is used black box (adaptation neither sought nor needed) An efficient multigrid solver based on aggregation p.28
70 5. Numerical results This talk Most applications ran by people downloading the code. Some of those I am aware of: CFD, electrocardiology (in general, I don t have the beautiful pictures at hand). The code is used black box (adaptation neither sought nor needed) I think the most important is the robustness on a comprehensive test suite An efficient multigrid solver based on aggregation p.28
71 5. Numerical results This talk Most applications ran by people downloading the code. Some of those I am aware of: CFD, electrocardiology (in general, I don t have the beautiful pictures at hand). The code is used black box (adaptation neither sought nor needed) I think the most important is the robustness on a comprehensive test suite I like comparison with state of the art competitors An efficient multigrid solver based on aggregation p.28
72 5. Numerical results Iterations stopped when r k r 0 < 10 6 Times reported are total elapsed times in seconds (including set up) per 10 6 unknowns Test suite: discrete scalar elliptic PDEs SPD problems with jumps and all kind of anisotropy in the coefficients (some with reentering corner) convection-diffusion problems with viscosity from and highly varying recirculating flow FD on regular grids; 3 sizes: 2D: h 1 = 600, 1600, D: h 1 = 80, 160, 320 FE on (un)structured meshes (with different levels of local refinement); 2 sizes: n = 0.15e6 n = 7.1e6 An efficient multigrid solver based on aggregation p.29
73 5. Numerical results 12 2D symmetric problems Regular Unstructured An efficient multigrid solver based on aggregation p.30
74 5. Numerical results 12 3D symmetric problems Regular Unstructured An efficient multigrid solver based on aggregation p.31
75 5. Numerical results 12 2D nonsymmetric problems An efficient multigrid solver based on aggregation p.32
76 5. Numerical results 12 3D nonsymmetric problems An efficient multigrid solver based on aggregation p.33
77 5. Numerical results Comparison with other methods AMG(Hyp): classical AMG method as implemented in the Hypre library (Boomer AMG) AMG(HSL): the classical AMG method as implemented in the HSL library ILUPACK: efficient threshold-based ILU preconditioner Matlab \: Matlab sparse direct solver (UMFPACK) All methods but the last with Krylov subspace acceleration An efficient multigrid solver based on aggregation p.34
78 5. Numerical results 400 AGMG AMG(Hyp) 200 AMG(HSL) ILUPACK Matlab \ POISSON 2D, FD 400 AGMG AMG(Hyp) 200 AMG(HSL) ILUPACK Matlab \ LAPLACE 2D, FE(P3) % of nonzero offdiag > 0 An efficient multigrid solver based on aggregation p.35
79 5. Numerical results Poisson 2D, L-shaped, FE Unstructured, Local refin. Convection-Diffusion 2D, FD ν = AGMG AMG(Hyp) 200 AMG(HSL): coarsening failure in all cases ILUPACK Matlab \ AGMG AMG(Hyp) AMG(HSL) ILUPACK Matlab \ An efficient multigrid solver based on aggregation p.36
80 5. Numerical results POISSON 3D, FD LAPLACE 3D, FE(P3) 400 AGMG AMG(Hyp) 200 AMG(HSL) ILUPACK Matlab \ AGMG AMG(Hyp) AMG(HSL) ILUPACK Matlab \ % of nonzero offdiag > 0 An efficient multigrid solver based on aggregation p.37
81 5. Numerical results 50 Poisson 3D, FE Unstructured, Local refin. 400 AGMG AMG(Hyp) 200 AMG(HSL) ILUPACK Matlab \ 100 Convection-Diffusion 3D, FD ν = AGMG AMG(Hyp) 200 AMG(HSL) ILUPACK Matlab \ An efficient multigrid solver based on aggregation p.38
82 5. Numerical results Parallel run: with direct coarsest grid solver Cray, 32 cores/node with 1GB/node Poisson, 3D trilinear hexahedral FE #Nodes #Cores n/10 6 #Iter. Setup Time Solve Time (By courtesy of Mark Walkley, Univ. of Leeds) An efficient multigrid solver based on aggregation p.39
83 5. Numerical results Parallel run: with (new) iterative coarsest grid solver Intel(R) Xeon(R) CPU 2.53GHz 3D problem with jumps, FD #Nodes #Cores n/10 6 #Iter. Setup Time Solve Time An efficient multigrid solver based on aggregation p.40
84 6. Conclusions Robust method for scalar elliptic PDEs An efficient multigrid solver based on aggregation p.41
85 6. Conclusions Robust method for scalar elliptic PDEs Purely algebraic convergence theory: do not depend on FE spaces, regularity assumption; applies also to the nonsymmetric case. An efficient multigrid solver based on aggregation p.41
86 6. Conclusions Robust method for scalar elliptic PDEs Purely algebraic convergence theory: do not depend on FE spaces, regularity assumption; applies also to the nonsymmetric case. Can be used (and is used!) black box (does not require tuning or adaptation) An efficient multigrid solver based on aggregation p.41
87 6. Conclusions Robust method for scalar elliptic PDEs Purely algebraic convergence theory: do not depend on FE spaces, regularity assumption; applies also to the nonsymmetric case. Can be used (and is used!) black box (does not require tuning or adaptation) Faster than some solvers based on classical AMG An efficient multigrid solver based on aggregation p.41
88 6. Conclusions Robust method for scalar elliptic PDEs Purely algebraic convergence theory: do not depend on FE spaces, regularity assumption; applies also to the nonsymmetric case. Can be used (and is used!) black box (does not require tuning or adaptation) Faster than some solvers based on classical AMG Fairly small setup time: especially well suited when only a modest accuracy is needed (e.g., linear solve within Newton steps) An efficient multigrid solver based on aggregation p.41
89 6. Conclusions Robust method for scalar elliptic PDEs Purely algebraic convergence theory: do not depend on FE spaces, regularity assumption; applies also to the nonsymmetric case. Can be used (and is used!) black box (does not require tuning or adaptation) Faster than some solvers based on classical AMG Fairly small setup time: especially well suited when only a modest accuracy is needed (e.g., linear solve within Newton steps) Efficient parallelization An efficient multigrid solver based on aggregation p.41
90 6. Conclusions Robust method for scalar elliptic PDEs Purely algebraic convergence theory: do not depend on FE spaces, regularity assumption; applies also to the nonsymmetric case. Can be used (and is used!) black box (does not require tuning or adaptation) Faster than some solvers based on classical AMG Fairly small setup time: especially well suited when only a modest accuracy is needed (e.g., linear solve within Newton steps) Efficient parallelization Professional code available, free academic license An efficient multigrid solver based on aggregation p.41
91 References Analysis of aggregation based multigrid (with A. C. Muresan), SISC (2008). Recursive Krylov-based multigrid cycles (with P. S. Vassilevski), NLAA (2008). An aggregation-based algebraic multigrid method, ETNA (2010). Algebraic analysis of two-grid methods: the nonsymmetric case, NLAA (2010). Algebraic analysis of aggregation-based multigrid, (with A. Napov) NLAA (2011). An algebraic multigrid method with guaranteed convergence rate (with A. Napov), SISC (2012). Aggregation-based algebraic multigrid for convection-diffusion equations, SISC (2012, to appear). AGMG software: Google AGMG ( Thank you for your attention! An efficient multigrid solver based on aggregation p.42
92 1. Intro: Why aggregation-based AMG? Classical AMG Heuristic algorithms to mimic geometric multigrid (Connectivity set of coarse nodes; Matrix entries interpolation rules) Need to be used recursively: A c = P T AP A cc = P T c A c P c, etc Several variants and parameters; relevant choices depend on applications Main difficulty: Find a good tradeoff between accuracy and the mastering of complexity (i.e., the control of the sparsity in successive coarse grid matrices) Is a good algorithm for A also good for A c? An efficient multigrid solver based on aggregation p.43
93 Test suite: 2D Model Problems (FD) MODEL2D : 5-point & 9 point discretizations of { u = 1 on Ω = [0,1] [0,1] u = 0 on Ω with = 2 x y 2 ANI2D : 5-point discretization of D u = 1 on Ω = [0,1] [0,1] u = 0 for x = 1, 0 y 1 = 0 elsewhere on Ω u n with = 1 x x +1 y y, D = diag(ε, 1) Tested: ε = 10 2, εσ -εσ -εσ -εσ -ε εσ -εσ -εσ -εσ -ε εσ -εσ -εσ -εσ -ε εσ -εσ -εσ -εσ -ε Σ = 2(1+ε) An efficient multigrid solver based on aggregation p.44 h
94 Test suite: Non M-matrices ANI2DBIFE : bilinear FE element discretization of D u = 1 on Ω = [0,1] [0,1] u = 0 for x = 1, 0 y 1 u n = 0 elsewhere on Ω with = 1 x x +1 y y, D = diag(ε, 1) Tested: ε = 10 2, 10 2, 10 3 (i.e. some strong positive offdiagonal elements) εσ -εσ -εσ -εσ -ε εσ -εσ -εσ -εσ -ε εσ -εσ -εσ -εσ -ε εσ -εσ -εσ -εσ -ε Σ = 2(1+ε) h An efficient multigrid solver based on aggregation p.45
95 Test suite: 3D Model Problems (FD) MODEL3D : 7-point discretization of { u = 1 on Ω = [0,1] [0,1] [0,1] u = 0 on Ω with = 2 x y z 2 ANI3D : 7-point discretization of D u = 1 on Ω = [0,1] [0,1] [0,1] u = 0 for x = 1, 0 y, z 1 = 0 elsewhere on Ω u n with = 1 x x +1 y y +1 z z, D = diag(ε x, ε y,1) Tested: (0.07,1,1),(0.07,0.25,1), (0.07,0.07,1), (0.005,1,1), An efficient multigrid solver based on aggregation p.46 (0.005,0.07,1), (0.005,0.005,1)
96 Test suite: Problems with Jumps (FD) JUMP2D : 5-point discretization of D u = f on Ω = [0,1] [0,1] u = 0 for x = 1, 0 y 1 = 0 elsewhere on Ω u n with = 1 x x +1 y y,d = diag(d x, D y ) 100,100 1,1 100,1 1,100 D x, D y JUMP3D : 7-point discretization of D u = f on Ω = [0,1] [0,1] [0,1] u = 0 for x = 1, 0 y, z 1 = 0 elsewhere on Ω u n with = 1 x x +1 y y +1 z z D = 10 3 D = 1 An efficient multigrid solver based on aggregation p.47
97 Test suite: Sphere in a cube (FE) Finite element discretization of D u = 0 on Ω = [0,1] [0,1] [0,1] u = 0 for x = 0, 1, 0 y, z 1 u = 1 elsewhere on Ω with = 1 x x +1 y y +1 z z SPHUNF : quasi uniform mesh D = d D = 1 d = 10 3, 1, 10 3 SPHRF : mesh 10 finer on the sphere An efficient multigrid solver based on aggregation p.48
98 Test suite: reenter. corner, loc. ref. (FE) Finite { element discretization of u = 0 on Ω = [0,1] [0,1] u = r 2 3 sin( 2θ 3 ) on Ω with = 2 x y 2 LUNFST : uniform structured grid LRFUST : unstructured grid with mesh 10 r finer near reentering corner r = 0 5 An efficient multigrid solver based on aggregation p.49
99 Test suite: Nonsymmetric problems Challenging convection-diffusion problems Upwind FD approximation of { ν u + v grad(u) = f in Ω u = g on Ω In all cases: tests for ν = 1, 10 2, 10 4, 10 6 An efficient multigrid solver based on aggregation p.50
Aggregation-based algebraic multigrid
Aggregation-based algebraic multigrid from theory to fast solvers Yvan Notay Université Libre de Bruxelles Service de Métrologie Nucléaire CEMRACS, Marseille, July 18, 2012 Supported by the Belgian FNRS
More informationRobust solution of Poisson-like problems with aggregation-based AMG
Robust solution of Poisson-like problems with aggregation-based AMG Yvan Notay Université Libre de Bruxelles Service de Métrologie Nucléaire Paris, January 26, 215 Supported by the Belgian FNRS http://homepages.ulb.ac.be/
More informationSolving PDEs with Multigrid Methods p.1
Solving PDEs with Multigrid Methods Scott MacLachlan maclachl@colorado.edu Department of Applied Mathematics, University of Colorado at Boulder Solving PDEs with Multigrid Methods p.1 Support and Collaboration
More informationAlgebraic multigrid and multilevel methods A general introduction. Outline. Algebraic methods: field of application
Algebraic multigrid and multilevel methods A general introduction Yvan Notay ynotay@ulbacbe Université Libre de Bruxelles Service de Métrologie Nucléaire May 2, 25, Leuven Supported by the Fonds National
More informationmultigrid, algebraic multigrid, AMG, convergence analysis, preconditioning, ag- gregation Ax = b (1.1)
ALGEBRAIC MULTIGRID FOR MODERATE ORDER FINITE ELEMENTS ARTEM NAPOV AND YVAN NOTAY Abstract. We investigate the use of algebraic multigrid (AMG) methods for the solution of large sparse linear systems arising
More informationAlgebraic multigrid for moderate order finite elements
Algebraic multigrid for moderate order finite elements Artem Napov and Yvan Notay Service de Métrologie Nucléaire Université Libre de Bruxelles (C.P. 165/84) 50, Av. F.D. Roosevelt, B-1050 Brussels, Belgium.
More informationAMG for a Peta-scale Navier Stokes Code
AMG for a Peta-scale Navier Stokes Code James Lottes Argonne National Laboratory October 18, 2007 The Challenge Develop an AMG iterative method to solve Poisson 2 u = f discretized on highly irregular
More informationAMS526: Numerical Analysis I (Numerical Linear Algebra)
AMS526: Numerical Analysis I (Numerical Linear Algebra) Lecture 24: Preconditioning and Multigrid Solver Xiangmin Jiao SUNY Stony Brook Xiangmin Jiao Numerical Analysis I 1 / 5 Preconditioning Motivation:
More informationAn efficient multigrid method for graph Laplacian systems II: robust aggregation
An efficient multigrid method for graph Laplacian systems II: robust aggregation Artem Napov and Yvan Notay Service de Métrologie Nucléaire Université Libre de Bruxelles (C.P. 165/84) 50, Av. F.D. Roosevelt,
More informationMultigrid Methods and their application in CFD
Multigrid Methods and their application in CFD Michael Wurst TU München 16.06.2009 1 Multigrid Methods Definition Multigrid (MG) methods in numerical analysis are a group of algorithms for solving differential
More informationAdaptive algebraic multigrid methods in lattice computations
Adaptive algebraic multigrid methods in lattice computations Karsten Kahl Bergische Universität Wuppertal January 8, 2009 Acknowledgements Matthias Bolten, University of Wuppertal Achi Brandt, Weizmann
More informationMultigrid absolute value preconditioning
Multigrid absolute value preconditioning Eugene Vecharynski 1 Andrew Knyazev 2 (speaker) 1 Department of Computer Science and Engineering University of Minnesota 2 Department of Mathematical and Statistical
More informationAlgebraic Multigrid as Solvers and as Preconditioner
Ò Algebraic Multigrid as Solvers and as Preconditioner Domenico Lahaye domenico.lahaye@cs.kuleuven.ac.be http://www.cs.kuleuven.ac.be/ domenico/ Department of Computer Science Katholieke Universiteit Leuven
More informationc 2017 Society for Industrial and Applied Mathematics
SIAM J. SCI. COMPUT. Vol. 39, No. 5, pp. S379 S403 c 2017 Society for Industrial and Applied Mathematics AN EFFICIENT MULTIGRID METHOD FOR GRAPH LAPLACIAN SYSTEMS II: ROBUST AGGREGATION ARTEM NAPOV AND
More informationIncomplete Cholesky preconditioners that exploit the low-rank property
anapov@ulb.ac.be ; http://homepages.ulb.ac.be/ anapov/ 1 / 35 Incomplete Cholesky preconditioners that exploit the low-rank property (theory and practice) Artem Napov Service de Métrologie Nucléaire, Université
More informationNew Multigrid Solver Advances in TOPS
New Multigrid Solver Advances in TOPS R D Falgout 1, J Brannick 2, M Brezina 2, T Manteuffel 2 and S McCormick 2 1 Center for Applied Scientific Computing, Lawrence Livermore National Laboratory, P.O.
More information1. Fast Iterative Solvers of SLE
1. Fast Iterative Solvers of crucial drawback of solvers discussed so far: they become slower if we discretize more accurate! now: look for possible remedies relaxation: explicit application of the multigrid
More informationKasetsart University Workshop. Multigrid methods: An introduction
Kasetsart University Workshop Multigrid methods: An introduction Dr. Anand Pardhanani Mathematics Department Earlham College Richmond, Indiana USA pardhan@earlham.edu A copy of these slides is available
More informationPreface to the Second Edition. Preface to the First Edition
n page v Preface to the Second Edition Preface to the First Edition xiii xvii 1 Background in Linear Algebra 1 1.1 Matrices................................. 1 1.2 Square Matrices and Eigenvalues....................
More informationSpectral element agglomerate AMGe
Spectral element agglomerate AMGe T. Chartier 1, R. Falgout 2, V. E. Henson 2, J. E. Jones 4, T. A. Manteuffel 3, S. F. McCormick 3, J. W. Ruge 3, and P. S. Vassilevski 2 1 Department of Mathematics, Davidson
More informationSolving Symmetric Indefinite Systems with Symmetric Positive Definite Preconditioners
Solving Symmetric Indefinite Systems with Symmetric Positive Definite Preconditioners Eugene Vecharynski 1 Andrew Knyazev 2 1 Department of Computer Science and Engineering University of Minnesota 2 Department
More informationOUTLINE ffl CFD: elliptic pde's! Ax = b ffl Basic iterative methods ffl Krylov subspace methods ffl Preconditioning techniques: Iterative methods ILU
Preconditioning Techniques for Solving Large Sparse Linear Systems Arnold Reusken Institut für Geometrie und Praktische Mathematik RWTH-Aachen OUTLINE ffl CFD: elliptic pde's! Ax = b ffl Basic iterative
More informationAn Introduction to Algebraic Multigrid (AMG) Algorithms Derrick Cerwinsky and Craig C. Douglas 1/84
An Introduction to Algebraic Multigrid (AMG) Algorithms Derrick Cerwinsky and Craig C. Douglas 1/84 Introduction Almost all numerical methods for solving PDEs will at some point be reduced to solving A
More informationAspects of Multigrid
Aspects of Multigrid Kees Oosterlee 1,2 1 Delft University of Technology, Delft. 2 CWI, Center for Mathematics and Computer Science, Amsterdam, SIAM Chapter Workshop Day, May 30th 2018 C.W.Oosterlee (CWI)
More informationComputers and Mathematics with Applications
Computers and Mathematics with Applications 68 (2014) 1151 1160 Contents lists available at ScienceDirect Computers and Mathematics with Applications journal homepage: www.elsevier.com/locate/camwa A GPU
More informationarxiv: v1 [math.na] 11 Jul 2011
Multigrid Preconditioner for Nonconforming Discretization of Elliptic Problems with Jump Coefficients arxiv:07.260v [math.na] Jul 20 Blanca Ayuso De Dios, Michael Holst 2, Yunrong Zhu 2, and Ludmil Zikatanov
More informationStabilization and Acceleration of Algebraic Multigrid Method
Stabilization and Acceleration of Algebraic Multigrid Method Recursive Projection Algorithm A. Jemcov J.P. Maruszewski Fluent Inc. October 24, 2006 Outline 1 Need for Algorithm Stabilization and Acceleration
More informationSolving Large Nonlinear Sparse Systems
Solving Large Nonlinear Sparse Systems Fred W. Wubs and Jonas Thies Computational Mechanics & Numerical Mathematics University of Groningen, the Netherlands f.w.wubs@rug.nl Centre for Interdisciplinary
More informationUsing an Auction Algorithm in AMG based on Maximum Weighted Matching in Matrix Graphs
Using an Auction Algorithm in AMG based on Maximum Weighted Matching in Matrix Graphs Pasqua D Ambra Institute for Applied Computing (IAC) National Research Council of Italy (CNR) pasqua.dambra@cnr.it
More informationA greedy strategy for coarse-grid selection
A greedy strategy for coarse-grid selection S. MacLachlan Yousef Saad August 3, 2006 Abstract Efficient solution of the very large linear systems that arise in numerical modelling of real-world applications
More informationFast Iterative Solution of Saddle Point Problems
Michele Benzi Department of Mathematics and Computer Science Emory University Atlanta, GA Acknowledgments NSF (Computational Mathematics) Maxim Olshanskii (Mech-Math, Moscow State U.) Zhen Wang (PhD student,
More informationLecture 17: Iterative Methods and Sparse Linear Algebra
Lecture 17: Iterative Methods and Sparse Linear Algebra David Bindel 25 Mar 2014 Logistics HW 3 extended to Wednesday after break HW 4 should come out Monday after break Still need project description
More informationPreconditioned Locally Minimal Residual Method for Computing Interior Eigenpairs of Symmetric Operators
Preconditioned Locally Minimal Residual Method for Computing Interior Eigenpairs of Symmetric Operators Eugene Vecharynski 1 Andrew Knyazev 2 1 Department of Computer Science and Engineering University
More informationKey words. preconditioned conjugate gradient method, saddle point problems, optimal control of PDEs, control and state constraints, multigrid method
PRECONDITIONED CONJUGATE GRADIENT METHOD FOR OPTIMAL CONTROL PROBLEMS WITH CONTROL AND STATE CONSTRAINTS ROLAND HERZOG AND EKKEHARD SACHS Abstract. Optimality systems and their linearizations arising in
More informationAMS526: Numerical Analysis I (Numerical Linear Algebra for Computational and Data Sciences)
AMS526: Numerical Analysis I (Numerical Linear Algebra for Computational and Data Sciences) Lecture 19: Computing the SVD; Sparse Linear Systems Xiangmin Jiao Stony Brook University Xiangmin Jiao Numerical
More informationAdaptive Multigrid for QCD. Lattice University of Regensburg
Lattice 2007 University of Regensburg Michael Clark Boston University with J. Brannick, R. Brower, J. Osborn and C. Rebbi -1- Lattice 2007, University of Regensburg Talk Outline Introduction to Multigrid
More informationA Generalized Eigensolver Based on Smoothed Aggregation (GES-SA) for Initializing Smoothed Aggregation Multigrid (SA)
NUMERICAL LINEAR ALGEBRA WITH APPLICATIONS Numer. Linear Algebra Appl. 2007; 07: 6 [Version: 2002/09/8 v.02] A Generalized Eigensolver Based on Smoothed Aggregation (GES-SA) for Initializing Smoothed Aggregation
More informationThe Conjugate Gradient Method
The Conjugate Gradient Method Classical Iterations We have a problem, We assume that the matrix comes from a discretization of a PDE. The best and most popular model problem is, The matrix will be as large
More informationSolving Ax = b, an overview. Program
Numerical Linear Algebra Improving iterative solvers: preconditioning, deflation, numerical software and parallelisation Gerard Sleijpen and Martin van Gijzen November 29, 27 Solving Ax = b, an overview
More informationPreconditioning Techniques for Large Linear Systems Part III: General-Purpose Algebraic Preconditioners
Preconditioning Techniques for Large Linear Systems Part III: General-Purpose Algebraic Preconditioners Michele Benzi Department of Mathematics and Computer Science Emory University Atlanta, Georgia, USA
More informationBootstrap AMG. Kailai Xu. July 12, Stanford University
Bootstrap AMG Kailai Xu Stanford University July 12, 2017 AMG Components A general AMG algorithm consists of the following components. A hierarchy of levels. A smoother. A prolongation. A restriction.
More informationA MULTIGRID ALGORITHM FOR. Richard E. Ewing and Jian Shen. Institute for Scientic Computation. Texas A&M University. College Station, Texas SUMMARY
A MULTIGRID ALGORITHM FOR THE CELL-CENTERED FINITE DIFFERENCE SCHEME Richard E. Ewing and Jian Shen Institute for Scientic Computation Texas A&M University College Station, Texas SUMMARY In this article,
More informationScientific Computing: An Introductory Survey
Scientific Computing: An Introductory Survey Chapter 11 Partial Differential Equations Prof. Michael T. Heath Department of Computer Science University of Illinois at Urbana-Champaign Copyright c 2002.
More informationPartial Differential Equations
Partial Differential Equations Introduction Deng Li Discretization Methods Chunfang Chen, Danny Thorne, Adam Zornes CS521 Feb.,7, 2006 What do You Stand For? A PDE is a Partial Differential Equation This
More informationMultilevel Preconditioning of Graph-Laplacians: Polynomial Approximation of the Pivot Blocks Inverses
Multilevel Preconditioning of Graph-Laplacians: Polynomial Approximation of the Pivot Blocks Inverses P. Boyanova 1, I. Georgiev 34, S. Margenov, L. Zikatanov 5 1 Uppsala University, Box 337, 751 05 Uppsala,
More informationPreconditioners for the incompressible Navier Stokes equations
Preconditioners for the incompressible Navier Stokes equations C. Vuik M. ur Rehman A. Segal Delft Institute of Applied Mathematics, TU Delft, The Netherlands SIAM Conference on Computational Science and
More informationGeometric Multigrid Methods
Geometric Multigrid Methods Susanne C. Brenner Department of Mathematics and Center for Computation & Technology Louisiana State University IMA Tutorial: Fast Solution Techniques November 28, 2010 Ideas
More informationEfficient smoothers for all-at-once multigrid methods for Poisson and Stokes control problems
Efficient smoothers for all-at-once multigrid methods for Poisson and Stoes control problems Stefan Taacs stefan.taacs@numa.uni-linz.ac.at, WWW home page: http://www.numa.uni-linz.ac.at/~stefant/j3362/
More informationBoundary Value Problems - Solving 3-D Finite-Difference problems Jacob White
Introduction to Simulation - Lecture 2 Boundary Value Problems - Solving 3-D Finite-Difference problems Jacob White Thanks to Deepak Ramaswamy, Michal Rewienski, and Karen Veroy Outline Reminder about
More informationANALYSIS OF AUGMENTED LAGRANGIAN-BASED PRECONDITIONERS FOR THE STEADY INCOMPRESSIBLE NAVIER-STOKES EQUATIONS
ANALYSIS OF AUGMENTED LAGRANGIAN-BASED PRECONDITIONERS FOR THE STEADY INCOMPRESSIBLE NAVIER-STOKES EQUATIONS MICHELE BENZI AND ZHEN WANG Abstract. We analyze a class of modified augmented Lagrangian-based
More informationConstrained Minimization and Multigrid
Constrained Minimization and Multigrid C. Gräser (FU Berlin), R. Kornhuber (FU Berlin), and O. Sander (FU Berlin) Workshop on PDE Constrained Optimization Hamburg, March 27-29, 2008 Matheon Outline Successive
More informationJournal of Computational and Applied Mathematics. Multigrid method for solving convection-diffusion problems with dominant convection
Journal of Computational and Applied Mathematics 226 (2009) 77 83 Contents lists available at ScienceDirect Journal of Computational and Applied Mathematics journal homepage: www.elsevier.com/locate/cam
More informationJ.I. Aliaga 1 M. Bollhöfer 2 A.F. Martín 1 E.S. Quintana-Ortí 1. March, 2009
Parallel Preconditioning of Linear Systems based on ILUPACK for Multithreaded Architectures J.I. Aliaga M. Bollhöfer 2 A.F. Martín E.S. Quintana-Ortí Deparment of Computer Science and Engineering, Univ.
More informationComputational Linear Algebra
Computational Linear Algebra PD Dr. rer. nat. habil. Ralf-Peter Mundani Computation in Engineering / BGU Scientific Computing in Computer Science / INF Winter Term 2018/19 Part 4: Iterative Methods PD
More informationNewton s Method and Efficient, Robust Variants
Newton s Method and Efficient, Robust Variants Philipp Birken University of Kassel (SFB/TRR 30) Soon: University of Lund October 7th 2013 Efficient solution of large systems of non-linear PDEs in science
More informationAlgebraic Multigrid Preconditioners for Computing Stationary Distributions of Markov Processes
Algebraic Multigrid Preconditioners for Computing Stationary Distributions of Markov Processes Elena Virnik, TU BERLIN Algebraic Multigrid Preconditioners for Computing Stationary Distributions of Markov
More informationMultigrid finite element methods on semi-structured triangular grids
XXI Congreso de Ecuaciones Diferenciales y Aplicaciones XI Congreso de Matemática Aplicada Ciudad Real, -5 septiembre 009 (pp. 8) Multigrid finite element methods on semi-structured triangular grids F.J.
More informationNotes for CS542G (Iterative Solvers for Linear Systems)
Notes for CS542G (Iterative Solvers for Linear Systems) Robert Bridson November 20, 2007 1 The Basics We re now looking at efficient ways to solve the linear system of equations Ax = b where in this course,
More informationUniversity of Illinois at Urbana-Champaign. Multigrid (MG) methods are used to approximate solutions to elliptic partial differential
Title: Multigrid Methods Name: Luke Olson 1 Affil./Addr.: Department of Computer Science University of Illinois at Urbana-Champaign Urbana, IL 61801 email: lukeo@illinois.edu url: http://www.cs.uiuc.edu/homes/lukeo/
More informationDomain decomposition on different levels of the Jacobi-Davidson method
hapter 5 Domain decomposition on different levels of the Jacobi-Davidson method Abstract Most computational work of Jacobi-Davidson [46], an iterative method suitable for computing solutions of large dimensional
More informationAMS526: Numerical Analysis I (Numerical Linear Algebra) Lecture 23: GMRES and Other Krylov Subspace Methods; Preconditioning
AMS526: Numerical Analysis I (Numerical Linear Algebra) Lecture 23: GMRES and Other Krylov Subspace Methods; Preconditioning Xiangmin Jiao SUNY Stony Brook Xiangmin Jiao Numerical Analysis I 1 / 18 Outline
More informationElliptic Problems / Multigrid. PHY 604: Computational Methods for Physics and Astrophysics II
Elliptic Problems / Multigrid Summary of Hyperbolic PDEs We looked at a simple linear and a nonlinear scalar hyperbolic PDE There is a speed associated with the change of the solution Explicit methods
More informationAn Algebraic Multigrid Method for Eigenvalue Problems
An Algebraic Multigrid Method for Eigenvalue Problems arxiv:1503.08462v1 [math.na] 29 Mar 2015 Xiaole Han, Yunhui He, Hehu Xie and Chunguang You Abstract An algebraic multigrid method is proposed to solve
More informationAnalysis of two-grid methods: The nonnormal case
Analysis of two-grid methods: The nonnormal case Yvan Notay Service de Métrologie Nucléaire Université Libre de Bruxelles (C.P. 65/84) 5, Av. F.D. Roosevelt, B-5 Brussels, Belgium. email : ynotay@ulb.ac.be
More informationDELFT UNIVERSITY OF TECHNOLOGY
DELFT UNIVERSITY OF TECHNOLOGY REPORT 13-07 On preconditioning incompressible non-newtonian flow problems Xin He, Maya Neytcheva and Cornelis Vuik ISSN 1389-6520 Reports of the Delft Institute of Applied
More informationChallenges for Matrix Preconditioning Methods
Challenges for Matrix Preconditioning Methods Matthias Bollhoefer 1 1 Dept. of Mathematics TU Berlin Preconditioning 2005, Atlanta, May 19, 2005 supported by the DFG research center MATHEON in Berlin Outline
More informationA Novel Aggregation Method based on Graph Matching for Algebraic MultiGrid Preconditioning of Sparse Linear Systems
A Novel Aggregation Method based on Graph Matching for Algebraic MultiGrid Preconditioning of Sparse Linear Systems Pasqua D Ambra, Alfredo Buttari, Daniela Di Serafino, Salvatore Filippone, Simone Gentile,
More informationDELFT UNIVERSITY OF TECHNOLOGY
DELFT UNIVERSITY OF TECHNOLOGY REPORT 13-10 Comparison of some preconditioners for the incompressible Navier-Stokes equations X. He and C. Vuik ISSN 1389-6520 Reports of the Delft Institute of Applied
More informationNewton-Multigrid Least-Squares FEM for S-V-P Formulation of the Navier-Stokes Equations
Newton-Multigrid Least-Squares FEM for S-V-P Formulation of the Navier-Stokes Equations A. Ouazzi, M. Nickaeen, S. Turek, and M. Waseem Institut für Angewandte Mathematik, LSIII, TU Dortmund, Vogelpothsweg
More informationLehrstuhl für Informatik 10 (Systemsimulation)
FRIEDRICH-ALEXANDER-UNIVERSITÄT ERLANGEN-NÜRNBERG INSTITUT FÜR INFORMATIK (MATHEMATISCHE MASCHINEN UND DATENVERARBEITUNG) Lehrstuhl für Informatik 10 (Systemsimulation) Comparison of two implementations
More informationMultigrid and Domain Decomposition Methods for Electrostatics Problems
Multigrid and Domain Decomposition Methods for Electrostatics Problems Michael Holst and Faisal Saied Abstract. We consider multigrid and domain decomposition methods for the numerical solution of electrostatics
More informationALGEBRAIC MULTILEVEL METHODS FOR GRAPH LAPLACIANS
The Pennsylvania State University The Graduate School Department of Mathematics ALGEBRAIC MULTILEVEL METHODS FOR GRAPH LAPLACIANS A Dissertation in Mathematics by Yao Chen Submitted in Partial Fulfillment
More informationChapter 7 Iterative Techniques in Matrix Algebra
Chapter 7 Iterative Techniques in Matrix Algebra Per-Olof Persson persson@berkeley.edu Department of Mathematics University of California, Berkeley Math 128B Numerical Analysis Vector Norms Definition
More informationA SHORT NOTE COMPARING MULTIGRID AND DOMAIN DECOMPOSITION FOR PROTEIN MODELING EQUATIONS
A SHORT NOTE COMPARING MULTIGRID AND DOMAIN DECOMPOSITION FOR PROTEIN MODELING EQUATIONS MICHAEL HOLST AND FAISAL SAIED Abstract. We consider multigrid and domain decomposition methods for the numerical
More informationOptimal Left and Right Additive Schwarz Preconditioning for Minimal Residual Methods with Euclidean and Energy Norms
Optimal Left and Right Additive Schwarz Preconditioning for Minimal Residual Methods with Euclidean and Energy Norms Marcus Sarkis Worcester Polytechnic Inst., Mass. and IMPA, Rio de Janeiro and Daniel
More informationMultigrid solvers for equations arising in implicit MHD simulations
Multigrid solvers for equations arising in implicit MHD simulations smoothing Finest Grid Mark F. Adams Department of Applied Physics & Applied Mathematics Columbia University Ravi Samtaney PPPL Achi Brandt
More informationhypre MG for LQFT Chris Schroeder LLNL - Physics Division
hypre MG for LQFT Chris Schroeder LLNL - Physics Division This work performed under the auspices of the U.S. Department of Energy by under Contract DE-??? Contributors hypre Team! Rob Falgout (project
More informationarxiv: v4 [math.na] 1 Sep 2018
A Comparison of Preconditioned Krylov Subspace Methods for Large-Scale Nonsymmetric Linear Systems Aditi Ghai, Cao Lu and Xiangmin Jiao arxiv:1607.00351v4 [math.na] 1 Sep 2018 September 5, 2018 Department
More informationINTRODUCTION TO MULTIGRID METHODS
INTRODUCTION TO MULTIGRID METHODS LONG CHEN 1. ALGEBRAIC EQUATION OF TWO POINT BOUNDARY VALUE PROBLEM We consider the discretization of Poisson equation in one dimension: (1) u = f, x (0, 1) u(0) = u(1)
More informationScalable Domain Decomposition Preconditioners For Heterogeneous Elliptic Problems
Scalable Domain Decomposition Preconditioners For Heterogeneous Elliptic Problems Pierre Jolivet, F. Hecht, F. Nataf, C. Prud homme Laboratoire Jacques-Louis Lions Laboratoire Jean Kuntzmann INRIA Rocquencourt
More informationMultilevel low-rank approximation preconditioners Yousef Saad Department of Computer Science and Engineering University of Minnesota
Multilevel low-rank approximation preconditioners Yousef Saad Department of Computer Science and Engineering University of Minnesota SIAM CSE Boston - March 1, 2013 First: Joint work with Ruipeng Li Work
More informationScientific Computing WS 2018/2019. Lecture 9. Jürgen Fuhrmann Lecture 9 Slide 1
Scientific Computing WS 2018/2019 Lecture 9 Jürgen Fuhrmann juergen.fuhrmann@wias-berlin.de Lecture 9 Slide 1 Lecture 9 Slide 2 Simple iteration with preconditioning Idea: Aû = b iterative scheme û = û
More informationAggregation-based Adaptive Algebraic Multigrid for Sparse Linear Systems. Eran Treister
Aggregation-based Adaptive Algebraic Multigrid for Sparse Linear Systems Eran Treister Aggregation-based Adaptive Algebraic Multigrid for Sparse Linear Systems Research Thesis In Partial Fulfillment of
More informationAN AGGREGATION MULTILEVEL METHOD USING SMOOTH ERROR VECTORS
AN AGGREGATION MULTILEVEL METHOD USING SMOOTH ERROR VECTORS EDMOND CHOW Abstract. Many algebraic multilevel methods for solving linear systems assume that the slowto-converge, or algebraically smooth error
More informationLecture 18 Classical Iterative Methods
Lecture 18 Classical Iterative Methods MIT 18.335J / 6.337J Introduction to Numerical Methods Per-Olof Persson November 14, 2006 1 Iterative Methods for Linear Systems Direct methods for solving Ax = b,
More informationLecture 9 Approximations of Laplace s Equation, Finite Element Method. Mathématiques appliquées (MATH0504-1) B. Dewals, C.
Lecture 9 Approximations of Laplace s Equation, Finite Element Method Mathématiques appliquées (MATH54-1) B. Dewals, C. Geuzaine V1.2 23/11/218 1 Learning objectives of this lecture Apply the finite difference
More informationc 2011 Society for Industrial and Applied Mathematics
SIAM J. SCI. COMPUT. Vol. 33, No. 5, pp. 2761 2784 c 2011 Society for Industrial and Applied Mathematics ANALYSIS OF AUGMENTED LAGRANGIAN-BASED PRECONDITIONERS FOR THE STEADY INCOMPRESSIBLE NAVIER STOKES
More informationEFFICIENT MULTIGRID BASED SOLVERS FOR ISOGEOMETRIC ANALYSIS
6th European Conference on Computational Mechanics (ECCM 6) 7th European Conference on Computational Fluid Dynamics (ECFD 7) 1115 June 2018, Glasgow, UK EFFICIENT MULTIGRID BASED SOLVERS FOR ISOGEOMETRIC
More informationFast Space Charge Calculations with a Multigrid Poisson Solver & Applications
Fast Space Charge Calculations with a Multigrid Poisson Solver & Applications Gisela Pöplau Ursula van Rienen Rostock University DESY, Hamburg, April 26, 2005 Bas van der Geer Marieke de Loos Pulsar Physics
More informationc 2010 Society for Industrial and Applied Mathematics
SIAM J. SCI. COMPUT. Vol. 32, No. 1, pp. 40 61 c 2010 Society for Industrial and Applied Mathematics SMOOTHED AGGREGATION MULTIGRID FOR MARKOV CHAINS H. DE STERCK, T. A. MANTEUFFEL, S. F. MCCORMICK, K.
More information2.29 Numerical Fluid Mechanics Spring 2015 Lecture 9
Spring 2015 Lecture 9 REVIEW Lecture 8: Direct Methods for solving (linear) algebraic equations Gauss Elimination LU decomposition/factorization Error Analysis for Linear Systems and Condition Numbers
More informationAn Efficient Low Memory Implicit DG Algorithm for Time Dependent Problems
An Efficient Low Memory Implicit DG Algorithm for Time Dependent Problems P.-O. Persson and J. Peraire Massachusetts Institute of Technology 2006 AIAA Aerospace Sciences Meeting, Reno, Nevada January 9,
More informationOptimal V-cycle Algebraic Multilevel Preconditioning
NUMERCAL LNEAR ALGEBRA WTH APPLCATONS Numer. Linear Algebra Appl., 5, 44 459 998 Optimal V-cycle Algebraic Multilevel Preconditioning Yvan Notay Service de Métrologie Nucléaire, Université Libre de Bruxelles
More informationNonlinear Iterative Solution of the Neutron Transport Equation
Nonlinear Iterative Solution of the Neutron Transport Equation Emiliano Masiello Commissariat à l Energie Atomique de Saclay /DANS//SERMA/LTSD emiliano.masiello@cea.fr 1/37 Outline - motivations and framework
More informationOverlapping Schwarz preconditioners for Fekete spectral elements
Overlapping Schwarz preconditioners for Fekete spectral elements R. Pasquetti 1, L. F. Pavarino 2, F. Rapetti 1, and E. Zampieri 2 1 Laboratoire J.-A. Dieudonné, CNRS & Université de Nice et Sophia-Antipolis,
More informationAlgebraic Multigrid Methods for the Oseen Problem
Algebraic Multigrid Methods for the Oseen Problem Markus Wabro Joint work with: Walter Zulehner, Linz www.numa.uni-linz.ac.at This work has been supported by the Austrian Science Foundation Fonds zur Förderung
More informationNEWTON-GMRES PRECONDITIONING FOR DISCONTINUOUS GALERKIN DISCRETIZATIONS OF THE NAVIER-STOKES EQUATIONS
NEWTON-GMRES PRECONDITIONING FOR DISCONTINUOUS GALERKIN DISCRETIZATIONS OF THE NAVIER-STOKES EQUATIONS P.-O. PERSSON AND J. PERAIRE Abstract. We study preconditioners for the iterative solution of the
More informationIntroduction to Scientific Computing II Multigrid
Introduction to Scientific Computing II Multigrid Miriam Mehl Slide 5: Relaxation Methods Properties convergence depends on method clear, see exercises and 3), frequency of the error remember eigenvectors
More informationA multigrid method for large scale inverse problems
A multigrid method for large scale inverse problems Eldad Haber Dept. of Computer Science, Dept. of Earth and Ocean Science University of British Columbia haber@cs.ubc.ca July 4, 2003 E.Haber: Multigrid
More informationA Robust Preconditioned Iterative Method for the Navier-Stokes Equations with High Reynolds Numbers
Applied and Computational Mathematics 2017; 6(4): 202-207 http://www.sciencepublishinggroup.com/j/acm doi: 10.11648/j.acm.20170604.18 ISSN: 2328-5605 (Print); ISSN: 2328-5613 (Online) A Robust Preconditioned
More information