Sommation explicite de séries de Sneddon-Bessel

Informations fondamentales

• ID de l'article: 2207.08709
• Titre: Summing Sneddon-Bessel series explicitly
• Auteurs: Antonio J. Durán, Mario Pérez, Juan L. Varona
• Classification: math.CA (Analyse classique et équations différentielles ordinaires)
• Date de publication: 15 juillet 2022
• Lien de l'article: https://arxiv.org/abs/2207.08709

Résumé

Cet article effectue la sommation explicite de séries de Sneddon-Bessel : $\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}$

où $0<x$, $0<y$, $x+y<2$, $n$ est un entier, $\alpha,\beta,\nu\in \mathbb{C}\setminus \{-1,-2,\ldots \}$ satisfont $2\operatorname{Re} \nu< 2n+1 + \operatorname{Re} \alpha+ \operatorname{Re} \beta$, et $\{j_{m,\nu}\}_{m\geq 0}$ sont les zéros de la fonction de Bessel $J_\nu$ d'ordre $\nu$. En application, plusieurs extensions du développement de Kneser-Sommerfeld sont démontrées.

Contexte et motivation de la recherche

1. Contexte du problème: La sommation explicite de séries de Bessel constitue un problème important de l'analyse classique, particulièrement pour les séries infinies impliquant les zéros de fonctions de Bessel. Sneddon a considéré les séries de Bessel bivariées dans ses travaux, mais manquait d'expressions de forme fermée explicites.
2. Importance du problème: La sommation de séries de Bessel trouve des applications étendues en mathématiques appliquées, physique mathématique et ingénierie, apparaissant fréquemment dans la résolution de problèmes aux limites, d'équations de la chaleur et d'équations d'ondes.
3. Limitations des méthodes existantes: Actuellement, il manque une expression de forme fermée unifiée pour les séries de Sneddon-Bessel avec paramètres généraux, particulièrement dans le cas de paramètres complexes.
4. Motivation de la recherche: Commémorer le centenaire de la première édition du traité de Watson sur la théorie des fonctions de Bessel en résolvant systématiquement le problème de la sommation explicite des séries de Sneddon-Bessel.

Contributions principales

1. Théorème principal: Fournit une expression de forme fermée complète pour les séries de Sneddon-Bessel, couvrant les cas $n \geq 0$ et $n < 0$
2. Innovation technique: Utilise le théorème des résidus pour établir la décomposition en fractions partielles des fonctions de Bessel
3. Extension théorique: Démontre plusieurs formes généralisées du développement de Kneser-Sommerfeld
4. Cadre unifié: Fournit un cadre unifié pour traiter les séries de Bessel avec paramètres complexes

Explication détaillée de la méthode

Définition de la tâche

L'objectif de recherche est d'obtenir la forme fermée de la série : $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}$

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

Cadre technique fondamental

1. Transformation de fonction

Introduction d'une fonction entière : $\Phi_\nu(z) = 2^\nu\Gamma(\nu+1)\frac{J_\nu(z)}{z^\nu}$

Définition de la fonction génératrice : $\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 du théorème des résidus

Théorème 1 (Décomposition en fractions partielles): Soit $f$ une fonction entière satisfaisant les conditions de croissance, alors : $\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. Méthode des équations aux dérivées partielles

Via le théorème des résidus, établissement d'une équation aux dérivées partielles : $\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}$

Résultats principaux

Cas 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)$

où la fonction $\varphi_{\alpha,\beta,\nu}^{(n)}$ est déterminée par la relation de récurrence : $\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)$

Cas 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 du développement de Kneser-Sommerfeld

Développement classique de Kneser-Sommerfeld

$\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)]$

Nouvelles formes généralisées

$\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)]$

Conditions d'application : $\operatorname{Re}\nu < \operatorname{Re}\beta + 1$, $0 \leq y \leq x \leq 1$.

Points d'innovation technique

1. Application systématique de la méthode des résidus: Application systématique pour la première fois du théorème des résidus à la décomposition en fractions partielles des fonctions de Bessel
2. Technique des fonctions génératrices: Utilisation ingénieuse des fonctions génératrices pour transformer les problèmes de séries infinies en récurrences polynomiales finies
3. Méthode des transformations intégrales: Utilisation de transformations intégrales telles que la formule de Sonin pour traiter les cas de paramètres complexes
4. Technique du prolongement analytique: Extension des résultats à une gamme de paramètres plus large via le prolongement analytique

Analyse mathématique

Conditions de convergence

La condition clé pour la convergence de la série est : $2\operatorname{Re}\nu < 2n+1+\operatorname{Re}\alpha+\operatorname{Re}\beta$

Traitement des cas particuliers

• Lorsque $\nu \in \{0,1,\ldots,n\}$, traitement via un processus limite
• Lorsque $\operatorname{Re}\nu < -1$, utilisation de la transformation intégrale $T_{\mu,\eta,h}$ pour étendre les résultats

Cas limites

• Le cas limite $x+y=2$ nécessite une condition plus forte : $2\operatorname{Re}\nu < 2n+\operatorname{Re}\alpha+\operatorname{Re}\beta$

Travaux connexes

1. Résultats classiques: Théorie des fonctions de Bessel de Watson, problèmes aux limites mixtes de Sneddon
2. Développements modernes: Recherche sur les séries de Fourier-Bessel par Martin, formules spectrales de Grebenkov
3. Contribution de cet article: Première solution de forme fermée complète pour les séries de Sneddon-Bessel générales

Conclusion et discussion

Conclusions principales

L'article résout avec succès le problème de la sommation explicite des séries de Sneddon-Bessel, fournissant une expression de forme fermée complète et démontrant d'importantes généralisations du développement de Kneser-Sommerfeld.

Signification théorique

1. Perfectionne le système théorique des séries de Bessel
2. Fournit des outils puissants pour les problèmes physiques et d'ingénierie connexes
3. Démontre la puissance des méthodes d'analyse complexe dans la théorie des fonctions spéciales

Perspectives d'application

Les résultats ont une valeur d'application importante dans la résolution d'équations aux dérivées partielles, d'équations intégrales et de problèmes de physique mathématique.

Évaluation approfondie

Avantages

1. Complétude théorique: Fournit un cadre théorique complet et des preuves mathématiques rigoureuses
2. Innovation méthodologique: Combine innovamment le théorème des résidus, les fonctions génératrices et les transformations intégrales
3. Utilité pratique des résultats: Les formules fournies possèdent une forte valeur pratique
4. Clarté de la rédaction: L'article possède une structure claire et une expression mathématique rigoureuse

Points forts techniques

1. Traitement ingénieux du prolongement analytique dans le cas de paramètres complexes
2. Résolution systématique des problèmes de convergence pour différentes gammes de paramètres
3. Fournit des méthodes de calcul concrètes et des relations de récurrence

Impact

Ce travail apporte une contribution importante à la théorie des fonctions de Bessel et devrait avoir un impact considérable dans les domaines de la physique mathématique et des mathématiques de l'ingénierie. Les méthodes et résultats de l'article fournissent une base théorique importante et des outils techniques pour les recherches connexes ultérieures.