Exercices corrigs

sur les sries de Fourier

1 Enoncs
Exercice 1 Calculer la srie de Fourier trigonomtrique de la fonction 2 -priodique f : R R telle
que f (x) = |x| sur ], ]. La srie converge-t-elle vers f ?

Exercice 2 Calculer la srie de Fourier, sous forme trigonomtrique, de la fonction 2 -priodique

f : R R telle que f (x) = x2 sur [0, 2[. La srie converge-t-elle vers f ?

Exercice 3 Soit f : R R la fonction 2 -priodique, impaire, telle que

{
1 si x ]0, [
f (x) =
0 si x = .

(1) Calculer les coecients de Fourier trigonomtriques de f .

(2) tudier la convergence (simple, uniforme) de la srie de Fourier de f .
(3) En dduire les valeurs des sommes





(1)k 1 1 (1)n1
, , , .
2k + 1 (2k + 1)2 n2 n2
k=0 k=0 n=1 n=1

Exercice 4 Soit f : R R la fonction 2 -priodique telle que f (x) = ex pour tout x ], ].

(1) Calculer les coecients de Fourier exponentiels de la fonction f .
(2) tudier la convergence (simple, uniforme) de la srie de Fourier de f .
(3) En dduire les valeurs des sommes



(1)n 1
, .
n2 + 1 n2 +1
n=1 n=1

Exercice 5 Soit f : R R la fonction 2 -priodique dnie par

f (x) = (x )2 , x [0, 2[ .

(1) Calculer les coecients de Fourier trigonomtriques de f .

(2) tudier la convergence de la srie de Fourier de f .
(3) En dduire les sommes des sries



(1)n 1
, .
n2 n2
n=1 n=1

1
Exercice 6 Soit f : R R une fonction 2 -priodique continment direntiable, et soit un rel
non nul. On considre l'quation direntielle
x (t) + x(t) = f (t).

Trouver une solution 2 -priodique de cette quation en crivant x(t) et f (t) sous la forme de sries
de Fourier trigonomtrique. Appliquer ce rsultat au cas o = 1 et
( )2
si t [0, [ ,
t 2

f (t) = ( )

3 2 2
t + si t [, 2[ .
2 2

Exercice 7 (Thorme de Fjer) On note C (R/2Z) l'ensemble des fonctions continues de R dans
C et 2 -priodiques. On dnit le produit de convolution de deux fonctions f1 , f2 C (R/2Z) par

1
(f1 ~ f2 )(x) = f1 (x y)f2 (y) dy.
2

Pour tout k N , soit k : R C la fonction dnie par

1 imx
k1 l
k (x) = e .
k
l=0 m=l

(1) Montrer que

1 1 cos kx si x 2Z,
k (x) = k 1 cos x

k si x 2Z.
(2) Montrer que k satisfait les proprits suivantes :

(a) pour tout k, (2)1 k (x) dx = 1 ;

(b) pour tout ]0, [, (2)1 |x|[,] k (x) dx 0 lorsque k .
En dduire que, si f C (R/2Z), alors f ~ k converge vers f uniformment sur R.
(3) Calculer f ~ k . Conclure.

2
2 Solutions
Solution de l'exercice 1 Il est facile de voir que la fonction f est paire, de sorte que les coecients bn
sont tous nuls, et que
{ 2 ( )
1 (1)n si n = 0,

2 2
an (f ) = f (t) cos(nt) dt = 2 cos(nt) dt t cos(nt) dt = n 2
0 0 0 si n = 0.
On a donc :
4 ( )
SF (f )(t) = + 2
cos (2k + 1)t .
2 (2k + 1)
k1
Puisque la fonction f est continue sur R, le thorme de Dirichlet montre que la srie converge vers f
en tout point de R.

Solution de l'exercice 2 La fonction f n'est ni paire ni impaire. Calculons ses coecients de Fourier
trigonomtriques. D'une part,
2 2 [ ]2
1 1 2 1 t3 8 2
a0 (f ) = f (t) dt = t dt = = ,
0 0 3 0 3
et d'autre part, pour n 1,
2
1
an (f ) = t2 cos(nt) dt

{0[ ]2 }
2
1 2 sin(nt) sin(nt)
= t 2t dt
n 0 0 n
{[ ( )] 2 }
2 cos(nt) 2 cos(nt)
= t + dt
n2 0 0 n2
{ [ ] }
2 2 sin(nt) 2
= 2 +
n n3 0
4
=
n2
et
2
1
bn (f ) = t2 sin(nt) dt

{[ 0
]2 2 }
1 cos(nt) cos(nt)
= t2 + 2t dt
n 0 0 n
{ [ ] 2 }
1 4 2 sin(nt) 2 sin(nt)
= + 2t 2 dt
n n2 0 0 n2
[ ]
4 2 cos(nt) 2
= +
n n3 0
4
= .
n
On a donc : ( )
4 2 cos(nt) sin(nt)
SF (f )(t) = +4 .
3 n2 n
n1

3
La fonction f satisfait les hypothses du thorme de Dirichlet, et la srie SF (f ) converge en tout t
vers {
f (t+) + f (t) f (t) si t 2Z,
=
2 2 2 si t 2Z.

Solution de l'exercice 3

(1) La fonction f tant impaire, an = 0 pour tout n N. Pour n 1,

[ ] 4
2
cos(nt) 2 1 (1) n
si n est impair,
bn (f ) = sin(nt) dt = = = n
0 n 0 n 0 si n est pair.
La srie de Fourier trigonomtrique de f est donc donne par

4 ( )
SF (f )(t) = sin (2k + 1)t .
(2k + 1)
k=0

(2) La fonction f satisfait les hypothses du thorme de Dirichlet, et la srie SF (f ) converge en

tout t vers
f (t+) + f (t)
= f (t).
2
La convergence ne peut tre uniforme car la limite f n'est pas continue.
(3) Pour t = /2, on a :
( ) ( )
(1)k ( )
sin (2k + 1)t = sin + k = (1) , k
donc = f = .
2 (2k + 1) 4 2 4
k=0

Puisque f est impaire, l'galit de Parseval donne

1
1 8 1 1 2
|f (t)|2 dt = |bn (f )|2 = 2 , donc = .
2 2 (2k + 1)2 (2k + 1)2 8
n=1 k=0 k=0

Ensuite, on a :




1 1 1 2 1 1 1 4 2 2
= + = + , donc = = .
n2 (2k + 1)2 (2k)2 8 4 n2 n2 3 8 6
n=1 k=0 k=1 n=1 n=1

Enn,




(1)n1 1 1 2 (1)n1 2 1 2 2
+ = = , donc = = .
n2 (2k)2 (2k + 1)2 8 n2 8 4 6 12
n=1 k=1 k=1 n=1

4
Solution de l'exercice 4

(1) On a :

1
cn (f ) = et eint dt
2

1
= e(1in)t dt
2
[ ]
1 e(1in)t
=
2 1 in

( )
1 e (1in) e(1in)
=
2 1 in
( )
1 e e
= (1)n
2 1 in
sh (1) n
= .
1 in
(2) On vrie facilement que les hypothses du thorme de Dirichlet sont satisfaites. Il s'ensuit que
( )
SF (f )(t) = c0 (f ) + cn (f )eint + cn (f )eint
n1
( )
converge vers f (t) si t ], [ et vers f (+) + f () /2 = ch si t = . Autrement dit,
{
sh (1)n int et si t ], [
e =

nZ
1 in ch si t = .

La fonction somme n'tant pas continue, la convergence ne peut pas tre uniforme.
(3) Pour t = 0, on obtient :
sh (1)n
1= ,
1 in
nZ
soit ( )
1 1 2(1)n
=1+ (1)n + = 1 + ,
sh 1 in 1 + in 1 + n2
n=1 n=0
d'o l'on tire que
1( )

(1)n
= + 1 .
1 + n2 2 sh
n=0
Pour t = , on obtient :
sh 1
ch = ,
1 in
nZ
soit
1 2
= = 1 + ,
th 1 in 1 + n2
nZ n=0

d'o l'on tire que

1( )

1
= + 1 .
1 + n2 2 th
n=0

5
Solution de l'exercice 5:
(1) On remarque que f est paire, de sorte que bn (f ) = 0 pour tout n. Par ailleurs,
2 [ ]
1 1 1 y3 2 2
a0 (f ) = (x ) dx =
2
y dy = 2
= ,
0 3 3

et, pour tout n 1,

1 2
an (f ) = (x )2 cos(nx) dx
0

1 2
= y cos(ny + n) dy


(1)n 2
= y cos(ny) dy

(1)n 4
= 2 (1)n
n
4
= ,
n2
o l'on a eectu deux intgrations par parties. La srie de Fourier de f s'crit donc
cos nx
2
SF (f )(x) = +4
3 n2
n=1

(2) La fonction f est de classe C 1 (R). Le thorme de Dirichlet permet donc de conclure que, pour
tout x R, SF (f )(x) = f (x).
(3) D'aprs la question prcdente,
1 (1)n
2 2
2
= f (0) = +4 et 0 = f () = +4 .
3 n2 3 n2
n=1 n=1

On en dduit que



1 2 (1)n 2
= et = .
n2 6 n2 12
n=1 n=1

Solution de l'exercice 6 : On crit :

a0 A0
f (t) = + (an cos nt + bn sin nt) et x(t) = + (An cos nt + Bn sin nt)
2 2
n=1 n=1

et, en drivant terme terme,

x (t) = (nBn cos nt nAn sin nt) .
n=1

On a alors
A0 [ ]
x (t) + x(t) = + (nBn + An ) cos nt + (Bn nAn ) sin nt .
2
n=1

6
En identiant les coecients, on obtient :
a0

A0 = ,


a = A0 ,
0
an nbn
an = nBn + An , i.e. An = ,


n2 + 2
bn = Bn nAn ,


Bn =
nan + bn
.
n2 + 2
La fonction f propose est continment drivable sur R. Calculons ses coecients de Fourier. On a :
[ ( ) ]
1 ( )2 1 2
3 2 2 2
a0 (f ) = t dt + t + dt = .
0 2 2 2 2

Par ailleurs, on remarque que la fonction f a0 (f )/2 est impaire, de sorte que an (f ) = 0 pour n 1.
Enn,
[ ( ) ]
1 (
)2 1 2 3 2 2
bn (f ) = t sin nt dt + t + sin nt dt
0 2 2 2

1 (1)n ( )2 2
= t sin nt dt + sin nt dt
0 2 2
1 (1)n
= I1 + I2 ,
2
avec
(

)2
I1 = tsin nt dt
2
[0 ( ] (
)2 cos nt ) cos nt
= t + 2 t dt
2 n 0 0 2 n

2 ( ) 2 ( )
= 1 (1) +
n
t cos nt dt
4n n 0 2
([( ] )
2 ( ) 2 ) sin nt sin nt
= 1 (1) +
n
t dt
4n n 2 n 0 0 n
[ ]
2 ( ) 2 cos nt
= 1 (1) + 2
n
4n n n 0
2 ( ) 2 ( )
= 1 (1)n + 3 1 (1)n
4n [ 2 n ]
( ) 2
= 1 (1)n 3
4n n
et [ ]2
2
cos nt 1( )
I2 = sin nt dt = = 1 (1)n .
n n
Donc
4(1 (1)n )
bn (f ) = .
n3
On obtient A0 = 2 /2 et, pour tout k N , A2k = B2k = 0,
8
A2k1 = ( )
(2k (2k 1)2 + 1
1)2
8
et B2k1 = ( ).
(2k 1) (2k 1)2 + 1
3

7
Finalement, il est facile de voir que la srie


(nBn cos nt nAn sin nt)
n=1

est uniformment convergente, et que par consquent la srie

A0
+ (An cos nt + Bn sin nt) ,
2
n=1

qui est aussi uniformment convergente, a pour somme une fonction x(t) continment drivable sur R,
qui est solution de l'quation direntielle donne.

Solution de l'exercice 7 :
(1) Il est facile de voir que, pour tout l N et tout x 2Z,

l
l
l
cos lx cos(l + 1)x
eimx = eimx + eimx 1 = ,
1 cos x
m=l m=0 m=0

de sorte que
k1
l
1 cos kx
eimx = .
1 cos x
l=0 m=l
La valeur de k en tout x 2Z s'obtient aisment par un argument de continuit, ou par un
calcul direct.
imx
(2) Comme e dx est nulle pour m = 0 et vaut 2 pour m = 0, nous obtenons

1 1
k1 l
1
k (x) dx = eimx dx = 1.
2 2 k l=0 m=l

Fixons maintenant ]0, [, et posons K := 2(1 cos )1 . Il est clair que, pour tout x
[, ] [, ] et tout k N ,
 
1  1 cos kx  K
|k (x)| =  
k  1 cos x  k .

Donc, pour k susamment grand, |k (x)| , de sorte que

 
 
1  
 (x) dx ,
2  |x|[,] k 

et le point (b) s'ensuit. Puisque f est continue et 2 -priodique, elle est uniformment continue.
Etant donn > 0 x, il existe ]0, [ tel que
   
y, y R, y y  < = f (y ) f (y) < .
2
Nous avons alors :
2 |(f ~ k f )(x)|
 
 ( ) 
=   f (x y) f (x) k (y) dy 


|f (x y) f (x)| k (y) dy

= I1 + I2 ,

8
 o

I1 := |f (x y) f (x)| k (y) dy ,
|y|< 2
et
I2 := |f (x y) f (x)| k (y) dy 2 f k (y) dy.
|y|[,] |y|[,]

La proprit (b) montre que

2 f k (y) dy /2
y[,]

pour k susamment grand, et le rsultat s'ensuit.

(3) Nous avons :

1
(f ~ k )(x) = f (x y)k (y) dy
2

k1
l
1 1
= f (x y)eimy dy
2 k
l=0 m=l

1 1 imx x+
k1 l

= e f (y )eimy dy ,
2 k x
l=0 m=l

o l'on a eectu le changement de variable y = x y . En notant cm (f ) le coecient de Fourier

complexe de f d'ordre m et Sl (f )(x) la somme partielle d'ordre l de la srie de Fourier de f ,
c'est dire,

l
1 imy
cm (f ) := f (y)e dy et Sl (f )(x) := cm (f )eimx ,
2 m=l

nous voyons que

1 1
k1 l k1
(f ~ k )(x) = cm (f )eimx = Sl (f )(x).
k k
l=0 m=l l=0

Nous avons donc montr le thorme de Fjer : si f C (R/2Z), la srie de Fourier de f

converge uniformment vers f au sens de Csaro.