Multilevel Preconditioning of Graph-Laplacians: Polynomial Approximation of the Pivot Blocks Inverses

Transcription

1 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, Uppsala, Sweden IICT BAS, Acad. G. Bonchev Str., bl. 5A, 1113 Sofia, Bulgaria 3 IMI BAS, Acad. G. Bonchev Str., bl Sofia, Bulgaria 4 RICAM AAS, Altenbergerstraße 69, A-4040 Linz, Austria 5 Department of Mathematics, Penn State, University Park, PA 1680, USA Abstract We consider the discrete system resulting from mixed finite element approximation of a second-order elliptic boundary value problem with Crouzeix-Raviart nonconforming elements for the vector valued unknown function and piece-wise constants for the scalar valued unknown function. Since the mass matrix corresponding to the vector valued variables is diagonal, these unknowns can be eliminated exactly. Thus, the problem of designing an efficient algorithm for the solution of the resulting algebraic system is reduced to one of constructing an efficient algorithm for a system whose matrix is a graph-laplacian (or weighted graph-laplacian). We propose a preconditioner based on an algebraic multilevel iterations (AMLI) algorithm. The hierarchical two-level transformations and the corresponding block splittings of the graph-laplacian needed in an AMLI algorithm are introduced locally on macroelements. Each macroelement is associated with an edge of a coarser triangulation. To define the action of the preconditioner we employ polynomial approximations of the inverses of the pivot blocks in the splittings. Such approximations are obtained via the best polynomial approximation of Ü 1 in Ľ norm on a finite interval. Our construction provides sufficient accuracy and moreover, guarantees that each pivot block is approximated by a positive definite matrix polynomial. One possible application of the constructed efficient preconditioner is in the numerical solution of unsteady Navier-Stokes equations by a projection method. It can also be used to design efficient solvers for problems corresponding to other mixed finite element discretizations. Keywords: preconditioning AMLI polynomial matrix approximation 1

2 1 Introduction Let us consider the elliptic problem in mixed form: Ù + ÖÔ = in Ω Ö Ù = 0 in Ω Ù Ò = 0 on Ω (1) where Ω is a convex polygonal domain in IR, is a given smooth vector valued function, Ò is the outward unit normal vector to the boundary. We refer to the vector valued unknown function Ù as a velocity and to the scalar valued unknown Ô as a pressure. The preconditioner that we construct is for the finite element (FE) discretization with Crouzeix- Raviart elements for Ù and piece-wise constants for Ô. It is known that such choice of spaces is stable (see [4]), and such spaces are used as a discretization in a projection method for Navier-Stokes equations (see e.g. []). The Crouzeix-Raviart mass matrix is diagonal and the velocity unknowns can be eliminated exactly (see e.g. [8]). The matrix of the reduced system for the pressure is a weighted graph-laplacian. We consider -D uniform mesh of right-angled triangles. Then A corresponds to the T-shaped four point stencil shown in Fig Figure 1: Schur complement four point stencil for the pressure We propose a preconditioner for the weighted graph-laplacian system based on algebraic multilevel iterations (AMLI) method. The framework for this method was originally introduced in [1] (see also [10], [6]). AMLI is a recursive generalization of two-level preconditioners that has optimal computational complexity due to a proper Schur complement stabilization using Chebyshev polynomials. We consider a sequence of nested triangulations Ì 0 Ì 1 Ì Ð of the domain Ω, constructed by recursive uniform refinement of a given initial mesh. We denote by (0) (1) (Ð) the corresponding system matrices. Regarding a hierarchical x block partitioning of the system matrix () at a refinement level, () = Â () () Â ()Ì = () () 11 1 () () 1 degrees of freedom added by refinement coarse mesh degrees of freedom the AMLI preconditioner is defined as follows: (0) = (0) at the coarsest mesh level with index 0,

3 () = Â () 1 () 11 0 () 1 () Á ( 1) Á () 1 Â () Ì at successively refined levels, where () 11 are symmetric positive definite approximations of () 11 that satisfy Ú Ì () 11 Ú ÚÌ () 11 Ú (1 + )ÚÌ () 11 Ú for all Ú () É 1 ( 1) 1 ( 1) ( 1) 1, where É 1 is a properly chosen polyno- ( 1) 1 and = mial of degree 1. It is known that under conditions, detailed in [1], the relative condition number satisfies ( (Ð) 1 (Ð) ) (1 + )(1 ), where is the Cauchy-Bunyakowski-Schwarz (CBS) constant, that characterizes the two-level hierarchical partitionings. For the case = the coefficients Õ 0 and Õ 1 of the optimal stabilization polynomial É 1 (Ý) = Õ 0 + Õ 1 Ý, which has to be evaluated in the AMLI W-cycle, are given by (see [1, 5]): Õ 0 = Õ 1 = (1 ) with = Ô (3) In this article we propose and justify the use of polynomial approximation of the pivot blocks inverses ( () 11 ) 1 in the AMLI setting for weighted graph-laplacians, that yields good optimal order preconditioned conjugate gradient (PCG) convergence rates. The rest of the paper is organized as follows. In Section we present the general idea of constructing approximation of a matrix inverse, using the best polynomial approximation of Ü 1 in Ä ½ norm on a finite interval. In Section 3 we show how this idea is applied for the pivot block inverses in AMLI method for weighted graph-laplacians. Section 4 is devoted to analysis of the numerical results of applying PCG method with the constructed preconditioner, as well as a comparison with the case when conjugate gradient (CG) iterations are used for solving the pivot block systems in the AMLI algorithm. Concluding remarks and brief summary of the results are found in Section 5. Polynomial approximation of a matrix inverse Let À be Ò Ò symmetric positive definite (SPD) matrix with a set of eigenvalue-eigenvector pairs Ú Ò =1 0 1 Ò. We construct a polynomial approximation (preconditioner) 1 of À 1 (i.e. preconditioner of À) such that 1 = È (À) È ¾ È, and ( 1 À) is close to 1. Theorem.1. Let È (Ü) ¾ È, and 0 Ñ È (Ü)Ü Å for all Ü in an interval Ë [ 1 Ò ] Ë. Then ÑÚ Ì Ú Ú Ì È (À)ÀÚ Å Ú Ì Ú Ú ¾ Ê Ò. 3

4 Proof. For all Ú ¾ Ê Ò, Ú = Ò =1 «Ú, we have: (È (À)ÀÚ Ú) = (È (À)À Å Ò =1 «Ò «Ú Ò =1 =1 = Å(Ú Ú) «Ú ) = Ò =1 È ( ) «The left inequality follows in the same way. We would like to have È (À)À Á, i.e. È (Ü)Ü 1 Ü ¾ Ë. Let us assume that È (Ü) 1Ü Ü ¾ Ë (0 +½). Then 1 Ü È (Ü)Ü 1 + Ü Ü ¾ Ë If we know some estimate of the spectrum of H, i.e., min max = 1 Ò, we can take Ë = [ min max ] and get 1 max È (Ü)Ü 1 + max. In general, if is small enough, or equivalently, the degree of the polynomial is large enough, we have È (Ü)Ü 0 for all Ü ¾ Ë, È (À)À is SPD, and (È (À)À) 1 + max 1 max We define È (Ü) to be the best polynomial approximation of Ü 1 in Ä ½ norm on the finite interval [ ÑÒ ÑÜ ], i.e. 1 Ü 1 È = min È ¾È ½[max min ] Ü È = () ½[max min ] It is known (see e.g. [9, 7]), that for 1 È (Ü) = 1 ( ) 1 + Ü ( 1 ) Ê +1(Ü ) where = 1 max min = max + min max min = + Ô 1 Ê +1 (Ü) = Ì +1 (Ü) + Ì (Ü) + 1 Ì 1 (Ü) and Ì (Ü) ¾ È is the Chebyshev polynomial of degree. The error of best polynomial approximation () is () = 8 ( 1 ) 4

5 A three term recurrence for È (Ü) then exists (see [7]), that let us use the following algorithm for computing È (À): (1 + Æ) È 0 (À) = (1 Æ) Á È 1(À) = + 1 Æ (1 Æ) Á È +1 (À) = [(1 + Æ)Á ]È (À) ÆÈ 1 (À) + Á where = Ô min Ô 4 ( Ô max + Ô min ) Æ = max Ô max + Ô min 3 AMLI with polynomial approximation of the pivot blocks inverses for weighted graph-laplacians We examine the case of two space dimensions and uniform mesh of right-angled triangles for the discretization of (1). Each refined mesh is obtained by dividing the current triangles in four congruent ones by connecting the midpoints of the sides. We define the hierarchical two-level transformation and corresponding splitting of the related graph-laplacian for the reduced pressure system locally for macroelements associated with the edges of the coarse triangulation. We define () using a weight parameter Ø ¾ (0 1) so that the contribution of the links between the interior nodes among the (macroelement) edge matrices of the current coarse triangle are distributed correctly. Following the numbering from Fig., we introduce the local (macroelement) matrix (), corresponding to a hypotenuse, in the form: () = () ;À = ¾ Ø+1 Ø Ø Ø The local (macroelement) matrix () 5 Ø 5 Ø Ø+1 Ø Ø Ø 5 Ø 5 Ø = () ;, corresponding to a cathetus, is introduced 5

6 Figure : Macroelement of two adjacent coarse triangles with a common hypotenuse in a similar way. Then we define the (macroelement) local transformation matrix  ()  () = ¾ Ö Ö Ö Ö Ö Ö Ö Ö where, are parameters. As shown in [3] this two-level hierarchical partitioning complies with the conditions of the main theorem in AMLI theory (see [1]) when Ö = Ô and the AMLI stabilization polynomial degree equals or 3. An estimate for the CBS constant 058 for = 1, = 01 is derived there too. We now examine È ( () 11 ), where È (Ü) is the best polynomial approximation of Ü 1. The hierarchical construction insures that the minimal and maximal eigenvalues of the pivot block do not depend on the problem size (see e.g. [3]). Therefore it is enough to calculate them for a rather coarse mesh and use the obtained values for all. All results presented in this paper on the interval Ë = [ min max ] that contains all eigenvalues of () 11 are for Ë = [ ]. In Fig. 3 the behavior of the error È (Ü) 1Ü for polynomial degrees ¾ 3 4 can be seen. In all cases, there are + alternations that comply with approximation theory. Using Theorem.1, one can verify that Ú Ì () 11 Ú (1 + () max )Ú Ì (È ( () 11 )) 1 Ú (1 + () max ) (1 () max ) ÚÌ () 11 Ú We define () 11 = (1 + () max )(È ( () 11 )) 1, and then = (1 + () max )(1 () max ) 1 (4) 6 as:

7 Figure 3: The error È (Ü) 1Ü for polynomial degrees ¾ Numerical results The presented numerical tests show the convergence behavior of the PCG method to solve the weighted graph-laplacian system for the case of Dirichlet boundary conditions in the unit square Ω = (0 1) (0 1), on a uniform grid with characteristic mesh size. The tests concern the AMLI W-cycle with polynomial approximation for the pivot blocks inverses, as well as a comparison of such preconditioner with an AMLI W-cycle, which uses some CG iterations for the pivot block systems instead. In the presentation of the numerical results we have used the following notation: is the PCG stopping criteria; Ò, = 1 5, denotes the total number of degrees of freedom on the finest grid Ò = Thus, the largest number of fine grid degrees of freedom that we have used in the numerical experiments is Ò 5 = For all the numerical tests the coarsest grid size is = 116, which corresponds to Ò 0 = 51 degrees of freedom. In Tables 1 4 the number of PCG iterations needed to reduce the energy norm of the error by a factor are given. The proposed construction for the system under consideration guarantees that the matrices () 11 are SPD for degree. For the experiments summarized in Table 1 we use the value of as in (4) to calculate the coefficients (3). The convergence behavior for = 3 and = 4 is much better than for = and in these cases the method stabilizes earlier. This is an expected result, since the estimate and the related value of is considerably bigger for =. It is important to note that is a measurement of how well () 11 approximates () 11 and it also affects to a large extend the stabilization properties of the polynomial É 1. The proposed AMLI preconditioner uses the same polynomials for the pivot block systems at each PCG iteration, thus ensuring the linearity of the process and preserving the orthogonality of the search directions. We compare it with the case of an AMLI PCG method that uses some CG iterations for approximate solution of the pivot block systems. There are several specific aspects of such experiments. CG automatically adapts to find the best approximation for a given right-hand side but this means that the matrix polynomial action that corresponds to the specified number of inner CG iterations varies at each PCG iteration. This destroys the linearity of the AMLI method process - an effect that could be taken care of by using generalized conjugate gradient (GCG) method instead of PCG 7

8 Number of PCG iterations = 1 = = 3 = 4 = Table 1: W-cycle preconditioner with polynomial approximation of degree for [ () 11 ] 1. Number of PCG iterations = 1 = = 3 = 4 = Table : W-cycle preconditioner. The approximate action of [ () 11 ] 1 is computed by applying CG iterations. The symbol means that more than 300 PCG iterations were needed to achieve the prescribed error reduction. at the price of more memory and CPU usage. For the results, presented in Table, we assume that we can use for the case of CG pivot block iterations the same estimate for as in the case of polynomial of degree pivot blocks inverses. The symbol used in the tables means that the PCG method did not converge within a limit of 300 iterations. As can be seen, the settings presented in Table do not obtain good results, no stabilization effect is visible and in some cases the process does not converge at all. The experiments presented in Tables 3 and 4 are motivated by observations that we have made from many different numerical tests (see also [5, 6]). As it turns out, a value of = 0 for the proposed AMLI method does not slow down the convergence, but on the contrary, even leads to better stabilization numbers when polynomial pivot approximations are used. The results in Table 4 show a better behavior of the preconditioner than the results in Table. Nevertheless, the polynomial approximation of [ () 11 ] 1 results in much better (more stable) algorithm. 8

9 Number of PCG iterations = 1 = = 3 = 4 = Table 3: W-cycle preconditioner ( = 0) with polynomial approximation of degree for [ () 11 ] 1. Number of PCG iterations = 1 = = 3 = 4 = Table 4: W-cycle preconditioner ( = 0). The approximate action of [ () 11 ] 1 is computed by applying CG iterations. The symbol means that more than 300 PCG iterations were needed to achieve the prescribed error reduction. 5 Concluding remarks The proposed construction for a polynomial matrix approximation leads to a considerable improvement of the conditioning of the system, while providing sufficient accuracy and positive definiteness. Applying such approximation to the pivot blocks inverses in the AMLI preconditioner for weighted graph-laplacians yields a theoretically justified linear PCG algorithm of optimal computational complexity with experimentally confirmed good convergence rates. The studied approach is applicable in a rather general setting of hierarchical multilevel methods where the spectrum of pivot blocks is uniformly bounded with respect to the number of the refinement levels. 9

10 6 Acknowledgments Research has been partially supported by the Bulgarian NSF Grants DO 0-338/08 and DO 0-147/08, and by the Austrian Science Fund, Grant P989-N18. The work of the fourth author has been supported in part by the US National Science Foundation, Grants DMS , and OCI References [1] Axelsson, O., Vassilevski, P. S., Algebraic multilevel preconditioning methods. II. SIAM J. Numer. Anal. 7 (6), [] Bejanov, B., Guermond, J.-L., Minev, P. D., 005. A locally DIV-free projection scheme for incompressible flows based on non-conforming finite elements. Internat. J. Numer. Methods Fluids 49 (5), [3] Boyanova, P., Margenov, S., 009. Multilevel splitting of weighted graph-laplacian arising in non-conforming mixed FEM elliptic problems. In: Margenov, S., Vulkov, L., Wasniewski, J. (Eds.), Numerical Analysis and Its Applications. Vol of Lecture Notes in Computer Science. Springer, pp [4] Brezzi, F., Fortin, M., Mixed and hybrid finite element methods. Vol. 15 of Springer Series in Computational Mathematics. Springer-Verlag, New York. [5] Georgiev, I., Kraus, J., Margenov, S., 008. Multilevel preconditioning of rotated bilinear non-conforming FEM problems. Comput. Math. Appl. 55 (10), [6] Kraus J., Margenov S., 009. Robust Algebraic Multilevel Methods and Algorithms. Radon Series Comp. Appl. Math., vol. 5. [7] Kraus J., Pillwein V., Zikatanov L., 009. Algebraic multilevel iteration methods and the best approximation to 1/x in the uniform norm. RICAM Technical report no [8] Margenov, S., Minev, P., 007. On a MIC(0) preconditioning of non-conforming mixed FEM elliptic problems. Math. Comput. Simulation 76 (1-3), [9] Rivlin, T. J., An introduction to the approximation of functions. Dover Publications Inc., New York, corrected reprint of the 1969 original, Dover Books on Advanced Mathematics. [10] Vassilevski, P. S., 008. Multilevel block factorization preconditioners. Springer, New York, matrix-based analysis and algorithms for solving finite element equations. 10