arXiv subjects

Hong-lin Liao

Publications and source records attributed to Hong-lin Liao.

At least 19 recordsLinked to original sources

arXiv2026

Stability analysis of consistent splitting implicit-explicit multistep methods up to ninth-order accuracy for incompressible flows

This work presents a concise, unified stability theory of high-order decoupled \lan{implicit-explicit linear multistep (IELM)} methods based on the well-known consistent splitting technique for the incompressible Navier-Stokes equation. With the help of the recent semi-generating function approach and the global discrete energy analysis, one can establish the unconditional stability of a consistent splitting IELM method with respect to the $\ell^{\infty}(H^1)\cap \ell^{2}(H^2)$ norm if the associated implicit-explicit controllability intensity is larger than $\sqrt{2}/2$, a constant determined by the Stokes pressure estimate. It is shown that the $\beta$-parameterized GBDF-$\rmk$ ($2\le \rmk\le5$) schemes and $\gamma$-parameterized SIELM-$\rmk$ ($2\le \rmk\le9$) schemes can fulfill this requirement of implicit-explicit controllability intensity by choosing proper parameters so that they can theoretically maintain the unconditional stability of the associated consistent splitting IELM methods. Numerical experiments are also included to support our theory.

math.NA↗

arXiv2026

A semi-generating function approach to the stability of implicit-explicit multistep methods for nonlinear parabolic equations

The rigorous stability analysis of high-order implicit-explicit linear multistep (IELM) methods for nonlinear parabolic equations by using discrete energy arguments is a long standing open issue due to their non-A-stability property. A novel semi-generating function approach combined with a global discrete energy analysis is suggested for the stability and convergence of general IELM methods in solving nonlinear parabolic equations. Inspired from the Grenander-Szeg\H{o} theorem for Toeplitz matrices, the semi-generating function approach is used to handle the three groups of discrete coefficients via three complex polynomials on the unit circle. A unified theoretical framework is then presented to establish the unconditional stability of IELM methods if the minimum eigenvalue of composite convolution kernels for the implicit part is properly large and the spectral norm bound of composite convolution kernels for the explicit part is properly small. An indicator, called implicit-explicit controllability intensity, is then introduced to evaluate the degree of controllability of the implicit part over the explicit part. Some of the existing IELM methods, up to fifth-order time accuracy, are revisited and compared by computing the associated implicit-explicit controllability intensities such that one can choose an IELM method or proper parameter to maintain the unconditional stability for a specific nonlinear parabolic model. We also propose a new parameterized class of IELM methods, up to the ninth-order time accuracy, which satisfy the a priori settings of our theory and have a large value of the implicit-explicit controllability intensity by choosing a proper parameter so that they would be well suited for a wide class of nonlinear parabolic problems.

math.NA↗

arXiv2026

Long-time stability of implicit-explicit Runge-Kutta methods for two-dimensional incompressible flows

High-order adaptive time-stepping algorithms are of significant practical value and theoretical interest for accelerating long-time fluid-flow simulations and resolving complex dynamical behaviors. While several high-order implicit-explicit schemes have been proposed in the literature, their long-time stability properties remain largely unexplored. We develop a family of long-time stable implicit-explicit Runge-Kutta (IERK) methods, up to fourth-order temporal accuracy, for the two-dimensional incompressible Navier-Stokes equations in vorticity-stream function formulation. By combining a convolution-type H\"{o}lder inequality with a damping-type multistage Gr\"{o}nwall inequality, we establish a unified analytical framework that proves long-time stability in both the $L^2$ and $H^1$ norms. A key component of the analysis is a mathematical-induction argument that ensures stage-wise boundedness of the vorticity in the $H^\delta$ norm for some $\delta>0$. To the best of our knowledge, this is the first work to establish large-time stability results for high-order IERK algorithms for the two-dimensional incompressible Navier-Stokes equations. Our IERK schemes employ stiffly accurate diagonally implicit Runge-Kutta approximations for the linear diffusive term together with explicit Runge-Kutta approximations for the nonlinear advection term. By exploiting the specific structure of the Navier-Stokes model, we derive a reduced set of order conditions-requiring only 5 and 11 conditions for the third- and fourth-order methods, respectively, in contrast to the classical 6 and 18-allowing the construction of a parameterized family of efficient schemes. These IERK methods are particularly well suited for adaptive time-stepping, as they permit significantly enlarged step sizes in actual computations.

math.NA↗

arXiv2024

A class of refined implicit-explicit Runge-Kutta methods with robust time adaptability and unconditional convergence for the Cahn-Hilliard model

One of main obstacles in verifying the energy dissipation laws of implicit-explicit Runge-Kutta (IERK) methods for phase field equations is to establish the uniform boundedness of stage solutions without the global Lipschitz continuity assumption of nonlinear bulk. With the help of discrete orthogonal convolution kernels, an updated time-space splitting technique is developed to establish the uniform boundedness of stage solutions for a refined class of IERK methods in which the associated differentiation matrices and the average dissipation rates are always independent of the time-space discretization meshes. This makes the refined IERK methods highly advantageous in self-adaptive time-stepping procedures as some larger adaptive step-sizes in actual simulations become possible. From the perspective of optimizing the average dissipation rate, we construct some parameterized refined IERK methods up to third-order accuracy, in which the involved diagonally implicit Runge-Kutta methods for the implicit part have an explicit first stage and allow a stage-order of two such that they are not necessarily algebraically stable. Then we are able to establish, for the first time, the original energy dissipation law and the unconditional $L^2$ norm convergence. Extensive numerical tests are presented to support our theory.

math.NA↗

arXiv2024

A unified framework on the original energy laws of three effective classes of Runge-Kutta methods for phase field crystal type models

The main theoretical obstacle to establish the original energy dissipation laws of Runge-Kutta methods for phase-field equations is to verify the maximum norm boundedness of the stage solutions without assuming global Lipschitz continuity of the nonlinear bulk. We present a unified theoretical framework for the energy stability of three effective classes of Runge-Kutta methods, including the additive implicit-explicit Runge-Kutta, explicit exponential Runge-Kutta and corrected integrating factor Runge-Kutta methods, for the Swift-Hohenberg and phase field crystal models. By the standard discrete energy argument, it is proven that the three classes of Runge-Kutta methods preserve the original energy dissipation laws if the associated differentiation matrices are positive definite. Our main tools include the differential form with the associated differentiation matrix, the discrete orthogonal convolution kernels and the principle of mathematical induction. Many existing Runge-Kutta methods in the literature are revisited by evaluating the lower bound on the minimum eigenvalues of the associated differentiation matrices. Our theoretical approach paves a new way for the internal nonlinear stability of Runge-Kutta methods for dissipative semilinear parabolic problems.

math.NA↗

arXiv2024

Average energy dissipation rates of additive implicit-explicit Runge-Kutta methods for gradient flow problems

A unified theoretical framework is suggested to examine the energy dissipation properties at all stages of additive implicit-explicit Runge-Kutta (IERK) methods up to fourth-order accuracy for gradient flow problems. We construct some parameterized IERK methods by applying the so-called first same as last method, that is, the diagonally implicit Runge-Kutta method with the explicit first stage and stiffly-accurate assumption for the linear stiff term, and applying the explicit Runge-Kutta method for the nonlinear term. The main part of the novel framework is to construct the differential forms and the associated differentiation matrices of IERK methods by using the difference coefficients of method and the so-called discrete orthogonal convolution kernels. As the main result, we prove that an IERK method can preserve the original energy dissipation law unconditionally if the associated differentiation matrix is positive semi-definite. The recent indicator, namely average energy dissipation rate, is also adopted for these multi-stage methods to evaluate the overall energy dissipation rate of an IERK method such that one can choose proper parameters in some parameterized IERK methods. It is found that the selection of method parameters in the IERK methods is at least as important as the selection of different IERK methods. Extensive numerical experiments are also included to support our theory.

math.NA↗

arXiv2024

Original energy dissipation preserving corrections of integrating factor Runge-Kutta methods for gradient flow problems

Explicit integrating factor Runge-Kutta methods are attractive and popular in developing high-order maximum bound principle preserving time-stepping schemes for Allen-Cahn type gradient flows. However, they always suffer from the non-preservation of steady-state solution and original energy dissipation law. To overcome these disadvantages, some new integrating factor methods are developed by using two classes of difference correction, including the telescopic correction and nonlinear-term translation correction, enforcing the preservation of steady-state solution. Then the original energy dissipation properties of the new methods are examined by using the associated differential forms and the differentiation matrices. As applications, some new integrating factor Runge-Kutta methods up to third-order maintaining the original energy dissipation law are constructed by applying the difference correction strategies to some popular explicit integrating factor methods in the literature. Extensive numerical experiments are presented to support our theory and to demonstrate the improved performance of new methods.

math.NA↗

arXiv2024

Average energy dissipation rates of explicit exponential Runge-Kutta methods for gradient flow problems

We propose a unified theoretical framework to examine the energy dissipation properties at all stages of explicit exponential Runge-Kutta (EERK) methods for gradient flow problems. The main part of the novel framework is to construct the differential form of EERK method by using the difference coefficients of method and the so-called discrete orthogonal convolution kernels. As the main result, we prove that an EERK method can preserve the original energy dissipation law unconditionally if the associated differentiation matrix is positive semi-definite. A simple indicator, namely average dissipation rate, is also introduced for these multi-stage methods to evaluate the overall energy dissipation rate of an EERK method such that one can choose proper parameters in some parameterized EERK methods or compare different kinds of EERK methods. Some existing EERK methods in the literature are evaluated from the perspective of preserving the original energy dissipation law and the energy dissipation rate. Some numerical examples are also included to support our theory.

math.NA↗

arXiv2024

Mesh-robust stability and convergence of variable-step deferred correction methods based on the BDF2 formula

We provide a new theoretical framework for the variable-step deferred correction (DC) methods based on the well-known BDF2 formula. By using the discrete orthogonal convolution kernels, some high-order BDF2-DC methods are proven to be stable on arbitrary time grids according to the recent definition of stability (SINUM, 60: 2253-2272). It significantly relaxes the existing step-ratio restrictions for the BDF2-DC methods (BIT, 62: 1789-1822). The associated sharp error estimates are established by taking the numerical effects of the starting approximations into account, and they suggest that the BDF2-DC methods have no aftereffect, that is, the lower-order starting scheme for the BDF2 scheme will not cause a loss in the accuracy of the high-order BDF2-DC methods. Extensive tests on the graded and random time meshes are presented to support the new theory.

math.NA↗

arXiv2023

Asymptotically compatible energy and dissipation law of the nonuniform L2-$1_{\sigma}$ scheme for time fractional Allen-Cahn model

We build an asymptotically compatible energy of the variable-step L2-$1_{\sigma}$ scheme for the time-fractional Allen-Cahn model with the Caputo's fractional derivative of order $\alpha\in(0,1)$, under a weak step-ratio constraint $\tau_k/\tau_{k-1}\geq r_{\star}(\alpha)$ for $k\ge2$, where $\tau_k$ is the $k$-th time-step size and $r_{\star}(\alpha)\in(0.3865,0.4037)$ for $\alpha\in(0,1)$. It provides a positive answer to the open problem in [J. Comput. Phys., 414:109473], and, to the best of our knowledge, it is the first second-order nonuniform time-stepping scheme to preserve both the maximum bound principle and the energy dissipation law of time-fractional Allen-Cahn model. The compatible discrete energy is constructed via a novel discrete gradient structure of the second-order L2-$1_{\sigma}$ formula by a local-nonlocal splitting technique. It splits the discrete fractional derivative into two parts: one is a local term analogue to the trapezoid rule of the first derivative and the other is a nonlocal summation analogue to the L1 formula of Caputo derivative. Numerical examples with an adaptive time-stepping strategy are provided to show the effectiveness of our scheme and the asymptotic properties of the associated modified energy.

math.NA↗

arXiv2023

Discrete gradient structure of a second-order variable-step method for nonlinear integro-differential models

The discrete gradient structure and the positive definiteness of discrete fractional integrals or derivatives are fundamental to the numerical stability in long-time simulation of nonlinear integro-differential models. We build up a discrete gradient structure for a class of second-order variable-step approximations of fractional Riemann-Liouville integral and fractional Caputo derivative. Then certain variational energy dissipation laws at discrete levels of the corresponding variable-step Crank-Nicolson type methods are established for time-fractional Allen-Cahn and time-fractional Klein-Gordon type models. They are shown to be asymptotically compatible with the associated energy laws of the classical Allen-Cahn and Klein-Gordon equations in the associated fractional order limits.Numerical examples together with an adaptive time-stepping procedure are provided to demonstrate the effectiveness of our second-order methods.

math.NA↗

arXiv2022

Asymptotically compatible energy of variable-step fractional BDF2 formula for time-fractional Cahn-Hilliard model

A new discrete energy dissipation law of the variable-step fractional BDF2 (second-order backward differentiation formula) scheme is established for time-fractional Cahn-Hilliard model with the Caputo's fractional derivative of order $\alpha\in(0,1)$, under a weak step-ratio constraint $0.4753\le \tau_k/\tau_{k-1}<r^*(\alpha)$, where $\tau_k$ is the $k$-th time-step size and $r^*(\alpha)\ge4.660$ for $\alpha\in(0,1)$.We propose a novel discrete gradient structure by a local-nonlocal splitting technique, that is, the fractional BDF2 formula is split into a local part analogue to the two-step backward differentiation formula of the first derivative and a nonlocal part analogue to the L1-type formula of the Caputo's derivative. More interestingly, in the sense of the limit $\alpha\rightarrow1^-$, the discrete energy and the corresponding energy dissipation law are asymptotically compatible with the associated discrete energy and the energy dissipation law of the variable-step BDF2 method for the classical Cahn-Hilliard equation, respectively. Numerical examples with an adaptive stepping procedure are provided to demonstrate the accuracy and the effectiveness of our proposed method.

math.NA↗

arXiv2022

Compatible $L^2$ norm convergence of variable-step L1 scheme for the time-fractional MBE mobel with slope selection

The convergence of variable-step L1 scheme is studied for the time-fractional molecular beam epitaxy (MBE) model with slope selection.A novel asymptotically compatible $L^2$ norm error estimate of the variable-step L1 scheme is established under a convergence-solvability-stability (CSS)-consistent time-step constraint. The CSS-consistent condition means that the maximum step-size limit required for convergence is of the same order to that for solvability and stability (in certain norms) as the small interface parameter $\epsilon\rightarrow 0^+$. To the best of our knowledge, it is the first time to establish such error estimate for nonlinear subdiffusion problems. The asymptotically compatible convergence means that the error estimate is compatible with that of backward Euler scheme for the classical MBE model as the fractional order $\alpha\rightarrow 1^-$. Just as the backward Euler scheme can maintain the physical properties of the MBE equation, the variable-step L1 scheme can also preserve the corresponding properties of the time-fractional MBE model, including the volume conservation, variational energy dissipation law and $L^2$ norm boundedness. Numerical experiments are presented to support our theoretical results.

math.NA↗

arXiv2022

Discrete energy analysis of the third-order variable-step BDF time-stepping for diffusion equations

This is one of our series works on discrete energy analysis of the variable-step BDF schemes. In this part, we present stability and convergence analysis of the third-order BDF (BDF3) schemes with variable steps for linear diffusion equations, see e.g. [SIAM J. Numer. Anal., 58:2294-2314] and [Math. Comp., 90: 1207-1226] for our previous works on the BDF2 scheme. To this aim, we first build up a discrete gradient structure of the variable-step BDF3 formula under the condition that the adjacent step ratios are less than 1.4877, by which we can establish a discrete energy dissipation law. Mesh-robust stability and convergence analysis in the $L^2$ norm are then obtained. Here the mesh robustness means that the solution errors are well controlled by the maximum time-step size but independent of the adjacent time-step ratios. We also present numerical tests to support our theoretical results.

math.NA↗

arXiv2022

Energy stability of variable-step L1-type schemes for time-fractional Cahn-Hilliard model

The positive definiteness of discrete time-fractional derivatives is fundamental to the numerical stability (in the energy sense) for time-fractional phase-field models. A novel technique is proposed to estimate the minimum eigenvalue of discrete convolution kernels generated by the nonuniform L1, half-grid based L1 and time-averaged L1 formulas of the fractional Caputo's derivative. The main discrete tools are the discrete orthogonal convolution kernels and discrete complementary convolution kernels. Certain variational energy dissipation laws at discrete levels of the variable-step L1-type methods are then established for time-fractional Cahn-Hilliard model.They are shown to be asymptotically compatible, in the fractional order limit $\alpha\rightarrow1$, with the associated energy dissipation law for the classical Cahn-Hilliard equation. Numerical examples together with an adaptive time-stepping procedure are provided to demonstrate the effectiveness of the proposed methods.

math.NA↗

arXiv2022

$L^2$ norm error estimates of BDF methods up to fifth-order for the phase field crystal model

The well-known backward difference formulas (BDF) of the third, the fourth and the fifth orders are investigated for time integration of the phase field crystal model. By building up novel discrete gradient structures of the BDF-$\rmk$ ($\rmk=3,4,5$) formulas, we establish the energy dissipation laws at the discrete levels and then obtain the priori solution estimates for the associated numerical schemes (however, we can not build any discrete energy dissipation law for the corresponding BDF-6 scheme because the BDF-6 formula itself does not have any discrete gradient structures). With the help of the discrete orthogonal convolution kernels and Young-type convolution inequalities, some concise $L^2$ norm error estimates (with respect to the starting data in the $L^2$ norm) are established via the discrete energy technique. To the best of our knowledge, this is the first time such type $L^2$ norm error estimates of non-A-stable BDF schemes are obtained for nonlinear parabolic equations. Numerical examples are presented to verify and support the theoretical analysis.

math.NA↗

arXiv2022

Stability of variable-step BDF2 and BDF3 methods

We prove that the two-step backward differentiation formula (BDF2) method is stable on arbitrary time grids; while the variable-step BDF3 scheme is stable if almost all adjacent step ratios are less than 2.553. These results relax the severe mesh restrictions in the literature and provide a new understanding of variable-step BDF methods. Our main tools include the discrete orthogonal convolution kernels and an elliptic-type matrix norm.

math.NA↗

arXiv2021

The variable-step L1 scheme preserving a compatible energy law for time-fractional Allen-Cahn equation

In this work, we revisit the adaptive L1 time-stepping scheme for solving the time-fractional Allen-Cahn equation in the Caputo's form. The L1 implicit scheme is shown to preserve a variational energy dissipation law on arbitrary nonuniform time meshes by using the recent discrete analysis tools, i.e., the discrete orthogonal convolution kernels and discrete complementary convolution kernels. Then the discrete embedding techniques and the fractional Gr\"onwall inequality were applied to establish an $L^2$ norm error estimate on nonuniform time meshes. An adaptive time-stepping strategy according to the dynamical feature of the system is presented to capture the multi-scale behaviors and to improve the computational performance.

math.NA↗