格朗沃尔不等式 在数学中格朗沃尔引理或格朗沃尔不等式说明了对于满足一定的微分方程或积分方程的函数有相应的关于此微分方程或积分方程的不等式格朗沃尔不等式有两种形式分别是积分形式和微分形式积分形式下的不等式可以有几种不同的写法 格朗沃尔不等式常常被用来估计常微分方程的解的取值范围比如它可以用来证明初值问题的解的唯一性见柯西利普希茨定理 格朗沃尔不等式的名称来自多玛哈肯格朗沃尔格朗沃尔是一位瑞典的数学家后来移居美国 格朗沃尔不等式的微分形式首先由格朗沃尔在年证明而积分形式则是由理查德贝尔曼Richard Bellman在年证明