An integral formula for the inhomogeneous Jordan--von Neumann equation

技術要約：非同次ジョルダン・フォン・ノイマン方程式のための積分公式

問題の定式化
本論文は、古典的なジョルダン・フォン・ノイマンの二次関数方程式の非同次版を調査するものである。同次方程式 $f(x+y) + f(x-y) = 2f(x) + 2f(y)$ は、内積から導かれるノルムを特徴付け、対称双線型形式 $B$ を用いた $f(x) = B(x,x)$ という形の解を持つ。著者らは、所与の関数 $g: \mathbb{R}^2 \to \mathbb{R}$ が右辺として作用する非同次問題、すなわち以下を検討する：
$$f(x+y) + f(x-y) - 2f(x) - 2f(y) = g(x,y).$$
中心となる問いは、与えられた $g$ に対して解 $f$ が存在するための条件は何か、そしてそのような解を明示的に構成できるか、ということである。この問題は、関数方程式の安定性（同次方程式の摂動）の文脈において捉えられており、線形コーシー演算子 $L[f](x,y) = f(x+y) - f(x) - f(y)$ に関する古典的な逆問題と類似している。

手法および理論的枠組み
著者らは、$Q[f] = g$ となるような線形演算子 $Q$ を定義する。$Q$ の核（カーネル）は同次方程式の解空間に対応する。手法は以下の点に基づいている：

1. コサイクル恒等式： 線形の場合において、コーシー演算子の像が（結合性に関連する）2-コサイクル恒等式によって特徴付けられることとの類似性を引き、著者らは、二次演算子 $Q$ に特有の3変数「コサイクル恒等式」を導出する。
2. 正則性の仮定： 解析は、2回連続微分可能な関数（$C^2$）のクラス内で行われる。
3. 微分と積分： コアとなる手法は、関数方程式をゼロにおける一変数に関する微分関係へと還元するために、導出されたコサイクル恒等式を一方の変数についてゼロで微分し、続いて解 $f$ を復元するために積分を行うことである。

主要な貢献および結果

• 二次コサイクル恒等式の導出： 本論文は、$g$ が $Q$ の像に含まれる（すなわち $g = Q[f]$ である）ならば、すべての $x, y, z \in \mathbb{R}$ に対して以下の恒等式を満たさなければならないことを確立している：
  $$g(x+y,z) + g(x-y,z) + 2g(x,y) = g(x,y+z) + g(x,y-z) + 2g(y,z).$$
  この恒等式は、$g$ が $Q$ の像に含まれるための必要条件として示されている。

• 主要定理（存在と構成）： 主要な結果（定理1.1）は、$g \in C^2(\mathbb{R}^2)$ である関数に対して、コサイクル恒等式は $f \in C^2(\mathbb{R})$ の存在のための必要十分条件であることを主張している。

  • 必要性： 恒等式の両辺を $Q[f]$ の定義を用いて展開することによって証明される。
  • 十分性と積分公式： もし $g \in C^2(\mathbb{R}^2)$ が恒等式を満たすならば、解は以下の閉形式の積分によって明示的に与えられる：
    $$f(x) = -\frac{1}{2}g(0,0) - \frac{1}{2}(\partial_2 g)(0,0)x + \frac{1}{2} \int_0^x (x-t)(\partial_2^2 g)(t,0) \, dt.$$
  • 一意性： 解は $\ker Q$（すなわち同次解）の要素の加算を除いて一意である。

• 正則性の保存： 構成法は正則性を保存する。もし $g$ が $C^k(\mathbb{R}^2)$ ($k \ge 2$)、$C^\infty(\mathbb{R}^2)$、または実多項式に属する場合、得られる $f$ は対応するクラス（$C^k(\mathbb{R})$、$C^\infty(\mathbb{R})$、または多項式）に属する。

• 演算子的解釈： 本論文は、コサイクル恒等式を、座標軸に沿った演算子 $T$ の反復的な欠損の対称性と解釈することで、統一的な演算子的視点を提供している。これは、線形演算子 $L$ に対する標準的な2-コサイクル条件を、二次演算子 $Q$ へと一般化するものである。

意義および限界
本論文は、$C^2$ 正則性の下での非同次ジョルダン・フォン・ノイマン方程式に対する、最初の明示的な積分表現を提供したと主張している。これは、線形コーシー方程式に関するプルネスク（Prunescu）の結果と類似している。その意義は、関数方程式の問題を、偏微分と積分を用いた構成的な微積分問題へと変換した点にある。

著者らは、以下の境界および未解決の問いを明示している：

• 正則性の制約： 現在の積分公式は $g \in C^2$ を必要とする。$g \in C^1$ の場合については、導出が2階微分に依存しているため、依然として未解決である。
• 代数的条件と正則性条件： コサイクル恒等式のみ（$g$ に関する正則性の仮定なし）で、$g$ が $Q$ の像に含まれるための十分条件となるかどうかは、未解決の問いである。著者らは、線形の場合において対称性を強制するために正則性が必要とされることを指摘しており、ハメル基数に関連する同様の障害が二次の場合にも存在する可能性があると述べている。
• 連続的なケース： 単に連続な $g$ に対して、コサイクル恒等式が対称性（したがって可解性）を意味するかどうかは、線形の場合に関するエルデシュ（Erdős）の研究を反映した、魅力的な未解決問題である。

本論文は、特定の例（多項式、指数関数、および三角関数としての $g$）を用いて定理を検証し、今後の研究の方向性を概説して締めくくられている。