Nonlinearities Distribution Homotopy Perturbation Method Applied to Solve Nonlinear Problems: Thomas-Fermi Equation as a Case Study
We propose an approximate solution of T-F equation, obtained by using the nonlinearities distribution homotopy perturbation method (NDHPM). Besides, we show a table of comparison, between this proposed approximate solution and a numerical of T-F, by establishing the accuracy of the results.
The numerical simulation for the charge distribution and the electric field inside an atom is a very difficult task, especially for complex atoms. For these cases, the Thomas-Fermi (T-F) equation can be employed in order to obtain highly accurate approximate results. T-F method is based on the fact that most of complex atoms, with a large number of electrons, have relatively large quantum numbers, and therefore the semiclassical approach can be employed. Then, it is possible to apply the concept of cells in the phase space to the states of individual electrons .
The Thomas-Fermi equation describes mathematically an infinite atom, without border; however the model is not applicable to both distances from the nucleus: too small and too large. More precisely, its application domain is limited to a range of distances : large relative to the quantity and small compared to 1, where is the atomic number of the atom. However, for complex atoms, most of the electrons are in that interval, for which the study of T-F equation becomes important.
One of the important consequences of the Thomas-Fermi theory follows from the above. The atom has an outer boundary for values of ; thus the theory predicts that the dimensions of the atom are independent of , and for the same reason the ionization energy of the outer electrons is also independent of the atomic number .
Problems like the one mentioned give rise to the search of solutions to nonlinear differential equations but, unfortunately, solving this kind of equations is a difficult task. As a matter of fact, most of the time, only an approximate solution to such problems can be got. In order to approach various types of nonlinear differential equations, several methods have been proposed such as those based on variational approaches [2–4], tanh method , exp-function , Adomian’s decomposition method [7–12], parameter expansion , homotopy perturbation method [14–27], homotopy analysis method [25, 28–32], and perturbation method [28, 33, 34], among others. Also, a few exact solutions to nonlinear differential equations have been reported occasionally .
This study proposes a variation of the homotopy perturbation method (HPM), by using nonlinearities distributions , which allows finding an approximate solution of Thomas-Fermi equation [23, 36–41]. On the other hand, it will be seen that it is convenient to introduce an adjusting parameter in order to enlarge the domain of convergence of our approach.
This paper is organized as follows. In Section 2, we provide the basic concept of nonlinearities distributions homotopy perturbation method (NDHPM). Section 3 presents the application of NDHPM to find an approximate solution of Thomas-Fermi equation. Section 4 discusses the main results obtained. Finally, a brief conclusion is given in Section 5.
2. Basic Idea of NDHPM
The standard homotopy perturbation method (HPM) was proposed by Ji Huan He. It was introduced like a powerful tool to approach various kinds of nonlinear problems. The homotopy perturbation method can be considered as a combination of the classical perturbation technique and the homotopy (whose origin is in the topology), and it is not restricted to small parameters as traditional perturbation methods. For example, HPM method requires neither small parameter nor linearization but only few iterations to obtain accurate solutions.
To figure out how HPM method works, consider a general nonlinear equation in the form with the following boundary conditions: where is a general differential operator, is a boundary operator, a known analytical function, and is the domain boundary for . can be divided into two operators and , where is linear and nonlinear; from this last statement, (1) can be rewritten as Generally, a homotopy can be constructed in the form Or where is a homotopy parameter, whose values are within range of 0 and 1; is the first approximation for the solution of (3) that satisfies the boundary conditions.
When , it yields the approximate solution for (1) in the form Another way to build a homotopy, which is relevant for this paper, it is by considering the following general equation: where and are the linear and nonlinear operators, respectively. It is desired that solution for describes, accurately, the original nonlinear system.
By the homotopy technique, a formulation is constructed as follows : Again, it is assumed that solution for (9) can be written in the form (6); thus, taking the limit when results in the approximate solution of (8). The convergence of solutions obtained by HPM method is discussed in [20, 21, 25, 26].
A recent report  introduced a modified version of homotopy perturbation method, which eases the solutions searching process for (3). As first step, a homotopy of the following form is introduced: It can be noticed that the homotopy function (10) is essentially the same as (4), except for the nonlinear operator and the nonhomogeneous function , which contain embedded the homotopy parameter . We propose first to subdivide and into a series of terms and multiply by the most nonlinear terms, where is an integer number greater or equal to zero. The power is selected according to how much displacement is desired in the interactions for the corresponding nonlinear term of or . The introduction of that parameter within the differential equation is a strategy to redistribute the nonlinearities between the successive iterations of the HPM method, and thus it increases the probabilities of finding the sought solution. The rest of the method is exactly the same as the standard procedure for the HPM. Therefore, we establish that When , it results in the approximate solution for (3) in the form An advantage of this procedure is that, given the distribution of nonlinearities, from the differential equation, over the successive iterations of (11), less complex analytic approximations may be obtained than those generated by the original standard HPM.
Finally, convergence of solutions obtained by NDHPM method is discussed in .
3. Approximate Solution of Thomas-Fermi Equation
In order to facilitate understanding of the NDHPM method, we will solve approximately the equation where prime denotes differentiation with respect to .
is a function related to the electrostatic potential inside the atom, is a variable proportional to distance from the nucleus , and the most accurate value of is .
The above equation is a modified version of the original problem of Thomas-Fermi, where (13) is subject to the boundary conditions , [28, 41] although there are other conditions that can be applied .
Following references [16, 24] instead of defining a linear and nonlinear part in the above equation, we add and subtract as it is shown, in order to add a term to linear operator to facilitate the search for convergent solutions; thus (13) can be rewritten as where and are constant parameters to determine.
The linear part is identified as and the nonlinear is In order to simplify the calculations, we will redistribute the nonlinear term by using NDHPM method, starting from (9), in the form by substituting into (17), and equating terms having identical powers of we obtain
In this paper we study the first order approximation, (19)-(20). We will see that the nonlinear term of (see (16)) contains the sufficient information to obtain a good analytical approximation for (13).
The solution of (19) that satisfies the initial conditions is given by where and are constants related to and .
By substituting (21) into (20) we obtain In order to simplify (22) and obtain a handy approximation for (13), we will assume that there is an adequate choice of and such that , valid for ; in such a way we can rewrite (22) approximately as where we have defined This assumption is justified later.
To solve (23), we employ the method of variation of parameters  which requires evaluating the following integrals: where and are the solutions of the homogeneous differential equation is the Wronskian of these two functions, which is given by and is the right-hand side of (23).
Substituting and (27) into (25) leads to By substituting , the above equations take the form Therefore, the solution of (23) is written according to the method of variation of parameters as  where and are constants and and are given by (29) and (30), respectively.
Applying the initial condition to (31) leads to Equation (32) is simplified to On the other hand, to apply the condition , we differentiate (31) to obtain After performing algebraic simplifications to (34), we obtain Applying the condition to (35) the following is obtained: since and (see (29) and (30)).
From (33) and (36) we obtain and since ; therefore (31) becomes By substituting (21) and (37) into (12), we obtain the following first order approximation for the solution of (13): We will show later that it is possible to achieve a good fit and enlarge the domain of convergence for (38) (keeping at the same time the handy character of the proposed solution), by introducing in (38) an adjusting parameter (consistent with the initial conditions), as it is shown in The inclusion of parameter, , is motivated because the solution for the homogeneous equation (19) is undetermined by a constant factor (without considering the initial values) and from the following argument.
Let , since , ; the first order solution for a function, say , which defines a slightly different problem from the original, is given by or , where , , , and . Thus, after dividing by , is obtained (where , and we have supposed that for some problems . As a matter of fact, following (21)–(30) we conclude that for this case ; therefore .
Substituting (29) and (30) into (39) we obtain In  a high accurate approximation of normal distribution integral was reported, which let us write the above integrals as Note that is not a Gaussian integral on the assumption that for , since it implies that .
Equations (41) allow us to write (40) as To transform (43) into an analytical expression, we evaluate (42) keeping terms up to the ninth power, to obtain the following compact fractional power function: where the main contribution of this approximation to (43) is in the range of because it is multiplied by a negative exponential (see (43) and Section 4).
Therefore, substituting (44) into (43), the following is obtained: In order to obtain a good approximation from (45), we optimize the values of the aforementioned parameters as follows: , , and using the procedure reported in [14, 17, 27] (note that with these values, the assumption is satisfied, besides the above results allow to know and whose values are not needed in the search for the solution of the system (19) and (20)).
Table 1 shows the comparison between numerical solution given in  and approximations [15, 38] and (45). It is clear that our approximation (45) is competitive, considering that it is analytic and handy, unlike other approximations which are expressed in terms of power series. In [37, 38, 41], T-F equation was solved by homotopy analysis method (HAM). The approximation  corresponds to an 80th order analytical approximation and therefore is impractical. On the other hand in  the results are given in terms of infinite series and show particularly the calculation of the initial slope . Moreover, in , an accurate approximate solution was obtained, but it corresponds to the 40th order approximation. In , (13) was solved by HPM and Padé approximants; in this case a solution of 26 power series terms is provided which is also not handy in practice. Reference  presents an analytical approach, but it is not accurate. In this study, we used homotopy perturbation method with nonlinearities distributions to find an accurate solution for (13) (see Figure 1 and Table 1). Although (43) is just almost analytic (due to the presence of a non-Gaussian integral), it can be estimated that contribution of (42) to the solution (43) is well represented by (44) assuming the values are , , and ; thus we obtained the analytical approximation (45). We just kept only five terms in (44) in order to obtain a handy approximation. Besides, the right-hand side of (44) adequately represents the indicated non-Gaussian integral in the range . It implies that the best contribution of the term proportional to in (43) is just beginning of the interval considered, that is, in a part of the domain where the T-F equation describes correctly the atom (see Section 1). For values , the above-mentioned term is dominated for the exponential . In any case, the value of the integrals of (40) can be evaluated by using numerical methods. An interesting fact is that if more terms had been considered in the development of (12), we would have obtained, as a solution of (13), a series containing terms of hyperbolic tangent functions to the form (41).
The strategy to redistribute the nonlinearities of T-F equation, between the successive iterations of the HPM method, was important to obtain an approximate solution of (13) because it allows us to simplify the solution procedure for the successive iterations of the HPM method. Besides, we obtained a soluble coupled system of linear differential equations (19) and (20). In this study, we introduced an adjusting parameter in order to enlarge the domain of convergence of our approach, with good results, by using only the first order approximation (see Table 1 and Figure 1).
A relevant fact is that NDHPM requires little iterations to obtain accurate solutions, if we have a first approximation containing as much information as possible for a nonlinear differential equation. For instance, in our case, (21) contains the correct asymptotic character of the exact equation.
In this work, NDHPM was used to obtain an approximate analytical solution for T-F equation. Our solution is novel because it is expressed in terms of exponential and fractional power functions and above all in terms of normal distribution integrals. It is important to obtain an analytical expression that provides a good description of the solution for the nonlinear differential equations like (13). For instance, the charge distribution and the electrostatic potential inside an atom are adequately described by (43) and (45). It is worth mentioning that, if the initial guess is suitably chosen, it is possible to obtain by this method an accurate approximation like (43), even using the first terms of (12). Finally, in contrast to Runge-Kutta numerical solution, NDHPM method allows to analyze quantitatively and qualitatively the solution.
Conflict of Interests
The authors declare that there is no conflict of interests regarding the publication of this paper.
The authors gratefully acknowledge the financial support from the National Council for Science and Technology of Mexico (CONACyT) through Grant CB-2010-01 #157024. The authors would like to thank Rogelio-Alejandro Callejas-Molina and Roberto Ruiz-Gomez for their contribution to this project.
L. Landau and E. M. Lifshitz, Mecánica Cuántica No Relativista, Editorial Reverte, S. A., 2nd edition, 1967.
R. Noorzad, A. T. Poor, and M. Omidvar, “Variational iteration method and homotopy-perturbation method for solving Burgers equation in fluid dynamics,” Journal of Applied Sciences, vol. 8, no. 2, pp. 369–373, 2008.View at: Google Scholar
A. Kooch and M. Abadyan, “Efficiency of modified Adomian decomposition for simulating the instability of nano-electromechanical switches: comparison with the conventional decomposition method,” Trends in Applied Sciences Research, vol. 7, no. 1, pp. 57–67, 2012.View at: Publisher Site | Google Scholar
L.-N. Zhang and L. Xu, “Determination of the limit cycle by He’s parameter expansion for oscillators in a u3/1 + u2 potential,” Zeitschrift für Naturforschung—Section A Journal of Physical Sciences, vol. 62, no. 7-8, pp. 396–398, 2007.View at: Google Scholar
M. A. Noor and S. T. Mohyud-Din, “Homotopy perturbation method for solving Thomas-Fermi equation using pade approximants,” International Journal of Nonlinear Science, vol. 8, no. 1, pp. 27–31, 2009.View at: Google Scholar
T. Patel, M. N. Mehta, and V. H. Pradhan, “The numerical solution of Burger’s equation arising into the irradiation of tumour tissue in biological diffusing system by homotopy analysis method,” Asian Journal of Applied Sciences, vol. 5, no. 1, pp. 60–66, 2012.View at: Publisher Site | Google Scholar
U. Filobello-Nino, H. Vazquez-Leal, Y. Khan et al., “Using perturbation methods and Laplace-Padé approximation to solve nonlinear problems,” Miskolc Mathematical Notes, vol. 14, no. 1, pp. 89–101, 2013.View at: Google Scholar
D. G. Zill, A First Course in Differential Equations with Modeling Applications, Brooks Cole, 10th edition, 2012.