在數學中,格朗沃爾引理或格朗沃爾不等式說明了對於滿足一定的微分方程或積分方程的函數,有相應的關於此微分方程或積分方程的不等式。格朗沃爾不等式有兩種形式,分別是積分形式和微分形式。積分形式下的不等式可以有幾種不同的寫法。
格朗沃爾不等式常常被用來估計常微分方程的解的取值範圍。比如,它可以用來證明初值問題的解的唯一性(見柯西-利普希茨定理)。
格朗沃爾不等式的名稱來自多瑪·哈肯·格朗沃爾。格朗沃爾是一位瑞典的數學家,後來移居美國。
格朗沃爾不等式的微分形式首先由格朗沃爾在1919年證明[1]。而積分形式則是由理查德·貝爾曼(Richard Bellman)在1943年證明[2]。
設 I 是一個實數區間,記為:[a, ∞) 或 [a, b] 或 [a, b),其中 a < b。又設β 和 u 為定義在 I 上的實數值的連續函數。假設 u 是一個在 I 的內部(也就是不包括端點)可微的函數,並且滿足如下的微分不等式:
![{\displaystyle u'(t)\leq \beta (t)\,u(t),\qquad t\in I^{\circ },}](//wikimedia.org/api/rest_v1/media/math/render/svg/7282208efc98a33a189cf81b298959a7e866ebfd)
那麼對於所有的
,函數 u 都小於等於以下微分方程
的解:
![{\displaystyle u(t)\leq u(a)\exp {\biggl (}\int _{a}^{t}\beta (s)\,\mathrm {d} s{\biggr )}}](//wikimedia.org/api/rest_v1/media/math/render/svg/89402de9996fd2d802875f0bf420e19ac73d0f05)
注意:不等式對函數 β 和 u 的符號沒有任何要求。
如果設
![{\displaystyle v(t)=\exp {\biggl (}\int _{a}^{t}\beta (s)\,\mathrm {d} s{\biggr )}}](//wikimedia.org/api/rest_v1/media/math/render/svg/5283974af41de87ff0d9528d125160373b6ee2e4)
是以下微分方程
![{\displaystyle v'(t)=\beta (t)\,v(t),}](//wikimedia.org/api/rest_v1/media/math/render/svg/fecab266f40929df872d6849e1c6cdc7db4b2038)
其中 v(a) = 1 的解,那麼對所有的 t 都有 v(t) > 0, 因此根據複合函數求導法則中的除法定則:
![{\displaystyle {\frac {d}{dt}}\left({\frac {u}{v}}\right)={\frac {u'v-v'u}{v^{2}}}\leq {\frac {\beta uv-\beta vu}{v^{2}}}=0}](//wikimedia.org/api/rest_v1/media/math/render/svg/4967868c2df6452c7df1fc1c2b084f08f704752a)
對所有的 t > a 成立,因此
![{\displaystyle {\frac {u(t)}{v(t)}}\leq {\frac {u(a)}{v(a)}}=u(a)}](//wikimedia.org/api/rest_v1/media/math/render/svg/16240f6cc5e1ce10e191dda4abbb9db7f73cb9ef)
於是格朗沃爾不等式得證。
設 I 是一個實數區間,記為:[a, ∞) 或 [a, b] 或 [a, b),其中 a < b。又設 α、β 和 u 為定義在 I 上的實數值的函數。假設 β 和 u 是連續的,則有:
- (a) 如果 β 是非負函數並且 u 滿足如下的積分不等式:
,
- 那麼
。
- (b) 如果在之前的條件下, α 還是一個常數,那麼
![{\displaystyle u(t)\leq \alpha \exp {\biggl (}\int _{a}^{t}\beta (s)\,\mathrm {d} s{\biggr )},\qquad t\in I.}](//wikimedia.org/api/rest_v1/media/math/render/svg/d23519234f6a7d368f7c5aaf803e3628af913ebf)
注意:
- 不等式的成立條件里並沒有限制 α 和 u 的符號;
- 相比於微分形式,積分形式中對函數 u 的可微性沒有做要求;
(a) 定義
![{\displaystyle v(s)=\exp {\biggl (}{-}\int _{a}^{s}\beta (r)\,\mathrm {d} r{\biggr )}\int _{a}^{s}\beta (r)u(r)\,\mathrm {d} r,\qquad s\in I.}](//wikimedia.org/api/rest_v1/media/math/render/svg/2b5b804da01905c1a1f3acccfe453778cc5340cd)
則運用複合函數求導法則中的乘積法則、鏈式法則、指數函數的求導法則以及微積分基本定理,可以得到:
,
由於注意到括號中的部分小於 α,可以得到相應的不等式,並進行積分。由於函數 β 以及其指數都是非負函數,不等號保持不變。然而 v(a) = 0,因此積分式等價於:
![{\displaystyle v(t)\leq \int _{a}^{t}\alpha (s)\beta (s)\exp {\biggl (}{-}\int _{a}^{s}\beta (r)\,\mathrm {d} r{\biggr )}\mathrm {d} s.}](//wikimedia.org/api/rest_v1/media/math/render/svg/46ab565d94eea93f2406428be8f10ddbb8433934)
再運用第一步里 v(t) 的定義,就得到:
。
最後將原來條件里的不等式帶入上式左邊,就可以得到格朗沃爾不等式了。
(b) 如果函數 α 為常數函數,那麼命題 (a) 中不等式的右邊可以進行積分。由微積分基本定理可以獲得:
。
T. H. Gronwall: Note on the derivative with respect to a parameter of the solutions of a system of differential equations, Ann. of Math 20 (1919), 292–296.
Richard Bellman, The stability of solutions of linear differential equations, Duke Math. J. 10 (1943), 643–647.
- 樓紅衛,林偉,《常微分方程》,復旦大學出版社,2007年,ISBN:978-7-309-05590-0/O.400
- 李榮華,劉播,《微分方程數值解法(第4版)》,高等教育出版社,2009年。
- Jan A. Sanders, Ferdinand Verhulst, James A. Murdock, Averaging methods in nonlinear dynamical systems, Springer,2007.