Recibido: 7 de septiembre de 2017
Aceptado: 5 de octubre de 2018
Publicado: 2 de septiembre de 2019
Cómo citar:
Filobello-Nino, U., Vazquez-Leal, H., Herrera-May, A. L., Jimenez-Fernandez, V. M., Cervantes-Perez, J., Pereyra-Diaz, D., Hoyos-Reyes, C., Sandoval-Hernandez, M. A., Huerta-Chua, J., & Ruiz-Gomez, R. (2019). An easy and computable approximation for Troesch’s problem by using the Laplace Transform-Homotopy Perturbation Method. Acta Universitaria, 29, e2065. doi: 10.15174/au.2019.2065

doi:10.15174/au.2019.2065 ǀ ISSN online 2007 - 9621
An easy and computable approximation for Troesch’s problem by using the Laplace Transform-Homotopy Perturbation Method
Una solución aproximada y práctica al problema de Troesch utilizando el Método de Perturbación Homotópica con Transformada de Laplace
U. Filobello-Nino*, H. Vazquez-Leal*, A. L. Herrera-May**, V. M. Jimenez-Fernandez*, J. Cervantes-Perez*, D. Pereyra-Diaz*, C. Hoyos-Reyes*, M. A. Sandoval-Hernandez***, J. Huerta-Chua****, R. Ruiz-Gomez*
* Facultad de Instrumentación Electrónica, Universidad Veracruzana, Circuito Gonzalo Aguirre Beltrán S/N, Xalapa, Veracruz, 9100, México. *E-Mail: hvazquez@uv.mx
** Centro de Investigación en Micro y Nanotecnología, Universidad Veracruzana.
*** National Institute for Astrophysics, Optics and Electronics.
**** Facultad de Ingeniería en Electrónica y Comunicaciones, Universidad Veracruzana.
° Corresponding author.
Keywords:
Laplace Transform; Homotopy Perturbation Method; Troesch’s Problem
Palabras Clave:
Transformada de Laplace; Método de Perturbación Homotópica; Problema de Troesch

ABSTRACT

This work introduces the Laplace Transform-Homotopy Perturbation Method (LT-HPM) in order to provide an approximate solution for Troesch’s problem. After comparing figures between exact and approximate solutions, as well as the average absolute relative error (AARE) of the approximate solutions of this research, with others reported in the literature, it can be said that the proposed solutions are accurate and handy. In conclusion, LT-HPM is a potentially useful tool.

RESUMEN

Este artículo propone el método de perturbación homotópica con Transformada de Laplace para encontrar una solución aproximada al problema de Troesch. Después de comparar las figuras entre la solución aproximada y la exacta, así como el error relativo absoluto promedio (AARE) de las soluciones aproximadas en este estudio, con otras reportadas en la literatura, se puede decir que la solución propuesta es, además de práctica, precisa. Se concluye que el método LTHPM es potencialmente útil.

INTRODUCTION

Troesch’s equation is important in physics because it models the confinement of a plasma column by radiation pressure. Thus, it is relevant to search for precise solutions for this equation. Unfortunately, Troesch’s equation is difficult to solve, as it happens with several nonlinear differential equations that appear in the physical sciences.

Laplace transform (LT) has played a relevant role, not only for its theoretical interest but also for its methods that allow to solve, in a simpler way, ordinary differential equations (ODE) that model many problems in the fields of engineering and science, in comparison with other mathematical methods (Spiegel, 1988). Specifically, LT has been useful for the solution of ODE with constant coefficients and initial conditions; also, LT can be employed in the case of certain differential equations with variable coefficients and partial differential equations (Spiegel, 1988). The applications of LT for nonlinear ODES has been focused, mainly, on getting analytical approximate solutions. Thus, Aminikhah & Hemmatnezhad (2012) reported LT-HPM, which is a coupling of the homotopy perturbation method (HPM) and LT methods aiming to get precise approximate solutions for these equations. Nevertheless, just as it happens with LT, LT-HPM has been employed, above all, to solve problems with initial conditions (Aminikhah, 2012a; Aminikhah & Hemmatnezhad, 2012), because LT-HPM is directly related to these problems. This work presents LT-HPM with the goal of finding an approximate solution for the nonlinear ODE that describes Troesch’s problem, which is defined on a finite interval with Dirichlet boundary conditions.

ODE with boundary conditions on infinite intervals has been regarded in some papers, and it often corresponds to problems defined on semi-infinite ranges (Aminikhah, 2012b; Khan, Gondal, Hussain & Vanani, 2011); nevertheless, the way to solve these problems is different from the method presented in this work. The importance of research on nonlinear ODE is that many phenomena, theoretical and practical, have a nonlinear nature. Recently, various methods, alternative to classical methods, have risen to search approximate solutions for nonlinear differential equations, such as variational approaches (Assas, 2007; He, 2007; Kazemnia, Zahedi, Vaezi & Tolou, 2008; Noorzad, Poor & Omidvar, 2008), tanh method (Evans & Raslan, 2005), exp-function (Mahmoudi, Tolou, Khatami, Barari & Ganji, 2008; Xu, 2007), Adomian’s decomposition method (ADM) (Adomian, 1988; Babolian & Biazar, 2002; Chowdhury, 2011; Deeba, Khuri & Xie, 2000; Kooch & Abadyan, 2011; 2012; Vanani, Heidari & Avaji, 2011), parameter expansion (Zhang & Xu, 2007), homotopy perturbation method (HPM) (Aminikhah, 2012a; 2012b; Aminikhah & Hemmatnezhad, 2012; Araghi & Rezapour, 2011; Araghi & Sotoodeh, 2012; Bayat, Bayat & Pakar, 2014; Bayat, Pakar & Emadi, 2013; Belendez et al., 2009; Biazar & Aminikhah, 2009; Biazar & Eslami, 2012; Biazar & Ghanbari, 2012; Biazar & Ghazvini, 2009; El-Shaed, 2005; Feng, Mei & He, 2007; Fereidon, Rostamiyan, Akbarzade & Ganji, 2010; Filobello-Niño et al., 2012a; 2012b; 2015; Ganji, Mirgolbabaei, Miansari & Miansari, 2008; He, 1999; 2000; 2006a; 2006b; Khan et al., 2011; Khan & Wu, 2011; Marinca & Herisanu, 2011; Mirmoradia, Hosseinpoura, Ghanbarpour & Barari, 2009; Madani, Fathizadeh, Khan & Yildirim, 2011; Rashidi, Pour, Hayat & Obaidat, 2012; Rashidi, Rastegari, Asadi & Beg, 2012; Sharma & Methi, 2011; Vazquez-Leal et al., 2012; Vazquez-Leal et al., 2013; Vazquez-Leal et al., 2014; Vazquez-Leal, Castañeda-Sheissa, Filobello-Niño, Sarmiento-Reyes & Sanchez-Orea, 2012; Vazquez-Leal, Filobello-Niño, Castañeda-Sheissa, Hernandez-Martinez & Sarmiento-Reyes, 2012; Vazquez-Leal, Sarmiento-Reyes, Khan, Filobello-Nino & Diaz-Sanchez, 2012), homotopy analysis method (HAM) (Hassana & El-Tawil, 2011; Patel, Mehta & Pradhan, 2012), and perturbation method (PM) (Filobello-Niño et al., 2013a), among others. In the same way, some exact solutions to nonlinear ODE have been introduced, for example, in Filobello-Niño et al. (2013b).

The organization of this work is as follows. Section Standard HPM introduces the basic idea of the Homotopy Perturbation Method. The next Section presents the LT-HPM method. In Case Study section, LT-HPM is presented in order to find an approximate solution for Troesch’s equation. Additionally, a discussion on the results is presented. Finally, a conclusions section presents the results obtained from this work.

Standard HPM

The HPM method was introduced with the aim to find approximate solutions to various kinds of nonlinear problems. Indeed, HPM is a combination of the classical perturbative technique and the homotopy, whose origin is found in the topology, but it is not restricted to small parameters. Besides, HPM often requires a few iterations to find accurate approximate solutions (He, 2000; 1999).

To understand how the HPM method works, consider a general nonlinear differential equation (He, 2000) expressed as:

AU-fr=0               rΩ,                                                                                                                                                                         (1)

with boundary conditions

BU,U/n=0,               rΓ,                                                                                                                                                                        (2)

where A is a differential operator, B is a boundary operator, ƒ(r) is a known analytical function and Γ is the domain boundary for Ω. Besides, (1) can be expressed as:

LU+NU-fr=0,                                                                                                                                                                                     (3)

where L is linear and N nonlinear.

In general, a homotopy is constructed as follows (He, 1999; 2000):

HU,p=1-pLU-Lu0+pLU+NU-fr=0, p0,1, rΩ                                                                                   (4)

or

HU,p=LU-Lu0+pLu0+NU-fr=0,    p0,1,   rΩ                                                                                            (5)

where p is called the homotopy parameter, while u0 is the first approximation for the solution of (3) that satisfies the boundary conditions.

The solution for (4) or (5) is expressed as:

U=v0+v1p+v2p2+...                                                                                                                                                                                      (6)

By substituting (6) into (5) and comparing identical powers of p terms, there can be found values for

After considering p → 1, the following approximate solution for (1) is obtained:

U=v0+v1+v2+v3...                                                                                                                                                                                       (7)

Basic Idea of Laplace Transform Homotopy Perturbation Method (LT-HPM)

The aim of this section is to show how LT-HPM is used with the purpose of obtaining approximate solutions for ODE, as (3) (Aminikhah, 2012b; Filobello-Nino et al., 2015).

The procedure for LT-HPM follows the same steps as HPM, but only until (5); next, LT is applied on both sides of (5) to get:

ILU-Lu0+pLu0+NU-fr=0                                                                                                                                             (8)

From Spiegel (1988), the following is obtained:

snIU-sn-1U0-sn-2U'0-...-Un-10=ILu0-pLu0+p-NU+fr                                                                      (9)

or

IU=1snsn-1U0+sn-2U'0+1snILu0-pLu0+p-NU+fr                                                                                 (10)

Applying inverse Laplace transform to both sides of (10), the following is obtained:

U=I-11snsn-1U0+sn-2U'0+..+Un-10+1snILu0-pLu0+p-NU+fr                                                  (11)

Next, it is assumed that the solutions of (3) are expressed as:

U=n=0pnvn,                                                                                                                                                                                                        (12)

so that substituting (12) into (11) be:

n=0pnvn=I-11snsn1U0+sn-2U'0+..+Un-10+1snILu0-pLu0+p-Nn=0pnvn+fr                      (13)

After comparing coefficients with the same power of p:

p0:v0=I-11snsn-1U0+sn-2U'0+..+Un-10+ILu0,

p1:v1=I-11snI-Nv0-Lu0+fr,

p2:v2=I-11snI-Nv0,v1,

p3:v3=I-11snI-Nv0,v1,v2,                                                                                                                                                              (14)

pj:vj=I-11snI-Nv0,v1,v2,...,vj,

Assuming that the initial approximation adopts the form U(0)=u0=α0, U'(0)=α1,...,Un-1(0)=αn-1; then an approximate solution is expressed in terms of the following limit:

u=limp1U=v0+v1+v2+...                                                                                                                                                                                  (15)

Case Study

Next, LT-HPM is used in order to get a handy analytical approximate solution for the nonlinear problem:

d2yxdx2=εsenhεy, 0x1, y0=0, y1=1                                                                                                                                               (16)

where is a positive parameter (Troesch’s parameter).

The terms to be identified are

Ly=y''x                                                                                                                                                                                                               (17)

Ny=εsenhεy,                                                                                                                                                                                                      (18)

where prime denotes differentiation respect to x.

Next, on the right side of (16), in terms of its Taylor series, the following is expressed:

yn=ε2y+ε4y36+ε6y5120+ε8y75040+...                                                                                                                                                                             (19)

In order to show the usefulness of the proposed method, an accurate approximate solution will be obtained, keeping only the first two terms on the right side of (19).

Next, the following homotopy is constructed (see 4):

1-pyn-y0n+pyn-ε2y-ε4y36=0                                                                                                                                                               (20)

or

yn=y0n+p-y0n+ε2y+ε4y36                                                                                                                                                                                   (21)

After applying LT:

Iyn=Iy0n+p-y0n-ε2y+ε4y36                                                                                                                                                                   (22)

Following Spiegel (1988), the (22) is rewritten as:

s2Ys-sy0-y'0=Iy0n+p-y0n+ε2y+ε4y36,                                                                                                                                      (23)

where Y(s)=ℑ(y(x)) has been defined.

After using y(0)=0, (23) is expressed as:

s2Ys-A=Iy0n+p-y0n+ε2y+ε4y36,                                                                                                                                                          (24)

where A=y'(0).

Solving for Y(s) and applying Laplace inverse transform ℑ1, the next is obtained:

yx=I-1As2+1s2Iy0n+p-y0n+ε2y+ε4y36                                                                                                                                            (25)

Next, the following series solution for y(x) will be assumed as

yx=n=0pnvn                                                                                                                                                                                                          (26)

It is noted that

v0x=Ax                                                                                                                                                                                                                     (27)

is the first approximation for the solution for (16), which satisfies the conditions y(0)=0, y'(0)=A.

Thus, after substituting (26) into (25), the following is obtained:

n-0pnvn=I-1As2+1s2Iy0n+p-y0n+ε2v0+pv1+p2v2+..ε4v0+pv1+p2v2+..6                                                                              (28)

After comparing coefficients of identical powers of p terms:

p0:v0x=I-1As2,                                                                                                                                                                                                (29)

p1:v1x=I-1ε2s2Iv0+ε46s2Iv03,                                                                                                                                                    (30)

p2:v2x=I-1ε2s2Iv1+ε42s2Iv1v02,                                                                                                                                                 (31)

After solving Laplace transforms (29), (30), and (31):

p0:v0x=Ax,                                                                                                                                                                                                             (32)

p1:v1x=ε2Ax36+A3ε4x5120,                                                                                                                                                                                          (33)

p2:v2x=ε2A120x511ε6A35040x7+ε8A517280x9,                                                                                                                                                                        (34)

and so on.

By substituting (32)-(34) into (15), and considering the limit value p → 1, the handy approximation is obtained:

yx=Ax+ε2A6x3+ε4A1+A2120x5+11ε6A35040x7+ε8A517280x9                                                                                                                                        (35)

In order to calculate the value of A, it is necessary that (35) satisfies the boundary condition y(1)=1. This condition gives rise to an algebraic equation for the unknown . Proposing as case studies ε=0.5, ε=1, and ε=2, the values

A=0.9590503635               ε=0.5,                                                                                                                                                                      (36)

A=0.8456306348               ε=1,                                                                                                                                                                          (37)

and

A=0.5323243593               ε=2,                                                                                                                                                                          (38)

are obtained, respectively.

By substituting (36), (37), and (38) into (35), the following expressions are obtained:

yx=0.9590503635x+0.03996043182x3+0.00095893922735x5+0.00003008197995x7+1.834101508x10-7x9                                  (39)

yx=0.8456306348x+0.1409384391x3+0.01208611363x5+0.001319788295x7+0.00002502417688x9                                              (40)

yx=0.5323243593x+0.3548829062x3+0.09108915995x5+0.02107032055x7+0.0006332539792x9                                                   (41)

DISCUSSION

This article employed LT-HPM in the search for a handy and precise analytical approximate solution for the nonlinear ODE defined with finite boundary conditions that describe the Troesch’s problem. Since the proposed method is expressed in terms of initial conditions for a given problem (see (14)), this procedure consisted of expressing the approximated solutions in terms of . It is noted that in order to determine the value of A, the boundary condition y(1)=1 has to be satisfied. This condition defines an algebraic equation for the unknown A.

Figure 1 shows the comparison between numerical and approximate solutions (39)-(41) for the cases ε=0.5, ε=1, and ε=2, respectively. It is also noted that curves are in good agreement; thus, the potentiality of the proposed method in the search for solutions for nonlinear ODE with finite boundary conditions is clear.


Figure 1 Download

Comparison of proposed solution (35) (solid lines) for ε=0.5, ε=1, and ε=2; versus the solutions reported in Erdogan & Ozis (2011) for ε=0.5 (solid square), ε=1 (solid circles), and ε=2 (diagonal-cross) calculated by using the built-in numerical routine for BVP from Maple 15.
Source: Authors’ own elaboration.

Table 1 shows the comparison between the exact solution reported by Erdogan & Ozis (2011), and approximations (39), ADM (Deeba et al., 2000), HPM (Feng et al., 2007), HPM (Mirmoradia et al., 2009), and HAM (Hassana & El-Tawil, 2011) for the case ε=0.5. It is clear that (39) is competitive with the second best accuracy; its average absolute relative error (AARE) is scarcely of 4.6x10-6, only HAM (Hassana & El-Tawil, 2011) was more accurate, since its AARE is 2.51374x10-6. Besides, HPM, ADM, and HAM methods are considered more difficult to use, because LT-HPM does not require solving recurrence differential equations. HAM usually requires more iterations and, consequently, more terms in comparison with LT-HPM; therefore, its expressions are many times long and cumbersome. Table 2 shows that, for ε=2, approximation (40) possesses the lowest AARE 4.5x10-4 even though ε=2 is not small (see below).


Table 1 Comparison between (39), the exact solution (Erdogan & Ozis, 2011), and other reported approximate solutions using ε=0.5
X Exact (Erdogan & Ozis, 2011) This work, LT-HPM (39) ADM (Deeba et al., 2000) HPM (Feng et al., 2007) HPM (Mirmoradia et al., 2009) HAM (Hassana & El-Tawil, 2011)
0.1 0.0959443493 0.09594500637 0.0959383534 0.0959395656 0.095948026 0.0959446190
0.2 0.1921287477 0.1921300635 0.1921180592 0.1921193244 0.192135797 0.1921292845
0.3 0.2887944009 0.2887963775 0.2887803297 0.2887806940 0.288804238 0.2887952148
0.4 0.3861848464 0.3861874818 0.3861687095 0.3861675428 0.386196642 0.3861859313
0.5 0.4845471647 0.4845504381 0.4845302901 0.4845274183 0.4845599 0.4845485110
0.6 0.5841332484 0.5841370824 0.5841169798 0.5841127822 0.584145785 0.5841348222
0.7 0.6852011483 0.6852053362 0.6851868451 0.6851822495 0.685212297 0.6852028604
0.8 0.7880165227 0.7880205903 0.7880055691 0.7880018367 0.788025104 0.7880181729
0.9 0.8928542161 0.89285571853 0.8928480234 0.8928462193 0.892859085 0.8928553997
AARE 4.6x10-6 3.47802x10-5 3.57932x10-5 2.44418x10-5 2.51374x10-6
Source: Authors’ own elaboration.Download
Table 2 Comparison between (40), the exact solution (Erdogan & Ozis, 2011), and other reported approximate solutions, using ε=1
X Exact (Erdogan & Ozis, 2011) This work, LT-HPM (40) ADM (Deeba et al., 2000) HPM (Feng, et al., 2007) HPM (Mirmoradia,et al., 2009) HAM (Hassana & El-Tawil, 2011)
0.1 0.0846612565 0.08470412291 0.084248760 0.0843817004 0.084934415 0.0846732692
0.2 0.1701713582 0.1702575190 0.169430700 0.1696207644 0.170697546 0.1701954538
0.3 0.2573939080 0.2575241867 0.256414500 0.2565929224 0.258133224 0.2574302342
0.4 0.3472228551 0.3473982447 0.346085720 0.3462107378 0.348116627 0.3472715981
0.5 0.4405998351 0.4408206731 0.439401985 0.4394422743 0.44157274 0.4406610140
0.6 0.5385343980 0.5387980978 0.537365700 0.5373300622 0.539498234 0.5386072529
0.7 0.6421286091 0.6424243421 0.641083800 0.6410104651 0.642987984 0.7526899495
0.8 0.7526080939 0.7529055047 0.751788000 0.7517335467 0.753267551 0.7526899495
0.9 0.8713625196 0.8715893682 0.870908700 0.8708835371 0.871733059 0.8714249118
AARE 4.5x10-4 0.002714577 0.002320107 0.002044737 0.0019244326
Source: Authors’ own elaboration.Download

An important feature from the proposed method is deduced from equations like (16), which are expressed in the following form L(x)+εN(x)=0, (L(x) linear, N(x) nonlinear). It is known that some methods as PM (Chow, 1995; Holmes, 1995) work better for values of ε<<1. For the problem presented here, reference is made to small values of Troesch’s parameter. As a matter of fact, ε can be conceived as a parameter of smallness, which determines how greater the contribution of L(x) is in comparison with N(x). Generally, it is easier to find accurate analytical approximate solutions for small values of than for large values of this parameter. Figure 1 shows that (40) and (41) provide good approximations for the nonlinear problem (16), although perturbation parameters ε=1 and ε=2 are indeed large. Therefore, the proposed method is not limited to small parameters.

Finally, it is very important to emphasize that it is possible to improve the accuracy of the obtained approximations, adding higher order approximations to the solution (35) and keeping more terms in the Taylor series expansion (19).

CONCLUSIONS

In this article, LT-HPM was used to find a polynomial analytical approximate solution of five terms for the second order nonlinear ODE that describes Troesch’s problem with Dirichlet boundary conditions defined on a finite interval. In general, the proposed method expresses the problem of obtaining an approximate solution for a nonlinear ordinary differential equation, in terms of solving an algebraic equation for some unknown initial condition. From figure 1, and table 1 and table 2, it is concluded that LT-HPM is a method with potential in the search for solutions for boundary value nonlinear problems. As it was already mentioned, an additional advantage of LT-HPM is that it does not require to solve several recurrence differential equations; therefore, it can be said that LT-HPM is a useful tool for practical applications.

ACKNOWLEDGMENTS

All the authors express appreciation to the late Professor Jose Antonio Agustin Perez-Sesma whose contribution to this work was of great significance. The authors would like to thank Rogelio Alejandro Callejas-Molina for his contribution to this project.

REFERENCES

Chow, T. L. (1995). Classical Mechanics. New York: John Wiley and Sons Inc.

Holmes, M. H. (1995). Introduction to Perturbation Methods. Germany: Springer-Verlag.

Marinca, V., & Herisanu, N. (2011). Nonlinear Dynamical Systems in Engineering. Berlin Heidelberg: Springer-Verlag.

Spiegel, M. R. (1988). Teoría y Problemas de Transformadas de Laplace (primera edición. Serie de compendios Schaum). México: MacGraw Hill.