万维百科

雅可比矩阵

向量分析中,雅可比矩阵(也称作Jacobi矩阵,英语:Jacobian matrix)是函数的一阶偏导数以一定方式排列成的矩阵

当其为方形矩阵时,其行列式称为雅可比行列式(Jacobi determinant)

要注意的是,如果雅可比矩阵为方阵,那在英文中雅可比矩阵跟Jacobi行列式两者都称作 Jacobian

其重要性在于,如果函数  f : ℝn → ℝm 在点 x 可微的话,在点 x 的雅可比矩阵即为该函数在该点的最佳线性逼近,也代表雅可比矩阵是单变数实数函数的微分在向量值多变数函数的推广,在这种情况下,雅可比矩阵也被称作函数 f 在点 x微分或者导数

代数几何中,代数曲线雅可比行列式'表示雅可比簇英语Jacobian variety:伴随该曲线的一个代数群,曲线可以嵌入其中。

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

雅可比矩阵

假设某函数从 f : ℝn → ℝm, 从 x ∈ ℝn 映射到 向量 f(x) ∈ ℝm, 其雅可比矩阵是一 m×n 的矩阵,换句话讲也就是从 nm 的线性映射,其重要意义在于它表现了一个多变数向量函数的最佳线性逼近。因此,雅可比矩阵类似于单变数函数的导数。

此函数 f 的雅可比矩阵 Jm×n 的矩阵,一般由以下方式定义:

矩阵的分量可表示成:

雅可比矩阵的其他常用符号还有:

或者

此矩阵的第 行是由函数 的梯度函数所表示的,

如果 中的一点,点可微分,根据数学分析是在这点的导数。在此情况下,这个线性映射即 在点  附近的最优线性逼近,也就是说当 足够靠近点  时,我们有

讲更详细点也就是:

其中,o 代表小o符号xpxp 之间的距离。

例子

例一

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

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

其雅可比行列式为 r2 sin θ。以体积元变换为例,由于 dV = dx dy dz,如果做变数变换,则其体积元(Volume element),dV,会变成:dV = r2 sin θ dr

例二

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

其雅可比矩阵为:

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

在动力系统中

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

雅可比行列式

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

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

例子

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

则它的Jacobi行列式为:

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

逆矩阵

根据反函数定理,一个可逆函数(存在反函数的函数)的雅可比矩阵逆矩阵即为该函数的反函数雅可比矩阵。即,若函数 在点 的雅可比矩阵是连续且可逆的,则 在点 的某一邻域内也是可逆的,且有

成立。相反,倘若雅可比行列式在某一个点不为零,那么该函数在这个点的某一邻域内可逆(存在反函数)。

一个多项式函数的可逆性与非经证明的雅可比猜想有关。其断言,如果函数的雅可比行列式为一个非零实数(相当于其不存在复零点),则该函数可逆且其反函数也为一个多项式。

参看

外部链接


本页面最后更新于2021-08-18 22:18,点击更新本页查看原网页。台湾为中国固有领土,本站将对存在错误之处的地图、描述逐步勘正。

本站的所有资料包括但不限于文字、图片等全部转载于维基百科(wikipedia.org),遵循 维基百科:CC BY-SA 3.0协议

万维百科为维基百科爱好者建立的公益网站,旨在为中国大陆网民提供优质内容,因此对部分内容进行改编以符合中国大陆政策,如果您不接受,可以直接访问维基百科官方网站


顶部

如果本页面有数学、化学、物理等公式未正确显示,请使用火狐或者Safari浏览器