SearcharxivSearch

arXiv subjects

Yuezheng Gong

Publications and source records attributed to Yuezheng Gong.

At least 19 recordsLinked to original sources

Original-energy-dissipation-preserving methods for the incompressible Navier-Stokes equations

This paper introduces a robust reformulation of the incompressible Navier-Stokes equations, establishing a foundational framework for designing efficient, structure-preserving algorithms that strictly conserve the original energy dissipation law. By leveraging Crank-Nicolson schemes and backward differentiation formulas, we develop four first- and second-order time-discrete schemes. These schemes exactly preserve the original energy dissipation law at each time step, requiring only the solutions of three linear Stokes systems and one $2\times 2$ system of linear equations. Furthermore, the finite difference approximation on a staggered grid is employed for these time-discrete systems to derive fully discrete structure-preserving schemes. We rigorously prove that all proposed fully discrete methods both maintain the original energy dissipation law and admit unique solutions. Moreover, we present their efficient implementation. Extensive numerical experiments are carried out to verify the accuracy, efficacy, and advantageous performance of our newly developed methods.

math.NA

A Remark on the Invariant Energy Quadratization (IEQ) Method for Preserving the Original Energy Dissipation Laws

In this letter, we revisit the IEQ method and provide a new perspective on its ability to preserve the original energy dissipation laws. The invariant energy quadratization (IEQ) method has been widely used to design energy stable numerical schemes for phase-field or gradient flow models. Although there are many merits of the IEQ method, one major disadvantage is that the IEQ method usually respects a modified energy law, where the modified energy is expressed in the auxiliary variables. Still, the dissipation laws in terms of the original energy are not guaranteed. Using the widely-used Cahn-Hilliard equation as an example, we demonstrate that the Runge-Kutta IEQ method indeed can preserve the original energy dissipation laws for certain situations up to arbitrary high-order accuracy. Interested readers are highly encouraged to apply our idea to other phase-field equations or gradient flow models.

math.NA

A novel class of energy-preserving Runge-Kutta methods for the Korteweg-de Vries equation

In this paper, we present a quadratic auxiliary variable approach to develop a new class of energy-preserving Runge-Kutta methods for the Korteweg-de Vries equation. The quadratic auxiliary variable approach is first proposed to reformulate the original model into an equivalent system, which transforms the energy conservation law of the Korteweg-de Vries equation into two quadratic invariants of the reformulated system. Then the symplectic Runge-Kutta methods are directly employed for the reformulated model to arrive at a new kind of time semi-discrete schemes for the original problem. Under the consistent initial condition, the proposed methods are rigorously proved to maintain the original energy conservation law of the Korteweg-de Vries equation. In addition, the Fourier pseudo-spectral method is used for spatial discretization, resulting in fully discrete energy-preserving schemes. To implement the proposed methods effectively, we present a very efficient iterative technique, which not only greatly saves the calculation cost, but also achieves the purpose of practically preserving structure. Ample numerical results are addressed to confirm the expected order of accuracy, conservative property and efficiency of the proposed algorithms.

math.NA

An explicit and practically invariants-preserving method for conservative systems

An explicit numerical strategy that practically preserves invariants is derived for conservative systems by combining an explicit high-order Runge-Kutta (RK) scheme with a simple modification of the standard projection approach, which is named the explicit invariants-preserving (EIP) method. The proposed approach is shown to have the same order as the underlying RK method, while the error of invariants is analyzed in the order of $\mathcal{O}\left(h^{2(p+1)}\right),$ where $h$ is the time step and $p$ represents the order of the method. When $p$ is appropriately large, the EIP method is practically invariants-conserving because the error of invariants can reach the machine accuracy. The method is illustrated for the cases of single and multiple invariants, with regard to both ODEs and high-dimensional PDEs. Extensive numerical experiments are presented to verify our theoretical results and demonstrate the superior behaviors of the proposed method in a long time numerical simulation. Numerical results suggest that the fourth-order EIP method preserves much better the qualitative properties of the flow than the standard fourth-order RK method and it is more efficient in practice than the fully implicit integrators.

math.NA

Efficient energy-preserving numerical approximations for the sine-Gordon equation with Neumann boundary conditions

We present two novel classes of fully discrete energy-preserving algorithms for the sine-Gordon equation subject to Neumann boundary conditions. The cosine pseudo-spectral method is first used to develop structure-preserving spatial discretizations under two different meshes, which result two finite-dimensional Hamiltonian ODE systems. Then we combine the prediction-correction Crank-Nicolson scheme with the projection approach to arrive at fully discrete energy-preserving methods. Alternatively, we introduce a supplementary variable to transform the initial model into a relaxation system, which allows us to construct structure-preserving algorithms more easily. We then discretize the relaxation system directly by using the cosine pseudo-spectral method in space and the prediction-correction Crank-Nicolson scheme in time to derive a new class of energy-preserving schemes. The proposed methods can be solved effectively by the discrete Cosine transform. Some benchmark examples and numerical comparisons are presented to demonstrate the accuracy, efficiency and superiority of the proposed schemes.

math.NA

Supplementary Variable Method for Developing Structure-Preserving Numerical Approximations to Thermodynamically Consistent Partial Differential Equations

We present a new temporal discretization paradigm for developing energy-production-rate preserving numerical approximations to thermodynamically consistent partial differential equation systems, called the supplementary variable method. The central idea behind it is to introduce a supplementary variable to the thermodynamically consistent model to make the over-determined equation system, consisting of the thermodynamically consistent PDE system, the energy definition and the energy dissipation equation, structurally stable. The supplementary variable allows one to retain the consistency between the energy dissipation equation and the PDE system after the temporal discretization. We illustrate the method using a dissipative gradient flow model. Among virtually infinite many possibilities, we present two ways to add the supplementary variable in the gradient flow model to develop energy-dissipation-rate preserving algorithms. Spatial discretizations are carried out using the pseudo-spectral method. We then compare the two new schemes with the energy stable SAV scheme and the fully implicit Crank-Nicolson scheme. The results favor the new schemes in the overall performance. This new numerical paradigm can be applied to any thermodynamically consistent models.

math.NA

Explicit high-order energy-preserving methods for general Hamiltonian partial differential equations

A novel class of explicit high-order energy-preserving methods are proposed for general Hamiltonian partial differential equations with non-canonical structure matrix. When the energy is not quadratic, it is firstly done that the original system is reformulated into an equivalent form with a modified quadratic energy conservation law by the energy quadratization approach. Then the resulting system that satisfies the quadratic energy conservation law is discretized in time by combining explicit high-order Runge-Kutta methods with orthogonal projection techniques. The proposed schemes are shown to share the order of explicit Runge-Kutta method and thus can reach the desired high-order accuracy. Moreover, the methods are energy-preserving and explicit because the projection step can be solved explicitly. Numerical results are addressed to demonstrate the remarkable superiority of the proposed schemes in comparison with other structure-preserving methods.

math.NA

A linearly implicit structure-preserving scheme for the Camassa-Holm equation based on multiple scalar auxiliary variables approach

In this paper, we present a linearly implicit energy-preserving scheme for the Camassa-Holm equation by using the multiple scalar auxiliary variables approach, which is first developed to construct efficient and robust energy stable schemes for gradient systems. The Camassa-Holm equation is first reformulated into an equivalent system by utilizing the multiple scalar auxiliary variables approach, which inherits a modified energy. Then, the system is discretized in space aided by the standard Fourier pseudo-spectral method and a semi-discrete system is obtained, which is proven to preserve a semi-discrete modified energy. Subsequently, the linearized Crank-Nicolson method is applied for the resulting semi-discrete system to arrive at a fully discrete scheme. The main feature of the new scheme is to form a linear system with a constant coefficient matrix at each time step and produce numerical solutions along which the modified energy is precisely conserved, as is the case with the analytical solution. Several numerical results are addressed to confirm accuracy and efficiency of the proposed scheme.

math.NA

Arbitrarily high-order energy-preserving schemes for the Camassa-Holm equation

In this paper, we develop a novel class of arbitrarily high-order energy-preserving schemes for the Camassa-Holm equation. With the aid of the invariant energy quadratization approach, the Camassa-Holm equation is first reformulated into an equivalent system, which inherits a quadratic energy. {The new system is then discretized} by the standard Fourier pseudo-spectral method, which can exactly preserve the semi-discrete energy conservation law. Subsequently, { a symplectic Runge-Kutta method such as the Gauss collocation method is applied} for the resulting semi-discrete system to arrive at an arbitrarily high-order fully discrete scheme. {We prove that the obtained schemes can conserve the discrete energy conservation law}. Numerical results are addressed to confirm accuracy and efficiency of the proposed schemes.

math.NA

Arbitrarily High-order Linear Schemes for Gradient Flow Models

We present a paradigm for developing arbitrarily high order, linear, unconditionally energy stable numerical algorithms for gradient flow models. We apply the energy quadratization (EQ) technique to reformulate the general gradient flow model into an equivalent gradient flow model with a quadratic free energy and a modified mobility. Given solutions up to $t_n=n Δt$ with $Δt$ the time step size, we linearize the EQ-reformulated gradient flow model in $(t_n, t_{n+1}]$ by extrapolation. Then we employ an algebraically stable Runge-Kutta method to discretize the linearized model in $(t_n, t_{n+1}]$. Then we use the Fourier pseudo-spectral method for the spatial discretization to match the order of accuracy in time. The resulting fully discrete scheme is linear, unconditionally energy stable, uniquely solvable, and may reach arbitrarily high order. Furthermore, we present a family of linear schemes based on prediction-correction methods to complement the new linear schemes. Some benchmark numerical examples are given to demonstrate the accuracy and efficiency of the schemes.

math.NA

Adaptive linear second-order energy stable schemes for time-fractional Allen-Cahn equation with volume constraint

A time-fractional Allen-Cahn equation with volume constraint is first proposed by introducing a nonlocal time-dependent Lagrange multiplier. Adaptive linear second-order energy stable schemes are developed for the proposed model by combining invariant energy quadratization and scalar auxiliary variable approaches with the recent L1$^{+}$ formula. The new developed methods are proved to be volume-preserving and unconditionally energy stable on arbitrary nonuniform time meshes. The accelerated algorithm and adaptive time strategy are employed in numerical implement. Numerical results show that the proposed algorithms are computationally efficient in multi-scale simulations, and appropriate for accurately resolving the intrinsically initial singularity of solution and for efficiently capturing the fast dynamics away initial time.

math.NA

Arbitrarily High-order Unconditionally Energy Stable Schemes for Thermodynamically Consistent Gradient Flow Models

We present a systematical approach to developing arbitrarily high order, unconditionally energy stable numerical schemes for thermodynamically consistent gradient flow models that satisfy energy dissipation laws. Utilizing the energy quadratization (EQ) method, We formulate the gradient flow model into an equivalent form with a corresponding quadratic free energy functional. Based on the equivalent form with a quadratic energy, we propose two classes of energy stable numerical approximations. In the first approach, we use a prediction-correction strategy to improve the accuracy of linear numerical schemes. In the second approach, we adopt the Gaussian collocation method to discretize the equivalent form with a quadratic energy, arriving at an arbitrarily high-order scheme for gradient flow models. Schemes derived using both approaches are proved rigorously to be unconditionally energy stable. The proposed schemes are then implemented in four gradient flow models numerically to demonstrate their accuracy and effectiveness. Detailed numerical comparisons among these schemes are carried out as well. These numerical strategies are rather general so that they can be readily generalized to solve any thermodynamically consistent PDE models.

math.NA

Arbitrarily High-order Unconditionally Energy Stable Schemes for Gradient Flow Models Using the Scalar Auxiliary Variable Approach

In this paper, we propose a novel family of high-order numerical schemes for the gradient flow models based on the scalar auxiliary variable (SAV) approach, which is named the high-order scalar auxiliary variable (HSAV) method. The newly proposed schemes could be shown to reach arbitrarily high order in time while preserving the energy dissipation law without any restriction on the time step size (i.e., unconditionally energy stable). The HSAV strategy is rather general that it does not depend on the specific expression of the effective free energy, such that it applies to a class of thermodynamically consistent gradient flow models arriving at semi-discrete high-order energy-stable schemes. We then employ the Fourier pseudospectral method for spatial discretization. The fully discrete schemes are also shown to be unconditionally energy stable. Furthermore, we present several numerical experiments on several widely-used gradient flow models, to demonstrate the accuracy, efficiency and unconditionally energy stability of the HSAV schemes. The numerical results verify that the HSAV schemes can reach the expected order of accuracy, and it allows a much larger time step size to reach the same accuracy than the standard SAV schemes.

math.NA

Adaptive second-order Crank-Nicolson time-stepping schemes for time fractional molecular beam epitaxial growth models

Adaptive second-order Crank-Nicolson time-stepping methods using the recent scalar auxiliary variable (SAV) approach are developed for the time-fractional Molecular Beam Epitaxial models with Caputo's derivative. Based on the piecewise linear interpolation, the Caputo's fractional derivative is approximated by a novel second-order formula, which is naturally suitable for a general class of nonuniform meshes and essentially preserves the positive semi-definite property of integral kernel. The resulting Crank-Nicolson SAV time-stepping schemes are unconditional energy stable on nonuniform time meshes, and are computationally efficient in multiscale time simulations when combined with adaptive time steps, such as are appropriate for accurately resolving the intrinsically initial singularity of solution and for efficiently capturing fast dynamics away from the initial time. Numerical examples are presented to show the effectiveness of our methods.

math.NA

Quasi-incompressible Multi-species Ionic Fluid Models

In traditional hydrodynamic theories for ionic fluids, conservation of the mass and linear momentum is not properly taken care of. In this paper, we develop hydrodynamic theories for a viscous, ionic fluid of $N$ ionic species enforcing mass and momentum conservation as well as considering the size effect of the ionic particles. The theories developed are quasi-incompressible in that the mass-average velocity is no longer divergence-free whenever there exists variability in densities of the fluid components, and the models are dissipative. We present several ways to derive the transport equations for the ions, which lead to different rates of energy dissipation. The theories can be formulated in either number densities, volume fractions or mass densities of the ionic fluid components. We show that the theory with the Cahn-Hilliard transport equation for ionic species reduces to the classical Poisson-Nernst-Planck (PNP) model with the size effect for ionic fluids when the densities of the fluid components are equal and the entropy of the solvent is neglected. It further reduces to the PNP model when the size effect is neglected. A linear stability analysis of the model together with two of its limits, which is the extended PNP model (EPNP defined in the text) and the classical PNP model (CPNP) with the finite size effect, on a constant state and a comparison among the three models in 1D space are presented to highlight the similarity and the departure of this model from the EPNP and the CPNP model.

physics.flu-dyn

Optimal error estimate of two linear and momentum-preserving Fourier pseudo-spectral schemes for the RLW equation

In this paper, two novel linear-implicit and momentum-preserving Fourier pseudo-spectral schemes are proposed and analyzed for the regularized long-wave equation. The numerical methods are based on the blend of the Fourier pseudo-spectral method in space and the linear-implicit Crank-Nicolson method or the leap-frog scheme in time. The two fully discrete linear schemes are shown to possess the discrete momentum conservation law, and the linear systems resulting from the schemes are proved uniquely solvable. Due to the momentum conservative property of the proposed schemes, the Fourier pseudo-spectral solution is proved to be bounded in the discrete $L^{\infty}$ norm. Then by using the standard energy method, both the linear-implicit Crank-Nicolson momentum-preserving scheme and the linear-implicit leap-frog momentum-preserving scheme are shown to have the accuracy of $\mathcal{O}(τ^2+N^{-r})$ in the discrete $L^{\infty}$ norm without any restrictions on the grid ratio, where $N$ is the number of nodes and $τ$ is the time step size. Numerical examples are carried out to verify the correction of the theory analysis and the efficiency of the proposed schemes.

math.NA

Second-order linear structure-preserving modified finite volume schemes for the regularized long-wave equation

In this paper, based on the weak form of the Hamiltonian formulation of the regularized long-wave equation and a novel approach of transforming the original Hamiltonian energy into a quadratic functional, a fully implicit and three linear-implicit energy conservation numerical schemes are respectively proposed. The resulting numerical schemes are proved theoretically to satisfy the energy conservation law in the discrete level. Moreover, these linear-implicit schemes are efficient in practical computation because only a linear system need to be solved at each time step. The proposed schemes are both second order accurate in time and space. Numerical experiments are presented to show all the proposed schemes have satisfactory performance in providing accurate solution and the remarkable energy-preserving property.

math.NA

Structure-Preserving Galerkin POD Reduced-Order Modeling of Hamiltonian Systems

The proper orthogonal decomposition reduced-order models (POD-ROMs) have been widely used as a computationally efficient surrogate models in large-scale numerical simulations of complex systems. However, when it is applied to a Hamiltonian system, a naive application of the POD method can destroy its Hamiltonian structure in the reduced-order model. In this paper, we develop a new reduce-order modeling approach for the Hamiltonian system, which uses the traditional framework of Galerkin projection-based model reduction but modifies the ROM so that the appropriate Hamiltonian structure is preserved. Since the POD truncation can degrade the approximation of the Hamiltonian function, we propose to use the POD basis from shifted snapshots to improve the Hamiltonian function approximation. We further derive a rigorous a priori error estimate of the structure-preserving ROM and demonstrate its effectiveness in several numerical examples. This approach can be readily extended to dissipative Hamiltonian systems, port-Hamiltonian systems etc.

math.NA