Skip to main content

Modified homotopy perturbation method and its application to analytical solitons of fractional-order Korteweg–de Vries equation



Experimentally brought to light by Russell and hypothetically explained by Korteweg–de Vries, the KDV equation has drawn the attention of several mathematicians and physicists because of its extreme substantial structure in describing nonlinear evolution equations governing the propagation of weakly dispersive and nonlinear waves. Due to the prevalent nature and application of solitary waves in nonlinear dynamics, we discuss the soliton solution and application of the fractional-order Korteweg–de Vries (KDV) equation using a new analytical approach named the “Modified initial guess homotopy perturbation.”


We established the proposed technique by coupling a power series function of arbitrary order with the renown homotopy perturbation method. The convergence of the method is proved using the Banach fixed point theorem. The methodology was demonstrated with a generalized KDV equation, and we applied it to solve linear and nonlinear fractional-order Korteweg–de Vries equations, which are in Caputo sense. The method’s applicability and effectiveness were established as a feasible series of arbitrary orders that accelerate quickly to the exact solution at an integer order and are obtained as solutions. Numerical simulations were conducted to investigate the effect of Caputo fractional-order derivatives in the dispersion and propagation of water waves by varying the order \(\alpha\) on the \([0,1]\) interval. Comparative analysis of the simulation results, which were presented graphically and discussed, reveals that the degree of freedom of the Caputo fractional-order derivative is vital to controlling the magnitude of environmental hazards associated with water waves when adjusted.


The proposed method is recommended for obtaining convergent series solutions to fractional-order partial differential equations. We suggested that applied mathematicians and physicists investigate this work to better understand the impact of the degree of freedom posed by Caputo fractional-order derivatives in wave dispersion and propagation, as physical applications can help divert wave-related environmental hazards.

1 Background

When waves advance into the region of shallow water, they tend to be affected by the ocean bottom. This leads to the disruption of free water in orbital motion, and the water molecules in the orbital motion can no longer return to their initial position. In turn, environmental hazards such as coastal erosion and the tsunami wave described in [19] are caused by this phenomenon, which often leads to loss of land and damage to the properties of people living in coastal regions [43]. Sailors do simulate the consequences of shallow water waves as it increases the realism of the virtual ocean scene and also supplies accurate parameters to the ship maneuvering model [3]. The intensity of a water wave can be measured by its dispersion. This dispersion is either caused by the interaction of the wave with the transmitting medium or by the geometry and physical constraints [32]. Different mathematical models have been developed to study the impact, significance, and ways of controlling water waves. Among these models are the Boussinesq wave model and the shallow water wave model in [37] and [41], respectively.

Of interest is the dispersive partial differential equation named the Korteweg–de Vries (KDV) equation [26]. It governs weakly and nonlinearly interacting radio waves above 1 km in wavelength with a frequency of 300 kHz traveling in canals of shallow water [28]. The general form of this equation can be found in [8, 31]. The homogenous Korteweg–de Vries equation [7, 36], which described the mathematical model of solitary water waves in a shallow water domain, was coined by Kruskal and Zabusky [2, 9, 17]. Unlike the shallow water equation (which does not take into account the frequency of wave dispersion) and the Boussinesq wave equation (where the use of wave reflections is limited), the Korteweg–de Vries equation can be applied to waves propagating in a single direction that have both frequency and amplitude of dispersion. A recent study in [14] discussed the behavior of different types of traveling waves in the solution of relativistic wave equations associated with the notable Schrödinger equation.

Although the analytic solution of this problem is often not feasible to obtain, an analytic study on the solution of a third-order dispersive partial differential equation was conducted in [13]. The Laplace–Adomian decomposition method (LADM) was applied in [27] to obtain the analytical solutions of third-order dispersive fractional partial differential equations. The fractional derivatives are in Caputo sense, and the approximate solution obtained converges directly to the exact solutions. Some semi-analytic techniques have also been employed to solve this well-known equation, one of which is in [39], where the Laplace–Adomian decomposition method (LADM), differential transform method (DTM), homotopy perturbation method (HPM), and homotopy perturbation transform method (HPTM) were applied to obtain the solution of linearized dispersive KDV equations. Other numerical techniques, such as the variational iteration method (VIM) proposed by [33], were applied in [6] to solve the higher-order nonlinear KDV equation, and its modification was applied in [7] to obtain the analytical solution of this equation.

Lately, fractional calculus has been an area of interest for modern researchers. This is due to the higher degree of freedom and more realistic behavior exhibited by physical problems governed by it. There exists a diverse set of fractional operators; these consist of the Riemann–Liouville [44], Caputo [11], Caputo–Fabrizio [42], and Antagana–Baleanu [12] operators. These operators are often used as generalized tools for investigating diverse phenomena with a non-local kernel, such as fractal and chaotic phenomena with long-range memory. The strength and limitations of these concepts can be found in [44]. Several authors have proposed potent mathematical models capable of simulating chaotic and fractal systems. An example is a study presented in [29] where the numerical solutions and synchronization of a variable-order fractional chaotic system were conducted. A research study on the robust study of listeriosis disease was carried out in [38]. Their study implemented the use of fractal fractional operators to conduct their analysis. Their results show that these operators are productive for the purpose of their study.

Water waves are one of the many non-localized physical phenomena described by natural processes found around us. The sequencing pattern of the motion caused by water waves is often associated with fractals [16]. Research presented in [25] shows that modeling of these patterns cannot be carried out with ordinary classical derivatives that are localized. They claimed that the long-established differentiation technique (integer-order derivatives) is local and that using it to describe physical phenomena with unbounded disparities would be inappropriate because the impact of a larger neighborhood could not be ignored. They discussed that a fractional derivative is a global operator, whose properties thrive on examining the impacts of a larger neighborhood ignored by the local operator as it creates the likelihood of several possibilities for backward and forward motion of waves. They concluded that a non-localized derivative such as the Caputo fractional-order derivative should be employed in the modeling of water waves. The properties and application of these non-localized derivatives were applied in [15], where hybrid Caputo fractional modeling for thermostats with hybrid boundary value conditions was carried out. Investigation of a new version of HIV mathematical model using a new approach to fractional derivatives (Caputo–Fabrizio) was applied in [45]. This Caputo–Fabrizio fractional derivative was also applied in [1] to a mathematical theoretical study for the Rubella disease model, as they stated that fractional derivatives, such as Caputo and Riemann derivatives, have their own limitations because their kernel is singular and they cannot be applied to describe the memory effect of the physical system applicable to their problem.

To obtain the solutions of the fractional-order Korteweg–de Vries equation, researchers in [18] successfully applied the fractional differential transform method (FDTM) and modified differential transform method (MDTM) to obtain the solution of the third-order dispersive partial differential equation. In [20], the Laplace–Adomian decomposition method was applied to obtain the solution of the fractional-order model of measles, and in [21], this same method was applied to obtain the numerical solution of the fractional-order smoking model.

In this paper, an initial guess technique applied in [4, 5, 40] is modified to be of arbitrary order in a Caputo sense. We coupled it with the homotopy perturbation method introduced in [22, 23, 34, 35] to suit the computation of an approximate solution of the fractional-order Korteweg–de Vries equation of the form:

$$u_{t}^{\alpha } (x,t) + \xi u(x,t)u_{x} (x,t) + \gamma u_{xxx} (x,t) = 0,\quad 0 < \alpha \le 1$$

subject to the initial condition:

$$u(x,0) = \phi (x).$$

\(u(x,t)\) is a function of real variables which denotes the wave elongation at space \(x\) and time \(t,\) respectively. \(u(x,t)u_{x} (x,t)\) is the nonlinear term, \(u_{xxx} (x,t)\) represents the direction of the wave dispersion, and \(\xi ,\gamma\) are arbitrary constants put in place to obtain a uniformly propagating wave solution.

2 Methods

2.1 Preliminaries

Here, we state some fundamental properties of fractional calculus applicable in this paper.

Definition 1

A real function \(\phi (t),\,\,t > 0,\,\,\) is said to be in the space \(C_{\mu \,} ,\,\,\mu \in R\,\) if there exist a real number \(m > \mu\) such that \(\phi (t) = t^{m} \phi_{1} (t).\,\) where \(\phi_{1} (t) \in C(0,\infty ),\) and it is said to be in the space \(C^{n}_{\mu \,}\) if and only if \(\phi^{(n)} \in C_{\mu } ,\,n \in N.\)

Definition 2

The Riemann–Liouville fractional integration of order \(\eta \ge 0\) for a real positive function \(\phi (t) \in C_{\mu \,} ,\,\,\mu \ge - 1\,\,\,t > 0\) is defined as:

$$I^{\eta } \phi (t) = \frac{1}{\Gamma (\eta )}\int\limits_{0}^{t} {(t - x)^{\eta - 1} \phi (x)dx} .$$

The following properties hold for fractional integral operator \(I^{\eta }\) for \(\phi (t) \in C_{\mu \,} ,\,\,\mu \ge - 1\,\,\,\eta ,\alpha \ge 0\,\) and \(\,\beta \ge - 1\):

  1. 1.

    \(I^{\eta } I^{\alpha } \phi (t) = I^{\eta + \alpha } \phi (t),\)

  2. 2.

    \(I^{\eta } I^{\alpha } \phi (t) = I^{\alpha } I^{\beta } \phi (t),\)

  3. 3.

    \(I^{\eta } t^{\beta } = \frac{\Gamma (\beta + 1)}{{\Gamma (\eta + \beta + 1)}}t^{\eta + \beta } .\)

Definition 3

The Caputo fractional derivative of a positive real function \(\phi (t) \in C_{\mu }\) is mathematically expressed as

$$D^{\eta } \phi (t) = \frac{1}{\Gamma (n - \eta )}\int\limits_{0}^{t} {(t - x)^{n - \eta - 1} \phi^{(n)} (x)dx} ,\quad n - 1 < \eta \le n,n \in N.$$

The fractional integration of Caputo derivative for \(n - 1 < \eta \le n,\,\,n \in N,\,\,\phi \in \mathop c\nolimits_{ - 1}^{n} ,\,\mu \ge - 1\) is:

$$I^{\eta } D^{\eta } \phi (t) = \phi (t) - \sum\limits_{k = 0}^{n - 1} {\phi^{(k)} (0)\frac{{t^{k} }}{k!}} .$$

2.2 Homotopy perturbation method

The fundamental scheme of He’s homotopy perturbation method can be illustrated by considering the general nonlinear differential equation of the form:

$$D(u) - f(\omega ) = 0,\quad \omega \varepsilon \Omega .$$

subject to the boundary condition:

$$\beta (u,u_{n} ) = 0,\quad \omega \varepsilon \Gamma .$$

The general differential operator is denoted by \(D\) and the boundary operator by \(\beta\). \(f(\omega )\) is an analytic function, and \(\Gamma\) is the boundary operator in the domain \(\Omega\). The operator \(D\) is separable into two parts:

$$D^{\alpha } (u) = \ell (u) + \eta (u).$$

The functions \(\ell \,and\,\,\eta\) represent the linear and nonlinear operator, respectively. Substituting Eq. (5) into Eq. (3) yields

$$\ell (u) + \eta (u) - f(\omega ) = 0.$$

A homotopy can be constructed for Eq. (6):

$$H(v,p) = (1 - p)\left[ {\ell (v) - \ell (u_{0} )} \right] + p\left[ {D(v) - f(\omega )} \right] = 0;$$

simplifying Eq. (7) yields

$$H(v,p) = \ell (v) - \ell (u_{0} ) + p\ell \left[ {v_{0} } \right] + p\left[ {\eta (v) - f(\omega )} \right] = 0.$$

where \(p\) is an embedded parameter which undergoes deformation process of changing from 0 to 1: When \(p = 0,\)

$$H(v,0) = \ell (v) - \ell (u_{0} ) = 0,$$

and at \(p = 1,\)

$$H(v,1) = D(v) - f(\omega ) = 0.$$

A power series solution can be assumed for Eqs. (9) and (10):

$$v(x,t) = v_{0} (x,t) + pv_{1} (x,t) + p^{2} v_{2} (x,t) + \cdots p^{n} v_{n} (x,t),$$

and the approximate solution of Eq. (3) is:

$$\mathop {Lim}\limits_{p \to 1} v(x,t) = v_{0} (x,t) + v_{1} (x,t) + v_{2} (x,t) + \cdots v_{n} (x,t).$$

The convergence of this series has been proven in [34]. Substituting Eq. (11) into Eq. (8) and equating coefficients of equal powers of p,

$$\left. {\begin{array}{*{20}c} {p^{0} :v_{0} - f(\omega ) = 0,} \\ {p^{1} :v_{1} - H\left( {v_{0} } \right) = 0,} \\ \vdots \\ {p^{n} :v_{n} - H\left( {v_{0} ,v_{1} ,v_{2} ,v_{3} , \ldots ,v_{n - 1} } \right) = 0.} \\ \end{array} } \right\}$$

The approximate result of each iteration is obtained by solving Eq. (13).

2.3 Modified initial guess homotopy perturbation method (MIGHPM)

In view of the proposed modified initial guess homotopy perturbation method, a power series correctional functional of arbitrary order can be constructed for Eq. (1):

$$u(x,t) = u(x,0) + \sum\limits_{n = 1}^{\infty } {\lambda_{n} t^{n\alpha } } ,\quad 0 < \alpha \le 1.$$

Substituting the initial condition \(u(x,0) = \phi (x)\) into Eq. (14),

$$u(x,t) = \phi (x) + \lambda_{1} t^{\alpha } + \lambda_{2} t^{2\alpha } + \cdots .$$

From Eq. (15), \(\lambda_{1} t^{\alpha } = u_{1} (x,t),\,\,\lambda_{2} t^{2\alpha } = u_{2} (x,t),\) and so on.

As an assumed solution of Eq. (1), Eq. (15) must satisfy Eq. (1) with unique values of \(\lambda_{1} ,\,\,\lambda_{2} ,\,\lambda_{3} , \cdots \lambda_{n} .\) Thus to evaluate these values, the following derivatives are obtained:

$$u_{t} (x,t) = \lambda_{1} \Gamma (\alpha + 1) + \lambda_{2} \frac{\Gamma (2\alpha + 1)}{{\Gamma (\alpha + 1)}}t^{\alpha } + \cdots ,\;u_{x} (x,t) = \phi \prime (x),\;{\text{and}}\;u_{xxx} (x,t) = \phi \prime \prime \prime (x),$$

such that evaluation of Eq. (1) using Eq. (16) yields:

$$\left( {\lambda_{1} \Gamma (\alpha + 1) + \lambda_{2} \frac{\Gamma (2\alpha + 1)}{{\Gamma (\alpha + 1)}}t^{\alpha } + \cdots } \right) + \xi \left( {\phi (x) + \lambda_{1} t^{\alpha } + \lambda_{2} t^{2\alpha } + \cdots } \right)\phi \prime (x) + \gamma \phi \prime \prime \prime (x) = 0.$$

At \(t = 0\), Eq. (17) becomes,

$$\lambda_{1} \Gamma (\alpha + 1) + \xi \phi (x)\phi \prime (x) + \gamma \phi \prime \prime \prime (x) = 0.$$

And solving for \(\lambda_{1}\) yields:

$$\lambda_{1} = \frac{{ - \left( {\xi \phi (x)\phi ^{\prime}(x) + \gamma \phi \prime \prime \prime (x)} \right)}}{\Gamma (\alpha + 1)}.$$

Since \(u_{1} (x,t) = \lambda_{1} t^{\alpha }\), the first approximation is:

$$u_{1} (x,t) = \frac{{ - \left( {\xi \phi (x)\phi \prime (x) + \gamma \phi \prime \prime \prime (x)} \right)}}{\Gamma (\alpha + 1)}t^{\alpha } .$$

Subsequent approximations can be obtained by constructing a homotopy for Eq. (1):

$$(1 - p)\left[ {u_{t}^{\alpha } (x,t)} \right] + p\left[ {u_{t}^{\alpha } (x,t) + \xi u(x,t)u_{x} (x,t) + \gamma u_{xxx} (x,t)} \right] = 0,\quad 0 < \alpha \le 1.$$

Simplifying Eq. (21) yields:

$$u_{t}^{\alpha } (x,t) + p\left[ {\xi u(x,t)u_{x} (x,t) + \gamma u_{xxx} (x,t)} \right] = 0.$$

Substituting Eq. (11) into Eq. (22) and equating coefficients of equal powers of \(p^{n} ,\,\,n \ge 2\),

$$\left. {\begin{array}{*{20}c} {p^{2} :} & {\frac{{\partial^{\alpha } u_{2} (x,t)}}{{\partial t^{\alpha } }}} & + & {\xi \left( {u_{0} (x,t)\frac{{\partial u_{1} (x,t)}}{\partial x} + u_{1} (x,t)\frac{{\partial u_{0} (x,t)}}{\partial x}} \right)} & + & {\gamma \frac{{\partial^{3} u_{0} (x,t)}}{{\partial x^{3} }}} & = & {0,} \\ {p^{3} } & {\frac{{\partial^{\alpha } u_{3} (x,t)}}{{\partial t^{\alpha } }}} & + & {\xi \left( {u_{0} (x,t)\frac{{\partial u_{2} (x,t)}}{\partial x} + u_{1} (x,t)\frac{{\partial u_{1} (x,t)}}{\partial x} + u_{2} (x,t)\frac{{\partial u_{0} (x,t)}}{\partial x}} \right)} & + & {\gamma \frac{{\partial^{3} u_{1} (x,t)}}{{\partial x^{3} }}} & = & {0.} \\ \vdots & \vdots & {} & \cdots & {} & \vdots & {} & \vdots \\ \end{array} } \right\}$$

The coefficient of \(p^{2}\) is evaluated using Eq. (20), and the Riemann–Liouville fractional integral operator \(I^{\alpha }\) is applied to obtain the second approximation \(u_{2} (x,t)\). Subsequent approximations \(u_{3} (x,t),u_{4} (x,t), \ldots\) are likewise computed.

Theorem 1

Let there be a contractive nonlinear mapping \(\tau :\aleph \to Y\) defined on two Banach spaces \(\aleph\), \(Y\;\forall \;m,n \in \aleph\) then \(\left\| {\tau (m) - \tau (n)} \right\|_{Y} \le \varepsilon \left\| {m - n} \right\|_{\aleph }\), \(0 < \varepsilon < 1\) such that the sequence \(m_{s + 1} = \tau^{n} (m_{0} ) = \tau (m_{0} )\) for some \(m_{0} \in \aleph\) which converges to a unique fixed point \(\tau\) [30].


Consider the Picard sequence \(m_{s + 1} = \tau (m_{s} ) \subseteq Y\) we want to show that \(m_{s}\) is convergent in \(Y\) for all \(r \ge s\) \(\left\| {m_{s} - m_{r} } \right\| \le \left\| {m_{s} - m_{s + 1} } \right\| + \left\| {m_{s + 1} - m_{s + 2} } \right\| + \left\| {m_{s + 2} - m_{s + 3} } \right\| + \cdots + \left\| {m_{s - 1} - m_{r} } \right\|\).

We define the proof by applying mathematical induction on the contractive property of (C):

\(\left\| {m_{s} - m_{s + 1} } \right\| \le \varepsilon^{s} \left\| {m_{0} - m_{1} } \right\|\). By implication, \(\mathop {\lim }\limits_{r \to \infty } \left\| {m_{s} - m_{r} } \right\| \le \frac{{\varepsilon^{s} }}{1 + \varepsilon }\left\| {m_{0} - m_{1} } \right\| = 0\,\,as\,\,s \to \infty\).

This proves that \((m_{s} )\) is convergent in \(Y\) and through completeness of \(Y\), we can find \(\omega \in Y\): \(\mathop {\lim }\limits_{s \to \infty } (m_{s} ) = \omega \in Y\). Clearly, the continuity of \(\tau\) is ensured by the contraction (C). Thus, \(\omega = \mathop {\lim }\limits_{s \to \infty } m_{s + 1} = m_{r}\).

3 Application and results

3.1 Example 1

Consider the dispersive KDV equation

$$\frac{{\partial^{\alpha } \mu (x,t)}}{{\partial t^{\alpha } }} - 6\mu (x,t)\frac{\partial \mu (x,t)}{{\partial x}} + \frac{{\partial^{3} \mu (x,t)}}{{\partial x^{3} }} = 0,$$

subject to the initial condition:

$$\mu (x,0) = \frac{x - 2}{{12}}.$$

By modified initial guess homotopy perturbation method,

$$\mu (x,t) = \mu (x,0) + \lambda_{1} t^{\alpha } + \cdots .$$

Equation (24) is evaluated using the following derivatives in Eq. (27)

$$\frac{{\partial^{\alpha } \mu (x,t)}}{{\partial t^{\alpha } }} = \lambda_{1} \Gamma (\alpha + 1),\;\frac{\partial \mu (x,t)}{{\partial x}} = \frac{1}{12},\;\frac{{\partial^{3} \mu (x,t)}}{{\partial x^{3} }} = 0,$$

such that at \(t = 0,\)

$$\lambda_{1} = \frac{(x - 2)}{{24\Gamma (\alpha + 1)}}.$$


$$\mu_{1} (x,t) = \frac{(x - 2)}{{24\Gamma (\alpha + 1)}}t^{\alpha } .$$

Constructing a homotopy for Eq. (24),

$$\left( {1 - p} \right)\frac{{\partial^{\alpha } \mu (x,t)}}{{\partial t^{\alpha } }} + p\left( {\frac{{\partial^{\alpha } \mu (x,t)}}{{\partial t^{\alpha } }} - \mu (x,t)\frac{\partial \mu (x,t)}{{\partial x}} + \frac{{\partial^{3} \mu (x,t)}}{{\partial x^{3} }}} \right) = 0;$$

simplifying Eq. (30),

$$\frac{{\partial^{\alpha } \mu (x,t)}}{{\partial t^{\alpha } }} + p\left( { - 6\mu (x,t)\frac{\partial \mu (x,t)}{{\partial x}} + \frac{{\partial^{3} \mu (x,t)}}{{\partial x^{3} }}} \right) = 0.$$

We can assume a series solution of the form:

$$\mu (x,t) = \mu_{0} (x,t) + p\mu_{1} (x,t) + p^{2} \mu_{2} (x,t) + \cdots p^{n} \mu_{n} (x,t).$$

Substituting Eq. (32) into Eq. (31) and equating coefficients of equal powers of \(p^{n} ,\,\,n \ge 2\);

$$p^{2} :\frac{{\partial^{\alpha } \mu_{2} (x,t)}}{{\partial t^{\alpha } }} - 6\left( {\mu_{0} (x,t)\frac{{\partial \mu_{1} (x,t)}}{\partial x} + \mu_{1} (x,t)\frac{{\partial \mu_{0} (x,t)}}{\partial x}} \right) + \frac{{\partial^{3} \mu_{0} (x,t)}}{{\partial x^{3} }} = 0,$$
$$p^{3} :\frac{{\partial^{\alpha } \mu_{3} (x,t)}}{{\partial t^{\alpha } }} - 6\left( {\mu_{0} (x,t)\frac{{\partial \mu_{2} (x,t)}}{\partial x} + \mu_{1} (x,t)\frac{{\partial \mu_{1} (x,t)}}{\partial x} + \mu_{2} (x,t)\frac{{\partial \mu_{0} (x,t)}}{\partial x}} \right) + \frac{{\partial^{3} \mu_{1} (x,t)}}{{\partial x^{3} }} = 0.$$

Evaluating Eq. (33) using \(\mu_{0} (x,t)\,\,\& \mu_{1} (x,t)\),

$$\frac{{\partial^{\alpha } \mu_{2} (x,t)}}{{\partial t^{\alpha } }} - \frac{(x - 2)}{{24\Gamma (\alpha + 1)}}t^{\alpha } = 0 \Rightarrow \frac{{\partial^{\alpha } \mu_{2} (x,t)}}{{\partial t^{\alpha } }} = \frac{(x - 2)}{{24\Gamma (\alpha + 1)}}t^{\alpha } .$$

Applying operator \(I^{\alpha }\) to both sides of Eq. (35),

$$\mu_{2} (x,t) = \frac{(x - 2)}{{24\Gamma (2\alpha + 1)}}t^{2\alpha } .$$

Repeating the iterative process,

$$\mu_{3} (x,t) = \left( {\frac{{(x - 2)4\left( {\Gamma (1 + \alpha )} \right)^{2} + \Gamma (1 + 2\alpha )}}{{96\left( {\Gamma (1 + \alpha )} \right)^{2} \Gamma (1 + 3\alpha )}}t^{3\alpha } } \right),$$
$$\mu_{4} (x,t) = \left( {\frac{{(x - 2)4\left( {\Gamma (1 + \alpha )} \right)^{2} \Gamma (1 + 2\alpha ) + \left( {\Gamma (1 + 2\alpha )} \right)^{2} + 2\Gamma (1 + \alpha )\Gamma (1 + 3\alpha )}}{{96\left( {\Gamma (1 + \alpha )} \right)^{2} \Gamma (1 + 2\alpha )\Gamma (1 + 4\alpha )}}t^{4\alpha } } \right),$$

and so on. The subsequent terms can be evaluated using MATHEMATICA 12 software package.

The approximate solution of Eq. (24) is therefore obtained as:

$$\mu_{n} (x,t) = \left. \begin{gathered} \frac{x - 2}{{12}} + \frac{(x - 2)}{{24\Gamma (\alpha + 1)}}t^{\alpha } + \frac{(x - 2)}{{24\Gamma (2\alpha + 1)}}t^{2\alpha } + \frac{{(x - 2)4\left( {\Gamma (1 + \alpha )} \right)^{2} + \Gamma (1 + 2\alpha )}}{{96\left( {\Gamma (1 + \alpha )} \right)^{2} \Gamma (1 + 3\alpha )}}t^{3\alpha } \hfill \\ \frac{{(x - 2)4\left( {\Gamma (1 + \alpha )} \right)^{2} \Gamma (1 + 2\alpha ) + \left( {\Gamma (1 + 2\alpha )} \right)^{2} + 2\Gamma (1 + \alpha )\Gamma (1 + 3\alpha )}}{{96\left( {\Gamma (1 + \alpha )} \right)^{2} \Gamma (1 + 2\alpha )\Gamma (1 + 4\alpha )}}t^{4\alpha } \hfill \\ \end{gathered} \right\}.$$

When \(\alpha = 1\),

$$\mu_{n} (x,t) = \frac{(x - 2)}{{12}} + \frac{(x - 2)t}{{24}} + \frac{{(x - 2)t^{2} }}{48} + \frac{{(x - 2)t^{3} }}{96} + \frac{{(x - 2)t^{4} }}{192} + \cdots .$$

And the closed form of the solution is

$$\mathop {\lim }\limits_{n \to \infty } \mu_{n} (x,t) = \frac{x - 2}{{12 - 6t}}$$

(Fig. 1, Table 1).

Fig. 1
figure 1

A traveling solitary translatory wave, which preserves its form by not interacting with any local disturbances. The directions of wave propagation in space and time coordinate \((x,t)\) at different degrees of freedom on the interval \(0 \le \alpha \le 1\) were presented in AE. E particularly reflects that the translatory wave tends to converge to the exact direction of the wave propagation presented in F at an integer order

Table 1 Numerical results of problem one at an exact value \(\alpha = 1\)

3.2 Convergence of Solution

Following the theorem of nonlinear mapping \(X\), the convergence of modified initial guess homotopy perturbation method strictly relies on contraction \(X\).

Thus, \(\left\| {\mu_{0} - \mu_{e} } \right\| = \left\| {\frac{x - 2}{{12}} - \frac{x - 2}{{12 - 6t}}} \right\| = \frac{1}{12}\left\| {\frac{(x - 2)t}{{(t - 2)}}} \right\|\). For \(\frac{1}{2} < \kappa ,\,0 < \kappa < 1,\)

$$\left\| {\mu_{1} - \mu_{e} } \right\| = \left\| {\mu_{0} + \mu_{1} - \mu_{e} } \right\| = \left\| {\frac{1}{24}\frac{{(x - 2)t^{2} }}{(t - 2)}} \right\| \le \kappa \left\| {\mu_{0} - \mu_{e} } \right\|,$$
$$\left\| {\mu_{2} - \mu_{e} } \right\| = \left\| {\mu_{0} + \mu_{1} + \mu_{2} - \mu_{e} } \right\| = \left\| {\frac{1}{48}\frac{{(x - 2)t^{3} }}{(t - 2)}} \right\| \le \kappa^{2} \left\| {\mu_{0} - \mu_{e} } \right\|,$$
$$\left\| {\mu_{3} - \mu_{e} } \right\| = \left\| {\mu_{0} + \mu_{1} + \mu_{2} + \mu_{3} - \mu_{e} } \right\| = \left\| {\frac{1}{96}\frac{{(x - 2)t^{4} }}{(t - 2)}} \right\| \le \kappa^{3} \left\| {\mu_{0} - \mu_{e} } \right\|,$$
$$\left\| {\mu_{n} - \mu_{e} } \right\| = \left\| {(\mu_{0} + \mu_{1} + \mu_{2} + \cdots \mu_{2} ) - \mu_{e} } \right\| = \left\| {\frac{1}{{12 \cdot 2^{n} }}\frac{{(x - 2)t^{4} }}{(t - 2)}} \right\| \le \kappa^{n} \left\| {\mu_{0} - \mu_{e} } \right\|.$$

Clearly,\(\mathop {\lim }\limits_{n \to \infty } \kappa^{n} = 0\); therefore, \(\mathop {\lim }\limits_{n \to \infty } \left\| {\mu_{n} - \mu_{e} } \right\| \le \kappa^{n} \left\| {\mu_{0} - \mu_{e} } \right\| = 0\,\). Thus, modified initial guess homotopy perturbation method agrees that \(\mu_{e} = \mathop {\lim }\limits_{n \to \infty } \mu_{n} (x,t) = \frac{x - 2}{{12 - 6t}}\) which is the exact solution of the problem.

3.3 Problem 2

Consider the following linear homogenous KDV equation

$$\frac{{\partial^{\alpha } \mu (x,t)}}{{\partial t^{\alpha } }} + 7\frac{\partial \mu (x,t)}{{\partial x}} + 6\frac{\partial \mu (x,t)}{{\partial x^{3} }} = 0,$$

subject to the condition:

$$\mu (x,0) = \cos (x).$$

By modified initial guess homotopy perturbation method, we can construct

$$\mu (x,t) = \mu_{0} (x,0) + \lambda_{1} t^{\alpha } + \cdots;$$

substituting Eq. (41) into Eq. (42),

$$\mu (x,t) = \cos (x) + \lambda_{1} t^{\alpha } + \cdots .$$

Equation (40) is evaluated using the following derivatives in Eq. (44),

$$\frac{{\partial^{\alpha } \mu (x,t)}}{{\partial t^{\alpha } }} = \lambda_{1} \Gamma (\alpha + 1),\quad \frac{\partial \mu (x,t)}{{\partial x}} = - \sin (x),\quad \frac{{\partial^{3} \mu (x,t)}}{{\partial x^{3} }} = \sin (x),$$

such that

$$\lambda_{1} \Gamma (\alpha + 1) + 7( - \sin x) + 6(\sin x) = 0.$$

Solving for \(\lambda_{1}\) in Eq. (45),

$$\lambda_{1} = \frac{\sin (x)}{{\Gamma (\alpha + 1)}}.$$

Since \(\mu_{1} (x,t) = \lambda_{1} t^{\alpha }\), therefore

$$\mu_{1} (x,t) = \frac{\sin (x)}{{\Gamma (\alpha + 1)}}t^{\alpha } .$$

To obtain further approximations, we construct a homotopy for Eq. (40):

$$(1 - p)\left[ {\frac{{\partial^{\alpha } \mu (x,t)}}{{\partial t^{\alpha } }}} \right] + p\left[ {\frac{{\partial^{\alpha } \mu (x,t)}}{{\partial t^{\alpha } }} + 7\frac{\partial \mu (x,t)}{{\partial x}} + 6\frac{\partial \mu (x,t)}{{\partial x^{3} }}} \right] = 0;$$

simplifying Eq. (48),

$$\frac{{\partial^{\alpha } \mu (x,t)}}{{\partial t^{\alpha } }} = p\left[ { - 7\frac{\partial \mu (x,t)}{{\partial x}} + 6\frac{\partial \mu (x,t)}{{\partial x^{3} }}} \right].$$

We assume a series solution of the form:

$$\mu (x,t) = \mu_{0} (x,t) + p\mu_{1} (x,t) + p^{2} \mu_{2} (x,t) + \cdots p^{n} \mu_{n} (x,t).$$

Substituting Eq. (50) into Eq. (49) and comparing coefficients of equal powers of \(p^{n} ,\,\,n \ge 2\),

$$\frac{{\partial^{\alpha } \mu_{2} (x,t)}}{{\partial t^{\alpha } }} = - 7\frac{{\partial \mu_{1} (x,t)}}{\partial x} + 6\frac{{\partial \mu_{1} (x,t)}}{{\partial x^{3} }},$$
$$\frac{{\partial^{\alpha } \mu_{3} (x,t)}}{{\partial t^{\alpha } }} = - 7\frac{{\partial \mu_{2} (x,t)}}{\partial x} + 6\frac{{\partial \mu_{2} (x,t)}}{{\partial x^{3} }},$$
$$\begin{array}{*{20}c} {\frac{{\partial^{\alpha } \mu_{4} (x,t)}}{{\partial t^{\alpha } }}} & = & { - 7\frac{{\partial \mu_{3} (x,t)}}{\partial x}} & + & {6\frac{{\partial \mu_{3} (x,t)}}{{\partial x^{3} }},} \\ \vdots & {} & \vdots & {} & \vdots \\ \end{array}$$
$$\frac{{\partial^{\alpha } \mu_{n} (x,t)}}{{\partial t^{\alpha } }} = - 7\frac{{\partial \mu_{n - 1} (x,t)}}{\partial x} + 6\frac{{\partial \mu_{n - 1} (x,t)}}{{\partial x^{3} }}.$$

Evaluating Eq. (51) using \(\mu_{0} (x,t)\,\,\& \mu_{1} (x,t)\) and applying \(I^{\alpha }\) to both sides,

$$\frac{{\partial^{\alpha } \mu_{2} (x,t)}}{{\partial t^{\alpha } }} = - \frac{\cos x}{{\Gamma (\alpha + 1)}}t^{\alpha } ,$$


$$I^{\alpha } \left( {\frac{{\partial^{\alpha } \mu_{2} (x,t)}}{{\partial t^{\alpha } }}} \right) = I^{\alpha } \left( { - \frac{\cos x}{{\Gamma (\alpha + 1)}}t^{\alpha } } \right),$$

such that

$$\mu_{2} (x,t) = - \frac{\cos x}{{\Gamma (2\alpha + 1)}}t^{2\alpha } .$$

Evaluating Eq. (53) using \(\mu_{0} (x,t)\,\,,\mu_{1} (x,t)\,\& \mu_{2} (x,t)\) yields

$$\frac{{\partial^{\alpha } \mu_{3} (x,t)}}{{\partial t^{\alpha } }} = - \frac{\sin x\,}{{\Gamma (2\alpha + 1)}}t^{2\alpha };$$

applying operator \(I^{\alpha }\),

$$\mu_{3} (x,t) = - \frac{\sin x}{{\Gamma (3\alpha + 1)}}t^{3\alpha } .$$

Subsequently the proceeding iterations are:

$$\left. {\begin{array}{*{20}c} {\mu_{4} (x,t) = \frac{\cos x}{{\Gamma (4\alpha + 1)}}t^{4\alpha } ,} & {\mu_{5} (x,t) = \frac{\sin x}{{\Gamma (5\alpha + 1)}}t^{5\alpha } ,} & {\mu_{6} (x,t) = - \frac{\cos x}{{\Gamma (6\alpha + 1)}}t^{6\alpha } ,} \\ {\mu_{7} (x,t) = - \frac{\sin }{{\Gamma (7\alpha + 1)}}t^{7\alpha } ,} & {\mu_{8} (x,t) = \frac{\cos x}{{\Gamma (8\alpha + 1)}}t^{8\alpha } ,} & {\mu_{9} (x,t) = \frac{\sin x}{{\Gamma (9\alpha + 1)}}t^{9\alpha } .} \\ \end{array} \cdots } \right\}$$

And the approximate result is

$$\mu_{n} (x,t) = \left. \begin{gathered} \cos x + \frac{\sin x}{{\Gamma (\alpha + 1)}}t^{\alpha } - \frac{\cos x}{{\Gamma (2\alpha + 1)}}t^{2\alpha } - \frac{\sin x}{{\Gamma (3\alpha + 1)}}t^{3\alpha } + \frac{\cos x}{{\Gamma (4\alpha + 1)}}t^{4\alpha } \hfill \\ \quad + \frac{\sin x}{{\Gamma (5\alpha + 1)}}t^{5\alpha } - \frac{\cos x}{{\Gamma (6\alpha + 1)}}t^{6\alpha } + \frac{\cos x}{{\Gamma (8\alpha + 1)}}t^{8\alpha } + \frac{\sin x}{{\Gamma (7\alpha + 1)}}t^{7\alpha } - \frac{\sin x}{{\Gamma (9\alpha + 1)}}t^{9\alpha } + \cdots . \hfill \\ \end{gathered} \right\}$$

such that

$$\mu_{n} (x,t) = \left. {\begin{array}{*{20}c} {\cos x\left( {1 - \frac{{t^{2\alpha } }}{\Gamma (2\alpha + 1)} + \frac{{\,t^{4\alpha } }}{\Gamma (4\alpha + 1)} - \frac{{t^{6\alpha } }}{\Gamma (6\alpha + 1)} + \frac{{t^{8\alpha } }}{\Gamma (8\alpha + 1)} + \cdots } \right)} \\ {\quad + \sin x\left( {\frac{{t^{\alpha } }}{\Gamma (\alpha + 1)} - \frac{{t^{3\alpha } }}{\Gamma (3\alpha + 1)} + \frac{{t^{5\alpha } }}{\Gamma (5\alpha + 1)} - \frac{{\sin t^{7\alpha } }}{\Gamma (7\alpha + 1)} + \cdots } \right)} \\ \end{array} } \right\}$$

When \(\alpha = 1\),

$$\mu_{n} (x,t) = \cos x\left( {1 - \frac{{t^{2} }}{2} + \frac{{\,t^{4} }}{4!} - \frac{{t^{6} }}{6!} + \frac{{t^{8} }}{8!} + \cdots } \right) + \sin x\left( {t - \frac{{t^{3} }}{3!} + \frac{{t^{5} }}{5!} - \frac{{t^{7} }}{7!} + \cdots } \right)$$

The modified method agrees that

$$\mathop {\lim }\limits_{n \to \infty n} \mu (x,t) = \mu (x,t).$$

By convergence, the exact solution is

$$\mu (x,t) = \cos x\cos t + \sin x\sin t.$$

In closed form (Fig. 2, Table 2),

$$\mu (x,t) = \cos (x - t).$$
Fig. 2
figure 2

A traveling transverse wave which occurrence can be in the form of surface ripples on water. AH show the different types of disturbance caused by the wave as \(0 \le \alpha \le 1\). In E, it could be observed that proper crests are formed as \(\alpha \to 1\). This means that the frequency of the disturbance will peak at an integer order. Figure G shows the behavioral pattern of the wave amplitude at different levels of \(\alpha\). The amplitude is periodically accelerated as \(\alpha\) increases, and the highest amplitude is recorded as a unit for the wavelength considered. In H, the efficiency of the modified initial guess technique is proved as it produces an approximate result that converges to the exact solution

Table 2 Numerical results of problem two at an exact value \(\alpha = 1\)

3.4 Problem 3

Consider the following nonlinear homogenous KDV equation

$$\frac{{\partial^{\alpha } \mu (x,t)}}{{\partial t^{\alpha } }} + \xi u(x,t)\frac{\partial \mu (x,t)}{{\partial x}} + \frac{{\partial^{3} \mu (x,t)}}{{\partial x^{3} }} = 0,$$

subject to the initial condition

$$\mu (x,0) = x.$$

By modified initial guess homotopy perturbation method,

$$\mu (x,t) = \mu (x,0) + \lambda_{1} t^{\alpha } + \cdots ,$$
$$\frac{{\partial^{\alpha } \mu (x,t)}}{{\partial t^{\alpha } }} = \lambda_{1} \Gamma (\alpha + 1),\quad \frac{\partial \mu (x,t)}{{\partial x}} = 1,\quad \frac{{\partial^{3} \mu (x,t)}}{{\partial x^{3} }} = 0.$$

Evaluating Eq. (65) using Eq. (68),

$$\lambda_{1} \Gamma (\alpha + 1) + \xi \left( {x + \lambda t^{\alpha } } \right) = 0.$$
$${\text{At}}\;t = 0,\;\lambda_{1} = \frac{ - \xi x}{{\Gamma (\alpha + 1)}}.$$


$$\mu_{1} (x,t) = \frac{ - \xi x}{{\Gamma (\alpha + 1)}}t^{\alpha }$$

Constructing a homotopy for Eq. (65),

$$\left( {1 - p} \right)\frac{{\partial^{\alpha } \mu (x,t)}}{{\partial t^{\alpha } }} + p\left( {\frac{{\partial^{\alpha } \mu (x,t)}}{{\partial t^{\alpha } }} + \xi \mu (x,t)\frac{\partial \mu (x,t)}{{\partial x}} + \frac{{\partial^{3} \mu (x,t)}}{{\partial x^{3} }}} \right) = 0.$$

Simplifying Eq. (72),

$$\frac{{\partial^{\alpha } u(x,t)}}{{\partial t^{\alpha } }} + p\left( {\xi u(x,t)\frac{\partial u(x,t)}{{\partial x}} + \frac{{\partial^{3} u(x,t)}}{{\partial x^{3} }}} \right) = 0.$$

Substituting Eq. (50) into Eq. (73) and comparing coefficients of equal powers of \(p^{n} ,\,\,n \ge 2\).

$$p^{2} :\frac{{\partial^{\alpha } \mu_{2} (x,t)}}{{\partial t^{\alpha } }} + \xi \left( {\mu_{0} (x,t)\frac{{\partial \mu_{1} (x,t)}}{\partial x} + \mu_{1} (x,t)\frac{{\partial \mu_{0} (x,t)}}{\partial x}} \right) + \frac{{\partial^{3} \mu_{0} (x,t)}}{{\partial x^{3} }} = 0,$$
$$p^{3} :\frac{{\partial^{\alpha } \mu_{3} (x,t)}}{{\partial t^{\alpha } }} + \xi \left( {\mu_{0} (x,t)\frac{{\partial \mu_{2} (x,t)}}{\partial x} + \mu_{1} (x,t)\frac{{\partial \mu_{1} (x,t)}}{\partial x} + \mu_{2} (x,t)\frac{{\partial \mu_{0} (x,t)}}{\partial x}} \right) + \frac{{\partial^{3} \mu_{1} (x,t)}}{{\partial x^{3} }} = 0,$$

Evaluating Eq. (74) using \(\mu_{0} (x,t)\,\& \,\mu_{1} (x,t)\),

$$\frac{{\partial^{\alpha } \mu_{2} (x,t)}}{{\partial t^{\alpha } }} - \frac{{2\xi^{2} x}}{\Gamma (\alpha + 1)}t^{\alpha } = 0 \Rightarrow \frac{{\partial^{\alpha } \mu_{2} (x,t)}}{{\partial t^{\alpha } }} = \frac{{2\xi^{2} x}}{\Gamma (\alpha + 1)}t^{\alpha } .$$

Applying operator \(I^{\alpha }\) to Eq. (76),

$$\mu_{2} (x,t) = \frac{{2\xi^{2} x}}{\Gamma (\alpha + 2)}t^{\alpha + 1} .$$


$$\mu_{3} (x,t) = - \left( {\frac{{\xi^{3} x\Gamma (1 + 2\alpha )}}{{\left( {\Gamma (1 + \alpha )} \right)^{2} \Gamma (1 + 3\alpha )}}t^{3\alpha } + \frac{{4\xi^{3} x}}{\Gamma (2 + 2\alpha )}t^{1 + 2\alpha } } \right)$$

and so on. The approximate solution is:

$$\mu_{n} (x,t) = x - \frac{ - \xi x}{{\Gamma (\alpha + 1)}}t^{\alpha } + \frac{{2\xi^{2} x}}{\Gamma (\alpha + 2)}t^{\alpha + 1} - \left( {\frac{{\xi^{3} x\Gamma (1 + 2\alpha )}}{{\left( {\Gamma (1 + \alpha )} \right)^{2} \Gamma (1 + 3\alpha )}}t^{3\alpha } + \frac{{4\xi^{3} x}}{\Gamma (2 + 2\alpha )}t^{1 + 2\alpha } } \right) + \cdots$$

When \(\alpha = 1\), the integer solution is:

$$\mu_{n} (x,t) = x - tx\xi + t^{2} \xi^{2} x - t^{3} \xi^{3} x + \cdots .$$

The modified method agrees that

$$\mu (x,t) = \mathop {\lim }\limits_{n \to \infty } \mu_{n} (x,t);$$

therefore, the closed form of Eq. (64) is obtained as:

$$\mu (x,t) = \frac{x}{1 + \xi t},$$

which is the exact solution.

3.5 Application to oceanography

The mathematical model of shallow water waves in dimensional form described in [24] to clarify the disturbance caused by waves in the ocean bottom is:

$$\frac{{h^{2} }}{6}\partial R_{\theta }^{3} + \frac{3}{{2\sqrt {gh} }}R\partial R_{\theta } + \partial R_{\varphi } = 0.$$

They applied the transformation \(R(\theta ,\varphi ) = - \frac{{\sqrt {16g} h^{\frac{7}{6}} }}{{\sqrt[3]{6}}}\mu (x,t)\) to reduce Eq. (82) to canonical KDV equation presented as:

$$\frac{{\partial^{\alpha } \mu (x,t)}}{{\partial t^{\alpha } }} - 6\mu (x,t)\frac{\partial \mu (x,t)}{{\partial x}} + \frac{{\partial^{3} \mu (x,t)}}{{\partial x^{3} }} = 0.$$

Let the initial condition be:

$$\mu (x,0) = x.$$

Then, Eq. (83) becomes a particular case of Eq. (65) when \(\xi = - 6\),

such that

$$\mu_{n} (x,t) = x + 6tx + 36t^{2} x + 216t^{3} x + \cdots ,$$


$$\mu (x,t) = \frac{x}{1 - 6t}.$$

3.6 Numerical simulation

Here, we conduct a numerical simulation of the disturbance caused by water waves in the domain of shallow water described by \(R(x,t) = \left\{ {(x,t)\left| { - 0.05 \le x \le 0.05} \right.,\,\,\,0 < t < 0.42} \right\}\). Equation (86) is substituted into the transformation \(R(\theta ,\varphi ) = - \frac{{\sqrt {16g} h^{\frac{7}{6}} }}{{\sqrt[3]{6}}}\mu (x,t)\) to obtain the theoretical solution of Eq. (82).

$$R(\theta ,\varphi ) = - \frac{{\sqrt {16g} h^{\frac{7}{6}} }}{{\sqrt[3]{6}}}\left( {\frac{x}{1 - 6t}} \right)$$

Also, Eq. (85) is substituted into \(R(\theta ,\varphi )\) such that the following numerical solution is obtained (Fig. 3, Table 3)

$$- \frac{{\sqrt {16g} h^{\frac{7}{6}} }}{{\sqrt[3]{6}}}(x + 6tx + 36t^{2} x + 216t^{3} x + \cdots )$$
Fig. 3
figure 3

A comprehensive clarification of the interference caused by wave propagation in the given domain of shallow water with a depth of 7 m and a width of 0.1 m. BH depict the swirling direction of the wave as the degree of freedom increases. It was observed that the fluid tends to undergo less turbulence when hit by the wave at a lower level of \(\alpha\). G interprets the convergence of fractional order to integer order, and H is employed to show the accuracy of the method applied. To a great extent, it was observed that the approximate solution agrees with the exact solution

Table 3 Numerical results of problem three at an exact value \(\alpha = 1\)

3.7 Theoretical perspective

Physical problems are well modeled with the aid of the Caputo derivative concept. This study reveals that its differentials are powerful tools for modeling linear and nonlinear systems where the order affects the output of functional parameters they contain. The impact of wave interference on nature is determined by the amount of wave crest that forms, which is referred to as “Frequency.” The analysis conducted with the aid of the Caputo derivative employed in this research reveals that the crests formed by water waves are always maximum at an integer-order derivative. This integer order represents a situation in which a water wave is directly propagating in a region with no feasible obstructions. This direct propagation can result in ocean floor landslides and the redistribution of sand and sediment in coastal areas. This can potentially lead to environmental hazards such as flooding and erosion, and the end results are often the loss of life and damage to the properties of people living in coastal regions. To avoid wind-generated waves, direct propagation of winds into the water should be kept to a minimum, which can be accomplished by embracing environmental aiding techniques such as tree planting (which acts as a windbreaker). Other options for controlling water waves include the construction of groins along the shoreline, jetties along coastal lines, and breakwater barriers along the shoreline.

4 Discussion

Unlike previous numerical methods, which required several iterations and tedious computational work to achieve convergence, the proposed method is effective and faster and requires less computation time to obtain the approximate solitons of the fractional-order KDV equation. In a similar but different study presented in [14], the effectiveness of Caputo differentials was seen. It was applied as one of their operators to provide a computational approach for solving shallow water KDV equations. They achieved this by blending the Caputo derivative with a numerical technique that combines the q-homotopy analysis transform technique and the Laplace transform method, although the objectives of their research extend to hiring two other fractional derivatives named “Caputo–Fabrizio” and “Atangana–Baleanu” to show their impact in generalizing mathematical models associated with power law, non-locality, singularity, and non-singularity kernels. In this study, this same Caputo operator proved that it cannot be overridden when it comes to modeling non-localized phenomena. It shares an accurate insight into wave properties and behavior through numerical simulation. A major limitation of computing fractional-order derivatives is its restriction to a few symbolic software packages such as the Mathematica software package; hence, it is recommended that laptops with the minimum specifications: Disk Space: 19 GB; System Memory (RAM): 4 GB+, are applied to ensure high computation speed [10].

5 Conclusion

In this research, we proposed an analytical way of solving the fractional-order Korteweg–de Vries equation. The method was derived by coupling an initial guess technique with He’s homotopy perturbation method. The new method was applied to different KDV equations with Caputo fractional derivatives. The approximate solution obtained gives a series solution in fractional order, which accelerates rapidly to the exact solution at an integer order. A conceptual study of the fractional-order derivative in wave dispersion was carried out by simulating the approximate traveling wave solution and investigating the disturbance caused by waves in the shallow water domain using the MAPLE 18 software. The outcome, which was extensively discussed, reveals the significant impact of Caputo’s fractional-order derivative in wave dispersion and propagation, and it also gives insight on ways of controlling wave-associated hazards.

Availability of data and materials

Not applicable.



Korteweg–de Vries


Modified initial guess homotopy perturbation method


Laplace–Adomian decomposition


Homotopy perturbation method


Differential transform method


Fractional differential transform method


Modified differential transform method


  1. Aghili A (2017) Non-homogeneous KdV and coupled sub-ballistic fractional PDEs. New Trends Math Sci 5(3):107–117.

    Article  Google Scholar 

  2. Appadu AR, Kelil AS (2020) On semi-analytical solutions for linearized dispersive KdV equations. Mathematics 8:1769.

    Article  Google Scholar 

  3. Atangana A, Baleanu D (2016) New fractional derivatives with non-local and nonsingular kernel theory and application to heat transfer model. Therm Sci 20:763–769

    Article  Google Scholar 

  4. Baleanu D, Etemad S, Rezapour S (2020) A hybrid Caputo fractional modeling for thermostat with hybrid boundary value conditions. Bound Value Probl.

    Article  Google Scholar 

  5. Baleanu D, Mohammadi H, Rezapour S (2020) Analysis of the model of HIV-1 infection of CD4+ T-cell with a new approach of fractional derivative. Adv Differ Equ.

    Article  PubMed  PubMed Central  Google Scholar 

  6. Baleanu D, Mohammadi H, Rezapour S (2020) (2020) A mathematical theoretical study of a particular system of Caputo-Fabrizio fractional differential equations for the Rubella disease model. Adv Differ Equ.

    Article  PubMed  PubMed Central  Google Scholar 

  7. Biazar J, Ghazvini H (2009) Convergence of the homotopy perturbation method for partial differential equations. Nonlinear Anal Real World Appl 10:2633–2640

    Article  Google Scholar 

  8. Bird EC (1996) Coastal erosion and rising sea-level. Springer, Dordrecht, pp 87–103

    Book  Google Scholar 

  9. Biswas A, Konar S, Zerrad E (2007). Soliton perturbation theory for the splitted regularized long wave equation. Adv Stud Theor Phys 1

  10. Bonyah E, Yavuz M, Baleanu D, Kumar S (2022) A robust study on the listeriosis disease by adopting fractal-fractional operators. Alex Eng J 61(3):2016–2028.

    Article  Google Scholar 

  11. Boussinesq J (1872) Théorie des ondes et des remous qui se propagent le long d'un canal rectangulaire horizontal en communiquant au liquide contenu dans ce canal des vitesses sensiblement pareilles de la surface au fond. J Math Pures Appl 55–108.

  12. Brent JL, Onder EN, Prudil AA (2022) Chapter 12: Nonlinear differential equations. In: Advanced mathematics for engineering students. Butterworth-Heinemann, Oxford, pp 329–347.

  13. Caputo M (1969) Elasticita e Dissipazione. Zanichelli, Bologna

    Google Scholar 

  14. Caputo M, Fabrizio M (2016) A new definition of fractional derivative without singular kernel. Prog Fract Differ Appl 1(2):73–85

    Google Scholar 

  15. Craik ADD (2004) The origin of water waves theory. Ann Rev Fluid Mech 36:1–28

    Article  Google Scholar 

  16. Debnath L (1997) Nonlinear partial differential equations for scientists and engineers. Birkhäuser, Boston.

    Book  Google Scholar 

  17. Drazin PG, Johnson RS (1989) Solitons: an introduction. Cambridge University Press, Cambridge.

    Book  Google Scholar 

  18. Emile F, Goufo D (2021) On the fractal dynamics for higher order traveling waves. Chaos Solitons Fractals.

    Article  Google Scholar 

  19. Hammouch Z, Yavuz M, Özdemir N (2021) Numerical solutions and synchronization of a variable-order fractional chaotic system. Math Model Numer Simul Appl 1:11–23.

    Article  Google Scholar 

  20. Haq F, Shah K, Rahman G, Shahzad M (2017) Numerical solution of fractional order smoking model via Laplace adomian decomposition method. Alex Eng J.

    Article  Google Scholar 

  21. He JH (1999) Variational iteration method—a kind of non-linear analytical technique: some examples. Int J Non-Linear Mech 34(4):699–708.

    Article  Google Scholar 

  22. He JH (1999) Homotopy perturbation technique. Comput Methods Appl Mech Eng 178:257–262

    Article  Google Scholar 

  23. He JH (2005) Homotopy perturbation method for bifurcation of nonlinear problems. Int J Nonlinear Sci Numer Simul 6(2):207–208.

    Article  Google Scholar 

  24. He JH (2006) Some asymptotic methods for strongly nonlinear equations. Int J Mod Phys B 20:1141–1199

    Article  Google Scholar 

  25. He JH, El-dib Y, Mady AA (2021) Homotopy perturbation method for the fractal toda oscillator. Fractal Fract 5:93.

    Article  Google Scholar 

  26. Helal MA, El-Eissa HN (1996) Shallow water waves and Korteweg de Vries equation (oceanographical application). Pure Math Appl 7(3):263–282

    Google Scholar 

  27. Jhangeer A, Faridi WA, Asjad MI, Inc M (2022) A comparative study about the propagation of water waves with fractional operators. J Ocean Eng Sci.

    Article  Google Scholar 

  28. Konno K, Ichikawa HY (1974) A modified Korteweg de Vries equation for ion acoustic waves. J Phys Soc Jpn 37(6):1631–1636

    Article  Google Scholar 

  29. Korteweg DJ, de Vries G (1895) On the change of form of long waves advancing in a rectangular canal, and on a new type of long stationary waves. Philos Mag 5(39):422–443

    Article  Google Scholar 

  30. Miles J (1981) The Korteweg-de Vries equation: a historical essay. J Fluid Mech 106:131–147.

    Article  Google Scholar 

  31. Muhammad F, Saleem MU, Ahmad A, Ahmad MO (2018) Analysis and numerical solution of SEIR epidemic model of measles with non-integer time fractional derivatives by using Laplace adomian decomposition method. Ain Shams Eng J.

    Article  Google Scholar 

  32. Olayiwola MO (2013) On a modified variational iteration method for the analytical solution of Korteweg-de-Vries equation 25:467–470

  33. Olayiwola MO, Gbolagade AW, Adesanya AO (2010) Solving variable coefficient fourth-order parabolic equation by modified initial guess variational iteration method. J Niger Assoc Math Phys 16:205–210

    Google Scholar 

  34. Olayiwola MO, Gbolagade AW, Adesanya AO (2010) An efficient algorithm for solving the telegraph equation. J Niger Assoc Math Phys 16:199–204

    Google Scholar 

  35. Olayiwola MO, Gbolagade AW, Akinpelu FO (2011) An efficient algorithm for solving the nonlinear PDE. Int J Sci Eng Res 2:1–10

    Google Scholar 

  36. Ravi Kant ASV, Aruna K (2015) Solution of fractional third-order dispersive partial differential equations. Egypt J Basic Appl Sci 2(3):190–199.

    Article  Google Scholar 

  37. Seadawy AR (2011) New exact solutions for the KdV equation with higher order nonlinearity by using the variational method. Comput Math Appl 62(10):3741–3755.

    Article  Google Scholar 

  38. Shah R, Khan H, Arif M, Kumam P (2019) Application of Laplace-adomian decomposition method for the analytical solution of third-order dispersive fractional partial differential equations. Entropy 21(4):335.

    Article  PubMed  PubMed Central  Google Scholar 

  39. Shanmugam G (2006) The Tsunamite problem. J Sediment Res 76:718–730.

    Article  Google Scholar 

  40. System requirement for mathematical software (2022).

  41. Veeresha P, Yavuz M, Baishya C (2021) A computational approach for shallow water forced Korteweg–De Vries equation on critical flow over a hole with three fractional operators. Int J Optim Control Theor Appl (IJOCTA) 11:52–67

    Article  Google Scholar 

  42. Vreugdenhil CB (1994) Three-dimensional shallow-water flow In: Numerical methods for shallow-water flow. Water Science and Technology Library. Springer, Dordrecht, p 13.

  43. Wazwaz AM (2003) An analytic study on the third-order dispersive partial differential equations. Appl Math Comput 142:511–520.

    Article  Google Scholar 

  44. Yokuş A (2021) Construction of different types of traveling wave solutions of the relativistic wave equation associated with the Schrödinger equation. Math Model Numer Simul Appl 1(1):24–31.

    Article  Google Scholar 

  45. Yong Y, Li Y, Jin Y, Shen H (2015) Simulation of shallow-water waves in coastal region for marine simulator

Download references


The efforts of all academic colleagues in the department of Mathematical sciences of Osun State university, Osogbo, are acknowledged.


No funding has been received.

Author information

Authors and Affiliations



AII contributed to method development; MOO was involved in problems formulation; KAA contributed to computation; JAA was involved in results simulation; and AOO contributed to typesetting and proof reading. All authors read have read and approved the manuscript.

Corresponding author

Correspondence to Adedapo Ismaila Alaje.

Ethics declarations

Ethics approval and consent to participate

Not applicable.

Consent for publication

Not applicable.

Competing interests

The authors declare that there are no competing interests.

Additional information

Publisher's Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Rights and permissions

Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Alaje, A.I., Olayiwola, M.O., Adedokun, K.A. et al. Modified homotopy perturbation method and its application to analytical solitons of fractional-order Korteweg–de Vries equation. Beni-Suef Univ J Basic Appl Sci 11, 139 (2022).

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: