出典: フリー教科書『ウィキブックス(Wikibooks)』
不等式式 (3.18) を解く技法は重要なので,ここで復習しておこう.
微分不等式
が次の微分方程式
![{\displaystyle {\frac {du}{dt}}\leqq Ku\quad (K>0)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/acdd6862eca7240f86d1b445bdff3e7821251d39)
を満たすならば,
![{\displaystyle u(t)\leqq e^{K(t-t_{0})}u(t_{0})\quad (t\geqq t_{0})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ee3d1d36936a2940652a8fb805f6766869916946)
![{\displaystyle u(t)\geqq e^{K(t-t_{0})}u(t_{0})\quad (t\leqq t_{0})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c602fc96dcd81a37ff40cf4c6b7e01cd3b9e3071)
が成立する.
証明
1 階線形微分方程式の解法と同じである.
![{\displaystyle {\frac {du(t)}{dt}}-Ku(t)\leqq 0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/43aeaed2abbb0d783236e430a954f0d6d757fdb4)
の両辺に
を掛ける[1]と,
![{\displaystyle {\frac {d[e^{-Kt}u(t)]}{dt}}\leqq 0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d7a10e1a3d0a73a5ac7b076741b637ec584f1c30)
となる[2].これは
内の関数が広義の単調減少であることを示している.よって
![{\displaystyle e^{-Kt}u(t)\leqq e^{-Kt_{0}}u(t_{0})\quad t\geqq 0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0f3f03879d3ca86ffeaa9510b2c56c848486c9a1)
![{\displaystyle e^{-Kt}u(t)\geqq e^{-Kt_{0}}u(t_{0})\quad t\leqq 0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/46e5dd9f56f426c2874a2d99058e9381626c0bc1)
これは求める結果にほかならない[3].
- ^
- ^
![{\displaystyle {\frac {d}{dt}}\left[e^{-Kt}u(t)\right]={\frac {du}{dt}}e^{-Kt}-Ke^{-Kt}u}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2cbb63c9689b3986780f5017833c51427ee96d9c)
- ^
の両辺に
をかけると
![{\displaystyle u(t)\leqq e^{Kt}e^{-Kt_{0}}u(t_{0})=e^{K(t-t_{0})}u(t_{0})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4b9cd426c9d65735d0c95d88e39aae4829cf8b57)
この結果は実際に解くまでもなく予想できる.
![{\displaystyle \varphi (t):=e^{K(t-t_{0})}u(t_{0})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b15753b53cab210184de35ebd7e46b1a5cc84b57)
は微分方程式
の解である[1].
そこで,同じ初期値
を持った二つの式,
![{\displaystyle \varphi '(t)=K\varphi (t),\quad \varphi (t_{0})=\alpha }](https://wikimedia.org/api/rest_v1/media/math/render/svg/50f4d964c7ede786a1b8dcc1e537886832d310bb)
![{\displaystyle u'(t)\leqq Ku(t),\quad u(t_{0})=\alpha }](https://wikimedia.org/api/rest_v1/media/math/render/svg/c6a624eb40e75aee12780549069e559a98274fca)
の解を比較してみよう.
![{\displaystyle u'-\varphi '\leqq K(u-\varphi )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d5c0f84c394e04b79fdd00fe9723e40552e23ff2)
であるから,
(3.19)
![{\displaystyle u(t)\leqq \varphi (t)\implies u'(t)\leqq \varphi '(t)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0fc41a3c53dbe56204f8ba3e85f5b246ea8e79ed)
である.
で
.
よって次の瞬間,
![{\displaystyle u(t)\leqq \varphi (t)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/32aa500976c853d8db08a77d217e16804c7ef40e)
となり,
式 (3.19) により,この状態が持続する.
比喩的にいえば,兎
と亀
との競争である.
兎の方が俊足であるから
.
で 2 匹が肩を並べていたら,それ以降は兎が先行し,
![{\displaystyle u(t)\leqq \varphi (t)=e^{K(t-t_{0})}u(t_{0})\quad t\geqq t_{0}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6a96c71397f9a5b7c0ba97c52bc31cdac4d00abc)
それ以前は兎が亀を追っ掛けていたことになる.すなわち,
![{\displaystyle u(t)\geqq \varphi (t)=e^{K(t-t_{0})}u(t_{0})\quad t\leqq t_{0}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/679247a834c62434fbfa3ca313c854cb939f81ea)
ただし兎は居眠りをしないものとする.
- ^
にて
より
![{\displaystyle \varphi (t_{0})=Ce^{Kt_{0}}=u(t_{0})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/add27c4658637c7cbe8589818b37986563a566aa)
![{\displaystyle \therefore C=u(t_{0})e^{-Kt_{0}},\quad \varphi (t)=u(t_{0})e^{K(t-t_{0})}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8273be6d4582bdd47ebccfc2aea4f075f2da0351)
例75
![{\displaystyle u'\leqq K|u|,\ \ K\geqq 0;\quad u(t_{0})=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ed6f406874985d4f1d9baf7567a97cd4737a611a)
ならば
![{\displaystyle u(t)\leqq 0\quad (t\geqq t_{0})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/35f36f92df00ad6676e9a9f6d68638fac0f8bebc)
となることを示せ.
解答例
兎と亀の比喩が理解できれば,次の比較定理が成立することは直感的には明らかであろう.
比較定理
二つの微分方程式,
![{\displaystyle {\frac {dx}{dt}}=f(t,x),\quad {\frac {dy}{dt}}=g(t,y)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/02e1b4dad303ec0dd5c8996a5c271e4080e85ffe)
があって,
![{\displaystyle g(t,x)\leqq f(t,y)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2ee5d0d9e1c888830efb4be3929fef58ecba7113)
が常に成立するならば,同じ初期条件,
![{\displaystyle x(a)=y(a)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/41de7702786a120e370119ebdf108f760eff3f38)
を持つ二つの解
に対して
![{\displaystyle x(t)\geqq y(t)\quad (b\geqq t\geqq a)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/51a898800bdadc348fffeef24813bb1f159f2682)
が成立する.ただし
は領域
で定義されており,連続であるとする.
また
のいずれか一方は Lipschitz の条件,
![{\displaystyle \forall y,x:|f(t,y)-f(t,x)|\leqq K|y-x|}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6185f30b552162753f2622cf32b62409536236f9)
ここに
は定数,を満たすものとする.
説明
定理の真意はただし書き以前の部分にある.ただし書きによって解の存在や一意性が保証されているのであるが,それよりも,Lipschitz の条件により,非線形の方程式がほとんど線形の方程式となり,取り扱いが簡単となるのである.
証明
が Lipschitz の条件を満たす場合だけを証明しておこう.
仮定から,
![{\displaystyle x'=f(t,x),\quad y'\leqq f(t,y)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/634eec4cfb5741a084b40a4c1962a063fb791988)
であるから,
![{\displaystyle y'-x'\leqq f(t,y)-f(t,x)\leqq K|y-x|}](https://wikimedia.org/api/rest_v1/media/math/render/svg/80417eaed5d0f55a08bf26a58bee3b5f8f1fffb2)
となる.いま
とおけば,上式は,
![{\displaystyle u'(t)\leqq K|u(t)|,\quad u(a)=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c2fc0ca337d37f37b8c0fcfd872a4a7dfb278f92)
である.問題より
すなわち
![{\displaystyle y(t)\leqq x(t)\quad (a\leqq t\leqq b)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/57ed89ba9104d613d183e6601a557dc9734e4fc9)
を得る.
例76
が Lipschitz の条件を満たす場合の証明を実行せよ.
解答例