MathLabs

解法:德布朗热经由米林猜想给出的比伯巴赫猜想证明(1984年)

第 4/8 步:德布朗热的权函数σk(t)\sigma_k(t)与目标单调性
通俗地说

辅助量是针对每个目标指标 nn 精心设计的一个泛函 Φn(t)\Phi_n(t),而不是对Milin和中的每一项分别提出断言。它从 00 开始,终点值控制整个加权不等式,所以证明必须建立这个泛函的单调性,而不是逐项递减。

Φn(t) along the Loewner flow,Φn(0)=0,Φn(1)≤0 ⟹ Milin’s inequality\Phi_n(t) \ \text{along the Loewner flow}, \qquad \Phi_n(0)=0, \quad \Phi_n(1)\le 0 \ \Longrightarrow\ \text{Milin's inequality}
详细分析

de Branges沿Loewner链为每个Milin指标 nn 构造一个泛函 Φn(t)\Phi_n(t),并归一化为 Φn(0)=0\Phi_n(0)=0;它在终点的非正性正好给出Milin加权和。因此需要证明的是 Φn(1)≤0⟹∑k=1n(n+1−k)k(∣γk∣2−1/k2)≤0\Phi_n(1)\le0\Longrightarrow\sum_{k=1}^{n}(n+1-k)k(|\gamma_k|^2-1/k^2)\le0。这里的结论针对完整的加权和,而不是逐项分别成立。

本步骤中的术语
权函数σk(t)\sigma_k(t)
德布朗热为勒夫纳流的每个 kk 与每个时刻 tt 附加的一个辅助量,设计使其从 00 出发,并在流的终点恰好编码米林不等式的第 kk 项。
本步骤用到的知识