[論文レビュー] A Counterexample to Matkowski's Conjecture for Quasi Graph-Additive Functions

Tibor Kiss|arXiv (Cornell University)|Feb 17, 2026

Functional Equations Stability Results被引用数 0

ひとこと要約

連続解 f(f(-x)+x)=f(-f(x))+f(x) は非負部分区間で非線形になり得ることを示し、Matkowski の予言を一般に反証する。ln(a)/ln(1−a) が無理数であれば解は [0,∞) で線形になる。

ABSTRACT

In this paper we investigate a conjecture of Janusz Matkowski concerning the continuous solutions of the functional equation \[ f\big(f(-x)+x\big)=f\big(-f(x)\big)+f(x),\qquad x\in\mathbb{R}. \] Matkowski conjectured that all continuous solutions must necessarily be linear on both the negative and the positive half-line. We show, however, that the family of continuous solutions to the equation in question is far richer than anticipated: there exist continuous solutions that admit an arbitrary part. In addition, we provide a sufficient condition which, in the continuous setting, enforces the conclusion predicted by Matkowski's Conjecture.

研究の動機と目的

• 連続解の方程式 | f(f(-x)+x)=f(-f(x))+f(x) | に関する Janusz Matkowski の予想を動機づけ、検討する。
• 提案された連続解の族は非線形成分を認めるなど、想定よりも多様であることを示す。
• 連続設定において Matkowski の予測（線形性）が成り立つ十分条件を提供する。

提案手法

• f が非正半線上で既知であり、そこでは線形と仮定する：f(x)=ax for x≤0。
• bow-tie 条件を課す：min(x,0) ≤ f(x) ≤ max(x,0) を満たす。
• 0≤a≤1 のとき、非負半線で λ-同次性を持ち、λ ∈ {a,1−a}。
• ln|a|/ln|1−a| の有理性 vs 無理性を区別して解の構造を決定。
• 有理の場合には非線形挙動を生み出す連続例を構成。
• 無理数の場合、Kronecker の定理を用いて任意の連続解は [0,∞) で線形になることを証明。

実験結果

リサーチクエスチョン

• RQ1 連続解 f(f(-x)+x)=f(-f(x))+f(x) は様々な条件下で非負半線上で必ず線形になるのか。
• RQ2 bow-tie 制約と翻訳性を満たしつつ、連続解が非線形成分を示すことがあり得るのか。
• RQ3 ln(a)/ln(1−a) の有理性が連続解の構造にどう影響するのか。
• RQ4 連続設定で Matkowski の予測される線形性を課す十分条件は何か。
• RQ5 無理数比の場合の Jarczyk 型解の役割は何か。

主な発見

• 0<a<1 かつ ln|a|/ln|1−a| が有理数のとき、非線形成分を含む連続解が存在する。
• 0<a<1 かつ ln|a|/ln|1−a| が無理数なら、すべての連続解は非負半線で線形となり、f(x)=bx (x≥0) で 0≤b≤1。
• bow-tie 条件は f(0−)=f(0+)=0 を意味し、f(x)=ax (x≤0) のとき 0≤a≤1。
• 命題1は 方程式の下で x≥0 に対して f(ax)=af(x)、f((1−a)x)=(1−a)f(x) を満たすことを示す。
• 命題2 は有理の場合に非線形だが連続な bow-tie 遵守 λ-同次関数を構成する。
• 定理1 は必要十分条件を与え、無理数の場合には f(x)=bx (x≥0) with 0≤b≤1。