Analysis of a stochastic predator-prey model based on the Ornstein-Uhlenbeck process with Holling-Ⅱ and Beddington–DeAngelis functional responses

In this paper, we investigated a predator–prey model driven by an Ornstein–Uhlenbeck process and featuring Holling-Ⅱ and Beddington–DeAngelis functional responses. To begin, the biological significance of the Ornstein-Uhlenbeck process in ecological modeling was illustrated, along with its validity in characterizing random environmental fluctuations. Subsequently, the existence and uniqueness of the global solution for this model were strictly proven and its ultimate boundedness was analyzed. By constructing Lyapunov functions and applying Itô's formula, the existence of the stationary distribution of the system was demonstrated, while sufficient conditions for population extinction were provided. Finally, numerical simulations were conducted to confirm the validity of the conclusions. This work provides a theoretical framework for understanding complex mutualistic-predatory communities under persistent environmental fluctuations.