arXiv subjects

Ruo Li

Publications and source records attributed to Ruo Li.

At least 19 recordsLinked to original sources

arXiv2026

Preconditioned Reconstructed Discontinuous Approximation For Elliptic Interface Problem on Unfitted Mesh

In this paper, we develop an efficient preconditioned unfitted finite element method for the elliptic interface problem, based on the reconstructed discontinuous approximation. The key idea is to impose suitable constraints on the local least squares reconstruction. These constraints ensure the stability near cut interface elements and, more importantly, establish a norm equivalence between the high-order space and the lowest-order piecewise constant space. This result allows us to construct an optimal preconditioner directly from the lowest-order system on the same unfitted mesh for any high-order scheme. The resulting method combines a cut discontinuous Galerkin formulation with Nitsche's penalty technique. The approximation space achieves arbitrarily high order accuracy with only one degree of freedom per element. We prove optimal error estimates and show that the condition number of the preconditioned system is uniformly bounded independently of the mesh size, coefficient contrast, and the location of the interface relative to the mesh. Multigrid algorithms are further designed to efficiently approximate the inverse of the lowest-order system matrix. Numerical experiments in two and three dimensions confirm the optimal convergence rates and demonstrate the robustness and efficiency of the proposed preconditioning method.

math.NA↗

arXiv2025

A reconstructed discontinuous approximation for distributed elliptic control problems

In this paper, we present and analyze an interior penalty discontinuous Galerkin method for the distributed elliptic optimal control problems. It is based on a reconstructed discontinuous approximation which admits arbitrarily high-order approximation space with only one unknown per element. Applying this method, we develop a proper discretization scheme that approximates the state and adjoint variables in the approximation space. Our main contributions are twofold: (1) the derivation of both a priori and a posteriori error estimates of the $L^2$-norm and the energy norms, and (2) the implementation of an efficiently solvable discrete system, which is solved via a linearly convergent projected gradient descent method. Numerical experiments are provided to verify the convergence order in a priori error estimate and the efficiency of a posteriori error estimate.

math.NA↗

arXiv2025

Efficient Long-Time Simulations of Multiscale Systems via High-Order Numerical Homogenization

By a high-order numerical homogenization method, a heterogeneous multiscale scheme was developed in Jin & Li (2022) for evolving differential equations containing two time scales. In this paper, we further explore the technique to propose an efficient algorithm able to carry out simulations up to a long time which was prohibitive before. The new algorithm is a multigrid-in-time method which combines coarse-grid high-order approximations with fine-grid low-order evaluations. The high efficiency is attained by minimizing the computational cost while the approximation accuracy is guaranteed. A priori error estimates are rigorously established and validated by numerical examples.

math.NA↗

arXiv2025

Overcoming logarithmic singularities in the Cahn-Hilliard equation with Flory-Huggins potential: An unconditionally convergent ADMM approach

The Cahn-Hilliard equation with Flory-Huggins potential serves as a fundamental phase field model for describing phase separation phenomena. Due to the presence of logarithmic singularities at $u=\pm 1$, the solution $u$ is constrained within the interval $(-1,1)$. While convex splitting schemes are commonly employed to preserve this bound and guarantee unconditional unique solvability, their practical implementation requires solving nonlinear systems containing singular logarithmic terms at each time step. This introduces significant challenges in both ensuring convergence of iterative solvers and maintaining the solution bounds throughout the iterations. Existing solvers often rely on restrictive conditions -- such as the strict separation property or small time step sizes -- to ensure convergence, which can limit their applicability. In this work, we introduce a novel iterative solver that is specifically designed for singular nonlinear systems, with the use of a variant of the alternating direction method of multipliers (ADMM). By developing a tailored variable splitting strategy within the ADMM framework, our method efficiently decouples the challenging logarithmic nonlinearity, enabling effective handling of singularities. Crucially, we rigorously prove the unconditional convergence of our ADMM-based solver, which removes the need for time step constraints or strict separation conditions. This allows us to fully leverage the unconditional solvability offered by convex splitting schemes. Comprehensive numerical experiments demonstrate the superior efficiency and robustness of our ADMM variant, strongly validating both our algorithmic design and theoretical results.

math.NA↗

arXiv2025

Mixing for generic passive scalars by incompressible flows

Mixing by incompressible flows is a ubiquitous yet incompletely understood phenomenon in fluid dynamics. While previous studies have focused on optimal mixing rates, the question of its genericity, i.e., whether mixing occurs for typical incompressible flows and typical initial data, remains mathematically unclear. In this paper, it is shown that classical mixing criteria, e.g. topological mixing or non-precompactness in $L^2$ for all nontrivial densities, fail to persist under arbitrarily small perturbations of velocity fields. A Young-measure theory adapted to $L^\infty$ data is then developed to characterize exactly which passive scalars mix. As a consequence, the existence of a single mixed density is equivalent to mixing for generic bounded data, and this equivalence is further tied to the non-precompactness of the associated measure-preserving flow maps in $L^p$. These results provide a foundation for a general theory of generic mixing in non-autonomous incompressible flows.

math.AP↗

arXiv2025

A Framework of Model Reduction with Arbitrary Orders of Accuracy for the Boltzmann Equation

This paper presents a general framework for constructing reduced models that approximate the Boltzmann equation with arbitrary orders of accuracy in terms of the Knudsen number $\mathit{Kn}$, applicable to general collision models in rarefied gas dynamics. The framework is based on an orthogonal decomposition of the distribution function into components of different orders in $\mathit{Kn}$, from which the reduced models are systematically derived through asymptotic analysis. Compared to the Chapman-Enskog expansion, our approach yields more tractable model structures. Notably, we establish that a reduced model retaining all terms up to $O(\mathit{Kn}^n)$ in the expansion surprisingly yields models with order of accuracy $O(\mathit{Kn}^{n+1})$. Furthermore, when the collision term is linearized, the accuracy improves dramatically to $O(\mathit{Kn}^{2n})$. These results extend to regularized models containing second-order derivatives. As concrete applications, we explicitly derive 13-moment systems of Burnett and super-Burnett orders valid for arbitrary collision models.

math-ph↗

arXiv2024

An Efficient Monte Carlo Simulation for Radiation Transport Based on Global Optimal Reference Field

The reference field method, known as the difference formulation, is a key variance reduction technique for Monte Carlo simulations of thermal radiation transport problems. When the material temperature is relatively high and the spatial temperature gradient is moderate, this method demonstrates significant advantages in reducing variance compared to classical Monte Carlo methods. However, in problems with larger temperature gradients, this method has not only been found ineffective at reducing statistical noise, but in some cases, it even increases noise compared to classical Monte Carlo methods. The global optimal reference field method, a recently proposed variance reduction technique, effectively reduces the average energy weight of Monte Carlo particles, thereby decreasing variance. Its effectiveness has been validated both theoretically and numerically, demonstrating a significant reduction in statistical errors for problems with large temperature gradients. In our previous work, instead of computing the exact global optimal reference field, we developed an approximate, physically motivated method to find a relatively better reference field using a selection scheme. In this work, we reformulate the problem of determining the global optimal reference field as a linear programming problem and solve it exactly. To further enhance computational efficiency, we use the MindOpt solver, which leverages graph neural network methods. Numerical experiments demonstrate that the MindOpt solver not only solves linear programming problems accurately but also significantly outperforms the Simplex and interior-point methods in terms of computational efficiency. The global optimal reference field method combined with the MindOpt solver not only improves computational efficiency but also substantially reduces statistical errors.

physics.comp-ph↗

arXiv2024

A gradient flow model for ground state calculations in Wigner formalism based on density functional theory

In this paper, a gradient flow model is proposed for conducting ground state calculations in Wigner formalism of many-body system in the framework of density functional theory. More specifically, an energy functional for the ground state in Wigner formalism is proposed to provide a new perspective for ground state calculations of the Wigner function. Employing density functional theory, a gradient flow model is designed based on the energy functional to obtain the ground state Wigner function representing the whole many-body system. Subsequently, an efficient algorithm is developed using the operator splitting method and the Fourier spectral collocation method, whose numerical complexity of single iteration is $O(n_{\rm DoF}\log n_{\rm DoF})$. Numerical experiments demonstrate the anticipated accuracy, encompassing the one-dimensional system with up to $2^{21}$ particles and the three-dimensional system with defect, showcasing the potential of our approach to large-scale simulations and computations of systems with defect.

physics.comp-ph↗

arXiv2024

A Finite Element Method by Patch Reconstruction for the Quad-Curl Problem Using Mixed Formulations

We develop a high order reconstructed discontinuous approximation (RDA) method for solving a mixed formulation of the quad-curl problem in two and three dimensions. This mixed formulation is established by adding an auxiliary variable to control the divergence of the field. The approximation space for the original variables is constructed by patch reconstruction with exactly one degree of freedom per element in each dimension and the auxiliary variable is approximated by the piecewise constant space. We prove the optimal convergence rate under the energy norm and also suboptimal $L^2$ convergence using a duality approach. Numerical results are provided to verify the theoretical analysis.

math.NA↗

arXiv2024

A Preconditioned Discontinuous Galerkin Method for Biharmonic Equation with $C^0$-Reconstructed Approximation

In this paper, we present a high-order finite element method based on a reconstructed approximation to the biharmonic equation. In our construction, the space is reconstructed from nodal values by solving a local least squares fitting problem per element. It is shown that the space can achieve an arbitrarily high-order accuracy and share the same nodal degrees of freedom with the $C^0$ linear space. The interior penalty discontinuous Galerkin scheme can be directly applied to the reconstructed space for solving the biharmonic equation. We prove that the numerical solution converges with optimal orders under error measurements. More importantly, we establish a norm equivalence between the reconstructed space and the continuous linear space. This property allows us to precondition the linear system arising from the high-order space by the linear space on the same mesh. This preconditioner is shown to be optimal in the sense that the condition number of the preconditioned system admits a uniform upper bound independent of the mesh size. Numerical examples in two and three dimensions are provided to illustrate the accuracy of the scheme and the efficiency of the preconditioning method.

math.NA↗

arXiv2024

A multi-mesh approach for accurate computation of multi-target functionals in aerodynamics design

Aerodynamic optimal design is crucial for enhancing performance of aircrafts, while calculating multi-target functionals through solving dual equations with arbitrary right-hand sides remains challenging. In this paper, a novel multi-target framework of DWR-based mesh refinement is proposed and analyzed. Theoretically, an extrapolation method is generalized to expand multi-variable functionals, which guarantees the dual equations of different objective functionals can be calculated separately. Numerically, an algorithm of calculating multi-target functionals is designed based on the multi-mesh approach, which can help to obtain different dual solutions simultaneously. One feature of our framework is the algorithm is easy to implement with the help of the hierarchical geometry tree structure and the calculation avoids the Galerkin orthogonality naturally. The framework takes a balance between different targets even when they are not the same orders of magnitude. While existing approach uses a linear combination of different components in multi-target functionals for adaptation, it introduces additional coefficients for adjusting. With each component calculated under a dual-consistent scheme, this multi-mesh framework addresses challenges such as the lift-drag ratio and other kinds of multi-target functionals, ensuring smooth convergence and precise calculations of dual solutions.

math.NA↗

arXiv2024

An arbitrary order Reconstructed Discontinuous Approximation to Fourth-order Curl Problem

We present an arbitrary order discontinuous Galerkin finite element method for solving the fourth-order curl problem using a reconstructed discontinuous approximation method. It is based on an arbitrarily high-order approximation space with one unknown per element in each dimension. The discrete problem is based on the symmetric IPDG method. We prove a priori error estimates under the energy norm and the L^2 norm and show numerical results to verify the theoretical analysis.

math.NA↗

arXiv2024

An asymptotic-preserving method for the three-temperature radiative transfer model

We present an asymptotic-preserving (AP) numerical method for solving the three-temperature radiative transfer model, which holds significant importance in inertial confinement fusion. A carefully designedsplitting method is developed that can provide a general framework of extending AP schemes for the gray radiative transport equation to the more complex three-temperature radiative transfer model. The proposed scheme captures two important limiting models: the three-temperature radiation diffusion equation (3TRDE) when opacity approaches infinity and the two-temperature limit when the ion-electron coupling coefficient goes to infinity. We have rigorously demonstrated the AP property and energy conservation characteristics of the proposed scheme and its efficiency has been validated through a series of benchmark tests in the numerical part.

math.NA↗

arXiv2023

A highly efficient asymptotic preserving IMEX method for the quantum BGK equation

This paper presents an asymptotic preserving (AP) implicit-explicit (IMEX) scheme for solving the quantum BGK equation using the Hermite spectral method. The distribution function is expanded in a series of Hermite polynomials, with the Gaussian function serving as the weight function. The main challenge in this numerical scheme lies in efficiently expanding the quantum Maxwellian with the Hermite basis functions. To overcome this, we simplify the problem to the calculation of polylogarithms and propose an efficient algorithm to handle it, utilizing the Gauss-Hermite quadrature. Several numerical simulations, including a spatially 2D lid-driven cavity flow, demonstrate the AP property and remarkable efficiency of this method.

math.NA↗

arXiv2023

Lax Equivalence for Hyperbolic Relaxation Approximations

This paper investigates the zero relaxation limit for general linear hyperbolic relaxation systems and establishes the asymptotic convergence of slow variables under the unimprovable weakest stability condition, akin to the Lax equivalence theorem for hyperbolic relaxation approximations. Despite potential high oscillations, the convergence of macroscopic variables is established in the strong $L^\infty_t L^2_x$ sense rather than the sense of weak convergence, time averaging, or ensemble averaging.

math.AP↗

arXiv2023

Natural Model Reduction for Kinetic Equations

A promising approach to investigating high-dimensional problems is to identify their intrinsically low-dimensional features, which can be achieved through recently developed techniques for effective low-dimensional representation of functions such as machine learning. Based on available finite-dimensional approximate solution manifolds, this paper proposes a novel model reduction framework for kinetic equations. The method employs projections onto tangent bundles of approximate manifolds, naturally resulting in first-order hyperbolic systems. Under certain conditions on the approximate manifolds, the reduced models preserve several crucial properties, including hyperbolicity, conservation laws, entropy dissipation, finite propagation speed, and linear stability. For the first time, this paper rigorously discusses the relation between the H-theorem of kinetic equations and the linear stability conditions of reduced systems, determining the choice of Riemannian metrics involved in the model reduction. The framework is widely applicable for the model reduction of many models in kinetic theory.

math.AP↗

arXiv2023

Preconditioned NonSymmetric/Symmetric Discontinuous Galerkin Method for Elliptic Problem with Reconstructed Discontinuous Approximation

In this paper, we propose and analyze an efficient preconditioning method for the elliptic problem based on the reconstructed discontinuous approximation method. We reconstruct a high-order piecewise polynomial space that arbitrary order can be achieved with one degree of freedom per element. This space can be directly used with the symmetric/nonsymmetric interior penalty discontinuous Galerkin method. Compared with the standard DG method, we can enjoy the advantage on the efficiency of the approximation. Besides, we establish an norm equivalence result between the reconstructed high-order space and the piecewise constant space. This property further allows us to construct an optimal preconditioner from the piecewise constant space. The upper bound of the condition number to the preconditioned symmetric/nonsymmetric system is shown to be independent of the mesh size. Numerical experiments are provided to demonstrate the validity of the theory and the efficiency of the proposed method.

math.NA↗

arXiv2023

An arbitrary order Reconstructed Discontinuous Approximation to Biharmonic Interface Problem

We present an arbitrary order discontinuous Galerkin finite element method for solving the biharmonic interface problem on the unfitted mesh. The approximation space is constructed by a patch reconstruction process with at most one degree freedom per element. The discrete problem is based on the symmetric interior penalty method and the jump conditions are weakly imposed by the Nitsche's technique. The C^2-smooth interface is allowed to intersect elements in a very general fashion and the stability near the interface is naturally ensured by the patch reconstruction. We prove the optimal a priori error estimate under the energy norm and the L^2 norm. Numerical results are provided to verify the theoretical analysis.

math.NA↗