打开主菜单

向量分析中,雅可比矩阵(也稱作Jacobi矩陣)是函數的一阶偏导数以一定方式排列成的矩阵,當其為方陣(square matrix)時,其行列式称为Jacobi行列式。要注意的是,如果雅可比矩陣為方陣,那在英文中雅可比矩陣跟Jacobi行列式兩者都稱作 Jacobian

其重要性在於,如果函數  f : ℝn → ℝm 在點 x 可微的話,在點 x 的雅可比矩陣即為該函數在該點的最佳線性逼近,也代表雅可比矩陣是單變數實數函數的微分在向量值多變數函數的推廣,在這種情況下,雅可比矩陣也被稱作函數 f 在點 x微分或者導數

代数几何中,代数曲线可比行列式'表示雅可比簇:伴随该曲线的一个代數群,曲线可以嵌入其中。[來源請求]

它们全部都以普魯士数学家卡爾·雅可比命名。

雅可比矩阵编辑

假設某函數從 f : ℝn → ℝm, 從 x ∈ ℝn 映射到 向量 f(x) ∈ ℝm, 其雅可比矩陣是一 m×n 的矩陣,換句話講也就是從 nm 的線性映射,其重要意義在于它表現了一个多變數向量函數的最佳线性逼近。因此,雅可比矩阵类似于單變數函数的导数。

此函數 f 的雅可比矩陣 Jm×n 的矩陣,一般由以下方式定義

 

矩陣的分量可表示成:

 


雅可比矩陣的其他常用符號還有:

    或者  

此矩陣的第  列是由函數   的梯度函数所表示的, 

如果    中的一点,  点可微分,根據數學分析 是在这点的导数。在此情况下, 這個线性映射即   在点   附近的最优线性逼近,也就是說當  足夠靠近點   時,我們有

 

講更詳細點也就是:

 

其中,o 代表小o符號(little-o notation英语Big_O_notation#Little-o_notation),xpxp 之間的距離。

例子编辑

例一编辑

球坐标系到直角坐标系的转化由 F: ℝ+ × [0, π] × [0, 2π) → ℝ3 函数给出,其分量為:

 

此坐标变换的雅可比矩阵是

 


其Jacobi行列式為 r2 sin θ,由於 dV = dx dy dz,如果做變數變換的話其體積元(Volume element),dV,會變成:dV = r2 sin θ dr

例二编辑

F : ℝ3 → ℝ4,其各分量為

 
 
 
 

其雅可比矩阵为:

 

此例子说明雅可比矩阵不一定为方阵。

在动力系统中编辑

考虑形为  动力系统 。如果  ,那么  是一个臨界點。系统接近臨界點时的行為跟  特征值相關。

Jacobi行列式编辑

如果 m = n,那么 F 是从 n 映射到 n 的函数,且它的雅可比矩阵是一个方陣。于是我们可以取它的行列式,称为Jacobi行列式

在某个给定点的雅可比行列式提供了 F 在接近该点时的表现的重要資訊。例如,如果连续可微函数 Fp 点的Jacobi行列式不等於零,那么它在该点附近有 F反函数。这称为反函数定理。更进一步,如果  p 点的Jacobi行列式是正数,则 Fp 点保持定向(preserves orientation);如果是负数,则 F 逆轉定向(reverses orientation)。而从Jacobi行列式的绝对值,就可以知道函数 Fp 點附近是放大或縮小體積;这就是它出现在换元积分法中的原因。

例子编辑

设有函数 F : ℝ3 → ℝ3,其分量为:

 
 
 

则它的Jacobi行列式为:

 

从中我们可以看到,當 x1x2 同号时,F 逆轉定向;该函数处处具有反函数,除了在 x1 = 0 或 x2 = 0 的點。

逆矩陣编辑

根據反函數定理,一個可逆函數(存在反函數的函數)的雅可比矩陣逆矩陣即為該函數的反函數雅可比矩陣。即,若函數  在點  的雅可比矩陣是連續且可逆的,則  在點  的某一鄰域內也是可逆的,且有

 

成立。相反,倘若雅可比行列式在某一個點不為零,那麽該函數在這個點的某一鄰域內可逆(存在反函數)。

一個多項式函數的可逆性與非經證明的雅可比猜想有關。其斷言,如果函數的雅可比行列式為一個非零實數(相當於其不存在複零點),則該函數可逆且其反函數也為一個多項式。

参看编辑

外部链接编辑