Turing patterns in a reaction-diffusion system modeling hunting cooperation

A reaction-diffusion system governing the prey-predator interaction with hunting cooperation is investigated. Definitive boundedness of solutions is proved via the existence of positive invariants and attractive sets. Linear stability of the coexistence equilibria is performed and conditions guaranteeing the occurrence of Turing instability are found. Numerical simulations on the obtained results are provided.