A Multigrid Tutorial part two

Transcription

1 A Multigrid Tutorial part two William L. Briggs Department of Matematics University of Colorado at Denver Van Emden Henson Center for Applied Scientific Computing Lawrence Livermore National Laboratory Steve McCormick Department of Applied Matematics University of Colorado at Boulder Tis work was performed, in part, under te auspices of te United States Department of Energy by University of California Lawrence Livermore National Laboratory under contract number W-7405-Eng-48. UCRL-VG-3689 Pt

2 Outline Nonlinear Problems Neumann Boundary Conditions Anisotropic Problems Variable Mes Problems Variable Coefficient Problems Algebraic Multigrid of 04

3 Nonlinear Problems How sould we approac te nonlinear system A ( u) = and can we use multigrid to solve suc a system? f A fundamental relation we ve relied on, te residual equation A u Av = f Av Ae = does not old, since, if A(u) is a nonlinear operator, A ( u) A( v) A( e) r 3 of 04

4 Te Nonlinear Residual Equation We still base our development around te residual equation, now te nonlinear residual equation: A ( u) = A ( u) A( v) = f A( v) f A ( u) A( v) = r How can we use tis equation as te basis for a solution metod? 4 of 04

5 Let s consider Newton s Metod Te best known and most important metod for solving nonlinear equations! We wis to solve F(x) = 0. Expand F in a Taylor series about x : F( x + s) = F( x) + sf (x) + s F ( ξ) Dropping iger order terms, if x+s is a solution, 0 = F( s) + sf ( x) s = F( x) / F ( x) Hence, we develop an iteration F( x) x x F ( x) 5 of 04

6 6 of 04 Newton s metod for systems We wis to solve te system A(u) = 0. In vector form tis is Expanding A(v+e) in a Taylor series about v : u u u f u u u f u u u f u A = ),,, ( ),,, ( ),,, ( = ) ( N N N N e v J v A e v A + ) ( + ) ( = ) + ( iger order terms

7 Newton for systems (cont.) Were J(v) is te Jacobian system f J( v ) = f N u u f u f u N f f f u u u N If u=v+e is a solution, 0 = A(v) + J(v) e and f N u f N u N u = v e = J( v) A( v) Leading to te iteration v v J( v) A( v) 7 of 04

8 Newton s metod in terms of te residual equation Te nonlinear residual equation is A ( v + e) A( v) = r Expanding A(v+e) in a two-term Taylor series about v : A ( v) + J( v) e A( v) = J ( v) e = r r Newton s metod is tus: r = f A( v) v v + J( v) r 8 of 04

9 How does multigrid fit in? One obvious metod is to use multigrid to solve J(v)e = r at eac iteration step. Tis metod is called Newton-multigrid and can be very effective. However, we would like to us multigrid ideas to treat te nonlinearity directly. Hence, we need to specialize te multigrid components (relaxation, grid transfers, coarsening) for te nonlinear case. 9 of 04

10 Wat is nonlinear relaxation? Several of te common relaxation scemes ave nonlinear counterparts. For A(u)=f, we describe te nonlinear Gauss-Seidel iteration: For eac =,,, N Set te t component of te residual to zero and solve for v. Tat is, solve (A(v)) = f. Equivalently, For eac =,,, N Find s R suc tat ( A( v + s ε ) ) = f were ε is te canonical t unit basis vector 0 of 04

11 of 04 How is nonlinear Gauss-Seidel done? Eac is a nonlinear scalar equation for v. We use te scalar Newton s metod to solve! Example: may be discretized so tat is given by Newton iteration for v is given by = ) ) ( ( f v A, = ) ( + ) ( f e x u x u x u ) ( = ) ) ( ( f v A = + + f e v v v v v + N v e f e v v v v v v v v ) + (

12 How do we do coarsening for nonlinear multigrid? Recall te nonlinear residual equation A ( v + e) A( v) = In multigrid, we obtain an approximate solution v on te fine grid, ten solve te residual equation on te coarse grid. Te residual equation on appears as Ω A ( v + e ) A ( v ) = r r of 04

13 3 of 04 Look at te coarse residual equation We must evaluate te quantities on in Given v, a fine-grid approximation, we restrict te residual to te coarse grid For v we restrict v by Tus, Ω r v A e v A = ) ( ) + ( v A f I r ) ) ( ( = v I v = v A f I v I A e v I A ) ) ( ( + ) ( = ) + (

14 We ve obtained a coarse-grid equation of te form A ( u ) = f. Consider te coarse-grid residual equation: A I v e ( A I v I f A v + ) = ( ) + ( ( ) ) u f coarse-grid unknown All quantities are known We solve A ( u ) = f for = I v e and obtain e u = I v We ten apply te correction: v = v + I e u + 4 of 04

15 FAS, te Full Approximation Sceme, two grid form Perform nonlinear relaxation on A ( u ) = f to obtain an approximation v. Restrict te approximation and its residual v r = I ( f A( v ) ) = I v Solve te coarse-grid residual problem A ( u) = A ( v) + r Extract te coarse-grid error = u v e Interpolate and apply te correction v + = v I e 5 of 04

16 A few observations about FAS If A is a linear operator ten FAS reduces directly to te linear two-grid correction sceme. A fixed point of FAS is an exact solution to te finegrid problem and an exact solution to te fine-grid problem is a fixed point of te FAS iteration. 6 of 04

17 A few observations about FAS, continued Te FAS coarse-grid equation can be written as A u ( ) = f + τ were τ is te so-called tau correction. τ 0 u In general, since, te solution to te FAS coarse-grid equation is not te same as te solution to te original coarse-grid problem. A ( u Te tau correction may be viewed as a way to alter te coarse-grid equations to enance teir approximation properties. ) = f 7 of 04

18 Still more observations about FAS FAS may be viewed as an inner and outer iteration: te outer iteration is te coarse-grid correction, te inner iteration te relaxation metod. A true multilevel FAS process is recursive, using FAS to solve te nonlinear Ω problem using Ω 4. Hence, FAS is generally employed in a V- or W- cycling sceme. 8 of 04

19 And yet more observations about FAS! For linear problems we use FMG to obtain a good initial guess on te fine grid. Convergence of nonlinear iterations depends critically on aving a good initial guess. Wen FMG is used for nonlinear problems te interpolant I u is generally accurate enoug to be in te basin of attraction of te fine-grid solver. Tus, one FMG cycle, weter FAS, Newton, or Newton-multigrid is used on eac level, sould provide a solution accurate to te level of discretization, unless te nonlinearity is extremely strong. 9 of 04

20 Intergrid transfers for FAS Generally speaking, te standard operators (linear interpolation, full weigting) work effectively in FAS scemes. In te case of strongly nonlinear problems, te use of iger-order interpolation (e.g., cubic interpolation) may be beneficial. I For an FMG sceme, were u is te interpolation of a coarse-grid solution to become a fine-grid initial guess, iger-order interpolation is always advised. 0 of 04

21 Wat is in FAS? As in te linear case, tere are two basic possibilities: A ( u ) is determined by discretizing te nonlinear operator A(u) in te same fasion as was employed to obtain A ( u ), except tat te coarser mes spacing is used. A ( u ) A ( u ) is determined from te Galerkin condition A ( u ) = I A ( u ) I were te action of te Galerkin product can be captured in an implementable formula. Te first metod is usually easier, and more common. of 04

22 Nonlinear problems: an example Consider u( x, y) + γu( x, y) e u( x, y) = f ( x, y) on te unit square [0,] x [0,] wit omogeneous Diriclet boundary conditions and a regular Cartesian grid. Suppose te exact solution is u( x, y) = (x x 3 ) sin ( 3π y) of 04

23 Discretization of nonlinear example Te operator can be written (sloppily) as u 4 u u e + γ i,, i, = i i, f A ( u ) Te relaxation is given by u ( A ( u) ) i, u i, i, 4 + i, f i, u i, γ ( + u ) e 3 of 04

24 FAS and Newton s metod on u( x, y) + γu( x, y) e u( x, y) = f ( x, y) FAS γ convergence factor number of FAS cycles 0 Newton s Metod γ convergence factor 4.00E E E-04.00E-04 number of Newton iterations of 04

25 Newton, Newton-MG, and FAS on u( x, y) + γu( x, y) e u( x, y) = f ( x, y) Newton uses exact solve, Newton-MG is inexact Newton wit a fixed number of inner V(,)-cycles te Jacobian problem, 0 overall stopping criterion r < 0 Outer Inner Metod iterations iterations Megaflops Newton Newton-MG Newton-MG Newton-MG Newton-MG 0.3 Newton-MG FAS 7. 5 of 04

26 Comparing FMG-FAS and FMG-Newton u( x, y) + γu( x, y) e u( x, y) = f ( x, y) We will do one FMG cycle using a single FAS V(,) - cycle as te solver at eac new level. We ten follow tat wit sufficiently many FAS V(,)-cycles as is necessary to obtain r < 0-0. Next, we will do one FMG cycle using a Newtonmultigrid step at eac new level (wit a single linear V(,)-cycle as te Jacobian solver. ) We ten follow tat wit sufficiently many Newton-multigrid steps as is necessary to obtain r < of 04

27 Comparing FMG-FAS and FMG-Newton u( x, y) + γu( x, y) e u( x, y) = f ( x, y) Cycle r e Mflops r e Mflops Cycle FMG-FAS.0E-0.00E E-0.50E-05.4 FMG-Newton FAS V 6.80E-04.40E E-04.49E Newton-MG FAS V 5.00E-05.49E E-05.49E Newton-MG FAS V 3.90E-06.49E E-06.49E Newton-MG FAS V 3.0E-07.49E E-06.49E Newton-MG FAS V 3.00E-08.49E E-07.49E Newton-MG FAS V.90E-09.49E E-07.49E-05.6 Newton-MG FAS V 3.00E-0.49E E-08.49E Newton-MG FAS V 3.0E-.49E E-08.49E Newton-MG 5.50E-09.49E Newton-MG.80E-09.49E Newton-MG 5.60E-0.49E-05. Newton-MG.80E-0.49E-05.8 Newton-MG 5.70E-.49E Newton-MG 7 of 04

28 Outline Nonlinear Problems Neumann Boundary Conditions Anisotropic Problems Variable Mes Problems Variable Coefficient Problems Algebraic Multigrid 8 of 04

29 Neumann Boundary Conditions Consider te (-d) problem u ( x) = f ( x) 0 < x < u ( 0) = u ( ) = 0 We discretize tis on te interval [0,] wit grid spacing x = for =,,, N+. = N + We extend te interval wit two gost points 0 x N- N N+ N+ 9 of 04

30 We use central differences We approximate te derivatives wit differences, using te gost points: N N+ N+ u ( 0) u u Giving te system u ( x ) u + u u + u ( ) u N + u N u + u u + = f 0 N + u = 0 u un + u N = 0 30 of 04

31 Eliminating te gost points Use te boundary conditions to eliminate u, u N + u u = 0 u = u Eliminating te gost points in te =0 and =N+ equations gives te (N+)x(N+) system of equations: u N + u N = 0 u N + = u N u + u u + = f 0 N + u 0 u u N + un + = f = 0 f N + 3 of 04

32 We write te system in matrix form We can write, were A A = u = Note tat is (N+)x(N+), nonsymmetric, and te system involves unknowns and at te boundaries. f A u 0 u N + 3 of 04

33 We must consider a compatibility condition Te problem u ( x) = f ( x), for 0 < x < and wit u ( 0) = u ( ) = 0 is not well-posed! If u(x) is a solution, so is u(x)+c for any constant c. We cannot be certain a solution exists. If one does, it must satisfy 0 u (x) dx = 0 f ( x) dx [u () u (0)] = 0 f ( x) dx 0 = 0 f ( x) dx Tis integral compatibility condition is necessary! If f(x) doesn t satisfy it, tere is no solution! 33 of 04

34 Te well-posed system Te compatibility condition is necessary for a solution to exist. In general, it is also sufficient, wic can be proven tat is a well-beaved x operator in te space of functions u(x) tat ave zero mean. Tus we may conclude tat if f(x) satisfies te compatibility condition, tis problem is well-posed: u ( x) = f ( x) 0 < x < u ( 0) = u ( ) = 0 0 u( x) dx = 0 Te last says tat of all solutions u(x)+c we coose te one wit zero mean. 34 of 04

35 Te discrete problem is not well posed Since all row sums of A are zero, NS( A ) Putting into row-ecelon form sows tat A d im( NS( A ) ) = ence N S( A ) = span ( ) By te Fundamental Teorem of Linear Algebra, T as a solution if and only if f NS ( ( A ) ) A It is easy to sow tat T N S ( ( A ) ) = c( /,,,...,, / ) T Tus, A u = f as a solution if and only if T f c( /,,,...,, / ) Tat is, N f 0 + f + f N + = = 0 35 of 04

36 We ave two issues to consider Solvability. A solution exists iff f NS ( ( A ) T ) Uniqueness. If u solves A u = f so does u + c Note tat if A =(A ) T ten NS( A ) = NS((A ) T ) and solvability and uniqueness can be andled togeter Tis is easily done. Multiply st and last equations by /, giving A = 36 of 04

37 Te new system is symmetric We ave te symmetric system : Solvability is guaranteed by ensuring tat f is ortogonal to te constant vector : u 0 u u u N u N + = A u = f f 0 / f f f N f N + / f N +, = f = 0 = 0 37 of 04

38 Te well-posed discrete system Te (N+3)x(N+) system is: u + u u = f u 0 u f 0 = u N + u N + = N + u i = 0 i = 0 + or, more simply u f N + A u = f =, 0 0 N + (coose te zero mean solution) 38 of 04

39 Multigrid for te Neumann Problem We must ave te interval endpoints on all grids x x 0 x N/ x N x 0 x N / 4 x N / Relaxation is performed at all points, including endpoints: v0 v + f 0 v + + v + v + We add a global Gram-Scmidt step after relaxation on eac level to enforce te zero-mean condition v f v, v, v v N + N + f N + 39 of 04

40 Interpolation must include te endpoints We use linear interpolation: I = / / / / / / / / 40 of 04

41 4 of 04 Restriction also treats te endpoints For restriction, we use, yielding te values f f f = 4 f f f N N N = 4 f f f f + + = I I T ) = (

42 Te coarse-grid operator We compute te coarse-grid operator using te Galerkin condition A = I A I = 0 I A I A ε 0 I ε 0 I ε 0 ε A = 4 4 of 04

43 Coarse-grid solvability Assuming f satisfies f, = 0, te solvability condition, we can sow tat teoretically te coarsegrid problem A u = I ( f A v ) is also solvable. To be certain numerical round-off does not perturb solvability, we incorporate a Gram-Scmidt like step eac time a new rigt-and side f is generated for te coarse grid: f f f,, 43 of 04

44 Neumann Problem: an example Consider te problem u ( x) = x, 0 < x < u ( 0) = u ( ) = 0 x x 3 (c=-/ gives te zero mean solution). 3 wic as u ( x) = + c as a solution for any c grid size average number r e N conv. factor of cycles E E E E E E E E E E E E E E E E of 04

45 Outline Nonlinear Problems Neumann Boundary Conditions Anisotropic Problems Variable Mes Problems Variable Coefficient Problems Algebraic Multigrid 45 of 04

46 Anisotropic Problems All problems considered tus far ave ad as te off-diagonal entries. We consider two situations wen te matrix as two different constant on te off-diagonals. Tese situations arise wen te (-d) differential equation as constant, but different, coefficients for te derivatives in te coordinate directions te discretization as constant, but different, mas spacing in te different coordinate directions 46 of 04

47 We consider two types of anisotropy Different coefficients on te derivatives u xx α discretized on a uniform grid wit spacing. u yy = f Constant, but different, mes spacings: y x = = y = x α N x 47 of 04

48 48 of 04 Bot problems lead to te same stencil + α + + u u u u u u k k k k k k +,,,, +,, u u u u u u k k k k k k α +,,,, +,, A α α + α =

49 Wy standard multigrid fails Note tat A = + α as weak connections in te α α y-direction. MG convergence factors degrade as α gets small. Poor performance at α = 0.. Consider α 0. A Tis is a collection of disconnected -d problems! Point relaxation will smoot oscillatory errors in te x- direction (strong connections), but wit no connections in te y-direction te errors in tat direction will generally be random, and no point relaxation will ave te smooting property in te y-direction. 0 + α 0 49 of 04

50 We analyze weigted Jacobi Te eigenvalues of te weigted Jacobi iteration matrix for tis problem are λ i, l = ω +α sin iπ N +αsin lπ N i 0 k l 0 l 5 i l 50 of 04

51 Two strategies for anisotropy Semicoarsening Because we expect MG-like convergence for te -d problems along lines of constant y, we sould coarsen te grid in te x- direction, but not in te y-direction. Line relaxation Because te te equations are strongly coupled in te x-direction it may be advantageous to solve simultaneously for entire lines of unknowns in te x-direction (along lines of constant y) 5 of 04

52 Semicoarsening wit point relaxation A α = Point relaxation on + α smoots in te x- α direction. Coarsen by removing every oter y-line. Ω Ω We do not coarsen along te remaining y-lines. Semicoarsening is not as fast as full coarsening. Te number of points on Ω is about alf te number of points on Ω, instead of te usual one-fourt. 5 of 04

53 Interpolation wit semicoarsening We interpolate in te -dimensional way along eac line of constant y. Te coarse-grid correction equations are v = v v, k, k +, k v +, k = v +, k + v, k + v +, k 53 of 04

54 Line relaxation wit full coarsening Te oter approac to tis problem is to do full coarsening, but to relax entire lines (constant y) of variables simultaneously. Write A in block form as were c A = D ci ci D ci ci D ci ci ci D α + α = and D = + α + α 54 of 04

55 Line relaxation One sweep of line relaxation consists of solving a tridiagonal system for eac line of constant y. Te kt suc system as te form D v g k = k were vk is te kt subvector of v wit entries ( v k ) = v, k and te kt rigt-and side subvector is α ( g ) = f + ( v k k + v, k,, k + Because D is tridiagonal, te kt system can be solved very efficiently. ) 55 of 04

56 Wy line relaxation works Te eigenvalues of te weigted block Jacobi iteration matrix are λ ω π π = sin i + α sin l i π N N sin + α N i, l l i i l 56 of 04

57 Semicoarsening wit line relaxation We migt not know te direction of weak coupling or it migt vary. Suppose we want a metod tat can andle eiter A = α + α α or A = α + α α We could use semicoarsening in te x-direction to andle A and line relaxation in te y-direction to take care of. A 57 of 04

58 Semicoarsening wit line relaxation Te original grid Original grid viewed as a stack of pencils. Line relaxation is used to solve problem along eac pencil. Coarsening is done by deleting every oter pencil 58 of 04

59 An anisotropic example u α u = Consider xx yy wit u=0 on te boundaries of te unit square, and stencil given by A Suppose f ( x, y) = ( y y ) + α(x x ) so te exact solution is given by u( x, y) = (y y )(x x ) f α = + α α Observe tat if α is small, te x-direction dominates wile if α is large, te y-direction dominates 59 of 04

60 Wat is smoot error? Consider α=0.00 and suppose point Gauss-Seidel is applied to a random initial guess. Te error after 50 sweeps appears as: Error along line of constant x y x Error along line of constant y 60 of 04

61 We experiment wit 3 metods Standard V(,)-cycling, wit point Gauss-Seidel relaxation, full coarsening, and linear interpolation Semicoarsening in te x-direction. Coarse and fine grids ave te same number of points in te y- direction. -d full weigting and linear interpolation are used in te x-direction, tere is no y-coupling in te intergrid transfers Semicoarsening in te x-direction combined wit line relaxation in te y-direction. -d full weigting and interpolation. 6 of 04

62 Wit semicoarsening, te operator must cange To account for unequal mes spacing, te residual and relaxation operators must use a modified stencil A = α y x x + α y y Note tat as grids become coarser, grows wile y remains constant. x x 6 of 04

63 How do te 3 metods work for various values of α? Asymptotic convergence factors: sceme E-04 V(,)-cycles emicoarsening in x semic / line relax α y-direction strong x-direction strong Note: semicoarsening in x works well for α <.00 but degrades noticeably even at α =. 63 of 04

64 A semicoarsening subtlety Suppose α is small, so tat semicoarsening in x is used. As we progress to coarser grids, x gets small but remains constant. y x If, on some coarse grid, becomes comparable to α y, te problem effectively becomes recoupled in te y-direction. Continued semicoarsening can produce artificial anisotropy, strong in te y-direction. Wen tis occurs, it is best to stop semicoarsening and continue wit full coarsening on any furter coarse grids. 64 of 04

65 Outline Nonlinear Problems Neumann Boundary Conditions Anisotropic Problems Variable Mes Problems Variable Coefficient Problems Algebraic Multigrid 65 of 04

66 Variable Mes Problems Non-uniform grids are commonly used to accommodate irregularities in problem domains Consider ow we migt approac te -d problem u ( x) = f ( x) 0 < x < u( 0) = u( ) = 0 posed on tis grid: x = 0 x = x 0 x x x + x N 66 of 04

67 We need some notation for te mes spacing Let N be a positive integer. We define te spacing interval between and : x x + + / x + x = 0,,...,N + / x 0 x x x + x N 67 of 04

68 We define te discrete differential operator Using second order finite differences (and plugging troug a mess of algebra!) we obtain tis discrete representation for te problem: α u +(α +β ) u β u + u 0 = u N = 0 = f N were α = / ( / + + / ) β = + / ( / + + / ) 68 of 04

69 We modify standard multigrid to accommodate variable spacing We coose every second fine-grid point as a coarse-grid point x 0 x x N x 0 x x N / We use linear interpolation, modified for te spacing. If v = I, ten for v N/ v = v v + = + 3/ v + + / v + + / + + 3/ 69 of 04

70 We use te variational properties A to derive restriction and. A = I A I I = ( I ) T Tis produces a stencil on Ω tat is similar, but not identical, to te fine-grid stencil. If te resulting system is scaled by ( / + + / ), ten te Galerkin product is te same as te fine-grid stencil. For -d problems tis approac can be generalized readily to logically rectangular grids. However, for irregular grids tat are not logically rectangular, AMG is a better coice. 70 of 04

71 Outline Nonlinear Problems Neumann Boundary Conditions Anisotropic Problems Variable Mes Problems Variable Coefficient Problems Algebraic Multigrid 7 of 04

72 Variable coefficient problems A common difficulty is te variable coefficient problem, given in -d by (a( x) u ( x)) = f ( x) 0 < x < u( 0) = u( ) = 0 were a(x) is a positive function on [0,] We seek to develop a conservative, or self-adoint, metod for discretizing tis problem. Assume we ave available to us te values of a(x) at te midpoints of te grid a + / a( x + / ) x 0 x x x + x N 7 of 04

73 We discretize using central differences We can use second-order differences to approximate te derivatives. To use a grid spacing of we evaluate a(x)u (x) at points midway between te gridpoints: ( a( x) u (x)) x ( au ) x + / (au ) x / + O( ) Points used to evaluate (au ) at x x 0 x x x + x N 73 of 04

74 We discretize using central differences To evaluate ( au ) x + / we must sample a(x) at te point and use second order differences: x + / ( au ) x + / a + / u + u were a + / a( x + / ) ( au ) x / a / u u Points used to evaluate u at x + / Points used to evaluate (au ) at x x 0 x x x + x N 74 of 04

75 Te basic stencil is given We combine te differences for u and for (au ) to obtain te operator (a( x ) u ( x )) ( x ) a + / u + u + a / u u and te problem becomes, for (a / u +(a / + a + / ) u a + / u + ) = f u 0 = u N = 0 N 75 of 04

76 Coarsening te variable coefficient problem A reasonable approac is to use a standard multigrid algoritm wit linear interpolation, full weigting, and te stencil were A = ( a ( ) / a / + a + / a + / a + / + a + 3/ a + / = ) Te same stencil can be obtained via te Galerkin relation 76 of 04

77 Standard multigrid degrades if a(x) is igly variable It can be sown tat te variable coefficient discretization is equivalent to using standard multigrid wit simple averaging on te Poisson problem on a certain variable-mes spacing. -(a(x)u ) = f -u (x) = f But simple averaging won t accurately represent smoot components if is close to but far from. x + x x + x x + x + x x + 77 of 04

78 One remedy is to apply operator interpolation Assume tat relaxation does not cange smoot error, so te residual is approximately zero. Applying at yields x + a + / e +(a + / + a + 3/ ) e + a + 3/ e + = 0 Solving for e + e + = a + / e + a + 3/ e + a + / + a + 3/ 78 of 04

79 Tus, te operator induced interpolation is v = v v + = a + / v + a + 3/ v + a + / + a + 3/ And, as usual, te restriction and coarse-grid operators are defined by te Galerkin relations A = I A I I = c( I ) T 79 of 04

80 A Variable coefficient example We use V(,) cycle, full weigting, linear interpolation. We use a( x) = ρ sin( k π x ) and a( x) = ρ rand ( k π x) ρ a( x) = ρ sin( k π x ) a( x) = ρ rand ( k π x) k=3 k=5 k=50 k=00 k=00 k= of 04

81 Outline Nonlinear Problems Neumann Boundary Conditions Anisotropic Problems Variable Mes Problems Variable Coefficient Problems Algebraic Multigrid 8 of 04

82 Algebraic multigrid: for unstructured-grids Automatically defines coarse grid AMG as two distinct pases: setup pase: define MG components solution pase: perform MG cycles AMG approac is opposite of geometric MG fix relaxation (point Gauss-Seidel) coose coarse grids and prolongation, P, so tat error not reduced by relaxation is in range(p) define oter MG components so tat coarsegrid correction eliminates error in range(p) (i.e., use Galerkin principle) (in contrast, geometric MG fixes coarse grids, ten defines suitable operators and smooters) 8 of

83 AMG as two pases: Setup Pase Select Coarse grids, Ω m +, m =,,... Define interpolation, Im m +, m =,,... Define restriction and coarse-grid operators m + m T m + = m + m Im = ( Im + ) A Im A Im + Solve Pase Standard multigrid operations, e.g., V-cycle, W-cycle, FMG, FAS, etc Note: Only te selection of coarse grids does not parallelize well using existing tecniques! m 83 of

84 AMG fundamental concept: Smoot error = small residuals Consider te iterative metod error recurrence ek + = ( I Q A ) ek Error tat is slow to converge satisfies ( I Q A) e e Q A e 0 r 0 More precisely, it can be sown tat smoot error satisfies r e D «() A 84 of

85 AMG uses strong connection to determine MG components It is easy to sow from () tat smoot error satisfies () A e, e «De, Define i is strongly connected to by ai θ max {aik}, 0 < θ k i For M-matrices, we ave from () a i ei e «e ii i i a e implying tat smoot error varies slowly in te direction of strong connections 85 of

86 Some useful definitions Te set of strong connections of a variable u i, tat is, te variables upon wose values te value of u i depends, is defined as S i = : ai > θ ma x ai i Te set of points strongly connected to a variable is denoted: S i T = { : Si}. Te set of coarse-grid variables is denoted C. Te set of fine-grid variables is denoted F. Te set of coarse-grid variables used to interpolate te value of te fine-grid variable C i is denoted. u i u i 86 of

87 Coosing te Coarse Grid Two Criteria i F (C) For eac, eac point sould eiter be in C or sould be strongly connected to at least one point in C i C S i (C) sould be a maximal subset wit te property tat no two C-points are strongly connected to eac oter. Satisfying bot (C) and (C) is sometimes impossible. We use (C) as a guide wile enforcing (C). 87 of

88 Selecting te coarse-grid points C-point selected (point wit largest value ) Neigbors of C-point become F- points Next C-point selected (after updating values ) F-points selected, etc. 88 of

89 Examples: Laplacian Operator 5-pt FD, 9-pt FE (quads), and 9-pt FE (stretced quads) pt FD 9-pt FE (quads) 9-pt FE (stretced quads) 89 of

90 Prolongation is based on smoot error, strong connections (from M-matrices) Smoot error is given by: F C F r i = aii ei + ai e 0 i N C i F C Prolongation : ei, i C ( Pe) = i ωik ek, i F k C i 90 of

91 F Prolongation is based on smoot error, strong connections (from M-matrices) C F Sets: C i D s i D w i Strongly connected C -pts. Strongly connected F-pts. Weakly connected points. C i F a ii e i C Gives: C Te definition of smoot error, i a a i ii e e i D i s i a i a i e e w i D a i e Strong C Strong F Weak pts. 9 of

92 Finally, te prolongation weigts are defined In te smoot-error relation, use e = ei for weak connections. For te strong F-points use : e = ak ek k C k i C i a k yielding te prolongation weigts: w i = a i a ii + D + n D a s i m C i w i ik a a k a in km 9 of

93 AMG setup costs: a bad rap Many geometric MG metods need to compute prolongation and coarse-grid operators Te only additional expense in te AMG setup pase is te coarse grid selection algoritm AMG setup pase is only 0-5% more expensive tan in geometric MG and may be considerably less tan tat! 93 of

94 AMG Performance: Sometimes a Success Story AMG performs extremely well on te model problem (Poisson s equation, regular grid)- optimal convergence factor (e.g., 0.4) and scalability wit increasing problem size. AMG appears to be bot scalable and efficient on diffusion problems on unstructured grids (e.g., ). AMG andles anisotropic diffusion coefficients on irregular grids reasonably well. AMG andles anisotropic operators on structured and unstructured grids relatively well (e.g., 0.35). 94 of

95 So, wat could go wrong? Strong F-F connections: weigts are dependent on eac oter For point i te value e is interpolated from k, k, and is needed to make te interpolation weigts for approximating e. i For point te value e i is interpolated from k, k, and is needed to make te interpolation weigts for approximating e. It s an implicit system! k k C C i i k 3 C k 4 C i k k C C i 95 of

96 Is tere a fix? A Gauss-Seidel like iterative approac to weigt definition is implemented. Usually two passes suffice. But does it work? Frequently, it does: Convergence factors for Laplacian, stretced quadrilaterals x = 0 y teta Standard Iterative x = 00 y of

97 AMG for systems How can we do AMG on systems? Naïve approac: Block approac (block Gauss-Seidel, using scalar AMG to solve at eac cycle) u v A A ( A ( A A A ) ) Great Idea! Except tat it doesn t work! (relaxation does not evenly smoot errors in bot unknowns) u v ( f ( g = A A f g v) u ) 97 of

98 AMG for systems: a solution To solve te system problem, allow interaction between te unknowns at all levels: k k k k A A I k ( k + ) u A = k k and Ik + = A A 0 ( I 0 k k + ) v Tis is called te unknown approac. Results: -D elasticity, uniform quadrilateral mes: mes spacing Convergence factor of

99 How s it perform (vol I)? Regular grids, plain, old, vanilla problems Te Laplace Operator: Convergence Time Setup Stencil per cycle Complexity per Cycle Times 5-pt pt skew pt (-,8) pt (-,-4,0) Anisotropic Laplacian: ε U xx U yy Epsilon Convergence/cycle of

100 How s it perform (vol II)? Structured Meses, Rectangular Domains 5-point Laplacian on regular rectangular grids Convergence factor (y-axis) plotted against number of nodes (x-axis) of

101 How s it perform (vol III)? Unstructured Meses, Rectangular Domains Laplacian on random unstructured grids (regular triangulations, 5-0% nodes randomly collapsed into neigboring nodes) Convergence factor (y-axis) plotted against number of nodes (x-axis) of

102 How s it perform (vol IV)? Isotropic diffusion, Structured/Unstructured Grids ( grids d( x, y) u) on structured, unstructured N=664 N=66049 N=3755 N=5458 Structured Structured Unstruct. Unstruct. Problems used: a means parameter c=0, b means c=000 6 a 6 b 7 a 7 b 8 a 8 b 9 a 9 b 6: d( x, y) =. 0 + c x y 8: d( x, y). 0 = c 0. 5 max { x 0. 5, y 0. 5 oterwise } : d( x, y) =. 0 c x x > : d( x, y) =. 0 c 0. 5 ( x 0. 5) + ( y 0. 5) oterwise of

103 How s it perform (vol V)? Laplacian operator, unstructured Grids Convergence factor Gridpoints 03 of

104 Outline Nonlinear Problems Neumann Boundary Conditions Anisotropic Problems Variable Mes Problems Variable Coefficient Problems Algebraic Multigrid 04 of 04

105 Multigrid Rules! We conclude wit a few observations: We ave barely scratced te surface of te myriad ways tat multigrid as been, and can be, employed. Wit diligence and care, multigrid can be made to andle many types of complications in a robust, efficient manner. Furter extensions to multigrid metodology are being sougt by many people working on many different problems.