CCG 04-02:Cauchy-Riemann 方程

本页只解决一个问题

复可微为何强迫局部映射成为旋转加统一缩放?

本页是原长篇讲义的单概念版本。第一次阅读只追踪本页定义的对象;看见未掌握的前置符号时,先沿链接退回,不要跳过定义硬背结论。

开始前

4. 复可微与 Cauchy–Riemann 方程

把(x,y)(x,y) 写成z=x+iyz=x+iy,映射

f(z)=u(x,y)+iv(x,y).f(z)=u(x,y)+iv(x,y).

复导数要求极限

f′(z0)=lim⁡h→0f(z0+h)−f(z0)hf'(z_0)=\lim_{h\to0}\frac{f(z_0+h)-f(z_0)}{h}

与hh 接近 0 的方向无关。

沿实轴h=th=t:

f′(z0)=ux+ivx.f'(z_0)=u_x+iv_x.

沿虚轴h=ith=it:

f′(z0)=uy+ivyi=vy−iuy.f'(z_0)=\frac{u_y+iv_y}{i}=v_y-iu_y.

相等得到 Cauchy–Riemann 方程:

ux=vy,uy=−vx.\boxed{u_x=v_y,\qquad u_y=-v_x.}

于是 Jacobian

Jf=[uxuyvxvy]=[a−bba].J_f= \begin{bmatrix} u_x&u_y\\v_x&v_y \end{bmatrix} = \begin{bmatrix} a&-b\\b&a \end{bmatrix}.

这正是复数乘法a+iba+ib 的实矩阵:缩放a2+b2\sqrt{a^2+b^2} 加旋转。

若f′(z0)≠0f'(z_0)\ne0,则ff 在z0z_0 局部共形。若导数为 0,例如f(z)=z2f(z)=z^2 在原点,则角度会乘以分支次数,不能称作局部微分同胚意义下的共形映射。

读完必须能回答

  1. 不看公式,用自己的话回答开头的核心问题。
  2. 指出本页最重要公式中每个符号的类型:标量、向量、矩阵、映射还是集合。
  3. 找出定理成立所需的假设,并举一个删除某条假设后可能失败的例子。
  4. 对最小例子手算一遍;若本页含代码,再比较手算与程序输出。

前后课程

上一课:保角的线性、微分与度量条件 | 下一课:Wirtinger 导数与 Beltrami 方程