Homotopy analysis method

From Wikipedia, the free encyclopedia
Jump to: navigation, search
The two dashed paths shown above are homotopic relative to their endpoints. The animation represents one possible homotopy.

The homotopy analysis method (HAM) is a semi-analytical technique to solve nonlinear ordinary/partial differential equations. The homotopy analysis method employs the concept of the homotopy from topology to generate a convergent series solution for nonlinear systems. This is enabled by utilizing a homotopy-Mclaurin series to deal with the nonlinearities in the system.

The HAM was first devised in 1992 by Liao Shijun of Shanghai Jiaotong University in his PhD dissertation[1] and further modified[2] in 1997 to introduced a non-zero auxiliary parameter, referred to as the convergence-control parameter, c0, to construct a homotopy on a differential system in general form.[3] The convergence-control parameter is a non-physical variable that provides a simple way to verify and enforce convergence of a solution series. The capability of the HAM to naturally show convergence of the series solution is unusual in analytical and semi-analytic approaches to nonlinear partial differential equations.

Characteristics of the HAM[edit]

The HAM distinguishes itself from various other analytical methods in four important aspects. First, it is a series expansion method that is not directly dependent on small or large physical parameters. Thus, it is applicable for not only weakly but also strongly nonlinear problems, going beyond some of the inherent limitations of the standard perturbation methods. Second, the HAM is an unified method for the Lyapunov artificial small parameter method, the delta expansion method, the Adomian decomposition method,[4] and the homotopy perturbation method.[5][6] The greater generality of the method often allows for strong convergence of the solution over larger spacial and parameter domains. Third, the HAM gives excellent flexibility in the expression of the solution and how the solution is explicitly obtained. It provides great freedom to choose the basis functions of the desired solution and the corresponding auxiliary linear operator of the homotopy. Finally, unlike the other analytic approximation techniques, the HAM provides a simple way to ensure the convergence of the solution series.

The homotopy analysis method is also able to combine with other techniques employed in nonlinear differential equations such as spectral methods[7] and Padé approximants. It may further be combined with computational methods, such as the boundary element method to allow the linear method to solve nonlinear systems. Different from the numerical technique of homotopy continuation, the homotopy analysis method is an analytic approximation method as apposed to discrete computational method. Further, the HAM uses the homotopy parameter only on a theoretical level to demonstrate that a nonlinear system may be split into an infinite set of linear systems which are solved analytically, while the continuation methods require solving a discrete linear system as the homotopy parameter is varied to solve the nonlinear system.

Applications[edit]

In the last twenty years, the HAM has been applied to solve a growing number of nonlinear ordinary/partial differential equations in science, finance, and engineering.[8][9] For example, multiple steady-state resonant waves in deep and finite water depth[10] were found with the wave resonance criterion of arbitrary number of traveling gravity waves; this agreed with Phillips' criterion for four waves with small amplitude. Further, a unified wave model applied with the HAM,[11] admits not only the traditional smooth progressive periodic/solitary waves, but also the progressive solitary waves with peaked crest in finite water depth. This model shows peaked solitary waves are consistent solutions along with the known smooth ones. Additionally, the HAM has been applied to many other nonlinear problems such as nonlinear heat transfer,[12] the limit cycle of nonlinear dynamic systems,[13] the American put option,[14] the exact Navier-Stokes equation,[15] the option pricing under stochastic volatility,[16] the electrohydrodynamic flows,[17] the Poisson–Boltzmann equation for semiconductor devices,[18] and others.

Brief mathematical description[edit]

An isotopy of a coffee cup into a doughnut (torus).

Consider a general nonlinear differential equation


\mathcal{N}[u(x)] = 0
,

where \mathcal{N} is a nonlinear operator. Let \mathcal{L} denote an auxiliary linear operator, u0(x) an initial guess of u(x), and c0 a constant (called the convergence-control parameter), respectively. Using the embedding parameter q ∈ [0,1] from homotopy theory, one may construct a family of equations,


(1 - q) \mathcal{L}[U(x; q) - u_0(x; q)] = c_0 \, q \, \mathcal{N}[U(x;q)],

called the zeroth-order deformation equation, whose solution varies continuously with respect to the embedding parameter q ∈ [0,1]. This is the linear equation

 
\mathcal{L}[U(x; q) - u_0(x; q)] = 0,

with known initial guess U(x; 0) = u0(x) when q = 0, but is equivalent to the original nonlinear equation \mathcal{N}[u(x)] = 0, when q = 1, i.e. U(x; 1) = u(x)). Therefore, as q increases from 0 to 1, the solution U(x; q) of the zeroth-order deformation equation varies (or deforms) from the chosen initial guess u0(x) to the solution u(x) of the considered nonlinear equation.

Expanding U(x; q) in a Taylor series about q = 0, we have the homotopy-Maclaurin series


U(x;q) = u_0(x) +\sum_{m=1}^{\infty} u_m(x) \, q^m.

Assuming that the so-called convergence-control parameter c0 of the zeroth-order deformation equation is properly chosen that the above series is convergent at q = 1, we have the homotopy-series solution


u(x) = u_0(x) + \sum_{m=1}^{\infty} u_m(x).

From the zeroth-order deformation equation, one can directly derive the governing equation of um(x)


\mathcal{L}[u_m(x) - \chi_m u_{m-1}(x) ] = c_0 \, R_m[u_0, u_1, \cdots, u_{m-1}],

called the mth-order deformation equation, where \chi_1 = 0 and \chi_k = 1 for k > 1, and the right-hand side Rm is dependent only upon the known results u0, u1, ..., um-1 and can be obtained easily using computer algebra software. In this way, the original nonlinear equation is transferred into an infinite number of linear ones, but without the assumption of any small/large physical parameters.

Since the HAM is based on a homotopy, one has great freedom to choose the initial guess u0(x), the auxiliary linear operator \mathcal{L}, and the convergence-control parameter c0 in the zeroth-order deformation equation. Thus, the HAM provides the mathematician freedom to choose the equation-type of the high-order deformation equation and the base functions of its solution. The optimal value of the convergence-control parameter c0 is determined by the minimum of the squared residual error of governing equations and/or boundary conditions after the general form has been solved for the chosen initial guess and linear operator. Thus, the convergence-control parameter c0 is a simple way to guarantee the convergence of the homotopy series solution and differentiates the HAM from other analytic approximation methods. The method overall gives a useful generalization of the concept of homotopy.

The HAM and computer algebra[edit]

The HAM is an analytic approximation method designed for the computer era with the goal of "computing with functions instead of numbers." In conjunction with a computer algebra system such as Mathematica or Maple, one can gain analytic approximations of a highly nonlinear problem to arbitrarily high order by means of the HAM in only a few seconds. Inspired by the recent successful applications of the HAM in different fields, a Mathematica package based on the HAM, called BVPh, has been made available online for solving nonlinear boundary-value problems [4]. BVPh is a solver package for highly nonlinear ODEs with singularities, multiple solutions, and multipoint boundary conditions in either a finite or an infinite interval, and includes support for certain types of nonlinear PDEs.[8] Another HAM-based Mathematica code, APOh, has been produced to solve for an explicit analytic approximation of the optimal exercise boundary of American put option, which is also available online [5].

References[edit]

  1. ^ Liao, S.J. (1992), The proposed homotopy analysis technique for the solution of nonlinear problems, PhD thesis, Shanghai Jiao Tong University 
  2. ^ Liao, S.J. (1999), An explicit, totally analytic approximation of Blasius’ viscous flow problems, International Journal of Non-Linear Mechanics 34 (4): 759–778, Bibcode:1999IJNLM..34..759L, doi:10.1016/S0020-7462(98)00056-0 
  3. ^ Liao, S.J. (2003), Beyond Perturbation: Introduction to the Homotopy Analysis Method, Boca Raton: Chapman & Hall/ CRC Press, ISBN 1-58488-407-X [1]
  4. ^ Adomian, G. (1994). Solving Frontier problems of Physics: The decomposition method. Kluwer Academic Publishers. 
  5. ^ Liang, Songxin; Jeffrey, David J. (2009), Comparison of homotopy analysis method and homotopy perturbation method through an evolution equation, Communications in Nonlinear Science and Numerical Simulation 14: 4057–4064, Bibcode:2009CNSNS..14.4057L, doi:10.1016/j.cnsns.2009.02.016 
  6. ^ Sajid, M.; Hayat, T. (2008), Comparison of HAM and HPM methods in nonlinear heat conduction and convection equations, Nonlinear Analysis: Real World Applications 9: 2296–2301, doi:10.1016/j.nonrwa.2007.08.007 
  7. ^ Motsa, S.S.; Sibanda, P.; Awad, F.G.; Shateyi, S. (2010), A new spectral-homotopy analysis method for the MHD Jeffery–Hamel problem, Computers & Fluids 39: 1219–1225, doi:10.1016/j.compfluid.2010.03.004 
  8. ^ a b Liao, S.J. (2012), Homotopy Analysis Method in Nonlinear Differential Equations, Berlin & Beijing: Springer & Higher Education Press, ISBN 978-7-04-032298-9  [2]
  9. ^ Vajravelu, K.; Van Gorder (2013), Nonlinear Flow Phenomena and Homotopy Analysis, Berlin & Beijing: Springer & Higher Education Press, ISBN 978-3-642-32102-3  [3]
  10. ^ Xu, D.L.; Lin, Z.L.; Liao, S.J.; Stiassnie, M. (2012), On the steady-state fully resonant progressive waves in water of finite depth, Journal of Fluid Mechanics 710: 710:379–418, Bibcode:2012JFM...710..379X, doi:10.1017/jfm.2012.370 
  11. ^ Liao, S.J. (2013), Do peaked solitary water waves indeed exist?, Communications in Nonlinear Science and Numerical Simulation, arXiv:1204.3354, Bibcode:2014CNSNS..19.1792L, doi:10.1016/j.cnsns.2013.09.042 
  12. ^ Abbasbandy, S. (2006), The application of homotopy analysis method to nonlinear equations arising in heat transfer, Physics Letters A 360: 109–113, Bibcode:2006PhLA..360..109A, doi:10.1016/j.physleta.2006.07.065 
  13. ^ Chen, Y.M.; Liu, J.K. (2009), Uniformly valid solution of limit cycle of the Duffing–van der Pol equation, Mechanics Research Communications 36: 845–850, doi:10.1016/j.mechrescom.2009.06.001 
  14. ^ Zhu, S.P. (2006), An exact and explicit solution for the valuation of American put options, Quantitative Finance 6 (3): 229–242, doi:10.1080/14697680600699811 
  15. ^ Turkyilmazoglu, M. (2009), Purely analytic solutions of the compressible boundary layer flow due to a porous rotating disk with heat transfer, Physics of Fluid 21: 106104, Bibcode:2009PhFl...21j6104T, doi:10.1063/1.3249752 
  16. ^ Park, Sang-Hyeon; Kim, Jeong-Hoon (2011), Homotopy analysis method for option pricing under stochastic volatility, Applied Mathematics Letters 24: 1740–1744, doi:10.1016/j.aml.2011.04.034 
  17. ^ Mastroberardino, A. (2011), Homotopy analysis method applied to electrohydrodynamic flow, Commun. Nonlinear. Sci. Numer. Simulat. 16: 2730–2736, Bibcode:2011CNSNS..16.2730M, doi:10.1016/j.cnsns.2010.10.004 
  18. ^ Nassar, Christopher J.; Revelli, Joseph F.; Bowman, Robert J. (2011), Application of the homotopy analysis method to the Poisson–Boltzmann equation for semiconductor devices, Commun Nonlinear Sci Numer Simulat 16: 2501–2512, Bibcode:2011CNSNS..16.2501N, doi:10.1016/j.cnsns.2010.09.015 

External links[edit]