复变函数论(八)-解析延拓1-解析延拓的概念与幕级数延拓1：解析延拓的概念

我们将在本章讨论已知区域内解析函数定义域的扩大问题,
也就是研究在什么条件下能够延拓成为更大区域上的解析函数,
并给出两个具体的解析延拓方法—幂级数廷拓与对称原理. 最后,
我们引进完全解析函数与黎曼面的概念, 并将多值函数 $\sqrt[n]{z}$ 及
$\mathrm{Ln}z$ 看作其黎曼面上的单值解析函数.

---

定义 8.1 设函数 $f(z)$ 在区域 $D$ 内解析, 考虑一个包含 $D$ 的更大区域$G$, 如果存在函数 $F(z)$ 在 $G$ 内解析, 并且在 $D$ 内$F(z)=f(z)$,则称函数 $f(z)$ 可以解析延拓到 $G$ 内, 并称 $F(z)$ 为 $f(z)$ 在区域 $G$内的解析延拓.

我们这样定义的解析延拓如果存在, 必是惟一的. 因为, 如果有两个函数$F_1(z)$ 及 $F_2(z)$ 在包含着区域 $D$ 的更大的区域 $G$ 内解析, 且在$D$ 内 $F_1(z)=f(z),F_2(z)=$ $f(z)$. 由解析函数的内部惟一性定理, 在$G$ 内必有 $F_1(z)\equiv F_2(z)$. 这就证明了解析延拓的惟一性.

例 8.1 设 ${\sum }_{n=0}^{\infty }{z}^n=f(z)(D:|z|<1)$. 而 $\frac{1}{1-z}$在 $z$ 平面上只有一个奇点 $z=1$. 故 $F(z)=\frac{1}{1-z}$ 就是$f(z)={\sum }_{n=0}{z}^n$ 在区域 $G(z$ 平面去掉 1$)$ 内的解析延拓, 因在$D$ 内 $F(z)=f(z)$.

复变函数论的目的, 是研究在某一区域内解析的函数. 解析性这一要求,就使得在区域 $D_1$ 内解析的函数的数值, 与另一和 $D_1$ 紧接的区域$D_2$ 内解析的函数的数值之间,有着紧密的有机联系.

所谓"紧接"的区域, 一个含义是指两个具有公共部分的区域,这个公共部分也是一个区域.

定义 8.2

设 $D$ 是一区域, $f(z)$ 是 $D$ 内的单值解析函数,这种区域和函数的组合称为一个解析函数元素, 记成 { D , f ( z ) } \{D, f(z)\} { D,f(z)};两个解析函数元素当且仅当其区域重合, 而且在其上对应的函数值相等时,称为恒等的.

定理 8.1 (相交区域的解析延拓原理)

设 { D 1 , f 1 ( z ) } \left\{D_{1}, f_{1}(z)\right\} { D1​,f1​(z)}, { D 2 , f 2 ( z ) } \left\{D_{2}, f_{2}(z)\right\} { D2​,f2​(z)} 为两个解析函数元素, 满足:
(1) 区域 $D_1$ 及 $D_2$ 有一公共区域 $d_{12}$ (如图 8.1).
(2) $f_1(z)=f_2(z)\left(z\in d_{12}\right)$.

则 { D 1 + D 2 , F ( z ) } \left\{D_{1}+D_{2}, F(z)\right\} { D1​+D2​,F(z)} 也是一个解析函数元素, 其中

F ( z ) = { f 1 ( z ) ,  当  z ∈ D 1 − d 12 ,