方向导数与拉普拉斯算子的旋转不变性

一、方向导数

  在探讨拉普拉斯算子的旋转不变性之前，先来说说方向导数，定义如下：

  考虑函数 $f(x,y)$，$f$ 在点 $P_0(x_0,y_0)$ 的某邻域 $U(P_0)$ 内有定义. 对于给定的方向向量 $l=(\cos ⟨l,x⟩,\sin ⟨l,x⟩)$ ($⟨l,x⟩$ 表示 $l$ 与 $x$ 轴之间的夹角)，$P$ 为邻域中一点，且 $\overrightarrow{P_{0}P}=\rho l$，$\rho >0$，表示 $P$ 与 $P_0$ 两点间的距离. 若极限
$$\underset{\rho \to 0^{+}}{\lim }\frac{f(P)-f(P_0)}{\rho }$$

存在，则称此极限为函数 $f$ 在点 $P_0$ 沿方向 $l$ 的方向导数，记作
$$\frac{\partial f}{\partial l}{|}_{P_0}or{f}_l(P_0)$$

方向导数与偏导数

  直觉性较强的读者应该能够看出：若 $l$ 取 $x$ 轴正向，方向导数就是 $f_x(P_0)$；若 $l$ 取 $y$ 轴正向，方向导数就是 $f_y(P_0)$.

  那能否通过偏导数 $f_x(P_0),f_y(P_0)$ 来表示方向导数呢？

  答案是肯定的，有如下定理：

  设 $f$ 在点 $P_0(x_0,y_0)$ 处可微，则 $f$ 在点 $P_0$ 沿任一方向 $l=(\cos ⟨l,x⟩,\sin ⟨l,x⟩)$ 的方向导数均存在，且满足
$$\frac{\partial f}{\partial l}=\frac{\partial f}{\partial x}\cos ⟨l,x⟩+\frac{\partial f}{\partial y}\sin ⟨l,x⟩$$

  这个定理的证明有两种思路，不知客官喜欢哪一种？

证法 1： 根据定义

  设 $P(x,y)$ 位于邻域中，且满足 $\overrightarrow{P_{0}P}=\rho l,\rho >0$，于是
$$\{\begin{array}{l}x-x_0=\Delta x=\rho \cos ⟨l,x⟩\\ y-y_0=\Delta y=\rho \sin ⟨l,x⟩\end{array}\text{\hspace{1em}(*)}$$

由 $f$ 在点 $P_0$ 处可微，知

$$f(P)-f(P_0)=f_x(P_0)\Delta x+f_y(P_0)\Delta y+o(\rho )$$

两边同除 $\rho$，并根据 $(\ast )$ 式，得

$$\begin{array}{rl}\frac{f(P)-f(P_0)}{\rho }& =f_x(P_0)\frac{\Delta x}{\rho }+f_y(P_0)\frac{\Delta y}{\rho }+\frac{o(\rho )}{\rho }\\ & =f_x(P_0)\cos ⟨l,x⟩+f_y(P_0)\sin ⟨l,x⟩+\frac{o(\rho )}{\rho }\end{array}$$

两边取极限 $\rho \to 0^{+}$，则
$$f_l(P_0)=\underset{\rho \to 0^{+}}{\lim }\frac{f(P)-f(P_0)}{\rho }=f_x(P_0)\cos ⟨l,x⟩+f_y(P_0)\sin ⟨l,x⟩$$


证法 2： 根据坐标旋转变换

  将原坐标系 $xOy$ 旋转角度 $\varphi$ 得到新坐标系 $x^{\prime }O{y}^{\prime }$，考虑点 $P$. 向量 $\overrightarrow{OP}$ 长度为 $r$，与 $x,x^{\prime }$ 轴的夹角分别为 $\theta ,{\theta }^{\prime }$，显然有
$${\theta }^{\prime }=\theta -\varphi$$

则点 $P$ 在原坐标系下的坐标为
$$\{\begin{array}{l}x=r\cos \theta \\ y=r\sin \theta \end{array}$$

在新坐标系下的坐标为
$$\{\begin{array}{l}\begin{array}{rl}{x}^{\prime }=r\cos {\theta }^{\prime }=& r\cos (\theta -\varphi )=r(\cos \theta \cos \varphi +\sin \theta \sin \varphi )=x\cos \varphi +y\sin \varphi \\ y^{\prime }=r\sin {\theta }^{\prime }=& r\sin (\theta -\varphi )=r(\sin \theta \cos \varphi -\cos \theta \sin \varphi )=-x\sin \varphi +y\cos \varphi \end{array}\end{array}$$

化为矩阵形式
$$\left(\begin{array}{c}{x}^{\prime }\\ y^{\prime }\end{array}\right)=\left(\begin{array}{cc}\cos \varphi & \sin \varphi \\ -\sin \varphi & \cos \varphi \end{array}\right)\left(\begin{array}{c}x\\ y\end{array}\right)$$

同理可推出(或者两边左乘旋转矩阵的逆)，可得
$$\left(\begin{array}{c}x\\ y\end{array}\right)=\left(\begin{array}{cc}\cos \varphi & -\sin \varphi \\ \sin \varphi & \cos \varphi \end{array}\right)\left(\begin{array}{c}{x}^{\prime }\\ y^{\prime }\end{array}\right)$$

所以
$$\frac{\partial x}{\partial x^{\prime }}=\cos \varphi ,\frac{\partial y}{\partial x^{\prime }}=\sin \varphi$$
考虑函数 $f(x,y)$ 沿 $x^{\prime }$ 方向的方向导数，由链式法则
$$\begin{array}{rl}\frac{\partial f}{\partial x^{\prime }}& =\frac{\partial f}{\partial x}\frac{\partial x}{\partial x^{\prime }}+\frac{\partial f}{\partial y}\frac{\partial y}{\partial x^{\prime }}\\ & =\frac{\partial f}{\partial x}\cos \varphi +\frac{\partial f}{\partial y}\sin \varphi \end{array}$$同理可得函数 $f$ 沿 $y^{\prime }$ 方向的方向导数
$$\frac{\partial f}{\partial y^{\prime }}=-\frac{\partial f}{\partial x}\sin \varphi +\frac{\partial f}{\partial y}\cos \varphi$$

对 $\partial f/\partial y^{\prime }$ 进行变形
$$\frac{\partial f}{\partial y^{\prime }}=\frac{\partial f}{\partial x}\cos (\varphi +\pi /2)+\frac{\partial f}{\partial y}\sin (\varphi +\pi /2)$$
其中 $(\varphi +\pi /2)$ 为 $y^{\prime }$ 轴与 $x$ 轴之间的夹角，与定理结论相符.

  有人会有这样的疑问：假如 $x^{\prime },y^{\prime }$ 是原坐标系先旋转后平移或者先平移后旋转得到的，结果是否不变？

  答案是肯定的，因为
$$\frac{d(x^{\prime }+a)}{d{x}^{\prime }}=1=\frac{d(y^{\prime }+b)}{y^{\prime }}$$($a,b$ 为常数)，不改变链式法则的结果.

二、拉普拉斯算子的旋转不变性

拉普拉斯算子
$$\nabla f={\Delta }^{2}f=\frac{{\partial }^{2}f}{\partial x^2}+\frac{{\partial }^{2}f}{\partial y^2}$$拉普拉斯算子具有旋转不变性，emm，这该怎么理解呢？

先说下我的看法：

  将原坐标系 $xOy$ 进行旋转，得到新的坐标系 $x^{\prime }O{y}^{\prime }$，则在新坐标系下的拉普拉斯算子与原来的相同，即
$$\frac{{\partial }^{2}f}{\partial x^{\prime 2}}+\frac{{\partial }^{2}f}{\partial y^{\prime 2}}=\frac{{\partial }^{2}f}{\partial x^2}+\frac{{\partial }^{2}f}{\partial y^2}$$称之为拉普拉斯算子的 旋转不变性.

  其实一般算子的旋转不变性也是这样定义的，比如我们可以自己造一个算子，叫作模长算子，容易验证，它也具有旋转不变性.

  就算写到这里，我对拉普拉斯算子的 旋转不变性 仍表示怀疑，因为还没有自己把它证出来，下面就让我们试着证一下！

已知
$$\frac{\partial g}{\partial x^{\prime }}=\frac{\partial g}{\partial x}\cos \varphi +\frac{\partial g}{\partial y}\sin \varphi \text{\hspace{1em}(1)}$$$$\frac{\partial g}{\partial y^{\prime }}=-\frac{\partial g}{\partial x}\sin \varphi +\frac{\partial g}{\partial y}\cos \varphi \text{\hspace{1em}(2)}$$

将 $g=\frac{\partial f}{\partial x^{\prime }}$ 代入 $(1)$ 式，得

$$\frac{{\partial }^{2}f}{\partial x^{\prime 2}}=\frac{\partial }{\partial x^{\prime }}(\frac{\partial f}{\partial x^{\prime }})=\frac{\partial }{\partial x}(\frac{\partial f}{\partial x^{\prime }})\cos \varphi +\frac{\partial }{\partial y}(\frac{\partial f}{\partial x^{\prime }})\sin \varphi$$

将 $(1)$ 式中的 $f$ 换成 $g$ 代入上式，有
$$\begin{array}{rl}\frac{{\partial }^{2}f}{\partial x^{\prime 2}}& =\frac{\partial }{\partial x}(\frac{\partial f}{\partial x}\cos \varphi +\frac{\partial f}{\partial y}\sin \varphi )\cos \varphi +\frac{\partial }{\partial y}(\frac{\partial f}{\partial x}\cos \varphi +\frac{\partial f}{\partial y}\sin \varphi )\sin \varphi \\ & =\frac{{\partial }^{2}f}{\partial x^2}{\cos }^2\varphi +2\frac{{\partial }^{2}f}{\partial x\partial y}\sin \varphi \cos \varphi +\frac{{\partial }^{2}f}{\partial y^2}{\sin }^2\varphi \end{array}$$同理
$$\begin{array}{rl}\frac{{\partial }^{2}f}{\partial y^{\prime 2}}& =\frac{\partial }{\partial y^{\prime }}(\frac{\partial f}{\partial y^{\prime }})\\ & =-\frac{\partial }{\partial x}(\frac{\partial f}{\partial y^{\prime }})\sin \varphi +\frac{\partial }{\partial y}(\frac{\partial f}{\partial y^{\prime }})\cos \varphi \\ & =-\frac{\partial }{\partial x}(-\frac{\partial f}{\partial x}\sin \varphi +\frac{\partial f}{\partial y}\cos \varphi )\sin \varphi +\frac{\partial }{\partial y}(-\frac{\partial f}{\partial x}\sin \varphi +\frac{\partial f}{\partial y}\cos \varphi )\cos \varphi \\ & =\frac{{\partial }^{2}f}{\partial x^2}{\sin }^2\varphi -2\frac{{\partial }^{2}f}{\partial x\partial y}\sin \varphi \cos \varphi +\frac{{\partial }^{2}f}{\partial y^2}{\cos }^2\varphi \end{array}$$

所以
$$\begin{array}{rl}\frac{{\partial }^{2}f}{\partial x^{\prime 2}}+\frac{{\partial }^{2}f}{\partial y^{\prime 2}}& =\frac{{\partial }^{2}f}{\partial x^2}({\cos }^2\varphi +{\sin }^2\varphi )+\frac{{\partial }^{2}f}{\partial y^2}({\sin }^2\varphi +{\cos }^2\varphi )\\ & =\frac{{\partial }^{2}f}{\partial x^2}+\frac{{\partial }^{2}f}{\partial y^2}\end{array}$$拉普拉斯算子具有方向不变性这一结论成立.

哈哈，这下我信了！

鸣谢！

参考文献：华东师范大学数学系. 数学分析(下册)[M]. 第四版. 北京：高等教育出版社，2010.