常微分方程式の解の存在と一意性｜逐次近似法のイメージ

[Picard(ピカール)-Lindelöf(リンデレフ)の定理]は，常微分方程式の解の存在と一意性に関する定理として最も基本的で重要です．

[Picard–Lindelöfの定理]は常微分方程式の解を帰納的に近似していく方法により証明されますが，この近似の方法をPicardの逐次近似法といいます．

[Picardの逐次近似法]は「完備距離空間上の縮小写像は唯一つの不動点をもつ」という[Banachの不動点定理]と本質的には同じです．

この記事では

[Picardの逐次近似法]のイメージ
[Picard-Lindelöfの定理]の内容と証明

の２つを説明します．

【SPONSORED LINK】

証明の準備

最初にこの記事で使う記号などを準備をします．

常微分方程式

この記事で扱う微分方程式は，例えば

$\begin{align*} \od{x}{t}(t)=-tx(t),\quad \begin{cases} \od{x}{t}(t)=tx(t)+y(t)\\ \od{y}{t}(t)=t^2x(t) \end{cases},\quad \begin{cases} \od{x}{t}(t)=y(t)\\ \od{y}{t}(t)=tz(t)\\ \od{z}{t}(t)=t^2x(t) \end{cases} \end{align*}$

のような，１変数 $t$ に関する $n$ 個の未知関数 $x_i:\R\to\R$ $(i=1,\dots,n)$ に関する常微分方程式

$\begin{align*} \begin{cases} \od{x_1}{t}(t)=f_1(t,x_1(t),\dots,x_n(t))\\ \qquad\vdots\\ \od{x_n}{t}(t)=f_n(t,x_1(t),\dots,x_n(t)) \end{cases} \end{align*}$

を扱います．この連立方程式はベクトル $\m{x}=\bmat{x_1\\\vdots\\x_n}$ , $\m{f}=\bmat{f_1\\\vdots\\f_n}$ を用いて

$\begin{align*} \od{\m{x}}{t}(t)=\m{f}(t,\m{x}(t)) \end{align*}$

とベクトルの表記で表せますね．

なお，この $\m{f}$ は $\m{f}:\R\times\R^n\to\R^n$ であることに注意してください．

分かりにくい場合には， $n=1$ として考えればイメージは十分つかめるでしょう．

一様ノルム

閉区間 $I\subset\R$ に対して，関数 $\m{x}:I^n\to\R^n$ に対して，一様ノルム $\|\cdot\|_I$ を

$\begin{align*} \|\m{x}\|_I:=\sup_{t\in I}|\m{x}(t)| \end{align*}$

で定めます．

$C^0(I)$ は $I$ 上で定義された連続関数全体の集合で， $n$ 個の成分が全て $C^0(I)$ の元であるようなベクトル全体の集合を $(C^0(I))^n$ と表します．

これは $n$ 個の $C^0(I)$ の直積で，イメージとしては $\R$ の $n$ 個の直積を $\R^n$ と表すのと同じです．

このとき， $n$ 個の $C^0(I)$ の直積 $(C^0(I))^n$ は一様ノルム $\|\cdot\|_I$ によって完備距離空間となります．

Banachの不動点定理

この記事での[Picard-Lindelöfの定理]の証明には[Banachの不動点定理]を用います．

[Banachの不動点定理(縮小写像の原理)]　空でない完備距離空間 $(X,d)$ 上の縮小写像 $f$ は不動点を唯一つもつ．なお，任意の $x\in X$ に対して

$\begin{align*} \lim_{n\to\infty}f^n(x) \end{align*}$

が写像 $f$ の不動点である．ここに，写像 $f^n$ は $f$ を $n$ 回施す写像である．

詳しくは以下の記事を参照してください．

【バナッハの不動点定理｜完備距離空間の縮小写像】

写像 $f:X\to X$ に対して， $f(x)=x$ を満たす $x\in X$ を $f$ の不動点といいます．不動点に関する定理は様々ありますが，[Banachの不動点定理]は完備距離空間上の縮小写像の不動点の存在と一意性が同時に判定できます．また，任意の $x\in X$ に $f$ を反復して写像させることで不動点に収束するため，具体的な解を構成することができます．

Picardの逐次近似法のイメージ

[Picardの逐次近似法]のイメージを説明します．

積分方程式への書き換え

[Picardの逐次近似法]のイメージを微分方程式を理解するためには，同値な積分方程式に書き換えることがポイントとなります．

結論から書けば，以下が従います．

$I\subset\R$ を閉区間， $t_0\in I$ ， $\m{x}_0\in\R^n$ とする．このとき，以下の２条件は同値である．

$\m{x}\in(C^1(I))^n$ は初期条件 $\m{x}(t_0)=\m{x}_0$ を満たす常微分方程式
$\begin{align*} \od{\m{x}}{t}(t)=\m{f}(t,\m{x}(t)) \end{align*}$

の解である．
$\m{x}\in(C^0(I))^n$ は積分方程式
$\begin{align*} \m{x}(t)=\m{x}_0+\int_{t_0}^{t}\m{f}(\tau,\m{x}(\tau))\,d\tau \end{align*}$

の解である．

[1]　初期条件 $\m{x}(t_0)=\m{x}_0$ を満たす常微分方程式

$\begin{align*} \od{\m{x}}{t}(t)=\m{f}(t,\m{x}(t)) \end{align*}$

が解 $\m{x}\in C^1(I)$ をもつとする．

このとき，変数を $\tau$ に置き換えて両辺を $\tau$ について $[t_0,t]$ 上で積分すると，微分積分学の基本定理から

$\begin{align*} &\int_{t_0}^{t}\od{\m{x}}{t}(\tau)\,d\tau=\int_{t_0}^{t}\m{f}(\tau,\m{x}(\tau))\,d\tau \\\iff&\m{x}(t)-\m{x}(t_0)=\int_{t_0}^{t}\m{f}(\tau,\m{x}(\tau))\,d\tau \\\iff&\m{x}(t)=\m{x}_0+\int_{t_0}^{t}\m{f}(\tau,\m{x}(\tau))\,d\tau \end{align*}$

が成り立つ．

[2]　積分方程式

$\begin{align*} \m{x}(t)=\m{x}_0+\int_{t_0}^{t}\m{f}(\tau,\m{x}(\tau))\,d\tau \end{align*}$

が解 $\m{x}\in C^0(I)$ をもつとする．

このとき， $\m{f}$ はもとより $D$ 上で連続なので， $\m{f}$ に連続な $\m{x}$ を合成した関数 $\m{f}(t,\m{x}(t))$ は $t$ に関して $I$ 上で連続となる．

よって，連続関数の積分なので，右辺の $\int_{t_0}^{t}\m{f}(\tau,\m{x}(\tau))\,d\tau$ は $t$ に関して $I$ 上 $C^1$ 級である．

よって，左辺の $\m{x}(t)$ も $I$ 上 $C^1$ 級となって，両辺を $t$ で微分すると

$\begin{align*} \od{\m{x}}{t}(t)=\m{f}(t,\m{x}(t)) \end{align*}$

が成り立つ．

また，積分方程式に $t=t_0$ を代入すると，右辺の積分範囲は $[t_0,t_0]$ となって積分の値は０だから，初期条件 $\m{x}(t_0)=\m{x}_0$ が得られる．

よって，常微分方程式を考えるなら，後者の積分方程式を考えてもよいわけですね．

このように微分方程式を積分方程式に書き直すことができることをDuhamelの原理といいます．

実は，以降はこの積分方程式を中心に話を進めていくことになります．

Picardの逐次近似法の例

上で考えた $I$ 上の積分方程式

$\begin{align*} \m{x}(t)=\m{x}_0+\int_{t_0}^{t}\m{f}(\tau,\m{x}(\tau))\,d\tau \end{align*}$

から，解を構成することを考えます．

正当化は後回しにして，以下の方法により積分方程式の解が得られます．

任意の $t\in I$ に対して， $\m{x}_1(t):=\m{x}_0$ と定めます．すなわち， $\m{x}_1$ は $I$ 上で恒等的に $\m{x}_0$ である関数です．
$\m{x}_1,\dots,\m{x}_n$ が定まったとし， $\m{x}_{n+1}(t):=\m{x}_0+\int_{t_0}^{t}\m{f}(\tau,\m{x}_n(\tau))\,d\tau$ で $\m{x}_{n+1}$ を定めます．

このようにして順に(逐次)定まった関数列 $\{\m{x}_n\}_{n=1}^{\infty}$ の極限が積分方程式の解となります．

関数列で積分方程式の解を近似により求めるこの方法をPicardの逐次近似法(iteration scheme)といいます．

例を１つ考えてみます．

初期条件 $x(0)=1$ を満たす関数 $x$ の微分方程式

$\begin{align*} \od{\m{x}}{t}=x \end{align*}$

の解を[Picardの逐次近似法]により求めよ．

ある程度関数の微分に慣れていれば，

$x$ で微分して $x$ になる
$x(0)=1$

ということから $x(t)=e^t$ と分かりますが，この解を[Picardの逐次近似法]により求めましょう．

両辺を $[0,t]$ で積分して，

$\begin{align*} &\int_{0}^{t}\od{x}{t}(\tau)\,d\tau=\int_{0}^{t}x(\tau)\,d\tau \\\iff& x(t)-x(0)=\int_{0}^{t}x(\tau)\,d\tau \\\iff& x(t)=1+\int_{0}^{t}x(\tau)\,d\tau \end{align*}$

である． $\phi_0(t)\equiv x(0)=1$ として，Picardの逐次近似法により $\{\phi_k\}_{k=0}^{\infty}$ を構成すると，

$\begin{align*} x_1 =&1+\int_{0}^{t}x_0(\tau)\,d\tau \\=&1+t, \\x_2 =&1+\int_{0}^{t}x_1(\tau)\,d\tau \\=&1+t+\frac{t^2}{2} \\x_3 =&1+\int_{0}^{t}x_2(\tau)\,d\tau \\=&1+t+\frac{t^2}{2}+\frac{t^3}{6} \end{align*}$

と続けると，任意の $n\in\N$ に対して

$\begin{align*} x_{n}(t)=1+\frac{t}{1!}+\frac{t^2}{2!}+\dots+\frac{t^n}{n!} \end{align*}$

となる．

すなわち， $x_{n}(t)$ は $e^t$ の $n$ 次までの近似となっているから， $n\to\infty$ としたときの極限関数 $x(t)$ は $x(t)=e^t$ となる．

Picard-Lindelöfの定理

それでは[Picard-Lindelöfの定理]の説明に移ります．

Picard-Lindelöfの定理

以下が[Picard-Lindelöfの定理]ですが，あまり真面目に条件を追わなくて構いません．

[Picard-Lindelöfの定理]　 $t_0\in\R$ , $\m{x}_0\in\R^n$ , $r>0$ , $\rho>0$ とする． $\R\times\R^n$ 上の閉集合 $D$ を

$\begin{align*} D:=\set{\bmat{t\\\m{x}}\in\R\times\R^n}{\begin{gathered}|t-t_0|\le r,\\|\m{x}-\m{x}_0|\le\rho\end{gathered}} \end{align*}$

で定める．このとき，関数 $\m{f}:\R\times\R^n\to\R^n$ は次の条件を同時に満たすとする．

有界性：ある $M>0$ が存在し，任意の $(t,\m{x})\in D$ に対して， $|\m{f}(t,\m{x})|\le M$ が成り立つ
連続性： $\m{f}$ は $D$ 上で連続
$\m{x}$ のLipscitz連続性：ある $K>0$ が存在し，任意の $(t,\m{x}_1),(t,\m{x}_2)\in D$ に対して
$\begin{align*} |\m{f}(t,\m{x}_1)-\m{f}(t,\m{x}_2)|\le K|\m{x}_1-\m{x}_2| \end{align*}$

が成り立つ

このとき，初期条件 $\m{x}(t_0)=\m{x}_0$ を満たす常微分方程式

$\begin{align*} \od{\m{x}}{t}(t)=\m{f}(t,\m{x}(t)) \end{align*}$

の解 $\m{x}\in(C^1(I))^n$ が一意に存在する．ここに，

$I:=[t_0-r_0,t_0+r_0]$
$r_0:=\min\{r,\frac{\rho}{M}\}$

である．さらに， $\m{f}\in C^m(D)$ なら，解は $\m{x}\in C^{m+1}(D)$ となる．

ゴチャゴチャと書いていますが，本質的に大切なところは「 $\m{f}$ が３つの条件を満たせば，微分方程式 $\od{\m{x}}{t}(t)=\m{f}(t,\m{x}(t))$ の解が一意に存在する」というところです．

なお，この $\m{f}$ の３つの条件

有界
連続
各 $t$ についてLipschitz連続

はけっこう広い条件ですね．

[Picard-Lindelöfの定理]を５つのステップに分けて証明します．

Step 1

$I_{K}:=\brc{t_0-\frac{1}{2K},t_0+\frac{1}{2K}}\cap I$ とし，関数空間

$\begin{align*} \mathcal{C} :=\set{\m{x}\in(C^0(I_{K}))^n}{\all t\in I_K\quad (t,\m{x}(t))\in D} \end{align*}$

を定めると， $\mathcal{C}$ は一様ノルム $\|\cdot\|_{I_K}$ に関する空でない完備距離空間となることを示します．

$I_K$ 上で恒等的に $\m{x}_0$ の関数 $\m{x}$ は $\mathcal{C}$ に属するから $\mathcal{C}$ は空でない．

$\mathcal{C}$ 上の一様ノルム $\|\cdot\|_{I_K}$ に関するCauchy列 $\{\m{x}_k\}_{k\in\N}$ を任意にとる．このとき，

$\mathcal{C}\subset(C^0(I_K))^n$ より， $\{\m{x}_k\}_{k\in\N}$ は $(C^0(I_K))^n$ における一様ノルム $\|\cdot\|_{I_K}$ に関するCauchy列
$(C^0(I_{K}))^n$ は一様ノルム $\|\cdot\|_{I_K}$ に関して完備距離空間

だから，ある $\m{x}\in(C^0(I_{K}))^n$ が存在して $\{\m{x}_k\}_{k\in\N}$ は $\m{x}$ に収束する．

任意の $k\in\N$ に対して， $\m{x}_k\in\mathcal{C}$ だから

$\begin{align*} |\m{x}_k(t)-\m{x}_0|\le M|t-t_0| \end{align*}$

を満たす．よって，左辺で $k\to\infty$ として

$\begin{align*} |\m{x}(t)-\m{x}_0|\le M|t-t_0| \end{align*}$

を得る．したがって， $\{\m{x}_k\}_{k\in\N}$ は $\mathcal{C}$ 上の収束列だから， $\mathcal{C}$ は完備である．

なお， $\mathcal{C}$ は閉集合なので，位相空間の一般論から $\m{x}\in\mathcal{C}$ としても良いですね．

Step 2

$\mathcal{C}$ 上の写像 $\Phi$ を

$\begin{align*} \Phi(\m{x})(t):=\m{x}_0+\int_{t_0}^{t}\m{f}(\tau,\m{x}(\tau))\,d\tau \end{align*}$

で定めると， $\Phi$ は $\mathcal{C}$ 上の縮小写像となることを示します．

[1]　 $\Phi$ の値域が $\mathcal{C}$ であることを示す．

任意に $\m{x}\in\mathcal{C}$ をとる．このとき，

任意の $\tau\in I_K$ に対して $(\tau,\m{x}(\tau))\in D$ を満たすこと
$\m{f}$ は $D$ 上で定義されていること

を併せると， $\int_{t_0}^{t}\m{f}(\tau,\m{x}(\tau))\,d\tau$ が定義できることが分かる．よって，積分の連続性から $\Phi(\m{x})\in (C^0(I_K))^n$ を得る．

また， $t\in I_K$ のとき $|t-t_0|\le r_0$ だから

$\begin{align*} |\Phi(\m{x})(t)-\m{x}_0| =&\abs{\int_{t_0}^{t}\m{f}(\tau,\m{x}(\tau))\,d\tau} \\\le&\abs{\int_{t_0}^{t}|\m{f}(\tau,\m{x}(\tau))|\,d\tau} \\\le&\abs{\int_{t_0}^{t}M\,d\tau} =M|t-t_0| \\\le&M\cdot r_0 \le M\cdot\frac{\rho}{M} =\rho \end{align*}$

である．よって， $\Phi(\m{x})\in\mathcal{C}$ となる．すなわち， $\Phi:\mathcal{C}\to\mathcal{C}$ である．

[2]　 $\Phi$ が $\mathcal{C}$ 上の縮小写像であることを示す．

このとき，任意の $\m{x},\m{y}\in\mathcal{C}$ に対して，

$\begin{align*} \|\Phi(\m{x})-\Phi(\m{y})\|_{I_K} =&\sup_{t\in I_K}\abs{\int_{t_0}^{t}\{\m{f}(\tau,\m{x}(\tau))-\m{f}(\tau,\m{y}(\tau))\}\,d\tau} \\\le&\sup_{t\in I_{K}}\abs{\int_{t_0}^{t}\abs{\m{f}(\tau,\m{x}(\tau))-\m{f}(\tau,\m{y}(\tau))}\,d\tau} \\\le&\sup_{t\in I_{K}}K\abs{\int_{t_0}^{t}|\m{x}-\m{y}|\,d\tau} \\\le&\sup_{t\in I_{K}}K\abs{\int_{t_0}^{t}\nor{\m{x}-\m{y}}_{I_K}\,d\tau} \\=&K\cdot\frac{1}{2K}\cdot\|\m{x}-\m{y}\|_{I_K} =\frac{1}{2}\|\m{x}-\m{y}\|_{I_K} \end{align*}$

なので， $\Phi$ は $\mathcal{C}$ 上の一様ノルム $\|\cdot\|_{I_K}$ に関する縮小写像である．

Step 3

初期条件 $\m{x}(t_0)=\m{x}_0$ を満たす常微分方程式

$\begin{align*} \od{\m{x}}{t}(t)=\m{f}(t,\m{x}(t)) \end{align*}$

が解 $\m{x}\in C^1(I)$ をもつことを示します．

[Step 1]より $\mathcal{C}$ は空でない完備距離空間であり，[Step 2]より $\Phi$ が $\mathcal{C}$ 上の縮小写像だから，[Banachの不動点定理]より $\Phi$ の不動点が $\mathcal{C}$ 上にただ１つ存在する．すなわち，

$\begin{align*} \m{x}=\m{x}_0+\int_{t_0}^{t}\m{f}(\tau,\m{x}(\tau))\,d\tau \end{align*}$

を満たす $\m{x}\in\mathcal{C}$ が一意に存在する．

もし $\sup I_K<\sup I$ なら， $t_0+\frac{1}{2K}$ を初期時間とみなせば，これまでと同じ議論により解が $t\le t_0+\frac{2}{2K}$ まで延長できる．

これを繰り返すことにより，解の定義域は $t\le t_0+r_0$ にまで延長できる．

同様に， $\inf I_K>\inf I$ なら，解の定義域は $t_0-r_0\le t$ にまで延長できる．

よって，初期条件 $\m{x}(t_0)=\m{x}_0$ を満たす積分方程式

$\begin{align*} \m{x}(t)=\m{x}_0+\int_{t_0}^{t}\m{f}(\tau,\m{x}(\tau))\,d\tau \end{align*}$

の解 $\m{x}\in C^0(I)$ が存在するから，上でみた補題より，初期条件 $\m{x}(t_0)=\m{x}_0$ を満たす常微分方程式

$\begin{align*} \od{\m{x}}{t}(t)=\m{f}(t,\m{x}(t)) \end{align*}$

の解 $\m{x}\in C^1(I)$ が存在する．

[Step 1]と[Step 2]の議論を一回行うごとに，解の存在する $t$ が正の方向に $\frac{1}{2K}$ ずつ延長されていくことになるわけですね．

$\mathcal{C}$ において解が一意に存在することは分かりましたが，より広い $C^0(I)$ で解が一意であるかどうかは分かっていません．

そのため，微分方程式に戻したときの $C^1(I)$ においても解が一意であることはまだ分かっていませんから，次はこのことを示しましょう．

Step 4

[Step 3]の解 $\m{x}\in C^1(I)$ が一意に存在することを示します．

$\m{x},\m{y}\in C^1(I)$ が常微分方程式の解であるとする．

このとき，[Step 2]と同様に

$\begin{align*} \|\m{x}-\m{y}\|_{I_K} =&\sup_{t\in I_K}\abs{\int_{t_0}^{t}\{\m{f}(\tau,\m{x}(\tau))-\m{f}(\tau,\m{y}(\tau))\}\,d\tau} \\\le&\frac{1}{2}\|\m{x}-\m{y}\|_{I_K} \end{align*}$

となるから，整理して $\frac{1}{2}\|\m{x}-\m{y}\|_{I_K}\le0$ である．もとより $0\le\|\m{x}-\m{y}\|_{I_K}$ だから $\|\m{x}-\m{y}\|_{I_K}=0$ となって， $I_K$ において恒等的に $\m{x}=\m{y}$ であると分かる．

[Step 3]と同様に，初期時間を置き直して同様に考えることを繰り返せば， $I$ 上で恒等的に $\m{x}=\m{y}$ となる．

よって，初期条件 $\m{x}(t_0)=\m{x}_0$ を満たす常微分方程式

$\begin{align*} \od{\m{x}}{t}(t)=\m{f}(t,\m{x}(t)) \end{align*}$

の解 $\m{x}\in C^1(I)$ は一意である．

Step 5

$\m{f}\in C^m(D)$ なら，解は $\m{x}\in C^{m+1}(D)$ となることを示します．

数学的帰納法により示す．

[1]　 $m=0$ の場合にはすでに証明されている．

[2]　 $m=\ell$ の場合に成り立つと仮定する．

$\m{f}\in C^{\ell+1}(D)$ なら $\m{f}\in C^{\ell}(D)$ だから，帰納法の仮定より $\m{x}\in C^{\ell+1}(D)$ である．

よって， $\m{f}(\cdot,\m{x})\in C^{\ell+1}(D)$ だから，この不定積分 $\int_{t_0}^{t}\m{f}(\tau,\m{x}(\tau))\,d\tau$ で定まる関数は $D$ 上 $C^{\ell+2}$ 級となる．

よって， $m=\ell+1$ の場合にも成り立つ．

[1], [2]より， $\m{f}\in C^m(D)$ なら，解は $\m{x}\in C^{m+1}(D)$ となることが分かった．

これで[Picard-Lindelöfの定理]が証明できました．

ピカールの逐次近似法の正当化

途中で[Banachの不動点定理]を適用して解の存在を示したわけですが，[Banachの不動点定理]からは加えて

$\begin{align*} \m{x}:=\lim_{n\to\infty}\Phi^n(\m{x}_0) \end{align*}$

が不動点になることも分かるのでした．これが[Picardの逐次近似法]の正体なわけですね．

このように，[Picardの逐次近似法]は本質的に[Banachの不動点定理]となっているわけですね．

念のため，以下で逐次近似法がうまく機能していることをみておきましょう．

[1]　任意の $t\in I$ に対して， $\m{x}_1(t):=\m{x}_0$ と定めます．

このとき， $\m{x}_1\in C^0(I)$ なので， $(t,\m{x}_1(t))=(t,\m{x}_0)\in D$ ですね．

[2]　任意の $t\in I$ に対して $(t,\m{x}_k(t))\in D$ となる $\m{x}_k\in C^0(I)$ が定まったとします．

このとき， $f$ は $D$ 上で連続だから，積分方程式の右辺 $\m{x}_0+\int_{t_0}^{t}\m{f}(\tau,\m{x}(\tau))\,d\tau$ に $\m{x}=\m{x}_k\in C^0(I)$ を代入できて，

$\begin{align*} \m{x}_{k+1}(t):=\m{x}_0+\int_{t_0}^{t}\m{f}(\tau,\m{x}_k(\tau))\,d\tau \end{align*}$

で $I$ 上の関数 $\m{x}_{k+1}$ を定めます．このとき，任意の $t\in I$ に対して

$\begin{align*} |\m{x}_{k+1}(t)-\m{x}_0| =&\abs{\int_{t_0}^{t}\m{f}(\tau,\m{x}_k(\tau))\,d\tau} \\\le&\abs{\int_{t_0}^{t}|\m{f}(\tau,\m{x}_k(\tau))|\,d\tau} \\\le&\abs{\int_{t_0}^{t}M\,d\tau} =M|t-t_0| \\\le&Mr_0 \le M\cdot\frac{\rho}{M} =\rho \end{align*}$

だから， $(t,\m{x}_{k+1}(t))\in D$ ですね．

[1], [2]より，任意の $t\in I$ に対して $(t,\m{\phi}_k(t))\in D$ となる $C^0(I)$ 上の列 $\{\m{\phi}_k\}_{k=0}^{\infty}$ が帰納的に定まることが分かりましたね．

これにより，確かに[Picardの逐次近似法]で定まる関数列 $\{\m{x}_n\}_{n=1}^{\infty}$ が数学的にもきちんと定義されることが保証されましたね．