FD

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
1
an (f ) =
Z2
f (x) cos(nx) dx
et
1
bn (f ) =
et dans ce cas
Z2
f (x) sin(nx) dx ,
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
1
cn (f ) =
2
Z2
f (x)einx dx ,
et dans ce cas
[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,
cn (f ) =
1
(an (f ) ibn (f )) et
2
cn (f ) =
1
(an (f ) + ibn (f )) .
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.
X
1
1
(|an (f )|2 + |bn (f )]2 ) =
|a0 (f )|2 +
2
n=1
ou
1
|cn (f )| =
2
n=
Exercice 1
Z2
0
Z2
0
|f (x)|2 dx ,
|f (x)|2 dx .
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
f (x) =
3
1
cos 3x + cos x .
4
4
On a donc
3
,
4
et tous les autres coefficients de Fourier sont nuls.
a1 (f ) =
Exercice 2
a3 (f ) =
1
,
4
Calculer les coefficients de Fourier rels de la fonction f qui vaut 1 sur ] 0, [ et
1 sur ] , 0 [ .
En dduire les sommes suivantes :
X
X
1
(1)n
et
.
2n + 1
(2n + 1)2
n=0
n=0
La fonction f est impaire donc an (f ) est nul. On a

2
bn (f ) =
Z
0
sin(nx) dx =
2 1 (1)n
.
FD 3
Donc b2k (f ) est nul, et

b2k+1 (f ) =
do la srie de Fourier
[f ] =
4
,
(2k + 1)
4 X sin(2k + 1)x
.
2k + 1
k=0
Alors, en /2, o f est drivable, on a
f (/2) = 1 =
4 X (1)k
,
2k + 1
k=0
do
(1)n
= .
2n + 1
4
n=0
Avec la formule de Bessel-Parceval
16 X
1
2
=
f (x)2 dx = 2 ,
2
(2k + 1)2
k=0
do
2
1
.
=
(2n + 1)2
8
n=0
Exercice 3
Calculer les coefficients de Fourier rels de la fonction f telle que, sur [ , ] ,

f (x) = x( x)( + x) .
X
1
(1)n
et
.
3
6
(2n
+
1)
n
n=1
n=0
La fonction f est impaire donc an (f ) est nul. On a, en intgrant plusieurs fois par parties,
bn (f ) =
= 12
( 2 x x3 ) sin(nx) dx

sin(nx) 2
cos(nx)
sin(nx)
cos(nx) 2
3
2
( x x ) +
( 3x )
6x +
6
n
n2
n3
n4
0
(1)n+1
.
n3
FD 4
[f ] = 12
X
(1)n+1 sin(nx)
n3
n=1
qui converge pour tout x rel. En particulier,
X
(1)n+1 sin(n/2)
3 3
= 12
.
8
n3
f (/2) =
n=1
Les termes de la somme sont nuls lorsque n est pair. Il reste
X
3 3
(1)k
= 12
.
8
(2k + 1)3
k=0
Alors
n=0
(1)n
3
=
.
(2n + 1)3
32
X
1
144
n6
k=1
f (x)2 dx
( 4 x2 2 2 x4 + x6 ) dx

x7
2
+
=
3
5
7 0

1 2 1
16 6
= 2 6
+
.
=
3 5 7
105
2
4x
do
X
6
1
=
.
n6
945
n=1
2x
FD 5
Exercice 4
Soit a un nombre tel que 0 < a < . On dfinit
[ 0, a ]
0 sur
fa (x) =
1 sur ] a, + a [
et ga (x) =
0 sur
[ + a, 2 ]
deux lments fa et ga de E par

0 sur
1 sur
0 sur
[ , a [
[ a, a ]
] a, ]
Vrifier que
ga = 1 fa ,
et calculer les coefficients de Fourier rels de ces fonctions.
X
sin2 (na)
n2
n=1
On a
n=0
0 sur
fa (x) =
1 sur
0 sur
1
(2n + 1)2
[ 0, a ]
] a, 2 a [
[ 2 a, 2 ]
On a donc bien
X
sin(na)
n=1
X
(1)n sin(na)
n=1
1 sur
et ga (x) =
0 sur
1 sur
[ 0, a ]
] a, 2 a [
[ 2 a, 2 ]
fa + ga = 1 .
Les fonctions fa et ga sont paires donc bn (fa ) et bn (ga ) sont nuls, et lon a,
2
a0 (fa ) =
2
f (x) dx =
dx =
2a
,
et, si n > 0,
2
an (fa ) =
2
f (x) cos(nx) dx =
do les sries de Fourier

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

n
n=1
4 X sin2 (na)
2
2a
2a2
,
+ 2
=
fa (x)2 dx =
2
n=1
n2
FD 6
do
X
sin2 (na)
n2
n=1
a( a)
.
2
En particulier, lorsque a = /2, les termes de la somme sont nuls lorsque n est pair. On en dduit
1
2
.
=
2
(2n
+
1)
8
n=0
Par ailleurs, en 0, o ga est drivable, on a
ga (0) = 1 =
do
a
2 X sin(na)
+
,
n=1
n
X
sin(na)
n=1
a
,
2
et en , o ga est galement drivable, on a
sin(na)
2 X
a
(1)n
,
ga () = 0 = +

n
n=1
do
(1)n
n=1
sin(na)
a
= .
n
2
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)
n=1
n2
et
X
sin3 (na)
n=1
La fonction fa est impaire donc an (fa ) est nul. On a,

2
bn (fa ) =
Z2a
sin(nx) dx =
2 1 cos(2na)
4 sin2 (na)
=
,
do
[fa ] =
4 X sin2 (na)
sin(nx) .
n
n=1
FD 7
La srie converge en a, donc

fa (a) = 1 =
ce qui donne
4 X sin3 (na)
,
n=1
n
X
sin3 (na)
n=1
.
4
En utilisant lgalit de Bessel-Parceval

Z2a
1
2a
16 X sin4 (na)
=
1 dx =
,
2
2
n=1
do
X
sin4 (na)
n=1
Exercice 6
n2
a
.
8
Trouver les coefficients de Fourier rels des fonctions 2priodiques dfinies par
f (x) = | sin x| et
n=1
g(x) = sup(sin x, 0) .
1
2
4n 1
X
(1)n
4n2 1
n=1
n=1
(4n2
1
.
1)2
La fonction f est paire, donc bn (f ) = 0. On a

2
a0 (f ) =
2
et a1 (f ) =
4
sin x dx =
1
sin x cos x dx =
Z
0
et, si n > 1,
an (f ) =
sin x cos(nx) dx
(sin(n + 1)x sin(n 1)x) dx
cos(n + 1)x cos(n 1)x

=
+
n+1
n1
n
2 1 + (1)
.
=
n2 1

0
sin(2x) dx = 0 ,
FD 8
Le coefficient est nul si n est impair. Alors

a2k (f ) =
do
1
4
,
2
4k 1
2
4 X
1
[f ] =
cos(2kx) .

4k2 1
k=1
La srie converge pour tout x. En particulier
f (0) = 0 =
4 X
1
2
,

4k2 1
k=1
do
n=1
On a aussi
f (/2) = 1 =
1
1
= .
1
2
4n2
2
4 X
1
(1)k ,
2

4k 1
k=1
do
X
1
(1)n
= .
2
4n 1
2 4
n=1
Et enfin, par lgalit de Bessel-Parceval,
Z
Z
1 cos(2x)
1
16 X
2
2
8
2
dx = 1 ,
+
=
sin x dx =
2 2
(4k2 1)2
2
k=1
do
n=1
Comme
1
2 1
=
.
(4n2 1)2
16 2
g(x) =
on obtient aussi
[g] =
1
(f (x) + sin x) ,
2
1
1
sin x 2 X
+
cos(2kx) .
2
4k 1
k=1
Exercice 7
Trouver les coefficients de Fourier rels de la fonction 2priodique

f (x) = | sin3 x| .
1
2
(4n 1)(4n2 9)
n=1
et
n=1
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
2
an (f ) =
1
sin3 x cos(nx) dx =
2
Z
0
(3 sin x sin(3x)) cos(nx) dx ,
En transformant les produits en sommes,

1
an (f ) =
4
Z
0
[3(sin(n + 1)x sin(n 1)x) (sin(n + 3)x sin(n 3)x)] dx .
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
n+1
12 1 (1)
,
=
(n2 1)(n2 9)
donc an (f ) = 0 si n est impair, et
a2k (f ) =
24
1
,
2
(4k 1)(4k2 9)
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 =
+
,
2
3
(4k 1)(4k2 9)
k=1
do
n=1
1
1
= .
(4n2 1)(4n2 9)
18
En utilisant lgalit de Bessel-Parceval, on trouve

Z
1
242 X
2
32
sin6 x dx .
+ 2
=
9 2
(4k2 1)2 (4k2 9)2
k=1
En utilisant les intgrales de Wallis In =
/2
R
sinn x dx qui vrifient la relation de rcurrence
nIn = (n 1)In2 ,
FD 10
on trouve,
Z
0
do
Exercice 8
5
531
=
,
642 2
16
sin6 x dx = 2I6 = 2
1
5 2
1
.
=
2
2
2
2
(4n
1)
(4n
9)
4608
162
n=1
Calculer les coefficients de Fourier rels de la fonction f de E telle que, sur
] , [ ,
f (x) = x .
X
1
n2
X
(1)n
.
2n + 1
n=0
n=1
La fonction f est impaire donc an (f ) est nul. On a, si n > 0, en intgrant par parties,
bn (f ) =
x sin(nx) dx
x cos(nx) sin(nx)
+
n
n2
(1)n+1
= 2
.
n
[f ] = 2
X
(1)n+1 sin(nx)
n=1

0
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
(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
2
1
=
x2 dx = 2 ,
4
2
n
3
n=1
do
Exercice 9
X
1
2
.
=
2
n
6
n=1
[ , ] ,
n=0
f (x) = |x| .
1
(2n + 1)4
n=0
1
.
(2n + 1)2
La fonction f est paire donc bn (f ) est nul. On a,

2
a0 =
x dx = ,
et, si n > 0, en intgrant par parties,

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

[f ] =
4 X cos(2k + 1)x
,
2
(2k + 1)2
k=0
qui converge en particulier pour x = 0. On a
1
4 X
f (0) = 0 =
,
2
(2k + 1)2
k=0
do
n=0
2
1
=
.
2
(2n + 1)
8
FD 12
En utilisant lgalit de Bessel-Parceval, on obtient

Z
1
16 X
2
2
2
+ 2
=
x2 dx = 2 ,
4
2
(2k + 1)
3
k=0
do
n=0
Exercice 10
1
4
=
.
(2n + 1)4
96
[ , ] ,
f (x) = x2 .
X
1
n2
n=1
X
(1)n
n=1
n2
X
1
.
n4
n=1
La fonction f est paire donc bn (f ) est nul. On a,

2
a0 (f ) =
x2 dx =
2 2
,
3
et, si n > 0, en intgrant plusieurs fois par parties,

an (f ) =
x2 cos(nx) dx
cos(nx)
sin(nx)
x2 sin(nx)
=
+ 2x
2
2
n
n
n3
n
(1)
.
= 4
n2
2
X
(1)n cos(nx)
2
[f ] =
+4
,
3
n2
n=1
qui converge pour tout x rel. En particulier,
f (0) = 0 =
X
(1)n
2
+4
.
3
n2
n=1
do
X
(1)n
n=1
n2
2
,
12

0
FD 13
ainsi que,
f () = 2 =
X
1
2
+4
.
3
n2
n=1
do
X
1
2
.
=
2
n
6
n=1
Avec la formule de Bessel-Parceval,

Z
X
1
2
2
2 4
+ 16
=
x4 dx = 4 .
4
9
n
5
k=1
do
X
4
1
.
=
n4
90
n=1
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
2 X (1)n
(1)n
.
=
3
(2n
+
1)
8
2n
+
1
n=0
n=0
La fonction f est impaire donc an (f ) est nul. On a, si n > 0, en intgrant par parties,
bn (f ) =
Z
0
2
sin(nx) dx
2

2 sin(nx) 2 cos(nx)
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
2
4 X
sin(2k + 1)x ,
[f ] =
4(2k + 1) (2k + 1)3

k=0
FD 14
qui converge en particulier pour x = /2. On a

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

k=0
do
X
2 X (1)k
(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
k=0
Exercice 12
3
(1)k
=
.
(2k + 1)3
32
Soit P un polynme pair de degr 4 vrifiant les conditions
P () = 0 , P () = 1 ,
P (x) dx = 0 .
Dterminer les coefficients de Fourier de la fonction f de E qui concide avec P sur lintervalle
[ , ] .
X
X
X
(1)n
1
1
, S2 =
, S3 =
.
En dduire les sommes suivantes : S1 =
4
4
n
n
n8
n=1
n=1
n=1
Puisque f est paire, on a bn (f ) = 0 et
2
an (f ) =
P (x) cos(nx) dx .
Dautre part, la troisime condition implique que a0 (f ) est nul. En intgrant par parties plusieurs fois
de suite, on obtient, si n 1,

cos(nx)
sin(nx)
cos(nx)
sin(nx)
sin(nx)
2
(4)
.
+ P (x)
P (x)
P (x)
+ P (x)
P (x)
an (f ) =
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
an (f ) =
2 (1)n+1
.
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
P (x) =
an (f ) cos(nx) .
n=1
En particulier, on en dduit que
X
(1)n
1
= P () et
4
n
2
n4
n=1
n=1
= P (0) .
2
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

=
et donc
1
P (x) =
6
On a alors
Z
0
1
P (x) dx =
6
1
,
6
x4 2 x2
4
2
x5 2 x3
20
6
+ Cx

0
+C.
1
=
6
7 5
60
La nullit de cette intgrale signifie donc que

C=
7 3
,
360
et donc que
1
P (x) =
6
x4 2 x2 7 4
+
4
2
60
P () =
3
45
et P (0) =
On trouve donc
do
X
4
1
=
4
n
90
n=1
et
X
(1)n
n=1
n4
7 3
,
360
=
7 4
.
720
+ C .
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
On obtient donc,
S3 =
Z
0
=
=
=
Exercice 13
1
36 2
x4 2 x2 7 4
+
4
2
60
2
dx

Z 8
x
2 x6 37 4 x4 7 6 x2 49 8
1
+
dx
72
16
4
120
60
3600
0

8
1
1
37
7
49
+
72 144 28 600 180 3600
8
.
9450
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

f
eix
eix
(a, x) =
+
,
a
1 aeix 1 aeix
donc, si |a| < 1,
X
X
f
an einx
an einx + eix
(a, x) = eix
a
n=0
n=0
= 2
n=0
an cos(n + 1)x = 2
an1 cos(nx) .
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,
f (a, x) = 2
X
an
n=1
cos(nx) .
FD 17
Mais

n
|a|n
a

cos(nx)
,

n
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
f (a, x) = 2 ln |a| + f (1/a, x) = 2 ln |a| 2
X
an
n=1
cos(nx) .
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
eax (cos(nx) + i sin(nx)) dx =
Z2
e(a+in)x
eax einx dx =
a + in
Alors
an (fa ) =
a e2a 1
a2 + n2
et
[fa ] =
e2a 1
De mme,
Z
0
ax
"
e (cos(nx) + i sin(nx)) dx =
ax inx
e e
#2
0
e2a 1
e2a 1
= 2
(a in) .
a + in
a + n2
n e2a 1
,
a2 + n2
!
X
a cos(nx) n sin(nx)
1
+
.
2a
a2 + n2
et bn (fa ) =
n=1
"
e(a+in)x
dx =
a + in
#
0
(1)n ea 1
(1)n ea 1
=
(a in) .
a + in
a2 + n 2
Comme la fonction ga est paire, on a bn (ga ) = 0, et

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

bn (ha ) =
et
2n (1)n ea 1
,
a2 + n 2
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 :
X
(1)n
a2 n 2
et

X
n=0
n=0
1
1
+
2
(n a)
(n a)2
Si a est entier la srie de Fourier se limite

[fa ] = eiax .
Supposons donc que a nest pas entier. On a
Z
Z
1
1
iax inx
e e
dx =
ei(an)x dx .
cn (fa ) =
2
2
cn (fa ) =
1
2
"
ei(an)x
i(a n)
et
Si x = 0, la srie de Fourier converge et

fa (0) = 1 =
[fa ] =
1
eia eia
1
sin(a)
(1)n
= (1)n
,
2
i(a n)
an
sin(a) X (1)n inx

e .
n
n=
sin(a) X (1)n
an
n=
sin(a)
sin(a)
1 X (1)n X (1)n
+
+
a n=1 a n n=1 a + n
!
X
1
(1)n
+ 2a
,
a
a2 n 2
n=1
FD 19
do

1
1
(1)n
=
,
a2 n 2
2a sin(a) a
n=1
et finalement

X
X
(1)n
(1)n
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,
1
sin2 (a)
=
2
2
(a n)
2
n=
On a donc
sin2 (a)
1=
2
do

X
n=1
et finalement

X
n=0
Exercice 16
dx = 1 .
X
1
1
1
+
+ 2
2
2
(a + n)
(a n)
a
n=1
n=1
1
1
+
2
(a n)
(a + n)2
1
1
+
2
(a n)
(a + n)2
Z2
X
2
= 2+
a
n=1
1
2
2,
2
sin (a) a
1
1
+
2
(a n)
(a + n)2
1
2
+ 2.
2
sin (a) a
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
cotan t =
1 X
2t
+
.
2
t n=1 t n2 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
2
a0 (f ) =
Z
0
cos(ax) dx =
2 sin(a)
,
a
FD 20
et, si n > 0,
2
an (f ) =
cos(ax) cos(nx) dx .
En transformant le produit de cosinus en somme,

1
an (f ) =
Z
0
(cos(a + n)x + cos(a n)x) dx

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,
f (x) =
sin(a) X 2a(1)n sin(a)

+
cos(nx) .
a
(a2 n2 )
n=1
En particulier, si x = ,
sin(a) X 2a sin(a)
f () = cos(a) =
+
,
a
(a2 n2 )
n=1
Si t = a, on obtient alors, en divisant par sin(a),
cotan t =
Exercice 17
1 X
2t
+
.
2
t n=1 t n2 2
Soit la fonction f dfinie par

f (x) = x E(x)
1
.
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
0
f (px)f (qx) dx =
d2
.
12pq
FD 21
On a
E(x + 1) = E(x) + 1 ,
donc
f (x + 1) = x + 1 E(x + 1)
1
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) ,
f (x) = x E(x) = x E(x)
2
2
et f est impaire sur R \ Z.

Il en rsulte que la srie de Fourier de f est de la forme
[f ] =
bn (f ) sin(2nx) ,
n=1
avec
bn (f ) = 2
Z1
f (x) sin(2nx) dx = 2
Z1
0
1
x
2
sin(2nx) dx .
En intgrant par parties

Z1
cos(2nx)
1
1 cos(2nx) 1
dx =
,
+2
bn (f ) = 2 x
2
2n
2n
n
0
0
do la srie de Fourier de f
[f ] =
1 X sin(2nx)
.
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
fp (x) = f (px) =
1 X sin(2npx)
.
n
n=1
FD 22
Il en rsulte que
bm (fp ) =
si p ne divise pas m
p
m
Or, daprs la formule de Bessel-Parceval,
Z1
si p divise m
f (px)f (qx) dx =
1 X
bm (fp )bm (fq ) .
2
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
f (px)f (qx) dx =
pq X 1
1 X
1 X pq
=
.
bk (fp )bk (fq ) =
2
2
k 2 2 2
22 2
k2
Finalement
k=1
k=1
Z1
f (px)f (qx) dx =
pq
,
122
Z1
f (px)f (qx) dx =
d2
.
12pq
k=1
mais puisque d = pq, on a aussi
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
1
an (f ) =
Z2
f (x) cos(nx) dx ,
et en intgrant par parties
Z2
h
i
2
1
1
+ nf (x) sin(nx) dx = (f (2) f (0)) + nbn (f ) ,
an (f ) = f (x) cos(nx)
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
a0 (f ) =
f (x) dx =
La srie de Fourier de
2
(f (2) f (0)) = 0 .
est donc
[f ] =
(nbn (f ) cos(nx) nan (f ) sin(nx)) ,
n=1
et cest la drive terme terme de celle de f
a0 X
(an (f ) cos(nx) + bn (f ) sin(nx)) .
+
[f ] =
2
n=1
b) Cherchons les coefficients de Fourier de la fonction f . On a

1
a0 (f ) =
Z2
x dx = 2 ,
an (f ) =
Z2
0
bn (f ) =
Z2

2 Z2
sin(nx)
1
sin(nx)
x cos(nx) dx = x
dx = 0 ,
n
n
0
0
x sin(nx) dx =
On a donc
1
cos(nx)
x
[f ] = 2
dont la drive terme terme vaut
2
2
0
X
sin(nx)
n=0
Z2
0
cos(nx)
2
dx = .
n
n
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
que
Soit f un lment de E valeurs relles, nul sur lintervalle ] , 0 [ . Montrer
bn (f )2 =
n=1
a0 (f )2 X
an (f )2 ,
+
2
n=1
et que, si la fonction f est somme de sa srie de Fourier sur ] 0, [ , on a, dans cet intervalle,
a0 X
bn (f ) sin(nx) =
an (f ) cos(nx) .
+
2
n=1
n=1
Introduisons la fonction impaire g qui concide avec f sur ] 0, [ . On a
2
bn (g) =
f (x) sin(nx) dx = 2bn (f ) .
Par ailleurs
g(x) dx = 2
g(x) dx = 2
f (x) dx = 2
f (x)2 dx .
Alors, daprs lgalit de Bessel-Parceval,

Z
X
1
a0 (f )2 X
2
2
bn (f ) =
an (f ) +
f (x)2 dx ,
+
2
n=1
n=1
et
4
bn (f ) =
n=1
n=1
On en dduit donc
1
bn (g) =
2
g(x) dx =
f (x)2 dx .
X
X
a0 (f )2 X
bn (f )2 ,
bn (f )2 = 2
an (f )2 +
+
2
n=1
n=1
do lgalit propose.
n=1
Si la srie de Fourier de f converge sur ] 0, [ , comme elle converge galement sur ] , 0 [ on a donc,
si x appartient ] 0, [ ,
f (x) =
a0 X
(an (f ) cos(nx) + bn (f ) sin(nx))
+
2
n=1
et
f (x) = 0 =
a0 X
(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
X
a0 X
bn (f ) sin(nx) = 0 ,
an (f ) cos(nx)
+
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 .
Montrer que
Z2
0
|f (x)| dx
Z2
0
|f (x)|2 dx .
Quand a-t-on galit ?
En utilisant lgalit de Bessel-Parceval, on a

1
2
Z2
0
|f (x)| dx =
n=
|cn (f )|
et
Z2
1
2
|f (x)| dx =
n=
|cn (f )|2 ,
mais,
cn (f ) = incn (f ) ,
donc, si n nest pas nul,
|cn (f )| = |n||cn (f )| |cn (f )| .
Par ailleurs
1
c0 (f ) =
2
Z2
f (x) dx = 0 et c0 (f ) = 0 .
On obtient donc
n=
do lingalit voulue.
La diffrence
n=
|cn (f )|2
|cn (f )|2
n=
n=
|cn (f )|2 =
|cn (f )|2 ,
(|cn (f )|2 |cn (f )|2 )
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
1
a0 (g) =
Z2
f (x) cos x dx = a1 (f ) et
1
a0 (h) =
Z2
f (x) sin x dx = b1 (f ) .
Si n = 1, on obtient
1
a1 (h) = b1 (g) =
Z2
1
f (x) cos x sin x dx =
2
Z2
f (x) sin(2x) dx =
1
b2 (f ) ,
2
Si n 1, on a successivement
1
an (g) =
Z2
1
f (x) cos x cos(nx) dx =
2
Z2
1
f (x) sin x sin(nx) dx =
2
1
bn (h) =
Z2
f (x)(cos(n+1)x+cos(n1)x) dx =
1
(an+1 (f )+an1 (f )) ,
2
f (x)(cos(n1)xcos(n+1)x) dx =
1
(an1 (f )an+1 (f )) ,
2
Z2
0
et si n 2,
1
bn (g) =
Z2
1
f (x) cos x sin(nx) dx =
2
1
an (h) =
Z2
0
Z2
0
1
f (x) sin x cos(nx) dx =
2
1
f (x)(sin(n + 1)x + sin(n 1)x) dx = (bn+1 (f ) + bn1 (f )) ,
2
Z2
0
1
f (x)(sin(n + 1)x sin(n 1)x) dx = (bn+1 (f ) bn1 (f )) .
2
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,
1
an (f) =
et
1
bn (f) =
1
f (x) cos(nx) dx =
1
f (x) sin(nx) dx =
f (t) cos(nt) dt = an (f ) ,
f (t) sin(nt) dt = bn (f ) .
f (x)einx dx = cn (f ) .
b) On a
1
cn (f) =
2
inx
f (x)e
1
dx =
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
nZ
c) Soit p N . Montrer que
| sin(nh) cn (f )|2 k2 h2 .
2p1 |n|2p 1
d) En dduire que
nZ
|cn (f )|2
k2 2
.
22p+1
|cn (f )| < +, puis que f est la somme de sa srie de Fourier.
Remarquons tout dabord que f et gh sont continues.

a) On a
cn (gh ) =
1
2
1
2
(f (t + h) f (t h))eint dt
int
f (t + h)e
1
dt
2
f (t h))eint dt .
FD 29
En effectuant un changement de variable dans les deux intgrales, on trouve
cn (gh ) =
+h
Z
1
2
in(uh)
f (u)e
1
du
2
+h
+h
Z
einh
2
h
Z
f (u)ein(u+h) du
h
Z
f (u)einu du .
h
inu
f (u)e
einh
du
2
+h
Mais en raison de la priodicit des fonctions intgres, on a

+h
Z
inu
f (u)e
h
Z
du =
+h
inu
f (u)e
du =
f (u)einu du = 2 cn (f ) ,
do
cn (gh ) = (einh einh )cn (f ) = 2i sin(nh) cn (f ) .
b) Alors
X
nZ
| sin(nh) cn (f )|2 =
et, en raison de lgalit de Bessel-Parceval,

X
nZ
1
|cn (gh )| =
2
2
1 X
|cn (gh )|2 ,
4
nZ
|gh (x)|2 dx ,
donc
X
nZ
1
| sin(nh) cn (f )| =
8
2
|gh (x)|2 dx ,
Mais, puisque f est klipschitzienne,

|gh (x)| = |f (x + h) f (x h)| k |(x + h) (x h)| = 2kh ,
do
X
nZ
1
| sin(nh) cn (f )|
8
2
c) Prenons comme valeur de h le nombre
/2p+1 .
4k2 h2 dx = k2 h2 .
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
2p1 |n|2p 1
|cn (f )|2 2
2p1 |n|2p 1
sin2 (nh)|cn (f )|2 2
nZ
sin2 (nh)|cn (f )|2 2k2 h2 =
k2 2
.
22p+1
d) En utilisant lingalit de Schwarz, on a

X
2p1 |n|2p 1
Or
|cn (f )| 1
2p1 |n|2p 1
2p1 |n|2p 1
et, puisquil y a 2p termes dans la somme,
Finalement
|cn (f )|2
2p1 |n|2p 1
2p1 |n|2p 1
La srie de terme gnral
k
p+1
2
|cn (f )|2
1/2
1/2
1/2
2p1 |n|2p 1
1/2
k 1
p,
22
|cn (f )|
2 .
k
2
p+1
converge et, si lon pose,

X
Sp =
2p1 |n|2p 1
|cn (f )| ,
on en dduit que la srie de terme gnral Sp converge galement, mais
Sp =
p=1
nZ
|cn (f )| .
Il en rsulte bien que

X
nZ
|cn (f )| < + .
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

f (x) =
ex
.
2 ch(x/2)
a) Montre que f est intgrable sur R et que

Z
f (x) dx = 4
n=0
(1)n (2n + 1)
.
(2n + 1)2 2 42
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
f (x) dx =
a) Au voisinage de +, on a
2 ch
1
.
cos
x
ex/2 ,
2
donc, si lon pose,

g (x) = exp
on a

x ,
2
f (x) g (x) .
Comme /2 est strictement ngatif, la fonction g est intgrable au voisinage de +, donc f
galement.
De mme en ,
2 ch
x
ex/2 ,
2
donc, si lon pose,

h (x) = exp
on a

x ,
2
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
+
() =
f (x) dx
et () =
Z0
f (x) dx .
En effectuant le changement de variable u = x, on obtient

+
() =
Z0
f (u) du =
f (u) du = () ,
et donc
Z0
f (x) dx = + () + () = + () + + () .
Calculons alors
+
() =
f (x) dx =
Z
0
ex
dx =
ex/2 + ex/2
Z
0
e(/2)x
dx .
1 + ex
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
2
() =
Z1
u2/
du .
1 + u2
Si 0 u < 1, on a
X
u2/
(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
Z1
k

1

u
(1)n u2/+2n du u2/+2(k+1) du =
.

2

1+u
2k + 3 2/
n=0
Il en rsulte que cette expression tend vers 0 quand k tend vers linfini et donc que
1
X
(1)n
(1)n
2 X
2 X
n 2/+2n
=2
.
(1) u
du =
() =
n=0
n=0 2n + 1 2/
(2n + 1) 2
n=0
+
Alors
Z
f (x) dx = ()+ () = 2
n=0
X
X
(1)n
(1)n
(1)n (2n + 1)
+2
= 4
.
(2n + 1) 2
(2n + 1) + 2
(2n + 1)2 2 42
n=0
n=0
b) La fonction tant impaire, on a an () = 0, et

2
bn () =
sin(ax) sin(nx) dx .
En transformant le produit de sinus en somme, on obtient

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

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
(/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

sin =
X
(1)n (2n + 1) sin cos
1 X 2(1)n (2n + 1) sin(2)
=
4
.
2
2
2
(2n + 1) 4 /
(2n + 1)2 2 42
n=0
n=0
FD 34
Finalement
X
(1)n (2n + 1)
1
f (x) dx .
= 4
=
cos
(2n + 1)2 2 42
n=0
Exercice 25
Pour tout entier k > 0, soit fk la fonction 2priodique dfinie sur [ 0, 2 [
par
fk (x) =
a) Calculer le coefficient de Fourier c0 (fk ).
x k
.
2
b) Si n > 0, trouver une relation de rcurrence entre cn (fk ) et cn (fk1 ), et en dduire

(1)
cn (fk ) =
k
X
(2in)s
k!
.
k+1
(2in)
s!
s=1
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
|cn (fk )|
e2|n|
.
k+1
a) On a
Z2
1
c0 (fk ) =
2
fk (x) dx =
1
.
k+1
b) En intgrant par parties, si n 1, on obtient

cn (fk ) =
1
2
Z2
inx
fk (x)e
1
dx =
(2)k+1
1
(2)k+1
xk einx dx
Z2
inx 2 Z2
inx
e
e
xk
dx
+ kxk1
in
in
0
0
k
1
+
2in (2)k+1 in
Z2
0
xk1 einx dx .
FD 35
Donc, si k 2,
cn (fk ) =
k
1
+
cn (fk1 ) .
2in 2in
Par ailleurs
1
1
+
cn (f1 ) =
2in (2)2 in
Z2
0
eix dx =
1
,
2in
ce qui donne la formule (1) lordre 1. On dmontre alors cette formule par rcurrence sur k.
Supposons la formule vraie lordre k. Alors
cn (fk+1 ) =
=
=
1
k+1
+
cn (fk )
2in
2in
k
X
k!
(2in)s
k+1
1
2in
2in (2in)k+1
s!
s=1
1
(k + 1)!
2in (2in)k+2
k
X
s=1
(2in)s
s!
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
X
xs
xk+1
(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
X
xk+1
xk+1 x
xs(k+1)
xs
=
e .
s!
(k + 1)!
(s (k + 1)!
(k + 1)!
s=k+1
Maintenant
k
X
(2in)s
s=1
s!
s=k+1
= e2in 1
X
X
(2in)s
(2in)s
=
,
s!
s!
s=k+1
s=k+1
FD 36
et donc
X (2in)s X
s
X
(2in)
(2n)s
(2n)k+1 2n

e
,

=

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

|cn (fk )|
Exercice 26
e2|n|
.
k+1
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,

1
cn (fp ) =
2
Z2
1
f (px)einx dx =
2p
Z2p
f (u)einu/p dx .
0
Si p divise n, alors la fonction qui u associe f (u)einu/p est 2priodique et

1
cn (fp ) =
2
Z2
f (u)einu/p du = cn/p (f ) .
b) (i) Daprs la formule de Bessel-Parceval
1
|cn (fp )| =
2
n=
2
Z2
0
|f (px)|2 dx .
FD 37
et en changeant de variable
1
|cn (fp )| =
2p
n=
2
Z2p
|f (u)|2 du ,
0
puis, en utilisnt la priodicit de f ,
1
|cn (fp )| =
2
n=
2
Z2
0
|f (u)|2 du ,
et enfin, de nouveau daprs la formule de Bessel-Parceval
n=
Mais
n=
|cn (fp )| =
Il en rsulte que
n=kp
|cn (fp )|2 =
|cn (fp )| +
n6=kp
n6=kp
n=
|cn (f )|2 .
|cn (fp )| =
n=
|cn (f )|2 +
n6=kp
|cn (fp )|2 .
|cn (fp )|2 = 0 .
Donc cn (fp ) est nul lorsque p ne divise pas n.

(ii) En effectuant le changement de variable u = t + 2, on obtient
1
cn (fp ) =
2p
Z2p
e2in/p
f (u)einu/p du =
2p
0
2(p1)
Z
f (t)eint/p dt = e2in/p cn (fp ) ,
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.
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
gr (x) =
1 r2
.
1 + r 2 2r cos x
FD 38
On a
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
1
cn (fr ) =
2
Z2 X
k ikx inx
k r e
0 k=0
Z
1 X
dx =
k r k ei(kn)x dx .
2
k=0 0
On a donc
cn (fr ) =
n r n
0
si n 0
.
si n < 0
De mme, pour
Re fr (x) =
n r n cos nx ,
n=0
on obtient
an (Re fr ) =
n r n
20
si n 0
si n = 0
et bn (Re fr ) = 0 .
Enfin, pour
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
gr (x) = Re
o
R(z) =
1 + reix
= Re(S(reix )) ,
1 reix
X
1+z
2z
zn ,
=1+
=1+2
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

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

h(x) =
a n bn x n .
n=0
Montrer que si R < u < R et R < v < R , on a

1
h(uv) =
2
Z2
f (ueit )g(veit )dt .
En dduire, que si x est un nombre rel,

Z2
X
1
xn
=
e(x+1) cos t cos((x 1) sin t) dt .
2
(n!)
2
n=0
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
1
2
Z2
f (ueit )g(veit ) dt =
cn (fu )cn (gv ) .
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
1
it
it
xn
=
exe ee dt .
2
(n!)
2
n=0
0
FD 40
Or
it
exe ee
it
= 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)) .
On a donc
Z2
X
1
xn
=
e(x+1) cos t cos((x 1) sin t) dt ,
(n!)2
2
n=0
car
Z2
(x+1) cos t
sin((x 1) sin t) dt =
e(x+1) cos t sin((x 1) sin t) dt
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
1
f g(x) =
2
Z2
0
f (x t)g(t) dt .
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
Montrer que
||f || 2 =
1
2
Z2
0
1/2
|f (t)|2 dt
||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 proprit 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
1
f g(x) =
2
Zb
a
f (x t)g(t) dt .
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
2(f g(x) f g(y)) =
Zb
a
f (x t)g(t) dt
Zb
a
f (y t)g(t) dt ,
et, en effectuant un changement de variable dans chaque intgrale,
2(f g(x) f g(y)) =
xb
ya
Z
f (t)g(x t) dt
f (t)g(y t) dt
xa
Z
yb
yb
ya
xa
Z
Z
Z
f (t)g(x t) dt +
f (t)(g(x t) g(y t)) dt
f (t)g(y t) dt .
xb
xa
yb
En majorant les fonction |f | et |g| on obtient alors

F
FG
|y x| +
|f g(x) f g(y)|
xa
Z
|g(x t) g(y t)| dt .
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
FG
F
|f g(x) f g(y)|
|y x| +
xa
Z
dt ,
2F
yb
ce qui donne
FG
|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
|f g(x) f g(y)|
on a
|f g(x) f g(y)| ,
ce qui prouve la continuit de f g.
Enfin, on majore simplement
1
|f g(x)|
2
Z2
0
1
|f (x t)g(t)| dt
2
Z2
0
||f || ||g || dt = ||f || ||g || ,
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
1
f g(x + 2) =
2
Z2
0
1
f (x + 2 t)g(t) dt =
2
Z2
0
f (x t)g(t) dt = f g(x) ,
donc f g est 2priodique.

En effectuant le changement de variable u = x t, on obtient
1
f g(x) =
2
Z2
0
1
f (x t)g(t) dt =
2
et la loi est commutative.
Zx
x2
1
f (u)g(x u) du =
2
Z2
0
f (u)g(x u) du = g f (x) ,
FD 43
Ensuite
f (g h)(x) =
1
2
f (x u) g h(u) du
Z
1
4 2
1
4 2
1
f (x u)
2
Z Z
g(u t)h(t) dt du
f (x u)g(u t)h(t) dtdu
Z Z
f (x u)g(u t) du h(t) dt .
En effectuant le changement de variable s = u t dans lintgrale en du, on obtient
t
Z
Z
1
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
=
1
2
f g(x t)h(t) dt
= (f g) h ,
et la loi est associative.
On a
1
f 1 =
2
f (t) dt ,
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
1
ep eq (x) =
2
Z2
1 ipx
e
e dt =
2
ip(xt) iqt
Z2
ei(pq)t dt .
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
Z
Z2
Z2
Z
1
1
1
|f g(x)|
|f (x t)|2 dt |g(t)|2 dt =
|f (t)|2 dt
|g(t)|2 dt
,
2
2
2
0
donc
|f g(x)| ||f || 2 ||g || 2 .
En intgrant sur [ 0, 2 ] , il vient
Z2
0
|f g(x)| dx
||f ||22 ||g ||22
Z2
0
dx = 2 ||f ||22 ||g ||22 ,
do
||f
ce qui donne lingalit voulue.
g ||22
1
=
2
Z2
0
|f g(x)|2 dx ||f ||22 ||g ||22 ,
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
1
Hn (f ) Hn (g)(x) =
2
Z2
0
f (nx nt)g(nt) dt .
En effectuant le changement de variable u = nt, on obtient

1
Hn (f ) Hn (g)(x) =
2n
2n
Z
f (nx u)g(u) du
0
et en raison de la priodicit
1
Hn (f ) Hn (g)(x) =
2
Z2
0
f (nx u)g(u) du = f g(nx) ,
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) .
FD 47
On remarque que
/n
Z
n
f (x) =
2
f (x) dt .
/n
Par ailleurs
n
f n (x) =
2
/n
Z
f (x t) dt .
/n
Alors
n
f n (x) f (x) =
2
Z/n
(f (x t) f (x)) dt .
/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
n
|f n (x) f (x)|
2
Z/n
|f (x t) f (x)| dt .
/n
Il en rsulte bien que

lim f n (x) = f (x) .
Exercice 32
sinus ou cosinus.
Dterminer le produit de convolution f g lorsque f et g sont une des fonctions
FD 48
1) Si f et g sont la fonction cosinus
f g(x) =
1
2
1
4
Z2
0
Z2
0
=
=
cos(x t) cos t dt
(cos(x 2t) + cos x) dt
2

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

sin(x 2t)
1
t cos x
=
4
2
0
cos x
.
=
2
3) Si f et la fonction sinus et g la fonction cosinus
f g(x) =
1
2
Z2
0
=
=
sin(x t) cos t dt
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,

f g(x) =
=
=
1
2
(x t) cos t dt
1
(x t) sin t
2
h
sin t dt
i
1 h
= 0.
(x t) sin t cos t
2
2) Si f est la fonction sinus, on a, en intgrant par parties,

f g(x) =
1
2
(x t) sin t dt
Z
h
i
1
cos t dt
(x t) cos t
2
Exercice 34
i
1 h
= 1 .
(x t) cos t sin t
2
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
1
F G(x) =
2
Z2
0
f (x + a t)g(t + b) dt ,
et, en faisant le changement de variable u = t + b,

1
F G(x) =
2
2+b
Z
f (x + a + b u)g(u) du ,
FD 50
Mais en intgrant sur une autre priode,

1
F G(x) =
2
Z2
0
f (x + a + b u)g(u) du = f g(x + a + b) .
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
1
f f (x) =
2
Za
1
f (x t) dt =
2
x+a
Z
f (t) dt .
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
1
f f (x) =
2
Za
dt =
xa
1
(2a x) .
2
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),
1
f f (x) =
2
Za
xa
dt =
1
(2a x) .
2
Si x appartient [ 2 2a, ] , on a
a x a a 2 a x + a 2 ,
et donc
1
f f (x) =
2
Za
xa
1
dt +
2
x+a
Z
2a
dt =
1
1
((2a x) + (x + 2a 2)) =
(4a 2) .
2
2
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

1
g f (x) =
2
Z2
0
1
g(x t)f (t) dt =
2
Z
0
g(x t) dt ,
et en changeant de variable
g f (x) =
1
2
Zx
g(u) du =
1
2
Z0
g(u) du +
Zx
0
g(u) du =
1
2
1) Prenons g = f .
Si x appartient ] 0, [ alors
< x < 0 < x < ,
et
1
f f (x) =
2
Zx
f (u) du =
x
.
2
Si x appartient ] , 2 [ alors
0 < x < < x < 2 ,
et
1
f f (x) =
2
f (u) du =
Donc, sur ] , 0 [ , on a
f (x) =
2 x
.
2
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 < ,
g(u) du +
Zx
g(u) du .
FD 53
et
f f f (x) =
=
=
=
=
Z0
Zx
Zx
1
f f (u) du + f f (u) du
2
x
0
0
Z
Zx
u
1
u
du +
du
2
2
2
x
0
h i
h ix
0
1
+ u2
u2
8 2
0
x
1
((x )2 + x2 )
8 2
1
(2x2 2x + 2 ) .
8 2
Si x appartient ] , 2 [ alors
0 < x < < x < 2 ,
et
f f f (x) =
=
=
=
=
Exercice 37
1
f f (u) du + f f (u) du
2

Z
Zx
1
u
2 u
du +
du
2
2
2
x
h i
ix
h
1
2
2
(2 u)
u
8 2
x
1
( 2 (x )2 (2 x)2 + 2 )
8 2
1
(2x2 + 6x 3 2 ) .
8 2
Soit f et g deux lments de E. Montrer que si x appartient [ 0, ] , on a

2f g(x) =
f (x t)g(t) dt +
x+
Z
f (x t)g(t 2) dt .
Dterminer f f et f g lorsque
f (x) = x sur ] , [
et g(x) =
1 sur
1 sur
] 0, [
] , 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
f g(x) =
1
2
1
2
x+
Z
x
Z
x
f (x t)g(t) dt
x+
Z
1
f (x t)g(t) dt +
2
f (x t)g(t) dt .
Alors, comme g est 2priodique, on a aussi

1
f g(x) =
2
x+
Z
1
f (x t)g(t) dt +
2
f (x t)g(t 2) dt ,
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
2f f (x) =
(x t)t dt +
x
x+
Z
x+
Z
(x t)t dt 2
(x t)(t 2) dt
x+
Z
(x t) dt .
En effectuant le changement de variable u = x t,

2f f (x) =
u(x u) du 2
x
Z
u dt .
Puis, en raison de la parit

2f f (x) = 2
= 2
Z
0
u du
x
Z
2u dt
(x )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 [ , ] ,

f f (x) =
2
x2
+ |x|
.
2
3
Ensuite,
2f g(x) =
Z0
(t x) dt +
(t
2
0
x)2
Z
0
(x t) dt +
(t
2
x

x)2
0
x+
Z
(t x) dt
(t x)2
+
2

x+
x2 2 ( x)2 x2 2 ( x)2
+
+
=
2
2
2
2
2
2
2
2
= x ( x)
1
(2x 2 ) = x .
2
2
Mais, comme f et g sont impaires, la fonction f g est paire et finalement, sur [ , ]
f g(x) =
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
f (x) =
N
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
f (x) =
r
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

cn (f g) = cn (f )cn (g)
avec b0 = 0.
et cn =
1
(an ibn ) ,
2
FD 57
On a alors
cn (f g) =
1
1
(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
an (f g) =
1
((an (f )an (g) bn (f )bn (g))
2
et bn (f g) =
1
((an (g)bn (f ) + an (f )bn (g)) .
2
Lorsque f et g sont impaires, on a an (f ) = an (g) = 0, do

1
an (f g) = bn (f )bn (g) et
2
bn (f g) = 0 .
Lorsque f et g sont paires, on a bn (f ) = bn (g) = 0, do

1
an (f )an (g) et bn (f g) = 0 .
2
Lorsque f est paire et g impaire, on a bn (f ) = an (g) = 0, do
an (f g) =
an (f g) = 0 et bn (f g) =
1
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
n einx .
g(x) =
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
g(x) =
1 sur
1 sur
] 0, [
] , 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 (f ) =
(in)2
cn (g)
,
+ (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
f0 (x) =
avec la convention que
(in)2
cn (g)
einx ,
2 + (in) +
(in)
n=
cn (g)
est nul lorsque cn (g) est nul.
+ (in) +
Comme la suite (cn (g)) converge vers 0 en , elle est borne par une constante M , et

M
M
cn (g)

(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
cn (h1 ) = cn (g) cn (f0 ) = cn (g)
(in)2 + (in)
= ((in)2 + (in))cn (f0 ) .
(in)2 + (in) +
Comme c0 (h1 ) est nul, et que h1 est dans E, on dfinit h2 en posant

h2 (x) =
Zx
h1 (t) dt .
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
h3 (x) =
Zx
k2 (t) dt
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

Z
Z0
1 1 (1)n
1
eint dt eint dt =
.
cn (g) =
2
in
0
Les coefficients de rang pair sont nuls et pour les coefficients de rang impair
c2k+1 (g) =
2
1
.
i(2k + 1)
Alors
cn (f f ) = ((in)2 in)cn (f ) = cn (g) ,
FD 61
et donc, si n 6= 0,
cn (f ) =
cn (g)
1
1
1 1 (1)n
1 (1)n 1
1 (1)n 1 + in
=
=
=
.
(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
f (x) = A +
n6=0
1 + i(2k + 1)
cn (g)
2 X
inx
e
=
A
+
ei(2k+1)x .
2
(in) in
(2k + 1)2 ((2k + 1)2 + 1)

kZ
Si lon revient aux coefficients rels,

sin(2k + 1)x
4 X
cos(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

sin(2k + 1)x
cos(2k + 1)x 1
4 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
f (x) =
1 ex
1 ex
sur
] 0, [
sur
] , 0 [
La fonction f cherche est de classe C1 sur R. On doit donc avoir les trois relations suivantes
donc (1)
f+ (0) = f (0)
f () = f+ () donc (2)
f () = f+ () donc (3)
1 = 1
(1 e ) = (1 e )
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
=
puis
2
e/2
2(1 e )
=
= 1 + th ,
e2 1
1 + e
ch 2
2
= + 2 = 1 + th
Finalement
(1 ex )
x
th
2
f (x) =

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

FD

Transféré par

Informations du document

Copyright

Formats disponibles

Partager ce document

Partager ou intégrer le document

Options de partage

Avez-vous trouvé ce document utile ?

Ce contenu est-il inapproprié ?

Droits d'auteur :

Formats disponibles

FD

Transféré par

Droits d'auteur :

Formats disponibles

FD 1

FD - EXERCICES SUR LES SERIES DE

CALCULS DE COEFFICIENTS DE FOURIER

Alors, lorsque f est valeurs relles, si n 0,

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

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

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

Donc b2k (f ) est nul, et

Alors, en /2, o f est drivable, on a

Avec la formule de Bessel-Parceval

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

En dduire les sommes suivantes :

qui converge pour tout x rel. En particulier,

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

Avec la formule de Bessel-Parceval

Soit a un nombre tel que 0 < a < . On dfinit

deux lments fa et ga de E par

do les sries de Fourier

Avec la formule de Bessel-Parceval

et en , o ga est galement drivable, on a

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

La srie converge en a, donc

En utilisant lgalit de Bessel-Parceval

En dduire les sommes suivantes :

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

(sin(n + 1)x sin(n 1)x) dx

cos(n + 1)x cos(n 1)x

Le coefficient est nul si n est impair. Alors

La srie converge pour tout x. En particulier

Et enfin, par lgalit de Bessel-Parceval,

Trouver les coefficients de Fourier rels de la fonction 2priodique

En dduire les sommes suivantes :

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

(3 sin x sin(3x)) cos(nx) dx ,

En transformant les produits en sommes,

[3(sin(n + 1)x sin(n 1)x) (sin(n + 3)x sin(n 3)x)] dx .

On constate que a1 (f ) et a3 (f ) sont nuls. Si n est diffrent de 1 et 3, on obtient

Cette srie converge pour tout x et en particulier

En utilisant lgalit de Bessel-Parceval, on trouve

(4k2 1)2 (4k2 9)2

En utilisant les intgrales de Wallis In =

sinn x dx qui vrifient la relation de rcurrence

Calculer les coefficients de Fourier rels de la fonction f de E telle que, sur

En dduire les sommes suivantes :

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

Dans cette somme les termes de rang pair sont nuls do

En utilisant lgalit de Bessel-Parceval, on obtient

Calculer les coefficients de Fourier rels de la fonction f de E telle que, sur

En dduire les sommes suivantes :

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

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

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

qui converge en particulier pour x = 0. On a

En utilisant lgalit de Bessel-Parceval, on obtient

Calculer les coefficients de Fourier rels de la fonction f de E telle que, sur

En dduire les sommes suivantes :

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

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

qui converge pour tout x rel. En particulier,

Avec la formule de Bessel-Parceval,

Calculer les coefficients de Fourier rels de la fonction f de E impaire telle que,

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

4(2k + 1) (2k + 1)3

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