深度专题:雅可比行列式
雅可比的故事
一位早逝的数学天才
卡尔·古斯塔夫·雅可比(Carl Gustav Jacob Jacobi,1804-1851),德国数学家,与阿贝尔并称为椭圆函数论的创始人。他在行列式理论、数论、微分方程、分析力学等领域都有重要贡献。
雅可比行列式是他在研究多重积分变量替换时引入的,后来成为多元微积分、微分几何、热力学、统计力学等领域的基本工具。雅可比47岁时因天花去世,但他留下的数学遗产影响深远。
“局部缩放率”的本质
雅可比行列式的核心思想是:在变量替换时,它度量了变换在每一点处的”局部面积(体积)缩放率”。就像一元函数换元积分中的 ∣f′(x)∣ 度量了长度缩放率一样,雅可比行列式度量了高维变换的面积/体积缩放率。
雅可比矩阵与雅可比行列式
定义
定义
定义是对概念、术语或对象含义的精确描述。理解定义是学习任何知识领域的基础,每个概念都有其明确的定义。
设变换 T:(u1,u2,…,un)↦(x1,x2,…,xn) 由 xi=xi(u1,…,un)(i=1,…,n)给出,且各偏导数连续,则矩阵
JT=∂(u1,…,un)∂(x1,…,xn)=∂u1∂x1⋮∂u1∂xn⋯⋱⋯∂un∂x1⋮∂un∂xn
称为变换 T 的雅可比矩阵,其行列式称为雅可比行列式,记作
∣JT∣=∂(u1,…,un)∂(x1,…,xn)
二维情形
对于平面变换 x=x(u,v),y=y(u,v):
J=∂(u,v)∂(x,y)=∂u∂x∂u∂y∂v∂x∂v∂y=∂u∂x∂v∂y−∂v∂x∂u∂y
三维情形
对于空间变换 x=x(u,v,w),y=y(u,v,w),z=z(u,v,w):
J=∂(u,v,w)∂(x,y,z)=∂u∂x∂u∂y∂u∂z∂v∂x∂v∂y∂v∂z∂w∂x∂w∂y∂w∂z
几何意义:局部缩放率
雅可比行列式的几何意义:
在变换 T 下,uv 平面上点 (u0,v0) 附近的小矩形 [u0,u0+Δu]×[v0,v0+Δv] 被映射为 xy 平面上的一个近似平行四边形,其面积为
ΔA≈∂(u,v)∂(x,y)(u0,v0)ΔuΔv
因此,∣J∣ 是变换在该点的局部面积缩放率。
在三维中,∣J∣ 是局部体积缩放率。
直观理解
雅可比矩阵的列向量是变换后坐标曲线的切向量:
- 第一列 (∂u∂x,∂u∂y) 是 u-曲线的切向量
- 第二列 (∂v∂x,∂v∂y) 是 v-曲线的切向量
这两个切向量张成的平行四边形的面积就是 ∣J∣。
重要性质
1. 逆变换的雅可比
数学定理
定理是数学中经过严格证明的命题,是数学推理的基础。定理通常包含条件和结论,是数学知识体系的重要组成部分。
定理1
若变换 T:(u,v)↦(x,y) 的雅可比行列式 J=0,则逆变换 T−1:(x,y)↦(u,v) 存在,且
∂(x,y)∂(u,v)=∂(u,v)∂(x,y)1
即逆变换的雅可比行列式等于原变换雅可比行列式的倒数。
这个性质在计算中非常有用:当直接计算 J=∂(u,v)∂(x,y) 困难时,可以先计算 ∂(x,y)∂(u,v),然后取倒数。
2. 复合变换的雅可比
数学定理
定理是数学中经过严格证明的命题,是数学推理的基础。定理通常包含条件和结论,是数学知识体系的重要组成部分。
定理2
若 T1:(u,v)↦(s,t) 和 T2:(s,t)↦(x,y) 是两个变换,则复合变换 T=T2∘T1:(u,v)↦(x,y) 的雅可比行列式满足:
∂(u,v)∂(x,y)=∂(s,t)∂(x,y)⋅∂(u,v)∂(s,t)
即复合变换的雅可比等于各变换雅可比的乘积。这类似于一元函数的链式法则。
3. 雅可比为零的意义
当 J=0 时,变换在该点退化——局部面积缩放率为零,意味着变换将一个小区域压缩为一条线或一个点。这样的点称为临界点,在临界点附近变换不是一一对应的。
常见变换的雅可比
1. 极坐标
变换:x=ρcosθ,y=ρsinθ
J=∂(ρ,θ)∂(x,y)=cosθsinθ−ρsinθρcosθ=ρcos2θ+ρsin2θ=ρ
面积元素:dxdy=ρdρdθ
2. 柱坐标
变换:x=ρcosθ,y=ρsinθ,z=z
J=∂(ρ,θ,z)∂(x,y,z)=cosθsinθ0−ρsinθρcosθ0001=ρ
体积元素:dv=ρdρdθdz
3. 球坐标
变换:x=rsinϕcosθ,y=rsinϕsinθ,z=rcosϕ
J=∂(r,ϕ,θ)∂(x,y,z)=sinϕcosθsinϕsinθcosϕrcosϕcosθrcosϕsinθ−rsinϕ−rsinϕsinθrsinϕcosθ0=r2sinϕ
体积元素:dv=r2sinϕdrdϕdθ
4. 广义极坐标(椭圆坐标)
变换:x=aρcosθ,y=bρsinθ
J=∂(ρ,θ)∂(x,y)=acosθbsinθ−aρsinθbρcosθ=abρ
面积元素:dxdy=abρdρdθ
5. 线性变换
变换:x=au+bv,y=cu+dv
J=acbd=ad−bc
这是常数,线性变换的缩放率在整个平面上是均匀的。
雅可比行列式在积分中的应用
二重积分的变量替换
数学定理
定理是数学中经过严格证明的命题,是数学推理的基础。定理通常包含条件和结论,是数学知识体系的重要组成部分。
定理3
设变换 T:x=x(u,v),y=y(u,v) 将 uv 平面上的区域 D′ 一一映射为 xy 平面上的区域 D,且雅可比行列式 J=0,则
∬Df(x,y)dxdy=∬D′f(x(u,v),y(u,v))∂(u,v)∂(x,y)dudv
三重积分的变量替换
∭Ωf(x,y,z)dv=∭Ω′f(x(u,v,w),y(u,v,w),z(u,v,w))∂(u,v,w)∂(x,y,z)dudvdw
典型例题
例题1:用逆变换求雅可比
设变换 u=x+y,v=x−y,求 ∂(u,v)∂(x,y)。
参考答案(3 个标签)
雅可比逆变换线性变换
解题思路:
先求逆变换 x=2u+v,y=2u−v,再计算雅可比;或先算 ∂(x,y)∂(u,v) 再取倒数。
详细步骤:
方法一:直接计算
- x=2u+v,y=2u−v
- ∂u∂x=21,∂v∂x=21,∂u∂y=21,∂v∂y=−21
- J=21⋅(−21)−21⋅21=−41−41=−21
- ∣J∣=21
方法二:逆变换性质
- ∂(x,y)∂(u,v)=111−1=−2
- ∂(u,v)∂(x,y)=−21=−21
答案:J=−21,∣J∣=21
例题2:双曲变换的雅可比
设变换 x=a(u2−v2),y=2auv(双曲坐标变换),求雅可比行列式。
参考答案(3 个标签)
雅可比双曲变换非线性变换
解题思路:
直接计算偏导数和行列式。
详细步骤:
- ∂u∂x=2au,∂v∂x=−2av
- ∂u∂y=2av,∂v∂y=2au
- J=(2au)(2au)−(−2av)(2av)=4a2u2+4a2v2=4a2(u2+v2)
答案:J=4a2(u2+v2)
(注意:这是之前 issue.md 中修复的数学错误的正确结果。原误写为 a22u2+v2,正确为 4a2(u2+v2)。若变换为 x=au2−v2 形式则不同,需具体计算。)
例题3:用变量替换计算积分
计算 ∬D(x+y)dxdy,其中 D 是由 x+y=1,x+y=2,x−y=0,x−y=1 围成的平行四边形。
参考答案(4 个标签)
雅可比变量替换平行四边形线性变换
解题思路:
令 u=x+y,v=x−y,区域变为矩形 1≤u≤2,0≤v≤1。
详细步骤:
- 变换:u=x+y,v=x−y,逆变换 x=2u+v,y=2u−v
- 雅可比:∣J∣=21(见例题1)
- 被积函数:x+y=u
- 积分 =∬D′u⋅21dudv=21∫12udu∫01dv=21⋅[2u2]12⋅1=21⋅(24−21)=21⋅23=43
答案:43
练习题
练习1
求变换 x=u+v,y=uv 的雅可比行列式。
参考答案(3 个标签)
雅可比非线性变换偏导数
解题思路:
直接计算偏导数和行列式。
详细步骤:
- ∂u∂x=1,∂v∂x=1
- ∂u∂y=v,∂v∂y=u
- J=1⋅u−1⋅v=u−v
答案:J=u−v
练习2
用广义极坐标计算椭圆 a2x2+b2y2≤1 的面积。
参考答案(4 个标签)
雅可比广义极坐标椭圆面积变量替换
解题思路:
令 x=aρcosθ,y=bρsinθ,雅可比 ∣J∣=abρ。
详细步骤:
- 变换:x=aρcosθ,y=bρsinθ,0≤ρ≤1,0≤θ≤2π
- 雅可比:∣J∣=abρ
- 面积 =∬Ddxdy=∫02πdθ∫01abρdρ=2π⋅ab⋅21=πab
答案:πab
总结
本文出现的符号
| 符号 | 类型 | 读音/说明 | 在本文中的含义 |
|---|
| JT | 雅可比矩阵 | Jacobian matrix | 变换的偏导数矩阵 |
| ∥J∥ | 雅可比行列式 | Jacobian determinant | 雅可比矩阵的行列式 |
| ∂(u,v)∂(x,y) | 雅可比行列式 | Jacobian determinant | 二维变换的雅可比 |
| ∂(u,v,w)∂(x,y,z) | 雅可比行列式 | Jacobian determinant | 三维变换的雅可比 |
| dudv | 面积元素 | area element | 原坐标系的面积元素 |
| dxdy | 面积元素 | area element | 变换后的面积元素 |
中英对照
| 中文术语 | 英文术语 | 音标 | 说明 |
|---|
| 雅可比矩阵 | Jacobian matrix | /dʒəˈkoʊbiən ˈmeɪtrɪks/ | 变换的偏导数矩阵 |
| 雅可比行列式 | Jacobian determinant | /dʒəˈkoʊbiən dɪˈtɜːrmɪnənt/ | 雅可比矩阵的行列式 |
| 变量替换 | change of variables | /tʃeɪndʒ əv ˈvɛriəbəlz/ | 积分中的坐标变换 |
| 面积缩放率 | area scaling factor | /ˈɛəriə ˈskeɪlɪŋ ˈfæktər/ | 变换的局部面积放大倍数 |
| 体积缩放率 | volume scaling factor | /ˈvɒljuːm ˈskeɪlɪŋ ˈfæktər/ | 变换的局部体积放大倍数 |
| 临界点 | critical point | /ˈkrɪtɪkəl pɔɪnt/ | 雅可比为零的点 |
| 逆变换 | inverse transformation | /ˈɪnvɜːrs ˌtrænsfərˈmeɪʃən/ | 变换的逆映射 |
| 复合变换 | composite transformation | /kəmˈpɒzɪt ˌtrænsfərˈmeɪʃən/ | 多个变换的复合 |
| 双曲坐标 | hyperbolic coordinates | /ˌhaɪpərˈbɒlɪk koʊˈɔːrdɪnəts/ | 基于双曲线的坐标系 |
| 椭圆坐标 | elliptic coordinates | /ɪˈlɪptɪk koʊˈɔːrdɪnəts/ | 基于椭圆的坐标系 |
| 线性变换 | linear transformation | /ˈlɪniər ˌtrænsfərˈmeɪʃən/ | 由矩阵表示的变换 |