Polynmes orthogonaux

Mathieu Lavoie

Matrise en mathmatiques

Qubec, Canada

Mathieu Lavoie, 2015

Rsum

Les polynmes orthogonaux sont introduits par la thorie de Sturm-Liouville, puis les quiva-
lences existantes entre leurs dfinitions classiques sont montres. Certains rsultats de base de
la thorie sont ensuite dcortiqus. On termine en introduisant des rsultats prliminaires de
la thorie analytique des polynmes, qui tudie les liens entre les coefficients dun polynme,
ses zros et ses points critiques.

iii
Table des matires

Rsum iii

Table des matires v

Introduction 1

1 Thorie de Sturm-Liouville 3
1.1 Problmes issus de la physique . . . . . . . . . . . . . . . . . . . . . . . . . 3
1.2 Contexte et outils utiliss . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
1.3 Oprateur de Sturm-Liouville . . . . . . . . . . . . . . . . . . . . . . . . . . 9
1.4 Quelques exemples classiques . . . . . . . . . . . . . . . . . . . . . . . . . . 12

2 Dfinitions quivalentes des polynmes orthogonaux 15

2.1 Une premire dfinition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
2.2 Cas des solutions dun problme de Sturm-Liouville . . . . . . . . . . . . . . 18
2.3 Formule de Rodrigues . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20
2.4 Relation de rcurrence . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
2.5 Sries gnratrices . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25
2.6 Polynmes orthogonaux moins connus . . . . . . . . . . . . . . . . . . . . . 31

3 Proprits des polynmes orthogonaux 37

3.1 Formule de Christoffel . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37
3.2 Sries de Fourier gnralises, proprits dextrema et de fermeture . . . . . 40
3.3 Noyau de Christoffel-Darboux . . . . . . . . . . . . . . . . . . . . . . . . . . 43
3.4 Quadratures de Gauss . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46

4 Zros et points critiques 51

4.1 Zros des polynmes orthogonaux . . . . . . . . . . . . . . . . . . . . . . . . 51
4.2 Polynmes gnraux . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 54
4.3 Classification des points critiques et interprtation physique de ceux de type 2 61
4.4 Thorme de Gauss-Lucas et une rciproque . . . . . . . . . . . . . . . . . . 62

Conclusion 71

A Table de polynmes orthogonaux classiques 73

A.1 Polynmes de Legendre . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 73
A.2 Polynmes de Gegenbauer (ou ultrasphriques) . . . . . . . . . . . . . . . . 74
A.3 Polynmes de Jacobi . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 74

v
 A.4 Polynmes de Tchebychev (premire espce) . . . . . . . . . . . . . . . . . . 75
A.5 Polynmes de Tchebychev (seconde espce) . . . . . . . . . . . . . . . . . . 76
A.6 Polynmes de Hermite (forme physique) . . . . . . . . . . . . . . . . . . . . 76
A.7 Polynmes de Laguerre . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 77
A.8 Polynmes de Laguerre associs . . . . . . . . . . . . . . . . . . . . . . . . . 78

B Schma dAskey 79

C Rappel sur linterpolation de Lagrange 81

D Zros et points critiques des polynmes de Legendre 83

Pages Wikipdia utiles 85

Bibliographie 87

vi
 Rachel

vii
Introduction

Les polynmes orthogonaux sont un sujet dtude pour les mathmaticiens depuis longtemps.
titre dexemple, Adrien-Marie Legendre en tait arriv ds le dbut du XIXe sicle consi-
drer la suite de polynmes auxquels son nom est maintenant associ, les polynmes de Le-
gendre, dans le cadre de ses calculs concernant la mcanique cleste. Depuis cette poque
jusqu aujourdhui, la thorie concernant ces polynmes na cess de crotre en prcision et
aussi en importance, puisque dautres applications se sont dveloppes. En effet, avec lavne-
ment des ordinateurs, les polynmes orthogonaux sont devenus des outils dapproximation et
dencodage-dcodage trs utiles. Cest pourquoi leur tude continue encore aujourdhui.

Ce mmoire se veut une (brve) introduction ltude des polynmes orthogonaux, qui soit
accessible et rigoureuse. Aussi, les dfinitions puis les thormes seront dvelopps dans le
cadre le plus gnral possible.

Le premier chapitre introduit le sujet sensiblement comme il semble tre apparu historique-
ment. En effet, certaines suites de polynmes orthogonaux peuvent tre vues comme des solu-
tions dquations diffrentielles. Des problmes qui mnent de telles quations diffrentielles
sont donc dabord proposs. Ensuite, le contexte utilis pour notre tude est introduit. Aprs
cela, nous tudions de manire systmatique les oprateurs de Sturm-Liouville (qui mnent
des suites de polynmes orthogonaux), et enfin nous en donnons quelques exemples.

Le second chapitre relie ensemble les dfinitions usuelles quune suite de polynmes ortho-
gonaux peut avoir. Nous commenons par donner une premire dfinition, simplement via la
notion de produit scalaire, et quelques consquences de celle-ci. Ceci fait, nous situons les solu-
tions dun problme de Sturm-Liouville dans ce nouveau cadre. Nous continuons en montrant
les quivalences existantes entre ce qui prcde et la formule de Rodrigues, puis la relation de
rcurrence permettant de calculer un polynme dans une suite partir des deux prcdents.
Il suit une discussion sur les sries gnratrices des polynmes orthogonaux. Nous terminons
ce chapitre par ltude dune classe de polynmes orthogonaux moins connue, savoir ceux
issus dun processus discret, qui sont nanmoins tout aussi utiles que leurs congnres.

Nous dcrivons dans le troisime chapitre quelques proprits classiques des polynmes ortho-
gonaux. Une formule de Christoffel est tablie ; les sries de Fourier gnralises sont introduites

1
avec certaines de leurs consquences ; le noyau de Christoffel-Darboux est tudi et finalement,
nous prsentons les quadratures de Gauss. Elles forment en effet un outil important, autant
dans les applications que dans la suite de la thorie.

Dans le quatrime et dernier chapitre, nous nous aventurons dans un domaine de recherche
trs actif : celui de la recherche de lien entre les coefficients, les zros et les points critiques
des polynmes. Des rsultats existants pour les polynmes orthogonaux sont dabord prsen-
ts, puis nous largissons notre perspective pour tudier des rsultats de base de la thorie
analytique des polynmes gnraux, coefficients dans C. Ces rsultats nous mneront au
thorme de Gauss-Lucas, puis une de ses rciproques, rcemment dmontre, qui sera le
point culminant du chapitre.

Pour rfrence, nous avons plac en Annexe A une table des suites de polynmes rencontres
tout au long du mmoire contenant diverses informations, notamment pour lutilisation des
dfinitions prsentes, ainsi que quelques commentaires sur les particularits des polynmes
de chaque sorte. Le schma dAskey, qui est mentionn en 2.6, est reprsent dans lannexe
B. LAnnexe C est un rappel sur linterpolation de Lagrange, qui sera utilise en 3.4. Enfin,
jai rassembl dans lannexe D quelques graphiques des polynmes de Legendre illustrant des
thormes du chapitre 4. Nous y rfrerons en temps voulu.

2
Chapitre 1

Thorie de Sturm-Liouville

Dans cette premire section, nous allons tudier un type de problme do provient une par-
tie importante des polynmes orthogonaux classiques. Nous verrons dabord deux exemples
dquations tires de la physique dont la rsolution mne des problmes dits de Sturm-
Liouville. Dans les sections suivantes, nous gnraliserons notre approche. Nous regarderons
dabord avec quels outils nous travaillerons, puis nous tudierons les proprits des oprateurs
de Sturm-Liouville, et enfin leurs solutions.

1.1 Problmes issus de la physique

Le texte de cette section est inspir de (5) et de (1).

1.1.1 quation de Laplace

Considrons loprateur de Laplace en trois dimensions

2 2 2
2 = + + .
x2 y 2 z 2
Cet oprateur est utilis par exemple pour modliser le comportement dune distribution de
temprature, de charge lectrique, ou de potentiel gravitationnel sur un domaine donn (voir
(5, p. 196)). Plus prcisment, considrons par exemple lquation suivante

f
2 f = c ,
t
o c est une constante positive et f = f (x, y, z, t) est une fonction de quatre variables. Sous
certaines conditions, f reprsente la temprature dun matriau homogne isotrope. Avec la
constante c approprie, il sagit en effet de l quation de la chaleur , telle que donne dans (7)
par Jean-Baptiste-Joseph Fourier lui-mme. Sans analyser en profondeur le problme comme
la fait Fourier, nous pouvons vrifier que le modle se comporte avec une certaine cohrence
par largument suivant. Loprateur peut tre vu comme donnant la diffrence entre la valeur

3
moyenne de la temprature dans le voisinage dun point et la temprature en ce point. Ainsi,
si 2 f (x) > 0, la temprature en x est infrieure celle autour, et le point aura tendance
f
se rchauffer, et donc t > 0.

Maintenant que nous sommes confiants de lutilit physique de notre discussion, rsolvons
lquation
2 f = 0.

Comme, par nature, les problmes de ce type sappliquent sur une sphre autour dun point,
nous passons en coordonnes polaires. Lquation devient

1 2f
   
2 f 1 f
r + sin + = 0.
r r sin sin2 2

Utilisons la sparation de variables en posant

f (r, , ) = R(r)()().

Il suit les trois quations suivantes

1 d2
= m2l ,
d
 
1 d 2 dR
r = l(l + 1),
R dr dr
m2
 
1 d d
sin + l 2 = l(l + 1).
sin d d sin

En rsolvant la premire quation, nous trouvons que ml est bien dfinie pour R si
et seulement si ml Z. Intressons-nous maintenant la troisime quation. Nous posons
w = cos et il vient

m2l
   
d 2 d
(1 w ) + l(l + 1) = 0. (1.1)
dw dw 1 w2

Les solutions de cette quation sont appeles fonctions de Legendre associes . Pour les
|ml |
trouver, posons lml (w) = (1 w2 )|ml |/2 d dw|m
Pl (w)
l|
et calculons, en utilisant les notations
suivantes pour allger les quations.

d|ml | Pl (w)
:= ;
dw|ml |
:= |ml |;
dn
Dn := .
dwn

Allons-y tape par tape. Nous avons

4
 = (1 w2 )/2 ;
D = w(1 w2 )/21 + (1 w2 )/2 D;
(1 w2 )D = w(1 w2 )/2 + (1 w2 )/2+1 D;
D[(1 w2 )D] = (1 w2 )/2 + 2 w2 (1 w2 )/21 w(1 w2 )/2 D

2w( + 1)(1 w2 )/2 D + (1 w2 )/2+1 D2 .
2

En faisant le changemant de variable, lquation (1.1) devient donc, aprs quelques manipu-
lations simples

(1 w2 )/2 (1 w2 )D2 2w( + 1)D + (l(l + 1) ( + 1)) = 0,

 

ou encore
(1 w2 )D2 2w( + 1)D + (l(l + 1) ( + 1)) = 0,
Nous remarquons maintenant quil sagit de la drive dordre de quation suivante, appelle
lquation de Legendre,
d 2 Pl dPl
(1 w2 ) 2w + l(l + 1)Pl = 0,
dw2 dw
ou, sous une autre forme,
 
d dPl
(1 w2 ) + l(l + 1)Pl = 0.
dw dw
Nous reconnatrons cette dernire comme un problme de Sturm-Liouville.

1.1.2 Loscillateur harmonique

Un systme physique est appel un oscillateur harmonique si le potentiel associ est quadra-
tique, de la forme V (x) = cx2 (pour un systme en une dimension), o c est une constante.
Lexemple le plus connu dun tel systme est sans doute le montage masse-ressort. Ce potentiel
est particulirement important en physique car un grand nombre dautres systmes peuvent
tre dcrits par ce potentiel, au moins dans une certaine limite dapplication. Il y a une raison
fort simple cela, quamne largument que voici. Considrons un potentiel U (x) arbitraire,
mais possdant un minimum en x = x0 (cest un point dquilibre). En dveloppant U (x) en
srie entire, ainsi que les physiciens le font souvent, il vient
1
U (x) = U (x0 ) + U 0 (x0 )(x x0 ) + U 00 (x0 )(x x0 )2 + O((x x0 )3 ).
2
Maintenant, comme il y a un minimum en x0 , il suit U 0 (x0 ) = 0 et U 00 (x0 ) 0, et comme de
plus le potentiel peut toujours tre redfini pour avoir U (x0 ) = 0, cela peut en fait scrire
1
U (x) = U (x0 ) U 00 (x0 )(x x0 )2 + O((x x0 )3 ) (x x0 ).
2

5
Si les mouvements de la particule autour de x0 ont une amplitude suffisamment petite pour que
les termes en O((xx0 )3 ) soient ngligeables devant celui en (xx0 )2 , nous pouvons considrer
qu toute fin pratique nous avons affaire un oscillateur harmonique. Cest comme cela que
sont tudies les vibrations des atomes dune molcule autour de leur position dquilibre, ou
encore les oscillations des atomes ou des ions dun rseau cristallin ( voir (4, p. 481)). Ce
potentiel sert aussi donner une premire approximation du comportement dun potentiel au
voisinage dun point dquilibre.

Ceci tant dit, introduisons lquation de Schrdinger qui, en mcanique quantique, rgit le
comportement des particules ayant une certaine masse m, places dans un certain potentiel V .
Rappelons galement que ~ est la constante de Planck.

~2 2
i~ (~x, t) = (~x, t) + V (~x, t)(~x, t).
t 2m

Pour les fins du prsent exemple, il nous suffira de travailler avec la version en une dimension,
~2 2
avec le potentiel V (x) := 2m x , cest--dire un oscillateur harmonique tel que prsent ci-haut,
indpendant du temps, mais avec une constante de rappel bien choisie. Lquation prcdente
devient
~2 2
i~ (x, t) = (x, t) + V (x)(x, t).
t 2m x2
Pour extraire de cette quation la dpendance au temps, utilisons la sparation de variables.
Posons donc que
(x, t) = (x)(t).

Lquation de Schrdinger devient

d(t) ~2 d2 (x)
i~(x) = (t) + (t)V (x)(x)
dt 2m  dx2
~2 d2 (x)

i~ d(t) 1
= + V (x).
(t) dt (x) 2m dx2

En utilisant E := ~ comme constante de sparation, nous obtenons

( d(t)
i~ dt = ~(t) = (t) = Aeit
2 2
~ d (x)
2m dx2
+ V (x)(x) = ~(x).

Nous navons fait tout ce chemin que pour aboutir la seconde quation, qui est pertinente
pour la prsente tude. Rcrivons-la, en insrant le potentiel choisi prcdemment. Cela donne

d2 (x)
 
2m 2
+ x (x) = 0.
dx2 ~

Posons 2m
~ = 2n + 1. Nous obtenons

d2
+ ((2n + 1) x2 ) = 0,
dx2

6
 2
En posant maintenant u := exp( x2 )(x), lquation prcdente devient

d2 u du
2
2x + 2nu = 0,
dx dx
savoir lquation de Hermite (dont les solutions utiles ici sont les polynmes de Hermite).
Elle peut tre rcrite  
d x2 du 2
e + 2nex u = 0.
dx dx
Encore une fois, la dernire forme est celle dun problme de Sturm-Liouville.

1.2 Contexte et outils utiliss

Le texte de cette section est inspir de (2, chap. 7) et de (15, section G5). Soit X un espace
mesurable et une mesure positive sur X. Nous travaillerons sur lespace

L2 () := {f : X R : f mesurable, ||f || < },

o la norme est celle induite par le produit scalaire

Z
hf |gi := f gd,
X

Naturellement, nous travaillons modulo la relation dquivalence tre gal presque partout .
Aussi, lingalit de Cauchy-Schwarz

|hf |gi| ||f || ||g||

assure que ce produit scalaire est bien dfini pour toutes fonctions f, g L2 (). Nous appel-
lerons m la mesure de Lebesgue.

Nous utiliserons pour notre analyse les mesures de Lebesgue-Stieltjes, et lespace X consistera
le plus souvent en un intervalle appell segment fondamental. Nous supposons dans la suite le
lecteur familier avec la thorie de lintgration de Lebesgue. Ceci dit, rvisons maintenant un
peu la thorie concernant lesdites mesure de Lebesgue-Stieljes.

Thorme 1.1. Soit F : R R croissante et continue droite. Alors il existe une unique
mesure mF sur B(R) telle que mF ((a, b]) = F (b) F (a) pour tout a < b.

La dfinition suivante vient alors.

Dfinition 1.2.

(i) La mesure de Lebesgue-Stieltjes associe F est appele mF .

(ii) On note f dmF .

R R
f dF :=

7
Remarque 1.3. Dans le point (ii) de la dfinition qui prcde, nous voyons vraiment le
membre de gauche de lgalit comme une notation. Dans le thorme suivant, nous verrons
par contre que cette notation est heureuse et correspond bien, dans les cas o F C 1 , la
notation diffrentielle que nous connaissons.

Thorme 1.4 (de calcul pour les intgrales de Lebesgue-Stieltjes). Soit g une fonction
mesurable sur un espace mesurable X, et soit F C 1 telle que F 0 0. Alors

(i) mF (A) = A F 0 dm,

R

(ii) A gdmF = A gF 0 dm.

R R

Dmonstration.

(i) Pour chaque ensemble mesurable A, posons (A) = 0 dm. Alors est une mesure
R
AF
borlienne et Z Z b
0
((a, b]) = F dm = F 0 (x)dx = F (b) F (a),
(a,b] a
la dernire galit provenant du thorme fondamental du calcul. La mesure mF tant
lunique mesure avec cette proprit, nous en dduisons mF = .

(ii) Cest un type de preuve courant en thorie de la mesure. Le rsultat est montr pour les
fonctions (a) tages, (b) positives, (c) intgrables.
(a) Supposons que g = ni=1 ci 1Ei est une fonction tage sous forme canonique, pour
P

des Ei X formant une partition de X. Alors

Z n n Z n Z
def
X (i) X X
gdmF = ci mF (Ei ) = ci F 0 dm = ci F 0 1Ei dm
X i=1 i=1 E i=1 X
n
Z X Z
= ci 1Ei F 0 dm = gF 0 dm.
X i=1 X

(b) Supposons maintenant g positive. Alors par le thorme dapproximation, il existe

(k ), une suite de fonctions tages telles que k g, et alors par le thorme de conver-
gence monotone Z Z Z
0
k dmF = k F dm gF 0 dm.
X X X
En effet, F 0 0 = k F 0 gF 0 .
(c) Pour g intgrable,
Z Z Z
gdmF = +
g dmF g dmF
X ZX ZX
= g + F 0 dm g F 0 dm
ZX X

= gF 0 dm.
X

8
Dfinition 1.5. Nous dirons quune suite de fonctions (fn ) converge vers f dans L2 si

lim ||fn f || = 0.
n

L2
Nous crirons fn f .

Finalement, nous tenons pour acquis les rsultats suivants :

C[a, b] est dense dans L2 [a, b].

L2 est complet.

1.3 Oprateur de Sturm-Liouville

Dans cette section, nous cherchons sous quelles conditions un oprateur diffrentiel du second
ordre est auto-adjoint. La motivation de cette qute se trouve dans le thorme selon lequel
les valeurs propres dun tel oprateur sont relles et ses vecteurs propres sont orthogonaux
deux deux dans L2 [a, b].

Nous considrons donc une EDO du second ordre de la forme

p(x)y 00 + q(x)y 0 + r(x)y = f (x), (1.2)

o p, q, r sont des fonctions dfinies sur un intervalle (potentiellement infini) I := (a, b), et sur
lesquelles nous ne supposons rien en terme de continuit ou de drivabilit ce stade-ci, de
manire garder la thorie la plus gnrale possible. Notons L loprateur linaire du second
ordre
d2 d
L := p(x)
2
+ q(x) + r(x).
dx dx
LEDO prcdente scrit donc simplement

Ly = f (x).

Nous en rencontrerons par ailleurs souvent dans la suite sous la forme

1 f (x)
Ly = .
p(x) p(x)

Cela motive la dfinition suivante. Si p(x) 6= 0 pour tout x I, alors lEDO est dite rgulire.
Sinon, elle est dite singulire et alors les points x o p(x) = 0 sont appells singularits. Nous
pourrons remarquer dans la suite que les quations menant plusieurs types de polynmes
orthogonaux classiques sont singulires.

9
Dfinition 1.6. Soit L un oprateur et mF une mesure de Lebesgue-Stieltjes. Posons w := F 0
et L2 (w) := L2 (mF ).

(i) Nous appelons ladjoint de L dans L2 (w) loprateur L tel que hLf |gi = f |L g



f, g L2 (w).

(ii) L est auto-adjoint dans L2 (w) si L = L .

Pn dk Pn k dk
(iii) Nous appelons ladjoint formel de L := k=0 ak (x) dxk loprateur L u := k=0 (1) dxk [ak (x)u],
o les fonctions ak (x) sont valeurs dans C.

(iv) L est formellement auto-adjoint dans L2 (w) si wL(f ) = L (wf ) f L2 (w).

Comme prvu, nous voulons connatre les conditions sous lesquelles L est auto-adjoint. Cela
nous mne au thorme suivant, inspir de (1).

Thorme 1.7. Si dans (1.2), nous avons que p C 2 (I), q C 1 (I) et r C(I) et que r et
q sont valeurs relles, alors

(i) L est formellement auto-adjoint dans L2 (w) si et seulement si p est relle et wq (wp)0 ;

(ii) si L est formellement auto-adjoint et

wp(u0 v uv 0 )|ba = 0, u, v C 2 (I) L2 (I),

alors L est auto-adjoint ;

(iii) si L est auto-adjoint dans L2 (w), alors les valeurs propres de L, cest--dire les valeurs
qui solutionnent
Lu + u = 0

sont relles et les fonctions propres associes des valeurs propres distinctes sont ortho-
gonales deux deux.

Dmonstration. Dans lordre :

(i) Par dfinition, L est formellement auto-adjoint dans L2 (w) si

wLu = L wu
wpu00 + wqu0 + wru = (
pwu)00 (
q wu)0 + (
rwu)
= pwu00 + (2(
pw)0 qw)u0 + ((
pw)00 (
q w)0 + rw)u

10
 Lgalit prcdente doit tre vrifie si et seulement si

wp = pw
pw)0 wq
wq = 2(
pw)00 (
wr = ( q w)0 + rw,

Il est clair quil est suffisant que p = p et que wq = (wp)0 pour que ces quations soient
satisfaites. Montrons maintenant que ces conditions sont en fait ncessaires. Comme w
est valeurs relles, la premire des trois quations donne que p = p. En se rappelant
de plus lhypothse selon laquelle r et q sont valeurs relles, les deux autres peuvent
se rcrire

2wq = 2(pw)0
(wp)00 (wq)0 = wr wr = 0,

do il suit videmment que (wp)0 = wq.

(ii) Faisons dabord le calcul suivant, pour u, v L2 (I), dont le but est de faire passer L de
lautre ct du produit scalaire. En utilisant lintgration par parties,
Z
hLu|vi = (pu00 + qu0 + ru) v wdm
I Z Z Z
= pv wu0 |ba u0 (p v w)0 dm + qv wu|ba u(q v w)0 dm + ru v wdm
I I I
Z Z Z
= [pv wu0 (pv w)0 u]|ba + u(p v w)00 dm + qv wu|ba u(q v w)0 dm + ruv wdm
I I I
 
1 00
= u| [( pvw) ( q vw) + rvw] + [pw((u)0 v (u)
0
v 0 ) + (wq (pw)0 )wv ]|ba
w
 
1
= u| L (wv) + [wp(u0 v u v 0 ) + (wq (pw)0 )uv ]|ba .
w
Comme L est suppos formellement auto-adjoint, (wp)0 = wq et nous pouvons crire

hLu|vi = hu|Lvi + [wp(u0 v u

v 0 )]|ba ,

et le rsultat suit de lhypothse

wp(u0 v uv 0 )|ba = 0, u, v C 2 (I) L2 (I).

(iii) Supposons que C est une valeur propre de L. Alors il existe une fonction propre
u 6 0 telle que Lu + u = 0. Alors, comme L est auto-adjoint,

||u||2 = hu|ui = hLu|ui

= hu|Lui = hu|ui

= ||u||2
.

11
 Comme u 6 0 = ||u|| = 6 0, nous pouvons diviser par ||u||2 et nous trouvons alors
cest--dire que R. Maintenant, si est une autre valeur propre de L
= ,
associe la fonction propre v,

hu|vi = hLu|vi = hu|Lvi = hu|vi

( )hu|vi = 0 = hu|vi = 0,

car en effet nous avions suppos 6= .

Il suit directement du thorme le corollaire suivant, et cen tait la motivation.

Corollaire 1.8. Soient p et r des fonctions dfinies sur un intervalle I. Alors loprateur
 
d d
L := wp +r
dx dx
est formellement auto-adjoint. Il suit quil est auto-adjoint si

wp(u0 v uv 0 )|ba = 0, u, v C 2 (I) L2 (I).

Remarque 1.9. tant donn un problme de Sturm-Liouville sous la forme

p(x)y 00 + q(x)y 0 + = 0,

o maintenant R, nous pouvons retrouver w(x) par la formule

Z x 
1 q(t)
w(x) = exp dt .
p(x) x0 p(t)

1.4 Quelques exemples classiques

Dans cette dernire section, nous mentionnons quelques exemples classiques de ces oprateurs,
auxquels nous appliquons le corollaire prcdent pour fin dillustration. Rappelons que les
caractristiques principales des polynmes classiques cits en exemple dans ce mmoire sont
regroupes dans lannexe A.

1.4.1 Lquation de Legendre

Souvenons nous de lquation

(1 x2 )u00 2xu0 + n(n + 1)u = 0,

que nous voulons rsoudre sur [1, 1]. Elle peut tre mise sous la forme quivalente
 
d 2 du
(1 x ) + n(n + 1)u = 0,
dx dx

12
et alors le corollaire prcdent nous indique que les paires u, v de fonctions propres de cette
quation seront orthogonales si

(1 x2 )(u0 v uv 0 )|11 = 0, u, v C 2 (I) L2 (I),

ce qui est videmment vrai.

1.4.2 Lquation de Hermite

u00 2xu0 + 2nu = 0

rsoudre sur R. Cette quation peut tre mise sous la forme quivalente
 
d x2 du 2
e + ex u = 0,
dx dx

tel que vu prcdemment. Ainsi crite, le corollaire prcdent nous indique que les paires u, v
de fonctions propres de cette quation seront orthogonales si
2
ex (u0 v uv 0 )|
= 0, u, v C 2 (I) L2 (I),

ce qui est encore clairement vrai.

1.4.3 Lquation de Laguerre

xu00 + (1 x)u0 + nu = 0

rsoudre sur (0, ). Elle peut tre mise sous la forme quivalente
 
d x du
xe + nex u = 0,
dx dx

et donc les paires u, v de fonctions propres de cette quation seront orthogonales si

xex (u0 v uv 0 )|
0 = 0, u, v C 2 (I) L2 (I),

ce qui est toujours vrifi.

Nous savons donc maintenant gnrer des suites de polynmes orthogonaux partir dop-
rateurs diffrentiels. Il apparat quhistoriquement, ces oprateurs sont apparus avant ce qui
suivra dans le prochain chapitre, et nous avons choisi de suivre cet ordre pour introduire
le sujet. Nous entrerons cependant dans la suite plus srieusement dans le vif du sujet, et
nous tudierons des formules pour lesdites suites de polynmes qui sont certes plus aises
manipuler.

13
Chapitre 2

Dfinitions quivalentes des polynmes

orthogonaux

Dans ce chapitre, nous donnerons dabord une premire dfinition dune suite de polynmes
orthogonaux et ferons quelques remarques. Comme nous avions annonc dans le premier cha-
pitre que les solutions des problmes de Sturm-Liouville menaient des polynmes ortho-
gonaux, on montrera lquivalence entre les deux concepts. Puis nous donnerons la formule
de Rodrigues et la relation de rcurrence gnrale que suivent les polynmes orthogonaux.
Finalement, nous verrons quil existe des fonctions gnratrices de ces suites de polynmes et
en discuterons via quelques exemples.

2.1 Une premire dfinition

Rappelons dabord que nous travaillons sur un espace

L2 (mF ) := {f : X R : f mesurable, ||f || < }

de norme induite par le produit scalaire

Z
hf |gi := f gdmF ,
X
o mF est une mesure de Lebesgues-Stieltjes et X un espace mesurable.

Dfinition 2.1. Une suite de polynmes (Pn )n0 , o Pn est de degr n, est dite orthogonale
dans L2 (mF ) si hPn |Pm i = 0 lorsque n 6= m.

Une telle suite forme videmment une base orthogonale de lespace des polynmes et il est bien
connu qutant donn un produit scalaire fix, nous pouvons en construire une en appliquant
le procd de Gram-Schmidt la base canonique des polynmes, savoir {1, x, x2 , x3 , ...}.
Il vaut la peine den rappeller les dtails ici, pour limportance du rsultat et pour fixer les
notations, voire les ides. Commenons par une dfinition.

15
Dfinition 2.2. La projection dun vecteur f sur un vecteur g est lopration

hf |gi
proj(f : g) = g.
||g||2

Cela gnralise la notion habituelle de projection en trois dimensions : nous recherchons la

composante de f dans la direction de g.

Dfinition 2.3. Soit B := {ui : i = 1, 2, 3, ..., n}, une base dun sous-espace vectoriel E F
(ou encore n vecteurs linairement indpendants dun espace F de dimension au moins n), et
soit f F. La projection de f sur E scrit
n
X
proj(f : u1 , u2 , ..., un ) := proj(f : ui ).
i=1

Autorisons-nous ici une petite digression. Cette dernire dfinition peut se gnraliser aux
espaces et sous-espaces vectoriels de taille infinie. Cela amne, outre beaucoup de questions
lgitimes sur la convergence, les concepts suivants.

Dfinition 2.4. Nous dirons que B := {u1 , u2 , u3 , ...} est une base dapproximation de E
si chaque lment de E peut tre approch par une combinaison linaire des lment de B,
cest--dire si pour tout f dans E et tout  > 0, il existe des scalaires a1 , a2 , ..., an et des
u1 , u2 , ..., un B (n N) tels que
 
 n
X 
f ai i  < .
u
 

 
i=0

Dfinition 2.5. Soit B := {u1 , u2 , u3 , ...} une base dapproximation dun espace E et soit
f E. La srie que donne

X
proj(f : u1 , u2 , ...) := proj(f : ui )
i=1

se nomme la srie de Fourier gnralise de f dans la base B.

La srie ainsi dfinie ne converge pas toujours vers f . Par contre, si nous demandons en plus
que la base dapproximation considre soit orthogonale, nous aurons la convergence au sens
des moindres carrs, cest--dire que

||f proj(f : u1 , u2 , ..., un )|| 0 (n ).

Nous tudierons cela plus en dtail au chapitre suivant. Pour lheure, rappelons un rsultat
important mais simple sur la projection. (Un dveloppement complet de la mthode est fait
dans (5, section 2.3 page 46).)

16
Lemme 2.6. tant donns f et deux vecteurs dun espace E quelconque, le vecteur f
proj(f : ) est orthogonal . Cette opration peut tre vue comme enlever f sa par-
tie linairement dpendante de . Plus gnralement, tant donns f et {u1 , u2 , ..., un },
des vecteurs dun espace E quelconque, le vecteur f proj(f : u1 , u2 , ..., un ) est orthogonal
u1 , u2 , ..., un .

Dmonstration. Ce nest quun petit calcul qui utilise la linarit du produit scalaire.
 
hf |i
hf proj(f : )|i = f |
h|i
hf |i
= hf |i h|i
h|i
= hf |i hf |i
= 0.

Voici maintenant le thorme o nous voulions aboutir. La mthode de Gram-Schmidt en est

la dmonstration.

Thorme 2.7. Soient U := {u1 , u2 , u3 , ...}, des vecteurs linairement indpendants dun
espace E. Il existe un ensemble de vecteurs orthogonaux := {1 , 2 , 3 , ...} tels que les k
premiers lments de forment une base du sous-espace engendr par les k premiers lments
de U .

Dmonstration. La preuve de ce rsultat suit de lapplication du lemme prcdent pour une

construction explicite de lensemble . Fixons dabord 1 := u1 . Posons ensuite 2 := u2
proj(u2 : 1 ). Le lemme donne donc que 2 est orthogonal 1 . De plus, 1 et 2 sont
indpendants et engendrent le mme sous-espace que u1 et u2 . De mme, pour chaque k > 2,
nous poserons k := uk proj(uk : 1 , 2 , ..., k1 ) et, encore une fois, le lemme nous assurera
que k est orthogonal tous les vecteurs qui le prcdent dans la liste.

Maintenant, sachant que dans chaque espace L2 (mF ), une suite de polynmes orthogonaux
existe, nous pouvons constater quelle est unique un facteur scalaire prs. Pour ce faire,
nonons dabord le lemme suivant.

Lemme 2.8. Soit P0 , P1 , P2 , ... une suite de polynmes orthogonaux dans L2 (w). Alors pour
chaque n 1, le polynme Pn est orthogonal 1, x, x2 , ..., xn1 .

Dmonstration. Ce rsultat est clair dans la mesure o chaque xi (i < n) peut tre exprim
comme une combinaison linaire des P0 , P1 , ..., Pi , tous orthogonaux Pn par hypothse. La
conclusion suit par la linarit du produit scalaire.

17
Nous en sommes au thorme (dont la dmonstration prsente ici provient de (5)), presque
aussi simple, mais nanmoins important. Il stipule qu un facteur de normalisation prs,
une suite de polynmes orthogonaux est unique. Pour la suite, appelons cd(p) le coefficient
directeur de p.

Thorme 2.9 (Unicit). Soit P0 , P1 , P2 , ... une suite de polynmes orthogonaux dans L2 (w),
et soit pn un polynme de degr n et orthogonal 1, x, x2 , ..., xn1 dans L2 (w). Alors pn est
un multiple scalaire de Pn .

Dmonstration. Soit C, un scalaire tel que cd(CPn ) = cd(pn )). Alors fn := CPn pn est un
polynme de degr au plus n 1. Or, par le lemme pour Pn et par hypothse pour pn , il suit
par linarit que fn est orthogonal 1, x, x2 , ..., xn1 . Le polynme fn est donc orthogonal
toute combinaison linaire de ces monmes, en particulier lui mme, i.e. hfn |fn i = 0 =
fn = 0 = pn = CPn .

2.2 Cas des solutions dun problme de Sturm-Liouville

2.2.1 Thorie gnrale des quations diffrentielles
Vu le titre du prsent crit, il est entendu que nous allons nous intresser aux problmes
menant des polynmes orthogonaux. nonons dabord le thorme suivant, qui provient de
(3, p. 129). Il sy trouve aussi la dmonstration du cas qui nous intresse, soit celui du degr
deux, avec x0 = 0 (3, p. 138).

Thorme 2.10. Soit une quation diffrentielle L(y) = 0, o L est de la forme

L(y) = y (n) + a1 (x)y (n1) + ... + an (x)y,

o les ai (x) sont des fonctions dont les dveloppements en srie convergent au voisinage dun
point X0 dun intervalle |x x0 | < r.
Alors il existe une solution gnrale au problme L(y) = 0 qui sexprime comme une srie
entire (x) = n
P
n=0 an (x x0 ) , convergente pour |x x0 | < r.

Nous verrons que dans le cas qui nous concerne, la rsolution des quations par la mthode des
sries entires donne deux solutions linairement indpendantes. Or, cela est suffisant, dans
le sens du thorme suivant. Rappellons que le wronskien de deux solutions y1 et y2 est le
dterminant donn par  
 y (t) y (t) 
 1 2
W (t) :=  0 .

 y1 (t) y20 (t) 

Thorme 2.11. Si y1 et y2 sont deux solutions de

y 00 + p(t)y 0 + q(t)y = 0 tI

18
et sil existe t0 I tel que le wronskien W (t0 ) 6= 0, alors lensemble de solutions

{y = c1 y1 (t) + c2 y2 (t) : c1 , c2 R}

contient toutes les solutions de lquation.

Maintenant, pour rsoudre des problmes de Sturm-Liouville dans les applications, il faut
habituellement que la solution converge non seulement sur lintervalle ouvert I, mais sur sa
fermeture. Pour cela, la srie devra se terminer (cest--dire que les termes devrons tre tous
nuls partir dun certain rang), et nous aurons bien affaire alors des polynmes. Voyons
quelques exemples.

2.2.2 Exemples de solutions

Le cas le plus simple est bien sr celui de lquation de Legendre

2x 0 n(n + 1)
y 00 y + y = 0.
1 x2 (1 x2 )

En faisant les calculs (voir (11)), nous trouvons la solution gnrale

X
X
X
(x) = an xn = a2k x2k + a2k+1 x2k+1 ,
n=0 k=0 k=0

o, pour chaque k 1 entier,

(n0)(n2)...(n(2k2))(n+1)(n+3)...(n+(2k1))
a2k = (1)k

(2k)! a0

a2k+1 = (1)k (n1)(n3)...(n(2k1))(n+2)(n+4)...(n+(2k2)) a1 .

(2k+1)!

Tous les coefficients sont alors dtermins en fonction des deux premiers, soit a0 et a1 , qui
sont donc des constantes arbitraires. Par ailleurs, en dveloppant les coefficients de lquation
de dpart en sries entires, nous obtenons

2x X
= (2)x2k+1
1 x2
k=0

et

n(n + 1) X
2
= n(n + 1) x2k .
1x
k=0

Ces deux sries ont un rayon de convergence de 1, donc en vertu du thorme ci-haut, notre
solution gnrale converge pour |x| < 1. Maintenant nous voulons avoir convergence sur lin-
tervalle ferm. Or, en prenant un paramtre n entier, une des deux sries est finie. En mettant

19
le coefficient de celle-ci (i.e. a0 ou a1 selon le cas) gal 1 et celui de lautre srie gal zro,
la solution est donc polynmiale, ce qui satisfait notre dsir.

Tel que vu dans le premier chapitre, les paires de solutions dune telle quation sont orthogo-
nales. La suite de polynmes ainsi obtenue est donc orthogonale pour la mesure de Lebesgue.
En voici les premiers spcimens, normaliss pour que Pn (1) = 1 pour chaque n.

P0 (x) = 1,
P1 (x) = x,
3 1
P2 (x) = x2 ,
2 2
5 3
P3 (x) = x3 x.
2 2

Un dveloppement semblable peut tre fait pour lquation de Hermite,

y 00 2xy 0 + 2ny = 0.

En faisant les calculs, nous trouvons les coefficients

n k n(n2)...(n(2k2)) a ,
a2k = (1) 2 0

(2k)!

a2k+1 = (1)n 2k (n1)(n3)...(n(2k1)) a1 .

(2k+1)!

Ici, toutes les sries convergent en principe dans R, mais le mme mange que pour lquation
prcdente peut quand-mme tre rpt. Nous obtenons une autre suite de polynmes ortho-
2
gonaux, cette fois avec dmF = ex dm dont les premiers membres, normaliss pour avoir des
coefficients entiers (ce qui donne un coefficient directeur valant 2n pour chaque Hn ), sont

H0 (x) = 1,
H1 (x) = 2x,
H2 (x) = 4x2 2,
H3 (x) = 8x3 12x.

2.3 Formule de Rodrigues

2.3.1 Cas gnral
Pour les polynmes orthogonaux provenant des problmes de Sturm-Liouville, la suite peut
en fait tre calcule sans rsoudre le problme au long comme dans la section prcdente. Il
suffit dutiliser le thorme suivant.

Thorme 2.12. Considrons un problme de Sturm-Liouville

p(x)y 00 + q(x)y 0 + = 0,

20
o il est suppos que deg(p(x)) 2, deg(q(x)) 1, que est une constante
R et
 que loprateur
d2 d 1 x q(t)
L := p dx2 + q dx + est auto-adjoint. Appelons w(x) = p(x) exp x0 p(t) dt (voir remarque
1.9). Alors la suite des polynmes orthogonaux qui solutionnent ce problme est donne par la
formule de Rodrigues
1 dn  n

Pn (x) = w(x)[p(x)] ,
w(x) dxn
un facteur de normalisation prs.

Dmonstration.

1 dn
(i) Posons v(x) := w(x)[p(x)]n et montrons que w(x) dxn v(x) solutionne le problme de
Sturm-Liouville de dpart. Calculons dabord
 0  Z x 
0 p 1 q q(t)
w = 2+ exp dt
p p p x0 p(t)
q p0
= w.
p
Alors dune part
 
!0 qp0
v (n) v (n+1) w v (n) w0 v (n+1) v (n) p
= =
w w2 w
v (n+1) (p0 q)v (n)
= + ,
w wp
et puis
!00 !0 !0
v (n) v (n+1) (p0 q)v (n)
= +
w w wp
v (n+2) (p0 q)v (n+1) [(p0 q)v (n) ]0 wp (p0 q)v (n) wq
= + +
w wp w 2 p2
v (n+2) (p0 q)v (n+1) (p00 q 0 )v (n) + (p0 q)v (n+1) (p0 q)v (n) q
= + +
w wp wp wp2
0
(n+2) (n+1)
 00 0 0

v 2(p q)v (p q ) (p q)q (n)
= + + v .
w wp wp wp2

Donc
" #00 " #0 " #
v (n) v (n) v (n)
p +q + =
w w w
p (n+2) 2(p0 q) (n+1)
 00
(p q 0 ) (p0 q)q (n)

v + v + v
w w w wp
q q(p0 q) (n) (n)
+ v (n+1) + v + v .
w wp w

21
 En simplifiant, cela donne
" #00 " #0 " #
p (n+2) 2p0 q (n+1)
 00
v (n) v (n) v (n) (p q 0 )

(n)
p +q + = v + v + + v .
w w w w w w w
(2.1)
Dautre part,

pv 0 = p(wpn )0
= p(w0 pn + wnpn1 p0 )
= w0 pn+1 + nwpn p0
q p0
 
= wpn+1 + nwpn p0
p
= (q p0 )wpn + nwpn p0
= (q p0 + np0 )wpn
= (q p0 + np0 )v
= (q + (n 1)p0 )v.

En drivant n + 1 fois lgalit prcdente avec la rgle du produit, nous obtenons

n(n + 1) 00 (n)
pv (n+2) +(n+1)p0 v (n+1) + p v = [q+(n1)p0 ]v (n+1) +(n+1)[q 0 +(n1)p00 ]v (n) .
2

En ramenant tout du mme ct et en rorganisant, cela donne

 
(n+2) 0 n(n + 1) 00
0 (n+1) 0 00
0 = pv + [(n + 1)p (q + (n 1)p )]v + p (n + 1)(q + (n 1)p ) v (n)
2
  
(n+2) 0 (n+1) n(n + 1) 00 0
= pv + [2p q]v + (n + 1)(n 1) p (n + 1)q v (n)
2
n n2
   
(n+2) 0 (n+1) 00 0 00 0
= pv + [2p q]v + p q + p nq v (n) .
2

1 dn
En comparant cela avec 2.1, nous trouvons que la fonction w(x) dxn v(x) est bien une
solution au problme de dpart, les valeurs propres de lquation tant donnes par

n n2
 
= p00 nq 0 .
2

 
1 dn
(ii) Nous avons montr que Pn = w(x) dxn w(x)[p(x)]n solutionne le problme de Sturm-
Liouville associ pour chaque n fix, et donc quil sagit bien dune suite de fonctions
propres orthogonales dans L2 (w). Il reste montrer que ce sont bien des polynmes.

22
 Cela se dduit du rsultat un peu plus gnral suivant. Soit r = r(x) un polynme
quelconque. Alors
dn
rwpn = ws,
dxn
o s = s(x) est un polynme. En effet, si n = 1,
d
rwp = r0 wp + r(wp)0
dx
= r0 wp + rwq
= w[r0 p + rq]
= ws,

o s(x) = r0 p + rq. Supposons maintenant, pour une rcurrence, que le rsultat soit vrai
pour un certain n fix. Alors
dn+1 dn 0 n+1
rwpn+1
= [r wp + r(wp)0 pn + rwp(pn )0 ]
dxn+1 dxn
dn
= n [r0 wpn+1 + rwqpn + rwpnpn1 p0 ]
dx
dn
= n wpn [r0 p + rq + rnp0 ]
dx
H.R.
= ws

pour un certain polynme s = s(x), puisque r0 (x) := r0 p + rq + rnp0 est un polynme.

2.3.2 Deux cas particuliers

Considrons lquation de Legendre que revoici

(1 x2 )u00 2xu0 + n(n + 1)u = 0.

La formule gnrale de Rodrigues nous donne que les polynmes de Legendre peuvent tre mis
sous la forme
dn
Pn (x) = [(1 x2 )n ].
dxn
Cependant, pour avoir la normalisation Pn (1) = 1, crivons plutt
1 dn
Pn (x) = [(x2 1)n ].
2n n! dxn

Introduisons maintenant lquation de Gegenbauer, une gnralisation de celle de Legendre.

(1 x2 )y 00 (2 + 1)xy 0 + n(n + 2)y = 0.

1
Nous pouvons calculer que dans ce cas-ci, w(x) = (1 x2 ) 2 , et alors nous obtenons la
formule de Rodrigues des polynmes de Gegenbauer (non normalise)
1 dn 1
Cn() = (1 x2 ) 2 n
[(1 x2 )n+ 2 ].
dx

23
2.4 Relation de rcurrence
2.4.1 Rsultat gnral
Malgr que les mthodes prcdentes pour obtenir une suite de polynmes orthogonaux semblent
laborieuses, il est intresant de savoir que toute suite de polynmes orthogonaux peut sobtenir
laide dune relation de rcurrence, particulirement lorsquon veut faire du calcul numrique.
Cest le contenu du thorme suivant.

Thorme 2.13. Soit O := {Pn | n 0} une suite de polynmes orthogonaux. Alors il existe
une relation de rcurrence selon laquelle nous pouvons calculer Pn+1 en fonction de Pn et
Pn1 , donne par la formule

Pn+1 (x) = (An x + Bn )Pn (x) Cn Pn1 (x),

o les constantes An , Bn , Cn sont

cd(Pn+1 ) hxPn |Pn i hxPn |Pn1 i
An := , Bn := An , Cn := An
cd(Pn ) hPn |Pn i hPn1 |Pn1 i
et o cd(Pn ) note le coefficient directeur de Pn .

Dmonstration. Considrons le polynme Pn+1 (x)An xPn (x). De la dfinition de la constante

An , nous voyons assez bien que les termes en xn+1 sannulent, et donc que ce polynme est
de degr au plus n. Il peut alors tre exprim comme une combinaison linaire des n premiers
lments de O. Cela scrit

Pn+1 (x) An xPn (x) = an Pn (x) + an1 Pn1 + ... + a0 P0 (x).

La valeur de chaque aj peut tre trouve en prenant le produit scalaire de cette expression
de chaque ct avec le Pj correspondant. gauche, nous obtenons, pour chaque Pj avec
0 6 j < n 1,

hPn+1 (x) An xPn (x)|Pj (x)i = hPn+1 (x)|Pj (x)i An hxPn (x)|Pj (x)i
= hPn+1 (x)|Pj (x)i An hPn (x)|xPj (x)i
= 0,

rsultat obtenu grce au fait que les degrs de Pj et de xPj sont strictement infrieurs au
degr de Pn et aussi, plus forte raison, au degr de Pn+1 . Pour les j correspondants, nous
obtenons droite : aj hPj (x)|Pj (x)i, avec bien sr, hPj (x)|Pj (x)i 6= 0. En galisant les deux
cts, il vient donc que chacun de ces aj doit tre nul.
Pour j = n 1, nous obtenons de mme, gauche :

hPn+1 (x) An xPn (x)|Pn1 (x)i = hPn+1 (x)|Pn1 (x)i An hxPn (x)|Pn1 (x)i
= An hxPn (x)|Pn1 (x)i

24
et droite : an1 hPn1 |Pn1 i, do, en galisant
hxPn |Pn1 i
an1 = An =: Cn .
hPn1 |Pn1 i
Pour j = n, nous obtiendrons, par le mme procd
hxPn |Pn i
an = An =: Bn .
hPn |Pn i
La formule est donc bien dmontre.

Fait remarquer, il est sous-entendu dans ce thorme que le coefficient directeur de Pn+1
est connu avant de connatre Pn+1 . Il sagit en fait dun faux problme, car An ne dpend
en ralit que de la normalisation impose la suite de polynmes orthogonaux. Ainsi, en
utilisant An = 1 dans la rcurrence, la suite obtenue est tout fait valable, mais on gre
habituellement lapparence des coefficients des polynmes en modifiant cette valeur.

2.4.2 Exemples
Tchebychev : Les polynmes de Tchebychev (de premire espce), sont ceux satisfaisant
lquation
(1 x2 )Tn00 (x) xTn0 (x) + n2 Tn (x) = 0.

Ils satisfont la relation de rcurrence

P0 = 1,
P1 = x,
Pn+1 (x) = 2xPn (x) Pn1 (x).

Ici, en choisissant An = 2, nous avons obtenu Bn = 0, Cn = 1.

Legendre : Pour les polynmes de Legendre, nous choisissons plutt An = n+1 ,

2n+1
ce qui
donne Bn = 0 et Cn = n+1 ,
n
do la formule de rcurrence

P0 = 1,
P1 = x,
2n+1 n
Pn+1 (x) = n+1 xPn (x) n+1 Pn1 (x).

Cette dernire quation se rencontre aussi sous lappellation Formule de rcurrence de Bonnet.

2.5 Sries gnratrices

2.5.1 Gnralits
Le domaine des sries gnratrices en gnral est vaste et complexe. Certains utilisent encore
la terminologie fonctions gnratrices pour les dcrire, mais lappellation sries nous a

25
sembl prfrable, car il sagit de sries formelles pour lesquelles on ne se soucie pas toujours
de convergence. Il en existe plusieurs types. En thorie, toute suite a une srie gnratrice de
chaque type. Cependant, on rencontre en pratique seulement celles qui ont une forme utilisable
pour des problmes spcifiques ou encore celles dont la forme ferme est relativement simple.
Pour les suites de polynmes orthogonaux Pn (x), on rencontre surtout des sries gnratrices
ordinaires, exponentielles et de Dirichlet. Par exemple, pour les polynmes de Tchebychev
(toujours de premire espce), voici les sries (et leur forme ferme correspondante)

(i) Ordinaire

X 1 tx
Tn (x)tn = ;
1 2tx + t2
n=0

(ii) Exponentielle

X tn 1 p
Tn (x) = ex cosh(t x2 1);
n! 2
n=0

(iii) De Dirichlet

X tn 1
Tn (x) = ln(1 2tx + t2 ).
n 2
n=0

Il serait facile de croire que ce ne sont que des artifices mathmatiques servant dmontrer
plus joliment certains thormes, mais en fait, pour certains polynmes, la srie gnratrice
est apparue en premier. Considrons le problme suivant titre dexemple (voir (10, section
4)). tant donnes deux masses M 1 et M 2 situes des distances r et r0 respectivement de
lorigine O, avec r < r0 , nous voulons calculer le potentiel newtonien entre les deux masses.

La loi des cosinus donne dabord, pour la distance entre M1 et M2 ,

p
M 1 M2 = r2 2rr0 cos + r02 = r0 (h2 2h cos + 1)1/2 ,

o h := r
r0 < 1.

26
Le potentiel est donc donn par
G M1 M2
U (h) = ,
r0 (h2 2h cos + 1)1/2
o G est la constante universelle de la gravitation. Posons x = cos et considrons lexpression

1
(x, h) = | h |< 1.
1 2xh + h2

Il sagit dune srie gnratrice des polynmes de Legendre. En effet, en la dveloppant en srie
de puissance en h, nous obtenons lesdits polynmes comme coefficients. Voici une premire
manire de le montrer.

Thorme 2.14. Dveloppons lexpression de (x, h) comme une srie entire par rapport
h. Cela peut scrire

X
2
(x, h) = P0 (x) + hP1 (x) + h P2 (x) + = hl Pl (x),
l=0

et les Pl (x) sont les polynmes de Legendre.

Dmonstration. Observons dabord que cette srie entire en h (o x 1 est considr comme
un paramtre) converge pour |h| < 1 (Ce qui tait dailleurs lhypothse du problme prc-
dent). Maintenant, vrifions le cas o x = 1.
1
(1, h) = (1 2h + h2 )1/2 =
1h
= 1 + h + h2 + ...
= P0 (1) + P1 (1)h + P2 (1)h2 + ...

Il vient donc bien que Pl (1) = 1 pour chaque l N. En diffrentiant la dfinition de (x, h)
et en remplaant, nous obtenons facilement que
2 2
(1 x2 ) 2x + h (h) = 0.
x2 x h2
En substituant par la srie entire en h de tout lheure, cette quation devient

X
X
X
(1 x2 ) hl Pl00 (x) hl Pl0 (x) + l(l + 1)hl Pl (x) = 0.
l=0 l=0 l=0

Cette galit forant tous les coefficients des hl tre nuls, il vient pour chaque l

(1 x2 )Pl00 (x) 2xPl0 (x) + l(l + 1)Pl (x) = 0,

cest--dire que tous les Pl ainsi dfinis solutionnent lquation de Legendre. Par lunicit dun
tel phnomne traite dans la section 2.2, ces polynmes sont donc bien ceux de Legendre.

27
2.5.2 Calcul de sries gnratrices
En gnral, il ny a pas de manire simple de trouver une srie gnratrice partir dune
suite donne de polynmes. Cependant, tant donn le rsultat, certaines dmonstrations sont
relativement simples (voir ce sujet (17)). Une des difficults provient de la forme des An ,
Bn et Cn de la relation de rcurrence. Par contre, lorsquils sont constants, comme dans le cas
des polynmes de Tchebychev dont il tait question tout lheure, cela devient trs simple.
En effet, considrons la relation de rcurrence que suivent lesdits polynmes, savoir

T0 = 1,
T1 = x,
Tn (x) = 2xTn1 (x) Tn2 (x).

Multiplions par tn , sommons sur les n et brassons un peu. Nous obtenons

X
X
X
n n
Tn (x)t = 2x Tn1 (x)t Tn2 (x)tn
n=2 n=2 n=2

X
X
= 2xt Tn1 (x)tn1 t2 Tn2 (x)tn2 .
n=2 n=2

Alors

X
X
X
n n 2
Tn (x)t xt 1 = 2xt Tn (x)t t Tn (x)tn
n=0 n=1 n=0
X
X
= 2xt Tn (x)tn 2xt t2 Tn (x)tn ,
n=0 n=0

donc

X
2
1 + xt 2xt = (1 2xt + t ) Tn (x)tn ,
n=0
cest--dire

X 1 tx
Tn (x)tn = .
1 2tx + t2
n=0
La srie gnratrice ordinaire donne prcdemment a donc t facilement retrouve. Voyons
maintenant un cas un peu plus complexe. Partons de la relation de rcurrence dcrivant les
polynmes de Legendre, savoir

nPn (x) = (2n 1)xPn1 (x) (n 1)Pn2 (x).

Multiplions par tn1 et sommons sur les n.

X
X
X
nPn (x)tn1 = (2n 1)xPn1 (x)tn1 (n 1)Pn2 (x)tn1 .
n=1 n=1 n=1

28
Posons

X
X
h(t) := Pn tn = h0 (t) := nPn tn1 .
n=0 n=0

Alors

X
X
0 n
h (t) = (2n + 1)xPn (x)t (n + 1)Pn (x)tn+1
n=0 n=0

X
X
X
X
n1 n n+1
= 2xt nPn (x)t +x Pn (x)t nPn (x)t Pn (x)tn+1
n=0 n=0 n=0 n=0
0 2 0
= 2xth (t) + xh(t) t h (t) th(t)

et donc

(x t)h(t) = (1 2xt + t2 )h0 (t)

h0 (t) xt
= .
h(t) 1 2xt + t2

En intgrant, nous obtenons

1
ln(h(t)) = ln(1 2xt + t2 ),
2

do
1
h(t) = (1 2xt + t2 ) 2 ,

formule que nous connaissons maintenant trs bien. La mthode prcdente se gnralise entre
autres aux polynmes de Gegenbauer (voir (16, p.82)).

2.5.3 Utilisation des sries gnratrices

Outre le fait quelles contiennent de manire concise beaucoup dinformation et quelles ad-
viennent telles quelles dans des applications, une autre raison dutiliser des sries gnratrices
est dobtenir des reprsentations dites explicites de polynmes orthogonaux. En voici deux
exemples.

29
Dans le cas des polynmes de Hermite, nous pouvons crire

X Hn (x)tn 2
= e2xtt
n!
n=0
X

X (2xt)k (t2 )j
=
k! j!
j=0 k=0
X
X (1)j (2x)k t2j+k
=
j!k!
j=0 k=0

X X (1)j (2x)k tn
=
j!k!
n=0 2j+k=n

bn/2c
X X (1)j (2x)n2j
= tn .
j!(n 2j)!
n=0 j=0

Nous avons trouv

bn/2c
X (1)j (2x)n2j
Hn = n! .
j!(n 2j)!
j=0

Pour ceux de Laguerre (gnraliss), nous avons de mme

 
X 1 xw
L() n
n (x)w = exp
(1 w)+1 1w
n=0

xw k
 
1 X 1
=
(1 w)+1 k! 1w
k=0

(xw)k
 
X 1
=
k! (1 w)k++1
k=0

k j
(xw) (k + + j)! w
X X
=
k! (k + )! j!
k=0 j=0
X
(xw)k n + j
X  
= w
k! j
k=0 j=0

X X (x)k n + 
= wn
k! j
n=0 j+k=n
n !
(x)k n +
X X 
= wn .
k! nk
n=0 k=0

Nous avons maintenant trouv

n
(x)k n +
X  
L()
n (x) = .
k! nk
k=0

30
2.6 Polynmes orthogonaux moins connus
Au dbut de ce chapitre, nous avons introduit une dfinition trs gnrale dune suite de
polynmes orthogonaux. Pourtant, nous ne nous sommes concentrs jusqu maintenant que
sur celles sobtenant partir dun problme de Sturm-Liouville. Cest pour justifier cette vision
plus gnrale que nous jetterons un coup doeil ici lexemple des polynmes de Krawtchouk.
Ces polynmes ont t introduits en 1929 par le mathmaticien ukrainien Mikail Krawtchouk
comme une gnralisation de ceux de Hermite (voir (9)). Les applications ont suivi. propos
de ce qui prcde, remarquons que non seulement les polynmes de Krawtchouk sont une
gnralisation de ceux de Hermite, mais quen fait il ne sagit que dune classe particulire
de polynmes dans le schma dAskey (voir lannexe C et (8)). Ce schma donne les liens
entre les polynmes dits, dans le cadre de cette classification, classiques. Toujours dans cette
classification, les polynmes issus dun problme de Sturm-Liouville sont quant eux dits trs
classiques. Cest pour viter dentrer dans ce dbat de nomenclature que nous avons titr cette
section comme tel.

2.6.1 Origine et thorie

Dans larticle de M. Krawtchouk de 1929 (9), le produit scalaire suivant est dabord considr.

N
X
hf |gi = pi f (xi )g(xi ),
i=0

PN
o nous convenons que xi+1 xi = 1, pi > 0 et i=0 pi = 1. Cela revient simplement utiliser
notre produit scalaire habituel, mais avec une mesure de Lebesgues-Stieltjes engendre par
une fonction escalier. Pour crire la suite, rappelons le symbolisme de la fonction de Heaviside
(
1 si x 0,
H(x) =
0 si x < 0.

En utilisant la fonction escalier

N
X
FN (x) = pi H(x xi ),
i=0

nous obtenons le produit scalaire

Z N
X
hf |gi = f gdF = pi f (xi )g(xi ). (2.2)
R i=0

Lgalit (2.2) est naturelle si F est vue comme une distribution. Cependant, pour plus de
cohrence avec notre propos, donnons-en une preuve en thorie de la mesure, travers le
thorme suivant.

31
Thorme 2.15. Soit (pi )iN une suite de rels positifs. Soit x0 R et posons xi+1 = xi + 1.
Posons enfin
N
X
FN (x) := pi H(x xi ).
i=0

Alors tant donne une fonction g L2 (m FN ), nous avons lgalit

Z N
X
gdFN = pi g(xi ).
i=0

Dmonstration. Considrons une fonction tage, sous forme canonique

m
X
g := ck 1Ak .
k=0

Nous montrons le rsultat par induction sur N .

Si N = 0, nous pouvons crire F0 = p0 H(x x0 ), et alors

Z m
X
gdF0 := ck mF (Ak )
k=0

Sil existe M et k0 tels que Ak0 (M, x0 ), alors 0 mF (Ak0 ) mF (M, x0 ) =

F (x
0 ) F (M ) = 0.
Sil existe M tel que Ak0 (x0 , M ), alors 0 mF (Ak0 ) mF (x0 , M ) = F (M )

F (x0 ) = 0. Il y a donc un seul lment non nul dans la somme, savoir celui pour lequel
x0 Ak1 . Nous avons donc
Z
gdF0 = ck1 mF (Ak1 ) = g(x0 ) F (x0 ) F (x


0 ) = g(x0 )p0 .

Supposons le rsultat vrai jusqu un certain N fix. Considrons

N
X +1
FN +1 := pi H(x xi ).
i=0

Posons
m
X m
X
g= ck 1Ak (,xN +1 ) + ck 1Ak [xN +1 ,) .
k=0 k=0

Alors
Z m
X m
X
gdFN +1 = ck mFN +1 (Ak (, xN +1 )) + ck mFN +1 (Ak [xN +1 , )).
k=0 k=0

32
 Pour la somme de gauche, comme FN = FN +1 sur (, xN +1 ) et que mFN ([xN +1 , )) =
0, il vient mFN +1 (Ak (, xN +1 )) = mFN (Ak (, xN +1 )) = mFN (Ak ) et nous pour-
rons appliquer lhypothse de rcurrence. Pour la somme de droite, un raisonnement sem-
blable celui de ltape de base sapplique, et nous trouvons que le seul Ak [xN +1 , )
de mesure non nulle est celui contenant xN +1 , disons Ak0 . Nous crivons donc
Z m
X
gdFN +1 = ck mFN (Ak ) + ck0 mFN +1 (Ak0 [xN +1 , ))
k=0
Z
gdFN + ck0 FN +1 (xN +1 ) FN +1 (x


= N +1 )

N
H.R.
X
= pi g(xi ) + pN +1 g(xN +1 )
i=0
N
X +1
= pi g(xi ).
i=0

Maintenant, ce rsultat peut sans peine tre appliqu aux fonctions positives avec le thorme
de convergence monotone, puis aux fonctions intgrables en sparant leurs parties positive et
ngative.

Le produit scalaire en question est donc bien du type auquel nous sommes habitus. Main-
tenant, rappelons que pour un N fix, nous considrons des pi > 0, i = 0, 1, ..., N tels que
pi = 1. Tchebychev a considr le cas pi = pj , i, j. Cela a donn une gnralisation des po-
P

lynmes de Legendre. Nous considrons pour lheure le cas o F est la fonction de rpartition
dune loi binomiale, ou autrement dit o pi = p(i), i = 0, 1, ..., N , avec
 
N i
p(i) = p (1 p)N i , 0 < p < 1. (2.3)
i

Cela nous conduira tel quannonc aux polynmes de Krawtchouk. Pour N quelconque, cal-
culons avec Gram-Schmidt et K0 = 1,

(p)
K1 = x proj(x : 1)
hx|1i
=x
h1|1i
N
! N
!1
X X
=x pi xi pi .
i=0 i=0
| {z }
=1

Nous remplaons maintenant pi et xi dans la somme qui reste par leur valeur respective, puis
nous manipulons la somme obtenue pour en arriver utiliser une formule que nous connaissons

33
bien. Cela donne
N  
(p)
X N
K1 =x i p(1 p)N i
i
i=1
N
X iN !
=x pi (1 p)N i
i!(N i)!
i=1
N
X N!
=x pi (1 p)N i
(i 1)!(N i)!
i=1
N 1
X N!
=x pi+1 (1 p)N i1
i!(N i 1)!
i=0
N 1  
X N 1 i
= x Np p (1 p)N 1i
i
|i=0 {z }
=1

= x N p.

Nous pourrions de manire analogue en arriver trouver

(p) 1
K2 = [N 2 p2 + x(2p + x 1) N p(p 2x)].
2
Ainsi, jusqu maintenant, les polynmes de Krawtchouk se comportent de manire exactement
analogue aux polynmes classiques que nous traitons en exemple depuis le dbut, si ce nest
que pour chaque N fix, il se trouve exactement N + 1 polynmes formant une base des
polynmes de degr N , soit un ensemble fini. Cest que, comme lindique le produit scalaire,
ils sont issus dun processus discret plutt que continu. Ils ne sont donc pas solutions dun
problme de Sturm-Liouville, mais bien dune quation aux diffrences, savoir dans ce cas-ci

p(N x)y(x + 1) [p(N x) + x(1 p) n]y(x) + x(1 p)y(x 1) = 0.

Ils ont aussi une formule de type Rodrigues

    x 1   x 
N N p N n p
Kn(p) (x, N ) = (1) n
N
,
n x 1p x 1p

o f (x) := f (x) f (x 1). Dans le cas de la relation de rcurrence, notre traitement tait
tout fait gnral et il peut donc encore tre appliqu. Cela donne ici

(p) 1 h (p)
i
Kn+1 (x, N ) = (x n N + 2)Kn(p) (x, N ) p(1 p)(N n + 1)Kn1 (x, N ) .
n+1
Enfin, il en existe des sommes gnratrices , dont voici deux spcimens.
N
1p x
X  
n n
(1) p Kn(p) (x, N )tn = 1 t (1 + t)N x ;
p
n=0

34
 N
X
Kn(p) (x, N )wn = (1 + (1 p)w)x (1 pw)N x .
n=0
Ayant vu tout cela, nous pouvons nous douter en quoi les polynmes de Krawtchouk sont une
gnralisation de ceux de Hermite. Cest le lien que donne la formule
n/2  1/2


2 N
lim n!Kn(p) (x) = Hn (z),
N p(1 p) n
o x = N p + z 2N p(1 p).
p

Nous nen ferons pas la dmonstration, puisquelle utilise dautres formules qui prcdent, que
nous navons pas non plus dmontres 1 . Le tout serait donc soit trs lourd, soit peu convain-
cant. De toute faon, tel quannonc dentre de jeu, cette section se voulait une ouverture
pour une vue plus large de la thorie des polynmes orthogonaux, tout en lui conservant une
certaine cohrence.

2.6.2 Application
Avec ce que nous avons vu jusqu maintenant, nous pourrions croire que les polynmes de
Krawtchouk et leurs congnres (car ils en ont) ne sont quune curiosit thorique. En fait, cest
tout le contraire. Il existe par exemple une mthode de traitement dimages binaires qui utilise
les moments densembles de polynmes orthogonaux. Parmi les polynmes utiliss, il y a ceux
de Legendre et de Zernike. Cependant, lutilisation des moments desdits polynmes comporte
certains inconvnients, entre autres celui de devoir approximer numriquement des intgrales
continues. Il est raisonnable de concevoir que ce problme puisse tre vit en utilisant des
polynmes orthogonaux issus dun processus discret, comme ceux de Krawtchouk. Donnons
donc maintenant un aperu de cette mthode des moments de Krawtchouk.

Pour un certain N fix, dfinissons pour la cause les polynmes de Krawtchouk kn par leur
produit scalaire (avec la fonction p(x) dfinie lquation (2.3))
N
X
p(x)kn (x)km (x) = mn ,
x=0

o mn est bien entendu le delta de Kroenecker et = (N, n, p) est une certaine fonction de
pondration approprie (comme N et p sont habituellement fixs. nous crivons (N, n, p) =
(n)).

Les moments de Krawtchouk dordre m + n sont alors dfinis par

N 1 N 1
1 X X
Kmn = p(x)kn (x)p(y)km (y)f (x, y)
(n)(m)
x=0 y=0
1 D  E
= kn (x)hkm (y)|f (x, y)i m, n N,

(n)(m)
1. On peut cependant voir (16), pp. 35 37 pour plus de dtails.

35
o f (x, y) est la fonction de limage, qui pourra tre reconstruite laide de la transformation
inverse,
N X
X N
f (x, y) = Kmn kn (x)km (y).
m=0 n=0

Larticle de Yap, Raveendran et Ong (18) montre exprimentalement que la mthode des
moments est significativement meilleure lorsque des polynmes issus dun processus discret
sont utiliss, en particulier ceux de Krawtchouk. En effet, pour un dveloppement du mme
ordre, un rsultat plus prcis est obtenu en moins de temps lors de la reconstruction dune
image avec ou sans bruit.

Forts maintenant de toutes ces dfinitions et toujours plus confiants de lapplicabilit de notre
sujet dtude, nous sommes prts tablir quelques proprits remarquables des polynmes
orthogonaux, ce qui est lobjet du chapitre suivant.

36
Chapitre 3

Proprits des polynmes orthogonaux

Dans ce chapitre, nous continuerons notre tude des proprits des polynmes orthogonaux.
Nous commencerons par tablir une formule de Christoffel, qui permet de gnrer toute une
famille de suites de polynmes orthogonaux partir dune seule de ces suites. Ensuite, la notion
importante des sries de Fourier gnralises sera vue plus en dtail, ainsi que certains rsultats
danalyse fonctionnelle qui y sont lis. Nous en viendrons alors tudier le noyau de Christoffel-
Darboux, qui a quelques proprits remarquables. Nous finirons ce chapitre par ltude des
mthodes de quadrature de Gauss, un outil important de lintgration numrique qui utilise
les racines des polynmes orthogonaux. Nous tudierons ces dernires plus en profondeur au
chapitre suivant.

3.1 Formule de Christoffel

tant donne une suite de polynmes orthogonaux, le thorme suivant (provenant de (16))
permet den construire une infinit dautres.

Thorme 3.1. Soit (pn )n1 une suite de polynmes, orthogonaux par rapport une mesure
dF (x) de segment fondamental [a, b]. Soit de plus (x) := c(x x1 )(x x2 )(x x1 ) (x xk ),
c 6= 0 un polynme de degr k, positif sur [a, b], avec xi 6= xj , i 6= j. Alors lensemble
(qn )n1 , o
 
 pn (x) pn+1 (x)
 pn+k (x) 
1  pn (x1 ) pn+1 (x1 ) pn+k (x1 ) 
 
qn := .. .. .. .. ,
(x)  . . . .


 
 pn (xk ) pn+1 (xk ) pn+k (xk ) 

est un ensemble de polynmes, orthogonaux par rapport la mesure (x)dF (x).

Dans le cas o un des xi serait de multiplicit > 1, le thorme fonctionne encore, mais en
remplaant les 1 lignes supplmentaires en xi par leur drive premire, seconde, ..., e .

37
Dmonstration. Montrons dabord que le dterminant prcdent (appelons-le D) nest pas
identiquement nul. Dveloppons-le par rapport la premire ligne, pour obtenir

D = pn (x)D0 pn+1 (x)D1 + pn+2 (x)D2 + ... + (1)k pn+k (x)Dk ,

o nous avons appel Di la sous-matrice de D obtenue en lui retranchant la premire ligne et

la i + 1e colonne. Comme lesdits Di sont tout simplement des nombres, le membre de droite
de lquation prcdente est une combinaison linaire de polynmes. Aussi sont-ils de degrs
tous diffrents, donc linairement indpendants. La combinaison linaire ne peut alors tre
nulle que si tous les Di sont nuls. Montrons donc que
 
 pn (x1 ) pn+1 (x1 ) pn+k1 (x1 ) 
 
 pn (x2 ) pn+1 (x2 ) pn+k1 (x2 )
 

Dk :=  .. .. ..  6= 0.
..
. . . .

 
 
 pn (xk ) pn+1 (xk ) pn+k1 (xk ) 

Supposons le contraire. Alors il existe une combinaison linaire des colonnes de la matrice qui
soit nulle. Autrement dit, il existe des constantes ai (i = 0, 1, 2, ..., k 1) non toutes nulles
telles que
H(x) := a0 pn + a1 pn+1 + ... + ak1 pn+k1

sannule pour x = x1 , x2 , ..., xk . H(x) est donc de la forme (x)G(x) pour un certain polynme
G(x) de degr infrieur ou gal n 1, qui est donc orthogonal H(x). Cela scrit
Z Z
H(x)G(x)dF (x) = G(x)2 (x)dF (x) = 0.

Puisque est positif sur [a, b], ceci implique que

G(x) 0 = H(x) 0,

une contradiction.

Remarquons maintenant que par le calcul prcdent, ledit dterminant doit tre est un po-
lynme de degr exactement n + k. De plus, comme chaque xi , i = 1, 2, ..., k lannule vi-
demment, nous voyons que ledit dterminant est divisible par (x). Ainsi, qn (x) est bien un
polynme de degr n. Soit maintenant q(x), un polynme arbitraire de degr (infrieur ou gal
) n 1. Alors
Z Z
q(x)qn (x)((x)dF (x)) = q(x)(qn (x)(x))dF (x)
 
 pn (x) pn+1 (x)
 pn+k (x) 
 pn (x1 ) pn+1 (x1 ) pn+k (x1 ) 
Z  
= q(x)  .. .. .. ..  dF (x).
. . . .

 
 
 pn (xk ) pn+1 (xk ) pn+k (xk ) 

38
Maintenant, le dterminant dans lintgrale est en fait une combinaison linaire de pn , pn+1 ,
..., pn+k , orthogonaux par hypothse tout polynme de degr au plus n 1 (par rapport
la mesure dF (x)). Nous avons trouv
Z Z
q(x)qn (x)((x)dF (x)) = q(x)(qn (x)(x))dF (x) = 0.

Ainsi, comme qn est orthogonal tout polynme de degr strictement infrieur pour chaque n,
nous avons bien obtenu que la suite des (qn )n1 forme un ensemble de polynmes orthogonaux.

titre dexemple, pour illustrer lintrt de ce rsultat somme toute fort simple, remarquons
()
que les polynmes de Gegenbauer Cn , avec + 1/2 un entier, peuvent tre obtenus ainsi
partir des polynmes de Legendre Pn . Rappelons que pour ces derniers polynmes, dF (x) =
1
dx, [a, b] = [1, 1], et prenons (x) = (1 x2 ) 2 . Alors

(1)
avec = 2,
1
la formule nous donne directement le rsultat bien connu Cn2 = Pn .
Do le fait que les polynmes de Gegenbauer sont une gnralisation des polynmes de
Legendre.

avec = 32 , le rsultat donne

 
 pn (x) pn+1 (x) pn+2 (x) 
(3) 1  
Cn 2 =  p (1) pn+1 (1) pn+2 (1) .

1 x2  n 
 pn (1) pn+1 (1) pn+2 (1) 

En faisant quelques calculs, nous trouvons

3x2 1
 
 1 x 2

( 23 ) 1  
C0 = 1 1 1  = 3,

1 x2 


 1 1 1 
2 3
x 3x 21 5x 23x 
 

(3) 1 
C1 2 = 1 1 1  = 5x,

1 x2 


 1 1 1 
3x2 1 5x3 3x 35x4 30x2 +3 
 

2 2 8  35x2 7
(3) 1 
C2 2 = 1 1 1 = ,

1 x2  4


 1 1 1 

qui sont bien proportionnels aux polynmes de Gegenbauer classiques.

39
3.2 Sries de Fourier gnralises, proprits dextrema et de
fermeture

3.2.1 Contexte

Les sries de Fourier classiques sont utilises pour reprsenter une fonction priodique ou
encore toute autre fonction sur un intervalle fini avec des monmes trigonomtriques ,
cest--dire des fonctions de la forme sin nx ou cos nx, n N. Fait remarquer, la suite de
ces fonctions est en fait orthogonale par rapport la mesure de Lebesgues sur [0, 2]. De
plus, en tudiant les thormes de convergence de telles sries, on peut constater que cette
dernire proprit est fondamentale, pour ne pas dire la base de tout. Une question lgitime
apparat ds lors : une fonction peut-elle tre dveloppe en srie suivant une suite quelconque
de fonctions orthogonales ? De manire gnrale, cela pourra tre fait si la suite de fonctions
en question est une base dapproximation de lespace o vit la fonction dvelopper. Cest
ce qui est appell les sries de Fourier gnralises, telles quabordes la dfinition 2.5, que
revoici.

Dfinition 3.2. Soit B := {u1 , u2 , u3 , ...} une base dapproximation dun espace sparable E
et soit f E. La srie que donne proj(f : u1 , u2 , ...) se nomme la srie de Fourier
gnralise de f dans la base B .

3.2.2 Convergence

Lobjet de ce paragraphe est dtudier dans quel contexte la srie de Fourier gnralise dune
fonction converge effectivement vers cette fonction. Que lon veuille bien dabord se rappeller le
thorme dapproximation de Weierstrass, qui nous assure que pour toute fonction f continue
dans un intervalle ferm et valeurs relles, il existe une suite de polynmes qui convergent
uniformment vers f . Aussi, il est admis que toute suite de polynmes degrs tags (cest-
-dire une suite contenant un polynme de degr n pour chaque n = 0, 1, 2, ...) forme une base
de lespace des polynmes. Nous pouvons donc dj conclure que toute suite de polynmes
orthogonaux par rapport une mesure de segment fondamental ferm [a, b] est une base
dapproximation pour C[a, b]. Ctait notre premier thorme de fermeture. Concrtisons cela
dabord avec le thorme dextrema suivant.

Thorme 3.3. Soit {u1 , u2 , ..., un } une base orthogonale dun sous-espace Hn dun R- espace
vectoriel V et soit f V . Llment h Hn qui minimise la norme ||f h|| scrit

n
X ak
h = proj(f : u1 , u2 , ..., un ) = uk ,
||uk ||2
k=1

o ak := hf |uk i.

40
 Pn
Dmonstration. Soit g := k=1 bk uk , un lment arbitraire de Hn , alors

||f g||2 = hf g|f gi = hf |f i 2hf |gi + hg|gi

n
X n
X
= ||f ||2 2 bk hf |uk i + b2k ||uk ||2
k=1 k=1
n
X n
X
= ||f ||2 2 bk ak + b2k ||uk ||2
k=1 k=1
n  n
ak 2 X a2k
X 
2
= ||f || + bk ||uk || .
||uk || ||uk ||2
k=1 k=1

Ce calcul donne clairement que les valeurs de bk qui minimisent ||f g||2 sont bien les valeurs
de ak
||uk ||2
, cest--dire que la norme est minimale lorsque g = h.

Avec les mmes hypothses et notations que dans le thorme, nous obtenons comme corollaire
immdiat de ce rsultat lgalit
n 
ak 2
X 
||f proj(f : u1 , u2 , ..., un )||2 = ||f ||2 ,
||uk ||
k=1
qui mne lingalit, dite ingalit de Bessel,
n 
ak 2
X 
6 ||f ||2 .
||uk ||
k=1
Lorsque n , le terme de gauche de cette ingalit ne peut quaugmenter. Or, il est born
 2
par ||f ||2 . Cela nous permet de conclure que la srie ak
converge.
P
k=1 ||uk ||

Un autre corollaire immdiat du thorme prcdent va comme suit.

Corollaire 3.4. Soit (pn )n1 , une suite de polynmes orthogonaux. En prenant f := pn+1 et
Hn = {p1 , p2 , ...pn }, nous obtenons que llment qui minimise la norme ||f h|| est h = 0,
cest--dire que pn+1 (normalis) est le polynme de degr n + 1 de norme minimale.

Pour la suite, il nous faut maintenant introduire un certain type de convergence.

Dfinition 3.5. Une srie k=1 ak uk (o les ak sont des scalaires et les uk des lments dun
P

espace vectoriel V ) converge en moyenne sil existe g V tel que

 n

 X 
g ak uk  0 (n ).
 
 
k=1
Il se dit aussi que la srie converge vers g au sens des moindres carrs .

Remarque 3.6. En appliquant ce qui prcde, nous voyons que lgalit de Parseval suit si
la srie
k=0 proj(f : pk ) converge en moyenne vers f , cest--dire
P

X
||f ||2 = ||proj(f : pk )||2 .
k=0

41
3.2.3 Polynmes et bases dapproximation
Pour que le rsultat prcdent ait un intrt quelconque pour notre tude, il faut videmment
que lespace que nous cherchons tudier ait comme base dapproximation un ensemble de
polynmes orthogonaux. Mais est-ce toujours le cas ? Nous avons vu en dbut de section que la
rponse est affirmative pour C[a, b] avec a et b finis. Nous pourrions aussi montrer le rsultat
plus gnral suivant (voir (16), p. 10).

Thorme 3.7. Soient p 1, une mesure d(x) de Lebesgues-Stieltjes et f (x) Lp [a, b]

o a et b sont finis. Alors pour chaque  > 0, il existe une fonction F (x) C[a, b] telle que
||f (x) F (x)||pp < .

En appliquant le thorme de Weierstrass ce rsultat, nous obtenons bien quune suite de

polynmes orthogonaux est une base dapproximation pour L2 [a, b]. Quen est-il maintenant si
le segment fondamental nest pas fini, comme pour les polynmes de Laguerre ou de Hermite ?
Le rsultat prcdent ne dit rien dans ce cas. Pour le cas particulier de ces deux ensembles de
polynmes, une autre dmonstration fonctionne. Cependant, il nest pas ncssairement vrai
en gnral que les polynmes sont denses dans les fonctions continues vivant dans un espace
de Lebesgues-Stieltjes. Le contre-exemple suivant illustre cela.

Prenons la mesure d(x) = exp(x cos())dx, et la fonction f (x) = sin(x sin()), o

0 < < 1/2. Alors il est possible de montrer que (voir (16), p. 40),
Z
f (x)xn d(x) = 0 n 0.
0

Donc, tant donn un polynme arbitraire (x),

Z
A= (f (x))2 d(x)
0
Z
= f (x)(f (x) (x))d(x)
0
Z
|f (x)||f (x) (x)|d(x)
0
Z
|f (x) (x)|d(x)
0
Z 1/2 Z 1/2
C.-S.
2
|f (x) (x)| d(x) d(x) ,
0 0

Cela montre que les intgrales

Z Z
|f (x) (x)|d(x) et |f (x) (x)|2 d(x)
0 0

ne peuvent tre rendues arbitrairement petites, ou autrement dit que f (x) ne peut tre ap-
proche par des polynmes dans cet espace Lk [0, ], avec k = 1, 2.

42
3.2.4 Un dernier thorme dextrema
Voici maintenant un dernier thorme dextrema, qui servira introduire la prochaine section.

Thorme 3.8. Soit x0 C et soit lensemble

S := {p, polynmes de degr n tels que ||p(x)||2 = 1 dans L2 [a, b]}.

Soit de plus {pn } la suite de polynmes orthogonaux dudit espace. Alors le polynme S
maximisant la quantit |(x0 )|2 scrit

(x) = Kn (x0 , x0 )1/2 Kn (x0 , x),

o
n n
X pk (x0 )pk (x) X pk (x0 )pk (x)
Kn (x0 , x) = = .
hpk |pk i hpk |pk i
k=0 k=0

Le maximum est donn par Kn (x0 , x0 ).

Remarque 3.9. Kn (x, y) est appel le noyau de Christoffel-Darboux et sera tudi plus
en dtail la section suivante. Aussi, par dfinition mme, Kn (x, x) 0.

Dmonstration. crivons
n n
X h|pk i X pk
= pk = k .
hpk |pk i ||pk ||
k=0 k=0

Alors la condition ||||2 = 1 peut scrire nk=0 |k |2 = 1, et lingalit de Cauchy donne alors
P

n n
X X |pk (x0 )|2
|(x0 )|2 |k |2 = Kn (x0 , x0 ).
hpk |pk i
k=0 k=0

Cette borne est videmment atteinte si k = pk (x0 ), o est dtermin par la condition
n
X
||2 |pk (x0 )|2 = 1.
k=0

3.3 Noyau de Christoffel-Darboux

Le noyau de Christoffel-Darboux, tel que dfini la section prcdente, comporte assez de
proprits intressantes pour se mriter une section du prsent chapitre. Une premire de ces
proprits est quil peut tre utilis pour reprsenter les sommes partielles du dveloppement
en sries de Fourier gnralises dune fonction. En effet,

n n Z b Z b
X X pk (x)
proj(f : pk ) = f (t)pk (t)d(t) = f (t)Kn (t, x)d(t).
hpk |pk i a a
k=0 k=0

43
De ce qui prcde, il vient aussi que pour un polynme arbitraire (x) de degr au plus n
Z b
Kn (t, x)(t)d(t) = (x). (3.1)
a

Par ailleurs, remarquons que cette quation dfinit Kn (t, x) de manire unique. En effet,
supposons quil existe un autre polynme k(x, t) de degr au plus n en t tel que
Z b
kn (t, x)(t)d(t) = (x)
a

pour chaque polynme de degr au plus n. Alors

Z b
(Kn (t, x) kn (t, x))(t)d(t) 0
a

pour chaque polynme de degr au plus n, cest--dire que Kn (t, x)kn (t, x) est un polynme
de degr au plus n en t qui est orthogonal tout polynme de degr au plus n en t. La seule
possibilit est que
Kn (t, x) kn (t, x) 0 = Kn (t, x) = kn (t, x),

une contradiction.

Le rsultat suivant se dduit de lquation (3.1).

Thorme 3.10. Supposons que a et x0 soient finis, avec x0 a. Alors les polynmes
{Kn (x0 , x)} sont orthogonaux par rapport la mesure (x x0 )d(x).

Dmonstration. Posons x = x0 , (t) = (t x0 )r(t) dans lquation prcdente, avec r(t) un

polynme arbitraire de degr n 1. Nous obtenons
Z b
Kn (t, x0 )(t x0 )r(t)d(t) = (x0 x0 )r(x0 ) = 0,
a

cest--dire que Kn (x, x0 ) est orthogonal tout polynme de degr n 1 par rapport au
produit scalaire mentionn dans lnonc, ce qui est suffisant pour conclure.

Voyons maintenant le dernier rsultat de cette section, mais non le moindre.

Thorme 3.11 (Formule de Christoffel-Darboux).

cd(Pn ) Pn+1 (x)Pn (y) Pn (x)Pn+1 (y)
Kn (x, y) = .
cd(Pn+1 )||Pn ||2 (x y)

Dmonstration. Il suffit de montrer que le membre de droite de lgalit prcdente satisfait

lgalit (3.1) plus haut. Lintgrale scrit, pour un polynme arbitraire (x) de degr n,

cd(Pn )
Z b
Pn+1 (x)Pn (t) Pn (x)Pn+1 (t)
I := (t)d(t).
||Pn || cd(Pn+1 ) a
2 xt

44
En rorganisant, cela peut se rcrire

I = I1 + I2 + I3 ,

o
cd(Pn ) b
(t) (x)
Z
I1 = [Pn+1 (x)Pn (t) Pn (x)Pn+1 (t)] d(t),
||Pn ||2 cd(Pn+1 ) a xt
cd(Pn ) b
Pn+1 (x) Pn+1 (t)
Z
I2 = (x) Pn (t) d(t),
||Pn ||2 cd(Pn+1 ) a xt
cd(Pn ) b
Pn (t) Pn (x)
Z
I3 = (x) Pn+1 (t) d(t).
||Pn ||2 cd(Pn+1 ) a xt
(t)(x) Pn (t)Pn (x)
Maintenant, remarquons que xt et xt sont en fait des polynmes en t de degr
n 1. Ils sont donc orthogonaux Pn et Pn+1 . Vues comme des produits scalaires, il est donc
clair que la premire et la troisime intgrale sont nulles. Aussi, dans la seconde, remarquons
Pn+1 (x)Pn+1 (t)
que xt est en fait un polynme de degr n en t. En traitant encore lintgrale
comme un produit scalaire, nous voyons que seul le coefficient de tn compte. Puisquvidem-
ment
cd(Pn ) Pn+1 (x) Pn+1 (t)
= cd(Pn )tn + ,
cd(Pn+1 ) xt
il vient
cd(Pn )
Z b
Pn+1 (x) Pn+1 (t)
I = I2 = (x) Pn (t) d(t)
||Pn ||2 cd(Pn+1 ) a xt
1
= (x)hPn (t)|cd(Pn )tn + i
||Pn ||2
= (x).

Le rsultat aurait aussi pu tre dduit de la relation de rcurrence entre les polynmes ortho-
gonaux.

Corollaire 3.12. Si x = y, alors

cd(Pn )
Kn (x, x) = [P 0 (x)Pn (x) Pn0 (x)Pn+1 (x)].
||Pn ||2 cd(Pn+1 ) n+1

Dmonstration. Laissons tendre y vers x dans la formule prcdente et appliquons la rgle de

lHospital.
Pn+1 (x)Pn (y) Pn (x)Pn+1 (y)
lim
yx xy
H
= lim [Pn+1 (x)Pn0 (y) Pn (x)Pn+1
0
(y)]
yx
0
= Pn+1 (x)Pn (x) Pn0 (x)Pn+1 (x).

45
3.4 Quadratures de Gauss
Il est question de mthode de quadrature lorsquon veut approximer numriquement la valeur
dune intgrale. Une mthode trs simple et bien connue sappelle la mthode du trapze.
Il sagit de faire la moyenne de la valeur de la fonction aux deux extrmits de lintervalle
dintgration et de la multiplier par la longueur de cet intervalle. Cela donne
Z b
f (a) + f (b)
f (x)dx (b a) .
a 2
Cette mthode requiert donc deux valuations de f (x) et est de degr de prcision 1, cest--
dire que la quadrature est exacte dans le cas des polynmes de degr 1. Cherchons maintenant
atteindre un degr de prcision suprieur avec une mthode analogue
Z b
f (x)dx w1 f (t1 ) + w2 f (t2 ).
a

Les wk sont appels poids dintgration et les tk points dintgration. En prenant w1 = w2 =

2 , t1 = a, t2 = b, nous retrouvons la mthode du trapze. Mais il y a mieux. Ce sont les
ba

quadratures de Gauss.

3.4.1 Quadratures de Gauss-Legendre et de Gauss-Laguerre deux points

Le type de quadrature utiliser dpend de la forme de lintervalle dintgration de lintgrale
approximer. En effet, cet intervalle doit tre de la mme forme que lintervalle fondamental
du produit scalaire des polynmes orthogonaux utiliss. (Nous verrons tout lheure pourquoi
il est question de polynmes ici.) Par exemple, pour un intervalle fini [a, b], nous pouvons
utiliser Gauss-Legendre (voir (6, chap. 6), pour une demi-droite [0, ), nous pouvons utiliser
Gauss-Laguerre et pour tous les rels R = (, ), nous utilisons Gauss-Hermite. Clarifions
tout cela par deux exemples.

Pour le cas dun intervalle ferm, il est toujours possible de se ramener une intgrale sur
[1, 1] par le changement de variable
(b a)t + (a + b) ba
x= = dx = dt.
2 2
En effet, cela donne
Z b 1   1
(b a)t + (a + b) ba ba
Z Z
f (x)dx = f dt = g(t)dt,
a 1 2 2 2 1

o nous avons pos  

(b a)t + (a + b)
g(t) := f .
2
Nous nous contenterons donc pour linstant de regarder ce cas particulier. Cherchons une
mthode de la forme Z 1
f (x)dx w1 f (t1 ) + w2 f (t2 ),
1

46
avec un degr de prcision qui soit le plus lev possible. Comme il y a quatre inconnues dans
lquation prcdente, quatre contraintes peuvent tre formules. Nous voulons donc pouvoir
valuer prcisment des intgrales impliquant des polynmes de degrs 0, 1, 2 et 3. Cela peut
scrire R
1
1 dx = w1 + w2



1 xdx = w t + w t
R
1 1 2 2
R1
1
x dx = w1 t1 + w2 t22
2 2
R1



1 3 3 3
1 x dx = w1 t1 + w2 t2 ,

do le systme non linaire

2 = w1 + w2

0=w t +w t
1 1 2 2
2 2 + w t2


3 = w t
1 1 2 2
0 = w t3 + w t3 .

1 1 2 2

En rsolvant ce systme, il vient

w = w2 = 1
1

q
t1 = 13
q
t = 1.

2 3

Remarque 3.13.

(i) Ici, les ti sont les racines du polynme de Legendre P2 .

(ii) Pour un mme nombre de points dintgration, nous avons gagn en degr de prcision
par rapport la mthode du trapze (3 vs 1).

Nous avons donc trouv la mthode de Gauss-Legendre deux points

Z 1 r ! r !
1 1
f (x)dx f +f .
1 3 3

Considrons maintenant des intgrales sur des demi-droites [a, ) ou (, b]. Pour celles-ci,
nous utilisons le contexte des polynmes de Laguerre. Nous nous ramenons donc sur lintervalle
[0, ) avec un changement de variable appropri, puis nous considrons
Z Z Z
x x
g(x)ex dx,


f (x)dx = f (x)e e dx =
0 0 0

o g(x) := f (x)ex . En appliquant le mme principe que prcdemment, nous obtenons le

sytme R


1 = 0 ex dx = w1 + w2
1 = R xex dx = w t + w t

1 1 2 2
R0 2 x


2 = 0 x e dx = w1 t1 + w2 t22
2
6 = R x3 ex dx = w t3 + w t3 ,

0 1 1 2 2

47
nettement plus difficile rsoudre que le premier. (Dailleurs, le systme que donnent les
quadratures de Gauss-Laguerre trois points ou plus na pas de solution analytique.) La
solution en est nanmoins connue. On peut en effet trouver

2+ 2
w 1 = 4


w = 2 2

2 4
t1 = 2 2
t = 2 + 2.



2

Remarque 3.14. De manire analogue lexemple prcdent, les ti sont les racines du poly-
nme de Laguerre L2 . Nous verrons dans la suite que ce comportement est tout fait gnral.

3.4.2 Cas gnral

Nous verrons maintenant quelques thormes auxquels obissaient les exemples prcdents.
Ceux-ci feront apparatre le lien entre les quadratures de Gauss et les polynmes orthogonaux.

Thorme 3.15. Soit (pn )n1 , une suite de polynmes, orthogonaux par rapport la mesure
d(x). Alors il existe des constantes kn (k = 1, 2, ..., n) et x1n < x2n < < xnn telles que
Z n
X
(x)d(x) = kn (xkn )
I k=1

pour tout polynme de degr 2n 1 (ou moins), dtermines uniquement par n et d(x).

Remarque 3.16. Nous justifierons au chapitre suivant le fait que les zros de pn soient rels
et distincts.

Dmonstration. Contruisons par interpolation de Lagrange 1 le polynme de degr n 1 qui

concide avec (x) aux points xkn , que nous choisirons comme tant les zros de pn . Cela
scrit
n n
X pn (x) X
L(x) = (xkn ) = (xkn )lkn (x),
p0n (xkn )(x xkn )
k=1 k=1

o il a videmment t pos
pn (x)
lkn (x) := 0
.
pn (xkn )(x xkn )
Maintenant, pn (x) divise (x) L(x), cest--dire quil existe r(x), un polynme de degr au
plus n 1, tel que
(x) L(x) = pn (x)r(x).

1. Voir lannexe B pour un peu de thorie concernant linterpolation de Lagrange.

48
Ainsi
Z Z Z
(x)d(x) = L(x)d(x) + pn (x)r(x)d(x)
I I I
| {z }
=0
Z
= L(x)d(x)
I
n
X Z
= (xkn ) lkn (x)d(x).
k=1 I

Nous avons donc bien le rsulat, moyennant que

Z
kn = lkn (x)d(x).
I

Concernant lunicit, supposons quil existe des nombres kn (k = 1, 2, ..., n) et x1 < x2 <
< xn tels que lquation
Z n
X
(x)d(x) = kn (xn )
I k=1

tienne pour un polynme (x) de degr 2n 1 arbitraire. Prenons (x) = q(x)r(x), avec
q(x) = (x x1 )(x x2 ) (x xn ) et r(x) un polynme de degr n 1 arbitraire. Alors
lquation prcdente donne Z
q(x)r(x)d(x) = 0,
I

ce qui signifie quen fait q(x) est un multiple de pn , et donc que les xi doivent bien en tre les
racines. Lunicit des kn suit.

Les kn que nous avons considrs dans le thorme sont parfois appels nombres de Christoffel
et ont certaines proprits que voici.

Proprits 3.17.

(i) Nous avons la formule

n
X Z
kn = d(x) = (b) (a)
k=1 I

(ii) et les reprsentations

Z  2
pn (x)
kn = d(x),
I p0n (xkn )(x xkn )

(iii)
cd(pn+1 ) ||pn ||2 cd(pn ) ||pn ||2
kn = = ,
cd(Pn ) pn+1 (xkn )p0n (xkn ) cd(Pn1 ) pn1 (xkn )p0n (xkn )

49
(iv)
n
X
2
1
kn = pi (xkn ) = Kn (xkn , xkn ),
i=0

o Kn (x, y) est le noyau de Christoffel-Darboux.

(v) Les kn sont positifs.

Dmonstration. Dans lordre,

(i) Il suffit de prendre (x) = 1 dans lquation du thorme 3.15.

2  2
pn (x)
(ii) De mme, il suffit de prendre (x) = lkn (x) = p0 (xkn )(xxkn ) dans ladite quation.
n

(iii) Cest une application de la formule de Christoffel-Darboux

cd(pn ) pn+1 (x)pn (y) pn (x)pn+1 (y)

Kn (x, y) = ,
cd(pn+1 ) ||pn ||2 (x y)

ainsi que de la formule (3.1) de la section 3.3. En effet, posons y = xkn et intgrons par
rapport d(x). Cela donne
Z
1 = Kn (x, xkn )d(x)
ZI
cd(pn ) pn+1 (x)pn (xkn ) pn (x)pn+1 (xkn )
= d(x)
I cd(pn+1 ) ||pn ||2 (x xkn )
cd(pn ) pn (x)pn+1 (xkn )
Z
= d(x)
cd(pn+1 ) I ||pn ||2 (x xkn )
cd(pn ) pn+1 (xkn )p0n (xkn )kn
= .
cd(pn+1 ) ||pn ||2

(iv) Cest une application du corollaire de la formule de Christoffel-Darboux et de la proprit

(iii).

cd(pn )
Kn (xkn , xkn ) = [p0 (xkn )pn (xkn ) p0n (xkn )pn+1 (xkn )]
||pn ||2 cd(pn+1 ) n+1
cd(pn )
= [p0n (xkn )pn+1 (xkn )]
||pn ||2 cd(pn+1 )
1
= .
kn

(v) Cest une consquence vidente de la reprsentation (ii).

50
Chapitre 4

Zros et points critiques

Un des domaines de lanalyse mathmatique toujours actifs de nos jours est la recherche de
liens entre les coefficients dun polynme, ses zros et ses points critiques (cest--dire les zros
de sa drive). Pour les polynmes orthogonaux en particulier, on trouve trs peu de rsultats
gnraux de cette sorte, et la premire section de ce chapitre sera consacre trois dentre eux.
Dans la seconde section, nous donnerons une classification des points critiques ainsi quune
interprtation physique de ceux de type 2. Il existe par ailleurs une foule de thormes sur
les zros de suites particulires de polynmes orthogonaux, que nous naborderons par ici.
Nous prfrerons exposer dans les troisime et quatrime sections des rsultats concernant
des polynmes dune variable en gnral. Dans la section 2, des rsultats de base tirs de (13)
seront donns, puis dans la section 3, nous donnerons le thorme de Gauss-Lucas ainsi quune
rciproque, rcemment dmontre dans (12) (en 2014).

4.1 Zros des polynmes orthogonaux

Les deux thormes suivants, bien que dmontrs avec des outils de base, ont une grande
importance dans la thorie des polynmes orthogonaux. Le troisime est un thorme de
densit des zros intressant par lui-mme.

Thorme 4.1. Le ne polynme dune suite de polynmes orthogonaux, Pn (n > 0) admet

n racines relles distinctes, toutes situes lintrieur du segment fondamental.

Dmonstration. Soit m > 0, le nombre de zros de Pn qui soient rels et situs sur le segment
fondamental, que nous noterons [a, b]. Le thorme fondamental de lalgbre assure dabord
que m 6 n. Soit donc := {x1 , x2 , ..., xm } lensemble (potentiellement vide) desdits zros de
Pn . Soit de plus le polynme S(x) := (x x1 )(x x2 )...(x xm ) o nous nous rappelons la
convention selon laquelle un produit vide vaut 1. Ce polynme possde les mmes zros que
Pn dans [a, b], et donc le produit S(x)Pn (x) doit tre du mme signe sur tout lintervalle [a, b],
et ne sannuler quen chaque xi . Selon les conditions nonces sur le poids dintgration w(x),

51
il doit en tre de mme pour le produit S(x)Pn (x)w(x).
Ainsi, le produit scalaire hS|Pn i doit tre non nul, puisque nous intgrons une fonction non
identiquement nulle qui ne change pas de signe sur lintervalle dintgration. Or, Pn est or-
thogonal tous les polynmes de degr strictement infrieur (puisquils sont combinaisons
linaires des Pk pour k = 0, 1, ..., n 1). Il faut donc avoir m > n. Mais nous avions dj
m 6 n. Nous avons donc montr que m = n, do le rsultat.

Remarquons que si toutes les racines dun polynme sont sur le segment fondamental, il en
est de mme pour ses points critiques. En effet, par le thorme de Rolle (dont Gauss-Lucas
qui suivra se veut une gnralisation), il doit sen retrouver au moins un entre chaque paire de
zros voisins du polynme, donc en fait exactement un. Maintenant, en regard du thorme
prcdent, le rsultat suivant parat assez naturel.

Thorme 4.2. Soit {Pn : n = 0, 1, 2, ...} une suite de polynmes orthogonaux. Alors les
racines de Pn se trouvent strictement entre les racines de Pn+1 .

Dmonstration. Nous utilisons le noyau de Christoffel-Darboux, dvelopp au chapitre prc-

dent. Nous avons vu que dune part, Kn (x, x) 0, et dautre part que
0
Kn (x, x) = Pn+1 (x)Pn (x) Pn0 (x)Pn+1 (x). (4.1)

Soit donc deux zros conscutifs et de Pn+1 . Comme ils sont conscutifs, Pn+1
0 () et
0
Pn+1 () doivent tre de signes opposs. Or (4.1) donne, avec ce qui la prcdait
(
0
Pn+1 ()Pn () 0
0
Pn+1 ()Pn () 0.
Il suit que Pn () et Pn () sont de signes opposs, et donc que Pn a un zro dans [, ] par le
thorme des valeurs intermdiaires. Comme finalement il y a n tels intervalles [, ] et que
Pn a au plus n zros rels, le thorme suit.

Dans lannexe D sont consigns quelques exemples de graphiques qui aident voir que le
thorme est tout naturel.

Passons maintenant au troisime et dernier thorme de la section.

Thorme 4.3 (densit des zros). Soit (pn )n1 une suite de polynmes, orthogonaux par
rapport une mesure de Lebesgues-Stieltjes m (x). Pour tout intervalle [a0 , b0 ] [a, b] (avec
naturellement a0 < b0 ), il existe un N N tel que pour chaque n N , le polynme pn a au
moins un zro dans [a0 , b0 ].

Dmonstration. (Par contradiction.) Supposons le contraire, cest--dire supposons que pour

chaque rang m, il existe un rang n tel que 2n 1 > m et tel que le polynme pn na aucun de
ses zros dans [a0 , b0 ]. Appelons (xn ) ( = 1, 2, ..., n) les zros de pn pour chaque n.

52
Considrons la fonction
(
0 dans [a, b]\[a0 , b0 ],
f (x) =
(x a0 )(b0 x) dans [a0 , b0 ].

Comme f est continue sur un intervalle ferm born, nous savons par Weierstrass que pour
tout  > 0, il existe un polynme r(x) dun certain degr M tel que |f (x) r(x)| <  pour
tout x [a, b]. Par hypothse, il existe un rang N tel que 2N 1 > M et tel que pN na aucun
de ses zros xN dans [a0 , b0 ]. Alors, en utilisant une quadrature de Gauss, tel que prsent
la section 3.4., nous pouvons obtenir
Z b N
X
r(x)d(x) = N r(xN ).
a =1

Comme tous les xN sont dans [a, b]\[a0 , b0 ], que f 0 sur cet ensemble et que |f (x)r(x)| < ,
il vient que |r(xN )| <  pour chaque xN . De plus, les N sont tous positifs (voir la discussion
ce propos en 3.4). Ainsi
N
X N
X
N r(xN ) N .
=1 =1

En mettant tout cela ensemble, nous pouvons faire le calcul suivant

Z b Z b

f (x)d(x) r(x) +  d(x)
a a
N
X
= N r(xN ) + ((b) (a))
=1
XN
 N + ((b) (a))
=1
N
!
X
= N + ((b) (a))
=1

= 2 ((b) (a)) .

En laissant  0, lingalit reste vraie et donne

Z b
f (x)d(x) 0,
a

ce qui est videmment une contradiction.

Dans ce thorme, nous avons suppos ds le dpart que le segment fondamental tait fini. Or,
sous certaines conditions, notamment si max |xn | = o(n) (n ), le thorme est aussi
valide pour les segments fondamentaux infinis (voir (16, p.111)).

53
4.2 Polynmes gnraux
Dans cette section et dans la suivante, nous travaillons avec des polynmes gnraux coeffi-
cients dans C. Un tel polynme est dit unitaire si son coefficient directeur vaut 1. Commenons
par une proposition trs simple qui donne les coefficients dun polynme en fonction de ses
zros.

Proposition 4.4 (Formules de Vite). Considrons un polynme unitaire de degr n

n
X n
Y
f (z) := an z n = (z z ). (4.2)
n=0 =1

Alors les formules suivantes sont vrifies.

X
an1 = zj ;
j
X
an2 = zj z k ;
1j<kn

...
Y
a0 = (1)n zi .
i

Dmonstration. Le rsultat suit en dveloppant le produit de droite dans (4.2) et en galisant

les coefficients des monmes de mme puissance de chaque ct.

Le prochain thorme est une rponse partielle la question gnrale : tant donn un certain
sous-ensemble de C, combien un polynme donn a-t-il de zros dans cet ensemble ?
Pn ,
Thorme 4.5. Soit f (z) := =0 a z un polynme unitaire de degr n, et soit m n.
Alors f a au moins m zros de module ne dpassant pas
1
2 max |a | n .
0m1

Pour faire la preuve du thorme, montrons-en dabord un cas particulier.

Pn
Lemme 4.6. Soit f (z) := =0 a z un polynme unitaire de degr n tel que |a | 1 pour
= 0, ..., m 1, (m n). Nommons les zros zj de f pour avoir |z1 | ... |zn |. Alors
|zm | 2.

Dmonstration du lemme.
Si m = n, il ny a rien montrer, le polynme tant suppos unitaire. Nous supposons donc

54
m < n. Si |zm+1 | 2, il ny a rien montrer non plus. Supposons donc |zm+1 | > 2. Appelons
un zro gnrique parmi zm+1 , zm+2 , ..., zn et posons
n1
f (z) X
g(z) := =: b z ,
z
=0

ainsi que b1 := bn := 0. Dvelopper le membre de droite de cette dfinition et galiser les

coefficients donne
a = b + b1 , = 0, ..., n.

Ainsi les bj peuvent tre crits

j
X a
bj = j+1
(j = 0, ..., n 2),

=0

et alors il vient, pour = 0, ..., m 1,

+1
X |a | X
|b | 2l < 1.
2+1
=0 l=1

En rptant le processus pour chacun des zros concerns, nous aboutissons au polynme de
degr m
m
X f (z)
h(z) := c z := ,
(z zm+1 ) (z zn )
=0

o cm = 1, et |c | < 1 pour = 0, ..., m 1.

Maintenant, considrons un zro w de h. Alors

m1
X
wm = c w . (4.3)
=0

Ainsi, si nous supposons |w| > 1, il vient, en divisant dabord (4.3) par wm1 puis en utilisant
lingalit triangulaire
m1
X X 1
|w| |c ||w|m+1
|w|l = .
1 |w|1
=0 l=0

Puisque 0 < 1
|w| < 1 nous pouvons alors faire le calcul suivant,

1
|w|
1 |w|1
|w|(1 |w|1 ) 1
|w| 1 1
|w| 2,

cest--dire que dans tous les cas, |zm | 2, et ctait le rsultat souhait.

55
La preuve du thorme se fait maintenant en quelques lignes.

Dmontration du thorme.
Posons
1
:= max |a | n .
0m1

Si = 0, le thorme est trivial. Supposons donc > 0. Alors le polynme unitaire

(z) := n f (z)

est bien tel que dans le lemme, cest--dire que les modules de ses m premiers coefficients ne
dpassent pas 1. Ledit lemme sapplique donc, et alors a au moins m zros de modules ne
dpassant pas 2. Il suit le rsultat, savoir que f doit avoir au moins m zros de module ne
dpassant pas 2.

Le rsultat suivant dit que les coefficients dun polynme dpendent continment de ses zros.
Cela semble assez naturel, mais maintenant nous prcisons exactement ce que a veut dire.
Pn Qk
Thorme 4.7 (de continuit). Soit f (z) := zj )mj
P
=0 a z = j=1 (z ( mj = n),
un polynme unitaire de degr n, avec k zros distincts z1 , z2 , ..., zk , de multiplicits respectives
m1 , ..., mk . Alors tant donn

1
min |zi zj |,
0<<
2 1i<jk
Pn
il existe un > 0 tel que tout polynme g(z) = i=0 b z , avec |b a | < pour =
1, ..., n 1, a exactement mj zros dans le disque Dj de centre zj et de rayon , pour chaque j.

Dmonstration. crivons
n
X n
X
f (z + zj ) = a[j]
z

et g(z + zj ) =: gj (z) = b[j]
z ,
=0 =0

o
n   n  
X k X k
a[j]
= ak zjk et b[j]
= bk zjk

k= k=
[j] [j] [j]
(incluant an = an = bn = bn = 1). Comme zj est un zro de multiplicit mj de f , a = 0
pour = 0, 1, ..., mj 1. Nous pouvons donc crire, pour ces mmes ,

n1
X 
k
b[j]
= b[j]
a[j] = (bk ak )zjk .

k=

56
En appliquant le thorme prcdent gj avec m = mj et en posant
1
n1 n
X k

k
j := 2 max |bk ak ||zj | ,
0mj 1
k=

nous trouvons que Dj := {z C : |z zj | j , } contient au moins mj zros de g. En

prenant assez petit, les j (j = 1, ..., k), peuvent tre tous plus petits qu, et alors les Dj
sont disjoints. Ainsi, nous pouvons conclure que chaque Dj contient exactement mj zros de
g.

Des thormes classiques danalyse complexe peuvent tre dduits de ce dernier thorme
de continuit dans le cas particulier, bien sr, des polynmes. Ainsi nous verrons, pour finir
cette section, dabord une variante du principe du maximum (dont la dmonstration se fera
principalement dans le prochain lemme), ensuite le thorme de Rouch et finalement celui de
Hurwitz.

Lemme 4.8. Soient f et g, deux polynmes nayant aucun zro en commun et tels que |f (x)|
|g(x)| sur R. Supposons de plus que chaque zro zi de g soit dans le demi-plan suprieur PS
(cest--dire Im(zi ) 0). Alors (i) |f (z)| |g(z)| sur le demi-plan infrieur PI (cest--dire
Im(zi ) 0) et (ii) lgalit est atteinte si et seulement si f (z) ei g(z) pour un [0, 2).

Dmonstration. Il se dduit immdiatement des hypothses que |g(x)| > 0 sur R. Il sen dduit
de plus que deg(f ) deg(g) =: n. En effet, dans le cas contraire, lorsque z tendrait vers linfini
sur laxe rel, nous obtiendrions pour sr qu partir dun certain point |f (x)| |g(x)|, ce qui
est videmment une contradiction dune des hypothses. Par la mme logique, en crivant
n
X n
X
f (z) = a z g(z) = b z ,
=0 =0

il suit que |an | |bn | (avec potentiellement an = 0.

Ceci tant dit, il suffit de montrer le rsultat suivant. Sous les mmes hypothses, si est tel
que Im() < 0, alors
|f ()| |g()| = f (z) ei g(z)

pour un [0, 2)

Ce rsultat implique en effet le lemme car il montre dune part que lingalit stricte (|f | > |g|)
est impossible, donc que (i) tient, et dautre part que si lgalit est atteinte en un point, alors
elle est atteinte partout, ce qui donne une des implications de (ii), lautre tant triviale.

Maintenant, pour montrer limplication prcdente, il nous suffira dobtenir que le polynme

h(z) := g(z)f () f (z)g()

57
est identiquement nul (nous verrons pourquoi tout lheure, montrons-le dabord dans la bote
suivante).

Bote 1 Supposons le contraire, cest--dire h 6 0, et considrons donc un point R tel que

h() 6= 0 (qui existe par le principe didentit, que nous tenons pour acquis ici). Considrons
aussi la famille de polynmes en z

z n g(z 1 + )f () tf (z 1 + )g()
 
F (t, z) := , (4.4)
g()f () tf ()g()

o t [0, 1].

Lorsque t est fix, observons que F est un polynme unitaire de degr n, ce qui se voit
relativement bien, et que le dnominateur dans lquation est non nul. (En effet, nous savons
que |f ()| |g()| et que |g()| |f ()| (par hypothse, puisque R) et donc |f ()g()|
|g()f ()| > t|g()f ()| pour t [0, 1). Si t = 1, le dnominateur est simplement h(), suppos
non nul.) De plus, nous affirmons que

1
: z 7 et 1 : z 7 z 1 +
z
sont des bijections de C {}, qui envoient lensemble R {} sur lui-mme, le demi-plan
suprieur PS sur le demi-plan infrieur PI et vice-versa.

Maintenant, les zros du polynme F (0, z) tant ceux de g passs dans (cest--dire que si
nous notons zi les zros de g, alors les (zi ) seront zros de F ), ils sont tous dans PI . Par
ailleurs F (1, z) sannule videmment en z = ( )1 , un point de PS \R. Par le thorme de
continuit, cela signifie que lorsque t passe de 0 1, un des zros de F traverse laxe rel. Il
existe donc un t0 [0, 1) et un x0 R tels que F (t0 , x0 ) = 0. Il se distingue alors deux cas.

(i) Si x0 = 0, (4.4) devient

bn f () t0 an g()
0= ,
g()f () tf ()g()
o an et bn sont tels que dfinis plus haut. En brassant, nous obtenons

t0 an g() = bn f (),

do
|an g()| > |bn f ()| |bn g()|,

do finalement |an | > |bn |, une contradiction.

(ii) Si x0 6= 0, (4.4) donne de manire analogue

0 = g (x0 )1 + f () tf (x0 )1 + g(),

58
 ce qui implique
|g (x0 )1 + | < |f (x0 )1 + |,

encore une contradiction.

Rappelons que nous supposions |f ()| |g()| (A). Nous avons maintenant h(z) := g(z)f ()
f (z)g() 0 (B). Montrons tel que promis que tout cela implique que g(z) = ei f (z).
Dabord, de (B) nous dduisons

g(z)f () f (z)g() (B)

|g(z)||f ()| |f (z)||g()| (B).

De (A) et (B), il suit |g(z)| < |f (z)|, pour chaque z C, donc en particulier pour . Nous
obtenons |g()| = |f ()|, ou encore g() = ei f () pour un [0, 2) (A2). Remplaons
(A2) dans (B). Cela donne (rappelons que f () 6= 0),

g(z)f () f (z)ei f ()
g(z) f (z)ei ,

ce qui tait le rsultat recherch.

Dans cette dmonstration, laxe rel aurait aussi bien pu tre remplac par une courbe de
Jordan, comme dans le thorme de Rouch qui suivra.

Thorme 4.9 (variante du principe du maximum). Considrons deux polynmes f et g tels

que |f (x)| |g(x)| sur R, et supposons que chaque zro zj de g soit tel que Im(zj ) 0. Alors
|f (z)| |g(z)| pour lensemble des z du demi-plan infrieur Im(z) 0. De plus, lgalit est
atteinte dans ce demi-plan si et seulement si f (z) = ei g(z) pour un [0, 2).

Dmonstration. Appelons d = d(x) le plus grand commun diviseur unitaire de f et g et

crivons f = df1 et g = dg1 . Nous avons maintenant |f1 (x)| |g1 (x)| sur R, sauf possiblement
aux zros rels de d.

Advenant quils existent, appelons-en un y et supposons que f1 (y) > g1 (y). Comme d est
un polynme donc une fonction continue, il doit exister un intervalle I := {x : |x y| < }
tel que |f1 (x)| > |g1 (x)| sur I. Or, d tant un polynme, ses zros sont isols il doit donc
exister un x0 I qui ne soit pas un zro de d ; cest une contradiction. Nous avons donc bien
|f1 (x)| |g1 (x)| sur R tout entier.

Comme de plus les polynmes f1 et g1 nont plus de zros communs, ils respectent les hy-
pothses du lemme ; celui-ci nous donne alors que (i) |f1 (z)| |g1 (z)| sur PI et (ii) lgalit

59
est atteinte si et seulement si f1 (z) ei g1 pour un R. Les conclusions prcdentes ne
sont pas affectes par la multiplication par |d| et d. Nous pouvons en effet dduire que (i)
|d||f1 (z)| |d||g1 (z)| sur PI et (ii) lgalit est atteinte si et seulement si df1 (z) ei dg1 pour
un R, ce qui est une rcriture de la conclusion du thorme.

Thorme 4.10 (de Rouch). Soit , une courbe de Jordan dans C. Considrons f et g, deux
polynmes, dfinis sur int(), et tels que |g(z)| < |f (z)| sur . Alors f et f + g ont le
mme nombre de zros dans int(), en comptant leur multiplicit.

Dmonstration. Le raisonnement utilis ici est similaire celui qui est utilis dans la dmons-
tration du lemme 4.8.

Appelons deg(f ) =: n. Soit et posons : z 7 z .

1
Alors, de manire analogue ce qui
a dj t vu,
z n f (z 1 + ) + tg(z 1 + )
 
F (t, z) :=
f () + tg()
est un polynme unitaire en z, non nul pour toute paire (t, z) [0, 1] (). Consquemment,
quand t passe de 0 1, aucun des zros de F (t, z) (vu comme un polynme en z pour chaque
t) ne peut traverser (). Il suit que F (0, z) et F (1, z) doivent avoir le mme nombre de zros
dans (int()), ce qui donne prcisment que f et f + g ont le mme nombre de zros dans
int().

u
Remarque 4.11. Dans le thorme suivant, la notation fn f est utilise pour signifier
quune suite de fonctions fn converge uniformment vers une fonction f lorsque n .

Thorme 4.12 (de Hurwitz). Soit (fn )nN une suite de polynmes dfinis dans une rgion
u
C. Supposons que fn f 6 0 sur tout sous-ensemble compact de . Alors est un
zro de f de multiplicit m si et seulement sil existe un voisinage V de tel que dans
tous les disques D(, ) V avec  > 0, il existe un N () tel que chaque fn avec n N () a
exactement m zros, en comptant la multiplicit.

Dmonstration. Considrons un point quelconque . Comme f 6 0 est holomorphe,

ses zros sont isols, et donc il existe un disque ferm V tel que f (z) 6= 0 sur V \{}.
Maintenant, si pour  > 0 nous avons D(, ) V , alors min|z|= |f (z)| =: c > 0.

Par ailleurs, max|z|= |f (z) fn (z)| < c pour n assez grand. En posant g(z) := fn (z) f (z),
nous pouvons appliquer le thorme prcdent avec les fonctions f et g, et le cercle C :=
|z | = . Il suit que fn et f ont le mme nombre de zros dans int(C), ce qui tait la
conclusion recherche.

60
4.3 Classification des points critiques et interprtation
physique de ceux de type 2
Cette section se veut une introduction la section suivante. Nous verrons que les points
critiques de polynmes ne sont pas toujours que des objets mathmatiques abstraits.

Considrons un polynme unitaire f . Celui-ci peut tre reprsent par

k
Y
f (z) = (z zj )mj ,
j=1

o mj = n et o les zj sont distincts. Les points critiques de ce polynme peuvent tre

P
j
classs en deux catgories. Si mj > 1, alors nous voyons facilement que zj sera un point
critique dordre mj 1 de f en plus den tre un zro. Un tel point critique est dit de type 1.
Nous pouvons maintenant constater que f aura exactement n k points critiques de ce type.
Comme f 0 doit tre de degr n 1, il en reste k 1, qui sont dits de type 2. (Remarquons que
nous avons montr prcdemment que tous les points critiques des polynmes orthogonaux
rels sont de type 2.) Comme ces derniers ne sont pas des zros de f , ce seront des zros de la
fonction rationnelle f 0 /f , dfinie sur C\{zi : i = 1, ..., k}, qui peut tre exprime

k
f 0 (z) X mj
= .
f (z) z zj
j=1

Pour des raisons videntes, le quotient f 0 /f est appel la drive logarithmique de f .

Gauss a donn linterprtation suivante des points critiques de type 2. Nous plaons k objets
Oj de masses mj dans le plan euclidien R2 , aux points respectifs

xj = (xj , yj ). Supposons


que chaque objet Oj gnre une force attractive Fj qui soit proportionnelle la masse mj
et la rciproque de la distance euclidienne. Un nouvel objet O, quelconque, est plac en

x := (x, y) dans le mme plan. La force exerce par chacun des autres objets sur celui-ci
scrit alors



x
xj
Fj (
x ) = cmj

.
| x xj |2

En identifiant (x, y) z := x + iy et, de manire analogue,

xj zj , nous obtenons que la force


totale exerce en x scrit
k k  0 


mj f (z)
F ( Fj (
X X
x ) := x ) = c = c .
z zj f (z)
j=1 j=1

Les points critiques de type 2 tant prcisment ceux qui annulent le dernier membre de cette
quation, nous en dduisons quils reprsentent les points dquilibre du champ de force que
nos zros engendraient au dpart.

61
4.4 Thorme de Gauss-Lucas et une rciproque
Le thorme de Gauss-Lucas est central dans ltude de la thorie analytique des polynmes.
Nous en prsenterons ici une dmonstration relativement simple. Tel quannonc, une rci-
proque de ce thorme, rcemment dmontre, sera ensuite donne. Cela terminera ce cha-
pitre, qui se voulait une lgre introduction ltude de certaines proprits des polynmes
analytiques.

Introduisons maintenant le concept central pour la suite.

Dfinition 4.13. Lenveloppe convexe dun ensemble E est le plus petit ensemble convexe
contenant E (au sens de linclusion). Nous le notons conv(E).

Rappelons quun ensemble E est convexe si toute combinaison linaire convexe dlments de
E est encore dans E, cest--dire qutant donns {z }=1,...n E et { }=1,...n [0, 1] tels
que n=1 = 1, nous avons que
P
Xn
z E.
=1

La notation suivante sera aussi utile. Si nous appelons Z(f ) lensemble des zros de f , K(f ) :=
conv(Z(f )), sera lenveloppe convexe des zros de f . Nous voici donc prts pour le thorme
principal de cette section.

Thorme 4.14 (Gauss-Lucas). Soit f un polynme. Alors K(f 0 ) K(f ).

Dmonstration. Montrons quun point critique donn dun polynme f de degr n peut
sexprimer comme une combinaison linaire convexe des zros zi (i = 1, ..., n) de f , cest--
dire quil existe des tels que
n
X
= z ,
=1
Pn
o 0 pour chaque et =1 = 1. Il y a deux cas possibles.

Si est de type 1, = z pour un , et il suffit donc de prendre = 1 et = 0 pour 6= .

Si est de type 2, nous avons vu quil doit tre un zro de la drive logarithmique de f . Alors
n n
X 1 X 1
0= = ,
=1
z z
=1

donc
n
X z
= 0.
| z |2
=1
Prendre
| z |2
:= Pn 2
= 1, ..., n
=1 | z |

62
mne donc la conclusion recherche. En effet
n n n
X z X X z
0= 2
= 2

| z | | z | | z |2
=1 =1 =1
n n
X 1 X z
= = ,
| z |2 | z |2
=1 =1

et alors
Pn
| z |2 z
= P=1
n 2
=1 | z |
n
X | z |2 z
= Pn 2
=1 | z |
=1
n
X
= z .
=1

De plus
n Pn
X | z |2
= P=1
n 2
= 1.
=1 =1 | z |

Le thorme de Gauss-Lucas nonce une proprit de lenveloppe convexe des polynmes.

Nous avons mentionn que le rsultat suivant en tait une rciproque. En effet, il caractrise
tout les oprateurs ayant ladite proprit sur lenveloppe convexe des polynmes. Nous notons
Pn les polynmes coefficients complexes de degr au plus n. Nous aurons aussi besoin des
dfinitions suivantes.

Dfinition 4.15.

(i) Soit un ensemble E C. Le diamtre de E est le nombre

diam(E) := sup |a b|.

a,bE

Nous posons de plus diam() := 0. Avec cette convention, le diamtre dun ensemble est
toujours positif ou nul, cest--dire diam(E) 0 quel que soit E. Pour fin de notation,
tant donne une fonction complexe f quelconque, posons D f := diam(Z(f )).

(ii) Soit P Pn , plus n et 0 k n 2. Posons

dn,k (P ) := min{d R+ : D P (k) dD P }

et
dn,k := max (dn,k (P )).
P :k<deg(P )n

Lexistence de telles constantes est bien entendu garantie par le thorme de Gauss-
Lucas.

63
Thorme 4.16. Soit L : Pn C[z] (avec n 1), un oprateur linaire tel que L[P ] 6= 0



pour chaque polynme P . Alors L a la proprit que D L[P ] D P si et seulement sil a
une des formes suivantes :

(i) L = zl1 + l2 , o l1 et l2 sont des fonctionnelles linaires ;

(ii) L = (z c)m l3 , pour un m 2, un c C et une fonctionelle linaire non nulle l3 ;

(iii) L[P ] = c(P p)(k) , pour un c C\{0}, un k tel que 0 k n 2 et p := az + b, o

a, b C et |a| dn,k .

Dmonstration.
( = ) Il faut montrer que chacune des trois formes donnes de L implique que D L[P ]

D P .

(i) L = zl1 + l2 .
Dabord, il est vident que dans ce cas D L[P ] = 0, puisque L[P ] a au plus un zro et

que le diamtre dun singleton (et de lensemble vide) est toujours nul. Or, D P 0

trivialement.

(ii) L = (z c)m l3 .
Comme en (i), D L[P ] = 0 clairement, et le rsultat suit.

(iii) L[P ] = c(P p)(k) .

Calculons

(k)
L[P ] = c P (az + b) = cak P (k) (az + b).

Ainsi
Z(L[P ]) = Z cak P (k) (az + b) = Z(P (k) (az + b)),

Donc

D L[P ] = D P (k) (az + b)

1
D P (k)


=
|a|
dn,k

D P
|a|


D P .

( = ) Au cours de la preuve, des sous-rsultats seront mis en bote pour une lecture plus
aise. Commenons par quelques prliminaires qui nous serviront pour la suite.

Si loprateur L est une fonctionnelle linaire, alors il est de la premire forme. Supposons
donc que L ne soit pas une fonctionnelle (mais reste un oprateur linaire), dans le sens o

64
il existe r tel que 0 r n et deg(L[z r ]) 1. Supposons r minimal par rapport cette
proprit. Soient de plus s tel que r s n et C. Alors il existe des nombres as , bs R
et qs N tels que
s  

qs () X s j
as ()z + bs () s
= L[(z + ) ] = L[z sj ]. (4.5)
j
j=0

La premire galit provient de lhypothse D L[P ] D P . En effet, (z + )s na quun seul

zro, donc D (z + )s = 0, et alors L[(z + )s ] est forc davoir au plus un zro, ce qui scrit

bien en toute gnralit comme le membre de gauche de (4.5). La seconde galit provient
quant elle du dveloppement du binme et de lutilisation de la linarit de L.

Considrons la somme dans (4.5), et regardons-la comme un polynme en z. Le degr de ce

polynme doit tre suprieur 1. De plus, il ne dpend pas de la valeur de , sauf possible-
ment pour un certain ensemble fini de ces , notons-le As pour chaque s fix. Cet ensemble
contiendrait en fait les zros du polynme en formant le coefficient directeur du polynme en
z que dfinit la somme. Appelons U := nj=r Aj . La preuve qui suivra sera valable si 0 6 U . Si
0 U , choisissons  6 U . En posant z 0 := z  dans ce qui prcde et refaisant la construction
faite dans ce paragraphe avec z remplac par z 0 , nous trouverons 0 6 U 0 , et la preuve qui
suivra sappliquera la variable z 0 . La preuve suivante est donc gnrale.

Pour finir les prliminaires, remarquons que s1 > s0 = qs1 > qs0 . En effet, avec 6 U , la
seconde galite dans (4.5) montre cela clairement.

Nous en venons maintenant au coeur de la dmonstration. Excutons dabord le calcul suivant.

Soit 6 U . Alors qs () = qs (0) =: qs 1 et as (0) 6= 0 et

r  

qr X r j
L[(z + )r ] = ar ()z + br () = L[z r ] + L[z rj ].
j
j=1

Or, pour t < r, L agit par hypothse comme une fonctionnelle linaire sur z t . Il vient

q
q
ar ()z + br () r = L[z r ] + Qr () = ar (0)z + br (0) r + Qr (),

o Qr () est une constante par rapport z. En particulier, en dveloppant les deux membres
de cette galit et en galisant les coefficients de mmes puissances de z, il vient

ar () = ar (0) =: ar ,
br () = br (0) =: br
et Qr () = 0.

Traitons maintenant 2 cas.

65
(I) qr 2. Nous avons vu que
r  
X r
Qr () = j L[z rj ] = 0.
j
j=1

En regardant maintenant cette somme comme un polynme en , il vient L[1] = L[z] =

L[z 2 ] = = L[z r1 ] = 0.

Si r = n, alors pour chaque polynme Pn Pn

 qr
br
L[Pn ] = cd(Pn )L[z r ] = cd(Pn )aqrr z+ ,
ar

et L est de la forme (ii).

Pour traiter le cas r < n, calculons

q
L[(z + )r+1 ] = ar+1 ()z + br+1 () r+1 (4.6)
= L[z r+1 ] + (r + 1)L[z r ] (4.7)

q
= ar+1 (0)z + br+1 (0) r+1 + (r + 1)(ar z + br )qr . (4.8)

Remarquons quici, qr qr+1 .

Bote 1 Posons ar ,
br
et montrons que


ar+1 (0)z + br+1 (0) = 0

qr+1
par contradiction, cest--dire supposons que ar+1 (0)z + br+1 (0) 6= 0. Alors pour
6= 0, les quations 4.6 4.8 nous donnent lgalit

(r + 1)(ar z + br )qr ar+1 ()z + br+1 () qr+1

 

q =1 .
ar+1 (0)z + br+1 (0) r+1 ar+1 (0)z + br+1 (0)

Comme br
ar est un zro de multiplicit qr du membre de gauche, il en est de mme pour
le membre de droite. Or, il est relativement facile de se convaincre que ledit membre de
droite doit soit sannuler identiquement, soit avoir des zros distincts, ce qui contredit
le fait que qr 2.

Ce rsultat en bote donne directement

qr+1
L[z r+1 ] = ar+1 (0)z + br+1 (0) = 0]

Cet argument peut tre rpt successivement pour chaque k tel que r + 1 < k < n, et
il suit quencore dans le cas prsent, L est de la forme (ii) avec c = br
ar et m = qr .

66
(II) qr = 1.
Supposons que L ne soit pas de la forme (ii). Soit t tel que qr = = qt = 1 et qt+1 2.
Alors
t+1  

qt+1
qt+1 X t+1 j
at+1 ()z + bt+1 () = at+1 (0)z + bt+1 (0) + L[z t+1j ].
j
j=1

Bote 2 Montrons que nous ne pouvons avoir qt+1 3, par contradiction. En effet, si
qt+1 3, en comparant les coefficients de z qt+1 puis de z qt+1 1 des deux membres de
lquation prcdente, il vient at+1 () = at+1 (0) et bt+1 () = bt+1 (0). Cela est dj une
contradiction, puisque pour 6 U , le degr de la somme nest pas nul, donc plus forte
raison la somme nest pas identiquement nulle.

Donc qt+1 = 2.

Bote 3 Montrons maintenant, toujours par contradiction, que nous ne pouvons avoir
t > r. Supposons-le donc. Pour M N, appelons

PM (z) := z t+1 M z t1 .

Alors un petit calcul montre que D PM = 2 M , et alors




D PM 2
lim = lim = 0.
M M M M
Par ailleurs,

2

L[PM ] = at+1 (0)z + bt+1 (0) M at1 (0)z + bt1 (0) .

Les zros de ce polynme sont naturellement

B B 2 4AC
,
2A
avec
2
A = at+1 (0)

B = 2at+1 (0)bt+1 (0) M at1 (0)

C = b2t+1 (0) M bt1 (0).


2 4AC
Ainsi, D L[PM ] = B A et alors




D L[PM ] B 2 4AC
lim = lim
M M M AM
 2 1/2
B 4AC
M M2
= lim
M A
at1 (0)
= 2 6= 0.
at+1 (0)

67
 Cela contredit lhypothse de dpart du thorme, savoir D L[PM ] D PM .

Donc t = r et il vient qr+1 = 2. Ces conditions plus prcises en main, nous avons

2
2
ar+1 ()z + br+1 () = ar+1 (0)z + br+1 (0) + (r + 1)(ar z + br ) + Qr+1 (),
Pr+1
o Qr+1 () = r+1
j L[z r+1j ] est une constante par rapport z. Il suit, en appelant


j=2 j
br+1 := br+1 (0), que

ar+1 () = ar+1 (0) =: ar+1 ;

br+1 () = br+1 + (r+1)a r
2ar+1 ;

2
br+1 () = b2r+1 + (r + 1)br + Qr+1 ().

Les deux dernires galits donnent

(r + 1)ar br+1 2 (r + 1)2 a2r

+ = (r + 1)br + Qr+1 (),
ar+1 4a2r+1

en retranchant un b2r+1 de chaque ct. Maintenant, en galisant dans cette dernire galit
les coefficients des mmes puisances de , nous trouvons

br+1
= abrr , pour r 1
ar+1


2
L[z r1 ] = (r+1)a
2ra 2
r
et
r+1

L[z r2 ] = = L[1] = 0.

Comme L est un oprateur linaire, il peut tre normalis de telle sorte que L[z
r1 ] =
(r 1)!, tout en conservant L[z
r2 ] = = L[1]
= 0. Si nous appelons maintenant
(r+1)!a2 (r+1)!b2
r! , r! , et p(z) := az + b, ce qui prcde mne a2r+1 = et b2r+1 = ,
ar br
a := b := 2 2
et par suite
= a1r (P p)(r1) ,
L

pour P (z) = z j (0 j r + 1). Nous obtiendrions donc bien la forme (iii) si : (a) le
rsultat tenait pour 0 j n et (b) si |a| dn,k . Voici donc les preuves de ces deux
chanons manquants. La premire est une rcurrence.

(a) Supposons que le rsultat tienne pour j = 0, ..., k, o r + 1 k n 1. Alors la mme

preuve que dans ce qui prcde peut-tre refaite :
En comparant les coefficients comme dans la bote 2, nous pouvons montrer que soit
qk+1 = qk + 1, soit qk+1 = qk .
Ensuite, nous pouvons montrer comme dans la bote 3 que le cas qk+1 = qk + 1 est
impossible en considrant le polynme z k+1 M z k1 .

68
 Aprs un calcul lmentaire, il vient qk+1 = k + 2 r 3, et alors

k+1 ] = ak+1 () + bk+1 () qk+1 ak+1 (0) + bk+1 (0) qk+1

+ )k+1 ] L[z



L[(z
k+1  
X k + 1 j k+1j
= L[z ]
j
j=1

= Pk+1 (z + ) Pk+1 (z),

(k+1)!
o Pk+1 (z) := qk+1 ! (az + b)qk+1 . En particulier, ak+1 () = ak+1 (0).

Bote 4 Remarquons maintenant que si l 3 et 6= 0 sont tels que, pour tout w C,

il existe des nombres , gamma tels que

(w + )l wl = d[(w + )l (w + )l ],

alors de deux choses lune : soit (d, , ) = (1, , 0), soit (d, , ) = (1., 0). Cela
provient du fait que si 0 , ..., l sont des nombres complexes tous diffrents les uns des
autres, alors les (w + 0 )l , ..., (w + l )l forment une base des polynmes de degr l, donc
sont tous linairement indpendants.

De ce rsultat en bote, il vient facilement que

k+1 ] = Pk+1 (z),

L[z

ce qui complte linduction.

(b) Lhypothse D L[P ] D P force |a| dn,k . En effet

Z(L[P ]) = Z(ak (P p)(k) )

= Z(P p)(k) )
= Z(ak P (k) p)
= Z(P (k) p),

o k = r 1 et p = az + b. Donc

D (L[P ]) = D (P (k) p)

1
D P (k)


=
|a|
Hyp.

D P
D P (k) |a|D P .

Comme dn,k est le plus petit nombre tel que cette ingalit soit satisfaite, il vient
|a| dn,k .

69
Ce dernier rsultat a t inclus ici simplement pour illustrer que notre sujet, tout ancien quil
soit, est toujours dactualit.

70
Conclusion

Rappelons que la motivation de ce mmoire tait de donner une introduction suffisamment

exhaustive et rigoureuse la thorie des polynmes orthogonaux. Dans ce but, nous avons in-
troduit le sujet par lintermdiaire des problmes de Sturm-Liouville, puis nous avons tabli les
quivalences existantes entre les principales dfinitions que lon rencontre pour les polynmes
orthogonaux. Nous avons ensuite dcortiqu certaines proprits de base desdits polynmes,
et finalement, nous avons abord la thorie analytique des polynmes.

En cours de route, nous avons ouvert des portes sur dautres aspects de la recherche sur les
polynmes orthogonaux. Nous avons entrevu que le schma dAskey classifiait ceux-ci avec les
diffrentes relations qui les relient. Nous aurions aussi pu continuer tudier la thorie analy-
tique des polynmes, et, qui sait, peut-tre que lorsquappliqus aux polynmes orthogonaux
en particulier, certains rsultats gnraux gagnent-ils en puissance. Ceci est sans parler des
sujets lis que nous navons pas abords du tout, mentionnons la thorie des mesures secon-
daires, ou encore lutilisation densembles de polynmes dits biorthogonaux en codage et
dcodage de signaux.

Bref, les objets en apparence simples mais pleins de potentiel que sont les polynmes sont
encore tudis sous plusieurs angles. Il est donc justifi de croire que la thorie continuera
encore de se dvelopper et de donner des applications intressantes.

71
Annexe A

Table de polynmes orthogonaux

classiques

A.1 Polynmes de Legendre

Intervalle fondamental : [1, 1].

Mesure : d(x) = dx.

Normalisation standard : Pn (1) = 1.

Coefficient An de la relation de rcurrence avec cette normalisation :

2n + 1
.
n+1

Carr de la norme du polynme normalis :

2
.
2n + 1

quation diffrentielle :
(1 x2 )y 00 2xy 0 + n(n + 1)y = 0.
Les premiers de ces polynmes sont :

P0 = 1,
P1 = x,
3 1
P2 = x2 ,
2 2
5 3
P3 = x3 x.
2 2

Les polynmes de Legendre sont un cas particulier ( = 1/2) des polynmes de Gegenbauer
qui suivent.

73
A.2 Polynmes de Gegenbauer (ou ultrasphriques)
Intervalle fondamental : [1, 1].
1
Mesure : d(x) = (1 x2 ) 2 dx, > 21 .

Normalisation standard (si 6= 0) :

(n + 2)
Cn() (1) = .
n!(2)

Coefficient An de la relation de rcurrence avec cette normalisation :

2(n + 2)
.
n+1

Carr de la norme du polynme normalis :

212 (n + 2)
.
n!(n + )(())2

quation diffrentielle :

(1 x2 )y 00 (2 + 1)xy 0 + n(n + 2)y = 0.

Les premiers de ces polynmes sont :

()
C0 = 1,
()
C1 = 2x,
()
C2 = + 2(1 + )x2 ,
() 4
C3 = 2(1 + )x + (1 + )(2 + )x3 .
3

Les polynmes de Gegenbauer sont un cas particulier ( = ) des polynmes de Jacobi qui
suivent.

A.3 Polynmes de Jacobi

Intervalle fondamental : [1, 1].

Mesure : d(x) = (1 x) (1 + x) dx, , > 1.

Normalisation standard (si 6= 0) :

(n + 1 + )
Pn(,) (1) = .
n!(1 + )

74
Coefficient An de la relation de rcurrence avec cette normalisation :

(2n + 1 + + )(2n + 2 + + )
.
2(n + 1)(n + 1 + + )

Carr de la norme du polynme normalis :

2++1 (n + + 1)(n + + 1)
.
n!(2n + + + 1)((n + + + 1)

quation diffrentielle :

(1 x2 )y 00 [ ( + + 2)x]y 0 + n(n + 1 + + )y = 0.

Les premiers de ces polynmes sont :

(,)
P0 = 1,
(,) 1
P1 = 2( + 1) + ( + + 2)(x 1),
2
(,) 1
4( + 1)( + 2) + 4( + + 3)( + 2)(z 1) + ( + + 3)( + + 4)(z 1)2 .

P2 =
8

A.4 Polynmes de Tchebychev (premire espce)

Intervalle fondamental : [1, 1].
1
Mesure : d(x) = (1 x2 ) 2 dx.

Normalisation standard : Tn (1) = 1.

Coefficient An de la relation de rcurrence avec cette normalisation : 2.

Carr de la norme du polynme normalis :

(
si n = 0,
.
/2 si n 6= 0.

quation diffrentielle :
(1 x2 )y 00 xy 0 + n2 y = 0.

En rsolvant les intgrales appropries la main, on peut remarquer que lorthogonalit des
Tn provient en fait directement de celle des cos nx. Cela se concrtise avec la formule suivante,
qui sert le plus souvent aux polynmes de Tchebychev,

Tn (x) = cos(n arccos x).

75
Les premiers de ces polynmes sont :

T0 = 1,
T1 = x,
T2 = 2x2 1,
T3 = 4x3 3x.

A.5 Polynmes de Tchebychev (seconde espce)

Intervalle fondamental : [1, 1].
1
Mesure : d(x) = (1 x2 ) 2 dx.

Normalisation standard : Un (1) = n + 1.

Coefficient An de la relation de rcurrence avec cette normalisation : 2.

Carr de la norme du polynme normalis :

2
.
2n + 1

quation diffrentielle :
(1 x2 )y 00 3xy 0 + n(n + 2)y = 0.

De manire analogue aux polynmes de premire espce, ceux de deuxime espce suivent une
quation trigonomtrique, savoir
sin((n + 1))
Un (cos ) = .
sin

Les premiers de ces polynmes sont :

U0 = 1,
U1 = 2x,
U2 = 4x2 1,
U3 = 8x3 4x.

A.6 Polynmes de Hermite (forme physique)

Intervalle fondamental : (, ).
2
Mesure : d(x) = ex dx.

76
Normalisation standard : cd(Hn ) = 2n .

Coefficient An de la relation de rcurrence avec cette normalisation : 2.

Carr de la norme du polynme normalis :

2n n! .

quation diffrentielle :
y 00 2xy 0 + 2ny = 0.

Les premiers de ces polynmes sont :

H0 = 1,
H1 = 2x,
H2 = 4x2 2,
H3 = 8x3 12x.

On dit que les polynmes prcdents sont sous forme physique par opposition la forme
dite probabiliste H
n . La relation entre ces deux formes scrit

n (x) = (1)n (2 n2 n!)1 Hn (2 12 x).

H

A.7 Polynmes de Laguerre

Intervalle fondamental : (0, ).

Mesure : d(x) = ex dx.

(1)n
Normalisation standard : cd(Ln ) = n! .

Coefficient An de la relation de rcurrence avec cette normalisation : n+1 .

1

Carr de la norme du polynme normalis : 1.

quation diffrentielle :
xy 00 + (1 x)y 0 + ny = 0.

Les premiers de ces polynmes sont :

L0 = 1,
L1 = x + 1,
1
L2 = (x2 4x + 2),
2
1
L3 = (x3 + 9x2 18x + 6).
6

77
Les polynmes de Laguerre se gnralisent aux polynmes de Laguerre associs dont la des-
cription suit.

A.8 Polynmes de Laguerre associs

Intervalle fondamental : (0, ).

Mesure : d(x) = x ex dx, > 1.

(1)n
normalisation standard : cd(Ln ) = n! .

Coefficient An de la relation de rcurrence avec cette normalisation : n+1 .

1

Carr de la norme du polynme normalis : 1.

quation diffrentielle :
xy 00 + ( + 1 x)y 0 + ny = 0.

Les premiers de ces polynmes sont :

L0 = 1,
L1 = x + + 1,
1
L2 = x2 2( + 2)x + ( + 2)( + 1) ,

2
1
x3 + 3( + 3)x2 3( + 2)( + 3)x + ( + 1)( + 2)( + 3) .

L3 =
6

Les polynmes de Hermite peuvent se rduire aux polynmes de Laguerre associs avec = 12
laide des formules suivantes (voir (16, p. 106)).
( 12 )
H2m = (1)m 22m m!Lm (x2 )
(1)
H2m+1 = (1)m 22m+1 m!xLm2 (x2 ).

78
Annexe B

Schma dAskey

Cette image provient de (8). Les classes de polynmes au bout dune flche sont des cas
particuliers ou des cas limites de ceux lorigine de la mme fl`che.

79
Annexe C

Rappel sur linterpolation de Lagrange

tant donns n + 1 points (distincts) (x0 , y0 ), (x1 , y1 ), ..., (xn , yn ) du graphe dune fonction
inconnue, nous voulons construire un polynme de degr n interpolant ces points (cest--dire
passant par tous ces points). Lide de base de linterpolation de Lagrange est la suivante. On
construit n + 1 polynmes L0 , L1 , ...Ln de degr n, tels que
(
1 si i = j,
Li (xj ) =
0 si i = 6 j.

Ensuite, le polynme dinterpolation recherch est simplement

n
X
L(x) = yi Li (x).
i=0

La mthode la plus simple pour construire de tels Li est videmment de prendre

n
Y x xi
Li (x) = .
j=0
xi xj
j6=i

Maintenant, il est dun certain intrt de remarquer que le polynme satisfaisant les conditions
de dpart est unique et alors celui que nous avons construit est le seul qui satisfasse lesdites
conditions. En effet, si P et Q sont deux polynmes de degr n passant par les n + 1 points
(xi , yi ), alors P Q est aussi un polynme de degr n, mais qui a au moins les n + 1 valeurs
xi comme racines. Or, on sait bien quun polynme de degr n ayant n + 1 racines doit tre
identiquement nul, et donc P = Q.

81
Annexe D

Zros et points critiques des

polynmes de Legendre

Nous avons consign ici quelques reprsentations graphiques de polynmes de Legendre, com-
pars deux deux. Le but de faire cela est de donner lintuition que les thormes prsents
sur les zros et les points critiques des polynmes orthogonaux sont naturels, tant donnes
les formes que prennent ces polynmes. Sur ces graphiques, les Zij sont des zros et les Wij
des points critiques.
3x2 1
P1 = x, P2 = 2

83
 5x3 3x
P2 et P3 = 2

35x4 30x2 +3
P3 et P4 = 8

Dans chacun de ces graphiques, nous voyons bien que les zros de Pn sont situs strictement
entre ceux de Pn+1 . De plus, nous voyons que les points critiques de chaque polynme sont
situs strictement entre les zros du mme polynme.

84
Pages Wikipdia utiles

Polynmes orthogonaux,
http://fr.wikipedia.org/wiki/Polynomes_orthogonaux

Polynmes de Legendre,
http://fr.wikipedia.org/wiki/Polynome_de_Legendre

Legendre Polynomials,
http://en.wikipedia.org/wiki/Legendre_polynomials

Generalized Fourier Series,

http://en.wikipedia.org/wiki/Generalized_Fourier_series

Srie Gnratrice,
http://fr.wikipedia.org/wiki/Serie_generatrice

Polynme de Tchebyshev,
http://fr.wikipedia.org/wiki/Polynome_de_Tchebychev

Mthodes de quadratures de Gauss

http://fr.wikipedia.org/wiki/Methodes_de_quadrature_de_Gauss

85
Bibliographie

[1] M. AL-GWAIZ : Sturm-Liouville Theory and its Applications. Springer-Verlag, 2008.

[2] F. E. BURK : A Garden of Integrals. The mathematical Association of America, 2007.

[3] E. A. CODDINGTON : An Introduction to Ordinary Differential Equations. Prentice-

Hall Inc., 1961.

[4] C. COHEN-TANNOUDJI, B. DIU et F. LALOE : Mcanique quantique I. Hermann,

diteur des sciences et des arts, 1973.

[5] H. F. DAVIS : Fourier Series and orthogonal Functions. Allyn and Bacon inc., 1963.

[6] A. FORTIN : Analyse numrique pour ingnieur. Clarendon press-Oxford, 2002.

[7] J. FOURIER : Thorie analytique de la chaleur dans les corps solides. Firmin Didot,
pre et fils, 1822.

[8] R. KOEKOEK, P. A. LESKY et R. F. SWARTTOUW : Hypergeometric Polynomials

and Their q-Analogues. Springer-Verlag, 2010.

[9] M. KRAWTCHOUK : Sur une gnralisation des polynmes dHermite. Comptes Ren-
dus Mathematiques, 189(17):620622, 1929.

[10] F. LAROCHE : Polynmes et fonctions de Legendre. Promenades mathmatiques,

http://promenadesmaths.free.fr/, Consult le 20 juillet 2014.

[11] J. MASHREGHI : quations diffrentielles. (notes de cours), Hiver 2012.

[12] N. NICOLOV et B. SENDOV : A converse of the Gauss-Lucas theorem. American

Mathematical Monthly, 121(6):541544, 2014.

[13] Q. RAHMAN et G. SCHMEISSER : Analytic Theory of Polynomials. Presses interna-

tionales Polytechnique, 2011.

[14] R. RESNICK et R. EISBERG : Quantum Physics of Atoms, Molecules, Solids, Nuclei

and Particles. John Wiley and sons inc., 1985.

87
[15] J. ROSTAND : Mesure et intgration. (notes de cours), Automne 2012.

[16] G. SZEG : Orthogonal Polynomials. American mathematical society, 1939.

[17] N. THAKARE et H. MADEHERA : Use of Hermites Method to Obtain Generating

Functions for Classical Orthogonal Polynomials. Indian J. pure appl. Math, 13(2):183
189, 1982.

[18] P. YAP, P. RAVEENDRAN et S. ONG : Krawtchouk Moments as a New Set of Discrete

Orthogonal Moments for Image Reconstruction. IEEE, 1:908912, 2002.

88