Applied Mathematics
Vol.08 No.05(2017), Article ID:76439,19 pages
10.4236/am.2017.85055

Analytical Solution for the Time-Dependent Emden-Fowler Type of Equations by Homotopy Analysis Method with Genetic Algorithm

Waleed Al-Hayani1, Laheeb Alzubaidy2, Ahmed Entesar1

1Department of Mathematics, College of Computer Science and Mathematics, University of Mosul, Mosul, Iraq

2Department of Software Engineering, College of Computer Science and Mathematics, University of Mosul, Mosul, Iraq

Copyright © 2017 by authors and Scientific Research Publishing Inc.

This work is licensed under the Creative Commons Attribution International License (CC BY 4.0).

http://creativecommons.org/licenses/by/4.0/

Received: December 30, 2016; Accepted: May 22, 2017; Published: May 25, 2017

ABSTRACT

In this paper, Homotopy Analysis method with Genetic Algorithm is presented and used to obtain an analytical solution for the time-dependent Emden-Fowler type of equations and wave-type equation with singular behavior at x = 0. The advantage of this single global method employed to present a reliable framework is utilized to overcome the singularity behavior at the point x = 0 for both models. The method is demonstrated for a variety of problems in one and higher dimensional spaces where approximate-exact solutions are obtained. The results obtained in all cases show the reliability and the efficiency of this method.

Keywords:

Homotopy Analysis Method, Genetic Algorithm, Emden-Fowler Equation, Wave-Type Equation, Adomian Polynomials, Noise Terms, Padé Approximants, Simpson Rule

1. Introduction

In many previous works of the diffusion of heat perpendicular to the surfaces of parallel planes are modeled by the heat equation

x r ( x r y x ) x + a f ( x , t ) g ( y ) + h ( x , t ) = y t , 0 < x L , 0 < t < T , r > 0 , (1)

or equivalently

y x x + r x y x + a f ( x , t ) g ( y ) + h ( x , t ) = y t , 0 < x L , 0 < t < T , r > 0 , (2)

where f ( x , t ) g ( y ) + h ( x , t ) is the nonlinear heat source, y ( x , t ) is the temperature, and t is the dimensionless time variable. For the steady-state case, and for r = 2 , h ( x , t ) = 0 , Equation (2) is the Emden-Fowler equation [1] [2] [3] given by

y + 2 x y + a f ( x ) g ( y ) = 0 , y ( 0 ) = y 0 , y ( 0 ) = 0 , (3)

where f ( x ) and g ( y ) are some given functions of x and y respectively. For f ( x ) = 1 and g ( y ) = y n , Equation (3) is the standard Lane-Emden equation that was used to model the thermal behavior of a spherical cloud of gas acting under the mutual attraction of its molecules [1] and subject to the classical laws of thermodynamics. For other special forms of g ( y ) , the well-known Lane- Emden equation was used to model several phenomena in mathematical physics and astrophysics such as the theory of stellar structure, the thermal behavior of a spherical cloud of gas, isothermal gas spheres, and theory of thermionic currents [1] [2] [3] . A substantial amount of work has been done on this type of problems for various structures of g ( y ) in [1] - [7] .

On the other hand, the wave type of equations with singular behavior is given by

x r ( x r y x ) x + a f ( x , t ) g ( y ) + h ( x , t ) = y t t , 0 < x L , 0 < t < T , r > 0 , (4)

or equivalently

y x x + r x y x + a f ( x , t ) g ( y ) + h ( x , t ) = y t t , 0 < x L , 0 < t < T , r > 0 , (5)

will be examined as well, where f ( x , t ) g ( y ) + h ( x , t ) is a nonlinear source, t is the dimensionless time variable, and y ( x , t ) is the displacement of the wave at the position x and at time t. The singularity behavior that occurs at the point x = 0 is the main difficulty in the analysis of Equations (2) and (5). Wazwaz [8] used the Adomian decomposition method (ADM) to get an analytical solution for the time-dependent Emden-Fowler type of equations and wave-type equation with singular behavior.

The main objective of this paper is to apply Homotopy Analysis Method (HAM) to obtain approximate-exact solutions for different models for the time- dependent Emden-Fowler type of equations and wave-type equation with singular behavior at x = 0 . While the VIM [9] [10] requires the determination of Lagrange multiplier in its computational algorithm, HAM is independent of any such requirements, HAM handles linear and nonlinear terms in a simple and straightforward manner without any additional requirements. Also, in this paper we apply Genetic Algorithm (GA) to obtain an approximate solution of the same equations.

In what follows, we give a brief review of Homotopy analysis method and Genetic algorith.

2. Analysis of the Homotopy Analysis Method

To describe the basic ideas of the HAM, we consider the following differential equation:

N [ y ( x , t ) ] = k ( x , t ) , (6)

where N is a nonlinear operator, x and t denote the independent variables, y ( x , t ) is an unknown function and k ( x , t ) is a known analytic function. For simplicity, we ignore all boundary or initial conditions, which can be treated in the similar way. By means of generalizing the traditional Homotopy method, Liao [11] constructs the so called zero-order deformation equation

( 1 q ) L [ ϕ ( x , t ; q ) y 0 ( x , t ) ] = q h [ N [ ϕ ( x , t ; q ) ] k ( x , t ) ] , (7)

where q [ 0,1 ] is an embedding parameter, h is a nonzero auxiliary parameter, L is an auxiliary linear operator, y 0 ( x , t ) is an initial guess of y ( x , t ) and ϕ ( x , t ; q ) is an unknown function. It is important, that one has great freedom to choose auxiliary objects such as h and L in HAM. Obviously, when q = 0 and q = 1 it holds

ϕ ( x , t ; 0 ) = y 0 ( x , t ) , ϕ ( x , t ; 1 ) = y ( x , t ) , (8)

respectively. Thus, as q increases from 0 to 1, the solution ϕ ( x , t ; q ) varies from the initial guess y 0 ( x , t ) to the solution y ( x , t ) . Expanding ϕ ( x , t ; q ) in Taylor series with respect to q, we have

ϕ ( x , t ; q ) = y 0 ( x , t ) + m = 1 + y m ( x , t ) q m , (9)

where

y m ( x , t ) = 1 m ! m ϕ ( x , t ; q ) q m | q = 0 . (10)

If the auxiliary linear operator, the initial guess, the auxiliary parameter h, and the auxiliary function are so properly chosen, the above series (9) converges at q = 1 , then we have

ϕ ( x , t ; 1 ) = y 0 ( x , t ) + m = 1 + y m ( x , t ) , (11)

which must be one of the solutions of the original nonlinear equation, as proved by Liao [11] . If h = 1 , Equation (7) becomes

( 1 q ) L [ ϕ ( x , t ; q ) y 0 ( x , t ) ] + q [ N [ ϕ ( x , t ; q ) ] k ( x , t ) ] = 0 , (12)

which is used mostly in the Homotopy perturbation method [12] .

According to Equation (10), the governing equation can be deduced from the zero-order deformation Equation (7). We define the vectors

y i = { y 0 ( x , t ) , y 1 ( x , t ) , , y i ( x , t ) } . (13)

Differentiating Equation (7) m times with respect to the embedding parameter q and then setting q = 0 and finally dividing them by m ! , we have the so- called mth-order deformation equation

L [ y m ( x , t ) χ m y m 1 ( x , t ) ] = h R m ( y m 1 ) , (14)

where

R m ( x m 1 ) = 1 ( m 1 ) ! m 1 { N [ ϕ ( x , t ; q ) ] k ( x , t ) } q m 1 | q = 0 , (15)

and

χ m = { 0 , m 1 , 1 , m > 1. (16)

It should be emphasized that y m ( x , t ) ( m 1 ) are governed by the linear Equation (14) with the linear boundary conditions that come from the original problem, which can be easily solved by symbolic computation softwares such as Maple and Mathematica.

3. Genetic Algorithms

Definition 1 Genetic Algorithms are search and optimization techniques based on Darwin’s Principle of Natural Selection.

Definition 2 Genetic Algorithm Operators [13] [14]

The simplest form of genetic algorithm involves three types of operators: selection, crossover and mutation.

Selection: This operator selects chromosomes in the population for reproduction. The fitter the chromosome, the more times it is likely to be selected to reproduce.

Crossover: This operator randomly chooses a locus and exchanges the subsequences before and after that locus between two chromosomes to create two offspring. For example, the strings 10000100 and 11111111 could be crossed over after the third locus in each to produce the two offspring 10011111 and 11100100.

The crossover operator roughly mimics biological recombination between two single-chromosome (haploid) organisms.

Mutation: This operator randomly flips some of the bits in a chromosome. For example, the string 00000100 might be mutated in its second position to yield 01000100. Mutation can occur at each bit position in a string with some probability, usually very small (e.g., 0.001).

Algorithm 3 A Simple Genetic Algorithm [13] [14]

Given a clearly defined problem to be solved and a bit string representation for candidate solutions, a simple GA works as follows:

1. Start with a randomly generated population of n l-bit chromosomes (candidate solutions to a problem).

2. Calculate the fitness f ( x , t ) of each chromosome x and t in the population.

3. Repeat the following steps until n offspring have been created:

(a) Select a pair of parent chromosomes from the current population, the probability of selection being an increasing function of fitness. Selection is done “with replacement,” meaning that the same chromosome can be selected more than once to become a parent.

(b) With probability pc (the “crossover probability” or “crossover rate”), cross over the pair at randomly chosen point (chosen with uniform probability) to form two offspring. If no crossover takes place, form two offspring that are exact copies of their respective parents. (Note that here the crossover rate is defined to be the probability that two parents will crossover in a single point. There are also “multi-point crossover” versions of the GA in which the crossover rate for a pair of parents is the number of points at which a crossover takes place).

(c) Mutate the two offspring at each locus with probability pm (the “mutation probability” or “mutation rate”), and place the resulting chromosomes in the new population. If n is odd, one new population member can be discarded at random.

4. Replace the current population with the new population.

5. Go to step 2.

Also see the flow chart (Figure 1).

4. Applications of the Method

In this work, we examine six distinct models with singular behavior at x = 0 , two linear time-dependent Lane-Emden type of equations, two linear models of wave-type equation, and two nonlinear singular models. To show the high accuracy of the solution results compared with the exact solution, we give the numerical results applying the Genetic Algorithm (GA), HAM ( n = 5 ) , Padé approximants (PA) of order [ p / q ] , and the numerical solution with the Simpson rule (SIMP). Twenty points have been used in the Simpson rule. The computations associated with the examples were performed using a Maple 13 package with a precision of 20 dgits.

4.1. Time-Dependent Lane-Emden Type

Example 1. Firstly, let us consider the following linear homogeneous equation

y x x + 2 x y x ( 6 + 4 x 2 cos t ) y = y t , (17)

subject to initial conditions

y ( 0 , t ) = e sin t , y x ( 0 , t ) = 0. (18)

To solve Equations (17)-(18) by means of the standard HAM, we choose the initial approximation

y 0 ( x , t ) = e sin t , (19)

and the linear operator

L [ ϕ ( x , t ; q ) ] = 2 ϕ ( x , t ; q ) x 2 + 2 x ϕ ( x , t ; q ) x , (20)

with the property

L [ c 1 x + c 2 ] = 0 , (21)

Figure 1. Flow Chart of Genetic Algorithm.

where c i ( i = 1 , 2 ) are constants of integration. Furthermore, Equation (17) suggests that we define the nonlinear operator as

N [ ϕ ( x , t ; q ) ] = 2 ϕ ( x , t ; q ) x 2 + 2 x ϕ ( x , t ; q ) x ( 6 + 4 x 2 cos t ) ϕ ( x , t ; q ) ϕ ( x , t ; q ) t . (22)

Using the above definition, we construct the zeroth-order deformation equation as in (7) and (8) and the mth-order deformation equation for m 1 is

L [ y m ( x , t ) χ m y m 1 ( x , t ) ] = h R m ( y m 1 ) , (23)

with the initial conditions

y m ( 0 , t ) = 0 , ( y m ) x ( 0 , t ) = 0 (24)

where

R m ( y m 1 ) = ( y m 1 ) x x + 2 x ( y m 1 ) x ( 6 + 4 x 2 cos t ) y m 1 ( y m 1 ) t . (25)

Now, the solution of the mth-order deformation Equation (23) for m 1 is

y m ( x , t ) = χ m y m 1 ( x , t ) + h 0 x x 2 0 x x 2 R m ( y m 1 ) . (26)

We now successively obtain

y 1 ( x , t ) = ( 1 5 h x 4 h x 2 ) e sin t , y 2 ( x , t ) = [ 1 90 h 2 x 8 + 13 105 h 2 x 6 ( 1 5 h 1 10 h 2 ) x 4 ( h + h 2 ) x 2 ] e sin t , y 3 ( x , t ) = [ 1 3510 h 3 x 12 59 11550 h 3 x 10 + ( 1 45 h 2 1 210 h 3 ) x 8 ] e sin t + [ ( 26 105 h 2 + 43 210 h 3 ) x 6 1 5 ( h h 2 2 h 3 ) x 4 ( h + 2 h 2 + h 3 ) x 2 ] e sin t , (27)

and so on, in this manner the rest of the iterations can be obtained. Thus, the approximate solution in a series form is given by

y ( x , t ) = y 0 ( x , t ) + m = 1 + y m ( x , t ) , (28)

Hence, the series solution when h = 1 is

y ( x , t ) = ( 1 + x 2 + 1 2 ! x 4 + 1 3 ! x 6 + 1 4 ! x 8 + ) e sin t . (29)

This series has the closed form as n

y ( x , t ) = e x 2 + sin t , (30)

which is the exact solution of (17)-(18) compatible with ADM [8] .

Also, this example is solved by using GA as follows:

We’ll choose six values of x between ( 0,1 ) randomly, and converting them from the decimal format to the binary format

0.2 = 0.001100 x 1 110011 t 1

0.3 = 0.010011 x 2 001100 t 2

0.5 = 0.100000 x 3 000000 t 3

0.6 = 0.100110 x 4 011000 t 4

0.8 = 0.110011 x 5 001100 t 5

0.9 = 0.111001 x 6 100100 t 6

that is,

Now,

where f ( x i , t i ) is the series solution of HAM given by (29) and p ( x i , t i ) =

f ( x i , t i ) i = 1 6 f ( x i , t i ) is the probability of each chromosomes with

i = 1 6 f ( x i , t i ) = 12.8110.

We arrange the chromosomes an ascending order and then choose less than four chromosomes to find the best solution

x 31 = 0.100000 , t 31 = 0.000000 x 21 = 0.010011 , t 21 = 0.001100 x 41 = 0.100110 , t 41 = 0.011000 x 11 = 0.001100 , t 11 = 0.110011

In this step of GA, crossover operation (two points) is done as follows:

c u t 1 = 2 , c u t 2 = 5 x 32 = 0.100000 , t 32 = 0.001100 x 22 = 0.010011 , t 22 = 0.000000 x 42 = 0.101110 , t 42 = 0.010000 x 12 = 0.000100 , t 12 = 0.111011

In the last step of GA a mutation operation (bit inverse, m = 3 ) and then converting them from the binary format to the decimal format:

x 33 = 0.101000 = 0.6250 , t 33 = 0.000100 = 0.0625 x 23 = 0.011011 = 0.4219 , t 23 = 0.001000 = 0.1250 x 43 = 0.100110 = 0.5938 , t 43 = 0.011000 = 0.3750 x 13 = 0.001100 = 0.1875 , t 13 = 0.110011 = 0.7969

The optimal solution is found after 51 generation to converge to the exact solution, where x = 7.2959306 E 04 and t = 2.2287430 E 05 . After execute the Equation (29) many times by using GA as in Table 1 we found the optimal solution.

Table 1. Optimal solution of genetic algorithm for example 1.

Example 2. We consider the following linear inhomogeneous equation,

y x x + 2 x y x ( 5 + 4 x 2 ) y = y t + 6 5 x 2 4 x 4 , (31)

subject to initial conditions

y ( 0 , t ) = e t , y x ( 0 , t ) = 0. (32)

To solve Equations (31)-(32) by means of the standard HAM, we choose the initial approximation

y 0 ( x , t ) = e t , (33)

and the linear operator

L [ ϕ ( x , t ; q ) ] = 2 ϕ ( x , t ; q ) x 2 + 2 x ϕ ( x , t ; q ) x , (34)

with the property

L [ c 1 x + c 2 ] = 0 , (35)

where c i ( i = 1 , 2 ) are constants of integration. Furthermore, Equation (31) suggests that we define the nonlinear operator as

N [ ϕ ( x , t ; q ) ] = 2 ϕ ( x , t ; q ) x 2 + 2 x ϕ ( x , t ; q ) x ( 5 + 4 x 2 ) ϕ ( x , t ; q ) ϕ ( x , t ; q ) t ( 6 5 x 2 4 x 4 ) . (36)

Using the above definition, we construct the zeroth-order deformation equation as in (7) and (8) and the mth-order deformation equation for m 1 is

L [ y m ( x , t ) χ m y m 1 ( x , t ) ] = h R m ( y m 1 ) , (37)

with the initial conditions

y m ( 0 , t ) = 0 , ( y m ) x ( 0 , t ) = 0 (38)

where

R m ( y m 1 ) = ( y m 1 ) x x + 2 x ( y m 1 ) x ( 5 + 4 x 2 ) y m 1 ( y m 1 ) t ( 1 χ m ) ( 6 5 x 2 4 x 4 ) . (39)

Now, the solution of the mth-order deformation Equation (37) for m 1 is

y m ( x , t ) = χ m y m 1 ( x , t ) + h 0 x x 2 0 x x 2 R m ( y m 1 ) . (40)

We now successively obtain

y 1 ( x , t ) = ( 1 5 x 4 + x 2 ) h e t + ( 2 21 x 6 + 1 4 x 4 x 2 ) h , y 2 ( x , t ) = ( 1 90 h 2 x 8 + 13 105 h 2 x 6 + 1 10 h 2 x 4 1 5 h x 4 h 2 x 2 h x 2 ) e t 4 1155 h 2 x 10 31 1512 h 2 x 8 + ( 9 56 h 2 + 2 21 h ) x 6 + ( 1 2 h 2 + 1 4 h ) x 4 ( h 2 + h ) x 2 , (41)

and so on, in this manner the rest of the iterations can be obtained. Thus, the approximate solution in a series form is given by

y ( x , t ) = y 0 ( x , t ) + m = 1 + y m ( x , t ) , (42)

Hence, the series solution when h = 1 is given by

y ( x , t ) = x 2 + ( 1 + x 2 + 1 2 ! x 4 + 1 3 ! x 6 + 1 4 ! x 8 + ) e t + noiseterms . (43)

This series has the closed form as n

y ( x , t ) = x 2 + e x 2 + t , (44)

which is the exact solution of the problem (31)-(32) compatible with ADM [8] . Notice that the noise terms that appear between various components vanish in the limit.

Using GA by the same procedure as in example 1, we get the optimal solution is found after 51 generation to converge to the exact solution, where x = 4.9489E−05 and t = 7.6780 E 05 . After execute the Equation (43) many times by using GA as in Table 2 we found the optimal solution.

4.2. Singular Wave-Type Equations

Example 3. Now, we consider the inhomogeneous singular wave-type equation,

y x x + 2 x y x ( 5 + 4 x 2 ) y = y t t + 12 x 5 x 3 4 x 5 , (45)

subject to initial conditions

Table 2. Optimal solution of genetic algorithm for example 2.

y ( 0 , t ) = e t , y x ( 0 , t ) = 0. (46)

To solve Equations (45)-(46) by means of the standard HAM, we choose the initial approximation

y 0 ( x , t ) = e t , (47)

and the linear operator

L [ ϕ ( x , t ; q ) ] = 2 ϕ ( x , t ; q ) x 2 + 2 x ϕ ( x , t ; q ) x , (48)

with the property

L [ c 1 x + c 2 ] = 0 , (49)

where c i ( i = 1 , 2 ) are constants of integration. Furthermore, Equation (45) suggests that we define the nonlinear operator as

N [ ϕ ( x , t ; q ) ] = 2 ϕ ( x , t ; q ) x 2 + 2 x ϕ ( x , t ; q ) x ( 5 + 4 x 2 ) ϕ ( x , t ; q ) 2 ϕ ( x , t ; q ) t 2 ( 12 x 5 x 3 4 x ) .

Using the above definition, we construct the zeroth-order deformation equation as in (7) and (8) and the mth-order deformation equation for m 1 is

L [ y m ( x , t ) χ m y m 1 ( x , t ) ] = h R m ( y m 1 ) , (50)

with the initial conditions

y m ( 0 , t ) = 0 , ( y m ) x ( 0 , t ) = 0 (51)

where

R m ( y m 1 ) = ( y m 1 ) x x + 2 x ( y m 1 ) x ( 5 + 4 x 2 ) y m 1 ( y m 1 ) t t ( 1 χ m ) ( 12 x 5 x 3 4 x 4 ) . (52)

Now, the solution of the mth-order deformation Equation (50) for m 1 is

y m ( x , t ) = χ m y m 1 ( x , t ) + h 0 x x 2 0 x x 2 R m ( y m 1 ) . (53)

We now successively obtain

y 1 ( x , t ) = ( 1 5 x 4 + x 2 ) h e t + ( 1 14 x 7 + 1 6 x 5 x 3 ) h , y 2 ( x , t ) = ( 1 90 h 2 x 8 + 13 105 h 2 x 6 + 1 10 h 2 x 4 1 5 h x 4 h 2 x 2 h x 2 ) e t 1 462 h 2 x 11 43 3780 h 2 x 9 + ( 43 336 h 2 + 1 14 h ) x 7 + ( 1 3 h 2 + 1 6 h ) x 5 ( h 2 + h ) x 3 , (54)

and so on, in this manner the rest of the iterations can be obtained. Thus, the approximate solution in a series form is given by

y ( x , t ) = y 0 ( x , t ) + m = 1 + y m ( x , t ) , (55)

Hence, the series solution when h = 1 is given by

y ( x , t ) = x 3 + ( 1 + x 2 + 1 2 ! x 4 + 1 3 ! x 6 + 1 4 ! x 8 + ) e t + noiseterms . (56)

This series has the closed form as n

y ( x , t ) = x 3 + e x 2 t , (57)

which is the exact solution of the problem (45)-(46) compatible with ADM [8] . Notice that the noise terms that appear between various components vanish in the limit.

Using GA by the same procedure as in example 1, we get the optimal solution is found after 51 generation to converge to the exact solution, where x = 0 and t = 0.879 . After execute the Equation (56) many times by using GA as in Table 3 we found the optimal solution

Example 4. We now examine the inhomogeneous wave-type equation,

y x x + 4 x y x ( 18 x + 9 x 4 ) y = y t t 2 ( 18 x + 9 x 4 ) t 2 , (58)

subject to initial conditions

y ( 0 , t ) = 1 + t 2 , y x ( 0 , t ) = 0. (59)

To solve Equations (58)-(59) by means of the standard HAM, we choose the initial approximation

y 0 ( x , t ) = 1 + t 2 , (60)

and the linear operator

L [ ϕ ( x , t ; q ) ] = 2 ϕ ( x , t ; q ) x 2 + 4 x ϕ ( x , t ; q ) x , (61)

with the property

L [ c 1 3 x + c 2 ] = 0 , (62)

where c i ( i = 1 , 2 ) are constants of integration. Furthermore, Equation (58) suggests that we define the nonlinear operator as

Table 3. Optimal solution of genetic algorithm for example 3.

N [ ϕ ( x , t ; q ) ] = 2 ϕ ( x , t ; q ) x 2 + 4 x ϕ ( x , t ; q ) x ( 18 x + 9 x 4 ) ϕ ( x , t ; q ) 2 ϕ ( x , t ; q ) t 2 + ( 18 x + 9 x 4 ) t 2 + 2. (63)

Using the above definition, we construct the zeroth-order deformation equation as in (7) and (8) and the mth-order deformation equation for m 1 is

L [ y m ( x , t ) χ m y m 1 ( x , t ) ] = h R m ( y m 1 ) , (64)

with the initial conditions

y m ( 0 , t ) = 0 , ( y m ) x ( 0 , t ) = 0 (65)

where

R m ( y m 1 ) = ( y m 1 ) x x + 4 x ( y m 1 ) x ( 18 x + 9 x 4 ) y m 1 ( y m 1 ) t t + ( 1 χ m ) [ ( 18 x + 9 x 4 ) t 2 + 2 ] . (66)

Now, the solution of the mth-order deformation Equation (64) for m 1 is

y m ( x , t ) = χ m y m 1 ( x , t ) + h 0 x x 4 0 x x 4 R m ( y m 1 ) . (67)

We now successively obtain

y 1 ( x , t ) = 1 6 h x 6 h x 3 , y 2 ( x , t ) = 1 120 h 2 x 12 + 1 9 h 2 x 9 + 1 6 ( h 2 h ) x 6 ( h 2 + h ) x 3 , y 3 ( x , t ) = 1 5040 h 3 x 18 23 5400 h 3 x 15 ( 1 90 h 3 1 60 h 2 ) x 12 + ( 1 6 h 3 + 2 9 h 2 ) x 9 + 1 6 ( 3 h 3 + 2 h 2 h ) x 6 ( h 3 + 2 h 2 + h ) x 3 , (68)

and so on, in this manner the rest of the iterations can be obtained. Thus, the approximate solution in a series form is given by

y ( x , t ) = y 0 ( x , t ) + m = 1 + y m ( x , t ) , (69)

Thus, the series solution when h = 1 is given by

y ( x , t ) = t 2 + ( 1 + x 3 + 1 2 ! x 6 + 1 3 ! x 9 + 1 4 ! x 12 + ) . (70)

This series has the closed form as n

y ( x , t ) = t 2 + e x 3 , (71)

which is the exact solution of the problem (58)-(59) compatible with ADM [8] .

Using GA by the same procedure as in example 1, we get the optimal solution is found after 51 generation to converge to the exact solution, where x = 4.6903E−06 and t = 1.1498 E 06 . After execute the Equation (70) many times by using GA as in Table 4 we found the optimal solution

Table 4. Optimal solution of genetic algorithm for example 4.

4.3. Nonlinear Models

In what follows we close this analysis by examining two nonlinear time-de- pendent equations

Example 5. We now consider the nonlinear time-dependent equation,

y x x + 5 x y x + ( 24 t + 16 t 2 x 2 ) e y 2 x 2 e y 2 = y t , (72)

subject to initial conditions

y ( 0 , t ) = 0 , y x ( 0 , t ) = 0. (73)

To solve Equations (72)-(73) by means of the standard HAM, we choose the initial approximation

y 0 ( x , t ) = 0 , (74)

and the linear operator

L [ ϕ ( x , t ; q ) ] = 2 ϕ ( x , t ; q ) x 2 + 5 x ϕ ( x , t ; q ) x , (75)

with the property

L [ c 1 4 x + c 2 ] = 0 , (76)

where c i ( i = 1 , 2 ) are constants of integration. Furthermore, Equation (72) suggests that we define the nonlinear operator as

N [ ϕ ( x , t ; q ) ] = 2 ϕ ( x , t ; q ) x 2 + 5 x ϕ ( x , t ; q ) x + ( 24 t + 16 t 2 x 2 ) e ϕ ( x , t ; q ) 2 x 2 e ϕ ( x , t ; q ) 2 ϕ ( x , t ; q ) t . (77)

Using the above definition, we construct the zeroth-order deformation equation as in (7) and (8) and the mth-order deformation equation for m 1 is

L [ y m ( x , t ) χ m y m 1 ( x , t ) ] = h R m ( y m 1 ) , (78)

with the initial conditions

y m ( 0 , t ) = 0 , ( y m ) x ( 0 , t ) = 0 (79)

where

R m ( y m 1 ) = ( y m 1 ) x x + 5 x ( y m 1 ) x + ( 24 t + 16 t 2 x 2 ) A m 1 2 x 2 B m 1 ( y m 1 ) t . (80)

For the nonlinear terms e ϕ ( x , t ; q ) = m = 1 A m 1 and e ϕ ( x , t ; q ) 2 = m = 1 B m 1 , the corresponding Adomian polynomials [15] [16] are:

A 0 = e y 0 , A 1 = y 1 e y 0 , A 2 = [ y 2 + ( 1 2 ! ) y 1 2 ] e y 0 , A 3 = [ y 3 + y 1 y 2 + ( 1 3 ! ) y 1 3 ] e y 0 , A 4 = [ y 4 + ( 1 2 ! ) y 2 2 + y 1 y 3 + ( 1 2 ! ) y 1 2 y 2 + ( 1 4 ! ) y 1 4 ] e y 0 , (81)

and

B 0 = e y 0 / 2 , B 1 = 1 2 y 1 e y 0 / 2 , B 2 = [ 1 2 y 2 + 1 4 ( 1 2 ! ) y 1 2 ] e y 0 / 2 , B 3 = [ 1 2 y 3 + 1 4 y 1 y 2 + 1 8 ( 1 3 ! ) y 1 3 ] e y 0 / 2 , B 4 = [ 1 2 y 4 + 1 4 ( 1 2 ! y 2 2 + 1 4 y 1 y 3 ) + 1 8 ( 1 2 ! ) y 1 2 y 2 + 1 16 ( 1 4 ! ) y 1 4 ] e y 0 / 2 , (82)

Now, the solution of the mth-order deformation Equation (78) for m 1 is

y m ( x , t ) = χ m y m 1 ( x , t ) + h 0 x x 5 0 x x 5 R m ( y m 1 ) . (83)

We now successively obtain

y 1 ( x , t ) = 1 2 h t 2 x 4 1 16 h x 4 + 2 h t x 2 , y 2 ( x , t ) = ( 1 12 h 2 t 4 1 64 h 2 t 2 + 1 1536 h 2 ) x 8 + ( 11 15 h 2 t 3 3 40 h 2 t ) x 6 + ( 2 h 2 t 2 + 1 2 h t 2 1 8 h 2 1 16 h ) x 4 + 2 ( h 2 + h ) t x 2 , (84)

and so on, in this manner the rest of the iterations can be obtained. Thus, the approximate solution in a series form is given by

y ( x , t ) = y 0 ( x , t ) + m = 1 + y m ( x , t ) , (84)

Thus, the series solution when h = 1 is given by

y ( x , t ) = 2 ( t x 2 1 2 t 2 x 4 + 1 3 t 3 x 6 1 4 t 4 x 8 + ) + noise terms . (85)

This series has the closed form as n

y ( x , t ) = 2 ln ( 1 + t x 2 ) , (86)

which is the exact solution of the problem (72)-(73) compatible with ADM [8] . Notice that the noise terms that appear between various components vanish in the limit.

Using GA by the same procedure as in example 1, we get the optimal solution is found after 51 generation to converge to the exact solution, where x = 0.470 and t = 0.895 . After execute the Equation (85) many times by using GA as in Table 5 we found the optimal solution

Example 6. Finally, we examine the nonlinear homogeneous equation,

y x x + 6 x y x + ( 14 t + x 4 ) y + 4 t y ln y = y t t , (87)

subject to initial conditions

y ( 0 , t ) = 1 , y x ( 0 , t ) = 0. (88)

To solve Equations (87)-(88) by means of the standard HAM, we choose the initial approximation

y 0 ( x , t ) = 1 , (89)

and the linear operator

L [ ϕ ( x , t ; q ) ] = 2 ϕ ( x , t ; q ) x 2 + 6 x ϕ ( x , t ; q ) x , (90)

with the property

L [ c 1 5 x + c 2 ] = 0 , (91)

where c i ( i = 1 , 2 ) are constants of integration. Furthermore, Equation (87) suggests that we define the nonlinear operator as

N [ ϕ ( x , t ; q ) ] = 2 ϕ ( x , t ; q ) x 2 + 6 x ϕ ( x , t ; q ) x + ( 14 t + x 4 ) ϕ ( x , t ; q ) + 4 t ϕ ( x , t ; q ) ln ϕ ( x , t ; q ) 2 ϕ ( x , t ; q ) t 2 . (92)

Table 5. Optimal solution of genetic algorithm for example 5.

Using the above definition, we construct the zeroth-order deformation equation as in (7) and (8) and the mth-order deformation equation for m 1 is

L [ y m ( x , t ) χ m y m 1 ( x , t ) ] = h R m ( y m 1 ) , (93)

with the initial conditions

y m ( 0 , t ) = 0 , ( y m ) x ( 0 , t ) = 0 (94)

where

#Math_199# (95)

For the nonlinear term ϕ ( x , t ; q ) ln ϕ ( x , t ; q ) = m = 1 A m 1 , the corresponding Adomian polynomials [15] [16] are:

#Math_201# (96)

Now, the solution of the mth-order deformation Equation (93) for m 1 is

y m ( x , t ) = χ m y m 1 ( x , t ) + h 0 x x 6 0 x x 6 R m ( y m 1 ) . (97)

We now successively obtain

y 1 ( x , t ) = 1 66 h x 6 + h t x 2 , y 2 ( x , t ) = 1 13464 h 2 x 12 + 7 572 h 2 t x 8 + 1 66 ( h 2 + h ) x 6 + 1 2 h 2 t 2 x 4 + ( h 2 + h ) t x 2 , y 3 ( x , t ) = 1 5574096 h 3 x 18 + 965 18290844 h 3 t x 14 + 1 6732 ( h 3 + h 2 ) x 12 + 67 12870 h 3 t 2 x 10 + 7 286 ( h 3 + h 2 ) t x 8 + 1 66 ( 11 h 3 t 3 + 2 h 2 + h ) x 6 + ( h 3 + h 2 ) t 2 x 4 + ( h 3 + 2 h 2 + h ) t x 2 , (98)

and so on, in this manner the rest of the iterations can be obtained. Thus, the approximate solution in a series form is given by

y ( x , t ) = y 0 ( x , t ) + m = 1 + y m ( x , t ) , (99)

Thus, the series solution when h = 1 is given by

y ( x , t ) = 1 t x 2 + 1 2 ! t 2 x 4 1 3 ! t 3 x 6 + 1 4 ! t 4 x 8 + . (100)

Table 6. Optimal solution of genetic algorithm for example 6.

This series has the closed form as n

y ( x , t ) = e t x 2 , (101)

which is the exact solution of the problem (87)-(88) compatible with ADM [8] .

Using GA by the same procedure as in example 1, we get the optimal solution is found after 51 generation to converge to the exact solution, where x = 0.270 and t = 0.935 . After execute the Equation (100) many times by using GA as in Table 6 we found the optimal solution.

5. Conclusions

To our best knowledge, this is the first result on the application of the HAM with GA to solve models of the time-dependent Emden-Fowler type of equations and wave-type equation with singular behaviors. The HAM with GA has been successfully applied to solve models of the time-dependent Emden-Fowler type of equations and wave-type equation with singular behaviors. The HAM with GA has worked effectively to handle these models giving it a wider applicability. The proposed scheme of HAM has been applied directly without any need for transformation formulae or restrictive assumptions. The solution process of HAM is compatible with those methods in the literature providing analytical approximation such as ADM.

The approach of HAM with GA has been tested by employing the method to obtain approximate-exact solutions of six examples. The results obtained in all cases demonstrate the reliability and the efficiency of this method.

Acknowledgements

We would like to thank the referees for their careful review of our manuscript.

Cite this paper

Al-Hayani, W., Alzubaidy, L. and Entesar, A. (2017) Analytical Solution for the Time-Dependent Emden-Fowler Type of Equations by Homotopy Analysis Method with Genetic Algorithm. Applied Mathematics, 8, 693-711. https://doi.org/10.4236/am.2017.85055

References

  1. 1. Davis, H.T. (1962) Introduction to Nonlinear Differential and Integral Equations. Dover Publications, New York.

  2. 2. Chandrasekhar, S. (1967) Introduction to the Study of Stellar Structure. Dover Publications, New York.

  3. 3. Richardson, O.U. (1921) The Emission of Electricity from Hot Bodies. London.

  4. 4. Adomian, G., Rach, R. and Shawagfeh, N.T. (1995) On the Analytic Solution of Lane-Emden Equation, Found. Physics Letters, 8, 161-181. https://doi.org/10.1007/BF02187585

  5. 5. Shawagfeh, N.T. (1993) Nonperturbative Approximate Solution for Lane-Emden Equation. Journal of Mathematical Physics, 34, 4364-4369. https://doi.org/10.1063/1.530005

  6. 6. Wazwaz, A.M. (2001) A New Method for Solving Differential Equations of the Lane-Emden Type. Applied Mathematics and Computation, 118, 287-310.

  7. 7. Wazwaz, A.M. (2005) Adomian Decomposition Method for a Reliable Treatment of the Emden-Fowler Equation. Applied Mathematics and Computation, 161, 543-560.

  8. 8. Wazwaz, A.M. (2005) Analytical Solution for the Time-Dependent Emden-Fowler Type of Equations by Adomian Decomposition Method. Applied Mathematics and Computation, 166, 638-651.

  9. 9. Yildirim, A. and Ozis, T. (2009) Solutions of Singular IVPs of Lane-Emden Type by the Variational Iteration Method. Nonlinear Analysis, 70, 2480-2484.

  10. 10. Dehghan, M. and Shakeri, F. (2008) Approximate Solution of a Differential Equation Arising in Astrophysics Using the Variational Iteration Method. New Astronomy, 13, 53-59.

  11. 11. Liao, S.J. (2003) Beyond Perturbation: Introduction to the Homotopy Analysis Method. Chapman and Hall, CRC Press, Boca Raton. https://doi.org/10.1201/9780203491164

  12. 12. He, J.H. (2003) Homotopy Perturbation Method: A New Nonlinear Analytical Technique. Applied Mathematics and Computation, 135, 73-79.

  13. 13. Gen, M. and Cheng, R. (1997) Genetic Algorithms and Engineering Design. John Wiley & Sons, Hoboken.

  14. 14. Melanie, M. (1998) An Introduction to Genetic Algorithms. MIT Press, Cambridge.

  15. 15. Adomian, G. (1989) Nonlinear Stochastic Systems Theory and Applications to Physics. Kluwer Academic Publishers, Dordrecht. https://doi.org/10.1007/978-94-009-2569-4

  16. 16. Wazwaz, A.M. (2000) A New Algorithm for Calculating Adomian Polynomials for Nonlinear Operators. Applied Mathematics and Computation, 111, 53-69.