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

Pythagorean triples and quadratic residues modulo an odd prime

  • Received: 06 July 2021 Accepted: 18 September 2021 Published: 19 October 2021
  • MSC : 11A15, 11D09

  • In this article, we use the elementary methods and the estimate for character sums to study a problem related to quadratic residues and the Pythagorean triples, and prove the following result. Let p be an odd prime large enough. Then for any positive number 0<ϵ<1, there must exist three quadratic residues x, y and z modulo p with 1x, y, zp1+ϵ such that the equation x2+y2=z2.

    Citation: Jiayuan Hu, Yu Zhan. Pythagorean triples and quadratic residues modulo an odd prime[J]. AIMS Mathematics, 2022, 7(1): 957-966. doi: 10.3934/math.2022057

    Related Papers:

    [1] Elkhateeb S. Aly, Mohammed A. Almalahi, Khaled A. Aldwoah, Kamal Shah . Criteria of existence and stability of an n-coupled system of generalized Sturm-Liouville equations with a modified ABC fractional derivative and an application to the SEIR influenza epidemic model. AIMS Mathematics, 2024, 9(6): 14228-14252. doi: 10.3934/math.2024691
    [2] Saleh S. Redhwan, Maoan Han, Mohammed A. Almalahi, Maryam Ahmed Alyami, Mona Alsulami, Najla Alghamdi . Piecewise implicit coupled system under ABC fractional differential equations with variable order. AIMS Mathematics, 2024, 9(6): 15303-15324. doi: 10.3934/math.2024743
    [3] Abdulwasea Alkhazzan, Wadhah Al-Sadi, Varaporn Wattanakejorn, Hasib Khan, Thanin Sitthiwirattham, Sina Etemad, Shahram Rezapour . A new study on the existence and stability to a system of coupled higher-order nonlinear BVP of hybrid FDEs under the p-Laplacian operator. AIMS Mathematics, 2022, 7(8): 14187-14207. doi: 10.3934/math.2022782
    [4] Ugyen Samdrup Tshering, Ekkarath Thailert, Sotiris K. Ntouyas . Existence and stability results for a coupled system of Hilfer-Hadamard sequential fractional differential equations with multi-point fractional integral boundary conditions. AIMS Mathematics, 2024, 9(9): 25849-25878. doi: 10.3934/math.20241263
    [5] Saeed M. Ali, Mohammed S. Abdo, Bhausaheb Sontakke, Kamal Shah, Thabet Abdeljawad . New results on a coupled system for second-order pantograph equations with ABC fractional derivatives. AIMS Mathematics, 2022, 7(10): 19520-19538. doi: 10.3934/math.20221071
    [6] Zaid Laadjal, Fahd Jarad . Existence, uniqueness and stability of solutions for generalized proportional fractional hybrid integro-differential equations with Dirichlet boundary conditions. AIMS Mathematics, 2023, 8(1): 1172-1194. doi: 10.3934/math.2023059
    [7] Souad Ayadi, Ozgur Ege, Manuel De la Sen . On a coupled system of generalized hybrid pantograph equations involving fractional deformable derivatives. AIMS Mathematics, 2023, 8(5): 10978-10996. doi: 10.3934/math.2023556
    [8] Rahat Zarin, Abdur Raouf, Amir Khan, Aeshah A. Raezah, Usa Wannasingha Humphries . Computational modeling of financial crime population dynamics under different fractional operators. AIMS Mathematics, 2023, 8(9): 20755-20789. doi: 10.3934/math.20231058
    [9] Kamal Shah, Muhammad Sher, Muhammad Sarwar, Thabet Abdeljawad . Analysis of a nonlinear problem involving discrete and proportional delay with application to Houseflies model. AIMS Mathematics, 2024, 9(3): 7321-7339. doi: 10.3934/math.2024355
    [10] Kirti Kaushik, Anoop Kumar, Aziz Khan, Thabet Abdeljawad . Existence of solutions by fixed point theorem of general delay fractional differential equation with p-Laplacian operator. AIMS Mathematics, 2023, 8(5): 10160-10176. doi: 10.3934/math.2023514
  • In this article, we use the elementary methods and the estimate for character sums to study a problem related to quadratic residues and the Pythagorean triples, and prove the following result. Let p be an odd prime large enough. Then for any positive number 0<ϵ<1, there must exist three quadratic residues x, y and z modulo p with 1x, y, zp1+ϵ such that the equation x2+y2=z2.



    Rota-Baxter operators, which were initially introduced by Baxter in probability theory [1] and were later developed by Rota and Cartier in combinatorics [2,3]. The significance of Rota-Baxter operators has been established in various research areas, such as Connes-Kreimer's algebraic method for renormalizing perturbative quantum field theory and dendriform algebras [4,5]. Furthermore, the study of inverse scattering theory, integrable systems and quantum groups reveals a close association between Rota-Baxter operators on Lie algebras and the classical Yang-Baxter equation; see the book by Guo for more details [6].

    In order to gain a deeper understanding of the classical Yang-Baxter equation, Kupershmidt introduced a broader concept of an O-operator (also known as a relative Rota-Baxter operator) on a Lie algebra [7]. Recently, there has been the establishment of cohomologies and deformations of relative Rota-Baxter operators on different algebraic structures, including Lie algebras, Leibniz algebras, 3-Lie algebras, n-Lie algebras, Lie conformal algebras and others [8,9,10,11,12].

    In addition, the close relationship with other operators also reflects the importance of (relative) Rota-Baxter operators. One of them is the Reynolds operator, known as a time-average operator in fluid dynamics, which was initially presented by Reynolds in his renowned work on fluctuation theory in 1895 [13], and subsequently named by Kampé de Fériet to provide a comprehensive analysis of Reynolds operators in general [14]. Reynolds operators were also widely used in functional analysis, invariant theory and have a close relation with algebra endomorphisms, derivations, rational G-modules, geometry and operads [15,16,17,18,19].

    Motivated by the twisted Poisson structures introduced and studied in [20,21], Uchino introduced a twisted version of Rota-Baxter operators on associative algebras, known as twisted Rota-Baxter operators (or generalized Reynolds operators), and examined its correlation with NS-algebras [22]. Based on Uchino's work, Das conducted an additional investigation into the cohomology and deformations of twisted Rota-Baxter operators on associative algebras and Lie algebras [23,24]. Note that twisted Rota-Baxter operators can be seen as extensions of Reynolds operators [22, Example 3.5]. Hou and Sheng employed the terminology of a generalized Reynolds operator instead of a twisted Rota-Baxter operator on 3-Lie algebras [25]. In [26], Gharbi et al. delved into the investigation of generalized Reynolds operators on Lie triple systems, while also introducing NS-Lie triple systems as the fundamental framework of generalized Reynolds operators.

    In this paper, we consider twisted Rota-Baxter operators on Hom-Lie algebra s. Hartwig et al. were the first to introduce Hom-Lie algebra s in 2006 for the purpose of studying the deformation of the Witt and the Virasoro algebras [27], which can be traced back to q-deformations of algebras of vector fields in the field of physics. Since then, other algebras of the Hom type (e.g., Hom-associative algebras, Hom-Leibniz algebras), as well as their n-ary generalizations, have been widely studied both in mathematics and mathematical physics [28,29,30,31,32]. Additionally, it is noteworthy noting that Wang and his collaborators investigated twisted Rota-Baxter operators on 3-Hom-Lie algebras and Reynolds operators on Hom-Leibniz algebras by using cohomology and deformation theory [33,34].

    This paper is organized as follows. Section 2 provides an overview of the concepts and properties related to Hom-Lie algebra s, including representation and cohomology. In Section 3, we delve into the topic of twisted Rota-Baxter operator s on Hom-Lie algebra s, exploring their connection to Reynolds operators and derivations. Furthermore, we present a novel approach to the construction of twisted Rota-Baxter operator s on Hom-Lie algebra s by using R-admissible 1-cocycles. Moving on to Section 4, we construct a new L-algebra, whose Maurer-Cartan elements correspond precisely to twisted Rota-Baxter operator s on Hom-Lie algebra s. With this foundation, we define the cohomology of twisted Rota-Baxter operator s by using the technique of constructing twisting L-algebras pioneered by Getzler. Additionally, we establish an intriguing relationship between the cohomology of a twisted Rota-Baxter operator and the Chevalley-Eilenberg cohomology of a specific Hom-Lie algebra with coefficients in an appropriate representation. Section 5 is devoted to the realm of linear and formal deformations of twisted Rota-Baxter operator s, demonstrating that the linear term in such deformations of a twisted Rota-Baxter operator R manifests as a 1-cocycle in the cohomology of R. Finally, we introduce Nijenhuis elements as a means of characterizing the rigidity of twisted Rota-Baxter operator s.

    In this paper, all vector spaces, linear maps and tensor products are assumed to be over a field K of characteristic 0.

    In this section, we recall several fundamental concepts, including the representation and cohomology of Hom-Lie algebra s. The material can be found in the literature [31,35,36].

    Definition 2.1. A Hom algebra is a triple (g,[,],α) consisting of a vector space g, a bilinear map (bracket) [,]:2gg and a linear map α:gg such that α([x,y])=[α(x),α(y)]. Moreover, if a Hom algebra (g,[,],α) also satisfies the following Hom-Jacobi identity:

    [[x,y],α(z)]+[[y,z],α(x)]++[[z,x],α(y)]=0, x,y,zg, (2.1)

    then (g,[,],α) will be called a Hom-Lie algebra.

    Definition 2.2. A morphism of Hom-Lie algebra s ϕ:(g1,[,],α)(g2,[[,]],β) is a linear map ϕ:g1g2 such that

    ϕ([x,y])=[[ϕ(x),ϕ(y)]], x,yg1,ϕα=βϕ.

    In particular, if ϕ is invertible, we say that (g1,[,],α) and (g2,[[,]],β) are isomorphic.

    Definition 2.3. A linear map D:gg on a Hom-Lie algebra (g,[,],α) is called an αk-derivation if it satisfies that

    Dα=αD,D([x,y])=[D(x),αk(y)]+[αk(x),D(y)]

    for all x,yg, where k is a nonnegative integer.

    In the sequel, an α0-derivation on a Hom-Lie algebra will be called a derivation for simplicity.

    Definition 2.4. A representation of a Hom algebra (g,[,],α) on a vector space V with respect to Agl(V) is a linear map ρ:g gl(V) such that, for any x,yg, it holds that

    ρ(α(x))A=Aρ(x), (2.2)
    ρ([x,y])A=ρ(α(x))ρ(y)ρ(α(y))ρ(x). (2.3)

    We denote a representation of a Hom-Lie algebra g with respect to A by (V,ρ,A).

    Example 2.5. Let (g,[,],α) be a Hom-Lie algebra. Define ad:ggl(g) by ad(x)(y)=[x,y] for all x,yg; sometimes, we may write ad(x) as adx. Then, (g,ad,α) is a representation of (g,[,],α) with respect to α, which is called the adjoint representation of (g,[,],α).

    Next, we recall the cohomology of Hom-Lie algebras. Let (V,ρ,A) be a representation of the Hom-Lie algebra (g,[,],α). Denote the space of p-cochains by

    CpHLie(g,V)={{vV | Av=v},p=0,{fHom(pg,V) | Af=fαp},p1, (2.4)

    where Af=fαp means that

    A(f(x1,,xp))=f(α(x1),,α(xp)), x1,,xpg. (2.5)

    For any x1,,xp+1g, define the coboundary operator dρ:CpHLie(g,V)Cp+1HLie(g,V),p1 by

    (dρf)(x1,,xp+1)=p+1j=1(1)j+1ρ(αp1(xj))f(x1,,^xj,,xp+1)+j<k(1)j+kf([xj,xk],α(x1),,^α(xj),,^α(xk),,α(xp+1)), (2.6)

    and when p=0, define dρ:C0HLie(g,V)Hom(g,V) by

    dρ(v)(x)=ρ(x)v,  vC0HLie(g,V),xg. (2.7)

    Since

    A(dρ(v))=(dρ(v))α,

    we deduce that dρ is a map from C0HLie(g,V) to C1HLie(g,V), indeed. Thus, we have that dρdρ=0 and, hence, (+p=0CpHLie(g,V),dρ) is a cochain complex. Denote the set of p-cocycles by ZpHLie(g,V) and the set of p-coboundaries by BpHLie(g,V). Then, the corresponding p-th cohomology group is

    HpHLie(g,V)=ZpHLie(g,V)/BpHLie(g,V).

    In view of (2.6), a 1-cochain fC1HLie(g,V) is a 1-cocycle on g with coefficients in (V,ρ,A) if f satisfies

    0=(dρf)(x,y)=ρ(x)f(y)ρ(y)f(x)f([x,y]), x,yg, (2.8)

    and a 2-cochain ΦC2HLie(g,V) is a 2-cocycle if Φ satisfies

    0=(dρΦ)(x,y,z)=ρ(α(x))Φ(y,z)ρ(α(y))Φ(x,z)+ρ(α(z))Φ(x,y)    Φ([y,z],α(x))+Φ([x,z],α(y))Φ([x,y],α(z)), x,y,zg. (2.9)

    In this section, we introduce the notion of twisted Rota-Baxter operator s on Hom-Lie algebra s. We establish the relation between Reynolds operators and derivations. We also show that a linear map is a twisted Rota-Baxter operator if and only if its graph is a subalgebra of the Φ-twisted semi-direct Hom-Lie algebra. Moreover, we provide a method for constructing twisted Rota-Baxter operator s by using R-admissible 1-cocycles.

    First, by a direct check, we have the following result.

    Proposition 3.1. Let (g,[,],α) be a Hom-Lie algebra and (V,ρ,A) a representation of g. Given a 2-cocycle ΦC2HLie(g,V), there exists a Hom-Lie algebra structure on the direct sum gV that is defined by

    [x1+v1,x2+v2]Φ=[x1,x2]+ρ(x1)v2ρ(x2)v1+Φ(x1,x2), (3.1)
    (αA)(x1+v1)=α(x1)+Av1,  x1,x2g,v1,v2V. (3.2)

    This Hom-Lie algebra is called the Φ-twisted semi-direct Hom-Lie algebra and will be denoted by (gΦV,αA).

    A twisted Rota-Baxter operator on a Hom-Lie algebra is defined as follows, the weight of which is a 2-cocycle instead of a scalar, as in the classical case.

    Definition 3.2. Let (g,[,],α) be a Hom-Lie algebra and (V,ρ,A) a representation of g. A linear map R:Vg is called a twisted Rota-Baxter operator on g associated with a 2-cocycle Φ with respect to (V,ρ,A) (of weight Φ) if

    αR=RA, (3.3)
    [Rv1,Rv2]=R(ρ(Rv1)v2ρ(Rv2)v1+Φ(Rv1,Rv2)), v1,v2V. (3.4)

    Remark 3.3. A twisted Rota-Baxter operator is also called a generalized Reynolds operator; see [25,26] for more details, where the authors considered it on Lie triple systems and 3-Lie algebras, respectively. Furthermore, it was also named a relative cocycle weighted Reynolds operator by Guo and Zhang in the setting of pre-Lie algebras [37].

    Example 3.4. Any Rota-Baxter operator or relative Rota-Baxter operator of weight 0 is a twisted Rota-Baxter operator with Φ=0.

    Example 3.5. Let (g,[,],α) be a Hom-Lie algebra and (V,ρ,A) a representation of g. Assume that a linear map fC1HLie(g,V) is invertible. Set Φ=dρf and R=f1. Then, Φ is a 2-cocycle. Since

    Φ(Rv1,Rv2)=(dρf)(Rv1,Rv2)=ρ(Rv1)f(Rv2)+ρ(Rv2)f(Rv1)+f[Rv1,Rv2],

    we obtain that R is a twisted Rota-Baxter operator of weight Φ=dρf.

    Example 3.6. Let (g,[,],α) be a Hom-Lie algebra and (g,ad,α) the adjoint representation. Set Φ=[,]; then, a linear transformation R:gg defined by (3.3) and (3.4) is called a Reynolds operator; more specifically, R satisfies that

    αR=Rα, (3.5)
    [Rx1,Rx2]=R([Rx1,x2]+[x1,Rx2][Rx1,Rx2]), x1,x2g. (3.6)

    Note that the authors of [34] defined Reynolds operators on Hom-Leibniz algebras. Furthermore, twisted Rota-Baxter operators on Hom-Lie algebras are extensions of both twisted Rota-Baxter operators and 0-weighted Rota-Baxter operators on Lie algebras.

    Next, we establish the connection between derivations and Reynolds operators on Hom-Lie algebra s. First, a derivation can induce a Reynolds operator on a Hom-Leibniz algebra [34]. Specifically, we have the following:

    Proposition 3.7. Assume that D:gg is a derivation on a Hom-Lie algebra (g,[,],α). If (D+Id):gg has an inverse, then (D+Id)1 is a Reynolds operator.

    Conversely, a derivation on a Hom-Lie algebra can be derived from a Reynolds operator.

    Proposition 3.8. Assume that R:gg is a Reynolds operator on the Hom-Lie algebra (g,[,],α). If R has an inverse, then (R1Id):gg is a derivation on (g,[,],α).

    Proof. Suppose that R:gg is an invertible Reynolds operator. Then, αR=Rα. Moreover, thanks to (3.6), we obtain

    R1[x1,x2]=[x1,R1x2]+[R1x1,x2][x1,x2]

    for any x1,x2g, which is equivalent to

    (R1Id)[x1,x2]=[(R1Id)x1,x2]+[x1,(R1Id)x2].

    This completes the proof.

    In the sequel, Φ denotes a 2-cocycle, and a twisted Rota-Baxter operator is always endowed with the weight Φ unless otherwise specified elsewhere.

    Let (g,[,],α) be a Hom-Lie algebra and (V,ρ,A) a representation of g. Suppose that R:Vg is a linear map which satisfies that αR=RA. Then, we call the set Gr(R)={Rv+v|vV} the graph of R.

    Theorem 3.9. Let (g,[,],α) be a Hom-Lie algebra and (V,ρ,A) a representation of g. A linear map R:Vg is a twisted Rota-Baxter operator if and only if the graph Gr(R)={Rv+v|vV} is a subalgebra of the Φ-twisted semi-direct Hom-Lie algebra (gΦV,αA).

    Proof. Set v1,v2V. Then, we have

    [Rv1+v1,Rv2+v2]Φ=[Rv1,Rv2]+ρ(Rv1)(v2)ρ(Rv2)v1+Φ(Rv1,Rv2).

    Hence, the graph Gr(R)={Rv+v|vV} is a subalgebra of gΦV if and only if

    [Rv1,Rv2]=R(ρ(Rv1)(v2)ρ(Rv2)v1+Φ(Rv1,Rv2)),

    which is precisely (3.4). The proof is finished.

    The following corollary is straightforward given Gr(R)V as vector spaces.

    Corollary 3.10. Suppose that R:Vg is a twisted Rota-Baxter operator on a Hom-Lie algebra (g,[,],α) with respect to the representation (V,ρ,A). Then, (V,[,]R,A) is a Hom-Lie algebra, called the sub-adjacent Hom-Lie algebra of R, where the operation [,]R is given by

    [u,v]R=ρ(Ru)vρ(Rv)u+Φ(Ru,Rv). (3.7)

    Moreover, R is a homomorphism of Hom-Lie algebras from (V,[,]R,A) to (g,[,],α).

    We will now present a method for constructing twisted Rota-Baxter operators on Hom-Lie algebra s by introducing the concept of an R-admissible 1-cocycle. Consider a Hom-Lie algebra (g,[,],α), a representation (V,ρ,A) of g and a linear map θC1HLie(g,V). Define Ωθ:gVgV by Ωθ=(Id0θId). Then, Ωθ is invertible. Note that Φdρθ is a 2-cocycle.

    Lemma 3.11. Consider the above notations. Then, Ωθ serves as an isomorphism between the Φ-twisted semi-direct Hom-Lie algebra (gΦV,αA) and the (Φdρθ)-twisted semi-direct Hom-Lie algebra (gΦdρθV,αA).

    Proof. Set x1,x2g and v1,v2V. Then,

    [Ωθ(x1+v1),Ωθ(x2+v2)](Φdρθ)=[x1+θ(x1)+v1,x2+θ(x2)+v2](Φdρθ)(3.1)=[x1,x2]+ρ(x1)(θ(x2)+v2)ρ(x2)(θ(x1)+v1)+(Φdρθ)(x1,x2)(2.8)=[x1,x2]+ρ(x1)(θ(x2)+v2)ρ(x2)(θ(x1)+v1)+Φ(x1,x2)+θ([x1,x2])ρ(x1)θ(x2)+ρ(x2)θ(x1)=[x1,x2]+θ([x1,x2])+ρ(x1)v2ρ(x2)v1+Φ(x1,x2)=Ωθ([x1+v1,x2+v2]Φ),

    as required.

    Proposition 3.12. Let R:Vg be a twisted Rota-Baxter operator on a Hom-Lie algebra (g,[,],α) with respect to a representation (V,ρ,A). Suppose that θC1HLie(g,V). If the linear map (IdV+θR):VV has an inverse, then the map R(IdV+θR)1 is a twisted Rota-Baxter operator of weight (Φdρθ).

    Proof. Thanks to Theorem 3.9, Gr(R) is a subalgebra of the Φ-twisted semi-direct Hom-Lie algebra (gΦV,αA). In view of Lemma 3.11, Ωθ(Gr(R))(gΦdρθV,αA) is also a subalgebra. Given that the linear map (IdV+θR):VV has an inverse, by a direct check, we see that

    α(R(IdV+θR)1)=(R(IdV+θR)1)A,

    and, hence, Ωθ(Gr(R)) is the graph of R(IdV+θR)1:Vg. Then, by Theorem 3.9, again, we deduce that the map R(IdV+θR)1 is a twisted Rota-Baxter operator of weight (Φdρθ), we have the conclusion.

    Definition 3.13. Assume that R:Vg is a twisted Rota-Baxter operator on a Hom-Lie algebra (g,[,],α) with respect to the representation (V,ρ,A). An R-admissible 1-cocycle is a 1-cocycle θZ1HLie(g,V) such that the map (IdV+θR):VV is invertible.

    The following corollary is straightforward due to Proposition 3.12 and Definition 3.13.

    Corollary 3.14. Assume that R:Vg is a twisted Rota-Baxter operator on a Hom-Lie algebra (g,[,],α) with respect to the representation (V,ρ,A), and let θ:gV denote an R-admissible 1-cocycle. The composition of the map R with the inverse of (IdV+θR) forms a twisted Rota-Baxter operator. Denote this twisted Rota-Baxter operator by Rθ.

    With the help of Corollary 3.2, (V,[,]R) and (V,[,]Rθ) are Hom-Lie algebra s. We conclude this section by pointing out that (V,[,]R) and (V,[,]Rθ) are isomorphic as Hom-Lie algebra s.

    Proposition 3.15. Let R:Vg be a twisted Rota-Baxter operator on a Hom-Lie algebra (g,[,],α) with respect to the representation (V,ρ,A) and θ an R-admissible 1-cocycle. Then, (V,[,]R)(V,[,]Rθ) denotes Hom-Lie algebras.

    Proof. It suffices to show that the invertible map (IdV+θR) is an isomorphism between (V,[,]R) and (V,[,]Rθ). For any v1,v2V, it holds that

    [(Id+θR)(v1),(Id+θR)(v2)]Rθ=ρ(Rv1)(v2+θ(Rv2))ρ(Rv2)(v1+θ(Rv1))+Φ(Rv1,Rv2)(3.7)=[v1,v2]R+ρ(Rv1)(θ(Rv2))ρ(Rv2)(θ(Rv1))(2.8)=[v1,v2]R+θ([Rv1,Rv2])=[v1,v2]R+θ(R([v1,v2]R))=(Id+θR)([v1,v2]R),

    which finishes the proof.

    In this section, we first recall the concept of an L-algebra and the Nijenhuis-Richardson bracket for Hom-Lie algebra s. Subsequently, we construct an L-algebra whose Maurer-Cartan elements are given by twisted Rota-Baxter operator s on Hom-Lie algebra s. Following this, we delve into the study of twisting theory for Hom-Lie algebra s and establish the cohomology of twisted Rota-Baxter operator s. Furthermore, we demonstrate that this cohomology can be perceived as the Chevalley-Eilenberg cohomology of a specific Hom-Lie algebra with coefficients in an appropriate representation.

    In this subsection, we construct an explicit L-algebra whose Maurer-Cartan elements are twisted Rota-Baxter operators on Hom-Lie algebra s by using Voronov's higher derived bracket [38]. Using Getzler's method in [39], we also establish a twisted L-algebra which governs the deformations of twisted Rota-Baxter operators on Hom-Lie algebra s.

    An (i,ni)-shuffle is a permutation σSn such that σ(1)<<σ(i) and σ(i+1)<<σ(n). In the case in which i=0 or i=n, we make the assumption that σ=Id. S(i,ni) will represent the collection of all (i,ni)-shuffles.

    Definition 4.1. ([40]) A Z-graded vector space g=kZgk with a collection (k1) of linear maps lk:kgg of degree 1 is called an L-algebra if, for all homogeneous elements x1,,xng, it holds that

    (ⅰ) (graded symmetry) for any σSn,

    ln(xσ(1),,xσ(n))=ε(σ)ln(x1,,xn),

    (ⅱ) (generalized Jacobi identity) for any n1,

    ni=1σS(i,ni)ε(σ)lni+1(li(xσ(1),,xσ(i)),xσ(i+1),,xσ(n))=0,

    where ε(σ):=ε(σ;x1,,xn){1,1} is the Koszul sign.

    Definition 4.2. A Maurer-Cartan element of an L-algebra (g=kZgk,{li}+i=1) is an element xg0 such that +n=11n!ln(x,,x) converges to 0, that is, x obeys the Maurer-Cartan equation

    +n=11n!ln(x,,x)=0. (4.1)

    Before proceeding further, let us recall the higher derived brackets due to Voronov, which can be utilized for the construction of explicit L-algebras.

    Definition 4.3. ([38]) A V-data consists of a quadruple (L,h,P,Δ), where the following holds:

    (L,[,]) is a graded Lie algebra.

    h is an abelian graded Lie subalgebra of (L,[,]).

    P:LL is a projection, i.e., PP=P, where h is the image and the kernel is a graded Lie subalgebra of (L,[,]).

    Δ is an element of kerP with degree 1 satisfying that [Δ,Δ]=0.

    Theorem 4.4. ([38]) Assume (L,h,P,Δ) to be a V-data. Then, (h,{li}+i=1) forms an L-algebra, where

    li(a1,,ai)=P[[[iΔ,a1],a2],,ai]forhomogeneousa1,,aih. (4.2)

    We call {li}+i=1 the higher derived brackets of the V-data (L,h,P,Δ).

    Let g be a vector space and α:gg a linear map. Denote by Vpα(g)=Cp+1α(g,g), p0 the space of all linear maps P:g(p+1)g satisfying that αP=Pαp+1, that is,

    α(P(x1,,xp+1))=P(α(x1),,α(xp+1))  for all xig. (4.3)

    Set C0α(g,g)=g. Recall from [28,30] that the graded space Vα(g)=p1Cp+1α(g,g) carries a graded Lie algebra structure [,]α:Vpα(g) × Vqα(g)Vp+qα(g) (called Nijenhuis-Richardson bracket), defined by

    [P,Q]α=(1)pq{P,Q}α{Q,P}α  for all PVpα(g),QVqα(g), (4.4)

    where {P,Q}αVp+qα(g) is given by

    {P,Q}α(x1,,xp+q+1)=σS(q+1,p)(1)|σ|P(Q(xσ(1),,xσ(q+1)),αq(xσ(q+2)),,αq(xσ(p+q+1))),

    and the above notation |σ| denotes the signature of the permutation σ.

    Now, let (g,[,],α) be a Hom algebra. For simplicity, we shall use μ:2gg to denote the bilinear bracket [,], and a Hom algebra (g,[,],α) can be rewritten as (g,μ,α). Note that μV1α(g). Thus, a Hom algebra (g,μ,α) becomes a Hom-Lie algebra if and only if [μ,μ]α=0, that is, μ is a Maurer-Cartan element of the graded Lie algebra (Vα(g),[,]α).

    Let g and V be vector spaces with linear maps α:gg and A:VV. Suppose that μ:2gg, ρ:gEnd(V) and Φ:2gV are linear maps. Define μ+ρ+ΦHom(2(gV),gV) by

    (μ+ρ+Φ)(x1+v1,x2+v2)=[x1,x2]+ρ(x1)v2ρ(x2)v1+Φ(x1,x2), x1,x2g,v1,v2V.

    Proposition 4.5. The map μ defines a Hom-Lie algebra structure on the pair (g,α), the map ρ defines a representation of the Hom-Lie algebra (g,μ,α) on the pair (V,A) and the map Φ defines a 2-cocycle with respect to the representation (V,ρ,A) if and only if μ+ρ+Φ is a Maurer-Cartan element of the graded Lie algebra (VαA(gV),[,]αA).

    Proof. Due to (4.3), μ+ρ+ΦV1αA(gV) if and only if

    (αA)((μ+ρ+Φ)(x1+v1,x2+v2))=(μ+ρ+Φ)((αA)(x1+v1),(αA)(x2+v2))

    for all x1,x2g and v1,v2V, that is,

    α(μ(x1,x2))=μ(α(x1),α(x2)), ρ(α(x1))(Av2)=A(ρ(x1)v2), and A(Φ(x1,x2))=Φ(α(x1),α(x2)).

    In addition, the map μ+ρ+Φ is a Maurer-Cartan element if and only if

    [μ+ρ+Φ,μ+ρ+Φ]αA=2 {μ+ρ+Φ,μ+ρ+Φ}αA(x1+v1,x2+v2,x3+v3)=0

    for x1,x2,x3g and v1,v2,v3V. Equivalently,

    μ(μ(x1,x2),α(x3))+μ(μ(x2,x3),α(x1))+μ(μ(x3,x1),α(x2))=0, x1,x2,x3g.ρ(μ(x1,x2)(Av3)ρ(α(x1))ρ(x2)v3+ρ(α(x2))ρ(x1)v3=0, x1,x2g,v3V.Φ(μ(x1,x2),α(x3))+Φ(μ(x2,x3),α(x1))+Φ(μ(x3,x1),α(x2))ρ(α(x1))Φ(x2,x3)ρ(α(x2))Φ(x3,x1)ρ(α(x3))Φ(x1,x2)=0, x1,x2,x3g.

    Owing to Definition 2.1, Definition 2.4 and (2.9), the conclusion follows.

    Proposition 4.6. Let (V,ρ,A) be a representation of a Hom-Lie algebra (g,[,],α) and ΦC2HLie(g,V) a 2-cocycle with respect to (V,ρ,A). Thus we have a V-data (L,h,P,Δ), as follows:

    the graded Lie algebra (L,[,]) is given by (VαA(gV),[,]αA);

    the abelian graded Lie subalgebra h is defined by

    h=CHLie(V,g)=p1CpHLie(V,g), where CpHLie(V,g)={fHom(pV,g) | αf=fAp};

    P:LL is the projection onto the space h;

    Δ=μ+ρ+Φ.

    Therefore, we get an L-algebra (CHLie(V,g),l2,l3), where

    l2(P,Q)=P[[μ+ρ+Φ,P]αA,Q]αA,l3(P,Q,S)=P[[[μ+ρ+Φ,P]αA,Q]αA,S]αA

    for PCpHLie(V,g), QCqHLie(V,g) and SCsHLie(V,g).

    Proof. First note that Δ=μ+ρ+ΦkerP with degree 1 and [Δ,Δ]αA=0 due to Proposition 4.5. Thus, we have that (L,h,P,Δ) is a V-data. Define the higher derived brackets {li}+i=1 as (4.2). Then, for any PCpHLie(V,g), QCqHLie(V,g) and SCsHLie(V,g) we have

    [μ+ρ+Φ,P]αAkerP,

    and, hence, l1=0. Similarly, we obtain that lk=0 for k4. Therefore, the graded vector space CHLie(V,g) is an L-algebra with nontrivial l2,l3, and the other higher derived brackets are trivial.

    With the aid of Proposition 4.6, we have the main theorem in this subsection.

    Theorem 4.7. Let (V,ρ,A) be a representation of a Hom-Lie algebra (g,[,],α) and ΦC2HLie(g,V) a 2-cocycle with respect to (V,ρ,A). Then, a linear map R:Vg is a twisted Rota-Baxter operator if and only if R is a Maurer-Cartan element of the L-algebra (CHLie(V,g),l2,l3).

    Proof. Set v1,v2V. By direct computation, we have

    l2(R,R)(v1,v2)=P[[μ+ρ+Φ,R]αA,R]αA(v1,v2)=2([Rv1,Rv2]R(ρ(Rv1)v2)+R(ρ(Rv2)v1)),l3(R,R,R)(v1,v2)=P[[[μ+ρ+Φ,R]αA,R]αA,R]αA(v1,v2)=6R(Φ(Rv1,Rv2)).

    Therefore, according to Definition 4.2 and (4.3), R is a Maurer-Cartan element of (CHLie(V,g),l2,l3) if and only if αR=Rα and

    +n=11n!ln(R,,R)(u,v)=12!l2(R,R)(u,v)+13!l3(R,R,R)(u,v)=[Ru,Rv]R(ρ(Ru)v)+R(ρ(Rv)u)R(Φ(Ru,Rv))=0,

    which is equivalent to R:Vg being a twisted Rota-Baxter operator on the Hom-Lie algebra (g,[,],α) with respect to the representation (V,ρ,A). This completes the proof.

    In this subsection, we establish the cohomology of twisted Rota-Baxter operators on Hom-Lie algebra s by utilizing twisted L-algebra structures from a given L-algebra and a Maurer-Cartan element, as introduced by Getzler [39].

    Let ω be a Maurer-Cartan element of an L-algebra (g=kZgk,{li}+i=1). Define a series of twisted linear maps l ωk:kgg of degree 1, k1 by

    l ωk(x1,,xk)=+n=01n!ln+k(ω,,ωn,x1,,xk), x1,,xkg.

    Theorem 4.8. ([39]) Keeping the notations as above, (g,{l ωk}+k=1) is an L-algebra, obtained from g by twisting with the Maurer-Cartan element ω. Furthermore, ω+ω is a Maurer-Cartan element of (g,{li}+i=1) if and only if ω is a Maurer-Cartan element of the twisted L-algebra (g,{l ωk}+k=1).

    Applying Theorem 4.8 to the L-algebra (CHLie(V,g),l2,l3), we get the following proposition.

    Proposition 4.9. Let R:Vg be a twisted Rota-Baxter operator on a Hom-Lie algebra (g,[,],α) with respect to the representation (V,ρ,A). Then, CHLie(V,g) carries a twisted L-algebra structure, as follows:

    lR1(P)=l2(R,P)+12l3(R,R,P),lR2(P,Q)=l2(P,Q)+l3(R,P,Q),lR3(P,Q,S)=l3(P,Q,S),lRk=0

    for all k4, PCpHLie(V,g), QCqHLie(V,g) and SCsHLie(V,g).

    Proof. In view of Theorem 4.7, R is a Maurer-Cartan element of the L-algebra (CHLie(V,g),l2,l3). Then, the result follows due to Theorem 4.8.

    Assume that R:Vg is a twisted Rota-Baxter operator on a Hom-Lie algebra (g,[,],α) with respect to the representation (V,ρ,A). Denote the twisted L-algebra in the above proposition by (CHLie(V,g),lR1,lR2,lR3). Therefore, we obtain that the twisted Rota-Baxter operator R generates a differential lR1:CpHLie(V,g)Cp+1HLie(V,g),p1. Define the set of p-cochains by

    CpR(V,g)={{xg | α(x)=x},p=0,CpHLie(V,g),p1. (4.5)

    Define dR=lR1 for all p1. Moreover, if p=0, define dR:C0R(V,g)C1R(V,g) by

    dR(x)(v)=[Rv,x]+Rρ(x)vRΦ(Rv,x), xC0R(V,g),vV, (4.6)

    which is well defined since α(x)=x. Thus, we have that dRdR=0; hence, (+p=0CpR(V,g),dR) is a cochain complex. Then, the corresponding cohomology groups are

    HpR(V,g)=ZnR(V,g)BpR(V,g)={fCpR(V,g)dRf=0}{dRggCp1R(V,g)} for all p0,

    which represents the cohomology of the twisted Rota-Baxter operator R.

    For the last part of this subsection, we give a description showing that the above twisted L-algebra governs the deformations of twisted Rota-Baxter operators on Hom-Lie algebra s.

    Theorem 4.10. Let R:Vg be a twisted Rota-Baxter operator on a Hom-Lie algebra (g,[,],α) with respect to the representation (V,ρ,A). Then, for a linear map R:Vg, R+R becomes a twisted Rota-Baxter operator if and only if R is a Maurer-Cartan element of the twisted L-algebra (CHLie(V,g),lR1,lR2,lR3).

    Proof. According to Definition 4.2, R is a Maurer-Cartan element of (CHLie(V,g),lR1,lR2,lR3) if and only if

    lR1(R)+12!lR2(R,R)+13!lR3(R,R,R)=0.

    By Proposition 4.9, the above formula is equivalent to

    l2(R,R)+12l2(R,R)+12l3(R,R,R)+12l3(R,R,R)+16l3(R,R,R)=0. (4.7)

    Since R is a twisted Rota-Baxter operator, by Theorem 4.7, we have

    12!l2(R,R)+13!l3(R,R,R)=0. (4.8)

    Collecting the two equalities (4.7) and (4.8) gives that (4.7) is equivalent to

    12!l2(R+R,R+R)+13!l3(R+R,R+R,R+R)=0,

    that is, R+R is a Maurer-Cartan element of (CHLie(V,g),l2,l3). By Theorem 4.7, again, it is equivalent to R+R being a twisted Rota-Baxter operator; thus, we have the conclusion.

    In this subsection, we offer an alternative understanding of the cohomology of twisted Rota-Baxter operators. It turns out that this cohomology can be perceived as the Chevalley-Eilenberg cohomology of a specific Hom-Lie algebra with coefficients in an appropriate representation.

    Recall that (V,[,]R) is the sub-adjacent Hom-Lie algebra of R (see Corollary 3.10). First, we construct the representation of (V,[,]R) as follows.

    Lemma 4.11. Let R:Vg be a twisted Rota-Baxter operator on a Hom-Lie algebra (g,[,],α) with respect to the representation (V,ρ,A). Define ρR:Vgl(g) by

    ρR(v)(x)=[Rv,x]+Rρ(x)vRΦ(Rv,x), xg,vV. (4.9)

    Then, (g,ρR,α) is a representation of the Hom-Lie algebra (V,[,]R,A).

    Proof. Set v1,v2V and xg. By a direct check, we get that ρR(Av1)α=αρR(v1). Moreover, since Φ is a 2-cocycle, by (2.2) and (2.3), (3.3) and (3.4), as well as (2.9), we have

         ρR([v1,v2]R)α(x)ρR(Av1)ρR(v2)(x)+ρR(Av2)ρR(v1)(x)=ρR(ρ(Rv1)v2ρ(Rv2)v1+Φ(Rv1,Rv2))α(x)ρR(Av1)([Rv2,x]+Rρ(x)v2RΦ(Rv2,x))    +ρR(Av2)([Rv1,x]+Rρ(x)v1RΦ(Rv1,x))=[Rρ(Rv1)v2,α(x)]+Rρα(x)ρ(Rv1)v2RΦ(Rρ(Rv1)v2,α(x))[Rρ(Rv2)v1,α(x)]    Rρ(α(x)ρ(Rv2)v1+RΦ(Rρ(Rv2)v1,α(x))+[RΦ(Rv1,Rv2),α(x)]+Rρα(x)Φ(Rv1,Rv2)    RΦ(R(Φ(Rv1,Rv2)),α(x))[R(Av1),[Rv2,x]]Rρ([Rv2,x])Av1+RΦ(R(Av1),[Rv2,x])    [R(Av1),Rρ(x)v2]Rρ(Rρ(x)v2)Av1+RΦ(R(Av1),Rρ(x)v2)+[R(Av1),RΦ(Rv2,x)]    +Rρ(RΦ(Rv2,x))Av1RΦ(R(Av1),RΦ(Rv2,x))+[R(Av2),[Rv1,x]]+Rρ([Rv1,x])Av2    RΦ(R(Av2),[Rv1,x])+[R(Av2),Rρ(x)v1]+Rρ(Rρ(x)v1)Av2RΦ(R(Av2),Rρ(x)v1)    [R(Av2),RΦ(Rv1,x)]Rρ(RΦ(Rv1,x))Av2+RΦ(R(Av2),RΦ(Rv1,x))=([α(Rv1),[Rv2,x]]+[α(Rv2),[x,Rv1]]+[α(x),[Rv1,Rv2]])    +R(ρ([Rv1,x])Av2ρα(Rv1)ρ(x)v2+ρα(x)ρ(Rv1)v2)    R(ρ([Rv2,x])Av1ρα(Rv2)ρ(x)v1+ρα(x)ρ(Rv2)v1)+(dρΦ)(x,Rv1,Rv2)=0.

    Therefore, (g,ρR,α) is a representation of the Hom-Lie algebra (V,[,]R,A).

    The above lemma allows us to consider the Chevalley-Eilenberg cohomology of the Hom-Lie algebra (V,[,]R,A) with coefficients in the representation (g,ρR,α). Let δCE:CpHLie(V,g)Cp+1HLie(V,g),(p1) be the corresponding coboundary operator of the Hom-Lie algebra (V,[,]R,A) with coefficients in the representation (g,ρR,α), where CpHLie(V,g) is given in Proposition 4.6. More precisely, δCE:CpHLie(V,g)Cp+1HLie(V,g) is given by

    (δCEf)(v1,,vp+1)=p+1i=1(1)i+1[R(Ap1vi),f(v1,,^vi,,vp+1)]+p+1i=1(1)i+1Rρ(f(v1,,^vi,,vp+1))(Ap1vi)p+1i=1(1)i+1R(Φ(R(Ap1vi),f(v1,,^vi,,vp+1)))+i<j(1)i+jf(ρ(Rvi)vjρ(Rvj)vi+Φ(Rvi,Rvj),Av1,,^vi,,^vj,,Avp+1)

    for any fCpHLie(V,g) and v1,,vp+1V. If p=0, according to (2.7), the coboundary map δCE:C0HLie(V,g)C1HLie(V,g) is given by

    δCE(x)(v)=ρR(v)(x)=[Rv,x]+Rρ(x)vRΦ(Rv,x), xg,vV; (4.10)

    in view of (4.6), we obtain that

    δCE(x)=dR(x), xg. (4.11)

    Denote the Chevalley-Eilenberg cohomology group correspondng to the cochain complex (+p=0CpHLie(V,g),δCE) by HCE(V,g).

    Furthermore, comparing the coboundary operator δCE given above with the twisted linear map lR1 introduced in Proposition 4.9, we obtain the following result.

    Theorem 4.12. Assume that R:Vg is a twisted Rota-Baxter operator on a Hom-Lie algebra (g,[,],α) with respect to the representation (V,ρ,A). Then, we have

    δCEf=lR1f, fCpHLie(V,g), p1.

    Proof. Set μ+ρ+Φ=Δ. For any fCpHLie(V,g) and v1,,vp+1V, by (4.4), we have

        l2(R,f)(v1,,vp+1)=P[[Δ,R]αA,f]αA(v1,,vp+1)=P((1)p1{[Δ,R]αA,f}αA(v1,,vp+1){f,[Δ,R]αA}αA(v1,,vp+1))=(1)p1P{{Δ,R}αA,f}αA(v1,,vp+1)(1)p1{{R,Δ}αA,f}αA(v1,,vp+1)    {f,{Δ,R}αA}αA(v1,,vp+1)+{f,{R,Δ}αA}αA(v1,,vp+1)=p+1i=1(1)i+1[R(Ap1vi),f(v1,,^vi,,vp+1)]    +p+1i=1(1)i+1Rρ(f(v1,,^vi,,vp+1))(Ap1vi)    +i<j(1)i+jf(ρ(Rvi)vjρ(Rvj)vi,Av1,,^vi,,^vj,,Avp+1).

    Similarly, by direct computation, we obtain

    12l3(R,R,f)(v1,,vp+1)=p+1i=1(1)i+1R(Φ(R(Ap1vi),f(v1,,^vi,,vp+1))).

    Therefore, we deduce that

    δCEf=l2(R,f)+12l3(R,R,f)=lR1f.

    This completes the proof.

    Combining the above theorem and (4.11), we arrive at the subsequent corollary.

    Corollary 4.13. Assume that R:Vg is a twisted Rota-Baxter operator on a Hom-Lie algebra (g,[,],α) with respect to the representation (V,ρ,A). Then,

    HpR(V,g)=HpCE(V,g), p0.

    In this section, we employ the established cohomology to investigate the linear and formal deformations of twisted Rota-Baxter operator s on Hom-Lie algebra s. We establish that equivalent linear deformations define the same cohomology class, as well as formal deformations. Furthermore, we characterize the rigidity of formal deformations based on Nijenhuis elements.

    Assume that R:Vg is a twisted Rota-Baxter operator on a Hom-Lie algebra (g,[,],α) with respect to the representation (V,ρ,A). Recall from (4.5) that C0R(V,g)={xg | α(x)=x} and C1R(V,g)=C1HLie(V,g)={fHom(V,g) | αf=fA}.

    Definition 5.1. A linear deformation of a twisted Rota-Baxter operator R consists of Rt=R+tR1 with R0=R such that, for all tK, Rt is still a twisted Rota-Baxter operator.

    Suppose that Rt=R+tR1 is a linear deformation of R. Thus, we have that αRt=RtA and

    [Rtv1,Rtv2]=Rt(ρ(Rtv1)v2ρ(Rtv2)v1+Φ(Rtv1,Rtv2)), v1,v2V.

    By direct computation, we have that αR1=R1A and

    [Rv1,R1v2]+[R1v1,Rv2]=R(ρ(R1v1)v2ρ(R1v2)v1+Φ(Rv1,R1v2)+Φ(R1v1,Rv2))    +R1(ρ(Rv1)v2ρ(Rv2)v1+Φ(Rv1,Rv2)).

    Equivalently, R1C1R(V,g) and dRR1=0. Then, we get that R1 is a 1-cocycle within the cohomology of R.

    Definition 5.2. Assume that R and R are two twisted Rota-Baxter operators on a Hom-Lie algebra (g,[,],α) with respect to the representation (V,ρ,A). A morphism of twisted Rota-Baxter operators from R to R consists of a pair (ϕ,ψ) of the Hom-Lie algebra morphism ϕ:gg and a linear map ψ:VV such that, for any xg, it holds that

    ψρ(x)=ρ(ϕ(x))ψ, ψΦ=Φ(ϕKϕ), ψA=Aψ, ϕR=Rψ.

    Furthermore, (ϕ,ψ) will be called an isomorphism from R to R if ϕ and ψ are invertible.

    Definition 5.3. Assume that R:Vg is a twisted Rota-Baxter operator on a Hom-Lie algebra (g,[,],α) with respect to the representation (V,ρ,A). Two linear deformations, Rt=R+tR1 and Rt=R+tR1, are said to be equivalent if there exists xg such that α(x)=x and

    (ϕt=Idg+tadx,ψt=IdV+tρ(x)+tΦ(x,R))

    is a morphism from Rt to Rt.

    Suppose that (ϕt=Idg+tadx,ψt=IdV+tρ(x)+tΦ(x,R)) is a morphism from Rt to Rt. Then, ϕt being a Hom-Lie algebra morphism means that

    [[x,y],[x,z]]=0, y,zg. (5.1)

    The condition ψtρ(x)=ρ(ϕt(x))ψt is equivalent to

    {Φ(x,Rρ(y)v)=ρ(y)Φ(x,Rv),ρ([x,y])(ρ(x)v+Φ(x,Rv))=0,yg,vV. (5.2)

    The condition ψtΦt=Φ(ϕtKϕt) means that

    {ρ(x)Φ(y,z)+Φ(x,RΦ(y,z))=Φ([x,y],z)+Φ(y,[x,z]),Φ([x,y],[x,z])=0, y,zg. (5.3)

    Moreover, the formula ψtA=Aψt is established automatically because α(x)=x. Finally, the condition ϕR=Rψ is equivalent to

    {R1v+[x,Rv]=Rρ(x)v+RΦ(x,Rv)+R1v,[x,R1v]=R1(ρ(x)v+Φ(x,Rv)), vV. (5.4)

    Note that the first condition of (5.4) implies that R1R1=dR(x). Consequently, we have the following result.

    Theorem 5.4. Let Rt=R+tR1 and Rt=R+tR1 be two equivalent linear deformations of a twisted Rota-Baxter operator R. Then, R1 and R1 are in the same cohomology class in H1R(V,g).

    Remark 5.5. A linear deformation Rt=R+tR1 of a twisted Rota-Baxter operator R is called trivial if Rt is equivalent to the unaltered deformation Rt=R.

    In this subsection, we investigate formal deformations of twisted Rota-Baxter operators on Hom-Lie algebras.

    Assume that R:Vg is a twisted Rota-Baxter operator on a Hom-Lie algebra (g,[,],α) with respect to the representation (V,ρ,A). Denote by V[[t]] the formal power series in t with coefficients in V. There exists a Hom-Lie algebra structure over the ring K[[t]] on g[[t]] that is given by

    [+i=0xiti,+j=0yjtj]=+s=0+i+j=s[xi,yj]ts, xi,yjg. (5.5)

    Moreover, there is a representation (denoted also by ρ) of the Hom-Lie algebra g[[t]] that is given by

    ρ(+i=0xiti)(+j=0vjtj)=+s=0+i+j=sρ(xi)vjts, xig,vjV. (5.6)

    The 2-cocycle Φ can be extended to a 2-cocycle on the Hom-Lie algebra g[[t]] with coefficients in V[[t]]; denote it by using the same notation Φ.

    Consider the following formal power series:

    Rt=+i=0Riti, RiC1R(V,g). (5.7)

    Since RtHom(V,g)[[t]]=Hom(V,g[[t]]), we may extend it to a K[[t]]-module map from V[[t]] to g[[t]], and we still denote it by Rt.

    Definition 5.6. A formal deformation of a twisted Rota-Baxter operator R consists of a formal power series Rt=+i=0Riti, with R0=R such that, for all tK, Rt remains as a twisted Rota-Baxter operator.

    Lemma 5.7. Rt=+i=0Riti is a formal deformation of R if and only if

    +i+j=n[Riv1,Rjv2]=+i+j=nRi(ρ(Rjv1)v2ρ(Rjv2)v1)++i+j+k=nRiΦ(Rjv1,Rkv2)ti+j+k, v1,v2V,n0. (5.8)

    Proof. Straightforward.

    For n=0, (5.8) gives that R=R0 is a twisted Rota-Baxter operator. For s=1, it follows that

        [Rv1,R1v2]+[R1v1,Rv2]=R(ρ(R1v1)v2ρ(R1v2)v1)+R1(ρ(Rv1)v2ρ(Rv2)v1)+RΦ(Rv1,R1v2)+RΦ(R1v1,Rv2)+R1Φ(Rv1,Rv2),

    which implies that dRR1=0; hence, R1 is exactly a 1-cocycle of the cohomology of the twisted Rota-Baxter operator R. Moreover, by direct computation, we have the following.

    Proposition 5.8. Let Rt=+i=0Riti be a formal deformation of a twisted Rota-Baxter operator R. If Ri=0,1i<n, then Rn is a 1-cocycle with respect to the cohomology of R, that is, RnZ1R(V,g).

    A 1-cochain Rn is called the n-infinitesimal of Rt if Ri=0 for all 1i<n. In particular, the 1-cocycle R1 is called the infinitesimal (or 1-infinitesimal) of Rt. Due to Proposition 5.8, the n-infinitesimal Rn is a 1-cocycle.

    Definition 5.9. Assume that R:Vg is a twisted Rota-Baxter operator on a Hom-Lie algebra (g,[,],α) with respect to the representation (V,ρ,A). Two formal deformations Rt=R++irRiti and Rt=R++irRiti (r1) are called equivalent if there exist xg, ϕigl(g) and ψigl(V),ir+1 such that

    (ϕt=Idg+tradx++i=r+1ϕiti,ψt=IdV+trρ(x)+trΦ(x,R)++i=r+1ψiti)

    is a morphism from Rt to Rt.

    Particularly, if r=1, owing to Definition 5.9, two formal deformations Rt=+i=0Riti and Rt=+i=0Riti are equivalent if there exist xg, ϕigl(g) and ψigl(V),i2 such that

    (ϕt=Idg+tadx++i=2ϕiti,ψt=IdV+tρ(x)+tΦ(x,R)++i=2ψiti)

    is a morphism from Rt to Rt. Then, by extracting the coefficients of t from both sides of ϕtRt=Rtψt, we get

    R1vR1v=[Rv,x]+Rρ(x)v+RΦ(x,Rv)=dR(x)(v),  vV;

    thus, we have the following result:

    Proposition 5.10. Assume that R:Vg is a twisted Rota-Baxter operator on a Hom-Lie algebra (g,[,],α) with respect to the representation (V,ρ,A). If two formal deformations Rt=+i=0Riti and Rt=+i=0Riti of R are equivalent, then their infinitesimals R1 and R1 are in the same cohomology class.

    At the end of this subsection, we investigate the rigidity of a twisted Rota-Baxter operator based on Nijenhuis elements.

    Definition 5.11. A twisted Rota-Baxter operator R is called rigid if any formal deformation of R is equivalent to the unaltered deformation Rt=R.

    Definition 5.12. Assume that R:Vg is a twisted Rota-Baxter operator on a Hom-Lie algebra (g,[,],α) with respect to the representation (V,ρ,A). An element xg with α(x)=x is said to be a Nijenhuis element if x satisfies that

    [x,[Rv,x]+Rρ(x)v+RΦ(x,Rv)]=0, vV

    and (5.1)–(5.3) hold. Denote the set of Nijenhuis elements associated with R by Nij(R).

    By the above definition and Remark 5.5, any trivial linear deformation induces a Nijenhuis element. Moreover, we give a sufficient condition to characterize the rigidity of a twisted Rota-Baxter operator, as follows.

    Theorem 5.13. Let R:Vg be a twisted Rota-Baxter operator on a Hom-Lie algebra (g,[,],α) with respect to the representation (V,ρ,A). If Z1R(V,g)=dR(Nij(R)), then R is rigid.

    Proof. Suppose that Rt=+i=0Riti is a formal deformation of R. Thanks to Proposition 5.8, R1 is a 1-cocycle of R. Hence, there exists a Nijenhuis element xg such that R1=dR(x). Set

    ϕt=Idg+tadx,  ψt=IdV+tρ(x)+tΦ(x,R).

    Define Rt=ϕtRtψ1t. Since x is a Nijenhuis element, we deduce that (ϕt,ψt) is a morphism from Rt to Rt; hence, Rt is a formal deformation of R, which is equivalent to Rt. Furthermore, for vV, by direct computation, we obtain

    Rtv=(Idg+tadx)Rt(IdVtρ(x)tΦ(x,R)+power of t2)=(Idg+tadx)(Rvt(Rρ(x)v+RΦ(x,Rv)+R1v)+power of t2)=Rv+t(R1vdR(x)v)+power of t2=Rv+power of t2,

    which implies that the coefficient of t in the expression of Rt is trivial. Continuing by induction, we finally have that Rt is equivalent to R. This completes the proof.

    In this article, we introduced the concept of a twisted Rota-Baxter operator on a Hom-Lie algebra and defined its cohomology by constructing a twisting L-algebra associated with the twisted Rota-Baxter operator. We constructed a Chevalley-Eilenberg cohomology for a certain Hom-Lie algebra with coefficients in an appropriate representation. Surprisingly, this Chevalley-Eilenberg cohomology coincides with the cohomology of twisted Rota-Baxter operator s. We also showed that the linear component in a linear or formal deformation of a twisted Rota-Baxter operator R is a 1-cocycle in the cohomology of R. At the end, we gave a sufficient condition to characterize the rigidity of formal deformations based on Nijenhuis elements.

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

    The authors would like to thank the anonymous referees for valuable comments that have helped to improved the article significantly.

    Xu was partially supported by NSF of China (12201253) and NSF of Jiangsu Province (BK20220510).

    The authors declare that they have no conflicts of interest.



    [1] T. M. Apostol, Introduction to Analytic Number Theory, New York: Springer-Verlag, 1979.
    [2] K. Ireland, M. Rosen, A classical introduction to modern number theory, New York: Springer-Verlag, 1982.
    [3] W. P. Zhang, H. L. Li, Elementary Number Theory, Xi'an: Shaanxi Normal University Press, 2013.
    [4] Y. W. Hou, W. P. Zhang, One kind high dimensional Kloosterman sums and its upper bound estimate, J. Shaanxi Norm. Univ., Nat. Sci. Ed., 46 (2018), 28–31. doi: 10.15983/j.cnki.jsnu.2018.05.155. doi: 10.15983/j.cnki.jsnu.2018.05.155
    [5] A. Granville, K. Soundararajan, Large character sums: Pretentious characters and the Pˊolya-Vinogradov theorem, J. Amer. Math. Soc., 20 (2007), 357–384. doi: 10.1090/S0894-0347-06-00536-4. doi: 10.1090/S0894-0347-06-00536-4
    [6] W. P. Zhang, Y. Yi, On Dirichlet characters of polynomials, Bull. London Math. Soc., 34 (2002), 469–473. doi: 10.1112/S0024609302001030. doi: 10.1112/S0024609302001030
    [7] W. P. Zhang, W. L. Yao, A note on the Dirichlet characters of polynomials, J. Acta Arithmetica, 115 (2004), 225–229. doi: 10.4064/aa115-3-3. doi: 10.4064/aa115-3-3
    [8] A. Weil, On some exponential sums, Proc. Nat. Acad. Sci. U.S.A., 34 (1948), 204–207. doi: 10.1073/pnas.34.5.204. doi: 10.1073/pnas.34.5.204
    [9] C. Mauduit, A. Sˊark¨ozy, On finite pseudorandom binary sequences Ⅰ: measure of pseudorandomness, the Legendre symbol, Acta Arithmetica, 82 (1997), 365–377.
    [10] K. Gong, C. H. Jia, Shifted character sums with multiplicative coefficients, J. Number Theory, 153 (2015), 364–371. doi: 10.1016/j.jnt.2015.01.015. doi: 10.1016/j.jnt.2015.01.015
    [11] J. Bourgain, M. Z. Garaev, S. V. Konyagin, I. E. Shparlinski, On the hidden shifted power problem, SIAM J. Comput., 41 (2012), 1524–1557. doi: 10.1137/110850414. doi: 10.1137/110850414
    [12] Z. W. Sun, Sequence A260911 at OEIS, 2015. Available from: http://oeis.org/A260911.
  • This article has been cited by:

    1. Benoumran Telli, Mohammed Said Souid, Jehad Alzabut, Hasib Khan, Existence and Uniqueness Theorems for a Variable-Order Fractional Differential Equation with Delay, 2023, 12, 2075-1680, 339, 10.3390/axioms12040339
    2. Zeeshan Asghar, Ahmed Elmoasry, Wasfi Shatanawi, Muhammad Asif Gondal, An exact solution for directional cell movement over Jeffrey slime layer with surface roughness effects, 2023, 35, 1070-6631, 041901, 10.1063/5.0143053
    3. Zeeshan Asghar, Muhammad Asif Javed, Muhammad Waris Saeed Khan, Muhammad Asif Gondal, Modeling and analysis of Oldroyd 4-constant mucus flow induced by artificial magnetic cilia, 2024, 36, 1070-6631, 10.1063/5.0200271
    4. Kamal Shah, Thabet Abdeljawad, Bahaaeldin Abdalla, Manel Hleili, Study of a class of fractional-order evolution hybrid differential equations using a modified Mittag-Leffler-type derivative, 2024, 2024, 1687-2770, 10.1186/s13661-024-01886-8
    5. Sagar R. Khirsariya, Jignesh P. Chauhan, Gautam S. Hathiwala, Study of fractional diabetes model with and without complication class, 2023, 12, 26667207, 100283, 10.1016/j.rico.2023.100283
    6. Muhammad Waris Saeed Khan, Zeeshan Asghar, Wasfi Shatanawi, Muhammad Asif Gondal, Thermal entry problem for a tube with prescribed heat flux condition using viscoplastic fluid: An extended Graetz problem for Casson fluid with axial conduction and viscous dissipation, 2024, 104, 0044-2267, 10.1002/zamm.202300109
    7. Himayat Ullah Jan, Hakeem Ullah, Mehreen Fiza, Ilyas Khan, Sayed M. Eldin, Fractional view analysis of the diffusion equations via a natural Atangana-Baleanu operator, 2023, 83, 11100168, 19, 10.1016/j.aej.2023.10.031
    8. Muhammad Altaf Khan, Mutum Zico Meetei, Kamal Shah, Thabet Abdeljawad, Mohammad Y. Alshahrani, Modeling the monkeypox infection using the Mittag–Leffler kernel, 2023, 21, 2391-5471, 10.1515/phys-2023-0111
    9. Muhammad Ashfaq, Zeeshan Asghar, Yufeng Nie, Wasfi Shatanawi, Application of micropolar fluid model to blood flow through catheterized artery with stenosis and thrombosis, 2024, 0217-9792, 10.1142/S0217979225500481
    10. Saim Ahmed, Ahmad Taher Azar, Mahmoud Abdel-Aty, Hasib Khan, Jehad Alzabut, A nonlinear system of hybrid fractional differential equations with application to fixed time sliding mode control for Leukemia therapy, 2024, 15, 20904479, 102566, 10.1016/j.asej.2023.102566
    11. Supaporn Chankong, Prasert Phaochoo, Pramote Charongrattanasakul, Nucharin Thongpool, A class of derivative free three-term descent Hestenes-Stiefel conjugate gradient algorithms for constrained nonlinear problems, 2024, 14, 26667207, 100372, 10.1016/j.rico.2024.100372
    12. Hasib Khan, Jehad Alzabut, J.F. Gómez-Aguilar, Wafa F. Alfwzan, A nonlinear perturbed coupled system with an application to chaos attractor, 2023, 52, 22113797, 106891, 10.1016/j.rinp.2023.106891
    13. Zeeshan Asghar, Muhammad Waris Saeed Khan, Wasfi Shatanawi, Muhammad Asif Gondal, Semi-analytical solution of Graetz–Brinkman problem combined with non-Newtonian Ellis fluid flow in a passive channel, 2023, 138, 2190-5444, 10.1140/epjp/s13360-023-04632-8
    14. Mian Bahadur Zada, Haroon Rashid, Kamal Shah, Thabet Abdeljawad, Study of fractional variable order COVID-19 environmental transformation model, 2023, 21, 2391-5471, 10.1515/phys-2023-0123
    15. Shuguang Li, Z. Asghar, M. Waqas, Hala A. Hejazi, M. Zubair, Dilsora Abduvalieva, A rheological and computational analysis on Buongiorno nanofluid model featuring magnetohydrodynamics, 2024, 0217-9792, 10.1142/S0217979225500080
    16. Wangmin An, Danfeng Luo, Jizhao Huang, Relative Controllability and Hyers–Ulam Stability of Riemann–Liouville Fractional Delay Differential System, 2024, 23, 1575-5460, 10.1007/s12346-024-01046-4
    17. Mohammed A. Almalahi, K. A. Aldwoah, Kamal Shah, Thabet Abdeljawad, Stability and Numerical Analysis of a Coupled System of Piecewise Atangana–Baleanu Fractional Differential Equations with Delays, 2024, 23, 1575-5460, 10.1007/s12346-024-00965-6
    18. Sombir Dhaniya, Anoop Kumar, Aziz Khan, Thabet Abdeljawad, Existence results for Langevin equations involving generalized Liouville–Caputo fractional derivatives with non-local boundary conditions, 2024, 90, 11100168, 153, 10.1016/j.aej.2024.01.025
    19. Hasib Khan, Saim Ahmed, Jehad Alzabut, Ahmad Taher Azar, A generalized coupled system of fractional differential equations with application to finite time sliding mode control for Leukemia therapy, 2023, 174, 09600779, 113901, 10.1016/j.chaos.2023.113901
    20. Jing Zou, Danfeng Luo, On the Averaging Principle of Caputo Type Neutral Fractional Stochastic Differential Equations, 2024, 23, 1575-5460, 10.1007/s12346-023-00916-7
    21. Khaled A. Aldwoah, Mohammed A. Almalahi, Manel Hleili, Faez A. Alqarni, Elkhateeb S. Aly, Kamal Shah, Analytical study of a modified-ABC fractional order breast cancer model, 2024, 70, 1598-5865, 3685, 10.1007/s12190-024-02102-7
    22. Chuntao Yin, Yufei Zhao, Xianghong Li, Yongjun Shen, Analysis and Synchronization of the Chen System with Fractional Derivative, 2024, 34, 0218-1274, 10.1142/S0218127424500883
    23. Jehad Alzabut, R. Dhineshbabu, A. George M. Selvam, J.F. Gómez-Aguilar, Hasib Khan, Existence, uniqueness and synchronization of a fractional tumor growth model in discrete time with numerical results, 2023, 54, 22113797, 107030, 10.1016/j.rinp.2023.107030
    24. Zeeshan Asghar, Enhancing motility of micro-swimmers via electric and dynamical interaction effects, 2023, 138, 2190-5444, 10.1140/epjp/s13360-023-03963-w
    25. Hina Sadaf, Zeeshan Asghar, Shagufta Ijaz, Mathematical modeling of Cross‐fluid model in a peristaltic channel with viscous dissipation and MHD effects, 2024, 104, 0044-2267, 10.1002/zamm.202300334
    26. Hina Sadaf, Zeeshan Asghar, Naheeda Iftikhar, Metachronal wave impact in a channel flow of Prandtl fluid model, 2024, 155, 07351933, 107464, 10.1016/j.icheatmasstransfer.2024.107464
    27. Usman Riaz, Akbar Zada, Ilyas Khan, Montaha Mohamed Ibrahim Mohamed, Abdoalrahman S.A. Omer, Abha Singh, Analysis of nonlinear implicit coupled Hadamard fractional differential equations with semi-coupled Hadamard fractional integro-multipoints boundary conditions, 2023, 14, 20904479, 102543, 10.1016/j.asej.2023.102543
    28. Naseem Abbas, Amjad Hussain, Aziz Khan, Thabet Abdeljawad, Bifurcation analysis, quasi-periodic and chaotic behavior of generalized Pochhammer-Chree equation, 2024, 15, 20904479, 102827, 10.1016/j.asej.2024.102827
    29. Rian Yan, Yige Zhao, Positive Solutions for Periodic Boundary Value Problems of Fractional Differential Equations with Sign-Changing Nonlinearity and Green’s Function, 2023, 12, 2075-1680, 819, 10.3390/axioms12090819
    30. G Ranjith Kumar, K Ramesh, Aziz Khan, K. Lakshminarayan, Thabet Abdeljawad, Dynamical study of fractional order Leslie-Gower model of predator-prey with fear, Allee effect, and inter-species rivalry, 2024, 14, 26667207, 100403, 10.1016/j.rico.2024.100403
    31. Aziz Khan, Thabet Abdeljawad, Manar A. Alqudah, Neural networking study of worms in a wireless sensor model in the sense of fractal fractional, 2023, 8, 2473-6988, 26406, 10.3934/math.20231348
    32. Imtiazur Rahman, Amjad Ali, Furqan Habib, Existence and Numerical Investigation of Monkey-Pox Mathematical Model by Natural Adomain Decomposition Method, 2024, 9, 2575-1794, 43, 10.11648/j.mma.20240903.11
    33. ASHRAF ADNAN THIRTHAR, PRABIR PANJA, AZIZ KHAN, MANAR A. ALQUDAH, THABET ABDELJAWAD, AN ECOSYSTEM MODEL WITH MEMORY EFFECT CONSIDERING GLOBAL WARMING PHENOMENA AND AN EXPONENTIAL FEAR FUNCTION, 2023, 31, 0218-348X, 10.1142/S0218348X2340162X
    34. Aqeel Ahmad, Muhammad Farman, Muhammad Sultan, Hijaz Ahmad, Sameh Askar, Analysis of Hybrid NAR-RBFs Networks for complex non-linear Covid-19 model with fractional operators, 2024, 24, 1471-2334, 10.1186/s12879-024-09329-6
    35. Nadar Jenita Mary Masilamani Raja, A. Anuradha, On Sombor indices of generalized tensor product of graph families, 2024, 14, 26667207, 100375, 10.1016/j.rico.2024.100375
    36. Ramesh Kumar Vats, Kanika Dhawan, V. Vijayakumar, Analyzing Single and Multi-valued Nonlinear Caputo Two-Term Fractional Differential Equation With Integral Boundary Conditions, 2024, 23, 1575-5460, 10.1007/s12346-024-01026-8
    37. Hasib Khan, Jehad Alzabut, Wafa F. Alfwzan, Haseena Gulzar, Nonlinear Dynamics of a Piecewise Modified ABC Fractional-Order Leukemia Model with Symmetric Numerical Simulations, 2023, 15, 2073-8994, 1338, 10.3390/sym15071338
    38. Wen-Hua Huang, Muhammad Samraiz, Ahsan Mehmood, Dumitru Baleanu, Gauhar Rahman, Saima Naheed, Modified Atangana-Baleanu fractional operators involving generalized Mittag-Leffler function, 2023, 75, 11100168, 639, 10.1016/j.aej.2023.05.037
    39. E. Thilakraj, K. Kaliraj, C. Ravichandran, M. Manjula, New investigation on controllability of sobolev-type Volterra-Fredholm functional integro-differential equation with non-local condition, 2024, 15, 26667207, 100418, 10.1016/j.rico.2024.100418
    40. Guotao Wang, Hualei Yuan, Dumitru Baleanu, Stability Analysis, Existence and Uniqueness of Solutions for a Fractional Conformable p-Laplacian Coupled Boundary Value Problem on the Disilane Graph, 2024, 23, 1575-5460, 10.1007/s12346-024-01076-y
    41. Astha Malhotra, Deepak Kumar, Existence and stability of solution for a nonlinear Volterra integral equation with binary relation via fixed point results, 2024, 441, 03770427, 115686, 10.1016/j.cam.2023.115686
    42. Marimuthu Mohan Raja, Velusamy Vijayakumar, Kalyana Chakravarthy Veluvolu, An analysis concerning to the existence of mild solution for Hilfer fractional neutral evolution system on infinite interval, 2023, 46, 0170-4214, 19277, 10.1002/mma.9626
    43. Sabbavarapu Nageswara Rao, Mahammad Khuddush, Abdullah Ali H. Ahmadini, Çetin Yildiz, Existence of Positive Solutions for a Nonlinear Iterative System of Boundary Value Problems with Tempered Fractional Order Derivative, 2024, 2024, 2314-4629, 10.1155/2024/8862634
    44. Abdelatif Boutiara, Jehad Alzabut, Hasib Khan, Saim Ahmed, Ahmad Taher Azar, Qualitative analytical results of complex order nonlinear fractional differential equations with robust control scheme, 2024, 9, 2473-6988, 20692, 10.3934/math.20241006
    45. Zeeshan Asghar, Rehman Ali Shah, Muhammad Waqas, Muhammad Asif Gondal, Electro-fluid-dynamics (EFD) of soft-bodied organisms swimming through mucus having dilatant, viscous, and pseudo-plastic properties, 2024, 0217-9792, 10.1142/S0217979225500110
    46. Anum Zehra, Saba Jamil, Muhammad Farman, Kottakkaran Sooppy Nisar, Kranthi Kumar Deveerasetty, Modeling and analysis of Hepatitis B dynamics with vaccination and treatment with novel fractional derivative, 2024, 19, 1932-6203, e0307388, 10.1371/journal.pone.0307388
    47. Hasib Khan, Jehad Alzabut, Haseena Gulzar, Osman Tunç, Sandra Pinelas, On System of Variable Order Nonlinear p-Laplacian Fractional Differential Equations with Biological Application, 2023, 11, 2227-7390, 1913, 10.3390/math11081913
    48. Ishfaq Khan, Akbar Zada, Analysis of Abstract Partial Impulsive Integro-Differential System with Delay via Integrated Resolvent Operator, 2024, 23, 1575-5460, 10.1007/s12346-024-00968-3
    49. J. Pradeesh, V. Vijayakumar, A New Approach on the Approximate Controllability Results for Hilfer Fractional Stochastic Hemivariational Inequalities of Order 1<μ<2, 2024, 23, 1575-5460, 10.1007/s12346-024-01012-0
    50. Muhammad Waris Saeed Khan, Zeeshan Asghar, Abdul Hafeez, Graetz problem for the casson fluid model with prescribed heat flux in a circular duct, 2024, 233, 1951-6355, 1349, 10.1140/epjs/s11734-023-00957-8
    51. Zeeshan Asghar, Muhammad Waris Saeed Khan, Amjad Ali Pasha, Mustafa Mutiur Rahman, L. Sankaralingam, Mohammad Irfan Alam, On non-Newtonian fluid flow generated via complex metachronal waves of cilia with magnetic, hall, and porous effects, 2023, 35, 1070-6631, 10.1063/5.0164439
    52. Pallavi Bedi, Anoop Kumar, Aziz Khan, Thabet Abdeljawad, Stability analysis of neutral delay fractional differential equations with Erdelyi–Kober fractional integral boundary conditions, 2023, 12, 26667207, 100278, 10.1016/j.rico.2023.100278
    53. Wafa F. Alfwzan, Hasib Khan, Jehad Alzabut, Stability analysis for a fractional coupled Hybrid pantograph system with p-Laplacian operator, 2024, 14, 26667207, 100333, 10.1016/j.rico.2023.100333
    54. Kaihong Zhao, Generalized UH-stability of a nonlinear fractional coupling (\mathcalligrap1,\mathcalligrap2)-Laplacian system concerned with nonsingular Atangana–Baleanu fractional calculus, 2023, 2023, 1029-242X, 10.1186/s13660-023-03010-3
    55. Sombir Dhaniya, Anoop Kumar, Aziz Khan, Thabet Abdeljawad, Manar A. Alqudah, Yusuf Pandir, Existence Results of Langevin Equations with Caputo–Hadamard Fractional Operator, 2023, 2023, 2314-4785, 1, 10.1155/2023/2288477
    56. Sagar R. Khirsariya, Snehal B. Rao, Solution of fractional Sawada–Kotera–Ito equation using Caputo and Atangana–Baleanu derivatives, 2023, 46, 0170-4214, 16072, 10.1002/mma.9438
    57. H. Abdelhamid, M. S. Souid, J. Alzabut, New solvability and stability results for variable-order fractional initial value problem, 2024, 32, 0971-3611, 1877, 10.1007/s41478-024-00725-4
    58. Yanli Ma, Maryam Maryam, Usman Riaz, Ioan-Lucian Popa, Lakhdar Ragoub, Akbar Zada, Existence and Hyers–Ulam Stability of Jerk-Type Caputo and Hadamard Mixed Fractional Differential Equations, 2024, 23, 1575-5460, 10.1007/s12346-024-00971-8
    59. Hasib Khan, Jehad Alzabut, J.F. Gómez-Aguilar, Praveen Agarwal, Piecewise mABC fractional derivative with an application, 2023, 8, 2473-6988, 24345, 10.3934/math.20231241
    60. MOHAMMED AL-REFAI, MUHAMMED I. SYAM, DUMITRU BALEANU, ANALYTICAL TREATMENTS TO SYSTEMS OF FRACTIONAL DIFFERENTIAL EQUATIONS WITH MODIFIED ATANGANA–BALEANU DERIVATIVE, 2023, 31, 0218-348X, 10.1142/S0218348X23401564
    61. Elkhateeb S. Aly, Mohammed A. Almalahi, Khaled A. Aldwoah, Kamal Shah, Criteria of existence and stability of an n-coupled system of generalized Sturm-Liouville equations with a modified ABC fractional derivative and an application to the SEIR influenza epidemic model, 2024, 9, 2473-6988, 14228, 10.3934/math.2024691
    62. Hasanen A. Hammad, Montasir Qasymeh, Mahmoud Abdel-Aty, Existence and stability results for a Langevin system with Caputo–Hadamard fractional operators, 2024, 21, 0219-8878, 10.1142/S0219887824502189
    63. M. Lavanya, B. Sundara Vadivoo, Kottakkaran Sooppy Nisar, Controllability Analysis of Neutral Stochastic Differential Equation Using ψ-Hilfer Fractional Derivative with Rosenblatt Process, 2025, 24, 1575-5460, 10.1007/s12346-024-01178-7
    64. Kirti Kaushik, Anoop Kumar, Aziz Khan, Thabet Abdeljawad, Existence theory for a fractional order system governed by the Hadamard-Caputo derivative, 2024, 1598-5865, 10.1007/s12190-024-02300-3
    65. Mohammed A. Almalahi, Khaled Aldowah, Faez Alqarni, Manel Hleili, Kamal Shah, Fathea M. O. Birkea, On modified Mittag–Leffler coupled hybrid fractional system constrained by Dhage hybrid fixed point in Banach algebra, 2024, 14, 2045-2322, 10.1038/s41598-024-81568-8
    66. Jatin Bansal, Amit Kumar, Anoop Kumar, Aziz Khan, Thabet Abdeljawad, Investigation of monkeypox disease transmission with vaccination effects using fractional order mathematical model under Atangana-Baleanu Caputo derivative, 2025, 11, 2363-6203, 10.1007/s40808-024-02202-0
    67. Madeaha Alghanmi, A Study of p-Laplacian Nonlocal Boundary Value Problem Involving Generalized Fractional Derivatives in Banach Spaces, 2025, 13, 2227-7390, 138, 10.3390/math13010138
    68. Hasib Khan, Jehad Alzabut, D. K. Almutairi, Wafa Khalaf Alqurashi, The Use of Artificial Intelligence in Data Analysis with Error Recognitions in Liver Transplantation in HIV-AIDS Patients Using Modified ABC Fractional Order Operators, 2024, 9, 2504-3110, 16, 10.3390/fractalfract9010016
    69. Gauhar Rahman, Muhammad Samraiz, Kamal Shah, Thabet Abdeljawad, Yasser Elmasry, Advancements in integral inequalities of Ostrowski type via modified Atangana-Baleanu fractional integral operator, 2025, 11, 24058440, e41525, 10.1016/j.heliyon.2024.e41525
    70. Hira Khan, Gauhar Rahman, Muhammad Samraiz, Kamal Shah, Thabet Abdeljawad, On Generalized Fractal-Fractional Derivative and Integral Operators Associated with Generalized Mittag-Leffler Function, 2025, 24058440, e42144, 10.1016/j.heliyon.2025.e42144
    71. Ishtiaq Ali, Dynamical behavior of stochastic fractional-order predator–prey system with nonlinear functional response and Allee effect, 2025, 1598-5865, 10.1007/s12190-025-02396-1
    72. Huoxia Liu, Qigui Yang, Yujun Ju, Hyers‐Ulam Stability of Pseudo Almost Periodic Solutions for Distribution‐Dependent Equations, 2025, 0170-4214, 10.1002/mma.10864
    73. Muhammad Umer, Muhammad Samraiz, Muath Awadalla, Meraa Arab, Tempered Riemann–Liouville Fractional Operators: Stability Analysis and Their Role in Kinetic Equations, 2025, 9, 2504-3110, 187, 10.3390/fractalfract9030187
  • Reader Comments
  • © 2022 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(2611) PDF downloads(108) Cited by(0)

Other Articles By Authors

/

DownLoad:  Full-Size Img  PowerPoint
Return
Return

Catalog