La mesure secondaire μ associée à une densité de probabilité ρ a son moment d'ordre 0 égal à d0 = c2 − (c1)2 , (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
On peut alors définir de proche en proche à partir de ρ0 = ρ la suite
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
Le coefficient
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
Soit la relation de récurrence à trois termes : xPn(x) = tnPn + 1(x) + snPn(x) + tn − 1Pn − 1(x).
Si
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:
Si μ est la mesure secondaire de ρ, celle de ρt est tμ.
La réductrice de ρt est :
Les polynômes orthonormaux pour la mesure ρt sont explicités à partir de n = 1 par la formule:
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 :
La mesure de Lebesgue sur l'intervalle standard
Les polynômes orthogonaux associés sont appelés polynômes de Legendre et peuvent être explicités par
La réductrice de cette mesure de Lebesgue est donnée par
Si on normalise les polynômes de Legendre, les coefficients de Fourier de la réductrice
Les polynômes de Laguerre sont liés à la densité ρ(x) = e − x sur l'intervalle
Ils sont explicités par
la réductrice associée est définie par
Les coefficients de Fourier de la réductrice
Les polynômes d'Hermite sont associées à la densité de Gauss
Les coefficients de Fourier de la réductrice
La mesure de Tchebychev de deuxième forme est définie par la densité
Mesure de Jacobi de densité
Mesure de Tchebychev de première forme de densité