arxiv: v1 [math.na] 25 Jul 2014

Transcription

1 A second order in time, uniquely solvable, unconditionally stable numerical sceme for Can-Hilliard-Navier-Stokes equation Daozi Han, Xiaoming Wang November 5, 016 arxiv: v1 [mat.na] 5 Jul 014 Abstract We propose a novel second order in time numerical sceme for Can-Hilliard-Navier- Stokes pase field model wit matced density. Te sceme is based on second order convex-splitting for te Can-Hilliard equation and pressure-projection for te Navier-Stokes equation. We sow tat te sceme is mass-conservative, satisfies a modified energy law and is terefore unconditionally stable. Moreover, we prove tat te sceme is unconditionally uniquely solvable at eac time step by exploring te monotonicity associated wit te sceme. Tanks to te weak coupling of te sceme, we design an efficient Picard iteration procedure to furter decouple te computation of Can-Hilliard equation and Navier-Stokes equation. We implement te sceme by te mixed finite element metod. Ample numerical experiments are performed to validate te accuracy and efficiency of te numerical sceme. Keywords Can-Hilliard-Navier-Stokes; diffuse interface model; energy law preserving; unique solvability; pressure-projection; mixed finite element 1 Introduction In tis work, we are interested in solving numerically te Can-Hilliard-Navier-Stokes CHNS pase field model tat describes te interface dynamics of a binary incompressible and macroscopically immiscible Newtonian fluids wit matced density and viscosity in a bounded domain R d, d =, 3. Te non-dimensional system takes te explicit form as, cf. [?] φ t + φu = Mφ µ, in T 1.1 µ = f 0φ ɛ φ, in T 1. u t 1 ɛ 1 u + u u + p = Re W e φ µ, in T 1.3 u = 0, in T 1.4 Department of Matematics, Florida State University, Tallaassee, FL 3306, USA. dan@mat.fsu.edu Department of Matematics, Florida State University, Tallaassee, FL 3306, USA. wxm@mat.fsu.edu 1

2 were u is te velocity field, p is a modified pressure, φ is te pase field variable order parameter, µ te cemical potential, f 0 φ is te quartic omogeneous free energy density function f 0 φ = φ, and T := 0, T wit T > 0 a fixed constant. Re is te Reynolds number; W e is te modified Weber number tat measures te relative strengts of te kinetic and surface energies [?]; ɛ is a dimensionless parameter tat measures capillary widt of te diffuse interface; Mφ is te mobility function tat incorporates te diffusional Peclet number P e. We refer to [?,?] for te detailed non-dimensionalization of te CHNS system. We close te system wit te following initial and boundary conditions u = 0, on 0, T 1.5 φ n = µ n = 0, on 0, T 1.6 u, φ t=0 = u 0, φ 0, in. 1.7 Here n denotes te unit outer normal vector of te boundary. It is clear tat te CHNS system under te above boundary conditions is mass-conservative, d φ dx = 0, 1.8 dt and energy-dissipative d dt E totu, φ = 1 Re were te total energy E tot is defined as 1 E tot u, φ = u dx + 1 W e u dx ɛ 1 W e Mφ µ dx, ɛ f 0φ + ɛ φ dx Te first term on te rigt and side of equation 1.10 is te total kinetic energy, and te term, denoted by E f trougout, is a measure of te surface energy of te fluid system. Te CHNS pase field model is proposed as an alternative of sarp interface model to describe te dynamics of two pase, incompressible, and macroscopically immiscible Newtonian fluids wit matced density, cf. [?,?,?,?,?]. In contrast to te sarp interface model, te diffuse interface model recognizes te micro-scale mixing and ence treats te interface of two fluids as a transition layer wit small but non-zero widt ɛ. Altoug te region is tin, it may play an important role during topological transition like interface pincoff or reconnection [?]. One ten introduces an order parameter φ, for instance te concentration difference, wic takes te value 1 in te bulk of one fluid and 1 in regions filled by te oter fluid and varies continuously between 1 and 1 over te interfacial region. One can view te zero level set of te order parameter as te averaged interface of te mixture. Tus, te dynamics of te interface can be simulated on a fixed grid witout explicit interface tracking, wic renders te diffuse interface metod an attractive numerical approac for deforming interface problems. Te CHNS diffuse interface model as been successfully employed for te simulations of two-pase flow in various contexts. We refer te readers to [?,?] and references terein for its diverse applications. In tis work, we assume tat m 1 Mφ m for constants 0 < m 1 m. We point out tat te degenerate mobility function may be more pysically relevant, as it guarantees te

3 order parameter stays witin te pysical bound φ [ 1, 1] [?], toug uniqueness of weak solutions is still open even for te Can-Hilliard equation. Recent numerical experiments [?] also indicate tat te Can-Hilliard equation wit degenerate mobility may be more accurate for immiscible binary fluids. Numerical resolution of te degenerate case is a subtle matter and beyond te scope of our current work cf. [?,?] for te case of Can-Hilliard equation. Tere are several callenges in solving te system numerically. First of all, te small interfacial widt ɛ introduces tremendous amount of stiffness into te system large spatial derivative witin te interfacial region. It demands te numerical sceme to be unconditionally stable so tat te stiffness can be andled wit ease. Te resulting numerical sceme tends to be nonlinear and terefore poses callenge in proving unconditionally unique solvability. A popular strategy in discretizing te Can-Hilliard equation Eqs in time is based on te convex-splitting of te free energy functional E f, i.e., treating te convex part of te functional implicitly and concave part explicitly, an idea dates back to Eyre [?]. Te design of convex-splitting sceme yields not only unconditional stability, but also unconditionally unique solvability for systems wit symmetric structures[?,?]. However, te variational approac for proving unique solvability see te references above is not applicable to te CHNS system since te advection term in Navier-Stokes equation Eq.1.3 breaks te symmetry. In addition, te stiffness issue naturally requires adaptive mes refinement in order to reduce te computational cost. Secondly, wen it comes to solving te Navier-Stokes equation, one always faces te difficulty of te coupling between velocity and pressure. Te common practice is to use te well-known Corin-Temam type pressure projection sceme, see [?] for a general review. Lastly, iger order sceme is always preferable from te accuracy point-of-view. Yet, it is a callenge to design iger order sceme for a nonlinear system wile maintaining te unconditional stability. Tere ave been many works on te numerical resolution of te CHNS system, see a compreensive summary by Sen [?]. Here we survey several papers tat are especially relevant to ours. In [?], Kim, Kang and Lowengrub proposed a conservative, second-order accurate fully implicit discretization of te CHNS system. Te update of te pressure in te Navier-Stokes equation is based on an approximate pressure projection metod. To ensure te unconditional stability, tey introduce a non-linear stabilization term to te Navier-Stokes solver. Te sceme is strongly coupled and igly nonlinear, for wic tey design a multigrid iterative solver. Te autors point out witout proof tat a restriction on te time-step size may be needed for te unique solvability of te sceme. In [?], Feng analyses a first-order in time, fully discrete finite element approximation of te CHNS system. He sows tat is sceme is unconditionally energy-stable and convergent, but gives no analysis on unique solvability. Kay, Styles and Welford [?] also studied a first-order in time, finite element approximation of CHNS system. In contrast to Feng s sceme, te velocity in te Can-Hilliard equation 1.1 is discretized explicitly at te discrete time level. Tus te computation of te Can-Hilliard equation is fully decoupled from tat of Navier-Stokes equation. Moreover, te unique solvability of te overall sceme can be establised easily by exploring te gradient flow structure of te Can-Hilliard equation. However, a CFL condition as to be imposed for te sceme to be stable. See [?] for an operator-splitting strategy in decoupling te computation of Can-Hilliard equation and Navier-Stokes equation wic still preserves te unconditional stability witout decoupling te pressure and velocity. Dong and Sen [?] recently derived a fully decoupled linear time stepping 3

4 sceme for te CHNS system wit variable density, wic involves only constant matrices for all flow variables. However, tere is no stability analysis on teir numerical sceme. In tis paper, we propose a novel second order in time numerical sceme for Can-Hilliard- Navier-Stokes pase field model wit matced density. Te sceme is based on second order convex-splitting for te Can-Hilliard equation and pressure-projection for te Navier-Stokes equation. Tis sceme satisfies a modified energy law wic mimics te continuous version of te energy law 1.9, and is terefore unconditionally stable. Moreover, we prove tat te sceme is unconditionally uniquely solvable at eac time step by exploring te monotonicity associated wit te sceme. Tanks to te weak coupling of te sceme, we design an efficient Picard iteration procedure to furter decouple te computation of Can-Hilliard equation and Navier-Stokes equation. We implement te sceme by te mixed finite element metod. Ample numerical experiments are performed to validate te accuracy and efficiency of te numerical sceme. Te possibility of suc a sceme is alluded in Remark 5.5 [?]. A similar sceme witout pressure-correction for Can-Hilliard-Brinkman equation is proposed in te concluding remarks of [?]. Te rest of te paper is organized as follows. In section, we give te discrete time, continuous space sceme. We prove te mass-conservation, unconditional stability and unconditionally unique solvability in section 3. In section 4, te sceme is furter discretized in space by mixed finite element approximation. An efficient Picard iteration procedure is proposed to solve te fully discrete equations. Finally, We provide some numerical experiments in section 5 to validate our numerical sceme. A Discrete Time, Continuous Space Sceme Let δt > 0 be a time step size and set t k = kδt for 0 k K = [T/δt]. Witout ambiguity, we denote by f, g te L inner product between functions f and g. Also for convenience, te following notations will be used trougout tis paper φ k+ 1 1 = φk+1 + φ k, φk+ 1 3φ k φ k 1 =,.11a u k+ 1 u k+1 + u k =, ũ k+ 1 3u k u k 1 =..11b We propose te semi-implicit, semi-discrete sceme in strong form as follows: φ k+1 φ k = M φ k+ 1 µ k+ 1 δt u k+ 1,.1 µ k+ 1 1 = φ k+1 + φ k φ k+ 1 ɛ φ k+ 1,.13 u k+1 u k 1 δt Re uk+ 1 + Bũ k+ 1, u k+ 1 = p k ɛ 1 W e φ k+ 1 µ k+ 1,.14 u k+1 u k δt pk+1 p k = 0,.15 u k+1 = 0, wit boundary conditions φ k+1 n = 0, µ k+ 1 n = 0, u k+ 1 = 0, u k+1 n =

5 Here Bu, v := u v + 1 uv is te skew-symmetric form of te nonlinear advection term in te Navier-Stokes equation.14, wic is first introduced by Temam [?]. In te space continuous level, ũ k+ 1 = 0, tus Bũ k+ 1, u k+ 1 = ũ k+ 1 u k+ 1, wic amounts to a second order semi-implicit discretization of te advection term. Te skew symmetric form Bu, v induces a trilinear form b defined as, u, v, w H 1 0 bu, v, w = Bu, v, w = 1 {u v, w u w, v}..17 It follows immediately tat bu, v, v = 0 for any u, v H 1 0. Tis skew symmetry olds regardless of weter u, v are divergence-free or not, wic would elp to preserve te stability wen te sceme is furter discretized in space. Te overall sceme.1.15 is based on te Crank-Nicolson time discretization and te second order Adams-Basfort extrapolation. We note tat te term 1 φ k+1 + φ k φ k+ 1 φ k+ 1 from te cemical potential equation.13 is a second order approximation of te nonlinear term f 0 φ Eq.1., wic is derived according to a convex-splitting of te free energy density function f 0 φ. To see tis, we rewrite f 0 φ as te sum of a convex function and a concave function f 0 φ = f v φ + f c φ := 1 4 φ4 + 1 φ + 1 4, and accordingly f 0 φ = f vφ + f cφ. Te idea of convex-splitting is to use explicit discretization for te concave part i.e. f c φ k+ 1 and implicit discretization for te convex part. Tus we approximate f vφ k+ 1 by te Crank-Nicolson sceme f vφ k+ 1 f v φ k+1 f v φ k φ k+1 φ k = 1 [φk+1 + φ k ]φ k+ 1. Suc a second order convex-splitting sceme is originally proposed and analysed in [?,?] in te context of pase field crystal equation, see also [?] for applications in tin film epitaxy. We point out one can also approximate f 0 φk+ 1 directly by Crank-Nicolson sceme [?,?] wic would yield unconditional stability. Te design of convex-splitting sceme enables us to prove not only unconditional stability but also unconditionally unique solvability of te overall sceme. Eqs..14 and.15 comprise te second order incremental pressure projection metod of Van Kan type [?] wit linear extrapolation for te nonlinear advection term. Te viscous step Eq..14 solves for an intermediate velocity u k+1 or, equivalently u k+ 1 wic is not divergence-free. Te projection step Eq..15 is amount to u k+1 = P H u k+1, were P H is te Leray projection operator into H: H := {v L ; v = 0; v n = 0}. Te projection equation.15 can also be solved in two sub-steps: first troug a Pressure Poisson equation for te pressure increment p k+1 p k = δt ũk+1, p k+1 p k n =

6 and ten by an algebraic update for velocity u k+1 = ũ k+1 δt pk+1 p k..19 Variants of suc a splitting metod are analyzed in [?] were it is sown discrete time, continuous space tat te scemes are second order accurate for velocity in l 0, T ; L but only first order accurate for pressure in l 0, T ; L. Te loss of accuracy for pressure is due to te artificial boundary condition cf. Eq..18 imposed on pressure [?]. We also remark tat te Crank-Nicolson sceme wit linear extrapolation is a popular time discretization for te Navier-Stokes equation. We refer to [?] and references terein for analysis on tis type of discretization. Note tat te projection step Eq..15 is decoupled from te rest of te equations. Moreover, te coupling between Eqs is fairly weak, tanks to te semi-implicit discretization. We see tat te Can-Hilliard equation.1 and.13 is coupled wit te Navier-Stokes equation.1 only troug te velocity u k+ 1 in te advection term of Eq..1 and te cemical potential µ k+ 1 in te elastic forcing term of Eq..14. On te one and, tis allows us to use a Picard iteration procedure on velocity to furter decouple te computation of te nonlinear Can-Hilliard equation from te linear Navier-Stokes equation, see Section 4 for details. On te oter and, owing to te special design, we are able to sow te unconditionally unique solvability of te system by a monotonicity argument cf. Section 3. In fact, one can define a solution operator φ k+1 µ k+ 1 : µ k+ 1 φ k+1 from equation.13. Likewise, equation.14 gives rise to a solution operator u k+ 1 µ k+ 1 : µ k+ 1 u k+ 1. As a result, te system reduces to a scalar equation in terms of te unknown µ k+ 1 φ k+1 µ k+ 1 φ k + δt φk+ 1 u k+ 1 µ k+ 1 δt M φk+ 1 µ k+ 1 = 0. Te key ere is to recognize tat te left-and side of te above equation defines a strictly monotone operator T µ, in te sense tat T µ T ν, µ ν 0, wit equal sign if and only if µ = ν. Tus one can invoke te Browder-Minty Lemma 3.1 see Section 3 to prove te unique existence of suc a solution µ k+ 1. We remark tat te variational approac [?,?] is not directly applicable for te unique solvability of te Can-Hilliard-Navier- Stokes system In bot cases Can-Hilliard-Hele-Saw, Can-Hilliard-Brinkman, te approac relies on te symmetry of te underlying systems wic breaks down in te Navier- Stokes equation due to te nonlinear advection. 3 Properties of te sceme In tis section, we summarize te properties of te discrete time, continuous space sceme.1-.16, namely mass-conservation, unconditional stability and unconditionally unique solvability. It will be clear from te proof, tat tese properties will be preserved wen te sceme is combined wit any consistent Galerkin type spatial discretization scemes. First of all, one can readily obtain tat te sceme is mass-conservative. 6

7 Proposition 3.1. Te sceme equipped wit te boundary condition.16 satisfies te mass-conservation, i.e., φ k+1 dx = φ k dx, k = 0, 1, K 1. Next, we sow tat our numerical sceme is unconditionally stable, tus allowing for large time stepping. Recall te definition of te total energy functional E tot u, φ in Eq Proposition 3.. Te sceme wit te boundary condition.16 satisfies te modified energy law {E tot u k+1, φ k+1 + ɛ 1 4W e φk+1 φ k L + δt } 8 pk+1 L {E tot u k, φ k + ɛ 1 4W e φk φ k 1 L + δt } 8 pk L = δt ɛ 1 W e M µ k+ 1 L δt 1 Re uk+ 1 L ɛ 1 4W e φk+1 φ k + φ k 1 L. 3.0 Tus it is unconditionally stable. Proof. One first takes te L inner product of Eq..1 wit δtµ k+ 1 to obtain φ k+1 φ k, µ k+ 1 = δt M µ k+ 1 L + δt φk+ 1 u k+ 1, µ k Next, multiplying Eq..13 by φ k+1 φ k, performing integration by parts and using te te following identity one deduces φk+ 1, φ k+1 φ k = 1 3φ k φ k 1, φ k+1 φ k = 1 φ k+1 + φ k, φ k+1 φ k 1 φ k+1 φ k + φ k 1, φ k+1 φ k = 1 φ k+1 L φ k 1 L 4 { φk+1 φ k L φ k φ k 1 L + φ k+1 φ k + φ k 1 L }, φ k+1 φ k, µ k+ 1 + f0 φ k+1 f 0 φ k, 1 + ɛ φk+1 L φ k L { φk+1 φ k L φ k φ k 1 L + φ k+1 φ k + φ k 1 L } = 0, 3. were one as utilized te definition of f 0 φ = 1 4 φ 1. Summing up Eqs. 3.1 and 3. gives f0 φ k+1 f 0 φ k, 1 + ɛ φk+1 L φ k L φk+1 φ k L φ k φ k 1 L = 1 4 φk+1 φ k + φ k 1 L δt M µ k+ 1 L + δt φk+ 1 u k+ 1, µ k+ 1, 3.3 7

8 Now we turn to te Navier-Stokes part. Taking te L inner product of Eq..14 wit u k+ 1 δt and using te skew-symmetry of te trilinear form b in.17, one gets 1 uk+1 L u k L + δt 1 Re uk+ 1 L = δt p k, u k+ 1 ɛ 1 φk+ δt 1 W e µ k+ 1, u k+ 1. Testing te first equation in.15 by u k+1 δt and performing integration by parts yield uk+1 L u k+1 L + u k+1 u k+1 L = 0, 3.5 were one as utilized explicitly te divergence-free condition u k+1 = 0. Next, we rewrite te projection step Eq..15 as u k+1 + u k u k+ 1 δt + 1 pk+1 p k = 0. Testing te above equation wit δt pk, one arrives at δt { p k+1 L p k 8 L p k+1 p k } L = δt p k, u k On te oter and, it follows directly from Eq..15 tat δt 8 pk+1 p k L = 1 uk+1 u k+1 L. 3.7 Now summing up Eqs and in view of Eq. 3.7, one obtains 1 uk+1 L u k L + δt { p k+1 L p k } 8 L = δt 1 Re uk+ 1 L δt ɛ 1 W e φk+ 1 µ k+ 1, u k Te energy law 3.0 ten follows from summing up te multiple of Eq. 3.3 by ɛ 1 W e Eq Remark 3.1. Heuristically, E tot u k+1, φ k+1 + W e 1 4ɛ φ k+1 φ k L + δt 8 pk+1 L is a second order approximation of E tot u k+1, φ k+1, as one can write φ k+1 φ k L = δt φ k+1 φ k /δt L, and φ k+1 φ k /δt is an approximation of φ t at t k+1. To prove te unconditionally unique solvability of Eqs , we write tem in a weak form. Note tat te pressure equation.15 is completely decoupled from te rest of te equations. Tus one only needs to establis te unique solvability of Eqs Once u k+1 or equivalently u k+ 1 is known, one can find u k+1 and p k+1 by eiter solving a Darcy problem as Eq..15 or solving a pressure Poisson equation and an update of te velocity as described in Eqs Hereafter, we denote by L 0 an L subspace wit mean zero, i.e., L 0 := {f L ; fdx = 0}. 8 and

9 Definition 3.1. Given tat φ k, φ k 1 H 1, u k, u k 1 H 1, and p k H 1 L 0 for k = 1,, K = [T/δt], te triple {φ k+1, µ k+ 1, u k+ 1 } is said to be a weak solution of Eqs if tey satisfy φ k+1 H 1, µ k+ 1 H 1, u k+ 1 H 1 0, and tere old, v H 1, ϕ H 1, v H 1 0, φ k+1 φ k, v + δt M φ k+ 1 µ k+ 1 φk+, v δt 1 u k+ 1, v = 0, 3.9 µ k+ 1 1, ϕ = [φ k+1 + φ k ]φ k+1 + φ k, ϕ φk+ 1, ϕ 4 + ɛ φ k+1 + φ k, ϕ, 3.30 u k+ 1 u k, v + δt 1 Re u k+ 1, v + δtbũ k+ 1, u k+ 1, v = δt p k, v δt ɛ 1 φk+ 1 W e µ k+ 1, v, 3.31 were te trilinear form b is defined in.17. We will mainly use te well-known Browder-Minty lemma in establising te unconditionally unique solvability of Eqs , cf. [?], p.364, Teorem Lemma 3.1 Browder-Minty. Let X be a real, reflexive Banac space and let T : X X te dual space of X be bounded, continuous, coercive and monotone. Ten for any g X tere exists a solution u X of te equation T u = g. If furter, te operator T is strictly monotone, ten te solution u is unique. We observe tat Eqs are coupled togeter troug µ k+ 1. It is possible to rewrite te system equivalently as a scalar equation in terms of unknown µ k+ 1. To do so, we introduce two solution operators φ k+1 µ k+ 1 : µ k+ 1 φ k+1 and u k+ 1 µ k+ 1 : µ k+ 1 u k+ 1 by solving equations 3.30 and 3.31, respectively, for a given source function µ k+ 1 H 1. Specifically, one can establis te following lemmas. Lemma 3. solvability of Eq Given a source function µ k+ 1 H 1 and known functions φ k, φ k 1 H 1, tere exists a unique solution φ k+1 H 1 to Eq Moreover, te solution is bounded and depends continuously on µ k+ 1 in te weak topology. Lemma 3.3 solvability of Eq Given a source function µ k+ 1 H 1, known functions φ k, φ k 1 H 1 and u k, u k 1 H 1, tere exists a unique solution u k+ 1 H 1 0 to Eq In addition, te solution is bounded and depends continuously on µ k+ 1 in te strong topology. It will be clear from te proof of Proposition 3.3 below tat te unique solvability of Eq can be proved by using Browder-Minty Lemma 3.1 as well. Te boundedness and continuity of te solution readily follow from te fact tat Eq is a semilinear elliptic equation for 9

10 φ k+1 wit cubic nonlinearity. Lemma 3.3 can be proved by invoking te Lax-Milgram Teorem. We omit te details ere for conciseness. Wit te elp of Lemma 3.1, Lemma 3. and Lemma 3.3, one can prove te unique existence of a weak solution in te sense of Definition 3.1. Proposition 3.3. Assume tat φ k, φ k 1 H 1, u k, u k 1 H 1, and p k H 1 are known functions for k = 1,,, K 1. Ten tere exists a unique weak solution to Eqs in te sense of Def. 3.1 Proof. Here for notational simplicity, we will temporarily omit te te superscripts on φ k+1, µ k+ 1, u k+ 1. For any µ H 1, one defines an operator T : H 1 H 1 suc tat T µ, v := φ φ k, v + δt M µ, v δt φk+ 1 u, v, v H 1, 3.3 were, is te duality pairing between H 1 and H 1, φ and u are te unique solutions to Eqs and 3.31 tat are defined in Lemma 3. and Lemma 3.3, respectively. It readily follows tat T µ, v Cδt φ L + φ k L + µ L + φ k+ 1 H 1 u H 1 v H 1, were we ave used te boundedness of te mobility function m 1 M m for constants 0 < m 1 m. Tus te boundedness of te operator T follows from te boundedness of φ and u as functions of µ in Lemmas 3. and 3.3. Similarly, one can verify tat te operator T : H 1 H 1 is continuous as a consequence of te continuity of φ and u on µ. For te monotonicity, one obtains from te definition of T in 3.3 T µ T ν, µ ν = φµ φν, µ ν + δt M µ ν L δt φk+ 1 [uµ uν], µ ν, µ, ν H 1, 3.33 were φν and uν are solutions to Eqs and 3.31, respectively, wit a given source function ν. For te first term on te rigt and side of 3.33, one subtracts Eq wit source functions µ and ν respectively to get µ ν, ϕ = ɛ φµ φν[φµ + φν + φµ + φ k + φ k + φν ]ϕ dx φµ φν, ϕ, ϕ H 1. By taking ϕ = φµ φν in te above equation, one concludes tat µ ν, φµ φν 0, 3.34 and tat te equality olds if only if µ = ν tanks to te uniqueness of solutions to Eq in Lemma 3.. By te linearity of Eq. 3.31, te tird term on te rigt and side of Eq can be written as δt φk+ 1 [uµ uν], µ ν = ɛw e { uµ uν L + δt Re uµ uν L },

11 were te convective term vanises tanks to te skew-symmetry of te form b and 3.35, one sees In view of T µ T ν, µ ν 0, 3.36 wit equality if only if µ = ν. Tis establises te strict monotonicity of te operator T. We next turn to te coercivity of te operator T. One as T µ, µ = φ φ k, µ + δt M µ, µ δt φk+ 1 u, µ, µ H Taking te test function ϕ = φ φ k in Eq. 3.30, one obtains φ φ k, µ = 1 φ 4 φ k 4 dx φ k+ 1 φ φ k dx + ɛ φ φ k dx. 4 1 φ 4 dx + ɛ φ dx Cɛ, φ k+ 1 8 L + φ k H Similarly, one can take te test function v = u in Eq to get δt φk+ 1 u, µ = ɛw e { u L + δt u L δt u k p k, u } Cɛ, W e, δt{ u L + u L u k L + p k L } Collecting inequalities 3.38 and 3.39, one finds tat Eq becomes T µ, µ C µ L φ 4 L 4 + ɛ φ L + C u L + u L C, 3.40 were again te boundedness of te mobility function as been invoked. To ave coercivity in H 1, one needs to bound te average mµ := 1 µ dx appropriately. For tis, one takes te test function ϕ = 1 in Eq µ dx 1 φ 3 + φ φ k + φ k φ dx + C φ k 3 L + φ k H 1 C φ 3 L 3 + φ L + φ k L φ L 4 + C C φ 3 L 3 + φ L + φ 3 L 4 + C C φ 3 L 4 + φ L 4 + C, were one as applied Young s inequality. It readily follows tat mµ 4 3 C φ 4 L 4 + C 3.41 Tus by using Poincaré inequality, one gets from 3.40 and 3.41 tat T µ, µ C µ 4 3 H 1 C, 3.4 wic implies te coercivity of T. Now Browder-Minty Lemma 3.1 yields tat tere exists a unique solution µ H 1 suc tat T µ, v = 0, v H 1. In view of te definition of T in 3.3, one sees µ H 1 and te corresponding φ H 1, u H 1 0 uniquely solve te system

12 4 Mixed Finite Element Formulation We now discretize te time-discrete sceme in space by finite element metod. Let T be a quasi-uniform triangulation of te domain of mes size. We introduce X and Y te finite element approximations of H 1 0 and H1 respectively based on te triangulation T. In addition, we define M = Y L 0 := {q Y ; q dx = 0}. We assume tat Y Y is a stable pair for te biarmonic operator in te sense tat tere olds te inf-sup condition φ, ϕ sup c ϕ φ Y φ H 1, ϕ Y. H 1 We also assume tat X and Y are stable approximation spaces for velocity and pressure in te sense of v, q sup c q v X v L, q Y. H 1 It is pointed out [?] tat te inf-sup condition is necessary for te stability of pressure even toug one may solve te projection step as a pressure Poisson equation. Ten te fully discrete finite element formulation for sceme reads: find φ k+1, µ k+ 1, u k+ 1, p k+1, u k+1 Y Y X M X suc tat for all v, ϕ, v, q Y Y X Y tere old φ k+1 φ k, v k+ + δt M µ 1 k+ µ 1 1, ϕ = 4, v φk+ δt 1 [φ k+1 + φ k ]φ k+1 + φ k, ϕ u k+ 1, v = 0, 4.43 φk+ 1, ϕ + ɛ φ k+1 + φ k, ϕ, 4.44 k+ u 1 1 k+, v + δt u 1 ũk+ Re, v + δtb 1, u k+ 1, v = δt p k, v + u k, v ɛ 1 φk+ 1 δt W e µ k+ 1, v, 4.45 u k+1 ũ k+1 δt, v + p k+1 p k, v = 0, 4.46 u k+1, q = Te notations used ere are defined in.11 and Eq..17. Te properties of te time-discrete sceme i.e., mass-conservation, unconditional stability and unconditionally unique solvability are preserved by te fully discrete formulation Note tat Eqs amount to solving te projection step as a Darcy problem. Tis formulation is sown [?] to yield an optimal condition number for te pressure operator associated wit finite element spatial discretizations. An alternative way of solving Eqs is te so-called approximate projection cf. [?] and references terein p k+1 p k, q = δt ũk+1 1, q, q Y

13 ũk+1 u k+1, v = δt pk+1 p k, v, v X. One can still prove te unconditional stability of te sceme wit te approximate projection, see te reference above. In our numerical experiment, we observe te L error of te pressure is indeed smaller in te former case, toug at te expense of more memory consumed due to te coupling between te velocity and pressure. Note tat te only nonlinear term appears in te cemical potential equation We tus adopt a Picard iteration procedure on velocity to decouple te computation of te nonlinear Can-Hilliard equation 4.43 and 4.44 from tat of te linear Navier-Stokes equation Denote by i te Picard iteration index. Specifically, given te velocity u k+ 1,i, we solve for φ k+1,i+1, µ k+ 1,i+1 from te Can-Hilliard equation by Newton s metod. As µ k+ 1,i+1 is available, we can ten proceed to solve for u k+ 1,i+1 from te linear equations We repeat tis procedure until te relative difference between two iterations witin a fixed tolerance. We summarize tis procedure in four steps as follows: Step 1: given u k+ 1,i, find φ k+1,i+1 φ k+1,i+1 φ k, v k+ + δt M µ 1,i+1 k+ µ 1,i+1 1, ϕ = 4 + ɛ φ k+1,i+1 + φ k, ϕ,, µ k+ 1,i+1 Y Y suc tat v, ϕ Y Y, v δt φk+ 1 u k+ 1,i [φ k+1,i+1 + φ k ]φ k+1,i+1 + φ k, ϕ Step : find u k+ 1,i+1 X suc tat v X k+ u 1,i+1 1 k+, v + δt u 1,i+1 ũk+ Re, v + δtb 1 + u k, v ɛ 1 φk+ 1 δt W e µ k+ 1,i+1, v,, v = 0, φk+ 1, ϕ, u k+ 1,i+1, v = δt p k, v Step 3: find u k+ 1 X by repeating Step 1 and Step until te relative error in L of u k+ 1,i+1 u k+ 1,i is witin a fixed tolerance. Step 4: find u k+1 X, p k+1 Y equivalently, p k+1 p k suc tat v X, q Y u k+1 ũ k+1 δt, v + p k+1 p k, v + u k+1, q = 0. We remark tat our sceme is a two step metod. One can solve for φ 1, µ1, u1, p1 troug a coupled first order sceme see, for example, [?,?] to initialize te second order sceme. Numerical simulations in [?] suggest tat at least 4 grid elements across te interfacial region of tickness ɛ are needed for accuracy. To improve te efficiency of te algoritm, we explore te capability of adaptive mes refinement of FreeFem++ cf. [?] in wic a variable metric/delaunay automatic mesing algoritm is implemented. 5 Numerical Experiments In tis section, we perform some standard tests to gauge our numerical algoritm. For simplicity, we will use P1 P1 function spaces for Y Y, and P1b P1 mixed finite element 13

14 spaces for X Y. It is well-known [?,?] tat tese approximation spaces satisfy te inf-sup conditions for te biarmonic operator and Stokes operator, respectively. In principle, any infsup compatible approximation spaces for biarmonic operator and Stokes operator can be used, for example, P P for Y Y, and Taylor-Hood P P1 for X Y. 5.1 Convergence, energy dissipation, mass conservation Here we provide some numerical evidence to sow tat our sceme is second order accurate, energy-dissipative and mass-conservative. As te Can-Hilliard equation does not ave a natural forcing term, we verify te second order convergence of te sceme by a Caucy convergence test. We consider te problem in a unit square domain = [0, 1] [0, 1]. Te initial conditions are taken to be φ 0 = 0.4 cosπx cosπy cosπx cos3πy, u 0 = sinπx sinπy, sinπy sinπx. We impose no-slip no penetration boundary conditions for velocity, and omogeneous Neumann boundary condition for φ and µ. Te final time is T = 0.1, te grid in space is uniform = n grid points in eac n direction, for n from 5 to 9, and te refinement pat is taken to be δt = 0.. Te oter parameters are ɛ = 0.04, M = 0.1, W e = 5, Re = 100. We calculate te te rate at witc te Caucy difference converges to zero in te L norm. Te errors and convergence rates are given in Table 1. Te results sow tat te sceme is of second order accuracy for φ and u in L norm, and te rate of convergence for pressure p appear to be only first order rate rate rate φ 4.14e e e 5 u 7.1e e e e 5 v 6.99e e e e 6 p.05e e e e 5 Table 1: Caucy convergence test; errors are measured in L norm; n grid points in eac direction for n from 5 to 9, δt = 0., ɛ = 0.04, M = 0.1, W e = 5, Re = 100. Next, we verify numerically tat te total energy of te system is non-increasing at eac time step. We define two discrete energy functional at discrete time t = kδt according to Proposition 3.0 E,t = E,t app = E,t + 1 uk dx + 1 W e ɛ 1 4W e 1 ɛ f 0φ k + ɛ φk dx, p k dx. φ k φk 1 dx + δt 8 18 In te calculation, we take δt = 0.005, = and a constant mobility M = 1.0. Te oter parameters are te same as ones in te Caucy convergence test. Fig. 1 sows tat bot of 14

15 Energy Energy Time Time a Evolution of E,t b Evolution of E,t app Figure 1: Time evolution of te discrete energy; δt = 0.005, = W e = 5, Re = , M = 1.0, ɛ = 0.04, te discrete energy functional E,t and Eapp,t are indeed non-increasing in time. Moreover, since Eapp,t is a second order approximation of E,t in terms of δt, te qualitative evolution beaviour of E,t and Eapp,t is virtually te same. In Fig., we sow te time evolution of te discrete mass φk dx associated wit te energy dissipation test Fig. 1. Note tat φ 0dx = 0. After projection into te finite element space P1, we ave φ0 dx = 8.14e 06. Fig. sows tat te exact value is preserved during te evolution, wic verifies tat our sceme is conservative Mass Time Figure : Time evolution of te discrete mass φk dx; te parameters are given in Fig Sape relaxation Here we use te CHNS system to simulate te relaxation of an isolated sape in a two-pase flow system. Te initial sape is a small square located in te middle of te domain cf. Fig. 3. For velocity, we set bot te initial condition and boundary condition to be 15

16 zero. We impose omogeneous Neumann boundary conditions fro φ and µ. Te parameters are ɛ = 0.005, W e = 00, Mφ = φ + ɛ, Re = 10, δt = In space, we explore te adaptive mes refinement of FreeFem++ cf. [?] wic uses a variable metric/delaunay automatic mesing algoritm. Specifically, we adapt te mes according to te Hessian of te order parameter suc tat at least four grid cells are located across te diffuse interface. Figure 3: Te initial sape of te order parameter for simulations of sape relaxation. Since te initial velocity is zero, te initial total energy of te system is te surface energy. Due to te effect of surface tension and te isotropy of te mobility, isolated irregular sape will relax to a circular sape. Tis relaxation is observed in Fig. 4. We also sow te effectiveness of te adaptive mes refinement at t = 0.0 and t = 0.4 in Fig. 5. Next, we demonstrate te effect of imposed sear on sape relaxation. Te initial configuration of order parameter is given in Figure 3. For velocity, we take te initial data to be te Stokes solution to te lid driven cavity problem and for boundary data we take u y=1 = x1 x, 0 and zero oterwise. We set Re = 100 and te rest of te parameters are te same as in te case of surface tension driven flow Fig. 4. Te relaxation of te sape under sear driven flow and te associated flow field are reported in Fig. 6. As te flow goes clockwise, te sape travels sligtly to te left. Meanwile, te sape elongates to an ellipse wit te major axis along nort-west direction. 5.3 Spinodal decomposition Te CHNS system can be used as a model for spinodal decomposition of a binary fluid, cf. [?]. Here we examine te effect of te excess surface tension, defined as γ = 1 W e, on coarsening during spinodal decomposition. Te initial velocity is zero u 0 = 0. For te initial condition of te pase field variable, we take a random field of values φ 0 = φ + rx, y wit an average composition φ = 0.05 and random r [ 0.05, 0.05]. We take no-slip no penetration boundary condition for velocity and omogeneous Neumann boundary condition for φ and µ. Te parameters are ɛ = 0.005, Mφ = φ + ɛ, Re = 10, δt = 0.005, = 56. In Fig. 7, we sow some snapsots of te filled contour of φ in gray scale wite color φ 1.0, black color φ 1.0 at different times wit γ = 0, 0.1ɛ, 1.0ɛ, respectively. Te case of γ = 0, corresponds to purely Can-Hilliard equation wit no fluid motion, is included for comparison purpose. After a rapid initial pase separation not sown in Fig. 7, te dynamics of te CHNS system are dominated by te slow process of coarsening. Tere are several pysical mecanisms 16

17 t = 0.0 t = 0.1 t = 0.4 t = 1 Figure 4: Sape relaxation of surface tension driven flow; ɛ = 0.005, W e = 00, Mφ = φ + ɛ, Re = 10, δt = 0.005; Adaptive mes refinement is explored for spatial discretization. mes at t = 0.0 mes at t = 0.4 Figure 5: Adaptive mes refinement associated wit sape relaxation in Fig. 4 at t = 0.0, 0.4; ɛ = 0.005, 4 grid elements are placed across te interfacial area. in te CHNS system tat contribute to te coarsening process: bulk diffusion, surface diffusion, and ydrodynamic convection. Note tat our cosen regularized degenerate mobility Mφ limits te bulk diffusion of order ɛ at te late stage of te coarsening process. In comparison to te coarsening process governed by te Can-Hilliard equation wit no fluid motion te first 17

18 t = 0.0 t = 0.1 t = 0.4 t = 1 Figure 6: Sape relaxation under sear driven flow and te flow field; Te applied sear is on te upper boundary wit a sear rate of x1 x; Re = 100, ɛ = 0.005, W e = 00, Mφ = φ + ɛ. column of Fig. 7, we find tat te ydrodynamic effect speeds up te coarsening process by promoting te droplets coalescence, te larger γ, te more dramatic te coalescence effect. Te effect is less discernible in te case of γ = 0.1ɛ W e = 000. Indeed, te morpology for γ = 0 W e = and γ = 0.1ɛ are nearly identical over te evolution. One can even observe te evaporation-condensation effect Ostwald ripening for te scattered isolated drops at t = 4, 9. In contrast, for γ = ɛ W e = 00 at te same time, te morpology is less deformed and 18

19 t=4 t=9 t = 0 t = 40 γ=0 γ = 0.1 γ = 1.0 Figure 7: Snapsots of coarsening of a binary fluid during spinodal decomposition wit γ = 0.1 second column, 1.0 tird column, respectively; Te case of γ = 0 first column is included p for comparison purpose; Te rest of te parameters are = 0.005, M φ = φ +, Re = 10, δt = 0.005, =

20 exibits ric connection fewer isolated drops. Moreover, as time evolves, te scattered islands quickly merge togeter. Coarsening rate can be tied wit surface energy decay rate. Te domain size of one pase L pysical lengt scale can be defined as a suitable negative norm of te order parameter [?]. Recall tat te surface energy E f is defined as E f = 1 1 W e ɛ f 0φ + ɛ φ dx. Tus te surface energy E f is proportional to te average interfacial circumference in D interfacial area in 3D, at least near equilibrium were te order parameter rougly as a profile of yperbolic tangent function [?]. It follows from te conservation of volume tat te spatially averaged surface energy sould scale like te inverse of te domain diameter L. Tis euristic argument suggests tat te decay rate of te surface energy can be used as a proxy of te pase coarsening rate. One can also motivate tis argument from te standpoint of sarp interface limit. Te exact relation between L and E f is an inequality establised rigorously in [?]. Fig. 8 sows te correlation between te surface energy decay rate E f tus coarsening rate and te excess surface tension parameter γ. It is observed tat larger surface tension γ smaller W e yields faster coarsening rate, wic agrees wit te energy law γ=1.0ε Energy γ=0.1ε 10 3 γ=0.01ε Time Figure 8: Loglog plot of te surface energy E f as a function of time solid lines for simulations in Fig. 7. Here we include te case γ = 0.01ɛ for comparison purpose. Te das lines are fitted functions c 1 t 0.16 γ = 0.01ɛ, c t 0.39 γ = 0.1ɛ and c 3 t γ = 1.0ɛ, respectively. For a large system of a binary fluid at late stage of spinodal decomposition, it is expected [?,?] tat te coarsening rate would obey a dynamical scaling law: Lt t α, were Lt is te average domain size of one pase. Neverteless, in D suc a scaling law is open to debate see te recent work [?] and references terein. Here we run our sceme on a domain 0

21 = [0, 00] [0, 00] for a final time up to Te parameters are: ɛ = 1.0, M = 1.0, W e = 1.0, Re = 1.0. Te initial and boundary conditions for φ and u are set similarly as above. We take δt = 0.5 and = for t 1000, and δ = 1.0 and adaptive mes refinement for t [10 3, 10 4 ]. We plot te decay of te surface energy E f in log-log scale in Fig. 9, wic reveals rougly a decay rate of 1 at te late stage of coarsening. Tis result corroborates te t 1 growt law for te average domain size proposed in [?]. Note tat te wall effect becomes influential wen t approaces 10 4 at wic large islands occupy te boundary of te domain Energy Time Figure 9: Loglog plot of te surface energy E f as a function of time solid line for te CHNS system; = [0, 00] [0, 00], ɛ = 1.0, M = 1.0, W e = 1.0, Re = 1.0; Te red das line as a slope of 1. 6 Conclusions In tis paper, we ave presented a novel second order in time numerical metod for te Can- Hilliard-Navier-Stokes system tat models two-pase flow wit matced density. Te metod is efficient since we decoupled te pressure from te velocity and pase field, and te coupling between te velocity field and te pase field is weak. We ave sown in a rigorous fasion tat te sceme is unconditionally stable and uniquely solvable. Fully discrete numerical metods effected wit finite-element metod are also presented and analyzed wit similar conclusions. To te best of our knowledge, tis is te first second-order sceme tat decouples te pressure and te velocity and pase field variables wile maintaining unconditional stability and unique solvability. Several numerical experiments are performed to test te accuracy of te sceme. We verify numerically tat our sceme is conservative, energy- dissipative, and is of second order accuracy in L norm. We demonstrate te effectiveness of our sceme incorporated wit adaptive mes 1

22 refinement by simulating te sape relaxation wit and witout applied sear. Finally, we also investigates te effect of surface tension on te coarsening rate of spinodal decomposition of a binary fluid. In particular, our long time numerical simulation suggests a growt rate of t 1 for a large system at late stage, wic agrees wit [?]. Tere are numerous potential extensions of te current work. Te design of second-order in time sceme tat decouples te pressure, velocity and pase field completely, and is unconditionally stable and uniquely solvable is very desirable. Te extension of te current sceme to te case of unmatced density, or to te case of coupled Can-Hilliard-Stokes-Darcy system tat models two-pase flow in karstic geometry would also be interesting [?]. From te teoretical side, te rigorous error analysis of te sceme, especially wit adaptive mes, is a very attractive but callenging topic. Acknowledgments Tis work was completed wile Han was supported as a Researc Assistant on an NSF grant DMS Te autors also acknowledge te support of NSF DMS100885, a planning grant and a multidisciplinary support grant from te Florida State University.