整函数复分析证明：高阶导数恒为零的条件与阶数确定

嘿，这个问题咱们可以从整函数的增长性和多项式的导数性质入手来解决，思路很清晰，咱们一步步来：

首先，已知整函数$g(w)$的$m$阶导数满足$\frac{g^{{(m)}(w)}{1+|w|}l}$有界，这意味着$g^{{(m)}(w)$的增长速度不会超过$|w|}l$——对于整函数来说，这种多项式级的增长直接说明$g^{(m)}(w)$本身就是一个次数不超过$l$的多项式。

咱们先把已知条件转化为更直观的不等式：存在常数$C>0$，对所有$w\in\mathbb{C}$，有
$$|g^{(m)}(w)| \leq C(1+|w|^l)$$

接下来利用整函数导数的柯西积分公式来估计高阶导数：对于任意固定的$w\in\mathbb{C}$，取足够大的$R>|w|$，考虑圆周$\Gamma_R: |z-w|=R$，则$g^{(m+k)}(w)$的柯西公式为：
$$g^{(m+k)}(w) = \frac{k!}{2\pi i}\int_{\Gamma_R} \frac{g^{{(m)}(z)}{(z-w)}{k+1}} dz$$

对两边取模长估计：
$$|g^{(m+k)}(w)| \leq \frac{k!}{2\pi} \cdot \frac{\max_{z\in\Gamma_R}|g^{(m)}(z)|}{R{k+1}} \cdot 2\pi R = \frac{k! \cdot \max_{z\in\Gamma_R}|g^{(m)}(z)|}{Rk}$$

由于$|z| \leq |w|+R \leq 2R$（当$R>|w|$时），代入$g^{(m)}(z)$的界可得：
$$\max_{z\in\Gamma_R}|g^{(m)}(z)| \leq C(1+(2R)^l) \leq C'(1+R^l)$$
其中$C'$是仅与$C,l$有关的常数。

把这个代入模长估计式：
$$|g^{(m+k)}(w)| \leq C'k! \left( \frac{1}{R^k} + \frac{R^l}{Rk} \right)$$

现在让$R\to\infty$：

• 当$k > l$时，$\frac{R^l}{Rk}=R^{{l-k}\to0$，同时$\frac{1}{R}k}\to0$，因此$|g^{(m+k)}(w)|=0$对所有$w\in\mathbb{C}$成立。

这就说明，当$n = m+k$且$k>l$，也就是$n > m+l$时，$g^{(n)}(w)\equiv0$。

咱们可以构造一个例子来验证最小的$n$：取$g(w)=\frac{w^{{m+l}}{(m+l)(m+l-1)\cdots(m+1)}$，此时$g}{(m)}(w)=w^{l$，显然$\frac{g}{(m)}(w)}{1+|w|^l}=\frac{wl}{1+|w|^l}$是有界的（模长不超过1）。

计算它的高阶导数：

• $g^{(m+l)}(w)=l!$，显然不恒为零；
• $g^{(m+l+1)}(w)=0$，恒为零。

这说明，当$n=m+l+1$时，$g^{(n)}(w)$首次恒为零，而$n=m+l$时存在这样的整函数使得导数不为零。因此$n$的取值下限是$\boldsymbol{m+l+1}$。

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