Adomian Modification Methods for the Solution of Chebyshev’s Differential Equations

Abstract

The current study examines the important class of Chebyshev’s differential equations via the application of the efficient Adomian Decomposition Method (ADM) and its modifications. We have proved the effectiveness of the employed methods by acquiring exact analytical solutions for the governing equations in most cases; while minimal noisy error terms have been observed in a particular method modification. Above all, the presented approaches have rightly affirmed the exactitude of the available literature. More to the point, the application of this methodology could be extended to examine various forms of high-order differential equations, as approximate exact solutions are rapidly attained with less computation stress.

Share and Cite:

Mazmumy, M. , Alsulami, A. , Bakodah, H. and Alzaid, N. (2023) Adomian Modification Methods for the Solution of Chebyshev’s Differential Equations. Applied Mathematics, 14, 512-530. doi: 10.4236/am.2023.148032.

1. Introduction

Differential equations are used to model problems arising in physical and social sciences, to mention a few. Recently, the development of computational procedures to tackle functional equations stumbled upon in different areas of science and technology has broadened the inquisitiveness of so many researchers. For instance, let’s consider the case of Chebyshev’s differential equation that reads

( 1 x 2 ) u x u + n 2 u = 0 , 1 < x < 1 , (1)

where n is a non-negative integer. This equation is undoubtedly a special type of second-order Ordinary Differential Equation (ODE) that arises in various science and engineering problems [1] . This equation is further typified with the possession of orthogonal functions that are known to play vital parts in numerical methods and approximation theories.

Further, it will also be good to remember that in recent times, research activities regarding second-order ODEs with initial data have drawn the nosiness of different researchers. Various methods have been proposed in the past and present literature towards devising promising unified techniques to tackle a verity of ODEs; one could easily find the Adomian Decomposition Method (ADM). [2] [3] , and its related modifications and extensions to attract so many minds in this regards, see the following references [4] - [10] and the references therewith to explore numerous scientific models in the presence of the method.

However, as the literature is kind of vacant with regards to the application of ADM on the solution of Chebyshev’s differential equation, the current study attempts to fill this huge gap by demonstrating the advantages and the efficiency of ADM and its modifications in attaining optimal approximate solutions to the Chebyshev’s differential equation; and by extension, to the general differential and integral equations. Additionally, we organize the paper in the following manner: Section 2 gives the outline of the classical Adomian method; while its modifications to be utilized in this study are presented in Section 3. Section 4 makes consideration to certain numerical applications, and lastly, we give certain concluding remarks in Section 5.

2. Standard ADM Procedure

The present section gives a generalized derivation procedure for tackling nonlinear Initial-Value Problems (IVPs) based on the ADM. To do so, let us consider the following differential equation

G ( u ( x ) ) = g ( x ) , (2)

with G representing a generalized ordinary (or partial) differential operator, and g ( x ) as a source term. This operator being general, it can equally be expressed to involve both linear and nonlinear operators. Thus, we decompose the operator further and rewrite the above equation as follows

L u + R u + N u = g , (3)

where L is the highest linear operator that is invertible, with R < L ; while N is specifically the nonlinear operator. More so, we rewrite the latter equation as follows

L u = g R u N u ,

such that applying the inverse linear operator L 1 to both sides of the above equation yields

u = ϕ ( x ) + L 1 g L 1 R u L 1 N u . (4)

where ϕ ( x ) is the function emanating from the prescribed initial data.

Further, the iterative procedure by the name ADM decomposes the solution u ( x ) using an infinite series of the following form

u ( x ) = n = 0 u n ( x ) , (5)

while the nonlinear component N u is equally decomposed using the following infinite series

N ( u ) = n = 0 A n , (6)

where An’s are polynomials devised by Adomian, and recursively determined using the following scheme

A n = 1 n ! d n d λ n [ N ( j = 0 n λ j u j ) ] λ = 0 , n = 0 , 1 , 2 , (7)

Therefore, upon substituting Equations (5) and (6) into Equation (4), one gets

where ϕ ( x ) is the function emanating from the prescribed initial data.

Furthermore, the ADM procedure swiftly reveals the generalized recursive solution for the problem from the above equation as follows

{ u 0 = ϕ ( x ) + L 1 g ( x ) , u k + 1 = L 1 R u k L 1 A k , k 0 , (8)

where Ak’s are the Adomian polynomials computed from Equation (7). Expressing few of these terms, we get

A 0 = N ( u 0 ) ,

A 1 = d N ( u 0 ) d u 0 u 1 ,

A 2 = d N ( u 0 ) d u 0 u 2 + 1 2 d 2 N ( u 0 ) d u 0 2 u 1 2 ,

A 3 = d N ( u 0 ) d u 0 u 3 + d 2 N ( u 0 ) d u 0 2 u 1 u 2 + 1 3 ! d 3 N ( u 0 ) d u 0 3 u 1 3 ,

Remarkable, it is obvious that the Adomian polynomials An’s depend on the solution components un. For instance, A0 relies merely on u0; A1 relies merely on u0 and u1; A2 relies merely on u0, u1 and u2, and so on.

Finally, a realistic solution is obtained by considering the following m-term approximations as

Ψ n = j = 0 n 1 u j , (9)

where

u ( x ) = lim n Ψ n ( x ) = j = 0 u j ( x ) . (10)

3. Adomian Modification Methods for Chebyshev’s Equations

Here, we give some important modification algorithms based on the standard Adomian method for the solution of the class of Chebyshev’s differential equations under consideration.

3.1. Standard ADM

Consider the Chebyshev’s differential equation as follows

( 1 x 2 ) u x u + n 2 u = 0 , 1 < x < 1. (11)

Now, based on the standard ADM procedure, the Chebyshev’s equation given above is rewritten as follows

u = x 2 u + x u n 2 u , 1 < x < 1. (12)

So, we consider the right-hand side of the equation as a normal non-homogeneous term, where the differential operator L is defined by d 2 d x 2 . More

so, we consider the inverse operator L 1 as a two-fold integral operator defined by

L 1 ( . ) = 0 x 0 x ( . ) d x d x .

Thus, upon applying the inverse operator L 1 to both sides of Equation (12), one gets

u = ϕ ( x ) + L 1 [ x 2 u + x u n 2 u ] ,

such that

L ϕ ( x ) = 0.

Thus, based on the ADM procedure, the solution u ( x ) is introduced through an infinite summation of components u n ( x ) earlier discussed in the methodology. Hence, the recursive solution of the equation is obtained as follows

{ u 0 ( x ) = ϕ ( x ) = c 0 + c 1 x , u k + 1 ( x ) = L 1 [ x 2 u k + x u k n 2 u k ] , k 0 , (13)

where the overall solution u ( x ) follows immediately by summing the above components as follows

u ( x ) = lim n Ψ n ( x ) = j = 0 u j ( x ) . (14)

3.2. Algorithm 1

This algorithm is aimed at tackling ODEs with non-constant coefficients, just like the Chebyshev’s equation which is a singular equation. The idea is more general, and could be extended to other higher-order ODEs that arise in mathematical physics [11] . To this end, let us consider the Chebyshev’s equation given in Equation (11). We then further divide the equation by ( 1 x 2 ) , thereby expressing ( 1 x 2 ) 1 as follows

1 1 x 2 = m = 0 x 2 m ,

such that expressing the equation in an operator form as L u + R u = 0 suitable for the decomposition method; where L = d 2 d x 2 , and

R = x m = 0 x 2 m d d x + n 2 m = 0 x 2 m . (15)

More so, applying the inverse operator L 1 , which is an indefinite two-fold, to both sides of the governing equation, after being written in operator notation yields

u = ϕ L 1 R u , ϕ = c 0 + c 1 x . (16)

So, on using u = m = 0 u m , we rewrite the above equation as follows

m = 0 u m = c 0 + c 1 x L 1 R m = 0 u m , (17)

where we can conveniently identify the recursive solution as follows

{ u 0 = ϕ ( x ) = c 0 + c 1 x , u k + 1 ( x ) = L 1 R u k , k 0 , (18)

where all the components are recursively determined. Thus, on making use of Ψ n = m = 0 n 1 u m , one gets n-term approximation suitable for numerical simulation.

Furthermore, one could equally decompose the term ϕ resulting from the initial conditions as follows

such that the recursive relation above becomes

{ u 0 ( x ) = c 0 , 0 + x c 1 , 0 , u k + 1 ( x ) = c 0 , ( k + 1 ) + x c 1 , ( k + 1 ) L 1 R u k , k 0. (19)

This last development would no doubt ease the computational integration process; having further sub-decomposed the first component, as asserted in [11] with the initial data c 0 = u ( 0 ) and c 1 = u ( 0 ) . Additionally, one would equally apply this procedure to boundary-value situations such that a constant of integration is added to satisfy the conditions for ϕ n ; nonlinear ODEs could in the same fashion be solved iteratively using the same procedure.

3.3. Algorithm 2

Here, we consider yet another algorithm based on the modification by Dita and Grama [12] to ODEs. To present the method, let us make consideration to the following generalized second-order linear ODE

L ( x , D ) u ( x ) R ( x , u , D u , D 2 u ) = 0, (20)

where L ( x , D ) is the principal part, with D = d d x , R denotes the reminder that

is not included in L ( x , D ) ; while the negative sign “−” in the equation is considered for handiness. Additionally, the principal part has the following format

L ( x , D ) = h ( x ) D p ( x ) D , (21)

where both h ( x ) and p ( x ) are considered to be smooth functions of x. Remember also that, the biggest target here is to suitably devise a way of making an optimal choice for R and L in such a way that the resultant pseudo-Volterra integral equation would be solved so easily.

Now, since tackling Equation (20) is complicated, we, therefore, resort to re-expressing the equation as a usual nonhomogeneous equation and thereafter make use of a modification of the famous variation of parameters method to obtain its corresponding pseudo-Volterra integral equation. Equally, we can constructively determine an inverse to Equation (21) and be utilized. Thus, without much delay, a proper inversion for Equation (20) is chosen in the following form

L 1 ( x , D ) u ( x ) = 0 x d t p ( t ) 0 t d y h ( y ) u ( y ) , (22)

where one could easily note that

( L L 1 ) u ( x ) = I u ( x ) , but ( L 1 L ) u ( x ) I u ( x ) , I identityoperator .

Apparently, it is inferred from the second relation that the inverse operator L 1 is truly not an inverse operator. However, upon considering initial conditions, say u ( 0 ) and u ( 0 ) , it is so. In fact,

( L 1 L ) u ( x ) = 0 x d t p ( t ) 0 t d y h ( y ) h ( y ) d d y p ( y ) d u ( y ) d y = 0 x d t p ( t ) [ p ( y ) d u d y ] 0 t = 0 x d u ( t ) d t p ( 0 ) u ( 0 ) 0 x d t p ( t ) = u ( x ) u ( 0 ) p ( 0 ) u ( 0 ) 0 x d t p ( t ) .

Thus, we obtain the following Volterra integral equation from Equation (22)

u ( x ) = u ( 0 ) + p ( 0 ) u ( 0 ) 0 x d t p ( t ) + 0 x d t p ( t ) 0 t d y h ( y ) R ( y , D u ) , (23)

where its solution is sought to be of the following infinite series form

u ( x ) = n = 0 u n ( x ) ,

such that the recursive relation takes the following form

(24)

What’s more, the components u k ( x ) in the above scheme are determined recursively via the application of the Picard successive approximation, that is,

u k = L 1 ( x , D ) u k 1 .

3.4. Algorithm 3

Let us consider a more general second-order linear ODE of the form [12]

u + a ( x ) u + b ( x ) u = h ( x ) . (25)

Thus, assuming a solution φ ( x ) 0 to the associated homogeneous equation, we further make use of a modification of variation of parameters method to acquire the solution Equation (25) as follows

u ( x ) = C 1 φ ( x ) + C 2 φ ( x ) d x E ( x ) φ 2 ( x ) + φ ( x ) d x E ( x ) φ 2 ( x ) E ( x ) φ ( x ) h ( x ) d x , (26)

where C j , for j = 1 , 2 are constants, and E ( x ) = e a ( x ) d x .

Moreover, the inverse operator L 1 in the above equation is an indefinite integral, which has to be transformed to a definite one based on the solution we are aiming for. So, considering Equation (26) as the starting point for the derivation of this modification method, let us make use of Equation (25) to transform the governing linear homogeneous equation into a pseudo-Volterra integral equation. By this, we separate a suitable part in the left-hand side of Equation (25) in such a way that the resulting solution is obtainable. Of course, the separation process takes into concern the behaviour of the solution in the neighborhood of the point where the solution is sought, in order to increase the possibilities of obtaining the full series in explicit form. Therefore, the easiest separation is through shifting the term b ( x ) u ( x ) on the right-hand side of the equation, which warrants the solution of the left-side alone to be u ( x ) = 1 .

Besides, Equation (26) denotes the starting point for the acquisition of the generalized decomposition approach. In fact, once could recover the Adomian’s form by assuming a ( x ) = b ( x ) = 0 in Equation (25). Consequently, if φ ( x ) = 1 and E ( x ) = 1 , a regular solution in the neighborhood of x = 0 from Equation (26) takes the following form

u ( x ) = C 1 + C 2 x + 0 x d x 0 x h ( x ) d x , (27)

of which by identification

C 1 = u ( 0 ) , C 2 = u ( 0 ) . (28)

4. Applications

The current section demonstrates the application of the approaches given earlier to study different variants of Chebyshev’s differential equations. These approaches which are based on the ADM, are reliable as can rightly be seen in what follows.

Example 4.1. Let us consider an IVP featuring Chebyshevs differential equation as follows

1) Case 1: n = 1

( 1 x 2 ) u x u + u = 0 , 1 < x < 1 , u ( 0 ) = 0 , u ( 0 ) = 1. (29)

Standard ADM

Therefore, we re-express the governing differential equation using operator notation as follows

L u = x 2 u + x u u , (30)

and further apply the inverse operator L 1 to the both sides of the latter equation to obtain

u = x + L 1 [ x 2 u + x u u ] .

Hence, the application of the standard ADM gives the general recursive relation for the model as follows

u 0 ( x ) = x , u k + 1 ( x ) = L 1 [ x 2 u k + x u k u k ] = 0 , k 0 ,

which gives upon summing the above iterates the following exact solution

u ( x ) = x . (31)

In fact, this is a well-known exact analytical solution for the Chebyshev’s differential equation when n = 1 .

Algorithm 1

Also, based on this algorithm, we rewrite the governing model using operator notation as follows

L u = 1 1 x 2 [ x u u ] , (32)

such that after applying the inverse operator L 1 to both sides of the above equation gives

u = x + L 1 1 1 x 2 [ x u u ] .

Thus, making use of the Taylor’s expansion on 1 1 x 2 to obtain

1 1 x 2 = m = 0 3 x 2 m = 1 + x 2 + x 4 + x 6 ,

we then proceed to write the resulting recursive relation of the governing model as follows

u 0 = x , u k + 1 ( x ) = L 1 ( 1 + x 2 + x 4 + x 6 ) [ x u k u k ] = 0 , k 0 ,

which obviously sums to similar exact solution as in above as follows

u ( x ) = x .

2) Case 2: n = 2

( 1 x 2 ) u x u + 4 u = 0 , 1 < x < 1 , u ( 0 ) = 1 , u ( 0 ) = 0. (33)

Standard ADM

In an operator notation, the governing differential equation is re-expressed as follows

L u = [ x 2 u + x u 4 u ] , (34)

such that after applying the inverse operator L 1 to both sides of the above equation yields

u = 1 + L 1 [ x 2 u + x u 4 u ] .

In the same fashion as in the preceding problem, the following recursive relation is thus obtained

u 0 ( x ) = 1 , u 1 ( x ) = L 1 [ x 2 u 0 + x u 0 4 u 0 ] = 2 x 2 , u 2 ( x ) = L 1 [ x 2 u 1 + x u 1 4 u 1 ] = 0 , u k + 1 ( x ) = L 1 [ x 2 u k + x u k 4 u k ] = 0 , k 2 ,

which leads to the following exact solution

u ( x ) = 1 + 2 x 2 . (35)

Notably, the exact solution obtained above is a well-known exact analytical solution for the Chebyshev’s differential equation when. In the same fashion, various exact solutions of the Chebyshev’s differential equations could be obtained upon choosing different values of n.

Algorithm 1

This approach requires the model to be written in the following operator notational form

L u = 1 1 x 2 [ x u 4 u ] . (36)

More, with the application of the inverse operator L 1 on both sides of the above equation, one gets

u = 1 + L 1 1 1 x 2 [ x u 4 u ] ,

which subsequently leads to the following final recursive relation

u 0 = 1 , u 1 ( x ) = L 1 ( 1 + x 2 + x 4 + x 6 ) [ x u 0 4 u 0 ] = 2 x 2 + 1 3 x 4 + 2 15 x 6 + 1 14 x 8 , u 2 ( x ) = L 1 ( 1 + x 2 + x 4 + x 6 ) [ x u 1 4 u 1 ] = 1 3 x 4 2 15 x 6 1 15 x 8 181 4725 x 10 + u 3 ( x ) = L 1 ( 1 + x 2 + x 4 + x 6 ) [ x u 2 4 u 2 ] = 1 210 x 8 4 675 x 10 + u 4 ( x ) = L 1 ( 1 + x 2 + x 4 + x 6 ) [ x u 3 4 u 3 ] = 1 4725 x 10 +

and leading to the following series solution

u ( x ) = k = 0 6 u k ( x ) = 1 + 2 x 2 2 45 x 10 + , (37)

where the exact solution of Chebyshev’s equation for n = 2 is T 2 ( x ) = 1 + 2 x 2 . Thus, we report the absolute error difference between the exact and the obtained approximate solution of u ( x ) in Table 1.

Table 1. Absolute errors of Chebyshev’s equation for n = 2 .

Remark: In the same way, we compute the cases when n = 3 , n = 4 , and n = 5 and reported the results in Table 2 using the following initial conditions:

n = 3 : u ( 0 ) = 0 , u ( 0 ) = 3 ; n = 4 : u ( 0 ) = 1 , u ( 0 ) = 0 ; n = 5 : u ( 0 ) = 0 , u ( 0 ) = 5.

Remarkably, the application of the present algorithm on the solution of Chebyshev’s equation reveals that the error increases as the value of n increases.

Table 2. Absolute errors of Chebyshev’s equation for n = 3 , n = 4 , and n = 5 .

Example 4.2. Let us consider the following form of Chebyshevs differential equation

1 x 2 d d x ( 1 x 2 u ) = n 2 u . (38)

Algorithm 2 will be considered for the solution of this form of Chebyshev’s equation, with

h ( x ) = p ( x ) = 1 x 2 .

1) Case 1: n = 1

Consider the following IVP

1 x 2 d d x ( 1 x 2 u ) = u , u ( 0 ) = 0 , u ( 0 ) = 1. (39)

Decomposing the solution u ( x ) as usual, and further make use of the form of Equation (23) by setting the Taylor’s expansion of 1 1 x 2 as

1 1 x 2 = 1 + 1 2 x 2 + 3 8 x 4 + 5 16 x 6 .

We, therefore, get via the algorithm the following

u 0 = u ( 0 ) + p ( 0 ) u ( 0 ) 0 x d t p ( t ) = 0 x ( 1 + 1 2 t 2 + 3 8 t 4 + 5 16 t 6 ) d t

u k + 1 = L 1 [ u k ( x ) ] , k 0 = 0 x ( 1 + 1 2 x 2 + 3 8 x 4 + 5 16 x 6 ) 0 x ( 1 + 1 2 x 2 + 3 8 x 4 + 5 16 x 6 ) [ u k ( x ) ] d x d x .

That is,

u 0 = x + 1 6 x 3 + 3 40 x 5 + 5 112 x 7 u 1 = L 1 [ u 0 ( x ) ] = 1 6 x 3 1 12 x 5 37 720 x 7 3229 90720 x 9 253 22400 x 11 + u 2 = L 1 [ u 1 ( x ) ] = 1 120 x 5 + 1 144 x 7 + 47 8640 x 9 + 1571 362880 x 11 + u 3 = L 1 [ u 2 ( x ) ] = 1 5040 x 7 1 4320 x 9 19 86400 x 11 + u 4 = L 1 [ u 3 ( x ) ] = 1 362880 x 9 + 1 241920 x 11 +

and further leads to the following series solution

u ( x ) = k = 0 6 u k ( x ) = x 35 1152 x 9 91 12672 x 11 1561 658944 x 13 + (40)

where the exact solution of Chebyshev’s equation for n = 1 is T 1 ( x ) = x as found in the above approach; the remaining terms could surely be noisy terms because of the method. Thus, we report the absolute error difference between the exact and the obtained approximate solution of u ( x ) in Table 3.

Table 3. Absolute errors of Chebyshev’s equation for n = 1 .

2) Case 2: n = 2

Consider the following IVP

1 x 2 d d x ( 1 x 2 u ) = 4 u , u ( 0 ) = 1 , u ( 0 ) = 0. (41)

In same manner, we make use of the Taylor’s expansion on 1 1 x 2 , and eventually via the algorithm arrive at the following recursive relation

u k + 1 = L 1 [ 4 u k ( x ) ] , k 0 = 0 x ( 1 + 1 2 x 2 + 3 8 x 4 + 5 16 x 6 ) 0 x ( 1 + 1 2 x 2 + 3 8 x 4 + 5 16 x 6 ) [ 4 u k ( x ) ] d x d x ,

such that

u 0 = 1 u 1 = L 1 [ 4 u 0 ( x ) ] = 2 x 2 + 2 3 x 4 + 16 45 x 6 + 8 35 x 8 + 689 16800 x 10 + u 2 = L 1 [ 4 u 1 ( x ) ] = 2 3 x 4 4 9 x 6 14 45 x 8 656 2835 x 10 + u 3 = L 1 [ 4 u 2 ( x ) ] = 4 45 x 6 + 4 45 x 8 + 52 675 x 10 +

u 4 = L 1 [ 4 u 3 ( x ) ] = 2 315 x 8 8 945 x 10 + u 5 = L 1 [ 4 u 4 ( x ) ] = 4 14175 x 10 +

which further leads to the following series solution

u ( x ) = k = 0 6 u k ( x ) = 1 + 2 x 2 35 288 x 10 + (42)

where the exact solution of Chebyshev’s equation for n = 2 is T 2 ( x ) = 1 + 2 x 2 as found in the previous approach. Thus, we report the absolute error difference between the exact and the obtained approximate solution of u ( x ) in Table 4.

Table 4. Absolute errors of Chebyshev’s equation for n = 2 .

Remark: In the same way, we compute the cases when n = 3 , n = 4 , and n = 5 as reported in Table 5 using the following initial conditions:

n = 3 : u ( 0 ) = 0 , u ( 0 ) = 3 ; n = 4 : u ( 0 ) = 1 , u ( 0 ) = 0 ; n = 5 : u ( 0 ) = 0 , u ( 0 ) = 5.

Table 5. Absolute errors of Chebyshev’s equation for n = 3 , n = 4 , and n = 5 .

Example 4.3. Let us consider the Chebyshevs differential equation expressed in the following form

u + 1 x u n 2 x 2 u = 1 x 2 u . (43)

Algorithm 3 will be considered for the solution of this form of Chebyshev’s equation. What’s more, we consider the right-hand side of the equation as a normal nonhomogeneous term, and further seek a solution of the corresponding homogeneous part on the left-hand side. Let us try to establish a more general procedure based on the present algorithm to tackle the governing equation. Firstly, we assume φ + = x n and φ = x n to be two solutions of the equation.

Now, with the first solution φ + = x n , and let C 1 = 1 and C 2 = 0 . We then seek a regular solution at x = 0 by considering the inverse operator L 1 as a two-fold integration from 0 to x as in Equation (26). Thus, the procedure results in the following the Volterra integral equation

u ( x ) = x n + x n 0 x x 2 n 1 0 x x n + 1 [ 1 x 2 u ] d x d x . (44)

More so, solution of the above equation emerges by considering the zero-order approximation the nonhomogeneous term as follows

u 0 = x n ,

and

u k + 1 = x n 0 x x 2 n 1 0 x x n + 1 [ 1 x 2 u k ] d x d x , k 0.

We, therefore, find the components as

u 1 = x n 0 x x 2 n 1 0 x x n + 1 [ 1 x 2 u 0 ] d x d x = 1 4 n x n 2 , u 2 = x n 0 x x 2 n 1 0 x x n + 1 [ 1 x 2 u 1 ] d x d x = n ( n 3 ) 32 x n 4 , u 3 = x n 0 x x 2 n 1 0 x x n + 1 [ 1 x 2 u 2 ] d x d x = n ( n 4 ) ( n 5 ) 384 x n 6 ,

In this way, we get

u ( x ) = x n 1 4 x n 2 + n ( n 3 ) 32 x n 4 n ( n 4 ) ( n 5 ) 384 x n 6 + (45)

Also, from the second solution φ = x n , we let C 1 = 0 and C 2 = n ( 2 n ) . Then, without lost of generality, we get the following integral equation

u ( x ) = n ( 2 n ) x n 0 x x 2 n 1 d x + x n 0 x x 2 n 1 0 x x n + 1 [ 1 x 2 u ] d x d x . (46)

Therefore, iterative solution of the above equation is obtained recursively as in the preceding case as fallows

u 0 = n ( 2 n ) x n 0 x x 2 n 1 d x = 2 n 1 x n ,

and

u k + 1 = x n 0 x x 2 n 1 0 x x n + 1 [ 1 x 2 u k ] d x d x , k 0 ,

where the components revealed explicitly are as follows

u 1 = x n 0 x x 2 n 1 0 x x n + 1 [ 1 x 2 u 0 ] d x d x = n ( 2 n ) 8 x n 2 , u 2 = x n 0 x x 2 n 1 0 x x n + 1 [ 1 x 2 u 1 ] d x d x = n ( n 3 ) ( 2 n ) 64 x n 4 , u 3 = x n 0 x x 2 n 1 0 x x n + 1 [ 1 x 2 u 2 ] d x d x = n ( n 4 ) ( n 5 ) ( 2 n ) 768 x n 6 ,

which leads to the series solution

u ( x ) = 2 n 1 x n n ( 2 n ) 8 x n 2 + n ( n 3 ) ( 2 n ) 64 x n 4 n ( n 4 ) ( n 5 ) ( 2 n ) 768 x n 6 +

Thus, in what follows, we have made consideration to the cases of the governing model for some specific values of n.

1) Case 1: n = 1

Let us consider the solutions to be of the following forms φ ± = x ± 1 .

Now, for φ + = x . We prescribe C 1 = 1 and C 2 = 0 . Therefore, without loss of generality, the following Volterra integral equation is acquired via the process

u ( x ) = x + x 0 x x 3 0 x x 2 [ 1 x 2 u ] d x d x . (47)

which leads to the following iterative solution

u 0 = x ,

and

u k + 1 = x 0 x x 3 0 x x 2 [ 1 x 2 u k ] d x d x = 0 , k 0 ,

In fact, the series summation gives

u ( x ) = x , (48)

which is the exact analytical solution of the Chebyshev equation for n = 1 .

In a similar way, we consider the solution φ = x 1 , with C 1 = 0 , and C 2 = 2 . Via the same process, the following integral equation is obtained

u ( x ) = 2 x 1 0 x x d x + x 1 0 x x 0 x [ 1 x 2 u ] d x d x , (49)

that solves to the following scheme

u 0 = 2 x 1 0 x x d x = x ,

and

u k + 1 = x 1 0 x x 0 x [ 1 x 2 u k ] d x d x = 0 , k 0 ,

which equally gives the same exact solution

u ( x ) = x .

2) Case 2: n = 2

Here, the solutions are considered as follows φ ± = x ± 2 .

Now, for φ + = x 2 , we prescribe C 1 = 1 and C 2 = 0 . Therefore, without loss of generality, the following Volterra integral equation is acquired via the process

u ( x ) = x 2 + x 2 0 x x 5 0 x x 3 [ 1 x 2 u ] d x d x , (50)

which leads to the following iterative solution

u 0 = x 2 ,

and

u k + 1 = x 2 0 x x 5 0 x x 3 [ 1 x 2 u k ] d x d x , k 0.

More explicitly, we get

u 0 = x 2 , u 1 = x 2 0 x x 5 0 x x 3 [ 1 x 2 u 0 ] d x d x = 1 2 , u k + 1 = x 2 0 x x 5 0 x x 3 [ 1 x 2 u k ] d x d x = 0 , k 1.

In this way we get

u ( x ) = x 2 1 2 , (51)

which is the exact solution of Chebyshev equation for n = 2 .

In a similar way, we consider the solution φ = x 2 , with C 1 = 0 , and C 2 = 8 . Via the same process, the following integral equation is obtained

u ( x ) = 8 x 2 0 x x 3 d x + x 2 0 x x 3 0 x x 1 [ 1 x 2 u ] d x d x . (52)

which leads to the following iterative solution

u 0 = 8 x 2 0 x x 3 d x = 2 x 2 ,

and

u k + 1 = x 2 0 x x 3 0 x x 1 [ 1 x 2 u k ] d x d x , k 0.

More explicitly, we get

u 0 = 8 x 2 0 x x 3 d x = 2 x 2 , u 1 = x 2 0 x x 3 0 x x 1 [ 1 x 2 u 0 ] d x d x = 1 , u k + 1 = x 2 0 x x 3 0 x x 1 [ 1 x 2 u k ] d x d x = 0 , k 1.

Thus, upon summing the above iterates, it yields

u ( x ) = 2 x 2 1 ,

which is the exact solution of Chebyshev equation for n = 2 .

3) Case 3: n = 3

We consider the following forms of solutions are φ ± = x ± 3 .

Then, for φ + = x 3 , we prescribe C 1 = 1 and C 2 = 0 . Also, without loss of generality, the following Volterra integral equation is acquired via the process

u ( x ) = x 3 + x 3 0 x x 7 0 x x 4 [ 1 x 2 u ] d x d x . (53)

which leads to the following iterative solution

u 0 = x 3 ,

and

u k + 1 = x 3 0 x x 7 0 x x 4 [ 1 x 2 u k ] d x d x , k 0.

That is,

u 0 = x 3 , u 1 = x 3 0 x x 7 0 x x 4 [ 1 x 2 u 0 ] d x d x = 3 4 x , u k + 1 = x 3 0 x x 7 0 x x 4 [ 1 x 2 u k ] d x d x = 0 , k 1.

Also, upon summing the above iterates, we get

u ( x ) = x 3 3 4 x , (54)

which is the exact analytical solution of Chebyshev equation for n = 3 .

In a similar pattern, we consider the other solution φ = x 3 , with C 1 = 0 , and C 2 = 24 . Also, without further delay, we get following integral equation

u ( x ) = 24 x 3 0 x x 5 d x + x 3 0 x x 5 0 x x 2 [ 1 x 2 u ] d x d x , (55)

that solves iteratively to

u 0 = 24 x 3 0 x x 5 d x = 4 x 3 ,

and

u k + 1 = x 3 0 x x 5 0 x x 2 [ 1 x 2 u k ] d x d x , k 0.

That is

u 0 = 24 x 3 0 x x 5 d x = 4 x 3 , u 1 = x 3 0 x x 5 0 x x 2 [ 1 x 2 u 0 ] d x d x = 3 x , u k + 1 = x 3 0 x x 5 0 x x 2 [ 1 x 2 u k ] d x d x = 0 , k 1.

Lastly, summation of the respective components yields

u ( x ) = 4 x 3 3 x ,

which is the exact analytical solution for the Chebyshev equation when n = 3 . In general one could obtain the exact solution of Chebyshev’s equation for any value of n following the same procedure.

5. Conclusion

As a closing remark, the Adomian decomposition method and its modifications were successfully employed in the current study to examine the important class of Chebyshev’s differential equations. These methods have been shown to reveal exact analytical solutions of the governing models in most cases; while minimal noisy error terms have been observed in a particular modification. Above all, these modification methods have rightly affirmed the exactness of the available results in the literature. Besides, the application of the presented sets of modification methods could be extended to examine various singular and nonsingular higher-order differential equations, as approximate exact solutions are rapidly attained with less computation stress.

Conflicts of Interest

The authors declare no conflicts of interest regarding the publication of this paper.

References

[1] Bell, W.W. (2004) Special Functions for Scientists and Engineers. Courier Corporation, London, UK.
[2] Adomian, G. (1990) A Review of the Decomposition Method and Some Recent Results for Nonlinear Equations. Mathematical and Computer Modelling, 13, 17-43.
https://doi.org/10.1016/0895-7177(90)90125-7
[3] Adomian, G. (1994) Solving Frontier Problems of Physics: The Decomposition Method. Kluwer Academic Publishers, Dordrecht.
https://doi.org/10.1007/978-94-015-8289-6
[4] Wazwaz, A.-M. (1999) A Reliable Modification of Adomian Decomposition Method. Applied Mathematics and Computation, 102, 77-86.
https://doi.org/10.1016/S0096-3003(98)10024-3
[5] Wazwaz, A.-M. (2002) A New Method for Solving Singular Initial Value Problems in the Second-Order Ordinary Differential Equations. Applied Mathematics and Computation, 128, 45-57.
https://doi.org/10.1016/S0096-3003(01)00021-2
[6] Almazmumy, M., Hendi, F., Bakodah, H. and Alzumi, H. (2012) Recent Modifications of Adomian Decomposition Method for Initial Value Problem in Ordinary Differential Equations. American Journal of Computational Mathematics, 2, 228-234.
https://doi.org/10.4236/ajcm.2012.23030
[7] Bakodah, H.O., Banaja, M.A., Alrigi, B.A., Ebaid, A. and Rach, R. (2019) An Efficient Modification of the Decomposition Method with a Convergence Parameter for Solving Korteweg de Vries Equations. Journal of King Saud University-Science, 31, 1424-1430.
https://doi.org/10.1016/j.jksus.2018.11.010
[8] Alsulami, A.A., AL-Mazmumy, M., Bakodah, H.O. and Alzaid, N. (2022) A Method for the Solution of Coupled System of Emden-Fowler-Type Equations. Symmetry, 14, Article No. 843.
https://doi.org/10.3390/sym14050843
[9] Al-Mazmumy, M., Alsulami, A.A., Bakodah, H.O. and Alzaid, N. (2022) Modified Adomian Method through Efficient Inverse Integral Operators to Solve Nonlinear Initial-Value Problems for Ordinary Differential Equations. Axioms, 11, Article No. 698.
https://doi.org/10.3390/axioms11120698
[10] Al-Mazmumy, M., Alsulami, A., Bakodah, H. and Alzaid, N. (2022) Modified Adomian Method for the Generalized Inhomogeneous Lane-Emden-Type Equations. Nonlinear Analysis and Differential Equations, 10, 15-35.
https://doi.org/10.12988/nade.2022.91142
[11] Adomian, G. (1992) Differential Coefficients with Singular Coefficients. Applied Mathematics and Computation, 47, 179-184.
https://doi.org/10.1016/0096-3003(92)90045-3
[12] Dita, P. and Grama, N. (1997) On Adomian’s Decomposition Method for Solving Differential Equations.
https://arxiv.org/abs/solv-int/9705008

Copyright © 2024 by authors and Scientific Research Publishing Inc.

Creative Commons License

This work and the related PDF file are licensed under a Creative Commons Attribution 4.0 International License.