1 Introduction

The KdV equation has been used to describe a wide range of physics phenomena of the evolution and interaction of nonlinear waves. It was derived from the propagation of dispersive shallow water waves and is widely used in fluid dynamics, aerodynamics, continuum mechanics, as a model for shock wave formation, solitons, turbulence, boundary layer behavior, mass transport, and the solution representing the water’s free surface over a flat bed [13]. Camassa and Holm [4] put forward the derivation of solution as a model for dispersive shallow water waves and discovered that it is a formally integrable dimensional Hamiltonian system, and that its solitary waves are solitons. Most of the classical mechanics techniques have been used in studies of conservative systems, but most of the processes observed in the physical real world are nonconservative.

During the past three decades or so, fractional calculus has obtained considerable popularity and importance as generalization of integer-order evolution equations, and one has used it to model some meaningful things, such as fractional calculus in model price volatility in finance [5, 6], in hydrology to model fast spreading of pollutants [7]; the most common hydrologic application of fractional calculus is the generation of fractional Brownian motion as a representation of aquifer material with a long-range correlation structure [8, 9]. The fractional differential equation is used to model the particle motions in a heterogeneous environment and long particle jumps in anomalous diffusion in physics [10, 11]. For other exact descriptions of the applications of engineering, mechanics, mathematics, etc., we can refer to [1216]. If the Lagrangian of conservative system is constructed using fractional derivatives, the resulting equations of motion can be nonconservative. Therefore, in many cases, real physical processes could be modeled in a reliable manner using fractional-order differential equations rather than integer-order equations [17]. Based on the stochastic embedding theory, Cresson [18] defined the fractional embedding of differential operators and provided a fractional Euler-Lagrange equation for Lagrangian systems, then investigated a fractional Noether theorem and a fractional Hamiltonian formulation of fractional Lagrangian systems. Herzallah and Baleanu [19] presented the necessary and sufficient optimality conditions for the Euler-Lagrange fractional equations of fractional variational problems and made an effort in determining in which spaces the functional must exist. Malinowska [20] proposed the Euler-Lagrange equations for fractional variational problems with multiple integrals and proved the fractional Noether-type theorem for conservative and nonconservative generalized physical systems. Riewe [21, 22] formulated a version of the Euler-Lagrange equation for problems of calculus of variation with fractional derivatives. Wu and Baleanu [23] developed some new variational-iteration formulas to find approximate solutions of fractional differential equations and determined the Lagrange multiplier in a more accurate way. For generalized fractional Euler-Lagrange equations and a fractional-order Van der Pol-like oscillator, we can refer to the works by Odzijewicz [24, 25] and Attari et al. [26], respectively. For other the known results refer to Baleanu et al. [27] and Inokuti et al. [28]. In view of the fact that most physical phenomena may be considered as nonconservative, they can be described using fractional-order differential equations. Recently, several methods have been used to solve nonlinear fractional evolution equations using techniques of nonlinear analysis, such as the Adomian decomposition method [29], the homotopy analysis method [30, 31], the homotopy perturbation method [32, 33] and the Laguerre spectral method [3436]. It was mentioned that the variational-iteration method has been used successfully to solve different types of integer and fractional nonlinear evolution equations.

In the present paper, He’s variational-iteration method [3740] is applied to solve the time-fractional generalized KdV equation

D t α 0 R u(x,t)+a u p (x,t) u x (x,t)+b u x x x (x,t)=0,

where a, b are constants, u(x,t) is a field variable, the subscripts denote the partial differentiation of the function u(x,t) with respect to the parameter x and t. xΩ (ΩR) is a space coordinate in the propagation direction of the field and tT (=[0, t 0 ] ( t 0 >0)) is the time, which occurs in different contexts in mathematical physics. a, b are constant coefficients not equal to zero. The dissipative u x x x term provides dam** at small scales, and the nonlinear term u p u x (p>0) (which has the same form as that in the KdV or 1-dimensional Navier-Stokes equations) stabilizes by transferring energy between large and small scales. For p=1, we can refer to the known results of the time-fractional KdV equation: formulation and solution using variational methods [41, 42]. For p>0, p1, there is little material on the formulation and solution to time-fractional KdV equation. Thus the present paper considers the formulation and solution to a time-fractional KdV equation as the index of the nonlinear term satisfies p>0, p1. D t α 0 R denotes the Riesz fractional derivative. Making use of the variational-iteration method, this work is devoted to a formulation of a time-fractional generalized KdV equation and derives an approximate solitary wave solution.

This paper is organized as follows: Section 2 states some background material from fractional calculus. Section 3 presents the principle of He’s variational-iteration method. Section 4 is devoted to a description of the formulation of the time-fractional generalized KdV equation using the Euler-Lagrange variational technique and to derive an approximate solitary wave solution. Section 5 presents an analysis for the obtained graphs and figures and discusses the present work.

2 Preliminaries

We recall the necessary definitions for the fractional calculus (see [4345]) which are used throughout the remaining sections of this paper.

Definition 1 A real multivariable function f(x,t), t>0 is said to be in the space C γ , γR with respect to t if there exists a real number r (>γ), such that f(x,t)= t r f 1 (x,t), where f 1 (x,t)C(Ω×T). Obviously, C γ C δ if δγ.

Definition 2 The left-hand side Riemann-Liouville fractional integral of a function f C γ (γ1) is defined by

I t α 0 f ( x , t ) = 1 Γ ( α ) 0 t f ( x , τ ) ( t τ ) 1 α d τ , α > 0 , t T , I t 0 0 f ( x , t ) = f ( x , t ) .

Definition 3 The Riemann-Liouville fractional derivatives of the order n1α<n of a function f C γ (γ1) are defined as

D t α 0 f ( x , t ) = 1 Γ ( n α ) n t n 0 t f ( x , τ ) ( t τ ) α + 1 n d τ , D t 0 α t f ( x , t ) = 1 Γ ( n α ) n t n t t 0 f ( x , τ ) ( τ t ) α + 1 n d τ , t T .

Lemma 1 The integration formula of Riemann-Liouville fractional derivative for the order 0<α<1

T f ( x , t ) 0 D t α g(x,t)dt= T g ( x , t ) t D t 0 α f(x,t)dt

is valid under the assumptions that f,gC(Ω×T) and that for arbitrary xΩ, D t 0 α t f, D t α 0 g exist at every point tT and are continuous in t.

Definition 4 The Riesz fractional integral of the order n1α<n of a function f C γ (γ1) is defined as

I t α 0 R f(x,t)= 1 2 ( 0 I t α f(x,t) + t I t 0 α f(x,t))= 1 2 Γ ( α ) 0 t 0 | t τ | α 1 f(x,τ)dτ,

where I t α 0 and I t 0 α t are, respectively, the left- and right-hand side Riemann-Liouville fractional integral operators.

Definition 5 The Riesz fractional derivative of the order n1α<n of a function f C γ (γ1) is defined by

D t α 0 R f ( x , t ) = 1 2 ( 0 D t α f ( x , t ) + ( 1 ) n t D t 0 α f ( x , t ) ) = 1 2 Γ ( n α ) d n d t n 0 t 0 | t τ | n α 1 f ( x , τ ) d τ ,

where D t α 0 and D t 0 α t are, respectively, the left- and right-hand side Riemann-Liouville fractional differential operators.

Lemma 2 Let α>0 and β>0 be such that n1<α<n, m1<β<m and α+β<n, and let f L 1 (Ω×T) and I t m α 0 fA C m (Ω×T). Then we have the following index rule:

D t α 0 R ( 0 R D t β f(x,t)) = 0 R D t α + β f(x,t) i = 1 m 0 R D t β i f(x,t) | t = 0 t α i Γ ( 1 α i ) .

Remark 1 One can express the Riesz fractional differential operator D t α 1 0 R of the order 0<α<1 as the Riesz fractional integral operator I τ 1 α 0 R , i.e.

D t α 1 0 R f(x,t) = 0 R I t 1 α f(x,t),tT.

3 Variational-iteration method

The variational-iteration method provides an effective procedure for explicit and solitary wave solutions of a wide and general class of differential systems representing real physical problems. Moreover, the variational-iteration method can overcome the foregoing restrictions and limitations of approximate techniques so that it provides us with a possibility to analyze strongly nonlinear evolution equations. Therefore, we extend this method to solve the time-fractional KdV equation. The basic features of the variational-iteration method are outlined as follows.

We consider a nonlinear evolution equation that consists of a linear part Lu(x,t), a nonlinear part Nu(x,t), and a free term g(x,t) represented as

Lu(x,t)+Nu(x,t)=g(x,t).
(1)

According to the variational-iteration method, the (n+1)th approximation solution of (1) can be read using an iteration correction functional as

u n + 1 (x,t)= u n (x,t)+ 0 t λ(τ) ( L u ˜ ( x , τ ) + N u ˜ ( x , τ ) g ( x , τ ) ) dτ,
(2)

where λ(τ) is a Lagrangian multiplier and u ˜ (x,t) is considered as a restricted variation function, i.e., δ u ˜ (x,t)=0. Extremizing the variation of the correction functional (2) leads to the Lagrangian multiplier λ(τ). The initial iteration u 0 (x,t) can be used as the initial value u(x,0). As n tends to infinity, the iteration leads to the solitary wave solution of (1), i.e.

u(x,t)= lim n u n (x,t).

4 Time-fractional generalized KdV equation

The generalized KdV equation in (1+1) dimensions is given by

u t (x,t)+a u p (x,t) u x (x,t)+b u x x x (x,t)=0,
(3)

where p>0, a, b are constants, u(x,t) is a field variable, xΩ is a space coordinate in the propagation direction of the field and tT is the time. Employing a potential function v(x,t) on the field variable, setting u(x,t)= v x (x,t), yields the potential equation of the generalized KdV equation (3) in the form

v x t (x,t)+a v x p (x,t) v x x (x,t)+b v x x x x (x,t)=0.
(4)

The Lagrangian of this generalized KdV equation (3) can be defined using the semi-inverse method [46, 47] as follows. The functional of the potential equation (4) can be represented as

J(v)= Ω dx T ( v ( x , t ) ( c 1 v x t ( x , t ) + c 2 a v x p ( x , t ) v x x ( x , t ) + c 3 b v x x x x ( x , t ) ) ) dt,
(5)

with c i (i=1,2,3) being unknown constants to be determined later. Integrating (5) by parts and taking v t | Ω = v x | Ω = v x | T =0 yield

J ( v ) = Ω d x T ( c 1 v x ( x , t ) v t ( x , t ) c 2 a p + 1 v x p + 2 ( x , t ) c 3 b v x ( x , t ) v x x x ( x , t ) ) d t .
(6)

The constants c i (i=1,2,,6) can be determined taking the variation of the functional (6) to make it optimal. By applying the variation of the functional, integrating each term by parts, and making use of the variation optimum condition of the functional J(v), it yields the following expression:

2 c 1 v x t (x,t) c 2 a(p+2) v x p (x,t) v x x (x,t)2 c 3 b v x x x x (x,t)=0.
(7)

We notice that the obtained result (7) is equivalent to (4), so one sees that the constants c i (i=1,2,,6) are, respectively,

c 1 = 1 2 , c 2 = 1 p + 2 , c 3 = 1 2 .

In addition, the functional expression given by (6) obtains directly the Lagrangian form of the generalized KdV equation,

L ( v t , v x , v x x x ) = 1 2 v x ( x , t ) v t ( x , t ) + a ( p + 1 ) ( p + 2 ) v x p + 2 ( x , t ) + b 2 v x ( x , t ) v x x x ( x , t ) .

Similarly, the Lagrangian of the time-fractional version of the generalized KdV equation could be read as

F ( 0 D t α v , v x , v x x x ) = 1 2 v x ( x , t ) 0 D t α v ( x , t ) + a ( p + 1 ) ( p + 2 ) v x p + 2 ( x , t ) + b 2 v x ( x , t ) v x x x ( x , t ) , α ] 0 , 1 ] .
(8)

Then the functional of the time-fractional generalized KdV equation will take the form of the expression

J(v)= Ω dx T F ( 0 D t α v, v x , v x x x )dt,
(9)

where the time-fractional Lagrangian F ( 0 D t α v, v x , v x x x ) is given by (8). Following Agrawal’s method [4850], the variation of the functional (9) with respect to v(x,t) leads to

δ J ( v ) = Ω d x T ( F 0 D t α v δ ( 0 D t α v ( x , t ) ) + F v x δ v x ( x , t ) + F v x x x δ v x x x ( x , t ) ) d t .
(10)

By Lemma 1, upon integrating the right-hand side of (10), one has

δJ(v)= Ω dx T ( t D T α ( F 0 D t α v ) x ( F v x ) 3 x 3 ( F v x x x ) )δvdt,

noting that δv | T =δv | Ω =δ v x | Ω =0.

Obviously, optimizing the variation of the functional J(v), i.e., δJ(v)=0, yields the Euler-Lagrange equation for time-fractional generalized KdV equation as in the following expression:

D T α t ( F 0 D t α v ) x ( F v x ) 3 x 3 ( F v x x x ) =0.
(11)

Substituting the Lagrangian of the time-fractional generalized KdV equation (8) into the Euler-Lagrange formula (11) one obtains

D T α t ( 1 2 v x ( x , t ) ) 0 D t α ( 1 2 v x ( x , t ) ) a v x p (x,t) v x x (x,t)b v x x x x (x,t)=0.

Once again, substituting the potential function v x (x,t) for u(x,t) yields the time-fractional generalized KdV equation for the state function u(x,t),

1 2 ( 0 D t α u(x,t) t D T α u(x,t))+a u p (x,t) u x (x,t)+b u x x x (x,t)=0.
(12)

According to the Riesz fractional derivative D t α 0 R u(x,t), the time-fractional generalized KdV equation represented in (12) can be written as

D t α 0 R u(x,t)+a u p (x,t) u x (x,t)+b u x x x (x,t)=0.
(13)

Acting from the left-hand side by the Riesz fractional operator D t 1 α 0 R on (13) leads to

t u ( x , t ) 0 R D t α 1 u ( x , t ) | t = 0 t α 2 Γ ( α 1 ) + 0 R D t 1 α ( a u p ( x , t ) x u ( x , t ) + b 3 x 3 u ( x , t ) ) = 0 ,
(14)

from Lemma 2. In view of the variational-iteration method, combining with (14), the (n+1)th approximate solution of (13) can be read using the iteration correction functional as

u n + 1 ( x , t ) = u n ( x , t ) + 0 t λ ( τ ) [ τ u n ( x , τ ) 0 R D τ α 1 u n ( x , τ ) | τ = 0 τ α 2 Γ ( α 1 ) + 0 R D τ 1 α ( a u ˜ n p ( x , τ ) x u ˜ n ( x , τ ) + b 3 x 3 u ˜ n ( x , τ ) ) ] d τ , n 0 ,
(15)

where the function u ˜ n (x,t) is considered as a restricted variation function, i.e., δ u ˜ n (x,t)=0. The extremum of the variation of (15) subject to the restricted variation function straightforwardly yields

δ u n + 1 ( x , t ) = δ u n ( x , t ) + 0 t λ ( τ ) δ τ u n ( x , τ ) d τ = δ u n ( x , t ) + λ ( τ ) δ u n ( x , τ ) | τ = t 0 t τ λ ( τ ) δ u n ( x , τ ) d τ = 0 .

This expression reduces to the following stationary conditions:

τ λ(τ)=0,1+λ(τ)=0,

which are converted to the Lagrangian multiplier at λ(τ)=1. Therefore, the correction functional (15) takes the following form:

u n + 1 ( x , t ) = u n ( x , t ) 0 t [ τ u n ( x , τ ) 0 R I τ 1 α u n ( x , τ ) | τ = 0 τ α 2 Γ ( α 1 ) + 0 R D τ 1 α ( a u n p ( x , τ ) x u n ( x , τ ) + b 3 x 3 u n ( x , τ ) ) ] d τ , n 0 ,
(16)

and since α1<0, the fractional derivative operator D t α 1 0 R reduces to the fractional integral operator I t 1 α 0 R by Remark 1.

The right-hand side Riemann-Liouville fractional derivative is interpreted as a future state of the process in physics. For this reason, the right-derivative is usually neglected in applications, when the present state of the process does not depend on the results of the future development, and so the right-derivative is used equal to zero in the following calculations. The zeroth order solitary wave solution can be taken as the initial value of the state variable, which is taken in this case as

u 0 (x,t)=u(x,0)=k sech 2 p ( p 2 b ( x + η 0 ) ) ,

where k= ( ( p + 1 ) ( p + 2 ) 2 a ) 1 p , η 0 is a constant.

Substituting this zeroth order approximation solitary wave solution into (16) and using Definition 5 lead to the first order approximate solitary wave solution

u 1 (x,t)=k sech 2 p ( p 2 b ( x + η 0 ) ) ( 1 + t α b Γ ( α + 1 ) tanh ( p 2 b ( x + η 0 ) ) ) .

Substituting the first order approximate solitary wave solution into (16), using Definition 5 then leads to the second order approximate solitary wave solution in the following form:

u 2 ( x , t ) = k sech 2 p ( p 2 b ( x + η 0 ) ) + t α Γ ( α + 1 ) [ a k p + 1 b sech 2 p + 2 ( p 2 b ( x + η 0 ) ) tanh ( p 2 b ( x + η 0 ) ) + k b sech 2 p ( p 2 b ( x + η 0 ) ) tanh 3 ( p 2 b ( x + η 0 ) ) 3 k p 2 b sech 2 p + 2 ( p 2 b ( x + η 0 ) ) k p 2 2 b sech 2 p + 2 ( p 2 b ( x + η 0 ) ) × tanh ( p 2 b ( x + η 0 ) ) ] t 2 α Γ ( 2 α + 1 ) [ a k p + 1 b sech 2 p + 2 ( p 2 b ( x + η 0 ) ) × ( p 2 3 p + 2 2 tanh 2 ( p 2 b ( x + η 0 ) ) ) 3 k p 2 ( p + 2 ) 8 b sech 2 p ( p 2 b ( x + η 0 ) ) tanh 2 ( p 2 b ( x + η 0 ) ) 3 k p 2 ( p + 2 ) 8 b sech 2 p + 2 ( p 2 b ( x + η 0 ) ) + 3 k p ( p + 2 ) 2 8 b sech 2 p ( p 2 b ( x + η 0 ) ) tanh 2 ( p 2 b ( x + η 0 ) ) + k p 3 8 b sech 2 p ( p 2 b ( x + η 0 ) ) k ( p + 2 ) 3 8 b sech 2 p ( p 2 b ( x + η 0 ) ) tanh 4 ( p 2 b ( x + η 0 ) ) + 3 k ( p + 2 ) 2 8 b sech 2 p + 2 ( p 2 b ( x + η 0 ) ) tanh 2 ( p 2 b ( x + η 0 ) ) + k p 2 ( p + 2 ) 4 b sech 2 p + 2 ( p 2 b ( x + η 0 ) ) tanh 2 ( p 2 b ( x + η 0 ) ) ] Γ ( 2 α + 1 ) t 3 α Γ ( 3 α + 1 ) ( Γ ( α + 1 ) ) 2 [ a p k p + 1 2 b b sech 2 p + 2 ( p 2 b ( x + η 0 ) ) × tanh ( p 2 b ( x + η 0 ) ) ( p p + 2 2 tanh 2 ( p 2 b ( x + η 0 ) ) ) ] .

Making use of Definition 5 and the Maple package or Mathematics, we obtain u 3 (x,t), u 4 (x,t) and so on, and substituting the n1 order approximate solitary wave solution into (16) leads to the n order approximate solitary wave solution. As n tends to infinity, the iteration leads to the solitary wave solution of the time-fractional generalized KdV equation

u(x,t)=k sech 2 p ( p 2 b ( x t + η 0 ) ) .

5 Discussion

The target of the present work is the effect of the fractional-order derivative on the structure and propagation of the resulting solitary waves obtained from time-fractional generalized KdV equations. We derive the Lagrangian of the generalized KdV equations by the semi-inverse method, and then we take a similar form for the Lagrangian to the time-fractional generalized KdV equations. Using the Euler-Lagrange variational technique, we continue our calculations until the third order iteration. Meanwhile, our approximate calculations are carried out on the solution of the time-fractional generalized KdV equations taking into account the values of the coefficients and some meaningful values namely, α=1, 4 5 , 1 2  and  1 5 . The solitary wave solution of time-fractional generalized KdV equations are obtained. In addition, a 3-dimensional representation of the solution u(x,t) for the time-fractional generalized KdV equations with space x and time t for different values of the order α is presented, respectively. In Figure 1, the solution u is still a single soliton wave solution for all values of the order α. It shows that the balancing scenario between nonlinearity and dispersion is still valid. Figure 2 presents the change of amplitude and width of the soliton due to the variation of the order α, 2- and 3-dimensional graphs depicted the behavior of the solution u(x,t) at time t=1 corresponding to different values of the order α. This behavior indicates that the increasing of the value α is uniform in both the height and the width of the solitary wave solution. That is, the order α can be used to modify the shape of the solitary wave without change of the nonlinearity and the dispersion effects in the medium. Figure 3 is devoted to the study of the expression of the relation between the amplitude of the soliton and the fractional order at different time values. These figures show that at the same time, the increasing of the fractional α increases the amplitude of the solitary wave to some value of α.

Figure 1
figure 1

The function u as a 3-dimensions graph for different order α when p=3 , a=10 , b=1 , η 0 =0 .

Figure 2
figure 2

u as a function of space x at time t=1 for different order α when p=3 , a=10 , b=1 , η 0 =0 : (A1) 3-dimensions graph, (A2) 2-dimensions graph.

Figure 3
figure 3

The amplitude of the function u as a function of time t at space x=1 of the fractional order α when p=3 , a=10 , b=1 , η 0 =0 : (B1) 3-dimensions graph, (B2) 2-dimensions graph.

Author’s contributions

The author wrote this paper carefully, gave a rigorous derivation process, and read and approved the final manuscript.