Predator self limitation controls pattern formation in a predator prey system with additional food: a Turing Hopf analysis
Supplying a released predator with additional, non reproducing food is a standard lever in augmentative biological control, with a known drawback with nothing limiting the predators own numbers, the extra food lets its population grow without bound. Competition among the predators supplies the missing brake. Howthis self limitation reshapes the spatial arrangement of the two species has not been asked. We address it with a reaction diffusion model of a logistically growing prey and a predator feeding through a Holling type II response that also draws on additional food , the predators competing among themselves at strength. In the well mixed setting we locate the Hopf bifurcation of the coexistence state exactly and show the cycle born there is stable, so weak competition gives boom bust oscillations, not runaway growth. Allowing movement, we obtain the diffusion driven Turing threshold at which the uniform state breaks into stationary patches of high and low density, and find the uniform oscillation stable as it appears. With prey mobility and competition strength as control parameters, the pattern forming and oscillatory instabilities meet at a single point, where we compute the dynamics. Simulations confirm the sequence weak competition gives a wholefield oscillation, stronger competition with faster prey spread gives fixed patterns, and near the crossover the two combine into patterns that pulse in time. Predator self competition therefore sets the spatial structure of the community, which is what matters when additional food is used to steer a control agent in the field.