A diffusive Holling-Tanner prey predator model with free boundary

This paper is concerned with a diffusive HollingTanner preypredator model in a bounded domain with Dirichlet boundary condition and a free boundary. The global existence of the unique solution is proved. Moreover, the criteria governing spreading vanishing are derived by mainly using the comparison principle. The results show that if the length of the occupying line is bigger than a threshold value (spreading barrier), then the spreading of predators will make an achievement, and, if the length of the occupying line is smaller than this spreading barrier and the spreading coefficient is relatively small depending on initial size of predators, then the predators will fail in establishing themselves and eventually die out.