[论文解读] Integral formula and upper estimate of I and J-Bessel functions on Jordan algebras

Ryosuke Nakahama|arXiv (Cornell University)|Nov 20, 2012

Mathematical functions and polynomials参考文献 17被引用 4

一句话总结

本文通过在有界对称域上积分，提出了一种在简单欧几里得Jordan代数上I和J-修正贝塞尔函数的新积分表示，从而实现了对这些函数的精确上界估计。关键贡献是一个新公式，该公式推广了经典贝塞尔函数恒等式，并为对称锥上全纯半群核提供了指数衰减界。

ABSTRACT

In this paper we give a new integral expression of I and J-Bessel functions on simple Euclidean Jordan algebras, integrating on a bounded symmetric domain. From this we easily get the upper estimate of Bessel functions. As an application we give an upper estimate of the integral kernel function of the holomorphic 1-dimensional semi-group acting on the space of square integrable functions on symmetric cones.

研究动机与目标

• 通过在有界对称域上积分，推导出简单欧几里得Jordan代数上I和J-修正贝塞尔函数的新积分表达式。
• 利用新积分表示，为这些贝塞尔函数建立上界估计，特别针对实部足够大的复参数。
• 将估计结果应用于对称锥上平方可积函数上作用的全纯1维半群的积分核。
• 将经典贝塞尔函数恒等式推广至Jordan代数设定，包括在秩1情形下修正贝塞尔函数的新公式。
• 为通过在对称锥上的谱理论分析半群核的衰减与增长性质，提供一个框架。

提出的方法

• 通过在有界对称域 $D \subset V^{\mathbb{C}}$ 上积分，利用超几何函数 ${}_1F_1(-k,\lambda; -x,w)$，推导出 $\mathcal{I}_{\lambda}(x^2)$ 和 $\mathcal{J}_{\lambda}(x^2)$ 的新积分公式。
• 利用泛函范数 $h(w,w)$ 和对称锥上的全纯离散系列表示，将贝塞尔函数与 $L^2$-可积性条件联系起来。
• 应用积分表示，推导出涉及 $e^{2|\operatorname{Re}x|_1}$ 和 $|x|_1^{rk}$ 多项式增长的上界估计，条件为 $\operatorname{Re}\lambda + k > \frac{2n}{r} - 1$。
• 利用有界对称域 $D \cong G/K$ 的结构以及其通用覆盖群 $\tilde{G}$ 的作用，定义全纯离散系列表示。
• 利用Wallach集 $\mathcal{W}$ 实现表示的解析延拓，并确保当 $\lambda \in \mathcal{W}$ 时的酉性。
• 通过控制 $\operatorname{tr}\sqrt{P(x^{1/2})y}$ 和复参数 $t$ 的双曲三角恒等式，建立全纯半群核 $K_\lambda(x,y;t)$ 的衰减估计。

实验结果

研究问题

• RQ1 能否通过在有界对称域上积分，推导出Jordan代数上I和J-修正贝塞尔函数的新积分表示？
• RQ2 新积分公式如何导出贝塞尔函数在多项式与指数增长意义上的上界估计？
• RQ3 全纯半群核在对称锥上的精确衰减行为是什么？其与贝塞尔函数估计有何关联？
• RQ4 新公式在秩1情形（例如 $V = \mathbb{R}$）下如何推广经典贝塞尔函数恒等式？
• RQ5 Wallach集 $\mathcal{W}$ 在全纯离散系列表示的解析延拓与酉性中起什么作用？

主要发现

• 建立了新积分公式：$\mathcal{I}_{\lambda}(x^2) = c_{\lambda+k} \int_D {}_1F_1(-k,\lambda; -x,w) e^{2(x|\operatorname{Re}w)} h(w,w)^{\lambda+k - \frac{2n}{r}} dw$，在 $\operatorname{Re}\lambda + k > \frac{2n}{r} - 1$ 时成立。
• 当 $\operatorname{Re}\lambda > \frac{2n}{r} - 1$ 时，公式简化为 $\mathcal{I}_{\lambda}(x^2) = \frac{1}{\pi^n} \frac{\Gamma_\Omega(\lambda)}{\Gamma_\Omega(\lambda - \frac{n}{r})} \int_D e^{2(x|\operatorname{Re}w)} h(w,w)^{\lambda - \frac{2n}{r}} dw$。
• 导出上界估计：$|\mathcal{I}_{\lambda}(x^2)| \leq C_{\lambda,k} (1 + |x|_1^{rk}) e^{2|\operatorname{Re}x|_1}$，其中 $C_{\lambda,k} > 0$ 依赖于 $\lambda$ 和 $k$。
• 对 $\mathcal{J}_{\lambda}(x^2)$ 的界为 $|\mathcal{J}_{\lambda}(x^2)| \leq C_{\lambda,k} (1 + |x|_1^{rk}) e^{2|\operatorname{Im}x|_1}$，表明其在虚部方向呈现指数衰减。
• 全纯半群核 $K_\lambda(x,y;t)$ 满足：$|K_\lambda(x,y;t)| \leq C_{\lambda,t} (1 + (\operatorname{tr}x \operatorname{tr}y)^{rk/2}) \exp\left(-\frac{\sinh u}{\cosh u + |\cos v|}(\operatorname{tr}x + \operatorname{tr}y)\right)$，其中 $t = u + iv$。
• 经典修正贝塞尔函数 $\tilde{I}_\lambda(x)$ 的公式被推广为 $\tilde{I}_\lambda(x) = \frac{\lambda+k}{\pi \Gamma(\lambda+1)} \int_{|w|<1} {}_1F_1(-k,\lambda+1; -xw) e^{x \operatorname{Re}w} (1 - |w|^2)^{\lambda+k-1} dw$，即使在秩1情形下也属新结果。