Nonlinear Poisson-Boltzmann equation in a model of a scanning tunneling microscope

The nonlinear Poisson-Boltzmann equation is solved in the region between a sphere and a plane, which models the electrolyte solution interface between the tip and the substrate in a scanning tunneling microscope. A finite difference method is used with the domain transformed into bispherical coordinates. Picard iteration with relaxation is used to achieve convergence for this highly nonlinear problem. An adsorbed molecule on the substrate can also be modelled by a superposition of a perturbing potential in a small region of the plane. An approximate analytical solution using a superposition of individual solutions for plane, the adsorbed molecule, and the sphere is also attempted. Results for cases of different potential values on the boundary surfaces and different distances of the sphere from the plane are presented. The results of the numerical method, the approximate analytical method, as well as the previous solutions of the linearized equation are compared. © 1994 John Wiley & Sons, Inc.     

On an efficient splitting‐based method for solving the diffusion equation on a sphere

A novel numerical approach for solving the diffusion problem on a sphere is suggested. By using operator splitting, we develop a new method that allows constructing finite difference schemes of the second and fourth approximation orders in the spatial variables. Both schemes properly ensure the balance of mass and the energy dissipation in the L₂ ‐norm. The schemes are very cheap from the computational standpoint. Numerical results demonstrate the skillfulness of the approach in describing the diffusion dynamics on a sphere. It is shown the method can directly be extended to nonlinear diffusion problems.© 2010 Wiley Periodicals, Inc. Numer Methods Partial Differential Eq 28: 331–352, 2012     

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.     

微分本构粘弹性轴向运动弦线横向振动分析的差分法

给出了微分本构粘弹性轴向运动弦线横向振动数值仿真的一种差分法．文中建立了具有微分本构的粘弹性运动弦线的横向振动模型;通过对系统的控制方程和本构方程在不同的分数节点离散,得到一种新的差分方法．利用这一方法,弦线振动方程的数值计算过程可以交替地显式进行,且有较小的截断误差和好的数值稳定性．与通用的方法比较,新的方法计算简单、方便．文中利用方程的不变量检验了数值结果的可靠性,并利用这一方法给出了一类弦线模型的参数振动分析．     

A Conservative Formulation and a Numerical Algorithm for the Double-Gyre Nonlinear Shallow-Water Model

We present a conservative formulation and a numerical algorithm for the reduced-gravity shallow-water equations on a beta plane, subjected to a constant wind forcing that leads to the formation of double-gyre circulation in a closed ocean basin. The novelty of the paper is that we reformulate the governing equations into a nonlinear hyperbolic conservation law plus source terms. A second-order fractional-step algorithm is used to solve the reformulated equations. In the first step of the fractional-step algorithm, we solve the homogeneous hyperbolic shallow-water equations by the wave-propagation finite volume method. The resulting intermediate solution is then used as the initial condition for the initial-boundary value problem in the second step. As a result, the proposed method is not sensitive to the choice of viscosity and gives high-resolution results for coarse grids, as long as the Rossby deformation radius is resolved. We discuss the boundary conditions in each step, when no-slip boundary conditions are imposed to the problem. We validate the algorithm by a periodic flow on an $f$-plane with exact solutions. The order-of-accuracy for the proposed algorithm is tested numerically. We illustrate a quasi-steady-state solution of the double-gyre model via the height anomaly and the contour of stream function for the formation of double-gyre circulation in a closed basin. Our calculations are highly consistent with the results reported in the literature. Finally, we present an application, in which the double-gyre model is coupled with the advection equation for modeling transport of a pollutant in a closed ocean basin.     

Nonlinear scheme with high accuracy for nonlinear coupled parabolic-hyperbolic system

A nonlinear finite difference scheme with high accuracy is studied for a class of two-dimensional nonlinear coupled parabolic-hyperbolic system. Rigorous theoretical analysis is made for the stability and convergence properties of the scheme, which shows it is unconditionally stable and convergent with second order rate for both spatial and temporal variables. In the argument of theoretical results, difficulties arising from the nonlinearity and coupling between parabolic and hyperbolic equations are overcome, by an ingenious use of the method of energy estimation and inductive hypothesis reasoning. The reasoning method here differs from those used for linear implicit schemes, and can be widely applied to the studies of stability and convergence for a variety of nonlinear schemes for nonlinear PDE problems. Numerical tests verify the results of the theoretical analysis. Particularly it is shown that the scheme is more accurate and faster than a previous two-level nonlinear scheme with first order temporal accuracy.     

Exact finite-difference methods based on nonlinear means

The necessary and sufficient condition for an autonomous, ordinary differential equation to be exactly solved by a given Evans-Sanugi, nonlinear, one-step, finite difference method based on ‘classical means’ are derived. A necessary, but not sufficient, condition yields the most general nonlinearity for the differential equation which is independent of the step size. Examples of differential equations for which either nonlinear trapezoidal or nonlinear implicit midpoint methods based on arithmetic, harmonic, contraharmonic, quadratic, geometric, Heronian, centroidal and logarithmic means are exact, are presented. These new exact difference schemes may be useful in future developments of new Denk-Bulirsch, Le-Roux or Kojouhavov-Chen schemes for nonlinear evolution equations with or without blow-up.     

Difference methods for computing the Ginzburg‐Landau equation in two dimensions

In this article, three difference schemes of the Ginzburg‐Landau Equation in two dimensions are presented. In the three schemes, the nonlinear term is discretized such that nonlinear iteration is not needed in computation. The plane wave solution of the equation is studied and the truncation errors of the three schemes are obtained. The three schemes are unconditionally stable. The stability of the two difference schemes is proved by induction method and the time‐splitting method is analysized by linearized analysis. The algebraic multigrid method is used to solve the three large linear systems of the schemes. At last, we compute the plane wave solution and some dynamics of the equation. The numerical results demonstrate that our schemes are reliable and efficient. © 2009 Wiley Periodicals, Inc. Numer Methods Partial Differential Eq 27: 507–528, 2011py; 2009 Wiley Periodicals, Inc. Numer Methods Partial Differential Eq 27: 507–528, 2011     

Nonstandard finite difference schemes for reaction‐diffusion equations

We construct finite difference schemes for a particular class of one‐space dimension, nonlinear reaction‐diffusion PDEs. The use of nonstandard finite difference methods and the imposition of a positivity condition constrain the schemes to be explicit and allow the determination of functional relations between the space and time step‐sizes. The general procedure is illustrated by applying it to several important model systems of PDEs © 1999 John Wiley & Sons, Inc. Numer Methods Partial Differential Eq 15: 201–214, 1999     

求解带非线性边界条件的反应扩散方程数值解的组合迭代方法

1　引　　言我们首先考虑如下抛物型方程ｕｔ-ＤΔｕ =ｆ(ｘ ,ｔ ,ｕ) (ｔ∈ ( 0 ,Ｔ],ｘ∈Ω ) ｕ/ ν+ βｕ =ｇ(ｘ ,ｔ ,ｕ) (ｔ∈ ( 0 ,Ｔ],ｘ∈ Ω )ｕ(ｘ ,0 ) =ψ(ｘ) (ｘ∈Ω )( 1 .1 )其中Ｔ为正常数 ,Ω 是ＲＰ 空间的有界区域 记ＱＴ=Ω × ( 0 ,Ｔ],ＳＴ= Ω × ( 0 ,Ｔ],假设在ＱＴ上Ｄ≡ｄ(ｘ ,ｔ) >0 ,在ＳＴ 上β≡β(ｘ ,ｔ)≥ 0 又设 ｆ(ｘ ,ｔ,ｕ) ,ｇ(ｘ ,ｔ,ｕ)为关于ｕ的非线性函数 ,且对ｘ ,ｔ各参数满足Ｈ¨ｏｌｄｅｒ连续条件 将 ( 1 .1 )离散化之后我们得到相应的有限差分系统 ,当 ｇ(ｘ ,ｔ,ｕ)为ｕ的线性…     

Generalization of a Relaxation Scheme for Systems of Forced Nonlinear Hyperbolic Conservation Laws with Spatially Dependent Flux Functions

A generalization of a finite difference method for calculating numerical solutions to systems of nonlinear hyperbolic conservation laws in one spatial variable is investigated. A previously developed numerical technique called the relaxation method is modified from its initial application to solve initial value problems for systems of nonlinear hyperbolic conservation laws. The relaxation method is generalized in three ways herein to include problems involving any combination of the following factors: systems of nonlinear hyperbolic conservation laws with spatially dependent flux functions, nonzero forcing terms, and correctly posed boundary values. An initial value problem for the forced inviscid Burgers' equation is used as an example to show excellent agreement between theoretical solutions and numerical calculations. An initial boundary value problem consisting of a system of four partial differential equations based on the two-layer shallow-water equations is solved numerically to display a more general applicability of the method than was previously known.     

The unconditional stable and convergent difference methods with intrinsic parallelism for quasilinear parabolic systems

A kind of the general finite difference schemes with intrinsic parallelism forthe boundary value problem of the quasilinear parabolic system is studied without assum-ing heuristically that the original boundary value problem has the unique smooth vectorsolution. By the method of a priori estimation of the discrete solutions of the nonlineardifference systems, and the interpolation formulas of the various norms of the discretefunctions and the fixed-point technique in finite dimensional Euclidean space, the exis-tence and uniqueness of the discrete vector solutions of the nonlinear difference systemwith intrinsic parallelism are proved. Moreover the unconditional stability of the generalfinite difference schemes with intrinsic parallelism is justified in the sense of the continu-ous dependence of the discrete vector solution of the difference schemes on the discretedata of the original problems in the discrete w_2~(2,1) norms. Finally the convergence of thediscrete vector solutions of the certain differe     

THE UNCONDITIONAL CONVERGENT DIFFERENCE METHODS WITH INTRINSIC PARALLELISM FOR QUASILINEAR PARABOLIC SYSTEMS WITH TWO DIMENSIONS

In the present work we are going to solve the boundary value problem for the quasilinear parabolic systems of partial differential equations with two space dimensions by the finite difference method with intrinsic parallelism.Some fundamental behaviors of general finite difference schemes with intrinsic parallelism for the mentioned problems are studied.By the method of a priori estimation of the discrete solutions of the nonlinear difference systems,and the interpolation formulas of the various norms of the discrete functions and the fixed-point technique in finite dimensional Euclidean space,the existennce of the discrete vector solutions of the nonliear difference system with intrinsic parallelism are proved .Moreover the convergence of the discrete vector solutions of these difference schemes to the unique generalizd solution of the original quasilinear parabolic problem is proved.     

IIM-based ADI finite difference scheme for nonlinear convection–diffusion equations with interfaces

Based on Li’s immersed interface method (IIM), an ADI-type finite difference scheme is proposed for solving two-dimensional nonlinear convection–diffusion interface problems on a fixed cartesian grid, which is unconditionally stable and converges with two-order accuracy in both time and space in maximum norm. Correction terms are added to the right-hand side of standard ADI scheme at irregular points. The nonlinear convection terms are treated by Adams–Bashforth method, without affecting the stability of difference schemes. A new method for computing the correction terms is developed, in which the Adams–Bashforth method is employed. Thus we can get an explicit approximation for the computation of corrections, when the jump condition is solution-dependent. Three numerical experiments are displayed and analyzed. The numerical results show good agreement with the exact solutions and confirm the convergence order.     

A numerical approach for a model of the precancer lesions caused by the human papillomavirus

We develop two numerical methods to approximate the solutions of a pioneer model of the lesions at the cervical cells caused by the human papillomavirus. Such model is given by a nonlinear advection–diffusion-reaction partial differential equation and the goal of the schemes is to analyze the behaviour of the evolution of infected cells. The developed schemes consist of two explicit non standard finite differences numerical schemes which satisfy positivity conditions. They are based on the subequation method in the context of the non standard scheme methodology. Our approach provides an alternative method to the early diagnosis of the disease and may open up new lines of research.     

General difference schemes with intrinsic parallelism for nonlinear parabolic systems

The boundary value problem for nonlinear parabolic system is solved by the finite difference method with intrinsic parallelism. The existence of the discrete vector solution for the general finite difference schemes with intrinsic parallelism is proved by the fixed-point technique in finite-dimensional Euclidean space. The convergence and stability theorems of the discrete vector solutions of the nonlinear difference system with intrinsic parallelism are proved. The limitation vector function is just the unique generalized solution of the original problem for the parabolic system.     

A FINITE DIFFERENCE SCHEME FOR SOLVING THE NONLINEAR POISSON-BOLTZMANN EQUATION MODELING CHARGED SPHERES

In this work, we propose an efficient numerical method for computing the electrostaticinteraction between two like-charged spherical particles which is governed by the nonlinearPoisson-Boltzmann equation. The nonlinear problem is solved by a monotone iterativemethod which leads to a sequence of linearized equations. A modified central finite differ-ence scheme is developed to solve the linearized equations on an exterior irregular domainusing a uniform Cartesian grid. With uniform grids, the method is simple, and as aconsequence, multigrid solvers can be employed to speed up the convergence. Numericalexperiments on cases with two isolated spheres and two spheres confined in a chargedcylindrical pore are carried out using the proposed method. Our numerical schemes arefound efficient and the numerical results are found in good agreement with the previouspublished results.     

高阶非线性波动方程的有限差分方法

本文研究一类广泛的高阶非线性波动方程组初边值问题的有限差分格式，用离散泛函分析方法和先验估计的技巧得到了有限差分格式的收敛性。     

Convergence of Extrapolated BDF2 Finite Element Schemes for Unsteady Penetrative Convection Model

Extrapolated two-step backward difference (BDF2) in time and finite element in space discretization for the unsteady penetrative convection model is analyzed. Penetrative convection model employs a nonlinear equation of state making the problem more nonlinear. Optimal order error estimates are derived for the semi-discrete finite element spatial discretization. Two time discretization schemes based on linear extrapolation are proposed and analyzed, namely a coupled and a decoupled scheme. In particular, we show that although both schemes are unconditionally nonlinearly stable, the decoupled scheme converges unconditionally whereas coupled scheme requires that the time step be sufficiently small for convergence. These time discretization schemes can be implemented efficiently in practice, saving computational memory. Numerical computations and numerical convergence checks are presented to demonstrate the efficiency and the accuracy of the schemes.