1.
Introduction
Fractional-order calculus has received considerable attention in the engineering and physical sciences over the last few decades to model a number of diverse phenomena in robotic-technology, bio-engineering, control theory, viscoelasticity diffusion model, relaxation processes and signal processing [1,2]. The order of derivatives, as well as integrals in the fractional-order calculus, is arbitrary. Therefore, fractional-order NPDEs have developed a fundamental interest in generalising integer-order NPDEs to model complex systems in thermodynamics, engineering, fluid dynamics and optical physics [3].
The enormous advantage of using fractional differential equations (FDEs) in modeling real-world problems is their global behavior together with preserving memory [4] which is not present in integer-order differential equations. It has also been noted that FDEs fastly converge to ordinary differential equations (ODEs) in a case when fractional-order is equal to one. Moreover, fractional calculus can clarify the basic features of various models and processes them more precisely than integer-order [5]. Several techniques have been applied to study analytical as well as numerical solutions of FNPDEs such as, Variational Iteration Method (VIM) [6], Laplace transforms Method [7], the double Laplace transform [8], invariant subspace method [9], Integral transform [10], Sumudu transform Method (STM) [11], natural transform [12] and Adomian decomposition method (ADM) [13].
The Klein-Gordon equation (KGE) considered herein is a basic non-linear evolution equation that arises in relativistic quantum Mechanics. It was formulated by Erwin Schrödinger for the non-relativistic wave equation in quantum physics, while precisely studied by the famous physicists O. Klein and W. Gordon (as it is named after their work) in 1926 [14,15]. The KGE has an extensive variety of applications in classical field theory [16] as well as in quantum field theory [17]. It has also been extensively used in numerous areas of physical phenomena such as in solid-state physics, dispersive wave-phenomena, nonlinear optics, elementary particles behavior, dislocations propagation in crystals, and different class of soliton solutions [18]. Here, we investigate equation of the form [19]
together with
where ψ=ψ(x,t), g(ψ) and r(x,t) represent nonlinear term and external function respectively.
The nonlinear differential equations involve numerous fractional differential operators, such as, Caputo, Hilfer, Riemann-Liouville (R-L), Atangana-Baleanu in Caputo's sense, and Caputo-Fabrizio, [20]. The above fractional operators are very useful in FC due to the complexities of fractional-PDEs/ODEs because standard operators cannot handle some equations to obtain explicit solutions. The Caputo fractional derivative is the basic idea of fractional derivatives. All the fractional derivatives will reduce in Caputo or Riemann-Liouville fractional derivatives after some parametric replacement. One can assume that the fractional derivative could provide a power-law of the local behavior of non-differentiable functions. The Caputo fractional derivative was introduced by Michele Caputo in 1967 [21] to study initial/boundary value problems in many areas of real-world phenomena. The Caputo's derivative has many advantages as it is the most important tool for dealing with integer order models in a fractional sense with suitable subsidiary conditions [23]. Most of the problems have been handled precisely using Caputo operator [24].
The integer order KGE has broadly studied by using a variety of methods [25]. Time-fractional Klein Gordon equations with Caputo's fractional operator have also been extensively studied using a variety of numerical and analytical techniques [26]. Here, we apply double Laplace transform with decomposition method to study the general solutions of the governing model with power law. Some particular examples are also studied numerically with some physical analysis. For preliminaries and some basic definitions of Caputo's derivative, see [31] and the reference therein.
Definition 1. Let us suppose ψ(x,t) lies in x−tplane, the double Laplace transform (DLT) of ψ(x,t) is defined by [32]
where, r,s∈(C).
Definition 2. Application of DLT on fractional-order operator in Caputo's sense gives
and
where, m=[β]+1 and n=[ω]+1. Hence, we infer that
The inverse DLT L−1xL−1t{¯ψ}=ψ, is represented by
where Re(p)≥c and Re(s)≥d, and c,d∈R to be chosen appropriately.
2.
Existence of the solution
It is often more challenging to find the closed form of series solution to a nonlinear FDEs due to their complexity. Therefore question arises about the existence of the solution to such FDEs. For this, we utilize the applications of fixed point theory to study whether the solution of our considered system exists. So far, in the literature there exists no such theory for the existence of our considered system. We use here for the first time the β−l-Geraghty type contraction to show that there exists a solution to the considered model. So we progress as follows
with
The above equation can also be expressed in the form
where
For the existence of the above model, we use the following notions.
Let Ω be the family of continuous and increasing functions defined as l:[0,∞)→[0,∞) satisfying
and the elements of Θ are non-decreasing functions, such that
Definition 3. Suppose that (M,d) be a complete b-metric space: Let T:M→M also consider that ∃F:M×M→[0,∞) with F(m,n)l(ρ31d(Tm,Tn))≤ε(ld(m,n))l(d(m,n)), for m,n∈M,whereρ1≥1,ε∈Θandl∈Ω. Then T is known a generalized F−l-Gergaghty type contraction mapping.
Definition 4. Consider T:M→M, where M is non-empty and F:M×M→[0,∞), where β(m,n)≥1⇒β(Mm,Mn)∀m,n∈M, then T is called β-admissible mapping.
First we show that there exists the fixed point for the considered model Eq (2.3), for this we apply the following theorem.
Theorem 1. [33] Let T:M→M be a generalized F−l-Gergaghty type contraction such that
(1) T is β-admissible.
(2) There exists υ0∈Mwithβ(υ0,Tυ0)≥1.
(3) {υn}⊂M,limn→∞υn=υ, where υ∈M and β(υn,υn+1)≥1⇒β(υn,υ)≥1,
then ∃ a fixed point for T. Let M=C(π,R) and d:M×M→[0,∞), where π=[0,1]×[0,1] given by
thus (M,d) be a complete b-metric space. The following theorem shows the existence of solution of the considered model Eq (2.3).
Theorem 2. Suppose that ∃ J:R2→R such that
(1) |H(x,t,ψ(x,t))−H(x,t,ϕ(x,t))|≤√α+13√3√ε(l|u−v|2)l(|u−v|2), for x∈[0,X],t∈[0,T], and u,v∈M with J(u,v)≥0.
(2) there exists u1∈M with J(u1,Tu1)≥0, where T:M→M is defined by Tuj=u0u0+u1ut+IωtH(x,t,ψ(x,t)).
(3) for u,v∈M,J(u,v)≥0⇒J(Tun,Tv).
(4) {un}⊂M, un→u where u∈M and mathcalJ(un,un+1)⇒mathcalJ(un,u)≥0, for n∈N.Then there exists a solution of the model Eq (2.3).
Proof. Applying the fractional integral to Eq (2.3), we obtain
Here we prove that T has a fixed point using the above technique, thus
Hence for u,v∈C(π with J(u,v)≥0 we have 27||(Tu−Tv)2||≤ε(l(d(u,v))l(d(u,v))). Now F:C([0,X]×[0,T],R)×C([0,X]×[0,T],R)→[0,∞) by
and
Thus, T is an β−l-contraction. Now to show that T is β-admissible, we have from condition (iii)
For u,v∈C(π,R), from condition (ii) we have u∈C(π,R). Such that β(u0,Tu0)≥1. Similarly from (iv) and Theorem 1, there exists u∗∈C(π,R), such that u∗=Tu∗. Therefore we proved that the model Eq (2.3) has a solution.
3.
Modified double Laplace decomposition method (MDLDM)
Here, we study the above technique, which is a composition of DLT with the decomposition method. This method can be applied to find the general series solutions for various PDEs/ODEs. This is an efficient technique to study the analytical solutions of several nonlinear systems [34]. Let us consider the general non-linear system
Here, L and R is linear and nonlinear operators, r(x,t) is some particular external function and N is nonlinearity in the system. The convergence analysis of the considered technique can be seen in [35].
General solution of proposed model in Caputo's sense
Using the technique defined above and expressing Eq (1.1) in the form
with
Applying DLT to above equation, we obtain
Applying DLT on fractional order, gives
Similarly, applying Laplace transform on Eq (3.3), gives
Now consider
where the non-linear term can be degraded as
where An, is given by [36]
Finally, applying inverse DLT to Eq (3.2), using Eq (3.6) and Eq (3.9), gives
In a similar manner, other terms can be computed. Final result can be obtained as
which is the general solution of Eq (3.2) in series form by using the proposed method as discussed above.
4.
Applications of MDLDM
Here, we present numerical examples on the TFKG equation in Caputo's sense given as Eq (3.2) and discuss the behaviour of each example. We apply the aforesaid technique discussed in Section 3, to obtain the approximate solution of the problems.
Example 1. Consider the nonlinear TFKG equation
with
For α=2, the exact solution of Eq (4.1) can be obtained in the form [19]
Consider TFKG Eq (4.1) in Caputo's sense
Applying MDLDM scheme discussed in Section 3, we obtain
In a similar manner, other terms can be computed. Final result can be obtained as
Discussion
The error analysis between series solution Eq (4.6) and the exact solution Eq (4.4) is shown in Table 1, while the surface behaviour is shown in Figure 1 reveals that Eq (4.1) is depends on time (t). It should be noted that when the time (t) is small enough, there is less extent of error exist amongst the approximate and exact solutions obtained by the MDLDM method. Figure 2 [left panel] shows the absolute of wave solution Eq (4.6) with deviations in (α) with t=0.65 in comparison with exact solution Eq (4.4). Notice that numerical result, Eq (4.6) exactly matches to the exact solution Eq (4.4). This shows that the governing equation admits a soliton solution. Figure 2 [right panel] represents Eq (4.6) reveals that the amplitude of the solitary potentials blow-up as t increases. The 3D profiles for Eq (4.6) is shown in Figure 3 versus x for t=0.65. It reveals the progression of localized mode in the governing system. The solution obtained as Eq (4.6) versus x for t=1(dashedline),0.8(solidcurve),0.6(dottedcurve) Figure 4, when ω=2and1.7 are also depicted. Clearly, one can see the wave amplitude enhancement with variations in t that concludes that coefficient (ω) considerably increases the wave amplitudes.
Example 2. Consider the time-fractional nonlinear KGE in the form
with
where
The parameters ρ, κ, σ, and η∈R. It should be noted that, for α=2, an exact solution of Eq (4.7) can be obtained in the form [37]
Writing Eq (4.7) in Caputo's sense gives
The series solution of Eq (4.11) with conditions (4.9) gives
In a similar manner, other terms can be computed. The final result can be written in the form
Discussion
The parameters as κ=1,σ=−8.5,η=0.05, and ρ=−1 are considered for numerical illustration. The error amongst the approximate and exact solutions of Eq (4.7) is shown in Table 2 and its corresponding surface plot is presented in Figure 5. The numerical solution, Eq (4.12) and exact solution Eq (4.10) is depicted in Figure 6 [left panel], for t=7 and for different values of time-fractional coefficient (ω). It is noted that TFKG Eq (4.12) may admits the excitation in the system. This amount enrichment in ω overturned the wave amplitude as it interrupt the dispersion/nonlinearity effects. To see the effect of a temporal variable (t) on the wave solution, Eq (4.12) is displayed in Figure 6 [right panel] which shows that ϕ(x,t) increases with time. Further, the 3D profiles for Eq (4.12) is shown versus x with t=7 in Figure 7 for (ω=2), which represents the physical behaviour of Eq (4.12). It shows the advancement of localized mode excitations in the governing equation. The solution of Eq (4.12) versus x with t=7 (dashed curve), 6 (solid green curve), 5 (dotted curve), in Figure 8, with ω=2and1.5 respectively is depicted. Clearly, the wave amplitude increases with deviations in t. It infers that the fractional order (ω) significantly increases the wave amplitudes.
5.
Conclusions
We have studied the TFKG equation using double Laplace transforms with the decomposition method. The general solution of proposed system is obtained as a class of general series solution. It is relevant to note that following only two iterations, fairly precise results are obtained that converges to the exact solution of the governing equation. The proposed method offers perfect numerical results without any alteration and complicated numerical methods for the governing equation in the fractional case. The numerical results obtained for particular examples are compared with the exact solutions at the classical order. The result profiles with physical interpretations for different fraction orders were revealed explicitly.
Acknowledgments
Princess Nourah bint Abdulrahman University Researchers Supporting Project number (PNURSP2022R8). Princess Nourah bint Abdulrahman University, Riyadh, Saudi Arabia.
Conflict of interest
It is declared that all the authors have no conflict of interest regarding this manuscript.