Research article Special Issues

Innovative approaches to fractional modeling: Aboodh transform for the Keller-Segel equation

  • Received: 27 February 2024 Revised: 14 April 2024 Accepted: 17 April 2024 Published: 24 April 2024
  • MSC : 33B15, 34A34, 35A20, 35A22, 44A10

  • This study focuses on developing efficient numerical techniques for solving the fractional Keller-Segel (KS) model, which is critical in explaining chemotaxis events. Within the Caputo operator framework, the study applied two unique methodologies: The Aboodh residual power series method (ARPSM) and the Aboodh transform iteration method (ATIM). These approaches were used to find precise solutions to the fractional KS equation, resulting in a better understanding of chemotactic behavior in biological systems. The comparative examination of the ARPSM and ATIM revealed their distinct strengths and applications in solving complicated fractional models. The work advances numerical approaches for fractional differential equations and improves our understanding of chemotaxis dynamics using a precise modeling approach.

    Citation: Nader Al-Rashidi. Innovative approaches to fractional modeling: Aboodh transform for the Keller-Segel equation[J]. AIMS Mathematics, 2024, 9(6): 14949-14981. doi: 10.3934/math.2024724

    Related Papers:

    [1] Abdul Qadeer Khan, Ayesha Yaqoob, Ateq Alsaadi . Neimark-Sacker bifurcation, chaos, and local stability of a discrete Hepatitis C virus model. AIMS Mathematics, 2024, 9(11): 31985-32013. doi: 10.3934/math.20241537
    [2] Yao Shi, Zhenyu Wang . Bifurcation analysis and chaos control of a discrete fractional-order Leslie-Gower model with fear factor. AIMS Mathematics, 2024, 9(11): 30298-30319. doi: 10.3934/math.20241462
    [3] Ibraheem M. Alsulami . On the stability, chaos and bifurcation analysis of a discrete-time chemostat model using the piecewise constant argument method. AIMS Mathematics, 2024, 9(12): 33861-33878. doi: 10.3934/math.20241615
    [4] Abdul Qadeer Khan, Ayesha Yaqoob, Ateq Alsaadi . Discrete Hepatitis C virus model with local dynamics, chaos and bifurcations. AIMS Mathematics, 2024, 9(10): 28643-28670. doi: 10.3934/math.20241390
    [5] A. Q. Khan, Ibraheem M. Alsulami, S. K. A. Hamdani . Controlling the chaos and bifurcations of a discrete prey-predator model. AIMS Mathematics, 2024, 9(1): 1783-1818. doi: 10.3934/math.2024087
    [6] Kamel Guedri, Rahat Zarin, Ashfaq Khan, Amir Khan, Basim M. Makhdoum, Hatoon A. Niyazi . Modeling hepatitis B transmission dynamics with spatial diffusion and disability potential in the chronic stage. AIMS Mathematics, 2025, 10(1): 1322-1349. doi: 10.3934/math.2025061
    [7] Yulong Li, Long Zhou, Fengjie Geng . Dynamics on semi-discrete Mackey-Glass model. AIMS Mathematics, 2025, 10(2): 2771-2807. doi: 10.3934/math.2025130
    [8] Xiongxiong Du, Xiaoling Han, Ceyu Lei . Dynamics of a nonlinear discrete predator-prey system with fear effect. AIMS Mathematics, 2023, 8(10): 23953-23973. doi: 10.3934/math.20231221
    [9] Ali Al Khabyah, Rizwan Ahmed, Muhammad Saeed Akram, Shehraz Akhtar . Stability, bifurcation, and chaos control in a discrete predator-prey model with strong Allee effect. AIMS Mathematics, 2023, 8(4): 8060-8081. doi: 10.3934/math.2023408
    [10] Muhammad Farman, Ali Akgül, J. Alberto Conejero, Aamir Shehzad, Kottakkaran Sooppy Nisar, Dumitru Baleanu . Analytical study of a Hepatitis B epidemic model using a discrete generalized nonsingular kernel. AIMS Mathematics, 2024, 9(7): 16966-16997. doi: 10.3934/math.2024824
  • This study focuses on developing efficient numerical techniques for solving the fractional Keller-Segel (KS) model, which is critical in explaining chemotaxis events. Within the Caputo operator framework, the study applied two unique methodologies: The Aboodh residual power series method (ARPSM) and the Aboodh transform iteration method (ATIM). These approaches were used to find precise solutions to the fractional KS equation, resulting in a better understanding of chemotactic behavior in biological systems. The comparative examination of the ARPSM and ATIM revealed their distinct strengths and applications in solving complicated fractional models. The work advances numerical approaches for fractional differential equations and improves our understanding of chemotaxis dynamics using a precise modeling approach.



    One of the most important health issues in the world is the Hepatitis B virus (HBV). All over the world, about 500 million chronic infections are caused by HBV or HCV [1]. The term "hepatitis" describes liver swelling. Alcohol, specific drugs, chemicals, or a viral infection are the main factors that contribute to liver inflammation. The use of contaminated razors and needles, blood transfusion, and saliva exchange can also cause infection in a susceptible person. The two main viral infections that affect liver cells are HCV and HBV. Although HBV and HCV have similar names, they are genetically and clinically distinct viruses. Both DNA viruses known as HBV and single strand RNA viruses known as HCV damage the liver cells. HBV can cause a short-term infection called an acute infection, when the virus is eradicated from the body by the immune system. Cirrhosis and hepatocellular carcinoma are two liver diseases that are ultimately caused by a chronic infection. Those who just have the acute disease still suffer severe symptoms, such as jaundice, high weakness, nausea, vomiting, and stomach pain, for up to a year. It is noted here that 1% to 5% of infected people are chronically infected; however, this percentage is significantly higher in newborns and young children. The virus causes liver cancer in around 25% of chronic carriers. Chronic HBV infections frequently happen in our early years, and the virus survives in the body because significant immune responses are destroyed. Both acute and chronic infections caused by HBV have a high death rate. The immune system works to protect the body against threats from outside particles. By eliminating virus-infected cells, the cytotoxic T lymphocytes (CTLs) play a crucial role in antiviral defense. Cytotoxic T lymphocytes (CTLs) are a crucial component of the immune system responsible for recognizing and eliminating virus-infected cells and cancerous cells. They are a type of T lymphocyte, a subset of white blood cells that play a central role in adaptive immunity. The term "cytotoxic" refers to their ability to induce cell death, particularly in target cells marked for destruction. CTLs are equipped with a specialized receptor known as the T-cell receptor (TCR), which allows them to recognize specific antigens presented on the surface of infected or abnormal cells. When a CTL encounters a target cell displaying the matching antigen, it releases cytotoxic molecules such as perforin and granzymes, which penetrate the target cell's membrane and induce apoptosis, or programmed cell death. This process effectively eliminates the infected or abnormal cell, preventing the spread of pathogens and the development of cancer. Additionally, CTLs play a vital role in immune surveillance, continuously patrolling the body to identify and eliminate threats to maintain overall health and immunity. Moreover, CTLs and B-cells are main parts of the immune response. CTLs target and kill virus-infected cells, whereas B-cells create antibodies that neutralize the viruses, referred to as antibodies for immune response. A typical immune response to a virus must include antibodies, cytokines, natural killer cells, and T-cells [2,3]. Further, it is important here to mention that within-host dynamics between free-viruses, susceptible/infected cells, and immune response refers to the interactions and changes that occur within an infected organism at the cellular and molecular level. Here is a breakdown:

    (i) Free-viruses: These are viruses that are circulating freely within the host organism. They can infect susceptible cells and replicate, leading to the spread of infection.

    (ii) Susceptible/infected cells: Cells within the host organism that are vulnerable to viral infection are referred to as susceptible cells. When a virus enters a susceptible cell and begins to replicate, that cell becomes infected. The dynamics between susceptible and infected cells involve the process of viral replication, cell damage, and potential cell death.

    (iii) Immune response: When the host organism detects the presence of viruses or infected cells, the immune system is activated. This response involves various components, including immune cells such as T- and B-cells, as well as signaling molecules like cytokines. The immune response aims to eliminate the virus and infected cells, thus controlling the infection.

    Understanding the within-host dynamics between these components is crucial for developing strategies to combat viral infections, such as vaccines or antiviral therapies. It involves studying how viruses interact with host cells, evade immune detection, and how the immune system responds to limit viral spread and clear the infection. On the other hand, in recent years, many scientists have proposed and studied the dynamics of infectious disease models. For instance, Qesmi et al. [4] investigated backward bifurcation analysis of continuous-time Hepatitis B and C virus mathematical models. Li et al.[5] explored the dynamics of a Hepatitis B deterministic model. Chen and Xu [6] explored bifurcation analysis of a viral infection model. For more intersecting results in this direction, we refer the reader to the work done by eminent researchers [7,8,9,10,11,12,13]. See also [14] for the analysis through the basic reproduction number of a general discrete-time model.

    Our main findings in this paper include:

    ● Model formulation of a discrete time HBV model.

    ● Examination of the local behavior at equilibrium states with a basic reproduction number (BRN) of the HBV model.

    ● A study of the rate of convergence of the discrete HBV model.

    ● Bifurcation analysis at equilibrium states.

    ● Examination of the chaos of the state feedback method.

    ● Numerical validation of theoretical results.

    The paper is structured as follows: In Section 2, we give the model formulation of a discrete time HBV model. In Section 3, we investigate the equilibrium states, linearized form, and BRN for a discrete HBV model. Whereas in Section 4, we examine local stability analysis at the equilibrium states and bifurcation sets. In Section 5, detailed bifurcation analysis at equilibrium states is investigated. In Sections 6 and 7, we study convergence rate and chaos control, respectively, whereas theoretical findings are numerically verified in Section 8. The paper's conclusion with future work is presented in Section 9.

    Motivated from the aforementioned studies, in this paper, we explore dynamical characteristics of a discrete Hepatitis B virus mathematical model. For this, we first reformulate the mathematical formulation of a continuous-time HBV model based on Figure 1, where z, v, s, and I, respectively, denote the size of the CTL response or the quantity of virus-specific CTLs, free virus particles, uninfected cells, and infected cells. Furthermore, it is worthwhile to mention that the investigation consists of the simple dynamics of virus-host cell interaction and the kinetic interaction of CTLs with infected cells, as well as the impact of immune responses on viral burden and antigenic diversity. Viral organisms rely on their host cell for both survival and reproduction. Based on the amount of virus present, the tissues affected, and the length of the infection, the antiviral immune response's beneficial and harmful effects must be balanced. The virus is the immune system's reaction to the infection and may directly destroy the host cell. At the rate βsv, the cells s are infected by the v, where the constant rate β represents the efficiency of this process, including the rate of successful infection and probability. The cells I produce v at the rate kI, whereas the cells I die at a rate αI. v is eradicated from the system at the rate uv, whereas α, δ, and u denote death rates of cells I, s, and free virus v, respectively. Further, 1u and 1α are the average life times of v and I, respectively. ϑ and δs are the constant rates at which cells s are produced and then die, respectively, while kα is the amount of virus produced from the I. The CTLs proliferation rate in response to antigens is represented by cIz. CTLs decrease at a rate of bz in the absence of stimulus. CTLs kill I at a rate of pIz. The CTLs responsiveness is indicated by the parameter c. The parameter p determines how quickly CTLs eliminate I. Based on these presumptions, the continuous-time HBV mathematical model designated by a system of differential equations takes the following form [15]:

    Figure 1.  Flow chart of a model for virus replication.
    {˙s=ϑδsβsv,˙I=βsvαIpIz,˙v=kIuv,˙z=cIzμz. (2.1)

    In the context of populations with non-overlapping generations, discrete-time models governed by maps are preferable to continuous ones. Discrete models can also produce effective computational results for numerical simulations. For instance, after discretization by the Euler-forward formula, HBV model (2.1) takes the following form:

    {st+1sth=ϑδstβstvt,It+1Ith=βstvtαItpItzt,vt+1vth=kItuvt,zt+1zth=cItztμzt. (2.2)

    After simplification, the required discrete HBV model (2.2) takes the form:

    {st+1=hϑ+(1hδ)stβhstvt,It+1=(1αh)It+hβstvtphItzt,vt+1=(1hu)vt+hkIt,zt+1=(1hμ)zt+hcItzt, (2.3)

    where h>0 denotes the integral step size such that the quantities 1hδ, 1αh, 1hu, and 1hμ are positive and this statement underscores a crucial aspect of discretizing continuous models: the choice of step size h and its impact on the validity of numerical solutions. Discretization involves approximating continuous systems into a finite set of points or intervals, a fundamental process in numerical simulations and computational methods. However, the discretization scheme must be carefully chosen to ensure the stability and accuracy of the numerical solution. The necessity for a small step size h>0 arises from the preservation of certain properties of the continuous model during discretization. Specifically, the quantities 1hδ, 1αh, 1hu, and 1hμ, which likely represent rates or constants in the model equations, must remain positive. This condition ensures that the numerical solution accurately reflects the behavior of the system without introducing instability or negative values. Choosing an appropriate step size is crucial because it directly impacts the fidelity of the numerical solution. A small enough step size ensures that the discretization accurately captures the dynamics of the system over time. If the step size is too large, it may lead to numerical instability or inaccuracies in the solution, compromising the reliability of the results. Moreover, the statement highlights the non-uniqueness of discretization schemes. Different discretization methods can yield varying results and behaviors of the numerical solution. Some schemes may be more suitable than others for preserving stability and positivity, depending on the specific characteristics of the model equations and the system being studied. In summary, ensuring that the quantities 1hδ, 1αh, 1hu, and 1hμ remain positive for small enough step sizes h>0 is essential for maintaining the stability and validity of numerical solutions obtained through the discretization of continuous models. The choice of the discretization scheme and step size play a crucial role in accurately representing the dynamics of the system and obtaining reliable results in numerical simulations and computational analysis.

    We will explore equilibrium states of a discrete HBV model (2.3), linearized form, and BRN in this section.

    Lemma 3.1. For the HBV model's equilibrium states, the following statements hold:

    (i) For all ϑ,δ,β,α,p,k,u,c,μ,h, discrete HBV model (2.3) has disease-free equilibrium state (DFES) Φ1=(ϑδ,0,0,0);

    (ii) Discrete HBV model (2.3) has boundary equilibrium state (ES) Φ2=(uαkβ,ϑβkδuααkβ,ϑβkδuααuβ,0) if β>αuδϑk. Moreover, biologically, ES represents the state where the pathogens are present while CTLs are absents;

    (iii) If β>cαuδcϑkkμα then the discrete HBV model (2.3) has an epidemic equilibrium state (EES) Φ3=(cuϑcδu+βkμ,μc,kμcu,ckβϑcδuαkαβμp(cδu+kβμ)).

    Proof. If HBV model (2.3) has an equilibrium state Φ=(s,I,v,z), then

    {s=hϑ+(1hδ)sβhsv,I=(1αh)I+hβsvphIz,v=(1hu)v+hkI,z=(1hμ)z+hcIz. (3.1)

    It is noted that algebraic system (3.1) is satisfied obviously if Φ=(s,I,v,z)=(ϑδ,0,0,0), and so the HBV model (2.3) has a disease-free equilibrium state (DFES) Φ1=(ϑδ,0,0,0) for all model parameters ϑ, δ, β, α, p, k, u, c, μ, and h. Now, in order to find equilibrium state Φ2, we will solve the following system simultaneously:

    ϑδsβsv=0,βsvαIpIz=0,kIuv=0,cIzμz=0. (3.2)

    From the last equation of (3.2), we get

    z=0. (3.3)

    On utilizing (3.3) into the second equation of system (3.2), we get

    βsvαI=0. (3.4)

    Now, on solving the third equation of (3.2) and (3.4) simultaneously, one gets

    s=uαkβ. (3.5)

    Using (3.5) into the first equation of system (3.2), we get

    v=ϑβkδuααuβ. (3.6)

    From the third equation of system (3.2) and (3.6), we get

    I=ϑβkδuααkβ. (3.7)

    Equations (3.3) and (3.5)–(3.7) imply that the HBV model (2.3) has ES Φ2=(uαkβ,ϑβkδuααkβ,ϑβkδuααuβ,0) if β>αuδϑk. More importantly, it is noted here that if β>αuδϑk, that is, βϑkαuδ>1, then the HBV model (2.3) has ES Φ2=(uαkβ,ϑβkδuααkβ,ϑβkδuααuβ,0), and so we define R0=:βϑkαuδ>1 as a BRN of the virus, which indicates the typical number of newly infected cells produced from one infected cell at the start of the infectious process [16]. On the other hand, we can say that the HBV model (2.3) has ES Φ2=(uαkβ,ϑβkδuααkβ,ϑβkδuααuβ,0) if R0>1. Finally, for EES in R4+, one needs to solve following algebraic system (3.2). From the last equation of (3.2), we get

    I=μc. (3.8)

    By utilizing (3.8) in the third equation of system (3.2), we get

    v=kμcu. (3.9)

    Using (3.8) and (3.9) in the first equation of system (3.2), we get

    s=cuϑcδu+βkμ. (3.10)

    Using (3.8)–(3.10) in the second equation of system (3.2), we get

    z=ckβϑcδuαkαβμp(cδu+kβμ). (3.11)

    Equations (3.8)–(3.11) imply that if β>αcuδcϑkkαμ, then the HBV model (2.3) has EES Φ3=(cuϑcδu+βkμ,μc,kμcu,ckβϑcδuαkαβμp(cδu+kβμ)). Now a linearized form for the HBV model (2.3) at equilibrium state Φ is formulated. So, under the map (e,f,g,h)(st+1,It+1,vt+1,zt+1), one has the following variational matrix J|Φ, which is evaluated at equilibrium state Φ:

    J|Φ:=(1h(δ+βv)0hβs0hβv1αhhpzhβshpI0kh1hu00hcz01+h(cIμ)), (3.12)

    where

    {e=s+h(ϑδsβsv),f=I+h(βsvpIzαI),g=v+h(kIuv),h=z+h(cIzμz). (3.13)

    Remark 3.1. It is important here to explain that the continuous-time model, which is depicted in (2.1), can be modified by reconsidering the following key aspects and assumptions:

    (1) The proportionality of k to the burst size: Parameter k is proportional to the burst size, which is the number of virion released from an infected cell upon lysis. This indicates that k represents the rate of virion production per infected cell.

    (2) Adsorption rate β: The parameter β denotes the rate at which viruses attach to and infect susceptible cells.

    (3) Free viruses' lifetime and loss: In the original model, the free viruses v do not account for losses due to adsorption by uninfected cells. In biological terms, when a virus particle adsorbs to a susceptible cell and successfully infects it, the virus is effectively removed from the pool of free viruses. To incorporate this loss, the equation for free viruses should include a term that represents the reduction of free viruses due to adsorption by the susceptible cells. The modified equation would be:

    ˙v=kI(u+βs)v, (3.14)

    where βsv represents the rate at which viruses are lost due to successful infection of susceptible cells.

    Based on the key aspects and assumptions, which are explained above, the modified version of the continuous-time model (2.1) now becomes the following:

    {˙s=ϑδsβsv,˙I=βsvαIpIz,˙v=kI(u+βs)v,˙z=cIzμz. (3.15)

    Additionally, basic reproduction number, R0, in the context of within-host viral dynamics, is commonly interpreted as the average number of new infections caused by a single infected cell in a fully susceptible population. However, given that free viruses are the primary infecting agents, a more appropriate interpretation of R0 would be "the expected number of virion produced by each virus during its lifetime". This considers the entire cycle from infection to the release of new virion and their subsequent interactions with susceptible cells. In conclusion, incorporating the loss of viruses due to adsorption by susceptible cells provides a more accurate representation of the within-host viral dynamics. This adjustment ensures a more biologically realistic and mathematically consistent framework for understanding the dynamics of viral infections within a host.

    Here, we will study the local behavior along with the identification of bifurcation sets of the HBV model (2.3) at the equilibrium states using existing theory [17,18,19,20,21,22,23]. For DFES, (3.12) becomes

    J|DFES:=(1hδ0hβϑδ001αhhβϑδ00kh1hu00001hμ), (4.1)

    with

    λ1=1δh, λ2=1hμ, and λ3,4=12(2αhhu±hδ(uα)2+4kβϑδ). (4.2)

    Now, at DFES, we give the local behavior as follows:

    Theorem 4.1. DFES of the HBV model (2.3) is

    (i) a locally asymptotically stable if

    0<δ<2h, 0<μ<2h, and 42αh2hu+αuh2αuh2<R0<1; (4.3)

    (ii) an unstable if

    δ>2h, μ>2h, and 1<R0<42αh2hu+αuh2αuh2; (4.4)

    (iii) a saddle if

    0<δ<2h, 1<R0<42αh2hu+αuh2αuh2, and μ>2h, (4.5)

    or

    δ>2h, 1<R0<42αh2hu+αuh2αuh2, and 0<μ<2h, (4.6)

    or

    δ>2h, 42αh2hu+αuh2αuh2<R0<1, and 0<μ<2h, (4.7)

    or

    0<δ<2h, 42αh2hu+αuh2αuh2<R0<1, and μ>2h, (4.8)

    or

    δ>2h, 42αh2hu+αuh2αuh2<R0<1, and μ>2h, (4.9)

    or

    0<δ<2h, 1<R0<42αh2hu+αuh2αuh2, and 0<μ<2h; (4.10)

    (iv) non-hyperbolic if

    δ=2h, (4.11)

    or

    μ=2h, (4.12)

    or

    R0=1, (4.13)

    or

    R0=42αh2hu+αuh2αuh2; (4.14)

    where in original parameters (4.13) and (4.14), respectively, it will be shown in the following form:

    δ=kβϑαu, (4.15)

    and

    δ=kβϑh242hu2αh+αh2u. (4.16)

    Proof. DFES of the HBV model (2.3) is asymptotically stable if |λ1|=|1δh|<1, |λ2|=|1hμ|<1, and |λ3,4|=|12(2αhhu±hδ(uα)2+4kβϑδ)|<1, that is, 0<δ<2h, 0<μ<2h, and 42αh2hu+αuh2αuh2<R0<1. Therefore, DFES is asymptotically stable if 0<δ<2h, 0<μ<2h, and 42αh2hu+αuh2αuh2<R0<1. A similar calculation shows that DFES of the HBV model (2.3) is unstable if δ>2h, μ>2h, and 1<R0<42αh2hu+βuh2αuh2, a saddle if 0<δ<2h, μ>2h, and 1<R0<42αh2hu+αuh2αuh2 or δ>2h, 0<μ<2h, and 1<R0<42αh2hu+αuh2αuh2 or δ>2h, 0<μ<2h, and 42αh2hu+αuh2αuh2<R0<1 or 0<δ<2h, μ>2h, and 42αh2hu+αuh2αuh2<R0<1 or δ>2h, μ>2h, and 42αh2hu+αuh2αuh2<R0<1 or 0<δ<2h, 0<μ<2h, and 1<R0<42αh2hu+αuh2αuh2, and finally, non-hyperbolic if δ=2h or δ=2h or R0=1 or R0=42αh2hu+αuh2αuh2.

    Hereafter, based on Theorem 4.1, we will discuss the existence of possible bifurcation sets. It is noted that if parameters χ=(ϑ,δ,β,α,p,k,u,c,μ,h) pass certain regions, then a number of possible bifurcation sets may occur, which are summarized as a following theorem:

    Theorem 4.2. We have the following bifurcation sets if parameter χ=(ϑ,δ,β,α,p,k,u,c,μ,h) passes certain regions:

    (i) If (4.11) holds, then λ1|(4.11)=1 but λ3,4|(4.11)=2hαhu±h2((uα)2+2hkβϑ)21 or 1, as well as λ2|(4.11)=1hμ1 or 1. So, for DFES, one has the following flip bifurcation set associated with Theorem 4.1:

    Γ3|DFES={χ:δ=2h}; (4.17)

    (ii) If (4.12) holds, then λ2|(4.12)=1 but λ3,4|(4.12)=12(2αhhu±hδ(uα)2+4kβϑδ)1 or 1, as well as λ1|(4.12)=1hd1 or 1. So, for DFES, one has the following flip bifurcation set associated with Theorem 4.1:

    Γ4|DFES={χ:μ=2h}; (4.18)

    (iii) If (4.15) holds, then λ3|(4.15)=1 but λ1,4|(4.15)=1h(kβϑαu),1h(α+u)1 or 1, as well as λ2|(4.15)=1hμ1 or 1. So, for DFES, one has the following fold bifurcation set associated with Theorem 4.1:

    Γ5|DFES={χ:δ=kβϑαu}; (4.19)

    (iv) If (4.16) holds, then λ4|(4.16)=1 but λ1,3|(4.16)=1h(kβϑh242hu2αh+αh2u),3h(u+α)1 or 1, as well as λ2|(4.16)=1hμ1 or 1. So, for DFES, one has the following flip bifurcation set associated with Theorem 4.1:

    Γ6|DFES={χ:δ=kβϑh242hu2αh+αh2u}. (4.20)

    Hereafter, we will study the local behavior at ES and EES of the HBV model (2.3) by Theorem 1.4 of [18]. At ES, (3.12) gives

    J|ES:=(αuhϑβkαu0hαuk0hϑβkαuhδαu1αhhαukhpδuαhpϑβkαkβ0kh1hu00001hμ+hcϑβkαhcuδkαβ), (4.21)

    with

    P(λ)=λ4+S1λ3+S2λ2+S3λ+S4=0, (4.22)

    where

    {S1=4+h(u+cδukβ+α+μ)+h2ϑ(kβcu)kuα,S2={ch(δuαhβϑ)(uα(3+h(u+α))+h2βϑ)+kαβ(h2uα(3+hμ)+u(6α3hα2+h3βϑ+hα(3+hα)μ)+h2βϑ(3+h(α+μ))}kuβα2,S3={ch(hβϑδuα)(uα(32h(u+α))+h2βϑ(2+h(u+α)))+kαβ(h2uα(3+δh2α+2hμ)+h2βϑ(3+h2αμ2h(α+μ))+u(hα2(32μh)+h3βϑ(hμ2)+α(4+h4βϑ+3hμ))}kuα2β,S4=(uα(1+δh3uαh(u+α))h2βϑ(hu1)(hα1))(ch(δuαhβϑ)+kβα(hμ1))kuβα2. (4.23)

    Theorem 4.3. If

    {|S1+S3|<1+S2+S4,|S3S1|<2(1S4),S23S4<3,S2+S24(1+S2)+S23+S4(1+S21)<1+2S2S4+S1S3(1+S4)+S34, (4.24)

    then the ES of the HBV model (2.3) is a sink where Si(i=1,2,3,4) are depicted in (4.23).

    Finally, at EES, (3.12) gives

    J|EES:=(1hδhβkμcu0hβcϑucdu+kβμ0hβkμcu1αhh(ckβϑcδuαkαβμcδu+kβμ)hβcϑucdu+kβμhpμc0kh1hu00c2hkβϑc2δhuαkβμαhcp(cδu+kβμ)01), (4.25)

    with

    P(λ)=λ4+U1λ3+U2λ2+U3λ+U4=0, (4.26)

    where

    {U1=4+h(δ+u+kβμcu+ckβϑcδu+kβμ),U2=6+h(3u+δ(3+hu)+hϑ(c+kβu)hαμ+kβμ(3+hu)cucϑ(cδhu+3kβ)cδu+kβμ,U3={c2u(δu(4+3hu+δh(32hu))+h(32δh)kβϑ)+c(ch2u(2+h(δ+u))(δuαkβϑ)+kβ(u(4+3hu+2δh(32hu))+h2k(2+hu)βϑ))μ+hkβ2(k(32hu)+ch(u(2+2δh+hu)α+hkβϑ))μ2h3k2αβ2μ3}cu(cδu+kβμ),U4={hk2(hu1)β2μ2(h2αμ1)+ck(1+hu)βμ(h2kβϑ(1hμ)+(2δh1)u(h2αμ1))+c2(δh1)u(hkβϑ(1+h(1hu)μ)+du(hμ1)(h2αμ1)))}cu(cδu+kβμ). (4.27)

    Theorem 4.4. If

    {|U1+U3|<1+U2+U4,|U3U1|<2(1U4),U23U4<3,U2+U24(1+U2)+U23+U4(1+U21)<1+2U2U4+U1U3(1+U4)+U34, (4.28)

    then the EES of the HBV model (2.3) is a sink where Ui(i=1,2,3,4) are depicted in (4.27).

    It is noted that by explicit criterion, we explore the existence of bifurcation at the ES and EES of HBV model (2.3).

    We will examine bifurcations at DFES, ES, and EES of the HBV model (2.3) in this section by bifurcation theory [23,24,25,26,27,28,29].

    Theorem 5.1. At DFES, the HBV model (2.3) does not undergo flip bifurcation if (4.17) holds.

    Proof. For DFES, HBV model (2.3) is invariant subject to I=v=z=0. Therefore, the HBV model (2.3) restricted to I=v=z=0 becomes

    st+1=st+h(ϑδst). (5.1)

    From (5.1), we define

    f(s):=s+hϑhδs. (5.2)

    Since δ=δ=2h, s=s=ϑδ, and therefore, from (5.2), one has that fs|δ=δ=2h, s=s=ϑδ=1 and fδ|δ=δ=2h, s=s=ϑδ=h2ϑ20 hold but fss|δ=δ=2h, s=s=ϑδ=0 violates the non-degenerate condition for the occurrence of flip bifurcation at DFES of HBV model (2.3).

    Theorem 5.2. At DFES, HBV model (2.3) does not undergo flip, flip, and fold bifurcations if (4.18)–(4.20) hold, respectively.

    Proof. This is the same as the proof of Theorem 5.1.

    Hereafter, bifurcation analysis at ES and EES of the HBV model (2.3) is investigated by implementing explicit criterion [30,31,32,33].

    Theorem 5.3. At ES, the discrete HBV model (2.3) undergoes flip bifurcation if

    {1S4S2S23+S34S24(1+S2) +2S2S4S21S4+S1S3(1+S4)>0,1+S2+S4S23S34S24(1+S2)+S21S4S1S3(1S4)>0,1+S1+S2+S3+S4>0,1S1+S2S3+S4=0,1±S4>0,S1S2+S3S443S1+2S2S30, (5.3)

    where h0 is a real roots of 1S1(h)+S2(h)S3(h)+S4(h)=0.

    Proof. For n=4, the explicit criterion yields

    Δ3(h)=1S4S2S23+S34S24(1+S2)+2S2S4S21S4+S1S3(1+S4)>0,Δ+3(h)=1+S2+S4S23S34S24(1+S2)+S21S4S1S3(1S4)>0,Ph(1)=1+S1+S2+S3+S4>0,Ph(1)=1S1+S2S3+S4=0,Δ±1(h)=1±S4>0, (5.4)

    and

    ni=1(1)niSini=1(1)ni(ni+1)Si1=S1S2+S3S443S1+2S2S30. (5.5)

    Theorem 5.4. At EES, the discrete HBV model (2.3) undergoes N-S bifurcation if

    {1U4U2U23+U34U24(1+U2)+2U2U4U21U4+U1U3(1+U4)=0,1+U2+U4U23U34U24(1+U2)+U21U4U1U3(1U4)>0,1+U1+U2+U3+U4>0,1U1+U2U3+U4>0,1±U4>0,ddh(1U4U2U23+U34U24(1+U2)+2U2U4U21U4+U1U3(1+U4))|h=h00,cos2πl1(1U4)(1+U1+U2+U3+U4)2(1+U3U4(U1+U4))), l=3,4,, (5.6)

    where h0 is a real root of 1U4(h)U2(h)U23(h)+U34(h)U24(h)(1+U2(h))+2U2(h)U4(h)U21(h)U4(h)+U1(h)U3(h)(1+U4(h))=0.

    Proof. For n=4, the explicit criterion yields

    Δ3(h)=1U4U2U23+U34U24(1+U2)+2U2U4U21U4+U1U3(1+U4)=0,Δ+3(h)=1+U2+U4U23U34U24(1+U2)+U21U4U1U3(1U4)>0,Ph(1)=1+U1+U2+U3+U4>0,(1)4Pr(1)=1U1+U2U3+U4>0,ddh(Δ3(h))|h=h0=ddh(1U4U2U23+U34U24(1+U2)+2U2U4U21U4+U1U3(1+U4))|h=h00, (5.7)

    and

    10.5Ph(1)Δ0(h)Δ+1(h)=1(1U4)(1+U1+U2+U3+U4)2(1+U3U4(U1+U4))). (5.8)

    Theorem 5.5. At EES, the discrete HBV model (2.3) undergoes flip bifurcation if

    {1U4U2U23+U34U24(1+U2) +2U2U4U21U4+U1U3(1+U4)>0,1+U2+U4U23U34U24(1+U2)+U21U4U1U3(1U4)>0,1+U1+U2+U3+U4>0,1U1+U2U3+U4=0,1±U4>0,U1U2+U3U443U1+2U2U30, (5.9)

    where h0 is a real root of 1U1(h)+U2(h)U3(h)+U4(h)=0.

    Proof. This is the same as the proof of Theorem 5.3.

    Remark 5.1. The existence of Neimark-Sacker and flip bifurcations in the context of the epidemic equilibrium state within a discrete Hepatitis B virus (HBV) model carries significant biological and epidemiological implications:

    (1) A Neimark-Sacker bifurcation typically results in the emergence of stable periodic orbits from an epidemic equilibrium state. In the context of an HBV model, the presence of a Neimark-Sacker bifurcation could indicate the onset of sustained oscillations in the prevalence of the virus within the population. These oscillations may signify periodic fluctuations in the number of infected individuals over time. Biologically, this could reflect cyclical patterns in disease transmission, possibly influenced by seasonal factors or periodic changes in host immunity. Epidemiologically, the appearance of stable periodic orbits could have implications for the design and timing of control measures, as interventions may need to be adapted to account for the cyclical nature of Hepatitis B virus transmission.

    (2) A flip bifurcation typically occurs when a stable equilibrium point undergoes a sudden change in stability, leading to the emergence of a stable limit cycle or chaotic behavior. In the context of a Hepatitis B virus model, a flip bifurcation at the epidemic equilibrium state could indicate a critical transition in disease dynamics. This transition may manifest as a sudden shift from stable disease control to sustained endemicity or periodic outbreaks. Biologically, the flip bifurcation could signify a threshold effect, where small changes in key parameters lead to qualitative changes in disease behavior. Epidemiologically, this transition could have profound implications for public health strategies, necessitating a reassessment of control measures and surveillance efforts to effectively manage the evolving dynamics of Hepatitis B virus transmission.

    Overall, the presence of Neimark-Sacker and flip bifurcations in a discrete Hepatitis B virus model underscores the complex and nonlinear nature of Hepatitis B virus transmission dynamics. Understanding these bifurcations provides valuable insights into the potential for oscillatory behavior, critical transitions, and the effectiveness of control strategies, ultimately informing decision-making processes aimed at mitigating the burden of Hepatitis B virus infection on public health.

    We will study the convergence rate of the HBV model (2.3) in this section as follows:

    Theorem 6.1. If the positive solution of (2.3) is {(st,It,vt,zt)}t=0 such that limt{(st,It,vt,zt)}=Φ then

    ϖt=(ϖ1tϖ2tϖ3tϖ4t), (6.1)

    satisfying

    {limtt||ϖt||=|λ1,2,3,4J|Φ|,limt||ϖt+1||||ϖt||=|λ1,2,3,4J|Φ|. (6.2)

    Proof. If the HBV model (2.3) has a positive solution {(st,It,vt,zt)}t=0 such that limt{(st,It,vt,zt)}=Φ then

    {st+1s=(1hδhβvt)(sts)hβst(vtv),It+1I=hβvt(sts)+(1αhhpzt)(ItI)+hβst(vtv)hpIt(ztz),vt+1v=kh(ItI)+(1hu)(vtv),zt+1z=hczt(ItI)+(1hμ+hcIt)(ztz), (6.3)

    on setting

    {ϖ1t=sts,ϖ2t=ItI,ϖ3t=vtv,ϖ4t=ztz. (6.4)

    From (6.3) and (6.4), one has

    {ϖ1t+1=π11ϖ1t+π13ϖ3t,ϖ2t+1=π21ϖ1t+π22ϖ2t+π23ϖ3t+π24ϖ4t,ϖ3t+1=π32ϖ2t+π33ϖ3t,ϖ4t+1=π42ϖ2t+π44ϖ4t, (6.5)

    where

    {π11=1hδhβvt,π13=hβst,π21=hβvt,π22=1αhhpzt,π23=hβst,π24=hpIt,π32=kh,π33=1hu,π42=hczt,π44=1hμ+hcIt. (6.6)

    From (6.6), one has

    {limtπ11=1hδhβv,limtπ13=hβs,limtπ21=hβv,limtπ22=1αhhpz,limtπ23=hβs,limtπ24=hpI,limtπ32=kh,limtπ33=1hu,limtπ42=chz,limtπ44=1hμ+hcI, (6.7)

    that is

    π11=1hδhβv+η11,π13=hβs+η13,π21=hβv+η21,π22=1αhhpz+η22,π23=hβs+η23,π24=hpI+η24,π32=kh+η32,π33=1hu+η33,π42=chz+η42,π44=1hμ+hcI+η44, (6.8)

    where η11,η13,η21,η22,η23,η24,η32,η33,η42,η440 as t. From existing literature (see [34]), we have an error system

    ϖt+1=(A+Bt)ϖt, (6.9)

    where A=J|Φ and Bt=(η110η130η21η22η23η240η32η3300η420η44). So, the error system becomes

    (ϖ1t+1ϖ2t+1ϖ3t+1ϖ4t+1)=(1h(δ+βv)0hβs0hβv1αhhpzhβshpI0kh1hu00hcz01+h(cIμ))(ϖ1tϖ2tϖ3tϖ4t), (6.10)

    which is the same as a linearized system of discrete HBV model (2.3) at Φ. In particular, (6.10) gives

    (ϖ1t+1ϖ2t+1ϖ3t+1ϖ4t+1)=(1hδ0hβϑδ001αhhβϑδ00kh1hu00001hμ)(ϖ1tϖ2tϖ3tϖ4t), (6.11)
    (ϖ1t+1ϖ2t+1ϖ3t+1ϖ4t+1)=(αuhϑβkαu0hαuk0hϑβkαuhδαu1αhhαukhpδuαhpϑβkαkβ0kh1hu00001hμ+hcϑβkαhcuδkαβ)(ϖ1tϖ2tϖ3tϖ4t), (6.12)

    and

    (ϖ1t+1ϖ2t+1ϖ3t+1ϖ4t+1)=(1hδhβkμcu0hβcϑucdu+kβμ0hβkμcu1αhh(ckβϑcduαkαβμcδu+kβμ)hβcϑucdu+kβμhpμc0kh1hu00c2hkβϑc2δhuαkβμαhcp(cδu+kβμ)01)(ϖ1tϖ2tϖ3tϖ4t), (6.13)

    which are similar to the linearized system of the discrete HBV model (2.3) obtained at DFES, ES, and EES, respectively.

    In this section, the chaos control is studied by the feedback control strategy for the discrete HBV model (2.3) about EES by existing theory [35,36]. By utilizing feedback control strategy, the discrete HBV model (2.3) takes the form

    {st+1=hϑ(1+hδ)stβhstvt+ϱ(sts),It+1=(1αh)It+hβstvtphvtzt+ϱ(ItI),vt+1=(1hu)vt+hkIt+ϱ(vtv),zt+1=(1hμ)zt+hcItzt+ϱ(ztz), (7.1)

    where the control parameter is ϱ. The J|EES of the discrete HBV model (7.1) is

    J|EES=(1h(δ+βv)+ϱ0hβs0hβv1αhhpz+ϱhβshpI0kh1hu+ϱ00hcz01+h(cIμ)+ϱ.), (7.2)

    with

    P(λ)=λ4+U1λ3+U2λ2+U3λ+U4, (7.3)

    where

    {U1=hk2β2μ2+c2u(δ2hu+hkβϑ+δu(4+hu4ϱ))+ckuβμ(4+2δh+hu4ϱ)cu(cδu+kβμ),U2={hk2β2μ2(hu3(1+ϱ))+ckβμ(h2kβϑ+hu2(2δh3(1+ϱ))+u(h2αμ6δh(1+ϱ)+6(1+ϱ)2))+c2u(δ2hu(hu3(1+ϱ))+hkβϑ(hμ3(1+ϱ))+δ(h2kβϑ3hu2(1+ϱ)+u(h2αμ+6(1+ϱ)2))))}cu(cδu+kβμ),U3={hk2β2μ2(1+huϱ)(h2αμ(1+ϱ)2)+ckβμ(1+huϱ)(h2kβϑ(1+hμϱ)+u(1+2dhϱ)(h2αμ(1+ϱ)2))+c2u(1+δhϱ)(δu(1+huϱ)(h2αμ(1+ϱ))2)hkβϑ(h2uμhμ(1+ϱ)+(1+ϱ)2)))}cu(cδu+kβμ),U4={hk2β2μ2(1huϱ)(h2αμ(1+ϱ)2)+ckβμ(1+huϱ)(h2kβϑ(1hμ+ϱ)+u(1+2δhϱ)(h2αμ(1+ϱ)2))+c2u(1+δhϱ)(δu(1+huϱ)(h2αμ(1+ϱ)2)hkβϑ(h2uμhμ(1+ϱ)+(1+ϱ)2))}cu(cδu+kβμ). (7.4)

    So the dynamics of (7.1) can be concluded as follows:

    Theorem 7.1. EES is a sink if

    {|U1+U3|<1+U2+U4,|U3U1|<2(1U4),U23U4<3,U2+U24(1+U2)+U23+U4(1+U21)<1+2U2U4+U1U3(1+U4)+U34, (7.5)

    where U1,U2, U3, and U4 are depicted in (7.4).

    The following cases are to be presented in order to verify the correctness of the theoretical results.

    Case I. In this case, it is examined that at h=0.3186837362435554, the discrete HBV model (2.3) undergoes a flip bifurcation if ϑ=13.9, β=2.654, α=3.21, k=1.976, u=3, δ=1.004, c=1.4, μ=1.7432768, p=1.9, and h[0.01,0.3] with (s0,I0,v0,z0)=(0.0147,0.169,0.2,0.0). If ϑ=13.9, β=2.654, α=3.21, k=1.976, u=3, δ=1.004, c=1.4, μ=1.7432768, p=1.9, and h=0.3186837362435554, then from (4.22), we get

    λ41.131702610917976λ30.650389459175736λ2+1.1486039709118576λ0.3327091808303837=0, (8.1)

    with λ1=1 but λ2,3,4=0.49978202821265805, 0.8068705153090874, 0.82505006739622291 or 1, and for the occurrence of flip bifurcation eigenvalues criterion holds. Therefore, the discrete HBV model (2.3) may undergo flip bifurcation. But following simulation ensures that flip bifurcation must exist, and so, if ϑ=13.9, β=2.654, α=3.21, k=1.976, u=3, δ=1.004, c=1.4, μ=1.7432768, p=1.9, and h=0.3186837362435554, then from (5.3), one gets

    {1S4S2S32+S43S42(1+S2)+2S2S4S12S4+S1S3(1+S4)=0.5797798112011889>0,1+S2+S4S32S43S42(1+S2)+S12S4S1S3(1S4)=0.001981320720067181>0,1+S1+S2+S3+S4=0.0338027199877623>0,1S1+S2S3+S4=0,1+S4=0.6672908191696163>0,1S4=1.3327091808303837>0,S1S2+S3S443S1+2S2S3=0.68758918045565290. (8.2)

    Thus, from (8.2), all conditions of Theorem 5.3 hold, and hence, flip bifurcation takes place at ES. Finally, MLE along with flip bifurcation diagrams are shown in Figure 2.

    Figure 2.  Bifurcation diagrams of HBV model (2.3) for (2a) It, (2b) vt, (2c) δ, and It, (2d) δ, and vt, (2e) p, and vt, (2f) p, and It, (2g) β, and It, (2h) β, and vt, (2i) MLEs.

    Case II. If h=0.0734578, ϑ=4.3, δ=2.004, α=0.41, β=2.5, p=1.9, k=5.5, u=4.6, c=8.4, and μ=4.432768, then from (4.28), one has |U1+U3|=4.954082970547482<1+U2+U4 =4.960842450652595, |U3U1|=1.3166773911382283<2(1U4)=1.3591781755420462, U33U4=2.679198801736687<3, and U2+U42(1+U2)+U32+U4(1+U12)=10.894757977942465<1+2U2U4+U1U3(1+U4)+U43=10.895174109435445, and therefore, EES=(1.200649318366021,0.5277104761904762,0.6309581780538303,1.6731039047520355) of the discrete HBV model (2.3) is a sink (see Figure 3).

    Figure 3.  Dynamics of HBV model (2.3) at EES.

    Case III. Now, we will examine that at h=0.00032327767915996635, the discrete HBV model (2.3) undergoes a N-S bifurcation if ϑ=4.3, β=2.5, α=0.41, k=5.5, u=4.6, δ=3.004, c=8.4, μ=4.432768, p=1.9, and h[0.01,0.2] with (s0,I0,v0,z0)=(0.147,3.169,1.2,1.3). If ϑ=4.3, β=2.5, α=0.41, k=5.5, u=4.6, δ=3.004, c=8.4, μ=4.432768, p=1.9, and h=0.00032327767915996635, then from (4.26), one has

    λ43.9966530726007075λ3+5.989962690688134λ23.9899661610087445λ+0.9966565429226788=0, (8.3)

    with λ1,2=0.9998769965433948±0.000806187461780547ι, λ3=0.9978504688163795, and λ4=0.9990487427589927, where |λ1,2|=1. Therefore, the eigenvalues criterion holds for the occurrence of said bifurcation, and so, the HBV model (2.3) may undergo a N-S bifurcation. But the rest of the simulation shows that N-S bifurcation must exist, that is, if ϑ=4.3, β=2.5, α=0.41, k=5.5, u=4.6, δ=3.004, c=8.4, μ=4.432768, p=1.9, and h=0.00027921473998766453, then from (5.6), we get

    {1U4U2U32+U43U42(1+U2)+2U2U4U12U4+U1U3(1+U4)=0,1+U2+U4U32U43U42(1+U2)+U12U4U1U3(1U4)=7.220059305979021×108>0,1+U1+U2+U3+U4=1.361133428190442×1012>0,1U1+U2U3+U4=15.973238467220266>0,1+U4=1.9966565429226788>0,1U4=0.003343457077321199>0,ddh(1U4U2U32+U43U42(1+U2)+2U2U4U12U4+U1U3(1+U4))|h=0.00027921473998766453=1.4235096688912791×10130,1(1U4)(1+U1+U2+U3+U4)2(1+U3U4(U1+U4))=0.987. (8.4)

    Moreover, cos2πl=0.987 implies l=±4.33246986002. From (8.4), it is concluded that all conditions of Theorem 5.4 hold, and hence, at EES, the HBV model (2.3) undergoes N-S bifurcation, where the MLE along with N-S bifurcation diagrams are plotted in Figure 4.

    Figure 4.  Bifurcation diagrams of HBV model (2.3) for (4a) st, (4b) vt, (4c) It, (4d) zt, (4e) st, and It, (4f) st, and vt, (4g) st, and zt, (4h) It, and zt, (4i) It, and vt, (4j) zt, and vt (4k) β, and st. (4l) MLEs.

    Case IV. If ϑ=12.3, β=2.45, α=4.1, k=4.256, u=1, δ=1.004, c=3.84, μ=1.7432312322768, p=1.9, and h=0.08978168084826603, then from (4.26), one gets:

    λ41.38816571642045λ30.49893399053407883λ2+1.394097000247012λ0.49513472563936095=0, (8.5)

    with λ1=1 but λ2,3,4=0.6929389869902541, 0.7851203029606955, 0.91010642646950021 or 1. This implies that eigenvalues criterion holds for the appearance of flip bifurcation if ϑ=12.3, β=2.45, α=4.1, k=4.256, u=1, δ=1.004, c=3.84, μ=1.7432312322768, p=1.9, and h=0.08978168084826603. Furthermore, if ϑ=12.3, β=2.45, α=4.1, k=4.256, u=1, δ=1.004, c=3.84, μ=1.7432312322768, p=1.9, and h=0.08978168084826603, then from (5.9), one has

    {1U4U2U32+U43U42(1+U2)+2U2U4U12U4+U1U3(1+U4)=0.26727990660084344>0,1+U2+U4U32U43U42(1+U2)+U12U4U1U3(1U4)=0.00026888901369193086>0,1+U1+U2+U3+U4=0.011709736762275158>0,1U1+U2U3+U4=0,1+U4=0.4941078579878404>0,1U4=1.5058921420121596>0,U1U2+U3U443U1+2U2U3=9.7726052857409280. (8.6)

    From (8.6), all parametric conditions of Theorem 5.5 hold, and at EES, the HBV model (2.3) undergoes flip bifurcation (see Figure 5).

    Figure 5.  Bifurcation diagrams of HBV model (2.3) for (5a) vt, (5b) zt, (5c) st, and vt, (5d) k, and zt, (5e) It, and vt, (5f) st, and zt, (5g) vt, and zt, (5h) δ, and zt. (5i) MLEs.

    Case V. If h=0.07834578, ϑ=4.3, δ=3.004, α=0.41, β=2.5, p=1.9, k=5.5, u=4.6, c=8.4, μ=4.432768, and ϱ=0.007, then from (7.5), one gets |U1+U3|=4.810518929365905<1+U2+U4=4.8185666034767305, |U3U1|=1.3672303900825242<2(1U4)=1.4041181034286887, U23U4=2.626802810334108<3, and finally, U2+U42(1+U2)+U32+U4(1+U12)=10.026614433151806<1+2U2U4+U1U3(1+U4)+U43=10.026701399999961, which implies that EES=(0.516585,2.7202,1.10213,8.60536) of the control HBV model (7.1) is a sink. The plots for control HBV model (7.1) with (s0,I0,v0,z0)=(3.06276,0.9821,0.9,0.1) are shown in Figure 6 which demonstrates that EES=(0.9385786604748523,0.5277104761904762,0.6309581780538303,1.2608073891909866) is a sink.

    Figure 6.  Graphs of control HBV model (7.1) at EES.

    This work is about the local dynamics at equilibrium states, and we have examined the basic reproduction number, rate of convergence, and bifurcation analysis of discrete HBV model (2.3). We examined that for all of the model's parameters, discrete HBV model (2.3) had a disease-free equilibrium state. Furthermore, under certain parametric restriction(s), discrete HBV model (2.3) had a boundary equilibrium state, that is, the state where the pathogens are present while CTLs are absent, and an epidemic equilibrium state. Next, by liner stability theory, we examined the local dynamical properties at equilibrium states of discrete HBV model (2.3). We have also studied the convergence rate for discrete HBV model (2.3). Further, in order to understand the dynamics of discrete HBV model (2.3) deeply, we have studied the possible bifurcation scenarios. We have proved that with a disease-free equilibrium state, there exists no flip and fold bifurcations, but discrete HBV model (2.3) undergoes flip bifurcations about the boundary equilibrium state, and Neimark-Sacker and flip bifurcations about the epidemic equilibrium state. We have studied flip bifurcations about the boundary equilibrium state, and Neimark-Sacker and flip bifurcations about the epidemic equilibrium state of discrete HBV model (2.3) by utilizing explicit criterion. The rate of convergence and chaos in discrete HBV model (2.3) were also examined. Finally, our main findings are illustrated numerically.

    Boundedness, persistence, and global dynamics at equilibrium states of a discrete HBV model (2.3) are our next aim to study.

    Abdul Qadeer Khan: Conceptualization, formal analysis, investigation, methodology, resources, software, supervision, validation, visualization, writing original draft, writing review & editing; Fakhra Bibi: Formal analysis, investigation, software, writing original draft, writing review & editing; Saud Fahad Aldosary: Conceptualization, funding acquisition, resources, writing original draft, writing review & editing. 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.

    This study is supported via funding from Prince Sattam bin Abdulaziz University, project number (PSAU/2024/R/1445).

    The authors declare that they have no conflicts of interest.



    [1] A. Carpinteri, F. Mainardi, Fractals and fractional calculus in continuum mechanics, Vienna: Springer, https://doi.org/10.1007/978-3-7091-2664-6
    [2] L. Debnath, Recent applications of fractional calculus to science and engineering, Int. J. Math. Math. Sci., 2003 (2003), 753601. https://doi.org/10.1155/S0161171203301486 doi: 10.1155/S0161171203301486
    [3] J. T. Machado, V. Kiryakova, F. Mainardi, Recent history of fractional calculus, Commun. Nonlinear Sci. Numer. Simul., 16 (2011), 1140–1153. https://doi.org/10.1016/j.cnsns.2010.05.027 doi: 10.1016/j.cnsns.2010.05.027
    [4] A. A. M. Arafa, S. Z. Rida, H. Mohamed, Approximate analytical solutions of Schnakenberg systems by homotopy analysis method, Appl. Math. Model., 36 (2012), 4789–4796. https://doi.org/10.1016/j.apm.2011.12.014 doi: 10.1016/j.apm.2011.12.014
    [5] P. Sunthrayuth, A. M. Zidan, S. W. Yao, R. Shah, M. Inc, The comparative study for solving fractional-order Fornberg Whitham equation via ρ-Laplace transform, Symmetry, 13 (2021), 784. https://doi.org/10.3390/sym13050784 doi: 10.3390/sym13050784
    [6] R. Shah, H. Khan, D. Baleanu, Fractional Whitham Broer Kaup equations within modified analytical approaches, Axioms, 8 (2019), 125. https://doi.org/10.3390/axioms8040125 doi: 10.3390/axioms8040125
    [7] H. M. Srivastava, R. Shah, H. Khan, M. Arif, Some analytical and numerical investigation of a family of fractional-order Helmholtz equations in two space dimensions, Math. Methods Appl. Sci., 43 (2020), 199–212. https://doi.org/10.1002/mma.5846 doi: 10.1002/mma.5846
    [8] H. Yasmin, N. H. Aljahdaly, A. M. Saeed, Investigating symmetric soliton solutions for the fractional coupled konno onno system using improved versions of a novel analytical technique, Mathematics, 11 (2023), 2686. https://doi.org/10.3390/math11122686 doi: 10.3390/math11122686
    [9] M. M. Al-Sawalha, R. Shah, A. Khan, O. Y. Ababneh, T. Botmart, Fractional view analysis of Kersten-Krasil'shchik coupled KdV-mKdV systems with non-singular kernel derivatives, AIMS Mathematics, 7 (2022), 18334-18359. https://doi.org/10.3934/math.20221010 doi: 10.3934/math.20221010
    [10] A. A. Alderremy, R. Shah, N. Iqbal, S. Aly, K. Nonlaopon, Fractional series solution construction for nonlinear fractional reaction-diffusion Brusselator model utilizing Laplace residual power series, Symmetry, 14 (2022), 1944. https://doi.org/10.3390/sym14091944 doi: 10.3390/sym14091944
    [11] S. Alshammari, M. M. Al-Sawalha, R. Shah, Approximate analytical methods for a fractional-order nonlinear system of Jaulent Miodek equation with energy-dependent Schrodinger potential, Fractal Fract., 7 (2023), 140. https://doi.org/10.3390/fractalfract7020140 doi: 10.3390/fractalfract7020140
    [12] E. M. Elsayed, R. Shah, K. Nonlaopon, The analysis of the fractional-order Navier-Stokes equations by a novel approach, J. Funct. Spaces, 2022 (2022), 8979447. https://doi.org/10.1155/2022/8979447 doi: 10.1155/2022/8979447
    [13] M. Alqhtani, K. M. Saad, W. Weera, W. M. Hamanah, Analysis of the fractional-order local Poisson equation in fractal porous media, Symmetry, 14 (2022), 1323. https://doi.org/10.3390/sym14071323 doi: 10.3390/sym14071323
    [14] H. Yasmin, A. S. Alshehry, A. H. Ganie, A. M. Mahnashi, Perturbed Gerdjikov Ivanov equation: Soliton solutions via Backlund transformation, Optik, 298 (2024), 171576. http://dx.doi.org/10.1016/j.ijleo.2023.171576 doi: 10.1016/j.ijleo.2023.171576
    [15] N. A. Pirim, F. Ayaz, A new technique for solving fractional order systems: Hermite collocation method, Appl. Math., 7 (2016), 2307–2323. http://dx.doi.org/10.4236/am.2016.718182 doi: 10.4236/am.2016.718182
    [16] V. Marinca, N. Herisanu, Application of optimal homotopy asymptotic method for solving nonlinear equations arising in heat transfer, Int. Commun. Heat Mass Transfer, 35 (2008), 710–715. https://doi.org/10.1016/j.icheatmasstransfer.2008.02.010 doi: 10.1016/j.icheatmasstransfer.2008.02.010
    [17] J. S. Duan, R. Rach, D. Baleanu, A. M. Wazwaz, A review of the Adomian decomposition method and its applications to fractional differential equations, Commun. Frac. Calc., 3 (2012), 73–99.
    [18] M. Khan, M. A. Gondal, I. Hussain, S. K. Vanani, A new comparative study between homotopy analysis transform method and homotopy perturbation transform method on a semi infinite domain, Math. Comput. Model., 55 (2012), 1143–1150. https://doi.org/10.1016/j.mcm.2011.09.038 doi: 10.1016/j.mcm.2011.09.038
    [19] A. Jabbari, H. Kheiri, A. Yildirim, Homotopy analysis and homotopy Pade methods for (1+1) and (2+1) dimensional dispersive long wave equations, Internat. J. Numer. Methods Heat Fluid Flow, 23 (2013), 692–706. http://dx.doi.org/10.1108/09615531311323818 doi: 10.1108/09615531311323818
    [20] R. K. Gazizov, A. A. Kasatkin, Construction of exact solutions for fractional order differential equations by the invariant subspace method, Comput. Math. Appl., 66 (2013), 576–584. https://doi.org/10.1016/j.camwa.2013.05.006 doi: 10.1016/j.camwa.2013.05.006
    [21] A. Prakash, P. Veeresha, D. G. Prakasha, M. Goyal, A new efficient technique for solving fractional coupled Navier-Stokes equations using q-homotopy analysis transform method, Pramana-J. Phys., 93 (2018), 6. https://doi.org/10.1007/s12043-019-1763-x doi: 10.1007/s12043-019-1763-x
    [22] R. K. Pandey, H. K. Mishra, Homotopy analysis Sumudu transform method for time-fractional third order dispersive partial differential equation, Adv. Comput. Math., 43 (2017), 365–383. https://doi.org/10.1007/s10444-016-9489-5 doi: 10.1007/s10444-016-9489-5
    [23] Z. H. Guo, O. Acan, S. Kumar, Sumudu transform series expansion method for solving the local fractional Laplace equation in fractal thermal problems, Thermal Sci., 20 (2016), 739–742. http://dx.doi.org/10.2298/TSCI16S3739G doi: 10.2298/TSCI16S3739G
    [24] K. K. Ali, M. Maneea, M. S. Mohamed, Solving nonlinear fractional models in superconductivity using the q-Homotopy analysis transform method, J. Math., 2023 (2023), 6647375. https://doi.org/10.1155/2023/6647375 doi: 10.1155/2023/6647375
    [25] Z. Y. Fan, K. K. Ali, M. Maneea, M. Inc, S. W. Yao, Solution of time fractional Fitzhugh-Nagumo equation using semi analytical techniques, Results Phys., 51 (2023), 106679. https://doi.org/10.1016/j.rinp.2023.106679 doi: 10.1016/j.rinp.2023.106679
    [26] K. K. Ali, F. E. A. Elbary, M. Maneea, Efficient techniques for nonlinear dynamics: A study of fractional generalized quintic Ginzburg-Landau equation, J. Taibah Univ. Sci., 18 (2024), 2333593. https://doi.org/10.1080/16583655.2024.2333593 doi: 10.1080/16583655.2024.2333593
    [27] M. A. El-Tawil, S. N. Huseen, The q-homotopy analysis method (q-HAM), Int. J. Appl. Math. Mech., 8 (2012), 51–75.
    [28] M. A. El-Tawil, S. N. Huseen, On convergence of the q-homotopy analysis method, Int. J. Contemp. Math. Sci., 8 (2013), 481–497.
    [29] Z. J. Liu, M. Y. Adamu, E. Suleiman, J. H. He, Hybridization of homotopy perturbation method and Laplace transformation for the partial differential equations, Thermal Sci., 21 (2017), 1843–1846. http://dx.doi.org/10.2298/TSCI160715078L doi: 10.2298/TSCI160715078L
    [30] A. Prakash, H. Kaur, q-homotopy analysis transform method for space and time-fractional KdV-Burgers equation, Nonlinear Sci. Lett. A, 9 (2018), 44–61.
    [31] E. F. Keller, L. A. Segel, Initiation of slime mold aggregation viewed as an instability, J. Theoret. Biol., 26 (1970), 399–415. https://doi.org/10.1016/0022-5193(70)90092-5 doi: 10.1016/0022-5193(70)90092-5
    [32] A. Atangana, Extension of the Sumudu homotopy perturbation method to an attractor for one-dimensional Keller-Segel equations, Appl. Math. Model., 39 (2015), 2909–2916. https://doi.org/10.1016/j.apm.2014.09.029 doi: 10.1016/j.apm.2014.09.029
    [33] A. Atangana, B. S. T. Alkahtani, Analysis of the Keller-Segel model with a fractional derivative without singular kernel, Entropy, 17 (2015), 4439–4453. https://doi.org/10.3390/e17064439 doi: 10.3390/e17064439
    [34] A. Atangana, E. Alabaraoye, Solving a system of fractional partial differential equations arising in the model of HIV infection of CD4+ cells and attractor one-dimensional Keller-Segel equations, Adv. Differ. Equ., 2013 (2013), 94. https://doi.org/10.1186/1687-1847-2013-94 doi: 10.1186/1687-1847-2013-94
    [35] M. Zayernouri, A. Matzavinos, Fractional Adams-Bashforth/Moulton methods: An application to the fractional Keller-Segel chemotaxis system, J. Comput. Phys., 317 (2016), 1–14. https://doi.org/10.1016/j.jcp.2016.04.041 doi: 10.1016/j.jcp.2016.04.041
    [36] S. Kumar, A. Kumar, I. K. Argyros, A new analysis for the Keller-Segel model of fractional order, Numer. Algorithms, 75 (2017), 213–228. https://doi.org/10.1007/s11075-016-0202-z doi: 10.1007/s11075-016-0202-z
    [37] M. A. Dokuyucu, D. Baleanu, E. Çelik, Analysis of Keller-Segel model with Atangana-Baleanu fractional derivative, Filomat, 32 (2018), 5633–5643. http://dx.doi.org/10.2298/FIL1816633D doi: 10.2298/FIL1816633D
    [38] X. Luo, M. Nadeem, M. Inc, S. Dawood, Fractional complex transform and homotopy perturbation method for the approximate solution of Keller-Segel model, J. Funct. Spaces, 2022 (2022), 9637098. https://doi.org/10.1155/2022/9637098 doi: 10.1155/2022/9637098
    [39] O. A. Arqub, Series solution of fuzzy differential equations under strongly generalized differentiability, J. Adv. Res. Appl. Math., 5 (2013), 31–52. http://dx.doi.org/10.5373/jaram.1447.051912 doi: 10.5373/jaram.1447.051912
    [40] O. A. Arqub, Z. Abo-Hammour, R. Al-Badarneh, S. Momani, A reliable analytical method for solving higher-order initial value problems, Discrete Dyn. Nat. Soc., 2013 (2013), 673829. http://dx.doi.org/10.1155/2013/673829 doi: 10.1155/2013/673829
    [41] O. A. Arqub, A. El-Ajou, Z. A. Zhour, S. Momani, Multiple solutions of nonlinear boundary value problems of fractional order: A new analytic iterative technique, Entropy, 16 (2014), 471–493. https://doi.org/10.3390/e16010471 doi: 10.3390/e16010471
    [42] A. El-Ajou, O. A. Arqub, S. Momani, Approximate analytical solution of the nonlinear fractional KdV-Burgers equation: A new iterative algorithm, J. Comput. Phys., 293 (2015), 81–95. https://doi.org/10.1016/j.jcp.2014.08.004 doi: 10.1016/j.jcp.2014.08.004
    [43] S. Rida, A. Arafa, A. Abedl-Rady, H. Abdl-Rahaim, Fractional physical differential equations via natural transform, Chinese J. Phys., 55 (2017), 1569–1575. https://doi.org/10.1016/j.cjph.2017.05.004 doi: 10.1016/j.cjph.2017.05.004
    [44] J. Zhang, Z. Wei, L. Li, C. Zhou, Least-squares residual power series method for the time-fractional differential equations, Complexity, 2019 (2019), 6159024. https://doi.org/10.1155/2019/6159024 doi: 10.1155/2019/6159024
    [45] Y. Xie, I. Ahmad, T. I. S. Ikpe, E. F. Sofia, H. Seno, What influence could the acceptance of visitors cause on the epidemic dynamics of a Reinfectious disease?: A mathematical model, Acta Biotheor., 72 (2024), 3. https://doi.org/10.1007/s10441-024-09478-w doi: 10.1007/s10441-024-09478-w
    [46] I. Jaradat, M. Alquran, K. Al-Khaled, An analytical study of physical models with inherited temporal and spatial memory, Eur. Phys. J. Plus, 133 (2018), 162. https://doi.org/10.1140/epjp/i2018-12007-1 doi: 10.1140/epjp/i2018-12007-1
    [47] M. Alquran, K. Al-Khaled, S. Sivasundaram, H. M. Jaradat, Mathematical and numerical study of existence of bifurcations of the generalized fractional Burgers-Huxley equation, Nonlinear Stud., 24 (2017), 235–244.
    [48] I. Ahmad, H. Seno, An epidemic dynamics model with limited isolation capacity, Theory Biosci., 142 (2023), 259–273. https://doi.org/10.1007/s12064-023-00399-9 doi: 10.1007/s12064-023-00399-9
    [49] G. O. Ojo, N. I. Mahmudov, Aboodh transform iterative method for spatial diffusion of a biological population with fractional-order, Mathematics, 9 (2021), 155. https://doi.org/10.3390/math9020155 doi: 10.3390/math9020155
    [50] M. A. Awuya, G. O. Ojo, N. I. Mahmudov, Solution of space-time fractional differential equations using Aboodh transform iterative method, J. Math., 2022 (2022), 4861588. https://doi.org/10.1155/2022/4861588 doi: 10.1155/2022/4861588
    [51] M. A. Awuya, D. Subasi, Aboodh transform iterative method for solving fractional partial differential equation with Mittag-Leffler Kernel, Symmetry, 13 (2021), 2055. https://doi.org/10.3390/sym13112055 doi: 10.3390/sym13112055
    [52] M. I. Liaqat, S. Etemad, S. Rezapour, C. Park, A novel analytical Aboodh residual power series method for solving linear and nonlinear time-fractional partial differential equations with variable coefficients, AIMS Mathematics, 7 (2022), 16917–16948. http://dx.doi.org/10.3934/math.2022929 doi: 10.3934/math.2022929
    [53] M. I. Liaqat, A. Akgul, H. Abu-Zinadah, Analytical investigation of some time-fractional Black-Scholes models by the Aboodh residual power series method, Mathematics, 11 (2023), 276. https://doi.org/10.3390/math11020276 doi: 10.3390/math11020276
    [54] K. S. Aboodh, The new integral transform'Aboodh transform, Glob. J. Pure Appl. Math., 9 (2013), 35–43.
    [55] S. Aggarwal, R. Chauhan, A comparative study of Mohand and Aboodh transforms, Int. J. Res. Adv. Technol., 7 (2019), 520–529.
    [56] M. E. Benattia, K. Belghaba, Application of the Aboodh transform for solving fractional delay differential equations, Univ. J. Math. Appl., 3 (2020), 93–101. https://doi.org/10.32323/ujma.702033 doi: 10.32323/ujma.702033
    [57] B. B. Delgado, J. E. Macias-Diaz, On the general solutions of some non-homogeneous Div-curl systems with Riemann-Liouville and Caputo fractional derivatives, Fractal Fract., 5 (2021), 117. https://doi.org/10.3390/fractalfract5030117 doi: 10.3390/fractalfract5030117
    [58] S. Alshammari, M. Al-Smadi, I. Hashim, M. A. Alias, Residual power series technique for simulating fractional Bagley-Torvik problems emerging in applied physics, Appl. Sci., 9 (2019), 5029. https://doi.org/10.3390/app9235029 doi: 10.3390/app9235029
  • 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(894) PDF downloads(65) Cited by(0)

Figures and Tables

Figures(16)  /  Tables(12)

Other Articles By Authors

/

DownLoad:  Full-Size Img  PowerPoint
Return
Return

Catalog