[论文解读] Integral representations for products of two parabolic cylinder functions with different arguments and orders

Dirk Veestraeten|arXiv (Cornell University)|Jan 1, 2015

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

一句话总结

本文推导了两个抛物柱函数乘积 Dν(x)Dμ(y) 和 Dν(−x)Dμ(y) 的新积分表示，其中 ν、μ 为任意阶数，x、y ≥ 0。通过应用单个抛物柱函数的逆拉普拉斯变换的卷积定理，作者将乘积表示为高斯超几何函数和第一类合流超几何函数的组合，从而可特化为互补误差函数、第二类修正贝塞尔函数（阶数 1/4）以及第一类修正贝塞尔函数（阶数 1/4）与抛物柱函数的乘积。

ABSTRACT

This paper derives new integral representations for products of two parabolic cylinder functions. In particular, expressions are obtained for D_{nu}(x)D_{mu}(y), with x>0 and y>0, that allow for different orders and arguments in the two parabolic cylinder functions. Also, two integral representations are obtained for D_{nu}(-x)D_{mu}(y) by employing the connection between the parabolic cylinder function and the Kummer confluent hypergeometric function. The integral representations are specialized for products of two complementary error functions and of two modified Bessel functions of the second kind of order 1/4, as well as for the product of a parabolic cylinder function and a modified Bessel function of the first kind of order 1/4.

研究动机与目标

• 推导 Dν(x)Dμ(y) 的一般积分表示，其中阶数 ν、μ 与参数 x、y ≥ 0 相互独立。
• 扩展现有结果，这些结果通常限制阶数或参数之间存在线性关系或相同。
• 通过库默尔合流超几何函数表示，为 Dν(−x)Dμ(y) 提供积分表达式。
• 实现对已知特殊函数（如互补误差函数和阶数 1/4 的修正贝塞尔函数）的特化。
• 通过消除阶数与参数间线性约束，统一并推广先前的 Nicholson 型积分。

提出的方法

• 将卷积定理应用于单个抛物柱函数的逆拉普拉斯变换，其表达式源自文献 [6] 中的已知结果。
• 利用 Dν(x) 和 Dμ(y) 的逆拉普拉斯变换，通过卷积构造乘积，得到一个有限区间上的卷积积分表示。
• 通过拉普拉斯变换的性质与超几何恒等式，将所得被积函数表示为高斯超几何函数 2F1。
• 通过已知的超几何恒等式，将被积函数重新表述为第一类合流超几何函数。
• 通过将抛物柱函数拆分为两个库默尔合流超几何函数的和，推导出 Dν(−x)Dμ(y) 的两个不同表达式。
• 利用恒等式 Φ(a; 2a; z) = Γ(a+1/2)(z/4)^{1/2−a}exp(z/2)I_{a−1/2}(z/2) 将库默尔函数与第一类修正贝塞尔函数联系起来。

实验结果

研究问题

• RQ1 当阶数 ν、μ 与参数 x、y 均独立且无线性关系时，能否推导出 Dν(x)Dμ(y) 的积分表示？
• RQ2 如何利用已知的特殊函数恒等式（特别是库默尔函数）表示 Dν(−x)Dμ(y)？
• RQ3 当将一般积分表示应用于特定 ν 与 μ 值（如 ν = μ = −1/2 或 ν = μ = −1）时，会涌现出哪些特化结果？
• RQ4 被积函数是否可简化为已知的特殊函数，如反正弦函数或第一类完全椭圆积分？
• RQ5 在极限情况下，合流超几何函数与不完全β函数在简化积分中的作用是什么？

主要发现

• 通过逆拉普拉斯变换的卷积定理，推导出 x、y ≥ 0 且 ν、μ 任意的 Dν(x)Dμ(y) 的积分表示，结果表达式包含高斯超几何函数 2F1。
• 通过将 Dν(−x) 表示为两个库默尔合流超几何函数之和，得到 Dν(−x)Dμ(y) 的两个不同积分表示，分别涉及 Φ(−ν/2; 1/2; z) 和 Φ((1−ν)/2; 3/2; z)。
• 当 ν = μ = −1/2 时，乘积 D_{−1/2}(x)D_{−1/2}(y) 简化为两个第二类修正贝塞尔函数（阶数 1/4）的乘积，且被积函数简化为第一类完全椭圆积分。
• 当 ν = μ = −1 时，乘积 D_{−1}(x)D_{−1}(y) 给出互补误差函数乘积的积分表示，其被积函数包含反正弦函数。
• 通过将 μ = −1/2 代入逆拉普拉斯变换，推导出 Dν(x)I_{1/4}(y) 的表示，将库默尔函数与第一类修正贝塞尔函数（阶数 1/4）联系起来。
• 在极限情况 μ = −1 时，Dν(−x)erfc(y) 的积分表示完全由不完全β函数表示，且三个被积函数均可通过超几何恒等式化为 B(a,b; z) 形式。