Schwarz-Pick引理中的等式：解析函数圆盘保距性推广证明求助

嘿，我来帮你把这个证明补全！你构造的Blaschke因子复合函数思路完全正确，这是解决这类双曲距离保持问题的核心技巧，咱们一步步推导：

首先先明确几个关键前提：

• 题目里的等式其实是说$f$在点$z,w$处保持双曲距离，双曲距离的模长形式定义为：$\rho(a,b) = \left| \frac{a-b}{1-\overline{b}a} \right|$
• Blaschke因子$B_a(\zeta) = \frac{a - \zeta}{1 - \overline{a}\zeta}$是单位圆盘到自身的双全纯映射，它有几个核心性质：
  • $B_a(a) = 0$，$B_a(0) = a$
  • $B_a$是自逆的：$B_a(B_a(\zeta)) = \zeta$
  • $B_a$保持双曲距离：$\rho(B_a(x), B_a(y)) = \rho(x,y)$对所有$x,y \in \mathbb{D}$成立

步骤1：分析你构造的$\varphi(\zeta)$的性质 #

你定义的$\varphi(\zeta) = B_{f(w)} \circ f \circ B_w(\zeta)$，先算它在特殊点的取值：

• 当$\zeta=0$时：$\varphi(0) = B_{f(w)}(f(B_w(0))) = B_{f(w)}(f(w)) = 0$
• 令$\zeta_0 = B_w(z)$，因为$z \neq w$，所以$\zeta_0 \neq 0$（$B_w$是单射），此时$\varphi(\zeta_0) = B_{f(w)}(f(z))$

把题目给的条件转化为$\varphi$的形式：
题目中的等式：
$$\left| \frac{f(z)-f(w)}{1-\overline{f(w)}f(z)} \right| = \left| \frac{z-w}{1-\overline{w}z} \right|$$
左边刚好是$|B_{f(w)}(f(z))|$（因为$|B_a(b)| = \left| \frac{a-b}{1-\overline{a}b} \right| = \left| \frac{b-a}{1-\overline{a}b} \right|$），右边刚好是$|B_w(z)| = |\zeta_0|$，所以我们得到：
$$|\varphi(\zeta_0)| = |\zeta_0|$$

另外，$\varphi: \mathbb{D} \to \mathbb{D}$是解析函数（三个解析函数的复合：Blaschke因子和$f$都是解析的），且$\varphi(0)=0$——这完美符合施瓦茨引理的应用条件！

步骤2：应用施瓦茨引理得到$\varphi$的形式 #

施瓦茨引理告诉我们：

若$g: \mathbb{D} \to \mathbb{D}$解析，且$g(0)=0$，则对所有$\zeta \in \mathbb{D}$，有$|g(\zeta)| \leq |\zeta|$；若存在非零的$\zeta_0 \in \mathbb{D}$使得$|g(\zeta_0)| = |\zeta_0|$，则$g(\zeta) = e^{i\theta}\zeta$（$\theta$为实常数），也就是$g$是一个旋转映射。

旋转映射显然保持双曲距离：$\rho(e^{i\theta}\alpha, e^{i\theta}\beta) = \rho(\alpha, \beta)$，因为旋转不改变两点间的双曲距离。

所以我们的$\varphi(\zeta) = e^{i\theta}\zeta$，是一个保持双曲距离的双全纯映射。

步骤3：推广到圆盘内任意点 #

现在我们要证明：对任意$x,y \in \mathbb{D}$（$x \neq y$），都有
$$\left| \frac{f(x)-f(y)}{1-\overline{f(y)}f(x)} \right| = \left| \frac{x-y}{1-\overline{y}x} \right|$$

从$\varphi$的定义反推$f$的表达式：因为$B_a$是自逆的，所以$f = B_{f(w)} \circ \varphi \circ B_w$（因为$\varphi = B_{f(w)} \circ f \circ B_w$，两边先后复合$B_{f(w)}$，再后复合$B_w$就得到$f$）。

现在计算$f(x)$和$f(y)$的双曲距离：
$$
\begin{align*}
\rho(f(x), f(y)) &= \rho\left(B_{f(w)}(\varphi(B_w(x))), B_{f(w)}(\varphi(B_w(y)))\right) \
&= \rho\left(\varphi(B_w(x)), \varphi(B_w(y))\right) \quad \text{（因为$B_{f(w)}$保持双曲距离）} \
&= \rho\left(B_w(x), B_w(y)\right) \quad \text{（因为$\varphi$是旋转，保持双曲距离）} \
&= \rho(x,y) \quad \text{（因为$B_w$保持双曲距离）}
\end{align*}
$$

而双曲距离的模长形式就是题目中的等式，所以结论对圆盘内任意不同点都成立。

关键总结 #

整个证明的核心是通过Blaschke因子把问题“平移”到原点，利用施瓦茨引理锁定$\varphi$的形式，再借助Blaschke因子和旋转都保持双曲距离的性质，把局部的条件推广到整个圆盘。

内容的提问来源于stack exchange，提问作者D666