Jensen関数方程式について対合生成群上の研究：($\mathrm{SR}_2$)判定法と応用

基本情報

• 論文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 (群論)
• 発表日時: 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)$（対合平方根判定法）を提案し、この判定法の下では(J1)のすべての解が必然的に(J2)を満たし、自動的に群準同型となることを証明する。この判定法は多くの反射生成群、特に対称群 $S_n$ と奇数位数二面体群に適用可能である。研究方法は $H$ における2可除性に依存せず、古典的な複素数値理論を補完する。

研究背景と動機

問題の背景

1. 古典的Jensen方程式：実直線上では、Jensen方程式 $f(\frac{x+y}{2})=\frac{f(x)+f(y)}{2}$ は凸性を特徴付ける。非可換群上では、自然に対称な2つのJensen型方程式(J1)と(J2)が現れる。
2. 既存理論：
   • C.T. Ng 3-5は自由群、線形群、半直積などの重要な群類上でJensen方程式の約化公式を発展させた
   • Stetkær 6は複素数値解が2次導出商群 $G/[G,[G,G]]$ を通じて因数分解できることを証明した
   • 最近の研究 1,2は半群上の自同態付きJensen方程式を研究したが、2-ねじれなし仮定に依存している
3. 対称群の特殊性：Ngは4,5で $S_n$ 上のすべてのJensen解が準同型であると主張したが、詳細な証明は未発表である。Trinhとhieu 7はその後、初等的な証明を与え、重要な観察は $S_n$ における任意の2つの互換の積は常に平方元であるということである。

研究の動機

1. 統一的枠組みの欠落：既存理論は複素数体の特殊性（2で除可能）に依存するか、半群自同態構造を必要とするかのいずれかであり、純粋な群構造の統一的判定法が欠けている。
2. 対称群結果の一般化：7の重要な観察（互換の積は平方）は、より一般的な構造的条件が存在することを示唆している。
3. 技術的課題：$H$ が2で除可能であると仮定せず、群 $G$ の構造的性質のみから解の完全な特徴付けをどのように導くか？

本論文の貢献の重要性

• 任意のアーベル群値域に適用可能な純粋な群論的構造判定法を提案
• 対称群、奇数位数二面体群などの重要な例を統一的に説明
• 「対合生成+積が平方可能」という幾何学的直観の代数的本質を明らかにする

核心的貢献

1. $(\mathrm{SR}_2)$判定法の提案：対合と平方根のみに基づく純粋な群構造条件を定義し、この条件が $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）。これには明示的な3変数交換公式と並べ替え不変性定理が含まれる。

方法の詳細説明

問題の定義

問題設定：

• 入力：群 $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$（対合集合 $I$ により生成される。ここで $i^2=e, \forall i\in I$）
2. 任意の $a,b\in I$ に対して、$t^2=ab$ を満たす $t\in G$ が存在する

幾何学的直観：

• 条件1：群は「反射」により生成される
• 条件2：任意の2つの反射の合成は、ある元の平方として表現可能である（「積が平方可能」）

主要な例：

• $S_n$：すべての互換を $I$ とすると、任意の2つの互換の積は3-巡回置換または4-巡回置換の平方
• $D_m$（$m$奇）：すべての反射 $\{sr^k\}$ を $I$ とすると、2が $\mathbb{Z}_m$ で可逆であるため

技術的枠組み

第1段階：基本恒等式（2で除かない）

Lemma 2.3：(J1)の解 $f$（$f(e)=0$）に対して、以下が成立する：

1. 奇性と平方律：$f(x^{-1})=-f(x)$，$f(x^2)=2f(x)$
2. 3変数交換公式（明示的、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で除くことを完全に回避し、後続の証明の基礎となる。

第2段階：対合の2-ねじれ性

Theorem 2.5：対合 $a,b$ と(J1)の解 $f$ に対して：

1. $2f(a)=0$，$2f(b)=0$
2. $2f(ab)=0$
3. $(\mathrm{SR}_2)$ が $t^2=ab$ を満たす $t$ を提供する場合、$f(ab)=2f(t)$ かつ $4f(t)=0$

Lemma 2.6：$g$ が対合の積として書ける場合、$2f(g)=0$。特に、$G$ が対合により生成される場合、$2f\equiv 0$。

証明の思路：対合の字長に関する帰納法を用い、$(x,y)=(X,a)$（$a$は対合）での(J1)の展開を利用する。

第3段階：並べ替え不変性

Theorem 2.7：$G$ が対合により生成され、$f$ が(J1)を満たし $f(e)=0$ である場合、以下が成立する： $f(xyz) = f(xzy) \quad (\forall x,y,z\in G)$

証明戦略：

1. Lemma 2.3の3変数公式と $2f\equiv 0$ を利用して、差 $f(xyz)-f(xzy)$ を $2f(xz^{-1}y)$ に約化する
2. Lemma 2.6により、この差は0である

意義：対合の字における隣接因子の交換は $f$ の値を変えない。これは加法性を証明するための鍵である。

主定理の証明構造（Theorem 2.8）

目標：すべての $x,y\in G$ に対して $f(xy)=f(x)+f(y)$ を証明する。

戦略：$y$ の対合字長 $\ell(y)$ に関する帰納法。

基本ケース $\ell(y)=1$（$y=j$は対合）

「偏差関数」を定義する：$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)$ が2種類の右乗法の下で不変であることを証明する：

1. 対合 $j$ による右乗法：$c(j;xj)=c(j;x)$（2-ねじれ性を利用）
2. 平方 $t^2$ による右乗法：$c(j;xt^2)=c(j;x)$（並べ替え+吸収律を利用）

Step D（$(\mathrm{SR}_2)$の重要な応用）：

• 任意の対合 $a$ に対して、$(\mathrm{SR}_2)$ から $t^2=ja$ を満たす $t$ が存在する
• したがって $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$ が対合により生成されるため、$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])$ 形式の交換子修正に依存する
   • 本論文は明示的な3変数公式（Lemma 2.3）を通じてこの必要性を完全に回避する
2. 偏差関数法：
   • $c(j;x)$ を定義し、特定の操作の下での不変性を証明する
   • これは加法性を証明するための核心であり、$f(xj)=f(x)+f(j)$ の直接検証より体系的である
3. 幾何-代数対応：
   • $(\mathrm{SR}_2)$ は幾何学的直観（反射生成+積が平方可能）を形式化する
   • 証明のStep Dはこの条件の作用を正確に捉える：任意の対合を $jt^2$ 形式に約化する
4. 字長帰納法の精密な制御：
   • 一般的な群元の字長ではなく、対合字長に関する帰納法を使用
   • 各ステップで対合の特殊性を利用できることを保証する

実験的設定

注：本論文は純粋数学の理論論文であり、従来の意味での「実験」はないが、理論的検証と例の構成がある。

検証ケース

ケース1：対称群 $S_n$（Theorem 3.1）

目標：$S_n$ が $(\mathrm{SR}_2)$ を満たすことを検証する。

方法：すべての互換を $I$ とし、任意の2つの互換 $\tau_1,\tau_2$ に対して場合分けする：

1. $\tau_1=\tau_2$：$\tau_1\tau_2=e=e^2$
2. 1点で交わる場合（例えば $(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$奇）：

• 任意の2つの反射 $(sr^i)(sr^j) = r^{j-i}$
• 2が $\mathbb{Z}_m$ で可逆であるため（$2u\equiv 1\pmod{m}$ を満たす $u$ が存在）
• $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})$ を検証するだけで十分であり、4つの場合を逐一確認する。

非準同型性： $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)$ の検証はすべての対合対を確認する必要がある可能性
   • 大規模群に対しては計算が困難な場合がある

今後の方向

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で除くことを完全に回避し、適用範囲を拡大
   • 証明構造が明確（偏差関数+字長帰納法）
   • 3変数公式（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群（Lie理論）
2. 潜在的応用：
   • 幾何学的群論における反射生成群
   • 有限鏡面群（結晶学的群）
   • 某些自己同型群
3. 非適用の場合：
   • 非対合生成群（例えば巡回群 $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群およびより一般的な構造上への推広は今後の研究に値する。