Jensen's Functional Equation on Involution-Generated Groups: An ($\mathrm{SR}_2$) Criterion and Applications

基本信息

• 论文ID: 2511.02870
• 标题: Jensen's Functional Equation on Involution-Generated Groups: An ($\mathrm{SR}_2$) Criterion and Applications
• 作者: Đặng Võ Phúc (FPT University, Vietnam)
• 分类: math.GR (Group Theory)
• 发表时间: 2025年11月17日 (arXiv v2)
• 论文链接: https://arxiv.org/abs/2511.02870

摘要

本文研究群 $G$ 上取值于阿贝尔群 $H$ 的Jensen函数方程：

• (J1): $f(xy)+f(xy^{-1})=2f(x)$
• (J2): $f(xy)+f(x^{-1}y)=2f(y)$

作者提出了一个新的结构性判据 $(\mathrm{SR}_2)$（involution平方根判据），证明在该判据下，(J1)的每个解必然满足(J2)且自动成为群同态。该判据适用于多种反射生成群，特别是对称群 $S_n$ 和奇阶二面体群。研究方法独立于 $H$ 中的2可除性，补充了经典复值理论。

研究背景与动机

问题背景

1. 经典Jensen方程：在实直线上，Jensen方程 $f(\frac{x+y}{2})=\frac{f(x)+f(y)}{2}$ 刻画凸性。在非交换群上，自然出现两个对称的Jensen型方程 (J1) 和 (J2)。
2. 已有理论：
   • C.T. Ng 3-5 在自由群、线性群、半直积等重要群类上发展了约化公式
   • Stetkær 6 证明复值解可通过二阶导出商群 $G/[G,[G,G]]$ 因式分解
   • 近期工作 1,2 在半群上研究了带自同态的Jensen方程，但依赖2-无挠性假设
3. 对称群的特殊性：Ng在4,5中断言 $S_n$ 上所有Jensen解都是同态，但未发表详细证明。Trinh和Hieu 7 后来给出了首个初等证明，关键观察是 $S_n$ 中任意两个对换的乘积总是平方元。

研究动机

1. 统一框架的缺失：现有理论要么依赖复数域的特殊性（可除以2），要么需要半群自同态结构，缺乏纯群结构的统一判据。
2. 对称群结果的推广：7中的关键观察（对换乘积是平方）提示存在更一般的结构性条件。
3. 技术挑战：如何在不假设 $H$ 可除以2的情况下，仅从群 $G$ 的结构性质推导出解的完整刻画？

本文贡献的重要性

• 提出了纯群论的结构判据，适用于任意阿贝尔群值域
• 统一解释了对称群、奇阶二面体群等重要例子
• 揭示了"由involution生成+乘积可平方"这一几何直观的代数本质

核心贡献

1. 提出 $(\mathrm{SR}_2)$ 判据：定义了一个纯粹基于involution和平方根的群结构条件，该条件保证 $S_1(G,H) = S_{1,2}(G,H) = \mathrm{Hom}(G,H)$。
2. 主定理（Theorem 2.8）：证明满足 $(\mathrm{SR}_2)$ 的群上，每个(J1)的解自动满足(J2)且为群同态，无需假设 $H$ 可除以2。
3. 解空间刻画：通过阿贝尔化 $G^{ab}=G/[G,G]$ 给出解空间的透明描述，当 $G^{ab}$ 是2-群时给出组合刻画（Corollary 2.9）。
4. 应用验证：
   • 恢复对称群 $S_n$ 的已知结果（Theorem 3.1）
   • 完整处理二面体群 $D_m$，证明 $(\mathrm{SR}_2)$ 当且仅当 $m$ 为奇数时成立（Theorem 3.2）
   • 对偶数阶情形构造显式反例（Example 3.4）
5. 理论贡献：发展了不依赖2可除性的技术工具（Lemmas 2.3-2.7），包括显式的三变量交换公式和重排不变性定理。

方法详解

任务定义

问题设定：

• 输入：群 $G$（乘法群），阿贝尔群 $H$（加法群）
• 目标：刻画所有满足 (J1) 且 $f(e)=0$ 的函数 $f:G\to H$
• 核心问题：何时 $S_1(G,H) = \mathrm{Hom}(G,H)$？

符号约定：

• $S_1(G,H)$：(J1)的解集
• $S_2(G,H)$：(J2)的解集
• $S_{1,2}(G,H) := S_1(G,H) \cap S_2(G,H)$
• $H[2] := \{h\in H : 2h=0\}$：2-挠子群
• $G^{ab} := G/[G,G]$：阿贝尔化

核心判据：$(\mathrm{SR}_2)$ 性质

Definition 2.1：群 $G$ 满足 $\mathrm{SR}_2(I)$ 如果：

1. $G = \langle I \rangle$（由involution集 $I$ 生成，其中 $i^2=e, \forall i\in I$）
2. 对任意 $a,b\in I$，存在 $t\in G$ 使得 $t^2=ab$

几何直观：

• 条件1：群由"反射"生成
• 条件2：任意两个反射的复合可以表示为某个元素的平方（"乘积可平方"）

关键例子：

• $S_n$：取 $I$ 为所有对换，任意两对换乘积是3-轮换或4-轮换的平方
• $D_m$（$m$ 奇）：取 $I$ 为所有反射 $\{sr^k\}$，因为2在 $\mathbb{Z}_m$ 中可逆

技术框架

第一阶段：基本恒等式（不除以2）

Lemma 2.3：对(J1)的解 $f$（$f(e)=0$），有：

1. 奇性与平方律：$f(x^{-1})=-f(x)$，$f(x^2)=2f(x)$
2. 三变量交换公式（显式，无需1/2）： $f(xyz) = 2f(x) - f(xz^{-1}y^{-1})$$f(xzy) = 2f(x) - f(xy^{-1}z^{-1})$
3. 推论： $f(xyz)-f(xzy) = f(xy^{-1}z^{-1}) - f(xz^{-1}y^{-1})$

技术创新：这些公式完全避免了除以2，是后续证明的基础。

第二阶段：Involution的2-挠性

Theorem 2.5：对involution $a,b$ 和(J1)的解 $f$：

1. $2f(a)=0$，$2f(b)=0$
2. $2f(ab)=0$
3. 若 $(\mathrm{SR}_2)$ 提供 $t$ 使得 $t^2=ab$，则 $f(ab)=2f(t)$ 且 $4f(t)=0$

Lemma 2.6：若 $g$ 可写成involution的乘积，则 $2f(g)=0$。特别地，若 $G$ 由involution生成，则 $2f\equiv 0$。

证明思路：对involution字长归纳，利用 (J1) 在 $(x,y)=(X,a)$（$a$ 为involution）处的展开。

第三阶段：重排不变性

Theorem 2.7：若 $G$ 由involution生成，$f$ 满足(J1)且 $f(e)=0$，则： $f(xyz) = f(xzy) \quad (\forall x,y,z\in G)$

证明策略：

1. 利用Lemma 2.3的三变量公式和 $2f\equiv 0$，将差 $f(xyz)-f(xzy)$ 约化为 $2f(xz^{-1}y)$
2. 由Lemma 2.6，该差为0

意义：在involution字中交换相邻因子不改变 $f$ 值，这是证明可加性的关键。

主定理证明架构（Theorem 2.8）

目标：证明 $f(xy)=f(x)+f(y)$ 对所有 $x,y\in G$。

策略：对 $y$ 的involution字长 $\ell(y)$ 归纳。

基础情形 $\ell(y)=1$（$y=j$ 为involution）

定义"偏差函数"：$c(j;x) := f(xj)-f(x)$

Step A（2-挠性）：由Theorem 2.5，$2c(j;x)=0$。

Step B（吸收律）：利用重排和平方律，证明 $f(Zt^2) = -f(Z) \quad (\forall Z,t)$

Step C（不变性）：证明 $c(j;\cdot)$ 在两种右乘下不变：

1. 右乘involution $j$：$c(j;xj)=c(j;x)$（利用2-挠性）
2. 右乘平方 $t^2$：$c(j;xt^2)=c(j;x)$（利用重排+吸收律）

Step D（$(\mathrm{SR}_2)$ 的关键应用）：

• 对任意involution $a$，由 $(\mathrm{SR}_2)$ 存在 $t$ 使得 $t^2=ja$
• 因此 $a=jt^2$，从而 $c(j;xa) = c(j;xjt^2) \stackrel{\text{Step C(ii)}}{=} c(j;xj) \stackrel{\text{Step C(i)}}{=} c(j;x)$
• 由于 $G$ 由involution生成，$c(j;x)$ 与 $x$ 无关
• 取 $x=e$ 得 $c(j;x)=f(j)$，即 $f(xj)=f(x)+f(j)$

归纳步骤 $\ell(y)\geq 2$

设 $y=Yj$，其中 $\ell(Y)=\ell(y)-1$，$j\in I$。则： $f(xy) = f(x(Yj)) = f((xY)j) \stackrel{\text{base}}{=} f(xY)+f(j) \stackrel{\text{IH}}{=} f(x)+f(Y)+f(j) = f(x)+f(Yj)$

最后一步再次应用基础情形到 $f(Yj)=f(Y)+f(j)$。

验证(J2)：由同态性和奇性： $f(xy)+f(x^{-1}y) = f(x)+f(y)+(-f(x))+f(y) = 2f(y)$

技术创新点

1. 避免除以2的技术：
   • 传统方法（如6）依赖 $\frac{1}{2}f([x,y])$ 形式的换位子修正
   • 本文通过显式三变量公式（Lemma 2.3）完全绕过这一需求
2. 偏差函数方法：
   • 定义 $c(j;x)$ 并证明其在特定操作下不变
   • 这是证明可加性的核心，比直接验证 $f(xj)=f(x)+f(j)$ 更系统
3. 几何-代数对应：
   • $(\mathrm{SR}_2)$ 将几何直观（反射生成+乘积可平方）形式化
   • 证明中Step D精确捕捉了这一条件的作用：将任意involution约化为 $jt^2$ 形式
4. 字长归纳的精细控制：
   • 通过involution字长而非群元素的一般字长归纳
   • 保证每步都可利用involution的特殊性质

实验设置

注：本文为纯数学理论论文，无传统意义的"实验"，但有理论验证和例子构造。

验证案例

案例1：对称群 $S_n$（Theorem 3.1）

目标：验证 $S_n$ 满足 $(\mathrm{SR}_2)$。

方法：取 $I$ 为所有对换，对任意两对换 $\tau_1,\tau_2$ 分情况：

1. $\tau_1=\tau_2$：$\tau_1\tau_2=e=e^2$
2. 相交于一点（如 $(ab),(bc)$）：乘积为3-轮换 $(abc)$，取 $t=(acb)$ 则 $t^2=(abc)$
3. 不相交（如 $(ab),(cd)$）：乘积为 $(ab)(cd)$，取 $t=(acbd)$ 则 $t^2=(ab)(cd)$

结论：$(\mathrm{SR}_2)$ 成立，因此所有解形如 $f(\sigma) = \begin{cases} 0 & \sigma\text{为偶置换} \\ u & \sigma\text{为奇置换} \end{cases}$ 其中 $u\in H[2]$。

案例2：二面体群 $D_m$（Theorem 3.2）

表示：$D_m = \langle r,s \mid r^m=e, s^2=e, srs=r^{-1}\rangle$

反射集：$I = \{sr^k : 0\leq k < m\}$

情形1（$m$ 奇）：

• 任意两反射 $(sr^i)(sr^j) = r^{j-i}$
• 因为2在 $\mathbb{Z}_m$ 中可逆（存在 $u$ 使得 $2u\equiv 1\pmod{m}$）
• 可取 $t=r^{(j-i)u}$ 使得 $t^2=r^{j-i}$
• 结论：$(\mathrm{SR}_2)$ 成立

情形2（$m$ 偶，如 $m=2k$）：

• $s\cdot(sr) = r$ 不是平方（$D_4$ 的平方集为 $\{e,r^2\}$）
• 结论：$(\mathrm{SR}_2)$ 失败

反例构造（Example 3.4）

目标：对 $m=2k$ 偶数，构造满足(J1)但非同态的解。

构造：取 $u,c\in H[2]$，定义 $f(r^{2t})=0, \quad f(r^{2t+1})=u, \quad f(sr^j)=c$

验证(J1)：因为 $2f\equiv 0$，只需验证 $f(xy)=f(xy^{-1})$，分四种情形逐一检查。

非同态性： $f(sr) = c \neq c+u = f(s)+f(r)$ 当 $u\neq 0$ 时。

意义：说明 $(\mathrm{SR}_2)$ 的失败确实导致定理结论不成立。

实验结果

主要结果总结

理论发现

1. 充分性的精确性：
   • $(\mathrm{SR}_2)$ 是使 $S_1=\mathrm{Hom}$ 的充分条件
   • 反例表明某种形式的"乘积可平方"是必要的
2. 2-挠的普遍性：
   • 在 $(\mathrm{SR}_2)$ 下，所有解自动满足 $2f\equiv 0$（Lemma 2.6）
   • 解空间由 $H[2]$ 中的单个参数 $u$ 决定（当 $G^{ab}$ 是2-群时）
3. 奇偶二分法：
   • 对二面体群，$m$ 的奇偶性完全决定 $(\mathrm{SR}_2)$ 的成立
   • 这与 $\mathbb{Z}_m$ 中2的可逆性直接相关

与已有理论的比较（Section 4）

与Stetkær 6的复值理论比较：

• 6：$f(xy)=f(x)+f(y)+\frac{1}{2}f([x,y])$ 在 $G/[G,[G,G]]$ 上
• 本文：通过 $(\mathrm{SR}_2)$ 保证换位子项消失，无需除以2

与半群理论 1,2比较：

• 1,2：需要自同态结构+2-无挠假设
• 本文：纯群结构假设（$(\mathrm{SR}_2)$），适用于任意阿贝尔群 $H$

优势：

• 更一般的值域（不要求2-无挠）
• 更清晰的几何/组合意义
• 统一处理多个经典例子

相关工作

Jensen方程的历史

1. 实直线上的经典理论：Jensen方程刻画凸函数的中点性质
2. 群上的推广：
   • C.T. Ng 3-5：系统研究自由群、线性群、半直积上的Jensen方程
   • 4断言 $S_n$ 上解都是同态（未发表详细证明）
   • 5：Pexider化变体
3. 复值理论：
   • Stetkær 6：通过 $G/[G,[G,G]]$ 因式分解，给出显式公式
   • 奇解商群同构于 $\mathrm{Hom}([G,G]/[G,[G,G]],\mathbb{C})$
4. 半群上的推广：
   • Akkaoui 2：带自同态的半群，2-无挠假设
   • Aissia等 1：Pexider-Drygas型方程

本文的定位

• 填补空白：7首次给出 $S_n$ 的初等证明，本文将其核心观察（对换乘积是平方）抽象为 $(\mathrm{SR}_2)$
• 技术突破：发展了不除以2的系统方法（Lemmas 2.3-2.7）
• 应用范围：适用于反射生成群（Coxeter群的子类）

结论与讨论

主要结论

1. 核心定理：满足 $(\mathrm{SR}_2)$ 的群上，$S_1(G,H) = S_{1,2}(G,H) = \mathrm{Hom}(G,H) \cong \mathrm{Hom}(G^{ab},H)$
2. 应用验证：
   • 恢复 $S_n$ 的已知结果
   • 完整刻画二面体群（奇阶情形）
   • 构造偶阶反例
3. 方法论贡献：建立了不依赖2可除性的技术框架

局限性

1. 判据的必要性：
   • $(\mathrm{SR}_2)$ 是充分条件，但不是必要条件
   • 可能存在不满足 $(\mathrm{SR}_2)$ 但仍有 $S_1=\mathrm{Hom}$ 的群
2. Coxeter群的完整刻画：
   • Example 3.5仅给出部分结果
   • 完整的Coxeter理论刻画需要进一步工作
3. 非阿贝尔值域：
   • 方法依赖 $H$ 的交换性
   • 推广到非交换值域需要新思路
4. 计算复杂性：
   • 验证 $(\mathrm{SR}_2)$ 可能需要检查所有involution对
   • 对大型群可能计算困难

未来方向

1. Coxeter群的完整理论：
   • 刻画哪些Coxeter群满足 $(\mathrm{SR}_2)$
   • 与Coxeter矩阵的关系
2. 必要条件的探索：
   • 寻找 $S_1=\mathrm{Hom}$ 的必要条件
   • 可能涉及群的深层结构（如中心、导出列）
3. 算法方面：
   • 高效验证 $(\mathrm{SR}_2)$ 的算法
   • 计算解空间维数
4. 推广方向：
   • 更一般的函数方程（如d'Alembert方程）
   • 拓扑群上的连续解

深度评价

优点

1. 概念创新：
   • $(\mathrm{SR}_2)$ 判据简洁优美，具有清晰的几何直观
   • 成功将 $S_n$ 的特殊技巧抽象为一般原理
2. 技术严谨：
   • 完全避免除以2，扩大了适用范围
   • 证明结构清晰（偏差函数+字长归纳）
   • 三变量公式（Lemma 2.3）是技术亮点
3. 结果完整：
   • 不仅给出充分条件，还构造反例说明边界
   • 二面体群的奇偶二分法令人信服
4. 写作质量：
   • 逻辑清晰，从动机到定理到应用层层递进
   • 技术细节完整，可复现性强
   • Remark适时提供直观解释

不足

1. 判据的局限：
   • $(\mathrm{SR}_2)$ 的几何意义（"反射生成"）限制了适用范围
   • 对非反射生成群（如某些有限单群）无法应用
2. Coxeter理论未完成：
   • Example 3.5仅给出启发性讨论
   • 缺少对一般Coxeter群的系统处理
3. 与经典理论的联系：
   • 与6中 $G/[G,[G,G]]$ 理论的精确关系未充分阐述
   • 可以更明确地说明 $(\mathrm{SR}_2)$ 何时蕴含 $[G,G]=[G,[G,G]]$
4. 计算例子：
   • 可以增加更多具体群的计算（如 $A_n$, 某些矩阵群）
   • 解空间维数的显式公式（当 $G^{ab}$ 不是2-群时）

影响力

1. 理论贡献：
   • 为Jensen方程理论提供了新视角（群结构vs.值域性质）
   • 可能启发其他函数方程的研究
2. 应用潜力：
   • 反射群在几何、表示论中重要
   • 方法可能推广到其他对称性问题
3. 可复现性：
   • 证明完全初等，无需高深理论
   • 易于推广和修改

适用场景

1. 直接适用：
   • 对称群 $S_n$（组合学）
   • 奇阶二面体群（几何对称）
   • 某些Weyl群和Coxeter群（李理论）
2. 潜在应用：
   • 几何群论中的反射生成群
   • 有限镜面群（crystallographic groups）
   • 某些自同构群
3. 不适用情形：
   • 非involution生成群（如循环群 $C_n$, $n$奇）
   • 偶阶二面体群（已证明）
   • 一般非交换群（需要其他方法）

参考文献（关键文献）

3 C.T. Ng, Jensen's functional equation on groups, Aequationes Math. 39 (1990), 85–99.
4 C.T. Ng, Jensen's functional equation on groups, III, Aequationes Math. 62 (2001), 143–159.
6 H. Stetkær, On Jensen's functional equation on groups, Aequationes Math. 66 (2003), 100–118.
7 L.C. Trinh, T.T. Hieu, Jensen's functional equation on the symmetric group $S_n$, Aequationes Math. 82 (2011), 269–276.

总结

本文通过提出 $(\mathrm{SR}_2)$ 判据，为群上Jensen方程提供了优雅的结构性解法。核心创新在于将几何直观（反射生成+乘积可平方）形式化为代数条件，并发展了不依赖2可除性的系统技术。虽然判据适用范围有限（主要是反射生成群），但在该范围内给出了完整而透明的理论。二面体群的奇偶二分法和对称群结果的统一解释展示了方法的威力。未来在Coxeter群和更一般结构上的推广值得期待。