[論文レビュー] Evaluation of a Family of Bessel Function Integrals

Jeremiah Birrell|arXiv (Cornell University)|Sep 21, 2015

Mathematical functions and polynomials被引用数 1

ひとこと要約

この論文は、ニュートリノ散乱計算に現れる修正ベッセル関数を含む積分族について、再帰的公式と漸近展開を導出する。特定の状況では、漸近展開が有限項で正確な結果を与えることを証明し、終了順序の上限を導出することで、同様のベッセル関数積分に適用可能な正確な計算手法を提供する。

ABSTRACT

We investigate a family of integrals involving modified Bessel functions that arise in the context of neutrino scattering. Recursive formulas are derived for evaluating these integrals and their asymptotic expansions are computed. We prove in certain cases that the asymptotic expansion yields the exact result after a finite number of terms. In each of these cases we derive a formula that bounds the order at which the expansion terminates. The method of calculation developed in this paper is applicable to similar families of integrals that involve Bessel or modified Bessel functions.

研究の動機と目的

• ニュートリノ散乱理論における修正ベッセル関数を含む特定の積分族の評価という計算上の課題に対処すること。
• これらの積分の効率的な数値評価を可能にする再帰的公式の導出。
• 積分の漸近展開を計算し、それが正確に終了する条件を同定すること。
• 漸近展開の終了順序の最大値を示す上限の確立、有限項で正確な結果を得ることを保証するため。

提案手法

• 修正ベッセル関数の性質を用いて、積分に対する再帰的関係の導出。
• 大パラメータにおける積分の展開を計算するための漸近解析技法の適用。
• 漸近級数が有限項で終了する特定の状況の同定。
• 母関数法と積分恒等式を用いて、積分を既知のベッセル関数恒等式に関連付ける。
• 特定の構成において、漸近展開が積分の正確な値を与えることを証明。
• 積分のパラメータに依存する、展開の終了順序の閉形式の上限の導出。

実験結果

リサーチクエスチョン

• RQ1 ベッセル関数積分族の漸近展開が、有限項で正確な結果を与える条件は何か？
• RQ2 ニュートリノ散乱における修正ベッセル関数を含む積分の背後にある再帰的構造は何か？
• RQ3 漸近展開を体系的に計算し、切り捨てることで正確な結果を得るにはどうすればよいか？
• RQ4 これらの積分において、漸近級数が終了する最大順序は何かを決定するのは何に依存するか？
• RQ5 この積分族に対して、一般化された終了順序の上限を導出できるか？

主な発見

• 特定の状況では、積分の漸近展開が近似ではなく、有限項で正確な結果を与える。
• 数値積分を用いずに効率的な計算が可能な再帰的公式が導出された。
• 漸近展開の終了順序の上限が、積分のパラメータに依存して確立された。
• この方法は、ベッセル関数または修正ベッセル関数を含む他の積分族にも一般化可能である。
• 特定の対称性とパラメータ条件のもとで、正確な終了性が証明された。
• このクラスの積分に対して、数値積分の信頼性の高い正確な代替手法が提供された。