[论文解读] Generalized integrals of Macdonald and Gegenbauer functions

Jan Dereziński, Christian Gaß+1 more|arXiv (Cornell University)|Apr 12, 2023

Mathematical functions and polynomials被引用 4

一句话总结

本文提出了一种广义积分框架，用于计算超出标准收敛范围的麦克唐纳函数和盖根鲍尔函数的双线性积分。通过将勒贝格积分扩展至包含端点处的齐次非可积项，作者实现了这些积分的解析延拓，揭示了在整数参数下出现的异常行为——具体表现为标度不变性的失效，这与量子力学应用中的物理异常相关。

ABSTRACT

We compute bilinear integrals involving Macdonald and Gegenbauer functions. These integrals are convergent only for a limited range of parameters. However, when one uses generalized integrals they can be computed essentially without restricting the parameters. The generalized integral is a linear functional extending the standard integral to a certain class of functions involving finitely many homogeneous non-integrable terms at the edpoints of the interval. For generic values of parameters, generalized bilinear integrals of Macdonald and Gegenbauer functions can be obtained by analytic continuation from the region in which the integrals are convergent. In the case of integer parameters we obtain expressions with explicit additional terms related to an anomaly, namely the failure of the generalized integral to be scaling invariant.

研究动机与目标

• 计算在标准勒贝格意义下发散的麦克唐纳函数和盖根鲍尔函数的双线性积分。
• 解决此类积分在参数范围内的收敛性限制问题，特别是当 |Re(α)| ≥ 1 时。
• 提出一种广义积分形式化方法，将标准积分扩展至在端点处具有齐次非可积项的函数。
• 分析当参数为整数时广义积分的异常行为，此时标度不变性失效。
• 为径向和球对称几何中的量子力学格林函数提供数学上严谨的框架。

提出的方法

• 将广义积分定义为在 [1, ∞) 上可积且在 [0, 1] 上允许有限个齐次项线性组合的函数上的线性泛函。
• 将幂函数的广义积分定义为 ∫₀¹ r^λ dr = 1/(λ+1)（当 λ ≠ -1 时），而当 λ = -1 时定义为 0。
• 利用解析延拓，将收敛双线性积分（在 |Re(α)| < 1 区域内）通过广义积分推广至所有参数。
• 将广义积分应用于麦克唐纳函数和盖根鲍尔函数，其渐近行为对参数 α 依赖性极强。
• 推导广义积分的显式表达式，以超几何函数和伽马函数表示，特别使用本文引入的 S 和 Z 函数。
• 通过变换将广义积分与标准特殊函数关联，包括与配属勒让德函数及盖根鲍尔函数其他约定形式的联系。

实验结果

研究问题

• RQ1 如何将麦克唐纳函数和盖根鲍尔函数的双线性积分扩展至标准收敛范围之外？
• RQ2 广义积分在恢复这些积分对所有参数值的解析性方面起什么作用？
• RQ3 为何当 α 为整数时广义积分会失去标度不变性，这种异常的物理或数学意义是什么？
• RQ4 广义积分如何与已知的特殊函数恒等式相关联，特别是涉及配属勒让德函数和盖根鲍尔函数的恒等式？
• RQ5 广义积分形式化方法能否用于计算径向和球对称区域中点势阱的量子力学格林函数？

主要发现

• 广义积分使得对所有参数的麦克唐纳函数和盖根鲍尔函数双线性积分得以计算，其范围扩展至标准收敛范围 |Re(α)| < 1 之外。
• 对于非整数 α，广义积分通过解析延拓获得，且具有标度不变性。
• 对于整数 α ≠ 0，广义积分表现出异常：由于 λ = -1 的齐次项系数不为零，导致其不满足标度不变性。
• 广义积分的显式公式以超几何函数和伽马函数表示，S 和 Z 函数具有闭式表达式。
• 广义积分框架与标准特殊函数相联系：例如，D^α_λ(z) = e^{iπα} 2^{-λ-2α} Z_{α-1/2, α+λ}(z)，将本文使用的 Z 函数与该表达式关联。
• 本文提供了 S 和 Z 函数与标准配属勒让德函数之间的完整对照表，使与更广泛文献的交叉比较成为可能。