A mathematical approach to HIV infection dynamics

In order to obtain a comprehensive form of mathematical models describing nonlinear phenomena such as HIV infection process and AIDS disease progression, it is efficient to introduce a general class of time-dependent evolution equations in such a way that the associated nonlinear operator is decomposed into the sum of a differential operator and a perturbation which is nonlinear in general and also satisfies no global continuity condition. An attempt is then made to combine the implicit approach (usually adapted for convective diffusion operators) and explicit approach (more suited to treat continuous-type operators representing various physiological interactions), resulting in a semi-implicit product formula. Decomposing the operators in this way and considering their individual properties, it is seen that approximation–solvability of the original model is verified under suitable conditions. Once appropriate terms are formulated to describe treatment by antiretroviral therapy, the time-dependence of the reaction terms appears, and such product formula is useful for generating approximate numerical solutions to the governing equations. With this knowledge, a continuous model for HIV disease progression is formulated and physiological interpretations are provided. The abstract theory is then applied to show existence of unique solutions to the continuous model describing the behavior of the HIV virus in the human body and its reaction to treatment by antiretroviral therapy. The product formula suggests appropriate discrete models describing the dynamics of host pathogen interactions with HIV1 and is applied to perform numerical simulations based on the model of the HIV infection process and disease progression. Finally, the results of our numerical simulations are visualized and it is observed that our results agree with medical and physiological aspects.