Search arXiv⌕ Search

arXiv subjects

Huihui Cao

Publications and source records attributed to Huihui Cao.

8 recordsLinked to original sources
arXiv2026

Fully Discrete Multi-Entropy Stability of High-Order Schemes for Compressible MHD: A Weak-to-Strong Framework

We establish a fully discrete weak-to-strong (W2S) multi-entropy stability theory for arbitrarily high-order finite-volume and discontinuous Galerkin (DG) approximations of the ideal compressible magnetohydrodynamics (MHD) equations on general polytopal meshes, whereby a single numerical update simultaneously satisfies discrete entropy inequalities for any prescribed finite family of convex Harten entropy pairs. Because physical entropies are defined only for positive density and pressure, the central analytical difficulty lies in reconciling discrete entropy stability with positivity preservation, the magnetic divergence constraint, and the nonconservative Godunov--Powell coupling. Building upon the provably positivity-preserving MHD framework of Wu and Shu, we develop a weak multi-entropy analysis of the common cell-average evolution of finite-volume and DG methods. Through convex decomposition and relative entropy, we establish two sufficient criteria for this weak stability general polytopal meshes. Compatible magnetic corrections and locally divergence-free approximations cooperatively offset the nonconservative Godunov--Powell coupling and provide the discrete cancellations essential to both positivity-preservation and entropy stability. A W2S lifting then unifies positivity and entropy limiting into a single cellwise scaling limiter, achieving strong multi-entropy stability while strictly preserving cell averages and the locally divergence-free magnetic field. High-order temporal accuracy follows from variable-step strong-stability-preserving multistep methods. Numerical experiments confirm the theoretical findings and demonstrate computational robustness. This framework provides a rigorous, fully discrete foundation for unifying physical admissibility, magnetic divergence control, and multi-entropy stability in high-order MHD approximations.

math.NA↗
arXiv2025

Provably positivity-preserving, globally divergence-free central DG methods for ideal MHD system

This paper proposes a numerical method, termed PosDiv-CDG, that provably preserves both positivity and the globally divergence-free (DF) condition at arbitrarily high order in multiple dimensions. It resolves the fundamental structural incompatibility between standard positivity-preserving limiters and global DF enforcement in the central discontinuous Galerkin (CDG) framework. The method integrates a novel positivity-limiting strategy, a modified dissipation mechanism guided by convex decomposition, and an auxiliary evolution equation for the magnetic field, which are designed based on rigorous theoretical analysis. Notably, we provide a rigorous proof of positivity preservation for the updated cell averages under an explicit CFL-type condition. The proof leverages the geometric quasi-linearization (GQL) technique, which reformulates the nonlinear positivity constraint into an equivalent linear form. This enables the derivation of flux-based inequalities and technical estimates under the global DF constraint. To suppress nonphysical oscillations near shocks, we develop a compact, non-intrusive convex-oscillation-suppressing (COS) procedure based on the entropy function. The COS process acts only on non-magnetic variables, avoids costly characteristic decomposition, and maintains both the globally DF property and high-order accuracy. Several challenging experiments -- including low plasma-beta MHD jets with Mach numbers up to 1,000,000 -- demonstrate the proposed method robustness, high-order accuracy, non-oscillatory behavior, and its ability to preserve both positivity and globally DF structures under extreme conditions.

math.NA↗
arXiv2025

Enhanced gradient recovery-based a posteriori error estimator and adaptive finite element method for elliptic equations

Recovery type a posteriori error estimators are popular, particularly in the engineering community, for their computationally inexpensive, easy to implement, and generally asymptotically exactness. Unlike the residual type error estimators, one can not establish upper and lower a posteriori error bounds for the classical recovery type error estimators without the saturation assumption. In this paper, we first present three examples to show the unsatisfactory performance in the practice of standard residual or recovery-type error estimators, then, an improved gradient recovery-based a posteriori error estimator is constructed. The proposed error estimator contains two parts, one is the difference between the direct and post-processed gradient approximations, and the other is the residual of the recovered gradient. The reliability and efficiency of the enhanced estimator are derived. Based on the improved recovery-based error estimator and the newest-vertex bisection refinement method with a tailored mark strategy, an adaptive finite element algorithm is designed. We then prove the convergence of the adaptive method by establishing the contraction of gradient error plus oscillation. Numerical experiments are provided to illustrate the asymptotic exactness of the new recovery-based a posteriori error estimator and the high efficiency of the corresponding adaptive algorithm.

math.NA↗
arXiv2024

Robust Discontinuous Galerkin Methods Maintaining Physical Constraints for General Relativistic Hydrodynamics

Simulating general relativistic hydrodynamics (GRHD) presents challenges such as handling curved spacetime, achieving high-order shock-capturing accuracy, and preserving key physical constraints (positive density, pressure, and subluminal velocity) under nonlinear coupling. This paper introduces high-order, physical-constraint-preserving, oscillation-eliminating discontinuous Galerkin (PCP-OEDG) schemes with Harten-Lax-van Leer flux for GRHD. To suppress spurious oscillations near discontinuities, we incorporate a computationally efficient oscillation-eliminating (OE) procedure based on a linear damping equation, maintaining accuracy and avoiding complex characteristic decomposition. To enhance stability and robustness, we construct PCP schemes using the W-form of GRHD equations with Cholesky decomposition of the spatial metric, addressing the non-equivalence of admissible state sets in curved spacetime. We rigorously prove the PCP property of cell averages via technical estimates and the Geometric Quasi-Linearization (GQL) approach, which transforms nonlinear constraints into linear forms. Additionally, we present provably convergent PCP iterative algorithms for robust recovery of primitive variables, ensuring physical constraints are satisfied throughout. The PCP-OEDG method is validated through extensive tests, demonstrating its robustness, accuracy, and capability to handle extreme GRHD scenarios involving strong shocks, high Lorentz factors, and intense gravitational fields.

math.NA↗
arXiv2024

A posteriori error estimators for fourth order elliptic problems with concentrated loads

In this paper, we study two residual-based a posteriori error estimators for the $C^0$ interior penalty method in solving the biharmonic equation in a polygonal domain under a concentrated load. The first estimator is derived directly from the model equation without any post-processing technique. We rigorously prove the efficiency and reliability of the estimator by constructing bubble functions. Additionally, we extend this type of estimator to general fourth-order elliptic equations with various boundary conditions. The second estimator is based on projecting the Dirac delta function onto the discrete finite element space, allowing the application of a standard estimator. Notably, we additionally incorporate the projection error into the standard estimator. The efficiency and reliability of the estimator are also verified through rigorous analysis. We validate the performance of these a posteriori estimates within an adaptive algorithm and demonstrate their robustness and expected accuracy through extensive numerical examples.

math.NA↗
arXiv2022

An adaptive finite element method for two-dimensional elliptic equations with line Dirac sources

In this paper, we propose a novel adaptive finite element method for an elliptic equation with line Dirac delta functions as a source term. We first study the well-posedness and global regularity of the solution in the whole domain. Instead of regularizing the singular source term and using the classical residual-based a posteriori error estimator, we propose a novel a posteriori estimator based on an equivalent transmission problem with zero source term and nonzero flux jumps on line fractures. The transmission problem is defined in the same domain as the original problem excluding on line fractures, and the solution is therefore shown to be more regular. The estimator relies on meshes conforming to the line fractures and its edge jump residual essentially uses the flux jumps of the transmission problem on line fractures. The error estimator is proven to be both reliable and efficient, an adaptive finite element algorithm is proposed based on the error estimator and the bisection refinement method. Numerical tests show that quasi-optimal convergence rates are achieved even for high order approximations and the adaptive meshes are only locally refined at singular points.

math.NA↗
arXiv2022

The Moore-Penrose Inverses of Clifford Algebra $C\ell_{1,2}$

In this paper, we introduce a ring isomorphism between the Clifford algebra $C\ell_{1,2}$ and a ring of matrices. By such a ring isomorphism, we introduce the concept of the Moore-Penrose inverse in Clifford algebra $C\ell_{1,2}$. Using the Moore-Penrose inverse, we solve the linear equation $axb=d$ in $C\ell_{1,2}$. We also obtain necessary and sufficient conditions for two numbers in $C\ell_{1,2}$ to be similar.

math.RA↗