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