[論文レビュー] The inversion formula and holomorphic extension of the minimal representation of the conformal group

Toshiyuki Kobayashi, Gen Mano|arXiv (Cornell University)|Jun 30, 2006

Mathematical Analysis and Transform Methods被引用数 4

ひとこと要約

この論文は、ベッセル関数を用いて、$O(m+1,2)$の最小表現の正則拡張を$O(m+3,\mathbb{C})$における正則半群へと導出する明示的な積分公式を導出する。主な結果は、修正ベッセル関数$I_{\nu}$を含む核の閉形式表現であり、その境界値はミンコフスキー空間$\mathbb{R}^{m,1}$上の逆演算子を定める。この逆演算子は、明示的な逆転およびプランシュレル性質を有するハンケル型変換であることが示された。

ABSTRACT

The minimal representation $π$ of the indefinite orthogonal group $O(m+1,2)$ is realized on the Hilbert space of square integrable functions on $\mathbb R^m$ with respect to the measure $|x|^{-1} dx_1... dx_m$. This article gives an explicit integral formula for the holomorphic extension of $π$ to a holomorphic semigroup of $O(m+3, \mathbb C)$ by means of the Bessel function. Taking its `boundary value', we also find the integral kernel of the `inversion operator' corresponding to the inversion element on the Minkowski space $\mathbb R^{m,1}$.

研究の動機と目的

• 正則半群$e^{tD}$の明示的積分公式を、$\mathbb{R}^m$上の微分作用素$D = |x|\left(\frac{\Delta}{4} - 1\right)$を用いて$O(m+1,2)$の最小表現の正則拡張として導出すること。
• この半群の境界値を$t = \pi\sqrt{-1}$で評価し、$L^2(\mathbb{R}^m, |x|^{-1}dx)$上のユニタリな逆演算子を得ること。
• 最小表現から生じるハンケル型変換の逆転およびプランシュレルの公式を確立すること。

提案手法

• 微分作用素$D = |x|\left(\frac{\Delta}{4} - 1\right)$を用いて、$\mathbb{R}^m$上での正則半群$e^{tD}$を構成する。この作用素は、$L^2(\mathbb{R}^m, |x|^{-1}dx)$上で自己共役であり、離散スペクトルを持つ。
• 半群の核$K^+(x,x';t)$を、修正ベッセル関数$I_{\nu}$（$\nu = \frac{m-3}{2}$）と、$\psi(x,x') = 2\sqrt{2(|x||x'| + \langle x,x'\rangle)}$を用いて明示的に計算する。
• 境界値は$t = \pi\sqrt{-1}$で、$\lim_{\varepsilon \downarrow 0} K^+(x,x'; \pi\sqrt{-1} + \varepsilon)$として取り、$J_{\frac{m-3}{2}}$を含む核を得る。
• 得られた作用素は、明示的な逆転公式$T^{-1} = (-1)^{m+1}T$と等長性を有するハンケル型変換であることが示された。
• 証明は、$D$のスペクトル理論、$\tilde{I}_\nu(z)$の推定、ゲーゲンバウアー多項式およびベッセル関数を含む積分恒等式に依拠する。
• 導出には、シュレーディンガー模型と$K$-型分解を用いて、最小表現およびその無限小作用を分析する。

実験結果

リサーチクエスチョン

• RQ1 微分作用素$D = |x|\left(\frac{\Delta}{4} - 1\right)$を生成元とする正則半群の明示的積分核は何か？
• RQ2 正則拡張された$O(m+1,2)$の最小表現は、$L^2(\mathbb{R}^m, |x|^{-1}dx)$上でどのように作用するか？その核は何か？
• RQ3 純虚時間$t = \pi\sqrt{-1}$におけるこの半群の境界値は何か？その作用素論的解釈は？
• RQ4 得られた作用素はユニタリか？また、逆転およびプランシュレルの公式を満たすか？
• RQ5 逆演算子はハンケル型変換として特定できるか？その正確な関数的形は何か？

主な発見

• 正則半群$e^{tD}$（$\operatorname{Re}t > 0$）は、明示的な積分核$K^+(x,x';t) = \frac{2e^{-2(|x|+|x'|)\coth(t/2)}}{\pi^{\frac{m-1}{2}}\sinh^{m-1}(t/2)}\tilde{I}_{\frac{m-3}{2}}\left(\frac{\psi(x,x')}{\sinh(t/2)}\right)$を有する。ここで$\psi(x,x') = 2\sqrt{2(|x||x'| + \langle x,x'\rangle)}$である。
• 境界値$t = \pi\sqrt{-1}$において、核$K^+(x,x') = \frac{2}{\sqrt{-1}^{m-1}\pi^{\frac{m-1}{2}}}\tilde{J}_{\frac{m-3}{2}}(\psi(x,x'))$が得られ、これは$L^2(\mathbb{R}^m, |x|^{-1}dx)$上のユニタリ作用素を定める。
• 作用素$T$は、逆転公式$T^{-1} = (-1)^{m+1}T$を満たすため、符号を除いて自己逆であることが確認された。
• プランシュレルの公式$\|Tu\|_{L^2} = \|u\|_{L^2}$が成り立ち、変換の等長性が確認された。
• 半群に関連する$O(m)$-不変作用素のスペクトルが解析され、$\tilde{I}_\nu(z)$の推定により核が有界であることが示された。
• $I_\nu$とゲーゲンバウサー多項式を含む積分恒等式が導出・証明され、核展開およびスペクトル分解の検証に不可欠な役割を果たした。