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

Sneddon-Bessel級数の明示的な和

基本情報

  • 論文ID: 2207.08709
  • タイトル: Summing Sneddon-Bessel series explicitly
  • 著者: Antonio J. Durán, Mario Pérez, Juan L. Varona
  • 分類: math.CA（古典解析と常微分方程式）
  • 発表日: 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のMixed boundary value problems
  2. 現代的発展：MartinのFourier-Bessel級数研究，GrebenkovのSpectral sum formulas
  3. 本論文の貢献：一般的なSneddon-Bessel級数の完全な閉形式解を初めて提供

結論と考察

主要な結論

論文はSneddon-Bessel級数の明示的な和の問題を成功裏に解決し，完全な閉形式表現を提供し，Kneser-Sommerfeld展開の重要な一般化を証明した。

理論的意義

  1. Bessel級数理論体系を完成させた
  2. 関連する物理および工学問題に強力なツールを提供
  3. 複素解析の方法が特殊関数理論において有効であることを示した

応用の見通し

結果は偏微分方程式，積分方程式，数学物理問題の解法において重要な応用価値を有する。

深い評価

利点

  1. 理論的完全性：完全な理論枠組みと厳密な数学的証明を提供
  2. 方法の創新性：留数定理，生成関数，積分変換を創新的に組み合わせ
  3. 結果の実用性：提供される公式は高い実用価値を有する
  4. 記述の明確性：論文構造が明確で，数学的表現が厳密

技術的ハイライト

  1. 複素パラメータの場合における解析接続問題を巧妙に処理
  2. 異なるパラメータ範囲における収束性問題を体系的に解決
  3. 具体的な計算方法と再帰関係を提供

影響力

この研究はBessel関数理論に重要な貢献をなし，数学物理，工学数学などの分野で広範な影響を及ぼすことが予想される。論文の方法と結果は，後続の関連研究に重要な理論的基礎と技術的ツールを提供する。