Lycée Lakanal, Sceaux Pour le 05/11/2024, 21h00

MP – Mathématiques
A. Troesch

DM no 6 : Continuité dans un e.v.n., révisions sur les séries numériques

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.

Exercice – (Prolongement de Tietze)

Soit E un e.v.n. et A une partie fermée non vide de E. Soit f : E Ñ R une fonction continue sur E, telle que
inf f pxq “ 1 et sup f pxq “ 2. On définit g : E Ñ R par
xPA xPA
$
&f pxq
’ si x P A
gpxq “ f paq}x ´ a}
% inf
’ si x R A.
aPA dpx, Aq

1. Justifier que g est bien définie sur E.

2. Calculer g et représenter son graphe lorsque E “ R dans les cas suivants :
(a) A “ r0, 1s, f pxq “ x ` 1 sur A ;
(b) A “ r´1, 1s, f pxq “ x ` 2 sur r´1, 0s, f pxq “ ´x ` 2 sur r0, 1s
(c) A “ r´1, 1s, f pxq “ ´x ` 1 sur r´1, 0s, f pxq “ x ` 1 sur r0, 1s
(d) A “ r0, 1s Y r2, 3s, f pxq “ x ` 1 sur r0, 1s, f pxq “ x ´ 1 sur r2, 3s.
3. On revient au cas général.
(a) En majorant |f paq}y ´ a} ´ f paq}y ´ a}| en fonction de }x ´ y}, montrer que x ÞÑ inf pf paq}x ´ a}q est
aPA
2-Lipschitzienne.
(b) En déduire que g est continue sur AE A.
4. Soit x P FrpAq, et pxn q une suite d’éléments de AE A convergeant vers x..
(a) Montrer que inf f paq}xn ´ a} ÝÑ 0.
aPA nÑ`8
(b) Montrer qu’il existe pan q P AN , telle que pour tout n P N,

dpxn , Aq
}xn ´ an }f pan q ď inf f paq}xn ´ a} ` .
aPA 2n

(c) Montrer que an Ñ x. Que peut-on dire de lim f pan q ?

nÑ`8

(d) Montrer qu’il existe pbn q P A telle que pour tout n P N, dpxn , Aq ě }xn ´ bn } ´ dpx2nn,Aq . Quelle est la limite
N

de pbn q.
(e) En encadrant gpxn q à l’aide des suites pan q et pbn q, en déduire que gpxn q ÝÑ f pxq.
5. Montrer que g est continue sur E.

Problème 1 – (Règle de Duhamel pour la convergence des séries)

Le but de ce problème est de proposer une règle pour l’étude de la convergence des séries affinant la règle de d’Alembert
dans le cas d’indétermination.

Partie I – Un critère de comparaison de séries à termes positifs

ř ř an`1 bn`1
Soit an et bn deux séries à termes strictement positifs telles que : DN P N, @n ě N, ď .
an bn
1. Montrer que pour tout n ě N , bN an ď aN bn

1
 2. En déduire le critère de comparaison logarithmique, à savoir :
ř ř
(a) si bn converge, alors an aussi ;
ř ř
(b) si an diverge, alors bn aussi ;
ř ř
(c) si an diverge grossièrement, alors bn aussi.
ˇ ˇ
ř ˇ un`1 ˇ
3. Règle de d’Alembert. Soit un une série quelconque telle que lim ˇˇ ˇ “ ℓ dans R.
nÑ`8 un ˇ
Retrouver à l’aide du résultat de la question précédente la règle de d’Alembert
ř
(a) si ℓ ă 1, alors un converge absolument
ř
(b) si ℓ ą 1, alors un diverge grossièrement.

4. Exemples
p2nq!
(a) Soit pour tout n P N, un “
pn!q2
´ ¯
i. Déterminer la limite ℓ de uun`1
n
.
nPN
ii. Déterminer la nature de un x pour tout x tel que |x| ‰ 1ℓ .
n
ř

p2nq!
(b) Mêmes questions avec la série vn xn , où pour tout n P N, vn “
ř
n!pn ` 1q!
p3nq!
(c) Mêmes questions avec la série wn xn , où pour tout n P N, wn “
ř
.
pn!q3

Partie II – Règle de Duhamel.

ˆ ˙
1 xn`1 α 1
1. Soit α P R˚` . Soit pour tout n P N˚ , xn “ . Justifier que “1´ `o .
nα xn n n
2. Règle de Duhamel.
Soit pun qnPN une suite de réels strictement positifs tels qu’il existe β P R tel que :
ˆ ˙
un`1 β 1
“1´ `o .
un n n

(a) Supposons que β ą 1.

un`1 xn`1
i. Justifier l’existence de α ą 1 tel que, pour n assez grand, on ait ď .
ř un xn
ii. En déduire que un est convergente.
ř
(b) Démontrer de même que si β ă 1, alors un diverge.

Partie III – Exemples

1. Soit pun qnPN la suite définie en I-4, et x “ 1ℓ .

un xn ?
ř
(a) À l’aide de la règle de Duhamel, déterminer la nature de
(b) Justifier que pun xn qnPN est décroissante de limite nulle.
Indication : pour la limite, on pourra commencer par montrer, que la série plnpun`1 xn`1 q ´ lnpun xn qq est
ř

divergente
(c) Quelle est la nature de la série un p´xqn .
ř

2. Soit pvn qnPN la suite définie en I-4, et x “ 1ℓ , pour la valeur de ℓ trouvée pour cette suite. Déterminer la nature
de vn xn et de vn p´xqn .
ř ř

Partie IV – Une petite amélioration à la règle de Duhamel

1
On affine ici le cas où β “ 1 dans la règle de Duhamel. Soit a un réel, et, pour tout n ą ´a, yn “ .
n`a
ř
1. Quelle est la nature de la série yn ?

2
 ˆ ˙
yn`1 1 1`a 1
2. Soit a ‰ ´1. Montrer que “1´ ` `O
yn n n2 n3
ˆ ˙
un`1 1 1
3. Soit pun qnPN une suite strictement positive telle que “1´ `O .
un n n2
un`1 yn`1
(a) Montrer qu’on peut choisir a assez grand pour que : DN P N, @n ě N, ě
ř un yn
(b) En déduire la nature de un .

wn xn définie dans la partie II, lorsque x “ 1ℓ .

ř
4. Exemple. Déterminer la nature de

Problème 2 – Une série dont les séries des sommes partielles itérées sont toutes de somme nulle

Le but de ce problème est de répondre à la question suivante : existe-t-il une série dont toutes les séries des sommes
partielles itérées convergent (donc la série des sommes partielles converge, puis la série des sommes partielles de cette
série des sommes partielles, etc.)
On répond à cette question dans la partie III. La partie II expose des résultats préliminaires. La partie I répond à une
question partielle : on y construit une suite telle que les sommes partielles itérées jusqu’à un certain rang définissent
des séries convergentes.

On note T : RN Ñ RN l’opérateur défini par :

˜ ¸
n
ÿ
T ppun qnPN q “ uk ,
k“0 nPN

associant à une suite sa somme partielle. On notera u la suite pun q, T u sont image par T , et on désignera par pT uqn
le terme d’indice n de cette suite, à savoir :
ÿn
pT uqn “ uk .
k“0

De façon plus générale, T u désignera la suite obtenue en itérant ℓ fois la fonction T sur u, et pT ℓ uqn est son terme
ℓ

d’indice n.
La question posée se traduit donc de la façon suivante : existe-t-il u “ pun qnPN non triviale telle que :

`8
ÿ
@ℓ P N, pT ℓ uqn converge. (1)
n“0

ÿ
Partie I – Construction d’une suite telle que pT ℓ uqn converge pour ℓ P v0, N w
nPN

1. Montrer que si u vérifie (1), alors pour tout ℓ P N,

`8
ÿ
pT ℓ uqn “ 0.
n“0

2. Montrer que T est surjective.

ÿ
3. Montrer que pour tout N P N, il existe u “ pun qnPN non nulle telle que pour tout ℓ P v0, N w, pT ℓ uqn soit
nPN
convergente de somme nulle.
`8
ÿ `8
ÿ
ř
4. Donner explicitement une série un de termes tous non nuls, telle que un “ 0 et pT uqn “ 0.
n“0 n“0

Partie II – Moments d’une fonction

On pourra admettre dans cette partie le théorème de Stone-Weierstass : toute fonction continue sur un segment ra, bs
peut être approchée uniformément par un polynôme : soit f une fonction continue sur ra, bs ; pour tout ε ą 0, il existe
P P RrXs tel que
}f ´ P }8 ă ε,

3
la norme } ¨ }8 étant la norme de la convergence uniforme sur ra, bs.

Soit f une fonction continue sur r0, 1s. On appelle moment d’ordre n de f la quantité définie par :
ż1
µn pf q “ tn f ptq dt.
0

5. Montrer que si pour tout n P N, µn pf q “ 0, alors f “ 0.

On montre dans la fin de cette partie que ce résultat n’est pas vrai si le domaine de f n’est pas borné.
ż `8
6. Soit f et g deux fonctions continues sur r0, `8r, telles que 0 ď f ď g. Montrer que si l’intégrale gpxq dx
ż `8 0

est convergente, il en est de même de f pxq dx.

0
?
4 ?
7. Soit s : R` Ñ R définie par spxq “ e´ x sinp 4 xq.
ż `8
(a) Montrer que pour tout n P N, xn spxq dx est convergente
0
ż `8
(b) Montrer que pour tout n P N, tn epi ´1qt dt est convergente et vérifie :
0
ż `8
tn epi ´1qt dt P R ¨ pi ´1q´pn`1q .
0

(c) En déduire que pour tout n P N,

ż `8
xn spxq dx “ 0.
0

Partie III – Construction d’une suite vérifiant (1)

8. Soit c : r0, 1s Ñ R continue, et pour tout n P N,

ż1
un “ µn pcq “ tn cptq dt.
0

(a) Vérifier que lim un “ 0.

nÑ`8
(b) On suppose que cptq “ op1 ´ tq au voisinage de 1, et que
ż1 ż1
t
cptq dt “ cptq dt.
0 0 t´1

Vérifier que : ż1
t
@n P N, pT uqn “ tn cptq dt.
0 t´1
(c) On suppose de plus que pour tout ℓ P N, cptq “ opp1 ´ tqℓ q au voisinage de 1, et que
ż1ˆ ˙ℓ
t
cptq dt “ 0.
0 t´1

Montrer que pour tout ℓ P N, lim pT ℓ uqn “ 0.

nÑ`8
9. Construire à l’aide de la fonction s de la partie II une fonction c : r0, 1s Ñ R non nulle vérifiant les conditions
de 8(c) (on pourra utiliser un changement de variable)
10. Conclure.