ヤコビ行列

ヤコビ行列

多変数のベクトル値関数\(f:\mathbb{R} ^{n}\supset X\rightarrow \mathbb{R} ^{m}\)が定義域上の点\(a\in X\)においてすべての変数\(x_{k}\ \left( k=1,\cdots ,n\right) \)に関して偏微分可能である場合には、すなわち、点\(a\)においてそれぞれの変数\(x_{k}\)に関する偏微分係数\begin{equation*}\frac{\partial f\left( a\right) }{\partial x_{k}}=\left(
\begin{array}{c}
\dfrac{\partial f_{1}\left( a\right) }{\partial x_{k}} \\
\vdots \\
\dfrac{\partial f_{m}\left( a\right) }{\partial x_{k}}\end{array}\right) \in \mathbb{R} ^{m}
\end{equation*}が\(\mathbb{R} ^{m}\)上のベクトルとして定まる場合には、以下の行列\begin{equation*}\left( \frac{\partial f\left( a\right) }{\partial x_{1}},\cdots ,\frac{\partial f\left( a\right) }{\partial x_{n}}\right) =\begin{pmatrix}
\dfrac{\partial f_{1}\left( a\right) }{\partial x_{1}} & \cdots & \dfrac{\partial f_{1}\left( a\right) }{\partial x_{n}} \\
\vdots & \ddots & \vdots \\
\dfrac{\partial f_{m}\left( a\right) }{\partial x_{1}} & \cdots & \dfrac{\partial f_{m}\left( a\right) }{\partial x_{n}}\end{pmatrix}\in M_{m,n}\left( \mathbb{R} \right)
\end{equation*}が存在します。これを\(f\)の点\(a\)におけるヤコビ行列（Jacobian matrix at \(a\)）と呼び、\begin{equation*}J_{f}\left( a\right) ,\quad Df\left( a\right) ,\quad \frac{\partial f\left(
a\right) }{\partial x}
\end{equation*}などで表記します。また、点\(a\)におけるヤコビ行列\(J_{f}\left( a\right) \)が存在する場合には、すなわち多変数のベクトル値関数\(f\)が点\(a\)においてすべての変数について偏微分可能である場合には、\(f\)は点\(a\)において偏微分可能である（partially differentiable at \(a\)）と言います。

1変数関数の微分係数がその関数の接線の傾きに相当するように、多変数のベクトル値関数のヤコビ行列もまた幾何学的な解釈が可能ですが、詳細は全微分と呼ばれる微分概念について学んだ後に解説します。

ヤコビ行列関数

繰り返しになりますが、多変数のベクトル値関数\(f:\mathbb{R} ^{n}\supset X\rightarrow \mathbb{R} ^{m}\)が定義域上の点\(a\in X\)において偏微分可能であることとは、\(f\)が点\(a\)において任意の変数\(x_{k}\ \left( k=1,\cdots ,n\right) \)について偏微分可能であることを意味し、このとき、点\(a\)におけるヤコビ行列\begin{equation*}J_{f}\left( a\right) =\begin{pmatrix}
\dfrac{\partial f_{1}\left( a\right) }{\partial x_{1}} & \cdots & \dfrac{\partial f_{1}\left( a\right) }{\partial x_{n}} \\
\vdots & \ddots & \vdots \\
\dfrac{\partial f_{m}\left( a\right) }{\partial x_{1}} & \cdots & \dfrac{\partial f_{m}\left( a\right) }{\partial x_{n}}\end{pmatrix}\in M_{m,n}\left( \mathbb{R} \right)
\end{equation*}が存在します。ヤコビ行列が存在する場合には\(M_{m,n}\left( \mathbb{R} \right) \)上の1つの行列として定まるため、\(f\)が偏微分可能な点からなる集合を\(Y\subset X\)で表記するとき、それぞれの\(x\in Y\)に対して、そこでのヤコビ行列\(J_{f}\left( x\right) \in M_{m,n}\left( \mathbb{R} \right) \)を値として定める多変数の行列値関数\begin{equation*}J_{f}:\mathbb{R} ^{n}\supset Y\rightarrow M_{m,n}\left( \mathbb{R} \right)
\end{equation*}が定義可能です。これを\(f\)のヤコビ行列関数（Jacobian matrix function）と呼び、\begin{equation*}J_{f}\left( x\right) ,\quad Df\left( x\right) ,\quad \frac{\partial f\left( x\right) }{\partial x}
\end{equation*}などで表記します。

一般に、多変数のベクトル値関数\(f\)は定義域\(X\)上の任意の点において偏微分可能であるとは限りません。定義域\(X\)の中に関数\(f\)が偏微分可能ではない点が存在する場合、すなわち、\(X\)の少なくとも1つの点において少なくとも1つの変数について\(f\)が偏微分可能ではない場合、ヤコビ行列関数\(J_{f}\)の定義域\(Y\)は\(X\)の真部分集合になります。多変数のベクトル値関数\(f\)のヤコビ行列関数\(J_{f}\)は、もとの関数\(f\)が偏微分可能な点においてのみ定義される多変数の行列値関数であるということです。一方、関数\(f\)の定義域\(X\)とヤコビ行列関数\(J_{f}\)の定義域が一致する場合、すなわち、関数\(f\)が定義域\(X\)上の任意の点において偏微分可能である場合、\(f\)は\(X\)上で偏微分可能（partially differentiable）と言います。また、関数\(f\)のヤコビ行列関数\(J_{f}\)を求めることを\(f\)を偏微分する（partial differentiable）と言います。

演習問題