1.
Introduction
The Korteweg–de Vries–Burgers (KdV-Burgers) model, which comes up in several practical situations, such as the turbulence of undular bores in shallow water [1], the transport of liquids carrying gas bubbles [2], the waves that go through an elastic pipe that is filled with a viscous liquid [3], and weakly nonlinear plasma waves that have specific dissipative properties [4], has received a lot of interest over the last few decades. It may also be utilized as a nonlinear model in ferroelectricity theory, turbulence, circuit theory, and other fields [5,6]. The typical version of the KdV-Burger's equation is
The KdV [7] and Burgers models [8] are commonly believed to be combined in Eq (1.1). Johnson [9] discovered that a specific limit of the matter led to the proposed model, where U(x,t) is proportional to the radial disturbance of the pipe wall, and x and t are the characterizing and temporal variables, in a field of wave propagation in fluid-filled elastic pipes. The model (1.1) was correct in the far-field of a near-field solution that was originally linear (small amplitude). Nonlinearity (U∂U∂x), dispersion (∂3U∂x3), and dissipation (∂2U∂x2) all exist in this equation, which is the basic version of a wave model. Fractional differential equations (FDEs) are extensions of differential equations (DEs) having integer order. FDEs have ample applications in different domains of sciences [10,11,12,13,14]. Due to the wide applications of FDEs, several operators have been defined in the literature [15,16]. The recent operators that are frequently used for studying DEs are the Caputo-Fabrizio (CF) [17] and Atangana-Baleanu (AB) [18] operators. These operators are dependent on the exponential and Mittag-Leffler kernels, respectively. The literature has several applications for the CF and the AB operators. For instance, HIV-1 infection has been investigated via the CF operator in [19]. Ahmad et al. studied the fractional-order Ambartsumian equation through the CF operator [20]. The Φ 4-model has been investigated using the CF and AB operators by Rahman et al. [21]. More applications can be found in the literature [22,23,24]. The fractional non-linear KdV-Burger's equation is taken into consideration in the form:
with
where U is a function of x and t, x represents the space variable, t represents the time variable and η is a positive constant. We analyze Eq (1.2) in two ways: writing it first in the Atangana-Baleanu-Caputo (ABC) sense and then in the CF sense.
One of the most significant areas of research for FDEs is the quest for accurate and numerical solutions to FDEs. To date, many strategies for obtaining numerical and precise solutions of FDEs have been developed. A number of FDEs have been examined using these approaches. For example, Ahmad et al. [25] used the Laplace transform to find series of third order dispersive fractional PDEs. A generalized differential transform approach has been developed to solve fractional order PDEs by Odibat and Momani [26]. The homotopy perturbation technique has been proposed to solve the KdV-Burger's fractional PDE by Wang [27]. The Laplace transform was also observed to have a number of advantages, including its convergence to an exact solution of a problem after a certain iteration and that it does not allow any perturbation or discretization. Here, we utilize the double Laplace (DL) transform to compute a series solution of the considered equation.
The rest of article is organized as follows: Section 2 contains some basic definitions and a remark. The existence and uniqueness of the IVPs are presented in Section 3. In Section 4, the proposed techniques are presented. Section 5 consists of the application and comparison between results and diagrams of the proposed method. Finally, the conclusion is presented in Section 6.
2.
Preliminaries
In this part, we provide some definitions, remarks, and lemmas about fractional calculus. Additionally, we provide a definition of the DL transformation and decomposition technique.
Definition 1. [18] Let U∈H1(c,d), c>d and β∈(0,1]. Then the ABC operator is expressed as
where B(β) is a normalizing factor with the conditions B(0)=B(1)=1, and Eβ is the Mittag-Leffler function
Definition 2. [17] Let U∈H1(c,d), d>c and β∈(0,1]. Then the CF operator is written as
where E(β) is the normalizing factor such that E(0)=E(1)=1. When U(t) ∉ H1(c,d) then the above equation can be written for u ϵL−1(−∞,d) and any β ϵ(0,1] as
Remark 1. For the above definitions, n=[β]+1, [β] is the greatest integer not greater than β, and "Γ" is the well-known gamma function that can be calculated as
Definition 3. Suppose that U is a function for x,t>0. The DL transformation of U is expressed as [28]
where p and s are complex numbers.
Definition 4. Application of the DL transform on the ABC operator is as follows:
and
where, n=[θ]+1,m=[ϑ]+1.
Definition 5. Application of the DL transformation on the CF operator is as follows:
and
where, n=[θ]+1,m=[ϑ]+1.
From the interpretation provided above, it is clear that
A complex double-integral formulation is used to represent the inverse DL transform L−1xL−1t{ˉU}=U:
where, ˉU(p,s), is an analytic function for all p and s that are described in the region Re (p)≥a and Re (s)≥b, where a,b∈R to be chosen appropriately.
3.
Existence of the initial value problems (IVPs)
The existence and uniqueness of the IVPs are studied in this part employing α-type ϝ-contraction. For this purpose, assume that (Z,d) is a complete metric space, and ℸ is the collection of strictly increasing functions ϝ:R+→R having the following required characteristics:
● limn→∞ϝ(cn)=−∞ if and only if, for each {cn}, limn→∞(cn)=0;
● there exists υ∈(0,1) such that limc→0+cυϝ(c)=0.
Definition 6. [29] Let Q:Z→Z be self mapping with α:Z×Z→[0,∞). If
for all X,W∈Z, then Q is referred to as α-admissible.
Definition 7. [30] Suppose that Q:Z→Z, α:Z×Z→{−∞}∪[0,∞), and there exists ω>0 such that
for each X,W∈Z with d(QX,QW)>0. Then, Q is called an α-type ϝ-contraction.
Theorem 1. [30] Let (Z,d) be a complete metric space and Q:Z→Z be an α-type ϝ-contraction such that
1) there exists X∘∈Z such that α(X∘,QX∘)≥1;
2) if there exist {Xn}⊆Z with α(Xn,Xn+1)≥1 and Xn→X, then α(Xn,X)≥1 for all n∈N;
3) ϝ is continuous.
Then, Q has a fixed point X∗∈Z. Also for X∘∈Z, the sequence {QnX∘}n∈N is convergent to X∘
Let Z=C([0,1]2,R), where C is the space of all continuous functions X:[0,1]×[0,1]→R, and d(X(x,t),W(x,t))=supx,t∈[0,1]{|X(x,t)−W(x,t)|}. Then we can write the IVP (1.1) in the CF fractional derivative sense as
with initial condition
where F(x,t,X(x,t))=−σUxxx−ζUxx−ηUUx.
The following theorem demonstrates the existence of a solution of the problem (3.1).
Theorem 2. There exists G:R2→R such that
1) |F(x,t,X)−F(x,t,W)|≤2−γM(γ)2eb|X(x,t)−W(x,t)| for (x,t)∈[0,1]2 and X,W∈R;
2) there exists X1∈Z such that G(X1,QX1)≥0, where Q:Z→Z is defined by
3) for X,W∈Z,G(X,W)≥0 implies that G(QX,QW)≥0;
4) {Xn}⊆Z,limn→∞Xn=X, where X∈Z and G(Xn,Xn+1)≥0 implies that G(Xn,X)≥0, for all n∈N.
Then, there exists at least one fixed point of Q that is the solution of the given model (3.1).
Proof. To prove that Q has a fixed point, we consider
Thus, for X,W∈Z with G(X,W)≥0, we obtain
Taking the ln on both sides, we have
If F:[0,∞)→R is defined by F(u)=ln[u2+u],u>0, then F∈δ.
Now, define α:Z×Z→{−∞}∪[0,∞) as
Then,
for X,W∈Z with d(QX,QW)>0. Now, by G3,
for all X,W∈Z. From G2, there exists X∘∈Z such that α(X∘,QX∘)≥1. Therefore by G4 and Theorem 1, there exists X∗∈Z such that X∗=QX∗. Hence, X∗ is the solution of the problem (3.1)
Similarly, we can write the IVP (1.1) in the ABC sense as
with initial condition
where F(x,t,X(x,t))=−σUxxx−ζUxx−ηUUx.
The following theorem shows the existence of a solution of the problem (3.2).
Theorem 3. There exists G:R2→R such that
1) |F(x,t,X)−F(x,t,W)|≤ΓγM(γ)(1−γ)Γγ+1e−b2|X(x,t)−W(x,t)| for (x,t)∈[0,1]2 and X,W∈R;
2) there exists X1∈Z such that G(Y1,QX1)≥0, where Q:Z→Z is defined by
3) for X,W∈Z,G(X,W)≥0 implies that G(QX,QW)≥0;
4) {Xn}⊆Z,limn→∞Xn=X, where X∈Z and G(Xn,Xn+1)≥0 implies that G(Xn,X)≥0, for all n∈N.
Then, there exists at least one fixed point of Q which is the solution of the problem (3.2).
Proof.
Consequently,
Applying "ln'' on both sides, we have
and
Let ϝ:[0,∞)→R be defined by ϝ(λ)=lnλ, where λ>0. Then it is easy to show that ϝ∈ℸ.
Now, define α:Z×Z→{−∞}∪[0,∞) by
Thus, b+α(X,W)ϝ(d(QX,QW))≤ϝ(d(X,W)) for X,W∈Z with d(QX,QW)≥0. Therefore, Q is an α-type ϝ-contraction. From (G3), we have
for all x,t∈[0,1]. Thus, Q is α-admissible. From (G2), there exists X∘∈Z with α(X∘,QX∘)≥1. From (G4) and Theorem[29], there exists X∗∈Z such that QX∗. Hence, X∗ is the solution of the IVP (3.2).
4.
Modified double Laplace transform decomposition method (MDLDM)
Here, we briefly introduce the suggested technique MDLDM, which combines the DL transformation and Adomian decomposition method (ADM) for obtaining a series solution of non-linear ordinary DEs and PDEs. It is a very effective approach for obtaining the approximate values of dynamical problems such as KdV-Burgers, Sine-Gordon and KdV type equations. Here, we first introduce the technique and then the application of the given method on Eq (1.1).
Take the following form:
where L is linear, R and N are operators containing linear and non-linear terms, respectively, and f(x,t) is some external function. An, the well-known Adomian polynomials [31] of the functions U0,U1,U2,…, can be described as
4.1. The suggested model in ABC sense
Here, first take Eq (1.1) in the form of ABC sense as:
with initial conditions
By applying the DL transform method on both sides of Eq (4.3), we obtain
Using initial condition and after some calculation, we have
Consider the series form
The non-linear term UUx can be calculated using "ADM"; we obtain
Applying the double Laplace inverse transform and Equating terms of both sides,
The final solution can be calculated as follows:
4.2. The proposed model in CF Form
Now, we take Eq (1.1) in CF fractional derivative sense as:
with initial conditions
Using (3.1), we obtain the following series solutions:
The final form can be expressed as
5.
Applications
Here, we consider a numerical example in the form of time fractional derivatives in ABC and CF operators.
Example 1. Consider Eq (1.1) in the following form:
with initial condition
The exact solution of Eq (5.1) is:
Here, we will discuss two cases.
Case Ⅰ:
Consider Eq (5.1) in ABC form as follows:
The approximate solutions of Eq (5.2) by using the techniques discussed in Section 4 are obtained in the series up to O(3) and given by
The simplified form of U3 is:
Therefore,
Case Ⅱ:
Consider Eq (1.2) in the CF sense as
The approximate solutions of Eq (5.4) obtained by using the approaches discussed in Section 4 up to O(3) are given by
The simplified form is
The final result in the series form up to O(3) is given by
The errors between the exact and approximate solutions in the ABC and CF senses are shown in the Tables 1 and 2, respectively.
5.1. Discussion
Take the parameteric values as η=1, a0=0 and ζ and σ=0.1 for numerical computations. Tables 1 and 2 show the errors between the exact and approximated values in the ABC and CF senses, while the exact and computational values are also shown in these tables. Figure 1 depicts the comparison of approximated solutions in ABC and CF forms for different values of α at t=1. The surfaces in Figure 2 show the exact and approximated solutions of the ABC and the CF forms, respectively, for Eq (1.2) at α=1. Figures 3 and 4 present the approximate solutions when α=0.95 and α=0.90, respectively. These graphical representations show the behaviour of ABC and CF operators respectively for the proposed problem. Figures 5 and 6 depict the behaviours of surfaces for various values of α at different time levels. The first representation depicts the ABC form, while the second shows the CF form. It is straightforward to deduce that, as the fractional parameter α decreases, the wave response bifurcates into a wave but only for small values of x, and we observe that the amplitude of the wave grows over time t.
6.
Conclusions
In this manuscript, the time fractional KdV-Burger's model with initial conditions under two non-local operators with exponential kernel and Mittag-Leffler kernel has been investigated. The existence of the solution for both operators has been demonstrated through fixed point results of α-type ϝ contraction. The MDLDM was utilized to compute a series solutions that tends to the exact values for the special case α=1. As a result, we found highly accurate computed solutions to the fractional KdV-Burger's equation. The solutions show how consistently accurate the technique is and how broadly applicable it is to fractional nonlinear evolution problems. Quick convergence is seen when solutions are simulated numerically. Furthermore, neither linearization nor perturbation are needed. Therefore, it offers more authentic series solutions that typically converge quickly in actual physical problems.
Conflict of interest
The authors declare that they have no conflict of interest.