Processing math: 100%
Research article Special Issues

Modeling fractional-order dynamics of Syphilis via Mittag-Leffler law

  • Syphilis is one the most dangerous sexually transmitted disease which is common in the world. In this work, we formulate and analyze a mathematical model of Syphilis with an emphasis on treatment in the sense of Caputo-Fabrizio (CF) and Atangana-Baleanu (Mittag-Leffler law) derivatives. The basic reproduction number of the CF model which presents information on the spread of the disease is determined. The model's steady states were found, and the disease-free state's local and global stability are established based on the basic reproduction number. The existence and uniqueness of solutions for both Caputo-Fabrizio and Atangana-Baleanu derivative in the Caputo sense are established. Numerical simulations were carried out to support the analytical solution, which indicates that the fractional-order derivatives influence the dynamics of the spread of Syphilis in any community induced with the disease.

    Citation: E. Bonyah, C. W. Chukwu, M. L. Juga, Fatmawati. Modeling fractional-order dynamics of Syphilis via Mittag-Leffler law[J]. AIMS Mathematics, 2021, 6(8): 8367-8389. doi: 10.3934/math.2021485

    Related Papers:

    [1] Ibtisam Aldawish, Mohamed Jleli, Bessem Samet . Blow-up of solutions to fractional differential inequalities involving ψ-Caputo fractional derivatives of different orders. AIMS Mathematics, 2022, 7(5): 9189-9205. doi: 10.3934/math.2022509
    [2] Tao Yan, Ghulam Farid, Sidra Bibi, Kamsing Nonlaopon . On Caputo fractional derivative inequalities by using strongly (α,hm)-convexity. AIMS Mathematics, 2022, 7(6): 10165-10179. doi: 10.3934/math.2022565
    [3] Muhammad Tariq, Asif Ali Shaikh, Sotiris K. Ntouyas, Jessada Tariboon . Some novel refinements of Hermite-Hadamard and Pachpatte type integral inequalities involving a generalized preinvex function pertaining to Caputo-Fabrizio fractional integral operator. AIMS Mathematics, 2023, 8(11): 25572-25610. doi: 10.3934/math.20231306
    [4] Hadjer Belbali, Maamar Benbachir, Sina Etemad, Choonkil Park, Shahram Rezapour . Existence theory and generalized Mittag-Leffler stability for a nonlinear Caputo-Hadamard FIVP via the Lyapunov method. AIMS Mathematics, 2022, 7(8): 14419-14433. doi: 10.3934/math.2022794
    [5] Choukri Derbazi, Hadda Hammouche . Caputo-Hadamard fractional differential equations with nonlocal fractional integro-differential boundary conditions via topological degree theory. AIMS Mathematics, 2020, 5(3): 2694-2709. doi: 10.3934/math.2020174
    [6] Deepak B. Pachpatte . On some ψ Caputo fractional Čebyšev like inequalities for functions of two and three variables. AIMS Mathematics, 2020, 5(3): 2244-2260. doi: 10.3934/math.2020148
    [7] M. A. Zaky, M. Babatin, M. Hammad, A. Akgül, A. S. Hendy . Efficient spectral collocation method for nonlinear systems of fractional pantograph delay differential equations. AIMS Mathematics, 2024, 9(6): 15246-15262. doi: 10.3934/math.2024740
    [8] M. J. Huntul . Inverse source problems for multi-parameter space-time fractional differential equations with bi-fractional Laplacian operators. AIMS Mathematics, 2024, 9(11): 32734-32756. doi: 10.3934/math.20241566
    [9] Imran Abbas Baloch, Thabet Abdeljawad, Sidra Bibi, Aiman Mukheimer, Ghulam Farid, Absar Ul Haq . Some new Caputo fractional derivative inequalities for exponentially (θ,hm)–convex functions. AIMS Mathematics, 2022, 7(2): 3006-3026. doi: 10.3934/math.2022166
    [10] Muhammad Tariq, Hijaz Ahmad, Abdul Ghafoor Shaikh, Soubhagya Kumar Sahoo, Khaled Mohamed Khedher, Tuan Nguyen Gia . New fractional integral inequalities for preinvex functions involving Caputo-Fabrizio operator. AIMS Mathematics, 2022, 7(3): 3440-3455. doi: 10.3934/math.2022191
  • Syphilis is one the most dangerous sexually transmitted disease which is common in the world. In this work, we formulate and analyze a mathematical model of Syphilis with an emphasis on treatment in the sense of Caputo-Fabrizio (CF) and Atangana-Baleanu (Mittag-Leffler law) derivatives. The basic reproduction number of the CF model which presents information on the spread of the disease is determined. The model's steady states were found, and the disease-free state's local and global stability are established based on the basic reproduction number. The existence and uniqueness of solutions for both Caputo-Fabrizio and Atangana-Baleanu derivative in the Caputo sense are established. Numerical simulations were carried out to support the analytical solution, which indicates that the fractional-order derivatives influence the dynamics of the spread of Syphilis in any community induced with the disease.



    Time-fractional differential equations arise in the mathematical modeling of a variety of real-world phenomena in many areas of sciences and engineering, such as elasticity, heat transfer, circuits systems, continuum mechanics, fluid mechanics, wave theory, etc. For more details, we refer the reader to [4,6,7,8,14,15,17,24] and the references therein. Consequently, the study of time-fractional differential equations attracted much attention of many researchers (see e.g. [1,5,9,10,19,22,23] and the references therein).

    Multi-time differential equations arise, for example, in analyzing frequency and amplitude modulation in oscillators, see Narayan and Roychowdhury [18]. Some methods for solving Multi-time differential equations can be found in [20,21].

    The study of blowing-up solutions to time-fractional differential equations was initiated by Kirane and his collaborators, see e.g. [3,11,12,13]. In particular, Kirane et al. [11] considered the two-times fractional differential equation

    {CDα0|tu(t,s)+CDβ0|s|u|m(t,s)=|u|p(t,s),t,s>0,u(0,s)=u0(s),u(t,0)=u1(t),t,s>0, (1.1)

    where p,m>1, 0<α,β<1, CDα0|t is the Caputo fractional derivative of order α with respect to the first time-variable t, and CDβ0|s is the Caputo fractional derivative of order β with respect to the second time-variable s. Namely, the authors provided sufficient conditions for which any solution to (1.1) blows-up in a finite time. In the same reference, the authors extended their study to the case of systems.

    In this paper, we investigate the nonexistence of global solutions to two-times-fractional differential inequalities of the form

    {HCDαa|tu(t,s)+CDβa|s|u|m(t,s)(sa)γ(lnta)σ|u|p(t,s),t,s>a,u(a,s)=u0(s),u(t,a)=u1(t),t,s>a, (1.2)

    where p>1, m1, γ,σR, a>0, 0<α,β<1, HCDαa|t is the Hadamard-Caputo fractional derivative of order α with respect to the first time-variable t, and CDβa|s is the Caputo fractional derivative of order β with respect to the second time-variable s. Using the test function method (see e.g. [16]) and a judicious choice of a test function, we establish sufficient conditions ensuring the nonexistence of global solutions to (1.2). Our obtained conditions depend on the parameters α,β,p,m,γ,σ, and the initial values.

    Our motivation for considering problems of type (1.2) is to study the combination effect of the two fractional derivatives of different nature HCDαa|t and CDβa|s on the nonexistence of global solutions to (1.2). As far as we know, the study of nonexistence of global solutions for time fractional differential equations (or inequalities) involving both Hadamard-Caputo and Caputo fractional derivatives, was never considered in the literature.

    The rest of the paper is organized as follows: In Section 2, we recall some concepts from fractional calculus and provide some useful lemmas. In Section 3, we state our main results and provide some examples. Section 4 is devoted to the proofs of our main results.

    Let a,TR be such that 0<a<T. The left-sided and right-sided Riemann-Liouville fractional integrals of order θ>0 of a function ϑL1([a,T]), are defined respectively by (see [10])

    (Iθaϑ)(t)=1Γ(θ)ta(tτ)θ1ϑ(τ)dτ

    and

    (IθTϑ)(t)=1Γ(θ)Tt(τt)θ1ϑ(τ)dτ,

    for almost everywhere t[a,T], where Γ is the Gamma function.

    Notice that, if ϑC([a,T]), then Iθaϑ,IθTϑC([a,T]) with

    (Iθaϑ)(a)=(IθTϑ)(T)=0. (2.1)

    The Caputo fractional derivative of order θ(0,1) of a function ϑAC([a,)), is defined by (see [10])

    CDθaϑ(t)=(I1θaϑ)(t)=1Γ(1θ)ta(tτ)θϑ(τ)dτ,

    for almost everywhere ta.

    Lemma 2.1. [see [10]]Let κ>0, p,q1, and 1p+1q1+κ (p1, q1, in the case 1p+1q=1+κ). Let ϑLp([a,T] and wLq([a,T]). Then

    Ta(Iκaϑ)(t)w(t)dt=Taϑ(t)(IκTw)(t)dt.

    The left-sided and right-sided Hadamard fractional integrals of order θ>0 of a function ϑL1([a,T]), are defined respectively by (see [10])

    (Jθaϑ)(t)=1Γ(θ)ta(lntτ)θ1ϑ(τ)1τdτ

    and

    (JθTϑ)(t)=1Γ(θ)Tt(lnτt)θ1ϑ(τ)1τdτ,

    for almost everywhere t[a,T].

    Notice that, if ϑC([a,T]), then Jθaϑ,JθTϑC([a,T]) with

    (Jθaϑ)(a)=(JθTϑ)(T)=0. (2.2)

    The Hadamard-Caputo fractional derivative of order θ(0,1) of a function ϑAC([a,)), is defined by (see [2])

    HCDθaϑ(t)=(J1θaδϑ)(t)=1Γ(1θ)ta(lntτ)θδϑ(τ)1τdτ,

    for almost everywhere ta, where

    δϑ(t)=tϑ(t).

    We have the following integration by parts rule.

    Lemma 2.2. Let κ>0, p,q1, and 1p+1q1+κ (p1, q1, in the case 1p+1q=1+κ). If ϑexpLp([lna,lnT]) and wexpLq([lna,lnT]), then

    Ta(Jκaϑ)(t)w(t)1tdt=Taϑ(t)(JκTw)(t)1tdt.

    Proof. Using the change of variable x=lnτ, we obtain

    (Jκaϑ)(t)=1Γ(κ)ta(lntτ)κ1ϑ(τ)1τdτ=1Γ(κ)lntlna(lntx)κ1(ϑexp)(x)dx,

    that is,

    (Jκaϑ)(t)=(Iκlnaϑexp)(lnt). (2.3)

    Similarly, we have

    (JκTw)(t)=(IκlnTwexp)(lnt). (2.4)

    By (2.3), we obtain

    Ta(Jκaϑ)(t)w(t)1tdt=Ta(Iκlnaϑexp)(lnt)w(t)1tdt.

    Using the change of variable x=lnt, we get

    Ta(Jκaϑ)(t)w(t)1tdt=lnTlna(Iκlnaϑexp)(x)(wexp)(x)dx.

    Since ϑexpLp([lna,lnT]) and wexpLq([lna,lnT]), by Lemma 2.1, we deduce that

    Ta(Jκaϑ)(t)w(t)1tdt=lnTlna(ϑexp)(x)(IκlnTwexp)(x)dx.

    Using again the change of variable x=lnt, there holds

    Ta(Jκaϑ)(t)w(t)1tdt=Taϑ(t)(IκlnTwexp)(lnt)1tdt.

    Then, by (2.4), the desired result follows.

    By elementary calculations, we obtain the following properties.

    Lemma 2.3. For sufficiently large λ, let

    ϕ1(t)=(lnTa)λ(lnTt)λ,atT. (2.5)

    Let κ(0,1). Then

    (JκTϕ1)(t)=Γ(λ+1)Γ(κ+λ+1)(lnTa)λ(lnTt)κ+λ, (2.6)
    (JκTϕ1)(t)=Γ(λ+1)Γ(κ+λ)(lnTa)λ(lnTt)κ+λ11t. (2.7)

    Lemma 2.4. For sufficiently large λ, let

    ϕ2(s)=(Ta)λ(Ts)λ,asT. (2.8)

    Let κ(0,1). Then

    (IκTϕ2)(s)=Γ(λ+1)Γ(κ+λ+1)(Ta)λ(Ts)κ+λ, (2.9)
    (IκTϕ2)(s)=Γ(λ+1)Γ(κ+λ)(Ta)λ(Ts)κ+λ1. (2.10)

    First, let us define global solutions to (1.2). To do this, we need to introduce the functional space

    Xa:={uC([a,)×[a,)):u(,s)AC([a,)),|u|m(t,)AC([a,))}.

    We say that u is a global solution to (1.2), if uXa and u satisfies the fractional differential inequality

    HCDαa|tu(t,s)+CDβa|s|u|m(t,s)(sa)γ(lnta)σ|u|p(t,s)

    for almost everywhere t,sa, as well as the initial conditions

    u(a,s)=u0(s),u(t,a)=u1(t),t,s>a.

    Now, we state our main results.

    Theorem 3.1. Let u0L1([a,)), u1Lm([a,),1tdt), and u10.Let

    0<β<1m1,γ>max{m11mβ,m(σ+1)1}β. (3.1)

    If

    mmax{γ+1,σ+1}<p<1+γβ, (3.2)

    then, for all α(0,1), (1.2) admits no global solution.

    Remark 3.1. Notice that by (3.1), the set of exponents p satisfying (3.2) is nonempty.

    Theorem 3.2. Let u0L1([a,)), u1Lm([a,),1tdt), and u10. Let

    0<β<1m1,11m<α<1,σ>(m1)(1α)1mβα. (3.3)

    If

    βmax{m11mβ,m(σ+1)1}<γ<(σ+α)β1α (3.4)

    and

    p=1+γβ, (3.5)

    then (1.2) admits no global solution.

    Remark 3.2. Notice that by (3.3), the set of real numbers γ satisfying (3.4) is nonempty.

    We illustrate our obtained results by the following examples.

    Example 3.1. Consider the fractional differential inequality

    {HCDαa|tu(t,s)+CD14a|su2(t,s)(sa)(lnta)1|u|p(t,s),t,s>a,u(a,s)=(1+s2)1,u(t,a)=exp(t),t,s>a, (3.6)

    where a>0 and 0<α<1. Observe that (3.6) is a special case of (1.2) with

    β=14,m=2,σ=1,γ=1,u0(s)=(1+s2)1,u1(t)=exp(t).

    Moreover, we have

    0<β=14<12=1m<1,max{m11mβ,m(σ+1)1}β=max{2,0}4=12<γ=1,

    and u0L1([a,)), u1Lm([a,),1tdt). Hence, condition (3.1) is satisfied. Then, by Theorem 3.1, we deduce that, if

    mmax{γ+1,σ+1}<p<1+γβ,

    that is,

    4<p<5,

    then (3.6) admits no global solution.

    Example 3.2. Consider the fractional differential inequality

    {HCD34a|tu(t,s)+CD12a|s|u|(t,s)(sa)14(lnta)12|u|32(t,s),t,s>a,u(a,s)=(1+s2)1,u(t,a)=exp(t),t,s>a, (3.7)

    where a>0. Then (3.7) is a special case of (1.2) with

    α=34,β=12,m=1,σ=12,γ=14,p=32,u0(s)=(1+s2)1,u1(t)=exp(t).

    On the other hand, we have

    0<β=12<1=1m,11m=0<α=34<1,σ=12>34=(m1)(1α)1mβα,

    which shows that condition (3.3) is satisfied. Moreover, we have

    βmax{m11mβ,m(σ+1)1}=14<γ=14<12=(σ+α)β1α,p=32=1+γβ,

    which shows that conditions (3.4) and (3.5) are satisfied. Then, by Theorem 3.2, we deduce that (3.7) admits no global solution.

    In this section, C denotes a positive constant independent on T, whose value may change from line to line.

    Proof of Theorem 3.1. Suppose that uXa is a global solution to (1.2). For sufficiently large T and λ, let

    φ(t,s)=ϕ1(t)ϕ2(s),at,sT,

    where ϕ1 and ϕ2 are defined respectively by (2.5) and (2.8). Multiplying the inequality in (1.2) by 1tφ and integrating over ΩT:=(a,T)×(a,T), we obtain

    ΩT(sa)γ(lnta)σ|u|pφ(t,s)1tdtdsΩTHCDαa|tuφ(t,s)1tdtds+ΩTCDβa|s|u|mφ(t,s)1tdtds. (4.1)

    On the other hand, using Lemma 2.2, integrating by parts, using the initial conditions, and taking in consideration (2.2), we obtain

    TaHCDαa|tuφ(t,s)1tdt=Ta(J1αa|ttut)(t,s)φ(t,s)1tdt=Taut(t,s)(J1αT|tφ)(t,s)dt=[u(t,s)(J1αT|tφ)(t,s)]Tt=aTau(t,s)(J1αT|tφ)t(t,s)dt=u0(s)(J1αT|tφ)(a,s)Tau(t,s)(J1αT|tφ)t(t,s)dt.

    Integrating over (a,T), we get

    ΩTHCDαa|tuφ(t,s)1tdtds=Tau0(s)(J1αT|tφ)(a,s)dsΩTu(t,s)(J1αT|tφ)t(t,s)dtds. (4.2)

    Similarly, using Lemma 2.1, integrating by parts, using the initial conditions, and taking in consideration (2.1), we obtain

    TaCDβa|s|u|mφ(t,s)ds=Ta(I1βa|s|u|ms(t,s))φ(t,s)ds=Ta|u|ms(t,s)(I1βT|sφ)(t,s)ds=[|u|m(t,s)(I1βT|sφ)(t,s)]Ts=aTa|u|m(t,s)(I1βT|sφ)s(t,s)ds=|u1(t)|m(I1βT|sφ)(t,a)Ta|u|m(t,s)(I1βT|sφ)s(t,s)ds.

    Integrating over (a,T), there holds

    ΩTCDβa|s|u|mφ(t,s)1tdtds=Ta|u1(t)|m(I1βT|sφ)(t,a)1tdtΩT|u|m(t,s)(I1βT|sφ)s(t,s)1tdtds. (4.3)

    It follows from (4.1)–(4.3) that

    ΩT(sa)γ(lnta)σ|u|pφ(t,s)1tdtds+Tau0(s)(J1αT|tφ)(a,s)ds+Ta|u1(t)|m(I1βT|sφ)(t,a)1tdtΩT|u||(J1αT|tφ)t|dtds+ΩT|u|m|(I1βT|sφ)s|1tdtds. (4.4)

    On the other hand, by Young's inequality, we have

    ΩT|u||(J1αT|tφ)t|dtds12ΩT(sa)γ(lnta)σ|u|pφ(t,s)1tdtds+CΩTt1p1(sa)γp1(lnta)σp1φ1p1(t,s)|(J1αT|tφ)t|pp1dtds. (4.5)

    Similarly, since p>m, we have

    ΩT|u|m|(I1βT|sφ)s|1tdtds12ΩT(sa)γ(lnta)σ|u|pφ(t,s)1tdtds+CΩT1t(sa)γmpm(lnta)σmpmφmpm(t,s)|(I1βT|sφ)s|ppmdtds. (4.6)

    Hence, combining (4.4)–(4.6), we deduce that

    Tau0(s)(J1αT|tφ)(a,s)ds+Ta|u1(t)|m(I1βT|sφ)(t,a)1tdtC(K1+K2), (4.7)

    where

    K1=ΩTt1p1(sa)γp1(lnta)σp1φ1p1(t,s)|(J1αT|tφ)t|pp1dtds

    and

    K2=ΩT1t(sa)γmpm(lnta)σmpmφmpm(t,s)|(I1βT|sφ)s|ppmdtds.

    By the definition of the function φ, we have

    (J1αT|tφ)(a,s)=ϕ2(s)(J1αT|tϕ1)(a).

    Thus, using (2.6), we obtain

    (J1αT|tφ)(a,s)=Cϕ2(s)(lnTa)1α.

    Integrating over (a,T), we get

    Tau0(s)(J1αT|tφ)(a,s)ds=C(lnTa)1αTau0(s)(Ta)λ(Ts)λds. (4.8)

    Similarly, by the definition of the function φ, we have

    (I1βT|sφ)(t,a)=ϕ1(t)(I1βT|sϕ2)(a).

    Thus, using (2.9), we obtain

    (I1βT|sφ)(t,a)=Cϕ1(t)(Ta)1β.

    Integrating over (a,T), we get

    Ta|u1(t)|m(I1βT|sφ)(t,a)1tdt=C(Ta)1βTa|u1(t)|m(lnTa)λ(lnTt)λ1tdt. (4.9)

    Combining (4.8) with (4.9), there holds

    Tau0(s)(J1αT|tφ)(a,s)ds+Ta|u1(t)|m(I1βT|sφ)(t,a)1tdt=C(lnTa)1αTau0(s)(Ta)λ(Ts)λds+C(Ta)1βTa|u1(t)|m(lnTa)λ(lnTt)λ1tdt.

    Since u0L1([a,)), u1Lm([a,),1tdt), and u10, by the dominated convergence theorem, we deduce that for sufficiently large T,

    Tau0(s)(J1αT|tφ)(a,s)ds+Ta|u1(t)|m(I1βT|sφ)(t,a)1tdtC(Ta)1βa|u1(t)|m1tdt. (4.10)

    Now, we shall estimate the terms Ki, i=1,2. By the definition of the function φ, the term K1 can be written as

    K1=(Ta(sa)γp1ϕ2(s)ds)(Tat1p1(lnta)σp1ϕ1p11(t)|(J1αT|tϕ1)(t)|pp1dt). (4.11)

    Next, by (2.8), we obtain

    Ta(sa)γp1ϕ2(s)ds=(Ta)λTa(sa)γp1(Ts)λdsTa(sa)γp1ds.

    On the other hand, by (3.1) and (3.2), it is clear that γ<p1. Thus, we deduce that

    Ta(sa)γp1ϕ2(s)dsC(Ta)1γp1. (4.12)

    By (2.5) and (2.7), we have

    Tat1p1(lnta)σp1ϕ1p11(t)|(J1αT|tϕ1)(t)|pp1dt=(lnTa)λTa(lnTt)λαpp1(lnta)σp11tdt(lnTa)αpp1Ta(lnta)σp11tdt.

    Notice that by (3.1) and (3.2), we have σ<p1. Thus, we get

    Tat1p1(lnta)σp1ϕ1p11(t)|(J1αT|tϕ1)(t)|pp1dtC(lnTa)1αp+σp1. (4.13)

    Hence, it follows from (4.11)–(4.13) that

    K1C(Ta)1γp1(lnTa)1αp+σp1. (4.14)

    Similarly, we can write the term K2 as

    K2=(Ta1t(lnta)σmpmϕ1(t)dt)(Ta(sa)γmpmϕmpm2(s)|(I1βT|sϕ2)(s)|ppmds). (4.15)

    By (2.5), we have

    Ta1t(lnta)σmpmϕ1(t)dt=(lnTa)λTa(lnta)σmpm(lnTt)λ1tdtTa(lnta)σmpm1tdt.

    Notice that by (3.2), we have σm<pm. Thus, we get

    Ta1t(lnta)σmpmϕ1(t)dtC(lnTa)1σmpm. (4.16)

    On the other hand, by (2.8) and (2.10), we have

    Ta(sa)γmpmϕmpm2(s)|(I1βT|sϕ2)(s)|ppmds=(Ta)λTa(Ts)λβppm(sa)γmpmds(Ta)βppmTa(sa)γmpmds.

    Notice that by (3.2), we have p>m(γ+1). Therefore, we obtain

    Ta(sa)γmpmϕmpm2(s)|(I1βT|sϕ2)(s)|ppmdsC(Ta)1γm+βppm. (4.17)

    Combining (4.16) with (4.17), there holds

    K2C(lnTa)1σmpm(Ta)1γm+βppm. (4.18)

    Hence, it follows from (4.14) and (4.18) that

    K1+K2C[(lnTa)1αp+σp1(Ta)1γp1+(lnTa)1σmpm(Ta)1γm+βppm]. (4.19)

    Thus, by (4.7), (4.10), and (4.19), we deduce that

    a|u1(t)|m1tdtC[(lnTa)1αp+σp1(Ta)βγp1+(lnTa)1σmpm(Ta)βγm+βppm]. (4.20)

    Notice that by (3.1) and (3.2), we have

    βγp1<0,βγm+βppm<0.

    Hence, passing to the limit as T in (4.20), we obtain a contradiction with u10. Consequently, (1.2) admits no global solution. The proof is completed.

    Proof of Theorem 3.2. Suppose that uXa is a global solution to (1.2). Notice that in the proof of Theorem 3.1, to obtain (4.20), we used that

    p>m1,p>σ+1,p>m(σ+1),p>m(γ+1).

    On the other hand, by (3.3)–(3.5), it can be easily seen that the above conditions are satisfied. Thus, (4.20) holds. Hence, taking p=1+γβ in (4.20), we obtain

    a|u1(t)|m1tdtC[(lnTa)1αp+σp1+(lnTa)1σmpm(Ta)βγm+βppm]. (4.21)

    On the other hand, by (3.3)–(3.5), we have

    1αp+σp1<0,βγm+βppm<0.

    Hence, passing to the limit as T in (4.21), we obtain a contradiction with u10. This shows that (1.2) admits no global solution. The proof is completed.

    The two-times fractional differential inequality (1.2) is investigated. Namely, using the test function method and a judicious choice of a test function, sufficient conditions ensuring the nonexistence of global solutions to (1.2) are obtained. Two cases are discussed separately: 1<p<1+γβ (see Theorem 3.1) and p=1+γβ (see Theorem 3.2). In the first case, no assumption is imposed on the fractional order α(0,1) of the Hadamard-Caputo fractional derivative, while in the second case, it is supposed that α>11m. About the initial conditions, in both cases, it is assumed that u0L1([a,)), u1Lm([a,),1tdt), and u10.

    Finally, it would be interesting to extend this study to two-times fractional evolution equations. For instance, the tow-times fractional semi-linear heat equation

    {HCDαa|tu(t,s,x)+CDβa|s|u|m(t,s,x)(sa)γ(lnta)σ|u|p(t,s,x),t,s>a,xRN,u(a,s,x)=u0(s,x),u(t,a,x)=u1(t,x),t,s>a,xRN,

    deserves to be studied.

    The authors extend their appreciation to the Deanship of Scientific Research at Imam Mohammad Ibn Saud Islamic University for funding this work through Research Group no. RG-21-09-02.

    The authors declare that they have no competing interests.



    [1] Z. Q. Chen, G. C. Zhang, X. D. Gong, C. Lin, X. Gao, G. J. Liang, Syphilis in China: results of a national surveillance programme, The Lancet, 369 (2007), 132–138. doi: 10.1016/S0140-6736(07)60074-9
    [2] L. Doherty, K. A. Fenton, J. Jones, T. C. Paine, S. P. Higgins, D. Williams, et al. Syphilis: old problem, new strategy, BMJ, 325 (2002), 153–156. doi: 10.1136/bmj.325.7356.153
    [3] CDC, Sexually transmitted diseases. Centers for disease control and prevention, 20 January 2010. Available from: https://www.cdc.gov/std/syphilis/stdfact-syphilis-detailed.htm: :text=Syphilis%20is%20transmitted%20from%20person,%2C%20anal%2C%20or%20oral%20sex.
    [4] D. Aadland, D. C. Finnoff, K. X. Huang, Syphilis cycles, BE J. Economic Anal. Policy, 14 (2013), 297–348.
    [5] G. P. Garnett, S. O. Aral, D. V. Hoyle, W. Cates, R. M. Anderson, The natural history of syphilis: Implications for the transmission dynamics and control of infection, Sex. Transm. Dis., 24 (1997), 185–200. doi: 10.1097/00007435-199704000-00002
    [6] M. Myint, H. Bashiri, R. D. Harrington, C. M. Marra, Relapse of secondary syphilis after benzathine penicillin G: molecular analysis, Sex. Trans. Dis., 31 (2004), 196–199. doi: 10.1097/01.OLQ.0000114941.37942.4C
    [7] N. R. Birnbaum, R. H. Goldschmidt, W. Buffet, Resolving the common clinical dilemmas of syphilis, Am. Fam. Physician, 59 (1999), 2233.
    [8] M. L. Juga, F. Nyabadza, Modelling the Ebola virus disease dynamics in the presence of interfered interventions, Commun. Math. Biol. Neurosci., 2020 (2020), 1–30.
    [9] C. W. Chukwu, J. Mushanyu, M. L. Juga, Fatmawati, A mathematical model for co-dynamics of Listeriosis and bacterial meningitis diseases, Commun. Math. Biol. Neurosci., 2020 (2020), 1–20.
    [10] E. Bonyah, M. Juga, W. Chukwu, Fatmawati, A fractional order dengue fever model in the context of protected travellers, Available from: https://www.medrxiv.org/content/10.1101/2021.01.09.21249522v1, 2021.
    [11] C. W. Chukwu, F. Nyabadza, A mathematical model and optimal control for Listeriosis disease from ready-to-eat food products, Available from: https://www.medrxiv.org/content/10.1101/2020.10.11.20210856v1, 2020.
    [12] C. W. Chukwu, F. Nyabadza, A theoretical model of Listeriosis driven by cross contamination of ready-to-eat food products, Int. J. Math. Math. Sci., 2020, (2020).
    [13] Fatmawati, D. U. Purwati, F. Riyudha, H. Tasman, Optimal control of a discrete age-structured model for tuberculosis transmission, Heliyon, 6 (2020), e03030. doi: 10.1016/j.heliyon.2019.e03030
    [14] B. Pourbohloul, M. L. Rekart, R. C. Brunham, Impact of mass treatment on syphilis transmission: A mathematical modeling approach, J. Sex. Transm. Dis., 30 (2003), 297–305. doi: 10.1097/00007435-200304000-00005
    [15] F. Milner, R. Zhao, A new mathematical model of syphilis, J. Sex. Transm. Dis., 5 (2010), 96-–108.
    [16] E. Iboi, D. Okuonghae, Population dynamics of a mathematical model for syphilis, Appl. Math. Model., 40 (2016), 3573–3590. doi: 10.1016/j.apm.2015.09.090
    [17] M. Caputo, M. Fabrizio, A new definition of fractional derivative without singular kernel, Progr. Fract. Diff. Appl., 1 (2015), 1–13.
    [18] A. Atangana, D. Baleanu, New fractional derivatives with nonlocal and non-singular kernel: Theory and application to heat transfer model, Therm. Sci., 20 (2016).
    [19] A. Atangana, I. Koca, Chaos in a simple nonlinear system with Atangana–Baleanu derivatives with fractional order, Chaos, Solitons Fractals, 89 (2016), 447–454. doi: 10.1016/j.chaos.2016.02.012
    [20] M. A. Khan, S. Ullah, M. Farooq, A new fractional model for tuberculosis with relapse via Atangana–Baleanu derivative, Chaos, Solitons Fractals, 116 (2018), 227–238. doi: 10.1016/j.chaos.2018.09.039
    [21] E. Bonyah, Chaos in a 5-D hyperchaotic system with four wings in the light of non-local and non-singular fractional derivatives, Chaos, Solitons Fractals, 116 (2018), 316–331. doi: 10.1016/j.chaos.2018.09.034
    [22] A. Akgül, A novel method for a fractional derivative with non-local and non-singular kernel, Chaos, Solitons Fractals, 114 (2018), 478–482. doi: 10.1016/j.chaos.2018.07.032
    [23] A. Akgül, Analysis and new applications of fractal fractional differential equations with power law kernel, Discrete Continuous Dyn. Syst. Ser. S, 116 (2020). Available from: doi:10.3934/dcdss.2020423.
    [24] A. Akgül, E. K. Akgül, A novel method for solutions of fourth-order fractional boundary value problems, Fract. Fraction., 3 (2019), 1–13. doi: 10.3390/fractalfract3010001
    [25] E. K. Akgül, A. Akgül, D. Baleanu, Laplace transform method for economic models with constant proportional Caputo derivative, Fractal Fractional, 4 (2020), 1–10.
    [26] A. Akgül, D. Baleanu, Analysis and applications of the proportional Caputo derivative, Adv. Differ. Eq., 2021 (2021), 136. doi: 10.1186/s13662-021-03304-0
    [27] Fatmawati, M. A. Khan, E. Bonyah, Z. Hammouch, E. M. Shaiful, A mathematical model of tuberculosis (TB) transmission with children and adults groups: A fractional model, AIMS Mathematics, 5 (2020), 2813–2842. doi: 10.3934/math.2020181
    [28] J. Losada, J. J. Nieto, Properties of a new fractional derivative without singular kernel, Progr. Fract. Diff. Appl., 1 (2015), 87–92.
    [29] Z. M. Odibat, N. T. Shawagfeh, Generalized Taylor's formula, Appl. Math. Comput., 186 (2007), 286–293.
    [30] P. van den Driessche, J. Watmough, Reproduction numbers and sub-threshold endemic equilibria for compartmental models of disease transmission, Math. Biosci., 180 (2002), 29–48. doi: 10.1016/S0025-5564(02)00108-6
    [31] J. La Salle, S. Lefschetz, R. Alverson, Stability by Liapunov's direct method with applications, Phys. Today, 15 (1962), 59.
    [32] A. Atangana, K. M. Owolabi, New numerical approach for fractional differential equations, Math. Model. Nat. Phenom., 13 (2018), 3. doi: 10.1051/mmnp/2018010
    [33] S. Ullah, M. A. Khan, M. Farooq, Z. Hammouch, D. Baleanu, A fractional model for the dynamics of tuberculosis infection using Caputo-Fabrizio derivative, Discrete Continuous Dyn. Syst. Ser. S, 13 (2020), 975.
    [34] A. Atangana, E. Bonyah, A. Elsadany, A fractional order optimal 4D chaotic financial model with Mittag-Leffler law, Chinese J. Phys., 65 (2020), 38–53. doi: 10.1016/j.cjph.2020.02.003
    [35] M. Toufik, A. Atangana, New numerical approximation of fractional derivative with non-local and non-singular kernel: Application to chaotic models, Eur. Phys. J. Plus, 132 (2017), 444. doi: 10.1140/epjp/i2017-11717-0
  • This article has been cited by:

    1. Saeed M. Ali, Mohammed D. Kassim, Sufficient Conditions for the Non-Existence of Global Solutions to Fractional Systems with Lower-Order Hadamard-Type Fractional Derivatives, 2025, 13, 2227-7390, 1031, 10.3390/math13071031
  • Reader Comments
  • © 2021 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(3005) PDF downloads(141) Cited by(20)

Other Articles By Authors

/

DownLoad:  Full-Size Img  PowerPoint
Return
Return

Catalog