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

Basic Information

• Paper ID: 2510.08823
• Title: Fourier transform pairs and Eisenstein-type series related to Jacobi elliptic functions
• Authors: Peng-Cheng Hang (Donghua University), Alexey Kuznetsov (York University)
• Classification: math.CA (Complex Analysis), math.NT (Number Theory)
• Publication Date: October 13, 2025
• Paper Link: https://arxiv.org/abs/2510.08823

Abstract

This paper computes Fourier transforms of functions represented as ratios of Jacobi elliptic functions to $\sinh(\pi x)$ or $\cosh(\pi x)$. In many cases, the resulting Fourier transforms remain within the same class of functions. By applying the Mellin transform, the authors obtain sixteen Eisenstein-type series $\zeta_{j,l}(s,\tau)$ and establish several important results for these series: analytic continuation with respect to the variable $s$, functional equations connecting $\zeta_{j,l}(s,\tau)$ and $\zeta_{l,j}(1-s,-1/\tau)$, and explicit expressions for $\zeta_{j,l}(s,\tau)$ when $s$ takes positive even or odd integer values.

Research Background and Motivation

Problem Background

This research originates from classical Fourier transform identities, particularly the following two important integrals:

1. $\int_0^\infty \frac{\sin(xy)}{\sinh(x)}dx = \frac{\pi}{2}\tanh\left(\frac{\pi y}{2}\right)$ (Equation 1)
2. $\int_0^\infty \frac{\cos(xy)}{\cosh(x)}dx = \frac{\pi/2}{\cosh(\pi y/2)}$ (Equation 4)

These classical identities possess profound mathematical significance: their Mellin transforms are related to the Riemann zeta function and Dirichlet beta function, and lead to functional equations for these functions.

Research Motivation

The authors pursue two primary objectives:

1. Extend the scope of Fourier transform pairs: Find more instances of meromorphic periodic functions with explicit Fourier transforms
2. Construct new analytic functions: By applying the Mellin transform to these functions, obtain double series with interesting analytic properties

Innovation Points

• Extend the research scope from simple hyperbolic functions to Jacobi elliptic functions
• Systematically investigate 24 Fourier transform pairs
• Discover 16 new Eisenstein-type series and their profound analytic properties

Core Contributions

1. Computed 24 new Fourier transform pairs: Involving functions that are ratios of Jacobi elliptic functions to hyperbolic functions
2. Discovered invariance of function classes: In many cases, Fourier transforms remain within the same function class
3. Constructed 16 Eisenstein-type series: New double series of the form $\zeta_{j,l}(s,\tau)$
4. Established complete analytic theory: Including analytic continuation, functional equations, and explicit formulas for special values
5. Revealed deep symmetries: Functional equations under the transformation $(s,\tau) \mapsto (1-s,-1/\tau)$

Detailed Methodology

Task Definition

Study Fourier transforms of functions of the form $f(x) = \frac{J(2K'x,k)}{\sinh(\pi x)}$ or $f(x) = \frac{J(2K'x,k)}{\cosh(\pi x)}$, where:

• $J(\cdot,k)$ is one of the twelve Jacobi elliptic functions
• $k \in (0,1)$ is the elliptic modulus
• $K = K(k)$, $K' = K(k')$ are complete elliptic integrals of the first kind

Core Methods

1. Fourier Transform Computation

The Fourier transform is defined as: $\mathcal{F}[f](y) = \int_{\mathbb{R}+i\epsilon} f(x)e^{2\pi ixy}dx$

where $\epsilon > 0$ is a small positive number used to avoid poles on the real axis.

2. Residue Theorem Application

For each Fourier transform pair, the authors employ the following steps:

• Identify poles and residues of the integrand
• Construct appropriate integration contours
• Apply Cauchy's residue theorem
• Utilize periodicity properties of Jacobi elliptic functions

3. Mellin Transform Technique

Convert Fourier transform pairs into functional equations via the Mellin transform $M[f](z) = \int_0^\infty f(x)x^{z-1}dx$.

Technical Innovation Points

1. Systematic Classification Method

Classify the 24 Fourier transform pairs into two categories:

• Table 1 (Identities 1-18): Cases with only simple poles
• Table 2 (Identities 19-24): Complex cases with double poles

2. Equivalence Class Identification

Discover that 18 simple pole cases can be divided into 6 equivalence classes, with identities within each class related through the variable substitution $x \mapsto x \pm i/2$.

3. Eisenstein-type Series Construction

Define 16 functions: $\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))}$

where $j = 2a+b$, $l = 2c+d$, with $a,b,c,d \in \{0,1\}$.

Experimental Setup

Theoretical Verification Methods

Since this is pure mathematical theoretical research, "experiments" primarily consist of:

1. Analytic Verification: Verify integral convergence through complex analysis methods
2. Numerical Verification: Perform numerical calculations for special parameter values
3. Limit Case Checking: Verify known results as special cases

Key Theorems

The authors establish two core theorems (Theorems 1 and 2) that connect Fourier transform pairs with meromorphic functions possessing functional equations.

Experimental Results

Main Results

1. Fourier Transform Pairs (Tables 1 and 2)

• Table 1: 18 transform pairs with simple poles
• Table 2: 6 complex transform pairs with double poles

For example, Identity 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. Properties of Eisenstein-type Series

For each $\Lambda_{j,l}(s,\tau) := \pi^{-s/2}\Gamma\left(\frac{s+a_{j,l}}{2}\right)\zeta_{j,l}(s,\tau)$:

• Analytic Continuation: Can be extended to a meromorphic function on the entire complex plane
• Functional Equation: Satisfies relations between $\Lambda_{j,l}(s,\tau)$ and $\Lambda_{l,j}(1-s,-1/\tau)$
• Special Values: Explicit expressions at positive integer points

3. Concrete Numerical Results

For example, $\Lambda_{1,1}(1,\tau) = \frac{i(k'-1)K}{\pi^{1/2}}$, $\Lambda_{1,1}(3,\tau) = \frac{iK}{2\pi^{3/2}}[\pi^2(k'-1)+4k'k^2K^2]$

Theoretical Findings

1. Symmetry Structure

Discover deep symmetry under the transformation $(s,\tau) \mapsto (1-s,-1/\tau)$, closely related to modular transformation theory.

2. Unified Form of Functional Equations

All 16 Eisenstein-type series satisfy similar functional equations, revealing intrinsic connections among them.

3. Relationship with Classical Functions

These new series generalize properties of the Riemann zeta function and Dirichlet beta function.

Related Work

Historical Background

• Classical Integrals: Foundational Fourier transform integrals in reference 13
• Mellin Transform Theory: Classical work by Oberhettinger 8
• Eisenstein Series: Related research by Tsumura in 10,11,12

Uniqueness of This Paper's Contribution

1. Systematicity: First systematic study of Fourier transforms of Jacobi elliptic functions
2. Completeness: Covers all 12 Jacobi elliptic functions
3. Depth: Not only computes transform pairs but also investigates related analytic properties

Conclusions and Discussion

Main Conclusions

1. Successfully computed 24 new Fourier transform pairs
2. Constructed 16 Eisenstein-type series with rich analytic structure
3. Established a complete analytic theory framework
4. Revealed deep connections with modular form theory

Limitations

1. Technical Constraints: In certain cases, the integrand has infinitely many poles on the real axis, requiring more complex contour deformation techniques
2. Unresolved Issues: 12 Fourier transform pairs (Identities 1-3, 7-9, 10-12, 22-24) do not directly yield Eisenstein-type series
3. Computational Complexity: Computation of certain special values requires highly sophisticated methods

Future Directions

1. Extended Research: Study Fourier transforms of logarithmic derivatives of other theta functions
2. New Series Families: Construct series of the form $\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. Application Expansion: Explore applications in number theory and physics

In-Depth Evaluation

Strengths

1. Theoretical Depth: Perfectly combines classical Fourier analysis with modern elliptic function theory
2. Systematicity: Provides a complete theoretical framework covering all relevant cases
3. Technical Excellence: Sophisticated application of complex analysis techniques with rigorous calculations
4. Innovation: Discovers new function classes and analytic properties
5. Clear Presentation: Logical structure and detailed technical exposition

Weaknesses

1. Limited Applications: Primarily theoretical research; practical applications require further exploration
2. Computational Complexity: Verification of certain results requires highly specialized mathematical background
3. Incompleteness: Theoretical development for 12 Fourier transform pairs remains incomplete

Impact

1. Academic Value: Provides new perspectives for elliptic function theory and special function research
2. Theoretical Contribution: Enriches Eisenstein series theory
3. Methodological Significance: Demonstrates the power of combining Fourier and Mellin transforms

Applicable Scenarios

1. Pure Mathematics Research: Special function theory, analytic number theory
2. Mathematical Physics: Potential applications in string theory and statistical mechanics
3. Computational Mathematics: Provides new methods for numerical computation of elliptic integrals

References

The paper cites 21 important references, primarily including:

• NIST Digital Library of Mathematical Functions 2: Standard reference for elliptic functions and special functions
• Oberhettinger's classical works 7,8: Fourier expansions and Mellin transform tables
• Tsumura's series of works 10,11,12: Related research on Eisenstein-type series

This paper represents significant progress in special function theory, connecting seemingly unrelated fields through ingenious mathematical techniques and opening new directions for future research. It achieves high levels of theoretical depth and technical sophistication, constituting an important contribution to the field.