Transformée de Stieltjes

Un article de Wikipédia, l'encyclopédie libre.
Aller à : navigation, rechercher
image illustrant l’analyse
Cet article est une ébauche concernant l’analyse.

Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.

En mathématiques, la transformée de Stieltjes d'une mesure de densité ρ sur un intervalle I est une fonction de la variable complexe z, définie à l'extérieur de cet intervalle par la formule :

Sous certaines conditions on peut reconstituer la densité d'origine à partir de sa transformée grâce à la formule d'inversion de Stieltjes-Perron. Par exemple, si la densité ρ est continue sur I, on aura à l'intérieur de cet intervalle :

Relations avec les moments de la mesure[modifier | modifier le code]

Article détaillé : Problème des moments.

Si la mesure de densité ρ a des moments de tout ordre définis pour chaque entier naturel n par l'égalité :

alors la transformée de Stieltjes de ρ admet pour tout entier le développement asymptotique au voisinage de l'infini :

Sous certaines conditions on obtient le développement en série de Laurent :

Relations avec les polynômes orthogonaux[modifier | modifier le code]

Article détaillé : Mesure secondaire.

La correspondance définit un produit scalaire sur l'espace des fonctions à valeurs réelles continues sur I.

Si (Pn) désigne une suite de polynômes, orthonormale pour ce produit scalaire, avec Pn de degré n pour tout entier, on lui associe la suite des polynômes secondaires définis par la relation :

On montre alors que la fraction rationnelle est un approximant de Padé de Sρ(z) au voisinage de l'infini, au sens où

Les deux suites de polynômes satisfaisant à une même relation de récurrence à trois termes successifs, on peut en déduire facilement un développement en fraction continue généralisée de la transformée de Stieltjes en question dont les réduites successives sont les fractions Fn(z).

La transformée de Stieltjes se révèle également un outil précieux pour construire à partir de ρ une mesure effective rendant les polynômes secondaires orthogonaux.

Références[modifier | modifier le code]