Multigrid solution of high order discretisation for three-dimensional biharmonic equation with Dirichlet boundary conditions of second kind

In this paper, we propose two compact finite difference approximations for three-dimensional biharmonic equation with Dirichlet boundary conditions of second kind. In these methods there is no need to define special formulas near the boundaries and boundary conditions are incorporated with these techniques. The unknown solution and its second derivatives are carried as unknowns at grid points. We derive second-order and fourth-order approximations on a 27 point compact stencil. Classical iteration methods such as Gauss–Seidel and SOR for solving the linear system arising from the second-order and fourth-order discretisation suffer from slow convergence. In order to overcome this problem we use multigrid method which exhibit grid-independent convergence and solve the linear system of equations in small amount of computer time. The fourth-order finite difference approximations are used to solve several test problems and produce high accurate numerical solutions.     

Verification of Second-Order Sufficient Optimality Conditions for Semilinear Elliptic and Parabolic Control Problems

We study optimal control problems for semilinear parabolic equations subject to control constraints and for semilinear elliptic equations subject to control and state constraints. We quote known second-order sufficient optimality conditions (SSC) from the literature. Both problem classes, the parabolic one with boundary control and the elliptic one with boundary or distributed control, are discretized by a finite difference method. The discrete SSC are stated and numerically verified in all cases providing an indication of optimality where only necessary conditions had been studied before.     

An exponentially fitted special second-order finite difference method for solving singular perturbation problems

An exponentially fitted special second-order finite difference method is presented for solving singularly perturbed two-point boundary value problems with the boundary layer at one end (left or right) point. A fitting factor is introduced in a tri-diagonal finite difference scheme and is obtained from the theory of singular perturbations. Thomas Algorithm is used to solve the system and its stability is investigated. To demonstrate the applicability of the method, we have solved several linear and non-linear problems. From the results, it is observed that the present method approximates the exact solution very well.     

A Fourth-order Tridiagonal Finite Difference Method for General Non-linear Two-point Boundary Value Problems with Mixed Boundary Conditions

We present a new fourth-order finite difference method for thegeneral second-order non-linear differential equation y^N = f(x,y, y') subject to mixed two-point boundary conditions. An interestingfeature of our method is that each discretization of the differentialequation at an interior grid point is based on just three evaluationsof f. We establish, under appropriate conditions, O(h⁴)-convergenceof the finite difference scheme. In the case of linear differentialequations, our finite difference scheme leads to tridiagonallinear systems. Numerical examples are considered to demonstratecomputationally the fourth order of the method.     

Finite difference discretization of the Kuramoto-Sivashinsky equation

Summary We analyze a Crank-Nicolson-type finite difference scheme for the Kuramoto-Sivashinsky equation in one space dimension with periodic boundary conditions. We discuss linearizations of the scheme and derive second-order error estimates.Work supported by the Institute of Applied and Computational Mathematics of the Research Center of Crete-FORTH     

An Analogue-difference Method and Application to Induction Motor Models

The paper established a so-called analogue-difference method (ADM) to compute the numerical solutions for boundary value problems of higher-order differential equations, which can be a fundamental method and performs much better than the finite difference method (FDM), even for second-order boundary value problems. Numerical examples and results illustrate the simplicity, efficiency and applicability of the method, which also show that the proposed method has obvious advantages over the methods presented by recent state-of-the-art work for induction motor models.     

DOMAIN DECOMPOSITION PRECONDITIONERS FOR SECOND-ORDER HYPERBOLIC EQUATIONS ON L-SHAPED REGIONS

Linear systems arising from implicit time discretizations and finite difference space discretizations of second-order hyperbolic equations on L-shaped region are considered. We analyse the use of domain deocmposilion preconditioner.s for the solution of linear systems via the preconditioned conjugate gradient method. For the constant-coefficient second-order hyperbolic equaions with initial and Dirichlet boundary conditions,we prove that the conditionnumber of the preconditioned interface system is bounded by 2+x2 2+0.46x2 where x is the quo-tient between the lime and space steps. Such condition number produces a convergence rale that is independent of gridsize and aspect ratios. The results could be extended to parabolic equations.     

Nonlinear fourth-order elliptic equations with nonlocal boundary conditions

This paper is concerned with a class of fourth-order nonlinear elliptic equations with nonlocal boundary conditions, including a multi-point boundary condition in a bounded domain of Rn. Also considered is a second-order elliptic equation with nonlocal boundary condition, and the usual multi-point boundary problem in ordinary differential equations. The aim of the paper is to show the existence of maximal and minimal solutions, the uniqueness of a positive solution, and the method of construction for these solutions. Our approach to the above problems is by the method of upper and lower solutions and its associated monotone iterations. The monotone iterative schemes can be developed into computational algorithms for numerical solutions of the problem by either the finite difference method or the finite element method.     

The Conservation and Convergence of Two Finite Difference Schemes for KdV Equations with Initial and Boundary Value Conditions

Korteweg-de Vries equation is a nonlinear evolutionary partial differential equation that is of third order in space. For the approximation to this equation with the initial and boundary value conditions using the finite difference method, the difficulty is how to construct matched finite difference schemes at all the inner grid points. In this paper, two finite difference schemes are constructed for the problem. The accuracy is second-order in time and first-order in space. The first scheme is a two-level nonlinear implicit finite difference scheme and the second one is a three-level linearized finite difference scheme. The Browder fixed point theorem is used to prove the existence of the nonlinear implicit finite difference scheme. The conservation, boundedness, stability, convergence of these schemes are discussed and analyzed by the energy method together with other techniques. The two-level nonlinear finite difference scheme is proved to be unconditionally convergent and the three-level linearized one is proved to be conditionally convergent. Some numerical examples illustrate the efficiency of the proposed finite difference schemes.     

Superconvergence of Solution Derivatives of the Shortley–Weller Difference Approximation to Elliptic Equations with Singularities Involving the Mixed Type of Boundary Conditions

This paper presents a superconvergence analysis for the Shortley–Weller finite difference approximation of second-order self-adjoint elliptic equations with unbounded derivatives on a polygonal domain with the mixed type of boundary conditions. In this analysis, we first formulate the method as a special finite element/volume method. We then analyze the convergence of the method in a finite element framework. An O(h ^1.5)-order superconvergence of the solution derivatives in a discrete H ¹ norm is obtained. Finally, numerical experiments are provided to support the theoretical convergence rate obtained.     

求解对流扩散反应方程的四阶混合紧致差分方法

针对一维对流扩散反应方程,基于对流扩散方程的四阶指数型紧致差分格式,以及一阶导数的四阶Padé公式,发展了一种高效求解对流扩散反应方程的混合型四阶紧致差分格式.数值实验结果验证了格式对于边界层问题或大雷诺数或大Pelect数的大梯度问题的求解的高精度和鲁棒性的优点.     

On exact and approximate boundary controllabilities for the heat equation: A numerical approach

The present article is concerned with the numerical implementation of the Hilbert uniqueness method for solving exact and approximate boundary controllability problems for the heat equation. Using convex duality, we reduce the solution of the boundary control problems to the solution of identification problems for the initial data of an adjoint heat equation. To solve these identification problems, we use a combination of finite difference methods for the time discretization, finite element methods for the space discretization, and of conjugate gradient and operator splitting methods for the iterative solution of the discrete control problems. We apply then the above methodology to the solution of exact and approximate boundary controllability test problems in two space dimensions. The numerical results validate the methods discussed in this article and clearly show the computational advantage of using second-order accurate time discretization methods to approximate the control problems.     

Finite Difference Method for Reaction-Diffusion Equation with Nonlocal Boundary Conditions

In this paper, we present a numerical approach to a class of nonlinear reaction-diffusion equations with nonlocal Robin type boundary conditions by finite difference methods. A second-order accurate difference scheme is derived by the method of reduction of order. Moreover, we prove that the scheme is uniquely solvable and convergent with the convergence rate of order two in a discrete L2-norm. A simple numerical example is given to illustrate the efficiency of the proposed method.     

Finite Difference Method for Reaction-Diffusion Nonlocal Boundary Conditions Equation with

In this paper, we present a numerical approach to a class of nonlinear reactiondiffusion equations with nonlocal Robin type boundary conditions by finite difference methods. A second-order accurate difference scheme is derived by the method of reduction of order. Moreover, we prove that the scheme is uniquely solvable and convergent with the convergence rate of order two in a discrete L2-norm. A simple numerical example is given to illustrate the efficiency of the proposed method.     

New intergrid transfer operator in multigrid method for P1-nonconforming finite element method

For a second-order elliptic boundary value problem, We develop an intergrid transfer operator in multigrid method for the P₁-nonconforming finite element method. This intergrid transfer operator needs smaller computation than previous intergrid transfer operators. Multigrid method with this operator converges well.     

Compact difference scheme for two-dimensional fourth-order nonlinear hyperbolic equation

High-order compact finite difference method for solving the two-dimensional fourth-order nonlinear hyperbolic equation is considered in this article. In order to design an implicit compact finite difference scheme, the fourth-order equation is written as a system of two second-order equations by introducing the second-order spatial derivative as a new variable. The second-order spatial derivatives are approximated by the compact finite difference operators to obtain a fourth-order convergence. As well as, the second-order time derivative is approximated by the central difference method. Then, existence and uniqueness of numerical solution is given. The stability and convergence of the compact finite difference scheme are proved by the energy method. Numerical results are provided to verify the accuracy and efficiency of this scheme.     

A Priori and a Posteriori Error Analysis of a Wavelet-Based Stabilization for the Mixed Finite Element Method

We use Galerkin least-squares terms and biorthogonal wavelet bases to develop a new stabilized dual-mixed finite element method for second-order elliptic equations in divergence form with Neumann boundary conditions. The approach introduces the trace of the solution on the boundary as a new unknown that acts also as a Lagrange multiplier. We show that the resulting stabilized dual-mixed variational formulation and the associated discrete scheme defined with Raviart–Thomas spaces are well-posed and derive the usual a priori error estimates and the corresponding rate of convergence. Furthermore, a reliable and efficient residual-based a posteriori error estimator and a reliable and quasi-efficient one are provided.     

On the stability and the attraction domain of the stationary solution of a singularly perturbed parabolic equation with a multiple root of the degenerate equation

We construct and justify the asymptotics of a boundary layer solution of a boundary value problem for a singularly perturbed second-order ordinary differential equation for the case in which the degenerate (finite) equation has an identically double root. A specific feature of the asymptotics is the presence of a three-zone boundary layer. The solution of the boundary value problem is a stationary solution of the corresponding parabolic equation. We prove the asymptotic stability of this solution and find its attraction domain.     

Supraconvergence and Supercloseness of a Scheme for Elliptic Equations on Nonuniform Grids

In this paper, we study the convergence of a finite difference scheme on nonuniform grids for the solution of second-order elliptic equations with mixed derivatives and variable coefficients in polygonal domains subjected to Dirichlet boundary conditions. We show that the scheme is equivalent to a fully discrete linear finite element approximation with quadrature. It exhibits the phenomenon of supraconvergence, more precisely, for s ∈ [1,2] order O(h ^s )-convergence of the finite difference solution, and its gradient is shown if the exact solution is in the Sobolev space H ^1+s (Ω). In the case of an equation with mixed derivatives in a domain containing oblique boundary sections, the convergence order is reduced to O(h ^3/2?ε) with ε > 0 if u ∈ H ³(Ω). The second-order accuracy of the finite difference gradient is in the finite element context nothing else than the supercloseness of the gradient. For s ∈ {1,2}, the given error estimates are strictly local.     

A numerical method for a system of equations with a small parameter and a point source on an infinite interval

A method for solving a boundary-value problem on an infinite interval is considered for a linear system of second-order ordinary differential equations with a small parameter at the highest derivatives and a point source. The question is addressed of reduction of this problem to a finite interval. A mesh, condensing in the boundary layer, is used for numerical solution of a system of singularly perturbed equations on a finite interval.