A Free Boundary Problem for a Predator-Prey Model with Nonlinear Prey-Taxis

This paper deals with a reaction-diffusion system modeling a free boundary problem of the predator-prey type with prey-taxis over a one-dimensional habitat. The free boundary represents the spreading front of the predator species. The global existence and uniqueness of classical solutions to this system are established by the contraction mapping principle. With an eye on the biological interpretations, numerical simulations are provided which give a real insight into the behavior of the free boundary and the stability of the solutions.