Loading [MathJax]/jax/output/SVG/jax.js
Research article Special Issues

A new approach in handling one-dimensional time-fractional Schrödinger equations

  • Our aim of this paper was to present the accurate analytical approximate series solutions to the time-fractional Schrödinger equations via the Caputo fractional operator using the Laplace residual power series technique. Furthermore, three important and interesting applications were given, tested, and compared with four well-known methods (Adomian decomposition, homotopy perturbation, homotopy analysis, and variational iteration methods) to show that the proposed technique was simple, accurate, efficient, and applicable. When there was a pattern between the terms of the series, we could obtain the exact solutions; otherwise, we provided the approximate series solutions. Finally, graphical results were presented and analyzed. Mathematica software was used to calculate numerical and symbolic quantities.

    Citation: Ahmad El-Ajou, Rania Saadeh, Moawaih Akhu Dunia, Ahmad Qazza, Zeyad Al-Zhour. A new approach in handling one-dimensional time-fractional Schrödinger equations[J]. AIMS Mathematics, 2024, 9(5): 10536-10560. doi: 10.3934/math.2024515

    Related Papers:

    [1] M. Mossa Al-Sawalha, Khalil Hadi Hakami, Mohammad Alqudah, Qasem M. Tawhari, Hussain Gissy . Novel Laplace-integrated least square methods for solving the fractional nonlinear damped Burgers' equation. AIMS Mathematics, 2025, 10(3): 7099-7126. doi: 10.3934/math.2025324
    [2] Mubashir Qayyum, Efaza Ahmad, Hijaz Ahmad, Bandar Almohsen . New solutions of time-space fractional coupled Schrödinger systems. AIMS Mathematics, 2023, 8(11): 27033-27051. doi: 10.3934/math.20231383
    [3] Emad Salah, Ahmad Qazza, Rania Saadeh, Ahmad El-Ajou . A hybrid analytical technique for solving multi-dimensional time-fractional Navier-Stokes system. AIMS Mathematics, 2023, 8(1): 1713-1736. doi: 10.3934/math.2023088
    [4] Mohammad Alaroud, Osama Ababneh, Nedal Tahat, Shrideh Al-Omari . Analytic technique for solving temporal time-fractional gas dynamics equations with Caputo fractional derivative. AIMS Mathematics, 2022, 7(10): 17647-17669. doi: 10.3934/math.2022972
    [5] Tareq Eriqat, Rania Saadeh, Ahmad El-Ajou, Ahmad Qazza, Moa'ath N. Oqielat, Ahmad Ghazal . A new analytical algorithm for uncertain fractional differential equations in the fuzzy conformable sense. AIMS Mathematics, 2024, 9(4): 9641-9681. doi: 10.3934/math.2024472
    [6] M. Mossa Al-Sawalha, Osama Y. Ababneh, Rasool Shah, Nehad Ali Shah, Kamsing Nonlaopon . Combination of Laplace transform and residual power series techniques of special fractional-order non-linear partial differential equations. AIMS Mathematics, 2023, 8(3): 5266-5280. doi: 10.3934/math.2023264
    [7] Ali Khalouta, Abdelouahab Kadem . A new computational for approximate analytical solutions of nonlinear time-fractional wave-like equations with variable coefficients. AIMS Mathematics, 2020, 5(1): 1-14. doi: 10.3934/math.2020001
    [8] Ahmad Qazza, Rania Saadeh, Osama Ala'yed, Ahmad El-Ajou . Effective transform-expansions algorithm for solving non-linear fractional multi-pantograph system. AIMS Mathematics, 2023, 8(9): 19950-19970. doi: 10.3934/math.20231017
    [9] Zeliha Korpinar, Mustafa Inc, Dumitru Baleanu . On the fractional model of Fokker-Planck equations with two different operator. AIMS Mathematics, 2020, 5(1): 236-248. doi: 10.3934/math.2020015
    [10] Naveed Iqbal, Mohammad Alshammari, Wajaree Weera . Numerical analysis of fractional-order nonlinear Gardner and Cahn-Hilliard equations. AIMS Mathematics, 2023, 8(3): 5574-5587. doi: 10.3934/math.2023281
  • Our aim of this paper was to present the accurate analytical approximate series solutions to the time-fractional Schrödinger equations via the Caputo fractional operator using the Laplace residual power series technique. Furthermore, three important and interesting applications were given, tested, and compared with four well-known methods (Adomian decomposition, homotopy perturbation, homotopy analysis, and variational iteration methods) to show that the proposed technique was simple, accurate, efficient, and applicable. When there was a pattern between the terms of the series, we could obtain the exact solutions; otherwise, we provided the approximate series solutions. Finally, graphical results were presented and analyzed. Mathematica software was used to calculate numerical and symbolic quantities.



    Fractional operators are concerned with the derivatives and integrals of non-integer orders, and there were many ancient and modern definitions of the fractional derivative and integral. Some of them have received attention from researchers because they have been used to represent many natural phenomena in all sciences, such as the definition of Grünwald-Letnikov, Riemann-Liouville, and Caputo as well [1,2,3,4,5]. Since there are no exact analytical solutions for most nonlinear fractional differential equations, many analytic and numerical methods have been proposed to solve them. For example, the Laplace transform methodology [6,7], Adomian decomposition method [8,9,10], operational matrix method [11,12], partial differential transformation method [13], homotopy analysis method [14,15,16], homotopy perturbation method [10,17,18], variational iteration method [18,19,20], residual power series (RPS) technique [21,22,23,24,25], analytical spectral method [26], Adam's-Bashforth numerical technique [27], Newton polynomials of interpolation [28], Haar wavelets method [29], analytical generalized exponential rational function method [30,31,32], Laplace transform with decomposition method [33], and meshless numerical technique [34].

    Eriqat et al. [35] introduced the Laplace residual power series (LRPS) method to adapt the Laplace transform to solve the nonlinear fractional differential equations based on the RPS method. The LRPS method is a simple and effective analytical technique that is used to construct the series solutions of fractional differential equations by applying the Laplace transform and solving the obtained result using the concepts of the Laurent expansion and the limit at infinity. The inverse Laplace transform returns the solution to the original space and obtains the series solution to the target equation. El-Ajou [36] obtained the solitary solutions for the nonlinear time-fractional dispersive PDEs, El-Ajou and Al-Zhour [37] created a vector series solution for a class of hyperbolic system of Caputo-time-fractional PDEs with variable coefficients, Burqan et al. [38] constructed the series solution to the time-fractional Navier-Stokes equations, Oqielat et al. [39] solved the fuzzy quadratic Riccati differential equations, and Saadeh et al. [40] introduced the reliable solutions to the fractional Lane-Emden equations via the LRPS approach. Moreover, several works on solving different types of fractional differential equations using the LRPS method can be found in the literature [41,42,43,44].

    The Schrödinger equation [10,16,38,45] is a fundamental equation in quantum mechanics that describes how quantum systems, such as electrons or atoms, evolve in time. It is named after the Austrian physicist Erwin Schrödinger, who first proposed it in 1926. This equation is a partial differential equation (PDE) that relates the wave function (or state function) of a quantum system to its position, momentum, and energy, and it describes the wave-like nature of quantum particles and the probability of finding a particle in a specific location at a specific time. The wave function describes the probability amplitude of a particle, and it is a key concept in quantum mechanics. The Schrödinger equation is a key tool in understanding the behavior of quantum systems and is used to calculate various properties such as energy levels, transition probabilities, and wave functions. It plays a central role in many areas of physics, including quantum mechanics and quantum chemistry. Quantum mechanics with the Schrödinger equation is a subset of quantum theory whose primary flaw is that it is a non-relativistic theory. This theory explains the significant phenomena such as the quantization of energy state in hydrogen atoms. The indeterminacy principle can be derived from Schrödinger's quantum mechanics, which is of philosophical relevance [45,46]. Finally, for more details about the reasons and physical meaning of fractional calculus, kindly refer to the literature [47].

    The fractional Schrödinger equation (FSE) [48,49,50,51] is a generalization of the conventional Schrödinger equation, which is derived from fractional quantum mechanics, according to the expansion using Feynman path integral from Brownian-like to Lévy-like quantum mechanical paths [48]. Instead of the first-order time derivative in the regular Schrödinger equation, the FSE incorporates an α-fractional-order time derivative. The fundamental theory behind the solution concept for time-FSE is considerable and intriguing, and it is a topic of current scientific, theoretical, and engineering studies in the broad sense [49,50,51].

    One of the most general forms of the one-dimensional FSE is the following form [52]:

    iDαtψ(x,t)+δψxx(x,t)+γ|ψ(x,t)|2ψ(x,t)+ϕ(x)ψ(x,t)=0,xR,tt0,0<α1, (1.1)

    subject to the initial condition:

    ψ(x,t0)=ζ(x), (1.2)

    where i2=1, Dαt is the Caputo time-fractional derivative of order α, the constants δ,γR, and |.| is the modulus. The multivariable function ψ is the macroscopic wave function of the condensate, the single variable ϕ(x) is the external trapping potential analytic function, and ζ(x) is an analytic displacement function.

    As is known to the research community, there is no single way to solve differential equations. Therefore, researchers' efforts focus on searching for new ways to solve various types of differential and non-differential equations. Researchers strive for these methods to provide speed, less effort, and accuracy, in addition to their ability to solve a wider range of equations. Problem (1.1) with (1.2) has been solved in several ways such as Adomian decomposition [10], homotopy perturbation [10], homotopy analysis [16], variational iteration [20], and RPS [21] methods. Each method has its advantages and disadvantages. They all arrived at the same solution, but each method had different advantages.

    We aim to adapt and test the LRPS method to generate exact and accurate approximate analytical solutions for the time-FSE of one dimension in the context of the initial value problem (IVP) (1.1) with (1.2). The purpose is to demonstrate that the LRPS method is a simple, efficient, and applicable way to solve the IVP (1.1) with (1.2), without requiring differentiation, linearization, or discretization like other methods. One of the advantages of this method is that it can adapt the Laplace transform to solve non-linear equations. The solution is expressed as an infinite series that rapidly converges to the exact solution. The LRPS method requires only defining the LRPS function and taking the limit at infinity, which can be computed without computer programs. In cases where the Mathematica software is used, the method requires less computational time than other methods. The accuracy of the obtained solutions is tested by analyzing two types of errors: Absolute, and relative errors. To study the behavior of solutions by changing the order of the fractional derivatives in FSE and to estimate the region of convergence for the series solutions, graphical solutions in three dimensions are considered. Additionally, three important and interesting examples are given and discussed to show that the proposed method is accurate, efficient, and applicable.

    This section reviews some basic concepts on fractional operators that are very important to get our results in other sections below.

    Definition 2.1. [2] The Caputo time-fractional derivative of order α(m1,m] of the multivariable function ψ(x,t) is defined as

    Dαtψ(x,t)={1Γ(nα)t0(tξ)nα1nξψ(x,ξ)dξ,m1<α<m,mtψ(x,t)=mtmψ(x,t),α=m,mN. (2.1)

    where Γ() is the Gamma function.

    Definition 2.2. [6] If the following improper integral

    Ψ(x,s)=0estψ(x,t)dt (2.2)

    exists for all s in some a domain DC, then Ψ(x,s) is called the Laplace transform of ψ(x,t), and denoted by L[ψ(x,t)](x,s). The original function ψ(x,t) can be restored from the Laplace transform Ψ(x,s) with the help of the following inverse Laplace transform:

    ψ(x,t)=L1[Ψ(x,s)]=12πic+iciestΨ(x,s)ds,c=Re(s)>c0, (2.3)

    where c0 lies in the right half plane of the absolute convergence of the Laplace integral.

    Here are some of the necessary properties of LT and its inverse that will be used in our work.

    Lemma 2.3. [36] Let ψ(x,t) be a piecewise continuous function on I×[0,) and of exponential order, and Ψ(x,s)=L[ψ(x,t)]. Then, we have

    (i)limssΨ(x,s)=ψ(x,0).

    (ii)L[Dαtψ(x,t)]=sαΨ(x,s)m1k=0sαk1ktψ(x,0),m1<α<m.

    (iii)L[Dnαtψ(x,t)]=snαΨ(x,s)m1k=0s(nk)α1Dkαtψ(x,0),0<α<1.

    Definition 2.4. [23] The α-power series about t0 is defined as follows:

    n=0fn(x)(tt0)nα=f0(x)+f1(x)(tt0)α+f2(x)(tt0)2α+,α>0,tt0, (2.4)

    where the coefficients fn(x) are functions of x.

    Theorem 2.5. [23] Suppose that ψ(x,t) has α-power series representation about t0 as follows:

    ψ(x,t)=n=0fn(x)(tt0)nα,0m1<αm,xI,t0t<t0+R. (2.5)

    If Dnαtψ(x,t) are continuous on I×(t0,t0+R), n=0,1,2,, then the coefficients fn(x) are given as

    fn(x)=(Dnαtψ)(x,t0)Γ(nα+1),n=0,1,2,, (2.6)

    where Dnαt=Dαt.DαtDαt(n-times).

    Definition 2.6. [36] The α- singular Laurent series about s=0 is defined as follows:

    n=0fn(x)snα+1=f0(x)s+f1(x)sα+1+f2(x)s2α+1+,α>0,s>0, (2.7)

    where the coefficients fn(x) are functions of x.

    Theorem 2.7. [36] Suppose ψ(x,t) has a Laplace transform over I×[0,), such that L[ψ(x,t)]=Ψ(x,s). Suppose Ψ(x,s) has the following α- singular Laurent series representation:

    Ψ(x,s)=n=0fn(x)snα+1,0<α1,s>0. (2.8)

    Then, fn(x)=(Dnαtψ)(x,0).

    Note that the inverse Laplace transform of the α-singular Laurent series in Theorem 2.6 has the following form:

    ψ(x,t)=n=0(Dnαtψ)(x,0)Γ(nα+1)tnα,0<α1,t0, (2.9)

    which is the α-power series representation of ψ(x,t) about t=0 that is given in Theorem 2.5.

    Theorem 2.8. [36] Let ψ(x,t) be a piecewise continuous on I×[0,) and of exponential order λ(x) and let Ψ(x,s)=L[ψ(x,t)] can be written as the α- singular Laurent series in the Theorem 2.7. If |sL[D(n+1)αtψ(x,t)]|K(x), on I×(δ,γ] where 0<α1, then the remainder of the α-singular Laurent expansion in Eq (2.8) becomes

    |Ωn(x,s)|K(x)s1+(n+1)α,xI,0δ<sγ. (2.10)

    This section adopts the LRPS method for introducing and constructing a new analytical solution to the FSE. As we mentioned in Section 1, we transpose Eqs (1.1) and (1.2) to the Laplace space, and then we solve the obtained result using the α-Laurent series. To accomplish this idea, we rewrite the complex functions ψ(x,t) and ζ(x) in terms of the real and imaginary parts as follows:

    ψ(x,t)=u(x,t)+iv(x,t),ζ(x)=f(x)+ig(x), (3.1)

    where u(x,t),v(x,t) are multivariable real-valued analytic functions defined for each xIR, t0, and f(x),g(x) are real-valued analytic functions defined for each xIR.

    In any case, Eq (1.1) can be rewritten as

    [Dαtv(x,t)δuxx(x,t)γ(u2(x,t)+v2(x,t))u(x,t)ϕ(x)u(x,t)]i[Dαtu(x,t)+δvxx(x,t)+γ(u2(x,t)+v2(x,t))v(x,t)+ϕ(x)v(x,t)]=0, (3.2)

    and the initial conditions in Eq (1.2) are as follows:

    iu(x,0)+iv(x,0)=f(x)+ig(x), (3.3)

    Based on that, the time FSE, Eq (1.1), can be transformed into an equivalent system of PDEs as follows using the results in (3.1)–(3.3):

    {Dαtu(x,t)+δvxx(x,t)+γ(u2(x,t)+v2(x,t))v(x,t)+ϕ(x)v(x,t)=0,Dαtv(x,t)δuxx(x,t)γ(u2(x,t)+v2(x,t))u(x,t)ϕ(x)u(x,t)=0, (3.4)

    subject to the following initial conditions:

    u(x,0)=f(x),v(x,0)=g(x). (3.5)

    The solution of system (3.4), subject to the initial conditions (3.5), is the solution to Eqs (1.1) and (1.2) completely. Therefore, we will construct the LRPS solution for the system (3.4). The first step is to apply the Laplace transform to the system (3.4) to transfer it to Laplace space and utilize the conditions in (3.5), as follows:

    {U(x,s)f(x)s+δsαVxx(x,s)+ϕ(x)sαV(x,s)+γsαL{(L1{U(x,s)})2(L1{V(x,s)})}+γsαL{(L1{V(x,s)})3}=0,V(x,s)g(x)sδsαUxx(x,s)ϕ(x)sαU(x,s)γsαL{(L1{V(x,s)})2(L1{U(x,s)})}γsαL{(L1{U(x,s)})3}=0, (3.6)

    where U(x,s)=L{u(x,t)} and V(x,s)=L[v(x,t)].

    In the next step, we assume the solution of the algebraic system (3.6), U(x,s) and V(x,s), has the following expansions:

    {U(x,s)=i=0fi(x)s1+iα,0<α1,xI,s>0,V(x,s)=i=0gi(x)s1+iα,0<α1,xI,s>0. (3.7)

    Theorem 2.7 provides the first coefficient of the system (3.7). So, the k th truncated series of the system (3.7) is given by

    {Uk(x,s)=f(x)s+ki=1fi(x)s1+iα,0<α1,xI,s>0,Vk(x,s)=g(x)s+ki=1gi(x)s1+iα,0<α1,xI,s>0. (3.8)

    The third step to constructing an LRPS solution is to define the so-called Laplace residual functions (LRFs) of the algebraic system (3.4) with (3.5) as follows:

    {LRes1(x,s)=U(x,s)f(x)s+δsαVxx(x,s)+ϕ(x)sαV(x,s)+γsαL{(L1{U(x,s)})2(L1{V(x,s)})}+γsαL{(L1{V(x,s)})3},LRes2(x,s)=V(x,s)g(x)sδsαUxx(x,s)ϕ(x)sαU(x,s)γsαL{(L1{V(x,s)})2(L1{U(x,s)})}γsαL{(L1{U(x,s)})3}, (3.9)

    then we can define the k th LRFs as follows:

    {LRes1k(x,s)=Uk(x,s)f(x)s+δsα(Vk)xx(x,s)+ϕ(x)sαVk(x,s)+γsαL{(L1{Uk(x,s)})2(L1{Vk(x,s)})}+γsαL{(L1{Vk(x,s)})3},LRes2k(x,s)=Vk(x,s)g(x)sδsα(Uk)xx(x,s)ϕ(x)sαUk(x,s)γsαL{(L1{Vk(x,s)})2(L1{Uk(x,s)})}γsαL{(L1{Uk(x,s)})3}. (3.10)

    Without a doubt, it is clear that LimkLResk(s)=LRes(s), LRes(s)=0, and thus skLRes(s)=0 for s>0 and k=0,1,2,3,. Therefore, Lims(skLRes(s))=0. Moreover, El-Ajou [29] proved that

    limsskα+1LResk(s)=0,α>0,k=1,2,3, (3.11)

    Fact (3.11) is considered the essential tool for finding the unknown coefficients of the expansions in the system (3.7). So, for determining the first unknown coefficient of the system (3.7), substitute the 1st truncated series of the system (3.8) that is given by

    U1(x,s)=f(x)s+f1(x)s1+α,V1(x,s)=g(x)s+g1(x)s1+α,

    into the 1 st LRF to obtain

    {LRes11(x,s)=f(x)s+f1(x)s1+αf(x)s+δsα(g(x)s+g1(x)s1+α)+ϕ(x)sα(g(x)s+g1(x)s1+α)+γsαL{(L1{f(x)s+f1(x)s1+α})2L1{g(x)s+g1(x)s1+α}}+γsαL{(L1{g(x)s+g1(x)s1+α})3},LRes21(x,s)=g(x)s+g1(x)s1+αg(x)sδsα(f(x)s+f1(x)s1+α)ϕ(x)sα(f(x)s+f1(x)s1+α)γsαL{(L1{g(x)s+g1(x)s1+α})2L1{f(x)s+f1(x)s1+α}}γsαL{(L1{f(x)s+f1(x)s1+α})3}. (3.12)

    By running the Laplace transforms in the system (3.12) and multiplying both sides by sα+1, one can get

    {sα+1LRes11(x,s)=f1(x)+δg(x)+δg(x)sα+ϕ(x)g(x)+ϕ(x)g1(x)sα+γf2(x)g(x)+γf2(x)g1(x)sα+2γf1(x)f(x)g0(x)sα1+2γf1(x)f(x)g1(x)Γ(1+2α)s2α++γg21(x)g(x)Γ(1+2α)s2α+γg31(x)Γ(1+3α)Γ2(1+2α)Γ(1+α)s2α,sα+1LRes21(x,s)=g1(x)δf(x)δf(x)sαϕ(x)f(x)ϕ(x)f1(x)sαγg2(x)f(x)γf1(x)g2(x)sα2γg1(x)g(x)f(x)sα12γg1(x)g(x)f1(x)Γ(1+2α)s2αγf21(x)f(x)Γ(1+2α)s2αγf31(x)Γ(1+3α)Γ2(1+2α)Γ(1+α)s2α. (3.13)

    Taking the limit of both sides of the system (3.13) as 𝑠 → ∞ and employing the fact in the system (3.11), we obtain the following algebraic system:

    {f1(x)+δg(x)+ϕ(x)g(x)+γf2(x)g(x)+γg3(x)=0,g1(x)δf(x)ϕ(x)f(x)γg2(x)f(x)γf3(x)=0. (3.14)

    Solving the resulting algebraic system (3.14) for f1(x) and g1(x) gives the form of the first unknown coefficients of the system (3.7) as functions of x as

    {f1(x)=(δg(x)+ϕ(x)g(x)+γf2(x)g(x)+γg3(x)),g1(x)=δf(x)+ϕ(x)f(x)+γg2(x)f(x)+γf3(x). (3.15)

    Similarly, to find the value of the second unknown coefficients U2(x,s) and V2(x,s), substitute the 2 nd truncated series U2(x,s)=f(x)s+f1(x)s1+α+f2(x)s1+2α and V2(x,s)=g(x)s+g1(x)s1+α+g2(x)s1+2α into the 2 nd LRF, LRes12(x,s), and LRes22(x,s) to get

    LRes12(x,s)=f1(x)s1+α+f2(x)s1+2α+δsα(g(x)s+g1(x)s1+α+g2(x)s1+2α)+ϕ(x)sα(g(x)s+g1(x)s1+α+g2(x)s1+2α)+γsαL{(L1{g(x)s+g1(x)s1+α+g2(x)s1+2α})3}+γsαL{(L1{f(x)s+f1(x)s1+α+f2(x)s1+2α})2L1{g(x)s+g1(x)s1+α+g2(x)s1+2α}}, (3.16)
    LRes22(x,s)=g1(x)s1+α+g2(x)s1+2αδsα(f(x)s+f1(x)s1+α+f2(x)s1+2α)ϕ(x)sα(f(x)s+f1(x)s1+α+f2(x)s1+2α)γsαL{(L1{f(x)s+f1(x)s1+α+f2(x)s1+2α})3}γsαL{(L1{g(x)s+g1(x)s1+α+g2(x)s1+2α})2L1{f(x)s+f1(x)s1+α+f2(x)s1+2α}}. (3.17)

    Running the transforms in the system (3.16) and (3.17) and multiplying both sides by s2α+1 gives

    {s2α+1LRes12(x,s)=f2(x)+δg1(x)+ϕ(x)g1(x)+γf2(x)g1(x)+2γf1(x)f(x)g(x)+3γg2(x)g1(x)+δg2(x)sα+ϕ(x)g2(x)sα++γg32(x)Γ(1+6α)Γ3(1+2α)s5α,s2α+1LRes22(x,s)=g2(x)δf1(x)ϕ(x)f1(x)γg2(x)f1(x)2γg1(x)g(x)f(x)3γf2(x)f1(x)δf2(x)sαϕ(x)f2(x)sαγf32(x)Γ(1+6α)Γ3(1+2α)s5α. (3.18)

    Computing the limit as s goes to infinity for both sides of the system (3.18) and using the facts in the system (3.11), we get

    {f2(x)=(δg1(x)+ϕ(x)g1(x)+γf2(x)g1(x)+2γf1(x)f(x)g(x)+3γg2(x)g1(x)),g2(x)=δf1(x)+ϕ(x)f1(x)+γg2(x)f1(x)+2γg1(x)g(x)f(x)+3γf2(x)f1(x). (3.19)

    The third unknown coefficients U3(x,s), and V3(x,s) can be determined by substituting the 3 rd truncated series U3(x,s)=f(x)s+f1(x)s1+α+f2(x)s1+2α+f3(x)s1+3α and V3(x,s)=g(x)s+g1(x)s1+α+g2(x)s1+2α+g3(x)s1+3α, into the 3 rd LRF, LRes13(x,s) and LRes23(x,s) to get the following functions:

    {LRes13(x,s)=f1(x)s1+α+f2(x)s1+2α+f3(x)s1+3α+δsα(g(x)s+g1(x)s1+α+g2(x)s1+2α+g3(x)s1+3α)+ϕ(x)sα(g(x)s+g1(x)s1+α+g2(x)s1+2α+g3(x)s1+3α)+γsαL{(L1{V3(x,s)})3}+γsαL{(L1{U3(x,s)})2L1{V3(x,s)}},LRes23(x,s)=g1(x)s1+α+g2(x)s1+2α+g3(x)s1+3αδsα(f(x)s+f1(x)s1+α+f2(x)s1+2α+f3(x)s1+3α)ϕ(x)sα(f(x)s+f1(x)s1+α+f2(x)s1+2α+f3(x)s1+3α)γsαL{(L1{U3(x,s)})3}γsαL{(L1{V3(x,s)})2L1{U3(x,s)}}. (3.20)

    Again, by multiplying both sides of the system (3.20) by s3α+1 and computing the limit as s goes to infinity by utilizing the facts (3.11), we can get the following:

    {f3(x)=(δg2(x)+ϕ(x)g2(x)+γf2(x)g2(x)+γg(x)(2f(x)f2(x)+3g(x)g2(x))+γ(2f(x)f1(x)g1(x)+3g(x)(f21(x)+g21(x)))Γ(1+2α)Γ2(1+α)),g3(x)=δf2(x)+ϕ(x)f2(x)+γg2(x)f2(x)+γf(x)(2g(x)g2(x)+3f(x)f2(x))+γ(2g(x)g1(x)f1(x)+f(x)(g21(x)+3f21(x)))Γ(1+2α)Γ2(1+α). (3.21)

    Therefore, by using the obtained coefficients of the series in (3.7), the solution of the system (3.6), can be expressed in an α-Laurent series form as

    U(x,s)=i=0fi(x)s1+iα=f(x)s(δg(x)+ϕ(x)g(x)+γf2(x)g(x)+γg3(x))s1+α
    (δg1(x)+ϕ(x)g1(x)+γf2(x)g1(x)+2γf1(x)f(x)g(x)+3γg2(x)g1(x))s1+2α(δg2(x)+ϕ(x)g2(x)+γf2(x)g2(x)+γg(x)(2f(x)f2(x)+3g(x)g2(x))+γ(2f(x)f1(x)g1(x)+3g(x)(f21(x)+g21(x)))Γ(1+2α)Γ2(1+α))1s1+3α+,
    V(x,s)=i=0gi(x)s1+iα=g(x)s+δf(x)+ϕ(x)f(x)+γg2(x)f(x)+γf3(x)s1+α
    +(δf1(x)+ϕ(x)f1(x)+γg2(x)f1(x)+2γg1(x)g(x)f(x)+3γf2(x)f1(x))s1+2α+(δf2(x)+ϕ(x)f2(x)+γg2(x)f2(x)+γf(x)(2g(x)g2(x)+3f(x)f2(x))+γ(2g(x)g1(x)f1(x)+3f(x)(g21(x)+f21(x)))Γ(1+2α)Γ2(1+α))1s1+3α+.

    Applying the inverse Laplace transform gives the approximate LRPS solution to system (3.4) with (3.5) in the following series form:

    u(x,t)=f(x)(δg(x)+ϕ(x)g(x)+γf2(x)g(x)+γg3(x))Γ(1+α)tα(δg1(x)+ϕ(x)g1(x)+γf2(x)g1(x)+2γf1(x)f(x)g(x)+3γg2(x)g1(x))Γ(1+2α)t2α(δg2(x)+ϕ(x)g2(x)+γf2(x)g2(x)+γg(x)(2f(x)f2(x)+3g(x)g2(x))+γ(2f(x)f1(x)g1(x)+3g(x)(f21(x)+g21(x)))Γ(1+2α)Γ2(1+α))t3αΓ(1+3α), (3.22)
    v(x,t)=g(x)s+δf(x)+ϕ(x)f(x)+γg2(x)f(x)+γf3(x)Γ(1+α)tα+(δf1(x)+ϕ(x)f1(x)+γg2(x)f1(x)+2γg1(x)g(x)f(x)+3γf2(x)f1(x))Γ(1+2α)t2α+(δf2(x)+ϕ(x)f2(x)+γg2(x)f2(x)+γf(x)(2g(x)g2(x)+3f(x)f2(x))+γ(2g(x)g1(x)f1(x)+3f(x)(g21(x)+f21(x)))Γ(1+2α)Γ2(1+α))t3αΓ(1+3α)+. (3.23)

    In this section, three attractive problems are given and solved to explain that the LRPS algorithm is efficient, simple, and accurate. Mathematica software was used to perform all the symbolic and numerical calculations.

    Application 4.1. Consider the following one-dimensional linear time-FSE:

    iDαtψ(x,t)ψxx(x,t)=0,xR,t0,0<α1. (4.1)

    subject to the constraint:

    ψ(x,0)=e3ix. (4.2)

    The time-FSE in Eq (4.1) can be transformed into an equivalent system of fractional PDEs as follows:

    {Dαtu(x,t)+vxx(x,t)=0,Dαtv(x,t)uxx(x,t)=0, (4.3)

    subject to the following constraints:

    u(x,0)=cos(3x),v(x,0)=sin(3x). (4.4)

    By comparing system (4.3) with (4.4) and system (3.4) with (3.5), we find that δ=1, γ=0, ϕ(x)=0, f(x)=cos3x, and g(x)=sin3x. Therefore, we can determine the fourth approximate LRPS solution of system (4.3) with (4.4) according to the results in Eqs (3.22) and (3.23). However, to further illustrate the proposed method, we will use the procedures performed in the previous section to arrive at the LRPS solution. The first step for this is to apply the Laplace transform to Eq (4.3) to transfer it to the Laplace space, and using conditions (4.4), one can obtain

    {U(x,s)cos(3x)s1sαVxx(x,s)=0,V(x,s)sin(3x)s+1sαUxx(x,s)=0. (4.5)

    Suppose the solution of the algebraic system (4.5), U(x,s) and V(x,s), has α-Laurent series as in Eq (3.7), and using the conditions in (4.4), the k th truncated series of α-Laurent series will have the following expression:

    {Uk(x,s)=cos(3x)s+ki=1fi(x)s1+iα,0<α1,xI,s>0,Vk(x,s)=sin(3x)s+ki=1gi(x)s1+iα,0<α1,xI,s>0. (4.6)

    So, the k th LRFs of the system (4.5) are defined as

    {LRes1k(x,s)=Uk(x,s)cos(3x)s1sα(Vk)xx(x,s),LRes2k(x,s)=Vk(x,s)sin(3x)s+1sα(Uk)xx(x,s). (4.7)

    Now, to determine the first unknown coefficient of Eq (4.6), replace the 1 st truncated series given by

    U1(x,s)=cos(3x)s+f1(x)s1+α,V1(x,s)=sin(3x)s+g1(x)s1+α, (4.8)

    into the 1 st LRFs to get

    {LRes11(x,s)=cos(3x)s+f1(x)s1+αcos(3x)s1sα(9sin(3x)s+g''1(x)s1+α),LRes21(x,s)=sin(3x)s+g1(x)s1+αsin(3x)s+1sα(9cos(3x)s+f''1(x)s1+α). (4.9)

    Multiply both sides of Eq (4.9) by sα+1 and taking the limit of both sides as 𝑠 → ∞, and considering the fact in Eq (3.11), then we have

    f1(x)=9sin(3x),g1(x)=9cos(3x). (4.10)

    Similarly, to find the value of the second unknown coefficients of the expansions of U(x,s) and V(x,s), substitute the 2nd truncated series, U2(x,s)=cos(3x)s9sin(3x)s1+α+f2(x)s1+2α and V2(x,s)=sin(3x)s+9cos(3x)s1+α+g2(x)s1+2α, into the 2nd LRFs, LRes12(x,s) and LRes22(x,s), to get the following:

    {LRes12(x,s)=9sin(3x)s1+α+f2(x)s1+2α1sα(9sin(3x)s81cos(3x)s1+α+g''2(x)s1+2α),LRes22(x,s)=9cos(3x)s1+α+g2(x)s1+2α+δsα(9cos(3x)s+81sin(3x)s1+α+f''2(x)s1+2α). (4.11)

    Employing fact (3.11) after multiplying both sides of Eq (4.12) by s1+2α and taking the limit as s goes to infinity gives the values of the following coefficients:

    f2(x)=81cos(3x),g2(x)=81sin(3x). (4.12)

    By applying the same procedure for k=3 and k=4 and taking into account the forms of f0(x),f1(x),f2(x) and g0(x),g1(x),g2(x), we can determine the values of the coefficients following:

    f3(x)=729sin(3x),g3(x)=729cos(3x),f4(x)=6561cos(3x),g4(x)=6561sin(3x). (4.13)

    So, the 4th approximate solution of system (4.5) can be expressed as

    {U4(x,s)=cos(3x)s9sin(3x)s1+α81cos(3x)s1+2α+729sin(3x)s1+3α+6561cos(3x)s1+4α,V4(x,s)=sin(3x)s+9cos(3x)s1+α81sin(3x)s1+2α729cos(3x)s1+3α+6561sin(3x)s1+4α. (4.14)

    Applying the inverse Laplace transform on Eq (4.14) gives the 4th approximate LRPS solution to the system (4.3) with (4.4) in the following series form:

    {u4(x,t)=cos(3x)9sin(3x)Γ(1+α)tα(9)2cos(3x)Γ(1+2α)t2α+(9)3sin(3x)Γ(1+3α)t3α+(9)4cos(3x)Γ(1+4α)t4α,v4(x,t)=sin(3x)+9cos(3x)Γ(1+α)tα(9)2sin(3x)Γ(1+2α)t2α(9)3cos(3x)Γ(1+2α)t3α+(9)4sin(3x)Γ(1+4α)t4α. (4.15)

    Consequently, the components of LRPS solutions are obtained as much as we like. Checking the pattern of the coefficients, we can write the exact solution of u(x,t) and v(x,t) in series form as follows:

    u(x,t)=cos3xk=0((1)k(9)2kt2kαΓ(1+2kα))+sin3xk=0((1)k+1(9)(2k+1)t(2k+1)αΓ(1+(2k+1)α)), (4.16)
    v(x,t)=sin3xk=0((1)k(9)2kt2kαΓ(1+2kα))+cos3xk=0((1)k(9)(2k+1)t(2k+1)αΓ(1+(2k+1)α)). (4.17)

    One can verify that the expansion of the exact solution can be separated and collected using Euler's formula for complex numbers to discover that the approximate solution of system (4.1) with (4.2) has a general pattern that exactly coincides with the series form of the solution as follows:

    ψ(x,t)=e3ixn=0(9i)ntnαΓ(1+nα). (4.18)

    Also, we mention here that Eq (4.18) can be expressed in a term of Mittag-Leffler function as follows:

    ψ(x,t)=e3ixEα(9itα). (4.19)

    It should be noted that the results obtained in Eqs (4.16) and (4.17) agree with the outcomes obtained by the RPS method [52]. Moreover, when α=1, we get the following solution to the system (4.1) with (4.2):

    ψ(x,t)=e3i(x+3t), (4.20)

    which coincides with the solutions obtained by the Adomian decomposition technique [10], the homotopy perturbation method [10], the homotopy analysis method [16], and the variational iteration method [20].

    To review some numerical results of the solution obtained in Eq (4.18), and to test the accuracy of the approximate solution of the method used, we use two types of error, namely, absolute error and relative error, which are defined respectively, as follows:

    Abs.Err(x,t)=|φ(x,t)φk(x,t)|, (4.21)

    where φ(x,t) is the exact solution and φk(x,t) is an approximate solution of order k. Sometimes the exact solution may not be available, so we can replace it with an approximation of a higher order than k such as φ2k(x,t).

    Tables 1 and 2 display some numerical results for the solution of Application 4.1 given in Eqs (4.16) and (4.17) at α=1, and the corresponding absolute and relative errors. The results indicate the accuracy of the 10th approximate LRPS solutions obtained. The tables show that the convergent region is R×[0,0.4] when α=1.

    Table 1.  Numerical comparisons between the exact value of u(x,t) and the 10th-approximation of u(x,t) at α=1.
    x t u10(x,t) u(x,t) Re. Err. Abs. Err.
    0 0.62161 0.62161 9.4433×1010 5.8701×1010
    2.5 0.1 0.519289 0.519289 14.51896×109 75.39531×1010
    5 0.981618 0.981618 4.72682×109 4.63993×109
    0 0.227204 0.227202 10.44299×106 23.72669×107
    2.5 0.2 0.992241 0.992225 1.573828×105 15.615924×106
    5 0.460687 0.460679 1.834986×105 8.45339×106
    0 0.904373 0.904072 3.33126×104 30.11701×105
    2.5 0.3 0.715617 0.714266 1.892477×103 13.5173×104
    5 0.408257 0.408893 1.555287×103 6.35945×104
    0 0.905983 0.896758 1.028624×102 9.22427×103
    2.5 0.4 0.0725272 0.104236 0.30420×102 3.31708×102
    5 0.956264 0.969022 1.3166×102 1.2759×102

     | Show Table
    DownLoad: CSV
    Table 2.  Numerical comparisons between the exact value of v(x,t) and the 10th-approximation of v(x,t) at α=1.
    x t v10(x,t) v(x,t) Re. Err. Abs. Err.
    0 0.783327 0.783327 9.984278×109 7.820954×109
    2.5 0.1 0.854599 0.854599 2.527978×109 2.160407×109
    5 0.190859 0.190859 3.313032×108 6.323206×109
    0 0.97386 0.973848 1.619482×105 1.577129×105
    2.5 0.2 0.124550 0.124454 2.604426×105 3.241323×106
    5 0.887517 0.887567 1.523736×105 1.352417×105
    0 0.428710 0.427380 3.111474×103 1.329781×103
    2.5 0.3 0.699696 0.699875 2.549767×104 1.784517×104
    5 0.913789 0.912582 1.321597×103 1.206066×103
    0 0.412125 0.442520 6.868819×102 3.039593×102
    2.5 0.4 0.992669 0.994553 1.894255×103 1.883936×103
    5 0.276064 0.246974 1.177852×101 2.908985×102

     | Show Table
    DownLoad: CSV

    Figure 1 shows the surface graph of the 10th approximate LRPS solutions, u10(x,t) and v10(x,t) of the system (4.1) with (4.2) at different values of α that are given in Eqs (4.16) and (4.17) in addition the exact solution when α=1. The graphs illustrate the behavior of the solutions at α=1, α=0.9, and α=0.8. Figure 1 illustrates the agreement between the 10th approximate solution and the exact solution for α=1, while all graphs depict the consistency of the behavior of the solutions at different values of α.

    Figure 1.  The surface graphs of the exact solution of u(x,t) and v(x,t) at α=1, and the 10th approximations, u10(x,t) and v10(x,t), at different values of α.

    Application 4.2. Consider the following one-dimensional nonlinear time-FSE:

    iDαtψ(x,t)+ψxx(x,t)+2|ψ(x,t)|2ψ(x,t)=0,xR,t0,0<α1, (4.22)

    subject to the constraint:

    ψ(x,0)=eix. (4.23)

    The time-FSE in Eq (4.22) can be transformed into an equivalent system of PDEs as follows:

    {Dαtu(x,t)+vxx(x,t)+2(u2(x,t)+v2(x,t))v(x,t)=0,Dαtv(x,t)uxx(x,t)2(u2(x,t)+v2(x,t))u(x,t)=0, (4.24)

    subject to the following constraints:

    u(x,0)=cos(x),v(x,0)=sin(x), (4.25)

    where ψ(x,t)=u(x,t)+iv(x,t).

    According to the LRPS approach, the Laplace transform of the system (4.24) with (4.25) into a Laplace space will lead to the following system:

    {U(x,s)cos(x)s+1sαVxx(x,s)+2sαL{(L1{U(x,s)})2(L1{V(x,s)})}+2sαL{(L1{V(x,s)})3}=0,V(x,s)sin(x)s1sαUxx(x,s)2sαL{(L1{V(x,s)})2(L1{U(x,s)})}2sαL{(L1{U(x,s)})3}=0. (4.26)

    The series solution to the system (4.26) in the new space assumed to be of the form:

    {U(x,s)=cos(x)s+i=1fi(x)s1+iα,0<α1,xI,s>0,V(x,s)=sin(x)s+i=1gi(x)s1+iα,0<α1,xI,s>0. (4.27)

    By comparing the standard form of FSE (1.1) with Eq (4.22), we find that δ=1, γ=2, and ϕ(x)=0. So, according to the results in (3.15), (3.19), and (3.21), the first few coefficients of the series (4.27) have the following form:

    f1(x)=sin(x),g1(x)=cos(x),f2(x)=cos(x),g2(x)=sin(x),f3(x)=(52Γ(1+2α)Γ2(1+α))sin(x),g3(x)=(52Γ(1+2α)Γ(1+α)2)cos(x). (4.28)

    Calculating an additional coefficient of the expansions in (4.27) utilizing the LRPS approach used in Section 3, we get

    {f4(x)=(52Γ(1+2α)Γ(1+α)2+4Γ(1+3α)Γ(1+α)Γ(1+2α)2Γ(1+3α)Γ(1+α)3)cos(x),g4(x)=(52Γ(1+2α)Γ(1+α)2+4Γ(1+3α)Γ(1+α)Γ(1+2α)2Γ(1+3α)Γ(1+α)3)sin(x). (4.29)

    So, the 4th approximate solution of system (4.27) can be expressed as follows:

    U4(x,s)=cos(x)ssin(x)s1+αcos(x)s1+2α+(52Γ(1+2α)Γ2(1+α))sin(x)s1+3α
    +(52Γ(1+2α)Γ(1+α)2+4Γ(1+3α)Γ(1+α)Γ(1+2α)2Γ(1+3α)Γ(1+α)3)cos(x)s1+3α,
    V4(x,s)=sin(x)s+cos(x)s1+αsin(x)s1+2α(52Γ(1+2α)Γ2(1+α))cos(x)s1+3α
    +(52Γ(1+2α)Γ(1+α)2+4Γ(1+3α)Γ(1+α)Γ(1+2α)2Γ(1+3α)Γ(1+α)3)sin(x)s1+3α.

    Therefore, based on the results in Eqs (3.22) and (3.23), the 4th approximate LRPS solution to the system (4.24) with (4.25) is given by

    u4(x,t)=cos(x)sin(x)tαΓ(1+α)cos(x)t2αΓ(1+2α)+(52Γ(1+2α)Γ2(1+α))sin(x)t3αΓ(1+3α)+(52Γ(1+2α)Γ(1+α)2+4Γ(1+3α)Γ(1+α)Γ(1+2α)2Γ(1+3α)Γ(1+α)3)cos(x)t4αΓ(1+4α), (4.30)
    v4(x,t)=sin(x)+cos(x)tαΓ(1+α)sin(x)t2αΓ(1+2α)(52Γ(1+2α)Γ(1+α)2)cos(x)t3αΓ(1+2α)+(52Γ(1+2α)Γ(1+α)2+4Γ(1+3α)Γ(1+α)Γ(1+2α)2Γ(1+3α)Γ(1+α)3)sin(x)t4αΓ(1+4α). (4.31)

    With a little bit of focus and scrutiny, one can get the general pattern of the series solution in Eqs (4.30) and (4.31). Using Euler's formula, we can write the solution to FSE in Eq (4.22) in the following infinite series form:

    ψ(x,t)=eix(1+itαΓ(1+α)+i2t2αΓ(1+2α)+i3(52Γ(1+2α)Γ(1+α)2)t3αΓ(1+3α)+i4(52Γ(1+2α)Γ(1+α)2+4Γ(1+3α)Γ(1+α)Γ(1+2α)2Γ(1+3α)Γ(1+α)3)t4αΓ(1+4α)+). (4.32)

    It should be noted that the results obtained in Eq (4.32) are in complete agreement with the results obtained by the RPS method [44]. Moreover, when α=1, the closed form of the exact solution to the IVP (4.22) with (4.23) is ψ(x,t)=ei(x+t), which coincides with the solutions obtained by the Adomian decomposition technique [10], and the variational iteration method [20]. Figure 2 shows the surface graphs of the 4th approximate LRPS solutions, u4(x,t) and v4(x,t), of the IVP (4.22) with (4.23) at different values of α that are given in Eqs (4.30) and (4.31) in addition the exact solution when α=1. The graphs illustrate the behavior of the solutions at α=1, α=0.9, and α=0.8.

    Figure 2.  The surface graphs of the exact solution of u(x,t) and v(x,t) at α=1, and the 4th approximations, u4(x,t) and v4(x,t), at different values of α.

    Figure 2 illustrates the agreement between the 4th approximate solution and the exact solution at α=1, while all graphs depict the consistency of the behavior of the solutions at different values of α.

    In the following example, we will deal with another form of the FSE that differs from the expression of Eq (1.1) by replacing the exponent of the modulus with the number 4 instead of 2; thus we will need to reconstruct the solution in detail to determine the coefficients of the series solution.

    Application 4.3. Consider the following one-dimensional nonlinear time-FSE:

    iDαtψ(x,t)+ψxx(x,t)+2|ψ(x,t)|4ψ(x,t)=0,xR,t0,0<α1, (4.33)

    subject to the constraint:

    ψ(x,0)=(6sech2(4x))14. (4.34)

    The time-FSE (4.33) can be reformulated into an equivalent system of PDEs as follows:

    {Dαtu(x,t)+vxx(x,t)+2(u4(x,t)+2u2(x,t)v2(x,t)+v4(x,t))v(x,t)=0,Dαtv(x,t)uxx(x,t)2(u4(x,t)+2u2(x,t)v2(x,t)+v4(x,t))u(x,t)=0, (4.35)

    subject to the following constraints:

    {f(x)=u(x,0)=(6sech2(4x))14,g(x)=v(x,0)=0, (4.36)

    where ψ(x,t)=u(x,t)+iv(x,t).

    Following the same steps as the previous two examples, the corresponding system of the system (4.35) with (4.36) in Laplace space will be as follows:

    {U(x,s)(6sech2(4x))14s+1sαVxx(x,s)+2sαL{(L1{U(x,s)})4L1{V(x,s)}+2(L1{U(x,s)})2(L1{V(x,s)})3}+2sαL{(L1{V(x,s)})5}=0,V(x,s)1sαUxx(x,s)2sαL{(L1{V(x,s)})4L1{U(x,s)}+2(L1{V(x,s)})2(L1{U(x,s)})3}2sαL{(L1{U(x,s)})5}=0, (4.37)

    and so, the k th LRFs of Eq (4.37) will be as follows:

    {LRes1k(x,s)=Uk(x,s)(6sech2(4x))14s+1sα(Vk)xx(x,s)+2sαL{(L1{Uk(x,s)})4L1{Vk(x,s)}+2(L1{Uk(x,s)})2(L1{Vk(x,s)})3}+2sαL{(L1{Vk(x,s)})5},LRes2k(x,s)=Vk(x,s)1sα(Uk)xx(x,s)2sαL{(L1{Vk(x,s)})4L1{Uk(x,s)}+2(L1{Vk(x,s)})2(L1{Uk(x,s)})3}2sαL{(L1{Uk(x,s)})5}, (4.38)

    where Uk and Vk are the k th truncated series of the expansion (3.7) that are assumed, as the approach of the LRPS method, to be a solution to the system (4.37).

    Solving the system

    {limsskα+1LRes1k(x,s)=0,k=0,1,2,,limsskα+1LRes2k(x,s)=0,k=0,1,2,, (4.39)

    recursively, yields the following first few coefficients of the series solution (3.7):

    g0(x)=0,f0(x)=(6sech2(4x))14,
    f1(x)=0,g1(x)=4(6sech2(4x))14,
    g2(x)=0,f2(x)=(4)2(6sech2(4x))14,
    f3(x)=0,g3(x)=(4)3(6sech2(4x))14(25+cosh(8x)12Γ(1+2α)Γ(1+α)2)sech2(4x)2,
    g4(x)=0,
    f4(x)=(4)4(6sech2(4x))14(601+12Γ(1+3α)Γ(1+α)3(2Γ(1+α)2Γ(1+2α)1)
    +cosh(8x)768sech2(4x)+12Γ(1+2α)Γ(1+α)2(32sech2(4x)25))sech2(4x)2.

    So, the 4th approximate solution of the system (4.37) will be as

    U4(x,s)=(6sech2(4x))14s(4)2(6sech2(4x))1/4s1+2α+(4)4(6sech2(4x))14s1+4α(601+12Γ(1+3α)Γ(1+α)3(2Γ(1+α)2Γ(1+2α)1)+cosh(8x)768sech2(4x)+12Γ(1+2α)Γ(1+α)2(32sech2(4x)25))sech2(4x)2, (4.40)
    V4(x,s)=4(6sech2(4x))14s1+α(4)3(6sech2(4x))14s1+3α(25+cosh(8x)12Γ(1+2α)Γ(1+α)2)sech2(4x)2. (4.41)

    Applying the inverse Laplace transform on Eqs (4.40) and (4.41), and combining the two resultant formulas as the real and imaginary parts of a complex function yields the 4th approximate LRPS of the FSE in the following form:

    ψ(x,t)=(6sech2(4x))14(1+4itαΓ(1+α)+(4i)2t2αΓ(1+2α)+(4i)3(25+cosh(8x)12Γ(1+2α)Γ(1+α)2)sech2(4x)2t3αΓ(1+3α))+(4i)4(6sech2(4x))14(601+12Γ(1+3α)Γ(1+α)3(2Γ(1+α)2Γ(1+2α)1)+cosh(8x)768sech2(4x)+12Γ(1+2α)Γ(1+α)2(32sech2(4x)25))sech2(4x)2t4αΓ(1+4α). (4.42)

    It should be noted that the results obtained in Eq (4.42) are in complete agreement with the results obtained by the RPS method [52]. Further, when α=1, we obtain the following solution for the IVP (4.33) and (4.34):

    ψ(x,t)=(6sech2(4x))14e4it, (4.43)

    which agrees with the results obtained by the variational iteration method [20].

    In this paper, we have presented a new method for solving fractional Schrödinger equations, called the LRPS method. This method is powerful and efficient and can be used to find analytical solutions in the form of a fast-converging series. The coefficients of the series are usually easily computed, and the method can be applied to both linear and nonlinear equations. It is shown that the LRPS method is very effective and can produce approximate solutions that are indistinguishable from the exact solutions. The major advantages of the LRPS method are:

    ● It can be used to solve nonlinear equations, while other methods are limited to linear equations.

    ● It simplifies the processing of fractional differential equations by converting them to algebraic equations.

    ● The iterators can be computed easily using the concept of limit at infinity.

    ● It does not require modeling assumptions such as linearization, perturbation, or discretization.

    It is shown that the LRPS method is a valuable tool for solving fractional Schrödinger equations. We have demonstrated its effectiveness in this paper, and we believe that it can be applied to a wide range of problems [53,54,55]. In future work, we plan to apply the LRPS method to other fractional differential equations [56,57,58,59,60], such as the space-time fractional Schrödinger equations and systems of fractional Schrödinger equations. We also plan to modify the method to construct solutions to fractional differential equations with other concepts of fractional derivatives [61,62].

    The authors declare that they have not used Artificial Intelligence (AI) tools in the creation of this article.

    This research was funded fully by Zarqa University, Jordan.

    No potential conflict of interest was reported by the authors.



    [1] G. Jumarie, Modified Riemann-Liouville derivative and fractional Taylor series of nondifferentiable functions further results, Comput. Math. Appl., 51 (2006), 1367–1376. https://doi.org/10.1016/j.camwa.2006.02.001 doi: 10.1016/j.camwa.2006.02.001
    [2] M. Caputo, M. Fabrizio, A new definition of fractional derivative without singular kernel, Progr. Fract. Differ. Appl., 1 (2015), 73–85.
    [3] M. C. Caputo, D. F. M. Torres, Duality for the left and right fractional derivatives, Signal Process., 107 (2015), 265–271. https://doi.org/10.1016/j.sigpro.2014.09.026 doi: 10.1016/j.sigpro.2014.09.026
    [4] Y. Y. Gambo, F. Jarad, D. Baleanu, T. Abdeljawad, On Caputo modification of the Hadamard fractional derivatives, Adv. Differ. Equ., 2014 (2014), 1–12. https://doi.org/10.1186/1687-1847-2014-10 doi: 10.1186/1687-1847-2014-10
    [5] A. A. Kilbas, H. M. Srivastava, J. J. Trujillo, Theory and applications of fractional differential equations, Elsevier, 2006.
    [6] S. Kazem, Exact solution of some linear fractional differential equations by Laplace transform, Int. J. Nonlinear Sci., 16 (2013), 3–11.
    [7] A. Burqan, M. Shqair, A. El-Ajou, Z. Al-Zhour, Analytical solutions to the coupled fractional neutron diffusion equations with delayed neutrons system using Laplace transform method, AIMS Math., 8 (2023), 19297–19312. https://doi.org/10.3934/math.2023984 doi: 10.3934/math.2023984
    [8] Y. Z. Hu, Y. Luo, Z. Y. Lu, Analytical solution of the linear fractional differential equation by Adomian decomposition method, J. Comput. Appl. Math., 215 (2008), 220–229. https://doi.org/10.1016/j.cam.2007.04.005 doi: 10.1016/j.cam.2007.04.005
    [9] A. Bibi, A. Kamran, U. Hayat, S. T. Mohyud-Din, New iterative method for time-fractional Schrödinger equations, World J. Model. Simul., 9 (2013), 89–95.
    [10] A. Sadighi, D. D. Ganji, Analytic treatment of linear and nonlinear Schrödinger equations: a study with homotopy-perturbation and Adomian decomposition methods, Phys. Lett. A, 372 (2008), 465–469. https://doi.org/10.1016/j.physleta.2007.07.065 doi: 10.1016/j.physleta.2007.07.065
    [11] I. Podlubny, A. Chechkin, T. Skovranek, Y. Q. Chen, B. M. Vinagre, Matrix approach to discrete fractional calculus Ⅱ: Partial fractional differential equations, J. Comput. Phys., 228 (2009), 3137–3153. https://doi.org/10.1016/j.jcp.2009.01.014 doi: 10.1016/j.jcp.2009.01.014
    [12] A. Saadatmandi, M. Dehghan, A new operational matrix for solving fractional-order differential equations, Comput. Math. Appl., 59 (2010), 1326–1336. https://doi.org/10.1016/j.camwa.2009.07.006 doi: 10.1016/j.camwa.2009.07.006
    [13] X. J. Yang, J. A. T. Machado, H. M. Srivastava, A new numerical technique for solving the local fractional diffusion equation: two-dimensional extended differential transform approach, Appl. Math. Comput., 274 (2016), 143–151. https://doi.org/10.1016/j.amc.2015.10.072 doi: 10.1016/j.amc.2015.10.072
    [14] F. Saba, S. Jabeen, S. T. Mohyud-Din, Homotopy analysis transform method for time-fractional Schrödinger equations, Int. J. Modern Math. Sci., 7 (2013), 26–40.
    [15] N. A. Khan, M. Jamil, A. Ara, Approximate solutions to time-fractional Schrödinger equation via homotopy analysis method, Int. Scholarly Res. Notices, 2012 (2012), 1–11. https://doi.org/10.5402/2012/197068 doi: 10.5402/2012/197068
    [16] A. K. Alomari, M. S. M. Noorani, R. Nazar, Explicit series solutions of some linear and nonlinear Schrödinger equations via the homotopy analysis method, Commun. Nonlinear Sci. Numer. Simul., 14 (2009), 1196–1207. https://doi.org/10.1016/j.cnsns.2008.01.008 doi: 10.1016/j.cnsns.2008.01.008
    [17] A. Yildirim, An algorithm for solving the fractional nonlinear Schrödinger equation by means of the homotopy perturbation method, Int. J. Nonlinear Sci. Numer. Simul., 10 (2009), 445–450. https://doi.org/10.1515/IJNSNS.2009.10.4.445 doi: 10.1515/IJNSNS.2009.10.4.445
    [18] S. Momani, Z. Odibat, Comparison between the homotopy perturbation method and the variational iteration method for linear fractional partial differential equations, Comput. Math. Appl., 54 (2007), 910–919. https://doi.org/10.1016/j.camwa.2006.12.037 doi: 10.1016/j.camwa.2006.12.037
    [19] B. J. Hong, D. C. Lu, Modified fractional variational iteration method for solving the generalized time-space fractional Schrödinger equation, Sci. World J., 2014 (2014), 1–6. https://doi.org/10.1155/2014/964643 doi: 10.1155/2014/964643
    [20] A. M. Wazwaz, A study on linear and nonlinear Schrodinger equations by the variational iteration method, Chaos Solitons Fract., 37 (2008), 1136–1142. https://doi.org/10.1016/j.chaos.2006.10.009 doi: 10.1016/j.chaos.2006.10.009
    [21] M. N. Oqielat, A. El-Ajou, Z. Al-Zhour, R. Alkhasawneh, H. Alrabaiah, Series solutions for nonlinear time-fractional Schrödinger equations: comparisons between conformable and Caputo derivatives, Alex. Eng. J., 59 (2020), 2101–2114. https://doi.org/10.1016/j.aej.2020.01.023 doi: 10.1016/j.aej.2020.01.023
    [22] A. El-Ajou, M. N. Oqielat, Z. Al-Zhour, S. Momani, A class of linear non-homogenous higher order matrix fractional differential equations: analytical solutions and new technique, Fract. Calc. Appl. Anal., 23 (2020), 356–377. https://doi.org/10.1515/fca-2020-0017 doi: 10.1515/fca-2020-0017
    [23] A. El-Ajou, Taylor's expansion for fractional matrix functions: theory and applications, J. Math. Comput. Sci., 21 (2020), 1–17. http://dx.doi.org/10.22436/jmcs.021.01.01 doi: 10.22436/jmcs.021.01.01
    [24] A. El-Ajou, M. Al-Smadi, M. N. Oqielat, S. Momani, S. Hadid, Smooth expansion to solve high-order linear conformable fractional PDEs via residual power series method: applications to physical and engineering equations, Ain Shams Eng. J., 11 (2020), 1243–1254. https://doi.org/10.1016/j.asej.2020.03.016 doi: 10.1016/j.asej.2020.03.016
    [25] A. Qazza, A. Burqan, R. Saadeh, Application of ARA-residual power series method in solving systems of fractional differential equations, Math. Probl. Eng., 2022 (2022), 1–17. https://doi.org/10.1155/2022/6939045 doi: 10.1155/2022/6939045
    [26] K. Shah, H. Naz, M. Sarwar, T. Abdeljawad, On spectral numerical method for variable-order partial differential equations, AIMS Math., 7 (2022), 10422–10438. http://dx.doi.org/10.3934/math.2022581 doi: 10.3934/math.2022581
    [27] K. Shah, M. Arfan, A. Ullah, Q. Al-Mdallal, K. J. Ansari, T. Abdeljawad, Computational study on the dynamics of fractional order differential equations with applications, Chaos Solitons Fract., 157 (2022), 111955. https://doi.org/10.1016/j.chaos.2022.111955 doi: 10.1016/j.chaos.2022.111955
    [28] K. Shah, T. Abdeljawad, A. Ali, Mathematical analysis of the Cauchy type dynamical system under piecewise equations with Caputo fractional derivative, Chaos Solitons Fract., 161 (2022), 112356. https://doi.org/10.1016/j.chaos.2022.112356 doi: 10.1016/j.chaos.2022.112356
    [29] S. Ali, A. Khan, K. Shah, M. A. Alqudah, T. Abdeljawad, Siraj-ul-Islam, On computational analysis of highly nonlinear model addressing real world applications, Results Phys., 36 (2022), 105431. https://doi.org/10.1016/j.rinp.2022.105431 doi: 10.1016/j.rinp.2022.105431
    [30] B. Ghanbari, D. Baleanu, New optical solutions of the fractional Gerdjikov-Ivanov equation with conformable derivative, Front. Phys., 8 (2020), 167. https://doi.org/10.3389/fphy.2020.00167 doi: 10.3389/fphy.2020.00167
    [31] B. Ghanbari, D. Baleanu, M. Al Qurashi, New exact solutions of the generalized Benjamin-Bona-Mahony equation, Symmetry, 11 (2019), 1–12. https://doi.org/10.3390/sym11010020 doi: 10.3390/sym11010020
    [32] B. Ghanbari, C. K. Kuo, New exact wave solutions of the variable-coefficient (1+1)-dimensional Benjamin-Bona-Mahony and (2+1)-dimensional asymmetric Nizhnik-Novikov-Veselov equations via the generalized exponential rational function method, Eur. Phys. J. Plus, 134 (2019), 334. https://doi.org/10.1140/epjp/i2019-12632-0 doi: 10.1140/epjp/i2019-12632-0
    [33] K. Shah, A. R. Seadawy, M. Arfan, Evaluation of one dimensional fuzzy fractional partial differential equations, Alex. Eng. J., 59 (2020), 3347–3353. https://doi.org/10.1016/j.aej.2020.05.003 doi: 10.1016/j.aej.2020.05.003
    [34] A. Mohebbi, M. Abbaszadeh, M. Dehghan, The use of a meshless technique based on collocation and radial basis functions for solving the time fractional nonlinear Schrödinger equation arising in quantum mechanics, Eng. Anal. Bound. Elem., 37 (2013), 475–485. https://doi.org/10.1016/j.enganabound.2012.12.002 doi: 10.1016/j.enganabound.2012.12.002
    [35] T. Eriqat, A. El-Ajou, M. Oqielat, Z. Al-Zhour, S. Momani, A new attractive analytic approach for solutions of linear and nonlinear neutral fractional pantograph equations, Chaos Solitons Fract., 138 (2020), 109957. https://doi.org/10.1016/j.chaos.2020.109957 doi: 10.1016/j.chaos.2020.109957
    [36] A. El-Ajou, Adapting the Laplace transform to create solitary solutions for the nonlinear time-fractional dispersive PDEs via a new approach, Eur. Phys. J. Plus, 136 (2021), 229. https://doi.org/10.1140/epjp/s13360-020-01061-9 doi: 10.1140/epjp/s13360-020-01061-9
    [37] A. El-Ajou, Z. Al-Zhour, A vector series solution for a class of hyperbolic system of Caputo time-fractional partial differential equations with variable coefficients, Front. Phys., 9 (2021), 525250. https://doi.org/10.3389/fphy.2021.525250 doi: 10.3389/fphy.2021.525250
    [38] A. Burqan, A. El-Ajou, R. Saadeh, M. Al-Smadi, A new efficient technique using Laplace transforms and smooth expansions to construct a series solution to the time-fractional Navier-Stokes equations, Alex. Eng. J., 61 (2022), 1069–1077. https://doi.org/10.1016/j.aej.2021.07.020 doi: 10.1016/j.aej.2021.07.020
    [39] M. N. Oqielat, A. El-Ajou, Z. Al-Zhour, T. Eriqat, M. Al-Smadi, A new approach to solving fuzzy quadratic Riccati differential equations, Int. J. Fuzzy Logic Intell. Syst., 22 (2022), 23–47. https://doi.org/10.5391/IJFIS.2022.22.1.23 doi: 10.5391/IJFIS.2022.22.1.23
    [40] R. Saadeh, A. Burqan, A. El-Ajou, Reliable solutions to fractional Lane-Emden equations via Laplace transform and residual error function, Alex. Eng. J., 61 (2022), 10551–10562. https://doi.org/10.1016/j.aej.2022.04.004 doi: 10.1016/j.aej.2022.04.004
    [41] A. Qazza, R. Saadeh, On the analytical solution of fractional SIR epidemic model, Appl. Comput. Intell. Soft Comput., 2023 (2023), 1–16. https://doi.org/10.1155/2023/6973734 doi: 10.1155/2023/6973734
    [42] A. El-Ajou, H. Al-ghananeem, R. Saadeh, A. Qazza, M. N. Oqielat, A modern analytic method to solve singular and non-singular linear and non-linear differential equations, Front. Phys., 11 (2023), 271. https://doi.org/10.3389/fphy.2023.1167797 doi: 10.3389/fphy.2023.1167797
    [43] E. Salah, A. Qazza, R. Saadeh, A. El-Ajou, A hybrid analytical technique for solving multi-dimensional time-fractional Navier-Stokes system, AIMS Math., 8 (2023), 1713–1736. https://doi.org/10.3934/math.2023088 doi: 10.3934/math.2023088
    [44] E. Salah, R. Saadeh, A. Qazza, R. Hatamleh, Direct power series approach for solving nonlinear initial value problems, Axioms, 12 (2023), 1–21. https://doi.org/10.3390/axioms12020111 doi: 10.3390/axioms12020111
    [45] D. Baleanu, M. Inc, A. I. Aliyu, A. Yusuf, Dark optical solitons and conservation laws to the resonance nonlinear Schrödinger's equation with Kerr law nonlinearity, Optik, 147 (2017), 248–255. https://doi.org/10.1016/j.ijleo.2017.08.080 doi: 10.1016/j.ijleo.2017.08.080
    [46] A. Qazza, M. Abdoon, R. Saadeh, M. Berir, A new scheme for solving a fractional differential equation and a chaotic system, Eur. J. Pure Appl. Math., 16 (2023), 1128–1139. https://doi.org/10.29020/nybg.ejpam.v16i2.4769 doi: 10.29020/nybg.ejpam.v16i2.4769
    [47] R. Saadeh, M. A. Abdoon, A. Qazza, M. Berir, A numerical solution of generalized Caputo fractional initial value problems, Fractal Fract., 7 (2023), 1–12. https://doi.org/10.3390/fractalfract7040332 doi: 10.3390/fractalfract7040332
    [48] N. Laskin, Fractional quantum mechanics and Lévy path integrals, Phys. Lett. A, 268 (2000), 298–305. https://doi.org/10.1016/S0375-9601(00)00201-2 doi: 10.1016/S0375-9601(00)00201-2
    [49] N. Laskin, Fractional Schrödinger equation, Phys. Rev. E, 66 (2002), 056108. https://doi.org/10.1103/PhysRevE.66.056108 doi: 10.1103/PhysRevE.66.056108
    [50] M. Naber, Time fractional Schrödinger equation, J. Math. Phys., 45 (2004), 3339–3352. https://doi.org/10.1063/1.1769611 doi: 10.1063/1.1769611
    [51] X. Y. Jiang, Time-space fractional Schrödinger like equation with a nonlocal term, Eur. Phys. J. Spec. Top., 193 (2011), 61–70. https://doi.org/10.1140/epjst/e2011-01381-7 doi: 10.1140/epjst/e2011-01381-7
    [52] O. Abu Arqub, Application of residual power series method for the solution of time-fractional Schrödinger equations in one-dimensional space, Fund. Inform., 166 (2019), 87–110.
    [53] G. W. Wang, Q. Zhou, A. S. Alshormani, A. Biswas, Explicit optical dromions with Kerr law having fractional temporal evolution, Fractals, 31 (2023), 2350056. https://doi.org/10.1142/S0218348X23500561 doi: 10.1142/S0218348X23500561
    [54] G. W. Wang, A new (3+1)-dimensional Schrödinger equation: derivation, soliton solutions and conservation laws, Nonlinear Dyn., 104 (2021), 1595–1602. https://doi.org/10.1007/s11071-021-06359-6 doi: 10.1007/s11071-021-06359-6
    [55] R. Santana-Carrillo, J. M. V. Peto, G. H. Sun, S. H. Dong, Quantum information entropy for a hyperbolic double well potential in the fractional Schrödinger equation, Entropy, 25 (2023), 1–10. https://doi.org/10.3390/e25070988 doi: 10.3390/e25070988
    [56] A. Qazza, R. Hatamleh, The existence of a solution for semi-linear abstract differential equations with infinite B-chains of the characteristic sheaf, Int. J. Appl. Math., 31 (2018), 611–620. https://doi.org/10.12732/ijam.v31i5.7 doi: 10.12732/ijam.v31i5.7
    [57] J. W. Wang, X. X. Jiang, X. H. Yang, H. X. Zhang, A nonlinear compact method based on double reduction order scheme for the nonlocal fourth-order PDEs with Burgers' type nonlinearity, J. Appl. Math. Comput., 70 (2024), 489–511. https://doi.org/10.1007/s12190-023-01975-4 doi: 10.1007/s12190-023-01975-4
    [58] W. Xiao, X. H. Yang, Z. Y. Zhou, Pointwise-in-time α-robust error estimate of the ADI difference scheme for three-dimensional fractional subdiffusion equations with variable coefficients, Commun. Anal. Mech., 16 (2024), 53–70. https://doi.org/10.3934/cam.2024003 doi: 10.3934/cam.2024003
    [59] A. M. Qazza, R. M. Hatamleh, N. A. Alodat, About the solution stability of Volterra integral equation with Random kernel, Far East J. Math. Sci. (FJMS), 100 (2016), 671–680. https://doi.org/10.17654/ms100050671 doi: 10.17654/ms100050671
    [60] L. D. Zhao, Y. H. Chen, Comments on "A novel approach to approximate fractional derivative with uncertain conditions", Chaos Solitons Fract., 154 (2022), 111651. https://doi.org/10.1016/j.chaos.2021.111651 doi: 10.1016/j.chaos.2021.111651
    [61] L. D. Zhao, A note on "Cluster synchronization of fractional-order directed networks via intermittent pinning control", Phys. A, 561 (2021), 125150. https://doi.org/10.1016/j.physa.2020.125150 doi: 10.1016/j.physa.2020.125150
    [62] J. B. Hu, G. P. Lu, S. B. Zhang, L. D. Zhao, Lyapunov stability theorem about fractional system without and with delay, Commun. Nonlinear Sci. Numer. Simul., 20 (2015), 905–913. https://doi.org/10.1016/j.cnsns.2014.05.013 doi: 10.1016/j.cnsns.2014.05.013
  • This article has been cited by:

    1. Emad Fadhal, Abdul Hamid Ganie, N. S. Alharthi, Adnan khan, Dowlath Fathima, Abd Elmotaleb A. M. A. Elamin, On the analysis and deeper properties of the fractional complex physical models pertaining to nonsingular kernels, 2024, 14, 2045-2322, 10.1038/s41598-024-69500-6
    2. Ajjanna Roja, Rania Saadeh, Raman Kumar, Ahmad Qazza, Umair Khan, Anuar Ishak, El-Sayed M. Sherif, Ioan Pop, Ramification of Hall effects in a non-Newtonian model past an inclined microchannel with slip and convective boundary conditions, 2024, 34, 1617-8106, 10.1515/arh-2024-0010
    3. Muhammad Nadeem, Yahya Alsayaad, Analytical study of one dimensional time fractional Schrödinger problems arising in quantum mechanics, 2024, 14, 2045-2322, 10.1038/s41598-024-63286-3
    4. Mashael M. AlBaidani, Abdul Hamid Ganie, Adnan Khan, Fahad Aljuaydi, An Approximate Analytical View of Fractional Physical Models in the Frame of the Caputo Operator, 2025, 9, 2504-3110, 199, 10.3390/fractalfract9040199
  • Reader Comments
  • © 2024 the Author(s), licensee AIMS Press. This is an open access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0)
通讯作者: 陈斌, bchen63@163.com
  • 1. 

    沈阳化工大学材料科学与工程学院 沈阳 110142

  1. 本站搜索
  2. 百度学术搜索
  3. 万方数据库搜索
  4. CNKI搜索

Metrics

Article views(1151) PDF downloads(87) Cited by(4)

Figures and Tables

Figures(2)  /  Tables(2)

/

DownLoad:  Full-Size Img  PowerPoint
Return
Return

Catalog