Exact Contraction Rates via the Berkson--Porta Representation: A Sharp Threshold and Its Herglotz-Kernel Obstruction

技术摘要：通过 Berkson–Porta 表示实现精确收缩率

问题陈述
本文探讨了单位圆盘 $\mathbb{D}$ 内全纯自映射半群理论中的一个特定问题：在何种条件下，由此类半群生成的流能够以由其在内部不动点处的线性化向量场所决定的精确速率，收缩圆盘的内在 Kobayashi 度量？

传统上，验证全纯动力系统的收缩率通常依赖于辅助度量构造或外部权重。这些方法通常只能得出保守的估计——即其收缩率严格小于系统实际的线性化收缩率。本文旨在确定何时可以利用圆盘自身的几何性质，在不损失精度的情况下，内在地认证“最佳可能”的速率（即线性化速率 $a = -f'(0)$）。

方法论
分析基于 Berkson–Porta 表示，该表示将固定原点的半群的无穷小生成元 $f$ 表征为 $f(z) = -z p(z)$，其中 $p$ 是一个实部满足 $\text{Re}(p(z)) \geq 0$ 的全纯函数（Carathéodory 函数）。

1. 简化为逐点不等式：
   作者利用圆盘上 Kobayashi 度量的显式公式 $F_K(z, v) = |v|/(1-|z|^2)$，将度量的定义权重视为其自身的权重，而非引入辅助权重。通过分析沿轨迹的平方度量的 Dini 导数，他们推导出了精确收缩的充分必要条件。
   具体而言，他们证明了系统以精确速率 $a$ 收缩，当且仅当以下关于表示函数 $p$ 在前向不变集 $K$ 上的逐点不等式成立：
   $$2 \text{Re}(p(z)) \frac{1 + |z|^2}{1 - |z|^2} + 2 \text{Re}(z p'(z)) \geq 2a$$
   其中 $a = p(0)$。这种简化消除了对外部度量或不确定常数的需求。

2. 参数化族分析：
   论文研究了一个自然的单参数三次多项式族：$p_c(z) = a(1 - cz^2)$，其中 $c \in (-1, 1)$。选择该族是为了其易处理性以及作为一般性障碍的测试案例。

3. Herglotz 表示分析：
   为了理解为什么不存在通用的定理，作者利用 Carathéodory 函数的 Herglotz 积分表示 对其进行了分析。他们将偏离收缩条件的项表示为对单位圆上正测度 $\mu$ 的积分。这使得他们能够将不等式的失效归因于表示测度的特定性质。

核心贡献与结果

• 精确简化（定理 4）： 论文确立了 Kobayashi 度量的全局收缩率完全由 Berkson–Porta 函数 $p$ 的单个逐点不等式决定。如果该不等式成立，则可以实现精确的线性化速率，且没有任何乘法常数损失。
• 锐利阈值定理（定理 6）： 对于族 $p_c(z) = a(1 - cz^2)$，论文证明了在整个圆盘上实现精确收缩速率 $a$ 的充要条件是 $|c| \leq 2/3$。
  • 这是一个带有锐利常数的“当且仅当”特征化，而非仅仅是充分条件。
  • 该阈值在最强意义上是锐利的：当 $c > 2/3$ 时，不等式在靠近原点处即失效，而不仅仅是在边界附近。
• 显式障碍（命题 7）： 论文展示了一个经典的极值 Carathéodory 函数 $p(z) = a(1+z)/(1-z)$，对于该函数，收缩不等式在圆盘内几乎处处失效（具体表现为对于所有 $z \neq 0$，$\lambda_{\text{local}}(z) < 2a$）。
• 结构性解释（推论 2）： 通过使用 Herglotz 表示，作者解释了一般情况失效的原因在于 表示测度的集中性。当测度 $\mu$ 集中在单点（点质量）时，不等式会失效，因为积分核在相反方向上变为负值。相反，定理 6 中成功的族对应于具有有界密度的绝对连续测度，这种测度足以“分散”质量以避免障碍。

意义与主张
本文声称在其所述范围内（单位圆盘、内部不动点）完整解决了精确收缩率问题。其意义在于：

1. 精确性： 超越了保守的充分条件，提供了一个非线性族的精确、锐利阈值。
2. 内在验证： 证明了 Kobayashi 度量本身（无需辅助构造）即可认证精确的线性化速率。
3. 结构性洞察： 解释了为什么仅基于 $\text{Re}(p) \geq 0$ 的通用充分条件是不可能的。这种障碍不是计算上的差距，而是与点质量相关的 Herglotz 核的结构性特征。

论文最后确定了任何未来的通用充分条件必须排除的测度精确类别（点质量及其邻域）。它将确定针对一般测度的锐利条件界定为经典 Carathéodory 函数理论中的一个开放的极值问题，而非当前结果的常规扩展。这些结果得到了锐利阈值的数值验证以及显式障碍案例的支持，尽管所有主张均是通过直接证明建立的。