[论文解读] The Classical Hankel Transform In The Kirillov Model

Ehud Moshe Baruch|arXiv (Cornell University)|Oct 25, 2010

Advanced Algebra and Geometry参考文献 13被引用 6

一句话总结

本文通过表示论思想和一个将哈克尔变换映射到自反算子的互换算子，为复阶 $ u$ 满足 $ \text{Re}( u) > -1$ 的情形，提供了哈克尔变换反演公式的全新、初等证明。该方法完整描述了 $SL(2,\mathbb{R})$ 和 $GL(2,\mathbb{R})$ 离散系列表示的基里洛夫模型，明确将光滑向量识别为在零点处具有可控行为且快速衰减的函数。

ABSTRACT

We give a new and simple proof of the Hankel inversion formula for the classical Hankel transform which holds for a complex order with real part greater than -1. Using the proof of this formula we obtain the full description of the Kirillov model for discrete series representations of SL(2,R) and GL(2,R).

研究动机与目标

• 为复数 $ \nu$ 满足 $ \text{Re}(\nu) > -1$ 的情形，提供一个简单、基于表示论的哈克尔变换反演公式证明，扩展先前仅限于实数 $ \nu$ 的研究结果。
• 利用哈克尔变换框架，描述 $SL(2,\mathbb{R})$ 和 $GL(2,\mathbb{R})$ 离散系列表示的基里洛夫模型中的光滑向量。
• 通过识别具有快速衰减性和在零点处受控行为的光滑函数空间，显式构造离散系列表示在基里洛夫模型中的实现。
• 证明离散系列的基里洛夫模型同构于两个 $SL(2,\mathbb{R})$-不变不可约子空间的直和，每个子空间对应于 $\mathbb{R}^\pm$ 上的施瓦茨型空间。
• 通过将 Whittaker 函数与诱导表示中函数的傅里叶变换关联的映射，定义归一化的基里洛夫模型，从而获得一个酉且不可约的实现。

提出的方法

• 引入一个在 $[0,\infty)$ 上的施瓦茨空间 $S_\nu([0,\infty))$，其包含光滑且快速衰减的函数，且在哈克尔变换 $\mathcal{H}_\nu$ 下不变。
• 定义一个互换算子，将 $S_\nu([0,\infty))$ 上的哈克尔变换映射到 $L^2(\mathbb{R}, dx/|x|)$ 上的算子 $T_\nu$，其表达式为 $T_\nu \phi(x) = |x|^{-\nu-1} e^{\text{sgn}(x)\pi i(\nu+1)/2} \phi(-1/x)$。
• 证明 $T_\nu$ 是自反的（即 $T_\nu^2 = \text{Id}$），从而通过互换性质，表明哈克尔变换在 $S_\nu([0,\infty))$ 上也是自反的。
• 当 $\nu = d > 0$ 为整数时，将 $SL(2,\mathbb{R})$ 中的 Weyl 元素作用识别为算子 $T_d$，从而将表示论作用与哈克尔变换联系起来。
• 通过映射 $M_{\chi_1,\chi_2}(\phi)(y) = |y|^{(d+1)/2} \text{sgn}(y)^{m_2} \hat{\phi}(y)$ 构造基里洛夫模型，该映射将诱导表示映射到 $\mathbb{R} \setminus \{0\}$ 上的光滑函数空间，经缩放后在零点处保持快速衰减与光滑性。
• 在 $L^2(\mathbb{R}, dx/|x|)$ 上定义一个酉表示 $R_{\chi_1,\chi_2}$，通过涉及 $j_d(xy)$ 的积分变换显式给出平移、缩放和 Weyl 元素的作用，并证明光滑向量构成空间 $\mathcal{K}_{\chi_1,\chi_2}$。

实验结果

研究问题

• RQ1 能否以一种简单、基于表示论的方式，为复数 $ \nu$ 满足 $ \text{Re}(\nu) > -1$ 的情形证明哈克尔变换反演公式？
• RQ2 如何通过显式函数空间完全描述 $SL(2,\mathbb{R})$ 和 $GL(2,\mathbb{R})$ 离散系列表示的基里洛夫模型？
• RQ3 基里洛夫模型中光滑向量的精确结构是什么？它们与 $\mathbb{R}^\pm$ 上的施瓦茨型函数有何关系？
• RQ4 如何通过将哈克尔变换与 $L^2(\mathbb{R}, dx/|x|)$ 上的自反算子关联的互换算子，促进基里洛夫模型的构造？
• RQ5 通过映射 $M_{\chi_1,\chi_2}$，Whittaker 函数实现与归一化基里洛夫模型之间存在何种关系？

主要发现

• 对于 $ \text{Re}(\nu) > -1$ 的哈克尔变换阶 $ \nu$ ，其在施瓦茨空间 $S_\nu([0,\infty))$ 上是自反的，且该结论通过一个将哈克尔变换共轭为自反算子的互换算子得到证明。
• $SL(2,\mathbb{R})$ 和 $GL(2,\mathbb{R})$ 离散系列表示的基里洛夫模型中的光滑向量，正是那些满足：$f: \mathbb{R} \setminus \{0\} \to \mathbb{C}$，其自身及其所有导数在 $\pm\infty$ 处快速衰减，且 $g(x) = |x|^{(d+1)/2} f(x)$ 在 $x=0$ 处光滑的函数。
• $\mathcal{K}_d$ 中此类函数构成的集合，是两个 $SL(2,\mathbb{R})$-不变不可约子空间的直和：$\mathcal{K}_d^+ = \{ f \in \mathcal{K}_d \mid f(x) = 0 \text{ 对所有 } x < 0 \}$ 和 $\mathcal{K}_d^- = \{ f \in \mathcal{K}_d \mid f(x) = 0 \text{ 对所有 } x > 0 \}$，每个子空间同构于 $\mathbb{R}^\pm$ 上的施瓦茨空间。
• 归一化的基里洛夫模型 $\mathcal{K}_{\chi_1,\chi_2}$ 同构于 $L^2(\mathbb{R}, dx/|x|)$ 上酉表示 $R_{\chi_1,\chi_2}$ 的光滑向量空间，该表示不可约且强连续。
• 在基里洛夫模型中，Weyl 元素的作用通过积分变换实现：$$ \left(R_{\chi_1,\chi_2}\begin{pmatrix}0&-1\\ 1&0\end{pmatrix}f\right)(y) = \text{sgn}(y)^{m_2 + d + 1} \int_{-\infty}^{\infty} f(x) j_d(xy) \frac{dx}{|x|} $$ 其中 $j_d(x)$ 是一种贝塞尔型核。
• 从诱导表示 $\text{Ind}(\chi_1, \chi_2)$ 到 $\mathcal{K}_{\chi_1,\chi_2}$ 的映射 $F \mapsto M_{\chi_1,\chi_2}(\phi_F)$ 是一个同构，且该模型通过关系 $$ W_F\left(\begin{smallmatrix}|y|^{1/2}\text{sgn}(y)&0\\ 0&|y|^{-1/2}\end{smallmatrix}\right) = \omega(|y|^{1/2}) W_F\left(\begin{smallmatrix}y&0\\ 0&1\end{smallmatrix}\right) $$ 与 Whittaker 函数实现等价。