Entropy stable adaptive moving mesh schemes for 2D and 3D special relativistic hydrodynamics
Entropy stable adaptive moving mesh schemes for 2D and 3D special relativistic hydrodynamics
Duan, Junming;Tang, Huazhong
2020-07-25 00:00:00
This paper develops entropy stable (ES) adaptive moving mesh schemes for the 2D and 3D special relativistic hydrodynamic (RHD) equations. They are built on the ES nite volume approximation of the RHD equations in curvilinear coordinates, the discrete geometric conservation laws, and the mesh adaptation implemented by iteratively solving the Euler-Lagrange equations of the mesh adaption functional in the computational domain with suitably chosen monitor functions. First, a sucient condition is proved for the two-point entropy conservative (EC)
ux, by mimicking the derivation of the continuous entropy identity in curvilinear coordinates and using the discrete geometric conservation laws given by the conservative metrics method. Based on such sucient condition, the EC
uxes for the RHD equations in curvilinear coordinates are derived and the second-order accurate semi-discrete EC schemes are developed to satisfy the entropy identity for the given convex entropy pair. Next, the semi-discrete ES schemes satisfying the entropy inequality are proposed by adding a suitable dissipation term to the EC scheme and utilizing linear recon- struction with the minmod limiter in the scaled entropy variables in order to suppress the numerical oscillations of the above EC scheme. Then, the semi-discrete ES schemes are integrated in time by using the second-order strong stability preserving explicit Runge-Kutta schemes. Finally, several numerical results show that our 2D and 3D ES adaptive moving mesh schemes eectively capture the localized structures, such as sharp transitions or discontinuities, and are more ecient than their counterparts on uniform mesh. Keywords: Entropy conservative
ux, entropy stable scheme, moving mesh scheme, mesh adaptation, special relativistic hydrodynamics Corresponding author. Fax: +86-10-62751801. Email addresses: duanjm@pku.edu.cn (Junming Duan), hztang@math.pku.edu.cn (Huazhong Tang) Preprint submitted to Elsevier July 28, 2020 arXiv:2007.12884v1 [math.NA] 25 Jul 2020 1. Introduction This paper is concerned with the entropy stable (ES) adaptive moving mesh schemes for the special relativistic hydrodynamic (RHD) equations. In the laboratory frame, the 2D and 3D special RHD equations can be cast in the divergence form @U @F (U ) + = 0; d = 2; 3; (1.1) @t @x k=1 where U and F are respectively the conservative vector and the
ux vector in the x -direction k k and de ned by 0 1 0 1 D Dv B C B C B C B C U = ; F = ; k = 1; ; d; (1.2) m mv + pe k k @ A @ A E m with the mass density D = W , the momentum density m = (m ; ; m ) = DhWv, the energy density E = DhW p, the pressure p, the
uid velocity v = (v ; ; v ) , and the rest-mass 1 d density . Here e is the kth column of the unit d d matrix, k = 1; ; d, W = 1= 1 jvj is the Lorentz factor and h = 1 + e + p= is the speci c enthalpy with the speci c internal energy e and units in which the speed of light is equal to one. The governing equations (1.1)-(1.2) need to be closed by the equation of state (EOS). This paper will only consider the perfect gas with the simple EOS given by p = ( 1)e; (1.3) with the adiabatic index 2 (1; 2]. Since there is no explicit expression for the primitive variables (;v ; p) and the
ux F in terms of U , a nonlinear algebraic equation such as E + p = DW + pW ; needs to be (numerically) solved in order to recover the value of the pressure p from the given U and then the rest-mass density , the speci c enthalpy h, and the velocity v by using D p m = ; h = 1 + ; v = : W ( 1) Dh The relativistic description for the
uid dynamics at nearly the speed of light should be considered in investigating the astrophysical phenomena from stellar to galactic scales, e.g. coalescing neutron stars, core collapse supernovae, active galactic nuclei, superluminal jets, the formation of black holes, and gamma-ray bursts etc. The system (1.1)-(1.2) becomes much more complicated than the Euler equations in gas dynamics due to the relativistic eect, so its analytic treatment is very 2 challenging. Numerical simulation is a powerful way to help us better understand the physical mechanisms in the RHD. The pioneering numerical work may date back to the nite dierence methods with the arti cial viscosity technique in the Lagrangian coordinates [37, 38] and the Eu- lerian coordinates [55]. Since the early 1990s, the modern shock-capturing methods were extended to the special or general RHD or relativastic magnetohydronamics (RMHD). They include, but are not limited to, the Roe solver [16], the Harten-Lax-van Leer methods [11, 45], the Harten- Lax-van Leer Contact methods [33, 40], the essentially non-oscillatory (ENO) and the weighted ENO (WENO) methods [11, 12, 52], the piecewise parabolic methods [34, 42], the adaptive mesh re nement method [72], the Runge-Kutta discontinuous Galerkin (DG) methods with WENO lim- iter [73], the direct Eulerian generalized Riemann problem schemes [61, 65, 67, 68], the adaptive moving mesh method [24], the two-stage fourth-order accurate time discretizations [69] and so on. The readers are also referred to the early review articles [20, 35, 36] for more references. Recently, the properties of the admissible state set and the physical-constraints-preserving (PCP) numerical schemes were well studied for the RHD and the special RMHD [33, 60, 62, 63, 64]. For the RHD equations (1.1)-(1.2), it is interesting to design a numerical scheme being consistent with the Clausius inequality, i.e., the entropy inequality. For a general quasi-linear hyperbolic conservation laws, the entropy condition is needed to single out the unique physical relevant solution among all the weak solutions. However, in practice, it is very hard to show that the high-order schemes of the scalar conservation laws and the schemes for the hyperbolic system satisfy the entropy inequality for any convex entropy function. In view of this, many researchers are trying to study the high-order accurate entropy conservative (EC) or ES schemes, which satisfy the entropy identity or inequality for a given entropy pair. The second-order EC schemes were studied in [46, 47], and their higher-order extension was considered in [31]. Unfortunately, the EC schemes may become oscillatory near the discontinuities. To suppress possible numerical oscillation, some additional dissipation term has to be added to obtain the ES schemes. Combining the EC
ux with the \sign" property of the ENO reconstruction, the arbitrary high-order ES schemes were constructed by using high-order dissipation terms [19]. The ES schemes based on summation-by- parts (SBP) operators were developed for the Navier-Stokes equations [17]. Several ES DG schemes were also studied, such as the semi-discrete DG for scalar conservation laws [30], the space-time DG formulation [2, 26] and the DG schemes using suitable quadrature rules for the conservation laws on hexahedron meshes [8, 21] and unstructured simplex meshes [10]. As a base of those works, constructing the aordable two-point EC
ux is key. Recently, the EC or ES schemes were also extended to the shallow water equations [18], the shallow water magnetohydrodynamics [15, 58], the RHD equations [3, 14], the magnetohydrodynamics [9, 57], the RMHD equations [13, 59], and 3 so on. In view of the fact that the solutions of the RHD equations often exhibit localized structures, e.g. containing sharp transitions or discontinuities in relatively localized regions, the adaptive mesh strategy can improve the eciency and quality of numerical simulation. Up to now, adaptive moving mesh methods have been successfully applied to many problems in science and engineering, see e.g. [4, 5, 24, 25, 27, 28, 32, 44, 49, 50, 54, 56, 66, 71]. The readers are also referred to the review papers [6, 51] and references therein. This paper aims at developing the ES adaptive moving mesh schemes for the 2D and 3D RHD equations (1.1)-(1.2). Our schemes will be built on the ES nite volume approximation of the RHD equations in curvilinear coordinates, the discrete geometric conservation laws, and the mesh adaptation implemented by iteratively solving the Euler-Lagrange equations of the mesh adaption functional in the computational domain with suitably chosen monitor functions. To do that, we rst prove a sucient condition for the two-point EC
uxes and then derive the EC
uxes in curvilinear coordinates by utilizing the procedure in [13]. The key point is that the geometric conservation laws (GCLs) introduced by the coordinate transformation should be satis ed by the discretization of the metrics. The conservative metric method [53] is adopted to guarantee the GCLs and the suitable dissipation term utilizing linear reconstruction with the minmod limiter in the scaled entropy variables is added to the EC
ux to get the second-order accurate ES schemes. The nal fully discrete schemes are developed by integrated the semi-discrete ES schemes with the second-order accurate explicit strong-stability preserving (SSP) Runge-Kutta (RK) schemes. Two approximations of the volume conservation law are presented and compared. The paper is organized as follows. Section 2 introduces the entropy conditions for the RHD equations in Cartesian and curvilinear coordinates. Section 3 presents the EC and ES schemes, including the discretization of the metrics, and construction of the two-point EC
ux in curvilinear coordinates. Section 4 gives the adaptive moving mesh strategy. Several 2D and 3D numerical experiments are conducted in Section 5 to validate the eciency and the ability of our schemes in capturing the sharp transitions or discontinuities. Section 6 concludes the work with nal remarks. 2. Entropy conditions for the RHD For the RHD equations (1.1)-(1.2) with the EOS (1.3), there exists an entropy pair (; q ), Ws (U ) = ; q (U ) = v ; k k where s = ln(p= ) is the thermodynamic entropy, is a convex function of U and (; q ) satis es 0 0 0 q (U ) = (U )F (U ); k = 1; ; d: k k 4 Here and q are called the entropy function and entropy
ux, respectively. From those, we can also de ne the entropy variables V by s Wv W 0 T V := (U ) = + ; ; ; 1 p p p and the entropy potential and entropy potential
ux by using the conjugate variables as follows T T := V U = W; := V F q = Wv ; (2.1) k k k k respectively. For the smooth solutions of (1.1)-(1.2) with the entropy pair (; q ), multiplying (1.1) by V left gives the entropy identity d d X X @U @F (U ) @(U ) @q (U ) k k V + = + = 0: @t @x @t @x k k k=1 k=1 For the discontinuous solutions, it is replaced with the entropy inequality @(U ) @q (U ) + 6 0; @t @x k=1 which holds in the sense of distributions. Next, let us derive the RHD equations in curvilinear coordinates and corresponding entropy condition. Let be the domain where the physical problem (1.1)-(1.2) is de ned, and be p c the computational domain with coordinates = ( ; ; ) that is arti cially chosen for the sake 1 d of mesh redistribution or movement. Our adaptive moving meshes for can be generated as the images of a reference mesh in by a time dependent, dierentiable, one-to-one coordinate mapping x = x(; t), which can be expanded as t = ; x = x(; ); = ( ; ; ) 2 : (2.2) 1 d c Under this transformation, the detailed transformation of the system (1.1)-(1.2) in the coordinates (; ) reads d d X X @(JU ) @ @ @ @ k k + J U + J F = 0; (2.3) @ @ @t @ @x k k l k=1 k;l=1 where J denotes the determinant of the Jacobian matrix and its 3D version is explicitly given by 1 0 0 0 @x @x @x @x 1 1 1 1 @(t;x) @ @ @ @ 1 2 3 J = det = : @x @x @x @x 2 2 2 2 @(;) @ @ @ @ 1 2 3 @x @x @x @x 3 3 3 3 @ @ @ @ 1 2 3 5 The metric coecients should satisfy the following geometric conservation laws (GCLs) consisting of the the volume conservation law (VCL) and surface conservation laws (SCLs) @J @ @ VCL: + J = 0; @ @ @t k=1 (2.4) @ @ SCLs: J = 0; l = 1; ; d: @ @x k l k=1 The former indicates that volumetric increment of a moving cell must be equal to the sum of the changes along the surfaces that enclose the volume, while the latter indicates that cell volumes must be closed by its surfaces [70]. Those GCLs mean that free-stream solution is preserved by (2.3), that is to say, if a physical constant state is given as the initial condition, it will remain unchanged. If the free-stream solution cannot be preserved by the numerical schemes on the moving mesh, it may cause some large errors. Finally, let us derive the entropy identity for the RHD equations (2.3). The three parts of the left-hand side of the product of V and (2.3) can be respectively rewritten as follows @(JU ) @(J) @J T T V = + V U ; @ @ @ d d d X X X @ @ @ @ @ @ k k k T T V J U = J + V U J ; @ @t @ @t @ @t k k k k=1 k=1 k=1 d d d d X X X X @ @ @ @ @ @ k k k T T V J F = J q + V F q J : l l l l @ @x @ @x @ @x k l k l k l k;l=1 k;l=1 l=1 k=1 Using the GCLs (2.4) gives d d X X @(J) @ @ @ @ k k + J + J q = 0; (2.5) @ @ @t @ @x k k l k=1 k;l=1 which is the entropy identity in the coordinates (;). Similarly, it will be replaced with corre- sponding entropy inequality when the solutions U are not smooth. 3. Numerical schemes This section focuses on constructing the 3D moving mesh EC and ES schemes for the RHD equations (2.3) in curvilinear coordinates on the structured mesh. The 2D schemes can be obtained by setting x = and removing all the dependence of U on and x , F and the x -component 3 3 3 3 3 3 of U and F , k = 1; 2. In view of t = , the symbol will be replaced with t hereafter. 6 3.1. EC scheme Assume that the computational domain is rectangular, e.g. [0; 1] [0; 1] [0; 1], and divided into a xed orthogonal mesh f( 1; 1; 1 ): 0 = 1 < 1 < < 1;i + 2;i + 3;i + k; k;1+ 1 2 3 2 2 2 2 2 1 < < 1 = 1, k = 1; 2; 3g with the constant step-size = 1 1 . k;i + k;N + k;i + k;i k k k k 2 2 2 2 For the sake of brevity, the index i = (i ; i ; i ) is used to denote the cell [ 1; 1 ] 1 2 3 1;i 1;i + 1 1 2 2 ^ ^ [ 1; 1 ] [ 1; 1 ] and i , , i denote the middle points of the cell inter- 1; 3; 2;i 2;i + 3;i 3;i + 2 2 3 3 2 2 2 2 faces, i.e. ( 1; ; ), ( ; 1; ), ( ; ; 1 ), respectively, where = 2;i 3;i 1;i 3;i 1;i 2;i k;i 2 3 1 3 1 2 1;i 2;i 3;i k 1 2 3 2 2 2 ( + )=2, k = 1; 2; 3. 1 1 k;i + k;i k k 2 2 For the cell i, the RHD system (2.3) and the rst equation of (2.4) can be approximated as the following semi-discrete conservative nite volume scheme h i d 1 (JU ) = F ; (3.1) i k k dt i k=1 d 1 @ J = J ; (3.2) i k dt @t k=1 where [] is the second-order central dierence operator in the i -direction, e.g. [a] = a k k k i ^ k;+ a , J (t) and (JU ) (t) approximate the cell average values of J (t;) and (JU )(t;) over the cell i, ^ i i k; @ @ k k respectively, and F (t) is the numerical
ux approximating the
ux J U + J F (t;), k l @t @x l=1 @ @ k k k = 1; 2; 3. The metrics J and J in (3.1)-(3.2) are calculated by (3.7)-(3.8), @t @x ^ ^ i i k; k; see Section 3.2, with which the SCLs in the second equation of (2.4) are satis ed at the discrete level, i.e. 1 @ J = 0; l = 1; 2; 3: (3.3) @x k l k=1 De nition 3.1 (EC scheme). The semi-discrete scheme (3.1)-(3.2) is EC and corresponding nu- merical
ux F is called the EC
ux, if its solution satis es a semi-discrete entropy identity d 1 J (U (t)) + [qe (t)] = 0; i i k k dt k=1 @ @ k k for some numerical entropy
uxes qe consistent with the continuous entropy
ux J + J q . k l @t @x l=1 The following lemma gives a sucient condition for the semi-discrete scheme (3.1)-(3.2) to be EC. @ @ k k Lemma 3.1. Assume that symmetric two-point
ux F is consistent with J U + J F , ^ l k;i k; @t @x l=1 and satis es @ @ k k JV K F = J JK + J J K ; (3.4) ^ ^ l ^ k;i i i k; k; k; k; @t @x ^ ^ i i k; k; l=1 7 b e where and are de ned in (2.1), then the semi-discrete scheme (3.1)-(3.2) with F (t) = F l k ^ k;i k; is EC with the numerical entropy
uxes @ @ k k qe = ffV gg F J ffgg J ff gg ; ^ ^ ^ l ^ k;i k;i i i k; i k; k; k; k; @t @x ^ l ^ i i k; k; l=1 where JaK and ffagg denote the jumps and the arithmetic means of a in the i -direction, ^ ^ k i i k; k; respectively, e.g. JaK = a a ; JaK = a a ; ^ i +1;i ;i i ;i ;i ^ i ;i ;i i ;i 1;i 1 2 3 1 2 3 1 2 3 1 2 3 i i 1;+ 2; ffagg = (a + a )=2; ffagg = (a + a )=2: ^ i +1;i ;i i ;i ;i ^ i ;i ;i i ;i 1;i 1 2 3 1 2 3 1 2 3 1 2 3 i i 1;+ 2; Proof. Multiplying (3.1) by V left and using (3.2) gives h i d 1 @ (J ) = V F J : i i k k i k dt i @t k=1 Utilizing the discrete SCLs (3.3) gives ( ) 3 3 h i X X d 1 @ @ k k (J ) = V F J J : i i k k i k l;i k dt i @t @x k l i i k=1 l=1 The term in braces at the right end of the above equation can be further rearranged as follows h i @ @ k k V F J J k k i k l;i k i @t @x i i l=1 T T 1 1 e e = ffV gg JV K F ffV gg + JV K F ^ ^ ^ ^ ^ ^ i i k;i i i k;i k;+ k;+ k;+ k; k; k; 2 2 1 @ 1 @ k k ffgg JK J + ffgg + JK J ^ ^ ^ ^ i i i i k;+ k;+ k; k; 2 @t 2 @t ^ ^ i i k;+ k; 3 3 X X 1 @ 1 @ k k ff gg J K J + ff gg + J K J l ^ l ^ 1 ^ 1 ^ i i i i k;+ k;+ k; k; 2 @x 2 @x ^ ^ l l i i k;+ k; l=1 l=1 @ @ k k = ffV gg F J ffgg J ff gg ^ ^ l ^ k;i i i i k;+ k;+ k;+ k;+ @t @x ^ l ^ i i k;+ k;+ l=1 @ @ k k ffV gg F J ffgg J ff gg ^ ^ l ^ k;i i i i k; k; k; k; @t @x ^ l ^ i i k; k; l=1 =qe qe ; ^ ^ k;i k;i k;+ k; 1 1 where a = ffagg JaK and a = ffagg + JaK have been used in the rst equality, i ^ ^ i ^ ^ i 2 i i 2 i k;+ k;+ k; k; and the condition (3.4) has been used in the second equality. Moreover, it is easy to check the 8 3 @ @ k k consistency of the numerical entropy
uxes qe with J + J q . Thus the scheme (3.1) ^ l k;i k; @t @x l=1 b e with F = F is EC in the sense of ^ ^ k;i k;i k; k; d 1 J (U (t)) + [qe (t)] = 0: i i k k dt k=1 Remark 3.1. The sucient condition (3.4) is dierent from that in [14], due to the metrics introduced by the coordinate transformation. 3.2. Discrete GCLs For the transformation (2.2), we have the following identities @ @x @ k l k J = J ; k = 1; 2; 3; @t @t @x l=1 and @ @x @x @x @x @ @x @x @x @x @ @x @x @x @x 1 2 3 2 3 1 3 1 3 1 1 1 2 1 2 J = ; J = ; J = ; @x @ @ @ @ @x @ @ @ @ @x @ @ @ @ 1 2 3 3 2 2 2 3 3 2 3 2 3 3 2 @ @x @x @x @x @ @x @x @x @x @ @x @x @x @x 2 2 3 2 3 2 3 1 3 1 2 1 2 1 2 J = ; J = ; J = ; @x @ @ @ @ @x @ @ @ @ @x @ @ @ @ 1 3 1 1 3 2 3 1 1 3 3 3 1 1 3 @ @x @x @x @x @ @x @x @x @x @ @x @x @x @x 3 2 3 2 3 3 3 1 3 1 3 1 2 1 2 J = ; J = ; J = : @x @ @ @ @ @x @ @ @ @ @x @ @ @ @ 1 1 2 2 1 2 1 2 2 1 3 1 2 2 1 The last nine identities can be reformulated into the divergence form @ @ @x @ @x @ @ @x @ @x 1 2 2 1 3 3 J = x x ; J = x x ; 3 3 1 1 @x @ @ @ @ @x @ @ @ @ 1 3 2 2 3 2 3 2 2 3 @ @ @x @ @x 1 1 1 J = x x ; 2 2 @x @ @ @ @ 3 3 2 2 3 @ @ @x @ @x @ @ @x @ @x 2 2 2 2 3 3 J = x x ; J = x x ; 3 3 1 1 @x @ @ @ @ @x @ @ @ @ 1 1 3 3 1 2 1 3 3 1 (3.6) @ @ @x @ @x 2 1 1 J = x x ; 2 2 @x @ @ @ @ 3 1 3 3 1 @ @ @x @ @x @ @ @x @ @x 3 2 2 3 3 3 J = x x ; J = x x ; 3 3 1 1 @x @ @ @ @ @x @ @ @ @ 1 2 1 1 2 2 2 1 1 2 @ @ @x @ @x 3 1 1 J = x x ; 2 2 @x @ @ @ @ 3 2 1 1 2 which are useful to compute the discrete metrics and to get the discrete SCLs approximating conservatively (2.4) by the so-called conservative metrics method [53]. 9 To establish the discrete SCLs (3.3), using the same discretizations for the rst-order spatial derivatives in (3.6) as those in (3.1)-(3.2) gives h i @ 1 J = [x ] x [x ] x ; 3 2 2 3 2 3 2 3 @x 1 2 3 1;+ h i @ 1 J = [x ] x [x ] x ; 3 2 3 1 2 3 3 1 @x 2 2 3 1;+ h i @ 1 J = [x ] x [x ] x ; 3 2 1 2 2 3 1 2 @x 3 2 3 1;+ h i @ 1 J = [x ] x [ [x ] x ] ; 1 3 2 3 3 1 2 3 @x 1 3 1 2;+ h i @ 1 J = [x ] x [ [x ] x ] ; 1 3 3 1 3 1 3 1 (3.7) @x 2 ^ 3 1 2;+ h i @ 1 J = [x ] x [ [x ] x ] ; 1 3 1 2 3 1 1 2 @x 3 ^ 3 1 2;+ @ 1 J = [ [x ] x ] [x ] x ; 2 1 2 3 1 2 2 3 @x 1 ^ 1 2 3;+ @ 1 J = [ [x ] x ] [x ] x ; 2 1 3 1 1 2 3 1 @x 2 ^ 1 2 3;+ @ 1 J = [ [x ] x ] [x ] x ; 1 1 1 2 1 2 1 2 @x 3 ^ 1 2 3;+ where a; a; a denote the averages in the i ; i ; i -directions, respectively. To be more speci c, the 1 2 3 right hand-side (RHS) of the rst equation in (3.7) can be expanded as follows nh ih i (x ) 1 1 1 (x ) 1 1 1 (x ) 1 1 1 + (x ) 1 1 1 2 2 3 3 i + ;i + ;i + i + ;i ;i + i + ;i + ;i + i + ;i ;i + 1 2 3 1 2 3 1 2 3 1 2 3 2 2 2 2 2 2 2 2 2 2 2 2 2 3 h ih i (x ) 1 1 1 (x ) 1 1 1 (x ) 1 1 1 + (x ) 1 1 1 2 2 3 3 i + ;i + ;i i + ;i ;i i + ;i + ;i i + ;i ;i 1 2 3 1 2 3 1 2 3 1 2 3 2 2 2 2 2 2 2 2 2 2 2 2 h ih i (x ) 1 1 1 (x ) 1 1 1 (x ) 1 1 1 + (x ) 1 1 1 2 2 3 3 i + ;i + ;i + i + ;i + ;i i + ;i + ;i + i + ;i + ;i 1 2 3 1 2 3 1 2 3 1 2 3 2 2 2 2 2 2 2 2 2 2 2 2 h ih io + (x ) 1 1 1 (x ) 1 1 1 (x ) 1 1 1 + (x ) 1 1 1 : 2 2 3 3 i + ;i ;i + i + ;i ;i i + ;i ;i + i + ;i ;i 1 2 3 1 2 3 1 2 3 1 2 3 2 2 2 2 2 2 2 2 2 2 2 2 Based on the above discretizations, it can be veri ed that the SCLs (3.3) are satis ed. For example, h i h i 1 @ 1 J = [x ] x [x ] x + [x ] x k 1 3 2 2 3 1 2 3 2 3 2 1 3 2 3 @x 2 k 1 1 2 3 k=1 [ [x ] x ] + [ [x ] x ] [x ] x = 0; 2 3 1 2 3 3 2 1 2 3 3 1 2 2 3 since and are commutative, i.e. = . l k l k k l The following lemma tells us that the scheme also preserves the free-stream states by integrating (3.1)-(3.2) with the same explicit SSP RK schemes [22]. 10 Lemma 3.2. If the semi-discrete scheme (3.1)-(3.2) is integrated in time with the explicit SSP RK scheme from t = t to t = t + t , then the resulting fully-discrete scheme preserves the n n+1 n n free-stream states. Proof. The forward Euler time discretization is only considered here, since the explicit SSP RK schemes are a convex combination of the forward Euler time discretizations. Assuming that U = U is a physical constant state and the time step size is t , then the update of the metric Jacobian 0 n J and the solution U can be rewritten as follows i i t @ n k n+1 n J =J J ; i i @t k=1 h i n+1 n (JU ) =(JU ) F k k k=1 3 3 X X t @ @ n k k =J U J U + J F (U ) 0 0 l 0 @t @x ^ ^ k l i i k;+ k;+ k=1 l=1 @ @ k k J U J F (U ) 0 0 @t @x ^ ^ i i k; k; l=1 ! ! 3 3 3 X X X t @ t @ n k n k = J J U J F (U ) k 0 k l 0 @t @x k k l i i k=1 l=1 k=1 n+1 =J U ; n+1 n+1 n+1 where the discrete GCLs have been used in the last equality. Thus U = (JU ) =J = U . i i i The proof is completed. In the above proof, no speci c form of the \
uxes" (J@ ) in (3.2) are given. Two suggested t k ^ k; versions of the \
uxes" (J@ ) are presented here and compared below. It is worth noting that t k ^ k; they do not aect the conclusion of Lemma 3.2. The rst version is given by @ @ 1 1 J = (x _ ) J ; l ^ 1; @t @x ^ l ^ i i 1; 1; l=1 @ @ 2 2 J = (x _ ) J ; (3.8) l ^ 2; @t @x ^ l ^ i i 2; 2; l=1 @ @ 3 3 J = (x _ ) J ; l ^ 3; @t @x ^ ^ i i 3; 3; l=1 where the \mesh" velocities (x _ ) ; (x _ ) , and (x _ ) may be calculated by the arithmetic mean, ^ ^ ^ i i i 1; 2; 3; e.g. h i (x _ ) 1 = (x _ ) 1 1 1 + (x _ ) 1 1 1 + (x _ ) 1 1 1 + (x _ ) 1 1 1 : i + ;i ;i i + ;i ;i i + ;i ;i + i + ;i + ;i i + ;i + ;i + 1 2 3 1 2 3 1 2 3 1 2 3 1 2 3 2 2 2 2 2 2 2 2 2 2 2 2 2 11 Here (x _ ) 1 1 1 is the mesh velocity of the mesh point (x) 1 1 1 , which will be i + ;i + ;i + i + ;i + ;i + 1 2 3 1 2 3 2 2 2 2 2 2 provided by solving the mesh equations in Section 4. Combining (3.8) with (3.2) gives our rst semi-discrete VCL, denoted by VCL1, which is easy to be implemented. The second version of the \
uxes" (J@ ) is based on the reformulations of the Jacobian t k ^ k; and the temporal metrics [1] as follows @ @ @x @ @x @ @ @x @ @x 1 1 1 1 J = x x x + x x x 2 2 3 2 2 3 @ @ @ @ @ @ @ @ @ @ 3 2 1 1 2 2 1 3 3 1 @ @ @x @ @x 1 1 + x x x ; 2 2 3 @ @ @ @ @ 1 3 2 2 3 @ @ @ @x @ @x @ @ @x @ @x 1 1 1 1 1 J = x x x + x x x 2 2 3 2 2 3 @t @ @ @t @t @ @ @t @ @ @t 2 3 3 3 2 2 @ @ @x @ @x 1 1 + x x x ; 2 2 3 @t @ @ @ @ 2 3 3 2 (3.9) @ @ @ @x @ @x @ @ @x @ @x 2 1 1 1 1 J = x x x + x x x 2 2 3 2 2 3 @t @ @ @t @t @ @t @ @ @ @ 3 1 1 3 1 1 3 @ @ @x @ @x 1 1 + x x x ; 2 2 3 @ @t @ @ @t 1 3 3 @ @ @ @x @ @x @ @ @x @ @x 3 1 1 1 1 J = x x x + x x x 2 2 3 2 2 3 @t @t @ @ @ @ @ @ @t @t @ 1 2 2 1 1 2 2 @ @ @x @ @x 1 1 + x x x ; 2 2 3 @ @t @ @ @t 2 1 1 and the second-order central dierence and average approximated the spatial derivatives, similar to (3.7), thus the VCL in (3.2) is approximated in space by dJ 1 @ i k = J dt @t l=1 1 @ @ @x @ @x 1 1 = x x x 1 2 2 3 @t @ @ @ @ 1 2 3 3 2 1 @ @ @x @ @x 1 1 x x x 2 2 2 3 @t @ @ @ @ 2 3 1 1 3 1 @ @ @x @ @x 1 1 x x x 3 2 2 3 @t @ @ @ @ 3 1 2 2 1 1 @ 1 @ 1 @ =: A A A ; (3.10) 1 1 2 2 3 3 @t @t @t 1 2 3 i i i which gives our second semi-discrete VCL, denoted by VCL2. Obviously, it requires more operation, but it can well approach to the value of the Jacobian J calculated by the rst equation of (3.9). In fact, if the mesh trajectories are assumed to be linear in time as follows t t t t n+1 n n n+1 x(t) = x + x ; t 2 [t ; t ]; t = t t ; (3.11) n n+1 n n+1 n t t n n inspired by [43], then the terms A ; k = 1; 2; 3 are cubic polynomials of t, so that A is a quadratic k k @t 12 polynomial of t, which can be expressed as 1 2 @ 1 n+ n+ 2 n n+1 3 3 A = (t ) 11A + 18A 9A + 2A k n k k k @t 2(t ) 1 2 n+ n+ n n+1 3 3 + 18t 2A 5A + 4A A (t t ) n n k k k 1 2 n+ n+ n 3 3 n+1 2 27 A 3A + 3A A (t t ) ; (3.12) k k k where the superscript denotes the value at corresponding time level. If following the rst equation in (3.9) to compute J at time t by m m J = [A ] ; (3.13) i k k=1 then substituting (3.12) into (3.10) and using (3.13) gives 1 2 dJ 1 2 n n+ n+ n+1 3 3 = (t ) 11J + 18J 9J + 2J dt 2(t ) 1 2 n n+ n+ n+1 3 3 + 18t 2J 5J + 4J J (t t ) n n 1 2 n n+ n+ n+1 2 3 3 27 J 3J + 3J J (t t ) : (3.14) 1 2 n n+ n+ n+1 3 3 Here J ; J ; J ; J are known, so that (3.14) is a linear ordinary dierential equation (ODE) with the RHS of a quadratic polynomial of t. If the third-order SSP RK method is used to integrate (3.14), then it will hold exactly. In the 2D case, it will be a linear ODE with the RHS of a linear polynomial of t, so the second-order SSP RK method is enough. Remark 3.2. In the 3D case, the second-order SSP RK method can approximate (3.2) to the second-order accuracy and no obvious dierence of the solutions is found between the SSP second- and third-order and RK methods, see the numerical results in Section 5. 3.3. EC
ux What follows is to nd an EC
ux satisfying (3.4). For the second-order accurate scheme, we choose the EC
ux as follows @ @ k k RHD RHD e e e F = J U + J F ; (3.15) ^ ^ k;i k; i l;i k; k; @t @x ^ ^ i i k; k; l=1 RHD where F is the EC
ux of the RHD equations on the static mesh satisfying l;i k; T RHD JV K F = J K ; l ^ ^ ^ i l;i k; k; k; 13 RHD and U is obtained by the same procedure in [13] satisfying k; T RHD JV K U = JK : ^ ^ i i k; k; k; RHD RHD e e For example, the speci c expressions of F and U are respectively given as follows 0 1 ln ffgg ffWv gg; B C B ffWv gg ffgg C RHD B C F + 1;5 B C ffWgg ff gg B C B ffWv gg C RHD RHD e B C F = ; 1;5 B C ffWgg B C B ffWv gg C RHD B C 1;5 B C ffWgg @ A 2 2 RHD ffWgg ffWv gg ffWgg ffggffWv gg=ff gg + F k 1 0 k=1 1;1 0 1 ln ffgg ffWgg B C B C ffWv gg ffgg RHD B C + U B C ffWgg ff gg B C B C ffWv gg ffgg RHD B e C + U RHD 5 e B C U = ; ffWgg ff gg B C B C ffWv gg ffgg RHD B e C + U B C ffWgg ff gg B !C B C ffgg ffWv gg @ 3 A 2 2 k=1 ln ffWgg ffWv gg ffWgg +ffgg ffWgg k 0 k=1 ff ggffWgg ln ln where ffagg = JaK=Jln aK is the logarithmic mean, see [29], = 1 + 1=( 1)=ff gg , = =p, RHD RHD RHD RHD e e e e and F and U denote the 5-th component of F and U , respectively. 1;5 5 1 3.4. ES schemes It is known that for the quasi-linear hyperbolic conservation laws, the entropy identity is avail- able only if the solution is smooth. In other words, the entropy is not conserved if the discontinuities such as the shock waves appear in the solution. Moreover, the EC scheme may produce serious nonphysical oscillations near the discontinuities. Those motivate us to develop the ES scheme (satisfying the entropy inequality for the given entropy pair) in this section by adding a suitable dissipation term to the EC
ux (3.15). Following [46], adding a dissipation term to the EC
ux F gives the ES
ux k;i k; b e F = F D JV K ; (3.16) ^ ^ ^ ^ k;i k;i i i k; k; k; k; satisfying @ @ k k JV K F J JK J J K 6 0; (3.17) ^ ^ l ^ k;i i i k; k; k; k; @t @x ^ ^ i i k; k; l=1 14 where D is a symmetric positive semi-de nite matrix. It is easy to prove that the scheme (3.1)- k; (3.2) with the numerical
ux (3.16) is ES, that is, it satis es the semi-discrete entropy inequality d 1 J (U (t)) + [qb (t)] 6 0; i i k k dt k=1 with the numerical entropy
ux qb = qe ffV gg D JV K ; ^ ^ ^ ^ ^ k;i k;i i i i k; k; k; k; k; @ @ k k being consistent with the continuous entropy
ux J + J q . @t @x l=1 l Let us give a choice of D in the ES
ux (3.16). According to [39], there exists a set of scaled k; eigenvectors R such that @U @F T 1 = RR ; = RR ; = diagf ; : : : ; g; 1 5 @V @U where the eigenvalues ; : : : ; are given by 1 5 2 2 2 2 2 v (1 c ) c =W 1 v (jvj v )c 1 s s s 1 1 = ; = ; = v ; ` = 2; 3; 4; = ; 1 5 + ` 1 2 2 1 jvj c and 2 3 1 1=W Wv Wv 1 2 3 6 7 6 7 2 2 hWA v 2hW v v 2hW v v hWA 1 1 2 1 3 + + 6 7 6 7 6 2 2 2 7 R = hWv v h(1 + 2W v ) 2hW v v hWv 2 2 2 3 2 6 7 6 7 2 2 2 6 7 hWv v 2hW v v h(1 + 2W v ) hWv 3 3 2 3 3 4 5 2 2 hWA 1 2hW v 2hW v hWA 2 3 + 2 3 B C 0 0 0 0 6 7 6 7 ( 1)W 6 0 0 0 0 7 6 r 7 6 2 2 7 pW (1 v v ) 6 1 2 7 0 0 0 0 ; 6 7 h(1 v ) 6 7 6 7 pW p 0 0 v v 0 6 7 2 3 2 2 2 2 2 h(1 v )(1 v v ) hW (1 v v ) 1 1 2 1 2 4 5 B+C 0 0 0 0 2 2 2 2 2 2 2 2 2 1 v W (1 v (jvj v )c ) v c 1 v (jvj v )c 1 s s s 1 1 1 1 1 here A = , B = , C = . Using 2 2 1 v (1 v ) (1 v ) 1 1 the rotational invariance gives @ @ k k @ J U + J F =@U @t @x l=1 =@ J U + L T F (TU ) =@U k 1 @t 15 @ 1 1 =J I + L T R(TU )(TU )R (TU )T @t 1 1 =T R(TU ) J I + L (TU ) R (TU )T; @t where L = J , and T denotes the \rotational" matrix de ned by @x l=1 2 3 1 0 0 0 0 6 7 6 7 0 cos ' cos cos ' sin sin ' 0 6 7 6 7 6 7 T = ; 0 sin cos 0 0 6 7 6 7 6 7 0 sin ' cos sin ' sin cos ' 0 4 5 0 0 0 0 1 @ @ k k = arctan J J ; @x @x 2 1 0 1 2 2 @ @ @ k k k @ A ' = arctan J J + J : @x @x @x 3 1 2 Then following the dissipation term in the Roe scheme yields 1 @ 1 1 T R(TU ) J I + L (TU ) R (TU )T JU K 2 @t 1 @ 1 1 = T R(TU ) J I + L (TU ) R (TU )JTU K 2 @t 1 @ 1 1 T T R(TU ) J I + L (TU ) R (TU )R(TU )R (TU )T JV K 2 @t 1 @ 1 T = T R(TU ) J I + L (TU ) R (TU )T JV K: 2 @t Based on that, the matrix D in (3.16) can be chosen as follows (evaluated at the interface point k; i ) k; 1 T D = T R(TU ) J I + L (TU ) R (TU )T; @t where the matrix J I + L (TU ) is taken as @t @ @ @ k k k J I + L (TU ) := max J + L (TU ) ; : : : ; J + L (TU ) I; k k 1 k 5 @t @t @t and the values of J I + L (TU ) and R (TU ) are calculated by using the arithmetic k ^ k; @t k; mean values of the left and right states. To obtain a second-order accurate ES scheme, the dissipation term in (3.16) has to be improved. Here the second-order TVD reconstruction is performed in the scaled entropy variables w = R V . 16 More speci cally, the linear reconstruction of w with the minmod limiter is used in the i -direction to obtain the left and right limit values at i , denoted by w and w , and then to de ne k;+ ^ ^ i i k;+ k;+ hhwii = w w : ^ ^ k;+ i i k;+ k;+ Because of the \sign" property sign(hhwii ) = sign(JwK ); ^ ^ i i k;+ k;+ utilizing the reconstructed jump in the dissipation term can give the following second-order ES scheme h i d 1 2nd (JU ) = F ; (3.18) i k dt i k=1 where 2nd b e F = F D hhwii : (3.19) ^ ^ ^ k;i i i k;i k; k; k; k; Remark 3.3. The ES schemes preserve the free-stream states since the dissipation terms are given by using the jump of the entropy variables, which vanish as the solution is a constant state. 4. Adaptive moving mesh strategy This section presents our adaptive moving mesh strategy at time t = t , but focus on the mesh iteration redistribution. The dependence of the variables on t will be omitted, unless otherwise stated. Consider the following mesh adaption functional E(x) = (r x ) G (r x ) d; (4.1) k k k k=1 where G is the given symmetric positive de nite matrix, depending on the solution U . More terms can be added to the above functional to control other aspects of the mesh such as the orthogonality and the alignment with a given vector eld, see e.g. [4, 5, 28]. Solving the Euler-Lagrange equations of (4.1) r (G r x ) = 0; 2 ; k = 1; 2; 3; (4.2) k k will give directly a coordinate transformation x = x() from the computational domain to the physical domain The concentration of the mesh points is controlled by G , which in general depends on the solutions or their derivatives of the underlying governing equations and is one of the most important elements in the adaptive moving mesh method. Dierent problems may be equipped with dierent G . Following the Winslow variable diusion method [56], the simplest choice of G is k k G = !I ; (4.3) k 3 17 where ! is a positive weight function, called the monitor function. For example, ! can be taken as ! = 1 + jr j=maxjr j; (4.4) where is some physical variable and > 0 is a parameter. There are several other choices of the monitor functions, see [7, 23, 24, 48, 50]. Remark 4.1. The monitor function is computed from the solutions of the underlying physical equations, thus is not smooth in general. To get a smoother (adaptive) mesh, the following low pass lter jj j+jj j+jj j+3 1 2 3 ! ! ; i ;i ;i i +j ;i +j ;i +j 1 2 3 1 1 2 2 3 3 j ;j ;j =0;1 1 2 3 is applied 2 3 times in this work. The mesh equations (4.2) are approximated by the central dierence scheme on the computa- tional mesh and then solved by using the Jacobi iteration method [] [+1] ! 1 1 x x 3 1 1 1 1 1 i +1;i + ;i + 1 2 3 i + ;i + ;i + i + ;i + ;i + 2 2 1 2 3 1 2 3 2 2 2 2 2 2 [+1] [] ! 1 1 x x 1 1 1 1 1 1 i ;i + ;i + 1 2 3 i + ;i + ;i + i ;i + ;i + 2 2 1 2 3 1 2 3 2 2 2 2 2 2 [] [+1] +! 1 1 x x 1 3 1 1 1 1 i + ;i +1;i + 1 2 3 i + ;i + ;i + i + ;i + ;i + 2 2 1 2 3 1 2 3 2 2 2 2 2 2 [+1] [] ! 1 1 x x 1 1 1 1 1 1 i + ;i ;i + 1 2 3 i + ;i + ;i + i + ;i ;i + 2 2 1 2 3 1 2 3 2 2 2 2 2 2 [] [+1] +! 1 1 x x 1 1 3 1 1 1 i + ;i + ;i +1 1 2 3 i + ;i + ;i + i + ;i + ;i + 2 2 1 2 3 1 2 3 2 2 2 2 2 2 [+1] [] ! 1 1 x x = 0; = 0; 1; ; ; 1 1 1 1 1 1 i + ;i + ;i 1 2 3 i + ;i + ;i + i + ;i + ;i 1 2 3 1 2 3 2 2 2 2 2 2 2 2 [0] in parallel, where x := x , and the values of ! are obtained by averaging 1 1 1 1 1 1 i + ;i + ;i + i + ;i + ;i + 1 2 3 1 2 3 2 2 2 2 2 2 the values of ! computed from the solutions U at t , e.g. ! 1 1 := (! + ! + ! + ! ) : i +1;i +1;i +1 i +1;i +1;i i +1;i ;i +1 i +1;i ;i 1 2 3 1 2 3 1 2 3 1 2 3 i +1;i + ;i + 1 2 3 2 2 In our numerical tests, the total iteration number is taken as 10, unless otherwise stated. [] Once the mesh fx g is obtained, the nal adaptive mesh is given by 1 1 1 i + ;i + ;i + 1 2 3 2 2 2 n+1 n n x := x + ( x) ; 1 1 1 1 1 1 1 1 1 i + ;i + ;i + i + ;i + ;i + i + ;i + ;i + 1 2 3 1 2 3 1 2 3 2 2 2 2 2 2 2 2 2 where [] n n ( x) := x x ; 1 1 1 1 1 1 1 1 1 i + ;i + ;i + i + ;i + ;i + 1 2 3 i + ;i + ;i + 1 2 3 1 2 3 2 2 2 2 2 2 2 2 2 18 and the parameter is used to limit the movement of mesh points h i > 1 n n >