A reliable technique to study nonlinear time-fractional coupled Korteweg–de Vries equations

This paper employs an efficient technique, namely q-homotopy analysis transform method, to study a nonlinear coupled system of equations with Caputo fractional-time derivative. The nonlinear fractional coupled systems studied in this present investigation are the generalized Hirota–Satsuma coupled with KdV, the coupled KdV, and the modified coupled KdV equations which are used as a model in nonlinear physical phenomena arising in biology, chemistry, physics, and engineering. The series solution obtained using this method is proved to be reliable and accurate with minimal computations. Several numerical comparisons are made with well-known analytical methods and the exact solutions when α=1\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$\alpha =1$\end{document}. It is evident from the results obtained that the proposed method outperformed other methods in handling the coupled systems considered in this paper. The effect of the fractional order on the problem considered is investigated, and the error estimate when compared with exact solution is presented.


Introduction
The study of fractional calculus, which involves fractional derivatives and integrals, has allured the interest of many in the field of engineering and natural sciences due to its monumental applications such as found in biotechnology [1], chaos theory [2], electrodynamics [3], random walk [4], signal and image processing [5,6], nanotechnology [7], viscoelasticity [8], and other various fields [9][10][11][12][13][14][15][16][17][18]. We also refer the reader to [19][20][21][22][23][24][25][26] for some recent applications of fractional calculus. Many researchers have also described the essential properties of this fractional calculus, see [27][28][29][30] for more details. However, solving a fractional coupled system of equations is generally more difficult than the classical type. This is due to the fact that its operators are defined by integral. In the present investigation, we consider the coupled systems: the generalized Hirota-Satsuma coupled with KdV, the coupled KdV, and the modified coupled KdV with Caputo fractional time derivative. Hirota and Satsuma in [31] introduced the coupled KdV equation, while the generalized Hirota-Satsuma coupled KdV and the modified coupled KdV equations were introduced by Wu et al. in [32].
In general, the KdV equations are found in the study of nonlinear dispersive waves [33]. They were introduced in 1895 by Korteweg and de Vries for modeling shallow water waves in a canal [34]. The proposed coupled KdV equations play a prominent role in diverse areas of applied sciences and engineering such as hydrodynamics, plasma physics, water waves, and quantum field theory. They describe the interactions between two long waves with different dispersion relations. These systems have attracted the attention of many researchers, and a great deal of work has been done. For instance, the generalized Hirota-Satsuma coupled with KdV has been handled via different approaches such as the new iterative method (NIM) [35], homotopy perturbation method (HPM) [36], Adomian' decomposition method (ADM) [37], homotopy analysis (HAM) [38], variational iteration method (VIM) [39], and reduced differential transformation method (RDTM) [40]. Fan in [41] used an extended tanh-function method and symbolic computation to obtain four types of soliton solutions of the generalized Hirota-Satsuma coupled KDV and modified coupled KDV equations. Arife et al. presented the numerical solutions of the generalized Hirota-Satsuma coupled KdV and modified coupled KDV equations through homotopy analysis method (HAM) [42]. In [43], approximate solutions of generalized Hirota-Satsuma coupled KDV and modified coupled KDV equations have been obtained by NIM. Ganji et al. in [44] used modified homotopy perturbation method to solve time-fractional generalized Hirota-Satsuma coupled KdV equations. Ghoreishi et al. used HAM to obtain approximate solutions of modified coupled KdV equations [45]. Kaya and Inan in [46] obtained traveling wave solutions of the coupled KdV and modified coupled KdV equations.
Due to the complicated nature of these coupled systems, the present study employs a combination of q-HAM (a modification of HAM) and the Laplace transform method, named q-homotopy analysis transform method (q-HATM), on these coupled KdV equations. The HAM was proposed in 1992 by Liao [28,47]. The search for a better way to expand the convergence region led to the modification of HAM, called q-HAM, more of a general method than HAM [48]. Many authors have taken advantage of q-HAM and used it to solve nonlinear fractional partial differential equations [49][50][51][52][53][54][55]. The q-HATM was proposed by Singh et al. [56] and did not require any form of discretization, linearization, or perturbation as compared to other methods. It requires neither polynomials like ADM nor Lagrange multiplier like VIM and overcomes the limitations of these methods. The q-HATM uses two convergence parameters and n that provide greater flexibility in adjusting and controlling the convergence region as well as convergence rate of the series solution. With all these advantages, we refer to the q-HATM as a simple, very effective, accurate method that has a wide-ranging feasibility and gives more refined convergent series solution. It is worth mentioning that q-HATM has been used extensively by many researchers due to consistency and efficacy of this method in analyzing nonlinear problems [57][58][59][60][61][62].
This paper is organized as follows. Some useful definitions, properties, and notations used in the sequel are presented in Sect. 2. The fundamental idea of the proposed method, the convergence theorem, and error analysis are detailed in Sect. 3. Section 4 is focused on the implementation of q-HATM on several examples of coupled KdV system of equations, the effects of fractional order α, and the -curves for optimal choice of the auxiliary parameter h. In Sect. 5, we present comparison of the solutions obtained by the proposed method q-HATM with several other analytical methods such as HPM, NIM, DTM, RDTM using exact solutions as benchmark. Finally, in Sect. 6, we summarize the result in the conclusion.

Preliminaries
Here, we present some useful definitions, properties, and notations that will be used in this work.

Definition 2.3
The Laplace transform (LT) of a Caputo fractional derivative is given as [27,65]

The q-homotopy analysis transform method (q-HATM)
We first give a general idea of the analysis of q-homotopy analysis transform method (q-HATM) applied to general nonlinear differential equations. Then, some convergence and error analysis theorems are presented.

Analysis of q-HATM
We give a brief analysis of q-HATM applied to a general nonlinear time-fractional equation of the form where D α t denotes the Caputo fractional derivative, R represents a linear differential operator, N indicates the nonlinear differential operator, Q(x, t) specifies the unknown function, and f (x, t) is the given source term. Employing Laplace transform denoted by L on Equation (5), we obtain Upon simplification, we reduce Equation (6) to To epitomize the idea of homotopy method [47], we construct the zeroth-order deformation equations for 0 ≤ q ≤ 1 n , n ≥ 1, as where N [φ(x, t; q)] is defined as Here, q is the embedded parameter, the nonzero is the auxiliary parameter, and H(x, t) = 0 indicates the auxiliary function. From Equation (8) with q = 0, 1 n , we obtain When q rises from 0 to 1 n , the solutions φ(x, t; q) range from the initial guess Q 0 to the solution Q. In case that Q 0 , H, and are all chosen accordingly, then the solutions φ(x, t; q) in Equation (8) hold in as much as 0 ≤ q ≤ 1 n . Hence, application of Taylor series expansion [66] for φ(x, t; q) gives where If we choose Q 0 , , and H adequately in order that Equation (11) converges at q = 1 n , from Equation (10) we obtain Differentiating Equation (8) m-times (w.r.t. to "q"), substituting q = 0, then multiplying by 1 m! , we obtain The vector Q r is expressed as Taking use of the inverse LT on Equation (14), we obtain where and In Equation (17), H denotes homotopy polynomial defined as follows:

Convergence and error analysis of q-HATM
Here, we give some useful theorems for the purpose of completeness. The detailed proofs can be found in [61,62] and the references therein.
where 0 < M < 1, then G has a fixed point in light of Banach's fixed point theory [67]. Furthermore, for the arbitrary selection of Q 0 ,Q 0 ∈ B, the sequence generated by the q-HATM converges to a fixed point of G and Moreover, if the truncated series is used as an approximation to the solutions Q(x, t) of problem (5), then the maximum absolute truncated errors are estimated as follows:

q-HATM application to a coupled system of time-fractional order
We have carefully chosen a coupled system of strongly nonlinear time-fractional differential equations and have applied the q-HATM to obtain the analytical approximate solutions in the form of convergent series.
Example 4.1 Consider the one-dimensional generalized Hirota-Satsuma coupled KdV system of equations [32] ∂ α Q ∂t α = 1 2 having the initial condition where k, r, η, and p are arbitrary constants. By implementing LT on Equation (23) with Equation (24), we obtain The nonlinear operators where φ i = φ i (x, t; q), i = 1, 2, 3, are defined as follows: Referring to Equation (14) with H(x, t) = 1, the mth-order deformation equation is where By employing the inverse LT on Equation (27), we get On solving the above equation, we obtain the following: Accordingly, the remaining terms can be derived. Thus, the q-HATM solution is presented as follows: For the case when α = 1, we select n = 1, = -1, and the four-term approximate solution is which as N → ∞ converges respectively to the exact solutions having initial condition The solution to the coupled system Equation (33) for a special case when α = 1 is where λ, k, and r are parameters. By implementing LT on Equation (33), in addition to The nonlinear operators where φ i = φ i (x, t; q), i = 1, 2, are defined as follows: Referring to Equation (14) with H(x, t) = 1, the mth-order deformation equation is where By applying the inverse LT on Equation (38), we have On solving the above equation and letting k = r, we obtain the following: Accordingly, the remaining terms can be derived. Thus, the q-HATM solution is presented as follows: For the case when α = 1, we select n = 1, = -1, and the four-term approximate solution is which as N → ∞ converges respectively to the exact solutions  having initial condition The solution to the coupled system Equation (44) for a special case when α = 1 is where A, B, and r are real parameters. By implementing LT on Equation (44), in addition to Equation (45), we obtain The nonlinear operators where φ i = φ i (x, t; q), i = 1, 2, are define as follows: Referring to Equation (14) with H(x, t) = 1, the mth-order deformation equation is where By applying the inverse LT on Equation (48), we have On solving the above equation with A = r and B = 3, we have Accordingly, the remaining terms can be derived. Thus, the q-HATM solution is presented as follows: For the case when α = 1, we select n = 1, = -1, and the four-term approximate solution is which as N → ∞ converges respectively to the exact solutions

Effects of fractional order α
We study the effect of fractional order α on the solution profiles for the coupled systems considered in this section. The dynamics of the profiles can be clearly observed, and this justifies why these models should be studied to understand these effects in real life applications.

Optimal choice of auxiliary parameter: -curves
The choice of the auxiliary parameter is very important in the q-HATM to ensure fast convergence of the series solutions. Here, we provide the so-called -curves that guide   (44) is presented, and their response helps the reader to understand the effect of fractional order. Furthermore, we observe that = -0.99 and -1 are in the range of convergence of series solution using the horizontal line test in the -curves, and when n = 2, we have a large range of values for the optimal choice of .

Conclusion
In this paper, the time-fractional Hirota-Satsuma coupled with KdV, coupled KdV, and modified coupled KdV systems, which describe interactions of two long waves with different dispersion relations, are considered using q-homotopy analysis transformation method. The proposed method presents a series solution in a form of recurrence relation with high accuracy and minimal computations. Several numerical comparisons are made with well-known analytical methods and the exact solutions when α = 1. It is evident from Tables 3-10 that the proposed method outperformed other methods in handling  Table 9 The comparison of numerical result of Q(x, t) obtained by NIM [43], q-HATM, and the exact solution Equation (35), also the absolute (ABS) errors when α = 1, = -1, k = r = λ = 0.1, and n = 1 for  Table 10 The comparison of numerical result of S(x, t) obtained by NIM [43], q-HATM, and the exact solution Equation (35), also the absolute (ABS) errors when α = 1, = -1, k = r = λ = 0.1, and n = 1 for the coupled systems considered in this paper. Hence, we can conclude that q-HATM is highly methodical and can be used to investigate strongly nonlinear fractional mathematical models describing natural phenomena. In the future, the authors will look into other numerical methodologies such as fourth-order nonstandard compact finite difference [68] or sixth-order implicit finite difference [69] both of high order difference schemes to solve the above proposed problems.