[论文解读] Analysis on the minimal representation of O(p,q) -- III. ultrahyperbolic equations on R^{p-1,q-1}

Toshiyuki Kobayashi, Bent Ørsted|Nov 7, 2001

Mathematical functions and polynomials参考文献 9被引用 37

一句话总结

本文通过在 $\mathbb{R}^{p-1,q-1}$ 上解超双曲波动方程，利用傅里叶分析和幂零子代数中的锥 $C$ 定义的新内积，构造了不定正交群 $O(p,q)$ 的一个幺正极小表示。关键结果是该表示与 $L^2$-空间在零锥 $C$ 上的幺正等价，将波动方程的能量内积推广至更高签名的空间。

ABSTRACT

For the group O(p,q) we give a new construction of its minimal unitary representation via Euclidean Fourier analysis. This is an extension of the q = 2 case, where the representation is the mass zero, spin zero representation realized in a Hilbert space of solutions to the wave equation. The group O(p,q) acts as the Moebius group of conformal transformations on R^{p-1, q-1}, and preserves a space of solutions of the ultrahyperbolic Laplace equation on R^{p-1, q-1}. We construct in an intrinsic and natural way a Hilbert space of ultrahyperbolic solutions so that O(p,q) becomes a continuous irreducible unitary representation in this Hilbert space. We also prove that this representation is unitarily equivalent to the representation on L^2(C), where C is the conical subvariety of the nilradical of a maximal parabolic subalgebra obtained by intersecting with the minimal nilpotent orbit in the Lie algebra of O(p,q).

研究动机与目标

• 在 $\mathbb{R}^{p-1,q-1}$ 上构造 $O(p,q)$ 的连续、不可约、幺正表示，作用于超双曲拉普拉斯方程 $\square_{\mathbb{R}^{p-1,q-1}}f=0$ 的解所构成的希尔伯特空间，其中 $p,q\geq2$ 且 $p+q>4$ 为偶数。
• 在解空间上定义一个内在且自然的内积，推广波动方程情形下的能量内积。
• 建立解空间上的表示与抛物子代数的幂零子代数中零锥 $C$ 上的 $L^2$-空间之间的幺正等价性。
• 通过傅里叶分析和贝塞尔函数，提供 $O(p,q)$ 的极小幺正表示的几何与解析实现，尤其适用于 $p,q\geq3$ 的情形。

提出的方法

• 利用非特征超平面积分构造 $\mathbb{R}^{p-1,q-1}$ 上超双曲方程 $\square_{\mathbb{R}^{p-1,q-1}}f=0$ 的解的希尔伯特空间，作为内积。
• 通过傅里叶变换将 $\mathbb{R}^{p-1,q-1}$ 上的解与锥 $C$ 上的函数联系起来，利用定理 4.9 建立幺正等价性。
• 利用格林函数和包含贝塞尔函数的积分公式，推导解空间上的显式内积。
• 应用反傅里叶变换，将超平面上的柯西数据与解联系起来，使用如 $\delta(z_{1},\dots,\widehat{z_{i}},\dots,z_{n})$ 等分布。
• 通过普朗歇尔公式和 $\mathbb{R}^{n-1}$ 上的积分推导内积，将其与 $L^2(C)$-范数联系起来。
• 利用 $O(p,q)$ 的李代数中的微分算子，从最小 $K$-型（表示为超几何函数）生成整个希尔伯特空间。

实验结果

研究问题

• RQ1 如何在 $\mathbb{R}^{p-1,q-1}$ 上超双曲方程的解空间上，内在地构造 $O(p,q)$ 的幺正极小表示？
• RQ2 在解空间上应采用何种内积，才能使 $O(p,q)$ 的作用为幺正且不可约？
• RQ3 解空间上的表示与幂零子代数中零锥 $C$ 上的 $L^2$-空间之间有何关系？
• RQ4 守恒量（类比于波动方程中的能量）能否推广至超双曲情形？它们如何表达？
• RQ5 最小 $K$-型在通过微分算子生成整个表示空间的过程中起什么作用？

主要发现

• 解空间上的内积由 $ (f,f)_W = \frac{1}{2(2\pi)^{n+1}} \|\phi\|^2_{L^2(C)} $ 给出，证明了解表示与 $L^2(C)$ 之间的幺正等价性。
• 该表示与零锥 $C$ 上的 $L^2$-空间幺正等价，该结果通过傅里叶变换和格林函数技术建立。
• 最小 $K$-型显式实现为超几何函数，其傅里叶变换可表示为贝塞尔函数。
• 守恒量 $\mathcal{E}_j(f) = (f, |H_j| f)$ 在 $z_j$ 的平移下保持不变，推广了波动方程的能量守恒性质。
• 在坐标超平面上消失且其法向导数也为零的解恒为零，这是守恒量结构的直接推论。
• 该构造将 $q=2$ 情形（波动方程）推广至更高签名的空间，同时保持共形不变性和幺正性。