Skip to main content
Have a personal or library account? Click to login
A study on different classes of differential equations by semi-analytical and numerical techniques Cover

A study on different classes of differential equations by semi-analytical and numerical techniques

Open Access
|May 2026

Full Article

1
Introduction

Almost every domain relies on the nonlinear ODEs. Their applications arise in the modeling biological, chemical, mechanical, and electrical applications. With the help of calculus, it became apparent that not all ODEs and PDEs could be analytically solved. To tackle this challenge, numerical methods have been devised to approximate solutions for ODEs. Renowned techniques like Heun, Runge-Kutta, Adams-Bashforth, linear multistep, and Euler forward and backward methods emerged to address this need. In addition to analytical and numerical techniques, we have a semi-analytical method to solve such equations [1].

In this paper, we consider one among the semi-analytical methods called HAM to solve the differential equations. In this frame, the initial-value problems (IVPs) of the first order ODEs is taken in the following form

1v(y)=g(z,v(z)),v(z0)=v0,v^{\prime}(y)=g(z,v(z)), v(z_{0})=v_{0},

and also the second-order IVPs of ODEs is considered as

2v(z)=g(z,v(z),v(z)),v(z0)=v0,v(z0)=v0.v^{\prime\prime}(z)=g(z,v(z),v^{\prime}(z)), v(z_{0})=v_{0}, v^{\prime}(z_{0})=v_{0}^{\prime}.

The n system of ODEs is studied as

3v1(z)=g1(z,v1(z),v2(z),,vn(z)),v2(z)=g2(z,v1(z),v2(z),,vn(z)),v3(z)=g3(z,v1(z),v2(z),,vn(z)),vn(z)=gn(z,v1(z),v2(z),,vn(z)),}\begin{matrix}v_{1}^{\prime}(z)=g_{1}(z,v_{1}(z),v_{2}(z),\cdot\cdot\cdot,v_{n}(z)),\\ v_{2}^{\prime}(z)=g_{2}(z,v_{1}(z),v_{2}(z),\cdot\cdot\cdot,v_{n}(z))\\ v_{3}^{\prime}(z)=g_{3}(z,v_{1}(z),v_{2}(z),\cdot\cdot\cdot,v_{n}(z)).\\ v_{n}^{\prime}(z)=g_{n}(z,v_{1}(z),v_{2}(z),\cdot\cdot\cdot,v_{n}(z)),\end{matrix}

subject to vi(0) = vi0 , for i = 0,1,2,· · · ,n.

The time-dependent PDEs being,

4vz(z,t)+vt(z,t)=f(z,v,t),v(z,0)=s(z),v_{z}(z,t)+v_{t}(z,t)=f(z,v,t), v(z,0)=s(z),

is examined via this work. These problems are frequently utilised to represent real-world problems in engineering, social sciences, physics, and economics; they have garnered a lot of interest from scholars in the field of numerical analysis. It's also crucial to remember that a first-order system may be used to represent chemical kinetic problems, a population model for logistic growth, extremely stiff oscillatory problems, a SIR model, and other problems of a similar nature. Since many of these kinds of problems are thought to lack exact solutions, numerical approximations are obtained. Many experts have used various techniques to provide the numerical solutions, particularly, multi-step methods such as Runge-Kutta methods [26], and Hybrid block methods [7, 8]. Since some numerical techniques lead to numerical instability while addressing stiff systems, these issues are regarded as complicated problems. Many experts have worked very hard to develop more effective techniques for addressing stiff systems like A-EBDF: an adaptive method [9], Carrol [10] in a matricial exponentially fitted scheme, modified extended backward differentiation [11]. Haar wavelet and single term Haar wavelet series [12, 13], Matrix free MEBDF method [14], multistep multi derivative hybrid methods [15], stability and accuracy of one-step methods [16], a semi-implicit midpoint rule [17], wavelet methods [1821], variational iteration method [22], fractional order PDEs [2325] and so on.

Here, we consider the semi-analytical method for solving DEs called HAM which has the independent parameter, in contrast to perturbation approaches that depend on small or large parameters. The choice of linear operator, auxiliary function, and control convergence parameter is entirely up to the user. This approach often solves high nonlinearity differential equations [26]. Moreover, HAM is an analytical method that generates a sequence of convergent linear equations from a nonlinear one by applying homotopy, or the distortion of one continuous function into another, to solve nonlinear ordinary or partial differential equations. Liao introduced the HAM first in 1992, and it underwent additional changes in 1997 with the addition of the auxiliary parameter h. This non-zero parameter gives the series control over its convergence. We are free to select the auxiliary linear operator, h, the convergence control value, and the initial approximation of the solution because HAM is predicated on the idea of homotopy. This feature distinguishes HAM from other approaches as it allows to select the base functions of the high-order deformation equation's solution as well as its equation type [27]. An analytical approximation technique for highly nonlinear systems is the HAM. In the past, perturbation techniques were often employed. Nevertheless, perturbation techniques heavily rely on the presence of small physical characteristics, and in addition, perturbation approximations frequently diverge as perturbation quantity increases. However, since the HAM is based on homotopy, a fundamental idea in topology, unlike perturbation techniques, it has nothing to do with the presence of small or large physical factors. In particular, the HAM offers a practical means of ensuring that the solution series will converge. The methodology may be used with other approaches for solving nonlinear differential equations, such as Pade approximation and spectral methods [28]. The HAM is an analytic approximation method as opposed to the discrete computing approach of Homotopy continuation. On the other hand, the HAM demonstrates that a nonlinear system may be divided into endless linear systems that can be solved analytically using the Homotopy parameter merely in theory. In the computer era, the HAM was developed as an analytical approximation method to "compute with functions instead of numbers". Combining the HAM with a computer algebra program such as Maple or Mathematica allows to get analytic approximations of a higher-order strongly nonlinear problem easily [29].

The rest of this paper is organized as follows. In Section 2, the preliminaries of the wavelets and the convergence theorems are introduced. In Section 3, HAM for ODE, the systems of ODE and PDE are explained. In Section 4, the application of problems are investigated and results are discussed in terms of tables and graphs. Finally, Section 5 concludes the paper.

2
Preliminaries

In this part of the paper, we present some important definitions and theorems.

Wavelet: A real-valued function Ψ(ξ) satisfies the following conditions [30, 31]: Ψ(ξ)dξ=0and|Ψ(ξ)|2dξ=1.\int_{-\infty}^{\infty}\Psi(\xi)d\xi=0 \text{ and } \int_{-\infty}^{\infty}|\Psi(\xi)|^{2}d\xi=1. This means that Ψ(ξ) is an oscillatory function having unit energy and zero mean.

Theorem 1.

As long as the series vi(y)=m=0mvim(y)v_{i}(y)=\sum_{m=0}^{m}v_{i_{m}}(y) converges, it must be the exact solution of equation (14). Where vim (y) is governed by the mth order deformation equation [32].

Theorem 2.

Let ψ0,ψ1,ψ2,\psi_0, \psi_1, \psi_2, \dots be the components of solution of equation (14). The series solution k=0ψk(t)\sum_{k=0}^{\infty}\psi_{k}(t) converges if ∃ 0 < γ < 1 such that ψk+1γψk,kk0||\psi_{k+1}||\le\gamma||\psi_{k}||,for some k0k\ge k_{0} for some k₀ ∈ ℕ [33].

Theorem 3.

Assume that the series solution k=0ψk(t)\sum_{k=0}^{\infty}\psi_{k}(t) is convergent to the solution v(y), if the truncation series Σk=0mψk(t)\Sigma_{k=0}^{m}\psi_{k}(t) is the approximation to the solution vi(y), then the maximum absolute truncation error is calculated as, vi(y)k=0mψk(t)11γγm+1ψ0(t)||v_{i}(y)-\sum_{k=0}^{m}\psi_{k}(t)||\le\frac{1}{1-\gamma}\gamma^{m+1}||\psi_{0}(t)|| [33].

Theorem 4.

Suppose that the functionsD*αvi,k(y)D_{*}^{\alpha}v_{i,k}(y) are the approximation of D*αvi(y)D_{*}^{\alpha}v_{i}(y)obtained using Haar wavelets, then we have an exact upper bound as follows:

D*αvi(y)D*αvi,k(y)EMΓ(mα)(ma)1[122(αm)]121kma.wherevi(y)E=(01(vi)2(y)dy)12 ||D_{*}^{\alpha}v_{i}(y)-D_{*}^{\alpha}v_{i,k}(y)||_{E}\le\frac{M}{\Gamma(m-\alpha).(m-a)}\frac{1}{[1-2^{2(\alpha-m)}]^{\frac{1}{2}}\frac{1}{k^{m-a}}. ||v_{i}(y)||_{E}=(\int_{0}^{1}(v_{i})^{2}(y)dy)^{\frac{1}{2}}

[34].

3
Description of method
3.1
HAM for ODE

Let us consider the ODE with different physical conditions,

5M[v(y)]=0,y0. M[v(y)] = 0, y\ge0.

Where M is the differential operator, and v(y) is the function to be determined.

3.1.1
Zeroth order deformation equation

Let v0(y) be the initial approximation to the actual solution of equation (5). The zeroth deformation equation is constructed by using the auxiliary function H(y)(0)H(y)(\ne0) and auxiliary parameter h(0)h(\ne0) as [31, 35],

6(1q)S[ψ(y;q)v0(y)]=qhH(y)M[ψ(y;q)] (1-q)\mathcal{L}[\psi(y;q)-v_{0}(y)]=qhH(y)M[\psi(y;q)]

Where, ψ(y;q) is an unknown function, 𝒮 is a linear operator. When q=0, equation (6) becomes, ψ(y; 0)= v0 and at q=1, equation (6) becomes, ψ(y; 1) = v(y). So as the q varies from 0 to 1, the function ψ(y;q) varies from initial approximation v0 (y) to the actual solution v(y). Defining the mth order deformation derivatives,

7vm(y)=1m!mψ(y;q)qm v_{m}(y)=\frac{1}{m!}\frac{\partial^{m}\psi(y;q)}{\partial q^{m}}

Expanding ψ(y;q) using the Taylor series with respect to (w.r.t.) q. We get,

8ψ(y;q)=v0(y)+m=1vm(y)qm. \psi(y;q)=v_{0}(y)+\sum_{m=1}^{\infty}v_{m}(y)q^{m}.

As we know, ψ(y;q) becomes the desired solution at q = 1. At q=1, equation (8) becomes

9ψ(y;1)=v(y)=v0(y)+m=1vm(y). \psi(y;1)=v(y)=v_{0}(y)+\sum_{m=1}^{\infty}v_{m}(y).

Similarly, deformation equation of mth order is obtained as,

10𝒮[vm(y)χmvm1(y)]=hH(y)Rm(vm1(y)). \mathcal{L}[v_{m}(y)-\chi_{m}v_{m-1}(y)]=hH(y)R_{m}(v_{m-1}(y)).

Where,

11χm={0ifm11Otherwise \chi_{m}=\begin{cases}0&if&m\le1\\ 1&Otherwise\end{cases} 12Rm(vm1(y))=1(m1)!m1[M[ψ(y;q)]]qm1 R_{m}(v_{m-1}(y))=\frac{1}{(m-1)!}\frac{\partial^{m-1}[M[\psi(y;q)]]}{\partial q^{m-1}}

Thus v1(y), v2(y), v3(y),· · ·, can be attained on solving equation (10). The mth order approximation of v (y) [36] is given by

13v(y)=m=0mvm(y). v(y)=\sum_{m=0}^{m}v_{m}(y).

Equation (13) is the semi-analytical solution of equation (5).

3.2
HAM for the system of ODE

Let us consider the system of stiff ODEs with different physical conditions [37],

14[vi(y)]=gi(y,v1,v2,,vn),i=1,2,3,,n,y0. [v_{i}^{\prime}(y)]=g_{i}(y,v_{1},v_{2},\cdot\cdot\cdot,v_{n}), i=1,2,3,\cdot\cdot\cdot,n, y\ge0.

subject to the condition:

15vi(0)=ai,i=1,2,3,,n. v_{i}(0)=a_{i}, i=1,2,3,\cdot\cdot\cdot,n.
3.2.1
Zeroth order deformation equation

Let vi0 (y), i = 1,2,3, · · · , n be the initial approximation to the actual solution of equation (14). The zeroth deformation equations are taking the auxiliary functions ℋ (y) (6≠ 0) and auxiliary parameter h (6≠ 0) as [35, 38],

16(1q)𝒮i[ψi(y;q)vi0(y)]=qhHi(y)Mi[ψi(y;q)],i=1,2,3,,n (1-q)\mathcal{L}_{i}[\psi_{i}(y;q)-v_{i_{0}}(y)]=qhH_i(y)M_{i}[\psi_{i}(y;q)], i=1,2,3,\cdot\cdot\cdot,n

subject to the conditions:

17ψi(0;q)=ai,i=1,2,3,,n. \psi_{i}(0;q)=a_{i}. i=1,2,3,\cdot\cdot\cdot,n.

Where, ψi(y;t) are unknown functions, 𝒮i\mathcal{L}_{i} are the Linear operators. When q=0 equation (16) becomes, ψi(y; 0) = vi0 (y) and at q=1, equation (16) becomes ψi(y; 1) = vi(y). So as the q varies from 0 to 1, the function ψi(y;q) varies from initial approximation vi0 (y) to the actual solution vi(y), i = 1,2,3 · · · n. Defining the mth order deformation derivatives ,

18vim(y)=1m!mψi(y;q)qm,i=1,2,3,,n. v_{im}(y)=\frac{1}{m!}\frac{\partial^{m}\psi_{i}(y;q)}{\partial q^{m}} i=1,2,3,\cdot\cdot\cdot,n.

Expanding ψi(y;q) using Taylor series w.r.t. q. i = 1,2,3, · · · ,n. We get,

19ψi(y;q)=vi0(y)+m=1vim(y)qm,i=1,2,3,,n. \psi_{i}(y;q) = v_{i_{0}}(y) + \sum_{m=1}^{\infty}v_{i_m}(y)q^m i=1,2,3,\cdot\cdot\cdot,n

As we know at q = 1ψi(y;q) becomes the required solution, equation (19) at q = 1 becomes

20ψi(y;1)=vi(y)=vi0(y)+m=1vim(y),i=1,2,3,,n. \psi_{i}(y;1)=v_{i}(y)=v_{i_{0}}(y)+\sum_{m=1}^{\infty}v_{i_{m}}(y) i=1,2,3,\cdot\cdot\cdot,n.

Similarly, the mth order deformation is given by

21𝒮i[vim(y)χmvim1(y)]=hHi(y)Ri,m(vim1(y)),i=1,2,3,,n. \mathcal{L}_{i}[v_{i_{m}}(y)-\chi_{m}v_{i_{m-1}}(y)]=hH_{i}(y)R_{i,m}(v_{i_{m-1}}(y)), i=1,2,3,\cdot\cdot\cdot,n.

Where,

22χm={0ifm1,1Otherwise. \chi_{m}=\begin{cases}0&if&m\le1,\\ 1&Otherwise.\end{cases} 23Ri,m(vim1(y))=1(m1)!m1[Mi[ψi(y;q)]]qm1,i=1,2,3,,n. R_{i,m}(v_{i_{m-1}}(y))=\frac{1}{(m-1)!}\frac{\partial^{m-1}[M_i[\psi_{i}(y;q)]]}{\partial q^{m-1}}, i=1,2,3,\cdot\cdot\cdot,n.

Thus vi1 (y), vi2 (y), vi3 (y),· · · are the first , can be obtained from solving equation (21). The mth order approximation of vi (y) [39] is given by

24vi(y)=m=0mvim(y). v_{i}(y)=\sum_{m=0}^{m}v_{i_{m}}(y).

Equation (24) is the semi-analytical solution of equation (14).

3.3
HAM for PDE

Let us consider the PDE with different physical conditions,

25M[v(y,t)]=0,y,t0. \mathcal{M}[v(y,t)]=0, y,t\ge0.

Where ℳ is the differential operator, and v(y,t) is the function to be determined.

3.3.1
Zeroth order deformation equation

Let v0(y,t) be the initial approximation to the actual solution of equation (25). The zeroth deformation equation is constructed using the auxiliary function ℋ(y,t) (6≠ 0) and auxiliary parameter h (6≠ 0) as [31, 35],

26(1q)𝒮[ψ(y,t;q)v0(y,t)]=qhH(y,t)M[ψ(y,t;q)]. (1-q)\mathcal{L}[\psi(<italic>y</italic>,<italic>t</italic>;<italic>q</italic>)-v_{0}(y,t)]=qhH(y,t)M[\psi(<italic>y</italic>,<italic>t</italic>;<italic>q</italic>)].

Where, ψ(y,t;q) is unknown function, 𝒮 is Linear operator. When q=0, equation (26) becomes ψ(y,t;0) = v0 (y,t). At q=1, equation (26) becomes ψ(y,t;1) = v(y,t;q). So as the q varies from 0 to 1, the function ψ(y,t) varies from initial approximation v0 (y,t) to the actual solution v(y,t). Defining the mth order deformation derivatives,

27vm(y,t)=1m!mψ(y,t;q)qm. v_{m}(y,t)=\frac{1}{m!}\frac{\partial^{m}\psi(<italic>y</italic>,<italic>t</italic>;<italic>q</italic>)}{\partial q^{m}}.

Expanding ψ(y,t;q) using the Taylor series w.r.t. q. We get,

28ψ(y,t;q)=v0(y,t)+m=1vm(y,t)qm. \psi(<italic>y</italic>,<italic>t</italic>;<italic>q</italic>)=v_{0}(y,t)+\sum_{m=1}^{\infty}v_{m}(y,t)q^{m}.

As we know, ψ(y,t;q) becomes the desired solution at q = 1. At q = 1, equation (28) becomes

29ψ(y,t;1)=v(y,t)=v0(y,t)+m=1vm(y,t) \psi(y,t;1)=v(y,t)=v_{0}(y,t)+\sum_{m=1}^{\infty}v_{m}(y,t)

Similarly, deformation equation of mth order is obtained as,

30𝒮[vm(y,t)χmvm1(y,t)]=hH(y,t)Rm(vm1(y,t)), \mathcal{L}[v_{m}(y,t)-\chi_{m}v_{m-1}(y,t)]=hH(y,t)R_{m}(v_{m-1}(y,t)),

where,

31χm={0ifm1,1Otherwise. \chi_{m}=\begin{cases}0&if&m\le1,\\ 1&Otherwise.\end{cases} 32Rm(vm1(y,t))=1(m1)!m1[M[ψ(y,t;q)]]qm1. R_{m}(v_{m-1}(y,t))=\frac{1}{(m-1)!}\frac{\partial^{m-1}[M[\psi(<italic>y</italic>,<italic>t</italic>;<italic>q</italic>)]]}{\partial q^{m-1}}.

Thus v1(y,t), v2(y,t), v3(y,t), · · · can be attained on solving equation (30). The mth order approximation of v (y) [32, 36, 39] is given by

33v(y,t)=m=0mvm(y,t). v(y,t)=\sum_{m=0}^{m}v_{m}(y,t).

Equation (33) is the semi-analytical solution of equation (25).

4
Applications

We use some package programs to solve the following problems by HAM.

4.1
Application 4.1

Let us consider the following ODE with different physical conditions

34x2u''x+xu'x+(x20.25)u(x)=0;u(1)=2πsin(1),u'(1)=2cos(1)sin(1)2π. \textstyle x^2\frac{u^''}x+x\frac{u^'}x+(x^2-0.25)u(x)=0;\hspace{1em}u(1)=\sqrt{\frac2\pi}\sin(1),\hspace{1em}u^'(1)=\frac{2\cos(1)-\sin(1)}{\sqrt{2\pi}}.

On applying HAM to equation (34), the mth order deformation is given by,

35D2[um(x)χmum1(x)]=hRm(um1(x)). D^{2}[u_{m}(x)-\chi_{m}u_{m-1}(x)]=hR_{m}(u_{m-1}(x)).

Where, D2=d2dx2D^{2}=\frac{d^{2}}{dx^{2}},

36Rm(um1(x))=x2d2um1dx2+xdum1dx+(x20.25)um1, R_{m}(u_{m-1}(x))=x^{2}\frac{d^{2}u_{m-1}}{dx^{2}}+x\frac{du_{m-1}}{dx}+(x^{2}-0.25)u_{m-1},

subject to,

37um(1)=0, um(1)=0 u(1)=\sqrt{\frac{2}{\pi}}sin(1), u^{\prime}(1)=\frac{2~cos(1)-sin(1)}{\sqrt{2\pi}}, u_{m}(1)=0, u_{m}^{\prime}(1)=0.

Integrating twice on either sides of equation (35), we get

um(x)=χmum1(x)+h0x0x[Rm(um1(x))]dxdx+C1+C2x,m1. u_{m}(x)=\chi_{m}u_{m-1}(x)+h\int_{0}^{x}\int_{0}^{x}[R_{m}(u_{m-1}(x))]dxdx+C_{1}+C_{2}x,m\ge1.

The integration constants C1 and C2 are calculated using equation (37). The HAM series solution when u0(x) = 0.671397+0.0954005(x2x) and h = −1is given by

u(x)=0.410465+x(0.171623+x(0.301729+x(0.00759606+x(0.299954+x(0.0113261+x(0.12512+x(0.00184181+x(0.0160226+x(0.00206268+x(0.00288598+x(0.0000767687+x(0.0000536825+(4.24682×1071.9414×107x(x+))))))))))))) u(x)=0.410465+x(0.171623+x(0.301729+x(-0.00759606+x(-0.299954+x(-0.0113261+ x(0.12512 + x(-0.00184181 + x(-0.0160226 + x(0.00206268 + x(-0.00288598 + x(0.0000767687 + x(-0.0000536825+(4.24682\times10^{-7}-1.9414\times10^{-7}x(x+\dots))))))))))))))
Table 1

Comparison of solutions obtained from HAM, HWT, and their absolute errors (AE) with Exact solution for Application 4.1.

xExactHAMHWTHAM ErrorHWT Error
0.50.5410490.5409740.541477.554 × 10-55.0 × 10-4
0.60.5816220.5816180.582344.062 × 10-67.2 × 10-4
0.70.6143610.6143610.615343.496 × 10-79.8 × 10-4
0.80.6399260.6399260.641212.917 × 10-71.28 × 10-3
0.90.6588130.6588130.660432.933 × 10-71.62 × 10-3
1.00.6713970.6713970.673402.929 × 10-72 × 10-3
1.10.6779890.6779890.680412.904 × 10-72.42 × 10-3
1.20.6788660.6788650.681752.838 × 10-72.88 × 10-3
1.30.6742860.6742890.677673.718 × 10-63.38 × 10-3
1.40.6635340.6645240.668449.9 × 10-43.92 × 10-3

The HWT [4042] is also used to solve the problem studied. The exact solution equation (34) is u(x)=2πxsin(x)u(x)=\sqrt{\frac{2}{\pi x}}\sin(x) [43]. Table 1 contains the numerical values of the solutions obtained from HAM and HWT and also their AE with exact solutions. The tables and graphs explain the results. Geometric comparisons of the Exact, HAM, and HWT solutions are shown in Figure 1. Figure 2 presents a graphic representation of the error analysis of HAM and HWT solutions with the exact solution.

Fig. 1

Comparison of the exact solution with HAM and HWT solutions for Application 4.1.

Fig. 2

Error analysis of HAM and HWT solutions for Application 4.1.

4.2
Application 4.2

Let us consider the following ODE with the initial condition [43]

38u(x)=0.5(1u(x)),u(0)=0.5 u^{\prime}(x)=0.5(1-u(x)), u(0)=0.5

On applying HAM to equation (38). The mth order deformation is given by,

39D[um(x)χmum1(t)]=hRm(um1(t)). D[u_{m}(x)-\chi_{m}u_{m-1}(t)]=hR_{m}(u_{m-1}(t)).

Where, D=ddxD=\frac{d}{dx}, 40Rm(um1(t))=dum1dx+0.5um10.5(1χm), R_{m}(u_{m-1}(t))=\frac{du_{m-1}}{dx}+0.5u_{m-1}-0.5(1-\chi_{m}), subject to, 41um(0)=0. u_{m}(0)=0.

Integrating on the either sides of equation (39), we get

um(x)=χmum1(x)+h0x[Rm(um1(x))]dx+C1,m1. u_{m}(x)=\chi_{m}u_{m-1}(x)+h\int_{0}^{x}[R_{m}(u_{m-1}(x))]dx+C_{1}, m\ge1.

C1 is a integration constant calculated using equation (41). Taking u0(x) = 0.5 and setting h = −1 successively we obtain,

u1(x)=0.25x,u2(x)=0.0625x2,u3(x)=0.0104167x3,u4(x)=0.00130208x4,. u_{1}(x)=0.25x u_{2}(x)=-0.0625x^{2}, u_{3}(x)=0.0104167x^{3} u_{4}(x)=0.00130208x^{4}

Collectively, HAM series solution u(x)=m=0um(x)u(x)=\sum_{m=0}^{\infty}u_{m}(x) is given by

u(x)=0.5+0.25x0.0625x2+0.0104167x30.00130208x4+0.000130208x5.u(x)=0.5+0.25x-0.0625x^{2}+0.0104167x^{3}-0.00130208x^{4}+0.000130208x^{5}\cdot\cdot\cdot
Table 2

Comparison of solutions obtained from HAM, HWT, and their AE with ND Solver solution for Application 4.2.

xND SolverHAMHWTHAM ErrorHWT Error
00.50.50.50.0
0.10.524380.524380.524392.048 × 10-81.120 × 10-6
0.20.547580.547580.547591.718 × 10-84.480 × 10-6
0.30.569640.569640.569661.413 × 10-81.008 × 10-5
0.40.590630.590630.590659.894 × 10-91.792 × 10-5
0.50.610590.610590.610632.164 × 10-82.800 × 10-5
0.60.629590.629590.629631.587 × 10-84.032 × 10-5
0.70.647650.647650.647714.028 × 10-85.488 × 10-5
0.80.664830.664830.664911.566 × 10-87.168 × 10-5
0.90.681180.681180.681281.790 × 10-89.072 × 10-5
1.00.696730.696730.696857.461 × 10-101.120 × 10-4

This previously stated problem is similarly resolved with the HWT. The numerical values of the solutions derived from HAM and HWT, along with their AE with exact solutions, are shown in Table 2. The tables and graphs provide an explanation of the findings. Figure 3 displays geometric comparisons of the Exact, HAM, and HWT solutions. A graphic illustration of the error analysis of the HWT and HAM answers with the exact solution is shown in Figure 4.

Fig. 3

Comparison of the ND solver solution with HAM and HWT solutions for Application 4.2.

Fig. 4

Error analysis of HAM and HWT solutions for Application 4.2.

4.3
Application 4.3

Let us consider the following ODE system as follows

42u1(x)=1000u1(x)+10000u2(x)4,u1(0)=1,u2(x)=u1(x)u2(x)4u2(x),u2(0)=1,} u_{1}^{\prime}(x)=-1000u_{1}(x)+10000u_{2}(x)^{4}, \quad u_{1}(0)=1, \\ u_{2}^{\prime}(x)=u_{1}^{\prime}(x)-u_{2}(x)^{4}-u_{2}(x), \quad u_{2}(0)=1,

having the exact solution as u1(x) = e−4x and u2(x) = ex [43]. Applying HAM to equation (42), the mth order deformation are given by,

43D[u1,m(x)χmu1,m1(x)]=hR1,m(u1,m1(x)),D[u2,m(x)χmu2,m1(x)]=hR2,m(u2,m1(x)).} D[u_{1,m}(x)-\chi_{m}u_{1,m-1}(x)]=hR_{1,m}(u_{1,m-1}(x)), D[u_{2,m}(x)-\chi_{m}u_{2,m-1}(x)]=hR_{2,m}(u_{2,m-1}(x)).

Where, D=ddxD=\frac{d}{dx} and

44R1,m(u1,m1(x))=D[u1,m1(x)]+1000u1,m1(x)10000j=0m1u2,m1ji=0ju2,jik=0iu2,ku2,ik,R2,m(u2,m1(x))=D[u1,m1(x)]+j=0m1u2,m1ji=0ju2,jik=0iu2,ku2,ik+u2,m1(x),}\begin{equation} \begin{rcases} \mathscr{R}_{1,m}(u_{1,m-1}(x)) &= D[u_{1,m-1}(x)]+1000 u_{1,m-1}(x) -10000 \sum_{j=0}^{m-1}u_{2,m-1-j} \sum_{i=0}^{j} u_{2,j-i} \sum_{k=0}^{i} u_{2,k}u_{2,i-k}, \\ \mathscr{R}_{2,m}(u_{2,m-1}(x)) &= D[u_{1,m-1}(x)]+ \sum_{j=0}^{m-1}u_{2,m-1-j} \sum_{i=0}^{j} u_{2,j-i} \sum_{k=0}^{i} u_{2,k}u_{2,i-k} + u_{2,m-1}(x) , \end{rcases} \end{equation}

subject to,

45u1,m(0)=0 u2,m(0)=0u_{2,m}(0)=0

Integrating on the either sides of equation (43), we get

u1,m(x)=χmu1,m1(x)+h0x[R1,m(u1,m1(x))]dx+C1,m1,u2,m(x)=χmu2,m1(x)+h0x[R2,m(u2,m1(x))]dx+C2,m1. u_{1,m}(x)=\chi_{m}u_{1,m-1}(x)+h\int_{0}^{x}[R_{1,m}(u_{1,m-1}(x))]dx+C_{1}, \quad m\ge1, \\ u_{2,m}(x)=\chi_{m}u_{2,m-1}(x)+h\int_{0}^{x}[R_{2,m}(u_{2,m-1}(x))]dx+C_{2}, \quad m\ge1.

The integration constants C1 and C2 are calculated using equation (45). Taking u1,0(x) = 1, u2,0(x) = 1 and setting h = -1 successively we obtain,

u1,1(x)=4x,u1,2(x)=(4x)22,u1,3(x)=(4x)36,u1,4(x)=(4x)424,u2,1(x)=x,u2,2(x)=(x)22,u2,3(x)=(x)36,u2,4(x)=(x)424,. u_{1,1}(x)=-4x, \quad u_{1,2}(x)=\frac{(-4x)^{2}}{2}, \quad u_{1,3}(x)=\frac{(-4x)^{3}}{6}, \quad u_{1,4}(x)=\frac{(-4x)^{4}}{24},\dots \\ u_{2,1}(x)=-x, \quad u_{2,2}(x)=\frac{(-x)^{2}}{2}, \quad u_{2,3}(x)=\frac{(-x)^{3}}{6}, \quad u_{2,4}(x)=\frac{(-x)^{4}}{24},\dots

Collectively, HAM series solution u1(x)=m=0u1,m(x)u_{1}(x)=\sum_{m=0}^{\infty}u_{1,m}(x) and u2(x)=m=0u2,m(x)u_{2}(x)=\sum_{m=0}^{\infty}u_{2,m}(x)is given by,

u1(x)=14x+8x232x33+32x43=e4x.u2(x)=1x+x22x36+x424=ex. u_{1}(x)=1-4x+8x^{2}-32\frac{x^{3}}{3}+32\frac{x^{4}}{3}-\dots=e^{-4x}. \\ u_{2}(x)=1-x+\frac{x^{2}}{2}-\frac{x^{3}}{6}+\frac{x^{4}}{24}-\dots=e^{-x}.

The above-mentioned problem is additionally solved using the HWT. Table 3 and 4 present the numerical values of the solutions of u1 and u2, respectively, together with their exact solutions and AE. Exact, HAM, and HWT solution geometric comparisons are displayed in Figure 5 and 7 for u1 and u2, respectively. An error analysis of the HAM and HWT solutions is shown graphically in Figure 6 and 8 for u1 and u2 respectively

Table 3

Comparison of solutions obtained from HAM, HWT, and their AE with Exact solution for u1 in Application 4.3.

xExactHAMHWTHAM ErrorHWT Error
011100
0.10.670320.670320.6703201.120 × 10-7
0.20.449320.449320.4493308.960 × 10-7
0.30.301190.301190.3012003.024 × 10-6
0.40.201890.201890.2019007.168 × 10-6
0.50.135330.135330.1353501.140 × 10-5
0.60.090710.090710.0907402.419 × 10-5
0.70.060810.060810.0608403.841 × 10-5
0.80.040760.040760.0408205.734 × 10-5
0.90.027320.027320.0274008.164 × 10-5
1.00.018310.018310.0184201.120 × 10-4
Table 4

Comparison of solutions obtained from HAM, HWT, and their AE with Exact solution for u2 in Application 4.3.

xND SolverHAMHWTHAM ErrorHWT Error
00.50.50.50.0
0.10.524380.524380.524392.048 × 10-81.120 × 10-6
0.20.547580.547580.547591.718 × 10-84.480 × 10-6
0.30.569640.569640.569661.413 × 10-81.008 × 10-5
0.40.590630.590630.590659.894 × 10-91.792 × 10-5
0.50.610590.610590.610632.164 × 10-82.800 × 10-5
0.60.629590.629590.629631.587 × 10-84.032 × 10-5
0.70.647650.647650.647714.028 × 10-85.488 × 10-5
0.80.664830.664830.664911.566 × 10-87.168 × 10-5
0.90.681180.681180.681281.790 × 10-89.072 × 10-5
1.00.696730.696730.696857.461 × 10-101.120 × 10-4
Fig. 5

Comparison of the exact solution with HAM and HWT solutions for u1(x) in Application 4.3.

Fig. 6

Error analysis of HAM and HWT solutions for u1(x) in Application 4.3.

Fig. 7

Comparison of the exact solution with HAM and HWT solutions for u2(x) in Application 4.3.

Fig. 8

Error analysis of HAM and HWT solutions for u2(x) in Application 4.3.

4.4
Application 4.4

Let us consider the following PDE with the condition

46ut+12(u2)xu(1u)=0;u(x,0)=ex, u_{t}+\frac{1}{2}(u^{2})_{x}-u(1-u)=0; \quad u(x,0)=e^{-x},

having the exact solution u(x,t) = etx. By applying HAM to equation (46), the mth order deformation is given by,

Where, D=tD=\frac{\partial}{\partial t} and

47D[um(x,t)χmum1(x,t)]=hRm(um1(x,t)) D[u_{m}(x,t)-\chi_{m}u_{m-1}(x,t)]=hR_{m}(u_{m-1}(x,t)) 48Rm(um1(x,t))=D[um1(x,t)]+12x[j=0m1um1j(x,t)uj(x,t)]um1(x,t)+j=0m1um1j(x,t)uj(x,t), R_{m}(u_{m-1}(x,t))=D[u_{m-1}(x,t)]+\frac{1}{2}\frac{\partial}{\partial x}\left[\sum_{j=0}^{m-1}u_{m-1-j}(x,t)u_{j}(x,t)\right]-u_{m-1}(x,t)+\sum_{j=0}^{m-1}u_{m-1-j}(x,t)u_{j}(x,t),

subject to,

49um(x,0)=0u_{m}(x,0)=0

Integrating on the either sides of equation (47), we get

um(x,t)=χmum1(x,t)+h0t[Rm(um1(x,t))]dt+C1,m1. u_{m}(x,t)=\chi_{m}u_{m-1}(x,t)+h\int_{0}^{t}[R_{m}(u_{m-1}(x,t))]dt+C_{1}, \quad m\ge1.

The integration constants C1 and C2 are calculated using equation (49). Taking u0(x,t) = ex and setting h = −1 successively we obtain,

u1(x,t)=ext u_{1}(x,t)=e^{-x}t. u_{2}(x,t)=e^{-x}\frac{t^{2}}{2} u_{3}(x,t)=e^{-x}\frac{\overline{t^{3}}}{6} u_{4}(x,t)=e^{-x}\frac{t^{4}}{24} u2(x,t)=ext22,$u_{2}(x,t)=$ $e^{-x} \frac{t^2}{2}$ u3(x,t)=ext36,$u_{3}(x,t)=$ $e^{-x} \frac{t^3}{6}$ u4(x,t)=ext424$u_{4}(x,t)=$ $e^{-x} \frac{t^4}{24}$

⋮.

Collectively, HAM series solution u(x,t)=m=0um(x,t)u(x,t)=\sum_{m=0}^{\infty}u_{m}(x,t) is given by,

u(x,t)=ex+tex+t22ex+t36ex+t424ex+t5120ex+=e(tx)u(x,t)=e^{-x}+te^{-x}+\frac{t^{2}}{2}e^{-x}+\frac{t^{3}}{6}e^{-x}+\frac{t^{4}}{24}e^{-x}+\frac{t^{5}}{120}e^{-x}+\dots=e^{(t-x)}

This problem is also solved again by HWT, and the results obtained are compared using tables and graphs. Tables 5, 6, 7, 8, 9 and Table 10 contain the numerical values and their errors with exact solutions of the above problem for different values of x. Figures 9, 11, 13, and 15 compare the HWT and HAM solutions with exact solutions, and Figures 10, 12, 14, and 16 represent the graphical interpretation for different values of x and t . Figure 17 depicts the 3-dimensional analysis of the HAM and HWT solutions with Exact solutions.

Table 5

Comparison of solutions obtained from HAM, HWT, and their AE with Exact solution for x = 0 in Application 4.4.

tExactHAMHWTHAM ErrorHWT Error
011100
0.11.105171.105171.1051700
0.21.221401.221401.2214000
0.31.349861.349861.3498600
0.41.491821.491821.4918200
0.51.648721.648721.6487200
0.61.822121.822121.8221200
0.72.013752.013752.0137500
0.82.225542.225542.2255400
0.92.459602.459602.4596000
1.02.718282.718282.7182800
Table 6

Comparison of solutions obtained from HAM, HWT, and their AE with Exact solution for x = 1 in Application 4.4.

tExactHAMHWT ErrorHAM ErrorHWT
00.367870.367870.3678700
0.10.406570.406570.4122405.672 × 10-3
0.20.449320.449320.4720202.268 × 10-2
0.30.496580.496580.5476305.104 × 10-2
0.40.548810.548810.6395609.075 × 10-2
0.50.606530.606530.7483301.418 × 10-1
0.60.670320.670320.8745102.042 × 10-1
0.70.740810.740811.0187002.779 × 10-1
0.80.818730.818731.1817503.630 × 10-1
0.90.904830.904831.3643204.594 × 10-1
1.0111.5672105.672 × 10-1
Table 7

Comparison of solutions obtained from HAM, HWT, and their AE with Exact solution for t = 0 in Application 4.4.

xExactHAMHWT ErrorHAM ErrorHWT
011100
0.10.904830.904830.9048300
0.20.818730.818730.8187300
0.30.740810.740810.7408100
0.40.670320.670320.6703200
0.50.606530.606530.6065300
0.60.548810.548810.5488100
0.70.496580.496580.4965800
0.80.449320.449320.4493200
0.90.406560.406560.4065600
1.00.367870.367870.3678700
Table 8

Comparison of solutions obtained from HAM, HWT, and their AE with Exact solution for t = 1 in Application 4.4.

xExactHAMHWT ErrorHAM ErrorHWT
02.718282.718282.7182800
0.12.459602.459602.4602105.672 × 10-4
0.22.225542.225542.2301204.357 × 10-3
0.32.013752.013752.029101.531 × 10-2
0.41.822121.822121.858403.630 × 10-2
0.51.648721.648721.719607.090 × 10-2
0.61.491821.491821.614301.225 × 10-1
0.71.349861.349861.544401.945 × 10-1
0.81.221401.221401.511802.904 × 10-1
0.91.105171.105171.518704.134 × 10-1
1.0111.567205.672 × 10-1
Table 9

Comparison of absolute error AE of the HAM and HWT solutions with Exact solution for t = 0.1, t = 0.01, and t = 0.001 in Application 4.4.

xError at t = 0.1Error at t = 0.01Error at t = 0.001
HAMHWTHAMHWTHAMHWT
0000000
0.105.672 × 10-605.672 × 10-805.672 × 10-10
0.204.537 × 10-504.537 × 10-704.537 × 10-9
0.301.531 × 10-401.531 × 10-601.531 × 10-8
0.403.630 × 10-403.630 × 10-603.630 × 10-8
0.507.090 × 10-407.090 × 10-607.090 × 10-8
0.601.225 × 10-301.225 × 10-501.225 × 10-7
0.701.945 × 10-301.945 × 10-501.945 × 10-7
0.802.904 × 10-302.904 × 10-502.904 × 10-7
0.904.134 × 10-304.134 × 10-504.134 × 10-7
1.005.672 × 10-305.672 × 10-505.672 × 10-7
Table 10

Comparison of absolute error AE of the HAM and HWT solutions with Exact solution for x = 0.1, x = 0.01, and x = 0.001 in Application 4.4.

tError at x = 0.1Error at x = 0.01Error at x = 0.001
HAMHWTHAMHWTHAMHWT
0000000
0.105.671 × 10-605.672 × 10-905.671 × 10-12
0.202.268 × 10-502.268 × 10-802.268 × 10-11
0.305.104 × 10-505.104 × 10-805.104 × 10-11
0.409.075 × 10-509.075 × 10-809.075 × 10-11
0.501.418 × 10-401.418 × 10-701.418 × 10-10
0.602.041 × 10-402.041 × 10-702.041 × 10-10
0.702.779 × 10-402.779 × 10-702.779 × 10-10
0.803.630 × 10-403.630 × 10-703.630 × 10-10
0.904.594 × 10-404.594 × 10-704.594 × 10-10
1.005.672 × 10-405.672 × 10-705.672 × 10-10
Fig. 9

Comparison of the exact solution with HAM and HWT solutions at x = 0 of Application 4.4.

Fig. 10

Error analysis of HAM and HWT solutions at x = 0 of Application 4.4.

Fig. 11

Comparison of the exact solution with HAM and HWT solutions at x = 1 of Application 4.4.

Fig. 12

Error analysis of HAM and HWT solutions at x = 1 of Application 4.4.

Fig. 13

Comparison of the exact solution with HAM and HWT solutions at t = 0 of Application 4.4.

Fig. 14

Error analysis of HAM and HWT solutions at t = 0 of Application 4.4.

Fig. 15

Comparison of the exact solution with HAM and HWT solutions at t = 1 of Application 4.4.

Fig. 16

Error analysis of HAM and HWT solutions at t = 1 of Application 4.4.

Fig. 17

3D plot of HAM and HWT solutions for various values of x and t of Application 4.4.

5
Conclusions

In this research, we suggested a scheme for solving the ODEs, system of ODEs, and PDEs using the homotopy analysis and a Haar wavelet methodology. Theorems were used to discuss convergence analysis. To exhibit the efficiency and efficacy of the suggested scheme, tables and figures describing the results were provided, along with numerical examples illustrating the method's effectiveness. The error analysis reveals that the HAM solutions are more accurate than HWT and all other techniques found in literature, and the obtained results agree with the exact or ND solver solutions. Results show that the suggested technique can potentially solve complex ODE and PDE problems efficiently.

Language: English
Page range: 45 - 64
Submitted on: Sep 16, 2024
Accepted on: Jan 12, 2025
Published on: May 27, 2026
Published by: Harran University
In partnership with: Paradigm Publishing Services
Publication frequency: 2 issues per year

© 2026 Sachin K. Narayana, Suguntha Devi Kannadasan, Kumbinarasaiah Srinivasa, published by Harran University
This work is licensed under the Creative Commons Attribution 4.0 License.