Traveling waves for a generalized Holling-Tanner predator-prey model

We study traveling wave solutions for Holling-Tanner type predator-prey models, where the predator equation has a singularity at zero prey population. The traveling wave solutions here connect the prey only equilibrium (1,0) with the unique constant coexistence equilibrium (u⁎,v⁎). First, we give a sharp existence result on weak traveling wave solutions for a rather general class of predator-prey systems, with minimal speed explicitly determined. Such a weak traveling wave (u(ξ),v(ξ)) connects (1,0) at ξ=−∞ but needs not connect (u⁎,v⁎) at ξ=∞. Next we modify the Holling-Tanner model to remove its singularity and apply the general result to obtain a weak traveling wave solution for the modified model, and show that the prey component in this weak traveling wave solution has a positive lower bound, and thus is a weak traveling wave solution of the original model. These results for weak traveling wave solutions hold under rather general conditions. Then we use two methods, a squeeze method and a Lyapunov function method, to prove that, under additional conditions, the weak traveling wave solutions are actually traveling wave solutions, namely they converge to the coexistence equilibrium as ξ→∞.