logo

ヤコビ行列あるいはジャコビ行列とは 📂多変数ベクトル解析

ヤコビ行列あるいはジャコビ行列とは

定義

DRnD \subset \mathbb{R}^{n}で定義された多変数ベクトル関数 f:DRm\mathbf{f} : D \to \mathbb{R}^{m}が各スカラー関数 f1,,fm:DRf_{1} , \cdots , f_{m} : D \to \mathbb{R}に対して

f(x1,,xn):=[f1(x1,,xn)fm(x1,,xn)] \mathbf{f} ( x_{1} , \cdots , x_{n} ) : = \begin{bmatrix} f_{1} ( x_{1} , \cdots , x_{n} ) \\ \vdots \\ f_{m} ( x_{1} , \cdots , x_{n} ) \end{bmatrix}

と定義されているとしよう。

J:=[f1x1f1xnfmx1fmxn] J := \begin{bmatrix} {{\partial f_{1} } \over {\partial x_{1} }} & \cdots & {{\partial f_{1} } \over {\partial x_{n} }} \\ \vdots & \ddots & \vdots \\ {{\partial f_{m} } \over {\partial x_{1} }} & \cdots & {{\partial f_{m} } \over {\partial x_{n} }} \end{bmatrix}

f\mathbf{f}ヤコビ行列という。

説明

次のような記法もよく使われる。

J=(f1,fm)(x1,,xn) J = \dfrac{\partial (f_{1}, \dots f_{m})}{\partial (x_{1}, \dots, x_{n})}

f\mathbf{f}のヤコビ行列はDf:=JD \mathbf{f} := Jになるような演算子DDを定義して表現されることもある。ヤコビ行列という名称は19世紀ドイツの数学者カール・グスタフ・ヤコブ・ヤコビから来ているので、ヤコビ行列と書いて読むのが正しいが、実際にはJJが’ヤコビアン’と読まれることが非常に多い。

全微分とも呼ばれ、多変数ベクトル関数の微分を意味する。したがって、多変数関数にヤコビ行列が存在する場合は、微分可能であるとされ、逆に微分可能な関数 f:RRf : \mathbb{R} \to \mathbb{R}1×11 \times 1サイズのヤコビ行列を持つと考えることもできる。簡単に言えば、ヤコビ行列はベクトル関数の微分係数行列である。

通常は極座標とともに解析学で最初に接するもので、

BAf(x,y)dxdy \int_{B} \int_{A} f(x,y) dx dy

で使用される直交座標をx=rcosθx= r \cos \theta, y=rsinθy= r \sin \thetaのように変更すると、ご存じの通り

BAf(rcosθ,rsinθ)rdrdθ \int_{B} \int_{A} f( r \cos \theta , r \sin \theta ) r dr d \theta

としてrrが一つ追加される。これは

[xrxθyryθ]=[cosθsinθrsinθrcosθ] \begin{bmatrix} {{\partial x } \over {\partial r }} & {{\partial x } \over {\partial \theta }} \\ {{\partial y } \over {\partial r }} & {{\partial y } \over {\partial \theta }} \end{bmatrix} = \begin{bmatrix} \cos \theta & \sin \theta \\ -r \sin \theta & r \cos \theta \end{bmatrix}

の行列式がrcos2θ+rsin2θ=rr \cos^2 \theta + r \sin^2 \theta = rのように求められるからである。同じセンスで、ヤコビ行列は高校で積分の変数置換を行うときすでに接した概念そのものである。例えば、

01(27x3+9x2+3x)dx \int_{0}^{1} ( 27x^3 + 9 x^2 + 3 x ) dx

を計算する場合、3x=y3x = yのような置換を行うと考えてみる。これをyyxxに対する関数y(x)=3xy(x) = 3xであると見ると、そのヤコビ行列は

[3xx]=[3] \begin{bmatrix} {{\partial 3x } \over {\partial x }} \end{bmatrix} = \begin{bmatrix} 3 \end{bmatrix}

となる。これは3x=y3x = yの両辺をそれぞれの変数で微分して3dx=dy3dx = dyを得るのと同じである。

参照