关于满足特定映射条件的黎曼映射存在唯一性的证明请求

嘿，这个问题其实是经典黎曼映射定理的一个小拓展，咱们可以基于Conway书上原习题的结论来一步步推导，分存在性和唯一性两部分来说明：

存在性证明 #

首先回忆原习题的结论：对于单连通且真包含于$\mathbb{C}$的开集$G$，任取$a\in G$，存在唯一的解析双射$g: G \to \mathbb{D}$，满足$g(a)=0$且$g'(a)>0$。

接下来我们只需要构造一个从$\mathbb{D}$到$\mathbb{D}$的解析双射（也就是单位圆盘的自同构，属于分式线性变换/Möbius变换），把$g$的输出调整到满足题目要求的条件：

1. 将$g(a)=0$映射到$b\in\mathbb{D}$；
2. 调整复合后映射的导数辐角为$\alpha$。

具体构造如下：

• 先定义将$b$映射到0的单位圆盘自同构：$\phi_b(z) = \frac{z - b}{1 - \overline{b}z}$，它的逆映射$\phi_b^{-1}(z) = \frac{z + b}{1 + \overline{b}z}$可以把0映射到$b$；
• 再引入旋转因子$e^{i\alpha}$，构造复合映射$h(z) = \phi_b(e^{i\alpha} z)$。这个$h$是$\mathbb{D}$到自身的解析双射，且满足：
  • $h(0) = \phi_b(0) = b$；
  • 计算导数：$h'(z) = \phi_b'(e^{i\alpha} z) \cdot e^{i\alpha}$，代入$z=0$得$h'(0) = \frac{1 - |b|^2}{(1 - \overline{b}\cdot0)^2} \cdot e^{i\alpha} = (1 - |b|^2)e{i\alpha}$，其辐角为$\alpha$（因为$1-|b|^2>0$）。

最后令$f(z) = h(g(z)) = \frac{e^{i\alpha}g(z) - b}{1 - \overline{b}e^{i\alpha}g(z)}$，验证条件：

• $f(a) = h(g(a)) = h(0) = b$，符合要求；
• $f'(a) = h'(g(a))g'(a) = h'(0)g'(a)$，由于$g'(a)>0$，$\arg(f'(a)) = \arg(h'(0)) + \arg(g'(a)) = \alpha + 0 = \alpha$，满足辐角条件；
• $g$是解析双射，$h$是单位圆盘自同构，因此$f$也是$G\to\mathbb{D}$的解析双射。

这样就证明了满足条件的映射存在。

唯一性证明 #

假设存在两个解析双射$f_1,f_2: G\to\mathbb{D}$，都满足$f_1(a)=f_2(a)=b$且$\arg(f_1'(a))=\arg(f_2'(a))=\alpha$。我们通过原习题的唯一性结论来推导$f_1=f_2$：

1. 构造映射$g_1 = \phi_b \circ f_1$，$g_2 = \phi_b \circ f_2$（$\phi_b$还是刚才定义的自同构）。显然$g_1,g_2$都是$G\to\mathbb{D}$的解析双射，且$g_1(a)=\phi_b(f_1(a))=\phi_b(b)=0$，同理$g_2(a)=0$。
2. 计算导数：$g_1'(a) = \phi_b'(f_1(a))f_1'(a) = \phi_b'(b)f_1'(a)$，其中$\phi_b'(b) = \frac{1}{1-|b|^2}>0$，因此$\arg(g_1'(a)) = \arg(f_1'(a)) = \alpha$，同理$\arg(g_2'(a))=\alpha$。
3. 再引入旋转因子构造$k_1(z)=e^{{-i\alpha}g_1(z)$，$k_2(z)=e}{-i\alpha}g_2(z)$。此时$k_1(a)=k_2(a)=0$，且$k_1'(a)=e^{-i\alpha}g_1'(a)$的辐角为$-\alpha+\alpha=0$，即$k_1'(a)>0$，同理$k_2'(a)>0$。
4. 根据原习题的唯一性结论，满足$k(a)=0$且$k'(a)>0$的解析双射$k:G\to\mathbb{D}$是唯一的，因此$k_1=k_2$。
5. 反向推导：$k_1=k_2$意味着$g_1=g_2$，进而$\phi_b\circ f_1=\phi_b\circ f_2$，两边复合$\phi_b$的逆映射，得到$f_1=f_2$。

这样就证明了满足条件的映射是唯一的。

备注：内容来源于stack exchange，提问作者Cib