[論文レビュー] The Plane Wave Expansion, Infinite Integrals and Identities involving Spherical Bessel Functions

R. Mehrem|arXiv (Cornell University)|Sep 2, 2009

Mathematical functions and polynomials参考文献 2被引用数 6

ひとこと要約

この論文は、平面波展開が球ベッセル関数を含む無限積分を評価し、新しい恒等式を導出する強力な解析的ツールであることを示している。展開とその直交性の性質を活用することで、1つ、2つ、3つの球ベッセル関数に関する積分に対して閉形式の解が得られ、閉包関係を用いて高次元積分へ一般化され、たとえば4重積の球ベッセル関数から得られる $ \frac{23\pi}{420k^3} $ のような、通常は解けない積分を解析的に評価することが可能になる。

ABSTRACT

This paper shows that the plane wave expansion can be a useful tool in obtaining analytical solutions to infinite integrals over spherical Bessel functions and the derivation of identites for these functions. The integrals are often used in nuclear scattering calculations, where an analytical result can provide an insight into the reaction mechanism. A technique is developed whereby an integral over several special functions which cannot be found in any standard integral table can be broken down into integrals that have existing analytical solutions

研究の動機と目的

• 標準的な積分表に掲載されていない球ベッセル関数に関する無限積分を体系的に評価するための手法を開発すること。
• 平面波展開と直交性関係を用いて、球ベッセル関数を含む新しい解析的恒等式を導出すること。
• 球ベッセル関数を4つ以上含む積分に対して、それらをより単純な積分の積に還元することで、同様の技法を高次元に一般化すること。
• 核散乱や応答関数計算に生じる積分に対して正確な解析的解を提供し、物理的洞察を深めること。
• 球ベッセル関数の閉包関係が、積分の分解を通じて高次元積分を簡略化する上で有効であることを示すこと。

提案手法

• 指数関数を球ベッセル関数と球面調和関数で表す基礎的ツールとして、平面波展開（レイリーの式）を用いる。
• 球面調和関数およびルジャンドル多項式の直交性を適用し、球ベッセル関数の積分表現を抽出する。たとえば $ j_L(kr) = \frac{(-i)^L}{2} \int_{-1}^{1} P_L(\cos\theta) e^{ikr\cos\theta} d(\cos\theta) $ のような形。
• 平面波展開を用いて導出された球ベッセル関数の閉包関係を用い、4つの特殊関数に関する積分を3関数積分の積に分解する。
• 立体調和関数の加法定理と6j記号を用いて、3つの球ベッセル関数を含む積分における角運動量の結合を扱う。
• 3次元におけるデルタ関数の積分表現を用い、$ \int_0^\infty r^2 j_0(kr) dr = \frac{\pi}{2k} $ のような重要な結果を導出する。
• 運動量空間上の二重積分として表現することで、複雑な積分を既知の直交関数の恒等式を用いて解析的に評価可能にする。

実験結果

リサーチクエスチョン

• RQ1 平面波展開を体系的に用いて、球ベッセル関数に関する無限積分の解析的解を導出できるか？
• RQ2 球ベッセル関数の閉包関係はどのように導出され、複数の特殊関数を含む積分の分解に応用できるか？
• RQ3 平面波展開と直交性の性質を用いて、球ベッセル関数を含むどのような恒等式が導出可能か？
• RQ4 標準的な積分表に掲載されていない4つの球ベッセル関数を含む積分を、この手法を用いて解析的に評価できるか？
• RQ5 積分 $ \int_0^\infty r^2 j_1(kr) j_1(kr) j_2(kr) j_2(kr) dr $ の解析的形は何か？この手法がどのようにその結果を導くか？

主な発見

• 平面波展開とフーリエ積分の性質を用いて、$ \int_{-\infty}^{\infty} j_L(kr) dr = \frac{(-i)^L \pi}{k} P_L(0) $ が導出された。
• 球ベッセル関数の閉包関係は $ \sum_L (2L+1) \int_0^\infty r^2 j_L(k_1 r) j_L(k_2 r) dr = \frac{\delta(k_1 - k_2)}{k_1} $ として導出され、高次元積分の分解を可能にする。
• 3つのベッセル関数に関する積分としての主要結果 $ \int_0^\infty r^2 j_\lambda(k_1 r) j_\lambda(k_2 r) j_0(k_3 r) dr = \frac{\pi \beta(\Delta)}{4k_1 k_2 k_3} P_\lambda\left(\frac{k_1^2 + k_2^2 - k_3^2}{2k_1 k_2}\right) $ が得られた。
• 4重積分 $ \int_0^\infty r^2 j_1(kr) j_1(kr) j_2(kr) j_2(kr) dr $ は、閉包関係と2つの3関数積分への分解を用いて解析的に $ \frac{23\pi}{420k^3} $ に評価された。
• この手法により、4つの特殊関数に関する積分が運動量空間上の二重積分に変換され、通常は解けない表現が簡略化された。
• 角運動量の結合と直交関数の恒等式を用いて、複数の特殊関数を含む積分を既知の解析的形に還元する一般的なフレームワークが提供された。