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

Explizite Summation von Sneddon-Bessel-Reihen

Grundinformationen

  • Papier-ID: 2207.08709
  • Titel: Summing Sneddon-Bessel series explicitly
  • Autoren: Antonio J. Durán, Mario Pérez, Juan L. Varona
  • Klassifizierung: math.CA (Klassische Analysis und gewöhnliche Differentialgleichungen)
  • Veröffentlichungsdatum: 15. Juli 2022
  • Papierlink: https://arxiv.org/abs/2207.08709

Zusammenfassung

In diesem Artikel wird die explizite Summation der Sneddon-Bessel-Reihe durchgeführt: ∑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}

wobei 0<x0<x, 0<y0<y, x+y<2x+y<2, nn eine ganze Zahl ist, α,β,ν∈C∖{−1,−2,…}\alpha,\beta,\nu\in \mathbb{C}\setminus \{-1,-2,\ldots \} die Bedingung 2Re⁡ν<2n+1+Re⁡α+Re⁡β2\operatorname{Re} \nu< 2n+1 + \operatorname{Re} \alpha+ \operatorname{Re} \beta erfüllen, und {jm,ν}m≥0\{j_{m,\nu}\}_{m\geq 0} die Nullstellen der Bessel-Funktion JνJ_\nu der Ordnung ν\nu sind. Als Anwendung werden mehrere Erweiterungen der Kneser-Sommerfeld-Entwicklung bewiesen.

Forschungshintergrund und Motivation

  1. Problemhintergrund: Die explizite Summation von Bessel-Reihen ist ein wichtiges Problem in der klassischen Analysis, insbesondere bei unendlichen Reihen, die Nullstellen von Bessel-Funktionen betreffen. Sneddon behandelte zweiparametrige Bessel-Reihen in seinen Werken, doch fehlten explizite geschlossene Ausdrücke.
  2. Problemrelevanz: Die Summation von Bessel-Reihen hat breite Anwendungen in der angewandten Mathematik, mathematischen Physik und Ingenieurwissenschaften, besonders bei der Lösung von Randwertproblemen, Wärmeleitungsgleichungen und Wellengleichungen.
  3. Einschränkungen bestehender Methoden: Für allgemeine Parameter der Sneddon-Bessel-Reihe fehlt derzeit ein einheitlicher geschlossener Ausdruck, insbesondere für komplexe Parameter.
  4. Forschungsmotivation: Zur Würdigung des 100. Jahrestages der ersten Auflage von Watsons Monographie „Theorie der Bessel-Funktionen" wird das Problem der expliziten Summation von Sneddon-Bessel-Reihen systematisch gelöst.

Kernbeiträge

  1. Hauptsatz: Vollständiger geschlossener Ausdruck für die Sneddon-Bessel-Reihe, einschließlich der Fälle n≥0n \geq 0 und n<0n < 0
  2. Technische Innovation: Verwendung des Residuensatzes zur Etablierung von Partialbruchzerlegungen von Bessel-Funktionen
  3. Theoretische Erweiterung: Beweis mehrerer Verallgemeinerungen der Kneser-Sommerfeld-Entwicklung
  4. Methodische Vereinheitlichung: Bereitstellung eines einheitlichen Rahmens für die Behandlung von Bessel-Reihen mit komplexen Parametern

Methodische Erläuterung

Aufgabendefinition

Das Forschungsziel ist die Bestimmung der geschlossenen Form der Reihe: 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}

wobei qn=2n+α+β−2ν+2q_n = 2n+\alpha+\beta-2\nu+2.

Kernmethodischer Rahmen

1. Funktionentransformation

Einführung der ganzen Funktion: Φν(z)=2νΓ(ν+1)Jν(z)zν\Phi_\nu(z) = 2^\nu\Gamma(\nu+1)\frac{J_\nu(z)}{z^\nu}

Definition der erzeugenden Funktion: Φα(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. Anwendung des Residuensatzes

Satz 1 (Partialbruchzerlegung): Sei ff eine ganze Funktion, die Wachstumsbedingungen erfüllt, dann gilt: 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. Methode der partiellen Differentialgleichungen

Durch den Residuensatz wird eine partielle Differentialgleichung etabliert: δα,β,ν(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}

Hauptergebnisse

Fall 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)

wobei die Funktion φα,β,ν(n)\varphi_{\alpha,\beta,\nu}^{(n)} durch Rekursionsrelationen bestimmt wird: φα,β,ν(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)

Fall 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)

Anwendungen: Erweiterungen der Kneser-Sommerfeld-Entwicklung

Klassische Kneser-Sommerfeld-Entwicklung

∑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)]

Neue Erweiterungsformen

∑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)]

Gültig unter den Bedingungen: Re⁡ν<Re⁡β+1\operatorname{Re}\nu < \operatorname{Re}\beta + 1, 0≤y≤x≤10 \leq y \leq x \leq 1.

Technische Innovationen

  1. Systematische Anwendung der Residuenmethode: Erstmalige systematische Anwendung des Residuensatzes auf die Partialbruchzerlegung von Bessel-Funktionen
  2. Erzeugende-Funktionen-Technik: Geschickte Nutzung erzeugender Funktionen zur Umwandlung von unendlichen Reihen in endliche Polynomrekursionen
  3. Integrale Transformationsmethoden: Verwendung von Sonin-Formeln und anderen integralen Transformationen zur Behandlung komplexer Parameter
  4. Analytische Fortsetzungstechniken: Erweiterung der Ergebnisse auf größere Parameterbereiche durch analytische Fortsetzung

Mathematische Analyse

Konvergenzbedingungen

Die Schlüsselbedingung für die Konvergenz der Reihe ist: 2Re⁡ν<2n+1+Re⁡α+Re⁡β2\operatorname{Re}\nu < 2n+1+\operatorname{Re}\alpha+\operatorname{Re}\beta

Behandlung spezieller Fälle

  • Für ν∈{0,1,…,n}\nu \in \{0,1,\ldots,n\} wird durch Grenzprozesse behandelt
  • Für Re⁡ν<−1\operatorname{Re}\nu < -1 wird die Integrale Transformation Tμ,η,hT_{\mu,\eta,h} zur Erweiterung der Ergebnisse verwendet

Randfälle

  • Der Randfall x+y=2x+y=2 erfordert stärkere Bedingungen: 2Re⁡ν<2n+Re⁡α+Re⁡β2\operatorname{Re}\nu < 2n+\operatorname{Re}\alpha+\operatorname{Re}\beta

Verwandte Arbeiten

  1. Klassische Ergebnisse: Watsons Theorie der Bessel-Funktionen, Sneddons gemischte Randwertprobleme
  2. Moderne Entwicklungen: Martins Forschung zu Fourier-Bessel-Reihen, Grebenkovs Spektralsummenformeln
  3. Beitrag dieses Artikels: Erstmalige Bereitstellung einer vollständigen geschlossenen Lösung für allgemeine Sneddon-Bessel-Reihen

Schlussfolgerungen und Diskussion

Hauptschlussfolgerungen

Der Artikel löst erfolgreich das Problem der expliziten Summation von Sneddon-Bessel-Reihen und bietet vollständige geschlossene Ausdrücke sowie wichtige Verallgemeinerungen der Kneser-Sommerfeld-Entwicklung.

Theoretische Bedeutung

  1. Vervollständigung des theoretischen Systems der Bessel-Reihen
  2. Bereitstellung leistungsstarker Werkzeuge für verwandte physikalische und technische Probleme
  3. Demonstration der Kraft komplexanalytischer Methoden in der Theorie spezieller Funktionen

Anwendungsperspektiven

Die Ergebnisse haben bedeutende Anwendungswerte bei der Lösung partieller Differentialgleichungen, Integralgleichungen und mathematisch-physikalischer Probleme.

Tiefgreifende Bewertung

Stärken

  1. Theoretische Vollständigkeit: Bereitstellung eines vollständigen theoretischen Rahmens mit strengem mathematischem Beweis
  2. Methodische Innovation: Innovative Kombination von Residuensatz, erzeugenden Funktionen und integralen Transformationen
  3. Praktische Nützlichkeit der Ergebnisse: Die bereitgestellten Formeln haben hohen praktischen Wert
  4. Klarheit der Darstellung: Klare Struktur und strenge mathematische Ausdrucksweise

Technische Höhepunkte

  1. Geschickte Behandlung der analytischen Fortsetzung bei komplexen Parametern
  2. Systematische Lösung von Konvergenzproblemen in verschiedenen Parameterbereichen
  3. Bereitstellung konkreter Berechnungsmethoden und Rekursionsrelationen

Auswirkungen

Diese Arbeit leistet einen wichtigen Beitrag zur Theorie der Bessel-Funktionen und wird voraussichtlich in der mathematischen Physik, technischen Mathematik und verwandten Bereichen breite Auswirkungen haben. Die Methoden und Ergebnisse des Artikels bieten eine wichtige theoretische Grundlage und technische Werkzeuge für nachfolgende verwandte Forschungen.