FD 1

FD - EXERCICES SUR LES SERIES DE

FOURIER

Dans les exercices suivants les fonctions considres se trouvent dans lespace vectoriel E des fonctions
2priodiques pour lesquelles il existe une subdivision de lintervalle [ 0, 2 ]

0 = a0 < a1 < < an = 2

telle que f soit continue sur chaque intervalle ] ai , ai+1 [ et admette une limite gauche et droite
finie en tout point ai . Nous dirons quune telle fonction est continue par morceaux.

Un lment de E sera dfini par sa valeur sur un intervalle de longueur 2 (sauf ventuelement en un
nombre fini de points).

CALCULS DE COEFFICIENTS DE FOURIER

La srie de Fourier dun lment f de E sera note [f ].

Lorsque f est valeurs relles, les coefficients rels (ou trigonomtriques) sont dfinis par les formules
Z2 Z2
1 1
an (f ) = f (x) cos(nx) dx et bn (f ) = f (x) sin(nx) dx ,

0 0

et dans ce cas

a0 (f ) X
[f ] = + (an (f ) cos(nx) + bn (f ) sin(nx)) .
2 n=1
Lorsque f est valeurs complexes, les coefficients complexes (ou exponentiels) sont dfinis par
Z2
1
cn (f ) = f (x)einx dx ,
2
0

et dans ce cas

X
[f ] = cn (f )einx .
n=
Alors, lorsque f est valeurs relles, si n 0,

an (f ) = 2 Re cn (f ) et bn (f ) = 2 Im cn (f ) ,

et inversement,
1 1
cn (f ) = (an (f ) ibn (f )) et cn (f ) = (an (f ) + ibn (f )) .
2 2
FD 2

(On remarquera que les intgrales peuvent tre prises sur nimporte quel intervalle de longueur 2).

On cherche les coefficients de Fourier de la fonction et on en dduit la somme de certaines sries,

par la convergence ponctuelle, en un point o la fonction f est continue et admet des drives
gauche et droite,
ou par la formule de Bessel-Parceval.
Z2
1 X 1
|a0 (f )|2 + (|an (f )|2 + |bn (f )]2 ) = |f (x)|2 dx ,
2
n=1 0
ou
Z2
X 1
2
|cn (f )| = |f (x)|2 dx .
n=
2
0

Exercice 1 Calculer les coefficients de Fourier rels de la fonction f dfinie sur R par

f (x) = cos3 x .

Il suffit dcrire
cos 3x = 4 cos3 x 3 cos x
pour obtenir
1 3
f (x) = cos 3x + cos x .
4 4
On a donc
3 1
a1 (f ) = , a3 (f ) = ,
4 4
et tous les autres coefficients de Fourier sont nuls.

Exercice 2 Calculer les coefficients de Fourier rels de la fonction f qui vaut 1 sur ] 0, [ et
1 sur ] , 0 [ .

X (1)n X 1
En dduire les sommes suivantes : et .
2n + 1 (2n + 1)2
n=0 n=0

La fonction f est impaire donc an (f ) est nul. On a

Z
2 2 1 (1)n
bn (f ) = sin(nx) dx = .
n
0
 FD 3

Donc b2k (f ) est nul, et

4
b2k+1 (f ) = ,
(2k + 1)
do la srie de Fourier

4 X sin(2k + 1)x
[f ] = .
2k + 1
k=0
Alors, en /2, o f est drivable, on a

4 X (1)k
f (/2) = 1 = ,
2k + 1
k=0

do

X (1)n
= .
n=0
2n + 1 4
Avec la formule de Bessel-Parceval
Z
16 X 1 2
= f (x)2 dx = 2 ,
2 (2k + 1)2
k=0 0

do

X 1 2
= .
n=0
(2n + 1)2 8

Exercice 3 Calculer les coefficients de Fourier rels de la fonction f telle que, sur [ , ] ,

f (x) = x( x)( + x) .

X (1)n X 1
En dduire les sommes suivantes : 3
et 6
.
n=0
(2n + 1) n=1
n

La fonction f est impaire donc an (f ) est nul. On a, en intgrant plusieurs fois par parties,

Z
2
bn (f ) = ( 2 x x3 ) sin(nx) dx

0
sin(nx)
 
2 cos(nx) 2 3 sin(nx) 2 2 cos(nx)
= ( x x ) + ( 3x ) 6x + 6
n n2 n3 n4 0
(1)n+1
= 12 .
n3
FD 4

do la srie de Fourier

X (1)n+1 sin(nx)
[f ] = 12 ,
n3
n=1

qui converge pour tout x rel. En particulier,

3 3 X (1)n+1 sin(n/2)
f (/2) = = 12 .
8 n3
n=1

Les termes de la somme sont nuls lorsque n est pair. Il reste

3 3 X (1)k
= 12 .
8 (2k + 1)3
k=0

Alors

X (1)n 3
= .
(2n + 1)3 32
n=0

Avec la formule de Bessel-Parceval

Z
X 1 2
144 = f (x)2 dx
n6
k=1 0
Z
2
= ( 4 x2 2 2 x4 + x6 ) dx

0
3
 5
x7

2 4x 2x
= 2 +
3 5 7 0
16 6
 
1 2 1
= 2 6 + = .
3 5 7 105

do

X 1 6
= .
n6 945
n=1
 FD 5

Exercice 4 Soit a un nombre tel que 0 < a < . On dfinit deux lments fa et ga de E par

0 sur [ 0, a ] 0 sur [ , a [
fa (x) = 1 sur ] a, + a [ et ga (x) = 1 sur [ a, a ] .
0 sur [ + a, 2 ] 0 sur ] a, ]

Vrifier que
ga = 1 fa ,
et calculer les coefficients de Fourier rels de ces fonctions.

En dduire les sommes suivantes :

X sin2 (na) X 1 X sin(na) X (1)n sin(na)
, , , .
n2 (2n + 1)2 n n
n=1 n=0 n=1 n=1

On a
0 sur [ 0, a ] 1 sur [ 0, a ]
fa (x) = 1 sur ] a, 2 a [ et ga (x) = 0 sur ] a, 2 a [ .
0 sur [ 2 a, 2 ] 1 sur [ 2 a, 2 ]

On a donc bien
fa + ga = 1 .
Les fonctions fa et ga sont paires donc bn (fa ) et bn (ga ) sont nuls, et lon a,

Z Z
2 2 2a
a0 (fa ) = f (x) dx = dx = ,

0 a

et, si n > 0,
Z Z
2 2 2 sin n( a) sin(na)
an (fa ) = f (x) cos(nx) dx = cos(nx) dx = = 2(1)n ,
n n
0 a

do les sries de Fourier

a 2 X sin(na)
[fa ] = + (1)n cos(nx) ,
n=1 n
et

a 2 X sin(na)
[ga ] = 1 [fa ] = + cos(nx) .
n
n=1

Avec la formule de Bessel-Parceval

Z
2a2 4 X sin2 (na) 2 2a
+ 2 = fa (x)2 dx = ,
2 n=1 n2
0
FD 6

do

X sin2 (na) a( a)
= .
n2 2
n=1

En particulier, lorsque a = /2, les termes de la somme sont nuls lorsque n est pair. On en dduit

X 1 2
2
= .
n=0
(2n + 1) 8

Par ailleurs, en 0, o ga est drivable, on a

a 2 X sin(na)
ga (0) = 1 = + ,
n=1 n

do

X sin(na) a
= ,
n=1
n 2
et en , o ga est galement drivable, on a

a 2 X sin(na)
ga () = 0 = + (1)n ,
n
n=1

do

X sin(na) a
(1)n = .
n 2
n=1

Exercice 5 Soit a un nombre tel que 0 < a /2. Trouver les coefficients de Fourier rels de
la fonction 2priodique et impaire fa telle que

1 sur ] 0, 2a [
fa (x) = .
0 sur [ 2a, ]

X sin4 (na) X sin3 (na)
En dduire les sommes suivantes : et .
n2 n
n=1 n=1

La fonction fa est impaire donc an (fa ) est nul. On a,

Z2a
2 2 1 cos(2na) 4 sin2 (na)
bn (fa ) = sin(nx) dx = = ,
n n
0
do

4 X sin2 (na)
[fa ] = sin(nx) .
n
n=1
 FD 7

La srie converge en a, donc

4 X sin3 (na)
fa (a) = 1 = ,
n=1 n

ce qui donne

X sin3 (na)
= .
n=1
n 4

En utilisant lgalit de Bessel-Parceval

Z2a
16 X sin4 (na) 1 2a
2 2
= 1 dx = ,
n
n=1 0

do

X sin4 (na) a
= .
n2 8
n=1

Exercice 6 Trouver les coefficients de Fourier rels des fonctions 2priodiques dfinies par

f (x) = | sin x| et g(x) = sup(sin x, 0) .

X 1 X (1)n X 1
En dduire les sommes suivantes : 2
, , .
4n 1 4n2 1 (4n2 1)2
n=1 n=1 n=1

La fonction f est paire, donc bn (f ) = 0. On a

Z Z Z
2 4 2 1
a0 (f ) = sin x dx = et a1 (f ) = sin x cos x dx = sin(2x) dx = 0 ,

0 0 0

et, si n > 1,
Z
2
an (f ) = sin x cos(nx) dx

0
Z
1
= (sin(n + 1)x sin(n 1)x) dx

0
 
1 cos(n + 1)x cos(n 1)x
= +
n+1 n1 0
2 1 + (1) n
= .
n2 1
FD 8

Le coefficient est nul si n est impair. Alors

4 1
a2k (f ) = 2
,
4k 1
do

2 4 X 1
[f ] = cos(2kx) .
4k2 1
k=1
La srie converge pour tout x. En particulier

2 4 X 1
f (0) = 0 = ,
4k2 1
k=1

do

X 1 1
= .
4n2 1 2
n=1
On a aussi

2 4 X 1
f (/2) = 1 = 2
(1)k ,
4k 1
k=1
do

X (1)n 1
2
= .
n=1
4n 1 2 4
Et enfin, par lgalit de Bessel-Parceval,
Z Z
8 16 X 1 2 2 2 1 cos(2x)
+ = sin x dx = dx = 1 ,
2 2 (4k2 1)2 2
k=1 0 0

do

X 1 2 1
= .
(4n2 1)2 16 2
n=1
Comme
1
g(x) = (f (x) + sin x) ,
2
on obtient aussi

1 sin x 2 X 1
[g] = + 2
cos(2kx) .
2 4k 1
k=1

Exercice 7 Trouver les coefficients de Fourier rels de la fonction 2priodique

f (x) = | sin3 x| .

X 1 X 1
En dduire les sommes suivantes : et .
n=1
(4n 1)(4n2 9)
2
n=1
(4n2 1)2 (4n2 9)2
 FD 9

La fonction f est paire, donc bn (f ) est nul. En partant de la relation

sin(3x) = 3 sin x 4 sin3 x

On obtient
Z Z
2 1
an (f ) = sin3 x cos(nx) dx = (3 sin x sin(3x)) cos(nx) dx ,
2
0 0
En transformant les produits en sommes,
Z
1
an (f ) = [3(sin(n + 1)x sin(n 1)x) (sin(n + 3)x sin(n 3)x)] dx .
4
0
On constate que a1 (f ) et a3 (f ) sont nuls. Si n est diffrent de 1 et 3, on obtient
    
1 cos(n + 1) 1 cos(n 1) 1 cos(n + 3) 1 cos(n 3) 1
an (f ) = 3 +
4 n+1 n1 n+3 n3
12 1 (1) n+1
= ,
(n2 1)(n2 9)
donc an (f ) = 0 si n est impair, et
24 1
a2k (f ) = ,
(4k 1)(4k2 9)
2

do la srie de Fourier

4 24 X 1
[f ] = + cos(2kx) .
3 (4k2 1)(4k2 9)
k=1

Cette srie converge pour tout x et en particulier

4 24 X 1
f (0) = 0 = + ,
3 (4k 1)(4k2 9)
2
k=1

do

X 1 1
= .
(4n2 1)(4n2 9) 18
n=1
En utilisant lgalit de Bessel-Parceval, on trouve
Z
32 242 X 1 2
+ 2 = sin6 x dx .
9 2 (4k2 1)2 (4k2 9)2
k=1 0

/2
sinn x dx qui vrifient la relation de rcurrence
R
En utilisant les intgrales de Wallis In =
0

nIn = (n 1)In2 ,
FD 10

on trouve,
Z
531 5
sin6 x dx = 2I6 = 2 = ,
642 2 16
0

do

X 1 5 2 1
2 2 2 2
= .
n=1
(4n 1) (4n 9) 4608 162

Exercice 8 Calculer les coefficients de Fourier rels de la fonction f de E telle que, sur
] , [ ,
f (x) = x .

X 1 X (1)n
En dduire les sommes suivantes : , .
n2 2n + 1
n=1 n=0

La fonction f est impaire donc an (f ) est nul. On a, si n > 0, en intgrant par parties,

Z
2
bn (f ) = x sin(nx) dx

0
 
2 x cos(nx) sin(nx)
= +
n n2 0
(1)n+1
= 2 .
n
do la srie de Fourier

X (1)n+1 sin(nx)
[f ] = 2 ,
n
n=1

qui converge en particulier pour x = /2. On a

X (1)n+1 sin(n/2)
f (/2) = = 2 .
2 n
n=1

Dans cette somme les termes de rang pair sont nuls do

X (1)k
=2 .
2 2k + 1
k=0

On en dduit

X (1)n
= .
2n + 1 4
n=0
 FD 11

En utilisant lgalit de Bessel-Parceval, on obtient

Z
X 1 1 2
4 2
= x2 dx = 2 ,
n 3
n=1 0

do

X 1 2
2
= .
n=1
n 6

Exercice 9 Calculer les coefficients de Fourier rels de la fonction f de E telle que, sur
[ , ] ,
f (x) = |x| .

X 1 X 1
En dduire les sommes suivantes : , .
(2n + 1)4 (2n + 1)2
n=0 n=0

La fonction f est paire donc bn (f ) est nul. On a,

Z
2
a0 = x dx = ,

0

et, si n > 0, en intgrant par parties,

Z
2
an (f ) = x cos(nx) dx

0
 
2 x sin(nx) cos(nx)
= +
n n2 0
2 (1)n 1
= .
n2
Les termes de rang pair sont nuls, do la srie de Fourier

4 X cos(2k + 1)x
[f ] = ,
2 (2k + 1)2
k=0

qui converge en particulier pour x = 0. On a

4 X 1
f (0) = 0 = ,
2 (2k + 1)2
k=0

do

X 1 2
2
= .
(2n + 1) 8
n=0
FD 12

En utilisant lgalit de Bessel-Parceval, on obtient

Z
2 16 X 1 2 2
+ 2 4
= x2 dx = 2 ,
2 (2k + 1) 3
k=0 0

do

X 1 4
= .
(2n + 1)4 96
n=0

Exercice 10 Calculer les coefficients de Fourier rels de la fonction f de E telle que, sur
[ , ] ,
f (x) = x2 .

X 1 X (1)n X 1
En dduire les sommes suivantes : , , .
n=1
n2 n=1
n2 n=1
n4

La fonction f est paire donc bn (f ) est nul. On a,

Z
2 2 2
a0 (f ) = x2 dx = ,
3
0

et, si n > 0, en intgrant plusieurs fois par parties,

Z
2
an (f ) = x2 cos(nx) dx

0

x2 sin(nx)

2 cos(nx) sin(nx)
= + 2x 2
2
n n n3 0
(1)n
= 4 .
n2
do la srie de Fourier

2 X (1)n cos(nx)
[f ] = +4 ,
3 n2
n=1
qui converge pour tout x rel. En particulier,

2 X (1)n
f (0) = 0 = +4 .
3 n2
n=1

do

X (1)n 2
= ,
n2 12
n=1
 FD 13

ainsi que,

2 X 1
f () = 2 = +4 .
3 n2
n=1

do

X 1 2
2
= .
n=1
n 6

Avec la formule de Bessel-Parceval,

Z
2 4 X 1 2 2
+ 16 4
= x4 dx = 4 .
9 n 5
k=1 0

do

X 1 4
= .
n=1
n4 90

Exercice 11 Calculer les coefficients de Fourier rels de la fonction f de E impaire telle que,
sur ] 0, [ ,
 2
f (x) = x .
2
En dduire la relation

X (1)n 2 X (1)n
3
= .
n=0
(2n + 1) 8 n=0
2n + 1

La fonction f est impaire donc an (f ) est nul. On a, si n > 0, en intgrant par parties,

Z 
2 2
bn (f ) = x sin(nx) dx
2
0
 2 sin(nx) 2 cos(nx)
  
2 2 cos(nx) 
= x + x +
2 n 2 n2 n3 0
 2 
2 2
= (1 (1)n ) .
4n n3

Les termes de rang pair sont nuls, do la srie de Fourier


2

4 X 2
[f ] = sin(2k + 1)x ,
4(2k + 1) (2k + 1)3
k=0
FD 14

qui converge en particulier pour x = /2. On a

2
 
4 X k 2
f (/2) = 0 = (1) ,
4(2k + 1) (2k + 1)3
k=0

do

2 X (1)k X (1)k
=2 ,
4 2k + 1 (2k + 1)3
k=0 k=0
ce qui donne la relation voulue. En utilisant le fait que

X (1)k
= ,
2k + 1 4
k=0

on en dduit que

X (1)k 3
= .
(2k + 1)3 32
k=0

Exercice 12 Soit P un polynme pair de degr 4 vrifiant les conditions

Z

P () = 0 , P () = 1 , P (x) dx = 0 .
0

Dterminer les coefficients de Fourier de la fonction f de E qui concide avec P sur lintervalle
[ , ] .

X 1 X (1)n X 1
En dduire les sommes suivantes : S1 = 4
, S2 = 4
, S3 = .
n=1
n n=1
n n=1
n8

Puisque f est paire, on a bn (f ) = 0 et

Z
2
an (f ) = P (x) cos(nx) dx .

0

Dautre part, la troisime condition implique que a0 (f ) est nul. En intgrant par parties plusieurs fois
de suite, on obtient, si n 1,
sin(nx)
 
2 sin(nx) cos(nx) sin(nx) cos(nx) (4)
an (f ) = P (x) + P (x) P (x) P (x) + P (x) .
n n2 n3 n4 n5 0

Comme P est paire, les nombres P (0) et P (0) sont nuls. Compte tenu des conditions poses sur P ,
il reste alors dans la somme prcdente
2 (1)n+1
an (f ) = .
n4
 FD 15

Comme f est continue et possde des drives gauche et droite en tout point, elle est somme en
tout point de sa srie de Fourier, et donc, si x appartient [ , ] , on a

X
P (x) = an (f ) cos(nx) .
n=1

En particulier, on en dduit que

X 1 X (1)n
4
= P () et = P (0) .
n 2 n4 2
n=1 n=1

Il reste dterminer le polynme P .

Puisque P (), P (), P (0) sont nuls et que P est de degr 3, on a ncessairement

P (x) = x(x2 2 ) .

Alors
P (x) = 3x2 2 et P (x) = 6x .
Comme P () vaut 1, on en dduit que
1
= ,
6
et donc
x4 2 x2
 
1
P (x) = +C.
6 4 2
On a alors
Z 
x5 2 x3 7 5
    
1 1
P (x) dx = + Cx = + C .
6 20 6 0 6 60
0

La nullit de cette intgrale signifie donc que

7 3
C= ,
360
et donc que
x4 2 x2 7 4
 
1
P (x) = + .
6 4 2 60
On trouve donc
3 7 3
P () = et P (0) = ,
45 360
do

X 1 4 X (1)n 7 4
4
= et = .
n 90 n4 720
n=1 n=1
FD 16

Pour calculer S3 on utilise lgalit de Bessel-Parceval, qui donne ici

Z
4 X 1 2
= P (x)2 dx .
2 n8
n=1 0

On obtient donc,
Z 2
x4 2 x2 7 4

1
S3 = + dx
2 36 2 4 2 60
0
Z  8
2 x6 37 4 x4 7 6 x2 49 8

1 x
= + + dx
72 16 4 120 60 3600
0
8 
1 1 37 7 49

= + +
72 144 28 600 180 3600
8
= .
9450

Exercice 13 Soit f la fonction dfinie sur {a R | |a| =

6 1} R par

f (a, x) = ln(1 2a cos x + a2 ) .

Pour x fix, trouver le dveloppement en srie entire de la drive partielle de f par rapport a.
En dduire la srie de Fourier de la fonction qui x associe f (a, x) pour a fix distinct de 1 et 1.

Si lon drive par rapport a, on obtient

f 2 cos x + 2a
(a, x) = ,
a 1 2a cos x + a2
et en dcomposant en lments simples
eix eix
 
f
(a, x) = + ,
a 1 aeix 1 aeix
donc, si |a| < 1,

!
f X X X X
(a, x) = eix an einx + eix an einx = 2 an cos(n + 1)x = 2 an1 cos(nx) .
a
n=0 n=0 n=0 n=1

La srie prcdente tant de rayon de convergence au moins 1, on obtient en intgrant par rapport
a, puisque f (0, x) est nul,

X an
f (a, x) = 2 cos(nx) .
n
n=1
 FD 17

Mais  n
 |a|n

a

n cos(nx) ,
 n
et la convergence de cette srie est normale si |a| < 1. On obtient dans ce cas la srie de Fourier de la
fonction qui x associe f (a, x) pour a fix.

Si maintenant |a| > 1, on crit

X an
f (a, x) = 2 ln |a| + f (1/a, x) = 2 ln |a| 2 cos(nx) .
n=1
n

Exercice 14 Soit a un nombre rel non nul. Calculer les coefficients de Fourier rels des
fonctions de E dfinies ci-dessous.

fa (x) = eax sur [ 0, 2 [ ,

ga (x) = eax sur [ 0, [ et paire ,

ha (x) = eax sur ] 0, [ et impaire .

Il est plus facile de calculer les intgrales en passant par les nombres complexes.

Z2 Z2 " #2
e(a+in)x e2a 1 e2a 1
eax (cos(nx) + i sin(nx)) dx = eax einx dx = = = 2 (a in) .
a + in a + in a + n2
0 0 0

Alors
a e2a 1 n e2a 1
an (fa ) = et bn (fa ) = ,
a2 + n2 a2 + n2
et

!
e2a 1 1 X a cos(nx) n sin(nx)
[fa ] = + .
2a a2 + n2
n=1
De mme,

Z Z " #
ax ax inx e(a+in)x (1)n ea 1 (1)n ea 1
e (cos(nx) + i sin(nx)) dx = e e dx = = = (a in) .
a + in a + in a2 + n 2
0 0 0

Comme la fonction ga est paire, on a bn (ga ) = 0, et

2a (1)n ea 1
an (ga ) = ,
a2 + n 2
FD 18

et

!
2a ea 1 X (1)n ea 1
[ga ] = + cos(nx) .
2a2 a2 + n 2
n=1
Comme la fonction ha est impaire, on a an (ha ) = 0, et
2n (1)n ea 1
bn (ha ) = ,
a2 + n 2
et

2 X n((1)n ea 1)
[ha ] = sin(nx) .
a2 + n 2
n=1

Exercice 15 Soit a un nombre rel. Calculer les coefficients de Fourier complexes de la fonction
dfinie sur [ , [ par
fa (x) = eiax .
En dduire, si a nest pas entier, les sommes suivantes :

(1)n

X X 1 1
et + .
a2 n 2 (n a)2 (n a)2
n=0 n=0

Si a est entier la srie de Fourier se limite

[fa ] = eiax .
Supposons donc que a nest pas entier. On a
Z Z
1 iax inx 1
cn (fa ) = e e dx = ei(an)x dx .
2 2

" #
1 ei(an)x 1 eia eia 1 sin(a)
cn (fa ) = = (1)n = (1)n ,
2 i(a n) 2 i(a n) an

et

sin(a) X (1)n inx
[fa ] = e .
n=
a n
Si x = 0, la srie de Fourier converge et

sin(a) X (1)n
fa (0) = 1 =
n=
an

!
sin(a) 1 X (1)n X (1)n
= + +
a n=1 a n n=1 a + n

!
sin(a) 1 X (1)n
= + 2a ,
a a2 n 2
n=1
 FD 19

do

(1)n
 
X 1 1
= ,
a2 n 2 2a sin(a) a
n=1

et finalement

(1)n (1)n
 
X X 1 1 1
= + = + ,
a2 n 2 a2 n2 a2 2a sin(a) a
n=0 n=1
Dautre part, daprs la formule de Bessel-Parceval,

Z2
X sin2 (a) 1
2 2
= dx = 1 .
n=
(a n) 2
0

On a donc

!
sin2 (a) X 1 X 1 1
1= + + 2 ,
2 n=1
(a + n)2
n=1
(a n)2 a
do

2

X 1 1 1
2
+ = 2 2,
(a n) (a + n)2 sin (a) a
n=1

et finalement

2
  
X 1 1 2 X 1 1 1
2
+ = 2+ + = 2 + 2.
(a n) (a + n)2 a (a n)2 (a + n)2 sin (a) a
n=0 n=1

Exercice 16 Soit a un nombre rel et f la fonction de E qui est telle que, sur [ , ] ,

f (x) = cos(ax) .

a) Dterminer les coefficients de Fourier rels de f .

b) En dduire que si t nest pas un multiple entier de , on a

1 X 2t
cotan t = + .
t n=1 t n2 2
2

a) La fonction f est paire, continue et admet en tout point une drive gauche et droite. Elle sera
donc somme de sa srie de Fourier. Les coefficients bn (f ) sont nuls.

On a
Z
2 2 sin(a)
a0 (f ) = cos(ax) dx = ,
a
0
FD 20

et, si n > 0,
Z
2
an (f ) = cos(ax) cos(nx) dx .

0
En transformant le produit de cosinus en somme,
Z
1
an (f ) = (cos(a + n)x + cos(a n)x) dx

0
1 sin(a + n)x sin(a n)x
 
= +
a+n an 0
n
 
(1) sin(a) 1 1
= +
a+n an
2a(1)n sin(a)
= .
(a2 n2 )
Alors, pour tout x rel,

sin(a) X 2a(1)n sin(a)
f (x) = + cos(nx) .
a (a2 n2 )
n=1

En particulier, si x = ,

sin(a) X 2a sin(a)
f () = cos(a) = + ,
a n=1
(a2 n2 )

Si t = a, on obtient alors, en divisant par sin(a),

1 X 2t
cotan t = + .
t n=1 t n2 2
2

Exercice 17 Soit la fonction f dfinie par

1
f (x) = x E(x) .
2
o E(x) dsigne la partie entire de x.

Montrer que f est impaire sur R \ Z, continue par morceaux et 1 priodique. Trouver sa srie de
Fourier relle, et en dduire que si p et q sont deux entiers naturels dont le PGCD vaut d, on a

Z1
d2
f (px)f (qx) dx = .
12pq
0
 FD 21

On a
E(x + 1) = E(x) + 1 ,
donc
1 1
f (x + 1) = x + 1 E(x + 1) = x E(x) = f (x) ,
2 2
ce qui signifie que f est 1priodique.

La fonction f est continue sur [ 0, 1 [ , puique la fonction partie entire possde cette proprit.

Soit n entier positif. Si x appartient ] n, n + 1 [ , alors x appartient ] n 1, n [ et

E(x) = n 1 = E(x) 1 ,

donc  
1 1
f (x) = x E(x) = x E(x) = f (x) ,
2 2
et f est impaire sur R \ Z.

Il en rsulte que la srie de Fourier de f est de la forme

X
[f ] = bn (f ) sin(2nx) ,
n=1

avec
Z1 Z1  
1
bn (f ) = 2 f (x) sin(2nx) dx = 2 x sin(2nx) dx .
2
0 0

En intgrant par parties

Z1
1 cos(2nx) 1
   
cos(2nx) 1
bn (f ) = 2 x +2 dx = ,
2 2n 0 2n n
0

do la srie de Fourier de f

1 X sin(2nx)
[f ] = .
n
n=1

Cette srie converge simplement vers f (x) en tout point non entier.

Soit p un entier strictement positif. On a donc, pour tout x tel que px ne soit pas entier

1 X sin(2npx)
fp (x) = f (px) = .
n
n=1
FD 22

Il en rsulte que

0 si p ne divise pas m
bm (fp ) = .
p

si p divise m
m
Or, daprs la formule de Bessel-Parceval,
Z1
1 X
f (px)f (qx) dx = bm (fp )bm (fq ) .
2
0 m=1

Les seuls termes non nuls de cette somme sont ceux pour lesquels p et q divisent m, donc, si est le
PPCM des nombres p et q, pour les nombres m de la forme k avec k entier. Alors
Z1
1 X 1 X pq pq X 1
f (px)f (qx) dx = bk (fp )bk (fq ) = = .
2 2 k 2 2 2 22 2 k2
0 k=1 k=1 k=1

Finalement
Z1
pq
f (px)f (qx) dx = ,
122
0
mais puisque d = pq, on a aussi
Z1
d2
f (px)f (qx) dx = .
12pq
0

EXERCICES THEORIQUES

Exercice 18 a) Soit f une fonction de E valeurs relles continue sur R, de drive f continue
sur ] 0, 2 [ . Montrer que la srie de Fourier de f sobtient en drivant terme terme celle de f .

b) Etudier le cas de la fonction f de E telle que f (x) = x sur [ 0, 2 [ .

a) Si n > 0, on a
Z2
1
an (f ) = f (x) cos(nx) dx ,

0
et en intgrant par parties
Z2

1 h i 2 1
an (f ) = f (x) cos(nx) + nf (x) sin(nx) dx = (f (2) f (0)) + nbn (f ) ,
0
0
 FD 23

et puisque f est continue en 0, on a, en raison de la priodicit f (0) = f (2), donc

an (f ) = nbn (f ) .

Par un calcul analogue, on trouve

bn (f ) = nan (f ) .
Par ailleurs
Z2
2 2
a0 (f ) = f (x) dx = (f (2) f (0)) = 0 .

0

La srie de Fourier de f est donc

X

[f ] = (nbn (f ) cos(nx) nan (f ) sin(nx)) ,
n=1

et cest la drive terme terme de celle de f

a0 X
[f ] = + (an (f ) cos(nx) + bn (f ) sin(nx)) .
2
n=1

b) Cherchons les coefficients de Fourier de la fonction f . On a

Z2
1
a0 (f ) = x dx = 2 ,

0

Z2 2 Z2


1 1 sin(nx) sin(nx)
an (f ) = x cos(nx) dx = x dx = 0 ,
n 0 n
0 0

Z2 Z2

 2
1 1 cos(nx) cos(nx) 2
bn (f ) = x sin(nx) dx = x + dx = .
n 0 n n
0 0

On a donc

X sin(nx)
[f ] = 2 ,
n=0
n

dont la drive terme terme vaut

X
2 cos(nx) .
n=0

La fonction f est drivable sauf aux points de la forme 2k avec k entier, et dans ce cas la fonction f
vaut 1. La srie de Fourier de f vaut alors 1 et nest pas la drive terme terme de f .
FD 24

Exercice 19 Soit f un lment de E valeurs relles, nul sur lintervalle ] , 0 [ . Montrer

que

X a0 (f )2 X
bn (f )2 = + an (f )2 ,
n=1
2 n=1

et que, si la fonction f est somme de sa srie de Fourier sur ] 0, [ , on a, dans cet intervalle,

X a0 X
bn (f ) sin(nx) = + an (f ) cos(nx) .
n=1
2 n=1

Introduisons la fonction impaire g qui concide avec f sur ] 0, [ . On a

Z
2
bn (g) = f (x) sin(nx) dx = 2bn (f ) .

0

Par ailleurs
Z Z Z Z
2 2 2
g(x) dx = 2 g(x) dx = 2 f (x) dx = 2 f (x)2 dx .
0 0

Alors, daprs lgalit de Bessel-Parceval,

Z
a0 (f )2 X 2
X
2 1
+ an (f ) + bn (f ) = f (x)2 dx ,
2 n=1 n=1

et
Z Z
X
2
X 12 2 2
4 bn (f ) = bn (g) = g(x) dx = f (x)2 dx .

n=1 n=1

On en dduit donc

a0 (f )2 X X X
+ an (f )2 + bn (f )2 = 2 bn (f )2 ,
2
n=1 n=1 n=1

do lgalit propose.

Si la srie de Fourier de f converge sur ] 0, [ , comme elle converge galement sur ] , 0 [ on a donc,
si x appartient ] 0, [ ,

a0 X
f (x) = + (an (f ) cos(nx) + bn (f ) sin(nx))
2 n=1

et

a0 X
f (x) = 0 = + (an (f ) cos(nx) bn (f ) sin(nx)) .
2
n=1
 FD 25

On en dduit que les sries de termes gnraux (an (f ) cos(nx)) et (bn (f ) sin(nx)) convergent et que

a0 X X
+ an (f ) cos(nx) bn (f ) sin(nx) = 0 ,
2 n=1 n=1

do la seconde galit.

Exercice 20 Soit f une fonction de E valeurs complexes continue sur R, admettant une
drive continue par morceaux. On suppose que

Z2
f (x) dx = 0 .
0

Montrer que
Z2 Z2
2
|f (x)| dx |f (x)|2 dx .
0 0

Quand a-t-on galit ?

En utilisant lgalit de Bessel-Parceval, on a

Z2 Z2
1 2
X
2 1 2
X
|f (x)| dx = |cn (f )| et |f (x)| dx = |cn (f )|2 ,
2 n=
2 n=
0 0

mais,
cn (f ) = incn (f ) ,
donc, si n nest pas nul,
|cn (f )| = |n||cn (f )| |cn (f )| .
Par ailleurs
Z2
1
c0 (f ) = f (x) dx = 0 et c0 (f ) = 0 .
2
0
On obtient donc

X
X
|cn (f )|2 |cn (f )|2 ,
n= n=

do lingalit voulue.

La diffrence

X
X
X
|cn (f )|2 |cn (f )|2 = (|cn (f )|2 |cn (f )|2 )
n= n= n=
FD 26

ne peut tre nulle que si, pour tout n, la diffrence |cn (f )|2 |cn (f )|2 est nulle, cest--dire

|n||cn (f )| = |cn (f )| = |cn (f )| .

Ceci a lieu si et seulement si cn (f ) est nul lorsque n 6= 1. Donc lgalit a lieu lorsque

f (x) = aeix + beix .

Exercice 21 Soit f une fonction de E valeurs relles. Calculer en fonction des coefficients
de Fourier rels de f , ceux des fonctions g et h dfinies par

g(x) = f (x) cos x et h(x) = f (x) sin x .

Si n = 0, on a
Z2 Z2
1 1
a0 (g) = f (x) cos x dx = a1 (f ) et a0 (h) = f (x) sin x dx = b1 (f ) .

0 0

Si n = 1, on obtient
Z2 Z2
1 1 1
a1 (h) = b1 (g) = f (x) cos x sin x dx = f (x) sin(2x) dx = b2 (f ) ,
2 2
0 0

Si n 1, on a successivement
Z2 Z2
1 1 1
an (g) = f (x) cos x cos(nx) dx = f (x)(cos(n+1)x+cos(n1)x) dx = (an+1 (f )+an1 (f )) ,
2 2
0 0

Z2 Z2
1 1 1
bn (h) = f (x) sin x sin(nx) dx = f (x)(cos(n1)xcos(n+1)x) dx = (an1 (f )an+1 (f )) ,
2 2
0 0
et si n 2,

Z2 Z2
1 1 1
bn (g) = f (x) cos x sin(nx) dx = f (x)(sin(n + 1)x + sin(n 1)x) dx = (bn+1 (f ) + bn1 (f )) ,
2 2
0 0

Z2 Z2
1 1 1
an (h) = f (x) sin x cos(nx) dx = f (x)(sin(n + 1)x sin(n 1)x) dx = (bn+1 (f ) bn1 (f )) .
2 2
0 0
 FD 27

Exercice 22 a) Soit f une fonction 2priodique et continue sur R. On pose

f(x) = f (x) .

Dterminer les coefficients de Fourier rels de f en fonction de ceux de f .

b) Soit f une fonction 2priodique et continue sur R. On pose

f(x) = f (x) .

Dterminer les coefficients de Fourier complexes de f en fonction de ceux de f .

c) Montrer les proprits suivantes.

(i) Si an (f ) = 0 pour tout n, alors f est impaire ;
(ii) Si bn (f ) = 0 pour tout n, alors f est paire ;
(iii) Si cn (f ) = cn (f ) pour tout n, alors f est relle.

a) On a, en effectuant le changement de variable t = x,

Z Z
1 1
an (f) = f (x) cos(nx) dx = f (t) cos(nt) dt = an (f ) ,

et
Z Z
1 1
bn (f) = f (x) sin(nx) dx = f (t) sin(nt) dt = bn (f ) .

b) On a
Z Z
1 1
cn (f) = inx
f (x)e dx = f (x)einx dx = cn (f ) .
2 2

c) (i) Pour tout entier n, on a

an (f + f) = 2an (f ) et bn (f + f) = 0 .

Donc, si an (f ) est nul pour tout n, tous les coefficients de Fourier de f + f sont nuls. Comme la fonction
est continue, on en dduit quelle est nulle et donc que

f = f ,

cest--dire que f est impaire.

FD 28

(ii) Pour tout entier n, on a

an (f f) = 0 et bn (f f) = 2bn (f ) .
Donc, si bn (f ) est nul pour tout n, tous les coefficients de Fourier de f f sont nuls. Comme la fonction
est continue, on en dduit quelle est nulle et donc que
f = f ,
cest--dire que f est paire.

(iii) Pour tout entier n on a

cn (f f) = cn (f ) cn (f ) .
Donc, si (iii) a lieu, tous les coefficients de Fourier de f f sont nuls. Comme la fonction est continue,
on en dduit quelle est nulle et donc que
f = f ,
cest--dire que f est relle.

Exercice 23 Soit f une fonction 2priodique sur R et klipschitzienne, valeurs complexes.

Pour h > 0 on dfinit une fonction gh en posant

gh (x) = f (x + h) f (x h) .

a) Calculer les coefficients de Fourier cn (gh ) en fonction des coefficients de Fourier de f .

b) Montrer que X
| sin(nh) cn (f )|2 k2 h2 .
nZ

c) Soit p N . Montrer que

X k2 2
|cn (f )|2 .
22p+1
2p1 |n|2p 1
X
d) En dduire que |cn (f )| < +, puis que f est la somme de sa srie de Fourier.
nZ

Remarquons tout dabord que f et gh sont continues.

a) On a
Z
1
cn (gh ) = (f (t + h) f (t h))eint dt
2

Z Z
1 int 1
= f (t + h)e dt f (t h))eint dt .
2 2

 FD 29

En effectuant un changement de variable dans les deux intgrales, on trouve

+h h
1 1
Z Z
in(uh)
cn (gh ) = f (u)e du f (u)ein(u+h) du
2 2
+h h
+h h
einh einh
Z Z
inu
= f (u)e du f (u)einu du .
2 2
+h h

Mais en raison de la priodicit des fonctions intgres, on a

+h
Z h
Z Z
inu inu
f (u)e du = f (u)e du = f (u)einu du = 2 cn (f ) ,
+h h

do
cn (gh ) = (einh einh )cn (f ) = 2i sin(nh) cn (f ) .
b) Alors
X 1 X
| sin(nh) cn (f )|2 = |cn (gh )|2 ,
4
nZ nZ

et, en raison de lgalit de Bessel-Parceval,

Z
X
21
|cn (gh )| = |gh (x)|2 dx ,
2
nZ

donc
Z
X 12
| sin(nh) cn (f )| = |gh (x)|2 dx ,
8
nZ

Mais, puisque f est klipschitzienne,

|gh (x)| = |f (x + h) f (x h)| k |(x + h) (x h)| = 2kh ,

do
Z
X
21
| sin(nh) cn (f )| 4k2 h2 dx = k2 h2 .
8
nZ

c) Prenons comme valeur de h le nombre /2p+1 . Lorsque |n| est compris entre 2p1 et 2p 1, on a

|n|h p+1 ,
4 2 2 2
et
1
sin(|n|h) 1 .
2
FD 30

Alors
2 sin2 (|n|h) = 2 sin2 (nh) 1 ,
et
X X X k2 2
|cn (f )|2 2 sin2 (nh)|cn (f )|2 2 sin2 (nh)|cn (f )|2 2k2 h2 = .
22p+1
2p1 |n|2p 1 2p1 |n|2p 1 nZ

d) En utilisant lingalit de Schwarz, on a

1/2 1/2
X X X
|cn (f )| 1 |cn (f )|2 1 .
2p1 |n|2p 1 2p1 |n|2p 1 2p1 |n|2p 1

Or 1/2
X k 1
|cn (f )|2 p,
2p1 |n|2p 1
22

et, puisquil y a 2p termes dans la somme,

1/2
X p
1 = 2 .
2p1 |n|2p 1

Finalement
X k
|cn (f )| p+1 .
2p1 |n|2p 1 2
k
La srie de terme gnral p+1 converge et, si lon pose,
2
X
Sp = |cn (f )| ,
2p1 |n|2p 1

on en dduit que la srie de terme gnral Sp converge galement, mais

X X
Sp = |cn (f )| .
p=1 nZ

Il en rsulte bien que X

|cn (f )| < + .
nZ

Cette condition suffit pour que f soit la somme de sa srie de Fourier. En effet, si lon pose

un (x) = cn (f )einx ,

la srie (sur Z) de terme gnral un converge normalement sur [ , ] et sa somme est une fonction F
continue qui a les mmes coefficients de Fourier que f . La fonction F f possde alors des coefficients
 FD 31

de Fourier tous nuls, ce qui montre, daprs lgalit de Bessel-Parceval, que lintgrale de |F f |2 sur
une priode est nulle, donc que F f est nulle.

Exercice 24 Soit dans lintervalle ] /2, /2 [ et f la fonction dfinie sur R par

ex
f (x) = .
2 ch(x/2)

a) Montre que f est intgrable sur R et que

Z
X (1)n (2n + 1)
f (x) dx = 4 .
(2n + 1)2 2 42
n=0

b) Soit a dans ] 1, 1 [ et la fonction 2priodique nulle en et + telle que, sur ] , [ ,

(x) = sin(ax) .

Dterminer les coefficients de Fourier de et en dduire que

Z
1
f (x) dx = .
cos

a) Au voisinage de +, on a
x
2 ch ex/2 ,
2
donc, si lon pose,   
g (x) = exp x ,
2
on a
f (x) g (x) .

Comme /2 est strictement ngatif, la fonction g est intgrable au voisinage de +, donc f

galement.

De mme en ,
x
2 ch ex/2 ,
2
donc, si lon pose,   
h (x) = exp + x ,
2
on a
f (x) h (x) .
FD 32

Comme + /2 est strictement positif, la fonction h est intgrable au voisinage de , donc f

galement.

Il en rsulte bien que f est intgrable sur R.

Notons
Z Z0
+
() = f (x) dx et () = f (x) dx .
0

En effectuant le changement de variable u = x, on obtient

Z0 Z0
+
() = f (u) du = f (u) du = () ,

et donc
Z
f (x) dx = + () + () = + () + + () .

Calculons alors
Z Z Z
+ ex e(/2)x
() = f (x) dx = dx = dx .
ex/2 + ex/2 1 + ex
0 0 0

En effectuant le changement de variable u = ex/2 , on a

du = ex/2 dx ,
2
et
ex = (ex/2 )2/ = u2/ .
Par ailleurs u varie de 1 0, lorsque x varie de 0 +, do

Z1
+ 2 u2/
() = du .
1 + u2
0

Si 0 u < 1, on a

u2/ X
= (1)n u2/+2n .
1 + u2
n=0

Comme la srie est alterne, on a

k
 
 u2/ X 
n 2/+2n 
(1) u  u2/+2(k+1) ,

 1 + u2


n=0
 FD 33

donc
Z1  2/ X k
 Z1
u 1

(1)n u2/+2n  du u2/+2(k+1) du = .

1+u
 2  2k + 3 2/
0 n=0 0
Il en rsulte que cette expression tend vers 0 quand k tend vers linfini et donc que

Z 1
+ 2 X n 2/+2n 2 X (1)n X (1)n
() = (1) u du = =2 .
n=0 n=0 2n + 1 2/ n=0
(2n + 1) 2
0

Alors
Z
+ +
X (1)n X (1)n X (1)n (2n + 1)
f (x) dx = ()+ () = 2 +2 = 4 .
(2n + 1) 2 (2n + 1) + 2 (2n + 1)2 2 42
n=0 n=0 n=0

b) La fonction tant impaire, on a an () = 0, et

Z
2
bn () = sin(ax) sin(nx) dx .

0

En transformant le produit de sinus en somme, on obtient

Z
1
bn () = (cos(a n)x cos(a + n)x) dx

0
 
1 sin(a n) sin(a + n)
=
an a+n
(1)n sin(a)
 
1 1
=
an a+n
1 2n(1)n sin(a)
= .
a2 n 2
Comme la fonction est drivable en /2, elle est somme de sa srie de Fourier en ce point, do

X
(/2) = bp () sin(p/2) .
p=0

Dans cette somme, seuls les termes de rang impair ne sont pas nuls. En posant p = 2n + 1, on obtient
alors

1 X 1 X 2(1)n (2n + 1) sin(a)
sin(a/2) = (/2) = b2n+1 ()(1)n = .
(2n + 1)2 a2
n=0 n=0

Choisissons maintenant a = 2/ qui appartient bien lintervalle ] 1, 1 [ . On obtient

1 X 2(1)n (2n + 1) sin(2) X (1)n (2n + 1) sin cos
sin = 2 2 2
= 4 .
(2n + 1) 4 / (2n + 1)2 2 42
n=0 n=0
FD 34

Finalement
Z
1 X (1)n (2n + 1)
= 4 = f (x) dx .
cos n=0
(2n + 1)2 2 42

Exercice 25 Pour tout entier k > 0, soit fk la fonction 2priodique dfinie sur [ 0, 2 [
par
 x k
fk (x) = .
2
a) Calculer le coefficient de Fourier c0 (fk ).

b) Si n > 0, trouver une relation de rcurrence entre cn (fk ) et cn (fk1 ), et en dduire

k
k! X (2in)s
(1) cn (fk ) = k+1
.
(2in) s=1
s!

Que vaut cn (fk ) si n est ngatif ?

c) Montrer que si x est positif

X xs xk+1 x
e .
s! (k + 1)!
s=k+1

En dduire que
e2|n|
|cn (fk )| .
k+1

a) On a
Z2
1 1
c0 (fk ) = fk (x) dx = .
2 k+1
0

b) En intgrant par parties, si n 1, on obtient

Z2 Z2
1 inx 1
cn (fk ) = fk (x)e dx = xk einx dx
2 (2)k+1
0 0
 inx 2 Z2

1 inx
= e xk + kxk1
e
dx
(2)k+1 in 0 in
0
Z2
1 k
= + xk1 einx dx .
2in (2)k+1 in
0
 FD 35

Donc, si k 2,
1 k
cn (fk ) = + cn (fk1 ) .
2in 2in
Par ailleurs
Z2
1 1 1
cn (f1 ) = + eix dx = ,
2in (2)2 in 2in
0

ce qui donne la formule (1) lordre 1. On dmontre alors cette formule par rcurrence sur k.
Supposons la formule vraie lordre k. Alors
1 k+1
cn (fk+1 ) = + cn (fk )
2in 2in
k
1 k+1 k! X (2in)s
=
2in 2in (2in)k+1 s!
s=1
k
1 (k + 1)! X (2in)s
=
2in (2in)k+2 s!
s=1
k+1
(k + 1)! X (2in)s
= ,
(2in)k+2 s!
s=1

ce qui donne la formule lordre k + 1. Elle est donc vraie quel que soit k 1.

Puisque la fonction fk est relle, on aura

cn (fk ) = cn (fk ) .

c) En mettant le premier terme de la somme en facteur, on obtient

X xs xk+1 X (k + 1)! s(k+1)
= x .
s! (k + 1)! s!
s=k+1 s=k+1
s


Mais le coefficient binomial k+1 est plus grand que 1, donc

s!
1,
(k + 1)!(s (k + 1))!
et par suite
(k + 1)! 1
.
s! (s (k + 1))!
Alors

X xs xk+1 X xs(k+1) xk+1 x
= e .
s! (k + 1)! (s (k + 1)! (k + 1)!
s=k+1 s=k+1

Maintenant
k
X (2in)s X (2in)s X (2in)s
= e2in 1 = ,
s=1
s! s! s!
s=k+1 s=k+1
FD 36

et donc  k  

X (2in)s   X (2in)s X (2n)s (2n)k+1 2n
=  e ,
   
s!   s!  s! (k + 1)!


s=1 s=k+1 s=k+1
do, si n > 0,
e2n
|cn (fk )| .
k+1
Par ailleurs
1
|c0 (fk )| = ,
k+1
et, si n > 0,
e2n
|cn (fk )| = |cn (fk )| .
k+1
On a donc, pour tout entier n de Z,
e2|n|
|cn (fk )| .
k+1

Exercice 26 Soit f un lment de E. Pour tout entier p on pose

fp (x) = f (px) .

a) Dterminer les coefficients de Fourier complexes cn (fp ) de fp en fonction de ceux de f lorsque p

divise n.

b) Lorsque p ne divise pas n, montrer que cn (fp ) est nul

(i) en utilisant lgalit de Bessel-Parceval ;
(ii) par un calcul direct.

a) On a, par changement de variable u = px,

Z2 Z2p
1 1
cn (fp ) = f (px)einx dx = f (u)einu/p dx .
2 2p
0 0

Si p divise n, alors la fonction qui u associe f (u)einu/p est 2priodique et

Z2
1
cn (fp ) = f (u)einu/p du = cn/p (f ) .
2
0

b) (i) Daprs la formule de Bessel-Parceval

Z2
X 1 2
|cn (fp )| = |f (px)|2 dx .
n=
2
0
 FD 37

et en changeant de variable
Z2p
X 1 2
|cn (fp )| = |f (u)|2 du ,
n=
2p
0
puis, en utilisnt la priodicit de f ,
Z2
X 1 2
|cn (fp )| = |f (u)|2 du ,
n=
2
0

et enfin, de nouveau daprs la formule de Bessel-Parceval

X
X
|cn (fp )|2 = |cn (f )|2 .
n= n=

Mais

X X X
X X
2 2 2
|cn (fp )| = |cn (fp )| + |cn (fp )| = |cn (f )|2 + |cn (fp )|2 .
n= n=kp n6=kp n= n6=kp

Il en rsulte que X
|cn (fp )|2 = 0 .
n6=kp

Donc cn (fp ) est nul lorsque p ne divise pas n.

(ii) En effectuant le changement de variable u = t + 2, on obtient

Z2p 2(p1)
1 e2in/p
Z
cn (fp ) = f (u)einu/p du = f (t)eint/p dt = e2in/p cn (fp ) ,
2p 2p
0 2

car la fonction qui t associe f (t)eint/p est 2ppriodique. Si p ne divise pas n, alors e2in/p est
diffrent de 1 et cn (fp ) est nul.

X
Exercice 27 Soit S(z) = n z n une srie entire de rayon de convergence R non nul et
n=0
coefficients rels. Soit r tel que 0 < r < R. Trouver les coefficients de Fourier complexes de la
fonction fr dfinie par
fr (x) = S(reix ) ,
puis les coefficients rels de Re fr et de Im fr .

Application. Soir r dans [ 0, 1 [ . Trouver les coefficients de Fourier rels de la fonction gr dfinie par

1 r2
gr (x) = .
1 + r 2 2r cos x
FD 38

On a

X
fr (x) = n r n einx ,
n=0

et cette srie converge uniformment en x puisque la srie entire converge uniformment sur le disque
de centre 0 et de rayon r. On peut donc permuter intgrale et srie ce qui donne

Z2 X
Z 2
1 k ikx inx 1 X
cn (fr ) = k r e e dx = k r k ei(kn)x dx .
2 2
0 k=0 k=0 0

On a donc
n r n

si n 0
cn (fr ) = .
0 si n < 0

De mme, pour

X
Re fr (x) = n r n cos nx ,
n=0

on obtient
n r n

si n 0
an (Re fr ) = et bn (Re fr ) = 0 .
20 si n = 0

Enfin, pour

X
Im fr (x) = n r n sin nx ,
n=1

on obtient
bn (Im fr ) = n r n et an (Im fr ) = 0 .

Application

On remarque que
1 + reix
gr (x) = Re = Re(S(reix )) ,
1 reix
o

1+z 2z X
R(z) = =1+ =1+2 zn ,
1z 1z
n=1

est une srie entire de rayon 1. Donc, si n 0,

an (gr ) = 2r n et bn (gr ) = 0 .
 FD 39

Exercice 28 Soit les sries entires coefficients rels

X
X
f (x) = an x n et g(x) = bn x n
n=0 n=0

de rayons respectifs R et R non nuls. On pose

X
h(x) = a n bn x n .
n=0

Montrer que si R < u < R et R < v < R , on a

Z2
1
h(uv) = f (ueit )g(veit )dt .
2
0

En dduire, que si x est un nombre rel,

Z2
X xn 1
2
= e(x+1) cos t cos((x 1) sin t) dt .
n=0
(n!) 2
0

Posons
fu (t) = f (ueit ) et gv (t) = f (veit ) .
On obtient deux fonctions 2priodiques continues sur R et, si n 0, du fait de la convergence
normale des sries, on a
cn (fu ) = an un et cn (gv ) = bn v n .
Alors, daprs la formule de Bessel-Parceval

Z2
1 X
f (ueit )g(veit ) dt = cn (fu )cn (gv ) .
2
0 n=0

Mais
g(veit ) = g(veit ) et cn (gv ) = cn (gv ) ,
do le rsultat.

Si lon part de
f (x) = g(x) = ex ,
avec u = x et v = 1, on obtient

Z2
X xn 1 it
exe ee dt .
it
2
=
n=0
(n!) 2
0
FD 40

Or
it
exe ee = ex(cos t+i sin t)+(cos ti sin t) = e(x+1) cos t+i(x1) sin t = e(x+1) cos t (cos((x1) sin t)+i sin(x1) sin t)) .
it

On a donc
Z2
X xn 1
= e(x+1) cos t cos((x 1) sin t) dt ,
(n!)2 2
n=0 0
car
Z2 Z
(x+1) cos t
e sin((x 1) sin t) dt = e(x+1) cos t sin((x 1) sin t) dt
0

est nulle comme intgrale dune fonction impaire.

CONVOLUTION

Le produit de convolution f g de deux fonctions f et g de E est dfini par

Z2
1
f g(x) = f (x t)g(t) dt .
2
0

et lon a
cn (f g) = cn (f )cn (g) .

Exercice 29 1) Montrer que le produit de convolution de deux lments de E est une fonction
continue sur R et que
||f g || ||f || ||g || .
2) Dans lensemble E, montrer que le produit de convolution est une loi associative et commutative.
Calculer f 1. Existe-t-il un lment neutre pour cette loi ?

3) Soit en la fonction qui x associe einx . Calculer ep eq . Quen dduit-on pour lanneau (E, +, ) ?

4) On pose
1/2
Z2

1
||f || 2 = |f (t)|2 dt .
2
0

Montrer que
||f g || 2 ||f || 2 ||g || 2 .
 FD 41

1) La produit de convolution tant linaire par rapport chaque variable, il suffit de dmontrer la pro-
prit lorsque, dans lintervalle [ 0, 2 ] , la fonction g est une fonction continue sur lintervalle ] a, b [ ,
qui admet une limite finie droite en a et gauche en b, et nulle en dehors de [ a, b ] . La fonction g
se prolonge donc en une fonction continue sur [ a, b ] et est uniformment continue sur cet intervalle.

On a alors
Zb
1
f g(x) = f (x t)g(t) dt .
2
a

On remarque que les lments de E sont borns. Il existe donc deux constantes F et G telles que, pour
tout x rel,
|f (x)| F et |g(x)| G .
Soit x et y dans R tels que
0 < y x < b a 2 .
On a donc

x b < y b < x a < y a et 0 < (x a) (y b) < b a 2 .

Evaluons la diffrence 2(f g(x) f g(y)). On a

Zb Zb
2(f g(x) f g(y)) = f (x t)g(t) dt f (y t)g(t) dt ,
a a

et, en effectuant un changement de variable dans chaque intgrale,

xa
Z ya
Z
2(f g(x) f g(y)) = f (t)g(x t) dt f (t)g(y t) dt
xb yb
yb
Z xa
Z ya
Z
= f (t)g(x t) dt + f (t)(g(x t) g(y t)) dt f (t)g(y t) dt .
xb yb xa

En majorant les fonction |f | et |g| on obtient alors

xa
FG F
Z
|f g(x) f g(y)| |y x| + |g(x t) g(y t)| dt .
2
yb

Lorsque t dcrit lintervalle [ y b, x a ] , les nombres x t et y t appartiennent [ a, b ] . Alors,

comme g est uniformment continue sur [ a, b ] , pour tout > 0, il existe > 0 tel que |u v| <
implique

|g(u) g(v)| < .
2F
FD 42

En particulier, si |x y| < , on a

|g(x t) g(y t)| < ,
2F
do
xa
FG F
Z
|f g(x) f g(y)| |y x| + dt ,
2 2F
yb

ce qui donne
FG
|f g(x) f g(y)| |y x| + .
2
Ce rsultat reste vraie si lon permute les rles de x et de y, donc, si lon prend x et y tels que
 
|x y| < inf , ,b a ,
2F G
on a
|f g(x) f g(y)| ,
ce qui prouve la continuit de f g.

Enfin, on majore simplement

Z2 Z2
1 1
|f g(x)| |f (x t)g(t)| dt ||f || ||g || dt = ||f || ||g || ,
2 2
0 0

do
||f g || ||f || ||g || .

2) On remarque tout dabord que lon peut intgrer sur nimporte quel intervalle de longueur 2.
Puisque f est 2priodique, on a

Z2 Z2
1 1
f g(x + 2) = f (x + 2 t)g(t) dt = f (x t)g(t) dt = f g(x) ,
2 2
0 0

donc f g est 2priodique.

En effectuant le changement de variable u = x t, on obtient

Z2 Zx Z2
1 1 1
f g(x) = f (x t)g(t) dt = f (u)g(x u) du = f (u)g(x u) du = g f (x) ,
2 2 2
0 x2 0

et la loi est commutative.

 FD 43

Ensuite
Z
f (g h)(x) = f (x u) g h(u) du

Z Z

1 1
= f (x u) g(u t)h(t) dt du
2 2

Z Z
1
= f (x u)g(u t)h(t) dtdu
4 2

Z Z

1
= f (x u)g(u t) du h(t) dt .
4 2

En effectuant le changement de variable s = u t dans lintgrale en du, on obtient

Z
t
1
Z
f (g h)(x) = f (x t s)g(s) ds h(t) dt
4 2
t
Z Z

1
= f (x t s)g(s) ds h(t) dt
4 2

Z Z

1 1
= f ((x t) s)g(s) ds h(t) dt
2 2

Z
1
= f g(x t)h(t) dt
2

= (f g) h ,

et la loi est associative.

On a
Z
1
f 1 = f (t) dt ,
2

ce qui donne une fonction constante. En particulier 1 1 = 1.

Sil existait un lment neutre e, on aurait en particulier pour la fonction en : x 7 einx

e en = en ,

et donc, pour tout n Z,

cn (e) = cn (e)cn (en ) = cn (e en ) = cn (en ) = 1 .

FD 44

Mais la suite (cn (e))n0 devrait converger vers 0, do une contradiction.

3) On a
Z2 Z2
1 ip(xt) iqt 1 ipx
ep eq (x) = e e dt = e ei(pq)t dt .
2 2
0 0

Donc, si p 6= q, on obtient

ep eq (x) = 0 .

On en dduit en particulier que lanneau (E, +, ) nest pas intgre.

Par contre, si p = q,

ep ep (x) = ep (x) .

4) En appliquant lingalit de Cauchy-Schwarz, on obtient

2 1/2 2 1/2 1/2 1/2

Z2 Z2
1 1 1
Z Z
|f g(x)| |f (x t)|2 dt |g(t)|2 dt = |f (t)|2 dt |g(t)|2 dt ,
2 2 2
0 0 0 0

donc

|f g(x)| ||f || 2 ||g || 2 .

En intgrant sur [ 0, 2 ] , il vient

Z2 Z2
2
|f g(x)| dx ||f ||22 ||g ||22 dx = 2 ||f ||22 ||g ||22 ,
0 0

do
Z2
1
||f g ||22 = |f g(x)|2 dx ||f ||22 ||g ||22 ,
2
0

ce qui donne lingalit voulue.

 FD 45

Exercice 30 1) Pour tout entier n relatif non nul, montrer que lapplication Hn qui une
fonction f associe la fonction dfinie par

Hn (f )(x) = f (nx)

est un endomorphisme de E.

2) Montrer que
Hn (f ) Hn (g) = Hn (f g) .
3) Etudier la parit de f g suivant celles de f et g.

4) Soit f et g deux lments de E vrifiant

H1 (f ) = f + et H1 (g) = g + ,

o 2 = 2 = 1 et et sont des constantes. Que peut-on dire de H1 (f g) ?

1) On a
Hn (f )(x + 2) = f (nx + 2n) = f (nx) = Hn (f ) ,
donc Hn est 2priodique, et par composition cela reste une fonction continue par morceaux. Donc
Hn est un endomorphisme de E.

2) On a
Z2
1
Hn (f ) Hn (g)(x) = f (nx nt)g(nt) dt .
2
0
En effectuant le changement de variable u = nt, on obtient
2n
1
Z
Hn (f ) Hn (g)(x) = f (nx u)g(u) du
2n
0

et en raison de la priodicit
Z2
1
Hn (f ) Hn (g)(x) = f (nx u)g(u) du = f g(nx) ,
2
0

do
Hn (f ) Hn (g) = Hn (f g) .
3) En appliquant ce qui prcde n = 1, on obtient

H1 (f ) H1 (g) = H1 (f g) .

Si f et g ont la mme parit

H1 (f ) H1 (g) = f g ,
FD 46

donc
H1 (f g) = f g ,
et f g est paire.

Si f et g sont de parits diffrantes

H1 (f ) H1 (g) = f g ,

donc
H1 (f g) = f g ,
et f g est impaire.

4) On a
H1 (f g) = H1 (f ) H1 (g) = (f + ) (g + ) ,
do, en dveloppant,

H1 (f g) = f g + f 1 + +g 1 + 1 1 .

Mais f 1, g 1 et 1 1 sont des fonctions constantes. Il existe donc une constante A telle que

H1 (f g) = f g + A .

Alors, si =
H1 (f g) = f g + A .
En particulier, en 0,
f g(0) = H1 (f g)(0) = f g(0) + A ,
et A est nulle. Il en rsulte que f g est paire.

Si maintenant = , on a cette fois

H1 (f g) = f g + A .

La courbe reprsentative de f g est symtrique par rapport au point de coordonnes (0, A/2).

Exercice 31 Pour tout entier n 1, soit n la fonction de E, qui vaut n sur ] /n, /n [
et 0 sur [ , /n ] [ /n, ] . Soit f dans E. Montrer que si f est continue en x alors

lim f n (x) = f (x) .

n
 FD 47

On remarque que
/n
n
Z
f (x) = f (x) dt .
2
/n

Par ailleurs
/n
n
Z
f n (x) = f (x t) dt .
2
/n

Alors
Z/n
n
f n (x) f (x) = (f (x t) f (x)) dt .
2
/n

Comme f est continue en x, pour tout > 0, il existe > 0, tel que |u x| < implique

|f (u) f (x)| < .

Si lon prend n > /, on a alors, pour tout t de [ /n, /n ] ,

|(x t) x| = |t| < ,
n

et donc
|f (x t) f (x)| < .

Alors
Z/n
n
|f n (x) f (x)| |f (x t) f (x)| dt .
2
/n

Il en rsulte bien que

lim f n (x) = f (x) .
n

Exercice 32 Dterminer le produit de convolution f g lorsque f et g sont une des fonctions

sinus ou cosinus.
FD 48

1) Si f et g sont la fonction cosinus

Z2
1
f g(x) = cos(x t) cos t dt
2
0
Z2
1
= (cos(x 2t) + cos x) dt
4
0
 2
1 sin(x 2t)
= + t cos x
4 2 0
cos x
= .
2
2) Si f et g sont la fonction sinus

Z2
1
f g(x) = sin(x t) sin t dt
2
0
Z2
1
= (cos(x 2t) cos x) dt
4
0
 2
1 sin(x 2t)
= t cos x
4 2 0
cos x
= .
2
3) Si f et la fonction sinus et g la fonction cosinus

Z2
1
f g(x) = sin(x t) cos t dt
2
0
Z2
1
= (sin(x 2t) + sin x) dt
4
0
 2
1 cos(x 2t)
= + t sin x
4 2 0
sin x
= .
2

Exercice 33 Dterminer le produit de convolution f g lorsque f est la fonction cosinus ou

la fonction sinus, et g(x) = x sur ] , [ .
 FD 49

1) Si f est la fonction cosinus, on a, en intgrant par parties,

Z
1
f g(x) = (x t) cos t dt
2

Z

1 h i
= (x t) sin t + sin t dt
2

1 h i
= (x t) sin t cos t = 0.
2

2) Si f est la fonction sinus, on a, en intgrant par parties,

Z
1
f g(x) = (x t) sin t dt
2

Z

1 h i
= (x t) cos t cos t dt
2

1 h i
= (x t) cos t sin t = 1 .
2

Exercice 34 1) Soit f et g deux lments de E, et a et b deux nombres rels. Soit F et G

dfinies par
F (x) = f (x + a) et G(x) = g(x + b) .
Dterminer F G en fonction de f g. Que se passe-t-il si a = b ? si a = b = ?

2) Soit a un nombre rel tel que 0 < a < /2. Soit fa la fonction paire de E et ga la fonction
impaire de E qui valent 1 sur ] 0, a [ et 0 sur [ a, ] . Dterminer en fonction de fa fa les produits
g2a g2a , f2a g2a et f2a f2a .

1) On a
Z2
1
F G(x) = f (x + a t)g(t + b) dt ,
2
0

et, en faisant le changement de variable u = t + b,

2+b
1
Z
F G(x) = f (x + a + b u)g(u) du ,
2
b
FD 50

Mais en intgrant sur une autre priode,

Z2
1
F G(x) = f (x + a + b u)g(u) du = f g(x + a + b) .
2
0

En particulier, si a = b
F G = f g,
et si a = b = ,
F G(x) = f g(x + 2) ,
donc, en raison de la priodicit,
F G = f g.
2) On peut crire, pour toute valeur de x sauf un nombre fini de points par priode,

f2a (x) = fa (x a) + fa (x + a) et g2a (x) = fa (x a) fa (x + a) .

Posons
a (x) = fa (x a) et a (x) = fa (x + a) .
Alors,
g2a g2a = (a a ) (a a ) = a a + a a 2a a ,
et daprs 1),
g2a g2a (x) = fa fa (x 2a) + fa fa (x + 2a) 2fa fa (x) .
De mme
f2a f2a (x) = fa fa (x 2a) + fa fa (x + 2a) + 2fa fa (x) .
Enfin
f2a g2a = (a + a ) (a a ) = a a a a ,
donc
f2a g2a (x) = fa fa (x 2a) fa fa (x + 2a) .

Exercice 35 Soit a tel que 0 < a < et f la fonction paire de E qui vaut 1 sur lintervalle
[ 0, a ] et qui est nulle sur ] a, ] . Dterminer f f .

On remarque que, en raison de la priodicit, la fonction f vaut 1 sur [ 2 a, 2 + a ] et 0 sur

] a, 2 a [ .

La fonction f f est paire. Cherchons sa valeur si 0 x . On a donc

Za x+a
1 1
Z
f f (x) = f (x t) dt = f (t) dt .
2 2
a xa
 FD 51

On distingue deux cas.

1) 0 < a /2

Si x appartient [ 0, 2a ] , on a

a x a a x + a 3a 2 a ,

et donc
Za
1 1
f f (x) = dt = (2a x) .
2 2
xa

Si x appartient [ 2a, ] , on a

a x a x + a + a 2 a ,

et donc
f f (x) = 0 .
2) /2 a <

Dans ce cas 2 2a 2a.

Si x appartient [ 0, 2 2a ] , on a

a x a a x + a < 2 a ,

et donc, comme dans 1),

Za
1 1
f f (x) = dt = (2a x) .
2 2
xa

Si x appartient [ 2 2a, ] , on a

a x a a 2 a x + a 2 ,
et donc
Za x+a
1 1 1 1
Z
f f (x) = dt + dt = ((2a x) + (x + 2a 2)) = (4a 2) .
2 2 2 2
xa 2a

Exercice 36 Soit f la fonction de E, qui vaut 1 sur ] 0, [ et 0 sur ] , 0 [ . Dterminer

f f , puis f f f .
FD 52

Si g est une fonction de E, on a

Z2 Z
1 1
g f (x) = g(x t)f (t) dt = g(x t) dt ,
2 2
0 0

et en changeant de variable

Zx Z0 Zx Z Zx

1 1 1
g f (x) = g(u) du = g(u) du + g(u) du = g(u) du + g(u) du .
2 2 2
x x 0 x

1) Prenons g = f .

Si x appartient ] 0, [ alors
< x < 0 < x < ,

et
Zx
1 x
f f (x) = f (u) du = .
2 2
0

Si x appartient ] , 2 [ alors
0 < x < < x < 2 ,

et
Z
1 2 x
f f (x) = f (u) du = .
2 2
x

Donc, sur ] , 0 [ , on a
x
f (x) =
2

On remarque que la fonction f f est paire.

2) Prenons ensuite g = f f .

Si x appartient ] 0, [ alors
< x < 0 < x < ,
 FD 53

et
Z0 Zx

1
f f f (x) = f f (u) du + f f (u) du
2
x 0
0
Zx

1 u u
Z
= du + du
2 2 2
x 0
 h i h ix 
1 0
= u2 + u2
8 2 x 0
1
= ((x )2 + x2 )
8 2
1
= (2x2 2x + 2 ) .
8 2
Si x appartient ] , 2 [ alors
0 < x < < x < 2 ,
et
Z Zx

1
f f f (x) = f f (u) du + f f (u) du
2
x

Zx

1 u 2 u
Z
= du + du
2 2 2
x
h i ix 
1 2
h
2
= u (2 u)
8 2 x
1
= ( 2 (x )2 (2 x)2 + 2 )
8 2
1
= (2x2 + 6x 3 2 ) .
8 2

Exercice 37 Soit f et g deux lments de E. Montrer que si x appartient [ 0, ] , on a

Z x+
Z
2f g(x) = f (x t)g(t) dt + f (x t)g(t 2) dt .
x

Dterminer f f et f g lorsque

1 sur ] 0, [
f (x) = x sur ] , [ et g(x) =
1 sur ] , 0 [
FD 54

Comme la fonction qui t associe f (x t)g(t) est 2priodique lintgrale sur une priode ne dpend
pas de la priode choisie donc
x+
1
Z
f g(x) = f (x t)g(t) dt
2
x
Z x+
1 1
Z
= f (x t)g(t) dt + f (x t)g(t) dt .
2 2
x

Alors, comme g est 2priodique, on a aussi

Z x+
1 1
Z
f g(x) = f (x t)g(t) dt + f (x t)g(t 2) dt ,
2 2
x

ce qui donne la formule voulue.

Si x appartient [ 0, ] et t [ x , ] , alors x t appartient [ x , ] qui est inclus dans

[ , ] , donc
f (x t)f (t) = (x t)t et f (x t)g(t) = (x t) sign(t) .
Si x appartient [ 0, ] et t [ , x + ] , alors x t et t 2 appartiennent [ , x ] qui est
inclus dans [ , 0 ] donc
f (x t)f (t 2) = (x t)(t 2) et f (x t)g(t 2) = (x t) .
Alors
Z x+
Z
2f f (x) = (x t)t dt + (x t)(t 2) dt
x
x+
Z x+
Z
= (x t)t dt 2 (x t) dt .
x

En effectuant le changement de variable u = x t,

Z x
Z
2f f (x) = u(x u) du 2 u dt .

Puis, en raison de la parit

Z x
Z
2
2f f (x) = 2 u du 2u dt
0
3
(x )2 2


= 2
3
3
= 2 x2 + 2 2 x .
3
 FD 55

Comme f est impaire, alors f f est paire, et lon a sur [ , ] ,

x2 2
f f (x) = + |x| .
2 3
Ensuite,

Z0 Z x+
Z
2f g(x) = (t x) dt + (x t) dt + (t x) dt
x 0
0  x+
x)2 x)2 (t x)2
  
(t (t
= +
2 x 2 0 2
x2 2 ( x)2 x2 2 ( x)2
= + +
2 2 2 2 2 2
2 2
= x ( x)

1
f g(x) = (2x 2 ) = x .
2 2
Mais, comme f et g sont impaires, la fonction f g est paire et finalement, sur [ , ]

f g(x) = |x| .
2

Exercice 38 Soit P un polynme non constant. Si f est une fonction de E, on note P (f ) la

fonction obtenue en remplaant, lorsque k 1, le monme X k par le produit de convolution de k
fonctions f f . Dterminer les fonctions f telles que

P (f ) = 0 .

En particulier quelles sont les solutions de lquation

x x = x.

En raison de la relation
cn (f g) = cn (f )cn (g)
on a donc, si n 1,
cn (f n ) = cn (f )n .
Par ailleurs pour la fonction constante 1,

c0 (1) = 1 et cn (1) = 0 si n 1 .
FD 56

De plus les applications cn sont linaires. On obtient alors

0 = c0 (P (f )) = P (c0 (f )) ,

donc c0 (f ) est racine de P . Mais on a aussi, si n 1,

0 = cn (P (f )) = cn ((P P (0))(f )) = (P P (0))(cn (f )) .

Si n 1, tous les coefficients cn (f ) sont racines du polynme P P (0). Ils ne peuvent donc prendre
quun nombre fini de valeurs non nulles. Mais les suites (cn (f ))n0 et (cn (f ))n0 convergent vers zro.
Elles sont donc stationnaires et il ny a quun nombre fini de coefficients cn (f ) qui ne sont pas nuls.

Alors, f est de la forme

N
X
f (x) = k eikx ,
k=N

o 0 est racine de P et les autres k sont racines de P P (0) (et peuvent donc tre nulles).

Inversement, si f est de la forme prcdente, on obtient

c0 (P (f )) = P (c0 (f )) = 0 ,

car c0 (f ) est racine de P , mais aussi

cn (P (f )) = (P P (0))(cn (f )) = 0 ,

et la fonction P (f ) a tous ses coefficients de Fourier nuls. Comme cest une fonction continue, on en
dduit que P (f ) est nulle.

Si lon prend le polynme P (X) = X 2 X qui na que 1 comme racine non nulle, alors
r
X
f (x) = eink x ,
k=1

o les nombres n1 , . . . , nk sont dans Z.

Exercice 39 Soit f et g deux fonctions relles de E. Calculer les coefficient de Fourier rels
de f g en fonction de ceux de f et de g. Que se passe-t-il si f et g ont une parit ?

On part des relations

1
cn (f g) = cn (f )cn (g) et cn = (an ibn ) ,
2
avec b0 = 0.
 FD 57

On a alors
1 1
cn (f g) = (an (f )ibn (f ))(an (g)ibn (g)) = ((an (f )an (g)bn (f )bn (g))i((an (g)bn (f )+an (f )bn (g))) .
4 4
Alors
1 1
an (f g) = ((an (f )an (g) bn (f )bn (g)) et bn (f g) = ((an (g)bn (f ) + an (f )bn (g)) .
2 2
Lorsque f et g sont impaires, on a an (f ) = an (g) = 0, do
1
an (f g) = bn (f )bn (g) et bn (f g) = 0 .
2
Lorsque f et g sont paires, on a bn (f ) = bn (g) = 0, do
1
an (f )an (g) et bn (f g) = 0 .
an (f g) =
2
Lorsque f est paire et g impaire, on a bn (f ) = an (g) = 0, do
1
an (f g) = 0 et bn (f g) = an (f )bn (g) .
2
Les rles sinversent si f est impaire et g est paire.

Exercice 40 Soit f un lment de E dont les coefficients cn (f ) ne sannulent pas. Trouver les
valeurs propres et les vecteurs propres de lapplication qui une fonction g de E associe g f .

Si lon a
g f = g ,
avec g non nulle, et complexe, on trouve, pour tout entier n de Z,

cn (g)cn (f ) = cn (g) .

Il existe un entier n0 tel que cn0 (g) ne soit pas nul et donc

= cn0 (f ) .

Pour une telle valeur , lensemble

N = {n|cn (f ) = }
est fini puisque les suites (cn (f ))n0 et (cn (f ))n0 convergent vers 0. On a alors
X
g(x) = n einx .
nN
FD 58

EQUATIONS DIFFERENTIELLES

Lorsquune fonction f de E continue admet une drive f sauf en un nombre fini de points par priode,
qui se trouve elle-mme dans E, alors

cn (f ) = (in)cn (f ) .

Exercice 41 Soit g un lment de E. On considre lquation diffrentielle linaire du second

ordre coefficients constants
f + f + f = g .
Chercher les solutions de cette quation de classe C1 dont la drive seconde existe et soit dans E.

Application : on prend 
1 sur ] 0, [
g(x) =
1 sur ] , 0 [
et on considre lquation diffrentielle

f f = g .

Trouver les coefficients de Fourier de la solution f nulle en 0. Dterminer explicitement f en rsolvant

lquation dans ] 0, [ et ] , 0 [ . Cette fonction est-elle impaire ?

En calculant les coefficients de Fourier, on obtient

cn (g) = cn (f ) + cn (f ) + cn (f ) = ((in)2 + (in) + )cn (f ) .

Si lquation
n2 + in + = 0
na pas de racine entire, on a alors
cn (g)
cn (f ) = ,
(in)2 + (in) +
et dans ce cas, lquation diffrentielle a donc au plus une solution.

Si lquation
n2 + in + = 0
a une racine entire n0 , lquation diffrentielle na pas de solution si cn0 (g) est non nul. Dans le cas o
cn0 (g) est nul, lquation diffrentielle aura une infinit de solutions sil en existe au moins une puisque,
si f0 est solution, alors les fonctions dfinies par

f (x) = f0 (x) + Aein0 x ,

 FD 59

le seront aussi.

Dans le cas o il peut exister une solution, posons

X cn (g)
f0 (x) = 2 + (in) +
einx ,
n=
(in)

cn (g)
avec la convention que est nul lorsque cn (g) est nul.
(in)2 + (in) +
Comme la suite (cn (g)) converge vers 0 en , elle est borne par une constante M , et
 
 cn (g)  M M
 (in)2 + (in) +  |(in)2 + (in) + | n2 .
 

La srie dfinissant f0 est donc normalement convergente et f0 est une fonction continue sur R.

Soit alors h1 = g f0 . On a

(in)2 + (in)
cn (h1 ) = cn (g) cn (f0 ) = cn (g) = ((in)2 + (in))cn (f0 ) .
(in)2 + (in) +

Comme c0 (h1 ) est nul, et que h1 est dans E, on dfinit h2 en posant

Zx
h2 (x) = h1 (t) dt .
0

Alors h2 est dans E et continue et, lorsque n nest pas nul,

cn (h2 ) = ((in) + )cn (f0 ) .

Soit alors k2 dfinie par

k2 = h2 f0 c0 (h2 f0 ) .
On a, pour tout entier n
cn (k2 ) = (in)cn (f0 ) ,
et k2 est dans E et continue. Alors en posant
Zx
h3 (x) = k2 (t) dt
0

on dfinit un lment de E continu tel que, pour tout n non nul,

cn (h3 ) = cn (f0 ) .

Il en rsulte que
h3 = f0 + C
FD 60

o C est une constante. Alors

h3 = k2 = f0
donc f est de classe C1 , puis
h2 f c0 (h2 f ) = f0
et en drivant de nouveau
h2 f0 = f0 ,
cest--dire
g f0 f0 = f0 ,
ce qui prouve que f0 existe dans E et que

f0 + f0 + f0 = g .

La fonction f0 est donc bien solution de lquation diffrentielle.

Si lquation (in)2 + in + = 0 na pas de racine entire, cest la seule solution.

Si lquation (in)2 +in+ = 0 a une racine entire n0 telle que cn0 (g) soit nul, lquation diffrentielle
a pour solutions les fonctions f dfinies par

f (x) = f0 (x) + Aein0 x

o A est une constante.

Si lquation (in)2 +in+ = 0 a deux racines entires n1 et n2 telles que cni (g) soient nuls, lquation
diffrentielle a pour solutions les fonctions f dfinies par

f (x) = f0 (x) + Aein1 x + Bein2 x ,

o A et B sont des constantes.

Application

On cherche les coefficients de Fourier de g. On a

Z0

1 1 1 (1)n
Z
cn (g) = eint dt eint dt = .
2 in
0

Les coefficients de rang pair sont nuls et pour les coefficients de rang impair
2 1
c2k+1 (g) = .
i(2k + 1)

Alors
cn (f f ) = ((in)2 in)cn (f ) = cn (g) ,
 FD 61

et donc, si n 6= 0,

cn (g) 1 1 (1)n 1 1 (1)n 1 1 1 (1)n 1 + in

cn (f ) = = = = .
(in)2 in in n2 in n2 1 in n2 (n2 + 1)

Lquation (in)2 in = 0 admet 0 comme seule solution entire et cn (0) est nul. Les solutions de
lquation diffrentielle sont donc les fonctions f telles que
X cn (g) inx 2 X 1 + i(2k + 1)
f (x) = A + 2
e = A + ei(2k+1)x .
(in) in (2k + 1)2 ((2k + 1)2 + 1)
n6=0 kZ

Si lon revient aux coefficients rels,

 
4 X cos(2k + 1)x sin(2k + 1)x
f (x) = A + .
(2k + 1)2 ((2k + 1)2 + 1) (2k + 1)((2k + 1)2 + 1)
k=0

Cette fonction est dfinie par une srie normalement convergente, ainsi que la srie drive. On retrouve
bien quelle est de classe C1 . Mais comme les coefficients pairs ne sont pas nuls, la fonction nest pas
impaire. La solution qui est nulle en zro est alors
 
4 X cos(2k + 1)x 1 sin(2k + 1)x
f (x) = .
(2k + 1)2 ((2k + 1)2 + 1) (2k + 1)((2k + 1)2 + 1)
k=0

Pour dterminer explicitement cette solution, rsolvons lquation diffrentielle.

Les solutions dans lintervalle ] 0, [ et nulles en zro de lquation

f f = 1

sont les fonctions f telles que

f (x) = x + (1 ex ) .
Les solutions dans lintervalle ] , 0 [ et nulles en zro de lquation

f f = 1

sont les fonctions f telles que

f (x) = x + (1 ex ) .
On a alors
1 ex

sur ] 0, [

f (x) = .
1 ex sur ] , 0 [

La fonction f cherche est de classe C1 sur R. On doit donc avoir les trois relations suivantes

f+ (0) = f (0) donc (1) 1 = 1

f () = f+ () donc (2) (1 e ) = (1 e )
f () = f+ () donc (3) 1 e = 1 e
FD 62

On remarque que lquation (2) est la diffrence des deux autres. Les relations (1) et (3) permettent
de calculer et . On obtient

= 2 + = 2e + e2 ,
do lon tire
2(1 e ) 2 e/2
= = = = 1 + th ,
e2 1 1 + e ch 2 2
puis

= + 2 = 1 + th .
2
Finalement  
x 1 th (1 ex ) sur [ 0, ]
2


f (x) = .
x + 1 + th (1 ex )
 
sur [ , 0 ]

2