的解的取值范围。比如，它可以用来证明初值问题的解的唯一性（见柯西-利普希茨定理）。格朗沃尔不等式的名称来自多玛·哈肯·格朗沃尔。格朗沃尔是一位瑞典的数学家，后来移居美国。格朗沃尔不等式的微分形式首先由格朗沃尔在1919年证明。而积分形式则是由理查德·贝尔曼（）在1943年证明。
微分形式.设 "I" 是一个实数区间，记为：<nowiki>[</nowiki>"a", ∞) 或 <nowiki>[</nowiki>"a", "b"<nowiki>]</nowiki> 或 <no