[論文レビュー] Nonabelian harmonic analysis and functional equations on compact groups

Jinpeng An, Dilian Yang|ArXiv.org|Sep 4, 2008

Functional Equations Stability Results参考文献 17被引用数 8

ひとこと要約

この論文は、非アーベル調和解析と表現論を用いて、コンパクト群上で一般化された関数方程式を解き、すべての $L^2$-解が $SU(2)$ もしくは $O(2)$ を通じて因数分解されることを示し、ウィルソン方程式およびd’Alembertの長方程式の解を完全に特徴づけ、$SU(2)$ へのホモモーフィズムのトレースとして表すことで、コンパクト群上の関数方程式分野における長年の未解決問題を解決した。

ABSTRACT

Making use of nonabelian harmonic analysis and representation theory, we solve the functional equation $$f_1(xy)+f_2(yx)+f_3(xy^{-1})+f_4(y^{-1}x)=f_5(x)f_6(y)$$ on arbitrary compact groups. The structure of its general solution is completely described. Consequently, several special cases of the above equation, in particular, the Wilson equation and the d'Alembert long equation, are solved on compact groups.

研究の動機と目的

• 任意のコンパクト群上で関数方程式 $f_1(xy) + f_2(yx) + f_3(xy^{-1}) + f_4(y^{-1}x) = f_5(x)f_6(y)$ のすべての $L^2$-解を完全に特徴づけること。
• ウィルソン方程式およびd’Alembertの長方程式を、この一般化形に還元することにより、コンパクト群上でのこれらの方程式を解くという未解決問題を解決すること。
• これらの方程式の非自明なすべての解が $SU(2)$ を通じて因数分解されることを確立し、従来の連結コンパクト群に限った結果を、任意のコンパクト群へ拡張すること。
• フーリエ変換と表現論を用いて、解空間を同次解空間（$f_1(xy)+f_2(yx)+f_3(xy^{-1})+f_4(y^{-1}x)=0$ を満たす解）と純粋正規化解に完全に分解すること。
• $U(1)$、$O(2)$、$SU(2)$、$O(3)$ への既約表現を用いて、すべての純粋正規化解を分類すること。

提案手法

• コンパクト群 $G$ のユニタリ双対 $\hat{G}$ 上での行列方程式の族に、非アーベルフーリエ変換を適用して関数方程式を変換すること。
• 表現の3種類（複素数型、実数型、クaternion型）に対応する許容可能な行列タプルを、$\hat{G}$ 内の3種類の既約表現に対し定義すること。
• 線形代数的手法を用いて得られた行列方程式を解き、すべての許容可能なタプルを分類すること。
• フーリエ逆変換の公式を用いて、変換された行列解から一般の $L^2$-解を再構成すること。
• 解空間を、同次解空間（$f_1(xy)+f_2(yx)+f_3(xy^{-1})+f_4(y^{-1}x)=0$ を満たす解）と純粋正規化解空間の直和に分解すること。
• 中心関数の直交補空間を生成するための基底を、$O(1)$、$O(2)$、$SU(2)$ への表現を用いて構成すること。

実験結果

リサーチクエスチョン

• RQ1 任意のコンパクト群上で一般化された関数方程式 $f_1(xy)+f_2(yx)+f_3(xy^{-1})+f_4(y^{-1}x)=f_5(x)f_6(y)$ のすべての $L^2$-解の完全な構造は何か？
• RQ2 コンパクト群上でのウィルソン方程式およびd’Alembertの長方程式の非自明なすべての解は、$SU(2)$ を通じて因数分解されるか？
• RQ3 d’Alembertの長方程式の解は、古典的d’Alembert方程式の解とどのように関係するか？
• RQ4 一般化された方程式の解空間は、同次解と純粋正規化解の和に分解可能か？
• RQ5 $U(1)$、$O(2)$、$SU(2)$、$O(3)$ への既約表現が、一般解を生成する上で果たす役割は何か？

主な発見

• コンパクト群上での一般化された関数方程式のすべての $L^2$-解は、フーリエ変換と表現論を用いて完全に記述され、許容可能な行列タプルから生じる。
• コンパクト群上でのウィルソン方程式 $f(xy)+f(xy^{-1})=2f(x)g(y)$ の非自明なすべての解は、$f(x)=a\operatorname{tr}(\pi(x))$、$g(x)=\frac{1}{2}\operatorname{tr}(\pi(x))$ の形であり、あるホモモーフィズム $\pi: G \to SU(2)$ と $a \in \mathbb{C}$ に対して成り立つ。
• コンパクト群上でのd’Alembertの長方程式 $f(xy)+f(yx)+f(xy^{-1})+f(y^{-1}x)=4f(x)f(y)$ の非自明なすべての解は、$f(x)=\frac{1}{2}\operatorname{tr}(\pi(x))$ の形で表され、古典的d’Alembert方程式の解と一致する。
• d’Alembertの長方程式と古典的d’Alembert方程式の一般解は同一であり、長形から新たな解が生じないことが確認された。
• 方程式 $f(xy)+f(xy^{-1})+f(yx)+f(y^{-1}x)=h(x)k(y)$ の非自明なすべての解は、$O(2)$ もしくは $SU(2)$ を通じて因数分解され、表現のトレースを用いて明示的に記述可能である。
• 一般化された方程式の解空間は、同次解空間と純粋正規化解空間の直和に分解され、後者は $U(1)$、$O(2)$、$SU(2)$、$O(3)$ への既約表現によって完全に特徴づけられる。