Abstract

Hepatitis B and HIV/AIDS coinfections are common globally due to their similar mode of transmission. Since HIV infection modifies the course of HBV infection by increasing the rate of chronicity, prolonging HBV viremia, and increasing liver disease-associated deaths, individuals with coinfection of both diseases have a higher tendency of developing cirrhosis of the liver, higher levels of HBV DNA, reduced rate of clearance of the hepatitis B e antigen (HBeAg), and more likely to die than an individual with a single infection. This nature of HBV-HIV/AIDS coinfection motivated us to conduct this study. In this paper, we proposed and rigorously analyzed a deterministic mathematical model with the aim of investigating the effect of vaccination against hepatitis B virus and treatment for all infections on the transmission dynamics of HBV-HIV/AIDS coinfection in a population. We proved that the solutions of the submodels and the coinfection model are positive and bounded. The models are studied qualitatively using the stability theory of differential equations, and the effective reproduction numbers of the models are derived using the next generation matrix method. Stability of the equilibria of the submodels and the coinfection model is analyzed using Routh-Hurwitz criteria. The disease-free and endemic equilibria of the submodels and the coinfection model are computed, and both local and global asymptotic stability conditions for those equilibria are discussed. We performed a sensitivity analysis to illustrate the influence of different parameters on the effective reproduction number of HBV-HIV/AIDS coinfection model, and we identified the most sensitive parameters are and , which are the effective contact rates for HBV and HIV transmission, respectively. The numerical simulation of the model is done using MATLAB, and the findings from the simulations are discussed. It is observed that if the vaccination and treatment rates are increased, then the number of individuals susceptible to both infections and HBV-HIV/AIDS coinfection decreases and even falls to zero over time. Hence, it is concluded that vaccination against hepatitis B virus infection, treatment of hepatitis B and HIV/AIDS infections, and HBV-HIV/AIDS infection at the highest possible rate is very essential to control the spread of HBV-HIV/AIDS coinfection as an important public health problem.

1. Introduction

Globally, more in the developing countries, there are a number of deadly infectious diseases that are severely affecting the lifespan of the human population. Hepatitis B is one of such deadly diseases that is caused by hepatitis B virus (HBV). Currently, despite the use of a preventive vaccine for several decades as well as the use of effective and well-tolerated viral suppressive medications since 1998, approximately 250 million people are chronically infected with the virus and a lot of people die every year from hepatitis B-related liver failure and liver cancer [1, 2]. The virus is highly infectious, and the main routes of transmission are mother to neonate (vertical transmission), sexual contact with infectious partners, transplantation of organs from infected donors, exposure to improperly sterilized health care instruments, and the administration of contaminated blood products in poorer countries [1, 3]. The virus assaults liver cells and causes acute and chronic liver disease [4]. Acute hepatitis B infection is usually self-limiting; however, chronic hepatitis B infection is life-long [5]. On the other hand, human immunodeficiency virus (HIV) is also a global public health problem affecting many people worldwide causing large morbidity and mortality [6, 7]. It is a retrovirus which weakens the body immunity by removing CD4 T-cells, and if untreated, it continues to multiply in the host till it reaches the highest level leading to a very serious stage called AIDS [8, 9]. Everyone diagnosed with HIV should start ART regardless of his/her stage of infection or complications to lower the viral load, to improve the quality of life, and to lower the possibility of transmitting the virus to [10, 11]. HBV and HIV/AIDS coinfections are common globally due to their similar mode of transmission. Although there is a lack of accurate data for coinfection in many parts of the world, its spread is increasing in parts of West and South Africa [12]. The viruses have similar properties such as transmission, using a reverse transcriptase enzyme in replication, likelihood to develop chronic infection, and excessive chance of mutation in their genome, sometimes resulting in resistance to extensively used antiviral agents [13, 14]. Coinfection of HBV and HIV/AIDS occurs when individuals get infections concurrently or individuals who are positive for one of the strains are infected with the other strain within a brief period of time before an infection with the first strain has been established and an immune response has developed. It is common to note that HIV infection modifies the course of HBV infection by increasing the rate of chronicity, prolonging HBV viremia, and increasing liver disease-associated deaths [12]. Individuals with coinfection of both diseases have a higher tendency of developing cirrhosis of the liver, higher levels of HBV DNA, reduced rate of clearance of hepatitis B e antigen (HBeAg), and more likely to die than the ones with hepatitis B [15, 16]. Antiretroviral therapy (ART) is challenging when coinfection is present as HIV-infected individuals are usually less responsive to treatment for HBV and have a high risk of hepatotoxicity and drug interactions; however, the availability of ART with activity against HBV and HIV/AIDS coinfection, particularly tenofovir disoproxil fumarate (TDF) and tenofovir alafenamide fumarate (TAF), allows for simplification of treatment regimen and results in significant improvements in outcomes [12]. The study of infectious disease coepidemics is critical to understand how the diseases are related and how prevention and treatment efforts can be most effective. Thus, in the study of infectious diseases, mathematical models give us a fascinating insight into the very complicated infection dynamics and effective control measures. In recent years, most mathematical epidemic models are formulated based on a single disease, although a growing number of studies have considered coepidemics. Shen et al. [17] formulated a mathematical model for coronavirus infection with an optimal control analysis when vaccination is present. Using the suggested controls, they developed an optimal control model and derived mathematical results from it. Through optimal control, they obtained results showing that controls can be useful for minimizing infected individuals and improving population health. Kumar et al. [18] studied an efficient numerical scheme for a fractional model of HIV-1 infection of CD4+ T-cells with the effect of antiviral drug therapy. They solved the nonlinear mathematical models with fractional derivative by the aid of Legendre wavelet operational matrix method and noticed that the suggested schemes are more efficient and effective. Li et al. [19] developed a mathematical model to study the third wave of coronavirus infection in Pakistan through a new mathematical model and observed that the suggested parameters can decrease efficiently the infection cases of the third wave in Pakistan. Bonyah et al. [20] proposed a deterministic coinfection Zika-dengue model and analyzed the transmission of the diseases, which incorporates the prevention and treatment of the infectious nature of each disease. Their numerical optimal control analysis indicates that effective prevention and treatment of each disease will help in the effective control and eradication of the disease. They obtained results showing that the control of coinfection of dengue Zika requires that communities should combine both prevention and treatment associated with each disease at the same time. Okosun et al. [21] examined a coinfection of a cryptosporidiosis-HIV/AIDS deterministic model by incorporating time-dependent control preventions and treatments. They studied the model basic properties and presented the numerical results, which show that the best strategy to control coinfection is to combine all controls at the same time. The authors in [22] conducted a study on cholera-schistosomiasis coinfection dynamics. Based on their findings, they suggested to the public health department that the only possible cost-effective strategy for the elimination of schistosomiasis and cholera coinfection is the combination of both diseases’ preventive measures and the treatment of schistosomiasis. Mathematical models formulated to study the dynamics of HBV-HIV/AIDS coinfection are rare in the literature, although the coexistence between the two infections exists. In our review of the literature, we have got only two mathematical models of HBV-HIV/AIDS coinfection and we used them as the initial literature reviewed as follows: Nampala et al. [23] developed a mathematical model of hepatotoxicity and antiretroviral therapeutic effects in HIV/HBV coinfection. They used numerical simulations to study the therapeutic as well as toxic effect of the currently used HIV/HBV therapy and consequently derived an optimal combination for treating coinfection. In their model, they did not consider protection against all infections rather focused on hepatotoxicity and antiretroviral therapeutic effects in HIV/HBV coinfection. They obtained results showing that emtricitabine, tenofovir, and efavirenz are the optimal combination that maximises the therapeutic effect of therapy and minimizes the toxic response to medication in HBV/HIV coinfection. Bowong et al. [13] formulated and analyzed a realistic mathematical model for HBV-HIV coinfection, which incorporates the key epidemiological and biological features of each of the two diseases in a population. In their model, they did not consider treatment for all infections rather focused only on vaccination against HBV infection. The above two studies motivated us to develop our new model. Therefore, in this paper, we proposed and rigorously analyzed a deterministic mathematical model incorporating vaccination against hepatitis B virus and treatment for all infections on the transmission dynamics of HBV-HIV/AIDS coinfection in a population. We have checked this case has never been done before. This new model will be used to evaluate the effect of vaccination against hepatitis B virus and treatment for all infections on the transmission dynamics of HBV-HIV/AIDS coinfection as control strategies for minimizing the spread of coinfection in a population. The rest of this paper is organized as follows. The model is formulated in Section 2 and is analyzed in Sections 3 and 4. Sensitivity analysis and numerical simulation were carried out in Sections 5 and 6. Finally, the results and discussion and conclusion of the study are carried out in Sections 7 and 8, respectively.

2. Model Assumptions and Formulation

The model subdivides the total population at time denoted by , into nine mutually exclusive compartments depending on their disease status: susceptible individuals to both diseases , immune individuals following vaccination to HBV infection (), HBV-only infected class (), HIV-only infected class (), HBV-HIV/AIDS coinfected class (), HBV-HIV/AIDS-treated class (), HBV-treated class (), HIV-treated class (), and suppressed viral load class (). The integration among people is homogeneous and become infected with HIV and HBV by the force of infection and , respectively. Individuals are recruited into the population (vaccinated class) at a constant rate with the proportion of which are immunized to protect them from HBV infection. The size of the vaccinated class decreases due to the natural death rate , the transfer of HIV-infected individuals, and individuals whose vaccine efficacy wanes to and susceptible classes, respectively. The efficacy of the vaccine wanes out at a rate and the natural recovery rate of individuals from HBV infection in HBV-only infected class is . The susceptible class increases due to the recruitment of unvaccinated individuals, the transfer of naturally recovered individuals from HBV-only infected class, and the transfer of individuals whose vaccine efficacy wanes. Because of the natural mortality rate and the movement of HBV and HIV-infected individuals to HBV-only and HIV-only infected classes, respectively, the susceptible class decreases. Individuals in and compartments get HIV infection by the force of infection , whereas individuals in get HBV infection by the force of infection . Individuals in HBV-only infected class get HIV infection by force of infection within a brief period of time before an infection with the first strain (HBV) has been established and an immune response has developed. Similarly, individuals in HIV-only infected class get HBV infection by force of infection within a brief period of time before an infection with the first strain (HIV) has been established and an immune response has developed. Individuals in and progress to and classes, respectively, after getting treatment. The proportion of individuals in progress to due to the treatment rate and the remaining proportion () of individuals progress to by force of infection before an infection with the first strain (HIV) has been established and an immune response has developed. Naturally recovered patients from HBV infection in HBV-HIV/AIDS-coinfected class enter in to HIV-only infected class at a rate . Since the effective treatment reduces the viral load of the infected individuals in , , and classes to the required undetectable level, individuals in these compartments progress to a suppressed viral load class at the progress rate đťś™, , and , respectively. If the vaccine efficacy not wanes, individuals who are vaccinated against HBV infection are susceptible to HIV-only. Due to the fact that there may be no immunity to loss life whether or not one is unwell or healthy, the natural death rate for individuals in different classes is the same. We take no consideration of disease-related deaths in all treated classes due to the effective treatment. HBV-infected individuals get treatment at chronic stage only. The immunity acquired naturally by HBV-infected individuals is lifelong. No individual gets infected with both diseases at once, rather he/she gets infected with one of the two diseases first and the second afterwards, but within a brief period of time before infection with the first strain is established. Individuals in HBV-only infected class who are able to clear the infection due to natural immunity enter into the susceptible class at rate , but they are not susceptible to HBV infection again since they develop antibodies and protected from HBV infection for lifelong. Vertical transmission for both HBV and HIV has not been considered here.

Using parameters and their description in Table 1 and the model assumptions and formulation given in Section 2, the schematic diagram for the transmission dynamics of HBV-HIV/AIDS coinfection is given by the following:

From the flow diagram of the model in Figure 1, the dynamical system of the model is as follows:

where the force of infection associated with HBV infection is given by the following: and the force of infection associated with HIV infection is given by the following:

Initially, , , , , , , , , and .

2.1. Positivity of the Solutions

For (1) to be epidemiologically meaningful, it is important to prove that all its state variables are nonnegative for all time . In other words, the solutions of (1) with positive initial data remain positive for all time because the model deals with the human population. This can be verified as follows:

Theorem 1. Let Ω =, then the solutions of are positive for .

Proof. Taking from (1) and making the left side of the equation zero, we have a solution: Since and for , .
Taking from (1), we have a solution Since and for , .
Taking from (1), we have a solution Since and for , .
Taking from, we have a solution Since and , Taking from , from (1) we have a solution Since and for , Taking from (1), we have a solution Since and for , .
Taking from (1), we have a solution Since and , Taking from (1), we have a solution Since and , Taking from (1), we have a solution Since and , This completes the proof of the theorem. Therefore, the solutions of the model are positive.

2.2. Boundedness of the Solution Region

Theorem 2. The solution trajectories of (1) evolve in a positive invariant region.

Proof. Let represent the whole population at time .
Thus, If , .
In the absence of mortality due to HBV infection, HIV/AIDS, and HBV-HIV/AIDS coinfection and comparing both sides of the equation using the standard comparison theorem, (19) becomes Integrating (20) on both sides, we get the following: (1) where is a constant(2), where is a constant(3)Now taking , the inequality becomes the following: As , the population size whenever is as follows: (1)(2)All feasible solutions of components of the dynamical system with initial conditions enter the region for all Thus, the region is positively invariant.
After checking the positivity of the solutions and the boundedness of the solution region of the full model, we considered the dynamics of the two submodels, namely, HBV-only and HIV/AIDS-only submodels. This would help us to lay down the foundation for the qualitative analysis of the full mode.

3. Analysis of the Submodels

The analysis of the full model will be followed by analyzing the dynamics of the hepatitis B (HB) only and HIV-only submodels.

3.1. HB-Only Submodel

The HB-only model is obtained by setting . Thus, we have the following dynamical system:

where is the force of infection.

The solutions of the model are positive, and the trajectories evolve in a positive invariant region

3.1.1. Disease-Free Equilibrium Point (DFE) of HBV-Only Submodel

The DFE of the dynamical system in (22) represented by is equal to . It is obtained by making the right-hand side of (22) and the infectious and treatment class zero.

3.1.2. Effective and Basic Reproduction Numbers of the Model

The effective reproduction number of hepatitis B-infected individuals, denoted by that of the dynamical system (22), is defined as the expected number of secondary cases produced by one typical infection joining in a population made up of both susceptible and nonsusceptible hosts during its infectious period [24, 25]. It is obtained by taking the spectral radius of the matrix of the dynamical system (22) [25, 26], where is the rate of appearance of a new infection in the compartment , is the transfer of infection from one compartment to another, and is the disease-free equilibrium point.

In model (22), and .

The associated Jacobian matrices of and evaluated at DFE point, respectively, are as follows:

On the other hand, the basic reproduction number of the dynamical system (22), denoted by , is derived when initially the entire population is susceptible [27, 28]. That is, when there is no vaccination and treatment ().

In model (22), and .

The associated Jacobian matrices of and evaluated at DFE point, respectively, are as follows:

3.1.3. Stability of the Disease-Free Equilibrium (DFE) of HB-Only Submodel

Theorem 3. The disease-free equilibrium of (22) is locally asymptotically stable if the effective reproduction number and is unstable otherwise.

Proof. The Jacobean matrix of (22) at the DFE point is as follows: The corresponding characteristic equation is as follows: Thus, after some steps, the roots of the characteristic equation are and But the fourth eigenvalue can be simplified as . (1) is negative if (2)All the eigenvalues of the Jacobean matrix have negative real parts when Hence, the disease-free equilibrium
of (22) is locally asymptotically stable if the effective reproduction number and unstable otherwise.

Theorem 4. The disease-free equilibrium of (22) is globally asymptotically stable in the feasible region if the effective reproduction number and is unstable otherwise.

Proof. Consider the following LaSalle-Lyapunov candidate function: where is a continuous function for all , and it has first-order partial derivative and has minimum at Its time derivative along the solution path yields the following: Since the state variables of the model when the HBV is endemic in the population do not exceed the state variables of the model in a population free of HBV, at the disease-free equilibrium with can be simplified as follows: This implies when . Furthermore, if and only if . Thus, by LaSalle’s invariance principle [29], the largest invariant set in contained in is reduced to the DFE. This proves the global asymptotic stability of the DFE on if the effective reproduction number and unstable otherwise.

3.1.4. Existence and Stability of Endemic Equilibrium (EE) of HB-Only Submodel

Let an arbitrary equilibrium point of HB-only submodel (22) be denoted by and be the associated infection rate (“force of infection”) at the endemic equilibrium point. After some calculations, we got .

This implies if , and hence, an endemic equilibrium point ) of HB-only submodel (22) exists whenever .

Theorem 5. The positive endemic equilibrium of (22) is locally asymptotically stable if .

Proof. The Jacobian matrix of (22) is as follows: The Jacobian matrix of (22) at the endemic equilibrium is as follows: Let be the eigenvalues of the Jacobian matrix where .
Then, the eigenvalues of the Jacobian matrix are or or where To check the algebraic sign of the remaining two eigenvalues for the quadratic equation , we can apply Routh-Hurwitz stability criteria. Since , both and should be positive.
Clearly, and are positive if .
This implies and .
Hence, since all eigenvalues are negative, the endemic equilibrium of (22) is locally asymptotically stable if .

Theorem 6. The endemic equilibrium of (22) is globally asymptotically stable if .

Proof. Let us take the Lyapunov function , .
The time derivative of is Using expressions at the endemic equilibrium , , and , This implies , and it vanishes only at the endemic equilibrium .
Hence, by LaSalle’s invariance principle [30], all model solutions approach to as whenever .
This proves the global asymptotic stability of the endemic equilibrium point on if the effective reproduction number .

3.2. HIV/AIDS-Only Submodel

The HIV-only model is obtained by setting . Thus, we have the following dynamical system:

where

The solutions of the model are positive, and the trajectories evolve in a positive invariant region .

3.2.1. Disease-Free Equilibrium Point (DFE) of HIV/AIDS-Only Submodel

The DFE of the dynamical system in (41), denoted by , is equal to . It is obtained by making the right-hand side of (41) zero and the infectious and treatment classes as well.

3.2.2. Effective and Basic Reproduction Numbers of HIV/AIDS-Only Submodels

The effective reproduction number of HIV/AIDS-only infected individuals, denoted by that of the dynamical system (41), is defined as the expected number of secondary cases produced by one typical infection joining in a population made up of both susceptible and nonsusceptible hosts during its infectious period [24, 25]. It is obtained by taking the spectral radius of the matrix of the dynamical system (41) [25, 26], where is the rate of appearance of a new infection in the compartment , is the transfer of infections from one compartment to another, and is the disease-free equilibrium point.

In model (41), and .

The associated Jacobian matrices of and evaluated at DFE point, respectively, are

On the other hand, the basic reproduction number of HIV/AIDS-only infected individuals, denoted by that of the dynamical system (41), is defined as the average number of secondary infections produced by a single HIV/AIDS infectious individual introduced in a completely susceptible population during his or her entire infectious period [27, 28]. It is obtained by taking the spectral radius of the matrix of the dynamical system (41) [25, 26], where is the rate of appearance of a new infection in the compartment , is the transfer of infection from one compartment to another, and is the disease-free equilibrium point.

In model (41), and .

The associated Jacobian matrices of and evaluated at DFE point, respectively, are

3.2.3. Stability of the Disease-Free Equilibrium (DFE) of HIV/AIDS-Only Submodel

Theorem 7. The disease-free equilibrium of (41) is locally asymptotically stable if the basic reproduction number and is unstable otherwise.

Proof. The Jacobean matrix of (41) at the DFE point is as follows: The corresponding characteristic equation is as follows: After some necessary steps, the roots of the characteristic equation are or .
But, to show that all eigenvalues are negative, it is enough to show that is negative for .
Now (1) is negative if (2)All eigenvalues of the Jacobean matrix have negative real parts when Hence, the disease-free equilibrium of (41) is locally asymptotically stable if and unstable otherwise.

Theorem 8. The disease-free equilibrium point of (41) is globally asymptotically stable in the feasible region if and unstable otherwise.

Proof. Consider the following LaSalle-Lyapunov candidate function: where .
is a continuous function, for all , and it has first-order partial derivative and has a minimum at .
Its time derivative along the solution path yields the following: Since the state variables of the model when HIV/AIDS is endemic in the population do not exceed the state variables of the model in a population free of HIV/AIDS, at the disease-free equilibrium with ,
can be simplified as follows: This implies when . Furthermore, if and only if . Thus, by LaSalle’s invariance principle [30], the largest invariant set in contained in is reduced to the DFE. This proves the global asymptotic stability of the DFE on if the basic reproduction number and unstable otherwise.

3.2.4. Existence and Stability of the Endemic Equilibrium Point (EE) of HIV/AIDS-Only Submodel

Let an arbitrary equilibrium point of HIV/AIDS-only submodel (41) is denoted by and be the associated infection rate (“force of infection”) at the endemic equilibrium point. After some calculations, we got . This implies if , and hence, an endemic equilibrium point of a dynamical system (41) exists whenever , where

Theorem 9. The endemic equilibrium of (41) is locally asymptotically stable if .

Proof. The Jacobian matrix of (41) is as follows: The Jacobian matrix of (41) at the endemic equilibrium point is as follows: Let be the eigenvalues of (53) where .
Then, the eigenvalues of (53) are or where To check the algebraic sign of the remaining two eigenvalues for the quadratic equation , we can apply Routh-Hurwitz stability criteria. Since , both and should be positive.
Clearly, and are positive if .
This implies and .
Hence, since all eigenvalues are negative, the endemic equilibrium of (41) is locally asymptotically stable if .

Theorem 10. The endemic equilibrium of (41) is globally asymptotically stable if .

Proof. Consider the following LaSalle-Lyapunov candidate function: Differentiating with respect to time gives the following: Substituting and with in yields the following: This implies , and it vanishes only at the endemic equilibrium .
Hence, by LaSalle’s invariance principle [30], all model solutions approach to as whenever .
This proves the global asymptotic stability of the endemic equilibrium point on if the basic reproduction number .

4. Analysis of the Full Model

The solutions of the HBV-HIV/AIDS coinfection model are positive, and the trajectories evolve in a positive invariant region as we proved in Sections 2.1 and 2.2.

4.1. Disease-Free Equilibrium (DFE) of HBV-HIV/AIDS Coinfection Model

The disease-free equilibrium of the full model represented by in (1) is obtained by setting , and it is equal to .

4.2. Basic Reproduction Number of the Full Model

The basic reproduction number of HBV-HIV/AIDS coinfectious individuals, denoted by of the dynamical system (1), is defined as the average number of secondary infections produced by a single HBV-HIV/AIDS coinfection infectious individual introduced in a completely susceptible population during his or her entire infectious period [27, 28]. It is obtained by taking the spectral radius of the matrix of the dynamical system (1) [25, 26] where is the rate of appearance of a new infection in the compartment , is the transfer of infections from one compartment to another, and is the disease-free equilibrium point.

In model (1), we have three infection classes. Therefore,

The associated Jacobian matrices of and evaluated at DFE point, respectively, are

The corresponding characteristic equation is as follows:

Now, .

Hence, .

4.3. Effective Reproduction Number of the Full Model

The effective reproduction number of HBV-HIV/AIDS-coinfected individuals, denoted by , is defined as the expected number of secondary cases produced by one typical infection joining in a population made up of both susceptible and nonsusceptible hosts during its infectious period [24, 25]. To obtain , we used the next generation matrix method that was formulated by [26, 27].

In model (1), we have three infection classes. Therefore,

The associated Jacobian matrices of and evaluated at DFE point, respectively, are

After some steps, the eigenvalues of (62) are and .

Now,

4.4. Stability of the Disease-Free Equilibrium (DFE) of the HBV-HIV/AIDS Coinfection Model

Theorem 11. The disease-free equilibrium point of (1) is locally asymptotically stable if .

Proof. The Jacobean matrix of (1) at the DFE point is as follows: where Let be eigenvalues of where .
Then, the eigenvalues of are or or or or or or where To check the algebraic sign of the remaining two eigenvalues for the quadratic equation , we can apply Routh-Hurwitz stability criteria. Since , both and should be positive.
Clearly, and are positive if and .
This implies and are positive, if .
This implies and .
This implies all eigenvalues are negative.
Hence, the disease-free equilibrium point of (1) is locally asymptotically stable if .

Theorem 12. The disease-free equilibrium point of (1) is globally asymptotically stable in the feasible region if the effective reproduction number and is unstable otherwise.

Proof. Consider the following LaSalle-Lyapunov candidate function: where is a continuous function for all , and it has first-order partial derivative and has a minimum at Its time derivative along the solution path yields the following: Since the state variables of the model when the HBV-HIV/AIDS is endemic in the population do not exceed the state variables of the model in a population free of HBV-HIV/AIDS, at the disease-free equilibrium with , can be simplified as follows: Substituting and , we get This implies when . Furthermore,
if and only if . Thus, by LaSalle’s invariance principle [30], the largest invariant set in contained in is reduced to the DFE. This proves the global asymptotic stability of the DFE on if the effective reproduction number and is unstable otherwise.

4.5. Existence and Stability of Endemic Equilibrium (EE) of HBV-HIV/AIDS Coinfection Model

Let the unique endemic equilibrium point of a dynamical system in (1) which exists when the disease persists in the community is denoted by . From the analysis of HBV-only submodel (22) and HIV/AIDS-only submodel (41), there exists an endemic equilibrium point for HBV-only submodel and HIV/AIDS-only submodel if and , respectively.

This implies the endemic equilibrium for HBV-HIV/AIDS coinfection exists because the effective reproduction number for HBV- HIV/AIDS coinfection is the maximum of , which is greater than one where

The stability analysis of the endemic equilibrium of the full model (1) in terms of the model parameters analytically is difficult. Hence, we will give an explanation of the stability analysis of the endemic equilibrium of the full model (1) under the section numerical simulation.

5. Sensitivity Analysis

In this subsection, sensitivity analysis is performed to identify the most influential parameters for the spread as well as for control of infection in the community. To perform this, we use the techniques described in [36]. The results of sensitivity analysis and the set of parameters used are given in Figure 2 and Table 2, respectively.

Figure 2 is about the sensitivity index of parameters. It shows that the most sensitive parameters are and , which are the effective contact rate for HBV and HIV/AIDS transmission, respectively. The least sensitive parameters are and which are HBV-induced mortality and vaccine efficacy waning rate, respectively.

6. Numerical Simulation

We performed the numerical simulation using the parameter values in Table 2 and the initial values given below.

Initially, , , , , , , , , and . Initially, , , , , , , , , and .

7. Results and Discussions

Numerical simulations are carried out using MATLAB numerical solver (ode45) to visualize the dynamics of HBV-only submodel (22), HIV/AIDS-only submodel (41), and HBV-HIV/AIDS coinfection model (1). Figures 3–8 are about the stability of disease-free and endemic equilibria of HB-only submodel, HIV/AIDS-only submodel, and HBV-HIV/AIDS coinfection model at different reproduction numbers and the associated parameters given in Table 2. Figures 3 and 7 were plotted using the effective reproduction number , which is less than unity, , and and keeping all other associated parameters as listed in Table 2. As the figures clearly show, the behavior of the infectious classes of HBV-only submodel (22) and HBV-HIV/AIDS coinfection model (1), each infectious class converges to the disease-free equilibrium point of the models. The convergence of all infectious classes to their disease-free equilibrium point of the models shows that the disease-free equilibria of the models are globally asymptotically stable, which indicates the absence of HBV and HBV-HIV/AIDS coinfection in the society. The simulation result of the stability of the DFE of HIV/AIDS-only submodel using the basic reproduction number 0.003, , and 0.5 and keeping all other associated parameters as listed in Table 2 is represented by Figure 5. The figure shows the convergence of the infection class to the disease-free equilibrium point of the model, which shows that the disease-free equilibrium point of the model is globally asymptotically stable. The global stability of the DFE of the model further indicates the infection is not spreading in the society or the disease dies out in the community. On the other hand, the simulations given in Figures 4, 6, and 8 are about the stability of endemic equilibrium of HB-only submodel, HIV/AIDS-only submodel, and HBV-HIV/AIDS coinfection model, respectively. The stability of endemic equilibria of the models was determined using .37, 0.95, and 0.4 and keeping all other associated parameters as listed in Table 2 for HB-only submodel, 3.5, 0.9, and 0.01 and keeping all other associated parameters as listed in Table 2 for HIV/AIDS-only submodel, and , 0.9, 0.5, and 0.03 and keeping all other associated parameters as listed in Table 2 for HBV-HIV/AIDS coinfection model. In all cases, the basic and effective reproduction numbers are greater than one, and the simulation results show the convergence of the solutions of the models to their endemic equilibrium points. The convergence of the solutions of the models to their endemic equilibrium point indicates that the endemic equilibrium points of the models are locally asymptotically stable (i.e., the diseases are spreading in the society). The effect of vaccination on the susceptible individuals for HBV is shown in Figure 9. When the proportion of immunized individuals increases from 0.91 to 0.99, the number of susceptible individuals decreases due to enough immunization coverage. In the first year, the trend of decreasing of the susceptible individuals for three different proportions seems the same, but after a year, the number of susceptible individuals decreases better as the proportion of vaccinated individuals increases. Since it is difficult to immunize all susceptible individuals, the number of susceptible individuals cannot be zero over the period of administration of vaccine. The simulations given in Figures 10–12 show the effects of variation of treatment rates on the infectious population. Figure 10 shows that the number of HB infectious individuals decreases, and almost all become near to zero after four years if the . It also shows using treatment at the highest possible rate decreases the number of HBV infectious individuals faster compared to using treatment at the lowest rate. The decreasing of the number of HB infectious individuals indicates that the effective treatment reduces the viral load of HBV infectious individuals to the required undetectable level, and hence, there will be no risk of transmitting the infection to others in the society. Similarly, Figure 11 shows that the number of HIV/AIDS infectious individuals decreases and becomes near to zero after seven years by increasing the treatment rate gamma from 0.6 to 0.9. This implies the effective treatment reduced the viral load of HIV infectious individuals to the required undetectable level. The effect of varying treatment rates on HBV and HIV/AIDS coinfectious individuals simultaneously is examined in Figure 12. As the figure shows, the number of HBV-HIV/AIDS coinfectious individuals initially 500 was decreased to about less than 20 individuals at the end of five years when the , which shows using treatment at the highest possible rate decreases the number of HBV-HIV/AIDS coinfectious individuals better compared to using treatment at the lowest rates. The decreasing of the number of HBV-HIV/AIDS coinfectious individuals indicates that the effective treatment reduces the viral load of HBV-HIV/AIDS coinfectious individuals to the required undetectable level and the risk of transmitting the infection to others in the society decreases. Figures 13–16 are the results of the numerical simulations of the effective reproduction number of HBV-HIV/AIDS coinfection model with variable parameter values. The simulation results in Figures 13 and 16 show that if the effective contact rates and are less than 0.42 and 0.58, respectively, the reproduction number of HBV-HIV/AIDS coinfection is less than one, which indicates HBV-HIV/AIDS coinfection dies out, whereas if the effective contact rates and are greater than 0.42 and 0.58, respectively, the reproduction number of HBV-HIV/AIDS coinfection is greater than one, which shows the infection is spreading in the community. On the other hand, Figures 14 and 15, respectively, show the absence of disease in the society if the proportion of vaccinated individuals and the treatment rate are greater than 0.14 and 0.28, respectively, and the existence of HBV-HIV/AIDS coinfection in the society if the proportion of vaccinated individuals and the treatment rate are less than 0.14 and 0.28, respectively.

8. Conclusion

In this study, we formulated and analyzed a deterministic model to see the effect of vaccination and treatment on the transmission dynamics of HBV-HIV/AIDS coinfection. The basic reproduction number of HBV-HIV/AIDS coinfection model derived before implementing any intervention was and the effective reproduction number derived after implementing both vaccination and treatment was . Based on the data given in Table 2, we evaluated the numerical values of the basic and effective reproduction numbers to evaluate the effectiveness of our intervention. As the numerical values indicate, the basic reproduction number and the effective reproduction number . This tells us one infectious individual infects at least 4 healthy individuals in his/her infectious time if we do not implement any intervention mechanism. However, after incorporating vaccination and treatment efforts together in our model to reduce the burden caused by HBV-HIV/AIDS coinfection, the effective reproduction number becomes , which is less than the threshold value one. This implies the disease dies out in the community, and there will be no risk of transmitting the infection to others due to the effective vaccination and treatment efforts. We proved that the disease-free equilibrium points of the sub and full models are locally and globally asymptotically stable if the associated reproduction numbers , , and are less than one and the endemic equilibrium points of the sub and full models are locally and globally asymptotically stable whenever the associated reproduction numbers , , and are greater than one. From the sensitivity analysis carried out to illustrate the influence of different parameters on the effective reproduction number of HBV-HIV coinfection model, and , which are the effective contact rate for HBV and HIV transmission, respectively, are the most sensitive parameters. As the simulation results show, if the effective contact rates and are less than 0.42 and 0.58 for HBV and HIV transmission, respectively, the proportion of immune individuals following vaccination to HBV infection is greater than 0.14, the treatment rate for HB chronic carriers is greater than 0.28, and the treatment rate is greater than or equal 0.18 for HBV-HIV/AIDS-coinfected individuals, then the number of HBV infectious individuals, the number of HIV infectious individuals, and the number of HBV and HIV/AIDS coinfectious individuals decrease significantly and even fall to zero over time. Hence, it is concluded that decreasing the effective contact rates for HBV and HIV transmission and the use of vaccination and treatment at the highest possible rate are essential to control the spread of HBV-HIV/AIDS coinfection. From the numerical results, we recommend that public policymakers and other concerned bodies must focus on increasing vaccination coverage against HBV infection, treatment of hepatitis B and HIV/AIDS infections, and HBV-HIV/AIDS coinfection to control the spread of HBV-HIV/AIDS coinfection. Finally, we should mention that, for the sake of simplicity, the role of screening in the transmission dynamics of HBV-HIV/AIDS coinfection in a population was not considered in this study. It may affect the transmission dynamics of HBV-HIV/AIDS coinfection in a population. We leave this for future consideration.

Data Availability

All the necessary data used to support the findings of this study are included in the article.

Conflicts of Interest

The authors declare that there is no conflict of interest regarding the publication of this paper.