グロンウォールの不等式のソースを表示

[[数学]]の分野における'''グロンウォールの不等式'''（ぐろんうぉーるのふとうしき、{{lang-en-short|''Gronwall's inequality''}}）は、ある{{仮リンク|微分不等式|en|Differential variational inequality}}あるいは[[積分不等式]]をみたす関数を、対応する[[微分方程式]]あるいは[[積分方程式]]の解によって評価する結果として得られる不等式のことである。微分型のものと積分型のものの二種類が存在し、後者にはいくつかの変形版が存在する。

グロンウォールの不等式は、[[常微分方程式]]および[[確率微分方程式]]の理論において、様々な解の評価を得るために用いられる。特に、[[初期値問題]]の解の{{仮リンク|一意存在量化|en|Uniqueness quantification|label=一意性}}を証明する際によく用いられる（例えば[[ピカール＝リンデレーフの定理]]を参照されたい）。

この不等式は、[[スウェーデン]]の数学者である{{仮リンク|グロンウォール|en|Thomas Hakon Grönwall}} (1877–1932) の名にちなむ。[[スウェーデン語]]での彼の名前の表記は「Grönwall」であるが、[[アメリカ合衆国]]に異動したのちの彼の出版物においては「Gronwall」の表記が用いられている。

この不等式の微分型に関する証明は、1919年にグロンウォールによって行われた<ref name="gronwall">{{Citation | last = Gronwall | first = Thomas H. | author-link = Thomas Hakon Grönwall | title = Note on the derivative with respect to a parameter of the solutions of a system of differential equations | journal = [[Annals of Mathematics|Ann. of Math.]] | volume = 20 | issue = 4 | pages = 292–296 | year = 1919 | jstor = 1967124 | mr = 1502565 }}</ref>。積分型に関する証明は、1943年に応用数学者の[[リチャード・E・ベルマン]]によって行われた<ref>{{Citation | last = Bellman | first = Richard | author-link = Richard Bellman | title = The stability of solutions of linear differential equations | journal = [[Duke Mathematical Journal|Duke Math. J.]] | volume = 10 | issue =  4 | pages = 643–647 | year = 1943 | url = http://projecteuclid.org/euclid.dmj/1077472225 | mr = 0009408 }}</ref>。

グロンウォールの不等式の非線形系への一般化は、{{仮リンク|ビハリの不等式|en|Bihari's inequality}}として知られている。

== 微分型 ==
実数 ''a''&nbsp;<&nbsp;''b'' に対し、<nowiki>[</nowiki>''a'',&nbsp;∞) か <nowiki>[</nowiki>''a'',&nbsp;''b''<nowiki>]</nowiki> あるいは <nowiki>[</nowiki>''a'',&nbsp;''b'') のいずれかの形をとる[[実数直線|実軸]]上の[[区間 (数学)|区間]]を ''I'' で表す。''β'' および ''u'' を、区間 ''I'' 上で定義される実数値[[連続関数]]とする。もし関数 ''u'' が区間 ''I'' の[[内部 (位相空間論)|内部]] ''I''<sup>&nbsp;o</sup> で[[微分|微分可能]]であり、微分不等式

:<math>u'(t) \le \beta(t)\,u(t),\qquad t\in I^\circ </math>

を満たすならば、関数 ''u'' は対応する微分方程式 {{nowrap|''y''&thinsp;&prime;(''t'') {{=}} ''&beta;''(''t'')&thinsp;''y''(''t'')}} の解によって上から評価される。すなわち

:<math>u(t) \le u(a) \exp\biggl(\int_a^t \beta(s)\, \mathrm{d} s\biggr)</math>

が、区間 ''I'' に含まれるすべての ''t'' に対して成立する。

'''注意:''' ここでは関数 ''β'' および ''u'' の符号に関して何の仮定も置いていない。

=== 証明 ===

関数

:<math>v(t) =  \exp\biggl(\int_a^t \beta(s)\, \mathrm{d} s\biggr),\qquad t\in I </math>

を定義する。ここで ''v''(''a'')&nbsp;= 1 であり、''v''(''t'')&nbsp;> 0 が区間 ''I'' の任意の ''t'' に対して成立するとともに

:<math>v'(t) = \beta(t)\,v(t),\qquad t\in I^\circ,</math>

が成立することに注意されたい。今、関数の[[商の微分法則]]により

:<math>\frac{d}{dt}\frac{u}{v} = \frac{u'v-v'u}{v^2} \le \frac{\beta u v - \beta v u}{v^2} = 0,\qquad t\in I^\circ </math>

が成立するため、[[平均値の定理]]を応用することにより

:<math>\frac{u(t)}{v(t)}\le \frac{u(a)}{v(a)}=u(a),\qquad t\in I </math>

が得られるが、これは求める不等式に他ならない。

== 連続関数に対する積分型 ==
実数 ''a''&nbsp;<&nbsp;''b'' に対し、<nowiki>[</nowiki>''a'',∞) か <nowiki>[</nowiki>''a'',''b''<nowiki>]</nowiki> あるいは <nowiki>[</nowiki>''a'',''b'') のいずれかの形をとる実軸上の区間を ''I'' とする。''α''、''β'' および ''u'' を、区間 ''I'' 上定義される実数値関数とする。関数 ''β'' および ''u'' は連続であるとし、関数 ''α'' の負の部分は区間 ''I'' に含まれるすべての閉の有界部分区間において積分可能であるとする。

*(a) もし関数 ''β'' が非負であり、関数 ''u'' が積分不等式
::<math>u(t) \le \alpha(t) + \int_a^t \beta(s) u(s)\,\mathrm{d}s,\qquad \forall t\in I</math>
:を満たすなら
::<math> u(t) \le \alpha(t) + \int_a^t\alpha(s)\beta(s)\exp\biggl(\int_s^t\beta(r)\,\mathrm{d}r\biggr)\mathrm{d}s,\qquad t\in I</math>
:が成立する。
*(b) さらにもし関数 ''α'' が非減少関数であるなら
::<math>u(t) \le \alpha(t)\exp\biggl(\int_a^t\beta(s)\,\mathrm{d}s\biggr),\qquad t\in I.</math>
:が成立する。

'''注意:'''
* 関数 ''α'' および ''u'' の符号に関しては何の仮定も置いていない。
* 微分型の場合とは異なり、積分型においては関数 ''u'' の微分可能性は求められていない。
* 関数 ''β'' および ''u'' の連続性を必要としない場合については、次節の内容を参照されたい。

=== 証明 ===
(a) 関数

:<math>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 </math>

を定義する。関数の[[積の微分公式]]、[[連鎖律|連鎖法則]]、[[指数関数]]の微分公式および[[微分積分学の基本定理]]を用いることにより、微分

:<math>v'(s) = \biggl(\underbrace{u(s)-\int_a^s\beta(r)u(r)\,\mathrm{d}r}_{\le\,\alpha(s)}\biggr)\beta(s)\exp\biggl({-}\int_a^s\beta(r)\mathrm{d}r\biggr),
\qquad s\in I </math>

を得ることが出来る。ここで式の上からの評価のために、定理の仮定で現れた積分不等式を用いている点に注意されたい。関数 ''β'' および指数関数は非負であるため、この式は関数 ''v'' の微分に対する上からの評価を与えていることが分かる。''v''(''a'')&nbsp;=&nbsp;0 であるため、この不等式を ''a'' から ''t'' まで積分することにより

:<math>v(t) \le\int_a^t\alpha(s)\beta(s)\exp\biggl({-}\int_a^s\beta(r)\,\mathrm{d}r\biggr)\mathrm{d}s </math>

を得る。この不等式と、指数関数の[[関数方程式]]および関数 ''v''(''t'') の定義を用いることにより

:<math>\begin{align}\int_a^t\beta(s)u(s)\,\mathrm{d}s
&=\exp\biggl(\int_a^t\beta(r)\,\mathrm{d}r\biggr)v(t)\\
&\le\int_a^t\alpha(s)\beta(s)\exp\biggl(\underbrace{\int_a^t\beta(r)\,\mathrm{d}r-\int_a^s\beta(r)\,\mathrm{d}r}_{=\,\int_s^t\beta(r)\,\mathrm{d}r}\biggr)\mathrm{d}s
\end{align}</math>

が得られる。これを仮定に現れた積分不等式に代入することにより、求めるグロンウォールの不等式が得られる。

(b) もし関数 ''α'' が非減少関数であるなら、(a) および不等式 α(s) ≤ α(t) が成立すること、および微分積分学の基本定理により

:<math>\begin{align}u(t)&\le\alpha(t)+\biggl({-}\alpha(t)\exp\biggl(\int_s^t\beta(r)\,\mathrm{d}r\biggr)\biggr)\biggr|^{s=t}_{s=a}\\
&=\alpha(t)\exp\biggl(\int_a^t\beta(r)\,\mathrm{d}r\biggr),\qquad t\in I\end{align}</math>

が得られ、証明が完成される。

== 局所有限測度を持つ積分型 ==
実数 {{math|''a''&nbsp;&lt;&nbsp;''b''}} に対し、{{math|{{!(}}''a'', ∞)}} か {{math|{{!(}}''a, b''{{)!}}}} あるいは {{math|{{!(}}''a, b'')}} の形を持つ実軸上の区間を {{mvar|I}} で表す。{{mvar|α}} および {{mvar|u}} を区間 {{mvar|I}} 上で定義される[[可測関数]]とする。{{mvar|μ}} を、区間 {{mvar|I}} の[[ボレル集合|ボレルσ-代数]]上の[[局所有限測度]]とする（区間 {{mvar|I}} のすべての {{mvar|t}} に対して {{math|''μ''({{!(}}''a, t''{{)!}})&nbsp;&lt;&nbsp;∞}} である必要がある）。関数 {{mvar|u}} には次の成立を仮定し、その意味において測度 {{mvar|μ}} に関して積分可能であるとする:

:<math>\int_a^t|u(s)|\,\mu(\mathrm{d}s)<\infty,\qquad t\in I.</math>

また関数 {{mvar|u}} は積分不等式

:<math>u(t) \le \alpha(t) + \int_{[a,t)} u(s)\,\mu(\mathrm{d}s),\qquad t\in I </math>

を満たすとする。さらに、もし
* 関数 {{mvar|α}} は非負である。あるいは
* 関数 {{math|''t'' → ''μ''({{!(}}''a, t''{{)!}})}} は区間 {{mvar|I}} の {{mvar|t}} について連続であり、関数 {{mvar|α}} は

:: <math>\int_a^t|\alpha(s)|\,\mu(\mathrm{d}s)<\infty,\qquad t\in I </math>

が成立するという意味において、測度 {{mvar|μ}} について積分可能であるならば、関数 {{mvar|u}} はグロンウォールの不等式

:<math>u(t) \le \alpha(t) + \int_{[a,t)}\alpha(s)\exp\bigl(\mu(I_{s,t})\bigr)\,\mu(\mathrm{d}s)</math>

を区間 {{mvar|I}} のすべての {{mvar|t}} に対して満足する。ここで {{mvar|I<sub>s, t</sub>}} は開区間 {{math|(''s'',&nbsp;''t'')}} を表す。

=== 注意 ===
* 関数 {{mvar|α}} および {{mvar|u}} に対しては連続性に関する仮定は置かれていない。
* グロンウォールの不等式における積分の値は無限であっても許される。
* もし関数 {{mvar|α}} がゼロ関数であり、関数 {{mvar|u}} が非負であるなら、グロンウォールの不等式により関数 {{mvar|u}} はゼロ関数となる。
* 関数 {{mvar|u}} の測度 {{mvar|μ}} に関する積分可能性は、上述の結果を得る上で本質的である。たとえば反例として、{{mvar|μ}} を単位区間 {{math|{{!(}}0, 1{{)!}}}} 上の[[ルベーグ測度]]とし、{{math|1=''u''(0) = 0}} および {{math|1=''u''(''t'') = 1/''t'' for ''t'' in (0, 1{{)!}}}} で関数 {{mvar|u}} を定義し、関数 {{mvar|α}} をゼロ関数とした場合が挙げられる。

* S.&nbsp;Ethier および T.&nbsp;Kurtz の著書<ref>{{Citation | last = Ethier | first = Steward N. | last2 = Kurtz | first2 = Thomas G. | title = Markov Processes, Characterization and Convergence | place = New York | publisher = [[John Wiley & Sons]] | year = 1986 | page = 498 | isbn = 0-471-08186-8 | mr = 0838085 }}</ref>に現れる結果では、より強い仮定として関数 {{mvar|α}} は非負の定数とし関数 {{mvar|u}} は有限区間上で有界であるとする一方で、測度 {{mvar|μ}} の局所有限性は仮定していない。[[#グロンウォールの不等式の証明|この記事の以下で与えられる証明]]との違いとして、彼らの証明では残部 {{math|''R<sub>n</sub>''(''t'')}} の挙動に関する議論を行っていないことが挙げられる。

=== 特別な場合 ===
* もし測度 {{mvar|μ}} がルベーグ測度に関する密度 {{mvar|β}} を持つなら、グロンウォールの不等式は

:: <math>u(t) \le \alpha(t) + \int_a^t \alpha(s)\beta(s)\exp\biggl(\int_s^t\beta(r)\,\mathrm{d}r\biggr)\,\mathrm{d}s,\qquad t\in I </math>

:と書き換えられる。

* もし関数 {{mvar|α}} は非負で、測度 {{mvar|μ}} の密度 {{mvar|β}} は定数 {{mvar|c}} により評価されているなら

:: <math>u(t) \le \alpha(t) + c\int_a^t \alpha(s)\exp\bigl(c(t-s)\bigr)\,\mathrm{d}s,\qquad t\in I</math>

:が成立する。

* さらにもし、その非負関数 {{mvar|α}} が非減少であるなら

:: <math>u(t) \le \alpha(t) + c\alpha(t)\int_a^t \exp\bigl(c(t-s)\bigr)\,\mathrm{d}s
=\alpha(t)\exp(c(t-a)),\qquad t\in I</math>

:が得られる。

=== 証明の概略 ===
証明は三つの段階に分けられる。アイデアとしては、仮定に現れた積分不等式をそれ自身に {{mvar|n}} 回代入するという方法が考えられ、これは[[数学的帰納法]]を用いることにより、以下の「主張1」において行われる。「主張2」では、積測度の順列の不変性を用いることにより、単体の測度をある便利な形状へと書き換える。最後に、求めるグロンウォールの不等式の変形版を得るために、{{mvar|n}} を無限大とすることを考える。

=== 証明の詳細 ===
====主張1: 不等式の反復====
ゼロを含む任意の自然数 ''n'' に対して

:<math>u(t) \le \alpha(t) + \int_{[a,t)} \alpha(s) \sum_{k=0}^{n-1} \mu^{\otimes k}(A_k(s,t))\,\mu(\mathrm{d}s) + R_n(t)</math>

が成立する。ここで残部は

:<math>R_n(t) :=\int_{[a,t)}u(s)\mu^{\otimes n}(A_n(s,t))\,\mu(\mathrm{d}s),\qquad t\in I </math>

とし

:<math>A_n(s,t)=\{(s_1,\ldots,s_n)\in I_{s,t}^n\mid s_1<s_2<\cdots<s_n\},\qquad n\ge1 </math>

は ''n''-次元[[単体 (数学)|単体]]とし

:<math>\mu^{\otimes 0}(A_0(s,t)):=1 </math>

としている。

==== 主張1 の証明 ====
[[数学的帰納法]]を用いる。{{math|''n'' {{=}} 0}} の場合、[[空和]]がゼロであることにより、これはそのまま仮定で現れた積分不等式となる。

{{mvar|n}} での成立を仮定したときの、{{math|''n'' + 1}} の場合について考える: 関数 {{mvar|u}} に関する仮定で現れた積分不等式を残部に代入することにより

:<math>R_n(t)\le\int_{[a,t)} \alpha(s) \mu^{\otimes n}(A_n(s,t))\,\mu(\mathrm{d}s) +\tilde R_n(t)</math>

を得る。ここで

:<math>\tilde R_n(t):=\int_{[a,t)} \biggl(\int_{[a,q)} u(s)\,\mu(\mathrm{d}s)\biggr)\mu^{\otimes n}(A_n(q,t))\,\mu(\mathrm{d}q),\qquad t\in I </math>

とする。[[フビニの定理|フビニ・トネリの定理]]を二つの積分の交換のために用いることで、

:<math>\tilde R_n(t)
=\int_{[a,t)} u(s)\underbrace{\int_{(s,t)} \mu^{\otimes n}(A_n(q,t))\,\mu(\mathrm{d}q)}_{=\,\mu^{\otimes n+1}(A_{n+1}(s,t))}\,\mu(\mathrm{d}s)
=R_{n+1}(t),\qquad t\in I </math>

を得る。したがって主張1 は {{math|''n'' + 1}} についても成立する。

==== 主張2: 単体の測度 ====
ゼロを含む任意の自然数 {{mvar|n}} および、区間 {{mvar|I}} に含まれる任意の {{math|''s'' &lt; ''t''}} に対し

:<math>\mu^{\otimes n}(A_n(s,t))\le\frac{\bigl(\mu(I_{s,t})\bigr)^n}{n!}</math>

が成立する。ここで等号は、関数 {{math|''t'' → ''μ''({{!(}}''a'', ''t''{{)!}})}} が区間 {{mvar|I}} に含まれる {{mvar|t}} について連続である場合に成立する。

====主張2 の証明====
{{math|''n'' {{=}} 0}} の場合、定義により主張は成立する。したがって以下では {{math|''n'' ≥ 1}} の場合を考える。

{{mvar|S<sub>n</sub>}} を {{math|{{(}}1, 2, ..., ''n''{{)}}}} に含まれる元のすべての組み合わせからなる集合とする。{{mvar|S<sub>n</sub>}} に含まれる任意の組み合わせ {{mvar|σ}} に対し、

:<math>A_{n,\sigma}(s,t)=\{(s_1,\ldots,s_n)\in I_{s,t}^n\mid s_{\sigma(1)}<s_{\sigma(2)}<\cdots<s_{\sigma(n)}\} </math>

を定義する。異なる組み合わせに対するそれらの集合は[[素集合|互いに素]]となり、

:<math>\bigcup_{\sigma\in S_n}A_{n,\sigma}(s,t)\subset I_{s,t}^n </math>

が成立する。したがって

:<math>\sum_{\sigma\in S_n} \mu^{\otimes n}(A_{n,\sigma}(s,t))
\le\mu^{\otimes n}\bigl(I_{s,t}^n\bigr)=\bigl(\mu(I_{s,t})\bigr)^n </math>

が成立する。測度 {{mvar|μ}} の {{mvar|n}}-重積に関して、それらはすべて等しい測度を持ち、集合 {{mvar|S<sub>n</sub>}} には {{math|''n''!}} 個の組み合わせが含まれていることにより、主張されている不等式が成立する。

今、関数 ''t'' → ''μ''(<nowiki>[</nowiki>''a'',''t''<nowiki>]</nowiki>) が区間 ''I'' に含まれる ''t'' について連続であると仮定する。このとき、{1,2,...,''n''} に含まれる異なる添え字''i'' および ''j'' に対して、集合

:<math>\{(s_1,\ldots,s_n)\in I_{s,t}^n\mid s_i=s_j\}</math>

は[[超平面]]に含まれ、したがって[[フビニの定理]]を応用することにより、その {{mvar|μ}} の {{mvar|n}}-重積に関する測度はゼロとなる。

:<math>I_{s,t}^n\subset\bigcup_{\sigma\in S_n}A_{n,\sigma}(s,t) \cup \bigcup_{1\le i<j\le n}\{(s_1,\ldots,s_n)\in I_{s,t}^n\mid s_i=s_j\}</math>

であることにより、主張の不等式は成立する。

====グロンウォールの不等式の証明====
任意の自然数 {{mvar|n}} に対し、[[#主張2: 単体の測度|主張 2]] により、[[#主張1: 不等式の反復|主張 1]] に現れる残部に対して

:<math>|R_n(t)| \le \frac{\bigl(\mu(I_{a,t})\bigr)^n}{n!} \int_{[a,t)} |u(s)|\,\mu(\mathrm{d}s),\qquad t\in I </math>

が成立することが分かる。今、測度 {{mvar|μ}} は区間 {{mvar|I}} 上で局所有限であるため、{{math|''μ''(''I<sub>a, t</sub>'') &lt; ∞}} である。したがって、関数 {{mvar|u}} の積分可能性に関する仮定により

:<math>\lim_{n\to\infty}R_n(t)=0,\qquad t\in I </math>

が得られる。[[#主張2: 単体の測度|主張 2]] および指数関数の級数展開により、評価

:<math>\sum_{k=0}^{n-1} \mu^{\otimes k}(A_k(s,t))
\le\sum_{k=0}^{n-1} \frac{\bigl(\mu(I_{s,t})\bigr)^k}{k!}
\le\exp\bigl(\mu(I_{s,t})\bigr)</math>

が、区間 {{mvar|I}} に含まれるすべての {{math|''s'' &lt; ''t''}} に対して得られる。もし関数 {{mvar|α}} が非負であるなら、これらの結果を[[#主張1: 不等式の反復|主張 1]] に代入することにより、関数 {{mvar|u}} についての求めるグロンウォールの不等式の変形版が得られる。

関数 {{math|''t'' → ''μ''({{!(}}''a, t''{{)!}})}} が区間 {{mvar|I}} に含まれる {{mvar|t}} について連続である場合、[[#主張2: 単体の測度|主張 2]]  により

:<math>\sum_{k=0}^{n-1} \mu^{\otimes k}(A_k(s,t))
=\sum_{k=0}^{n-1} \frac{\bigl(\mu(I_{s,t})\bigr)^k}{k!}
\to\exp\bigl(\mu(I_{s,t})\bigr)\qquad\text{as }n\to\infty</math>

が得られ、したがって関数 {{mvar|α}} の積分可能性により、[[ルベーグの優収束定理]]を用いることで求める不等式が得られる。

==参考文献==
<references />

{{Math-stub}}

{{DEFAULTSORT:くろんうおおるのふとうしき}}

[[Category:不等式]]
[[Category:解析学]]
[[Category:常微分方程式]]
[[Category:数学に関する記事]]
[[Category:数学のエポニム]]