Abstract
A class of hybrid methods for solving fourth-order ordinary differential equations (HMFD) is proposed and investigated. Using the theory of B-series, we study the order of convergence of the HMFD methods. The main result is a set of order conditions, analogous to those for two-step hybrid method, which offers a better alternative to the usual ad hoc Taylor expansions. Based on the algebraic order conditions, a one-stage and two-stage explicit HMFD methods are constructed. Results from numerical experiment suggest the superiority of the new methods in terms of accuracy and computational efficiency over hybrid methods for special second ODEs, Runge–Kutta methods recently proposed for solving special fourth-order ODEs directly and some linear multistep methods proposed for the same purpose in the literature.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Fourth-order ordinary differential equations (ODEs) occur in a number of areas of applied sciences including quantum mechanics, fluid mechanics, elasticity, physics and engineering. It is a common knowledge that many classes of fourth-order ODEs defy analytical solution. That is, only a small class of the equations can be solved by analytical techniques. Hence, the need for numerical methods becomes imperative. Owing to this fact, a number of authors have proposed and investigated some numerical methods for solving the fourth-order ODEs, among which are linear multistep and Runge–Kutta- related methods [1,2,3,4], where the fourth-order ODEs need to be transformed into an equivalent system of first-order ODEs for the numerical integration to proceed. The drawback of computational inefficiency of these methods prompted direct integrators for fourth-order ODEs such as cubic spline collocation tau method [5], logarithmic collocation method [6], cubic spline method for fourth-order obstacle problems [7], fourth-order initial and boundary value problems integrators [8]. Other such methods can be found in [9,10,11] and references therein.
In this paper, we seek to construct and investigate a class of efficient numerical integrators for a class of special fourth-order ODEs, which takes the form
where \(y\in R^r,\, f:R\times R^r\rightarrow R^r\) is a continuous vector value function. And the fact that f does not depend on \(y',\,y'',\,y'''\) explicitly is the specialty associated with (1). Typical example of (1) is the ill-posed problem of a beam on elastic foundation, which finds an important engineering application. This problem has been studied in [11, 12].
In line with the direct numerical integrators of Runge–Kutta type for a class of special third-order ODEs [13], a direct numerical integrator of Runge–Kutta type was proposed for (1) recently [11], whose internal and update stages depend on the first, second and the third derivatives of the solution at each step. We propose a class of new integrators whose stages do not depend on the derivatives of the solution.
Section 2 is devoted to formulation of the proposed method. In Sect. 3, we present the theory of B-series and the associated rooted trees through which order conditions of the proposed method are derived. Local truncation error and order of convergence of the method are presented in Sect. 4. We present algebraic order conditions of the method in Sect. 5. As examples, explicit one-stage and two-stage HMFD methods are presented in Sect. 6. Stability and convergence analysis is presented in Sect. 7. Numerical experiment is presented in Sect. 8. And conclusion is given in Sect. 9.
2 Formulation of HMFD Method
To formulate the proposed HMFD method, we consider transforming (1) into a system of first-order initial value problem (IVP) as follows:
An s-stage Runge–Kutta method is defined by
Applying (3) to (2), the following equations are obtained
Eliminating \(\bar{Y}_i\), \(\bar{\bar{Y}}_i\) and \({\bar{\bar{\bar{Y}}}}_i\) in the equations above, we have
Denote
And
The above suppositions together with difference formula on the above equations lead to the proposed method in vector form as follows:
where \(\mathbf{C }_1=6\mathbf e +11\mathbf c +6\mathbf c ^2+\mathbf c ^3\), \(\mathbf C _2=6\mathbf c +5\mathbf c ^2+\mathbf c ^3\), \(\mathbf C _3=3\mathbf c +4\mathbf c ^2+\mathbf c ^3\), \(\mathbf C _4=2\mathbf c +3\mathbf c ^2+\mathbf c ^3\), \(\mathbf b =[b_1,...,b_m]^T\), \(\mathbf c =[c_1,...,c_m]^T\), \(\mathbf e =[1,...,1]^T\), \(\mathbf A =[a_{i,j}]\), \(\mathbf Y =[Y_1,...,Y_m]^T\) and \(\mathbf I \) is identity matrix of \(m\times m\) dimension. The coefficients of the methods are summarized in Table 1.
3 B4-Series and Associated Rooted Trees
As we have in the case of RKT, RKN and RK methods for third-, second- and first-order ODEs, when working on the derivation of order conditions for HMFD methods for fourth-order ODEs, we need to consider the autonomous case of problem (1)
In fact, the equation in (1) can be extended by one dimension \(v=x\) in order to rewrite the initial value problem (IVP) (1) equivalently as the following autonomous problem
Applying the scheme (4) to (6) gives
Substituting first part of (6) into (7) gives
Observe the last two equations of (8), they look exactly like (4). This implies that the HMFD method (4) applied to (5) produces the same numerical solution like the one obtained when (4) is applied to (1).Thus, it’s enough to discuss the numerical solution of (5). Hence, the method (4) takes the form
Continuous differentiation of the exact solution y(x) with respect to independent variable x gives the following:
3.1 Construction of Rooted Trees
Here, detail description of how the relevant trees in this paper are constructed is given. It’s easy to associate each of the expressions of the derivatives of y above and those of higher orders with rooted trees. The relevant trees here consist of four type of vertices, namely small dot , big dot , small circle and big circle representing \(y'\), \(y''\), \(y'''\) and f, respectively. The ’branch’ of a tree is a line joining its vertices according to naturally defined rules. The line simply indicates differentiation with respect to components of y, \(y'\), \(y''\) or \(y'''\). When a ’branch’ grows to a small dot vertex, then it represents differentiation with respect to the component of y. It’s with respect to the component of \(y'\) if the ’branch’ grows to a big dot vertex. The differentiation is with respect to component of \(y''\) if the ’branch’ grows to a small circle vertex. And it’s with respect to the component of \(y'''\) if the destination vertex is a big circle. This relationship could also be interpreted as parent–son relationship. For instance, small dot vertex gives birth to big dot vertex as its only son, because \(y'\) has only one nonzero derivative with respect to itself and has not with respect to y, \(y''\) and \(y'''\). The only son of big dot vertex on the other hand is small circle vertex, because \(y''\) has only one nonzero derivative with respect to itself and has non with respect to y, \(y'\) and \(y'''\). Similarly, small circle vertex’s only son is big circle vertex. In the case of big circle vertex, it has many sons which are all small dot vertices. This is because f depends on y only and can have multiple derivatives with respect to component of y only, but not with \(y'\), \(y''\) and \(y'''\). The relevant trees can recursively be defined by simply modifying the notation used for trees associated with second-order differential equations in [14].
Definition 1
The set of trees \(T_4\) is defined recursively as follows:
-
(i)
the graph (root) is a member of \(T_4\); the graphs and are in \(T_4\). And the null tree \(\theta \) is also a member of \(T_4\);
-
(ii)
if \(t_1,...,t_m \in \) \(T_4\), then the graph \(t=\left[ t_1,...,t_m \right] _4\) obtained by connecting the roots of \(t_1,...,t_m\) to the big circle vertex of the graph is also in \(T_4\), where the small dot vertex at the bottom represents the root of the trees. The subscript 4 is a reminder that the tree is associated with fourth-order differential equations and that the ’stem’ upon which ’branches’ grow consists of a string of four vertices.
Let , , and denote first-order, second-order, third-order and fourth-order trees, respectively.
Definition 2
The order \(\rho :T_4\rightarrow N\) of a tree t is defined recursively as follows:
-
(i)
\(\rho (\tau _1)=1\), \(\rho (\tau _2)=2\), \(\rho (\tau _3)=3\), \(\rho (\tau _4)=4\);
-
(ii)
for \(t=\left[ t_1,...,t_m \right] _4\in T_4\), \(\rho (t)=4+{\sum _{i=1}^m}\rho (t_i)\). In nutshell, for each \(t\in T_4\), the order \(\rho (t)\) of a tree t is the number of vertices of the tree. The set of all \(T_4\) of order q is denoted by \(T_{4q}\).
-
(iii)
\(\alpha (\theta )=\alpha (\tau _1)=\alpha (\tau _2)=\alpha (\tau _3)=\alpha (\tau _4)=1;\)
-
(iv)
if \(t=\left[ t_1^{\mu _1},...,t_m^{\mu _m} \right] _4 \in T_4\), with \(t_i\) distinct for different i and different from \(\theta \), then
$$\begin{aligned} \alpha (t)= \left( \rho (t)-4\right) !\prod _{i=1}^m\frac{1}{\mu _i!}\left( \frac{\alpha (t_i)}{\rho (t_i)!}\right) ^{\mu _i}. \end{aligned}$$
The first four vertices of a tree are its small dot vertex, big dot vertex, small circle vertex and big circle vertex. Any distinct labeling involves only the remaining \(\rho (t)-4\) vertices. The first four vertices form the root and the ’stem’ upon which the ’branches’ (other vertices) grow.
It is important to associate each elementary differential F(t) with a corresponding \(t\in T_4\).
Definition 3
The function F on \(T_4\) is defined recursively by
-
(i)
\(F(\theta )\left( y,y',y'',y'''\right) =y\), \(F(\tau _1)\left( y,y',y'',y'''\right) =y'\), \(F(\tau _2)\left( y,y',y'',y'''\right) =y''\), \(F(\tau _3)\left( y,y',y'',y'''\right) =y'''\) and \(F(\tau _4)\left( y,y',y'',y'''\right) =f(y)\);
-
(ii)
if \(t=\left[ t_1,...,t_m \right] _4 \in T_4\), then
$$\begin{aligned} F(t)\left( y,y',y'',y'''\right) =f^{(m)}(y)\left( F(t_1)\left( y,y',y'',y'''\right) ,...,F(t_m)\left( y,y',y'',y'''\right) \right) . \end{aligned}$$
Definition 4
Let \(\beta :T_4\rightarrow R\) be a mapping, with \(\beta (\theta )=1\). The B4-series with coefficient function \(\beta \) is a formal series of the form
In the derivation of order conditions, the following lemma, which states that \(h^4f(.)\) applied to a B4-series generates a B4-series [3, 13, 14], is very important.
Lemma
Let \(B(\beta ,y)\) be a B4-series with coefficient function \(\beta \). Then, \(h^4f(B(\beta ,y))\) is also a B4-series, i.e.,
with
and for all other tree \(t=\left[ t_1,...,t_m \right] _4\in T_4\),
Proof
Since \(B(\beta ,y)=y+O(h)\), it is clear that \(h^4f(B(\beta ,y))\) can be expanded as a Taylor series about y. Furthermore, \(\beta ^{iv}(\theta )=\beta ^{iv}(\tau _1)=\beta ^{iv}(\tau _2)=\beta ^{iv}(\tau _3)=0\), because the expansion starts with \(h^4f(y)\), which also shows that \(\beta ^{iv}(\tau _4)=24\). Proceeding as in the proof of Lemma in [11, 13, 14], we have
because \(\frac{m!}{\mu _1!...\mu _m!}\) is ways of ordering the labels \(t_1,...,t_m\) in \([t_1,...,t_m]_4\). Finally, with \(\beta ^{iv}\) as defined in the statement of Lemma,
\(\square \)
4 Local Truncation Error of HMFD and its Convergence Order
Like the hybrid methods presented in [14], to derive the order conditions of HMFD methods (four-step methods), we consider them as single step methods of the form
where \(H_n\) is a well-defined numerical solution whose initial point \(H_0\) is generated by some starting procedure, see [14]. The first part of equation (4) can be written as a set of four equations by letting
so that
which implies that
Now, let
which implies that
Then, (13) becomes
Now, by letting
we have
Hence, (15) gives,
The system of Eqs. (12), (14), (16) and (17) can be written as (11) with
The vector \(H_n\) is an approximation for \(w_n=w(x_n,h)\), where w is the exact-value function defined by
The local truncation error of the HMFD method at point \(x_n\) is defined by
where
Suppose that each component of Y in the second part of (4) can be expanded as a B4-series \(Y_i(x_n)=B(\psi _i,y(x_n))\), we get
Applying Lemma in Sect. 3 on (21) , we get
It follows from (22) that, in vector form,
and \(\forall \) tree \(t\in T_4\) with \(\rho (t)\ge 4\),
And for trees \(t=[t_1,...,t_m]_4\in T_4\), see Lemma in Sect. 3,
By substituting (24) in (23), the coefficients \(\psi _j(t)\) can be generated recursively.
Theorem
For exact starting values, the method (4) is said to be convergent of order p if and only if for all trees \(t\in T_4\),
for \(\rho (t)\le p+1\) but not for some trees of order \(p+2\).
Proof
The proof is similar to the proof of Theorem 1 in [14]. From (18)–(20), it is obvious that the first, second and third components of the local truncation error \(d_n\) varnish, and the fourth component is
The method is of order p if p is the largest integer such that
The only condition that makes (26) to hold for all \(n \ge 0\) is
\(\square \)
5 Algebraic Order Conditions
A relationship that exists between the coefficients of a numerical method which causes annihilation of successive terms in a Taylor series expansion of local truncation error of the method is termed order condition of the method [14]. To generate such relationships (order conditions) for HMFD methods for trees of different orders, Eq. (25) together with (23) and (24) is used. It is worth noting that the ’order’ referred to here is for the convergence of HMFD methods not for the order of the rooted trees.
5.1 Fourth-Order Tree
The only tree with order four in \(T_4\) is \(\tau _4=[\theta ]_4\): , and the order condition for it is
and (23) gives
5.2 Fifth-Order Tree
The tree in \(T_4\) with order 5 is \(t_{51}=[\tau _1]_4\):. The corresponding order condition is
and from (24) we obtain \(\psi _i'''(t_{4,1})=120\psi _i(\tau _1)\), which implies that from (23)
The trees of order up to nine are constructed below in accordance with the description given in Sect. 3.
The corresponding order conditions of HMFD methods up to trees of order nine are presented in Table 2 below, where all the summations in the order conditions run from \(i,\,j,\,k,...\) to s.
Like the two-step hybrid methods, the summations in the equations of the order conditions of HMFD methods associated with any tree can easily be generated as follows: the stem of any tree of order \(\rho (t) \ge 4\) represents a component of vector b; each small dot vertex at the terminal donates a component of vector c; each branch from big circle vertex to a terminal big dot vertex contributes a component of \(\mathbf c ^2\); each branch that grows from big circle vertex to a terminal small circle vertex contributes a component of vector \(\mathbf c ^3\), and each branch growing from big circle vertex to another big circle vertex contributes an element of matrix A.
5.3 Simplifying Assumptions
It can be seen in Table 2 that the number of equations of order conditions of HMFD (like every other method, e.g., RK, RKN THM) increases with increase in the order of the trees, resulting in more equations to be solved for higher-order methods. But there exist certain relationships that naturally connect the coefficients of numerical methods which when explored appropriately can reduce the number of independent equations of order conditions. These relationships are called simplifying assumptions.
Suppose HMFD method (4) has a stage order q, so that \(Y_i(x_n)=B(\psi _i,y(x_n))\) differs from \(y(x_n+c_ih)\) by terms of order \(h^{q+1}\) [14], then
Which implies that
and (23) gives the set of simplifying assumptions as
where \(0\le \lambda \le q-4\).
6 Construction of Explicit HMFD Methods
Having derived the order conditions for the proposed class of HMFD methods, we present in this section some explicit methods of the class. It is noteworthy that the proposed methods possess certain special properties, which are responsible for their computational efficiency. For example, although the methods are not self- starting, but after obtaining the starting values, the integration proceeds with \(s-3\) function evaluation per step. These properties are given special consideration in the derivation process.
6.1 One-Stage Explicit HMFD Method
To construct a one-stage method, which is the first member of the proposed class of HMFD methods, algebraic order conditions (see Table 2) up to trees of order 7 are considered. Note that \(s \ge 4\) in any case of HMFD methods. Putting \(s=4\) in the order conditions mentioned, we get
which is a system of four equations in four unknown parameters, see Table 1. This gives unique values of the unknowns. From Eq. (29) with \(\lambda =0\), the components of matrix A of the method are obtained. Summary of the coefficients is given in Table 3.
6.2 Two-Stage Explicit HMFD Method
To obtain a two-stage method, \(s=5\) is considered in the order conditions up to trees of order nine in Table 2.
The system of equations above coupled with (29), \(\lambda =0,1\), is solved. A unique set of coefficients of the two-stage method is obtained as given in Table 4.
7 Stability and Convergence Analysis
The update stage of the HMFD method (4), which is represented by its autonomous form (9), can be written as follows:
7.1 Zero Stability
The HMFD method is said to be zero stable if the roots \(\xi _j\), \(j=1,2,3,4\), of the first characteristics polynomial \(\chi (\xi )\), which is given by
satisfy \(\left| \xi _j\right| \le 1\), \(j=1,2,3,4\) and for the roots with \(\left| \xi _j\right| =1\), the multiplicity does not exceed 1 (see [15, 16]).
7.2 Consistency
The HMFD method is said to be consistent if it has order \(p\ge 1\).
Remark
We note that the first characteristics polynomial associated with (31) is
which implies that \(\xi =1\) four times. Therefore, the HMFD method is zero stable. We also note from Table 2 that the minimum order p of the method is 4, which implies that it’s consistent. Hence, we conclude that the HMFD method is convergent.
8 Numerical Experiment
Presented in this section is numerical experiment, in which the proposed methods alongside some existing codes are applied on several test problems. Efficiency of the codes is measured by plotting the \(\log _{10}\) of maximum errors recorded with different step lengths h in a given interval [a,b] against total function call for each code. While step length h is used in the integration with one-stage method, 2h, 3h and 4h are used for two-stage, three-stage and four-stage methods, respectively. The acronyms below are used in the paper:
-
HMFDs1: the proposed one-stage explicit HMFD method derived in Sect. 6 of this paper;
-
HMFDs2: the proposed two-stage explicit HMFD method derived in Sect. 6 of this paper;
-
RKFDs3: three-stage explicit RKFD method presented in [11];
-
HMs4: four-stage hybrid method for special second-order ODEs presented in [17];
-
THMs3: three-stage explicit hybrid method given in [18];
-
AWM: collocation method for solving fourth-order ODEs obtained in [6];
-
JTR: Fourth-order ODEs integrator proposed in [8].
8.1 Implementation
To implement the proposed schemes in this paper, three starting points of the solution in addition to the given initial condition of the problem are required. These starting points can be obtained by any one-step scheme, for instance, RKFDs3 scheme in [11]. Once the staring points are generated, the next thing is to compute the components of vector Y, update of the solution (\(y_{n+1}\)) and the error (\(e_{n+1}\)) of the method in the step. To compute these quantities at the next grid point, a fixed step length h is added to the previous grid point (\(x_{n+1}=x_n+h\)). Here, only \(Y_4\) and \(Y_5\) are required to be computed if we are implementing the proposed HMFDs2 for example, because \(Y_1\), \(Y_2\), \(Y_3\) are readily available from the previous step, that is,
The procedure continues until the value of \(x_n\ge b\), where b is an upper limit of solution interval \(\left[ a,b\right] \). Maximum value of the errors (\(e_n\)) computed at all steps is then recorded.
8.2 Test Problems
Problem 1
Problem 2
Problem 3
Problem 4
the ill-posed problem of a beam on elastic foundation:
Problem 5
The test problems are first transformed to equivalent systems of second-order equations for HMs4 and THMs3 to be applied. Figures 1, 2, 3, 4 and 5 show the outcome of numerical experiment where the computational efficiency of the proposed methods is compared with the existing methods in the literature. For all the test problems solved, efficiency and accuracy of the proposed methods in this paper are more pronounced, especially for the two-stage method (HMFDs2).
Tables 5, 6, 7, 8 and 9 show comparison of numerical results of the proposed methods and those of fourth- order ODEs integrators of linear multistep type presented in [6] and [8], where maximum errors \(\left( |y(x_n)-y_n| \right) \) for each method in the given intervals for each step-size h are recorded. It is obvious that for all the problems solved, our method records the smallest errors except for a few cases where the errors are almost equal with those of the multistep methods.
9 Conclusion
A class of four-step hybrid methods (HMFD) for direct numerical integration of special fourth-order ODEs is proposed. This class of hybrid methods is similar to the class of two-step hybrid methods for solving special second-order ODEs directly [14]. Unlike RKFD methods [11], HMFD methods do not depend on the derivatives of the solution. Using the theory of B-series with fourth-order ODEs trees that first appeared in [11], algebraic order conditions of the HMFD methods are derived. The order conditions are used to construct a one-stage and two-stage methods. Numerical results presented in Figs. 1, 2, 3, 4 and 5 reveal that the new methods proposed in this paper are more accurate and efficient when compared with the hybrid methods for solving special second-order ODEs as well as the RKFD methods recently proposed in [11]. Similarly, the results in Tables 5, 6, 7, 8 and 9 suggest the superiority of the proposed schemes in this paper over the linear multistep schemes presented in [6] and [8].
References
Dormand, J.R.: Numerical Methods for Differential Equations: A Computational Approach, vol. 3, second edn. CRC Press, Boca Raton (1996)
Lambert, J.D.: Numerical Methods for Ordinary Differential Systems: The Initial Value Problem, third edn. Wiley, New York (1991)
Hairer, E., Nrsett, S.P., Wanner, G.: Solving Ordinary Differential Equations I: Nonstiff Problems, 2nd edn. Springer, Berlin (1993)
Butcher, J.C.: Numerical Methods for Ordinary Differential Equations, 2nd edn. Wiley, England (2008)
Taiwo, O., Ogunlaran, O.: Numerical solution of fourth order linear ordinary differential equations by cubic spline collocation tau method. J. Math. Stat. 4, 264–268 (2008)
Awoyemi, D.: Algorithmic collocation approach for direct solution of fourth-order initial-value problems of ordinary differential equations. Int. J. Comput. Math. 82, 321–329 (2005)
Al-Said, E.A., Noor, M.A., Rassias, T.M.: Cubic splines method for solving fourth-order obstacle problems. Appl. Math. Comput. 174, 180–187 (2006)
Jator, S.N.: Numerical integrators for fourth order initial and boundary value problems. Int. J. Pure Appl. Math. 47, 563–576 (2008)
Kayode, S.J.: An efficient zero-stable numerical method for fourth-order differential equations. Int. J. Math. Math. Sci. (2008). doi:10.1155/2008/364021
Waeleh, N., Abdul Majid, Z., Ismail, F., Suleiman, M.: Numerical solution of higher order ordinary differential equations by direct block code. J. Math. Stat. 8, 77–81 (2011)
Hussain, K., Ismail, F., Senu, N.: Solving directly special fourth-order ordinary differential equations using Runge–Kutta type method. J. Comput. Appl. Math. 306, 179–199 (2016)
Dong, L., Alotaibi, A., Mohiuddine, S., Atluri, S.: Computational methods in engineering: a variety of primal & mixed methods, with global & local interpolations, for well-posed or ill-posed BCs. CMES Comput. Model. Eng. Sci. 99, 1–85 (2014)
You, X., Chen, Z.: Direct integrators of Runge–Kutta type for special third-order ordinary differential equations. Appl. Numer. Math. 74, 128–150 (2013)
Coleman, J.P.: Order conditions for a class of two-step methods for \(y^{\prime \prime }=f(x, y)\). IMA J. Numer. Anal. 23, 197–220 (2003)
Ngwane, F., Jator, S.: Block hybrid method using trigonometric basis for initial value problems with oscillating solutions. Numer. Algorithms 63, 713–725 (2013)
Ola Fatunla, S.: Block methods for second order odes. Int. J. Comput. Math. 41, 55–63 (1991)
Jikantoro, Y., Ismail, F., Senu, N.: Higher order dispersive and dissipative hybrid method for the numerical solution of oscillatory problems. Int. J. Comput. Math. 93, 929–941 (2016)
Franco, J.: A class of explicit two-step hybrid methods for second-order IVPs. J. Comput. Appl. Math. 187, 41–57 (2006)
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Ahmad Izani Md. Ismail.
Rights and permissions
About this article
Cite this article
Jikantoro, Y.D., Ismail, F., Senu, N. et al. A Class of Hybrid Methods for Direct Integration of Fourth-Order Ordinary Differential Equations. Bull. Malays. Math. Sci. Soc. 41, 985–1010 (2018). https://doi.org/10.1007/s40840-017-0520-x
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s40840-017-0520-x