Minimal Conditions for Implications of Gronwall-Bellman Type

TL;DR

This paper identifies the minimal necessary and sufficient conditions on measures for Gronwall-Bellman inequalities to imply nonpositivity of solutions, clarifying foundational aspects of integral inequalities.

Contribution

It establishes the exact measure conditions needed for the implications of Gronwall-Bellman inequalities to hold, filling a gap in the theoretical understanding.

Findings

Characterization of minimal measure conditions for implications

Necessary conditions for bounds on solutions

Theoretical framework for integral inequality implications

Abstract

Gronwall-Bellman type inequalities entail the following implication: if a sufficiently integrable function satisfies a certain homogeneous linear integral inequality, then it is nonpositive. We present a minimal (necessary and sufficient) condition on the Borel measure underlying the integrals for this implication to hold. The condition is also a necessary prerequisite for any nontrivial bound on solutions to inhomogeneous linear integral inequalities of Gronwall-Bellman type.