[论文解读] Uniqueness of the Canonical Reciprocal Cost

Jonathan Washburn, Milan Zlatanović|arXiv (Cornell University)|Feb 5, 2026

Nonlinear Partial Differential Equations被引用 0

一句话总结

在归一化 F(1)=0、在 R>0 上的达朗贝尔型组合律和单位对数曲率标定下，函数 F 被唯一确定为 J(x) = (x + x^{-1})/2 - 1。

ABSTRACT

We study a rigidity problem for functions \(F:\R_{>0} o\R_{\ge 0}\) that penalize deviation of a positive ratio from equilibrium \(x=1\). Assuming (i) a d'Alembert-type composition law on \(\R_{>0}\), and (ii) a single quadratic calibration at the identity (in logarithmic coordinates), we prove that \(F\) is uniquely determined. The composition law implies the normalization $F(1)=0.$ The unique solution is called the canonical reciprocal cost, namely the difference between the arithmetic and geometric means of \(x\) and its reciprocal. Our proof uses the logarithmic coordinates \(H(t)=F(e^t)+1\), where the composition law becomes d'Alembert's functional equation on \(\R\). The calibration provides the minimal regularity needed to invoke the classical classification of continuous solutions and fixes the remaining scaling freedom, selecting the hyperbolic-cosine branch. We also establish necessity of each assumption: without calibration the composition law admits a continuous one-parameter family, without the composition law the calibration does not determine the global form, and without regularity the composition law admits pathological non-measurable solutions. Finally, we establish a stability estimate for approximate solutions under bounded defect and characterize some properties of the canonical cost.

研究动机与目标

• 为比值成本 F: R_{>0} → R_{≥0} 设定一个在 x=1 处取得最小值的刚性问题的动机与形式化。
• 对 R_{>0} 施加一个达朗贝尔型组合律，以耦合 F 在乘法自变量处的取值。
• 在对数坐标下引入一个在单位点的单一二次标定，以固定正则性与尺度。
• 证明这些假设将 F 强制为规范的互惠成本 J，并分析每一假设的必要性。

提出的方法

• 通过 H(t) = F(e^{t}) + 1 将 F 转换到对数坐标，得到达朗贝尔方程 H(t+u) + H(t−u) = 2 H(t) H(u)。
• 对达朗贝尔方程的连续解进行分类，并显示单位对数曲率标定会产生 cosh(·) 分支。
• 将规范的互惠成本记作 J(x) = (x + x^{-1})/2 − 1，且 J(e^{t}) = cosh(t) − 1。
• 通过去除标定、组合律或正则性来构造反例，显示每一假设的必要性。
• 给出在有界缺陷下近似解的稳定性估计（对大致解的稳定性）。

实验结果

研究问题

• RQ1 哪些条件会强制在 R_{>0} 上的比值成本函数具有唯一形式？
• RQ2 达朗贝尔型组合律结合归一化与二次标定是否能唯一决定 F？
• RQ3 如果标定或组合律减弱或被移除，唯一性会怎样变化？
• RQ4 是否可以对带有有界缺陷的近似解进行稳定性控制（稳定性）以逼近规范成本？
• RQ5 规范成本的结构特性与表示（如 Bregman 散度、诱导度量）有哪些？

主要发现

• 在所给定假设下的唯一解为 F(x) = (x + x^{-1})/2 − 1（规范的互惠成本）。
• 在对数坐标 t = ln x 下，问题化为 H(t) = F(e^{t}) + 1 的达朗贝尔方程，且标定后得到 H(t) = cosh(t)。
• 单位对数曲率标定固定剩余尺度，选择双曲余弦分支，从而实现刚性。
• 若不进行标定，组合律存在一个连续的单参数解族；若无组合律标定则无法确定全局形式；若不具正则性，则存在病态的不可测解。
• 对具有有界缺陷的近似解给出稳定性结果（第4节）。
• 规范成本 J 具有可解释的结构：J(x) = AM(x, 1/x) − GM(x, 1/x)，对应 cosh 的 Bregman 散度，并诱导具有切比雪夫结构的互惠度量。