Abstract
This work presents a mathematical model for the dynamics of HIV-related kidney diseases. The study examines two cases, considering the effects of the absence of treatment and the effects of Highly Active Antiretroviral Therapy (HAART) on different infection groups. Studying these cases is important because many developing countries implement HAART late, and not all HIV-infected individuals receive this therapy. Kidney diseases in HIV individuals are modeled as arising from both HIV infection itself and the use of nephrotoxic drugs. In the analysis of the mathematical model, it is shown that the state variables of the model are non-negative and bounded. Furthermore, we derived a formula for control reproduction number [Formula: see text] which was used to compare the cases considered. The sensitivity analysis of the model reveals that the effect of HAART in reducing the progression from HIV to HIV-related kidney diseases is more significant compared to other effects of HAART on disease dynamics, which is also confirmed through numerical simulations. The Markov Chain Monte Carlo (MCMC) method was used to estimate parameters and evaluate the model using real data of the HIV population from Tanzania from 1990 to 2022. Numerical simulations demonstrated that while HAART reduces HIV progression to the AIDS stage, the population of individuals with HIV-related kidney diseases is increasing and is projected to continue increasing. Additionally, the results show that improving the effectiveness of HAART by 90% in preventing the progression from HIV to HIV-related kidney diseases can significantly decrease the prevalence of HIV-related kidney diseases. This study addresses a gap in understanding how population-level HAART availability influences the dynamics of HIV-related kidney disease, particularly in settings with delayed or inconsistent treatment access. By analyzing disease progression under these conditions, our findings provide insights that can inform public health strategies for improving HIV care in resource-limited settings and other contexts where access disparities persist. In addition, the work investigated scenarios related to data quality in which the model parameters can be well identified, which can serve as a guide for obtaining informative real data.