微分積分学基礎 No.8要約

今日のテーマ:高階微分,テイラー展開

定義 8.1   一変数関数 $ f(x)$ の導関数 $ f'(x)$ を考える。 $ f'(x)$$ x$ の関数として微分可能であるとき、 $ f$ は2回微分可能であると言う。 さらにこのとき $ f'(x)$ の導関数を $ f''(x)$ もしくは $ f^{(2)}(x)$ と書き、 $ f$$ 2$ 次($ 2$ 階) の導関数とよぶ。 同様にして、$ 3$次の導関数 $ f^{(3)}(x)$,$ 4$次の導関数 $ f^{(4)}(x),$... が定義される。

定義 8.2   開区間 $ (a,b)$ で定義される関数 $ f$$ C^1$ 級であるとは、 $ f'$が定義されてそれが連続であるときにいう。同様に、 正の整数 $ k$ に対して、 $ f$$ C^k$級であるとは、$ f$$ k$回微分可能で、なおかつ $ f^{(k)}(x)$ が連続であるときにいう。$ C^k$級関数のことを $ k$階(回)連続微分可能な 関数と呼ぶこともある。 任意の $ k$ に対して$ C^k$ 級であるような関数のことを $ C^\infty$ 級関数とか、 無限回微分可能な関数とよぶ。

前回、次のことをロピタルの定理を何度も使うことにより証明した。

定理 8.3 (漸近展開)   一変数関数 $ f$$ a$ の近くで $ n$ 回微分可能であれば、

$\displaystyle f(x)$ $\displaystyle = f(a)+ f'(a)\cdot (x-a)+ \dots +\frac{f^{(n)}(a)}{n!} (x-a)^n + o((x-a)^n)$    
  $\displaystyle =\sum_{k=0}^n \frac{f^{(k)}(a)}{k!}(x-a)^k + o((x-a)^k)$    

$ o((x-a)^k)$ のところ(剰余項)は平均値の定理によって少しは具体的に記述できる。

*以下少し難しいが、面白いので付け加えておく。

この講義では後に(定積分について議論したあとで)次の形で証明することにする。

定理 8.4 (テイラー展開(積分による剰余項の表記))   $ f$$ C^{n+1}$ 級の時

  $\displaystyle f(x)-\sum_{k=0}^n \frac{f^{(k)}(a)}{k!} (x-a)^k = \frac{1}{n!} \int_a^x (x-t)^n f^{(n+1)}(t) dt .$    

剰余項が比較的小さく、 テイラ-展開の(剰余項を除いた部分の) $ n\to \infty$ の極限が元の関数に 近づく場合がある。そのような関数を実解析関数と呼ぶ。 $ e^x$, $ \sin(x)$, $ \cos(x)$ は実解析関数の例である。 これらの関数は、テイラー展開(の $ a=0$のバージョン(マクローリン展開と呼ぶ)) で定義してしまうことも可能である。

$\displaystyle e^x$ % latex2html id marker 921
$\displaystyle =\sum_{k=0}^\infty \frac{x^k}{k!} , \...
...2k}}{ (2k)!} , \quad \sin(x)=\sum_{k=0}^\infty \frac{(-1)^k x^{2k+1}}{ (2k+1)!}$    

さらに、$ x$の取りうる値を実数のみから複素数まで広げて、これらの関数を 拡張できる。とくに:

$\displaystyle e^{i x}= \cos(x)+ i \sin(x)
$

これによって三角関数の加法定理を指数関数の法則から導いたりできる。