Chapter2 解析函数

Chapter 2: 解析函数

在本章中, 我们将研究复变函数的微分法. 我们将在本章中介绍复变函数解析的定义和相应的判别方法, 并将实变函数中的五个基本初等函数逐一推广到复数域中.

2.1 函数解析性的概念和判定

复变函数的导数与微分

和实变函数中的导数, 微分定义一样, 我们也可定义复变函数的导数和微分的定义. 实际上, 它们的定义是基本一致的, 以至于实变函数中几乎所有的求导基本公式, 均可以不加修改地应用到复数域上.

定义2.1.1 (复变函数的导数)

形式上, 复变函数的导数和实变函数的导数完全一致:

设 $w=f(z)$ 定义于$D\subseteq \mathbb{C}$, 点 $z_0,z_0+\Delta z\in D$.
若极限:
$$\underset{\Delta z\to 0}{\lim }\frac{f(z_0+\Delta z)-f(z_0)}{\Delta z}=\underset{z\to z_0}{\lim }\frac{f(z)-f(z_0)}{z-z_0}$$
存在, 则称:

函数 $f(z)$ 在 $z_0$ 点可导 并称该极限值为 函数 $f(z)$ 在 $z_0$ 点的导数 记为 $f^{\prime }(z_0).$

[注]
1. 若 $f(z)$ 在区域 $D$ 内处处可导, 则称 $f(z)$ 在 $D$ 内可导.
2. 复变函数的极限存在要求极限的值不受 $\Delta z$ 趋近于 $0$ 的方式影响, 这对复变函数极限的存在性提出了极高的要求. 一般来说, 我们更难确定复变函数的极限在某一点是存在的, 而否认极限在一点的存在性更加容易.

和复变函数的导数定义类似, 我们也可以推广复变函数微分的定义:

定义2.1.2 (复变函数的微分)

复变函数的微分在形式上也和实变函数保持一致.

设 $w=f(z)$ 在 $z_0\in D$ 上可导, 若
$$\Delta w=f(z_0+\Delta z)-f(z_0)=f^{\prime }(z_0)\cdot \Delta z+\rho (\Delta z)\Delta z$$
其中 ${\lim }_{\Delta z\to 0}\rho (\Delta z)=0$, 且 $|\rho (\Delta z)\Delta z|$ 为 $\Delta z$ 的高阶无穷小, $f^{\prime }(z_0)\cdot \Delta z$ 为 $\Delta w$ 的线性主部. 则称 $f^{\prime }(z_0)\cdot \Delta z$ 为

$w=f(z)$ 在点 $z_0$ 的微分, 记为 $dw=f^{\prime }(z_0)\cdot \Delta z.$

[注]
1. 函数 $w=f(z)$ 在 $z_0$ 可导 $\iff$ 在 $z_0$ 可微.
2. 若 $f(z)$ 在区域 $D$ 处处可微, 称其在 $D$ 内可微.

在复变函数中, 处处连续但处处不可微的函数唾手可得, 这和实变函数中的情况有很大区别.

解析函数的概念

首先, 给出 “解析函数” 的定义:

定义2.1.3 (解析函数)

设函数 $f(z)$ 定义于 $D$ 上. 若 $z_0\in D$, 且存在 $z_0$ 的一个邻域, 使得 $f(z)$ 在 $D$ 上可微, 则称 $f(z)$ 在 $z_0$ 处解析.

若 $f(z)$ 在区域 $D$ 内可微 (即在区域 $D$ 内每一点上均可微), 则称 $f(z)$ 在区域 $D$ 上解析.

若 $f(z)$ 在 $z_0$ 处不解析, 则称该点为 $f(z)$ 的 奇点.

[注]
1. 一般而言, 泛称的解析函数允许奇点的存在, 但这样的函数必须有解析点, 不能在函数的每个点上都不解析.
2. “解析” 是一个显著强于 “可导” 的条件. 函数在一点解析和函数在一点可导不等价, 但函数在区域内解析和在区域内可导等价.
3. “解析” 是一个与 “区域”, “邻域” 密切相关的性质. 在研究函数在一点的解析性时, 我们实际上关注的对象是选定点的某个小邻域内函数的可微性.

现在, 我们将实变函数中的相关求导法则推广到复变函数中. 则有:

1. 两个复变函数 和, 差, 商, 积 的求导法则均和实变函数中的相关情况所平行.
2. 复合函数的求导法则和实变函数中的是一致的.
3. 如果我们将复变函数以实变复值函数 $z(t)=x(t)+iy(t)$ 的形式表示, 我们可以直接由定义得出: $z^{\prime }(t)=x^{\prime }(t)+i{y}^{\prime }(t).$

解析函数的判定

在研究解析函数的判定问题前, 我们先介绍 $Cauchy-Riemann$ 方程, 又称 $C-R$ 方程, $C-R$ 条件:

命题2.1.1 (Cauchy-Riemann 条件)

记复变元 $z=x+iy$ 的一个定义在 $D$ 内的函数

$w=f(z)=u(x,y)+iv(x,y).$ 当 $u,v$ 满足
$$\frac{\partial u}{\partial x}=\frac{\partial v}{\partial y},\frac{\partial u}{\partial y}=-\frac{\partial v}{\partial x}$$
时, 原函数的实部和虚部独立.

我们常记以上的偏微分方程组为 $Cauchy-Riemann$ 方程组.

下面, 我们给出复变函数 $w=f(z)=u(x,y)+iv(x,y)$ 在 $D$ 内一点可微的充要条件:

定理2.1.1

设函数

$w=f(z)=u(x,y)+iv(x,y)$ 在区域 $D$ 内有定义, 则 $f(z)$ 在 $D$ 内一点 $z=x+iy$ 可微的充要条件:
1. 二元函数 $u,v$ 在点 $(x,y)$ 可微.
2. $u,v$ 在点 $(x,y)$ 满足Cauchy-Riemann条件.

[注]
上述条件满足时, $f(z)$ 在点 $z=x+iy$ 的导数可表为下列形式之一:
$$f^{\prime }(z)=u_x+i{v}_x=v_y-i{u}_y=v_y+i{v}_x=u_x-i{u}_y.$$

由以上定理和叙述, 可以得出:

定理2.1.2 (复变函数在区域上解析的充要条件)

设函数

$w=f(z)=u(x,y)+iv(x,y)$ 在区域 $D$ 内有定义, 则 $f(z)$ 在 $D$ 上可微的充要条件:
1. 二元函数 $u,v$ 在区域 $D$ 上可微.
2. $u,v$ 在点 $(x,y)$ 满足Cauchy-Riemann条件.

[注]
1. Cauchy-Riemann 条件是判断复变函数解析性的主要条件.
2. 复变函数不可能在孤立点或直线/曲线上可微, 因为它在各点上均无法形成解析的圆邻域.

推论2.1.1

若 $u(x,y),v(x,y)$ 在区域 $D$ 内各个一阶偏导数连续, 且 $u,v$ 满足 Cauchy-Riemann 条件, 则原函数 $f(z)$ 在 $D$ 上解析.

2.2 复变初等函数

下面, 我们将从指数函数开始, 将实变函数中的初等函数概念自然地推广到复数域中.

指数函数

定义2.2.1 (复指数函数)

对任何复数 $z=x+iy$: 用关系式

$e^z=e^{x+iy}=e^x(cosy+isiny)$ 定义指数函数 $e^z$.

[性质]
1. 若 $z\in \mathbb{R}$, 复指数函数的定义和实指数函数一致.
2. 指数函数在复平面上处处解析.
3. 指数函数仍然满足加法定理, 且其导数仍为它自身.
4. 复指数函数具有周期性: 由定义可知它是以 $2\pi$ 为基本周期的周期函数.
5. 在复数域上, ${\lim }_{z\to \infty }{e}^z$ 无意义, 也就是 $e^{\infty }$ 无意义.
6. $e^z$ 为单值函数. “$e^z$” 只是一个记号, 不存在幂的意义.

对数函数

定义2.2.2 (复对数函数)

定义复对数函数即为复指数函数的反函数. 也就是:若　$e^w=z$, 则称 $w$ 为复数 $z$ 的对数, 记为 $w=\mathtt{L}\mathtt{n}z$.

也就是: $\mathtt{L}\mathtt{n}z=\mathtt{l}\mathtt{n}|z|+i\mathtt{A}\mathtt{r}\mathtt{g}z$.

[注]
1. 定义说明, 复数 $z$ 的对数仍为复数, 其实部为 $z$ 的模的通常是自然对数, 其虚部为 $z$ 的辐角的一般值. 实际上 ,虚部通常可以取无穷多个值, 也就是说负对数函数是一个多值函数.
2. 根据定义, 我们可以看出, 复对数是实对数在复数域内的推广, 在复数域内, 负数有对数, 但没有实对数; 且正实数的对数也是无穷多值的.
3. 复对数的运算也满足实对数的基本性质.
4. 复对数 $\mathtt{L}\mathtt{n}z$ 的每个分支在 除去原点和负实轴 的复平面内处处解析.

幂函数和乘幂

定义2.2.3 (复幂函数)

称 $w=z^a=e^{a\mathtt{L}\mathtt{n}z}(z\ne 0,\infty ;a\in \mathbb{C})$ 为 $z$ 的一般幂函数.

$a$ 为整数 $n$ 时: $z^a$ 为 $z$ 的单值函数.
$a$ 为有理数 $\frac{p}{q}$ 时: $z^{\frac{p}{q}}=w_0{e}^{2k\pi \frac{p}{q}}$, 显然只能取得 $q$ 个不同的值.
$a$ 为无理数或虚数时: $z^a$ 是无穷多值的.

[注]
1. 幂函数 $z^n$ 在复平面内 单值解析, 且 $(z^n{)}^{\prime }=n{z}^{n-1}$.
2. 幂函数 $z^{\frac{1}{n}}$ 为多值函数, 其 $n$ 个分支在 除去原点和复实轴的复平面上解析, 且 $(z^{\frac{1}{n}}{)}^{\prime }=\frac{1}{n}{z}^{\frac{1}{n}-1}$.
3. 除去 $b=n$ 和 $b=\frac{1}{n}$ 外, $w=z^b$ 为无穷值的, 其各个分支在 除去原点和复实轴的复平面上解析.

三角函数和双曲函数

由指数函数的定义, 我们可以立即推得复三角函数的定义:

定义2.2.4 (复三角函数)

定义

$sinz=\frac{e^{iy}-e^{-iy}}{2i},cosz=\frac{e^{iy}+e^{-iy}}{2},$ 并分别称为 $z$ 的 正弦函数 和 余弦函数.


定义 $$\begin{gathered} tanz=\frac{sinz}{cosz},cotz=\frac{cosz}{sinz} \\ secz=\frac{1}{cosz},cscz=\frac{1}{sinz}, \end{gathered}$$ 并分别称为 $z$ 的 正切函数, 余切函数, 正割函数 和 余割函数.

[性质]
1. $z$ 为实数时, 其定义和实三角函数一致.
2. 复正,余弦函数在复平面上解析, 且满足实变函数情形下的求导法则.
3. 奇偶性, 周期性, 以及通常的三角恒等式.
4. 在复数域内, 正弦函数和余弦函数不再具备有界性.

5. 正/余切/割函数均在不使其分母为零的点处解析, 且满足实变函数情形下的求导法则.

反三角和反双曲函数

由上面的讨论知: 三角函数可以很容易地用指数函数表示, 因此反三角函数也可以使用指数函数的反函数-对数函数所表示.

不难得出:

$$Arcsinz=-i\mathtt{L}\mathtt{n}(iz+\sqrt{1-z^2}),$$
$$Arccosz=-i\mathtt{L}\mathtt{n}(z+\sqrt{z^2-1}),$$
$$Arctanz=\frac{1}{2i}\mathtt{L}\mathtt{n}\frac{1+iz}{1-iz}.$$

以及

$$Arcshz=\mathtt{L}\mathtt{n}(z+\sqrt{z^2+1}),$$
$$Arcchz=\mathtt{L}\mathtt{n}(z+\sqrt{z^2-1}),$$
$$Arcthz=\frac{1}{2}\mathtt{L}\mathtt{n}\frac{1+z}{1-z}.$$