Stability of the Semi-Implicit Method for the Cahn-Hilliard Equation with Logarithmic Potentials

We consider the two-dimensional Cahn-Hilliard equation with logarithmic potentials and periodic boundary conditions. We employ the standard semi-implicit numerical scheme, which treats the linear fourth-order dissipation term implicitly and the nonlinear term explicitly. Under natural constraints on the time step we prove strict phase separation and energy stability of the semiimplicit scheme. This appears to be the first rigorous result for the semi-implicit discretization of the Cahn-Hilliard equation with singular potentials.     

A Simple Semi-Implicit Scheme for Partial Differential Equations with Obstacle Constraints

We develop a simple and efficient numerical scheme to solve a class of obstacle problems encountered in various applications. Mathematically, obstacle problems are usually formulated using nonlinear partial differential equations (PDE). To construct a computationally efficient scheme, we introduce a time derivative term and convert the PDE into a time-dependent problem. But due to its nonlinearity, the time step is in general chosen to satisfy a very restrictive stability condition. To relax such a time step constraint when solving a time dependent evolution equation, we decompose the nonlinear obstacle constraint in the PDE into a linear part and a nonlinear part and apply the semi-implicit technique. We take the linear part implicitly while treating the nonlinear part explicitly. Our method can be easily applied to solve the fractional obstacle problem and min curvature flow problem. The article will analyze the convergence of our proposed algorithm. Numerical experiments are given to demonstrate the efficiency of our algorithm.     

Stability Analysis and Application of the Exponential Time Differencing Schemes

Exponential time differencing schemes are time integration methods that can be efficiently combined with spatial spectral approximations to provide very high resolution to the smooth solutions of some linear and nonlinear partial differential equations. We study in this paper the stability properties of some exponential time differencing schemes. We also present their application to the numerical solution of the scalar Allen-Cahn equation in two and three dimensional spaces.     

半直线上BBM方程初边值问题的修正有理谱耦合方法

本文考虑使用修正的有理谱方法处理半直线上的BBM方程初边值问题.对非线性项使用Chebyshev有理插值显式处理,而线性项使用修正Legendre有理谱方法隐式处理.这种处理既可以节约运算又可以保持良好的稳定性.数值例子表明了算法的有效性     

Implicit‐explicit multistep finite element methods for nonlinear convection‐diffusion problems

Implicit‐explicit multistep finite element methods for nonlinear convection‐diffusion equations are presented and analyzed. In space we discretize by finite element methods. The discretization in time is based on linear multistep schemes. The linear part of the equation is discretized implicitly and the nonlinear part of the equation explicitly. The schemes are stable and very efficient. We derive optimal order error estimates. © 2001 John Wiley & Sons, Inc. Numer Methods Partial Differential Eq 17:93–104, 2001     

High order accurate semi-implicit WENO schemes for hyperbolic balance laws

In this paper we propose a family of well-balanced semi-implicit numerical schemes for hyperbolic conservation and balance laws. The basic idea of the proposed schemes lies in the combination of the finite volume WENO discretization with Roe’s solver and the strong stability preserving (SSP) time integration methods, which ensure the stability properties of the considered schemes [S. Gottlieb, C.-W. Shu, E. Tadmor, Strong stability-preserving high-order time discretization methods, SIAM Rev. 43 (2001) 89-112]. While standard WENO schemes typically use explicit time integration methods, in this paper we are combining WENO spatial discretization with optimal SSP singly diagonally implicit (SDIRK) methods developed in [L. Ferracina, M.N. Spijker, Strong stability of singly diagonally implicit Runge-Kutta methods, Appl. Numer. Math. 58 (2008) 1675-1686]. In this way the implicit WENO numerical schemes are obtained. In order to reduce the computational effort, the implicit part of the numerical scheme is linearized in time by taking into account the complete WENO reconstruction procedure. With the proposed linearization the new semi-implicit finite volume WENO schemes are designed.A detailed numerical investigation of the proposed numerical schemes is presented in the paper. More precisely, schemes are tested on one-dimensional linear scalar equation and on non-linear conservation law systems. Furthermore, well-balanced semi-implicit WENO schemes for balance laws with geometrical source terms are defined. Such schemes are then applied to the open channel flow equations. We prove that the defined numerical schemes maintain steady state solution of still water. The application of the new schemes to different open channel flow examples is shown.     

离散速度动力学方程组的数值方法研究 Ⅰ.半隐式差分格式

１．引言文中考虑 Ｂｏｌｔｚｍａｎｎ方程的离散速度模型一两速度模型的数值方法的构造和分析．其中,ｃ为分子速度,Ｊ（ｕ,ｖ）为碰撞算子,具有如下一般形式式中ｋ（ｕ,ｖ）,和为非负实常数．模型（１．１）－（１．２０包含了一些著名的动力学模型,例如 Ｇｏｌｄｓｔｅｉｎ－Ｔａｙｌｏｒ模型［５,１４］, Ｒｕｉｊｇｒｏｏｋ－Ｗｕ模型［１２］,多孔介质方程［９,１１］等． 如果引进宏观变量产＝ｕ＋ｖ,ｊ＝（ｕ－ｖ）,则可得到宏观方程其中此外,方程（１．３）有两个自然渐近区．第一个是此时Ｊ（ｊ）＝０,如果该方程有…     

Weak second order S-ROCK methods for Stratonovich stochastic differential equations

It is well known that the numerical solution of stiff stochastic ordinary differential equations leads to a step size reduction when explicit methods are used. This has led to a plethora of implicit or semi-implicit methods with a wide variety of stability properties. However, for stiff stochastic problems in which the eigenvalues of a drift term lie near the negative real axis, such as those arising from stochastic partial differential equations, explicit methods with extended stability regions can be very effective. In the present paper our aim is to derive explicit Runge–Kutta schemes for non-commutative Stratonovich stochastic differential equations, which are of weak order two and which have large stability regions. This will be achieved by the use of a technique in Chebyshev methods for ordinary differential equations.     

Efficient numerical schemes for the solution of generalized time fractional Burgers type equations

The main aim of this paper is to propose two semi-implicit Fourier pseudospectral schemes for the solution of generalized time fractional Burgers type equations, with an analysis of consistency, stability, and convergence. Under some assumptions, the unconditional stability of the schemes is shown. In implementation of these schemes, the fast Fourier transform (FFT) can be used efficiently to improve the computational cost. Various test problems are included to illustrate the results that we have obtained regarding the proposed schemes. The results of numerical experiments are compared with analytical solutions and other existing methods in the literature to show the efficiency of proposed schemes in both accuracy and CPU time. As numerical solution of fractional stochastic nonlinear partial differential equations driven by Brownian motions are among current related research interests, we report the performance of these schemes on stochastic time fractional Burgers equation as well.     

Implicit-explicit schemes for flow equations with stiff source terms

In this paper, we design stable and accurate numerical schemes for conservation laws with stiff source terms. A prime example and the main motivation for our study is the reactive Euler equations of gas dynamics. Furthermore, we consider widely studied scalar model equations. We device one-step IMEX (implicit-explicit) schemes for these equations that treats the convection terms explicitly and the source terms implicitly.For the non-linear scalar equation, we use a novel choice of initial data for the resulting Newton solver and obtain correct propagation speeds, even in the difficult case of rarefaction initial data. For the reactive Euler equations, we choose the numerical diffusion suitably in order to obtain correct wave speeds on under-resolved meshes.We prove that our implicit-explicit scheme converges in the scalar case and present a large number of numerical experiments to validate our scheme in both the scalar case as well as the case of reactive Euler equations.Furthermore, we discuss fundamental differences between the reactive Euler equations and the scalar model equation that must be accounted for when designing a scheme.     

Semi-implicit finite volume level set method for advective motion of interfaces in normal direction

In this paper a semi-implicit finite volume method is proposed to solve the applications with moving interfaces using the approach of level set methods. The level set advection equation with a given speed in normal direction is solved by this method. Moreover, the scheme is used for the numerical solution of eikonal equation to compute the signed distance function and for the linear advection equation to compute the so-called extension speed [1]. In both equations an extrapolation near the interface is used in our method to treat Dirichlet boundary conditions on implicitly given interfaces. No restrictive CFL stability condition is required by the semi-implicit method that is very convenient especially when using the extrapolation approach. In summary, we can apply the method for the numerical solution of level set advection equation with the initial condition given by the signed distance function and with the advection velocity in normal direction given by the extension speed. Several advantages of the proposed approach can be shown for chosen examples and application. The advected numerical level set function approximates well the property of remaining the signed distance function during whole simulation time. Sufficiently accurate numerical results can be obtained even with the time steps violating the CFL stability condition.     

On convergence of finite volume schemes for one-dimensional two-phase flow in porous media

This paper deals with development and analysis of finite volume schemes for a one-dimensional nonlinear, degenerate, convection-diffusion equation having application in petroleum reservoir and groundwater aquifer simulation. The main difficulty is that the solution typically lacks regularity due to the degenerate nonlinear diffusion term. We analyze and compare three families of numerical schemes corresponding to explicit, semi-implicit, and implicit discretization of the diffusion term and a Godunov scheme for the advection term. L^∞ stability under appropriate CFL conditions and BV estimates are obtained. It is shown that the schemes satisfy a discrete maximum principle. Then we prove convergence of the approximate solution to the weak solution of the problem. Results of numerical experiments using the present approach are reported.     

随机延迟微分方程的全隐式Euler方法

研究随机延迟微分方程数值解具有重要的意义,目前已有显式和半隐式两种数值方法,还没有全隐式的数值方法.本文构造了一种全隐式Euler方法,在该方法中用一些截断的随机变量代替维纳过程增量△W<,n>,接着证明了全隐式方法是1/2阶收敛的并通过数值实验验证了该方法的收敛性.最后,用数值实验表明在某些情况下全隐式方法的稳定性比半隐式方法好一些.     

Mean-square stability of semi-implicit Euler method for nonlinear neutral stochastic delay differential equations

There are few results on the numerical stability of nonlinear neutral stochastic delay differential equations (NSDDEs). The aim of this paper is to establish some new results on the numerical stability for nonlinear NSDDEs. It is proved that the semi-implicit Euler method is mean-square stable under suitable condition. The theoretical result is also confirmed by a numerical experiment.     

A fourth-order approximate projection method for the incompressible Navier–Stokes equations on locally-refined periodic domains

In this follow-up of our previous work [30], the author proposes a high-order semi-implicit method for numerically solving the incompressible Navier–Stokes equations on locally-refined periodic domains. Fourth-order finite-volume stencils are employed for spatially discretizing various operators in the context of structured adaptive mesh refinement (AMR). Time integration adopts a fourth-order, semi-implicit, additive Runge–Kutta method to treat the non-stiff convection term explicitly and the stiff diffusion term implicitly. The divergence-free condition is fulfilled by an approximate projection operator. Altogether, these components yield a simple algorithm for simulating incompressible viscous flows on periodic domains with fourth-order accuracies both in time and in space. Results of numerical tests show that the proposed method is superior to previous second-order methods in terms of accuracy and efficiency. A major contribution of this work is the analysis of a fourth-order approximate projection operator.     

Convergence of the semi-implicit Euler method for neutral stochastic delay differential equations with phase semi-Markovian switching

Recently, in the numerical analysis for stochastic differential equations (SDEs), it is a new topic to study the numerical schemes of neutral stochastic functional differential equations (NSFDEs) (see Wu and Mao [1]). Especially when Markovian switchings are taken into consideration, these problems will be more complicated. Although Zhou and Wu [2] develop a numerical scheme to neutral stochastic delay differential equations with Markovian switching (short for NSDDEwMSs), their method belongs to explicit Euler–Maruyama methods which are in general much less accurate in approximation than their implicit or semi-implicit counterparts. Therefore, to propose an implicit method becomes imperative to fill the gap. In this paper we will extend Zhou and Wu [2] to the case of the semi-implicit Euler–Maruyama methods and equations with phase semi-Markovian switching rather than Markovian switching. The employment of phase semi-Markovian chains can avoid the restriction of the negative exponential distribution of the sojourn time at a state. We prove the semi-implicit Euler solution will converge to the exact solution to NSDDEwMS under local Lipschitz condition. More precise inequalities and new techniques are put forward to overcome the difficulties for the existence of the neutral part.     

Analysis of finite element approximations of a phase field model for two-phase fluids

This paper studies a phase field model for the mixture of two immiscible and incompressible fluids. The model is described by a nonlinear parabolic system consisting of the nonstationary Stokes equations coupled with the Allen-Cahn equation through an extra phase induced stress term in the Stokes equations and a fluid induced transport term in the Allen-Cahn equation. Both semi-discrete and fully discrete finite element methods are developed for approximating the parabolic system. It is shown that the proposed numerical methods satisfy a discrete energy law which mimics the basic energy law for the phase field model. Error estimates are derived for the semi-discrete method, and the convergence to the phase field model and to its sharp interface limiting model are established for the fully discrete finite element method by making use of the discrete energy law. Numerical experiments are also presented to validate the theory and to show the effectiveness of the combined phase field and finite element approach.

     

有限体积方法非结构网格方法解分数阶Allen-Cahn程（英文）

Fractional-in-space Allen-Cahn equation containing a very strong nonlinear source term and small perturbation shows metastability and a quartic double well potential.Using a finite volume unstructured triangular mesh method, the present paper solves the twodimensional fractional-in-space Allen-Cahn equation with homogeneous Neumann boundary condition on different irregular domains. The efficiency of the method is presented through numerical computation of the two-dimensional fractional-in-space Allen-Cahn equation on different domains.     

Two-derivative Runge–Kutta methods for PDEs using a novel discretization approach

We develop a novel and general approach to the discretization of partial differential equations. This approach overcomes the rigid restriction of the traditional method of lines (MOL) and provides flexibility in the treatment of spatial discretization. This method is essential for developing efficient numerical schemes for PDEs based on two-derivative Runge–Kutta (TDRK) methods, where the first and second derivatives must be discretized in an efficient way. This is unlikely to be achieved by using MOL. We then apply the explicit TDRK methods to the advection equations and analyze the numerical stability in the linear advection equation case. We conduct numerical experiments on the Burgers’ equation using the TDRK methods developed. We also apply a two-stage semi-implicit TDRK method of order-4 and stage-order-4 to the heat equation. A very significant improvement in the efficiency of this TDRK method is observed when compared to the popular Crank-Nicolson method. This paper is partially based on the work in Tsai’s PhD thesis (2011) [10].     

Numerical simulation for a nonlinear partial differential equation with variable coefficients by means of the discrete variational derivative method

Partial differential equations with possibly discontinuous coefficients play an important part in engineering, physics and ecology. In this paper, we will study nonlinear partial differential equations with variable coefficients arising from population models. Generally speaking, it is difficult to analyze the behavior of nonlinear partial differential equations; therefore, we usually rely on the numerical approximation. Currently, there is an increasing interest in designing numerical schemes that preserve energy properties for differential equations. We will design the numerical schemes that preserve discrete energy property and show numerical experiments for a nonlinear partial differential equation with variable coefficients.