Solution of Laguerre’s Differential Equations via Modified Adomian Decomposition Method ()
1. Introduction
Mathematical models featuring both the ordinary and partial differential equations are realized in modeling different scenarios arising from physical and social sciences among others. Various efforts have been undertaken in recent decades to come up with dissimilar computational procedures for solving such models in numerous sectors of research, including modern technological situations. In particular, Laguerre’s differential equation is a type of differential equation that is found in a variety of engineering problems [1], and in quantum mechanics, because it is one of several equations that appear in the quantum mechanical description of the hydrogen atom [2].
More explicitly, let us consider the equation,
(1)
This equation is called Laguerre’s differential equation of order n, where n is a real-valued constant. One crucial attribute of the present model is having a solution in form of a polynomial, which is usually referred to as Laguerre’s polynomial. The Laguerre’s polynomial being the solution of the Laguerre’s differential equation is denoted by
, and further expressed as
(2)
Moreover, the generalized version of Equation (1) is the so-called associated Laguerre’s differential equation, that is expressed as
(3)
where k and n are real numbers [1] [3]; clearly, Equation (3) reduces to (1) when
.
Further, Laguerre’s differential equation was solved in [1] by using the Haar wavelet method; while [4] solved the same model by using G-transform, a generalized Laplace-typed transform method. Also, the differential transformation method [5] was applied to solve Laguerre’s differential equation. Furthermore, in recent times, research activities regarding second-order differential equations with initial data have drawn the inquisitiveness of different researchers. Various methods have been proposed in the past and present literature towards devising promising unified techniques to tackle a variety of differential equations; one could easily find the Adomian decomposition method [6] [7], and its related modifications and extensions to attract so many minds in this regard, see the following references [8] - [14] and the cited references therein to explore numerous scientific models in the presence of the method. Moreover, certain Adomian-based approaches have equally been utilized in the literature while treating various classes of linear and nonlinear integer and non-integer order differential equations, read [15] - [20] as an instance.
However, the current research focuses on the relevance of the modification of Adomian’s approach in tackling Laguerre’s and the associated Laguerre’s equations, respectively. These equations are well-known models that arise in the modeling of several phenomena in engineering and quantum mechanics to state a few. Our main goal here is to demonstrate the advantages and the efficiency of using this modified version of the Adomian’s method to obtain an optimal approximate solution of the mentioned Laguerre’s equations. Additionally, we organize the paper in the following manner: Section 2 gives the classical Adomian’s method; while its modification to be utilized in this study is presented in Section 3. Section 4 makes consideration to certain numerical applications as illustrative examples, and lastly, we give certain concluding remarks in Section 5.
2. Adomian Decomposition Method
Let us begin by giving a general survey of the Adomian’s method by considering the following generalized second-order differential equation
(4)
with L denoting the second-order linear differential operator, R is also a linear operator, but less than L, and N is the nonlinear differential operator, while g is a source term. Thus, we rewrite the above equation as follows
(5)
Next, premultiplying each term of Equation (5) with the inverse operator
, we obtain
(6)
Therefore, making use of an infinite series via the Adomian’s method to represent the solution
as
(7)
and the nonlinear term
through
(8)
with
’s representing the polynomials by Adomian. Therefore, we substitute Equations (7) and (8) into Equation (6) to obtain
(9)
where
(10)
Therefore,
(11)
where
’s are the polynomials by Adomian, which are to be computed using the following formula
(12)
Now, from Equation (12), the polynomials by Adomian are recurrently determined as
(13)
Hence, the recurrent solution for the n-term scheme is, therefore, obtained as follows
(14)
where
Note also that, the convergence analysis of the classical Adomian’s method was discussed by many researchers, including the famous research by Cherruault et al. [21] [22] [23] [24] and other notable works like Gabet [25] and Babolian and Biazar [26], to state a few.
3. Modified Adomian Decomposition Method
Here, we give two important algorithms based on certain modifications of Adomian’s method to solve the governing equations under consideration.
3.1. Algorithm 1
The Adomian decomposition method has been slightly modified in the following way as suggested by Dita and Grama [27]. First, we make consideration to the following generalized second-order linear equation
(15)
where
is the principal linear operator given by
(16)
and R is the outstanding linear operator tackling all the other operators less than L. More so, the functions
together with
are all continuously differentiable functions. The minus sign in Equation (15) is taken for convenience. At this point, for brevity, proper choices of the operator L and R should be made in such a way that the resultant pseudo-Volterra integral equation can be solved easily.
However, sometimes writing Equation (15) in its standard form complicates the matter. Recall that we are aiming at obtaining an inverse for the general form in Equation (16) and make use of it to look for different known formulae for the solutions of certain special ordinary differential equations. The second proposal entails writing Equation (15) in a form of an inhomogeneous equation by utilizing a modified version of the variation of parameters method to obtain a transformed equation as a pseudo-Volterra integral equation. This will then be considered to be the generalized version of Adomian’s approach for tackling ordinary differential equations of the second-order. Most of the equations of the form given in Equation (15) are called the classical special functions, together with their principal linear part given in Equation (16) with a lot of these equations having
. What is more, the functions
together with
are both assumed continuously differentiable, and further
is locally integrable near a certain point; such that without loss of generality, it can be chosen to be near
. The decomposition approach involves determining the inverse operator
such that through it many cases of the exact solution of the governing model are constructed. Again, an inverse corresponding to the principal linear operator given in Equation (15) is thus readily suggested as follows
(17)
Additionally, one sees that
(18)
However,
(19)
with I denoting the identity operator. Equation (19) also shows the inverse operator
, indicating that it is not a true inversion of the principal operator; rather, it is only so when the prescribed initial data are taken into account, and that is similar to providing the respective values of
and
. Hence,
(20)
Therefore, the following result is obtained from Equation (17),
(21)
Further, Equation (21) is a Volterra integral equation, which assumes the following series solution
(22)
where
(23)
and
is thus determined via the Picard approach of successive approximation as follows
(24)
3.2. Algorithm 2
Consider the generalized second-order linear differential equation [27]
(25)
with
presumed to be a regular solution (of Equation (25)) admitted by the homogeneous part of the equation, which would be obtained by using a modified version of the variation of parameters method. Thus, the following solution is obtained via a more general integral representation as follows
(26)
with
and
denoting the real constants; while
is the integrating factor given by
Moreover, the inverse differential operator
becomes an indefinite integral in the above; that is, for each problem it has to be transformed into a definite integral according to the required solution. Additionally, Equation (26) can be considered as the beginning step with regard to the implementation of the decomposition approach in most general cases. More so, a linear homogeneous differential equation is transformed to a pseudo-Volterra integral equation via Equation (25). An important issue here is the separation of the convenient component on the left-hand side of Equation (25) such that the solution of this component can easily be found. The behavior of the solution around the point where the solution is expected to have to be taken into account, in order to maximize the chances of obtaining the complete explicit infinite series form. This easy separation procedure is carried out through shifting the
term to the right-hand side of the equation, such that the solution corresponding to the left-hand side only is
.
4. Illustrative Examples
Here, the applicability of the devised schemes is exhibited in the current section on Laguerre’s and the associated Laguerre’s differential equations. Besides, it is an attempt to deploy the proposed algorithms in acquiring the known solutions of the governing models.
4.1. Laguerre’s Differential Equation
Let us make a reconsideration of Laguerre’s differential equation expressed as
(27)
Algorithm 1: Rewrite Equation (27) as
(28)
Here, we consider
and
; and also decompose the solution function
via the stated infinite series of the form
(29)
together with the following initial data
(30)
Then, upon applying the form of Equation (21), a recurrence scheme is obtained of the following form
(31)
such that
(32)
Hence, upon taking the net sum of the above components, we obtain following known series solution
(33)
Algorithm 2: Rewrite the Laguerre’s equation as follows
(34)
Now, considering the right-hand side entirely as a normal inhomogeneous term, we then solve for the other side of the equation as a normal homogeneous component.
Next, if the solutions are
and
, we start off by considering
and fix the constants
and
. Then, since an exact solution is searched at
, a two-fold integral operator is adopted as the inverse operator
, occupying the area from 0 to x, and thus determine from Equation (25) the following Volterra integral equation
(35)
We, therefore, solve Equation (35) iteratively by considering the zeroth-order approximating the inhomogeneous term
and thus get
(36)
and
(37)
More iteratively, we find that
(38)
Hence, upon taking the sum of the above components, we get the following well-known series solution
(39)
Example 4.1
Let us consider Laguerre’s differential equation of n = 2
(40)
Algorithm 1: Rewrite Equation (40) as
(41)
Here, we consider
and
; and also decompose the solution function
via the stated infinite series of the form
(42)
Then, upon applying the form of Equation (21), a recurrence scheme is obtained of the following form
(43)
such that
(44)
Hence, upon taking the net sum of the above components, we obtain following known series solution
(45)
Algorithm 2: Rewrite the Laguerre’s equation for
as follows
(46)
Now, considering the right-hand side entirely as a normal inhomogeneous term, we then solve for the other side of the equation as a normal homogeneous component.
Next, if the solutions are
and
, we start off by considering
and fix the constants
and
. Then, since an exact solution is searched at
, a two-fold integral operator is adopted as the inverse operator
, occupying the area from 0 to x, and thus determine from Equation (25) the following Volterra integral equation
(47)
We, therefore, solve Equation (47) iteratively by considering the zeroth-order approximating the inhomogeneous term
and thus get
(48)
and
(49)
More iteratively, we find that
(50)
Hence, upon taking the sum of the above components, we get the following well-known series solution
(51)
4.2. Associated Laguerre’s Differential Equation
Let us make a reconsideration of the associated Laguerre’s differential equation expressed as
(52)
Algorithm 1: Rewrite Equation (52) as follows
(53)
Here, we consider the following functions
, and
. Next, we decompose the solution function
via infinite series expansion follows
(54)
and further choose the following initial data
(55)
Then, on employing the form of Equation (21), we get the recurrence relation below
(56)
such that
(57)
Finally, on summing the above components, the following documented series solution is yielded
(58)
Algorithm 2: We firstly rewrite Equation (68) as
(59)
Therefore, considering the right-hand side of the above equation as a normal inhomogeneous component, we then solve for the other side of the equation as a normal homogeneous component.
Additionally, with admitting the solutions
and
, we start off by considering
and fix the constants
and
. Then, since
we are looking for the exact solution at
, a two-fold integral operator is adopted as an inverse differential operator
from 0 to x and thus determine from Equation (25) the following Volterra integral equation
(60)
We then solve Equation (60) iteratively by considering the zeroth-order approximation as the inhomogeneous term
and thus obtain the remaining recurrent components from
(61)
such that
(62)
Thus, the overall series solution is obtained as follows
(63)
Alternatively, if we choose the initial data as
and
, and further choose
; we find from Equation (25) the following Volterra integral equation
(64)
We then solve Equation (64) iteratively by considering the zeroth-order approximation as the inhomogeneous term
, and thus get
(65)
where the individual components are explicitly expressed as
(66)
Finally, as expected, similar series solution is obtained upon taking the net sum of the above components as follows
(67)
Example 4.2
Let us consider the associated Laguerre’s differential for
equation expressed as
(68)
Algorithm 1: Rewrite Equation (68) as follows
(69)
Here, we consider the following functions
, and
. Next, we decompose the solution function
via infinite series expansion follows
(70)
and further choose the following initial data
(71)
Then, on employing the form of Equation (21), we get the recurrence relation below
(72)
such that
(73)
Finally, on summing the above components, the following documented series solution is yielded
(74)
Algorithm 2: We firstly rewrite Equation (68) as
(75)
Therefore, considering the right-hand side of the above equation as a normal inhomogeneous component, we then solve for the other side of the equation as a normal homogeneous component.
Additionally, with admitting the solutions
and
, we start off by considering
and fix the constants
and
. Then, since we are looking for the exact solution at
, a two-fold integral operator is adopted as an inverse differential operator
from 0 to x and thus determine from Equation (25) the following Volterra integral equation
(76)
We then solve Equation (76) iteratively by considering the zeroth-order approximation as the inhomogeneous term
and thus obtain the remaining recurrent components from
(77)
such that
(78)
Thus, the overall series solution is obtained as follows
(79)
5. Conclusion
In conclusion, we have successfully determined the well-known closed-form series solutions of the Laguerre’s and the associated Laguerre’s equations, respectively, by devising modification methodologies that are based upon the application of the Adomian decomposition technique. These modifications are highly accurate, efficient, and further converge rapidly within a few numbers of steps. Additionally, the obtained series of solutions affirm the available results in the literature. Besides, the resulting integration procedures that arise from the proposed inverse operators
are calculated with the help of the Maple 18 package programmer. Therefore, the proposed schemes can be used to securitize different classes of both the ordinary and partial differential equations, which modeled diverse real-life circumstances.