[论文解读] 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}$.

研究动机与目标

• 推导共形群 $O(m+1,2)$ 的最小表示在 $O(m+3,\mathbb{C})$ 中的解析半群的显式积分公式。
• 确定该半群在 $t = \pi\sqrt{-1}$ 处的边界值，从而在 $L^2(\mathbb{R}^m, |x|^{-1}dx)$ 上给出酉逆算子。
• 建立由最小表示导出的哈嫩类型变换的逆公式与普朗歇尔公式。

提出的方法

• 通过 $\mathbb{R}^m$ 上的微分算子 $D = |x|\left(\frac{\Delta}{4} - 1\right)$ 构造解析半群 $e^{tD}$，该算子在 $L^2(\mathbb{R}^m, |x|^{-1}dx)$ 上自伴且具有离散谱。
• 利用修正贝塞尔函数 $I_{\nu}$ 显式计算半群的核 $K^+(x,x';t)$，其中 $\nu = \frac{m-3}{2}$，参数 $\psi(x,x') = 2\sqrt{2(|x||x'| + \langle x,x'\rangle)}$。
• 通过 $\lim_{\varepsilon \downarrow 0} K^+(x,x'; \pi\sqrt{-1} + \varepsilon)$ 取 $t = \pi\sqrt{-1}$ 处的边界值，得到涉及贝塞尔函数 $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)$ 在 $\mathbb{R}^m$ 上生成的解析半群的显式积分核是什么？
• RQ2 共形群 $O(m+1,2)$ 的最小表示的解析延拓在 $L^2(\mathbb{R}^m, |x|^{-1}dx)$ 上如何作用？其核是什么？
• RQ3 该半群在纯虚时间 $t = \pi\sqrt{-1}$ 处的边界值是什么？其算子理论解释为何？
• RQ4 所得算子是否酉？是否满足逆公式与普朗歇尔公式？
• RQ5 逆算子能否被识别为哈嫩类型变换？其精确函数形式为何？

主要发现

• 当 $\operatorname{Re}t > 0$ 时，解析半群 $e^{tD}$ 具有显式积分核 $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$ 与勒让德多项式的积分恒等式，该恒等式对验证核展开与谱分解至关重要。