En mathématiques, les polynômes de BatemanAussi appelés polynômes de Bateman-Pasternack, ou polynômes de Touchard. Cette dernière appellation peut porter à confusion avec une autre famille de polynômes, associée au mathématicien Jacques Touchard. Dans la littérature les deux ne sont pas toujours distingués, bien que leur définition diffère, car un changement de variable approprié permet de passer de l'un à l'autre. constituent une famille de polynômes remarquables, étudiée par le mathématicien anglais Harry Bateman. Initialement introduits en rapport avec l'étude des fonctions hypergéométriques, ces polynômes constituent une famille orthogonale et à ce titre sont liés à d'autres familles telles les polynômes de Legendre, de Jacobi, de Bernstein, etc. Ils apparaissent naturellement dans plusieurs contextes, tels que l'étude des solutions des équations aux dérivées partielles dans des contextes symétriques.
Définition Bateman définit initialement les polynômes en termes de la fonction hypergéométrique et d'une série génératrice :
Une définition équivalente à partir de la fonction hypergéométrique généralisée est :
Bateman montre également que ces polynômes satisfont à une relation de récurrence : , avec . En particulier, cette relation établit que le degré de est exactement .
Relations aux autres familles et généralisation Carlitz a montré qu'à un changement de variable près, les polynômes de Bateman coïncident avec les polynômes de Touchard :
Une caractérisation des polynômes de Bateman à partir des polynômes de Legendre et des fonctions hyperboliques est donnée par la relation :
où on interprète le membre de gauche comme un opérateur pseudo-différentiel. Cette dernière écriture se prête naturellement à une généralisation, due à Pasternack, à savoir :
qui possède également une écriture à partir de la fonction hypergéométrique généralisée, pour tout , une relation de récurrence analogue à , et qui forme encore une famille orthogonalePasternack lui-même n'a pas donné de démonstration de l'orthogonalité. Elle est due à Bateman (au moyen de la transformée de Fourier) et Hardy (au moyen de la transformée de Mellin) et détaillée dans les articles cités. Voir aussi (Koelink 1996) pour les détails historiques.
Enfin, les polynômes de Bateman peuvent être exprimés en fonction des polynômes de Hahn (ou des polynômes de Wilson, qui les généralisent) après changement de variable, précisément .
Propriétés remarquables Les polynômes de Bateman forment une famille orthogonale, pour le produit scalaire défini ainsi :
où est la fonction de Kronecker. En particulier, il ne s'agit pas de polynômes orthonormés, mais on peut poser qui vérifient , les « polynômes de Bateman normalisés ».
Premiers polynômes de la famille On obtient les premiers polynômes de la famille en itérant la relation de récurrence, à partir des deux premières valeurs . Ainsi :
Notes et références
Notes
Références
Bateman Catégorie:Polynôme remarquable