[论文解读] Laplace-type integral representations of the generalized Bessel function and of the Dunkl kernel of type $B_2$

Béchir Amri, Nizar Demni|arXiv (Cornell University)|Nov 17, 2016

Mathematical functions and polynomials被引用 7

一句话总结

本文通过将一个六元多项式分解为平面向量的平方范数，并利用修正贝塞尔函数的积分表示，推导出类型 $B_2$ 的广义贝塞尔函数与杜斯泰尔马特-黑克曼核的拉普拉斯型积分表示。关键贡献在于给出了广义贝塞尔函数代表测度的显式紧凑公式，当重数为1时，该公式恢复了八阶二面体群的杜斯泰尔马特-黑克曼测度，并可推广至任意非负重数且其和大于 $1/2$ 的情形。

ABSTRACT

In this paper, we derive a Laplace-type integral representations for both the generalized Bessel function and the Dunkl kernel associated with the rank-two root system of type B_2. The derivation of the first one elaborates on the integral representation of the generalized Bessel function proved in \\cite{Demni} through the modified Bessel function of the first kind. In particular, we recover an expression of the density of the Duistermaat-Heckman measure for the dihedral group of order eight. As to the integral representation of the corresponding Dunkl kernel, it follows from an application of the shift principle to the generalized Bessel function.

研究动机与目标

• 推导出类型 $B_2$ 的广义贝塞尔函数在任意非负重数之和大于 $1/2$ 的条件下的拉普拉斯型积分表示。
• 通过将平移原理应用于广义贝塞尔函数，建立类型 $B_2$ 的杜斯泰尔马特-黑克曼核的拉普拉斯型积分表示。
• 当两个重数均等于1时，将广义贝塞尔函数的代表测度作为特例，恢复八阶二面体群的杜斯泰尔马特-黑克曼测度。
• 通过最小化积分变量数量并利用对称性，提供杜斯泰尔马特-黑克曼核的紧凑且最优的积分公式。

提出的方法

• 推导始于文献 [11] 中已有的广义贝塞尔函数的积分表示，其涉及第一类修正贝塞尔函数。
• 关键技术步骤是将一个六元多项式表示为平面向量的欧氏范数平方，从而在积分中实现变量替换。
• 推导出第一类修正贝塞尔函数的积分表示，并用于简化广义贝塞尔函数的积分形式。
• 将平移原理应用于广义贝塞尔函数，以推导出杜斯泰尔马特-黑克曼核的相应积分表示。
• 通过分部积分和变量替换，减少积分变量数量并简化所得表达式。
• 通过仔细组合对称函数与修正贝塞尔函数的项，最终得到杜斯泰尔马特-黑克曼核的公式。

实验结果

研究问题

• RQ1 能否为类型 $B_2$ 的广义贝塞尔函数在任意非负重数之和大于 $1/2$ 的条件下，推导出拉普拉斯型积分表示？
• RQ2 根据一般理论，广义贝塞尔函数在 $B_2$ 情形下的代表测度是否支持于变量的凸包内？
• RQ3 能否通过平移原理与广义贝塞尔函数，将类型 $B_2$ 的杜斯泰尔马特-黑克曼核表示为拉普拉斯型积分？
• RQ4 所得的杜斯泰尔马特-黑克曼核的积分表示在积分变量数量和复杂度方面是否达到最小？
• RQ5 在 $B_2$ 情境下，八阶二面体群的杜斯泰尔马特-黑克曼测度的显式形式是什么？

主要发现

• 类型 $B_2$ 的广义贝塞尔函数在所有满足 $k_1, k_2 \geq 0$ 且 $k_1 + k_2 > 1/2$ 的重数下，均存在有效的拉普拉斯型积分表示。
• 广义贝塞尔函数的代表测度支持于变量的凸包内，与 [6] 的推论 3.3 的一般预测一致。
• 当 $k_1 = k_2 = 1$ 时，代表测度明确简化为与八阶二面体群相关的杜斯泰尔马特-黑克曼测度。
• 通过将平移原理应用于广义贝塞尔函数，证明了类型 $B_2$ 的杜斯泰尔马特-黑克曼核存在拉普拉斯型积分表示。
• 所得的杜斯泰尔马特-黑克曼核公式在结构上是最优的，最小化了积分变量数量并简化了核的表达式。
• 最终的杜斯泰尔马特-黑克曼核积分表示通过一系列变量替换与分部积分推导得出，得到了紧凑且显式的公式。