[论文解读] 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 能否为这一类积分推导出终止阶数的一般上界？

主要发现

• 在某些情况下，积分的渐近展开在有限项后即得到精确结果，而非近似值。
• 推导出一种递归公式，可实现高效计算，无需数值积分。
• 本文建立了渐近展开终止阶数的上界，其依赖于积分的参数。
• 该方法可推广至其他涉及贝塞尔函数或修正贝塞尔函数的积分族。
• 在积分结构满足特定对称性和参数条件时，精确终止性质被证明成立。
• 该方法为这一类积分提供了可靠且精确的数值积分替代方案。