Abstract
The second derivative block hybrid method for the continuous integration of differential systems within the interval of integration was derived. The second derivative block hybrid method maintained the stability properties of the Runge–Kutta methods suitable for solving stiff differential systems. The lack of such stability properties makes the continuous solution not reliable, especially in solving large stiff differential systems. We derive these methods by using one intermediate off-grid point in between the familiar grid points for continuous solution within the interval of integration. The new family had a high accuracy, non-overlapping piecewise continuous solution with very low error constants and converged under the suitable conditions of stability and consistency. The results of computational experiments are presented to demonstrate the efficiency and usefulness of the methods, which also indicate that the block hybrid methods are competitive with some strong stability stiff integrators.
1. Introduction
The system whose numerical approximation is sought is written in the form
In Equation (1), and are differentiable. To obtain accurate integration methods, which combine, to some extent, the advantages of the Runge–Kutta methods (RKMs) and linear multistep methods (LMMs), the use of the multistep collocation technique has been proposed by many authors, for example, Onumanyi et al. [1], Chollom and Jackiewicz [2], Chollom and Onumanyi [3], and Jator [4]. In this work, methods were designed for finding a continuous approximate solution of the system in Equation (1), where y(x) belongs to C1([a, b], Rm) and the set of points defined as
so that
The h in this paper, for simplicity, is a constant and N is a positive integer. Some of the methods derived for Equation (1) were, in fact, to evaluate the solution only at the first derivative of Equation (1). Long before our consideration of introducing the off-step points, Gragg and Stetter [5], Butcher [6,7], and Gear [8] had already considered introducing some off-step points and referred to them as generalized multistep predictor–corrector methods, a modified multistep method, and hybrid methods, respectively. Similarly, the introduction of the second derivative terms had already been considered by many authors. For example, earlier, Urabe [9] worked on a second derivative method with to obtain a starting method for the single-step integrator in the paper. In [10], Mitsui changed slightly Urabe’s PC pair to improve the performance of the method. To unify and extend this result after some years, Cash [11] generalized the PC pair of Urabe’s type of method. Gupta, in [12], derived and implemented second-derivative methods. Shaintani [13,14] suggested some integration algorithms very similar to RKMs, with and . In [15], the author constructed -stage RKMs, which exhibit evaluation. Chan and Tsai [16] considered explicit two-derivative RKMs, which are cheaper to calculate with fewer function evaluations than the standard RKMs. Recently, many authors have worked on methods to obtain better approximate solutions to differential equations or on stability properties to improve the accuracy and efficiency of solution of differential equations (see, for example, [17,18,19,20,21,22,23,24]).
In this article, we extend the work of Yakubu et al. [25] to derive block-hybrid methods that show a high order of accuracy with very low error constants and large regions of absolute stability and converge rapidly to the required solution. We should also point out that the effectiveness of this class of methods for the treatment of stiff systems is shown on the basis of their attractive properties and the efficient technique to deal with a large system of a stiff initial value problem of ordinary differential equations.
Definition 1
([26]). Let and be vectors given by
Then the k-block method is of the form
If r = 1, then the above equation in Equation (2) is just the classical k-step method. When B0 = 0, Equation (2) is explicit; otherwise, it is implicit.
The below diagram depicts the idea of the new methods.
In Figure 1, [a, b] is divided into a series of equal lengths of a block of six points with size or length h. The approximate solutions are computed simultaneously in the block at the points in the kth block. Since the methods are self-starting, we do not need predictors to start the block methods.
Figure 1.
Schematic representation of the block hybrid methods for stiff system of initial value problems.
2. The Block Hybrid Methods
The block hybrid methods in this segment are based on the polynomial of the form
and are referred to as interpolation polynomials, which is twice continuously differentiable. The is interpolated at , and and are collocated at to obtain the system,
Following Yakubu et al. [25], we put Equations (4)–(6) as:
to have
The and are first and second derivatives. From Equation (7), we have
which is rearranged to have
where
In fact, the coefficients in Equation (11) can be calculated from the inverse of the matrix U, as in Equation (9), or written as
Insert Equation (11) into Equation (10) (see Yakubu et al. [25,27]) to have
which is factorized to obtain
where
Then Equation (13) becomes
Expanding Equation (14) fully, we obtain
The T in Equation (15) denotes the transpose of.
3. Specification of the Multistep Block Hybrid Methods
3.1. Block Hybrid Method of Seventh Order
In this segment, we use the multistep approach for the construction of the new block hybrid method with symmetric points of order seven. We introduce three off-step points, , , and , and for the construction of the continuous scheme. These points are carefully chosen to guarantee the convergence of the method, as pointed out by [28,29,30]. From Equation (10), putting and gives the block hybrid method of the form
Simplifying Equation (16), the interpolation and collocation polynomial in Equation (10) reduces to the proposed continuous scheme of the form in Equation (15), as follows:
where
Evaluate Equation (17) at , , , , and to obtain the method:
3.2. Second-Derivative Block Hybrid Method of Order 14
Here, we introduce the second-derivative term to have the block hybrid method of order 14 whereby we have the following interpolation and collocation polynomial of the form
Simplify Equation (19) to obtain the proposed continuous scheme of the form in Equation (15) as:
where
Evaluating the continuous scheme in Equation (20) as usual at , , , , and , we obtain the method
The order and error constants for the constructed block hybrid methods are presented in Table 1. It is clear from the table that the members of the block hybrid method without a second-derivative evaluation are all of order seven except the last member in the block, which has an order higher than the remaining members in the block (order eight). The members of the block hybrid method with a second derivative are of uniform accuracy of order 14 with smaller error constants and, hence, are more accurate than those without a second derivative.
Table 1.
Order and error constants for the block hybrid methods.
4. Regions of Absolute Stability (RAS) of the Block Hybrid Methods
Generally, in designing a new numerical method, it is very important to consider the stability properties of the method. Therefore, in this paper, we reformulate the block hybrid methods, as in [31,32], by the partitioning of the form
where
and .
Thus, Equation (22a) is
The values r and s denote output and stage values, respectively. Applying Equation (22) to the linear test equation and , we have as
and the stability polynomial of the method can easily be obtained as
The region of absolute stability of the method is defined as
Computing the stability function gives the stability polynomial of the method, which is plotted to produce the required graph of the region of absolute stability of the method, as shown in Figure 2.
Figure 2.
Regions of absolute stability of the block hybrid methods. (a) Method (18) is A()-stable. (b) Method (21) is A-stable.
Remark 1.
In the stable block hybrid second-derivative implicit method, we added the matrix D1 obtained from the coefficients ofto the matrices A, C, B, and D, which enabled us to plot the region of absolute stability of the new method. The region of absolute stability of method (18) is A()-stable while the region of absolute stability of the second-derivative implicit method (21) is A-stable since the region contains the complex plane outside the enclosed figure.
5. Numerical Illustrations
For the illustration of the performance of the derived methods, we consider both linear and nonlinear challenging systems. To provide a direct comparison, Matlab software codes were written for the preliminary test experiments using a fixed step length. We present the calculated results in tables and depict the curves in figures. Here, nfe and Ext are the function evaluations and exact values, respectively.
Example 1.
The Kaps problem [30].
We consider the nonlinear Kaps stiff system,
The exact value of the system is
The solutions of this example are shown in Table 2 and the solution curves are depicted in Figure 3.
Table 2.
Absolute errors in the numerical integration of example 1.
Figure 3.
Graphical plots of Example 1 using block hybrid methods with nfe = 500. (a) Solution curve of Example 1 using (18); (b) solution curve of Example 1 using (21).
Example 2.
Consider the linear stiff system.
The exact value is
The results of using the newly constructed methods are shown in Table 3 and the solution curves are in Figure 4.
Table 3.
Absolute errors in the numerical integration of example 2.
Figure 4.
Graphical plots of Example 2 using block hybrid methods with nfe = 500. (a) Solution curve of Example 2 using (18); (b) solution curve of Example 2 using (21).
Example 3.
The linear problem by Enright [33] is given by:
The results of the integration are largely self-explanatory. If we examine the accuracy obtained, however, we see that the newly constructed methods are considerably accurate (see Table 4). The plotted curves are displayed in Figure 5.
Table 4.
Absolute errors in the numerical integration of example 3.
Figure 5.
Graphical plots of Example 3 using block hybrid methods with nfe = 500. (a) Solution curve of Example 3 using (18); (b) solution curve of Example 3 using (21).
Example 4.
This is given by Gear [34]:
We solve this problem, and the solution curves are presented in Figure 6.
Figure 6.
Graphical plots of Example 4 using the block hybrid methods with nfe = 500. (a) Solution curve of Example 4 using (18); (b) solution curve of Example 4 using (21).
Example 5.
Here, the present problem was solved by [35]. Therefore, for comparison, we present the graphical plots of this example in Figure 7, comparing with the exact solution curves. The application of the newly derived methods to this problem is to demonstrate their performance. However, we considered only the first four components, as shown in Table 5.
Figure 7.
Graphical plots of Example 5 using block hybrid methods with nfe = 500. (a) Solution curve of Example 5 using method (18); (b) solution curve of Example 5 using method (21).
Table 5.
Absolute errors of numerical integration of example 5.
6. Concluding Remarks
The presented second-derivative block hybrid method for a stiff system of ordinary differential equations is suitable for large systems. The second-derivative block hybrid time integrator provides good performance. Numerical results for the new second-derivative block hybrid method are promising and are demonstrably comparable to those obtained from popular high-order stiff time integrators found in the literature. Their stability properties, based on Remark 1, indicate that they are good candidates for large stiff systems. The next step of our research is to further apply some new methods to modeled differential equations that arise in other areas of scientific fields, such as chemical reaction, enzyme kinetics, cardiac electrophysiology, models of drug magnetic nanoparticle transport, and a model of tumor immune interaction, to mention just a few.
Author Contributions
Conceptualization and methodology D.G.Y.; formal analysis and software G.M.K., A.S.; investigation: D.M. and A.S.; writing—original draft preparation, D.G.Y.; writing—review and editing, D.M.; validation and visualization A.S. All authors planned the scheme, developed the mathematical modeling, and examined the theory validation. The manuscript was written through the contributions of all authors. All authors have read and agreed to the published version of the manuscript.
Funding
This research received no external funding.
Institutional Review Board Statement
Not applicable.
Informed Consent Statement
Not applicable.
Data Availability Statement
Not applicable.
Acknowledgments
Tertiary Education Trust Fund (TETFund) Ref. No. TETF/ DAST&D. D/6.13/NOM-CA/BAS&BNAS. The first and third authors gratefully acknowledged the financial support of the TETFUND. The authors gratefully acknowledged the reviewers for their thorough and very fair comments and observations.
Conflicts of Interest
The authors declare that there is no conflict of interest for the study.
References
- Onumanyi, P.; Awoyemi, D.O.; Jator, S.N.; Sirisena, U.W. New linear multi-step methods with continuous coefficients for first order initial value problems. J. Nig. Math. Soc. 1994, 13, 37–51. [Google Scholar]
- Chollom, J.P.; Jackiewicz, Z. Construction of two step Runge-Kutta (TSRK) methods with large regions of absolute stability. J. Compt. Appl. Math. 2003, 157, 125–137. [Google Scholar] [CrossRef]
- Chollom, J.P.; Onumanyi, P. Variable order A-stable Adams Moulton type block hybrid methods for solution of stiff first order ODEs. J. Math. Assoc. Niger. Abacus (31) B 2004, 2, 177–192. [Google Scholar]
- Jator, S.N. Leaping type of algorithm for parabolic partial differential equations. JMS Natl. Math. Cent. Abuja Niger. 2013, 2, 149–172. [Google Scholar]
- Gragg, W.B.; Stetter, H.J. Generalized multistep predictor-corrector methods. J. Assoc. Comput. Mach. 1964, 11, 188–209. [Google Scholar] [CrossRef]
- Butcher, J.C. Modified multistep method for the numerical integration of ordinary differential equations. J. Assoc. Comput. Mach. 1965, 12, 124–135. [Google Scholar] [CrossRef]
- Butcher, J.C. A multistep generalization of Runge-Kutta method with four or five stages. J. Ass. Comput. Mach. 1967, 14, 84–99. [Google Scholar] [CrossRef]
- Gear, W.C. Hybrid multistep method for initial value in ordinary differential equations. J. SIAM Numer. Anal. 1965, 2, 69–86. [Google Scholar]
- Urabe, M. An implicit one-step method of high-order accuracy for the numerical integration of ordinary differential equations. J. Numer. Math. 1970, 15, 151–164. [Google Scholar] [CrossRef]
- Mitsui, T. A modified version of Urabe’s implicit single-step method. J. Comp. Appl. Math. 1987, 20, 325–332. [Google Scholar] [CrossRef]
- Cash, J.R. High order methods for the numerical integration of ordinary differential equations. Numer. Math. 1978, 30, 385–409. [Google Scholar] [CrossRef]
- Gupta, G.K. Implementing second-derivative multistep methods using the Nordsieck polynomial representation. J. Math. Comput. 1978, 32, 13–18. [Google Scholar] [CrossRef]
- Shintani, H. On one-step methods utilizing the second derivative. Hiroshima Math. J. 1971, 1, 349–372. [Google Scholar] [CrossRef]
- Shintani, H. On explicit one-step methods utilizing the second derivative. Hiroshima Math. J. 1972, 2, 353–368. [Google Scholar] [CrossRef]
- Mitsui, T. Runge-Kutta type integration formulas including the evaluation of the second-derivative, Part I. Publ. Res. Inst. Math. Sci. 1982, 18, 325–364. [Google Scholar] [CrossRef]
- Chan, R.P.K.; Tsai, A.Y.J. On explicit two-derivative Runge-Kutta methods. Numer. Algorithm 2010, 53, 171–194. [Google Scholar] [CrossRef]
- Marian, D.; Ciplea, S.A.; Lungu, N. On the Ulam-Hyers Stability of Biharmonic Equation. Univ. Politeh. Buchar. Sci. Bull.-Ser. A-Appl. Math. Phys. 2020, 8, 141–148. [Google Scholar]
- Shokri, A. The Symmetric P-Stable Hybrid Obrenchkoff Methods for the numerical solution of second Order IVPS. TWMS J. Pure Appl. Math. 2012, 5, 28–35. [Google Scholar]
- Shokri, A. An explicit trigonometrically fitted ten-step method with phase-lag of order infinity for the numerical solution of the radial Schrödinger equation. J. Appl. Comput. Math. 2015, 14, 63–74. [Google Scholar]
- Shokri, A.; Saadat, H. P-stability, TF and VSDPL technique in Obrechkoff methods for the numerical solution of the Schrödinger equation. Bull. Iran. Math. Soc. 2016, 42, 687–706. [Google Scholar]
- Marian, D.; Ciplea, S.A.; Lungu, N. Ulam-Hyers stability of Darboux-Ionescu problem. Carpathian J. Math. 2021, 37, 211–216. [Google Scholar] [CrossRef]
- Sunday, J.; Shokri, A.; Marian, D. Variable step hybrid block method for the approximation of Kepler problem. Fractal Fract. 2022, 6, 343. [Google Scholar] [CrossRef]
- Kwami, A.M.; Kumleng, G.M.; Kolo, A.M.; Yakubu, D.G. Block hybrid multistep methods for the numerical integration of stiff systems of ordinary differential equations arising from chemical reactions. Abacus J. Math. Assoc. Nig. 2015, 42, 134–164. [Google Scholar]
- Singh, G.; Garg, A.; Kanwar, V.; Ramos, H. An efficient optimized adaptive step-size hybrid block method for integrating differential systems. Appl. Math. Comp. 2019, 362, 124567. [Google Scholar] [CrossRef]
- Yakubu, D.G.; Aminu, M.; Tumba, P.; Abdulhameed, M. An efficient family of second-derivative Runge-Kutta collocation methods for oscillatory systems. J. Nig. Math. Soc. 2018, 37, 111–138. [Google Scholar]
- Chu, M.T.; Hamilton, H. Parallel solution of ordinary differential equations by multi-block methods. SIAM J. Sci. Stat. Comp. 1987, 8, 342–353. [Google Scholar] [CrossRef]
- Yakubu, D.G.; Aminu, M.; Aminu, A. The numerical integration of stiff systems using stable multistep multi-derivative methods. Mod. Meth. Numer. Math. 2017, 8, 99–117. [Google Scholar] [CrossRef][Green Version]
- Fatunla, S.O. Block methods for second order ODEs. Intern. J.Comput. Math. 1991, 41, 55–63. [Google Scholar] [CrossRef]
- Lambert, J.D. Computational Methods in Ordinary Differential Equations; John Willey and Sons: New York, NY, USA, 1973. [Google Scholar]
- Lambert, J.D. Numerical Methods for Ordinary Differential Systems; John Wiley: New York, NY, USA, 1991. [Google Scholar]
- Burrage, K.; Butcher, J.C. Non-linear stability for a general class of differential equation method. BIT Numer. Math. 1980, 20, 185–203. [Google Scholar] [CrossRef]
- Butcher, J.C. Numerical Methods for Ordinary Differential Equations, 2nd ed.; John Wiley & Sons, Ltd.: New York, NY, USA, 2008. [Google Scholar]
- Enright, W.H. Second derivative multistep methods for stiff ordinary differential equations. SIAM J. Numer. Anal. 1974, 11, 321–341. [Google Scholar] [CrossRef]
- Gear, W.C. DIFSUB for Solution of ordinary differential equations. Comm. ACM 1971, 14, 185–190. [Google Scholar] [CrossRef]
- Fatunla, S.O. Numerical integrators for stiff and highly oscillatory differential equations. J. Math. Comput. 1980, 34, 373–390. [Google Scholar] [CrossRef]
Publisher’s Note: MDPI stays neutral with regard to jurisdictional claims in published maps and institutional affiliations. |
© 2022 by the authors. Licensee MDPI, Basel, Switzerland. This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution (CC BY) license (https://creativecommons.org/licenses/by/4.0/).