arXiv subjects

Jianxian Qiu

Publications and source records attributed to Jianxian Qiu.

At least 19 recordsLinked to original sources

arXiv2026

A fifth-order divergence-free finite difference Hermite WENO scheme for ideal magnetohydrodynamics

In this paper, we present a fifth-order finite difference divergence-free Hermite weighted essentially non-oscillatory (HWENO) scheme for the ideal magnetohydrodynamics (MHD) equations. In this framework, both the solution and its spatial partial derivatives are evolved in time and jointly employed in the spatial reconstruction procedure. A major challenge in MHD simulations is preserving the divergence-free constraint of the magnetic field, which is generally violated by standard numerical methods designed solely for hyperbolic conservation laws. To address this issue, we first solve the MHD equations within the HWENO framework for hyperbolic conservation laws, yielding a magnetic field divergence that remains zero up to high-order accuracy in smooth regions. Subsequently, we apply a correction that evenly distributes the divergence error among the partial derivatives involved in the divergence-free constraint, thereby rendering the magnetic field discretely divergence-free at the new time level. This approach offers several advantages. First, the scheme retains the conservation property, as only the partial derivatives of the numerical solution are corrected, leaving the conserved variables unchanged. Second, the correction applied to the partial derivatives of the magnetic field components introduces only a high-order perturbation, thereby preserving the overall accuracy. Third, the divergence-free treatment significantly enhances robustness, as most benchmark test cases cannot be run stably without such a correction. Fourth, the correction is a simple linear operation applied at each stage of the time integration, incurring negligible additional computational cost. Extensive numerical experiments demonstrate the accuracy, resolution, efficiency, effectiveness, and robustness of the proposed scheme.

math.NA↗

arXiv2026

A compact simple HWENO scheme with ADER time discretization for hyperbolic conservation laws II: triangular meshes

A compact and high order HWENO scheme using ADER (Arbitrary high order using DERivatives) time discretization is developed for hyperbolic conservation laws on the triangular mesh, which is the extension of the work on the structured mesh (Luo et. al. (2024) \cite{luo2023}). The Lax-Wendroff procedure is employed to convert time derivatives to spatial derivatives. Thanks to this, the cell averages of the derivatives of the solution can be obtained by the time accurate solution as Gaussian points along the cell interfaces through the Green-Gauss theorem instead of by the evolution solution directly in the conventional HWENO methods. Comparing with the existing Runge-Kutta HWENO (RK-HWENO) method on the unstructured mesh (Zhao et. al. (2025) \cite{zhao2025}), the new method has the following advantages. Firstly, the RK-HWENO method must solve the additional equations for reconstructions and time advancing, which is avoided for the new method. Secondly, the HWENO reconstruction in the new method is performed once per time step and is different from the RK-HWENO method, in which the reconstruction is performed several times every time step. Because of these advantages the new method is more efficient than the RK-HWENO method with smaller numerical errors and less computational costs. Besides, comparing with the existing ADER-WENO methods \cite{dumbser20071,dumbser20072} under the same order of accuracy, the stencil of the new method is more compact since the both the function and its first derivative values are used in the reconstruction of the HWENO schemes. Numerical examples demonstrate that the new method can achieve the high order for smooth solutions both in space and time, keep non-oscillatory near discontinuities.

math.NA↗

arXiv2026

A simple, high-order and compact WENO limiter based on control volume for spectral volume method

The spectral volume(SV) method constructs a high-order polynomial for SV based on the average value of control volume(CV), but for discontinuous problems, a limiter is required to mitigate oscillations. This paper presents a novel CV-based high-resolution limiter to effectively suppress oscillations and maintain CV resolution. Drawing inspiration from the SWENO method [43], we utilize a nonlinear weighting approach to reconstruct a novel high-order polynomial for the target control volume by combining the high-order reconstructed polynomial and linear polynomials which are reconstructed by the cell average of the target CV and its neighboring CVs. The new high-order polynomial breaks the continuity in the SV, thus the utilization of numerical flux at the boundaries of troubled CVs and the SV boundaries. However, at other boundaries of CVs where physical quantities remain continuous, direct calculation of flux based on the values of physical variables is feasible. The limiter is simple, as it only requires several linear polynomials in the limitation process. Moreover, it still maintains the compactness of the SV method and preserves the resolution of CV. Numerical results for one- and two-dimensional scalar and system of conservation laws verified that the high-order property of the CV-SWENO limiter is effective in solving both smooth and strongly discontinuity problems.

math.NA↗

arXiv2026

Beyond Free-Stream Preservation: Transport Polynomial Exactness for Moving-Mesh Methods under Arbitrary Mesh Motion

High-order moving-mesh methods can effectively reduce numerical diffusion, but their formal accuracy typically relies on the regularity of the mesh velocity. This dependency creates a fundamental conflict in the numerical solution of hyperbolic conservation laws, where solution-driven adaptation may induce nonsmooth mesh motion, thereby degrading convergence order. We introduce \emph{transport polynomial exactness} (TPE($k$)), a mesh-motion-independent criterion that generalizes classical free-stream preservation (TPE(0)) to the exact advection of degree-$k$ polynomials. We show that the classical geometric conservation law (GCL) is insufficient to ensure TPE($k$) for $k \ge 1$ due to mismatches in higher-order geometric moments. To resolve this, we propose \emph{evolved geometric moments} (EGMs), obtained by solving auxiliary transport equations discretized compatibly with the physical variables. We rigorously prove that second-degree EGMs evolved via the third-order strong stability preserving Runge--Kutta (SSPRK3) method coincide with the exact geometric moments. This exactness arises from a \emph{superconvergence} mechanism wherein SSPRK3 reduces to Simpson's rule for EGM evolution. Leveraging this result, we construct a third-order conservative finite-volume rezoning moving-mesh scheme. The scheme satisfies the TPE(2) property for \emph{arbitrary mesh motion} and \emph{any pseudo-time step size}, thereby naturally accommodating spatiotemporally discontinuous mesh velocity. Crucially, this \emph{breaks the efficiency bottleneck} in the conventional advection-based remapping step and reduces the required pseudo-time levels from $\mathcal{O}(h^{-1})$ to $\mathcal{O}(1)$ under bounded but discontinuous mesh velocity. Numerical experiments verify exact quadratic transport and stable third-order convergence under extreme mesh deformation, demonstrating substantial efficiency gains.

math.NA↗

arXiv2025

Uniformly High Order Discontinuous Galerkin Gas Kinetic Scheme for Compressible flows

In this paper, a uniformly high-order discontinuous Galerkin gas kinetic scheme (DG-HGKS) is proposed to solve the Euler equations of compressible flows. The new scheme is an extension of the one-stage compact and efficient high-order GKS (CEHGKS, Li et al. , 2021. J. Comput. Phys. 447, 110661) in the finite volume framework. The main ideas of the new scheme consist of two parts. Firstly, starting from a fully discrete DG formulation, the numerical fluxes and volume integrals are expanded in time. Secondly, the time derivatives are replaced by spatial derivatives using the techniques in CEHGKS. To suppress the non-physical oscillations in the discontinuous regions while minimizing the number of "troubled cells", an effective limiter strategy compatible with the new scheme has been developed by combining the KXRCF indicator and the SHWENO reconstruction technique. The new scheme can achieve arbitrary high-order accuracy in both space and time, thereby breaking the previous limitation of no more than third-order accuracy in existing one-stage DG-HGKS schemes. Numerical tests in 1D and 2D have demonstrated the robustness and effectiveness of the scheme.

math.NA↗

arXiv2025

High order well-balanced and total-energy-conserving local discontinuous Galerkin methods for compressible self-gravitating Euler equations

In this paper, we develop a high order structure-preserving local discontinuous Galerkin (DG) scheme for the compressible self-gravitating Euler equations, which pose great challenges due to the presence of time-dependent gravitational potential. The designed scheme is well-balanced for general polytropic equilibrium state and total energy conserving for multiple spatial dimensions without an assumption of spherical symmetry. The well-balanced property is achieved by decomposing the gravitational potential into equilibrium and perturbation parts, employing a modified Harten-Lax-van Leer-contact flux and a modification of the discretization for the source term. Conservation of total energy is particularly challenging in the presence of self-gravity, especially when aiming for high order accuracy. To address this, we rewrite the energy equation into a conservative form, and carefully design an energy flux with the aid of weak formulation from the DG method to maintain conservation as well as high order accuracy. The resulting scheme can be extended to high order in time discretizations. Numerical examples for two and three dimensional problems are provided to verify the desired properties of our proposed scheme, including shock-capturing, high order accuracy, well balance, and total energy conservation.

math.NA↗

arXiv2025

Geometric-Perturbation-Robust Cut-Cell Scheme for Two-Material Flows: Exact Pressure-Equilibrium Preservation and Rigorous Analysis

Preserving pressure equilibrium across material interfaces is critical for the stability of compressible multi-material flow simulations, yet most interface-fitted sharp-interface schemes are notoriously sensitive to interface geometry: even slight perturbations of the captured (or tracked) interface can trigger large spurious pressure oscillations. We present a cut-cell method that is geometric-perturbation-robust (GPR) for the compressible two-material flows. By construction, the scheme provably preserves exact interfacial pressure equilibrium in the presence of small interface-position errors. The key is a strict consistency between the conserved variables and the geometric moments (i.e., the integrals of monomials) of every cut cell. We formulate auxiliary transport equations, whose discrete solutions furnish evolved geometric moment, these geometric moments remain perfectly synchronized with the conserved variables -- even on a deforming mesh. Surpassing the classical geometric conservation law, our approach keeps all higher-order geometric moments consistent, thereby eliminating accuracy loss due to geometric mismatches. To prevent the reconstruction step from destroying pressure equilibrium, we introduce the notion of equilibrium-compatible (EC) reconstructions. A carefully designed modification equips any conventional weighted essentially non-oscillatory (WENO) reconstruction with the EC property; we detail a third-order EC multi-resolution WENO (EC-MRWENO) variant. The tight coupling of EC-MRWENO with the evolved moments yields the first cut-cell solver that is simultaneously provably GPR and genuinely high-order: it attains second-order accuracy precisely at material interfaces, while preserving third-order accuracy in smooth regions. Extensive two-dimensional tests confirm the framework's robustness, accuracy and stability under geometric perturbations and topology changes.

math.NA↗

arXiv2025

A High-Order Compact Hermite Difference Method for Double-Diffusive Convection

In this paper, a class of high-order compact finite difference Hermite scheme is presented for the simulation of double-diffusive convection. To maintain linear stability, the convective fluxes are split into positive and negative parts, then the compact Hermite difference methods are used to discretize the positive and negative fluxes, respectively. The diffusion fluxes of the governing equations are directly approximated by a high-order finite difference scheme based on the Hermite interpolation. The advantages of the proposed schemes are that the derivative values of the solutions are directly solved by the compact central difference scheme, and the auxiliary derivative equation is no longer required. The third-order Runge-Kutta method is utilized for the temporal discretization. Several numerical tests are presented to assess the numerical capability of the newly proposed algorithm. The numerical results are in great agreement with the benchmark solutions and some of the accurate results available in the literature. Subsequently, we apply the algorithm to solve steady and unsteady problems of double-diffusive convection and a preliminary application to the double-diffusive convection for different Raleigh numbers and aspect ratios is carried out.

math.NA↗

arXiv2024

Non-splitting Eulerian-Lagrangian WENO schemes for two-dimensional nonlinear convection-diffusion equations

In this paper, we develop high-order, conservative, non-splitting Eulerian-Lagrangian (EL) Runge-Kutta (RK) finite volume (FV) weighted essentially non-oscillatory (WENO) schemes for convection-diffusion equations. The proposed EL-RK-FV-WENO scheme defines modified characteristic lines and evolves the solution along them, significantly relaxing the time-step constraint for the convection term. The main algorithm design challenge arises from the complexity of constructing accurate and robust reconstructions on dynamically varying Lagrangian meshes. This reconstruction process is needed for flux evaluations on time-dependent upstream quadrilaterals and time integrations along moving characteristics. To address this, we propose a strategy that utilizes a WENO reconstruction on a fixed Eulerian mesh for spatial reconstruction, and updates intermediate solutions on the Eulerian background mesh for implicit-explicit RK temporal integration. This strategy leverages efficient reconstruction and remapping algorithms to manage the complexities of polynomial reconstructions on time-dependent quadrilaterals, while ensuring local mass conservation. The proposed scheme ensures mass conservation due to the flux-form semi-discretization and the mass-conservative reconstruction on both background and upstream cells. Extensive numerical tests have been performed to verify the effectiveness of the proposed scheme.

math.NA↗

arXiv2024

Provably Convergent and Robust Newton-Raphson Method: A New Dawn in Primitive Variable Recovery for Relativistic MHD

A long-standing and formidable challenge faced by all conservative schemes for relativistic magnetohydrodynamics (RMHD) is the recovery of primitive variables from conservative ones. This process involves solving highly nonlinear equations subject to physical constraints. An ideal solver should be "robust, accurate, and fast -- it is at the heart of all conservative RMHD schemes," as emphasized in [S.C. Noble et al., ApJ, 641:626-637, 2006]. Despite over three decades of research, seeking efficient solvers that can provably guarantee stability and convergence remains an open problem. This paper presents the first theoretical analysis for designing a robust, physical-constraint-preserving (PCP), and provably (quadratically) convergent Newton-Raphson (NR) method for primitive variable recovery in RMHD. Our key innovation is a unified approach for the initial guess, devised based on sophisticated analysis. It ensures that the NR iteration consistently converges and adheres to physical constraints. Given the extreme nonlinearity and complexity of the iterative function, the theoretical analysis is highly nontrivial and technical. We discover a pivotal inequality for delineating the convexity and concavity of the iterative function and establish theories to guarantee the PCP property and convergence. We also develop theories to determine a computable initial guess within a theoretical "safe" interval. Intriguingly, we find that the unique positive root of a cubic polynomial always falls within this interval. Our PCP NR method is versatile and can be seamlessly integrated into any RMHD scheme that requires the recovery of primitive variables, potentially leading to a broad impact in this field. As an application, we incorporate it into a discontinuous Galerkin method, resulting in fully PCP schemes. Several numerical experiments demonstrate the efficiency and robustness of the PCP NR method.

math.NA↗

arXiv2024

A moment-based Hermite WENO scheme with unified stencils for hyperbolic conservation laws

In this paper, a fifth-order moment-based Hermite weighted essentially non-oscillatory scheme with unified stencils (termed as HWENO-U) is proposed for hyperbolic conservation laws. The main idea of the HWENO-U scheme is to modify the first-order moment by a HWENO limiter only in the time discretizations using the same information of spatial reconstructions, in which the limiter not only overcomes spurious oscillations well, but also ensures the stability of the fully-discrete scheme. For the HWENO reconstructions, a new scale-invariant nonlinear weight is designed by incorporating only the integral average values of the solution, which keeps all properties of the original one while is more robust for simulating challenging problems with sharp scale variations. Compared with previous HWENO schemes, the advantages of the HWENO-U scheme are: (1) a simpler implemented process involving only a single HWENO reconstruction applied throughout the entire procedures without any modifications for the governing equations; (2) increased efficiency by utilizing the same candidate stencils, reconstructed polynomials, and linear and nonlinear weights in both the HWENO limiter and spatial reconstructions; (3) reduced problem-specific dependencies and improved rationality, as the nonlinear weights are identical for the function $u$ and its non-zero multiple $ζu$. Besides, the proposed scheme retains the advantages of previous HWENO schemes, including compact reconstructed stencils and the utilization of artificial linear weights. Extensive benchmarks are carried out to validate the accuracy, efficiency, resolution, and robustness of the proposed scheme.

math.NA↗

arXiv2023

Provably convergent Newton-Raphson methods for recovering primitive variables with applications to physical-constraint-preserving Hermite WENO schemes for relativistic hydrodynamics

The relativistic hydrodynamics (RHD) equations have three crucial intrinsic physical constraints on the primitive variables: positivity of pressure and density, and subluminal fluid velocity. However, numerical simulations can violate these constraints, leading to nonphysical results or even simulation failure. Designing genuinely physical-constraint-preserving (PCP) schemes is very difficult, as the primitive variables cannot be explicitly reformulated using conservative variables due to relativistic effects. In this paper, we propose three efficient Newton--Raphson (NR) methods for robustly recovering primitive variables from conservative variables. Importantly, we rigorously prove that these NR methods are always convergent and PCP, meaning they preserve the physical constraints throughout the NR iterations. The discovery of these robust NR methods and their PCP convergence analyses are highly nontrivial and technical. As an application, we apply the proposed NR methods to design PCP finite volume Hermite weighted essentially non-oscillatory (HWENO) schemes for solving the RHD equations. Our PCP HWENO schemes incorporate high-order HWENO reconstruction, a PCP limiter, and strong-stability-preserving time discretization. We rigorously prove the PCP property of the fully discrete schemes using convex decomposition techniques. Moreover, we suggest the characteristic decomposition with rescaled eigenvectors and scale-invariant nonlinear weights to enhance the performance of the HWENO schemes in simulating large-scale RHD problems. Several demanding numerical tests are conducted to demonstrate the robustness, accuracy, and high resolution of the proposed PCP HWENO schemes and to validate the efficiency of our NR methods.

math.NA↗

arXiv2023

A compact simple HWENO scheme with ADER time discretization for hyperbolic conservation laws I: structured meshes

In this paper, a compact and high order ADER (Arbitrary high order using DERivatives) scheme using the simple HWENO method (ADER-SHWENO) is proposed for hyperbolic conservation laws. The newly-developed method employs the Lax-Wendroff procedure to convert time derivatives to spatial derivatives, which provides the time evolution of the variables at the cell interfaces. This information is required for the simple HWENO reconstructions, which take advantages of the simple WENO and the classic HWENO. Compared with the original Runge-Kutta HWENO method (RK-HWENO), the new method has two advantages. Firstly, RK-HWENO method must solve the additional equations for reconstructions, which is avoided for the new method. Secondly, the SHWENO reconstruction is performed once with one stencil and is different from the classic HWENO methods, in which both the function and its derivative values are reconstructed with two different stencils, respectively. Thus the new method is more efficient than the RK-HWENO method. Moreover, the new method is more compact than the existing ADER-WENO method. Besides, the new method makes the best use of the information in the ADER method. Thus, the time evolution of the cell averages of the derivatives is simpler than that developed in the work [Li et. al., 447 (2021), 110661.]. Numerical tests indicate that the new method can achieve high order for smooth solutions both in space and time, keep non-oscillatory at discontinuities.

math.NA↗

arXiv2022

A study on CFL conditions for the DG solution of conservation laws on adaptive moving meshes

The selection of time step plays a crucial role in improving stability and efficiency in the Discontinuous Galerkin (DG) solution of hyperbolic conservation laws on adaptive moving meshes that typically employs explicit stepping. A commonly used selection of time step is a direct extension based on Courant-Friedrichs-Levy (CFL) conditions established for fixed and uniform meshes. In this work, we provide a mathematical justification for those time step selection strategies used in practical adaptive DG computations. A stability analysis is presented for a moving mesh DG method for linear scalar conservation laws. Based on the analysis, a new selection strategy of the time step is proposed, which takes into consideration the coupling of the $α$-function (that is related to the eigenvalues of the Jacobian matrix of the flux and the mesh movement velocity) and the heights of the mesh elements. The analysis also suggests several stable combinations of the choices of the $α$-function in the numerical scheme and in the time step selection. Numerical results obtained with a moving mesh DG method for Burgers' and Euler equations are presented. For comparison purpose, numerical results obtained with an error-based time step-size selection strategy are also given.

math.NA↗

arXiv2022

Fourth-order conservative non-splitting semi-Lagrangian Hermite WENO schemes for kinetic and fluid simulations

We present fourth-order conservative non-splitting semi-Lagrangian (SL) Hermite essentially non-oscillatory (HWENO) schemes for linear transport equations with applications for nonlinear problems including the Vlasov-Poisson system, the guiding center Vlasov model, and the incompressible Euler equations in the vorticity-stream function formulation. The proposed SL HWENO schemes combine a weak formulation of the characteristic Galerkin method with two newly constructed HWENO reconstruction methods. Fourth-order accuracy is accomplished in both space and time under a non-splitting setting. Mass conservation naturally holds due to the weak formulation of the characteristic Galerkin method and the design of the HWENO reconstructions. We apply a positive-preserving limiter to maintain the positivity of numerical solutions when needed. Although the proposed SL framework allows us to take large time steps for improving computational efficiency, it also brings challenges to the spatial reconstruction technique; we construct two kind of novel HWENO reconstructions to fit the need for the proposed SL framework. Abundant benchmark tests are performed to verify the effectiveness of the proposed SL HWENO schemes.

math.NA↗

arXiv2022

A well-balanced moving mesh discontinuous Galerkin method for the Ripa model on triangular meshes

A well-balanced moving mesh discontinuous Galerkin (DG) method is proposed for the numerical solution of the Ripa model -- a generalization of the shallow water equations that accounts for effects of water temperature variations. Thermodynamic processes are important particularly in the upper layers of the ocean where the variations of sea surface temperature play a fundamental role in climate change. The well-balance property which requires numerical schemes to preserve the lake-at-rest steady state is crucial to the simulation of perturbation waves over that steady state such as waves on a lake or tsunami waves in the deep ocean. To ensure the well-balance, positivity-preserving, and high-order properties, a DG-interpolation scheme (with or without scaling positivity-preserving limiter) and special treatments pertaining to the Ripa model are employed in the transfer of both the flow variables and bottom topography from the old mesh to the new one and in the TVB limiting process. Mesh adaptivity is realized using an MMPDE moving mesh approach and a metric tensor based on an equilibrium variable and water depth. A motivation is to adapt the mesh according to both the perturbations of the lake-at-rest steady state and the water depth distribution (bottom structure). Numerical examples in one and two dimensions are presented to demonstrate the well-balance, high-order accuracy, and positivity-preserving properties of the method and its ability to capture small perturbations of the lake-at-rest steady state.

math.NA↗

arXiv2022

Moment-based multi-resolution HWENO scheme for hyperbolic conservation laws

In this paper, a high-order moment-based multi-resolution Hermite weighted essentially non-oscillatory (HWENO) scheme is designed for hyperbolic conservation laws. The main idea of this scheme is derived from our previous work [J. Comput. Phys., 446 (2021) 110653], in which the integral averages of the function and its first order derivative are used to reconstruct both the function and its first order derivative values at the boundaries. However, in this paper, only the function values at the Gauss-Lobatto points in the one or two dimensional case need to be reconstructed by using the information of the zeroth and first order moments. In addition, an extra modification procedure is used to modify those first order moments in the troubled-cells, which leads to an improvement of stability and an enhancement of resolution near discontinuities. To obtain the same order of accuracy, the size of the stencil required by this moment-based multi-resolution HWENO scheme is still the same as the general HWENO scheme and is more compact than the general WENO scheme. Moreover, the linear weights can also be any positive numbers as long as their sum equals one and the CFL number can still be 0.6 whether for the one or two dimensional case. Extensive numerical examples are given to demonstrate the stability and resolution of such moment-based multi-resolution HWENO scheme.

math.NA↗

arXiv2021

High Order Residual Distribution Conservative Finite Difference HWENO Scheme for Steady State Problems

In this paper, we develop a high order residual distribution (RD) method for solving steady state conservation laws in a novel Hermite weighted essentially non-oscillatory (HWENO) framework recently developed in [24]. In particular, we design a high order HWENO integration for the integrals of source term and fluxes based on the point value of the solution and its spatial derivatives, and the principles of residual distribution schemes are adapted to obtain steady state solutions. Two advantages of the novel HWENO framework have been shown in [24]: first, compared with the traditional HWENO framework, the proposed method does not need to introduce additional auxiliary equations to update the derivatives of the unknown variable, and just compute them from the current point value of the solution and its old spatial derivatives, which saves the computational storage and CPU time, and thereby improve the computational efficiency of the traditional HWENO framework. Second, compared with the traditional WENO method, reconstruction stencil of the HWENO methods becomes more compact, their boundary treatment is simpler, and the numerical errors are smaller at the same grid. Thus, it is also a compact scheme when we design the higher order accuracy, compared with that in [11] Chou and Shu proposed. Extensive numerical experiments for one- and two-dimensional scalar and systems problems confirm the high order accuracy and good quality of our scheme.

math.NA↗