CCP 2005 MPI Corrige propose par R.

Palisse, Lycee Saint-Exupery de Mantes la Jolie 1

PREMIER EXERCICE
a.
_ _
T
(x +y) dx dy =
_
1
1
_
_
1
x
(x +y) dy
_
dx =
_
1
1
1
2
(1 +x)
2
dx =
4
3
b. Quitte `a faire un dessin, on voit bien que C est la reunion de deux domaines dont lintersection
est reduite `a une droite : T et T

=
_
(x, y) R
2
, x 1 , y 1 , x + y 0
_
; do` u
__
C
|x + y| dx dy =
__
T
|x + y| dx dy +
__
T

|x + y| dx dy . Mais la deuxi`eme de ces integrales est

egale `a la premi`ere par le changement de variable (x, y) (x, y) (dont le jacobien vaut 1).
Par consequent,
__
C
|x +y| dx dy =
8
3
.
DEUXI
`
EME EXERCICE
1. Sur chacun des deux intervalles, on a un espace des solutions engendre par x x
n
.
2. Il faut prendre ici la meme expression sur chacun des deux intervalles, an que les pentes `a
droite et `a gauche en 0 soient les memes . Lespace des solutions sur R est donc de dimension 1.
3. L`a, il ny a plus de contrainte de raccordement puisque les derivees `a droite et `a gauche en 0
sont toujours nulles : lespace des solutions sur R est donc de dimension 2.
PROBL
`
EME
I G

EN

ERALIT

ES
1.a. Il sut de considerer ln(1 +x) =
+

n=1
(1)
n1
x
n
n
1.b. Il sut de considerer
1
1 +x
=
+

n=0
(x)
n
1.c. Il sut de considerer
1
1 x
=
+

n=0
x
n
1.d. On sait que si une suite dapplications bornees sur un domaine A converge uniformement
sur ce domaine vers une application f, alors f est bornee sur A. D`es lors, nimporte lequel des trois
exemples precedents convient : les sommes partielles sont bornees sur [1, 1] (par Heine, puisque
ce sont des fonctions polynomiales donc continues) et la somme nest pas bornee sur ] 1, 1[.
2. Cest du cours ! (on dispose ici de la convergence normale de la serie sur [0,1] . . .)
3. Pour x ] 1, 1[ , on peut ecrire :
+

n=2
(x)
n
n(n 1)
=
+

n=2
(x)
n
n 1

+

n=2
(x)
n
n
= x ln(1 +x) + [ln(1 + x) x]
CCP 2005 MPI Corrige propose par R.Palisse, Lycee Saint-Exupery de Mantes la Jolie 2
Comme la question precedente sapplique, on en deduit :
+

n=2
(1)
n
n(n 1)
= 2 ln 2 1 .
II TH

EOR
`
EME DABEL
4.a. Comme r
n+p1
r
n+p
= a
n+p
, on a tout simplement :
+

p=1
(r
n+p1
r
n+p
) x
n+p
= R
n
(x) .
4.b. Il est bien connu (mais ca nest pas au programme) que dans ces histoires, il faut travailler
sur les sommes partielles :

k
p=1
(r
n+p1
r
n+p
) x
n+p
=

k
p=1
r
n+p1
x
n+p

k
p=1
r
n+p
x
n+p
; apr`es
mise `a lecart du premier terme de la premi`ere somme et reindexation des autres, on obtient :

k
p=1
(r
n+p1
r
n+p
) x
n+p
= r
n
x
n+1
+ x
n+1
(x 1)

k1
p=1
r
n+p
x
p1
r
n+k
x
n+k
; le dernier terme
tend vers 0 lorsque k tend vers linni car r
n+k
tend vers 0 puisque la serie

a
n
converge, et x
n+k
est borne ; il sut donc de faire tendre k vers linni pour obtenir la relation voulue
1
.
4.c. Comme on la dej`a signale, r
n
tend vers 0 ; par consequent, si lon se donne > 0 , on dispose
dun entier n
0
pour tout k n
0
on ait |r
k
| /2 ; alors on a bien |r
n+p
| /2 pour n n
0
et
p entier naturel. Et pour x [0, 1] et n n
0
on obtient : |R
n
(x)|

2
+

2
(1 x)

+
p=1
x
p1
= .
4.d. Continuite de la somme `a gauche en 1, assuree par convergence uniforme de la serie sur [0, 1].
5. Par contraposition, la serie est divergente.
6. Par primitivation du developpement de
1
1 +x
2
on obtient arctan(x) =
+

n=0
(1)
n
x
2n+1
2n + 1
pour
x ] 1, 1[ ; et lon peut
2
appliquer le theor`eme dAbel pour obtenir :

4
=
+

n=0
(1)
n
2n + 1
.
7.a La serie proposee converge par crit`ere special des series alternees. Le terme general du produit
de Cauchy est ici : w
n
=
n1

k=1
(1)
n
_
k(n k)
_
1/4
= (1)
n
a
n
. (poser u
0
= v
0
= 0 )
Or k(n k)
n
2
4
_
etude des variations, ou mieux : (n 2k)
2
0
_
et par consequent
a
n

2(n 1)

n
; ce qui montre que la serie de terme general w
n
diverge grossi`erement.
7.b Puisque

u
n
et

v
n
convergent, les series enti`eres

u
n
x
n
et

v
n
x
n
ont un rayon de
convergence au moins egal `a 1. Dapr`es le cours, cest alors aussi le cas de

w
n
x
n
. . . Si lon note
U(x) , V (x) , W(x) , les sommes respectives, on a : U(x) V (x) = W(x) pour tout x [0, 1[ . Mais
dapr`es le theor`eme dAbel
3
applique `a chacune des trois series, lorsque x tend vers 1 par valeurs
inferieures, U(x) tend vers

u
n
, V (x) tend vers

v
n
, W(x) tend vers

w
n
. Par unicite de
la limite, le produit des deux premi`eres sommes est egale `a la troisi`eme.
1
Qui est valable aussi en 1 . . .
2
Ce resultat sobtient aussi par majoration du reste dune serie alternee veriant le crit`ere special . . .
3
Bien entendu, cela devient trivial si les deux rayons initiaux sont strictement superieurs `a 1 . . .
CCP 2005 MPI Corrige propose par R.Palisse, Lycee Saint-Exupery de Mantes la Jolie 3
III R

ECIPROQUE DU TH

EOR
`
EME DABEL
8. Cest la question 1.b) !
9. Puisque les coecients sont positifs,

n
k=0
a
k
x
k
f(x) pour tout x [0, 1[ ;
en outre, la fonction f est croissante sur [0, 1[ , do` u f(x) lim
x1
f(x) pour tout x [0, 1[.
On a donc :

n
k=0
a
k
x
k
lim
x1
f(x) pour tout x [0, 1[. En faisant tendre x vers 1 dans cette
derni`ere inegalite, on obtient une majoration de la suite des sommes partielles de la serie `a termes
positifs

a
n
qui converge donc.
IV S

ERIES HARMONIQUES TRANSFORM

EES
10. Dapr`es le lemme dAbel du programme ociel, sil existe r > 0 tel que la suite de terme
general |a
n
| r
n
soit bornee, alors le rayon de convergence de

a
n
x
n
est superieur ou egal `a r .
Avec r = 1 on voit ainsi que les deux series considerees ont un rayon de convergence superieur ou
egal `a 1. Au point 1, la premi`ere diverge grossi`erement et la deuxi`eme ne converge pas absolument ;
par consequent 1 est le rayon de convergence de lune et de lautre.
11. Eectivement
4
, on peut ecrire f(x) =
_
x
0
g(t) dt pour x ] 1, 1[ . . . et appliquer le
theor`eme de Littlewood precedemment admis pour la reciproque du theor`eme dAbel.
12. On a : x
p
g(x) =

+
n=1

n
x
n+p1
=

+
k=p+1

kp
x
k1
=

+
k=p+1

k
x
k1
; par consequent,
g(x) =

1
+
2
x +
p
x
p1
1 x
p
.
13.
_
x
0
1
1 t
dt diverge quand x tend vers 1 ; tandis que
_
x
0
1 t
1 t
2
dt tend vers ln 2 . . .
14. On est bien mis sur la voie par la question precedente : 1 etant racine simple du denominateur
de g(x), il faut et il sut que 1 soit racine du numerateur pour que lintegrale soit convergente.
(dans ce cas, g est prolongeable par continuite en 1) Une CNS est donc :
p

i=1

i
= 0 .
Cela ne peut pas se produire lorsque p est impair !
15. On a ici : g(x) =
1 +x +x
2
x
3
x
4
x
5
1 x
6
=
(1 +x +x
2
)(1 x
3
)
(1 x
3
)(1 + x
3
)
=
1 +x
1 +x
3
+
x
2
1 +x
3
;
on en deduit que
+

n=1

n
n
=
_
1
0
dx
x
2
x + 1
+
_
1
0
x
2
dx
1 +x
3
. La premi`ere integrale (abelienne) vaut :
_
1
0
dx
(x
1
2
)
2
+
3
4
=
_
1/2
1/2
du
u
2
+ 3/4
= 2
_
1/2
0
du
u
2
+ 3/4
=
4

3
arctan
_
1

3
_
=
2
3

3
.
Pour la seconde, on a une primitive evidente . . . Le resultat nal est donc :
2
3

3
+
3
ln 2
.
4
Cela aurait du etre une question prealable, meme si cest du cours . . .