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 !
1 Rayons de convergence
On retiendra quil y a autre chose que
a
n+1
a
n
pour calculer des rayons de convergence : trs souvent,
il est prfrable de penser les choses en termes de pour quels r la suite (|a
n
| r
n
)
nN
est-elle borne ?
Exercice 1 CCP 2009
On suppose que |a
n
| |b
n
|. Montrer que les sries entires

a
n
z
n
et

b
n
z
n
ont le mme rayon de
convergence. En dduire le rayon de la srie entire
i
n
n
2
n
2
+ 1
z
n
.
Exercice 2 Centrale 2010
On dnit, pour n 2, a
n
= ln
_
n + (1)
n

n + 1
_
Dterminer le rayon de convergence de

n2
a
n
x
n
.
Exercice 3 Des rayons ; stage 1
Dterminer les rayons de convergence des sries entires

a
n
z
n
, avec a
n
dni des faons suivantes :
1. a
n
=
n
n
n!
;
2. a
n
= e
(n+1)
2
e
n
2
;
3. a
n
= (ln n)
ln n
puis a
n
=

n

n
;
4. a
n
= e

n
puis a
n
= e

n
;
5. a
n
=
_
cosh
1
n
_
n

;
6. a
n
= arctan(n

) ;
7. a
n
= 933

n
.
Exercice 4 Des rayons ; stage 2
Same player shoot again.
1. a
2n
= 933
n
et a
2n+1
= 934
n
;
2. a
n
=
_
(

n)! si n est un carr dentier

0 sinon
3. a
n
=
_
933
p
si n = p!
0 sinon
4. a
0
= 0, a
1
= 1 et a
n+2
= a
n
+ a
n+1
pour tout n N.
Exercice 5 Des rayons ; stage 3
Quelques derniers pour la route.
1. (a
n
) est telle que a
n

n+
933 ;
2. (a
n
) est priodique et valeurs non nulles ;
3. a
n
=
_
1
0
(1 + t
2
)
n
dt ;
1
4. a
n
=
_
2n
n
e
t
t
dt ;
5. a
n
=
_
+
0
e
t
n
dt ;
6. a
n
=
n

k=1
k
933
7. a
n
=
_
933n
n
_
;
8. a
n
=
_
1 +
1
2
+ +
1
n
_
ln n
Dans les situations un peu thoriques, on peut (pour se xer les ides) remplacer lhypothse R(

a
n
z
n
) =
K par a
n
=
1
K
n
: a marche assez bien pour intuiter le bon rsultat.
Exercice 6 On suppose que

a
2n
z
n
et

a
2n+1
z
n
ont pour rayons de convergence respectifs R > 0
et R

> 0. Dterminer celui de

a
n
z
n
.
Exercice 7 On suppose que les a
n
sont des complexes non nuls. Dterminer une relation entre les
rayons de convergence de

a
n
z
n
et
z
n
a
n

Exercice 8 On suppose :
a
n+2
a
n

n+
l = 0. Dterminer le rayon de convergence de

a
n
z
n
.
Exercice 9 On pose, pour n N

: S
n
=
n

k=1
(1)
k+1
k
et R
n
=
+

k=n+1
(1)
k+1
k
Dterminer les rayons
de convergence des sries entires

S
n
z
n
et

R
n
z
n
.
Exercice 10 On suppose que le rayon de convergence de

a
n
z
n
est strictement positif. Que dire de
celui de

S
n
z
n
, avec S
n
=
n

k=0
a
k
?
Exercice 11 On suppose que

a
n
z
n
a un rayon de convergence R > 0. Que dire de celui de

a
2
n
z
n
?
et de celui de
a
n
n!
z
n
? Et enn de celui de

n!a
n
z
n
?
2 Calculs de somme
Exercice 12 Calculer de deux faons direntes f(x) =
+

n=0
x
3n
(3n)!
:
laide dune quation direntielle ;
en faisant intervenir exp(x), exp(jx) et exp(j
2
x).
Exercice 13 CCP 2009
On pose f(x) =

n=0
x
4n
(4n)!

1. Domaine de dnition de f ?
2. tablir une quation direntielle du 4me ordre vrie par f, et la transformer en une quation
du 2me ordre.
3. Trouver la valeur de f(x).
Exercice 14 Mines 2009
2
1. Calcul de la somme
+

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

2. Calcul de la somme
+

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

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

n=0
n
2
x
n
;
2.
+

n=0
x
n
(n + 1)(n + 3)
;
3.
+

n=1
cosh(na)
n
x
n
;
4.
+

n=0
sin
2
(n)
n!
x
2n
;
5.
+

n=0
n
5
n!
x
n
.
Exercice 16 Calculer les sommes suivantes (en donnant les rayons de convergence) :
1.
+

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

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

n=0
x
n
(2n)!

Exercice 17 Calculer, pour des x prciser :

+

n=1
_
1 +
1
2
+ +
1
n
_
x
n
.
Exercice 18 Mines 2010
Calculer
+

n=0
(1)
n
4n + 1

Exercice 19 Mines 2010

Soit R.
1. Rayon de convergence et somme de
+

n=1
e
ni
n
x
n
.
2. Calcul de
+

n=1
sin(n)
n

Exercice 20 Centrale 2010
Rayon de convergence, domaine de convergence et somme de
+

n=0
x
n
2n + 1

Exercice 21 Centrale 2010

On dnit la suite a par : a
0
= a
1
= 1, et pour tout n 1 : a
n+1
= a
n
+
a
n1
n + 1

3
1. Trouver le rayon de convergence de la srie entire
+

n=0
a
n
z
n
.
2. Dterminer la somme de cette srie entire laide dune quation direntielle.
Exercice 22 Centrale 2010
Soit F : x
+

n=1
x
n
2
n
n
2
Exprimer, quand elle est dnie, F sous forme dintgrale.
Exercice 23 CCP 2010
Montrer que pour tout t [1, 1[,
+

n=1
t
n
n
= ln(1 t).
Exercice 24 Calculer

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

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

Exercice 25 Calculer
+

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

3 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
_
x

dt
t
2
+ t + 1

Exercice 28 TPE 2009

Soit f : x [1, 1]
+

n=2
(1)
n
x + n

1. Montrer que f est indniment drivable sur [1, 1].
2. Montrer par deux mthodes que f est dveloppable en srie entire autour de 0.
Exercice 29 Mines 2010
Soit f : x
+

n=0
cos(n
2
x)e
n
.
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 e
x
2
_
x
0
e
t
2
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 coecients positifs, et
en dduire quelle convergente sur ] /2, /2[.
2. Montrer que la somme f de la srie de Taylor vrie f

= 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. e
x
sin x;
4
2. ln(1 + x + x
2
) ;
3.
1
1 + x 2x
3
;
4.
_
1 x
1 + x
;
5.
_
(1 + x) sin x
x
_
2
;
6.
x
1 x x
2
: par dcomposition en lments simples, puis en utilisant la relation (1xx
2
)f(x))x;
7. ln(x
2
5x + 6).
Exercice 33 Des dveloppements en srie entire, stage 2
Idem (driver au moins partiellement peut-tre une bonne ide) :
1. xln(x +

x
2
+ 1) ;
2. arctan(x + 1) ;
3.
_
x
0
ln
_
t
2

5
2
t + 1
_
t
dt ;
4.
_
2x
x
e
t
2
dt ;
Exercice 34 Des dveloppements en srie entire, stage 3
Dvelopper gnagnagna... (passer par des quations direntielles) :
1. f
1
(x) = e
2x
2
_
x
0
e
2t
2
dt ;
2. f
2
(x) =
arcsin

x
_
x(1 x)
;
3. f
3
(x) = e
x/(1x)
.
Exercice 35 Soit f dveloppable en srie entire au voisinage de 0, avec f(0) = 0. Montrer que
1
f
est
dveloppable en srie entire au voisinage de 0.
On pourra chercher formellement un candidat, et vrier que le rayon de convergence dudit candidat est
strictement positif.
4 Applications
Exercice 36 TPE 2009
Soient f : t
_
/2
0
e
t sin x
dt et (E) lquation ty

+ y

ty + 1 = 0.
Montrer que f vrie (E). Trouver les solutions de (E) dveloppables en sries entire. En dduire la
valeur de I
n
=
_
/2
0
sin
n
xdx.
Exercice 37 Montrer que lquation 3ty

+ (2 5t)y = t possde une solution y dveloppable en srie

entire au voisinage de 0. Calculer la valeur de y(1) 5.10
5
prs.
Exercice 38 Mines 2010 : Nombres de Catalan
Soit (u
n
) dnie par u
0
= 1, et pour tout n N, u
n+1
=
n

k=0
u
k
u
nk
. Expliciter u
n
.
Exercice 39 CCP 2010
Pour n N

, soit d
n
le nombre de permutations sans point xe de {1, 2, ..., n}. On pose de plus d
0
= 1.
5
1. Montrer que le rayon de convergence de

d
n
n!
x
n
est suprieur ou gal 1. On note f(x) sa somme.
2. Montrer que pour tout n N, n! =
n

k=0
_
n
k
_
d
k
.
3. Si x ] 1, 1[, calculer f(x)e
x
et en dduire : d
n
= n!
n

k=0
(1)
k
k!

4. Dterminer la limite de
d
n
n!
lorsque n tend vers +.
Exercice 40 On dnit, pour n N, P
n
le nombre de partitions de [[1, n]], en convenant que P
0
= 1
1. Montrer que pour tout n N, P
n+1
=
n

k=0
_
n
k
_
P
k
.
2. Montrer que

P
n
z
n
est de rayon de convergence nul.
3. Montrer que la srie entire
P
n
n!
z
n
a un rayon de convergence R > 0, et que pour |z| < R, on a

n=0
P
n
n!
z
n
= e
e
z
1
.
Exercice 41 tablir lexistence, puis calculer la valeur de
_
1
0
ln(t
2
) ln(1 t
2
)
t
2
dt.
Exercice 42 Mines 2010
On pose, pour n 1, a
n
=
1
n

k=1
k
2

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

+

n=1
a
n
x.
2. En dduire
+

n=1
a
n
.
Exercice 43 Mines 2010
Rsoudre lquation direntielle y

= xy laide de sries entires.

5 Divers
Exercice 44 Mines 2009
Soit

a
n
z
n
une srie entire de rayon de convergence inni et de somme f.
1. On xe r 0. Calculer
_
2
0
f
_
re
i
_
e
ni
d.
2. On suppose quil existe une constante M telle que |f(z)| e
M|z|
pour tout z C. Montrer que
|a
n
|
1/n

eM
n
pour tout n 1.
Exercice 45 Centrale 2010
Soit f : x
+

n=1
a
n
x
n
la somme dune srie entire de rayon de convergence R > 0. On pose, pour x 0,
g(x) =
+

n=0
a
n
n!
x
n
et, pour x >
1
R
, h(x) =
_
+
0
g(t)e
xt
dt.
Justier les dnitions, et montrer que h(x) =
1
x
f
_
1
x
_

6
Exercice 46 Cachan 2009
Soit (a
n
)
n0
une suite de rels positifs telle que la srie

a
n
diverge et le rayon de convergence de la
srie entire

a
n
x
n
soit gal 1. Soit (b
n
)
n0
une suite relle telle que b
n
a
n
. Montrer que lorsque
x tend vers 1

, on a

n=0
a
n
x
n

n=0
b
n
x
n
Exercice 47 Soit f(z) =
+

n=0
a
n
z
n
de rayon de convergence R > 0. Montrer :
r ]0, R[,
+

n=0
|a
n
|
2
r
2n
=
1
2
_
2
0

f
_
re
i
_

2
d.
6 Des indications
Exercice 1 : (|a
n
| r
n
)
nN
est born si et seulement si (|b
n
| r
n
)
nN
lest. R = 1
Exercice 2 : On trouve a
n

(1)
n

n
, donc R = 1
Exercice 3 : DAlembert :
1
e
; e
(n+1)
2
: 0 ; a
n
r
n
= e
...
: 1 et 1 et 1 et 1 ; mme mthode : si > 3
alors R = 0, si < 3 alors R = 1 et si = 3 alors R = e
1/2
; a
n
r
n
= e
...
: 1.
Exercice 4 : a
n
r
n
borne ?
1

934
; 0 ; 1 ; K
n
avec K > 0 : R =
1

Exercice 5 : Toujours a
n
r
n
: 1 ; 1 ;
1
2
;
e
2n
2n
aprs intgration par parties, donc R =
1
e
2
;
n+
1
donc R = 1 ;
n
934
934
par comparaison somme/intgrale, donc R = 1 ; dAlembert :
932
932
933
933
; a
n
r
n
:
R = 1.
Exercice 6 : (|a
p
| r
p
)
pN
est-elle borne ? R = Min
_

R,

_
.
Exercice 7 : On montre que R
1
R
2
1 (on suppose R
1
R
2
> 1, on prend ensuite r
1
< R
1
et r
2
< R
2
tels que r
1
r
2
> 1, et on observe, atterr, la bornitude conjointe de a
n
r
n
1
et
r
n
2
a
n
). Attention, la
majoration peut tre stricte !
Complment : donner des exemples pour lesquels (R
1
, R
2
) = (1, 1/2) puis (1, 0) et enn (0, 0)...
Exercice 8 : Daprs dAlembert et suivant le principe de lexercice 6, on a R =
_
1
|l|

Exercice 9 : S
n

n+
ln 2 et R
n

(1)
n
2n
(comparaison somme-intgrale aprs avoir regroup les
termes par deux ; classique...) donc les deux rayons de convergence valent 1.
Exercice 10 : Il ne faut pas esprer prouver R
S
> 1 en toute gnralit : si les a
n
sont par exemple
strictement positif, alors S
n
a
0
donc R
S
1... En testant avec a
k
=
1
R
k
, on obtient : si R
a
1,
alors R
S
R
a
. Et si R
a
> 1, alors R
S
1. Pour le second rsultat : (a
n
)
nN
est borne, donc
S
n
= O(n) donc R
S
1. Pour le premier cas : partir dune majoration des |a
k
| r
k
pour obtenir par
sommation une majoration de |S
k
| r
k
.
Exercice 11 : Avec |a
n
| r
n
: R
1
= R
2
, R
2
= + et on ne peut rien dire pour R
3
: voir a
n
= 1
(R = 1 et R
3
= 0), a
n
=
1

n!
(R = + et R
3
= 0), a
n
=
1
n!
(R = + et R
3
= 1). On peut quand
mme dire que si R est ni, alors R
3
= 0.
Exercice 12 : On a f

= f, avec les conditions initiales f(0) = 1, et f

(0) = f

(0) = 0. On peut
galement noter que (puisque 1 + j + j
2
= 0) : exp(x) + exp(jx) + exp(j
2
x) = 3f(x). On trouve
ainsi : f(x) =
1
3
_
e
x
+ e
x/2
cos
_

3
2
x
__

7
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

+f, de sorte que g

+g = 0... On pouvait prfrer g = f

f dailleurs...
Le principe tant de factoriser X
4
1, sachant que f Ker (D
4
Id)... On aurait pu voir ds le
dbut que f(x) =
1
2
(cos x + cosh x), par exemple via e
x
, e
ix
, ...
Exercice 14 : Dj,
1
(2n + 1)(n + 1)
=
2
2n + 1

1
n + 1
, et ensuite : x
2
+ ln(1 x
2
) + 2xArgthx.
Pour la deuxime :
4n + 1
(2n 1)(n + 1)
=
2
2n 1
+
1
n + 1
Ensuite, distinguer les x strictement positifs
ou ngatifs. Pour x > 0, on trouve 1
ln(1 x)
x
+

xArgth

x via F(t
2
) ou bien en sommant
des intgrales.
Exercice 15 : On a n
2
x
n
= n(n1)x
n2
x
2
+nx
n1
x, puis f
1
(x) =
x(x + 1)
(1 x)
3
, R
1
= 1. Dcomposition
en lments simples : f
2
(x) =
x(x + 2) + 2(1 x
2
) ln(1 x)
4x
3
, R
2
= 1. f
3
(x) est une partie relle, et
vaut nalement e
x cosh a
cosh(xsinh a), avec R
3
= +. On linarise pour trouver f
4
(x) =
1
2
e
x
2

1
2
e
x
2
cos 2
cos
_
x
2
sin 2
_
, avec R
4
= +. Enn, n
5
= n(n1)...(n4)+10n(n1)(n2)(n3)+
et nalement f
5
(x) = e
x
_
x
5
+ 10x
4
+ 25x
3
+ 15x
2
+ x
_
avec R
5
= +.
Exercice 16 : Pour x > 0, f
1
(x) =

xArgth(

x) 1 (considrer
_
f(x
2
) + 1
x
_

), avec R
1
= 1. De
mme, R
2
= 1, et aprs une dcomposition en lments simples, pour x > 0 : f
2
(x) =
1
2(1 x)
+
5Argth(

x)
2

x
Enn, R
3
= +, avec f
3
(x) =
_
cosh

x si x 0
cos

x sinon
Exercice 17 : Le rayon de convergence vaut bien entendu 1 (a
n
ln n). Comme produit de Cauchy :
f(x) =
ln(1 x)
1 x

Exercice 18 : Dnissons, pour 1 < x 1 : f(x) =
+

n=0
(1)
n
4n + 1
x
4n
On a sur ] 1, 1[ : f

(x) =
1
1 x
4
, puis f(x) =
_
x
0
dt
1 + t
4
La convergence uniforme sur [0, 1] (majoration du reste dune srie
alterne) nous assure que f(x)
x1

f(1), donc f(1) =

_
1
0
dt
1 + t
4
Aprs un calcul fastideux mais
sans nesse particulire :
S = f(1) =
_
1
0
dt
1 + t
4
= =

2
4
ln(2 +

2)

2
8
ln 2 +

2
8
.
Exercice 19 : Bien entendu, R = 1. Ensuite, f

(x) =
e
i
1 xe
i
=
e
i
x
1 + x
2
2xcos
, puis
f(x) =
1
2
ln
_
1 + x
2
2xcos
_
+ i arctan
_
x cos
sin
_

Deuxime question dicile ! 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 :
+

n=1
sin(n)
n
=

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

n
x
n
_
1
0
t
2n
dt = =
_
1
0
dt
1 xt
2
et il reste distinguer les positifs (Argth) et les ngatifs (arctan). Pour le comportement
en 1, on peut justier la continuit de f comme toujours en contrlant le reste dune srie alterne,
ce qui fournit une convergence uniforme, donc la continuit en 1.
Ou encore : pour x > 0, (xf(x
2
))

=
1
1 x
2
et (xf(x
2
))

=
1
1 + x
2

Exercice 21 : On a facilement, pour n 1 : 1 a
n
n, donc le rayon de convergence vaut 1.
Ensuite, pour x ] 1, 1[ : (1x)f

(x) = (1+x)f(x), puis : f(x) =

e
x
(1 x)
2
Cette relation valable
sur ] 1, 1[ stend ensuite au disque unit ouvert en notant que z
e
z
(1 z)
2
est dveloppable en
srie entire, et que les coecients de son dveloppement vrient la mme relation de rcurrence
que f. Mme si ce nest pas demand, on pourra dterminer la valeur de la somme en x = 1
Exercice 22 : Je trouve (2xF

x)

=
x
2
1
x
2
= 1+
1
1
x
2
Et ensuite : f(x) =
_
x
0
ln(1 t/2)
t
dt.
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).
Exercice 24 : Dcomposition en lments simples pour trouver

8
(on reconnait arctan) et aprs
interversion somme/intgrale :
_
1
0
1 t
2
1 + t
4
dt =
Argsh(1)
2

Exercice 25 : Dcomposition en lments simples, drivation... pour trouver 10 + 2e

14
e

Exercice 26 : La drive de la fonction Arccos est dveloppable en srie entire, avec un rayon 1.
En intgrant : Arccosx =

2

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

Exercice 27 : Intgration du dveloppement en srie entire de la drive, aprs dcomposition en

lments simples de ladite drive, pour trouver nalement : u
n
= 2Re
_
i

3j
n+1
_

Exercice 28 : Pour la continuit, convergence uniforme par contrle du reste, ou normale par
regroupement par deux. Interversion dans

k
(1)
n
n
_
x
n
_
k
par convergence normale (aprs
regroupement par deux). What else ?
Exercice 29 : On devrait avoir
f
(2p)
(0)
(2p)!
= O(1/R
n
), ce qui nest gure envisageable, car avec une
comparaison somme/intgrale soigneuse (attention la bosse) :
f
(2p)
(0) =
+

n=0+
n
4p
e
n

_
+
0
t
4p
e
t
dt (4p)
4p
e
4p
(4p)!
daprs Stirling.
Exercice 30 : Je trouve F

= 2xF + 1, puis F(x) =

nN
2
2n
n!
(2n + 1)!
x
n
.
Exercice 31 : La relation tan

= 1 + tan
2
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 tan

) fournit une relation vrie par sa

srie de Taylor... qui nous assure que son dveloppement en srie entire vrie la mme quation
direntielle f

= 1 + f
2
. Sans la moindre thorie sur les quations direntielles, on a alors
(arctan f)

= 1, puis...
9
Exercice 32 : Les rayons de convergence sont gaux respectivement , 1, 1 (observer le module
des dirents ples), 1, +,
2

5 1
et 2
Dj, e
x
sin x est une partie imaginaire ; ensuite
1
, ln(1 + x + x
2
) = ln(1 x
3
) ln(1 x) ; on
dcompose en lments simples pour trouver
f
3
(x) =
1
5
+

n=0
_
1 + 2.2
n/2
(2 cos(3n/4) sin(3n/4))
_
x
n
.
Il est pratique dcrire f
4
(x) = (1 x)(1 x
2
)
1/2
, pour obtenir aprs produit de Cauchy :
f
4
(x) =
+

n=0
_
1/2
n
_
(1)
n
_
x
2n
x
2n+1
_
.
Il est probablement intressant dcrire f
5
(x) =
1
2
_
1 +
2
x
+
1
x
2
_
(1 cos(2x)). Pour f
6
, la dcom-
position en lments simples est standard. Il est intressant de noter que les coecients de la srie
de Taylor vrient la relation a
n
n + 2 = a
n
+ a
n+1
, avec a
0
= 0 et a
1
= 1 : il sagit de la suite de
Fibonacci. Enn, f

7
(x) =
1
x 3
+
1
x 2
=
1
3
1
1 x/3

1
2
1
1 x/2

Exercice 33 : En drivant tout ou partie des fonctions proposes, on trouvera dune part les rayons
de convergence (respectivement 1,

2,
1
2
et +), ainsi que les dveloppements en srie entire :
f
1
(x) =
+

n=1
_
1/2
n
_
x
2n
2n 1
; f
2
(x) =

4

+

n=1
sin(n/4)
n

2
n
(1)
n
x
n
;
f
3
(x) =
+

n=1
2
n
+ 2
n
n
2
x
n
; f
4
(x) =
+

p=0
(1)
p
2
2p+1
1
p!(2p + 1)
x
2p+1
.
Au passage, f
1
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 inni. Pour la deuxime, la fonction arcsin est dveloppable avec un rayon de
convergence de 1 et est impaire, donc u
arcsin u
u
est dveloppable avec un rayon de convergence
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 f
2
sur ] 1, 1[. Pour f
3
, on va admettre que si f est dveloppable en srie entire avec un rayon
de convergence R > 0, alors e
f
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 direntielle vrie par la fonction : on trouve
f

1
= 4xf
1
+ 1; 2x(1 x)f

2
+ (1 2x)f
2
= 1; (1 x)
2
f

3
= f
3
.
Quelques calculs plus tard :
f
1
(x) =
+

p=0
(1)
p
8
p
p!
(2p + 1)!
x
2p+1
, f
2
(x) =
+

n=0
4
n
n!
2
(2n + 1)!
x
n
,
et enn :
f
3
(x) =
+

n=1
a
n
x
n
avec a
n
=
_
_
_
1 si n 1
2n 1
n
a
n1

n 2
n
a
n2
sinon
The OEIS nous dit mme que a
n
=
p
n
n!
, avec p
n
le nombre de partitions ordonnes de [[1, n]].
1. dsol...
10
Exercice 35 : Supposons quau voisinage de 0, f(z) =

nN
a
n
z
n
et g(z) =
1
f(z)
=

nN
b
n
z
n
.
Par produit de Cauchy, on obtient les conditions ncessaires : a
0
b
0
= 1, et pour tout n N

,
n

k=0
a
nk
b
k
= 0. Ce systme possde (exactement) une solution (b
n
)
nN
, vriant : b
0
=
1
a
0
, et
b
n
=
1
a
0
n1

k=0
a
nk
b
k
pour tout n 1. On sait par ailleurs quil existe , > 0 tels que pour
tout n N, |a
n
|
n
. On souhaiterait une majoration de la forme |b
n
|
n
, ce qui impose
(pour n = 0) ; on xe donc := dans la suite. Pour que la relation |b
n
|
n
passe
la rcurrence (avec prdcesseurs), il sut (aprs ingalit triangulaire et une ligne de calcul) que
lon prenne =
_
1 +

|a
0
|
_
Il reste faire la synthse.
Exercice 36 : Thorme de Leibniz pour les deux drivations, qui fournissent bien lquation souhai-
te, via une intgration par parties dans tf

(t). Ensuite, g(t) =

a
n
x
n
vrie (E) si et seulement
si (n + 1)
2
a
n+1
= a
n1
pour tout n 1, ce qui laisse exactement deux degrs de liberts (pour
obtenir des sries de rayons de convergence innis). Par ailleurs, on peut intervertir sans problme
somme et intgrale dans f(t) (aprs avoir crit lexponentielle comme une srie !), ce qui donne :
f(t) =
+

n=0
(1)
n
I
n
n!
t
n
. On trouve nalement comme toujours : I
2p
=
(2p)!
4
p
p!
2

2
et I
2p+1
=
4
p
p!
2
(2p + 1)!
Ce nest peut-tre pas la mthode la plus ecace pour calculer I
n
...
Exercice 37 : Analyse : si x

a
n
x
n
est une solution dveloppable en srie entire, alors a
0
= 0,
a
1
=
1
5
et pour tout n 2, (3n + 2)a
n
= 5a
n1
, puis f(x) =
+

n=1
5
n2
8.11...(3n + 2)
x
n
. Synthse : la
srie prcdente a un rayon de convergence inni (dAlembert), et sa somme vrie bien lquation
direntielle : cest donc notre solution recherche.
Pour majorer le reste, on peut tenter une majoration de a
n
par une srie gomtrique. Par exemple,
a
n

5
8
_
5
11
_
n2
pour n 4, ce qui donne alors
+

n=N+1
a
n

55
48
_
5
11
_
N1
, et il sut alors de
prendre N = 14 pour avoir |S
N
f(1)| 5.10
5
. Accessoirement, S
14
0, 40997. Super...
Exercice 38 : Grand classique : f(x) =

u
n
x
n
vrie, si son rayon de convergence est strictement
positif : xf
2
(x) f(x) + 1 = 0, puis f(x) =
1

1 4x
2x
Rciproquement, lapplication g : x
1

1 4x
2x
est bien dveloppable en srie entire, et les coecients du dveloppement vrient la
mme relation de rcurrence que les u
n
(avec les mmes premires valeurs), donc sont gaux aux
u
n
. Finalement, u
n
=
1
n + 1
_
2n
n
_
.
Les informaticiens ont vu
2
une preuve a priori de la majoration u
n
4
n
, ce qui simpliait une
partie du raisonnement.
Exercice 39 : Lencadrement trivial 0 d
n
n! assure que le rayon de convergence de la srie
dnissant f est suprieur ou gal 1. Par produit de Cauchy : f(x)e
x
= =
1
1 x
daprs ce
qui prcde, puis nouveau produit de Cauchy. Enn :
d
n
n!

n+
1
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 P
n
n! par rcurrence immdiate,
do le rayon de convergence nul si on ne divise pas par 0. Enn, en notant
n
=
P
n
n!
, on a

n+1
=
1
n + 1
n

k=0

k
n k
, relation dont on tire S

(x) = S(x)e
x
...
2. en interprtant u
n
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
srie entire ln(1 t
2
). Ensuite,
_
1
0
t
2k
ln(t)dt =
1
(2k + 1)
2
, et donc

_
1
0

t
2k
ln(t
2
)
k + 1

dt est
convergente, ce qui est le ssame pour intervertir la somme et lintgrale. Avec une dcomposition
en lments simples et les autres techniques standards, on trouve nalement :

2
2
4 ln 2.
Exercice 42 : Puisque a
n

3
n
3
, le rayon de convergence vaut 1. Ensuite,
1
n(n + 1)(2n + 1)
=
1
n
+
1
n + 1

2
2n + 1
On trouve alors S(x) = 3
_
1 +
1
x
_
ln(1 x)
4

x
Argth

x (pour x > 0),

puis S(x)
x1
18 24 ln 2. Convergence normale sur [0, 1], donc OK pour la continuit. a passe
aussi via ln n + + o(1)...
Exercice 43 : On trouve comme base de solutions dveloppables en srie entire : (F
1
, F
2
), avec
F
1
(x) =
+

k=0
x
3k
3k(3k 1)(3k 3)...5.3.2
et F
2
(x) =
+

k=0
x
3k+1
(3k + 1)3k(3k 2)...4.3

Exercice 44 : interversion somme/intgrale sans problme grce la convergence normale, pour

trouver :
_
2
0
f
_
re
i
_
e
ni
d = 2r
n
a
n
. En minimisant le membre de droite de |a
n
|
1/n

e
Mr
r
,
on trouve exactement le majorant souhait.
Exercice 45 : Dj, a
n
= o
_
2
R
_
n
, donc le rayon de convergence de la srie entire dont g est la
somme est inni. Soit maintenant x >
1
R
: il existe K tel que pour tout n, |a
n
|
K
R
n
On a alors
|g(x)| Ke
x/R
puis |g(t)e
xt
| e
(1/Rx)t
ce qui assure lexistence de h(x) puisque
1
R
x < 0.
g(x) = O
_
e
Kx
_
. Ensuite, toujours pour x >
1
R
, on a :
h(x) =
_
+
0

nN
a
n
t
n
e
xt
n!
dt =
u=tx
1
x
_
+
0

nN
a
n
u
n
e
u
n!
1
x
n
du,
et on est alors pris dune envie furieuse dinterversion. Il sut pour cela dtablir la convergence
de

a
n
n!
u
n
x
n
e
u

du. Or
_

a
n
n!
u
n
x
n
e
u

du = |a
n
|
1
x
n
, et comme
1
x
< R, la srie

a
n
1
x
n
est
absolument convergente : cest gagn !
Exercice 46 : On va poser c
n
= b
n
a
n
(de sorte que c
n
= o(a
n
)), et montrer que
+

n=0
c
n
x
n
=
o
_
+

n=0
a
n
x
n
_
. On xe pour cela > 0. Il existe un rang N au del duquel on a dune part
|c
n
| a
n
, et dautre part

k=0
c
k

2
n

k=0
a
k
(thorme de comparaison des sommes partielles
dans le cas dune srie positive divergente).
On a alors

n=N+1
c
n
x
n

n=N+1
a
n
x
n
. Pour le premier morceau, on est ramen des polynmes :

n=0
c
n
x
n
N

n=0
a
n
x
n

x1

n=0
c
n
N

n=0
a
n

2
,
donc pour x assez proche de 1, etc...
Exercice 47 : Parsevaliser sur f(re
i
). Il faut tout de mme vrier les hypothses !
12