← 返回Book 2目录

复数与复变函数

Complex Numbers & Complex Functions

从复平面到域着色,探索复数的几何美

可视化复数

复数z = x + yi可以在复平面上表示为点(x, y)或从原点出发的向量。 复数有两个基本属性:辐角arg(z)表示向量与正实轴的夹角,模|z|表示向量的长度。通过不同的可视化方法, 我们可以同时展示复数的位置、方向和大小信息。

产生数据

生成复数网格z = x + yi,其中x, y ∈ [-2, 2]。 高分辨率网格用于颜色渲染,低分辨率网格用于绘制箭头。

zz = xx1 + xx2 * 1j

zz_angle = np.angle(zz) # 辐角

zz_norm = np.abs(zz) # 模

绘制箭头图

将每个复数表示为从原点出发的向量,直观展示复数的向量性质。 17×17网格提供了清晰的向量分布视图。

辐角

辐角arg(z) = arctan(y/x)表示复数的"方向",范围[-π, π]。 使用HSV色环编码:红色(0°)→绿色(90°)→青色(180°)→紫色(270°)。 可以用热力图或彩色箭头两种方式展示。

复数模

模|z| = √(x² + y²)表示复数的"大小",是向量的长度。 等模线是以原点为中心的同心圆。可以用2D热力图、3D曲面、 或与辐角组合的方式展示。

🔢 复数平面可视化

复数z = x + yi可以表示为平面上的点(x, y)或向量。 辐角arg(z)是向量与正实轴的夹角,模|z|是向量的长度。

复数表示

直角坐标形式:

z = x + yi

极坐标形式:

z = r·e^(iθ)

r = |z|, θ = arg(z)

欧拉公式:

e^(iθ) = cos θ + i sin θ

📐 辐角 arg(z)

辐角是复数对应向量与正实轴的夹角,范围[-π, π]。 用HSV色环编码:0°红色,90°绿色,180°青色,270°紫色。

📏 模 |z|

模是复数对应向量的长度,|z| = √(x² + y²)。 等模线是以原点为中心的同心圆。 颜色从蓝(小)到红(大)。

🎨 域着色

域着色法(Domain Coloring)用颜色编码辐角, 用亮度编码模,将复数平面映射为彩色图像, 是可视化复变函数的强大工具。

📐 辐角(Argument)

辐角arg(z)是复数对应向量与正实轴的夹角,通常取主值范围(-π, π]。

• arg(z) = arctan(y/x),需要考虑象限

• arg(z₁·z₂) = arg(z₁) + arg(z₂)

• arg(z₁/z₂) = arg(z₁) - arg(z₂)

• 复数乘法对应向量旋转

📏 模(Modulus)

模|z|是复数对应向量的长度,也称为复数的绝对值。

• |z| = √(x² + y²)

• |z₁·z₂| = |z₁|·|z₂|

• |z₁/z₂| = |z₁|/|z₂|

• |z|² = z·z̄(z̄是z的共轭)

🎨 域着色法(Domain Coloring)

域着色是可视化复平面的强大技术。用颜色编码辐角,用亮度编码模:

颜色轮(HSV)
  • • 0°(正实轴)→ 红色
  • • 90°(正虚轴)→ 绿色
  • • 180°(负实轴)→ 青色
  • • 270°(负虚轴)→ 紫色
模等高线

以原点为中心的同心圆表示模的等值线。 圆环之间的间距反映了模变化的速率。 结合辐角颜色和模等高线,可以完整描述复数平面的结构。

🧮 复数运算的几何意义

加法

z₁ + z₂对应向量的平行四边形法则, 就像二维向量加法。

乘法

z₁·z₂:模相乘,辐角相加。 对应旋转+缩放变换。

共轭

z̄ = x - yi对应关于实轴的镜像反射。

复数函数

复变函数w = f(z)将输入复平面映射到输出复平面。 通过域着色法可以直观地看到函数如何变换复平面的结构。

可视化函数

定义通用的可视化函数,生成两幅子图:

  • • 左图:输入平面,辐角着色+模等高线
  • • 右图:输出平面,辐角着色+网格线

产生数据

生成高分辨率复数网格:zz = xx1 + xx2 * 1j,用于函数变换。

旋转

w = z · e^(iπ/6)
将所有复数绕原点旋转π/6(30°)角度,是最简单的复变换。

多项式

w = z^n
z^n将复平面"绕原点n次",辐角扩大n倍。z^2产生2重对称,z^3产生3重对称。

分式

w = 1/z
反演变换:内部↔外部,z=0是极点。将圆映射为圆(或直线)。

根式

w = √(z+1)
平方根是多值函数,有分支点。沿负实轴有分支割线。

三角

w = sin(z)
复正弦函数,周期为2π。定义为sin(z) = (e^(iz) - e^(-iz))/(2i)。

乘幂

w = z^z
复数的自乘幂,产生极其复杂的图案,充满分形特征。

自然指数

w = e^z
将垂直线映射为同心圆,水平线映射为射线。周期为2πi。

自然对数

w = log(z)
指数函数的逆,多值函数。将射线映射为水平线,圆映射为垂直线。

🌀 复数函数变换

复变函数w = f(z)将输入复平面上的点映射到输出复平面。 通过域着色法观察函数如何变换复平面的结构。

旋转变换

w = z · e^(iπ/6)

将所有点绕原点旋转π/6(30°)角度

输入平面 z = x + yi

输出平面 w = f(z)

🔄 保角映射

解析函数(除奇点外)是保角的,即保持角度不变。 两条曲线的交角在变换后保持不变。

🎨 域着色

颜色编码辐角,观察网格如何变形。 相同颜色的点在变换前有相同的辐角。

🌐 奇点

奇点处函数不解析(如1/z在z=0)。 奇点附近颜色快速变化,出现螺旋图案。

🔄 基本函数类

多项式 z^n

将复平面"绕原点n次",辐角扩大n倍,模变为n次幂。 z^n有n个分支,在原点有n重零点。

分式 1/z

反演变换:内部↔外部,z=0是极点。 将圆映射为圆(或直线)。

根式 √z

多值函数,有分支点。主值分支将半平面映射到扇形。 沿负实轴有分支割线。

📐 超越函数

指数 e^z

将垂直线映射为同心圆,水平线映射为射线。 周期为2πi,无零点,在无穷远处是本性奇点。

对数 log(z)

指数的逆函数,多值函数。主值分支有分支割线。 将射线映射为水平线,圆映射为垂直线。

三角 sin(z), cos(z)

周期为2π,用指数定义:sin(z) = (e^(iz) - e^(-iz))/(2i)。 不再有界,在无穷远处趋于无穷。

🎯 奇点理论

复变函数的奇点(singular points)是函数不解析的点,分为几类:

可去奇点

函数在该点有定义,可以通过补充定义使其解析。 例如:sin(z)/z在z=0是可去奇点,补充f(0)=1。

极点(Pole)

函数在该点趋于无穷。1/z在z=0是一阶极点。 极点附近有螺旋图案,颜色快速旋转。

本性奇点

函数行为复杂。e^(1/z)在z=0是本性奇点, 附近有无限多圈螺旋,颜色混乱。

🌐 保角映射的应用

解析函数(除奇点外)保持角度,这使得复变函数在科学工程中有广泛应用:

  • • 流体力学:势流理论,流线和等势线正交
  • • 电磁学:静电场、磁场的保角变换
  • • 热传导:稳态温度分布
  • • 地图投影:墨卡托投影等保角投影
  • • 信号处理:滤波器设计,频域分析
  • • 计算机图形学:纹理映射,网格变形

💡 核心洞察

复数将代数和几何统一,复变函数则揭示了平面变换的深层结构。 从欧拉公式e^(iθ) = cos θ + i sin θ连接指数和旋转, 到柯西-黎曼方程刻画解析性,到留数定理计算积分, 复分析是现代数学最优美的理论之一。域着色法让我们"看见"复函数的行为: 颜色的连续变化展示函数的连续性,颜色的旋转对应辐角的变化, 亮暗的分布编码了模的大小。每一个复变函数都是一个几何变换, 每一个奇点都讲述着函数的故事。在物理学中,量子力学的波函数是复值的; 在工程中,傅里叶变换、拉普拉斯变换都离不开复分析; 在数论中,黎曼ζ函数定义在复平面上。理解复数和复变函数, 就打开了通往现代科学技术核心的大门。