文献あり

漸近展開とテイラーの定理

8006

はじめに

この記事では, ランダウの漸近記法についてまとめる.

多項式関数の商の極限

まず, 次の極限について考えてみよう.
$lim_{x \to 0} \frac{x + x^{2}}{2 x + 3 x^{3}}$
これは非常に簡単である. 実際
$\begin{array}{rcl} lim_{x \to 0} \frac{x + x^{2}}{2 x + 3 x^{3}} & = & lim_{x \to 0} \frac{1 + x}{2 + 3 x^{2}} \\ = & \frac{1}{2} \end{array}$
と計算できる. ここで重要なことは,
多項式関数が出てくる式の, $x \to 0$ での極限においては
高い次数の項はあまり重要ではないということである.

上で見たような計算は, 多項式関数の商の極限を考えるときはいつでも使える.
そうなると, 次のようなことを考えたくなるかもしれない.

一般の関数 $f (x)$ , $g (x)$ に対する次の形の極限
$lim_{x \to 0} \frac{f (x)}{g (x)}$
についても, $f (x)$ と $g (x)$ をそれぞれ多項式で近似することによって簡単に計算できないだろうか？

この疑問に答えるのがランダウの漸近記法である.

ランダウの漸近記法

まずは定義を述べよう.

ランダウの漸近記法

$a$ をある実数とし, $f (x)$ , $g (x)$ を $a$ の周りで定義されている関数とする.
このとき, $f (x) = o (g (x)) (x \to a)$ であるとは,
$lim_{x \to a} \frac{f (x)}{g (x)} = 0$
であることをさす.

これは関数 $g (x)$ に対してただ一つ $o (g (x))$ という関数が存在するという意味ではない！
$lim_{x \to a} \frac{f (x)}{g (x)} = 0$
を満たすような関数 $f (x)$ について, それが具体的にどのような関数であるかが重要ではないときに, 代わりに $o (g (x))$ という省略記号を使うということである.
したがって, 異なる関数 $f_{0} (x) \neq f_{1} (x)$ について $f_{0} (x) = o (g (x))$ , $f_{1} (x) = o (g (x))$ が成り立つこともありうる.

例えば, $x + x^{2} = x + o (x) (x \to 0)$ である. 実際, $f (x) = x + x^{2} - x = x^{2}$ , $g (x) = x$ とすると
$\begin{array}{rcl} lim_{x \to 0} \frac{f (x)}{g (x)} & = & lim_{x \to 0} \frac{x^{2}}{x} \\ = & lim_{x \to 0} x \\ = & 0 \end{array}$
である.

ここで, ランダウの漸近記法についていくつかの性質をまとめておこう.

関数 $f_{0} (x)$ , $f_{1} (x)$ , $h_{0} (x)$ , $h_{1} (x)$ , $g (x)$ と実数 $a$ について,
$f_{0} (x) = h_{0} (x) + o (g (x)) (x \to a) f_{1} (x) = h_{1} (x) + o (g (x)) (x \to a)$
とする. このとき以下が成り立つ.

$f_{0} (x) + f_{1} (x) = h_{0} (x) + h_{1} (x) + o (g (x)) (x \to a) f_{0} (x) f_{1} (x) = h_{0} (x) h_{1} (x) + o (g (x)) (x \to a)$

まず一つ目を示す. そのためには
$f_{0} (x) + f_{1} (x) - h_{0} (x) - h_{1} (x) = o (g (x))$ を示せば良い.
しかし
$lim_{x \to a} \frac{f_{0} (x) + f_{1} (x) - h_{0} (x) - h_{1} (x)}{g (x)} = lim_{x \to a} (\frac{f_{0} (x) - h_{0} (x)}{g (x)} + \frac{f_{1} (x) - h_{1} (x)}{g (x)})$
であり, この二つが $0$ に収束することは
$f_{0} (x) = h_{0} (x) + o (g (x))$ と $f_{1} (x) = h_{1} (x) + o (g (x))$ であることの定義である. これで一つ目の証明が終わった.

次に二つ目を示す. そのためには $f_{0} (x) f_{1} (x) - h_{0} (x) h_{1} (x) = o (g (x))$ を示せば良い.
しかし
$lim_{x \to a} \frac{f_{0} (x) f_{1} (x) - h_{0} (x) h_{1} (x)}{g (x)} = lim_{x \to a} \frac{f_{0} (x) f_{1} (x) - h_{0} (x) f_{1} (x) + h_{0} (x) f_{1} (x) - h_{0} (x) h_{1} (x)}{g (x)} = lim_{x \to a} (f_{1} (x) \frac{f_{0} (x) - h_{0} (x)}{g (x)} + h_{0} \frac{f_{1} (x) - h_{1} (x)}{g (x)})$
となり, やはり $f_{0} (x) = h_{0} (x) + o (g (x))$ と $f_{1} (x) = h_{1} (x) + o (g (x))$ について, 定義に戻って考えてみれば, この極限が $0$ に収束することがわかる.

漸近展開が有益なのは, 多項式関数以外にも使えるからである. しかし, 実際に使うためには考えたい関数に対する漸近展開を予め知っておかなければならない. そこで使えるのがテイラーの定理である.

テイラーの定理

テイラーの定理について述べよう.

テイラーの定理

$f (x)$ が区間 $I$ で $n$ 回微分可能であるとする.
任意の $a \in I$ と $x \in I$ について, $a \leq c_{x} \leq x$ となる $c_{x}$ が存在して以下を満たす.
$f (x) = f (a) + f^{(1)} (a) (x - a) + \dots \frac{f^{n - 1} (a)}{(n - 1)!} (x - a)^{n - 1} + R_{n} (x) .$
ただし
$R_{n} (x) = \frac{f^{(n)} (c_{x})}{n!} (x - a)^{n} .$

証明は省略する. (いずれ書くかもしれないが. )

ここから, 次がしたがう.

漸近展開の存在と一意性

$f (x)$ を区間 $I$ 上で定義された $C^{n}$ 級関数, すなわちn回微分可能であって $f^{(n)}$ が連続な関数とする. このとき, 任意の $a \in I$ について
$f (x) = f (a) + f^{(1)} (a) (x - a) + \dots \frac{f^{(n)} (a)}{n!} (x - a)^{n} + o ((x - a)^{n}) (x \to a)$

しかも, $f (x) = g (x) + o ((x - a)^{n})$ となる $n$ 次多項式 $g (x)$ は上であたえたものただひとつである.

つまり, 微分に関して良い振る舞いをする関数, 例えば $e^{x}$ や三角関数などに対しては上の方法で漸近展開を与えることができる.

実践

$\sin (x)$ の $3$ 次の漸近展開を与えておく.
$\sin x = x - \frac{x^{3}}{6} + o (x^{3}) (x \to 0)$

これを用いると, 次の問題が簡単に示せる.

$lim_{x \to 0} \frac{x - \sin x}{x^{3}}$
を求めよ.

$\begin{array}{rcl} lim_{x \to 0} \frac{x - \sin x}{x^{3}} & = & lim_{x \to 0} \frac{x - (x - \frac{x^{3}}{6} + o (x^{3}))}{x^{3}} \\ = & lim_{x \to 0} (\frac{1}{6} + \frac{o (x^{3})}{x^{3}}) \end{array}$
であるが, $o (x^{3})$ の定義より結局答えは
$\frac{1}{6}$
であることがわかる.