Sries trigonomtriques

1. Gnralits
Dfinitions 1.1
Soient (an)n et (bn)n deux suitescomplexes.
On appelle srie trigonomtrique toute srie (fn)n de fonctions de dans dont le terme gnral est
dfini sur par fn(t) = an cos nt + bn sin nt (1).

Remarques 1.2

Les sries trigonomtriques sont, comme les sries entires, des sries de fonctions d'une forme
particulire.
Avec les notations de la dfinition 1.1, on a, pour tout rel t, f0(t) = a0 et b0 n'intervient pas.
On supposera donc que b0 = 0.

Proprit 1.3
Le terme gnral d'une srie trigonomtrique peut s'crire :
t, f0(t) = a0 et fn(t) = c n e int + c n e int si n 1 (2).
On parle alors de la srie (c n e int + c n e int ).

Dmonstration
int
int
int
int
int
int
Puisque cos nt = e + e et sin nt = e e = ie ie , on obtient
2 int
2
2i
int
int
int
a n ib n int a n + ib n int
e
+
e
ie

ie
fn(t) = a n
+ bn
=
e +
e .
2
2
2
2
a n ib n

cn =
2
Il suffit donc de poser : a0 = c0, b0 = 0 et
a
+ ib n si n 1 pour obtenir la forme voulue.
n
c n =
2

Remarques 1.4
Avec les notations de la dfinition et de la proprit :

La forme (2) est appele la forme complexe de la srie trigonomtrique et la forme (1) est appele
la forme relle mme si, rappelons-le, les coefficients an et bn peuvent tre complexes.

En cas de convergence, la somme (c n e int + c n e int ) peut tre note

nm0

ce
n

int

n=

Cette notation correspond une srie dite double entre.

a n = c n + c n
On a
pour n 1. On peut donc facilement passer d'une forme l'autre.
b n = (c n c n )i

Francis Wlazinski

Pour tout entier n, la fonction fn est infiniment drivable sur et est 2-priodique.
En particulier, si la srie numrique  (an cos nx + bn sin nx) converge pour un rel x et si S est sa
somme, alors la srie numrique  (an cos n(x + 2) + bn sin n(x + 2)) est convergente de mme
somme S. Ce que l'on peut aussi traduire aussi par : en cas de convergence, la fonction
S(x) = (c n e int + c n e int ) est 2-priodique.
nm0

2. Convergence
Proprit 2.1
Soient (an)n, (bn)n et (cn)n trois suites complexes.
On considre une srie trigonomtrique des formes quivalentes (1) ou (2).
La srie de terme gnral | an | + | bn | (pour n 0) et la srie de terme gnral | cn | + | cn | (pour n 0) sont
de mme nature.
En cas de convergence, la srie trigonomtrique (c n e int + c n e int ) est normalement convergente sur .

Remarque 2.2
Les hypothses de convergence sont vrifies si les sries  a n et  b n sont toutes les deux absolument
convergentes ou si les sries  c n et  c n sont toutes les deux absolument convergentes.

Dmonstration
On a | an | + | bn | = | cn + cn | + | (cn cn)i | | cn | + | cn | + | cn cn | | cn | + | cn | + | cn | + | cn | 2(| cn | + | cn |)
a ib n
a + ib n
a + bn
a + bn
et | cn | + | cn | = n
n
+ n
| an | + | bn |.
+ n
2
2
2
2
En cas de convergence, on obtient directement le rsultat puisque | an cos nt + bn sin nt | | an | + | bn | n
et t et puisque les sries (a n cos nt + b n sin nt) et (c n e int + c n e int ) sont les mmes.

Exemple 2.3
La srie de terme gnral n12 cos nx

Rappel 2.4

1 sin nx est normalement convergente sur .

n3

Rgle d'Abel
p

Soit e une suite de nombres complexes telle que, pour tout entier p, la somme Sp =  e k soit borne.
k=1

Soit u une suite de nombres positifs, dcroissante et qui tend vers 0.

Alors la srie  e n u n est convergente.

Corollaire 2.5
Soit u une suite de nombres positifs, dcroissante et qui tend vers 0.
Pour tout x\ 2, les sries numriques  u n e inx ,  u n cos nx et  u n sin nx sont convergentes.
Ce qui signifie que les sries de fonctions  u n e inx ,  u n cos nx et  u n sin nx sont simplement
convergentes sur tout intervalle de la forme ]2k;(2k + 2)[ o k.
De plus, la convergence est uniforme sur tout intervalle de la forme [2k + ;(2k + 2) ] o k et
vrifie 0 < < .
Francis Wlazinski

Remarques 2.6

La convergence est donc uniforme sur tout ferm born (compact) de ]2k;(2k + 2)[ k.
Si x = 2k avec k, alors la srie  u n e inx est la srie numrique  u n .
Etant donn la priodicit, il suffit souvent de travailler dans un intervalle de longueur 2.
Gnralement, le plus simple est [0;2].

Dmonstration
p

Remarquons d'abord que  u k cos kx = Re

k=0

 u k e ikx et que  u k sin kx = Im

u e

k=0

k=1

k=0

La convergence de la srie  u n e inx implique donc celle des deux autres.

Si x = 2j avec j,

e

Si x = (2j1 avec j,

e

ikx

k=0

Si, j, x j, alors

e

ikx

= p + 1.

ikx

k=0

ikx

(1)

= 1 si p est pair et

k=0

= e

k=0

e

ikx

= 0 si p est impair.

k=0

1 = e
e ix/2
e ix 1

i(p+1)x

i(p+1)x/2

e
% e e ix/2
e ix/2
i(p+1)x/2

i(p+1)x/2

= e ipx/2 %

sin

(p + 1)x
2
.
sin x
2

1 .
sin x
2
Si x\ 2, nous sommes donc dans les hypothses de la rgle d'Abel et la srie  u n e inx converge.
[

Remarquons maintenant que, si x[2k + ;(2k + 2) ], alors x [k +  ;(k + 1)  ] et sin x m sin  .

2
2
2
2
2
p

Donc

e

n+p

ikx

k=0

1 . Si on pose S n+p =
 u k e ikx , en utilisant la substitution d'Abel, on obtient
n
k=n+1
sin 
2

1 . Puisque lim u = 0, on en dduit que, pour tout rel , on peut trouver un entier N
nd+ n
sin 
2
n+p
tel que, p 0, si n N alors  u k e ikx <  et ceci pour tout x[2k + ;(2k + 2) ].
S pn [ 2u n+1 %

k=n+1

Exemples 2.7

La srie  cosnnx converge pour tout x\ 2 et elle diverge pour x = 2k o k.

La srie  sinnnx converge pour tout x.
En effet, si x = 2k avec k, cette srie est la srie nulle.

Corollaire 2.8
Soient (an)n, (bn)n et (cn)n trois suites complexes.
On considre une srie trigonomtrique des formes quivalentes (1) ou (2).
Si les suites de terme gnral cn et cn (pour n 0) sont des suites de nombres positifs, dcroissantes et
qui tendent vers 0. Alors les sries trigonomtriques (a n cos nt + b n sin nt) ou (c n e int + c n e int ) sont
simplement convergentes sur tout intervalle de la forme ]2k;(2k + 2)[ o k.
De plus, la convergence est uniforme sur tout intervalle de la forme [2k + ;(2k + 2) ] o k et
vrifie 0 < < .
Francis Wlazinski

3. Somme d'une srie trigonomtrique et oprateurs

Corollaire 3.1
Soient (an)n, (bn)n et (cn)n trois suites complexes.
a.
Si la srie de terme gnral | cn | + | cn | (pour n 0) est convergente alors la somme de la srie
trigonomtrique (c n e int + c n e int ) est continue sur .
a'.
Si la srie de terme gnral | an | + | bn | (pour n 0) est convergente alors la somme de la srie
trigonomtrique (a n cos nt + b n sin nt) est continue sur .
b.
Si les suites de terme gnral cn et cn (pour n 0) sont des suites de nombres rels positifs,
dcroissantes et qui tendent vers 0, alors la somme de la srie (c n e int + c n e int ) est continue sur
tout intervalle de la forme ]2k;(2k + 2)[ o k.
b'.
Si les suites de terme gnral an et bn (pour n 0) sont des suites de nombres positifs,
dcroissantes et qui tendent vers 0, alors la somme de la srie (a n cos nt + b n sin nt) est continue
sur tout intervalle de la forme ]2k;(2k + 2)[ o k.
c.
Si les sries  n cn et  n cn sont absolument convergentes (il en est de mme des sries  cn et
 cn) alors (c n e int + c n e int ) est drivable sur et sa drive est (inc n e int inc n e int ).
nm0

c'.

nm0

Si les sries  n an et  n bn sont absolument convergentes alors (a n cos nt + b n sin nt) est
drivable sur et sa drive est (na n sin nt + nb n cos nt).

nm0

nm0

d.

Si les sries  cn et  cn sont absolument convergentes, alors, pour tout rel x, la srie
x

 (c e
n

int

+ c n e int )dt converge vers (c n e int + c n e int )dt.

0 nm0

d'.

Si les sries  an et  bn sont absolument convergentes, alors, pour tout rel x, la srie
x

 (a

n cos nt + b n sin nt) dt converge vers (a n cos nt + b n sin nt) dt.

0 nm0

Proprit 3.2
Soit  a n z n une srie entire de rayon de convergence non nul R et de somme S(z).
Alors, r]0;R[, la srie trigonomtrique  a n r n e inx converge normalement sur vers S(re ix ) .

Dmonstration
Pour tout rel x, a n r n e inx [ a n r n et la srie  a n r n est absolument convergente.
n
De plus, on a r n e inx = (re ix ) .

Remarque 3.3
On peut ainsi former des sries trigonomtriques dont la somme est connue et dont on peut sparer la
partie imaginaire et la partie relle.

Exemple 3.4
Pour tout complexe z tel que | z | < 1, on a 1 + z = 1 + 2z 1 = 1 + 2z  z n = 1 + 2  z n .
1z
1z
nm0
nm1
ix
ix
En remplaant z par r e avec r]0;1[ et x, on obtient 1 + re ix = 1 + 2  r n e inx .
1 re
nm1
ix
(1
+
r
cos
x
+
ir
sin
x)(1 r cos x + ir sin x)
1
+
re
1
+
r
cos
x
+
ir
sin
x
De plus,
=
=
1 re ix 1 r cos x ir sin x (1 r cos x ir sin x)(1 r cos x + ir sin x)
2
2
(1 + ir sin x) r cos 2 x 1 r 2 + 2ir sin x
.
=
=
1 + r 2 2r cos x
(1 r cos x) 2 + r 2 sin 2 x
Francis Wlazinski

On a donc :

ix
1 r2
1 + 2  r n cos nx = Re 1 + 2  r n e inx = Re 1 + re ix =
et
1 re
1 + r 2 2r cos x
nm1
nm1
ix
2r sin x
1 + 2  r n sin nx = Im 1 + 2  r n e inx = Im 1 + re ix =
2 2r cos x .
1

re
1
+
r
nm1
nm1

4. Dveloppement en srie trigonomtrique

Proprit 4.1
Soient (an)n, (bn)n et (cn)n trois suites complexes.
On considre une srie trigonomtrique des formes quivalentes (1) ou (2).
Si cette srie converge uniformment sur et si S est sa somme i.e S(x) = (c n e inx + c n e inx ) x,
nm0

alors on a :

2

ck = 1
2

a.

S(t)e

1
ak = 
1
bk = 

c.

dt k.

0
2

a0 = 1
2

b.

ikt

S(t) dt

2

S(t) cos kt dt si k 1.

0
2

S(t) sin kt dt.

0

Remarque 4.2
On peut remplacer les intgrales de 0 2 par des intgrales de a a + 2 quel que soit le rel a.
En effet, si g est une fonction 2-priodique intgrable sur , en utilisant le changement de variable
2+a

u = t 2, pour tout rel a, on a

2+a

Donc

2

g(t) dt = g(u) du.

2

g(t) dt = g(t) dt + g(t) dt +

2+a

2

2

g(t) dt = g(t) dt + g(t) dt + g(t) dt =

2

g(t) dt.

Dmonstration
a.

Remarquons en premier lieu que, pour tout couple d'entiers relatifs (p,q), on a :
2

Si p q, alors

2

1 dt = 2.

e dt =

ipt iqt

0
2

0
2

e dt =

ipt iqt

i(p+q)t

1 e i(p+q)t
dt = p +
q

2

1 1 = 0.
= p+
q p+q
0
0
Si S(x) = (c n e inx + c n e inx ), alors, pour tout entier relatif k, S(x)e ikx = (c n e inx e ikx + c n e inx e ikx ).
Si p q, alors

nm0

nm0

2

Donc,

S(t)e

2
ikt

dt =

(c e
n

0 nm0

b.

a0 = c0 = 1
2

2

+ c n e inx e ikx ) dx =  (c n e inx e ikx + c n e inx e ikx ) dx

nm0 0

2
inx ikx

dx + c n

2

S(t)e
0

b k = (c k c k )i = i
2

Francis Wlazinski

inx ikx

2

dx = c k

ikx ikx

dx = 2c k .

S(t) dt.

a k = c k + c k = 1
2
c.

inx ikx

2

=  cn
nm0

2

ikt

dt + 1
2

2

S(t)e
0

ikt

2

S(t)e dt = 1
ikt

dt i
2

S(t) e
0

2

S(t)e

2

ikt

1
dt = 

2

it

+ e ikt dt si k 1.
2

S(t) e
0

it

e ikt dt.
2i
5

Corollaire 4.3
Soient (an)n, (bn)n et (cn)n trois suites complexes.
On considre une srie trigonomtrique des formes quivalentes (1) ou (2).
On suppose que cette srie converge uniformment sur et que S est sa somme.
Si S est paire, alors b n = 0 et c n = c n pour tout entier n.
Si S est impaire, alors a n = 0 et c n = c n pour tout entier n.

Dmonstration


1
D'aprs la remarque, en prenant a = , on obtient b k = 

S(t) sin kt dt et a k = 1

Si S est paire, la fonction t x S(t) sin kt est impaire donc b k = 0.

Si S est impaire, la fonction t x S(t) cos kt est impaire donc a k = 0.

S(t) cos kt dt si k 1.

5. Sries de Fourier
Dfinition 5.1
Soit f une fonction dfinie sur ,2-priodique et continue par morceaux.
On appelle srie de Fourier de f la srie trigonomtrique des formes quivalentes (1) ou (2) dont les
coefficients (appels coefficients de Fourier de f) vrifient :
2
1
a.
ck =
f(t)e ikt dt k.
2 0
b.

1
ak = 
c.

2

a0 = 1
2

1
bk = 

f(t) dt

2

f(t) cos kt dt si k 1.

0
2

f(t) sin kt dt.

0

Remarque 5.2
Les problmes qui se posent nous sont les suivants :
Etant donn un rel x0, la srie de Fourrier d'une fonction f converge-t-elle en x0?
Si oui, quel rapport y-a-t-il entre la somme de la srie et f (x0)?

Lemme 5.3
Soit f une fonction dfinie sur ,2-priodique et continue par morceaux.
Les coefficients de Fourier de f vrifient : nd+
lim a n = nd+
lim b n = nd+
lim c n = nd+
lim c n = 0.
b

Plus gnralement, lim

 d+

f(t)e
a

it

dt = lim

 d+

f(t) cos t dt =
a

lim

 d+

f(t) sin t dt = 0

a,b.

Notation 5.4
Si les limites existent, on note f (t0 + 0) = lim
f (t) et f (t0 0) = lim
f (t).
tdt
tdt
0

t>t 0

Francis Wlazinski

t<t 0

Proprit 5.5

Thorme de Dirichlet

Soit f une fonction dfinie sur ,2-priodique et continue par morceaux.

f(x 0 + h) f(x 0 + 0)
f(x 0 + h) f(x 0 0)
Si les limites lim
et lim
existent et sont finies, alors la srie de
hd0
h
hd0
h
h>0
h<0
Fourier de f converge en x0 et a pour somme 1 [f(x 0 0) + f(x 0 + 0) ] en ce point.
2

Remarque 5.6
En particulier, si f est drivable en x0, alors la srie de Fourier de f converge vers f (x0) au point x0.

Dmonstration
Soient (cn)n les coefficients de Fourier de f.
2
p
p
1
ikx 0
On pose [Sp(f)](x0) =  c k e = 
f(t)e ikt dt e ikx0
k=p
k=p 2 0
2

2

= 1  f(t)e ikt e ikx 0 dt = 1 f(t)  e ik(tx 0 ) dt.

2 0 k=p
2 0
k=p
En utilisant le changement de variable u = t x0, on obtient :
2+x 0
p
[Sp(f)](x0) = 1 f(u + x 0 )  e iku du
2 x 0
k=p


= 1
2

f(u + x )  e
0

iku

car u x f(u + x 0 )

du

k=p

e

iku

est 2-priodique.

k=p

Si u = 2j avec j, alors

e

iku

= 2p + 1.

k=p
p

Si u 2j pour tout j, alors

e

2p

iku

= e ipu  e iku = e ipu % e ipu %

k=p

k=0

sin

(2p + 1)u
(2p + 1)u
sin
2
2
.
=
u
u
sin
sin
2
2

(2p + 1)u
sin
2
De plus, lim
= 2p + 1.
ud0
sin u
2
p
L'application u x  e iku est une fonction paire continue en 0 et donc sur [;].


On a

k=p
p

e

iku

du =

0 k=p

 e

iku

du =

k=p 0
1 

 cos ku + i sin ku du
k=p 0

 cos ku + i sin ku du + 1 du +  cos ku + i sin ku du

k=p 0
p 

k=1 0
p 

=  cos(ku) + i sin(k)u du +  +  cos ku + i sin ku du

k=1 0

k=1 0

=  +  cos ku i sin ku du +  cos ku + i sin ku du

k=1 0
p 

k=1 0

=  +  cos ku du
=+

k=1 0
p

k=p


En particulier, 2 =

e

 k=p

Francis Wlazinski

1 sin ku
k

iku

du =


0

=

sin

(2p + 1)u
2
du.
sin u
2
7

(2p + 1)u

sin
f(x 0 0) + f(x 0 + 0)
f(x 0 0) + f(x 0 + 0)
2
[Sp(f)](x0)
= 1 f(x 0 + u)
du
u
2
2
2 
sin
2
(2p + 1)u

sin
f(x 0 0) + f(x 0 + 0)
2
du
% 2
= 1 f(x 0 + u)
u
2 
2
sin
2
(2p
+
1)u
(2p + 1)u

 sin
sin
f(x

0)
+
f(x
+
0)
0
0
2
2
= 1 f(x 0 + u)
du
%
du
u
2 
2
sin u
sin

2
2
(2p
+
1)u

sin
f(x 0 0) + f(x 0 + 0)
2
= 1 f(x 0 + u)
%
du
2 
2
sin u
2
(2p
+
1)u
(2p + 1)u


sin
sin
f(x
+
u)

f(x

0)
f(x
+
u)

f(x
+
0)
0
0
0
0
2
2
= 1
%
du +
%
du
u
u
2 
2
2
sin
sin

2
2
(2p + 1)u
f(x 0 + u) f(x 0 0)
% sin
du = 0.
u
2
2 sin

2
f(x 0 0) + f(x 0 + 0)
lim [Sp(f)](x0) =
Donc pd+
.
2


Or, d'aprs le lemme, pd+

lim

Proprit 5.7

Thorme de Parseval

Soit f une fonction dfinie et continue par morceaux sur [;].

Soient (an)n, (bn)n et (cn)n les suites complexes des coefficients de Fourier de f.


Alors :

f(t)

Francis Wlazinski

dt = 2 c 0 + 2 ( c n + c n ) = 2 a 0 +  ( a n + b n ) .
2

n=1

n=1