Abstract:To investigate the global boundedness of solutions for a foraging-predator model with competition mechanisms, Neumann heat semigroup theory and a series of classical inequalities including Hlder inequality, Gagliardo-Nirenberg inequality, Young inequality, and interpolation inequality were systematically applied to progressively establish prior estimates for the model solutions. First, boundedness estimates for the food resource concentration were derived through the parabolic comparison principle and integration by parts. Subsequently, combining the regularization properties of the Neumann heat semigroup with relevant inequalities, boundedness estimates for the population densities of both foragers and predators were further obtained. Finally, by constructing energy functionals and applying the Moser-Alikakos iteration method, it was proven that under certain initial value and parameter conditions, the model admits a unique globally bounded classical solution.