在向量分析中,雅可比矩陣(也稱作Jacobi矩陣,英語:Jacobian matrix)是函數的一階偏導數以一定方式排列成的矩陣。
當其為方形矩陣時,其行列式稱為雅可比行列式(Jacobi determinant)。要注意的是,在英文中雅可比矩陣跟雅可比行列式都可稱作Jacobian。[1]
其重要性在於,如果函數 f : ℝn → ℝm 在點 x 可微的話,在點 x 的雅可比矩陣即為該函數在該點的最佳線性逼近,也代表雅可比矩陣是單變數實數函數的微分在向量值多變數函數的推廣,在這種情況下,雅可比矩陣也被稱作函數 f 在點 x 的微分或者導數。
在代數幾何中,代數曲線的雅可比行列式'表示雅可比簇:伴隨該曲線的一個代數群,曲線可以嵌入其中。
它們全部都以普魯士數學家卡爾·雅可比命名。
雅可比矩陣
假設某函數從 f : ℝn → ℝm, 從 x ∈ ℝn 映射到 向量 f(x) ∈ ℝm, 其雅可比矩陣是一 m×n 的矩陣,換句話講也就是從 ℝn 到 ℝm 的線性映射,其重要意義在於它表現了一個多變數向量函數的最佳線性逼近。因此,雅可比矩陣類似於單變數函數的導數。
此函數 f 的雅可比矩陣 J 為 m×n 的矩陣,一般由以下方式定義:
![{\displaystyle \mathbf {J} ={\begin{bmatrix}{\dfrac {\partial \mathbf {f} }{\partial x_{1}}}&\cdots &{\dfrac {\partial \mathbf {f} }{\partial x_{n}}}\end{bmatrix}}={\begin{bmatrix}{\dfrac {\partial f_{1}}{\partial x_{1}}}&\cdots &{\dfrac {\partial f_{1}}{\partial x_{n}}}\\\vdots &\ddots &\vdots \\{\dfrac {\partial f_{m}}{\partial x_{1}}}&\cdots &{\dfrac {\partial f_{m}}{\partial x_{n}}}\end{bmatrix}}}](//wikimedia.org/api/rest_v1/media/math/render/svg/74e93aa903c2695e45770030453eb77224104ee4)
矩陣的分量可表示成:
![{\displaystyle \mathbf {J} _{ij}={\frac {\partial f_{i}}{\partial x_{j}}}}](//wikimedia.org/api/rest_v1/media/math/render/svg/2e44836c4c7fef55a3ef28bbc0fddfa3770b65dc)
雅可比矩陣的其他常用符號還有:
、
、
或者 ![{\displaystyle {\frac {\partial (f_{1},\ldots ,f_{m})}{\partial (x_{1},\ldots ,x_{n})}}}](//wikimedia.org/api/rest_v1/media/math/render/svg/d4549450a0cc1be5355876ff3911861fb3b1a4ba)
此矩陣的第
列是由函數
的梯度函數所表示的,
。
如果
是
中的一點,
在
點可微分,根據數學分析,
是在這點的導數。在此情況下,
這個線性映射即
在點
附近的最優線性逼近,也就是說當
足夠靠近點
時,我們有
![{\displaystyle f(x)\approx f(p)+\mathbf {J} _{\mathbf {f} }(p)\cdot (x-p)}](//wikimedia.org/api/rest_v1/media/math/render/svg/c72fa49ba51fb457d6530fcc53f523ac470c2802)
講更詳細點也就是:
![{\displaystyle \mathbf {f} (\mathbf {x} )=\mathbf {f} (\mathbf {p} )+\mathbf {J} _{\mathbf {f} }(\mathbf {p} )(\mathbf {x} -\mathbf {p} )+o(\|\mathbf {x} -\mathbf {p} \|)}](//wikimedia.org/api/rest_v1/media/math/render/svg/a267bfe872cecd8691135b1cf44d22e2d0f2cd30)
其中,o 代表小o符號,‖x − p‖ 為 x 與 p 之間的距離。
例子
例一
由球坐標系到直角坐標系的轉化由 F: ℝ+ × [0, π) × [0, 2π) → ℝ3 函數給出,其分量為:
![{\displaystyle {\begin{aligned}x&=r\sin \theta \cos \varphi ;\\y&=r\sin \theta \sin \varphi ;\\z&=r\cos \theta \end{aligned}}}](//wikimedia.org/api/rest_v1/media/math/render/svg/251af2f9e253d45778b79ea234e261246f0e57b0)
此坐標變換的雅可比矩陣是
![{\displaystyle \mathbf {J} _{\mathbf {F} }(r,\theta ,\varphi )={\begin{bmatrix}{\dfrac {\partial x}{\partial r}}&{\dfrac {\partial x}{\partial \theta }}&{\dfrac {\partial x}{\partial \varphi }}\\[1em]{\dfrac {\partial y}{\partial r}}&{\dfrac {\partial y}{\partial \theta }}&{\dfrac {\partial y}{\partial \varphi }}\\[1em]{\dfrac {\partial z}{\partial r}}&{\dfrac {\partial z}{\partial \theta }}&{\dfrac {\partial z}{\partial \varphi }}\end{bmatrix}}={\begin{bmatrix}\sin \theta \cos \varphi &r\cos \theta \cos \varphi &-r\sin \theta \sin \varphi \\\sin \theta \sin \varphi &r\cos \theta \sin \varphi &r\sin \theta \cos \varphi \\\cos \theta &-r\sin \theta &0\end{bmatrix}}}](//wikimedia.org/api/rest_v1/media/math/render/svg/db70522712b56ee256247603ef074d20313e5ba1)
其雅可比行列式為 r2 sin θ。以體積元變換爲例,由於 dV = dx dy dz,如果做變數變換,則其體積元(Volume element,dV),會變成:dV = r2 sin θ dr dθ dφ。
例二
F : ℝ3 → ℝ4,其各分量為
![{\displaystyle y_{1}=x_{1}\,}](//wikimedia.org/api/rest_v1/media/math/render/svg/d5dd9c8e322ef5d8d0b9779e2ab5c20f7bd9cf4d)
![{\displaystyle y_{2}=5x_{3}\,}](//wikimedia.org/api/rest_v1/media/math/render/svg/9d498e10016f6b52729a2ea3cee4dadc70a839a2)
![{\displaystyle y_{3}=4x_{2}^{2}-2x_{3}\,}](//wikimedia.org/api/rest_v1/media/math/render/svg/b6301612fb299c9efc6227e8cc1fe3d4952cb845)
![{\displaystyle y_{4}=x_{3}\sin x_{1}\,}](//wikimedia.org/api/rest_v1/media/math/render/svg/5cb3f4e3af6e6d0e0196fc81be2bebdac56828e4)
其雅可比矩陣為:
![{\displaystyle J_{F}(x_{1},x_{2},x_{3})={\begin{bmatrix}{\frac {\partial y_{1}}{\partial x_{1}}}&{\frac {\partial y_{1}}{\partial x_{2}}}&{\frac {\partial y_{1}}{\partial x_{3}}}\\[3pt]{\frac {\partial y_{2}}{\partial x_{1}}}&{\frac {\partial y_{2}}{\partial x_{2}}}&{\frac {\partial y_{2}}{\partial x_{3}}}\\[3pt]{\frac {\partial y_{3}}{\partial x_{1}}}&{\frac {\partial y_{3}}{\partial x_{2}}}&{\frac {\partial y_{3}}{\partial x_{3}}}\\[3pt]{\frac {\partial y_{4}}{\partial x_{1}}}&{\frac {\partial y_{4}}{\partial x_{2}}}&{\frac {\partial y_{4}}{\partial x_{3}}}\\\end{bmatrix}}={\begin{bmatrix}1&0&0\\0&0&5\\0&8x_{2}&-2\\x_{3}\cos x_{1}&0&\sin x_{1}\end{bmatrix}}}](//wikimedia.org/api/rest_v1/media/math/render/svg/ebf91f57907e1656c70decff4f02a0acf8fbdacf)
此例子說明雅可比矩陣不一定為方陣。
在動力系統中
考慮形為
的動力系統,
。如果
,那麼
是一個臨界點。系統接近臨界點時的行為跟
的特徵值相關。
雅可比行列式
如果 m = n,那麼 F 是從 ℝn 映射到 ℝn 的函數,且它的雅可比矩陣是一個方陣。於是我們可以取它的行列式,稱為雅可比行列式。
在某個給定點的雅可比行列式提供了 F 在接近該點時的表現的重要資訊。例如,如果連續可微函數 F 在 p 點的Jacobi行列式不等於零,那麼它在該點附近有 F 的反函數。這稱為反函數定理。更進一步,如果 p 點的Jacobi行列式是正數,則 F 在 p 點保持定向(preserves orientation);如果是負數,則 F 逆轉定向(reverses orientation)。而從Jacobi行列式的絕對值,就可以知道函數 F 在 p 點附近是放大或縮小體積;這就是它出現在換元積分法中的原因。
例子一
設有函數 F : ℝ3 → ℝ3,其分量為:
![{\displaystyle y_{1}=5x_{2}\,}](//wikimedia.org/api/rest_v1/media/math/render/svg/64c8c296bd6d1f2f70cd7b3eca245787094e8ae4)
![{\displaystyle y_{2}=4x_{1}^{2}-2\sin(x_{2}x_{3})\,}](//wikimedia.org/api/rest_v1/media/math/render/svg/85b38bf8221947f50508fda77d37f1b7fb015d14)
![{\displaystyle y_{3}=x_{2}x_{3}\,}](//wikimedia.org/api/rest_v1/media/math/render/svg/85b37c5c6c9cacc0857ca25e1778113631b97c00)
則它的Jacobi行列式為:
![{\displaystyle {\begin{vmatrix}0&5&0\\8x_{1}&-2x_{3}\cos(x_{2}x_{3})&-2x_{2}\cos(x_{2}x_{3})\\0&x_{3}&x_{2}\end{vmatrix}}=-8x_{1}\cdot {\begin{vmatrix}5&0\\x_{3}&x_{2}\end{vmatrix}}=-40x_{1}x_{2}}](//wikimedia.org/api/rest_v1/media/math/render/svg/d853ffdff65f9e7e189d418aca5450b9beb0fa14)
從中我們可以看到,當 x1 和 x2 同號時,F 逆轉定向;該函數處處具有反函數,除了在 x1 = 0 或 x2 = 0 的點。
例子二
這是一個與巴塞爾問題
較為相似的級數
的求解方法,首先可以轉化為二重積分(在這裡 D1 指 x 與 y 皆為從 0 到 1 的正方形區域):
![{\displaystyle \sum _{n=0}^{\infty }{\frac {1}{(2n+1)^{2}}}=\iint \limits _{D_{1}}\sum _{n=1}^{\infty }(xy)^{2n}\mathrm {d} x\mathrm {d} y=\iint \limits _{D_{1}}{\frac {\mathrm {d} x\mathrm {d} y}{1-x^{2}y^{2}}}}](//wikimedia.org/api/rest_v1/media/math/render/svg/d8e81ad8bfc54ea67f977535883996559d944432)
此時定義映射 F : ℝ2 → ℝ2,滿足:
![{\displaystyle {\begin{cases}u=\arctan \left(x{\sqrt {\dfrac {1-y^{2}}{1-x^{2}}}}\right)\\v=\arctan \left(y{\sqrt {\dfrac {1-x^{2}}{1-y^{2}}}}\right)\end{cases}}\iff {\begin{cases}x={\dfrac {\sin u}{\cos v}}\\y={\dfrac {\sin v}{\cos u}}\end{cases}}}](//wikimedia.org/api/rest_v1/media/math/render/svg/74648b359311a31d66916b87dd484967701115ae)
於是有相應的雅可比行列式:
![{\displaystyle {\begin{vmatrix}{\dfrac {\partial x}{\partial u}}&{\dfrac {\partial x}{\partial v}}\\{\dfrac {\partial y}{\partial u}}&{\dfrac {\partial y}{\partial v}}\end{vmatrix}}={\begin{vmatrix}{\dfrac {\cos u}{\cos v}}&{\dfrac {\sin u\sin v}{\cos ^{2}v}}\\{\dfrac {\sin u\sin v}{\cos ^{2}u}}&{\dfrac {\cos v}{\cos u}}\end{vmatrix}}=1-{\frac {\sin ^{2}u\sin ^{2}v}{\cos ^{2}u\cos ^{2}v}}=1-x^{2}y^{2}}](//wikimedia.org/api/rest_v1/media/math/render/svg/d9a74e95ae1caf1ae7ce9ffcdd11ab50795946af)
因此
,並且將正方形 D1 映射成 u>0、v>0、u+v<π/2 的等腰直角三角形,記為 D2,得到:
![{\displaystyle \iint \limits _{D_{1}}{\frac {\mathrm {d} x\mathrm {d} y}{1-x^{2}y^{2}}}=\iint \limits _{D_{2}}\mathrm {d} u\mathrm {d} v=\int _{0}^{\frac {\pi }{2}}\left(\int _{0}^{{\frac {\pi }{2}}-v}\mathrm {d} u\right)\mathrm {d} v={\frac {\pi ^{2}}{8}}}](//wikimedia.org/api/rest_v1/media/math/render/svg/dfab3a91cfa61801e8750601131d3e546aaa6f59)
逆矩陣
根據反函數定理,一個可逆函數(存在反函數的函數)的雅可比矩陣的逆矩陣即為該函數的反函數的雅可比矩陣。即,若函數
在點
的雅可比矩陣是連續且可逆的,則
在點
的某一鄰域內也是可逆的,且有
![{\displaystyle J_{F^{-1}}\circ f=J_{F}^{-1}}](//wikimedia.org/api/rest_v1/media/math/render/svg/9c06c7494056b97e0940ee96b6af7c168b7a7917)
成立。相反,倘若雅可比行列式在某一個點不為零,那麽該函數在這個點的某一鄰域內可逆(存在反函數)。
一個多項式函數的可逆性與未經證明的雅可比猜想有關。其斷言,如果函數的雅可比行列式為一個非零實數(相當於其不存在複零點),則該函數可逆且其反函數也為一個多項式。
參看
參考資料
W., Weisstein, Eric. Jacobian. mathworld.wolfram.com. [2 May 2018]. (原始內容存檔於3 November 2017).
外部連結