1427 字
7 分钟
复变函数:极限与连续

复变函数的定义#

设E是复平面C上的一个点集,如果有一个对应法则f使得

z=x+iyE,ω=u+ivC\forall z=x+iy\in E, \exist \omega=u+iv\in C

和他对应,则 ff 称为在 EE 上确定的复变函数。 函数 ff 表示一种对应关系,记作:

f(z)或者zf(z)f(z)\text{或者}z\mapsto f(z)
  • 在复平面上,每一个 ω\omega 的称为对应 zzzz 称为对应的 ω\omega原象

  • ff 是从 E(x,y坐标系,z复平面)E\text{(x,y坐标系,z复平面)}E(u,v坐标系,ω复平面)E^* \text{(u,v坐标系,}\omega\text{复平面)}映射(不一定是双射,但一定是单射)

  • 对于实变函数,其映射是从实数集到实数集;对于复变函数,其映射是从复平面到复平面。(理论上 ω=f(z)\omega=f(z) 的图像应该是四维的 (x,y,u,v)(x,y,u,v),为了描述方便引入两个平面)

ω\omegazz 关于函数 ff 的值,这几个记法等价:

ω=f(z)u+iv=f(x+iy){u=u(x,y)v=v(x,y)f(z)=u(x,y)+iv(x,y)\begin{align*} &\omega = f(z)\\ \Leftrightarrow &u+iv =f(x+iy)\\ \Leftrightarrow&\left\{\begin{matrix} u=u(x,y)\\v=v(x,y) \end{matrix} \right.\\[10bp] \Leftrightarrow &f(z)=u(x,y)+iv(x,y) \end{align*}

事实上,任给一个复变函数,都确定了两个x,yx,y 为变量的实变二元函数 u(x,y)u(x,y)v(x,y)v(x,y),反之亦然。

f(z)=f(x+iy)u+ivf(z)=f(x+iy)\Rightarrow u+iv\\[5bp]
  • 求出 u(x,y),v(x,y),u(x,y), v(x,y), 根据 x,yx,yzz 复平面中的关系,消去 x,yx,y,得到 u,vu,v 的数量关系,进而可以得到在 ω\omega 平面下的图形。
  • 复变函数可以由两个实函数表示,它的极限与连续性自然也可以通过这两个实变量函数来刻画。

eg1:x=C1,x=C_1,w=z2w=z^2

solution
w=z2=x2y2+2ixyu=x2y2,v=2xyx=C1,消去yy=v2C1u=C12(v2C1)2\begin{align*} w=z^2=x^2-y^2+2ixy\\ u=x^2-y^2,v=2xy\\ x=C_1,\text{消去}y\\ y=\frac{v}{2C_1}\\ \therefore u={C_1}^2-({\frac{v}{2C_1}})^2 \end{align*}

图像是一个抛物线。

eg2:x2y2=1,x^2-y^2=1,w=1zw=\frac{1}{z}

solution
z=reiθw=ρeiϕw=1z=1reiθρ=1r,ϕ=θ{x=rcosθy=rsinθ带入r2cos2θ=11ρ2cos2ϕ=1ρ2=cos2ϕ,ϕ[0,2π]z=re^{i\theta},w=\rho e^{i\phi}\\ w=\frac{1}{z}=\frac{1}{r}e^{-i\theta}\Rightarrow\rho =\frac{1}{r},\phi=-\theta\\ \begin{cases} x=r\cos\theta\\ y=r\sin\theta \end{cases}\text{带入}\\ r^2\cdot\cos2\theta=1\\ \therefore \frac{1}{\rho^2}\cdot\cos{-2\phi}=1\\ \rho^2=\cos2\phi,\phi\in[0,2\pi]\\

图像是一个双扭线

复变函数的极限#

极限的定义#

类比实变函数的极限定义复变函数的极限:设函数 ω=f(z)\omega=f(z) 在点 z0z_0去心邻域 0<zz0<ρ0<|z-z_0|<\rho 内有定义。 A\exist A,对 ϵ>0\forall\epsilon>0,相应存在正数 δ=δ(ϵ),(0<δ<ρ\delta=\delta(\epsilon),(0<\delta<\rho),使得当 0<zz0<δ0<|z-z_0|<\delta 时有 f(z)A<ϵ|f(z)-A|<\epsilon,称 AAf(z)f(z)zz 趋向于 z0z_0 时的极限,记作:

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

等价的形式化定义如下:

ϵ>0δ>0,0<zz0<δ    f(z)A<ϵlimzz0f(z)=A\forall\epsilon>0, \exist\delta>0,0<|z-z_0|<\delta, \implies|f(z)-A|<\epsilon\\ \Leftrightarrow \lim_{z\to z_0}{f(z)}=A
  • 这个定义不依赖于复数的表示形式。

对于直角坐标系形式的复数:

z=x+iy,z0=x0+iy0limzz0f(z)=A    lim(x,y)(x0,y0)f(x+iy)=Az = x + iy, \quad z_0 = x_0 + iy_0\\[5pt] \lim_{z \to z_0} f(z) = A \iff \lim_{(x,y) \to (x_0,y_0)} f(x+iy) = A

其含义是:

ε>0,δ>0,0<(xx0)2+(yy0)2<δ    f(x+iy)A<ε\forall \, \varepsilon > 0, \exists \delta > 0, 0 < \sqrt{(x-x_0)^2+(y-y_0)^2} < \delta\\ \implies |f(x+iy) - A| < \varepsilon

对于极坐标形式的复数

zz0=reiθ,r>0,θ[0,2π)limzz0f(z)=A    limr0+f(z0+reiθ)=Az - z_0 = r e^{i\theta}, \quad r > 0, \, \theta \in [0,2\pi)\\[5bp] \lim_{z \to z_0} f(z) = A\iff \lim_{r\to0^+}f(z_0 + r e^{i\theta})=A

其含义是:

ε>0,δ>0,0<r<δ    f(z0+reiθ)A<ε\forall \, \varepsilon > 0, \, \exists \, \delta > 0, 0 < r < \delta \\ \implies |f(z_0 + r e^{i\theta}) - A| < \varepsilon

并且要求极限值 与角度 θ\theta 无关


  • 与实变函数不同的是,复平面内 zz0z\to z_0 可以从无穷多方向趋近,因此极限必须与路径无关,否则极限不存在。

  • 和实变函数一样,极限研究的是某一点附近(去心邻域)的变化情况,和该点取值无关。研究该点取值的是函数的连续性

极限相关定理#

  1. 唯一性:极限若存在则唯一
  2. 实部虚部判定存在性:极限存在的充要条件:z0=x+iyA=a+ibf(z)=u(x,y)+iv(x,y)z_0=x+iy,A=a+ib,f(z)=u(x,y)+iv(x,y)limzz0f(z)=A    lim(x,y)(x0,y0)u(x,y)=a,  lim(x,y)(x0,y0)v(x,y)=b\lim_{z\to z_0}{f(z)}=A\iff \lim_{(x,y)\to (x_0,y_0)}u(x,y)=a,\;\lim_{(x,y)\to (x_0,y_0)}v(x,y)=b 复变函数的极限由两个实变函数的极限确定,反之亦然。
  3. 复变函数极限的四则运算:与实变函数完全相同

例题


f(z)=zzˉf(z) = \frac{z}{\bar z},讨论 limz0f(z)\lim_{z \to 0} f(z)

z=x+iyz = x + iy,则

f(z)=x+iyxiyf(z) = \frac{x+iy}{x-iy}
  • 当沿实轴趋近时:y=0y=0,得
f(x)=xx=1(x0)f(x) = \frac{x}{x} = 1 \quad (x \to 0)
  • 当沿虚轴趋近时:x=0x=0,得
f(iy)=iyiy=1(y0)f(iy) = \frac{iy}{-iy} = -1 \quad (y \to 0)

两条路径极限不一致,故极限 不存在
or:取z=0+reiθz=0+re^{i\theta}

f(z)=reiθreiθ=e2iθf(z)=\frac{re^{i\theta}}{re^{-i\theta}}\\[5bp] =e^{2i\theta}

取值与θ\theta有关,极限不存在。


复变函数的连续性#

连续定义#

某点处连续:如果 limzz0f(z)=A=f(z0)\lim_{z\to z_0}{f(z)}=A=f(z_0),那么 f(z)f(z)z0z_0连续

推广: 若 f(z)f(z) 在集合 EE 的每一点都连续,则称 f(z)f(z)EE 上连续。 特殊地,当 EE 为一条曲线、一个区域或整个复平面时,可分别称为“在曲线上连续”“在区域上连续”“整函数”等。

沿曲线C连续如果 z0limzbyCz0f(z)=A=f(z0),z0C\forall z_0\lim_{z\overset{by\,C}{\to} z_0}{f(z)}=A=f(z_0),z_0\in C,那么 f(z)f(z) 在沿曲线 CC 连续。

  • 如果 f(z)f(z) 在曲线 CC 上每一点都连续,则称 f(z)f(z) 在曲线 CC 上连续,反之不一定

  • 沿曲线C连续不代表曲线C上处处连续,沿曲线C连续只是说C上的点沿C的方向是连续的,而曲线C上处处连续要考虑曲线外的方向

连续型相关定理#

  1. 连续性判定z0=x0+iy0,f(z)=u(x,y)+iv(x,y),f(z)z_0=x_0+iy_0,f(z)=u(x,y)+iv(x,y),f(z)z0z_0 点连续的充分必要条件是 u(x,y),v(x,y)u(x,y),v(x,y)(x0,y0)(x_0,y_0) 均连续

  2. 四则运算保持连续性:如果 f(z)f(z)g(z)g(z)z0z_0 点均连续,那么

    1. f(z)±g(z)f(z)\pm g(z)
    2. f(z)g(z)f(z)\cdot g(z)
    3. f(z)g(z)(g(z)0)\frac{f(z)}{g(z)}(g(z)\neq0)
      均在 z0z_0 点均连续
    • 上述定理可以判定复多项式和分式函数的连续性
  3. 复合保持连续性h=g(z)h=g(z)z0z_0 处连续,ω=f(h)\omega=f(h)h=h0=g(z0)h=h_0=g(z_0) 时连续,那么复合函数 ω=f(g(z))\omega=f(g(z))z0z_0 处连续

    • 本质上是实部虚部二元函数复合后保持连续性
  4. 模有界性:若 f(z)f(z) 在有界闭区域 DD 内连续,则 f(z)|f(z)|DD 内必有界,且能取到最大值和最小值

M>0,zD,f(z)M\exist M>0,\forall z\in D,|f(z)|\leq M
  • 这个本质上是两个连续实函数的有界性导致的

例题 f(z)=zˉzf(z)=\frac{\bar{z}}{z} 在z=0处不连续

solution
f(z)=zˉz=xiyx+iyf(z)=\frac{\bar{z}}{z}=\frac{x-iy}{x+iy}\\
  • y=0,x0y=0,x\to 0
limz0f(z)=xx=1lim_{z\to0}f(z)=\frac{x}{x}=1
  • x=0,y0x=0,y\to 0
limz0f(z)=iyiy=1lim_{z\to0}f(z)=\frac{-iy}{iy}=-1

沿不同曲线趋近 0 得到不同值。

eg2 复数的辐角函数 argz\arg z 在原点以及复实轴上不连续

solution
limz0argzdoesnt  existy=0,x<0,x0<0lim(x,y)(x0,0)argz=limxx0,y\yo0argziflimxx0,y\yo0+argz=πiflimxx0,y\yo0argz=πobviously,notcontinuous\lim_{z\to 0}\arg z \,doesn't \;exist\\ y=0,x<0,\forall x_0<0\\ \lim_{(x,y)\to(x_0,0)}\arg z=\lim_{x\to x_0,y\yo 0}\arg z\\ if \lim_{x\to x_0,y\yo 0^+}\arg z=\pi\\ if \lim_{x\to x_0,y\yo 0^-}\arg z=-\pi\\ obviously,not\, continuous
复变函数:极限与连续
https://biscuit0613.github.io/posts/complexfunction/cmplxfunc_limcontinuity/
作者
biscuit
发布于
2025-08-19
许可协议
CC BY-NC-SA 4.0