Laguerre collocation method for solving higher order linear boundary value problems

Author(s): Tersoo Luga1, Sunday Simon Isah2, Vershima Benjamin Iyorter3
1Department of Mathematics/Statistics/Computer Science, College of Science, Federal University of Agriculture, Makurdi, Nigeria.
2Department of Mathematics/Statistics/Computer Science, College of Science, Federal University of Agriculture, Makurdi, Nigeria
3Department of Mathematics/Computer Science, College of Natural and Applied Sciences, University of Mkar, Mkar, Nigeria.
Copyright © Tersoo Luga, Sunday Simon Isah, Vershima Benjamin Iyorter. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Abstract

Collocation methods are efficient approximate methods developed by utilizing suitable set of functions known as trial or basis functions. These methods are used for solving differential equations, integral equations and integro-differential equations, etc. In this study, the Laguerre polynomial of degree 10 is used as a basis function to propose a collocation method for solving higher order linear ordinary differential equations. Four examples on \(4th\), \(6th\), \(8th\) and \(10th\) order ordinary differential equations are selected to illustrate the effectiveness of the method. The numerical results show that the proposed collocation method is easy and straightforward to implement, nevertheless, it is very accurate.

Keywords: Laguerre polynomials, collocation method, orthogonal polynomials, boundary value problems.

1. Introduction

Higher order boundary value problems (BVPs) in ordinary differential equations (ODEs) are important tools for modelling different physical phenomena in sciences and engineering [1,2,3]. Although many ordinary differential equations especially linear ODEs have known analytical solutions, searching for numerical solutions is important because they provide reliable approximations to problems that are difficult to solve analytically [4]. In many situations, sound mathematical theories are often required for analysis, however, the closed form solutions may be too complicated, thus approximate solutions may be preferred [5].

Over the years, researchers have developed many numerical methods besides collocation methods for handling higher order BVPs. The least squares solutions of \(8th \) order boundary value problems using the theory of functional connections was developed by [3]. Similarly, [6] considered the numerical solution of \(8th \) order boundary value problems which arise in magnetic fields and cylindrical shells. In the same vein, [7] used the Legendre Galerkin method for the numerical solution of 8th order linear boundary value problems. [8] approximated the solution of some mth order linear boundary value problems where \(2\leq m\leq 9 \) by the use of a numerical method constructed with “Tchebychev” polynomial. The approximation of linear 10th order boundary value problems via polynomial and non-polynomial cubic spline techniques was considered by [9]. [10] applied the optimal homotopy asymptotic method to \(8th \) order initial and boundary value problems. [11] developed a continuous k-step linear multistep method (LMM) that was utilized to generate finite difference methods which were assembled and applied as simultaneous numerical integrators to solve \(4th \) order initial value and boundary value problems directly. [12] proposed a method for the numerical solution of special \(4th \) order BVPs via modified decomposition method.

Collocation methods using splines, polynomials and orthogonal polynomials have been developed and applied for the solution of higher order BVPs. [1] proposed a B-Spline collocation method for approximating higher order linear boundary value problems while a quintic B-spline and sixtic B-spline collocation methods were developed by [13,14] for the treatment of \(8th \) order boundary value problems. Similarly, a Haar wavelet collocation method for approximating \(8th \) order boundary value problems was developed by [15]. Cubic spline collocation tau method for handling 4th order linear ordinary differential equations was constructed by [16]. The Chebyshev polynomial was utilized by [17] to develop a multiple perturbed collocation tau-method which was used for solving \(4th- 6th \) order BVPs. Again, [2] applied the Taylor series polynomials as basis to form a standard collocation method and further developed a perturbed collocation method using Chebyshev polynomials as perturbation terms for approximating \(4th \) order BVPs. All the numerical methods mentioned above provided accurate approximations although with different accuracies.

The ease of implementing collocation methods with polynomial basis which provide accurate results that are comparable with other numerical methods is the motivation of this work. Since few orthogonal polynomials have been applied as trial functions to develop higher order collocation methods for solving BVPs, the Laguerre polynomial of degree \(N=10 \) is utilized as basis function to construct a collocation method which is implemented on 2mth higher order BVPs, \(2\leq m\leq 5 \). The existence and uniqueness of higher order BVPs are not considered in this work, however, this subject matter is comprehensively presented in [18] and [19].

The Laguerre collocation method is presented in Section 2, while the implementation is done in Section 3. Finally, Section 4 deals with the discussion and conclusion.

2. Methods

2.1. Laguerre polynomials

Laguerre polynomials are solutions of the Laguerre differential equation
\begin{equation} \label{e1} x\frac{d^2y}{dx^2}+(1-x)\frac{dy}{dx}+ny=0, \end{equation}
(1)
obtained via series solution using the Frobenius method at the centre \(x_{0}=0 \). According to [20], Laguerre polynomials can be generated by the formula
\begin{equation} \label{e2} L_{n}(x)=\frac{e^x}{n !}\frac{d^n}{dx^n}(e^{-x}x^{n})=\frac{1}{n!}\left(\frac{d}{dx}-1\right)^n x^n, \end{equation}
(2)
which satisfies the following recursive relationship
\begin{equation} \label{e3} (n+1)L_{n+1}(x)=(2n+1-x)L_{n}(x)-nL_{n-1}(x), \end{equation}
(3)
and
\begin{equation} \label{e4} xL^{‘}_{n}(x)=nL_{n}(x)-nL_{n-1}(x). \end{equation}
(4)
The first two terms \(L_{0}(x) \) and \(L_{1}(x) \) can be generated from (2) while the rest of terms can be obtained from (3) or (4). The first eleven terms which are polynomials of various degrees generated as explained above are given below
\begin{equation} \label{e5} \left.\begin{aligned} L_0(x) & = 1,\;\;\;\;\;\; L_1(x) = 1-x,\;\;\;\;\;\; L_2(x) = 1-2x+\frac{1}{2}x^2,\\ L_3(x) &= 1-3x+\frac{3}{2}x^2-\frac{1}{6}x^3,\\ L_4(x) & = 1-4x+3x^2-\frac{2}{3}x^3+\frac{1}{24}x^4,\\ L_5(x) &= 1-5x+5x^2-\frac{5}{3}x^3+\frac{5}{24}x^4-\frac{1}{120}x^5, \\ L_6(x) & = 1-6x+\frac{15}{2}x^2-\frac{10}{3}x^3+\frac{5}{8}x^4-\frac{1}{20}x^5+\frac{1}{720}x^6,\\ L_7(x) & = 1-7x+\frac{21}{2}x^2-\frac{35}{6}x^3+\frac{35}{24}x^4-\frac{7}{40}x^5+\frac{7}{720}x^6-\frac{1}{5040}x^7,\\ L_8(x) & = 1-8x+14x^2-\frac{28}{3}x^3+\frac{35}{12}x^4-\frac{7}{40}x^5+\frac{7}{180}x^6-\frac{1}{630}x^7+\frac{1}{40320}x^8,\\ L_9(x) & = 1-9x+18x^2-14x^3\frac{21}{4}x^4-\frac{21}{20}x^5+\frac{7}{60}x^6+\frac{1}{140}x^7+\frac{1}{4480}x^8-\frac{1}{362880}x^9,\\ L_{10}(x) & = 1-10x+\frac{45}{2}x^2-20x^3+\frac{35}{4}x^4-\frac{21}{10}x^5+\frac{7}{24}x^6-\frac{1}{42}x^7+\frac{1}{896}x^8-\frac{1}{36288}x^9+\frac{1}{3628800}x^{10}. \end{aligned} \right\} \end{equation}
(5)

2.2. Higher order linear boundary value problems

Consider the \(nth \) order ordinary differential equation
\begin{equation} \label{e6} y^{n}=f\left(x,y,y’,…, y^{(n-1)}\right) \end{equation}
(6)
defined on the interval \(a\leq x \leq b \) with the boundary conditions
\begin{equation} \label{e7} \left.\begin{aligned} y(a)=A_0 & \qquad y(b)=B_0\\ y^{‘}(a)=A_1 &\qquad y^{‘}(b)=B_1\\ \vdots &\qquad\qquad \vdots\\ y^{(n-1)}(a)=A_{(n-1)}& \qquad y^{(n-1)}(b)=B_{(n-1)} \end{aligned} \right\} \end{equation}
(7)
The linear form of (6) is given as
\begin{equation} \label{e8} p_n (x) y^{(n)}(x)+p_{(n-1)} (x) y^{(n-1)} (x)+\cdots+p_1 (x) y{‘} (x)+p_0 (x)y(x)=g(x), \end{equation}
(8)
where \(p_n (x),\ldots,p_0 (x) \) are coefficients of the unknown function and its derivatives which may either be a constant or function of \(x \), and similarly is \(g(x). \)

This work seeks to obtain the approximate solution to (8) and the boundary conditions as given in (7). However, the boundary value problems considered here have the same order \(n \) with the number of boundary conditions \(k \).

2.3. Derivation of the Laguerre collocation method

We assume that (8) and (7) can be approximated with a linear combination of the Laguerre polynomials provided in (5) as given below
\begin{equation} \label{e9} y(x)=a_0 L_0 (x)+a_1 L_1 (x)+\cdots+a_N L_N (x), \end{equation}
(9)
where \(N \) is the degree of the polynomial, and \(a_0,a_1,\ldots,a_N \) are constants to be determined. Equation (9) can be written in more compact sigma notation as
\begin{equation} \label{e10} y(x)=\sum_{j=0}^{N}a_jL_j(x). \end{equation}
(10)
Equation (10) is differentiated \(n \) number of times corresponding to the order of the boundary value problem given and thereafter substituted in Equation (8) to get
\begin{equation} \label{e11} p_n(x)\sum_{j=0}^{(N)}a_jL_j^{(n)}(x)+p_{n-1}(x)\sum_{j=0}^{N}a_jL_j^{(n-1)}(x)+\cdots+p_1(x)\sum_{j=0}^{N}a_jL_j^{\prime}(x)+p_0(x)\sum_{j=0}^{N}a_jL_j(x)=g(x). \end{equation}
(11)
Each term of Equation (11) is expanded and the like coefficients \(a_j,j=0,1,…,N \) are collected resulting to
\begin{equation} \label{e12} \sum_{j=0}^N a_j\left(p_j^{\star}(x)Q(x)\right)=g(x). \end{equation}
(12)
\(Q_j (x) \) are polynomials of various degrees while \(p_j^{*} (x) \) are coefficients which may be constants or functions of \(x \) which may not necessarily be polynomials.

2.4. Generating \(N+1 \) systems of linear equations

Since the boundary value problems considered in this work have the same order \(n \) with the number of boundary conditions \(k \), to solve for \(a_j \), \(j=0,1,…,N, k \) number of equations are generated using the boundary conditions, \(\frac{k}{2} \) each at the lower and upper boundaries respectively. The remaining \(N-k+1 \) equations are generated at the collocation points using Equation (12).
2.4.1. Generating \(k \) systems of linear equations using boundary conditions
The \(k=2,…,n \) equations generated using the boundary conditions are given as The \(k=2,\ldots,n \) equations generated using the boundary conditions are given as
\begin{equation} \label{e13} \left.\begin{aligned} \sum_{j=0}^Na_jL_j(a)=A_0 & \qquad \sum_{j=0}^Na_jL_j(b)=B_0\\ \sum_{j=0}^Na_jL_j^{\prime}(a)=A_1 & \qquad \sum_{j=0}^Na_jL_j^{\prime}(b)=B_1\\ \vdots &\qquad\qquad \vdots\\ \sum_{j=0}^Na_jL_j^{(n-1)}(a)=A_{n-1} & \qquad \sum_{j=0}^Na_jL_j^{(n-1)}(b)=B_{n-1} \end{aligned} \right\} \end{equation}
(13)
2.4.2. Generating \(N-k+1 \) systems of linear equations at the collocation points
First, we state the equation which is used to generate the collocation points
\begin{equation} \label{e14} x_i=a+\frac{(b-a)i}{N-(k-2)},i=1,2,\ldots,N-(k-1). \end{equation}
(14)
Equation (14) is used to get the various collocation points which are substituted into Equation (12) to get the remaining \(N-k+1 \) equations. Thus Equation (12) can be recast as
\begin{equation} \label{e15} \sum_{j=0}^N a_j\left(p_j^{\star}(x_i)Q(x_i)\right)=g(x_i), \end{equation}
(15)
for \(i=1,2,\ldots,N-(k-1) \) and \(a_j,j=0,1,…,N. \)
2.4.3. Representing the system of \(N+1 \) equations in matrix form
Altogether, Equations (13) and (15) give \(N+1 \) system of equations which can be written in matrix form
\begin{equation} \label{e16} \begin{pmatrix} c_{1,1} & c_{1,2} & \dots & c_{1,N+1}\\ c_{2,1} & c_{2,2} & \dots & c_{2,N+1}\\ \vdots & \vdots & \vdots & \vdots\\ c_{n+1,1} & c_{n+1,2} & \dots & c_{n+1,n+1} \end{pmatrix} \begin{pmatrix} a_0\\ a_1\\ \vdots\\ a_{N} \end{pmatrix} = \begin{pmatrix} d_0\\ d_1\\ \vdots\\ d_{N} \end{pmatrix}, \end{equation}
(16)
where
\begin{equation} \label{e17} c_{ij}= \begin{cases} \sum_{j=0}^{N}a_jL_j^{*}(a),\\[3mm] \sum_{j=0}^N a_j\left(p_j^{\star}(x_i)Q(x_i)\right)\\[3mm] \sum_{j=0}^{N}a_jL_j^{*}(b) \end{cases} \end{equation}
(17)
and
\begin{equation} \label{e18} d_{j}= \begin{cases} A^{\star}\\[2mm] g(x_i)\\[2mm] B^{\star} \end{cases} \end{equation}
(18)
where \(\sum_{j=0}^{N}a_jL_j^{*}(a) \) , \(\sum_{j=0}^{N}a_jL_j^{*}(b) \) and \(A^\star \), \(B^\star \) are the left and right hand side of the systems of \(k \) equations generated from the boundary conditions, while \(\sum_{j=0}^N a_j\left(p_j^{\star}(x_i)Q(x_i)\right) \) and \(g(x_i) \) is the left and right hand side of Equation (15) used to get the remaining \(N-K+1 \) system of equations.

3. Results

The Laguerre collocation method developed in Section 2 is applied to approximate some higher order linear boundary value problems. The approximate solutions inform of series solutions are displayed in Tables and compared to the analytical solution at some selected mesh points, while the accuracy is measured using absolute errors. Suppose x represents an independent variable and y the dependent variable, the approximate solution is denoted by \(y_n \), the analytical solution by \(y(x_n ) \) and an absolute error at a mesh point by \(e_n=|y_n-y(x_n )| \) in this work.

Example 1. Consider the \(4th \) order boundary value problem \(y^{(4)}=y+4\exp(x), &nbsp \quad 0\leq x \leq 1; \) with the boundary conditions \(y(0)=1, \) &nbsp \(y(1)=2\exp(1), \) &nbsp \(y^\prime(0)=1, \) &nbsp \(y^\prime(1)=3\exp(1) \) &nbsp and the analytical solution is given by \(y(x)=(1+x)exp(x). \) The results at the mesh points are given in Table 1.

Table 1. Approximate solution, analytical solution and absolute errors for Example 1.
\(n \) \(x_n \) \(y_n \) \(y(x) \) \(\left|y_n-y(x_n)\right| \)
\(0 \) \(0 \) \(0.9999999995995449000 \) \(1.0000000000000000000 \) \(4.0046\times 10^{-10} \)
\(1 \) \(0.1 \) \(1.2156880096812333908 \) \(1.2156880098832123873 \) \(2.0198\times10^{-10} \)
\(2 \) \(0.2 \) \(1.4656833097351525863 \) \(1.4656833097922038007 \) \(5.7051\times10^{-11} \)
\(3 \) \(0.3 \) \(1.7548164498926186474 \) \(1.7548164498488040352 \) \(4.3815\times10^{-11} \)
\(4 \) \(0.4 \) \(2.0885545768060973480 \) \(2.0885545766977784449 \) \(1.0832\times 10^{-10} \)
\(5 \) \(0.5 \) \(2.4730819061942987293 \) \(2.4730819060501922202 \) \(1.4411\times10^{-10} \)
\(6 \) \(0.6 \) \(2.9153900807828490922  \) \(2.9153900806248143598 \) \(1.5803\times10^{-10} \)
\(7 \) \(0.7 \) \(3.4233796028562222864 \) \(3.4233796026998100867 \) \(1.5641\times10^{-10} \)
\(8 \) \(0.8 \) \(4.0059736714316378601 \) \(4.0059736712864416883 \) \(1.4519\times10^{-10} \)
\(9 \) \(0.9 \) \(4.6732459113274837527 \) \(4.6732459111982043612 \) \(1.2928\times10^{-10} \)
\(10 \) \(1.0 \) \(5.4365636570322238390 \) \(5.4365636569180904708 \) \(1.1413\times10^{-10} \)

Example 2. Consider the \(6th \) order boundary value problem \(y^{(6)}=y-6\exp(x), &nbsp \quad 0\leq x \leq 1; \) &nbsp with the boundary conditions \(y(0)=1, \) &nbsp \(y(1)=0 \), &nbsp \(y^{(2)}(0)=-1, \) &nbsp \(y^{(2)}(1)=-2\exp(1), \) &nbsp \(y^{(4)}(0)=-3, \) &nbsp \(y^{(2)}(1)=-3\exp(1), \) &nbsp and the analytical solution is given by \(y(x)=(1-x)exp(x). \) The results at the mesh points are given in Table 2.

Table 2. Approximate solution, analytical solution and absolute errors for Example 2.
\(n \) \(x_n \) \(y_n \) \(y(x) \) \(\left|y_n-y(x_n)\right| \)
\(0 \) \(0 \) \(1.0000000000001685000 \) \(1.00000000000000000000 \) \(1.6850\times10^{-13} \)
\(1 \) \(0.1 \) \(0.9946538258967874881 \) \(0.99465382626808286232 \) \(3.7130\times10^{-10} \)
\(2 \) \(0.2 \) \(0.9771222054592636538 \) \(0.97712220652813586712 \) \(1.0689\times10^{-9} \)
\(3 \) \(0.3 \) \(0.9449011631547264200 \) \(0.94490116530320217280 \) \(2.1485\times10^{-9} \)
\(4 \) \(0.4 \) \(0.8950948151452182868 \) \(0.89509481858476219068 \) \(3.4395\times10^{-9} \)
\(5 \) \(0.5 \) \(0.8243606307092493746 \) \(0.82436063535006407340 \) \(4.6408\times10^{-9} \)
\(6 \) \(0.6 \) \(0.7288475147567316736 \) \(0.72884752015620358996 \) \(5.3995\times10^{-9} \)
\(7 \) \(0.7 \) \(0.60412580684272018001 \) \(0.60412581224114295648 \) \(5.3984\times10^{-9} \)
\(8 \) \(0.8 \) \(0.4451081812551064650 \) \(0.44510818569849352092 \) \(4.4434\times10^{-9} \)
\(9 \) \(0.9 \) \(0.2459603085739087748 \) \(0.24596031111569496638 \) \(2.5418\times10^{-9} \)
\(10 \) \(1.0 \) \(-3.25690\times10^{-14} \) \(0 \) \(3.2570\times10^{-14} \)

Example 3. Consider the \(8th \) order boundary value problem \(y^{(8)}-y=8\exp(x), &nbsp \quad 0\leq x \leq 1; \) &nbsp with the boundary conditions \(y(0)=1, \) &nbsp \(y(1)=0, \) &nbsp \(y^{\prime}(0)=0, \) &nbsp \(y^{\prime}(1)=-2, \) &nbsp \(y^{(2)}(0)=-1, \) &nbsp \(y^{(2)}(1)=-2\exp(1), \) &nbsp \(y^{(3)}(0)=-2, \) &nbsp \(y^{(3)}(1)=-3\exp(1), \) &nbsp and the analytical solution is given by \(y(x)=(1-x)\exp(x). \) The results at the mesh points are given in Table 3.

Table 3. Approximate Solution, Analytical Solution and Absolute Errors for Example 3.
\(n \) \(x_n \) \(y_n \) \(y(x) \) \(\left|y_n-y(x_n)\right| \)
\(0 \) \(0 \) \(0.999999999999919520 \) \(1.00000000000000000000 \) \(8.0480\times10^{-14} \)
\(1 \) \(0.1 \) \(0.9946538262678937601 \) \(0.99465382626808286232 \) \(1.8910\times10^{-13} \)
\(2 \) \(0.2 \) \(0.9771222065321117607 \) \(0.97712220652813586712 \) \(3.7959\times10^{-12} \)
\(3 \) \(0.3 \) \(0.9449011653172361413 \) \(0.94490116530320217280 \) \(1.4034\times10^{-11} \)
\(4 \) \(0.4 \) \(0.8950948185965164628 \) \(0.89509481858476219068 \) \(1.1754\times10^{-11} \)
\(5 \) \(0.5 \) \(0.8243606353404964961 \) \(0.82436063535006407340 \) \(9.5676\times10^{-12} \)
\(6 \) \(0.6 \) \(0.7288475201290590871 \) \(0.72884752015620358996 \) \(2.7415\times10^{-11} \)
\(7 \) \(0.7 \) \(0.60412581221979442386 \) \(0.60412581224114295648 \) \(2.1348\times10^{-11} \)
\(8 \) \(0.8 \) \(0.4451081856932311579 \) \(0.44510818569849352092 \) \(2.2624\times10^{-12} \)
\(9 \) \(0.9 \) \(0.2459603111159681689 \) \(0.24596031111569496638 \) \(2.7320\times10^{-13} \)
\(10 \) \(1.0 \) \(4.78512\times10^{-14} \) \(0 \) \(4.7851\times10^{-14} \)

Example 4. Consider the \(10th \) order boundary value problem \(y^{(10)}=-\left(1-x\right)\sin(x)+10\cos(x), &nbsp \quad 0\leq x \leq 1; \) with the boundary conditions \(y(0)=1, \) &nbsp \(y(1)=0, \) &nbsp \(y^{(2)}(0)=2, \) &nbsp \(y^{(2)}(1)=2\cos(1), \) &nbsp \(y^{(4)}(0)=-4, \) &nbsp \(y^{(4)}(1)=-4\cos(1), \) &nbsp \(y^{(6)}(0)=6, \) &nbsp \(y^{(6)}(1)=6\cos(1), \) &nbsp \(y^{(8)}(0)=-8, \) &nbsp \(y^{(8)}(1)=-8\cos(1) \) and the analytical solution is given by \(y(x)=(x-1)\sin(x). \) The results at the mesh points are given in Table 4.

Table 4. Approximate solution, analytical solution and absolute errors for Example 4.
\(n \) \(x_n \) \(y_n \) \(y(x) \) \(\left|y_n-y(x_n)\right| \)
\(0 \) \(0 \) \(6.8300\times10^{-17} \) \(0 \) \(6.8300\times10^{-17} \)
\(1 \) \(0.1 \) \(-0.0898511265815970128 \) \(-0.089850074982145337076 \) \(1.0516\times10^{-6} \)
\(2 \) \(0.2 \) \(-0.1589374674789321263 \) \(-0.15893546463604897237 \) \(2.0028\times10^{-6} \)
\(3 \) \(0.3 \) \(-0.2068669068902013555 \) \(-0.20686414466293770258 \) \(2.7622\times10^{-6} \)
\(4 \) \(0.4 \) \(-0.2336542608365488710 \) \(-0.23365100538519029500 \) \(3.2555\times10^{-6} \)
\(5 \) \(0.5 \) \(-0.2397162019696233407 \) \(-0.23971276930210150014 \) \(3.4327\times10^{-6} \)
\(6 \) \(0.6 \) \(-0.2258602632950288019 \) \(-0.22585698935801414288 \) \(3.2739\times10^{-6} \)
\(7 \) \(0.7 \) \(-0.19326809832291728014 \) \(-0.19326530617130731610 \) \(2.7922\times10^{-6} \)
\(8 \) \(0.8 \) \(-0.1434732509647720103 \) \(-0.14347121817990455233 \) \(2.0328\times10^{-6} \)
\(9 \) \(0.9 \) \(-0.0783337610764255054 \) \(-0.078332690962748338846 \) \(2.1.070\times10^{-6} \)
\(10 \) \(1.0 \) \(-4.8700\times10^{-17} \) \(0 \) \(4.8700\times10^{-17} \)

4. Discussion and Conclusion

4.1. Discussion

In this section, the numerical experiments carried out with our proposed collocation method as presented in Section 3 are discussed. MAPLE 17 is used to implement all the problems. To reduce round-off errors, the numerical approximations were rounded up to 20 digits.

The Laguerre polynomial of degree \(10 \) was used to develop an orthogonal collocation method for solving higher order boundary value problems in ordinary differential equations. Four test problems on \(4th \), \(6th \), \(8th \) and \(10th \) order boundary value problems were used to verify the efficiency and accuracy of the proposed method via absolute errors. The numerical results are displayed in Tables 1-4. The results from Tables 1-3 which are BVPs of order \(4 \), \(6 \) and \(8 \) respectively are highly accurate, while the result in Table 4 which is a BVP of order \(10 \) is fairly accurate when compared to the other problems. In general, our proposed collocation method provides an accurate numerical method for approximating higher order BVPs. However, we observed from Tables 1-4 that the accuracy of the numerical results increased at the boundaries as the order and number of boundary conditions also increased. On the other hand, the accuracy at the interior mesh points were less accurate to that at the boundary points as the order and number of boundary conditions increased. This may be as a result of the increase in the number of boundary conditions and a corresponding decrease in the number of collocation points. This may be the reason for the poor accuracy of Example 4 which has only one collocation point and \(10 \) boundary conditions. To develop a collocation method that may handle such higher order BVPs, it is advisable to consider many basis terms in order to get higher order polynomials so as to have many collocation points which may be equal or more than the equations obtained at the boundaries.

4.2. Conclusion

The Laguerre polynomial which is an orthogonal polynomial was used as a basis function to develop a collocation method. The proposed method was easier to develop and implement as compared to other functions which are used as basis for developing other collocation methods. The method is also accurate and comparable to many other collocation methods in literature. The collocation method can be extended to solve higher order BVPs by considering higher order Laguerre polynomials. Other orthogonal polynomials may similarly be used to develop collocation methods for handling higher order BVPs.

Author Contributions

All authors contributed equally to the writing of this paper. All authors read and approved the final manuscript.

Conflicts of Interest

The authors declare no conflict of interest.

References:

  1. Jator, S., & Sinkala, Z. (2007). A higher order B-spline collocation method for linear boundary value problems.Applied Mathematics and Computations, 191(1), 100-116. [Google Scholor]
  2. Taiwo, O. A., Raji, M. T., & Adeniran, P. O. (2018). Numerical solution of solving higher order boundary value problems using collocation methods. International Journal of Scientific and Research Publications, 8(3), 361-367.
  3. Johnston, H., Leake, C., & Mortari, D. (2020). Least-squares solution of eighth-order boundary value problems using theory of functional connections. Mathematics, 8, Article No. 39. [Google Scholor]
  4. Gilat, A., & Subramaniam, V. (2011). Numerical Methods: An Introduction with Applications using MATLAB (2nd ed.) John Willey & Sons Inc, Asia. [Google Scholor]
  5. Li, Z., Qiao, Z., & Tang, T. (2018). Numerical Solution of Differential Equations: Introduction to Finite Difference and Finite Element Methods. Cambridge University Press, United States of America. [Google Scholor]
  6. Khalid, A., Naeem, M. N., Ullah, Z., Ghaffar, A., Blaneanu, D., Nisar, K. S., & Al-Qurashi, M. M. (2019). Numerical solution of the boundary value problems arising in magnetic fields and cylindrical shells. Mathematics, 7, Article No 508. [Google Scholor]
  7. Siddiqi, S. S., & Akram, G. (2007). Solution of eighth-order boundary value problems using the non-polynomial spline technique. International Journal of Computer Mathematics, 84(3), 347-368. [Google Scholor]
  8. Bhowmik, S. K. (2015). Tchebychev polynomial approximations for \( mth \) order boundary value problems. International Journal of Pure and Applied Mathematics, 98(1), 45-63. [Google Scholor]
  9. Iqbal, M. J. Rehman, S., Pervaiz, A., & Hakeem, A. (2015). Approximations for linear tenth-order boundary value problems through polynomial and non-polynomial cubic spline techniques. Proceeding of the Pakistan Academy of Science, 52(4), 389-396. [Google Scholor]
  10. Haq, S., Idrees, M., & Islam, S. (2010). Application of optimal homotopy asymptotic method to eighth-order initial and boundary value problems. International Journal of Applied Mathematics and Computer Science, 2(4), 73-80. [Google Scholor]
  11. Jator, S. N. (2008). Numerical integrators for fourth order initial and boundary value problems. International Journal of Pure and Applied Mathematics, 47(4), 563-576. [Google Scholor]
  12. Wazwaz, A. M. (2002). The numerical solution of special fourth-order boundary value problems by the modified decomposition method. International Journal of Computer Mathematics, 79(3), 345-356. [Google Scholor]
  13. Viswanadham, K., & Raju, Y. S. (2012). Quintic B-spline collocation method for eighth-order boundary value problems. Advances in Computational Mathematics its Applications, 1: 47-52.
  14. Viswanadham, K. K., & Raju, Y. S. (2014). Sextic B-spline collocation method for eighth order boundary value problems. International Journal of Applied Science and Engineering, 12(1), 43-57. [Google Scholor]
  15. Reddy, A. P., Harageri, M., & Sateesha, C. (2017). A numerical approach to solve eighth order boundary value problems by Haar wavelet collocation method. Journal of Mathematical Modeling, 5(1), 61-75. [Google Scholor]
  16. Taiwo, O. A. & Ogunlaran, O. M. (2008). Numerical solution of fourth-order linear ordinary differential equations by cubic spline collocation tau method. Journal of Mathematics and Statistics, 4(4), 264-264. [Google Scholor]
  17. Taiwo, O. A. & Adebisi, A. F. (2016). Multiple perturbed collocation tau-method for solving higher order linear and non-linear boundary value problems. International Journal of Mathematics and Statistical Studies, 4(5), 15-31. [Google Scholor]
  18. Agarwal, R. P. (1986). Boundary Value Problems from Higher Order Higher Order Differential Equations. World Scientific, Singapore. [Google Scholor]
  19. Shanmugam, T., Muthiah, M., & Radenovic, S. (2019). Existence of positive solution of the eighth-order boundary value problem using classical version of Leray-Shauder alternative fixed point theorem, Axiom, 8, Article No 129. [Google Scholor]
  20. Hezewinkel, M. (2001). Laguerre Polynomials: Encyclopedia of Mathematics. Springs Science Academy Publishing.