[논문 리뷰] A Counterexample to Matkowski's Conjecture for Quasi Graph-Additive Functions

Tibor Kiss|arXiv (Cornell University)|2026. 02. 17.

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를 부과한다: f는 min(x,0) ≤ f(x) ≤ max(x,0)을 만족한다.
• 0≤a≤1일 때 비양의 반선에서 λ-동형성: f가 λ-homogeneous이며 λ∈{a,1−a}임을 보인다.
• ln|a|/ln|1−a|의 유리성 여부에 따라 해의 구조를 구분한다.
• 비유리인 경우 비선형이지만 연속적인 bow-tie를 만족하는 λ-동형 함수를 명시적으로 구성한다.
• 무리한 경우 Kronecker의 정리를 이용해 모든 연속 해가 [0,∞)에서 선형임을 보인다.

실험 결과

연구 질문

• RQ1 f(f(-x)+x)=f(-f(x))+f(x) 연속해가 다양한 조건 하에서 비양의 반선에서 반드시 선형이 되는가?
• RQ2 bow-tie 제약과 평행이동성을 충족하면서도 비선형 성분을 가진 연속해가 가능한가?
• RQ3 ln(a)/ln(1−a)의 유리성은 연속해의 구조에 어떤 영향을 미치는가?
• RQ4 연속 설정에서 Matkowski의 예측인 선형성을 강제하는 충분 조건은 무엇인가?
• RQ5 무리한 비율 케이스에서 Jarczk-type 해의 역할은 무엇인가?

주요 결과

• 0<a<1이고 ln|a|/ln|1−a|가 유리일 때 연속해가 비선형 성분을 가질 수 있다.
• 0<a<1이고 ln|a|/ln|1−a|가 무리수이면 모든 연속 해는 [0,∞)에서 선형이며 즉 f(x)=bx (x≥0)로서 0≤b≤1이다.
• bow-tie 조건은 f(0−)=f(0+)=0 및 0≤a≤1임을 시사한다(예: x≤0일 때 f(x)=ax일 때).
• 제안 1은 방정식 아래에서 x≥0에 대해 f(ax)=af(x)이고 f((1−a)x)=(1−a)f(x)임을 보인다.
• 제안 2는 유리 경우에 비선형이지만 연속적인 bow-tie 호환 λ-동형 함수를 구성한다.
• 정리 1은 필요충분성을 입증한다: 무리수의 경우 f는 x≥0에 대해 f(x)=bx 형태로 0≤b≤1이다.