Term of Award

Winter 2003

Degree Name

Master of Science

Document Type and Release Option

Thesis (restricted to Georgia Southern)


Department of Mathematics

Committee Chair

Liancheng Wang

Committee Member 1

Donald Fausett

Committee Member 2

Matthew Schuette


Mathematical models have been of great importance when attempting to analyze problems that are faced by society. With the widespread outbreak of HIV, many models have been established to explain some of the characteristics of the HIV infection. In this research, we use a three dimensional model to study the interactions of uninfected CD4+ T cells, actively infected CD4+ T cells, and viral particles.

For the model described by a three-dimensional ODE system, a bounded positively invariant set Γ in R3+ is found. We show that if N < Nc, that is if the number of viral particles produced by a single actively infected T cell is less than or equal to a critical number Nc, the system has only one uninfected equilibrium point P0 on the boundary of Γ. If N > Nc, that is if the number of viral particles produced by an actively infected CD4+ T cell is greater than the critical value, then there are two equilibrium points within the feasible region Γ; namely P0 and an endemically infected equilibrium point in the interior of Γ.

The local and global stability of each equilibrium point is then studied. If N < Nc, the local stability of the uninfected state is confirmed by showing the eigenvalues of the Jacobian matrix have negative real parts. A Lyapunov function is found to show the global stability of the uninfected case. Thus, we show that if N < Nc then all solutions starting inside Γ will converge to P0. Biologically this means that the HIV infection dies out in time and no disease persists. If N > Nc, P0 becomes unstable. The local stability of the endemically infected equilibrium point P1 is established using the Routh-Hurwitz conditions and the global stability of P1 is then evaluated numerically. The mathematical results show that when N > Nc the solutions always converge to an endemically infected steady state. Thus the disease persists.