2025-11-25T13:01:18.150152

Fourier transform pairs and Eisenstein-type series related to Jacobi elliptic functions

Hang, Kuznetsov
We compute Fourier transforms of functions expressed as a ratio of one of the Jacobi elliptic functions divided by $\sinh(πx)$ or $\cosh(πx)$. In many cases, the resulting Fourier transform remains within the same class of functions. Applying the Mellin transform, we obtain sixteen Eisenstein-type series $ζ_{j,l}(s,τ)$, for which we establish several results: analytic continuation with respect to the variable $s$, a functional equation connecting $ζ_{j,l}(s,τ)$ and $ζ_{l,j}(1-s,-1/τ)$, and explicit expressions for $ζ_{j,l}(s,τ)$ when $s$ runs through a sequence of positive even or odd integers.
academic

Fourier transform pairs and Eisenstein-type series related to Jacobi elliptic functions

基本信息

  • 论文ID: 2510.08823
  • 标题: Fourier transform pairs and Eisenstein-type series related to Jacobi elliptic functions
  • 作者: Peng-Cheng Hang (东华大学), Alexey Kuznetsov (约克大学)
  • 分类: math.CA (复分析), math.NT (数论)
  • 发表时间: 2025年10月13日
  • 论文链接: https://arxiv.org/abs/2510.08823

摘要

本文计算了表示为雅可比椭圆函数与 sinh⁡(πx)\sinh(\pi x) 或 cosh⁡(πx)\cosh(\pi x) 之比的函数的傅里叶变换。在许多情况下，得到的傅里叶变换仍属于同一类函数。通过应用梅林变换，作者获得了十六个爱森斯坦型级数 ζj,l(s,τ)\zeta_{j,l}(s,\tau)，并为这些级数建立了几个重要结果：关于变量 ss 的解析延拓、连接 ζj,l(s,τ)\zeta_{j,l}(s,\tau) 和 ζl,j(1−s,−1/τ)\zeta_{l,j}(1-s,-1/\tau) 的函数方程，以及当 ss 取正偶数或奇数时 ζj,l(s,τ)\zeta_{j,l}(s,\tau) 的显式表达式。

研究背景与动机

问题背景

本研究源于经典的傅里叶变换恒等式，特别是以下两个重要的积分：

  1. ∫0∞sin⁡(xy)sinh⁡(x)dx=π2tanh⁡(πy2)\int_0^\infty \frac{\sin(xy)}{\sinh(x)}dx = \frac{\pi}{2}\tanh\left(\frac{\pi y}{2}\right) (方程1)
  2. ∫0∞cos⁡(xy)cosh⁡(x)dx=π/2cosh⁡(πy/2)\int_0^\infty \frac{\cos(xy)}{\cosh(x)}dx = \frac{\pi/2}{\cosh(\pi y/2)} (方程4)

这些经典恒等式具有深远的数学意义：它们的梅林变换与黎曼ζ函数和狄利克雷β函数相关，并导致这些函数的函数方程。

研究动机

作者追求两个主要目标：

  1. 扩展傅里叶变换对的范围：寻找更多具有显式傅里叶变换的亚纯周期函数实例
  2. 构造新的解析函数：通过对这些函数应用梅林变换，获得具有有趣解析性质的双重级数

创新点

  • 将研究范围从简单的双曲函数扩展到雅可比椭圆函数
  • 系统地研究了24个傅里叶变换对
  • 发现了16个新的爱森斯坦型级数及其深刻的解析性质

核心贡献

  1. 计算了24个新的傅里叶变换对：涉及雅可比椭圆函数与双曲函数之比的函数
  2. 发现了函数类的不变性：在许多情况下，傅里叶变换保持在同一函数类内
  3. 构造了16个爱森斯坦型级数：形式为 ζj,l(s,τ)\zeta_{j,l}(s,\tau) 的新型双重级数
  4. 建立了完整的解析理论：包括解析延拓、函数方程和特殊值的显式公式
  5. 揭示了深层对称性：变换 (s,τ)↦(1−s,−1/τ)(s,\tau) \mapsto (1-s,-1/\tau) 下的函数方程

方法详解

任务定义

研究形如 f(x)=J(2K′x,k)sinh⁡(πx)f(x) = \frac{J(2K'x,k)}{\sinh(\pi x)} 或 f(x)=J(2K′x,k)cosh⁡(πx)f(x) = \frac{J(2K'x,k)}{\cosh(\pi x)} 的函数的傅里叶变换，其中：

  • J(⋅,k)J(\cdot,k) 是十二个雅可比椭圆函数之一
  • k∈(0,1)k \in (0,1) 是椭圆模数
  • K=K(k)K = K(k), K′=K(k′)K' = K(k') 是第一类完全椭圆积分

核心方法

1. 傅里叶变换计算

傅里叶变换定义为： F[f](y)=∫R+iϵf(x)e2πixydx\mathcal{F}[f](y) = \int_{\mathbb{R}+i\epsilon} f(x)e^{2\pi ixy}dx

其中 ϵ>0\epsilon > 0 是小正数，用于避免实轴上的极点。

2. 留数定理应用

对于每个傅里叶变换对，作者使用以下步骤：

  • 识别被积函数的极点和留数
  • 构造适当的积分轮廓
  • 应用柯西留数定理
  • 利用雅可比椭圆函数的周期性质

3. 梅林变换技术

通过梅林变换 M[f](z)=∫0∞f(x)xz−1dxM[f](z) = \int_0^\infty f(x)x^{z-1}dx 将傅里叶变换对转化为函数方程。

技术创新点

1. 系统分类方法

将24个傅里叶变换对分为两类：

  • 表1（恒等式1-18）：只有简单极点的情况
  • 表2（恒等式19-24）：存在双重极点的复杂情况

2. 等价类识别

发现18个简单极点情况可分为6个等价类，每类内的恒等式通过变量替换 x↦x±i/2x \mapsto x \pm i/2 相互关联。

3. 爱森斯坦型级数构造

定义了16个函数： ζj,l(s,τ):=∑n∈Z,m≥0′(2a−1)m(1−2b)n[m+12+(n+d2)τ]s1sin⁡(π(c2+(n+d2)τ))\zeta_{j,l}(s,\tau) := \sum'_{n\in\mathbb{Z},m\geq 0} \frac{(2a-1)^m(1-2b)^n}{[m+\frac{1}{2}+(n+\frac{d}{2})\tau]^s} \frac{1}{\sin(\pi(\frac{c}{2}+(n+\frac{d}{2})\tau))}

其中 j=2a+bj = 2a+b, l=2c+dl = 2c+d，a,b,c,d∈{0,1}a,b,c,d \in \{0,1\}。

实验设置

理论验证方法

由于这是纯数学理论研究，"实验"主要包括：

  1. 解析验证：通过复分析方法验证积分收敛性
  2. 数值检验：对特殊参数值进行数值计算验证
  3. 极限情况检查：验证已知结果作为特殊情况

关键定理

作者建立了两个核心定理（定理1和定理2），这些定理将傅里叶变换对与具有函数方程的亚纯函数联系起来。

实验结果

主要结果

1. 傅里叶变换对（表1和表2）

  • 表1：18个具有简单极点的变换对
  • 表2：6个具有双重极点的复杂变换对

例如，恒等式1： ∫R+iϵdc(2K′x,k)cosh⁡(πx)e2πixydx=−2kk′sd(2Ky,k′)−eπye2πy+1\int_{\mathbb{R}+i\epsilon} \frac{dc(2K'x,k)}{\cosh(\pi x)}e^{2\pi ixy}dx = -\frac{2k}{k'} \frac{sd(2Ky,k')-e^{\pi y}}{e^{2\pi y}+1}

2. 爱森斯坦型级数的性质

对于每个 Λj,l(s,τ):=π−s/2Γ(s+aj,l2)ζj,l(s,τ)\Lambda_{j,l}(s,\tau) := \pi^{-s/2}\Gamma\left(\frac{s+a_{j,l}}{2}\right)\zeta_{j,l}(s,\tau)：

  • 解析延拓：可延拓为整个复平面上的亚纯函数
  • 函数方程：满足 Λj,l(s,τ)\Lambda_{j,l}(s,\tau) 与 Λl,j(1−s,−1/τ)\Lambda_{l,j}(1-s,-1/\tau) 之间的关系
  • 特殊值：在正整数点有显式表达式

3. 具体数值结果

例如，Λ1,1(1,τ)=i(k′−1)Kπ1/2\Lambda_{1,1}(1,\tau) = \frac{i(k'-1)K}{\pi^{1/2}}，Λ1,1(3,τ)=iK2π3/2[π2(k′−1)+4k′k2K2]\Lambda_{1,1}(3,\tau) = \frac{iK}{2\pi^{3/2}}[\pi^2(k'-1)+4k'k^2K^2]

理论发现

1. 对称性结构

发现了变换 (s,τ)↦(1−s,−1/τ)(s,\tau) \mapsto (1-s,-1/\tau) 下的深层对称性，这与模变换理论密切相关。

2. 函数方程的统一形式

所有16个爱森斯坦型级数都满足类似的函数方程，揭示了它们之间的内在联系。

3. 与经典函数的关系

这些新级数推广了黎曼ζ函数和狄利克雷β函数的性质。

相关工作

历史背景

  • 经典积分：文献13中的基础傅里叶变换积分
  • 梅林变换理论：Oberhettinger的经典工作8
  • 爱森斯坦级数：Tsumura在10,11,12中的相关研究

本文贡献的独特性

  1. 系统性：首次系统研究雅可比椭圆函数的傅里叶变换
  2. 完整性：涵盖了所有12个雅可比椭圆函数的情况
  3. 深度：不仅计算变换对，还研究了相关的解析性质

结论与讨论

主要结论

  1. 成功计算了24个新的傅里叶变换对
  2. 构造了16个具有丰富解析结构的爱森斯坦型级数
  3. 建立了完整的解析理论框架
  4. 揭示了与模形式理论的深层联系

局限性

  1. 技术限制：某些情况下被积函数在实轴上有无穷多个极点，需要更复杂的轮廓变形技术
  2. 未解决问题：12个傅里叶变换对（恒等式1-3, 7-9, 10-12, 22-24）未能直接导出爱森斯坦型级数
  3. 计算复杂性：某些特殊值的计算需要高度技巧性的方法

未来方向

  1. 扩展研究：研究其他theta函数对数导数的傅里叶变换
  2. 新级数族：构造形如 ∑n∈Z,m≥1′ϵ1mϵ2n[m+(n+d/2)τ]s1sin⁡(π(c/2+(n+d/2)τ))\sum'_{n\in\mathbb{Z},m\geq 1} \frac{\epsilon_1^m\epsilon_2^n}{[m+(n+d/2)\tau]^s} \frac{1}{\sin(\pi(c/2+(n+d/2)\tau))} 的级数
  3. 应用拓展：探索在数论和物理中的应用

深度评价

优点

  1. 理论深度：将经典的傅里叶分析与现代椭圆函数理论完美结合
  2. 系统性：提供了完整的理论框架，涵盖了所有相关情况
  3. 技术精湛：复分析技巧运用娴熟，计算严谨
  4. 创新性：发现了新的函数类和解析性质
  5. 写作清晰：逻辑结构清晰，技术细节详实

不足

  1. 应用局限：主要是理论研究，实际应用价值有待进一步探索
  2. 计算复杂：某些结果的验证需要高度专业的数学背景
  3. 未完成性：仍有12个傅里叶变换对的相关理论待发展

影响力

  1. 学术价值：为椭圆函数理论和特殊函数研究提供了新的视角
  2. 理论贡献：丰富了爱森斯坦级数理论
  3. 方法论意义：展示了傅里叶变换与梅林变换结合的强大威力

适用场景

  1. 纯数学研究：特殊函数理论、解析数论
  2. 数学物理：可能在弦理论、统计力学中有应用
  3. 计算数学：为数值计算椭圆积分提供新方法

参考文献

论文引用了21篇重要文献，主要包括：

  • NIST数字数学函数库2：椭圆函数和特殊函数的标准参考
  • Oberhettinger的经典著作7,8：傅里叶展开和梅林变换表
  • Tsumura的系列工作10,11,12：爱森斯坦型级数的相关研究

这篇论文代表了特殊函数理论的重要进展，通过精巧的数学技巧将看似不相关的领域联系起来，为未来的研究开辟了新的方向。其理论深度和技术水准都达到了很高的水平，是该领域的重要贡献。