Stability of the Crank–Nicolson–Adams–Bashforth scheme for the 2D Leray‐alpha model

We consider the stability of an efficient Crank–Nicolson–Adams–Bashforth method in time, finite element in space, discretization of the Leray‐α model. We prove finite‐time stability of the scheme in L², H¹, and H², as well as the long‐time L‐stability of the scheme under a Courant‐Freidrichs‐Lewy (CFL)‐type condition. Numerical experiments are given that are in agreement with the theoretical results. © 2015 Wiley Periodicals, Inc. Numer Methods Partial Differential Eq 32: 1155–1183, 2016     

A Crank‐Nicolson Petrov‐Galerkin method with quadrature for semi‐linear parabolic problems

We propose and analyze an application of a fully discrete C² spline quadrature Petrov‐Galerkin method for spatial discretization of semi‐linear parabolic initial‐boundary value problems on rectangular domains. We prove second order in time and optimal order H¹ norm convergence in space for the extrapolated Crank‐Nicolson quadrature Petrov‐Galerkin scheme. We demonstrate numerically both L² and H¹ norm optimal order convergence of the scheme even if the nonlinear source term is not smooth. © 2005 Wiley Periodicals, Inc. Numer Methods Partial Differential Eq, 2005.     

The stability and convergence of two linearized finite difference schemes for the nonlinear epitaxial growth model

The numerical simulation of the dynamics of the molecular beam epitaxy (MBE) growth is considered in this article. The governing equation is a nonlinear evolutionary equation that is of linear fourth order derivative term and nonlinear second order derivative term in space. The main purpose of this work is to construct and analyze two linearized finite difference schemes for solving the MBE model. The linearized backward Euler difference scheme and the linearized Crank‐Nicolson difference scheme are derived. The unique solvability, unconditional stability and convergence are proved. The linearized Euler scheme is convergent with the convergence order of O(τ + h²) and linearized Crank‐Nicolson scheme is convergent with the convergence order of O(τ² + h²) in discrete L²‐norm, respectively. Numerical stability with respect to the initial conditions is also obtained for both schemes. Numerical experiments are carried out to demonstrate the theoretical analysis. © 2011 Wiley Periodicals, Inc. Numer Methods Partial Differential Eq, 2011     

Analysis and computational method based on quadratic B‐spline FEM for the Rosenau–Burgers equation

L_∞‐error estimates for B‐spline Galerkin finite element solution of the Rosenau–Burgers equation are considered. The semidiscrete B‐spline Galerkin scheme is studied using appropriate projections. For fully discrete B‐spline Galerkin scheme, we consider the Crank–Nicolson method and analyze the corresponding error estimates in time. Numerical experiments are given to demonstrate validity and order of accuracy of the proposed method. © 2015 Wiley Periodicals, Inc. Numer Methods Partial Differential Eq 32: 877–895, 2016     

Stability and convergence of two‐grid Crank‐Nicolson extrapolation scheme for the time‐dependent natural convection equations

In this paper, we consider the Crank‐Nicolson extrapolation scheme for the 2D/3D unsteady natural convection problem. Our numerical scheme includes the implicit Crank‐Nicolson scheme for linear terms and the recursive linear method for nonlinear terms. Standard Galerkin finite element method is used to approximate the spatial discretization. Stability and optimal error estimates are provided for the numerical solutions. Furthermore, a fully discrete two‐grid Crank‐Nicolson extrapolation scheme is developed, the corresponding stability and convergence results are derived for the approximate solutions. Comparison from aspects of the theoretical results and computational efficiency, the two‐grid Crank‐Nicolson extrapolation scheme has the same order as the one grid method for velocity and temperature in H¹‐norm and for pressure in L²‐norm. However, the two‐grid scheme involves much less work than one grid method. Finally, some numerical examples are provided to verify the established theoretical results and illustrate the performances of the developed numerical schemes.     

Finite difference discretization of the Benjamin‐Bona‐Mahony‐Burgers equation

Numerical solutions of the Benjamin‐Bona‐Mahony‐Burgers equation in one space dimension are considered using Crank‐Nicolson‐type finite difference method. Existence of solutions is shown by using the Brower's fixed point theorem. The stability and uniqueness of the corresponding methods are proved by the means of the discrete energy method. The convergence in L^∞‐norm of the difference solution is obtained. A conservative difference scheme is presented for the Benjamin‐Bona‐Mahony equation. Some numerical experiments have been conducted in order to validate the theoretical results.© 2007 Wiley Periodicals, Inc. Numer Methods Partial Differential Eq, 2007     

A Priori Error Estimates of Crank–Nicolson Finite Volume Element Method for a Hyperbolic Optimal Control Problem

In this article, a Crank–Nicolson linear finite volume element scheme is developed to solve a hyperbolic optimal control problem. We use the variational discretization technique for the approximation of the control variable. The optimal convergent order O(h² + k²) is proved for the numerical solution of the control, state and adjoint‐state in a discrete L²‐norm. To derive this result, we also get the error estimate (convergent order O(h² + k²)) of Crank–Nicolson finite volume element approximation for the second‐order hyperbolic initial boundary value problem. Numerical experiments are presented to verify the theoretical results.© 2016 Wiley Periodicals, Inc. Numer Methods Partial Differential Eq 32: 1331–1356, 2016     

Increasing accuracy and efficiency in FE computations of the Leray‐Deconvolution model

This article develops, analyzes, and tests a finite element method for approximating solutions to the Leray‐deconvolution regularization of the Navier‐Stokes equations. The scheme combines three ideas to create an accurate and effective algorithm: the use of an incompressible filter, a linearization that decouples the velocity‐pressure system from the filtering and deconvolution operations, and a stabilization that works well with the linearization. A rigorous and complete numerical analysis of the scheme is given, and numerical experiments are presented that show clear advantages of the scheme. © 2010 Wiley Periodicals, Inc. Numer Methods Partial Differential Eq 28: 720–736, 2012     

Conservation laws of turbulence models

The conservation of mass, momentum, energy, helicity, and enstrophy in fluid flow are important because these quantities organize a flow, and characterize change in the flow's structure over time. In turbulent flow, conservation laws remain important in the inertial range of wave numbers, where viscous effects are negligible. It is in the inertial range where energy, helicity (3d), and enstrophy (2d) must be accurately cascaded for a turbulence model to be qualitatively correct. A first and necessary step for an accurate cascade is conservation; however, many turbulent flow simulations are based on turbulence models whose conservation properties are little explored and might be very different from those of the Navier-Stokes equations.We explore conservation laws and approximate conservation laws satisfied by LES turbulence models. For the Leray, Leray deconvolution, Bardina, and Nth order deconvolution models, we give exact or approximate laws for a model mass, momentum, energy, enstrophy and helicity. The possibility of cascades for model quantities is also discussed.     

Stabilized multiphysics finite element method with Crank–Nicolson scheme for a poroelasticity model

In the paper, we propose a stabilized multiphysics finite element method with Crank–Nicolson scheme for a poroelasticity model. The method can eliminate the locking phenomenon and reveal the multi‐physical process. The lowest equal order finite element pair is used to reduce the computational cost. Furthermore, the method needs no constraint condition Δt = O(h²) and achieves optimal convergent order. Numerical tests are provided to illustrate the optimal accuracy and good performance in eliminating locking phenomenon of the method.     

Uncoupling evolutionary groundwater‐surface water flows using the Crank–Nicolson Leapfrog method

Consider an incompressible fluid in a region Ω_f flowing both ways across an interface into a porous media domain Ω_p saturated with the same fluid. The physical processes in each domain have been well studied and are described by the Stokes equations in the fluid region and the Darcy equations in the porous media region. Taking the interfacial conditions into account produces a system with an exactly skew symmetric coupling. Spatial discretization by finite element method and time discretization by Crank–Nicolson LeapFrog give a second‐order partitioned method requiring only one Stokes and one Darcy subphysics and subdomain solver per time step for the fully evolutionary Stokes‐Darcy problem. Analysis of this method leads to a time step condition sufficient for stability and convergence. Numerical tests verify predicted rates of convergence; however, stability tests reveal the problem of growth of numerical noise in unstable modes in some cases. In such instances, the addition of time filters adds stability. © 2012 Wiley Periodicals, Inc. Numer Methods Partial Differential Eq, 2013     

An ETD Crank‐Nicolson method for reaction‐diffusion systems

A novel Exponential Time Differencing Crank‐Nicolson method is developed which is stable, second‐order convergent, and highly efficient. We prove stability and convergence for semilinear parabolic problems with smooth data. In the nonsmooth data case, we employ a positivity‐preserving initial damping scheme to recover the full rate of convergence. Numerical experiments are presented for a wide variety of examples, including chemotaxis and exotic options with transaction cost. © 2011Wiley Periodicals, Inc. Numer Methods Partial Differential Eq, 2012     

A second‐order finite difference method for fractional diffusion equation with Dirichlet and fractional boundary conditions

In this paper, we develop a practical numerical method to approximate a fractional diffusion equation with Dirichlet and fractional boundary conditions. An approach based on the classical Crank–Nicolson method combined with spatial extrapolation is used to obtain temporally and spatially second‐order accurate numerical estimates. The solvability, stability, and convergence of the proposed numerical scheme are proved via the Gershgorin theorem. Numerical experiments are performed to confirm the accuracy and efficiency of our scheme.     

On the stability at all times of linearly extrapolated BDF2 timestepping for multiphysics incompressible flow problems

We prove long‐time stability of linearly extrapolated BDF2 (BDF2LE) timestepping methods, together with finite element spatial discretizations, for incompressible Navier‐Stokes equations (NSE) and related multiphysics problems. For the NSE, Boussinesq, and magnetohydrodynamics schemes, we prove unconditional long time L² stability, provided external forces (and sources) are uniformly bounded in time. We also provide numerical experiments to compare stability of BDF2LE to linearly extrapolated Crank‐Nicolson scheme for NSE, and find that BDF2LE has better stability properties, particularly for smaller viscosity values. © 2016 Wiley Periodicals, Inc. Numer Methods Partial Differential Eq 33: 999–1017, 2017     

High‐order numerical methods for one‐dimensional parabolic singularly perturbed problems with regular layers

In this work we construct and analyze some finite difference schemes used to solve a class of time‐dependent one‐dimensional convection‐diffusion problems, which present only regular layers in their solution. We use the implicit Euler or the Crank‐Nicolson method to discretize the time variable and a HODIE finite difference scheme, defined on a piecewise uniform Shishkin mesh, to discretize the spatial variable. In both cases we prove that the numerical method is uniformly convergent with respect to the diffusion parameter, having order near two in space and order one or 3/2, depending on the method used, in time. We show some numerical examples which illustrate the theoretical results, in the case of using the Euler implicit method, and give better numerical behaviour than that predicted theoretically, showing order two in time and order N^?2log²N in space, if the Crank‐Nicolson scheme is used to discretize the time variable. Finally, we construct a numerical algorithm by combining a third order A‐stable SDIRK with two stages and a third‐order HODIE difference scheme, showing its uniformly convergent behavior, reaching order three, up to a logarithmic factor. © 2004 Wiley Periodicals, Inc. Numer Methods Partial Differential Eq, 2005     

A family of new, high order NS-α models arising from helicity correction in Leray turbulence models

This report gives a reinterpretation of the NS-α model which leads to a family of high order NS-α-deconvolution models with NS-α as the zeroth order case. First, we show that the Navier-Stokes-α model arises by adding helicity correction to Leray-α model. Higher order Leray models have recently been proposed in [W. Layton, R. Lewandowski, A high accuracy Leray-deconvolution model of turbulence and its limiting behavior, Anal. Appl. 6 (1) (2008); W. Layton, C. Manica, M. Neda, L. Rebholz, Numerical analysis and computational testing of a high-accuracy Leray-deconvolution model of turbulence, Numer. Methods Partial Differential Equations, in press]: the so-called Leray-deconvolution models, that employ van Cittert approximate deconvolution to decrease consistency error. We use an analogous helicity correction idea to develop a family of higher order accurate NS-α type models, the NS-α-deconvolution models. We prove several mathematical and physical properties for this new family of models and discuss the design of efficient algorithms for them.     

The theta‐Galerkin finite element method for coupled systems resulting from microsensor thermistor problems

This paper is devoted to the analysis of a linearized theta‐Galerkin finite element method for the time‐dependent coupled systems resulting from microsensor thermistor problems. Hereby, we focus on time discretization based on θ‐time stepping scheme with including the standard Crank‐Nicolson ( ) and the shifted Crank‐Nicolson ( , where δ is the time‐step) schemes. The semidiscrete formulation in space is presented and optimal error bounds in L²‐norm and the energy norm are established. For the fully discrete system, the optimal error estimates are derived for the standard Crank‐Nicolson, the shifted Crank‐Nicolson, and the general case where with k=0,1 . Finally, numerical simulations that validate the theoretical findings are exhibited.     

The Crank‐Nicolson/Adams‐Bashforth scheme for the time‐dependent Navier‐Stokes equations with nonsmooth initial data

In this article, we study the stability and convergence of the Crank‐Nicolson/Adams‐Bashforth scheme for the two‐dimensional nonstationary Navier‐Stokes equations with a nonsmooth initial data. A finite element method is applied for the spatial approximation of the velocity and pressure. The time discretization is based on the implicit Crank‐Nicolson scheme for the linear terms and the explicit Adams‐Bashforth scheme for the nonlinear term. Moreover, we prove that the scheme is almost unconditionally stable for a nonsmooth initial data u₀ with div u₀ = 0, i.e., the time step τ satisfies: τ ≤ C₀ if u₀ ∈ H¹ ∩ L^∞; τ |log h| ≤ C₀ if u₀ ∈ H¹ for the mesh size h and some positive constant C₀. Finally, we obtain some error estimates for the discrete velocity and pressure under the above stability condition. © 2010 Wiley Periodicals, Inc. Numer Methods Partial Differential Eq, 28: 155‐187, 2012     

A modified Chebyshev ϑ‐weighted Crank–Nicolson method for analyzing fractional sub‐diffusion equations

This study presents a robust modification of Chebyshev ? ‐weighted Crank–Nicolson method for analyzing the sub‐diffusion equations in the Caputo fractional sense. In order to solve the problem, by discretization of the sub‐fractional diffusion equations using Taylor's expansion a linear system of algebraic equations that can be analyzed by numerical methods is presented. Furthermore, consistency, convergence, and stability analysis of the suggested method are discussed. In this framework, compact structures of sub‐diffusion equations are considered as prototype examples. The main advantage of the proposed method is that, it is more efficient in terms of CPU time, computational cost and accuracy in comparing with the existing ones in open literature.     

A Petrov‐Galerkin method with quadrature for semi‐linear second‐order hyperbolic problems

We propose and analyze a Crank–Nicolson quadrature Petrov–Galerkin (CNQPG) ‐spline method for solving semi‐linear second‐order hyperbolic initial‐boundary value problems. We prove second‐order convergence in time and optimal order H² norm convergence in space for the CNQPG scheme that requires only linear algebraic solvers. We demonstrate numerically optimal order H^k, k = 0,1,2, norm convergence of the scheme for some test problems with smooth and nonsmooth nonlinearities. © 2006 Wiley Periodicals, Inc. Numer Methods Partial Differential Eq, 2006