多変数関数に関するテイラーの定理
多変数関数\(f:\mathbb{R} ^{n}\supset X\rightarrow \mathbb{R} \)が定義域上の点\(a\in X\)において\(C^{r}\)級である場合には、\(r\)個以下の変数\(x_{\left( 1\right) },\cdots ,x_{\left( r\right) }\)を任意に選んだとき、点\(a\)における変数\(x_{\left( 1\right) },\cdots,x_{\left( r\right) }\)に関する\(r\)階偏微分係数\begin{equation*}\frac{\partial ^{r}f\left( a\right) }{\partial x_{\left( r\right) }\cdots
\partial x_{\left( 1\right) }}
\end{equation*}がいずれも有限な実数として定まるため、点\(a\)における\(r\)次のテイラー近似多項式\begin{eqnarray*}P_{r,a}\left( x\right) &=&\sum_{k=0}^{r}\frac{\left[ \left( x-a\right)
\cdot \nabla \right] ^{k}f\left( a\right) }{k!} \\
&=&f\left( a\right) +\left[ \left( x-a\right) \cdot \nabla \right] f\left(
a\right) +\frac{\left[ \left( x-a\right) \cdot \nabla \right] ^{2}f\left(
a\right) }{2!}+\cdots +\frac{\left[ \left( x-a\right) \cdot \nabla \right]
^{r}f\left( a\right) }{r!}
\end{eqnarray*}が定義可能です。この多項式関数\(P_{r,a}\left( x\right) \)が点\(a\)の周辺の任意の点\(x\)において\(f\)を近似すること、すなわち、点\(a\)の周辺の任意の点\(x\)において、\begin{equation*}f\left( x\right) \approx P_{r,a}\left( x\right)
\end{equation*}という近似関係が成立するものと予想しましたが、この予想は正しいのでしょうか。順番に解説します。
多変数関数\(f:\mathbb{R} ^{n}\supset X\rightarrow \mathbb{R} \)が定義域の内点\(a\in X^{i}\)を中心とする近傍\(N_{\varepsilon}\left( a\right) \)上で\(C^{r}\)級であるものとします。この場合、\(f\)の点\(a\)における\(r-1\)次のテイラー近似多項式\begin{eqnarray*}P_{r-1,a}\left( x\right) &=&\sum_{k=0}^{r-1}\frac{\left[ \left( x-a\right)
\cdot \nabla \right] ^{k}f\left( a\right) }{k!} \\
&=&f\left( a\right) +\left[ \left( x-a\right) \cdot \nabla \right] f\left(
a\right) +\frac{\left[ \left( x-a\right) \cdot \nabla \right] ^{2}f\left(
a\right) }{2!}+\cdots +\frac{\left[ \left( x-a\right) \cdot \nabla \right]
^{r-1}f\left( a\right) }{\left( r-1\right) !}
\end{eqnarray*}が定義可能です。以上を踏まえた上で、点\(a\)とは異なる近傍上の点\(x\in N_{\varepsilon }\left( a\right) \backslash \left\{a\right\} \)を任意に選んだとき、それに対して関数\(f\)が定める値\(f\left( x\right) \)と、テイラー近似多項式が定める値\(P_{r-1,a}\left(x\right) \)の間には以下の関係が成立します。これをテイラーの定理(Taylor’s theorem)と呼びます。
多変数関数\(f:\mathbb{R} ^{n}\supset X\rightarrow \mathbb{R} \)が定義域の内点\(a\in X^{i}\)を中心とする近傍\(N_{\varepsilon}\left( a\right) \)上で\(C^{r}\)級であるものとする。点\(a\)とは異なる近傍上の点\(x\in N_{\varepsilon }\left( a\right) \backslash \left\{ a\right\} \)を任意に選んだとき、\begin{equation*}f\left( x\right) =P_{r-1,a}\left( x\right) +\frac{\left[ \left( x-a\right)
\cdot \nabla \right] ^{r}f\left( a+\theta \left( x-a\right) \right) }{r!}
\end{equation*}を満たす\(\theta \in \left( 0,1\right) \)が存在する。ただし、\(P_{r-1,a}\left( x\right) \)は関数\(f\)の点\(a\)における\(r-1\)次のテイラー近似多項式であり、\begin{equation*}P_{r-1,a}\left( x\right) =f\left( a\right) +\left[ \left( x-a\right) \cdot
\nabla \right] f\left( a\right) +\frac{\left[ \left( x-a\right) \cdot \nabla \right] ^{2}f\left( a\right) }{2!}+\cdots +\frac{\left[ \left( x-a\right)
\cdot \nabla \right] ^{r-1}f\left( a\right) }{\left( r-1\right) !}
\end{equation*}と定義される。
\end{equation*}を定めるものとします。この関数\(f\)は\(C^{2}\)級であり、勾配ベクトル場\(\nabla f:\mathbb{R} ^{2}\rightarrow \mathbb{R} ^{2}\)はそれぞれの\(\left( x,y\right) \in \mathbb{R} ^{2}\)に対して、\begin{equation*}\nabla f\left( x,y\right) =\left( \frac{\partial f\left( x,y\right) }{\partial x},\frac{\partial f\left( x,y\right) }{\partial y}\right) =\left(
\cos \left( x\right) ,-\sin \left( y\right) \right)
\end{equation*}を定め、ヘッセ行列値関数\(\nabla f:\mathbb{R} ^{2}\rightarrow \mathbb{R} ^{2}\)はそれぞれの\(\left( x,y\right) \in \mathbb{R} ^{2}\)に対して、\begin{equation*}\nabla ^{2}f\left( x,y\right) =\begin{pmatrix}
\frac{\partial ^{2}f\left( x,y\right) }{\partial x^{2}} & \frac{\partial
^{2}f\left( x,y\right) }{\partial x\partial y} \\
\frac{\partial ^{2}f\left( x,y\right) }{\partial y\partial x} & \frac{\partial ^{2}f\left( x,y\right) }{\partial y^{2}}\end{pmatrix}=\begin{pmatrix}
-\sin \left( x\right) & 0 \\
0 & -\cos \left( y\right)
\end{pmatrix}\end{equation*}を定めます。点\(\left( a,b\right)\in \mathbb{R} ^{2}\)を任意に選んだとき、点\(\left( a,b\right) \)における\(f\)の1次のテイラー近似多項式は、\begin{eqnarray*}P_{1,\left( a,b\right) }\left( x,y\right) &=&f\left( a,b\right) +\left(
x-a,y-b\right) \cdot \nabla f\left( a,b\right) \\
&=&\sin \left( x\right) +\cos \left( y\right) +\left( x-a,y-b\right) \cdot
\left( \cos \left( x\right) ,-\sin \left( y\right) \right)
\end{eqnarray*}となるため、点\(\left( x,y\right)\in \mathbb{R} ^{2}\backslash \left\{ \left( a,b\right) \right\} \)を任意に選んだとき、テイラーの定理より、\begin{eqnarray*}f\left( x,y\right) &=&P_{1,\left( a,b\right) }\left( x,y\right) +\frac{\left[ \left( x-a,y-b\right) \cdot \nabla \right] ^{2}f\left( a+\theta
\left( x-a\right) ,b+\theta \left( y-b\right) \right) }{2!} \\
&=&f\left( a,b\right) +\left( x-a,y-b\right) \cdot \nabla f\left( a,b\right)
+\frac{1}{2}\begin{pmatrix}
x-a & y-b\end{pmatrix}\nabla ^{2}f\left( a+\theta \left( x-a\right) ,b+\theta \left( y-b\right)
\right)
\begin{pmatrix}
x-a \\
y-b\end{pmatrix}
\\
&=&\sin \left( a\right) +\cos \left( b\right) +\left( x-a,y-b\right) \cdot
\left( \cos \left( a\right) ,-\sin \left( b\right) \right) \\
&&+\frac{1}{2}\begin{pmatrix}
x-a & y-b\end{pmatrix}\begin{pmatrix}
-\sin \left( a+\theta \left( x-a\right) \right) & 0 \\
0 & -\cos \left( b+\theta \left( y-b\right) \right)
\end{pmatrix}\begin{pmatrix}
x-a \\
y-b\end{pmatrix}\end{eqnarray*}を満たす\(\theta \in \left( 0,1\right) \)が存在します。したがって、例えば、点\(\left(0,0\right) \)およびそれとは異なる点\(\left( x,y\right) \in \mathbb{R} ^{2}\backslash \left\{ \left( 0,0\right) \right\} \)を任意に選んだとき、それに対して、\begin{eqnarray*}f\left( x,y\right) &=&\sin \left( 0\right) +\cos \left( 0\right) +\left(
x-0,y-0\right) \cdot \left( \cos \left( 0\right) ,-\sin \left( 0\right)
\right) \\
&&+\frac{1}{2}\begin{pmatrix}
x-0 & y-0\end{pmatrix}\begin{pmatrix}
-\sin \left( 0+\theta \left( x-0\right) \right) & 0 \\
0 & -\cos \left( 0+\theta \left( y-0\right) \right)
\end{pmatrix}\begin{pmatrix}
x-0 \\
y-0\end{pmatrix}
\\
&=&0+1+\left( x,y\right) \cdot \left( 1,0\right) +\frac{1}{2}\begin{pmatrix}
x & y\end{pmatrix}\begin{pmatrix}
-\sin \left( \theta x\right) & 0 \\
0 & -\cos \left( \theta y\right)
\end{pmatrix}\begin{pmatrix}
x \\
y\end{pmatrix}
\\
&=&1+x-\frac{1}{2}y^{2}\cos \left( \theta y\right) -\frac{1}{2}x^{2}\sin
\left( \theta x\right)
\end{eqnarray*}を満たす\(\theta \in \left( 0,1\right) \)が存在します。
ラグランジュの剰余項
繰り返しになりますが、多変数関数\(f:\mathbb{R} ^{n}\supset X\rightarrow \mathbb{R} \)が定義域の内点\(a\in X^{i}\)を中心とする近傍\(N_{\varepsilon}\left( a\right) \)上で\(C^{r}\)級である場合には、点\(a\)とは異なる近傍上の点\(x\in N_{\varepsilon}\left( a\right) \backslash \left\{ a\right\} \)を任意に選んだとき、テイラーの定理より、\begin{equation}f\left( x\right) =P_{r-1,a}\left( x\right) +\frac{\left[ \left( x-a\right)
\cdot \nabla \right] ^{r}f\left( a+\theta \left( x-a\right) \right) }{r!}
\quad \cdots (1)
\end{equation}を満たす\(\theta \in \left( 0,1\right) \)が存在することが保証されます。ただし、\(P_{r-1,a}\left( x\right) \)は関数\(f\)の点\(a\)における\(r-1\)次のテイラー近似多項式であり、\begin{equation*}P_{r-1,a}\left( x\right) =f\left( a\right) +\left[ \left( x-a\right) \cdot
\nabla \right] f\left( a\right) +\frac{\left[ \left( x-a\right) \cdot \nabla \right] ^{2}f\left( a\right) }{2!}+\cdots +\frac{\left[ \left( x-a\right)
\cdot \nabla \right] ^{r-1}f\left( a\right) }{\left( r-1\right) !}
\end{equation*}と定義されます。\(f\left(x\right) \)と\(P_{r-1,a}\left( x\right) \)の誤差を\(R_{r,a}\left( x\right) \)で表記するのであれば、\(\left( 1\right) \)より、\begin{equation*}R_{r,a}\left( x\right) =\frac{\left[ \left( x-a\right) \cdot \nabla \right]
^{r}f\left( a+\theta \left( x-a\right) \right) }{r!}
\end{equation*}を得ます。この誤差\(R_{r,a}\left( x\right) \)を点\(a\)における\(f\)の\(r\)次のラグランジュ剰余項(\(r\)th degree Lagrange reaminder of \(f\) at \(a\))と呼びます。剰余項を用いて改めて\(\left( 1\right) \)を書き換えると、\begin{equation*}f\left( x\right) =P_{r-1,a}\left( x\right) +R_{r,a}\left( x\right)
\end{equation*}となります。つまり、テイラーの定理とは、\(f\left( x\right) \)の値が変数\(x\)に関する有限次数の多項式\(P_{r-1,a}\left( x\right) \)と剰余項\(R_{r,a}\left( x\right) \)の和として表せることを保証する命題です。
マクローリンの定理
点\(0\)が多変数関数\(f:\mathbb{R} ^{n}\supset X\rightarrow \mathbb{R} \)の内点であるとともに、点\(0\)を中心とする近傍\(N_{\varepsilon }\left( a\right) \)上で\(C^{r}\)級である場合には、点\(0\)に関してテイラーの定理が適用可能です。具体的には、関数\(f\)の点\(0\)における\(r-1\)次のテイラー近似多項式は、\begin{equation*}P_{r-1,0}\left( x\right) =f\left( 0\right) +\left[ x\cdot \nabla \right]
f\left( 0\right) +\frac{\left[ x\cdot \nabla \right] ^{2}f\left( 0\right) }{2!}+\cdots +\frac{\left[ x\cdot \nabla \right] ^{r-1}f\left( 0\right) }{\left( r-1\right) !}
\end{equation*}であることを踏まえると、テイラーの定理より以下を得ます。これをマクローリンの定理(Maclaurin’s theorem)と呼びます。
\end{equation*}を満たす\(\theta \in \left( 0,1\right) \)が存在する。ただし、\(P_{r-1,0}\left( x\right) \)は関数\(f\)の点\(0\)における\(r-1\)次のテイラー近似多項式であり、\begin{equation*}P_{r-1,0}\left( x\right) =f\left( 0\right) +\left[ x\cdot \nabla \right] f\left( 0\right) +\frac{\left[ x\cdot \nabla \right] ^{2}f\left( 0\right) }{2!}+\cdots +\frac{\left[ x\cdot \nabla \right] ^{r-1}f\left( 0\right) }{\left( r-1\right) !}
\end{equation*}と定義される。
テイラー近似多項式の近似多項式としての正当性
テイラーの定理から以下を導くことができます。
多変数関数\(f:\mathbb{R} ^{n}\supset X\rightarrow \mathbb{R} \)が定義域の内点\(a\in X^{i}\)を中心とする近傍\(N_{\varepsilon}\left( a\right) \)上で\(C^{r}\)級であるものとする。点\(a\)とは異なる近傍上の点\(x\in N_{\varepsilon }\left( a\right) \backslash \left\{ a\right\} \)を任意に選んだとき、\begin{equation*}f\left( x\right) =P_{r,a}\left( x\right) +o\left( \left\Vert x-a\right\Vert
^{r}\right) \quad \left( x\rightarrow a\right)
\end{equation*}が成り立つ。ただし、\(P_{r,a}\left( x\right) \)は関数\(f\)の点\(a\)における\(r\)次のテイラー近似多項式であり、\begin{equation*}P_{r,a}\left( x\right) =f\left( a\right) +\left[ \left( x-a\right) \cdot
\nabla \right] f\left( a\right) +\frac{\left[ \left( x-a\right) \cdot \nabla \right] ^{2}f\left( a\right) }{2!}+\cdots +\frac{\left[ \left( x-a\right)
\cdot \nabla \right] ^{r}f\left( a\right) }{r!}
\end{equation*}と定義される。
上の命題は何を意味するのでしょうか。多変数関数\(f\)が定義域上の点\(a\)において\(C^{r}\)級である場合、点\(a\)における関数\(f\)の\(r\)次のテイラー近似多項式を、\begin{eqnarray*}P_{r,a}\left( x\right) &=&\sum_{k=0}^{r}\frac{\left[ \left( x-a\right)
\cdot \nabla \right] ^{k}f\left( a\right) }{k!} \\
&=&f\left( a\right) +\left[ \left( x-a\right) \cdot \nabla \right] f\left(
a\right) +\frac{\left[ \left( x-a\right) \cdot \nabla \right] ^{2}f\left(
a\right) }{2!}+\cdots +\frac{\left[ \left( x-a\right) \cdot \nabla \right]
^{r}f\left( a\right) }{r!}
\end{eqnarray*}と定義しました。ただ、この関数\(P_{r,a}\left( x\right) \)が点\(a\)の周辺の任意の点\(x\)において\(f\)を近似すること、すなわち、点\(a\)の周辺の任意の点\(x\)において、\begin{equation*}f\left( x\right) \approx P_{r,a}\left( x\right)
\end{equation*}という近似関係が成り立つことの根拠は与えられていませんでした。また、次数\(r\)を大きくするほど近似の精度が高くなることの根拠も与えられていませんでした。上の命題はこれらの主張に根拠を与えます。順番に説明します。
多変数関数\(f:\mathbb{R} ^{n}\supset X\rightarrow \mathbb{R} \)が定義域の内点\(a\in X^{i}\)を中心とする近傍\(N_{\varepsilon}\left( a\right) \)上で\(C^{r}\)級であるものとします。点\(a\)とは異なる近傍上の点\(x\in N_{\varepsilon }\left( a\right) \backslash \left\{ a\right\} \)を任意に選んだとき、先の命題より、\begin{equation*}f\left( x\right) =P_{r,a}\left( x\right) +o\left( \left\Vert x-a\right\Vert
^{r}\right) \quad \left( x\rightarrow a\right)
\end{equation*}が成り立ちます。これは、変数\(x\)に関する関数\begin{equation*}f\left( x\right) -P_{r,a}\left( x\right)
\end{equation*}が、やはり変数\(x\)に関する関数\begin{equation*}\left\Vert x-a\right\Vert ^{r}
\end{equation*}よりも点\(a\)において高位の無限小であるという主張です。つまり、点\(a\)に限りなく近い任意の点\(x\)において\(f\left( x\right) -P_{r,a}\left( x\right) \)と\(\left\Vert x-a\right\Vert^{r}\)はともに\(0\)に限りなく近づくだけでなく、\(f\left( x\right) -P_{r,a}\left( x\right) \)の大きさは\(\left\Vert x-a\right\Vert ^{r}\)の大きさと比べると無視できるほど小さくなります。言い換えると、変数\(x\)を点\(a\)に限りなく近づける場合、\(f\left( x\right) \)と\(P_{r,a}\left( x\right) \)の誤差は\(0\)に限りなく近づくだけでなく、その誤差の大きさは、\(x\)と\(a\)の誤差を表す\(\left\Vert x-a\right\Vert^{r}\)の値と比べても無視できるほど小さくなるということです。したがって、この場合、点\(a\)に限りなく近い任意の点\(x\)において、\begin{equation*}f\left( x\right) \approx P_{r,a}\left( x\right)
\end{equation*}という近似式が成り立ちます。以上より、テイラー近似多項式\(P_{r,a}\left( x\right) \)は点\(a\)の周辺の任意の点\(x\)において関数\(f\)を近似することの根拠が得られました。
先の命題が主張するように、\(x\)を\(a\)に限りなく近づけると、\(f\left(x\right) -P_{r,a}\left( x\right) \)の大きさは\(\left\Vert x-a\right\Vert ^{r}\)の大きさと比べると無視できるほど小さくなります。ただ、\(x\)を\(a\)に限りなく近づける状況において、\(r\)が大きいほど\(\left\Vert x-a\right\Vert ^{r}\)はより速く\(0\)へ近づいていくため、結局、\(r\)が大きいほど\(f\left( x\right) \)と\(P_{r,a}\left( x\right) \)の誤差はより速く\(0\)へ近づいていきます。以上により、次数\(r\)を大きくするほどテイラー近似多項式\(P_{r,a}\left( x\right) \)は関数\(f\)をより高い精度で近似することの根拠が得られました。
プレミアム会員専用コンテンツです
【ログイン】【会員登録】