New Generalizations of Gronwall–Bellman–Bihari-Type Integral Inequalities

This paper develops several new generalizations of Gronwall–Bellman–Bihari-type integral inequalities. We establish three novel integral inequalities that extend classical results to more complex settings, including integrals with mixed linear and nonlinear terms, delayed (retarded) arguments, and general integral kernels. In the preliminaries, we review known Gronwall–Bellman–Bihari inequalities and useful lemmas. In the main results, we present at least three new theorems. The first theorem provides an explicit bound for solutions of an integral inequality involving a separable kernel function and a nonlinear (Bihari-type) term, significantly extending the classical Bihari inequality. The second theorem addresses integral inequalities with delayed arguments, showing that the delay does not enlarge the growth bound compared to the non-delay case. The third theorem handles inequalities with combined linear and nonlinear terms; using a monotone iterative technique, we prove the existence of a maximal solution that bounds any solution of the inequality. Rigorous proofs are given for all main results. In the Applications section, we illustrate how these inequalities can be applied to deduce qualitative properties of differential equations. As an example, we prove a uniqueness result for an initial value problem with a non-Lipschitz nonlinear term using our new inequalities. The paper concludes with a summary of results and a brief discussion of potential further generalizations. Our results provide powerful tools for researchers to obtain a priori bounds and uniqueness criteria for various differential, integral, and functional equations. It is important to note that the integral inequalities established in this work provide bounds on the solution under the assumption of its existence on the considered interval [t0,T]. For nonlinear differential or integral equations where the nonlinearity F fails to be Lipschitz continuous, solutions may develop movable singularities (blow-up) in finite time. The bounds derived from our Gronwall–Bellman–Bihari-type inequalities are valid only on the maximal interval of existence of the solution. Determining the region where solutions are guaranteed to be free of such singularities is a separate and profound problem, often requiring additional techniques such as the construction of Lyapunov functions or the use of differential comparison principles. The primary contribution of this paper is to provide sharp estimates and uniqueness criteria within the domain where a solution is known to exist a priori.