请验证证明正确性：若φ(x,y)为调和函数，证明φₓ-iφᵧ解析

我来帮你检查这个证明的问题哈～

首先明确你的核心问题：要证明若φ(x,y)是调和函数（且各阶偏导数连续），则φₓ - iφᵧ是解析函数，你的原证明尝试如下：

设φ为调和函数且具有各阶连续偏导数，取u=φ，v=φ，只需证明u和v满足柯西-黎曼方程：$$\frac{\partial u}{\partial v} = \phi_{xx} = -\phi_{yy} = \frac{\partial v}{\partial ...$$

原证明的明显问题 #

• 实部虚部设定错误：要验证的目标函数是$\phi_x - i\phi_y$，对应的解析函数实部$u$应该是$\phi_x$，虚部$v$应该是$-\phi_y$，而不是都设成$\phi$；
• 偏导数符号笔误：柯西-黎曼方程是针对$x$、$y$的偏导数，你写的$\frac{\partial u}{\partial v}$完全是错误的，正确的应该是$\frac{\partial u}{\partial x}$、$\frac{\partial v}{\partial y}$这类对自变量的偏导。

正确的证明过程 #

因为φ是调和函数，所以满足拉普拉斯方程：$\phi_{xx} + \phi_{yy} = 0$，即$\phi_{xx} = -\phi_{yy}$。

令目标解析函数为$f(z) = u(x,y) + iv(x,y) = \phi_x - i\phi_y$，也就是：

• $u = \phi_x$
• $v = -\phi_y$

接下来验证柯西-黎曼方程的两组条件：

1. 验证$\frac{\partial u}{\partial x} = \frac{\partial v}{\partial y}$：
   $\frac{\partial u}{\partial x} = \phi_{xx}$，$\frac{\partial v}{\partial y} = -\phi_{yy}$
   由调和函数的拉普拉斯方程，$\phi_{xx} = -\phi_{yy}$，因此$\frac{\partial u}{\partial x} = \frac{\partial v}{\partial y}$，满足第一组方程。

2. 验证$\frac{\partial u}{\partial y} = -\frac{\partial v}{\partial x}$：
   $\frac{\partial u}{\partial y} = \phi_{xy}$，$-\frac{\partial v}{\partial x} = -(-\phi_{yx}) = \phi_{yx}$
   因为φ的各阶偏导数连续，混合偏导数相等（$\phi_{xy} = \phi_{yx}$），因此$\frac{\partial u}{\partial y} = -\frac{\partial v}{\partial x}$，满足第二组方程。

又因为φ的各阶偏导数连续，所以$u$和$v$的一阶偏导数也连续，满足解析函数的判定条件（连续一阶偏导+柯西-黎曼方程成立），因此$\phi_x - i\phi_y$是解析函数。

内容的提问来源于stack exchange，提问作者Itsnhantransitive