[論文レビュー] Explicit formulas for the Dunkl dihedral kernel and the $(\kappa, a)$-generalized Fourier kernel

Denis Constales, Hendrik De Bie+1 more|arXiv (Cornell University)|Oct 1, 2016

Mathematical Analysis and Transform Methods参考文献 21被引用数 3

ひとこと要約

本稿では、二面体群に関連する (κ, a)-一般化フーリエ核およびダンクル核の明示的および積分的表現を導出するため、ラプラス変換に基づく新規な手法を開発する。特に κ = 0 の場合に焦点を当てる。補助変数を導入し、ポアソン核と一般化ミタグ・レフラー関数を活用することで、整数パラメータの場合の閉形式公式と一般の状況における積分表現を導出し、偶数次元および奇数次元において核の有界性（1以下）を証明する。

ABSTRACT

In this paper, a new method is developed to obtain explicit and integral expressions for the kernel of the $(\kappa, a)$-generalized Fourier transform for $\kappa =0$. In the case of dihedral groups, this method is also applied to the Dunkl kernel as well as the Dunkl Bessel function. The method uses the introduction of an auxiliary variable in the series expansion of the kernel, which is subsequently Laplace transformed. The kernel in the Laplace domain takes on a much simpler form, by making use of the Poisson kernel. The inverse Laplace transform can then be computed using the generalized Mittag-Leffler function to obtain integral expressions. In case the parameters involved are integers, explicit formulas are obtained using partial fraction decomposition. New bounds for the kernel of the $(\kappa, a)$-generalized Fourier transform are obtained as well.

研究の動機と目的

• κ = 0 の場合における (κ, a)-一般化フーリエ核の明示的および積分的表現を導出すること。
• この手法を二面体群、特に I2, I3, I4, I6 に対してダンクル核へ拡張すること。
• a = 2/n のとき、すべての次元において (0, a)-一般化フーリエ核の絶対値が 1 以下であることを証明すること。
• 任意の a > 0 に対して、一般化ミタグ・レフラー関数を用いた積分表現を提供すること。
• ラプラス変換と部分分数分解を用いて、この手法がダンクルベッセル関数へ応用可能であることを示すこと。

提案手法

• 核級数に補助変数 t を導入し、ラプラス変換を可能にする。
• 変更された核にラプラス変換を適用し、ダンクルラプラシアンに対するポアソン核を用いて結果を簡略化する。
• a = 2/n かつ m が偶数の場合、ラプラス変換が有理関数として認識され、部分分数分解が可能になる。
• 一般化ミタグ・レフラー関数による逆ラプラス変換を用いて、積分表現を回復する。
• 級数に t を導入し、項ごとの変換を適用することで、ダンクルベッセル関数へこの手法を適用する。
• 既知のポアソン核およびベータ測度の積分表現を活用し、最終的な核をベッセル関数および直交多項式で表現する。

実験結果

リサーチクエスチョン

• RQ1 a = 2/n かつ m が偶数の場合、(0, a)-一般化フーリエ核に対して明示的公式を導出可能か？
• RQ2 任意の a > 0 に対して、(κ, a)-一般化フーリエ核の積分表現は何か？
• RQ3 a = 2/n のとき、すべての次元において (0, a)-一般化フーリエ核の有界性はどのように確立されるか？
• RQ4 二面体群 I2, I3, I4, I6 に関連するダンクル核の積分表現は何か？
• RQ5 この手法を用いてダンクルベッセル関数の積分表現を導出可能か？

主な発見

• a = 2/n かつ m が偶数の場合、(0, a)-一般化フーリエ核は、そのラプラス変換の部分分数分解により明示的公式を有する。
• a = 2/n のとき、(0, a)-一般化フーリエ変換の核は、偶数次元および奇数次元の両方において絶対値が 1 以下に有界である。
• 任意の a > 0 に対して、核は一般化ミタグ・レフラー関数およびベッセル関数を含む三重積分として表現される。
• 二面体群 I4 に対するダンクル核は、[−1,1]×[−1,1]×[0,1] 上の三重積分として明示的に与えられ、ベッセル関数およびベータ測度を含む。
• I4 に対するダンクルベッセル関数は、Jα+β−1/2(b1)/b1α+β−1/2 および Jα+β−1/2(b2)/b2α+β−1/2 を含む積分として導出される。ここで b1 および b2 は角度パラメータに依存する。
• この手法により、三角不等号とそのラプラス変換成分の有界性を用いて、ダンクルベッセル関数の有界性（1以下）を直接証明できる。