Processing math: 100%
Research article Special Issues

Fractional dynamics and computational analysis of food chain model with disease in intermediate predator

  • In this paper, a fractional food chain system consisting of a Holling type Ⅱ functional response was studied in view of a fractional derivative operator. The considered fractional derivative operator provided nonsingular as well as a nonlocal kernel which was significantly better than other derivative operators. Fractional order modeling of a model was also useful to model the behavior of real systems and in the investigation of dynamical systems. This model depicted the relationship among four types of species: prey, susceptible intermediate predators (IP), infected intermediate predators, and apex predators. One of the significant aspects of this model was the inclusion of Michaelis-Menten type or Holling type Ⅱ functional response to represent the predator-prey link. A functional response depicted the rate at which the normal predator consumed the prey. The qualitative property and assumptions of the model were discussed in detail. The present work discussed the dynamics and analytical behavior of the food chain model in the context of fractional modeling. This study also examined the existence and uniqueness related analysis of solutions to the food chain system. In addition, the Ulam-Hyers stability approach was also discussed for the model. Moreover, the present work examined the numerical approach for the solution and simulation for the model with the help of graphical presentations.

    Citation: Jagdev Singh, Behzad Ghanbari, Ved Prakash Dubey, Devendra Kumar, Kottakkaran Sooppy Nisar. Fractional dynamics and computational analysis of food chain model with disease in intermediate predator[J]. AIMS Mathematics, 2024, 9(7): 17089-17121. doi: 10.3934/math.2024830

    Related Papers:

    [1] Vikas Kumar, Nitu Kumari . Controlling chaos in three species food chain model with fear effect. AIMS Mathematics, 2020, 5(2): 828-842. doi: 10.3934/math.2020056
    [2] Murugesan Manigandan, R. Meganathan, R. Sathiya Shanthi, Mohamed Rhaima . Existence and analysis of Hilfer-Hadamard fractional differential equations in RLC circuit models. AIMS Mathematics, 2024, 9(10): 28741-28764. doi: 10.3934/math.20241394
    [3] Xiaoming Wang, Rizwan Rizwan, Jung Rey Lee, Akbar Zada, Syed Omar Shah . Existence, uniqueness and Ulam's stabilities for a class of implicit impulsive Langevin equation with Hilfer fractional derivatives. AIMS Mathematics, 2021, 6(5): 4915-4929. doi: 10.3934/math.2021288
    [4] Omar Choucha, Abdelkader Amara, Sina Etemad, Shahram Rezapour, Delfim F. M. Torres, Thongchai Botmart . On the Ulam-Hyers-Rassias stability of two structures of discrete fractional three-point boundary value problems: Existence theory. AIMS Mathematics, 2023, 8(1): 1455-1474. doi: 10.3934/math.2023073
    [5] Qun Dai, Shidong Liu . Stability of the mixed Caputo fractional integro-differential equation by means of weighted space method. AIMS Mathematics, 2022, 7(2): 2498-2511. doi: 10.3934/math.2022140
    [6] Aziz Khan, Thabet Abdeljawad, Manar A. Alqudah . Neural networking study of worms in a wireless sensor model in the sense of fractal fractional. AIMS Mathematics, 2023, 8(11): 26406-26424. doi: 10.3934/math.20231348
    [7] Choukri Derbazi, Zidane Baitiche, Mohammed S. Abdo, Thabet Abdeljawad . Qualitative analysis of fractional relaxation equation and coupled system with Ψ-Caputo fractional derivative in Banach spaces. AIMS Mathematics, 2021, 6(3): 2486-2509. doi: 10.3934/math.2021151
    [8] Murugesan Sivashankar, Sriramulu Sabarinathan, Vediyappan Govindan, Unai Fernandez-Gamiz, Samad Noeiaghdam . Stability analysis of COVID-19 outbreak using Caputo-Fabrizio fractional differential equation. AIMS Mathematics, 2023, 8(2): 2720-2735. doi: 10.3934/math.2023143
    [9] Weerawat Sudsutad, Chatthai Thaiprayoon, Sotiris K. Ntouyas . Existence and stability results for $ \psi $-Hilfer fractional integro-differential equation with mixed nonlocal boundary conditions. AIMS Mathematics, 2021, 6(4): 4119-4141. doi: 10.3934/math.2021244
    [10] Shabir Ahmad, Aman Ullah, Ali Akgül, Manuel De la Sen . A study of fractional order Ambartsumian equation involving exponential decay kernel. AIMS Mathematics, 2021, 6(9): 9981-9997. doi: 10.3934/math.2021580
  • In this paper, a fractional food chain system consisting of a Holling type Ⅱ functional response was studied in view of a fractional derivative operator. The considered fractional derivative operator provided nonsingular as well as a nonlocal kernel which was significantly better than other derivative operators. Fractional order modeling of a model was also useful to model the behavior of real systems and in the investigation of dynamical systems. This model depicted the relationship among four types of species: prey, susceptible intermediate predators (IP), infected intermediate predators, and apex predators. One of the significant aspects of this model was the inclusion of Michaelis-Menten type or Holling type Ⅱ functional response to represent the predator-prey link. A functional response depicted the rate at which the normal predator consumed the prey. The qualitative property and assumptions of the model were discussed in detail. The present work discussed the dynamics and analytical behavior of the food chain model in the context of fractional modeling. This study also examined the existence and uniqueness related analysis of solutions to the food chain system. In addition, the Ulam-Hyers stability approach was also discussed for the model. Moreover, the present work examined the numerical approach for the solution and simulation for the model with the help of graphical presentations.



    The linkage dynamics between predator and prey explore significant aspects in the field of ecology due to its several applications. Lotka-Volterra model [1,2] is the first mathematical framework describing the prey-predator interplay in mathematical ecology. Recently, it has been detected that stage structure models of the population present the interaction dynamics more accurately than other existing models. The recent literature regarding the development of structured models can be seen in [3,4,5,6,7]. In the past decade, some models discussed the impact of infectious disease on environmental ecology. These models actually show the spread of disease in populations and their transmission from susceptible to infected species. Kermack and McKendric [8] contributed toward the mathematical theory of epidemics through their model. Several researchers investigated mathematical predator-prey models with disease [9,10,11]. Freedman and Waltman [12] investigated three interacting predator-prey populations. Chattopadhyay et al. [13] suggested a predator-prey model. Kar et al. [14] modeled a harvested prey-predator system in 2006. In 2007, Dubey [15] studied the prey-predator model with a reserved area. In addition, the persistence and extinction of one prey and a two predator system were explored in [16].

    In the past decade, several mathematical models prepared on the basis of the Beddington-DeAngelis functional response have been derived in [17,18,19,20,21]. Dubey et al. [22] provided the numerical treatment of the fractional food chain problem. In addition, Abdo et al. [23] investigated the three-species prey-predator (PP) model pertaining to the Mittag-Leffler kernel. Moreover, Ghanbari et al. [24] presented the numerical results of the PP system having a functional response of the Beddington-DeAngelis type. More recently, Liu et al. [25] investigated the Turing patterns of the Leslie-Gower Holling type Ⅲ predator-prey model on several different networks with the help of linear stability analysis. Song et al. [26] proposed a PP model organized in multiplex networks to investigate the effect of multiplex structure on the diffusion of predator and prey, and furthermore, the influences on the formation of Turing patterns. Alsakaji et al. [27] investigated a delay differential model of one-predator two-prey system with Monod-Haldane and Holling type Ⅱ functional responses. Rihan et al. [28] studied the dynamics of a fractional-order delayed model of COVID-19 with vaccination efficacy. More recently, Arif et al. [29] propounded and discussed a mathematical food chain model (FCM) involving disease in an intermediate predator. This FCM consists of four ordinary differential equations (ODEs) relating four types of species: prey, the intermediate predator (IP), susceptible infected intermediate predator (SIIP), and the apex predator. One of the significant aspects of this model is the inclusion of the Michaelis-Menten type or Holling type Ⅱ functional response [30,31] to represent the PP link. A functional response depicts the rate at which the normal predator consumes the prey.

    In this work, a fractional order mathematical FCM proposed by Arif et al. [29] is investigated and analyzed in view of the Atangana-Baleanu Caputo (ABC) fractional derivative operator (FDO) for the first time. This derivative operator was given by Atangana and Baleanu [32] to study the heat transfer model. This derivative operator provides a nonsingular as well as nonlocal kernel carrying the Mittag-Leffler function (MLF) [33], which is significantly better than previously established derivative operators. Atangana and Baleanu [32] have proposed two versions, the Atangana-Baleanu FDO (ABFDO) in Caputo sense (i.e., ABC derivative), which is a convolution of a local derivative of a given function with the ML function, and the ABFDO in Riemann-Liouville (RL) sense (i.e., Atangana-Baleanu Riemann (ABR) derivative), which is the derivative of a convolution of a given function that is not differentiable with the ML function. The use of a ML kernel in ABFDO is due to its natural appearance in various physical models because the MLF is a joint venture of power-law and exponential-law which induces completely the effect of memory [34]. The inspiration behind the selection of ABFDO is the nonlocal characteristic of the kernel which generates the scope of global analysis in those areas where the trends do not follow the power-law. Recently, a number of models were investigated with ABFDO which can be seen in [35,36,37,38,39,40]. This study also examines the existence and uniqueness related analysis of the solution of the model. In addition, the stability analysis for the food chain problem is also presented utilizing the Ulam-Hyers approach. In the later part of this work, the numerical solution of the model is explored along with simulations.

    The rest part of the paper is subdivided as follows: Section 2 provides fundamental definitions and formulae regarding fractional integral and derivative operators. Section 3 gives a basic description of the food chain model. Section 4 discusses the qualitative property of the model. Sections 5 and 6, respectively, present the existence and uniqueness of the obtained solution. In Section 7, Ulam-Hyers stability approach is applied for FCM. In Sections 8 and 9, the numerical solution and simulation are discussed, respectively. Finally, Section 10 concludes the whole work.

    This section presents a quick review of fractional integral and derivative operators.

    Definition 2.1. Let 0θθ0<. Then, Banach space Ω=E×E×E×E, where E=C[0,θ0], with the norm

    ρ=(M,N,N1,Θ)=maxθ[0,θ0]{|M|+|N|+|N1|+|Θ|},M,N,N1,ΘC[0,θ0]. (2.1)

    Definition 2.2. [41] Let Ω be a Banach space. The operator :ΩΩ is Lipschitzian if a constant m>0 such that

    ψ1ψ2mψ1ψ2, ψ1,ψ2Ω, (2.2)

    where m is the Lipschitz constant for . If m<1, is a contraction.

    Definition 2.3. [32] The Caputo type fractional integral & derivative of a function M(θ) of order ω, respectively, are expressed as

    C0IωθM(θ)=1Γ(ω)θ0(θτ)ω1M(τ)dτ, 0ω<1, (2.3)
    C0DωθM(θ)=1Γ(kω)θ0(θτ)kω1M(k)(τ)dτ,θ>0,k1ω<k, (2.4)

    where kZ+ and Γ is a gamma function.

    Definition 2.4. [32] The AB fractional integral & derivative of N(θ) of order ω are stated as

    AB0IωθN(θ)=1ωB(ω)N(θ)+ωB(ω)1Γ(ω)θ0(θτ)ω1N(τ)dτ, 0<ω1. (2.5)
    ABC0DωθN(θ)=B(ω)1ωθ0Eω[ω1ω(θτ)ω]N(τ)dτ, 0<ω1. (2.6)

    Here, Eω(θ) signifies the MLF formulated as [33]:

    Eω(θ)=m=0θmΓ(ωm+1), ω>0, (2.7)

    and B(ω)=1ω+ωΓ(ω) denotes normalized function with B(1)=B(0)=1.

    Definition 2.5. [32] The fractional order ABC derivative fulfills the Lipschitz criterion for two functions M(θ) and N(θ), and the inequality holds as follows:

    ABC0Dωθ(M(θ))ABC0Dωθ(N(θ))HM(θ)N(θ). (2.8)

    Proposition 2.6. [42] The solution of

    ABC0DωθU(θ)=V(θ),U(0)=U0,ω(0,1] (2.9)

    is suggested by

    U(θ)=U(0)+1ωB(ω)V(θ)+ωB(ω)1Γ(ω)θ0(θτ)ω1V(τ)dτ. (2.10)

    In this segment, we provide the basic information about the equations and parameters of the FCM.

    The mathematical structure of the FCM with three species suggested by Arif et al. [29] is represented by means of four nonlinear ODEs in this way:

    M(θ)=rM(θ)(1M)α0M(θ)N(θ)1+μM(θ)α4M(θ)N1(θ)1+μM(θ),
    N(θ)=α1M(θ)N(θ)1+μX(θ)α2N(θ)Θ(θ)1+μN(θ)cN(θ)N1(θ)N(θ)+N1(θ)+kN1(θ)d1N(θ),
    N1(θ)=cN(θ)N1(θ)N(θ)+N1(θ)+α5M(θ)N1(θ)1+μM(θ)kN1(θ)qN1,
    Θ(θ)=α3N(θ)Θ(θ)1+μN(θ)d2Θ(θ), (3.1)

    where M(θ)>0, N(θ)>0, N1(θ)>0, Θ(θ)>0. Here, M(θ), N(θ), N1(θ) and Θ(θ), respectively, denote functions of time representing population densities of susceptible prey (SP), susceptible IP (SIP), infected IP (IIP), and the top predator (TP), and all parameters are positive constants.

    The food chain model given above describes the relation between SP, SIP, IIP, and the TP. α0M(θ)N(θ)1+μM(θ) is the Michaelis-Menten type (or Holling type Ⅱ) functional response and IP becomes infected with relative function cN(θ)N1(θ)N(θ)+N1(θ). Parameters are denoted as follows: μ indicates half saturation constant, rate α0 is the per capita rate of predation of the IP, rate α1 measures the efficiency of biomass conversion from prey to IP, rate α2 is the per capita rate of predation of the TP, rate α3 measures the efficiency of biomass conversion from IP to TP, rate α4 is the per capita rate of predation of the prey, and rate α5 measures the efficiency of biomass conversion from infected IP to TP. Furthermore, r is the intrinsic rate of growth of SP. Moreover, c measures the rate of contact between SIP and IIP while rate k represents the transformation from IIP to SIP, as this model is known as the SIS model. In this model, d1 and d2, respectively, stand for natural deaths of intermediate & TPs. Finally, q denotes harvesting of an IIP.

    We present a brief presentation of the model which may indicate the biological relevance of it. Behavior of the entire biological community is assumed to arise from the coupling of the interacting species M, N, N1, and Θ, where the top predator Θ prey on intermediate predators N and N1, and intermediate predators prey on M. This is the practical assumption from both mathematical and biological points of view. A specific feature of these food chain systems is that if one species dies out, all the species at higher trophic levels die out as well. It is also assumed that in the absence of the predators the prey population density grows according to a logistic curve with carrying capacity and with an intrinsic growth rate constant r(r>0). The consideration of functional response provides motivation to study a food chain model under the framework of nonlinear ODEs.

    Now, we replace the classical derivatives in the model (3.1) with ABC fractional derivatives ABC0Dωθ of order ω to capture memory effect in the model in this way:

    ABC0DωθM(θ)=rM(θ)(1M(θ))α0M(θ)N(θ)1+μM(θ)α4M(θ)N1(θ)1+μM(θ),
    ABC0DωθN(θ)=α1M(θ)N(θ)1+μM(θ)α2Θ(θ)N(θ)1+μN(θ)cN(θ)N1(θ)N(θ)+N1(θ)+kN1(θ)d1N(θ),
    ABC0DωθN1(θ)=cN(θ)N1(θ)N(θ)+N1(θ)+α5M(θ)N1(θ)1+μM(θ)kN1(θ)qN1(θ),
    ABC0DωθΘ(θ)=α3N(θ)Θ(θ)1+μN(θ)d2Θ(θ), (3.2)

    along with following conditions:

    M0(θ)=M(0),N0(θ)=N(0),N1,0(θ)=N1(0),Θ0(θ)=Θ(0). (3.3)

    In this segment, we discuss qualitative properties of the nonnegative solutions of the fractional FCM (3.2).

    For biological reasons, each variable in model (3.2) must be a nonnegative real-valued function. In other words, (M,N,N1,Θ)R4+, where R4+={u=(u1,u2,u3,u4):ui0,i=1,2,3,4}. Now, we demonstrate that all the solutions of the model (3.2) with (3.3) are absolutely nonnegative.

    Lemma 4.1. All solutions of the model (3.2) lie in R4+.

    Proof. We define

    φ(l)={l(θ)=0,l{M,N,N1,Θ}&(M,N,N1,Θ)R4+}. (4.1)

    Then from the FCM (3.2), we attain

    ABC0DωθM(θ)|φ(M))=0,

    ABC0DωθN(θ)|φ(N))=kN10, since 0<k1 and N10,

    ABC0DωθN1(θ)|φ(N1))=0,
    ABC0DωθΘ(θ)|φ(Θ))=0. (4.2)

    Thus, (M(θ),N(θ),N1(θ),Θ(θ))R4+. Hence, the lemma is proved.

    Theorem 4.2. Consider the subsequent initial value problem (IVP)

    ABC0DωθU(θ)=V(θ,U(θ)),U(θ0)=U0,0<ω1, (4.3)

    where ABC0Dωθ signifies the ABC fractional derivative operator and V(θ,U(θ)):+×mm denotes a vector field. This system (4.3) definitely has a unique solution on [0,) if

    (a) V(θ,U(θ)) and all of its partial derivatives are continuous Um.

    (b) V(θ,U(θ))a1+a2U(θ) for each URm for a1,a2>0.

    Now, it is easy to establish that the above-mentioned criteria are fulfilled by the set of equations of the model (3.2) with (3.3), and, thus, it confirms the existence of unique nonnegative solutions for the model (3.2) with (3.3).

    Here, we investigate the existence of a solution of arbitrary order FCM with disease in the intermediate predator. Now exerting AB integral operator of fractional order in the system of Eq (3.2) in the following way:

    M(θ)M(0)=AB0Iωθ[r(1M)Mα0NM1+Mμα4MN11+Mμ],
    N(θ)N(0)=AB0Iωθ[α1MN1+μMα2NΘ1+μNcNN1N+N1+kN1d1N],
    N1(θ)N1(0)=AB0Iωθ[cN1NN1+N+α5N1M1+MμkN1qN1],
    Θ(θ)Θ(0)=AB0Iωθ[α3NΘ1+μNd2Θ]. (5.1)

    Making use of the definition of AB fractional integral operator in the system of Eq (5.1), we acquire

    M(θ)M(0)=1ωB(ω)[rM(θ)(1M(θ))α0N(θ)M(θ)1+μM(θ)α4M(θ)N1(θ)1+μM(θ)]+ωB(ω)1Γ(ω)θ0(θτ)ω1[rM(τ)(1M(τ))α0M(τ)N(τ)1+μM(τ)α4M(τ)N1(τ)1+μM(τ)]dτ,
    N(θ)N(0)=1ωB(ω)[α1M(θ)N(θ)1+μM(θ)α2N(θ)Θ(θ)1+μN(θ)cN(θ)N1(θ)N(θ)+N1(θ)+kN1(θ)d1N(θ)]+ωB(ω)1Γ(ω)θ0(θτ)ω1[α1M(τ)N(τ)1+μM(τ)α2N(τ)Θ(τ)1+μN(τ)cN(τ)N1(τ)N(τ)+N1(τ)+kN1(τ)d1N(τ)]dτ,
    N1(θ)N1(0)=1ωB(ω)[cN(θ)N1(θ)N(θ)+N1(θ)+α5M(θ)N1(θ)1+μX(θ)kN1(θ)qN1(θ)]+ωB(ω)1Γ(ω)θ0(θτ)ω1[cN1(τ)N(τ)N1(τ)+N(τ)+α5N1(τ)M(τ)1+μM(τ)kN1(τ)qN1(τ)]dτ,
    Θ(θ)Θ(0)=1ωB(ω)[α3N(θ)Θ(θ)1+μN(θ)d2Θ(θ)]+ωB(ω)1Γ(ω)θ0(θτ)ω1[α3N(τ)Θ(τ)1+μN(τ)d2Θ(τ)]dτ. (5.2)

    For simplified presentation of the above system of Eq (5.2), we express

    ρ1(θ,M(θ))=rM(θ)(1M(θ))α0N(θ)M(θ)1+M(θ)μα4M(θ)N1(θ)1+μM(θ),
    ρ2(θ,N(θ))=α1M(θ)N(θ)1+μM(θ)α2N(θ)Θ(θ)1+μN(θ)cN(θ)N1(θ)N(θ)+N1(θ)+kN1(θ)d1N(θ),
    ρ3(θ,N1(θ))=cN(θ)N1(θ)N(θ)+N1(θ)+α5M(θ)N1(θ)1+μM(θ)kN1(θ)qN1,
    ρ4(θ,Θ(θ))=α3N(θ)Θ(θ)1+μN(θ)d2Θ(θ). (5.3)

    Theorem 5.1. The kernels ρ1, ρ2, ρ3, and ρ4 fulfill the Lipschitz criterion, and contraction of the conditions 0λ1<1, 0λ2<1, 0λ3<1, and 0λ4<1 are satisfied.

    Proof. First, we initiate with the kernel ρ1. Suppose M(θ) and M(θ) are two functions for the kernel ρ1 fulfilling the conditions Ml1 and Ml1. Similarly, N(θ) and N(θ) are assumed to be the functions for the kernel ρ2 satisfying the criteria Nl2 and Nl2, N1(θ) and N1(θ) are the two functions for the kernel ρ3 satisfying the conditions N1l3 and N1l3, Θ(θ) and Θ(θ) are the two functions for the kernel ρ4 satisfying the conditions Θl4 and Θl4.

    ρ1(θ,M)ρ1(θ,M)=r(MM)r(MM)(M+M)α0(MM)(1+μM)(1+μM)Nα4N1(MM)(1+μM)(1+μM)rMM+rM+MMM+α0MM(1+μl1)(1+μl1)N+α4MM(1+μl1)(1+μl1)N1[r+r(l1+l1)+α0l2(1+μl1)(1+μl1)+α4l3(1+μl1)(1+μl1)]MM. (5.4)

    Let

    λ1=r+r(l1+l1)+α0l2(1+μl1)(1+μl1)+α4l3(1+μl1)(1+μl1). (5.5)

    Here, M(θ) signifies the bounded function, then

    ρ1(θ,M)ρ1(θ,M)λ1MM. (5.6)

    Thus, the kernel ρ1 satisfies the Lipschitz criterion. In addition, if λ1[0,1), then it will also be a contraction for ρ1. Similarly,

    ρ2(θ,N)ρ2(θ,N)={α1MN1+μMα2NΘ1+μNcNN1N+N1+kN1d1N}  {α1MN1+μMα2NΘ1+μNcNN1N+N1+kN1d1N}=α1M1+μM(NN)α2(N1+μNN1+μN)Θc(NN+N1NN+N1)N1d1(NN)=α1M1+μM(NN)α2(NN)Θ(1+μN)(1+μN)c(NN)(N+N1)(N+N1)N21d1(NN)[α1l11+μl1+α2l4(μl2+1)(1+μl2)+cl23(l2+l3)(l2+l3)+d1]NN. (5.7)

    Let

    λ2=α1l11+μl1+α2l4(1+μl2)(1+μl2)+cl23(l2+l3)(l2+l3)+d1. (5.8)

    Here, N(t) signifies the bounded function, then

    ρ2(θ,N)ρ2(θ,N)λ2NN. (5.9)

    Therefore, the Lipschitz criterion is fulfilled for the kernel ρ2. Further, if 0λ2<1, then it is also a contraction for ρ2.

    Similarly, the Lipschitz criterion is satisfied for the kernels ρ3 and ρ4 as follows:

    ρ3(θ,N1)ρ3(θ,N1)λ3N1N1, (5.10)
    ρ4(θ,Θ)ρ4(θ,Θ)λ4ΘΘ, (5.11)

    where

    λ3=cl2(l2+l3)(l2+l3)+α5l11+μl1(k+q), (5.12)
    λ4=α3l21+μl2d2. (5.13)

    Moreover, if 0λ3<1 and 0λ4<1, it is also a contraction for ρ3 and ρ4.

    In view of the system of Eq (5.3), the system of Eq (5.2) takes the following form:

    M(θ)=M0+1ωB(ω)ρ1(θ,M)+ωB(ω)1Γ(ω)θ0(θτ)ω1ρ1(τ,M)dτ,
    N(θ)=N0+1ωB(ω)ρ2(θ,N)+ωB(ω)1Γ(ω)θ0(θτ)ω1ρ2(τ,N)dτ,
    N1(θ)=N1,0+1ωB(ω)ρ3(θ,N1)+ωB(ω)1Γ(ω)θ0(θτ)ω1ρ3(τ,N1)dτ,
    Θ(θ)=Θ0+1ωB(ω)ρ4(θ,Θ)+ωB(ω)1Γ(ω)θ0(θτ)ω1ρ4(τ,Θ)dτ. (5.14)

    Now, the subsequent recursive formulae are constructed in this way:

    Mn(θ)=M0+1ωB(ω)ρ1(θ,Mn1)+ωB(ω)1Γ(ω)θ0(θτ)ω1ρ1(τ,Mn1)dτ,
    Nn(θ)=N0+1ωB(ω)ρ2(θ,Nn1)+ωB(ω)1Γ(ω)θ0(θτ)ω1ρ2(τ,Nn1)dτ,
    N1,n(θ)=N1,0+1ωB(ω)ρ3(θ,N1,n1)+ωB(ω)1Γ(ω)θ0(θτ)ω1ρ3(τ,N1,n1)dτ,
    Θn(θ)=Θ0+1ωB(ω)ρ4(θ,Θn1)+ωB(ω)1Γ(ω)θ0(θτ)ω1ρ4(τ,Θn1)dτ, (5.15)

    with the following conditions:

    M0(θ)=M(0),N0(θ)=N(0),N1,0(θ)=N1(0),Θ0(θ)=Θ(0). (5.16)

    Next, we consider difference of the successive terms as

    1n=MnMn1=1ωB(ω)(ρ1(θ,Mn1)ρ1(θ,Mn2))+ωB(ω)1Γ(ω)θ0(θτ)ω1(ρ1(τ,Mn1)ρ1(τ,Mn2))dτ,
    2n=NnNn1=1ωB(ω)(ρ2(θ,Nn1)ρ2(θ,Nn2))+ωB(ω)1Γ(ω)θ0(θτ)ω1(ρ2(τ,Nn1)ρ2(τ,Nn2))dτ,
    3n=N1,nN1,n1=1ωB(ω)(ρ3(θ,N1,n1)ρ3(θ,N1,n2))+ωB(ω)1Γ(ω)θ0(θτ)ω1(ρ3(τ,N1,n1)ρ3(τ,N1,n2))dτ,
    4n=ΘnΘn1=1ωB(ω)(ρ4(θ,Θn1)ρ4(θ,Θn2))+ωB(ω)1Γ(ω)θ0(θτ)ω1(ρ4(τ,Θn1)ρ4(τ,Θn2))dτ. (5.17)

    It is worth noting that

    Mn(θ)=nj=01j(θ),Nn(θ)=nj=02j(θ),N1,n(θ)=nj=03j(θ),Θn(θ)=nj=04j(θ). (5.18)

    Now, utilizing the set of Eq (5.17) along with the triangular inequality, we attain

    1n(θ)=MnMn11ωB(ω)ρ1(θ,Mn1)ρ1(θ,Mn2)+ωB(ω)1Γ(ω)θ0(θτ)ω1ρ1(τ,Mn1)ρ1(τ,Mn2)dτ,
    2n(θ)=NnNn11ωB(ω)ρ2(θ,Nn1)ρ2(θ,Nn2)+ωB(ω)1Γ(ω)θ0(θτ)ω1ρ2(τ,Nn1)ρ2(τ,Nn2)dτ,
    3n(θ)=N1,n(θ)N1,n1(θ)1ωB(ω)ρ3(θ,N1,n1)ρ3(θ,N1,n2)+ωB(ω)1Γ(ω)θ0(θτ)ω1ρ3(τ,N1,n1)ρ3(τ,N1,n2)dτ,
    4n(θ)=Θn(θ)Θ1,n1(θ)1ωB(ω)ρ4(θ,Θn1)ρ4(θ,Θn2)+ωB(ω)1Γ(ω)θ0(θτ)ω1ρ4(τ,Θn1)ρ4(τ,Θn2)dτ. (5.19)

    It is already proved that the kernels ρ1, ρ2, ρ3, and ρ4 satisfy the Lipschitz condition, so the set of Eq (5.19) reduces to

    1n(θ)1ωB(ω)λ1Mn1Mn2+ωB(ω)1Γ(ω)θ0(θτ)ω1Mn1Mn2λ1dτ. (5.20)

    Consequently, we attain the following result:

    1n(θ)1ωB(ω)λ11(n1)(θ)+ωB(ω)1Γ(ω)θ0(θτ)ω1λ11(n1)(τ)dτ. (5.21)

    Applying the same procedure, we attain other results as follows:

    2n(θ)1ωB(ω)λ22(n1)(θ)+ωB(ω)1Γ(ω)θ0(θτ)ω1λ22(n1)(τ)dτ,
    3n(θ)1ωB(ω)λ33(n1)(θ)+ωB(ω)1Γ(ω)θ0(θτ)ω1λ33(n1)(τ)dτ,
    4n(θ)1ωB(ω)λ44(n1)(θ)+ωB(ω)1Γ(ω)θ0(θτ)ω1λ44(n1)(τ)dτ. (5.22)

    Taking Eqs (5.21) and (5.22) into account, we acquire the existence of the solution of the considered model. This establishes the theorem.

    Theorem 5.2. The fractional FCM involving Holling type Ⅱ functional response expressed by the system of Eq (3.2) possesses a solution if θ0 in this way:

    (1ω)B(ω)λi+θω0B(ω)Γ(ω)λi<1,i=1,2,3,4. (5.23)

    Proof. It is assumed that M(θ), N(θ), N1(θ), and Θ(θ) are functions of bounded nature. Now, using Eqs (5.21) and (5.22) along with the recursive algorithm, we get

    1n(θ)M(0)[λ1(1ω)B(ω)+λ1θω0B(ω)Γ(ω)]n,
    2n(θ)N(0)[λ2(1ω)B(ω)+λ2θω0B(ω)Γ(ω)]n,
    3n(θ)N1(0)[λ3(1ω)B(ω)+λ3θω0B(ω)Γ(ω)]n,
    4n(θ)Θ(0)[λ4(1ω)B(ω)+λ4θω0B(ω)Γ(ω)]n. (5.24)

    Evidently, Eq (5.18) assures about the existence and smoothness of the functions. Thus, the solution of system (3.2) exists as well as is continuous. Furthermore, to examine that the system (5.14) is a solution of the FCM model (3.2), it is presumed that

    M(θ)=M(0)+Mn(θ)F1n(θ),
    N(θ)=N(0)+Nn(θ)F2n(θ),
    N1(θ)=N1(0)+N1,n(θ)F3n(θ),
    Θ(θ)=Θ(0)+Θn(θ)F4n(θ). (5.25)

    Thus, we find

    F1n(θ)=1ωB(ω)(ρ1(θ,M)ρ1(θ,Mn1))+ωB(ω)1Γ(ω)θ0(θτ)ω1(ρ1(τ,M)ρ1(τ,Mn1))dτ,
    F2n(θ)=1ωB(ω)(ρ2(θ,N)ρ2(θ,Nn1))+ωB(ω)1Γ(ω)θ0(θτ)ω1(ρ2(τ,N)ρ2(τ,Nn1))dτ,
    F3n(θ)=1ωB(ω)(ρ3(θ,N1)ρ3(θ,N1,n1))+ωB(ω)1Γ(ω)θ0(θτ)ω1(ρ3(τ,N1)ρ3(τ,N1,n1))dτ,
    F4n(θ)=1ωB(ω)(ρ4(θ,Θ)ρ4(θ,Θn1))+ωB(ω)1Γ(ω)θ0(θτ)ω1(ρ4(τ,Θ)ρ4(τ,Θn1))dτ. (5.26)

    Now, we have

    F1n(θ)1ωB(ω)ρ1(θ,M)ρ1(θ,Mn1)+ωB(ω)1Γ(ω)θ0(θτ)ω1ρ1(τ,M)ρ1(τ,Mn1)dτ
    λ11ωB(ω)MMn1+λ1ωB(ω)1Γ(ω)MMn1θω. (5.27)

    Making the process recursively, we achieve

    F1n(θ)a1((1ω)B(ω)+θωB(ω)Γ(ω))n+1λ1n+1. (5.28)

    For θ=θ0, we obtain

    F1n(θ)((1ω)B(ω)+θω0B(ω)Γ(ω))n+1λ1n+1a1. (5.29)

    Applying the similar methodology, we further get

    F2n(θ)((1ω)B(ω)+θω0B(ω)Γ(ω))n+1λ2n+1a2,
    F3n(θ)((1ω)B(ω)+θω0B(ω)Γ(ω))n+1λ3n+1a3,
    F4n(θ)((1ω)B(ω)+θω0B(ω)Γ(ω))n+1λ4n+1a4. (5.30)

    Now, employing the limit on inequality (5.29) as n, we find F1n(θ)0. Implementing the same procedure, we have Fin(θ)0, i=2,3,4, and this establishes the theorem.

    Here, we show the uniqueness of the solution of the fractional food chain model (3.2). We assume that M(θ), N(θ), N1(θ), and Θ(θ) is another set of solutions for the ABC fractional order model (3.2), then

    MM=(ρ1(θ,M)ρ1(θ,M))1ωB(ω)+1Γ(ω)ωB(ω)θ0(θτ)ω1(ρ1(τ,M)ρ1(τ,M))dτ,
    NN=(ρ2(θ,N)ρ2(θ,N))1ωB(ω)+ωB(ω)1Γ(ω)θ0(θτ)ω1(ρ2(τ,N)ρ2(τ,N))dτ,
    N1N1=(ρ3(θ,N1)ρ3(θ,N1))1ωB(ω)+ωB(ω)1Γ(ω)θ0(θτ)ω1(ρ3(τ,N1)ρ3(τ,N1))dτ,
    ΘΘ=(ρ4(θ,Θ)ρ4(θ,Θ))1ωB(ω)+ωB(ω)1Γ(ω)θ0(θτ)ω1(ρ4(τ,Θ)ρ4(τ,Θ))dτ. (6.1)

    Taking the norm of equations of system (6.1) provides

    MMρ1(θ,M)ρ1(θ,M)1ωB(ω)+ωB(ω)1Γ(ω)θ0(θτ)ω1ρ1(τ,M)ρ1(τ,M)dτ,
    NNρ2(θ,N)ρ2(θ,N)1ωB(ω)+ωB(ω)1Γ(ω)θ0(θτ)ω1ρ2(τ,N)ρ2(τ,N)dτ,
    N1N1ρ3(θ,N1)ρ3(θ,N1)1ωB(ω)+ωB(ω)1Γ(ω)θ0(θτ)ω1ρ3(τ,N1)ρ3(τ,N1)dτ,
    ΘΘρ4(θ,Θ)ρ4(θ,Θ)1ωB(ω)+ωB(ω)1Γ(ω)θ0(θτ)ω1ρ4(τ,Θ)ρ4(τ,Θ)dτ. (6.2)

    Now, employing the results presented in (5.6) and (5.9)–(5.11) in the set of inequalities (6.2), we have

    MM1ωB(ω)λ1M(θ)M(θ)+ωB(ω)1Γ(ω)θ0(θτ)ω1λ1M(τ)M(τ)dτ,
    NN1ωB(ω)λ2N(θ)N(θ)+ωB(ω)1Γ(ω)θ0(θτ)ω1λ2N(τ)N(τ)dτ,
    N1N11ωB(ω)λ3N1(θ)N1(θ)+ωB(ω)1Γ(ω)θ0(θτ)ω1λ3N1(τ)N1(τ)dτ,
    ΘΘ1ωB(ω)λ4Θ(θ)Θ(θ)+ωB(ω)1Γ(ω)θ0(θτ)ω1λ4Θ(τ)Θ(τ)dτ. (6.3)

    After simplification, we achieve

    MM1ωB(ω)λ1MM+θωB(ω)1Γ(ω)λ1MM,
    NN1ωB(ω)λ2NN+θωB(ω)1Γ(ω)λ2NN,
    N1N11ωB(ω)λ3N1N1+θωB(ω)1Γ(ω)λ3N1N1,
    ΘΘ1ωB(ω)λ4ΘΘ+θωB(ω)1Γ(ω)λ4ΘΘ, (6.4)

    which produces

    M(θ)M(θ)(11ωB(ω)λ1θωB(ω)1Γ(ω)λ1)0,
    N(θ)N(θ)(11ωB(ω)λ2θωB(ω)1Γ(ω)λ2)0,
    N1(θ)N1(θ)(11ωB(ω)λ3θωB(ω)1Γ(ω)λ3)0,
    Θ(θ)Θ(θ)(11ωB(ω)λ4θωB(ω)1Γ(ω)λ4)0. (6.5)

    Theorem 6.1. The fractional food chain model (3.2) will possess the unique solution if

    (1λi1ωB(ω)θωB(ω)1Γ(ω)λi)>0,i=1,2,3,4. (6.6)

    Proof. If the conditions presented in (6.6) hold, then the set of inequalities (6.5) provides

    M(θ)M(θ)(11ωB(ω)λ1θωB(ω)1Γ(ω)λ1)0,
    N(θ)N(θ)(11ωB(ω)λ2θωB(ω)1Γ(ω)λ2)0,
    N1(θ)N1(θ)(11ωB(ω)λ3θωB(ω)1Γ(ω)λ3)0,
    Θ(θ)Θ(θ)(11ωB(ω)λ4θωB(ω)1Γ(ω)λ4)0. (6.7)

    In view of properties of norm, the set of conditions (6.7) implies that

    MM=0,NN=0,N1N1=0,ΘΘ=0. (6.8)

    Thus,

    M=M,N=N,N1=N1,Θ=Θ. (6.9)

    Therefore, the food chain model (3.2) has a unique solution. Hence, the theorem proved.

    The Ulam-Hyers stability approach [43,44] has been used for problems with fractional derivatives [45,46,47,48]. Now, we apply this approach to discuss stability for model (3.2) by virtue of nonlinear functional analysis.

    Definition 7.1. System (3.2) with (3.3) possesses Ulam-Hyers stability if there exist σ=max(σ1,σ2,σ3,σ4)>0 and =max(1,2,3,4)>0,for each ˜M,˜N,˜N1,˜ΘE×E×E×E, having the subsequent inequalities

    |ABC0Dωθ˜M(θ)ρ1(θ,˜M)|1,
    |ABC0Dωθ˜N(θ)ρ1(θ,˜N)|2,
    |ABC0Dωθ˜N1(θ)ρ1(θ,˜N1)|3,
    |ABC0Dωθ˜Θ(θ)ρ1(θ,˜Θ)|4, (7.1)

    then there exists (M,N,N1,˜Θ)E×E×E×E fulfilling system (3.2) with conditions given by

    M(0)=˜M(0),N(0)=˜N(0),N1(0)=˜N1(0),Θ(0)=˜Θ(0) (7.2)

    such that

    (˜M,˜N,˜N1,˜Θ)(M,N,N1,Θ)Ωσ. (7.3)

    Remark 7.2. Consider the small perturbations h1,h2,h3,h4C[0,θ0] that depend only on the solutions such that h1(0)=0, h2(0)=0, h3(0)=0, h4(0)=0, with the following properties:

    (1)

    |h1(θ)|1, |h2(θ)|2, |h3(θ)|3, |h4(θ)|4, for θ[0,θ0], i>0, i=1,2,3,4. (7.4)

    (2) Furthermore, one has

    ABC0Dωθ˜M(θ)=ρ1(θ,˜M)+h1(θ),θ[0,θ0],
    ABC0Dωθ˜N(θ)=ρ1(θ,˜N)+h2(θ),θ[0,θ0],
    ABC0Dωθ˜N1(θ)=ρ1(θ,˜N1)+h3(θ),θ[0,θ0],
    ABC0Dωθ˜Θ(θ)=ρ1(θ,˜Θ)+h4(θ),θ[0,θ0]. (7.5)

    Now,

    ˜M(θ)M(θ)σ11,
    ˜N(θ)N(θ)σ22,
    ˜N1(θ)N1(θ)σ33,
    ˜Θ(θ)Θ(θ)σ44. (7.6)

    Lemma 7.3. The solution of perturbed problems

    {ABC0Dωθ˜M(θ)=ρ1(θ,˜M)+h1(θ),˜M(0)=˜M0, (7.7)
    {ABC0Dωθ˜N(θ)=ρ1(θ,˜N)+h2(θ),˜N(0)=˜N0, (7.8)
    {ABC0Dωθ˜N1(θ)=ρ1(θ,˜N1)+h3(θ),˜N1(0)=˜N1,0, (7.9)
    {ABC0Dωθ˜Θ(θ)=ρ1(θ,˜Θ)+h4(θ),˜Θ(0)=˜Θ0 (7.10)

    fulfills the relations

    |˜Mh1(θ)˜M(θ)|m1,
    |˜Nh2(θ)˜N(θ)|m2,
    |˜N1,h3(θ)˜N1(θ)|m3,
    |˜Θh4(θ)˜Θ(θ)|m4, (7.11)

    where ˜Mh1(θ), ˜Nh2(θ), ˜N1,h3(θ), ˜Θh4(θ) are solutions of Eqs (7.7)–(7.10), respectively. Here, ˜M, ˜N, ˜N1, ˜Θ satisfy the set of conditions (7.1) and m=Γ(ω)Γ(ω+1)+θω0B(ω)Γ(ω).

    Proof. As suggested by Remark 7.2 and Lemma 7.3, the solutions of Eqs (7.7)–(7.10) are, respectively, given by

    ˜Mh1(θ)=˜M0+1ωB(ω)ρ1(θ,˜M)+ωB(ω)1Γ(ω)θ0(θτ)ω1ρ1(τ,˜M)dτ+1ωB(ω)h1(θ)+ωB(ω)1Γ(ω)θ0(θτ)ω1h1(τ)dτ,
    ˜Nh2(θ)=˜N0+1ωB(ω)ρ2(θ,˜N)+ωB(ω)1Γ(ω)θ0(θτ)ω1ρ2(τ,˜N)dτ+1ωB(ω)h2(θ)+ωB(ω)1Γ(ω)θ0(θτ)ω1h2(τ)dτ,
    ˜N1,h3(θ)=˜N1,0+1ωB(ω)ρ3(θ,˜N1)+ωB(ω)1Γ(ω)θ0(θτ)ω1ρ3(τ,˜N1)dτ+1ωB(ω)h3(θ)+ωB(ω)1Γ(ω)θ0(θτ)ω1h3(τ)dτ,
    ˜Θh4(θ)=˜Θ0+1ωB(ω)ρ4(θ,˜Θ)+ωB(ω)1Γ(ω)θ0(θτ)ω1ρ4(τ,˜Θ)dτ+1ωB(ω)h4(θ)+ωB(ω)1Γ(ω)θ0(θτ)ω1h4(τ)dτ. (7.12)

    Also, we find

    ˜M(θ)=˜M0+1ωB(ω)ρ1(θ,˜M)+ωB(ω)1Γ(ω)θ0(θτ)ω1ρ1(τ,˜M)dτ,
    ˜N(θ)=˜N0+1ωB(ω)ρ2(θ,˜N)+ωB(ω)1Γ(ω)θ0(θτ)ω1ρ2(τ,˜N)dτ,
    ˜N1(θ)=˜N1,0+1ωB(ω)ρ3(θ,˜N1)+ωB(ω)1Γ(ω)θ0(θτ)ω1ρ3(τ,˜N1)dτ,
    ˜Θ(θ)=˜Θ0+1ωB(ω)ρ4(θ,˜Θ)+ωB(ω)1Γ(ω)θ0(θτ)ω1ρ4(τ,˜Θ)dτ. (7.13)

    It follows from the Remark 7.2 that

    |˜Mh1(θ)˜M(θ)|1ωB(ω)h1(θ)+ωB(ω)1Γ(ω)θ0(θτ)ω1|h1(τ)|dτ
    (Γ(ω)Γ(ω+1)+θω0B(ω)Γ(ω))1m1. (7.14)

    Similarly,

    |˜Nh2(θ)˜N(θ)|h2(θ)1ωB(ω)+ωB(ω)1Γ(ω)θ0(θτ)ω1|h2(τ)|dτ
    (Γ(ω)Γ(ω+1)+θω0B(ω)Γ(ω))2m2. (7.15)
    |˜N1,h3(θ)˜N1(θ)|1ωB(ω)h3(θ)+ωB(ω)1Γ(ω)θ0(θτ)ω1|h3(τ)|dτ
    (Γ(ω)Γ(ω+1)+θω0B(ω)Γ(ω))3m3. (7.16)

    Similarly,

    |˜Θh4(θ)˜Θ(θ)|m4. (7.17)

    Hence, the lemma is proved.

    Theorem 7.4. Under the assumptions of Theorems 5.1 and 5.2 and conditions (5.6), (5.9)–(5.11), the system (3.2) with (3.3) will possess Ulam-Hyers stability in Ω.

    Proof. Let ˜M,˜N,˜N1,˜ΘE be the solutions of inequalities (7.1) and the functions M,N,N1,ΘE be unique solutions of Eq (3.2) with the conditions (7.2). Now, due to the set of conditions (7.2), we obtain

    M0=˜M0,N0=˜N0,N1,0=˜N1,0,Θ0=˜Θ0. (7.18)

    That is,

    M(θ)=M0+1ωB(ω)ρ1(θ,M)+ωB(ω)1Γ(ω)θ0(θτ)ω1ρ1(τ,M)dτ,
    N(θ)=N0+1ωB(ω)ρ2(θ,N)+ωB(ω)1Γ(ω)θ0(θτ)ω1ρ2(τ,N)dτ,
    N1(θ)=N1,0+1ωB(ω)ρ3(θ,N1)+ωB(ω)1Γ(ω)θ0(θτ)ω1ρ3(τ,N1)dτ,
    Θ(θ)=Θ0+1ωB(ω)ρ4(θ,Θ)+ωB(ω)1Γ(ω)θ0(θτ)ω1ρ4(τ,Θ)dτ. (7.19)

    Hence, the set of Eq (7.19) transforms to

    M=˜M0+1ωB(ω)ρ1(θ,M)+ωB(ω)1Γ(ω)θ0(θτ)ω1ρ1(τ,M)dτ,
    N=˜N0+1ωB(ω)ρ2(θ,N)+ωB(ω)1Γ(ω)θ0(θτ)ω1ρ2(τ,N)dτ,
    N1=˜N1,0+1ωB(ω)ρ3(θ,N1)+ωB(ω)1Γ(ω)θ0(θτ)ω1ρ3(τ,N1)dτ,
    Θ=˜Θ0+1ωB(ω)ρ4(θ,M)+ωB(ω)1Γ(ω)θ0(θτ)ω1ρ4(τ,Θ)dτ. (7.20)

    Now, making use of inequality (5.6) and Lemma 7.3, we get

    |˜M(θ)M(θ)||˜M(θ)˜Mh1(θ)|+|˜Mh1(θ)M(θ)|m1+1ωB(ω)|ρ1(θ,˜M)ρ1(θ,M)|+ωB(ω)1Γ(ω)θ0(θτ)ω1|ρ1(τ,˜M)ρ1(τ,M)|dτ+m12m1+(1ωB(ω)+θω0B(ω)Γ(ω))λ1˜MM,

    which yields that

    ˜MMT2m11φ1, (7.21)

    where

    φ1=(1ωB(ω)+θω0B(ω)Γ(ω))λ1<1. (7.22)

    For σ1=2m1φ1, we obtain

    ˜MMEσ11. (7.23)

    Similarly, by condition (5.9) and Lemma 7.3, we obtain

    |˜NN||˜N˜Nh2|+|˜Nh2N|m2+1ωB(ω)|ρ2(θ,˜N)ρ2(θ,N)|+ωB(ω)1Γ(ω)θ0(θτ)ω1|ρ2(τ,˜N)ρ1(τ,N)|dτ+m22m2+(1ωB(ω)+θω0B(ω)Γ(ω))λ2˜NN,

    which implies that

    ˜NNT2m21φ2, (7.24)

    where

    φ2=(1ωB(ω)+θω0B(ω)Γ(ω))λ2<1. (7.25)

    For σ2=2m1φ2, we obtain

    ˜NNEσ22. (7.26)

    Similarly, we conclude that

    ˜N1N1Eσ33,˜ΘΘEσ44, (7.27)

    where

    σi=2m1φi,i=3,4. (7.28)

    Thus, for some ,σ>0,

    (˜M,˜N,˜N1,˜Θ)(M,N,N1,Θ)Ωσ. (7.29)

    Therefore, the Ulam-Hyers stability of the model (3.2) with (3.3) is established.

    Here, a numerical approach for the solution of the model is discussed. For this, we consider an IVP with the ABC fractional derivative as follows:

    ABC0DωθU(θ)=V(θ,U(θ)). (8.1)

    Employing the AB fractional integral operator on Eq (8.1), we get

    U(θ)U(0)=1ωB(ω)V(θ,U(θ))+ωB(ω)1Γ(ω)θ0(θξ)ω1V(ξ,U(ξ))dξ. (8.2)

    Taking θ=θn=n in Eq (8.2), we obtain

    U(θn)=U(0)+1ωB(ω)V(θn,U(θn))+ωB(ω)1Γ(ω)n1i=0θi+1θiV(ξ,U(ξ))(θnξ)ω1dξ. (8.3)

    Now, the linear Lagrange interpolation of V(t,U(t)) provides

    V(θ,U(θ))V(θi+1,Ui+1)+θθi+1(V(θi+1,Ui+1)V(θi,Ui)),θ[θi,θi+1], (8.4)

    where Ui=U(θi).

    By using Eq (8.4) in Eq (8.3), the estimated solution of Eq (8.1) is obtained as

    Un=U0+ωωB(ω)(ωnV(θ0,U0)+ni=1θniV(θi,Ui)), (8.5)

    where

    ωn=(n1)ω+1(nω1)nωΓ(ω+2), (8.6)
    θ={1Γ(ω+2)+1ωωω,=0,(1)ω+12ω+1+(+1)ω+1Γ(ω+2), =1,2,3,...,n1. (8.7)

    Using the numerical method (8.5)–(8.7), the solution of the model (3.2) is generated recursively in this way:

    Mn=M0+ωωB(ω)(ωn(rM0(1M0)α0M0N01+μM0α4M0N1,01+μM0(θ))+ni=1θni(rMi(θ)(1Mi(θ))α0Mi(θ)Ni(θ)μMi(θ)+1α4MiN1,i1+μMi)),Nn=N0+ωωB(ω)(ωn(α1M0(θ)N0(θ)1+μM0(θ)α2N0(θ)Θ0(θ)1+μN0(θ)cN0(θ)N1,0(θ)N0(θ)+N1,0(θ)+kN1,0(θ)d1N0(θ))+ni=1θni(α1Mi(θ)Ni(θ)1+μMi(θ)α2Ni(θ)Θi(θ)1+μNi(θ)cNi(θ)N1,i(θ)Ni(θ)+N1,i(θ)+kN1,i(θ)d1Ni(θ))),N1,n=N1,0+ωωB(ω)(ωn(cN0(θ)N1,0(θ)N0(θ)+N1,0(θ)+α5M0(θ)N1,0(θ)1+μM0(θ)kN1,0(θ)qN1,0)+ni=1θni(cNiN1,iNi+N1,i+α5MiN1,i1+μMikN1,iqN1,i)),Θn=Θ0+ωωB(ω)(ωn(α3N0(θ)Θ0(θ)1+μN0(θ)d2Θ0(θ))+ni=1θni(α3Ni(θ)Θi(θ)1+μNi(θ)d2Θi(θ))). (8.8)

    The solution of the model (3.2) is achieved by means of the above obtained iterative numerical schemes (8.8).

    In this part, the above obtained numerical iterative schemes represented by Eqs (8.6)–(8.8) are utilized to perform the simulations for the fractional food chain model (3.2). The following values for the parameters of the discussed model are considered for the simulation purpose [29]: r=0.6, α0=0.44, μ=0.406, α4=0.479, α1=0.309, α2=0.45, c=0.202, k=0.095, d1=0.126, d2=0.07, α5=0.292, q=0.5, α3=0.35,and a time step size =1.0×103.

    The graphs presented here show the behavior of solutions for different values of some parameters. The numerical solution of the model is plotted through Figures 110 for various initial values and fractional order ω. Figure 1 shows the impact of distinct values of fractional order ωon the dynamics of solutions M(θ), N(θ), N1(θ), and Θ(θ). Figure 2 presents the effect of various values of μ on the nature of solutions M, N, N1, and Θ. Figure 3 describes the behavior of solutions M, N, N1, and Θ for distinct values of r. Figures 4 and 5, respectively, depict the dynamics of solutions M, N, N1 and Θ for distinct values of α0 and α1. Figures 6 and 7, respectively, show the impact of distinct values of α2 and α3 on the dynamics of solutions M, N, N1 and Θ. Figures 8 and 9 elucidate the nature of solutions M, N, N1, and Θ for various values of d1 and d2. Finally, Figure 10 explains the impact of various values of k on the dynamics of solutions M, N, N1, and Θ. It is easy to examine that the achieved numerical results are compatible with the conceptual conjectures in the foregoing sections.

    Figure 1.  Impact of distinct values of fractional order ωon the dynamics of solutions M(θ), N(θ), N1(θ), and Θ(θ).
    Figure 2.  Effect of various values of μ on the dynamics of solutions M(θ), N(θ), N1(θ), and Θ(θ).
    Figure 3.  Effect of distinct values of r on the dynamics of solutions M(θ), N(θ), N1(θ), and Θ(θ).
    Figure 4.  Impact of distinct values of α0 on the dynamics of solutions M(θ), N(θ), N1(θ), and Θ(θ).
    Figure 5.  Impact of various values of α1 on the dynamics of solutions M(θ), N(θ), N1(θ), and Θ(θ).
    Figure 6.  Impact of distinct values of α2 on the dynamics of solutions M(θ), N(θ), N1(θ), and Θ(θ).
    Figure 7.  Effect of distinct values of α3 on the dynamics of solutions M(θ), N(θ), N1(θ), and Θ(θ).
    Figure 8.  Impact of various values of d1 on the dynamics of solutions M(θ), N(θ), N1(θ), and Θ(θ).
    Figure 9.  Effect of distinct values of d2 on the dynamics of solutions M(θ), N(θ), N1(θ), and Θ(θ).
    Figure 10.  Impact of various values of kon the dynamics of solutions M(θ), N(θ), N1(θ), and Θ(θ).

    This paper examines the fractional order FCM having Holling type Ⅱ functional response. The ABC fractional derivative operator providing Mittag-Leffler kernel is used for this purpose. The best feature of this derivative operator is that it provides scope for inclusion of memory-related properties very efficiently along with utilization of the information. This FDO possesses all the features of the Caputo-Fabrizio derivative with extra features of nonsingular and nonlocal character of a kernel. The main reason behind the use of FDO is the better description of memory characteristics which can be possible through the inclusion of nonlocal features. The use of an ML kernel in ABFDO is due to its natural appearance in various physical and biological models because the ML function is a joint venture of power-law and exponential-law which induces the memory effect completely. The inspiration behind the selection of the AB derivative is the nonlocal characteristic of the kernel which generates the scope of global analysis in those areas where the trends do not follow the power-law. Fractional order modeling also enhances the accuracy of the analysis and provides an extended degree of freedom in the model. However, the most important attribute of the fractional order modeling is to provide an excellent tool for the description of memory and hereditary characteristics which are generally ignored by systems of integer-order derivatives. In addition, fractional order derivatives are also useful to model the behavior of real systems and in the investigation of dynamical systems. The numerical approach is implemented to solve the model to get an approximate solution. The existence and uniqueness related analysis for the model are also presented. In addition, the model is also discussed regarding the Ulam-Hyers stability approach. Moreover, the graphical presentations for numerical solutions of the model confirm the authenticity of the numerical scheme utilized in this paper. It is clear that the achieved numerical results for the model correspond well with the conceptual findings. As a future research scope of the work, the presented numerical approach and stability analysis can also be applied to other physical and biological models.

    Jagdev Singh and Devendra Kumar: Conceptualization; Behzad Ghanbari and Kottakkaran Sooppy Nisar: Methodology; Jagdev Singh, Behzad Ghanbari, Ved Prakash Dubey and Kottakkaran Sooppy Nisar: Software; Jagdev Singh, Ved Prakash Dubey and Devendra Kumar: Investigation; Jagdev Singh, Behzad Ghanbari and Kottakkaran Sooppy Nisar: Validation; Jagdev Singh, Behzad Ghanbari, Ved Prakash Dubey, Devendra Kumar and Kottakkaran Sooppy Nisar: Writing-original draft. All authors have read and approved the final version of the manuscript for publication.

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

    The authors extend their appreciation to Prince Sattam bin Abdulaziz University for funding this research work through the project number (PSAU/2024/01/78916).

    The authors declare no conflicts of interest.



    [1] A. J. Lotka, Elements of physical biology, Baltimore: Williams and Wilkins, 1925. https://doi.org/10.1038/116461b0
    [2] V. Volterra, Variazioni e fluttuazioni del numero d'individui in specie animali conviventi, Mem. R. Accad. Naz. Lincei, 2 (1926), 31–113.
    [3] P. Georgescu, Y. H. Hsieh, Global dynamics of a predator-prey model with stage structure for the predator, SIAM J. Appl. Math., 67 (2007), 1379–1395. https://doi.org/10.1137/060670377 doi: 10.1137/060670377
    [4] S. A. Gourley, Y. Kuang, A stage structured predator-prey model and its dependence on maturation delay and death rate, J. Math. Biol., 49 (2004), 188–200. https://doi.org/10.1007/s00285-004-0278-2 doi: 10.1007/s00285-004-0278-2
    [5] R. Kon, Y. Saito, Y. Takeuchi, Permanence of single-species stage-structured models, J. Math. Biol., 48 (2004), 515–528. https://doi.org/10.1007/s00285-003-0239-1 doi: 10.1007/s00285-003-0239-1
    [6] S. Q. Liu, L. S. Chen, R. Agarwal, Recent progress on stage-structured population dynamics, Math. Comput. Model., 36 (2002), 1319–1360. https://doi.org/10.1016/S0895-7177(02)00279-0 doi: 10.1016/S0895-7177(02)00279-0
    [7] W. D. Wang, L. S. Chen, A predator-prey system with stage-structure for predator, Comput. Math. Appl., 33 (1997), 83–91. https://doi.org/10.1016/S0898-1221(97)00056-4 doi: 10.1016/S0898-1221(97)00056-4
    [8] W. O. Kermack, A. G. McKendrick, A contribution to the mathematical theory of epidemics, Proc. R. Soc. Lond. Ser. A, 115 (1927), 700–721. https://doi.org/10.1098/rspa.1927.0118 doi: 10.1098/rspa.1927.0118
    [9] Y. N. Xiao, L. S. Chen, Modeling and analysis of a predator-prey model with disease in the prey, Math. Biosci., 171 (2001), 59–82. https://doi.org/10.1016/s0025-5564(01)00049-9 doi: 10.1016/s0025-5564(01)00049-9
    [10] M. Haque, E. Venturino, The role of transmissible diseases in the Holling-Tanner predator-prey model, Theor. Popul. Biol., 70 (2006), 273–288. https://doi.org/10.1016/j.tpb.2006.06.007 doi: 10.1016/j.tpb.2006.06.007
    [11] J. Chattopadhyay, O. Arino, A predator-prey model with disease in the prey, Nonlinear Anal., 36 (1999), 747–766. https://doi.org/10.1016/S0362-546X(98)00126-6 doi: 10.1016/S0362-546X(98)00126-6
    [12] H. I. Freedman, P. Waltman, Mathematical analysis of some three-species food-chain models, Math. Biosci., 33 (1977), 257–276. https://doi.org/10.1016/0025-5564(77)90142-0 doi: 10.1016/0025-5564(77)90142-0
    [13] J. Chattopadhyay, N. Bairagi, R. R. Sarkar, A predator-prey model with some cover on prey species, Nonlinear Phenom. Complex Syst., 3 (2000), 407–420.
    [14] T. K. Kar, Modelling and analysis of a harvested prey-predator system incorporating a prey refuge, J. Comput. Appl. Math., 185 (2006), 19–33. https://doi.org/10.1016/j.cam.2005.01.035 doi: 10.1016/j.cam.2005.01.035
    [15] B. Dubey, A prey-predator model with a reserved area, Nonlinear Anal. Model. Control, 12 (2007), 479–494. https://doi.org/10.15388/NA.2007.12.4.14679 doi: 10.15388/NA.2007.12.4.14679
    [16] B. Dubey, R. K. Upadhyay, Persistence and extinction of one-prey and two-predator system, Nonlinear Anal. Model. Control, 9 (2004), 307–329. https://doi.org/10.15388/NA.2004.9.4.15147 doi: 10.15388/NA.2004.9.4.15147
    [17] L. M. Cai, J. Y. Yu, G. T. Zhu, A stage-structured predator-prey model with Beddington-DeAngelis functional response, J. Appl. Math. Comput., 26 (2008), 85–103. https://doi.org/10.1007/s12190-007-0008-1 doi: 10.1007/s12190-007-0008-1
    [18] K. A. Hasan, M. F. Hama, Complex dynamics behaviors of a discrete prey-predator model with Beddington-Deangelis functional response, Int. J. Contemp. Math. Sci., 7 (2012), 2179–2195.
    [19] S. Q. Liu, E. Beretta, A stage-structured predator-prey model of Beddington-Deangelis type, SIAM J. Appl. Math., 66 (2006), 1101–1129. https://doi.org/10.1137/050630003 doi: 10.1137/050630003
    [20] R. S. Cantrell, C. Cosner, On the dynamics of predator-prey models with the Beddington-DeAngelis functional response, J. Math. Anal. Appl., 257 (2001), 206–222. https://doi.org/10.1006/jmaa.2000.7343 doi: 10.1006/jmaa.2000.7343
    [21] S. Khajanchi, Dynamic behavior of a Beddington-DeAngelis type stage structured predator-prey model, Appl. Math. Comput., 244 (2014), 344–360. https://doi.org/10.1016/j.amc.2014.06.109 doi: 10.1016/j.amc.2014.06.109
    [22] V. P. Dubey, R. Kumar, D. Kumar, Numerical solution of time-fractional three-species food chain model arising in the realm of mathematical ecology, Int. J. Biomath., 13 (2020), 2050011. https://doi.org/10.1142/S1793524520500114 doi: 10.1142/S1793524520500114
    [23] M. S. Abdo, S. K. Panchal, K. Shah, T. Abdeljawad, Existence theory and numerical analysis of three species prey-predator model under Mittag-Leffler power law, Adv. Differ. Equ., 2020 (2020), 1–16. https://doi.org/10.1186/s13662-020-02709-7 doi: 10.1186/s13662-020-02709-7
    [24] B. Ghanbari, D. Kumar, Numerical solution of predator-prey model with Beddington-DeAngelis functional response and fractional derivatives with Mittag-Leffler kernel, Chaos, 29 (2019), 063103. https://doi.org/10.1063/1.5094546 doi: 10.1063/1.5094546
    [25] C. Liu, L. L. Chang, Y. Huang, Z. Wang, Turing patterns in a predator-prey model on complex networks, Nonlinear Dyn., 99 (2020), 3313–3322. https://doi.org/10.1007/s11071-019-05460-1 doi: 10.1007/s11071-019-05460-1
    [26] M. R. Song, S. P. Gao, C. Liu, Y. Bai, L. Zhang, B. L. Xie, et al., Cross-diffusion induced Turing patterns on multiplex networks of a predator-prey model, Chaos Solitons Fract., 168 (2023), 113131. https://doi.org/10.1016/j.chaos.2023.113131 doi: 10.1016/j.chaos.2023.113131
    [27] H. J. Alsakaji, S. Kundu, F. A. Rihan, Delay differential model of one-predator two-prey system with Monod-Haldane and holling type Ⅱ functional responses, Appl. Math. Comput., 397 (2021), 125919. https://doi.org/10.1016/j.amc.2020.125919 doi: 10.1016/j.amc.2020.125919
    [28] F. A. Rihan, U. Kandasamy, H. J. Alsakaji, N. Sottocornola, Dynamics of a fractional-order delayed model of COVID-19 with vaccination efficacy, Vaccines, 11 (2023), 1–26. https://doi.org/10.3390/vaccines11040758 doi: 10.3390/vaccines11040758
    [29] G. E. Arif, S. A. Wuhaib, M. F. Rashad, Infected intermediate predator and harvest in food chain, J. Al-Qadisiyah Comput. Sci. Math., 12 (2020), 120–138. https://doi.org/10.29304/jqcm.2020.12.1.683 doi: 10.29304/jqcm.2020.12.1.683
    [30] C. S. Holling, The components of predation as revealed by a study of small-mammal predation of the European pine sawfly, Can. Entomol., 91 (1959), 293–320. https://doi.org/10.4039/Ent91293-5 doi: 10.4039/Ent91293-5
    [31] C. S. Holling, Some characteristics of simple types of predation and parasitism, Can. Entomol., 91 (1959), 385–398. https://doi.org/10.4039/Ent91385-7 doi: 10.4039/Ent91385-7
    [32] A. Atangana, D. Baleanu, New fractional derivatives with nonlocal and non-singular kernel: theory and application to heat transfer model, Thermal Sci., 20 (2016), 763–769. https://doi.org/10.2298/TSCI160111018A doi: 10.2298/TSCI160111018A
    [33] T. R. Prabhakar, A singular integral equation with a generalized Mittag Leffler function in the kernel, Yokohama Math. J., 19 (1971), 7–15.
    [34] J. F. Gómez-Aguilar, A. Atangana, Fractional derivatives with the power-law and the Mittag-Leffler kernel applied to the nonlinear Baggs-Freedman model, Fractal Fract., 2 (2018), 1–14. https://doi.org/10.3390/fractalfract2010010 doi: 10.3390/fractalfract2010010
    [35] J. Singh, D. Kumar, D. Baleanu, On the analysis of chemical kinetics system pertaining to a fractional derivative with Mittag-Leffler type kernel, Chaos, 27 (2017), 103113. https://doi.org/10.1063/1.4995032 doi: 10.1063/1.4995032
    [36] J. Singh, D. Kumar, D. Baleanu, New aspects of fractional Biswas-Milovic model with Mittag-Leffler law, Math. Model. Nat. Phenom., 14 (2019), 303. https://doi.org/10.1051/mmnp/2018068 doi: 10.1051/mmnp/2018068
    [37] D. Kumar, J. Singh, D. Baleanu, Sushila, Analysis of regularized long-wave equation associated with a new fractional operator with Mittag-Leffler type kernel, Phys. A, 492 (2018), 155–167. https://doi.org/10.1016/j.physa.2017.10.002 doi: 10.1016/j.physa.2017.10.002
    [38] J. Singh, A new analysis for fractional rumor spreading dynamical model in a social network with Mittag-Leffler law, Chaos, 29 (2019), 013137. https://doi.org/10.1063/1.5080691 doi: 10.1063/1.5080691
    [39] D. Kumar, J. Singh, D. Baleanu, A new analysis of Fornberg-Whitham equation pertaining to a fractional derivative with Mittag-Leffler-type kernel, Eur. Phys. J. Plus, 133 (2018), 1–10. https://doi.org/10.1140/epjp/i2018-11934-y doi: 10.1140/epjp/i2018-11934-y
    [40] A. Yusuf, S. Qureshi, M. Inc, A. I. Aliyu, D. Baleanu, A. A. Shaikh, Two-strain epidemic model involving fractional derivative with Mittag-Leffler kernel, Chaos, 28 (2018), 123121. https://doi.org/10.1063/1.5074084 doi: 10.1063/1.5074084
    [41] Y. Zhou, Basic theory of fractional differential equations, Singapore: World Scientific, 2014.
    [42] T. Abdeljawad, D. Baleanu, Discrete fractional differences with nonsingular discrete Mittag-Leffler kernels, Adv. Differ. Equ., 2016 (2016), 1–18. https://doi.org/10.1186/s13662-016-0949-5 doi: 10.1186/s13662-016-0949-5
    [43] S. M. Ulam, Problems in modern mathematics, New York: John Wiley & Sons, 1964.
    [44] S. M. Ulam, A collection of mathematical problems, New York: Interscience Publishers, 1960.
    [45] Z. Ali, P. Kumam, K. Shah, A. Zada, Investigation of Ulam stability results of a coupled system of nonlinear implicit fractional differential equations, Mathematics, 7 (2019), 1–26. https://doi.org/10.3390/math7040341 doi: 10.3390/math7040341
    [46] Z. Ali, A. Zada, K. Shah, On Ulam's stability for a coupled systems of nonlinear implicit fractional differential equations, Bull. Malays. Math. Sci. Soc., 42 (2019), 2681–2699. https://doi.org/10.1007/s40840-018-0625-x doi: 10.1007/s40840-018-0625-x
    [47] Z. Ali, A. Zada, K. Shah, Ulam stability to a toppled systems of nonlinear implicit fractional order boundary value problem, Bound. Value Probl., 2018 (2018), 1–16. https://doi.org/10.1186/s13661-018-1096-6 doi: 10.1186/s13661-018-1096-6
    [48] Aphithana, S. K. Ntouyas, J. Tariboon, Existence and Ulam-Hyers stability for Caputo conformable differential equations with four-point integral conditions, Adv. Differ. Equ., 2019 (2019), 1–17. https://doi.org/10.1186/s13662-019-2077-5 doi: 10.1186/s13662-019-2077-5
  • This article has been cited by:

    1. S Naveen, V Parthiban, Application of Newton’s polynomial interpolation scheme for variable order fractional derivative with power-law kernel, 2024, 14, 2045-2322, 10.1038/s41598-024-66494-z
    2. Nursena Günhan Ay, Emrullah Yaşar, Analytical solutions and physical interpretation of a predator–prey system with Allee effect using fractional derivative operators, 2024, 11, 26668181, 100785, 10.1016/j.padiff.2024.100785
  • Reader Comments
  • © 2024 the Author(s), licensee AIMS Press. This is an open access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0)
通讯作者: 陈斌, bchen63@163.com
  • 1. 

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

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

Metrics

Article views(1167) PDF downloads(85) Cited by(2)

Figures and Tables

Figures(10)

/

DownLoad:  Full-Size Img  PowerPoint
Return
Return

Catalog