[论文解读] A Remarkable Definite Integral

M. L. Glasser|arXiv (Cornell University)|Aug 29, 2013

Analytic Number Theory Research被引用 4

一句话总结

本文提出了一种新颖的定积分公式，通过涉及复数变量和双曲函数的变换，评估包含任意函数 F 的积分。通过利用拉普拉斯变换和积分变换，作者推导出一个通用恒等式（公式 3），将复积分映射为闭式表达式，其应用包括黎曼ζ函数的新积分表示以及多种特殊函数的精确求值。

ABSTRACT

An integral formula is developed which applies to an essentially arbitrary function. An application is made to the Riemann zeta function.

研究动机与目标

• 开发一种通用的定积分公式，通过涉及复数变量和双曲函数的变换，评估任意函数 F 的积分。
• 通过引入一个使 F 的拉普拉斯变换同时出现在等式两侧的核，扩展已知的积分恒等式。
• 提供涉及贝塞尔函数、高斯函数和三角函数变换等特殊函数积分的精确求值。
• 利用所提出的框架推导黎曼ζ函数的新积分表示。
• 通过多种测试案例的数值验证，展示公式的鲁棒性。

提出的方法

• 该方法始于一个已知的积分恒等式（公式 1），其中涉及参数 a 的指数函数、余弦函数和双曲函数。
• 对公式 (1) 两边应用 f(t) 的拉普拉斯变换，假设收敛性及积分顺序可交换。
• 通过代换和复变量运算，得到的结果表达式（公式 3）将 F(x² + iπx) 映射为包含 F(π²/4 + (ln a)²) 的闭式表达式。
• 通过特定测试函数（如 f(t) = e⁻bt、f(t) = J₀(t) 和 f(t) = e⁻bt²）验证该公式，每种情况均导出新的显式积分。
• 通过选择适当的 F(k)，该方法可推广至其他变换，如余弦变换。
• 当 a = 1 时，得到一个涉及 sech(x) 的简化恒等式，从而可进一步求值ζ函数和Γ函数。

实验结果

研究问题

• RQ1 能否推导出一个通用的定积分公式，通过涉及复数变量和双曲函数的变换，评估任意函数 F 的积分？
• RQ2 所提出的方法是否能对涉及贝塞尔函数和高斯函数等特殊函数的积分实现精确求值？
• RQ3 该公式能否扩展以产生黎曼ζ函数的新表示？
• RQ4 在何种条件下，积分与变换运算的交换是有效的？
• RQ5 如何应用该公式推导涉及Γ函数和ζ函数的新恒等式？

主要发现

• 公式 (3) 提供了一个通用恒等式：∫₋∞^∞ F(x² + iπx) cosh(x) / (1 + 2a² cosh(2x) + a⁴) dx = π F(π²/4 + (ln a)²) / [2a(1 + a²)]，在 F 的适度条件下成立。
• 对于 f(t) = e⁻bt，所得积分 (4) 在 a = 0.7、b = 2 时经数值验证，两边结果均为 0.163891。
• 对于 f(t) = J₀(t)，变换 F(k) = 1/√(1 + k²) 导出公式 (5)，在 a = 0.7 时数值成立，两边结果均为 0.000708622。
• 对于 f(t) = e⁻bt²，公式 (6) 在 a = b = 0.3 时两边结果相同（0.0240764），证实公式的准确性。
• 对于 F(k) = cos(αk)，公式 (7) 在 α = 0.1 且 a = 1 + 2i 时经数值验证，两边结果均为 -0.0783703 + 0.00264214i。
• 推导出一个新的ζ函数恒等式：∫₋ᵢ∞^ᵢ∞ x^{s(1−s)} / [cos(πs) ζⁿ(4as(1−s))] ds / (2πi) = x¹/⁴ / [2π ζⁿ(a)]，其中 |x| < 1 且 n = 0,1,2,3,4。