Proficiency of Second Derivative Schemes for the Numerical Solution of Stiff Systems ()
1. Introduction
We considered development of second derivative method for the solution of
(1)
where
is the initial points,
,
is continuous and at least twice differentiable. We seek the solution on equidistant set of points defined on the integration interval
,
,
,
, N is a positive integer.
A potentially good numerical method for the solution of stiff systems must have good accuracy and reasonably wide region of absolute stability. A-Stability requirement is the minimum criteria on the choice of suitable methods. The search for higher order A-stable linear multistep method is carried out in two ways; firstly, the use of higher derivatives of the approximate solution and secondly, the inclusion of additional stages of off grid points Ezzeddine and Hojjati [1] .
Several authors such as Enright [2] , Enright and Pryce [3] , Brown [4] , Cash [5] , Okunuga [6] , Abhilimen and Okunuga [7] , Ngwane and Jator [8] , and Yakubu and Markus [9] have developed second derivative methods for the solution of (1) whose solution has exponential functions.
The aim of this paper is to develop a class of second derivative linear multistep method with varying step-lengths which are A-stable with large region of absolute stability (see Figures 1-3). The three methods recovered are tested on some numerical examples and their results compared with each other in order to determine how to fix the varying step-lengths to obtain the best results as shown Tables 1-4.
2. Development of the Method
We considered the approximate solution of the form
(2)
where
’s are constants to be determined. The ith derivative of (2) gives
(3)
Imposing the following conditions on (2)
evaluating (2) at
, first derivative of (3) at
and second derivative of (3) at
give a system of equations in the form
(4)
where
Table 1. Showing Results of Example 1.
Table 2. Showing Results for Example 2.
Solving (4) using cramer’s method for the unknown constants, substitute it into (2), we obtain continuous linear multistep method in the form
(5)
subject to
,
and
are polynomial of degree
. Evaluating (5) at selected grid points give a block method in the form
(6)
where
Table 3. Showing Results for Example 3.
Table 4. Showing Results for Example 4.
Writing (6) in the form
(7)
Solving the system of nonlinear equations using Newton Raphson’s method gives
(8)
where
is the Jacobian matrix. The necessary and sufficient condition for convergence of (8) is that the spectral radius of the inverse of the Jacobian matrix
Specification of the Method
In this paper, we consider grid points
, hence the (6) reduces to
For our methods, in case 1, we considered one step method with two hybrid
points with equal interval where
. For case II, we considered
two step method with one hybrid points with equal interval, where
and for the lase case III, we considered three step method with equal interval where
.
3. Stability Properties
In this section, we investigate the basic properties of the developed method vis-a-vis order, local truncation error, consistency, zero-stability, convergence, and region of absolute stability of the methods.
3.1. Order of Convergence
The operation l is associated with the linear method defined by
(9)
where
is an arbitrary function, continuously differentiable on an interval
. Ehigie, J. O. and Okunuga [11] can be written in Taylor expansion as
where
(9) is of order p if
is called the error constant and
is called the local truncation error (LTE).
For our scheme, the order is 8 with error constant given by
3.2. Consistency
Definition 1 A block method is consistent if it has order
3.3. Zero-Stability
Definition 2 A method is said to be Zero-stable if no root of the first characteristics polynomial has modulus greater than one, and if every root of modulus one has multiplicity not greater than one or is simple.
The roots of the determinant gives
, hence the method is consistent.
3.4. Convergence
Definition 3 A method is said to be convergent if It is consistent and zero stable.
3.5. Region of Absolute Stability (RAS)
Definition 4 The Region of absolute stability (RAS) of a L M M is the set R = {
: for z where the root of the stability polynomial are absolute less than one}.
Substituting the test equation
and writing
, the region of absolute stability for our new methods are shown below:
In determining the region of absolute stability, we consider three cases in this paper as described below:
Definition 5 A-Stability
A method is said to be A-stable if its region of absolute stability contains the whole of the complex left hand-half plane
. Alternatively, a numerical method is called A-Stable if the solution tend to zero as
when the method is applied with fixed h to any differential equation of the form
, where l is a complex constant with negative real part. Hence, for our cases I, II, & III; The regions of absolute stabilities are given in Figures 1-3.
We conclude that the three cases presented in this paper are A-stable.
4. Numerical Experiments
In this section we considered four examples to test the efficiency of the method. We compared the results of the cases in order to conclude on the best way to fix u,v and w. The following notations are used to show the results
Example 1 We consider a system in the range
with the exact solution
The eigenvalues of the Jacobian matrix are
with the stiffness ratio 1:48. Source :Abdulimen [10] .
Example 2 We consider a simple nonlinear stiff system
, with the exact solution
The eigenvalues of the Jacobian matrix are
. Source: Yakubu and Markus [9] .
Example 3 In the this example we consider stiff nonlinear system of two dimensional Kaps problem with corresponding initial conditions
The exact solution is
Source: Yakubu and Markus [9] .
Example 4 We consider a four dimensional problems
Within the range
. The eigenvalues of the Jacobian matrix
,
,
and
. The exact solution is given as
Source: Ehigie, Okunuga, and Sofoluwe [11] .
5. Conclusion
In this paper, we introduced three new second derivative linear multistep methods for the numerical solution of stiff initial value problems. Four numerical examples were considered, the results justified the proficiency of the second derivative method which is cheaper to implement since it does not require starting values and particularly the new methods show that lower step method gives better accuracy than higher step methods of the same order. We are able to achieve the aim of this paper which is to develop a class of second derivative linear multistep methods that are A-stable with large region of absolute stabilityas shown in Figures 1-3. The results from the high-order methods are very encourging (see Tables 1-4), therefore, we recommend further investigation of the second-derivative.