Dans un cadre plus général, μ et ρ sont reliées via leurs transformées de Stieltjes par la formule suivante :
où c1 est le moment d'ordre 1 de la mesure ρ.
Ces mesures secondaires, et la théorie qui les entoure, conduisent à quelques résultats surprenants, et permettent de retrouver de façon élégante un bon nombre de formules classiques d'analyse, principalement autour des fonctions Γ d'Euler, ζ de Riemann, et de la constante d'Euler-Mascheroni. Elles permettent aussi l'explicitation d'intégrales et de séries a priori difficiles avec une efficacité redoutable. Enfin elles permettent de résoudre des équations intégrales de la forme :
où g est la fonction inconnue, et conduisent à des théorèmes de convergence vers les mesures de Tchebychev et Dirac.
Soit un espace mesuré par une mesure de densité positive ρ sur un intervalle I et admettant des moments de tout ordre. On peut construire une famille des polynômes orthogonaux pour la structure préhilbertienne induite par ρ. Soit la famille des polynômes secondaires de la famille P. Sous certaines conditions il existe une mesure μ pour laquelle la famille Q est orthogonale. Cette mesure, que l'on peut expliciter en fonction de ρ est appelée mesure secondaire associée à la mesure initiale ρ.
Lorsque ρ est une densité de probabilité, une condition suffisante pour que μ admettant des moments de tout ordre soit secondaire associée à ρ est que sa transformée de Stieltjes soit donnée par une égalité du type :
avec a constante arbitraire et c1 désignant le moment d'ordre 1 de ρ.
Pour on obtient la mesure dite secondaire, remarquable au sens que pour la norme du polynôme Pn pour ρ coïncide exactement avec la norme du polynôme secondaire associé Qn au sens de la mesure μ. Dans ce cas primordial, et si l'espace engendré par les polynômes orthogonaux est dense dans , l'opérateur Tρ défini par créant les polynômes secondaires peut se prolonger en une application linéaire reliant l'espace à et devient une isométrie si on la restreint à l'hyperplanHρ des fonctions orthogonales à P0 = 1.
Pour des fonctions quelconques de carré intégrables pour ρ, on obtient la formule plus générale de covariance :
La théorie se poursuit en introduisant la notion de mesure réductible, au sens que le quotient ρ/μ est élément de . On établit alors les résultats suivants :
La réductrice φ de ρ est un antécédent de ρ/μ pour l'opérateur Tρ. (En fait le seul antécédent élément de Hρ).
Pour toute fonction de carré intégrable pour ρ, on a la formule dite de réduction : .
L'opérateur défini sur les polynômes, se prolonge en une isométrieSρ reliant l'adhérence de l'espace de ces polynômes dans à l'hyperplan Hρ muni de la norme induite par ρ. Sous certaines conditions restrictives l'opérateur Sρ agît comme adjoint de Tρ pour le produit scalaire induit par ρ.
Enfin, les deux opérateurs sont reliés aussi, sous réserve que les images en question soient définies, par la formule fondamentale de composition :
Cas de la mesure secondaire de la mesure de Lebesgue, et quelques autres exemples
La mesure de Lebesgue sur l'intervalle standard [0, 1] est obtenue en prenant la densité constante ρ(x) = 1.
Les polynômes orthogonaux associés sont appelés polynômes de Legendre et peuvent être explicités par . La norme de vaut . La relation de récurrence à trois termes s'écrit :
La réductrice de cette mesure de Lebesgue est donnée par
La mesure secondaire associée s'explicite alors comme
Si l'on normalise les polynômes de Legendre, les coefficients de Fourier de la réductrice φ par rapport à ce système orthonormé sont nuls pour un indice pair et données par pour un indice n impair.
Les coefficients de Fourier de la réductrice φ par rapport aux polynômes de Laguerre sont donnés par :
. Ce coefficient Cn(φ) n'est autre que l'opposé de la somme des éléments de la ligne d'indice du tableau des nombres triangulaires harmoniques de Leibniz.
Les polynômes d'Hermite sont associées à la densité de Gauss sur . Ils sont explicités par et sont normés. La réductrice associée est définie par :
Les coefficients de Fourier de la réductrice φ par rapport au système des polynômes d'Hermite sont nuls pour un indice pair et données par
pour un indice n impair.
La mesure de Tchebychev de deuxième forme est définie par la densité sur l'intervalle [0, 1]. C'est la seule qui coïncide avec sa mesure secondaire normalisée sur cet intervalle standard. Sous certaines conditions elle apparait comme limite de la suite des mesures secondaires normalisées d'une densité donnée.
La mesure secondaire μ associée à une densité de probabilitéρ a son moment d'ordre 0 égal à (c1 et c2 désignant les moments respectifs d'ordre 1 et 2 de ρ).
Pour pouvoir itérer le procédé on normalise alors μ en définissant qui devient à son tour une densité de probabilité appelée naturellement mesure secondaire normalisée associée à ρ.
On peut alors définir de proche en proche à partir de ρ0 = ρ la suite ,chaque terme étant la mesure secondaire normalisée du précédent.
Il est possible d'expliciter la densité ρn en utilisant les polynômes orthogonaux Pn pour ρ, les polynômes secondaires Qn et la réductrice associée φ. Cela donne la formule :
Le coefficient s'obtient facilement à partir des coefficients dominants des polynômes Pn–1 et Pn. On peut également expliciter la réductrice ϕn associée à ρ, ainsi que les polynômes orthogonaux correspondant à ρn.
Un très beau résultat concerne l'évolution de ces densités lorsque l'indice tend vers l'infini et que le support des mesures est l'intervalle standard [0, 1].
Soit la relation de récurrence à trois termes : .
Si et , alors la suite converge complètement vers la densité de Tchebychev de deuxième forme .
Ces conditions limites sont vérifiées par une très large classe de densités classiques.
On appelle ainsi deux mesures conduisant à la même densité secondaire normalisée. Il est remarquable que les éléments d'une classe donnée de même moment d'ordre 1 soient reliés par une homotopie. Plus précisément, si la densité ρ a son moment d'ordre 1 égal à c1, ces densités équinormales à ρ seront donnés par une formule du type
t décrivant un intervalle contenant ]0, 1].
Si μ est la mesure secondaire de ρ, celle de ρt est tμ.
La réductrice de ρt est : en notant G(x) la réductrice de μ.
Les polynômes orthonormaux pour la mesure ρt sont explicités à partir de n = 1 par la formule :
avec Qn secondaire associé à Pn
Il est remarquable aussi que, au sens des distributions, la limite lorsque t tend vers 0 par valeur supérieure de ρt soit la mesure de Dirac concentrée en c1.
Pour exemple, les densités équinormales à la mesure de Tchebychev de deuxième forme sont définies par : , avec t décrivant ]0, 2]. La valeur t = 2 donne la mesure de Tchebychev de première forme.
Si la mesure ρ est réductible de réductrice associée φ, on a l'égalité :
Si la mesure ρ est réductible de mesure secondaire associée μ, alors si f est de carré intégrable pour μ, et si g est de carré intégrable pour ρ et orthogonale à P0 = 1 on a l'équivalence :
(c1 désigne le moment d'ordre 1 de ρ et Tρ l'opérateur ).
This browser is not supported by Wikiwand :( Wikiwand requires a browser with modern capabilities in order to provide you with the best reading experience. Please download and use one of the following browsers:
Your input will affect cover photo selection, along with input from other users.
X
Get ready for Wikiwand 2.0 🎉! the new version arrives on September 1st! Don't want to wait?
Oh no, there's been an error
Please help us solve this error by emailing us at support@wikiwand.com
Let us know what you've done that caused this error, what browser you're using, and whether you have any special extensions/add-ons installed.
Thank you!