- Research Article
- Open access
- Published:
Robust Monotone Iterates for Nonlinear Singularly Perturbed Boundary Value Problems
Boundary Value Problems volume 2009, Article number: 320606 (2009)
Abstract
This paper is concerned with solving nonlinear singularly perturbed boundary value problems. Robust monotone iterates for solving nonlinear difference scheme are constructed. Uniform convergence of the monotone methods is investigated, and convergence rates are estimated. Numerical experiments complement the theoretical results.
1. Introduction
We are interested in numerical solving of two nonlinear singularly perturbed problems of elliptic and parabolic types.
The first one is the elliptic problem
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F320606/MediaObjects/13661_2009_Article_840_Equ1_HTML.gif)
where is a positive parameter, and
is sufficiently smooth function. For
this problem is singularly perturbed, and the solution has boundary layers near
and
(see [1] for details).
The second problem is the one-dimensional parabolic problem
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F320606/MediaObjects/13661_2009_Article_840_Equ2_HTML.gif)
where is a positive parameter. Under suitable continuity and compatibility conditions on the data, a unique solution of this problem exists. For
problem (1.2) is singularly perturbed and has boundary layers near the lateral boundary of
(see [2] for details).
In the study of numerical methods for nonlinear singularly perturbed problems, the two major points to be developed are: (i) constructing robust difference schemes (this means that unlike classical schemes, the error does not increase to infinity, but rather remains bounded, as the small parameter approaches zero); (ii) obtaining reliable and efficient computing algorithms for solving nonlinear discrete problems.
Our goal is to construct a -uniform numerical method for solving problem (1.1), that is, a numerical method which generates
-uniformly convergent numerical approximations to the solution. We use a numerical method based on the classical difference scheme and the piecewise uniform mesh of Shishkin-type [3]. For solving problem (1.2), we use the implicit difference scheme based on the piecewise uniform mesh in the
-direction, which converges
-uniformly [4].
A major point about the nonlinear difference schemes is to obtain reliable and efficient computational methods for computing the solution. The reliability of iterative techniques for solving nonlinear difference schemes can be essentially improved by using component-wise monotone globally convergent iterations. Such methods can be controlled every time. A fruitful method for the treatment of these nonlinear schemes is the method of upper and lower solutions and its associated monotone iterations [5]. Since an initial iteration in the monotone iterative method is either an upper or lower solution, which can be constructed directly from the difference equation without any knowledge of the exact solution, this method simplifies the search for the initial iteration as is often required in the Newton method. In the context of solving systems of nonlinear equations, the monotone iterative method belongs to the class of methods based on convergence under partial ordering (see [5, Chapter 13] for details).
The purpose of this paper is to construct -uniformly convergent monotone iterative methods for solving
-uniformly convergent nonlinear difference schemes.
The structure of the paper is as follows. In Section 2, we prove that the classical difference scheme on the piecewise uniform mesh converges -uniformly to the solution of problem (1.1). A robust monotone iterative method for solving the nonlinear difference scheme is constructed. In Section 3, we construct a robust monotone iterative method for solving problem (1.2). In the final Section 4, we present numerical experiments which complement the theoretical results.
2. The Elliptic Problem
The following lemma from [1] contains necessary estimates of the solution to (1.1).
Lemma 2.1.
If is the solution to (1.1), the following estimates hold:
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F320606/MediaObjects/13661_2009_Article_840_Equ3_HTML.gif)
where constant is independent of
.
For , the boundary layers appear near
and
.
2.1. The Nonlinear Difference Scheme
Introduce a nonuniform mesh
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F320606/MediaObjects/13661_2009_Article_840_Equ4_HTML.gif)
For solving (1.1), we use the classical difference scheme
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F320606/MediaObjects/13661_2009_Article_840_Equ5_HTML.gif)
where and
. We introduce the linear version of this problem
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F320606/MediaObjects/13661_2009_Article_840_Equ6_HTML.gif)
where . We now formulate a discrete maximum principle for the difference operator
and give an estimate of the solution to (2.4).
Lemma 2.2.
-
(i)
If a mesh function
satisfies the conditions
(2.5)
then ,
.
-
(ii)
If
, then the following estimate of the solution to (2.4) holds true:
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F320606/MediaObjects/13661_2009_Article_840_Equ8_HTML.gif)
where ,
.
The proof of the lemma can be found in [6].
2.2. Uniform Convergence on the Piecewise Uniform Mesh
We employ a layer-adapted mesh of a piecewise uniform type [3]. The piecewise uniform mesh is formed in the following manner. We divide the interval into three parts
,
and
. Assuming that
is divisible by
, in the parts
,
we use the uniform mesh with
mesh points, and in the part
the uniform mesh with
mesh points is in use. The transition points
and
are determined by
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F320606/MediaObjects/13661_2009_Article_840_Equ9_HTML.gif)
This defines the piecewise uniform mesh. If the parameter is small enough, then the uniform mesh inside of the boundary layers with the step size
is fine, and the uniform mesh outside of the boundary layers with the step size
is coarse, such that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F320606/MediaObjects/13661_2009_Article_840_Equ10_HTML.gif)
In the following theorem, we give the convergence property of the difference scheme (2.3).
Theorem 2.3.
The difference scheme (2.3) on the piecewise uniform mesh (2.8) converges -uniformly to the solution of (1.1):
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F320606/MediaObjects/13661_2009_Article_840_Equ11_HTML.gif)
where constant is independent of
and
.
Proof.
Using Green's function of the differential operator
on
, we represent the exact solution
in the form
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F320606/MediaObjects/13661_2009_Article_840_Equ12_HTML.gif)
where the local Green function is given by
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F320606/MediaObjects/13661_2009_Article_840_Equ13_HTML.gif)
and are defined by
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F320606/MediaObjects/13661_2009_Article_840_Equ14_HTML.gif)
Equating the derivatives and
, we get the following integral-difference formula:
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F320606/MediaObjects/13661_2009_Article_840_Equ15_HTML.gif)
where here and below we suppress variable in
. Representing
on
and
in the forms
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F320606/MediaObjects/13661_2009_Article_840_Equ16_HTML.gif)
the above integral-difference formula can be written as
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F320606/MediaObjects/13661_2009_Article_840_Equ17_HTML.gif)
where the truncation error of the exact solution
to (1.1) is defined by
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F320606/MediaObjects/13661_2009_Article_840_Equ18_HTML.gif)
From here, it follows that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F320606/MediaObjects/13661_2009_Article_840_Equ19_HTML.gif)
From Lemma 2.1, the following estimate on holds:
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F320606/MediaObjects/13661_2009_Article_840_Equ20_HTML.gif)
We estimate the truncation error in (2.17) on the interval
. Consider the following three cases:
,
and
. If
, then
, and taking into account that
in (2.18), we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F320606/MediaObjects/13661_2009_Article_840_Equ21_HTML.gif)
where here and throughout denotes a generic constant that is independent of
and
. If
, then
,
. Taking into account that
,
and
, we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F320606/MediaObjects/13661_2009_Article_840_Equ22_HTML.gif)
If , then
, and we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F320606/MediaObjects/13661_2009_Article_840_Equ23_HTML.gif)
Thus,
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F320606/MediaObjects/13661_2009_Article_840_Equ24_HTML.gif)
In a similar way we can estimate on
and conclude that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F320606/MediaObjects/13661_2009_Article_840_Equ25_HTML.gif)
From here and (2.8), we conclude that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F320606/MediaObjects/13661_2009_Article_840_Equ26_HTML.gif)
From (2.3), (2.15), by the mean-value theorem, we conclude that satisfies the difference problem
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F320606/MediaObjects/13661_2009_Article_840_Equ27_HTML.gif)
Using the assumption on from (1.1) and (2.24), by (2.6), we prove the theorem.
2.3. The Monotone Iterative Method
In this section, we construct an iterative method for solving the nonlinear difference scheme (2.3) which possesses monotone convergence.
Additionally, we assume that from (1.1) satisfies the two-sided constraint
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F320606/MediaObjects/13661_2009_Article_840_Equ28_HTML.gif)
The iterative method is constructed in the following way. Choose an initial mesh function , then the iterative sequence
,
, is defined by the recurrence formulae
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F320606/MediaObjects/13661_2009_Article_840_Equ29_HTML.gif)
where is the residual of the difference scheme (2.3) on
.
We say that is an upper solution of (2.3) if it satisfies the inequalities
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F320606/MediaObjects/13661_2009_Article_840_Equ30_HTML.gif)
Similarly, is called a lower solution if it satisfies the reversed inequalities. Upper and lower solutions satisfy the inequality
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F320606/MediaObjects/13661_2009_Article_840_Equ31_HTML.gif)
Indeed, by the definition of lower and upper solutions and the mean-value theorem, for we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F320606/MediaObjects/13661_2009_Article_840_Equ32_HTML.gif)
where . In view of the maximum principle in Lemma 2.2, we conclude the required inequality.
The following theorem gives the monotone property of the iterative method (2.27).
Theorem 2.4.
Let ,
be upper and lower solutions of (2.3) and
satisfy (2.26). Then the upper sequence
generated by (2.27) converges monotonically from above to the unique solution
of (2.3), the lower sequence
generated by (2.27) converges monotonically from below to
:
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F320606/MediaObjects/13661_2009_Article_840_Equ33_HTML.gif)
and the sequences converge at the linear rate .
Proof.
We consider only the case of the upper sequence. If is an upper solution, then from (2.27) we conclude that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F320606/MediaObjects/13661_2009_Article_840_Equ34_HTML.gif)
From Lemma 2.2, by the maximum principle for the difference operator , it follows that
,
. Using the mean-value theorem and the equation for
, we represent
in the form
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F320606/MediaObjects/13661_2009_Article_840_Equ35_HTML.gif)
where ,
. Since the mesh function
is nonpositive on
and taking into account (2.26), we conclude that
is an upper solution. By induction on
, we obtain that
,
,
, and prove that
is a monotonically decreasing sequence of upper solutions.
We now prove that the monotone sequence converges to the solution of (2.3). Similar to (2.33), we obtain
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F320606/MediaObjects/13661_2009_Article_840_Equ36_HTML.gif)
and from (2.27), it follows that satisfies the difference equation
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F320606/MediaObjects/13661_2009_Article_840_Equ37_HTML.gif)
Using (2.26) and (2.6), we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F320606/MediaObjects/13661_2009_Article_840_Equ38_HTML.gif)
This proves the convergence of the upper sequence at the linear rate . Now by linearity of the operator
and the continuity of
, we have also from (2.27) that the mesh function
defined by
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F320606/MediaObjects/13661_2009_Article_840_Equ39_HTML.gif)
is the exact solution to (2.3). The uniqueness of the solution to (2.3) follows from estimate (2.6). Indeed, if by contradiction, we assume that there exist two solutions and
to (2.3), then by the mean-value theorem, the difference
satisfies the difference problem
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F320606/MediaObjects/13661_2009_Article_840_Equ40_HTML.gif)
By (2.6), which leads to the uniqueness of the solution to (2.3). This proves the theorem.
Consider the following approach for constructing initial upper and lower solutions and
. Introduce the difference problems
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F320606/MediaObjects/13661_2009_Article_840_Equ41_HTML.gif)
where from (2.26). Then the functions
,
are upper and lower solutions, respectively. We check only that
is an upper solution. From the maximum principle in Lemma 2.2, it follows that
on
. Now using the difference equation for
and the mean-value theorem, we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F320606/MediaObjects/13661_2009_Article_840_Equ42_HTML.gif)
Since and
is nonnegative, we conclude that
is an upper solution.
Theorem 2.5.
If the initial upper or lower solution is chosen in the form of (2.39), then the monotone iterative method (2.27) converges
-uniformly to the solution
of the nonlinear difference scheme (2.3)
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F320606/MediaObjects/13661_2009_Article_840_Equ43_HTML.gif)
Proof.
From (2.27), (2.39), and the mean-value theorem, by (2.6),
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F320606/MediaObjects/13661_2009_Article_840_Equ44_HTML.gif)
From here and estimating from (2.39) by (2.6),
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F320606/MediaObjects/13661_2009_Article_840_Equ45_HTML.gif)
we conclude the estimate on in the form
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F320606/MediaObjects/13661_2009_Article_840_Equ46_HTML.gif)
where is defined in the theorem. From here and (2.36), we conclude that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F320606/MediaObjects/13661_2009_Article_840_Equ47_HTML.gif)
Using this estimate, we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F320606/MediaObjects/13661_2009_Article_840_Equ48_HTML.gif)
Taking into account that as
, where
is the solution to (2.3), we conclude the theorem.
From Theorems 2.3 and 2.5 we conclude the following theorem.
Theorem 2.6.
Suppose that the initial upper or lower solution is chosen in the form of (2.39). Then the monotone iterative method (2.27) on the piecewise uniform mesh (2.8) converges
-uniformly to the solution of problem (1.1):
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F320606/MediaObjects/13661_2009_Article_840_Equ49_HTML.gif)
where and constant
is independent of
and
.
3. The Parabolic Problem
3.1. The Nonlinear Difference Scheme
Introduce uniform mesh on
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F320606/MediaObjects/13661_2009_Article_840_Equ50_HTML.gif)
For approximation of problem (1.2), we use the implicit difference scheme
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F320606/MediaObjects/13661_2009_Article_840_Equ51_HTML.gif)
where and
are defined in (2.2) and (2.3), respectively. We introduce the linear version of problem (3.2)
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F320606/MediaObjects/13661_2009_Article_840_Equ52_HTML.gif)
We now formulate a discrete maximum principle for the difference operator and give an estimate of the solution to (3.3).
Lemma 3.1.
-
(i)
If a mesh function
on a time level
satisfies the conditions
(3.4)
then ,
.
-
(ii)
If
, then the following estimate of the solution to (3.3) holds true:
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F320606/MediaObjects/13661_2009_Article_840_Equ54_HTML.gif)
where ,
.
The proof of the lemma can be found in [6].
3.2. The Monotone Iterative Method
Assume that from (3.2) satisfies the two-sided constraint
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F320606/MediaObjects/13661_2009_Article_840_Equ55_HTML.gif)
We consider the following iterative method for solving (3.2). Choose an initial mesh function . On each time level, the iterative sequence
,
, is defined by the recurrence formulae
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F320606/MediaObjects/13661_2009_Article_840_Equ56_HTML.gif)
where is the residual of the difference scheme (3.2) on
.
On a time level , we say that
is an upper solution of (3.2) with respect to
if it satisfies the inequalities
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F320606/MediaObjects/13661_2009_Article_840_Equ57_HTML.gif)
Similarly, is called a lower solution if it satisfies all the reversed inequalities. Upper and lower solutions satisfy the inequality
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F320606/MediaObjects/13661_2009_Article_840_Equ58_HTML.gif)
This result can be proved in a similar way as for the elliptic problem.
The following theorem gives the monotone property of the iterative method (3.7).
Theorem 3.2.
Assume that satisfies (3.6). Let
be given and
,
be upper and lower solutions of (3.2) corresponding
. Then the upper sequence
generated by (3.7) converges monotonically from above to the unique solution
of the problem
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F320606/MediaObjects/13661_2009_Article_840_Equ59_HTML.gif)
the lower sequence generated by (3.7) converges monotonically from below to
and the following inequalities hold
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F320606/MediaObjects/13661_2009_Article_840_Equ60_HTML.gif)
Proof.
We consider only the case of the upper sequence, and the case of the lower sequence can be proved in a similar way.
If is an upper solution, then from (3.7) we conclude that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F320606/MediaObjects/13661_2009_Article_840_Equ61_HTML.gif)
From Lemma 3.1, it follows that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F320606/MediaObjects/13661_2009_Article_840_Equ62_HTML.gif)
and from (3.7), it follows that satisfies the boundary conditions.
Using the mean-value theorem and the equation for from (3.7), we represent
in the form
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F320606/MediaObjects/13661_2009_Article_840_Equ63_HTML.gif)
where ,
. Since the mesh function
is nonpositive on
and taking into account (3.6), we conclude that
is an upper solution to (3.2). By induction on
, we obtain that
,
,
, and prove that
is a monotonically decreasing sequence of upper solutions.
We now prove that the monotone sequence converges to the solution of (3.2). The sequence
is monotonically decreasing and bounded below by
, where
is any lower solution (3.9). Now by linearity of the operator
and the continuity of
, we have also from (3.7) that the mesh function
defined by
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F320606/MediaObjects/13661_2009_Article_840_Equ64_HTML.gif)
is an exact solution to (3.2). If by contradiction, we assume that there exist two solutions and
to (3.2), then by the mean-value theorem, the difference
satisfies the system
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F320606/MediaObjects/13661_2009_Article_840_Equ65_HTML.gif)
By Lemma 3.1, which leads to the uniqueness of the solution to (3.2). This proves the theorem.
Consider the following approach for constructing initial upper and lower solutions and
. Introduce the difference problems
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F320606/MediaObjects/13661_2009_Article_840_Equ66_HTML.gif)
The functions ,
are upper and lower solutions, respectively. This result can be proved in a similar way as for the elliptic problem.
Theorem 3.3.
Let initial upper or lower solution be chosen in the form of (3.17), and let satisfy (3.6). Suppose that on each time level the number of iterates
. Then for the monotone iterative methods (3.7), the following estimate on convergence rate holds:
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F320606/MediaObjects/13661_2009_Article_840_Equ67_HTML.gif)
where is the solution to (3.2),
, and constant
is independent of
,
and
.
Proof.
Similar to (3.14), using the mean-value theorem and the equation for from (3.7), we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F320606/MediaObjects/13661_2009_Article_840_Equ68_HTML.gif)
From here and (3.7), we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F320606/MediaObjects/13661_2009_Article_840_Equ69_HTML.gif)
Using (3.5) and (3.6), we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F320606/MediaObjects/13661_2009_Article_840_Equ70_HTML.gif)
where is defined in (3.18).
Introduce the notation
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F320606/MediaObjects/13661_2009_Article_840_Equ71_HTML.gif)
where . Using the mean-value theorem, from (3.2) and (3.19), we conclude that
satisfies the problem
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F320606/MediaObjects/13661_2009_Article_840_Equ72_HTML.gif)
where , and we have taken into account that
. By (3.5), (3.6), and (3.21),
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F320606/MediaObjects/13661_2009_Article_840_Equ73_HTML.gif)
Using (3.6), (3.17), and the mean-value theorem, estimate from (3.7) by (3.5),
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F320606/MediaObjects/13661_2009_Article_840_Equ74_HTML.gif)
where is independent of
(
),
and
. Thus,
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F320606/MediaObjects/13661_2009_Article_840_Equ75_HTML.gif)
Similarly, from (3.2) and (3.19), it follows that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F320606/MediaObjects/13661_2009_Article_840_Equ76_HTML.gif)
Using (3.21), by (3.5),
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F320606/MediaObjects/13661_2009_Article_840_Equ77_HTML.gif)
Using (3.17), estimate from (3.7) by (3.5),
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F320606/MediaObjects/13661_2009_Article_840_Equ78_HTML.gif)
where . As follows from Theorem 3.2, the monotone sequences
and
are bounded from above and below by, respectively,
and
. Applying (3.5) to problem (3.17) at
, we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F320606/MediaObjects/13661_2009_Article_840_Equ79_HTML.gif)
where constant is independent of
,
and
. Thus, we prove that
is independent of
,
and
. From (3.26) and (3.28), we conclude
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F320606/MediaObjects/13661_2009_Article_840_Equ80_HTML.gif)
By induction on , we prove
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F320606/MediaObjects/13661_2009_Article_840_Equ81_HTML.gif)
where all constants are independent of
,
and
. Taking into account that
, we prove the estimate (3.18) with
.
In [4], we prove that the difference scheme (3.2) on the piecewise uniform mesh (2.8) converges -uniformly to the solution of problem (1.2):
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F320606/MediaObjects/13661_2009_Article_840_Equ82_HTML.gif)
where is the exact solution to (3.2), and constant
is independent of
,
and
. From here and Theorem 3.3, we conclude the following theorem.
Theorem 3.4.
Suppose that on each time level the initial upper or lower solution is chosen in the form of (3.17) and
. Then the monotone iterative method (3.7) on the piecewise uniform mesh (2.8) converges
-uniformly to the solution of problem (1.2):
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F320606/MediaObjects/13661_2009_Article_840_Equ83_HTML.gif)
where , and constant
is independent of
,
and
.
4. Numerical Experiments
It is found that in all numerical experiments the basic feature of monotone convergence of the upper and lower sequences is observed. In fact, the monotone property of the sequences holds at every mesh point in the domain. This is, of course, to be expected from the analytical consideration.
4.1. The Elliptic Problem
Consider problem (1.1) with . We mention that
is the solution of the reduced problem, where
. This problem gives
,
, and initial lower and upper solutions are chosen in the form of (2.39). The stopping criterion for the monotone iterative method (2.27) is
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F320606/MediaObjects/13661_2009_Article_840_Equ84_HTML.gif)
Our numerical experiments show that for and
, iteration counts for monotone method (2.27) on the piecewise uniform mesh are independent of
and
, and equals 12 and 8 for the lower and upper sequences, respectively. These numerical results confirm our theoretical results stated in Theorem 2.5.
In Table 1, we present numbers of iterations for solving the test problem by the Newton iterative method with the initial iterations ,
. Here
is in use, and we denote by an "*" if more than 100 iterations is needed to satisfy the stopping criterion, or if the method diverges. The numerical results indicate that the Newton method cannot be used successfully for this test problem.
4.2. The Parabolic Problem
For the parabolic problem (1.2), we consider the test problem with and
. This problem gives
,
, and the initial lower and upper solutions are chosen in the form of (3.17).
The stopping test for the monotone method (3.7) is defined by
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F320606/MediaObjects/13661_2009_Article_840_Equ85_HTML.gif)
Our numerical experiments show that for and
, on each time level the number of iterations for monotone method (3.7) on the piecewise uniform mesh is independent of
and
and equal 4, 4, and 3 for
, respectively. These numerical results confirm our theoretical results stated in Theorem 3.3.
References
Boglaev I: Approximate solution of a non-linear boundary value problem with a small parameter for the highest-order differential. USSR Computational Mathematics and Mathematical Physics 1984, 24(6):30–35. 10.1016/0041-5553(84)90005-3
Boglaev I: Numerical method for quasi-linear parabolic equation with boundary layer. USSR Computational Mathematics and Mathematical Physics 1990, 30: 716–726.
Miller JJH, O'Riordan E, Shishkin GI: Fitted Numerical Methods for Singular Perturbation Problems: Error Estimates in the Maximum Norm for Linear Problems in One and Two Dimensions. World Scientific, Singapore; 1996:xiv+166.
Boglaev I, Hardy M: Uniform convergence of a weighted average scheme for a nonlinear reaction-diffusion problem. Journal of Computational and Applied Mathematics 2007, 200(2):705–721. 10.1016/j.cam.2006.01.026
Ortega JM, Rheinboldt WC: Iterative Solution of Nonlinear Equations in Several Variables. Academic Press, New York, NY, USA; 1970:xx+572.
Samarskii AA: The Theory of Difference Schemes, Monographs and Textbooks in Pure and Applied Mathematics. Volume 240. Marcel Dekker, New York, NY, USA; 2001:xviii+761.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
About this article
Cite this article
Boglaev, I. Robust Monotone Iterates for Nonlinear Singularly Perturbed Boundary Value Problems. Bound Value Probl 2009, 320606 (2009). https://doi.org/10.1155/2009/320606
Received:
Accepted:
Published:
DOI: https://doi.org/10.1155/2009/320606