La Série Harmonique : Preuve De Divergence Expliquée
Salut les amis de l'analyse ! Aujourd'hui, on plonge dans un classique indémodable : la preuve de la divergence de la série harmonique. Vous savez, celle qui fait 1 + 1/2 + 1/3 + 1/4 + ... et qui, contre toute attente, ne s'arrête jamais de grandir, même si les termes deviennent minuscules. On va décortiquer ensemble la preuve que vous trouvez souvent dans les bouquins, comme celui de Cumming, et voir comment elle nous montre que cette série est infty. Accrochez-vous, ça va être passionnant !
Démystifier la divergence : le cœur de la preuve
Alors, comment on prouve que cette fichue série harmonique diverge ? Le truc, c'est de montrer que ses sommes partielles peuvent devenir aussi grandes qu'on veut. Imaginez que vous additionnez les termes de la série. Même si vous ajoutez des nombres de plus en plus petits, la somme continue d'augmenter sans limite. C'est un peu contre-intuitif, non ? La preuve standard, celle que vous allez souvent rencontrer, repose sur une idée assez maligne : regrouper les termes de manière astucieuse pour en faire apparaître des sommes qui sont faciles à évaluer et qui nous montrent cette croissance infinie. On ne va pas juste additionner 1+1/2+1/3, non, on va faire des groupes intelligents. Par exemple, on va regrouper le 1/3 et 1/4, puis 1/5, 1/6, 1/7, 1/8, et ainsi de suite. L'astuce, c'est que chaque groupe, même s'il contient plus de termes, a une somme qui est au moins aussi grande qu'une certaine valeur. Et c'est là que la magie opère pour nous montrer que la somme totale explose.
Ce qui est génial avec cette preuve, c'est qu'elle ne demande pas de calculs compliqués. Elle utilise juste une logique implacable. On prend notre série S = 1 + 1/2 + 1/3 + 1/4 + 1/5 + 1/6 + 1/7 + 1/8 + ... et on va la découper en morceaux. Le premier morceau, c'est 1. Le deuxième, c'est 1/2. Ensuite, on prend 1/3 + 1/4. Regardez bien : 1/3 + 1/4 est plus grand que 1/4 + 1/4, ce qui fait 2/4 = 1/2. Donc, notre somme jusqu'à 1/4 est plus grande que 1 + 1/2 + 1/2. Vous voyez où je veux en venir ? On continue. Le groupe suivant, c'est 1/5 + 1/6 + 1/7 + 1/8. Chacun de ces termes est plus petit ou égal à 1/5, mais tous sont plus grands que 1/8. Donc, la somme 1/5 + 1/6 + 1/7 + 1/8 est strictement plus grande que 1/8 + 1/8 + 1/8 + 1/8. Et ça fait 4/8, soit 1/2 ! Donc, notre somme jusqu'à 1/8 est plus grande que 1 + 1/2 + 1/2 + 1/2. On commence à voir un schéma, non ? Chaque fois qu'on double le nombre de termes qu'on ajoute après le 1/2, on ajoute au moins une autre tranche de 1/2 à notre somme. Et si on continue comme ça à l'infini, notre somme va bien finir par dépasser n'importe quel nombre qu'on pourrait imaginer. C'est ça, le cœur de la preuve, les gars ! C'est cette capacité à minorer la somme par une quantité qui grandit indéfiniment.
Regroupement stratégique : l'astuce qui tue
Maintenant, parlons plus en détail de ce regroupement stratégique. C'est vraiment l'ingrédient secret de la preuve. Au lieu de considérer la série comme une longue liste de nombres à additionner un par un, on va la découper en blocs. Le premier bloc est simple : 1. Le deuxième bloc, c'est 1/2. Ensuite, on va former le troisième bloc avec les deux termes suivants : 1/3 et 1/4. La somme de ce bloc est 1/3 + 1/4. On sait que 1/3 > 1/4, donc cette somme est plus grande que 1/4 + 1/4 = 2/4 = 1/2. Le bloc suivant contiendra quatre termes : 1/5, 1/6, 1/7, 1/8. La somme de ce bloc est 1/5 + 1/6 + 1/7 + 1/8. Chacun de ces termes est plus petit ou égal à 1/5, mais ils sont tous plus grands que 1/8. Donc, cette somme est strictement plus grande que 1/8 + 1/8 + 1/8 + 1/8 = 4/8 = 1/2. Vous commencez à piger ? On voit un motif se dessiner. Après le premier terme (1), on a un terme (1/2). Puis on a un groupe de 2 termes dont la somme est plus grande que 1/2. Puis on a un groupe de 4 termes dont la somme est plus grande que 1/2. Le prochain groupe contiendra 8 termes : 1/9, ..., 1/16. Chacun de ces termes est plus grand que 1/16. Donc, la somme de ces 8 termes est strictement plus grande que 8 * (1/16) = 8/16 = 1/2. Bref, pour chaque puissance de 2 (2, 4, 8, 16...), on ajoute un bloc de termes dont la somme est au moins 1/2. Donc, notre somme partielle S_n, en prenant suffisamment de termes, peut être majorée par : S_n > 1 + 1/2 + 1/2 + 1/2 + ... (avec autant de 1/2 qu'on a de blocs). Et comme on peut avoir autant de blocs qu'on veut en prenant plus de termes, cette somme devient infinie. C'est la puissance de ce découpage malin, qui transforme un problème d'addition apparemment simple en une démonstration limpide de divergence. Ce n'est pas juste un tour de passe-passe mathématique, c'est une illustration parfaite de comment des petits ajouts répétés peuvent mener à des résultats spectaculaires.
Pour être encore plus précis, on peut définir les sommes partielles de la série harmonique comme S_n = sum_k=1 to n} (1/k). La preuve consiste à montrer que pour tout M > 0, il existe un n tel que S_n > M. On prend le premier terme > 1 + k/2. Comme k peut devenir arbitrairement grand, 1 + k/2 peut aussi devenir arbitrairement grand. Et puisque les sommes partielles S_{2^k} sont des sommes partielles de la série, et que la suite des sommes partielles est croissante, cela signifie que S_n peut dépasser n'importe quelle borne M fixée. C'est une majeuration par étapes qui fait toute la différence.
Les sommes partielles sous la loupe
Maintenant, concentrons-nous sur ce que nous disent les sommes partielles. La série harmonique, on l'écrit souvent avec le symbole sigma : Σ (1/n) pour n allant de 1 à l'infini. Les sommes partielles, ce sont les sommes qu'on obtient en s'arrêtant à un certain terme. Par exemple, S_1 = 1. S_2 = 1 + 1/2 = 3/2 = 1.5. S_3 = 1 + 1/2 + 1/3 = 3/2 + 1/3 = 9/6 + 2/6 = 11/6 ≈ 1.83. S_4 = 11/6 + 1/4 = 22/12 + 3/12 = 25/12 ≈ 2.08. Ce que la preuve intelligente de la divergence nous montre, c'est que cette suite de sommes partielles (S_1, S_2, S_3, S_4, ...) ne se stabilise jamais. Elle continue de croître, même si les incréments (les 1/n) deviennent tout petits. Comment on le voit concrètement avec notre regroupement ? On a vu que :
- S_1 = 1
- S_2 = 1 + 1/2
- S_4 = S_2 + (1/3 + 1/4) > S_2 + 1/2 = 1 + 1/2 + 1/2 = 2
- S_8 = S_4 + (1/5 + 1/6 + 1/7 + 1/8) > S_4 + 1/2 > 2 + 1/2 = 2.5
- S_{16} = S_8 + (1/9 + ... + 1/16) > S_8 + 1/2 > 2.5 + 1/2 = 3
On voit que la somme partielle S_n augmente d'au moins 1/2 tous les deux termes, puis tous les quatre termes, puis tous les huit termes, etc. Autrement dit, si on regarde les sommes partielles aux indices qui sont des puissances de 2, c'est-à-dire S_{2^k}, on a S_{2^k} > 1 + k/2. Cette formule est cruciale. Elle nous dit que si on prend n = 2^k, la somme partielle S_n sera toujours plus grande que 1 + k/2. Et comme on peut choisir k aussi grand qu'on veut (ce qui signifie prendre un n de plus en plus grand), la valeur de 1 + k/2 peut devenir absolument gigantesque. Elle peut dépasser n'importe quel nombre que vous pouvez imaginer. Donc, peu importe la valeur que vous fixez pour la somme, il y aura toujours un n assez grand pour que la somme partielle S_n dépasse cette valeur. C'est ça, le sens de la divergence : la somme peut devenir aussi grande qu'on veut. Les sommes partielles ne convergent pas vers une limite finie ; elles divergent vers l'infini. Cette analyse des sommes partielles, rendue claire par le regroupement astucieux, est la clé pour comprendre pourquoi une série avec des termes positifs qui tendent vers zéro peut quand même diverger. C'est un exemple fondamental en analyse qui nous apprend à ne pas sous-estimer l'effet cumulatif d'une infinité d'additions, même si elles sont petites.
L'importance de cette analyse des sommes partielles ne peut être sous-estimée. Elle forme la base de nombreux concepts en analyse, notamment la convergence des séries. Comprendre que la somme peut croître sans borne, même avec des termes décroissants, est une intuition fondamentale à acquérir. C'est comme réaliser qu'une petite fuite constante dans un robinet peut finir par remplir une piscine entière sur le long terme. L'idée de minorer la somme par une quantité qui croît est une technique puissante qui est réutilisée dans d'autres contextes, par exemple pour prouver la divergence d'autres séries ou pour estimer la croissance de fonctions.