CCG 04-03:Wirtinger 导数与 Beltrami 方程

本页只解决一个问题

怎样把非共形部分单独量化,Beltrami 系数表示什么椭圆畸变?

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

开始前

5. Wirtinger 导数与 Beltrami 方程

定义

∂z=12(∂x−i∂y),∂zˉ=12(∂x+i∂y).\partial_z=\frac12(\partial_x-i\partial_y), \qquad \partial_{\bar z}=\frac12(\partial_x+i\partial_y).

于是

df=fzdz+fzˉdzˉ.df=f_zdz+f_{\bar z}d\bar z.

全纯条件就是

fzˉ=0.f_{\bar z}=0.

一般方向保持映射可写成 Beltrami 方程

fzˉ=μ(z)fz,∣μ∣<1.\boxed{f_{\bar z}=\mu(z)f_z,\qquad |\mu|<1.}

μ\mu 称为 Beltrami 系数。

5.1μ\mu 的几何意义

局部可写成

df=fz(dz+μdzˉ).df=f_z(dz+\mu d\bar z).

单位圆被映成椭圆,其长短半轴为

∣fz∣(1+∣μ∣),∣fz∣(1−∣μ∣).|f_z|(1+|\mu|), \qquad |f_z|(1-|\mu|).

因此最大伸缩比

K=1+∣μ∣1−∣μ∣\boxed{K=\frac{1+|\mu|}{1-|\mu|}}

且反解

∣μ∣=K−1K+1.|\mu|=\frac{K-1}{K+1}.

arg⁡μ/2\arg\mu/2 给出最大拉伸方向。μ=0\mu=0 当且仅当映射共形。

5.2 面积 Jacobian

Jf=∣fz∣2−∣fzˉ∣2=∣fz∣2(1−∣μ∣2).J_f=|f_z|^2-|f_{\bar z}|^2 =|f_z|^2(1-|\mu|^2).

所以∣μ∣<1|\mu|<1 保证局部方向保持;∣μ∣→1|\mu|\to1 时映射趋于退化。

读完必须能回答

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

前后课程

上一课:Cauchy-Riemann 方程 | 下一课:全纯函数与基本共形映射