Preprint
Article

This version is not peer-reviewed.

On the Extended Simple Equations Method (SEsM) for Obtaining Numerous Exact Solutions to Fractional Partial Differential Equations: A Generalized Algorithm and Several Applications

A peer-reviewed article of this preprint also exists.

Submitted:

27 May 2025

Posted:

28 May 2025

You are already at the latest version

Abstract
In this article, we present the extended Simple equations method (SEsM) for finding exact solutions to systems of fractional nonlinear partial differential equations (FNPDEs). The expansions made to the original SEsM algorithm are implemented in several directions: (1) In constructing analytical solutions: Exact solutions to FNPDE systems are presented by simple or complex composite functions, including combinations of solutions to two or more different simple equations with distinct independent variables (corresponding to different wave velocities); (2) In selecting appropriate fractional derivatives and appropriate wave transformations: The choice of the type of fractional derivatives for each system of FNPDEs depends on the physical nature of the modeled real process. Based on this choice, the range of applicable wave transformations that are used to reduce FNPDEs to nonlinear ODEs has been expanded. It includes not only various forms of fractional traveling wave transformations but also standard traveling wave transformations. Based on these methodological enhancements, a generalized SEsM algorithm has been developed to derive exact solutions of systems of FNPDEs. This algorithm provides multiple options at each step, enabling the user to select the most appropriate variant depending on the expected wave dynamics in the modeled physical context. Two specific variants of the generalized SEsM algorithm have been applied to obtain exact solutions to two time-fractional shallow water–like systems. For generating these exact solutions, it is assumed that each system variable in the studied models exhibits multi–wave behaviour, which is expressed as a superposition of two waves propagating at different velocities. As a result, numerous novel multi–wave solutions are derived, involving combinations of hyperbolic–like, elliptic–like, and trigonometric–like functions. The obtained analytical solutions can provide valuable qualitative insights into complex wave dynamics in generalized spatio-temporal dynamical systems, with relevance to areas such as ocean current modeling, multiphase fluid dynamics and geophysical fluid modeling.
Keywords: 
;  ;  ;  ;  

1. Introduction

Over the past two decades, the use of fractional nonlinear partial differential equations (FNPDEs) has gained considerable popularity in the scientific community as a powerful mathematical framework for modeling and analyzing a wide range of complex phenomena observed in the real world. This modeling approach has been successfully applied in numerous scientific fields, including biology and ecology [1,2,3] , fluid mechanics [4,5,6,7] , finance and economics [8,9,10] and engineering [11,12,13] , etc. A central direction in the study of FNPDEs is finding and analyzing their exact analytical solutions. Analytical solutions provide deeper insight into the qualitative behavior of the modeled systems and serve as criteria for validating numerical simulations. However, obtaining exact solutions of FNPDEs poses significant mathematical challenges due to the combined complexities introduced by nonlinearity and non-integer order of derivatives.
Two main strategies for obtaining exact solutions of FNPDEs are widely used in the literature. The first approach involves applying appropriate fractional transformations to reduce the original FNPDEs into equivalent systems of nonlinear ordinary differential equations (ODEs) of integer order. Once this reduction is achieved, various well established analytical techniques can be used, such as ansatz–based methods [14]–19], group analysis [20,21], perturbation techniques [22,23], and decomposition methods [24,25]. Notable among these are the Hirota method [26], the homogeneous balance method [27], the auxiliary equation method [28], the Jacobi elliptic function expansion method [29], the (G’/G)-expansion method [30], the F–expansion method [15], the tanh–function method [32], the first integral method [33], the exponential function method [34], the simplest equation method [35], the modified method of simplest equation [36,37],etc. We note that the SEsM used in this study has an almost universal character, since most existing methods for obtaining analytical solutions of nonlinear PDEs (whether via integer–order ODEs or specific special functions) are limited to its particular cases, as shown in [38,39].
The second approach relies on standard traveling wave transformations that reduce the original FNPDEs to simpler fractional differential equations, usually fractional ODEs. Analytical solutions to these fractional ODEs are often represented by known special functions such as the Mittag-Leffler function. These functions are also involved in constructing solutions to the original FNPDEs. Within this class of methods, the fractional sub-equation method [40]–43] is particularly prominent. It uses known solutions to fractional versions of Riccati ODEs to construct analytical solutions to the FNPDEs under study.
The extended SEsM presented in this work provides a flexible and unified framework for obtaining analytical solutions to both single FNPDEs and systems of FNPDEs. In its classical form, SEsM [44,45,46] was designed to find exact solutions to NPDEs. According to the original SEsM algorithm the analytical solutions of the studied NPDEs are constructed as complex composite functions, which involve one or more simple composite functions that are power series of solutions to one or more simple equations with the same independent variables. In the last few years, an upgrade of SEsM has been proposed in [47,49,50]. It consists of presenting the analytical solutions of NPDEs (FNPDEs) as composite functions involving the solutions of at least two different simple equations with different independent variables. This extended version of SEsM was initially proposed in [47], where it was applied to the extended integer–order Korteweg–de Vries (KdV) equation, with the obtained exact solutions being combinations of two simple composite functions that involve the solutions of two different simple equations with different independent variables. To find the analytical solutions in [47], all popular types of first-order ODEs, such as variants of ODEs of Riccati and Bernoulli and an ODE of Abel of first order, have been used as simple equations. So far, a similar approach has been proposed only in [48]. It is based on the Kudryashov method, and is applied to the integer–order Boussinesq-like system and the integer–order shallow water wave equation. In this study, however, the proposed methodology is limited to using only two specific ODEs (sub–variants of an ODE of Riccati) as simple equations.
Regarding finding exact solutions of systems of FNDEs, two versions of the extended SEsM adapted to systems of FNDEs have recently been proposed in [49,50]. In [49] an extended version of SEsM was proposed based on the assumption that variables in a spatio–temporal dynamical system modeled by FNPDEs propagate at different velocities. In this framework, exact solutions of the studied system are constructed using simple composite functions formed by solutions of similar or different types of simple equations with distinct independent variables. This version of the extended SEsM was applied to a system of two FNPDEs that models a complex ecological phenomenon. In this way, numerous new exact solutions were derived using different solutions of a set of first-order ODEs. In [50] a different version of extended SEsM was introduced under the assumption that variables in the system of FNPDEs exhibit synchronized multi–wave behaviour. Accordingly, the solutions of the studied system are constructed as complex composite functions involving power series of solutions of two or more different types of simple equations with different independent variables. This version of the extended SEsM was applied to a system of two FNPDEs that models a complex fluid–like process, such as the one considered in the current study. In this way, numerous multi–wave solutions were obtained based on known exact solutions of a set of different second-order ODEs.
Building on both versions given above, in this paper, a generalized algorithm of the extended SEsM for obtaining exact solutions to systems of FNPDEs is proposed. The algorithm offers several variants at each step, allowing the user to select the most appropriate variant depending on the expected wave dynamics in the modeled real-world process. In this study, we demonstrate the effectiveness of this algorithm by its application to time-fractional versions of the models presented in [51]:
D t ϕ u 1 + v 1 x + u 1 u 1 x 3 α u 1 x x t = 0 D t ϕ v 1 + u 1 x + ( u 1 v 1 ) x α u 1 x x x = 0
and
D t ϕ u 2 + v 2 x + u 2 u 2 x = 0 D t ϕ v 2 + ( u 2 v 2 ) x + u 2 x x x = 0
Equation (1) and Equation (2) are mathematical generalizations inspired by two variants of classical Boussinesq system, where ϕ is a time–fractional number and α in Equation (1) is an arbitrary coefficient. Bellow we shall derive exact solutions of Equation (1) and Equation (2) applying two different step’s variants of the generalized SEsM algoritm regarding the type of the wave transformation introduced and the type of simple equations used. We note that various new exact solutions of a model system similar to Equation (2) were obtained in [50]. However, to derive these analytical solutions, in [50], a different sub–variant of the extended SEsM was applied than the one used in the current study.

2. Preliminaries Relevant to the Present Study

For the convenience of the reader, in this section we present several important statements from [52,53], which clarify some basic aspects in the current study.

2.1. Fractional Derivative via Fractional Difference

Definition 2.1. Let f : R R , x f ( x ) , denote a continuous (but not necessarily differentiable) function, and let h > 0 denote a constant discretization span. Define the forward operator F W ( h ) by the equality (the symbol : = means that the left side is defined by the right side)
F W ( h ) f ( x ) : = f ( x + h ) ;
then the fractional difference of order ϕ , 0 < ϕ < 1 , of f ( x ) is defined by the expression
Δ ϕ f ( x ) : = ( F W 1 ) ϕ = k = 0 ( 1 ) k ϕ k f [ x + ( ϕ k ) h ]
and its fractional derivative of order ϕ is defined by the limit
f ϕ ( x ) = lim h 0 Δ ϕ f ( x ) h ϕ

2.2. Modified Fractional Riemann–Liouville Derivative

Definition 2.2. Refer to the function f ( x ) of Definition 2.1.
(i) Assume that f ( x ) is a constant K . Then its fractional derivative of order ϕ is
D x ϕ = K Γ 1 ( 1 ϕ ) x ϕ , ϕ 0 , = 0 , ϕ 0 .
(ii) When f ( x ) is not a constant, then we will set
f ( x ) = f ( 0 ) + [ f ( x ) f ( 0 ) ] ,
and its fractional derivative will be defined by the expression
f ϕ ( x ) = D x ϕ ( 0 ) + D x ϕ f ( x ) f ( 0 ) ,
in which, for negative ϕ , one has
D x ϕ ( f ( x ) f ( 0 ) ) : = 1 Γ ϕ 0 x ( x ζ ) ϕ 1 f ( ζ ) d ζ , ϕ 0
whilst for positive ϕ we will set
D x ϕ ( f ( x ) f ( 0 ) ) = D x ϕ ( f ( x ) ) = D x ϕ ( f ( ϕ 1 ) ( x ) ) , ϕ 0 .
When n ϕ < n + 1 ,
f ϕ ( x ) : = f ( ϕ 1 ) ( x ) n , n ϕ , n + 1
In order to find the fractional derivative of compound functions, the following equation holds:
d ϕ f Γ ( 1 + ϕ ) d f , 0 < ϕ < 1 .

2.3. Taylor’s Series of Fractional Order

Proposition: Assume that he continuous function f : R R , x f ( x ) has a fractional derivative of order k ϕ . For any positive integer k and for any ϕ , 0 < ϕ < 1 , then the following equality holds
f ( x + h ) = k = 0 h ϕ k ( ϕ k ) ! f ( ϕ k ) ( x ) ,
with the notation
Γ ( 1 + k ϕ ) = ( ϕ k ) ! , 0 < ϕ 1
where Γ ( . ) is the Euler gamma function. Formally, this series can be written
f ( x + h ) = E ϕ ( h ϕ D x ϕ ) f ( x )
where D x is the derivative operator with respect to x, and E ϕ ( u ) is the Mittag-Leffler function defined by the expression
E ϕ ( u ) = k = 0 u k ( ϕ k ) ! = k = 0 u k Γ ( 1 + k ϕ )
Remark: This fractional Taylor’s series does not hold with the standard Riemann–Liouville derivative, but it is applied to non-differentiable functions only.
Corollary: Assume that m < ϕ m + 1 , m N 0 and that f ( x ) has derivatives of order k (integer), 1 k m . Assume further that f m ( x ) has a fractional Taylor’s series of order ϕ m = : ψ
provided by the expression
f m ( x + h ) = k = 0 h k ( ϕ m ) Γ [ 1 + k ( ϕ m ) ] D k ( ϕ m ) f ( m ) ( x ) , m < ϕ < m + 1
Then, integrating this series with respect to h provides
f ( x + h ) = k = 0 m h k k ! f ( k ) ( x ) + k = 0 h ( k ψ + m ) Γ ( k ψ + m + 1 ) f ( k ψ + m ) ( x ) , ψ : = ϕ m

3. Description of the Generalized Algorithm of the Extended Simple Equations Method (SEsM)

In this section, we shall provide a detailed presentation of the generalized SEsM algorithm, highlighting the various capabilities it offers for obtaining different types of complex analytical solutions of systems of FNPDEs. Several variants of this algorithm can be found in previous works [49,50], and we unite and complement them in this article. As it is shown below, unlike the original SEsM algorithm outlined in [44]–46], we have swapped its first and second steps, incorporating methodological extensions into both steps of the original SEsM algorithm.
Taking into account the problem we set out to solve in this study, we shall demonstrate all the possible steps of the algorithm above mentioned for a system of two FNPDEs with two independent variables:
Ψ ( u ( x , t ) , D t ϕ u ( x , t ) , D x ϕ u ( x , t ) , D t t 2 ϕ u ( x , t ) , D x x 2 ϕ u ( x , t ) , . . . ) = 0 Ω ( v ( x , t ) , D t ϕ v ( x , t ) , D x ϕ v ( x , t ) , D t t 2 ϕ v ( x , t ) , D x x 2 ϕ v ( x , t ) , . . . ) = 0 , 0 < ϕ 1
where D denotes the arbitrary fractional order derivative operator, as superscripts ϕ , 2 ϕ . . give its fractional number and subscripts denote time and partial derivatives. Here, Ψ and Ω are polynomials of u ( x , t ) and v ( x , t ) and its derivatives, respectively, where u = u ( x , t ) and v = v ( x , t ) are unknown functions.
The generalized extended SEsM algorithm which is adopted for finding exact solutions of FNPDEs includes the following basic steps:
  • Construction of the solution of Equation (19). In addition to the known conventional methods for obtaining exact solutions of Equation (19), where such solutions are constructed by power series of the solutions of one simple (auxiliary) equation (or one special function) with the same independent variable for the both system variables in (19), the SEsM provides also several alternative variants:
    • Variant 1: Constructing the solution of Equation (19) by single composite functions. These single composite functions can be:
      (a)
      with distinct independent variables: This solution variant is applicable to real–world dynamical models of a type (19), where it is expected that the system variables demonstrate different wave behaviour and they move with different wave speeds. Thus, a such solution takes the form:
      u ( ξ 1 ( x , t ) ) = F 1 ( ξ 1 ( x , t ) ) , v ( ξ 2 ( x , t ) ) = F 2 ( ξ 2 ( x , t ) ) ,
      where ξ 1 ( x , t ) , ξ 2 ( x , t ) are generalized wave variables (to be defined in the next step) and F 1 , F 2 are simple composite functions of the form:
      F 1 ( ξ 1 ) = i 1 = 1 n 1 ϵ i 1 [ f 1 ( ξ 1 ) ] i 1 , F 2 ( ξ 2 ) = i 2 = 1 n 2 η i 2 [ f 2 ( ξ 2 ) ] i 2 ,
      or
      F 1 ( ξ 1 ) = i 1 = n 1 n 1 ϵ i 1 [ f 1 ( ξ 1 ) ] i 1 , F 2 ( ξ 2 ) = i 2 = n 2 n 2 η i 2 [ f 2 ( ξ 2 ) ] i 2 ,
      where f 1 ( ξ 1 ) and f 2 ( ξ 2 ) being solutions of simple equations (to be selected at a later stage of the algorithm), and ϵ i 1 , η i 2 are coefficients to be determined later.
      Remark: The simple equations used may have the same analytical form as shown in [49], but they may have a different form. The form of the simple equations used depends on the physical wave characteristics of the real-world system being modeled.
      (b)
      with a single common wave variable: This solution variant is applicable to real–world dynamical models of a type (19), where it is expected that the system variables demonstrate different wave behaviour but it is synchronized. For this case, the solution of Equation (19) reduces to:
      u ( ξ ( x , t ) ) = F 1 ( ξ ( x , t ) ) , v ( ξ ( x , t ) ) = F 2 ( ξ ( x , t ) ) ,
      where F 1 , F 2 are again two simple composite functions of the form similar to (21) or (22), that include the solutions of two distinct simple equations but with common wave variable.
      Remark: When the simple equations used have an identical analytical form, the solution (23) has the same form as that used in all other known methods for finding exact solutions to systems of FNPDEs (NPDES) to date.
    • Variant 2: Constructing the solution of Equation (19) by complex composite functions including combinations of at least two single composite functions. The single composite functions can be:
      (a)
      with distinct independent variables: This solution variant is applicable to real–world dynamical models of a type (19), where it is expected that the both system variables can exhibit both a synchronized multi–wave behavior or non–synchronized multi–wave behavior as the different waves move with different speeds. The simplest examples of synchronized multi–wave behaviour of the variables of system (19) can be expressed analytically as:
      u ( x , t ) = F 1 ( ξ 1 ( x , t ) ) + F 2 ( ξ 2 ( x , t ) ) , v ( x , t ) = F 3 ( ξ 1 ( x , t ) ) + F 4 ( ξ 2 ( x , t ) )
      u ( x , t ) = F 1 ( ξ 1 ( x , t ) ) F 2 ( ξ 1 ( x , t ) ) , v ( x , t ) = F 3 ( ξ 1 ( x , t ) ) F 4 ( ξ 2 ( x , t ) ) ,
      u ( x , t ) = F 1 ( ξ 1 ( x , t ) ) F 2 ( ξ 2 ( x , t ) ) , v ( x , t ) = F 3 ( ξ 1 ( x , t ) ) F 4 ( ξ 2 ( x , t ) ) ,
      where ξ 1 ( x , t ) , ξ 2 ( x , t ) are again generalized wave variables, and the single composite functions F 1 ( ξ 1 ) , F 2 ( ξ 2 ) , F 3 ( x i 1 ) , F 4 ( ξ 2 ) are expressed as follows:
      F 1 ( ξ 1 ) = i 1 = 1 n 1 ϵ i 1 [ f 1 ( ξ 1 ) ] i 1 , F 2 ( ξ 2 ) = i 2 = 1 n 2 η i 2 [ f 2 ( ξ 2 ) ] i 2 , F 3 ( ξ 1 ) = i 3 = 1 n 3 θ i 3 [ f 1 ( ξ 1 ) ] i 3 , F 4 ( ξ 2 ) = i 4 = 1 n 4 ι i 4 [ f 2 ( ξ 2 ) ] i 4 ,
      where f 1 ( ξ 1 ) and f 2 ( ξ 2 ) are solutions of two distinct simple equations, that will be defined in Step 3 of the SEsM algorithm.
      In the case of different multi–wave dynamics implemented by the variables of Equation (19), its solutions can be constructed as combinations of the solutions (2426). For example, several alternative solutions can been written:
      u ( x , t ) = F 1 ( ξ 1 ( x , t ) ) + F 2 ( ξ 2 ( x , t ) ) , v ( x , t ) = F 3 ( ξ 1 ( x , t ) ) F 4 ( ξ 2 ( x , t ) ) ,
      u ( x , t ) = F 1 ( ξ 1 ( x , t ) ) F 2 ( ξ 2 ( x , t ) ) , v ( x , t ) = F 3 ( ξ 1 ( x , t ) ) + F 4 ( ξ 2 ( x , t ) ) ,
      u ( x , t ) = F 1 ( ξ 1 ( x , t ) ) + F 2 ( ξ 2 ( x , t ) ) , v ( x , t ) = F 3 ( ξ 1 ( x , t ) ) F 4 ( ξ 2 ( x , t ) ) ,
      u ( x , t ) = F 1 ( ξ 1 ( x , t ) ) F 2 ( ξ 2 ( x , t ) ) , v ( x , t ) = F 3 ( ξ 1 ( x , t ) ) + F 4 ( ξ 2 ( x , t ) ) ,
      u ( x , t ) = F 1 ( ξ 1 ( x , t ) ) F 2 ( ξ 2 ( x , t ) ) , v ( x , t ) = F 3 ( ξ 1 ( x , t ) ) F 4 ( ξ 2 ( x , t ) ) ,
      u ( x , t ) = F 1 ( ξ 1 ( x , t ) ) F 2 ( ξ 2 ( x , t ) ) , v ( x , t ) = F 3 ( ξ 1 ( x , t ) ) F 4 ( ξ 2 ( x , t ) ) ,
      where the single composite functions F 1 ( ξ 1 ) , F 2 ( ξ 2 ) , F 3 ( ξ 1 ) , F 4 ( ξ 2 ) are given in Equation (27).
      (b)
      with a single common wave variable: This solution variant is applicable to real–world dynamical models of a type (19), where it is expected that the system variables demonstrate multi–wave behaviour, where the waves propagate with the same speed. In this scenario, ξ 1 = ξ 2 = ξ . Given this, it is easy to make a change in the wave coordinates in Equations (24)–(33) to obtain analogous variants of analytical solutions of Equation (19) for this specific case. The form of some solution variants in this category approaches the forms of analytical solutions proposed in several similar methodologies in this field.
      Remark: The analytical forms of the single composite functions can be of the same type for the both system variables, i.e. they can include combinations of solutions of simple equations with an identical analytical form. However, they can also include combinations of solutions of different types’ simple equations, as the specific construction forms being determined by the specific physical nature of the model equations.
  • Selection of the traveling wave type transformation. To apply the SEsM to Equation (19), it is crucial to define the fractional derivatives in those equations. The choice of fractional derivatives (e.g., Riemann-Liouville, Caputo,conformable, etc.) is essential for accurately modeling wave dynamics and reflecting the system’s physical properties, based on factors like the process nature, boundary conditions, and memory effects interpretation. In this context, the following variants of transformations are possible:
    • Variant 1: Use of a fractional transformation. The choice of explicit form of the fractional traveling wave transformation depends on how the fractional derivatives in Equation (19) are defined. Bellow, the most used fractional traveling wave transformations are selected:
      (a)
      Conformable fractional traveling wave transformation: ξ 1 = κ 1 x ϕ ϕ + ω 1 t ϕ ϕ , ξ 2 = κ 2 x ϕ ϕ + ω 2 t ϕ ϕ , defined for conformable fractional derivatives [54];
      (b)
      Fractional complex transform: ξ 1 = κ 1 x ϕ Γ ( ϕ + 1 ) + ω 1 t ϕ Γ ( ϕ + 1 ) , ξ 2 = κ 2 x ϕ Γ ( ϕ + 1 ) + ω 2 t ϕ Γ ( ϕ + 1 ) , defined for modified Riemann–Liouville fractional derivatives [52], which can applied for Caputo fractional derivatives and other fractional derivative types in studied FNPDEs [55].
      (c)
      Some more specific fractional transformations, such as ξ 1 = κ 1 ϕ ( x + 1 Γ ( ϕ ) ) ϕ + ω 1 ϕ ( t + 1 Γ ( ϕ ) ) ϕ , ξ 2 = κ 2 ϕ ( x + 1 Γ ( ϕ ) ) ϕ + ω 2 ϕ ( t + 1 Γ ( ϕ ) ϕ , defined for Beta derivatives [56]; ξ 1 = Γ ( Θ + 1 ) ϕ ( κ 1 x ϕ + ω 1 t ϕ ) , ξ 2 = Γ ( Θ + 1 ) ϕ ( κ 2 x ϕ + ω 2 t ϕ ) , defined for M-truncated derivatives [57] and others.
      In all the cases, the studied FNPDEs are reduced to integer–order nonlinear ODEs.
    • Variant 2: Use a standard traveling wave transformation. In this case, by introducing a traveling wave ansatz ξ 1 = κ 1 x + ω 1 t , ξ 2 = κ 2 x + ω 2 t in the selected variant solutions from Step 1, the studied FNPDEs are reduced to fractional nonlinear ODEs.
  • Selection of the forms of the used simple equations.
    • For Variant 1 of Step 2: The general form of the integer–order simple equations used is:
      d k 1 f 1 d ξ 1 k 1 l 1 = j 1 = 0 m 1 μ j 1 f 1 j 1 , d k 2 f 2 d ξ 2 k 2 l 2 = j 2 = 0 m 2 ν j 2 f 2 j 2 .
      By fixing l 1 , l 2 and m 1 , m 2 (at k 1 = k 2 = 1 ) in Equation (34), different types integer–order ODEs can be used as simple equations, such as:
      -
      (a) ODEs of first order with known analytical solutions (For example, an ODE of Riccati, an ODE of Bernoulli, an ODE of Abel of first kind, an ODE of tanh–function,etc);
      -
      (b) ODEs of second order with known analytical solutions (For example elliptic equations of Jaccobi and Weiershtrass and their sub–variants, an ODE of Abel of second kind, etc.).
    • For Variant 2 of Step 2: The general form of the fractional simple equations used is:
      D ξ 1 ϕ = j 1 = 0 m 1 μ j 1 f 1 j 1 , D ξ 2 ϕ = j 2 = 0 m 2 ν j 2 f 2 j 2 ,
      By fixing and m 1 , m 2 in Equation (35), several types fractional ODEs can be used as simple equations, such as a fractional ODE of Riccati (and its sub–variants) and a fractional ODE of Bernoulli.
  • Derivation of the balance equations and the system of algebraic equations. The fixation of the explicit form of constructed variant solutions of Equation (19) presented in Step 1 of the SEsM algorithm depends on the balance equations derived. Substitutions of the selected variants from Steps 1,2 and 3 in Equation (19) leads to obtaining polynomials of the functions f 1 and f 2 . The coefficients in front of these functions include the coefficients of the solution of the considered FNPDEs as well as the coefficients of the simple equations used. Analytical solutions of Equation (19) can be extracted only if each coefficient in front of the functions f 1 and f 2 contains almost two terms. Equating these coefficients to zero leads to formation of a system of nonlinear algebraic equations for each variant chosen according Steps 1,2 and 3 of the SEsM algorithm.
  • Derivation of the analytical solutions. Any non–trivial solution of the algebraic system above mentioned leads to a solution of the studied FNPDEs by replacing the specific coefficients in the corresponding variant solutions, given in Step 1 as well as by changing the traveling wave coordinates chosen by the variants given in Step 2. For simplicity, these solutions are expressed through special functions. For a Variant 1 of the Step 3, these special functions are V μ 0 , μ 1 , . . . , μ j 1 ( ξ 1 ; k 1 , l 1 , m 1 ) and V ν 0 , ν 1 , . . . , ν j 2 ( ξ 2 ; k 2 , l 2 , m 2 ) , as their explicit forms are determined on the basis of the specific form of the simple equations chosen (For reference, see Equation (34)). For a Variant 2 of the Step 3, the special functions are V μ 0 , μ 1 , . . . , μ j 1 ( ξ 1 , ϕ ; m 1 ) and V ν 0 , ν 1 , . . . , ν j 2 ( ξ 2 , ϕ ; m 2 ) , whose exact forms are determined by the type of fractional simple equations used (For reference, see see Equation (35)).
The generalized algorithm presented above is designed to support researchers in this field to extract analytical solutions of models of type (19), which describe dynamics of natural processes. Using this algorithm, researchers can select among the variants provided in Steps 1, 2, and 3, making their choice on the basis of the specific characteristics of the wave dynamics which is expected for the natural phenomenon being modeled.
In the remainder of this article, we apply two different variants of the generalized SEsM algorithm described above to Equation (1) and Equation (2).

4. Derivation of Multi–Wave Exact Solutions of Equation (1) Using a Fractional Wave Transformation

Following the generalized SEsM algorithm, presented above, we choose to present the solution of Equation (1) by complex composite functions, which include sums of two single simple composite functions with different independent variables, i.e.
u 1 ( ξ 1 , ξ 2 ) = i 1 = 0 n 1 ϵ i 1 [ f 1 ( ξ 1 ) ] i 1 + i 2 = 0 n 2 η i 2 [ f 2 ( ξ 2 ) ] i 2 v 1 ( ξ 1 , ξ 2 ) = i 3 = 0 n 3 θ i 3 [ f 1 ( ξ 1 ) ] i 3 + i 4 = 0 n 4 ι i 4 [ f 2 ( ξ 2 ) ] i 4
We choose to define the system (1) by modified Riemann–Liouville fractional derivatives. Then, the fractional wave transformations are:
ξ 1 = x + ω 1 t ϕ Γ ( ϕ + 1 ) , ξ 2 = x + ω 2 t ϕ Γ ( ϕ + 1 )
We choose to use ODEs of second order as simple equations. We fix their polynomial parts up to fourth degree, i.e.
d f 1 d ξ 1 2 = j 1 = 0 4 μ j 1 [ f 1 ( ξ 1 ) ] j 1 , d f 2 d ξ 2 2 = j 2 = 0 4 ν j 2 [ f 2 ( ξ 2 ) ] j 2
There are many sub–variants of Equation (38) depending on the numerical values of coefficients μ 0 , . . , μ 4 and ν 0 , . . , ν 4 . In this study, we chose to fix μ 1 = μ 3 = 0 and ν 0 = ν 1 = ν 3 = 0 . Then, the simple equations used are reduced to
d f 1 d ξ 1 2 = μ 0 + μ 2 f 1 2 + μ 4 f 1 4 , d f 2 d ξ 2 2 = ν 2 f 2 2 + ν 4 f 2 4 ,
and their analytical solutions (used in this study), are presented in Appendix A.1
A balance procedure is performed, and the resulting balance equations are n 1 = n 3 = 2 m 1 2 and n 2 = n 4 = 2 m 2 2 Based on this, the general solution of Equation (1), presented by the special functions V μ 0 , 0 , μ 2 , 0 , μ 4 ( ξ 1 , 1 , 2 , 4 ) and V 0 , 0 , ν 2 , 0 , ν 4 ( ξ 2 , 1 , 2 , 4 ) is
u 1 ( ξ 1 , ξ 2 ) = ϵ 0 + ϵ 1 V μ 0 , 0 , μ 2 , 0 , μ 4 ( ξ 1 ; 1 , 2 , 4 ) + ϵ 2 V μ 0 , 0 , μ 2 , 0 , μ 4 2 ( ξ 1 ; 1 , 2 , 4 ) + η 0 + η 1 V 0 , 0 , ν 2 , 0 , ν 4 ( ξ 2 ; 1 , 2 , 4 ) + η 2 V 0 , 0 , ν 2 , 0 , ν 4 2 ( ξ 2 ; 1 , 2 , 4 ) v 1 ( ξ 1 , ξ 2 ) = θ 0 + θ 1 V μ 0 , 0 , μ 2 , 0 , μ 4 ( ξ 1 ; 1 , 2 , 4 ) + θ 2 V μ 0 , 0 , μ 2 , 0 , μ 4 2 ( ξ 1 ; 1 , 2 , 4 ) + ι 0 + ι 1 V 0 , 0 , ν 2 , 0 , ν 4 ( ξ 2 ; 1 , 2 , 4 ) + η 2 V 0 , 0 , ν 2 , 0 , ν 4 2 ( ξ 2 ; 1 , 2 , 4 )
Substitution of Equation (36), Equation (37) and Equation (39) in Equation (1) leads to the following system of nonlinear algebraic equations:
4 ϵ 2 2 120 α ϵ 2 μ 4 8 ϵ 2 θ 2 = 0 30 α ϵ 1 μ 4 + 6 ϵ 1 ϵ 2 6 ϵ 2 θ 1 6 ϵ 1 θ 2 = 0 4 ϵ 2 η 2 4 θ 2 η 2 4 ϵ 2 ι 2 = 0 2 ϵ 2 ι 1 + 2 ϵ 2 η 1 2 θ 2 η 1 = 0 4 ϵ 2 ι 1 4 θ 2 η 1 + 4 η 1 ϵ 2 = 0 2 ϵ 2 + 4 θ 2 + 2 ϵ 1 2 + 2 ω 1 ϵ 2 + 2 ω 2 ϵ 2 + 4 ϵ 0 ϵ 2 + 4 η 0 ϵ 2 2 ω 1 θ 2 2 ω 2 θ 2 4 ϵ 0 θ 2 4 ϵ 1 θ 1 4 η 0 θ 2 4 θ 0 ϵ 2 4 ι 0 ϵ 2 40 α ϵ 2 μ 2 = 0 2 ϵ 1 η 1 2 ϵ 1 ι 1 2 θ 1 η 1 = 0 4 ϵ 1 ι 2 4 θ 1 η 2 = 0 2 η 2 ϵ 1 2 ϵ 1 ι 2 2 θ 1 η 2 = 0 ϵ 1 + 2 θ 1 2 ϵ 0 θ 1 2 θ 0 ϵ 1 5 α ϵ 1 μ 2 2 ι 0 ϵ 1 + ω 2 ϵ 1 + 2 ϵ 0 ϵ 1 + ω 1 ϵ 1 ω 1 θ 1 ω 2 θ 1 + 2 η 0 ϵ 1 2 η 0 θ 1 = 0 120 α η 2 ν 4 8 η 2 ι 2 + 4 η 2 2 = 0 6 η 1 ι 2 + 6 η 1 η 2 6 η 2 ι 1 30 α η 1 ν 4 = 0 4 ϵ 0 η 2 2 ω 1 ι 2 + 4 η 0 η 2 40 α η 2 ν 2 + 2 ω 2 η 2 + 2 ω 1 η 2 4 η 1 ι 1 2 η 2 + 4 ι 2 4 ϵ 0 ι 2 4 θ 0 η 2 4 ι 0 η 2 + 2 η 1 2 2 ω 2 ι 2 4 η 0 ι 2 = 0 η 1 + 2 ι 1 2 ϵ 0 ι 1 2 η 0 ι 1 5 α η 1 ν 2 ω 1 ι 1 ω 2 ι 1 + 2 η 0 η 1 2 θ 0 η 1 2 ι 0 η 1 + 2 ϵ 0 η 1 + ω 1 η 1 + ω 2 η 1 = 0
One simple non–trivial solution of this system is:
ϵ 1 = η 1 = θ 1 = ι 1 = 0 ; ϵ 2 = 3 μ 4 2 2 η 0 + ω 2 + ω 1 + 2 ϵ 0 2 μ 2 ν 2 ; η 2 = 3 ν 4 2 2 η 0 + ω 2 + ω 1 + 2 ϵ 0 2 μ 2 ν 2 ; θ 0 = 0 ; θ 2 = 3 μ 4 4 2 2 η 0 ω 2 ω 1 2 ϵ 0 + 20 α μ 2 20 α ν 2 μ 2 ν 2 ; ι 0 = 1 2 η 0 + 1 4 ω 1 5 α μ 2 + 1 4 ω 2 5 α ν 2 θ 0 + 1 2 ϵ 0 ; ι 2 = 3 ν 4 4 2 η 0 + ω 2 + ω 1 + 2 ϵ 0 + 20 α μ 2 20 α ν 2 2 μ 2 ν 2
where ϵ 0 , η 0 , α , μ 2 , μ 4 , ν 2 , ν 4 , ω 1 , ω 2 are free parameters. Substituting the coefficients of Equation (42) in Equation (40) and combining the different analytical solution of Equation (39) leads to the following families of exact solutions of Equation (1):
  • Family 1: A solution combined distinct generalized hyperbolic functions with different independent variables:
    u 1 ( 1 ) ( ξ 1 , ξ 2 ) = ϵ 0 + 3 μ 4 2 2 η 0 + ω 2 + ω 1 + 2 ϵ 0 2 μ 2 ν 2 V ( 1 ) μ 0 , 0 , μ 2 , 0 , μ 4 2 ( ξ 1 ; 1 , 2 , 4 ) + η 0 3 ν 4 2 2 η 0 + ω 2 + ω 1 + 2 ϵ 0 2 μ 2 ν 2 V ( 1 ) 0 , 0 , μ 2 , 0 , μ 4 2 ( ξ 1 ; 1 , 2 , 4 ) v 1 ( 1 ) ( ξ 1 , ξ 2 ) = 3 μ 4 4 2 2 η 0 ω 2 ω 1 2 ϵ 0 + 20 α μ 2 20 α ν 2 μ 2 ν 2 V ( 1 ) μ 0 , 0 , μ 2 , 0 , μ 4 2 ( ξ 1 ; 1 , 2 , 4 ) + 1 2 η 0 + 1 4 ω 1 5 α μ 2 + 1 4 ω 2 5 α ν 2 θ 0 + 1 2 ϵ 0 3 ν 4 4 2 η 0 + ω 2 + ω 1 + 2 ϵ 0 + 20 α μ 2 20 α ν 2 2 μ 2 ν 2 V ( 1 ) 0 , 0 , μ 2 , 0 , μ 4 2 ( ξ 1 ; 1 , 2 , 4 )
    where
    V μ 0 , 0 , μ 2 , 0 , μ 4 ( 1 ) ( ξ 1 ; 1 , 2 , 4 ) = μ 2 2 μ 4 tanh ( μ 2 2 ξ 1 )
    for μ 0 = μ 2 2 4 μ 4 , μ 2 < 0 , μ 4 > 0 and
    V 0 , 0 , μ 2 , 0 , μ 4 ( 1 ) ( ξ 2 ; 1 , 2 , 4 ) = ν 2 ν 4 s e c h ( ν 2 ξ 2 )
    for ν 2 > 0 , ν 4 < 0 . The wave coordinates ξ 1 and ξ 2 are given in Equation (37).
  • Family 2: A solution combined distinct generalized trigonometric functions with different independent variables:
    u 1 ( 2 ) ( ξ 1 , ξ 2 ) = ϵ 0 + 3 μ 4 2 2 η 0 + ω 2 + ω 1 + 2 ϵ 0 2 μ 2 ν 2 V ( 2 ) μ 0 , 0 , μ 2 , 0 , μ 4 2 ( ξ 1 ; 1 , 2 , 4 ) + η 0 3 ν 4 2 2 η 0 + ω 2 + ω 1 + 2 ϵ 0 2 μ 2 ν 2 V ( 2 ) 0 , 0 , μ 2 , 0 , μ 4 2 ( ξ 1 ; 1 , 2 , 4 ) v 1 ( 2 ) ( ξ 1 , ξ 2 ) = 3 μ 4 4 2 2 η 0 ω 2 ω 1 2 ϵ 0 + 20 α μ 2 20 α ν 2 μ 2 ν 2 V ( 2 ) μ 0 , 0 , μ 2 , 0 , μ 4 2 ( ξ 1 ; 1 , 2 , 4 ) + 1 2 η 0 + 1 4 ω 1 5 α μ 2 + 1 4 ω 2 5 α ν 2 θ 0 + 1 2 ϵ 0 3 ν 4 4 2 η 0 + ω 2 + ω 1 + 2 ϵ 0 + 20 α μ 2 20 α ν 2 2 μ 2 ν 2 V ( 2 ) 0 , 0 , μ 2 , 0 , μ 4 2 ( ξ 1 ; 1 , 2 , 4 )
    where
    V μ 0 , 0 , μ 2 , 0 , μ 4 ( 2 ) ( ξ 1 ; 1 , 2 , 4 ) = μ 2 2 μ 4 tan ( μ 2 2 ξ 1 )
    for μ 0 = μ 2 2 4 μ 4 , μ 2 > 0 , μ 4 < 0 and
    V 0 , 0 , μ 2 , 0 , μ 4 ( 2 ) ( ξ 2 ; 1 , 2 , 4 ) = ν 2 ν 4 s e c ( ν 2 ξ 2 )
    for ν 2 < 0 , ν 4 > 0 . The wave coordinates ξ 1 and ξ 2 are given in Equation (37).
  • Family 3: Solutions combined generalized hyperbolic and trigonometric functions with different independent variables:
    u 1 ( 3 ) ( ξ 1 , ξ 2 ) = ϵ 0 + 3 μ 4 2 2 η 0 + ω 2 + ω 1 + 2 ϵ 0 2 μ 2 ν 2 V ( 1 ) μ 0 , 0 , μ 2 , 0 , μ 4 2 ( ξ 1 ; 1 , 2 , 4 ) + η 0 3 ν 4 2 2 η 0 + ω 2 + ω 1 + 2 ϵ 0 2 μ 2 ν 2 V ( 2 ) 0 , 0 , μ 2 , 0 , μ 4 2 ( ξ 1 ; 1 , 2 , 4 ) v 1 ( 3 ) ( ξ 1 , ξ 2 ) = 3 μ 4 4 2 2 η 0 ω 2 ω 1 2 ϵ 0 + 20 α μ 2 20 α ν 2 μ 2 ν 2 V ( 1 ) μ 0 , 0 , μ 2 , 0 , μ 4 2 ( ξ 1 ; 1 , 2 , 4 ) + 1 2 η 0 + 1 4 ω 1 5 α μ 2 + 1 4 ω 2 5 α ν 2 θ 0 + 1 2 ϵ 0 3 ν 4 4 2 η 0 + ω 2 + ω 1 + 2 ϵ 0 + 20 α μ 2 20 α ν 2 2 μ 2 ν 2 V ( 2 ) 0 , 0 , μ 2 , 0 , μ 4 2 ( ξ 1 ; 1 , 2 , 4 )
    where V ( 1 ) μ 0 , 0 , μ 2 , 0 , μ 4 ( ξ 1 ; 1 , 2 , 4 ) is presented in Equation (44) and V 0 , 0 , μ 2 , 0 , μ 4 ( 2 ) ( ξ 1 ; 1 , 2 , 4 ) is presented in Equation (48). The wave coordinates ξ 1 and ξ 2 are given in Equation (37).
    u 1 ( 4 ) ( ξ 1 , ξ 2 ) = ϵ 0 + 3 μ 4 2 2 η 0 + ω 2 + ω 1 + 2 ϵ 0 2 μ 2 ν 2 V ( 2 ) μ 0 , 0 , μ 2 , 0 , μ 4 2 ( ξ 1 ; 1 , 2 , 4 ) + η 0 3 ν 4 2 2 η 0 + ω 2 + ω 1 + 2 ϵ 0 2 μ 2 ν 2 V ( 1 ) 0 , 0 , μ 2 , 0 , μ 4 2 ( ξ 1 ; 1 , 2 , 4 ) v 1 ( 4 ) ( ξ 1 , ξ 2 ) = 3 μ 4 4 2 2 η 0 ω 2 ω 1 2 ϵ 0 + 20 α μ 2 20 α ν 2 μ 2 ν 2 V ( 2 ) μ 0 , 0 , μ 2 , 0 , μ 4 2 ( ξ 1 ; 1 , 2 , 4 ) + 1 2 η 0 + 1 4 ω 1 5 α μ 2 + 1 4 ω 2 5 α ν 2 θ 0 + 1 2 ϵ 0 3 ν 4 4 2 η 0 + ω 2 + ω 1 + 2 ϵ 0 + 20 α μ 2 20 α ν 2 2 μ 2 ν 2 V ( 1 ) 0 , 0 , μ 2 , 0 , μ 4 2 ( ξ 1 ; 1 , 2 , 4 )
    where V ( 2 ) μ 0 , 0 , μ 2 , 0 , μ 4 ( ξ 1 ; 1 , 2 , 4 ) is presented in Equation (47) and V 0 , 0 , μ 2 , 0 , μ 4 ( 2 ) ( ξ 1 ; 1 , 2 , 4 ) is presented in Equation (45). The wave coordinates ξ 1 and ξ 2 are given in Equation (37).
  • Family 4: Solutions combined generalized elliptic and hyperbolic functions with different independent variables:
    u 1 ( 5 ) ( ξ 1 , ξ 2 ) = ϵ 0 + 3 μ 4 2 2 η 0 + ω 2 + ω 1 + 2 ϵ 0 2 μ 2 ν 2 V ( 3 ) μ 0 , 0 , μ 2 , 0 , μ 4 2 ( ξ 1 ; 1 , 2 , 4 ) + η 0 3 ν 4 2 2 η 0 + ω 2 + ω 1 + 2 ϵ 0 2 μ 2 ν 2 V ( 1 ) 0 , 0 , μ 2 , 0 , μ 4 2 ( ξ 1 ; 1 , 2 , 4 ) v 1 ( 5 ) ( ξ 1 , ξ 2 ) = 3 μ 4 4 2 2 η 0 ω 2 ω 1 2 ϵ 0 + 20 α μ 2 20 α ν 2 μ 2 ν 2 V ( 3 ) μ 0 , 0 , μ 2 , 0 , μ 4 2 ( ξ 1 ; 1 , 2 , 4 ) + 1 2 η 0 + 1 4 ω 1 5 α μ 2 + 1 4 ω 2 5 α ν 2 θ 0 + 1 2 ϵ 0 3 ν 4 4 2 η 0 + ω 2 + ω 1 + 2 ϵ 0 + 20 α μ 2 20 α ν 2 2 μ 2 ν 2 V ( 1 ) 0 , 0 , μ 2 , 0 , μ 4 2 ( ξ 1 ; 1 , 2 , 4 )
    where
    V μ 0 , 0 , μ 2 , 0 , μ 4 ( 3 ) ( ξ 1 ; 1 , 2 , 4 ) = μ 2 m 2 μ 4 ( 2 m 2 1 ) c n ( μ 2 m 2 2 m 2 1 ξ 1 )
    for μ 0 = μ 2 2 m 2 ( m 2 1 ) μ 4 ( 2 m 2 1 ) 2 , μ 2 > 0 , μ 4 < 0 . The special function V 0 , 0 , μ 2 , 0 , μ 4 ( 1 ) ( ξ 2 ; 1 , 2 , 4 ) is presented in Equation (45).
    u 1 ( 6 ) ( ξ 1 , ξ 2 ) = ϵ 0 + 3 μ 4 2 2 η 0 + ω 2 + ω 1 + 2 ϵ 0 2 μ 2 ν 2 V ( 4 ) μ 0 , 0 , μ 2 , 0 , μ 4 2 ( ξ 1 ; 1 , 2 , 4 ) + η 0 3 ν 4 2 2 η 0 + ω 2 + ω 1 + 2 ϵ 0 2 μ 2 ν 2 V ( 1 ) 0 , 0 , μ 2 , 0 , μ 4 2 ( ξ 1 ; 1 , 2 , 4 ) v 1 ( 6 ) ( ξ 1 , ξ 2 ) = 3 μ 4 4 2 2 η 0 ω 2 ω 1 2 ϵ 0 + 20 α μ 2 20 α ν 2 μ 2 ν 2 V ( 4 ) μ 0 , 0 , μ 2 , 0 , μ 4 2 ( ξ 1 ; 1 , 2 , 4 ) + 1 2 η 0 + 1 4 ω 1 5 α μ 2 + 1 4 ω 2 5 α ν 2 θ 0 + 1 2 ϵ 0 3 ν 4 4 2 η 0 + ω 2 + ω 1 + 2 ϵ 0 + 20 α μ 2 20 α ν 2 2 μ 2 ν 2 V ( 1 ) 0 , 0 , μ 2 , 0 , μ 4 2 ( ξ 1 ; 1 , 2 , 4 )
    where
    V μ 0 , 0 , μ 2 , 0 , μ 4 ( 4 ) ( ξ 1 ; 1 , 2 , 4 ) = μ 2 m 2 μ 4 ( 2 m 2 ) d n ( μ 2 m 2 2 m 2 ξ 1 )
    for μ 0 = μ 2 2 ( 1 m 2 ) μ 4 ( m 2 2 ) 2 , μ 2 > 0 , μ 4 < 0 .The special function V 0 , 0 , μ 2 , 0 , μ 4 ( 1 ) ( ξ 2 ; 1 , 2 , 4 ) is presented in Equation (45).
    u 1 ( 7 ) ( ξ 1 , ξ 2 ) = ϵ 0 + 3 μ 4 2 2 η 0 + ω 2 + ω 1 + 2 ϵ 0 2 μ 2 ν 2 V ( 5 ) μ 0 , 0 , μ 2 , 0 , μ 4 2 ( ξ 1 ; 1 , 2 , 4 ) + η 0 3 ν 4 2 2 η 0 + ω 2 + ω 1 + 2 ϵ 0 2 μ 2 ν 2 V ( 1 ) 0 , 0 , μ 2 , 0 , μ 4 2 ( ξ 1 ; 1 , 2 , 4 ) v 1 ( 7 ) ( ξ 1 , ξ 2 ) = 3 μ 4 4 2 2 η 0 ω 2 ω 1 2 ϵ 0 + 20 α μ 2 20 α ν 2 μ 2 ν 2 V ( 5 ) μ 0 , 0 , μ 2 , 0 , μ 4 2 ( ξ 1 ; 1 , 2 , 4 ) + 1 2 η 0 + 1 4 ω 1 5 α μ 2 + 1 4 ω 2 5 α ν 2 θ 0 + 1 2 ϵ 0 3 ν 4 4 2 η 0 + ω 2 + ω 1 + 2 ϵ 0 + 20 α μ 2 20 α ν 2 2 μ 2 ν 2 V ( 1 ) 0 , 0 , μ 2 , 0 , μ 4 2 ( ξ 1 ; 1 , 2 , 4 )
    where
    V μ 0 , 0 , μ 2 , 0 , μ 4 ( 5 ) ( ξ 1 ; 1 , 2 , 4 ) = ± μ 2 m 2 μ 4 ( m 2 + 1 ) s n ( μ 2 m 2 + 1 ξ 1 )
    for μ 0 = μ 2 2 m 2 μ 4 ( m 2 + 1 ) 2 , μ 2 < 0 , μ 4 > 0 .The special function V 0 , 0 , μ 2 , 0 , μ 4 ( 1 ) ( ξ 2 ; 1 , 2 , 4 ) is presented in Equation (45). In all solutions in this paragraph, the wave coordinates ξ 1 and ξ 2 are presented by Equation (37).
  • Family 5: Solutions combined generalized elliptic and trigonometric functions with different independent variables:
    u 1 ( 8 ) ( ξ 1 , ξ 2 ) = ϵ 0 + 3 μ 4 2 2 η 0 + ω 2 + ω 1 + 2 ϵ 0 2 μ 2 ν 2 V ( 3 ) μ 0 , 0 , μ 2 , 0 , μ 4 2 ( ξ 1 ; 1 , 2 , 4 ) + η 0 3 ν 4 2 2 η 0 + ω 2 + ω 1 + 2 ϵ 0 2 μ 2 ν 2 V ( 2 ) 0 , 0 , μ 2 , 0 , μ 4 2 ( ξ 1 ; 1 , 2 , 4 ) v 1 ( 8 ) ( ξ 1 , ξ 2 ) = 3 μ 4 4 2 2 η 0 ω 2 ω 1 2 ϵ 0 + 20 α μ 2 20 α ν 2 μ 2 ν 2 V ( 3 ) μ 0 , 0 , μ 2 , 0 , μ 4 2 ( ξ 1 ; 1 , 2 , 4 ) + 1 2 η 0 + 1 4 ω 1 5 α μ 2 + 1 4 ω 2 5 α ν 2 θ 0 + 1 2 ϵ 0 3 ν 4 4 2 η 0 + ω 2 + ω 1 + 2 ϵ 0 + 20 α μ 2 20 α ν 2 2 μ 2 ν 2 V ( 2 ) 0 , 0 , μ 2 , 0 , μ 4 2 ( ξ 1 ; 1 , 2 , 4 )
    where V μ 0 , 0 , μ 2 , 0 , μ 4 ( 3 ) ( ξ 1 ; 1 , 2 , 4 ) is presented in Equation (52) and V 0 , 0 , μ 2 , 0 , μ 4 ( 2 ) ( ξ 2 ; 1 , 2 , 4 ) is presented in Equation (48).
    u 1 ( 9 ) ( ξ 1 , ξ 2 ) = ϵ 0 + 3 μ 4 2 2 η 0 + ω 2 + ω 1 + 2 ϵ 0 2 μ 2 ν 2 V ( 4 ) μ 0 , 0 , μ 2 , 0 , μ 4 2 ( ξ 1 ; 1 , 2 , 4 ) + η 0 3 ν 4 2 2 η 0 + ω 2 + ω 1 + 2 ϵ 0 2 μ 2 ν 2 V ( 2 ) 0 , 0 , μ 2 , 0 , μ 4 2 ( ξ 1 ; 1 , 2 , 4 ) v 1 ( 9 ) ( ξ 1 , ξ 2 ) = 3 μ 4 4 2 2 η 0 ω 2 ω 1 2 ϵ 0 + 20 α μ 2 20 α ν 2 μ 2 ν 2 V ( 4 ) μ 0 , 0 , μ 2 , 0 , μ 4 2 ( ξ 1 ; 1 , 2 , 4 ) + 1 2 η 0 + 1 4 ω 1 5 α μ 2 + 1 4 ω 2 5 α ν 2 θ 0 + 1 2 ϵ 0 3 ν 4 4 2 η 0 + ω 2 + ω 1 + 2 ϵ 0 + 20 α μ 2 20 α ν 2 2 μ 2 ν 2 V ( 2 ) 0 , 0 , μ 2 , 0 , μ 4 2 ( ξ 1 ; 1 , 2 , 4 )
    where V μ 0 , 0 , μ 2 , 0 , μ 4 ( 4 ) ( ξ 1 ; 1 , 2 , 4 ) is presented in Equation (54) and V 0 , 0 , μ 2 , 0 , μ 4 ( 2 ) ( ξ 2 ; 1 , 2 , 4 ) is presented in Equation (48).
    u 1 ( 10 ) ( ξ 1 , ξ 2 ) = ϵ 0 + 3 μ 4 2 2 η 0 + ω 2 + ω 1 + 2 ϵ 0 2 μ 2 ν 2 V ( 5 ) μ 0 , 0 , μ 2 , 0 , μ 4 2 ( ξ 1 ; 1 , 2 , 4 ) + η 0 3 ν 4 2 2 η 0 + ω 2 + ω 1 + 2 ϵ 0 2 μ 2 ν 2 V ( 2 ) 0 , 0 , μ 2 , 0 , μ 4 2 ( ξ 1 ; 1 , 2 , 4 ) v 1 ( 10 ) ( ξ 1 , ξ 2 ) = 3 μ 4 4 2 2 η 0 ω 2 ω 1 2 ϵ 0 + 20 α μ 2 20 α ν 2 μ 2 ν 2 V ( 5 ) μ 0 , 0 , μ 2 , 0 , μ 4 2 ( ξ 1 ; 1 , 2 , 4 ) + 1 2 η 0 + 1 4 ω 1 5 α μ 2 + 1 4 ω 2 5 α ν 2 θ 0 + 1 2 ϵ 0 3 ν 4 4 2 η 0 + ω 2 + ω 1 + 2 ϵ 0 + 20 α μ 2 20 α ν 2 2 μ 2 ν 2 V ( 2 ) 0 , 0 , μ 2 , 0 , μ 4 2 ( ξ 1 ; 1 , 2 , 4 )
    where V μ 0 , 0 , μ 2 , 0 , μ 4 ( 5 ) ( ξ 1 ; 1 , 2 , 4 ) is presented in Equation (56) and V 0 , 0 , μ 2 , 0 , μ 4 ( 2 ) ( ξ 2 ; 1 , 2 , 4 ) is presented in Equation (48). In all the solutions in this paragraph, the wave coordinates ξ 1 and ξ 2 are are presented by Equation (37).
Illustrative examples of two exact solutions of Equation (1) are given in f1fig,f2fig.
Remark 1: The hyperbolic, trigonometric and elliptic functions that appear in the solutions of this section are defined as ’generalized` functions with respect to their arguments. It is evident that these arguments include fractional order terms, such as t ϕ Γ ( 1 + ϕ ) , which reflect the memory and nonlocal effects inherent in fractional calculus. It is obvious that the generalized functions thus defined can easily be reduced to the standard functions when the fractional order ϕ = 1 , thus restoring the classical (integer–order) case. Therefore, for the particular case ϕ = 1 , all exact solutions presented above also satisfy the classical (integer–order) version of the system (1).
Remark 2: When ω 1 = ω 2 , the exact solutions presented above reduce to those discussed in Step 1 (variant 2b) of the generalized SEsM algorithm, i.e. the distinct types of special functions present in the obtained analytical solutions have the same independent variable. To reach this particular case, it is easy to substitute ω 1 = ω 2 = ω in Equation (42) and to rewrite all special functions present in the exact solutions of Equation (1) at ξ 1 = ξ 2 = ξ .
Figure 1. Numerical simulations of the solution (50) for ϵ 0 = 20 , η 0 = 0.4 , μ 2 = 0.5 , μ 4 = 2 ; ν 2 = 0.2 , ν 4 = 0.5 ; α = 2 , ω 1 = 0.05 , ω 2 = 0.1 : 3D plots of (a) u(x,t) and (b) v(x,t); 2D plots of (c) u(x,t) and (d) v(x,t) for t = 1
Figure 1. Numerical simulations of the solution (50) for ϵ 0 = 20 , η 0 = 0.4 , μ 2 = 0.5 , μ 4 = 2 ; ν 2 = 0.2 , ν 4 = 0.5 ; α = 2 , ω 1 = 0.05 , ω 2 = 0.1 : 3D plots of (a) u(x,t) and (b) v(x,t); 2D plots of (c) u(x,t) and (d) v(x,t) for t = 1
Preprints 161288 g001
Figure 2. Numerical simulations of the solution (55) for ϵ 0 = 20 , η 0 = 0.4 , μ 2 = 5 , μ 4 = 2 ; ν 2 = 0.2 , ν 4 = 0.4 ; α = 2 , ω 1 = 0.5 , ω 2 = 0.1 : 3D plots of (a) u(x,t) and (b) v(x,t); 2D plots of (c) u(x,t) and (d) v(x,t) for t = 1
Figure 2. Numerical simulations of the solution (55) for ϵ 0 = 20 , η 0 = 0.4 , μ 2 = 5 , μ 4 = 2 ; ν 2 = 0.2 , ν 4 = 0.4 ; α = 2 , ω 1 = 0.5 , ω 2 = 0.1 : 3D plots of (a) u(x,t) and (b) v(x,t); 2D plots of (c) u(x,t) and (d) v(x,t) for t = 1
Preprints 161288 g002

5. Derivation of Multi–Wave Exact Solutions of Equation (2) Using a Standard Traveling Wave Transformation

We present the general solution of Equation (2) again as combination of two single composite functions including two independent variables:
u 2 ( ξ 1 , ξ 2 ) = i 1 = 0 n 1 ϵ i 1 [ f 1 ( ξ 1 ) ] i 1 + i 2 = 0 n 2 η i 2 [ f 2 ( ξ 2 ) ] i 2 v 2 ( ξ 1 , ξ 2 ) = i 1 = 0 n 3 θ i 1 [ f 1 ( ξ 1 ) ] i 1 + i 2 = 0 n 4 ι i 2 [ f 2 ( ξ 2 ) ] i 2
where the following standart traveling wave transformations are introfuced:
ξ 1 = x ω 1 t , ξ 2 = x ω 2 t
We shall use the fractional variants of the ordinary differential equations of Riccati as simple equations:
D ξ 1 ϕ f 1 = μ 0 + f 1 2 , D ξ 2 ϕ f 2 = ν 0 + f 2 2 , 0 ϕ 1 ,
The analytical solutions of Equation (62) are given in Appendix A.2 and are defined in sense of the modified Jumarie’s Riemann-Liouville derivatives.
The balance equations derived are n 1 = n 3 = 2 m 1 2 and n 2 = n 4 = 2 m 2 2 . Bellow we shall present the solution (60) again by special functions V μ 0 , 0 , 1 ( ξ 1 , ϕ ; 2 ) and V ν 0 , 0 , 1 ( ξ 2 , ϕ ; 2 ) , as follows:
u 2 ( ξ 1 , ξ 2 ) = ϵ 0 + ϵ 1 V μ 0 , 0 , 1 ( ξ 1 , ϕ ; 2 ) + ϵ 2 V μ 0 , 0 , 1 2 ( ξ 1 , ϕ ; 2 ) + η 0 + η 1 V ν 0 , 0 , 1 ( ξ 2 , ϕ ; 2 ) + η 2 V ν 0 , 0 , 1 2 ( ξ 2 , ϕ ; 2 ) , v 2 ( ξ 1 , ξ 2 ) = θ 0 + θ 1 V μ 0 , 0 , 1 ( ξ 1 , ϕ ; 2 ) + θ 2 V μ 0 , 0 , 1 2 ( ξ 1 , ϕ ; 2 ) + ι 0 + ι 1 V ν 0 , 0 , 1 ( ξ 2 , ϕ ; 2 ) + + ι 2 V ν 0 , 0 , 1 2 ( ξ 2 , ϕ ; 2 )
Substitution of Equation (60), Equation (61) and Equation (62) in Equation (2) leads to the following system of nonlinear algebraic equations:
8 ϵ 2 θ 1 + 8 ϵ 2 θ 2 48 k ϵ 1 48 k ϵ 2 + 8 ϵ 1 ϵ 2 + 8 ϵ 1 θ 1 + 8 ϵ 1 θ 2 + 4 ϵ 1 2 + 4 ϵ 2 2 = 0 4 η 2 ϵ 1 + 4 η 2 ϵ 2 + 4 η 2 θ 1 + 4 η 2 θ 2 + 4 ι 2 ϵ 1 + 4 ι 2 ϵ 2 = 0 4 η 2 ϵ 1 + 4 η 2 ϵ 2 + 4 η 2 θ 1 + 4 η 2 θ 2 + 4 ι 2 ϵ 1 + 4 ι 2 ϵ 2 = 0 8 ϵ 2 μ 0 θ 2 + 8 ϵ 1 μ 0 θ 1 + 8 ϵ 1 μ 0 ϵ 2 + 8 ϵ 2 μ 0 θ 1 + 8 ϵ 1 μ 0 θ 2 + 2 ω 1 ϕ θ 1 2 ω 1 ϕ ϵ 1 2 ω 1 ϵ 2 2 ω 2 ϕ ϵ 1 2 ω 2 ϕ ϵ 2 + 4 ϵ 0 ϵ 1 + 4 ϵ 0 ϵ 2 + 4 ϵ 1 2 μ 0 + 4 ϵ 2 2 μ 0 + 4 η 0 ϵ 1 + 4 η 0 ϵ 2 + 4 θ 0 ϵ 1 + 4 θ 0 ϵ 2 + 4 ι 0 ϵ 1 + 4 ι 0 ϵ 2 + 2 ω 1 ϕ θ 2 + 2 ω 2 ϕ θ 1 + 2 ω 2 ϕ θ 2 + 4 ϵ 0 θ 1 + 4 ϵ 0 θ 2 + 4 η 0 θ 1 + 4 η 0 θ 2 = 0 2 η 1 ϵ 1 + 2 ι 1 ϵ 1 + 2 η 1 ϵ 2 + 2 η 1 θ 2 + 2 ι 1 ϵ 2 + 2 η 1 θ 1 = 0 4 θ 2 η 2 ν 0 + 4 ϵ 2 ι 2 ν 0 + 4 θ 1 η 2 ν 0 + 4 ϵ 2 η 2 ν 0 + 4 ϵ 1 η 2 ν 0 + 4 ϵ 1 ι 2 ν 0 = 0 2 ω 2 ϕ μ 0 ϵ 2 + 4 ϵ 0 μ 0 ϵ 1 + 4 ϵ 0 μ 0 ϵ 2 + 4 η 0 μ 0 ϵ 1 + 4 η 0 μ 0 ϵ 2 + 2 ω 1 μ 0 θ 1 + 2 ω 1 ϕ μ 0 θ 2 + 2 ω 2 ϕ μ 0 θ 1 + 2 ω 2 ϕ μ 0 θ 2 + 4 ϵ 0 μ 0 θ 1 + 4 ϵ 0 μ 0 θ 2 2 ω 1 ϕ μ 0 ϵ 1 2 ω 1 ϕ μ 0 ϵ 2 2 ω 2 ϕ μ 0 ϵ 1 + 4 μ 0 θ 1 + 4 μ 0 θ 2 + 4 η 0 μ 0 θ 1 + 4 η 0 μ 0 θ 2 + 4 θ 0 μ 0 ϵ 1 + 4 θ 0 μ 0 ϵ 2 + 4 ι 0 μ 0 ϵ 1 + 4 ι 0 μ 0 ϵ 2 32 μ 0 2 ϵ 1 32 μ 0 2 ϵ 2 = 0 8 η 2 ι 2 48 η 2 + 4 η 2 2 = 0 6 η 1 η 2 + 6 η 2 ι 1 12 η 1 + 6 η 1 ι 2 = 0 8 η 2 ι 2 ν 0 + 4 ι 2 + 4 ϵ 0 ι 2 + 4 η 2 2 ν 0 + 2 ω 1 ϕ ι 2 2 ω 2 η 2 80 η 2 ν 0 + 2 ω 2 ϕ ι 2 + 2 η 1 2 + 4 η 0 ι 2 + 4 ι 0 η 2 + 4 θ 0 η 2 + 4 η 1 ι 1 + 4 η 0 η 2 + 4 ϵ 0 η 2 2 ω 1 ϕ η 2 = 0 ω 1 ϕ ι 1 ν 0 ω 2 η 1 ν 0 + ω 2 ι 1 ν 0 + 2 η 0 η 1 ν 0 + 2 ϵ 0 η 1 ν 0 + 2 ϵ 0 ι 1 ν 0 + 2 ι 1 ν 0 ω 1 ϕ η 1 ν 0 + 2 η 0 ι 1 ν 0 4 η 1 ν 0 2 + 2 ι 0 η 1 ν 0 + 2 θ 0 η 1 ν 0 = 0
There are many non–trivial solutions of this algebraic system. For example, one simpler non–trivial solution is:
ϵ 1 = η 1 = θ 1 = ι 1 = 0 , ϵ 2 = 3 ( 1 + ω 2 ϕ + 4 μ 0 + 4 ν 0 θ 0 ι 0 + ω 1 ϕ ) μ 0 ν 0 , η 0 = 8 μ 0 + 8 ν 0 ϵ 0 2 θ 0 2 ι 0 + 3 2 ω 1 ϕ + 3 2 ω 2 ϕ + 1 , η 2 = 1 2 ϵ 2 θ 2 = 3 2 1 θ 0 + ω 2 ϕ + ω 1 ϕ ι 0 + 8 ν 0 μ 0 ν 0 , ι 2 = 2 θ 2 , ϵ 0 = 0
where θ 0 , ι 0 , ω 1 , ω 2 , μ 0 , ν 0 are free parameters. Substituting the coefficients of Equation (65) in Equation (63) and combining the different analytical solution of the second equation in (39) leads to the following families of exact solutions of Equation (2):
  • Family 1: Solutions combined distinct fractional generalized hyperbolic functions with different independent variables (When μ 0 < 0 and ν 0 < 0 ):
    u 2 ( 1 ) ( ξ 1 , ξ 2 ) = 3 ( 1 + ω 2 ϕ + 4 μ 0 + 4 ν 0 θ 0 ι 0 + ω 1 ϕ ) μ 0 ν 0 V ( 1 ) μ 0 , 0 , 1 2 ( ξ 1 , ϕ ; 2 ) + 8 μ 0 + 8 ν 0 ϵ 0 2 θ 0 2 ι 0 + 3 2 ω 1 ϕ + 3 2 ω 2 ϕ + 1 3 2 ( 1 + ω 2 ϕ + 4 μ 0 + 4 ν 0 θ 0 ι 0 + ω 1 ϕ ) μ 0 ν 0 V ( 1 ) ν 0 , 0 , 1 2 ( ξ 2 , ϕ ; 2 ) v 2 ( 1 ) ( ξ 1 , ξ 2 ) = θ 0 3 2 1 θ 0 + ω 2 ϕ + ω 1 ϕ ι 0 + 8 ν 0 μ 0 ν 0 V ( 1 ) μ 0 , 0 , 1 2 ( ξ 1 , ϕ ; 2 ) + ι 0 + 3 1 θ 0 + ω 2 ϕ + ω 1 ϕ ι 0 + 8 ν 0 μ 0 ν 0 V ( 1 ) ν 0 , 0 , 1 2 ( ξ 2 , ϕ ; 2 )
    where
    V μ 0 , 0 , 1 ( 1 ) ( ξ 1 , ϕ ; 2 ) = μ 0 tanh [ μ 0 ξ 1 , ϕ ]
    V ν 0 , 0 , 1 ( 1 ) ( ξ 2 , ϕ ; 2 ) = ν 0 tanh [ ν 0 ξ 2 , ϕ ]
    u 2 ( 2 ) ( ξ 1 , ξ 2 ) = 3 ( 1 + ω 2 ϕ + 4 μ 0 + 4 ν 0 θ 0 ι 0 + ω 1 ϕ ) μ 0 ν 0 V ( 2 ) μ 0 , 0 , 1 2 ( ξ 1 , ϕ ; 2 ) + 8 μ 0 + 8 ν 0 ϵ 0 2 θ 0 2 ι 0 + 3 2 ω 1 ϕ + 3 2 ω 2 ϕ + 1 3 2 ( 1 + ω 2 ϕ + 4 μ 0 + 4 ν 0 θ 0 ι 0 + ω 1 ϕ ) μ 0 ν 0 V ( 2 ) ν 0 , 0 , 1 2 ( ξ 2 , ϕ ; 2 ) v 2 ( 2 ) ( ξ 1 , ξ 2 ) = θ 0 3 2 1 θ 0 + ω 2 ϕ + ω 1 ϕ ι 0 + 8 ν 0 μ 0 ν 0 V ( 2 ) μ 0 , 0 , 1 2 ( ξ 1 , ϕ ; 2 ) + ι 0 + 3 1 θ 0 + ω 2 ϕ + ω 1 ϕ ι 0 + 8 ν 0 μ 0 ν 0 V ( 2 ) ν 0 , 0 , 1 2 ( ξ 2 , ϕ ; 2 )
    where
    V μ 0 , 0 , 1 ( 2 ) ( ξ 1 , ϕ ; 2 ) = μ 0 coth [ μ 0 ξ 1 , ϕ ]
    V ν 0 , 0 , 1 ( 2 ) ( ξ 2 , ϕ ; 2 ) = ν 0 coth [ ν 0 ξ 2 , ϕ ]
    u 2 ( 3 ) ( ξ 1 , ξ 2 ) = 3 ( 1 + ω 2 ϕ + 4 μ 0 + 4 ν 0 θ 0 ι 0 + ω 1 ϕ ) μ 0 ν 0 V ( 1 ) μ 0 , 0 , 1 2 ( ξ 1 , ϕ ; 2 ) + 8 μ 0 + 8 ν 0 ϵ 0 2 θ 0 2 ι 0 + 3 2 ω 1 ϕ + 3 2 ω 2 ϕ + 1 3 2 ( 1 + ω 2 ϕ + 4 μ 0 + 4 ν 0 θ 0 ι 0 + ω 1 ϕ ) μ 0 ν 0 V ( 2 ) ν 0 , 0 , 1 2 ( ξ 2 , ϕ ; 2 ) v 2 ( 3 ) ( ξ 1 , ξ 2 ) = θ 0 3 2 1 θ 0 + ω 2 ϕ + ω 1 ϕ ι 0 + 8 ν 0 μ 0 ν 0 V ( 1 ) μ 0 , 0 , 1 2 ( ξ 1 , ϕ ; 2 ) + ι 0 + 3 1 θ 0 + ω 2 ϕ + ω 1 ϕ ι 0 + 8 ν 0 μ 0 ν 0 V ( 2 ) ν 0 , 0 , 1 2 ( ξ 2 , ϕ ; 2 )
    where V μ 0 , 0 , 1 ( 1 ) ( ξ 1 , ϕ ; 2 ) is presented in Equation (67) and V ν 0 , 0 , 1 ( 2 ) ( ξ 2 , ϕ ; 2 ) is presented in Equation (71).
    u 2 ( 4 ) ( ξ 1 , ξ 2 ) = 3 ( 1 + ω 2 ϕ + 4 μ 0 + 4 ν 0 θ 0 ι 0 + ω 1 ϕ ) μ 0 ν 0 V ( 2 ) μ 0 , 0 , 1 2 ( ξ 1 , ϕ ; 2 ) + 8 μ 0 + 8 ν 0 ϵ 0 2 θ 0 2 ι 0 + 3 2 ω 1 ϕ + 3 2 ω 2 ϕ + 1 3 2 ( 1 + ω 2 ϕ + 4 μ 0 + 4 ν 0 θ 0 ι 0 + ω 1 ϕ ) μ 0 ν 0 V ( 1 ) ν 0 , 0 , 1 2 ( ξ 2 , ϕ ; 2 ) v 2 ( 4 ) ( ξ 1 , ξ 2 ) = θ 0 3 2 1 θ 0 + ω 2 ϕ + ω 1 ϕ ι 0 + 8 ν 0 μ 0 ν 0 V ( 2 ) μ 0 , 0 , 1 2 ( ξ 1 , ϕ ; 2 ) + ι 0 + 3 1 θ 0 + ω 2 ϕ + ω 1 ϕ ι 0 + 8 ν 0 μ 0 ν 0 V ( 1 ) ν 0 , 0 , 1 2 ( ξ 2 , ϕ ; 2 )
    where V μ 0 , 0 , 1 ( 2 ) ( ξ 1 , ϕ ; 1 , 2 ) is presented in Equation (70) and V ν 0 , 0 , 1 ( 1 ) ( ξ 2 , ϕ ; 2 ) is presented in Equation (68).
  • Family 2: Solutions combined distinct fractional generalized trigonometric functions with different independent variables (When μ 0 > 0 and ν 0 > 0 ):
    u 2 ( 5 ) ( ξ 1 , ξ 2 ) = 3 ( 1 + ω 2 ϕ + 4 μ 0 + 4 ν 0 θ 0 ι 0 + ω 1 ϕ ) μ 0 ν 0 V ( 3 ) μ 0 , 0 , 1 2 ( ξ 1 , ϕ ; 2 ) + 8 μ 0 + 8 ν 0 ϵ 0 2 θ 0 2 ι 0 + 3 2 ω 5 ϕ + 3 2 ω 2 ϕ + 1 3 2 ( 1 + ω 2 ϕ + 4 μ 0 + 4 ν 0 θ 0 ι 0 + ω 1 ϕ ) μ 0 ν 0 V ( 3 ) ν 0 , 0 , 1 2 ( ξ 2 , ϕ ; 2 ) v 2 ( 1 ) ( ξ 1 , ξ 2 ) = θ 0 3 2 1 θ 0 + ω 2 ϕ + ω 1 ϕ ι 0 + 8 ν 0 μ 0 ν 0 V ( 3 ) μ 0 , 0 , 1 2 ( ξ 1 , ϕ ; 2 ) + ι 0 + 3 1 θ 0 + ω 2 ϕ + ω 1 ϕ ι 0 + 8 ν 0 μ 0 ν 0 V ( 3 ) ν 0 , 0 , 1 2 ( ξ 2 , ϕ ; 2 )
    where
    V μ 0 , 0 , 1 ( 3 ) ( ξ 1 , ϕ ; 2 ) = μ 0 tan [ μ 0 ξ 1 , ϕ ]
    V ν 0 , 0 , 1 ( 3 ) ( ξ 2 , ϕ ; 2 ) = ν 0 tan [ ν 0 ξ 2 , ϕ ]
    u 2 ( 6 ) ( ξ 1 , ξ 2 ) = 3 ( 1 + ω 2 ϕ + 4 μ 0 + 4 ν 0 θ 0 ι 0 + ω 1 ϕ ) μ 0 ν 0 V ( 4 ) μ 0 , 0 , 1 2 ( ξ 1 , ϕ ; 2 ) + 8 μ 0 + 8 ν 0 ϵ 0 2 θ 0 2 ι 0 + 3 2 ω 5 ϕ + 3 2 ω 2 ϕ + 1 3 2 ( 1 + ω 2 ϕ + 4 μ 0 + 4 ν 0 θ 0 ι 0 + ω 1 ϕ ) μ 0 ν 0 V ( 4 ) ν 0 , 0 , 1 2 ( ξ 2 , ϕ ; 2 ) v 2 ( 6 ) ( ξ 1 , ξ 2 ) = θ 0 3 2 1 θ 0 + ω 2 ϕ + ω 1 ϕ ι 0 + 8 ν 0 μ 0 ν 0 V ( 4 ) μ 0 , 0 , 1 2 ( ξ 1 , ϕ ; 2 ) + ι 0 + 3 1 θ 0 + ω 2 ϕ + ω 1 ϕ ι 0 + 8 ν 0 μ 0 ν 0 V ( 4 ) ν 0 , 0 , 1 2 ( ξ 2 , ϕ ; 2 )
    where
    V μ 0 , 0 , 1 ( 4 ) ( ξ 1 , ϕ ; 2 ) = μ 0 cot [ μ 0 ξ 1 , ϕ ]
    V ν 0 , 0 , 1 ( 4 ) ( ξ 2 , ϕ ; 2 ) = ν 0 cot [ ν 0 ξ 2 , ϕ ]
    u 2 ( 7 ) ( ξ 1 , ξ 2 ) = 3 ( 1 + ω 2 ϕ + 4 μ 0 + 4 ν 0 θ 0 ι 0 + ω 1 ϕ ) μ 0 ν 0 V ( 3 ) μ 0 , 0 , 1 2 ( ξ 1 , ϕ ; 2 ) + 8 μ 0 + 8 ν 0 ϵ 0 2 θ 0 2 ι 0 + 3 2 ω 5 ϕ + 3 2 ω 2 ϕ + 1 3 2 ( 1 + ω 2 ϕ + 4 μ 0 + 4 ν 0 θ 0 ι 0 + ω 1 ϕ ) μ 0 ν 0 V ( 4 ) ν 0 , 0 , 1 2 ( ξ 2 , ϕ ; 2 ) v 2 ( 7 ) ( ξ 1 , ξ 2 ) = θ 0 3 2 1 θ 0 + ω 2 ϕ + ω 1 ϕ ι 0 + 8 ν 0 μ 0 ν 0 V ( 3 ) μ 0 , 0 , 1 2 ( ξ 1 , ϕ ; 2 ) + ι 0 + 3 1 θ 0 + ω 2 ϕ + ω 1 ϕ ι 0 + 8 ν 0 μ 0 ν 0 V ( 4 ) ν 0 , 0 , 1 2 ( ξ 2 , ϕ ; 2 )
    where V μ 0 , 0 , 1 ( 3 ) ( ξ 1 , ϕ ; 2 ) is presented in Equation (75) and V ν 0 , 0 , 1 ( 4 ) ( ξ 2 , ϕ ; 2 ) is presented in Equation (79).
    u 2 ( 8 ) ( ξ 1 , ξ 2 ) = 3 ( 1 + ω 2 ϕ + 4 μ 0 + 4 ν 0 θ 0 ι 0 + ω 1 ϕ ) μ 0 ν 0 V ( 4 ) μ 0 , 0 , 1 2 ( ξ 1 , ϕ ; 2 ) + 8 μ 0 + 8 ν 0 ϵ 0 2 θ 0 2 ι 0 + 3 2 ω 5 ϕ + 3 2 ω 2 ϕ + 1 3 2 ( 1 + ω 2 ϕ + 4 μ 0 + 4 ν 0 θ 0 ι 0 + ω 1 ϕ ) μ 0 ν 0 V ( 3 ) ν 0 , 0 , 1 2 ( ξ 2 , ϕ ; 2 ) v 2 ( 8 ) ( ξ 1 , ξ 2 ) = θ 0 3 2 1 θ 0 + ω 2 ϕ + ω 1 ϕ ι 0 + 8 ν 0 μ 0 ν 0 V ( 4 ) μ 0 , 0 , 1 2 ( ξ 1 , ϕ ; 2 ) + ι 0 + 3 1 θ 0 + ω 2 ϕ + ω 1 ϕ ι 0 + 8 ν 0 μ 0 ν 0 V ( 3 ) ν 0 , 0 , 1 2 ( ξ 2 , ϕ ; 2 )
    where V μ 0 , 0 , 1 ( 4 ) ( ξ 1 , ϕ ; 2 ) is presented in Equation (78 ) and V ν 0 , 0 , 1 ( 3 ) ( ξ 2 , ϕ ; 2 ) is presented in Equation (76).
  • Family 3: Solutions combined distinct fractional generalized hyperbolic and trigonometric functions with different independent variables
    • (a) When μ 0 < 0 and ν 0 > 0
      u 2 ( 9 ) ( ξ 1 , ξ 2 ) = 3 ( 1 + ω 2 ϕ + 4 μ 0 + 4 ν 0 θ 0 ι 0 + ω 1 ϕ ) μ 0 ν 0 V ( 1 ) μ 0 , 0 , 1 2 ( ξ 1 , ϕ ; 2 ) + 8 μ 0 + 8 ν 0 ϵ 0 2 θ 0 2 ι 0 + 3 2 ω 5 ϕ + 3 2 ω 2 ϕ + 1 3 2 ( 1 + ω 2 ϕ + 4 μ 0 + 4 ν 0 θ 0 ι 0 + ω 1 ϕ ) μ 0 ν 0 V ( 3 ) ν 0 , 0 , 1 2 ( ξ 2 , ϕ ; 2 ) v 2 ( 9 ) ( ξ 1 , ξ 2 ) = θ 0 3 2 1 θ 0 + ω 2 ϕ + ω 1 ϕ ι 0 + 8 ν 0 μ 0 ν 0 V ( 1 ) μ 0 , 0 , 1 2 ( ξ 1 , ϕ ; 2 ) + ι 0 + 3 1 θ 0 + ω 2 ϕ + ω 1 ϕ ι 0 + 8 ν 0 μ 0 ν 0 V ( 3 ) ν 0 , 0 , 1 2 ( ξ 2 , ϕ ; 2 )
      where V μ 0 , 0 , 1 ( 1 ) ( ξ 1 , ϕ ; 2 ) is presented in Equation (67) and V ν 0 , 0 , 1 ( 3 ) ( ξ 2 , ϕ ; 2 ) is presented in Equation (76).
      u 2 ( 10 ) ( ξ 1 , ξ 2 ) = 3 ( 1 + ω 2 ϕ + 4 μ 0 + 4 ν 0 θ 0 ι 0 + ω 1 ϕ ) μ 0 ν 0 V ( 1 ) μ 0 , 0 , 1 2 ( ξ 1 , ϕ ; 2 ) + 8 μ 0 + 8 ν 0 ϵ 0 2 θ 0 2 ι 0 + 3 2 ω 5 ϕ + 3 2 ω 2 ϕ + 1 3 2 ( 1 + ω 2 ϕ + 4 μ 0 + 4 ν 0 θ 0 ι 0 + ω 1 ϕ ) μ 0 ν 0 V ( 4 ) ν 0 , 0 , 1 2 ( ξ 2 , ϕ ; 2 ) v 2 ( 10 ) ( ξ 1 , ξ 2 ) = θ 0 3 2 1 θ 0 + ω 2 ϕ + ω 1 ϕ ι 0 + 8 ν 0 μ 0 ν 0 V ( 1 ) μ 0 , 0 , 1 2 ( ξ 1 , ϕ ; 2 ) + ι 0 + 3 1 θ 0 + ω 2 ϕ + ω 1 ϕ ι 0 + 8 ν 0 μ 0 ν 0 V ( 4 ) ν 0 , 0 , 1 2 ( ξ 2 , ϕ ; 2 )
      where V μ 0 , 0 , 1 ( 1 ) ( ξ 1 , ϕ ; 2 ) is presented in Equation (67) and V ν 0 , 0 , 1 ( 4 ) ( ξ 2 , ϕ ; 2 ) is presented in Equation (79).
      u 2 ( 11 ) ( ξ 1 , ξ 2 ) = 3 ( 1 + ω 2 ϕ + 4 μ 0 + 4 ν 0 θ 0 ι 0 + ω 1 ϕ ) μ 0 ν 0 V ( 2 ) μ 0 , 0 , 1 2 ( ξ 1 , ϕ ; 2 ) + 8 μ 0 + 8 ν 0 ϵ 0 2 θ 0 2 ι 0 + 3 2 ω 5 ϕ + 3 2 ω 2 ϕ + 1 3 2 ( 1 + ω 2 ϕ + 4 μ 0 + 4 ν 0 θ 0 ι 0 + ω 1 ϕ ) μ 0 ν 0 V ( 3 ) ν 0 , 0 , 1 2 ( ξ 2 , ϕ ; 2 ) v 2 ( 11 ) ( ξ 1 , ξ 2 ) = θ 0 3 2 1 θ 0 + ω 2 ϕ + ω 1 ϕ ι 0 + 8 ν 0 μ 0 ν 0 V ( 2 ) μ 0 , 0 , 1 2 ( ξ 1 , ϕ ; 2 ) + ι 0 + 3 1 θ 0 + ω 2 ϕ + ω 1 ϕ ι 0 + 8 ν 0 μ 0 ν 0 V ( 3 ) ν 0 , 0 , 1 2 ( ξ 2 , ϕ ; 2 )
      where V μ 0 , 0 , 1 ( 2 ) ( ξ 1 , ϕ ; 2 ) is presented in Equation (70) and V ν 0 , 0 , 1 ( 3 ) ( ξ 2 , ϕ ; 2 ) is presented in Equation (76).
      u 2 ( 12 ) ( ξ 1 , ξ 2 ) = 3 ( 1 + ω 2 ϕ + 4 μ 0 + 4 ν 0 θ 0 ι 0 + ω 1 ϕ ) μ 0 ν 0 V ( 2 ) μ 0 , 0 , 1 2 ( ξ 1 , ϕ ; 2 ) + 8 μ 0 + 8 ν 0 ϵ 0 2 θ 0 2 ι 0 + 3 2 ω 5 ϕ + 3 2 ω 2 ϕ + 1 3 2 ( 1 + ω 2 ϕ + 4 μ 0 + 4 ν 0 θ 0 ι 0 + ω 1 ϕ ) μ 0 ν 0 V ( 4 ) ν 0 , 0 , 1 2 ( ξ 2 , ϕ ; 2 ) v 2 ( 12 ) ( ξ 1 , ξ 2 ) = θ 0 3 2 1 θ 0 + ω 2 ϕ + ω 1 ϕ ι 0 + 8 ν 0 μ 0 ν 0 V ( 2 ) μ 0 , 0 , 1 2 ( ξ 1 , ϕ ; 2 ) + ι 0 + 3 1 θ 0 + ω 2 ϕ + ω 1 ϕ ι 0 + 8 ν 0 μ 0 ν 0 V ( 4 ) ν 0 , 0 , 1 2 ( ξ 2 , ϕ ; 2 )
      where V μ 0 , 0 , 1 ( 2 ) ( ξ 1 , ϕ ; 2 ) is presented in Equation (70) and V ν 0 , 0 , 1 ( 4 ) ( ξ 2 , ϕ ; 2 ) is presented in Equation (79).
    • (b) When μ 0 > 0 and ν 0 < 0
      u 2 ( 13 ) ( ξ 1 , ξ 2 ) = 3 ( 1 + ω 2 ϕ + 4 μ 0 + 4 ν 0 θ 0 ι 0 + ω 1 ϕ ) μ 0 ν 0 V ( 3 ) μ 0 , 0 , 1 2 ( ξ 1 , ϕ ; 2 ) + 8 μ 0 + 8 ν 0 ϵ 0 2 θ 0 2 ι 0 + 3 2 ω 5 ϕ + 3 2 ω 2 ϕ + 1 3 2 ( 1 + ω 2 ϕ + 4 μ 0 + 4 ν 0 θ 0 ι 0 + ω 1 ϕ ) μ 0 ν 0 V ( 1 ) ν 0 , 0 , 1 2 ( ξ 2 , ϕ ; 2 ) v 2 ( 13 ) ( ξ 1 , ξ 2 ) = θ 0 3 2 1 θ 0 + ω 2 ϕ + ω 1 ϕ ι 0 + 8 ν 0 μ 0 ν 0 V ( 3 ) μ 0 , 0 , 1 2 ( ξ 1 , ϕ ; 2 ) + ι 0 + 3 1 θ 0 + ω 2 ϕ + ω 1 ϕ ι 0 + 8 ν 0 μ 0 ν 0 V ( 1 ) ν 0 , 0 , 1 2 ( ξ 2 , ϕ ; 2 )
      where V μ 0 , 0 , 1 ( 3 ) ( ξ 1 , ϕ ; 2 ) is presented in Equation (75) and V ν 0 , 0 , 1 ( 1 ) ( ξ 2 , ϕ ; 2 ) is presented in Equation (68).
      u 2 ( 14 ) ( ξ 1 , ξ 2 ) = 3 ( 1 + ω 2 ϕ + 4 μ 0 + 4 ν 0 θ 0 ι 0 + ω 1 ϕ ) μ 0 ν 0 V ( 3 ) μ 0 , 0 , 1 2 ( ξ 1 , ϕ ; 2 ) + 8 μ 0 + 8 ν 0 ϵ 0 2 θ 0 2 ι 0 + 3 2 ω 5 ϕ + 3 2 ω 2 ϕ + 1 3 2 ( 1 + ω 2 ϕ + 4 μ 0 + 4 ν 0 θ 0 ι 0 + ω 1 ϕ ) μ 0 ν 0 V ( 2 ) ν 0 , 0 , 1 2 ( ξ 2 , ϕ ; 2 ) v 2 ( 14 ) ( ξ 1 , ξ 2 ) = θ 0 3 2 1 θ 0 + ω 2 ϕ + ω 1 ϕ ι 0 + 8 ν 0 μ 0 ν 0 V ( 3 ) μ 0 , 0 , 1 2 ( ξ 1 , ϕ ; 2 ) + ι 0 + 3 1 θ 0 + ω 2 ϕ + ω 1 ϕ ι 0 + 8 ν 0 μ 0 ν 0 V ( 2 ) ν 0 , 0 , 1 2 ( ξ 2 , ϕ ; 2 )
      where V μ 0 , 0 , 1 ( 3 ) ( ξ 1 , ϕ ; 2 ) is presented in Equation (75) and V ν 0 , 0 , 1 ( 2 ) ( ξ 2 , ϕ ; 2 ) is presented in Equation (71).
      u 2 ( 15 ) ( ξ 1 , ξ 2 ) = 3 ( 1 + ω 2 ϕ + 4 μ 0 + 4 ν 0 θ 0 ι 0 + ω 1 ϕ ) μ 0 ν 0 V ( 4 ) μ 0 , 0 , 1 2 ( ξ 1 , ϕ ; 2 ) + 8 μ 0 + 8 ν 0 ϵ 0 2 θ 0 2 ι 0 + 3 2 ω 5 ϕ + 3 2 ω 2 ϕ + 1 3 2 ( 1 + ω 2 ϕ + 4 μ 0 + 4 ν 0 θ 0 ι 0 + ω 1 ϕ ) μ 0 ν 0 V ( 1 ) ν 0 , 0 , 1 2 ( ξ 2 , ϕ ; 2 ) v 2 ( 15 ) ( ξ 1 , ξ 2 ) = θ 0 3 2 1 θ 0 + ω 2 ϕ + ω 1 ϕ ι 0 + 8 ν 0 μ 0 ν 0 V ( 4 ) μ 0 , 0 , 1 2 ( ξ 1 , ϕ ; 2 ) + ι 0 + 3 1 θ 0 + ω 2 ϕ + ω 1 ϕ ι 0 + 8 ν 0 μ 0 ν 0 V ( 1 ) ν 0 , 0 , 1 2 ( ξ 2 , ϕ ; 2 )
      where V μ 0 , 0 , 1 ( 4 ) ( ξ 1 , ϕ ; 2 ) is presented in in Equation (78) and V ν 0 , 0 , 1 ( 1 ) ( ξ 2 , ϕ ; 2 ) is presented in in Equation (67).
      u 2 ( 16 ) ( ξ 1 , ξ 2 ) = 3 ( 1 + ω 2 ϕ + 4 μ 0 + 4 ν 0 θ 0 ι 0 + ω 1 ϕ ) μ 0 ν 0 V ( 4 ) μ 0 , 0 , 1 2 ( ξ 1 , ϕ ; 2 ) + 8 μ 0 + 8 ν 0 ϵ 0 2 θ 0 2 ι 0 + 3 2 ω 5 ϕ + 3 2 ω 2 ϕ + 1 3 2 ( 1 + ω 2 ϕ + 4 μ 0 + 4 ν 0 θ 0 ι 0 + ω 1 ϕ ) μ 0 ν 0 V ( 2 ) ν 0 , 0 , 1 2 ( ξ 2 , ϕ ; 2 ) v 2 ( 16 ) ( ξ 1 , ξ 2 ) = θ 0 3 2 1 θ 0 + ω 2 ϕ + ω 1 ϕ ι 0 + 8 ν 0 μ 0 ν 0 V ( 4 ) μ 0 , 0 , 1 2 ( ξ 1 , ϕ ; 2 ) + ι 0 + 3 1 θ 0 + ω 2 ϕ + ω 1 ϕ ι 0 + 8 ν 0 μ 0 ν 0 V ( 2 ) ν 0 , 0 , 1 2 ( ξ 2 , ϕ ; 2 )
      where V μ 0 , 0 , 1 ( 4 ) ( ξ 1 , ϕ ; 2 ) is presented in Equation (78) and V ν 0 , 0 , 1 ( 2 ) ( ξ 2 , ϕ ; 2 ) is presented in Equation (71).
  • Familly 3. Solutions combained distinct fractional generalized rational (algebraic) functions with different independent variables (When μ 00 = 0 and ν 0 = 0 )
    u 2 ( 17 ) ( ξ 1 , ξ 2 ) = 3 ( 1 + ω 2 ϕ + 4 μ 0 + 4 ν 0 θ 0 ι 0 + ω 1 ϕ ) μ 0 ν 0 V ( 5 ) μ 0 , 0 , 1 2 ( ξ 1 , ϕ ; 2 ) + 8 μ 0 + 8 ν 0 ϵ 0 2 θ 0 2 ι 0 + 3 2 ω 5 ϕ + 3 2 ω 2 ϕ + 1 3 2 ( 1 + ω 2 ϕ + 4 μ 0 + 4 ν 0 θ 0 ι 0 + ω 1 ϕ ) μ 0 ν 0 V ( 5 ) ν 0 , 0 , 1 2 ( ξ 2 , ϕ ; 2 ) v 2 ( 15 ) ( ξ 1 , ξ 2 ) = θ 0 3 2 1 θ 0 + ω 2 ϕ + ω 1 ϕ ι 0 + 8 ν 0 μ 0 ν 0 V ( 5 ) μ 0 , 0 , 1 2 ( ξ 1 , ϕ ; 2 ) + ι 0 + 3 1 θ 0 + ω 2 ϕ + ω 1 ϕ ι 0 + 8 ν 0 μ 0 ν 0 V ( 5 ) ν 0 , 0 , 1 2 ( ξ 2 , ϕ ; 2 )
    where
    V μ 0 , 0 , 1 ( 5 ) ( ξ 1 , ϕ ; 2 ) = Γ ( 1 + ϕ ) ξ 1 ϕ + ω 1
    V ν 0 , 0 , 1 ( 5 ) ( ξ 2 , ϕ ; 2 ) = Γ ( 1 + ϕ ) ξ 2 ϕ + ω 2
    In all the solutions provided in this section, the wave coordinates ξ 1 and ξ 2 are presented by Equation (61)
The fractional generalized trigonometric and hyperbolic functions presented in the most solutions are defined as follows:
sin ( ξ 1 , ϕ ) = E ϕ ( i ξ 1 ϕ ) E ϕ ( i ξ 1 ϕ ) 2 i , sin ( ξ 2 , ϕ ) = E ϕ ( i ξ 2 ϕ ) E ϕ ( i ξ 2 ϕ ) 2 i , cos ( ξ 1 , ϕ ) = E ϕ ( i ξ 1 ϕ ) + E ϕ ( i ξ 1 ϕ ) 2 i , cos ( ξ 2 , ϕ ) = E ϕ ( i ξ 2 ϕ ) + E ϕ ( i ξ 2 ϕ ) 2 i , tan ( ξ 1 , ϕ ) = sin ( ξ 1 , ϕ ) cos ( ξ 1 , ϕ ) , tan ( ξ 2 , ϕ ) = sin ( ξ 2 , ϕ ) cos ( ξ 2 , ϕ ) , cot ( ξ 1 , ϕ ) = cos ( ξ 1 , ϕ ) sin ( ξ 1 , ϕ ) , cot ( ξ 2 , ϕ ) = cos ( ξ 2 , ϕ ) sin ( ξ 2 , ϕ ) , sinh ( ξ 1 , ϕ ) = E ϕ ( ξ 1 ϕ ) E ϕ ( ξ 1 ϕ ) 2 , sinh ( ξ 2 , ϕ ) = E ϕ ( ξ 2 ϕ ) E ϕ ( ξ 2 ϕ ) 2 , cosh ( ξ 1 , ϕ ) = E ϕ ( ξ 1 ϕ ) + E ϕ ( ξ 1 ϕ ) 2 , cosh ( ξ 2 , ϕ ) = E ϕ ( ξ 2 ϕ ) + E ϕ ( ξ 2 ϕ ) 2 , tanh ( ξ 1 , ϕ ) = sinh ( ξ 1 , ϕ ) cosh ( ξ 1 , ϕ ) , tanh ( ξ 2 , ϕ ) = sinh ( ξ 2 , ϕ ) cosh ( ξ 2 , ϕ ) , coth ( ξ 1 , ϕ ) = cosh ( ξ 1 , ϕ ) sinh ( ξ 1 , ϕ ) , coth ( ξ 2 , ϕ ) = cosh ( ξ 2 , ϕ ) sinh ( ξ 2 , ϕ ) ,
where E ϕ ( ξ 1 ) = k = 0 ξ 1 k Γ ( 1 + k ϕ ) and E ϕ ( ξ 2 ) = k = 0 ξ 2 k Γ ( 1 + k ϕ ) are Mittag–Leffler functions.
Illustrative examples of two exact solutions of Equation (1) are given in f3fig,f4fig.
Remark 1: The hyperbolic, trigonometric, and rational functions that appear in the solutions of this section are defined as “fractional generalized” functions with respect to the fractional parameter ϕ ( 0 , 1 ] . They differ from the generalized hyperbolic and trigonometric functions of the form that were introduced in the previous section, but reduce back to their corresponding classical counterparts at ϕ = 1 . It is obvious that the fractional generalized functions so defined can easily be reduced to the standard functions when the fractional order ϕ = 1 , thus restoring the classical (integer) case. Therefore, for the particular case ϕ = 1 , all the exact solutions presented above also are valid the classical (integer) version of the system (2) at ϕ = 1 .
Remark 2: When ω 1 = ω 2 , the exact solutions presented above reduce to those discussed in Step 1 (variant 2b) of the generalized SEsM algorithm, i.e. the distinct types of special functions present in the obtained analytical solutions have the same independent variable. To achieve this particular case, it is easy to replace ω 1 = ω 2 = ω in Equation (65) and rewrite all special functions present in the exact solutions of Equation (1) at ξ 1 = ξ 2 = ξ .
Figure 3. Numerical simulations of the solution (80) for ι 0 = 20 , θ 0 = 0.4 , μ 0 = 50 , ν 0 = 0.2 , ω 1 = 0.5 , ω 2 = 0.1 : 3D plots of (a) u(x,t) and (b) v(x,t); 2D plots of (c) u(x,t) and (d) v(x,t) for t = 1
Figure 3. Numerical simulations of the solution (80) for ι 0 = 20 , θ 0 = 0.4 , μ 0 = 50 , ν 0 = 0.2 , ω 1 = 0.5 , ω 2 = 0.1 : 3D plots of (a) u(x,t) and (b) v(x,t); 2D plots of (c) u(x,t) and (d) v(x,t) for t = 1
Preprints 161288 g003
Figure 4. Numerical simulations of the solution (83) for ι 0 = 20 , θ 0 = 0.4 , μ 0 = 50 , ν 0 = 0.2 , ω 1 = 0.05 , ω 2 = 0.01 : 3D plots of (a) u(x,t) and (b) v(x,t); 2D plots of (c) u(x,t) and (d) v(x,t) for t = 1
Figure 4. Numerical simulations of the solution (83) for ι 0 = 20 , θ 0 = 0.4 , μ 0 = 50 , ν 0 = 0.2 , ω 1 = 0.05 , ω 2 = 0.01 : 3D plots of (a) u(x,t) and (b) v(x,t); 2D plots of (c) u(x,t) and (d) v(x,t) for t = 1
Preprints 161288 g004

6. Conclusions

In this paper, a generalized algorithm based on the extended SEsM is proposed for obtaining exact solutions of FNPDEs (in particular, of NPDEs). This algorithm provides several options at each step, which allows the user to choose the most appropriate option depending on the expected wave dynamics in the modeled physical context. One of the main innovations in the proposed algorithm is the ability to construct the exact solutions of the studied FNPDEs by means of composite functions, including solutions of at least two simple equations with different independent variables. Multiple configurations for constructing analytical solutions of systems of type (19) are also shown. The algorithm also includes options for choosing an appropriate wave transform, as well as an appropriate type of ODEs in a role of simple equations. In this sense, the SEsM algorithm proposed appears as a generalization (with an extension) of all ansatz–based method algorithms for finding exact solutions of generalized models described by FNPDEs (and as a particular case, by NPDEs).
To demonstrate the wide possibilities provided by the generalized SEsM algorithm, two examples of its application to two variants of a system of NPDEs, which are generalized models of wave dynamics in shallow water processes, are given. To generate exact solutions to both considered systems, it is assumed that each system variable in the studied models exhibits multi–wave behavior, which is expressed as a superposition of two waves propagating at different velocities. In extracting the exact solutions to each studied system of FNPDEs, different wave transformations and different types of simple equations were used. As a result, many new multi–wave solutions were derived, including combinations of generalized hyperbolic, trigonometric, elliptic and rational functions. Numerical illustrations of some of the obtained analytical solutions confirm the analytically presented multi–wave dynamics, expressed in superposition and overlay of various multi–soliton-like and periodic-like waves and packets. It is shown that with minimal mathematical tricks, the analytical solutions obtained in this paper can describe the complex wave dynamics of classical (integer) shallow water models. In this sense, the obtained analytical solutions have a potential application to various scientific fields such as fluid dynamics, geophysics, oceanography and others.

Funding

This research was supported by the project BG05 M2OP001-1.001-0008 “National Center for Mechatronics and Clean Technologies”, funded by the Operating Program “Science and Education for Intelligent Growth” of Republic of Bulgaria and he project “Artificial intelligence for investigation and modeling of real processes”, KP-06-H82/4, funded by the Bulgarian National Science Fund.

Appendix A Analytical Solutions of the Simple Equations Used in the Paper

Appendix A.1. Analytical Solutions of the Simple Equations Used in sec4

The equation d f d ξ 2 = μ 0 + μ 2 f 2 + μ 4 f 4 admits the following solutions [51]:
  • a hyperbolic solution
    f ( ξ ) = μ 2 2 μ 4 tanh ( μ 2 2 ξ ) for μ 0 = μ 2 2 4 μ 4 and μ 2 < 0 , μ 4 > 0 ;
  • a trigonometric solution
    f ( ξ ) = μ 2 2 μ 4 tan ( μ 2 2 ξ ) for μ 0 = μ 2 2 4 μ 4 and μ 2 > 0 , μ 4 < 0 ;
  • Jacobi elliptic function solutions:
    f ( ξ ) = μ 2 m 2 μ 4 ( 2 m 2 1 ) c n ( μ 2 m 2 2 m 2 1 ξ ) for μ 0 = μ 2 2 m 2 ( m 2 1 ) μ 4 ( 2 m 2 1 ) 2 , μ 2 > 0 , μ 4 < 0 ;
    f ( ξ ) = μ 2 m 2 μ 4 ( 2 m 2 ) d n ( μ 2 m 2 2 m 2 ξ ) for μ 0 = μ 2 2 ( 1 m 2 ) μ 4 ( m 2 2 ) 2 , μ 2 > 0 , μ 4 < 0 ;
    f ( ξ ) = ± μ 2 m 2 μ 4 ( m 2 + 1 ) s n ( μ 2 m 2 + 1 ξ ) for μ 0 = μ 2 2 m 2 μ 4 ( m 2 + 1 ) 2 , μ 2 < 0 , μ 4 > 0
    where m is a modulus. The Jacobi elliptic functions are doubly periodical and possess properties of triangular functions. Additionally, we note that when m 1 , the Jacobi functions degenerate to the hyperbolic functions, i.e.
    s n ( ξ ) tanh ( ξ ) , c n ( ξ ) s e c h ( ξ ) , d n ( ξ ) s e c h ( ξ )
    When m 0 , the Jacobi functions degenerate to the triangular functions, i.e.
    s n ( ξ ) sin ( ξ ) , c n ( ξ ) c o s ( ξ ) , d n ( ξ ) 1
    Additional sub–variants of the elliptic solutions can be found in [58].
The equation d f d ξ 2 = ν 2 f 2 + ν 4 f 4 admits the following solutions [51]:
  • a hyperbolic solution
    f ( ξ ) = ν 2 ν 4 s e c h ( ν 2 ξ ) for ν 2 > 0 , ν 4 < 0 ;
  • a trigonometric solution
    f ( ξ ) = ν 2 ν 4 sec ( ν 2 ξ ) for ν 2 < 0 , ν 4 > 0 .

Appendix A.2. Analytical Solutions of the Simple Equations Used in sec5

The equation D ξ ϕ = μ 0 + f 2 (or D ξ ϕ = ν 0 + f 2 ) admits the following solutions [40]:
  • f ( ξ ) = μ 0 tanh ϕ ( μ 0 ξ ) for μ 0 < 0 ;
  • f ( ξ ) = μ 0 coth ϕ ( μ 0 ξ ) for μ 0 < 0 ;
  • f ( ξ ) = μ 0 tan ϕ ( μ 0 ξ ) for μ 0 > 0 ;
  • f ( ξ ) = μ 0 cot ϕ ( μ 0 ξ ) for μ 0 > 0 ;
  • f ( ξ ) = Γ ( 1 + ϕ ) ξ ϕ + w for μ 0 > 0 and w = c o n s t . ,
where
sin ( ξ , ϕ ) = E ϕ ( i ξ ϕ ) E ϕ ( i ξ ϕ ) 2 i , cos ( ξ , ϕ ) = E ϕ ( i ξ ϕ ) + E ϕ ( i ξ ϕ ) 2 i , tan ( ξ , ϕ ) = sin ( ξ , ϕ ) cos ( ξ , ϕ ) , cot ( ξ , ϕ ) = cos ( ξ , ϕ ) sin ( ξ , ϕ ) , sinh ( ξ , ϕ ) = E ϕ ( ξ ϕ ) E ϕ ( ξ ϕ ) 2 , c o s h ( ξ , ϕ ) = E ϕ ( ξ ϕ ) + E ϕ ( ξ ϕ ) 2 , tanh ( ξ , ϕ ) = sinh ( ξ , ϕ ) cosh ( ξ , ϕ ) , coth ( ξ , ϕ ) = cosh ( ξ , ϕ ) sinh ( ξ , ϕ ) ,
where E ϕ ( ξ ) = k = 0 ξ k Γ ( 1 + k ϕ ) is a Mittag–Leffler function.

References

  1. Rivero, M.; Trujillo, J.J.; Vázquez, L.; Velasco, M.P. Fractional dynamics of populations. Appl. Math. Comput. 2011, 218, 1089–1095. [Google Scholar] [CrossRef]
  2. Owolabi, K.M. High-dimensional spatial patterns in fractional reaction-diffusion system arising in biology. Chaos Solitons Fractals 2020, 134, 109723. [Google Scholar] [CrossRef]
  3. Ghanbari, B.; Günerhan, H.; Srivastava, H.M. An application of the Atangana-Baleanu fractional derivative in mathematical biology: A three-species predator-prey model. Chaos Solitons Fractals 2020, 138, 109910. [Google Scholar] [CrossRef]
  4. Kulish, V.V.; Lage, J.L. Application of fractional calculus to fluid mechanics. J. Fluids Eng. 2002, 124, 803–806. [Google Scholar] [CrossRef]
  5. Yıldırım, A. Analytical approach to fractional partial differential equations in fluid mechanics by means of the homotopy perturbation method. Int. J. Numer. Methods Heat Fluid Flow 2010, 20, 186–200. [Google Scholar] [CrossRef]
  6. Hosseini, V.R.; Rezazadeh, A.; Zheng, H.; Zou, W. A nonlocal modeling for solving time fractional diffusion equation arising in fluid mechanics. Fractals 2022, 30, 2240155. [Google Scholar] [CrossRef]
  7. Ozkan, E.M. New Exact Solutions of Some Important Nonlinear Fractional Partial Differential Equations with Beta Derivative. Fractal Fract. 2022, 6, 173. [Google Scholar] [CrossRef]
  8. Fallahgoul, H.; Focardi, S.; Fabozzi, F. Fractional Calculus and Fractional Processes with Applications to Financial Economics: Theory and Application; Academic Press: Cambridge, MA, USA, 2016. [Google Scholar]
  9. Ara, A.; Khan, N.A.; Razzaq, O.A.; Hameed, T.; Raja, M.A.Z. Wavelets optimization method for evaluation of fractional partial differential equations: An application to financial modelling. Adv. Differ. Equ. 2018, 2018, 8. [Google Scholar] [CrossRef]
  10. Tarasov, V.E. On history of mathematical economics: Applicatioactionaln of fr calculus. Mathematics 2019, 7, 509. [Google Scholar] [CrossRef]
  11. Kumar, S. A new fractional modeling arising in engineering sciences and its analytical approximate solution. Alex. Eng. J. 2013, 52, 813–819. [Google Scholar] [CrossRef]
  12. Sun, H.; Zhang, Y.; Baleanu, D.; Chen, W.; Chen, Y. A new collection of real world applications of fractional calculus in science and engineering. Commun. Nonlinear Sci. Numer. Simul. 2018, 64, 213–231. [Google Scholar] [CrossRef]
  13. Chen, W.; Sun, H.; Li, X. Fractional Derivative Modeling in Mechanics and Engineering; Springer Nature: Berlin/Heidelberg, Germany, 2022. [Google Scholar]
  14. Wang, M.; Li, X.; Zhang, J. The (G’/G)-expansion method and travelling wave solutions of nonlinear evolution equations in mathematical physics. Phys. Lett. A 2008, 372, 417–423. [Google Scholar] [CrossRef]
  15. Zhang, J.; Li, Z. The F–expansion method and new periodic solutions of nonlinear evolution equations. Chaos Solitons Fractals 2008, 37, 1089–1096. [Google Scholar] [CrossRef]
  16. Kudryashov, N.A. Simplest Equation Method to Look for Exact Solutions of non-linear Differential Equations. Chaos Solitons Fractals 2005, 24, 1217–1231. [Google Scholar] [CrossRef]
  17. Wazwaz, A.M. The tanh method for traveling wave solutions of nonlinear equations. Appl. Math. Comput. 2004, 154, 713–723. [Google Scholar] [CrossRef]
  18. Vitanov, N.K. Application of Simplest Equations of Bernoulli and Riccati Kind for Obtaining Exact Traveling-Wave Solutions for a Class of PDEs with Polynomial non-linearity. Commun. Non-Linear Sci. Numer. Simul. 2010, 15, 2050–2060. [Google Scholar] [CrossRef]
  19. Vitanov, N.K. Modified Method of Simplest Equation: Powerful Tool for Obtaining Exact and Approximate Traveling-Wave Solutions of non-linear PDEs. Commun. Non-Linear Sci. Numer. Simul. 2011, 16, 1176–1185. [Google Scholar] [CrossRef]
  20. Olver, P.J. Applications of Lie Groups to Differential Equations; Springer: Berlin/Heidelberg, Germany, 1986. [Google Scholar]
  21. Ibragimov, N.H. CRC Handbook of Lie Group Analysis of Differential Equations, Volumes I–III; CRC Press: Boca Raton, FL, USA, 1994. [Google Scholar]
  22. Kevorkian, J.; Cole, J.D. Multiple Scale and Singular Perturbation Methods; Springer: Berlin/Heidelberg, Germany, 1996. [Google Scholar]
  23. Nayfeh, A.H. Introduction to Perturbation Techniques; John Wiley & Sons: Hoboken, NJ, USA, 1981. [Google Scholar]
  24. Adomian, G.A. review of the decomposition method in applied mathematics. J. Math. Anal. Appl. 1990, 135, 501–544. [Google Scholar] [CrossRef]
  25. Duan, J.S.; Rach, R. New higher-order numerical one-step methods based on the Adomian and the modified decomposition methods. Appl. Math. Comput. 2011, 218, 2810–2828. [Google Scholar] [CrossRef]
  26. Hirota, R. Exact Solution of the Korteweg-de Vries Equation for Multiple Collisions of Solitons. Physical Review Letters 1971, 27, 1192–1194. [Google Scholar] [CrossRef]
  27. Wang, M.; Zhou, Y. The Homogeneous Balance Method and Its Application to Nonlinear Equations. Chaos, Solitons & Fractals 1996, 7, 2047–2054. [Google Scholar] [CrossRef]
  28. Jiong, S. Auxiliary equation method for solving nonlinear partial differential equations. Physics Letters A 2003, 2003, 387–396. [Google Scholar] [CrossRef]
  29. Liu, S. K.; Fu, Z. T.; Liu, S. D.; Zhao, Q. Jacobi Elliptic Function Expansion Method and Periodic Wave Solutions of Nonlinear Wave Equations. Physics Letters A 2001, 289, 69–74. [Google Scholar] [CrossRef]
  30. Wang, M.; Li, X.; Zhang, J. The (G’/G)-expansion method and travelling wave solutions of nonlinear evolution equations in mathematical physics. Phys. Lett. A 2008, 372, 417–423. [Google Scholar] [CrossRef]
  31. Zhang, J.; Li, Z. The F–expansion method and new periodic solutions of nonlinear evolution equations. Chaos Solitons Fractals 2008, 37, 1089–1096. [Google Scholar] [CrossRef]
  32. Fan, E. Extended tanh-function method and its applications to nonlinear equations. Physics Letters A 2000, 277, 212–218. [Google Scholar] [CrossRef]
  33. Feng, Z. The First Integral Method to Study the Burgers–KdV Equation. Journal of Physics A: Mathematical and General 2002, 35, 343–349. [Google Scholar] [CrossRef]
  34. He, J. H.; Wu, X. H. Exp-Function Method for Nonlinear Wave Equations. Chaos, Solitons & Fractals 2006, 30, 700–708. [Google Scholar] [CrossRef]
  35. Kudryashov, N.A.; Loguinova, N.B. Extended Simplest Equation Method for non-linear Differential Equations. Appl. Math. Comput. 2008, 205, 361–365. [Google Scholar] [CrossRef]
  36. Vitanov, N.K. Application of Simplest Equations of Bernoulli and Riccati Kind for Obtaining Exact Traveling-Wave Solutions for a Class of PDEs with Polynomial non-linearity. Commun. Non-Linear Sci. Numer. Simul. 2010, 15, 2050–2060. [Google Scholar] [CrossRef]
  37. Vitanov, N.K. On Modified Method of Simplest Equation for Obtaining Exact and Approximate Solutions of non-linear PDEs: The Role of the Simplest Equation. Commun. Non-Linear Sci. Numer. Simul. 2011, 16, 4215–4231. [Google Scholar] [CrossRef]
  38. Vitanov, N.K.; Dimitrova, Z.I.; Vitanov, K.N. Simple Equations Method (SEsM): Algorithm, Connection with Hirota Method, Inverse Scattering Transform Method, and Several Other Methods. Entropy 2021, 23, 10. [Google Scholar] [CrossRef] [PubMed]
  39. Vitanov, N.K. The Simple Equations Method (SEsM) For Obtaining Exact Solutions Of non-linear PDEs: Opportunities Connected to the Exponential Functions. AIP Conf. Proc. 2019, 2159, 030038. [Google Scholar] [CrossRef]
  40. Zhang, S.; Zhang, H.-Q. Fractional sub-equation method and its applications to nonlinear fractional PDEs. Phys. Lett. A 2011, 375, 1069–1073. [Google Scholar] [CrossRef]
  41. Guo, S.; Mei, L.; Li, Y.; Sun, Y. The improved fractional sub-equation method and its applications to the space-time fractional differential equations in fluid mechanics. Phys. Lett. A 2012, 376, 407–411. [Google Scholar] [CrossRef]
  42. Lu, B. Backlund transformation of fractional Riccati equation and its applications to nonlinear fractional partial differential equations. Phys. Lett. A 2012, 376, 2045–2048. [Google Scholar] [CrossRef]
  43. Zheng, B.; Wen, C. Exact solutions for fractional partial differential equations by a new fractional sub-equation method. Adv. Differ. Equ. 2013, 2013, 199. [Google Scholar] [CrossRef]
  44. Vitanov, N.K.; Dimitrova, Z.I.; Vitanov, K.N. On the Use of Composite Functions in the Simple Equations Method to Obtain Exact Solutions of Nonlinear Differential Equations. Computation, 2021, 9, 104. [Google Scholar] [CrossRef]
  45. Vitanov, N. K. Simple Equations Method (SEsM): An Effective Algorithm for Obtaining Exact Solutions of Nonlinear Differential Equations. Entropy 2022, 24, 1653. [Google Scholar] [CrossRef]
  46. Vitanov, N. K. On the Method of Transformations: Obtaining Solutions of Nonlinear Differential Equations by Means of the Solutions of Simpler Linear or Nonlinear Differential Equations. Axioms 2023, 12, 1106. [Google Scholar] [CrossRef]
  47. Nikolova, E.V. Exact Travelling-Wave Solutions of the Extended Fifth-Order Korteweg-de Vries Equation via Simple Equations Method (SEsM): The Case of Two Simple Equations. Entropy 2022, 24, 1288. [Google Scholar] [CrossRef] [PubMed]
  48. Zhou, J.; Ju, L.; Zhao, S.; Zhang, Y. Exact Solutions of Nonlinear Partial Differential Equations Using the Extended Kudryashov Method and Some Properties. Symmetry 2023, 15, 2122. [Google Scholar] [CrossRef]
  49. Nikolova, E.V. On the Extended Simple Equations Method (SEsM) and Its Application for Finding Exact Solutions of the Time-Fractional Diffusive Predator–Prey System Incorporating an Allee Effect. Mathematics 2025, 13, 330. [Google Scholar] [CrossRef]
  50. Nikolova, E.V.; Chilikova-Lubomirova, M. Numerous Multi-Wave Solutions of the Time-Fractional Boussinesq-like System via a Variant of the Extended Simple Equations Method (SEsM). Mathematics 2025, 13, 1029. [Google Scholar] [CrossRef]
  51. Fan, E.; Hon, Y. C. A series of travelling wave solutions for two variant Boussinesq equations in shallow water waves. Chaos, Solitons & Fractals 2003, 15, 559–566. [Google Scholar] [CrossRef]
  52. Jumarie, G. Modified Riemann-Liouville derivative and fractional Taylor series of non-differentiable functions further results. Computers & Mathematics with Applications 2006, 51, 1367–1376. [Google Scholar] [CrossRef]
  53. Jumarie, G. Table of some basic fractional calculus formulae derived from a modified Riemann-Liouville derivative for non-differentiable functions. Appl. Math. Lett. 2009, 22, 378–385. [Google Scholar] [CrossRef]
  54. Khalil, R.; Al Horani, M.; Yousef, A.; Sababheh, M. A new definition of fractional derivative. Journal of Computational and Applied Mathematics, 2014, 264, 65–70. [Google Scholar] [CrossRef]
  55. Li, Z.-B.; He, J.-H. Fractional Complex Transform for Fractional Differential Equations. Math. Comput. Appl., 2010, 15, 970–973. [Google Scholar] [CrossRef]
  56. Ozkan, E.M. New Exact Solutions of Some Important Nonlinear Fractional Partial Differential Equations with Beta Derivative. Fractal Fract. 2022, 6, 173. [Google Scholar] [CrossRef]
  57. Riaz, M.B.; Awrejcewicz, J.; Jhangeer, A. Optical Solitons with Beta and M-Truncated Derivatives in Nonlinear Negative-Index Materials with Bohm Potential. Materials 2021, 14, 5335. [Google Scholar] [CrossRef] [PubMed]
  58. Ebaid, A.; Aly, E. H. Exact solutions for the transformed reduced Ostrovsky equation via the F-expansion method in terms of Weierstrass-elliptic and Jacobian-elliptic functions. Wave Motion 2012, 49(2), 296–308. [Google Scholar] [CrossRef]
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content.
Copyright: This open access article is published under a Creative Commons CC BY 4.0 license, which permit the free download, distribution, and reuse, provided that the author and preprint are cited in any reuse.
Prerpints.org logo

Preprints.org is a free preprint server supported by MDPI in Basel, Switzerland.

Subscribe

Disclaimer

Terms of Use

Privacy Policy

Privacy Settings

© 2025 MDPI (Basel, Switzerland) unless otherwise stated