mobile wallpaper 1mobile wallpaper 2mobile wallpaper 3mobile wallpaper 4

第二章 解析函数 —— 完整详尽讲解


目录

  1. §2.1 复变函数的概念、极限与连续性
  2. §2.2 解析函数的概念
  3. §2.3 函数可导与解析的充要条件
  4. §2.4 初等函数
  5. 习题精讲(含题库2.pdf全部内容)

§2.1 复变函数的概念、极限与连续性

一、复变函数的定义

定义 2.1.1(复变函数)GCG \subset \mathbb{C} 是一个非空点集。若存在一个对应法则 ff,使得对 GG 中每一个复数 z=x+iyz = x + iy,都有唯一确定的复数 w=u+ivw = u + iv 与之对应,则称 ff 是定义在 GG 上的一个复变函数,记作

w=f(z),zGw = f(z), \quad z \in G

其中 zz 称为自变量ww 称为因变量GG 称为函数的定义域

核心理解:复变函数本质上是二元实向量函数。因为:

  • 输入 z=x+iyz = x + iy 由两个实数 (x,y)(x, y) 决定
  • 输出 w=u+ivw = u + iv 由两个实数 (u,v)(u, v) 决定

因此,一个复变函数 f(z)f(z) 等价于两个二元实变函数

f(z)=f(x+iy)=u(x,y)+iv(x,y)f(z) = f(x+iy) = u(x,y) + i \cdot v(x,y)

其中:

  • u(x,y)=Re[f(z)]u(x, y) = \operatorname{Re}[f(z)] —— 实部
  • v(x,y)=Im[f(z)]v(x, y) = \operatorname{Im}[f(z)] —— 虚部

例如f(z)=z2=(x+iy)2=(x2y2)+i(2xy)f(z) = z^2 = (x+iy)^2 = (x^2-y^2) + i(2xy),则 u(x,y)=x2y2u(x,y)=x^2-y^2v(x,y)=2xyv(x,y)=2xy

定义 2.1.2(单值函数与多值函数) 若对每个 zGz \in Gf(z)f(z) 只有一个值,则称 ff单值函数;若有多个值,则为多值函数。如 Lnz\operatorname{Ln} z 是多值函数,但可通过限制辐角范围得到单值解析分支


二、复变函数的极限

定义 2.1.3(极限) 设函数 f(z)f(z)z0z_0 的某去心邻域内有定义,AA 为复常数。若对任意 ε>0\varepsilon > 0,存在 δ>0\delta > 0,使得当 0<zz0<δ0 < |z - z_0| < \delta 时,有

f(z)A<ε|f(z) - A| < \varepsilon

则称当 zz 趋于 z0z_0f(z)f(z)AA 为极限,记作

limzz0f(z)=A\lim_{z \to z_0} f(z) = A

定理 2.1.1(极限的实部虚部分解)f(z)=u(x,y)+iv(x,y)f(z) = u(x,y) + iv(x,y)A=a+ibA = a + ibz0=x0+iy0z_0 = x_0 + iy_0,则

limzz0f(z)=Alim(x,y)(x0,y0)u(x,y)=alim(x,y)(x0,y0)v(x,y)=b\lim_{z \to z_0} f(z) = A \quad \Longleftrightarrow \quad \lim_{(x,y) \to (x_0,y_0)} u(x,y) = a \quad \text{且} \quad \lim_{(x,y) \to (x_0,y_0)} v(x,y) = b

这是复变函数极限的化归原则:复极限等价于两个实二元极限同时存在且等于对应值。

极限的四则运算法则:若 limzz0f(z)=A\lim_{z\to z_0} f(z) = Alimzz0g(z)=B\lim_{z\to z_0} g(z) = B,则

  1. lim[f(z)±g(z)]=A±B\lim [f(z) \pm g(z)] = A \pm B
  2. lim[f(z)g(z)]=AB\lim [f(z) \cdot g(z)] = A \cdot B
  3. lim[f(z)/g(z)]=A/B\lim [f(z)/g(z)] = A/B(当 B0B \neq 0

重要性质

  • limzz0f(z)\lim_{z\to z_0} f(z) 存在,则极限唯一。
  • limzz0f(z)=limzz0f(z)\lim_{z\to z_0} |f(z)| = |\lim_{z\to z_0} f(z)|

三、复变函数的连续性

定义 2.1.4(连续性)f(z)f(z)z0z_0 的某邻域内有定义。若

limzz0f(z)=f(z0)\lim_{z \to z_0} f(z) = f(z_0)

则称 f(z)f(z)z0z_0连续。若 f(z)f(z) 在区域 DD 内每一点都连续,则称 f(z)f(z)DD 内连续。

定理 2.1.2(连续性的实部分解) f(z)=u+ivf(z) = u+ivz0=x0+iy0z_0 = x_0+iy_0 连续,当且仅当 u(x,y)u(x,y)v(x,y)v(x,y) 均在 (x0,y0)(x_0, y_0) 连续。

连续函数的性质

  • 连续函数的和、差、积、商(分母不为零)仍连续。
  • 连续函数的复合仍连续。
  • f(z)f(z) 在有界闭集上连续,则 f(z)f(z) 在该闭集上有界,且能达到最大模和最小模(最值定理)。
  • f(z)f(z) 在有界闭集上连续,则 f(z)f(z) 在该闭集上一致连续

§2.2 解析函数的概念

一、复变函数的导数

定义 2.2.1(导数) 设函数 f(z)f(z)z0z_0 的某邻域内有定义。若极限

limΔz0f(z0+Δz)f(z0)Δz\lim_{\Delta z \to 0} \frac{f(z_0 + \Delta z) - f(z_0)}{\Delta z}

存在(且为有限复常数),则称 f(z)f(z)z0z_0可导(或可微),该极限值称为 f(z)f(z)z0z_0 处的导数,记作

f(z0)=dfdzz=z0f'(z_0) = \frac{df}{dz}\bigg|_{z=z_0}

关键区别:实变函数中,Δx0\Delta x \to 0 只有两种方式(从左或从右);而复变函数中,Δz0\Delta z \to 0无穷多种方式(沿任意曲线、任意方向)。因此复可导的条件比实可导苛刻得多

求导法则(与实变函数形式相同):

  1. (cf)=cf(cf)' = cf'
  2. (f±g)=f±g(f \pm g)' = f' \pm g'
  3. (fg)=fg+fg(fg)' = f'g + fg'
  4. (f/g)=(fgfg)/g2(f/g)' = (f'g - fg')/g^2g0g \neq 0
  5. 链式法则:ddz[f(g(z))]=f(g(z))g(z)\frac{d}{dz}[f(g(z))] = f'(g(z)) \cdot g'(z)

二、解析函数的定义

定义 2.2.2(解析函数 / 全纯函数)

  • f(z)f(z)z0z_0某邻域内处处可导,则称 f(z)f(z)z0z_0解析(analytic / holomorphic)。
  • f(z)f(z) 在区域 DD 内每一点都解析,则称 f(z)f(z)DD解析
  • f(z)f(z) 在整个复平面 C\mathbb{C} 上解析,则称 f(z)f(z)整函数(entire function)。

关键区分:

| 概念 | 条件 | 例子 | | -------------- | ------------------------------ | ------------------ | --- | ------------------- | | 在一点可导 | 仅在该点的导数定义式极限存在 | f(z)=z2f(z) = | z | ^2 仅在 z=0z=0 可导 | | 在一点解析 | 在该点的某个邻域内处处可导 | 需要邻域条件 | | 在区域解析 | 在区域内每一点可导 | ez,sinz,zne^z, \sin z, z^n |

🔴 高频考点:一点可导 ≠ 一点解析!解析要求邻域条件。f(z)=z2f(z) = |z|^2z=0z=0 可导但不解析,因为它在 z=0z=0 的任何邻域内不是处处可导。

定理 2.2.1(解析函数的性质)

  1. 解析函数的和、差、积、商(分母不为零)仍解析。
  2. 解析函数的复合仍解析。
  3. f(z)=0f'(z) = 0 在区域 DD 内恒成立,则 f(z)f(z)DD 内为常数。
  4. 解析函数具有任意阶导数(这是复变函数独有的深刻性质)。

§2.3 函数可导与解析的充要条件

这是整个第二章的理论核心,也是考试的重中之重。

一、柯西-黎曼方程(C-R 方程)

定理 2.3.1(可导的必要条件——C-R 方程)f(z)=u(x,y)+iv(x,y)f(z) = u(x,y) + iv(x,y)z0=x0+iy0z_0 = x_0 + iy_0 处可导,则在 (x0,y0)(x_0, y_0) 处,u,vu, v 的偏导数存在,且满足:

ux=vy,uy=vx\boxed{\frac{\partial u}{\partial x} = \frac{\partial v}{\partial y}}, \quad \boxed{\frac{\partial u}{\partial y} = -\frac{\partial v}{\partial x}}

同时,导数可表示为:

f(z0)=ux+ivx=vyiuy=uxiuy=vy+ivxf'(z_0) = \frac{\partial u}{\partial x} + i\frac{\partial v}{\partial x} = \frac{\partial v}{\partial y} - i\frac{\partial u}{\partial y} = \frac{\partial u}{\partial x} - i\frac{\partial u}{\partial y} = \frac{\partial v}{\partial y} + i\frac{\partial v}{\partial x}

推导过程(理解记忆)

因为 Δz=Δx+iΔy\Delta z = \Delta x + i\Delta y,导数定义为:

f(z0)=limΔz0Δu+iΔvΔx+iΔyf'(z_0) = \lim_{\Delta z \to 0} \frac{\Delta u + i\Delta v}{\Delta x + i\Delta y}
  • 沿实轴接近Δy=0\Delta y = 0,即 Δz=Δx\Delta z = \Delta x):

    f(z0)=limΔx0u(x0+Δx,y0)u(x0,y0)Δx+ilimΔx0v(x0+Δx,y0)v(x0,y0)Δx=ux(x0,y0)+ivx(x0,y0)f'(z_0) = \lim_{\Delta x \to 0} \frac{u(x_0+\Delta x, y_0)-u(x_0,y_0)}{\Delta x} + i\lim_{\Delta x \to 0} \frac{v(x_0+\Delta x, y_0)-v(x_0,y_0)}{\Delta x} = u_x(x_0, y_0) + i \cdot v_x(x_0, y_0)
  • 沿虚轴接近Δx=0\Delta x = 0,即 Δz=iΔy\Delta z = i\Delta y):

    f(z0)=limΔy0u(x0,y0+Δy)u(x0,y0)iΔy+ilimΔy0v(x0,y0+Δy)v(x0,y0)iΔy=1iuy+vy=iuy+vy=vyiuyf'(z_0) = \lim_{\Delta y \to 0} \frac{u(x_0, y_0+\Delta y)-u(x_0,y_0)}{i\Delta y} + i\lim_{\Delta y \to 0} \frac{v(x_0, y_0+\Delta y)-v(x_0,y_0)}{i\Delta y} = \frac{1}{i}u_y + v_y = -i u_y + v_y = v_y - i u_y

两种方式得到的导数必须相等:

ux+ivx=vyiuyu_x + i v_x = v_y - i u_y

实部与虚部分别相等,即得 C-R 方程。


定理 2.3.2(可导的充分条件)f(z)=u(x,y)+iv(x,y)f(z) = u(x,y) + iv(x,y)z0=x0+iy0z_0 = x_0 + iy_0 的某邻域内有定义。若:

  1. u,vu, v(x0,y0)(x_0, y_0)可微(即具有连续偏导数),
  2. u,vu, v(x0,y0)(x_0, y_0) 处满足 C-R 方程,

f(z)f(z)z0z_0可导


定理 2.3.3(解析的充要条件)f(z)=u(x,y)+iv(x,y)f(z) = u(x,y) + iv(x,y) 在区域 DD 内有定义。则 f(z)f(z)DD 内解析的充要条件是:

  1. u(x,y),v(x,y)u(x,y), v(x,y)DD 内处处可微(通常只需验证偏导数连续),
  2. DD 内处处满足 C-R 方程 ux=vy,uy=vx\displaystyle \frac{\partial u}{\partial x} = \frac{\partial v}{\partial y}, \quad \frac{\partial u}{\partial y} = -\frac{\partial v}{\partial x}

🔴 常见错误:仅验证 C-R 方程成立就断言解析,这是不充分的,必须同时验证 u,vu, v 的可微性(通常验证一阶偏导数连续即可)。


二、C-R 方程的极坐标形式

当用极坐标表示时:z=reiθz = re^{i\theta}f(z)=u(r,θ)+iv(r,θ)f(z) = u(r,\theta) + iv(r,\theta)

极坐标 C-R 方程

ur=1rvθ,vr=1ruθ\boxed{\frac{\partial u}{\partial r} = \frac{1}{r} \frac{\partial v}{\partial \theta}}, \quad \boxed{\frac{\partial v}{\partial r} = -\frac{1}{r} \frac{\partial u}{\partial \theta}}

导数公式:

f(z)=eiθ(ur+ivr)=1reiθ(vθiuθ)f'(z) = e^{-i\theta}\left(\frac{\partial u}{\partial r} + i\frac{\partial v}{\partial r}\right) = \frac{1}{r} e^{-i\theta}\left(\frac{\partial v}{\partial \theta} - i\frac{\partial u}{\partial \theta}\right)

推导思路:利用 x=rcosθx = r\cos\thetay=rsinθy = r\sin\theta,通过链式法则将直角坐标的 C-R 方程转化为极坐标形式。


三、调和函数与共轭调和函数

定义 2.3.1(调和函数) 若二元实函数 φ(x,y)\varphi(x,y) 在区域 DD 内具有连续的二阶偏导数,且满足拉普拉斯方程

Δφ=2φx2+2φy2=0\boxed{\Delta \varphi = \frac{\partial^2 \varphi}{\partial x^2} + \frac{\partial^2 \varphi}{\partial y^2} = 0}

则称 φ(x,y)\varphi(x,y)DD 内的调和函数

定理 2.3.4(解析函数的实部与虚部是调和函数)f(z)=u+ivf(z) = u+iv 在区域 DD 内解析,则 u(x,y)u(x,y)v(x,y)v(x,y) 都是 DD 内的调和函数。

证明思路:由 C-R 方程:ux=vyu_x = v_yuy=vxu_y = -v_x。 两边分别再求偏导:

  • x(ux)=x(vy)uxx=vyx\frac{\partial}{\partial x}(u_x) = \frac{\partial}{\partial x}(v_y) \Rightarrow u_{xx} = v_{yx}
  • y(uy)=y(vx)uyy=vxy\frac{\partial}{\partial y}(u_y) = \frac{\partial}{\partial y}(-v_x) \Rightarrow u_{yy} = -v_{xy}

由于 vyx=vxyv_{yx} = v_{xy}(偏导数连续性保证),相加得 uxx+uyy=0u_{xx} + u_{yy} = 0。同理可证 vxx+vyy=0v_{xx} + v_{yy} = 0

定义 2.3.2(共轭调和函数)uuvv 都是区域 DD 内的调和函数,且满足 C-R 方程,则称 vvuu共轭调和函数

注意:uuvv 的地位不对称——vvuu 的共轭调和函数,但 u-u 才是 vv 的共轭调和函数。


四、已知实部求解析函数(考试重点题型)

问题:已知调和函数 u(x,y)u(x,y),求以 uu 为实部的解析函数 f(z)=u+ivf(z) = u + iv

解法一(偏积分法)

  1. 由 C-R 方程:vx=uyv_x = -u_yvy=uxv_y = u_x
  2. vx=uyv_x = -u_y 关于 xx 积分得 v=(uy)dx+φ(y)v = \int (-u_y) \,dx + \varphi(y)
  3. 对上述结果关于 yy 求偏导,利用 vy=uxv_y = u_x 确定 φ(y)\varphi'(y),再积分得 φ(y)\varphi(y)
  4. 最终 f(z)=u+ivf(z) = u + iv

解法二(利用导数公式)

f(z)=ux+ivx=uxiuyf'(z) = u_x + iv_x = u_x - iu_y

将右边的 x,yx, yzzzˉ\bar{z} 表达(利用 x=z+zˉ2,y=zzˉ2ix = \frac{z+\bar{z}}{2}, y = \frac{z-\bar{z}}{2i}),若 f(z)f'(z) 仅依赖于 zz 而不含 zˉ\bar{z},则可直接对 zz 积分得到 f(z)f(z)


§2.4 初等函数

初等函数是指数函数、三角函数、对数函数、幂函数等在复数域中的推广。

一、指数函数 eze^z

定义 2.4.1 对任意 z=x+iyz = x + iy,定义

ez=ex+iy=ex(cosy+isiny)\boxed{e^z = e^{x+iy} = e^x (\cos y + i\sin y)}

基本性质

  1. ez=ex=eRez|e^z| = e^x = e^{\operatorname{Re}z}。注意:ez|e^z| 仅取决于实部!
  2. 辐角arg(ez)=y+2kπ=Imz+2kπ\arg(e^z) = y + 2k\pi = \operatorname{Im}z + 2k\pi
  3. 周期性ez+2πi=eze^{z+2\pi i} = e^z,周期为 T=2πiT = 2\pi i。这是复数域独有的——实数指数函数无周期性!
  4. 加法公式ez1+z2=ez1ez2e^{z_1+z_2} = e^{z_1} \cdot e^{z_2}
  5. 处处解析(ez)=ez(e^z)' = e^z
  6. ez0e^z \neq 0 对任何 zz 成立(指数函数永不为零)。

欧拉公式的特例(必记):

eiπ=1,eiπ/2=i,e2πi=1e^{i\pi} = -1, \quad e^{i\pi/2} = i, \quad e^{2\pi i} = 1

二、三角函数

定义 2.4.2 对任意复数 zz

sinz=eizeiz2i,cosz=eiz+eiz2\boxed{\sin z = \frac{e^{iz} - e^{-iz}}{2i}}, \quad \boxed{\cos z = \frac{e^{iz} + e^{-iz}}{2}}

基本性质

  1. 解析性sinz\sin zcosz\cos z 在整个复平面上解析(整函数)。
  2. 导数(sinz)=cosz(\sin z)' = \cos z(cosz)=sinz(\cos z)' = -\sin z
  3. 周期性sin(z+2π)=sinz\sin(z+2\pi) = \sin zcos(z+2π)=cosz\cos(z+2\pi) = \cos z
  4. 恒等式sin2z+cos2z=1\sin^2 z + \cos^2 z = 1;和差公式、倍角公式在复数域中仍成立。
  5. 零点
    • sinz=0z=kπ\sin z = 0 \Longleftrightarrow z = k\pi
    • cosz=0z=π2+kπ\cos z = 0 \Longleftrightarrow z = \frac{\pi}{2} + k\pi

🔴 极易出错! 在复数域中,sinz\sin zcosz\cos z 是无界的

例如:cos(i)=e1+e121.543>1\cos(i) = \frac{e^{-1} + e^{1}}{2} \approx 1.543 > 1

样卷选择题经常在此设陷阱:“下列结论错误的是”——选项“cosz1|\cos z| \leq 1”就是错的。

其他三角函数

tanz=sinzcosz,cotz=coszsinz,secz=1cosz,cscz=1sinz\tan z = \frac{\sin z}{\cos z}, \quad \cot z = \frac{\cos z}{\sin z}, \quad \sec z = \frac{1}{\cos z}, \quad \csc z = \frac{1}{\sin z}

它们在其分母不为零处解析,求导法则与实变函数一致。

三、双曲函数

定义 2.4.3

sinhz=ezez2,coshz=ez+ez2\boxed{\sinh z = \frac{e^z - e^{-z}}{2}}, \quad \boxed{\cosh z = \frac{e^z + e^{-z}}{2}}

与三角函数的关系(必记):

sinh(iz)=isinz,cosh(iz)=cosz\sinh(iz) = i\sin z, \quad \cosh(iz) = \cos z sin(iz)=isinhz,cos(iz)=coshz\sin(iz) = i\sinh z, \quad \cos(iz) = \cosh z

双曲函数的模无界性与三角函数类似

四、对数函数 Lnz\operatorname{Ln} z

定义 2.4.4ew=ze^w = z,则称 wwzz对数,记作 w=Lnzw = \operatorname{Ln} z

z=reiθz = re^{i\theta},得:

Lnz=lnz+iargz+2kπi=lnr+i(θ+2kπ),kZ\boxed{\operatorname{Ln} z = \ln |z| + i \arg z + 2k\pi i = \ln r + i(\theta + 2k\pi)}, \quad k \in \mathbb{Z}

主值(记作 lnz\ln zLn0z\operatorname{Ln}_0 z):

lnz=lnz+iargz,π<argzπ\boxed{\ln z = \ln |z| + i \arg z}, \quad -\pi < \arg z \leq \pi

关键性质

  1. Lnz\operatorname{Ln} z多值函数,有无穷多个分支,彼此相差 2πi2\pi i 的整数倍。
  2. lnz\ln z主值分支(即取 k=0k=0,辐角在 (π,π](-\pi, \pi] 内)。
  3. 各单值分支在沿割线(通常取负实轴)的复平面上解析
  4. 导数:(Lnz)=1z(\operatorname{Ln} z)' = \frac{1}{z}(在各单值分支上)。

🔴 注意Ln(z1z2)=Lnz1+Lnz2\operatorname{Ln}(z_1 z_2) = \operatorname{Ln} z_1 + \operatorname{Ln} z_2集合意义成立,但对主值不一定成立。

五、幂函数 zαz^\alpha

定义 2.4.5 对任意复常数 α\alpha

zα=eαLnz\boxed{z^\alpha = e^{\alpha \operatorname{Ln} z}}

分类讨论

α\alpha 的类型zαz^\alpha 的性质
α=nZ+\alpha = n \in \mathbb{Z}^+单值解析函数,znz^n 即为普通幂函数
α=n\alpha = -n(负整数)单值,除 z=0z=0 外解析
α=pq\alpha = \frac{p}{q}(有理数,既约)qq 值函数
α\alpha 为无理数或一般复数无穷多值函数

主值(对应 Lnz\operatorname{Ln} z 取主值 lnz\ln z):

主值(zα)=eαlnz\text{主值}(z^\alpha) = e^{\alpha \ln z}

导数(在各单值分支上):(zα)=αzα1(z^\alpha)' = \alpha z^{\alpha-1}

特殊值(常考):

  • 12=e2Ln1=e22kπi=cos(22kπ)+isin(22kπ)1^{\sqrt{2}} = e^{\sqrt{2} \operatorname{Ln} 1} = e^{\sqrt{2} \cdot 2k\pi i} = \cos(2\sqrt{2}k\pi) + i\sin(2\sqrt{2}k\pi)——无穷多值!
  • ii=eiLni=eii(π2+2kπ)=e(π2+2kπ)i^i = e^{i \operatorname{Ln} i} = e^{i \cdot i(\frac{\pi}{2} + 2k\pi)} = e^{-(\frac{\pi}{2} + 2k\pi)}——无穷多个实数值!

六、反三角函数

定义 2.4.6 反三角函数可用对数函数表示:

arcsinz=iLn(iz+1z2)\boxed{\arcsin z = -i \operatorname{Ln}(iz + \sqrt{1-z^2})} arccosz=iLn(z+z21)\boxed{\arccos z = -i \operatorname{Ln}(z + \sqrt{z^2-1})} arctanz=i2Ln1iz1+iz\boxed{\arctan z = \frac{i}{2} \operatorname{Ln}\frac{1-iz}{1+iz}}

这些是多值函数(因含有 Ln\operatorname{Ln})。

推导:由 sinw=eiweiw2i=z\sin w = \frac{e^{iw}-e^{-iw}}{2i} = z,解出 eiwe^{iw},再取对数即得。


第二章习题精讲(对应题库 2.pdf)

第一部分:判断与填空(逐题解析)

第1题:「若 f(z)=u(x,y)+iv(x,y)f(z)=u(x,y)+iv(x,y) 在区域 DD 上满足柯西-黎曼条件,则它在区域 DD 内解析。」

错误。满足 C-R 方程只是解析的必要条件,还需 u,vu, v 可微(偏导数连续)。反例:可构造满足 C-R 但偏导数不连续的函数,它并不可导。

第2题:「若 f(z)f(z) 在点 z0z_0 可导,则 f(z)f(z) 在点 z0z_0 解析。」

错误。一点可导不意味着该点的邻域内可导。典型反例:f(z)=z2=zzˉf(z) = |z|^2 = z\bar{z},在 z=0z=0 处可导(导数 = 0),但在任何邻域内不解析(因为仅在原点满足 C-R 方程)。

第3题:「若 f(z)f(z) 在点 z0z_0 解析,则存在 δ>0\delta>0,使得 f(z)f(z)U(z0,δ)U(z_0, \delta) 内解析。」

正确。解析的定义本身就是存在一个邻域在该邻域内处处可导。注意这里说的是解析推出存在解析邻域——这是解析函数的基本性质。

第4题:「若 f(z)f(z) 在点 z0z_0 不连续,则 f(z)f(z) 在点 z0z_0 不可导。」

正确。可导必连续,逆否命题成立:不连续必不可导。

第5题:「设 lnz=1+πi\ln z = 1 + \pi i,则 z=___z = \_\_\_。」

lnz=lnz+iargz=1+πi\ln z = \ln|z| + i\arg z = 1 + \pi i,故 lnz=1\ln|z| = 1argz=π\arg z = \pi。 因此 z=e1=e|z| = e^1 = eargz=π\arg z = \pi,得 z=eeiπ=e(1)=ez = e \cdot e^{i\pi} = e \cdot (-1) = -e

答案:z=ez = -e

第6题:「当 z=___z = \_\_\_ 时,eze^z 为实数。」

ez=ex(cosy+isiny)e^z = e^x(\cos y + i\sin y) 为实数当且仅当虚部为零,即 siny=0\sin y = 0y=kπy = k\pikZk \in \mathbb{Z}。 即 Im(z)=kπ\operatorname{Im}(z) = k\pi

答案:Im(z)=kπ\operatorname{Im}(z) = k\pikZk \in \mathbb{Z}

第7题:「求 eπi3e^{-\frac{\pi i}{3}} 的值。」

eπi3=cos(π3)+isin(π3)=12i32e^{-\frac{\pi i}{3}} = \cos\left(-\frac{\pi}{3}\right) + i\sin\left(-\frac{\pi}{3}\right) = \frac{1}{2} - i\frac{\sqrt{3}}{2}

第8题:「求 sin(1+i)\sin(1+i) 的值。」

sin(1+i)=ei(1+i)ei(1+i)2i=e1+ie1i2i=e1(cos1+isin1)e1(cos1isin1)2i\sin(1+i) = \frac{e^{i(1+i)} - e^{-i(1+i)}}{2i} = \frac{e^{-1+i} - e^{1-i}}{2i} = \frac{e^{-1}(\cos 1 + i\sin 1) - e^{1}(\cos 1 - i\sin 1)}{2i}

整理得:

sin(1+i)=sin1cosh1+icos1sinh1\sin(1+i) = \sin 1 \cosh 1 + i \cos 1 \sinh 1

或直接使用公式 sin(x+iy)=sinxcoshy+icosxsinhy\sin(x+iy) = \sin x \cosh y + i \cos x \sinh y

第9题:「sinz\sin z 的周期为___。」

sin(z+T)=sinz\sin(z+T) = \sin z 对所有 zz 成立的最小正周期是 T=2πT = 2\pi

第10题:「(z+1)5(z+1)^5 的解析区域为___,其导数为___。」

:多项式函数在整个复平面上解析。解析区域:C\mathbb{C}(整个复平面)。导数:5(z+1)45(z+1)^4

第11题:「设 ez=1e^z = -1,则 z=___z = \_\_\_。」

1=eπi+2kπi=e(2k+1)πi-1 = e^{\pi i + 2k\pi i} = e^{(2k+1)\pi i},故 z=(2k+1)πiz = (2k+1)\pi ikZk \in \mathbb{Z}

第12题:「eze^z 的周期为___。」

ez+2πi=eze^{z+2\pi i} = e^z,周期为 T=2πiT = 2\pi i

第13题:「设 f(z)=u+ivf(z)=u+iv 在区域 DD 上,若 uuvvDD 上有界,则 f(z)f(z)DD 上有界。」

正确f=u2+v2|f| = \sqrt{u^2+v^2},若 u,vu, v 有界,则 f|f| 有界。但需注意这里并没有说 ff 解析——只是一个简单的模不等式问题。若 u,vu, v 分别有界,则 fMu2+Mv2|f| \leq \sqrt{M_u^2 + M_v^2}


第二部分:证明与计算(逐题解析)

第1题:连续性讨论

:试问函数 11+z2\frac{1}{1+z^2} 在单位圆盘 z<1|z|<1 内是否连续?是否一致连续?

:分母 1+z2=01+z^2 = 0 当且仅当 z=±iz = \pm i,这两点在单位圆周上(i=i=1|i| = |-i| = 1),不在开圆盘 z<1|z|<1 内。因此在 z<1|z|<1 内分母不为零,函数作为解析函数的商是解析的,从而连续。

关于一致连续性:在开圆盘 z<1|z|<1 内,函数连续但不一致连续。因为当 zz 趋近于 ±i\pm i(圆周边界点)时,函数趋于无穷,不存在连续模估计。

第2题:不可微证明

:证明函数 f(z)=z2f(z) = |z|^2 除去在 z=0z=0 外,处处不可微。

证明f(z)=z2=x2+y2f(z) = |z|^2 = x^2 + y^2,所以 u=x2+y2u = x^2+y^2v=0v = 0

C-R 方程要求:ux=vy2x=0x=0u_x = v_y \Rightarrow 2x = 0 \Rightarrow x = 0uy=vx2y=0y=0u_y = -v_x \Rightarrow 2y = 0 \Rightarrow y = 0

因此仅在原点 z=0z=0 满足 C-R 方程。在原点处可直接用定义验证:

f(0)=limΔz0Δz2Δz=limΔz0Δz=0f'(0) = \lim_{\Delta z \to 0} \frac{|\Delta z|^2}{\Delta z} = \lim_{\Delta z \to 0} \overline{\Delta z} = 0

所以在 z=0z=0 处可导(导数为 0),但在任何 z0z \neq 0 处不满足 C-R 方程,从而不可导。

由于原点可导但任何邻域内包含不满足 C-R 的点,故处处不解析。

第3-5题:解析函数为常数的三种条件

第3题:若 f(z)=0f'(z) = 0DD 内每点成立,则 ffDD 内为常数。

证明:由 f(z)=ux+ivx=vyiuy=0f'(z) = u_x + iv_x = v_y - iu_y = 0,得 ux=vx=uy=vy=0u_x = v_x = u_y = v_y = 0DD 内恒成立,因此 u,vu, v 均为常数,故 ff 为常数。

第4题:若 f(z)|f(z)|DD 内为常数,则 ffDD 内为常数。

证明:设 f(z)=c|f(z)| = c(常数)。若 c=0c=0,则 f(z)0f(z) \equiv 0,显然为常数。

c>0c > 0,则 u2+v2=c2u^2 + v^2 = c^2。两边分别对 x,yx, y 求偏导:

2uux+2vvx=0,2uuy+2vvy=02u u_x + 2v v_x = 0, \quad 2u u_y + 2v v_y = 0

利用 C-R 方程 vx=uyv_x = -u_yvy=uxv_y = u_x 代入:

uuxvuy=0,uuy+vux=0u u_x - v u_y = 0, \quad u u_y + v u_x = 0

这是关于 ux,uyu_x, u_y 的齐次线性方程组。系数行列式 =u2+v2=c20= u^2+v^2 = c^2 \neq 0,故 ux=uy=0u_x = u_y = 0,从而 uu 为常数。同理 vv 为常数,故 ff 为常数。

第5题:若 Re[f(z)]\operatorname{Re}[f(z)]DD 内为常数,则 ffDD 内为常数。

证明:设 uu 为常数,则 ux=uy=0u_x = u_y = 0。由 C-R 方程:vy=ux=0v_y = u_x = 0vx=uy=0v_x = -u_y = 0,故 vv 也为常数,因此 ff 为常数。

第7题:用C-R条件证明解析性/非解析性

:试证 z2,ez,sinz,coszz^2, e^z, \sin z, \cos z 在复平面解析,而 zˉ,zˉ2,ezˉ,sinzˉ,coszˉ\bar{z}, \bar{z}^2, e^{\bar{z}}, \sin \bar{z}, \cos \bar{z} 不解析。

证明思路(以 z2z^2zˉ\bar{z} 为例):

f(z)=z2f(z) = z^2u=x2y2u = x^2-y^2v=2xyv = 2xy

  • ux=2x=vyu_x = 2x = v_y
  • uy=2y=vxu_y = -2y = -v_x
  • 偏导数连续,故在整个复平面解析。

f(z)=zˉ=xiyf(z) = \bar{z} = x - iyu=xu = xv=yv = -y

  • ux=1u_x = 1vy=1v_y = -1,不相等 ✗
  • 在整个复平面不满足 C-R 方程,故处处不可导,不解析。

一般结论:任何依赖于 zˉ\bar{z} 的函数在复平面上不解析(除非是常数)。

第8题:极坐标C-R方程证明

:证明在极坐标下 C-R 条件为 ur=1rvθ\frac{\partial u}{\partial r} = \frac{1}{r}\frac{\partial v}{\partial \theta}vr=1ruθ\frac{\partial v}{\partial r} = -\frac{1}{r}\frac{\partial u}{\partial \theta}

证明:由链式法则:

ur=uxxr+uyyr=uxcosθ+uysinθ\frac{\partial u}{\partial r} = \frac{\partial u}{\partial x}\frac{\partial x}{\partial r} + \frac{\partial u}{\partial y}\frac{\partial y}{\partial r} = u_x \cos\theta + u_y \sin\theta vθ=vx(rsinθ)+vy(rcosθ)=rvxsinθ+rvycosθ\frac{\partial v}{\partial \theta} = v_x(-r\sin\theta) + v_y(r\cos\theta) = -r v_x \sin\theta + r v_y \cos\theta

利用直角坐标 C-R 方程 ux=vyu_x = v_yuy=vxu_y = -v_x

1rvθ=vxsinθ+vycosθ=uysinθ+uxcosθ=ur\frac{1}{r}\frac{\partial v}{\partial \theta} = -v_x\sin\theta + v_y\cos\theta = u_y\sin\theta + u_x\cos\theta = \frac{\partial u}{\partial r}

第二个公式类似可证。

第9题:计算特殊值

:求 e2+ie^{2+i}iii^i(2)2(-2)^2 的值。

(1) e2+ie^{2+i}

e2+i=e2ei=e2(cos1+isin1)e^{2+i} = e^2 \cdot e^i = e^2(\cos 1 + i\sin 1)

(2) iii^i

ii=eiLni=eii(π2+2kπ)=e(π2+2kπ)i^i = e^{i\operatorname{Ln} i} = e^{i \cdot i(\frac{\pi}{2}+2k\pi)} = e^{-(\frac{\pi}{2}+2k\pi)}

主值:eπ/2e^{-\pi/2}(取 k=0k=0)。

(3) (2)2(-2)^2: 这里指数 2 是整数,所以是单值的:

(2)2=4(-2)^2 = 4

第10题:对数计算

:求 Ln(1+i)\operatorname{Ln}(1+i)121^{\sqrt{2}} 的值。

(1) Ln(1+i)\operatorname{Ln}(1+i)

1+i=2(cosπ4+isinπ4)1+i = \sqrt{2}\left(\cos\frac{\pi}{4} + i\sin\frac{\pi}{4}\right) Ln(1+i)=ln2+i(π4+2kπ)=12ln2+i(π4+2kπ)\operatorname{Ln}(1+i) = \ln\sqrt{2} + i\left(\frac{\pi}{4} + 2k\pi\right) = \frac{1}{2}\ln 2 + i\left(\frac{\pi}{4} + 2k\pi\right)

主值:ln(1+i)=12ln2+iπ4\ln(1+i) = \frac{1}{2}\ln 2 + i\frac{\pi}{4}

(2) 121^{\sqrt{2}}

12=e2Ln1=e22kπi=cos(22kπ)+isin(22kπ)1^{\sqrt{2}} = e^{\sqrt{2}\operatorname{Ln} 1} = e^{\sqrt{2} \cdot 2k\pi i} = \cos(2\sqrt{2}k\pi) + i\sin(2\sqrt{2}k\pi)

无穷多值!

第11题:反三角函数的对数表达式

:利用对数函数求出 arcsinz\arcsin zarccosz\arccos z 的解析表达式。

推导:由 w=arcsinzw = \arcsin zsinw=z\sin w = z

eiweiw2i=z\frac{e^{iw} - e^{-iw}}{2i} = z

t=eiwt = e^{iw},则 t22izt1=0t^2 - 2izt - 1 = 0

t=iz±1z2t = iz \pm \sqrt{1-z^2} eiw=iz+1z2(取主值分支)e^{iw} = iz + \sqrt{1-z^2} \quad (\text{取主值分支}) arcsinz=iLn(iz+1z2)\arcsin z = -i \operatorname{Ln}(iz + \sqrt{1-z^2})

类似可得 arccosz=iLn(z+z21)\arccos z = -i \operatorname{Ln}(z + \sqrt{z^2-1})

第12题:复偏导数的 C-R 表述

:设 u(x,y)u(x,y) 有偏导数,证明 uz=12(uxiuy)\frac{\partial u}{\partial z} = \frac{1}{2}(u_x - iu_y)uzˉ=12(ux+iuy)\frac{\partial u}{\partial \bar{z}} = \frac{1}{2}(u_x + iu_y),并证明 C-R 条件可写为 fzˉ=0\frac{\partial f}{\partial \bar{z}} = 0

证明:由 x=z+zˉ2x = \frac{z+\bar{z}}{2}y=zzˉ2iy = \frac{z-\bar{z}}{2i},链式法则:

uz=uxxz+uyyz=ux12+uy12i=12(uxiuy)\frac{\partial u}{\partial z} = u_x \frac{\partial x}{\partial z} + u_y \frac{\partial y}{\partial z} = u_x \cdot \frac{1}{2} + u_y \cdot \frac{1}{2i} = \frac{1}{2}(u_x - iu_y) uzˉ=uxxzˉ+uyyzˉ=ux12+uy(12i)=12(ux+iuy)\frac{\partial u}{\partial \bar{z}} = u_x \frac{\partial x}{\partial \bar{z}} + u_y \frac{\partial y}{\partial \bar{z}} = u_x \cdot \frac{1}{2} + u_y \cdot \left(-\frac{1}{2i}\right) = \frac{1}{2}(u_x + iu_y)

f=u+ivf = u + iv

fzˉ=12(ux+iuy)+i2(vx+ivy)=12(uxvy)+i2(uy+vx)\frac{\partial f}{\partial \bar{z}} = \frac{1}{2}(u_x + iu_y) + \frac{i}{2}(v_x + iv_y) = \frac{1}{2}(u_x - v_y) + \frac{i}{2}(u_y + v_x)

C-R 方程 ux=vyu_x = v_yuy=vxu_y = -v_x 等价于 fzˉ=0\frac{\partial f}{\partial \bar{z}} = 0

这是一个极高观点的结论:解析函数就是与 zˉ\bar{z} 无关的函数(在导数意义下)!

第13-15题:多值函数的解析分支

第13题:在复平面上取上半虚轴作割线,取定 z\sqrt{z}Lnz\operatorname{Ln} z 在正实轴取正实值的解析分支,求它们在 z=iz=i 处的值。

:割线是上半虚轴(即从原点出发沿正虚轴方向的射线)。

z\sqrt{z}:要求 1=1\sqrt{1} = 1(正实轴上取正值)。在割后的区域(即 C\mathbb{C} 去掉上半虚轴),辐角范围为 (3π2,π2](-\frac{3\pi}{2}, \frac{\pi}{2}]

i=eiπ/2i = e^{i\pi/2},在此范围内 arg(i)=π2\arg(i) = \frac{\pi}{2}

i=eiπ/4=22+i22\sqrt{i} = e^{i\pi/4} = \frac{\sqrt{2}}{2} + i\frac{\sqrt{2}}{2}

Lnz\operatorname{Ln} zLn(i)=ln1+iπ2+2kπi\operatorname{Ln}(i) = \ln 1 + i\frac{\pi}{2} + 2k\pi i,主值该分支中 arg(i)=π2\arg(i)=\frac{\pi}{2},故该分支在 z=iz=i 的值为 π2i\frac{\pi}{2}i

第16题:推理错误分析

:找出推理错误:因为 (z)2=z2(-z)^2 = z^2,所以 2Ln(z)=2Lnz2\operatorname{Ln}(-z) = 2\operatorname{Ln} z,因此 Ln(z)=Lnz\operatorname{Ln}(-z) = \operatorname{Ln} z

错误分析Ln\operatorname{Ln} 是多值函数,Ln(w2)=2Lnw\operatorname{Ln}(w^2) = 2\operatorname{Ln} w 对集合意义成立(即左右两边的值集合相等),但不能推出 Ln(z)=Lnz\operatorname{Ln}(-z) = \operatorname{Ln} z

实际上,Ln(z)=lnz+iarg(z)+2kπi\operatorname{Ln}(-z) = \ln|z| + i\arg(-z) + 2k\pi iLnz=lnz+iargz+2kπi\operatorname{Ln} z = \ln|z| + i\arg z + 2k\pi i,而 arg(z)=argz+π\arg(-z) = \arg z + \pi(当 argz\arg z 不在边界时),因此 Ln(z)=Lnz+πi\operatorname{Ln}(-z) = \operatorname{Ln} z + \pi i,不相等。

推理中从 2Ln(z)=2Lnz2\operatorname{Ln}(-z) = 2\operatorname{Ln} z 两边”除以 2”,忽略了对数函数多值性带来的集合相等与元素相等的区别。

第19题:若 f(z)f(z)f(z)\overline{f(z)} 均在 D 内解析,则 f(z)f(z) 为常数

证明:设 f=u+ivf = u+iv 解析,满足 C-R:ux=vyu_x = v_yuy=vxu_y = -v_x

f=uiv\overline{f} = u - iv 也解析,满足 C-R:ux=(v)y=vyu_x = (-v)_y = -v_yuy=(v)x=vxu_y = -(-v)_x = v_x

联合:ux=vyu_x = v_yux=vyu_x = -v_y,故 ux=vy=0u_x = v_y = 0uy=vxu_y = -v_xuy=vxu_y = v_x,故 uy=vx=0u_y = v_x = 0

因此 u,vu, v 为常数,ff 为常数。


🔑 第二章核心定理与公式速查表

必背关键定理

定理内容
C-R 方程(直角坐标)ux=vyu_x = v_yuy=vxu_y = -v_x
C-R 方程(极坐标)ur=1rvθu_r = \frac{1}{r}v_\thetavr=1ruθv_r = -\frac{1}{r}u_\theta
可导必要条件可导 ⇒ C-R 成立
可导充分条件偏导数连续 + C-R ⇒ 可导
解析充要条件偏导数连续 + C-R ⇔ 在区域内解析
调和性解析 ⇒ u,vu, v 均为调和函数(满足 Δ=0\Delta=0
解析 ⇒ 无穷阶可导一经解析,拥有任意阶导数
C-R 的复形式fzˉ=0\frac{\partial f}{\partial \bar{z}} = 0

初等函数速查

函数公式周期解析域特殊值
eze^zex(cosy+isiny)e^x(\cos y + i\sin y)2πi2\pi iC\mathbb{C}eiπ=1e^{i\pi}=-1
sinz\sin zeizeiz2i\frac{e^{iz}-e^{-iz}}{2i}2π2\piC\mathbb{C}零点:kπk\pi
cosz\cos zeiz+eiz2\frac{e^{iz}+e^{-iz}}{2}2π2\piC\mathbb{C}零点:π2+kπ\frac{\pi}{2}+k\pi
Lnz\operatorname{Ln} zlnz+i(argz+2kπ)\ln\|z\| + i(\arg z+2k\pi)割线外Ln(1)=(2k+1)πi\operatorname{Ln}(-1)=(2k+1)\pi i
zαz^\alphaeαLnze^{\alpha\operatorname{Ln} z}α\alpha 而定ii=eπ/2+2kπi^i = e^{-\pi/2+2k\pi}

常见误区(考试选择题挖坑重点)

| 错误说法 | 正确理解 | | ---------------------------------------------------------------------------- | --------------------------------------- | ------- | ------------------------------------------ | | sinz1 | \sin z | \leq 1 | ❌ 复数域无界,例如 cosi1.543\cos i \approx 1.543 | | cosz1 | \cos z | \leq 1 | ❌ 同上 | | 可导 = 解析 | ❌ 一点可导不等于解析,需邻域条件 | | 满足 C-R = 解析 | ❌ 还需偏导数连续(可微) | | Ln(z1z2)=Lnz1+Lnz2\operatorname{Ln}(z_1 z_2) = \operatorname{Ln} z_1 + \operatorname{Ln} z_2 | ⚠️ 对主值不一定成立,仅在集合意义下成立 | | zαz^\alpha 总是单值 | ❌ 视 α\alpha 而定,一般多值 |


以上是第二章的完整内容详解。这一章是整个复变函数理论的基础,特别是 C-R 方程和初等函数的性质,在后续的积分、级数、留数等章节中会反复用到。建议重点掌握:

  1. C-R 方程的验证与使用(解析性判断)
  2. 调和函数与共轭调和函数的求法(已知实部求解析函数)
  3. 初等函数的复数形式与性质(特别是多值函数的理解)
  4. 对数函数的分支与主值(割线的理解)
显示设置
主题色相
壁纸模式
樱花粒子