[論文レビュー] 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

ひとこと要約

本稿では、6変数多項式を平面ベクトルのノルムの2乗として表現する新しい分解法と、変形ベッセル関数の積分表現を用いて、一般化されたベッセル関数およびタイプ$B_2$のダンクルカーネルのラプラス型積分表現を導出する。主な貢献は、一般化されたベッセル関数の代表測度に対する明示的かつコン pact な公式であり、重みが1のとき、これは8次の二面体群に対するデュイステルマット＝ヘックマン測度に一致する。また、重みの和が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.

研究の動機と目的

• 任意の非負の重みの和が$1/2$より大きいタイプ$B_2$の一般化されたベッセル関数に対して、ラプラス型積分表現を導出すること。
• 一般化されたベッセル関数に「シフト原理」を適用することで、タイプ$B_2$のダンクルカーネルに対するラプラス型積分表現を確立すること。
• 両方の重みが1に等しい場合に、二面体群8次に対してデュイステルマット＝ヘックマン測度が特別な場合として回復されることを示すこと。
• 対称性を活用し、積分変数の数を最小化することで、ダンクルカーネルに対するコンパクトで最適な積分公式を提供すること。

提案手法

• 既存の[11]における一般化されたベッセル関数の積分表現から出発し、第一種変形ベッセル関数を含む。
• 鍵となる技術的ステップは、6変数多項式を平面ベクトルのユークリッドノルムの2乗として表現することにより、積分内の変数変換を可能にすること。
• 第一種変形ベッセル関数の積分表現を導出し、一般化されたベッセル関数の積分形を簡略化するために用いる。
• 一般化されたベッセル関数に「シフト原理」を適用し、それに対応するダンクルカーネルの積分表現を導出する。
• 部分積分と変数変換を用いて、積分変数の数を削減し、得られる式を簡略化する。
• 最終的なダンクルカーネルの公式は、変数の対称関数と変形ベッセル関数を含む項のきめ細やかな組み合わせによって得られる。

実験結果

リサーチクエスチョン

• RQ1 任意の非負の重みの和が$1/2$より大きいタイプ$B_2$の一般化されたベッセル関数に対して、ラプラス型積分表現を導出可能か？
• RQ2 一般化されたベッセル関数の代表測度が、一般理論が予測するように変数の凸包に台を持つか？
• RQ3 シフト原理と一般化されたベッセル関数を用いて、タイプ$B_2$のダンクルカーネルをラプラス型積分で表現可能か？
• RQ4 得られるダンクルカーネルの積分表現が、積分変数の数と複雑さの観点で最小化されているか？
• RQ5 8次の二面体群に対するデュイステルマット＝ヘックマン測度の明示的形は何か、$B_2$の文脈で？

主な発見

• 重み$k_1, k_2 \geq 0$で$k_1 + k_2 > 1/2$を満たすすべての重みに対して、タイプ$B_2$の一般化されたベッセル関数はラプラス型積分表現を有する。
• 一般化されたベッセル関数の代表測度は、変数の凸包に台を持つことが確認され、[6]の補題3.3の一般的予測を裏付けた。
• $k_1 = k_2 = 1$のとき、代表測度は明示的に8次二面体群に対応するデュイステルマット＝ヘックマン測度に簡約される。
• タイプ$B_2$のダンクルカーネルは、一般化されたベッセル関数に「シフト原理」を適用することで、ラプラス型積分表現を有することが示された。
• 得られたダンクルカーネルの公式は構造的に最適であり、積分変数の数を最小化し、カーネルの式を簡略化している。
• 最終的なダンクルカーネルの積分表現は、連続する変数変換と部分積分の適用により得られ、コンパクトで明示的な公式となった。