Return to computing page for the first course APMA0330
Return to computing page for the second course APMA0340
Return to Mathematica tutorial for the first course APMA0330
Return to Mathematica tutorial for the second course APMA0340
Return to the main page for the
first course APMA0330
Return to the main page for the
second course APMA0340
Return to Part IV of the course APMA0340
Introduction to Linear Algebra
The homotopy pertubation method was proposed by the professor of Soochow University (China) Ji-Huan He in 1999.
He studied Construction Engineering in the middle 1980s in Xi’an University of Architecture & Technology, China, and received his master's degree of mechanical engineering in 1990 from Shanghai University, China, with the thesis "Reliability Analysis of Pneumatical Cylinders." Subsequently He worked as an engineer at two manufactories for about three years. He defended in 1997 a Ph.D. degree at Shanghai University.
Upon graduation, Ji-Huan He focused on analytical methods for nonlinear equations, and suggested some new approximate analytical methods, e.g., the variational iteration method, the homotopy perturbation method, and the parameter-expansion method, which are now widely used to solve various nonlinear equations.
In 2002, Ji-Huan He moved to Donghua University conducting research on nanotechnology. In paricular, He participated in projects aimed to develope some new devices for producing nanofibers, such as vibration-electrospinning and magneto-electrospinning.
In the previous sections (see part III and part IIV), we discussed the basic terms related to variational iteration method. Now we present its extension for higher order differential equations and systems of ODEs.
Consider the differential equation
\[
L \left[ y \right] = N\left[ y \right] + g(x)
\]
subject to some auxiliary (initial and/or boundary) conditions. Here L is a linear differential operator, N is a nonlinear operator, and g(x) is the source inhomogeneous term. The variational iteration method admits the use of a correction functional in the form
\[
y_{n+1} (x) = y_n (x) + \int_0^x \lambda (s) \left\{ L \left[ y \right] - N\left[ \tilde{y} \right] - g(x) \right\} {\text d}s ,
\]
where λ is a general Lagrange multiplier, and \( \tilde{y} \) has a restricted variation, that is, \( \delta\tilde{y} =0 . \) Having λ found, an iteration formula should be used for determination of the successive approximations yn of the solution y(x):
\[
y(x) = \lim_{n\to\infty} \, y_n (x) .
\]
When L is the n-th order differential operator, \( L = \texttt{D}^n = {\text d}^n / {\text d}x^n , \) the Lagrange multiplier could be chosen as
where p and q are some given constants.
According to the VIM, the basic character of the method is to construct a correction functional for the equation:
\[
y_{n+1} (x) = y_n (x) + \int_0^x \lambda (s) \left\{ y''_n (s) + p\, \tilde{y}'_n (s) + q\,\tilde{y}_n (s) - g(s) \right\} {\text d}s , \qquad n=0,1,2,\ldots .
\]
Calculating variation with respect to yn
yields the following stationary conditions
The Lagrange multiplier, therefore, can be identified as λ = s-x. Substituting this value of the Lagrange multiplier
into the functional gives the iteration formula
\[
y_{n+1} (x) = y_n (x) + \int_0^x (s-x) \left\{ y''_n (s) + p\, y'_n (s) + q\,y_n (s) - g(s) \right\} {\text d}s , \qquad n=0,1,2,\ldots .
\]
In order to eliminate repeated calculations, we rewrite the above formula as
\[
y_{n+1} (x) = y_n (x) + \int_0^x (s-x) \,y''_n (s) {\text d}s + \int_0^x (s-x) \left\{ p\, y'_n (s) + q\,y_n (s) - g(s) \right\} {\text d}s .
\]
Integrating the integral containing the second derivative by parts gives
Now we consider the homogeneous equation corresponding to the given driven equation \( \ddot{y} + \omega^2 y =0 \) subject to the given initial conditions; its solution, called the complementary function, can be chosen as the initial approximation
\[
y_{0} (t) = C_1 \cos \omega t + C_2 \sin \omega t = \cos \omega t - \frac{\sin \omega t}{\omega} ,
\]
where C1 and C2 are such constants to satisfy the given initial conditions, y(0) = 1 and y'(0) = -1. Then the iteration formula gives
\begin{eqnarray*}
y_1 (t) &=& y_0 (t) - \frac{1}{\omega} \int_0^t \sin \omega (s-t) \left[ A\,\sin \omega s + B\,\sin \omega s \right] {\text d}s
\\
&=& C_1 \cos \omega t + C_2 \sin \omega t - \frac{A}{2} \left[ t\,\cos \omega t - \frac{\sin \omega t}{\omega} \right] + \frac{B\,\omega}{\omega^2 -1} \left[ \cos \omega t - \cos t \right] ,
\end{eqnarray*}
which is the general solution of the given differential equation (harmonic oscillator).
However, is we apply restricted variations to the correction function, then its exact solution can be arrived at only by successive iterations. Considering the corresponding homogeneous differential equation \( \ddot{y} + \omega^2 y =0 , \) we rewrite the correction functional as follows:
Here \( \tilde{y}_n (s) \) is considered a restricted variation, then the stationary conditions (\( \delta\tilde{y}_n =0 \) ) of the above correction functional can be expressed as follows
\[
\begin{split}
\lambda '' (s) &=0 ,
\\
\left. \lambda (s) \right\vert_{s=t} &= 0,
\\
\left. 1 - \lambda ' (s) \right\vert_{s=t} &= 0 .
\end{split}
\]
Therefore, the Lagrange multiplier becomes \( \lambda = s-t . \) This leads to the following iteration formula
This equation was considered by Abdul-Majid Wazwaz in 2001 to model the effective nuclear charge in heavy atoms. The above nonlinear differential equation is named after the British physicist and applied mathematician Llewellyn Thomas (1903--1992) and the 1938 Nobel prize winner and the "architect of the atomic bomb" Enrico Fermi (1901--1954).
To overcome the difficulty of the fractional exponent of y, we use the transformation y(x) = 1 + u(x) and get
\[
u'' = \left( 1+ u \right)^{3/2} x^{-1/2} \qquad u(0) =0, \quad u' (0) = B.
\]
A direct application of the VIM to the given problem is problematic because the product of a polynomial and the slope function cannot be obtained in closed form. Therefore, we use slope approximation:
It is assumed that m ≠ 1 or 0, otherwise the equation becomes linear. This equation is a dimensionless form of Poisson's equation for the gravitational potential of a Newtonian self-gravitating, spherically symmetric, polytropic fluid.
This equation was used to model the thermal behaviour of a spherical cloud of gas acting under the mutual
attraction of its molecules and subject to the classical lows of thermodynamics.
It is named after astrophysicists Jonathan Homer Lane (1819--1880) from the US and Robert Emden (1862--1940) from Switzerland.
Because of singularity at x = 0, we use the transformation
Ganji, D.D., Nourollahi, M., Rostamian, M., A comparison of variational iteration method with Adomian’s Decomposition Method in some highly nonlinear equations. International Journal of Science and Technology, 2007, 2(2):179–188
Gorji, M., Ganji, D.D., Soleimani, S., 2007. New application of He’s homotopy perturbation method. International Journal of Nonlinear Science and Numerical Simulation, 8(3):319–328.
He, Ji-Huan, Selected papers published by Ji-Huan He (email: hejihuan@suda.edu.cn) can be found on the websites:
https://works.bepress.com/ji_huan_he/
https://scholar.google.com/citations?user=tzM7c2cAAAAJ&hl=en
He, J.H., Homotopy perturbation technique, Computer Methods in Applied Mechanics and Engineering, 1999, Vol. 178, 257--262.
He, J.H., El‐Dib, Y. O. (2021). The reducing rank method to solve third‐order Duffing equation with the homotopy perturbation,
Numerical Methods for Partial Dierential Equations, 2021, Vol. 37, No. 2, pp. 1800-1808.
Kaya, D. and El-Sayed, S.M., A numerical method for solving Jaulent--Miodek equation, Phys. Lett. A 318 (2003) 345–353.
Rafei, M., Daniali, H., Ganji, D.D., Variational iteration
method for solving the epidemic model and the prey and predator
problem, Applied Mathematics and Computation, 2007, Vol 186, Issue 2, pp. 1701--1709.
Wazwaz, A.-M., The modified decomposition method and Pade approximants for solving the Thomas--Fermi equation, Applied
Mathematics and Computation, 1999, Vol. 105, Issue , pp. 11--19.
Wazwaz, A.-M., The variational iteration method for solving
two forms of Blasius equation on a half-infinite domain, Applied
Mathematics and Computation, 2007, Vol. 188, Issue 1, pp. 485--491.
Return to Mathematica page
Return to the main page (APMA0340)
Return to the Part 1 Matrix Algebra
Return to the Part 2 Linear Systems of Ordinary Differential Equations
Return to the Part 3 Non-linear Systems of Ordinary Differential Equations
Return to the Part 4 Numerical Methods
Return to the Part 5 Fourier Series
Return to the Part 6 Partial Differential Equations
Return to the Part 7 Special Functions