自然指数関数の高階微分とテイラー展開（マクローリン展開）

自然指数関数の高階微分

自然指数関数\(e^{x}\)は全区間\(\mathbb{R} \)上に定義可能であるため、それぞれの\(x\in \mathbb{R} \)に対して、\begin{equation*}f\left( x\right) =e^{x}
\end{equation*}を定める関数\(f:\mathbb{R} \rightarrow \mathbb{R} \)が定義可能です。

自然指数関数\(f\)は微分可能であり、導関数\(f^{\prime }:\mathbb{R} \rightarrow \mathbb{R} \)はそれぞれの\(x\in \mathbb{R} \)に対して、\begin{eqnarray*}f^{\prime }\left( x\right) &=&\frac{d}{dx}f\left( x\right) \quad \because
f^{\prime }\text{の定義} \\
&=&\frac{d}{dx}e^{x}\quad \because f\text{の定義} \\
&=&e^{x}\quad \because \text{自然指数関数の微分}
\end{eqnarray*}を定めます。つまり、導関数\(f^{\prime }\)はもとの関数\(f\)と一致します。

導関数\(f^{\prime }\)は自然指数関数\(f\)と一致するため微分可能であり、2階の導関数\(f^{\prime \prime }:\mathbb{R} \rightarrow \mathbb{R} \)はそれぞれの\(x\in \mathbb{R} \)に対して、\begin{eqnarray*}f^{\prime \prime }\left( x\right) &=&\frac{d}{dx}f^{\prime }\left( x\right)
\quad \because f^{\prime \prime }\text{の定義} \\
&=&\frac{d}{dx}e^{x}\quad \because f^{\prime }\left( x\right) =e^{x} \\
&=&e^{x}\quad \because \text{自然指数関数の微分}
\end{eqnarray*}を定めます。つまり、2階の導関数\(f^{\prime }\)は導関数\(f^{\prime }\)およびもとの関数\(f\)と一致します。

同様の議論を繰り返すことにより以下を得ます。

自然指数関数のテイラー近似多項式（マクローリン近似多項式）

一般に、関数\(f:\mathbb{R} \supset X\rightarrow \mathbb{R} \)が定義域上の点\(a\in X\)において\(n\)階微分可能である場合、点\(a\)における関数\(f\)の\(n\)次のテイラー近似多項式\begin{eqnarray*}P_{n,a}\left( x\right) &=&f\left( a\right) +f^{\prime }\left( a\right) \cdot
\left( x-a\right) +\frac{f^{\prime \prime }\left( a\right) }{2!}\cdot \left(
x-a\right) ^{2}+\cdots +\frac{f^{\left( n\right) }\left( a\right) }{n!}\cdot
\left( x-a\right) ^{n} \\
&=&\sum_{k=0}^{n}\left[ \frac{f^{\left( k\right) }\left( a\right) }{k!}\cdot
\left( x-a\right) ^{k}\right] \end{eqnarray*}が定義可能です。

先に明らかになったように、自然指数関数は\(\mathbb{R} \)上の任意の点において\(C^{\infty }\)級であるためテイラー近似多項式が定義可能ですが、具体的には以下のようになります。

自然指数関数に関するテイラーの定理（マクローリンの定理）

一般に、区間上に定義された関数\(f:\mathbb{R} \supset I\rightarrow \mathbb{R} \)が区間\(I\)において\(n\)階微分可能である場合にはテイラーの定理が成立するため、定義域の内点\(a\in I^{i}\)およびそれとは異なる定義域上の点\(x\in I\backslash \left\{ a\right\} \)をそれぞれ任意に選んだとき、それに対して、\begin{equation*}f\left( x\right) =P_{n-1,a}\left( x\right) +\frac{f^{\left( n\right) }\left(
a+\theta \left( x-a\right) \right) }{n!}\left( x-a\right) ^{n}
\end{equation*}を満たす実数\(\theta \in \left(0,1\right) \)が存在することが保証されます。ただし、\(P_{n-1,a}\left( x\right) \)は点\(a\)における\(n-1\)次のテイラー近似多項式です。

先に明らかになったように、全区間\(\mathbb{R} \)上に定義された自然指数関数はテイラーの定理が要求する条件を満たすため以下を得ます。

以上の命題より、点\(a\in \mathbb{R} \)を任意に選んだとき、その周辺の任意の点\(x\in \mathbb{R} \backslash \left\{ a\right\} \)において、\begin{equation*}f\left( x\right) \approx P_{n,a}\left( x\right)
\end{equation*}すなわち、\begin{equation*}
e^{x}\approx e^{a}+e^{a}\left( x-a\right) +\frac{e^{a}}{2!}\left( x-a\right)
^{2}+\cdots +\frac{e^{a}}{n!}\left( x-a\right) ^{n}
\end{equation*}という近似関係が成り立つとともに、\(n\)を大きくするほど近似の精度が高くなることが明らかになりました。

点\(0\)は自然指数関数の定義域である全区間\(\mathbb{R} \)の内点であるため、自然指数関数にマクローリンの定理を適用できます。したがって以下を得ます。

以上の命題より、点\(0\)の周辺の任意の点\(x\in \mathbb{R} \backslash \left\{ 0\right\} \)において、\begin{equation*}f\left( x\right) \approx P_{n,0}\left( x\right)
\end{equation*}すなわち、\begin{equation*}
e^{x}\approx 1+x+\frac{x^{2}}{2!}+\cdots +\frac{x^{n}}{n!}
\end{equation*}という近似関係が成り立つとともに、\(n\)を大きくするほど近似の精度が高くなることが明らかになりました。

自然指数関数のテイラー展開（マクローリン展開）

自然指数関数はテイラーの定理が適用可能であるだけでなく、テイラー展開も可能です。まずはマクローリン展開可能であることを示します。

以上の命題を踏まえると、自然指数関数がテイラー展開可能であることを示すことができます。

テイラー展開を用いて数の近似値を求める

自然指数関数\(e^{x}\)の\(n\)次のマクローリン近似多項式は、\begin{eqnarray*}P_{n,0}\left( x\right) &=&1+x+\frac{1}{2!}x^{2}+\cdots +\frac{1}{n!}x^{n} \\
&=&\sum_{k=0}^{n}\left[ \frac{1}{k!}\cdot x^{k}\right] \end{eqnarray*}であるとともに、マクローリンの定理より、点\(0\)の周辺の任意の点\(x\in \mathbb{R} \backslash \left\{ 0\right\} \)において、\begin{equation*}e^{x}\approx P_{n,0}\left( x\right)
\end{equation*}という近似式が成り立ちます。\(n\)が大きくなるほど近似の精度が高くなりますが、\(e^{x}\)はマクローリン展開可能であるため、究極的には、ゼロとは異なる点\(x\in \mathbb{R} \backslash \left\{ 0\right\} \)を任意に選んだときに、\begin{eqnarray*}e^{x} &=&1+x+\frac{1}{2}x^{2}+\frac{1}{3!}x^{3}+\cdots \\
&=&\sum_{k=0}^{\infty }\left[ \frac{1}{k!}\cdot x^{k}\right] \end{eqnarray*}という関係が成り立ちます。

以上の議論において\(x\)の値を具体的に指定することにより、\(e^{x}\)の近似値を求めることができます。以下が具体例です。

テイラー展開を用いて関数の極限を求める

自然指数関数\(e^{x}:\mathbb{R} \rightarrow \mathbb{R} \)はマクローリン展開可能であり、点\(0\)とは異なる点\(x\in \mathbb{R} \backslash \left\{ 0\right\} \)を任意に選んだとき、\begin{eqnarray*}e^{x} &=&1+x+\frac{1}{2}x^{2}+\frac{1}{3!}x^{3}+\cdots \\
&=&\sum_{k=0}^{\infty }\left[ \frac{1}{k!}\cdot x^{k}\right] \end{eqnarray*}という関係が成り立ちます。関数\(f\)が自然指数関数を含む関数である場合、以上の関係を用いることにより、\(f\)を多項式関数や有理関数へ変換できます。したがって、そのような関数\(f\)の極限を求める際には、それを多項式関数や有理関数の極限に関する問題へ帰着させることができるということです。以下が具体例です。

演習問題