ヤコビ行列あるいはジャコビ行列とは
📂多変数ベクトル解析ヤコビ行列あるいはジャコビ行列とは
定義
D⊂Rnで定義された多変数ベクトル関数 f:D→Rmが各スカラー関数 f1,⋯,fm:D→Rに対して
f(x1,⋯,xn):=f1(x1,⋯,xn)⋮fm(x1,⋯,xn)
と定義されているとしよう。
J:=∂x1∂f1⋮∂x1∂fm⋯⋱⋯∂xn∂f1⋮∂xn∂fm
をfのヤコビ行列という。
説明
次のような記法もよく使われる。
J=∂(x1,…,xn)∂(f1,…fm)
fのヤコビ行列はDf:=Jになるような演算子Dを定義して表現されることもある。ヤコビ行列という名称は19世紀ドイツの数学者カール・グスタフ・ヤコブ・ヤコビから来ているので、ヤコビ行列と書いて読むのが正しいが、実際にはJが’ヤコビアン’と読まれることが非常に多い。
全微分とも呼ばれ、多変数ベクトル関数の微分を意味する。したがって、多変数関数にヤコビ行列が存在する場合は、微分可能であるとされ、逆に微分可能な関数 f:R→Rが1×1サイズのヤコビ行列を持つと考えることもできる。簡単に言えば、ヤコビ行列はベクトル関数の微分係数行列である。
通常は極座標とともに解析学で最初に接するもので、
∫B∫Af(x,y)dxdy
で使用される直交座標をx=rcosθ, y=rsinθのように変更すると、ご存じの通り
∫B∫Af(rcosθ,rsinθ)rdrdθ
としてrが一つ追加される。これは
[∂r∂x∂r∂y∂θ∂x∂θ∂y]=[cosθ−rsinθsinθrcosθ]
の行列式がrcos2θ+rsin2θ=rのように求められるからである。同じセンスで、ヤコビ行列は高校で積分の変数置換を行うときすでに接した概念そのものである。例えば、
∫01(27x3+9x2+3x)dx
を計算する場合、3x=yのような置換を行うと考えてみる。これをyがxに対する関数y(x)=3xであると見ると、そのヤコビ行列は
[∂x∂3x]=[3]
となる。これは3x=yの両辺をそれぞれの変数で微分して3dx=dyを得るのと同じである。
参照