Abstract and Applied Analysis

Volume 2012 (2012), Article ID 520818, 12 pages

http://dx.doi.org/10.1155/2012/520818

## An Oseen Two-Level Stabilized Mixed Finite-Element Method for the 2D/3D Stationary Navier-Stokes Equations

^{1}Institute of Atmospheric Physics, Chinese Academy of Sciences, Beijing 100029, China^{2}School of Applied Science, Beijing Information Science and Technology University, Beijing 100192, China^{3}Graduate University of Chinese Academy of Sciences, Beijing 100049, China^{4}Departement of Geographical Science and Environmental Engineering, Baoji University of Arts and Sciences, Baoji 721007, China

Received 1 December 2011; Accepted 28 January 2012

Academic Editor: Shaher Momani

Copyright © 2012 Aiwen Wang 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

We investigate an Oseen two-level stabilized finite-element method based on the local pressure projection for the 2D/3D steady Navier-Stokes equations by the lowest order conforming finite-element pairs (i.e., and ). Firstly, in contrast to other stabilized methods, they are parameter free, no calculation of higher-order derivatives and edge-based data structures, implemented at the element level with minimal cost. In addition, the Oseen two-level stabilized method involves solving one small nonlinear Navier-Stokes problem on the coarse mesh with mesh size *H*, a large general Stokes equation on the fine mesh with mesh size . The Oseen two-level stabilized finite-element method provides an approximate solution () with the convergence rate of the same order as the usual stabilized finite-element solutions, which involves solving a large Navier-Stokes problem on a fine mesh with mesh size *h*. Therefore, the method presented in this paper can save a large amount of computational time. Finally, numerical tests confirm the theoretical results. Conclusion can be drawn that the Oseen two-level stabilized finite-element method is simple and efficient for solving the 2D/3D steady Navier-Stokes equations.

#### 1. Introduction

There are numerous works devoted to the development of efficient stable mixed finite-element methods for solving the Navier-Stokes equations. It is a well-known fact that the lowest-order conforming elements spaces (linear velocity, constant pressure) and (bilinear velocity, constant pressure), which are the most attractive choice from an implementation point of view, fail to satisfy the inf-sup condition [1]. In order to make full use of these finite-element spaces, some kinds of stabilized finite-element methods for the two- or three-dimensional Stokes flows and two dimensional Navier-Stokes flows appeared in [2–13]. However, these stabilized methods depend on the stabilization parameters, the derivatives of the pressure, the edge-based data structures, and nested mesh. Examples include the local and global pressure jump formulations for the bilinear-constant pair where the constraint is relaxed by using the jumps of the pressure across element interfaces. Moreover, there is no satisfactory way to choose the optimal parameters for any given mesh.

The idea of the stabilized finite-element method based on the local pressure projection is derived from [14] for the Stokes equations. This method differs from existing stabilization techniques and avoids approximation of derivatives, specification of mesh-dependent parameters, interface boundary data structures, and evaluated locally at the element level. This stabilized technique has been extended to solve the two-dimensional Navier-Stokes equation by Wang et al. [15].

In the last two decades, two-level strategy has been studied for efficiently solving the nonlinear partial differential and sometimes also some linear problems. The basic idea of two-level method is to compute an initial approximation on a very coarse mesh (involving the solution of a very small number of nonlinear equations). Moreover, the fine structures are captured by solving one linear system. If we choose the appropriate proportion between the coarse and fine scale, then the two-level stabilized methods have the same convergence rate as the usual stabilized finite-element methods. Some ideas of two-level method can be found in the works of Xu [16, 17], Layton and Tobiska [18], Layton [19], Layton and Lenferink [20], He et al. [21–24], and Li [25].

Recently, He and Li [22] and Li [25] have combined simplified and Newton’s two-level iterative techniques with different stabilized finite-element methods for solving the 2D Navier-Stokes problems. The method we study in this paper is to combine the new stabilized finite-element method in [14] with the two-level method based on the Oseen iterative technique by the lowest-order conforming finite-element pairs and for solving the 2D/3D stationary Navier-Stokes problems. We present theoretical analysis under the assumption of the uniqueness condition. The results of Theorem 4.1 in Section 4 show that if we choose the coarse mesh scale and the fine mesh scale satisfying , the method we study is of the convergence rate of the same order as the usual stabilized finite-element method. However, our method is more simple and efficient. The numerical experiments further confirm the theoretical results.

This paper is organized as follows. In Section 2, an abstract functional setting for the steady Navier-Stokes equations is given, together with some basic notations and assumptions. Section 3 is to recall the stabilized finite-element method based on the local pressure projection [14] for the steady Stokes equations. we borrow the well-posedness and the optimal error estimate of the stabilized finite-element method for the steady Navier-Stokes equations in [15]. In Section 4, the uniform stability and convergence of the Oseen two-level stabilized finite method are proved. In Section 5, a series of numerical experiments is given to illustrate the theoretical results.

#### 2. Functional Setting of the Navier-Stokes Equations

Let be a bounded domain in , assumed to have a Lipschitz continuous boundary and to satisfy a further condition stated in () below. The steady incompressible Navier-Stokes equations are considered as follows: Here and are the velocity and pressure, is the viscosity, and represents the body forces.

For the mathematical setting of problem (2.1)-(2.2), we introduce the following Sobolev spaces: We make a regularity assumption on the Stokes problem as follows.

*Assumption 2.1 (). *For a given and the Stokes problem
we assume that satisfy the following regularity result:
where is the norm of the Sobolev space or , as appropriate, and is a positive constant depending only on , which may stand for different value at its different occurrences. Subsequently, the positive constants and (with or without a subscript) will depend only on the data . Because the norm and seminorm are equivalent on , we use the same notation for them.

Now, the bilinear forms and on and are defined, respectively, by Also, a generalized bilinear form on is defined by Then there hold the following estimates for the bilinear term ([2–4]): for all and constants . Moreover, we define the trilinear form By the above notations and Hölder’s inequality, there hold the following estimates: Also, the Poincare inequality holds: where , and are positive constants depending only on .

For a given , the variational formulation of problem (2.1)-(2.2) reads as follows: find such that The following existence and uniqueness result is classical [26, 27].

Theorem 2.2. *Assume that and satisfy the following uniqueness condition:
**
Then the variational problem (2.14) admits a unique solution such that
*

#### 3. The Stabilized Finite-Element Method

In this section, we focus on the stabilized method proposed by [14] for the Stokes equations. Let be a real positive parameter tending to zero. Finite-element subspace of is characterized by , a partitioning of into triangles, quadrilaterals, tetrahedrons, or hexahedrons , assumed to be regular in the usual sense. The set of all interelement boundaries will be denoted by , and the norm will be endowed as follows: In this paper, the finite element of velocity is defined by setting Then, the finite-element pairs are coupled as follows:

Also, well-known approximation results are presented as follows [26, 27].(H1) Approximation properties(H2) Inverse inequality

Here, is the interpolation operator, and is the -orthogonal projection.

Note that neither of these methods are stable in the standard Babuška-Brezzi sense; triangle or tetrahedron “locks” on regular grids (since there are more discrete incompressibility constraints than velocity degrees of freedom), and the quadrilateral or hexahedron is the most infamous example of unstable mixed method [28]. Obviously, the following Lemma 3.1 manifest the insufficiency of the Babuška-Brezzi condition.

Lemma 3.1 (see [14]). *There exist positive constants and whose values are independent of and such that
*

In order to counterbalance the terms in (3.6) and compensate the inf-sup deficiency of the lowest-order conforming finite-element pairs, the bilinear form can be defined: where the local pressure projection .

Lemma 3.2 (see [14]). *There exist positive constants and whose values are independent of and such that
**
Furthermore, it holds that
*

With the above notations and the choice of the velocity-pressure finite-element spaces , we define the stabilized bilinear form as follows: Then the stabilized discrete variational formulation of the Navier-Stokes problem (2.14) reads as follows: find such that, for all , The stability of the stabilized finite-element method based on the local pressure projection for the Stokes equation is presented as follows.

Theorem 3.3 (see [2, 14]). *Let be the lowest-order conforming finite-element spaces. Assume that
**
hold. Then there exists a positive constant , independent of and satisfying
**
Applying Brouwer's fixed-point theorem, the following theorem can be directly given.*

Theorem 3.4 (see [2, 15]). *Under the assumptions of Theorems 2.2 and 3.3, problem (3.11) admits a unique solution satisfying
*

For simpleness, the Stokes projection is defined by for all , and satisfies [2, 15]

Thus, we can easily obtain the following optimal error estimate for the steady Navier-Stokes equations.

Theorem 3.5 (see [15]). *Under the assumptions of Theorems 2.2 and 3.3, one has
*

#### 4. Oseen Two-Level Stabilized Finite-Element Method

In this section, we will present Oseen two-level stabilized finite-element method and derive optimal bound of the errors. Let and be two real positive parameters tending to 0. Also, a coarse mesh partition of is made as in Section 3, and a fine mesh partition is generated by a mesh refinement process to . The conforming finite-element space pais and based on the partition and , respectively, are constructed in Section 3. The Oseen two-level stabilized finite approximations is applied by using the lowest finite-element pairs and as follows.

*Step I. *Solve the nonlinear Navier-Stokes problem on a coarse mesh: find such that

*Step II. *Solve the linear Stokes problem on a fine mesh: find such that

Obviously, the Oseen two-level stabilized finite-element method admits a unique solution by applying the Lax-Milgram theorem. For convenience, we set , then a sequence of error estimates for the Oseen two-Level errors and are derived as follows.

Theorem 4.1. *Under the assumptions of Theorems 2.2 and 3.3, the Oseen two-level stabilized finite-element scheme (4.1)-(4.2) admits a unique solution such that
*

* Proof. *Subtracting (3.11) from (4.2) yields that
Using (2.10) and taking , then
For the trilinear terms, by (2.11), (2.12), (2.16), and (3.18), we estimate the following
Thanks to (3.14), (4.6), and the relation , it follows that
Then, we deduce from a triangle inequality, (3.18), and (4.7) that

#### 5. Numerical Examples

In this section, we concentrate on the performance of the one-level finite-element method and Oseen two-level finite element method described in this paper.

In order to implement these methods presented in this paper, a suitable choice of local pressure projection is important. The simplest way to accomplish this is to use standard finite-element projection or interpolation operators.

From a practical viewpoint, the main factors in the choice of are simplicity and locality, that is, computation of its action must be done at the element level using only standard nodal data structures. We recall the technique presented in Pavel Bochev [14], which is different from references [29, 30]. For a given node in , let denote its dual volume. Given a function , let be the constant function on that minimizes the functional Then set where denotes the nodal basis of and is the number of nodes in . The action of the operator defined in (5.2) can be computed locally at the element level and has the same properties as the usual Clement interpolation, that is, (3.12) is satisfied. For , the functional in (5.1) further simplifies to where is the constant value of on and is the volume fraction of the element that belongs to the dual cell associated with the node . Minimization of then yields the formula that is, the nodal values of are area weighted averages of the surrounding constant pressure values of .

For the purpose of numerical comparisons, we consider the spatial domain in as and viscosity . The velocity and pressure are designed on the same uniform triangulation of . The exact solution is given by and is determined by (2.1).

For simplicity, the unit square is divided into small squares, where dedicates the number of the partition in each direction. When is the square, . Then the formula (5.4) can be given as follows: where is the number of elements in .

To establish a reference point for the evaluation of the possible impact from the Oseen two-level stabilized finite-element method, we compute the one-level stabilized finite-element method for the steady Navier-Stokes equations on the fine mesh. The Oseen two-level stabilized finite-element solutions are obtained by solving the solution of the stationary Navier-Stokes equations on a coarse mesh and then solving a linear system on a fine mesh with mesh size .

Table 1 shows the relative energy error estimates of the numerical velocity and pressure for these methods. In particular, the results of the one-level stabilized finite-element method are presented on the first line; those of the Oseen two-level stabilized finite-element method with relationship on second line. From Table 1, we find that these two methods have a convergence rate of the same order, as shown in Theorem 4.1. However, the Oseen method is probably two times faster than the one-level stabilized method.

In conclusion, the Oseen two-level stabilized finite-element method is an efficient and potential method for solving the 2D/3D steady Navier-Stokes equation. It is also suitable to solve some practical engineering problems arising in the fluid dynamics. Furthermore, the methods can help to solve the two-dimensional and three-dimensional nonstationary incompressible viscous flows which will be discussed in our further work.

#### Acknowledgments

This work was supported by the Scientific Research Common Program of Beijing Municipal Commission of Education (Grant no. KM201110772019), the National High Technology Research and Development Program of China (Grant no. 2010AA012301), the National Natural Science Foundation of China (Grant nos. 11071193, 641075062, 40821092), the Academic Human Resources Development in Institutions of Higher Learning Under the Jurisdiction of Beijing Municipality (Grant no. PHR201006116), the National Basic Research Program (Grant no. 2010CB951001, 2010CB428403) and Beijing Natural Science Foundation (Grant no. 1122015). The author would like to thank the referees for their valuable comments and suggestions.

#### References

- F. Brezzi and M. Fortin,
*Mixed and Hybrid Finite Element Methods*, vol. 15 of*Springer Series in Computational Mathematics*, Springer, New York, NY, USA, 1991. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - Y. He, A. Wang, and L. Mei, “Stabilized finite-element method for the stationary Navier-Stokes equations,”
*Journal of Engineering Mathematics*, vol. 51, no. 4, pp. 367–380, 2005. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - Y. He and W. Sun, “Stabilized finite element method based on the Crank-Nicolson extrapolation scheme for the time-dependent Navier-Stokes equations,”
*Mathematics of Computation*, vol. 76, no. 257, pp. 115–136, 2007. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - J. Li and Y. He, “A stabilized finite element method based on two local Gauss integrations for the Stokes equations,”
*Journal of Computational and Applied Mathematics*, vol. 214, no. 1, pp. 58–65, 2008. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - M. A. Behr, L. P. Franca, and T. E. Tezduyar, “Stabilized finite element methods for the velocity-pressure-stress formulation of incompressible flows,”
*Computer Methods in Applied Mechanics and Engineering*, vol. 104, no. 1, pp. 31–48, 1993. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - J. Blasco and R. Codina, “Space and time error estimates for a first order, pressure stabilized finite element method for the incompressible Navier-Stokes equations,”
*Applied Numerical Mathematics*, vol. 38, no. 4, pp. 475–497, 2001. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - R. Codina and J. Blasco, “Analysis of a pressure-stabilized finite element approximation of the stationary Navier-Stokes equations,”
*Numerische Mathematik*, vol. 87, no. 1, pp. 59–81, 2000. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - J. Douglas, Jr. and J. P. Wang, “An absolutely stabilized finite element method for the Stokes problem,”
*Mathematics of Computation*, vol. 52, no. 186, pp. 495–508, 1989. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - T. J. R. Hughes, L. P. Franca, and M. Balestra, “A new finite element formulation for computational fluid dynamics. V. Circumventing the Babuška-Brezzi condition: a stable Petrov-Galerkin formulation of the Stokes problem accommodating equal-order interpolations,”
*Computer Methods in Applied Mechanics and Engineering*, vol. 59, no. 1, pp. 85–99, 1986. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - T. J. R. Hughes and L. P. Franca, “A new finite element formulation for computational fluid dynamics. VII. The Stokes problem with various well-posed boundary conditions: symmetric formulations that converge for all velocity/pressure spaces,”
*Computer Methods in Applied Mechanics and Engineering*, vol. 65, no. 1, pp. 85–96, 1987. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - D. Kay and D. Silvester, “A posteriori error estimation for stabilized mixed approximations of the Stokes equations,”
*SIAM Journal on Scientific Computing*, vol. 21, no. 4, pp. 1321–1336, 1999/00. View at Publisher · View at Google Scholar - N. Kechkar and D. Silvester, “Analysis of locally stabilized mixed finite element methods for the Stokes problem,”
*Mathematics of Computation*, vol. 58, no. 197, pp. 1–10, 1992. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - D. J. Silvester and N. Kechkar, “Stabilised bilinear-constant velocity-pressure finite elements for the conjugate gradient solution of the Stokes problem,”
*Computer Methods in Applied Mechanics and Engineering*, vol. 79, no. 1, pp. 71–86, 1990. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - P. B. Bochev, C. R. Dohrmann, and M. D. Gunzburger, “Stabilization of low-order mixed finite elements for the Stokes equations,”
*SIAM Journal on Numerical Analysis*, vol. 44, no. 1, pp. 82–101, 2006. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - A. W. Wang, J. Li, and D. X. Xie, “Stabilization of the lowest-order mixed finite elements based on the local pressure projection for steady Navier-Stokes equations,”
*Chinese Journal of Engineering Mathematics*, vol. 27, no. 2, pp. 249–257, 2010. View at Google Scholar · View at Zentralblatt MATH - J. Xu, “A novel two-grid method for semilinear elliptic equations,”
*SIAM Journal on Scientific Computing*, vol. 15, no. 1, pp. 231–237, 1994. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - J. Xu, “Two-grid discretization techniques for linear and nonlinear PDEs,”
*SIAM Journal on Numerical Analysis*, vol. 33, no. 5, pp. 1759–1777, 1996. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - W. Layton and L. Tobiska, “A two-level method with backtracking for the Navier-Stokes equations,”
*SIAM Journal on Numerical Analysis*, vol. 35, no. 5, pp. 2035–2054, 1998. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - W. Layton, “A two-level discretization method for the Navier-Stokes equations,”
*Computers & Mathematics with Applications*, vol. 26, no. 2, pp. 33–38, 1993. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - W. Layton and W. Lenferink, “Two-level Picard and modified Picard methods for the Navier-Stokes equations,”
*Applied Mathematics and Computation*, vol. 69, no. 2-3, pp. 263–274, 1995. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - Y. He and A. Wang, “A simplified two-level method for the steady Navier-Stokes equations,”
*Computer Methods in Applied Mechanics and Engineering*, vol. 197, no. 17-18, pp. 1568–1576, 2008. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - Y. He and K. Li, “Two-level stabilized finite element methods for the steady Navier-Stokes problem,”
*Computing*, vol. 74, no. 4, pp. 337–351, 2005. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - Y. He, “Two-level method based on finite element and Crank-Nicolson extrapolation for the time-dependent Navier-Stokes equations,”
*SIAM Journal on Numerical Analysis*, vol. 41, no. 4, pp. 1263–1285, 2003. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - Y. N. He, “Two-level Methods based on three corrections for the 2D/3D steady Navier-Stokes equations,”
*International Journal of Numerical Analysis and Modeling*, vol. 2, no. 1, pp. 42–56, 2011. View at Google Scholar - J. Li, “Investigations on two kinds of two-level stabilized finite element methods for the stationary Navier-Stokes equations,”
*Applied Mathematics and Computation*, vol. 182, no. 2, pp. 1470–1481, 2006. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - V. Girault and P.-A. Raviart,
*Finite Element Methods for Navier-Stokes Equations*, vol. 5 of*Springer Series in Computational Mathematics*, Springer, Berlin, Germany, 1986. - R. Temam,
*Navier-Stokes Equations. Theory and Numerical Analysis*, vol. 2 of*Studies in Mathematics and Its Applications*, North-Holland, Amsterdam, The Netherlands, 1977. - R. L. Sani, P. M. Gresho, R. L. Lee, and D. F. Griffiths, “The cause and cure of the spurious pressures generated by certain FEM solutions of the incompressible Navier-Stokes equations. I,”
*International Journal for Numerical Methods in Fluids*, vol. 1, no. 1, pp. 17–43, 1981. View at Publisher · View at Google Scholar - J. Li, Z. X. Chen, and Y. He, “A stabilized multi-level method for non-singular finite volume solutions of the stationary 3D Navier-Stokes equations,”
*Numerische Mathematik*. In press. View at Publisher · View at Google Scholar - J. Li, Y. He, and H. Xu, “A multi-level stabilized finite element method for the stationary Navier-Stokes equations,”
*Computer Methods in Applied Mechanics and Engineering*, vol. 196, no. 29-30, pp. 2852–2862, 2007. View at Google Scholar