Abstract

This paper is aimed at constructing fractional power series (FPS) solutions of time-space fractional Boussinesq equations using residual power series method (RPSM). Firstly we generalize the idea of RPSM to solve any-order time-space fractional differential equations in high-dimensional space with initial value problems in . Using RPSM, we can obtain FPS solutions of fourth-, sixth-, and 2th-order time-space fractional Boussinesq equations in and fourth-order time-space fractional Boussinesq equations in and . Finally, by numerical experiments, it is shown that RPSM is a simple, effective, and powerful method for seeking approximate analytic solutions of fractional differential equations.

1. Introduction

The study of nonlinear problems is of crucial importance not only in mathematics but also in physics, engineering, economic, and other disciplines, since most phenomena in our world are essentially nonlinear. But it is very difficult to establish mathematical models for nonlinear problem. In the field of engineering and science, we come across physical and natural phenomena which are represented by mathematical models, happening to differential equations. For example, simple harmonic motion, equation of motion, and deflection of a beam are represented by differential equations. Hence, the behaviour of differential equations is a necessity in such studies. A natural idea is to seek the exact solution, but it is often too difficult to succeed. So, as in [1], we attempt to construct approximate solution. Many assumptions have to be made artificially or unnecessarily in the integer-order differential system to make the practical problems solvable, leading to loss of most significant information. So it is necessary to construct new systems to solve these problems and fractional-order system is one of these. That is to say, fractional differential system is much well suited to physical problems compared to its differential partner since it makes less unnecessary or overrestricted assumption which may change the problem being solved, sometimes seriously [2].

The subject of fractional-order system dates back from the idea of derivatives of noninteger order which initially appeared in a letter from Leibnitz to L’Hospital in about the notation . L’Hospital posed a question to Leibnitz: “what would the result be if ?” Leibnitz replied [3] “it follows that will be equal to . This is an apparent paradox, from which, one day useful consequences will be drawn.” From these words, fractional calculus was born. And so most authors on this topic will cite a particular date (September 30, 1695) as the birthday of the so-called “fractional calculus” [4]. However, at that time, there are little specific models based on this kind of derivative, so the study of fractional order system attracts little attention.

Nowadays, more and more researchers pay massive attention to fractional calculus and they find that fractional systems can seize the missed information in the integral order systems. It is well known that the integer-order differential operators and the integer-order integral operators are local, but on the aspect as well, the fractional-order differential operators and the fractional-order integral operators are nonlocal operators. This means that the next state of a system depends not only upon its current state but also upon all of its historical states. In fact, this is the main reason why differential operators of fractional order provide an excellent instrument for description of memory and hereditary properties of various mathematical, physical, and engineering processes [5, 6]. More details about the fractional differential theory can be found in [713].

Particularly, power series has played an important role in the study of elementary functions in the theory of calculus and it has been widely used in computational science for easily obtaining an approximation of functions. In physics, chemistry, and many other sciences, this power series expansion has allowed scientists to make an approximate study of many systems, neglecting higher-order terms around the equilibrium point. This is a fundamental tool to linearize a problem, which guarantees easy analysis [1, 6, 1416].

The motivation of this paper is to study the time-space fractional Boussinesq equations. The motion of water waves plays an important role in oceanographic engineering and for most geographical areas, which are produced by environmental actions on beaches or on man-made fixed or floating structures. Natural wave trains are irregular in shape and they interact because the propagation process is nonlinear. Classical wave theory failed to describe the combined effect of these processes and they can be divided into two categories:(1)a nonlinear description of monochromatic waves of a specific frequency or wave length;(2)a linear description of irregular waves based on superposition of individual frequency components with random phases [17, 18].

So many mathematicians and physicists tried to contract new model to describe the process of wave propagation on the surface of water. In 1872, the French scientist Joseph Boussinesq (1842–1929) derived a model equation [18] for the propagation of water waves from Euler’s equations to describe the propagation process of long waves on the surface of water with small amplitude. This equation was formulated for analysis of long waves in shallow water. Later the general form of Boussinesq equation [17] was applied to problems not only in the study of the dynamics of thin inviscid layers with free surface but also in the study of nonlinear string, the shape-memory alloys, the propagation of waves in elastic rods, shallow wave waters (waves with long wavelength compared to the depth), and the continuum limit of lattice dynamics or coupled electrical circuits. More and more researchers pay attention to this equation and get a number of interesting results which were applied to many areas [1720]. In recent years, with the development of fractional system rapidly, the classical Boussinesq equation evolves into the fractional Boussinesq equation, which is suitable for studying the water propagation through heterogeneous porous media [2124].

This paper is concerned with the following initial value problem for time-space fractional Boussinesq equation in high-dimensional space: where is a field function, , , , , , , , , , , , , describing the order of the time-fractional derivative. The constants and are the fourth-order and second-order coefficients of the space derivative, respectively, and the constants are the nonlinear coefficients. The symbol means the Caputo fractional derivative of order , , and . In [25], Jafari et al. considered the one-dimensional time-fractional Boussinesq equation; by finding the Lie point symmetries of the equation, they obtain the invariant solutions of the one-dimensional time-fractional Boussinesq equation. By the fractional subequation method, in [23], they obtained the solutions in terms of fractional hypergeometric functions, fractional triangle functions, and a rational function. Different from the solitary pattern solutions for nonlinear time-fractional dispersive partial differential equations in obtained by Arqub et al. [15], in this paper we attempt to construct the more general approximate fractional power series solutions in using RPSM. Furthermore, this method is valid for high-dimensional space and any-order time-space partial differential equations.

The organization of the rest of this paper is as follows: in Section 2, an introduction of some concepts on fractional calculus theory is presented. In Section 3, we introduce algorithm of RPSM for any-order time-space fractional differential equations with initial value problems. In Section 4, error analysis of RPSM is discussed simply. In Section 5, we apply RPSM to obtain fractional power series solutions of time-space fractional Boussinesq equations with initial value problems. The paper ends with some simple conclusions.

2. Concepts on Fractional Calculus Theory

There are several definitions of the fractional integration of order , not necessarily equivalent to each other; see [9]. Riemann-Liouville and Caputo fractional definitions are the two most used from all the other definitions of fractional calculus which have been introduced recently [5, 6, 2629].

Definition 1. The Mittag-Leffler function is defined as follows:

Definition 2. A real function , , is said to be in the space , , if there exists a real number such that , where , and it is said to be in the space if , .

Definition 3. The Riemann-Liouville fractional integral operator of order of a function , , is defined as follows:

Property 1. Properties of the operator : for , , , , , and .
Property  1.1. Consider
Property  1.2. Consider .
Property  1.3. Consider .

Definition 4. The Caputo fractional derivative of order of , , is defined as follows:

Property 2. Properties of the operator : for , and .
Property  2.1. Consider
Property  2.2. Consider .
Property  2.3. Consider .

Definition 5. For to be the smallest integer that exceeds , the Caputo time-fractional derivative operator of order of is defined as follows: And the space fractional derivative of order is defined as follows:

Definition 6. A power series representation of the formwhere and , is called a fractional power series about , where is a variable and are the coefficients of the series.

Theorem 7 (see [5, 6]). Suppose that has a FPS representation at of the form and is the radius of convergence of the FPS. If and for , then the coefficients will take the form of where .

Remark 8. If , then we have and is the radius of convergence of the FPS. If , , then the coefficients are .

3. Algorithm of RPSM

In [14], Abu Arqub et al. give RPSM to obtain power series solution of higher-order ordinary differential equation with initial conditions in in the integer system. In [5], El-Ajou et al. give the iterative progress of RPSM for time-fractional KdV-Burgers equation in . In this section, we give the more general RPSM to find out fractional power series solution for any-order time-space fractional differential equations with initial conditions in .

Let us consider the higher-order time-space fractional differential equation as the following form:where , , , and and are analytic functions about , , , (; ), and , .

Since is analytic about , the solution of the system can be written in the form ofwhere are terms of approximations and given as where is the radius of convergence of above series. Obviously, when , since the terms satisfy the initial condition, we can get So we have the initial guess approximation of in the following form:On the other aspect as well, if we choose as initial guess approximation for , the approximate of the solution of of (13) by the th truncated series is Before applying RPS method for solving (13), we give some notes: Substituting the th truncated series into (13), we can obtain the following definition for th residual function: where Then we have the following facts: (1);(2);(3), , . These show that the residual function is infinitely many times differentiable at . On the other hand, we can show that Since is not dependent on , denoting it by , then (23) can be written asIn fact, the relation of (24) is a fundamental rule in RPSM and its applications. So the FPS solution of (13) is where are given and have been constructed by RPSM in the form (24).

The algorithm of RPSM is considered a direct and simple approach because it depends on the recursive differentiation of time-fractional derivative and the use of given initial conditions to calculate coefficients of the multiple FPS solution using minimal calculations. The RPS does not require linearization, perturbation, or discretization of the variables; is not affected by computational round-off errors; and does not require large computer memory and extensive time.

4. Error Analysis of RPSM

It will be convenient to have a notation for the error in the approximation of (13): where denotes the exact solution of (13) and denotes th approximate solution of (13) obtained by RPSM and denotes the difference between and . The functions are called the th remainder for the approximation of . In fact, it often happens that the remainder become smaller and smaller, approaching zero, as tends to infinity.

To show the accuracy and efficiency of RPSM, we give two types of error: where denotes the absolute error;where denotes the relative error.

RPSM provides an approximate analytical solution in terms of an infinite FPS and it is necessary to give the errors of the approximate solution. In the next section, we apply RPSM to time-space fractional Boussinesq equations and take fourth-order time-space fractional Boussinesq equations as an example to illustrate the absolute error and relative error of the approximate solution.

5. Application of RPSM to Time-Fractional Boussinesq Equations

In this section, the procedure of constructing approximate analytical solutions to time-space fractional Boussinesq equations using RPSM is presented.

5.1. Fourth-Order Time-Space Fractional Boussinesq Equations in

Consider the fourth-order time-space fractional Boussinesq equation with one-dimensional space variable:where is a field function, , , , , , , , and are constant coefficients, and and .

According to (25), the solution of (29) can be written in the following form: Apparently, according to (17), it yieldsBy (18)–(22), we can show thatwhere , According to (23) and (24), we can obtainSo the th approximate solution of (29) is where can be found from (29) and (34).

Particularly, when , , , , , , , , and , the exact solution of (29) isUnder these special conditions, according to RPSM, that is (31)–(34), we have And the th approximate solution of (29) is It is easy to see that So the FPS solution of (29) iswhich is equal to the exact solutions (36).

Since we choose the special constant coefficients and give the initial value and , so the exact solution in (36) is easily obtained. However, the initial value in application may be “complex” which leads to difficulty to obtain the exact solution and even we cannot obtain it, so it is necessary to construct the approximate solution by RPSM. Thus it is necessary to illustrate the the validity and reliability of RPSM in order to construct numerical solution for generalized initial value.

In the numerical experiment, we take ; then . We plot the image of and with the Mathematica software (see Figures 1 and 2). It is obvious that is closely approximate to when . In order to give precise comparison, we plot the intersection of and at when with MATLAB (see Figures 3, 4, 5, and 6). It is clear that (see the red curve) is very close to (see the blue curve) when , especially around the point which corresponds to the form of the fractional power series solution assumed in (15).

In the Appendix, from the comparison of Tables 14, if the variable is given, the absolute error and the relative error tend to as tends to . So the behaviour of the exact solution can be described by the approximate fractional power series solution around the point .

Furthermore, if we want to know the behaviour of around the point , we can get the information by the transformation , namely, the expansion of the exact solution at point . And this analysis indicates that RPSM is effective and powerful in approximating the exact solution.

5.2. Sixth-Order Time-Space Fractional Boussinesq Equations in

Let us consider the sixth-order time-space fractional Boussinesq equation with one-dimensional space variable: where is a field function, , , , , , , , , , and are constants, and and .

According to (25), the solution of (41) can be written in the following form: Apparently, according to (17), we have Using (18)–(22), we can get where , By (23) and (24), it is shown thatSo the th approximate solution of (41) is where can be found from (41) and (46).

Particularly, when , , , , , , , , , and , the exact solution of (41) isAccording to RPSM, we can obtain And the th approximate solution of (41) isIt is easy to see that So the FPS solution of (41) is which is equal to (48).

When , the exact solution is , and we also plot the images (see Figures 7, 8, 9, 10, 11, and 12). And it is clear that when , is closely approximate to .

5.3. th-Order Time-Space Fractional Boussinesq Equations in

Let us consider the sixth-order time-space fractional Boussinesq equation:where is a field function, , , , are constant coefficients, , and and .

According to (25), the solution of (53) can be written in the following form: Apparently, according to (17), we have By (18)–(22), we can obtain where , Using (23) and (24), it is shown thatSo the th approximate solution of (53) iswhere can be found from (53) and (58).

When , , , , , , , , and , the exact solution of (53) isAccording to RPSM, we have And the th approximate solution of (53) is It is easy to see that So the FPS solution of (53) is which is equal to (60).

5.4. Fourth-Order Time-Space Fractional Boussinesq Equations in

Consider the fourth-order time-space fractional Boussinesq equation with two-dimensional space variables:where is a field function, , , , , , , , , are constants, and and .

Before solving this problem, we give several notations for convenience: So system (65) is equal toAccording to (25), the solution of (67) can be written in the following form: Apparently, according to (17), we have Using (18)–(22), we can obtain where , Using (23) and (24), it is shown thatSo the th approximate solution of (67) is where can be found from (67) and (72).

Particularly when , , , , , , , , and , the exact solution of (67) isAccording to RPSM, we have And the th approximate solution of (67) is It is easy to see that So the FPS solution of (67) is which is equal to (74).

5.5. Fourth-Order Time-Space Fractional Boussinesq Equations in

Let us consider the fourth-order time-space fractional Boussinesq equation with -dimensional space variables:where is a field function, , , , , , , , , , , , , and are constants, and and .

For convenience, we give several notations: So system (79) is equal toAccording to (25), the solution of (81) can be written in the following form: Apparently, according to (17), we have By (18)–(22), we can show thatwhere , According to (23) and (24), we can obtain So the th approximate solution of (81) is where can be found from (81) and (86).

When , , , , , , , , and . The exact solution of (81) isAccording to RPSM, we have And the th approximate solution of (81) is It is easy to see that So the FPS solution of (81) is which is equal to (88).

6. Conclusion

The RPSM method for constructing the fractional power series solutions for any-order time-space fractional Boussinesq equation with the initial values in is presented in this paper. The present technique is performed, based mainly on generating a residual error function and then applying the generalized power series formula. The numerical simulation results reveal the validity and reliability of RPSM. That is to say, RPSM is extremely powerful in terms of constructing fractional power series solutions or approximate fractional power series solutions for any-order time-space fractional partial differential equations in scientific applications.

Appendix

See Tables 1, 2, 3, and 4.

Competing Interests

The authors declare that there are no competing interests regarding the publication of this paper.

Acknowledgments

The authors express their sincere thanks to Professor Yong Li for his instructions and many invaluable suggestions. This work is supported in part by NSFC Grants 11571065, 11401089, and 11271062 and Jilin Science and Technology Development Project.