Académique Documents
Professionnel Documents
Culture Documents
presentee par
Lu REBILLARD
Composition du Jury :
P.-J. LAURENT (president)
A. RONVEAUX (rapporteur)
J. VAN ISEGHEM (rapporteur)
C. CHAFFY (examinateur)
J. DELLA DORA (examinateur)
3
Remer
iements
Je remer
ie Jean Della Dora, mon dire
teur de these, pour la
onan
e qu'il m'a
a
ordee, pour le re
ul qu'il m'a apporte par ses judi
ieuses remarques et pour la bonne
humeur qui l'a
ompagne en permanen
e.
Claudine Chay a propose le sujet de
ette these, elle a suivi et soutenu ma progression
ave
une grande attention, elle a ete, enn et surtout, d'un
onstant soutien moral. De
tout
ela, je lui suis inniment re
onnaissant.
Moulay Barkatou m'a ete d'une aide pre
ieuse par ses
onnaissan
es sur les operateurs
aux dieren
es, l'asymptotique Gevrey et la theorie de la resommation. Je l'en remer
ie
haleureusement.
Monsieur Pierre-Jean Laurent m'a fait l'honneur immense d'^etre mon president de
jury. Cet honneur est a la hauteur de l'estime et de l'admiration que j'ai pour lui.
Mes remer
iements vont aussi a mes rapporteurs. J'exprime ma gratitude envers Ma-
dame Jeannette Van Iseghem qui a
onsenti de grands eorts pour se plier a des
ontraintes
de dates et d'horaires tres in
onfortables. Je remer
ie Monsieur Andre Ronveaux pour sa
rele
ture experte de mon memoire, ses
onseils avises et le soutien qu'il a apporte a mon
enthousiasme pour l'appro
he hypergeometrique des polyn^omes orthogonaux
lassiques.
Enn, je remer
ie tous les membres de l'equipe Cal
ul Formel au sein de laquelle j'ai
bene
ie de
onditions de travail ideales en termes de
ompeten
es, d'e
oute et d'en
ou-
ragements.
5
6
Table des matieres
9
10
Notations
Nous reportons i
i
ertaines des notations les plus usitees dans
e memoire. La liste
qui suit permet un rappel de notation en
ours de le
ture mais ne se substitue pas a une
denition de
haque item dans le texte.
x d derivation ordinaire
dx
x x dxd derivation d'Euler
x (x2 1) dxd
k;x (x2 1) dxd + (2k + 1)x
k;x (x2 1) dxd 2 + (2k + 1)x dxd
2
E 1 E
2n
r (n 1)E 1 + (n + 1)E
E+E 1
X0
2
(n + k)E + (n k)E 1
Xk
2n
Remarque : on notera la denition des operateurs et r qui ne representent pas
i
i,
ontrairement a un usage assez repandu dans la litterature sur les operateurs aux
dieren
es, les derivees dis
retes : E I et I E 1 .
11
Fon
tions denies sur C :
z+z 1
w z 7!
2
z z 1
v z 7!
2
l z 7! jz 1j + jz + 1j
p
l(z ) + l(z )2 4
r z 7!
2
M designe l'ensemble des fon
tions analytiques sur C sauf en un nombre ni de points.
Autres notations :
Æn;m 1 si m = n ; 0 sinon symbole de Krone
ker
(a)n a(a + 1) : : : (a + n 1) notation de Po
hhammer
(2n)!
n!! 1:3:5 : : : (2n 1) = 2n n!
M transformation de Mellin
12
Introdu
tion
Le travail presente de
e memoire de these se propose d'etudier divers problemes
mathematiques et algorithmiques lies a la re
her
he de series de Chebyshev solutions
d'une equation dierentielle holonome generique
Le quali
atif holonome prend dierents sens selon les
ontextes mathematiques : dans
e memoire il signiera lineaire a
oeÆ
ients polyn^omiaux et qualiera aussi bien une
equation dierentielle que l'operateur dierentiel asso
ie. La re
her
he des solutions de
l'equation (1) a l'aide de series de Taylor est bien ma^trisee : sur le plan theorique par
les resultats d'existen
e d'une base de solutions formelles
onnus depuis le sie
le dernier
depuis les travaux de Fabry et Poin
are jusqu'aux resultats plus re
ents sur la resommation
des solutions formelles en \vraies" solutions de l'equation dierentielle (Balser, Braaksma,
E
alle, Ramis ...) ; et sur le plan algorithmique depuis la manipulation des series de Taylor
maintenant traitee par la plupart des systemes de
al
ul formel modernes jusqu'au
al
ul
ee
tif des solutions formelles (programmes DESIR, DESIR2, ISOLDE et autres) issu des
methodes de polygones de Newton. Les series de Chebyshev sont moins ri
hement dotees
de resultats pour la m^eme problematique : nous avons don
voulu
ontribuer a la re
her
he
de tels resultats.
Le premier probleme ren
ontre dans notre re
her
he reside dans la
apa
ite a appliquer
un operateur dierentiel a une serie de Chebyshev d'une maniere algorithmique
omme
on sait le faire pour les series de Taylor. C'est l'objet de la premiere partie. La methode
que nous avons mise au point s'est averee ^etre tres naturellement generalisable a une
plus grande
lasse de series. Cette generalisation est presentee dans la premiere partie de
e memoire ou nous donnons une methode pour faire agir un operateur dierentiel sur
une serie developpee suivant une famille de polyn^omes hypergeometriques. Les polyn^omes
hypergeometriques verient des equations dierentielles parti
ulieres qui leur
onferent un
grand nombre de proprietes que nous pouvons \transmettre" aux series
orrespondantes.
Parmi les polyn^omes hypergeometriques se trouvent les polyn^omes orthogonaux
lassiques
dont les polyn^omes de Chebyshev. Le premier
hapitre presente les resultats theoriques
qui permettent un travail algorithmique ave
les series de polyn^omes hypergeometriques
et en parti
ulier d'ee
tuer des operations dierentielles sur
elles-
i. Dans le
hapitre 2
nous indiquons nos
hoix de representation informatique des series et des operations qui
ont abouti au programme orthoserie developpe en MAPLE et qui permet la mise en oeuvre
13
Introdu
tion
La se
onde partie est
onsa
ree plus spe
iquement aux series de Chebyshev. Les
raisons de l'inter^et parti
ulier porte aux series de Chebyshev sont exposees dans le premier
hapitre de
ette partie. Cet inter^et provient des proprietes d'approximation des series de
Chebyshev dont les sommes partielles fournissent des approximants polyn^omiaux quasi-
optimaux pour la norme uniforme sur un segment. Un ensemble d'autres proprietes vient
de plus valider du point de vue analytique les pro
edes formels issus de la premiere partie.
L'aboutissement de
ette validation est la
onstru
tion d'une equation re
urrente, que nous
appelons re
urren
e de Chebyshev, veriees par les
oeÆ
ients de Chebyshev des solutions
de l'equation (1).
Dans le
hapitre 4, nous etudions la stru
ture de la re
urren
e de Chebyshev. Cette
etude met en eviden
e des proprietes qui seront utilisees par la suite tant pour le traitement
informatique que pour l'etude theorique des solutions de la re
urren
e de Chebyshev. Apres
es
onsiderations, nous traitons d'une part le probleme de fa
torisation de la re
urren
e
de Chebyshev qui, parfois, n'est pas minimale - dans un sens a denir - et d'autre part
quelques problemes inverses asso
iees a la re
urren
e de Chebyshev :
omment re
onstruire
l'equation dierentielle qui a engrendre la re
urren
e ?
omment
onstruite une re
urren
e
qui ait une solution donnee ? Les reponses a
es problemes sont apprehendees de maniere
onstru
tive, suggerant de fa
on immediate la programmation que nous en avons faite
dans le langage MAPLE.
Le
hapitre 5 souleve l'interrogation prin
ipale que sus
ite la re
urren
e de Chebyshev
et fournit des reponses suivant dierents axes. La stru
ture de la re
urren
e de Cheby-
shev etudiee pre
edemment indique que
elle-
i est d'ordre au moins 2r lorsqu'elle est
engendree par une equation dierentielle d'ordre r. Ce qui signie toute solution de la
re
urren
e de Chebyshev ne
onstitue pas la suite des
oeÆ
ients de Chebyshev d'une
solution de l'equation dierentielle. La question que nous nous posons est don
la nature
de
es solutions surnumeraires auxquels nous asso
ions des series de Chebyshev formelles
divergentes. Dans un premier temps, nous etudions le
omportement asymptotique des
solutions formelles. Pour
ela, nous utilisons des outils et des resultats issus de l'etude
asymptotique Gevrey pour les series de Taylor. Notamment, nous denissons un poly-
gone de Newton-Chebyshev qui permet de determiner a partir de l'equation dierentielle
le
ara
tere Gevrey des solutions formelles d'une maniere tres dire
te. Le
omportement
asymptotique des solutions formelles m^eme s'il
onstitue une information importante (y
ompris dans l'analyse des methodes numeriques asso
iees a la re
urren
e de Chebyshev)
ne marque neanmoins pas le lien entre les solutions formelles et les fon
tions solutions de
l'equation dierentielle. Ce lien est etabli gr^a
e a une representation integrale de
ertaines
solutions formelles, qui fait intervenir expli
itement une fon
tion solution de l'equation
dierentielle. La
orrelation entre l'augmentation du nombre de solutions formelles et les
degres des polyn^omes
oeÆ
ients de l'equation dierentielle est interpr^etee en terme de
se
teurs de de
roissan
e exponentielle que l'on peut determiner expli
itement a l'aide de la
onstru
tion d'une base de solutions formelles (aux sens de Fabry) a l'inni de l'equation.
Une autre fa
on de relier solutions formelles et fon
tions solutions
onsiste a appliquer aux
premieres une methode de resommation pour faire reappara^tre des fon
tions solutions.
Divers pro
edes sont examines.
Enn, dans le dernier
hapitre nous revenons au probleme de resolution numerique de
14
Introdu
tion
l'equation dierentielle. Gr^a
e aux outils informatiques presentes dans la premiere partie
et programmes en MAPLE, la mise en oeuvre de methodes de resolution se trouve grande-
ment simpliee et fa
ilement adaptable. Nous avons essentiellement etudie une -methode
que nous avons experimentee dans une grande gamme de problemes (integration sur un
ontour, problemes aux limites, systemes lineaires et
...). L'usage du
al
ul formel per-
met de plus d'obtenir en modiant -methode des approximations rationnelles pour les
solutions d'un probleme de Cau
hy.
15
Premiere partie
17
Chapitre 1
Series orthogonales
Le but de
e
hapitre est de presenter une methode generale pour appliquer un operateur
dierentiel a une serie developpee suivant une famille de polyn^omes orthogonaux
lassiques.
D'une maniere bra
hylogique, nous dirons une serie orthogonale pour designer une telle
serie. En fait, le resultat qui sera etabli
on
erne la
lasse plus large des series de po-
lyn^omes hypergeometriques. Cette appro
he plus generale
onferera une plus grande unite
a la presentation m^eme si l'orthogonalite est souvent requise dans les appli
ations.
nous pouvons fa
ilement exprimer le resultat de l'appli
ation d'un operateur dierentiel
holonome quel
onque a une serie de Taylor.
Exemple 1 Considerons l'operateur dierentiel
d2 d
+ (3 + x)
L= 7x :
dx2 dx
Alors en utilisant les formules pre
edentes nous etablissons que
1 ! 1
X X
L an xn = ( 7an 1 + nan + 3(n + 1)an+1 + (n + 1)(n + 2)an+2 ) x
n :
n=0 n=0
Cet exemple montre qu'une operation (i
i dierentielle) sur une serie de Taylor s'est tra-
duite par une operation sur les
oeÆ
ients de
elle-
i. Ce phenomene est frequent ave
les
series de fon
tions mais la lo
ution \operation sur les
oeÆ
ients", assez vague, doit ^etre
pre
isee dans un
adre theorique.
Remarque 1 Nous avons adopte une denition restreinte des operateurs aux dieren
es,
mais suÆsante dans le
ontexte de
e memoire, puisqu'en toute generalite un operateur
aux dieren
es agit sur des fon
tions de la variable
omplexe.
On verie aisement que D est stable pour la somme et le produit de F et que l'operateur
I appartient a D . L'ensemble D est don
une sous-algebre de F .
Il est souhaitable de donner une representation simple des elements de D qui fa
ilite
les
al
uls ave
eux-
i. Pour
ela introduisons
ertains operateurs parti
uliers a partir
desquels nous
onstruirons tous les autres. L'operateur de de
alage (shift operator) note
assez
ouramment E ainsi que son operateur re
iproque E 1 sont denis respe
tivement
par
Ef (n) = f (n + 1) et E 1 f (n) = f (n 1) :
Les operateurs Ek se denissent alors re
ursivement, pour tout entier k, par
E0 = I ; Ek+1 = E:Ek et Ek 1 = E 1 :Ek :
A toute fon
tion f de S on asso
ie inje
tivement l'operateur fb de D qui a toute fon
tion
g de S asso
ie la fon
tion fgb d
enie par
(fg
b )(n) = f (n)g (n) :
Ainsi tout operateur aux dieren
es F s'e
rit de maniere synthetique sous la forme
s
X
F= fbk Ek : (1.3)
k=r
Il est habituel d'abuser des notations en e
rivant plut^ot l'operateur F sous la forme suivante
s
X
F= fk (n)Ek : (1.4)
k=r
Cet abus est pratique en
e qu'il allege les notations
omme nous le verrons plus bas et
par
e qu'il fait appara^tre la variable (i
i n) sur laquelle agit l'operateur de de
alage.
Il peut ^etre utile d'e
rire un operateur aux dieren
es sous forme d'une somme (faus-
sement) innie
X1
F= fk (n)Ek (1.5)
k= 1
ou seul un nombre ni de fon
tions fk sont non identiquement nulles. Nous denissons
alors, par analogie ave
les polyn^omes, le degre et la valuation d'un operateur aux dieren
es.
Denition 3
Nous appellons valuation de l'operateur F deni par (1.5), la quantite
d (F ) = minfk j fk non identiquement nulg
et degre de F la quantite
d+ (F ) = maxfk j fk non identiquement nulg
Enn, l'ordre de l'operateur F est deni par
ord(F ) = d+ (F ) d (F ) :
21
Chap. 1 : Series orthogonales
Les deux inegalites pre
edentes peuvent se rempla
er par des egalites si les
oeÆ
ients de
F et G appartiennent a une sous-algebre integre de S. C'est, en parti
ulier, le
as pour
les operateurs a
oeÆ
ients polyn^omiaux ou rationnels en n que nous ren
ontrerons par
la suite.
22
1.1 Operations formelles sur les series de fon
tions
Il est fa
ile de voir que l'appli
ation qui, a un operateur aux dieren
es, asso
ie son adjoint
est une appli
ation lineaire. Bien que
ette appli
ation ait d'autres proprietes interessantes,
nous n'aurons a utiliser que la linearite.
Proposition 1
Soit fan g et fbn g deux suites de S et F 2 D . Alors
1
X 1
X
an F (bn ) = F (an ) bn
n= 1 n= 1
Demonstration :
La demonstration
onsiste en la ree
riture suivante
1 1 s !
X X X
an F (bn ) = an fk (n)bn+k
n= 1 n= 1 k=r
Xs X1
= an fk (n)bn+k
k=r n= 1
Xs X 1
= fk (n k)an k bn
k=r n= 1
1 r !
X X
= f k (n + k)an+k bn
n=1 k= s
X1
= F (an ) bn :
n= 1
2
Lorsqu'une operation f est lineaire, nous pouvons la faire agir terme a terme sur une serie
formelle !
X1 X1
f
n Pn (x) =
n f (Pn (x))
n= 1 n= 1
Si, de plus, l'operateur f agit de fa
on parti
uliere (mais tres repandue en pratique) sur
les fon
tions Pn nous avons la
23
Chap. 1 : Series orthogonales
Proposition 2
Soit fPn (x)g une suite de fon
tions et f un operateur lineaire agissant sur les Pn .
Supposons qu'il existe une suite de fon
tions fQn (x)g et un operateur aux dieren
es
F tels que
f (Pn (x)) = F (Qn (x)) (1.7)
alors nous avons
!
1
X 1
X
f an Pn (x) = F (an ) Qn (x) :
n= 1 n= 1
Demonstration :
Ce resultat est l'appli
ation de la proposition 1 pour bn = Qn (x). 2
Nous avons utilise des series ave
des indi
es variant de 1 a 1. Il est plus usuel, et
e
sera le
as par la suite, d'avoir une indexation de 0 a 1. La proposition 2 s'applique a
es
series moyennant la
onvention an = 0, Pn 0 et Qn 0 pour n negatif. Et nous aurons
alors sous les m^emes hypotheses que
elles de la proposition 2
1 ! 1
X X
f an Pn (x) = F (an ) Qn(x) :
n=0 n=0
24
1.1 Operations formelles sur les series de fon
tions
depuis longtemps (voir par exemple les travaux de Pin
herle [54℄). Nous avons presente la
transformee de Mellin par
e que nous utiliserons
et outil plus loin et aussi par
e qu'elle
est un modele que nous voulons adapter a d'autres types de series, en parti
ulier les series
orthogonales que nous allons denir
i-apres.
existent pour tout entier n 0 (
ette hypothese etant immediatement veriee si ℄a; b[ est
un intervalle ni). Alors l'integrale
Z b
w(x)P (x)Q(x) dx
a
existe pour tous polyn^omes P et Q et denit un produit s
alaire sur R[x℄ note (P; Q)w .
Denition 5
On appelle polyn^omes orthogonaux relativement au poids w, une famille de poly-
n^omes fPn gn2N veriant
{ Pn est de degre n,
{ pour tout n et m distin
ts, Pn et Pm sont orthogonaux relativement au produit
s
alaire (:; :)w
'est-a-dire que (Pn ; Pm )w = 0.
L'existen
e d'un systeme de polyn^omes orthogonaux pour un produit s
alaire donne se
demontre de fa
on
onstru
tive en orthogonalisant le systeme f1; x; x2 ; g par le pro
ede
de Gram-S
hmidt. Pour plus de details, voir par exemple l'ouvrage de Szego [61℄.
26
1.2 Polyn^omes orthogonaux
lassiques
Proposition 4
Soit Q un polyn^ome de R[x℄ de degre m et fPn g une famille orthogonale. Alors
m
X (Pn ; Q)w
Q(x) = n Pn (x) ave
n = :
n=0
(Pn ; Pn )w
Demonstration :
Puisque qu'une famille de polyn^omes orthogonaux est \etagee" en degre, nous savons que la
suite fPn gn=0::m
onstitue une base de l'espa
e Rm [x℄ des polyn^omes de degre au plus m.
Ainsi si Q 2 Rm [x℄ alors il existe des
oeÆ
ients 0 ; ; m tels que
m
X
Q(x) = n Pn (x) :
n=0
Pour tout n, 0 n m,
al
ulons le produit s
alaire
m
X
(Pn ; Q)w = k (Pk ; Pn ) = n (Pn ; Pn )w :
| {z }
k=0
nul si k6=n
Ce qui prouve le resultat enon
e. 2
Corollaire 1
Le polyn^ome Pm est orthogonal a tout polyn^ome de degre stri
tement inferieur a m.
Demonstration :
Soit Q un polyn^ome de degre stri
tement inferieur a m. Alors
m
X1
(Pm ; Q)w = n (Pm ; Pn )w = 0 :
| {z }
n=0 0
2
Une autre
onsequen
e de la proposition 4 est le resultat tres important suivant
Proposition 5 Uni
ite des polyn^omes orthogonaux
Soit deux familles fPn g et fQn g orthogonales sur un m^eme segment ℄a; b[ relative-
ment au m^eme poids w. Alors les deux familles sont identiques a une normalisation
pres i.e. qu'il existe des
onstantes
n telles que pour tout n, Qn (x) =
n Pn (x).
Demonstration :
D'apres la proposition 4 le polyn^ome Qn se de
ompose sous la forme
n
X (P ; Q )
Q(x) = k Pk (x) ave
k = k n w :
k=0
(Pk ; Pk )w
Or d'apres le
orollaire 1, pour tout k < n (Pk ; Qn )w = 0 puisque Qn est orthogonal a tout
polyn^ome de degre stri
tement inferieur a n. Il reste don
que Qn = n Pn ,
e qui prouve le
theoreme en prenant
n = n . 2
Nous donnons maintenant une propriete
ara
teristique des polyn^omes orthogonaux.
27
Chap. 1 : Series orthogonales
28
1.2 Polyn^omes orthogonaux
lassiques
Mais une telle presentation des polyn^omes orthogonaux
lassiques ne souligne guere les
liens qui les unissent. Ces liens vont appara^tre dans l'appro
he par la theorie des poly-
n^omes hypergeometriques.
Nous voyons ainsi qu'une famille de polyn^omes hypergeometriques est entierement determinee
par la donnee du triplet
(; ; Bn ) (1.15)
29
Chap. 1 : Series orthogonales
(x) = C
jx aj+1 jb xj+1 : (1.21)
(x a)(b x)
La latitude que nous avons sur la valeur (et don
le signe) de la
onstante C nous permet
de simplier l'expression
i-dessus en
(x) = jx aj jb xj
(en tout rigueur
ette simpli
ation n'est valide que sur un intervalle ne
ontenant ni a ni
b
e qui sera le
as par la suite). Nous supprimerons les valeurs absolues plus bas suivant
les valeurs des parametres et . En exprimant les
oeÆ
ient
et d du polyn^ome en
fon
tion de a, b, et , nous avons
(x) = ( + + 2)x + (b + a + a + b) :
Les
as d'orthogonalite dependent des signes de et .
Premier
as : > 1 et > 1
32
1.2 Polyn^omes orthogonaux
lassiques
Nous nous pla
ons sur l'intervalle ℄a; b[ sur lequel nous prenons (x) = (x a) (b x) .
On verie aisement que
(x)(x)xk jx=a = (x)(x)xk jx=b = 0
quelque soit k entier. Le theoreme 1 implique alors que les polyn^omes hypergeometriques
asso
ies a et sont orthogonaux sur [a; b℄ relativement au poids (x a) (b x) . L'uni
ite
(a un normalisation pres) des polyn^omes orthogonaux nous indique que dans le
as 2 ou
a = 1 et b = 1, la famille de polyn^omes determinee par
8
>
> (x) = 1 x2
<
(x) = ( + + 2)x + ( )
>
>
:
(x) = (1 x) (1 + x)
n = n(n + + + 1)
ave
la normalisation (dans la formule de Rodrigues)
( 1)n
Bn = n
2 n!
est
elle des polyn^omes de Ja
obi. Les polyn^omes de Ja
obi sont notes assez tradition-
nellement Pn(;) . Mais pour eviter la
onfusion ave
la notation designant un polyn^ome
hypergeometrique generique, nous les noterons Jn(;) . Un
as parti
ulier des polyn^omes
de Ja
obi sont les polyn^omes de Gegenbauer denis par
(2)n
Cn() = J ( 1=2; 1=2) :
( + 1=2)n n
Cette famille de polyn^omes
ontient en parti
ulier les polyn^omes de Legendre, Cn(1=2) , et
les polyn^omes de Chebyshev proportionnels a Cn(0) . Nous reviendrons longuement sur
es
derniers.
Deuxieme
as : < 0 et > 1
Nous nous pla
ons sur ℄b; +1[ ave
(x) = (x a) (x b) . Les hypotheses du theoreme
1 sont alors veriees pour K = (jj 1)=2. Dans le
as ou a = 0, nous obtenons la
famille dite des polyn^omes de Romanovski de type VI telle que (en posant p =
et q = pour reprendre les notations de l'arti
le de Romanovski)
Z 1
p q 1
(x b)q x pPn Pm dx = 0 n 6= m et n + m < :
b 2
Troisieme
as : > 1 et < 0
Ce
as est symetrique au pre
edent. Nous avons orthogonalite sur ℄ 1; a[ relativement
au poids (a x) (b x) ave
K = (j j 1)=2.
3
x 7! x b si les ra
ines de sont, avant tranformation, b ia
33
Chap. 1 : Series orthogonales
34
1.2 Polyn^omes orthogonaux
lassiques
> 1 et < 0
Orthogonalite sur ℄ 1; a[ par rapport au poids (a x) ex.
Le polyn^ome est
onstant
Nous supposons que 1 et nous e
rivons sous la forme (x) = 2x + . Nous avons
don
des famille de polyn^omes hypergeometriques denis par
8
>
>
(x) = 1
<
(x) = 2x +
x2 +x : (1.25)
>
>
:
(x) = e
n = 2n
Ces polyn^omes sont orthogonaux relativement a sur ℄ 1; 1[ lorsque < 0. Nous
obtenons les polyn^omes d'Hermite Hn pour = 1 et = 0 i.e. ave
les elements
8
>
>
(x) = 1
<
(x) = ex2
>
>
:
(x) = 2x
n = 2n
et la normalisation
Bn = ( 1)n :
35
Chap. 1 : Series orthogonales
Remarque 4 Dans tous les
as ou il y avait orthogonalite, nous avons rempla
e la
ondi-
tion n 6= m du theoreme 1 par n 6= m
ar dans tous
es
as on pourra verier que la
fon
tion n 7! n est inje
tive sur le domaine requis (
f remarque 3).
36
1.2 Polyn^omes orthogonaux
lassiques
En remarquant que
n 1 (0)1 n (0) = (0)2 (n 1)2 (0 (0))2
et que
0 (0)n 1 (0) (0) 0 = 0 (0) (0) (0) 0 + (n 1)0 (0)2
nous obtenons
I = 2 0 [0 (0) (0) (0) 0 ℄ 00 (0)2
+ 2(n 1)0 (0)2 0 + (n 1)2 0 (0)2 00 4(n 1)(0)00 (0n 1)=2
| {z }
2(n 1)0 (0)2 (0n =
1) 2
1 00 2
= 2 (0) + 0 (0) 0 (0) (0)( 0 )2 + (n 1)(0n 1)=2 0 (0)2 200 (0) :
2
En utilisant le developpement de Taylor du polyn^ome en 0
00
(x) = (0) + 0 (0)x + x2
2
pour evaluer au point (0) nous etablissons que
0
(0) (0) 1 (0)2
( 0 )2 0 (0) 0 + 00 0 2
= ( 0 )2 (0)
0 2 ( )
1
= (0)( 0 )2 0 (0) (0) 0 + 00 (0)2 ) :
2
En ee
tuant la substitution
orrespondante dans l'expression de I nous obtenons le resultat
enon
e. 2
La deuxieme relation que nous presentons est une formule de derivation dans laquelle la
derivation depend de la famille de polyn^omes
onsideree puisqu'il s'agit de (x) dxd . Cette
relation, dite relation de stru
ture, est donnee dans [47, p. 39, formule (7)℄ sous la forme
0 (0n 1)=2 Bn
(x)Pn = P (x)Pn : (1.26)
n0 Bn+1 n+1 n
Comme nous voulons que les
oeÆ
ients de la
ombinaison lineaire de polyn^omes Pn dans
le membre droit ne dependent que de n, nous utilisons la proposition 9 pour eliminer la
variable x dans le terme n(x)Pn . Ainsi, en e
rivant n (x) = n(0) + n0 x, nous obtenons
la relation suivante
(x)P 0 = 1 (n)Pn+1 (x) + 0 (n)Pn (x) + 1 (n)Pn 1 (x)
n
ou
(0n 1)=2 Bn 0
1 (n) = (n)
n0 Bn+1 n 1
0 B
= 0(n 0 1)=2 n [n0 1=2 (0n 1)=2 ℄
n n 1=2 Bn+1 | {z }
n 00
2
37
Chap. 1 : Series orthogonales
(0n 1)=2
0 (n) = 0 n (0) + n0 0 (n)
n
0
(n 1)=2
1 00 0
= n (0) + 0 [ n(1 n) (0) + 2n (0)℄
n0 n 1
0
(n 1)=2 0
= [ (0) + 00 n(1 n) (0) + 0 2n (0)℄ :
n0 n0 1 n 1 n
(0n 1)=2 00
= [n (0) n 0 0 (0)℄
n0 n0 1
(0n 1)=2 0
1 (n) = n 1 (n) :
n0
Et en rempla
ant les
oeÆ
ients 1 (n), 0 (n) et 1 (n) par leurs expressions nous obtenons
la
Proposition 10 Relation de stru
ture
Soit fPn g une famille de polyn^omes hypergeometriques, solutions de l'equation
(1.11), alors il existe un operateur tel que
(x)Pn0 = Pn (x) = 1 (n)Pn+1 (x) + 0 (n)Pn (x) + 1 (n)Pn 1 (x)
ave
(0n 1)=2 nBn 00
1 (n) = 0 0 ;
nn 1=2 2Bn+1
0
0 (n) = (n0 01)=2 n[0 (0) 0 00 (0)℄ ;
n n 1
(0n 1)=2 nBn
(0)
1 (n) = (n 1) 0n 1 0 (0)2 200 (0) ( 0 )2 :
n0 1 n0 1 Bn 1 2 0
2
Remarque 5 Les
oeÆ
ients 1 (n), 0 (n) et 1 (n) s'expriment en fon
tion des
oeÆ-
ients de la re
urren
e a trois termes :
n 00
1 (n) = (n) ;
2 1
1
0 (n) = ( (n)) ;
2 0
1 (n) = 0n 1 1 (n) :
2
La troisieme relation que nous allons presenter lie les polyn^omes Pn et Pn0 . Pour
ette
raison nous l'appelons relation de derivation mais
e n'est pas une appellation aussi
ou-
ramment employee que
elles des deux premieres relations. Derivons la re
urren
e a 3
termes (1.10), nous obtenons
xP 0 + Pn = 1 (n)P 0 (x) + 0 (n)P 0 (x) + 1 (n)P 0 (x) :
n n+1 n n 1
Nous substituons les derivees Pn0 par P~n 1 = Pn0 . La famille fP~n g, de polyn^omes hy-
pergeometriques d'apres la proposition 8, verie, d'apres la proposition 9, une re
urren
e
38
1.2 Polyn^omes orthogonaux
lassiques
a trois termes ave
des
oeÆ
ients que nous noterons 10 (n), 00 (n) et 0 1 (n). En utilisant
ette relation pour ree
rire le terme xPn0 , il vient
Pn = 0 (n)P~n (x) + 1 (n)P~n 1 (x) + 2 (n)P~n 2 (x)
ave
0 (n) = 1 (n) 10 (n 1) ;
1 (n) = 0 (n) 00 (n 1) ;
2 (n) = 1 (n) 0 1 (n 1) :
Pour expli
iter les
oeÆ
ients
i-dessus il nous faut expli
iter les
oeÆ
ients i0 . Pour
ela,
nous appliquons la proposition 9 au triplet (; + 0 ; n+1 Bn+1 ),
e qui se traduit par
les substitutions
n+1 Bn+1 Bn ;
n+1 n :
Cal
ul de 0 (n)
En ee
tuant les substitutions susmentionnees, il vient
0 n Bn 0n2 n
1 (n 1) = 0 = (n)
n+1 Bn+1 n 1 n n + 1 1
0
2
et nous en tirons
1
1 (n) = 00 (n(1 n) (0) (n 1)(2 n)+1 (0) + 2n 1 (0))
n n0
0 1
0 (2n (0) 2n 1 (0))
1
= 00 (0) 0 0 (0) :
n n0
0 1
Il appara^t que 1 (n) = 0 (n)=n et don
, d'apres la remarque 5,
(0 (n))
1 (n) = :
2n
Cal
ul de 2 (n)
Ce dernier
al
ul est un peu plus deli
at et pour etablir le lien ave
la re
urren
e a 3
termes nous rappelons que
nBn 1
1 (n) =
Bn 1 n 1=2 n0 1
0 I
39
Chap. 1 : Series orthogonales
ave
(0)
I = (n 1) 0n 0 (0)2 200 (0) ( 0 )2 :
2
1
0
En pro
edant a la m^eme substitution que dans les 2
as pre
edents nous obtenons
(n 1)n Bn 1
0 1 (n 1) = I0
n 1 Bn 1 n0 1 n0 1
2
ou
(0) + 0 (0)
I 0 = (n 2) 0n2 0 (0)2 200 (0) ( 0 + 00 )2 :
0 + 00
Des expressions de 1 (n) et 0 1 (n 1) nous tirons don
Bn 1
2 (n) = nn 1 I (n 1)n I 0 : (1.27)
n 1 Bn 1 n0 1=2 n0 1
Introduisons la notation
Æ() = 0 (0)2 200 (0) :
Ave
un peu de
al
uls, on montre, d'une part, que
(0) + 0 (0) (0) 1
( 0 + 00 )2 = ( 0 )2 ( 0 + 00 )Æ()
0 + 00 0 2
Maintenant, si nous expli
itons
ette relation en utilisant les
oeÆ
ients fournis par les
propositions 9 et 10 nous obtenons la
40
1.3 Des polyn^omes aux series
ou
(0)
I = 2(n 1) 0n 0 (0)2 00 (0) ( 0 )2 :
2
1
0
Remarque 6 Les
oeÆ
ients 0 (n), 1 (n) et 2 (n) s'expriment en fon
tion des
oef-
ients de la re
urren
e a trois termes :
1 (n)
0 (n) = ;
n+1
(0 (n))
1 (n) = ;
2n
00
2 (n) = (n) :
2 0n 2 1
2
Les deux premieres egalites ont ete montrees plus haut, la troisieme se verie aisement.
Ainsi avons nous etabli les trois relations qui vont induire les resultats sur les series de
polyn^omes hypergeometriques, dont la sous-
lasse importante des series de polyn^omes
orthogonaux
lassiques.
41
Chap. 1 : Series orthogonales
Proposition 12
Soit fPn g une famille de polyn^omes de type hypergeometrique, alors il existe des
operateurs aux dieren
es X , B et tels que
X1 1
X
x an Pn (x) = X(an )Pn (x) ; (1.28)
n=0 n=0
d X1 X1
(x) a P (x) =
dx n=0 n n
(an)Pn (x) ; (1.29)
n=0
1
X 1
X
an Pn (x) = B(an )P~n (x) : (1.30)
n=0 n=0
Demonstration :
Cette proposition est l'appli
ation de la proposition 2 dans laquelle X , B et sont les
operateurs aux dieren
es adjoints respe
tivement aux operateurs X de la proposition 9, B
de la proposition 11 et de la proposition 10. 2
La forme expli
ite des operateurs X, B et de la proposition 2 en fon
tion du triplet
[; ; Bn ℄ qui denit la famille de polyn^omes hypergeometriques auxquels ils s'appliquent
s'obtient gr^a
e aux propositions de la se
tion 1.2.5 et a la notion d'operateur adjoint. An
de ne pas assener a nouveau au le
teur de longues formules qu'un programme MAPLE
genere fort bien, nous nous
ontenterons d'expli
iter les operateurs relatifs aux polyn^omes
orthogonaux
lassiques. Pour
ela, nous e
rivons les operateurs sus-mentionnes sous la
forme
X = x 1 (n)E 1 + x0 (n)I + x1 (n)E ;
B = b0 (n)I + b1 (n)E + b2 (n)E2 ;
= s 1(n)E 1 + s0(n)I + s1(n)E :
La table 1.1 donne la valeur de
es dierents
oeÆ
ients.
Les operations elementaires sur les series donnees par la proposition 12 nous per-
mettent d'appliquer formellement a une serie developpee suivant une famille de polyn^omes
hypergeometriques, un operateur dierentiel appartenant a C [x; (x) dxd ℄. Soit L un tel
operateur
r
X d k
L = pk (x) (x)
k=0
dx
alors nous
al
ulons fa
ilement
1 ! 1 "X
r #
X X
L an Pn (x) = pk (X) (an )Pn (x) :
k (1.31)
k=0 k=0 k=0
Cependant un operateur dierentiel n'est en general pas element de C [x; (x) dxd ℄ et bien
qu'il soit toujours possible de se ramener a
e
as par multipli
ation par une puissan
e
adequate de , nous allons de
rire un pro
ede qui s'applique dire
tement et dans tous les
42
1.3 Des polyn^omes aux series
Ja
obi Gegenbauer Laguerre Hermite
p(0)
n Jn(;) Cn() L(n) Hn
p(1)
n Jn(+1;+1) Cn(+1) L(n+1) Hn
d0 (n) n++ +2 2 1 2(n + 1)
2
x 1 (n) n n 1
(2n++ 1)(2n++ ) 2(n+ 1) 2
Tab. 1.1 { CoeÆ
ients pour les operations sur les polyn^omes orthogonaux
lassiques
Chap. 1 : Series orthogonales
Considerons une famille fPn g de polyn^omes hypergeometriques. Nous denissons les
familles de polyn^omes hypergeometriques fPn(k) g
omme suit
(
Pn(0) = Pn
(k+1) ; (1.32)
dk+1 (n)Pn = dxd Pn(k+1)
ou les dk+1 sont des fon
tions de n qui normalisent les familles
onstruites. Maintenant, si
nous derivons les series en Pn(k) termes a termes, nous obtenons
d X1 X1
(k
an Pn =) an dk+1 (n 1)Pn(k+1)
1
dx n=0 n=1
1
X
= dk+1 (n)an+1 Pn(k+1) :
n=0
Adaptons la formule de
hangement de base (1.30) aux familles que nous avons intro-
duites. Pour un k xe, la formule (1.30) de la proposition 12 nous indique l'existen
e d'un
operateur B tel que
1
X 1
X d (k)
an Pn(k) = B(an ) P
n=0 n=0
dx n+1
X1
= B(an )dk+1 (n)Pn(k+1) :
n=0
Si nous introduisons l'operateur B k egal a dk+1 (n)B, la formule pre
edente devient
1
X 1
X
an Pn(k) = B k (an )Pn(k+1) : (1.35)
n=0 n=0
44
1.3 Des polyn^omes aux series
onstitue pas une operation formelle puisqu'elle implique des
onsiderations de
onvergen
e
sur les
oeÆ
ients. Nous reviendrons aussi sur
e point dans le
as des series de Chebyshev.
Revenons momentanement aux polyn^omes orthogonaux generaux. Nous avons vu que,
en dehors du
as des polyn^omes orthogonaux
lassiques, les derivees de polyn^omes or-
thogonaux ne sont pas des polyn^omes orthogonaux. Mais puisque nous
onsiderons un
ensemble beau
oup plus grand que les polyn^omes orthogonaux
lassiques, est-il possible
que pour
ertaines famille de polyn^omes que la famille derivee (non ne
essairement or-
thogonale) s'exprime en fon
tion de la famille originelle via un operateur aux dieren
es ?
Bonan et Nevai [5℄ ont montre que les seuls polyn^omes orthogonaux sur un intervalle inni
de R a verier une relation du type
P 0 = n Pn k + n Pn l
n
ou k et l sont deux entiers stri
tement positifs5 sont les polyn^omes orthogonaux pour un
poids du type
w(x) = e Ax Bx :
2 4
Illustrons par un exemple l'utilisation de notre s
hema general et la ne
essite d'une
automatisation pour son emploi.
Exemple 2 Reprenons l'operateur dierentiel de l'exemple 1
d2 d
+ (3 + x)
L= 7x
dx 2 dx
et appliquons le, en utilisant nos formules, a une serie de Laguerre
1 ! 1
X X
L an Ln() = (7nan 1 (27n + 21 + 7)an + (39n + 57 + 20)an+1
n=0 n=0
(25n + 53 + 19)an+2 + 6(n + 3 + )an+3 ) Ln(+2)
puis a une serie d'Hermite
1 ! 1 7
X X
L an H n = a + nan (n + 1)an+1 + 6(n + 1)(n + 2)an+2 Hn :
n=0 n=0
2 n 1
Pour les series de Ja
obi, le resultat general (
'est-a-dire pour et quel
onques) ne
tient pas sur une seule page, nous produisons don
un
as parti
ulier ( = 1 et =
2) qui donnera une idee du
al
ul et
onvain
ra probablement le le
teur de la ne
essite
d'automatiser
elui-
i. Ainsi, nous avons
1 ! 1
X X
L an Jn(1;2) = bn Jn(3;4)
n=0 n=0
5
Il est d'ailleurs fa
ile de voir que ne
essairement k = 1.
46
1.3 Des polyn^omes aux series
+ (44(2
n3 +24 n2 +55 n 21)(n+4)(n+5)(n+6)(n+7)
n+3)(2 n+5)(n+2)(n+3)(2 n+9)(2 n+7) an 1
+(
16 n5 +352 n4 +3032 n3 +12752 n2 +26331 n+22050)(n+7)
4(2 n+5)(2 n+7)(2 n+9)(2 n+11) an+1
7 (n+6)(n+5)(n+4)
4(2 n+9)(2 n+11)(2 n+13) an+4
e qui peut faire hesiter a prendre une feuille blan
he et un
rayon.
47
Chap. 1 : Series orthogonales
En supposant que la serie au
entre soit uniformement
onvergente, l'identi
ation terme
a terme autorisee par l'orthogonalite des Pn(r) engendre l'equation re
urrente suivante
L(an) = qn ; 8n 0 : (1.38)
Cette methode de
onstru
tion de re
urren
e sera etudiee plus pre
isement dans le
as des
series de Chebyshev pour lesquelles nous fournirons des resultats de
onvergen
e validant
l'existen
e de la re
urren
e (1.38).
Le probleme de
onvergen
e ne se pose pas lorsque que nous appliquons notre methode
a des series nies. Cette remarque nous permet notamment d'utiliser nos resultats pour le
probleme de
onnexion entre familles de polyn^omes orthogonaux
lassiques. Donnons un
exemple.
Exemple 3 Connexion entre les polyn^omes de Ja
obi Jn(a;b) et Jn(
;d) . Cette relation est
etablie dans un arti
le de Godoy et al. [29℄ pour le
as monique. Nous trouvons don
i
i
une re
urren
e legerement dierente. En appliquant l'operateur dierentiel
d2 d
Lm = (1 x2 ) + (b a (a + b + 2)x) + m(m + a + b + 1)
dx 2 dx
a
ha
un des membres de l'egalite
1
X
Jm(a;b) = Cn (m)Jn(
;d) ave
Cn (m) = 0 8n > m :
n=0
nous annulons le premier membre. L'a
tion sur le se
ond membre se traduit par l'appli-
ation d'un operateur aux dieren
es sur les
oeÆ
ents Cn (m) et l'identi
ation terme a
terme nous donne une re
urren
e. Notons = a + b +1 et =
+ d +1, alors la re
urren
e
generee est
(n + )(n + 1)(m n + 1)(m + n + 1)
Cn 1 (m)
(2n + 2)(2n + 1)
(
d)[2m(m + ) + 2n(n + ) + ( 1)( + 1)℄ b a
+ + (n + ) Cn (m)
2(2n + 1)(2n + + 1) 2
(n +
+ 1)(n + d + 1)(m + n + + 1)(n m + + 1)
+ Cn+1 (m) = 0 :
(2n + + 1)(2n + + 2)
Remarque : pour
onstruire
ette re
urren
e nous n'avons pas suivi exa
tement le s
hema
general auquel
as 2nous eussions obtenu une re
urren
e d'ordre 5. Mais pour appliquer
la partie (1 x2 ) dxd 2 de l'operateur Lm nous avons utilise la relation de stru
ture. Cela
revient exa
tement a travailler dans la base Q0n au sens deni dans l'arti
le sus-mentionne.
La m^eme methode peut servir au
al
ul de la re
urren
e veriee par les
oeÆ
ients de
onnexion entre une famille de polyn^omes orthogonaux
lassiques et une famille de po-
lyn^omes orthogonaux semi-
lassiques. Les polyn^omes orthogonaux semi-
lassiques - sui-
vant la denition introduite dans [45℄ - sont des polyn^omes orthogonaux qui verie une
relation de stru
ture de la forme
n+t
X
R(x)Pn0 +1 (x) = rn; Pn+k (x)
=n s
48
1.3 Des polyn^omes aux series
ou t et s sont deux entiers positifs et R(x) est un polyn^ome de degre t. Cette relation de
stru
ture ajoutee a la re
urren
e a 3 termes veriee par les polyn^omes Pn
onduit,
omme
nous l'avons fait pour les polyn^omes orthogonaux
lassiques, a un s
hema pour l'appli
a-
tion d'un operateur dierentiel element de C [x; R(x) dxd ℄ a une serie formelle developpee
suivant les Pn . Soit fQm g une famille de polyn^omes orthogonaux
lassiques. Le resultat
de la multipli
ation a gau
he par R2 (x) de l'operateur dierentiel hypergeometrique qui
annule Qm s'exprime sous la forme
d 2 0 d
(x) R(x) + (R(x) (x) R (x)(x)) R(x) + m R2 (x) :
dx dx
En appliquant
et operateur a
haque membre de l'egalite
m
X
Qm (x) = Cn (m)Pn (x)
n=0
nous annulons le membre de gau
he et nous obtenons au se
ond membre une nouvelle
om-
binaison en Pn gr^a
e au s
hema indique. Nous en tirons une re
urren
e pour les
oeÆ
ients
Cn (m)
omme dans l'exemple 3.
P~ = A R~ (1.44)
50
1.3 Des polyn^omes aux series
ou 0 1 0 1
p0 p0
B ..
C B .. C
B
B
C
C. B
B . C
C
P~ =B
B pk CC ; R~ =B
B pk CC (1.45)
B .. C B .. C
. A . A
pr pr
et ou la matri
e A est denie par
(
Cji xj i
si i j
Ai;j = : (1.46)
0 si i > j
Nous allons inverser la relation (1.44) en interpretant la matri
e A
omme la matri
e d'un
endomorphisme d'espa
e ve
toriel (ou plus exa
tement de module)
onvenablement
hoisi.
Considerons l'ensemble M des operateurs aux derivees partielles par rapport a 2 variables x et
y, lineaires et a
oeÆ
ients
onstants, et degre r pour la derivation par rapport a y. On peut
onsiderer M
omme un C [x ℄-module de dimension r dont une base serait 1; y ; ; yr . Tout
element de M peut en eet ^etre mis sous la forme
r
X
pk (x )yk ; pk 2 C [ X ℄ :
k=0
Considerons maintenant l'endomorphisme u qui a un operateur de M asso
ie l'operateur obtenu
par la substitution y 7! y + x . Puisque
j
X
(y + x = )j Cji yi xj i
i=0
on voit que la matri
e asso
iee a l'endomorphisme u (relativement a la base 1; y ; ; yr )
est la matri
e A. L'endomorphisme u 1 inverse de u est
elui qui ee
tue la substitution
y 7! y x . En appliquant
omme
i-dessus la formule du bin^ome, on trouve fa
ilement la
matri
e inverse de A denie par
(
Cji ( 1)j i xj i si ij
(A 1 )i;j : (1.47)
0 si i > j
~ = A 1 P~ et on trouve les
Pour
on
lure on e
rit
omposante par
omposante le produit R
relation (1.43) de l'enon
e. 2
Soit f une fon
tion r fois derivable et pour laquelle nous supposons l'existen
e des
oeÆ-
ients
n (f (k) ) pour k = 0; : : : ; r et de
n (Lf ). Il vient alors
r
X
S r
n (Lf ) = S r k S k
n((pk (x)f )(k) )
k=0
Xr
= Sr k
pk (x)f )
n (
k=0
Xr
= Sr k p (X )
(f ) :
k n
k=0
51
Chap. 1 : Series orthogonales
52
Chapitre 2
ree une serie de Gegenbauer partielle. La en
ore les informations sont extraites par des
pro
edures adequates : OSP-liste, OSP-variable, OSP-genre. Pour atteindre un
oeÆ
ient
parti
ulier, nous avons la pro
edure OSP-
oe pour les entrees (n; S ) qui renvoie le n-ieme
oeÆ
ient de l'objet S de type OSP.
Il est souvent utile de
reer une serie partielle identiquement egale a 1. La liste de
oeÆ
ients asso
iee est alors
omposee d'une seule valeur : P10 . L'objet de type OSP
or-
respondant est
reer par la pro
edure unite-OSP. Nous verrons plus loin une appli
ation
de
ette pro
edure.
a0 + a 1 x + + a p x p (2.2)
55
Chap. 2 : Outils informatiques pour les series orthogonales
SigmaDi-OS(S,x) : derive S suivant la relation de stru
ture. Stable pour le genre.
RelDi-OS(S) : ree
rit S dans la base des derivees (a une normalisation pres) en
utilisant la relation de derivation.
Pour ee
tuer les operations enumerees notre programme doit \prendre
onnaissan
e" des
operateurs aux dieren
es et des genres resultants asso
ies a
haque
ouple operation-genre
de la serie initiale. La \prise de
onnaissan
e"1 s'ee
tue via une base de donnees qui est
simplement une pro
edure MAPLE qui ee
tue l'asso
ation
(genre, operation) 7 ! (genre du resultat, operateur aux dieren
es) .
La gure 2.1 illustre l'interrogation de la base de donnees. De
ette maniere, les operations
(X-OS, Poly-OS, et
...) sont e
rites une seule fois (
'est-a-dire pour tout genre de la serie en
entree) et pro
edent, de fa
on interne et transparente pour l'utilisateur, a l'interrogation
de la base pour ee
tuer les bons
al
uls sur le terme et renvoyer un resultat du genre
adequat. Cette appro
he a en outre l'avantage de permettre l'ajout ulterieur de nouveaux
types de series sans autre modi
ation qu'un renseignement de la base de donnees.
Pour l'heure, notre base
ontient les donnees ne
essaires au travail ave
les series de
Ja
obi, Gegenbauer (don
Legendre), Chebyshev, Laguerre et Hermite. Nous pourrions
ondenser tous
es
as parti
uliers en un seul type hypergeometrique mais le
o^ut de
al
ul est moindre en utilisant
ette parti
ularisation.
Di-OS
[J, + 1, + 1℄
[J,, ℄
d 1 Xbn Jn(;)
X1
( n++2 +2 ) an+1 Jn(+1;+1)
dx n=0 n=0
Fig. 2.1 { Interrogation de la base de donnee pour la multipli
ation par x d'une serie de Laguerre et la derivation d'une
serie de Ja
obi
Chap. 2 : Outils informatiques pour les series orthogonales
orthogonale ave
une serie partielle e
rite dans une base quel
onque de polyn^omes hy-
pergeometriques. Cette operation est realisable gr^a
e a une adaptation simple du s
hema
de Horner generalise. Pour
ela nous e
rivons une egalite en forme de lapalissade
Xp 1
X Xp
an Pn (x) bm Qm (x) = (an S )Pn (x) (2.7)
n=0 m=0 n=0
Cal
uler le produit au membre gau
he de (2.7) revient a evaluer le membre de droite. Pour
ee
tuer
ette evaluation, nous appliquons l'algorithme de Horner generalise ave
un petit
amenagement :
haque operation ee
tuee sur les
oeÆ
ients An est une operation de type
-OS. (
Um+1 = Um+2 = 0
:
Un = (n + n x)Un+1 +
n+1 Un+2 + an S; n = 0 m
Dans la trans
ription informatique de
ette iteration les Uk et S sont des objets du type
OS, le produit xUn+1 est ee
tue par X-OS, la multipli
ation par les s
alaires gr^a
e a
S
al-OS et les additions se font par Add-OS. Evidemment, la m^eme appro
he s'applique
pour multiplier deux objet de type OSP. Nous denissons ainsi les pro
edures
mult-OSP-OS(P,S) : ee
tue le produit de la serie partielle P par la serie S suivant
le pro
ede de
rit plus haut. Le genre du resultat est
elui de la serie.
mult-OSP-OSP(P1,P2) : ee
tue le produit de la serie partielle P1 par la serie partielle
P2. Le genre du resultat est
elui de P2.
Changement de bases
Une appli
ation du produit des series partielles tel que nous l'avons deni est le
han-
gement de base. En eet, soit P une serie partielle de genre g1 et soit U la serie partielle de
genre g2 identiquement egale a 1. Par
onstru
tion de la pro
edure, le resultat de l'appel
mult-OSP-OSP(P,U)
est la serie partielle de genre g2 egale a P. Nous avons ainsi ee
tue un
hangement de
base qui est realise dans notre programme par la pro
edure Conversion-OSP.
60
2.3 Series de plusieurs variables
auxquelles nous pouvons appliquer des operateurs aux derivees partielles holonomes. Le
resultat d'une operation elementaire (multipli
ation par l'une des variables, derivation par
rapport a
elle-
i) s'obtient par appli
ation d'un operateur aux dieren
es sur le terme
general de la serie. La seule dieren
e est qu'il faut faire agir
et operateur sur l'indi
e
orrespondant a la variable. Dans le
as de la serie (2.8) par exemple aux operations
relative a la variable x (resp. y)
orrespondront des operateurs aux dieren
es agissant sur
la l'indi
e n (resp. m) du terme general. Prenons un exemple : la multipli
ation par l'une
des variables. Supposons que Qm soit le polyn^ome de Gegenbauer Cm() , alors
1 1 ma
X X n;m 1 + (m + 2)an;m+1
y an;m Pn (x)Qm (y) = Pn (x)Qm (y)
n;m=0 n;m=0
2( m + 1 )
On itere fa
ilement
ette operation elementaire an de multiplier la serie (2.8) par un
polyn^ome en x et y.
L'appli
ation d'operateur aux derivees partielles n'est guere plus
ompliquee que le
as
a une variable mais ne
essite d'^etre bien
onduite si l'on veut obtenir un resultat sous forme
d'une unique serie. Par exemple nous voulons appliquer l'operateur dxd + dyd sur la serie (2.8).
Supposons que Pn se derive dans la base Pn(1) par appli
ation de l'operateur D1 = d1 (n)E
et que Qm se derive dans la base Q(1) m par appli
ation de l'operateur D2 = d2 (m)E. Nous
obtenons alors dans un premier temps
X1 X1
(1)
d1 (n)an+1;m Pn (x)Qm (y) + d2 (m)an;m+1 Pn (x)Q(1)
m (y ) :
n;m=0 n;m=0
62
Deuxi eme partie
63
Chapitre 3
Telle nous l'avons denie - et
e n'est pas une denition
lassique - la notion de singularite
designe une valeur de C et ne s'applique don
pas au point a l'inni qui peut neanmoins
^etre singulier au sens
lassique. Cette denition restreinte nous evitera d'avoir a distinguer
entre singularites a l'inni et singularites a distan
e nie dans des appli
ations ou seules
es dernieres seront
onsiderees. La denition 6 nous permet de reformuler le theoreme 2
ainsi : toute solution f de l'equation (3.1) est element de M ave
Sg(f ) ra
(pr ).
L2w ([ 1; 1℄) pour designer l'ensemble de fon
tions f de
arre integrable pour la mesure
w(x)dx. Nous avons alors la
Denition 8
La serie de Chebyshev d'une fon
tion f appartenant a L2w ([ 1; 1℄) est la serie
X1
0
n (f )Tn (x) (3.7)
n=0
ou les
oeÆ
ients de Chebyshev
n (f ) sont denis par
Z 1
2 T (x)
n (f ) = f (x) p n 2 dx : (3.8)
1 1 x
P
La notation 0 signie que le
oeÆ
ient d'indi
e 0 est divise par 2. Cette notation n'est pas
une
oquetterie mais une
onvention qui, nous le verrons, simplie les formules. Elle est, de
plus, l'indi
e du lien fort qui lie polyn^omes de Chebyshev et polyn^omes trigonometriques,
et, subsequemment, series de Chebyshev et series de Fourier. En ee
tuant le
hangement
de variable x =
os dans l'integrale (3.8) nous obtenons
Z
2
n (f ) = f (
os )
os(n)d ; (3.9)
0
de sorte que les
oeÆ
ients de Chebyshev de la fon
tion f sont les
oeÆ
ients de Fourier
de la fon
tion f Æ
os. La serie de Fourier de f Æ
os (qui est une serie en
osinus du fait de
la parite de la fon
tion) est la serie
1
X
1
(f ) +
n (f )
os(n) (3.10)
2 0
n=1
dans laquelle nous re
onnaissons la serie (3.7) apres
hangement de variable et ou nous
retrouvons le
oeÆ
ient 12 . Le lien que nous venons de mettre en eviden
e entre series de
Fourier et series de Chebyshev, a fait dire a
ertains auteurs que les series de Chebyshev ne
sont que des series de Fourier deguisees. Nous esperons que le present memoire eloignera
du le
teur une pareille pensee.
sur
es proprietes sont tires pour l'essentiel de l'ouvrage de T. Rivlin [57℄. Nous les avons
adaptes aux fon
tions de M .
Introduisons quelques notations. Pour
ommen
er,
jjf jjK = max
x2K
jf (x)j
designera la norme uniforme denie pour les fon
tions
ontinues sur le
ompa
t K . Comme
il sera beau
oup question, dans la presente se
tion, d'approximation sur le segment [ 1; 1℄,
jj jj designera par defaut la norme relative au segment [ 1; 1℄. Nous noterons
m
X
sm (f ) = 0
n (f )Tn
n=0
la serie de Chebyshev de f tronquee a l'ordre m. Enn nous posons
Sm (f ) = jjf sm (f )jj ;
Em (f ) = jjf pm (f )jj
ou pm (f ) est la meilleure approximation polyn^omiale de degre m de f sur [ 1; 1℄. Nous
adaptons aux fon
tions de M et
on
entrons en un seul theoreme des resultats donnes par
Rivlin.
Theoreme 3
Soit f une fon
tion de M analytique sur [ 1; 1℄. Alors les sommes partielles sm (f )
onverge uniformement vers f sur [ 1; 1℄. De plus nous avons l'en
adrement
4
Em (f ) Sm (f ) < 4 + 2 log m Em (f ) (3.11)
Demonstration :
L'inegalite (3.11) est donnee par Rivlin dans un theoreme [57, Theorem 3.3℄ pour les fon
tions
ontinues sur [ 1; 1℄ don
appli
able a la fon
tion f . Un se
ond theoreme [57, Theorem 3.4℄
indique que sm (f )
onverge uniformement vers f sur [ 1; 1℄ si
lim log(m)! m1 = 0
m!1
(3.12)
ou ! est le module de
ontinuite de f sur [ 1; 1℄. Or f , analytique sur [ 1; 1℄, y est Lips
hit-
zienne i.e. qu'il existe une
onstante K telle que
8x; y 2 [ 1; 1℄ ; jf (x) f (y)j K jx yj :
Ainsi nous avons une majoration du module de
ontinuite
1 def K
! m = x;ysup jf (x) f (y)j
m
2[ 1;1℄
jx yj m1
qui implique la nullite de la limite (3.12). 2
L'inegalite (3.11) montre que les series de Chebyshev tronquees fournissent pour les
fon
tions analytiques des approximations polyn^omiales pro
he de la meilleure (d'ou l'ap-
pellation \near minimax polynomial approximation" souvent utilisee dans la litterature).
A titre d'illustration, pour des valeurs de m inferieures a 100, l'inegalite (3.11) donne
Em (f ) Sm (f ) < 6Em (f ) : (3.13)
68
3.2 Approximation uniforme par les series de Chebyshev
4e-05
2e-05
-1 -0.5 00 0.5 1
x
-2e-05
-4e-05
Fig. 3.1 { Erreurs d'approximation de degre 5 de exp 7+ 3x par une serie de Chebyshev
x
tronquee (en trait plein) et par la meilleure approximation polyn^omiale (en pointille).
Dans le
as des fon
tions de M nous pouvons, de plus, obtenir une majoration de l'erreur
Sm (f ) dependant de la distan
e (dans un sens que nous allons pre
iser) des singularites
de f a l'intervalle [ 1; 1℄. Pour
ela nous allons introduire quelques elements de geometrie
du plan
omplexe.
Denition 9
Pour tout > 1, E designe l'ellipse de foyers 1 et 1 dont la somme des longueurs
du grand axe et du petit axe vaut 2.
Nous noterons E le disque elliptique limite par E i.e. la partie du plan
onstituee
de E et de son interieur (au sens geometrique).
Par
onvention, nous posons E1 = E1 = [ 1; 1℄.
Pour > 1, exprimons les longueurs du grand axe et du petit axe de E en fon
tion de
. Pour
ela, nous nous rappelons que le
arre de la distan
e entre les foyers d'une ellipse
est egale au
arre de la longueur du grand axe moins le
arre de la longueur du petit axe.
Ce qui revient a dire i
i que 2 2 = 4. Comme la denition de E nous indique que
+ = 2, il vient
= + 1 et = 1 :
69
Chap. 3 : Series de Chebyshev et equations dierentielles
On notera que et sont des fon
tions
roissantes de . Don
l'ellipse E1 est a l'interieure
de l'ellipse E2 si et seulement si 1 est stri
tement inferieure a 2 . Cette propriete reste
vraie dans le
as limite ou 1 = 1.
Denition 10
Nous noterons r la fon
tion denie C par
p
l(z ) + l(z )2 4
r(z ) =
2
ou
l(z ) = jz
1j + jz + 1j :
(La fon
tion r est bien denie puisque, par appli
ation de l'inegalite triangulaire,
l(z ) est superieure ou egale a 2.)
z
E
(z )
l
-1 1
Une autre propriete bien
onnue des ellipses est que la somme des distan
es d'un point
de l'ellipse aux foyers est egale a la longueur du grand axe. Autrement dit, l'ellipse E est
l'ensemble de points z tels que l(z ) = + 1 i.e. tels que r(z ) = . Nous introduisons
maintenant la transformation du plan
omplexe denie par la fon
tion
1 1
w(z ) = z+ (3.14)
2 z
qui est fortement liee aux ellipses E ainsi qu'aux polyn^omes de Chebyshev. En eet
Lemme 2
Le
er
le de
entre 0 et de rayon est designe par la notation . Alors pour tout
1, on a
E = w ( ) = w 1 :
Demonstration :
Soit x un point du
er
le . Posons z = w(x). Cal
ulons l(z ).
x + x 1 x + x 1
l(z ) =
1 + + 1
2 2
1 1
=
2jxj
jx j j 12+ x+1 2 = j jxj jxj + j1j
2 2
1
= jxj + = + 1
jxj
70
3.2 Approximation uniforme par les series de Chebyshev
(dans la deuxieme ligne de
al
ul nous avons utilise la propriete du parallelogramme qui indique
que ja bj2 + ja + bj2 = 2(jaj2 + jbj2 ). Ce
al
ul montre que z est element de E . Don
w ( )
est in
lus don
E . Remarquons que le
al
ul pre
edent montre l'in
lusion de w 1 dans
E puisqu'il est invariant par substitution de 1 a .
Maintenant
onsiderons un point z de l'ellipse E et
her
hons
es ante
edents par la
fon
tion w. Ceux-
i sont les solutions de l'equation
x2 2zx + 1 = 0
qui est une equation du se
ond degre re
iproque. Don
elle possede deux solutions (eventuellement
onfondues) inverses l'une de l'autre. Soit x l'une des ra
ines, puisque w(x ) = z alors d'apres
le
al
ul pre
edent jx j + jx j 1 = + 1
e qui implique ne
essairement que jx j = ou
jx j = 1 . 2
Remarque 7 Une adaptation simple de la demonstration pre
edente nous donne un pro-
priete qui nous sera utile. Si z est un nombre
omplexe n'appartenant pas a [ 1; 1℄ alors
l'equation w(x) = z a deux solutions : l'une de module stri
tement superieur a 1 notee
w+ (z ) et l'autre de module stri
tement inferieur a 1 notee w (z ).
w
+ (z )
00000000000
11111111111
11111111111
00000000000
00000000000
11111111111
11111111111
00000000000
(z ) = 12 (z + z 1 ) 11111111111
00000000000
w
00000000000
11111111111
00000000000
11111111111
00000000000
11111111111
00000000000
11111111111
00000000000
11111111111
00000000000
11111111111
00000000000
11111111111
-1 1 -1 11111111111
00000000000
1
00000000000
11111111111
00000000000
11111111111
00000000000
11111111111
00000000000
11111111111
11111111111
00000000000
00000000000
11111111111
00000000000
11111111111
w (z ) 00000000000
11111111111
Proposition 15
Pour tout x
omplexe non nul, nous avons
Tn (w(x)) = w(xn ) (3.15)
ou autrement e
rit 1
x+x xn + x n
Tn = :
2 2
Demonstration :
Les polyn^omes de Chebyshev sont denis par la re
urren
e
Tn+2 (z ) = 2zTn+1 (z ) Tn (z )
ave
T0 = 1 et T1 (z ) = z . En
hoisissant x tel que w(x) = z , nous voyons immediatement
que (3.15) est veriee pour n = 0 et n = 1. Un
al
ul simple etablit que
w(xn+2 ) = 2w(x)w(xn+1 ) w(xn ) = 2z w(xn+1 ) w(xn ) :
71
Chap. 3 : Series de Chebyshev et equations dierentielles
Ainsi Tn (z ) et w(xn ) verient la m^eme re
urren
e ave
les m^emes
onditions initiales. Ces
deux quantites sont don
egales. 2
Remarquons que la proposition pre
edente appliquee au
as parti
ulier ou x = ei
permet d'etablir le resultat suivant
Tn (
os(x)) =
os(nx))
evoque plus haut. Nous aurions d'ailleurs pu etablir la proposition 15 a partir de
ette
egalite par un argument de prolongement analytique. Enn, le lien entre les ellipses E et
les polyn^omes de Chebyshev appara^t dans le lemme suivant
Lemme 3
Soit 1. Pour tout z appartenant a E , nous avons les inegalites
jTn(z)j n
et
jjTn jjE n :
Demonstration :
Dans le
as = 1,
e resultat est evident puisque pour tout z appartenant a [ 1; 1℄,
jTn(z)j = j
os(n ar
os z)j 1 :
Supposons, maintenant que > 1. Pour tout z appartenant a l'ellipse E , il existe un point x
du
er
le tel que z = w(x) don
1 1
jTn (z)j 2
jxjn + jxjn jxjn = n
D'apres le prin
ipe du maximum,
ette inegalite vaut non seulement pour z sur l'ellipse mais
aussi z sur le disque elliptique E ,
e qui a
heve la demonstration. 2
Un premier theoreme donne des indi
ations sur la de
roissan
e des
oeÆ
ients de Cheby-
shev d'une fon
tion analytique.
Theoreme 4 Rivlin [57, Theorem 3.8℄
Si f est analytique sur le disque elliptique E pour un
ertain > 1, alors
72
3.2 Approximation uniforme par les series de Chebyshev
Demonstration :
Pour toute singularite s, r(s) > 1 puisque s est exterieure a [ 1; 1℄. Et
omme il y a un nombre
ni de singularites, = min r(s) est stri
tement superieur a 1. Si s est une singularite de
f alors r(s) don
s est sur ou l'exterieur de E . Ainsi sur tout disque elliptique E la
fon
tion f est analytique et le theoreme 4 s'applique. 2
Remarque 8 Si Sg(f ) est vide, alors le theoreme reste vrai ave
= 1. Cela signie
que les
oeÆ
ients
n (f ) de
roissent plus vite que toute suite geometrique.
Remarque 9 Un resultat de Rivlin montre, apres adaptation, que la quantite verie
1
= lim sup j
n (f )j1=n
n!1
Nous pouvons alors dire que represente la vitesse de de
roissan
e des
oeÆ
ients de
Chebyshev de la fon
tions f .
Les resultats pre
edents sur la de
roissan
e des
oeÆ
ients de Chebyshev nous permettent
d'assurer la
onvergen
e uniforme des series partielles sur [ 1; 1℄ et m^eme d'obtenir une
estimation de l'erreur. Ils nous assurent m^eme une
onvergen
e a l'exterieur du segment
[ 1; 1℄ et plus pre
isement sur des disques elliptiques. Donnons un enon
e synthetique en
rappelant que nous avons
onvenu que E1 = [ 1; 1℄.
Corollaire 3
Soit f une fon
tion de M analytique sur [ 1; 1℄. Le reel ayant la m^eme signi
a-
tion que dans le theoreme 5, la suite sm (f )
onverge normalement vers f sur tout
disque elliptique E ave
< . De plus, pour tout 0 tel que < 0 < , nous
avons la majoration d'erreur suivante
2M 0 m
jjsm (f ) f jjE 0 0 ave
M 0 = max jf (z )j : (3.19)
1
z 2E0
Remarque 10 Dans le
as parti
ulier ou = 1, il s'avere que la vitesse de de
roissan
e
des
oeÆ
ients de Chebyshev de f peut ^etre vue
omme la vitesse de
onvergen
e de
la serie de Chebyshev de f sur [ 1; 1℄.
Demonstration :
Nous devons montrer (1) que la serie de Chebyshev
onverge normalement sur le disque
elliptique (2) vers f (3) ave
l'erreur indiquee.
Soit z un point appartenant a E . En appliquant le theoreme 5 et le lemme 3 nous obtenons
la majoration suivante
m m n
X
0 j
n (f )jjTn (z )j
X
0M 0
n=0 n=0
0
qui assure la
onvergen
e normale des sommes partielles sm (f ) sur E .
Les fon
tions sm (f ) etant analytiques (
ar polyn^omiales) sur E , elles
onvergent don
vers une fon
tion analytique sur E . Comme d'apres le theoreme 4, la suite sm (f )
onverge
73
Chap. 3 : Series de Chebyshev et equations dierentielles
vers f sur [ 1; 1℄ par appli
ation du prin
ipe du prolongement analytique, elle
onverge vers
f sur E . 2
Geddes [28℄ a m^eme montre que la somme partielle sm (f ) a un
omportement pro
he de
elui de la meilleure approximation polyn^omiale de f sur E ,
e qui generalise le resultat
plus
onnu sur [ 1; 1℄.
Demonstration :
La fon
tion g = f Æ ha;b est une fon
tion de M analytique sur [ 1; 1℄. Puisque
= min r(s) = min r(ha;b1 (s))
s2S (g) s2S (f )
et
M = max jg(z )j = max jf (z)j
z E z 2ha;b (E )
74
3.2 Approximation uniforme par les series de Chebyshev
Corollaire 4
Soit f une fon
tion de M analytique sur [a; b℄. Le reel ayant la m^eme signi
ation
que dans la proposition 16, la suite sm (f; [a; b℄)
onverge normalement vers f sur
tout disque elliptique ha;b (E ) ave
< . De plus, pour tout 0 tel que < 0 < ,
nous avons la majoration d'erreur suivante
m
0
jjsm (f ) f jjha;b(E ) M 0 ave
M 0 = max jf (z )j : (3.23)
z 2ha;b (E 0 )
Nous donnons un exemple qui montre que l'on peut obtenir une meilleure approximation
hors du segment de denition d'une serie de Chebyshev que sur le segment (de m^eme
longueur) d'une autre serie.
Exemple 5 Nous voulons evaluer la fon
tion f (x) = ar
tan(x=2) sur le segment [ i; i℄,
en utilisant soit S1 la serie de Chebyshev de f sur [ 1; 1℄, soit S2 la serie de Chebyshev
de f sur [ i; i℄. La fon
tion f presente des singularites en 2i et 2i. Conformement aux
propositions 5 et 16, nous etablissons que les vitesses de
onvergen
e de S1 et S2 sur leurs
intervalles de denition sont respe
tivement
p p
1 = r(2i) = 2 + 5 et 2 = r(2) = 2 + 3
D'apres le
orollaire 3 relatif a la
onvergen
e sur les disques elliptiques, l'erreur d'ap-
proximation de f (z ) par les sommes partielles de la serie S1 est majoree par une suite
geometrique de raison 12 sur le disque elliptique E pour = 1 =2 . Don
si notre
ritere
de
hoix est la vitesse de
onvergen
e, nous utiliserons S1 pour evaluer f sur E \ [ i; i℄
'est-a-dire sur [ i"; i"℄ ave
" = 21 ( 1=) 0:1270:: et S2 sur le reste de l'intervalle
[ i; i℄. L'experien
e indique que
e
hoix est pertinent.
Notons E1;m (x) (respe
tivement E2;m (x)) la dieren
e (don
l'erreur) entre f (x) et
S1 (x) (resp. S2 (x)) tronquee a l'ordre m. La gure 3.2 presente les tra
es de Ek;6 , 8Ek;8
et 80Ek;10 sur [0; 0:2i℄ (nous avons fo
alise le tra
e sur
e segment
ar sur [0:2i; i℄ E2;m (x)
est toujours inferieure a E1;m (x)). Les
ourbes
onvexes
orrespondent aux E1;m (x) et les
ourbes
on
aves aux E2;m (x). Dans les 3
as, E1;m (x) est inferieure a E2;m (x) sur la partie
gau
he du segment. L'inversion d'ordre se fait en un point (marque par un petit
arre)
dont l'abs
isse se rappro
he de " par valeurs de
roissantes.
75
Chap. 3 : Series de Chebyshev et equations dierentielles
1.6e-06
1.4e-06
1.2e-06
1e-06
8e-07
6e-07
4e-07
2e-07
eries partielles de S1
Fig. 3.2 { Erreurs
ommises dans l'approximation de ar
tan par les s
et S2 sur [0; 0:2i℄.
76
3.3 Series de Chebyshev et operateurs dierentiels
Nous faisons i
i une legere digression pour denir les polyn^omes de Chebyshev de se
onde
espe
e
sin(n + 1) Tn0 +1 (x)
Un (x) = =
sin fn + 1g
ainsi que quelques proprietes de
es polyn^omes dont nous aurons l'usage a plusieurs re-
prises. D'une part, nous savons d'apres la theorie sur les polyn^
p omes2 hypergeometriques
que
es polyn^omes sont orthogonaux relativement au poids 1 x . D'autre part, nous
avons la
Proposition 17
Les polyn^omes Un (x) sont
omme les polyn^omes Tn (x) solutions de la re
urren
e
un+2 = 2xun+1 un : (3.25)
Et pour tout z
omplexe non nul
z n+1 z (n+1)
Un (w(z )) = 1 : (3.26)
z z
77
Chap. 3 : Series de Chebyshev et equations dierentielles
Demonstration :
Comme nous l'avons fait pour les Tn , il est fa
ile de deduire de la formule trigonometrique
2
os sin n = sin(n + 1) + sin(n 1)
que les Un (x) verient (3.6). En
onstatant,
omme dans la proposition 15, que le se
ond
membre de l'egalite (3.26) verie la re
urren
e (3.25) pour x = w(z ), et que l'egalite (3.26)
est vraie pour n = 0 et n = 1, nous
on
luons qu'elle est vraie pour tout n. 2
Nous designons par Tn(k) la derivee d'ordre k du polyn^ome Tn . Nous generalisons la relation
(3.24) aux derivees d'ordres superieurs par derivations iterees
Tn(k+1) Tn(k)1
Tn(k 1) = : (3.27)
2fn + 1g 2fn 1g
Les re
urren
es a trois termes pour les Tn(k) s'obtiennent en derivant k fois la re
urren
e a
trois termes pour les Tn ,
e qui donne
Tn(k+1) + Tn(k)1
xTn(k) + kTn(k 1) = : (3.28)
2
Apres avoir rempla
e le terme Tn(k 1) par le se
ond membre de la formule (3.24), nous
obtenons
(fn + 1g k)Tn(k+1) (fn 1g + k)Tn(k)1
xTn(k) = + : (3.29)
2fn + 1g 2fn 1g
On remarquera que, dans le
as des polyn^omes de Chebyshev, nous avons utilise les rela-
tions de derivation pour
onstruire les re
urren
es a trois termes des polyn^omes derives,
alors que nous avions obtenu, a l'inverse, les relations de derivation pour les polyn^omes
hypergeometriques gr^a
e aux re
urren
es a trois termes des polyn^omes derives.
Conformement aux resultats de la premiere partie nous allons pouvoir etablir pour
les series de Chebyshev des formules issues des relations pre
edentes. Avant de donner
dans une proposition la synthese de
es resultats, indiquons que, pour les derivees des
polyn^omes de Chebyshev, nous n'ee
tuerons pas de re
alage d'indi
es. De
e fait une
serie en Tn(k) est sommee en partant de l'indi
e n = k. Nous adoptons
et usage par
e qu'il
met en exergue des proprietes de symetrie dans les operateurs aux dieren
es que nous
allons generer.
78
3.3 Series de Chebyshev et operateurs dierentiels
Proposition 18
Les series de Chebyshev verient les formules suivantes
X1 1
0
n T (k) (x) = X (
n )T (k+1) (x) (3.30)
n n
n=k n=k+1
1
X 1
X
x 0
n T (k) (x) = 0 Xk (
n )T (k) (x) (3.31)
n n
n=k n=k
ou et Xk sont les operateurs aux dieren
es denis par
n 1
n+1
(
n ) = ;
2n
8
>
n+1 +
n 1
>
> si k = 0
< 2
Xk (
n ) = :
>
(n + k)
n+1 + (n k)
n 1
>
>
: si k > 0
2n
Ces formules sont valides ave
la
onvention
n =
n .
Demonstration :
Commen
ons par etablir les formules impliquant une serie de Chebyshev (non derivee)
X1
0
n Tn (x)
n=0
qui peut se ree
rire, du fait des
onventions prises,
1 X 1
n T n :
2 n= 1
Pour la multipli
ation par x, la re
urren
e a trois termes (3.6) s'e
rit , en termes d'operateurs
aux dieren
es,
E+E 1
xTn = Tn pour tout n 2 Z :
2
Notons X0 l'operateur aux dieren
es qui appara^t dans le membre de droite. Il appert que
l'operateur adjoint de X0 est X0 lui-m^eme. Ainsi, en appliquant la proposition 2 nous avons
1 X 1 1 X 1
x
n Tn =
n X0 (Tn )
2 n= 1 2 n= 1
1 X 1
= X (
)T
2 n= 1 0 n n
1
X
= 0 X0 (
n )Tn ; (3.32)
n=0
e qui etablit la formule de multipli
ation
her
hee. L'operateur sous-ja
ent dans la relation
de derivation (3.24) est
E E 1
2fn + 1g 2fn 1g
79
Chap. 3 : Series de Chebyshev et equations dierentielles
onstruit ave
les operateurs denis dans la proposition 18. Alors le resultat de
l'appli
ation de L a une serie de Chebyshev s'obtient
omme suit
1 ! 1
X X
L 0
n Tn = L(
n )Tn(r) :
n=0 n=r
80
3.3 Series de Chebyshev et operateurs dierentiels
Demonstration :
Le resultat s'obtient par
al
ul dire
t
1 ! r 1
X X X
L 0
n Tn = pk (x) 0
n T (k)
n
n=0 k=0 n=k
Xr 1
X
= pk (x) r k (
n )Tn(r)
k=0 n=r
Xr X1
= pk (Xr )r k (
n )Tn(r)
k=0 n=r
X1
= L(
n )Tn(r) :
n=r
Ce
al
ul est plus simple que le
as hypergeometrique general presente dans le
hapitre 1 du
fait de l'independan
e de par rapport a k. 2
Contrairement a
e que nous avions fait au
hapitre 1, nous voulons legitimer le pro
ede
de
rit
i-dessus vis-a-vis de la
onvergen
e. Pour
ela,
ommen
ons par donner un resultat
fonde sur le theoreme de Markov. Nous denissons les polyn^omes k
omme suit
8
>
>
0 1
<
kY1 : (3.35)
>
>
: k (n) = (n2 i2 ) 8k 1
i=0
Nous avons alors la proposition suivante due a Rivlin [57℄.
Proposition 20
Les polyn^omes de Chebyshev ainsi que leurs derivees su
essives verient l'inegalite
suivante
k (n)
jjTn(k) jj[ 1;1℄ = Tn(k) (1) =
k!!
k = 0; 1; 2; ; n k: (3.36)
Gr^a
e a
ette proposition nous pouvons aÆrmer que si S (x) est la somme de la serie
X1
0
n Tn (x)
n=0
dans laquelle les
oeÆ
ients
n sont a de
roissan
e geometrique, alors les series
1
X
n Tn(k) (x)
n=k
sont normalement
onvergentes puisque les termes j
n Tn(k) (x)j sont majores par les valeurs
j
n j kk(!!n) qui sont a de
roissan
e geometrique, et leurs sommes sont don
les derivees su
-
essives S (k) (x) de S (x). Par ailleurs, les operateurs Xk et etant a
oeÆ
ients rationnels,
les operations formelles (3.30) et (3.31) sont valides vis-a-vis de la
onvergen
e
haque fois
81
Chap. 3 : Series de Chebyshev et equations dierentielles
que les
oeÆ
ients
n sont a de
roissan
e geometrique. Et dans
e
as les suites Xk (
n ) et
(
n ) sont elles-m^emes a de
roissan
e geometrique.
Ainsi dans le
as de series aux
oeÆ
ients a de
roissan
e geometrique, nous pouvons
rempla
er dans la proposition 19 les series formelles par leurs sommes.
Proposition 21
Soit L et L les operateurs denis dans la proposition 19. Supposons que les
oeÆ-
ients de la serie 1
X
0
n Tn (x)
n=0
sont a de
roissan
e geometrique. Nommons S (x) sa somme. Alors
1
X
LS (x) = L(
n )Tn(r) (x)
n=r
ou la suite fL(
n )g est a de
roissan
e geometrique.
Remarque 11 Le resultat pre
edent pourrait s'enon
er ave
onvergen
e sur des disques
elliptiques en appliquant le
orollaire 3.
Proposition 22 Re
urren
e de Chebyshev
Soit L l'operateur dierentiel holonome deni par (3.34). On suppose que le po-
lyn^ome pr ne s'annule pas sur [ 1; 1℄. Soit q un polyn^ome de C [x℄ qui se developpe
dans la base fTn(r) g sous la forme
1
X
q(x) = qn Tn(r) (x) ave
qn = 0 pour n > deg(q) :
n=r
Soit enn une solution de l'equation dierentielle Ly = q. Alors les
oeÆ
ients de
Chebyshev de verient l'equation aux dieren
es
L(
n) = qn ; 8n r (3.37)
que nous nommerons \re
urren
e de Chebyshev".
Demonstration :
Puisque l'equation dierentielle Ly = q est reguliere sur [ 1; 1℄ (du fait que pr ne s'annule pas
sur sur
e segment), est une fon
tion de M analytique sur [ 1; 1℄. Don
ses
oeÆ
ients de
Chebyshev
n sont a de
roissan
e geometrique. En appliquant la proposition 21, nous avons
X1 1
X
L = L(
n)Tn(r) = qnTn(r) :
n=r n=r
Les deux series etant normalement
onvergentes, l'orthogonalite des Tn(r) nous permet d'iden-
tier les termes et don
d'etablir l'equation (3.37). 2
Cette proposition est le point de depart des travaux que nous developperons dans les
hapitres suivants. Generalisons la proposition aux series de Chebyshev sur [a; b℄. Nous
82
3.3 Series de Chebyshev et operateurs dierentiels
savons que les
oeÆ
ients de Chebyshev de sur [a; b℄ sont les
oeÆ
ients de Chebyshev
de Æ ha;b sur [ 1; 1℄. Or, si verie l'equation dierentielle Ly = q alors Æ ha;b est
solution de l'equation
Xr
pi (h(x)) h0 i y(i) (x) = q(h(x)) (3.38)
i=0
ou nous avons pose h = ha;b et ou h0 est la derivee (
onstante) de h. Nous etablissons alors
la
Proposition 23
Soit L l'operateur dierentiel holonome deni par (3.34). On suppose que le po-
lyn^ome pr ne s'annule pas sur [a; b℄. Soit q un polyn^ome de C [x℄ tel que
1
X
q(ha;b (x)) = qna;b Tn(r) (x) ; ave
qna;b = 0 pour n > deg(q) :
n=r
Soit enn une solution de l'equation dierentielle Ly = q. Alors les
oeÆ
ients de
Chebyshev de sur [a; b℄ verient l'equation aux dieren
es
La;b(
n) = qna;b ; 8n r (3.39)
ou r
X
La;b = pk b a X + a+b 2 r k r k : (3.40)
2 r 2 b a
k=0
Cette proposition n'apporte pas un supplement fondamental sur le plan theorique mais
elle trouvera son utilite dans les appli
ations numeriques.
84
3.4 Autres proprietes
Autrement dit !n = ( 2(n 1)x)!n 1 ,
e qui montre par re
urren
e l'appartenan
e de !n
a C [x; ℄ pour tout n. 2
86
3.4 Autres proprietes
que nous
onsidererons
omme des
ontraintes imposees aux solutions de l'equation re
urrente
a
oeÆ
ients
onstants r
X
k sn+k = 0 r n (3.44)
k= r
Suivant la theorie des equations re
urrentes a
oeÆ
ients
onstants, nous savons que les
solutions de (3.44) sont determinees par les ra
ines du polyn^ome
ara
teristique
r
X
(x) = k xr+k
k= r
et leurs multipli
ites. Notons immediatement que 0 n'est pas ra
ine de sinon nous aurions
r = 0,
e qui
ontredirait le fait que r est le degre exa
t de B . D'autre part, le polyn^ome
est un polyn^ome re
iproque. Nous pouvons don
prevoir que ses ra
ines sont deux a
deux inverses ave
la m^eme multipli
ite. Detaillons les
hoses.
Soit fbi gi=1:::r0 les ra
ines du polyn^ome B et i la multipli
ite de bi . Nous savons que
les solutions que l'equation
x+x 1
= bi , x2 2bi x + 1 = 0
2
sont inverses l'une de l'autre. Nous pouvons m^eme ^etre plus pre
is : d'apres la remarque 7,
l'hypothese bi 62 [ 1; 1℄ implique que l'une des ra
ines est de module stri
tement inferieur
a 1, nous la noterons
i , l'autre etant alors ne
essairement de module stri
tement superieur
a 1. L'egalite
x+x 1 x 1
bi = (x
i )(x
i 1 )
2 2
obtenue par fa
torisation, est utilisee dans le
al
ul suivant
r 1 1
(x) = 2xr
X
0 Tk x + x = 2xr B
x+x
k=0
2 2
r0 i
Y x+x 1
= 2xr 2r r bi
i=1
2
r0 1 i
Y x
= 2xr 2r r (x
i )i (x
i 1 )i
i=1
2
r0
Y
= 2r (x
i )i (x
i 1 )i :
i=1
Le passage de l'avant-derniere a la derniere ligne se fait en remarquant que
X r0
r0 1 i 1 i r
Y x x x 1
= i=1 = :
i=1
2 2 2
Ainsi les ra
ines de et leurs multipli
ites sont entierement determinees par les ra
ines
(et leurs multipli
ites) du polyn^ome B . L'expression des
oeÆ
ients sn de la serie de
Chebyshev de sera don
une
ombinaison lineaire des 2r termes
nki
i n ; nki
i n 1 i r 0 ; 0 k i < i :
88
3.4 Autres proprietes
Mais puisque nous savons que les
oeÆ
ients sn sont a de
roissan
e geometrique nous
pouvons ex
lure de la
ombinaison lineaire les termes nki
i n qui sont eux a
roissan
e
geometrique. Notons ei (n) (ave
une numerotation adequate) les r termes nki
i n a de
roissan
e
geometrique. Nous avons alors
r
X
sn = i ei (n)
i=1
ou les i sont determines par les r
ontraintes,
'est a dire par
r r ! r r !
X X X X
k i ei (n + k) = i k ei (n + k) = 2n :
k= r i=1 i=1 k= r
Ce que nous pouvons e
rire sous la forme matri
ielle
0 1 0 1
1 20
B .. C B .. C
B B
:B . C B
C=B . C def
C = A
B .. C B .. C
. A . A
r 2r 1
ou la matri
e B est denie par
r
X
Bn;i = k ei (n + k) :
k= r
Nous detaillons trois
as simples de fra
tions rationnelles qui nous servirons de fon
tions
tests pour diverses appli
ations dans
e
hapitre et les suivants.
Premier
as : (x) = b 1 x .
Nous avons
B=
1
et A = (4)
La serie de Chebyshev de est
1 4 1
X
= 0
n Tn (x) : (3.45)
b x
1
n=0
89
Chap. 3 : Series de Chebyshev et equations dierentielles
Troisieme
as : (x) = (b 1 .
1 x)(b2 x)
Le systeme a resoudre est determine par les elements
!
(
1
1 1 )(
2 +
2 1 ) (
2
2 1 )(
1 +
1 1 )
B = 2
1
1 1
2
2 +
2 1
2 2
= b1 b2
1 1
1 0 ;
1 1 0
2 1
2
2 2
A = 4 :
0
La serie de Chebyshev de est
1 8
1
2 1
X
1
2
= 0
n
n Tn (x) : (3.47)
(b1 x)(b2 x) (
1
2 1)(
1
2 ) n=0
21 1 1
22 1 2
90
3.4 Autres proprietes
1
X n
X 1
X
= ar bn+r + ar bn r + an+r br
r=1 r=0 r=1
Xn 1
X
= ar bn r + (ar bn+r + an+r br ) :
r=0 r=1
La proposition 28 est le pendant, pour les series de Chebyshev, du produit de Cau
hy pour
les series de Taylor. Mais une dieren
e fondamentale separe les deux notions : le produit
de 2 series de Chebyshev n'est pas une operation formelle ! En eet, il est ne
essaire d'avoir
des
onditions sur les suites fan g et fbn g pour assurer la
onvergen
e de la serie qui denit
(a b)n et par la assurer l'existen
e de la serie produit. Cette restri
tion n'existe pas pour
les series de Taylor pour lesquelles le produit de Cau
hy (qui
orrespond a des sommes
nies) existe toujours en tant qu'operation formelle m^eme pour des series divergentes.
Exemple 6 Utilisons le produit de series pour retrouver la serie de Chebyshev de l'inverse
d'un polyn^ome du se
ond degre a ra
ines distin
tes. Ainsi
1 1 1
(b1 x)(b2 x)
=
b1
x b2 x
4 1
X 4 1
X
= 0
n Tn (x) 0
n Tn (x)
1 1
1 n=0 1
2 1
2 n=0 2
8
1
2 X1
= 0 2(
) T (x)
(1
21 )(1
22 ) n=0 1 2 n n
ou
1 = f
1 n g et
2 = f
2 n g ave
1 = w (b1 ) et
2 = w (b2 ). Alors
Xn r X
1
2(
1
2 )n =
2 1 + (
n1 (
1
2 )r +
n2 (
1
2 )r )
n
r=0
2 r=1
1
1 n+1
2
1
2
=
n2
1 + (
n1 +
n2 )
1
2 1
1
2
1
1
2 n
2
1
2
= +
+ +
n
1
2 1
1
2 1
2
1 1
1
2 2
1 (1
22 ) n
2 (1
21 )
=
+
n
(
1
2 )(1
1
2 ) 1 (
2
1 )(1
1
2 ) 2
d'ou nous tirons
1 8
1
2 X1
2
= 0 1
n
n Tn (x)
(b1 x)(b2 x) (
1
2 )(1
1
2 ) n=0 1
21 1 1
22 2
e qui
orrespond a la formule (3.47). Pour b1 = b2 , nous posons
1 =
2 =
et
= f
n g.
Alors
2 1 +
2 n
(
)n = (n + 1)
+ 2
n n = n+
:
1
2 1
2
91
Chap. 3 : Series de Chebyshev et equations dierentielles
Insistons sur le
ara
tere non formel de la derivation dans la base de Chebyshev, puisque
'est lui qui nous a in
ite a
her
her une autre voie en utilisant les bases de polyn^omes de
Chebyshev derives et qui nous a don
onduit au s
hema general.
Proposition 31
Pour tout n et m entiers et pour tout x
omplexe, nous avons
Tn (Tm (x)) = Tm (Tn (x)) = Tnm (x) :
Demonstration :
Pour x 2 [ 1; 1℄,
Tn (Tm (x)) =
os(n ar
os(
os(m ar
os(x))) =
os(nm ar
os(x)) = Tnm (x)
Les polyn^omes Tn (Tm (x)) et Tnm (x)
on
idant pour une innite de valeurs, ils sont egaux
sur C . Les r^oles de n et m sont symetriques puisqu'il
ommutent dans l'indi
e de Tnm
e qui
etablit l'egalite Tm (Tn (x)) = Tnm (x). 2
Exemple 9 La formule (3.45)
ombinee a la propriete de
omposition nous permet d'e
ri-
re d'une part
1 1
= 1 1 (2x2
b2 x2 b2 2 2 1)
2
=
T2 (b) T2 (x)
8~
X 1
= 0
~n Tn (T2 (x))
~ = w (T2 (b))
1
~2 n=0
8~
X 1
= 0
~n T2n (x) :
1
~2 n=0
Mais d'autre part, en remarquant que si w(
) = b alors w(
) = b, l'utilisation de la
formule (3.47) ave
1 =
et
2 =
nous donne
1 1
=
b x
2 2 (b x)( b x)
8
2 X 1
= 0
n (
) n T (x)
n
(
2 1)2
n=0
2 1
2 1
4
2 X 1
= 0 (
n + (
)n ) Tn (x)
1
4 n=0
8
2 X 1
= 0 (
2 )n T2n (x) :
1
4 n=0
Les deux developpements en serie de Chebyshev de 1 sont identiques sous reserve que
b2 x2
nous montrions l'egalite
~ =
2 . Or
w(
2 ) = T2 (w(
)) (proposition 3.15)
= T2 (b)
mais
omme
est de module stri
tement inferieur a 1,
2 l'est aussi don
2 = w (T2 (b))
e qui implique l'egalite
her
hee.
94
3.5 Con
lusion
95
Chap. 3 : Series de Chebyshev et equations dierentielles
96
Chapitre 4
auquel nous asso
ions d'une part une equation holonome generique Ly = q et d'autre part,
suivant les resultats de la proposition 19, l'operateur aux dieren
es
r
X
L= pk (Xr )r k : (4.2)
k=0
ou
1. k0 est un entier naturel,
2. ak (n) est une fra
tion rationnelle (supposee reduite) dont le denominateur a
toutes ses ra
ines entieres,
3. pour tout k, nous avons ak ( n) = a k (n).
Demonstration :
La demonstration se fait par indu
tion sur la
onstru
tion des operateurs. Pour eviter les redites,
nous dirons qu'un operateur aux dieren
es qui s'e
rit
omme (4.7) et qui verie les proprietes
1, 2 et 3, verie la propriete P . Visiblement la propriete P est veriee par l'operateur I d'identite
ainsi que les operateurs et X0 . Il est aussi tres fa
ile de
onstater que la
ombinaison lineaire
de deux operateurs veriant la propriete P est un operateur qui verie la propriete P . Il nous
suÆt alors de montrer que pour tout operateur A de la forme (4.7) veriant la propriete P les
operateurs X0 A et A la verient aussi. Pour
ela nous e
rivons
E 1+E X 1
X0 A = ak (n)Ek
2
k= 1
1 1 a (n + 1) !
1 X ak (n 1) k 1 X k
= E + Ek+1
2 k= 1 2 k= 1
2
X1
ak+1 (n 1) + ak 1 (n + 1) k
= E
k= 1
2
| {z }
a0k (n)
kX
0 +1
= a0k (n)Ek :
k= (k0 +1)
98
4.1 Cara
teristiques de la re
urren
e de Chebyshev
Ainsi X0 A verie visiblement la propriete 1 ainsi que la propriete 2 puisque, par
onstru
tion,
le denominateur de a0k (n) n'a que des ra
ines entieres. Et il reste a verier que
ak+1( n 1) + ak 1 ( n + 1)
a0k ( n) =
2
a k 1(n + 1) + a k+1 (n 1)
=
2
= a0 k (n) :
pour montrer la
onservation de la propriete P .
De la m^eme maniere, les
al
uls
E 1 E X 1
A = a (n)Ek
2n k= 1 k
X1 a (n 1) 1 a (n + 1)
X
k k
= Ek 1 E
k= 1
2n k= 1
2n
X1 a (n 1) a (n + 1)
k+1 k 1
= Ek
k= 1 |
2n 2n
{z }
a00k (n)
kX
0 +1
= a00k (n)Ek
k (k0 +1)
et est
onservee
ak+1 ( n 1) ak 1( n + 1)
a00k ( n) =
2n 2n
a k+1 (n + 1) a k+1 (n 1)
= +
2n 2n
00
= a k (n) :
nous montre que la propriete P est
onservee.
Ainsi par
onstru
tion, tout element de A veriera-t-il la propriete P . 2
Cette proposition pre
ise don
un peu la stru
ture de l'operateur L pour lequel nous
donnons de plus une borne pour l'entier k0 apparaissant dans (4.7). En eet, d'apres les
proprietes des operateurs aux dieren
es vues au
hapitre 1 et
onstatant que d+ () =
d+ (Xr ) = 1 et d () = d (Xr ) = 1, nous pouvons e
rire
r
d+ (L) max (d (pk (Xr )r k ))
+
k=0
r
r + max
k=0
(deg(pk ) k) : (4.8)
99
Chap. 4 : Etude de la re
urren
e de Chebyshev
Denition 11
A l'operateur holonome L deni par (4.1) nous asso
ions la quantite
r
ext(L) = r + max (deg(pk ) k)
k=0
que nous appelons extension de l'operateur L et de l'operateur aux dieren
es L
asso
ie.
Alors si nous posons e = ext(L), nous pouvons e
rire
e
X
L= lk (n)Ek : (4.10)
k= e
Il nous faudra quelques proprietes supplementaires pour montrer que e et e sont exa
te-
ment et respe
tivement le degre et la valuation de l'operateur L i.e. que le et l e ne sont
pas identiquement nuls ; l'un impliquant d'ailleurs l'autre. Nous etablirons
ela plus bas.
Nous pouvons permuter les deux operateurs a
oeÆ
ients
onstants et obtenir
1E 1 E E 1+E
X1 = = X0
n 2 2
e qui montre la formule (4.13) pour k = 1. La generalisation est immediate gr^a
e a la formule
(4.11)
et d'autre part
1 1 1
d X d X X
x 1
n Tn(k) = Xk (
n )Tn(k)
n Tn(k)
dx n=k
dx n=k n=k
1
X 1
X
= Xk (
n )Tn(k+1) (
n )Tn(k+1)
n=k+1 n=k+1
1
X
= [Xk ℄(
n )Tn(k+1)
n=k+1
et alternativement
1
X 1
X 1
X
x
n Tn(k) = (
n )Tn(k+1) = Xk+1 (
n )Tn(k+1) :
n=k n=k+1 n=k+1
Une premiere appli
ation des formules donnees par la proposition 33 est l'expli
itation
de la re
urren
e de Chebyshev dans le
as d'un operateur dierentiel d'ordre 1.
101
Chap. 4 : Etude de la re
urren
e de Chebyshev
Proposition 34
Supposons que l'operateur L soit d'ordre 1. Nous posons e = ext(L). Les polyn^omes
p1 et p0 qui denissent L s'e
rivent dans la base de Chebyshev
e
X e 1
X
p1 (x) = 0 k Tk (x) et p0 (x) = 0 k Tk (x)
k=0 k=0
ave
les
onventions habituelles pour les indi
es negatifs. Alors l'operateur L asso
ie
a L s'e
rit expli
itement
e
L = 21n
X
nk + k+1 k 1
+ kk Ek : (4.16)
k= e
2
Demonstration :
Suivant notre s
hema general, nous avons
L = p1(X1 ) + p0(X1) :
D'apres les resultats (4.14) et (4.15) de la proposition (33) nous transformons l'operateur
omme suit
L = n1 p1(X0 )n + p0(X0 ) :
Cette forme est interessante
ar nous savons expli
iter les polyn^omes en X0
omme nous
l'avons fait pour les fra
tions rationnelles. Ainsi
e !e 1 !
1 1 X E 1 E 1 X
L =
n 2 k= e k
k
E n+
2n
Ek
2 k= e+1 k
e
1 X
= (n + k)k Ek + k+1 k 1
Ek :
2n k= e 2
La methode de Clenshaw
La methode de Clenshaw [12℄ repose sur l'idee d'asso
ier a
haque derivee de y une
serie de Chebyshev, soit
X1
y = 0
(nk) Tn (x)
(k )
n=0
102
4.1 Cara
teristiques de la re
urren
e de Chebyshev
pour k allant de 0 a r. De
ette fa
on, on n'introduit pas d'autre type de series que les
series en Tn . La methode pour multiplier les series de Chebyshev pour un polyn^ome est la
m^eme que
elle que nous avons presentee,
'est-a-dire que nous avons
! !
1
X 1 r
L 0
(0) Tn (x) = X 0 X
pk (X0 )
(nk) Tn (x) : (4.17)
n
n=0 n=0 k=0
Par ailleurs, les dierentes suites sont liees par les relations
n(k+1)
n(k+1
+1)
(nk) = 1 ; k = 1:::1 : (4.18)
2n
Clenshaw obtient alors un systeme que nous pouvons e
rire ave
nos notations
8
> r
X
>
< pk (X0 )
(nk) = qn ;
> k=0
>
: (k)
n =
(nk+1) ; k = 0::r 1 :
ou qn est le n-ieme
oeÆ
ient de Chebyshev de q. Elliot [21℄ a etendu
ette methode aux
series en polyn^omes de Gegenbauer et obtient pour
elles-
i un systeme similaire. Faisons
e que Clenshaw a eviter de faire : introduisons des series en derivees de polyn^omes de
Chebyshev. Il vient a l'aide de l'operateur de
hangement de base
1 ! r !
X X X
L 0
n Tn (x) = r pk (X0 )
(nk) Tn(r) (x) :
n=0 n=q k=0
Or la formule (4.13) de la proposition 33 entra^ne que r pk (X0 ) = pk (Xr )r et gr^a
e aux
relations (4.18) nous avons r
(nk) = r k
(0)
n . En reportant dans l'egalite
i-dessus
es
deux transformations nous obtenons l'egalite suivante
1 ! 1 r !
X X X
L 0
n Tn (x) = pk (Xr )r k
n Tn(r) (x)
n=0 n=r k=0
dans laquelle nous re
onnaissons l'operateur asso
ie a re
urren
e de Chebyshev telle que
nous l'avons denie. L'avantage de notre appro
he est de n'introduire qu'une seule suite de
oeÆ
ients. La methode de Clenshaw, quoiqu' utilisee par
elui-
i pour un
al
ul ee
tif
de series de Chebyshev et etablir des tables de valeurs, reste neanmoins deli
ate a manier
dans le
as general. Des remarques a
e sujet se trouvent dans un papier d'Olaefe [48℄ et
les livres de Fox [25℄ et Wimp [62℄.
103
Chap. 4 : Etude de la re
urren
e de Chebyshev
Si nous appliquons sous
ette forme l'operateur a une serie de Chebyshev, nous obtenons,
en vertu des operations elementaires denies dans la proposition 18,
1 ! r 1 !
X
0 X dk X
0
L
n T n = p (x)
T
n=0 k=0
dxk k n=0 n n
!
Xr
dk X 1
= 0 pk (X0 )(
n )Tn
dx k
k=0 n=0
r 1 !
X X
= 0 pk (X0 )(
n )Tn (k )
k=0 n=k
X1
= L(
n )Tn(r) (4.19)
n=r
ou nous avons pose
r
X
L = r k pk (X0 ) : (4.20)
k=0
Ave
les m^emes arguments que pour le s
hema general, on montre que la formule (4.19)
est analytiquement
orre
te si
n est a de
roissan
e geometrique. Gr^a
e a
ette
onver-
gen
e pour toute suite de
oeÆ
ients a de
roissan
e geometrique et a l'orthogonalite des
polyn^omes Tn(r) , nous pourrions montrer l'egalite formelle des operateurs L et L, qui sont
a
oeÆ
ients fra
tions rationnelles, par des arguments d'interpolation. Neanmoins nous
preferons une demonstration plus dire
te - et que nous pensons plus elegante - fondee sur
les proprietes des operateurs elementaires. Pour
ela, donnons le lemme suivant
Lemme 5
Soit X = Xk pour k entier quel
onque. Alors, pour tout polyn^ome p, nous avons
p(X) = p(X + ) p0 (X + ) = p(X + ) p0 (X) : (4.21)
Demonstration :
Montrons par re
urren
e
e resultat pour p(x) = xn . Pour p(x) = x0 = 1, le resultat est
trivialement vrai. Supposons le resultat vrai pour au rang n, alors
Xn+1 = XXn
= X((X + )n nXn 1 )
= (X + )(X + )n (X + )n nXn
= (X + )n+1 Xn nXn
= (X + )n+1 (n + 1)Xn :
La propriete est don
vraie au rang n + 1. Et par linearite, elle est vraie pour tout polyn^ome
p. 2
Le lemme 5 est valable pour X = Xk quel
onque, don
la formule (4.21) reste valide si l'on
substitue X + a X. De
e fait nous pouvons reiterer le pro
ede et obtenir
p(X) = p(X + ) p0 (X + )
= p(X + 2) p0 (X + 2) (p0 (X + 2) p00 (X + 2)
= p(X + 2) 2p0 (X + 2) + 2 p00 (X + 2)
104
4.1 Cara
teristiques de la re
urren
e de Chebyshev
Petite digression
La propriete enon
ee dans le lemme 5 entra^ne la suivante
[p(X); ℄ = p0 (X)[X; ℄ (4.23)
ou le
ro
het est le
ro
het de Lie deni par [A; B ℄ = AB BA. En eet multiplions a
droite par l'egalite (4.21), nous obtenons
p(X) = p(X + ) p0 (X)2
1
Cette formule se ree
rit de maniere
ondensee mais un peu abusive sous la forme
k
p(X) = 1 dxd p(X + k) :
105
Chap. 4 : Etude de la re
urren
e de Chebyshev
= p(X) + p0 (X)[X; ℄
puisque [X; ℄ = 2 . L'egalite (4.23) s'en suit. Ce resultat rappelle une propriete generale
des algebres de Lie que nous donnons dans le lemme suivant.
Lemme 6
Soient A et B deux elements de A veriant
[A; [A; B ℄℄ = 0 (4.24)
alors pour tout polyn^ome p on a
[p(A); B ℄ = p0 (A) [A; B ℄ : (4.25)
Demonstration :
La en
ore, il suÆt de montrer le resultat pour p(x) = xn . Le resultat pour p(x) quel
onque
s'en deduira par linearite. Pour p
onstant, p(A) est proportionnel a l'unite don
le membre
de gau
he dans (4.25) est nul
omme l'est evidemment le membre de droite. Maintenant
supposons que la propriete soit vraie pour p(x) = xn et montrons qu'elle l'est alors pour
p(x) = xn+1 .
[An+1 ; B ℄ = An+1 B + ( ABAn + ABAn ) BAn+1
= A[An ; B ℄ + [A; B ℄An :
Or, par l'hypothese (4.24), [A; B ℄
ommute ave
A don
ave
An ,
e qui permet d'e
rire en
utilisant l'hypothese de re
urren
e
[An+1 ; B ℄ = A(nAn 1 [A; B ℄) + An [A; B ℄ = (n + 1)An [A; B ℄ :
Ce que nous voulions montrer. 2
Et
e lemme s'applique a nos operateurs puisque
[; X℄ = 2 ) [; [; X℄ = 0 :
Ainsi nous avons la propriete suivante pour tout polyn^ome p
[p(); X℄ = p0 ()[; X℄ = p0 ()2 :
Nous n'avons pas trouve d'appli
ation immediate a
ette propriete mais nous la
onsignons
neanmoins i
i ave
l'espoir de lui en trouver une.
29 que nous avons donnee dans le
hapitre pre
edent. Geddes [27℄ qui a implemente la
methode de Fox donne une forme expli
ite de la transformation pour un ordre quel
onque.
Nous retrouvons
ette formule et don
le resultat de Fox en integrant la forme duale de
l'operateur L donnee dans le lemme 1. Nous avons ainsi
Z Z r Z Z
X
::r Ly = ::k pk y + a0 + a1 x + + ar 1 xr 1 (4.26)
k=0
ou les ak sont des
onstantes d'integration. De
ette maniere, nous obtenons
Z Z 1 ! 1 " r #
X
r:: L 0
n Tn = X X r k pk (X0 ) (
n )Tn + a0 + + ar 1 xr 1 : (4.27)
n=0 n=q k=0
En integration le se
ond membre q de l'equation e
rit dans la base de Chebyshev ave
les
oeÆ
ients qn Z Z r
X
::r q = r (qn ) Tn + b0 + + br 1 xr 1
k=0
et en identiant les
oeÆ
ients dans les series a partir du rang r nous obtenons la re
urren
e
r h
X i
r k pk (X0 ) (
n ) = r (qn) ; n r :
k=0
L'operateur aux dieren
es au premier membre est
elui de la re
urren
e de Chebyshev
omme nous l'avons demontre plus haut et il est fa
ile de voir que les
oeÆ
ients au se
ond
membre sont
eux de q developpe dans la base Tn(r) . Ainsi, la re
urren
e
i-dessus est la
re
urren
e de Chebyshev telle que nous l'avons
onstruite. Neanmoins, la methode de Fox
elude un probleme de l'appli
ation d'un operateur dierentiel a une serie de Chebyshev
(ou autre), probleme qui a bien d'autres appli
ations que la
onstru
tion de re
urren
es.
De plus, le passage de l'equation dierentielle a l'equation integrale a un
o^ut de
al
ul
qui peut devenir important si l'equation initiale
ontient des quantites symboliques. Enn,
ette methode ne prend pas en
ompte la relation de stru
ture.
et la re
urren
e engendree suivant la formule (1.48) et veriee par les
oeÆ
ients de Che-
byshev
n () d'une solution de Ly = q, est don
r
X
r k pk (X0 )
n () = r
n (q) :
k=0
107
Chap. 4 : Etude de la re
urren
e de Chebyshev
Comme nous l'avons dit plus haut,
ette methode est
elle donne par Paszkowski. Mais
surtout, nous re
onnaissons la re
urren
e telle qu'elle est
onstruite par la variante du
s
hema generale ou la methode de Fox.
Ainsi, les dierentes methodes que nous avons presentees aboutissent a la re
urren
e
de Chebyshev. L'avantage de notre methode pour generer la re
urren
e de Chebyshev
est qu'elle ne ne
essite pas de transformation prealable de l'equation et surtout qu'elle
s'ins
rit dans un
adre plus general tant au niveau des types de series qu'elle manipule
qu'au niveau des appli
ations que nous pouvons en tirer.
Demonstration :
Puisque D1 (n) = 2n, nous pouvons e
rire
E 1 E
=
D1 (n)
et la proposition est vraie pour k = 1 ave
S1; 1 (n) = S1;1(n) 1. Supposons la proposition
veriee au rang k, alors
h i
Dk+1 (n)k+1 = 2(n2 k2 ) Dk (n)k
k
X El 1 El+1
= 2(n2 k2 ) Sk;l (n)
l= k
2(n + l) 2(n + l)
k+1
X Sk;l+1 (n) Sk;l 1(n) l
= (n2 k2 ) E
l= k 1
n+l+1 n+l 1
e qui
lariera les
al
uls (a defaut de les simplier). Posons j = k+1+l
2 . Nous avons alors
k+(l 1) = j 1 de sorte que
2
0 kY1 kY1 1
B( 1)j Ckj (n u) ( 1)j 1 Ckj 1 (n u) C
B C
u= k+1 u= k+1
Ak+1;l (n) = (n2 k )B
2 B kYj kY
j +1
C
C
B C
A
(n u) (n u)
u= j u= j +1
k
Y C j (n + j ) + Ckj 1 (n + j k 1)
= ( 1)j (n r) k k+1
u= k Yj
(n u)
u= j
109
Chap. 4 : Etude de la re
urren
e de Chebyshev
or
Ckj (n + j ) + Ckj 1(n + j k 1) = Ckj + Ckj 1
(n + j ) (k + 1)Ckj 1
= Ckj+1 (n + j ) (k j )Ckj+1
= Ckj+1 (n + 2j k)
| {z }
n+l
don
Ak+1;l (n) est bien egal a Sk+1;l (n)
e qui montre la propriete au rang k + 1 et a
heve
la demonstration. 2
La demonstration qui pre
ede est d'une parfaite inelegan
e mais nous n'en avons pas
trouvee de moins lourde malgre notre
onvi
tion qu'il en existe une.
nous pouvons denir la quantite ext(L) de la maniere equivalente a la denition premiere,
par
r
e = ext(L) = r + max (deg(pk ) k); :
k=0
Cette egalite peut se traduire par la serie d'inegalites
deg(pk ) e r + k
ave
au moins une egalite. Notons k le
oeÆ
ient de Te r+k dans le developpement de pk
dans la base de Chebyshev. D'apres les inegalites
i-dessus, k est soit le
oeÆ
ient de t^ete
de pk (dans la base de Chebyshev), soit nul ; et au moins l'un des k est non nul. Dans le
as ou k est non nul, le
oeÆ
ient dominant de l'operateur pk (X0 ) est
k e r+k
E
2
et don
elui de Dr (n)r k pk (X0 ) est
r
Y
2k r 1
k (n2 u2 )Sr k;r k (n)E
e r+k Er k
u=k+1
Comme le degre des polyn^omes fa
teurs des k sont tous distin
ts et qu'au moins un des
k est non nul, le polyn^ome le (n) est don
non identiquement nul. Et il en est de m^eme
pour l e (n) d'apres la propriete de symetrie.
Lorsqu'il n'y aura pas d' ambigute, la variable de derivation sera omise. Dans la se
tion,
nous ferons usage a plusieurs reprises de la transformation suivante
2(Xu + Y v) = (X + Y )(u + v) + (X Y )(u v) (4.34)
ou X , Y , u et v sont des reels (ou des
omplexes) quel
onques.
Nous n'allons pas produire une analyse aussi ne que
elle de Lewanowi
z et nous nous
restreignons au
as ou pr est divisible par 1 x2 . Le gain d'ordre que nous pouvons obtenir
par rapport au s
hema general provient alors de l'utilisation de la relation de stru
ture et
de l'equation hypergeometrique pour les polyn^omes Tn(k) .
Denition 12
Nous denissons les operateurs suivants
Nk = (n2 k2 )I
rk = r 2kX0 + k(k + 1)
pour k entier positif.
Remarquons que r0 est egal a l'operateur r deni a la proposition 25. La proposition
suivante generalise la proposition 25 et introduit une nouvelle serie d'operations sur les
series de Chebyshev.
Proposition 38
Pour tout k 0, nous avons les formules suivantes
1
X 1
X
k 0
n T (k) (x) = 0 Nk (
n )T (k) (x) ; (4.35)
n n
n=k n=k
1
X 1
X
0
n T (k) (x) = 0 rk (
n )T (k) (x) : (4.36)
n n
n=k n=k
113
Chap. 4 : Etude de la re
urren
e de Chebyshev
Demonstration :
On veriera a l'aide des resultats etablis pour les polyn^omes hypergeometriques que le polyn^ome
Tn(k) est solution de l'equation
(x2 1)y00 + (2k + 1)xy0 (n2 k2 )y = 0
e que nous pouvons e
rire k Tn(k) = (n2 k2 )Tn(k) . Appliquons l'operateur k a une serie en
Tn(k) et la formule (4.35) est etablie.
Pour
haque valeur de k l'existen
e d'un operateur aux dieren
es rk tel que la formule
(4.36) soit vraie est demontree
omme
as parti
ulier de la relation de stru
ture pour les series
orthogonales
lassiques (formule (1.29) de la proposition 12) puisque = (x) dx d . Il reste
a montrer que l'operateur rk est bien
elui donne par la denition 12. Comme nous avons
montre la formule (4.36) pour k = 0 dans la proposition 25, nous supposons k > 0. Nous
e
rivons alors 1 1
d X 0 (k ) d d X 0
n T (k) (x)
n T (x) =
n 2x n
dx n=k dx dx n=k
e qui se traduit en termes d'operateurs par
X1 1
0 rk+1 (
n )T (k+1) (x) = X 0 [rk 2Xk+1℄ (
n )Tn(k+1) (x) :
n
n=k+1 n=k+1
Nous etablissons don
la re
urren
e rk+1 = rk 2Xk+1 ave
r0 = r. En tenant
ompte
de la relation Xk = X0 k, on verie aisement que r 2kX0 + k(k + 1) est solution de
ette re
urren
e,
e qui a
heve la demonstration. 2
La proposition pre
edente permet d'appliquer des operateurs dierentiels d'ordre 2, les
k , ou d'ordre 1, , tout en restant dans la base de depart. Ce
i permet \d'e
onomiser"
l'usage de l'operateur de
hangement de base que nous devrions utiliser pour suivre le
s
hema general. Ce fait se
on
retise par les formules
X2k+2 I + (2k + 1)Xk+2 = 2 Nk (4.37)
Xk2+1 I = rk : (4.38)
Appliquons
es resultats pour diminuer l'ordre des re
urren
es. Supposons que le polyn^ome
pr soit divisible par x2 1 et notons p1;r le quotient
orrespondant. Nous pouvons alors
e
rire
r 1
dr 1 X dk
L = p1;r (x) r 1 + pk (x) k
dx k=0
dx
Si nous appliquons dire
tement le s
hema general, nous obtenons l'operateur aux dieren
es
r 1
X
L = p1;r (Xr )(X2r 1) + pk (Xr )r k
k=0
tandis que si nous utilisons la formule (4.36) nous obtenons
!
X1 X1 " r 1
X
#
L 0
n Tn = p1;r (Xr 1 )rr 1 + pk (Xr 1 )r 1 k (
n )Tn(r 1) : (4.39)
n=0 n=r 1 k=0
114
4.2 Divers travaux autour de la re
urren
e de Chebyshev
L'ordre de l'operateur aux dieren
es qui appara^t
i-dessus est egal a l'ordre de L moins
2. La formule (4.38) nous permet de verier que
" r 1 #
X
L = p1;r (Xr 1)rr 1 + pk (Xr 1 )r 1 k :
k=0
Ainsi le gain d'ordre
orrespond bien a la mise en fa
teur d'un operateur de
hangement
de base.
Supposons maintenant que l'operateur L soit au moins d'ordre 2 et que nous puissions
l'e
rire sous la forme
r 2
dr 2 X dk
L = p2;r (x)r 2 r 2 + pk (x) k :
dx k=0
dx
A l'aide de la formule (4.35), nous obtenons alors
1 ! 1 " r 2 #
X X X
L 0
n T n = p2;r (Xr 2 )Nr 2 + pk (Xr 2 )r 2 k (
n ) Tn(r 2) : (4.40)
n=0 n=r 2 k=0
Dans
e
as, nous abaissons l'ordre de l'operateur aux dieren
es de 4
e que nous retrou-
vons dans la fa
torisation, utilisant la formule (4.37),
" r 2 #
X
L = 2 p2;r (Xr 2 )Nr 2+ pk (Xr 2 )r 2 k :
k=0
Ainsi en alliant au s
hema general l'usage d'operateurs parti
uliers issus des proprietes des
polyn^omes hypergeometriques, pouvons diminuer l'ordre des re
urren
es asso
iees a une
equation dierentielle.
Exemple 11 (suite de l'exemple 10).
En reorganisant l'operateur L sous la forme
d2 d
L = x(1 x2 ) (1 + 2x 2x3 ) + (1 + x)
dx 2 dx
= x0 + (1 + 2x) + (1 + x) ;
il vient gr^a
e aux formules (4.35) et (4.36)
1 ! 1
X
L 0
n Tn = X 0 [ X0 n2 + (1 + 2X0 )r + 1 + X0 ℄(
n )Tn :
| {z }
n=0 n=0 L1
Nous trouvons alors
L1 (
n) = (n 2)
n 2 (1 3n + n2 )
n 1 + 2
n (1 + 3n + n2 )
n+1 (n + 2)
n+2
e qui
orrespond a la re
urren
e minimale de Lewanowi
z.
115
Chap. 4 : Etude de la re
urren
e de Chebyshev
Nous de omposons haque polyn^ome rk en partie paire et impaire de la fa on suivante :
116
4.2 Divers travaux autour de la re
urren
e de Chebyshev
ou ~rk est le polyn^ome deni par ~rk (x 1) = ^rk (x). Nous voyons alors que l'operateur
dierentiel e
X
0 d ^
R= r ( )T (x) rk (1 )Uk 1 (x) (4.42)
k=0
dx k 0 k
est tel que, d'apres les resultats des propositions 18 et 38,
1 1!
R
X
0 bn Tn = X 1 R(bn )T 0 :
2n n
n=0 n=1
Nous avons don
onstruit un operateur dierentiel qui genere un operateur aux dieren
es
donne. Or nous savons, d'apres la proposition 4.31, que l'operateur L de la re
urren
e de
Chebyshev asso
iee a un operateur dierentiel L se ramene via une multipli
ation par un
polyn^ome a un operateur L du type (4.41). Nous pouvons don
appliquer la methode que
nous venons de presenter a L pour lui asso
ier un operateur dierentiel R. Une question
vient a l'esprit : quel est le lien entre L et R ?
Une petite d'adaptation de la formule (4.35) provenant du
onstat que k dxd = k
nous indique que
X1 1
X
k bn Tn(k+1) = (n2 k2 )bn Tn(k) : (4.43)
n=k+1 n=k
Alors en appliquant
ette formule iterativement, il vient
1 ! 1
X X
r 1 1 L 0 bn Tn = r 1 1 L(bn)Tn(r)
n=0 n=r
1 rY1
X
= (n2 k2 )L(bn )Tn0
n=1 k=1
X1 1
= L(bn )Tn0 :
n=1
2r n
Dans le
as d'un operateur d'ordre 1, nous avons dire
tement R = L. Verions
e fait.
L'operateur L est de la forme
d
L = p1 (x) + p (x) :
dx 0
Nous savons d'apres la proposition 34 que si les polyn^omes p0 et p1 s'e
rivent dans la base
de Chebyshev
e
X e 1
X
p1 (x) = 0 k Tk (x) et p0 (x) = 0 k Tk (x)
k=0 k=0
117
Chap. 4 : Etude de la re
urren
e de Chebyshev
alors e
X
L= (ak n + bk )Ek
k= e
ave
ak = k et bk = (k+1 k 1 )=2 + kk . Nous avons alors rk (n) = ak et ^rk (n) = bk ,
l'operateur R est don
e e 1
d X 0 a T (x) X
bk+1 Uk (x) :
dx k=0 k k k=0
Or on verie aisement que
e 1
X bk bk+1
p0 (x) p0 (x) =
1
1
kk Uk (x) :
k=0
2
Don
R = d
dx p1 (x) + p0 (x) p01 (x),
e qui etablit l'egalite entre L et R.
Finssons ave
un exemple.
Exemple 12 Nous
onsiderons l'operateur L = d3 1. L'operateur a
oeÆ
ients po-
dx3
lyn^omiaux
onstruit par le s
hema general est
L = (n + 1)(n + 2)E 3 + 3(n 1)(n + 2)E 1 + 8(n 2)(n 1)n(n + 1)(n + 2)I
3(n 2)(n + 1)E + (n 2)(n 1)E3
L'operateur dierentiel R
onstruit a partir de L est
d5 4
3 x) d + 20(4x2 1) d
3
R = 4(x2 1)2 + 40( x
dx5 dx4 dx3
d 2 d
+4(x2 1)2 2 + 40(x x3 ) + 20(4x2 1)
dx dx
et on peut verier que
d d
R=4 (x2 1) + 5x (x2 1) + 3x L
dx dx
e qui etait le resultat attendu.
les series de Taylor (respe
tivement de Chebyshev) formelles holonomes
omme etant les
series de Taylor (resp. de Chebyshev) -
onvergentes ou non - qui verient formellement
une equation dierentielle holonome. Le
as de serie de Taylor est bien etudie,
elui de
de Chebyshev l'est moins. D'apres les resultats vus plus haut, une serie de Taylor est
holonome si et seulement si ses
oeÆ
ients verient une equation re
urrente a
oeÆ
ients
polynomiaux (obtenue gr^a
e a la transformation de Mellin formelle). De
e fait si la serie
de Chebyshev
X1
0 an Tn (x)
n=0
est holonome, la serie de Taylor
1
X
an x n
n=0
l'est aussi. Nous nous proposons de montrer la re
iproque.
Theoreme 6
Si la serie de Taylor
1
X
an xn
n=0
est holonome, alors la serie de Chebyshev
X1
0 an Tn (x)
n=0
l'est aussi et verie une equation dierentielle holonome d'ordre au plus le double
de
elui d'une equation veriee par la serie de Taylor.
Nous allons rappeler su
intement la methode pour obtenir l'equation dierentielle ho-
lonome veriee par la somme de deux fon
tions holonomes. Pour plus de details, nous
renvoyons le le
teur aux deux referen
es sus-mentionnees. Nous allons de plus presenter
une forme parti
uliere du resultat spe
ialement adaptee a notre probleme. Pour
ela nous
rappelons que la notation designe la derivation d'Euler (i.e. x dxd ). Tout operateur ho-
lonome peut ^etre
onsidere
omme un operateur de l'algebre C [x; x 1 ; ℄. Nous allons
travailler dans
ette algebre. Soient don
f et g deux fon
tions veriant les equations
nX1
Fn (x)f (n) = Fk (x)f (k) + R(x) (4.44)
k=0
et
m
X1
Gm (x)g(m) = Gk (x)g(k) + S (x) (4.45)
k=0
ou les Fk , les Gk , R et S sont des polyn^omes en x et x 1 et ou la notation y(k) in-
dique k y. Si l'on derive (au sens de ) l'equation (4.44), respe
tivement l'equation (4.45),
on etablit aisement et de maniere
onstru
tive, que le terme Fn (x)f k (resp. Gm (x)gk )
s'e
rit, quelque soit k,
omme somme d'un polyn^ome et d'une
ombinaison lineaire a
oeÆ
ients polyn^omiaux de f; f 0; : : : ; f (n 1) (resp. g; g0 ; : : : ; g(m 1) ). Et une
ombinaison
119
Chap. 4 : Etude de la re
urren
e de Chebyshev
lineaire evidente (et non optimale) permet d'e
rire les termes Fn (x)Gm (x)(f + g)k , quelque
soit k,
omme somme d'un polyn^ome et d'une
ombinaison lineaire a
oeÆ
ients po-
lyn^omiaux de f; f 0; : : : ; f (n 1) ; g; g0 ; : : : ; g(m 1) . Puisque
haque terme Fn (x)Gm (x)(f + g)k
est determine par n + m +1
oeÆ
ients polyn^omiaux, l'algebre lineaire nous assure que les
termes Fn (x)Gm (x)(f + g)k pour k variant de 0 a n + m + 1 (soit n + m + 2 termes) sont
lineairement dependants, la
ombinaison lineaire pouvant ^etre obtenue par elimination
gaussienne et produisant une equation dierentielle holonome d'ordre n + m + 1 veriee
par f + g.
D'apres la propriete 15, nous pouvons
onsiderer une serie de Chebyshev une serie de
Laurent symetrique. En eet, en posant z = (x + x 1 )=2, il vient
!
X1 1 X1 X1
0 an Tn (z ) = an xn + an x n :
n=0
2 n=0 n=0
P
Supposons que la serie f = an xn verie (m^eme formellement) l'equation holonome
nX1
A(x)n f = An;k (x)k f + Bn (x) : (4.46)
k=0
Nous avons
hoisi d'e
rire les operateurs dierentiels en utilisant la derivation d'Euler
par
e que
elle-
i presente la bonne propriete suivante
1
t=
x
) t = x :
P
Gr^a
e a
ette propriete il est fa
ile de voir que la serie an x n verie l'equation holonome
nX1
A(x 1 )ng = An;k (x 1 )( 1)n+k k g + ( 1)n Bn (x 1 ) : (4.47)
k=0
Et plus generalement en derivant (toujours ave
) l'equation (4.46) nous obtenons pour
tout m,
nX1
A(x)m f = Am;k (x 1 )( 1)m+k k f + Bm (x) (4.48)
k=0
qui va de paire ave
nX1
A(x 1 ) m g = Am;k (x 1 )( 1)m+k k g + ( 1)m Bm (x 1 ) : (4.49)
k=0
Et gr^a
e au P
pro
ede que
P
nous venons d'exposer nous obtenons une equation holonome
veriee par an x + an x n. Le probleme est de savoir si
ette equation reste holo-
n
nome en z apres le
hangement de variable inverse x ! z .
Commen
ons par etablir quelques resultats te
hniques. Nous rappelons les notations sui-
vantes
x+x 1
w(x) = ;
2
x x 1
v(x) = :
2
Et nous donnons le
120
4.2 Divers travaux autour de la re
urren
e de Chebyshev
Lemme 7
Soit P un polyn^ome de C [x; x 1 ℄, que nous e
rivons
s
X
P (x) = ak x k :
k= r
P
e qui montre que la serie an Tn (z ) est solution de l'equation dierentielle holome
" #
2n
X b m2
pm (z ) fz gm z y = q(z )
m=0
dont la methode de
onstru
tion pre
ede.
Un inter^et des
al
uls que nous venons de presenter est de permettre la
onstru
tion
122
4.3 Con
lusion
d'une equation dierentielle telle que la re
urren
e de Chebyshev asso
iee est une solution
determinee a l'avan
e. Cette possibilite est tres interessante pour l'etude des solutions
formelles que nous allons ee
tuer dans le
hapitre suivant. Donnons un exemple qui
genere une serie de Chebyshev
alquee sur la serie d'Euler.
Exemple 13 La serie formelle
1
X
( 1)n (n 1)!xn
n=1
est solution formelle de l'equation d'Euler
x2 y 0 + y = x :
Nous voulons, pour des raisons qui appara^tront plus tard, trouver une equation dierentielle
dont la re
urren
e de Chebyshev asso
iee ait
n = ( 1)n (n 1)! pour solution. La methode
exposee plus haut nous donne
ette equation qui est
x(1 x2 )y00 (1 + 2x 2x3 )y0 + (1 + x)y = x2 :
123
Chap. 4 : Etude de la re
urren
e de Chebyshev
124
Chapitre 5
En somme un
hoix aleatoire des
onditions initiales dans la relation de re
urren
e (5.3)
permet de determiner une quel
onque solution de l'equation dierentielle (5.1).
Ave
les series de Chebyshev, la situation n'est pas aussi simple. Considerons l'equation
dierentielle y0 ay = 0. La re
urren
e de Chebyshev asso
iee est
2n
n
=0; n1
a n n+1
1
qui est d'ordre 2 et don
l'espa
e des solutions presente une dimension de trop. De fait,
nous
onnaissons deja une solution a
ette relation de re
urren
e a savoir f2In (a)g puis-
qu'il s'agit de la suite des
oeÆ
ents de Chebyshev de eax qui est solution de l'equation
dierentielle, tandis qu'une solution lineairement independante est ( 1)n Kn (a) ou Kn est
aussi une fon
tion de Bessel modiee. Or la serie de Chebyshev dont le terme general est
( 1)n Kn (a), est divergente.
Le phenomene qui est apparu dans l'exemple pre
edent est general et se resume ainsi :
toute suite solution de la re
urren
e de Chebyshev (5.2) n'est pas la suite des
oeÆ
ients
de Chebyshev d'une fon
tion solution de l'equation (5.1). En eet, nous avons vu plus
haut que l'ordre l'operateur L est 2e, ou e = ext(L), et plus pre
isement que
e
X
L= lk (n)Ek
k= e
ou les lk (n) sont des fra
tions rationnelles. Mais il est fa
ile de voir que, du fait de la
onvention
n =
n dans la re
urren
e (5.2), les solutions de
elle-
i sont determinees par
les r + e premiers termes. Si, de plus, le
oeÆ
ient de t^ete le (n) ne s'annule pas pour n r
(
as generique) nous pouvons m^eme aÆrmer que l'espa
e des solutions de la re
urren
e
de Chebyshev est egal a r + e. Ce qui represente au moins le double de la dimension de
l'espa
e des solutions de l'equation dierentielle (5.1). En resume,
126
5.2 Exemples
Proposition 39
Supposons que l'equation (5.1) soit ordinaire en tout point de l'intervalle [ 1; 1℄.
Supposons aussi que le
oeÆ
ient le (n) de L soit non nul pour tout n r. Alors il
existe une base de suites
f
(1) ;
(2) ; ;
(r+e) g
de l'espa
e des solutions de l'equation (5.2) telles que
{ les suites
(1) ; ;
(r) sont les suites des
oeÆ
ients de Chebyshev de r fon
tions
formant un systeme fondamental de solutions de l'equation (5.1),
{ au
une suite
(r+1) ; ;
(r+e) ni au
une
ombinaison lineaire de
elles-
i, ne
onstitue la suite des
oeÆ
ients de Chebyshev d'une solution de l'equation (5.1).
Cette proposition nous amene a donner la denition suivante
Denition 13
Nous appelons solution formelle (de Chebyshev) de l'equation dierentielle (5.1),
une serie de Chebyshev formelle
X1
0
n T n
n=0
telle que la suite f
n g est solution de la re
urren
e de Chebyshev (5.2).
Le but de
e
hapitre est de
ara
teriser les solutions formelles \surnumeraires",
'est-a-dire
elles qui ne sont pas le developpement d'une fon
tion solution de l'equation dierentielle.
Par \
ara
teriser" nous entendons : determiner le
omportement asymptotique des
oeÆ-
ients de
es solutions et trouver eventuellement le lien entre les solutions formelles et les
solutions de l'equation dierentielle originelle.
5.2 Exemples
Commen
ons par quelques exemples pour lesquels les solutions formelles sont
onnues.
Nous avons donne une methode au
hapitre pre
edent pour
onstruire une equation
dierentielle ayant une solution formelle donnee mais il est plus diÆ
ile d'avoir une
equation dont toutes les solutions sont
onnues. Cela explique que nous retrouverons
les exemples suivants tout au long de
e
hapitre.
128
5.3 Etude des solutions formelles : appro
he indire
te
Demonstration :
En remarquant que xl (xm ) = ml xm , nous appliquons l'operateur R sur la serie de Taylor de
oeÆ
ients
n
1 ! 1
M X
X X
R
n xn =
n rk (x )xn k
n=0 k=m n=0
XM X 1
=
n rk (n k)xn k
k=m n=0
XM X 1
=
n+k rk (n)xn :
k=m n= k
Pour simplier la permutation de somme nous
onvenons que
k = 0 pour k < 0,
e qui nous
permet d'e
rire
1 ! M 1
X X X
R
n x n =
n+k rk (n)xn
n=0 k=m n= M
130
5.3 Etude des solutions formelles : appro
he indire
te
!
1
X M
X
= rk (n)
n+k xn
n= M k=m
nX M ! 1 M !
0 1 X X X
= rk (n)
n+k xn + rk (n)
n+k xn
n= M k=m n=n0 k=m
| {z }
p(x)
ave
evidemment p(x) 2 C [x; x 1 ℄. Nous nissons le
al
ul sur la derniere somme par
1 M ! 1 1
X X X X
rk (n)
n+k xn = L(
n )xn = fnxn :
n=n0 k=m n=n0 k=n0
Nous obtenons don
!
1
X 1
X
R
n xn = p(x) + fnxn :
n=0 k=n0
2
Ainsi toute suite solution d'une equation aux dieren
es a
oeÆ
ients polyn^omiaux est la
suite des
oeÆ
ients d'une serie de Taylor solution formelle d'une equation dierentielle
liee a l'equation aux dieren
es par la transformation de Mellin formelle. Voyons don
omment utiliser
e resultat, en
ommen
ant par introduire la notion de polygone de
Newton.
les pi;j non nuls etant en nombre ni. A
et operateur est asso
ie un polygone de Newton,
que nous denissons
omme suit. Soit
Q+ = f(x; y) 2 R2 ; x 0; y 0g et Q = f(x; y) 2 R2 ; x 0; y 0g
respe
tivement les deuxieme et troisieme quadrants de R2 . Nous denissons
Q+(u; v) = Q+ + (u; v) et Q (u; v) = Q + (u; v)
leurs translates respe
tifs par rapport a un point (u; v) de R2 . Nous posons
[ [
M + (L) = Q+(i; j i) et M (L) = Q (i; j i)
pi;j 6=0 pi;j 6=0
et nous denissons enn Q+ (L)
omme l'enveloppe
onvexe inferieure de M + (L) et Q (L)
l'enveloppe
onvexe superieure de M (L). Il vient alors la denition suivante
131
Chap. 5 : Solutions de Chebyshev formelles d'une EDO
Denition 14 Q+ (L) est appele polygone de Newton en 0 de l'operateur L. Q (L) est
appele polygone de Newton a l'inni de L. Enn le polygone
omplet de L est deni par
Q(L) = Q+ (L) \ Q (L) :
Denissons quelques elements
ara
teristiques du polygone de Newton de L .
Les pentes
Le polygone Q+ (L) a S pentes nies stri
tement positives et Q (L) a s pentes nies
stri
tement negatives que nous noterons respe
tivement
0 < k1+ < < kS+ et 0 > k1 > > ks :
Remarque : S et s peuvent ^etre nuls. Notons Ak l'ar^ete de Q(L) de pente k. Notons l(k)
la longueur de la proje
tion de Ak \ (R+ R) sur l'axe des abs
isses. De plus, le polygone
omplet Q(L) peut posseder, sur la droite y = r, une ar^ete verti
ale A1 .
Les polyn^omes
ara
teristiques
Si k est l'une des pentes nies non nulles de Q(L) et si (ik ; jk ) est l'extr^emite d'abs
isse
minimale de Ak alors on appelle polyn^ome
ara
teristique asso
iee a la pente k le polyn^ome
X
Ck (X ) = pi;j +iX i ik ;
(i;j )2Ak
e polyn^ome est de degre l(Ak ). Si k = 1
C1 (X ) = X pr (X )
ou est la valuation de pr .
Remarque : le polygone de Newton peut presenter des ar^etes de pente nulle auxquelles
on peut asso
ier des polyn^omes
ara
teristiques. Ces pentes qui
ontiennent des infor-
mations importantes (
lassi
ation des equations dierentielles, algorithme de Frobenius)
n'interviendront
ependant pas dans la suite de notre propos.
Les k-
ara
teristiques
On appelle, pour k ni, k-
ara
teristiques les valeurs k; = jk; j 1=k ou k; est ra-
ine de l'equation Ck (X ) = 0 dite equation
ara
teristique asso
iee a la pente k. Les
1-
ara
teristiques les valeurs 1; = j1; j 1 ou k; est ra
ine de C1(X ) = 0.
La gure 5.1 donne un exemple de polygone de Newton ave
ses polyn^omes
ara
teristiques.
Remarque : il est fa
ile de verier que les polygones de Newton des operateurs L1 et
L2 = xn L1 (n 2 Z) sont identiques a une translation verti
ale pres et qu'ils ont les
m^emes equations
ara
teristiques. Cette remarque permet de se ramener a des operateurs
dierentiels a
oeÆ
ients en x et non plus en x et x 1 .
C 1
3
(X ) = 3 + X3
C 1 (X ) = 1 3X
C1 (X ) = 2 3X 2
C2 (X ) = 1 + 2X
1 2 3 4
C1 (X ) = 1 + 11X + X 2
Denition 16 Une suite fan g est dite Gevrey d'ordre pre
ise (s; A), s 2 R et A 2 R+ ,
si
lim sup((n!) s jan j)1=n = A :
L'ordre Gevrey pre
ise est d'une fan g, lorsqu'il existe, est unique.
Ces denitions posees nous avons le theoreme suivant d^u a J.-P. Ramis [56℄.
Theoreme 7 P
Si la serie formelle y^ = an xn est solution formelle de l'equation dierentielle
Ly = f
ou L 2 C [x; x 1 ; x ℄ et f une serie de Taylor
onvergente. Alors la serie y^ est
{ soit
onvergente et fan g est Gevrey d'ordre pre
ise (s; A) ave
s = k1 ou k est
l'une des pentes stri
tement negatives ou la pente innie (auquel
as on
onvient
que 11 = 0), de Q (L) et A l'une des k-
ara
teristiques.
{ soit fan g est Gevrey d'ordre pre
ise (s; A) ave
s = k1 ou k est l'une des pentes
nies stri
tement positives de Q+ (L) et A l'une des k-
ara
teristiques.
Ce resultat reste vrai si f est de la forme
X1
x n fk xk ; n2N
k=0
ou la serie est toujours
onvergente. En eet le theoreme est appliquable a xn L = xn f et
d'apres la remarque faite plus haut nous savons que L et xn L ont m^emes pentes et m^emes
k-
ara
teristiques. De
e fait le theoreme de Ramis s'applique a l'equation
X1
Ry = p(x) + fnxn
k=n0
133
Chap. 5 : Solutions de Chebyshev formelles d'une EDO
ave
lk ( n) = l k (n). Cette stru
ture implique que l' operateur L est invariant (au signe
pres) par le
hangement de variable z = 1=x. En eet, ave
le
hangement de variable
pre
edent il est immediat d'etablir que x = z et de
e fait nous avons
e e k
X
k
X 1
lk (x )x = lk ( z )
k= e k= e
z
e
X
= l k (z )z k
k= e
Xe
= lk (z )z k (k ! k) :
k= e
Or on peut etablir (voir Ramis ou Malgrange) que les polygones Q+ (Lz ) et Q (Lx ) sont,
a une translation pres, symetriques par rapport a l'axe horizontale et que leurs polyn^omes
ara
teristiques ont m^emes ra
ines au signe pres (don
m^emes modules
e qui est l'essen-
tiel). Don
d'apres la propriete d'invarian
e Q+ (L ) et Q (L ) ont des pentes 2 a 2 opposees
et les m^emes polyn^omes
ara
teristiques au signe pres don
des k-
ara
teristiques 2 a 2
inverses. Ce que nous resumons par la
134
5.4 Polygone de Newton-Chebyshev
Proposition 41
L'ensemble des ordres pre
ises \possibles" des solutions formelles de Chebyshev de
l'equation Ly = q est du type
[ 1
(si ; Ai ); ( si ; )
i2I
Ai
ou les si sont les inverses des pentes du polygone de Newton de L et les Ai les
k-
ara
teristiques asso
iees.
5.3.5 En resume
Nous avons don
presente une methode permettant de
erner le
ara
tere Gevrey des
solutions formelles de Chebyshev d'une equation dierentielle. Toutefois
ette methode
requiert un
ertain nombre d'etapes intermediaires resumee par le s
hema suivant
Dans la pro
haine se
tion nous allons montrer que l'on peut deduire l'ordre Gevrey pre
ise
des solutions formelles dire
tement a partir de l'operateur L au moyen d'un polygone
spe
ique que nous appellerons polygone de Newton-Chebyshev. Nous retrouverons sur
e
polygone la symetrie des
ara
teres Gevrey annon
ee dans la proposition 41.
soit
L^ =
rz pr z+ z1
2
+ +
z p1 z+ z1
2
+ p0 z+ z1
2
: (5.13)
135
Chap. 5 : Solutions de Chebyshev formelles d'une EDO
Lemme 8
L'operateur
iz se developpe en
i
X Ni;k (z ) k
k=1 (z 2 1)2i k z
ou Ni;k sont des polyn^omes veriant les proprietes suivantes :
{ Ni;i = (2z 2 )i ,
{ deg(Ni;k ) = 3i k 2 pour k < i,
{ val(Ni;k ) = i + k.
Demonstration :
La demonstration se fait par re
urren
e ave
beau
oup de
al
uls. Ce lemme etant uniquement
un resultat te
hnique nous ne donnons pas la demonstration in extenso. 2
137
Chap. 5 : Solutions de Chebyshev formelles d'une EDO
pour en etablir le polygone de Newton. Gr^a
e au lemme 8 nous pouvons assurer que L^ se
fa
torise sous la forme
r
1 X
: pi ( z+2 z )(z 2 1)2q 1
iz
1
(z 2 1) 2q 1
i=0
de sorte que le fa
teur de droite est element de C [z; z 1 ; z ℄. Le polygone de Newton de L^
sera don
le polygone de Newton de
e fa
teur.
De
rivons
e polygone. Pour
ela il faut, dans un premier temps, etudier la
ontribution
du terme
(z 2 1)2q 1
iz :
138
5.4 Polygone de Newton-Chebyshev
4q-i-4
i-1 i
Il appara^t que (z 2 1)2q 1
iz ne
ontribue aux pentes non nulles du polygone
omplet
de L^ que par le terme (z 2 1)2q 1 i (2z 2 )i zi et plus pre
isement (en developpant) : par
le mon^ome 2i z 4q 2 zi pour le polygone en l'inni et par le mon^ome ( 2z 2 )i zi pour le
polygone en 0.
Posons maintenant di = deg(pi ) et pi;di le
oeÆ
ient dominant de pi , il est immediat
de voir que 1 p i di pi;di di
pi z+2 z = i;d
2id z + +
2di
z :
Nous en
on
luons que
Q pi z+2 z1 (z2 1)2q 1
iz = Q p2i;ddii zdi 2i z4q 2 zi
et
Q+ pi z+2 z1 (z2 1)2q 1
iz = Q+ p2i;ddii z di ( 2z2 )izi :
139
Chap. 5 : Solutions de Chebyshev formelles d'une EDO
Ainsi nous
onstatons que les polygones Q (L^ ) et Q (L) sont identiques a une translation
verti
ale de ve
teur (0; 2(2q 1)) pres et que Q (L^ ) et Q+ (L^ ) sont symetriques par rapport
a l'axe des abs
isses,
omme nous l'avions prevu d'apres la stru
ture de L.
Maintenant nous allons
al
uler les polyn^omes
ara
teristiques relatifs aux pentes non
nulles du polygone
omplet. Nous
ommen
erons par le
as relativement simples des pentes
nies d'abord les negatives puis les positives.
Considerons l'ar^ete Ak de pente k negative. D'apres la
onstru
tion de Q (L^ ) tout
sommet de quadrant sur
ette ar^ete a des
oordonnees de la forme (i; di i) et
orrespond
au mon^ome 2i di pi;di z di i+4q 2 z i zi . Soit (ik;0 ; jk;0 ) les
oordonnees de l'extr^emite gau
he
de Ak . Pour tout sommet sur
ette ar^ete on a don
di i = jk;0 + k(i ik;0 ). Le polyn^ome
ara
teristique asso
ie a Ak est alors
X
C^k (X ) = 2i di pi;di X i ik;0
(i;di i)2Ak
X
= 2 jk;0 k(i ik;0 ) pi;di X i ik;0
(i;di i)2Ak
i ik;0
j
X X
= 2 k;0
pi;di k
(i;d i)2A
2
i k
Xjk;0 C
= 2 : k
2k
Ainsi
^k; est ra
ine de C^k (X ) si et seulement si
k; = 2 k
^k; est ra
ine de Ck (X ).
Ce qui implique que si k; est une k-
ara
teristique de L alors ^ k; = k; 2 est une k -
ara
teristique de L^ ,
ar
^ k; = j
^k; j 1
k = j2k
k; j :
1
k = k;
2
Considerons l'ar^ete Ak de pente k positive. D'apres la
onstru
tion de Q+ (L^ ) tout
sommet de quadrant sur
ette ar^ete a des
oordonnees de la forme (i; i di ) et
orrespond
au mon^ome ( 1)i+1 2i di pi;di z i di z i zi . Le polyn^ome
ara
teristique asso
ie a Ak est
ette
fois
X
C^k (X ) = ( 1)i+1 2i di pi;di X i ik;0
(i;i di )2Ak
X
= ( 1)ik;0 +1 ( 1)i ik;0 2jk;0 +k(i ik;0 ) pi;di X i ik;0
(i;i di )2Ak
X i ik;0
= ( 1)ik;0 +1 2jk;0 pi;di 2k X
(i;i di )2Ak
= ( 1) i k;0 +1 j
2 C k 2X
k;0 k :
140
5.4 Polygone de Newton-Chebyshev
f 1; 1g [ f
q;k ;
1 ; k = 1::qg
q;k
ou
q;k ra
ine de X 2 2q;k X + 1 = 0 ave
q;k ra
ines de pr . Les 1-
ara
teristiques sont
don
f1g [ fj
q;k j; j
1 j ; k = 1::qg
q;k
et nous retrouvons le fait que m^eme pour l'ordre Gevrey 0 les ordres Gevrey pre
ises
possibles sont
ouples sous la forme (0; A) et (0; A1 ).
141
Chap. 5 : Solutions de Chebyshev formelles d'une EDO
k;v = j
k;v j
1=k
2
ou
k;v est ra
ine de Ck (X ).
{ On pose S1 = f; ra
ine de X 2 2X + 1 et ra
ine de C1 (X )g. On appelle
1-
ara
teristiques les valeurs
1;v = j1;v j ave
1;v 2 S1;
auxquelles on ajoute 1 si L est d'ordre stri
tement superieur a 1.
Remarque : si A est une 1-
ara
teristique, il en est de m^eme de A1 .
Moyennant
es denitions nous obtenons le theoreme :
Theoreme 10
142
5.5 Forme expli
ite de solutions formelles
P
Si la serie de Chebyshev formelle y^ = 0
n Tn est solution formelle de l'equation
dierentielle
Ly = f
ou L est un operateur dierentiel lineaire a
oeÆ
ients polyn^omiaux et f un po-
lyn^ome. Alors la serie y^ est
{ soit
onvergente et f
n g est Gevrey d'ordre pre
ise (s; A) ave
s = k1 ou k est
l'une des pentes stri
tement negatives (nie ou non) de C(L) et A l'une des k-
ara
teristiques.
{ soit f
n g est Gevrey d'ordre pre
ise (s; A) ave
s = k1 ou k est l'une des pentes
stri
tement negatives (nie ou non) de C(L) et A1 l'une des k-
ara
teristiques.
Exemple 17 Revenons sur l' equation homogene a
oeÆ
ients
onstants Ly = 0 ave
L = ar xr + + a1 x + a0
On suppose, toujours, que le polyn^ome ar xr + + a1 x + a0 a r ra
ines distin
tes k ,
k = 1 r. Le polygone de Newton-Chebyshev de L est
-q
depasse nos esperan
es et qui ratta
he
ertaines solutions formelles a des fon
tions solu-
tions de l'equation dierentielle generatri
e de la re
urren
e de Chebyshev.
Commen
ons par un exemple. Soit a un reel stri
tement positif. La serie
X1
0 Kn (a)Tn (x)
n=0
est une solution formelle divergente de l'equation y0 + ay = 0. Nous savons donner le
ara
tere Gevrey de
ette solution formelle mais quelle est son lien ave
la solution de
l'equation dierentielle ? L'intarissable Abramowitz nous livre la reponse ave
la formule
suivante Z 1
Kn (a) = e a
osh(x)
osh(nx)dx [1, 9.6.24℄
0
que, moyennant le
hangement de variable t =
osh(x) et le fait que
osh(nar
osh(t)) =
Tn (t), nous ree
rivons Z 1
T (t)
Kn (a) = e at p n2 dt :
1 t 1
Ainsi nous avons un lien entre Kn (a) et e ax ,
'est-a-dire un lien entre une solution formelle
et une fon
tion solution de l'equation. Nous allons voir que
e resultat peut se generaliser
pour une
lasse d'equations dierentielles.
Nous designons par C le plan
omplexe C
oupe le long de la demi-droite reelle ℄ 1; 1℄.
Alors la fon
tion
1
R : z7 !p 2
z 1
pour une
ertaine determination de la ra
ine, est une fon
tion analytique et uniforme sur
C. De
e fait, si a et b sont deux point de C et si
(a; b) est un
hemin oriente stri
tement
ontenu dans C joignant a a b, alors l'integrale
Z
f (z )R(z )dz (5.14)
(a;b)
est denie pour toute fon
tion f analytique sur C independamment du
hemin d'integration.
En remarquant que la fon
tion R est majoree sur le disque de
entre 1 et de rayon par,
1=2 , on peut etablir que l'integrale (5.14) reste denie de maniere unique pour un
hemin
issu du point a = 1. Maintenant nous voudrions pouvoir faire tendre b vers l'inni ou plus
exa
tement puisque nous sommes dans le
hamp
omplexe faire tendre b vers l'inni dans
une dire
tion donnee. Pour
ela, nous devons imposer des
onditions sur la fon
tions f .
Denition 18
Pour un entier n et un nombre
omplexe " de module 1, S (n; ") designe l'ensemble
des fon
tions f holomorphes sur C pour lesquelles il existe deux reels positifs K et
a tels que
jf (k)("x)j Ke ax 8x > 0; k = 0 n :
La notation d" designe la demi-droite issue de 0 passant par le
omplexe " de module 1.
La notation
(1; "1) designe un
hemin de C issu de 1 et qui se
onfond ave
une portion
de d" pour aller a l'inni. Alors pour une fon
tion de S (n; "), pour n 0, l'integrale
Z "1 Z
def
f (z )R(z )dz = f (z )R(z )dz (5.15)
1
(1;"1)
144
5.5 Forme expli
ite de solutions formelles
est denie independamment du
hemin
(1; "1). Comme il est
lair que le produit d'une
fon
tion de S (n; ") par un polyn^ome est toujours dans S (n; ") nous pouvons donner la
denition suivante.
Denition 19
Pour f fon
tion de S (0; "), ave
" 6= 1, nous denissons
Z "1
T (t)
Cn" (f ) = f (t) p n2 dt : (5.16)
1 t 1
Pour une fon
tion de S (0; 1), nous denissons Cn 1 (f ) par Cn1 (x 7! f ( x)).
Le lien entre les denitions pre
edentes et les solutions formelles d'equations dierentielles
est donne par la
Proposition 43
L etant notre operateur dierentiel holomone generique, soit f une solution de
l'equation Ly = 0. Supposons que f appartienne a S (r; "). Alors
L (Cn" (f )) = 0 :
P0 "
Ce qui revient a dire que la serie C (f )T n n est une solution formelle de l'equation
Ly = 0.
Demonstration :
La fon
tion f appartient a S (r; "), il est fa
ile de voir que xf y appartient aussi. Il vient alors
Z "1 Z "1
tTn (t) X0 (Tn (t))
Cn" (xf ) = f (t) p 2 dt = f (t) p2 dt = X0 (Cn" (f )) :
1 t 1 1 t 1
Nous montrerons plus bas la relation
Z x
p T2n(x)) :
pTn2 (t) dt = ( (5.17)
1 t 1 x 1
Admettons la pour le moment et pro
edons a une integration par parties
Z x 1 Z 1
Tn (t)
"
Cn (f ) = f (x) p 2 dt + f 0(x) ( p T2n (x)) dx = Cn" (f 0) :
t 1 1 x 1
1 1
Ainsi, f veriant l'equation homogene Ly = 0, nous avons
r ! r r
X X X
0 = Cn" pk (x)f (k) = pk (X0 )Cn" f (k) = pk (X0 )(r k) C "
n f (r) :
k=0 k=0 k=0
En appliquant r a l'avant derniere ligne,
omme r Cn" f (r) = Cn" (f ) nous obtenons
r
X r
X
r pk (X0 )r k Cn" f (r) = pk (Xr )r k Cn" (f ) = L (Cn" (f )) = 0 :
k=0 k=0
Montrons la relation (5.17)
d (Tn (x)) (x2 1)(Tn0 (x)) x(Tn (x))
p
dx x2 1
= p :
(x2 1) x2 1
145
Chap. 5 : Solutions de Chebyshev formelles d'une EDO
En utilisant la relation de stru
ture et la re
urren
e a trois termes, nous etablissons que
(n 1)Tn+1 (n + 1)Tn
(x2 1)Tn0 xTn = 1
2
et en appliquant l'operateur il vient
Tn+2 + Tn
(x2 1)Tn0 xTn = 2
= (I X20 ) Tn = (1 x2 ) Tn :
4
Nous avons don
d (Tn (x)) Tn (x)
p
dx x2 1
= p :
x2 1
Par ailleurs nous savons que les polyn^omes Tn et Tm ont les m^emes valeurs en 1 et 1 si n et
m sont de m^eme parite. Don
pour tout n, Tn+1 Tn 1 est un polyn^ome nul en 1 et 1, de
sorte que
(Tn (x)) p
p2 = An (x) x2 1
x 1
ave
An (x) polyn^ome. Ainsi pxn2 x1)) se prolonge par la valeur 0 en x = 1,
e qui justie
(T (
l'integrale (5.17) et
on
lut la demonstration. 2
Au-dela de l'exemple que nous venons de donner, nous avons des resultats qui permettent
determiner l'existen
e de zones de de
roissan
e exponentielle pour des solutions d'une
equation dierentielle. Nous allons etudier le
as parti
ulier ou l'equation est du type
r 1
X
Ly = y(r) + pk y(k) = 0 (5.18)
k=0
e qui assure que les solutions de
ette equation ne peuvent avoir de singularite qu'a l'inni.
On sait depuis le sie
le dernier (Fabry [23℄, Birko, Poin
are) que l'equation (5.18) admet
une base de solutions formelles de la forme
s
X
eQ(t) t i (t 1 ) log t 1 i (5.19)
i=1
146
5.5 Forme expli
ite de solutions formelles
11111111111
00000000000
11111111111
00000000000
00000000000
11111111111
00000000000
11111111111
00000000000
11111111111
00000000000
11111111111
11111111111
1111111
0000000 00000000000
00000000000
11111111111
1111111
0000000 00000000000
11111111111
0000000
1111111
0000000
1111111 00000000000
11111111111
0000000
1111111
1111111
0000000
0000000
1111111
0000000
1111111
0000000
1111111
0000000
1111111
-1 1
1111111
0000000
0000000
1111111
0000000
1111111 11111111111
00000000000
0000000
1111111 00000000000
11111111111
00000000000
11111111111
00000000000
11111111111
00000000000
11111111111
00000000000
11111111111
00000000000
11111111111
00000000000
11111111111
00000000000
11111111111
Fig. 5.2 { Chemins d'integration pour les solutions formelles
orrespondant a e x3 .
ou tk = x ave
k entier et ou Q est un polyn^ome a
oeÆ
ients
omplexes, un
omplexe,
s un entier naturel non nul. Les i sont des series formelles en 1=t a
oeÆ
ients
omplexes.
L'algorithme de Newton issu des travaux de Fabry et repris et developpe par Malgrange
[44℄ permet de
onstruire une base de solutions formelles du type (5.19). L'algorithme a ete
implemente en Redu
e dans le programme DESIR [19℄ puis la version Newton rationnel
(Barkatou [3℄) dans le programme DESIR2 en Maple [52℄. En general les series i sont di-
vergentes mais
onstituent les developpements asymptotiques Gevrey de fon
tions que l'on
peut re
onstruire gr^a
e a la theorie de la multi-sommabilite issue des resultats de Ramis
[55℄, E
alle, Balser [2℄ et
. Nous reviendrons sur quelques uns des resultats de resomma-
tion dans la se
tion suivante, mais
ette theorie nous assure que la partie exponentielle
eQ(t) quand elle est presente regit le
omportement de la fon
tion solution de l'equation
dierentielle sous-ja
ente. La partie exponentielle existe pour au moins une solution for-
melle lorsque le point a l'inni est singulier irregulier
e qui se voit sur le polygone de
Newton
omplet de l'operateur L. La dete
tion des zones de de
roissan
e exponentielle se
fait alors simplement a partir du
oeÆ
ient dominant du polyn^ome Q. Ainsi, si
Q(t) = atn + termes de degre inferieur
l'exponentielle eQ(t) est alternativement exponentiellement
roissante puis de
roissante
dans des se
teurs suivant que la partie reelle de atn est respe
tivement positive ou negative.
Cette alternan
e de
omportement est
onnue sous le nom de phenomene de Sto
kes. Nous
voyons d'ailleurs que plus le degre de Q est eleve plus le nombre de se
teurs de de
roissan
e
sont nombreux. Ce degre est
orrele aux degres des polyn^omes pk dans l'operateur L,
147
Chap. 5 : Solutions de Chebyshev formelles d'une EDO
qui eux-m^emes in
uen
ent dans le sens
roissant le nombre de solutions formelles. Nous
pensons, bien que nous ne l'ayons pas etabli rigoureusement, qu'une etude plus ne du
polygone de Newton
omplet de L - au moins dans le
as restreint d'une equation du type
(5.18) - peut nous donner suÆsamment de se
teurs de de
roissan
e pour in
lure toutes les
solutions formelles de Chebyshev surnumeraires. Il est m^eme probable que nous trouvions
trop de se
teurs don
une redondan
e de solutions. M. Barkatou a observe
e phenomene
dans la re
her
he de solutions d'equations aux dieren
es via des integrales de Mellin. Le
bon nombre de solutions est retrouve alors en denissant des
lasses d'equivalen
e qui
apparaissent naturellement dans l'emploi de l'algorithme de Newton rationnel. La m^eme
demar
he pourrait nous permettre d'obtenir aussi le bon nombre de
lasses de solutions
generees par les integrales (5.16).
Bien que
ette se
tion s'a
heve sur plusieurs questions en suspens, les resultats qui
y sont presentes elu
ident plus nettement la nature des solutions formelles que l'analyse
Gevrey presentee auparavent.
148
5.6 Resommation de series de Chebyshev
1 1 !
1 X X
= an z n + an z n
2 n=0 n=0
1 1 1
= +
2 1 az 1 az 1
1 a1 z+2z
1
=
2 a+2a 1 z+2z 1
1 a1 x
= :
2 a+2a 1 x
La resommation appara^t dans le passage de la deuxieme a la troisieme ligne ou nous avons
rempla
er les series eventuellement divergentes selon les valeurs de z par le prolongements
de leur somme au-dela de leurs regions de
onvergen
e respe
tives (i.e. jz j < jaj 1 pour la
premiere et jz j > jaj pour la se
onde). En rajoutant le "prime", nous obtenons don
1
X a 1
a
0 an Tn (x) = 4 : (5.21)
a+a 1
x
n=0 2
Si le module de a est stri
tement inferieur a 1 la serie est bien la serie de Chebyshev
onvergente de la fra
tion au se
ond membre. Dans le
as
ontraire, nous avons resomme
la serie qui etait divergente en une fon
tion qui est, au signe pres, solution de l'equation
(5.20).
Si nous
hangeons a en a 1 dans (5.21) nous ne ferons que
hanger le signe du se
ond
membre. Don
si nous posons y = (a + a 1 )=2 et que nous faisons la demi-somme des se-
onds membres de l'egalite (5.21) pour respe
tivement a et a 1 nous obtenons, moyennant
une propriete maintes fois utilisees dans
e do
ument, que la serie (sommee ave
le m^eme
pro
ede !)
X1
0 Tn (y)Tn (x) (5.22)
n=0
est nulle pour tout x dierent de y. Nous faisons
ette derniere restri
tion
ar pour x = y
le denominateur de la fra
tion rationnelle au se
ond membre de (5.21) est nul. D'ailleurs,
dans le
as ou x = y on peut verier que la serie (5.22) tend vers l'inni. Ce resultat peut
para^tre etrange mais il est assez
oherent
omme nous allons le voir de deux manieres
dierentes.
D'abord
onsiderons (5.22)
omme une serie de Chebyshev formelle, au sens deni
dans
e
hapitre, de la variable x. Ee
tuons formellement le produit de
ette serie ave
le polyn^ome x y ;
ela revient a appliquer l'operateur X0 yI aux
oeÆ
ients de la serie,
a savoir Tn (y). Nous obtenons
1 1
(x y)
X
0 Tn (y)Tn (x) = X 0 1 (Tn+1 (y) 2yTn (y) + Tn 1 (y)) Tn (x) = 0 (5.23)
n=0 n=0
2| {z }
0
puisque nous avons re
onnu la re
urren
e a trois termes pour Tn (y). Ce qui tendrait a
signier que la serie est nulle quand x y ne l'est pas.
149
Chap. 5 : Solutions de Chebyshev formelles d'une EDO
D'autre part, la serie (5.22) peut ^etre interpretee
omme le passage a la limite, si elle
existait, K (x; y) des noyaux polyn^omiaux
m
X
Km (x; y) = 0 Tn (y)Tn (x) ;
n=0
Ces noyaux ont la propriete suivante : pour toute fon
tion f de L2w [ 1; 1℄, ave
w(y) =
(1 y2 ) 2 , on a
1
Z
1 1
sn (f ) = f (y)Kn ( ; y)w(y)dy :
1
Ainsi en passant a la limite on est tente d'e
rire
Z 1
1
f= f (y)K ( ; y)w(y)dy
1
et don
d'identier la serie (5.22) a la fon
tion de Dira
Æx y ,
e qui serait
onsistant
ave
une valeur nulle pour x 6= y et innie pour x = y. Si l'on se rappelle le lien entre
polyn^omes de Chebyshev et polyn^ome trigonometrique,
ette interpretation tres intuitive
de la serie (5.22) est
oherente ave
le developpement de la fon
tion Æ en serie de Fourier
dans la theorie des distributions, developpement que l'on peut voir
omme le passage a la
limite du noyau de Diri
hlet.
Premier exemple
Resommons maintenant la serie etudiee pre
edemment
X1
0 an Tn (x)
n=0
par le pro
ede de Borel-Lapla
e. Ee
tuons la transformee de Borel sur la serie, qui sera
alors
onvergente en tout point de C puisque nous partons de
oeÆ
ients Gevrey 0 et non
Gevrey 1, et ee
tuons les
al
uls suivants ou R represente la partie reelle :
X1 an T (x) X1 an ein ar
os(x) !
0 n
tn = R 0 tn
n=0
n ! n=0
n !
i ar
os(x) 1
= R eate
2
p 1
atx
= e
os(at 1 x ) 2 :
2
D'apres la formule 3.893 (2) dans l'ouvrage de Gradshteyn et Ryzhik [30℄, nous avons
l'egalite Z 1
u
e ut
os(vt)dt = 2 2 (u > 0)
0 u +v
qui appliquee a notre
as donne, pour a < 0 et tout x > 0,
Z 1 p 1 ax
e t eatx
os(at 1 x2 )dt = p
0 (1 ax) + (a 1 x2 )2
2
1 ax
=
1 + a2 2ax
1 a 1 x
= :
2 a 12+a x
Finalement, nous trouvons
Z 1 1 !
n a 1 a
e t
X
0 a Tn (x) tn dt = 4
0 n=0
n! a 1 +a x
2
e qui
orrobore le resultat donne par la methode de prolongement.
Se
ond exemple
Le se
ond exemple etudie le
as d'une serie d'ordre Gevrey 1, pour laquelle la methode
de prolongement de peut s'appliquer puisque la serie est divergente partout. Nous avons
montre dans un
hapitre pre
edent que la serie de Chebyshev
1
X
( 1)n (n 1)! Tn (x) ;
n=1
qui est le pendant de la serie d'Euler, est solution formelle de l'equation dierentielle
x(1 x2 )y00 (1 + 2x 2x3 )y0 + (1 + x)y = x2 :
151
Chap. 5 : Solutions de Chebyshev formelles d'une EDO
Appliquons le pro
ede de Borel-Lapla
e a
ette serie et montrons que le resultat obtenu
est bien solution de l'equation dierentielle. Commen
ons par ee
tuer la transformation
de Borel que nous prolongeons
X1 ( 1)n (n 1)!T (x)tn X1 ( 1)n T (x)tn
n n
=
n=1
n ! n=1 n
= R ln 1 + tei ar
os(x)
p
= ln 1 + 2xt + t2
1
= ln(1 + 2xt + t2 ) :
2
Ee
tuons la transformee de Lapla
e sur
e resultat
Z 1 X1 ( 1)n (n 1)! T (x)tn ! Z
1 1 t
t n
e = e ln(1 + 2xt + t2 )dt
0 n=1
n ! 2 0
Z 1
x+t
= e t dt :
0 1 + 2xt + t2
La somme de notre serie de Chebyshev divergente est don
Z 1
x+t
u(x) = e t dt :
0 1 + 2xt + t2
Nous devons montrer que u(x) est solution de l'equation dierentielle veriee formellement
par la serie de Chebyshev. Integrons par parties
1 Z 1
t x+t t )( 1 + 2x2 + 2xt + t2
u(x) = e ( e )dt
1 + 2xt + t2 0 0 (1 + 2xt + t2 )2
Z 1
1 + 2x2 + 2xt + t2
= x e t dt :
0 (1 + 2xt + t2 )2
Par ailleurs, la derivee de u est
Z Z 1
1 d 1 t t
u0 (x) = e ln(1 + 2xt + t2 )dt = e t dt :
2 dx 0 0 1 + 2xt + t2
En integrant par parties la derniere integrale, il vient
1 Z 1
0 t 1 2(x + t)
u (x) = (t + 1)e + (t + 1)e t dt :
1 + 2xt + t 0 2
0 (1 + 2xt + t2 )2
| {z }
1
Enn, nous avons pour la derivee se
onde
Z Z 1
00 d 1 t t t 2t2
u (x) = e dt = e dt :
dx 0 1 + 2xt + t2 0 (1 + 2xt + t2 )2
En
ombinant les divers resultats obtenus plus haut, nous obtenons don
Z 1
00 0 R(t; x)
2 3
x(1 x )u (1 + 2x 2x )u + (1 + x)u = x x + 2 e t dt
0 (1 + 2xt + t2 )2
152
5.7 Con
lusion
ave
R(t; x) = x(1 x2 )2t2 (1 + 2x 2x3 )(t2 1) + (1 + x)( 1 + 2x2 + 2xt + t2 )
= x(t + 1)(t + 2x + 1) :
Remarquons que
(t + 1)(t + 2x + 1) = 1 + 2xt + t2 + 2(x + t)
et don
que
(t + 1)(t + 2x + 1) 1 2(x + t)
= +
(1 + 2xt + t2 )2 1 + 2xt + t2 1 + 2xt + t2
1 t 2(x + t)
= :
1 + 2xt + t2 dt 1 + 2xt + t2
Une derniere integration par parties nous donne la formule (valable sous
ondition d'exis-
ten
e des integrales, existen
e assuree dans notre
as)
Z 1 Z 1
e t (u(t) u0 (t))dt = e t u(t) 1 +
0 e t u(t)dt = u(0) : (5.24)
0 0
En utilisant
ette formule, il vient
Z 1 Z 1
t (t + 1)(t + 2x + 1) R(t; x)
e dt = 1 don
e t dt = x :
0 (1 + 2xt + t )
2 2
0 (1 + 2xt + t2 )2
d'ou nous deduisons que
x(1 x2 )u00 (1 + 2x 2x3 )u0 + (1 + x)u = x2
e que nous voulions montrer.
On sait depuis longtemps, et notamment depuis les travaux de Stieljes, donner un sens
a la serie divergente d'Euler. En parti
ulier en lui appliquant le pro
ede de Borel-Lebesgue
nous trouvons 1 Z 1 t Z 1
X e z e t
( 1) (n 1)! z
n +1 n dt = 1 dt
n=1 0 1+t 0 z +t
ou le symbole indique autant la somme au sens du pro
ede de Borel-Lapla
e que la notion
de developpement asymptotique Gevrey [56℄. Or, en posant x = w(z ), nous
al
ulons
Z 1 Z 1 ! Z
e t e t 1 1
1
dt + dt = e t t + (z + z )=2 = u(x) (5.25)
2 0 1z + t 0 z+t 0 1 + z + 1z t + t2
Ainsi la transformation x = w(z ) qui relie les series formelles d'Euler et d'Euler-Chebyshev,
relie aussi leurs sommes respe
tives obtenues par le pro
ede de Borel-Lapla
e. Cela nous
indique un moyen general pour resommer une serie de Chebyshev en resommant la serie
de Taylor
orrespondant et en ee
tuant la substitution x = w(z ) sur la somme obtenue.
153
Chap. 5 : Solutions de Chebyshev formelles d'une EDO
154
Chapitre 6
Ce
i
omprend en parti
ulier les
onditions initiales Ci y = y(i 1) (x0 ) et les
onditions
aux limites
lassiques. Notre obje
tif est de resoudre
e probleme sur un intervalle donne.
Pour
ela nous supposerons que les
ontraintes ajoutees a l'equation dierentielle assure
l'existen
e et l'uni
ite de la solution au probleme (6.1).
Il est assez immediat de verier qu'a partir de la e-ieme ligne la matri
e a une stru
ture
bande de largeur 2e + 1 symetrique par rapport a la diagonale.
Exemple 19 L'equation y0 y = 3x 5 ave
la
ondition initiale y(1) = 7 se traduit par
le systeme
2 1
2 1 1 1 1 1 3 2
7
3
6 1 7
6 2
6
1 1
2 0 0 0 7
7
6
6
7
75
6 7 6 7
6 0
6 4
1 1 1
4 0 0 7
7
6 3 7
6 7
6 7 6 4 7
... ... ... 6 7
L
6
=6
6
0 0 0 7
7
7 q 6 0 7
=6 7
6 7
6
6 0
6
0 0 1
2(m 1) 1 1
2(m 1) 7
7
7
6 0 7
6 7
6 7 6 7
6 1 ... 7 6 0 7
6 0 0 0 0 2m 1 7 6
6
7
7
6 7 4 . 5
4 ... ... 5 ..
0 0 0 0 0
Bien s^ur nous nous savons pas, en general, resoudre le systeme lineaire inni (6.5). Aussi
pour appro
her les m + 1 premiers
oeÆ
ients de Chebyshev de allons nous appliquer
une methode qui peut para^tre, au premier abord, un peu rudimentaire. Dans la mesure ou
nous savons que les
oeÆ
ients
her
hes sont a de
roissan
e geometrique, nous negligeons
eux d'indi
es stri
tement superieurs a m i.e. que nous les posons egaux a zero dans le
systeme (6.5). Il est assez immediat de voir que
ette operation transforme le systeme inni
(6.5) en un systeme re
tangulaire de dimensions (m + 1 + e) (m + 1). Nous notons Lm la
matri
e asso
iee aux m + 1 premiere lignes de
e systeme triangulaire (i.e. la sous-matri
e
prin
ipale de dimension m + 1 de L) et T m la matri
e asso
iee aux e lignes restantes.
La silhouette de la matri
e re
tangulaire est donnee en gure 6.1. On observera que
ette
matri
e est une matri
e bande (ave
une largeur de bande 2e + 1) bordee2 par r lignes
pleine. Cette stru
ture parti
uliere sera prise en
ompte pour la resolution du systeme.
Nous
onsiderons alors le systeme matri
iel
Lm x = q m (6.6)
Supposons
e systeme inversible, notons
m le ve
teur solution et
m;n la n-ieme
ompo-
sante de
elui-
i. Nous prenons
omme approximation de la solution le polyn^ome de
degre m
1
X
m (x) = 0
m;n Tn (x) : (6.7)
n=0
Pour que la resolution du systeme (6.6) prenne bien en
ompte toute la stru
ture de
l'equation dierentielle nous supposons d'une part que m > r + deg(q) de sorte que le
ve
teur q m
ontienne tous les
oeÆ
ients du polyn^ome se
ond membre q ; d'autre part
que m > r + e de sorte que la matri
e Lm
ontient au moins une ligne representant
entierement la re
urren
e de Chebyshev. Nous supposons m tel pour tout le reste du
hapitre.
2
Le le
teur nous pardonnera
et angli
isme relativement plaisant.
157
Resolution numerique
0 1 r r+e m
0
1
r-1
r
e+1
m-e
Lm
m+1
Tm
m+e
m-e
158
6.1 Une methode de resolution
La
onstru
tion de la matri
e Lm est fa
ile gr^a
e aux pro
edures introduite dans le
hapitre 2. Notamment ave
la pro
edure Opdi-OS nous generons la re
urren
e de Che-
byshev don
la partie bande de matri
e, la pro
edure eval-OS permet d'evaluer les
ondi-
tions initiales et don
d'etablir les r premieres lignes de Lm tandis qu'ave
la pro
edure
Conversion-OSP nous permet d'e
rire le se
ond membre q dans la base Tn(r) .
Proposition 44
L'approximant m est solution de l'equation
e
X
Ly = q + k Tm(r+) k
k=1
ou les k sont des
onstantes.
Demonstration :
D'apres la stru
ture de l'operateur L, il est fa
ile de voir que
n = 0 pour tout n > m implique
que L(
n ) = 0 pour tout n > m + e. Nous pouvons e
rire
1
X
Lm (x) = L(
m;n )Tn(r) (x)
n=r
Xm m
X+e
= L| (
{zm;n}) Tn(r) (x) + L(
m;n)Tn(r) (x)
n=r qn n=m+1
= q(x) + 1 Tm(r+1
)
(x) + + e Tm(r+) e (x)
ou
haque
onstante n vaut L(
m;n+m ). 2
Remarque 14 On verie aisement que les
oeÆ
ients k s'expriment sous la forme ma-
tri
ielle 0 1
1
. A = T m
B .. C
m
e
Les k viennent en quelque sorte
ompenser l'oubli des e dernieres lignes du systeme
tronque.
Il appert don
que la methode de resolution presentee s'ins
rit dans la famille des -
methodes de Lan
zos dans le sens ou l'approximant m est la solution polyn^omiale exa
te
d'une perturbation polyn^omiale de l'equation dierentielle originelle. Nous ferons plus bas
un rappel sur les -methodes et leurs diverses variantes.
Exemple 20 La fon
tion f (x) = exp 3x deja vue dans l'exemple 4, est solution du
7+x
probleme
(7 + x)2 y0 + 21y = 0 ; y(0) = 1 :
Si nous appliquons notre -methode a
e probleme, nous obtenons une approximation de f
dont l'erreur est reportee dans la gure 6.2. On remarquera que l'approximant genere par
la -methode peut, dans
e
as parti
ulier, ^etre amelioree par addition d'une
onstante
159
Resolution numerique
0.0001
8e-05
6e-05
4e-05
2e-05
-1 -0.5 00 0.5 1
x
-2e-05
-4e-05
Nous avons don
aaire a une matri
e presque Toeplitz et de toute maniere inversible
puisqu'a diagonale dominante sous l'hypothese jbj > 1. Nous pouvons m^eme expli
iter
l'approximant
orrespondant
1 Tm+1 (x)
m (x) = + ( 1)m
x+b (x + b)Tm+1 (b)
160
6.1 Une methode de resolution
dont on peut verier qu'il s'agit bien d'un polyn^ome malgre les apparen
es (lors de la
mise au m^eme denominateur x + b se met en fa
teur au numerateur) et dont on voit qu'il
onverge uniformement vers x+1 b .
re
onna^t la diÆ
ulte de programmation due aux valeurs singulieres sus-mentionnees. Sur
le plan theorique l'appro
he est tres fe
onde. Nous y reviendrons.
Dans la mise en oeuvre de la -methode, telle que nous venons de la presenter, n'ap-
para^t pas
lairement le lien entre la solution polyn^omiale
al
ulee et la serie de Chebyshev
(dans le
as ou la pertubation donnee par des polyn^omes de Chebyshev) de la solution
exa
te. D'autant plus que Lan
zos et Ortiz travaillent ave
des polyn^omes exprimes dans la
base
anonique fxn g. Une autre appro
he met plus en avant
e lien. Elle
onsiste,
omme
nous l'avons fait, a travailler sur les re
urren
es veries par les
oeÆ
ients de Chebyshev
(ou autres) de la solution. Cette appro
he a ete
elle de Clenshaw [12℄, Elliot [21℄ et Fox
[25℄ dont nous avons vu dans un
hapitre pre
edent les me
anismes de
onstru
tion des
re
urren
es. Le lien entre les deux appro
hes a ete vu et etudie par Fox [24℄ d'une part et
par l'e
ole d'Ortiz [20℄ d'autre part.
Plus re
emment une nouvelle appro
he, dite \operationnelle", qui transpose les operations
dierentielles en operations matri
ielles agissant sur des ve
teurs de
oeÆ
ients, a ete
developpee par Ortiz et al. (dans l'arti
le [20℄ deja
ite) et par Coutias et al. [16℄. Les der-
niers passent,
omme Fox, a une reformulation en terme d'equation integrale du probleme
dierentiel initial.
Au bout du
ompte,
ha
une des methodes presentees
i-dessus genere une solution
polyn^omiale qui verie exa
tement l'equation originelle perturbee a l'aide de polyn^omes
de Chebyshev ou de leurs derivees. Ces solutions sont don
, lorsqu'elle ne sont pas egales,
assez semblables vis-a-vis de la
onvergen
e
omme nous allons le voir plus bas. La dis-
tin
tion majeure entre les diverses methodes reside don
dans la fa
ilite d'automatisation
et d'extension qu'elles permettent. De
e point de vue nous pensons que notre methode
presente
es fa
ilites.
6.1.3 Convergen
e
Dans leurs dierentes formulations les -methodes ont ete etudiees du point de vue
de la
onvergen
e. L'\equivalen
e" entre les dierentes methodes presentees plus haut
et
elle que nous avons introduite permet d'appliquer les resultats des premieres a
ette
derniere. En parti
ulier, dans le
as de l'appro
he par les polyn^omes
anoniques, M.R.
Cris
i et E.L. Ortiz [17℄ ont demontre la
onvergen
e de la -methode pour les equations
dierentielles. Nous soulignons, a
e niveau de l'expose, que malgre la
ondes
endan
e
qui a pu transpara^tre
hez
ertains auteurs vis-a-vis de l'appro
he par les polyn^omes
anoniques et de l'e
ole d'Ortiz,
elle-
i produit de nombreux resultats fondamentaux sur
162
6.1 Une methode de resolution
les -methodes et nous ajouterons que nous y avons trouve la seule demonstration
laire et
generale de
onvergen
e pour les equations dierentielles. Fort d'un resultat existant, nous
pourrions passer a la suite. Neanmoins, puisque nous apportons une appro
he nouvelle,
nous allons introduire des outils spe
iques a
ette appro
he pour l'etude de la
onvergen
e.
Notons
exm le ve
teur
ompose des m + 1 premiers
oeÆ
ients (exa
ts) de Chebyshev
de la solution . Denissons
um = qm Lm
exm
D'apres la maniere dont nous avons
onstruit la matri
e Lm et le ve
teur qm , il est assez
immediat de voir que les
omposantes du ve
teur um sont (en posant im = m e + 1)
8 1
> X
>
>
>
>
Ci (Tn )
n ; 0 i r 1
>
< n=m+1
(um )i = 0 ;r im e
>
> e
X
>
>
>
>
: lk (i)
m+k ; im i m ave
j = i im
k=e j
Nous allons majorer la norme du ve
teur um . Pour
ela nous disposons de plusieurs infor-
mations. D'une part, si est la vitesse de
onvergen
e des series de Chebyshev partielles
de la solution , nous savons qu'alors pour tout stri
tement inferieur a nous avons la
majoration j
n j < M n . Par ailleurs nous avons vu que les valeurs jCi (Tn )j sont majorees
par un polyn^ome en n que nous noterons Pi (n). Il vient alors
X 1 X1 M
Ci (Tn )
n j Pi (n)j n (6.8)
n=m+1
n=m+1
Pour
ontinuer nous etablissons le lemme
Lemme 9
Soient un reel stri
tement superieur a 1 et P un polyn^ome non nul de C [x℄. Alors
pour tout reel tel que 1 < < il existe une
onstante B telle que
X 1 P (n) B
n=m+1
n m
Demonstration :
Supposons que P soit un polyn^ome a
oeÆ
ients reels positifs. Nous avons alors la propriete
suivante
9B1 > 0; 8n; m 1 P (n + m) B1P (n)P (m)
que l'on montre en la veriant pour les mon^omes xk et en utilisant des majorations simples.
Alors (en remarquant que pour x > 0, jP (x)j = P (x))
X1 P (n) 1 X 1 P (n + m) 1 X 1 P (n) B P (m)
n
m (= )m n m
1
n (= )m :
n=m+1 n=1 n=1
Or il existe une
onstante B2 > 0 telle que
B1 P (m)
8m 1 (= )m
B2
163
Resolution numerique
puisque la quantite a gau
he dans l'inegalite tend vers 0. Comme, de plus, la serie
X1 P (n)
n=1
n
est
onvergente et a termes positifs, don
majoree par une
onstante B3 > 0. Ainsi
X 1 P (n) 1
B2 B}3
n=m+1
n m | {z
B
e qui etablit le lemme dans
e
as parti
ulier. Si nous ne faisons plus la supposition initiale,
nous denissons le polyn^ome Q
omme le polyn^ome ayant
omme
oeÆ
ients les modules des
oeÆ
ients de P . Alors pour tout x reel positif jP (x)j Q(x) et en utilisant la majoration
X1 P (n) X1 Q(n)
n
n
n=m+1 n=m+1
l'appli
ation de la premiere partie de la demonstration au membre de droite etablit le lemme
pour P quel
onque. 2
En appliquant le lemme aux r inegalites (6.8) et en prenant la plus grande valeur B donnee
par le lemme, nous avons alors pour tout stri
tement inferieur a une
onstante M1
telle que
X 1
M1
i n n m :
C (T )
(6.9)
n=m+1
D'autre part et d'apres la proposition 36 les
oeÆ
ients lk sont des fra
tions rationnelles
dont le degre du numerateur est inferieur a
elui du denominateur don
haque fra
tion
lk est majoree par une
onstante. Alors
ompte tenu de la majoration des
oeÆ
ients
n ,
nous pouvons trouver une
onstante M2 telle que
e
M
X 2
lk (i)
m+k
m : (6.10)
k=e j
Comme
ette majoration est valable pour tout < , nous pouvons etablir que, pour
tout < , il existe une
onstante positive M telle que
kum k Mm :
Maintenant, en remarquant que Lm (
m
exm ) = um et en notant K (m) le
onditionnement
de la matri
e Lm pour la norme induite par k:k1, nous avons
k
m
m k1 K (m) Mm :
ex
164
6.1 Une methode de resolution
De
ette majoration d'erreur sur les
oeÆ
ients de Chebyshev nous allons tirer une majo-
ration de l'erreur
ommise dans l'approximation de par m . En eet
k m k[ 1;1℄ k sm()k[ 1;1℄ + km sm ()k[ 1;1℄
0 m
M
X
+ 0 j
m;n
n j
m n=0
0
M
m
+ (m + 1)k
m
m k1 : ex
Ainsi quand m
ro^t, la partie divergente dans les
oeÆ
ients s'estompe-t-elle.
166
6.2 Appli
ations et exemples
167
Resolution numerique
-i
Fig. 6.3 { Le tableau a droite
ompare le resultat de l'integration de (1 + x)y0 = 1 sur les
deux
hemins presentes a gau
he. Les
hires exa
ts sont notes en gras.
systemes 2 2 de la forme
y_ 1 = p1;1 (x) p1;2 (x) y1 (6.13)
y_ 2 p2;1 (x) p2;2 (x) y2
la generalisation a des systemes n n etant tres simple. Nous
her
hons y1 et y2 sous
forme de series de Chebyshev de
oeÆ
ients respe
tifs an et bn . Il est alors fa
ile de voir
que
es
oeÆ
ients verient les systeme d'equations aux dieren
es
Ce systeme induit, par la -methode et apres adjon
tion de
onditions initiales pour y1 et
y2 , un systeme lineaire don
la matri
e a une silhouette du type
Comme dans le
as s
alaire, on tiendra
ompte de
ette stru
ture pour optimiser la
resolution du systeme.
Exemple 22 Le systeme dierentiel (6.13) pour p1;1 (x) = 0, p1;2 (x) = 2, p2;1 (x) = 1 et
p2;2 (x) = 2x a pour solutions
! Z x
y1 = e x2 + 2F (x) ave
F (x) = e t2 dt :
y2 xe x2 1 2xF (x) 0
Le graphe
i-dessous represente la solution exa
te les
onditions initiales y1 (0) = 1=2 et
y2 (0) = 1=2 et la solution appro
hee de degre 20. Le \temps" d'integration est assez long
puisqu'il
orrespond a l'intervalle [ 5; 5℄.
169
Resolution numerique
0.2
0.1
-0.1
-0.2
-0.3
-0.4
-0.5
Finissons par une remarque. Si nous transformons une equation s
alaire en systeme dierentiel
ave
la matri
e
ompanion asso
iee, la resolution de
e systeme est
omparable a la mise
en oeuvre de la methode de Clenshaw presentee plus haut.
qu'ils verient. La methode utilisee est le Clenshaw averaging pro
ess. Wimp a tabule ([62,
table 7.1℄) une valeur exa
te a 10 de
imales pour les 5 premiers
oeÆ
ients en
al
ulant les
54 premiers
oeÆ
ients dans le
as = 1. Nous obtenons la m^eme table ave
la -methode
au m^eme ordre. Nous remarquerons au passage que la re
urren
e (6.14) d'ordre 4 obtenue
par Wimp, gr^a
e a la
onnaissan
e d'une forme exa
te de la solution
her
hee, est
elle
obtenue par la methode de Lewanowitz : elle est don
minimale. En revan
he,
elle qui
est impli
itement utilisee par notre methode est d'ordre 5. Cela est d^u a la singularite en
0. En eet, lorsque nous transformons l'intervalle [0; 1℄ en [ 1; 1℄, le
oeÆ
ient de t^ete de
l'equation devient (1 + x)2 et s'annule don
en 1,
e qui implique que la re
urren
e que
nous generons
L = (I + X1 )2 2
n'est pas optimale. Mais elle se fa
torise, pour redonner la re
urren
e (6.14). La gure 6.4
presente les resutats que nous obtenons gr^a
e a la -methode.
0.0014
0.0012
4e-06
0.001
0.0008 2e-06
0.0006
0.0002
-2e-06
00 0.2 0.4 0.6 0.8 1
x
-0.0002
-4e-06
-0.0004
-0.0006
-6e-06
2.63147e-08
2e-07
1.63147e-08
1e-07
-1e-07
-1.36853e-08
-2e-07
-2.36853e-08
Fig. 6.4 { Erreurs
ommises dans l'approximation de exp( 2=x) par les solutions issues
de la -methode a l'ordre, respe
tivement de haut en bas et de gau
he a droite, 10, 20, 30
et 40
172
6.2 Appli
ations et exemples
ou A(x), B (x) et C (x) sont des polyn^omes. La methode d'Ortiz et Samara
onsiste en
l'iteration suivante
Y0 = y0 (6.16)
Yk0 (A(x)Yk 1 + B (x))Yk = C (x)
Les equations dierentielles en Yk sont resolues par la -methode. On se xe a l'avan
e
un degre K pour l'approximation polyn^omiale
her
hee. Ainsi les K premieres etapes
onsistent a in
rementer de 1 le degre de Yk dans la resolution de l'equation dierentielle.
Une fois atteint le degre K , la resolution se fait a degre
onstant, de sorte que deg(Yk ) =
min(k; K ).
173
Resolution numerique
;12) ;18)
n
(6
n
(6
n
0 .4268109278 .4269202146 .4269202127
1 -.6402520234 -.6402886946 -.6402886944
2 .1089322356 .1089463476 .1089463478
3 -.2873030299E-1 -.2873460131E-1 -.2873460121E-1
4 .6578394601E-2 .6579883442E-2 .6579883470E-2
5 -.1601254595E-2 -.1604168575E-2 -.1604168572E-2
6 .3803553684E-3 .3861973654E-3 .3861973660E-3
;18)
(8
n
n(10;18)
n(12;18)
0 .4268172978 .4268112956 .4268109466
1 -.6402541605 -.6402521473 -.6402520305
2 .1089330579 .1089322831 .1089322381
3 -.2873055239E-1 -.2873031743E-1 -.2873030392E-1
4 .6578470406E-2 .6578398962E-2 .6578394813E-2
5 -.1601278187E-2 -.1601255841E-2 -.1601254669E-2
6 .3803730802E-3 .3803557383E-3 .3803553892E-3
Tab. 6.1 { CoeÆ
ients de Chebyshev exa
ts et appro
hes de 1
p p 2
3 3
tan 2 x 3
2
174
6.3 Probleme de Cau
hy et approximation rationnelle
Soit f une fon
tion de M . Soit [a1 ; b1 ℄ et [a2 ; b2 ℄, deux segments du plan
omplexe
tels que [a1 ; b1 ℄ [a2 ; b2 ℄. Supposons de plus que f soit analytique sur [a2 ; b2 ℄. Alors
la vitesse
onvergen
e 1 de la serie de Chebyshev de f sur [a1 ; b1 ℄ est superieure a
la vitesse
onvergen
e 2 de la serie de Chebyshev de f sur [a2 ; b2 ℄.
Demonstration :
Soit s une quel
onque singularite de f . Notons h1 la similitude ha11;b1 et h2 la similitude ha21;b2 .
Rappelons que
1 = min r(h1 (s)) et 2 = min r(h2 (s))
s2Sg(f ) s2Sg(f )
(la fon
tion r a ete denie page 70 ainsi que la fon
tion l que nous utilisons plus bas). Intro-
duisons h la similitude qui envoie a1 sur a2 et b1 sur b2 . Il est
lair que h1 = h2 Æ h. Sans
perte de generalite, nous pouvons supposer que les points a1 , b1 , a2 et b2 sont ordonnes de
fa
on que a1 soit entre a2 et b1 . Cette similitude est en fait une homothetie dont le
entre est
situe entre a1 et b1 . Il est alors fa
ile de voir que s est a l'interieur du triangle (a2 h(s)b2 ),
e
implique que
js a2j + js b2 j jh(s) a2 j + jh(s) b2 j
Cette inegalite sera
onservee si nous appliquons la similitude h2 a
ha
un des points presents.
Nous pouvons don
e
rire, en nous souvenant que h1 = h2 Æ h,
jh2 (s) 1j + jh2 (s) + 1j jh1 (s) 1j + jh1 (s) + 1j
i.e. l(h2 (s)) l(h1 (s))
e qui implique r(h1 (s)) r(h2 (s)). Comme la derniere inegalite est
vraie pour toute singularite de f , le resultat enon
e est demontre. 2
h2
1
0 h(s)
0h2 (s)
1
1
0 h1 (s)
0
1
s
h1
-1 1
b2
b1
a1
a2
Ainsi le
hoix naturel pour appro
her en un point x est d'utiliser la serie de Chebyshev
denie sur [x0 ; x℄, que nous e
rivons
X1
0
n (x)Tn (h 1 (z )) :
x0 ;x
n=0
175
Resolution numerique
Nous le nommons approximant global
ar il synthetise en une seule expression, une innite
de series de Chebyshev.
ou les In sont les fon
tions de Bessel modiees. On re
onna^t dans ^m la serie de Neumann
of exp(x) tronquee a l'ordre m (voir [1, 9.6.37℄).
Nous nous posons les deux questions suivantes : pour quelles valeurs de x l'approxi-
mant global ^m est-il deni ? Quelle est la qualite de l'approximant ? La reponse a la
premiere question nous est donnee par la denition : l'approximant existe en x si la serie
de Chebyshev de existe sur [x0 ; x℄ don
si [x0 ; x℄ ne
ontient pas de singularites de . Il
est alors fa
ile de voir que ^m est denie sur l'etoile de Mittag-Leer [6℄ du probleme (P )
dont nous pre
isons la
Denition 20
Soit s0 un point du plan
omplexe. Soit S un ensemble ni de points du plan
omplexe
ne
ontenant pas s0 . On appelle etoile de Mittag-Leer relatif
! a s0 et S le plan
omplexe prive des demi-droite issue de s et de dire
tion s0 s pour tout point s de
l'ensemble S .
On appelle etoile de Mittag-Leer du probleme (P ), l'etoile de Mittag-Leer relative
a x0 et a Sg().
Du fait des
oupures, est est une fon
tion analytique uniforme sur l'etoile de Mittag-
Leer du probleme (P ).
Pour estimer la qualite d'approximation d'une serie de Chebyshev nous avons introduit
la notion de vitesse de
onvergen
e. Nous pouvons introduire
ette notion pour l'approxi-
mant global. Ainsi pour
haque point x de l'etoile de Mittag-Leer nous dirons que ^m a
pour vitesse de
onvergen
e, la vitesse de
onvergen
e de la [x0 ; x℄-serie de Chebyshev de
. Cette vitesse sera notee (x). Il est alors interessant de determiner les regions assu-
rant une vitesse minimale de
onvergen
e pour ^m ,
e qui revient en fait a determiner les
ourbes de niveau de (x).
Denition 21
Soit un point x du plan
omplexe. Nous reperons un point y du plan
omplexe par
les
oordonnees (r; )x telles que r 2 R+ , 2 [0; 2[ et y x = rei .
176
6.3 Probleme de Cau
hy et approximation rationnelle
Proposition 45
Si s de
oordonnees (s0 ; 0 )x est l'unique singularite de , alors l'approximant ^m
0
onverge au moins a la vitesse > 1 en tout point interieur au lima
on de Pas
al
de
rit dans le systeme de
oordonnees polaires (r; )x par l'equation :
0
22 s + 1
r= 2 02
os(0 ) : (6.19)
( 1) 2
Demonstration :
L'equation de l'ellipse E dans le systeme de
oordonnees polaires (r; ) 1 est (en appli
ation
de resultats bien
onnus sur les
oniques)
(
p= 1
E : r = 1 epe
os() ave
e = +2 1
: (6.20)
Pour xe et x de
oordonnees (r; )x0 , hx0 ;x(s) a les
oordonnees 2s0r ; 0 1 et la vitesse
de
onvergen
e de ^m est superieur a si hx0 ;x (s) est a l'interieur de E i.e. si
s0 pe s0 1
2r 1 e
os(0 )
, 2p e
os(0 ) r (6.21)
et en substituant p et e par leurs expressions en fon
tion de , nous obtenons le resultat
enon
e. 2
Dans le
as ou a plusieurs singularites, les domaines de vitesse minimale s'obtiennent
par interse
tion des lima
ons.
Exemple 25 Nous presentons en gure 6.6 les lima
ons relatifs a x0 = 0 et a une unique
singularite s = ei et en gure 6.7 les domaines de vitesse de
onvergen
e pour l'ap-
4
177
Resolution numerique
-6 -4 -2 0 2
0
-2
-4
-6
-1
-2
-3
-4 -2 0 2 4
Fig. 6.7 { Interse
tions de lima
ons donnant les domaines de vitesses de
onvergen
e pour
l'approximant global de l'ar
tangente.
178
6.3 Probleme de Cau
hy et approximation rationnelle
qui est don
rationnelle. Pour la
on
ision - a defaut d'elegan
e - nous nommerons \ -
fra
tion" l'approximant ~m (x).
Illustrons par des exemples numeriques les qualites d'approximation des -fra
tions.
Soulignons, d'emblee, que bien que ~m (x) soit une fra
tion rationnelle, l'approximant a ete
al
ule a l'aide d'une methode initialement prevue pour des approximations polyn^omiales.
Ainsi il n'est pas insense de faire des
omparaisons entre les -fra
tions et des approxi-
mants polyn^omiaux du m^eme degre que la -methode. En parti
ulier, nous allons
omparer
les -fra
tions ave
les approximations polyn^omiales obtenues par J.P. Coleman [15, 14℄
gr^a
e a la -methode ave
des perturbations sous forme de polyn^omes de Faber adaptes
aux regions du plan
omplexe dans lesquelles l'approximation est
her
hee. J.P. Coleman
[14℄ presente deux versions de sa -methode, l'une dite \dire
te" et l'autre \integree", la
se
onde donnant de meilleurs resultats
omme l'avait remarque remarque Lan
zos pour
les perturbations de Chebyshev (voir remarque plus haut). Nous allons
onstater
e fait
numeriquement. Une autre maniere de generer une approximation rationnelle a partir
d'une methode polyn^omiale
onsiste, par exemple, a
al
uler l'approximant de Pade a
partir de la serie de Taylor tronquee de la solution (
al
ulable a partir du probleme de
Cau
hy).
Ainsi dans les exemples qui suivent nous allons
omparer l'erreur (en norme innie)
d'approximation de la solution dans les
ases suivants
(1) Series partielles de Taylor de degre n.
(2) Approximants de Pade
al
ules a partir des n + 1 premiers termes de la serie
l'approximant [p; p℄ si n = 2p et [p + 1; p℄ si n = 2p + 1.
(3) Approximations polyn^omiales de Coleman (2 versions).
(4) -fra
tions.
Les valeurs tabulees dans les exemples pour les
as (1) et (3) sont dues a Coleman.
Exemple 26 Les erreurs d'approximation par les -fra
tions de la fon
tion (z ) = exp(z )
(0 (z ) (z ) = 0, (0) = 1) sont donnees pour le un demi-disque (Table 6.2, voir Coleman
[15, Table 1℄) et sur le
arre unite (Table 6.3, voir Coleman [15, Table 3℄). Donnons les
-fra
tions pour quelques valeurs de n :
z 3 + 10 z 2 + 48 z + 96
~3 (z ) =
z 3 10 z 2 + 48 z 96
5 z 4 + 80 z 3 + 672 z 2 + 3072 z + 6144
~4 (x) =
5 z 4 80 z 3 + 672 z 2 3072 z + 6144
3 z 5 + 70 z 4 + 896 z 3 + 6912 z 2 + 30720 z + 61440
~5 (x) =
3 z 5 70 z 4 + 896 z 3 6912 z 2 + 30720 z 61440
Remarquons que
es fra
tions verient une propriete de l'exponentielle puique ~n ( z ) =
~n 1 (z ).
Exemple 27 Cet exemple traite de l'integrale de Dawson qui est denie par
Z z
F (z ) = e z2 es ds :
2
(6.23)
0
179
Resolution numerique
Tab. 6.2 { Erreurs d'approximation de exp(z ) par les -fra
tions sur le
se
teur jz j 1, j arg z j =2
180
6.3 Probleme de Cau
hy et approximation rationnelle
La fon
tion F (z ) etant impaire nous posons u(t) = F (z )=z ave
t = z 2 . La fon
tion u est
solution de l'equation dierentielle
2ty0 (t) + (1 + 2t)y(t) = 1; y(0) = 1 (6.24)
et a le developpement en serie de Taylor suivant
X1 ( 1)k 2k tk
u(t) = : (6.25)
k=0
(2k + 1)!!
La table 6.4 les erreurs d'approximation de u(t) par les -fra
tions sur le se
teur ft : jtj
1; j arg(t)j 6 g (voir Coleman [14, table 2℄).
En utilisant les suites de Sturm, nous verions que tous les p^oles des approximants ~n
i-dessus sont soit sur la demi-droite [i; i 1[ soit sur la demi-droite [ i; i 1[
'est-a-
dire les
oupures de l'etoile de Mittag-Leer asso
iee. Ainsi l'approximant ~n est-il deni
entierement sur l'etoile ave
bien s^ur une degradation de la pre
ison ave
l'eloignement
par rapport a l'origine. Cette appartenan
e des p^oles aux
oupures est parti
uliere a
et
exemple et due a la symetrie de l'equation dierentielle (1 + x2 )0 (x) = 1. Dans le
as
general, il semble experimentalement que les p^oles de ~n s'appro
hent des
oupures de
l'etoile de Mittag-Leer ou alors tendent vers l'inni quand s'y trouve une singularite.
Illustrons
e point ave
les exemples suivants :
ex
: (1 + x)y0 xy = 0; y(0) = 1
1+x
1
: (2 2x + x2 )y = 1
2 2x + x2
pour lesquels les
oupures et les p^oles des -fra
tions sont presentes sur les gures 6.8 et
6.9.
10
y 0
-5
-10
-15 -10 -5 0 5 10
x
182
6.4 Con
lusion
40
20
-20
-40
0 5 10 15 20
x
Fig. 6.9 { P^oles des -fra tions approximant 2 2x1+x2 de degre : 2 (+), 4 (Æ) et 6 (2).
Neanmoins les proprietes de
onvergen
e hors des segments de denition des series de
Chebyshev permettent l'emploi de la -methode pour des problemes dont les
onditions
supplementaires sont donnees en des points exterieurs au segment mais interieurs a une
ellipse de
onvergen
e. On peut ainsi donner la solution d'un probleme aux limites sous
forme d'une -fra
tion.
183
Resolution numerique
184
Con
lusion
Bilan
En usant de la terminologie introduite dans
e memoire, nous pouvons resumer les
obje
tifs de notre travail : premierement le
al
ul ee
tif de la re
urren
e de Chebyshev
et deuxiement l'etude theorique de
elle-
i.
Aspe
t algorithmique
Gr^a
e a la tres belle theorie des polyn^omes hypergeometriques, nous avons obtenu une
methode generale pour l'appli
ation d'un operateur dierentiel a une serie developpee sui-
vant une famille de polyn^omes hypergeometriques, don
a toute serie orthogonale
lassique
et en parti
ulier aux series de Chebyshev. L'implementation en MAPLE de
ette methode
dans le pa
kage orthoserie fournit un outil essentiel et souple pour la mise en oeuvre de
methodes de resolution d'equations dierentielles holonomes. En parti
ulier, nous avons
e
rit des pro
edures de resolution reposant sur la -methode de Lan
zos et aboutissant a
des approximations polyn^omiales aussi bien que rationnelles des solutions
her
hees.
Aspe
t theorique
Au
ommen
ement de notre travail de these, nous avions un obje
tif theorique bien
deni : determiner la nature des solutions formelles issues de la re
urren
e de Chebyshev
et leur relation ave
les fon
tions solutions de l'equation dierentielle initiale. A
ette
problematique, dont nous n'avons pas trouve tra
e dans la litterature, nous avons fourni
un ensemble de reponses de natures diverses. En premier lieu, nous avons montre
omment
l'on peut a partir d'un polygone de Newton
onstruit sur l'equation dierentielle originelle
deduire le
ara
tere Gevrey pre
ise des solutions formelles. Mais au-dela de
ette premiere
analyse, notre but primordial etait de voir se reproduire pour les series de Chebyshev
e petit mira
le qui, dans la theorie de la multi-sommabilite, fait ressurgir d'une serie
de Taylor divergente une fon
tion solution d'equation dierentielle. Bien loin d'avoir pro-
duit pour les series de Chebyshev une theorie aussi
omplete et elegante que
elle de la
multi-sommabilite pour les series de Taylor formelles, nous avons en revan
he illustre le
lien existant entre solutions formelles et fon
tions solutions : d'une part sous la forme
d'une integrale et d'autre part en utilisant des pro
edes de resommation issus de la k-
sommabilite. Nous avons enn de
rit et programme des methodes pour la re
onstru
tion
d'equations dierentielles a partir de la re
urren
e de Chebyshev ou a partir d'une serie
formelle. Ces deux pro
edes sont, outre leur inter^et theorique, des outils fort utiles pour
poursuivre l'etude des solutions formelles puisqu'ils permettent la
onstru
tion d'exemples
plus deli
ats a obtenir qu'ave
les series de Taylor.
185
Con
lusion
Perspe
tives
En
e qui
on
erne notre
ode informatique nous devons y in
orporer d'autres methodes
spe
trales pour les equations dierentielles ordinaires et surtout les equations aux derivees
partielles. Ave
les outils dont nous disposons, nous pouvons disposer rapidement de
es
extensions. Nous aurions alors un
ode
onsistant qui viendrait appuyer l'idee que le
al
ul
formel peut fa
iliter la mise en oeuvre des methodes spe
trales, permet d'augmenter la
taille des problemes traites et de diminuer le
o^ut de
al
ul.
D'un point de vue mathematique, une premiere idee serait de valider analytiquement,
omme l'avons fait pour les series de Chebyshev, les pro
edes formels pour les series de
polyn^omes orthogonaux. Pour
ela nous pourrons exploiter des resultats de
onvergen
e
existants pour les series de Ja
obi (sur des disques elliptiques), de Laguerre (sur des
paraboles) et d'Hermite (des bandes de plan). Une suite logique de
ette analyse serait
l'etude de re
urren
es de Ja
obi, Laguerre et Hermite. Cette etude sera probablement
plus deli
ate qu'ave
les series de Chebyshev qui se distinguent par des proprietes bien
spe
iques. Enn, et a plus
ourt terme, nous avons a
ompleter l'etude des solutions
formelles de Chebyshev dans les dire
tions indiquees au
hapitre 5.
186
Bibliographie
[1℄ Abramowitz (M.) et Stegun (I.A.) (edite par). { Handbook of Mathemati
al Fun
tions
with Formulas, Graphes and Mathemati
al Tables. { National Bureau of Standards,
Washington, D.C., 1964, ninth edition, Applied Math. Series, volume 55.
[2℄ Balser (W.). { From divergent power series to analyti
fun
tions. Theory and ap-
pli
ation of multisummable power series. { Berlin, Springer, 1994, Le
ture Notes in
Mathemati
s. 1582.
[3℄ Barkatou (M.A.). { Rational newton algorithm for
omputing formal solutions of
linear dierential equations. In : Symboli
and Algebrai
Computation - ISSAC'88,
ed. par P.Gianni. pp. 183{195. { ACM Press, 1988.
[4℄ Barkatou (M.A.) et Duval (A.). { Sur les series formelles solutions d'equations aux
dieren
es polyn^omiales. Annales de l'Institut Fourier, vol. 44, n 2, 1994, pp. 495{
524.
[5℄ Bonan (S.) et Nevai (P.). { Orthogonal polynomials and their derivatives. J. Approx.
Theory, vol. 40, 1984, pp. 134{147.
[6℄ Borel (E.). { Le
on sur les series divergentes. { Gauthier-Villars, 1928.
[7℄ Boyd (J.P.). { Chebyshev and Fourier Spe
tral Methods. { Heidelberg, Springer-
Verlag, 1989.
[8℄ Boyd (J.P.). { Chebyshev and Legendre spe
tral methods in algebrai
manipulation
languages. J. Symboli
Computation, vol. 16, 1993, pp. 377{399.
[9℄ Canuto (C.), Hussaini (M.Y.), Quarteroni (A.) et Zang (T.A.). { Spe
tral methods in
uid dynami
s. { Berlin, Springer Verlag, 1988.
[10℄ Chihara (T.S.). { An introdu
tion to orthogonal polynomials. { New york, Gordon
and Brea
h Publ., 1978.
[11℄ Clenshaw (C.W.). { A note on the summation of Chebyshev series. M.T.A.C., vol. 9,
1955, pp. 118{120.
[12℄ Clenshaw (C.W.). { Numeri
al solution of linear dierential equations in Chebyshev
series. Pro
. Cambridge Phi. So
., vol. 53, 1957, pp. 134{149.
[13℄ Codutti (M.). { NODES : Non linear Ordinary Dierential Equations Solver. In :
Pro
edings of ISSAC'92. { juillet 1992.
[14℄ Coleman (J.P.). { Complex polynomial approximation by the Lan
zos -method :
Dawson's integral. Journal of Computational and applied mathemati
s, vol. 20, 1987,
pp. 137{151.
[15℄ Coleman (J.P.). { Polynomial approximations in the
omplex plane. Journal of Com-
putational and applied mathemati
s, vol. 18, 1987, pp. 193{211.
187
[16℄ Coutsias (E.A.), Hagstrom (T.) et Torres (D.). { An eÆ
ient spe
tral method for
ode with rational fun
tion
oeÆ
ients. Mathemati
s of Computation, vol. 65, n 214,
avril 1996, pp. 611{635.
[17℄ Cris
i (M.R.) et Ortiz (E.L.). { Existen
e and
onvergen
e results for the numeri
al
solution of dierential equations with the tau method. { Rapport te
hnique, Imperial
College University of london, 1981.
[18℄ Davis (P.J.). { Interpolation and approximation. { Dover, 1963.
[19℄ Della Dora (J.), Di
res
enzo (C.) et Tournier (E.). { An algorithm to obtain formal
solutions of a linear homogeneous dierential equation at an irregular singular point.
In : EUROCAM 82. pp. 273{280. { Marseille/Fran
e, 1982.
[20℄ El-Daou (M.K.), Ortiz (E.L.) et Samara (H.). { A unied approa
h to the tau method
and Chebyshev series expansion te
hniques. Comput. Math. Appl., vol. 25, n 3, 1993,
pp. 73{82.
[21℄ Elliott (D.). { The expansion of fun
tions in ultraspheri
al polynomials. J. Austral.
math. So
., vol. 1, 1960, pp. 428{438.
[22℄ Erdelyi (A.), Magnus (W.), Oberhettinger (F.) et Tri
omi (F.G.). { Higher trans
en-
dental fun
tions. Volume II. { M
Graw-Hill, 1953.
[23℄ Fabry (M.E.). { Sur les integrales des equations dierentielles lineaires a
oeÆ
ients
rationnels. These. { Paris, Gauthier-Villars, 1885.
[24℄ Fox (L.). { Chebyshev methods for ordinary dierential equations. The
omputer
journal, vol. 4, 1962, pp. 318{331.
[25℄ Fox (L.) et Parker (I.B.). { Chebyshev polynomials in numeri
al analysis. { Oxford
University Press, London, 1968.
[26℄ Freud (G.). { Orthogonale polynome. { Basel Stuttgart, Birkhauser, 1969.
[27℄ Geddes (K.O.). { Symboli
omputation of re
urren
e equations for the Chebyshev
series solution of linear ode's. In : MACSYMA user's
onferen
e, pp. 405{423. {
1977.
[28℄ Geddes (K.O.). { Near minimax polynomial approximation in an ellipti
al region.
SIAM J. Numer. Anal., vol. 15, 1978, pp. 1225{1233.
[29℄ Godoy (E.), Ronveaux (A.), Zarzo (A.) et Area (I.). { Minimal re
urren
e relations
for
onne
tion
oeÆ
ients between
lassi
al orthogonal polynomials : Continous
ase.
J. Comput. Appl. Math., vol. 84, 1997, pp. 257{275.
[30℄ Gradshteyn (I.S.) et Ryzhik (I.M.). { Table of integrals, series and produ
ts. { New
York, San Fran
is
o, London, A
ademi
Press, 1965.
[31℄ Hahn (W.). { Uber die Ja
obis
hen Polynome und zwei verwandte Polynomklassen.
Mathematis
he Zeits
hrift, vol. 39, 1935, pp. 634{638.
[32℄ In
e (E.L.). { Ordinary dierential equations. { Dover, 1956.
[33℄ Koepf (W.). { Power series in
omputer algebra. J. symboli
omputation, vol. 13,
1992, pp. 581{603.
[34℄ Krall (H.L.). { On derivatives of orthogonal polynomials. Amer. Math. So
. Bull.,
vol. 42, 1936, pp. 423{428.
[35℄ Lan
zos (C.). { Trigonomi
interpolation of empiri
al and analyti
al fun
tions. J.
Math. and Phys., vol. 17, 1938, pp. 123{138.
188
[36℄ Lan
zos (C.). { Applied Analysis. { London, Prenti
e-Hall, 1956.
[37℄ Lewanowi
z (S.). { Constru
tion of a re
urren
e relation of the lowest-order for
oeÆ
ients of the Gegenbauer series. Zastosowania Matematyki, vol. 15, 1983, pp.
345{395.
[38℄ Lewanowi
z (S.). { Constru
tion of the lowest-order re
urren
e relation for the Ja
obi
oeÆ
ients. Zastosowania Matematyki, vol. 17, 1983, pp. 655{675.
[39℄ Lewanowi
z (S.). { A new approa
h to the problem of
onstru
ting re
urren
e rela-
tions for the Ja
obi
oeÆ
ients. Zastosowania Matematyki, vol. 21, 1991, pp. 303{326.
[40℄ Lewanowi
z (S.). { Qui
k
onstru
tion of re
urren
e relations for the Ja
obi
oeÆ-
ients. Journal of Computational and Applied Mathemati
s, vol. 43, 1992, pp. 355{372.
[41℄ Lewanowi
z (S.). { Results on the asso
iated
lassi
al orthogonal polynomials. Journal
of Computational and Applied Mathemati
s, vol. 65, de
embre 1995, pp. 215{231.
[42℄ Luke (Y.L.). { The spe
ial fun
tions and their approximations. { A
ademi
Press,
1969.
[43℄ Luke (Y.L.). { Mathemati
al fun
tions and their approximations. { A
ademi
Press,
1975.
[44℄ Malgrange (B.). { Sur la redu
tion formelle des equations dierentielles a singularites
irregulieres. { 1981. preprint Institut Fourier.
[45℄ Maroni (P.). { Prolegomenes a l'etude des polyn^omes orthogonaux semi-
lassiques.
Ann. Mat. Pura Appl., IV. Ser., vol. 149, 1987, pp. 165{184.
[46℄ Moore (N.C.). { Appli
ations of the theory of summability to developments in or-
thogonal fun
tions. Bulletin of the Ameri
an Mathemati
al So
iety, vol. 25, 1919, pp.
258{275.
[47℄ Nikiforov (A.) et Ouvarov (V.). { Fon
tions spe
iales de la physique mathematique.
{ Editions de Mos
ou, 1983.
[48℄ Olaefe (G.O.). { On T
hebys
hev method of solution of ordinary dierential equa-
tions. J. Math. Anal. Appl., vol. 60, 1977, pp. 1{7.
[49℄ Ortiz (E.L.). { The tau method. SIAM J. Numer. Anal., septembre 1969, pp. 480{491.
[50℄ Ortiz (E.L.). { Canoni
al polynomials in the Lan
zos tau method. In : Stud. Numer.
Anal., Papers in Honour of Cornelius Lan
zos, pp. 73{93. { 1974.
[51℄ Ortiz (E.L.) et Samara (H.). { An operational approa
h to the tau method for
numeri
al solution of non-linear dierential equations. Computing, vol. 27, 1981, pp.
15{25.
[52℄ P
ugel (E.). { DESIR-II. { Rapport te
hnique n RT-154, LMC-IMAG, BP 53, 38041
GRENOBLE
edex 09, Fran
e, Laboratoire de Modelisation et de Cal
ul, 1996.
[53℄ P
ugel (E.). { On the latest version of DESIR. Theoriti
al Computer S
ien
e, vol. 187,
1997, pp. 81{86.
[54℄ Pin
herle (S.). { Sur la generation de systemes re
urrents au moyen d'une equation
lineaire dierentielle. A
ta Mathemati
a, vol. 16, 1892, pp. 341{363.
[55℄ Ramis (J.P.). { Devissage Gevrey. Asteristique S.M.F., 1978, pp. 173{204.
[56℄ Ramis (J.P.). { Theoremes d'indi
es Gevrey pour les equations dierentielles ordi-
naires. Memoirs of the A.M.S, no296, 1984.
189
[57℄ Rivlin (T.). { Chebyshev Polynomials. { John Wiley and Sons, New york, 1974.
[58℄ Romanovki (V.). { Sur quelques
lasses nouvelles de polyn^omes orthogonaux. C.-R.
A
ad. S
. Paris, vol. 188, 1929, pp. 1023{1025.
[59℄ Ronveaux (A.), Hounkonnou (M.N.) et Belmehdi (S.). { Generalized linearization
problems. J. Phys. A : Math. Gen., vol. 28, n 15, 1995, pp. 4423{4430.
[60℄ Salvy (B.) et Zimmermann (P.). { Gfun : a Maple pa
kage for the manipulation of
generating and holonomi
fun
tions in one variable. { Rapport te
hnique, INRIA,
1992.
[61℄ Szego (G.). { Orthogonal Polynomials. { Ameri
an Mathemati
al So
iety, New York,
1959.
[62℄ Wimp (J.). { Computations with Re
urren
e Relations. { Pitman Advan
ed Publi-
shing Program, 1984.
[63℄ Ya~nez (R. J.), Dehesa (J. S.) et Nikiforov (A. F.). { The three-term re
urren
e
relation and the dierentiation formulas for hypergeometri
-type fun
tions. journal
of mathemati
al analysis and appli
ations, vol. 188, 1994, pp. 855{866.
190