Série formelle

Un article de Wikipédia, l'encyclopédie libre.

En algèbre, les séries formelles sont une généralisation des polynômes autorisant des sommes infinies, de la même façon qu'en analyse, les séries entières généralisent les fonctions polynomiales, à ceci près que dans le cadre algébrique, les problèmes de convergence sont évités par des définitions ad hoc. Ces objets sont utiles pour décrire de façon concise des suites et pour trouver des formules pour des suites définies par récurrence via ce que l'on appelle les séries génératrices.

Une construction formelle[modifier | modifier le code]

Soit R un anneau commutatif (unifère). L'anneau R[[X]] des séries formelles sur R en une indéterminée X est le groupe abélien (RN, +) des suites à valeurs dans R, muni d'une certaine loi interne de multiplication. Plus précisément[1],[2] :

  • une suite (an)n≥0 d'éléments de R, lorsqu'elle est considérée comme un élément de R[[X]], se note[3]:

;;

  • l'addition de deux suites se fait terme à terme : ;
  • le produit de deux suites, appelé produit de Cauchy, est défini par :

(c'est une sorte de produit de convolution discret).

Ces deux opérations font de R[[X]] un anneau commutatif.

Ordre d'une série formelle[modifier | modifier le code]

Soit S(X) = ∑n≥0 anXn une série formelle, notée encore S pour abréger. Son ordre ω(S) est un entier qui n'est défini que si S ≠ 0 : c'est le plus petit n tel que an ≠ 0[4].

Si R est intègre alors l'anneau R[[X]] l'est aussi, et ω(ST) = ω(S) + ω(T) pour S et T non nulles dans cet anneau.

Propriétés[modifier | modifier le code]

Propriétés algébriques[modifier | modifier le code]

  • L'anneau de polynômes R[X] est un sous-anneau de R[[X]][3], les polynômes étant les séries formelles ∑n≥0 anXn dont les coefficients an sont nuls à partir d'un certain rang. Puisque R[X] contient lui-même R comme sous-anneau (en identifiant les éléments de R aux polynômes constants), R[[X]] est donc une R-algèbre associative et R[X] une sous-algèbre.
  • La formule de la série géométrique est valable dans R[[X]] :.Plus généralement, un élément ∑ an Xn de R[[X]] est inversible dans R[[X]] si et seulement si son coefficient constant a0 est inversible dans R. Cela implique que le radical de Jacobson de R[[X]] est l'idéal engendré par X et le radical de Jacobson de R.
  • Pour tout entier naturel n, avec, pour tout m inversible dans R, [5].Dans le cas de séries formelles à coefficients complexes, on peut encore définir les puissances complexes fα d'une série formelle f de terme constant égal à 1, par composition avec la série binomiale (1 + x)α, ou avec les séries exponentielle et logarithmique en posant fα := exp(αlog(f)), ou comme la solution formelle de terme constant 1 de l'équation différentielle f(fα)′ = αfαf′, les trois définitions étant équivalentes. On en déduit que (fα)β = fαβ et fαgα = (fg)α.
  • Les idéaux maximaux de R[[X]] dérivent tous de R de la manière suivante : un idéal M de R[[X]] est maximal si et seulement si MR est un idéal maximal de R et M est engendré en tant qu'idéal par X et par MR.
  • Plusieurs propriétés algébriques de R sont transmises à l'anneau R[[X]], comme le fait d'être intègre, ou noethérien, ou local.
  • Si K est un corps commutatif alors K[[X]] est un anneau de valuation discrète, dont le corps des fractions, noté K((X)), est constitué des expressions de la formeM est un entier qui dépend de f. Bourbaki[6] appelle ces expressions les « séries formelles généralisées en X à coefficients dans K ». On les appelle souvent[7] séries formelles de Laurent (en X, à coefficients dans K).

Structure topologique[modifier | modifier le code]

La topologie sur R[[X]] la plus fine pour laquelle, quels que soient les coefficients an dans R, est la topologie produit sur RNR est muni de la topologie discrète.

Par construction, cet espace est :

On reconnaît la distance de la topologie I-adique, où I = (X) est l'idéal des multiples de X. Elle fait de R[[X]] un anneau topologique (si K est un corps commutatif, K((X)) est muni de même d'une structure de corps topologique).

Par conséquent, la propriété qui a motivé le choix de cette topologie se généralise : une série de terme général fn converge dans R[[X]] si et seulement si pour tout entier naturel N, presque toutes les séries formelles fn (au sens : toutes sauf un nombre fini) sont multiples de XN. De plus, tout réarrangement de la série converge alors vers la même limite.

Les séries formelles vues comme des fonctions[modifier | modifier le code]

En analyse, une série entière convergente définit une fonction à valeurs réelles ou complexes. Les séries formelles peuvent également être vues comme des fonctions dont les ensembles de départ et d'arrivée sont à manier avec précaution. Si f = ∑an Xn est un élément de R[[X]], S une algèbre commutative et associative sur R, I un idéal de S tel que la topologie I-adique sur S soit complète, et x un élément de I, alors il est possible de définir :

Cette série converge dans S grâce à l'hypothèse sur x. De plus :

et

Toutefois, ces formules ne sont pas des définitions et doivent être démontrées.

Puisque la topologie sur R[[X]] est la topologie (X)-adique et que R[[X]] est complet, il est possible d'appliquer une série formelle à une autre série formelle, à condition que les arguments n'aient pas de coefficient constant : f(0), f(X2X) et f((1 – X)−1 – 1) sont bien définis pour toute série formelle fR[[X]].

Avec ce formalisme, nous pouvons donner une formule explicite pour l'inverse (au sens multiplicatif) d'une série formelle f dont le coefficient constant a = f(0) est inversible dans R :

Si la série formelle g avec g(0) = 0 est donnée implicitement par l'équation

f est une série entière connue vérifiant f(0) = 0, alors les coefficients de g peuvent être calculés explicitement en utilisant le théorème d'inversion de Lagrange.

Dérivation de séries formelles[modifier | modifier le code]

Si f = ∑ an Xn est un élément de R[[X]], on définit sa dérivée formelle en utilisant l'opérateur D défini par

Cette opération est R-linéaire :

pour a, b dans R et f, g dans R[[X]].

Beaucoup de propriétés de la dérivation classique des fonctions sont valables pour la dérivation des séries formelles. Par exemple, la règle de dérivation d'un produit est valable :

ainsi que la règle de dérivation d'une composée :

Dans un certain sens, toutes les séries formelles sont des séries de Taylor, car si f = ∑an Xn, en écrivant Dk comme la k-ième dérivée formelle, on trouve que

On peut également définir la dérivation pour des séries formelles de Laurent d'une façon naturelle, et dans ce cas, la règle du quotient, en plus des règles énumérées ci-dessus, sera également valable.

Séries formelles de plusieurs variables[modifier | modifier le code]

La façon la plus rapide de définir l'anneau R[[X1, … , Xr]] des séries formelles sur R en r variables commence avec l'anneau S = R[X1, … , Xr] des polynômes sur R. Soit I l'idéal de S engendré par X1, … , Xr ; considérons alors la topologie I-adique sur S et complétons-la (en). Le résultat de cette complétion est un anneau topologique complet contenant S et qui est noté R[[X1, … , Xr]].

Pour n = (n1, … , nr) ∈ Nr, on écrit Xn = X1n1Xrnr. Alors chaque élément de R[[X1, … , Xr]] s'écrit de manière unique comme une somme de la façon suivante :

Ces sommes convergent pour n'importe quel choix des coefficients anR et l'ordre dans lequel les éléments sont sommés n'a pas d'importance.

La topologie sur R[[X1, … , Xr]] est la topologie J-adique, où J est l'idéal de R[[X1, … , Xr]] engendré par X1, … , Xr (i.e. J est constitué des séries dont le coefficient constant est nul).

Puisque R[[X1, … , Xr]] est un anneau commutatif, on peut définir son anneau des séries formelles, noté R[[X1, … , Xr]]. Cet anneau est naturellement isomorphe à l'anneau R[[X1, … , Xr]] défini prédemment, mais ces anneaux sont topologiquement différents.

Si R est principal alors R[[X1, … , Xr]] est factoriel.

Comme pour les séries formelles à une variable, on peut « appliquer » une série formelle à plusieurs variables à une autre série formelle à condition que son coefficient constant a(0,…,0) soit nul. Il est aussi possible de définir des dérivées partielles de ces séries formelles. Les dérivées partielles commutent comme elles le font pour des fonctions continument différentiables.

Applications[modifier | modifier le code]

Formules trigonométriques[modifier | modifier le code]

On peut utiliser des séries formelles pour prouver la partie purement algébrique de certaines identités classiques de l'analyse. Par exemple, les séries formelles (à coefficients rationnels) vérifient (la dernière expression étant définie dans l'anneau Q[[X,Y]].

Détermination du terme général d'une suite[modifier | modifier le code]

De multiples méthodes (cf. article détaillé) permettent de représenter une suite par une série formelle et d'expliciter les termes de la suite (ou au moins, des informations sur son comportement) à partir de calculs sur la série associée.

Propriété universelle[modifier | modifier le code]

L'anneau des séries formelles R[[X1, … , Xr]] possède la propriété universelle suivante :

  • si S est une R-algèbre commutative,
  • si I est un idéal de S tel que S soit complet pour la topologie I-adique et
  • si x1, … , xr sont des éléments de I,

alors il existe une unique application Φ : R[[X1, … , Xr]] → S vérifiant

Séries formelles généralisées[modifier | modifier le code]

Soit G un groupe abélien totalement ordonné.

On peut alors construire l'ensemble R((G)) des sommes

portant sur des sous-ensembles bien ordonnés I de G et où les ai sont des éléments de R. Une telle somme est nulle si tous les ai sont nuls. Plus formellement, ce sont les applications de G dans R à support bien ordonné.

Alors R((G)) est un anneau commutatif appelé l'anneau des séries formelles généralisées sur G. La condition que les sommes portent sur des sous-ensembles bien ordonnés I assure que le produit est bien défini.

Si R est un corps et si G est le groupe des entiers relatifs, on retrouve les séries formelles de Laurent.

Diverses propriétés de R peuvent se transférer à R((G)).

Si R est un corps, il en est de même de R((G)).
Si R est un corps ordonné, on peut définir sur R((G)) une relation d'ordre en affectant à chaque série le signe de son coefficient dominant : le coefficient associé au plus petit i tel que ai soit non nul.
Si G est un groupe divisible et R un corps réel clos alors il en est de même de R((G))
Enfin, si G est un groupe divisible et R un corps algébriquement clos alors il en est de même de R((G))

Cette théorie a été développée par le mathématicien autrichien Hans Hahn.

Notes et références[modifier | modifier le code]

(en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Formal power series » (voir la liste des auteurs).
  1. Pierre Colmez, Éléments d'analyse et d'algèbre (et de théorie des nombres), Palaiseau, Éditions de l'École Polytechnique, , 469 p. (ISBN 978-2-7302-1563-3, lire en ligne), p. 231.
  2. (en) Serge Lang, Algebra, [détail des éditions], p. 146.
  3. a et b N. Bourbaki, Éléments de mathématique, Algèbre, p. A III.28, aperçu sur Google Livres.
  4. Henri Cartan, Théorie élémentaire des fonctions analytiques d'une ou plusieurs variables complexes [détail de l’édition], p. 11.
  5. (en) I. S. Gradshteyn et I. M. Ryzhik, Table of Integrals, Series, and Products (lire en ligne), p. 18, § 0.314.
  6. N. Bourbaki, Éléments de mathématique, Algèbre, parties 4 à 7, rééd. 2007, p. IV.36-37, aperçu sur Google Livres.
  7. Bernard Randé, Fractions rationnelles et séries formelles, éd. Techniques Ingénieur, 2000, section 1.4.3, page AF 39-6, aperçu sur Google Livres ; Alin Bostan, « Algorithmes rapides pour les polynômes, séries formelles et matrices », ch. 8, Les cours du C.I.R.M, vol. 1, no 2, 2010, p. 177.

Voir aussi[modifier | modifier le code]

Articles connexes[modifier | modifier le code]

Liens externes[modifier | modifier le code]