我们现在来推导调和函数的泊松积分公式,或者是调和函数的泊松积分表示。
设函数 \(f(z)\) 在圆 \(|z|<R\) 内解析,在 \(|z|\leq R\) 上连续,\(f(z)=u(x,y)+i v(x,y)\),那么对于任意圆内一点 \(z_0\in |z|<R\),由柯西积分公式
\begin{align*}f(z_0)&=\frac{1}{2\pi i}\int_{|z|=R}\frac{f(z)}{z-z_0}dz\\ &=\frac{1}{2\pi i}\int_0^{2\pi}\frac{f(Re^{i\theta})}{Re^{i\theta}-re^{i\theta}}iRe^{i\theta}d\theta\\ &=\frac{1}{2\pi}\int_0^{2\pi}\frac{f(Re^{i\theta})Re^{i\theta}}{Re^{i\theta}-re^{i\theta}}d\theta\end{align*}
设 \(z_0^*\) 为 \(z_0\) 的对称点,\(\displaystyle z^*=\frac{R^2}{\bar{z}}=\frac{R^2}{re^{-i\varphi}}=frac{R^2e^{i\varphi}}{r}\),则
\begin{align*}0&=\frac{1}{2\pi i}\int_{|z|=R}\frac{f(z)}{z-z^*}dz\\&=\frac{1}{2\pi i}\int_0^{2\pi}\frac{f(Re^{i\theta})\cdot iRe^{i\theta}}{Re^{i\theta}-\frac{R^2}{re^{-i\varphi}}}d\theta\\ &=\frac{1}{2\pi}\int_0^{2\pi}\frac{f(Re^{i\theta})re^{i\theta}}{re^{i\theta}-Re^{i\varphi}}d\theta\end{align*}
将上一式减去这一式,可以得到
\begin{align*}f(z_0)&=\frac{1}{2\pi}\int_0^{2\pi}f(Re^{i\theta})\left[\frac{Re^{i\theta}}{Re^{i\theta}-re^{i\theta}}-\frac{re^{i\theta}}{re^{i\theta}-Re^{i\varphi}}\right]d\theta\\&=\frac{1}{2\pi}\int_0^{2\pi}f(Re^{i\theta})\frac{Re^{i\theta}(re^{i\theta}-Re^{i\varphi})-re^{i\theta}(Re^{i\theta}-re^{i\theta})}{(Re^{i\theta}-re^{i\theta})(re^{i\theta}-Re^{i\varphi})}\\&=\frac{1}{2\pi}\int_0^{2\pi}f(Re^{i\theta})\frac{Rre^{2i\theta}-R^2e^{i(\theta+\varphi)}-Rre^{2i\theta}+r^2e^{i(\theta+\varphi)}}{Rre^{2i\theta}-r^2e^{i(\theta+\varphi)}-R^2e^{i(\theta+\varphi)}+Rre^{2i\varphi}}d\theta\\ &=\frac{1}{2\pi}\int_0^{2\pi}f(Re^{i\theta})\frac{(r^2-R^2)e^{i(\theta+\varphi)}}{Rr(e^{2i\theta}+e^{2i\varphi})-(R^2+r^2)e^{i(\theta+\varphi)}}d\theta\\&=\frac{1}{2\pi}\int_0^{2\pi}f(Re^{i\theta})\frac{R^2-r^2}{R^2+r^2-Rr(e^{2i\theta}+e^{2i\varphi})e^{-i(\theta+\varphi)}}d\theta\\ &=\frac{1}{2\pi}\int_0^{2\pi}f(Re^{i\theta})\frac{R^2-r^2}{R^2+r^2-Rr(e^{i(\theta-\varphi)}+e^{-i(\theta-\varphi)})}d\theta\\&=\frac{1}{2\pi}\int_0^{2\pi}f(Re^{i\theta})\frac{R^2-r^2}{R^2+r^2-2Rr\cos(\theta-\varphi)}d\theta\end{align*}
所以 \[f(z_0)=\frac{1}{2\pi}\int_0^{2\pi}f(Re^{i\theta})\frac{R^2-r^2}{R^2+r^2-2Rr\cos(\theta-\varphi)}d\theta\]
它的实部为\[u(z_0)=\frac{1}{2\pi}\int_0^{2\pi}u(Re^{i\theta})\frac{R^2-r^2}{R^2+r^2-2Rr\cos(\theta-\varphi)}d\theta\]
所以我们可以得到这样一个定理:
定理:任何一个在圆内调和,在闭圆上连续的函数,其在圆内的值都可以用泊松积分公式给出。