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

ひとこと要約

本稿では、有界対称領域上での積分を用いて、単純なエウクライド空間的ジュリアン代数上の 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.

研究の動機と目的

• 有界対称領域 $D \subset V^{\mathbb{C}}$ 上での積分を用いて、単純なエウクライド空間的ジュリアン代数上の I および J ベッセル関数の新しい積分表現を導出すること。
• 特に、十分な実部を持つ複素パラメータに対して、新しい積分表現を用いてこれらのベッセル関数の上界を確立すること。
• 上記の推定を、対称錐上での平方可積分関数に作用する正則 1 次元半群の積分核に応用すること。
• 古典的ベッセル関数の恒等式をジュリアン代数の設定に一般化し、特にランク 1 の場合における修正ベッセル関数の新しい公式を含めること。
• 対称錐上でのスペクトル論理を用いて、半群核の減衰および成長性質を分析するための枠組みを提供すること。

提案手法

• 有界対称領域 $D \subset V^{\mathbb{C}}$ 上での積分を用いて、$\mathcal{I}_{\lambda}(x^2)$ および $\mathcal{J}_{\lambda}(x^2)$ の新しい積分公式を、超幾何関数 ${}_1F_1(-k,\lambda; -x,w)$ を用いて導出する。
• 生成的ノルム $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}$ のときユニタリ性を保証する。
• 正則半群核 $K_\lambda(x,y;t)$ の減衰推定を、$\operatorname{tr}\sqrt{P(x^{1/2})y}$ の上界と、複素パラメータ $t$ における双曲線三角恒等式を用いて確立する。

実験結果

リサーチクエスチョン

• RQ1 有界対称領域上での積分を用いて、ジュリアン代数上の 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 の場合ですら、新規である。