Vous êtes sur la page 1sur 57

Srie de

Fourier
17 mars
2014
Cours et Exos tlchargs du site bibmaths.com
Chapitre I
Chapitre I : Sries de Fourier
Mr .Laabissi Page 1
Chapitre I : Sries de Fourier
Mr .Laabissi Page 2
Chapitre I : Sries de Fourier
Mr .Laabissi Page 3
Chapitre I : Sries de Fourier
Mr .Laabissi Page 4
Chapitre I : Sries de Fourier
Mr .Laabissi Page 5
Chapitre I : Sries de Fourier
Mr .Laabissi Page 6
Chapitre I : Sries de Fourier
Mr .Laabissi Page 7
Chapitre I : Sries de Fourier
Mr .Laabissi Page 8
Chapitre I : Sries de Fourier
Mr .Laabissi Page 9
Chapitre I : Sries de Fourier
Mr .Laabissi Page 10
Chapitre I : Sries de Fourier
Mr .Laabissi Page 11
Chapitre I : Sries de Fourier
Mr .Laabissi Page 12
Chapitre I : Sries de Fourier
Mr .Laabissi Page 13
Chapitre I : Sries de Fourier
Mr .Laabissi Page 14
Chapitre I : Sries de Fourier
Mr .Laabissi Page 15
Chapitre I : Sries de Fourier
Mr .Laabissi Page 16
Chapitre I : Sries de Fourier
Mr .Laabissi Page 17
Chapitre I : Sries de Fourier
Mr .Laabissi Page 18
Chapitre I : Sries de Fourier
Mr .Laabissi Page 19
Exercices - S

eries de Fourier : enonce


Exercice 1 - Comprendre le cours - L2/Math Spe -
1. Donner la decomposition en serie de Fourier de la fonction f denie par f(x) = cos(5x).
2. En utilisant le theor`eme de Parseval, prouver que deux fonctions continues 2-periodiques
ayant les memes coecients de Fourier sont egales.
3. Soit f une fonction continue 2periodique. Montrer que (c
n
(f)) tend vers 0 lorsque |n|
tend vers +.
4. On suppose de plus que f est de classe C
k
. Prouver que c
n
(f) = o(1/n
k
).
5. Soit f la fonction creneau denie par f(x) = 1 si x [0, [, f(x) = 1 si x [, 0[,
et prolongee par 2-periodicite. Quelle est la regularite de cette fonction ? Que dire de la
serie de Fourier de f en 0 ? Peut-on avoir convergence normale de la serie de Fourier de f
vers f sur [, ] ?
6. Soit f la fonction paire 2-periodique denie par f(x) =

x sur [0, ]. f est-elle C
1
par
morceaux ?
Exercices de calcul
Exercice 2 - Quelques decompositions en series de Fourier - L2/Math Spe -
Determiner les series de Fourier (termes en sinus et cosinus) des fonctions suivantes :
1. f 2periodique, denie par f(x) = x si x < .
2. la fonction creneau : f est 2-periodique, denie par f(x) = 1 si x [0, [, et f(x) = 1
si x [, 0].
3. la fonction Lperiodique, o` u L > 0, denie par f(x) = |x| si x [L/2, L/2].
Exercice 3 - Application aux calculs de series - L2/Math Spe -
Determiner la serie de Fourier de la fonction periodique de periode 2 denie par f(x) = x
2
pour x . En deduire la somme des series

n1
1
n
2
,

n1
(1)
n+1
n
2
,

n1
1
n
4
.
Exercice 4 - Une variante - L2/Math Spe -
Soit f la fonction 2periodique, denie pour x [0, 2[ par f(x) = x
2
.
1. Determiner la serie de Fourier de f.
2. Calculer

n1
1
n
2
, puis

n1
1
n
4
.
Exercice 5 - Termes impairs - L2/Math Spe -
Determiner la serie de Fourier de la fonction 2periodique denie sur [, ] par f(x) = |x|.
En deduire la valeur des sommes suivantes :
+

n=0
1
(2n + 1)
2
et
+

n=0
1
(2n + 1)
4
.
http://www.bibmath.net 1
Exercices - S

eries de Fourier : enonce


Exercice 6 - Exponentielle - L2/Math Spe -
Soit f la fonction 2-periodique telle que f(x) = e
x
si x [, [. Determiner la serie de
Fourier de f. En deduire la valeur des sommes suivantes :

n1
1
n
2
+1
et

n1
(1)
n
n
2
+1
.
Exercice 7 - Avec une autre periode - L2/Math Spe -
Soit f la fonction periodique de periode 2 veriant f(x) = x x
3
pour tout x ] 1, 1].
1. Determiner les coecients de Fourier de f.
2. En deduire la somme de la serie

+
p=0
(1)
p
(2p+1)
3
.
Exercice 8 - Une egalite etonnante ! - L2/Math Spe -
Soit f la fonction 2-periodique denie par f(x) =
x
2
si x [0, 2[, et soit g denie sur R
par g(x) = f(x + 1) f(x 1).
1. Determiner les series de Fourier de f et de g.
2. En deduire que

n1
sin n
n
=

n1
sin
2
n
n
2
.
Exercice 9 - Avec des series enti`eres - L2/Math Spe -
1. Developper en serie enti`ere la fonction f(x) =
1
x+e
a
, a > 0.
2. Demontrer que, pour tout x R et tout a > 0, on a
1
cos x + cosh a
=
1
sinh a
_
e
a
e
ix
+e
a

e
a
e
ix
+e
a
_
.
3. En deduire le developpement en serie de Fourier de la fonction g denie par
g(x) =
1
cos x + cosh a
, a > 0.
Exercice 10 - Decomposition de sinus en produit inni - L2/Math Spe -
Soit R\Z.
1. Prouver que la serie de Fourier de la fonction f : R R denie par f(t) = cos(t) pour
t [, [, et prolongee par 2-periodicite est :
sin()

_
1 + 2
2
+

n=1
(1)
n

2
n
2
cos(nt)
_
.
2. En deduire que
cotan() =
1

+
+

n=1
2
(
2
n
2
)
.
3. Demontrer que la serie

n1
ln
_
1
t
2
n
2
_
converge pour tout t ] 1, 1[. On note, pour
t ] 1, 1[, g(t) la somme de cette serie. Prouver que g est une fonction de classe C
1
, et
calculer g

.
4. En deduire que, pour tout t ] 1, 1[, on a
sin(t)
t
=
+

k=1
_
1
t
2
k
2
_
.
http://www.bibmath.net 2
Exercices - S

eries de Fourier : enonce


S

eries de Fourier - exercices th

eoriques
Exercice 11 - Des sommes partielles `a f - L3/Math Spe -
Soit f une fonction continue 2periodique telle que, pour chaque n, on ait S
n
(f)

1.
Montrer que f

1.
Exercice 12 - Regularite et decroissance des coecients - sans indications -
L2/L3/Math Spe/Oral Mines -
Soit f : R R une application continue et 2-periodique. Montrer que f est de classe C

si et seulement si, pour tout k N, on a c


n
(f) = o(1/n
k
) quand |n| tend vers +.
Exercice 13 - Regularite et decroissance des coecients - avec indications -
L2/L3/Math Spe/Oral Mines -
Soit f : R R une application continue et 2-periodique.
1. Demontrer que (c
n
(f)) tend vers 0 lorsque |n| tend vers +.
2. On suppose que f est C
k
.

Etablir une relation entre les coecients de Fourier de f et
ceux de f
(k)
.
3. En deduire que si f est de classe C

, alors c
n
(f) = o(1/n
k
) pour tout entier k.
4. Reciproquement, on suppose que c
n
(f) = o(1/n
k
) quand |n| + pour tout entier k et
on pose S(x) =

nZ
c
n
(f)e
inx
.
(a) Calculer les coecients de Fourier de S.
(b) Demontrer que S est de classe C

.
(c) En utilisant le theor`eme de Parseval, demontrer que deux fonctions continues qui ont
les memes coecients de Fourier sont egales.
(d) En deduire que f = S et donc que f est de classe C

.
5. Quel theor`eme a-t-on demontre dans cet exercice ?
Exercice 14 - Regularite et fonctions holderiennes - L3/Math Spe -
Soit f : R C 2-periodique. On suppose quil existe > 0 et C > 0 tels que, pour tous
x, y R,
|f(x) f(y)| C|x y|

.
1. Pour a R et n Z, exprimer
_
2
0
f(t +a)e
int
en fonction de c
n
(f).
2. En deduire lexistence de M > 0 tel que, pour tout n Z

,
|c
n
(f)|
M
n

.
Exercice 15 - Phenom`ene de Gibbs - L2/Math Spe -
On se propose dans cet exercice detudier la convergence de la serie de Fourier de la fonction
impaire, 2-periodique, denie par
f(x) =
_
1 si x ]0, [
0 si x = k, k Z.
http://www.bibmath.net 3
Exercices - S

eries de Fourier : enonce


1. Question preliminaire :
(a) Montrer que, pour tout x [0, /2], on a sin(x)
2

x.
(b) Montrer que, pour tout x R, on a | sin x x|
|x|
3
6
.
(c) Soit h
n
la fonction denie sur [0, ] par
h
n
(t) =
_
sin t
(2n) sin(
t
2n
)
si t = 0
1 si t = 0.
Deduire des questions precedentes que (h
n
) converge uniformement sur [0, ] vers
une fonction h que lon precisera.
2. Calculer la serie de Fourier de f et prouver quelle converge simplement vers f. Y-a-t-il
convergence uniforme ?
3. Soit S
n
la (2n 1)-i`eme somme partielle de la serie de Fourier de f,
S
n
(x) =
4

k=1
sin
_
(2k 1)x
_
2k 1
.
Justier que S
n
est derivable sur R et que sa derivee verie
S

n
(x) =
_
2


sin(2nx)
sin x
si x / Z
(1)
q
4n

si x = q, q Z.
En deduire que S
n
presente (2n 1) extrema locaux sur lintervalle ]0, [. Montrer que le
premier dentre eux est un maximum et quil est atteint en x
n
=

2n
. On posera pour la
suite a
n
= S
n
(x
n
).
4. Montrer que, pour tout x [0, [, on a
S
n
(x) =
2

_
x
0
sin(2nt)
sin t
dt.
En deduire que
a
n
=
2

_

0
sin t
(2n) sin
_
t
2n
_dt.
5. Montrer que lim
n+
a
n
=
2

0
sin t
t
dt.
On peut verier que
2

0
sin t
t
dt > 1.
Exercice 16 - Series trigonometriques qui convergent uniformement - L2/L3/Math
Spe -
1. Soit une serie de fonctions

n
u
n
uniformement convergente sur un intervalle I. Demontrer
que les fonctions u
n
sont toutes bornees sur I pour n assez grand, et que u
n

tend vers
0 lorsque n tend vers +.
2. Soit I un intervalle ferme de longueur au moins egale `a , et a, b deux reels quelconques.
Montrer que le maximum de |a cos x +b sin x| sur I est

a
2
+b
2
.
http://www.bibmath.net 4
Exercices - S

eries de Fourier : enonce


3. Soit I = [, ] un intervalle ferme de longueur strictement positive. On suppose que la
serie de fonctions

n0
_
a
n
cos(nx) + b
n
sin(nx)
_
converge uniformement sur I. Montrer
que lim
n+
a
n
= lim
n+
b
n
= 0.
Exercice 17 - Theor`eme de Fejer - L2/L3/Math Spe -
Si f et g sont deux fonctions continues et 2-periodiques, on denit leur produit de convo-
lution par
f g(x) =
1
2
_

f(x t)g(t)dt.
Dans toute la suite, f designe une telle fonction continue 2periodique. Pour k Z, on note
e
k
(x) = e
ikx
. On note
S
n
= e
n
+e
(n1)
+ +e
0
+ +e
n1
+e
n
, C
n
=
S
0
+S
1
+ +S
n
n + 1
.
1. Montrer que f S
n
est un polynome trigonometrique. Quel nom donne-t-on usuellement
`a f S
n
?
2. Montrer que si x / R\2Z, on a :
C
n
(x) =
1
n + 1
_
sin((n + 1)x/2)
sin(x/2)
_
2
.
3. Montrer que C
n
0, que
1
2
_

C
n
(t)dt = 1, et que pour tout ]0, ], C
n
converge
uniformement vers 0 sur [, ]\[, ].
4. Montrer que f C
n
converge uniformement vers f sur R.
Ainsi, cet exercice prouve le theor`eme de Fejer : toute fonction continue 2periodique est
limite uniforme sur R de polynomes trigonometriques. En outre, il donne une suite qui realise
lapproximation uniforme - la suite des moyennes de Ces`aro de la serie de Fourier de f.
Applications des s

eries de Fourier
Exercice 18 - Inegalite entre f et sa derivee - L2/L3/Math Spe -
Soit f : R R une fonction 2-periodique de classe C
1
et telle que
_
2
0
f(t)dt = 0.
1. Rappeler le lien entre les coecients de Fourier c
n
(f) et c
n
(f

).
2. En deduire que, pour tout t R, on a
|f(t)|

nZ

1
|n|
|c
n
(f

)|.
3. En deduire linegalite suivante :
f
2



6
_
2
0
_
f

(t)
_
2
dt
(on rappelle que

n1
1
n
2
=

2
6
).
http://www.bibmath.net 5
Exercices - S

eries de Fourier : enonce


Exercice 19 - Inegalite de Wirtinger - L2/Math Spe -
Soit f : R C une application 2periodique de classe C
1
telle que
_
2
0
f(t)dt = 0. Montrer
que
_
2
0
|f(t)|
2
dt
_
2
0
|f

(t)|
2
dt,
et caracteriser legalite.
Exercice 20 - Lien entre f et sa derivee seconde - L2/Math Spe -
Trouver toutes les fonctions f de classe C
2
sur [0, 2] veriant
_
2
0
f(t)dt = 0 et |f

| |f|.
Exercice 21 - Fonctions 2periodiques et croissances des derivees - L2/Math Spe
-
Trouver les fonctions f C

(R, C) 2periodiques pour lesquelles il existe R

+
et
M R

+
tels que :
n N, x R,

f
(n)
(x)

M
n
.
Exercice 22 - Inegalite de Bernstein - L2/Math Spe -
1. Soit S la fonction 2periodique denie par S(t) = t si /2 t /2, et S(t) = t
si /2 t 3/2. Calculer c
k
(S) et en deduire que

kZ
|c
k
(S)| =

2
.
2. Soient
1
, . . . ,
n
des reels distincts tels que max
j
|
j
|

2
, a
1
, . . . , a
n
C, et h(t) =

n
j=1
a
j
e
i
j
t
. Prouver que
h



2
h

.
3. En deduire le theor`eme de Bernstein suivant : si P(t) =

j=1
a
j
e
ijt
, avec
j
des reels
distincts et max
j
|
j
| , alors
P

.
Exercice 23 - Series de Fourier et equations dierentielles - L2/L3/Math Spe -
Le but de lexercice est de determiner si lequation dierentielle (E)
y

+e
it
y = 0
admet des solutions 2-periodiques.
1. (a) Montrer que la serie trigonometrique

n0
1
(n!)
2
e
int
converge uniformement sur R
vers une fonction f 2-periodique.
(b) Montrer que la fonction f est de classe C
2
et quelle est solution de (E).
2. Soit g : R C une solution 2-periodique de classe C
2
de (E). On designe par

nZ
c
n
(g)e
int
et

nZ
c
n
(g

)e
int
les series de Fourier respectives de g et de g

.
(a) Exprimer c
n
(g

) en fonction de c
n
(g).
(b) En utilisant que g est solution de (E), exprimer c
n
(g

) en fonction de c
n1
(g).
(c) En deduire que lensemble des solutions 2-periodiques de (E) est lespace vectoriel
de dimension 1 engendre par la fonction f.
http://www.bibmath.net 6
Exercices - S

eries de Fourier : enonce


3. (E) poss`ede-t-elle des solutions qui ne sont pas 2-periodiques ?
Exercice 24 - Solutions periodiques dune equation dierentielle - L2/L3/Math Spe
-
Soit f : R C 2-periodique, derivable, telle quil existe R veriant
t R, f

(t) = f(t +).


1. Demontrer que, pour tout n Z,
(in e
in
)c
n
(f) = 0.
2. En deduire pour quelle(s) valeur(s) de on peut eectivement trouver une telle fonction
non identiquement nulle.
Exercice 25 - Equation de la chaleur - L3 -
On consid`ere une barre metallique de longueur L, quon represente par le segment [0, L]. La
temperature `a linstant t au point dabscisse x est notee u(x, t). On pose Q =]0, L[]0, +[.
La fonction u est supposee continue sur Q, et de classe C

sur Q. Elle verie en outre les


conditions suivantes :
u
t


2
u
x
2
= 0, si (x, t) Q (1)
(equation de la chaleur)
u(x, 0) = h(x) si x [0, L] (2)
(condition initiale), o` u h est une fonction de classe C
1
sur [0, L] avec h(0) = h(L) = 0
u(0, t) = u(L, t) = 0 si t [0, +[. (3)
On va demontrer lexistence dune solution `a ce probl`eme.
1. Montrer que si la fonction u secrit sous la forme u(x, t) = f(x)g(t) (o` u f et g ne sannulent
pas sur Q) et si u est solution de (1), alors les fonctions f et g verient chacune une
equation dierentielle simple.
2. Resoudre ces equations dierentielles en tenant compte de (3). En deduire quune fonction
qui secrit u(x, t) =

n1
a
n
sin
_
n
L
_
e
n
2

2
L
2
t
(en admettant que la serie converge et quon
peut la deriver terme `a terme) est une solution de (1) et de (3).
3. Soit

h la fonction deduite de h par imparite et 2Lperiodicite. Developper

h en serie de
Fourier. Quelle valeur donner aux a
n
?
4. Justier que la fonction ainsi exhibee est bien solution du probl`eme.
Sp

ecial L3/Master
http://www.bibmath.net 7
Exercices - S

eries de Fourier : enonce


Exercice 26 - Formule sommatoire de Poisson - L3/M1 -
Soit F L
1
(R) C
0
(R). On note

F sa transformee de Fourier. On suppose que F verie
les deux conditions suivantes :
M > 0, > 1, x R, |F(x)| M(1 +|x|)

nZ
|

F(n)| < +.
Le but de lexercice est de demontrer la formule sommatoire de Poisson, `a savoir lidentite

nZ
F(n) =

nZ

F(n).
1. Soit f la fonction denie sur R par f(x) =

F(x + n). Verier que ceci denit une


fonction continue sur R, 1-periodique.
2. Calculer les coecients de Fourier exponentiels de f.
3. Justier que f est partout somme de sa serie de Fourier.
4. En deduire la formule sommatoire de Poisson.
Exercice 27 - Theor`eme de Wiener-Levy - M1 -
Si f L
1
(T), on note (

f(n))
nZ
la suite de ses coecients de Fourier. Soit A(T) lensemble
des elements de L
1
(T) tels que (

f(n)) est un element de
1
(Z),

nZ
|

f(n)| < +. A(T) est un


espace de Banach pour la norme f =

nZ
|

f(n)|.
1. Montrer que si f A(T), alors
f =

nZ

f(n)e
int
.
2. Montrer que si f et g sont elements de A(T), alors fg est element de A(T) et que
fg fg.
3. Soit f une fonction continue, 2periodique, et C
1
par morceaux. Montrer que f A(T),
et que lon a
f |

f(0)| +C
__
2
0
|f

(x)|
2
dx
_
1/2
(C est une constante qui ne depend pas de f).
4. Montrer que les polynomes trigonometriques sont denses dans A(T).
5. Soit f une fonction continue 2periodique telle que, pour tout x [0, 2], il existe un
voisinage V
x
de x et une fonction g
x
A(T) telle que g
x
(y) = f(y) pour tout y V
x
.
Montrer que f appartient `a A(T) (on pourra utiliser une partition de lunite associee `a
un recouvrement bien choisi de [0, 2]).
6. Pour tout entier k 1, on consid`ere la fonction 2periodique
k
telle que
k
(x) =
max(1 k|x|, 0) pour |x| .
http://www.bibmath.net 8
Exercices - S

eries de Fourier : enonce


(a) Calculer les coecients de Fourier de
k
; en deduire que
k
A(T) et sup
k1

k
<
+ - on pourra etablir que

nZ
|

k
(n)|
1
2
+
2

_
_
k
k

n=1
1
2k
2
+ 2k
+

n=k+1
1
n
2
_
_
(b) On pose V
k
= 2
k

2k
, et soit f A(T) telle que f(0) = 0. Montrer que, dans
A(T), la suite (V
k
(f))
k1
converge vers 0. On pourra commencer par le cas o` u f est
de classe C

et utiliser le resultat de la question 3.


7. Soit f A(T) telle que f(0) = 0, et soit F une fonction analytique au voisinage de 0.
On pose F(z) =

+
n=0
c
n
z
n
. Montrer que, pour k assez grand, la serie

+
n=0
c
k
(V
k
f)
n
converge dans A(T). En deduire que F f concide, au voisinage de 0, avec une fonction
appartenant `a A(T).
8. Deduire des resultats precedents le theor`eme de Wiener-Levy (1934) : si f est un element
de A(T) et si F est une fonction analytique au voisinage de f(T), alors F f A(T).
Exercice 28 - Une serie trigonometrique qui nest pas une serie de Fourier... - M1
-
1. Soit f une fonction continue 2periodique telle que c
n
(f) 0 pour tout n Z. Justier
que

nZ
c
n
(f) < + - on pourra ecrire

nZ
c
n
=

nZ
liminf
N+
_
1
|n|
N
_
+
c
n
,
et utiliser le theor`eme de F....
2. Soit

n2
1
ln n
sin(nt). Justier que cette serie trigonometrique converge pour tout t R.
3. Soit

+
1
a
n
sin(nt) une serie trigonometrique, o` u a
n
0 pour tout n 1. On suppose
que cette serie est la serie de Fourier de f L
1
(T), cest-`a-dire que c
0
(f) = 0, c
n
(f) =
a
n
2i
si n 1 et c
n
(f) =
a
n
2i
si n 1. Soit F =
_
t
0
f(u)du. Calculer c
n
(F), et en deduire que

+
1
a
n
n
< +.
4. Montrer que la serie trigonometrique (partout convergente)

n2
1
ln n
sin(nt) nest pas une
serie de Fourier.
Exercice 29 - Divergence de la serie de Fourier dune fonction continue - M1 -
On note D
n
le noyau de Dirichlet, et T
n
lapplication lineaire qui `a f C(T) associe S
n
(f)(0).
1. Montrer que T
n

L(C(T))
= D
n

1
.
2. Montrer que D
n

1
+.
3. En utilisant le theor`eme de Banach-Steinhaus, en deduire lexistence dune fonction conti-
nue dont la serie de Fourier diverge en 0.
http://www.bibmath.net 9
Exercices - Sries de Fourier : corrig
Exercice 1 - Comprendre le cours - L2/Math Sp -
1. On peut bien sr se lancer dans des calculs trs complexes.... On peut ! Mais quand
mme, la dcomposition en srie de Fourier consiste reprsenter une fonction priodique
comme somme des fonctions priodiques les plus lmentaires possibles ( savoir les sinus
et les cosinus). Alors, bien entendu, la dcomposition en srie de Fourier de cos(5x) est
. . . cos(5x) ! A vous de voir si vous jugez utile de justier cela ! Cela dit, cest une bonne
occasion de rappeler que
_
2
0
cos(px) cos(qx)dx = 0 si p ,= q
et
_
2
0
cos(px) sin(qx)dx = 0 pour tous p, q.
2. Posons h = f g. Alors c
n
(h) = c
n
(f) c
n
(g) = 0. De plus, h est continue et vrie donc
les conclusions du thorme de Parseval, savoir
_

[h(t)[
2
dt =

nZ
[c
n
(h)[
2
= 0.
Puisque t [h(t)[
2
est continue, positive, dintgrale nulle sur [, ], on en dduit que
h = 0 sur [, ]. Par 2priodicit, f = g sur R tout entier.
3. Daprs le thorme de Parseval, on sait que
_

[f(t)[
2
dt =

nZ
[c
n
(f)[
2
.
La srie

nZ)
[c
n
(f)[
2
est donc convergente. Son terme gnral tend vers 0, et on conclut
que (c
n
(f)) converge bien vers 0 lorsque [n[ tend vers +.
4. Tout repose sur des intgrations par parties. En eet, si f est C
1
et 2priodique, on a
c
n
(f

) =
1
2
_

(t)e
int
dt
=
1
2
_
f(t)e
int
_

+
in
2
_

f(t)e
int
dt
= (in)c
n
(f).
Par rcurrence, on obtient que c
n
(f
(k)
) = (in)
k
c
n
(f). Pour n ,= 0, on a donc :
c
n
(f) =
1
i
k
n
k
c
n
(f
(k)
).
Pour conclure, il sut de remarquer que c
n
(f
(k)
) tend vers 0 lorsque [n[ tend vers +
daprs la question prcdente. Cette ide dintgration par parties est trs utile lorsquon
veut relier rgularit dune fonction et comportement de ses coecients de Fourier.
http://www.bibmath.net 1
Exercices - Sries de Fourier : corrig
5. La fonction f est de classe C
1
par morceaux. En eet, sur lintervalle [0, [, elle est la
restriction [0, [ dune fonction de classe C
1
sur [0, ] (la fonction identiquement gale
1), et sur [, 0[, elle est la restriction de dune fonction de classe C
1
sur [0, ] (la fonction
identiquement gale 1). Le thorme de convergence simple peut donc sappliquer. En
particulier, en 0, la srie de Fourier de f converge vers
1
2
_
lim
x0

f(x) + lim
x0
+
f(x)
_
= 0.
La srie de Fourier de f ne peut pas converger normalement vers f. En eet, si on avait
convergence normale, chaque somme partielle tant continue, la limite serait elle aussi
continue. Et f nest pas continue en 0.
6. f nest pas C
1
par morceaux : en eet, sinon, on pourrait dnir sur [0, ] une fonction
de classe C
1
qui concide avec f sur ]0, ]. Ce nest pas possible car f

(x) tend vers +


en 0.
Exercices de calcul
Exercice 2 - Quelques dcompositions en sries de Fourier - L2/Math Sp -
1. Cette fonction est impaire, les coecients en cosinus sont nuls. On a par dnition :
b
n
=
1

xsin(nx)dx.
On calcule ce coecient grce une intgration par parties :
b
n
= (1)
n+1
2
n
2. Cette fonction est elle-aussi impaire, et il sut l encore de calculer les coecients en
sinus :
b
n
=
1

_
0

(1) sin(nx)dx +
1

_

0
sin(nx)dx =
2
n
(1 cos(n)).
Ceci scrit plus simplement :
b
n
=
_
0 pour n pair
4
n
pour n impair
3. Remarquons que la fonction est paire : il sut de calculer les coecients en cosinus. On
a :
a
0
=
1
L
_
L/2
L/2
[x[dx =
2
L
_
L/2
0
xdx =
L
4
.
a
n
=
2
L
_
L/2
L/2
[x[ cos
_
2
L
nx
_
dx =
4
L
_
L/2
0
xcos
_
2
L
nx
_
dx.
On calcule ceci par intgration par parties pour trouver :
a
n
=
L
n
2

2
((1)
n
1) =
_
0 si n est pair

2L
n
2

2
si n est impair
http://www.bibmath.net 2
Exercices - Sries de Fourier : corrig
Exercice 3 - Application aux calculs de sries - L2/Math Sp -
La fonction f est paire, ses coecients en sinus sont nuls, et on a :
a
0
=
1
2
_

x
2
dx =

2
3
,
a
n
=
2

_

0
x
2
cos(nx)dx.
La calcul de a
n
se fait par une double intgration par parties, et on trouve :
a
n
= (1)
n
4
n
2
.
Maintenant, f est continue et C
1
par morceaux : cette fonction est somme de sa srie de Fourier
pour tout rel, et on a donc, pour tout x dans [, ],
x
2
=

2
3
+ 4

n1
(1)
n
n
2
cos(nx).
Si lon fait x = , on obtient :

2
=

2
3
+ 4

n1
1
n
2
.
On obtient exactement :

n1
1
n
2
=

2
6
.
Si lon fait x = 0, on obtient cette fois :

n1
(1)
n+1
n
2
=

2
12
.
Pour calculer la dernire somme demande, il faut pouvoir mettre les coecients au carr, et
cest ce que lon obtient dans lgalit de Parseval, que lon peut appliquer ici puisque f est
continue :
1
2
_

x
4
dx =

4
9
+
1
2

n1
16
n
4
.
Ceci donne :

n1
1
n
4
=

4
8
_
1
5

1
9
_
=

4
90
.
Exercice 4 - Une variante - L2/Math Sp -
1. On a dabord :
a
0
(f) =
1
2
_
2
0
x
2
dx =
4
2
3
.
http://www.bibmath.net 3
Exercices - Sries de Fourier : corrig
Dautre part, en ralisant deux intgrations par parties, on a :
a
n
(f) =
1

_
2
0
x
2
cos(nx)dx
=
1

_
x
2
sin nx
n
_
2
0

2
n
_
2
0
xsin(nx)dx
=
2
n
_
x
cos nx
n
_
2
0

2
n
2
_
2
0
cos(nx)dx
=
4
n
2
.
De mme, on trouve b
n
=
4
n
. La srie de Fourier de f est donc :
4
2
3
+

n1
_
4
n
2
cos(nx)
4
n
sin(nx)
_
.
2. f est C
1
par morceaux. Pour tout x de R, on a donc :
1
2
_
f(x + 0) +f(x 0)
_
=
4
2
3
+

n1
_
4
n
2
cos(nx)
4
n
sin(nx)
_
.
Pour x = 0, on trouve :
1
2
((2)
2
+ 0) =
4
2
3
+

n1
4
n
2
.
Ceci donne donc :

n1
1
n
2
=

2
6
.
Lautre somme se calcule en appliquant le thorme de Parseval. On a donc :
_
2
0
x
4
dx =
_
4
2
3
_
2
+
1
2

n1
_
16
n
4
+
16
2
n
2
_
.
En utilisant le fait que
_
2
0
x
4
dx =
16
4
5
, et en rinjectant le calcul prcdent, on trouve
que

n1
1
n
4
=

4
90
.
Exercice 5 - Termes impairs - L2/Math Sp -
Evidemment, la fonction est paire, donc les coecients de Fourier en sinus sont nuls. Cal-
culons les autres coecients :
a
0
(f) =
1

_

0
xdx = , a
n
=
2

_

0
xcos(nx)dx =
2
n
2
(cos(n) 1) .
Or, cos(n) = (1)
n
, et donc on a a
2n
= 0, et a
2n+1
=
4
(2n + 1)
2
. La srie de Fourier de f est
donc :

2

4

n0
cos((2n + 1)x
(2n + 1)
2
.
http://www.bibmath.net 4
Exercices - Sries de Fourier : corrig
Elle est continue et C
1
par morceaux. Elle vrie donc les hypothses du thorme de Dirichlet,
et f est somme de sa srie de Fourier pour tout x de R. En particulier, pour x = 0, il vient :

n0
1
(2n + 1)
2
=

2
8
.
Enn, crivons lgalit de Parseval :
1
2
_

x
2
dx =

2
4
+
1
2

16

n0
1
(2n + 1)
4
.
En isolant la somme, on trouve donc :

n0
1
(2n + 1)
4
=

4
96
.
Exercice 6 - Exponentielle - L2/Math Sp -
On calcule les coecients de Fourier de f. On trouve
a
0
=
1
2
_

f(x)dx =
1
2
_
e

_
=
sinh

.
Pour n 1, il vient
a
n
=
1

f(x) cos(nx)dx
=
1

e
x
cos(nx)dx
=
1

e
x
'e(e
inx
)dx
= 'e
_
1

e
(1+in)x
dx
_
= 'e
_
1

_
1
1 +in
e
(1+in)
e
(1+in)
__
=
1

'e
_
(1)
n
e

(1)
n
e

1 +in
_
=
(1)
n

'e
_
2 sinh
1 +in
_
=
(1)
n

'e
_
2(1 in) sinh
n
2
+ 1
_
=
2(1)
n
sinh
(n
2
+ 1)
.
Pour les coecients en sinus, une dmarche similaire donne
b
n
=
(1)
n

m
_
2 sinh
1 +in
_
=
(1)
n

m
_
2(1 in) sinh
n
2
+ 1
_
=
2n(1)
n+1
sinh
(n
2
+ 1)
.
http://www.bibmath.net 5
Exercices - Sries de Fourier : corrig
La srie de Fourier de f est donc
sinh

+

n1
2(1)
n
sinh
(n
2
+ 1)
cos(nx) +
2n(1)
n+1
sinh
(n
2
+ 1)
sin(nx).
Remarquons aussi que la fonction f est de classe C
1
par morceaux (mais elle nest pas continue
en les points +2k, k Z). Daprs le thorme de Dirichlet, la srie de Fourier de f converge
en chaque rel x vers
1
2
_
f(x
+
) +f(x

)
_
. En particulier, pour x = 0, on trouve
sinh

+

n1
2(1)
n
sinh
(n
2
+ 1)
cos(n0) +
2n(1)
n+1
sinh
(n
2
+ 1)
sin(n0) = f(0)
soit
sinh

+

n1
2(1)
n
sinh
(n
2
+ 1)
= 1.
On trouve donc

n1
(1)
n
n
2
+ 1
=

2 sinh

_
1
sinh

_
=
sinh
2 sinh
.
Pour calculer la premire somme, on choisit x = , et on remarque que
f(
+
) +f()
2
=
e

+e

2
= cosh .
On trouve donc
sinh

+

n1
2(1)
n
sinh
(n
2
+ 1)
cos(n) +
2n(1)
n+1
sinh
(n
2
+ 1)
sin(n) = cosh
soit

n1
1
n
2
+ 1
=

2 sinh

_
cosh
sinh

_
=
cosh sinh
2 sinh
.
Exercice 7 - Avec une autre priode - L2/Math Sp -
1. La fonction f est impaire. Les coecients de Fourier en cosinus sont donc nuls. Pour cal-
culer les coecients de Fourier en sinus, on utilise la formule et on ralise des intgrations
par parties successives.
b
n
=
_
1
1
f(t) sin(nt)dt
= 2
_
1
0
f(t) sin(nt)dt
=
2
n
_
1
0
(3t
2
1) cos(nt)dt
=
12

2
n
2
_
1
0
t sin(nt)dt
=
12

2
n
2
_

t cos(nt)
n
_
1
0
+
12

2
n
3
_
1
0
cos(nt)dt
=
(1)
n
12

3
n
3
.
http://www.bibmath.net 6
Exercices - Sries de Fourier : corrig
2. Remarquons que la fonction f est continue et C
1
-par morceaux. La continuit nest pas
compltement triviale. Elle vient de limparit de la fonction f qui fait quon a un recolle-
ment continu en 1. Ainsi, en tout rel, f est somme de sa srie de Fourier. En particulier,
en 1/2, on a

3
8
= f
_
1
2
_
=
+

n=0
12(1)
n

3
n
3
sin
_
n

2
_
.
Or, sin(n/2) est nul si n est pair. Si n = 2p + 1, alors sin(n/2) = sin(p +

2
) = (1)
p
.
On en dduit que

3
8
=
+

p=0
(1)
p+1
12

3
(2p + 1)
3
=
+

p=0
(1)
p
(2p + 1)
3
=

3
32
.
Exercice 8 - Une galit tonnante ! - L2/Math Sp -
1. On commence par remarquer que la fonction est C
1
par morceaux (elle nest pas continue
en les points de 2Z) et est impaire, et donc les coecients de Fourier en cosinus sont nuls.
Pour calculer ceux en sinus, il sut dune simple intgration par parties, et on trouve que
la srie de Fourier de f est

n1
sin nx
n
.
Pour trouver la srie de Fourier de g, on peut chercher la valeur de g sur un intervalle de
longueur 2 puis intgrer... On peut aussi ruser de la faon suivante : on commence par
remarquer que g est paire (vrication facile). De plus, on a
_
2
0
g(x) cos(nx)dx =
_
2
0
f(x + 1) cos(nx)dx
_
2
0
f(x 1) cos(nx)dx
=
_
21
1
f(x + 1) cos(nx)dx
_
2+1
1
f(x 1) cos(nx)dx
=
_
2
0
f(u) cos(nu n)du
_
2
0
f(u) cos(nu +n)du
=
_
2
0
2f(u) sin(n) sin(nu)du
= 2
sin n
n
.
La srie de Fourier de g est donc

n1
2 sin n
n
cos(nx).
2. Puisque f est C
1
par morceaux et quelle est continue en 1, on a

n1
sin n
n
= f(1) =
1
2
.
http://www.bibmath.net 7
Exercices - Sries de Fourier : corrig
Dautre part, g est continue par morceaux, 2-priodique, on peut donc lui appliquer le
thorme de Parseval, et on obtient
1
2
_
2
0
_
g(x)
_
2
dx =
1
2

n1
4 sin
2
n
n
2
.
Reste calculer lintgrale, et pour cela calculer g sur [0, 2] :
si x [1, 2 1], alors
g(x) =
x 1
2

x + 1
2
= 1.
si x [0, 1], alors f(x 1) = f(x 1 + 2) =
x+12
2
et on obtient donc
g(x) = 1 +.
si x [2 1, 2] alors f(x + 1) = f(x + 1 2) =
x1+2
2
et on obtient
g(x) = 1 +.
On en dduit
_
2
0
_
g(x)
_
2
dx = 2(1 +)
2
+ (2 2)(1)
2
= 2( 1).
Revenant lidentit de Parseval, on trouve

n1
sin
2
n
n
2
=
1
2
,
ce qui est bien lgalit demande.
Exercice 9 - Avec des sries entires - L2/Math Sp -
1. On crit
1
x +e
a
=
e
a
1 +e
a
x
= e
a

n0
(1)
n
e
na
x
n
dveloppement valable pour [x[ < e
a
.
2. Cest une simple vrication.
3. Puisque a > 0, on a [e
ix
[ < e
a
, et donc
e
a
e
ix
+e
a
=

n0
(1)
n
e
inx
e
na
.
Pour la seconde partie, il faut faire attention au fait que e
a
< 1, et donc que le rsultat
de la premire question ne peut pas sappliquer directement. Mais on crit
e
a
e
ix
+e
a
=
e
a
e
ix
1 +e
a
e
ix
=

n1
(1)
n1
e
nix
e
na
.
http://www.bibmath.net 8
Exercices - Sries de Fourier : corrig
Il vient
g(x) =
1
sinh a
_
_
1 +

n1
(1)
n
e
na
_
e
inx
e
inx
_
_
_
=
1
sinh a
+

n1
2(1)
n
e
na
sinh a
cos(nx).
g scrit donc comme somme dune srie trigonomtrique qui converge uniformment (car
normalement, la srie

n1
e
na
est convergente) sur R. La srie de Fourier de g est donc
bien
1
sinh a
+

n1
2(1)
n
e
na
sinh a
cos(nx).
Exercice 10 - Dcomposition de sinus en produit inni - L2/Math Sp -
1. La fonction est paire, on a donc b
n
(f) = 0 pour tout n 1. De plus,
a
0
(f) =
1
2
_

cos(t)dt =
2 sin()
2
.
De mme, pour n 1, on ralise une double intgration par parties pour calculer a
n
(f) :
a
n
(f) =
1

cos(t) cos(nt)dt
=
1
n
[cos(t) sin(nt)]

+

n
_

sin(t) sin(nt)dt
=

n
_

sin(t) sin(nt)dt
=

n
2
[sin(t) cos(nt)]

+

2
n
2

cos(t) cos(nt)dt
=
2(1)
n+1
sin()
n
2
+

2
n
2
a
n
(f).
On en dduit que
a
n
(f)
_
1

2
n
2
_
=
2(1)
n+1
sin()
n
2
soit
a
n
(f) =
2(1)
n+1
sin()
(n
2

2
)
=
sin()


(1)
n

2
n
2
.
Ceci dmontre bien que la srie de Fourier de f est
sin()

_
1 + 2
2
+

n=1
(1)
n

2
n
2
cos(nt)
_
.
2. On remarque que, par parit de cos, la fonction f est continue (les seuls points qui pour-
raient poser problme sont ceux de + 2Z, mais on a bien par construction
lim
x

f(x) = cos() = cos() = lim


x
+
f(x)
http://www.bibmath.net 9
Exercices - Sries de Fourier : corrig
et donc f est aussi continue en ces points). De plus, f est C
1
par morceaux. Ainsi, f est
en tout point somme de sa srie de Fourier. En particulier, en , on a
cos() =
sin()

_
1 + 2
2
+

n=1
(1)
n

2
n
2
(1)
n
_
.
Ceci entraine immdiatement que
cotan() =
1

+
+

n=1
2
(
2
n
2
)
.
3. On a
ln
_
1
t
2
n
2
_

n+
t
2
n
2
.
Puisque, t x, la srie

n1
t
2
n
2
est une srie numrique convergente dont le terme gn-
ral est toujours ngatif, on en dduit par critre dquivalence que la srie

n1
ln
_
1
t
2
n
2
_
converge pour chaque t ] 1, 1[. Ainsi, la srie de fonctions

n1
ln
_
1
t
2
n
2
_
converge
simplement vers une fonction g sur ] 1, 1[. Pour prouver que g est C
1
, on va utiliser un
argument de convergence uniforme de la srie des drives. Soit a ]0, 1[, et posons, pour
n 1 et t [a, a],
u
n
(t) = ln
_
1
t
2
n
2
_
.
Chaque fonction u
n
est drivable sur [a, a], avec
u

n
(t) =
2t
t
2
n
2
.
De plus, pour t [a, a], on a
n
2
t
2
n
2
a
2
et [2t[ a.
On en dduit que
[u

n
(t)[
2a
n
2
a
2
.
Le membre de droite (qui ne dpend pas de t !) est le terme gnral dune srie numrique
convergente. Ainsi, la srie de fonctions

n1
u

n
(t) converge normalement, donc unifor-
mment, sur [a, a]. On en dduit que g est de classe C
1
sur tout segment [a, a] ]1, 1[,
donc sur ] 1, 1[, avec
g

(t) =

n1
2t
t
2
n
2
.
4. Daprs les rsultats des questions prcdentes, on a, pour tout t ] 1, 1[, t ,= 0,
g

(t) = cotan(t)
1
t
.
http://www.bibmath.net 10
Exercices - Sries de Fourier : corrig
On intgre cette relation et on obtient quil existe une constante C R tel que, pour tout
t ]0, 1[, on a
g(t) = ln
_
sin(t)
t
_
+C.
On fait tendre t vers 0. Le membre de gauche tend vers 0, celui de droite vers ln() +C.
On en dduit que C = ln et donc que, pour tout t [0, 1], on a
g(t) = ln
_
sin(t)
t
_
.
Un raisonnement similaire donne le mme rsultat sur [1, 0]. Passant lexponentielle,
on obtient
sin(t)
t
= exp(g(t))
= exp
_
+

k=1
ln
__
1
t
2
k
2
___
=
+

k=1
_
1
k
2
n
2
_
,
le symbole

+
k=1
devant tre compris comme lim
n+

n
k=1
.
Sries de Fourier - exercices thoriques
Exercice 11 - Des sommes partielles f - L3/Math Sp -
Puisque f est seulement suppose continue, le seul thorme "ponctuel" que lon a notre
disposition est celui de Fjer. Pour tout x, on a
f(x) = lim
N+
S
0
(f)(x) + +S
N
(f)(x)
N + 1
.
Maintenant, il est clair que
_
_
_
_
S
0
(f)(x) + +S
N
(f)(x)
N + 1
_
_
_
_

1,
ce qui prouve le rsultat
Exercice 12 - Rgularit et dcroissance des coecients - sans indications -
L2/L3/Math Sp/Oral Mines -
Supposons dabord que f est de classe C

. Alors, par intgrations par parties successives,


on a
c
n
(f) =
1
(in)
k
c
n
(f
(k)
).
Dautre part, les coecients de Fourier dune fonction continue tendent vers 0 en +. Cest
par exemple une consquence du thorme de Parseval. Ainsi, on a
n
k
c
n
(f) =
c
n
(f
(k)
)
i
k
|n|+
0.
http://www.bibmath.net 11
Exercices - Sries de Fourier : corrig
Rciproquement, supposons que n
k
c
n
(f) 0 quand [n[ +. On considre la srie trigono-
mtrique
S(t) =

nZ
c
n
(f)e
int
.
Cette srie converge normalement sur R, car il existe une constante M > 0 telle que [c
n
(f)[
M
|n|
2
+1
pour tout n Z, et donc on a
[c
n
(f)e
int
[
M
[n[
2
+ 1
,
et le membre de droite de lingalit prcdente est le terme gnral dune srie numrique
convergente. Ainsi, S est dnie sur R tout entier, et est continue. De plus, on a
[(in)
k
c
n
(f)[
C
k
[n[
2
+ 1
pour une certaine constante C
k
puisque n
k+2
c
n
(f) 0 quand [n[ +. Ceci montre que
toutes les sries drives de S convergent normalement sur R, et donc que S dnit une fonc-
tion C

sur R.
Reste prouver que S et f coincident. Mais, S est somme dune srie trigonomtrique qui
converge normalement, donc uniformment, et donc ses coecients de Fourier sont les coef-
cients de la srie trigonomtrique. Autrement dit, on a c
n
(f) = c
n
(S). Maintenant, comme
consquence du thorme de Parseval, on sait que deux fonctions continues qui ont les mmes
coecients de Fourier sont gales. Donc f = S et f est C

.
Exercice 13 - Rgularit et dcroissance des coecients - avec indications -
L2/L3/Math Sp/Oral Mines -
1. Cest une consquence du thorme de Parseval : la srie

[c
n
(f)[
2
converge, son terme
gnral tend donc vers 0.
2. Par intgrations par parties successives, on trouve
c
n
(f) =
1
(in)
k
c
n
(f
(k)
).
3. En mettant ensemble les deux questions prcdentes, on trouve :
n
k
c
n
(f) =
c
n
(f
(k)
)
i
k
|n|+
0.
4. (a) Voir la question suivante
(b) La srie dnissant S converge normalement sur R, car il existe une constante M > 0
telle que [c
n
(f)[
M
|n|
2
+1
pour tout n Z, et donc on a
[c
n
(f)e
int
[
M
[n[
2
+ 1
,
et le membre de droite de lingalit prcdente est le terme gnral dune srie
numrique convergente. Ainsi, S est dnie sur R tout entier, et est continue. De
plus, on a
[(in)
k
c
n
(f)[
C
k
[n[
2
+ 1
http://www.bibmath.net 12
Exercices - Sries de Fourier : corrig
pour une certaine constante C
k
puisque n
k+2
c
n
(f) 0 quand [n[ +. Ceci
montre que toutes les sries drives de S convergent normalement sur R, et donc
que S dnit une fonction C

sur R. S est somme dune srie trigonomtrique qui


converge normalement, donc uniformment, et donc ses coecients de Fourier sont
les coecients de la srie trigonomtrique.
(c) Soient u et v deux fonctions continues ayant les mmes coecients de Fourier. Alors
la fonction u v a ses coecients de Fourier nuls. Par le thorme de Parseval, on
en dduit que
_
2
0
[u(t) v(t)[
2
dt = 0.
Lintgrale sur [0, 2] de la fonction continue et positive [u v[
2
est nulle. Cest que
cette fonction est identiquement nulle, et donc que u = v.
(d) Il sut de mettre ensemble les rsultats prcdents.
5. Soit f : R R une application continue et 2-priodique. f est de classe C

si et
seulement si, pour tout k N, on a c
n
(f) = o(1/n
k
) quand [n[ tend vers +.
Exercice 14 - Rgularit et fonctions hldriennes - L3/Math Sp -
1. Par 2priodicite et changement de variables x = t +a, on sait que
c
n
(f) =
1
2
_
2
0
f(t +a)e
in(t+a)
dt =
e
ina
2
_
2
0
f(t +a)e
int
dt.
2. Lide est de faire apparaitre une dirence f(x) f(y) pour exploiter lhypothse. Pour
cela, on va faire la somme des deux expression de c
n
(f), celle que lon utilise usuellement et
celle tablie la question prcdente, et on va choisir a de sorte que e
ina
= 1, cest--dire
a = /n. Il vient
2c
n
(f) =
1
2
_
2
0
_
f(t) f(t +/n)
_
e
int
dt.
On en dduit
[c
n
(f)[
1
4
_
2
0
[f(t) f(t +/n)[dt
M

2n

.
Exercice 15 - Phnomne de Gibbs - L2/Math Sp -
1. (a) La fonction sin est concave dans [0, /2]. Son graphe est au-dessus de ses cordes, en
particulier au dessus de la corde qui relie le point (0, 0) au point (/2, 1). Ceci donne
exactement lingalit demande.
(b) Il sagit juste de lingalit de Taylor-Lagrange lordre 3 applique la fonction
t sin t, entre les points 0 et x.
(c) Puisque sin(t/2n)
+
t/2n, on en dduit que pour t ]0, ], (h
n
(t)) converge vers
sin t
t
. Soit h dni par h(t) =
sin t
t
si t ]0, ] et h(0) = 1. On va dmontrer que (h
n
)
converge uniformment vers h sur ]0, ]. On a, pour t ]0, ],
[h
n
(t) h(t)[ =
(2n)[ sin t[ [ sin(t/2n) (t/2n)[
[(2n)t sin(t/2n)[
.
http://www.bibmath.net 13
Exercices - Sries de Fourier : corrig
Mais, [ sin t[ 1 et [ sin(t/2n) (t/2n)[
t
3
8n
3
. De plus, puisque t ]0, ], t/2n
]0, /2] et on a
sin(t/2n)
2


t
2n
=
t
n
ce qui donne nalement
[h
n
(t) h(t)[ 2n
t
3
8n
3

n
t
2
=
t
4n
2


2
4n
2
.
Ceci prouve bien la convergence uniforme de (h
n
) vers h sur lintervalle [0, ].
2. La fonction f est impaire, donc a
n
(f) = 0 pour tout n N. Pour n 1, on a
b
n
(f) =
1

f(t) sin(nt)dt =
1

_
0

sin(nt)dt +
1

_

0
sin(nt)dt
= +
1
n
_
cos(0) cos(n)
_
+
1
n
_
cos(n) cos(0)
_
=
1
n
_
2 2(1)
n
_
.
Ainsi, si n est pair, b
n
(f) = 0 et si n est impair, b
n
(f) =
4
n
. Puisque f est C
1
par
morceaux, sa srie de Fourier converge en tout point x R vers la demi-somme des
limites gauche et droite de f en x. En les points o f est continue, cette demi-somme
est bien sr gale f(x). En k, cette demi-somme fait 0, et donc vaut aussi f(k). Bien
sr, la convergence ne saurait tre uniforme, puisque f nest pas continue alors que chaque
somme partielle de la srie de Fourier lest.
3. S
n
est drivable comme somme de fonctions drivables, et de plus, pour tout x R, on a
S

n
(x) =
4

k=1
cos
_
(2k 1)x
_
.
Reste calculer cette somme. Si x = k, on trouve bien que S

n
(x) =
(1)
q
4n

. Pour x ,= k,
k Z, on crit que
S

n
(x) =
4

'e
_
n

k=1
e
i(2k1)x
_
.
On utilise ensuite la somme dune srie gomtrique :
n

k=1
e
i(2k1)x
= e
ix
n

k=1
e
2ikx
= e
ix
e
2ix
e
i(2n+2)x
1 e
2ix
=
e
ix
e
i(n+2)x
e
ix
e
inx
e
inx
e
ix
e
ix
= e
inx
sin(nx)
sin(x)
.
En prenant la partie relle, on trouve nalement
S

n
(x) =
4

cos(nx) sin(nx)
sin x
=
2


sin 2nx
sin x
.
http://www.bibmath.net 14
Exercices - Sries de Fourier : corrig
Ainsi, en chaque point de la forme
k
2n
, k 1, . . . , 2n 1, la fonction S

n
sannule et
change de signe. Ainsi, S
n
prsente un extremum en ces points. De plus, S

n
ne sannule
sur lintervalle ]0, [ quen ces points. On a donc trouv les 2n 1 extrema locaux de f
sur ]0, [. Le premier dentre eux est bien atteint en x
n
=

2n
, et S

n
0 avant x
n
tandis
que S

n
0 aprs x
n
. x
n
est bien un maximum local de S
n
.
4. Puisque S

n
est continue, le thorme fondamental du calcul intgral nous dit que, pour
tout x R, on a
S
n
(x) S
n
(0) =
_
x
0
S

n
(t)dt.
Daprs les calculs eectus prcdemment, on trouve
S
n
(x) =
2

_
x
0
sin(2nt)
sin t
dt.
En particulier,
a
n
= S
n
(x
n
) =
2

_
/2n
0
sin(2nt)
sin t
dt.
Le changement de variables u = nt donne le rsultat souhait.
5. On a
a
n
=
2

_

0
h
n
(t)dt.
Or, la fonction (h
n
) converge uniformment vers h sur [0, ]. On peut donc permuter la
limite et lintgrale et on a
lim
n+
a
n
=
2

_

0
sin t
t
dt.
Exercice 16 - Sries trigonomtriques qui convergent uniformment - L2/L3/Math
Sp -
1. Ceci dcoule directement du critre de Cauchy uniforme. On peut aussi reprouver ceci
simplement (cest le sens facile du critre de Cauchy uniforme que lon utilise). Puisque
la srie converge uniformment sur I, pour tout > 0, il existe N N tel que, pour tout
x I et tout n N,

k=n
u
k
(x)

.
Puisque u
n
=

+
k=n
u
k

+
k=n+1
u
k
, on en dduit que pour tout n N et tout x I, on
a
[u
n
(x)[ 2.
Ceci prouve la fois que u
n
est borne sur I pour n assez grand, et aussi que (|u
n
|

)
tend vers 0.
2. Cest classique (et semblable au passage de lcriture dun nombre complexe de la forme
cartsienne la forme trigonomtrique). On met

a
2
+b
2
en facteur, et on a
a cos(x) +b sin(x) =
_
a
2
+b
2
_
a

a
2
+b
2
cos(x) +
b

a
2
+b
2
sin(x)
_
.
http://www.bibmath.net 15
Exercices - Sries de Fourier : corrig
Posons u =
a

a
2
+b
2
et v =
b

a
2
+b
2
. Alors u et v sont deux rels tels que u
2
+ v
2
= 1. Il
existe donc R tel que u = cos() et v = sin(). On obtient donc
[a cos(x) +b sin(x)[ =
_
a
2
+b
2

cos() cos(x) + sin() sin(x)

=
_
a
2
+b
2

cos(x )

.
Or, la fonction x [ cos(x )[ atteint son maximum, qui vaut 1, en tous les points de
+Z. Puisque I est de longeur au moins , un de ces points est dans I. Ceci prouve que
le maximum de [a cos x +b sin x[ sur I est

a
2
+b
2
.
3. On utilise les deux questions prcdentes :
On sait que sup
xI
[a
n
cos(nx) +b
n
sin(nx)[ tend vers 0.
De plus, soit I
n
= nI = [n, n]. Alors
sup
xI
[a
n
cos(nx) +b
n
sin(nx)[ = sup
yI
n
[a
n
cos(y) +b
n
sin(y)[.
Or, pour n assez grand, I
n
est de longueur au moins et donc
sup
xI
[a
n
cos(nx) +b
n
sin(nx)[ =
_
a
2
n
+b
2
n
.
Combinant les deux proprits, on trouve que
lim
n+
_
a
2
n
+b
2
n
= 0 = lim
n+
a
2
n
+b
2
n
= 0
Ceci implique que lim
n+
a
2
n
= lim
n+
b
2
n
= 0 - on peut justier cela par le thorme
des gendarmes,
0 a
2
n
a
2
n
+b
2
n
.
Prenant la racine carre, on conclut que lim
n+
a
n
= lim
n+
b
n
= 0.
Exercice 17 - Thorme de Fjer - L2/L3/Math Sp -
1. Remarquons que le changement de variables y = x t et la 2priodicit des fonctions
assure que f e
k
= e
k
f. Ainsi, on en dduit
f e
k
(x) =
1
2
_

e
ik(xt)
f(t)dt =
_
1
2
e
ikt
f(t)dt
_
e
k
(x).
Par linarit, f S
n
est un polynme trigonomtrique, et on reconnait mme que cest la
nime somme partielle de la srie de Fourier de f.
2. Cest un calcul excessivement classique ! En remarquant que S
n
est une somme gom-
trique, on en dduit, pour x / R2Z :
S
n
(x) = e
inx
e
(2n+1)ix
1
e
ix
1
=
sin((n + 1)x/2)
sin(x/2)
.
On recommence, en utilisant lastuce classique dcrire sin((n + 1)x/2) = (e
i(n+1)x/2
).
On trouve :
n

k=0
e
(k+1/2)ix
= e
i(n+1)x/2
sin((n + 1)x/2)
sin(x/2)
.
Retournant C
n
en prenant la partie imaginaire, on trouve le rsultat demand.
http://www.bibmath.net 16
Exercices - Sries de Fourier : corrig
3. La positivit de C
n
rsulte immdiatement de lexpression prcdente qui fait intervenir
un carr. Pour lintgrale, il sut dabord de remarquer que :
1
2
_

S
n
(t) = 1
(calcul immdiat), ce qui donne le mme rsultat pour C
n
par linarit. Ensuite, si x
[, ][, ], on a [ sin(x/2)[ [ sin(/2)[, ce qui entrane
[C
n
(x)[
1
(n + 1) sin
2
(/2)
,
quantit qui tend vers 0 indpendamment de x.
4. Remarquons dabord que si x R, on a :
f C
n
(x) =
1
2
_

f(x u)C
n
(u)du.
Prouvons la convergence uniforme. On xe > 0. On a :
[f C
n
(x) f(x)[ =

1
2
_

(f(x u) f(x))C
n
(u)du

.
On xe un ]0, 2] (une valeur prcise sera explicite plus tard), et on dcoupe lint-
grale. On obtient :
[fC
n
(x)f(x)[
1
2
_
||t
[f(xu)f(x)[C
n
(u)du+
1
2
_
|t|
[f(xu)f(x)[C
n
(u)du.
On gre les deux parties de lintgrale trs diremment. Dune part, f est une fonction
continue et priodique. Elle est donc borne par une constante M sur R (la borne M tant
celle qui apparait sur lintervalle [0, 2]). On a donc :
1
2
_
||t
[f(x u) f(x)[C
n
(u)du
2M
2
_
|t|
C
n
(u)du.
Maintenant, puisque la fonction C
n
converge uniformment vers 0 sur [, ] [, ],
lintgrale qui apparait dans cette dernire expression tend vers 0. Il existe donc N N
tel que, pour n N, on a
1
2
_
||t
[f(x u) f(x)[C
n
(u)du .
Pour lautre expression, on remarque que si est petit, xu et x seront proches, et on peut
esprer que [f(xu)f(x)[ sera petit. Il nous faut ici un argument duniforme continuit.
Cest possible, car toute fonction continue et priodique est en fait uniformment continue
(cest un trs bon exercice utilisant le thorme de Heine et des dcoupages avec des ).
Pour > 0 x, il existe donc > 0 (cest maintenant quon le xe) tel que
[z y[ = [f(z) f(y)[ .
http://www.bibmath.net 17
Exercices - Sries de Fourier : corrig
On obtient
1
2
_
||t
[f(x u) f(x)[C
n
(u)du
1
2
_

C
n
(u)du .
Finalement, pour n N, on a bien
[f C
n
(x) f(x)[ 2,
ce qui prouve la convergence uniforme (sur R).
Applications des sries de Fourier
Exercice 18 - Ingalit entre f et sa drive - L2/L3/Math Sp -
1. Lhypothse donne c
0
(f) = 0, tandis quune intgration par parties donne
c
n
(f

) = inc
n
(f).
2. f tant de classe C
1
, elle est partout somme de sa srie de Fourier (et on a mme conver-
gence normale). On peut donc crire, en utilisant les rsultats de la question prcdente :
f(t) =

nZ

c
n
(f)e
int
=

nZ

1
in
c
n
(f

).
On conclut en utilisant lingalit triangulaire.
3. On applique lingalit de Cauchy-Schwarz, qui donne
[f(t)[
2

_
_

nZ

1
n
2
_
_

_
_

nZ

[c
n
(f

)[
2
_
_
.
La premire somme vaut, daprs le rappel,
2
/3, et pour la seconde, on utilise lidentit
de Parseval qui donne

nZ

[c
n
(f

)[
2

nZ
[c
n
(f

)[
2
=
1
2
_
2
0
_
f

(t)
_
2
dt.
On en dduit
[f

(t)[
2


6
_
2
0
_
f

(t)
_
2
dt
ce qui donne la conclusion.
Exercice 19 - Ingalit de Wirtinger - L2/Math Sp -
Le fait de regarder des ingalits concernant des intgrales de fonction prises au carr incite
utiliser lidentit de Parseval. On note c
n
(f) les coecients de Fourier trigonomtriques de
f. Lnonc donne c
n
(f) = 0. Par ailleurs, une simple intgration par parties montre que
c
n
(f

) = inc
n
(f). Lidentit de Parseval applique aux deux fonctions f et f

donne donc
1
2
_
2
0
[f(t)[
2
=

nZ

[c
n
(f)[
2

nZ

n
2
[c
n
(f)[
2
=

nZ
[c
n
(f

)[
2
=
1
2
_
2
0
[f

(t)[
2
dt,
http://www.bibmath.net 18
Exercices - Sries de Fourier : corrig
ce qui donne lingalit voulue. Pour quil y ait galit, il faut que partout les ingalits soient
des galits. En particulier, on doit avoir n
2
[c
n
(f)[
2
= [c
n
(f)[
2
pour tout n Z

. Ceci entrane
en particulier que c
n
(f) = 0 pour [n[ > 1. Comme f est de classe C
1
, sa srie de Fourier converge
normalement vers f, et on obtient donc que f(t) = ae
it
+be
it
, avec a, b C. Rciproquement,
il est facile de vrier que pour des fonctions de cette forme, il y a galit.
Exercice 20 - Lien entre f et sa drive seconde - L2/Math Sp -
Par une double intgration par parties, on trouve que c
n
(f

) = n
2
c
n
(f). En particulier,
on a [c
n
(f

)[ [c
n
(f)[ 0 pour n ,= 0. De plus, on sait par hypothse que c
0
(f) = 0. Daprs
le thorme de Parseval, on a
_
2
0
[f

(t)[
2
dt =

n=0
[c
n
(f

)[
2
et
_
2
0
[f(t)[
2
dt =

n=0
[c
n
(f)[
2
.
Puisque [f

[ [f[, on en dduit que

n=0
[c
n
(f

)[
2
=

n=0
n
2
[c
n
(f)[
2

n=0
[c
n
(f)[
2
.
Ceci entrane ncessairement que c
n
(f) = 0 pour [n[ > 1. Ainsi, puisque c
0
(f) = 0, on doit avoir
f(t) = ae
it
+be
it
pour a, b des constantes complexes. Rciproquement, si f(t) = ae
it
+be
it
, on vrie facilement
que f

= f et donc [f

[ = [f[.
Exercice 21 - Fonctions 2priodiques et croissances des drives - L2/Math Sp
-
Procdons par analyse-synthse. Soit f une solution du problme. Puisque f est de classe
C

, f, ainsi que toutes ses drives, sont sommes de leur srie de Fourier qui converge norma-
lement sur R. On crit donc f(x) =

pZ
c
p
e
ipx
. On sait que c
p
(f
(n)
) = (ip)
n
c
p
(f). De plus, on
a

c
p
(f
(n)
)

=
1
2

_
2
0
f
(n)
(t)e
ipt
dt

1
2
_
2
0
M
n
dx
M
n
.
On en dduit
c
p
(f) M

n
[p[
n
.
Ainsi, ds que [p[ , faisant tendre n vers linni, on trouve que c
p
(f) = 0. Ainsi, f est
ncessairement un polynme trigonomtrique. Rciproquement, si f est un polynme trigono-
mtrique, il scrit f(x) =
p
0

p=p
0
c
p
e
ipx
. On a alors, pour tout n, f
(n)
(x) =
p
0

p=p
0
(ip)
n
c
p
e
ipx
,
http://www.bibmath.net 19
Exercices - Sries de Fourier : corrig
do lon dduit

f
(n)
(x)

p
n
0
p
0

p=p
0
[c
p
[,
ce qui montre que f est solution du problme avec = p
0
et M =
p
0

p=p
0
[c
p
[.
Exercice 22 - Ingalit de Bernstein - L2/Math Sp -
1. On trouve que c
2k
(S) = 0, et c
2k+1
(S) = 2e
(2k+1)i
. En particulier, on a

kZ
[c
k
[ =

kZ
c
k
e
ik/2
.
Dautre part, puisque S est continue et de classe C
1
par morceaux, et que S est continue
en /2, on a

2
= S(/2) =

kZ
c
k
e
ik/2
=

kZ
[c
k
[.
2. On a
h

(t) =
n

j=1
i
j
a
j
e
i
j
t
=
n

j=1
iS(
j
)a
j
e
ijt
.
Puisque la srie de Fourier de S converge normalement vers S sur R, on a
h

(t) =
n

j=1
ia
j
e
i
j
t
_
_

kZ
c
k
(S)e
ikj
_
_
=

kZ
ic
k
(S)
_
_
n

j=1
a
j
e
i
j
(t+k)
_
_
=
+

k=
ic
k
(S)h(t +k)
do
[h

(t)[
+

k=
[c
k
(S)[|h|


2
|h|

.
3. Il sut de poser h(t) = P(t), avec =

2
, puis dappliquer le rsultat prcdent h, et
de remonter P !
Exercice 23 - Sries de Fourier et quations direntielles - L2/L3/Math Sp -
1. (a) On a, pour tout t R,

1
(n!)
2
e
int

1
(n!)
2
et le membre de droite est le terme gnral dune srie numrique convergente. La
srie trigonomtrique converge normalement, donc uniformment sur R.
http://www.bibmath.net 20
Exercices - Sries de Fourier : corrig
(b) Puisque, pour chaque n N, la fonction f
n
: t
1
(n!)
2
e
int
est continue, et puisque
la srie trigonomtrique converge uniformment, la fonction f est continue. De plus,
f
n
est de classe C
2
et on a, pour tout t R,

n
(t)

n
(n!)
2
et

n
(t)

1
_
(n 1)!
_
2
.
Les membres de droite sont chaque fois des sries numriques convergentes (par
exemple, daprs la rgle de dAlembert), les sries de fonctions

n0
f
n
(t) et

n0
f

n
(t)
convergent donc normalement sur R. Ceci prouve que f est de classe C
2
, et de plus
que f

(t) =

n0
(in)
2
n!
e
int
. On en dduit
f

(t) +e
it
f(t) =

n1
1
_
(n 1)!
_
2
e
int
+

n0
1
(n!)
2
e
i(n+1)t
=

n0
1
(n!)
2
e
i(n+1)t
+

n0
1
(n!)
2
e
i(n+1)t
= 0.
La fonction f est donc bien solution de lquation direntielle (E).
2. (a) Il sut de faire une double intgration par parties pour prouver que
c
n
(g

) = (in)
2
c
n
(g) = n
2
c
n
(g).
(b) Puisque g est solution de lquation direntielle (E), on sait que g

(t) = g(t)e
it
pour tout t R. Ceci donne
c
n
(g

) =
1
2
_

g(t)e
it
e
int
dt
= c
n1
(g).
(c) Les deux rsultats prcdents pris ensemble prouvent que, pour chaque n Z, on a
c
n1
(g) = n
2
c
n
(g).
Par deux rcurrences faciles, on prouve alors que, pour tout n 0, c
n
(g) =
c
0
(g)
(n!)
2
,
et pour tout n < 0, c
n
(g) = 0. De plus, puisque g est C
1
et 2-priodique, elle est
somme de sa srie de Fourier. Autrement dit, on a
g(t) =

nZ
c
n
(g)e
int
= c
0

n0
1
(n!)
2
e
int
.
Ainsi, g est proportionnelle la fonction f et lensemble des solutions 2-priodiques
de (E) est lespace vectoriel engendr par f.
3. On rappelle que daprs le thorme de Cauchy, lensemble des solutions sur R de cette
quation est un espace vectoriel de dimension 2. Il existe donc des solutions qui ne sont
pas 2-priodiques.
http://www.bibmath.net 21
Exercices - Sries de Fourier : corrig
Exercice 24 - Solutions priodiques dune quation direntielle - L2/L3/Math Sp
-
1. Par intgration par parties, on sait que c
n
(f

) = inc
n
(f). Dautre part, lquation di-
rentielle nous donne
c
n
(f

) =
1
2
_
2
0
f(t +)e
int
dt =
1
2
e
in
_
2
0
f(t +)e
in(t+)
dt = e
in
c
n
(f).
On en dduit la relation demande.
2. Si f est une solution de lquation, f est drivable et la relation f

(t) = f(t +) entrane


que f est C
1
. f est donc somme de sa srie de Fourier,
f(t) =

nZ
c
n
(f)e
int
.
Si on a une solution non identiquement nulle, il existe n dans N tel que c
n
(f) ,= 0, et
donc, par la question prcdente, on doit avoir in = e
in
. Mais alors, prenant le module,
ceci entrane aussi que n = 1 et e
i
= i, soit = /2. Rciproquement, si = /2, alors
la fonction t e
it
vrie lquation.
Exercice 25 - Equation de la chaleur - L3 -
1. On introduit la fonction u dans lquation aux drives partielles. En supposant que les
fonctions f et g ne sannulent pas, on obtient que :
(x, t) Q,
f

(x)
f(x)
=
g

(t)
g(t)
.
Comme le membre de droite ne dpend pas de x et celui de gauche ne dpend pas de x,
on en dduit lexistence dune constante R telle que :
f

(x) f(x) = 0 g

(t) g(t) = 0.
2. Il y a plusieurs possibilits pour rsoudre lquation direntielle vrie par f, suivant
les valeurs de . Dabord, si > 0, f scrit f(x) = Ae

x
+Be

x
. Puisque u vrie la
dernire condition impose, on a forcment : f(0) = f(L) = 0. Ceci donne le systme
_
A+B = 0
Ae

L
+Be

L
= 0
Ce systme tant inversible, ceci donne A = B = 0, et la fonction u est identiquement
nulle : ce nest gure intressant ! Si maintenant = 0, f scrit f(x) = Ax+B. On obtient
encore avec f(0) = f(L) = 0 que A = B = 0 : ce nest pas plus intressant ! La dernire
possibilit est donc < 0 : en posant tel que =
2
, f scrit Acos(x)+Bsin(x). La
valeur en 0 donne A = 0. Pour avoir B ,= 0, il faut donc que sin(L) = 0. Donc, =
k
L
,
avec k Z. On rsoud maintenant lquation pour g. On trouve g(t) = Ce

n
2

2
L
2
t
. Une
solution de lquation vriant aussi la dernire condition scrit donc
u(x, t) = C sin
_
n
L
x
_
e

n
2

2
L
2
t
.
http://www.bibmath.net 22
Exercices - Sries de Fourier : corrig
La somme de deux solutions tant encore une solution (cest le principe de superposition),
une solution de la forme donne par lnonc est plausible.
3.

h est une fonction continue, C
1
par morceaux, 2Lpriodique, et impaire. Elle est donc
somme de sa srie de Fourier (qui converge normalement) et qui ne comporte que des
termes en sinus :

h(x) =

n1
b
n
(

h) sin
_
n
L
x
_
.
Si on veut faire concider u(x, 0) avec h(x), on est donc conduit poser a
k
= b
k
(h).
4. Passons ltape de synthse. Soit donc u donn par :
u(x, t) =

n1
b
n
(

h) sin
_
n
L
x
_
e

n
2

2
L
2
t
.
Remarquons dabord que cette srie est normalement convergente sur Q. On a en eet :
(x, t) Q,

b
n
(

h) sin
_
n
L
x
_
e

n
2

2
L
2
t

[b
n
(

h)[,
et on sait que la srie

[b
n
(

h)[ est convergente. Ainsi, ceci dnit bien une fonction


continue sur Q, et il est clair que u vrie les deux dernires conditions. Pour prouver
que u vrie aussi lquation de la chaleur, il est simplement ncessaire de prouver que
lon peut driver terme terme sous le signe somme. Ceci est justi par la convergence
normale de toutes les sries drives sur [0, L] [, +[, o est nimporte quel rel
strictement positif. Posons en eet u
n
(x, t) = b
n
(

h) sin
_
n
L
x
_
e

n
2

2
L
2
t
. Si et sont des
entiers, on a :

+
u
x

u
n
(x, t) = P
,
(n)b
n
(

h) sin
_
n
L
x
_
e

n
2

2
L
2
t
,
o P
,
est un polynme. En particulier, puisque la suite b
n
(

h) est borne par une


constante M, on a :

+
u
x

u
n
(x, t)

MP
,
(n)e

n
2

2
L
2

pour tout x [0, L] et tout t . Cette dernire srie converge, ce qui prouve le rsultat
voulu.
Spcial L3/Master
Exercice 26 - Formule sommatoire de Poisson - L3/M1 -
1. On va prouver que la srie est normalement convergente sur tout compact de R. Comme
il sagit de fonctions continues, la somme sera videmment continue. Fixons donc A > 0.
Si [x[ A, et [n[ 2A, on a [x +n[ [n[ [x[ [n[/2, ce qui donne par hypothse
[F(x +n)[
M
(1 +n/2)

.
Il sagit ici du terme gnral dune srie qui converge, et f est continue. Le changement
dindices n

= n + 1 montre en outre que f est continue.


http://www.bibmath.net 23
Exercices - Sries de Fourier : corrig
2. On a :
c
m
(f) =
_
1
0
f(t)e
i2mt
dt =
_
1
0

nZ
F(t +n)e
i2mt
dt =

nZ
_
1
0
F(t +n)e
i2mt
.
Linterversion limite intgrale est ici justie par la convergence normale de

nZ
F(t+n)
sur [0, 1], et le fait que [e
i2mt
[ = 1. On obtient
c
m
(f) =

nZ
_
n+1
n
F(u)e
i2mu
du =
_

F(u)e
i2mu
du =

F(m).
3. Il sagit dun rsultat gnral qui dit que si la srie de Fourier dune fonction continue
est absolument convergente, alors elle est partout somme de sa srie de Fourier. Red-
montrons ce rsultat dans ce cas. Soit g(t) =

mZ
c
m
(f)e
imt
. Puisque

mZ
[c
m
(f)[ =

mZ
[

F(m)[ < +, g est une fonction continue qui est somme de sa srie de Fourier (s-
rie trigonomtrique qui converge uniformment). Maintenant, g et f sont deux fonctions
continues qui ont les mmes coecients de Fourier : elles sont gales !
4. Daprs les deux questions prcdentes, f est partout somme de sa srie de Fourier. Cest
en particulier le cas en 0. On obtient donc que

nZ
F(n) = f(0) =

nZ

F(m).
Exercice 27 - Thorme de Wiener-Lvy - M1 -
1. Posons g =

nZ

f(n)e
int
, qui est une fonction continue 2priodique (la srie converge
normalement). Dautre part, le thorme de convergence domine (par exemple) assure
que g(n) =

f(n). Par injectivit de la fonction qui un lment de L
1
(T) associe ses
coecients de Fourier, on en dduit que f = g.
2. Ecrivons f =

nZ

f(n)e
int
, et g =

nZ
g(n)e
int
. Les deux sries tant absolument
convergentes pour tout t, il est possible de prendre leur produit de Cauchy, et on a donc :
fg =

nZ

i+j=n

f(i) g(j)e
int
.
On a donc
|fg|

nZ

i+j=n
|

f(i) g(j).
On reconnait alors dans le membre de droite de cette dernire ingalit le produit de
Cauchy de

n
[

f(n)[ avec

n
[ g(n)[.
3. Une intgration par parties montre que

f(n) =

f

(n)
in
, n ,= 0.
http://www.bibmath.net 24
Exercices - Sries de Fourier : corrig
En appliquant lingalit de Cauchy-Schwarz, puis le thorme de Parseval-Bessel ( la
fonction f

), il vient

nZ
[

f(n)[ [

f(0)[ +

n=0
1
[n[
[

(n)[
[

f(0)[ +
_
_

n=0
1
n
2
_
_
1/2
_
_

n=0
[

(n)[
2
_
_
1/2
[

f(0)[ +C
__
2
0
[f

(x)[
2
dx
_
1/2
.
4. Soit f A(T), et posons f
N
=

|n|N

f(n)e
int
. Alors on a
|f f
N
|

n>|N|

f(n),
quantit qui tend vers 0 comme reste dune srie divergente.
5. Puisque les V
x
recouvrent [0, 2], et que [0, 2], on peut en extraire un sous-recouvrement
ni V
1
, . . . , V
N
. Considrons
1
, . . . ,
N
une partition de lunit C

associe ce recouvre-
ment, ie
i
son support inclus dans V
i
,
i
est C

, et

n
j=1

j
= 1. On a alors, pour tout
x de [0, 2], f(x) =

N
j=1
g
j
(x)
j
(x). Prolongeons alors chaque
j
par 2priodicit en
une fonction C

sur R (il sut de remarquer quil est possible de supposer que chaque
voisinage V
j
peut tre inclus dans un intervalle de longueur infrieure 2). Par la ques-
tion prcdente,
j
et g
j
sont tous deux lments de A(T). Puisque A(T) est une algbre,
f est lment de A(T).
6. (a) Un calcul simple montre que

k
(0) =
1
2k
,

k
(n) =
k
n
2
(1 cos(n/k)).
On utilise alors lune des majorations suivantes
1 cos x
x
2
2
, 1 cos(x) 2
ce qui donne

nZ
[

k
(n)[
1
2
+
2

_
_
k
k

n=1
1
2k
2
+ 2k
+

n=k+1
1
n
2
_
_
.
Or,
k
k

n=1
1
2k
2

1
2
,
tandis quil est bien connu que (et cela sobtient par exemple en comparant une srie
et une intgrale)
+

n=k+1
1
n
2
= O(1/k),
ce qui donne bien la majoration!
http://www.bibmath.net 25
Exercices - Sries de Fourier : corrig
(b) Supposons dabord f de classe C

. En utilisant le rsultat de la question 3., il sut


dtablir que

k
(0) et
_
2
0
[(
k
f)

[
2
tendent vers 0. Mais, 0 V
k
1, et le support
de V
k
est inclus dans [1/k, 1/k], do
[

V
k
(0)[
|f|

k
,
_

[V
k
(x)f

(x)[
2
dx
|f

|
2

k
.
On a enn [V

k
[ 2k, et par hypothse sur f, [f(x)[ |f

k
1
sur le support de
V

k
. Cela donne
_

[V

k
(x)f(x)[
2
dx
2|f

|
2

k
.
Traitons enn le cas o f nest plus suppos C

. Fixons > 0. Par la densit


des polynmes trigonomtriques dans A(T), il existe une fonction g de classe C

telle que |f g| et g(0) = 0. Par le rsultat prcdent, il existe K tel que


k K = |V
k
g| . Remarquons enn que la question prcdente entraine
lexistence de C > 0 tel que |V
k
| C. On a donc
|V
k
f| |V
k
(f g)| +|V
k
g| (C + 1)
ds que k K.
7. Soit R le rayon de convergence de la srie entire

c
n
z
n
. Pour k assez grand, |V
k
f| < R,
ce qui garantit la convergence de la srie

|c
k
(V
k
f)
n
|. A(T) tant un espace de Banach, la
convergence "absolue" des sries entrane leur convergence, et donc

k
c
k
(V
k
f)
n
converge
dans A(T). En outre, pour [x[ < 1/2k, V
k
f(x) = f(x). Autrement dit, F f concide au
voisinage de 0 avec

c
k
(V
k
f)
n
, qui est lment de A(T).
8. Daprs la question 5, il sut de prouver que pour tout a de [0, 2], F f concide au
voisinage de a avec une fonction de A(T). Pour cela, on pose
f
a
(x) = f(x +a) f(x), G
a
(z) = F(f(a) +z) F(f(a)).
f
a
et G
a
satisfont aux hypothses de la question prcdente : il existe donc une fonction
h
a
de A(T) telle que h
a
concide avec G
a
f
a
sur un voisinage de 0. Il sut alors de poser
g
a
(x) = h
a
(x a) +F(f(a)). g
a
concide avec F f au voisinage de a.
Exercice 28 - Une srie trigonomtrique qui nest pas une srie de Fourier... - M1
-
1. En crivant comme dans lnonc et en utilisant le thorme de Fatou, on a
+

n=
c
n
liminf
N+
N

n=N
_
1
n
N
_
c
n
.
Maintenant, la quantit de droite ( lintrieur de la limite) est exactement
N
(f)(0), et
cette quantit tend vers f(0).
http://www.bibmath.net 26
Exercices - Sries de Fourier : corrig
2. Pour t 2Z, cest clair (le sinus est nul). Sinon, cela rsulte dune transformation dAbel,
et du fait que la srie

1
nln
2
n
est convergente.
3. Une intgration par parties entrane que c
n
(F) =
c
n
(f)
i
, et donc c
|n|
(F) =
a
|n|
2|n|
pour
[n[ 1. En vertu de la rponse la question 1, on en dduit

+
1
a
n
n
< +.
4. Rsulte de la question prcdente et du fait que

1
nln n
= +.
Exercice 29 - Divergence de la srie de Fourier dune fonction continue - M1 -
1. On a
[T
n
(f)[ =
1
2

_
2
0
D
n
(t)f(t)dt

|D
n
|
1
|f|

,
ce qui prouve que |T
n
| |D
n
|
1
. Pour lautre ingalit, lidal serait de pouvoir prendre
continue 2priodique telle que (t) = signe(D
n
(t)), auquel cas on aurait exactement
T
n
() = |D
n
|
1
= |D
n
|
1
||

.
La continuit est impossible satisfaire, mais il existe une suite
k
de fonctions continues,
avec |
k
|

1, qui converge simplement vers . Utilisant le thorme de convergence


domine, on obtient alors
lim
k
[T(
k
)[ = |D
n
|
1
,
alors quon a toujours |T
n
(
k
)| |D
n
|
1
, ce qui donne le rsultat.
2. Observons que D
n
(t) =
sin((n+1/2)t)
sin(t/2)
. Lide est de faire intervenir un changement de
variables, et de faire intervenir sin(t)/t. Ecrivons en eet
D
n
(t) =
sin((n + 1/2)t
t/2
+(t) sin((n + 1/2)t),
o (t) =
1
sin(t/2)

1
t/2
. Cette fonction est continue sur [0, 2], on peut appliquer le
thorme de Riemann-Lebesgue pour obtenir que
lim
n+
_
2
0
(t) sin((n + 1/2)t)dt = 0.
Dautre part, on a
_
2
0
[ sin((n + 1/2)t)[
t/2
=
_
(n+1/2)2
0
[sin(u)[
u/2
du.
Mais u
sin u
u
nest pas dans L
1
(R) et cette dernire quantit tend vers = , ce qui
prouve bien que |D
n
|
1
+.
3. Si pour toute fonction continue f, S
n
(f)(0) converge, alors
sup
n
[T
n
(f)[ < +.
Par le thorme de Banach-Steinhaus, on aurait sup
n
|T
n
| < +, ce qui nest pas le cas !
http://www.bibmath.net 27

Vous aimerez peut-être aussi