今日记录关于雅可比矩阵的一些感悟,
首先感谢山前留名的证明,
本来看不懂暨阙的回答和这篇文章,他的证明让我豁然开朗,
我的不通点主要在于:
我很疑惑,文章中明明dx,dy按照全微分就应该是
d
x
⃗
=
[
∂
x
∂
u
d
u
∂
x
∂
v
d
v
]
d\vec{x}=\left[\begin{matrix}\frac{\partial x}{\partial u}du \\ \frac{\partial x}{\partial v}dv\end{matrix}\right]
dx=[∂u∂xdu∂v∂xdv],
为什么会变成
d
x
⃗
=
[
∂
x
∂
u
d
u
∂
y
∂
u
d
u
]
d\vec{x}=\left[\begin{matrix}\frac{\partial x}{\partial u}du \\ \frac{\partial y}{\partial u}du\end{matrix}\right]
dx=[∂u∂xdu∂u∂ydu]呢?
首先我要说的是,
这里的
d
x
⃗
d\vec{x}
dx实际上并不是全微分,
更确切的,它实际上可以被理解为是
d
u
du
du引起了点变换,从而矢量也发生了改变,
就像山前留名的证明一样,
d
u
du
du对应
B
′
B'
B′,
d
x
⃗
d\vec{x}
dx对应
B
B
B(虽然我觉得“
d
x
⃗
d\vec{x}
dx”这种称呼并不合适,毕竟它并不是单纯
x
x
x方向上的变换。但是我也不知道该怎么叫)
值得注意的是,在山前留名的证明中,
u
v
uv
uv坐标系中
B
B
B点的变化引起来
x
y
xy
xy坐标系中
B
B
B点的变化,如果你认真阅读后,你就会明白为什么会变成
d
x
⃗
=
[
∂
x
∂
u
d
u
∂
y
∂
u
d
u
]
d\vec{x}=\left[\begin{matrix}\frac{\partial x}{\partial u}du \\ \frac{\partial y}{\partial u}du\end{matrix}\right]
dx=[∂u∂xdu∂u∂ydu]
关于雅可比行列式公式的一点补充:
雅可比行列式的符号是
J
J
J,而在坐标变换中有
f
u
v
(
u
,
v
)
=
f
x
y
(
h
1
(
u
,
v
)
,
h
2
(
u
,
v
)
)
∣
J
∣
f_{uv}(u,v)=f_{xy}(h_1(u,v),h_2(u,v))|J|
fuv(u,v)=fxy(h1(u,v),h2(u,v))∣J∣注意这里
J
J
J的两道竖直线实际上是绝对值的标志,不是行列式的标志。