arxiv: v1 [math.na] 17 Jan 2017

Transcription

1 CONVERGENCE OF THE MARKER-AND-CELL SCHEME FOR THE INCOMPRESSIBLE NAVIER-STOKES EQUATIONS ON NON-UNIFORM GRIDS T. Gallouët 1, R. Herbin 2, J.-C. Latché 3 and K. Mallem 4 arxiv: v1 [math.na] 17 Jan 2017 Abstract. We prove in this paper the convergence of the Marker And Cell (MAC) scheme for the discretization of the steady-state and time-dependent incompressible Navier-Stokes equations in primitive variables, on non-uniform Cartesian grids, without any regularity assumption on the solution. A priori estimates on solutions to the scheme are proven; they yield the existence of discrete solutions and the compactness of sequences of solutions obtained with family of meshes the space step and, for the time-dependent case, the time step of which tend to zero. We then establish that the limit is a weak solution to the continuous problem AMS Subject Classification. Primary 65M08, 76N15 ; Secondary 65M12, 76N19. The dates will be set by the publisher. Keywords Finite-volume methods, MAC scheme, incompressible Navier-Stokes. Communicated by Douglas N. Arnold. Contents 1. Introduction 1 2. Space discretization 3 3. The steady case The scheme Stability and existence of a solution Convergence analysis The time-dependent case Time discretization Estimates on discrete solutions and existence Convergence analysis Case of the unsteady Stokes equations Appendix: Discrete functional analysis 27 References Introduction Let be an open bounded domain of R d with d = 2 or d = 3. The steady-state incompressible Navier-Stokes equations read: divū = 0 in, (1a) ū+(ū )ū+ p = f in, (1b) ū = 0 on. (1c) Keywords and phrases: Finite-volume methods, MAC scheme, incompressible Navier-Stokes. 1 I2M UMR 7373, Aix-Marseille Université, CNRS, Ecole Centrale de Marseille. 39 rue Joliot Curie Marseille, France. (raphaele.herbin@univ-amu.fr) 2 I2M UMR 7373, Aix-Marseille Université, CNRS, Ecole Centrale de Marseille. 39 rue Joliot Curie Marseille, France. (raphaele.herbin@univ-amu.fr) 3 IRSN, BP 13115, St-Paul-lez-Durance Cedex, France (jean-claude.latche@irsn.fr) 4 I2M UMR 7373, Aix-Marseille Université, CNRS, Ecole Centrale de Marseille. 39 rue Joliot Curie Marseille, France. (khadidja.mallem@univ-amu.fr)

2 2 where ū stands for the (vector-valued) velocity of the flow, p for the pressure and f is a given field of L 2 () d, and where, for two given vector fields v = (v 1,...,v d ) and w = (w 1,...,w d ), the quantity (v )w is a vector field whose components are ((v )w) i = d k=1 v k k w i, i [ 1,d ]. A weak formulation of Problem (1) reads: Find (ū, p) H0 1 ()d L 2 0 () such that, (v,q) H1 0 ()d L 2 0 (), ū : v dx+ ((ū )ū) v dx pdivv dx = f v dx, q divū dx = 0, (2a) (2b) where L 2 0() stands for the subspace of L 2 () of zero mean-valued functions. The time-dependent Navier-Stokes equations are also considered: divū = 0 in (0,T), (3a) t ū ū+(ū )ū+ p = f in (0,T), (3b) ū = 0 on (0,T), (3c) ū(x,0) = u 0 in. (3d) This problem is posed for (x,t) in (0,T) where T R + ; the right-hand side f is now a given vector field of L 2 ( (0,T)) d and the initial datum u 0 belongs to the space E() of divergence-free functions, defined by: E() = { u H 1 0 ()d ; divu = 0 a.e. in }. A weak formulation of the transient problem (3) reads (see e.g. [3]): Find u L 2 (0,T;E()) L (0,T;L 2 () d ) such that, v L 2 (0,T;E()) Cc ( [0,T)), T T ū(x,t) t v(x,t) dx dt u 0 (x) v(x,0) dx+ ū(x,t) : v(x,t) dx dt 0 0 T T + ((ū )ū)(x,t) v(x,t) dx dt = f(x,t) v(x,t) dx dt. 0 0 (4) The Marker-And-Cell (MAC) scheme, introduced in the middle of the sixties [21], is one of the most popular methods [28, 33] for the approximation of the Navier-Stokes equations in the engineering framework, because of its simplicity, its efficiency and its remarkable mathematical properties. The aim of this paper is to show, under minimal regularity assumptions on the solution, that sequences of approximate solutions obtained by the discretization of problem (1)(resp. (3)) by the MAC scheme converge to a solution of (2)(resp. (4)) as the mesh size (resp. the mesh size and the time step) tends (resp. tend) to 0. Forthelinearproblems,thefirsterroranalysisseemstobethatof[29]inthecaseofthetime-dependentStokes equations on uniform square grids. The mathematical analysis of the scheme was performed for the steadystate Stokes equations in [26] for uniform rectangular meshes with H 2 -regularity assumption on the pressure. Error estimates for the MAC scheme applied to the Stokes equations have been obtained by viewing the MAC scheme as a mixed finite element method[19,20] or a divergence conforming DG method [22]. Error estimates for rectangular meshes were also obtained for the related covolume method, see [6] and references therein. Using the tools that were developed for the finite volume theory [11, 12], an order 1 error estimate for non-uniform meshes was obtained in [1], with order 2 convergence for uniform meshes, under the usual regularity assumptions (H 2 for the velocities, H 1 for the pressure). It was recently shown in [24] that under higher regularity assumptions (C 4 for the velocities and C 3 for the pressure) and an additional convergence assumption on the pressure, superconvergence is obtained for non uniform meshes. Note also that the convergence of the MAC scheme for the Stokes equations with a right-hand side in H 1 () was proven in [2]. Mathematical studies of the MAC scheme for the nonlinear Navier-Stokes equations are scarcer. A pioneering work was that of [27] for the steady-state Navier-Stokes equations and for uniform rectangular grids. More recently, a variant of the MAC scheme was defined on locally refined grids and the convergence proof was performed for both the steady-state and time dependent cases in two or three space dimensions [4]. A MAC-like

3 scheme was also studied for the stationary Stokes and Navier-Stokes equations on two-dimensional Delaunay- Voronoï grids [9]. For the Stokes equations on uniform grids, the scheme given in [4] coincides with the usual MAC scheme that is classically used in CFD codes. However, for the Navier-Stokes equations, the nonlinear convection term is discretized in [4] and [9] in a manner reminiscent of what is sometimes done in the finite element framework (see e.g. [32]), which no longer coincides with the usual MAC scheme, even on uniform rectantular grids; this discretization entails a larger stencil, and numerical experiments [5] seem to show that it is not as efficient as the classical MAC scheme. Our purpose here is to analyse the genuine MAC scheme for the steady-state and transient Navier-Stokes equations in primitive variables on a non-uniform rectangular mesh in two or three dimensions, and, as in [4], without any assumption on the data nor on the regularity of the the solutions. The convergence of a subsequence of approximate solutions to a weak solution of the Navier-Stokes equations is proved for both the steady and unsteady case, which yields as a by product the existence of a weak solution, well known since the work of J. Leray [23]. In the case where uniqueness of the solution is known, the whole sequence of approximate solutions can be shown to converge, see remarks 3.14 and 4.4. This paper is organized as follows. In Section 2, the MAC space grid and the discrete operators are introduced. In particular, the velocity convection operator is approximated so as to be compatible with a discrete continuity equation on the dual cells ; this discretization coincides with the usual discretization on uniform meshes [28], contrary to the scheme of [4]. The MAC scheme for the steady state Navier-Stokes equations and its weak formulation are introduced in Section 3. Velocity and pressure estimates are then obtained, which lead to the compactness of sequences of approximate solutions. Any prospective limit is shown to be a weak solution of the continuous problem. Section 4 is devoted to the unsteady Navier-Stokes equations. An essential feature of the studied scheme is that the (discrete) kinetic energy remains controlled. We show the compactness of approximate sequences of solutions thanks to a discrete Aubin-Simon argument, and again conclude that any limit of the approximate velocities is a weak solution of the Navier-Stokes equations, thanks to a passage to the limit in the scheme. In the case of the unsteady Stokes equations, some additional estimates yield the compactness of sequences of approximate pressures; this entails that the approximate pressure converges to a weak solution of the Stokes equations as the mesh size and time steps tend to Space discretization Let be a connected subset of R d consisting in a union of rectangles (d = 2) or orthogonal parallelepipeds (d = 3); without loss of generality, the edges (or faces) of these rectangles (or parallelepipeds) are assumed to be orthogonal to the canonical basis vectors, denoted by (e (1),...,e (d) ). Definition 2.1 (MAC grid). A discretization of with a MAC grid, denoted by D, is defined by D = (M,E), where: M stands for the primal grid, and consists in a conforming structured partition of in possibly non uniform rectangles (d = 2) or rectangular parallelepipeds (d = 3). A generic cell of this grid is denoted by K, and its mass center by x K. The pressure is associated to this mesh, and M is also sometimes referred to as the pressure mesh. The set of all faces of the mesh is denoted by E; we have E = E int E ext, where E int (resp. E ext ) are the edges of E that lie in the interior (resp. on the boundary) of the domain. The set of faces that are orthogonal to e (i) is denoted by E (i), for i [ 1,d ]. We then have E (i) = E (i) int E(i) ext, where E (i) int (resp. E (i) ext) are the edges of E (i) that lie in the interior (resp. on the boundary) of the domain. For σ E int, we write σ = K L if σ = K L. A dual cell D σ associated to a face σ E is defined as follows: - if σ = K L E int then D σ = D K,σ D L,σ, where D K,σ (resp. D L,σ ) is the half-part of K (resp. L) adjacent to σ (see Fig. 1 for the two-dimensional case); - if σ E ext is adjacent to the cell K, then D σ = D K,σ. We obtain d partitions of the computational domain as follows: = σ E (i)d σ, i [ 1,d ], and the i th of these partitions is called i th dual mesh, and is associated to the i th velocity component, in a sense which is clarified below. The set of the faces of the i th dual mesh is denoted by (i) (note that these faces may be orthogonal to any vector of the basis of R d and not only e (i) ) and is decomposed into 3

4 4 the internal and boundary edges: (i) = (i) is denoted by ǫ = σ σ. int (i) ext. The dual face separating two duals cells D σ and D σ To define the scheme, we need some additional notations. The set of faces of a primal cell K and a dual cell D σ are denoted by E(K) and (D σ) respectively. For σ E, we denote by x σ the mass center of σ. The vector n K,σ stands for the unit normal vector to σ outward K. In some case, we need to specify the orientation of a geometrical quantity with respect to the axis: - a primal cell K will be denoted K = [ σσ ] if σ,σ E (i) E(K) for some i [ 1,d ] are such that (x σ x σ ) e (i) > 0; - we write σ = K L if σ E (i) and x K x L e (i) > 0 for some i [ 1,d ] ; - the dual face ǫ separating D σ and D σ is written ǫ = σ σ if x σ x σ e (i) > 0 for some i [ 1,d ]. For the definition of the discrete momentum diffusion operator, we associate to any dual face ǫ a distance d ǫ as sketched on Figure 1. For a dual face ǫ (D σ), σ E (i), i [ 1,d ], the distance d ǫ is defined by: where d(, ) denotes the Euclidean distance in R d. d(x σ,x σ ) if ǫ = σ σ d ǫ = (i) int, (5) d(x σ,ǫ) if ǫ (i) ext, d ǫ2 d ǫ3 K x σ σ d ǫ1 ǫ 1 = σ σ D σ ǫ 2 ǫ 3 σ = K L σ x σ x σ L Figure 1. Notations for control volumes and dual cells (in two space dimensions, for the second component of the velocity). The size h M and the regularity η M of the mesh are defined by: h M = max { diam(k),k M }, (6) { σ η M = max σ, σ E(i), σ E (j), i,j [ 1,d ] }, i j, (7) where stands for the (d 1)-dimensional measure of a subset of R d 1 (in the sequel, it is also used to denote the d-dimensional measure of a subset of R d ). The discrete velocity unknowns are associated to the velocity cells and are denoted by (u σ ) σ E (i), i [ 1,d ], while the discrete pressure unknowns are associated to the primal cells and are denoted by (p K ) K M. The discrete pressure space L M is defined as the set of piecewise constant functions over each of the grid cells K of M, and the discrete i th velocity space H E (i) as the set of piecewise constant functions over each of the grid cells D σ, σ E (i). The set of functions of L M with zero mean value is denoted by L M,0. As in the continuous case,

5 the Dirichlet boundary conditions are (partly) incorporated into the definition of the velocity spaces, by means of the introduction of the spaces H E (i),0 H E (i), i [ 1,d ], defined as follows: { } H E (i),0 = u H E (i), u(x) = 0 x D σ, σ E (i) ext. We then set H E,0 = d i=1 H E,0. Defining the characteristic function 1 (i) A of any subset A by 1 A (x) = 1 if x A and 1 A (x) = 0 otherwise, the d components of a function u H E,0 and a function p L M may then be written: u i = [ ] u σ 1 Dσ, i 1,d and p = K 1 K. σ E K Mp (i) Let us now introduce the discrete operators which are used to write the numerical scheme. Discrete Laplace operator For i [ 1,d ], the i th component of the discrete Laplace operator is defined by: E (i) : H E (i),0 H E (i),0 u i E (i)u i = σ E (i) ( u) σ 1 Dσ, with ( u) σ = 1 D σ ǫ (u σ u σ ), if ǫ = σ σ d (i) int, φ σ,ǫ (u i ) = ǫ ǫ u σ, if ǫ d (i) ext (D σ), ǫ where d ǫ is defined by (5). The numerical diffusion flux is conservative: The discrete Laplace operator of the full velocity vector is defined by ǫ (Dσ) φ σ,ǫ (u i ), φ σ,ǫ (u i ) = φ σ,ǫ(u i ), ǫ = σ σ (i) int. (9) 5 (8) E : H E,0 H E,0 u E u = ( E (1)u 1,..., E (d)u d ). (10) Let us now recall the definition of the discrete H 1 0-inner product [11]: the H 1 0-inner product between u H E,0 and v H E,0 is obtained by taking, for each dual cell, the inner product of the discrete Laplace operator applied to u by the test function v and integrating over the computational domain. A simple reordering of the sums (which may be seen as a discrete integration by parts) yields, thanks to the conservativity of the diffusion flux (9): (u,v) H E,0 H E,0, E u v dx = [u,v] 1,E,0 = with, for i [ 1,d ], [u i,v i ] 1,E (i),0 = ǫ (i) int ǫ=σ σ d [u i,v i ] 1,E,0, (i) i=1 ǫ (u σ u σ ) (v σ v σ )+ d ǫ ǫ (i) ext ǫ (Dσ) ǫ d ǫ u σ v σ. (11) The bilinear forms H E (i),0 H E (i),0 R (u i,v i ) [u i,v i ] 1,E (i),0 and H E,0 H E,0 R (u,v) [u,v] 1,E,0 are inner products on H E (i),0 and H E,0 respectively, which induce the following scalar and vector discrete H 1 0 norms: u i 2 1,E (i),0 = [u i,u i ] 1,E (i),0 = u 2 1,E,0 = [u,u] 1,E,0 = ǫ (i) int ǫ=σ σ d u i 2 1,E (i),0. i=1 ǫ (u σ u σ ) 2 + d ǫ ǫ (i) ext ǫ (Dσ) ǫ d ǫ u 2 σ, for i [ 1,d ], (12a) (12b)

6 6 u σ u σ ǫ D ǫ (ð 1 u 1 ) Dǫ = u σ u σ d ǫ Note that this definition is still valid if σ or σ are external faces (in which case the corresponding velocity is equal to zero). The volumes (D ǫ, for ǫ (1) and ǫ orthogonal to e (1) ) thus form a partion of and the definition is complete. Note also that, in the present case, D ǫ is also a primal cell. u σ D ǫ ǫ ǫ u σ D ǫ u σ D ǫ u σ ǫ (ð 2 u 1 ) Dǫ = u σ u σ d ǫ (ð 2 u 1 ) Dǫ = u σ d ǫ (ð 2 u 1 ) Dǫ = u σ d ǫ Figure 2. Notations for the definition of the partial space derivatives of the first component of the velocity, in two space dimensions. This inner product may also be formulated as the L 2 -inner product of discrete gradients. To this purpose, we introduce d d new partitions of the domain, where the (i,j) th partition consists in an union of rectangles (d = 2) or orthogonal parallelepipeds (d = 3) associated to the dual faces orthogonal to e (j) of the dual mesh (i) for the i th component of the velocity. This (i,j) th partition reads: (D ǫ ) ǫ (i),ǫ e (j), with D ǫ = ǫ [x σ x σ ] if ǫ lies inside, ǫ = σ σ, D ǫ = ǫ [x σ x σ,ǫ ] if ǫ lies on, ǫ (D σ), where x σ,ǫ is defined as the orthogonal projection of x σ on ǫ (which is also, in two space dimensions, the vertex of σ lying on ǫ). The discrete derivative ð j u i is defined on the (i,j) th partition and reads: if ǫ lies inside, ǫ = σ σ, if ǫ lies on, ǫ (D σ), (ð j u i ) Dǫ = u σ u σ, d ǫ (ð j u i ) Dǫ = u σ x σ x σ,ǫ e (j), d ǫ (13) with d ǫ defined by (5). These definitions are illustrated on Figure 2. Note that some of these partitions are the same: the (i,j) th partition coincide with the (j,i) th and (i,i) th partitions are the same for i [ 1,d ]. In addition, these latters also coincide with the primal mesh: for any sub-volume D ǫ of such a partition, there is K M such that D ǫ = K, and we may thus write equivalently (ð i u i ) Dǫ or (ð i u i ) K. We choose this latter notation in the definition of the discrete divergence below for the sake of consistency, since, if we adopt a variational point of view for the description of the scheme, the discrete velocity divergence has to belong (and indeed does belong) to the space of discrete pressures (see Sections 3 and 4 below for a varitional form of the scheme, in the steady and time-dependent case, respectively). The discrete discrete gradient of each velocity

7 component u i may now be defined as: (i)u i = (ð 1 u i,...,ð d u i ) with ð j u i = (ð j u i ) Dǫ 1 Dǫ. (14) 7 ǫ (i) ǫ e (j) With this definition, it is easily seen that (i)ψ (i)χ dx = [ψ,χ] 1,E,0, for ψ,χ H (i) E,0, and i [ 1,d ]. (15) (i) If we extend this definition to the velocity vector by we get This operator satisfies the following consistency result. u = ( (1)u 1,..., (d)u d ), u : v dx = [u,v] 1,E,0. Lemma 2.2 (Consistency ofthe discrete partialderivativesof the velocity). Let Π E be an interpolation operator from C c () d to H E,0 such that, for any ϕ = (ϕ 1,,ϕ d ) C c () d, there exists C ϕ 0 depending only on ϕ such that Π E ϕ = (Π E (1)ϕ 1,,Π E (d)ϕ d ) H E (1),0 H E (d),0, where (Π E (i)ϕ i ) σ ϕ i (x σ ) C ϕ h 2 M, for σ E(i), i [ 1,d ]. (16) Let η M be the parameter measuring the regularity of the mesh defined by (6). Then there exists C ϕ,ηm 0, only depending in a non-decreasing way on η M, such that ð j Π E (i)ϕ i (x) j ϕ i (x) C ϕ,η h M for a.e. x and for i,j [ 1,d ]. As a consequence, if (M m,e m ) m N is a sequence of MAC grids whose regularity is bounded and whose size tends to 0 as m tends to +, then m (Π Em ϕ) ϕ uniformly as m +. Discrete divergence and gradient operators The discrete divergence operator div M is defined by: div M : H E,0 L M,0 Note that the numerical flux is conservative, i.e. u div M u = K M 1 K σ E(K) σ u K,σ 1 K, with u K,σ = u σ n K,σ e (i) for σ E (i) E(K), i [ 1,d ]. (18) We can now define the discrete divergence-free velocity space: (17) u K,σ = u L,σ, σ = K L E int. (19) E E () = { u H E,0 ; div M u = 0 }. The discrete divergence of u = (u 1,...,u d ) H E,0 may also be written as div M u = d (ð i u i ) K 1 K, where the discrete derivative (ð i u i ) K is defined by Relation (13). i=1

8 8 ǫ u K,τ u L,τ u K,σ u K,σ ǫ σ D σ K K D σ L u σ,ǫ = 1 2 (u K,σ u K,σ) ǫ u σ,ǫ = 1 2 ( τ u K,τ + τ u L,τ ) Figure 3. Mass fluxes in the definition of the convection operator for the primal component of the velocity, in two space dimensions. The gradient (which applies to the pressure) in the discrete momentum balance equation is built as the dual operator of the discrete divergence, and reads: E : L M H E,0 p E p = (ð 1 p,...,ð d p), (20) where ð i p H E (i),0 is the discrete derivative of p in the i-th direction, defined by: ð i p(x) = σ D σ (p L p K ) x D σ, for σ = K L E (i) int, i [ 1,d ]. (21) Note that, in fact, the discrete gradient of a function of L M should only be defined on the internal faces, and does not need to be defined on the external faces; it is chosen to be in H E,0 (that is zero on the external faces) for the sake of simplicity. Again, the definition of the discrete derivatives of the pressure on the MAC grid is consistent in the sense made precise in the following lemma. Lemma 2.3 (Discrete gradient consistency). Let Π M be an interpolation operator from C c () to L M such that, for any ψ C c (), there exists C ψ 0 depending only on ψ such that (Π M ψ) K ψ(x K ) C ψ h 2 M, for K M. (22) then there exists C ψ,ηm 0 depending only on ψ and, in a non-decreasing way, on η M, such that ð i Π M ψ(x) i ψ(x) C ψ,η h M, for a.e. x and for i [ 1,d ]. Lemma 2.4 (Discrete div duality). Let q L M and v H E,0 then: q div M v dx+ E q v dx = 0. (23) Proof. Let q L M and v H E,0. By the definition (17) of the discrete divergence operator and thanks to the conservativity (19) of the flux: q div M v dx = K M q K σ E(K) σ v K,σ = Therefore, by the definition (21) of the discrete derivative of q, σ E int,σ=k L σ (q K q L )v K,σ. d q div M v dx = i=1 D σ v σ ð i q = σ E (i) E q v dx, which concludes the proof.

9 Discrete convection operator Let us consider the momentum equation (1b) for the i th component of the velocity, and integrate it on a dual cell D σ, σ E (i). By the Stokes formula, we then need to discretize ǫ (Dσ) ǫ u iu n σ,ǫ dγ(x), where n σ,ǫ denotes the unit normal vector to ǫ outward D σ and dγ(x) denotes the d 1-dimensional Lebesgue measure. For ǫ = σ σ, the convection flux ǫ u iu n σ,ǫ dγ(x) is approximated by ǫ u σ,ǫ u ǫ; usually, u ǫ is chosen as the mean value of the two unknowns u σ and u σ. In some situations (high Reynolds number for instance), an upwind choice may be preferred. The two possible choices that will be considered for u ǫ are thus: 9 u ǫ = uc ǫ = u σ +u σ 2 (centred choice, =c) or u ǫ = uup ǫ = { u σ if u σ,ǫ 0, u σ otherwise, (upwind choice, =up). (24) The quantity ǫ u σ,ǫ is the numerical mass flux through ǫ outward D σ ; it must be chosen carefully to obtain the L 2 -stability of the scheme. More precisely, a discrete counterpart of divu = 0 should be satisfied also on the dual cells. To define u σ,ǫ on internal dual edges, we distinguish two cases (see Figure 3): - First case The vector e (i) is normal to ǫ, and ǫ is included in a primal cell K, with E (i) (K) = {σ,σ }. Then the mass flux through ǫ = σ σ is given by: ǫ u σ,ǫ = 1 2 ( σ u K,σ + σ u K,σ ). (25) Note that, in this relation, all the measures of the face are the same, so this definition equivalently reads u σ,ǫ = ( u K,σ +u K,σ )/2. - Second case The vector e (i) is tangent to ǫ, and ǫ is the union of the halves of two primal faces τ and τ such that σ = K L, τ E(K) and τ E(L). The mass flux through ǫ is then given by: ǫ u σ,ǫ = 1 2 ( τ u K,τ + τ u L,τ ). (26) Again, the numerical flux on a dual face is conservative: u σ,ǫ = u σ,ǫ, for any dual face ǫ = σ σ. (27) Moreover, if div M u = 0, the following discrete free divergence condition holds on the dual cells: ǫ (Dσ) ǫ u σ,ǫ = 1 2 σ E(K) σ u K,σ σ E(L) σ u L,σ = 0. (28) On the external dual faces associated to free degrees of freedom (which means that we are in the second of the above cases), this definition yields u σ,ǫ = 0, which is consistent with the boundary condition (1c). The i-th component C E (i)(u) of the non linear convection operator is defined by: C E (i)(u) : H E (i),0 H E (i),0 v C E (i)(u)v = σ E (i) int 1 D σ ǫ (Dσ) ǫ u σ,ǫ v ǫ 1 Dσ, (29) where v ǫ is chosencentred orupwind, as defined in (24). The full discrete convectionoperatorc E (u), H E,0 H E,0 is defined by C E (u)v = ( C E (1)(u)v 1,...,C E (d)(u)v d ).

10 10 3. The steady case 3.1. The scheme With the notations introduced in the previous sections, the MAC scheme for the discretization of the steady Navier-Stokes equations (1) on a MAC grid (M, E) reads: u H E,0, p L M,0, E u+c E (u)u+ E p = f, div M u = 0. (30a) (30b) (30c) The discrete right-hand side of the momentum balance equation readsf = P E f, where PE is the cell mean-value operator defined by P E v = (P E (1)v 1,,P E (d)v d ) H E (1),0 H E (d),0 and, for i [ 1,d ], P E (i) : L 1 () H E (i),0 v i P E (i)v i = σ E (i) int Let us define the weak form b E of the nonlinear convection term: for (u,v,w) H E,0 H E,0 H E,0, b E (u,v,w) = v σ 1 Dσ with, for σ E (i) int, v σ = 1 v i (x) dx. (31) D σ D σ d b E (i)(u,v i,w i ), i=1 where for i [ 1,d ], b E (i)(u,v i,w i ) = We can now introduce a weak formulation of the scheme, which reads: Find (u,p) H E,0 L M,0 such that, for any (v,q) H E,0 L M, u : v dx+b E (u,u,v) pdiv M v dx = div M u q dx = 0. This formulation is equivalent to the strong form (30). C E (i)(u)v i w i dx. (32) f v dx, Remark 3.1 (Convergence of the MAC scheme for the Stokes problem and the gradient schemes theory). Omitting the convection terms in (33), we obtain a weak formulation of the MAC scheme for the linear Stokes problem. Moreover, formulating the discrete H 1 -inner product as the integral over of dot products of discrete gradients, the MAC scheme can be interpreted as a gradient scheme in the sense introduced in [13] (see [15] and [8] for more details on the generalization of this formulation to other schemes). Thanks to this result, the (strong) convergence of the velocity and of its discrete gradient to the exact velocity and its gradient can be shown, and thus also the strong convergence of the pressure Stability and existence of a solution To prove the scheme stability, it is convenient to first reformulate the trilinear form associated to the velocity convection term. To this purpose, we introduce a reconstruction of the velocity components on the partitions which where used for the definition of the discrete velocity gradient. This leads to define d d class of reconstruction operators, denoted by R (i,j), with R(i,j) acting on the i th component of the velocity and providing a reconstruction of this field on the partition of associated to its j th partial derivative. Definition 3.2 (Velocity reconstructions). Let (M,E) be a given MAC mesh, and let i,j [ 1,d ]. Let R (i,j) be a reconstruction operator defined as follows: R (i,j) : H E (i),0 L 2 () v R (i,j) v = (R (i,j) ǫ (i), ǫ e (j) v) Dǫ 1 Dǫ, (33a) (33b)

11 11 u σ u σ ǫ D ǫ (R (1,1) u 1 ) Dǫ = α ǫ u σ +(1 α ǫ )u σ u σ D ǫ ǫ ǫ u σ D ǫ u σ (R (1,2) u 1 ) Dǫ = α ǫ u σ +(1 α ǫ )u σ (R (1,2) u 1 ) Dǫ = α ǫ u σ Figure 4. Reconstruction of the first component of the velocity, in two space dimensions. First line: R (1,1). Second line: R (1,2), inner dual face (left) and dual face lying on the boundary (right). The real number α ǫ is only supposed to satisfy α ǫ [0,1]. where (R (i,j) v) Dǫ is a convex combination of the (one of two) discrete values of the i th component of the velocity lying on faces of D ǫ (see Figure 4). Such a reconstruction operator satisfies the following stability result. Lemma 3.3 (Stability of the velocity reconstruction operators). Let (M,E) be a given MAC mesh, i,j [ 1,d ], and R (i,j) be a reconstruction operator, in the sense of Definition 3.2. Then, for p [1, + ), there exists C ηm 0, depending only on p and on the parameter η M characterizing the regularity of the mesh defined by (7), and non-decreasing with respect to η M, such that, for any v H E (i),0, R (i,j) v L p () C ηm v L p (). Proof. Let p [1,+ ), i,j [ 1,d ] and v H E (i),0. We have: R (i,j) v p L p () = = D ǫ (R (i,j) v) D ǫ p ǫ (i), ǫ e (j) D ǫ αǫ v σ +(1 α ǫ )v σ p + D ǫ α ǫ v σ p. ǫ (i) int ǫ= σσ, ǫ e (j) ǫ (i) ext ǫ (Dσ), ǫ e(j) Since α ǫ 1 and (a+b) p 2 p 1 (a p +b p ), for a,b [0,+ ), we get: R (i,j) v p L p () 2p 1 ǫ (i) int ǫ=σσ, ǫ e (j) D ǫ ( v σ p + v σ p) + ǫ (i) ext ǫ (Dσ), ǫ e(j) D ǫ v σ p.

12 12 Reordering the sums, we obtain that: R (i,j) v p L p () 2p 1 σ E (i) V σ v σ p, where the volume V σ is the sum of the two volumes D ǫ such that ǫ is a face of D σ. It may now be easily checked that there exists C ηm depending only on the the parameter η M and non-decreasing with respect to this parameter such that V σ C ηm D σ, which concludes the proof. The discretization of the velocity convection term in the i th momentum balance equation may be seen as a discrete counterpart of div(v i u), where v i is the convected component of the velocity field (in the scheme, v i = u i ). Multipling this expression by w i and inegrating over yields a continuous counterpart b (i) (u,v i,w i ) of b E (i)(u,v i,w i ) which reads: b (i) (u,v i,w i ) = div(v i u) w i dx. An integration by parts (supposing that w i vanishes on the boundary) yields: b (i) (u,v i,w i ) = v i u w i dx = The following lemma states a discrete equivalent of this relation. d j=1 v i u j j w i dx. Lemma 3.4 (Reformulation of b E ). Let (M,E) be a given MAC mesh, i [ 1,d ], and (u,v,w) H E,0 H E,0 H E,0. Let b E (i)(u,v i,w i ) be given by (32). Then there exists two reconstruction operators in the sense of Definition 3.2, denoted by (R (i,j) ) u and (R (j,i) ) v, such that: n n b E (i)(u,v i,w i ) = d j=1 Proof. Let (u,v,w) E E H 2 E,0. By definition, b E (i)(u,v i,w i ) = (R (i,j) σ E (i) w σ ) v v i (R (j,i) )u u j ð j w i dx. ǫ (Dσ) ǫ v ǫ u σ,ǫ. Reordering the sums, we get by conservativity: b E (i)(u,v i,w i ) = ǫ=σ σ (i) int ǫ v ǫ u σ,ǫ (w σ w σ ) = ǫ=σ σ (i) int D ǫ v ǫ u σ,ǫ w σ w σ d ǫ. The sum is over the whole set of dual faces (i), so over the d partitions involved in the definition of the discrete gradient of w i. In addition, without loss of generality, we may suppose that we have chosen for ǫ the orientation such that ǫ = σ σ. Hence, we get, by definition (13), w σ w σ d ǫ = (ð j w i ) Dǫ, where j is the index such that ǫ is normal no e (j). For the centered version of the convection operators, vǫ = (v σ + v σ )/2; in the upwind case, it is equal to either v σ or v σ (Relation (24)). In both cases, it is a convex combination of the two discrete values of v i lying on the faces of D ǫ ; there exists thus an operator R (i,j) (still with the same meaning for j), in the sense of Definition 3.2 such that vǫ = (R (i,j) v i) Dǫ. Finally, from the definition of the convection operator and with the chosen orientation for ǫ, u σ,ǫ is a convex combination of the two values of u j lying on the faces on D ǫ : either the mean value given by (25), if j = i, either the convex combination of (26), if j i. In addition, D ǫ is a volume used in the definition of the j th discrete partial derivative of the i th component, and thus also a volume used in the definition of the i th discrete partial derivative of the j th component (both partitions are the same). So there exists one reconstruction operator such that u σ,ǫ = (R (j,i) u j) Dǫ, which concludes the proof. R (j,i)

13 Lemma 3.5 (Estimates on b E ). Let (M,E) be a MAC grid and let b E be defined by (32). There exists C ηm > 0, depending only and in non-decreasing way on the regularity parameter η M of the mesh defined by (7), such that: and (u,v,w) H 3 E,0, b E(u,v,w) C ηm u L 4 () d v L 4 () d w 1,E,0 (34) (u,v,w) H 3 E,0, b E(u,v,w) C ηm u 1,E,0 v 1,E,0 w 1,E,0. (35) Proof. Let i [ 1,d ]. Thanks to Lemma 3.4, there exists two reconstruction operators in the sense of Definition 3.2, denoted by (R (i,j) )v and (R (j,i) )u such that: b E (i)(u,v i,w i ) = d j=1 (R (i,j) ) v v i (R (j,i) )u u j ð j w i dx. Thanks to Hölder s inequality, we get, for j [ 1,d ] : (R (i,j) )v v i (R (j,i) )u u j ð j w i dx (R (i,j) )v v i L 4 () (R (i,j) )u u j L 4 () ð j w i L 2 (), which, in view of Lemma 3.3 and the identity (15), concludes the proof of Estimate (34). We then deduce (35) by the discrete Sobolev inequality [11, Lemma 3.5] which allows to control the L 4 -norm by the discrete H 1 -norm. Let us now prove that b E is skew-symmetrical with respect to the last two variables. At the continuous level, this result is obtained as follows. For i [ 1,d ], on one side, we have by integration by parts: w i div(v i u) dx = v i u w i dx. (36) On the other side, since divu = 0, div(v i u) = u v i, so: w i div(v i u) dx = w i u v i dx, which yields the conclusion. The following lemma states a discrete analogue of this property. Lemma 3.6 (b E is skew-symmetrical). Let (u,v,w) E E H E,0 H E,0, and let i [ 1,d ]. Assume the centred choice for v ǫ in the expression of b E (i); then b E (i)(u,v i,w i ) = b E (i)(u,w i,v i ), (37) and therefore, b E (i)(u,v i,v i ) = 0. (38) Assume now the upwind choice for v ǫ in the expression of b E (i); then, b E (i)(u,v i,v i ) 0. (39) Proof. We mimick the computation performed in the continuous case. At the discrete level and for the centred formulation of the convection term, we have, by a simple reordering of the sum: b E (i)(u,v i,w i ) = σ E (i) int w σ ǫ=σ σ (Dσ) ǫ v σ +v σ 2 u σ,ǫ = ǫ=σ σ (i) int ǫ v σ +v σ 2 (w σ w σ ) u σ,ǫ. This relation is just obtained by conservativity of the mass flux, by a process which may be seen as a discrete integration by parts, and we have seen that it may be written as a discrete analogue of (36) (Lemma 3.4). On the other hand, thanks to (28) (i.e. the discrete analogue of divu = 0), we have, for any face σ E (i) ǫ (Dσ) ǫ ( v σ ) u σ,ǫ = v σ ǫ (Dσ) ǫ u σ,ǫ = 0. int : 13

14 14 Hence: b E (i)(u,v i,w i ) = σ E (i) int w σ ǫ=σ σ (Dσ) ǫ v σ +v σ 2 u σ,ǫ = = σ E (i) int w σ ǫ=σ σ (i) int ǫ=σ σ (Dσ) ǫ ǫ v σ v σ 2 v σ v σ 2 u σ,ǫ (w σ +w σ ) u σ,ǫ. This concludes the proof of (37) and (38). In the upwind case, we have, for i [ 1,d ], b E (i)(u,v i,v i ) = T 1 +T 2 with: T 1 = v σ ǫ vσ c u σ,ǫ, T 2 = v σ ǫ (vσ up vc σ ) u σ,ǫ. ǫ (Dσ) ǫ (Dσ) σ E (i) int From (37), we know that T 1 = 0. By definition, for ǫ = σ σ, Thus, reordering the sums: T 2 = u σ,ǫ (v up σ v c σ) = 1 2 u σ,ǫ σ E (i) int v σ σ E (i) int { v σ v σ if u σ,ǫ 0, v σ v σ if u σ,ǫ 0, ǫ=σ σ (Dσ) ǫ (v σ v σ ) u σ,ǫ = ǫ=σ σ (i) int = 1 2 u σ,ǫ (v σ v σ ). ǫ (v σ v σ ) 2 u σ,ǫ 0. In order to obtain an a priori estimate on the pressure, we introduce a so-called Fortin interpolation operator, i.e. a continuous operator from H 1 0 ()d to H E (equipped with the discrete H 1 -norm) which preserves the divergence. The following lemma is given in [18, Theorem 1, case q = 2], and we re-state it here with our notations for the sake of clarity. Lemma 3.7 (Fortin interpolation operator). Let (M,E) be a MAC grid of. For v H 1 0 ()d, we define P E v by P E v = ( P E (1)v 1,, P E (d)v d ) H E, where, for i [ 1,d ], P E (i) : H0 1() H E (i),0 v i P E (i)v i = v σ 1 Dσ with v σ = 1 σ σ E (i) σ v i (x) dγ(x), σ E (i). (40) For q L 2 (), we define P M q L M by: P M q(x) = 1 q(x) dx. (41) K K Let ϕ (H 1 0 ())d. Then: div M ( P E ϕ) = P M (divϕ). (42) In particular, if divϕ = 0, then div M ( P E ϕ) = 0. In addition, there exists a real number C ηm, depending only on and, in a non-decrasing way, on η M defined by (7), such that: P E ϕ 1,E,0 C ηm ϕ L 2 () d d. (43) Theorem 3.8 (Existence and estimates). There exists a solution to (33), and there exists C ηm > 0 depending only on and, in a non-decreasing way, on the parameter η M characterizing the regularity of the mesh, such that any solution of (33) satisfies the following stability estimate: u 1,E,0 + p L2 () C ηm f L 2 () d. (44)

15 Proof. Let us start by an a priori estimate on the approximate velocity. Assume that (u,p) H E,0 L M,0 satisfies (30); taking v = u in (33a) we get that: u 2 1,E,0 = Since div M u = 0 and b E (u,u,u) = 0, this yields that p div M u dx b E (u,u,u)+ f u dx. u 1,E,0 diam() f (L 2 ) d, (45) thanks to the fact that f (L 2 ()) d f (L 2 ()) d and to the discrete Poincaré inequality [11, Lemma 9.1]. An a priori estimate on the pressure is obtained by remarking as in [30] that the MAC scheme is inf-sup stable, which is a consequence of the existence of a Fortin operator. Indeed, since p L 2 0(), there exists ϕ H 1 0 ()d such that divϕ = p a.e. in and ϕ H 1 0 () d C 1 p L2 (), (46) where C 2 depends only on [25]. Taking v = P E ϕ (defined by (40)) as test function in (33a), we obtain thanks to Lemma 3.7 that [u,v] 1,E,0 +b E (u,u,v) p 2 dx = f v dx. Thanks to the estimate (35) on b E and the Cauchy-Schwarz inequality we get: p 2 L 2 () u 1,E,0 v 1,E,0 +C 2 u 2 1,E,0 v 1,E,0 + f L 2 () d v L 2 () d, where the real number C 2 is a non-decreasing function of η M. This yields p L 2 C ηm f L 2 () d, (47) with C ηm non-decreasing with respect to η M, thanks to (43), (46) and to the estimate (45). Let us now prove the existence of a solution to (33). Consider the continuous mapping: F : H E,0 L M,0 [0,1] H E,0 L M,0, (u,p,ζ) F(u,p,ζ) = (û, ˆp), 15 where (û, ˆp) H E,0 L M,0 is such that: û v dx = [u,v] 1,E,0 +ζ b E (u,u,v) ˆp q dx = div M u q dx, q L M. p div M v dx f v dx, v H E,0, (48a) (48b) It is easily checked that F is well defined, since the values of û i, i [ 1,d ], and ˆp are readily obtained by setting, for i [ 1,d ] and σ E (i) int, v i = 1 Dσ, v j = 0, j i in (48a) and q = 1 K in (48b). We also note that the constraint ˆp L M,0 is satisfied, thanks to the boundary conditions on u (choose q = 1 in (48b)). The mapping F is continuous; moreover, if (u,p) H E,0 L M,0 is such that F(u,p,ζ) = (0,0), then for any (v,q) H E,0 L M, [u,v] 1,E,0 +ζ b E (u,u,v) div M u q dx = 0. pdiv M v dx = f v dx, The arguments used in the above estimates on possible solutions of (33) may be used in a similar way to show that such a pair (u,p) is bounded independently of ζ. Since F(u,p,0) = 0 is a bijective affine function by the stability of the linear Stokes problem (see [2]), the existence of at least one solution (u,p) to the equation

16 16 F(u,p,1) = 0, which is exactly (33), follows by a topological degree argument (see [7] for the theory, [10] for the first application to a nonlinear scheme and [14, Theorem 4.3] for an easy formulation of the result which can be used here) Convergence analysis Lemma 3.9 (Convergence of the velocity reconstructions). Let (M n,e n ) n N be a sequence of MAC meshes such that h Mn 0 as n + ; assume that there exists η > 0 such that η Mn η for any n N (with η Mn defined by (7)). Let i,j [ 1,d ], let v L 2 (), and let (v n ) n N be such that v n H E (i) n,0 and v n converges to v as n + in L 2 (). Let R (i,j) n be a velocity reconstruction operator, in the sense of Definition (3.2). Then R (i,j) n v n v in L 2 () as n +. Proof. Let i,j [ 1,d ]. Denoting R (i,j) n ϕ Cc (): by R n and P E (i) n (defined by (31)) by P n for short, we have, for any R n v n v L2 () R n v n R n P n v L2 ()+ R n P n v R n P n ϕ L2 ()+ R n P n ϕ ϕ L2 ()+ ϕ v L2 (). Since R n v n = R n P n v n, and thanks to the fact that R n L2 () is bounded (see Lemma 3.3) and that P n is an L 2 -orthogonal projection, we get that there exists C 0 such that R n v n v L 2 () C v n v L 2 () +C v ϕ L 2 () + R n P n ϕ ϕ L 2 () + ϕ v L 2 (). Let ε > 0. Let us choose ϕ Cc () such that ϕ v L 2 () ε/(c + 1). There exists n 1 such that C v n v L 2 () ε, n n 1, and there exists n 2 such that R n P n ϕ ϕ L 2 () ε, n n 2. Therefore R n v n v L 2 () 3ε for n max(n 1,n 2 ), which concludes the proof. Lemma 3.10 (Weak consistency of the nonlinear convection term). Let (M n,e n ) n N be a sequence of meshes such that h Mn 0 as n + ; assume that there exists η > 0 such that η Mn η for any n N (with η Mn defined by (7)). Let (v n ) n N and (w n ) n N be two sequences of functions such that - v n H En,0 and w n H En,0, for n N, - the sequences (v n ) n N and (w n ) n N converge in L 2 () d to v and w respectively. Let (Π En ) n N be a family of interpolation operators satisfying (16) and let ϕ C c ()d. Then b E (v n,w n,π En ϕ) b( v, w,ϕ) = d i=1 w i v ϕ i dx as n +. Proof. We have b En (v n,w n,π En ϕ) = d i=1 b E (i)(v,w i,π E (i)ϕ i ), where we have omitted the sub- and superscripts n for the sake of clarity in the right-hand side of the equality, with, thanks to Lemma 3.4: b E (i)(v,w i,π E (i)ϕ i ) = d j=1 (R (i,j) )w w i (R (j,i) )v v j ð j Π E (i)ϕ i dx, where (R (i,j) n ) v and (R (j,i) n ) w are two reconstruction operators, in the sense of Definition 3.2. Thanks to the convergence properties of the reconstruction operators (Lemma 3.9) and the strong consistency of the discrete partial derivatives of the velocity (Lemma 2.2), we obtain: d b E (i)(v,w i,π E (i)ϕ i ) j=1 v j w i j ϕ i dx as n +, which concludes the proof. Lemma 3.11 (Weak consistency of the nonlinear convection term, continued). Let (M n,e n ) n N be a sequence of meshes such that h Mn 0 as n + ; assume that there exists η > 0 such that η Mn η for any n N (with η Mn defined by (7)). Let (u n ) n N, (v n ) n N and (w n ) n N be three sequences of functions such that

17 - (u n,v n,w n ) H 3 E n,0, for n N, - the sequences (u n ) n N and (v n ) n N converge in L p () d, 1 p < 6, to ū and v respectively, - the sequence (w n ) n N converge in L p () d, 1 p < 6, to w H0 1()d, and ( n w n ) n N converges to w weakly in L 2 () d d. Then b E (u n,v n,w n ) b( v, w, w) as n +. Proof. Once again, we use the reformulation of the form b E, provided by Lemma 3.4. Omitting sub- and superscripts n for short, we have: b En (u n,v n,w n ) = d b E (i)(u,v i,w i ) with i=1 b E (i)(u,v i,w i ) = d j=1 (R (i,j) ) v v i (R (j,i) )u u j ð j w i dx, for i [ 1,d ], where (R (i,j) ) u and (R (j,i) ) v are two reconstruction operators, in the sense of Definition 3.2. Thanks to n n the stability and convergence properties of the reconstruction operators (Lemma 3.3 and 3.9), the sequences ((R (j,i) )u u j,n ) n N and ((R (i,j) ) v v n,i ) n N are uniformly bounded in L p () d, for 1 p < 6 and i,j [ 1,d ], and converge in L 2 () d to ū and v, respectively. Hence, these sequences also converge in L 2 () d, 1 p < 6, and the result follows thanks to the weak convergence in L 2 () d d of the partial derivatives. 17 Lemma 3.12 (A discrete integration by parts formula). Let (M,E) be a given MAC mesh, and i,j [ 1,d ]. Let u and v be two functions of H E (i),0. Then there exists a reconstruction operator, in the sense of Definition 3.2, such that: ð j u v dx = R (i,j) u ð j v dx. Proof. Let i,j [ 1,d ] and (u,v) H E (i),0. We have, by conservativity: ð j (uv) dx = ǫ (i) int ǫ= σσ, ǫ e (j) ǫ (u σ v σ u σ v σ ) ǫ (i) ext ǫ (Dσ), ǫ e(j) η ǫ ǫ u σ v σ = 0, where η ǫ = ±1, depending on the relative locations of σ and σ. For any real number α ǫ [0,1], we have: u σ v σ u σ v σ = ( u σ u σ )( αǫ v σ +(1 α ǫ )v σ ) + ( (1 αǫ )u σ +α ǫ u σ ) ( vσ v σ ). We thus have T 1 +T 2 =0, with: T 1 = T 2 = ǫ (i) int ǫ= σσ, ǫ e (j) ǫ (i) int ǫ= σσ, ǫ e (j) ǫ ( u σ u σ )( αǫ v σ +(1 α ǫ )v σ ) 1 2 ǫ ( (1 α ǫ )u σ +α ǫ u σ ) ( vσ v σ ) 1 2 ǫ (i) ext ǫ (Dσ), ǫ e(j) ǫ (i) ext ǫ (Dσ), ǫ e(j) η ǫ ǫ u σ v σ, η ǫ ǫ u σ v σ. When i = j, all the dual faces are included in the domain (so the last sum vanishes). In addition, a dual face ǫ is included in a cell of the primal mesh, say K, and D ǫ = K; we choose in this case α ǫ = D K,σ / K and, by definition of the half-diamond cells, 1 α = D K,σ / K. With this choice, we obtain: T 1 = ð j u v dx and T 2 = R (i,j) u ð jv dx, (50)

18 18 with, for ǫ = σ σ, (R (i,i) u) D ǫ = D K,σ u σ + D K,σ u σ. K K Let us choose now consider the case i j. In this case, we choose α = D σ /(2 D ǫ ), so 1 α = D σ /(2 D ǫ, by definition of D ǫ, and we get (50) with: for any ǫ = σ σ (i) int, ǫ e(j), for any ǫ (i) ext (D σ), ǫ e (j), (R (i,j) u) D ǫ = 1 D ǫ ( D σ 2 u σ + D σ 2 u σ ), (R (i,j) u) D ǫ = 1 2 u σ. We are now in position to state and prove the convergence of the scheme. Theorem 3.13 (Convergence of the scheme, steady case). Let (M n,e n ) n N be a sequence of meshes such that h Mn 0 as n + ; assume that there exists η > 0 such that η Mn η for any n N (with η Mn defined by (7)). Let (u n,p n ) be a solution to the MAC scheme (30) or its weak form (33), for M = M n. Then there exists ū H 1 0 ()d and p L 2 () such that, up to a subsequence: - the sequence (u n ) n N converges to ū in L 2 () d, - the sequence ( n u n ) n N converges to ū in L 2 () d d, - the sequence (p n ) n N converges to p in L 2 (), - (ū, p) is a solution to the weak formulation of the steady Navier-Stokes equations (2). Proof. Thanks to the estimate(45) on the velocity, applying the classical estimate on the translates[11, Theorem 14.2] we obtain the existence of a subsequence of approximate solutions (u n ) n N which converges to some ū L 2 () d. From the estimates on the translates, we also get the regularity of the limit, that is ū H 1 0() d. The estimate (47) on the pressure then yields the weak convergence of a subsequence of (p n ) n N to some p in L 2 (). Let us then pass to the limit in the scheme in order to prove its (weak) consistency. Passing to the limit in the mass balance equation Let ψ C c (). Taking ψ n = Π Mn ψ, the pointwise interpolate defined by (22), as test function in (33b) and using (23), we get that: 0 = Therefore, thanks to Lemma 2.3, d 0 = lim n + i=1 and therefore ū satisfies (33b). div Mn u n ψ n dx = u n,i ð i ψ n dx = d i=1 u n En ψ n dx = d i=1 u n,i ð i ψ n dx. ū i i ψ dx = ū ψ dx = divū ψ dx, Passing to the limit in the momentum balance equation Let ϕ = (ϕ 1,,ϕ d ) Cc () d, and take ϕ n = Π En ϕ = (ϕ n,1,,ϕ n,d ) H En,0 as test function in (33a). This yields: n u n : n ϕ n dx+b E (u n,u n,ϕ n ) p n div Mn ϕ n dx = P En f ϕn dx. (51) Thanks to the weak L 2 -convergence of p n to p and to the uniform convergence of P En f to f and of divmn ϕ n to divϕ (see Lemma 2.2) as n +, we have P En f ϕn dx f ϕ dx and p n div Mn ϕ n dx p div ϕ dx as n +. From [11, Proof of Theorem 9.1], thanks to the L 2 -convergence of u n to ū, we get that, for i [ 1,d ], (i) u n,i (i) ϕ n,i dx = [u n,i,ϕ n,i ] (i) n n 1,E n,0 ū i ϕ i dx as n +.

19 Therefore, n u n : n ϕ n dx d i=1 ū i ϕ i dx = ū : ϕ dx as n +. By Lemma 3.10, we have lim b E n (u n,u n,ϕ n + n ) = (ū )ū ϕ dx. (52) Passing to the limit as n + in (51) thus yields that ū and p satisfy (2). Strong convergence of n u n to ū in L 2 () d d The sequence ( n u n ) n N is bounded in L 2 () d d and therefore, there exists ξ L 2 () d d and a subsequence still denoted by ( n u n ) n N convergingto ξ weakly in L 2 () d d. Let i,j [ 1,d ], and let ϕ be a function of Cc (). We denote by ϕ n the interpolate of ϕ by the projection operator Π E (i) n exists a reconstruction operator R (i,j) associated to the i th component of the velocity. By Lemma 3.12, we know that there, in the sense of Definition 3.2, such that: ð j u n,i ϕ n dx = R (i,j) u n,i ð j ϕ n dx. By the strong convergence of ϕ n to ϕ, of R (i,j) u n,i to ū i and of ð j ϕ n to j ϕ, passing to the limit in the above relation, we get: ξ i,j ϕ dx = ū i j ϕ dx. Integrating by parts in the right-hand side thanks to the regularity of ū, we obtain: ξ i,j ϕ dx = j ū i ϕ dx. Hence, by density, ξ = ū. Taking ϕ n = u n in (51) yields: n u n : n u n dx P En f un dx. Passing to the limit as n + we get that: lim n + n u n 2 L 2 () f ū dx = ū 2 d d L 2 () d d, which implies the strong convergence of the discrete gradient of the velocity. Strong convergence of the pressure Let ϕ n H 1 0 ()d be such that divϕ n = p n a.e. in and ϕ n H 1 0 () d C p n L 2 (), where C depends only on. Let ψ n = P En ϕ n ; thanks to Lemma 3.7, we have ψ n 1,En,0 C C ηn p n L2 (), and since p n L Mn, we get that div Mn ψ n = p n. Therefore, taking ψ n = P En ϕ n as test function in (33a), we obtain: p 2 n dx = n u n : n ψ n dx+b E (u n,u n,ψ n ) ψ n 1,E,0 C C ηn p n L 2 (). P En f ψn dx, From the bound on ψ n 1,E,0, we know that ψ n converges to some ψ H0 1()d in L 2 () d and, by the same arguments as for the identification of ξ with ū, that n ψ n ψ weakly in L 2 () d d as n +. In addition, we also havethat divϕ = p a.e. in. By Lemma 3.11, b E (u n,u n,ψ n ) convergesto b(ū,ū,ψ). Passing to the limit as n +, we thus get that lim p n 2 n + L 2 () = ū : ψ dx+b(ū,ū,ψ) f ψ dx. Since (ū, p) satisfies (2), this implies that p n L 2 () p L 2 (), which in turn yields that p n p in L 2 () as n +. 19

20 20 Remark 3.14 (Uniqueness of the continuous solution and convergence of the whole sequence). In the case where uniqueness of the solution is known, then a classical argument can be used to show that the whole sequence converges ; this is for instance the case for small data, see e.g. [31, Theorem 1.3] or [3, Theorem V.3.5] Time discretization 4. The time-dependent case Let us now turn to the time discretization of the problem (3). We consider a MAC grid (M,E) of in the sense ofdefinition 2.1, and a partition 0 = t 0 < t 1 < < t N = T ofthe time interval (0,T), and, for the sakeof simplicity, aconstanttimestepδt = t n+1 t n ; hencet n = nδt, forn [ 0,N ]. Let{u n+1 σ, σ E, n [ 0,N 1 ] } and {p n+1 K, K M, n [ 0,N 1 ] } be sets of discrete velocity and pressure unknowns. For n [ 1,N ], we first define the corresponding piecewise constant space-dependent functions u = (u n 1,...,un d ) and pn by: u n i = u n σ 1 [ ] Dσ for i 1,d, p n = p n K 1 K. σ E (i) K M We enforce that u n σ = 0 for σ E ext and n [ 1,N ] (so u n i H E (i),0 and the sum in the relation above may be restricted to E (i) int ), and we set un = (u n 1,...,un d ) H E,0. Then, we define the discrete (time- and space-dependent) velocities and pressures functions by: u i (x,t) = N 1 u n+1 i 1 ]tn,t n+1] for i [ 1,d ] N 1, p(x,t) = p n+1 1 ]tn,t n+1]. where 1 ]tn,t n+1] is the characteristic function of the interval ]t n,t n+1 ]. For i [ 1,d ], we denote by X (i) E,δt the set of such piecewise constant functions on time intervals and dual cells for the i th velocity component approximation, we set X E,δt = d i=1 X(i) E,δt, and we denote by Y M,δt the space of piecewise constant functions on time intervals and primal cells for the pressure approximation. Setting u 0 = P E u 0, i.e., for i [ 1,d ], u 0 i = σ E (i) int we define the discrete time derivative ð t u X E,δt by: ð t u = N 1 Finally, we define the discrete right-hand side by: u 0 σ 1 Dσ, with u 0 σ = 1 u 0,i (x) dγ(x), σ E (i), σ σ 1 δt (un+1 u n ) 1 ]tn,t n+1]. f X E,δt, f n+1 σ = 1 δt D σ t n+1 t n D σ fi (x,t) dx dt, n [ 0,N 1 ], i [ 1,d ], σ E (i) int. With these notations, the time-implicit MAC scheme for the transient Navier-Stokes reads: Initialization : u 0 = P E u 0. (53a) Step n, n [ 0,N 1 ]. Solve for u n+1 and p n+1 : u n+1 H E,0, p n+1 L M,0, ð t u n+1 E u n+1 +C E (u n+1 )u n+1 + E p n+1 = f n+1, div M u n+1 = 0. (53b) (53c) (53d)