菲兹克斯喵

外观

请我喝杯奶茶→

Lesson 42 映射的微分

复制页面

约 3305 字大约 11 分钟

2025-3-28

可微的充分条件

回顾定义：称 ff 在 x0x_0 处可微，若 ∃\exist 线性 L:Rn→RL:\R^n\to\R 使得

{f(x0+h)=f(x0)+L(h)+α(h) ,h∈Br(0⃗)lim⁡h→0α(h)∣h∣=0\left\{\begin{array}{lr} f(x_0+h)=f(x_0)+L(h)+\alpha(h)\,,\quad h\in B_r(\vec{0})\\\\ \underset{h\to0}{\lim}\frac{\alpha(h)}{|h|}=0 \end{array}\right.

/Definition/ (偏导函数)

设 ff 在 DD 内每点 x0x_0 处皆有偏导数 ∂f∂xk(x⃗0)\frac{\partial f}{\partial x_k}(\vec{x}_0)，得到映射 D→RD\to\R (x0→∂f∂xk(x0)x_0\to\frac{\partial f}{\partial x_k}(x_0))，称之为 ff 在 DD 上的第 kk 个偏导函数，记为：

∂f∂xk ,∂xkf ,∂kf ,fk′\frac{\partial f}{\partial x_k}\,,\quad\partial_{x_k}f\,,\quad\partial_kf\,,\quad f_k'

/Example/

二元函数 ff：R2\R^2 坐标 (x,y)(x,y) (或者 (x1,x2)(x_1,x_2)) 下，偏导函数写成：

∂xf=fx′ ,∂yf=fy′ ,∂1f=f1′ ,∂2f=f2′\partial_xf=f'_x\,,\quad\partial_yf=f'_y\,,\quad\partial_1f=f'_1\,,\quad\partial_2f=f_2'

注意

不管怎么样，写 f1′f'_1 时一定要打 prime，否则很容易和映射的分量函数混淆.

三元函数也是类似的写法.

/Theorem/ (可微的充分条件)

设 ff 在 a⃗\vec{a} 的某邻域中有定义，若 ff 在 a⃗\vec{a} 的某邻域中有各个偏导函数，且各个偏导函数在 a⃗\vec{a} 处都连续，则 ff 在 a⃗\vec{a} 处可微.

/Proof/

提示

我们对证明思路的选择似乎是直接的：已知偏导函数 ∂kf\partial_kf，这是沿 kk 坐标方向 ff 的变化率；而目标是 ff 可微，这是要证明 f(a⃗+h⃗)−f(a⃗)≈L(h⃗)f(\vec{a}+\vec{h})-f(\vec{a})\approx L(\vec{h})，因此我们考虑将任何位移写成坐标方向的叠加.

设 a⃗=(a1,⋯ ,an)\vec{a}=(a_1,\cdots,a_n)，h⃗=(h1,⋯ ,hn)\vec{h}=(h_1,\cdots,h_n)，因此：

f(a⃗+h⃗)−f(a⃗)=[f(a1+h1,a2,⋯ ,an)−f(a1,⋯ ,an)]+[f(a1+h1,a2+h2,a3,⋯ ,an)−f(a1+h1,a2,⋯ ,an)]+⋯\begin{aligned} &f(\vec{a}+\vec{h})-f(\vec{a})\\\\ &=[f(a_1+h_1,a_2,\cdots,a_n)-f(a_1,\cdots,a_n)]\\\\ &\quad+[f(a_1+h_1,a_2+h_2,a_3,\cdots,a_n)-f(a_1+h_1,a_2,\cdots,a_n)]\\\\ &\quad+\cdots \end{aligned}

提示

多元函数最麻烦的就是分量特别多.——艾神

这里我们定义 g(x)=f(a1+h1,⋯ ,ak−1+hk−1,x,ak+1,⋯ ,an)g(x)=f(a_1+h_1,\cdots,a_{k-1}+h_{k-1},x,a_{k+1},\cdots,a_n)，对 gg 用一元微分中值定理，得到

g(ak+hk)−g(ak)=hkg′(ξ)=hkg′(ak+θhk)g(a_k+h_k)-g(a_k)=h_kg'(\xi)=h_kg'(a_k+\theta h_k)

由定义，g′(x)=∂kf(a1+h1,⋯ ,ak−1+hk−1,x,ak+1,⋯ ,an)g'(x)=\partial_kf(a_1+h_1,\cdots,a_{k-1}+h_{k-1},x,a_{k+1},\cdots,a_n)，所以代入原来的 Δf\Delta f 的式子，得到：

Δf=∑k=1nhk∂kf(a1+h1,⋯ ,ak−1+hk−1,ak+θkhk,ak+1,⋯ ,an)\Delta f=\sum_{k=1}^nh_k\partial_kf(a_1+h_1,\cdots,a_{k-1}+h_{k-1},a_k+\theta_kh_k,a_{k+1},\cdots,a_n)

其中 θk∈(0,1)\theta_k\in(0,1). 现在来验证 ff 在 a⃗\vec{a} 处可微. 回忆若 ff 可微，则微分表示矩阵至多一个候选，也就是：

L(h⃗)=(∂1f(a⃗)⋯∂nf(a⃗))(h1⋮hn)L(\vec{h})=\begin{pmatrix} \partial_1f(\vec{a})&\cdots&\partial_nf(\vec{a}) \end{pmatrix}\begin{pmatrix} h_1\\\vdots\\h_n \end{pmatrix}

只需证明：

f(a⃗+h⃗)−f(a⃗)−∑k=1n∂kf(a⃗)hk=O(∣h⃗∣)f(\vec{a}+\vec{h})-f(\vec{a})-\sum_{k=1}^n\partial_kf(\vec{a})h_k=O(|\vec{h}|)

而对于 LHS，有

∣∑k=1nhk(∂kf(a1+h1,⋯ ,ak−1+hk−1,ak+θkhk,ak+1,⋯ ,an)−∂kf(a1,⋯ ,an))∣≤∑k=1n∣h∣⋅∣∂kf(a1+h1,⋯ ,ak+θkhk,⋯ ,an)−∂kf(a1,⋯ ,an)∣\begin{aligned} &|\sum_{k=1}^nh_k(\partial_kf(a_1+h_1,\cdots,a_{k-1}+h_{k-1},a_k+\theta_kh_k,a_{k+1},\cdots,a_n)\\\\ &\quad-\partial_kf(a_1,\cdots,a_n))|\\\\ &\leq\sum_{k=1}^n|h|\cdot|\partial_kf(a_1+h_1,\cdots,a_k+\theta_kh_k,\cdots,a_n)-\partial_kf(a_1,\cdots,a_n)| \end{aligned}

由 ∂kf\partial_kf 在 a⃗\vec{a} 处连续，∀ε>0\forall\varepsilon>0，∃δ>0\exist\delta>0 使得 ∀d(y⃗,a⃗)<δ\forall d(\vec{y},\vec{a})<\delta 有 ∣∂kf(y)−∂kf(a)∣<ε|\partial_kf(y)-\partial_kf(a)|<\varepsilon，∀k=1,⋯ ,n\forall k=1,\cdots,n. 这样，∀∣h∣<δ\forall|h|<\delta，有

d((a1+h1,⋯ ,ak+θkhk,⋯ ,an),(a1,⋯ ,ak,⋯ ,an))=h12+⋯+hk−12+θk2hk2 ,(0<θk<1)≤h12+⋯+hk2≤∣h∣<δ\begin{aligned} &d((a_1+h_1,\cdots,a_k+\theta_kh_k,\cdots,a_n),(a_1,\cdots,a_k,\cdots,a_n))\\\\ &=\sqrt{h_1^2+\cdots+h_{k-1}^2+\theta_k^2h_k^2}\,,\quad(0<\theta_k<1)\\\\ &\leq\sqrt{h_1^2+\cdots+h_k^2}\leq|h|<\delta \end{aligned}

得到 ∣LHS∣≤∑nk=1∣h∣ε=nε∣h∣|\text{LHS}|\leq\underset{k=1}{\overset{n}{\sum}}|h|\varepsilon=n\varepsilon|h|.

总结一下：证明了 ∀ε>0\forall\varepsilon>0，∃δ>0\exist\delta>0 使得 ∀0<∣h∣<δ\forall0<|h|<\delta 有

∣f(a⃗+h⃗)−f(a⃗)−∑∂kf(a⃗)hk∣∣h∣<nε\frac{|f(\vec{a}+\vec{h})-f(\vec{a})-\sum\partial_kf(\vec{a})h_k|}{|h|}<n\varepsilon

表明上述极限为零. 整体的版本是：

/Definition/

设 DD 是 Rn\R^n 的开集，称 f:D→Rf:D\to\R 是 C1C^1 光滑函数 (记为 f∈C1(D,R)f\in C^1(D,\R))，若 ff 在 DD 上各个偏导函数存在且连续.

因此上述定理甚至能够改写为 C1C^1 光滑表述的形式：

/Theorem/ (C1⟹C^1\Longrightarrow 可微)

设 f∈C1(D,R)f\in C^1(D,\R)，则 ff 在 DD 上处处可微，且

dfx⃗0(h⃗)=∑k=1n∂kf(x⃗0)hk\text{d}f_{\vec{x}_0}(\vec{h})=\sum_{k=1}^n\partial_kf(\vec{x}_0)h_k

从直观的角度理解，ff 的微分 Df\text{D}f 事实上是一族线性映射，也就是说 Df={dfx0:Rn→R}x0∈D\text{D}f=\{\text{d}f_{x_0}:\R^n\to\R\}_{x_0\in D}.

更加富有几何意义的理解是定义切空间，切丛 TD={x0\text{TD}=\{x_0 处切空间 Tx0D}⟶DfTR={f(x0)\text{T}_{x_0}\text{D}\}\overset{\text{D}f}{\longrightarrow}\text{T}\R=\{f(x_0) 处切空间 Tf(x0)R}\text{T}_{f(x_0)}\R\}.

(你怎么开始讲微分几何了😨😰😵)

/Corollary/

设 f∈C1(D,R)f\in C^1(D,\R)，则 ∇v⃗f(x0)=∇f(x0)⋅v⃗\nabla_{\vec{v}}f(x_0)=\nabla f(x_0)\cdot\vec{v}.

这来源于 f∈C1⟶ff\in C^1\longrightarrow f 可微 ⟶∇v⃗f(x0)=dfx0(v⃗)=∇f(x0)⋅v⃗\longrightarrow\nabla_{\vec{v}}f(x_0)=\text{d}f_{x_0}(\vec{v})=\nabla f(x_0)\cdot\vec{v}，前者是之前的定理证明的，后者早就证明过.

以后我们对 ff 加限制条件的时候写成 C□(D,R)C^{\Box}(D,\R)，而不说它可微，因为这种写法较强，保证了可微性，同时也比较好验证，只需要算偏导函数并验证连续性即可.

映射微分

f:D→Rmf:D\to\R^m data ⟺\Longleftrightarrow 分量函数 f=(f1,⋯ ,fm)f=(f_1,\cdots,f_m).

/Definition/

设 x⃗0\vec{x}_0 是 DD 的内点，f:D→Rmf:D\to\R^m，称 ff 在 x0x_0 处可微，若 ∃\exist 线性映射 L:Rn→RmL:\R^n\to\R^m 使得

f(x0+h)=f(x0)+L(h)+α(h) ,lim⁡h→0α(h)∣h∣=0⃗∈Rmf(x_0+h)=f(x_0)+L(h)+\alpha(h)\,,\quad\lim_{h\to0}\frac{\alpha(h)}{|h|}=\vec{0}\in\R^m

并称上述唯一的线性映射 LL 为 ff 在 x0x_0 处的微分，记为 Dfx0=dfx0:Rn→Rm\text{D}f_{x_0}=\text{d}f_{x_0}:\R^n\to\R^m.

/Claim/

设 f=(f1,⋯ ,fm):D→Rmf=(f_1,\cdots,f_m):D\to\R^m，则 ff 在 x0x_0 处可微 ⟺\Longleftrightarrow fkf_k 在 x0x_0 处可微 ∀1≤k≤m\forall1\leq k\leq m，进一步，ff 的微分为：

dfx0(h⃗)=(⋱)(h1⋮hn)\text{d}f_{x_0}(\vec{h})=\begin{pmatrix} \ddots \end{pmatrix}\begin{pmatrix} h_1\\\vdots\\h_n \end{pmatrix}

/Proof/

ff 在 x0x_0 处可微

⟺\Longleftrightarrow ∃\exist 线性映射 L=(L1,⋯ ,Lm):Rn→RmL=(L_1,\cdots,L_m):\R^n\to\R^m 使得 fk(x0+h)=fk(x0)+Lk(h)+αk(h)f_k(x_0+h)=f_k(x_0)+L_k(h)+\alpha_k(h)，且 lim⁡h→0αk(h⃗)/∣h⃗∣=0\underset{h\to0}{\lim}\alpha_k(\vec{h})/|\vec{h}|=0，∀k\forall k.

⟺\Longleftrightarrow fkf_k 在 x0x_0 处可微.

从以上推导知道，dfx0=L=(L1,⋯ ,Lm)=((df1)x0,⋯ ,(dfm)x0)\text{d}f_{x_0}=L=(L_1,\cdots,L_m)=((\text{d}f_1)_{x_0},\cdots,(\text{d}f_m)_{x_0})，具体而言，

dfx0(h⃗)=((df1)x0(h⃗),⋯ ,(dfm)x0(h⃗))=(∑j=1n∂f1∂xj(x⃗0)hj,⋯ ,∑j=1n∂fm∂xj(x⃗0)hj)=(∂f1∂x1(x⃗0)⋯∂f1∂xn(x⃗0)⋮⋱⋮∂fm∂x1(x⃗0)⋯∂fm∂xn(x⃗0))(h1⋮hn)\begin{aligned} \text{d}f_{x_0}(\vec{h})&=((\text{d}f_1)_{x_0}(\vec{h}),\cdots,(\text{d}f_m)_{x_0}(\vec{h}))\\\\ &=\left(\sum_{j=1}^n\frac{\partial f_1}{\partial x_j}(\vec{x}_0)h_j,\cdots,\sum_{j=1}^n\frac{\partial f_m}{\partial x_j}(\vec{x}_0)h_j \right)\\\\ &=\begin{pmatrix} \frac{\partial f_1}{\partial x_1}(\vec{x}_0)&\cdots&\frac{\partial f_1}{\partial x_n}(\vec{x}_0)\\ \vdots&\ddots&\vdots\\ \frac{\partial f_m}{\partial x_1}(\vec{x}_0)&\cdots&\frac{\partial f_m}{\partial x_n}(\vec{x}_0) \end{pmatrix}\begin{pmatrix} h_1\\\vdots\\h_n \end{pmatrix} \end{aligned}

是线性映射 dfx0:Rn→Rm\text{d}f_{x_0}:\R^n\to\R^m 在标准基下的表示矩阵.

每次写这一个矩阵非常麻烦，所以我们有定义：

/Definition/

ff 的 Jacobian (Jacobi 矩阵) 为

Jf(x⃗)=(∂f1∂x1(x⃗)⋯∂f1∂xn(x⃗)⋮⋱⋮∂fm∂x1(x⃗)⋯∂fm∂xn(x⃗))m×n=(∂fi∂xj)1≤i≤m ,1≤j≤nJ_f(\vec{x})=\begin{pmatrix} \frac{\partial f_1}{\partial x_1}(\vec{x})&\cdots&\frac{\partial f_1}{\partial x_n}(\vec{x})\\ \vdots&\ddots&\vdots\\ \frac{\partial f_m}{\partial x_1}(\vec{x})&\cdots&\frac{\partial f_m}{\partial x_n}(\vec{x}) \end{pmatrix}_{m\times n}=\left(\frac{\partial f_i}{\partial x_j}\right)_{1\leq i\leq m\,,1\leq j\leq n}

或者很多人将其写作

Jf(x⃗)=∂(f1,⋯ ,fm)∂(x1,⋯ ,xn)∣x⃗J_f(\vec{x})=\left.\frac{\partial(f_1,\cdots,f_m)}{\partial(x_1,\cdots,x_n)}\right|_{\vec{x}}

这样，dfx0(h⃗)=Jf(x0)h⃗\text{d}f_{x_0}(\vec{h})=J_f(x_0)\vec{h}，这里视 h⃗\vec{h} 为列向量.

事实上我们的一元函数导数也是一个 1×11\times1 的 Jacobian，但是这和一个数字没有区别.

/Example/

f:Rn→Rf:\R^n\to\R，则 Jf(x)=(∂f∂x1⋯∂f∂xn)1×nJ_f(x)=\begin{pmatrix}\frac{\partial f}{\partial x_1}&\cdots&\frac{\partial f}{\partial x_n}\end{pmatrix}_{1\times n}. 因此 ∇\nabla 算子实际上是一个列向量：

∇f(x)=(∂f∂x1⋮∂f∂xn)n×1=Jf(x)T\nabla f(x)=\begin{pmatrix} \frac{\partial f}{\partial x_1}\\\vdots\\\frac{\partial f}{\partial x_n} \end{pmatrix}_{n\times1}=J_f(x)^T

/Example/

ff 是 Rn\R^n 中的曲线 (path) f(t)=(p1(t),⋯ ,pn(t))f(t)=(p_1(t),\cdots,p_n(t)). 这时的 Jacobian 是 ff 的速度矢量.

/Example/

复变函数中，常遇到 f:C→Cf:\mathbb{C}\to\mathbb{C}，这实际上等价于 R2→R2\R^2\to\R^2. 这时，

f(x+−1⋅y)=u(x,y)+−1⋅v(x,y)f(x+\sqrt{-1}\cdot y)=u(x,y)+\sqrt{-1}\cdot v(x,y)

ff 对应于 F:R2→R2F:\R^2\to\R^2，F(x,y)=(u(x,y),v(x,y))F(x,y)=(u(x,y),v(x,y))，于是 FF 的 Jacobian 是

JF(x,y)=(∂u∂x∂u∂y∂v∂x∂v∂y)J_F(x,y)=\begin{pmatrix} \frac{\partial u}{\partial x}&\frac{\partial u}{\partial y}\\ \frac{\partial v}{\partial x}&\frac{\partial v}{\partial y} \end{pmatrix}

/Claim/

ff 在 z0=x0+−1⋅y0z_0=x_0+\sqrt{-1}\cdot y_0 处复可导 ⟺\Longleftrightarrow FF 在 (x0,y0)(x_0,y_0) 处可微且 dF(x0,y0)\text{d}F_{(x_0,y_0)} 反对称.

提示

既然我们讲到这个了，就来尝试证明一下.——艾神

/Proof/

ff 在 z0z_0 处复可导.

⟺\Longleftrightarrow 极限 lim⁡h=s+ti→0f(z0+h)−f(z0)h\underset{h=s+t\text{i}\to0}{\lim}\frac{f(z_0+h)-f(z_0)}{h} 存在 (记为 a+bia+b\text{i}).

⟺\Longleftrightarrow lim⁡h=s+ti→0f(z0+h)−f(z0)−h⋅(a+bi)h=0∈C\underset{h=s+t\text{i}\to0}{\lim}\frac{f(z_0+h)-f(z_0)-h\cdot(a+b\text{i})}{h}=0\in\mathbb{C}.

提示

写到这里我们证完了吗？这几乎是显然的.——艾神

事实：对于 g:C→Cg:\mathbb{C}\to\mathbb{C}，有 lim⁡g(h)=0∈C\lim g(h)=0\in\mathbb{C} ⟺\Longleftrightarrow lim⁡∣g(h)∣=0\lim|g(h)|=0.

进而，lim⁡p(h)q(h)=0\lim\frac{p(h)}{q(h)}=0 ⟺\Longleftrightarrow lim⁡∣p(h)q(h)∣=0\lim\left|\frac{p(h)}{q(h)}\right|=0 ⟺\Longleftrightarrow lim⁡p(h)∣q(h)∣=0\lim\frac{p(h)}{|q(h)|}=0.

⟺lim⁡h=s+ti→0f(z0+h)−f(z0)−h⋅(a+bi)∣h∣=0∈C⟺lim⁡(s,t)→(0,0)f(z0+h)−f(z0)−(s+ti)(a+bi)s2+t2=0∈C⟺lim⁡(s,t)→(0,0)F(x0+s,y0+t)−F(x0,y0)−(as−bt,bs+at)s2+t2=(0,0)⟺F(x0+s,y0+t)−F(x0,y0)−(a−bba)(st)s2+t2=o(s2+t2) as (s,t)→(0,0)\begin{aligned} &\Longleftrightarrow\underset{h=s+t\text{i}\to0}{\lim}\frac{f(z_0+h)-f(z_0)-h\cdot(a+b\text{i})}{|h|}=0\in\mathbb{C}\\\\ &\Longleftrightarrow\underset{(s,t)\to(0,0)}{\lim}\frac{f(z_0+h)-f(z_0)-(s+t\text{i})(a+b\text{i})}{\sqrt{s^2+t^2}}=0\in\mathbb{C}\\\\ &\Longleftrightarrow\underset{(s,t)\to(0,0)}{\lim}\frac{F(x_0+s,y_0+t)-F(x_0,y_0)-(as-bt,bs+at)}{\sqrt{s^2+t^2}}\\ &\quad\quad\quad=(0,0)\\\\ &\Longleftrightarrow\frac{F(x_0+s,y_0+t)-F(x_0,y_0)-\begin{pmatrix}a&-b\\b&a\end{pmatrix}\begin{pmatrix}s\\t\end{pmatrix}}{\sqrt{s^2+t^2}}\\ &\quad\quad\quad=o(\sqrt{s^2+t^2})\text{ as }(s,t)\to(0,0) \end{aligned}

⟺\Longleftrightarrow FF 在 (x0,y0)(x_0,y_0) 处可微且：

dF(x0,y0)(st)=(a−bba)(st)\text{d}F_{(x_0,y_0)}\begin{pmatrix} s\\t \end{pmatrix}=\begin{pmatrix} a&-b\\b&a \end{pmatrix}\begin{pmatrix} s\\t \end{pmatrix}

证毕.

事实上有 Cauchy - Riemann 条件：

/Theorem/ (Cauchy - Riemann 条件)

f:C→Cf:\mathbb{C}\to\mathbb{C} 在 z0=x0+−1⋅y0z_0=x_0+\sqrt{-1}\cdot y_0 处复可导，当且仅当 FF 在 (x0,y0)(x_0,y_0) 处可微，且：

{∂u∂x(x0,y0)=∂v∂y(x0,y0)∂u∂y(x0,y0)=−∂v∂x(x0,y0)\left\{\begin{array}{lr} \frac{\partial u}{\partial x}(x_0,y_0)=\frac{\partial v}{\partial y}(x_0,y_0)\\\\ \frac{\partial u}{\partial y}(x_0,y_0)=-\frac{\partial v}{\partial x}(x_0,y_0) \end{array}\right.

这个定理的证明就是上面证明过程中的那个矩阵.

/Corollary/

若 ff 复可导，则 det⁡Jf≥0\det J_f\geq0.

复合映射的微分

上学期我们几乎全部证明过了，只需要把变量改成高维变量而已.

x0⟶ff(x0)⟶gg∘f(x0)x_0\overset{f}{\longrightarrow}f(x_0)\overset{g}{\longrightarrow}g\circ f(x_0)

↓\downarrow 现实世界到“微分照相”，微分 ⟷\longleftrightarrow 线性近似

Rn⟶dfx0Rm⟶dgf(x0)Rl\R^n\overset{\text{d}f_{x_0}}{\longrightarrow}\R^m\overset{\text{d}g_{f(x_0)}}{\longrightarrow}\R^l

/Theorem/

复合映射的微分等于微分的复合.

设 f:X→Yf:X\to Y 在 x0x_0 处可微，g:Y→Zg:Y\to Z 在 f(x0)f(x_0) 处可微，则 g∘fg\circ f 在 x0x_0 处可微，且 d(g∘f)x0=dgf(x0)∘dfx0\text{d}(g\circ f)_{x_0}=\text{d}g_{f(x_0)}\circ\text{d}f_{x_0}.

证明略去，上学期几乎全部证明好了.

上述式子是线性映射层面的等式，但是我们在多元函数领域一旦确定了线性映射的等式就会获得一个表示矩阵之间的等式，所以有推论：

/Corollary/

若 ff 在 x0x_0 处可微，gg 在 f(x0)f(x_0) 处可微，则

Jg∘f(x0)=Jg(f(x0))Jf(x0)J_{g\circ f}(x_0)=J_g(f(x_0))J_f(x_0)

/Proof/

∀h⃗∈Rn\forall\vec{h}\in\R^n，我们有：

Jg∘f(x⃗0)h⃗=d(g∘f)x0(h⃗)=dgf(x0)(dfx0(h⃗))=Jg(f(x0))Jf(x0)h⃗J_{g\circ f}(\vec{x}_0)\vec{h}=\text{d}(g\circ f)_{x_0}(\vec{h})=\text{d}g_{f(x_0)}(\text{d}f_{x_0}(\vec{h}))=J_g(f(x_0))J_f(x_0)\vec{h}

得证.

/Theorem/ (Chain Rule)

  1. 设 f,gf,g 可微，则 Jg∘f(x)=Jg(f(x))Jf(x)J_{g\circ f}(x)=J_g(f(x))J_f(x)；
  2. (可微性很难验证，所以写一个更强的版本) 设 f,g∈C1f,g\in C^1，则上式成立.

提示

你这样写链式法则，显然是 过 于 抽象了.——艾神

用 Jacobian 的矩阵元写出链式法则，设 f:Rn→Rmf:\R^n\to\R^m，g:Rm→Rlg:\R^m\to\R^l，其中 Rn\R^n 的坐标是 (x1,⋯ ,xn)(x_1,\cdots,x_n)，Rm\R^m 的坐标是 (y1,⋯ ,ym)(y_1,\cdots,y_m)，分量函数有

g∘f=(g1(f1,⋯ ,fm),⋯ ,gl(f1,⋯ ,fm))g\circ f=(g_1(f_1,\cdots,f_m),\cdots,g_l(f_1,\cdots,f_m))

于是分量形式的链式法则是：

(∂gi(f1,⋯ ,fm)∂xj)=(∂gi∂yk(f(x)))(∂fk∂xj)⟹∂gi(f1(x1,⋯ ,xn),⋯ ,fm(x1,⋯ ,xn))∂xj=∑k=1m∂gi(f(x))∂yk⋅∂fk∂xj\begin{aligned} &\left(\frac{\partial g_i(f_1,\cdots,f_m)}{\partial x_j}\right)=\left(\frac{\partial g_i}{\partial y_k}(f(x))\right)\left(\frac{\partial f_k}{\partial x_j}\right)\\\\ &\Longrightarrow\frac{\partial g_i(f_1(x_1,\cdots,x_n),\cdots,f_m(x_1,\cdots,x_n))}{\partial x_j}=\sum_{k=1}^m\frac{\partial g_i(f(x))}{\partial y_k}\cdot\frac{\partial f_k}{\partial x_j} \end{aligned}

这个形式虽然可以使用，但是意义没有那么直观简洁了.

实际使用链式法则时，有这样一种解读：g(f1,⋯ ,fm)g(f_1,\cdots,f_m) 对 xjx_j 的偏导数 =∑mk=1(g=\underset{k=1}{\overset{m}{\sum}}(g 对其第 kk 个输入的偏导数)f(x)(g)_{f(x)}(g 的第 kk 个实际输入对 xjx_j 的偏导数)x⃗)_{\vec{x}}.

/Example/

设 f:Rn→Rf:\R^n\to\R 是可微的，p:R→Rnp:\R\to\R^n 是可微的 path，p(t)=(p1(t),⋯ ,pn(t))p(t)=(p_1(t),\cdots,p_n(t)).

可以用链式法则，

ddt(f∘p)(t)=ddtf(p1(t),⋯ ,pn(t))=∑k=1n∂f∂xk(p(t))⋅dpk(t)dt=∇f(p(t))p′(t)\begin{aligned} \frac{\text{d}}{\text{d}t}(f\circ p)(t)&=\frac{\text{d}}{\text{d}t}f(p_1(t),\cdots,p_n(t))\\\\ &=\sum_{k=1}^n\frac{\partial f}{\partial x_k}(p(t))\cdot\frac{\text{d}p_k(t)}{\text{d}t}\\\\ &=\nabla f(p(t))p'(t) \end{aligned}

也就是 ff 的梯度与速度的内积，其特例就是 p=x0+vtp=x_0+vt.

有了上面的结论，我们有疑问：ff 在 x0x_0 处沿哪个方向增加最快 / 最慢？

当然这个问题比较模糊，因为方向导数的大小和速度矢量的模长有关. 因此我们采用归一化的方法. 具体而言，求 ∇vf(x0)∣v∣\frac{\nabla_vf(x_0)}{|v|} 的最值.

/Claim/

ff 在 x0x_0 处沿梯度方向增加最快，沿负梯度方向增加最慢 (减少最快).

/Proof/

回忆 Cauchy - Schwartz 不等式，−∣a⃗∣∣b⃗∣≤a⃗⋅b⃗≤∣a⃗∣∣b⃗∣-|\vec{a}||\vec{b}|\leq\vec{a}\cdot\vec{b}\leq|\vec{a}||\vec{b}|，右边取等条件是 a⃗\vec{a} 和 b⃗\vec{b} 成正比，左边取等条件是成负的正比. 这样，对 ∣v⃗∣=1|\vec{v}|=1 有：

−∣∇f(x0)∣≤∇vf(x0)=∇f(x0)⋅v⃗≤∣∇f(x0)∣-|\nabla f(x_0)|\leq\nabla_vf(x_0)=\nabla f(x_0)\cdot\vec{v}\leq|\nabla f(x_0)|

得证.

更新日志

2025/10/9 02:50
查看所有更新日志
  • f85b5-build(theme): update theme to rc-168于
  • 40342-fix: \C bugs于
  • f6743-feat: add integral lesson-42于

版权归属：physnya

许可证：署名-非商业性-相同方式共享 4.0 国际 (CC-BY-NC-SA-4.0)