多変数関数の偏微分と1変数関数の微分の関係

多変数関数の偏微分と1変数関数の微分の関係

ユークリッド空間\(\mathbb{R} ^{n}\)もしくはその部分集合\(X\)を定義域とし、値として実数をとる多変数関数\begin{equation*}f:\mathbb{R} ^{n}\supset X\rightarrow \mathbb{R} \end{equation*}を議論の対象とします。つまり、\(f\)はそれぞれのベクトル\(\boldsymbol{x}\in X\)に対して、実数\begin{equation*}f\left( \boldsymbol{x}\right) =f\left( x_{1},\cdots ,x_{n}\right) \in \mathbb{R} \end{equation*}を値として定めるということです。

関数\(f\)の定義域\(X\)において変数\(x_{k}\ \left( k=1,\cdots ,n\right) \)がとり得る値からなる集合を、\begin{equation*}X_{k}\subset \mathbb{R} \end{equation*}で表記します。つまり、任意の\(\boldsymbol{x}\in \mathbb{R} ^{n}\)に対して、以下の条件\begin{equation*}\boldsymbol{x}\in X\Leftrightarrow x_{k}\in X_{k}
\end{equation*}を満たすものとして\(X_{k}\)を定義するということです。変数\(x_{k}\)以外のすべての変数を成分とするベクトルを、\begin{equation*}\boldsymbol{x}_{-k}=\left( x_{1},\cdots ,x_{k-1},x_{k+1},\cdots ,x_{n}\right)
\end{equation*}で表記し、\(\boldsymbol{x}_{-k}\)がとり得る値からなる集合を、\begin{equation*}X_{-k}=X_{1}\times \cdots X_{k-1}\times X_{k+1}\times \cdots X_{n}
\end{equation*}で表記します。\(\boldsymbol{x}_{-k}\in X_{-k}\)です。このとき、以下の関係\begin{equation*}\boldsymbol{x}=\left( x_{k},\boldsymbol{x}_{-k}\right) \in X_{k}\times
X_{-k}=X
\end{equation*}が成り立ちます。

以上の表記を踏まえると、多変数関数\(f:\mathbb{R} ^{n}\supset X\rightarrow \mathbb{R} \)の変数\(\boldsymbol{x}\)を点\(\boldsymbol{a}=\left( a_{k},\boldsymbol{a}_{-k}\right) \in X\)から変数\(x_{k}\)に関してのみ\(h\)だけ動かした場合の平均変化率は、\begin{equation*}\frac{f\left( a_{k}+h,\boldsymbol{a}_{-k}\right) -f\left( \boldsymbol{a}\right) }{h}
\end{equation*}と表現されるため、\(f\)が点\(\boldsymbol{a}\)において変数\(x_{k}\)に関して偏微分可能である場合、そこでの偏微分係数を、\begin{equation}\frac{\partial f\left( \boldsymbol{a}\right) }{\partial x_{k}}=\lim_{h\rightarrow 0}\frac{f\left( a_{k}+h,\boldsymbol{a}_{-k}\right)
-f\left( a_{k},\boldsymbol{a}_{-k}\right) }{h} \quad \cdots (1)
\end{equation}と表現できます。

多変数関数\(f:\mathbb{R} ^{n}\supset X\rightarrow \mathbb{R} \)が変数\(x_{k}\)に関して偏微分可能な点\(\boldsymbol{a}=\left( a_{k},\boldsymbol{a}_{-k}\right) \in X\)が与えられたとき、それぞれの実数\(x_{k}\in X_{k}\)に対して、以下の実数\begin{equation*}g\left( x_{k}\right) =f\left( x_{k},\boldsymbol{a}_{-k}\right)
\end{equation*}を値として定める1変数関数\begin{equation*}
g:\mathbb{R} \supset X_{k}\rightarrow \mathbb{R} \end{equation*}を定義します。これは多変数関数\(f\)において変数\(x_{k}\)以外のすべての変数\(\boldsymbol{x}_{-k}\)の値を\(\boldsymbol{a}_{-k}\)に固定することにより得られる変数\(x_{k}\)に関する1変数関数です。関数\(g\)の変数\(x_{k}\)を点\(a_{k}\)から\(h\)だけ動かした場合の平均変化率は、\begin{equation}\frac{g\left( a_{k}+h\right) -g\left( a_{k}\right) }{h}=\frac{f\left(
a_{k}+h,\boldsymbol{a}_{-k}\right) -f\left( a_{k},\boldsymbol{a}_{-k}\right)
}{h} \quad \cdots (2)
\end{equation}であるため、関数\(g\)が点\(a_{k}\)において微分可能である場合、そこでの微分係数は、\begin{eqnarray*}\frac{dg\left( a_{k}\right) }{dx_{k}} &=&\lim_{h\rightarrow 0}\frac{g\left(
a_{k}+h\right) -g\left( a_{k}\right) }{h}\quad \because \text{微分の定義} \\
&=&\lim_{h\rightarrow 0}\frac{f\left( a_{k}+h,\boldsymbol{a}_{-k}\right)
-f\left( a_{k},\boldsymbol{a}_{-k}\right) }{h}\quad \because \left( 2\right)
\\
&=&\frac{\partial f\left( \boldsymbol{a}\right) }{\partial x_{k}}\quad
\because \left( 1\right)
\end{eqnarray*}すなわち、\begin{equation*}
\frac{\partial f\left( \boldsymbol{a}\right) }{\partial x_{k}}=\frac{dg\left( a_{k}\right) }{dx_{k}}
\end{equation*}となります。

関数\(g\)の定義を踏まえると、上の命題の主張を、\begin{equation}\frac{\partial f\left( \boldsymbol{a}\right) }{\partial x_{k}}=\left. \frac{df\left( x_{k},\boldsymbol{a}_{-k}\right) }{dx_{k}}\right\vert _{x_{k}=a_{k}}
\quad \cdots (3)
\end{equation}と表現できます。つまり、多変数関数\(f\)において変数\(x_{k}\)以外のすべての変数\(\boldsymbol{x}_{-k}\)の値を\(\boldsymbol{a}_{-k}\)に固定し、\(f\)をあたかも変数\(x_{k}\)に関する1変数とみなした上で点\(a_{k}\)における微分係数をとれば（\(\left( 3\right) \)の右辺）、\(f\)の点\(\boldsymbol{a}\)における変数\(x_{k}\)に関する偏微分係数（\(\left( 3\right) \)の左辺）が得られます。多変数関数\(f\left( \boldsymbol{x}\right) \)を点\(\boldsymbol{a}\)において変数\(x_{k}\)に関して偏微分するプロセスは1変数関数\(f\left( x_{k},\boldsymbol{a}_{-k}\right) \)を点\(a_{k}\)において微分するプロセスと実質的に等しいため、多変数関数を偏微分する際には偏微分の定義にもとづいて考える必要はなく、1変数関数の微分に関する知識を動員できるということです。

演習問題