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

技术摘要：非齐次 Jordan–von Neumann 方程的一个积分公式

问题陈述
本文研究了经典的 Jordan–von Neumann 二次泛函方程的非齐次版本。齐次方程 $f(x+y) + f(x-y) = 2f(x) + 2f(y)$ 表征了由内积产生的范数，其解具有形式为 $f(x) = B(x,x)$ 的对称双线性型 $B$。作者考虑了非齐次问题，即给定函数 $g: \mathbb{R}^2 \to \mathbb{R}$ 作为右侧项：
$$f(x+y) + f(x-y) - 2f(x) - 2f(y) = g(x,y).$$
核心问题是：对于给定的 $g$，是否存在解 $f$，以及是否可以显式构造出这样的解？该问题在泛函方程稳定性（对齐次方程的扰动）的背景下进行讨论，并与线性 Cauchy 算子 $L[f](x,y) = f(x+y) - f(x) - f(y)$ 的经典逆问题相平行。

方法论与理论框架
作者定义了一个线性算子 $Q$，使得 $Q[f] = g$。$Q$ 的核对应于齐次方程的解空间。其方法论依赖于：

1. 上圈恒等式 (Cocycle Identities)： 类比于线性情形中 Cauchy 算子的像由 2-上圈恒等式（与结合性相关）所刻画，作者推导出了一个针对二次算子 $Q$ 特有的三变量“上圈恒等式”。
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$ 正则性下非齐次 Jordan–von Neumann 方程的首个显式积分表示，类似于 Prunescu 对线性 Cauchy 方程的研究结果。其意义在于将泛函方程问题转化为涉及偏导数和积分的构造性微积分问题。

作者明确指出了以下边界与开放问题：

• 正则性约束： 当前的积分公式要求 $g \in C^2$。对于 $g \in C^1$ 的情况仍是一个开放问题，因为推导过程依赖于二阶微分。
• 代数条件与正则性条件： 是否仅靠上圈恒等式（不带任何正则性假设）即可判定 $g$ 属于 $Q$ 的像，仍是一个开放问题。作者指出，在线性情形中，需要正则性来强制对称性；在二次情形中，可能存在涉及 Hamel 基的类似障碍。
• 连续情形： 对于仅连续的 $g$，上圈恒等式是否意味着对称性（从而意味着可解性），这是一个极具吸引力的开放问题，镜像了 Erdős 对线性情形的研究工作。

论文最后通过使用特定的示例（多项式、指数和三角函数 $g$）验证了定理，并概述了未来的研究方向。