2025-11-10T02:38:06.672947

Summing Sneddon-Bessel series explicitly

Durán, Pérez, Varona
We sum in a close form the Sneddon-Bessel series \[ \sum_{m=1}^\infty \frac{J_α(x j_{m,ν})J_β(y j_{m,ν})} {j_{m,ν}^{2n+α+β-2ν+2} J_{ν+1}(j_{m,ν})^2}, \] where $0<x$, $0<y$, $x+y<2$, $n$ is an integer, $α,β,ν\in \mathbb{C}\setminus \{-1,-2,\dots \}$ with $2\operatorname{Re} ν< 2n+1 + \operatorname{Re} α+ \operatorname{Re} β$ and $\{j_{m,ν}\}_{m\geq 0}$ are the zeros of the Bessel function $J_ν$ of order $ν$. As an application we prove some extensions of the Kneser-Sommerfeld expansion.
academic

Summing Sneddon-Bessel series explicitly

基本信息

  • 论文ID: 2207.08709
  • 标题: Summing Sneddon-Bessel series explicitly
  • 作者: Antonio J. Durán, Mario Pérez, Juan L. Varona
  • 分类: math.CA (Classical Analysis and ODEs)
  • 发表时间: 2022年7月15日
  • 论文链接: https://arxiv.org/abs/2207.08709

摘要

本文显式求和了Sneddon-Bessel级数： ∑m=1∞Jα(xjm,ν)Jβ(yjm,ν)jm,ν2n+α+β−2ν+2Jν+1(jm,ν)2\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}

其中 0<x0<x, 0<y0<y, x+y<2x+y<2, nn 是整数，α,β,ν∈C∖{−1,−2,…}\alpha,\beta,\nu\in \mathbb{C}\setminus \{-1,-2,\ldots \} 满足 2Re⁡ν<2n+1+Re⁡α+Re⁡β2\operatorname{Re} \nu< 2n+1 + \operatorname{Re} \alpha+ \operatorname{Re} \beta，{jm,ν}m≥0\{j_{m,\nu}\}_{m\geq 0} 是 ν\nu 阶Bessel函数 JνJ_\nu 的零点。作为应用，证明了Kneser-Sommerfeld展开的一些扩展。

研究背景与动机

  1. 问题背景：Bessel级数的显式求和是经典分析中的重要问题，特别是涉及Bessel函数零点的无穷级数。Sneddon在其著作中考虑了双变量的Bessel级数，但缺乏显式的闭形式表达。
  2. 问题重要性：Bessel级数的求和在应用数学、数学物理和工程中有广泛应用，特别是在求解边值问题、热传导方程和波动方程时经常出现。
  3. 现有方法局限性：目前对于一般参数的Sneddon-Bessel级数缺乏统一的闭形式表达，特别是对于复参数情况。
  4. 研究动机：为纪念Watson《Bessel函数理论专著》第一版出版100周年，系统地解决Sneddon-Bessel级数的显式求和问题。

核心贡献

  1. 主要定理：给出了Sneddon-Bessel级数的完整闭形式表达，包括 n≥0n \geq 0 和 n<0n < 0 两种情况
  2. 技术创新：利用留数定理建立了Bessel函数的部分分式分解
  3. 理论扩展：证明了Kneser-Sommerfeld展开的多个推广形式
  4. 方法统一：提供了处理复参数Bessel级数的统一框架

方法详解

任务定义

研究目标是求出级数的闭形式： Sα,β,νqn(x,y)=∑m=1∞Jα(xjm,ν)Jβ(yjm,ν)jm,νqnJν+1(jm,ν)2S_{\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}

其中 qn=2n+α+β−2ν+2q_n = 2n+\alpha+\beta-2\nu+2。

核心技术框架

1. 函数变换

引入整函数： Φν(z)=2νΓ(ν+1)Jν(z)zν\Phi_\nu(z) = 2^\nu\Gamma(\nu+1)\frac{J_\nu(z)}{z^\nu}

定义生成函数： Φα(xz)Φβ(yz)Φν(z)2=∑n=0∞δα,β,ν(n)(x,y)z2n\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. 留数定理应用

定理1（部分分式分解）：设 ff 是满足增长条件的整函数，则： 1n!dndtn(f(t)Φν(t)2)=∑m∈Z∖{0}4(ν+1)2[(2ν+1)t−(2ν−n)jm]f(jm)−jm(jm−t)f′(jm)(jm−t)n+2jm3Φν+1(jm)2\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. 偏微分方程方法

通过留数定理，建立偏微分方程： δα,β,ν(n)(x,y)−8(ν+1)2=(2ν−2n)ξn,α,β,ν(x,y)+x∂ξn,α,β,ν∂x+y∂ξn,α,β,ν∂y\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}

主要结果

情况1：n≥0n \geq 0

Sα,β,νqn(x,y)=Γ(ν+1)2xαyβ2q0Γ(α+1)Γ(β+1)(x2n−2νφα,β,ν(n)(y/x)−∑2j+2k≤2nA2j,2k,nα,β,νj+k+ν−nx2jy2k)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)

其中函数 φα,β,ν(n)\varphi_{\alpha,\beta,\nu}^{(n)} 由递推关系确定： φα,β,ν(0)(t)=1ν(αν)2F1(ν−α,νβ+1;t2)\varphi_{\alpha,\beta,\nu}^{(0)}(t) = \frac{1}{\nu}\binom{\alpha}{\nu}{}_2F_1\left(\frac{\nu-\alpha,\nu}{\beta+1};t^2\right)

φα,β,ν(n)(t)=12ν−2n(12(α+1)φα+1,β,ν(n−1)(t)+t22(β+1)φα,β+1,ν(n−1)(t))\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)

情况2：n<0n < 0

Sα,β,νqn(x,y)=xα−2ν+2nyβΓ(ν−n)2qnΓ(β+1)Γ(n+α−ν+1)2F1(ν−n,ν−α−nβ+1;y2x2)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)

应用：Kneser-Sommerfeld展开的扩展

经典Kneser-Sommerfeld展开

∑m=1∞Jν(xjm,ν)Jν(yjm,ν)(jm,ν2−z2)Jν+1(jm,ν)2=πJν(yz)4Jν(z)[Yν(z)Jν(xz)−Jν(z)Yν(xz)]\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)]

新的扩展形式

∑m=1∞jm,νν−βJν(xjm,ν)Jβ(yjm,ν)(jm,ν2−z2)Jν+1(jm,ν)2=πJβ(yz)4zβ−νJν(z)[Yν(z)Jν(xz)−Jν(z)Yν(xz)]\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)]

适用条件：Re⁡ν<Re⁡β+1\operatorname{Re}\nu < \operatorname{Re}\beta + 1，0≤y≤x≤10 \leq y \leq x \leq 1。

技术创新点

  1. 留数方法的系统应用：首次系统地将留数定理应用于Bessel函数的部分分式分解
  2. 生成函数技术：巧妙利用生成函数将无穷级数问题转化为有限多项式的递推
  3. 积分变换方法：使用Sonin公式等积分变换处理复参数情况
  4. 解析延拓技术：通过解析延拓将结果扩展到更广的参数范围

数学分析

收敛性条件

级数收敛的关键条件是：2Re⁡ν<2n+1+Re⁡α+Re⁡β2\operatorname{Re}\nu < 2n+1+\operatorname{Re}\alpha+\operatorname{Re}\beta

特殊情况处理

  • 当 ν∈{0,1,…,n}\nu \in \{0,1,\ldots,n\} 时，通过极限过程处理
  • 当 Re⁡ν<−1\operatorname{Re}\nu < -1 时，使用积分变换 Tμ,η,hT_{\mu,\eta,h} 扩展结果

边界情况

  • x+y=2x+y=2 的边界情况需要更强的条件：2Re⁡ν<2n+Re⁡α+Re⁡β2\operatorname{Re}\nu < 2n+\operatorname{Re}\alpha+\operatorname{Re}\beta

相关工作

  1. 经典结果：Watson的Bessel函数理论、Sneddon的混合边值问题
  2. 现代发展：Martin的Fourier-Bessel级数研究、Grebenkov的谱和公式
  3. 本文贡献：首次给出了一般Sneddon-Bessel级数的完整闭形式解

结论与讨论

主要结论

论文成功解决了Sneddon-Bessel级数的显式求和问题，提供了完整的闭形式表达，并证明了Kneser-Sommerfeld展开的重要推广。

理论意义

  1. 完善了Bessel级数理论体系
  2. 为相关物理和工程问题提供了有力工具
  3. 展示了复分析方法在特殊函数理论中的威力

应用前景

结果在求解偏微分方程、积分方程和数学物理问题中有重要应用价值。

深度评价

优点

  1. 理论完备性：给出了完整的理论框架和严格的数学证明
  2. 方法创新性：创新性地结合留数定理、生成函数和积分变换
  3. 结果实用性：提供的公式具有很强的实用价值
  4. 写作清晰性：论文结构清晰，数学表述严谨

技术亮点

  1. 巧妙处理了复参数情况下的解析延拓问题
  2. 系统解决了不同参数范围下的收敛性问题
  3. 提供了具体的计算方法和递推关系

影响力

这项工作为Bessel函数理论做出了重要贡献，预期将在数学物理、工程数学等领域产生广泛影响。论文的方法和结果为后续相关研究提供了重要的理论基础和技术工具。