Srie (mathmatiques)

1
Srie (mathmatiques)
En mathmatiques, la srie constitue une gnralisation de la notion de somme pour une succession infinie de
termes. L'tude des sries consiste valuer la somme d'un nombre fini n de termes successifs, puis, par un calcul de
limite, identifier le comportement lorsque n devient indfiniment grand. Un certain nombre de mthodes
permettent de dterminer la nature (convergence ou non) des sries sans raliser explicitement les calculs.
Sries numriques
Une srie de terme gnral est formellement le couple form par les deux suites et
o, pour tout entier naturel n, .
Cette suite est aussi appele la suite des sommes partielles , puisqu' un indice n donn, fait
correspondre la somme des n + 1 premiers termes de .
Ainsi, la suite des sommes partielles associe la srie de terme gnral est de la forme :
Les sries numriques sont les sries dont les termes x
n
sont des nombres rels ou des nombres complexes. Il existe
galement des sries vectorielles, dont les termes sont des vecteurs d'un certain espace vectoriel. On peut ainsi
tudier par exemple des sries de matrices ou des sries de fonctions. Leurs spcificits seront indiques plus bas.
On note la srie de terme gnral x
n
: ou .
Convergence
La srie numrique est dite convergente si la suite des sommes partielles est convergente ; sa
limite S est alors appele somme de la srie, elle est note , et son calcul est la sommation de la srie. Dans le
cas contraire, la srie est dite divergente.
Deux sries sont dites de mme nature si elles sont toutes deux convergentes ou toutes deux divergentes.
On parle de srie absolument convergente si la srie de terme gnral |x
k
| est elle-mme convergente (|x| signifiant ici
valeur absolue de x si x est un nombre rel, module de x si x est un nombre complexe, norme s'il s'agit d'un
autre lment). Si la srie est convergente sans tre absolument convergente, on parle de srie semi-convergente.
Le fait qu'une srie puisse tre convergente rsout beaucoup de problmes, comme certains des paradoxes de Znon.
En revanche, il est rare qu'on sache calculer de faon explicite la somme d'une srie. Hormis quelques calculs
classiques, la thorie des sries a pour objectif de dterminer la nature d'une srie sans calcul de la suite des sommes
partielles, et ventuellement de procder un calcul approch de la somme.
Si la srie converge alors son terme gnral tend vers zro. La rciproque est fausse (exemple de la srie harmonique
dont le terme gnral tend vers zro tout en tant divergente). Si une srie ne respecte pas cette condition, on dit
qu'elle diverge grossirement.
Srie (mathmatiques)
2
Exemple de srie
La srie de terme gnral est convergente et sa somme vaut :
Il est possible de visualiser sa convergence sur la droite relle : on peut imaginer un segment de longueur 2, que
l'on dcoupe en segments successifs de longueurs 1, 1/2, 1/4, etc. Il y a toujours assez de place pour marquer le
segment suivant, parce que la longueur restante est constamment gale la longueur du segment qui vient d'tre
marqu. Lorsque nous avons marqu 1/2, il reste un morceau de longueur 1/2 non marqu, ainsi nous pouvons
encore certainement marquer le prochain 1/4. Cet argument ne peut en aucune faon servir de dmonstration que la
somme de toutes les longueurs des segments est gale 2, mais permet de deviner que cette somme va rester
infrieure 2 et donc que la suite des sommes partielles est croissante et majore.
Cette srie est une srie gomtrique et on dmontre sa convergence en crivant pour tout entier naturel n, sa somme
partielle au rang n :
La suite gomtrique de raison 1/2 est convergente de limite nulle donc
Reste d'une srie convergente
Si la srie est convergente, alors pour tout entier naturel n, la somme existe, et
. Le terme s'appelle le reste d'ordre n de la srie .
Il est facile, par un procd itratif, de calculer un terme de la suite des sommes partielles. La relation entre la
somme partielle, la somme et le reste s'crit
Ainsi, si on sait borner le reste, la somme partielle peut tre vue comme une valeur approche de la somme, avec une
incertitude connue.
Srie et suite des termes gnraux
Il est possible de retrouver le terme gnral partir de la suite des sommes partielles par les formules
Ainsi toute somme partielle est une suite, mais toute suite est galement une somme partielle (associe la srie des
diffrences des termes conscutifs, avec un premier terme nul). Selon le cas, on aura intrt considrer une suite
comme une somme partielle, ou inversement, selon la facilit de l'analyse des termes.
Par ailleurs, si la srie est convergente, alors la suite converge vers 0. En effet, si l'on suppose que
notre srie converge vers une valeur , alors on a . La rciproque est
fausse (on peut prendre la srie harmonique comme contre-exemple). Lorsque le terme gnral d'une srie ne tend
pas vers 0, celle-ci est dite trivialement ou grossirement divergente.
Exemple : est une srie grossirement divergente, en revanche, pour , bien que le terme
gnral tende vers zro, on ne peut pas trancher sans d'autres thormes.
Srie (mathmatiques)
3
Aspects historiques
La considration de vritables sommes infinies est une question troitement lie celle du passage la limite.
L'absence persistante des concepts satisfaisants engendra de nombreuses interrogations et spculations, l'exemple
des paradoxes de Znon. On trouve nanmoins dj chez Archimde (La quadrature de la parabole) les premires
sommations explicites, avec les progressions gomtriques.
En Angleterre, Richard Suiseth (XIV
e
sicle) calcule la somme de la srie de terme gnral et son
contemporain Nicole Oresme tablit que la srie harmonique (de terme gnral 1/n) est divergente
[1]
. la mme
poque, le mathmaticien et astronome indien Madhava est le premier considrer des dveloppements de fonctions
trigonomtriques, sous forme de sries, sries de Taylor, sries trigonomtriques. Il utilise ces concepts pour des
calculs d'approximation (notamment pour estimer le nombre ) et effectue des estimations de l'erreur commise. Il
introduit aussi les premiers critres de convergence. Ses travaux furent poursuivis par ses successeurs de l'cole du
Kerala, rgion du sud de l'Inde, et nous sont connus par le livre Yuktibhasa
[rf.souhaite]
.
Au XVII
e
sicle, James Gregory redcouvre plusieurs de ces rsultats, notamment le dveloppement des fonctions
trigonomtriques en sries de Taylor et la srie de Gregory permettant le calcul de . En 1715, Brook Taylor, en
donnant la construction gnrale des sries qui portent son nom, tablit un lien fructueux avec le calcul diffrentiel.
Au XVIII
e
sicle galement, Leonhard Euler tablit de nombreuses relations remarquables portant sur des sries et
introduit les sries hypergomtriques.
tude de la nature des sries numriques
Calculs explicites
Il est rare de pouvoir calculer explicitement tous les termes de la suite des sommes partielles.
Les sries gomtriques sont celles dont chaque terme est obtenu en multipliant le terme prcdent par un nombre
constant (appel raison). La srie de terme gnral est convergente si et seulement si le nombre (rel ou
complexe) z vrifie : .
Exemples: toutes deux convergentes
Les sries tlescopiques sont de la forme
Elles sont convergentes si et seulement si la suite (b
n
) converge vers une limite L quand n tend vers l'infini. La valeur
de la somme de la srie est alors b
1
- L.
Principes d'tude
Il existe un grand nombre de rgles pour les sries termes positifs. Elles sont toutes bases sur le principe de
comparaison : si pour tout entier n, on a , alors
si la srie converge, la srie aussi ;
si la srie diverge, la srie aussi.
Pour ces sries termes positifs, il convient donc de dterminer la nature de certaines sries de rfrences (telles que
les sries gomtriques), puis de comparer ces sries.
L'tude des sries termes rels ou complexes, sans hypothse particulire, peut poser plus de problmes. Une
condition suffisante a une grande importance : si la srie des valeurs absolues (srie termes rels) ou des modules
(sries termes complexes) converge, alors la srie converge galement. Elle est alors dite
absolument convergente.
Srie (mathmatiques)
4
Il existe des sries convergentes sans tre absolument convergentes, comme la srie harmoniquealterne
. Les mthodes d'tude pour ce type de srie, plus techniques, (critre de convergence des sries alternes, thorme
d'Abel, ...) sont prsentes dans :
Exemples de rfrence
La srie harmonique est la srie : . Cette srie est divergente. On montre en effet que quand ,
o est la constante d'Euler.
La srie factorielle est la srie : . Cette srie a pour somme , la constante de Nper.
Les sries de la forme :
o est un rel quelconque,
sont convergentes si et seulement si . Des sries de ce type sont des sries de Riemann. Elles sont
galement dfinies pour complexe et convergentes si et seulement si . La fonction zta de
Riemann est la fonction qui, au complexe , associe la somme de cette srie.
Les sries de la forme :
, avec ,
sont convergentes si et seulement si ( ) ou ( et ). Ces sries sont les sries de Bertrand.
Sries valeurs vectorielles
Si E est un espace vectoriel norm, une srie dont les termes sont valeurs dans E est dite convergente lorsque la
suite des sommes partielles converge pour la norme choisie. Si E est de dimension finie, tous les choix de normes
donneront la mme notion de convergence.
Dans le cas des espaces de Banach, beaucoup de critres de convergence peuvent tre noncs, puisqu'il suffit de
prouver la convergence absolue de la srie pour montrer qu'elle converge. Cela permet frquemment de conclure
avec les outils d'tude des sries termes positifs.
Plus gnralement, la notion de srie peut tre dfinie dans tout groupe ablien topologique.
Sries de fonctions
Formellement, les sries de fonctions sont simplement des sries dont le terme gnral appartient un espace
vectoriel de fonctions. Ainsi la fonction exponentielle est somme d'une srie de fonctions puissances puisque
Il existe de nombreuses faons non quivalentes de dfinir la convergence d'une telle srie, comme dans le cas des
suites de fonctions. Les plus classiques sont sans doute la convergence simple et la convergence uniforme. Un grand
nombre de thormes existent dtaillant, en fonction du type de convergence, s'il est possible d'effectuer des calculs
tels que drivation ou intgration de la fonction somme d'une srie.
Srie (mathmatiques)
5
Sries trigonomtriques et sries de Fourier
Les sries trigonomtriques sont obtenues en sommant des fonctions sinusodales de frquence n.f o f est une
frquence de rfrence donne. Une question fondamentale en analyse harmonique est la possibilit de faire
apparatre une fonction priodique donne comme somme d'une srie trigonomtrique : sa srie de Fourier.
Sries entires
La plupart des fonctions usuelles en mathmatiques peuvent tre reprsentes localement par une srie de Taylor. Ce
sont des sries dont le terme gnral s'crit avec une puissance d'une variable ; elles sont appeles sries entires.
Mais seulement dans certains cas. Exemples :
Cette srie est convergente si et seulement si le nombre (rel ou complexe) z vrifie : .
Cette srie est convergente pour tout nombre rel ou complexe z.
Historiquement, les mathmaticiens comme Leonhard Euler travaillaient librement avec les sries, mme si celles-ci
n'taient pas convergentes. Lorsque les bases du calcul ont t solidement poses au dix-neuvime sicle, des
dmonstrations rigoureuses de la convergence des sries ont t exiges. Cependant, les calculs formels avec des
sries (pas forcment convergentes) sont l'origine des sries formelles dans les anneaux tudis en algbre
gnrale.
Les sries formelles sont aussi utilises en algbre combinatoire pour dcrire et tudier certaines suites, et aussi pour
les fonctions gnratrices.
Notion de sommes infinies
Les sries ne sont que l'exemple le plus simple de formalisation de la notion de somme infinie. Il existe d'autres
dfinitions, plus exigeantes ou au contraire plus souples.
Les sries ne sont pas vraiment des sommes
Il y a dans la dfinition des sommes de sries convergentes un calcul de somme finie, suivi d'un passage la limite.
cause de cette deuxime tape, l'expression somme infinie est incorrecte pour qualifier les sries. Une telle
somme n'est en effet pas commutative, ni associative, ni distributive vis--vis de la multiplication. Il n'est pas
possible, en gnral, de driver une telle somme terme terme par rapport un paramtre.
Les familles sommables ont des proprits qui leur donnent beaucoup plus de titres tre qualifies de sommes
infinies . Alors que dans le cas des sries, on ajoute les termes dans l'ordre de succession des indices , ...
puis , la notion de famille sommable demande d'obtenir un mme rsultat quel que soit l'ordre dans lequel on
effectue les sommations. La proprit de commutativit par exemple est alors vraie par dfinition mme.
Srie (mathmatiques)
6
Procds de sommation des sries divergentes
Les procds de sommation sont des types de convergence plus faibles permettant de dfinir la somme de certaines
sries divergentes. Par exemple le procd de sommation de Cesro donne pour rsultat 0 lorsqu'on somme la srie
Il est dfini en calculant successivement les moyennes des n premiers termes de la suite des sommes partielles et en
passant la limite.
Les autres procds de sommation les plus classiques sont la sommation d'Abel et la sommation de Borel.
Notes et rfrences
[1] [1] D'aprs Y. Chevallard, Thorie des sries, vol.1/ Srie numriques, Cdic/Nathan, 1979, Histoire et mthode, p.30.
Sources et contributeurs de larticle
7
Sources et contributeurs de larticle
Srie (mathmatiques) Source: http://fr.wikipedia.org/w/index.php?oldid=86917288 Contributeurs: 16@r, Aldoo, Aldbaran, Ambigraphe, Anarkman, Anne Bauval, Asram, Baleer, Barraki,
Benpin, CD, COLETTE, Caylane, Cdang, Claudius, Crochet.david, El Caro, Esnico30, Gchardon, Gem, Grecha, HB, Iznogood, Jaccard, Jerome66, Jim2k, KMan, Litlok, Mit-Mit, Moa18e,
Orthogaffe, Oxyde, Pem, Peps, PetitDej, PieRRoMaN, Pld, Poulos, Prgasp77, Proz, Rachitique, Racinaire, Roudoule, Rmih, Sherbrooke, SniperMask, Symac, Theon, Trassiorf, Txebixev,
Vargenau, Ventnocturne, Verbex, Vivars, Yapa, Youandme, Zenaf, 57 modifications anonymes
Licence
Creative Commons Attribution-Share Alike 3.0 Unported
//creativecommons.org/licenses/by-sa/3.0/