Méthode de sommation

Méthode de sommation

Série divergente

En mathématiques, une série infinie est dite divergente si la suite de ses sommes partielles n'est pas convergente.

En ce qui concerne les séries de nombres réels, ou de nombres complexes, une condition nécessaire de convergence est que le terme général de la série tende vers 0. Par contraposition, cela fournit de nombreux exemples de séries divergentes, par exemple celle dont tous les termes valent 1. Un exemple de série divergente dont le terme général tend vers 0 est la série harmonique :

1 + {1 \over 2} + {1 \over 3} + {1 \over 4} + {1 \over 5} + \cdots \ = \ \sum_{n=1}^\infty \ \frac{1}{n}

dont la divergence a été démontrée au Moyen Âge par le mathématicien Nicole Oresme.

Dans certains cas, il est malgré tout possible d'attribuer une valeur finie à la série en usant d'une procédure dite de « sommation », ou de « sommabilité », dont il existe plusieurs variantes. La série de Grandi 1-1+1-1+1… se voit ainsi par exemple attribuer la valeur \frac{1}{2}.

Ce point de vue est fondamental en physique théorique, où de nombreuses théories[1] ne sont calculables qu'au moyen de la théorie des perturbations, qui fournit des résultats sous la forme de séries qui sont le plus souvent divergentes.

Sommaire

Propriétés des méthodes de sommation

Une méthode de sommation est une fonction partant d'un certain sous-ensemble de l'ensemble des suites de sommes partielles de séries à termes réels ou complexes (qui s'identifie naturellement à l'ensemble des suites à termes réels ou complexes, mais il est usuel et donc plus pratique de ne pas faire cette identification quand on parle de série), et à valeurs dans l'ensemble des nombres réels ou complexes. On fixe les notations suivantes : (an) est une suite de nombres réels ou complexes, s est la série de terme général an, et ses sommes partielles sont notées s_n=\sum_{i=0}^n a_i. Les premières propriétés à discuter concernant une méthode de sommation M sont :

  1. la régularité. Une méthode de sommation M est dite régulière si, dès que la suite de sommes partielles (sn) est convergente vers une limite S, l'identité M(s)=S est vérifiée.
  2. la linéarité. La méthode M est dite linéaire si son ensemble de départ admet une structure d'espace vectoriel (réel ou complexe), et qu'elle définit une application linéaire de cet espace dans la droite d'arrivée.
  3. la stabilité. On définit une deuxième série s, à partir de la série s par décalage, en posant que son terme général est a'n=an+1 (ou encore que sa somme partielle est s'n=sn+1-s0). La méthode M est dite stable si l'appartenance de ssup>, à l'ensemble de départ de M est équivalente à celle de s, et si, dans ce cas, on a l'identité : M(s')=M(s)-a0.

Certaines méthodes importantes, telles que la sommation de Borel ne sont pas stables. Du point de vue numérique, l'abandon des propriétés de régularité et linéarité permet aussi d'aboutir à des méthodes puissantes, comme celle des approximants de Padé.

La comparaison de deux méthodes distinctes de sommation peut se faire à travers les notions suivantes : deux méthodes A et B sont dites compatibles (ou consistantes) si elles assignent la même valeur à chaque série qu'elles somment toutes deux. Entre deux méthodes compatibles, si l'une parvient à sommer toutes les séries que l'autre parvient à sommer, elle est dite plus forte.

Point de vue axiomatique

Le point de vue axiomatique consiste à trouver des conséquences sur les propriétés d'une méthode de sommation à partir des propriétés de base. Par exemple, toute méthode régulière, stable et linéaire qui parvient à sommer les séries géométriques de raison différente de 1 les somme à la même valeur, spécifiée dans le calcul suivant :

\begin{align} G(r,c) & = \sum_{k=0}^\infty cr^k & & \\ & = c + \sum_{k=0}^\infty cr^{k+1} & & \mbox{ (par stabilite) } \\ & = c + r \sum_{k=0}^\infty cr^k & & \mbox{ (par linearite) } \\ & = c + r \, G(r,c), & & \mbox{ donc } \\ G(r,c) & = \frac{c}{1-r} , & & \\ \end{align}


Théorèmes abéliens et taubériens

Une méthode de sommation M est dite régulière si les résultats qu'elle fournit sont, pour les séries convergentes, les mêmes que les sommes de ces séries au sens classique. Un tel résultat porte le nom général de théorème abélien, et le théorème d'Abel portant sur la valeur des séries entières sur le cercle de convergence, en est un prototype. Des résultats réciproques, assurant qu'une méthode M de sommation étant fixée, toute série s sommée par cette méthode vérifiant une certaine condition supplémentaire (dépendant de la méthode) est en fait une série convergente, sont appelés théorèmes taubériens. Demander une condition supplémentaire est important, puisqu'une méthode vérifiant un théorème taubérien sans telle condition ne serait en fait pas capable de sommer d'autres séries que les convergentes, et donc sans intérêt pour l'étude des séries divergentes.

L'opérateur qui assigne à une série convergente sa somme est linéaire, et d'après le théorème de Hahn-Banach, peut être prolongé en un opérateur linéaire sur l'espace des séries dont la suite des sommes partielles est bornée. Cependant, cette manière d'attaquer le problème s'avère peu fertile : d'une part, la démonstration obtenue ainsi repose sur le lemme de Zorn, et est donc non constructive ; d'autre part, il n'y a aucun résultat d'unicité, et les différentes méthodes de sommation obtenues sont peu compatibles.

Le problème de la sommation des séries divergentes est ainsi centré sur la recherche des méthodes explicites, telles que la sommation d'Abel, le lemme de Cesàro, ou la sommation de Borel, et leurs relations. Les théorèmes taubériens forment aussi un sujet important ; notamment à travers le théorème taubérien de Wiener qui éclaira des liens inattendus entre l'analyse de Fourier et les méthodes issues de l'étude des algèbres de Banach .

La sommation des séries divergentes est aussi liée aux méthodes d'extrapolation et aux méthodes de transformation de suite, telles que les approximants de Padé.

Moyennes de Nörlund

Soit p=(pn)une suite à termes positifs et vérifiant la convergence :

\frac{p_n}{p_0+p_1 + \cdots + p_n} \rightarrow 0.

Soit une suite s, de terme général sm. Sa moyenne de Nörlund relativement à la suite p est la limite de la suite de terme général :

t_m = \frac{p_m s_0 + p_{m-1}s_1 + \cdots + p_0 s_m}{p_0+p_1+\cdots+p_m},

et elle est notée Np(s).

Ces méthodes de sommations sont régulières, linéaires, stables, et consistantes entre elles. Pour k entier strictement positif, le cas particulier de la suite pk de terme général :

p_n^k = {n+k-1 \choose k-1} = \frac{\Gamma(n+k)}{\Gamma(k)},

est la méthode de sommation de Cesàro d'ordre k, notée Ck, avec donc : Ck(s) = N(pk)(s). Il est usuel de considérer pour C0 est la sommation des séries convergentes, et C1 est la sommation de Cesàro ordinaire. Pour h > k, la sommation de Cesàro d'ordre h est plus forte que celle d'ordre k.

Les méthodes de sommation d'Abel

Soit λ = {λ0, λ1, λ2, …} une suite de réels positifs strictement croissante tendant vers l'infini. La somme d'Abel liée à la suite λ d'une série s de terme général an est

A_\lambda(s) = \lim_{x \rightarrow 0^{+}} f(x),

sous la condition que la somme suivante définissant la fonction f soit convergente pour x assez proche de 0 :

f(x) = \sum_{n=0}^\infty a_n \exp(-\lambda_n x).

Les séries de cette forme sont des généralisations des séries de Dirichlet.

Ces méthodes de sommation sont régulières, linéaires, stables, mais il n'y a pas en général consistance entre deux telles méthodes (i.e pour deux choix distincts de λ).

Sommation d'Abel

Dans le cas λn = n, on obtient par le changement de variables z = exp(-x) l'expression :

f(x) = \sum_{n=0}^\infty a_n \exp(-nx) = \sum_{n=0}^\infty a_n z^n.

Et la limite de f quand x tend vers 0 est donc la limite de la série entière ci-dessus quand z tend vers 1 (le long de l'axe réel, par valeur inférieure).

Cette sommation particulière est compatible avec et plus forte que la sommation de Cesàro à n'importe quel ordre.

Sommation de Lindelöf

Dans le cas λn = n ln(n), on obtient :

f(x) = a_1 + a_2 2^{-2x} + a_3 3^{-3x} + \cdots .

La limite quand x tend vers 0 est la somme de Lindelöf de la série de terme général an. Cette méthode a des applications aux séries entières.

Articles liés

Bibliographie

Vulgarisation

  • Jean-Pierre Ramis ; Les séries divergentes, Pour La Science 350 (Décembre 2006), 132-139.

Bibliothèque virtuelle

  • Journées X-UPS ; Séries divergentes et procédés de resommation, (1991). pdf. Contient les quatre contributions suivantes :
    • Jean-Pierre Ramis ; Séries divergentes et théories asymptotiques ;
    • Michèle Loday-Richaud ; Séries formelles provenant de systèmes différentiels linéaires méromorphes ;
    • Jean Thomann ; Procédés formels et numériques de sommation de séries solutions d'équations différentielles ;
    • Alain Chenciner ; Séries divergentes de la mécanique céleste (problèmes planétaires).

Ouvrages de référence

  • Émile Borel ; Leçons sur les séries divergentes, Gauthier-Villars, Paris (Deuxième édition - 1928).
  • Godfrey H Hardy ; Divergent Series, Oxford University Press (1949). Réédition : American Mathematical Society (1992), ISBN 0-8218-2649-2.
  • Jean-Pierre Ramis ; Séries divergentes et théories asymptotiques, Panoramas et Synthèses 0 (1994), ISBN 2-85629-024-8.
  • Bernard Malgrange ; Sommation des séries divergentes, Expositiones Mathematicae 13 (1995), 163-222.

Notes

  1. ↑ Mentionnons par exemple : le problème à N corps en mécanique céleste lorsque N > 2 ; le problème à N corps en relativité générale lorsque N > 1 ; le problème à N > 2 corps en mécanique quantique ; la théorie quantique des champs perturbative du « modèle standard » ; ...
  • Portail des mathématiques Portail des mathématiques
  • Portail de la physique Portail de la physique
Ce document provient de « S%C3%A9rie divergente ».

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Méthode de sommation de Wikipédia en français (auteurs)

Игры ⚽ Поможем сделать НИР

Regardez d'autres dictionnaires:

  • sommation — 1. sommation [ sɔmasjɔ̃ ] n. f. • v. 1283; de 1. sommer ♦ Action de sommer qqn (cf. Mise en demeure). Sommation de paraître en justice (⇒ assignation, citation, intimation) , de satisfaire à une obligation (⇒ commandement, injonction) . Avoir… …   Encyclopédie Universelle

  • Sommation d'Abel — Sommation par parties La sommation par parties est l équivalent pour les séries de l intégration par parties. On l appelle également transformation d Abel ou sommation d Abel. Sommaire 1 Méthode 2 Similitude avec l intégration par parties 3 …   Wikipédia en Français

  • MÉTHODE — Le mot «méthode», d’origine grecque, signifie chemin: celui, tracé à l’avance, qui conduit à un résultat. La méthode ou bien se rapporte à la meilleure façon de conduire un raisonnement, ou bien est un programme de recherche (Aristote: Essayer… …   Encyclopédie Universelle

  • Sommation d'Ewald — La sommation d Ewald (ou parfois somme d Ewald) est une méthode de calcul des énergies d interaction de systèmes périodiques (et particulier des cristaux), et tout particulièrement les énergies électrostatiques. La sommation d Ewald est un cas… …   Wikipédia en Français

  • Méthode des nœuds — Dans un noeud, la somme des courants entrants égale la somme des courants sortants. La méthode des nœuds est la mise en pratique d une des lois de Kirchhoff : la loi des noeuds (circuits). Il s agit de poser le système d équations où les… …   Wikipédia en Français

  • Sommation de Cesàro — Lemme de Cesàro En analyse réelle ou complexe, la moyenne de Cesàro d une suite (an) est la suite obtenue en effectuant la moyenne arithmétique des n premiers termes de la suite. Le nom de Cesàro provient du mathématicien italien Ernesto Cesàro.… …   Wikipédia en Français

  • Méthode spectrale — Analyse spectrale En physique et dans diverses techniques apparaissent des signaux, fonctions du temps ou, plus exceptionnellement, d une variable d espace. L analyse spectrale recouvre plusieurs techniques de description de ces signaux dans le… …   Wikipédia en Français

  • Formule de sommation de Poisson — Formule sommatoire de Poisson Pour les articles homonymes, voir Poisson (homonymie). La formule sommatoire de Poisson, parfois appelée resommation de Poisson, établit une relation entre le spectre de l opérateur de Laplace Beltrami sur le cercle… …   Wikipédia en Français

  • Serie divergente — Série divergente En mathématiques, une série infinie est dite divergente si la suite de ses sommes partielles n est pas convergente. En ce qui concerne les séries de nombres réels, ou de nombres complexes, une condition nécessaire de convergence… …   Wikipédia en Français

  • Série divergente — En mathématiques, une série infinie est dite divergente si la suite de ses sommes partielles n est pas convergente. En ce qui concerne les séries de nombres réels, ou de nombres complexes, une condition nécessaire de convergence est que le terme… …   Wikipédia en Français

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”