Abstract

In this study, the co-infection of HIV and cholera model has been developed and analyzed. The new fractional-order derivative is applied and the behavior of the solution is interpreted. The order of new generalized fractional-order derivative implication is presented. A new method is incorporated to determine the forward bifurcation at a threshold . The developed method is used to determine the stability of steady-state points. The full model and the submodels’ disease-free equilibrium are locally asymptotically stable if the corresponding reproduction number is less than one and unstable if the production number is greater than one. The only HIV model exhibits forward bifurcation at the threshold point, . The numerical simulations solutions obtained using a new generalized fractional-order derivative shows that the total human population size approaches the disease-free equilibrium if the order of the fractional derivative is higher. Also, the simulated results show that the memory effects toward the invading disease are less whenever the order of the fractional derivative is near 0 but higher whenever the order of the fractional derivative is near 1. Furthermore, V. cholerae concentration in the environment increases whenever the intrinsic growth rate increases. The numerical solutions are carried out using MATLAB software.

1. Introduction

The individual infected with Human immunodeficiency virus (HIV) has a weak immune system [15]. HIV is the virus that invades targeted human T-cells directly [6, 7]. The advanced stage HIV of causes the fatal disease called acquired immunodeficiency syndrome (AIDS) [5]. In 2018, globally the estimated number of people living with HIV was 37.9 million and estimated deaths were about 1.2 million. Moreover, only about 62% of HIV tested individuals were under ART [5]. Particularly, in Ethiopia, 2018, there were about 690 people living with HIV, about 23,000 were newly infected individuals, and 11000 people died because of infection [5]. The common modes of HIV transmission are unsafe sex, usage of HIV exposed materials, mother to child during pregnancy, and untested blood transfusion. Individuals who get infected with HIV/AIDS can be treated with antiretroviral therapy (ART) [5]. The individual who get cholera infection can be dead within an hour if not treated instantly [8]. The transmission ways of cholera infection is through eating food and drinking water exposed to Vibrio cholerae that causes the infection [914]. Cholera infected individuals can be treated with oral rehydration solution (ORS). HIV infected individuals has high susceptibility to cholera infection [4]. The individuals identified with cholera infection need to be tested for HIV infection.

The mathematical model is the widely used science to describe the dynamic behavior of population toward infections. For instance, a new generalized fractional order is applied in the epidemiology [15, 16]. Moreover, mathematical models are widely applied in modeling different infections [1630].

In this study, we are motivated by a new generalized fractional-order derivative described and applied in the recent works in [15, 16]. Moreover, we have modified the works of [4], and a new generalized fractional-order derivative is applied to the developed HIV-cholera co-infection model.

2. Mathematical Model

In this study, we have developed the HIV and cholera co-infection model (Figure 1). We have divided the population targeted for this study into ten exclusive compartments which consist of the following. (i) Susceptible individuals (S): these are noninfectious individuals who can be infected with possible exposure to the infection. (ii) Only cholera-infected individuals (C): these are individuals infected with only cholera infection. (iii) Recovered individuals (R): these are recovered individuals who are infected by only cholera infection. (iv) HIV-infected individuals (I): these are individuals who get infected with HIV and at pre-AIDS stage. (v) HIV-cholera co-infected individuals (D): these are individuals who are infected both with HIV and cholera infection. They are at pre-AIDS stage. (vi) Recovered HIV individuals (): these are HIV infected and cholera recovered individuals. They are at pre-AIDS stage. (vii) AIDS individuals (A): these are individuals who get infected with only HIV and at AIDS stage. (viii) AIDS-cholera-infected individuals : these are individuals at the AIDS stage and infected with cholera infection. (ix) Recovered AIDS individuals : these are cholera-recovered AIDS individuals. (x) Vibrio cholerae concentration (B): these are concentration of Vibrio cholerae in the environment that causes cholera infection with possible feeding the contaminated food or water.

Furthermore, the following assumptions are considered in the development of the HIV and cholera model:(i)The population is assumed to be homogeneous.(ii)Recruitment rate of individuals into susceptible compartment is .(iii)The total population size is nonconstant.(iv)The total population size of human population under the study is denoted by and defined as(v)All human populations die at natural death rate of .(vi)All individuals in and die due to cholera infection at the rate of and , respectively.(vii)All individuals in , , and die at disease-induced death rate of , and , respectively.(viii)The transferring rate of to due to treatment is .(ix)The transferring rate of to due to treatment is .(x)The transferring rate of to due to treatment is .(xi)The rate of losing immunity for , , and are , and , respectively.(xii)HIV is transmitted at transmission rate is .(xiii)Cholera infection transmission rate is .(xiv)Logistic growth model is considered for concentration of V. cholerae in the environment.(xv)Intrinsic growth rate is .(xvi)Concentration of V. cholerae in the environment that causes 50% cholera infection is .(xvii) is the carrying capacity of V. cholerae in the environment.(xviii)V. cholerae die at the rate .

The mathematical model of the HIV-cholera co-infection is given by

with nonnegative initial conditions, where .

3. Mathematical Analysis of the Submodels

3.1. Only HIV Model

In the absence of cholera, infection model (2) reduces to the form:with nonnegative initial conditions.

3.1.1. Invariant Region

Theorem 1. The proper subset of is a solution region of only the HIV model such that

Proof. Adding left and right expressions of model (3), we obtainApplying integration on the preceding inequality, we obtainAs time gets larger and larger, the preceding expression is bounded above by . Therefore, the solutions of only the HIV model are bounded in the invariant such that

3.1.2. Positivity Property

Theorem 2. The solutions of only HIV model are nonnegative for all time .

Proof. Considering the first equation of model (3), we obtainIgnoring the positive term , the forgoing equation reduces to the inequality of the form:Applying integration and solving for variable , the foregoing inequality reduces toIn the preceding inequality, and are nonnegative for all time . Therefore, is nonnegative for all time . Similarly, other state variables are nonnegative. Therefore, all solutions are nonnegative.

3.1.3. Existence and Uniqueness of Solutions

Proof. The expressions on the right of equality in the only HIV model are continuously differentiable everywhere. Therefore, the solutions of the only HIV model exist and are unique by Cauchy–Lipchitz theorem, stated in [11].

3.1.4. Disease-Free Equilibrium

The disease-free equilibrium is a steady state where there is no disease in the population. To obtain disease-free equilibrium, we set the rate of change of variables in model (3) equals to zero along with . That is,

Hence, solving the equation, we obtain

3.1.5. Endemic Equilibrium

An endemic equilibrium is a steady state at which the disease persists in the population. To obtain the endemic equilibrium, we set

Solving the foregoing equation, we obtainwhere .

3.1.6. Reproduction Number

The reproduction number is computed from the only HIV model using the next-generation method. Moreover, from thw only HIV model, the rate of change of infected variables can be written as

Taking and , the next-generation matrix is given by

The eigenvalues of the foregoing next-generation matrix are given by

Therefore, the reproduction number , spectral radius of next-generation matrix, is given bywhere .

3.1.7. Bifurcation and Stability Analysis

Center manifold theory is widely used to determine the occurrence of forward bifurcation and backward bifurcation at equilibrium point. For instance, bifurcation analysis is performed in the works done in [2835]. Moreover, based on application of center manifold theory, we have stated an efficient new generalized method to determine a kind of bifurcation that occurs at and stability behavior of equilibriums of the model without computing bifurcation parameters required in center manifold theory on bifurcation analysis.

Theorem 3. (new generalized method for bifurcation and stability analysis).

(i)Bifurcation diagram is an efficient diagram to determine the occurrence of backward and forward bifurcations at . Hence, simulate endemic equilibrium versus reproduction number,(ii)An endemic equilibrium of the epidemic model undergoes forward bifurcation at if stability behavior of model equilibriums interchanged at . Moreover, endemic equilibrium of a model is stable only if .(iii)An endemic equilibrium of the epidemic model undergoes backward bifurcation at if stability behavior of a model equilibria share the same stability behavior if .(iv)In backward bifurcation, the endemic equilibrium exhibits both stable and unstable behavior for which is less than bifurcation parameter yielding point.(v)An epidemic model with endemic equilibrium that undergoes forward bifurcation at has locally and globally asymptotically stable endemic equilibrium if .(vi)A model with endemic equilibrium that behaves forward bifurcation at has locally and globally asymptotically stable disease-free equilibrium if .

In this section, we simulate endemic equilibrium versus reproduction number to identify the kind of bifurcation that occurs at the point and to determine the stability behavior of equilibriums if and .

Theorem 4. The only HIV model exhibits forward bifurcation at provided that only disease-free equilibrium is stable if and endemic equilibrium is only positively stable if .

Proof. It follows from Figure 2.

3.1.8. Local Stability of HIV-Free Equilibrium

Theorem 5. The HIV-free equilibrium of the only HIV model is locally asymptotically stable if and unstable if .

Proof. The Jacobian matrix constructed from the only HIV model at disease-free equilibrium is given byThe eigenvalues of the foregoing matrix are computed asHere, all computed eigenvalues are negative. Therefore, by stability theory of differential equations, the HIV-free equilibrium of the only HIV model is locally asymptotically stable if and only if and unstable if .

3.1.9. Global Stability of HIV-Free Equilibrium

Theorem 6. The HIV-free equilibrium of the only HIV model is globally asymptotically stable if and unstable if .

Proof. It follows from Theorem 3.

3.1.10. Local Stability of Endemic Equilibrium

Theorem 7. The HIV-free equilibrium of the only HIV model is locally asymptotically stable if and unstable if .

Proof. It follows from Theorem 3.

3.1.11. Local Stability of Endemic Equilibrium

Theorem 8. The HIV-free equilibrium of the only HIV model is locally asymptotically stable if and unstable if .

Proof. It follows from Theorem 3.

3.1.12. Global Stability of Endemic Equilibrium

Theorem 9. The endemic equilibrium of the only HIV model is globally asymptotically stable if and unstable if .

Proof. It follows from Theorem 3.

3.2. Only Cholera Model

In the absence of HIV/AIDS in the population, the only cholera model is obtained from model (2) asunder nonnegative initial conditions.

3.2.1. Invariant Region

Theorem 10. The solutions of the only cholera model are invariant in the region proper subset of such that .

Proof. Adding the first three equations of the only cholera model, we obtainSolving the above inequality over time interval , we obtainAs time , the total human population in the only cholera model for all time . Also, from the last equation of the only cholera model, we haveSolving the preceding inequality, we obtainAs time , . Thus, is bounded above by carrying capacity of environment . Hence, it completes the proof.

3.2.2. Positivity Property

Theorem 11. Solutions of the only cholera model are nonnegative for all time .

Proof. The first equation of only cholera model (21) is given byLogically, ignoring the positive term in the foregoing equation, we obtain an inequality of the form:Applying the integration and solving, we obtainSince and the exponential expression is positive for all time , the variable is nonnegative for all time .

3.2.3. Existence and Uniqueness of Solutions

Theorem 12. Solutions of only cholera model (21) exist and are unique.

Proof. The expressions on the right of only cholera model (21) are continuously differentiable and bounded. Therefore, the solutions of only cholera model (21) exist and are unique by Cauchy–Lipchitz theorem.

3.2.4. Cholera-Free Equilibrium

The cholera-free equilibrium of model (21) is computed by setting so that model (21) reduced to the form

Solving the preceding equation, we obtain

Therefore, cholera-free equilibrium is given by

3.2.5. Endemic Equilibrium

The endemic equilibrium of the only cholera model is computed by solving the equations:

The computed endemic equilibrium of the only cholera model is given bywhere , and is the solution of the equation:

3.2.6. Reproduction Number

The reproduction number is computed from model (21) using the next-generation method; by denoting the new infected individuals arrives at the class by and remaining terms by , we obtain

The constructed Jacobian matrices are

Basically, the eigenvalues of the preceding next-generation matrix are . Hence,

3.2.7. Local Stability of Disease-Free Equilibrium

Theorem 13. Cholerae-free equilibrium of the only cholera model is locally asymptotically stable if and unstable if .

Proof. Similar to the works carried outin [15].

4. Analysis of the Full Model

4.1. Invariant Region

Theorem 14. The solutions of model (2) are invariant in the region , proper subset of eight-dimensional space over the set of nonnegative real numbers such that

Proof. The proof of this theorem is similar to the proof done in only cholera model (21), to show the invariant region.

4.2. Existence and Uniqueness of Solutions

Theorem 15. The solutions of model (2) exist and are unique in the invariant region .

Proof. All expressions on the right-hand side of equality in model (2) are continuously differentiable. Therefore, by Cauchy–Lipchitz theorem stated, the solutions of model (2) exist and are unique.

4.3. Disease-Free Equilibrium

The disease-free equilibrium of model (2) is computed as

4.4. Reproduction Number

The next-generation method is applied to compute the reproduction number from model (2). Moreover, we defined the following vectors from model (2) logically aswhere . The foregoing next-generation matrix shows that the reproduction number produced by HIV infected individual is . The reproduction number produced by cholera-infected individual and environment is . Therefore, the basic reproduction number of the full model is given by

4.5. Local Stability of Disease-Free Equilibrium of the Full Model

Theorem 16. The disease-free equilibrium of the co-infection model is locally asymptotically stable if and unstable if .

Proof. To prove the theorem, we constructed a Jacobian matrix evaluated at disease-free equilibrium from the co-infection model as follows:The computed eigenvalues of the preceding Jacobian matrix areHere, all computed eigenvalues are negative if . Therefore, by stability theory, the disease-free equilibrium of the full model is locally asymptotically stable if and unstable if .

5. Global Stability of Disease-Free Equilibrium

Theorem 17. A disease-free equilibrium of a full model is globally asymptotically stable if and otherwise unstable.

Proof. Let represent uninfected individuals in the full model and be individuals in the infected class. Hence, we write full model (2) asThe disease-free equilibrium of the foregoing system is computed asTo guarantee global stability, the method we applied must met conditions H1 and H2 as stated below:H1: for is globally asymptotically stableH2: for Here, be Metzler matrix and is a region where solutions are acceptable.
Considering the state variable of noninfected compartment in model (2), we haveNow, settingand solving, for X = , we obtainHence,As , we observe that . Thus, is globally asymptotically stable equilibrium of the subsequent equation of the form:Furthermore, considering the state variable of the infected compartments in model (2), we haveAlso, at disease-free equilibrium, the foregoing equations can be written asNow, comparing the required condition and the preceding equation, we obtainNow, we observe that , where . Moreover, is Metzler matrix. Therefore, a disease-free equilibrium is globally asymptotically stable if .

6. A New Generalized Fractional-Order Derivative

In this section, we apply a new generalized fractional-order derivative using the works in [15, 16]. We study the dynamic behavior of the population study using a new generalized definition of derivative with fractional order.

First, let us consider only the rate of change of human population, from model (2), that can be described aswith nonnegative initial conditions, where .

Let be the size of human populations at time such that

Differentiating both sides of the foregoing equation over time interval [0, t] and using (54), we obtain

Now, considering the upper bound, the preceding inequality reduces to the form

The solution of the preceding equation over time interval [0, t] is given by

Definition 1. (a new generalized fractional derivative [15, 16]). Let and . In the sense given by Caputo, the order constructed new generalized fractional derivative of some function with respect to the weight function is defined aswhere on , is defined as a normalized function that satisfy the conditions , and is the Mittag–Leffler function of parameter . For simplicity, we symbolize by . Assuming that when HIV and cholera infections spread within a population, the individuals get knowledge about the infection; we replace the applied classical derivative by . Then, (57) becomesThe basic properties of a new generalized fractional derivative are shown in [36]. Applying the Laplace transform on both sides of the foregoing equation, we obtainUsing Theorem 2 [19], we haveLet . Then,Therefore,Applying inverse Laplace, the preceding equation reduces toLetting and applying the integration by parts, the preceding equation reduces toIn Section 7, using numerical simulations, we will analyze the impact of order of new fractional derivative on the behavior of solutions of the HIV and cholera co-infection model.
Next, we consider the rate of change of V. cholerae population, from model (2), that can be described asunder nonnegative initial condition.
To get the size of V. cholerae populations at time , we set and solve (57) as follows:We rewrite the foregoing equation in the formRearranging the terms, the foregoing equation reduces to the formIntegrating both sides of the preceding equation over time interval [0, t], we obtainApplying partial decomposition, we obtainThen, the computation of the preceding integral givesNow, applying the logarithmic property, the preceding equation reduces toRearranging the terms of the preceding equation, we obtainThis impliesIt follows thatNow, solving for , from the preceding equation, we obtainIn Section 7, using numerical simulations, we will analyze the impact of order of new fractional derivative and rank of control measure on the behavior of solutions of the population under the study.

7. Numerical Simulations

In this section, the numerical simulations of the solutions obtained using fractional derivative are carried out. The parameters values used in the simulations are taken in reference to [15]:

8. Result and Discussion

In this study, we have investigated the behavior of population based on the new fractional-order derivative developed in [16]. In Figure 2, the forward bifurcation behavior of only HIV model is simulated. The forward bifurcation behavior of the only HIV model shows that the disease-free equilibrium is globally asymptotically stable if and unstable if . However, endemic equilibrium is globally asymptotically stable whenever and unstable if . The results obtained from numerical simulations described in Figure 3 show that increasing the fractional order increases the behavior of population toward controlling the infection. Also, the memory effects toward the invading disease are less whenever order of fractional derivative is near 0 but higher whenever the order of fractional derivative is near 1. In Figure 4, the dynamics of V. cholerae concentration is simulated. The size of V. cholerae concentration in the environment increases significantly whenever intrinsic growth rate increases.

9. Conclusion

The order of new fractional derivative is directly related to the behavior population toward the disease invading the population. The higher order of fractional derivative depicts that memory of population toward the disease increase so that the disease is controlled with applying possible controlling strategies and increasing population awareness toward HIV and cholera infections. The progression of the disease is described by classical derivative normally. Based on simulated forward bifurcation, the stability behavior of the steady state of the only HIV model is determined as stable or unstable. However, as the order of fractional derivative approaches to, 1 the number of infection-free population increases with time.

Data Availability

No data were used to support the findings of the study.

Disclosure

This study is a part of a Ph. D. thesis at Wollega University.

Conflicts of Interest

The authors declare that there are no conflicts of interest in the publication of this manuscript.

Acknowledgments

The first author would like to thank Hawasaa College of Teacher Education, Ministry of Science and Higher Education and Wollega University for their support to join PhD program and continue in research work.