Global stability of spatially nonhomogeneous steady state solution in a diffusive Holling-Tanner predator-prey model

The global stability of the nonhomogeneous positive steady state solution to a diffusive Holling-Tanner predator-prey model in a heterogeneous environment is proved by using a newly constructed Lyapunov function and estimates of nonconstant steady state solutions. The techniques developed here can be adapted for other spatially heterogeneous consumer-resource models.