Lycée Lakanal, Sceaux Pour le 13/11/2024, 21h00
MP – Mathématiques
A. Troesch
DM no 7 : Séries
Ce DM est à rendre au format numérique, scanné en pdf en un seul fichier n’excédant pas 10 Mo. L’envoi se fera via
Cahier-de-Prépa avant la date et heure ci-dessus.
Problème 1 – (Étude de propriétés de séries semi-convergentes, d’après Centrale PSI 2009)
Modifications apportées au sujet :
‚ programmation en Python au lieu de Mathematica ou Maple, et suppression des rappels liés à ces langages ;
‚ suppression d’une ou deux questions de programmation ;
‚ Modification de la question II-5(c), afin de mieux exploiter les propriétés de sommation de relations de compa-
raison.
‚ Ajout de l’estimation plus précise à Op1q de pn dans la partie I (question I-6)
‚ Ajout de l’estimation plus précise de nk à Op1q dans la question II-5(e).
‚ Ajout de la question II-8 adaptant la caractérisation des suites vérifiant pP1 q au contexte vectoriel.
‚ Modification des alinéas et de la numérotation des questions.
Rappels et définitions
‚ On rappelle le résultat suivant : toute partie X non vide de N possède un plus petit élément noté minpXq
‚ On dira qu’une série à termes réels est semi-convergente si elle converge sans converger absolument.
‚ On dira qu’une suite pan qnPN vérifie la propriété pP1 q si pour toute suite complexe pun qnPN bornée, la série
ř
an un converge.
‚ On dira qu’une suite pan qnPN vérifie la propriété pP2 q, si pour tout suite réelle pun qnPN , la convergence de la
ř ř
série un entraîne celle de la série an un .
L’objectif du problème est d’étudier, en particulier à l’aide de méthodes algorithmiques, des propriétés et des contre-
exemples de la théorie des suites et des séries et de caractériser simplement les suites qui vérifient pP1 q ou pP2 q.
Les parties I et II sont indépendantes (et peuvent être vus comme deux problèmes séparés)
Les correcteurs tiendront compte de la présentation, particulièrement de la position correcte des indices.
Partie I – Réorganisation des termes d’une série semi-convergente
p´1qn
On se donne un réel x. On note, pour n P N˚ , un “ et on se propose de construire une bijection s de N˚ dans
n
`8
ÿ
N˚ telle que uspnq “ x.
n“1
1. On définit simultanément par récurrence trois suites d’entiers naturels ppn qnPN , pqn qnPN et psn qnPN˚ et une suite
pSn qnPN de réels de la manière suivante :
‚ p0 “ q0 “ 0, S0 “ 0
‚ Pour tout n P N :
˚ si Sn ą x, alors qn`1 “ 1 ` qn , pn`1 “ pn et sn`1 “ 2qn`1 ´ 1 ;
˚ sinon, qn`1 “ qn , pn`1 “ 1 ` pn et sn`1 “ 2pn`1 .
Dans les deux cas, Sn`1 “ Sn ` usn`1 .
On aura intérêt à comprendre la construction précédente sous forme algorithmique.
(a) Écrire une fonction suite en Python, qui prend en argument x et l’entier n et qui renvoie la liste rs1 , s2 , . . . , sn s.
(b) En modifiant la fonction précédente de façon à ce qu’elle retourne le dessin simultané de la liste des points de
coordonnées pn, Sn qnď70 et de la droite horizontale d’ordonnée x (on ne demande pas d’écrire cette nouvelle
fonction), on obtient pour x “ ´1 et n “ 70 le dessin de la figure ??.
Que constate-t-on pour la suite pSn qnPN ? Expliquer le principe de l’algorithme.
1
0.0
0.2
0.4
0.6
0.8
1.0
0 10 20 30 40 50 60 70
Figure 1 – Affichage des points pn, Sn q
2. On pose dorénavant, pour tout n P N˚ , spnq “ sn .
Prouver, pour n ě 1, les propriétés suivantes :
‚ tsp1q, sp2q, . . . , spnqu “ t2, 4, . . . , 2pn u Y t1, 3, . . . , 2qn ´ 1u
‚ pn ` qn “ n
‚ Sn “ usp1q ` ¨ ¨ ¨ ` uspnq .
En déduire que s est injective.
3. (a) Démontrer qu’une suite d’entiers convergente est constante à partir d’un certain rang.
(b) On se propose de démontrer que la suite ppn qnPN croît vers `8.
i. On suppose dans un premier temps que cette suite est majorée.
Utiliser la question précédente pour démontrer qu’il existe un entier n0 tel que pour tout n ě n0 ,
n´1
ÿ 1
Sn ą x et Sn “ Sn0 ´ .
k“n0
2qn0 ` 2k ´ 2n0 ` 1
En déduire une contradiction.
ii. Déduire du raisonnement précédent que la suite ppn qnPN diverge vers `8.
(c) Justifier rapidement que pqn q tend vers `8.
(d) Déduire de ce qui précède que s est une bijection de N˚ sur lui-même.
4. (a) Démontrer que, pour tout entier n ě 0, on a
|Sn`1 ´ x| ď |Sn ´ x| ou |Sn`1 ´ x| ď |uspn`1q |.
(b) Démontrer que pour tout naturel N , il existe un entier n ą N tel que |Sn`1 ´ x| ď |uspn`1q |.
(c) Justifier l’existence d’un entier n0 tel que pour tout n ě n0 , pn ě 1 et qn ě 1.
(d) Soit n ě n0 . On note vn “ maxp|Sn ´ x|, |u2pn`1 |, |u2qn`1 ´1 |q.
Démontrer que pvn qněn0 est décroissante. En déduire qu’elle converge vers 0.
(e) Démontrer que pSn q converge vers x et conclure.
5. (a) Démontrer l’existence d’une constante γ ą 0 telle que
n
ÿ 1
“ lnpnq ` γ ` op1q.
k“1
k nÑ`8
n
ÿ 1
(b) Donner un développement analogue pour en fonction de γ.
k“1
2k ´1
2
(c) i. Justifier, pour tout naturel n tel que pn ě 1 et qn ě 1, l’égalité :
pn qn
ÿ 1 ÿ 1
Sn “ ´ .
k“1
2k k“1
2k ´1
ii. En déduire que : ˆ ˙
1 pn
Sn “ ln ´ lnp2q ` op1q.
2 n ´ pn
iii. En déduire un équivalent simple de pn et qn .
|usp1q | ` |usp2q | ` ¨ ¨ ¨ ` |uspnq |
iv. Déterminer la limite de quand n Ñ `8.
|u1 | ` |u2 | ` ¨ ¨ ¨ ` |un |
6. Donner une estimation à Op1q de pn .
` ˘
On pourra pour cela justifier que Sn “ x ` O n1 , et améliorer le développement asymptotique de la question
I-5(a).
Partie II – Suites vérifiant P1 et P2
ř
1. Montrer qu’une suite complexe pan qnPN telle que la série an converge absolument vérifie pP1 q.
ř
2. Soit pan qnPN une suite réelle telle que la série |an`1 ´ an | converge.
(a) Prouver que la suite pan qnPN possède une limite.
ř
(b) Soit pun qnPN une suite réelle telle que la série un converge. On note Un “ u0 ` ¨ ¨ ¨ ` un .
Prouver, pour tout entier naturel N , la relation :
N
ÿ Nÿ
´1
an un “ pan ´ an´1 qUn ´ aN UN .
n“0 n“0
En déduire que la suite pan qnPN vérifie pP2 q.
ř
3. Soit pan qnPN une suite de nombres complexes telle que la série |an | diverge. Construire une suite pun qnPN de
ř
nombres complexes de module 1 telle que la série an un diverge. Caractériser les suites complexes pan qnPN
vérifiant pP1 q.
ř
4. Soit pan qnPN une suite de réels positifs telle que la série an diverge. On se propose de construire une suite
ř
pεn qnPN tendant vers 0, telle que la série an εn diverge. Pour cela, on définit par récurrence trois suites ppn qnPN ,
pεn qnPN et pAn qnPN comme suit :
‚ p0 “ 0, ε0 “ 1, A0 “ a0 ;
‚ Pour n ě 1 :
˚ pn “ 1 ` pn´1 et εn “ εn´1 2 si An´1 ě pn´1 ,
˚ pn “ pn´1 et εn “ εn´1 sinon.
Dans tous les cas, An “ An´1 ` an εn .
9
(a) Dans cette question seulement on suppose que a0 “ 1 et, pour tout n ě 1, an “ .
4pn ` 1q
Déterminer les 6 premiers termes des suites ppn qnPN , pεn qnPN et pAn qnPN .
(b) Démontrer que pour tout entier naturel N , il existe un entier n ą N tel que pn “ 1 ` pn´1 (on pourra
raisonner par l’absurde)
En déduire qu’on peut définir une suite pnk qkPN strictement croissante d’entiers par :
$
&n “ 0
0
%nk`1 “ mintn P N | n ą nk et pn “ 1 ` pn´1 u pour k ě 0.
(c) Dans le cas général, calculer pnk et εnk .
ř
Prouver que la suite pεn qnPN tend vers 0 et que la série εn an diverge.
1
5. Dans cette question seulement, on suppose que : @n P N, an “ , et on reprend la construction et les
n`1
définitions de la question 4.
3
(a) Soit k ě 3 un indice tel que nk ´ 2 ą nk´1 .Prouver l’inégalité :
1
k ´ 1 ď Ank ´1 ď k ´ 1 ` .
2k´1 n k
En déduire que nk`1 ´ 2 ą nk .
(b) Calculer explicitement la différence Ank`1 ´1 ´ Ank ´1 en fonction de k, nk et nk`1 . En déduire, pour k ě 3,
l’inégalité ˆ ˙ ˆ ˙
1 nk`1 ` 1 1 nk`1
ln ď Ank`1 ´1 ´ Ank ´1 ď k ln
2k nk ` 1 2 nk
(c) Déduire des deux questions précédentes, pour k ě 3, l’inégalité :
ˆ ˙ ˆ ˙ ˆ ˙
k 2 nk`1 k 1 1 1
2 ´ ď ln ď2 ` ´ ln 1 ` ` ln 1 ` .
nk nk nk`1 nk`1 nk
(d) En déduire un équivalent de ln nk lorsque k tend vers `8, puis montrer qu’il existe une constante C ą 0
telle que
k
nk „ Ce2 .
kÑ`8
En déduire que
lnplnpnk qq lnplnpnqq
An k „ puis: An „ .
kÑ`8 lnp2q kÑ`8 lnp2q
k
(e) Montrer que nk “ Ce2 ` Op1q.
6. Soit pan qnPN une suite de réels quelconques telle que, pour tout suite pεn qnPN de réels tendant vers 0, la série
ř
εn an converge.
ř
(a) Prouver que pour toute suite pεn q de réels tendant vers 0, la série εn |an | converge.
ř
(b) En déduire que la série |an | converge.
ř
7. Soit maintenant pan qnPN une suite de réels telle que, pour toute suite pxn qnPN , la convergence de la série xn
ř
entraîne la convergence de la série an xn .
(a) Prouver que la suite pan qnPN est bornée.
ř
(b) Soit pεn qnPN une suite réelle de limite nulle. Prouver la convergence de la série εn pan`1 ´ an q.
ř
(c) Prouver que la série |an`1 ´ an | converge.
(d) Caractériser les suites vérifiant pP2 q.
8. Soit E un C-espace vectoriel normé de dimension finie. Montrer que si on remplace dans la définition de pP1 q
la suite pan qnPN complexe par une suite pAn q P E n (la suite pun q reste en revanche une suite complexe), alors
ř
pAn q vérifie pP1 q si et seulement si An est absolument convergente.
On pourra choisir convenablement la norme, de sorte à pouvoir adapter le raisonnement de II-3 sur un seul
coefficient.