LAUSR

Abstract A reaction–diffusion system of two bacteria species competing a single limiting nutrient with the consideration of virus infection is derived and analysed. Firstly, the well-posedness of the system, the existence of the trivial and semi-trivial steady states, and some prior estimations of the steady states are given. Secondly, a single species subsystem with virus is studied. The stability of the trivial and semi-trivial steady states and the uniform persistence of the subsystem are obtained. Further, taking the infective ability of virus as a bifurcation parameter, the global structure of the positive steady states and the effect of virus on the positive steady states are established via bifurcation theory and limiting arguments. It shows that the backward bifurcation may occur. Some sufficient conditions for the existence, uniqueness and stability of the positive steady state are also obtained. Finally, some sufficient conditions on the existence of the positive steady states for the full system are derived by using the fixed point index theory. Some results on persistence or extinction for the full system are also obtained.