[論文レビュー] Uniqueness of the Canonical Reciprocal Cost

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

Nonlinear Partial Differential Equations被引用数 0

ひとこと要約

tldr: 正規化 F(1)=0、R>0 上の d’Alembert 型結合律、および単位対数曲率較正の下で、関数 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} の比率コストに対する剛性問題を動機づけ、正式化する。
• R_{>0} 上で d’Alembert 型結合律を課して、F の値を乗法的引数で結合する。
• 対数座標系での単一の二次的較正を恒等点で導入し、規則性とスケーリングを固定する。
• これらの仮定が F を canonical reciprocal cost J に強制し、それぞれの仮定の必要性を分析する。

提案手法

• F を対数座標に変換することにより H(t) = F(e^{t}) + 1 として d’Alembert 方程式 H(t+u) + H(t−u) = 2 H(t) H(u) を得る。
• d’Alembert 方程式の連続解を分類し、単位対数曲率較正が cosh(·) 区分を生じることを示す。
• canonical reciprocal cost J を J(x) = (x + x^{-1})/2 − 1 と同定し、J(e^{t}) = cosh(t) − 1 を満たすことを示す。
• 較正・結合律・正則性のいずれかを除去した場合の反例を構築して、それぞれの仮定の必要性を示す。
• 有界欠陥を持つ近似解について安定性推定を確立する（境界付き欠陥の下での安定性）。

実験結果

リサーチクエスチョン

• RQ1 F に対するどのような条件が R_{>0} 上の比率コスト関数の一意な形を強制するのか？
• RQ2 d’Alembert 型結合律と正規化および二次的較正が組み合わさったとき、F は一意に決まるのか？
• RQ3 較正または結合律を弱めたり除外した場合、唯一性はどうなるのか？
• RQ4 境界付き欠陥をもつ近似解は canonical cost の周りで制御（安定性）できるのか？
• RQ5 canonical cost の構造特性と表現（例: Bregman ダイバージェンス、誘導メトリック）とは何か？

主な発見

• 上記の仮定の下で唯一の解は F(x) = (x + x^{-1})/2 − 1（canonical reciprocal cost）である。
• 対数座標 t = ln x では問題が d’Alembert 方程式に還元され、H(t) = F(e^{t}) + 1 に対して較正すると H(t) = cosh(t) となる。
• 単位対数曲率較正が残りのスケーリングを固定し、双曲線コサイン区分を選択して剛性を保証する。
• 較正なしでは結合律は連続な一次パラメータ族の解を許し、結合律の較正がなければ全体的な形を決定できず、正則性がなければ病的な非可測解が存在する。
• 近似解について境界付き欠陥の安定性結果が得られる（節4）。
• canonical cost J は解釈可能な構造を持つ：J(x) = AM(x, 1/x) − GM(x, 1/x) に対応し cosh の Bregman ダイバージェンスに対応、Chebyshev 構造を誘導する対称的な距離を生じさせる。