In this article, a two-parameter class of hybrid block methods for integrating first-order initial value ordinary differential systems is proposed. The methods exhibit hybrid nature which helps in bypassing the first Dahlquist barrier existing for linear multistep methods. The approach used in the development of a class of methods is purely interpolation and collocation technique. The class of methods is based on four intra-step points from which two intra-step points have been optimized by using an optimization strategy. In this optimization strategy, the values of two intra-step points are obtained by minimizing the local truncation errors of the formulas at the points and .The order of accuracy of the proposed methods is six. A method as a special case of this class of methods is considered and developed into a block form which produces approximate numerical solutions at several points simultaneously. Further, the method is formulated into an adaptive step-size algorithm using an embedded type procedure. This method which is a special case of this class of methods has been tested on six well-known first-order differential systems.
1 INTRODUCTION
Numerous numerical integrators are available for solving first-order initial value ordinary differential systems numerically. Runge–Kutta and linear multistep methods are the usual classes of methods that are being used for solving these systems numerically. These days many built-in computer codes based on these classes of methods are available in software like Matlab, Mathematica, and so forth. To develop more accurate and efficient codes for solving the differential systems is an ongoing process of research. This article is concerned with the development of a class of optimized codes for solving the following system:
()
where , , To proceed further, we assume that the system (1) has a unique continuously differentiable solution that we denote by As a first step, the interval of interest is discretized as follows:
and an approximate numerical solution of the system (1) at is denoted as .
Besides the classes of Runge–Kutta and linear multistep methods, many other classes of methods are available in the scientific literature for finding approximate numerical solution of the system (1), for instance, hybrid methods, block methods, exponentially fitted methods, and so forth. A good reference of other types of existing numerical methods for solving initial value ordinary differential problems numerically, one can consult References 1-25 and also references therein.
Initially, in the development of methods for solving the differential systems numerically, there is a gap between the extrapolation and substitution methods. In order to fill this gap, Gragg and Stetter,26 Butcher,27 and Gear28 simultaneously proposed the concept of hybrid methods which uses the information of solution at other points apart from end points of interval, named as off-step points. Along with the properties to linear multistep methods, hybrid methods also hold the characteristics of Runge–Kutta methods29. In the development of class of zero-stable linear multistep methods, the Dahlquist barrier restricts the order of the method but in the formation of hybrid methods they bypass this barrier, hence sometimes called as modified linear multistep methods. For finding the numerical solution of differential system (1) at the end points of the interval using hybrid methods, first the solution at off-step points has to be obtained which makes it little costly in terms of computational cost. This limitation can be removed by using the concept of block methods with the hybrid methods. The main advantage of using block methods is that, they produce the numerical solution of system (1) at several points simultaneously which makes it more efficient in terms of computational cost. First, Milne22 proposed the concept of block methods to make the predictor-corrector methods more efficient. Later on Rosser30 used them for the general purposes. Second advantage of block methods is that they are self starting. In the literature, many researchers proposed the methods having the combination of hybrid and block methods.6, 7, 11-13, 17, 18, 20, 31-35 Many authors proposed the hybrid methods with the arbitrary values to the off-step points (e.g., one can see References 36-38), then the Ramos et al.35 first proposed the concept of finding the values to the off-step points, which improves the efficiency of the method in terms of accuracy.
In this article, we have derived a two-parameter class of methods based on hybrid and block approaches. The development of the class of methods is on purely interpolation and collocation approach which is based on four intra-step (off-step) points39. Two off-step points of these four points are optimized by using an optimization strategy proposed in Reference 35 and other two off-step points are left free. In this way, we get an optimized version of two-parameter class of methods. In the present article, a special case of this class of methods is considered by taking simple values of the free parameters. In order to improve the performance of this method, an adaptive step-size formulation of this method has been discussed (e.g., one can see Reference 40) and then the resulting new adaptive step-size method has been tested on well-known problems in comparison with some other existing methods in the literature.
2 DEVELOPMENT OF A TWO-PARAMETER CLASS OF METHODS
For the sake of convenience, we develop the class of methods for solving the scalar case of (1), that is, for . Let the following interpolating polynomial as an approximation of the true solution of the problem given as
()
on the generic one-step block of points, that is, Here are the unknown constant coefficients and are the polynomial basis functions. In order to determine the values of coefficients , the following interpolatory and collocation conditions on and are imposed which are as follows:
()
where are the intra-step points such that . Using (3), we have a system of seven equations in seven unknowns that can be solved by any computer system like Mathematica in order to get values of the unknown coefficients of the interpolating polynomial (2). Solving this system of equations, we will have values of the coefficients in terms of intra-step points . Now, our objective is to find appropriate values of some of these intra-step points. Let a change of variable in the interpolating polynomial. Thus we have
()
By putting in (4), we get two formulas at the points and , respectively. Note that these formulas are in terms of the intra-step points . In order to find appropriate values of these intra-step points, expanding the formulas at and about Taylor series about the point , we get
()
where
By putting the principal terms of the local truncation errors, we have a system of nonlinear equations
By solving the above nonlinear system for u and t, we have
where
From the above expressions, one can observe that optimized values of u and t have been obtained in terms of two free parameters r and s. Thus, we have a two-parameter class of optimized methods for solving (1) numerically. Now using some arbitrary simple values of r and s given by
the corresponding values of u and t are given by
Evaluating (4) at , and , we get the complete hybrid block method whose generalized form into an equation can be written as
where the values of coefficients are listed in Tables 1 and 2.
TABLE 1.
Coefficients of the method
Method
1
1
1
1
1
Note: The coefficients of and which are denoted by and respectively.
TABLE 2.
Coefficients of the method
Note: The coefficients of and which are represented by and respectively.
3 ANALYSIS OF THE METHOD
In this section, we will discuss basic characteristics of the proposed method.
3.1 Order of accuracy and consistency
Let the difference operator associated with the proposed method
()
where , and are precisely the corresponding coefficients of the method. Assuming that has continuous derivatives of sufficiently high order and expanding and in Taylor series about x we get
()
Definition. The linear difference operator (6) and the associated block method are said to be of order p if, in (7)
Here, the are vectors and is called vector of error constants and
For the proposed method we get that and
Thus, this establishes that the proposed method has at least sixth order of accuracy. The method is also consistent with (1) as the method has order of accuracy more than one.
3.2 Zero-stability
Considering , the proposed method reduces to that can be rewritten as
()
where
and
()
In this case, the first characteristic polynomial of the method is
()
where is an identity matrix of order 5. Since its roots satisfy the condition: and the root of modulus one is simple. Thus the new proposed method is zero-stable.
3.3 Linear stability
Consider the Dahlquist test equation given by
()
The exact solution of the test equation is and this solution approaches to zero as The absolute stability region is determined by applying the proposed method to the considered test equation (11) which results in the system of equations.
After eliminating , and from the obtained system and changing , we get the characteristic equation given by
The stability characteristics of the proposed method depend upon the magnitude of the root of the above characteristic equation. The absolute stability region, say S, of a method is defined as (see Reference 41)
where , denotes the stability function.
If , that is, if the absolute stability region completely lies in the left-half complex plane, then the method is said to be conditionally stable. For the proposed method, the stability function is given by
Figure 1 represents the stability region of the method which reveals the propagation factor such that . From Figure 1, it can be judged that the method is conditionally stable.
In this section, the given method is formulated in variable step-size mode by using an embedded-type procedure. In this procedure, two methods of different orders are implemented simultaneously. More precisely, let the first method is of order p and other method is of order q with The method of order p is used to integrate the problem whereas the method of order q is used in the estimation of local error at each integration step. This pair of methods is selected in such a way that both of these methods share some same function evaluations42. By doing so, there will not be increase in the number of function evaluations in using pair of these methods.
For the proposed method, the following fifth order method has been used in order to estimate the local error. In order to construct the method using the same function evaluations used by the main proposed method, the method of undetermined coefficients has been adopted in order to derive the following lower order method (for more details, one can see Reference 4)
()
whose local truncation error (LTE) is
Note that the method (12) shares all function evaluations with the proposed method.
Let is the approximate solution obtained by method of order p and be the solution obtained by the method of q, then the error estimate () will be determined by . This estimate helps in selecting the appropriate value of the new step-size. Following expression helps us in evaluating the new step-size for the next step of integration:
()
where q denotes the order of lower order method. The safety factor with condition is chosen to avoid large variations in the new step. The notation is designated for predefined user tolerance.
In the execution of the method, the following conditional structure may be imposed:
The whole procedure can be simplified as in following steps:
If value of then obtained values at this step are accepted and for the next step of integration the step-size will be doubled.
If value of then the current step-size is redefined as per the above expression and redo the calculations.
In selecting the significant initial steps-size (), the different strategies were available in the scientific literature, for example, see Reference 24. In another way, one can also choose the small step-size () (see Reference 25) and the above defined algorithm redefine it to appropriate value as if required.
5 NUMERICAL EXPERIMENTATION
This section is concerned with implementation of the proposed method in constant step-size mode named as C-OHBM and in variable step-size mode, named as EMOHB on a variety of well-known differential systems. The first example demonstrates the comparison of C-OHBM numerical integrator with the adaptive step-size size integrator EMOHB. In the second example, a numerical comparison has been made between the proposed constant step size method with some other well-known constant step-size solvers. Further, some numerical experiments performed by using the proposed method in adaptive step-size mode and other existing variable step-size methods.
Some abbreviations have been used in the tables below which are designated as follows: TOL: Tolerance; FEVAL's: Number of function evaluations, including derivatives; : Initial step-size; : Maximum absolute errors along the integration interval given by
denotes maximum absolute errors in computing the true solution of the kth-component of a given system of equations, represented as
Further the notation has been used for absolute errors at the final point in approximating the k-component of the true solution of a system and represents the maximum absolute error among all the components of the true solution of a system at the final point of block, where N is the number of integration steps, and represents the analytical and computed kth-component of solution of a differential system (1) at the point . For comparison purposes, the following methods have been considered:
C-IMBLOCK: It is an implicit Simpson's type second derivative -stable two step block method. The method is of order 6 (see Reference 5).
IMBLOCK: This method is the variable step-size version of above Simpson's type second derivative described in Reference 6. At each step of integration the local error is estimated using the third order Kutta's method.
RKGauss: This method is an -stable implicit Runge–Kutta method based on a “Gaussian quadrature.” The method is a 5-stage 10th order method (see Reference 1). The method with constant step-size algorithm is named as C-RkGauss and with variable step-size mode is named as RkGauss
RADAU: This integrator consists of variable order (1, 5, 9, 13) with adapting step-size control. The method is based on implicit Runge–Kutta methods (Radau-IIa). In the experimentation the method is used which was developed in the Matlab by Hairer (see MatlabStiff package in http://www.unige.ch/∼hairer/software.html).
EMOHB: This is the new optimized hybrid scheme which uses the embedded variable step-size strategy explained in Section 4. Due to its implicit nature we have to solve a system of linear/nonlinear equations at each step of integration. The code of new proposed method is developed in Mathematica and in order to solve the resulting nonlinear systems the command FindRoot is used while for linear systems we used the NSolve command. Please note that proposed method with constant step-size algorithm is named as C-OHBM. Note.
The RADAU solver and the proposed scheme both use different strategies in changing the step-size, as RADAU considers variable step as well as variable order methods. On the other hand, the methods: proposed scheme, RKGauss have been used in variable stepsize mode, using the strategy described in Section 4. In solving the test problems we have considered in which and abbreviated as absolute error tolerance and relative error tolerance, respectively. The and have been used by RADAU and the will be used by proposed scheme to estimate the error at each step of integration. We used the software MATLABR2009b to implement RADAU solver on test problems whereas the proposed method, RKGauss and IMBLOCK codes were implemented in Wolfram Mathematica 11, version 11.0.1.0. The runs have been done using a laptop with processor i3-4030U CPU @ 1.90GHz, Win10.
5.1 A nonlinear problem
Consider the nonlinear problem given by
The problem is solved in the interval over various number of steps. The numerical computations have been done with the block method in both constant step-size (C-OHBM) and adaptive step-size (EMOHB) modes whose absolute errors with respect to exact solution are presented in Table 3. All the computations for this problem have been done by varying step-size and tolerances for adaptive step-size code in order to equalize the number of steps used in block method with fixed step-size strategy. The data in Table 3 reveal the better performance of the proposed adaptive step-size code compared with its existing fixed step-size counterpart. It is clear from Figures 2 and 3 that the adaptive step-size code adjusts the step-size in order to capture the behavior of the true solution more appropriately than its fixed step-size version for same number of nodal points.
In this example, first-order stiff system is considered5, 10
()
where whose analytical solution is below as:
()
The numerical results were computed by considering . The data in Table 4 demonstrate that the proposed method in constant step-size performs better in comparison with other fixed step-size methods available in the literature.
TABLE 4.
Numerical results for problem in Section 5.2
h
N
Method
64
C-OHBM
C-RKGauss
C-IMBLOCK
128
C-OHBM
C-RKGauss
C-IMBLOCK
256
C-OHBM
C-RKGauss
C-IMBLOCK
5.3 The Brusselator system
Consider the diffusion-free “Brusselator system” which was also studied in Reference 7. The problem consists of the two equations
()
where L and M are positive real constants. For numerical experimentation, we assume , with initial values , over the integration interval , as it was suggested in Reference 8. With the help of Wolfram Mathematica, the reference solution at end point is obtained with a 12th order implicit Runge–Kutta method using the command NDSolve. The reference solution is
The numerical results were computed by considering
The data in Table 5 demonstrate that the proposed algorithm performs finer in comparison with other methods. Also, in Figure 4, the efficiency curve depicts the superior performance of the new method.
TABLE 5.
Numerical results for problem in Section 5.3
Tol
Method
N
FEVALs
RADAU
113
957
RKGauss
64
384
IMBLOCK
156
624
EMOHB
63
378
RADAU
156
1296
RKGauss
101
606
IMBLOCK
262
1048
EMOHB
89
534
RADAU
173
1692
RKGauss
197
1182
IMBLOCK
452
1808
EMOHB
128
768
5.4 Jacobi elliptic functions
Here, a well-known system consisting of Jacobi elliptic functions , and which is frequently used in numerical experiments9
()
where The analytical solution of the system in terms of series as follows
()
Here , and The problem is solved over the integration interval In solving the problem, we have considered
The numerical results introduced in Table 6 exhibits the superior performance of the new scheme. The efficiency curves in Figure 5 also show the better performance of the proposed method. The discrete solutions of the problem over the interval has been plotted with parameters in Figure 6. From the figure, it is easily seen that the adaptive step-size strategy works well with choosing larger step-sizes for the smooth portion of curve.
Discrete solutions of problem in Section 5.4, with
TABLE 6.
Computation data for problem in Section 5.4
Tol
Method
N
FEVALs
RADAU
130
1106
RKGauss
58
348
IMBLOCK
132
528
EMOHB
61
366
RADAU
152
1114
RKGauss
92
552
IMBLOCK
226
904
EMOHB
89
534
RADAU
188
1340
RKGauss
147
882
IMBLOCK
388
1552
EMOHB
129
774
5.5 Example
In this, the nonlinear system of first-order ODEs has been considered as in Reference 10
()
the integration interval taken is . The true solution of the system is
()
The characteristic values of the Jacobian matrix are and . The numerical computations were done by considering the initial step-sizes and tolerances as . The numerical computations given in Table 7 supports that the superiority of the proposed block method in terms of accuracy and number of function evaluations.
TABLE 7.
Numerical results for problem in Section 5.5
Tol
Method
N
FEVALs
RADAU
18
174
RKGauss
6
36
IMBLOCK
0
10
40
EMOHB
0
6
36
RADAU
15
136
RKGauss
13
78
IMBLOCK
0
14
56
EMOHB
0
8
48
RADAU
0
14
117
RKGauss
25
150
IMBLOCK
0
20
80
EMOHB
0
11
66
RADAU
0
17
136
RKGauss
63
378
IMBLOCK
0
32
128
EMOHB
0
15
90
5.6 Example
Consider the following system of first-order ODEs
()
with . The analytical solution of the system is
()
The numerical computations of this problem have been done over various initial steps-sizes and tolerances as The numerical results exhibit in Table 8 confirms the finer performance of the proposed block integrator in terms of accuracy and number of function evaluations.
TABLE 8.
Computation data for problem in Section 5.6
Tol
Method
N
FEVALs
RADAU
28
178
RKGauss
14
84
IMBLOCK
40
160
EMOHB
14
84
RADAU
24
163
RKGauss
18
108
IMBLOCK
48
192
EMOHB
16
96
RADAU
23
153
RKGauss
28
168
IMBLOCK
64
256
EMOHB
22
132
6 CONCLUSIONS
A new two-parameter class of optimized hybrid block methods for solving first-order initial value ordinary differential systems is proposed. A theoretical analysis of the class of methods has been done. An adaptive step-size formulation of a method belongs to the class has been considered. The numerical experiments carried out on solving well-known problems that support the superior performance of the proposed method.
ACKNOWLEDGMENTS
We would like to thank the anonymous reviewers for their constructive comments that have greatly contributed to improve the article.
CONFLICT OF INTEREST
The authors declare that there is no conflict of interest regarding the publication of this article.
Biographies
Gurjinder Singh is working at Department of Mathematical Sciences, I.K. Gujral Punjab Technical University Jalandhar, Kapurthala, Punjab, India. He completed his Ph.D. in Mathematics from Panjab University, Chandigarh in 2016. He has more than 8 years of teaching experience and his research interests include numerical analysis of differential equations and numerical linear algebra. He has published several research articles in well-esteemed journals.
Arvind Garg is working as an Asst. Professor in Post Graduate Department of Mathematics, D.A.V. College, Sector-10, Chandigarh, India. He has more than 8 years of teaching experience and his area of research is numerical analysis. He has published several research articles in this field.
Rajat Singla has completed his B.Sc. (Hons. School) and M.Sc. (Hons. School) from Panjab University, Chandigarh. Presently, he is pursuing his Ph.D. from the Department of Mathematical Sciences, I.K. Gujral Punjab Technical University, Kapurthala, Jalandhar, India and working as an Assistant Professor in Department of Mathematics, Akal University, Bathinda, India. He has more than 6 years of teaching experience. His scientific interests include numerical treatment of initial-value problems.
Vinay Kanwar completed his Ph.D. degree from Department of Mathematics, Himachal Pradesh University, Shimla, India. He is currently a Professor in Mathematics at University Institute of Engineering and Technology, Panjab University, Chandigarh. His doctoral thesis is in the area of fluid dynamics. Presently, he is working in numerical analysis, fixed point theory, specifically in iterative techniques for solving nonlinear equations and nonlinear systems, numerical solution of differential equations, and their applications in solving real-life problems.
REFERENCES
1Butcher JC. Numerical Methods for Ordinary Differential Equations. John Wiley & Sons; 2008.
6Ramos H, Singh G. A note on variable step-size formulation of a Simpson's-type second derivative block method for solving stiff systems. Appl Math Lett. 2017; 64: 101-107.
11Ramos H, Mehta S, Vigo AJ. A unified approach for the development of -step block Falkner-type methods for solving general second-order initial-value problems in ODEs. J Comp Appl Math. 2017; 318: 550-564.
13Ramos H, Rufai MA. Third derivative modification of k-step block Falkner methods for the numerical solution of second order initial-value problems. Appl Math Comp. 2018; 333: 231-245.
19Sallam S, Anwar N. Sixth order C 2 -spline collocation method for integrating second order ordinary initial value problems. Int J Comput Math. 2002; 79: 625-635.
25Sedgwick AE. An effective variable order variable step Adams method. Technical report 53. Department of Computer Science, University of Toronto, Toronto, Canada; 1973.
32Majid ZA, Azmi NA, Suleiman M. Solving second order ordinary differential equations using two point four step direct implicit block method. Eur J Sci Res. 2009; 31: 29-36.
33Omar Z. Developing a single step hybrid block method with generalized three off-step points for the direct solution of second order ordinary differential equations. Int J Math Anal. 2015; 9(46): 2257-2272.
34Singh G, Ramos H. An optimized two-step hybrid block method formulated in variable step-size mode for integrating y '==f(x,y,y′) numerically. Numer Math Theor Meth Appl. 2019; 12: 331-347.
35Ramos H, Kalogiratou Z, Monovasilis T, Simos TE. An optimized two-step hybrid block method for solving general second order initial value problems. Numer Alg. 2016; 72(4): 1089-1102.
36Abdelrahim R, Omar Z, Kuboye JO. New hybrid block method with three off-step points for solving first order ordinary differential equations. Am J Appl Sci. 2016; 13(2): 209-212.
37Fotta AU, Alabi TJ, Abdulqadir B. Block method with one hybrid point for the solution of first order initial value problems of ordinary differential equations. Int J Pure Appl Math. 2015; 103(3): 511-521.
38Jator SN, Oladejo HB. Block nyström method for singular differential equations of the lane-emden type and problems with highly oscillatory solutions. Int J Appl Comput Math. 2017; 3: 1385-1402.
39Vigo-Aguiar J, Ramos H. A family of A-stable Runge-Kutta collocation methods of higher order for initial-value problems. IMA J Numer Anal. 2007; 27(4): 798-817. doi:10.1093/imanum/drl040
42Ramos H, Singh G, Kanwar V, Bhatia S. An efficient variable step-size rational Falkner-type method for solving the special second-order IVP. Appl Math Compt. 2016; 291: 39-51.
Please check your email for instructions on resetting your password.
If you do not receive an email within 10 minutes, your email address may not be registered,
and you may need to create a new Wiley Online Library account.
Request Username
Can't sign in? Forgot your username?
Enter your email address below and we will send you your username
If the address matches an existing account you will receive an email with instructions to retrieve your username
The full text of this article hosted at iucr.org is unavailable due to technical difficulties.