Application of Adomian decomposition method to nonlinear systems

Abstract

In this paper, we study the Adomian decomposition method (ADM for short) including its iterative scheme and convergence analysis, which is a simple and effective technique in dealing with some nonlinear problems. We take algebraic equations and fractional differential equations as applications to illustrate ADM’s efficiency.

1 Introduction

As Alan Turing said: “Science is a differential equation”; many real-world physical phenomena are described by differential equations including linear differential equations and nonlinear differential equations. In order to see the nature of the background of these phenomena, we have to solve differential equations. Generally speaking, we are good at dealing with linear problems rather than nonlinear problems. However, in practical applications, we are faced with more and more nonlinear problems. Hence we want to approximate the exact solutions to nonlinear equations by all kinds of techniques, such as linearization method, decomposition method, homotopy method, perturbation method.

With the development of science and technique, more and more phenomena cannot be well described by the classical differential equations. For example, various physical process have memory and hereditary properties and cannot be well depicted by the classical local differential operators. We have to face these new problems and obtain a new excellent tool (fractional differential equations, described by nonlocal operators) to describe these nonlocal process. Similarly, we are faced with solving fractional differential equations as well, and many methods have been proposed to tackle these problems: the residual power series method [1–13], the homotopy perturbation method [14–16], the homotopy analysis method [17–19], the tanh method [20], the extended tanh-function method [21, 22], the sine–cosine method [22, 23], the exp-function method [22, 24, 25], implicit hybrid methods [26], trigonometric basic functions [27], the polynomial least square method [28], the reproducing kernel algorithm [29], and so on [30, 31].

In this paper, we are concerned with the Adomian decomposition method (ADM for short). ADM is a kind of algorithm, based on a technique of decomposition, to construct the approximate solutions and even exact solutions with suitable initial data for nonlinear systems. This method has many advantages, such as

• It is very easy to apply and can solve wide classes of nonlinear systems including algebraic equation, ordinary differential equations, partial differential equations, integral equations, integro-differential equations, and so on and so forth [32].

• It avoids the cumbersome integrations of the Picard method.

• It can solve some nonlinear problems which cannot be solved by other numerical methods (iterative, etc.).

• The solutions series do not depend explicitly on this number, hence the number of variables is not an inconvenience in applications.

In recent years, more and more researchers have applied this method to solving nonlinear systems [33–35]. We firstly study the algorithm and convergence analysis of ADM, and then apply ADM to constructing approximate solutions for nonlinear equations with initial data, including algebraic equations, fractional ordinary differential equations and fractional partial differential equations.

This paper is organized as follows: In Sect. 2, we introduce the iterative scheme and convergence analysis of ADM. In Sect. 3, we apply ADM to construct approximate solutions for algebraic equations, time-fractional Riccati equations, time-fractional Kawahara equations and modified time-fractional Kawahara equations. In Sect. 4, we make a concluding remark about this paper.

2 Model: $u-Nu=f$

In this section, we introduce the ADM for the following functional equations:

$$\begin{aligned} u-Nu=f, \end{aligned}$$

(2.1)

where N is a nonlinear operator from a Hilbert space H into H, f is a given function (system input) in H, and u is an unknown function (system output) in H [36], such a system is called a nonlinear system if it contains the nonlinear term $N(u)$. We are interested in finding the exact solutions or approximate solutions to (2.1).

We will introduce the iterative scheme of ADM, and its convergence analysis obtained by Cherruault [36], and then apply the ADM to obtain the approximate solutions to (2.1).

2.1 Adomian decomposition method

We are interested in constructing approximate solutions for (2.1). Assume that the solution to (2.1) is unique with the form

$$\begin{aligned} u=\sum_{n=0}^{\infty}u_{n}. \end{aligned}$$

(2.2)

Hence the following problem is to determine every term $u_{n}$. However, notice that there is a nonlinear term N in this equation, which brings about a great difficulty to complete our goal. In the present paper, we introduce the ADM [36] to overcome this difficulty. The key step is to decompose the nonlinear term N as

$$\begin{aligned} Nu=\sum_{n=0}^{\infty}A_{n}, \end{aligned}$$

(2.3)

where $A_{n}$ are Adomian polynomials of $u_{0},u_{1},\ldots,u_{n}$, that is,

$$\begin{aligned} A_{n}=A_{n}(u_{0},u_{1}, \ldots,u_{n}). \end{aligned}$$

(2.4)

Unluckily, we do not know the specific form of $A_{n}$. We shall complete this task by introducing an external parameter. For the sake of simplicity, set

$$\begin{aligned} v=\sum_{n=0}^{\infty}\lambda^{n}u_{n} \quad\text{and}\quad Nv=\sum_{n=0}^{\infty} \lambda^{n}A_{n}, \end{aligned}$$

(2.5)

where λ is a parameter. It should be emphasized that if $\lambda =1$, then $v=u$ and $Nv=Nu$; if $\lambda\neq1$, the desired $A_{n}$ is the same as the case of $\lambda=1$. Hence it is easy to see that

$$\begin{aligned} A_{n}=\frac{1}{n!}\frac{\mathrm{d}^{n}}{\mathrm{d}\lambda^{n}}N \Biggl(\sum _{n=0}^{\infty}\lambda^{n}u_{n} \Biggr)\Bigg|_{\lambda=0}. \end{aligned}$$

(2.6)

Once $A_{n}$ are obtained by (2.6), plugging (2.2) and (2.3) into (2.1), then one can see that

$$\begin{aligned} \sum_{n=0}^{\infty}u_{n}=\sum _{n=0}^{\infty}A_{n}+f. \end{aligned}$$

(2.7)

In order to obtain $u_{n}$, define the following recurrent equations (we call these recurrent equations by Adomian relation):

$$\begin{aligned} u_{0}&=f,\qquad u_{n+1}=A_{n}(u_{0},u_{1}, \ldots,u_{n})\quad (n\in\mathbb {N}), \end{aligned}$$

(2.8)

from which $u_{n}$ are solvable formally. If we can solve $u_{n}$ up to $n\leq N$, then $u=\sum_{n\leq N}u_{n}$ is called the Nth approximate solution to (2.1).

Remark 2.1

If the nonlinearity has the form $Nu=g(u)$, where g is a smooth function of u, then one can obtain the first several Adomian polynomials as [32]:

$$\begin{aligned}& A_{0}=g{'}(u_{0}); \end{aligned}$$

(2.9)

$$\begin{aligned}& A_{1}=g{'}(u_{0})u_{1}; \end{aligned}$$

(2.10)

$$\begin{aligned}& A_{2}=g{'}(u_{0})u_{2}+g{''}(u_{0}) \frac{u_{1}^{2}}{2!}; \end{aligned}$$

(2.11)

$$\begin{aligned}& A_{3}=g{'}(u_{0})u_{3}+g{''}(u_{0})u_{1}u_{2}+g^{(3)}(u_{0}) \frac{u_{1}^{3}}{3!}; \end{aligned}$$

(2.12)

$$\begin{aligned}& A_{4}=g{'}(u_{0})u_{4}+g{''}(u_{0}) \biggl(\frac{u_{2}^{2}}{2!}+u_{1}u_{3} \biggr)+g^{(3)}(u_{0}) \frac{u_{1}^{2}u_{2}}{2!}+g^{(4)}(u_{0})\frac{u_{1}^{4}}{4!}. \end{aligned}$$

(2.13)

2.2 Convergence analysis of ADM

In the above discussions, we obtain the approximate solutions to (2.1), but we do not know whether the following two basic but essential questions:

• Is $\sum u_{n}$ convergent?

• Is $\sum u_{n}$ a solution to (2.1)?

are answered ‘yes’ or ‘no’. In [36], Cherruault answered the above two questions. He proved that if N is contractive, then $\sum u_{n}$ is convergent to the solution of (2.1). This result is stated as the following theorem.

Theorem 2.2

([36, Theorem 3.1])

Set

$$\begin{aligned} S_{0}=0; \qquad S_{n}=u_{1}+u_{2}+ \cdots+u_{n},\quad n=1,2,\ldots. \end{aligned}$$

(2.14)

For every sequence$y_{0}+S_{n}$, approximating$N(y_{0}+S_{n})$by

$$\begin{aligned} N_{n}(u_{0}+S_{n})=A_{0}+A_{1}+ \cdots+A_{n}. \end{aligned}$$

(2.15)

Then

• (1) the Adomian relation (2.8) is equivalent the following recurrent equations:

  $$\begin{aligned} S_{0}=0; \qquad S_{n+1}=N_{n}(u_{0}+S_{n}),\quad n=1,2,\ldots. \end{aligned}$$

  (2.16)

• (2) IfNis a contraction (i.e., $\|N\|=\delta<1$), and$\|N_{n}-N\| =\epsilon_{n}\rightarrow0$ ($n\rightarrow\infty$) (satisfied in our case), then the sequence$S_{n}$given by (2.16) converges towards the solutionSof$S=N(u_{0}+S)$.

Remark 2.3

We modify the original proof given by Cherruault [36] to obtain the above iterative inequality, based on which we know that $S_{n}$ converges to the solution S of $S=N(y_{0}+S)$.

Remark 2.4

The recurrent relation (2.16) may be associated with the functional equation

$$\begin{aligned} N(y_{0}+S)=S. \end{aligned}$$

(2.17)

For Eq. (2.17), if N is contractive, then the sequence $S_{n}$ defined by (2.16) converges to the only solution of (2.16). Also, for Eq. (2.1), if $S^{\ast}$ is a solution to (2.17), then $u^{\ast}\triangleq f+S^{\ast}$ is a solution to (2.1).

Remark 2.5

In [36], Cherruault discussed the convergence of ADM in more general situations and obtained the following important theorem.

Theorem 2.6

([36, Theorem 4.1])

Set$R=N-I$, whereIdenotes the identity element. AssumeRsatisfies the following hypotheses:

• (1) Ris hemicontinuous.

• (2) For any$u,v\in H$, there exists a constant$k>0$such that

  $$\begin{aligned} \langle Ru-Rv,u-v\rangle\geq k \Vert u-v \Vert . \end{aligned}$$

  (2.18)

• (3) For any$N>0$, there exists a constant$C(N)>0$, such that, for any$u,v\in H$with$\|u\|\leq N$, $\|v\|\leq N$, we have

  $$\begin{aligned} \langle Ru-Rv,w\rangle\leq C(N) \Vert u-v \Vert \Vert w \Vert , \quad \forall w\in H. \end{aligned}$$

  (2.19)

Then we have the following results:

• (i) For every$f\in H{'}$ (dual of Hilbert spaceH), (2.1) is solvable inH.

• (ii) The sequence$S_{n}$defined by

  $$\begin{aligned} S_{n+1}=S_{n}-\rho N(u_{0}+S_{n}), \quad \rho>0 \end{aligned}$$

  (2.20)

  is strongly convergent inHand its limitSthe solution of

  $$\begin{aligned} S=N(u_{0}+S). \end{aligned}$$

  (2.21)

Corollary 2.7

$S+u_{0}$with$u_{0}=f$is a solution to (2.1).

Remark 2.8

In [35], Turkyilmazoglu speeded up the convergence of ADM, that is to say, the convergence region of the series approximation is found to be enlarged to a bigger physical domain.

3 Applications

3.1 Algebraic equations

In this subsection, we consider the approximate solution to algebraic equation with the following general form:

$$\begin{aligned} a_{n}x^{n}+a_{n-1}x^{n-1}+ \cdots+a_{2}x^{2}+a_{1}x+a_{0}=0, \end{aligned}$$

(3.1)

where the degree $\mathbb {N}\ni n\geq2$ and the leading coefficient $a_{n}\neq0$. For the algebraic equation (3.1), mathematicians have obtained the following celebrated theorem.

Theorem 3.1

([37, Fundamental theorem of algebra])

Every polynomial with real or complex coefficients has at least one complex root.

From the fundamental theorem of algebra 3.1, the algebraic equation (3.1) is solvable in the complex field. However, it does not tell us the specific form, or “distribution” of these roots, which is also important in practical applications. As a result on the specific form of solutions to (3.1), Abel proved the following celebrated theorem.

Theorem 3.2

([38, Abel–Ruffini theorem or Abel’s impossibility theorem])

A general algebraic equation of degree$\mathbb {N}\ni n\geq5$cannot be solved in radicals. This means that there does not exist any formula which would express the roots of such equation as functions of the coefficients by means of the algebraic operations$(+,-,\times,\div)$and roots of natural degrees.

From the Abel–Ruffini theorem, Theorem 3.2, it is impossible to obtain a specific formula for algebraic equation (3.1) as $n\geq 5$. However, it is important to have some information about (3.1). Hence, algebraic equation (3.1) is hoped to be solved approximately.

Next, we shall apply the ADM to solve algebraic equation (3.1) approximately, and take the quadratic equation

$$\begin{aligned} au^{2}+bu+c=0, \end{aligned}$$

(3.2)

where a, b, c are constants and $a\neq0$, as an example to illustrate the validity of ADM.

In [39], Adomian and Rach applied the ADM to obtain an approximate solution of (3.2). Here we will introduce the specific process of the ADM to solve (3.2).

In order to apply the ADM, rewrite (3.2) as

$$\begin{aligned} u=f+Nu, \end{aligned}$$

(3.3)

where

$$\begin{aligned} f=-\frac{c}{a} \quad\text{and}\quad Nu=g(u)=-\frac{a}{b}u^{2}. \end{aligned}$$

(3.4)

By the ADM, we assume that Eq. (3.3) has a series solution

$$\begin{aligned} u_{\ast}=u_{0}+u_{1}+u_{2}+ \cdots+u_{n}+\cdots \end{aligned}$$

(3.5)

and the nonlinear term can be decomposed as

$$\begin{aligned} g(u)=\sum_{n=0}^{\infty}A_{n}, \end{aligned}$$

(3.6)

where

$$\begin{aligned} A_{n}&=\frac{1}{n!}\frac{\mathrm{d}^{n}}{\mathrm{d}\lambda^{n}}g \Biggl(\sum _{i=0}^{\infty}\lambda^{i}u_{i} \Biggr)\Bigg|_{\lambda=0} \end{aligned}$$

(3.7)

$$\begin{aligned} &=-\frac{a}{b}\frac{1}{n!}\frac{\mathrm{d}^{n}}{\mathrm{d}\lambda^{n}} \Biggl(\sum _{i=0}^{\infty}\lambda^{i}u_{i} \Biggr)^{2}\Bigg|_{\lambda=0} \end{aligned}$$

(3.8)

$$\begin{aligned} &=-\frac{a}{b}\frac{1}{n!}\frac{\mathrm{d}^{n}}{\mathrm{d}\lambda^{n}} \Biggl(\sum _{i=0}^{\infty}\lambda^{2i}u_{i}^{2}+2 \sum_{\ell=0}^{\infty}\sum _{0\leq j< k\leq\ell}\lambda^{j+k}u_{j}u_{k} \Biggr)\Bigg|_{\lambda=0}. \end{aligned}$$

(3.9)

Explicitly

$$\begin{aligned}& A_{0}=-\frac{a}{b}u_{0}^{2}, \end{aligned}$$

(3.10)

$$\begin{aligned}& A_{1}=-\frac{a}{b}\cdot2u_{0}u_{1}, \end{aligned}$$

(3.11)

$$\begin{aligned}& A_{2}=-\frac{a}{b}\cdot \bigl(2u_{0}u_{2}+u_{1}^{2} \bigr), \end{aligned}$$

(3.12)

$$\begin{aligned}& A_{3}=-\frac{b}{2}\cdot(2u_{0}u_{3}+2u_{1}u_{2}), \end{aligned}$$

(3.13)

$$\begin{aligned}& \vdots \end{aligned}$$

(3.14)

$$\begin{aligned}& A_{2m-1}=-\frac{a}{b}\cdot(2u_{0}u_{2m-1}+2u_{1}u_{2m-2}+ \cdots+2u_{i}u_{2m-1-i}+2u_{m-1}u_{m}) \end{aligned}$$

(3.15)

$$\begin{aligned}& \phantom{A_{2m-1}}=-\frac{a}{b}\cdot \Biggl(2\sum_{i=0}^{2m-1}u_{i}u_{2m-1-i} \Biggr), \end{aligned}$$

(3.16)

$$\begin{aligned}& A_{2m}=-\frac{a}{b}\cdot \bigl(2u_{0}u_{2m}+2u_{1}u_{2m-1}+ \cdots+2u_{i}u_{2m-i}+2u_{m-1}u_{m+1}+u_{m}^{2} \bigr) \end{aligned}$$

(3.17)

$$\begin{aligned}& \phantom{A_{2m}}=-\frac{a}{b}\cdot \Biggl(2\sum_{i=0}^{2m}u_{i}u_{2m-i}+u_{m}^{2} \Biggr). \end{aligned}$$

(3.18)

Hence

$$\begin{aligned}& u_{0}=-\frac{a}{b}\cdot\frac{bc}{a^{2}}, \end{aligned}$$

(3.19)

$$\begin{aligned}& u_{1}=-\frac{a}{b}u_{0}^{2}, \end{aligned}$$

(3.20)

$$\begin{aligned}& u_{2}=-\frac{a}{b}\cdot2u_{0}u_{1}, \end{aligned}$$

(3.21)

$$\begin{aligned}& u_{3}=-\frac{a}{b}\cdot \bigl(2u_{0}u_{2}+u_{1}^{2} \bigr), \end{aligned}$$

(3.22)

$$\begin{aligned}& u_{4}=-\frac{a}{b}\cdot(2u_{0}u_{3}+2u_{1}u_{2}), \end{aligned}$$

(3.23)

$$\begin{aligned}& \vdots \end{aligned}$$

(3.24)

$$\begin{aligned}& u_{2m-2}=-\frac{a}{b}\cdot(2u_{0}u_{2m-1}+2u_{1}u_{2m-2}+ \cdots+2u_{i}u_{2m-1-i}+2u_{m-1}u_{m}) \end{aligned}$$

(3.25)

$$\begin{aligned}& \phantom{u_{2m-2}}=-\frac{a}{b}\cdot \Biggl(2\sum_{i=0}^{2m-1}u_{i}u_{2m-1-i} \Biggr), \end{aligned}$$

(3.26)

$$\begin{aligned}& u_{2m-1}=-\frac{a}{b}\cdot \bigl(2u_{0}u_{2m}+2u_{1}u_{2m-1}+ \cdots+2u_{i}u_{2m-i}+2u_{m-1}u_{m+1}+u_{m}^{2} \bigr) \end{aligned}$$

(3.27)

$$\begin{aligned}& \phantom{u_{2m-1}}=-\frac{a}{b}\cdot \Biggl(2\sum_{i=0}^{2m}u_{i}u_{2m-i}+u_{m}^{2} \Biggr). \end{aligned}$$

(3.28)

We claim that

$$\begin{aligned} u_{\ast}=\sum_{n=0}^{\infty}u_{n} \end{aligned}$$

(3.29)

is a solution to (3.2). For the sake of convenience, permutating the coefficients of $u_{n}$ ($n=1,2,\ldots$) as $(-\frac{b}{a} )$ times every element of the following table:

$$\begin{array}{cccccc}{u}_0{u}_0& u_0{u}_1& u_0{u}_2& u_0{u}_3& u_0{u}_4& \cdots \\ u_1{u}_0& u_1{u}_1& u_1{u}_2& u_1{u}_3& \cdots & \cdots \\ u_2{u}_0& u_2{u}_1& u_2{u}_2& \cdots & \cdots & \cdots \\ u_3{u}_0& u_3{u}_1& \cdots & \cdots & \cdots & \cdots \\ u_4{u}_0& \cdots & \cdots & \cdots & \cdots & \cdots \\ ⋮& ⋮& ⋮& ⋮& ⋮& ⋮\end{array}$$

(3.30)

and one can see that

$$\begin{aligned} u_{\ast}&=u_{0}+u_{1}+u_{2}+ \cdots+u_{n}+\cdots \end{aligned}$$

(3.31)

$$\begin{aligned} &=-\frac{c}{a}-\frac{a}{b} \bigl(u_{0}^{2}+2u_{0}u_{1}+2u_{0}u_{2}+u_{1}^{2}+ \cdots \bigr) \end{aligned}$$

(3.32)

$$\begin{aligned} &=-\frac{c}{a}-\frac{a}{b}\cdot u_{\ast}^{2} \quad \bigl(u_{\ast}^{2} \text{ can be computed by the table above}\bigr). \end{aligned}$$

(3.33)

Hence u satisfies

$$\begin{aligned} au_{\ast}^{2}+bu_{\ast}+c=0, \end{aligned}$$

(3.34)

and this indicates that $u_{\ast}$ is a solution to (3.2).

3.2 Fractional differential equations

In this subsection, we will apply the ADM to constructing approximate solutions to the Cauchy problems of fractional differential equations, including fractional ordinary differential equations and fractional partial differential equations.

At first, we introduce the definitions of fractional derivative and fractional integral, together with some basic formulas, which will be used frequently in the specific examples.

3.2.1 Fractional calculus

The concept of fractional calculus could be traced back to 1695 [40, 41]. With the development of operator theory, fractional derivative has taken a huge leap, and there are many kinds of fractional derivative, such as the Caputo derivative, the Riemann–Liouville integral. Unluckily, there is not an uniform definition for a fractional derivative and fractional integral, which is an open problem. It should be emphasized that fractional calculus is not only a simple generalization of the classical calculus, but also it is an excellent instrument for the description of memory and hereditary properties of various physical process [42, 43], because it is defined by an integral with a singular integral kernel.

Next we introduce some definitions and lemmas of fractional calculus used frequently below.

Definition 3.3

([44, Gamma Fuction])

The Gamma function is defined by

$$\begin{aligned} \varGamma(x):= \int_{0}^{\infty}t^{x-1}e^{-t}\,dt,\quad \operatorname{Re}(x)>0. \end{aligned}$$

(3.35)

Remark 3.4

For the Gamma function, we have the following important and useful properties:

• $\varGamma(1)=1$ (this is simply the Euler integral).

• $\varGamma(1/2)=\sqrt{\pi}$ (replace t by $\tau^{2}$, and then apply multiple integral to calculate it).

• (Iterative formula) For any x such that $\operatorname{Re}(x)>0$, $\varGamma (x+1)=x\varGamma(x)$. Especially, for any $n\in\mathbb {N}$, $\varGamma (n+1)=n\varGamma(n)=\cdots=n$!, from which it can be seen that the Gamma function is a generalization of factorial operation (using integral by parts with the “LIATE rule”).

Some more details of the Gamma function could found in the book [45] by Artin.

Definition 3.5

([46, Mittag-Leffler function])

The Mittag-Leffler function is defined by

$$\begin{aligned} E_{\alpha}(x):=\sum_{k=0}^{\infty} \frac{x^{k}}{\varGamma(\alpha k+1)},\quad\operatorname{Re}(\alpha)>0. \end{aligned}$$

(3.36)

Definition 3.6

([44, Riemann–Liouville integral])

The (left sided) Riemann–Liouville fractional integral of order β ($\beta>0$) of a function $u(x,t)\in C_{p}$ ($p\geq-1$) is denoted by $\mathrm{I}^{\beta}u(x,t)$ (with respect to t) and defined as

$$\begin{aligned} \mathrm{I}^{\beta}u(x,t):=\frac{1}{\varGamma(\beta)} \int_{0}^{t}(t-\tau)^{\beta-1}u(x,\tau)\, \mathrm{d}\tau. \end{aligned}$$

(3.37)

Definition 3.7

([44, Caputo derivative])

The (left sided) Caputo fractional derivative of order β ($\beta >0$) of a function $u(x,t)\in C_{l}^{m}$ is denoted by $\mathrm{D}^{\beta}u(x,t)$ (with respect to t) and defined as

$$\begin{aligned} \mathrm{D}^{\beta}u(x,t):= \textstyle\begin{cases} \partial_{t}^{m}u(x,t),&\beta=m\in\mathbb {N}^{\ast},\\ \mathrm{I}^{m-\beta}\partial_{t}^{m}u(x,t),&m-1< \beta< m. \end{cases}\displaystyle \end{aligned}$$

(3.38)

Lemma 3.8

([44, Integral formula])

For any$m-1<\beta\leq m\in\mathbb {N}^{\ast}$,

$$\begin{aligned} \mathrm{I}^{\beta}\mathrm{D}^{\beta}u(x,t)=u(x,t)- \sum_{k=0}^{m-1}\partial^{k}u(x,0) \frac{t^{k}}{k!}. \end{aligned}$$

(3.39)

Lemma 3.9

([44, polynomial])

For anyβ, γ,

$$\begin{aligned} \mathrm{I}^{\beta}t^{\gamma}=\frac{\varGamma(\gamma +1)}{\varGamma(\beta+\gamma+1)}t^{\beta+\gamma}. \end{aligned}$$

(3.40)

3.2.2 Time-fractional Riccati equations

In this subsection, we take the following fractional Riccati equation:

$$\begin{aligned} \mathrm{D}^{\alpha}u=u^{2}+t \end{aligned}$$

(3.41)

as an example to illustrate the ADM, where $\mathrm{D}^{\alpha}$ is the fractional derivative in the sense of Caputo and $0<\alpha<1$ is a fraction. For the study of the fractional Riccati equation, Syam et al. [26] modified the implicit hybrid method to solve the Cauchy problem of the fractional Riccati equation in the sense of a conformable fractional derivative . In [27], Agheli proposed a new method based on trigonometric basic functions to obtain an approximate solution to a time-fractional Riccati equation. In [28], Bota and Caruntu applied the polynomial least square method to construct the analytical approximate solutions for quadratic Riccati differential equations. In addition, there are also many other methods to study time-fractional Riccati equations. In this paper, we shall apply the ADM to construct approximate solutions to time-fractional Riccati equations in the Caputo sense.

Clearly, by (3.39), one can see that the solution to (3.41) is equivalent to the following integral equation:

$$\begin{aligned} u(t)=u_{0}+\mathrm{I}^{\alpha}u^{2}+ \mathrm{I}^{\alpha}t. \end{aligned}$$

(3.42)

Furthermore, it follows (3.40) that

$$\begin{aligned} u(t)=u_{0}+\frac{1}{\varGamma(\alpha+2)}t^{1+\alpha}+ \mathrm{I}^{\alpha}u^{2}. \end{aligned}$$

(3.43)

Let

$$\begin{aligned} f\triangleq u_{0}+\frac{1}{\varGamma(\alpha+2)}t^{1+\alpha}, \qquad Nu \triangleq\mathrm{I}^{\alpha}u^{2}. \end{aligned}$$

(3.44)

Then (3.43) has the following simple form:

$$\begin{aligned} u=f+Nu. \end{aligned}$$

(3.45)

By the idea of ADM, suppose (3.45) has a solution of the form

$$\begin{aligned} u_{\ast}=\sum_{n=0}^{\infty}u_{n} \end{aligned}$$

(3.46)

and the nonlinear term can be decomposed as

$$\begin{aligned} Nu=\sum_{n=0}^{\infty}A_{n}, \end{aligned}$$

(3.47)

where

$$\begin{aligned} A_{n}&=\frac{1}{n!}\frac{\mathrm{d}^{n}}{\mathrm{d}\lambda^{n}}N \Biggl(\sum _{i=0}^{\infty}\lambda^{i}u_{i} \Biggr)\Bigg|_{\lambda=0} \end{aligned}$$

(3.48)

$$\begin{aligned} &=\frac{1}{n!}\frac{\mathrm{d}^{n}}{\mathrm{d}\lambda^{n}}\mathrm{I}^{\alpha}\Biggl(\sum _{i=0}^{\infty}\lambda^{i}u_{i} \Biggr)^{2}\Bigg|_{\lambda=0} \end{aligned}$$

(3.49)

$$\begin{aligned} &=\frac{1}{n!}\frac{\mathrm{d}^{n}}{\mathrm{d}\lambda^{n}}\mathrm{I}^{\alpha}\Biggl(\sum _{i=0}^{\infty}\lambda^{2i}u_{i}^{2}+2 \sum_{\ell=1}^{\infty}\sum _{0\leq i< j\leq\ell}\lambda^{i+j}u_{i}u_{j} \Biggr)\Bigg|_{\lambda=0} \end{aligned}$$

(3.50)

$$\begin{aligned} &=\frac{1}{n!}\frac{\mathrm{d}^{n}}{\mathrm{d}\lambda^{n}} \Biggl(\sum_{i=0}^{\infty} \lambda^{2i}\mathrm{I}^{\alpha}u_{i}^{2}+2 \sum_{\ell=1}^{\infty}\sum _{0\leq i< j\leq\ell}\lambda^{i+j}\mathrm{I}^{\alpha}u_{i}u_{j} \Biggr)\Bigg|_{\lambda=0}. \end{aligned}$$

(3.51)

Hence we obtain the iterative equations $u_{0}=f$ and

$$\begin{aligned} u_{n+1}=\frac{1}{n!}\frac{\mathrm{d}^{n}}{\mathrm{d}\lambda^{n}} \Biggl(\sum _{i=0}^{\infty}\lambda^{2i}\mathrm{I}^{\alpha}u_{i}^{2}+2\sum_{\ell=1}^{\infty} \sum_{0\leq i< j\leq\ell}\lambda^{i+j}\mathrm{I}^{\alpha}u_{i}u_{j} \Biggr)\Bigg|_{\lambda=0}. \end{aligned}$$

(3.52)

After a “simple” computation, one can obtain the specific form of $u_{n}$ as follows:

$$\begin{aligned}& u_{1}=\mathrm{I}^{\alpha}u_{0}^{2} \end{aligned}$$

(3.53)

$$\begin{aligned}& u_{2}=\mathrm{I}^{\alpha}2u_{0}u_{1}, \end{aligned}$$

(3.54)

$$\begin{aligned}& u_{3}=\mathrm{I}^{\alpha} \bigl(u_{1}^{2}+2u_{0}u_{2} \bigr), \end{aligned}$$

(3.55)

$$\begin{aligned}& u_{4}=\mathrm{I}^{\alpha}(2u_{0}u_{3}+2u_{1}u_{2}), \end{aligned}$$

(3.56)

$$\begin{aligned}& u_{5}=\mathrm{I}^{\alpha} \bigl(u_{2}^{2}+2u_{0}u_{4}+2u_{1}u_{3} \bigr), \end{aligned}$$

(3.57)

$$\begin{aligned}& u_{6}=\mathrm{I}^{\alpha}(2u_{0}u_{5}+2u_{1}u_{4}+2u_{2}u_{3}), \end{aligned}$$

(3.58)

$$\begin{aligned}& u_{7}=\mathrm{I}^{\alpha} \bigl(u_{3}^{2}+2u_{0}u_{6}+2u_{1}u_{5}+2u_{2}u_{4} \bigr), \end{aligned}$$

(3.59)

$$\begin{aligned}& \vdots \\& u_{2k-1}=\mathrm{I}^{\alpha} \bigl(u_{k-1}^{2}+2u_{0}u_{2k-2}+2u_{1}u_{2k-3}+ \cdots+2u_{k-2}u_{k} \bigr), \end{aligned}$$

(3.60)

$$\begin{aligned}& u_{2k}=\mathrm{I}^{\alpha}(2u_{0}u_{2k-1}+2u_{1}u_{2k-2}+ \cdots+2u_{k-1}u_{k}), \end{aligned}$$

(3.61)

for $k=2,3,\dots$. By a similar discussion to the table in (3.30), one can see that

$$\begin{aligned} u_{\ast}:=f+\sum_{n=1}^{\infty}u_{n} \end{aligned}$$

(3.62)

satisfies the identity

$$\begin{aligned} u_{\ast}-f=\mathrm{I}^{\alpha}u_{\ast}^{2}. \end{aligned}$$

(3.63)

By the operation of a fractional derivative and integral, we have

$$\begin{aligned} \mathrm{D}^{\alpha}u_{\ast}-t=u_{\ast}^{2}, \end{aligned}$$

(3.64)

that is,

$$\begin{aligned} \mathrm{D}^{\alpha}u_{\ast}=u_{\ast}^{2}+t, \end{aligned}$$

(3.65)

which indicates that $u_{\ast}$ is exactly a solution to (3.41).

Remark 3.10

From the discussions above, it is easy to see that if we know the initial condition of u, i.e. $u_{0}$, then we can obtain an approximate solution for (3.41) using successive iterations.

3.2.3 Time-fractional Kawahara equation

Consider the following time-fractional Kawahara equation:

$$\begin{aligned} \mathrm{D}^{\alpha}u+u\partial_{x}u+p \partial_{xxx}u-q\partial_{xxxxx}u=0, \end{aligned}$$

(3.66)

where $u=u(x,t)$, $(x,t)\in\mathbb {R}\times\mathbb {R}$. This equation was derived by Hasimoto as a model of capillary-gravity waves in an infinitely long canal over a flat bottom in a long wave regime when the Bond number is nearly one third. This type of equation was first found by Kakutani and Ono in an analysis of magnet-acoustic waves in a cold collision free plasma. Then Hasimoto derived the above equation from capillary-gravity waves. Kawahara studied this type of equation numerically and observed that the equation has both oscillatory and monotone solitary-wave solutions. Some more details on Kawahara equations can be found in [47–50]. In fact, the Kawahara equation can be viewed as a type of the fifth KdV equation,

$$\begin{aligned} u_{t}+\frac{105}{16}\beta^{2}u\partial_{x}u+ \frac{13}{4}\delta\partial_{xxx}u +\gamma\partial_{xxxxx}u=0, \end{aligned}$$

(3.67)

for some special coefficients.

Next we shall apply the ADM to construct approximate solution to (3.66) with initial condition.

Obviously, the time-fractional Kawahara equation (3.66) is equivalent to the following integral form:

$$\begin{aligned} u=f+Nu, \end{aligned}$$

(3.68)

where

$$\begin{aligned} f=u(x,0), \qquad Nu=-\mathrm{I}^{\alpha}\{u\partial_{x}u+p \partial_{xxx}u-q\partial_{xxxxx}u\}. \end{aligned}$$

(3.69)

By the ADM, suppose that (3.68) has a solution of the following form:

$$\begin{aligned} u=\sum_{n=0}^{\infty}u_{n} \end{aligned}$$

(3.70)

and the nonlinear term could be decomposed as

$$\begin{aligned} Nu=\sum_{n=0}^{\infty}A_{n}, \end{aligned}$$

(3.71)

where

$$\begin{aligned}& A_{n} \end{aligned}$$

(3.72)

$$\begin{aligned}& \quad=\frac{1}{n!}\frac{\mathrm{d}^{n}}{\mathrm{d}\lambda^{n}}N \Biggl(\sum_{i=0}^{\infty} \lambda^{i}u_{i} \Biggr)\Bigg|_{\lambda=0} \end{aligned}$$

(3.73)

$$\begin{aligned}& \quad=-\mathrm{I}^{\alpha}\frac{1}{n!}\frac{\mathrm{d}^{n}}{\mathrm{d}\lambda^{n}} \end{aligned}$$

(3.74)

$$\begin{aligned}& \qquad{}\times \Biggl\{ \Biggl(\sum_{i=0}^{\infty} \lambda^{i}u_{i} \Biggr)\cdot \Biggl(\sum _{i=0}^{\infty}\lambda^{i}\partial_{x}u_{i} \Biggr) +p \Biggl(\sum_{i=0}^{\infty} \lambda^{i}\partial_{xxx}u_{i} \Biggr) -q \Biggl(\sum _{i=0}^{\infty}\lambda^{i} \partial_{xxxxx}u_{i} \Biggr) \Biggr\} \Bigg|_{\lambda=0} \end{aligned}$$

(3.75)

$$\begin{aligned}& \quad=-\mathrm{I}^{\alpha} \Biggl\{ \sum_{j=0}^{n}u_{i} \partial_{x}u_{n-i}+p\partial_{xxx}u_{n}-q \partial_{xxxxx}u_{n} \Biggr\} . \end{aligned}$$

(3.76)

Furthermore

$$\begin{aligned}& u_{1}=A_{0}(u_{0}) \end{aligned}$$

(3.77)

$$\begin{aligned}& \phantom{u_{1}}=N \Biggl(\sum_{n=0}^{\infty} \lambda^{n}u_{n} \Biggr)\Bigg|_{\lambda=0} \end{aligned}$$

(3.78)

$$\begin{aligned}& \phantom{u_{1}}=-\mathrm{I}^{\alpha} \end{aligned}$$

(3.79)

$$\begin{aligned}& \phantom{u_{1}=}{}\times \Biggl\{ \Biggl(\sum_{n=0}^{\infty} \lambda^{n}u_{n} \Biggr)\cdot \Biggl(\sum _{n=0}^{\infty}\lambda^{n}\partial_{x}u_{n} \Biggr)+p \Biggl(\sum_{n=0}^{\infty} \lambda^{n}\partial_{xxx}u_{n} \Biggr)-q \Biggl(\sum _{n=0}^{\infty}\lambda^{n} \partial_{xxxxx}u_{n} \Biggr) \Biggr\} \Bigg|_{\lambda=0} \end{aligned}$$

(3.80)

$$\begin{aligned}& \phantom{u_{1}}=-\mathrm{I}^{\alpha}\{u_{0}\partial_{x}u_{0}+p \partial_{xxx}u_{0}-q\partial_{xxxxx}u_{0} \}, \end{aligned}$$

(3.81)

$$\begin{aligned}& u_{2}=A_{1}(u_{0},u_{1}) \end{aligned}$$

(3.82)

$$\begin{aligned}& \phantom{u_{2}}=\frac{\mathrm{d}}{\mathrm{d}\lambda}N \Biggl(\sum_{n=0}^{\infty} \lambda^{n}u_{n} \Biggr)\Bigg|_{\lambda=0} \end{aligned}$$

(3.83)

$$\begin{aligned}& \phantom{u_{2}}=-\mathrm{I}^{\alpha}\frac{\mathrm{d}}{\mathrm{d}\lambda} \end{aligned}$$

(3.84)

$$\begin{aligned}& \phantom{u_{2}=}{}\times \Biggl\{ \Biggl(\sum_{n=0}^{\infty} \lambda^{n}u_{n} \Biggr)\cdot \Biggl(\sum _{n=0}^{\infty}\lambda^{n}\partial_{x}u_{n} \Biggr)+p \Biggl(\sum_{n=0}^{\infty} \lambda^{n}\partial_{xxx}u_{n} \Biggr)-q \Biggl(\sum _{n=0}^{\infty}\lambda^{n} \partial_{xxxxx}u_{n} \Biggr) \Biggr\} \Bigg|_{\lambda=0} \end{aligned}$$

(3.85)

$$\begin{aligned}& \phantom{u_{2}}=-\mathrm{I}^{\alpha}\{u_{0}\partial_{x}u_{1}+u_{1} \partial_{x}u_{0}+p\partial_{xxx}u_{1}-q \partial_{xxxxx}u_{1} \}, \end{aligned}$$

(3.86)

$$\begin{aligned}& u_{3}=A_{2}(u_{0},u_{1},u_{2}) \end{aligned}$$

(3.87)

$$\begin{aligned}& \phantom{u_{3}}=\frac{1}{2!}\frac{\mathrm{d}^{2}}{\mathrm{d}\lambda^{2}}N \Biggl(\sum _{n=0}^{\infty}\lambda^{n}u_{n} \Biggr)\Bigg|_{\lambda=0} \end{aligned}$$

(3.88)

$$\begin{aligned}& \phantom{u_{3}}=-\mathrm{I}^{\alpha}\frac{1}{2!}\frac{\mathrm{d}^{2}}{\mathrm{d}\lambda^{2}} \end{aligned}$$

(3.89)

$$\begin{aligned}& \phantom{u_{3}=}{\times} \Biggl\{ \Biggl(\sum_{n=0}^{\infty} \lambda^{n}u_{n} \Biggr)\cdot \Biggl(\sum _{n=0}^{\infty}\lambda^{n}\partial_{x}u_{n} \Biggr)+p \Biggl(\sum_{n=0}^{\infty} \lambda^{n}\partial_{xxx}u_{n} \Biggr)-q \Biggl(\sum _{n=0}^{\infty}\lambda^{n} \partial_{xxxxx}u_{n} \Biggr) \Biggr\} \Bigg|_{\lambda=0} \end{aligned}$$

(3.90)

$$\begin{aligned}& \phantom{u_{3}}=-\mathrm{I}^{\alpha}\{u_{0}\partial_{x}u_{2}+u_{1} \partial_{x}u_{1}+u_{2}\partial_{x}u_{0}+p \partial_{xxx}u_{2}-q\partial_{xxxxx}u_{2} \}, \end{aligned}$$

(3.91)

$$\begin{aligned}& u_{4}=A_{2}(u_{0},u_{1},u_{2},u_{3}) \end{aligned}$$

(3.92)

$$\begin{aligned}& \phantom{u_{4}}=\frac{1}{3!}\frac{\mathrm{d}^{3}}{\mathrm{d}\lambda^{3}}N \Biggl(\sum _{n=0}^{\infty}\lambda^{n}u_{n} \Biggr)\Bigg|_{\lambda=0} \end{aligned}$$

(3.93)

$$\begin{aligned}& \phantom{u_{4}}=-\mathrm{I}^{\alpha}\frac{1}{3!}\frac{\mathrm{d}^{3}}{\mathrm{d}\lambda^{3}} \end{aligned}$$

(3.94)

$$\begin{aligned}& \phantom{u_{4}=}{}\times \Biggl\{ \Biggl(\sum_{n=0}^{\infty} \lambda^{n}u_{n} \Biggr)\cdot \Biggl(\sum _{n=0}^{\infty}\lambda^{n}\partial_{x}u_{n} \Biggr)+p \Biggl(\sum_{n=0}^{\infty} \lambda^{n}\partial_{xxx}u_{n} \Biggr)-q \Biggl(\sum _{n=0}^{\infty}\lambda^{n} \partial_{xxxxx}u_{n} \Biggr) \Biggr\} \Bigg|_{\lambda=0} \end{aligned}$$

(3.95)

$$\begin{aligned}& \phantom{u_{4}}=-\mathrm{I}^{\alpha}\{u_{0}\partial_{x}u_{3}+u_{1} \partial_{x}u_{2}+u_{2}\partial_{x}u_{1}+u_{3} \partial_{x}u_{0}+p\partial_{xxx}u_{3}-q \partial_{xxxxx}u_{3} \}, \end{aligned}$$

(3.96)

and so on.

Remark 3.11

We claim that with $u_{\ast}=\sum_{n=0}^{\infty}u_{n}$ we have Eq. (3.66), and we do not verify it, which is the same as the examples above.

3.2.4 Modified time-fractional Kawahara equations

Consider the following modified time-fractional Kawahara equation:

$$\begin{aligned} \mathrm{D}^{\alpha}u+u^{2}\partial_{x}u+p \partial_{xxx}u-q\partial_{xxxxx}u=0, \end{aligned}$$

(3.97)

where $u=u(x,t)$, $(x,t)\in\mathbb {R}\times\mathbb {R}$. The modified Kawahara equation is known as the critical surface-tension model. This equation arises in the modeling of weakly nonlinear waves in a wide variety of media. A variety of physical phenomena, like magneto acoustic waves in a plasma, shallow-water waves with surface tension and capillary-gravity water waves, are described by the modified Kawahara equation [47].

Now we start to construct an approximate solution to (3.97) with initial value via the ADM.

Clearly, the modified time-fractional Kawahara equation (3.97) is equivalent to the following integral form:

$$\begin{aligned} u=f+Nu, \end{aligned}$$

(3.98)

where

$$\begin{aligned} f=u(x,0), \qquad Nu=-\mathrm{I}^{\alpha} \bigl\{ u^{2} \partial_{x}u+p\partial_{xxx}u-q\partial_{xxxxx}u \bigr\} . \end{aligned}$$

(3.99)

By the ADM, suppose that (3.98) has a solution of the following form:

$$\begin{aligned} u=\sum_{n=0}^{\infty}u_{n} \end{aligned}$$

(3.100)

and the nonlinear term could be decomposed as

$$\begin{aligned} Nu=\sum_{n=0}^{\infty}A_{n}, \end{aligned}$$

(3.101)

where

$$\begin{aligned}& A_{n} \end{aligned}$$

(3.102)

$$\begin{aligned}& \quad=\frac{1}{n!}\frac{\mathrm{d}^{n}}{\mathrm{d}\lambda^{n}}N \Biggl(\sum_{i=0}^{\infty} \lambda^{i}u_{i} \Biggr)\Bigg|_{\lambda=0} \end{aligned}$$

(3.103)

$$\begin{aligned}& \quad=-\mathrm{I}^{\alpha}\frac{1}{n!}\frac{\mathrm{d}^{n}}{\mathrm{d}\lambda^{n}} \end{aligned}$$

(3.104)

$$\begin{aligned}& \qquad{}\times \Biggl\{ \Biggl(\sum_{i=0}^{\infty} \lambda^{i}u_{i} \Biggr)^{2}\cdot \Biggl(\sum _{i=0}^{\infty}\lambda^{i} \partial_{x}u_{i} \Biggr) +p \Biggl(\sum _{i=0}^{\infty}\lambda^{i}\partial_{xxx}u_{i} \Biggr) -q \Biggl(\sum_{i=0}^{\infty} \lambda^{i}\partial_{xxxxx}u_{i} \Biggr) \Biggr\} \Bigg|_{\lambda=0} \end{aligned}$$

(3.105)

$$\begin{aligned}& \quad= \left \{ \textstyle\begin{array}{l@{\quad}l} -\mathrm{I}^{\alpha}\{\sum_{j=0}^{k}u_{j}\partial_{x}u_{2k-2j}+p\partial _{xxx}u_{n}-q\partial_{xxxxx}u_{n} \}, &n=2k;\\ -\mathrm{I}^{\alpha}\{\sum_{j=0}^{k}u_{j}\partial_{x}u_{2k+1-2j}+p\partial _{xxx}u_{n}-q\partial_{xxxxx}u_{n} \},& n=2k+1. \end{array}\displaystyle \right . \end{aligned}$$

(3.106)

Furthermore

$$\begin{aligned}& u_{1}=A_{0}(u_{0}) \end{aligned}$$

(3.107)

$$\begin{aligned}& \phantom{u_{1}}=N \Biggl(\sum_{n=0}^{\infty} \lambda^{n}u_{n} \Biggr)\Bigg|_{\lambda=0} \end{aligned}$$

(3.108)

$$\begin{aligned}& \phantom{u_{1}}=-\mathrm{I}^{\alpha} \end{aligned}$$

(3.109)

$$\begin{aligned}& \phantom{u_{1}=}{}\times \Biggl\{ \Biggl(\sum_{n=0}^{\infty} \lambda^{n}u_{n} \Biggr)^{2}\cdot \Biggl(\sum _{n=0}^{\infty}\lambda^{n} \partial_{x}u_{n} \Biggr)+p \Biggl(\sum _{n=0}^{\infty}\lambda^{n}\partial_{xxx}u_{n} \Biggr)-q \Biggl(\sum_{n=0}^{\infty} \lambda^{n}\partial_{xxxxx}u_{n} \Biggr) \Biggr\} \Bigg|_{\lambda=0} \end{aligned}$$

(3.110)

$$\begin{aligned}& \phantom{u_{1}}=-\mathrm{I}^{\alpha}\bigl\{ u_{0}^{2} \partial_{x}u_{0}+p\partial_{xxx}u_{0}-q \partial_{xxxxx}u_{0} \bigr\} , \end{aligned}$$

(3.111)

$$\begin{aligned}& u_{2}=A_{1}(u_{0},u_{1}) \end{aligned}$$

(3.112)

$$\begin{aligned}& \phantom{u_{2}}=\frac{\mathrm{d}}{\mathrm{d}\lambda}N \Biggl(\sum_{n=0}^{\infty} \lambda^{n}u_{n} \Biggr)\Bigg|_{\lambda=0} \end{aligned}$$

(3.113)

$$\begin{aligned}& \phantom{u_{2}}=-\mathrm{I}^{\alpha}\frac{\mathrm{d}}{\mathrm{d}\lambda} \end{aligned}$$

(3.114)

$$\begin{aligned}& \phantom{u_{2}=}{}\times \Biggl\{ \Biggl(\sum_{n=0}^{\infty} \lambda^{n}u_{n} \Biggr)^{2}\cdot \Biggl(\sum _{n=0}^{\infty}\lambda^{n} \partial_{x}u_{n} \Biggr)+p \Biggl(\sum _{n=0}^{\infty}\lambda^{n}\partial_{xxx}u_{n} \Biggr)-q \Biggl(\sum_{n=0}^{\infty} \lambda^{n}\partial_{xxxxx}u_{n} \Biggr) \Biggr\} \Bigg|_{\lambda=0} \end{aligned}$$

(3.115)

$$\begin{aligned}& \phantom{u_{2}}=-\mathrm{I}^{\alpha}\bigl\{ u_{0}^{2} \partial_{x}u_{1}+p\partial_{xxx}u_{1}-q \partial_{xxxxx}u_{1} \bigr\} , \end{aligned}$$

(3.116)

$$\begin{aligned}& u_{3}=A_{2}(u_{0},u_{1},u_{2}) \end{aligned}$$

(3.117)

$$\begin{aligned}& \phantom{u_{3}}=\frac{1}{2!}\frac{\mathrm{d}^{2}}{\mathrm{d}\lambda^{2}}N \Biggl(\sum _{n=0}^{\infty}\lambda^{n}u_{n} \Biggr)\Bigg|_{\lambda=0} \end{aligned}$$

(3.118)

$$\begin{aligned}& \phantom{u_{3}}=-\mathrm{I}^{\alpha}\frac{1}{2!}\frac{\mathrm{d}^{2}}{\mathrm{d}\lambda^{2}} \end{aligned}$$

(3.119)

$$\begin{aligned}& \phantom{u_{3}=}{}\times \Biggl\{ \Biggl(\sum_{n=0}^{\infty} \lambda^{n}u_{n} \Biggr)^{2}\cdot \Biggl(\sum _{n=0}^{\infty}\lambda^{n} \partial_{x}u_{n} \Biggr)+p \Biggl(\sum _{n=0}^{\infty}\lambda^{n}\partial_{xxx}u_{n} \Biggr)-q \Biggl(\sum_{n=0}^{\infty} \lambda^{n}\partial_{xxxxx}u_{n} \Biggr) \Biggr\} \Bigg|_{\lambda=0} \end{aligned}$$

(3.120)

$$\begin{aligned}& \phantom{u_{3}}=-\mathrm{I}^{\alpha}\bigl\{ u_{0}^{2} \partial_{x}u_{2}+u_{2}\partial_{x}u_{0}+p \partial_{xxx}u_{2}-q\partial_{xxxxx}u_{2} \bigr\} , \end{aligned}$$

(3.121)

and so on.

4 Concluding remark

In this paper, we study the Adomian decomposition method (ADM) including its convergence analysis obtained by Cherrault, and it is really an effective technique in dealing with nonlinear problems with initial data. By applying the ADM, one can construct approximate solutions to algebraic equations, fractional ordinary differential equations (time-fractional Riccati equations etc.), fractional partial differential equations (time-fractional Kawahara equations, modified time-fractional Kawahara equations etc.), and even integro-differential equations, differential algebraic equations and so on. In practical applications, we can take a finite sum according to the accuracy we need.