Académique Documents
Professionnel Documents
Culture Documents
Presentee par
Fabienne NAEGELE
pour obtenir le grade de Docteur
de l'Institut National Polytechnique de Grenoble
(Arr^ete ministeriel du 30 mars 1992)
Specialite: Mathematiques Appliquees
1
2
Je tiens ici a remercier tres chaleureusement toutes les personnes que j'ai ren-
contrees au cours des dernieres annees et qui m'ont soutenue, tant par l'inter^et
qu'elles ont manifeste pour mon travail que par leur gentillesse. Je pense notam-
ment a tous les Grenoblois et Strasbourgeois, ainsi qu'a tous les membres du groupe
CATHODE.
J'aimerais exprimer plus particulierement ma gratitude a Jean DELLA-DORA,
mon directeur de these, ainsi qu'a Jean-Pierre RAMIS, lequel a accepte de co-diriger
cette these, pour m'avoir propose un sujet aussi interessant que varie et pour m'avoir
fait conance. Qu'ils en soient vivement remercies.
Je suis particulierement ere de pouvoir remercier Anne DUVAL. Elle a accepte
avec gentillesse et sans aucune hesitation de faire un rapport sur ma these.
Il en va de m^eme pour Manuel BRONSTEIN. Bien que sollicite de toutes parts,
il a toujours accepte de repondre a mes questions et c'est un honneur pour moi qu'il
ait fait un rapport sur mon travail.
Quant a Werner BALSER, je n'aurais ose esperer qu'il fasse partie de mon jury.
J'en suis particulierement heureuse.
J'ai egalement le plaisir de remercier Francoise JUNG. Par ses conseils et sa
disponibilite, elle a su me soutenir quand j'en avais besoin.
Mes pensees vont a Frederic FAUVET qui a montre un inter^et manifeste pour
mon travail de recherche et qui a eu la patience de m'eclaircir de nombreux points
mathematiques.
Ma gratitude va egalement a Claire DICRESCENZO, pour sa gentillesse et sa
patience. Sans elle, je conna^trais encore moins bien A].
Mes plus vifs remerciements vont a Jean THOMANN. Je suis ere de travailler
avec lui. Il a toujours montre une patience et une bonne humeur hors du commun.
3
4
Table des matieres
Introduction :: : : : : : :: : : : : : :: : : : : :: : : : : : :: : : : : : :: : : : : :: : : : : : :: : : : : : :: : : : : :: : : : : : :: : : : : : : 7
Chapitre 1
Theoremes d'indices pour les equations q -differences-differentielles : :: : : : : 13
1. Introduction :: : : : : : :: : : : : :: : : : : : :: : : : : : :: : : : : :: : : : : : :: : : : : : :: : : : : :: : : : : : :: : : : : : :: : : 13
2. Operateurs a indice : : : : :: : : : : : :: : : : : : :: : : : : :: : : : : : :: : : : : : :: : : : : :: : : : : : :: : : : : : :: : : : 14
3. Espaces Gevrey generalises : : : :: : : : : :: : : : : : :: : : : : : :: : : : : :: : : : : : :: : : : : : :: : : : : :: : : : 15
4. Theoremes d'indices et de comparaison :: : : : : : :: : : : : :: : : : : : :: : : : : : :: : : : : : :: : : : : : 17
4.1. Operateurs etudies : : : : :: : : : : : :: : : : : : :: : : : : :: : : : : : :: : : : : : :: : : : : :: : : : : : :: : : : : : :: : : 17
4.2. Espaces de Banach : : : : :: : : : : : :: : : : : : :: : : : : : :: : : : : :: : : : : : :: : : : : : :: : : : : :: : : : : : :: : : 18
4.3. Les (; r; ; )-operateurs : : : :: : : : : : :: : : : : : :: : : : : : :: : : : : :: : : : : : :: : : : : : :: : : : : :: : : : : 20
4.4. Theoremes d'indices : : : :: : : : : : :: : : : : : :: : : : : :: : : : : : :: : : : : : :: : : : : :: : : : : : :: : : : : : :: : : 22
4.5. Theoreme d'indice dans Cl [[x]] : : : :: : : : : : :: : : : : : :: : : : : :: : : : : : :: : : : : : :: : : : : :: : : : : : : 26
4.6. Theoreme d'indice dans Cl fxg : : :: : : : : : :: : : : : : :: : : : : : :: : : : : :: : : : : : :: : : : : : :: : : : : :: : 27
4.7. Theoreme de comparaison : : : : :: : : : : :: : : : : : :: : : : : : :: : : : : : :: : : : : :: : : : : : :: : : : : : :: : : 27
5. Interpretation des theoremes d'indices :: : : : : :: : : : : : :: : : : : : :: : : : : : :: : : : : :: : : : : : :: 31
5.1. Polygone de Newton : : : : : : :: : : : : : :: : : : : :: : : : : : :: : : : : : :: : : : : : :: : : : : :: : : : : : :: : : : : : : 31
5.2. Traduction des theoremes d'indices en fonction du polygone de Newton : : : : :: : : : : : 33
6. Equations a coecients polynomiaux : : : : : :: : : : : : :: : : : : :: : : : : : :: : : : : : :: : : : : : :: : : 34
6.1. Dualite topologique : : : :: : : : : : :: : : : : :: : : : : : :: : : : : : :: : : : : :: : : : : : :: : : : : : :: : : : : :: : : : 34
6.2. Etude a l'inni : : :: : : : : : :: : : : : : :: : : : : :: : : : : : :: : : : : : :: : : : : : :: : : : : :: : : : : : :: : : : : : :: : 37
6.3. Theoremes d'indices : : : :: : : : : : :: : : : : : :: : : : : :: : : : : : :: : : : : : :: : : : : :: : : : : : :: : : : : : :: : : 38
6.4. Estimations de croissance : : : : :: : : : : : :: : : : : :: : : : : : :: : : : : : :: : : : : : :: : : : : :: : : : : : :: : : : 39
Chapitre 2
Theoremes d'indices pour les equations aux differences a coefficients polyno-
miaux en q x : : : : : : :: : : : : : :: : : : : :: : : : : : :: : : : : : :: : : : : :: : : : : : :: : : : : : :: : : : : : :: : : : : :: : : : : : :: 45
1. Introduction :: : : : : : :: : : : : :: : : : : : :: : : : : : :: : : : : :: : : : : : :: : : : : : :: : : : : :: : : : : : :: : : : : : :: : : 45
2. Preliminaires :: : : : : : :: : : : : : :: : : : : :: : : : : : :: : : : : : :: : : : : :: : : : : : :: : : : : : :: : : : : :: : : : : : :: : 46
2.1. La fonction Gamma q-analogue : : :: : : : : : :: : : : : :: : : : : : :: : : : : : :: : : : : :: : : : : : :: : : : : : : 46
2.2. La q-integrale :: : : : : : :: : : : : : :: : : : : : :: : : : : :: : : : : : :: : : : : : :: : : : : :: : : : : : :: : : : : : :: : : : : 48
3. Transformee q-Mellin formelle : : : : :: : : : : :: : : : : : :: : : : : : :: : : : : : :: : : : : :: : : : : : :: : : : : : 48
3.1. Transformee q-Mellin formelle d'un operateur : : : : :: : : : : : :: : : : : :: : : : : : :: : : : : : :: : : : 48
3.2. Series de q-factorielles : : : :: : : : : : :: : : : : : :: : : : : :: : : : : : :: : : : : : :: : : : : :: : : : : : :: : : : : : :: 49
4. Theoremes d'indices dans Cl~ q [[t]] :: : : : : :: : : : : : :: : : : : : :: : : : : :: : : : : : :: : : : : : :: : : : : :: : : 53
4.1. Indice dans Cl~ q [[t]] : : : : : :: : : : : : :: : : : : :: : : : : : :: : : : : : :: : : : : :: : : : : : :: : : : : : :: : : : : :: : : : 53
4.2. Indices dans les espaces q-Gevrey : : : : : :: : : : : : :: : : : : : :: : : : : :: : : : : : :: : : : : : :: : : : : : :: 55
5. Solutions series de q-factorielles formelles : : : : : :: : : : : : :: : : : : : :: : : : : :: : : : : : :: : : : : : 58
5.1. Polygone de Newton : : : : : : :: : : : : : :: : : : : :: : : : : : :: : : : : : :: : : : : : :: : : : : :: : : : : : :: : : : : : : 58
5
5.2. Caracterisation q-Gevrey des series de q-factorielles solutions : : : : :: : : : : : :: : : : : :: : : 59
6. Theoremes d'indices (series de q-factorielles) : :: : : : : :: : : : : : :: : : : : : :: : : : : :: : : : : : : 60
6.1. Indices formels :: : : : : :: : : : : : :: : : : : : :: : : : : :: : : : : : :: : : : : : :: : : : : :: : : : : : :: : : : : : :: : : : : 60
6.2. Indices q-Gevrey :: : : : : :: : : : : : :: : : : : : :: : : : : : :: : : : : :: : : : : : :: : : : : : :: : : : : :: : : : : : :: : : 63
7. Transformee de q-Laplace formelle : : :: : : : : :: : : : : : :: : : : : : :: : : : : : :: : : : : :: : : : : : :: : : 64
7.1. Denitions : : : :: : : : : :: : : : : : :: : : : : : :: : : : : :: : : : : : :: : : : : : :: : : : : : :: : : : : :: : : : : : :: : : : : : 64
7.2. Solutions formelles :: : : : : :: : : : : : :: : : : : : :: : : : : : :: : : : : :: : : : : : :: : : : : : :: : : : : :: : : : : : :: 66
Chapitre 3
Un algorithme de resommation de series formelles solutions d'equations diffe-
rentielles ordinaires lineaires :: : : : : :: : : : : : :: : : : : : :: : : : : : :: : : : : :: : : : : : :: : : : : : :: : : : 69
1. Introduction :: : : : : : :: : : : : :: : : : : : :: : : : : : :: : : : : :: : : : : : :: : : : : : :: : : : : :: : : : : : :: : : : : : :: : : 69
2. Resultats theoriques : : : : : :: : : : : :: : : : : : :: : : : : : :: : : : : :: : : : : : :: : : : : : :: : : : : :: : : : : : :: : : 70
2.1. Notations : : :: : : : : : :: : : : : :: : : : : : :: : : : : : :: : : : : :: : : : : : :: : : : : : :: : : : : : :: : : : : :: : : : : : :: 70
2.2. La k-sommabilite et la multisommabilite : :: : : : : :: : : : : : :: : : : : : :: : : : : :: : : : : : :: : : : : : 71
2.3. Methode des transformees de Laplace iterees (W. Balser) : : : :: : : : : : :: : : : : :: : : : : : :: 74
2.4. Polyn^omes d'Ore :: : : : : : :: : : : : : :: : : : : :: : : : : : :: : : : : : :: : : : : :: : : : : : :: : : : : : :: : : : : :: : : 77
3. Outils formels : :: : : : : :: : : : : : :: : : : : : :: : : : : :: : : : : : :: : : : : : :: : : : : :: : : : : : :: : : : : : :: : : : : :: 78
3.1. Denition du concept de serie formelle : : : :: : : : : : :: : : : : :: : : : : : :: : : : : : :: : : : : :: : : : : : 79
3.2. Passage d'une equation aux dierences a une equation dierentielle puis a un systeme
dierentiel : : : :: : : : : : :: : : : : : :: : : : : :: : : : : : :: : : : : : :: : : : : :: : : : : : :: : : : : : :: : : : : : :: : : : : :: : : : 79
3.3. Scindage d'une serie formelle : : : :: : : : : : :: : : : : : :: : : : : :: : : : : : :: : : : : : :: : : : : :: : : : : : :: 81
3.4. Transformee de Borel formelle : : : : :: : : : : : :: : : : : :: : : : : : :: : : : : : :: : : : : :: : : : : : :: : : : : : 83
3.5. Transformees de Borel iterees : : : :: : : : : : :: : : : : : :: : : : : :: : : : : : :: : : : : : :: : : : : :: : : : : : :: 84
3.6. L'exemple de Ramis-Sibuya : : : : : :: : : : : : :: : : : : :: : : : : : :: : : : : : :: : : : : :: : : : : : :: : : : : : :: 86
4. Prolongement analytique : : : : : : :: : : : : :: : : : : : :: : : : : : :: : : : : :: : : : : : :: : : : : : :: : : : : : :: : : 87
4.1. Transformees de Laplace iterees : : : :: : : : : :: : : : : : :: : : : : : :: : : : : : :: : : : : :: : : : : : :: : : : : : 87
4.2. Localisation des singularites : : : : : :: : : : : : :: : : : : : :: : : : : :: : : : : : :: : : : : : :: : : : : : :: : : : : : 88
4.3. Prolongement analytique :: : : : : :: : : : : : :: : : : : : :: : : : : : :: : : : : :: : : : : : :: : : : : : :: : : : : :: : 88
4.4. Logiciel Compas : : :: : : : : : :: : : : : : :: : : : : :: : : : : : :: : : : : : :: : : : : :: : : : : : :: : : : : : :: : : : : :: : 89
5. Implantation :: : : : : : :: : : : : : :: : : : : :: : : : : : :: : : : : : :: : : : : :: : : : : : :: : : : : : :: : : : : :: : : : : : :: : 90
5.1. Primitives : : : :: : : : : :: : : : : : :: : : : : : :: : : : : :: : : : : : :: : : : : : :: : : : : :: : : : : : :: : : : : : :: : : : : :: 90
5.2. Contenu algorithmique : :: : : : : :: : : : : : :: : : : : : :: : : : : :: : : : : : :: : : : : : :: : : : : : :: : : : : :: : : 97
6. Resultats : : : :: : : : : : :: : : : : : :: : : : : :: : : : : : :: : : : : : :: : : : : :: : : : : : :: : : : : : :: : : : : :: : : : : : :: : 102
6.1. Equation d'Euler : : : : :: : : : : : :: : : : : : :: : : : : :: : : : : : :: : : : : : :: : : : : :: : : : : : :: : : : : : :: : : : 102
6.2. Exemple de 2-sommabilite : : : : :: : : : : : :: : : : : : :: : : : : :: : : : : : :: : : : : : :: : : : : : :: : : : : :: : 104
6.3. Exemple de Ramis-Sibuya : : :: : : : : : :: : : : : :: : : : : : :: : : : : : :: : : : : :: : : : : : :: : : : : : :: : : : 105
7. Conclusion : : : : : :: : : : : : :: : : : : : :: : : : : :: : : : : : :: : : : : : :: : : : : : :: : : : : :: : : : : : :: : : : : : :: : : : 106
Bibliographie : :: : : : : : :: : : : : : :: : : : : : :: : : : : :: : : : : : :: : : : : : :: : : : : :: : : : : : :: : : : : : :: : : : : :: : : 111
Annexes : : : : :: : : : : : :: : : : : : :: : : : : : :: : : : : :: : : : : : :: : : : : : :: : : : : :: : : : : : :: : : : : : :: : : : : :: : : : : 115
A.1. Convergence des series de factorielles q-analogues : : :: : : : : : :: : : : : :: : : : : : :: : : : : : :: 117
A.2. Fichiers "source" de l'algorithme de Balser : : : : : : :: : : : : :: : : : : : :: : : : : : :: : : : : : :: : : 121
6
Introduction
Le sujet de cette these concerne l'etude d'equations fonctionnelles analytiques. Plus precisement,
nous nous interessons d'une part aux equations lineaires algebriques q-dierences-dierentielles
pour lesquelles nous etablissons des theoremes d'indices, ainsi que des estimations de crois-
sance des solutions entieres de telles equations. Nous nous attachons d'autre part a l'etude
des series de factorielles q-analogues solutions d'equations aux dierences a coecients poly-
nomiaux en qx, dont nous donnons des estimees q-Gevrey. Enn, nous poursuivons le travail
de stage de DEA sur l'implantation d'un algorithme de multisommation des series formelles
solutions d'equations dierentielles lineaires algebriques. Les annexes comprennent d'une part
quelques resultats sur la convergence des series de factorielles q-analogues, d'autre part les
chiers "source" de l'algorithme de Balser.
Nous nous proposons a present de detailler les principaux resultats obtenus.
La methode de ltration par des espaces de Banach [29] et la recherche des operateurs prepon-
derants au sens de la compacite [29,19,6] se transposent naturellement dans notre cas. Nous
etablissons ainsi le theoreme :
Theoreme 4.4.8 : Soit L = PIi=0 PJj=0 ai;j (x)( dxd )iqj , avec ai;j (x) = Pk0 i;j;k xk 2 Cl fxg et
q un complexe, 0 < jqj < 1. Soient s et s0 2 IR tels que s > 0 et s0 2 IR, ou s = 0 et s0 0.
Soient p0s (L) = inf i;j;k 6=0(j + (k , i)s) et M (s) = f(i; j; k)ji;j;k 6= 0 et j + (k , i)s = p0s (L)g.
Soient vs;s0 (L) = inf (i;j;k)2M (s)((k , i)s0 , i) et N (s; s0) = f(i; j; k) 2 M (s)j(k , i)s0 , i =
vs;s0 (L)g.
7
Si s > 0 et s0 2 IR ou si s = 0 et s0 0 alors L est un operateur a indice dans
Cl [[x]]q;s;s0 , d'indice egal a :
(L;Cl [[x]]q;s;s0) = , inf fk , i=9j; (i; j; k) 2 N (s; s0)g
Si s > 0 et s0 2 IR ou si s = 0 et s0 > 0 alors L est un operateur a indice dans
Cl [[x]](q;s;s0), d'indice egal a :
(L;Cl [[x]](q;s;s0)) = , supfk , i=9j; (i; j; k) 2 N (s; s0)g
Ces indices peuvent se lire directement sur un polygone de Newton associe a l'operateur. dont
les pentes correspondent d'une part aux reels s pour lesquels il existe (i1; j1; k1) et (i2; j2; k2)
dans M (s) avec k1 , i1 6= k2 , i2 (nous dirons qu'alors s est une valeur exceptionnelle), d'autre
part aux reels s0 associes a une valeur exceptionnelle s tels qu'il existe (i1; j1; k1) et (i2; j2; k2)
dans N (s; s0) avec k1 , i1 6= k2 , i2 (s0 est dit exceptionnel relativement a s).
Si les series ai;j (x) sont convergentes, nous etablissons le theoreme suivant :
Theoreme 4.7.9 : Soit L = PIi=0 PJj=0 ai;j (x)( dxd )iqj , avec ai;j (x) 2 Cl fxg. Soient f^ 2 Cl [[x]]
et g 2 Cl fxg tels que L(f^) = g. Alors :
Soit f^ 2 Cl fxg,
Soit il existe un unique reel s0 > 0 tel que f^ 2 Cl [[x]]q;0;s0 et f^ 2= Cl [[x]](q;0;s0); on dit
que f^ est Gevrey d'ordre exact s0,
Soit il existe un unique reel s > 0 et un unique reel s0 2 IR tels que f^ 2 Cl [[x]]q;s;s0
et f^ 2= Cl [[x]](q;s;s0); on dit alors que f^ est q-Gevrey d'ordres exacts s et s0.
Les theoremes d'indices pour les operateurs a coecients polynomiaux s'etendent par dualite
et par passage a l'inni.
Theoremes 6.3.2 et 6.4.2 : Soit L un operateur a coecients polynomiaux
X
I X
J X
K d )ij
L= i;j;k xk ( dx q
i=0 j =0 k=0
avec 0 < jqj < 1. Soient f 2 A(Cl ) une fonction entiere et g un polyn^ome tels que
L(f ) = g. Alors :
Soit f est un polyn^ome,
Soit il existe un unique reel s0 < 0 tel que f 2 Cl [[0x]]q;0;s0 et f 2= Cl [[x]](q;0;s0). De
plus, il existe C; > 0 tels que jf (x)j < C exp(r,1=s ) (r = jxj),
Soit il existe un unique reel s < 0 et un unique reel s0 2 IR tels que f 2 Cl [[x2 ]]q;s;s0
et f 2= Cl [[x]](q;s;s0). Il existe alors C , > 0 tels que jf (x)j < C exp( k2 ln (r) + 1
A. Barkatou et A. Duval [5] ont utilise l'isomorphisme Cl [; x] ! Cl [t; ,t dtd ] deni par 7! t et
x 7! ,t dtd et les theoremes d'indices etablis dans le cas dierentiel pour obtenir des theoremes
d'indices pour des operateurs de Cl [; x] agissant sur les series formelles de factorielles.
Nous considerons la transformee de Mellin q-analogue, c'est-a-dire l'isomorphisme Cl [; qx] !
Cl [t; p] deni par 7! t et q x 7! p . Le bon espace desP series formelles stables par l'action
de Cl [; qx] est celui des series q-factorielles generalisees n0 ,q (x,+q(+x)n+1) ou 2 Cl (,q est la
fonction Gamma q-analogue). La transformee q-Mellin formelle que nous avons ete amenes a
denir pour une telle serie est :
Denition 3.2.4 : La transformee q-Mellin formelle d'une serie formelle de q-factori-
elles generalisees est la serie formelle
X an (tq; q)1 = (tq; q)1 X an
IMq (f^q )(t) = (tq+1; q)n
n0 , q ( n + 1 + ) ( tq n +1+ ; q ) 1 (tq +1 ; q ) 1 n0 ,q ( n + 1 + )
ou (tq+1; q)n = (1 , tq+1)(1 , tq+2) : : : (1 , tq+n) et (a; q)1 = (1 , a)(1 , aq)(1 , aq2) : : :
pour jqj < 1.
Nous verions que
Proposition 3.2.6 : Si f^q est une serie formelle de q-factorielles generalisees alors
pour tout operateur q 2 Cl [qx; ], IMq (q (f^q )) = IMq (q)IMq (f^q ):
Cette propriete de commutativite nous permet de nous ramener a des equations polynomi-
ales aux p-dierences agissant sur les series formelles en (tq; q)n, notees Cl~ q [[t]], pour lesquels
nous etablissons des theoremes d'indices par l'isomorphisme Cl~ q [[t]] ! Cl [[v]] qui a (tq; q)n as-
socie vn et par l'isomorphisme [t; p] ! [v; v,1; p] deni par t 7! p(1,v)p et p 7! p + v1 , v1 p.
Nous pouvons egalement denir un polygoneP de Newton associe a un operateur de Cl [; qx].
Nous dirons que la serie de q-factorielles n1 an ,q,(qx(+x)n) est q-Gevrey d'ordre s 2 IR s'il existe
sn n
C; A > 0 tels que 8n 2 IN; jan+1j < C ,q (n + 1)jqj, An .
( +1)
2
Le troisieme chapitre decrit un algorithme de resommation des series formelles solutions d'equa-
tions dierentielles lineaires ordinaires au voisinage d'une singularite irreguliere, supposee a
l'origine. Nous transformons la methode des transformees de Borel-Laplace iterees proposee
par W. Balser en un algorithme formel-numerique de calcul eectif de la somme de series mul-
tisommables.
L'algorithme repose sur les trois theoremes suivants.
Theoreme 2.3.3 (W. Balser) : Soit f^ une serie (k1; : : : ; kr )-sommable. Soit d une
direction non singuliere. Soient 1; : : :; r > 0 denis par 1=1 = 1=k1 et 1=j =
1=kj , 1=kj,1 , j = 2; : : : ; r. La somme de f^ dans la direction d est egale a
L :d : : : Lr :dS B^r : : : B^ f^
1 1
Nous detaillons l'algorithme pour une serie f^(x) (1; 2) , iL sommable, avec 1 = et 1
= . Les directions d de resommation autorisees par l'algorithme sont les directions non
1
2 2
1 2
10
singulieres de f^(x) telles qu'en faisant 12 tours autour de l'origine on ne retombe pas sur
une direction singuliere, c'est-a-dire : d 6= di + 2 l pour tout l 2 ZZ et pour toute direction
singuliere di.
1 2
Pour calculer la somme de f^(x) en un point ou plus generalement le long d'un chemin, nous
scindons la serie formelle en 1 sous-series dont nous calculons les transformees de Borel formelle
d'ordre 1 . Ces transformees de Borel ^0(x); : : :; ^ ,1(x) sont ( ),iL sommables. Nous avons
1
2
a calculer le prolongement de leur somme le long d'un chemin. Pres de l'origine, en general
1 1
se faire par une methode de Runge-Kutta. Nous pouvons alors calculer la somme de la serie
initiale.
La participation au projet europeen CATHODE (Computer Algebra Tools for Handling Ordi-
nary Dierential Equations) nous a permis de degager les primitives informatiques necessaires
a la realisation de cet algorithme en les integrant aux autres primitives denies dans ce groupe
de travail, en particulier par M. Bronstein et par C. Dicrescenzo et F. Jung.
11
12
Chapitre 1
Theoremes d'indices pour les equations q-dierences-dierentielles
1. Introduction
Les equations fonctionnelles q-dierences-dierentielles melangeant operateurs dierentiels et
operateurs aux q-dierences ont deja interesse quelques auteurs, notamment T. Kato et J.-B.
McLeod [5] qui se sont penches sur une equation fonctionnelle de la forme y0(x) = ay(x)+by(x)
provenant d'un probleme industriel (a 2 Cl ; b 2 IR et 2 IR+); K. Mahler [7] a quant a lui
considere les equations du type f (z+ww),f (z) = f (qz) ou w 6= 0 et 0 < q < 1 sont deux constantes
reelles. Enn W. Hahn [4] s'est interesse aux solutions analytiques d'une equation fonctionnelle
a coecients constants de la forme Prj=0 Psk=0 aj;k f (j)(zqk) = 0, ou q est un reel (0 < q < 1); il
se ramene par des transformations integrales a l'etude d'une equation aux dierences a coe-
cients polynomiaux.
En fait, nous n'aborderons pas le probleme de la m^eme facon que W. Hahn. Il se trouve
en eet que les etudes analogues menees par J.-P. Ramis et B. Malgrange sur les equations
dierentielles ordinaires [9,10,8], et par J.-P. Bezivin [1] sur les equations aux q-dierences (et
en realite sur des equations fonctionnelles plus generales) se transposent assez naturellement
dans notre cas.
Les operateurs que nous examinerons dans cet article seront de la forme :
XI X J d )ij (1)
L= ai;j (x)( dx q
i=0 j =0
ou les ai;j (x) sont des series formelles, et o
u est l'op
e rateur qui a
une s
e rie formelle P a xn
q n0 n
associe la serie formelle Pn0 anqnxn . Nous nous limitons a q complexe, 0 < jqj < 1 (le cas
jqj > 1 s'y ramene aisement). En multipliant par une puissance convenable de x, nous nous
ramenerons en fait a des operateurs du type
XI X J d )ij (2)
L= ai;j (x)(x dx q
i=0 j =0
ou les ai;j (x) sont des series formelles; cette ecriture est interessante dans la mesure ou les
operateurs x dxd et q commutent. Nous etablirons les theoremes d'indices pour ces derniers
operateurs, la generalisation aux operateurs de la forme (1) etant immediate.
Nous ferons dans un premier temps des rappels sur la theorie des operateurs a indice en insis-
tant sur les theoremes essentiels utilises tout au long de notre etude. Puis nous denirons la
13
notion de divers espaces Gevrey generalises et nous y etablirons des theoremes d'indices et de
comparaison, dont on donnera une interpretation en termes de polygones de Newton. Comme
dans [11], l'etude des indices pour les operateurs a coecients polynomiaux se fait par dualite
et par passage a l'inni.
2. Operateurs a indice
Nous ne rappelons ici que les resultats essentiels auxquels nous ferons reference dans cet article.
Pour davantage de complements, se referer par exemple a [3,10].
Denition 2.1 : Soient E et F deux espaces vectoriels. On dit qu'une applica-
tion lineaire u : E ! F est a indice si son noyau et son conoyau sont de dimension
nie. L'indice de u est alors par denition : (u) = dim Ker(u) , dim Coker(u).
Proposition 2.2 : Soient u : E ! F et v : F ! G deux operateurs a indice. Alors
v u : E ! G est un operateur a indice, d'indice egal a : (v u) = (v) + (u).
Theoreme 2.3 : Soient E et F deux espaces de Banach et u : E ! F lineaire
continue.
Pour que u soit a indice, il faut et il sut que son transpose u soit a indice. Si
c'est le cas, alors (u) = ,(u). Ce theoreme reste vrai si E et F sont tous deux
du type FS ou DFS.
Theoreme 2.4 : Soient E et F deux espaces de Banach et u : E ! F lineaire
continue. On suppose que u est a indice. Soit K : E ! F un operateur lineaire
continu et compact. Alors u + K est un operateur a indice et (u + K ) = (u).
Remarque : Ce theoreme est la cle de notre etude. Le but de tout notre travail est d'eliminer
certains termes de l'operateur etudie par des arguments de compacite. On ne retiendra que les
termes de poids le plus important.
Lemme 2.5 : Soient E1 et F1 deux espaces de Banach ou Frechet ou DFS (en
tous les cas de m^eme type). Soient E2 et F2 donnes avec les m^emes conditions.
Soit le diagramme commutatif d'applications lineaires continues :
E1
F1 u1
,!
v#
#w
u E2
,! F2 2
On suppose que u1 et u2 sont a indice, que v est injective et que w est injective et
d'image dense. Alors on a une suite exacte
E2 ! F2 ! 0 et dim Ker(u ) = (u ) , (u ):
0 ! Keru2 ! E 2 2 1
F
1 1
14
3. Espaces Gevrey generalises
En considerant l'operateur D = x2 dxd + 1 et en resolvant l'equation Df = x, on obtient comme
solution formelle la serie : f^(x) = Pn0 (,1)nn!xn+1. Cette serie diverge, mais on contr^ole la
croissance de ses coecients.
Rappelons l'un des resultats fondamentaux concernant les solutions formelles des equations
dierentielles ordinaires lineaires analytiques [9,10] :
Theoreme 3.1 : Soit D 2 Cl fxg[ dxd ]. Soient f^(x) = Pn0 anxn et g 2 Cl fxg tels que
Df^ = g. Alors f^ 2 Cl fxg ou il existe un unique reel s > 0 tel que f^ 2 Cl [[x]]s et
f^ 2= Cl [[x]](s). De plus, s est rationnel et est l'inverse de l'une des pentes strictement
positives du polygone de Newton associe a l'operateur D.
Dans cet enonce, Cl [[x]]s = ff^(x) = Pn0 anxn=9A > 0; 9C > 0; 8n; janj < C (n!)sAng et
Cl [[x]](s) = ff^(x) = Pn0 anxn=8A > 0; 9CA > 0; 8n; janj < CA (n!)s Ang sont respectivement
l'espace des series Gevrey-Roumieu d'ordre s et l'espace des series Gevrey-Beurling d'ordre s.
On rappelle que Cl fxg designe l'espace des series ayant un rayon de convergence non nul.
Remarque : L'ordre s est decale par rapport a celui utilise par J.-P. Ramis.
Dans le cas des equations aux q-dierences, J.-P. Bezivin a montre que la croissance a l'inni
des coecients des series formelles solutions de telles equations est egalement contr^olee [1] :
Theoreme 3.2 : Soit L = Pti=0 Pi (x) (xqki ) ou les Pi (x) sont des series convergentes a
l'origine, ou q est une complexe (0 < jqj < 1), et ou k0 < k1 < < kt sont des reels.
Soient ^ 2 Cl [[x]] et 2 Cl fxg tels que L ^ = . Alors ^ 2 Cl fxg ou il existe un unique
reel positif s tel que ^ 2 Cl [[x]]q;s et ^ 2= Cl [[x]]q;(s). De plus, s fait partie d'un ensemble
ni que l'on peut determiner a partir du q-polygone de Newton associe a L.
Dans ce cas, Cl [[x]]q;s = f ^ = Pn0 anxn= Pn0 jq sn n anjxn 2 Cl fxgg est l'espace q-Gevrey
( +1)
2
X
I X
J d )if^(qj x) = g(x)
Lf^(x) = ai;j (x)(x dx
i=0 j =0
15
ou plus generalement du type
X
I X
J d )if^(qj x) = g(x)
Lf^(x) = ai;j (x)( dx
i=0 j =0
ou les coecients et le second membre sont des series convergentes, alors cette serie a un com-
portement asymptotique que l'on peut contr^oler. On a donc besoin d'introduire de nouveaux
espaces, que l'on denit par analogie aux espaces precedents.
On rappelle que q 2 Cl ; 0 < jqj < 1.
Denition 3.3 : Soit f^(x) = Pn0 anxn une serie formelle. Soient s; s0 2 IR et A > 0.
S'il existe C > 0 tel que, pour tout n 2 IN
janj < C jqj, sn n (n!)s0 An
( +1)
2
on dira que f^ est q-Gevrey d'ordres s et s0, et d'ordre precise (s; s0; A).
Notation : Cl [[x]]q;s;s0;A :
On note : [
Cl [[x]]q;s;s0 = Cl [[x]]q;s;s0;A
A>0
\
Cl [[x]](q;s;s0) = Cl [[x]]q;s;s0;A
A>0
0 1 0 1
0 0 1 0 1 1
16
(de m^eme pour les espaces Beurling).
Propriete 3.8 : Cl [[x]](q;s;s0) Cl [[x]]q;s;s0
Proprietes 3.9 : Si s0 < s1 alors Cl [[x]]q;s ;s0 Cl [[x]](q;s ;s0 )
Si s00 < s01 alors Cl [[x]]q;s;s0 Cl [[x]](q;s;s0 )
0 1
0 0 1 1
Toutes ces proprietes s'etablissent simplement; les details sont laisses au lecteur.
ou les ai;j (x) sont des series formelles et avec 0 < jqj < 1. En multipliant par l'operateur xI
(qui est a indice, d'indice ,I dans tous les espaces consideres), on se ramene a l'etude d'un
operateur de la forme :
XI XJ d )ij (2)
L= ai;j (x)(x dx q
i=0 j =0
Xn
jcn j < CDjqj, sn n( +1)
2 jqj,sk(k,n) (k!)s0 (n , k)!s0 Ak B n,k
k=0
On majore jqj,sk(k,n) par 1 (jqj < 1 et s 0). Etudions le terme uk = k!(n , k)! pour
k = 0 : : : n. On verie facilement que :
Si 0 k [ n,2 1 ] : u[ n, ] uk u0 = n!
2
1
17
Si [ n,2 1 ] k n : u[ n, ] uk un = n!
2
1
p 1 2 1
est equivalent a nnsne,nn 2n, il 0existe une constante C~ telle que le second 0membre est
2 2
majore par : C~ jqj, 2(n!)s0 n s (2,s0 (A + B ))n. Comme s0 < 0, le terme n s est majore
( +1)
2 2
par 1.
Denitions 4.1.2 : On note Lq;s;s0 (resp. L(q;s;s0)) l'algebre des operateurs de cette
forme avec ai;j (x) 2 Cl [[x]]q;s;s0 (resp. Cl [[x]](q;s;s0)). Si ai;j (x) 2 Cl [[x]], l'algebre est notee
^ Enn, si les coecients sont des series convergentes, la notation correspondante
L.
est L.
Proprietes 4.1.3 : Soient 0 s0 s1 et s00 s01. Tout operateur L 2 Lq;s ;s0 opere
dans Cl [[x]]q;s ;s0 . Tout operateur L 2 L(q;s ;s0 ) opere dans Cl [[x]]q;s ;s0 et dans Cl [[x]](q;s ;s0 ).
0 0
1 1 0 0 1 1 1 1
Proprietes 4.1.4 : Si 0 s0 < s1 alors L 2 Lq;s ;s0 opere sur Cl [[x]](q;s ;s0 ).
Si s00 < s01 alors L 2 Lq;s;s0 opere sur Cl [[x]](q;s;s0 ).
0 1
0 1
sn(n+1)
bn = jqj, 2 (n!)s0 ,n (1 + n), an:
On identie l'espace des suites Cl IN a l'espace des series formelles [8].
On note `1s;s0 ;; = On denit sur `1s;s0 ;; une norme. Pour b = fbn g 2 `1s;s0 ;;,
s;s0 ;; (`1 (Cl )).
X1 jbnj
jjbjjs;s0;; = sn n <1
n=0 jq j, (n!)s0 ,n (1 + n),
( +1)
2
18
Lemme 4.2.1 : Soient s; s0 et 2 IR.
Si 1 > 2 > 0, l'injection naturelle `1s;s0 ; ;,! s;s ; ; est Cl -lin
v `1 0 eaire continue nucleaire
(donc compacte) et d'image dense.
1 2
Demonstration : On pose cn = ( )n et on note fn la forme lineaire sur `1s;s0 ; ; denie par
2
1 1
fn(b) = bn
sn(n+1)
jqj 2 (n!)s0 ,1 n (1 + n),
,
Soit yn la suite : ykn = 0 pour kP6= n et ynn = jqj, sn n (n!)s0 ,2 n (1 + n), . AlorsP supn0 jjfnjj <
( +1)
2
1, supn0 jjynjjs;s0; ; < 1 et n0 jcnj < 1. De plus, 8b 2 `1s;s0 ; ;; v(b) = n0 cn fn(b) yn
2
L'application v est d'image dense. Soit b 2 `1s;s0 ; ; denie par la suite fang 2 `1(Cl ). Soit
V un voisinage de b dans `1s;s0 ; ; contenant la boule ouverte B0(b; r) (r > 0). On cherche dans
2
n N on pose xn = an. Soit y = fyng la suite denie par yn = jqj , sn(n+1)2 (n!)s0 ,1 n (1 + n), xn.
La suite y appartient a `1s;s0 ; ; et jjb , yjjs;s0; ; < r.
1 2
Remarque : En fait, la propriete qui nous interessera sera le caractere compact de cette ap-
plication, ce qui est moins fort que le caractere nucleaire; cela sera susant pour utiliser des
arguments de perturbations compactes.
Lemme 4.2.2 : Soient s et s0 2 IR. Soit > 0.
Si 1 > 2, l'injection naturelle `1s;s0 ;; ,! s;s ;; est Cl -lin
v `1 0
1
eaire continue et compacte.
2
Demonstration :
Ce lemme est une generalisation du lemme 4.2.1.
19
(n!)s0 ,1 n (1 + n),an avec Pn0 janj < 1. Alors
sn(n+1)
Soit bn = jqj, 2
1
P
Comme 2 < 1, n0 j( )n(1 + n), anj < 1, `1s;s0 ; ; `1s;s0 ; ;.
2
1 1 2
( +1)
jqj (n!) 1 (1+n)
2
sn(n+1)
Soit yn = f0; : : : ; 0; jqj 2 (n!)s0 ,2 n (1 + n), ; 0; : : :g, suite
,
P dont le seul terme non nul est a
la n-ieme place : jjynjjs;s0;2; = 1 et 8b 2 `s;s0 ;1;; v(b) = n0 cn fn(b)yn.
1
L'application v est d'image dense. Soit b 2 `1s;s0 ; ; denie par la suite fanPg. Soient r > 0
et B0(b; r) une boule ouverte dans `1s;s0 ; ;. Soit > 0 : 9N 1; 8n N; nN janj < r et
2
Lemme 4.2.4 : Soient s; s0; 2 IR xes : Cl [[x]]q;s;s0 = lim!> `1s;s0 ;; et Cl [[x]](q;s;s0) =
lim > `1s;s0 ;;: On munit Cl [[x]]q;s;s0 de la topologie limite inductive et Cl [[x]](q;s;s0) de la
0
Lemme 4.3.2 : d
dx : `1s;s0 ;; ,! `1s;s0 ;jqjs;,s0 ,1.
Demonstration : Le principe est le m^eme :
d
`1s;s0 ;; dx
,! Cl IN
s;s0 ;; " " s;s0 ;;
`1(Cl ) v
,! Cl IN
On etablit de m^eme que v(`1(Cl )) `10;0;jqjs;,s0 ,1, puis que dxd (`1s;s0 ;;) `1s;s0 ;jqjs;,s0 ,1.
20
Corollaire 4.3.3 : x dxd : `1s;s0 ;; ,! `1s;s0 ;;,1.
Lemme 4.3.4 : q : `1s;s0 ;; ,! `1s;s0 ;jqj, ;.
1
# # identite #
2 1
21
ou v est l'injection naturelle, qui est compacte. Comme
`1s;s0 ;; Ls;s0;;r ;;
- `1s;s0 ;r ;+
1
1
# L - Cl [[x]]#q;s;s0
Cl [[x]]q;s;s0
alors
`1s;s0 ;; v Ks;s0 ;;r ;; + Ls;s0 ;;r ;; - `1 0
2 1
s;s ;r ;+ 1
# L+K #
Cl [[x]]q;s;s0 - Cl [[x]]q;s;s0
L'operateur v Ks;s0;;r ;; est un operateur lineaire continu compact et Ls;s0 ;;r ;; est a indice.
Alors v Ks;s0 ;;r ;; + Ls;s0;;r ;; est un operateur a indice (theoreme 2.4) et :
2 1
2 1
qui est independant de pour 0 < < 0. Donc L + K est un (; r1; ; )-operateur veriant
les conditions de la proposition 4.3.7, donc L+K est indice et (L+K ) = (Ls;s0 ;;r ;; ) = (L): 1
Remarque : On n'utilise que la compacite de l'injection naturelle `1s;s0 ;r ;+ ,! `1s;s0 ;r ;+ .
D'autre part, les reels et sont quelconques; cela signie que pour etudier un (; r1; ; 1)-
2 1
operateur par rapport a un (; r2; ; 2)-operateur, on compare d'abord r1 a r2. Si r1 = r2, on
utilise la proposition suivante :
Proposition 4.3.9 : Soient s; s0; r; ; 1; 2 2 IR avec 0 < r et 1 < 2. Soit L 2 Lq;s;s0
(resp. L(q;s;s0)) un (; r; ; 1)-operateur, tel que (Ls;s0;;r;; ) soit independant de
pour 0 < < 0 (resp. > 0), 0 convenable. Soit K : Cl [[x]]q;s;s0 ,! Cl [[x]]q;s;s0 (resp.
1
22
En d'autres termes, L est un (; jqj,ps(L); ; vs;s0 (L))-operateur.
0
Demonstration : On verie que pour s > 0, p0s (L) est bien deni et l'ensemble des triplets
(i; j; k) satisfaisant j + ks = p0s (L) est ni, donc vs;s0 (L) est aussi deni. Si s = 0, p0s (L) est
deni par un indice j0 (le plus petit). On impose alors s0 0 pour minorer les quantites ks0 , i,
et donc pour pouvoir denir vs;s0 (L).
On va maintenant eliminer les termes qui, par argument de compacite, n'interviennent pas
dans le calcul de l'indice (s'il existe).
Soit M (s) = f(i; j; k)=i;j;k 6= 0 et j + ks = p0s (L)g:
Soient N (s; s0) = f(i; j; k) 2 M (s)=ks0 , i = vs;s0 (L)g et L~ = P(i;j;k)2N (s;s0) i;j;k xk (x dxd )iqj .
Propriete 4.4.2 : L'operateur L~ est un (; jqj,ps(L); ; vs;s0 (L))-operateur.
0
< 0 (resp. > 0) pour 0 convenable, alors L est a indice dans Cl [[x]]q;s;s0 (resp.
dans Cl [[x]](q;s;s0)) et (L) = (L~ ).
Demonstration : Soient L1 = Pf(i;j;k)2M (s); ks0 ,i>vs;s0 (L)g i;j;k xk (x dxd )i qj et
L2 = P(i;j;k)62M (s) i;j;k xk (x dxd )iqj .
Il est clair que L1 est un (; jqj,ps(L); ; 1)-operateur et que L2 est un (; r2; ; 2)-operateur
0
avec 1 > vs;s0 (L) et r2 > jqj,ps(L). Alors L~ + L1 est un (; jqj,ps(L); ; vs;s0 (L))-operateur et
0 0
(L~ + L1) = (L~ ). On verie ensuite que L~ + L1 + L2 est un (; jqj,ps(L); ; vs;s0 (L))-operateur
0
n0 n0
L~ : `10;s0;; ,! `10;s0 ;jqj,ps L ;+vs;s0 (L) est a indice; dans ce cas, (L~ ) = (L~ ) (enonce simi-
0( )
(i;j;k)2N (s;s0)
L'operateur qps(L) est un isomorphisme de `10;s0 ;; dans `10;s0 ;jqj,ps L ; (resp. un automor-
0
0( )
phisme de Cl [[x]]q;0;s0 et de Cl [[x]](q;0;s0)), donc est a indice nul dans ces espaces. Soit TL =
P sk k
xk (x dxd )i : L~ = TL qps(L).
(i;j;k)2N (s;s0) i;j;k q
( +1) 0
2
Cl [[x]]q;0;0 = Cl fxg [8] et (TL ;Cl [[x]]q;0;0) = ,v(ai ;j ) = , inf fk=9i; 9j; (i; j; k) 2 N (s; s0)g.
0 0 0 0
0 0
Soit j0 le plus petit des indices j pour lesquels il existe i tel que (i; j ) 2 ,. Soit i0 =
supfi = (i; j0) 2 ,g:
Comme 0 < jqj < 1 et i ;j ;m(L) 6= 0, U (p) est non nul a partir d'un certain rang P > m(L).
Pour telle que v() P , il existe donc une unique serie formelle f telle que L f = et
0 0
v(f ) P , m(L), c'est-a-dire que L : xP ,m(L) Cl [[x]] ,! xP Cl [[x]] est un isomorphisme, donc
est a indice, lequel est nul. On en deduit alors le resultat par des arguments classiques (propo-
sition 1.3 [8]).
26
4.6. Theoreme d'indice dansCl fxg
On note Cl fxg l'ensemble des series convergentes a l'origine. On suppose que les ai;j sont
dans Cl fxg. Alors L : Cl fxg ,! Cl fxg. On va etudier l'indice de L d'une autre facon qu'en 4.4.
Soit j0 le plus petit des indices tels qu'il existe un i avec ai;j non identiquement nul. Soit 0
i0 le plus grand des i tels que ai;j ne soit pas identiquement nul.
0
Demonstration : Soit f 2 B i (r ). Pour (i; j ) tel qu'il existe k avec i;j;k 6= 0 : qj f (x) 2
0
On pose L = L~ + L1 + L2 avec L~ = ai ;j (x)(x dxd )i qj , L1 = PJj=j +1 PIi=0 ai;j (x)(x dxd )iqj et
0 0
L2 = (Pii=0,1 ai;j (x)(x dxx )i)qj . L'operateur L~ est d'indice ,v(ai ;j ), L1 est compacte (theoreme
0 0 0
0 0
0 0 0
d'Ascoli-Arzela) et L2 est egalement compacte (cf par exemple [8]). On applique alors le
theoreme 2.4.
On utilise ensuite le fait que Cl fxg = limr!0 B i (r ) et que l'on travaille avec des applica-
0
27
Soient s et s0 2 IR. On note : p0s (L) = inf i;j;k 6=0 (j + ks) (si cette quantite existe) et
M (s) = f(i; j; k)ji;j;k 6= 0 et j + ks = p0s (L)g. Enn, si elle existe, on pose vs;s0 (L) =
inf (i;j;k)2M (s)(ks0 , i) et N (s; s0) = f(i; j; k) 2 M (s)jks0 , i = vs;s0 (L)g.
Denition 4.7.1 : On dit que s 2 IR est une valeur exceptionnelle pour L s'il existe
deux triplets (i1; j1; k1) et (i2; j2; k2) dans M (s) tels que k1 6= k2.
Remarque : Si s est une valeur exceptionnelle, s s'ecrit sous la forme s = j2 ,j1 :
v(ai1 ;j1 ),v(ai2 ;j2 )
il y en a un nombre ni.
Denition 4.7.2 : Soit s 2 IR. Le reel s0 est une valeur exceptionnelle relativement
a s pour l'operateur L s'il existe deux triplets (i1; j1; k1) et (i2; j2; k2) dans N (s; s0) tels
que k1 =6 k2.
Remarque : Pour s xe, il y a un nombre ni de valeurs exceptionnelles relativement a s.
On note le cas echeant : q;s;s0 = (L;Cl [[x]]q;s;s0) et (q;s;s0) = (L;Cl [[x]](q;s;s0)).
Proposition 4.7.3 : Soient s > 0 et s00 < s01 2 IR (resp. s = 0 et 0 s00 < s01).
On suppose que pour tout s0 2]s00; s01[, s0 n'est pas exceptionnelle relativement a s.
Alors :
q;s;s0 = (q;s;s0) = 8s0 2]s00; s01[
q;s;s0 = (q;s;s0 ) =
0 1
Demonstration : Soit s 2]s0; s1 [ : s n'est pas exceptionnelle donc si (i1; j1 ; k1) et (i2; j2 ; k2)
appartiennent a M (s), alors k1 = k2. On note k(s) cet element et j (s) l'unique indice j
tel qu'il existe i avec (i; j; k(s)) 2 M (s) (j (s) et k(s) sont independants de s0). On mon-
tre alors que (j (s); k(s)) est localement constant sur le connexe ]s0; s1[, donc constant sur
]s0; s1[ : q;s;s0 = (q;s;s0) = ,k0 pour tout s 2]s0; s1[ et pour tout s0 2 IR. Soit i0 tel que
(i0; j0; k0) 2 M (s) pour s 2]s0; s1[ : (i0; j0; k0) 2 M (s0) \ M (s1). Soit (i+; j +; k+ ) 2 M (s1)
avec k+ = supfk=9i; 9j; (i; j; k) 2 M (s1)g : (q;s ;s0 ) = ,k+ pour s01 tendant vers ,1. Soit
(i,; j ,; k, ) 2 M (s0) avec k, = inf fk=9i; 9j; (i; j; k) 2 M (s0)g : q;s ;s0 = ,k, pour s00 ten-
1 1
dant vers +1 (proposition 4.7.4). Alors k, k0 k+. Si k, < k0 alors s0 = kj,,,kj, < s1 :
0
0
j , + k, s1 < j0 + k0s1, ce qui est en contradiction avec (i0; j0; k0) 2 M (s1). Si k+ > k0 alors
0
s1 = kj ,,kj > s0 : j + + k+ s0 < j0 + k0s0, ce qui est en contradiction avec (i0; j0; k0) 2 M (s0).
0
+
0
+
Proposition 4.7.6 : Soient s > 0 et s00 < s01 2 IR (resp. s = 0 et 0 s00 < s01) tels
que pour tout s0 2]s00; s01[, s0 n'est pas exceptionnelle relativement a s. Alors
Cl [[x]] q;s;s0 !
dim Ker L; Cl [[x]]q;s;s0 = 0(
1
)
Demonstration : On sait que (L;Cl [[x]](q;s;s0 ) ) = (L;Cl [[x]]q;s;s0 ) (proposition 4.7.3). Con-
siderons le diagramme commutatif :
1 0
Cl [[x]]q;s;s0 ,! Cl [[x]]q;s;s0
# #
0 0
Cl [[x]](q;s;s0 ) ,! Cl [[x]](q;s;s0 )
1 1
L'injection naturelle Cl [[x]]q;s;s0 ,! Cl [[x]](q;s;s0 ) est d'image dense. En appliquant le lemme 2.5,
on obtient le resultat souhaite.
0 1
Proposition 4.7.7 : Soit [s0; s1] [0; +1[ tel que pour tout s 2]s0; s1[, s n'est pas
exceptionnelle. Alors il existe s00 et s01 2 IR tels que 8s0 < s00, 8s00 > s01,
Cl [[x]] 0
dim Ker L; Cl [[x]]q;sq;s ;s;s00 = 0
( 1 )
Demonstration : L'operateur L est a indice dans Cl [[x]] et (L;Cl [[x]]) = , inf fv (ai;j )g = ,k0
(theoreme 4.5.1). Soient i0 et j0 tels que k0 = v(ai ;j ). Si s ! +1 alors pour tout (i; j; k) tel
que i;j;k 6= 0, k0 k et (i0; j0; k0) 2 M (s) et s n'est pas exceptionnelle. Donc (i0; j0; k0) est
0 0
relativement a s1 est ainsi parcouru. Si on ne s'est pas arr^ete a la derniere valeur s01;l , alors
12
1 1 1 2 21
30
5. Interpretation des theoremes d'indices
5.1. Polygone de Newton
On va generaliser les polygones de Newton denis par J.-P. Ramis [10,11] aux operateurs du
type :
XI X J d )ij
L= ai;j (x)(x dx q
i=0 j =0
(ou plus generalement de la forme (1)), avec a (x) = P xk 2 Cl fxg[x,1] (k 2 ZZ).
i;j kk0 i;j;k 0
On denit dans IR2 les quadrants 1 = f(u; v) 2 IR2=u; v 0g, 2 = f(u; v) 2 IR2=u 0; v 0g,
3 = f(u; v) 2 IR2=u; v 0g et 4 = f(u; v) 2 IR2=u 0; v 0g.
Pour (a; b) 2 IR2 et r = 1 : : : 4, on pose r (a; b) = (a; b) + r , Mrq (L) = [r (j; k), union
etendue aux couples (j; k) pour lesquels il existe i tel que i;j;k 6= 0 (pour L de la forme (1),
Mrq (L) = [r (j; k , i)). Soit Prq (L) l'enveloppe convexe dans IR2 de Mr (L). Soit Nlq (L) =
P1q (L) \ P2q (L), soit Nuq (L) = P3q (L) \ P4q (L) et Nq (L) = Nlq (L) \ Nuq (L).
Denition 5.1.1 : On appelle Nlq (L) le q-polygone de Newton inferieur associe a
L et Nuq (L) le q-polygone de Newton superieur associe a L; Nq (L) est le q-polygone
de Newton associe a L.
Remarque : Nq (L) est le polygone de Newton de l'operateur aux q -dierences
X
J X
xk qj
j =0 fk=9i;i;j;k 6=0g
On denit egalement un sens de parcours sur chaque d-polygone [10], dont les pentes sont
denies dans le repere local. Si 0 est une pente strictement positive du d-polygone associe
a , on note le segment [(i1(; 0); k1(; 0)); (i2(; 0); k2(; 0))] avec k1(; 0) , k2(; 0) du
32
m^eme signe que k1() , k2(). Si 0 est une pente < 0, on note de la m^eme facon le seg-
ment. Le c^ote vertical du d-polygone est note [(i1(; 0); k1(; 0)); (i2(; 0); k2(; 0))] avec
i1(; 1) = i2(; 1) et k1(; 0) , k2(; 0 ) du m^eme signe que k1() , k2 (). Le segment
horizontal inferieur est repere par : i1(; 0+ ) = 0 < i2(; 0+ ) et k1(; 0+ ) = k2(; 0+ ) = k1().
Le segment horizontal superieur est repere par : i1(; 0, ) > i2(; 0, ) = 0 et k1(; 0, ) =
k2(; 0, ) = k2(). Enn, si l'intersection du d-polygone avec la droite de contact de pente 0
est reduite a un unique point, on le note (i(; 0); k(; 0)).
Remarque : Le d-polygone d'un operateur du type (1) se construit suivant le m^eme procede; il
sut de remplacer partout k par k , i.
Exemple : Soit L = (x dxd )q3 + x2(x dxd ) + x(x dxd )3q + x(x dxd )5q + x2 (x dxd )7q3:
Les
eches indiquent l'origine et l'extremite de chaque segment pour 0 < jqj < 1.
I
@ - - - -
,
, @ @
I@H ? )
YHH
,
, YHH
H ? )
-
, ,
,
,
,,
, ,
+
5.2. Traduction des theoremes d'indices en fonction du polygone de Newton
Soient s 2 IR [ f+1g et s0 2 IR. Si s = +1, on pose = 0l. Si s = 0, on pose = 1. Sinon,
on pose = 1s . Si s0 = 0, on pose 0 = 1. Sinon, on pose 0 = s10 .
Soit L = PI PJ a (x)(x d )ij a coecients dans Cl fxg.
i=0 j =0 i;j dx q
Les valeurs exceptionnelles sont les reels s pour lesquels les droites d'appui de pente (cas
jqj > 1) ou de pente , (cas jqj < 1) rencontrent le polygone de Newton suivant un segment
ou une demi-droite. On convient que s = +1 est une valeur exceptionnelle si le segment hori-
zontal inferieur n'est pas de longueur nulle. Pour une valeur exceptionnelle s 6= +1, on denit
de m^eme les valeurs exceptionnelles 2] , 1; +1[ relativement a s. Sur l'exemple precedent,
les valeurs exceptionnelles sont s = 2 et s = 1; s0 = 4 est la valeur exceptionnelle associee a
33
s = 2 et s0 = ,4 est la valeur exceptionnelle associee a s = 1.
Theoreme 5.2.1 : On pose Cl [[x]]q;+1;s0 = Cl [[x]] 8s0 2 IR. D'autre part, Cl fxg =Cl [[x]]q;0;0.
1. L'operateur L est d'indice ni de : Cl [[x]]q;s;s0 ,! Cl [[x]]q;s;s0 pour s 2]0; +1] et
s0 2 IR, et pour s = 0 et s0 2 [0; +1[ :
Si s non exceptionnelle : q;s;s0 = ,k()
Si s exceptionnelle et s0 non exceptionnelle : q;s;s0 = ,k(; 0)
Si s exceptionnelle et s0 exceptionnelle : q;s;s0 = ,k1(; 0)
2. L'operateur L est d'indice ni de : Cl [[x]](q;s;s0) ,! Cl [[x]](q;s;s0) pour s 2]0; +1[ et
s0 2 IR, et pour s = 0 et s0 2]0; +1[ :
Si s non exceptionnelle : (q;s;s0) = ,k()
Si s exceptionnelle et s0 non exceptionnelle : (q;s;s0) = ,k(; 0)
Si s exceptionnelle et s0 exceptionnelle : (q;s;s0) = ,k2(; 0 )
On laisse le soin au lecteur d'etablir un theoreme analogue pour L de la forme (1).
Theoreme 5.2.2 : Soit L 2 L. Soit g 2 Cl fxg. Une condition necessaire et suf-
sante pour que toutes les solutions de l'equation L(f^) = g soient convergentes est
que le polygone de Newton soit de la forme :
(s0 = 0) (s = 0)
(s = +1)
(s0 = +1)
Demonstration : Il faut et il sut qu'il n'y ait pas de valeurs exceptionnelles s > 0, ni de
valeurs s0 > 0 exceptionnelles relativement a s = 0.
On designe par ,1(Cl ) = Cl [ f1g la sphere de Riemann. Nous rappelons le resultat sui-
vant (voir [11]) d^u a A. Grothendieck :
Proposition 6.1.1 :
(i) L'accouplement
Cl fxg x,1 O(,1 (Cl )P, f0g) ! Cl
(f;^ g^) 7!< f;^ g^ >= +n=0
1a b
n n+1
(f^(x) = Pn0 anxn et g^(x) = Pn1 bnx,n ) met en dualite topologique l'espace Cl fxg
muni de sa topologie DFN et l'espace x,1O(,1(Cl ) , f0g) muni de sa topologie FN.
(ii)L'accouplement
Cl [[x]] x,1Cl [x,1] ! Cl
(f;^ g^) 7!< f;^ g^ >
met en dualite topologique l'espace FN Cl [[x]] et l'espace DFN x,1Cl [x,1].
L'isomorphisme
s;s0 : Cl [[x]] ! Cl [[x]]
P a xn 7! P jqj sn n (n!),s0 a xn
( +1)
n0 n n0
2
n
induit des isomorphismes Cl [[x]]q;s;s0 ! Cl fxg et Cl [[x]](q;s;s0) ! A(Cl ). On transporte sur
Cl [[x]]q;s;s0 (resp. Cl [[x]](q;s;s0) ) la topologie DFN (resp. FN) de Cl fxg (resp. A(Cl )).
L'isomorphisme
s;s0 : x,1Cl [[x,1]] ! x,1Cl [[x,1]]
P a x,n,1 7! P jqj sn n (n!),s0 a x,n,1
( +1)
n0 n n0 n2
induit des isomorphismes x,1Cl [[x,1]]q;s;s0 ! x,1Cl fx,1g et x,1Cl [[x,1]](q;s;s0) ! x,1O(,1 (Cl ) ,
f0g). On transporte sur x,1Cl [[x,1]]q;s;s0 (resp. x,1Cl [[x,1]](q;s;s0)) la topologie DFN (resp. FN)
de x,1Cl fx,1g (resp. x,1O(,1 (Cl ) , f0g)).
Proposition 6.1.2 : Soient s et s0 deux reels.
(i) Les espaces Cl [[x]]q;s;s0 et x,1Cl [[x,1]](q;,s;,s0) sont en dualite topologique.
(ii) Les espaces Cl [[x]](q;s;s0) et x,1Cl [[x,1]]q;,s;,s0 sont en dualite topologique.
(iii) Les espaces Cl [[x]] et x,1Cl [x,1] sont en dualite topologique.
Le transpose de l'operateur
P x considere comme
P agissant surCl [[x]] est l'operateur x? agissant sur
x,1Cl [x,1] deni par x?( n0 anx,n,1 ) = n0 an+1x,n,1 . Le transpose de l'operateur dxd est
35
l'operateur , dxd . Le dual de l'operateur x dxd est l'operateur , dxd x? qui concide avec l'operateur
, dxd x = ,1 , x dxd . Le dual de q est l'operateur pp.
Cl [[x]] x,1Cl [x,1]
Cl [[x]]q;s;s0 x,1Cl [[x,1]](q;,s;,s0 )
Cl [[x]](q;s;s0) x,1Cl [[x,1]]q;,s;,s0
x x?
d
dxd , dxd
x dx ,1 , x dxd
q pp
P P
Remarque : Soit f^(x) = n0 an x,n,1 2 x,1Cl [[x,1]]. Alors xf^(x) = n0 an x,n = a0 +
P a x,n,1 = a + x?f^(x). L'operateur x? : x,2Cl [[x,1]] ! x,1Cl [[x,1]] concide avec
n0 n+1 0
l'operateur x : x Cl [[x,1]] ! x,1Cl [[x,1]]. On etablit d'autre part que x? = x?(1 + ).
, 2
X
A X
B d )ib
L? = bi;b(x)(x dx p
i=0 b=0
avec bi;b(x) = Pc0 (PAa=i (,1)aa;b;cpb pbc Cai(c + 1)a,i )xc.
On a ajoute des termes, mais ceux-ci
ne jouent aucun r^ole lors de la construction du polygone generalise associe a L?.
36
Theoreme 6.1.5 : Soient L 2 Cl [x][x dxd ; q ] (0 < jqj < 1) et L? 2 Cl [x?][x dxd ; p] son
dual. Soit K le degre en x de L. Alors :
(i) L'operateur L? : x,1,KCl [[x,1]]q;s;s0 ! x,1Cl [[x,1]]q;s;s0 est de Fredholm pour s 2
] , 1; 0[; s0 2 IR et pour s = 0; s0 2] , 1; 0[, d'indice egal a ,(L;Cl [[x]](q;,s;,s0)) , K .
(ii) L'operateur L? : x,1,KCl [[x,1]](q;s;s0) ! x,1Cl [[x,1]](q;s;s0) est de Fredholm pour
s 2 [,1; 0[; s0 2 IR et pour s = 0; s0 2] , 1; 0], d'indice egal a ,(L;Cl [[x]]q;,s;,s0 ) , K .
Demonstration : En considerant le diagramme commutatif
0 ! x,1,KCl [[x,1]]q;s;s0 ! x,1Cl [[x,1]]q;s;s0 ! x,1Cl [[x,1]]q;s;s0 =x,1,KCl [[x,1]]q;s;s0 ! 0
L? # L? # #
0! x Cl [[x,1]]q;s;s0
,1 ! !
x Cl [[x,1]]q;s;s0
, 1 f0g !0
et le theoreme 6.1.3, nous demontrons (i). L'assertion (ii) se demontre de la m^eme facon.
6.2. Etude a l'inni
Soient L 2 Cl [x][x dxd ; q ] (0 < jqj < 1) et L? son dual. Nous allons etudier L? a l'inni.
Pour cela, nous posons z = x1 . Soit L?z 2 Cl [z,1][z dzd ; q ] l'operateur obtenu a partir de L? en
remplacant formellement x? par z1 , x dxd par ,z dzd et p par q.
Propriete 6.2.1 : Le q-polygone de Newton de L?z et le p-polygone de Newton
de L? sont symetriques par rapport a l'axe des abscisses.
Soit : x,1Cl [[x,1]] ! z Cl [[z]] l'isomorphisme qui a x,n associe zn. Il induit des isomor-
phismes : x,1,KCl [[x,1]]q;s;s0 ! zK+1Cl [[z]]q;s;s0 et : x,1,KCl [[x,1]](q;s;s0) ! zK+1Cl [[z]](q;s;s0)
(K 2 IN). Alors L?z = L? et nous obtenons le theoreme :
Theoreme 6.2.2 : Soient L 2 Cl [x][x dxd ; q ] (0 < jqj < 1) et L?z 2 Cl [z,1][z dzd ; q ] son
dual a l'inni. Soit K le degre en x de L. Alors :
(i) L'operateur L?z : z1+KCl [[z]]q;s;s0 ! z Cl [[z]]q;s;s0 est de Fredholm pour s 2] ,
1; 0[; s0 2 IR et pour s = 0; s0 2] , 1; 0[, d'indice egal a ,(L;Cl [[x]](q;,s;,s0)) , K .
(ii) L'operateur L?z : z1+KCl [[z]](q;s;s0) ! z Cl [[z]](q;s;s0) est de Fredholm pour s 2
[,1; 0[; s0 2 IR et pour s = 0; s0 2] , 1; 0], d'indice egal a ,(L;Cl [[x]]q;,s;,s0 ) , K .
Si L = PIi=0 PJj=0 PKk=0 i;j;k xk (x dxd )iqj alors L?z = PIi=0 PJj=0 PKk=0 i;j;k pj(k+1)z,k (,k , 1 +
z dzd )iqj et l'operateur zK L?z 2 Cl [z][z dzd ; q]. L'operateur zK L?z : zK+1Cl [[z]]q;s;s0 ! zK+1Cl [[z]]q;s;s0
est de Fredholm pour s 2] , 1; 0[; s0 2 IR et pour s = 0; s0 2] , 1; 0[, d'indice egal a
,(L;Cl [[x]](q;,s;,s0)) , K . On montre aisement qu'alors, l'operateur zK L?z : Cl [[z]]q;s;s0 !
Cl [[z ]]q;s;s0 est de Fredholm pour s 2] , 1; 0[; s0 2 IR et pour s = 0; s0 2] , 1; 0[, d'indice
37
egal a ,(L;Cl [[x]](q;,s;,s0)) , K . Le q-polygone de Newton de zK L?z est l'image du q-polygone
de L?z par la translation (u; v) 7! (u; v + K ). Nous pouvons alors exprimer les indices de
(L;Cl [[x]]q;,s;,s0 ) et (L;Cl [[x]](q;,s;,s0)) en fonction du q-polygone de Newton de zK L?z.
Soient s 2 [,1; 0] et s0 2 IR. Si s = ,1, on pose = 0u . Si s = 0, on pose = 1.
Si s 2] , 1; 0[, on pose = 1s . Si s0 = 0, on pose 0 = 1. Si s0 2 IR, on pose 0 = s10 .
Si s = ,1, on pose Cl [[z]](q;,1;s0) = Cl [z] 8s0 2 IR.
Theoreme 6.2.3 : Soient L 2 Cl [x][x dxd ; q ] (0 < jqj < 1) et L?z 2 Cl [z,1][z dzd ; q ] son
dual a l'inni. Soit K le degre en x de L. Alors
(i) L'operateur zK L?z :Cl [[z]]q;s;s0 !Cl [[z]]q;s;s0 est de Fredholm pour s 2] ,1; 0[; s0 2 IR
et pour s = 0; s0 2] , 1; 0[, d'indice egal a ,k() si s est non exceptionnelle, ,k(; 0)
si s est exceptionnelle et si s0 est non exceptionnelle, ,k1(; 0) si s est exception-
nelle et si s0 est exceptionnelle.
(ii) L'operateur zK L?z : Cl [[z]](q;s;s0) ! Cl [[z]](q;s;s0) est de Fredholm pour s 2 [,1; 0[; s0 2
IR et pour s = 0; s0 2],1; 0[, d'indice egal a ,k() si s est non exceptionnelle, ,k(; 0 )
si s est exceptionnelle et si s0 est non exceptionnelle, ,k2(; 0) si s est exception-
nelle et si s0 est exceptionnelle.
Nous avons ainsi obtenu des theoremes d'indices pour les operateurs de Cl [z][z dzd ; q] agissant
sur Cl [[z]]q;s;s0 (resp. Cl [[z]](q;s;s0)) avec s 2] , 1; 0[; s0 2 IR ou s = 0; s0 2] , 1; 0[ (resp.
s 2 [,1; 0[; s0 2 IR ou s = 0; s0 2] , 1; 0[).
6.3. Theoremes d'indices
En combinant le theoreme 5.2.1 et le theoreme 6.2.3, nous obtenons le resultat suivant :
Theoreme 6.3.1 : Soit L 2 Cl [x][x dxd ; q ] (0 < jqj < 1). Soient s 2 IR [ f,1g [ f+1g et
s0 2 IR. Si s = 0, on pose = 1. Si s = ,1, on pose = 0u . Si s = +1, on pose
= 0l . Si s 2 IR, on pose = 1s . Si s0 = 0, on pose 0 = 1. Si s0 2 IR, on pose
0 = s10 . On pose Cl [[x]](q;,1;s0) = Cl [x] et Cl [[x]]q;+1;s0 = Cl [[x]] 8s0 2 IR.
(i) L'operateur L : Cl [[x]]q;s;s0 ! Cl [[x]]q;s;s0 est de Fredholm pour s 2] , 1; +1] et
s0 2 IR, d'indice egal a ,k() si s est non exceptionnelle, ,k(; 0) si s est excep-
tionnelle et si s0 est non exceptionnelle, ,k1(; 0 ) si s est exceptionnelle et si s0 est
exceptionnelle.
(ii) L'operateur L : Cl [[x]](q;s;s0) ! Cl [[x]](q;s;s0) est de Fredholm pour s 2 [,1; +1[ et
s0 2 IR, d'indice egal a ,k() si s est non exceptionnelle, ,k(; 0) si s est excep-
tionnelle et si s0 est non exceptionnelle, ,k2(; 0 ) si s est exceptionnelle et si s0 est
exceptionnelle.
38
De la m^eme facon que nous avons demontre le theoreme 4.7.9, on obtient le :
Theoreme 6.3.2 : Soit L un operateur a coecients polynomiaux du type
X
I X
J d )ij
L= ai;j (x)( dx q
i=0 j =0
avec 0 < jqj < 1. Soient f 2 A(Cl ) une fonction entiere et g 2 Cl [x] tels que L(f ) = g.
Alors :
Soit f 2 Cl [x],
Soit il existe un unique reel s0 < 0 tel que f 2 Cl [[x]]q;0;s0 et f 2= Cl [[x]](q;0;s0); s10 est
alors l'une des pentes strictement negatives du d-polygone associe a la valeur
exceptionnelle s = 0,
Soit il existe un unique reel s < 0 et un unique reel s0 2 IR tels que f 2 Cl [[x]]q;s;s0
et f 2= Cl [[x]](q;s;s0); ,1s est alors l'une des pentes strictement positives du q-
polygone et s10 l'une des pentes du d-polygone Pd; s (L). 1
n(1) = 0
ou n 2 IN, k1 = lnkjqj > 0, a 2 IR et b = k1s0 2 IR.
Nous allons chercher le minimum de n(r) sur ]0; +1[ puis en donner un equivalent quand
n tend vers +1. La fonction n (r) est continue sur ]0; +1[. Pour r 6= 1,
0n(r) = k1 ln(rr) + a ,r n + rb ln j ln(r)j + rb
39
et on pose pour fn(r) = r0n (r) = k1 ln(r) + a , n + b + b ln j ln(r)j: Pour r 6= 1,
Premier cas : s0 = 0. Le minimum de n(r) est atteint pour r = exp( nk,a ) et 8r > 0; n (r) 1
, (n2,ka) :
1
2
0 exp(,s0) 1 rn +1
fn0 (r) + 0 , + +
fn(r) ,1 ,,,
@ 0 1+1
@@R ,1 ,1
PPPP ,
n(r) PPPP ,
PPP
PPPPq ,,
,
Pour n assez grand, fn (exp(,s0)) ,n est strictement negatif et n(r) admet sur ]0; +1[
un unique minimum,
0 s0
atteint pour r = rn > 1. Etudions fn(r) sur ]1; +1[. On pose n =
n, a , b ,
exp( k )n k1 et un = rnn . Pour n assez grand,
s
1
et
02
n(rn ) + n(n2k+ 1) , s0 ln(n!) , 1
2k1 + s0 + ka , s0 ln(k1) n , k1s ln2(n):
2
1 1
Demontrons a present la proposition. Soit f (x) une fonction entiere telle que
jf (x)j < C exp k2 ln2(r) + a ln(r) + k1s0 ln(r): ln j ln(r)j (r = jxj)
1
avec k1 = lnkjqj > 0, a 2 IR et s0 2 IR. Soit Pn0 anxn son developpement asymptotique a
l'origine. Alors
janj sup jf (x)jr,n < C exp k2 ln2(r) + a ln(r) + k1s0 ln(r): ln j ln(r)j r,n
1
jxj=r
pour tout r > 0 donc janj < C exp(n (rn)).
Si s0 6= 0 alors
janj < C jqj, n nk (n!)s0 exp( 21k + s0 + ka , s0 ln(k1)) n exp( (n))
( +1)
2
1 1
n(n+1)
ou (n) , k 2s0 ln2(n) ! ,1, donc e(n) est borne et par suite janj < Djqj,
1
2
2k (n!)s0 An
(D constante).
41
Reciproquement,
P supposons qu'une fonction entiere f (x) admette comme developpement asym-
ptotique n0 anxn 2 Cl [[x]]q;s;s0, c'est-a-dire qu'il existe C et A > 0 tels que
janj < C jqj, n nk (n!)s0 An; ( +1)
2
Soit a tel que ln(A) = 2k1 + s0 + ka , s0 ln(k1). Alors , n(2nk+1) + s0 ln(n!)+ n ln(A) = n (rn)+ (n)
avec (n) k 2s0 ln2(n).
1 1 1
2
1
Par consequent,
janxnj < C exp(n (rn) + (n) + n ln(r))
et 8 > 0,
janxnj < C exp k2 ln2() + a ln() + k1s0 ln(): ln j ln()j (n) , n ln() + n ln(r) :
1
jf (x)j < C exp k2 ln2() + a ln() 8 > 1
1
jf (x)j < C exp k2 ln2(r) + (a + ) ln(r) 8 > 0
1
Si s0 P
6= 0 : Soit n = exp( (n) , n ln()). On montre que nn 1 , c'est-a-dire que la
+1
8 > 0;
jf (x)j < C exp k2 ln2(r) + k1 s0( + ln(r)) ln j + ln(r)j + (a + k1) ln(r)
1
< C0 exp k2 ln2(r) + k1s0 ln(r): ln j ln(r)j + (a + k1 + 1) ln(r) :
1
43
References bibliographiques
[1] J.-P. Bezivin, Sur les equations fonctionnelles aux q-dierences. Preprint Paris VI (1990).
[2] R. Douady, Produits tensoriels topologiques et espaces nucleaires. Seminaire de geometrie
analytique. Asterisque 16 (1974).
[3] P. Grisvard, Operateurs a indice, Lemme de Compacite. Seminaire Cartan-Schwartz, 16eme
annee, 1963-64, n12.
[4] W. Hahn, Uber die Funktional-dierentialgleichung f 0(z) = f (qz) und verwandte Funk-
tionalgleichungen. Ann. Univ.Sc. Budapest, Eotvos Sect. Math. (1973), p.3-21.
[5] T. Kato, J.-B. McLeod, The functional dierential dierence equation y0(x) = ay(x),by(x).
Bull. Amer. Math. Soc., 77 (1971),p. 891-937.
[6] H. Komatsu, On the index of dierential operators. J. Fac. Sci. Tokyo IA (1971), p.379-398.
[7] K. Mahler, On a special functional equation. J. London Math. Soc. 15 (1940), 115-123. MR
2, 133.
[8] B. Malgrange, Sur les points singuliers des equations dierentielles. L'Enseignement Mathe-
matique, tome 20, n1-2 (1974), p. 147-176.
[9] J.-P. Ramis, Devissage Gevrey. Societe Mathematique de France. Asterisque n 59-60
(1978), p.173-204.
[10] J.-P. Ramis, Theoremes d'indices Gevrey pour les equations dierentielles ordinaires. Mem-
oirs of the American Mathematical Society n296, volume 48 (1984).
[11] J.-P. Ramis, About the growth of entire functions solutions of linear algebraic q-dierence
equations. Annales de la Faculte des Sciences de Toulouse. Serie 6, Vol. I, n 1, 1992.
[12] K. Yosida, Functional Analysis. Berlin, Springer-Verlag (1971).
44
Chapitre 2
Theoremes d'indices pour les equations auxx dierences a coecients
polynomiaux en q
1. Introduction
Le point de depart de ce travail consiste en l'etude de transformations canoniques permettant
d'obtenir des estimations de croissance des solutions d'une classe d'operateurs via les resultats
obtenus pour les series formelles solutions d'equations fonctionnelles q-dierences-dierentielles
melangeant operateurs dierentiels et operateurs aux q -dierences [6].
W. Hahn s'est interesse au cas des equations q-dierences-dierentielles a coecients constants
de la forme Xr X s
(1) j;k F (j)(tqk) = 0;
j =0 k=0
ou q est un reel (0 < q < 1). Il en cherche des solutions analytiques [4]. Par la transformation
integrale Z
F (t) = ,(xt+ 1) f (x)dx; t 6= 0
x
C
ou il suppose le chemin d'integration C et la fonction f (x) tels que F (t) soit analytique et
Z qkxtx
j k
F (tq ) = ,(x + 1) f (x + j )dx;
( )
C
il se ramene a l'etude de f (x) solution de l'equation aux dierences a coecients polynomiaux
X r P
(2) s (q x)k f (x + j ) = 0:
k=0 j;k
j =0
Connaissant le comportement a l'inni de la fonction f (x) (proposition de Poincare-Perron), il
obtient des solutions analytiques P de (1).
On verie que les series formelles n0 antn solutions d'equations de la forme (1) sont q-Gevrey
d'ordre s 2 IR et s0 = ,1 [1], c'est-a-dire :
9C; 9A > 0; janj < C jqj, sn n ,(n1+ 1) An:
( +1)
2
Il est donc naturel de ne pas tenir compte du facteur ,(x1+1) dans le cas ouRles coecients j;k
ne sont plus constants. La transformation integrale devient alors F (t) = C txf (x)dx. Enn,
on peut aussi bien etudier f (,x) et donc considerer comme transformee
Z Z
F (t) = t f (x)dx ou encore f (x) = tx,1F (t)dt:
, x
C C
45
Formellement, cette derniere expression donne
Z
f (x) = f (x + 1) = tx,1 tF (t)dt;
C
Z Z Z
xf (x) = xtx,1F (t)dt = [txF (t)] , txF 0(t)dt" = " tx,1(,t dtd )F (t)dt
C C C
et Z
qxf (x) = tx,1 pF (t)dt:
C
On peut donc naturellement denir comme transformee q-Mellin formelle l'isomorphisme
Cl [; x; q x] ,! Cl [t; ,t dtd ; p]
7! t
x 7! ,t dtd
q x 7! p
En particulier, A. Barkatou et A. Duval [1] considerent la transformation de Mellin formelle
Cl [; x] ,! Cl [t; ,t dtd ]
7! t
x 7! ,t dtd
Ils etudient l'action des operateurs de Cl [x; ] sur l'espace des series de factorielles formelles.
La transformation de Mellin formelle leur permet de se ramener aux series formelles solutions
d'equations dierentielles et d'appliquer les resultats etablis par B. Malgrange [5] et J.-P. Ramis
[7]. Ils obtiennent alors des estimations Gevrey pour les series de factorielles formelles initiales.
Dans cet article, nous donnons un q-analogue de leurs resultats. Nous etudions les operateurs
deCl [qx; ] agissant sur l'espace des series de q-factorielles formelles. La transformee de q-Mellin
formelle permettra d'obtenir des estimations q-Gevrey a partir des resultats etablis par J.-P.
Bezivin [2] et J.-P. Ramis [8] dans le cadre des series formelles solutions d'equations aux q-
dierences.
2. Preliminaires
Pour de plus amples details on se reportera a [3].
2.1. La fonction Gamma q-analogue
Il s'agit ici de rappeler quelques proprietes fondamentales de la fonction q-Gamma. Nous
introduirons ensuite quelques notations. Nous supposons dans tout cet article que q est un
complexe non nul tel que jqj 6= 1. Soit p = 1=q. On denit
(
(a; q)n = 1(1 , a)(1 , aq) : : : (1 , aqn,1) sisi nn = 0
= 1; 2; : : :
46
n(n,1)
Pour a 6= 0, (a; q)n = (a,1; p)n (,a)nq 2 :
Pour a 2 Cl et jqj < 1, on denit (a; q)1 = Q1k=0(1 , aqk). b, b,2)
Pour a 2 Cl ? et jqj > 1, on denit (a; q)1 = (a,1; p)1 (,p)b,1p ou b = log a
log q .
( 1)(
2
On verie que (a; q)n = (aq(an;q;)q1)1 pour a 6= pn+k pour tout k 2 IN.
Avec ces notations, la fonction Gamma q-analogue est denie comme suit :
Si 0 < jqj < 1, ,q (x) = ((qqx;;qq))11 (1 , q)1,x;
Si x + n n'est pas un p^ole pour la fonction ,q (x) il est evident que < qx >n= ,q,(qx(+x)n) .
Si x + n est un p^ole pour la fonction ,q (x), on denit ,q,(qx(+x)n) par < qx >n.
47
2.2. La q-integrale
Pour jqj < 1, la q-integrale est denie par
Z1 X
1
f (t)dq t := (1 , q) f (qn)qn;
0 n=0
Za X
1
f (t)dq t := a(1 , q) f (aqn)qn
0 n=0
et par Z1 X
1
0
f (t)dq t := (1 , q) f (qn )qn:
n=,1
Ainsi, la fonction q-beta denie par Bq (x; y) = ,q (x),q (y)
s'exprime sous la forme d'une q-
,q (x+y)
integrale : Z1
Bq (x; y) = tx,1 ((tqtqy;;qq))1 dq t
0 1
pour jqj < 1, Re(x log q) < 0 et y 6= ,n + 2ik ,
log q n 2 IN, k 2 ZZ.
L'action de qx (resp. de ) sur f^q (x) se traduit formellement par l'action de p (resp. de t) sur
48
F^q(x) :
qxf^q (x) = (1 , q) P
P
1
n = ,1 q xq nx F^q (q n ) = (1 , q ) P1
R n=,1 q
x(n+1)F^q (q n )
n=,1 q (pF^q )(q ) = 0 t Pp F^q (t)dq t;
= (1 , q) P1 nx n 1 x,1
f^q (x) = (1
R , q) n=,1 qnqnxF^q (qn) = (1 , q) 1n=,1 qnqn(x,1)qnF^q (qn)
1
= 1 tx,1tF^ (t)d t:
0 q q
Soit q 2 Cl [qx; ]; q peut s'ecrire sous l'une des deux formes
X r Xs
q = k;j k (qx)j
k=0 j =0
Xr X s
q = k;j k < qx >j
k=0 j =0
Proposition 3.1.2 : La transformee q-Mellin formelle verie :
X
r X
s X
r X
s
IMq ( k;j k (qx)j ) = k;j tk pj
k=0 j =0 k=0 j =0
X
r X s X
r Xs
IMq ( k;j k < qx >j ) =
k;j tk < p >j
k=0 j =0 k=0 j =0
ou < p >j est l'identite si j = 0; pour j 2 IN?, < p >j = (1,1q)j Qjl=0,1(1 , qlp).
3.2. Series de q-factorielles
Denition 3.2.1 : Les series formelles de q-factorielles generalisees sont donnees
par
X x) ,q (x) X an
f^q (x) = an , (x +,nq (+ =
+ 1) , (x + ) < q >
x +
n0 q q n0 n+1
ou 2 Cl . Le cas = 0 correspond aux series formelles de q-factorielles.
Propriete 3.2.2 : Les series formelles de q-factorielles generalisees sont stables par
l'action de Cl [qx; ].
Pour etablir cette propriete, nous allons utiliser le lemme suivant :
Lemme 3.2.3 : Pour tout l 2 IN et pour tout 2 Cl :
,q (x + l) = Xl " l #
q ( ,i)(l,i) ,q ( + 1) ,q (x + l , )
,q (x) i=0 i ,q ( + 1 , i) ,q (x , + i)
ou encore
Xl " l # (,i)(l,i) +1,i
x
< q >l= i q <q >i < qx,+i >l,i :
i=0
49
Ce lemme est un q-analogue de la relation
!
,(x + l) = Xl l ( , 1) : : : ( , i + 1) ,(x + l , ) :
,(x) i=0 i ,(x , + i)
Demonstration : Elle s'etablit par recurrence sur l 2 IN. Pour l = 0, le lemme est trivialement
verie. Supposons que nous l'ayons etabli pour l 2 IN. Soient x et 2 Cl . Posons
l+1 " l + 1 #
X
,lq+1 = q ( ,i)(l+1,i) ,q ( + 1) ,q (x + l + 1 , ) :
i=0 i ,q ( + 1 , i) ,q (x , + i)
Nous allons etablir que ,lq+1 = ,q (,xq+(xl+1) ) . Comme
" # " # " #
l + 1 = l qi + l ;
i i i,1
l+1 " l #
X ( ,i)(l,i)q ,q ( + 1) 1 , q
x+l, ,q (x + l , )
,q =l +1 q
i=0 i ,q ( + 1 , i) 1 , q ,q (x , + i)
l+1 " l #
X
+ q ( ,i)(l+1,i) ,q ( + 1) ,q (x + l + 1 , ) :
i=0 i , 1 ,q ( + 1 , i) ,q (x , + i)
" #
l
En utilisant le fait que l + 1 = 0 et l'hypothese de recurrence, la premiere somme est egale a
" #
q 1,q ,q (x) : Comme ,l1 = 0 et en decalant l'indice de sommation, le deuxieme terme
1 , q
+ x l, , q (x+ l )
est egal a :
Xl " l #
q ( ,i,1)(l,i) ,q ( + 1) ,q (x + l + 1 , )
i=0 i ,q ( , i) ,q (x , + i + 1)
soit, en appliquant l'hypothese de recurrence (avec , 1), 11,,qq ,,q (qx(x+)l) ; d'ou le resultat.
Demonstration de la propriete 3.2.2 : Il sut de montrer pour tout 2 Cl , pour tous k; j 2 IN,
que k < qx >j ,q,(qx(+x)) est encore une serie formelle de q-factorielles generalisees. Or
X j " #
j q(j,,i)(j,i) ,q (j , + 1) 1 1 , q1+2j,,i u
,j +i
i=0 i ,q (j , + 1 , i) ,q (,j + + i) 1 , q
X j " # qj
, j q (j ,,i)(j ,i) ,q (j , + 1) 1 , q1+j,,i u
i=0 i 1 , q ,q (j , + 1 , i) ,q (,j + + i) ,(j+1)+i :
0
"En decalant
# dans # terme l'indice de sommation (i = i + 1) et en utilisant le fait que
" le premier
j = 0 et j = 0, < > u est egal a
,1 j+1 p j +1 ,q ()
jX
+1 1 , + 1)
ci;j+1 q(j+1,,i)(j,i) , ,(jq (+j +1 , 1
+ 1 , i) , (,(j + 1) + + i) u,(j+1)+i
i=0 q q
avec " # 2j ,+2,i " j #
ci;j+1 = i , 1 1 , qj,+1 , i q2i,j,1+ 11,,qqj,+1 11,,qq,j++i,1
,
j 1 q j ,+1,i j ,+1,i
53
Mq F^q est egal a
X
K X
J jX
+k X X
K X
J jX
+k X
k;j ank;j;i;n,j+i u,j+n+1+i = k;j an+j,i k;j;i;nun+1 :
k=0 j =0 i=0 n0 k=0 j =0 i=0 n,j +i
Si jqj < 1 alors Pk2,;k<k kk;m;m MMqq q,(n+1)(k,k ) tend vers 0 quand n tend vers +1 et U (n) est
0
( ) 0
55
Soit J le degre en v,1 de l'operateur Mv . L'operateur M = vJ Mv est un operateur aux p-
dierences a coecients polynomiaux. En utilisant les theoremes d'indices etablis pour des
operateurs aux q-dierences a coecients polynomiaux agissant dans les espaces p-Gevrey
d'ordre s 2 IR [8], on montre aisement que M : Cl [[v]]p;s ! vJCl [[v]]p;s est un operateur de
Fredholm, d'indice s egal a l'indice de M : Cl [[v]]p;s ! Cl [[v]]p;s plus J . Par consequent,
Mv : Cl [[v]]p;s ! Cl [[v]]p;s et par suite Mq : Cl~ q;s[[t]] ! Cl~ q;s[[t]] sont de Fredholm, d'indice egal a
s. Cet indice est l'oppose de l'ordonnee de l'unique point (ou de l'origine du segment) inter-
section du polygone de Newton de Mv au sens p-dierences et de la droite d'appui de pente 1=s.
Nous allons denir un polygone de Newton pour Mq . Cela nous permettra de donner ex-
plicitement les indices en fonction de Mq , sans avoir a passer par le polygone de Newton au
sens p-dierences de l'operateur Mv et qui n'est qu'un intermediaire.
Lemme 4.2.3 : Si M = PK PJ tkj alors
q k=0 j =0 k;j p
JX
+K X
J iY
,1
Mv = i;j v,j (1 , plv)p;v
i
i=0 j =max(0;i,K ) l=0
avec " #
XK;i)
min(
j i,k)(i,k,1)
i;j = k;j qk(j,1) i , k (,1)i,k q :
(
2
k=max(0;i,j )
P P
Demonstration : Nous savons que Mv =Q Kk=0 Jj=0 k;j pk (p;v , vp;vQ)k (p;v + v1 , 1v p;v )j . On
montre aisement que (p;v , vp;v)k = kl=0 ,1 (1 , pl v ) k (si k = 0, k,1 (1 , pl v ) est egal a 1
p;v l=0
par convention).
" #
Montrons par recurrence sur j que (p;v + v , v p;v ) = i=0 ji vi,j (v,1; q)ip;v
1 1 j P j i . Si cette
57
Le c^ote horizontal inferieur de P (Mq ) est repere a droite par (absci2(0l ); ordo2 (0l)). Le c^ote
horizontal superieur de P (Mq ) est repere a droite par (absci1(0u ); ordo1 (0u )). On repere par
[(absci1(1); ordo1 (1)); (absci2(1); ordo2 (1))] le c^ote vertical droit de P (Mq ), avec absci1(1)
= absci2(1) et ordo1 (1) ordo2 (1).
En utilisant les resultats de J.-P. Ramis [8] et de J.-P. Bezivin [6], nous etablissons aisement
les theoremes suivants :
Th eoreme 4.2.6 : Soit q 2 IR, jqj 6= 0; 1. Soit s 2 IR [ f1g [ f,1g. Soit 2
IR [ f0l ; 0u ; 1g deni par 1s si s 2 IR , 0l si s = ,1 et par 0u si s = 1. Soit
Mq 2 Cl [t; p]. Alors :
Les operateurs Mq : Cl~ q;s[[t]] ! Cl~ q;s[[t]] sont de Fredholm, d'indice egal
a ,ordo1 ();
Les operateurs Mq : Cl~ q;(s)[[t]] !Cl~ q;(s)[[t]] sont de Fredholm, d'indice
egal a ,ordo2 ().
Theoreme 4.2.7 : Soient Mq 2 Cl [t; p] et
q = Pn0 bn(tq; q)n q-Gevrey d'ordre 0.
On suppose que F^q (t) 2 Cl~ q [[t]] est solution de Mq F^q =
q .
Alors F^q est q-Gevrey d'ordre 0 ou il existe un unique reel s > 0 tel que F^q est
q-Gevrey d'ordre s et F^q 2= Cl~ q;(s)[[t]]. De plus, s = 1=k ou k est l'une des pentes
irregulieres inferieures de P (Mq ).
Theoreme 4.2.8 : Soient Mq 2 Cl [t; p] et
q 2 Cl [t]. On suppose que F^q (t) 2 Cl~ q;(0)[[t]]
est solution de Mq F^q =
q . Alors F^q est un polyn^ome ou il existe un unique reel
s < 0 tel que F^q 2 Cl~ q;s[[t]] et F^q 2= Cl~ q;(s)[[t]]. De plus, s = 1=k ou k est l'une des pentes
regulieres superieures de P (Mq ).
58
Denition 5.1.2 : Soit q = PKk=0 PJj=0 k;j k (qx)j avec jqj < 1. Soient =2 = f(u; v) 2
IR2ju 0; v 0g et =3 = f(u; v ) 2 IR2ju; v 0g. Pour (a; b) 2 IR2 et r = 2; 3 on pose
=r (a; b) = (a; b) + =r , M2(q ) l'union des quadrants =2(k + j; ,j ) et M3(q ) l'union des
quadrants =3(k + j; k) pour (k; j ) tels que k;j 6= 0.
Soient Pl(q ) (resp. Pu (q)) l'enveloppe convexe dans IR2 de M2(q) (resp. M3(q ))
et P (q ) = Pl(q ) \ Pu (q). Par denition, Pl(q ) est le polygone de Newton inferieur
de q, Pu (q) est le polygone de Newton superieur et P (q ) le polygone de Newton
de q .
Les pentes strictement positives de Pl(q ) sont les pentes irregulieres inferieures
et les pentes strictement negatives de Pu (q) sont appelees les pentes regulieres
superieures de P (q ).
On denit comme precedemment les points (absci(); ordo()).
5.2. Caracterisation q-Gevrey des series de q-factorielles solutions
On rappelle que pour x 2 Cl et n 2 IN,
,q (x) = 1 , q : : : 1 , q :
,q (x + n) 1 , qx+n,1 1 , qx
Denition 5.2.1 : La serie formelle de q-factorielles f^q = Pn1 an ,q,(qx(+x)n) est q-Gevrey
d'ordre s 2 IR s'il existe C et A > 0 tels que
8n 0; an < C jqj, sn n An :
+1
,q (n+1)
( +1)
2
Remarque : Si f^q = Pn1 an ,q,(qx(+x)n) est q -Gevrey d'ordre s alors sa transformee de q -Mellin
formelle IMq (f^q ) = Pn1 ,qa(nn) (tq; q)n,1 est q-Gevrey d'ordre s.
Theoreme 5.2.3 : Soient
P q 2 Cl [qx; ] et g^q une serie de q-factorielles q-Gevrey
d'ordre 0. Soit f^q = n1 an ,q,(qx(+x)n) solution de q f^q = g^q . Alors f^q est q-Gevrey
d'ordre 0 ou il existe un unique reel s > 0 tel que f^q est q-Gevrey d'ordre s optimal.
Remarque : On dit qu'une serie est q -Gevrey d'ordre s optimal s'il n'existe pas de reel s0 < s
tel que cette serie soit q-Gevrey d'ordre s0.
P
Demonstration : Soient Mq = IMq (q ), F^q = n1 ,qa(nn) (tq; q )n,1 et
^q = IMq (^gq ). D'apres
59
la proposition 3.2.6, F^q est solution de l'equation aux p-dierences Mq F^q =
^q ou
^q est q-
Gevrey d'ordre 0. On utilise alors le theoreme 4.2.7.
D'autre part, soit f^q (x) = Pnn an ,q,(qx(+x)n) 2 K^ f;q : M^ q (f^q )(t) = Pnn ,qa(nn) ((tqtqn;q;q))11 : Or 1
,q (n) =
0 pour n = 0; ,1; : : : donc
0 0
63
Soit O^f;q (s)(q) le sous-espace de O^f;q (s) tel que q (O^f;q (s)(q)) O^f;q(s).
Theoreme 6.2.1 : Soit q 2 Cl [qx; ]. Soient s 2 IR et = 1=s pour s 6= 0, = 1
pour s = 0.
L'operateur q : K^ f;q (s) ,! K^ f;q (s) est de Fredholm, d'indice egal a
q;s(q ) = ,q , ordo1 ();
L'operateur q : O^f;q (s)(q ) ,! O^f;q(s) est de Fredholm, d'indice egal a
+q;s(q ) = ,ordo1 () , dq .
Demonstration : Soit f^q = Pnn an ,q,(qx(+x)n) 2 K^ f;q (s) (n0 2 ZZ) : sa transformee de q -Mellin
formelle IMq (f^q ) = Pnmax(n ,1;0) ,qa(nn+1) (tq; q)n appartient a Cl~ q;s[[t]] et IMq (K^ f;q (s)) =Cl~ q;s[[t]].
0
+1
0
Le diagramme
IMq
^
0 ,! Cl [q ] ,! Kf;q (s) ,!
x Cl~ q;s[[t]] ,! 0
q # q # # M^ q (q)
0 ,! Cl [qx] ,! K^ f;q (s) ,! Cl~ q;s[[t]] ,! 0
IMq
etant commutatif, q : K^ f;q (s) ,! K^ f;q (s) est de Fredholm, d'indice egal a la somme de l'indice
de q : Cl [qx] ,! Cl [qx] plus celui de IMq (q) :Cl~ q;s[[t]] ,! Cl~ q;s[[t]], d'ou le resultat.
L'indice de q : O^f;q (s)(q) ,! O^f;q (s) s'etablit comme dans le precedent paragraphe et
^ ^
est egal a q;s(q ) = ,ordo1 () , ds ou ds = dim Of;q (s)=Of;q (s)(q ) = dq .
+
64
Or (q;q)1 = (qn+1; q)1 donc pour Re(x) > 0
(q;q)n
,q (x) = (1 , q) P1 n =0 (1 , q),xqn(x,1)(qn+1; q)1qn
= P1 q n x,(
n+1
1)
1
n P1 qn x,1 qn
n=0 (1,q)x, (q ; q )1 q = n=0 ( 1,q ) ( 1,q q (1 , q ); q )1q
n
et Z 1
,q x,1
,q (x) =
0
1
t (tq(1 , q); q)1dq t:
En particulier, ,q (n + 1) =
R 1
1
,q tn (tq (1 , q); q)1dq t: Par le changement de variable t 7! qx :
0
Z qx 1
,q ) n
q (,qq
Exp x)d ,x(n+1) ,
qt = q q (n + 1)
(1
0
ou Expq (x) = (,(1 , q)x; q)1 pour jqj < 1.
Il est donc naturel de denir une transformation de q-Laplace formelle par
Z q,,xq
LLq (F^q )(x) = F^q ()Expq (,qx+1)dq t
1
0
et alors
q,x(n+1),q (n + 1) = LL(n )(x):
Denition 7.1.1 : Soit f^q (x) = Pn0 an q,x(+n+1). Sa transformee de q-Laplace formelle
est la serie X an
LLq (f^q )(z) = z+n :
n0 , q ( + n + 1)
P P
Remarque : Soit f^q (x) = n0 anq ,x(n+1) 2 q ,xCl [[q ,x]] et F^q (x) = LLq f^q = n0 ,q (ann+1) z n 2
Cl [[z ]].
Comme ,q (n + 1) = (1(q,;qq))nn :
Si jqj < 1 :
,q (n + 1) = (q(nq+1; q;)q1) (1 ,1 q)n n!+1 (1(q, ; q)1 :
q)n
1
Si jqj > 1 :
,q (n + 1) = (p; p)n (,q)nq
n n, (1 = (p; p)1 (,1)n q n n
1) 1 ( +1)
Donc LLq : q,xCl [[q,x]]q;s ,! Cl [[z]]q;s si jqj < 1 et LLq : q,xCl [[q,x]]q;s+1 ,! Cl [[z]]q;s si jqj > 1.
Denition 7.1.2 : Soit q 2 Cl [qx; ]. Sa transformee de q-Laplace1,formelle est
l'operateur Lq 2 Cl [z ; p; q] image de q par la correspondance q 7! z 1,q , 7! pp.
, 1 x 1 q
65
Remarque : LLq (qx ) = 1 1,q p p 1 , 1) = p 1z p 11,,qq = p2p 1z 11,,qq = LLq (pqx) et
z 1,q p = 1,q z (p
qx = pqx.
Remarque : Denissons formellement la transformee de q-Laplace formelle par la q -integrale
(jqj < 1)
Z 1
qx (1,q) X 1
f^q (x) = F^q ()((1 , q)qx+1; q)1dq = ql,xF^q ql,x
1,q (ql+1; q)1:
0 l=0
Alors
f^q(x) = P1l=0 ql,x,1F^q ( ql1,,x,q )(ql+1; q)1 = p P1l=0 ql,xp(F^q )( q1l,,qx )(ql+1; q)1 = LLq (pp(F^q ))
1
et
LLq ( 1 11,,qq (F^q)) = P1 l=0 (F^q ( 1,q ) , F^q ( 1,q ))(q ; q )1
ql,x q l ,x
+1
l+1
P , P ql,x l
l=0 F^q ( 1,q )(q ; q )1 , l=1 F^q ( 1,q )(q ; q )1
l x
= 1 q l+1 1
= F^q ( 1q,,xq ) + P1l=1 F^q ( q1l,,qx )(ql+1; q)1ql = qxf^q (x):
7.2. Solutions formelles
Proposition
P 7.2.1 : Pour tout operateur q 2 Cl [qx; ] et pour toute serie formelle
f^q (x) = n0 anq,x(+n+1), LLq (q f^q ) = LLq (q )LLq (f^q ).
Demonstration : Il sut de montrer le resultat pour q = j (q x)i et f^q (x) = q ,x(+1) pour tous
i; j 2 IN et 2 Cl .
Comme q f^q = q,j(,i+1)q,x(,i+1), LLq (q f^q ) = q,,q (j,,ii+1) z,i. D'autre part, LLq (f^q ) =
( +1)
j 1 1,q i
,q (+1) z et LLq (q ) = (pp ) ( z 1,q ) . La proposition se montre alors aisement par recurrence
1
sur i et j .
The1oreme 7.2.2P: Soient q 2 Cl [qx; ], f^q (x) = Pn0 anq,x(n+1) une serie formelle
en qx et g^q (x) = n0 bnq,x(n+1) q-Gevrey d'ordre 1 si jqj > 1 (resp. q-Gevrey d'ordre
0 si jqj < 1). Alors si jqj > 1, f^q est q-Gevrey d'ordre 1 ou il existe un unique s > 0
optimal tel que f^q soit q-Gevrey d'ordre s + 1 (resp. f^q est q-Gevrey d'ordre 0 ou il
existe un unique s > 0 optimal tel que f^q soit q-Gevrey d'ordre s).
Demonstration : On vP d'une part que Lq agit sur Cl [[z]].
erie P
D'autre part, si q = j=0 Kk=0 k;j k (qx)j alors
J
X
J X
K j XJ X
K
Lq = k;j pk pk 1 1,q
z 1 ,q = k;j pk ((1p;,p)qj,)j1 qkj z,j pk (1 , q )j
j =0 k=0 j =0 k=0
X
J X
K X
j !
= k;j pk ((1p;,p)jq,)1j qkj j (,1)iz,j i,k
i q
j =0 k=0 i=0
66
X
J X
K jX
,k !
= k;j pk ((1p;,p)qj,)j1 qkj j (,1)i+k z,j i
i+k q
j =0 k=0 i=,k
X
J X
J
= i;j z,j qi
i=,K j =max(0;i)
avec min(X
K;j ,i) !
i;j = k;j pk ((1p;,p)qj,)j1 qkj j (,1)i+k
i+k
k=max(0;,i)
et avec la convention (p; p)j,1 = 1 si j = 0.
On etablit aisement que Lq est un operateur de Fredholm dans les espaces Cl [[z]]q;s. Les indices
s'expriment a l'aide d'un polygone de Newton au sens q-dierences [7]; on etend la denition
aux termes de la forme zk qi avec k et i 2 ZZ. En raisonnant comme en 4.2.4, on denit un
nouveau polygone de Newton :
Denition 7.2.3 : Soit q 2 Cl [qx; ]. Son q-Laplace polygone de Newton est par
denition l'enveloppe convexe des points (,kj++; ,j ) et (j , kj,; ,j ) tels que j = 0 : : : J ,
6 0g 6= ;, kj = min ,j et kj = max ,j .
,j = fk = 0; : : :; K jk;j = ,
Le theoreme 7.2.2 s'etablit en considerant Lq , F^q et G^q les transformees de q-Laplace formelles
respectives de q, f^q et g^q .
67
References bibliographiques
[1] A. Barkatou, A. Duval, Sur les series formelles solutions d'equations aux dierences poly-
nomiales, Annal. Inst. Fourier, 44 (1994), 495-524.
[2] J.-P. Bezivin, Sur les equations fonctionnelles aux q-dierences. Preprint Paris VI (1990).
[3] G. Gasper, M. Rahman, Basic Hypergeometric Series. Encyclopedia of Mathematics and
its Applications, G.C. Rota ed., Vol. 35 (1990).
[4] W. Hahn, Uber die Funktional-dierentialgleichung f 0(z) = f (qz) und verwandte Funk-
tionalgleichungen. Ann. Univ.Sc. Budapest, Eotvos Sect. Math. (1973), p.3-21.
[5] B. Malgrange, Sur les points singuliers des equations dierentielles. L'Enseignement Mathe-
matique, tome 20, n1-2 (1974),p. 147-176.
[6] F. Naegele, Theoremes d'indices pour les equations q-dierences-dierentielles, C.R. Acad.
Sci. Paris, t. 317, Serie I, p. 579-582,1993.
[7] J.-P. Ramis, Theoremes d'indices Gevrey pour les equations dierentielles ordinaires. Mem-
oirs of the American Mathematical Society n296, volume 48 (1984).
[8] J.-P. Ramis, About the growth of entire functions solutions of linear algebraic q-dierence
equations. Annales de la Faculte des Sciences de Toulouse. Serie 6, Vol. I,n1, 1992.
68
Chapitre 3
Un algorithme de resommation de series formelles solutions d'equations
dierentielles ordinaires lineaires
1. Introduction
Les solutions fondamentales formelles au voisinage de l'origine (la singularite est supposee
^etre en x = 0) d'equations dierentielles lineaires homogenes a coecients polynomiaux sont
de la forme
exp(Q(1=x q ))x q f^(x q )
1 1
69
Ainsi, nous utilisons d'une part les polyn^omes d'Ore implantes par M. Bronstein pour represen-
ter une serie formelle, soit par une equation aux dierences dont est solution la suite des co-
ecients generant cette serie, soit par une equation dierentielle admettant cette serie comme
solution. Nous avons d'autre part besoin des primitives graphiques elaborees par C. Dicrescenzo
et F. Jung dans le logiciel Compas et par F. Jung dans sa these [14; 15], pour pouvoir visualiser
a tout moment les resultats, changer de chemin d'integration, etc.
L'un des exemples sur lequel nous allons illustrer notre travail est le suivant. Considerons
l'equation de Ramis-Sibuya [13]
Dy = 4x + 2x2 + 10x3 , 3x4
ou D est l'operateur dierentiel
d2 + x2(4 + 5x2 , 2x3) d + 2(2 , x + x2):
D = x5(2 , x) dx 2 dx
La serie formelle f^(x) = Pn0 anxn ou
(
a2p = (2p)!
a2p+1 = ,(2p + 1)! + (,1)pp!
est formellement solution de l'equation dierentielle.
2. Resultats theoriques
2.1. Notations
Nous reprenons les notations utilisees par W. Balser [1].
Un secteur de la surface de Riemann du Logarithme est un ensemble de la forme
S = S (d; ; ) = fx = rei j 0 < r < ; d , 2 < < d + 2 g
ou d 2 IR, > 0, > 0 ou = +1. Un secteur ferme est un ensemble de la forme
S = S(d; ; ) = fx = rei j 0 < r ; d , 2 d + 2 g
ou d 2 IR, 0, > 0.
L'algebre dierentielle Ak (S ) (k > 0) est l'ensemble des fonctions f analytiques dans le secteur
S et admettant une serie formelle f^ = Pn0 anxn comme developpement asymptotique d'ordre
k, c'est-a-dire :
8S1 S; 9C; K > 0; 8N 2 IN; 8x 2 S1; jrf (x; N )j CK N , 1 + Nk
70
ou rf (x; N ) = x,N (f (x) , PNn=0,1 anxn).
Notation : f (x) =k f^(x) dans S .
2.2. La k-sommabilite et la multisommabilite
Nous ne donnons ici que les notions qui seront utiles par la suite. Pour davantage de ren-
seignements, se reporter par exemple a [3,10,11,12].
Denition 2.2.1 : Soient k > 0, d 2 IR et f^ 2 Cl [[x]]. La serie formelle f^ est k-
sommable dans la direction d s'il existe un secteur S = S (d; ; ) d'ouverture > k
et une fonction f 2 Ak (S ) tels que f (x) =k f^(x) dans S . La fonction f est unique et
est appelee la somme de f^.
L'ensemble des series k-sommables dans la direction d est note Cl fxgk;d.
Denition 2.2.2 : Soient k1 > k2 > : : : > kr > 0 et d 2 IR une direction issue de
l'origine. La serie formelle f^ est (k1; : : : ; kr )-sommable dans la direction d si elle
s'ecrit sous la forme f^ = f^1 + + f^r avec f^l 2 Cl fxgkl;d pour l = 1; : : : ; r.
La somme de f^, denie sur un secteur bissecte par d et d'ouverture > k , est alors
egale a f1 + + fr ou fl est la somme de f^l dans la direction d (l = 1; : : : ; r).
1
Remarque : Les series f^l(x) peuvent ^etre eventuellement ramiees (series en x m , m 2 IN ).
1
Une serie formelle ramiee f^(x m ) 2 Cl [[x m ]] est dite (k1; : : : ; kr )-sommable dans la direction d
1 1
71
ou D0 est l'operateur
d3 + (,16x3 + + 12x9 ) d2
D0 = (8x6 + 18x8 , 16x9 + 3x10) dx 3 dx2
+(16x + + 6x8) dxd + (,16 + + 12x5 ):
Le polygone de Newton associe a l'operateur D0 est represente sur la gure 1.
2
,,1
O ,
donc pour tout S1 S , il existe C; K > 0 tels que pour tout N 2 IN et pour tout x 2 S1 :
+ Nk+1 )
jrg (x; N )j CKK N , 1 + Nk ,(1 ,(1 + Nk )
Or
,(1 + Nk+1 ) N k
,(1 + Nk ) k
1
1 1
~ K~ > 0 (dependantes
et pour N > 0, ( Nk ) k k, k (exp( k1 ))N . Il existe donc deux constantes C;
de S1) telles que 8N 2 IN, 8x 2 S1, jrg(x; N )j C~ K~ N ,(1 + Nk ):
Lemme 2.2.5 : Soient k > 0 et d 2 IR. Soit f^(x) = Pn0 anxn 2 Cl fxgk;d. On sup-
pose que a0 = a1 = : : : = aq,1 = 0 (q 2 IN). La serie formelle x,q f^(x) est alors
k-sommable dans la direction d.
Demonstration : Pour q = 1, il s'agitP du lemme precedent. Supposons que ce lemme soit
verie jusqu'a l'entier q. Soit f^(x) = n0 an xn 2 Cl fxgk;d telle que a0 = a1 = : : : = aq = 0.
D'apres l'hypothese de recurrence, la serie formelle g^(x) = x,q f^(x) 2 Cl fxgk;d. Or le terme
constant de g^(x) est nul. En utilisant le lemme 2:2:4, la serie x,1g^(x) = x,(q+1)f^(x) 2 Cl fxgk;d.
Lemme 2.2.6 : Soient k > 0 , d 2 IR et q 2 IN . Soit f^(x) = P a xnq 2 Cl fxg .
n0 n k;d
Alors la serie g^(x) = Pn0 anxn est kq - sommable dans la direction qd.
Demonstration : Soient S = S (d; ; ) ( > =k) et f 2 Ak (S ) tels que f (x) =k f^(x) dans S .
Considerons le secteur S~ = fx 2 Cl jx q 2 S g = S (qd; q; q) d'ouverture q > k~ (k~ = kq ). Soit
1
Soit S~1 S~. Soit S1 = fx 2 Cl j xq 2 S~1g. Il existe C; K > 0 tels que pour tout
N 2 IN et pour tout x 2 S~1 :
jrg (x; N )j = jrf (x q ; Nq)j CK Nq, 1 + Nqk = C (K q )N , 1 + Nk~
1
Lemme 2.2.7 : Soient 2 IN et f^(x) =PPn0 anxn une serie formelle k-sommable.
Soient q 2 IN (0 q , 1) et f^q (x) = n0 an+q xn . Soit = 2 . Si d; d + ; : : :; d +
( , 1) sont des directions non singulieres pour f^(x), alors les series f^q (x) sont
-sommables dans la direction d.
k
73
Demonstration : Soit g^q (x) = Pl=0,1 e,iql f^(xeil ) = Pn0 (Pl=0,1 e,il(n,q))an xn .
Soit n = Pl=0,1 e,il(n,q) = Pl,=0,1n(e,,q i(n,q))l. Si e,i(n,q) =P1, c'est-a-dire n = q+m ou m 2 IN,
alors n = . Sinon, n = 11,,ee, n,q = 0. Donc g^q (x) = m0 aq+mxq+m = xq f^q (x).
i (
i (
)
)
La serie formelle f^(x) est k-sommable dans la direction d. Etant egalement k-sommable dans
la direction d + , la serie f^(xei ) est egalement k-sommable dans la direction d. De m^eme, pour
l = 0; : : : ; , 1, les series f^(xeil) sont k-sommables dans la direction d. Donc g^q (x) 2 Cl fxgk;d.
D'apres le lemme 2:2:5, la serie x,q g^(x) est k-sommable dans la direction d. Le lemme 2:2:6
permet alors de conclure.
2.3. Methode des transformees de Laplace iterees (W. Balser)
Nous allons donner maintenant un procede explicite qui va nous permettre de calculer la somme
d'une serie multisommable. Dans le cadre particulier de la k-sommabilite, la denition 2.2.1
est equivalente a :
Denition 2.3.1 : Soient k > 0 et d 2 IR. La serie formelle f^(x) est k-sommable
dans la direction d si sa transformee de Borel formelle ^ = B^k (f^) d'ordre k (denie
par B^k (x)(t) = t,k =,( k )) est convergente et si sa somme se prolonge analytique-
ment en une fonction holomorphe et a croissance exponentielle d'ordre au plus
k sur un secteur ouvert bissecte par d. Alors
Z
f (x) = (t) exp(,( xt )k )d(tk )
d
Demonstration : La serie formelle B^ (^g) est (k~1 ; : : :; k~r,1)-sommable dans la direction d (propo-
sition 2.3.2.), c'est-a-dire (~1; : : :; ~r,1) , iL sommable ou ~j = j+1 (j = 1; : : : ; r , 1).
1
Pour calculer la somme d'une serie formelle f^(x) (1; : : : ; r ) , iL sommable on procede donc
de la facon suivante.
Posons f^1 = f^, et f^j+1 = B^j (f^j ) pour j = 1; : : :; r , 1.
Chaque serie formelle f^j+1 est (j+1 ; : : :; r ) , iL sommable (theoreme 2:3:5). La serie f^r etant
(r ),iL sommable, c'est-a-dire r -sommable, sa transformee de Borel d'ordre r f^r+1 = B^r (f^r )
(dernier niveau) est convergente a l'origine et peut ^etre prolongee analytiquement le long d'une
direction non singuliere d en une fonction holomorphe a croissance exponentielle d'ordre au
plus r sur un secteur bissecte par d (denition 2.3.1).
En iterant les transformees de Laplace
Z
fj (x) = Lj (fj+1)(x) = fj+1(t) exp ,( xt )j d(tj )
d
et en remontant dans les plans de Borel (c'est-a-dire en passant du niveau j = r jusqu'au niveau
j = 1), nous obtenons la somme f1(x) = f (x) de f^(x) sur un secteur convenable bissecte par d.
L'algorithme formel calcule les transformees de Borel formelles d'ordre rationnel j et donne
une equation dierentielle dont est solution chaque serie formelle f^j pour j = 2; : : : ; r + 1.
75
Le prolongement analytique de chaque fonction fj est realise par des methodes d'integration
numeriques (methode de Runge-Kutta par exemple) a partir de conditions initiales donnees
par l'integrale Z
fj+1(t) exp ,( xt )j d(tj )
d
et calculees par des quadratures de Gauss-Laguerre (ce sont des conditions initiales numeriques).
La fonction fj+1 a ete precedemment calculee par la m^eme methode, exception faite du dernier
niveau pour lequel les conditions initiales a partir desquelles est eectue le prolongement an-
alytique se lisent directement a partir des coecients de la serie formelle convergente f^r+1 et
sont donc exactes.
La gure 2 decrit le procede des transformees de Laplace iterees (C.I.F., resp. C.I.E., sig-
nie Conditions Initiales Floues, resp. Conditions Initiales Exactes).
(
f^ = f^1 D + C:I:F: - f1 = f
D
B^ 6L
1
(? 1
D + C:I:F: -
f^2 D f2
6
(?
D + C:I:F: -
f^j D fj
B^j ? 6Lj
(
f^j+1 D + C:I:F: - fj+1
D
6
(?
D + C:I:F: -
f^r D fr
B^r ? 6Lr
(
f^r+1 D + C:I:E: - fr+1
D :d
3. Outils formels
A chaque niveau de l'algorithme nous aurons besoin de scinder des series formelles, de conna^tre
leur transformee de Borel formelle et de chercher des equations dierentielles. Toutes ces
operations vont ^etre eectuees par des algorithmes formels.
78
3.1. Denition du concept de serie formelle
Une serie formelle f^(x) = Pj0 aj xj est denie des que les coecients (aj )j0 le sont. Nous
nous placons dans le cadre des equations aux dierences nies; la suite des coecients (aj )j0
est solution d'une equation aux dierences nies a coecients polynomiaux de la forme :
(
() Pa 0;(:j:):;aja+ +donn
Pr (j )aj+r = 0 ; j
es
0 m,1
a partir de l'equation aux dierences. Il est donc interessant de pouvoir donner davantage de
premiers termes (les j0 + 1 + r premiers) an de n'utiliser l'equation aux dierences qu'a partir
de j j0 + 1.
Seconde remarque : Une serie formelle du type precedent ( = m , r > 0) peut aussi s'ecrire
(
0:a0 + : : : + 0:aj+,1 + P0 (j + )aj+ + + Pr (j + )aj++r = 0; j 0
a0; : : : ; am,1 donnes
Nous aurions donc egalement pu denir les series formelles par des equations aux dierences
de la forme (
() Q 0(j )aj + + Qr (j )aj +r = 0 ; j 0
a ; : : : ; a donnes
0 r ,1
Le coecient Q0(j ) peut dans ce cas ^etre identiquement nul.
3.2. Passage d'une equation aux dierences a une equation dierentielle puis a
un systeme dierentiel
Pour calculer le prolongement analytique par une methode de quadrature de type Runge-Kutta
d'une fonction f (x) le long d'une direction d nous avons besoin de conna^tre une equation
dierentielle dont est solution f (x). Si f (x) est la somme d'une serie formelle multisummable
f^(x) dont nous savons qu'elle est solution formelle d'une equation dierentielle, alors f (x) est
egalement solution de cette equation. Il nous reste donc a determiner une equation dierentielle
satisfaite par une serie formelle denie par une equation aux dierences.
79
Considerons une serie formelle f^(x) representee par l'equation aux dierences
(
() Pa 0;(:j:):;aja+ +donn
Pr (j )aj+r = 0 ; j
es
0 m,1
ou Pi (j ) = Ppl=0 i;lj l; i = 0; : : : ; r; 2 IN et m = + r.
Soit Dt la transformee de Mellin formelle de l'operateur aux dierences :
X r X p l
Dt = i;l ,t dtd ti; t = x1
i=0 l=0
et Dx = Pri=0 Ppl=0 i;l(x dxd )lx,i: On etablit aisement que Dx(f^) = Pl=,,1r pl xl, les coecients pl
dependants des conditions initiales a0; : : :; am,1. En utilisant l'identite (x dxd )lx,i = x,i(,i +
x dxd )l nous obtenons l'equation dierentielle a coecients polynomiaux suivante :
Xr Xp l mX ,1
r,i;lxi i , r + x dxd f^ = pl,r xl
i=0 l=0 l=0
La methode de Runge-Kutta que nous utilisons pour eectuer le prolongement analytique
integre un systeme dierentiel d'ordre 1 d'une variable reelle. Considerons l'equation dierentielle
Xp
Pl(x)y(l)(x) = Q(x)
l=0
ou P0(x); : : :; Pp (x); Q(x) sont des polyn^omes. Supposons que l'on veuille calculer f (x), solu-
tion de cette equation dierentielle, le long de la courbe
(t).
Posons y1(x) = y(x); y2(x) = y0(x); : : :; yp(x) = y(p,1)(x) (les derivees etant prises par rap-
port a x) et z1(t) = y1(
(t)); : : :; zp(t) = yp(
(t)).
Pour l = 1; : : :; p , 1,
d (z (t)) =
0(t)z (t)
dt l l+1
et
d (z (t)) =
0(t) Q(
(t)) , Ppl=0 ,1 P (
(t))z (t)
l l+1
:
dt p Pp (
(t))
Le long de la courbe
(t), la fonction f (x) verie le systeme dierentiel d'ordre 1 en la variable
t suivant :
0 z (t) 1 20 10 1 0 0 13
66BB 0 0 1 0 0 : : : : : : z ( t )
CC B z1(t) C BB 0 CC77
BB z12(t) CC 0 1 0 0 : : :
6B CB 2 C B C7
dB BB : : : CCC 0 66BB : : : : : : : : : : : : : : : : : : CC BBB : : : CCC BB : : : CC77
=
(t): 66B CB
dt B BB : : : CCC C+B C7
66BBB :0: : :0: : : 0: : :0: : :0: : : 1: : CCC BB : : : CC BBB :0: : CCC777
@ zp,1(t) A 4@ P (
(t)) A @ zp,1(t) A @ Q(
(t)) A5
zp(t) , Pp(
(t)) : : : : : : : : : : : : , Pp (
(t))
0 P p
1 , (
(t )) zp(t) Pp (
(t))
80
3.3. Scindage d'une serie formelle
La transformee de Borel formelle de niveau d'une serie formelle f^(x) = Pj0 aj xj , representee
par l'equation aux dierences
(
() Pa 0;(:j:):;aja+ +donn
Pr (j )aj+r = 0 ; j
es
0 m,1
82
Nous n'appliquons donc pas l'algorithme de Balser sur la serie formelle f^(x) elle-m^eme, mais sur
chacune des sous-series. Si 1 est egal a (1 et 1 etant premiers entre eux), nous scindons
1
Le schema ci-dessous decrit le processus de scindage formel S^ applique a une serie formelle
f^(x) (1; : : :; r ) , iL sommable (1=1 2 IN).
1
f^(x)
(1; : : : ; r )
S^ 1
? ? ? ?
f^0(x) ::: ::: f^ ,1
1
( ; : : :; r )
1
1 1
( ; : : : ; r )
1
1 1
Il est aise de voir que la serie formelle ^(x) = Pj0 (jb+j,1)! xj (notee B~1= (^g)) peut ^etre denie
+1
par une equation aux dierences nies a coecients polynomiaux (B~1= ()).
Theoreme 3.4.1 : Soient 1; : : : ; r > 0 avec 1 = 1=1, 1 2 IN.
Si g^(x) est (1; : : : ; r ) , iL sommable dans la direction d alors la transformee de
Borel formelle B^1= (^g ) et B~1= (^g) sont (2; : : : ; r ) , iL sommables dans la direction
d.
1 1
Le schema suivant decrit la transformation de Borel formelle appliquee a une serie formelle
(1; : : :; r ) , iL sommable (11 = 1).
83
g^(x) B~1= - ^(x)
(1; : : :; r ) 1
(2; : : : ; r )
Remarque : De facon generale, le degre des coecients de l'equation aux dierences denissant
(B~1= ()) augmente. En d'autres termes, l'equation dierentielle associee (cf 3.2.) est d'ordre
plus eleve.
3.5. Transformees de Borel iterees
Soit f^(x) une serie formelle solution d'une equation dierentielle a coecients polynomiaux
dont le polygone de Newton a deux pentes k1 > k2 > 0. Soient 1 = k1 et 2 = kk ,kk . La 1 2
serie formelle f^(x) est (1; 2) , iL sommable. Supposons que les directions singulieres de f^(x)
1 2
La serie formelle f^(x) est (1; 2) , iL sommable dans cette direction d.
La premiere etape de l'algorithme consiste a scinder la serie formelle initiale en 1 sous-series
f^0(x); : : :; f^ ,1 (x) et a calculer les transformees de Borel formelles B~ (f^q ) = ^q (x); q =
1
1
0; : : : ; 1 , 1. Comme d 6= di + 1l (8l 2 ZZ), chaque serie formelle ^q (x) est ( ) , iL sommable
1
2
La seconde etape consiste a scinder chaque serie formelle ^q (x) en 2 sous-series puis a en
prendre les transformees B~ . Comme 1d 6= 1di + 2l; 8l 2 ZZ , les sous-series formelles sont
1
-
2 2 2
1 2 2
- - ^0; ,1(x)
f^(x)
S^ ! B~
2
(1; 2) 1
- ^ (x)
1
1 = 1 1
-
1
,1;0 1
-
- (^ ,=1(x)) S^ ! B~
1
1
-
2 2 2
1 2 2
- ^ ,1; ,1 (x)
1 2
| {z } | {z } | {z }
(1; 2) , iL ( = ) , iL
2 2
convergentes
sommable dans sommable dans direction 12d
1 2
la direction d la direction 1d
L'operateur S^ ! B~ applique a une serie formelle consiste a la scinder en sous-series puis
1
-
g^(x)
(1; : : :; r ) S^
1 = -
85
Seconde remarque : Il est possible de voir a chaque niveau si les equations dierentielles peuvent
^etre factorisees ou s'il existe des solutions connues (sous forme exacte).
Troisieme remarque : L'algorithme se generalise aisement a un nombre quelconque de niveaux.
Mais la complexite de l'algorithme augmente tres vite en pratique : le nombre de series formelles
a considerer augmente et en general, plus il y a de niveaux, plus le degre des equations
dierentielles augmente.
3.6. L'exemple de Ramis-Sibuya
La serie formelle f^(x) = x + 0:x2 + 2x3 , 7x4 + 24x5 , 118x6 + 720x7 + peut ^etre representee
par l'equation aux dierences
( 2
() , (j + j )aj + (2j 2 + 7j + 5)aj+1 + 2aj+2 + (4j + 10)aj+3 + 4aj+4 = 0
a0 = 0; a1 = 1; a2 = 0; a3 = 2; a4 = ,7
La serie f^(x) est (2; 1)-sommable, soit (2; 2) , iL sommable. La partie formelle de l'algorithme
consiste tout d'abord a scinder f^(x) en deux sous-series f^0(x) et f^1(x), lesquelles sont (1; 1) , iL
sommables, puis a calculer les transformees de Borel ^0 = B~1(f^0) et ^1 = B~1(f^1) qui sont (1),iL
sommables. On calcule nalement les transformees de Borel ^0 = B~1(^0) et ^1 = B~1(^1).
Les sous-series de f^(x) sont f^0(x) = Pj0(,(2j +1)!+(,1)j j !)xj+1 et f^1(x) = Pj0(2j )!xj . Les
transformees de Borel ^0(x) = Pj0(,(2j + 1)! + (,1)j j !)=j !xj et ^1(x) = Pj0 (2j + 2)!=j !xj
sont respectivement denies par :
(
(4j + 7)aj+2 , (16j 2 + 64j + 59)aj+1 , (16j 2 + 68j + 66)aj = 0; j 0
( a0 = 0; a1 = ,7
(j + 1)aj+1 , 2(j + 2)(2j + 3)aj = 0; j 0
a0 = 2
Les equations dierentielles associees sont respectivement egales a
(,16x4 , 16x3 )y(2) + (,84x3 , 48x2 + 4x)y0 + (,66x2 , 11x , 1)y = ,21x
et , 4x2y(2) + (,18x + 1)y0 , 12y = 0
La premiere equation admet comme singularites 0 et ,1.
Les transformees de Borel ^0(x) et ^1(x) sont respectivement denies par :
8 3
< (4j + 23j 2 + 41j + 22)aj+2 , (16j 2 +2 96j + 139)(j + 1)aj+1
>
>
: a0 = ,7; a1 = ,59
,(16j + 100j + 150)aj = 0; j 0
(
(j + 1)(j + 2)aj+1 , 2(j + 3)(2j + 5)aj = 0; j 0
a0 = 24
86
et sont solutions respectivement des equations dierentielles
(,16x2 + 4x)y(3) + (,16x2 , 112x + 11)y(2) + (,116x , 139)y0 , 150y = 0
et (,4x2 + x)y(2) + (,26x + 2)y0 , 30y = 0
Dans les deux cas, x = 1=4 est une singularite.
Les directions 2 l, l 2 ZZ, constituent donc les directions singulieres (eventuelles) pour f^(x).
4. Prolongement analytique
4.1. Transformees de Laplace iterees
Soit f^(x) = Pn0 anxn une serie formelle (1; : : : ; r ) , iL sommable. Supposons que les
directions singulieres de f^(x) sont donnees par di + 2l, di 2 [0; 2[, i = 1; : : : ; N et l 2 ZZ.
Soient 1; : : : ; r 2 IN et 1; : : : ; r 2 IN denis par 1 = et :::
1
1
j = j , j = 2; : : :; r.
j,1j 1
somme de la serie ^q (x). Sur un secteur convenable bissecte par d la somme f (x) est egale a
1
f (x) = a0 + L ; d(0)(x ) + : : : + x ,1 a ,1 + L ; d( ,1)(x )
1
1
1
1 1
1
1
1
1 1
1
ou
Z Z
L ; d ()(x) = t1, (t) exp ,( xt ) d(t ) = 1 (t) exp ,( xt ) dt
1 1 1 1
1 1 1 1 1
1
1
d 1 1 d 1
Pour calculer la somme de la serie ^q qui est ( ; : : :; r ) , iL sommable, nous procedons de la
2
m^eme facon que precedemment, jusqu'a avoir des series formelles convergentes.
1 1
Si nous avons calcule j+1 (t) avec une precision donnee pour chaque valeur de t dans la direc-
tion 1 : : : j d, nous pouvons esperer avoir une bonne approximation de j (x) avec les methodes
classiques de Gauss-Legendre ou Gauss-Laguerre utilisees sur des sous-segments bien choisis de
87
la droite Dj de direction 1 : : :j d (si l'on s'apercoit que pour t proche de l'origine la fonction
j+1(t) varie beaucoup, on a inter^et a diviser la droite pres de l'origine). Malheureusement, si
la droite Dj passe au voisinage d'une singularite de j+1(t), l'evaluation numerique de j+1(t)
sera mauvaise. On a alors inter^et a deformer la droite Dj pour obtenir un chemin j constitue
de segments et d'arcs, passant le plus loin possible des singularites de j+1(t) (gure 4).
O
-
88
Algorithme
de Balser Runge-Kutta
z }| {z }| {
O
C.I.
Pj
-
5. Implantation
Nous decrivons a present les primitives informatiques que nous avons ete amenes a denir en
vue de l'implantation algorithmique du theoreme 2.3.3 de W. Balser. Ces primitives sont im-
plantees pour l'instant en A]. Elles pourront ulterieurement ^etre ecrites dans d'autres systemes
de calcul formel (Maple, Axiom, Reduce).
L'un des inter^ets de la realisation en A] est de tester la librairie prototype Sumit, developpee
par M. Bronstein, implantant notamment les polyn^omes d'Ore.
5.1. Primitives
5.1.1. BalserRing
BalserRing : Category
Description
BalserRing est la categorie des anneaux complexes. Dans ce qui suit, S designe un tel anneau.
Il existe ainsi une application coerce : S ! Complex DoubleFloat (utilisee dans la partie
graphique et numerique); on peut denir le quotient de deux elements de S ; l'anneau des
polyn^omes a coecients dans S est un anneau commutatif.
5.1.2. AutoDer
import from AutoDer(S)
Description
AutoDer(S) denit les derivations et l'automorphisme utilises.
Fonctions exportees
SUP ==> SparseUnivariatePolynomial
sigma : () ! Automorphism(SUP(S,"j"))
sigma() est l'automorphisme associe a la fonction P 2 SUP (S; "j ")) ! P (j + 1).
90
D : () ! Derivation(SUP(S,"x"))
D() est la derivation associee a la fonction P 2 SUP (S; "x")) ! dxd P .
Theta : () ! Derivation(SUP(S,"x"))
Theta() est la derivation associee a la fonction P 2 SUP (S; "x")) ! (x dxd )P .
91
SI ==> SingleInteger
Z ==> Integer
SUP ==> SparseUnivariatePolynomial
POLDELTO ==> LinearOrdinaryPolynomialDierenceOperator
createPowerSeries : (List Ratio(S), POLDELTO(S)) ! %
createPowerSeries(cond; ) cree une serie formelle a partir de la liste cond contenant les
premiers termes et de l'operateur aux dierences , a condition que le nombre de condi-
tions initiales soit superieur au degre de l'operateur .
dispose! : % ! ()
dispose!(f^) indique que la serie formelle ne sera plus utilisee.
coerce : % ! Record(ic : List Ratio(S), delt : POLDELTO(S))
coerce(f^) donne la representation interne de la serie f^. Le champ ic permet d'acceder a
la liste des conditions initiales, delt a l'operateur aux dierences.
initcond : % ! List Ratio(S)
initcond(f^) retourne la liste des premiers termes denissant la serie.
delto : % ! POLDELTO(S)
delto(f^) retourne l'operateur aux dierences.
coherent? : % ! Boolean
coherent?(f^) teste si les premiers termes sont solutions de l'equation aux dierences.
coecients : (%,SI) ! Partial List(Ratio(S))
coecients(f;^ n) calcule, si c'est possible, les nb premiers coecients de la serie et retourne
la liste [a0; : : :; anb,1 ].
coecients : (%,Z) ! Partial List(Ratio(S))
coecients(f;^ n) calcule, si c'est possible, les nb premiers coecients de la serie et retourne
la liste [a0; : : :; anb,1 ].
coecient : (%,SI) ! Partial Ratio(S)
coecient(f;^ n) retourne le coecient anb de la serie.
coecient : (%,Z) ! Partial Ratio(S)
coecient(f;^ n) retourne le coecient anb de la serie.
nextCoe : (List Ratio(S),POLDELTO(S)) ! Partial Ratio(S)
nextCoe(l; ) calcule a partir de l'operateur aux dierences et des termes de la liste l
le coecient suivant.
<< : (TextWriter,%) ! TextWriter
92
5.1.7. Borel
import from Borel(S)
Description
Borel(S) comprend les fonctions utilisees pour le calcul des transformees de Borel.
Fonctions exportees
SI ==> SingleInteger
Z ==> Integer
POLDELTO ==> LinearOrdinaryPolynomialDierenceOperator
kappasummability : List Ratio SI ! List Ratio SI
Si sum= [k1; : : :; kr ], kappasummability(sum) retourne la liste [1; : : :; r ] ou 1 = k1 et
1=l = 1=kl , 1=kl,1 pour l = 2; : : : ; r.
split : (POLDELTO(S), SI) ! POLDELTO(S)
Si = P0(j ) + P1(j ) + + Pr (j )r, split(; ) retourne un operateur aux dierences de
la forme Q0(j ) + Q1(j ) + + Qr(j )r multiple de ; si P0(j )aj + P1(j )aj+1 + +
Pr (j )aj+r = 0, alors Q0(j )aj + Q1(j )aj+ + + Qr(j )aj+r = 0 pour j assez grand.
split : (PowerSeries(S), SI) ! List PowerSeries(S)
split(f;^ ) retourne la liste des sous-series de f^. Ces sous-series n'ont pas necessairement
un coecient constant nul. La serie f^(x) est egale a
X
,1
xq f^q (x):
q=0
5.1.8. Dierential
import from Dierential(S)
Description
Dierential(S) comprend les fonctions qui permettent de passer d'une serie formelle denie par
un operateur aux dierences a une equation dierentielle dont est solution cette serie.
Fonctions exportees
93
SUP ==> SparseUnivariatePolynomial
POLODO ==> LinearOrdinaryPolynomialDierentialOperator
LOEDO ==> EulerLinearOrdinaryPolynomialDierentialOperator
diequation : PowerSeries(S)
! Record(eqdi : POLODO(S),sec : SUP(S,"x"))
diequation(f^) determine une equation dierentielle dont est solution la serie formelle
f^; diequation(f^):eqdi est l'operateur dierentiel, le second membre etant donne par
diequation(f^):sec.
eulerequation : Powerseries(S)
! Record(eqdi : LOEDO(S),sec : SUP(S,"x"))
eulerequation(f^) determine une equation dierentielle dont est solution la serie formelle f^;
eulerequation(f^):eqdi est l'operateur dierentiel (la derivation est l'operateur d'Euler),
eulerequation(f^):sec est le second membre.
5.1.9. LagLeg
import from LagLeg
Description
LagLeg fournit les abscisses et les poids de Gauss-Laguerre et de Gauss-Legendre.
Fonctions exportees
F ==> DoubleFloat
laguerre : GeoLink ! Record(absci : List F, weight : List F)
laguerre(gl) retourne les abscisses (positives) et les poids de Laguerre utilises pour la
methode de Gauss-Laguerre a nlag points (nlag est le nombre de points associes au chemin
elementaire gl). Nous nous limitons pour l'instant a 32 points.
legendre : GeoLink ! Record(absci : List F, weight : List F)
legendre(gl) retourne les abscisses (comprises entre 0 et 1) et les poids de Legendre utilises
pour la methode de Gauss-Legendre a nleg points (nleg est le nombre de points associes
au chemin elementaire gl). Nous nous limitons pour l'instant a 32 points.
5.1.10. Laplace
import from Laplace(S)
Description
Laplace(S) comprend les fonctions utiles au calcul des transformees de Laplace.
94
Fonctions exportees
SI ==> SingleInteger
Z ==> Integer
CF ==> Complex DoubleFloat
readpath : () ! Path(S)
readpath() est le chemin d'integration de l'integrale de Laplace. Il est constitue de mail-
lons. Un maillon est un chemin elementaire (segment, arc de cercle, ...) auquel est associee
une methode de calcul. Si la methode de calcul associee a un maillon est de type Serie,
la fonction a integrer sera calculee iterativement par l'algorithme de Balser. Si elle est
de type Runge-Kutta, le prolongement sera fait par la methode de Runge-Kutta. Nous
nous limitons pour l'instant a ces deux seules methodes de calcul. Si nous ne sommes
pas au dernier niveau, la methode de calcul associee au premier maillon doit ^etre de type
Serie (l'origine etant generalement une singularite irreguliere). Le prolongement sur le
dernier maillon du chemin sera eectue en les points de Gauss-Laguerre. Sur tous les
autres maillons, on utilise les points de Gauss-Legendre.
derivee : (List Record(listBorel :Record(vi : List CF, phiqvi : List CF, wi : List CF),
initerms :List Ratio(S)), SI,SI,CF,Z) ! List CF
derivee(borellist; ; ; zr; n) calcule f (zr) et les derivees jusqu'a l'ordre n de la serie; borel-
list contient les prolongements des transformees de Borel d'ordre 1= des sous-series.
5.1.11. Runge Kutta
import from Runge Kutta(S)
Description
Runge Kutta(S) comprend les fonctions utilisees pour eectuer le prolongement analytique par
la methode de Runge-Kutta.
Fonctions exportees
SI ==> SingleInteger
F ==> DoubleFloat
CF ==> Complex DoubleFloat
SUP ==> SparseUnivariatePolynomial
POLODO ==> LinearOrdinaryPolynomialDierentialOperator
LOEDO ==> EulerLinearOrdinaryPolynomialDierentialOperator
generateDerivs : (POLODO(S),SUP(S,"x"), F ! CF, F ! CF, CF) ! (List CF, F) !
List CF
generateDerivs(eq; sec;
;
0; t0) transforme l'equation dierentielle en un systeme dieren-
tiel d'ordre 1 le long de la courbe x =
(t) et retourne la valeur de ce vecteur derive en
t0.
95
eulerDerivs : (LOEDO(S),SUP(S,"x"), F ! CF, F ! CF, CF) ! (List CF, F) ! List
CF
eulerDerivs(eq; sec;
;
0; t0 ) transforme l'equation dierentielle en un systeme dierentiel
d'ordre 1 le long de la courbe x =
(t) et retourne la valeur de ce vecteur derive en t0.
rk4f : (List CF, F, F, SI, (List CF, F) ! List CF) ! List CF
rk4f(cond; t0; t1;nstep;derivs) retourne la valeur du vecteur en t1 connaissant sa valeur cond
en t0 par une methode de Runge- Kutta a nstep etapes (nous nous limitons pour l'instant
a nstep= 10.) La fonction derivs est la fonction derivee de ce vecteur.
5.1.12. Balser
import from Balser(S)
Description
Balser(S) comprend les fonctions utilisees pour le calcul des sommes de series formelles en uti-
lisant l'algorithme de Balser.
Fonctions exportees
SI ==> SingleInteger
Z ==> Integer
CF ==> Complex DoubleFloat
POLODO ==> LinearOrdinaryPolynomialDierentialOperator
balser : (PowerSeries(S), List Ratio SI, CF) ! CF
balser(f;^ [k1 ; : : :; kr ]; zr) calcule la somme de la serie f^(x) en zr, la serie etant (k1 ; : : :; kr )-
sommable.
balser : (PowerSeries(S), List Ratio SI, CF, Z) ! List CF
balser(f;^ [k1; : : :; kr ]; zr; n) calcule la somme f de la serie f^(x) en zr, ainsi que toutes les
derivees jusqu'a l'ordre n (la serie est supposee (k1; : : : ; kr )-sommable), et retourne la liste
[f (zr); f 0(zr); : : :; f (n)(zr)].
iLbalser : (PowerSeries(S), List Ratio SI, CF) ! CF
iLbalser(f;^ [1; : : :; r ]; zr) calcule la somme de la serie f^ en zr; la serie est
(1; : : : ; r ) , iL sommable.
iLbalser : (PowerSeries(S), List Ratio SI, CF, Z) ! List CF
iLbalser(f;^ [1; : : :; r ]; zr; n) calcule la somme f en zr, ainsi que toutes les derivees jusqu'a
l'ordre n et retourne la liste [f (zr); f 0(zr); : : : ; f (n)(zr)]. La serie f^ est (1; : : :; r ) , iL
sommable .
balserpath : (PowerSeries(S), List Ratio SI, Path(S)) ! Record(abscisse : List CF, sum
: List CF)
Si f^(x) est une serie (k1; : : :; kr )-sommable, balserpath(f;^ [k1; : : :; kr ];
) calcule la somme
de f^ le long du chemin
, aux points (equidistants sur chaque chemin elementaire) donnes
96
par le champ abscisse.
Le i-ieme terme de balserpath(f;^ [k1; : : :; kr ];
):sum est la valeur de la somme au i-ieme
point de la liste balserpath(f;^ [k1; : : :; kr ];
):abscisse.
analytic : (PowerSeries(S), Path(S)) ! Record(abscisse : List CF, sum : List CF)
analytic(f;^
) calcule le prolongement analytique de la serie a partir de l'origine, le long
du chemin
. La serie est supposee convergente a l'origine.
5.2. Contenu algorithmique
Les programmes, ecrits en A], sont donnes en annexe. Nous ne precisons ici que les points
qui nous semblent importants.
5.2.1. CreatePowerSeries
import from PowerSeries(S)
DescriptionP
Soit f^(x) = j 0 aj x
j denie par
(
= P0(j )aj + + Pr (j )aj+r = 0; j = m , r
cond = [a0; : : :; am,1 ]
Si < 0, il n'y a pas assez de conditions initiales et on sort un message d'erreur.
Si P0(j ) = : : : = Pr ,1(j ) = 0 pour r0 r, et Pr (j ) 6= 0, on transforme en l'operateur
Pr (j , r0)0 + + Pr (j , r0)r,r que l'on simplie ensuite par le plus grand commun di-
0 0
0
0
5.2.4. Split
import from Borel(S)
Description
split(; ) calcule un operateur multiple de , ne comportant que des termes de la forme
Pk (j )k. On suppose 1. Si = 1, on retourne .
La fonction apply(delt; l) retourne l'operateur l delt.
Soit (S ) la liste des operateurs apply(; l) pour l = 0; : : : ; r( , 1) (r est le degre de ).
Tant qu'on n'a pas ni,
Soit delt le premier operateur de (S ).
Chercher dans delt le plus petit indice k 2 IN tel que le coecient de delt de degre k soit
non nul et tel que k ne divise pas .
Si un tel indice existe, on s'arr^ete; sinon
{ Soit Pk (j ) le coecient de delt de degre k.
{ Parcourir les autres operateurs deltl (l = 2; : : : ; #(S )) de (S ). On remplace (S ) par
les #(S ) , 1 operateurs obtenus en eliminant le cas echeant le coecient de degre
k (si le coecient Pkl (j ) de degre k de deltl est non nul, on remplace deltl par Pk (j )
deltl - Pkl (j )delt).
5.2.5. Split
import from Borel(S)
Description
split(f;^ ) Pretourne sous forme de liste les sous-series de la serie formelle. On suppose
que f^ = j0 aj xj est denie par = P0(j ) + + Pr (j )r et par ses premiers termes
[a0; : : :; am,1]. Soit l'operateur split(; ). Il est de la forme Q0(j )+ Q1(j ) + + Qr(j )r
et Q0(j )aj + Q1(j )aj+ + + Qr(j )aj+r = 0 pour j = m , r.
Pour q = 0; : : : ; , 1, l'opeP
rateur Q0(j + q) + Q1(j + q) + + Qr(j + q)r denit
la q-ieme sous-serie f^q (x) = j0 aj+q xj . La recurrence est valable pour les indices j 2 IN
98
tels que j + q , c'est-a-dire j q = max(0; ( , q)=). Les mq = q + r conditions ini-
tiales aq ; aq+; : : : ; aq+(mq ,1) sont calculees a partir de l'equation aux dierences denissant
f^. On verie aisement que pour q = 0; : : :; , 1, q + (mq , 1) < r + . Les pre-
miers coecients denissant chaque sous-serie sont donc facilement calcules a partir de la liste
[a0; a1; : : :; ar+,1] = coecients(f;^ r + ).
5.2.6. Borel
import from Borel(S)
DescriptionP
Soit f^(xP) = j0 aj xj une serie formelle et 2 IN. La fonction borel(f;^ ) retourne la serie
^(x) = j0 bj xj avec bj = (ja+j,1)! .
+1
0 t
ou t decrit une courbe integrale de la forme t =
(u), u 2 [0 : : : 1] (t0 =
(0) et t1 =
(1)).
L'integrale I (x) est egale a
1 Z 1 (
(u)) exp
(u)
0(u)du
0 ,( x ) 1
i=1
99
La fonction legendre(gl) retourne la liste des poids (Ai)i=1;:::;N et des abscisses (ui)i=1;:::;N , gl
etant un chemin elementaire deni par le nombre de points N et par les courbes
et
0.
5.2.8. Laguerre
import from LagLeg
Description
Nous devons calculer des integrales de la forme
Z1
I (x) = 1 (t) exp ,( xt ) dt 1
t 0
ou t decrit une courbe integrale de la forme t =
(u), u 2 IR+ (t0 =
(0)). L'integrale I (x) est
egale a
1 Z +1 (
(u)) exp
(u)
0(u)du
0
,( x ) 1
i=1
La fonction laguerre(gl) retourne la liste des poids (Ai)i=1;:::;N et des abscisses (ui)i=1;:::;N , gl
etant un chemin elementaire deni par le nombre de points N et par les courbes
et
0.
5.2.9. Derivee
import from Laplace(S)
DescriptionP
Soit f^(x) = j0 aj xj une serie (1; : : : ; r ) , iL sommable, avec 1 = 1=1. Soient f^q (x) =
P a xj (q = 0; : : : ; , 1) les sous-series et ^ (x) = P bq xj avec bq = a j q ( +1) 1 +
j 0 j +q
1 1 1 q j 0 j j (j + ,1)!
les transformees de Borel d'ordre 1=1.
1 1
Chaque somme Z
fq (x1 ) = 1 q (t) exp ,( xt ) dt
1
1 q 1
1
est egale a la somme des integrales le long de chaque chemin elementaire, que l'on calcule par
les methodes decrites en 5:2:7 et 5:2:8. On obtient alors une expression de la forme
XNq q
fq (x ) = q (
(uqi )) exp ,(
x(ui ) ) wiq
1
1
1
1
i=1
100
(wiq = Aqi
0(uqi )).
La derivee n-ieme de f (x) est egale a
X,1 X
1 n
f (n) (x) = Cnl (xq)(l)(aq + fq (x ))(n,l) : 1
q=0 l=0
Les derivees successives de la fonction fq (x ) se calculent a partir de la formule integrale :
1
dx q 1 1 q
1 1 1 1
q 1
R
Plus generalement, la derivee de axb q q(t)tc exp(,( xt ) )dt est egale a
1
1
Z Z
1
abxb,1 q (t)tc exp ,( xt ) dt + a1xb, ,1 q (t)tc+ dt:
1 1
1 1
1
q 1
q
Les derivees de fq (x ) se calculent donc par recurrence. Si nous connaissons la liste des coef-
1
cients [a; b; c] denissant la derivee l-ieme, la derivee (l + 1)-ieme sera denie par la liste des
coecients [ab; b , 1; c] et [a1; b , 1 , 1; c + 1 ]. Connaissant les valeurs des transformees
de Borel en les abscisses de quadrature et les poids associes, nous pouvons ainsi calculer les
1
$ asharp -g loop -w gc
This is a pre-release of AXIOM-XL. `axiomxl -h info' for more details.
%1 >> #include "sumit.as"
%4 >> session()
Serie d'Euler :
Initial Conditions :list((0/1), (1/1))
Difference equation :tau+j
102
list((1/1))
0
En utilisant la table de E1, nous obtenons :
E (0:01) = e100E1(100) = 0:01 0:9901942287 = 0:009901942287
E (0:1) = e10E1(10) = 0:1 0:9156333394 = 0:09156333394
E (1) = e1E1(1) = e 0:219383934 = 0:5963473612
La precision relative pour E (0:01), E (0:1) et E (1) est donc respectivement egale a 3:10,11,
2:10,12 et 2:10,9 .
103
6.2. Exemple de 2-sommabilite
Il s'agit d'un exemple etudie par J. Thomann [16]. Une solution formelle fondamentale de
l'equation dierentielle
4x5y00 + 2x2y0 + y = 0
est donnee par e x x, f^(x) ou f^(x) est solution de
2
1 1
2
$ asharp -g loop -w gc
This is a pre-release of AXIOM-XL. `axiomxl -h info' for more details.
%1 >> #include "sumit.as"
Comp : 2460 msec., Interp : 30 msec.
%2 >> #library deux "deux.ao"
%3 >> import from deux
Comp : 40 msec., Interp : 0 msec.
%4 >> session()
Serie etudiee :
Initial Conditions :list((0/1), (1/1))
Difference equation :tau+j
La direction de resommation est respectivement IR+ , ei IR+ et ei IR+ . Nous rappelons egale-
8 4
ment les resultats obtenus par J. Thomann par la methode des approximants de Pade et celle
des series de factorielles generalisees SFG [16] :
argx Balser Pade SFG
0 0:06952424 0:0695243 0:0695117
=8 0:130661 , 0:3370434i 0:130661 , 0:337043i 0:130627 , 0:337015i
=4 0:304842 , 0:632041i 0:304843 , 0:632041i 0:306122 , 0:630481i
104
6.3. Exemple de Ramis-Sibuya
Les directions singulieres de resommation de la serie formelle solution de l'equation de Ramis-
Sibuya sont les directions 2 + 2 l (l 2 ZZ).
La serie formelle etant egale a f^(x) = E^ (x)+E^ (x2), la somme est egale a f (x) = E (x)+E (x2) =
e x E1( x1 ) + e x E1( x1 ) (voir 6:1). Nous obtenons a l'aide de la table de E1 :
1 1
2
2
trop pres du point x = 1=4 qui est une singularite pour les series convergentes ^l(x) (l = 0; 1)).
Nous obtenons ainsi :
f (0:25) = 0:26535392 + 4:7525175:10,7 i
f (0:5) = 0:56545058 + 0:0025003453i
f (1) = 1:1387162 + 0:080168043i
Nous remarquons que plus nous nous eloignons de l'origine, moins la precision est bonne. Nous
pourrions choisir d'autres chemins (pas forcement les m^emes pour les series ^l(x) et ^l(x)) et
un nombre de pas d'integration plus eleve pour ameliorer la precision du calcul. Une autre
facon de calculer la somme en 1 consiste par exemple a calculer la somme et sa derivee en 0:25
(ou l'on a une assez bonne precision) et a eectuer le prolongement analytique de la somme le
long du chemin [0:25; 1] par une methode de Runge-Kutta, a partir de l'equation dierentielle
dont est solution la somme et des conditions initiales en 0:25. Nous avons choisi une methode
de Runge-Kutta a pas xe egal a 0:015 et obtenons
f (1) = 1:16035002 , 0:00016311899i
La precision obtenue est meilleure.
Nous souhaitons a present calculer la somme au point x = ,0:25.
On considere d'une part la direction de resommation d, = , ( > 0 petit). La direc-
tion de resommation au premier niveau est 1d, = 2( , ); celle du deuxieme (et dernier)
niveau est 21d, = 2( , ). La droite de direction 21d, est proche de la singularite 41 des
fonctions 0(x) et 1(x). Nous avons teste l'algorithme avec dierents chemins, et il se trouve
que 0(x) et 1(x) se prolongent analytiquement dans la direction IR+ (de plus, elles tendent
vers 0). Nous allons considerer comme chemin d'integration 2 :
105
O
&% -
Le chemin sur lequel nous allons integrer les fonctions 0(x) et 1(x) est la droite de direction
IR+ . Le point P1 a partir duquel est utilisee la methode de Runge-Kutta est le point (0:5; 0:).
Nous obtenons alors comme resultat :
f , (,0:25) = ,0:3009568828 + 0:05767302121i:
D'autre part, nous pouvons egalement calculer la somme en ,0:25 en considerant comme di-
rection de resommation la direction 2( + ). En prenant les symetriques par rapport a l'axe
des reels des chemins precedents, nous obtenons
f + (,0:25) = ,0:3009568828 , 0:05767302121i:
La dierence des deux valeurs est
f , (,0:25) , f + (,0:25) = 0:1153460424i:
La dierence n'est pas nulle : nous avons traverse la direction singuliere IR,. Il s'agit du
phenomene de Stokes.
Nous allons comparer ce resultat avec la valeur exacte. La serie formelle f^(x) est egale a
f^(x) = E^ (x) + E^ (x2). La serie E^ (x) est 1-sommable, etant la direction singuliere (mod-
ulo 2). La serie E^ (x2) est 2-sommable, de directions singulieres 2 + ZZ. La dierence
f , (,) , f + (,) ( > 0) est egale a E ,(,) , E +(,), ce que nous calculons aisement par
la methode des residus. Nous obtenons :
E , (,) , E + (,) = 2i exp , 1 :
Pour = 0:25, la dierence est egale a 0:1150806i. Le resultat obtenu est donc de l'ordre de
2:10,4 .
7. Conclusion
Les exemples que nous avons testes sont des cas d'ecole. Nous avons pu comparer nos resultats
avec ceux obtenus par d'autres methodes et ceux fournis par les tables. Ceci constitue un
premier test de validite de l'ensemble des algorithmes.
Il reste un point important a etudier, a savoir le test de validite des resultats numeriques
106
obtenus. Les resultats que nous avons obtenus pour la serie d'Euler et la serie formelle 2-
sommable sont bons. Il semble cependant plus dicile d'obtenir une bonne precision pour la
serie de Ramis-Sibuya qui est (2; 1)-sommable. Nous avons constate une sensibilite des calculs
par rapport aux chemins.
Il y a trois niveaux d'approximation qui ne sont pas encore ma^trises actuellement : le cal-
cul des conditions initiales
oues au point P a un niveau intermediaire (mis a part le dernier
niveau), le prolongement analytique (pour l'instant, il s'agit de la methode de Runge-Kutta)
et le calcul des transformees de Laplace. Dans l'etat actuel d'avancement des travaux, nous
n'avons pas a notre disposition des calculs de bornes d'erreurs numeriques.
L'apport de Compas permet pour l'instant de palier a l'abscence de bornes d'erreurs. En
pratique, nous calculons un resultat en dierents chemins (et par dierentes methodes). Par
ses methodes de visualisation, Compas permet de tester la regularite des resultats obtenus sur
les chemins dans les dierents plans de Borel et de constater quand il y a un decrochement
des methodes numeriques (ce qui arrive si le chemin est trop proche d'une singularite). Mon
travail n'a pas porte sur la qualite des methodes numeriques de prolongement (par exemple, la
methode de Runge-Kutta que nous avons implantee est une methode d'ordre 4 a pas xe). Ce
travail reste encore a faire.
Quoi qu'il en soit, l'algorithme de Balser que nous avons implante est pr^et a ^etre utilise. Nous
avons ainsi a notre disposition un outil souple, susceptible d'^etre interactif (cet aspect est en
voie de realisation) et pratique a l'emploi, comprenant les bonnes primitives, permettant de
tester la validite des resultats par des recoupements.
Il fallait donner a l'utilisateur la possibilite de faire un choix entre dierentes methodes de
prolongement analytique sur les chemins choisis dans les plans de Borel. Pour l'instant, peu de
methodes sont disponibles, plusieurs sont a l'etude. Le logiciel dans son etat actuel permettra
l'insertion et le test de ces methodes dans le contexte general de la multisommation.
107
References bibliographiques
[1] W. Balser, From divergent power series to analytic functions theory and application on
multisummable power series, Lecture notes in mathematics, Springer (1994).
[2] W. Balser, Summation of formal power series through iterated Laplace integrals, Math.
Scand. 70 (1992) 161-171
[3] W. Balser, B.L.J. Braaksma, J.-P. Ramis, Y. Sibuya, Multisummability of formal power
series solutions of ordinary dierential equations, Asympt. Analysis 5, Number 1, Nov.(1991).
[4] W. Balser, A. Tovbis, Multisummability of iterated integrals, Asympt. Anal. 7 (1993)
121-127.
[5] A. Barkatou, A. Duval, Sur les series formelles solutions d'equations aux dierences poly-
nomiales, Annal. Inst. Fourier, 44 (1994), 495-524.
[6] M. Bronstein, M. Petkovsek, On Ore rings, linear operators and factorisation, Preprint
ETH, November 1993-200.
[7] C. Chay-Camus, Multivariate Pade approximation applied to analytic continuation, a
para^tre dans les proceedings : Non linear numerical methods and rational approximation,
Anvers 1993.
[8] J. Della-Dora, C. Dicrescenzo, E. Tournier, An algorithm to obtain formal solutions of
a linear homogenous dierential equation at an irregular singular point, Lecture Notes in Com-
puter Science. In : Calmet,J.(ed.), Lecture Notes in Computer Science, (Springer, 1982).
[9] F. Jung, F. Naegele, J. Thomann, An algorithm of multisummation of formal power se-
ries, solutions of linear ODE equations, a para^tre dans Proceedings IMACS Lille (1993).
[10] B. Malgrange, J.-P. Ramis, Fonctions multisommables, Ann. Inst. Fourier, Grenoble,
42, 1-2 (1992).
[11] J.-P. Ramis, Les series k-sommables et leurs applications, Lecture Notes in Physics 126,
Springer (1980).
[12] J.-P. Ramis, Equations dierentielles : Phenomene de Stokes et resommation, C.R. Acad.
Sc. Paris, t.301, Serie 1, No.4 (1985).
[13] J.-P. Ramis, Y. Sibuya, Hukuhara domains and fundamental existence and uniqueness
theorems for asymptotic solutions of Gevrey type, Asymptotic Analysis, 2, 39-94 (1989).
108
[14] F. Richard-Jung, Representations graphiques de solutions d'equations dierentielles dans
le champ complexe, These de l'Universite de Strasbourg (1988).
[15] F. Richard-Jung, Le phenomene de Stokes en image, RT 65 LMC Grenoble (1991).
[16] J. Thomann, Resommation des series formelles solutions d'equations dierentielles lineai-
res ordinaires du second ordre dans le champ complexe au voisinage de singularites irregulieres,
Numer.Math. 58, 503-535 (1990).
[17] J. Thomann, Problemes algorithmiques poses par la multisommation, Journees de print-
emps de la PRC Math-Info (1990).
[18] J. Thomann, Procedes formels et numeriques de sommation de series solutions d'equations
dierentielles, Expo. Math. 13 (1995), 223-246.
[19] E. Tournier, Solutions formelles d'equations dierentielles, These d'Etat de l'Universite
de Grenoble (1988).
109
110
Bibliographie
[1] W. Balser, From divergent power series to analytic functions theory and application on mul-
tisummable power series, Lecture notes in mathematics, Springer (1994).
[2] W. Balser, Summation of formal power series through iterated Laplace integrals, Math.
Scand. 70 (1992) 161-171
[3] W. Balser, B.L.J. Braaksma, J.-P. Ramis, Y. Sibuya, Multisummability of formal power
series solutions of ordinary dierential equations, Asympt. Analysis 5, Number 1, Nov.(1991).
[4] W. Balser, A. Tovbis, Multisummability of iterated integrals, Asympt. Anal. 7 (1993)
121-127.
[5] A. Barkatou, A. Duval, Sur les series formelles solutions d'equations aux dierences poly-
nomiales, Annal. Inst. Fourier, 44 (1994), 495-524.
[6] J.-P. Bezivin, Sur les equations fonctionnelles aux q-dierences. Preprint Paris VI (1990).
[7] M. Bronstein, M. Petkovsek, On Ore rings, linear operators and factorisation, Preprint
ETH, November 1993-200.
[8] C. Chay-Camus, Multivariate Pade approximation applied to analytic continuation, a
para^tre dans les proceedings : Non linear numerical methods and rational approximation,
Anvers 1993.
[9] J. Della-Dora, C. Dicrescenzo, E. Tournier, An algorithm to obtain formal solutions of
a linear homogenous dierential equation at an irregular singular point, Lecture Notes in Com-
puter Science. In : Calmet,J.(ed.), Lecture Notes in Computer Science, (Springer, 1982).
[10] R. Douady, Produits tensoriels topologiques et espaces nucleaires. Seminaire de geometrie
analytique. Asterisque 16 (1974).
[11] G. Gasper, M. Rahman, Basic Hypergeometric Series. Encyclopedia of Mathematics and
its Applications, G.C. Rota ed., Vol. 35 (1990).
[12] A.-O. Gelfond, Calcul des dierences nies, Dunod, Paris, 1963.
[13] P. Grisvard, Operateurs a indice, Lemme de Compacite. Seminaire Cartan-Schwartz, 16eme
annee, 1963-64, n12.
[14] W. Hahn, Uber die Funktional-dierentialgleichung f 0(z) = f (qz) und verwandte Funk-
111
tionalgleichungen. Ann. Univ.Sc. Budapest, Eotvos Sect. Math. (1973), p.3-21.
[15] F. Jung, F. Naegele, J. Thomann, An algorithm of multisummation of formal power series,
solutions of linear ODE equations, a para^tre dans Proceedings IMACS Lille (1993).
[16] T. Kato, J.-B. McLeod, The functional dierential dierence equation y0(x) = ay(x) ,
by(x). Bull. Amer. Math. Soc., 77 (1971),p. 891-937.
[17] H. Komatsu, On the index of dierential operators. J. Fac. Sci. Tokyo IA (1971), p.379-398.
[18] K. Mahler, On a special functionalequation. J. London Math. Soc. 15 (1940), 115-123.
MR 2, 133.
[19] B. Malgrange, Sur les points singuliers des equations dierentielles. L'Enseignement
Mathematique, tome 20, n1-2 (1974), p. 147-176.
[20] B. Malgrange, J.-P. Ramis, Fonctions multisommables, Ann. Inst. Fourier, Grenoble,
42, 1-2 (1992).
[21] J. Martinet, J.-P. Ramis, Theorie de Galois dierentielle et resommation, E. Tournier
(ed.), Computer Algebra and Dierential Equations, 117-214, (Academic Press, 1988).
[22] J. Martinet, J.-P. Ramis, Elementary acceleration and multisummability, Ann. Inst. Henri
Poincare, Physique Theorique 54, N.1 (1991).
[23] F. Naegele, Theoremes d'indices pour les equations q-dierences-dierentielles, C.R. Acad.
Sci. Paris, t. 317, Serie I, p. 579-582,1993.
[24] F. Naegele, Theoremes d'indices pour les equations q-dierences-dierentielles, Preprint
Institut Recherche Mathematique Avancee (1995).
[25] F. Naegele, J. Thomann, Algorithmic approach of the multisummation of formal power
series solutions of linear ODE, applied to the Stokes phenomena, a para^tre dans Proceed-
ings workshop Groningen : "Stokes phenomena and their applications" (World scientic pub.
comp.).
[26] N.-E. Norlund, Lecons sur les series d'interpolation, Gauthiers Villars et Cie, Paris 1926.
[27] J.-P. Ramis, Devissage Gevrey. Societe Mathematique de France. Asterisque n 59-60
(1978), p.173-204.
[28] J.-P. Ramis, Les series k-sommables et leurs applications, Lecture Notes in Physics 126,
Springer (1980).
112
[29] J.-P. Ramis, Theoremes d'indices Gevrey pour les equations dierentielles ordinaires. Mem-
oirs of the American Mathematical Society n296, volume 48 (1984).
[30] J.-P. Ramis, Equations dierentielles : Phenomene de Stokes et resommation, C.R. Acad.
Sc. Paris, t.301, Serie 1, No.4 (1985).
[31] J.-P. Ramis, Y. Sibuya, Hukuhara domains and fundamental existence and uniqueness
theorems for asymptotic solutions of Gevrey type, Asymptotic Analysis, 2, 39-94 (1989).
[32] J.-P. Ramis, About the growth of entire functions solutions of linear algebraic q-dierence
equations. Annales de la Faculte des Sciences de Toulouse. Serie 6, Vol. I, n 1, 1992.
[33] F. Richard-Jung, Representations graphiques de solutions d'equations dierentielles dans
le champ complexe, These de l'Universite de Strasbourg (1988).
[34] F. Richard-Jung, Le phenomene de Stokes en image, RT 65 LMC Grenoble (1991).
[35] J. Thomann, Resommation des series formelles solutions d'equations dierentielles lineai-
res ordinaires du second ordre dans le champ complexe au voisinage de singularites irregulieres,
Numer.Math. 58, 503-535 (1990).
[36] J. Thomann, Problemes algorithmiques poses par la multisommation, Journees de print-
emps de la PRC Math-Info (1990).
[37] J. Thomann, Procedes formels et numeriques de sommation de series solutions d'equations
dierentielles, Expo. Math. 13 (1995), 223-246.
[38] E. Tournier, Solutions formelles d'equations dierentielles, These d'Etat de l'Universite
de Grenoble (1988).
[39] K. Yosida, Functional Analysis. Berlin, Springer-Verlag (1971).
[40] C. Zhang, Quelques etudes en theorie des equations fonctionnelles et en analyse combi-
natoire, These de l'Universite Louis Pasteur (Strasbourg I), 1994.
113
114
ANNEXES
115
116
Annexe 1
Convergence des series de factorielles q-analogues
Ces series n'ont un sens que si x est dierent des valeurs ,l + log 2i k; 8l 2 IN; 8k 2 ZZ. Nous
q
exclurons toujours dans ce qui suit ces points exceptionnels.
Les series de q-factorielles sont des q-analogues des series de facultes f^(x) = Pn0 x(x+1)a:::n (x+n) =
P a ,(x) .
n0 n ,(x+n+1)
que 8n 2 IN; jcn(x; x0) , cn+1 (x; x0)j C (x; x0)jqjn et la serie
+
C (x; xP0) telle que 8n 2 IN; jcn (x; x0) , cn+1 (x; x0)j C (x; x0)jqx ,x jn. Si jqx ,x j < 1, la
+1
0 0
serie n0 bn(x) converge. La serie converge donc dans le demi-plan limite a gauche par la
droite passant par x0, de pente logqjqj (q = jqjeiq, 0 q < 2; la droite est parallele a l'axe des
imaginaires purs si q = 0).
Nous pouvons denir l'abscisse de convergence d'une serie de q-factorielles f^q (x) par
= inf f0 2 IR=f^q (x) converge dans le demi-plan <(x log q) > 0 log jqjg.
117
Si 0 < jqj < 1, est egale soit a ,1 (la serie converge dans tout le plan), soit a +1 (elle
diverge partout).
N.-E. Norlund montre que l'abscisse de convergence de la serie de facultes Pn0 an ,(x,(+nx)+1)
est la m^eme que celle de la serie de Newton associee Pn0 (,(
(,1)nan ,(x) (paragraphe 84 p.177
n+1)) ,(x,n) 2
[2]).
Considerons les series de Newton q-analogues de la forme
X
g^q (x) = , (nan+ 1) , ,(xq (,x)n) :
n0 q q
Elles ont ete etudiees par C. Zhang [3]. Pour q reel, 0 < q < 1, il a montre que le domaine de
convergence de ces series est un demi-plan.
Theoreme 2 : Soit f^q (x) = Pn0 an ,q (,xq+(nx)+1) une serie de q-factorielles (jqj 6= 0; 1).
Considerons la serie de Newton p-analogue associee
X (,1)n pn ,p(x) ; (p = q,1):
2
g^p(x) = an
2 ,p (x , n)
n0 (,p (n + 1))
,p (x,n) ,q (x)
2 n (,p (n+1)) n ,p (x,n)
2
D'autre part, cn (x),cn+1(x) = cn (x) ,(12+,qqxn+q),x qn+1 et n(x),n+1(x) = cqnn(x) (1,q,x2,n qx ,)(1q,,xqx
+1 2
+1
+ +1 n ).
+ +1
,x+1 x
Si 0 < jqj < 1, cn (x) = (q ((q;q;)qn)n) ((1q ,;qq))n tend vers une constante et il existe C (x) > 0
2
+1
telle
P que 8n 2 IN, jcn(x)P, cn+1 (x)j C (x)jqjn et jn(x) , n+1(x)j C (x)jqjn. Les series
jc (x) , c (x)j et
n0 n n+1 j (x) , (x)j convergent.
n0 n n+1
Si jqj > 1, cn (x) = , ((p;p)nq)x (1,q) (p,x+1 ; p)n (px ; p)n+1 et il existe une constante C (x) > 0
2
telle
P que 8n 2 IN, jcn(x) ,Pcn+1 (x)j C (x)jqj,n et jn(x) , n+1(x)j C (x)jqj,n. Les series
jc (x) , c (x)j et
n0 n n+1 j (x) , (x)j convergent.
n0 n n+1
Alors, si Pn0 bP P P
n (x) = f^q (x) converge, n0 bn (x)cn (x) = g^p (x) converge et si n0 n (x) =
g^p(x) converge, n0 n(x)n(x) = f^q (x) converge.
Theoreme 3 : Si P a ,q (x) est une serie de Newton q-analogue avec jqj > 1,
n0 n ,q (x,n)
soit elle converge dans tout le plan, soit elle diverge partout.
118
Pour q reel, 0 < q < 1, C. Zhang a calcule l'abscisse
P de convergence d'une serie de Newton
q-analogue g^q (x). Plus precisement, si g^q (x) = n0 ,q (ann+1) ,q,(qx(,x)n) , alors
log Pnk=0 (,1)k ak q ,
kk( +1)
(i) Si 0, = lim ;
2
n log q ,
P
1
kk
log k=n (,1) ak q
+1 k , ( +1)
(ii) Si < 0, = lim .
2
n log q, 1
Ce resultat se generalise a q complexe, 0 < jqj < 1, en denissant l'abscisse de convergence
d'une serie de Newton q-analogue par inf f0 2 IR= la serie converge pour <(x log q) > 0 log jqjg.
Theoreme 4 : Soit f^q (x) = Pn0 an,q (n + 1) ,q (,xq+(nx)+1) une serie de q-factorielles avec
jqj > 1. Soit sont abscisse de convergence.
P
log nk=0 ak
(i) Si 0 alors = lim n log jqj ;
P 1 a
log +
(ii) Si < 0 alors = lim n logk=jnqj k .
Demonstration : D'apres le theoreme 2, l'abscisse de convergence de f^q (x) est egale a l'abscisse
de convergence de la serie g^p(x) = Pn0 (,(,p(1)n+1)) an,q (n+1) ,p,(px(,x)n) = Pn0 (,1),pn(pn+1) an ,p,(px(,x)n) .
n pn 2 nn ( +1)
2
2
References bibliographiques
[1] A.-O. Gelfond, Calcul des dierences nies, Dunod, Paris, 1963.
[2] N.-E. Norlund, Lecons sur les series d'interpolation, Gauthiers Villars et Cie, Paris 1926.
[3] C. Zhang, Quelques etudes en theorie des equations fonctionnelles et en analyse combi-
natoire, These de l'Universite Louis Pasteur (Strasbourg I), 1994.
119
120
Annexe 2
Fichiers "source" de l'algorithme de Balser
#include "sumit.as"
#library ci "ci.ao"
import from ci;
+++ d
efinit l'automorphisme: P (j ) ! P (j + 1).
121
sigma():Automorphism SUP(S,"j") == morphism(fsigma);
+++ d
efinit l'operateur d'Euler: P (x) ! xP (x)
0 .
Theta():Derivation SUP(S,"x") == derivation fTheta;
+++ D
d
efinit la derivation usuelle: P (x) ! P 0(x).
D():Derivation SUP(S,"x") == derivation fD;
122
---------------------------------- balser.as ---------------------------------
#include "sumit.as"
124
+++ Calcule la somme en zr ainsi que les d
eriv
ees jusqu'
a l'ordre
+++ n d'une s
erie (1; : : :; r ) , iL sommable.
iLbalser(ps:Powerseries(S), kappasum:List Ratio SI, zr:CF, n:Z):List(CF)== f
import from Laplace(S);
(#kappasum=0) => error("You should not use Balser's algorithm in the
convergent case");
borellist := boreltransform(ps, kappasum);
a : SI := numer(kappasum.1);
b : SI := denom(kappasum.1);
derivee(borellist,a,b,zr,n)
g
+++ Si f^ = Pn0 anxn est une serie (1; : : :; r ) , iL sommable avec
+++ 1 = 1=1, boreltransform(f;^ [1; : : : ; r]) scinde f^ en 1 sous-series,
+++ puis calcule leur transform ee de Borel d'ordre 1=1 le long d'un
+++ chemin demand
e
a l'utilisateur; initerms repr
esente la liste
+++ [a0; : : : ; a ,1]
1 et listBorel les 1 transform
ees de Borel.
boreltransform(ps: Powerseries(S), kappasum: List Ratio SI):
Record( listBorel:List Record(vi:List(CF),phiqvi:List(CF),wi:List(CF)),
initerms: List Quotient(S) ) == f
import from Borel(S);
import from Partial Quotient(S);
import from POLDELTO(S);
import from Laplace(S);
import from SUP(S,"j");
import from S,Z;
a : SI := numer(kappasum.1);
b : SI := denom(kappasum.1);
listBorel: List Record(vi:List CF, phiqvi:List CF, wi:List CF):= nil;
initerms: List Quotient(S) := nil;
subseries : List Powerseries(S) := split(ps,a);
kappa:=[numer(kappasum.l)/(denom(kappasum.l)*a) for l in 2..#kappasum];
125
print << newline;
print << newline;
ch := readpath();
if (#kappasum=1) then res := analytic(phiq,ch)
else res := balser1(phiq,kappa,ch);
listBorel := concat!( listBorel, list res);
initerms := concat!( initerms, list coerce(coefficient(fq,0@Z)))
g
[listBorel, initerms]
g
+++ analytic(f;^ ch) calcule le prolongement de la somme de f^ le long du
+++ chemin ch, en les abscisses de quadrature de Gauss-Laguerre pour le
+++ dernier maillon du chemin, de Gauss-Legendre ailleurs. La s
erie
+++ est suppos
ee convergente.
analytic( phiq : Powerseries(S), ch: Path(S)):
Record(vi:List CF, phiqvi:List CF, wi:List CF) == f
import from Differential(S),Laplace(S);
import from Record(eqdiff: POLODO(S),sec:SUP(S,"x"));
import from Integer, SingleInteger,S;
import from Path(S),List Link(S),GeoLink;
import from Record(vi:List CF,phiqvi:List CF,wi:List CF,ycond:List CF);
diffeq := diffequation(phiq);
differentialeq : POLODO(S) := diffeq.eqdiff;
r: Integer := degree(differentialeq);
sec: SUP(S,"x") := diffeq.sec;
if (r = 0) then f
r := 1;
deriv(differentialeq, sec)
g
listcoef : Partial List Quotient(S) := coefficients(phiq, r+1);
failed? listcoeff ==> error("You should give more initial conditions");
coeff : List Quotient(S) := coerce(listcoef);
ycond : List CF := nil;
for i in 0..r-1 repeat f
coef := first coeff;
ycond:=concat!(ycond, list(coerce(factorial(i)*numerator(coef))$S
/coerce(denominator(coef))));
coeff := rest coeff
g
coef := first coeff;
126
znieme : CF := coerce(factorial r * numerator(coef))$S
/coerce(denominator(coef));
rgl := coerce(gl);
gamma := rgl.gamma;
gammaderiv := rgl.gammaderiv;
derivs := generateDerivs(differentialeq, sec,gamma,gammaderiv,znieme);
if (l=0) then f
lag := laguerre(gl);
abscisse := lag.absci;
weight := lag.weight
g
else f
leg := legendre(gl);
abscisse := leg.absci;
weight := leg.weight
127
g
tbegin: F := 0;
nbpoint := #(abscisse);
weightlocal : List CF := nil;
vilocal : List CF := nil;
phiqlocal : List CF := nil;
ycondlocal: List CF := nil;
diffeq := diffequation(phiq);
differentialeq := diffeq.eqdiff;
128
r: Integer := degree(differentialeq);
sec := diffeq.sec;
if (r = 0) then f
r := 1;
deriv(differentialeq, sec)
g
rch : List Link(S) := coerce(ch);
weightlist : List CF := nil;
vilist : List CF := nil;
phiqvilist : List CF := nil;
129
g
else f
tbegin: F := 0.;
derivs:=generateDerivs(differentialeq,sec,gamma,gammaderiv,0);
v0 := beginGeoLink(gl);
130
kappasum := kappasummability(sum);
iLbalserpath(ps, kappasum, ch)
g
+++ Calcul de la somme d'une s
erie iL-multisommable le long du chemin
+++ ch, les points en lesquels est calcul
ee la somme e
tant
+++
equidistants sur chaque chemin e
l
ementaire.
iLbalserpath(ps:Powerseries(S), kappasum:List Ratio SI, ch:Path(S)):
Record(points:List CF, value:List CF) == f
import from Differential(S);
import from Record(eqdiff: POLODO(S), sec: SUP(S,"x"));
import from Laplace(S),LagLeg;
import from List Link(S);
import from Runge Kutta(S);
import from Record(
listBorel:List Record(vi:List(CF),phiqvi:List(CF),wi:List(CF)),
initerms:List Quotient(S));
diffeq := diffequation(ps);
differentialeq := diffeq.eqdiff;
r: Integer := degree(differentialeq);
sec := diffeq.sec;
if (r = 0) then f
r := 1;
deriv(differentialeq, sec)
g
rch : List Link(S) := coerce(ch);
abs: List CF := nil;
val : List CF := nil;
131
borellist := boreltransform(ps, kappasum);
for i in 1..#abscisse repeat f
ti: F := abscisse.i;
vi: CF := gamma(ti);
abs := concat!(abs, list vi);
val := concat!(val, derivee(borellist,a,b,vi,0))
g
ycond := derivee(borellist,a,b,gamma(1),r-1)
g
else f
tbegin: F := 0.;
derivs := generateDerivs(differentialeq, sec, gamma, gammaderiv,0);
v0 := beginGeoLink(gl);
for i in 1..#abscisse repeat f
ti: F := abscisse.i;
vi: CF := gamma(ti);
abs := concat!(abs, list vi);
ycond := rk4f(ycond, tbegin, ti,10@SI, derivs);
val := concat!(val,list ycond(1));
tbegin := ti
g
g
g
[abs,val]
g
+++ Calcul de la somme d'une s
erie convergente le long du chemin . ch
+++ Les points en lesquels est calcul
ee la somme sont e
quidistants
+++ sur chaque chemin
el
ementaire.
analyticpath(ps: Powerseries(S), ch: Path(S)):
Record(points:List CF, value:List CF) == f
import from Differential(S),Laplace(S);
import from Record(eqdiff: POLODO(S),sec:SUP(S,"x"));
import from Integer, SingleInteger,S;
import from Path(S),List Link(S),GeoLink;
import from Record(vi : List CF , phiqvi : List CF ,ycond:List CF);
diffeq := diffequation(ps);
differentialeq : POLODO(S) := diffeq.eqdiff;
r: Integer := degree(differentialeq);
sec: SUP(S,"x") := diffeq.sec;
if (r = 0) then f
r := 1;
132
deriv(differentialeq, sec)
g
ycond : List CF := nil;
for i in 0..r-1 repeat f
coeff : Partial Quotient(S) := coefficient(ps,i);
failed? coeff ==> error("You should give more initial conditions");
coefff : Quotient(S) := coerce(coeff);
ycond:=concat!(ycond, list(coerce(factorial(i)*numerator(coefff))$S ))
/coerce(denominator(coefff))
g
coeff : Partial Quotient(S) := coefficient(ps,r);
failed? coeff ==> error("You should give more initial conditions");
coefff : Quotient(S) := coerce(coeff);
znieme : CF := coerce(factorial r * numerator(coefff))$S ;
/coerce(denominator(coefff))
rch: List Link(S) := coerce(ch);
nbpath := #(rch);
abs : List CF := nil;
val : List CF := nil;
rgl := coerce(gl);
gamma := rgl.gamma;
133
gammaderiv := rgl.gammaderiv;
n := rgl.np;
nF: F := coerce(n);
abscisse : List F := [coerce(i)/nF for i in 1..n];
derivs := generateDerivs(differentialeq, sec,gamma,gammaderiv,znieme);
tbegin: F := 0;
vilocal : List CF := nil;
phiqlocal : List CF := nil;
ycondlocal: List CF := nil;
for i in 1..n repeatf
ti := abscisse.i;
ycond := rk4f(ycond, tbegin, ti, 10@SI, derivs);
vilocal := concat!(vilocal,list gamma(ti));
phiqlocal := concat!(phiqlocal, list ycond.1);
tbegin := ti
g
ycondlocal := ycond;
[vilocal,phiqlocal,ycondlocal]
g
g
134
---------------------------------- borel.as ----------------------------------
#include "sumit.as"
#library powerseries "powerseries.ao"
135
g
facteur(l:Integer,b:Integer): SUP(S,"j") == f
import from SUP(S,"j");
import from S;
(l = 0) => 1;
res: SUP(S,"j") := 1;
for i in 1..l*b repeat f
fact : SUP(S,"j") := monomial(coerce(b)$S,1);
fact := fact+coerce(coerce(b+i-1)$S)$SUP(S,"j");
res := res*fact
g
res
g
+++ Calcule la pseudo transform
ee de Borel formelle d'ordre 1=b d'une s
erie
+++ formelle.
borel(ps: PowerSeries(S), b: SI): PowerSeries(S) == f
import from Partial List Quotient(S),S,SI,Z;
import from List Quotient(S);
import from SUP(S,"j");
import from Automorphism SUP(S,"j");
136
deltabo := deltabo + monomial(mon,k)
g
bor: PowerSeries(S) := createPowerSeries(condbo,deltabo);
bor
g
apply(delt: POLDELTO(S), l: Integer): POLDELTO(S) == f
import from Automorphism(SUP(S,"j"));
import from AutoDer(S);
res : POLDELTO(S) := 0;
for i in 0..degree(delt) repeat f
res := res + monomial(apply(sigma()^
l, coefficient(delt,i)), i+l)
g
res
g
inconnues( delt: POLDELTO(S), a: SingleInteger): Partial Integer == f
import from Integer;
inc : Boolean := false;
l : Integer := 1;
while inc and (l <= degree delt) repeat f
coef : SUP(S,"j") := coefficient(delt,l);
if coef = 0 then l := l+1
else f
l rem coerce a = 0 => inc := true;
l := l + 1
g
g
inc => failed;
coerce(l)
g
+++ Calcule un multiple d'un op
erateur aux diff
erences tel que les
+++ coefficients des termes k
avec k
non congru
a a
soient nuls.
split(delt: POLDELTO(S), a:SingleInteger) : POLDELTO(S) == f
import from SUP(S,"j");
import from Integer;
(a = 1) => delt;
r := degree(delt);
(r = 0) => delt;
ai : Integer := coerce a;
equations : List POLDELTO(S) := list delt;
for i in 1..r*(ai-1) repeat f
137
equations := concat!(equations,list apply(delt,i))
g
fini : Boolean := false;
while fini repeat f
pol := first equations;
ind : Partial Integer := inconnues(pol, a);
if failed? ind then fini := true
else f
l : Integer := coerce(ind);
Pl := coefficient(pol,l);
eqaux := rest equations;
equations := nil;
for i in 1..#eqaux repeat f
delti := eqaux.i;
if coefficient(delti,l) = 0 then
equations := concat!(equations, list delti)
else
equations:=concat!(equations,
list(Pl*delti-coefficient(delti,l)*pol))
g
g
g
pol
g
transform(q:SingleInteger, a:SingleInteger, l:Integer):SUP(S,"j") == f
import from S;
res : SUP(S,"j") := 1;
for i in 1..l repeat f
res := res * (monomial(coerce(q)$S,0) + monomial(coerce(a)$S,1))
g
res
g
apply(pol:SUP(S,"j"), q:SingleInteger, a:SingleInteger):SUP(S,"j") == f
import from Integer;
res : SUP(S,"j") := 0;
for l in 0..degree(pol) repeat f
res := res + monomial(coefficient(pol,l),0)*transform(q,a,l)
g
res
g
+++ Scinde une s
erie formelle en a sous-s
eries.
138
split(ps:PowerSeries(S), a:SingleInteger) : List PowerSeries(S) == f
import from POLDELTO(S);
import from Integer;
import from List Quotient(S);
139
--------------------------------- ci.as --------------------------------------
#include "sumit"
F ==> DoubleFloat;
CF ==> Complex DoubleFloat;
f
coerce(i:%):CF == ii : Integer := rep(i);
iii: F:=coerce(ii)$F;
complex(iii,0.)
g
extree(x:%):ExpressionTree == extree rep x;
coerce(i:Integer):% == per(i);
g
140
----------------------------- differential.as --------------------------------
#include "sumit.as"
Z ==> Integer;
SUP ==> SparseUnivariatePolynomial;
POLDELTO ==> LinearOrdinaryPolynomialDifferenceOperator;
POLODO ==> LinearOrdinaryPolynomialDifferentialOperator;
AUTOMOR ==> Automorphism;
LOEDO ==> EulerLinearOrdinaryPolynomialDifferentialOperator;
delta := delto(ps);
r := degree(delta);
lodop: POLODO(S) := 0;
141
m : Integer := coerce(#initcond(ps));
for i in 0..r repeat f
Q: SUP(S,"j") := coefficient(delta,r-i);
q := degree(Q);
for j in 0..q repeat f
lodoij: POLODO(S) := 1;
li:POLODO(S):=monomial(monomial(coerce(i-r)$S,0)$SUP(S,"x"),0);
li := li + monomial(monomial(1$S,1)$SUP(S,"x"),1);
for l in 1..j repeat f
lodoij := times( lodoij,li,1$AUTOMOR(SUP(S,"x")),
function D()$Derivation(SUP(S,"x")))
g
lodop := lodop +
monomial(monomial(coefficient(Q,j),i)$SUP(S,"x"),0)*lodoij
g
g
pol: List Quotient(S) := nil;
for l in 0..r-1 repeat f
pl: Quotient(S) := 0;
for i in r-l..r repeat f
alpha: Quotient(S) := coerce(coefficient(ps,i-r+l));
beta:S:=apply(coefficient(delta,i),coerce(l-r)$S)$SUP(S,"j");
pl := pl + (numerator(alpha)*beta)/ denominator(alpha)
g
pol := concat!(pol,list(pl))
g
for l in r..m-1 repeat f
pl: Quotient(S) := 0;
for i in 0..r repeat f
alpha: Quotient(S) := coerce(coefficient(ps,i-r+l));
beta:S:=apply(coefficient(delta,i),coerce(l-r)$S)$SUP(S,"j");
pl := pl + (numerator(alpha)*beta)/ denominator(alpha)
g
pol := concat!(pol,list(pl))
g
div: S := 1;
for a in pol repeat div := div * denominator(a);
divv: Quotient(S) := coerce(div);
poly: SUP(S,"x") := 0;
for l in 0..m-1 repeat f
poly:=poly+monomial(numerator(divv*first(pol)),l);
pol := rest pol
g
dispose!(pol);
142
lodop:=monomial(monomial(div,0)$SUP(S,"x"),0)*lodop;
[lodop,poly]
g
eulerequation(ps:PowerSeries(S)):Record(eqdiff:LOEDO(S),sec:SUP(S,"x"))== f
import from Integer,S,Quotient S,Partial Quotient S;
import from UnivariateSkewPolynomialCategoryOps(SUP(S,"x"),LOEDO(S));
import from POLDELTO(S);
import from Derivation SUP(S,"x");
import from AUTOMOR SUP(S,"x");
import from AutoDer(S);
delta := delto(ps);
r := degree(delta);
lodo: LOEDO(S) := 0;
m : Integer := coerce(#initcond(ps));
for i in 0..r repeat f
Q: SUP(S,"j") := coefficient(delta,r-i);
q := degree(Q);
for j in 0..q repeat f
lodoij: LOEDO(S) := 1;
li:LOEDO(S):=monomial(monomial(coerce(i-r)$S,0)$SUP(S,"x"),0);
li:=li+monomial(monomial(1$S,0)$SUP(S,"x"),1);
for l in 1..j repeat f
lodoij:=times( lodoij,li,1$AUTOMOR(SUP(S,"x")),
function Theta()$Derivation(SUP(S,"x")))
g
lodo := lodo +
monomial(monomial(coefficient(Q,j),i)$SUP(S,"x"),0)*lodoij
g
g
pol: List Quotient(S) := nil;
for l in 0..r-1 repeat f
pl: Quotient(S) := 0;
for i in r-l..r repeat f
alpha: Quotient(S) := coerce(coefficient(ps,i-r+l));
beta:S:=apply(coefficient(delta,i),coerce(l-r)$S)$SUP(S,"j");
pl := pl + (numerator(alpha)*beta)/ denominator(alpha)
g
pol := concat!(pol,list(pl))
g
for l in r..m-1 repeat f
pl: Quotient(S) := 0;
143
for i in 0..r repeat f
alpha: Quotient(S) := coerce(coefficient(ps,i-r+l));
beta:S:=apply(coefficient(delta,i),coerce(l-r)$S)$SUP(S,"j");
pl := pl + (numerator(alpha)*beta)/ denominator(alpha)
g pol := concat!(pol,list(pl))
g div: S := 1;
for a in pol repeat div := div * denominator(a);
divv: Quotient(S) := coerce(div);
poly: SUP(S,"x") := 0;
for l in 0..m-1 repeat f
poly := poly + monomial(numerator(divv * first(pol)),l);
pol := rest pol
g
dispose!(pol);
lodo := monomial(monomial(div,0)$SUP(S,"x"),0) * lodo;
[lodo,poly]
g
g
144
---------------------------------- eulerlodo.as ------------------------------
#include "sumit.as"
EulerLinearOrdinaryPolynomialDifferentialOperator(S: BalserRing):
UnivariateSkewPolynomialCategory SUP(S,"x")
== LODO(SUP(S,"x"),Theta()$AutoDer(S),"Theta");
145
------------------------------- lagleg.as ------------------------------------
#include "sumit.as"
#library geolink "geolink.ao";
import from geolink;
F ==> DoubleFloat;
SI ==> SingleInteger;
CF ==> Complex F;
LagLeg: with f
laguerre: GeoLink -> Record(absci: List F, weight: List F);
abscisses: List F :=
[ 0.044489365833267025, 0.234526109519618520,
0.576884629301886420, 1.07244875381781750,
1.72240877644464520, 2.52833670642579450,
3.49221327302199450, 4.61645676974976730,
5.90395850417424360, 7.35812673318624040,
8.98294092421259580, 10.7830186325399720,
12.7636979867427250, 14.9311397555225550,
17.2924543367153130, 19.8558609403360540,
22.6308890131967750, 25.6286360224592470,
28.8621018163234710, 32.3466291539647350,
36.1004948057519710, 40.1457197715394420,
44.5092079957549340, 49.2243949873086430,
54.3337213333969110, 59.8925091621340210,
65.9753772879350480, 72.6876280906627170,
80.1874469779135280, 88.7353404178923960,
98.8295428682839720, 111.751398097937680 ] ;
146
weights: List F :=
[ 0.114187105768104840, 0.266065216897615110,
0.418793137324853030, 0.572532846499804740,
0.727648788380971380, 0.884536719340249710,
1.04361887589207680, 1.20534927415235260,
1.37022133852178110, 1.53877725646864450,
1.71161935268645730, 1.88942406344948410,
2.07295934024653360, 2.26310663399696350,
2.46088907248823600, 2.66750812639711680,
2.88439209292204150, 3.11326132703958600,
3.35621769259580220, 3.61586985648426860,
3.89551304494854950, 4.19939410471158470,
4.53311497853436170, 4.90427028761124460,
5.32350097202366590, 5.80633321423362120,
6.37661467415965270, 7.07352658070724300,
7.96769350929590010, 9.20504033127818850,
11.1630130907678720, 15.3901804152606420 ] ;
[abscisses,weights]
g
+++ D
efinit les abscisses (ti) et les poids de la formule de quadrature
+++ Par la suite, les poids seront le produit de ces poids par
147
[ 0.001368069075259215, 0.00719424422736580920,
0.0176188722062468040, 0.0325469620311301620,
0.0518394221169739520, 0.0753161931337150130,
0.102758102016028790, 0.133908940629855150,
0.168477866534892390, 0.206142121379618830,
0.246550045533885320, 0.289324361934682360,
0.334065698858936190, 0.380356318873931410,
0.427764019208601710, 0.475846167156130860,
0.524153832843869130, 0.572235980791398280,
0.619643681126068580, 0.665934301141063800,
0.710675638065317630, 0.753449954466114650,
0.793857878620381170, 0.831522133465107630,
0.866091059370144850, 0.897241897983971090,
0.924683806866285000, 0.948160577883026070,
0.967453037968869830, 0.982381127793753120,
0.992805755772634250, 0.998631930924740830 ] ;
weights: List F :=
[ 0.00350930500473504810, 0.00813719736545283530,
0.0126960326546310290, 0.0171369314565107150,
0.0214179490111133410, 0.0254990296311880870,
0.0293420467392677730, 0.0329111113881809210,
0.0361728970544242570, 0.0390969478935351570,
0.0416559621134733720, 0.0438260465022019060,
0.0455869393478819490, 0.0469221995404022890,
0.0478193600396374300, 0.0482700442573639040,
0.0482700442573639040, 0.0478193600396374300,
0.0469221995404022890, 0.0455869393478819490,
0.0438260465022019060, 0.0416559621134733720,
0.0390969478935351570, 0.0361728970544242570,
0.0329111113881809210, 0.0293420467392677730,
0.0254990296311880870, 0.0214179490111133410,
0.0171369314565107150, 0.0126960326546310290,
0.00813719736545283530, 0.00350930500473504810 ] ;
[abscisses,weights]
g
g
148
-------------------------------- laplace.as ----------------------------------
#include "sumit.as"
SI ==> SingleInteger;
Z ==> Integer;
F ==> DoubleFloat;
CF ==> Complex F;
== add f
derivee( borellist:
Record( listBorel:List Record(vi:List(CF),phiqvi:List(CF),wi:List(CF)),
initerms: List Quotient(S)),
a: SI, b: SI, zr: CF, n: Z) : List CF == f
import from Ratio Z;
listres := borellist.listBorel;
initerms := borellist.initerms;
quadr: List(List(CF)) := nil;
for q in 1..a repeat f
quadr:=concat!(quadr,list quadrv(listres.q,a,b,zr,n))
g
derivn : List CF := nil;
for i in 0..n repeat f
derivaux : CF := 0;
149
for q in 1..a repeat f
alpha0 := initerms.q;
quadrq := quadr.q;
der: CF := first(quadrq);
der:=der+ coerce(numerator(alpha0))$S
/coerce(denominator(alpha0))$S;
der := der * deriv(q-1, i, zr);
for k in 0..i-1 repeat f
bin := binome(i,k);
binF:=coerce(numer(bin))$F/coerce(denom(bin))$F;
deraux := element(quadrq,i-k+1) ;
deraux := deraux * deriv(q-1, k, zr) * binF;
der := der + deraux
g ;
derivaux := derivaux + der
g;
derivn := concat!(derivn, list derivaux)
g;
derivn
g;
binome(n: Z, k: Z) : Ratio Z == f
factorial(n) / (factorial(k) * factorial(n-k))
g ;
f
quadrv( res:Record(vi:List CF, phiqvi:List CF, wi:List CF), ):List CF==
a:SI, b:SI, zr:CF, n:Z
import from DoubleFloatElementaryFunctions;
150
quadr : List CF := nil;
aF : F := coerce(a);
bF : F := coerce(b);
derivn: List Record(coef: F, expx: F, expt: F) := [[1/bF,0.,0.]];
for l in 0..n repeat f
resquadr: CF := 0;
derivnn: List Record(coef: F, expx: F, expt: F) := nil;
for j in 1..#derivn repeat f
aux := derivn.j;
if (aux.expx = 0) then f
coeff := aux.coef * aux.expx;
expxx := aux.expx - 1.;
exptt := aux.expt;
derivnn := cons([coeff,expxx,exptt], derivnn)
;g
coeff := aux.coef * aF/bF;
expxx := aux.expx - aF/bF - 1.;
exptt := aux.expt + 1./bF;
derivnn := cons([coeff,expxx,exptt], derivnn);
resaux: CF := 0;
for i in 1..#viabs repeat f
vi := viabs.i;
resaux:=resaux+ phiqvi.i*weightvi.i*exp(aux.expt*log(vi))
exp(-exp(log(vi)/bF)/exp(log(zr)*aF/bF))
;g
resaux:=resaux*aux.coef*exp(aux.expx*log(zr));
resquadr := resquadr + resaux
g ;
quadr := concat!(quadr, list resquadr);
derivn := [derivnn.i for i in 1..#derivnn]
g;
quadr
g;
151
import from SI,F,CF,List F,S;
import from Method(S),Localisation(S),MiniSUP(S),Point(S);
ch:Path(S):=createSeg( complex(0.,0.),complex(1,0),32,
createSerie(createLoc(point(0@S)),0,[1$F],0));
ch:=ch+createSeg( complex(1,0),complex(2.,0),32,
createRK(createLoc(point(1@S))));
ch:=ch+createSeg( complex(2.,0),complex(5.,0),32,
createRK(createLoc(point(1@S))));
ch
g
g
152
---------------------------------- poldelto.as -------------------------------
#include "sumit.as"
LinearOrdinaryPolynomialDifferenceOperator(S: BalserRing):
UnivariateSkewPolynomialCategory SUP(S,"j")
== LDELTO(SUP(S,"j"),sigma()$AutoDer(S),"tau");
153
---------------------------------- polodo.as ---------------------------------
#include "sumit.as"
LinearOrdinaryPolynomialDifferentialOperator(S: BalserRing):
UnivariateSkewPolynomialCategory SUP(S,"x")
== LODO(SUP(S,"x"),D()$AutoDer(S),"D");
154
---------------------------------- powerseries.as ----------------------------
#include "sumit.as"
155
import from Integer,SUP(S,"j"),Quotient(S);
0 : % == per([[] , monomial(1,0)]);
1 : % == per([[1] , monomial(1,0)]);
(ps : % )^
(z:Integer) : % == error("not yet implemented");
(ps1:%) = (ps2:%):Boolean == f
import from SingleInteger;
import from Quotient(S);
cond := initcond(ps1-ps2);
equalseries := true;
l : SingleInteger := 1;
while equalseries and (l <= #cond) repeat
if (cond.l=0) then l:=l+1 else equalseries:=false
equalseries
g
coerce(ps:%):Record(ic: List Quotient(S), delt: POLDELTO(S)) == rep(ps);
157
r : Integer := degree(delta);
(m < r) => error("Not enough initial conditions");
ps := per([cond,simplify delta]);
ps
g
dispose!(ps:%):() == f
dispose!(initcond(ps));
dispose!(rep(ps))
g
coherent?(ps:%):Boolean == f
import from Partial(Quotient(S));
import from S;
cond := initcond(ps);
delta := delto(ps);
m : Integer := coerce(#cond);
r := degree(delta);
mu := m-r-1;
coh : Boolean := true;
j: Integer := 0;
while (j <= mu) and coh repeat f
aux : Quotient(S) := 0;
for i in 0..r repeat f
aux:=aux+(apply(coefficient(delta,i),coerce(j))*
numerator(coerce(element(cond,i+j+1))))/
denominator(coerce(element(cond,i+j+1)))
g
if (aux = 0) then coh := false
else j := j+1
g
coh
g
element(cond: List Quotient(S), i:Integer): Partial Quotient(S) == f
import from List(Quotient(S));
158
g
if (1<=i) and (i<=coerce(#cond)) then coerce(el) else failed
g
nextCoeff(l: List Quotient(S), delta:POLDELTO(S)):
Partial Quotient(S) ==f
import from S;
import from Partial Quotient(S);
import from SUP(S,"j");
m: Integer := coerce(#l);
r: Integer := degree(delta);
mu := m-r;
mus : S := coerce(mu);
val : S := apply(leadingCoefficient(delta),mus);
if (mu >= 0) and (val = 0) then f
res : Quotient(S) := 0;
for j in 0..r-1 repeatf
el : Quotient(S) := coerce(element(l,mu+j+1));
ell : S := apply(coefficient(delta,j),mus);
res:=res-(ell*numerator(el))/denominator(el)
g
coerce(numerator(res)/(denominator(res)*val))
g
else failed
g
coefficients(ps:%, nb: Integer): Partial List Quotient(S) == f
import from Partial(Quotient(S));
cond := initcond(ps);
delta := delto(ps);
m : Integer := coerce(#cond);
res: List Quotient(S) := nil;
welldefined: Boolean := true;
if (nb<=m) then res:=[coerce(element(cond,i)) for i in 1..nb]
else f
res := cond;
i : Integer := 1;
while (i <= nb-m) and welldefined repeatf
nextco := nextCoeff(res,delta);
if failed? nextco then welldefined := false
else res := concat(res, list(coerce(nextco)));
159
i := i + 1
g
g
if welldefined then coerce(res) else failed
g
coefficients(ps:%, nb:SingleInteger):Partial List Quotient(S) ==
coefficients(ps,coerce(nb)$Integer);
160
----------------------------------- runge.as ---------------------------------
#include "sumit.as"
#library powerseries "powerseries.ao"
#library polodo "polodo.ao"
#library eulerlodo "eulerlodo.ao"
#library complexring "complexring.ao"
161
dydx: List CF := nil;
coefr := eval(coefficient(eqdiff,r),gamma(t));
while coerce(i) <= r-1 repeat f
dydx:=concat!(dydx,list(y(i+1)*gammaderiv(t)));
res:=res+eval(coefficient(eqdiff,coerce(i)-1),gamma(t))*y(i);
i := i + 1
g
if (gamma(t)=0) then dydx:=concat!(dydx,list(znieme*gammaderiv(t)))
else f
res:=res+eval(coefficient(eqdiff,r-1),gamma(t))*y(i);
res := eval(sec,gamma(t))-res;
res := gammaderiv(t) * res / coefr;
dydx:=concat!(dydx, list res)
g
dydx
g
eval(pol: SUP(S,"x"), xt: CF): CF == f
import from Integer,S;
at: CF := 0;
for i in 0..degree(pol) repeat f
coeff := coefficient(pol,i);
coefff : CF := coerce(coeff);
at := at + coefff * xt^$CF i
g
at
g
eulerDerivs(eqdiff:LOEDO(S),sec:SUP(S,"x"),gamma:F->CF,
gammaderiv: F -> CF, a1: CF): (List CF, F)->List CF== f
(y: List CF, t: F):List CF +->
eulerfunctionDerivs(eqdiff,sec,gamma,gammaderiv,y,t,a1)
g
eulerfunctionDerivs(eqdiff:LOEDO(S),sec:SUP(S,"x"),gamma:F->CF,
gammaderiv:F->CF,y:List CF,t:F,a1:CF):List CF== f
r: Integer := degree(eqdiff);
dydx: List CF := nil;
if (t = 0) then f
i: SI := 1;
while coerce(i) <= r repeat f
dydx:=concat!(dydx,list(a1*gammaderiv(0)));
162
i := i+1;
g
g
else f
xt := gamma(t);
i: SI := 1;
alphat := gammaderiv(t) / xt;
res: CF := 0;
while coerce(i) <= r-1 repeat f
dydx := concat!(dydx,list(y(i+1) * alphat));
i := i+1
g
coefr := eval(coefficient(eqdiff,r),xt);
i:=1;
while coerce(i) <= r repeat f
tt: CF := 1;
coef: CF := 0;
coefi := coefficient(eqdiff,coerce(i)-1);
di := degree(coefi);
for j in 0..di repeatf
coef:=coef+coerce(coefficient(coefi,j))$S *tt;
tt := tt*xt
g
res := res + coef * y(i);
i := i+1;
g
res := eval(sec, xt) - res;
res := res / coefr;
res := res * alphat;
dydx:=concat!(dydx, list res)
g
dydx
g
rk4f(cond:List CF,xbegin:F,xend:F,nstep:SI,derivs:(List CF,F)->List CF):
List CF == f
h : F := (xend-xbegin) / coerce(nstep);
y0 := cond;
x0 := xbegin;
for i in 1..nstep repeat f
x1 := x0 + h;
y0 := rk4step(y0,x0,x1,derivs);
x0 := x1
163
g
y0
g
rk4step(y0:List CF,x0:F,x1:F,derivs:(List CF,F)->List CF):
List CF == f
h := x1-x0;
k1 := h * derivs(y0 , x0);
k2 := h * derivs(y0 + 0.5*k1 , x0 + 0.5*h);
k3 := h * derivs(y0 + 0.25*(k1 + k2) , x0 + 0.5*h);
k4 := h * derivs(y0 - k2 + 2. *k3, x0 + h);
y1 := y0 + 1./6. * (k1 + 4. * k3 + k4);
dispose!(k1);
dispose!(k2);
dispose!(k3);
dispose!(k4);
y1
g
(h: F) * (x: List CF) : List CF == f
import from SingleInteger;
[h*xx for xx in x]
g
(x: List CF) + (y: List CF) : List CF == f
import from SingleInteger;
cardx := #(x);
[x(i) + y(i) for i in 1..cardx]
g
(x: List CF) - (y: List CF) : List CF == f
import from SingleInteger;
cardx := #(x);
[x(i) - y(i) for i in 1..cardx]
g
g
164
------------------------------------- un.as ----------------------------------
#include "sumit.as"
session():() == f
coef1:SUP(S,"j"):=monomial(1,0);
coef0:SUP(S,"j"):=monomial(1,1);
print << "Polynome aux differences: " << newline;
pol:POLDELTO(S):=monomial(coef0,0)+monomial(coef1,1);
print << "Liste des premiers coefficients g
en
erant la serie ";
print << newline;
inip:List(Quotient(S)):=list((0,1));
print << inip << newline;
print << "S
erie d'Euler:" << newline;
ps:PowerSeries(S):=createPowerSeries(inip,pol);
print << ps << newline;
print << "Liste des pentes:" << newline;
sum:List Ratio SingleInteger:=list((1));
print << sum << newline;
print << newline;
print << "Point en lequel on veut calculer la somme:" << newline;
zr: CF := complex(0.01,0.);
print << "zr = " << zr << newline;
print << "Somme:" << newline;
s := balser(ps,sum,zr);
print << s << newline;
print << newline;
165
print << "Point en lequel on veut calculer la somme:" << newline;
zr: CF := complex(0.1,0.);
print << "zr = " << zr << newline;
print << "Somme:" << newline;
s := balser(ps,sum,zr);
print << s << newline;
print << newline;
print << "Point en lequel on veut calculer la somme:" << newline;
zr: CF := complex(1,0.);
print << "zr = " << zr << newline;
print << "Somme:" << newline;
s := balser(ps,sum,zr);
print << s << newline
g
166