arxiv: v1 [math.na] 15 Apr 2014

Transcription

1 High order maimum principle preserving discontinuous Galerkin method for convection-diffusion equations Tao Xiong Jing-Mei Qiu Zhengfu Xu 3 arxiv:44.46v [math.na] 5 Apr 4 Abstract In this paper, we propose to apply the parametrized maimum-principle-preserving (MPP) flu limiter in [Xiong et. al., JCP, 3] to the discontinuous Galerkin (DG) method for solving the convection-diffusion equations. The feasibility of applying the MPP flu limiters to the DG solution of convection-diffusion problem is based on the fact that the cell averages for the DG solutions are updated in a conservative fashion (by using flu difference) even in the presence of diffusion terms. The main purpose of this paper is to address the difficulty of obtaining higher than second order accuracy while maintaining a discrete maimum principle for the DG method solving convection diffusion equations. We found that the proposed MPP flu limiter can be applied to arbitrarily high order DG method. Numerical evidence is presented to show that the proposed MPP flu limiter method does not adversely affect the desired high order accuracy, nor does it require restrictive time steps. Numerical eperiments including incompressible Navier-Stokes equations demonstrate the high order accuracy preserving, the MPP performance, and the robustness of the proposed method. Keywords: Discoutinuous Galerkin method, high order, maimum principle preserving, flu limiter, convection-diffusion equations Department of Mathematics, University of Houston, Houston, tiong@math.uh.edu Department of Mathematics, University of Houston, Houston, jingqiu@math.uh.edu. The first and second authors are supported by Air Force Office of Scientific Computing YIP grant FA , NSF grant DMS-78, University of Houston. 3 Department of Mathematical Science, Michigan Technological University, Houghton, zhengfu@mtu.edu. Supported by NSF grant DMS-3666.

2 Introduction In this paper, we propose a parametrized maimum-principle-preserving (MPP) flu limiter for the high order discontinuous Galerkin (DG) finite element method in order to solve the nonlinear convection-diffusion equation u t +f(u) = a(u), u(,) = u (). (.) The eact solution of (.) satisfies the maimum principle, that is, if u M = mau (), u m = min u (), (.) we have u(,t) [u m,u M ], t >. (.3) When u(,t) describes the density of a particular species, u m =, the problem is generally addressed as positivity preserving. High order shock-capturing numerical methods for convection-dominated problems include the high resolution finite volume (FV) and finite difference (FD) essentially nonoscillatory (ENO) and weighted ENO (WENO) methods for the convection part, which are capable of producing solutions with fidelity without spurious oscillations. In this framework, high order central difference is generally used to approimate the second order derivative terms. See the lecture notes [, ] and the review paper [] of Shu and reference therein for more discussion of numerical methods in this aspect. The discontinuous Galerkin (DG) method in the finite element framework is another type method; it was developed by Cockburn et. al. in a series of papers [5, 4,, 7] for hyperbolic conservation laws and systems. The DG method has been well-known for its fleibility, h-p adaptivity, compactness and high parallel efficiency [3]. Later the DG method was generalized to the convection-dominated diffusion equations. Different types of DG approaches for solving the convection diffusion equations include the local DG (LDG) method [7], the DG formulation of Cheng and Shu []. When a convection-dominated diffusion problem is solved within any of the two previously mentioned frameworks, numerical solutions may ehibit overshoots or undershoots, i.e, a discrete version of the maimum principle u m u n j u M, n,j, (.4) is no longer satisfied.

3 Two kinds of high order discrete maimum-principle-preserving limiters are newly developed for convection dominated problems. One is the polynomial rescaling MPP limiter proposed by Zhang and Shu in [3, 3] for hyperbolic conservation laws. It has been etended to the convection-diffusion equations based on a twice-integrated FV formulation of (.) within the FV high order WENO framework [3]. The same technique under the DG framework for hyperbolic conservation laws has been applied to the convection-diffusion equations on a triangular mesh in [33], however the approach does not work for the Runge-Kutta DG (RKDG) method with order higher than. The high order parametrized MPP flu limiter is developed in [8, 7] for hyperbolic conservation laws, which was later improved by Xiong et. al. [6] by applying the limiter only at the final stage of a high order RK method. The MPP flu limiter has been generalized to convection-diffusion equations under the FD WENO framework in [4] and the FV WENO framework in [9]. Early discussion of the discrete maimum principle for the convection diffusion equations includes the linear finite element solutions for parabolic equations [] with recent developments in [, 9,, 4] and the Petrov-Galerkin finite element method for convection-dominated problems [8]. However, they are under a different framework. Inthispaper, weproposetoapplytheparametrizedmppflulimiterin[6]totherkdg method, for solving convection-diffusion equations. For the convection part, the parametrized MPP flu limiter is proposed to preserve the MPP property for the cell averages and at the final RK stage only. This is different from the polynomial rescaling limiter proposed by Zhang and Shu that preserves the MPP property for the entire polynomial (or at Gaussian quadrature points) per element and at each of the RK stages. For the diffusion part, the parametrized MPP flu limiter is proposed for the DG formulations in [, 7] with general piecewise P k (k ) polynomial solution spaces. By the design, the parametrized MPP flu limiter preserves the MPP property of cell averages, thus avoids the main difficulty in the approach of polynomial rescaling limiter. Specifically, in [33], great effort is made to rewrite the updated solution as a conve combination of the solution point values in the current time step via approimating the second derivative term by point values; because of such complications, the limiter in [33] is proposed for the DG schemes with P and P solution spaces only. Our proposed approach can be viewed as a low-cost easy-to-implement post-processing procedure that modifies the high order numerical flues towards a first order one only at the final RK stage for the evolution of cell averages (not for higher moments), in order to preserve the solution cell averages MPP property. We remark that the proposed DG solutions (piecewise polynomials) with the parametrized flu limiters might be out of 3

4 the bound of [u m,u M ] with the cell averages well bounded by [u m,u M ]. One can apply the polynomial rescaling limiters as in [3] in the final time step only to ensure the numerical solution (piecewise polynomials) to be within bounds. The proposed MPP flu limiter in the DG framework is mass conservative due to the flu difference form. It is very efficient due to the fact that the limiter is only applied at the final RK stage and for the cell averages per time step. The parametrized MPP flu limiter for the DG method can be proved to maintain up to 3rd order accuracy under the time step constraint of the original DG method, by following a similar analysis as in [9, 4] for the finite volume and finite difference WENO method. The proof for higher than third order case is very technical and algebraically complicated, thus we rely on etensive numerical tests to showcase that up to fourth order accuracy can be preserved. Etensive numerical tests, including the incompressible Navier-Stokes system, are presented to demonstrate the robust performance of the proposed approach in preserving the high order accuracy as well as the MPP property. The outline of the paper is as follows. In Section, the DG formulation of Cheng and Shu [] for one and two dimensions are described. The application of the parametrized MPP flu limiters on the cell averages of the DG solution is presented. Etension to the LDG method will be discussed. Numerical results are provided in Section 3. Finally conclusions are made in Section 4. The MPP flu limiter for the RKDG method In this section, we will first briefly describe the DG method developed by Cheng and Shu [] for directly solving convection-diffusion equations. Then we will apply the parametrized MPP flu limiters developed in [6] to the RKDG method. Both one and two dimensional cases will be presented.. One dimensional case Without loss of generality, we assume periodic boundary condition or zero boundary condition with compact support for D cases. The spatial domain [a,b] is discretized by N cells, a = < 3 < < N < N+ = b, (.) 4

5 with the cell, cell center to be I j = ( j, j+ ), j = ( j + j+ ), j =, N. (.) The mesh size h j = j+ j and let h = ma j h j. In the following, for simplicity, we assume uniform mesh sizes h j = h, j. The DG method in [] is defined as follows: find u h Vh k, such that (u h ) t v h d f(u h )(v h ) d a(u h )(v h ) d I j I j I j + (ˆf(u h,u+ h )v h ) j+ ( f(u h,u+ h )v+ h ) j (ã(u h) v h ) j+ for any test function v h V k h + (ã(u h) v + h ) j +(â(u h)(v h ) ) j+ (â(u h)(v h ) + ) j =, (.3) and j =,...,N, where V k h = {v : v I j P k (I j ), j} and P k (I j ) is a piecewise polynomial space with degree up to k on the cell I j. f(u h,u+ h ) is a monotone flu for the convection term, ã(u h) and â(u h) are numerical flues chosen to be ã(u h ) = [a(u h)] ((u h ) + α [u h ] h [a(u h)]), â(u h ) = a(u + h ), (.4) here α is a positive constant chosen for stability. ξ and ξ + are the left and right limit j+ j+ from cell I j and I j+ respectively. [ξ] j+ = ξ + ξ is the jump of ξ at the cell interface j+ j+. A third order strong stability preserving (SSP) RK time discretization [3] for the j+ semi-discrete scheme (.3) is given as u () = u n + tl(u n ), u () = u n + t( 4 L(un )+ 4 L(u() )), (.5) u n+ = u n + t( 6 L(un )+ 3 L(u() )+ 6 L(u() )). The parametrized MPP flu limiters are applied to keep only the cell averages of u h within the range of [u m,u M ]. If we take v h = in (.3) and divided by h on both sides, we have d dtūh + h (Ĥj+ Ĥj ) =, (.6) where the flu Ĥ = ˆf(u h,u+ h ) ã(u h). With the third order SPP RK method (.5), the update of cell averages in equation (.6) can be written as (ū h ) n+ j = (ū h ) n j λ(ĥrk j+ Ĥrk (.7) j ), 5

6 where Ĥ rk j+ with Ĥ being the numerical flu obtained by u h respectively.. = 6Ĥn + 3Ĥ() + 6Ĥ(), (.8) j+ j+ j+ at each RK stage for = n,(),(), The MPP flu limiter is proposed to replace the numerical flu Ĥrk j+ H rk j+ by a modified one = θ j+ (Ĥrk j+ ĥj+ )+ĥj+, (.9) where ĥj+ is a first order monotone flu with which the scheme is maimum principle preserving, e.g., the global La-Friedrichs flu [8]. The parameter θ j+ is defined to ensure (ū h ) n+ j [u m,u M ], for which sufficient inequalities to have are with λ = t/h and λθ j (Ĥrk λθ j (Ĥrk Γ M j = u M (ū h ) n j +λ(ĥj+ Let F j± j ĥj ) λθ j+ j ĥj ) λθ j+. = Ĥrk j± ĥj±, the parameter θ j+ (Ĥrk j+ ĥj+ ) Γ M j, (.) (Ĥrk j+ ĥj+ ) Γ m j, (.) ĥj ), Γ m j = u m (ū h ) n j +λ(ĥj+ ĥj. ) can be obtained as follows, for details see [6]:. Assume θ j [,Λ M ], θ,i j j+ [,Λ M ], where +,I ΛM and j,i ΛM j +,I j to preserve the upper bound by equation (.), (a) If F j (b) If F j (c) If F j (d) If F j and F j+ and F j+ > and F j+ > and F j+, (Λ M,I j,λm +,I j ) = (,). <, (Λ M,I j,λm +,I j ) = (,min(, Γ M j λf j+ ))., (Λ M,I j,λm +,I j ) = (min(, Γ M j λf j ),). <, are designed Ifequation(.)issatisfiedwith(θ j,θ j+ ) = (,),then(λ M,I,ΛM ) = j +,I j (,). Ifequation(.)isnotsatisfiedwith(θ j,θ j+ ) = (,),then(λ M,I,ΛM ) = j +,I j. Similarly assume Γ M j Γ, M j ). λf j λf j+ λf j λf j+ ( where Λ m,i j and Λm +,I j θ j [,Λ m,i j ], θ j+ [,Λ m +,I j ], are designed to preserve the lower bound by equation (.), 6

7 (a) If F j (b) If F j (c) If F j (d) If F j and F j+ and F j+ < and F j+ < and F j+, (Λ m,i j,λm +,I j ) = (,). >, (Λ m,i j,λm +,I j ) = (,min(, Γ m j λf j+ ))., (Λ m,λ m Γ = (min(,,i j + j) m j ),).,I λf j >, Ifequation(.)issatisfiedwith(θ j,θ j+ ) = (,),then(λ m,i,λm ) = j +,I j (,). Ifequation(.)isnotsatisfiedwith(θ j ( Γ m j, λf j λf j+ The local parameter θ j+ θ j+ Γ m j λf j λf j+ ). is determined to be,θ j+ ) = (,),then(λ m,i,λm ) = j +,I j = min(λ M +,I,ΛM j,i,λm j+ +,I,Λm ), (.) j,i j+ by the consideration to ensure both the upper bound (.) and lower bound (.) of the cell averages in both cell I j and I j+. Remark.. In the proposed approach, the convection and diffusion terms are treated together for the MPP property of the cell averages. The parametrized flu limiters are applied only for cell averages (not for higher moments) and at the final RK stage as in (.7). Hence, the proposed flu limiting procedure has low computational cost and is easy to implement. The approach can also be generalized to other multi-stage RK and multi-step methods. We remark that the DG solutions (piecewise polynomials) with the parametrized flu limiters might be out of the bound of [u m,u M ] with the cell averages well bounded by [u m,u M ]. One can apply the polynomial rescaling limiters as in [3] in the final time step only to ensure the numerical solution (piecewise polynomials) to be within bounds. Remark.. The proposed flu limiter is different from the polynomial rescaling techniques introduced in [3, 33] in several aspects. First of all, in [3], the entire polynomial (or at least the Gaussian-Lobatto quadrature points) over each cell at each of the RK stage are rescaled to satisfy the MPP property. As a result, the temporal accuracy for a multi-stage RK method may be affected, e.g. see discussions in [3]. Secondly, in [33] the convection and diffusion terms are treated separately; for both terms, great effort has been made to rewrite the updated cell average as a conve combination of point values in the current time step. Such approach introduces etra CFL time step constraint on the DG method; moreover, it is difficult to generalize such approach for the diffusion term with higher than second order accuracy, see Remark. in [33]. 7

8 Remark.3. (accuracy) For the DG method (.3) with the numerical flues (.4), it has been proved in [] that the method is stable with sub-optimal error estimate (k-th order for P k polynomial space) for the L norm. Numerically, both L and L norms are of the optimal (k + )-th order. Regarding the preservation of high order accuracy of the original RK DG method with the proposed MPP flu limiter, similar conclusions can be established following the same line of proof in [9, 4], i.e. without any additional time step condition, () for the special case of linear advection problem, the high order accuracy of the original RK DG solutions is maintained with the proposed flu limiter; () for the general convectiondominated diffusion problem, up to third order accuracy will be maintained with the flu limiter. In fact, numerically, it can be shown that arbitrary high order accuracy is preserved, under the time step constraint from the linear stability analysis for the DG method [8, 5]. Remark.4. TheparametrizedMPPflulimitercanalsobeappliedtothelocalDG(LDG) method for the convection-diffusion equations [6]. To obtain an LDG formulation for (.), first we rewrite it as u t +f(u) = (γ(u)q), q Γ(u) =, (.3) where γ(u) = a (u) and Γ(u) = u γ(s)ds. The LDG method is defined to be: find u h,q h Vh k, such that for any test functions v h,w h Vh k, we have (u h ) t v h d (f(u h ) γ(u h )q h )(v h ) d+(ˆf ˆγˆq) j+ I j I j (v h ) (ˆf ˆγˆq) j+ j (v h ) + j q h w h d+ I j Γ(u h )(w h ) d ˆΓ j+ I j (w h ) j+ + ˆΓ j (w h ) + j ˆf = ˆf(u + h,u h ) is the monotone flu for the convection part. For the diffusion part, the numerical flues are ˆγ = Γ(u+ h ) Γ(u h ) u + h u h =, =., ˆq = q h, ˆΓ = Γ(u + h ). (.6) If we take v h = in (.4), we have the same equation (.6) for the cell average of u h, the only difference is the flu given by Ĥ = ˆf ˆγˆq. The rest of applying the flu limiter would be the same as described above. Similar arguments hold for the two dimensional case in the following subsection. Remark.5. For convection-diffusion equations with source terms u t + f(u) = a(u) + s(u,), the technique in [7] can be used for the source term to ensure the MPP property. 8 (.4) (.5)

9 . Two dimensional case In this subsection, we consider the generalization of the parametrized flu limiter to the two dimensional convection-diffusion equation u t + F(u) = (A u), F(u) = (f(u),g(u)), (.7) on a bounded domain of = (,y) [a,b] [c,d], where A = A(u,) is a symmetric semi-positive-definite matri. Similar observation of (.3) also holds for the two dimensional case. For simplicity, in the following, we assume periodic boundary conditions or zero boundary conditions with compact support in each direction. A spatial discretization with N N y rectangular meshes is defined as a = < 3 < < N < N+ = b, c = y < y3 < < y Ny < y Ny+ = d, where the cell, cell centers and cell sizes are defined by h i = i+ K ij = I i J j, I i = ( i+, i i, i = ( i+ + i h ), y j = y j+ ), J j = (y j y j,y j+ ),, y j = (y j +y j+ ), and h = ma i h i, hy = ma j h y j, h = ma(h,h y ). For simplicity, in the following, we assume h i = h, i and h y j = hy, j. The DG scheme in [] for two dimensions with rectangular mesh is defined as: find u h Vh k, such that for any test function v h Vh k, (u h ) t v h d F(u h ) v h d u h (A v h )d K ij K ij K ij + (ũha v h ) nds+ (ˆF n  uh n) v h ds =. (.8) K ij Here Vh k = {v : v K ij P k (K ij ), i,j} and P k (K ij ) is the two dimensional polynomial space with degree up to k on the cell K ij, n is the outward unit normal vector on the edges. ˆF = ˆF(u + h,u h ) is a monotone numerical flu for the convection part [], e.g., the global K ij La-Friedrichs flu. Other numerical flues are defined by [33]  u h n = A(u h ) u h n+ αλ h (uout h u in h ), ũ h A = u + h A(u+ h ), (.9) here Λ is the maimum absolute eigenvalue of the symmetric matri A, α is a parameter large enough to ensure the stability of the scheme, which will be specified later. u ± h are 9

10 the left and right limit values from the cells adjacent to the edges respectively. On the left boundary of K ij, we have u out h = u h and uin h = u+ h, while on the right boundary, uout h = u + h and u in h = u h. Similarly for uout h and u in h on the top and bottom boundaries of K ij. Taking v h = in (.8), for the cell average, simply we have where as ( d + dtūh h h y J j Ĥ( i+,y)dy Ĥ( h J y i,y)dy j + ( Ĝ(,y h y h I j+ )d Ĝ(,y i h I j )d i ) ) =. (.) Ĥ and Ĝ are ˆF n A( u h ) n with n = (,) and n = (,) respectively. With the third order RK time discretization (.5), the last stage of (.) can be written ū n+ h = ū n h λ(ĥrk i+ Ĥrk,j i,j) λy(ĝrk i,j+ Ĝrk (.) i,j ), where λ = t/h and λ y = t/h y. Ĥ rk is the integral of the numerical flu i+,j Ĥrk ( i+,y) along the cell interface { i+ } J j, which could be approimated by a numerical quadrature. At each fied quadrature point ( i+,y), Ĥ rk ( i+,y) is defined the same as (.8). Similarly for Ĝrk. i,j+ Let u m = min,y u (,y) and u M = ma,y u (,y), numerically to preserve the cell averages within the range [u m,u M ], we are looking for the type of limiters, such that where H i+,j = θ i+,j(ĥrk i+,j ĥi+,j)+ĥi+,j, (.) G i,j+ = θ i,j+ (Ĝrk ĝ i,j+ i,j+ u m (ū h ) n i,j λ ( H i+,j H i,j) λ y( G i,j+ )+ĝ i,j+, (.3) G i,j ) u M, (.4) ĥ and ĝ are first order monotone flues which can form a maimum principle preserving first order scheme similarly as the one dimensional case. (.)-(.4) form coupled inequalities for the limiting parameters θ i+,j,θ i,j+. In each cell K i,j, as the D case, the MPP flu limiters can be parametrized in the sense that we can find a group of numbers Λ L,i,j,Λ R,i,j,Λ D,i,j,Λ U,i,j, such that the numerical solutions of (.) satisfy the MPP property (.4) with (θ i,j,θ i+,j,θ i,j,θ i,j+ ) [,Λ L,i,j ] [,Λ R,i,j ] [,Λ D,i,j ] [,Λ U,i,j ].

11 For the maimum value case, let Γ M i,j = u M ( (ū h ) n i,j λ (ĥi+,j ĥi,j) λ y(ĝ i,j+ ) ĝ i,j ), (.5) when a monotone numerical flu is used under a suitable CFL constraint, which will be specified in the numerical part. Denote F i F i+ F i,j,j = λ (Ĥrk i,j ĥi,j),,j = λ (Ĥrk F i,j+ = λ y (Ĝrk i,j = λ y (Ĝrk i,j+ i+,j ĥi+,j), ĝ i,j ), ĝ i,j+ The coupled inequalities (.)-(.4) can be rewritten as θ i+,jf i+,j +θ i,jf i,j +θ i,j+ F i,j+ ). +θ i,j F i,j (.6) Γ M i,j, (.7) To decouple the inequality (.7), for the specific cell K i,j, two steps are followed:. Identify positive values out of the four locally defined numbers F i,j, F i+,j, F i,j, F i,j+ ;. Corresponding to those positive values, collectively, the limiting parameters can be defined. For eample, if F i+,j,f i,j > and F i,j,f i,j+ Λ M Γ = min( M i,j,), i+,j,λm i,j F i+,j +F i,j =. Λ M,Λ M i,j i,j+, then (.8) For the minimum value part, let Γ m i,j = u m ( (ū h ) n i,j λ (ĥi+,j ĥi,j ) λ y (ĝ i,j+ The coupled inequalities (.)-(.4) can be rewritten as Γ m i,j θ i+,jf i+,j +θ i,jf i,j +θ i,j+ F i,j+ A similar procedure would be applied: ) ĝ i,j ). (.9) +θ i,j F i,j. (.3). Identify negative values out of the four locally defined numbers F i,j, F i+,j, F i,j, F i,j+ ;

12 . Corresponding to the negative values, collectively, the limiting parameters can be defined. For eample, if F i,j,f i,j+ Λ m i,j,λm i+ Λ m,λ m i,j i,j+ and F i,j,f i+,j <, then m i,j Γ = min(,),j F i,j +F i+,j =. (.3) Namely, all high order flues which possibly contribute (beyond that of the first order flues) to the overshooting or undershooting of the updated value shall be limited by the same scaling. Similarly we can find Λ M and Λ m, The range of the limiting parameters i,j± i,j± satisfying MPP for the cell average in cell K i,j therefore can be defined by Λ L,i,j = min(λ M i,j,λm i,j), Λ R,i,j = min(λ M i+,j,λm i+,j), (.3) Λ U,i,j = min(λ M,Λ m i,j+ i,j+ ), Λ D,i,j = min(λ M,Λ m i,j i,j ). Considering the limiters from neighboring nodes, finally the local limiting parameters are defined to be { θi+ θ i,j+,j = min(λ R,i,j,Λ L,i+,j ), = min(λ U,i,j,Λ D,i,j+ ). (.33) 3 Numerical simulations In this section, we apply the parametrized MPP flu limiter to the DG method for solving several convection-diffusion problems and the incompressible Navier-Stokes equations. The method is denoted as MPPDG, whereas the original DG method without the MPP flu limiter is denoted as DG. The DG method is coupled with the third order SSP RK time discretization (.5). The time step size in this paper is defined by ( ) CFLC t = min ma f (u) h, CFLD ma a (u) h (3.) for the one-dimensional case (.) and ( t = min CFLC ma f (u) /h +ma g (u) /h y, ) CFLD/Λ /(h ) +/(h y ) (3.) for the two-dimensional case(.7), where Λ is the maimum absolute eigenvalue of matri A in (.9). Here CFLC corresponds the CFL number for the convection part, and CFLD

13 corresponds the CFL number for the diffusion part which should be small enough. In particular, in the following, we take CFLC =.3,.8,. from [8] and CFLD =.6,.,.5 as in [5], for DG method with P, P and P 3 polynomial spaces respectively, unless otherwise specified. α in (.4) and (.9) are chosen to be for P and for P and P 3. Each problem is computed to the final time T on the mesh of N cells for the one-dimensional case and N cells for the two dimensional case. For solutions with discontinuity, the TVB limiter [8] with a parameter M tvb usually needs to be applied to ensure stability. For some of the following cases, we avoid the TVB limiter to see the good performance of the MPP flu limiter, if the numerical solutions are still stable without the TVB limiter. For all figures, the cell averages of the numerical solutions are displayed. 3. Basic tests of MPP for the one dimensional case Eample 3.. (Accuracy test) We first test the accuracy for the linear equation u t +u = εu, (3.3) with initial condition u(,) = sin 4 () on [,π] and periodic boundary conditions. The eact solution is u(,t) = 3 8 ep( 4εt)cos(( t))+ ep( 6εt)cos(4( t)). (3.4) 8 Let ε =. and the final time T =, we show the L and L errors and orders for P and P 3 cases in Table 3.. For the P case, the MPP flu limiter can limit the undershoot (negative minimum values without the MPP limiter) within the theoretical bounds, without affecting the overall accuracy, since clear 3rd order accuracy for both DG and MPPDG are observed. For P 3 case, there is no overshoot or undershoot of the DG solution, thus the flu limiter are not effective. Eample 3.. In the second eample, we consider a linear advection equation [3] u t +u =, u(,) = u () (3.5) with (G(,β,z δ)+g(,β,z +δ)+4g(,β,z)),.8.6; 6,.4.; u () = (.),.; (F(,γ,a δ)+f(,γ,a+δ)+4f(,γ,a)),.4.6; 6, otherwise. G(,β,z) = e β( z), F(,γ,a) = ma( γ ( a),) (3.6) 3

14 Table 3.: L and L errors and orders for (3.3) with initial condition u(,) = sin 4 () and( eact solution (3.4). T =. The time step is (3.) for P and it is t = min for P 3 here. CFLC ma f (u) h4/3, CFLD ma a (u) h ) P DG P MPPDG P 3 DG P 3 MPPDG N L error order L error order (ū h ) min (ū h ) ma 6.6E-3 6.5E E E E E E E E E E-3 6.5E E E E E E E E E E-4 4.E E E E E E E E E E-4 4.E E E E E E E E E where the constants are taken as a =.5, z =.7, δ =.5, γ = and β = log/36δ. The computational domain is [, ] with periodic boundary condition. The solution contains a smooth but narrow combinations of Gaussians, a square wave, a sharp triangle wave and a half ellipse. In Fig. (a), we show the P solution at T = 8 with mesh N =. The TVB limiter with M tvb = is used. The minimum and maimum values without the MPP flu limiter are and , while with the MPP flu limiter they are.9 and In Fig. (b) and the zoom-in Figs. (c) and (d), we show the P solution without the TVB limiter, in which the effect of the MPP flu limiter can be clearly observed. Eample 3.3. (Porous medium equation) This is a typical eample of the degenerate parabolic equations [9]. We consider u t = (u m ), m >. (3.7) 4

15 .4.4. N=,DG N=,MPPDG Eact. N=,DG N=,MPPDG Eact.8.8 u.6 u (a) with TVB limiter, (b) without TVB limiter u u (c) zoom-in of (b) at the bottom, (d) zoom-in of (b) on the top Figure 3.: Linear advection equation (3.5) with initial condition (3.6). T = 8. Solid line: the eact solution; Symbols: cell averages of the P numerical solutions with mesh N =. 5

16 The Barenblatt solution [( B m (,t) = t s s(m ) m ) ] /(m ) (3.8) t s + is an eact solution to (3.7) with compact support, where v + = ma(v,) and s = (m+). The initial condition is B m (,). We compute the numerical solutions with m =,3,5,8 to the time T = with zero boundary conditions on [ 6,6]. For this eample, to see the difference between DG and MPPDG methods, we use the P 3 piecewise polynomial space and the TVB limiter with M tvb =. With N = 8, in Table 3., we can clearly observe the negative undershoots for the DG solutions. There is no such negative undershoot in the MPPDG solutions. The corresponding MPPDG numerical solutions are plotted in Fig. 3., which match the Barenblatt solution very well. Table 3.: Minimum values of the P 3 solutions for Porous medium equation (3.7) at T =, N = 8. m (ū h ) min of DG (ū h ) min of MPPDG Eample 3.4. (Buckley-Leverett equation) Now we consider the Buckley-Leverett convectiondiffusion equation, which is a model often used in reservoir simulations [6] u t +f(u) = ε(ν(u)u ). (3.9) We take ε =. and boundary conditions u(,t) = and u(,t) = on [,]. The function ν(u) and the initial condition are given as { 4u( u), u, ν(u) =, otherwise, u(,) = { 3,, 3,, (3.) 3 with an s-shape function u f(u) = u +( u). In Fig. 3.3, we show the numerical solutions of DG and MPPDG methods at T =. on the mesh of N = compared with the reference solution of MPPDG on the mesh of N = 5 for P k, k =,,3 respectively. We use the TVB limiter with M tvb =. All solutions match each other well. However, the DG method would have negative undershoots while MPPDG does not, which can be seen from Table 3.3 and the zoom-in figure in Fig. 3.3 (b) for the P case. 6

17 .5.5 u u (a) m=, (b) m=3.5.5 u u (c) m=5, (d) m=8 Figure 3.: Porous medium equation (3.7) with the Barenblatt solution (3.8) at T =. The solid line denotes the Barenblatt solution and the symbols are P 3 MPPDG numerical solutions, N = 8. 7

18 ...8 N=,DG N=,MPPDG N=5,MPPDG 8E-5 6E-5 N=,DG N=,MPPDG N=5,MPPDG.6 4E-5 u.4 u E (a) P, -E-5-4E (b) Zoom in near the undershoot of (a)...8 N=,DG N=,MPPDG N=5,MPPDG.8 N=,DG N=,MPPDG N=5,MPPDG.6.6 u u (c) P, (d) P 3 Figure 3.3: Numerical solutions of Buckley-Leverett equation (3.9) at T =.. 8

19 Table 3.3: Minimum values of P k solutions for Buckley-Leverett equation (3.9) at T =., N =. P k (ū h ) min of DG (ū h ) min of MPPDG k = k =.. k = Basic tests of MPP for two dimensional case Eample 3.5. (Accuracy test) We test the linear equation similarly as the one dimensional case u t +u +u y = ε(u +u yy ), u(,y,) = sin 4 (+y), (3.) on [,π] with periodic boundary conditions. The eact solution is u(,y,t) = 3 8 ep( 8εt)cos((+y t))+ ep( 3εt)cos(4(+y t)). (3.) 8 We take ε =. and T =.5. We show the L and L errors and orders for P case in Table 3.4. As epected, 3rd order accuracies have been observed for both DG and MPPDG solutions. The MPP flu limiter can limit the undershoot within the theoretical bounds, without affecting the overall accuracy. Table3.4: L andl errorsandordersfor(3.)with eact solution (3.). P andt =.5. DG MPPDG N L error order L error order (ū h ) min (ū h ) ma 8 5.7E-.88E E E E E E E E E E-.88E E E E E E E E E Eample 3.6. (Porous medium equation) The two-dimensional porous medium equation is u t = (u ) +(u ) yy, (3.3) 9

20 with the initial condition u(,y,) = {, if (,y) [, ] [, ],, otherwise. (3.4) onthedomain[,] andperiodicboundaryconditions. WithP piecewise polynomialspace, we comparethe results fordgandmppdg methods infigure3.4. Fromthezoom-infigure, we can clearly see that the negative value for the DG method has been eliminated by the MPPDG method. The TVB limiter with M tvb = 5 has been used. P and P 3 solutions are omitted here due to similarity. (a) Surface of P MPPDG solution. (b) Zoom-in of cuts along y =. Symbol with dashed line: DG; Solid line: MPPDG. Figure 3.4: Porous medium equation (3.3) with initial condition (3.4). T =.5. P with mesh N = 64. Eample 3.7. (Buckley-Leverett equation) The two-dimensional Buckley-Leverett equation with gravity in y-direction is given by [4, 5] u t +f(u) +g(u) y = ε(u +u yy ), (3.5) where f(u) = The initial condition is u u +( u), g(u) = f(u)( 5( u) ). u(,y,) = {, +y <.5,, otherwise. (3.6) We take ε =. and periodic boundary conditions. We run the numerical solution to T =.5 and show the minimum and maimum values on different meshes in Table 3.5.

21 Similarly, the TVB limiter with M tvb=5 has been used. We can clearly see the overshoots and undershoots have been eliminated by the MPPDG method. The surface and contour for the P MPPDG solutions on the mesh of 56 grid points are displayed in Fig The DG solutions are also omitted here due to similarity. Table 3.5: Minimum and maimum values of the P solutions for Buckley-Leverett equation (3.5) at T =.5. DG MPPDG N (ū h ) min (ū h ) ma (ū h ) min (ū h ) ma Figure 3.5: Buckley-Leverett equation (3.5) with initial condition (3.6). T =.5. P MPPDG with mesh N = Incompressible flow In this section, we consider the incompressible Navier-Stokes equations in the vorticitystream function formulation ω t +(uω) +(vω) y = Re (ω +ω yy ), (3.7) ψ = ω, u,v = ψ y,ψ, (3.8) ω(,y,) = ω (,y), u,v n=given on Ω. (3.9)

22 The solution to the incompressible flow problem satisfies the maimum principle due to the divergence-free property of the velocity field. Numerically, the discretized divergence-free condition has been delicately built into the discretization of the convection term to ensure the MPP property of numerical solutions, see [6] for the incompressible Euler problem. In the following eamples, without specifying, we take Re = or Re = for inviscid case. And if the TVB limiter is used, we take M tvb = 5. Eample 3.8. (Rigid body Rotation) We first consider an incompressible flow problem with eplicitly given velocity field, which involves a rigid body rotation ω t (yω) +(ω) y = Re (ω +ω yy ), (3.) with zero boundary conditions on the domain [ π,π]. The initial condition includes a slotted disk, a cone and a smooth hump as shown in Fig For this problem, the initial condition rotates counterclockwise. After a period of T = π, the solution will get back to its initial position. We first take /Re =, that is without viscosity. In Fig. 3.7 (left), we show the cuts along =, y =.8 and y = for the P numerical solutions at T = π without the TVB limiter, we can clearly see the overshoots and undershoots have been eliminated by the MPP flu limiter. Then we take /Re =.. In Table 3.6, the minimum and maimum values of the P numerical solutions on different meshes at T =. with the TVB limiter indicate that the undershoots and overshoots of the DG method can be eliminated by the MPPDG method. Table 3.6: Minimum and maimum values of the P solutions for the rigid body rotation problem (3.) with initial condition in Fig T =.. DG MPPDG N ( ω h ) min ( ω h ) ma ( ω h ) min ( ω h ) ma Eample 3.9. (Swirling deformation flow) We consider the viscous swirling deformation flow ω t (cos ( ) sin(y)g(t)ω) +(sin()cos ( y )g(t)ω) y = Re (ω +ω yy ), (3.)

23 Figure 3.6: Initial profile for rigid body rotation problem (3.) with mesh N = 64. with periodic boundary conditions on the domain [ π,π] and g(t) = cos(πt/t)/π. The initial condition is the same as shown in Fig In Fig. 3.7 (right), we show the cuts along =, y =.8 and y = for the P solutions with and without the MPP flu limiter when /Re = at T = π without the TVB limiter. In Table 3.7, the minimum and maimum values of the P solutions of /Re =. at T =. with the TVB limiter are displayed; it is also observed that the undershoots and overshoots can be effectively eliminated by the MPPDG method. Table 3.7: Minimum and maimum values of the P solutions for the swirling deformation flow problem (3.) with initial condition in Fig T =.. DG MPPDG N ( ω h ) min ( ω h ) ma ( ω h ) min ( ω h ) ma Eample 3.. (Accuracy test) Now we consider an eample with an eact smooth solution to the incompressible flow problems (3.7)-(3.9), which is defined on [,π] with periodic boundary conditions. The eact solution is given by ω(, y, t) = sin() sin(y) ep( t/re). (3.) 3

24 .4.4. N=,DG N=,MPPDG Eact. N=,DG N=,MPPDG Eact.8.8 ω.6 ω , N=,DG N=,MPPDG Eact.4. N=,DG N=,MPPDG Eact.8.8 ω.6 ω , N=,DG N=,MPPDG Eact. N=,DG N=,MPPDG Eact.8.8 ω.6 ω , Figure 3.7: Rigid body rotation problem (3.) (Left) and swirling deformation flow (3.) (Right). T = π. P with mesh N = 64. From top to bottom, cuts along =, y =.8 and y = respectively. 4

25 In Table 3.8, very slight difference can be seen between DG and MPPDG solutions, which indicates that the high order of accuracy would not be affected by the MPP flu limiter. Table 3.8: L and L errors and orders for the incompressible flow problem with eact solution (3.). P and T =.. DG MPPDG N L error order L error order ( ω h ) min ( ω h ) ma 8 6.5E-3 7.6E E E E E E E E E E-3 7.6E E E E E E E E E Eample 3.. (Vorte patch problem) We consider the incompressible Navier-Stokes problems (3.7)-(3.9) with the following initial condition π, 3π, π y 3π; 4 4 π ω(,y,) =, 3π, 5π y 7π ; 4 4, otherwise. (3.3) on the domain [,π] and with periodic boundary conditions. From Table 3.9, we can see that the undershoots and overshoots of the DG solutions at T =. have been eliminated by the MPPDG solutions too. The contour plots of P MPPDG at T = 5 are presented in Fig. 3.8, and the DG solutions are similar. Table 3.9: Minimum and maimum values of P solutions for the vorte patch problem with initial condition (3.3). T =.. DG MPPDG N ( ω h ) min ( ω h ) ma ( ω h ) min ( ω h ) ma

26 y 3 y , Figure 3.8: Contour plots of vorte patch problem with initial condition (3.3). P MPPDG on the mesh of N = 64. Right ones are 3 equally spaced contour lines from to. 4 Conclusion In this paper, we propose to apply the parametrized MPP flu limiter to the RKDGmethod, for solving the convection-diffusion equations. Our limiter is based on the scheme s conservative flu difference form in updating cell averages when the test function of the DG formulation is taken to be. The proposed approach is mass conservative and can be applied for DG methods with piecewise polynomial spaces of degree k (k ). It also has low computational cost and is easy to implement, as it is applied only at the final RK stage for the evolution of cell averages (not for higher moments), in order to preserve the solution cell averages MPP property. One major difficulty is to provide the proof of the arbitrary high order accuracy (higher than 3rd order), even though etensive numerical tests have been shown for the robust performance of the limiters in preserving accuracy and MPP properties of the high order numerical solutions. References [] Y. Cheng and C.-W. Shu, A discontinuous Galerkin finite element method for time dependent partial differential equations with higher order derivatives, Mathematics of Computation, 77 (8), pp [] B. Cockburn, S. Hou, and C.-W. Shu, The Runge-Kutta local projection discontinuous Galerkin finite element method for conservation laws. IV. The multidimensional 6

27 case, Mathematics of Computation, 54 (99), pp [3] B. Cockburn, G. E. Karniadakis, and C.-W. Shu, The development of discontinuous Galerkin methods, Springer,. [4] B. Cockburn, S.-Y. Lin, and C.-W. Shu, TVB Runge-Kutta local projection discontinuous Galerkin finite element method for conservation laws III: one-dimensional systems, Journal of Computational Physics, 84 (989), pp [5] B. Cockburn and C.-W. Shu, TVB Runge-Kutta local projection discontinuous Galerkin finite element method for conservation laws. II. General framework, Mathematics of Computation, 5 (989), pp [6], The local discontinuous Galerkin method for time-dependent convection-diffusion systems, SIAM Journal on Numerical Analysis, 35 (998), pp [7], The Runge Kutta discontinuous Galerkin method for conservation laws V: multidimensional systems, Journal of Computational Physics, 4 (998), pp [8], Runge Kutta discontinuous Galerkin methods for convection-dominated problems, Journal of Scientific Computing, 6 (), pp [9] I. Faragó and R. Horváth, Discrete maimum principle and adequate discretizations of linear parabolic problems, SIAM Journal on Scientific Computing, 8 (6), pp [] I. Faragó, R. Horváth, and S. Korotov, Discrete maimum principle for linear parabolic problems solved on hybrid meshes, Applied Numerical Mathematics, 53 (5), pp [] I. Faragó and J. Karátson, Discrete maimum principle for nonlinear parabolic PDE systems, IMA Journal of Numerical Analysis, (). [] H. Fujii, Some remarks on finite element analysis of time-dependent field problems, Theory and Practice in Finite Element Structural Analysis, (973), pp [3] G.-S. Jiang and C.-W. Shu, Efficient implementation of weighted ENO schemes, Journal of Computational Physics, 6 (996), pp. 8. 7

28 [4] Y. Jiang and Z. Xu, Parametrized maimum principle preserving limiter for finite difference WENO schemes solving convection-dominated diffusion equations, SIAM Journal on Scientific Computing, 35 (3), pp. A54 A553. [5] A. Kurganov and E. Tadmor, New high-resolution central schemes for nonlinear conservation laws and convection diffusion equations, Journal of Computational Physics, 6 (), pp [6] R. LeVeque, Finite volume methods for hyperbolic problems, vol. 3, Cambridge university press,. [7] C. Liang and Z. Xu, Parametrized maimum principle preserving flu limiters for high order schemes solving multi-dimensional scalar hyperbolic conservation laws, Journal of Scientific Computing, 58 (4), pp [8] A. Mizukami and T. J. Hughes, A Petrov-Galerkin finite element method for convection-dominated flows: an accurate upwinding technique for satisfying the maimum principle, Computer Methods in Applied Mechanics and Engineering, 5 (985), pp [9] M. Muskat and R. D. Wyckoff, The flow of homogeneous fluids through porous media, JW Edwards Ann Arbor, 946. [] C.-W. Shu, Essentially non-oscillatory and weighted essentially non-oscillatory schemes for hyperbolic conservation laws, Advanced numerical approimation of nonlinear hyperbolic equations, (998), pp [] C.-W. Shu, High order ENO and WENO schemes for computational fluid dynamics, in High-order methods for computational physics, T.J. Barth and H. Deconinck, eds., Lecture Notes in Comput. Sci. Engrg. 9, Springer-Verlag, Berlin, 999, pp [], High order weighted essentially nonoscillatory schemes for convection dominated problems, SIAM review, 5 (9), pp [3] C.-W. Shu and S. Osher, Efficient implementation of essentially non-oscillatory shock-capturing schemes, Journal of Computational Physics, 77 (988), pp [4] T. Vejchodskỳ, S. Korotov, and A. Hannukainen, Discrete maimum principle for parabolic problems solved by prismatic finite elements, Mathematics and Computers in Simulation, 8 (), pp

29 [5] H. Wang and Q. Zhang, Error estimate on a fully discrete local discontinuous galerkin method for linear convection-diffusion problem, Journal of Computational Mathematics, 3 (3), pp [6] T. Xiong, J.-M. Qiu, and Z. Xu, A parametrized maimum principle preserving flu limiter for finite difference RK-WENO schemes with applications in incompressible flows, Journal of Computational Physics, 5 (3), pp [7], Parametrized positivity preserving flu limiters for the high order finite difference WENO scheme solving compressible Euler equations, (submitted). [8] Z. Xu, Parametrized maimum principle preserving flu limiters for high order scheme solving hyperbolic conservation laws: one-dimensional scalar problem, Mathematics of Computation, (in press). [9] P. Yang, T. Xiong, J.-M. Qiu, and Z. Xu, High order maimum principle preserving finite volume method for convection dominated problems, (submitted). [3] X. Zhang, Y. Liu, and C.-W. Shu, Maimum-principle-satisfying high order finite volume weighted essentially nonoscillatory schemes for convection-diffusion equations, SIAM Journal on Scientific Computing, 34 (), pp. A67 A658. [3] X. Zhang and C.-W. Shu, On maimum-principle-satisfying high order schemes for scalar conservation laws, Journal of Computational Physics, 9 (), pp [3], Maimum-principle-satisfying and positivity-preserving high-order schemes for conservation laws: survey and new developments, Proceedings of the Royal Society A: Mathematical, Physical and Engineering Science, 467 (), pp [33] Y. Zhang, X. Zhang, and C.-W. Shu, Maimum-principle-satisfying second order discontinuous Galerkin schemes for convection-diffusion equations on triangular meshes, Journal of Computational Physics, 34 (), pp