arXiv subjects

Huazhong Tang

Publications and source records attributed to Huazhong Tang.

At least 19 recordsLinked to original sources

arXiv2026

E Scheme and Flux-Limiter Scheme, Revisited

This paper revisits the {\em E scheme} of Osher \cite{Osher-SINUM1984} and the {\em flux-limiter scheme} of Sweby for quasi-linear hyperbolic conservation laws \cite{Sweby-SINUM1984}. Part of existing results will be re-understood and some new results will be presented. For a scalar conservation law, except for the conservative monotone schemes, the E scheme is a type of numerical methods that satisfy the discrete entropy condition for any convex entropy, but numerical entropy flux is not unique. Two-point monotone flux is E flux, but conversely it may not necessarily be correct. Moreover, multi-point (three or more points) E flux may not necessarily be monotone flux, and multi-point monotone flux may not necessarily be E flux. Sweby's flux-limiter scheme for the quasi-linear conservation laws was built on the E flux-based splitting $f_{j+1}-f_j=f_{j+1} { -\hat{f}^{\text{\tiny E}}_{j+\frac12}+\hat{f}^{\text{\tiny E}}_{j+\frac12}}-f_j$ and the LW scheme. It may not be second-order accurate in both space and time.

math.NA↗

arXiv2024

High-order accurate structure-preserving finite volume schemes on adaptive moving meshes for shallow water equations: Well-balancedness and positivity

This paper develops high-order accurate, well-balanced (WB), and positivity-preserving (PP) finite volume schemes for shallow water equations on adaptive moving structured meshes. The mesh movement poses new challenges in maintaining the WB property, which not only depends on the balance between flux gradients and source terms but is also affected by the mesh movement. To address these complexities, the WB property in curvilinear coordinates is decomposed into flux source balance and mesh movement balance. The flux source balance is achieved by suitable decomposition of the source terms, the numerical fluxes based on hydrostatic reconstruction, and appropriate discretization of the geometric conservation laws (GCLs). Concurrently, the mesh movement balance is maintained by integrating additional schemes to update the bottom topography during mesh adjustments. The proposed schemes are rigorously proven to maintain the WB property by using the discrete GCLs and these two balances. We provide rigorous analyses of the PP property under a sufficient condition enforced by a PP limiter. Due to the involvement of mesh metrics and movement, the analyses are nontrivial, while some standard techniques, such as splitting high-order schemes into convex combinations of formally first-order PP schemes, are not directly applicable. Various numerical examples validate the high-order accuracy, high efficiency, WB, and PP properties of the proposed schemes.

math.NA↗

arXiv2024

High-order accurate entropy stable schemes for compressible Euler equations with van der Waals equation of state on adaptive moving meshes

This paper develops the high-order entropy stable (ES) finite difference schemes for multi-dimensional compressible Euler equations with the van der Waals equation of state (EOS) on adaptive moving meshes. Semi-discrete schemes are first nontrivially constructed built on the newly derived high-order entropy conservative (EC) fluxes in curvilinear coordinates and scaled eigenvector matrices as well as the multi-resolution WENO reconstruction, and then the fully-discrete schemes are given by using the high-order explicit strong-stability-preserving Runge-Kutta time discretizations.The high-order EC fluxes in curvilinear coordinates are derived by using the discrete geometric conservation laws and the linear combination of the two-point symmetric EC fluxes, while the two-point EC fluxes are delicately selected by using their sufficient condition, the thermodynamic entropy and the technically selected parameter vector.The adaptive moving meshes are iteratively generated by solving the mesh redistribution equations, in which the fundamental derivative related to the occurrence of non-classical waves is involved to produce high-quality mesh. Several numerical tests on the parallel computer system with the MPI programming are conducted to validate the accuracy, the ability to capture the classical and non-classical waves, and the high efficiency of our schemes in comparison with their counterparts on the uniform mesh.

math.NA↗

arXiv2024

A second-order direct Eulerian GRP scheme for ten-moment Gaussian closure equations with source terms

This paper proposes a second-order accurate direct Eulerian generalized Riemann problem (GRP) scheme for the ten-moment Gaussian closure equations with source terms. The generalized Riemann invariants associated with the rarefaction waves, the contact discontinuity and the shear waves are given, and the 1D exact Riemann solver is obtained. After that, the generalized Riemann invariants and the Rankine-Hugoniot jump conditions are directly used to resolve the left and right nonlinear waves (rarefaction wave and shock wave) of the local GRP in Eulerian formulation, and then the 1D direct Eulerian GRP scheme is derived. They are much more complicated, technical and nontrivial due to more physical variables and elementary waves. Some 1D and 2D numerical experiments are presented to check the accuracy and high resolution of the proposed GRP schemes, where the 2D direct Eulerian GRP scheme is given by using the Strang splitting method for simplicity. It should be emphasized that several examples of 2D Riemann problems are constructed for the first time.

math.NA↗

arXiv2024

High-order accurate positivity-preserving and well-balanced discontinuous Galerkin schemes for ten-moment Gaussian closure equations with source terms

This paper proposes novel high-order accurate discontinuous Galerkin (DG) schemes for the one- and two-dimensional ten-moment Gaussian closure equations with source terms defined by a known potential function. Our DG schemes exhibit the desirable capability of being well-balanced (WB) for a known hydrostatic equilibrium state while simultaneously preserving positive density and positive-definite anisotropic pressure tensor. The well-balancedness is built on carefully modifying the solution states in the Harten-Lax-van Leer-contact (HLLC) flux, and appropriate reformulation and discretization of the source terms. Our novel modification technique overcomes the difficulties posed by the anisotropic effects, maintains the high-order accuracy, and ensures that the modified solution state remains within the physically admissible state set. Positivity-preserving analyses of our WB DG schemes are conducted by using several key properties of the admissible state set, the HLLC flux and the HLLC solver, as well as the geometric quasilinearization (GQL) approach in [Wu & Shu, SIAM Review, 65: 1031-1073, 2023], which was originally applied to analyze the admissible state set and physical-constraints-preserving schemes for the relativistic magnetohydrodynamics in [Wu & Tang, M3AS, 27: 1871-1928, 2017], to address the difficulties arising from the nonlinear constraints on pressure tensor. Moreover, the proposed WB DG schemes satisfy the weak positivity for the cell averages, implying the use of a scaling limiter to enforce the physical admissibility of the DG solution polynomials at certain points of interest. Extensive numerical experiments are conducted to validate the preservation of equilibrium states, accuracy in capturing small perturbations to such states, robustness in solving problems involving low density or low pressure, and high resolution for both smooth and discontinuous solutions.

math.NA↗

arXiv2023

High-order accurate well-balanced energy stable finite difference schemes for multi-layer shallow water equations on fixed and adaptive moving meshes

This paper develops high-order well-balanced (WB) energy stable (ES) finite difference schemes for multi-layer (the number of layers $M\geqslant 2$) shallow water equations (SWEs) on both fixed and adaptive moving meshes, extending our previous works [20,51]. To obtain an energy inequality, the convexity of an energy function for an arbitrary $M$ is proved by finding recurrence relations of the leading principal minors or the quadratic forms of the Hessian matrix of the energy function with respect to the conservative variables, which is more involved than the single-layer case due to the coupling between the layers in the energy function. An important ingredient in developing high-order semi-discrete ES schemes is the construction of a two-point energy conservative (EC) numerical flux. In pursuit of the WB property, a sufficient condition for such EC fluxes is given with compatible discretizations of the source terms similar to the single-layer case. It can be decoupled into $M$ identities individually for each layer, making it convenient to construct a two-point EC flux for the multi-layer system. To suppress possible oscillations near discontinuities, WENO-based dissipation terms are added to the high-order WB EC fluxes, which gives semi-discrete high-order WB ES schemes. Fully-discrete schemes are obtained by employing high-order explicit SSP-RK methods and proved to preserve the lake at rest. The schemes are further extended to moving meshes based on a modified energy function for a reformulated system, relying on the techniques proposed in [51]. Numerical experiments are conducted for some two- and three-layer cases to validate the high-order accuracy, WB and ES properties, and high efficiency of the schemes, with a suitable amount of dissipation chosen by estimating the maximal wave speed due to the lack of an analytical expression for the eigenstructure of the multi-layer system.

math.NA↗

arXiv2023

High-order accurate well-balanced energy stable adaptive moving mesh finite difference schemes for the shallow water equations with non-flat bottom topography

This paper proposes high-order accurate well-balanced (WB) energy stable (ES) adaptive moving mesh finite difference schemes for the shallow water equations (SWEs) with non-flat bottom topography. To enable the construction of the ES schemes on moving meshes, a reformulation of the SWEs is introduced, with the bottom topography as an additional conservative variable that evolves in time. The corresponding energy inequality is derived based on a modified energy function, then the reformulated SWEs and energy inequality are transformed into curvilinear coordinates. A two-point energy conservative (EC) flux is constructed, and high-order EC schemes based on such a flux are proved to be WB that they preserve the lake at rest. Then high-order ES schemes are derived by adding suitable dissipation terms to the EC schemes, which are newly designed to maintain the WB and ES properties simultaneously. The adaptive moving mesh strategy is performed by iteratively solving the Euler-Lagrangian equations of a mesh adaptation functional. The fully-discrete schemes are obtained by using the explicit strong-stability preserving third-order Runge-Kutta method. Several numerical tests are conducted to validate the accuracy, WB and ES properties, shock-capturing ability, and high efficiency of the schemes.

math.NA↗

arXiv2023

Genuinely multidimensional physical-constraints-preserving finite volume schemes for the special relativistic hydrodynamics

This paper develops the genuinely multidimensional HLL Riemann solver for the two-dimensional special relativistic hydrodynamic equations on Cartesian meshes and studies its physical-constraint preserving (PCP) property. Based on the resulting HLL solver, the first- and high-order accurate PCP finite volume schemes are proposed. In the high-order scheme, the WENO reconstruction, the third-order accurate strong-stability-preserving time discretizations and the PCP flux limiter are used. Several numerical results are given to demonstrate the accuracy, performance and resolution of the shock waves etc. as well as the genuinely multi-dimensional wave structures of our PCP finite volume schemes.

math.NA↗

arXiv2023

A general class of linear unconditionally energy stable schemes for the gradient flows, II

This paper continues to study linear and unconditionally modified-energy stable (abbreviated as SAV-GL) schemes for the gradient flows. The schemes are built on the SAV technique and the general linear time discretizations (GLTD) as well as the extrapolation for the nonlinear term. Different from [44], the GLTDs with three parameters discussed here are not necessarily algebraically stable. Some algebraic identities are derived by using the method of undetermined coefficients and further used to establish the modified-energy inequalities for the unconditional modified-energy stability of the semi-discrete-in-time SAV-GL schemes. It is worth emphasizing that those algebraic identities or energy inequalities are not necessarily unique for some choices of three parameters in the GLTDs. Numerical experiments on the Allen-Cahn, the Cahn-Hilliard and the phase field crystal models with the periodic boundary conditions are conducted to validate the unconditional modified-energy stability of the SAV-GL schemes, where the Fourier pseudo-spectral method is employed in space with the zero-padding to eliminate the aliasing error and the time stepsizes for ensuring the original-energy decay are estimated by using the stability regions of our SAV-GL schemes for the test equation. The resulting time stepsize constraints for the SAV-GL schemes are almost consistent with the numerical results on the above gradient flow models.

math.NA↗

arXiv2022

Positivity-Preserving Well-Balanced Central Discontinuous Galerkin Schemes for the Euler Equations under Gravitational Fields

This paper designs and analyzes positivity-preserving well-balanced (WB) central discontinuous Galerkin (CDG) schemes for the Euler equations with gravity. A distinctive feature of these schemes is that they not only are WB for a general known stationary hydrostatic solution, but also can preserve the positivity of the fluid density and pressure. The standard CDG method does not possess this feature, while directly applying some existing WB techniques to the CDG framework may not accommodate the positivity and keep other important properties at the same time. In order to obtain the WB and positivity-preserving properties simultaneously while also maintaining the conservativeness and stability of the schemes, a novel spatial discretization is devised in the CDG framework based on suitable modifications to the numerical dissipation term and the source term approximation. The modifications are based on a crucial projection operator for the stationary hydrostatic solution, which is proposed for the first time in this work. This novel projection has the same order of accuracy as the standard $L^2$-projection, can be explicitly calculated, and is easy to implement without solving any optimization problems. More importantly, it ensures that the projected stationary solution has the same cell averages on both the primal and dual meshes, which is a key to achieve the desired properties of our schemes. Based on some convex decomposition techniques, rigorous positivity-preserving analyses for the resulting WB CDG schemes are carried out. Several one- and two-dimensional numerical examples are performed to illustrate the desired properties of these schemes, including the high-order accuracy, the WB property, the robustness for simulations involving the low pressure or density, high resolution for the discontinuous solutions and the small perturbations around the equilibrium state.

math.NA↗

arXiv2022

A general class of linear unconditionally energy stable schemes for the gradient flows

This paper studies a class of linear unconditionally energy stable schemes for the gradient flows. Such schemes are built on the SAV technique and the general linear time discretization (GLTD) as well as the linearization based on the extrapolation for the nonlinear term, and may be arbitrarily high-order accurate and very general, containing many existing SAV schemes and new SAV schemes. It is shown that the semi-discrete-in-time schemes are unconditionally energy stable when the GLTD is algebraically stable, and are convergent with the order of $\min\{\hat{q},ν\}$ under the diagonal stability and some suitable regularity and accurate starting values, where $\hat{q}$ is the generalized stage order of the GLTD and $ν$ denotes the number of the extrapolation points in time. The energy stability results can be easily extended to the fully discrete schemes, for example, if the Fourier spectral method is employed in space when the periodic boundary conditions are specified. Some numerical experiments on the Allen-Cahn, Cahn-Hilliard, and phase field crystal models are conducted to validate those theories as well as the effectiveness, the energy stability and the accuracy of our schemes.

math.NA↗

arXiv2022

High-order accurate entropy stable adaptive moving mesh finite difference schemes for (multi-component) compressible Euler equations with the stiffened equation of state

This paper extends the high-order entropy stable (ES) adaptive moving mesh finite difference schemes developed in [14] to the two- and three-dimensional (multi-component) compressible Euler equations with the stiffened equation of state. The two-point entropy conservative (EC) flux is first constructed in the curvilinear coordinates. The high-order semi-discrete EC schemes are given with the aid of the two-point EC flux and the high-order discretization of the geometric conservation laws, and then the high-order semi-discrete ES schemes satisfying the entropy inequality are derived by adding the high-order dissipation term based on the multi-resolution weighted essentially non-oscillatory (WENO) reconstruction for the scaled entropy variables to the EC schemes. The explicit strong-stability-preserving Runge-Kutta methods are used for the time discretization and the mesh points are adaptively redistributed by iteratively solving the mesh redistribution equations with an appropriately chosen monitor function. Several 2D and 3D numerical tests are conducted on the parallel computer system with the MPI programming to validate the accuracy and the ability to capture effectively the localized structures of the proposed schemes.

math.NA↗

arXiv2021

High-order accurate entropy stable adaptive moving mesh finite difference schemes for special relativistic (magneto)hydrodynamics

This paper develops high-order accurate entropy stable (ES) adaptive moving mesh finite difference schemes for the two- and three-dimensional special relativistic hydrodynamic (RHD) and magnetohydrodynamic (RMHD) equations, which is the high-order accurate extension of [J.M. Duan and H.Z. Tang, Entropy stable adaptive moving mesh schemes for 2D and 3D special relativistic hydrodynamics, J. Comput. Phys., 426(2021), 109949]. The key point is the derivation of the higher-order accurate entropy conservative (EC) and ES finite difference schemes in the curvilinear coordinates by carefully dealing with the discretization of the temporal and spatial metrics and the Jacobian of the coordinate transformation and constructing the high-order EC and ES fluxes with the discrete metrics. The spatial derivatives in the source terms of the symmetrizable RMHD equations and the geometric conservation laws are discretized by using the linear combinations of the corresponding second-order case to obtain high-order accuracy. Based on the proposed high-order accurate EC schemes and the high-order accurate dissipation terms built on the WENO reconstruction, the high-order accurate ES schemes are obtained for the RHD and RMHD equations in the curvilinear coordinates. The mesh iteration redistribution or adaptive moving mesh strategy is built on the minimization of the mesh adaption functional. Several numerical tests are conducted to validate the shock-capturing ability and high efficiency of our high-order accurate ES adaptive moving mesh methods on the parallel computer system with the MPI communication. The numerical results show that the high-order accurate ES adaptive moving mesh schemes outperform both their counterparts on the uniform mesh and the second-order ES adaptive moving mesh schemes.

math.NA↗

arXiv2021

An analytical solution of the isentropic vortex problem in the special relativistic magnetohydrodynamics

The isentropic vortex problem is frequently solved to test the accuracy of numerical methods and verify corresponding code. Unfortunately, its existing solution was derived in the relativistic magnetohydrodynamics by numerically solving an ordinary differential equation. This note provides an analytical solution of the 2D isentropic vortex problem with explicit algebraic expressions in the special relativistic hydrodynamics and magnetohydrodynamics and extends it to the 3D case.

physics.plasm-ph↗

arXiv2020

A physical-constraints-preserving genuinely multidimensional HLL scheme for the special relativistic hydrodynamics

This paper develops the genuinely multidimensional HLL Riemann solver and finite volume scheme for the two-dimensional special relativistic hydrodynamic equations on Cartesian meshes and studies its physical-constraint-preserving (PCP) property. Several numerical results demonstrate the accuracy, the performance and the resolution of the shock waves and the genuinely multi-dimensional wave structures of the proposed PCP scheme.

math.NA↗

arXiv2020

Three discontinuous Galerkin methods for one- and two-dimensional nonlinear Dirac equations with a scalar self-interaction

This paper develops three high-order accurate discontinuous Galerkin (DG) methods for the one-dimensional (1D) and two-dimensional (2D) nonlinear Dirac (NLD) equations with a general scalar self-interaction. They are the Runge-Kutta DG (RKDG) method and the DG methods with the one-stage fourth-order Lax-Wendroff type time discretizaiton (LWDG) and the two-stage fourth-order accurate time discretization (TSDG). The RKDG method uses the spatial DG approximation to discretize the NLD equations and then utilize the explicit multistage high-order Runge-Kutta time discretization for the first-order time derivatives, while the LWDG and TSDG methods, on the contrary, first give the one-stage fourth-order Lax-Wendroff type and the two-stage fourth-order time discretizations of the NLD equations, respectively, and then discretize the first- and higher-order spatial derivatives by using the spatial DG approximation. The $L^{2}$ stability of the 2D semi-discrete DG approximation is proved in the RKDG methods for a general triangulation, and the computational complexities of three 1D DG methods are estimated. Numerical experiments are conducted to validate the accuracy and the conservative properties of the proposed methods. The interactions of the solitary waves, the standing and travelling waves are investigated numerically and the 2D breathing pattern is observed.

math.NA↗

arXiv2020

Second-order accurate BGK schemes for the special relativistic hydrodynamics with the Synge equation of state

This paper extends the second-order accurate BGK finite volume schemes for the ultra-relativistic flow simulations [5] to the 1D and 2D special relativistic hydrodynamics with the Synge equation of state. It is shown that such 2D schemes are very time-consuming due to the moment integrals (triple integrals) so that they are no longer practical. In view of this, the simplified BGK (sBGK) schemes are presented by removing some terms in the approximate nonequilibrium distribution at the cell interface for the BGK scheme without loss of accuracy. They are practical because the moment integrals of the approximate distribution can be reduced to the single integrals by some coordinate transformations. The relations between the left and right states of the shock wave, rarefaction wave, and contact discontinuity are also discussed, so that the exact solution of the 1D Riemann problem could be derived and used for the numerical comparisons. Several numerical experiments are conducted to demonstrate that the proposed gas-kinetic schemes are accurate and stable. A comparison of the sBGK schemes with the BGK scheme in one dimension shows that the former performs almost the same as the latter in terms of the accuracy and resolution, but is much more efficiency.

math.NA↗

arXiv2020

Entropy stable adaptive moving mesh schemes for 2D and 3D special relativistic hydrodynamics

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 finite 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 sufficient condition is proved for the two-point entropy conservative (EC) flux, 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 sufficient condition, the EC fluxes 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 reconstruction 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 effectively capture the localized structures, such as sharp transitions or discontinuities, and are more efficient than their counterparts on uniform mesh.

math.NA↗