全平面拟共形映射的集合刻画问题

嗨，这个问题问得特别到位！确实，全平面上的拟共形映射集合比共形映射要丰富太多了，没法像共形映射那样用一个简单的线性形式直接给出完整刻画，但我们可以从几个核心角度来拆解它的结构，帮你建立更清晰的认知：

• 核心定义层面的刻画
  全平面的保向拟共形映射（通常默认讨论保向，反向的可以看作保向映射与复共轭的复合），本质是满足以下条件的同胚 (f: \mathbb{C} \to \mathbb{C})：存在常数 (K \geq 1)，使得对几乎所有的 (z \in \mathbb{C})，f的复雅可比矩阵满足伸缩商有界：
  $$
  \frac{\max{|Df(z)(v)| : |v|=1}}{\min{|Df(z)(v)| : |v|=1}} \leq K
  $$
  用复分析里更常用的Beltrami方程表述的话：f是弱可微的，且存在ℂ上的可测函数μ（称为Beltrami系数），满足 (||\mu||\infty < 1)，使得
  $$
  \partial{\overline{z}} f = \mu(z) \partial_z f
  $$
  这里的K和μ满足 (K = \frac{1+||\mu||\infty}{1-||\mu||\infty})，反过来，每个满足 (||\mu||_\infty < 1) 的Beltrami系数，都对应唯一的（在复合共形映射的等价意义下）拟共形映射解。

• 集合的结构与共形映射的关联
  你提到的复合性质完全正确：如果f是拟共形映射，g、h是全平面的共形映射（也就是 (g(z)=az+b, h(z)=cz+d)，其中 (a,c \neq 0)），那么 (h \circ f \circ g) 依然是拟共形映射。
  反过来，任何拟共形映射都可以通过与共形映射复合，得到一个“标准化”的拟共形映射——比如固定 (f(0)=0, f(1)=1, f(\infty)=\infty) 的映射，这类标准化后的拟共形映射，和满足对应归一化条件的Beltrami系数是一一对应的。

• 具体的例子拓展
  你举的 (z \mapsto z |z|^{-s})（(s \in (-1,1), s \neq 0)）是经典的拟共形映射例子，它的Beltrami系数可以计算为 (\mu(z) = \frac{s}{2+s} \cdot \frac{\overline{z}}{z})（(z \neq 0) 时），对应的伸缩商K就是你提到的 (\max(1+s, \frac{1}{1+s}))。除此之外还有很多构造方式：

  • 径向拉伸+角度扭曲的组合：比如 (z \mapsto r e^{i(\theta + \phi(r))})，其中φ(r)是适当的光滑函数，只要控制整体伸缩商不超过某个K；
  • 区域拼接构造：在不同区域定义不同的映射，再平滑拼接，只要满足伸缩商有界的条件；
  • 解析函数的拟共形变形：对亚纯函数通过修改Beltrami系数，得到拟共形的变形版本。

• 为什么没有像共形映射那样的简洁刻画？
  共形映射要求伸缩商恒为1，这是极强的约束条件，直接限制了只有线性映射能满足；而拟共形映射只要求伸缩商有界（可以大于1），这给了映射极大的自由度——你可以对平面做任意“适度”的拉伸、扭曲，只要不超过伸缩商的上限，所以没法用有限个参数的函数族来完全描述它的集合，只能通过Beltrami方程的解或者伸缩商条件来刻画。

备注：内容来源于stack exchange，提问作者a.s. graduate student