Table of Contents Author Guidelines Submit a Manuscript
The Scientific World Journal
Volume 2013, Article ID 486323, 6 pages
http://dx.doi.org/10.1155/2013/486323
Research Article

Incomplete Augmented Lagrangian Preconditioner for Steady Incompressible Navier-Stokes Equations

1School of Mathematical Sciences, University of Electronic Science and Technology of China, Chengdu, Sichuan 611731, China
2Department of Information and Computational Science, Chengdu Technological University, Chengdu, Sichuan 611730, China

Received 16 July 2013; Accepted 29 August 2013

Academic Editors: I. Altun, S. Amat, and S. Hristova

Copyright © 2013 Ning-Bo Tan et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Abstract

An incomplete augmented Lagrangian preconditioner, for the steady incompressible Navier-Stokes equations discretized by stable finite elements, is proposed. The eigenvalues of the preconditioned matrix are analyzed. Numerical experiments show that the incomplete augmented Lagrangian-based preconditioner proposed is very robust and performs quite well by the Picard linearization or the Newton linearization over a wide range of values of the viscosity on both uniform and stretched grids.

1. Introduction

We consider the numerical solution for large systems of linear equations that arise from the finite element discretization of the incompressible steady-state Navier-Stokes equations governing the flow of viscous Newtonian fluids. The primitive variables formulation of the steady Navier-Stokes equations are where is an open bounded domain with sufficiently smooth boundary , is the time interval of interest, and are the unknown velocity and pressure fields, is the kinematic viscosity, is the vector Laplacian, is the gradient, div the divergence, and , , and are given functions.

We refer to [1] for an introduction to the numerical solution of the Navier-Stokes equations. Implicit time discretization and linearization of the Navier-Stokes equations by the Picard fixed iteration result in a sequence of steady Oseen problems. Spatial discretization of the steady Oseen problems using LBB-stable finite elements (see [1, 2]) is reduced to a series of large sparse linear systems of equations with the following saddle point matrix structure: with where and represent the discrete velocity and pressure, respectively. This matrix is positive definite, in the sense that is symmetric positive definite.

In the past few years, a considerable amount of work has been spent in developing efficient preconditioners for incompressible flow problems; see [1, 3] for a comprehensive survey. Most of the classical and recent preconditioners are based on approximate block factorization. This class includes a variety of block diagonal and block triangular preconditioners. The crucial ingredient in all these methods is an approximation to the Schur complement. This class includes the pressure convection diffusion (PCD) preconditioner, the least squares commutator (LSC) preconditioner, and their variants [46]. Another approach is based on the Hermitian or skew Hermitian splitting (HSS) (see [710]), and dimensional splitting (DS) of the problem along the components of the velocity field and its relaxed version are introduced in [11, 12]. More recently, preconditioners for incompressible flow problem based on the augmented Lagrangian (AL) reformulation of (2) have been introduced and analyzed in [1317].

The remainder of the paper is organized as follows. In Section 2, we present a new preconditioner based on the incomplete augmented Lagrangian formulation and a study of the spectrum of the preconditioned system. In Section 3, we show the results of a series of numerical experiments indicating that the incomplete augmented Lagrangian-based preconditioner has been implemented efficiently for the steady incompressible Navier-Stokes equations.

2. Incomplete AL-Based Preconditioner for Stable Finite Elements

In this section, we introduce the incomplete AL-base preconditioner for the steady Oseen problem discretized by stable finite element pairs, such as Q2-Q1 or Q2-P1. Here, we consider 2D problems as follows: where , , , and . Thus, with . It is often possible to use augmented Lagrangian techniques to replace the original saddle point system with an equivalent one having the same solution; the original system given in (4) is replaced by incomplete augmented Lagrangian form where , , is SPD, and . For form (5), the incomplete augmented Lagrangian (or IAL for short) preconditioner is defined as follows: where is an approximation to the Schur complement , , , and .   is implicitly defined through its inverse where is the diagonal of the pressure mass matrix .

It is important to note that the preconditioner can be written in factorized form as It follows from the identity that

Theorem 1. Assume that . The preconditioned matrix has an eigenvalue at 1 with multiplicity at least . The remaining eigenvalues are of the matrix where and .

Proof. We have where Therefore, we can see that the eigenvalues of are given by 1 with multiplicity at least , and the remaining eigenvalues are of the matrix .

Lemma 2. Let , , , , and , be positive definite. Then, is positive definite.

Lemma 3. Let and . Let and assume that matrices , , , and are all invertible. Then,

We note that the conditions of Lemma 3 are satisfied if we assume that has full row rank and is positive definite. Hence, the remaining eigenvalues are solutions of the generalized eigenproblem We note that , and Lemma 3 implies Hence, where satisfies the generalized eigenproblem Hence, the nonunit eigenvalues of are given by

Theorem 4. The eigenvalues of are of the form where the 's satisfy the generalized eigenvalue problem .

Since is positive definite, and is SPD (see [1]), we have that the eigenvalues of (17) are enclosed in rectangle contained in the half-plane ; using this result and the relation (19), we can conclude that the same is true of the eigenvalues of . If we denote by and the real and imaginary parts of , respectively, easy manipulations result in the following expressions for the real and the imaginary parts of : The following result is an immediate consequence of Theorem 4.

Theorem 5. The remaining eigenvalues are given by (18), where satisfies (17). The following estimates hold.

Eigenvalue plot of the preconditioned matrices obtained with the incomplete augmented Lagrangian preconditioner is displayed in Figure 1. This plot confirms that, for the incomplete augmented Lagrangian preconditioner, the eigenvalues of the preconditioned matrices are confined to a rectangular region in the half-plane ; that is, and ; note that the appearance of a zero eigenvalue is due to the singularity of the saddle point system (4). In these two examples, corresponding to the viscosities and , it is clear that the incomplete augmented Lagrangian preconditioner produces a favorable eigenvalue distribution, and the plot shows that the remaining nonzero eigenvalues are well separated from the origin.

fig1
Figure 1: Spectrum of the preconditioned matrix, 32 × 32 grid (Q2-Q1 FEM) (a) , (b) .

3. Numerical Experiments

In this section, we will carry out numerical experiments for the linear system coming from the finite element discretization of the two dimensional linearized Stokes and Oseen models of incompressible flow to test the performance of our preconditioner. The test problem is the leaky-lid driven cavity problem generated by the IFISS software package [18]. These experiments were performed in MATLAB on a PC with 2.20 GHz and 2 GB of memory.

Unless otherwise specified, we use right preconditioning with restarted GMRES as the Krylov subspace method, with the maximum subspace dimension set to 30, all these tests are started with an initial guess equal to zero vector. The iteration stops when where is the incomplete augmented Lagrangian system (5) of the residual vector at the th iteration.

We consider the 2D leaky-lid driven cavity problem discretized by the finite elements on uniform grids and stretched grids [1]. The subproblems arising in the application of the incomplete augmented Lagrangian preconditioner are solved by direct methods. We use AMD reordering technique [19, 20] for the degrees of freedom that makes the application of the factorization of and relatively fast.

3.1. The Leaky Lid Driven Cavity Problem Discretized by Q2-Q1 Finite Elements

The comparison is based on two type test problems. The first type problem is the lid driven cavity problem discretized by Q2-Q1 finite elements with linearization by Picard and Newton on a uniform, respectively. The second type is the same problem but discretized on a stretched grid to investigate the influence of nonuniform elements; the numerical experiments are performed using stretched grids with stretch factors 1.2712 for the 16 × 16 grid, 1.1669 for the 32 × 32 grid, 1.0977 for the 64 × 64 grid, and 1.056 for 128 × 128 grid. The stretching is done in both the horizontal and vertical direction, resulting in rather fine grids near the boundaries.

In Tables 1 and 2, we consider the solution of Picard linearization for the lid driven cavity problem discretized on uniform grids and stretched grids, respectively. For viscosity less than or equal to 0.005, from these results we can see that the performance of the incomplete augmented Lagrangian preconditioner is independent of the mesh size and the viscosity; we also can observe that the uniform grid and stretched grid lead to similar numerical results. Moreover, the optimal is grid independent and mild dependent viscosity.

tab1
Table 1: GMRES iterations with incomplete AL preconditioner for steady Oseen problems (uniform grids, Q2-Q1 FEM, and Picard). The optimal is in parentheses.
tab2
Table 2: GMRES iterations with incomplete AL preconditioner for steady Oseen problems (stretched grids, Q2-Q1 FEM, and Picard). The optimal is in parentheses.

Next, we present some results using Newton linearization for the lid driven cavity problem discretized on a uniform grids and stretched grids, respectively. From Tables 3 and 4, it appears that the Newton method gives a similar numerical result on uniform grid and stretched grid, respectively.

tab3
Table 3: GMRES iterations with incomplete AL preconditioner for steady Oseen problems (uniform grids, Q2-Q1 FEM, and Newton). The optimal is in parentheses.
tab4
Table 4: GMRES iterations with incomplete AL preconditioner for steady Oseen problems (stretched grids, Q2-Q1 FEM, and Newton). The optimal is in parentheses.
3.2. The Leaky Lid Driven Cavity Problem Discretized by Q2-P1 Finite Elements

Here, we show results of some tests on problems generated from the discretization using Q2-P1 elements. The preconditioners are tested for a uniform, grid stretched grid, and varying viscosity by Picard or Newton linearization. The numerical results are summarized in Tables 5, 6, 7, and 8. For viscosity not more than 0.005, from these tables we can see again that the convergence rate for the incomplete augmented Lagrangian preconditioner is independent of the mesh size and viscosity; we also can observe that the uniform grid and stretched grid lead to similar numerical results.

tab5
Table 5: GMRES iterations with incomplete AL preconditioner for steady Oseen problems (uniform grids, Q2-P1 FEM, and Picard). The optimal is in parentheses.
tab6
Table 6: GMRES iterations with incomplete AL preconditioner for steady Oseen problems (stretched grids, Q2-P1 FEM, and Picard). The optimal is in parentheses.
tab7
Table 7: GMRES iterations with incomplete AL preconditioner for steady Oseen problems (uniform grids, Q2-P1 FEM, and Newton). The optimal is in parentheses.
tab8
Table 8: GMRES iterations with incomplete AL preconditioner for steady Oseen problems (stretched grids, Q2-P1 FEM, and Newton). The optimal is in parentheses.
3.3. Results for the Backward Facing Step Problem

In this subsection, we consider the 2D backward facing step problem using uniform grids. For the step problem, the number of cells in the two directions and is unequal. For this problem, the smallest value of the viscosity used is , since the flow is unsteady for . We show this problem because it is a standard benchmark and because we are interested in seeing the effect of a nonsquare domain. From Tables 9, 10, 11, and 12, we observe iteration counts that are essentially independent mesh size and mildly dependent on the viscosity.

tab9
Table 9: GMRES iterations with incomplete AL preconditioner for the steady Oseen in a uniform backward facing step (Q2-Q1 FEM and Picard).
tab10
Table 10: GMRES iterations with incomplete AL preconditioner for the steady Oseen in a uniform backward facing step (Q2-Q1 FEM and Newton).
tab11
Table 11: GMRES iterations with incomplete AL preconditioner for the steady Oseen in a uniform backward facing step (Q2-P1 FEM and Picard).
tab12
Table 12: GMRES iterations with incomplete AL preconditioner for the steady Oseen in a uniform backward facing step (Q2-P1 FEM and Newton).

4. Conclusions

We have introduced a novel incomplete augmented Lagrangian preconditioner for solving saddle point systems that arise from the finite element discretization of the incompressible steady-state Navier-Stokes equations. We prove that the preconditioned matrix has 1 as an eigenvalue of algebraic multiplicity at least (recall that is the number of velocity degrees of freedom), and the remaining are contained in a box . Numerical experiments show that the incomplete augmented Lagrangian preconditioner is very robust and performs quite well by Picard linearization or Newton linearization over a wide range of values of the viscosity. The convergence behavior is also quite good for problem posed on stretched grids.

Acknowledgments

The authors would like to express their thankfulness to the referees for their suggestions while revising this paper. This research is supported by 973 Program (2013CB329404), NSFC (61170309), Chinese Universities Specialized Research Fund for the Doctoral Program (20110185110020), and Sichuan Province Science & Technology Research Project (2012GZX0080).

References

  1. H. C. Elman, D. J. Silvester, and A. J. Wathen, Finite Elements and Fast Iterative Solvers: With Applications in Incompressible Fluid Dynamics, Numerical Mathematics and Scientific Computation, Oxford University Press, Oxford, UK, 2005.
  2. R. Glowinski, Handbook of Numerical Analysis: Numerical Methods for Fluids (Part 3), vol. 9, Elsevier, Amsterdam, The Netherlands, 2003.
  3. M. Benzi, G. H. Golubt, and J. Liesen, “Numerical solution of saddle point problems,” Acta Numerica, vol. 14, pp. 1–137, 2005. View at Publisher · View at Google Scholar · View at Scopus
  4. H. Elman, V. E. Howle, J. Shadid, D. Silvester, and R. Tuminaro, “Least squares preconditioners for stabilized discretizations of the Navier-Stokes equations,” SIAM Journal on Scientific Computing, vol. 30, no. 1, pp. 290–311, 2007. View at Publisher · View at Google Scholar · View at Scopus
  5. H. C. Elman and R. S. Tuminaro, “Boundary conditions in approximate commutator preconditioners for the navier-stokes equations,” Electronic Transactions on Numerical Analysis, vol. 35, pp. 257–280, 2009. View at Google Scholar · View at Scopus
  6. M. A. Olshanskii and Y. V. Vassilevski, “Pressure schur complement preconditioners for the discrete oseen problem,” SIAM Journal on Scientific Computing, vol. 29, no. 6, pp. 2686–2704, 2007. View at Publisher · View at Google Scholar · View at Scopus
  7. Z.-Z. Bai, G. H. Golub, and M. K. Ng, “Hermitian and skew-Hermitian splitting methods for non-Hermitian positive definite linear systems,” SIAM Journal on Matrix Analysis and Applications, vol. 24, no. 3, pp. 603–626, 2003. View at Publisher · View at Google Scholar · View at Scopus
  8. M. Benzi and G. H. Golub, “A preconditioner for generalized saddle point problems,” SIAM Journal on Matrix Analysis and Applications, vol. 26, no. 1, pp. 20–41, 2005. View at Publisher · View at Google Scholar · View at Scopus
  9. M. Benzi and J. Liu, “An efficient solver for the incompressible Navier-Stokes equations in rotation form,” SIAM Journal on Scientific Computing, vol. 29, no. 5, pp. 1959–1981, 2007. View at Publisher · View at Google Scholar · View at Scopus
  10. L. Chan, M. K. Ng, and N. Tsing, “Spectral analysis of the HSS preconditioners,” Numerical Mathematics, vol. 1, pp. 113–137, 2008. View at Google Scholar
  11. M. Benzi and X.-P. Guo, “A dimensional split preconditioner for Stokes and linearized Navier-Stokes equations,” Applied Numerical Mathematics, vol. 61, no. 1, pp. 66–76, 2011. View at Publisher · View at Google Scholar · View at Scopus
  12. M. Benzi, M. Ng, Q. Niu, and Z. Wang, “A relaxed dimensional factorization preconditioner for the incompressible Navier-Stokes equations,” Journal of Computational Physics, vol. 230, no. 16, pp. 6185–6202, 2011. View at Publisher · View at Google Scholar · View at Scopus
  13. M. Benzi and M. A. Olshanskii, “An augmented Lagrangian-based approach to the Oseen problem,” SIAM Journal on Scientific Computing, vol. 28, no. 6, pp. 2095–2113, 2006. View at Publisher · View at Google Scholar · View at Scopus
  14. M. A. Olshanskii and M. Benzi, “An augmented lagrangian approach to linearized problems in hydrodynamic stability,” SIAM Journal on Scientific Computing, vol. 30, no. 3, pp. 1459–1473, 2007. View at Publisher · View at Google Scholar · View at Scopus
  15. M. Benzi, M. A. Olshanskii, and Z. Wang, “Modified augmented Lagrangian preconditioners for the incompressible Navier-Stokes equations,” International Journal for Numerical Methods in Fluids, vol. 66, no. 4, pp. 486–508, 2011. View at Publisher · View at Google Scholar · View at Scopus
  16. M. Benzi and Z. Wang, “Analysis of augmented lagrangian-based preconditioners for the steady incompressible navier-stokes equations,” SIAM Journal on Scientific Computing, vol. 33, no. 5, pp. 2761–2784, 2011. View at Publisher · View at Google Scholar · View at Scopus
  17. M. Benzi and M. A. Olshanskii, “Field-of-values convergence analysis of augmented lagrangian preconditioners for the linearized navier-stokes problem,” SIAM Journal on Numerical Analysis, vol. 49, no. 2, pp. 770–788, 2011. View at Publisher · View at Google Scholar · View at Scopus
  18. H. C. Elman, A. Ramage, and D. J. Silvester, “IFISS: a Matlab toolbox for modelling incompressible flow,” ACM Transactions on Mathematical Software, vol. 33, no. 2, Article ID 1236469, 2007. View at Publisher · View at Google Scholar · View at Scopus
  19. P. R. Amestoy, T. A. Davis, and I. S. Duff, “An approximate minimum degree ordering algorithm,” SIAM Journal on Matrix Analysis and Applications, vol. 17, no. 4, pp. 886–905, 1996. View at Google Scholar · View at Scopus
  20. T. A. Davis, Direct Methods for Sparse Linear Systems, Society for Industrial and Applied Mathematics, Philadelphia, Pa, USA, 2006.