Summing Sneddon-Bessel series explicitly

Basic Information

• Paper ID: 2207.08709
• Title: Summing Sneddon-Bessel series explicitly
• Authors: Antonio J. Durán, Mario Pérez, Juan L. Varona
• Classification: math.CA (Classical Analysis and ODEs)
• Publication Date: July 15, 2022
• Paper Link: https://arxiv.org/abs/2207.08709

Abstract

This paper provides explicit summation of Sneddon-Bessel series: $\sum_{m=1}^\infty \frac{J_\alpha(x j_{m,\nu})J_\beta(y j_{m,\nu})}{j_{m,\nu}^{2n+\alpha+\beta-2\nu+2} J_{\nu+1}(j_{m,\nu})^2}$

where $0<x$, $0<y$, $x+y<2$, $n$ is an integer, $\alpha,\beta,\nu\in \mathbb{C}\setminus \{-1,-2,\ldots \}$ satisfy $2\operatorname{Re} \nu< 2n+1 + \operatorname{Re} \alpha+ \operatorname{Re} \beta$, and $\{j_{m,\nu}\}_{m\geq 0}$ are the zeros of the Bessel function $J_\nu$ of order $\nu$. As applications, several extensions of the Kneser-Sommerfeld expansion are established.

Research Background and Motivation

1. Problem Background: Explicit summation of Bessel series is an important problem in classical analysis, particularly for infinite series involving zeros of Bessel functions. Sneddon considered bivariate Bessel series in his monograph, but lacked explicit closed-form expressions.
2. Problem Significance: Summation of Bessel series has widespread applications in applied mathematics, mathematical physics, and engineering, particularly in solving boundary value problems, heat conduction equations, and wave equations.
3. Limitations of Existing Methods: Currently, there is a lack of unified closed-form expressions for Sneddon-Bessel series with general parameters, especially for complex parameter cases.
4. Research Motivation: To systematically resolve the explicit summation of Sneddon-Bessel series in commemoration of the centennial of the first edition of Watson's monograph on the theory of Bessel functions.

Core Contributions

1. Main Theorem: Provides complete closed-form expressions for Sneddon-Bessel series, covering both cases $n \geq 0$ and $n < 0$
2. Technical Innovation: Establishes partial fraction decomposition of Bessel functions using the residue theorem
3. Theoretical Extension: Proves multiple generalizations of the Kneser-Sommerfeld expansion
4. Unified Framework: Provides a unified framework for handling Bessel series with complex parameters

Detailed Methodology

Problem Definition

The research objective is to find the closed form of the series: $S_{\alpha,\beta,\nu}^{q_n}(x,y) = \sum_{m=1}^\infty \frac{J_\alpha(xj_{m,\nu})J_\beta(yj_{m,\nu})}{j_{m,\nu}^{q_n}J_{\nu+1}(j_{m,\nu})^2}$

where $q_n = 2n+\alpha+\beta-2\nu+2$.

Core Technical Framework

1. Function Transformation

Introduce the entire function: $\Phi_\nu(z) = 2^\nu\Gamma(\nu+1)\frac{J_\nu(z)}{z^\nu}$

Define the generating function: $\frac{\Phi_\alpha(xz)\Phi_\beta(yz)}{\Phi_\nu(z)^2} = \sum_{n=0}^\infty \delta_{\alpha,\beta,\nu}^{(n)}(x,y)z^{2n}$

2. Application of Residue Theorem

Theorem 1 (Partial Fraction Decomposition): Let $f$ be an entire function satisfying growth conditions. Then: $\frac{1}{n!}\frac{d^n}{dt^n}\left(\frac{f(t)}{\Phi_\nu(t)^2}\right) = \sum_{m\in\mathbb{Z}\setminus\{0\}} \frac{4(\nu+1)^2[(2\nu+1)t-(2\nu-n)j_m]f(j_m)-j_m(j_m-t)f'(j_m)}{(j_m-t)^{n+2}j_m^3\Phi_{\nu+1}(j_m)^2}$

3. Partial Differential Equation Method

Via the residue theorem, establish the partial differential equation: $\frac{\delta_{\alpha,\beta,\nu}^{(n)}(x,y)}{-8(\nu+1)^2} = (2\nu-2n)\xi_{n,\alpha,\beta,\nu}(x,y) + x\frac{\partial\xi_{n,\alpha,\beta,\nu}}{\partial x} + y\frac{\partial\xi_{n,\alpha,\beta,\nu}}{\partial y}$

Main Results

Case 1: $n \geq 0$

$S_{\alpha,\beta,\nu}^{q_n}(x,y) = \frac{\Gamma(\nu+1)^2x^\alpha y^\beta}{2^{q_0}\Gamma(\alpha+1)\Gamma(\beta+1)}\left(x^{2n-2\nu}\varphi_{\alpha,\beta,\nu}^{(n)}(y/x) - \sum_{2j+2k\leq 2n}\frac{A_{2j,2k,n}^{\alpha,\beta,\nu}}{j+k+\nu-n}x^{2j}y^{2k}\right)$

where the function $\varphi_{\alpha,\beta,\nu}^{(n)}$ is determined by the recurrence relation: $\varphi_{\alpha,\beta,\nu}^{(0)}(t) = \frac{1}{\nu}\binom{\alpha}{\nu}{}_2F_1\left(\frac{\nu-\alpha,\nu}{\beta+1};t^2\right)$

$\varphi_{\alpha,\beta,\nu}^{(n)}(t) = \frac{1}{2\nu-2n}\left(\frac{1}{2(\alpha+1)}\varphi_{\alpha+1,\beta,\nu}^{(n-1)}(t) + \frac{t^2}{2(\beta+1)}\varphi_{\alpha,\beta+1,\nu}^{(n-1)}(t)\right)$

Case 2: $n < 0$

$S_{\alpha,\beta,\nu}^{q_n}(x,y) = \frac{x^{\alpha-2\nu+2n}y^\beta\Gamma(\nu-n)}{2^{q_n}\Gamma(\beta+1)\Gamma(n+\alpha-\nu+1)}{}_2F_1\left(\frac{\nu-n,\nu-\alpha-n}{\beta+1};\frac{y^2}{x^2}\right)$

Applications: Extensions of the Kneser-Sommerfeld Expansion

Classical Kneser-Sommerfeld Expansion

$\sum_{m=1}^\infty \frac{J_\nu(xj_{m,\nu})J_\nu(yj_{m,\nu})}{(j_{m,\nu}^2-z^2)J_{\nu+1}(j_{m,\nu})^2} = \frac{\pi J_\nu(yz)}{4J_\nu(z)}[Y_\nu(z)J_\nu(xz)-J_\nu(z)Y_\nu(xz)]$

New Extended Forms

$\sum_{m=1}^\infty \frac{j_{m,\nu}^{\nu-\beta}J_\nu(xj_{m,\nu})J_\beta(yj_{m,\nu})}{(j_{m,\nu}^2-z^2)J_{\nu+1}(j_{m,\nu})^2} = \frac{\pi J_\beta(yz)}{4z^{\beta-\nu}J_\nu(z)}[Y_\nu(z)J_\nu(xz)-J_\nu(z)Y_\nu(xz)]$

Applicable conditions: $\operatorname{Re}\nu < \operatorname{Re}\beta + 1$, $0 \leq y \leq x \leq 1$.

Technical Innovations

1. Systematic Application of Residue Methods: First systematic application of the residue theorem to partial fraction decomposition of Bessel functions
2. Generating Function Techniques: Cleverly utilizes generating functions to transform infinite series problems into finite polynomial recurrences
3. Integral Transform Methods: Employs integral transforms such as Sonin's formula to handle complex parameter cases
4. Analytic Continuation Techniques: Extends results to broader parameter ranges through analytic continuation

Mathematical Analysis

Convergence Conditions

The key condition for series convergence is: $2\operatorname{Re}\nu < 2n+1+\operatorname{Re}\alpha+\operatorname{Re}\beta$

Special Case Treatment

• When $\nu \in \{0,1,\ldots,n\}$, handled through limiting processes
• When $\operatorname{Re}\nu < -1$, results are extended using the integral transform $T_{\mu,\eta,h}$

Boundary Cases

• The boundary case $x+y=2$ requires stronger conditions: $2\operatorname{Re}\nu < 2n+\operatorname{Re}\alpha+\operatorname{Re}\beta$

Related Work

1. Classical Results: Watson's theory of Bessel functions, Sneddon's mixed boundary value problems
2. Modern Developments: Martin's research on Fourier-Bessel series, Grebenkov's spectral sum formulas
3. Contribution of This Paper: First complete closed-form solution for general Sneddon-Bessel series

Conclusions and Discussion

Main Conclusions

The paper successfully resolves the explicit summation problem for Sneddon-Bessel series, providing complete closed-form expressions and establishing important generalizations of the Kneser-Sommerfeld expansion.

Theoretical Significance

1. Perfects the theoretical framework of Bessel series
2. Provides powerful tools for related physics and engineering problems
3. Demonstrates the power of complex analysis methods in the theory of special functions

Application Prospects

The results have important application value in solving partial differential equations, integral equations, and mathematical physics problems.

In-Depth Evaluation

Strengths

1. Theoretical Completeness: Provides a complete theoretical framework with rigorous mathematical proofs
2. Methodological Innovation: Innovatively combines the residue theorem, generating functions, and integral transforms
3. Practical Value of Results: The provided formulas have strong practical utility
4. Clarity of Exposition: The paper has clear structure and rigorous mathematical presentation

Technical Highlights

1. Skillfully handles analytic continuation for complex parameter cases
2. Systematically resolves convergence issues across different parameter ranges
3. Provides concrete computational methods and recurrence relations

Impact

This work makes important contributions to Bessel function theory and is expected to have broad impact in mathematical physics, engineering mathematics, and related fields. The methods and results provide important theoretical foundations and technical tools for subsequent related research.