Global properties for virus dynamics model with Beddington–DeAngelis functional response

This paper investigates the global stability of virus dynamics model with Beddington–DeAngelis infection rate. By constructing Lyapunov functions, the global properties have been analysed. If the basic reproductive ratio of the virus is less than or equal to one, the uninfected steady state is globally asymptotically stable. If the basic reproductive ratio of the virus is more than one, the infected steady state is globally asymptotically stable. The conditions imply that the steady states are always globally asymptotically stable for Holling type II functional response or for a saturation response.