Chapitre 3

Series enti`eres, Series de Fourier

3-1 Series enti`eres
Denition. Une serie enti`ere est une serie de la forme (

a
n
z
n
) o` u (a
n
) C
IN
et z C.
3-1.1) Rayon de convergence dune serie enti`ere
a) Denition du rayon de convergence, premi`eres proprietes
Theor`eme. Pour (a
n
) C
IN
, r IR
+
/(

[a
n
[r
n
) converge est un intervalle I de IR
tel que 0 = minI.
Preuve. 0 I et I IR
+
, donc 0 = min I.
Si r
1
r
2
dans I, et si r [r
1
, r
2
], alors, par domination (

[a
n
[r
n
) converge donc r I : I est un
convexe de IR, cest donc bien un intervalle.
Denition. Le rayon de convergence de la serie enti`ere (

a
n
z
n
) est, dans IR +,
R = supr IR
+
/(

[a
n
[r
n
) converge .
Theor`eme. Soit > 0. Le rayon de convergence de (

_
z

_
n
) est .
Preuve. (

n
) converge si et seulement si [z[ < .
Theor`eme. Soit > 0 tel que ([a
n
[
n
) soit bornee. Si [z[ < , alors (

a
n
z
n
) converge
absolument. (Lemme dAbel)
Preuve. [a
n
[
n
M, donc, si [z[ < , [a
n
z
n
[ M
_
[z[

_
n
, do` u la domination, et il y a convergence
absolue car (

n
) converge .
CHAPITRE 3 Series enti`eres, series de Fourier
Theor`eme. Soit (

a
n
z
n
) de rayon de convergence R.
a) Si R > 0, et si [z[ < R, (

a
n
z
n
) converge absolument.
b) Si R IR
+
, et si [z[ > R, la suite (a
n
z
n
) nest pas bornee, et (

a
n
z
n
) diverge.
Preuve. a) Par denition de R, si [z[ < R, [z[ I.
b) Si (a
n
z
n
) etait bornee pour un z tel que [z[ > R, alors, pour tout r ]R, [z[[, il y aurait convergence
absolue de (

a
n
r
n
), ce qui contredit supI = R.
Denition. Soit (

a
n
z
n
) de rayon de convergence R ]0, +[. D(O, R) est le disque
ouvert de convergence et C(O, R) est le cercle dincertitude.
Si R = +, on pose D(O, R) = C.
Il ny a pas de conclusion generale possible pour ce qui se passe sur C(O, R).
b) Determination pratique du rayon de convergence
Emploi de la r`egle de dAlembert
Pour z ,= 0, on forme

a
n+1
z
n+1
a
n
z
n

a
n+1
a
n

[z[ et on regarde si cette quantite a une limite L.

Si L = 0, la serie converge pour tout z et R = +.
Si L = +, la serie diverge pour tout z ,= 0 et R = 0.
Si L IR

+
, cest quen fait

a
n+1
a
n

l IR

+
et que L = l[z[.
Si [z[ <
1
l
, la serie
_

a
n
z
n
_
est absolument convergente.
Si [z[ >
1
l
, la serie
_

a
n
z
n
_
est divergente.
Dans ce cas, on a donc R =
1
l
.
Exemple. Rayon de convergence de (

z
n
n

).
Preuve. Ici,

a
n+1
z
n+1
a
n
z
n

= [z[
n

(n + 1)

[z[, donc il y a convergence absolue si [z[ < 1, et diver-

gence si [z[ > 1 : R = 1. Par contre, le comportement sur C(O, R) depend de . Toutefois, il y a toujours
convergence absolue si > 1 et toujours divergence si < 0.
Exemple. Rayon de convergence de (

n!z
n
) et de (

z
n
n!
).
Preuve.

(n + 1)!z
n+1
n!z
n

= (n + 1)[z[ +, donc la serie diverge pour tout z, et R = 0.

Pour (

z
n
n!
), la limite est nulle et il y a convergence absolue pour tout z : R = +.
Exemple. Rayon de convergence de (

n
n
n!
z
n
).
Preuve.

a
n+1
z
n+1
a
n
z
n

=
_
1 +
1
n
_
n
[z[ e[z[, donc il y a convergence absolue si [z[ < 1/e, et
divergence si [z[ > 1/e : R = 1/e.
42
UTM-L2MASS MI0A12Y C.Hassenforder
Cette demarche se generalise aux series enti`eres qualiees de lacunaires, de la forme
_

a
(n)
z
(n)
_
avec strictement croissante de IN dans IN (cest-`a-dire que certains des a
n
peuvent etre nuls).
Exemple. Rayon de convergence de
_

2
n
z
n
2
_
.
Preuve. Cest en fait
_

a
n
z
n
_
avec a
n
2 = 2
n
et a
n
= 0 sinon.
Si z ,= 0,

2
n+1
z
(n+1)
2
2
n
z
n
2

= 2[z[
2n+1
, et la limite est 0 si [z[ < 1, et on a la convergence absolue, +
si [z[ > 1, et il y a divergence, donc R = 1.
Emploi de comparaisons
Proprietes. Soit (

a
n
z
n
) de rayon de convergence R
a
et (

b
n
z
n
) de rayon de convergence
R
b
.
a) Si [a
n
[ [b
n
[, alors R
a
= R
b
.
b) Si a
n
= O([b
n
[), alors R
b
R
a
.
Preuve. Si [a
n
[ M[b
n
[, alors [a
n
[[z[
n
M[b
n
[[z[
n
. Donc, si [z[ < R
b
, (

b
n
z
n
) converge
absolument, donc (

a
n
z
n
) aussi, soit [z[ R
a
. Ainsi, D(O, R
b
) D(O, R
a
) (meme si cest inni)
et R
b
R
a
. Le reste en decoule.
Exemple. Determiner le rayon de convergence de
_

a
n
z
n
_
o` u a
n
est la somme des diviseurs
entiers naturels de n.
Preuve. Pour n 1, n est diviseur de n, donc a
n
n, par consequent
_

a
n
z
n
_
poss`ede un rayon
de convergence au plus egal `a celui de
_

nz
n
_
de rayon 1 (par dAlembert), donc R 1. Dautre part,
lensemble des diviseurs de n est inclus dans 1, 2, , n, donc a
n
1+2+ +n =
n(n + 1)
2
. La serie
_

a
n
z
n
_
poss`ede donc un rayon de convergence au moins egal `a celui de
_

n(n + 1)
2
z
n
_
qui vaut
1, par dAlembert, et nalement R = 1.
Exemple. Rayon de convergence de (

_
1 +
1
n
_
n
2
z
n
).
Preuve. Ici, a
n
= exp[n
2
ln(1 +
1
n
)] = e
n
e

1
2
+o(1)

e
n

e
, donc R = 1/e.
Exemple. Rayon de convergence de (

e
sin n
z
n
).
Preuve. e
1
a
n
e. (

e
1
z
n
) et (

ez
n
) ont meme rayon de convergence 1, donc R = 1.
43
CHAPITRE 3 Series enti`eres, series de Fourier
Utilisation des dierentes caracterisations de R
R est `a la croisee de quatre chemins, en regardant la borne superieure dans IR
+
+ :
R = sup
_
r IR
+
/
_

a
n
r
n
_
converge absolument
_
= sup
_
r IR
+
/
_

a
n
r
n
_
converge
_
= supr IR
+
/(a
n
r
n
) tend vers 0
= supr IR
+
/(a
n
r
n
) est bornee
Donc si lon trouve z
0
ayant un comportement intermediaire ne permettant pas un placement
immediat de [z
0
[, cest que [z
0
[ = R. Cest le cas lorsque :

a
n
z
n
0
_
est semi-convergente,
(a
n
z
n
0
) est bornee (cest le cas si elle tend vers 0) avec
_

a
n
z
n
0
_
divergente.
Exemple. Soit a ,= 0. Rayon de convergence de
_

sin
_

_
n
2
+ a
2
_
z
n
_
.
Preuve. En ecrivant
sin
_

_
n
2
+ a
2
_
= sin
_
n
_
1 +
a
2
n
2
_
1/2
_
,
il vient a
n
= (1)
n
a
2
2n
+ O
_
1
n
2
_
donc [a
n
[
a
2
2n
. Ainsi, a
n
0 mais
_

[a
n
[
_
diverge donc
R = 1.
Exemple. Rayon de convergence de (

a
n
z
n
) o` u a
n
est le n-i`eme chire du developpement
decimal de

2.
Preuve. 0 a
n
9, donc (a
n
) est bornee. Si (a
n
) converge vers 0, elle est stationnaire en 0, donc

2 est rationnel : cest faux, donc (a

n
) ne tend pas vers 0 : R = 1.
Exemple. Rayon de convergence de (

sinnz
n
).
Preuve. La suite sin n est bornee mais ne tend pas vers 0, car sin(n + 1) = sin ncos 1 + sin1 cos n
dirait que cos n 0, ce qui contredit sin
2
n + cos
2
n = 1. Donc, R = 1.
Exemple. Rayon de convergence de (

z
n
n

) o` u ]0, 1[.
Preuve. (

(1)
n
n

) est semi-convergente, donc R = 1, ou

_
1
n

_
est bornee (elle tend vers 0) mais
_

1
n

_
diverge.
Dans les cas delicats, la quatri`eme caracterisation est un recours tr`es puissant puisquelle
transforme letude de la nature dune serie en celle de la bornitude dune suite, qui est une
propriete beaucoup plus faible. Elle peut etre tr`es utile lorsquil sagit de raisonner sur une serie
enti`ere generique, cest-`a-dire sans formule explicite pour a
n
.
44
UTM-L2MASS MI0A12Y C.Hassenforder
Exemple. Soit
_

a
n
z
n
_
de rayon R
a
> 0. Montrer que
_

a
n
n!
z
n
_
a pour rayon R
b
= +.
Preuve. Soit r ]0, R
a
[ : (a
n
r
n
) est bornee soit [a
n
[r
n
M pour tout n. Si z C,

a
n
n!
z
n

M[z[
n
n!r
n
et
+

n=0
[z[
n
n!r
n
converge vers e
|z|/r
donc, par domination, il y a convergence absolue de
_

a
n
n!
z
n
_
pour
tout z et R
b
= +.
Exemple. Comparer les rayons de convergence de (

a
n
z
n
) et de (

a
2
n
z
n
).
Preuve. (a
n
r
n
) est bornee si, et seulement si, (a
2
n
r
2n
) lest, donc :
Si r < R, r
2
R

, soit R

car D(0, R) D

(0,

),
Si r < R

,

r R, soit R

, car D(0,

) D(0, R) donc nalement R

2
= R

.
Meme dans le cas o` u a
n
est deni par une formule, on pourra proceder de la mani`ere suivante,
avec r > 0.
On ecrit [a
n
[r
n
= e
ln(|an|+nlnr)
.
Par un developpement asymptotique, on trouve r pour que ([a
n
[r
n
) soit bornee.
Exemple. Soit a > 0. Trouver le rayon de convergence de
_

a
(1)
n
n
z
n
_
.
Preuve. Soit r > 0. (a
n
r
n
) est bornee si, et seulement si, (a
2n
r
2n
) et (a
2n+1
r
2n+1
) le sont.
a
2n
r
2n
= e
2nlnr+(12n) lna
= e
2nln(r/a)+lna
et cette suite est bornee si et seulement si r a.
Cette fois a
2n+1
r
2n+1
= e
(2n+1) ln(r/a)lna
et cette suite est bornee si et seulement si r a.
On a donc R
a
= a.
Exemple. Rayon de convergence de (

_
1 +
(1)
n
n
_
n
2
z
n
).
Preuve. Soit r > 0. (a
n
r
n
) est bornee si et seulement si (a
2n
r
2n
) et (a
2n+1
r
2n+1
) le sont.
a
2n
r
2n
= e
2nlnr+4n
2
ln(1+
1
2n
)
= e
2nln(er)+O(1)
: cette suite est bornee si et seulement si r 1/e.
a
2n+1
r
2n+1
= e
(2n+1) lnr+(2n+1)
2
ln(1
1
2n+1
)
= e
(2n+1) ln(r/e)+O(1)
: cette suite est bornee si et seule-
ment si r e.
Finalement, R = 1/e.
c) Operations algebriques sur les series enti`eres
Theor`eme. Soit C

: alors (

a
n
z
n
) et (

a
n
z
n
) ont meme rayon de convergence.
Theor`eme. Soit (

a
n
z
n
) de rayon de convergence R
a
et (

b
n
z
n
) de rayon de con-
vergence R
b
. Si c
n
= a
n
+ b
n
et si (

c
n
z
n
) a pour rayon de convergence R
c
, alors
R
c
min(R
a
, R
b
). Une condition susante degalite est que R
a
,= R
b
.
45
CHAPITRE 3 Series enti`eres, series de Fourier
Preuve. [a
n
+b
n
[[z[
n
[a
n
[[z[
n
+[b
n
[[z[
n
, donc, par domination, si [z[ < min(R
a
, R
b
), alors [z[ R
c
,
soit D(O, min(R
a
, R
b
)) D

(O, R
c
), do` u linegalite.
Si R
a
< R
b
, soit z tel que R
a
< [z[ < R
b
, donc (

a
n
z
n
) diverge, tandis que (

b
n
z
n
) converge :
(

[a
n
+ b
n
]z
n
) diverge. Donc, le rayon de convergence de cette serie est inferieur `a R
a
, soit R
c
R
a
,
do` u legalite.
Remarque. Avec a
n
= n! et b
n
= n!, on a R
a
= R
b
= 0 < R
c
= +.
Utilisation possible :
Un cas frequent est celui o` u lon connat le rayon de convergence R
1
de
_

a
2n
z
2n
_
et celui, R
2
,
de
_

a
2n+1
z
2n+1
_
. On peut conclure sur le rayon de convergence R de
_

a
n
z
n
_
de la mani`ere
suivante : pour r 0, (a
n
r
n
) est bornee si et seulement si (a
2n
r
2n
) et (a
2n+1
r
2n+1
) le sont. Donc
r < R implique que r R
1
et r R
2
soit r min(R
1
, R
2
) puis D(0, R) D

(0, min(R
1
, R
2
)).
r < min(R
1
, R
2
) implique que r R donc on a reciproquement D(0, min(R
1
, R
2
)) D

(0, R).
On conclut donc que R = min(R
1
, R
2
).

Etant donne que
2N

n=0
a
n
z
n
=
N

n=0
a
2n
z
2n
+
N1

n=0
a
2n+1
z
2n+1
,
on a aussi, pour [z[ < min(R
1
, R
2
),
+

n=0
a
n
z
n
=
+

n=0
a
2n
z
2n
+
+

n=0
a
2n+1
z
2n+1
.
Produit de Cauchy:
Theor`eme. Soit (

a
n
z
n
) de rayon de convergence R
a
et (

b
n
z
n
) de rayon de con-
vergence R
b
. Soit c
n
=
n

k=0
a
k
b
nk
. Si (

c
n
z
n
) a pour rayon de convergence R
c
, alors
R
c
min(R
a
, R
b
). De plus, pour [z[ < min(R
a
, R
b
),
+

n=0
c
n
z
n
=
_
+

n=0
a
n
z
n
__
+

n=0
b
n
z
n
_
.
Preuve. Si [z[ < min(R
a
, R
b
), (

a
n
z
n
) et (

b
n
z
n
) convergent absolument. Donc, (

u
n
)
converge absolument, o` u u
n
=
n

k=0
a
k
z
k
b
nk
z
nk
= c
n
z
n
, et on a alors
+

n=0
u
n
=
_
+

n=0
a
n
z
n
__
+

n=0
b
n
z
n
_
.
Par consequent, [z[ R
c
, et on a bien la minoration.
Exemple. Montrer que
1
(1 z)
2
=
+

n=0
(n + 1)z
n
avec un rayon de convergence egal `a 1.
46
UTM-L2MASS MI0A12Y C.Hassenforder
Preuve. Pour [z[ < 1,
+

n=0
z
n
=
1
1 z
, donc, avec a
n
= b
n
= 1, on a c
n
= n + 1, do` u
1
(1 z)
2
=
+

n=0
(n + 1)z
n
avec un rayon de convergence superieur ou egal `a 1. Par dAlembert, cependant, le rayon
de convergence est egal `a 1.
c) Serie derivee
Lemme. (

_
z

_
n
) et (

n
_
z

_
n
) ont meme rayon de convergence : cest .
Preuve. dAlembert...
Theor`eme. (

a
n
z
n
) et (

na
n
z
n
) ont meme rayon de convergence, et cest aussi celui
de :
a) (

a
n
n + 1
z
n
).
b) (

n(n 1) . . . (n p + 1)a
n
z
n
) pour tout p IN

.
Preuve. Soit R le rayon de convergence de (

a
n
z
n
) et R

celui de (

na
n
z
n
).
Si R est issu de la r`egle de dAlembert, R

aussi et R = R

facilement, MAIS cela nest pas toujours

le cas...
[a
n
[ n[a
n
[, donc R R

.
Si R = 0, R

= R = 0 et si R

= +, R = R

= +.
Supposons que R ,= 0. Soit z tel que [z[ < R et meme tel que [z[ < < R. Ainsi, (a
n

n
) est bornee,
donc a
n
z
n
= O
_
[z[

_
n
puis na
n
z
n
= O
_
n
[z[

_
n
: (

na
n
z
n
) converge absolument, donc [z[ R

, do` u
D(O, R) D

(O, R

) puis R R

, soit nalement R = R

.
Donc, (

a
n
n + 1
z
n
). et (

na
n
n + 1
z
n
) ont meme rayon. Comme [
na
n
n + 1
[ [a
n
[, ce rayon commun
est R.
On nit par recurrence sur p. p = 1 vient detre vu.
Si cest vrai pour p, soit b
n
= n(n 1) . . . (n p + 1)a
n
. (n p)[b
n
[ n[b
n
[, et donc les rayons de
convergence de (

(n p)b
n
z
n
), (

nb
n
z
n
), donc de (

b
n
z
n
) puis nalement de (

a
n
z
n
) sont les
memes.
d) Convergence normale dune serie enti`ere ; continuite de sa somme
Theor`eme. Soit (

a
n
z
n
) de rayon de convergence R > 0, et C un compact inclus dans
D(O, R). Alors, la serie (

sup
C
[a
n
z
n
[) est convergente : on dit que (

a
n
z
n
) converge
normalement sur C.
Preuve. z [z[ est continue sur C, donc il existe z
0
C realisant max
C
[z[. Do` u sup
C
[a
n
z
n
[ = [a
n
z
n
0
[.
Mais z
0
D(O, R), donc (

a
n
z
n
0
) converge absolument, do` u le resultat par domination.
47
CHAPITRE 3 Series enti`eres, series de Fourier
Remarque. La convergence normale na pas forcement lieu sur D(O, R) comme le prouve
lexemple de (

z
n
).
Theor`eme. Soit (

a
n
z
n
) de rayon de convergence R > 0.
Alors, S : D(O, R) C, z
+

n=0
a
n
z
n
est continue.
Preuve. Par localisation, il sut de le montrer sur tout D(O, ) D(O, R). Soit z, z
0
D(0, ).
Alors,
[z
n
z
n
0
[ [z z
0
[
n1

k=0
[z
k
z
nk1
0
[ n
n1
[z z
0
[,
donc
[S(z) S(z
0
)[ [z z
0
[
+

n=0
n[a
n
[
n1
,
qui est bien convergente car < R. S est donc continue en z
0
(en fait lipschitzienne sur D(O, )).
3-1.2) Series enti`eres de la variable reelle
On etudie la serie de fonctions (

u
n
) avec u
n
: IR C, x a
n
x
n
.
a) Continuite
Theor`eme. Soit (

a
n
z
n
) de rayon de convergence R > 0. Alors, (

a
n
x
n
) converge
normalement sur tout segment inclus dans ] R, R[. (Pas sur ] R, R[ en general !!!)
Preuve. Un segment est un compact. Cest aussi simplement parce que [a
n
x
n
[ [a
n
[
n
si [x[
< R, avec (

[a
n
[
n
) qui converge.
Theor`eme. Soit (

a
n
z
n
) de rayon R > 0. Alors, x
+

n=0
a
n
x
n
((] R, R[).
On ADMET le resultat suivant, qui permet de prolonger la continuite :
Theor`eme. Si la serie (

a
n
R
n
) (resp. (

a
n
(R)
n
)) converge, alors f est continue en
R (resp. R).
Outre le fait quil permet dachever letude de la continuite, ce theor`eme permet le calcul de
certaines sommes de serie par passage `a la limite en R ou en R. Neanmoins, il narme pas
la convergence normale sur ] R, R].
Exemple. Soit f(x) =
+

n=1
x
n
sin
1

n
. Determiner le rayon de convergence R de cette serie. Quel
est le domaine de continuite ?
48
UTM-L2MASS MI0A12Y C.Hassenforder
Preuve. sin
1

n

1

n
, donc sin
1

n
0, alors que la serie
_

sin
1

n
_
diverge donc R = 1.
On vient de voir la divergence en x = 1. En x = 1, on a une serie alternee dont le terme general
decrot en valeur absolue vers 0, donc elle converge.
Par consequent,
puisque R = 1, par theor`eme, f ((] 1, 1[),
et comme
_

(1)
n
sin
1

n
_
converge, par theor`eme, f (([1, 1[).
b) Integration terme `a terme dune serie enti`ere
Theor`eme. Soit (

a
n
z
n
) de rayon de convergence R > 0. Alors, pour tout x ]R, R[ :
_
x
0
+

n=0
a
n
t
n
dt =
+

n=0
a
n
n + 1
x
n+1
=
+

n=1
a
n1
n
x
n
Le rayon de convergence de (

n1
a
n1
n
z
n
) est aussi R.
Preuve. Comme x ] R, R[, le segment J
x
dextremites 0 et x est inclus dans ] R, R[, donc il y
a convergence normale sur J
x
et on peut echanger
_
et

.
Par ailleurs, si z ,= 0, (

n1
a
n1
n
z
n
) converge absolument si et seulement si (

n1
a
n1
n
z
n1
) le fait
do` u la conservation de R.
Remarque. Les quatre series enti`eres (

z
n
), (

(1)
n
z
n
), (

n1
z
n
n
) et (

n1
(1)
n1
z
n
n
) ont
meme rayon de convergence 1, et on a, pour x ] 1, 1[ :
a)
+

n=0
x
n
=
1
1 x
et
+

n=0
(1)
n
x
n
=
1
1 + x
.
b)
+

n=1
x
n
n
= ln(1 x) et
+

n=1
(1)
n1
x
n
n
= ln(1 + x).
Exercice. Montrer que ln2 =
+

n=1
(1)
n1
n
.
Preuve. (
+

n=1
(1)
n1
n
) converge en tant que serie alternee dont le terme general decrot vers 0.
Le rayon de convergence de (
+

n=1
(1)
n1
x
n
n
) etant 1, cela implique par le theor`eme admis que f : x
+

n=1
(1)
n1
x
n
n
est continue en 1. Or f(x) = ln(1 + x) si x ] 1, 1[ donc f(1

) = ln 2 = f(1) donne le
resultat.
49
CHAPITRE 3 Series enti`eres, series de Fourier
c) Derivation terme `a terme dune serie enti`ere
Theor`eme. Soit (

a
n
z
n
) de rayon de convergence R > 0.
f : x
+

n=0
a
n
x
n
(

(] R, R[), avec, pour tout p IN

et tout x ] R, R[
f
(p)
(x) =
+

n=p
n. . . (n p + 1)a
n
x
np
=
+

n=0
(n + p) . . . (n + 1)a
n+p
x
n
Le rayon de convergence de (

(n + p) . . . (n + 1)a
n+p
z
n
) est aussi R.
Ainsi, a
p
=
f
(p)
(0)
p!
.
Preuve. Soit u
n
:] R, R[C, x a
n
x
n
. u
n
(

(] R, R[) et (

u
n
) converge simplement vers
f.
On a aussi, si p n, u
(p)
n
(x) = n. . . (np+1)a
n
x
np
, sinon u
(p)
n
(x) = 0. Or, le rayon de convergence
de (

n(n1) . . . (np+1)a
n
z
n
) est R et diviser par z
p
(z ,= 0) ne change rien. Donc cette serie converge
normalement sur tout [, ] ] R, R[, et, par theor`eme, f (

(] R, R[) avec f
(p)
=
+

n=0
u
(p)
n
.
Exercice. Montrer que f : x
e
x
1
x
se prolonge en une fonction de classe (

sur IR.
Preuve. f est bien s ur de classe (

sur IR

et se prolonge par continuite en 0 par f(0) = 1. Puisque

e
x
=
+

n=0
x
n
n!
sur IR, f(x) =
+

n=0
x
n
(n + 1)!
sur IR

puis sur IR. f est donc la somme dune serie enti`ere de

rayon de convergence inni donc est de classe (

sur IR.
Theor`eme. Pour tout x ] 1, 1[,
1
(1 x)
p+1
=
+

n=0
C
p
n+p
x
n
.
Preuve. Pour x ] 1, 1[,
1
(1 x)
=
+

n=0
x
n
. Or, la derivee p-i`eme de
1
1 x
est
p!
(1 x)
p+1
, et
C
p
n+p
=
(n + 1) . . . (n + p)
p!
. Le rayon de convergence de (

C
p
n+p
z
n
) est 1.
Theor`eme. f :] R, R[C, x
+

n=0
a
n
x
n
admet un developpement limite `a tout ordre :
cest
p

n=0
a
n
x
n
+ o([x[
p
).
Preuve. f (

(] R, R[), et le resultat vient par la formule de Taylor-Young.

50
UTM-L2MASS MI0A12Y C.Hassenforder
3-1.3) Fonctions developpables en serie enti`ere
a) Le materiel
Denition. Soit I un intervalle contenant 0 et f T(I). f est developpable en serie
enti`ere sil existe r > 0 tel que ] r, r[ I et une serie enti`ere (

a
n
z
n
) de rayon de
convergence R r avec f(x) =
+

n=0
a
n
x
n
pour tout x ] r, r[.
On dit aussi que f est developpable en serie enti`ere sur ] r, r[.
Exemple. Developper f : x arctan x. Que se passe-t-il en 1 ?
Preuve. f

(x) =
1
1 + x
2
=
+

n=0
(1)
n
x
2n
pour [x[ < 1. En fait, (

(1)
n
z
2n
) a un rayon de
convergence egal `a 1. Par le theor`eme dintegration terme, compte-tenu que f(0) = 0, on a f(x) =
+

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

(1)
n
2n + 1
z
2n+1
) a un rayon de convergence inchange, egal `a 1.
(
+

n=0
(1)
n
2n + 1
) converge en tant que serie alternee dont le terme general decrot vers 0. Le rayon de con-
vergence de (
+

n=1
(1)
n
x
2n+1
2n + 1
) etant 1, cela implique par le theor`eme admis que f : x
+

n=1
(1)
n
x
2n+1
2n + 1
est continue en 1. Or f(x) = arctanx si x ] 1, 1[ donc f(1

) =

4
= f(1) donne

4
=
+

n=0
(1)
n
2n + 1
.
Theor`eme. Si f est developpable en serie enti`ere, alors :
a) il existe ] r, r[ tel que f
|]r,r[
soit (

.
b) la serie enti`ere utilisee est unique, on a a
n
=
f
(n)
(0)
n!
.
Notamment, si f est paire, a
2p+1
= 0 et si f est impaire, a
2p
= 0.
Denition. Soit f (

(] r, r[). La serie de Taylor de f est la serie enti`ere

(

f
(n)
(0)
n!
z
n
).
Sil existe, le developpement en serie enti`ere est unique car la serie utilisee est la serie de
Taylor. Cependant, deux probl`emes peuvent se poser, meme si la fonction est de classe (

.
La serie de Taylor de f en x non nul converge mais ce nest pas vers f(x) :
Exemple. f : IR IR, x exp[
1
x
2
] prolongee par f(0) = 0 est de classe (

mais nest pas

developpable en serie enti`ere.
51
CHAPITRE 3 Series enti`eres, series de Fourier
Preuve. On a f
(n)
(0) = 0 pour tout n, donc la serie de Taylor est la serie nulle et ne peut etre egale
`a f(x).
La serie de Taylor de f est de rayon nul.
Exemple. Soit f : x
+

n=0
cos(n
2
x)
2
n
. Montrer que f est de classe (

sur IR et que la serie de

Taylor de f a un rayon de convergence nul.
Preuve. u
n
: x
cos(n
2
x)
2
n
est de classe (

sur IR avec u
(k)
n
(x) =
n
2k
cos(n
2
x + k

2
)
2
n
, donc
[u
(k)
n
(x)[
n
2k
2
n
pour tout x. Or,
(n + 1)
2k
2
n
n
2k
2
n+1

1
2
donc la r`egle de dAlembert montre que la serie
dominante est convergente, donc la somme f de la serie est de classe (

comme les u
n
.
On a aussi f
(2k+1)
(0) = 0, et il reste `a regarder

f
(2k)
(0)x
2k
(2k)!

(1)
k
+

n=0
n
4k
2
n

|x|
2k
(2k)!
a
k
|x|
2k
=
(2k)
4k
2
2k
|x|
2k
(2k)!
,
avec
a
k+1
a
k
=
2k + 2
2k + 1
(k + 1)
2
_
2k + 2
2k
_
4k
e
4
k
2
+, donc la serie
_

a
k
_
diverge par la r`egle de
dAlembert. D`es lors, la serie de Taylor ne converge pas absolument quand x est non nul : cette serie est
de rayon nul.
Ainsi, la classe (

de f nest quune condition necessaire et on peut avoir `a regarder si

f(x)
n

k=0
f
(k)
(0)
k!
x
k
converge bien vers f(x) (par exemple avec le reste integrale).
Theor`eme. Soit f T(I). f est developpable en serie enti`ere si et seulement si il existe
r > 0 tel que ] r, r[ I, f
|]r,r[
est (

et , pour tout x ] r, r[
lim
n+
f(x)
n

k=0
f
(k)
(0)
k!
x
k
= lim
n+
_
x
0
(x t)
n
n!
f
(n+1)
(t)dt = 0
Il sagit dune convergence simple.
b) Quelques developpements classiques
Cas de x (1 + x)

Theor`eme. Soit IR IN. Alors, pour tout x ] 1, 1[

(1 + x)

= 1 +
+

n=1
( 1) . . . ( n + 1)
n!
x
n
Preuve. Soit f :] 1, 1[IR, x (1+x)

. Clairement, (1+x)f

(x) = f(x), donc f est la solution

sur ] 1, 1[ de (E)(1 + x)y

y = 0 telle que y(0) = 1.

52
UTM-L2MASS MI0A12Y C.Hassenforder
Analyse. Cherchons une serie enti`ere (

a
n
z
n
) de rayon de convergence R > 0 telle que S : x
+

n=0
a
n
x
n
soit solution de (E) sur ] R, R[. On suppose aussi S(0) = 1, soit a
0
= 1.
Sur ] R, R[, on peut deriver terme `a terme, soit
S

(x) =
+

n=1
na
n
x
n1
=
+

n=0
(n + 1)a
n+1
x
n
.
On parvient sur ]R, R[ `a
+

n=1
[na
n
a
n
+(n+1)a
n+1
]x
n
+a
1
a
0
= 0. Par unicite du developpement
en serie enti`ere de la fonction nulle, a
n
=
( 1) . . . ( n + 1)
n!
et a
0
= 1.
Synth`ese. Soit (

a
n
z
n
) avec la formule precedente. R = 1 car

a
n+1
z
n+1
a
n
z
n

= [z[
[n [
n + 1
[z[.
Donc, sur ] 1, 1[, les calculs de lanalyse sont legitimes, et S est solution de (E) avec S(0) = 1, donc
S = f.
Exemple. Developpement en serie enti`ere de f : x arcsinx.
Preuve. Pour x ] 1, 1[, f

(x) =
1

1 x
2
. Or
1

1 x
2
= 1 +
+

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

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

n=1
C
n
2n
2
2n
x
2n
Le rayon de convergence de la serie utilisee est 1, et par le theor`eme dintegration terme `a terme des
series enti`eres, compte-tenu de f(0) = 0, arcsinx =
+

n=0
C
n
2n
2
2n
(2n + 1)
x
2n+1
, sur ] 1, 1[ `a nouveau.
Cas de lexponentielle
Denition. (

z
n
n!
) a un rayon de convergence inni. Cela denit la fonction
exponentielle exp : C C, z
+

n=0
z
n
n!
qui est continue.
Theor`eme. Pour tout (z, z

) C
2
, exp(z + z

) = expz expz

.
Preuve. Le rayon de convergence inni fait que (

z
n
n!
) converge absolument sur C, donc
exp z expz

=
+

n=0
n

k=0
z
k
k!
z

nk
(n k)!
=
+

n=0
1
n!
n

k=0
C
k
n
z
k
z

nk
= exp(z + z

)
Denition. Soit z = x + iy C. On denit, pour t IR, f(t) = e
tz
par
f(t) = e
tx
(cos(ty) + i sin(ty)).
53
CHAPITRE 3 Series enti`eres, series de Fourier
Theor`eme. f : t e
tz
est developpable en serie enti`ere sur IR (R = +) avec, pour tout
t IR, f(t) =
+

n=0
t
n
z
n
n!
= exp(tz). Notamment, e
t
=
+

n=0
t
n
n!
.
Preuve. f (

(IR) avec f
(n)
(t) = z
n
f(t). En eet, f est de classe (

car t e
tx
et t
cos(ty)+i sin(ty) = e
ity
le sont. Par Leibniz, on obtient f
(n)
(t) = [
n

k=0
C
k
n
x
k
(iy)
nk
]e
tx
e
ity
= (x+iy)
n
e
tz
.
f
(n+1)
(t) = z
n+1
f(t), et [f(t)[ = e
xt
. Par linegalite de Taylor-Lagrange, appliquee sur [0, t] ou [t, 0],

f(t)
n

k=0
t
k
z
k
k!

[z[
n+1
e
|x||t|
(n + 1)!
(

[z[
n+1
(n + 1)!
) converge (vers exp([z[) 1), donc son terme general tend vers 0 et
f(t) =
+

n=0
t
n
z
n
n!
= exp(tz).
Theor`eme. On a les developpements en serie enti`ere sur IR :
cos x =
+

n=0
(1)
n
x
2n
(2n)!
et sinx =
+

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

n=0
x
2n
(2n)!
et shx =
+

n=0
x
2n+1
(2n + 1)!
Preuve. e
ix
=
+

n=0
i
n
x
n
n!
et e
ix
=
+

n=0
(1)
n
i
n
x
n
n!
et le rayon de convergence inni est conserve par
somme.
Exercice. Montrer que f : x
sinx
x
prolongee par f(0) = 1 est de classe (

.
Preuve. En eet, f(x) =
+

n=0
(1)
n
x
2n
(2n + 1)!
en 0 aussi. Donc, f est developpable en serie enti`ere
sur IR et de classe (

.
c) Quelques methodes de developpements
f est obtenue comme combinaison lineaire de fonctions developpables en serie enti`ere.
Exemple. Developpement en serie enti`ere de f : x ln(1 + x + x
2
).
Preuve. Pour [x[ < 1, f(x) = ln
_
1 x
3
1 x
_
= ln(1x
3
)ln(1x) =
+

n=1
x
3n
n
+
+

n=1
x
n
n
=
+

n=1
a
n
x
n
o` u a
3n+1
=
1
3n + 1
, a
3n+2
=
1
3n + 2
et a
3n
=
1
3n

1
n
=
2
3n
. On a donc R 1 mais comme [a
n
[
1
n
,
_

[a
n
[
_
diverge donc R = 1.
54
UTM-L2MASS MI0A12Y C.Hassenforder
Exemple. Developper f : x
_
1 x
1 + x
en serie enti`ere.
Preuve. On prend x ] 1, 1[. Ainsi, f(x) est bien deni et f(x) = (1 x)(1 x
2
)

1
2
.
1

1 x
2
= 1 +
+

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

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

n=1
C
n
2n
2
2n
x
2n
,
ceci avec un rayon de convergence egal `a 1 donc f(x) = 1 +
+

n=1
a
n
x
n
o` u a
2n
=
C
n
2n
2
2n
et a
2n+1
=
C
n
2n
2
2n
.
Le rayon de convergence est superieur `a 1 car le developpement est valable dej`a sur ] 1, 1[, et, sil est
strictement superieur `a 1, la somme est continue en 1, donc admet une limite `a droite en ce point. Cest
faux, car elle est egale `a f(x) sur ] 1, 1[ et f na pas de limite `a droite en 1.
Utilisation dune equation dierentielle.
Exemple. Developpement en serie enti`ere de f : x arctan
_
1 x
2
1 + x
2
_
.
Preuve. On a
f

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

2x(1 + x
2
) 2x(1 x
2
)
(1 + x
2
)
2
=
2x
1 + x
4
donc, pour x ] 1, 1[,
f

(x) = 2x
+

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

n=0
(1)
n+1
x
4n+1
.
Puis, avec f(0) =

4
, on obtient f(x) =

4
+
+

n=0
(1)
n+1
2n + 1
x
4n+2
, avec R = 1, par le theor`eme dintegration
terme `a terme.
Plus generalement, si f est solution dune equation dierentielle lineaire (E) (lunicite liee
au probl`eme de Cauchy est alors cruciale pour caracteriser f), on raisonne par analyse-synth`ese
avec des coecients indetermines de la mani`ere suivante :
Dans lanalyse, on suppose quil existe une serie enti`ere de rayon R > 0 solution de (E)
sur ] R, R[ (voire sur ] r, r[] R, R[. On peut deriver terme `a terme sur cet intervalle et
linjection dans (E) des dierentes series derivees permet dobtenir une relation
+

n=0
b
n
x
n
= 0
o` u b
n
est fonction de a
n
, a
n+1
, ... Pour cela, on aura eventuellement eectue un travail sur
les indices an que tout soitaligne sur la presence de x
n
. On peut alors utiliser lunicite du
developpement en serie enti`ere de la fonction nulle pour conclure que b
n
= 0 et obtenir une rela-
tion de recurrence portant sur (a
n
). Le calcul de a
n
rel`eve alors dun telescopage multiplicatif.
Sil y a lieu, on aura des calculs separes de a
2p
, a
2p+1
, ...
Dans la synth`ese, on reprend le resultat de lanalyse et on determine le rayon de con-
vergence R (la r`egle de dAlembert est dun usage tr`es frequent ici). Les calculs de lanalyse
deviennent alors legitimes sur ] R, R[.
55
CHAPITRE 3 Series enti`eres, series de Fourier
Exemple. Developpement en serie enti`ere de f : x sin
_
1
3
arcsinx
_
.
Preuve. Si t ]

2
,

2
[, f(sin t) = sin
t
3
donc 3 cos tf

(sin t) = cos
t
3
et
9 cos
2
tf

(sin t) 9 sintf

(sin t) = sin
t
3
= f(sint)
On a donc, pour tout x ] 1, 1[, 9(1 x
2
)f

(x) 9xf

(x) +f(x) = 0 avec f(0) = 0 et f

(0) =
1
3
ce qui
caracterise f parmi les solutions sur ] 1, 1[. En plus, f est impaire.
Analyse. Soit f(x) =
+

n=0
a
2n+1
x
2n+1
sur ] R, R[ avec R > 0 et a
1
=
1
3
. Cela conduit, sur
] R, R[, `a xf

(x) =
+

n=0
(2n +1)a
2n+1
x
2n+1
et x
2
f

(x) =
+

n=0
2n(2n +1)a
2n+1
x
2n+1
tandis que f

(x) =
+

n=0
(2n + 2)(2n + 3)a
2n+3
x
2n+1
donc
+

n=0
[9(2n + 2)(2n + 3)a
2n+3
+ [18n(2n + 1) 9(2n + 1) + 1]a
2n+1
]x
2n+1
= 0
avec 18n(2n+1) 9(2n+1) +1 = 4[9n
2
+9n+2] soit, par unicite du developpement en serie enti`ere
de la fonction nulle, 18a
2n+1
n(2n + 1) = 4(3n 1)(3n 2)a
2n1
do` u
a
2n+1
=
4(3n)(3n 1)(3n 2)
27(2n + 1)(2n)n
a
2n1
=
4
n
(3n)!
3(27)
n
(2n + 1)!n!
=
4
n
3(27)
n
(2n + 1)
C
n
3n
.
Synth`ese. Avec la formule ci-dessus,

a
2n+1
x
2n+1
a
2n1
x
2n1

x
2
donc, si x < 1, il y a convergence absolue
et, si x > 1, divergence donc R = 1. Les calculs de lanalyse sont alors valides sur ] 1, 1[ et on a
f

(x) =
cos
_
1
3
Arcsinx
_
3

1 x
2
=
+

n=0
4
n
3(27)
n
C
n
3n
x
2n
.
3-1.4) Calcul de la somme dune serie enti`ere
Il sagit de reconstituer la somme dune serie enti`ere ou den calculer la valeur en un point.
On presente ici un certain nombre de techniques faisant appel `a des developpements classiques.
a) Cas o` u a
n
= P(n) avec P polynome non nul.
Le rayon de convergence vaut 1 car [P(n)[ [
d
[n
d
, o` u d IN, et on utilise la r`egle de
dAlembert puisque

P(n + 1)x
n+1
P(n)x
n

_
n + 1
n
_
d
[x[ [x[ donc, si [x[ < 1, il y a convergence
absolue et si [x[ > 1, il y a divergence. Pour le calcul de la somme, on adoptera la demarche
suivante.
Les series dont lutilisation est visee sont ([x[ < 1) :
56
UTM-L2MASS MI0A12Y C.Hassenforder

n=0
x
n
=
1
1 x
,

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

n=0
(n + 1)(n + 2)x
n
=
2
(1 x)
3
, ...
On decompose P(n) =
0
+
1
(n+1) +
2
(n+1)(n+2) + , ce qui revient `a utiliser
la base (1, X + 1, (X + 1)(X + 2), ...) de C[X].
On a donc f(x) =

0
1 x
+

1
(1 x)
2
+ pour [x[ < 1.
Exemple. Calculer S(x) =
+

n=0
(3n + 1)
2
x
n
et resoudre S(x) = 0.
Preuve. On ecrit (3n + 1)
2
= 9n
2
+ 6n + 1 = 9(n + 1)(n + 2) 21(n + 1) + 4
do` u, avec R = 1, S(x) =
18
(1 x)
3

21
(1 x)
2
+
4
(1 x)
, soit S(x) =
4x
2
+ 13x + 1
(1 x)
3
si [x[ < 1. Les
racines sont
13

153
8
, mais seule x =
13 +

153
8
convient, lautre racine etant < 1.
b) Cas o` u a
n
= R(n) avec R fonction rationnelle `a poles entiers relatifs et simples.
R est donc une somme de termes de la forme

p
n + p
avec p ZZ et on est ramene par
linearite au calcul de
+

n=0
x
n
n + p
. Notons dej`a que, l`a aussi, le rayon de convergence vaut 1 car
[R(n)[ [
d
[n
d
o` u d ZZ.
La serie dont lutilisation est visee est ln(1 x) =
+

n=1
x
n
n
.
On ecrit
+

n=0
x
n
n + p
=
1
x
p
+

n=0
x
n+p
n + p
pour x ,= 0 (si p 1 sinon cest direct).
On utilise alors
+

n=0
x
n+p
n + p
= ln(1 x)
p1

n=1
x
n
n
.
Exemple. Rayon de convergence et somme de
+

n=0
2n 1
n + 2
x
n
.
Preuve. Avec a
n
=
2n 1
n + 2
, on a lim
n+
a
n+1
a
n
= 1 donc R = 1. Pour tout x ] 1, 1[,
S(x) =
+

n=0
2n 1
n + 2
x
n
=
+

n=0
2(n + 2) 5
n + 2
x
n
= 2
+

n=0
x
n
5
+

n=0
x
n
n + 2
chacune de ces deux derni`eres series ayant aussi un rayon de convergence egal `a 1.
Do` u S(x) =
2
1 x
5(x) avec (x) =
+

n=0
x
n
n + 2
. Pour determiner , remarquons que, pour x ] 1, 1[,
x
2
(x) =
+

n=0
x
n+2
n + 2
= x ln(1 x).
57
CHAPITRE 3 Series enti`eres, series de Fourier
Pour x ] 1, 1[0, on a donc (x) =
1
x

ln(1 x)
x
2
resultat complete par (0) =
1
2
. En conclusion,
S(x) =
2
1 x
+
5
x
+
5 ln(1 x)
x
2
si x ] 1, 1[0 et S(0) =
1
2
.
c) Cas o` u a
n
=
P(n)
n!
avec P polynome non nul. Le rayon de convergence vaut +
car [P(n)[ [
d
[n
d
, o` u d IN, et on utilise la r`egle de dAlembert puisque

n!P(n + 1)x
n+1
(n + 1)!P(n)x
n

1
n + 1
_
n + 1
n
_
d
[x[ 0 donc il y a convergence absolue pour tout x.
La serie dont lutilisation est visee est e
x
=
+

n=0
x
n
n!
.
On decompose P(n) =
0
+
1
n +
2
n(n 1) + , ce qui revient `a utiliser la base
(1, X, X(X 1), ...) de C[X].
On a ainsi
P(n)
n!
=
d

k=0

k
n(n 1) (n k + 1)
n!
.
On ecrit
+

n=0
n(n 1) (n k + 1)
n!
x
n
=
+

n=k
x
n
(n k)!
= x
k
e
x
.
On conclut que f(x) = e
x
d

k=0

k
x
k
.
Exemple. Rayon de convergence et somme de
+

n=0
n
2
+ 1
n!
x
n
.
Preuve. Avec a
n
=
n
2
+ 1
n!
, on a lim
n+
a
n+1
x
n+1
a
n
x
n
= 0, donc R = + car la serie converge
absolument pour tout x. n
2
+ 1 = n(n 1) + n + 1 puis, pour tout x IR, si S(x) =
+

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

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

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

n=1
1
(n 1)!
x
n
+
+

n=0
1
n!
x
n
= x
2
+

n=2
x
n2
(n 2)!
+ x
+

n=1
x
n1
(n 1)!
+
+

n=0
x
n
n!
= (x
2
+ x + 1)e
x
.
d) Emploi dune equation dierentielle.
On peut aussi utiliser une equation dierentielle pour calculer des sommes de series enti`eres
de la mani`ere suivante.
On obtient, si elle nest pas donnee, une relation de recurrence entre les a
n
.
58
UTM-L2MASS MI0A12Y C.Hassenforder
On exploite en premier lieu cette relation pour minorer le rayon de convergence R par
une quantite > 0.

`
A laide de multiplications adequates par une puissance de x, on obtient une relation
que lon somme sur ] R, R[ et qui permet dexploiter les formules classiques y(x) =
+

n=0
a
n
x
n
,
y

(x) =
+

n=1
na
n
x
n1
, ... On fera attention `a lisolement possible des premiers indices sur ces
sommes. Lequation dierentielle decoule de ces calculs.
On resout lequation et, grace `a lunicite liee au probl`eme de Cauchy, on trouve, parmi
les solutions, celle qui correspond `a la serie.
Exemple. Calculer S(x) =
+

n=0
4
n
n!
2
(2n + 1)!
x
2n+1
.
Preuve. Posons a
2n+1
=
4
n
n!
2
(2n + 1)!
et u
n
= a
2n+1
x
2n+1
.
lim
n+

u
n
u
n1

= lim
n+
2n
2n + 1
x
2
= x
2
donc, par la r`egle de dAlembert, la serie enti`ere converge si
0 x
2
< 1 et diverge si x
2
> 1 donc le rayon de convergence est R = 1.
De legalite (2n + 1)a
2n+1
2na
2n1
= 0 pour tout n 1, on deduit, pour tout x ] 1, 1[,
0 =
+

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

n=1
(2n 1)a
2n1
x
2n

n=1
a
2n1
x
2n
Donc, pour tout x ] 1, 1[, S

(x) 1 x
2
S

(x) xS(x) = 0. S est la solution sur ] 1, 1[ de lequation

dierentielle lineaire du premier ordre (E) : (1 x
2
)y

xy = 1 qui prend la valeur 0 en 0.

(E) equivaut `a
d
dx
_
_
1 x
2
.y(x)
_
=
1

1 x
2
pour tout x ] 1, 1[. Donc, il existe IR tel que,
pour tout x ] 1, 1[, y(x) = (1 x
2
)

1
2
(arcsin(x) +). Comme S(0) = 0, pour tout x ] 1, 1[, il vient
S(x) = (1 x
2
)

1
2
arcsin(x).
e) Un dernier cas : la presence de
1
2n + 1
.
Si lon a
x
2n+1
2n + 1
comme terme general (avec [x[ < 1), on peut deriver terme `a terme
pour se ramener `a x
2n
et `a une serie geometrique. On peut aussi directement utiliser les
developpements sur ] 1, 1[ :
arctan x =
_
x
0
dt
1 + t
2
=
+

n=0
(1)
n
x
2n+1
2n + 1
,
1
2
ln
_
1 + x
1 x
_
=
_
x
0
dt
1 t
2
=
+

n=0
x
2n+1
2n + 1
.
Ce cas couvre ceux o` u il ny a que
x
2n
2n + 1
en ecrivant que cela vaut
1
x
x
2n+1
2n + 1
.
59
CHAPITRE 3 Series enti`eres, series de Fourier
Si lon a
x
n
2n + 1
comme terme general, alors il faut distinguer x > 0 et x < 0 pour
se ramener au cas precedent. Dans ce but, on ecrit x > 0 sous la forme x = t
2
et x < 0 avec
x = t
2
.
Exemple. Calculer S(x) =
+

n=0
x
n
2n + 1
.
Preuve. si x ]0, 1[, S(x) =
+

n=0
(

x)
2n
2n + 1
=
1

x
_

x
0
dt
1 t
2
, donc
S(x) =
1
2

x
ln
_
1 +

x
1

x
_
.
Si x ] 1, 0[, S(x) =
+

n=0
(1)
n
(

x)
2n
2n + 1
=
1

x
_

x
0
dt
1 + t
2
donc
S(x) =
1

x
arctan(

x).
On adaptera cette methode `a dautres cas comme la presence de
1
pn + 1
(p IN, p 3), o` u
il vaut mieux deriver faute de developpements usuels `a utiliser.
3-2 Series de Fourier
Theor`eme. Les fonctions continues par morceaux et 2 periodiques forment un sous-
espace vectoriel de (/(IR), note (/
2
. Les fonctions continues et 2 periodiques forment
un sous-espace vectoriel de (/
2
, note (
2
.
Preuve. 0 est dedans, et une combinaison lineaire de fonctions continues par morceaux (resp. con-
tinues) et 2 periodiques lest aussi.
3-2.1) Coecients de Fourier
Theor`eme. Soit h (/(IR), 2-periodique. Alors, pour tout IR,
_
[,+2]
h =
_
[,]
h.
Denition. Pour f (/
2
, les coecients de Fourier (exponentiels) de f sont les
c
n
(f) =
1
2
_

f(t)e
int
dt (n ZZ).
60
UTM-L2MASS MI0A12Y C.Hassenforder
On a donc, pour tout IR, c
n
(f) =
1
2
_
+2

f(t)e
int
dt.
Theor`eme. Soit f (/
2
.
a) f (/
2
et c
n
(f) = c
n
(f). Si f est `a valeurs reelles, c
n
(f) = c
n
(f).
b) Si g : t f(t), g (/
2
et c
n
(g) = c
n
(f).
c) (a IR) Si f
a
: t f(t + a), f
a
(/
2
et c
n
(f
a
) = e
ina
c
n
(f).
Preuve. a) c
n
(f) =
1
2
_
+2

f(t)e
int
dt = c
n
(f).
b) c
n
(g) =
1
2
_

f(u)e
inu
du = c
n
(f) (avec u = t).
c) c
n
(f
a
) =
1
2
_
+a
+a
f(u)e
ina
e
inu
du = e
ina
c
n
(f) (avec u = t + a).
Denition. Soit f (/
2
. On denit les coecients de Fourier trigonometriques
a
n
(f) =
1

f(t) cos(nt)dt = c
n
(f) + c
n
(f), n IN
b
n
(f) =
1

f(t) sin(nt)dt = i[c

n
(f) c
n
(f)], n IN

On a donc egalement
c
n
(f) =
a
n
(f) ib
n
(f)
2
, c
n
(f) =
a
n
(f) + ib
n
(f)
2
, c
0
(f) =
a
0
(f)
2
On a les proprietes suivantes :
a) Si f est `a valeurs reelles, a
n
(f) et b
n
(f) sont reels.
b) Si f est paire, a
n
(f) =
2

_

0
f(t) cos(nt)dt et b
n
(f) = 0.
c) Si f est impaire, b
n
(f) =
2

_

0
f(t) sin(nt)dt et a
n
(f) = 0.
Denition. Soit f (/
2
. On note aussi c
n
(f) =

f(n) denissant ainsi

f : ZZ C.
Theor`eme. Soit f (/
2
. T : (/
2
T(ZZ), f

f est lineaire.
Preuve. On a clairement c
n
(f) + c
n
(g) = c
n
(f + g).
Theor`eme. Soit f (/
2
.

f est bornee, et si |

f|

= sup
nZZ
[

f(n)[, alors
|

f|

1
2
_

[f(t)[ dt.
61
CHAPITRE 3 Series enti`eres, series de Fourier
Preuve. | |

est une norme sur B(ZZ). Linegalite vient du fait que [f(t)e
int
[ [f(t)[.
Denition. Soit f 2 periodique et de classe (
1
par morceaux. On denit Df : IR C
en completant f

par Df(x) = 0 en x o` u f nest pas derivable.

Theor`eme. Soit f 2 periodique et de classe (
1
par morceaux. Alors Df (/
2
.
Preuve. Df est 2 periodique car f est derivable en x si et seulement si elle lest en x + 2. On
peut prendre en fait Df(x) = C constante en tout x o` u f nest pas derivable.
Theor`eme. Soit f 2 periodique, continue et de classe (
1
par morceaux. Alors,
c
n
(Df) = inc
n
(f).
Preuve. Cest la formule dintegration par parties.
2c
n
(Df) =
_
f(t)e
int

+ 2inc
n
(f).
Le crochet est nul par 2 periodicite.
Theor`eme. Soit f 2 periodique, de classe (
k1
et de classe (
k
par morceaux. Alors,
c
n
(D
k
f) = (in)
k
c
n
(f).
Preuve. D
k
f = D[f
(k1)
]. On raisonne par recurrence sur k, en appliquant lhypoth`ese de recurrence
`a f
(k)
qui est continue et de classe (
1
par morceaux lorsque f est de classe (
k
et de classe (
k+1
par
morceaux.
Series de Fourier
Denition. Soit f (/
2
. La serie de Fourier de f est la serie de fonctions (

u
n
)
o` u u
0
(x) = c
0
(f) et u
n
(x) = c
n
(f)e
inx
+ c
n
(f)e
inx
si n 1. Pour tout p IN, la
somme partielle dordre p de cette serie est S
p
(f)(x) =
p

n=p
c
n
(f)e
inx
. Lorsque (S
p
(f)(x))
converge, on dit que la serie de Fourier de f converge en x.
Remarque. On peut revenir `a a
n
(f) et b
n
(f). En eet, si n 1
2[c
n
(f)e
inx
+c
n
(f)e
inx
] = (a
n
(f)ib
n
(f))(cos nx+i sinnx)+(a
n
(f)+ib
n
(f))(cos nxi sinnx)
2[c
n
(f)e
inx
+ c
n
(f)e
inx
] = 2[a
n
(f) cos nx + b
n
(f) sinnx]
Donc, S
p
(f)(x) =
a
0
(f)
2
+
p

n=1
[a
n
(f) cos nx + b
n
(f) sinnx].
62
UTM-L2MASS MI0A12Y C.Hassenforder
3-2.2) Convergence en moyenne quadratique
a) Un espace prehilbertien
Theor`eme. (
2
peut etre muni dune structure despace prehilbertien en posant f, g) =
1
2
_
[,]
fg. On a alors la norme |f|
2
=
1

_
[,]
[f[
2
.
Preuve. La linearite `a droite et le fait que f, g) = g, f) se verient aisement.
Si f, f) = 0, alors f
|[,]
= 0 par continuite positivite puis f = 0 par 2 periodicite.
Denition. | |
2
est appelee norme de la convergence en moyenne quadratique dans (
2
.
Denition. Pour n ZZ, on note e
n
: t e
int
.
Theor`eme. a) (e
n
)
nZZ
est une famille orthonormale de (
2
.
b) Pour f (
2
, c
n
(f) = e
n
, f).
Preuve. 2e
n
, e
m
) =
_

e
i(nm)t
dt = 2
n,m
.
Denition. a) Pour p IN, T
p
= vect(e
n
, p n p).
b) Un polynome trigonometrique est une combinaison lineaire des e
n
, cest-`a-dire un
element de T =
_
pIN
T
p
.
Remarque. a) T
p
est un sous-espace vectoriel de (
2
, de dimension 2p + 1.
b) Si T, alors il existe p tel que =
p

n=p
c
n
e
n
. Comme on a une base orthonormale, il
vient c
n
= e
n
, ) = c
n
().
Theor`eme. Soit f (
2
. Alors, la projection orthogonale de f sur T
p
est S
p
(f) :

Pp
(f) = S
p
(f).
Preuve. Comme (e
n
, p n p) est une base orthonormale de T
p
, alors

Pp
(f) =
p

n=p
e
n
, f)e
n
= S
p
(f).
Theor`eme. Soit f (
2
.
a) Lapplication T
p
IR, P |f P|
2
est minimale en lunique P = S
p
(f). Ce minimum
est d(f, T
p
).
b) |f|
2
2
= |S
p
(f)|
2
2
+ d(f, T
p
)
2
.
63
CHAPITRE 3 Series enti`eres, series de Fourier
Preuve. On traduit les proprietes de la distance `a T
p
qui est de dimension nie en utilisant aussi
que
p

n=p
[c
n
(f)[
2
= |S
p
(f)|
2
2
du fait du caract`ere orthonormal de la base.
Deuxi`eme theor`eme de Weierstrass
Si f (
2
, f est bornee parce quelle est continue et que f(IR) = f([, ]). On dispose
donc aussi de | |

sur (
2
. On a de plus | |
2
| |

mais elles ne sont pas equivalentes.

Theor`eme de Weierstrass (admis). Si f (
2
, pour tout > 0, il existe T
tel que |f |

. Ainsi, f peut etre approchee uniformement par les polynomes

trigonometriques.
Theor`eme. Soit f (
2
. La suite (S
p
(f)) converge en moyenne quadratique vers f.
Preuve. Soit f (
2
et > 0. Soit () un polynome trigonometrique tel que |f |

. Donc,
|f |
2
. Or, T
p0
, et, pour p p
0
, T
p
. On conclut par minimalite : |f S
p
(f)|
2

|f |
2
pour p p
0
.
Theor`eme. [Parseval] a) Soit f (
2
. [c
0
(f)[
2
+
+

n=1
[[c
n
(f)[
2
+[c
n
(f)[
2
] = |f|
2
2
.
b) Soit f, g (
2
. f, g) = c
0
(f)c
0
(g) +
+

n=1
[c
n
(f)c
n
(g) + c
n
(f)c
n
(g)].
Preuve. a) Comme (S
p
(f)) converge vers f en | |
2
vers f, |S
p
(f)|
2
converge vers |f|
2
. Or,
|S
p
(f)|
2
=
p

n=p
[c
n
(f)[
2
(famille orthonormale), do` u le resultat.
b) Cest une propriete de la convergence en moyenne quadratique (appliquee en fait aux restrictions
`a [0, 2]) : comme (S
p
(f)) et (S
p
(g)) convergent en moyenne quadratique vers f et g, on a S
p
(f), S
p
(g))
qui converge vers f, g).
Theor`eme. Soit f (
2
.
a)
[a
0
(f)[
2
4
+
1
2
+

n=1
[[a
n
(f)[
2
+[b
n
(f)[
2
] = |f|
2
2
.
b) Soit aussi g (
2
. f, g) =
a
0
(f)a
0
(g)
4
+
1
2
+

n=1
[a
n
(f)a
n
(g) + b
n
(f)b
n
(g)].
Preuve. a) Pour n IN

,
4[[c
n
(f)[
2
+[c
n
(f)[
2
] = (a
n
(f) ib
n
(f))(a
n
(f) + ib
n
(f)) + (a
n
(f) + ib
n
(f))(a
n
(f) ib
n
(f))
= 2[[a
n
(f)[
2
+[b
n
(f)[
2
].
On a donc la convergence de la serie et la valeur de la somme.
b) On calcule de meme c
n
(f)c
n
(g) + c
n
(f)c
n
(g).
64
UTM-L2MASS MI0A12Y C.Hassenforder
Remarques. a) Si f est paire, on a donc
[a
0
(f)[
2
4
+
1
2
+

n=1
[a
n
(f)[
2
= |f|
2
2
=
1

_
[0,]
[f[
2
.
a) Si f est impaire, on a donc
1
2
+

n=1
[b
n
(f)[
2
= |f|
2
2
=
1

_
[0,]
[f[
2
.
Exemple. Soit f la fonction 2periodique impaire denie sur [0, ] par f(x) = x( x).
Calculer les coecients de Fourier de f et en deduire
+

n=0
1
(2n + 1)
6
.
Preuve. On a f(x) = f(x), donc, sur [, 0], f(x) = x( + x).
La fonction f est continue et de classe (
1
par morceaux sur IR car sa restriction `a [, ] est de classe
(
1
puis que f(0
+
) = f(0

) = 0, f

(0
+
) = f

(0

) = ; f(

) = f(
+
) = 0 et f

(
+
) = f

(
+
) = .
Comme f est impaire on a a
n
(f) = 0 pour tout n IN et b
n
(f) =
2

_

0
x( x) sin nxdx que lon
calcule par parties.

2
b
n
=
_

0
x( x) sin nxdx
=
_
x( x)
cos(nx)
n
_

0
+
_

0
( 2x)
cos(nx)
n
dx
=
_
( 2x)
sin(nx)
n
2
_

0
+
_

0
2
sin(nx)
n
2
dx
=
_
2
cos(nx)
n
3
_

0
=
2
n
3
_
(1)
n+1
+ 1
_
On a donc, pour tout n IN, b
2n
(f) = 0 et b
2n+1
(f) =
8
(2n + 1)
3
.
La formule de Parseval donne ici
1

_

0
x
2
( x)
2
dx =
1
2
+

n=0
64

2
(2n + 1)
6
.
Or
_

0
x
2
( x)
2
dx =
_
x
5
5
2
x
4
4
+
2
x
3
3
_

0
=

5
30
. On obtient ainsi
+

n=0
1
(2n + 1)
6
=

6
960
.
Exemple. Cas o` u f est 2 periodique et paire, et vaut x sur [0, ].
Preuve. f est continue : elle vaut en fait g(x) = [x[ sur [, ], donc g() = g() do` u la continuite
de f.
b
n
(f) = 0 et a
n
(f) =
2

_

0
xcos nxdx =
2
n
2

[(1)
n
1] si n 1. Donc, a
2n
(f) = 0 et a
2n+1
(f) =

4
(2n + 1)
2

tandis que a
0
(f) = . Par Parseval, on a donc
1

_

0
x
2
dx =

2
3
=

2
4
+
8

2
+

n=0
1
(2n + 1)
4
Donc,
+

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

4
96
. Avec le partage classique pair/impair, on trouve facilement
+

n=1
1
n
4
=

4
90
.
65
CHAPITRE 3 Series enti`eres, series de Fourier
Theor`eme. T : (
2
C
ZZ
, f

f est injective.
Preuve. Soit f (
2
telle que c
n
(f) = 0 pour tout n. Alors, par Parseval, |f|
2
2
= 0 donc f = 0.
c) Extension aux fonctions continues par morceaux
Dans (/
2
, on perd la structure prehilbertienne parce quon na plus
_
[,]
[f[
2
= 0 qui
implique f = 0 (cela donne seulement f nulle en tout point de continuite).
Theor`eme. Soit f (/
2
.
a) Lapplication T
p
IR, P
1

_
[,]
[f P[
2
est minimale en lunique P = S
p
(f).
b)
_
[,]
[f[
2
=
_
[,]
[S
p
(f)[
2
+
_
[,]
[f S
p
(f)[
2
.
Preuve. On part de P =
p

n=p

n
e
n
, do` u [P[
2
=

n,m

m
e
nm
.
_
[,]
[f P[
2
=
_
[,]
[f[
2
+ 2

n
[
n
[
2
2
p

n=p
[c
n
(f)
n
+ c
n
(f)
n
]
_
[,]
[f P[
2
=
_
[,]
[f[
2
2
p

n=p
[c
n
(f)[
2
+ 2
p

n=p
[c
n
(f)
n
[
2
Donc,
_
[,]
[f P[
2

_
[,]
[f[
2
2

n
[c
n
(f)[
2
et il y a egalite si et seulement si c
n
(f) =
n
pour tout n, soit si et seulement si P = S
p
(f). Du calcul eectue, on en deduit les autres proprietes
annoncees.
Theor`eme. Soit f (/
2
. Il existe une suite (g
n
) (
IN
2
telle que lim
_
[,]
[fg
n
[
2
= 0.
Preuve. Soit a
0
= < a
1
< . . . < a
p
= une subdivision subordonnee `a f. Pour n n
0
, on a
a
0
< a
0
+
1
n
< a
1

1
n
< a
1
+
1
n
< . . . < a
p

1
n
< a
p
.
Sur les ]a
k1
+
1
n
, a
k

1
n
[, on prend g
n
(x) = f(x).
Sur [a
k

1
n
, a
k
+
1
n
] (1 k p 1), on prend g
n
ane avec les raccords g
n
(a
k
+

n
) = f(a
k
+

n
),
soit
g
n
(x) = f(a
k

1
n
) +
f(a
k
+
1
n
) f(a
k

1
n
)
2
n
(x a
k
+
1
n
),
tandis que, sur [a
0
, a
0
+
1
n
], on prend g
n
ane avec g
n
(a
0
) = 0 et g
n
(a
0
+
1
n
) = f(a
0
+
1
n
) :
g
n
(x) =
f(a
0
+
1
n
)
1
n
(x a
0
). On nit de meme sur [a
p

1
n
, a
p
] avec g
n
ane et avec g
n
(a
p
) = 0 et
66
UTM-L2MASS MI0A12Y C.Hassenforder
g
n
(a
p

1
n
) = f(a
p

1
n
).
_
[,]
[f g
n
[
2
=
p1

k=1
_
[a
k

1
n
,a
k
+
1
n
]
[f g
n
[
2
+
_
[a0,a0+
1
n
]
[f g
n
[
2
+
_
[ap
1
n
,ap]
[f g
n
[
2
Soit M
f
= sup
[,]
[f[.
Sur [a
k

1
n
, a
k
+
1
n
], p 1 k 1,
[g
n
(x)[ M
f
+
n
2
(2M
f
)(x a
k
+
1
n
) M
f
+ nM
f
(
2
n
) = 3M
f
,
donc [f(x) g
n
(x)[ 4M
f
, et sur [a
0
, a
0
+
1
n
] [a
p

1
n
, a
p
], [g
n
(x)[ M
f
.
Finalement,
_
[,]
[f g
n
[
2
2
M
2
f
n
+
2
n
(16M
2
f
)(p 1) = O(
1
n
) 0.
Theor`eme. Soit f (/
2
.
a) lim
p
_
[,]
[f S
p
(f)[
2
= 0.
b)
1
2
_
[,]
[f[
2
= [c
0
(f)[
2
+
+

n=1
[[c
n
(f)[
2
+[c
n
(f)[
2
] =
[a
0
(f)[
2
4
+
1
2
+

n=1
[[a
n
(f)[
2
+[b
n
(f)[
2
].
Preuve. a) Soit g
n0
(
2
avec
_
[,]
[f g
n0
[
2
. Soit aussi (P) un polynome trigonometrique
tel que |P g
n0
|

, donc notamment
_
[,]
[P g
n0
[
2
2. P T
p0
, et, pour p p
0
, P T
p
.
_
[,]
[f S
p
(f)[
2

_
[,]
[f P[
2

_
[,]
[[f g
n0
[ +[g
n0
P[]
2
Or, (a + b)
2
2(a
2
+ b
2
) donc
_
[,]
[f S
p
(f)[
2
2[
_
[,]
[f g
n0
[
2
+ 2]. Puis
_
[,]
[f S
p
(f)[
2
4 + 2
_
[,]
[f g
n0
[
2
(4 + 2)
b) Il sut de remarquer que

_
[,]
[f[
2

_
[,]
[S
p
(f)[
2

=
_
[,]
[f S
p
(f)[
2
0.
Remarques. a) La formule concernant le produit scalaire, soit ici
1
2
_
[,]
fg est toujours
valable.
b) Cette fois, T nest pas injective. En eet,

f = 0 equivaut seulement `a f(x) = 0 d`es que
f est continue en x.
Exemple. Cas o` u f est 2 periodique et vaut x sur ] , [ avec f() = 0.
Preuve. f est continue par morceaux mais pas continue : f(

) = , f(
+
) = f(
+
) = .
a
n
(f) = 0 et b
n
(f) =
2

_

0
xsin nxdx =
2(1)
n1
n
. Par Parseval, on a
1

_

0
x
2
dx =

2
3
=
+

n=1
2
n
2
.
Donc,
+

n=1
1
n
2
=

2
6
.
67
CHAPITRE 3 Series enti`eres, series de Fourier
Theor`eme. a) Soit f (/
2
. Alors lim
n+
c
n
(f) = lim
n+
c
n
(f) = lim
n+
a
n
(f) =
lim
n+
b
n
(f) = 0.
b) Soit f 2 periodique, de classe (
k1
et de classe (
k
par morceaux. Alors c
n
(f) =
o
_
1
[n[
k
_
.
Preuve. a) Le terme general dune serie convergente tend vers 0 donc ces limites nulles viennent de
la relation de Parseval.
b) [c
n
(f)[ =
1
[n[
k
[c
n
(D
k
f)[ avec c
n
(D
k
f) 0 car D
k
f (/
2
.
3-2.3) Convergence ponctuelle
a) Convergence normale
Theor`eme. Soit f (
2
, qui, de plus, est de classe (
1
par morceaux.
a) La serie (

[c
n
(f)[ + [c
n
(f)[) est convergente (ou la serie (

[a
n
(f)[ + [b
n
(f)[) est
convergente).
b)La serie de Fourier de f est normalement convergente vers f sur IR. Donc, pour tout
x IR, f(x) =
+

n=
c
n
(f)e
inx
= c
0
(f) +
+

n=1
[c
n
(f)e
inx
+ c
n
(f)e
inx
] (et il y a en fait
convergence normale). On a donc aussi f(x) =
a
0
(f)
2
+
+

n=1
[a
n
(f) cos nx + b
n
(f) sinnx],
Preuve. a) On a c
n
(Df) = inc
n
(f). Comme 2[ab[ a
2
+ b
2
, il vient [c
n
(f)[
1
2
[
1
n
2
+[c
n
(Df)[
2
].
Par Parseval, comme Df (/
2
, (

[c
n
(Df)[
2
+[c
n
(Df)[
2
) converge, donc (

[c
n
(f)[ +[c
n
(f)[)
est convergente par domination.
Comme [c
n
(f)[ + [c
n
(f)[ [a
n
(f)[ + [b
n
(f)[ 2[[c
n
(f)[ + [c
n
(f)[], on a lequivalence entre les
convergences.
b) [c
n
(f)e
inx
+ c
n
(f)e
inx
[ [c
n
(f)[ + [c
n
(f)[ etablit la convergence normale de (S
p
(f)) vers
S(f). Comme les fonctions sommees sont continues, S(f) est continue, et elle est 2 periodique car
S
p
(f)(x + 2) = S
p
(f)(x) se conserve `a la limite.
On a S(f)(x) S
p
(f)(x) =
+

n=p+1
[c
n
(f)e
n
(x) + c
n
(f)e
n
(x)] donc, pour tout x IR,
[S(f)(x) S
p
(f)(x)[
+

n=p+1
[[c
n
(f)[ +[c
n
(f)[] = R
p
.
Cela implique |S(f) S
p
(f)|

R
p
donc lim
n+
|S(f) S
p
(f)|

= 0.
Comme dans (
2
, on a | |
2
| |

, on a donc lim|S
p
(f) S(f)|
2
= 0. Donc, S(f) = f par unicite
de la limite.
Exemple. Cas o` u f est 2 periodique et paire, et vaut x sur [0, ].
Preuve. On a vu que f etait continue : elle vaut en fait g(x) = [x[ sur [, ], donc elle est de
classe (
1
par morceaux. On a vu aussi que a
2n
(f) = 0 et a
2n+1
(f) =
4
(2n + 1)
2

tandis que a
0
(f) = .
Par consequent f(x) =

2

4

n=0
cos(2n + 1)x
(2n + 1)
2
. Cette somme vaut [x[ sur [, ].
68
UTM-L2MASS MI0A12Y C.Hassenforder
Exemple. Soit t IR ZZ. Determiner le developpement en serie de Fourier de f : IR IR,
2periodique, denie sur [, ] par f(x) = cos(tx). En deduire des developpements en serie de
fonctions de cott et
t
sin(t)
.
Preuve. f est de classe (
1
par morceaux de IR sur C car f
|[,]
est de classe (
1
. Elle est 2-
periodique et continue sur IR car f
|[,]
est continue. On en deduit que la serie de Fourier de f converge
normalement vers f sur IR et que b
n
(f) = 0 tandis que :
a
n
(f) =
2

_

0
cos txcos nx dt =
1

_

0
(cos(t + n)x + cos(t n)x) dt
=
1

_
sin(t + n)x
t + n
+
sin(t n)x
t n
_

0
= (1)
n
2t

sin t
t
2
n
2
Ainsi cos tx =
sin t
t
+
2t

n=1
sint
t
2
n
2
(1)
n
cos nx. Pour x = , on obtient cott =
1
t
+
2t

n=1
1
t
2
n
2
et pour x = 0, on obtient
t
sin(t)
= 1 + 2t
2
+

n=1
(1)
n1
n
2
t
2
.
b) Convergence simple
Theor`eme. [Dirichlet] Soit f (/
1
2
. (S
p
(f)) est simplement convergente vers

f : x
f(x
+
) + f(x

)
2
=
1
2
lim
h0
+
[f(x + h) + f(x h)]
sur IR. En particulier, en tout point o` u f est contine, (S
p
(f)(x)) converge vers f(x).
Preuve.
S
p
(f)(x) =
1
2
_

n=p
e
int+inx
f(t)dt =
1
2
_

D
n
(x t)f(t)dt
On a note D
p
(u) =
p

n=p
e
inu
qui est continue, 2 periodique et paire, donc
S
p
(f)(x) =
1
2
_

D
p
(u)f(x u)du =
1
2
_

0
D
p
(u)[f(x + u) + f(x u)]du
Si u 2ZZ, D
p
(u) = 2p + 1, et, sinon
D
p
(u) = e
ipu
p

n=p
e
i(n+p)u
= e
ipu
e
i(2p+1)u
1
e
iu
1
=
sin(p +
1
2
)u
sin
u
2
De plus, si lon prend f(x) = 1, pour laquelle S
p
(f)(x) = 1, il vient
_
[,]
D
p
= 2.

p
(x) = S
p
(f)(x)
f(x
+
) + f(x

)
2
=
1
2
_

0
D
p
(u)[f(x + u) f(x
+
) + f(x u) f(x

)]du
Soit
p
(x) =
1
2
_

0
D
p
(u)h(u)du. Posons, pour u ]0, ], g(u) =
h(u)
2 sin
u
2
. Du fait de la classe (
1
par
morceaux de f, il vient, en 0
+
:
g(u)
f(x + u) f(x
+
)
u
+
f(x u) f(x

)
u
f

(x
+
) + f

(x

)
69
CHAPITRE 3 Series enti`eres, series de Fourier
Donc, g est continue par morceaux sur [0, ] et
p
(x) =
2

_
2
0
sin((2p + 1)v)g(2v)du = b
2p+1
(G), o` u lon
a deni G (/
2
par G impaire, G
|[0,

2
]
(v) = g(2v) et G
|]

2
,]
(v) = 0. On a vu que b
n
(G) 0, donc

p
(x) 0.
Exemple. Cas o` u f est 2 periodique et vaut x sur ] , [ avec f() = 0. En deduire
+

n=1
sinn
n
.
Preuve. f est de classe (
1
par morceaux mais pas continue. On a vu que a
n
(f) = 0 et b
n
(f) =
2

_

0
xsin nxdx =
2(1)
n1
n
. Par Dirichlet, on a
f(x
+
) + f(x

)
2
= 2
+

n=1
(1)
n1
sin nx
n
. Cest x sur
] , [. Prenons x = 1. Il vient
+

n=1
sinn
n
=
1
2
.
c) Series trigonometriques
Une serie trigonometrique est une serie de fonctions de la forme (

u
n
) o` u u
0
est une
constante et u
n
(x) =
n
cos nx + sinnx ou u
n
(x) =
n
e
inx
+
n
e
inx
si n 1.
Une serie de Fourier est une serie trigonometrique mais la reciproque est fausse en general si
lon realise que, pour que la serie trigonometrique soit la serie de Fourier dune fonction continue
par morceaux 2 periodique, il faut que (

[[
n
[
2
+[
n
[
2
]) converge.
Neanmoins :
sil y a convergence simple dune serie trigonometrique sur IR, la somme est 2 periodique ;
sil y a convergence normale, la somme S est continue et surtout, on a limportante propriete
armant que les coefcients
n
sont les coefcients de Fourier de S, demontree dans lexemple
suivant.
Exemple. Montrer que, si
_
_

0
+

n1

n
e
n
+
n
e
n
_
_
converge normalement vers S sur IR, alors

p
= c
p
(S) pour tout p.
Preuve. La convergence simple transmet la periodicite et la convergence normale la continuite donc
S (
2
.
On reprend la notation u
n
denie ci-dessus avec u
0
=
0
. On a |u
n
e
p
|

= |u
n
|

donc la serie
_
_
u
0
e
p
+

n1
u
n
e
p
_
_
de somme Se
p
continue `a converger normalement. Notamment, sur [, ], on
peut echanger

et
_
donc, comme u
n
e
p
=
n
e
np
+
n
e
np
si n 1 et
_
[,]
e
q
= 2
q,0
,
2c
p
(S) = 2
p,0

0
+ 2
+

n=1
(
n

p,n
+
n

p,n
).
n parcourt IN donc il rencontre une fois p si p IN ou une fois p si p IN

: cela ne laisse quun

seul coecient non nul et donne 2c
p
(S) =
p
.
Bien s ur, ceci sapplique aussi au cas dune serie presentee avec cos nx et sinnx. On resumera
le principe que lon vient detudier de la mani`ere suivante : si une serie trigonometrique converge
normalement, ses coecients sont les coecients de Fourier de sa somme.
70
UTM-L2MASS MI0A12Y C.Hassenforder
Exemple. Soit f et g dans (/
2
. Montrer que lon denit une fonction continue et 2periodique
sur IR, par h(x) =
+

n=
c
n
(f)c
n
(g)e
inx
. Quels sont les coecients de Fourier de h ?
Preuve. On sait, grace au theor`eme de Parseval, que les series de termes generaux [c
n
(f)[
2
et
[c
n
(g)[
2
, (k ZZ), sont convergentes. Or, pour tout (x, k) IRZZ,
[c
n
(f)c
n
(g)e
inx
[ = [c
n
(f)c
n
(g)[
1
2
_
[c
n
(f)[
2
+[c
n
(g)[
2
_
.
Le crit`ere de domination montre que la serie de fonctions continues et 2periodiques, de terme
general x u
n
(x) = c
n
(f)c
n
(g)e
inx
est normalement convergente sur IR. Les u
n
etant continues
et 2periodiques, la fonction somme x h(x) =
+

k=
c
n
(f)c
n
(g)e
inx
est egalement continue et
2periodique. De plus,
[c
n
(f)c
n
(g)e
inx
e
ipx
[ = [c
n
(f)c
n
(g)[
donc il y a aussi convergence normale de
+

k=
c
n
(f)c
n
(g)e
inx
e
ipx
vers h(x)e
ipx
, et on peut echanger
series et integrales sur [, ] comme ci-dessus pour conclure que c
p
(h) = c
p
(f)c
p
(g).
d) Resolution dune equation dierentielle lineaire par les series de Fourier
On cherche ici les solutions periodiques dune equation dierentielle ay

+ by

+ cy = f o` u
a, b, c sont, en general, des constantes (a = 0 couvre le premier ordre) et f est une application
continue 2 periodique donnee, soit par une formule, soit par une serie trigonometrique. Il faut
commencer par calculer ses coecients de Fourier.
Par rapport `a lemploi des series enti`eres, on a deux dierences fondamentales :
Il ny a pas de theor`eme armant directement la possibilite de deriver une serie trigonome-
trique terme `a terme. Il faut pour cela etudier la convergence normale des series derivees.
Il ny a pas de theor`eme dunicite du developpement en serie trigonometrique permettant
didentier coecient par coecient.
On suit alors une demarche calculant directement les coecients de Fourier dune solution
y, en procedant par analyse-synth`ese.
Dans lanalyse, on exploite les relations c
n
(y

) = inc
n
(y) et c
n
(y

) = n
2
c
n
(y) qui donnent
(an
2
+ bin + c)c
n
(y) = c
n
(f) pour tout n ZZ.
Si aX
2
+biX +c na pas de solution enti`ere, cela determine c
n
(y) =
c
n
(f)
an
2
+ bin + c
.
Si aX
2
+ biX + c a une solution enti`ere n
0
(il y en a deux au plus !),
soit c
n
0
(f) ,= 0 et il ny a pas de solution,
soit c
n
0
(f) = 0, alors c
n
0
(y) est quelconque et, pour n ,= n
0
, on calcule c
n
(y) =
c
n
(f)
an
2
+ bin + c
.
Une fois obtenus les c
n
(y), sachant que y (
1
2
au moins, y est obtenue comme somme de
sa serie de Fourier.
Dans la synth`ese, on reprend y determinee dans lanalyse comme somme dune serie
trigonometrique (

u
n
). On examine alors la convergence simple de (

u
n
) puis la con-
vergence normale de (

n
) et (

n
) (si on est au deuxi`eme ordre) et on verie que y est
solution.
71
CHAPITRE 3 Series enti`eres, series de Fourier
Exemple. Soit lequation dierentielle (E) : y

2
y = f ( > 0) o` u f est 2-periodique, impaire,
et vaut f(x) = sin
2
x pour x [0, ]. Montrer quil existe une serie trigonometrique de somme
qui est solution de (E).
Preuve. Developpons dabord f en serie de Fourier. f
|[0,]
est continue, f est impaire : f
|[,]
est continue. f
|[0,]
est (
1
donc f est (
1
par morceaux. La serie de Fourier de f converge alors vers f
(normalement). On a a
n
(f) = 0 et, pour n 1,
b
n
(f) =
2

_

0
sin
2
xsin nxdx =
1

_

0
(1 cos 2x) sin nxdx
=
1

cos nx
n
_

1
2
_

0
[sin(n + 2)x + sin(n 2)x]dx
si n = 2, b
2
(f) =
1
2
_

0
sin 4xdx = 0
si n ,= 2
b
n
(f) =
_

cos nx
n
+
1
2
_
cos(n + 2)x
n + 2
+
cos(n 2)x
n 2
__

0
=
__

1
n
+
1
2
_
2n
n
2
4
__
((1)
n
1)
_
=
1
2
_
4
n(n
2
4)
((1)
n
1)
_
donc b
2p
(f) = 0 et
b
2p+1
(f) =
4
(2p + 1)[(2p + 1)
2
4]
=
4
(2p 1)(2p + 1)(2p + 3)
.
Par consequent,
f(x) =
4

p=0
sin(2p + 1)x
(2p 1)(2p + 1)(2p + 3)
.
Analyse. Si est solution,

= f +
2
, est de classe (
2
et c
n
(

) = n
2
c
n
(), donc
c
n
()(
2
+ n
2
) = c
n
(f), soit c
n
() =
c
n
(f)

2
+ n
2
.
Or c
n
(f) = c
n
(f) =
ib
n
(f)
2
, donc
_

_
c
n
() =
ib
n
(f)
2(
2
+ n
2
)
si n 0
c
n
() =
ib
n
(f)
2(
2
+ n
2
)
si n 1
.
c
n
() =
a
n
() ib
n
()
2
donc a
n
() = 0 et b
n
() =
b
n
(f)

2
+ n
2
.
est somme de sa serie de Fourier car est (
2
donc
(x) =
+

n=1
b
n
(f) sin(nx)

2
+ n
2
=
+

p=0
b
2p+1
(f) sin(2p + 1)x

2
+ (2p + 1)
2
.
Synth`ese. On reprend la serie precedente. Si u
p
(x) =
b
2p+1
(f) sin(2p + 1)x

2
+ (2p + 1)
2
,
u

p
(x) = (2p + 1)
b
2p+1
(f) cos(2p + 1)x

2
+ (2p + 1)
2
,
u

p
(x) = (2p + 1)
2
b
2p+1
(f) sin(2p + 1)x

2
+ (2p + 1)
2
72
UTM-L2MASS MI0A12Y C.Hassenforder
donc [u
p
(x)[
[b
2p+1
(f)[
(2p + 1)
2
= O
_
1
p
5
_
, [u

p
(x)[
[b
2p+1
(f)[
2p + 1
= O
_
1
p
4
_
, [u

p
(x)[ [b
2p+1
(f)[ = O
_
1
p
3
_
,
donc les trois series convergent normalement et la somme de la serie est (
2
et on peut deriver terme `a
terme. Notamment,

(x)
2
(x) =
+

p=0
b
2p+1
(f) sin(2p + 1)x

2
+ (2p + 1)
2
[(2p + 1)
2
+
2
] = f(x)
donc est solution de (E).
Exemple. Trouver les solutions 2periodiques de y

+ e
it
y = 0.
Preuve. Analyse. Si f existe, f (
2
(IR), donc f(t) =
+

n=
c
n
(f)e
int
, et c
n
(f

) = n
2
c
n
(f). Par
ailleurs, si g(t) = e
it
f(t), g (
2
, avec c
n
(g) = c
n1
(f).
Donc, avec lequation, n
2
c
n
(f) = c
n1
(f) pour tout n ZZ.
Do` u, pour n = 0, c
1
(f) = 0. D`es lors, si c
n
(f) = 0, avec n < 0, c
n1
(f) = n
2
c
n
(f) = 0, et, par
recurrence, c
n
(f) = 0 pour tout n ZZ

. Par contre, si n 1, c
n
(f) =
c
n1
n
2
donc, par telescopage
multiplicatif, c
n
(f) =
c
0
(f)
(n!)
2
. Donc f(t) = c
0
(f)
+

n=0
e
int
(n!)
2
.
Synth`ese. Soit f
0
(t) =
+

n=0
e
int
(n!)
2
et u
n
(t) =
e
int
(n!)
2
: u
n
est (
2
et [u
n
(t)[ =
1
(n!)
2

1
n
2
do` u la
convergence normale et f
0
est continue 2-periodique.
u

n
(t) = in
e
int
(n!)
2
et [u

n
(t)[ =
n
(n!)
2
=
1
n
1
(n 1)!
2
si n 1, donc [u

n
(t)[
1
n(n 1)
si n 2 (et
[u

0
(t)[ = 0, [u

1
(t)[ = 1). Donc (

n
) converge normalement sur IR.
u

n
(t) = n
2
e
int
(n!)
2
et [u

n
(t)[ =
1
(n 1)!
2

1
(n 1)
2
si n 2 (et [u

0
(t)[ = 0, [u

1
(t)[ = 1). Donc
(

n
) converge normalement sur IR.
Par theor`eme, f
0
(
2
2
, avec f

0
(t) =
+

n=1
e
int
((n 1)!)
2
=
+

n=0
e
i(n+1)t
(n!)
2
= e
it
f(t) : f
0
est bien
solution de lequation et les autres sont les f
0
.
3-2.4) Cas des fonctions T-periodiques
Si f est T periodique et continue par morceaux sur IR, en posant g(t) = f
_
T
2
t
_
, on obtient
une fonction 2 periodique. On peut alors denir c
n
(f) = c
n
(g) =
1
2
_

f
_
T
2
t
_
e
int
dt soit,
en posant x =
T
2
t,
c
n
(f) =
1
T
_
T/2
T/2
f(x)e
2inx/T
dx.
De meme, a
n
(f) =
2
T
_
T/2
T/2
f(x) cos
_
2nx
T
_
dx et b
n
(f) =
2
T
_
T/2
T/2
f(x) sin
_
2nx
T
_
dx
avec les memes relations entre les deux familles de coecients et les memes simplications dans
le cas de la parite/imparite.
73
CHAPITRE 3 Series enti`eres, series de Fourier
Letude de la serie de Fourier de f correspond `a celle de la suite de fonctions S
p
(f)(x) o` u
S
p
(f)(x) =
p

n=p
c
n
(f)e
2inx/T
=
a
0
(f)
2
+
p

n=1
a
n
(f) cos
_
2nx
T
_
+ b
n
(f) sin
_
2nx
T
_
.
Par ailleurs, puisque f et g ont la meme regularite, les grands theor`emes de convergence
restent valables. On va les rappeler maintenant.
a) Convergence en moyenne quadratique.
lim
p+
_
T/2
T/2
[f(x) S
p
(f)(x)[
2
dx = 0.
pour f continue par morceaux, T periodique. On notera que lon peut denir un produit scalaire
sur lespace vectoriel des fonctions T periodiques continues.
b)

Egalite de Parseval
[c
0
(f)[
2
+
+

n=1
[[c
n
(f)[
2
+[c
n
(f)[
2
] =
1
T
_
T/2
T/2
[f(x)[
2
dx.
[a
0
(f)[
2
4
+
1
2
+

n=1
[[a
n
(f)[
2
+[b
n
(f)[
2
] =
1
T
_
T/2
T/2
[f(x)[
2
dx
pour f continue par morceaux T-periodique.
c) Convergence normale.
Lorsque f est continue et de classe (
1
par morceaux sur IR, la serie de Fourier de f converge
normalement vers f sur IR, soit
f(x) =
+

n=
c
n
(f)e
2inx/T
=
a
0
(f)
2
+
+

n=1
a
n
(f) cos
_
2nx
T
_
+ b
n
(f) sin
_
2nx
T
_
.
On a aussi dans ce cas c
n
(Df) =
2in
T
c
n
(f).
d) Convergence simple.
Lorsque f est de classe (
1
par morceaux sur IR, la serie de Fourier de f converge simplement
vers

f : x
f(x
+
) + f(x

)
2
sur IR.
74
UTM-L2MASS MI0A12Y C.Hassenforder
Exemple. Determiner la serie de Fourier associee `a la fonction f : x x E(x) et preciser sa
convergence.
Preuve. La fonction f est continue par morceaux, 1-periodique. La fonction

f associee `a f se denit
par

f(x) =
_
f(x) si x / ZZ
1
2
si x ZZ
.
a
0
(f) = 2
_
1
0
f(t)dt. On obtient a
0
(f) = 1.
Pour tout n IN

: a
n
(f) = 2
_
1
0
f(t) cos(n2t)dt et b
n
(f) = 2
_
1
0
f(t) sin(n2t)dt.
Dautre part, en remarquant que la fonction f
1
2
est impaire sur
_

1
2
,
1
2
_
, on peut dej`a armer
que a
n
(f) = 0 pour tout n IN

. Enn, pour n IN

, b
n
(f) = 2
_
1
0
t sin(n2t)dt =
1
n
. La serie de
Fourier associee `a f est donc
1
2
+

n1
1
n
sin(n2x). La fonction f etant continue par morceaux, (
1
par
morceaux, le theor`eme de Dirichlet permet darmer la convergence simple de sa serie de Fourier, sur
IR, vers

f.
Remarque : la formule de Parseval permet alors de trouver
1
2
+
+

n=1
1
n
2

2
=
2
3
ou encore
+

n=1
1
n
2
=

2
6
.
75