Maths MP

Exercices

Sries entires
Les indications ne sont ici que pour tre consultes aprs le TD (pour les exercices non traits). Avant
et pendant le TD, tenez bon et nallez pas les consulter !

Rayons de convergence

an+1
pour calculer des rayons de convergence : trs souvent,
an
il est prfrable de penser les choses en termes de pour quels r la suite (|an | rn )nN est-elle borne ?
On retiendra quil y a autre chose que

Exercice 1 CCP 2009

P
P
On suppose que |an | |bn |. Montrer que les sries entires
an z n et
bn z n ont le mme rayon de
n
2
P i n n
convergence. En dduire le rayon de la srie entire
z .
n2 + 1
Exercice 2 Centrale 2010

On dfinit, pour n > 2, an = ln

n + (1)n

n+1


Dterminer le rayon de convergence de

an xn .

n>2

Exercice 3 Des rayons ; stage 1

P
Dterminer les rayons de convergence des sries entires
an z n , avec an dfini des faons suivantes :
nn
1. an =
;
n!
2
2
2. an = e(n+1) en ;
n
;
3. an = (ln n) ln n puis an = n

4. an = e n puis an = e

n
1
5. an = cosh
;
n
6. an = arctan(n ) ;

7. an = 933

Exercice 4 Des rayons ; stage 2

Same player shoot again.
1. a2n = 933n et a2n+1 = 934n ;
(
( n)! si n est un carr dentier
2. an =
0
sinon
(
933p si n = p!
3. an =
0
sinon
4. a0 = 0, a1 = 1 et an+2 = an + an+1 pour tout n N.
Exercice 5 Des rayons ; stage 3
Quelques derniers pour la route.
1. (an ) est telle que an 933 ;
n+

2. (an ) est priodique et valeurs non nulles ;

Z 1
3. an =
(1 + t2 )n dt ;
0

2n

Z
4. an =

et
dt ;
t

n
+

et dt ;

5. an =
0

6. an =
7. an =

n
X

k=1


933n
;
n


8. an =

k 933

1
1
1 + + +
2
n

ln n

P
Dans les situations un peu thoriques, on peut (pour se fixer les ides) remplacer lhypothse R( an z n ) =
1
K par an = n : a marche assez bien pour intuiter le bon rsultat.
K
P
P
Exercice 6 On suppose que Pa2n z n et
a2n+1 z n ont pour rayons de convergence respectifs R > 0
0
n
et R > 0. Dterminer celui de
an z .
Exercice 7 On suppose que les an sont des complexes non nuls. Dterminer une relation entre les
P
P zn
rayons de convergence de
an z n et

an
Exercice 8 On suppose :

P
an+2
l 6= 0. Dterminer le rayon de convergence de
an z n .
an n+

+
n
X
X
(1)k+1
(1)k+1
et Rn =
Dterminer les rayons
Exercice 9 On pose, pour n N : Sn =
k
k
k=n+1
k=1
P
P
de convergence des sries entires
Sn z n et
Rn z n .

Exercice 10 On suppose que le rayon de convergence de

n
X
P
celui de
Sn z n , avec Sn =
ak ?

an z n est strictement positif. Que dire de

k=0

P
P 2 n
Exercice 11 On suppose que
an z n a un rayon de convergence R > 0. Que dire de celui de
an z ?
P an n
P
n
et de celui de
z ? Et enfin de celui de
n!an z ?
n!

Calculs de somme

Exercice 12 Calculer de deux faons diffrentes f (x) =

+
X
x3n
:
(3n)!
n=0

laide dune quation diffrentielle ;

en faisant intervenir exp(x), exp(jx) et exp(j 2 x).
Exercice 13 CCP 2009

X
x4n
On pose f (x) =

(4n)!
n=0
1. Domaine de dfinition de f ?
2. tablir une quation diffrentielle du 4me ordre vrifie par f , et la transformer en une quation
du 2me ordre.
3. Trouver la valeur de f (x).
Exercice 14 Mines 2009

1. Calcul de la somme

2. Calcul de la somme

+
X

x2n+2

(2n + 1)(n + 1)
n=1
+
X

4n + 1
xn
(2n

1)(n
+
1)
n=1

Exercice 15 Calculer les sommes suivantes (en donnant les rayons de convergence) :
1.

+
X

n2 xn ;

n=0
+
X

2.

xn
;
(n + 1)(n + 3)
n=0

3.

+
X
cosh(na) n
x ;
n
n=1

4.

+
X
sin2 (n) 2n
x ;
n!
n=0

+ 5
X
n n
x .
5.
n!
n=0

Exercice 16 Calculer les sommes suivantes (en donnant les rayons de convergence) :
1.

+
X

xn
;
2n 1
n=0

+
X
n+3 n
2.
x ;
2n
+1
n=0

3.

+
X
xn

(2n)!
n=0

Exercice 17 Calculer, pour des x prciser :


+ 
X
1
1
xn .
1 + + +
2
n
n=1

Exercice 18 Mines 2010

+
X
(1)n
Calculer

4n + 1
n=0
Exercice 19 Mines 2010
Soit R.
1. Rayon de convergence et somme de

2. Calcul de

+ ni
X
e
xn .
n
n=1

+
X
sin(n)

n
n=1

Exercice 20 Centrale 2010

Rayon de convergence, domaine de convergence et somme de

+
X

xn

2n + 1
n=0

Exercice 21 Centrale 2010

an1
On dfinit la suite a par : a0 = a1 = 1, et pour tout n > 1 : an+1 = an +

n+1
3

1. Trouver le rayon de convergence de la srie entire

+
X

an z n .

n=0

2. Dterminer la somme de cette srie entire laide dune quation diffrentielle.

Exercice 22 Centrale 2010
+
X
xn
Exprimer, quand elle est dfinie, F sous forme dintgrale.
Soit F : x 7
2 n n2
n=1
Exercice 23 CCP 2010
Montrer que pour tout t [1, 1[,

Exercice 24 Calculer

Exercice 25 Calculer

+ n
X
t
= ln(1 t).
n
n=1

X
1
(1)n
et

(4n + 1)(4n + 3)
(4n + 1)(4n + 3)
n=0
n=0
+
X

2 + 3n + 2)(2n)!
(n
n=0

Des dveloppements en srie entire

Exercice 26 Dvelopper la fonction Arccos en srie entire.

Exercice 27 Mines 2009

Dvelopper en srie entire au voisinage de 0 la fonction x 7

dt

t2 + t + 1

Exercice 28 TPE 2009

+
X
(1)n
Soit f : x [1, 1] 7

x+n
n=2
1. Montrer que f est indfiniment drivable sur [1, 1].
2. Montrer par deux mthodes que f est dveloppable en srie entire autour de 0.
Exercice 29 Mines 2010
+
X
cos(n2 x)en .
Soit f : x 7
n=0

1. Montrer que f est de classe C sur R.



2. En minorant f (2p) (0) pour p N, montrer que f nest pas dveloppable en srie entire.
Exercice 30 Mines 2010
Dvelopper en srie entire lapplication x 7 ex

et dt.

Exercice 31 Dveloppement en srie entire de tan

1. Montrer que la srie de Taylor de la fonction tangente en 0 possde tous ses coefficients positifs, et
en dduire quelle convergente sur ] /2, /2[.
2. Montrer que la somme f de la srie de Taylor vrifie f 0 = 1 + f 2 .
3. Conclure.
Exercice 32 Des dveloppements en srie entire, stage 1
Dvelopper en srie entire (en prcisant le rayon de convergence) les fonctions suivantes :
1. ex sin x ;
4

2. ln(1 + x + x2 ) ;
1
;
3.
1 + x 2x3
r
1x
4.
;
1+x

2
(1 + x) sin x
;
5.
x
x
6.
: par dcomposition en lments simples, puis en utilisant la relation (1xx2 )f (x))x ;
1 x x2
7. ln(x2 5x + 6).
Exercice 33 Des dveloppements en srie entire, stage 2
Idem (driver au moins partiellement peut-tre une bonne ide) :

1. x ln(x + x2 + 1) ;
2. arctan(x + 1) ;


Z x
ln t2 52 t + 1
dt ;
3.
t
0
Z 2x
2
et dt ;
4.
x

Exercice 34 Des dveloppements en srie entire, stage 3

Dvelopper gnagnagna... (passer par des quations diffrentielles) :
Z x
2
2
1. f1 (x) = e2x
e2t dt ;
0

arcsin x
2. f2 (x) = p
;
x(1 x)
3. f3 (x) = ex/(1x) .
Exercice 35 Soit f dveloppable en srie entire au voisinage de 0, avec f (0) 6= 0. Montrer que

1
est
f

dveloppable en srie entire au voisinage de 0.

On pourra chercher formellement un candidat, et vrifier que le rayon de convergence dudit candidat est
strictement positif.

Applications

Exercice 36 ZTPE 2009

/2
Soient f : t 7
et sin x dt et (E) lquation ty 00 + y 0 ty + 1 = 0.
0

Montrer que f vrifie (E). Trouver les solutions de (E) dveloppables en sries entire. En dduire la
Z /2
valeur de In =
sinn xdx.
0

Exercice 37 Montrer que lquation 3ty 0 + (2 5t)y = t possde une solution y dveloppable en srie
entire au voisinage de 0. Calculer la valeur de y(1) 5.105 prs.
Exercice 38 Mines 2010 : Nombres de Catalan
Soit (un ) dfinie par u0 = 1, et pour tout n N, un+1 =

n
X

uk unk . Expliciter un .

k=0

Exercice 39 CCP 2010

Pour n N , soit dn le nombre de permutations sans point fixe de {1, 2, ..., n}. On pose de plus d0 = 1.
5

X dn

xn est suprieur ou gal 1. On note f (x) sa somme.

n!
n  
X
n
2. Montrer que pour tout n N, n! =
dk .
k

1. Montrer que le rayon de convergence de

k=0

3. Si x ] 1, 1[, calculer f (x)ex et en dduire : dn = n!

n
X
(1)k
k=0

4. Dterminer la limite de

k!

dn
lorsque n tend vers +.
n!

Exercice 40 On dfinit, pour n N, Pn le nombre de partitions de [[1, n]], en convenant que P0 = 1

n  
X
n
1. Montrer que pour tout n N, Pn+1 =
Pk .
k
k=0
P
2. Montrer que
Pn z n est de rayon de convergence nul.
P Pn n
3. Montrer que la srie entire
z a un rayon de convergence R > 0, et que pour |z| < R, on a
n!

X Pn
z
z n = ee 1 .
n!
n=0
Z
Exercice 41 tablir lexistence, puis calculer la valeur de
0

Exercice 42 Mines 2010

On pose, pour n > 1, an =

1
n
X

ln(t2 ) ln(1 t2 )
dt.
t2

k2

k=1

1. Donner le rayon de convergence et calculer la somme de la srie entire S(x) =

+
X

an x.

n=1

2. En dduire

+
X

an .

n=1

Exercice 43 Mines 2010

Rsoudre lquation diffrentielle y 00 = xy laide de sries entires.

Divers

Exercice
44 Mines 2009
P
Soit
an z n une srie entire de rayon de convergence infini et de somme f .
Z 2


1. On fixe r > 0. Calculer
f rei eni d.
0

2. On suppose quil existe une constante M telle que |f (z)| 6 eM |z| pour tout z C. Montrer que
eM
1/n
|an |
6
pour tout n > 1.
n
Exercice 45 Centrale 2010
+
X
Soit f : x 7
an xn la somme dune srie entire de rayon de convergence R > 0. On pose, pour x > 0,
n=1

Z +
+
X
an n
1
g(x) =
x et, pour x > , h(x) =
g(t)ext dt.
n!
R
0
n=0
 
1
1
Justifier les dfinitions, et montrer que h(x) = f

x
x
6

Exercice 46 Cachan 2009

X
Soit (an )n>0 une suite de rels positifs telle que la srie
an diverge et le rayon de convergence de la
X
n
srie entire
an x soit gal 1. Soit (bn )n>0 une suite relle telle que bn an . Montrer que lorsque

x tend vers 1 , on a

X
X
an xn
bn x n
n=0

Exercice 47 Soit f (z) =

+
X

n=0

an z n de rayon de convergence R > 0. Montrer :

n=0

r ]0, R[,

+
X

2 2n

|an | r

n=0

1
=
2




f rei 2 d.

Des indications
Exercice 1 : (|an | rn )nN est born si et seulement si (|bn | rn )nN lest. R = 1
(1)n
Exercice 2 : On trouve an , donc R = 1
n
1
2
Exercice 3 : DAlembert : ; e(n+1) : 0 ; an rn = e... : 1 et 1 et 1 et 1 ; mme mthode : si > 3
e
alors R = 0, si < 3 alors R = 1 et si = 3 alors R = e1/2 ; an rn = e... : 1.
1
1
; 0 ; 1 ; Kn avec K > 0 : R =
Exercice 4 : an rn borne ?

934
e2n
1
1
n
aprs intgration par parties, donc R = 2 ; 1
Exercice 5 : Toujours an r : 1 ; 1 ; ;
2
2n
e n+
n934
932932
donc R = 1 ;
par comparaison somme/intgrale, donc R = 1 ; dAlembert :
; an r n :
934
933933
R = 1.
 
Exercice 6 : (|ap | rp )pN est-elle borne ? R = Min
R, R0 .
Exercice 7 : On montre que R1 R2 6 1 (on suppose R1 R2 > 1, on prend ensuite r1 < R1 et r2 < R2
rn
tels que r1 r2 > 1, et on observe, atterr, la bornitude conjointe de an r1n et 2 ). Attention, la
an
majoration peut tre stricte !
Complment : donner des exemples pour lesquels (R1 , R2 ) = (1, 1/2) puis (1, 0) et
r enfin (0, 0)...
1

Exercice 8 : Daprs dAlembert et suivant le principe de lexercice 6, on a R =

|l|
(1)n
Exercice 9 : Sn ln 2 et Rn
(comparaison somme-intgrale aprs avoir regroup les
n+
2n
termes par deux ; classique...) donc les deux rayons de convergence valent 1.
Exercice 10 : Il ne faut pas esprer prouver RS > 1 en toute gnralit : si les an sont par exemple
1
strictement positif, alors Sn > a0 donc RS 6 1... En testant avec ak = k , on obtient : si Ra 6 1,
R
alors RS > Ra . Et si Ra > 1, alors RS > 1. Pour le second rsultat : (an )nN est borne, donc
Sn = O(n) donc RS > 1. Pour le premier cas : partir dune majoration des |ak | rk pour obtenir par
sommation une majoration de |Sk | rk .
Exercice 11 : Avec |an | rn : R1 = R2 , R2 = + et on ne peut rien dire pour R3 : voir an = 1
1
1
(R = 1 et R3 = 0), an = (R = + et R3 = 0), an =
(R = + et R3 = 1). On peut quand
n!
n!
mme dire que si R est fini, alors R3 = 0.
Exercice 12 : On a f 000 = f , avec les conditions initiales f (0) = 1, et f 0 (0) = f 00 (0) = 0. On peut
2
galement noter que (puisque 1 + j + j!!
= 0) : exp(x) + exp(jx) + exp(j 2 x) = 3f (x). On trouve

1
3
ainsi : f (x) =
ex + ex/2 cos
x

3
2

 Exercice 13 : On a bien entendu f (4) = f , quation laquelle on peut appliquer la thorie vue en
premire anne (le passage de lordre 2 lordre 4 tant naturel...), ou bien comme propos dans
lnonc, on pose g = f 00 + f , de sorte que g 00 + g = 0... On pouvait prfrer g = f 00 f dailleurs...
Le principe tant de factoriser X 4 1, sachant que f Ker (D4 Id)... On aurait pu voir ds le
1
dbut que f (x) = (cos x + cosh x), par exemple via ex , eix , ...
2
1
2
1
Exercice 14 : Dj,
=

, et ensuite : x2 + ln(1 x2 ) + 2xArgthx.

(2n + 1)(n + 1)
2n + 1 n + 1
4n + 1
2
1
Pour la deuxime :
=
+
Ensuite, distinguer les x strictement positifs
(2n 1)(n + 1)
2n 1 n + 1

ln(1 x)
ou ngatifs. Pour x > 0, on trouve 1
+ xArgth x via F (t2 ) ou bien en sommant
x
des intgrales.
x(x + 1)
, R1 = 1. Dcomposition
Exercice 15 : On a n2 xn = n(n1)xn2 x2 +nxn1 x, puis f1 (x) =
(1 x)3
x(x + 2) + 2(1 x2 ) ln(1 x)
en lments simples : f2 (x) =
, R2 = 1. f3 (x) est une partie relle, et
4x3
1 2
vaut finalement ex cosh a cosh(x sinh a), avec R3 = +. On linarise pour trouver f4 (x) = ex
2


1 x2 cos 2
e
cos x2 sin 2 , avec R4 = +. Enfin, n5 = n(n1)...(n4)+10n(n1)(n2)(n3)+
2


et finalement f5 (x) = ex x5 + 10x4 + 25x3 + 15x2 + x avec R5 = +.

0

f (x2 ) + 1
), avec R1 = 1. De
Exercice 16 : Pour x > 0, f1 (x) = xArgth( x) 1 (considrer
x
1
mme, R2 = 1, et aprs une dcomposition en lments simples, pour x > 0 : f2 (x) =
+
2(1
x)
(

cosh x si x > 0
5Argth( x)

Enfin, R3 = +, avec f3 (x) =

2 x
cos x sinon
Exercice 17 : Le rayon de convergence vaut bien entendu 1 (an ln n). Comme produit de Cauchy :
ln(1 x)

f (x) =
1x
+
X
(1)n 4n
Exercice 18 : Dfinissons, pour 1 < x 6 1 : f (x) =
x On a sur ] 1, 1[ : f 0 (x) =
4n + 1
n=0
Z x
1
dt
,
puis
f
(x)
=
La convergence uniforme sur [0, 1] (majoration du reste dune srie
1 x4
1
+
t4
0
Z 1
dt
alterne) nous assure que f (x) f (1), donc f (1) =
Aprs un calcul fastideux mais
4
x1
0 1+t
sans finesse particulire :

Z 1

2
2
2
dt
S = f (1) =
= =
ln(2 + 2)
ln 2 +
.
4
1
+
t
4
8
8
0
ei
ei x
, puis
=
1 xei
1 + x2 2x cos




1
x cos
f (x) = ln 1 + x2 2x cos + i arctan

2
sin

Exercice 19 : Bien entendu, R = 1. Ensuite, f 0 (x) =

Deuxime question difficile ! Existence assure par transformation dAbel, et valeur par convergence
radiale : f est continue sur [0, 1] par transformation dAbel nouveau (convergence uniforme sur
[0, 1]). Finalement :
+
X

sin(n)
=
,
n
2
n=1
pour ]0, 2[.

 Exercice 20 : Le domaine de convergence est [1, 1[. Sur ] 1, 1[, f (x) =

xn

t2n dt = =

dt
et il reste distinguer les positifs (Argth) et les ngatifs (arctan). Pour le comportement
1

xt2
0
en 1, on peut justifier la continuit de f comme toujours en contrlant le reste dune srie alterne,
ce qui fournit une convergence uniforme, donc la continuit en 1.
1
1
Ou encore : pour x > 0, (xf (x2 ))0 =
et (xf (x2 ))0 =

2
1x
1 + x2
Exercice 21 : On a facilement, pour n > 1 : 1 6 an 6 n, donc le rayon de convergence vaut 1.
ex
Ensuite, pour x ] 1, 1[ : (1 x)f 0 (x) = (1 + x)f (x), puis : f (x) =
Cette relation valable
(1 x)2
ez
sur ] 1, 1[ stend ensuite au disque unit ouvert en notant que z 7
est dveloppable en
(1 z)2
srie entire, et que les coefficients de son dveloppement vrifient la mme relation de rcurrence
que f . Mme si ce nest pas demand, on pourra dterminer la valeur de la somme
Z xen x = 1
x
ln(1 t/2)
1
2
0
0
Exercice 22 : Je trouve (2xF x) =
dt.
x = 1 +
x Et ensuite : f (x) =
1 2
1 2
t
0
Exercice 23 : Cest du cours sur ] 1, 1[ (intgrer, driver...). Trois faons de faire pour tendre
la relation en 1 : la convergence uniforme sur [1, 0] par contrle du reste ; le passage par la
srie harmonique via ln n + + o(1), ou encore la sommation par deux qui prouve la continuit
sur [1, 0] par convergence normale. Il serait bon de matriser ces trois mthodes (la dernire est
moins pratique mais trs abordable).

(on reconnait arctan) et aprs

Exercice 24 : Dcomposition en lments simples pour trouver
8
Z 1
1 t2
Argsh(1)

interversion somme/intgrale :
dt =

4
2 2
0 1+t
14
Exercice 25 : Dcomposition en lments simples, drivation... pour trouver 10 + 2e
e
Exercice 26 : La drive de la fonction Arccos est dveloppable en srie entire, avec un rayon 1.

X (2n)! x2n+1
En intgrant : Arccosx =

2 n=0 4n n!2 2n + 1
Exercice 27 : Intgration du dveloppement en srie entire de la drive,
en

 aprs dcomposition
i
lments simples de ladite drive, pour trouver finalement : un = 2Re

3j n+1
Exercice 28 : Pour la continuit, convergence uniforme par contrle du reste, ou normale par
X X (1)n  x k
regroupement par deux. Interversion dans
par convergence normale (aprs
n
n
n
k
regroupement par deux). What else ?
f (2p) (0)
= O(1/Rn ), ce qui nest gure envisageable, car avec une
Exercice 29 : On devrait avoir
(2p)!
comparaison somme/intgrale soigneuse (attention la bosse) :
f

(2p)

(0) =

+
X
n=0+

4p n

n e

Z
>

t4p et dt (4p)4p e4p (4p)!

daprs Stirling.
Exercice 30 : Je trouve F 0 = 2xF + 1, puis F (x) =

X
nN

22n n! n
x .
(2n + 1)!

Exercice 31 : La relation tan0 = 1 + tan2 Leibnize nous assure par rcurrence avec prdcesseurs
que tous les tan(n) (0) sont positifs. Pour x [0, /2[, les sommes partielles de Taylor constituent
alors une suite croissante et majore par tan x (grce la formule de Taylor avec reste intgral),
donc convergente. La relation vue plus haut (concernant tan0 ) fournit une relation vrifie par sa
srie de Taylor... qui nous assure que son dveloppement en srie entire vrifie la mme quation
diffrentielle f 0 = 1 + f 2 . Sans la moindre thorie sur les quations diffrentielles, on a alors
0
(arctan f ) = 1, puis...
9

 Exercice 32 : Les rayons de convergence sont gaux respectivement , 1, 1 (observer le module

2
des diffrents ples), 1, +,
et 2
51
Dj, ex sin x est une partie imaginaire ; ensuite 1 , ln(1 + x + x2 ) = ln(1 x3 ) ln(1 x) ; on
dcompose en lments simples pour trouver
f3 (x) =

+

1 X
1 + 2.2n/2 (2 cos(3n/4) sin(3n/4)) xn .
5 n=0

Il est pratique dcrire f4 (x) = (1 x)(1 x2 )1/2 , pour obtenir aprs produit de Cauchy :
f4 (x) =


+ 
X
1/2
n=0

(1)n x2n x2n+1 .



2
1
1
1 + + 2 (1 cos(2x)). Pour f6 , la dcom2
x x
position en lments simples est standard. Il est intressant de noter que les coefficients de la srie
de Taylor vrifient la relation an n + 2 = an + an+1 , avec a0 = 0 et a1 = 1 : il sagit de la suite de
1
1
1
1
1
1
Fibonacci. Enfin, f70 (x) =
+
=

x3 x2
3 1 x/3 2 1 x/2
Exercice 33 : En drivant tout ou partie des fonctions proposes, on trouvera dune part les rayons
1
de convergence (respectivement 1, 2, et +), ainsi que les dveloppements en srie entire :
2


+
+
X
X sin(n/4)
1/2
x2n
;
f2 (x) =
f1 (x) =
n (1)n xn ;
2n

1
4
n
n
2
n=1
n=1
Il est probablement intressant dcrire f5 (x) =

f3 (x) =

+ n
X
2 + 2n n
x ;
n2
n=1

f4 (x) =

+
X

(1)p

p=0

22p+1 1 2p+1
x
.
p!(2p + 1)

Au passage, f1 est bien paire comme on lavait not ds le dbut !

Exercice 34 : Seule la premire fonction est clairement dveloppable en srie entire, avec un rayon
de convergence infini. Pour la deuxime, la fonction arcsin est dveloppable avec un rayon de
arcsin u
convergence de 1 et est impaire, donc u 7
est dveloppable avec un rayon de convergence
u

de 1, et ce dveloppement est pair, donc appliqu x, il fournit une srie... qui (une fois multipli
par le dveloppement en srie entire de (1 x)1/2 est une srie entire et concide avec f2
sur ] 1, 1[. Pour f3 , on va admettre que si f est dveloppable en srie entire avec un rayon
de convergence R > 0, alors ef est galement dveloppable en srie entire, avec un rayon de
convergence suprieur ou gal R (il peut tre strictement plus gros : penser au logarithme).
Dans chaque cas, on tablit dabord une quation diffrentielle vrifie par la fonction : on trouve
f10 = 4xf1 + 1;

2x(1 x)f20 + (1 2x)f2 = 1;

(1 x)2 f30 = f3 .

Quelques calculs plus tard :

f1 (x) =

+
X
(1)p
p=0

8p p!
x2p+1 ,
(2p + 1)!

et enfin :

f2 (x) =

+
X

4n n!2 n
x ,
(2n + 1)!
n=0

1
si n 6 1
f3 (x) =
an xn
avec an = 2n 1
n2

an1
an2 sinon
n=1
n
n
pn
The OEIS nous dit mme que an =
, avec pn le nombre de partitions ordonnes de [[1, n]].
n!
+
X

1. dsol...

10

X
1
bn z n .
=
f (z)
nN
nN
Par produit de Cauchy, on obtient les conditions ncessaires : a0 b0 = 1, et pour tout n N ,
n
X
1
ank bk = 0. Ce systme possde (exactement) une solution (bn )nN , vrifiant : b0 =
, et
a0

Exercice 35 : Supposons quau voisinage de 0, f (z) =

an z n et g(z) =

k=0

n1

1 X
ank bk pour tout n > 1. On sait par ailleurs quil existe , > 0 tels que pour
a0
k=0
tout n N, |an | 6 n . On souhaiterait une majoration de la forme |bn | 6 n , ce qui impose
> (pour n = 0) ; on fixe donc := dans la suite. Pour que la relation |bn | 6 n passe
la rcurrence (avecprdcesseurs),
il suffit (aprs ingalit triangulaire et une ligne de calcul) que


lon prenne = 1 +
Il reste faire la synthse.
|a0 |
Exercice 36 : Thorme de Leibniz pour les deux drivations, qui P
fournissent bien lquation souhaite, via une intgration par parties dans tf 00 (t). Ensuite, g(t) = an xn vrifie (E) si et seulement
si (n + 1)2 an+1 = an1 pour tout n > 1, ce qui laisse exactement deux degrs de liberts (pour
obtenir des sries de rayons de convergence infinis). Par ailleurs, on peut intervertir sans problme
somme et intgrale dans f (t) (aprs avoir crit lexponentielle comme une srie !), ce qui donne :
+
X
(2p)!
In
et
I2p+1 =
f (t) =
(1)n tn . On trouve finalement comme toujours : I2p = p 2
n!
4
p! 2
n=0
4p p!2
Ce nest peut-tre pas la mthode la plus efficace pour calculer In ...
(2p + 1)!
P
Exercice 37 : Analyse : si x 7
an xn est une solution dveloppable en srie entire, alors a0 = 0,
+
X
5n2
1
a1 = et pour tout n > 2, (3n + 2)an = 5an1 , puis f (x) =
xn . Synthse : la
5
8.11...(3n
+
2)
n=1
srie prcdente a un rayon de convergence infini (dAlembert), et sa somme vrifie bien lquation
diffrentielle : cest donc notre solution recherche.
Pour majorer le reste, on peut tenter une majoration de an par une srie gomtrique. Par exemple,
 n2
 N 1
+
X
5 5
55 5
an 6
pour n > 4, ce qui donne alors
an 6
, et il suffit alors de
8 11
48 11
bn =

n=N +1

prendre N = 14 pour avoir |SN f (1)|X

6 5.105 . Accessoirement, S14 ' 0, 40997. Super...
Exercice 38 : Grand classique : f (x) =
un xn vrifie, si son rayon de convergence est strictement

1 1 4x
Rciproquement, lapplication g : x 7
positif : xf 2 (x) f (x) + 1 = 0, puis f (x) =
2x

1 1 4x
est bien dveloppable en srie entire, et les coefficients du dveloppement vrifient la
2x
mme relation de rcurrencequeles un (avec les mmes premires valeurs), donc sont gaux aux
2n
1
.
un . Finalement, un =
n+1 n
Les informaticiens ont vu 2 une preuve a priori de la majoration un 6 4n , ce qui simplifiait une
partie du raisonnement.
Exercice 39 : Lencadrement trivial 0 6 dn 6 n! assure que le rayon de convergence de la srie
1
dfinissant f est suprieur ou gal 1. Par produit de Cauchy : f (x)ex = =
daprs ce
1x
1
dn

qui prcde, puis nouveau produit de Cauchy. Enfin :
n! n+ e
Exercice 40 : Choisir le nombre dlments qui vont accompagner n + 1, puis choisir ces lments,
puis partitionner le reste. La relation de rcurrence induit Pn > n! par rcurrence immdiate,
Pn
do le rayon de convergence nul si on ne divise pas par 0. Enfin, en notant n =
, on a
n!
n
X
1
k
n+1 =
, relation dont on tire S 0 (x) = S(x)ex ...
n+1
nk
k=0

2. en interprtant un comme le nombre darbres binaires n nuds

11

 Exercice 41 : On a dj lintgrabilit de la fonction en jeu sur ]0, 1[. Ensuite, on dveloppe

en

Z 1
X Z 1  t2k ln(t2 ) 
1


, et donc
srie entire ln(1 t2 ). Ensuite,
t2k ln(t)dt =
 k + 1  dt est
(2k + 1)2
0
0
convergente, ce qui est le ssame pour intervertir la somme et lintgrale. Avec une dcomposition
2
en lments simples et les autres techniques standards, on trouve finalement :
4 ln 2.
2
1
3
Exercice 42 : Puisque an 3 , le rayon de convergence vaut 1. Ensuite,
=
n
n(n
+
1)(2n
+ 1)



1
1
2
1
4
+

On trouve alors S(x) = 3 1 +

ln(1 x) Argth x (pour x > 0),
n n + 1 2n + 1
x
x
puis S(x) 18 24 ln 2. Convergence normale sur [0, 1], donc OK pour la continuit. a passe
x1

aussi via ln n + + o(1)...

Exercice 43 : On trouve comme base de solutions dveloppables en srie entire : (F1 , F2 ), avec
+
+
X
X
x3k
x3k+1
F1 (x) =
et F2 (x) =

3k(3k 1)(3k 3)...5.3.2

(3k + 1)3k(3k 2)...4.3
k=0
k=0
Exercice 44 : interversion somme/intgrale sans problme grce la convergence normale, pour
Z 2


eM r
1/n
f rei eni d = 2rn an . En minimisant le membre de droite de |an |
6
trouver :
,
r
0
on trouve exactement le majorant
 n souhait.
2
, donc le rayon de convergence de la srie entire dont g est la
Exercice 45 : Dj, an = o
R
1
K
somme est infini. Soit maintenant x >
: il existe K tel que pour tout n, |an | 6 n On a alors
R
R
1
|g(x)| 6 Kex/R puis |g(t)ext | 6 e(1/Rx)t ce qui assure lexistence de h(x) puisque
x < 0.
R


1
g(x) = O eKx . Ensuite, toujours pour x > , on a :
R
Z
Z + X
1 + X an un eu 1
an tn ext
dt =
du,
h(x) =
u=tx x 0
n!
n!
xn
0
nN

nN

et on est
XZ
de

envie
dinterversion.
Il suffit pour cela dtablir la convergence


alors npris dune
Z furieuse
 an un u 
 an u u 
P
1
1
1




an n est
 n! xn e  du = |an | xn , et comme x < R, la srie
 n! xn e  du. Or
x
absolument convergente : cest gagn !
+
X
Exercice 46 : On va poser cn = bn an (de sorte que cn = o(an )), et montrer que
cn x n =
n=0
!
+
X
o
an xn . On fixe pour cela > 0. Il existe un rang N au del duquel on a dune part
n=0


n
n
X

X


|cn | 6 an , et dautre part 
ck  6
ak (thorme de comparaison des sommes partielles


2
k=0
k=0
dans le cas dune srie positive divergente).
+
+
 X

X


On a alors 
cn x n  6
an xn . Pour le premier morceau, on est ramen des polynmes :


n=N +1

n=N +1

 N

 N

X

X 
n


cn x 
cn 



 n=0
 n=0 
6 ,

 
X
 x1  X
 2

 N

 N
n



a
x
a
n
n 



n=0

n=0

donc pour x assez proche de 1, etc...

Exercice 47 : Parsevaliser sur 7 f (rei ). Il faut tout de mme vrifier les hypothses !

12