Sobolev方程的CN全离散化有限元格式

首先给出Sobolev方程关于时间二阶精度的Crank-Nicolson(CN)时间半离散格式,然后直接从时间二阶精度的CN时间半离散格式出发,构造CN全离散化的有限元格式,并给出这种时间二阶精度的CN全离散化有限元解的误差估计.本文研究方法使得理论证明变得更简便, 也是处理Sobolev方程的一种新的尝试.     

An efficient linear second order unconditionally stable direct discretization method for the phase-field crystal equation on surfaces

We develop an unconditionally stable direct discretization scheme for solving the phase-field crystal equation on surfaces. The surface is discretized by using an unstructured triangular mesh. Gradient, divergence, and Laplacian operators are defined on triangular meshes. The proposed numerical method is second-order accurate in space and time. At each time step, the proposed computational scheme results in linear elliptic equations to be solved, thus it is easy to implement the algorithm. It is proved that the proposed scheme satisfies a discrete energy-dissipation law. Therefore, it is unconditionally stable. A fast and efficient biconjugate gradients stabilized solver is used to solve the resulting discrete system. Numerical experiments are conducted to demonstrate the performance of the proposed algorithm.     

CONVERGENCE OF THE CRANK-NICOLSON/NEWTON SCHEME FOR NONLINEAR PARABOLIC PROBLEM

In this paper, the Crank-Nicolson/Newton scheme for solving numerically secondorder nonlinear parabolic problem is proposed. The standard Galerkin finite element method based on P2 conforming elements is used to the spatial discretization of the problem and the Crank-Nicolson/Newton scheme is applied to the time discretization of the resulted finite element equations. Moreover, assuming the appropriate regularity of the exact solution and the finite element solution, we obtain optimal error estimates of the fully discrete CrankNicolson/Newton scheme of nonlinear parabolic problem. Finally, numerical experiments are presented to show the efficient performance of the proposed scheme.     

A Stabilized Galerkin Scheme for the Convection-Diffusion-Reaction Equations

A fully discrete stabilized scheme is proposed for solving the time-dependent convection-diffusion-reaction equations. A time derivative term results in our stabilized algorithm. The finite element method for spatial discretization and the backward Euler or Crank-Nicolson scheme for time discretization are employed. The long-time stability and convergence are established in this article. Finally, some numerical experiments are provided to confirm the theoretical analysis.     

抛物型方程基于POD方法的时间二阶精度CN有限元降维格式

将特征正交分解(proper orthogonal decomposition, 简记为POD) 方法应用于抛物型方程通常的时间二阶精度Crank-Nicolson (简记为CN) 有限元格式, 简化其为一个自由度极少的时间二阶精度CN 有限元降维格式, 并给出简化的时间二阶精度CN 有限元解的误差分析. 数值例子表明在简化的时间二阶精度CN 有限元解和通常的时间二阶精度CN 有限元解之间的误差足够小的情况下, 简化的时间二阶精度CN 有限元格式能大大地节省自由度, 而且时间步长可以比时间一阶精度的格式取大10 倍, 以至能更快计算到所要时刻数值解, 减少计算机计算过程的截断误差, 提高计算速度和计算精度,从而验证降维时间二阶精度CN 有限元格式用于解类似于抛物型方程的时间依赖方程是很有效的.     

Well-balanced unstaggered central schemes for one and two-dimensional shallow water equation systems

We propose a new well-balanced unstaggered central finite volume scheme for hyperbolic balance laws with geometrical source terms. In particular we construct a new one and two-dimensional finite volume method for the numerical solution of shallow water equations on flat/variable bottom topographies. The proposed scheme evolves a non-oscillatory numerical solution on a single grid, avoids the time consuming process of solving Riemann problems arising at the cell interfaces, and is second-order accurate both in space and time. Furthermore, the numerical scheme follows a well-balanced discretization that first discretizes the geometrical source term according to the discretization of the flux terms, and then mimics the surface gradient method and discretizes the water height according to the discretization of the water level. The resulting scheme exactly satisfies the C-property at the discrete level. The proposed scheme is then applied and classical one and two-dimensional shallow water equation problems with flat or variable bottom topographies are successfully solved. The obtained numerical results are in good agreement with corresponding ones appearing in the recent literature, thus confirming the potential and efficiency of the proposed method.     

Fast algorithm for viscous Cahn-Hilliard equation

The main purpose of this paper is to solve the viscous Cahn-Hilliard equation via a fast algorithm based on the two time-mesh (TT-M) finite element (FE) method to ease the problem caused by strong nonlinearities. The TT-M FE algorithm includes the following main computing steps. First, a nonlinear FE method is applied on a coarse time-mesh τ_c. Here, the FE method is used for spatial discretization and the implicit second-order θ scheme (containing both implicit Crank-Nicolson and second-order backward difference) is used for temporal discretization. Second, based on the chosen initial iterative value, a linearized FE system on time fine mesh is solved, where some useful coarse numerical solutions are found by Lagrange’s interpolation formula. The analysis for both stability and a priori error estimates is made in detail. Numerical examples are given to demonstrate the validity of the proposed algorithm. Our algorithm is compared with the traditional Galerkin FE method and it is evident that our fast algorithm can save computational time.     

非定常不可压Navier-Stokes方程两重网格方法的稳定性和L2误差估计

讨论了二维非定常不可压Navier-Stokes方程的两重网格方法．此方法包括在粗网格上求解一个非线性问题,在细网格上求解一个Stokes问题．采用一种新的全离散(时间离散用Crank-Nicolson格式,空间离散用混合有限元方法)格式数值求解N-S方程．证明了该全离散格式的稳定性．给出了L2误差估计．对比标准有限元方法,在保持同样精度的前提下,TGM能节省大量的计算量．     

ANALYSIS ON A NUMERICAL SCHEME WITH SECOND-ORDER TIME ACCURACY FOR NONLINEAR DIFFUSION EQUATIONS

A nonlinear fully implicit finite difference scheme with second-order time evolution for nonlinear diffusion problem is studied.The scheme is constructed with two-layer coupled discretization (TLCD) at each time step.It does not stir numerical oscillation,while per-mits large time step length,and produces more accurate numerical solutions than the other two well-known second-order time evolution nonlinear schemes,the Crank-Nicolson (CN)scheme and the backward difference formula second-order (BDF2) scheme.By developing a new reasoning technique,we overcome the difficulties caused by the coupled nonlinear discrete diffusion operators at different time layers,and prove rigorously the TLCD scheme is uniquely solvable,unconditionally stable,and has second-order convergence in both s-pace and time.Numerical tests verify the theoretical results,and illustrate its superiority over the CN and BDF2 schemes.     

NUMERICAL ANALYSIS OF CRANK-NICOLSON SCHEME FOR THE ALLEN-CAHN EQUATION

We consider numerical methods to solve the Allen-Cahn equation using the second-order Crank-Nicolson scheme in time and the second-order central difference approach in space.The existence of the finite difference solution is proved with the help of Browder fixed point theorem.The difference scheme is showed to be unconditionally convergent in L∞ norm by constructing an auxiliary Lipschitz continuous function.Based on this result,it is demonstrated that the difference scheme preserves the maximum principle without any restrictions on spatial step size and temporal step size.The numerical experiments also verify the reliability of the method.     

Two-Grid Finite Element Method with Crank-Nicolson Fully Discrete Scheme for the Time-Dependent Schrödinger Equation

In this paper, we study the Crank-Nicolson Galerkin finite element method and construct a two-grid algorithm for the general two-dimensional time-dependent Schrödinger equation. Firstly, we analyze the superconvergence error estimate of the finite element solution in $H^1$ norm by use of the elliptic projection operator. Secondly, we propose a fully discrete two-grid finite element algorithm with Crank-Nicolson scheme in time. With this method, the solution of the Schrödinger equation on a fine grid is reduced to the solution of original problem on a much coarser grid together with the solution of two Poisson equations on the fine grid. Finally, we also derive error estimates of the two-grid finite element solution with the exact solution in $H^1$ norm. It is shown that the solution of two-grid algorithm can achieve asymptotically optimal accuracy as long as mesh sizes satisfy $H = \mathcal{O}(h^{\frac{1}{2}})$.     

A modified Crank-Nicolson scheme with incremental unknowns for convection dominated diffusion equations

A modified Crank-Nicolson scheme based on one-sided difference approximations is proposed for solving time-dependent convection dominated diffusion equations in two-dimensional space. The modified scheme is consistent and unconditionally stable. A priori L² error estimate for the fully discrete modified scheme is derived. With the use of the incremental unknowns preconditioner at each time step, a comparison among several classical numerical schemes has been made and numerical results confirm stability and efficiency of the modified Crank-Nicolson scheme.     

The Immersed Interface Method for a Nonlinear Chemical Diffusion Equation with Local Sites of Reactions

A diffusion equation with nonlinear localized chemical reactions is considered in this paper. As a result of the reactions, although the equation is parabolic, the derivatives of the solution are discontinuous across the interfaces (local sites of reactions). A second-order accurate immersed interface method is constructed for the diffusion equation involving interfaces. The new method is more accurate than the standard approach and it does not require the interfaces to be grid points. Several experiments that confirm second-order accuracy are presented. The efficiency of the proposed algorithm is also demonstrated for solving blow up problems. The proposed technique could be extended for construction of efficient numerical algorithms on uniform grids for the present equations with moving interfaces [9] but more analysis is required.     

Maximum norm error estimates of efficient difference schemes for second-order wave equations

The three-level explicit scheme is efficient for numerical approximation of the second-order wave equations. By employing a fourth-order accurate scheme to approximate the solution at first time level, it is shown that the discrete solution is conditionally convergent in the maximum norm with the convergence order of two. Since the asymptotic expansion of the difference solution consists of odd powers of the mesh parameters (time step and spacings), an unusual Richardson extrapolation formula is needed in promoting the second-order solution to fourth-order accuracy. Extensions of our technique to the classical ADI scheme also yield the maximum norm error estimate of the discrete solution and its extrapolation. Numerical experiments are presented to support our theoretical results.     

Galerkin-Legendre spectral schemes for nonlinear space fractional Schrödinger equation

In the paper, we first propose a Crank-Nicolson Galerkin-Legendre (CN-GL) spectral scheme for the one-dimensional nonlinear space fractional Schrödinger equation. Convergence with spectral accuracy is proved for the spectral approximation. Further, a Crank-Nicolson ADI Galerkin-Legendre spectral method for the two-dimensional nonlinear space fractional Schrödinger equation is developed. The proposed schemes are shown to be efficient with second-order accuracy in time and spectral accuracy in space which are higher than some recently studied methods. Moreover, some numerical results are demonstrated to justify the theoretical analysis.     

A fourth-order compact ADI method for solving two-dimensional unsteady convection–diffusion problems

In this article, an exponential high-order compact (EHOC) alternating direction implicit (ADI) method, in which the Crank–Nicolson scheme is used for the time discretization and an exponential fourth-order compact difference formula for the steady-state 1D convection–diffusion problem is used for the spatial discretization, is presented for the solution of the unsteady 2D convection–diffusion problems. The method is temporally second-order accurate and spatially fourth order accurate, which requires only a regular five-point 2D stencil similar to that in the standard second-order methods. The resulting EHOC ADI scheme in each ADI solution step corresponds to a strictly diagonally dominant tridiagonal matrix equation which can be inverted by simple tridiagonal Gaussian decomposition and may also be solved by application of the one-dimensional tridiagonal Thomas algorithm with a considerable saving in computing time. The unconditionally stable character of the method was verified by means of the discrete Fourier (or von Neumann) analysis. Numerical examples are given to demonstrate the performance of the method proposed and to compare mostly it with the high order ADI method of Karaa and Zhang and the spatial third-order compact scheme of Note and Tan.     

守恒型扩散方程非线性离散格式的性质分析和快速求解

对于守恒型扩散方程,研究其二阶时间精度非线性全隐有限差分离散格式的性质,证明了其解的存在唯一性.研究了二阶时间精度的Picard-Newton迭代格式,证明了迭代解对原问题真解的二阶时间和空间收敛性,以及对非线性离散解的二次收敛速度,实现了非线性问题的快速求解.本文中方法也适用于一阶时间精度格式的分析,并可推广至对流扩散问题.数值实验验证了二阶时间精度Picard-Newton迭代格式的高精度和高效率.     

Second order unconditionally convergent and energy stable linearized scheme for MHD equations

In this paper, we propose an efficient numerical scheme for magnetohydrodynamics (MHD) equations. This scheme is based on a second order backward difference formula for time derivative terms, extrapolated treatments in linearization for nonlinear terms. Meanwhile, the mixed finite element method is used for spatial discretization. We present that the scheme is unconditionally convergent and energy stable with second order accuracy with respect to time step. The optimal L ² and H ¹ fully discrete error estimates for velocity, magnetic variable and pressure are also demonstrated. A series of numerical tests are carried out to confirm our theoretical results. In addition, the numerical experiments also show the proposed scheme outperforms the other classic second order schemes, such as Crank-Nicolson/Adams-Bashforth scheme, linearized Crank-Nicolson’s scheme and extrapolated Gear’s scheme, in solving high physical parameters MHD problems.     

Solving two-point boundary value problems using combined homotopy perturbation method and Green’s function method

In this paper, an algorithm is proposed for the solution of second-order boundary value problems with two-point boundary conditions. The Green’s function method is applied first to transform the ordinary differential equation into an equivalent integral one, which has already satisfied the boundary conditions. And then, the homotopy perturbation method is used to the resulting equation to construct the numerical solution for such problems. Numerical examples demonstrate the efficiency and reliability of the algorithm developed, it is quite accurate and readily implemented for both linear and nonlinear differential equations with homogeneous and nonhomogeneous boundary conditions. Furthermore, the lower order approximation is of higher accuracy for most cases. Some other extended applications of this algorithm are also exhibited.     

浅水长波近似方程组的拟小波解

以浅水长波近似方程组为例,提出了拟小波方法求解(1 1)维非线性偏微分方程组数值解,该方程用拟小波离散格式离散空间导数,得到关于时间的常微分方程组,用四阶Runge-K utta方法离散时间导数,并将其拟小波解与解析解进行比较和验证.