Research article

Chebyshev pseudospectral approximation of two dimensional fractional Schrodinger equation on a convex and rectangular domain

  • Received: 14 November 2019 Accepted: 03 February 2020 Published: 10 February 2020
  • MSC : 35C07, 35C11, 35R11

  • In this article, the authors report the Chebyshev pseudospectral method for solving twodimensional nonlinear Schrodinger equation with fractional order derivative in time and space both. The modified Riemann-Liouville fractional derivatives are used to define the new fractional derivatives matrix at CGL points. Using the Chebyshev fractional derivatives matrices, the given problem is reduced to a diagonally block system of nonlinear algebraic equations, which will be solved using Newton's Raphson method. The proposed methods have shown error analysis without any dependency on time and space step restrictions. Some model examples of the equations, defined on a convex and rectangular domain, have tested with various values of fractional order α and β. Moreover, numerical solutions are demonstrated to justify the theoretical results.

    Citation: A. K. Mittal, L. K. Balyan. Chebyshev pseudospectral approximation of two dimensional fractional Schrodinger equation on a convex and rectangular domain[J]. AIMS Mathematics, 2020, 5(3): 1642-1662. doi: 10.3934/math.2020111

    Related Papers:

    [1] Xiaoping Xu, Jinxuan Liu, Wenbo Li, Yuhan Xu, Fuxiao Li . Modified nonmonotonic projection Barzilai-Borwein gradient method for nonnegative matrix factorization. AIMS Mathematics, 2024, 9(8): 22067-22090. doi: 10.3934/math.20241073
    [2] Jamilu Sabi'u, Ibrahim Mohammed Sulaiman, P. Kaelo, Maulana Malik, Saadi Ahmad Kamaruddin . An optimal choice Dai-Liao conjugate gradient algorithm for unconstrained optimization and portfolio selection. AIMS Mathematics, 2024, 9(1): 642-664. doi: 10.3934/math.2024034
    [3] Sani Aji, Aliyu Muhammed Awwal, Ahmadu Bappah Muhammadu, Chainarong Khunpanuk, Nuttapol Pakkaranang, Bancha Panyanak . A new spectral method with inertial technique for solving system of nonlinear monotone equations and applications. AIMS Mathematics, 2023, 8(2): 4442-4466. doi: 10.3934/math.2023221
    [4] Jamilu Sabi'u, Ali Althobaiti, Saad Althobaiti, Soubhagya Kumar Sahoo, Thongchai Botmart . A scaled Polak-Ribiˊere-Polyak conjugate gradient algorithm for constrained nonlinear systems and motion control. AIMS Mathematics, 2023, 8(2): 4843-4861. doi: 10.3934/math.2023241
    [5] Salwa Syazwani Mahzir, Md Yushalify Misro . Enhancing curve smoothness with whale optimization algorithm in positivity and monotonicity-preserving interpolation. AIMS Mathematics, 2025, 10(3): 6910-6933. doi: 10.3934/math.2025316
    [6] Abdelilah Hakim, Anouar Ben-Loghfyry . A total variable-order variation model for image denoising. AIMS Mathematics, 2019, 4(5): 1320-1335. doi: 10.3934/math.2019.5.1320
    [7] Carlos F. Álvarez, Javier Henríquez-Amador, John Millán G., Eiver Rodríguez . On the composition operator with variable integrability. AIMS Mathematics, 2025, 10(2): 2021-2041. doi: 10.3934/math.2025095
    [8] Yan Ning, Daowei Lu, Anmin Mao . Existence and subharmonicity of solutions for nonsmooth p-Laplacian systems. AIMS Mathematics, 2021, 6(10): 10947-10963. doi: 10.3934/math.2021636
    [9] Faizan A. Khan, Rohit K. Bhardwaj, Tirth Ram, Mohammed A. S. Tom . On approximate vector variational inequalities and vector optimization problem using convexificator. AIMS Mathematics, 2022, 7(10): 18870-18882. doi: 10.3934/math.20221039
    [10] Beyza Billur İskender Eroǧlu, Dilara Yapışkan . Generalized conformable variational calculus and optimal control problems with variable terminal conditions. AIMS Mathematics, 2020, 5(2): 1105-1126. doi: 10.3934/math.2020077
  • In this article, the authors report the Chebyshev pseudospectral method for solving twodimensional nonlinear Schrodinger equation with fractional order derivative in time and space both. The modified Riemann-Liouville fractional derivatives are used to define the new fractional derivatives matrix at CGL points. Using the Chebyshev fractional derivatives matrices, the given problem is reduced to a diagonally block system of nonlinear algebraic equations, which will be solved using Newton's Raphson method. The proposed methods have shown error analysis without any dependency on time and space step restrictions. Some model examples of the equations, defined on a convex and rectangular domain, have tested with various values of fractional order α and β. Moreover, numerical solutions are demonstrated to justify the theoretical results.


    Fibred categories were introduced by Grothendieck in [10]. In [9], he established the category of fibrations over a fixed base category B and demonstrated that it is a reflective subcategory of the category of all categories over B. Additionally, he discussed the preservation of limits by fibrations and applied some results to categories of sheaves. Furthermore, he discussed co-fibrations and dualized the results on concerning fibrations.

    In [5], Brown and Sivera explored fibred and co-fibred categories, particularly focusing on certain colimit calculations of algebraic homotopical invariants for spaces. They emphasized the potential for such calculations based on various Higher Homotopy van Kampen Theorems, detailed in [3]. Among their work, they established that fibred categories preserve colimits, that is, if Ψ:XB is a fibration and AB, then the inclusion map X/AX preserves colimits of connected diagrams. Also, they gave the relation between pushout and co-fibration. Moreover, they illustrated these results for homotopical calculations in groupoids, as well as for modules and crossed modules, in both cases over groupoids.

    In [11], it was shown that the category of crossed modules over commutative algebras is both fibred and co-fibred. They established that, if φ:PQ is a ring morphism, then there exists a pair of adjoint functors (φ,φ), where φ:XMod/QXMod/P and φ:XMod/PXMod/Q, given by pullback and induced crossed modules, respectively. In [7], the fibration of the category of 2-crossed modules over groups was studied.

    A crossed module of groups (P,C,) is defined by a group morphism :PC together with a (left) action of C on P satisfying the following relations:

    CM1) (cp)=c(p)c1,

    CM2) (p1)p2=p1p2p11,

    for all p,p1,p2P and cC. A crossed module is called crossed-C module when it has the same fixed codomain C. Crossed modules of groups were given first in [13,14]. The author defined this structure as models for (homotopy) 2-types.

    Generalized crossed modules were introduced by Yavari and Salemkar in [15]. They defined the generalized crossed module on a group morphism :PC with arbitrary actions of C on C and P on P instead of the usual conjugation actions. Thus, they generalized the concept of crossed module. Furthermore, they studied the relations between epimorphisms and surjective morphisms.

    The pullback crossed module of groups was given by Brown and Higgins in [4]. They constructed it over a crossed C-module and a fixed group morphism ν:GC, which led to the definition of a crossed C-module in the sense of a pullback diagram. This construction yielded the definition of a functor ν:XMod/GXMod/C, which has a left adjoint to the induced functor. (Co)-limits of crossed modules were studied for various algebraic structures over time [1,2,6,8,12].

    In this paper, we give the notions of fibration and (co-)fibration of generalized crossed modules in detail. We then construct the pullback and induced generalized crossed modules. Also, we get a functor

    ν:GCM/CGCM/G,

    which has a right adjoint functor, that is

    ν:GCM/GGCM/C.

    We recall the definition of a generalized crossed module from [15].

    Definition 2.1. A generalized crossed module (G,C,) consists of a group morphism :GC, together with the following properties,

    ⅰ) an action of G on G, denoted by g1Gg2, for every g1,g2G,

    ⅱ) an action of C on C, denoted by c1Cc2, for every c1,c2C,

    ⅲ) an action of C on G, denoted by cg, for every cC, gG,

    satisfying the conditions:

    GCM1) (cg)=cC(g),

    GCM2) (g)g=gGg,

    for all g,gG and cC. If only satisfies condition GCM1, we get a pre-generalized crossed module.

    Remark 2.2. Throughout this paper, an action of G on G is denoted by instead of G for any group G.

    A morphism (f,f):(G,C,)(G,C,) of generalized crossed modules consists of group morphisms f:GG and f:CC such that the diagram

    is commutative, i.e., f=f and

    f(cg)=f(c)f(g)

    for all cC and gG. Thus, we get the category of generalized crossed modules, denoted by GCM.

    Some examples of generalized crossed modules are given below:

    Example 2.3. If (G,C,) is any crossed module, then it is also a generalized crossed module.

    Example 2.4. Let :GC be a group morphism. If all actions are trivial, then becomes a generalized crossed module.

    Example 2.5. Let C and G be two groups. If the action of G on G is trivial and the actions of C on C and C on G are arbitrary, then the trivial morphism 1:GC is a generalized crossed module.

    Example 2.6. Every group gives a generalized crossed module. If D is a group, then (D,D,idD) is a generalized crossed module by the arbitrary action of D on itself. Thus, we get the functor

    λ:GRPGCM,

    which is the right adjoint of the functor

    λ:GCMGRP,

    where (D,C,) is a generalized crossed module and λ(D,C,)=D.

    Now, we give the definitions of fibration and co-fibrations of categories from [5].

    Definition 3.1. Let Ψ:XB be a functor. A morphism ψ:XX in X over υ:=Ψ(ψ) is called cartesian if and only if for all ν:BB in B and ϕ:YX with Ψ(ϕ)=υν there is a unique morphism η:YX with Ψ(η)=ν and ϕ=ψη.

    This is given by the following diagram:

    It is easy to show that ψ is an isomorphism if and only if ψ is a cartesian morphism over an isomorphism, and that cartesian morphisms are closed under composition.

    A morphism β:YX is called vertical, with respect to Ψ, if and only if Ψ(β) is an identity morphism in B. In particular, for AB we write X/A called fibre over A, for the subcategory of X consistings of those morphisms β with Ψ(β)=idA.

    Definition 3.2. The functor Ψ:XB is a fibration or category fibred over B if and only if υ:BA in B and X in X/A there is a cartesian morphism ψ:XX over υ: Such a ψ called a cartesian lifting of X along υ.

    In other words, in a category fibred over B, Ψ:XB, we can pullback objects of X along any arrow of B.

    Definition 3.3. Let Ψ:XB be a functor. A morphism η:YX in X over ν:=Ψ(η) is called cocartesian if and only if for all υ:BA in B and ϕ:YX with Ψ(ϕ)=υν there is a unique morphism ψ:XX with Ψ(ψ)=υ and ϕ=ψη. This is given by the following diagram:

    It is easy to show that ν is an isomorphism if and only if ν is a cocartesian morphism over an isomorphism, and that cocartesian morphisms are closed under composition.

    Definition 3.4. The functor Ψ:XB is a co-fibration or category co-fibred over B if and only if ν:BB in B and Y in X/B there is a cocartesian morphism η:YY over ν: Such a η called a cartesian lifting of Y along ν.

    Proposition 3.5. Let Ψ:XB be a fibration of categories. Then η:YX in X over ν:BB in B is cocartesian if and only if for all ϕ:YX1 over ν there is an unique morphism η:XX1 in X/B with ϕ=ηη, [5].

    In this section, we will show that the forgetful functor

    θ:GCMGRP,

    which takes (P,C,ι)GCM in its base group C, is a fibration.

    Theorem 3.6. The forgetful functor θ:GCMGRP is fibred.

    Proof. To prove that θ is fibred, we will get the pullback generalized crossed module. Let (P,C,ι) be a generalized crossed module and let υ:GC be a group morphism. Define

    υ(P)={(p,g)P×Gι(p)=υ(g)},

    and ι:υ(P)G by ι(p,g)=g for all (p,g)υ(P). The actions of G on G and υ(P) on υ(P) are componentwise, the action of G on υ(P) is defined by

    g(p,g)=(υ(g)p,gg),

    for all gG and (p,g)υ(P). Then, (υ(P),G,ι) is a generalized crossed G-module with the following equations:

    GCM1)

    ι(g(p,g))=ι(υ(g)p,gg)=gg=gι(p,g).

    GCM2)

    ι(p,g)(p,g)=g(p,g)=(υ(g)p,gg)=(ι(p)p,gg)=(pp,gg)=(p,g)(p,g),

    for all (p,g),(p,g)υ(P). Moreover, (υ,υ):(υ(P),G,ι)(P,C,ι) is a generalized crossed module morphism with υ(p,g)=p;

    υ(g(p,g))=υ(υ(g)p,gg)=υ(g)p=υ(g)υ(p,g)

    for all (p,g)υ(P) and gG.

    Suppose that f:TG is any group morphism, S is a group and (g,υf):(S,T,β)(P,C,ι) is a generalized crossed module morphism with p(g,υf)=υf. Then, there exists a unique generalized crossed module morphism (g,f):(S,T,β)(υ(P),G,ι) such that

    (υ,υ)(g,f)=(g,υf),    p(g,f)=f.

    We define g(s)=(g(s),fβ(s)) for all sS. Considering the diagram below:

    For all tT and sS, we get

    g(ts)=(g(ts),fβ(ts))=(υf(t)g(s),f(t)fβ(s))=f(t)(g(s),fβ(s))=f(t)(g(s)),

    and

    ιg(s)=ι(g(s),fβ(s))=fβ(s).

    Then, (g,f) is a generalized crossed module morphism. Furthermore, for all sS and tT, we get

    (υ,υ)(g,f)(s,t)=(υ,υ)(g(s),f(t))=(υg(s),υf(t))=(g(s),υf(t)).

    Then the diagram

    commutes. Finally, let (g,f):(S,T,β)(υ(P),G,ι) be a generalized crossed module morphism as the same property of (g,f). Clearly f=f. Define g(s)=(p,g) for all sS and for some pP,gG. Then, for all sS,

    g(s)=(p,g)=(υ(p,g),ι(p,g))=(υg(s),ιg(s))=(g(s),fβ(s))=(g(s),fβ(s))=g(s),

    so, we get

    g(s)=(p,g)=(g(s),fβ(s))=g(s).

    That is, (g,f) is unique.

    Consequently, we get a cartesian morphism (υ,υ):(υ(P),G,ι)(P,C,ι), for group morphism υ:GC and generalized crossed module (P,C,ι).

    Corollary 3.7. In the category of generalized crossed module, (υ(P),G,ι) and the following diagram

    are called a pullback generalized crossed module and pullback diagram, respectively.

    Example 3.8. Let i:NC be the inclusion map and N be a normal subgroup of C. (υ(N),G,i)(υ1(N),G,i) is the pullback generalized crossed module where,

    υ(N))={(n,g)i(n)=υ(g), nN, gG}{gGυ(g)=n, nN}υ1(N).

    See the pullback diagram below:

    Particularly, if N=1, then υ({1})kerυ and so (kerυ,G,i) is a pullback generalized crossed module. Consequently, kernels are particular examples of pullbacks. Moreover, if υ is surjective and N=C, then υ(C)G.

    Example 3.9. Let 1:PC be a generalized crossed module. Then,

    υ(P)={(p,g)P×Gυ(g)=1(p)=1}P×kerυ.

    See the pullback diagram below:

    So, if υ is injective, then υ(P)P. Furthermore, if P={1}, then υ(P)kerυ.

    Corollary 3.10. A pullback generalized crossed module (υ(P),G,ι) for the group morphism υ:GC gives a functor

    υ:GCM/CGCM/G,

    where objects and morphisms are defined as

    υ(P,C,ι)=(υ(P),G,ι)

    and

    υ(f,idC)=(υf,idG)

    such that υf(p,g)=(fp,g).

    Proposition 3.11. For each generalized crossed module morphism, (σ,idC):(P,C,ι)(P,C,ι), there is a morphism

    (υ(σ),idG):(υ(P),G,ι)(υ(P),G,ι),

    which is a unique morphism and satisfies the following equality,

    (σ,idC)(υ,υ)=(υ,υ)(υ(σ),idG).

    Proof.

    υ(υσ(p,g))=υ(σ(p),g)=σ(p)=σ(υ(p,g))=συ(p,g)

    for all (p,g)υ(P). Thus, the diagram

    is commutative.

    Proposition 3.12. If h1:GC and h2:TG are two morphisms of groups, then (h1h2) and h2h1 are naturally isomorphic, i.e.,

    h2h1(h1h2).

    Proof. Given any generalized crossed module (P,C,ι), we define f:h2h1(P)(h1h2)(P) as f((p,h2(t)),t)=(p,t) for all ((p,h2(t)),t)h2h1(P). It is clear that f is well-defined and a group morphism. Also,

    f(t(p,h2(t),t))=f((h2)(t)(p,h2(t)),tt)=f(((h1(h2)(t))p,h2(t)h2(t)),tt)=f(((h1h2)(t)p,h2(tt)),tt)=((h1h2)(t),tt)=t(p,t)=tf((p,h2(t)),t)

    and

    ¯ιf((p,h2(t)),t)=¯ι(p,t)=t=idT¯¯ι((p,h2(t)),t)

    for all ((p,h2(t)),t)h2h1(P). Thus, the diagram

    is commutative. Then, (f,idT) is a generalized crossed module morphism. It is clear that (f,idT) is an isomorphism.

    Additionaly, for each generalized crossed module morphism (σ,idC):(P,C,ι)(S,C,λ) and ((p,h2(t)),t)h2h1(P), we get

    (((h1h2)σ)fP)((p,h2(t)),t)=((h1h2)σ)(p,t)=(σ(p),t)=fS((σ(p),h2(t),t))=fS(h2h1σ)((p,h2(t)),t),

    so, the diagram

    commutes.

    Proposition 3.13. Let θ:GCMGRP be fibred, υ:GC be a group morphism and υ:GCM/CGCM/G is chosen. Then, there is a bijection,

    GCMυ((S,G,ρ),(P,C,ι))GCM/G((S,G,ρ),(υ(P),G,ι)),

    which is natural in (S,G,ρ)GCM/G and (P,C,ι)GCM/C where GCMυ((S,G,ρ),(P,C,ι)) consists of those morphisms fGCMυ((S,G,ρ),(P,C,ι)) with θ(f)=υ.

    Proof. Define ϕ:GCMυ((S,G,ρ),(P,C,ι))GCM/G((S,G,ρ),(υ(P),G,ι)) by ϕ(g,υ)=(g,idG) such that g(s)=(g(s),ρ(s)). Consider that ϕ(g,idG)=ϕ(h,idG) for (g,υ),(h,υ)GCMυ((S,G,ρ),(P,C,ι)). Then, we get (g,idG)=(h,idG) and so (g(s),ρ(s))=(h(s),ρ(s)), namely g=h. Thus, ϕ is one to one. Assume that (g,idG)GCM/G((S,G,ρ),(υ(P),G,ι)). Then, there is a morphism (υ1g,υ)GCMυ((S,G,ρ),(P,C,ι)) where υ1(p,g)=p, such that ϕ(υ1g,υ)=(g,idG). Consider the following diagram:

    It is clear that ϕ(υ1g,υ)=((υ1g),idG) and then,

    (υ1g)(s)=((υ1g)(s),ρ(s))=(υ1(g(s),ρ(s)),ρ(s))=(g(s),ρ(s))=g(s).

    Thus, ϕ is a bijection. Furthermore, the following diagram

    is commutative, since for (φ,idG):(S,G,ρ)(S,G,ρ) and sS, then

    (gφ)(s)=(g(φ(s)),ρ(φ(s)))=((gφ)(s),(ρφ)(s))=(gφ)(s)

    and

    ((φ,idG))(ϕ(g,υ))=((φ,idG))(g,idG)=(gφ,idG)=((gφ),idG)=ϕ(gφ,υ)=(ϕ((φ,idG)))(g,υ).

    Thus, ϕ is natural in (S,G,ρ). Moreover, for (σ,idC):(P,C,ι)(P,C,ι), we get

    (σg)(s)=(σ(g(s)),ρ(s))=((σ)g(s),ρ(s))=(υσ)(g(s),ρ(s))=(υσ)g(s)

    for sS and then

    ((υσ,idC))ϕ(g,υ)=(υσ,idC)(g,idC)=((υσ)g,idC)=((σg),idC)=ϕ(σg,υ)=(ϕ((φ,idC)))(g,υ).

    Thus, the diagram is

    commutative. So, ϕ is natural in (P,C,ι).

    Now we give the dual of Theorem 3.6.

    Theorem 3.14. The forgetful functor θ:GCMGRP is co-fibred.

    Let P be a group and CP be a free group generated by C×P with the relation

    (c,p)(c,p)=(c,pp)

    for all cC and p,pP. Thus, C acts on CP by

    c(c,p)=(cc,p)

    for cC and (c,p)CP.

    Proposition 3.15. Let (P,G,η) be a generalized crossed module and ν:GC be a group morphism. If CP is a free group, then we get the following commutative diagram:

    Define η:CPC by νη, that is η(c,p)=cνη(p) for all (c,p)CP. Then, we get

    η(c(c,p))=η(cc,p)=(cc)νη(p)=c(cνη(p))=cν(c,p)

    for all cC and (c,p)CP. Thus, η is the free pre-generalized crossed module generated by P.

    Proposition 3.16. Let (P,G,η) be a generalized crossed module and let ν:GC be a group morphism. Then, the induced generalized crossed module ν(P) is generated, as a group, by the set C×P, with the following relations,

    i) (c,p)(c,p)=(c,pp)ii) (c,gp)=(cν(g),p)iii) (c,p)(cp)=(cνη(p)c,p)

    for all (c,p),(c,p)CP and gG.

    The action of C on ν(P) defined by c(c,p)=(cc,p) for all cC and (c,p)CP. Thus,

    η:ν(P)C

    is given by η(c,p)=cνη(p), is a generalized crossed module, and the morphism

    (ν,ν):(P,G,η)(ν(P),C,η)

    is a generalized crossed module morphism. Define ν(p)=(1,p) for all pP and consider the diagram below:

    ν(gp)=(1,gp)=(1ν(g),p)=(ν(g),p)=ν(g)(1,p)=ν(g)ν(p)

    and

    ην(p)=η(1,p)=νη(p)

    for all gG and p,pP.

    Let (D,C,η1) be any generalized crossed module and (α,ν):(P,G,η)(D,C,η1) be any generalized crossed module morphism. Then, there is a unique generalized crossed module morphism (α,idC):(ν(P),C,η)(D,C,η1) such that the diagram

    commutes, i.e., (α,idC)(ν,ν)=(α,ν). Define α(c,p)=cα(p) for all (c,p)ν(P). Then, (α,idC) is a generalized crossed module morphism, since

    α(c(c,p))=α((cc,p))=(cc)α(p)=c(cα(p))=cα(c,p)=idC(c)(α(c,p))

    and

    αν(p)=α(1,p)=1α(p)=α(p)

    for all (c,p)ν(P) and cC. Moreover,

    αν(p)=α(1,p)=α(p)

    for all pP.

    Let (α,idC):(ν(P),C,η)(D,C,η1) be any generalized crossed module morphism with ρ(α,idC)=idC and (ν,ν)(α,idC)=(α,ν). For all (c,p)ν(P),

    α(c,p)=cα(p)=cαν(p)=cα(1,p)=idC(c)α(1,p)=α(c(1,p))=α(c,p).

    Then, (α,idC) is unique.

    Thus, we get a cocartesian morphism (ν,ν):(P,G,η)(ν(P),C,η), for group morphism ν:GC and generalized crossed module (P,G,η).

    Corollary 3.17. In the category of generalized crossed module, (ν(P),C,η) is called induced generalized crossed module with the following diagram:

    Corollary 3.18. An induced generalized crossed module (ν(P),C,η) for the group morphism ν:GC gives a functor

    ν:GCM/GGCM/C,

    which is the left adjoint functor of

    ν:GCM/CGCM/G.

    Proposition 3.19. Let ν1:GC and ν2:SG be two group morphisms. Then, (ν1ν2) and ν2ν1 are naturally isomorphic.

    Proposition 3.20. Let θ:GCMGRP be a co-fibred, υ:GC be a group morphism and a functor ν:GCM/GGCM/C is chosen. Then, there is a bijection

    GCMυ((P,G,η),(D,C,η1))GCM/C((ν(P),C,η),(D,C,η1)),

    which is natural in (P,G,η)GCM/G, (D,C,η1)GCM/C where GCMυ((P,G,η),(D,C,η1)) consists of those morphisms fGCMυ((P,G,η),(D,C,η1)) with θ(f)=υ.

    We deduce the following immediately from these discussions.

    Corollary 3.21. The category of generalized crossed module fibred and co-fibred over GRP, by the forgetful functor θ:GCMGRP.

    Proof. For any group morphism υ:GC, there is an adjoint functor pair (υ,υ) as previously stated in Corollary 3.18. That is, a bijection

    Φ:GCM/C((υ(P),C,η),(D,C,η1))GCM/G((P,G,η),(υ(D),G,η1))

    exists and is natural in (P,G,η)GCM/G, (D,C,η1)GCM/C. It is clear that Φ(α)=α and Φ1(α)=α. See diagram below:

    Yavari and Salemkar [15] defined the generalized crossed module on a group morphism :PC with arbitrary actions of C on C and P on P, instead of the usual conjugation actions. Thus, they generalized the concept of crossed modules. The category of generalized crossed modules provides a rich framework for studying various categorical structures and properties. In this paper, we extend well-known results from crossed modules to generalized crossed modules. It is shown that the forgetful functor θ:GCMGRP is both fibred and co-fibred. Moreover, a pair of adjoint functors (ν,ν), where ν:GCM/CGCM/G and ν:GCM/GGCM/C, is obtained for the group morphism ν:GC.

    The author declares that they have no conflict of interest to disclose.



    [1] E. A. B. Abdel-Salam, E. A. Yousif, M. A. El-Aasser, Analytical solution of the space-time fractional nonlinear schrödinger equation, Rep. Math. Phys., 77 (2016), 19-34. doi: 10.1016/S0034-4877(16)30002-7
    [2] Z. Asgari, S. Hosseini, Efficient numerical schemes for the solution of generalized time fractional burgers type equations, Numer. Algorithms, 77 (2018), 763-792. doi: 10.1007/s11075-017-0339-4
    [3] A. Bhrawy, M. Abdelkawy, A fully spectral collocation approximation for multi-dimensional fractional schrödinger equations, J. Comput. Phys., 294 (2015), 462-483. doi: 10.1016/j.jcp.2015.03.063
    [4] A. Bhrawy, M. A. Zaky, Highly accurate numerical schemes for multi-dimensional space variable-order fractional schrödinger equations, Comput. Math. Appl., 73 (2017), 1100-1117. doi: 10.1016/j.camwa.2016.11.019
    [5] J. P. Boyd. Chebyshev and Fourier Spectral Methods, Courier Corporation, 2001.
    [6] A. Chechkin, R. Gorenflo, I. Sokolov, Retarding subdiffusion and accelerating superdiffusion governed by distributed-order fractional diffusion equations, Phys. Rev. E, 66 (2002), 046129.
    [7] J. B. Chen, M. Z. Qin, Y. F. Tang, Symplectic and multi-symplectic methods for the nonlinear schrödinger equation, Comput. Math. Appl., 43 (2002), 1095-1106. doi: 10.1016/S0898-1221(02)80015-3
    [8] X. Cheng, J. Duan, D. Li, A novel compact adi scheme for two-dimensional riesz space fractional nonlinear reaction-diffusion equations, Appl. Math. Comput., 346 (2019), 452-464.
    [9] M. Dehghan, A. Taleei, A compact split-step finite difference method for solving the nonlinear schrödinger equations with constant and variable coefficients, Comput. Phys. Commun., 181 (2010), 43-51. doi: 10.1016/j.cpc.2009.08.015
    [10] K. Diethelm, The Analysis of Fractional Differential Equations: An Application-oriented Exposition Using Differential Operators of Caputo Type, Springer Science and Business Media, 2010.
    [11] J. Dong, Scattering problems in the fractional quantum mechanics governed by the 2d spacefractional schrödinger equation, J. Math. Phys., 55 (2014), 032102.
    [12] J. Dong, M. Xu, Some solutions to the space fractional schrödinger equation using momentum representation method, J. Math. Phys., 48 (2007), 072105.
    [13] W. Fan, F. Liu, A numerical method for solving the two-dimensional distributed order spacefractional diffusion equation on an irregular convex domain, Appl. Math. Lett., 77 (2018), 114-121. doi: 10.1016/j.aml.2017.10.005
    [14] W. Fan, H. Qi, An efficient finite element method for the two-dimensional nonlinear time-space fractional schrödinger equation on an irregular convex domain, Appl. Math. Lett., 86 (2018), 103-110. doi: 10.1016/j.aml.2018.06.028
    [15] B. Jin, B. Li, Z. Zhou, Subdiffusion with a time-dependent coefficient: Analysis and numerical solution, Math. Comput., 88 (2019), 2157-2186. doi: 10.1090/mcom/3413
    [16] G. Jumarie, An approach to differential geometry of fractional order via modified riemannliouville derivative, Acta Math. Sin., 28 (2012), 1741-1768. doi: 10.1007/s10114-012-0507-3
    [17] D. Li, J. Wang, J. Zhang, Unconditionally convergent l1-galerkin fems for nonlinear timefractional schrodinger equations, SIAM J. Sci. Comput., 39 (2017), A3067-A3088.
    [18] D. Li, C. Wu, Z. Zhang, Linearized galerkin fems for nonlinear time fractional parabolic problems with non-smooth solutions in time direction, J. Sci Comput., 80 (2019), 403-419. doi: 10.1007/s10915-019-00943-0
    [19] L. Li, D. Li, Exact solutions and numerical study of time fractional burgers' equations, Appl. Math. Lett., 100 (2020), 106011.
    [20] M. Li, A high-order split-step finite difference method for the system of the space fractional cnls, Eur. Phys. J. Plus, 134 (2019), 244.
    [21] M. Li, X. M. Gu, C. Huang, et al. A fast linearized conservative finite element method for the strongly coupled nonlinear fractional schrödinger equations, J. Comput. Phys., 358 (2018), 256-282. doi: 10.1016/j.jcp.2017.12.044
    [22] M. Li, C. Huang, W. Ming, A relaxation-type galerkin fem for nonlinear fractional schrödinger equations. Numer. Algorithms, 83 (2019), 99-124.
    [23] M. Li, C. Huang, P. Wang, Galerkin finite element method for nonlinear fractional schrödinger equations, Numer. Algorithms, 74 (2017), 499-525. doi: 10.1007/s11075-016-0160-5
    [24] M. Li, C. Huang, Z. Zhang, Unconditional error analysis of galerkin fems for nonlinear fractional schrödinger equation, Appl. Anal., 97 (2018), 295-315. doi: 10.1080/00036811.2016.1262947
    [25] M. Li, C. Huang, Y. Zhao, Fast conservative numerical algorithm for the coupled fractional kleingordon-schrödinger equation, Numer. Algorithms, 82 (2019), 1-39. doi: 10.1007/s11075-018-0591-2
    [26] M. Li, D. Shi, J. Wang, et al. Unconditional superconvergence analysis of the conservative linearized galerkin fems for nonlinear klein-gordon-schrödinger equation, Appl. Numer. Math., 142 (2019), 47-63. doi: 10.1016/j.apnum.2019.02.004
    [27] Y. Lin, C. Xu, Finite difference/spectral approximations for the time-fractional diffusion equation, J. Comput. Phys., 225 (2007), 1533-1552. doi: 10.1016/j.jcp.2007.02.001
    [28] Y. F. Luchko, M. Rivero, J. J. Trujillo, et al. Fractional models, non-locality, and complex systems, Comput. Math. Appl., 59 (2010), 1048-1056. doi: 10.1016/j.camwa.2009.05.018
    [29] J. T. Machado, V. Kiryakova, F. Mainardi, Recent history of fractional calculus, Commun. Nonlinear Sci., 16 (2011), 1140-1153. doi: 10.1016/j.cnsns.2010.05.027
    [30] Z. Mao, G. E. Karniadakis, Fractional burgers equation with nonlinear non-locality: Spectral vanishing viscosity and local discontinuous galerkin methods, J. Comput. Phys., 336 (2017), 143-163. doi: 10.1016/j.jcp.2017.01.048
    [31] A. K. Mittal, A stable time-space Jacobi pseudospectral method for two-dimensional sine-Gordon equation, J. Appl. Math. Comput., 63 (2020), 1-26.
    [32] A. K. Mittal, L. K. Balyan, A highly accurate time-space pseudospectral approximation and stability analysis of two dimensional brusselator model for chemical systems, Int. J. Appl. Comput. Math., 5 (2019), 140.
    [33] A. Mohebbi, Analysis of a numerical method for the solution of time fractional burgers equation, B. Iran. Math. Soc., 44 (2018), 457-480. doi: 10.1007/s41980-018-0031-z
    [34] A. Mohebbi, M. Dehghan, The use of compact boundary value method for the solution of twodimensional schrödinger equation, J. Comput. Appl. Math., 225 (2009), 124-134. doi: 10.1016/j.cam.2008.07.008
    [35] K. Oldham, J. Spanier, The Fractional Calculus Theory and Applications of Differentiation and Integration to Arbitrary Order, Elsevier, 1974.
    [36] B. Ross, The development of fractional calculus, Hist. Math., 4 (1977), 75-89. doi: 10.1016/0315-0860(77)90039-8
    [37] H. Rudolf, Applications of Fractional Calculus in Physics, World Scientific, 2000.
    [38] L. N. Trefethen, Finite Difference and Spectral Methods for Ordinary and Partial Differential Equations, 1996.
    [39] L. Wei, Y. He, X. Zhang, et al. Analysis of an implicit fully discrete local discontinuous galerkin method for the time-fractional schrödinger equation, Finite Elem. Anal. Des., 59 (2012), 28-34. doi: 10.1016/j.finel.2012.03.008
    [40] E. Yousif, E. B. Abdel-Salam, M. El-Aasser, On the solution of the space-time fractional cubic nonlinear schrödinger equation, Results Phys., 8 (2018),702-708. doi: 10.1016/j.rinp.2017.12.065
    [41] F. Zeng, C. Li, F. Liu, et al. The use of finite difference/element approaches for solving the timefractional subdiffusion equation, SIAM J. Sci. Comput., 35 (2013), A2976-A3000.
    [42] G. Zhang, C. Huang, M. Li, A mass-energy preserving galerkin fem for the coupled nonlinear fractional schrödinger equations, Eur. Phys. J. Plus, 133 (2018), 155.
    [43] H. Zhang, X. Jiang, C. Wang, et al. Galerkin-legendre spectral schemes for nonlinear space fractional schrödinger equation, Numer. Algorithms, 79 (2018), 337-356. doi: 10.1007/s11075-017-0439-1
    [44] X. Zhao, Z. Z. Sun, Z. P. Hao, A fourth-order compact adi scheme for two-dimensional nonlinear space fractional schrodinger equation, SIAM J. Sci. Comput., 36 (2014), A2865-A2886.
  • Reader Comments
  • © 2020 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(4331) PDF downloads(509) Cited by(11)

Figures and Tables

Figures(3)  /  Tables(3)

Other Articles By Authors

/

DownLoad:  Full-Size Img  PowerPoint
Return
Return

Catalog