arXiv subjects

Yinhua Xia

Publications and source records attributed to Yinhua Xia.

17 recordsLinked to original sources

arXiv2026

The jump filter in the discontinuous Galerkin method for hyperbolic conservation laws

When simulating hyperbolic conservation laws with discontinuous solutions, high-order linear numerical schemes often produce undesirable spurious oscillations. In this paper, we propose a jump filter within the discontinuous Galerkin (DG) method to mitigate these oscillations. This filter operates locally based on jump information at cell interfaces, targeting high-order polynomial modes within each cell. Besides its localized nature, our proposed filter preserves key attributes of the DG method, including conservation, $L^2$ stability, and high-order accuracy. We also explore its compatibility with other damping techniques, and demonstrate its seamless integration into a hybrid limiter. In scenarios featuring strong shock waves, this hybrid approach, incorporating this jump filter as the low-order limiter, effectively suppresses numerical oscillations while exhibiting low numerical dissipation. Additionally, the proposed jump filter maintains the compactness of the DG scheme, which greatly aids in efficient parallel computing. Moreover, it boasts an impressively low computational cost, given that no characteristic decomposition is required and all computations are confined to physical space. Numerical experiments validate the effectiveness and performance of our proposed scheme, confirming its accuracy and shock-capturing capabilities.

math.NA↗

arXiv2025

Finite Volume Analysis of the Poisson Problem via a Reduced Discontinuous Galerkin Space

In this paper, we propose and analyze a high-order finite volume method for the Poisson problem based on the reduced discontinuous Galerkin (RDG) space. The main idea is to employ the RDG space as the trial space and the piecewise constant space as the test space, thereby formulating the scheme in a Petrov-Galerkin framework. This approach inherits the local conservation property of finite volume methods while benefiting from the approximation capabilities of discontinuous Galerkin spaces with significantly fewer degrees of freedom. We establish a rigorous error analysis of the proposed scheme: in particular, we prove optimal-order convergence in the DG energy norm and suboptimal-order convergence in $L^2$ norm. The theoretical analysis is supported by a set of one- and two-dimensional numerical experiments with Dirichlet and periodic boundary conditions, which confirm both the accuracy and efficiency of the method. The significance of this work lies in bridging finite volume and discontinuous Galerkin methodologies through the RDG space, thus enabling finite volume schemes with a mathematically rigorous convergence theory.

math.NA↗

arXiv2025

Well-balanced path-conservative discontinuous Galerkin methods with equilibrium preserving space for shallow water linearized moment equations

This paper presents high-order, well-balanced, path-conservative discontinuous Galerkin (DG) methods for the shallow water linearized moment equations (SWLME), designed to preserve both still and moving water equilibrium states. Unlike the multi-layer shallow water equations, which model vertical velocity variations using multiple distinct layers, the SWLME employs a polynomial expansion of velocity profiles with up to $N$ moments. This approach enables a more detailed representation of vertical momentum transfer and complex velocity profiles while retaining hyperbolicity. However, the presence of non-conservative terms and complex steady-state structures introduces significant numerical challenges. Addressing these challenges, we develop path-conservative DG schemes grounded in the Dal Maso-LeFloch-Murat (DLM) theory for non-conservative products. Our method balances flux gradients, non-conservative terms, and source terms through equilibrium-preserving spaces. For the still water equilibrium, we reformulate the equations into a quasilinear form that eliminates source terms, inherently preserving steady states. For the moving water equilibrium, we extend the DG method by transforming conservative variables into equilibrium variables and employing linear segment paths. Theoretical analysis and numerical experiments demonstrate that the proposed methods achieve exact equilibrium preservation while maintaining high-order accuracy, even in scenarios with vertical velocity variations and complex topographies.

math.NA↗

arXiv2025

Kernel compensation method for Maxwell eigenproblem with mimetic finite difference discretization

We present a kernel compensation method for Maxwell eigenproblem for photonic crystals to avoid the infinite-dimensional kernels that cause many difficulties in the calculation of energy gaps. The quasi-periodic problem is first transformed into a periodic one on the cube by the Floquet-Bloch theory. Then the compensation operator is introduced in Maxwell's equation with the shifted curl operator. The discrete problem depends on the compatible discretization of the de Rham complex, which is implemented by the mimetic finite difference method in this paper. We prove that the compensation term exactly fills up the kernel of the original problem and avoids spurious eigenvalues. Also, we propose an efficient preconditioner and its FFT and multigrid solvers, which allow parallel computing. Numerical experiments for different three-dimensional lattices are performed to validate the accuracy and effectiveness of the method.

math.NA↗

arXiv2024

Well-balanced path-conservative discontinuous Galerkin methods with equilibrium preserving space for two-layer shallow water equations

This paper introduces well-balanced path-conservative discontinuous Galerkin (DG) methods for two-layer shallow water equations, ensuring exactness for both still water and moving water equilibrium steady states. The approach involves approximating the equilibrium variables within the DG piecewise polynomial space, while expressing the DG scheme in the form of path-conservative schemes. To robustly handle the nonconservative products governing momentum exchange between the layers, we incorporate the theory of Dal Maso, LeFloch, and Murat (DLM) within the DG method. Additionally, linear segment paths connecting the equilibrium functions are chosen to guarantee the well-balanced property of the resulting scheme. The simple ``lake-at-rest" steady state is naturally satisfied without any modification, while a specialized treatment of the numerical flux is crucial for preserving the moving water steady state. Extensive numerical examples in one and two dimensions validate the exact equilibrium preservation of the steady state solutions and demonstrate its high-order accuracy. The performance of the method and high-resolution results further underscore its potential as a robust approach for nonconservative hyperbolic balance laws.

math.NA↗

arXiv2024

Equilibrium preserving space in discontinuous Galerkin methods for hyperbolic balance laws

In this paper, we develop a general framework for the design of the arbitrary high-order well-balanced discontinuous Galerkin (DG) method for hyperbolic balance laws, including the compressible Euler equations with gravitation and the shallow water equations with horizontal temperature gradients (referred to as the Ripa model). Not only the hydrostatic equilibrium including the more complicated isobaric steady state in Ripa system, but our scheme is also well-balanced for the exact preservation of the moving equilibrium state. The strategy adopted is to approximate the equilibrium variables in the DG piecewise polynomial space, rather than the conservative variables, which is pivotal in the well-balanced property. Our approach provides flexibility in combination with any consistent numerical flux, and it is free of the reference equilibrium state recovery and the special source term treatment. This approach enables the construction of a well-balanced method for non-hydrostatic equilibria in Euler systems. Extensive numerical examples such as moving or isobaric equilibria validate the high order accuracy and exact equilibrium preservation for various flows given by hyperbolic balance laws. With a relatively coarse mesh, it is also possible to capture small perturbations at or close to steady flow without numerical oscillations.

math.NA↗

arXiv2024

A reduced basis warm-start iterative solver for the parameterized linear systems

This paper proposes and tests the first-ever reduced basis warm-start iterative method for the parametrized linear systems, exemplified by those discretizing the parametric partial differential equations. Traditional iterative methods are usually used to obtain the high-fidelity solutions of these linear systems. However, they typically come with a significant computational cost which becomes challenging if not entirely untenable when the parametrized systems need to be solved a large number of times (e.g. corresponding to different parameter values or time steps). Classical techniques for mitigating this cost mainly include acceleration approaches such as preconditioning. This paper advocates for the generation of an initial prediction with controllable fidelity as an alternative approach to achieve the same goal. The proposed reduced basis warm-start iterative method leverages the mathematically rigorous and efficient reduced basis method to generate a high-quality initial guess thereby decreasing the number of iterative steps. Via comparison with the iterative method initialized with a zero solution and the RBM preconditioned and initialized iterative method tested on two 3D steady-state diffusion equations, we establish the efficacy of the proposed reduced basis warm-start approach.

math.NA↗

arXiv2023

Discontinuous Galerkin method based on the reduced space for the nonlinear convection-diffusion-reaction equation

In this paper, by introducing a reconstruction operator based on the Legendre moments, we construct a reduced discontinuous Galerkin (RDG) space that could achieve the same approximation accuracy but using fewer degrees of freedom (DoFs) than the standard discontinuous Galerkin (DG) space. The design of the ``narrow-stencil-based'' reconstruction operator can preserve the local data structure property of the high-order DG methods. With the RDG space, we apply the local discontinuous Galerkin (LDG) method with the implicit-explicit time marching for the nonlinear unsteady convection-diffusion-reaction equation, where the reduction of the number of DoFs allows us to achieve higher efficiency. In terms of theoretical analysis, we give the well-posedness and approximation properties for the reconstruction operator and the $L^2$ error estimate for the semi-discrete LDG scheme. Several representative numerical tests demonstrate the accuracy and the performance of the proposed method in capturing the layers.

math.NA↗

arXiv2022

Structure-preserving finite volume arbitrary Lagrangian-Eulerian WENO schemes for the shallow water equations

This paper develops the structure-preserving finite volume weighted essentially non-oscillatory (WENO) hybrid schemes for the shallow water equations under the arbitrary Lagrangian-Eulerian (ALE) framework, dubbed as ALE-WENO schemes. The WENO hybrid reconstruction is adopted on moving meshes, which distinguishes the smooth, non-smooth, and transition stencils by a simple smoothness detector. To maintain the positivity preserving and the well-balanced properties of the ALE-WENO schemes, we adapt the positivity preserving limiter and the well-balanced approaches on static meshes to moving meshes. The rigorous theoretical analysis and numerical examples demonstrate the high order accuracy and positivity-preserving property of the schemes under the ALE framework. For the well-balanced schemes, it is successful in the unique exact equilibrium preservation and capturing small perturbations of the hydrostatic state well without numerical oscillations near the discontinuity. Moreover, our ALE-WENO hybrid schemes have an advantage over the simulations on static meshes due to the higher resolution interface tracking of the fluid motion.

math.NA↗

arXiv2021

Fast $L^2$ optimal mass transport via reduced basis methods for the Monge-Amp$\grave{\rm e}$re equation

Repeatedly solving the parameterized optimal mass transport (pOMT) problem is a frequent task in applications such as image registration and adaptive grid generation. It is thus critical to develop a highly efficient reduced solver that is equally accurate as the full order model. In this paper, we propose such a machine learning-like method for pOMT by adapting a new reduced basis (RB) technique specifically designed for nonlinear equations, the reduced residual reduced over-collocation (R2-ROC) approach, to the parameterized Monge-Amp$\grave{\rm e}$re equation. It builds on top of a narrow-stencil finite different method (FDM), a so-called truth solver, which we propose in this paper for the Monge-Amp$\grave{\rm e}$re equation with a transport boundary. Together with the R2-ROC approach, it allows us to handle the strong and unique nonlinearity pertaining to the Monge-Amp$\grave{\rm e}$re equation achieving online efficiency without resorting to any direct approximation of the nonlinearity. Several challenging numerical tests demonstrate the accuracy and high efficiency of our method for solving the Monge-Amp$\grave{\rm e}$re equation with various parametric boundary conditions.

math.NA↗

arXiv2021

A well-balanced oscillation-free discontinuous Galerkin method for shallow water equations

In this paper, we develop a well-balanced oscillation-free discontinuous Galerkin (OFDG) method for solving the shallow water equations with a non-flat bottom topography. One notable feature of the constructed scheme is the well-balanced property, which preserves exactly the hydrostatic equilibrium solutions up to machine error. Another feature is the non-oscillatory property, which is very important in the numerical simulation when there exist some shock discontinuities. To control the spurious oscillations, we construct an OFDG method with an extra damping term to the existing well-balanced DG schemes proposed in [Y. Xing and C.-W. Shu, CICP, 1(2006), 100-134.]. With a careful construction of the damping term, the proposed method achieves both the well-balanced property and non-oscillatory property simultaneously without compromising any order of accuracy. We also present a detailed procedure for the construction and a theoretical analysis for the preservation of the well-balancedness property. Extensive numerical experiments including one- and two-dimensional space demonstrate that the proposed methods possess the desired properties without sacrificing any order of accuracy.

math.NA↗

arXiv2019

Discontinuous Galerkin methods for the Ostrovsky-Vakhnenko equation

In this paper, we develop discontinuous Galerkin (DG) methods for the Ostrovsky-Vakhnenko (OV) equation, which yields the shock solutions and singular soliton solutions, such as peakon, cuspon and loop solitons. The OV equation has also been shown to have a bi-Hamiltonian structure. We directly develop the energy stable or Hamiltonian conservative discontinuous Galerkin (DG) schemes for the OV equation. Error estimates for the two energy stable schemes are also proved. For some singular solutions, including cuspon and loop soliton solutions, the hodograph transformation is adopted to transform the OV equation or the generalized OV system to the coupled dispersionless (CD) system. Subsequently, two DG schemes are constructed for the transformed CD system. Numerical experiments are provided to demonstrate the accuracy and capability of the DG schemes, including shock solution and, peakon, cuspon and loop soliton solutions.

math.NA↗

arXiv2019

Discontinuous Galerkin methods for short pulse type equations via hodograph transformations

In the present paper, we consider the discontinuous Galerkin (DG) methods for solving short pulse (SP) type equations. The short pulse equation has been shown to be completely integrable, which admits the loop-soliton, cuspon-soliton solutions as well as smooth-soliton solutions. Through hodograph transformations, these nonclassical solutions can be profiled as the smooth solutions of the coupled dispersionless (CD) system or the sine-Gordon equation. Thus, DG methods can be developed for the CD system or the sine-Gordon equation to simulate the loop-soliton or cuspon-soliton solutions of the SP equation. The conservativeness or dissipation of the Hamiltonian or momentum for the semi-discrete DG schemes can be proved. Also we modify the above DG schemes and obtain an integration DG scheme. Theoretically the a-priori error estimates have been provided for the momentum conserved DG scheme and the integration DG scheme. We also propose the DG scheme and the integration DG scheme for the sine-Gordon equation, in case the SP equation can not be transformed to the CD system. All these DG schemes can be adopted to the generalized or modified SP type equations. Numerical experiments are provided to illustrate the optimal order of accuracy and capability of these DG schemes.

math.NA↗

arXiv2019

Positivity Preserving Limiters for Time-Implicit Higher Order Accurate Discontinuous Galerkin Discretizations

Currently, nearly all positivity preserving discontinuous Galerkin (DG) discretizations of partial differential equations are coupled with explicit time integration methods. Unfortunately, for many problems this can result in severe time-step restrictions. The techniques used to develop explicit positivity preserving DG discretizations can, however, not easily be combined with implicit time integration methods. In this paper we therefore present a new approach. Using Lagrange multipliers the conditions imposed by the positivity preserving limiters are directly coupled to a DG discretization combined with a Diagonally Implicit Runge-Kutta time integration method. The positivity preserving DG discretization is then reformulated as a Karush-Kuhn-Tucker (KKT) problem, which is frequently encountered in constrained optimization. Since the limiter is only active in areas where positivity must be enforced it does not affect the higher order DG discretization elsewhere. The resulting non-smooth nonlinear algebraic equations have, however, a different structure compared to most constrained optimization problems. We therefore develop an efficient active set semi-smooth Newton method that is suitable for the KKT formulation of time-implicit positivity preserving DG discretizations. Convergence of this semi-smooth Newton method is proven using a specially designed quasi-directional derivative of the time-implicit positivity preserving DG discretization. The time-implicit positivity preserving DG discretization is demonstrated for several nonlinear scalar conservation laws, which include the advection, Burgers, Allen-Cahn, Barenblatt, and Buckley-Leverett equations.

math.NA↗

arXiv2018

Arbitrary Lagrangian-Eulerian discontinuous Galerkin method for conservation laws on moving simplex meshes

In Klingenberg, Schnücke and Xia (Math. Comp. 86 (2017), 1203-1232) an arbitrary Lagrangian-Eulerian discontinuous Galerkin (ALE-DG) method to solve conservation laws has been developed and analyzed. In this paper, the ALE-DG method will be extended to several dimensions. The method will be designed for simplex meshes. This will ensure that the method satisfies the geometric conservation law, if the accuracy of the time integrator is not less than the value of the spatial dimension. For the semi-discrete method the L2-stability will be proven. Furthermore, an error estimate which provides the suboptimal (k+1/2) convergence with respect to the L-infinity-norm will be presented, when an arbitrary monotone flux is used and for each cell the approximating functions are given by polynomials of degree $k$. The two dimensional fully-discrete explicit method will be combined with the bound preserving limiter developed by Zhang, Xia and Shu in (J. Sci. Comput. 50 (2012), 29-62). This limiter does not affect the high order accuracy of a numerical method. Then, for the ALE-DG method revised by the limiter the validity of a discrete maximum principle will be proven. The numerical stability, robustness and accuracy of the method will be shown by a variety of two dimensional computational experiments on moving triangular meshes.

math.NA↗

arXiv2018

Binary black hole simulation with an adaptive finite element method II: Application of local discontinuous Galerkin method to Einstein equations

Finite difference method and pseudo-spectral method have been widely used in the numerical relativity to solve the Einstein equations. As the third major category method to solve partial differential equations, finite element method is much less used in numerical relativity. In this paper we design a finite element algorithm to solve the evolution part of the Einstein equations. This paper is the second one of a systematic investigation of applying adaptive finite element method to the Einstein equations, especially aim for binary compact objects simulations. The first paper of this series has been contributed to the constrained part of the Einstein equations for initial data. Since applying finite element method to the Einstein equations is a big project, we mainly propose the theoretical framework of a finite element algorithm together with local discontinuous Galerkin method for the Einstein equations in the current work. In addition, we have tested our algorithm based on the spherical symmetric spacetime evolution. In order to simplify our numerical tests, we have reduced the problem to a one-dimensional space problem by taking the advantage of the spherical symmetry. Our reduced equation system is a new formalism for spherical symmetric spacetime simulation. Based on our test results, we find that our finite element method can capture the shock formation which is introduced by numerical error. In contrast, such shock is smoothed out by numerical dissipation within the finite difference method. We suspect this is the part reason for that the accuracy of finite element method is higher than finite difference method. At the same time kinds of formulation parameters setting are also discussed.

gr-qc↗

arXiv2013

Turbulence in the Inter-galactic Medium: Solenoidal and Dilatational Motions, and the Impact of Numerical Viscosity

We use a suite of cosmological hydrodynamic simulations, run by two fixed grid codes, to investigate the properties of solenoidal and dilatational motions of the intergalactic medium (IGM), and the impact of numerical viscosity on turbulence in a LCDM universe. The codes differ only in the spatial difference discretization. We find that (1) The vortical motion grows rapidly since $z=2$, and reaches $\sim 10 km/s -90 km/s$ at $z=0$. Meanwhile, the small-scale compressive ratio $r_{CS}$ drops from 0.84 to 0.47, indicating comparable vortical and compressive motions at present. (2) Power spectra of the solenoidal velocity possess two regimes, $\propto k^{-0.89}$ and $\propto k^{-2.02}$, while the total and dilatational velocity follow the scaling $k^{-1.88}$ and $k^{-2.20}$ respectively in the turbulent range. The IGM turbulence may contain two distinct phases, the supersonic and post-supersonic phases. (3) The non-thermal pressure support, measured by the vortical kinetic energy, is comparable with the thermal pressure for $ρ_b \simeq 10-100$, or $T <10^{5.5} K$ at $z=0.0$. The deviation of the baryon fraction from the cosmic mean shows a preliminary positive correlation with the turbulence pressure support. (4) A relatively higher numerical viscosity would dissipate both the compressive and vortical motions of the IGM into thermal energy more effectively, resulting in less developed vorticity, remarkably shortened inertial range, and leading to non-negligible uncertainty in the thermal history of gas accretion. Shocks in regions outside of clusters are significantly suppressed by numerical viscosity since $z=2$, which may directly cause the different levels of turbulence between two codes.

astro-ph.CO↗