如何证明调和函数u对应的g(x,y)为多项式？全纯假设下的困惑求解

让我们一步步拆解这个问题，先解决你提到的全纯函数假设场景，再扩展到一般调和函数的情况：

一、当$u$是全纯函数时的情况 #

首先，全纯函数$u(z)$可以展开为幂级数：
$$u(z) = \sum_{m=0}^{\infty} a_m z^m$$
其中$z = x+iy$，代入$g(x,y)$的积分式中，得到：
$$g(x,y) = \int_{0}^{2\pi} \sum_{m=0}^{\infty} a_m (z e^{i\theta})m \sin\theta d\theta$$
交换求和与积分的顺序（幂级数在收敛域内一致收敛，满足交换条件），得到：
$$g(x,y) = \sum_{m=0}^{\infty} a_m z^m \int_{0}^{2\pi} e^{im\theta} \sin\theta d\theta$$

接下来分析积分$\int_{0}^{2\pi} e^{im\theta} \sin\theta d\theta$：
利用三角恒等式$\sin\theta = \frac{e^{i\theta} - e^{-i\theta}}{2i}$，将积分改写为：
$$\int_{0}^{2\pi} e^{im\theta} \cdot \frac{e^{i\theta} - e^{-i\theta}}{2i} d\theta = \frac{1}{2i} \left( \int_{0}^{2\pi} e^{i(m+1)\theta} d\theta - \int_{0}^{2\pi} e^{i(m-1)\theta} d\theta \right)$$

根据复指数函数的积分性质：

• 当$k \neq 0$时，$\int_{0}^{2\pi} e^{ik\theta} d\theta = 0$
• 当$k = 0$时，$\int_{0}^{2\pi} e^{ik\theta} d\theta = 2\pi$

对不同的$m$取值分析：

• $m=0$：积分变为$\int_{0}^{2\pi} \sin\theta d\theta = 0$
• $m=1$：积分变为$\frac{1}{2i} \left( \int_{0}^{2\pi} e^{i2\theta} d\theta - \int_{0}^{2\pi} 1 d\theta \right) = \frac{1}{2i}(0 - 2\pi) = -i\pi$
• $m \geq 2$：$m+1 \neq 0$且$m-1 \neq 0$，两个积分都为0，因此整个积分结果为0

最终，求和式中只有$m=1$的项保留，得到：
$$g(x,y) = a_1 z \cdot (-i\pi) = -i\pi a_1 (x+iy)$$
这是关于$x,y$的线性多项式，显然属于多项式范畴。你之前的展开没看出结果是多项式，是因为大部分项的积分都被消去了，只有一次项保留。

二、当$u$是一般调和函数时的情况 #

对于平面上的调和函数，我们可以利用其极坐标下的标准展开式：
在包含原点的区域内，调和函数$u$可表示为：
$$u(r, \phi) = A_0 + \sum_{n=1}^{\infty} r^n \left( A_n \cos n\phi + B_n \sin n\phi \right)$$
其中$r = |z|$，$\phi$是$z$的辐角，$z = re^{i\phi}$。

现在，$e^{i\theta}z = re^{i(\phi+\theta)}$，代入$u$的展开式得：
$$u(e^{i\theta}z) = A_0 + \sum_{n=1}^{\infty} r^n \left( A_n \cos n(\phi+\theta) + B_n \sin n(\phi+\theta) \right)$$

代入$g(x,y)$的积分式，交换求和与积分顺序：
$$g(x,y) = A_0 \int_{0}^{2\pi} \sin\theta d\theta + \sum_{n=1}^{\infty} r^n \left( A_n \int_{0}^{2\pi} \cos n(\phi+\theta) \sin\theta d\theta + B_n \int_{0}^{2\pi} \sin n(\phi+\theta) \sin\theta d\theta \right)$$

第一项积分$\int_{0}^{2\pi} \sin\theta d\theta = 0$，接下来分析后面的积分：

1. 计算$\int_{0}^{2\pi} \cos n(\phi+\theta) \sin\theta d\theta$ #

利用三角恒等式展开$\cos n(\phi+\theta) = \cos n\phi \cos n\theta - \sin n\phi \sin n\theta$，代入积分得：
$$\cos n\phi \int_{0}^{2\pi} \cos n\theta \sin\theta d\theta - \sin n\phi \int_{0}^{2\pi} \sin n\theta \sin\theta d\theta$$

• 当$n \neq 1$时，两个积分都为0（积化和差后都是周期为$2\pi$的奇函数或非零频率的复指数积分）
• 当$n=1$时，$\int_{0}^{2\pi} \cos\theta \sin\theta d\theta = 0$，$\int_{0}^{2\pi} \sin^2\theta d\theta = \pi$，因此积分结果为$-\pi \sin\phi$

2. 计算$\int_{0}^{2\pi} \sin n(\phi+\theta) \sin\theta d\theta$ #

展开$\sin n(\phi+\theta) = \sin n\phi \cos n\theta + \cos n\phi \sin n\theta$，代入积分得：
$$\sin n\phi \int_{0}^{2\pi} \cos n\theta \sin\theta d\theta + \cos n\phi \int_{0}^{2\pi} \sin n\theta \sin\theta d\theta$$

• 当$n \neq 1$时，两个积分都为0
• 当$n=1$时，$\int_{0}^{2\pi} \cos\theta \sin\theta d\theta = 0$，$\int_{0}^{2\pi} \sin^2\theta d\theta = \pi$，因此积分结果为$\pi \cos\phi$

最终，求和式中只有$n=1$的项保留，代入$r\cos\phi = x$，$r\sin\phi = y$，得到：
$$g(x,y) = r \left( A_1 \cdot (-\pi \sin\phi) + B_1 \cdot (\pi \cos\phi) \right) = \pi (B_1 x - A_1 y)$$
这是关于$x,y$的线性多项式，显然是多项式。

总结一下：无论$u$是全纯函数还是一般调和函数，积分后只有一次项保留，其余项的积分都为0，因此$g(x,y)$是多项式。

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