1

SERIES DE FOURIER (Corrige des exercices )

i i
1. Soit x 0, . On definit une fonction fx , continue, 2periodique sur IR, paire et affine
2
par morceaux, par fx (0) = 1 et fx |[2x,] = 0. Developper fx en serie de Fourier. En deduire les
+
X +
X
sin2 kx sin4 kx
valeurs de et .
k2 k4
k=1 k=1
( 1
(2x t) si t [0, 2x]
La fonction fx |[0,] est definie sur [0, ] par fx (t) = 2x , ce qui est
0 si t [2x, ]
possible, puisque 0 < 2x . On peut alors prolonger fx |[0,] par parite, en une fonction
continue fx |[,] . Cela definit alors une unique fonction fx , 2periodique sur IR, qui est
continue et affine, donc C 1 , par morceaux. En particulier, fx est continue et C 1 par morceaux.
Le theor`eme de Dirichlet montre que la serie de Fourier de fx converge en chaque point t de IR
et que sa fonction somme vaut fx (t). La parite de fx prouve que les bk (f ) sont nuls, et que
Z Z 2x
2 1
ak (fx ) = fx (t) cos ktdt = (2x t) cos ktdt.
0 x 0

2x
Lorsque k = 0, on obtient directement a0 (fx ) = . Lorsque k 6= 0, on obtient par une

integration par parties dont le crochet est nul
Z 2x
1 1 cos 2kx 2 sin2 kx
ak (fx ) = sin ktdt = = .
kx 0 k 2 x k 2 x
+
a0 (fx ) X
Lapplication du theor`eme de Dirichlet : f (t) = + ak (fx ) cos kt, donne pour t = 0,
2
k=1
+ +
x 2 X 2 sin2 kx X 2 sin2 kx x( x)
1= + 2
, donc 2
= .
x k x k x 2
k=1 k=1
Legalite de Parseval, pour la fonction paire fx , 2periodique et continue par morceaux,
Z +
1 (a0 (fx ))2 X
secrit |f |2 = + (ak (fx ))2 , cest-`a-dire
4
0 k=1

Z  t=2x +
1 2x
2 1 (2x t)3 2x x2 2 X sin4 kx
(2x t) dt = = = + .
4x2 0 4x2 3 t=0 3 2 2 x2 k4
k=1

+
X sin4 kx x3 (2 3x)
Il en resulte que = , (pour 0 x ).
k4 6 2
k=1

2. Developpement en serie de Fourier de f , 2periodique, paire, definie sur [0, ] par

x 3 x
f (x) = e 2 cos .
2
2

g = f|[,] est continue, avec g() = g() = 0 (g( + ) = g( ) = 0 par parite, et

g( ) = g( ) = 0 par periodicite). f est donc continue sur IR. f etant egalement de classe
C 1 par morceaux sur IR, il y a convergence uniforme de sa serie de Fourier.
bn (f ) = 0 par parite de f ;
Z Z
2 x3 x 1 x3 1 1 1
an (f ) = e 2 cos cos nx dx = e 2 [cos(n + )x + cos(n )x] dx = [In + In1 ]
0 2 0 2 2
Z  
x 23 +i(n+ 12 )
avec In = Re e dx et
0
 
Z   x 23 +i(n+ 12 )
x 23 +i(n+ 12 ) e
e dx =
0 23 + i(n + 12 )
0

3 1
[ 23 i(n + 1
2 )][e
2 ei(n+ 2 ) 1]
= 3
4 + (n + 12 )2

3 3
3 3
2 + (1)n e (n + 2 + 1
2) 2 (1)n e
(n + 12 ) 2
Do`
u In = 3 1 2 = . On a donc :
4 + (n + 2 )
n2 + n + 1

3
+ (1) n e 23 (n + 1 ) 3
+ (1) n1 e 23 (n 1 )
1 2 2 2
an = + 2
n2 + n + 1 n2 n + 1
 
1 n2 + 1
n+1 23 n2 1
= 3 4 + (1) e
n + n2 + 1 n4 + n 2 + 1
1
3
a0 = ( 3 + e 2 )

3. Determiner la serie de Fourier associee `a la fonction f : x 7 x E(x) et preciser sa
convergence.

La fonction f est continue par morceaux, 1-periodique ; ses ( discontinuites ne sont pas
f (x) si x
/ ZZ
reguli`eres, la fonction regularisee associee `a f se definit par f(x) = 1 .
si x ZZ
2
Z1
1
a0 (f ) = f (t)dt. On obtient immediatement a0 (f ) = .
2
0
Z1 Z1
Pour tout n IN : an (f ) = 2 f (t) cos(n2t)dt et bn (f ) = 2 f (t) sin(n2t)dt..
0 0  
1 1 1
Dautre part, en remarquant que la fonction f est impaire sur , , on peut dej`a af-
2 2 2
Z1
1
firmer que an (f ) = 0 pour tout n IN . Enfin, pour n IN , bn (f ) = 2 t sin(n2t)dt = .
n
0
 3

1 X 1
La serie de Fourier associee `a f est donc + sin(n2x). La fonction f etant continue par
2 n
n1
morceaux, C 1 par morceaux, le theor`eme de Dirichlet permet daffirmer la convergence simple
Remarquons que la formule de Parseval permet alors de
de sa serie de Fourier, sur IR, vers f.
+ +
1 X 1 2 X 1 2
trouver + = ou encore = .
2 n=1 n2 2 3 n=1
n2 6

1
4. Trouver les fonctions f C 1 (IR, IR), 1-periodiques, telles que f 0 (x) f (x ) = sin(2x)
2
pour tout x IR.

Lhypoth`ese faite sur f fait quelle est somme de sa serie de Fourier. On a cn (f 0 ) = 2incn (f ).
Si g : x 7 f (x 1/2),
Z 1
1
cn (g) = f (t )e2int dt = (1)n cn (f ),
0 2

et, si h : x 7 e2inx ,
Z 1 Z 1 
1 2i(1n)t 2i(1+n)t
cn (h) = e dt + e dt ,
2i 0 0

donc cn (h) = 0 si |n| 6= 1, tandis que c1 (h) = i/2 = c1 (h). Donc, cn (f ) = 0 si |n| 6= 1, et

i 2i 1 2i + 1
c1 (f ) = =i 2
et c1 (f ) = c1 (f ) = i .
2(2i + 1) 2(4 + 1) 2(4 2 + 1)

Finalement,
sin(2x) 2 cos(2x)
f (x) = c1 (f )e2ix + c1 (f )e2ix = ,
4 2 + 1
qui, reciproquement, est bien solution, car

2 cos(2x) + 4 2 sin(2x)
f 0 (x) = ,
4 2 + 1

1 sin(2x) 2 cos(2x)
f (x ) = .
2 4 2 + 1

+
X
1 IN
5. a > 0, f (x) = . Montrer quil existe (an ) IR , telle que f (x) = an cos nx.
cos x + cha
n=0
Z
cos nx
En deduire les coefficients de Fourier de f (ou dx).
cos x + cha
0

2eix 2eix
f (x) = =
e2ix + (ea + ea )eix + 1 (eix + ea )(eix + ea )
   
1 1 1 1 1 eaix
= =
sha 1 + eix ea 1 + eix ea sha 1 + ea eix 1 + ea eix
4

|ea eix | = ea < 1 donc

+
1 X
f (x) = (1)n (ena einx e(n+1)a ei(n+1)x )
sha n=0
+
X +
X
1
= (1 + 2 (1)n ena cos nx) = an cos nx
sha n=0 n=0

Or f C (IR), donc f est developpable en serie de Fourier, et sa serie de Fourier converge

uniformement vers f sur IR, avec bn = 0, car f est paire.
Z Z
X
f (x) cos pxdx = an cos nx cos pxdx
0 0 n=0

2ena
|an cos nx cos px| |an | = pour n 1, do` u la convergence normale et lechange possible
sha
Z
cos nx 4ena
de la somme et de lintegrale : ainsi an = an (f ). Ainsi dx = (1)n (pour
cha + cos x sha
0
n 1).

+

X cos n + 12 x
6. Montrer que, pour tout x [0, 2], ( x) = .
8 (2n + 1)2
n=0

Considerons la fonction f : IR IR paire, 4periodique, definie, pour tout x [0, 2] par

f (x) = ( x). Notons (an )nIN et (bn )nIN ses coefficients de Fourier. f etant paire, on a,
8
pour tout n IN , bn = 0.
Z2 Z2  nx 
1 1
a0 = f (x)dx = 0 et an = f (x) cos dx. Donc :
2
0 0
  nx 2 Z  nx 
1 2 1
an = f (x) sin + sin dx
n 2 0 4n 0 2
  nx 2
1 2 1
= f (x) cos = 2 (1 (1)n ).
4n n 2 0 2n

Par ailleurs, f est continue et C 1 par morceaux, donc egale a` sa serie de Fourier dapr`es le
a0 X
+  nx 
theor`eme de Dirichlet. On a donc, pour tout x IR, f (x) = + an cos . Sachant
2 2
n=1
1
que, pour tout p IN, a2p = 0 et a2p+1 = , on obtient donc, pour tout x [0, 2],
(2p + 1)2
+

X cos p + 12 x
( x) = .
8 p=0
(2p + 1)2