复变函数论(八)-解析延拓2-透弧解析延拓、对称原理2：黎曼一施瓦茨对称原理

定理 8.3

设
(1) $D$ 及 $D^{\ast }$ 为 $z$ 平面上两个区域, 分别在上半平面与下半平面,关于 $x$ 轴对称,并且它们的边界都包含 $x$ 轴上一条线段 $S$.
(2) { D , f ( z ) } \{D, f(z)\} { D,f(z)} 为解析函数元素, $f(z)$ 在 $D+S$ 上连续且在 $S$上取实数值.

则存在一个函数 $F(z)$ 满足下列条件:
(1) $F(z)$ 在区域 $D+S+D^{\ast }$ 内解析.
(2) 在 $D$ 内 $F(z)=f(z)$.
(3) 在 $D^{\ast }$ 内 $F(z)=\overline{f(\bar{z})}$.
(即 $\left\{D^{\ast },\overline{f(\bar{z})}\right\}$ 是 { D , f ( z ) } \{D, f(z)\} { D,f(z)}透过弧 $S$ 的直接解析延拓.)

证
在区域 $D+S+D^{\ast }$ 内确定一个函数 $F(z)$ 如下:

$$F(z)=\{\begin{array}{ll}f(z),& \text{ 当 }z\in D+S,\\ \overline{f(\bar{z}),}& \text{ 当 }z\in D^{\ast }.\end{array}$$

我们现在来证明这个函数 $F(z)$ 就满足定理的要求.
(1) $f(z)$ 在区域 $D$ 内解析, 在 $D+S$ 上连续(假设条件).
(2) $\overline{f(\bar{z})}$ 在 $D^{\ast }$ 内解析. 事实上, 设 $z_0$ 及
$z$ 为 $D^{\ast }$ 内二点, 则 ${\bar{z}}_0$ 及 $\bar{z}$ 为 $D$ 内相应二点,且

$$\begin{array}{rl}\underset{z\to z_0}{\lim }\frac{\overline{f(\bar{z})}-\overline{f\left({\bar{z}}_0\right)}}{z-z_0}& =\underset{z\to z_0}{\lim }\overline{\left[\frac{f(\bar{z})-f\left({\bar{z}}_0\right)}{\bar{z}-{\bar{z}}_0}\right]}\\ & =\overline{\bar{z}\to }\end{array}$$