全纯函数偏导数的全纯性证明及逐项求导合法性的技术问询

嗨，这个问题问到了多复变全纯函数领域里非常基础且关键的核心性质，我来一步步给你梳理清楚：

首先直接给结论：是的，$\frac{\partial f}{\partial z_i}(\mathbf{z})$ 确实是全纯函数，而且你提到的逐项求导操作是完全合法的。下面我来详细拆解原因：

1. 逐项求导的合法性 #

我们已知 $f$ 在 $\mathbf{z_0}$ 的邻域 $V$ 内可表示为绝对且一致收敛的幂级数：
$$f(\mathbf{z})=\sum_{I\in\mathbb{Z}^n_{\geq 0}}\alpha(I)(\mathbf{z}-\mathbf{z_0})^I$$
对任意 $i \in {1,2,...,n}$，我们对级数每一项求偏导 $\frac{\partial}{\partial z_i}$，得到导级数：
$$\sum_{I\in\mathbb{Z}^n_{\geq 0}}\frac{\partial}{\partial z_i}\left[\alpha(I)(\mathbf{z}-\mathbf{z_0})^I\right] = \sum_{I\in\mathbb{Z}^n_{\geq 0}}\alpha(I) \cdot i_i \cdot (z_1-z_{01})^{{i_1}\cdots(z_i-z_{0i})}{i_i-1}\cdots(z_n-z_{0n})^{i_n}$$
这里要注意，当 $i_i=0$ 时，该项导数为0，因此导级数可仅对 $i_i \geq 1$ 的指标 $I$ 求和。

接下来用魏尔斯特拉斯M判别法证明导级数在 $V$ 的紧子集上一致收敛：
取包含于 $V$ 的闭多圆盘 $\overline{D}(\mathbf{z_0}, r)$（$r=(r_1,...,r_n)$），原级数在此闭圆盘上绝对一致收敛，因此存在常数 $M>0$，使得对所有指标 $I$，有 $|\alpha(I)| r^I \leq M$（其中 $r^I = r_1^{i_1}\cdots r_n^{i_n}$）。

取另一个闭多圆盘 $\overline{D}(\mathbf{z_0}, \rho)$，满足 $\rho_i < r_i$ 对所有 $i$ 成立。对导级数的通项，当 $\mathbf{z} \in \overline{D}(\mathbf{z_0}, \rho)$ 时：
$$\left|\alpha(I) \cdot i_i \cdot (z_1-z_{01})^{{i_1}\cdots(z_i-z_{0i})}{i_i-1}\cdots(z_n-z_{0n})^{i_n}\right| \leq |\alpha(I)| \cdot i_i \cdot \rho^I / \rho_i$$
代入 $|\alpha(I)| \leq M / r^I$，可得：
$$\leq \frac{M}{\rho_i} \cdot i_i \cdot \left(\frac{\rho_1}{r_1}\right)^{{i_1}\cdots\left(\frac{\rho_i}{r_i}\right)}{i_i}\cdots\left(\frac{\rho_n}{r_n}\right)^{i_n}$$
由于 $\sum_{i_i=1}^\infty i_i \left(\frac{\rho_i}{r_i}\right)^{i_i-1}$ 是收敛的（等比级数导数的和，收敛半径内导数级数收敛），其余变量的求和也收敛，因此导级数对应的M级数收敛。根据魏尔斯特拉斯M判别法，导级数在 $\overline{D}(\mathbf{z_0}, \rho)$ 上一致收敛。

而一致收敛的级数允许逐项求导，因此 $\frac{\partial f}{\partial z_i}(\mathbf{z})$ 确实等于该导级数的和。

2. 偏导数的全纯性 #

我们已经得到 $\frac{\partial f}{\partial z_i}(\mathbf{z})$ 可表示为 $\mathbf{z_0}$ 邻域内绝对一致收敛的幂级数，而根据多复变全纯函数的定义：若函数在某点邻域内可表示为绝对一致收敛的幂级数，则该函数为全纯函数。

另外也可以用柯西-黎曼方程验证：因为 $f$ 全纯，所以满足所有柯西-黎曼方程 $\frac{\partial f}{\partial \overline{z_j}} = 0$（$j=1,...,n$）。由于幂级数的导数光滑，混合偏导数可交换顺序，因此：
$$\frac{\partial}{\partial \overline{z_j}} \left( \frac{\partial f}{\partial z_i} \right) = \frac{\partial}{\partial z_i} \left( \frac{\partial f}{\partial \overline{z_j}} \right) = \frac{\partial}{\partial z_i} 0 = 0$$
这说明 $\frac{\partial f}{\partial z_i}$ 满足所有柯西-黎曼方程，结合其连续性（幂级数导数连续），可判定它是全纯函数。

总结：全纯函数关于 $z_i$ 的偏导数仍然是全纯函数，且可通过对原幂级数逐项求导得到。

备注：内容来源于stack exchange，提问作者zyynankai