arxiv: v3 [math.na] 31 May 2016

Transcription

1 Stability analysis of pressure correction scemes for te Navier-Stoes equations wit traction boundary conditions Sangyun Lee a, Abner J. Salgado b a Center for Subsurface Modeling, Institute for Computational Engineering and Sciences ICES, University of Texas at Austin b Department of Matematics, University of Tennessee, Knoxville, TN 76 USA. arxiv: v [mat.na] 1 May 2016 Abstract We present a stability analysis for two different rotational pressure correction scemes wit open and traction boundary conditions. First, we provide a stability analysis for a rotational version of te grad-div stabilized sceme of [A. Bonito, J.-L. Guermond, and S. Lee. Modified pressure-correction projection metods: Open boundary and variable time stepping. In Numerical Matematics and Advanced Applications - ENUMATH 201, volume 10 of Lecture Notes in Computational Science and Engineering, pages Springer, 2015]. Tis sceme turns out to be unconditionally stable, provided te stabilization parameter is suitably cosen. We also establis a conditional stability result for te boundary correction sceme presented in [E. Bänsc. A finite element pressure correction sceme for te Navier-Stoes equations wit traction boundary condition. Comput. Metods Appl. Mec. Engrg., 27:18 211, 2014]. Tese results are sown by employing te equivalence between stabilized gauge Uzawa metods and rotational pressure correction scemes wit traction boundary conditions. Keywords: Navier Stoes, Open and traction boundary conditions, Fractional time stepping 1. Introduction Te purpose of tis wor is to provide a stability analysis of splitting scemes for te incompressible Navier Stoes equations NSE 2 u t + u u Re εu + p = f, in Ω 0, T], 1.1 u = 0, in Ω 0, T]. Here Ω is a bounded domain in R d wit d {2, }, f : Ω 0, T] R d is a given smoot source term, Re > 0 is te so-called Reynolds number, and T > 0 is te final time. Te operator εu is assumed to tae one of te following forms: εu := 1 u, open boundary conditions, 2 u + u, traction boundary conditions. Te dependent variables are te velocity of te fluid u : Ω [0, T] R d, and te pressure p : Ω [0, T] R. Te system is supplemented wit te initial condition u t=0 = u and suitable boundary conditions discussed below. Time discretization algoritms for te solution of can be classified as eiter fully coupled or splitting tecniques. Fully coupled metods are usually complicated by te fact tat te incompressibility constraint induces a saddle point structure. It is not our intention ere to provide an overview of te literature, so we only refer te reader addresses: slee@ices.utexas.edu Sangyun Lee, asalgad1@ut.edu Abner J. Salgado Preprint submitted to Elsevier September 21, 2018

2 to [11]. On te oter and, splitting tecniques are advocated because tey are somewat easier to implement, since tey circumvent te saddle point structure. Te reader is referred to te overview [1] for details. However, wen studying te properties of suc splitting tecniques it is usually assumed tat te boundary conditions are no-slip, tat is u Γ = 0, were Γ := Ω denotes te boundary of Ω. Tese are not te only possible boundary conditions for 1.1, nor te only ones tat are pysically relevant. Oter possibilities, and te ones we are interested in ere, are te so-called open and traction boundary conditions 2 εu pi n = g, 1. Re Γ were n is te unit outward normal to Γ and g : Γ 0, T] R d is a given function. Open boundary conditions, tat is te case were εu = 1 2 u and g 0, arise wen dealing wit outflow or artificial boundaries [, 10]. On te oter and, for free surface flows [5, 8], one usually prescribes traction boundary conditions, i.e., εu = 1 2 u + u and g is related to te surface tension. Te development and analysis of splitting scemes for traction boundary conditions is rater scarce. To our nowledge, te first reference tat provides a rigorous analysis of suc metods is [12], were te autors sow tat tese suffer from a drastic accuracy reduction. Several attempts to remedy tis sortcoming can be found in te literature. For instance, [10] proposes a modification of te boundary condition 1. aimed at remedying issues related to bacflows and numerical instabilities tat appear at open boundary conditions for ig Reynolds numbers. In te course of teir discussion, te autors were able to sow unconditional stability of a formally first order class of scemes wit modified boundary conditions. Oter modifications of te boundary conditions 1. also exist in te literature [6, 20] wic seem to wor in practice, but lac of any analytical justification. Some oter wors modify te splitting sceme itself and tis allows tem to recover optimal experimental orders of convergence, e.g [1, 2,, 7]. Wile many oter approaces can be found in te literature, in tis wor we focus on two of tem: 1. Using a so-called grad-div stabilization [7] presents a first order pressure correction metod in standard form and sows its unconditional stability. Here we extend tis sceme by considering its rotational form and sow tat its first and second order versions are unconditionally stable. 2. Reference [6] presents a variant of te so-called using te nomenclature of [1] rotational pressure correction metod tat seems to deliver optimal orders of convergence. However, no analysis of tis metod is provided. It is our purpose ere to partially bridge tis gap. Let us outline te plan tat we will follow to acieve tese goals. In Section 2, we recall te recently sown equivalence [21] between rotational pressure correction scemes and stabilized gauge Uzawa metods. Wit tis at and we recast te grad-div stabilized scemes of [7] in gauge Uzawa form and sow unconditional stability for te first and second order variants in Section. We ten write te sceme of [6] in gauge Uzawa form and sow tat it is stable provided te time step and mes size satisfy a suitable relation in Section 4. In Section 5 we provide numerical experiments to illustrate te teory and performance of our metods Notation and preliminaries For D {Ω, Γ}, we denote by, D te L 2 D inner product, if D = Ω we will often omit it. Te norm of L 2 Ω is denoted by. To sorten te exposition, given two scalar functions φ and ϕ, we set [ φ, ϕ ] := φ, ϕ + φ, ϕ and ϕ 2 := [ ϕ, ϕ ]. 1.4 We denote nonessential constants by C and teir value migt cange at eac occurrence. To avoid irrelevant tecnicalities we omit te convective term u u. In addition, we recall te elementary identity 2pp q = p 2 q 2 + p q 2. To unify te discussion, we define te bilinear form A v, w := 1 v, w, Re εv, εw, 2 open boundary conditions, traction boundary conditions, 1.5

3 and set We denote by κ te best constant in te inequality Av := A v, v 1/2. κd v 2 + v 2 v 2 + ReAv 2, v H 1 Ω, 1.6 wic is eiter trivial open boundary conditions or is a consequence of Korn s inequality traction boundary conditions. By 1/2,Γ we denote te norm of H 1/2 Γ, te space of traces of H 1 Ω on Γ. We recall tat v 1/2,Γ C v 2 + v 2 1/ To andle te space discretization, we assume we ave at and finite dimensional spaces X H 1 Ω and Q H 1 Ω wic we assume LBB stable for > 0. We set M = Q H0 1 Ω. Tese spaces can be easily realized wit finite elements and, in tis case, denotes te mes size. We assume tat te following inverse inequality olds n w 1/2,Γ C 1 w, w M. 1.8 Te time discretization is carried out by coosing K N, te number of time steps, and setting te time step to be = T/K. We set t = and for a time dependent function we denote φ = φt and φ = {φ } K =0. Over tese sequences we define te operators dφ := φ φ, 1. 1 BDF m φ := dφ m = 1, 1 φ 4φ + φ m = 2, 2 and dφ m = 1, φ, := 4 dφ dφ 1 m = 2. for m = 1, 2. If E is a normed space wit norm E and φ E, we define te following discrete in time norms: K φ l 2 E := φ 2 E =1 1/2, φ l E := max 0 K φ E Next, we introduce couple of lemmas wic are useful for our analyses. In te analysis of first order scemes we will use te following variant of te well-nown discrete Grönwall inequality [16, Lemma 5.1]: Lemma 1.1 Discrete Grönwall. Let B 0 and a, b, c, γ R be sequences of nonnegative numbers suc tat, for n 0, verify n n 1 n 1 a n + b γ a + c + B. If γ < 1 for all 0, ten we ave were σ = 1 γ 1. a n + =1 =0 =0 n n n 1 b exp σ γ c + B, =1 =0 On te oter and, we will employ te following tree-term recursion inequalities of [14, Propositions 5.1 and 5.2] for te analysis of second order scemes. =0

4 Lemma 1.14 Tree-term recursion. Let A, B, C R satisfy A > 0, C 0 wit A + B + C 0 and assume tat te quadratic equation Ar 2 + Br + C = 0 as two nonzero real roots r 1 and r 2. In addition, let a solve te inequality Aa + Ba + Ca 1 g, 1. Ten tere are constants c 1 and c 2 tat depend only on a 0 and a 1 suc tat, for every n 2, we ave a n c 1 r n 1 + c 2r n A n =2 r n 1 s=2 r s 2 g s. 2. Stabilized gauge Uzawa equals rotational pressure correction We begin by recalling te result of [1,.6]: wen supplemented wit no-slip boundary conditions, te rotational pressure correction metod of Timmermans et al. [2] is equivalent to te sceme of Kim and Moin [17]. More recently, Pyo [21] sowed tat, in te same setting, te gauge Uzawa metod and te rotational pressure correction metod are, up to a cange of variables, equivalent. Let us recall tis result in tis section Equivalence Since we are concerned wit time discretization scemes, let us operate in a semi-discrete setting to sow te equivalence. To simplify tings even furter, we will only consider first order scemes m = 1. Little or no modification is necessary if te equivalence wants to be sown for m = Te stabilized gauge Uzawa metod Tis metod was introduced in [1] and computes sequences ũ GU, u GU, p GU, ψ and q as follows: Initialization: Set ũ 0 GU = u0 GU = u0, p 0 GU = p0, ψ 0 = q 0 = 0. For = 0,..., K 1, we compute: Velocity update: Find u GU tat solves Projection: Find ψ and ũ GU tat satisfy u GU ũ GU 2 Re εu GU + p GU = f, u GU Γ = ũ GU u GU + dψ = 0, ũ GU = 0, ũ GU Γ n = Pressure update: Find q and p GU tat satisfy dq = u GU, p GU = ψ + 1 Re q. 2. 4

5 Rotational pressure correction metod Tis metod was introduced in [2]. It computes sequences ũ ROT, u ROT, p ROT and φ as follows: Initialization: Set For = 0,..., K 1, we compute: Velocity update: Find u ROT tat solves Projection: Find φ and ũ ROT tat satisfy ũ 0 ROT = u0 ROT = u0, p 0 ROT = p0, φ 0 = 0. u ROT ũ ROT 2 Re εu ROT + p ROT = f, u ROT Γ = ũ ROT u ROT + φ = 0, ũ ROT = 0, Pressure update: Te pressure p ROT is defined by ũ ROT Γ n = dp ROT = φ 1 Re u ROT. 2.6 Te equivalence of tese two metods is te content of tis simple, yet illuminating, result. Proposition 2.7 Equivalence. Te sequences produced by algoritms and verify ũ GU = ũ ROT, u GU = u ROT and p GU = p ROT. Proof. Evidently, te initialization steps coincide. Te velocity update steps 2.1 and 2.4 also coincide. Defining φ = dψ maes te projection steps 2.2 and 2.5 identical. Finally, applying te operator d to te second equation of 2., using te first equation and te definition of φ yields 2.6. Tis allows us to conclude. In ligt of tis equivalence, in wat follows we will drop te subscripts GU and ROT Stabilized gauge Uzawa wit elimination of te solenoidal velocity Te projection step 2.2 entails finding a solenoidal function ũ, wic can be rater cumbersome to approximate using finite elements. For tis reason, in practice, tis variable is usually eliminated from te sceme. Tis can be acieved as follows: Add to te velocity step 2.1 te first equation in 2.2 at time t = t, tis eliminates ũ from te velocity step. Ten, taing te divergence of te first equation in 2.2 and using te second one we substitute ũ in te projection step. Tis yields te following algoritm: Initialization: Set For = 0,..., K 1, we compute: Velocity update: Find u tat solves u u Projection: Find ψ tat satisfies Pressure update: Find q and p tat satisfy u 0 = u 0, p 0 = p 0, ψ 0 = q 0 = 0. 2 Re εu + p + dψ = f, u Γ = dψ = 1 u, n dψ Γ = dq = u, p = ψ + 1 Re q As te reader can easily realize, te coice of no-slip boundary conditions carried little or no relevance in te discussions above. Terefore, a similar reasoning could be provided for oter types of boundary conditions. Te analysis of variants of sceme tat are suitable for open and traction boundary conditions is te main content of tis wor. 5

6 . A grad-div stabilized sceme Let us now turn to an extension of te sceme discussed in [7]. In tis wor te autors modified te pressure correction sceme in standard form by introducing a grad-div stabilization and consistent modifications of te boundary condition in te velocity and pressure. Tis allowed tem to obtain stability and optimal error estimates for a first order sceme. It is expected ten, tat a rotational version of tis sceme allows us to obtain iger order scemes. Te main purpose of tis section is to present te first steps in tis direction, namely we present te sceme and sow its unconditional stability. We compute sequences u X, ψ, q, p Q, were u and p approximate te velocity and pressure, respectively. Te sceme reads: Initialization: Set, for = 0,..., m 1, u = Π X u, p = Π Q p, q = ψ = 0,.1 were Π X and Π Q are te L 2 -projection operators onto te respective spaces. After tis step, for = 0,..., K 1, compute: Velocity update: Find u X tat solves, for all v X, BDFm u, v + A u, v p + ψ,, v + α BDFm u, v = f, v + g, v,.2 Γ were BDF m, A, and, were defined in 1.10, 1.5 and 1.11, respectively. Te parameter α 1 is user defined. Projection: Find ψ Q tat, for every z Q, satisfies [ ] dψ β, z = u, z,. were β = m 1. Divergence correction: Find q Q tat solves dq, r = u, r Pressure update: Te new approximation of te pressure p r Q..4 Q is obtained by setting p = ψ + 1 Re q Stability of te first order sceme Let us now sow te stability of sceme.2.5 for m = 1. Tis is mainly done to clarify te steps necessary to obtain te result. Our main objective is to sow te stability for te second order variant. Tis will be carried out in.2. To avoid irrelevant tecnicalities, we assume tat f 0 and g 0. Teorem.6 Stability for m = 1. Assume tat α > max{1, 2/Re}. If m = 1 and < 1 2 ten te sceme.2.5 is stable, in te sense tat tere is a constant C, independent of te solution and discretization parameters suc tat, Te constant, owever, migt depend on Re. u l L 2 + Au l 2 R C. Proof. First, we set v = 2u in.2, ten multiply.5 by 2Π Q u in.4. Adding te ensuing identities yields d u 2 + α u 2 + Re q 2 + du 2 + α d u 2 + 2Au 6 at time t = t and finally set r = 2 Re q 2 2 ψ + dψ, u = Re dq 2..7

7 Next, set z = 2 2 ψ + dψ = ψ d 2 ψ in. to obtain 2 d ψ 2 + dψ 2 d 2 ψ 2 = 2 ψ + dψ, u,.8 were was defined in 1.4. Now we add.7 and.8 to get d u 2 + α u ψ 2 + du 2 + α d u dψ 2 Re q + 2Au 2 = Re dq d 2 ψ 2.. It remains to control te terms on te rigt and side of.. Tis can be acieved as follows. First, we apply d to. and set z = d 2 ψ Second, we set r = dq to derive Combining..11 yields u 2 + α d 2 ψ 2 d u in.4 to conclude tat dq 2 u u 2 + Re q ψ 2 + du 2 + 2Au dψ 2 u 2 + α u 2 + Re q ψ 2,.12 were we used tat α > max{1, 2/Re}. We now rewrite te previous inequality in a form tat maes it suitable to apply Lemma 1.1. Define a = u 2 + α u 2 + Re q ψ 2, b = 2Au 2, and notice tat.12 can ten be rewritten as 1 2 a + b 1 a a. Finally, we add tis inequality over = 0,, K 1 and multiply te result by to obtain a K + K =1 K 1 b a 0 + = Since < 1 2, we can apply te framewor of Grönwall s inequality in te form given by Lemma 1.1 by setting γ 1 = γ = 21 2, c = 0 and B = a 0. Terefore, we ave were σ = 1 γ 1 and Tis immediately allows us to conclude. a K + σγ = K b a 0 exp Tσγ, =1 γ 1 γ = < 1. Remar.1 Alternative pressure update step. Following te course of te proof of Teorem.6 te reader can easily verify tat we can replace.5 by p = ψ + κ Re q and retain stability. Indeed, to obtain an alternative to.7 one now needs to set r = 2 κ Re q in.4. Te first term on te rigt and side of. will now be multiplied by κ, we can ten invoe inequality 1.6 to conclude. 7 a.

8 .2. Stability of te second order sceme Let us now obtain stability of te sceme.2.5 in te case m = 2. To our nowledge, togeter wit te sceme in [12] tese are te only unconditionally stable formally second order scemes for te Navier Stoes equations wit traction boundary conditions. Te idea of te proof is very similar to tat of Teorem.6, yet it is inevitably obscured by tedious tecnical calculations tat are necessary to properly balance all te terms. Tese calculations are modifications of [14, ]. In particular, in te last step, instead of a discrete Grönwall s inequality we will employ te tree-term recursion inequalities of Lemma Teorem.14 Stability for m = 2. If m = 2 and is sufficently small, ten te sceme.2.5 is stable provided tat α > max{1, 2/Re}, in te sense tat te solution satisfies u l L 2 + Au l 2 R C, were C is a constant tat does not depend on te solution of te sceme nor te discretization parameters. Te constant C, owever, migt depend on Re. Proof. First we set v = 4u in.2 ten multiply.5, at time t = t, by 4Π Q u. Next, we also set r = 4 Re q in.4 and z = 82 ψ + ψ, in.. Add te resulting equations and employ te identity 2a BDF 2 a = 2BDF 2 a 2 + 2d da 2 + d 2 a 2 to obtain 2BDF 2 u 2 + α u 2 + 2d du 2 + α du 2 + Re q + d 2 u 2 + α d 2 u 2 + 4Au We now proceed as follows. First, notice tat du 2 = du + 2 d2 ψ d2 ψ 2 4 Apply d to. and set z = d 2 ψ Terefore we get du 2 = to obtain 82 d2 ψ 2 = 4 Insert tis identity in.15 to conclude tat du + 2 d2 ψ d 2 u 2 + α d 2 u 2 + 4Au d d2 ψ 2 [ dψ, ψ + ψ, du, d 2 ψ d2 ψ 2. d2 ψ 2BDF 2 u 2 + α u 2 + 2d du 2 + α du + 2 d2 ψ 2 + 4α2 d2 ψ 2 4α 12 + [ dψ ] = 2 Re dq d 2 ψ, du 8 2 d2 ψ d2 ψ d 2 ψ, ψ + ψ, 2 + Re q 2 ] = 2 Re dq Since, by assumption, α > 1, it is now necessary to control te last term on te left and side of.17. To do so, we begin by writing 8 2 [ dψ, ψ + ] 8 2 [dψ ] ψ, =, ψ + dψ 2 [ ] dψ, d 2 ψ 1 [ ] + dψ, d 2 ψ = 42 d ψ 2 + dψ 2 d 2 ψ [ dψ, d 2 ψ ]. 8

9 Next, we notice tat 8 2 d d2 ψ In conclusion, [ dψ, d2 ψ 8 2 d d2 ψ d2 ψ ] 4 2 d 2 ψ [ dψ Substitute.18 in.17 to obtain Re q , ψ + ψ, [ dψ, d 2 ψ ] = 2 +2 d 2 ψ 2 2 [ d 2 ψ ] = 42 d ψ, d 2 ψ 2 + dψ BDF 2 u 2 + α u 2 + 2d du 2 + α du + 2 d2 ψ 2 + 4α2 d2 ψ ψ ] = 4 2 d dψ 2 d ψ 2. d dψ 2 d ψ α 12 d 2 ψ dψ dψ 2 + d 2 u 2 + α d 2 u 2 + 4Au 2 = 2 Re dq d ψ 2..1 It remains ten to control te terms on te rigt and side, wic is obtained as in te first order case. Apply d 2 to. and set z = d ψ to obtain 4 2 d ψ 2 d 2 u 2. Equation.4 implies dq 2 u 2. Finally, by inserting tese bounds in.1 and using tat α > max{1, 2/Re}, we can apply te tree term recursion inequalities of Lemma Indeed, setting a = u 2 + α u 2, b = 4Au 2, d = 2 du 2 + α du + 2 d2 ψ 2 + 4α2 d2 ψ 4α d 2 ψ 2 A = 1 > 0, B = 4 < 0, C = 1 > 0, we observe tat our previous discussion implies + Re q Aa Ba + Ca 1 b + d d. ψ 2 + dψ 1 2, In addition, A + B + C = < 0 and, if is small enoug, te equation Ar 2 + Br + C = 0 as roots r 1 = r 2 = = O2, = O2.

10 Bot roots are positive; r 1 < 1 and r 2 is larger but close to one. Consequently, Lemma 1.14 implies tat, for n 2, we ave a n Ca 0 + a 1 r1 n + rn 2 1 n r1 n r s 2 b s + d s d s 1, 1 wic, since is small can be rewritten as a n + 1 n =2 r n 1 s=2 =2 s=2 r s 2 b s C expc 2 Ta 0 + a n =2 r n 1 s=2 r s 2 d s d s 1, for some constants C 1 and C 2. To andle te last term we argue as in [14, Teorem 5.2]. Tis implies te result. Notice tat a similar observation to Remar.1 is also valid ere. 4. A sceme wit modification of te boundary correction Here we present a gauge Uzawa metod for te boundary correction sceme discussed in [6]. We sow stability for first and second order variants of tis metod if te time step and mes size satisfy a certain condition. We see for sequences u X, ψ M, q, p Q, were u and p are used to approximate te velocity and pressure, respectively. Note tat ere ψ M. Tis is in contrast to wat was adopted in Section, i.e., ψ Q. After an initialization as in.1 te sceme proceeds, for = 0,..., K 1, as follows: Velocity update: Find u X tat satisfies, for all v X, BDFm u, v + A u, v p, v + ψ,, v = f, v n dψ βre, Γ v Γ + g, v, 4.1 Γ were BDF m, A, and, were defined in 1.10, 1.5 and 1.11, respectively. As before, te parameter β is set to β = m 1. By Γ v we denote te surface divergence of v. Projection: Find ψ M tat satisfies Divergence correction: Find q Pressure update: Te new pressure p were κ was defined in 1.6. dψ β, z = u, z, z M. 4.2 Q tat solves dq, r = u, r, r Q. 4. Q is obtained by setting 4.1. Te sceme as a rotational pressure correction metod p = ψ + κ Re q, 4.4 Wit te result of Proposition 2.7 at and it is easy to provide a motivation for sceme Indeed, if we were able to integrate bac by parts te momentum equation, we would obtain BDF m u 2 Re εu + p + 2 ψ,, v + 10 Re εu n p n, v Γ = f, v + g + L, v Γ,

11 were, as in [6], we introduced L to be te solution of L, v = n dψ Γ βre, Γ v. Γ Tis would imply tat BDF m u 2 Re εu + p + ψ, = f, and 2 Re εu p I n = g + L, Γ as in [6]. Finally, integrating bac by parts 4.2 would yield or dψ β, z = u, z dψ = β u. Notice tat tese coincide wit te equations of a stabilized gauge Uzawa sceme. Ten by using te equivalence given in Proposition 2.7, we conclude tat is te same as te sceme of [6], written in a sligtly different form Stability analysis of te first order sceme Here we present a stability analysis of sceme for m = 1 first order variant. As in te case of te grad-div stabilized sceme of Section, our real interest is in m = 2, but we present tis because te arguments are simpler and will allow us to clarify te discussion in te analysis of te second order variant provided below. To avoid irrelevant tecnicalities, assume tat f 0 and g 0. Teorem 4.5 Stability for m = 1. Assume tat te space M verifies 1.8. If m = 1, is sufficiently small and te mes size and time step satisfy CRe ten te sceme is stable, in te sense tat it satisfies u l L 2 + Au l 2 R C, were te constant migt depend on Re, but is independent of te solution of te sceme or discretization parameters. Proof. Set v = 2u in 4.1; multiply 4.4, at time t = t, by 2Π Q u and integrate over Ω; finally, set r = 2 κ Re q in 4.. Adding te ensuing identities we obtain d u 2 + du 2 + 2Au 2 + κ Re d q ψ + dψ, u 2 L, u Γ + κ Re u 2, 4.7 were we used tat ψ M H0 1 Ω to infer dψ, u = dψ, u, and tat, setting r = dq, in 4. reveals Next we set z = 2 2 ψ + ψ, in 4.2 to get dq u. 2 d ψ 2 + dψ 2 d 2 ψ 2 = 2 u, ψ + dψ

12 Applying d to 4.2 and setting z = d 2 ψ yields Now we add 4.7, 4.8 and 4. to derive d u 2 + 2Au 2 + κ Notice tat inequality 1.6 implies Re d q Moreover, using [6, Lemma.], we see tat 2 L, u Γ = 22 βre 2 d 2 ψ 2 du d ψ 2 + dψ 2 2 L, u Γ + κ Re u κ Re u 2 Re u 2 + Au 2. n dψ, Γ u Γ C2 Re u 1/2,Γ n dψ 1/2,Γ. Using te trace inequality 1.7, inequality 1.6 and te inverse estimate 1.8 we continue tis bound as follows: 2 L, u Γ C 2 1 2Re 2Re Re dψ u 2 + ReAu 2 1/2 u 2 + ReAu 2 + C Re 2 dψ 2 u 2 + ReAu dψ 2, were, in te last step, we used te mes condition 4.6. Inserting tese observations into 4.10 yields te final estimate 1 u 2 + 2Re 2 Au 2 + κ Re d q d ψ 2 u 2. We now proceed as in te proof of Teorem.6 and use Lemma 1.1. Tis concludes te proof. 4.. Stability analysis of te second order sceme Let us now present te stability analysis for te second order sceme m = 2. Te proof combines te ideas of Teorem.14 and Teorem 4.5. For tis reason we eep details to a minimum. Te stability is as follows. Teorem 4.11 Stability for m = 2. Assume tat te space M satisfies 1.8. If m = 2, is sufficiently small and 4.6 olds, ten te sceme is stable, in te sense tat it satisfies u l L 2 + Au l 2 R C, were te constant C migt depend on Re, but is independent of te solution of te sceme or discretization parameters. Proof. Set v = 4u in 4.1; multiply 4.4, at time t = t, by 4Π Q u and integrate over Ω; set r = 4 κ Re q in 4. and z = 82 ψ ψ, in 4.2; apply te operator d to 4.2 and set z = d 2 ψ. Adding te ensuing identities yields, after tedious calculations wic neverteless closely follow te arguments of te proof of Teorem.14, tat 2BDF 2 u 2 + 2d du 2 d2 ψ 2 + κ Re q ψ dψ 2 + d 2 u dψ 2 + 4Au 2 2κ Re u L, u Γ + 42 d ψ

13 Next, we apply d 2 to 4.2 and set z = d ψ to get 4 2 d ψ 2 d 2 u Adding 4.1 and 4.12 yields a suitable bound for te last term on te rigt and side. Te remaining terms can be andled as in te proof of Teorem 4.5. To conclude we follow te proof of Teorem.14 and apply te tree term recursion inequalities of Lemma Remar 4.14 Oter scemes. Te tecnique used in [10, 4] to sow unconditional stability of teir sceme is very similar to te ones we ave discussed ere. Tus, one can combine our ideas wit teir tecniques to obtain unconditionally stable iger order scemes for te modified boundary condtions of [10]. To avoid repetition, we sip tese details. 5. Numerical illustrations Let us, in tis last section, evaluate te performance of te numerical scemes for traction boundary conditions discussed in previous sections. In 5.1, we explore computationally te rate of convergence for te grad-div stabilized sceme presented and analyzed in Section for m = 2 second order sceme. For te boundary correction sceme of Section 4, similar computations are carried out in 5.2. All examples are computed wit te elp of te open-source finite element library deal.ii [4]. In particular, te implementation is an extension of te framewor used in [18]. We use te lowest order Taylor-Hood elements over quadrilateral meses, tat is Q 2 /Q 1 finite elements. In all te experiments, te arising linear systems are solved using te generalized minimal residual metod GMRES solver wit an AMG preconditioner. For all convergence tests we set Ω = 0, 1 2 and coose te rigt and sides f and g so tat te exact solution to is 5.1. Grad-div stabilization ut, x, y := sint + x sint + y cost + x cost + y, pt, x, y := sint + x y. Here we explore te sceme.1.5 of Section. Computational results for a first order discretization m = 1 and comparisons wit suboptimal classical standard pressure correction scemes ave been provided in [7]. Terefore, ere we focus on te second order m = 2 case. For all values of te discretization parameters we set α = 1. Te beavior of te errors in te velocity and pressure approximations versus te time step are depicted in Figure 5.1 wit different Re {10 1, 10 0, 10 2, 10 4 } numbers. Te space discretization is cosen fine enoug = so tat it does not pollute te time discretization error. However, note tat larger mes size = is cosen for te case Re = 10 4 to be efficient in computational time for solver. We observe a rate of convergence of O /2 for te velocity in te l 2 H 1 Ω and l L 2 Ω norms and te pressure in te l 2 L 2 Ω and l L 2 Ω norms for all cases. Notice tat tis is to be expected, since tis is te provable rate of convergence for te rotational sceme even in te case of no-slip boundary conditions [15] Boundary correction sceme To test te sceme wit boundary correction of Section 4 we eep te setup of 5.1. Te results are sown in Figure 5.2 wit different Re {10 1, 10 0, 10 2, 10 4 } numbers. Te space discretization is cosen fine enoug = so tat it does not pollute te time discretization error. We observe a rate of convergence of O /2 for te velocity in te l 2 H 1 Ω and l L 2 Ω norms and te pressure in te l 2 L 2 Ω and l L 2 Ω norms for all cases. From tese observations we can obtain several conclusions: Te first, and obvious one, is tat indeed te boundary correction provides an improvement in accuracy over te standard rotational sceme. Secondly, to obtain stability and expected convergence rate, we observe tat, wile 4.6 migt not be sarp, te time step is related to te Reynolds number Re and te mes size especially wen Re < 1. Tis can be illustrated by te fact tat, in te case of Re = 10 1 a smaller time step and mes size = were required to obtain te expected convergence rates. 1

14 Re=10-1 Re= Slope /2 Velocity: l L2 norm Velocity: l2h1 norm Pressure: l2l2 norm Pressure: l L2 norm Slope /2 Velocity: l L2 norm Velocity: l2h1 norm Pressure: l2l2 norm Pressure: l L2 norm 10-1 a Re = 10 1 Re=10 2 b Re = Re= Slope /2 Velocity: l L2 norm Velocity: l2h1 norm Pressure: l2l2 norm Pressure: l L2 norm Slope /2 Velocity: l L2 norm Velocity: l2h1 norm Pressure: l2l2 norm Pressure: l L2 norm c Re = 10 2 d Re = 10 4 Figure 5.1: Decay of different error norms versus time step for te rotational pressure correction projection metod wit grad-div stabilization of Section wit different Re numbers. Te order of convergence O /2 is observed as expected for all cases. One final observation is in convergence order. Namely, even toug te sceme wit grad-div stabilization couples te components of te velocity and tus complicates te linear algebra, a comparison of Figures 5.1 b and 5.2 b wit Re = 1 reveals tat te magnitude of te errors for bot velocity and pressure is smaller for a same given mes size and a time step. Terefore, we observe tat grad-div stabilization sceme seems to be more accurate. Finally, we must remar tat te computations of [6] sow a rate of convergence of O 2. However, we believe tat tis is due to te fact tat te autor tere considers a smoot domain and tat, for general domains, our results are sarp. 5.. Flow around a cylinder Let us conclude wit a more realistic example. In te domain Ω = 0, 2.2 0, 0.41\B r , we compute a 2D laminar flow around a cylinder wic is introduced as a bencmar problem in [22]. Here B r := {x R 2 : x c r} is te circle wit te center c = 0.2, 0.2 and radius r = Te detailed geometry and te notation we adopt for pieces of te boundary are depicted in Figure 5.. We set omogeneous no-slip boundary conditions on Γ S Γ 2 Γ, i.e., u ΓS Γ 2 Γ = 0. On te outflow boundary Γ 4, a omogeneous open boundary condition is given: 1 u pi n = Re Γ 4 14

15 Re=10-1 Re= Slope /2 Velocity: l L2 norm Velocity: l2h1 norm Pressure: l2l2 norm Pressure: l L2 norm Slope /2 Velocity: l L2 norm Velocity: l2h1 norm Pressure: l2l2 norm Pressure: l L2 norm 10-1 a Re = 10 1 Re=10 2 b Re = 1 Re= Slope /2 Velocity: l L2 norm Velocity: l2h1 norm Pressure: l2l2 norm Pressure: l L2 norm 10-6 Slope /2 Velocity: l L2 norm Velocity: l2h1 norm Pressure: l2l2 norm Pressure: l L2 norm c Re = 10 2 d Re = 10 4 Figure 5.2: Decay of different error norms versus time step for te rotational pressure correction projection metod wit boundary correction of Section 4 wit different Re numbers. An order of convergence O /2 is observed. Note tat we employ a smaller mes size for case a Re = 0.1 due to te mes condition Γ 0.2 Γ 1 Γ S Γ 2 Γ Figure 5.: Geometry for te test case of 5. wit te notation for different pieces of te boundary. Homogeneous no-slip boundary conditions are imposed on Γ S Γ 2 Γ, outflow boundary conditions are imposed on Γ 4, i.e., 5.1. A parabolic inflow, as in 5.2, is prescribed on Γ 1. Finally, on Γ 1, a parabolic inflow is prescribed ut, 0, y = 4y0.41 yu, 0, were te velocity magnitude is U = 1.5. Te fluid begins at rest and we set te Reynolds number to Re = To ensure numerical stability we add a first order numerical viscosity to te momentum equation of te form ν u were, in every cell, te artificial viscosity is defined by ν := 1 2 c u, wit being te cell size. In all tests we set 15

16 Figure 5.4: Velocity magnitude and pressure values at t = 0 for te example of 5.. c = 0.2. For space discretization we employ te lowest order Taylor-Hood elements Q 2 /Q 1 wit, 56 and 4, 288 degrees of freedom for velocity and pressure, respectively. Te minimum mes size in te domain is = Te time step is cosen as = Figure 5.4 depicts te magnitude of te velocity u and te pressure values at time t = 0 by using te boundary correction metod of Section 4. Te grad-div stabilization metod of Section yields similar results, albeit at a iger computational cost due to te complexity of te underlying linear systems, see [7]. We note tat te obtained results seem to coincide wit tose sown in [22]. 6. Conclusion We present stability analyses for te two different rotational pressure correction fractional time stepping scemes supplemented wit open and traction boundary conditions. Te grad-div stabilized sceme is unconditionally stable and our results can open te door for producing an error analysis for it. For te results of boundary correction sceme in Section 4, we observe a major drawbac. Namely, we require te rater stringent condition 4.6. Computations presented in [6] and in tis wor indicate tat tis is not sarp. How to circumvent tis is currently under investigation. Acnowledgments Te wor of S. Lee is supported by te Center for Subsurface Modeling, Institute for Computational Engineering and Sciences at UT Austin. Te wor of A.J. Salgado is supported in part by te National Science Foundation grant DMS

17 References [1] P. Angot, J.-P. Caltagirone, and P. Fabrie. A fast vector penalty-projection metod for incompressible non-omogeneous or multipase Navier-Stoes problems. Appl. Mat. Lett., 2511: , [2] P. Angot, J.-P. Caltagirone, and P. Fabrie. A new fast metod to compute saddle-points in constrained optimization and applications. Appl. Mat. Lett., 25: , [] P. Angot and R. Ceaytou. Vector penalty-projection metod for incompressible fluid flows wit open boundary conditions. In A. Handlovičová, Z. Minarecová, and D. Ševčcovič, editors, ALGORITMY 2012, 1t Conference on Scientific Computing, Vysoé Tatry Podbansé, pages Slova University of Tecnology in Bratislava,, [4] W. Bangert, T. Heister, L. Heltai, G. Kanscat, M. Kronbicler, M. Maier, and B. Turcsin. Te deal.ii library, version 8.. preprint, [5] E. Bänsc. Finite element discretization of te Navier-Stoes equations wit a free capillary surface. Numer. Mat., 882:20 25, [6] E. Bänsc. A finite element pressure correction sceme for te Navier-Stoes equations wit traction boundary condition. Comput. Metods Appl. Mec. Engrg., 27:18 211, [7] A. Bonito, J.-L. Guermond, and S. Lee. Modified pressure-correction projection metods: Open boundary and variable time stepping. In Numerical Matematics and Advanced Applications - ENUMATH 201, volume 10 of Lecture Notes in Computational Science and Engineering, pages Springer, [8] A. Bonito, J-L. Guermond, and S. Lee. Numerical simulations of bouncing jets. International Journal for Numerical Metods in Fluids, 801:5 75, [] C.-H. Bruneau and P. Fabrie. New efficient boundary conditions for incompressible Navier-Stoes equations: a well-posedness result. RAIRO Modél. Mat. Anal. Numér., 07: , 16. [10] S. Dong and J. Sen. A pressure correction sceme for generalized form of energy-stable open boundary conditions for incompressible flows. J. Comput. Pys., 21: , [11] H.C. Elman, D.J. Silvester, and A.J. Waten. Finite elements and fast iterative solvers: wit applications in incompressible fluid dynamics. Numerical Matematics and Scientific Computation. Oxford University Press, Oxford, second edition, [12] J.-L. Guermond, P. Minev, and J. Sen. Error analysis of pressure-correction scemes for te time-dependent Stoes equations wit open boundary conditions. SIAM J. Numer. Anal., 41:2 258 electronic, [1] J.-L. Guermond, P. Minev, and J. Sen. An overview of projection metods for incompressible flows. Comput. Metods Appl. Mec. Engrg., : , [14] J.-L. Guermond and A.J. Salgado. Error analysis of a fractional time-stepping tecnique for incompressible flows wit variable density. SIAM Journal on Numerical Analysis, 4:17 44, [15] J.-L. Guermond and J. Sen. On te error estimates for te rotational pressure-correction projection metods. Mat. of Comp., 7248: electronic, [16] J.G. Heywood and R. Rannacer. Finite-element approximation of te nonstationary Navier-Stoes problem. IV. Error analysis for secondorder time discretization. SIAM J. Numer. Anal., 272:5 84, 10. [17] J Kim and P Moin. Application of a fractional-step metod to incompressible navier-stoes equations. Journal of Computational Pysics, 52:08 2, 185. [18] S. Lee. Numerical simulations of bouncing jets. ProQuest LLC, Ann Arbor, MI, Tesis P.D. Texas A&M University. [1] R.H. Nocetto and J.-H. Pyo. Te gauge-uzawa finite element metod. I. Te Navier-Stoes equations. SIAM J. Numer. Anal., 4: electronic, [20] A. Poux, S. Glocner, E. Ausborde, and M. Azaïez. Open boundary conditions for te velocity-correction sceme of te Navier-Stoes equations. Comput. & Fluids, 70:2 4, [21] J.-H. Pyo. A classification of te second order projection metods to solve te Navier-Stoes equations. Korean J. Mat., 224: , [22] M. Scäfer and S. Ture. Bencmar computations of laminar flow around a cylinder. In Flow Simulation wit Hig-Performance Computers II., pages Springer, 16. Notes Numer. Fluid Mec., vol. 52,. [2] L.J.P. Timmermans, P.D. Minev, and F.N. van de Vosse. An approximate projection sceme for incompressible flow using spectral elements. Internat. J. Numer. Metods Fluids, 22:67 688,