Sries de Fourier

licence de mathmatiques 2me anne

Vincent Thilliez

24 avril 2008
Introduction
La thorie des sries de Fourier permet dinterprter certains signaux (autrement
dit, certaines fonctions dnies sur un intervalle rel) comme rsultant de la superpo-
sition dune innit de signaux sinusodaux de frquences direntes. Lide dune telle
dcomposition apparat en 1807 dans une premire communication de Joseph Fourier
lAcadmie des Sciences de Paris, concernant la rsolution de lquation aux drives par-
tielles qui rgit la propagation de la chaleur dans les solides. En 1822, Fourier publie sur
ce sujet un ouvrage devenu clbre
1
, intitul Thorie analytique de la chaleur. Cependant,
cest sous limpulsion de Gustav Lejeune Dirichlet que la thorie de Fourier, jusqualors
controverse, prend vraiment son essor : en particulier, Dirichlet publie en 1829 la pre-
mire dmonstration rigoureuse dun rsultat de convergence pour les sries de Fourier.
Ds lors, le dveloppement de lanalyse au XIXme sicle devient indissociable des pro-
blmes lis ces sries, qui seront lorigine de contributions monumentales de Riemann
(sur lintgration), dAbel (sur la convergence des sries de fonctions), de Weierstrass (qui
introduit la convergence uniforme et met les bases de lanalyse sous leur forme actuelle) et
de Cantor (qui fonde la topologie gnrale). Nous sommes alors entre 1870 et 1880 ; plus
dun demi-sicle sest coul depuis la publication de la Thorie analytique de la chaleur.
Le lecteur la recherche dinformations historiques plus dtailles sur cette priode pourra
se reporter au chapitre VI de [1] et [3].
Au XXme sicle, le dveloppement de la thorie de lintgration et celui de lanalyse
fonctionnelle ouvrent de nouveaux horizons lanalyse de Fourier. Ces nouveaux points de
vue ne peuvent tre queeurs dans le cours qui va suivre : ils le seront travers lapproche
hilbertienne des sries de Fourier, et travers le thorme de convergence en moyenne
dmontr en 1900 par Lipt Fejr
2
. Cette poque voit la naissance de lanalyse harmonique,

Mathmatiques, Btiment M2, Universit des Sciences et Technologies de Lille, F-59655 Villeneuve
dAscq Cedex ; e-mail : thilliez@math.univ-lille1.fr
1
Le trait contient en eet dimportantes ides novatrices, parmi lesquelles se fait jour une conception
trs actuelle de la notion de fonction : pour les mathmaticiens de lpoque, une fonction de la variable
x est donne par une expression explicite unique, par exemple y = exp(x
2
) cos x. Pour Fourier, il sagit,
bien plus gnralement, de valeurs donnes, assujetties ou non une loi commune, et qui rpondent
toutes les valeurs de x comprises dans un intervalle : ceci autorise, en particulier, des dnitions par
morceaux dont on considrait jusqualors quelles ne correspondaient pas de vraies fonctions...
2
alors g de 20 ans.
1
discipline toujours active de nos jours aprs une immense eervescence dans les annes
1960. Mais cest peut-tre travers la thorie des ondelettes, avatar contemporain de
la thorie de Fourier, que celui-ci connat un de ses plus grands triomphes posthumes.
On pourra se reporter [3] pour une introduction aux ondelettes dans une perspective
historique.
Notre but, bien plus modeste, est de prsenter ici quelques rsultats fondamentaux sur
les sries de Fourier. Ces rsultats sont essentiellement ceux de [5], tome 2, chapitre XII,
mis sous un habillage moderne (noyaux de convolution, formalisme Hilbertien) autant
que le permet le bagage thorique rduit dont on dispose en 2me anne, en particulier pour
ce qui concerne lintgration. Le cadre adquat tant indubitablement celui de lintgrale
de Lebesgue vue en 3me anne, ltude des sries de Fourier sera donc approfondie dans
un module ultrieur, auquel le prsent document peut tre vu comme une prparation.
Pour linstant, an dviter de gaspiller de lnergie sur des dicults lies lintgrale de
Riemann de fonctions relativement irrgulires
3
, le cours sera dlibrment plac dans le
cadre trs simple des fonctions continues par morceaux. Les rsultats principaux (comme
le thorme de Dirichlet, ou celui de Fejr) ne sont donc pas prsents sous leur forme la
plus gnrale. En revanche, les ides directrices de la thorie apparaissent dj nettement
et fournissent des applications substantielles.
Ce document a bnci de commentaires de Jean-Franois Burnol, que je remercie.
Nanmoins, le texte est susceptible de comporter encore des erreurs typographiques ou de
petites incohrences. Les remarques permettant de lamliorer seront donc bienvenues.
1 Prparatifs
Ltude des sries de Fourier requiert lintroduction pralable de quelques notions tech-
niques un peu fastidieuses. An de ne pas noyer les points rellement importants dans des
considrations auxiliaires, il a sembl prfrable de ne pas disperser ces notions au l du
texte. Cest pourquoi elles ont t regroupes dans ce chapitre de prparatifs. Certains
paragraphes (comme celui sur la convolution) peuvent tre omis en premire lecture ; on
sy reportera au moment de leur utilisation.
1.1 Notation
Dans la suite, on notera systmatiquement f(c

) (resp. f(c
+
)) la limite gauche (resp.
droite) dune fonction f en un point c donn de R. Autrement dit, on pose
f(c

) = lim
xc
x<c
f(x) et f(c
+
) = lim
xc
x>c
f(x)
lorsque cela a un sens.
1.2 Rgularit par morceaux
Dnition 1.2.1. Soit f une fonction dnie sur un intervalle ferm born [a, b], valeurs
relles ou complexes. On dit que f est continue par morceaux sil existe une famille nie
(x
j
)
0jN
de points de [a, b], avec a = x
0
< x
1
< < x
N
= b, telle que, pour tout
3
fonctions rgles, par exemple.
2
j = 0, . . . , N 1, on ait les deux proprits suivantes :
(i) la fonction f est continue sur chaque intervalle ouvert ]x
j
, x
j+1
[,
(ii) la fonction f possde une limite droite en x
j
et gauche en x
j+1
.
Remarque 1.2.2. Il rsulte de cette dnition quaux points x
j
avec 1 j N 1, la
fonction f a une limite gauche et droite. Ces limites gauche et droite concident,
et valent f(x
j
), si et seulement si la fonction f est en fait continue en x
j
.
Remarque 1.2.3. On obtient la mme notion en remplaant les points (i) et (ii) de la
dnition 1.2.1 par lexistence dune fonction f
j
continue sur [x
j
, x
j+1
] dont la restriction
]x
j
, x
j+1
[ concide avec f.
Exercice 1.2.4. Soit f une fonction continue par morceaux sur [a, b]. Montrer que f est
borne sur [a, b].
Dnition 1.2.5. Soit f une fonction dnie sur un intervalle ferm born [a, b], valeurs
relles ou complexes. On dit que f est de classe C
1
par morceaux sil existe une famille
nie (x
j
)
0jN
de points de [a, b], avec a = x
0
< x
1
< < x
N
= b, telle que, pour tout
j = 0, . . . , N 1, on ait les deux proprits suivantes :
(i) la fonction f est drivable, drive continue, sur chaque intervalle ouvert ]x
j
, x
j+1
[,
(ii) la fonction f et sa drive f

possdent une limite droite en x

j
et gauche en x
j+1
.
Remarque 1.2.6. Par dnition, toute fonction de classe C
1
par morceaux est continue par
morceaux (la rciproque est clairement fausse).
Remarque 1.2.7. On ne suppose pas lexistence des f

(x
j
). En eet, la fonction f nest pas
ncessairement continue en x
j
, et mme si elle lest, les conditions (i) et (ii) impliquent
seulement lexistence de drives gauche et droite en ce point
4
(voir lexercice 1.2.9).
Exercice 1.2.8. Montrer que lon ne change pas la notion de fonction de classe C
1
par
morceaux si lon remplace la condition (ii) de la dnition 1.2.5 par la condition (ii)
bis
suivante :
(ii)
bis
la drive f

possde une limite droite en x

j
et gauche en x
j+1
.
Autrement dit, montrer que (i) et (ii) quivalent (i) et (ii)
bis
.
Exercice 1.2.9. Montrer que lon obtient encore la mme notion en remplaant les points
(i) et (ii) de la dnition 1.2.5 par lexistence dune fonction f
j
de classe C
1
sur lintervalle
[x
j
, x
j+1
] et dont la restriction ]x
j
, x
j+1
[ concide avec f. En dduire que si f est continue
en x
j
, elle y admet une drive gauche et droite (sauf aux bornes, o un seul type de
limite intervient).
1.3 Intgration
Soit f une fonction continue par morceaux sur [a, b]. On considre une subdivision
a = x
0
< x
1
< < x
N
= b associe f par la dnition 1.2.1. On sait que f est continue
sur chaque intervalle ouvert ]x
j
, x
j+1
[ avec j = 0, . . . , N 1. Soit f
j
la fonction dnie
sur lintervalle ferm [x
j
, x
j+1
] par f
j
(x) = f(x) pour x
j
< x < x
j+1
, f
j
(x
j
) = f(x
+
j
) et
f
j
(x
j+1
) = f(x

j+1
). Alors f
j
est continue sur lintervalle ferm born [x
j
, x
j+1
] et, ce
4
en ne considrant naturellement quun seul ct lorsque x
j
est une borne de lintervalle.
3
titre, Riemann-intgrable sur cet intervalle. On dnit alors lintgrale de f sur [a, b] par
_
b
a
f(x)dx =
N1

j=0
_
x
j+1
x
j
f
j
(x)dx. (1)
Remarque 1.3.1. Le lecteur dont les connaissances sur lintgrale de Riemann stendent
un peu au-del de lintgrabilit des fonctions continues sur un intervalle compact pourra
constater que f est elle-mme Riemann intgrable sur lintervalle [a, b] puisque, dune
part, elle y est borne voir lexercice 1.2.4 et que, dautre part, lensemble de ses points
de discontinuit y est ngligeable (il sagit, au plus, de lensemble des points x
j
, qui est
ni). Fort heureusement, lintgrale ainsi obtenue est la mme que celle de la dnition
prcdente : en eet, les intgrales de f et f
j
sur [x
j
, x
j+1
] concident puisque f et f
j
dirent en un nombre ni de points sur cet intervalle ; il sut alors dutiliser la relation
de Chasles.
Remarque 1.3.2. Dans la dnition 1.2.1, le choix de la famille (x
j
)
0jN
nest pas unique,
mais lintgrale dnie par (1) ne dpend pas de ce choix. On peut le dmontrer en utilisant
la relation de Chasles (cest ennuyeux mais sans dicult), ou en se servant de la remarque
prcdente, puisque lintgrale (1) nest autre que lintgrale de Riemann de f sur [a, b].
1.4 Une formule dintgration par parties
Soit f une fonction de classe C
1
par morceaux sur un intervalle [a, b]. On a vu (re-
marque 1.2.7) que la drive f

peut ne pas exister aux points x

j
de la dnition 1.2.5.
Cependant, si lon pose h(x) = f

(x) en dehors de ces points et si lon donne une valeur

arbitraire chaque h(x
j
), on obtient ainsi une fonction h qui est continue par morceaux
sur [a, b] : cest une consquence immdiate des dnitions. De plus, lintgrale
_
b
a
h(x)dx
ne dpend que de f

et non des valeurs que lon a donnes aux h(x

j
). Pour cette raison,
on dit quil sagit de lintgrale de f

sur [a, b] et on la note

_
b
a
f

(x)dx. Elle vrie les

proprits usuelles de lintgrale de Riemann : linarit, relation de Chasles, majoration
[
_
b
a
f

(x)dx[
_
b
a
[f

(x)[dx, par exemple.

Nous aurons besoin du rsultat suivant.
Proposition 1.4.1. Soient f et g des fonctions continues sur [a, b] et de classe C
1
par
morceaux sur [a, b]. Alors on a la formule dintgration par parties usuel le :
_
b
a
f(x)g

(x)dx = [f(x)g(x)]
b
a

_
b
a
f

(x)g(x)dx, avec [f(x)g(x)]

b
a
= f(b)g(b) f(a)g(a).
Dmonstration. : La dnition 1.2.5 associe f et g des familles respectives (x
j
)
0jN
et (y
k
)
0kP
de points de [a, b], avec a = x
0
< x
1
< < x
N
= b et a = y
0
< y
1
< <
y
P
= b, pour lesquelles les proprits (i) et (ii) sont vries. En rangeant les points x
j
et y
k
par ordre croissant, et en renumrotant, on obtient une famille de points (z
l
)
0lM
,
avec a = z
0
< z
1
< < z
M
= b, telle que f

et g

soient continues sur chaque intervalle

]z
l
, z
l+1
[ et admettent des limites droite en z
l
et gauche en z
l+1
. Les fonctions f et g
tant en outre supposes continues sur [a, b], donc sur [z
l
, z
l+1
], il en rsulte quelles sont de
classe C
1
sur cet intervalle (cest une consquence classique du thorme des accroissements
4
nis ; voir le cours de 1re anne ou [5], tome 2, nonc IV.4.4). On peut alors intgrer par
parties sur [z
l
, z
l+1
] ; on obtient
_
z
l+1
z
l
f(x)g

(x)dx = f(z
l+1
)g(z
l+1
) f(z
l
)g(z
l
)
_
z
l+1
z
l
f

(x)g(x)dx. (2)
En ajoutant ces galits membre membre pour l = 0, , M 1, on obtient le rsultat
recherch.
Remarque 1.4.2. Attention : la formule dintgration par parties nest plus vraie si lon
suppose seulement que f et g sont de classe C
1
par morceaux, en omettant lhypothse de
continuit
5
. La raison en est que lgalit (2) devient, dans ce cas,
_
z
l+1
z
l
f(x)g

(x)dx = f(z

l+1
)g(z

l+1
) f(z
+
l
)g(z
+
l
)
_
z
l+1
z
l
f

(x)g(x)dx.
et les termes intermdiaires f(z

l+1
)g(z

l+1
) f(z
+
l
)g(z
+
l
) ne sliminent pas deux deux
lorsque lon additionne membre membre.
1.5 Priodicit
Dnition 1.5.1. Soit T un rel strictement positif. Une fonction f dnie sur R,
valeurs relles ou complexes, est dite T-priodique si on a f(x +T) = f(x) pour tout rel
x. On appellera alors interval le admissible pour f tout intervalle de la forme [a, a + T[
avec a R.
Une fonction T-priodique est entirement dtermine par sa donne sur un intervalle
admissible. En eet, pour tout rel x, il existe un unique entier relatif k tel que lon ait
x [a+kT, a+(k+1)T[. La priodicit assure que f(x) = f(xkT) ; or xkT appartient
lintervalle admissible [a, a +T[.
Exercice 1.5.2. Dessiner lallure des graphes des fonctions 1-priodiques f et g dnies
respectivement par f(x) = [x[ pour x [1/2, 1/2[ et g(x) = [x[ pour x [0, 1[.
Dnition 1.5.3. Une fonction T-priodique est dite continue (resp. de classe C
1
) par
morceaux sur R si elle est continue (resp. de classe C
1
) par morceaux sur un intervalle
[a, b] avec a R et b = a +T.
Remarque 1.5.4. Il est facile de se convaincre que la dnition prcdente ne dpend pas
du choix de a. On pourrait aussi y remplacer la condition b = a + T par b a T. Par
priodicit, il sut que la fonction soit continue (resp. de classe C
1
) par morceaux sur un
tel intervalle pour quelle le soit sur tout intervalle [c, d].
Exercice 1.5.5. Soit f une fonction T-priodique continue par morceaux. Montrer que f
est continue sur R si et seulement si il existe un rel a tel que les deux proprits suivantes
soient vries :
(i) la fonction f est continue sur lintervalle admissible [a, a +T[,
(ii) on a f(a
+
) = f((a +T)

).
5
Rappelons quune fonction C
1
par morceaux est, en gnral, continue seulement par morceaux.
5
Exercice 1.5.6. Dmontrer que si f et g deux fonctions T-priodiques continues par mor-
ceaux, alors, pour tout rel x x, la fonction t f(t)g(x t) est aussi T-priodique et
continue par morceaux.
Exercice 1.5.7. Soit g une fonction T-priodique continue sur R. Montrer que g est unifor-
mment continue sur R (le lecteur attentif verra que la preuve du thorme 5.3.1 contient
la solution de cet exercice dans le cas T = 2).
Lemme 1.5.8. Soit f une fonction T-priodique continue par morceaux. Alors lintgrale
_
a+T
a
f(x)dx ne dpend pas du choix du rel a.
Dmonstration. La relation de Chasles permet dcrire
_
a+T
a
f(x)dx =
_
0
a
f(x)dx +
_
T
0
f(x)dx +
_
a+T
T
f(x)dx. (3)
Le changement de variable x = y +T, dx = dy, conduit lgalit
_
a+T
T
f(x)dx =
_
a
0
f(y +
T)dy =
_
a
0
f(y)dy, compte tenu de la relation de priodicit f(y +T) = f(y). Il en rsulte
que la premire et la troisime intgrale au second membre de (3) sliminent. Il reste la
seconde intgrale, qui est indpendante de a.
Remarque 1.5.9. En pratique, on choisira un intervalle [a, a + T] commode pour le calcul
de lintgrale. titre dexemple, on pourra comparer, pour la fonction g de lexercice 1.5.2,
le calcul de
_
a+1
a
(g(x))
2
dx avec a = 1/2 et avec a = 0.
Dans la suite, par commodit, les fonctions priodiques considres seront 2-priodi-
ques. Bien sr, ce choix est motiv par le fait que les fonctions trigonomtriques usuelles
(cos, sin, t e
it
...) sont 2-priodiques
6
. Il ne restreint pas la gnralit, puisque tous les
rsultats que lon tablit pour les fonctions 2-priodiques se transposent trs facilement
aux fonctions T-priodiques avec T quelconque : il sut en eet de remarquer que si f
est une fonction T-priodique, alors x f(
2
T
x) est une fonction 2-priodique. Cest un
simple changement dchelle.
Remarque 1.5.10. Pour toute fonction g suppose 2-priodique continue par morceaux,
le lemme 1.5.8 donne en particulier la relation
_
2
0
g(x)dx =
_

g(x)dx.
Dans la suite, nous utiliserons souvent cette proprit sans la rappeler explicitement.
1.6 Convolution
Dnition 1.6.1. Soient f et g deux fonctions 2-priodiques continues par morceaux.
On appelle produit de convolution de f et g la fonction f g dnie sur R par
f g(x) =
1
2
_

f(t)g(x t)dt.
6
Cest dailleurs une des approches possibles pour dnir rigoureusement le nombre : voir [5], tome
2, VIII.8.
6
Avant dtablir quelques proprits du produit de convolution, il convient de remarquer
que lintgrale gurant dans la dnition prcdente a bien un sens puisque la fonction
t f(t)g(x t) est elle-mme continue par morceaux sur [, ] (exercice 1.5.6).
Proposition 1.6.2. tant donnes deux fonctions 2-priodiques continues par morceaux
f et g, leur produit de convolution f g est une fonction 2-priodique et on a f g = gf.
De plus, si lune des fonctions f ou g est continue sur R, alors f g est continue sur R.
Dmonstration. On vrie immdiatement, en utilisant la priodicit de g, que lon a
(f g)(x +2) = (f g)(x). En faisant le changement de variable t = x s, dt = ds, on
a par ailleurs
f g(x) =
_

f(t)g(x t)dt =
_
x+
x
f(x s)g(s)ds.
En utilisant le lemme 1.5.8 et la priodicit de la fonction s f(x s)g(s), on en tire
f g(x) =
_

g(s)f(x s)ds = g f(x).

Il reste tablir la continuit de f g lorsque f ou g est continue. Compte tenu de
lgalit f g = g f, les rles de f et g sont symtriques et il sut donc dtablir la
proprit lorsque la fonction suppose continue est g. La dnition des fonctions continues
par morceaux associe f une subdivision = x
0
< x
1
< < x
N
= et, pour chaque
j = 0, . . . , N 1, une fonction f
j
continue sur [x
j
, x
j+1
] qui concide avec f sur ]x
j
, x
j+1
[.
Compte tenu de la dnition de lintgrale dune fonction continue par morceaux, on aura,
pour tout rel x,
f g(x) =
1
2
_

f(t)g(x t)dt =
1
2
N1

j=0
_
x
j+1
x
j
h
j
(t, x)dt (4)
avec h
j
(t, x) = f
j
(t)g(x t). Puisque g est suppose continue sur R, la fonction (t, x)
h
j
(t, x) est continue sur [x
j
, x
j+1
] R. La fonction x
_
x
j+1
x
j
h
j
(t, x)dt est donc continue
sur R en vertu des rsultats classiques sur les intgrales dpendant dun paramtre (voir
par exemple [5], tome 2, thorme XI.7.2). Compte tenu de (4), il en rsulte bien que f g
est continue sur R.
Exercice 1.6.3. Soit f une fonction 2-priodique continue par morceaux et soit g une
fonction 2-priodique continue
7
. Donner une preuve directe de la continuit de f g en
utilisant le fait que g est, en fait, uniformment continue (voir lexercice 1.5.7).
7
En fait, les hypothses sur f et g pourraient tre considrablement aaiblies. En particulier, on peut
dnir f g en supposant seulement que f et g sont 2-priodiques et intgrables au sens de Riemann sur
[, ]. Avec quelques eorts supplmentaires, on peut montrer que dans ce cadre, f g est encore une
fonction continue. Ce fait assez remarquable met en vidence le caractre rgularisant de la convolution :
le produit de convolution de deux fonctions a tendance a tre plus rgulier que celles-ci.
7
2 Des polynmes trigonomtriques aux sries de Fourier
2.1 Polynmes trigonomtriques
Dnition 2.1.1. On appelle polynme trigonomtrique toute fonction P dnie sur R
par une expression de la forme
P(x) =
N

n=N
c
n
e
inx
(5)
o N est un entier naturel et o c
N
, . . . , c
1
, c
0
, c
1
, . . . , c
N
sont des coecients complexes.
Lorsque lun au moins des coecients c
N
ou c
N
est non nul, on dit que N est le degr
de P.
Remarque 2.1.2. On verra plus loin (remarque 2.1.7) qutant donn un polynme trigo-
nomtrique P, lcriture (5), o N est le degr de P, est unique. En particulier, le degr
lui-mme est dni sans ambigit. Lexercice ci-dessous propose une autre dmonstration
de cette proprit dunicit.
Exercice 2.1.3.
i. Soit M un entier naturel et soient b
M
, . . . , b
1
, b
0
, b
1
, . . . , b
M
des nombres complexes.
On suppose que pour tout rel x, on a

M
n=M
b
n
e
inx
= 0. Montrer que tous les coecients
b
n
sont nuls. On pourra ramener la condition prcdente une galit Q(e
ix
) = 0, o Q
est un polynme (au sens algbrique habituel) de degr 2M.
ii. En dduire la proprit dunicit annonce dans la remarque 2.1.2.
Exemple 2.1.4. Les fonctions cos et sin sont des polynmes trigonomtriques de degr 1 :
cest une consquence immdiate des formules dEuler, puisque lon a cos x =
1
2
e
ix
+
1
2
e
ix
et sin x =
1
2i
e
ix
+
1
2i
e
ix
.
tant donn un polynme (au sens habituel) Q =

N
n=0
a
n
X
n
coecients rels ou
complexes, on sait que la connaissance de la fonction x Q(x) dtermine les coecients
a
n
via la relation a
n
=
1
n!
Q
(n)
(0). On va voir quune proprit analogue existe pour les
polynmes trigonomtriques. Elle est base sur le lemme suivant, dont la dmonstration
est immdiate.
Lemme 2.1.5. Soient n et p deux entiers relatifs. On a
_

e
i(np)t
dt =
_
2 si n = p,
0 si n ,= p.
Soit alors P le polynme trigonomtrique donn par la relation (5), et soit un entier p
vriant N p N. On a P(t)e
ipt
=

N
n=N
c
n
e
i(np)t
. Compte tenu du lemme 2.1.5,
on en dduit
_

P(t)e
ipt
dx = 2c
p
. En changeant le nom des indices, on a donc tabli
le rsultat suivant.
Proposition 2.1.6. Soit P le polynme trigonomtrique donn par lexpression (5). Pour
tout entier n avec N n N, on a
c
n
=
1
2
_

P(t)e
int
dt.
8
Remarque 2.1.7. On montre de mme que lon a
1
2
_

P(t)e
int
dt = 0 pour [n[ > N. Ces
rsultats tablissent lunicit de lcriture (5) dun polynme trigonomtrique, comme on
lavait annonc dans la remarque 5.4.1. En eet, le degr peut tre caractris comme le
plus grand entier naturel N tel que lune des intgrales
_

P(t)e
iNt
dt ou
_

P(t)e
iNt
dt
soit non nulle. De l, les coecients c
n
sont dtermins de faon unique par la proposition
2.1.6.
2.2 Coecients de Fourier
Par analogie avec les coecients dun polynme trigonomtrique, on est amen la
dnition suivante.
Dnition 2.2.1. Soit f une fonction 2-priodique continue par morceaux. On dnit
les coecients de Fourier de f par

f(n) =
1
2
_

f(t)e
int
dt pour tout n dans Z.
On a immdiatement quelques proprits lmentaires des coecients de Fourier.
Lemme 2.2.2. Soit f une fonction 2-priodique continue par morceaux et soit g(t) =
f(t +a). Pour tout n de Z, on a g(n) = e
ina
f(n).
Dmonstration. En utilisant le changement de variable t = s a, on obtient g(n) =
1
2
_

f(t + a)e
int
dt =
e
ina
2
_
a+
a
f(s)e
ins
ds. Il sut alors dappliquer le lemme 1.5.8
pour conclure.
Lemme 2.2.3. Soit f une fonction 2-priodique de classe C
1
sur R. Pour tout n de Z,
on a

f

(n) = in

f(n).
Dmonstration. En intgrant par parties, on a facilement

f

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

+
in

f(n). Le terme entre crochets est nul par priodicit, do le rsultat.

Remarque 2.2.4. Les coecients de Fourier

f

(n) ont encore un sens lorsque la fonction

f est seulement suppose 2-priodique de classe C
1
par morceaux, puisque lintgrale
_

(t)e
int
dt est parfaitement dnie dans ce cadre (voir le dbut du paragraphe 1.4).
Mais la conclusion du lemme 2.2.3 nest alors gnralement plus vrie. Toutefois, le
lemme reste vrai pour une fonction f suppose 2-priodique, de classe C
1
par morceaux,
et continue sur R. Il sut en eet de remarquer que pour une telle fonction, la preuve
prcdente peut tre reproduite lidentique, en utilisant la proposition 1.4.1.
Exercice 2.2.5. On considre les fonctions f et g de lexercice 1.5.2. Vrier quelles sont
toutes deux de classe C
1
par morceaux, mais que f est continue sur R tandis que g ne
lest pas. Calculer les coecients de Fourier

f

(n),

g

(n) et les comparer respectivement

in

f(n) et in g(n).
9
2.3 Sries de Fourier
Dnition 2.3.1. Soit f une fonction 2-priodique continue par morceaux. Pour tout
entier naturel N, on appelle N-me somme de Fourier de f le polynme trigonomtrique
P
N
f dni par
P
N
f(x) =
N

n=N

f(n)e
inx
.
On dit que la srie de Fourier de f converge simplement (resp. uniformment) sur une
partie X de R si la suite de fonctions (P
N
f)
N0
converge simplement (resp. uniformment)
sur X. La limite de cette suite est alors appele somme de la srie de Fourier de f ; sa
valeur en tout point x de X est note
+

n=

f(n)e
inx
.
Une partie de la suite du cours consistera tudier diverses proprits de convergence
des sries de Fourier. On en tirera diverses applications. Auparavant, on va conclure ce
chapitre en prsentant une autre criture couramment utilise pour les sries de Fourier :
cette criture permet incidemment de voir que leur tude sinscrit bien dans le cadre
gnral de celle des sries de fonctions

n0
f
n
.
2.4 criture relle de la srie de Fourier
Soit f une fonction 2-priodique continue par morceaux sur R. Pour tout entier n 1,
on a

f(n)e
inx
+

f(n)e
inx
=
1
2
_

f(t)e
in(tx)
dt +
1
2
_

f(t)e
in(tx)
dt
=
1
2
_

f(t)
_
e
in(tx)
+e
in(tx)
_
dt
=
1

f(t) cos
_
n(t x)
_
dt.
En remarquant que cos
_
n(t x)
_
= cos nt cos nx + sin nt sin nx, on obtient ainsi

f(n)e
inx
+

f(n)e
inx
= a
n
cos nx +b
n
sin nx
avec
a
n
=
1

f(t) cos nt dt et b
n
=
1

f(t) sin nt dt.

On convient de poser a
0
=
1

f(t)dt, ce qui est cohrent avec lexpression de a

n
que
lon vient dobtenir pour n 1. On a alors
P
N
f(x) =
a
0
2
+
N

n=1
(a
n
cos nx +b
n
sin nx).
Posons f
0
(x) =
a
0
2
et f
n
(x) = a
n
cos nx + b
n
sin nx pour n 1. On voit donc que la suite
(P
N
f)
N0
sidentie la suite des sommes partielles de la srie de fonctions

n0
f
n
,
10
puisque lon a P
N
f = f
0
+ +f
N
. Les notions de convergence simple ou uniforme de la
srie de Fourier de f, telles quon les a dnies dans le paragraphe prcdent, correspondent
donc la notion habituelle de convergence simple ou uniforme pour la srie de fonctions
de terme gnral f
n
. En particulier, lorsque la srie de Fourier de f converge simplement
sur X, on a, en tout point x de X, la relation
+

n=

f(n)e
inx
=
a
0
2
+
+

n=1
(a
n
cos nx +b
n
sin nx).
Voici, pour terminer ce point du cours, un lemme utile pour le calcul des coecients
a
n
et b
n
.
Lemme 2.4.1. Si la fonction f est valeurs rel les, on a a
n
= 2'

f(n) et b
n
= 2

f(n).
Dmonstration. Puisque f est relle, on a '(f(t)e
int
) = f(t) cos nt et (f(t)e
int
) =
f(t) sin nt. Le lemme sen dduit aisment.
Exercice 2.4.2. Montrer que si la fonction f est paire (resp. impaire) sur lintervalle ], [,
on a b
n
= 0 pour tout n 1 (resp. a
n
= 0 pour tout n 0).
3 Lapproche (pr)hilbertienne
Ce chapitre va placer la thorie des sries de Fourier dans une dmarche danalyse
fonctionnel le : plutt que de considrer les fonctions individuellement, celles-ci seront
vues commes les points dun certain espace vectoriel, un espace fonctionnel, dans lequel
des considrations de gomtrie ou dalgbre linaire peuvent jeter un clairage nouveau
et ecace sur les questions abordes. Bien sr, ces aspects seront revus beaucoup plus
en profondeur dans les cours de 3me anne
8
et au-del, quand lappareillage thorique
adquat sera disponible. Ici, cest loccasion de dcouvrir dans un cadre simple une des
ides matresses de lanalyse mathmatique du XXme sicle.
3.1 Un espace prhilbertien
Soit E lespace vectoriel des fonctions 2-priodiques continues par morceaux. Pour
tout couple (f, g) dlments de E, on pose
f[g) =
1
2
_

f(t)g(t)dt.
On dnit ainsi une application sur E E, valeurs dans C. tant donns trois lments
f, g, h de E et , deux nombres complexes, on vrie trivialement la proprit dite de
sesquilinarit
f[g +h) =

f[g) + f[h) et f +g[h) = f[h) +g[h)
et celle de symtrie hermitienne
g[f) = f[g).
8
Voir par exemple les excellents polycopis de J.-F. Burnol, disponibles ladresse
http ://jf.burnol.free.fr/ens.html.
11
On a aussi la positivit f[f) 0. Nous avons donc dni une forme sesquilinaire hermi-
tienne positive. En revanche, ce nest pas un produit scalaire
9
. Il faudrait pour cela que
la condition f[f) = 0 implique que f soit nulle. Ce nest pas vrai ici : on peut juste en
dduire que f sannule en tout point o elle est continue (on le dmontre par contraposi-
tion : supposons quil existe un point a o f est continue et tel que lon ait f(a) ,= 0. Par
priodicit, on peut supposer a [, [. La continuit de f en a implique quil existe un
intervalle [a, a + ], contenu dans [, [, dans lequel on a [f[
1
2
[f(a)[. On en tire alors
f[f) =
1
2
_

[f(x)[
2
dx
1
2
_
a+
a
[f(x)[
2
dx
|f(a)|
2
8
et, en particulier, f[f) > 0).
On considre prsent lensemble F des fonctions f appartenant E et continues
droite ; autrement dit, celles qui vrient en outre lgalit f(a
+
) = f(a) en tout point a de
R. Cet ensemble F est videmment un sous-espace vectoriel de E. De plus, en restriction
F, lapplication (f, g) f[g) devient un produit scalaire : pour le voir, il sut de vrier
que pour f F, la condition f[f) = 0 implique que f est nulle. On sait dj que lon a
f(a) = 0 en tout point a o f est continue. Si a est un point de discontinuit, la dnition
des fonctions continues par morceaux montre quil existe un intervalle I = [a , a + ]
tel que f soit continue en tout point de I a, donc nulle sur I a. Il sensuit que lon
a f(a
+
) = 0, et donc f(a) = 0 par lhypothse de continuit droite.
Muni du produit scalaire [ ), lespace F constitue ce que lon appelle un espace
prhilbertien. Cest en particulier un espace vectoriel norm pour la norme associe au
produit scalaire :
|f| = f[f)
1/2
=
1

2
__

[f(t)[
2
dt
_
1/2
.
Remarque 3.1.1. On appelle espace de Hilbert un espace prhilbertien qui est complet
pour la norme associe au produit scalaire. On peut montrer que ce nest pas le cas de
lespace F prcdemment dni. En 3me anne, la thorie de lintgrale de Lebesgue
permet dtudier les sries de Fourier dans le cadre dun espace de Hilbert, plus gnral
et plus naturel que F.
Dans la suite, pour tout n de Z, on note e
n
llment de F donn par e
n
(x) = e
inx
.
On a alors deux lemmes lmentaires.
Lemme 3.1.2. La famil le (e
n
)
nZ
est orthonormale dans F, ce qui signie que lon a
e
m
[e
n
) = 0 pour m ,= n et e
m
[e
n
) = 1 pour m = n.
Dmonstration. Pour m ,= n, on a
_

e
m
(t)e
n
(t)dt =
_

e
i(mn)t
dt =
_
e
i(mn)t
i(mn)
_

= 0.
Pour m = n, on a
_

e
m
(t)e
n
(t)dt =
_

dt = 2. Le lemme sensuit.
Remarque 3.1.3. Attention : le lemme prcdent ne parle pas de base orthonormale ! Les-
pace F nest pas de dimension nie et la notion de base adapte au type de questions que
lon tudi ici sera vue en 3me anne dans le cadre des espaces de Hilbert.
Lemme 3.1.4. Pour tout lment f de F et tout entier relatif n, on a

f(n) = f[e
n
).
Dmonstration. Cest immdiat partir des dnitions.
9
Pour toutes les notions dalgbre linaire qui apparaissent ici, nous renvoyons le lecteur au cours de
Math 205 ou [5], tome 1, chapitre XIII.
12
3.2 Interprtation des sommes de Fourier
Pour tout entier naturel N, on note F
N
le sous-espace vectoriel de F engendr par
e
N
, . . . , e
1
, e
0
, e
1
, . . . , e
N
, autrement dit le sous-espace des polynmes trigonomtriques
de degr infrieur ou gal N. On a alors le rsultat suivant.
Proposition 3.2.1. Pour toute fonction f de F et tout entier naturel N, la somme de
Fourier P
N
f est la projection orthogonale de f sur F
N
.
Dmonstration. Daprs le lemme 3.1.4, on a P
N
f =

N
n=N
f[e
n
)e
n
. Clairement, P
N
f
appartient F
N
. En utilisant les lemmes 3.1.2 et 3.1.4, on a aussi f P
N
f F
N
. La
proposition en rsulte.
Corollaire 3.2.2. Soient f une fonction de F et N un entier naturel. Pour tout polynme
trigonomtrique Q de degr infrieur ou gal N, on a |f Q| |f P
N
f| et lgalit
a lieu si et seulement si Q = P
N
f.
Dmonstration. On a f Q = g+h avec g = f P
N
f et h = P
N
f Q. On remarque que h
appartient F
N
. Par consquent, les fonctions g et h sont orthogonales et le thorme de
Pythagore donne la relation |fQ|
2
= |g|
2
+|h|
2
. Il en rsulte que lon a |fQ|
2
|g|
2
et que lgalit a lieu si et seulement si h = 0, do le corollaire.
Remarque 3.2.3. Le carr de la norme dune fonction de F reprsente la valeur moyenne du
carr de cette fonction sur une priode. Pour cette raison, on nonce souvent le corollaire
3.2.2 en disant que parmi les polynmes trigonomtriques de degr infrieur ou gal N,
la somme de Fourier P
N
f est celui qui ralise la meilleure approximation de f au sens de
lcart quadratique moyen.
3.3 Ingalit de Bessel et galit de Parseval
On commence par une considration simple sur les familles indexes par Z. tant
donne une famille (a
n
)
nZ
de rels positifs, soit la suite (A
N
)
N0
donne par A
N
=

N
n=N
a
n
. Cette suite est croissante (on a A
N+1
A
N
= a
N1
+ a
N+1
0). On se
trouve donc dans lun des deux cas suivants :
(i) la suite (A
N
)
N0
est majore : dans ce cas, elle converge vers une certaine limite A
dans R. On dit alors que la srie

nZ
a
n
converge et que le nombre A est sa somme ; on
note A =

+
n=
a
n
.
(ii) la suite (A
N
)
N0
nest pas majore : dans ce cas, on a lim
N
A
N
= + et on dit
que la srie

nZ
a
n
diverge.
La terminologie ainsi introduite permet dnoncer commodment le rsultat principal
du chapitre 3.
Thorme 3.3.1 (galit de Parseval). Soit f une fonction 2-priodique continue par
morceaux. Alors la srie

nZ
[

f(n)[
2
converge et on a
+

n=
[

f(n)[
2
=
1
2
_

[f(t)[
2
dt.
13
Dmonstration. ce stade de notre tude, nous pouvons seulement dmontrer une partie
du rsultat, savoir la convergence de la srie et la majoration
+

n=
[

f(n)[
2

1
2
_

[f(t)[
2
dt.
Cette majoration est connue sous le nom dingalit de Bessel. Lgalit de Parseval n-
cessite beaucoup plus de travail et sera dmontre compltement au paragraphe 5.5. Pour
tablir lingalit de Bessel, on commence par le cas o f appartient F. Dans ce cas, on
applique le thorme de Pythagore comme dans la preuve du corollaire 3.2.2, en prenant
Q = 0 : on obtient ainsi |f|
2
= |f P
N
f|
2
+ |P
N
f|
2
|P
N
f|
2
. Or, compte tenu des
lemmes 3.1.2 et 3.1.4, on a facilement |P
N
f|
2
=

N
n=N
[

f(n)[
2
. Il vient donc, pour tout
entier naturel N,
N

n=N
[

f(n)[
2
|f|
2
.
En posant a
n
= [

f(n)[
2
, on voit que lon se trouve ainsi dans le cas (i) dcrit au dbut du
paragraphe : on a en eet A
N
|f|
2
pour tout N. Par suite, la srie

nZ
a
n
converge, et
sa somme lim
N
A
N
est majore par |f|
2
, cest--dire par
1
2
_

[f(t)[
2
dt. Lingalit
de Bessel est ainsi tablie pour les fonctions f de F. Maintenant, supposons que f soit un
lment quelconque de E. On dnit un lment f
0
de F en posant f
0
(x) = f(x) si f est
continue en x, et f
0
(x) = f(x
+
) sinon. Sur [, ], les fonctions f et f
0
dirent en un
nombre ni de points : les points de discontinuit de f. Les considrations lmentaires
sur lintgrale rappeles au chapitre 1 montrent donc que lon a

f(n) =

f
0
(n) pour tout
n de Z, et
_

[f(t)[
2
dt =
_

[f
0
(t)[
2
dt. Lingalit de Bessel pour llment f de E se
ramne ainsi lingalit de Bessel pour llment f
0
de F.
Exercice 3.3.2. Montrer qutant donnes f et g deux fonctions 2-priodiques continues
par morceaux, on a
lim
N+
N

n=N

f(n) g(n) =
1
2
_

f(t)g(t)dt.
Corollaire 3.3.3. Soit f une fonction 2-priodique continue par morceaux. On a
lim
|n|

f(n) = 0.
Dmonstration. Avec les notations de la preuve prcdente, si on pose A = lim
N
A
N
, on
a lim
N
A
N
A
N1
= AA = 0. En remarquant que A
N
A
N1
= [

f(N)[
2
+[

f(N)[
2
et que la somme de deux suites positives converge vers 0 si et seulement si chacune des
deux suites converge vers 0, on obtient le rsultat annonc.
Corollaire 3.3.4 (lemme de Riemann-Lebesgue). Soit g une fonction continue par mor-
ceaux sur un interval le [a, b]. On pose
I
n
=
_
b
a
g(t)e
int
dt, J
n
=
_
b
a
g(t) cos nt dt et K
n
=
_
b
a
g(t) sin nt dt.
On a alors lim
|n|
I
n
= lim
|n|
J
n
= lim
|n|
K
n
= 0.
14
Dmonstration. En crivant cos nt =
1
2
(e
int
+ e
int
) et sin nt =
1
2i
(e
int
e
int
), on a
J
n
=
1
2
(I
n
+I
n
) et K
n
=
1
2i
(I
n
I
n
). On voit donc quil sut de savoir traiter lintgrale
I
n
pour obtenir les deux autres. On distingue alors deux cas.
(i) Premier cas : on a b a < 2. Soit alors f la fonction 2-priodique continue par
morceaux dnie par f(t) = g(t) pour t [a, b] et f(t) = 0 pour t ]b, a + 2[. On
remarque que lon a I
n
=

f(n) et on conclut en appliquant le corollaire 3.3.3.
(ii) Deuxime cas : on a b a 2. On dcoupe alors [a, b] en plusieurs intervalles
de longueur strictement infrieure 2 et on applique le premier cas sur chacun de ces
intervalles.
Exemple 3.3.5. Lgalit de Parseval na pas quun intrt thorique. Elle permet aussi
de calculer facilement la somme de certaines sries. titre dexemple, voici un calcul du
nombre (2) =

+
n=1
1
n
2
. On considre la fonction 2-priodique f dnie par f(x) = x
pour x [0, 2[. Il est facile de voir que f est continue par morceaux sur R. Calculons ses
coecients de Fourier. On a

f(0) =
1
2
_
2
0
tdt =
1
2
_
t
2
2
_
2
0
=
et, pour n ,= 0,

f(n) =
1
2
_
2
0
te
int
dt =
1
2
_
_
te
int
in
_
2
0

_
2
0
e
int
in
dt
_
=
i
n
.
On en tire facilement

+
n=
[

f(n)[
2
=
2
+ 2

+
n=1
1
n
2
=
2
+ 2(2). Enn, on a
1
2
_
2
0
[f(t)[
2
dt =
1
2
_
2
0
t
2
dt =
1
2
_
t
3
3
_
2
0
=
4
2
3
.
Lgalit de Parseval scrit donc
2
+ 2(2) =
4
2
3
, ce qui donne (2) =

2
6
.
Exercice 3.3.6. En appliquant lgalit de Parseval la fonction 2-priodique g dnie
par g(x) = x
2
pour x [, [, calculer le nombre (4) =

+
n=1
1
n
4
.
3.4 Sries trigonomtriques
une famille de coecients complexes (c
n
)
nZ
, on peut associer une suite de polynmes
trigonomtriques (S
N
)
N0
donne par S
N
(x) =

N
n=N
c
n
e
inx
. En calquant la dnition
de la convergence des sries de Fourier, on dit que la srie trigonomtrique

nZ
c
n
e
inx
converge simplement (resp. uniformment) sur une partie X de R si la suite (S
N
)
N0
converge simplement (resp. uniformment) sur R, la limite tant alors appele somme de
la srie et note

+
n=
c
n
e
inx
.
Bien sr, la srie de Fourier dune fonction 2-priodique continue par morceaux est
une srie trigonomtrique. Rciproquement, il est naturel de se demander sous quelles
conditions une srie trigonomtrique donne est une srie de Fourier. Plus prcisment,
tant donne une srie trigonomtrique

nZ
c
n
e
inx
, sous quelles conditions existe-t-il une
fonction 2-priodique continue par morceaux f telle que lon ait c
n
=

f(n) pour tout n?
La proposition 3.4.1 ci-aprs fournit une condition susante.
15
Proposition 3.4.1. Si une srie trigonomtrique converge uniformment sur R, alors el le
est la srie de Fourier de sa somme.
Dmonstration. Soit

nZ
c
n
e
inx
la srie trigonomtrique considre et soit f sa somme.
Soit n un entier relatif. Pour N [n[, on a c
n
=
1
2
_

S
N
(x)e
inx
dx =

S
N
, avec
S
N
(x) =

N
n=N
c
n
e
inx
. En remarquant que [S
N
(x)e
inx
f(x)e
inx
[ = [S
N
(x) f(x)[
et en utilisant lhypothse, on voit que la suite de fonctions x S
N
(x)e
inx
converge uni-
formment vers x f(x)e
inx
sur R, donc sur [, ]. On en dduit que lim
N

S
N
=
1
2
_

f(x)e
inx
dx =

f(n), do le rsultat.
Lexercice suivant montre quen revanche, la convergence simple sur R ne sut pas
pour quune srie trigonomtrique soit une srie de Fourier.
Exercice 3.4.2. On pose c
1
= c
0
= c
1
= 0, c
n
=
1
2i Log n
pour n > 1 et c
n
=
1
2i Log |n|
pour n < 1.
i. Vrier que pour tout rel x et tout entier N 2, on a

N
n=N
c
n
e
inx
=

N
n=2
sin nx
Log n
.
ii. En dduire que la srie trigonomtrique

nZ
c
n
e
inx
converge simplement sur R.
iii. Montrer quil nexiste pas de fonction 2-priodique continue par morceaux f telle que
lon ait

f(n) = c
n
pour tout n (on pourra procder par labsurde et utiliser le thorme
3.3.1).
4 Convergence
Dans ce chapitre, on sintresse la convergence des sries de Fourier en tant que sries
de fonctions. On va donc donner quelques conditions susantes de convergence simple ou
uniforme. Le point de dpart est une reprsentation des sommes de Fourier sous forme de
produit de convolution.
4.1 Une reprsentation des sommes de Fourier
Dnition 4.1.1. Soit N un entier naturel. On appelle noyau de Dirichlet (pour le rang
N) la fonction D
N
dnie sur R par
D
N
(t) =
N

n=N
e
int
.
Nous aurons besoin de deux lemmes lmentaires sur le noyau de Dirichlet.
Lemme 4.1.2. On a
1
2
_

D
N
(t) = 1.
Dmonstration. Il sut dappliquer le lemme 3.1.2 en remarquant que lon a D
N
=

N
n=N
e
n
et que la quantit calculer nest autre que D
N
[e
0
).
Lemme 4.1.3. On a
D
N
(t) =
sin
_
(2N + 1)t/2
_
sin(t/2)
pour t / 2Z et D
N
(t) = 2N + 1 pour t 2Z.
16
Dmonstration. Le calcul pour t 2Z est immdiat vu la dnition de D
N
. Pour t / 2Z,
on a
D
N
(t) = e
iNt
(1 +e
it
+ +e
2iNt
) = e
iNt
_
1 +e
it
+ + (e
it
)
2N
_
.
On voit apparatre la somme des 2N + 1 premiers termes dune suite gomtrique, de
raison e
it
,= 1. On en tire
D
N
(t) = e
iNt
_
1 e
i(2N+1)t
1 e
it
_
=
e
iNt
e
i(N+1)t
1 e
it
=
e
it/2
_
e
i(2N+1)t/2
e
i(2N+1)t/2
_
e
it/2
_
e
it/2
e
it/2
_ =
2i sin
_
(2N + 1)t/2
_
2i sin(t/2)
,
ce qui dmontre le lemme.
Le rle clef que va jouer le noyau de Dirichlet dans ltude de la convergence des sries
de Fourier est dvoil par la proposition suivante.
Proposition 4.1.4. Soient f une fonction 2-priodique continue par morceaux et N un
entier naturel. On a
P
N
f = D
N
f.
Dmonstration. Pour tout rel x, on a
P
N
f(x) =
N

n=N
_
1
2
_

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

n=N
e
in(xt)
dt = f D
N
(x),
do le rsultat puisque f D
N
= D
N
f.
4.2 Le thorme de convergence ponctuelle de Dirichlet
Thorme 4.2.1 (Dirichlet). Soit f une fonction 2-priodique de classe C
1
par mor-
ceaux. Alors la srie de Fourier de f converge simplement sur R et on a, pour tout x de
R,
+

n=

f(n)e
inx
=
1
2
_
f(x
+
) +f(x

)
_
.
Dmonstration. Remarquons dabord quil sut dtablir la convergence de la srie, et de
montrer que sa somme a bien la valeur annonce, au point x = 0. Le cas gnral sen
dduit par translation
10
. On doit alors distinguer deux cas.
(i) Premier cas : la fonction f est continue 0. On a alors f(0

) = f(0
+
) = f(0) et
1
2
_
f(0
+
) +f(0

)
_
= f(0). Il sagit donc de dmontrer que lon a lim
N
P
N
f(0) = f(0).
Compte tenu du lemme 4.1.2 et de la proposition 4.1.4, on a
P
N
f(0) f(0) =
1
2
_

D
N
(t)f(t)dt f(0)
1
2
_

D
N
(t)dt
=
1
2
_

D
N
(t)
_
f(t) f(0)
_
dt.
10
cest--dire en appliquant le cas x = 0 la fonction

f dnie par

f(t) = f(x + t).
17
Posons g(t) = f(t) f(0), de sorte que
P
N
f(0) f(0) =
1
2
_

D
N
(t)g(t)dt. (6)
Daprs le lemme 4.1.3, on a par ailleurs
D
N
(t)g(t) = sin
_
(2N + 1)t/2
_ g(t)
sin(t/2)
pour t [, ] 0. (7)
Nous allons voir que la fonction t
g(t)
sin(t/2)
apparaissant dans lexpression prcdente a
une limite gauche et droite en 0. Pour cela, on observe dabord que, puisque f est
suppose de classe C
1
par morceaux et continue en 0, il existe un rel > 0 tel que f soit
continue sur [0, ] et de classe C
1
sur ]0, ]. En appliquant le thorme des accroissements
nis entre 0 et un point t quelconque de [, 0[, on a lexistence dun rel c
t
] t, 0[ tel
que f(t) f(0) = tf

(c
t
), cest--dire g(t) = tf

(c
t
). On obtient ainsi
g(t)
sin(t/2)
=
t
sin(t/2)
f

(c
t
)
De lingalit t < c
t
< 0 et du fait que f est de classe C
1
par morceaux, on dduit que
lim
t0
+ f

(c
t
) existe et vaut f

(0

). Comme on a sin(t/2) t/2, on obtient nalement

lim
t0
+
g(t)
sin(t/2)
= 2f

(0

).
On montrerait de la mme manire que lim
t0

g(t)
sin(t/2)
existe et vaut 2f

(0
+
). Du fait
que g est continue par morceaux sur [, ] et de lexistence de ces limites, on tire que la
fonction h dnie par h(t) =
g(t)
sin(t/2)
pour t [, ] 0 et h(0) = 0 (ou une quelconque
autre valeur) est continue par morceaux sur [, ]. De plus, les galits (6) et (7) montrent
que lon a
P
N
f(0) f(0) =
1
2
_

sin
_
(2N + 1)t/2
_
h(t)dt =
1
2
(X
N
+Y
N
)
avec
X
N
=
_

(sin Nt) cos(t/2)h(t)dt et Y

N
=
_

(cos Nt) sin(t/2)h(t)dt.

Or, daprs le lemme de Riemann-Lebesgue 3.3.4, on a lim
N
X
N
= lim
N
Y
N
= 0. Il
en rsulte bien que lim
N
P
N
f(0) = f(0).
(ii) Deuxime cas : f est discontinue en 0. On dnit deux fonctions f
0
et f
1
par
f
0
(x) =
_

_
1
2
_
f(x) +f(x)
_
pour x / 2Z
1
2
_
f(0
+
) +f(0

)
_
pour x 2Z
et
f
1
(x) =
_

_
1
2
_
f(x) f(x)
_
pour x / 2Z
0 pour x 2Z.
18
Il est facile de voir que f
0
et f
1
sont 2-priodiques, de classe C
1
par morceaux. On rap-
pelle maintenant que lon a P
N
f(0) =
1
2
_

D
N
(t)f(t)dt. Or, sur lintervalle [, ],
la fonction f concide avec f
0
+ f
1
sauf peut-tre en un point (le point 0). Il en r-
sulte que
_

D
N
(t)f(t)dt =
_

D
N
(t)(f
0
(t) + f
1
(t))dt =
_

D
N
(t)f
0
(t)dt +
_

D
N
(t)f
1
(t)dt. On constate par ailleurs que la fonction f
1
est impaire, tandis que
D
N
est paire, ce qui implique facilement
_

D
N
(t)f
1
(t)dt = 0. Il reste donc
P
N
f(0) = P
N
f
0
(0). (8)
Pour conclure, il sut maintenant dobserver que la fonction f
0
est continue en 0 : cest
une consquence immdiate de sa dnition. Par le premier cas dj trait, on peut alors
armer que lon a lim
N
P
N
f
0
(0) = f
0
(0). Compte tenu de (8), nous avons ainsi obtenu
lim
N
P
N
f(0) =
1
2
_
f(0
+
) +f(0

)
_
, ce qui tablit le deuxime cas.
Remarque 4.2.2. Si la fonction f possde des points de discontinuit, la convergence nest
pas uniforme sur R : en eet, la somme de la srie est alors discontinue bien que ses sommes
partielles soient continues
11
. En revanche, nous verrons au paragraphe 4.4 quen labsence
de points de discontinuit, la convergence est uniforme sur R.
4.3 Deux exercices corrigs
Exercice 4.3.1. Soit f la fonction 2-priodique dnie par f(x) = x pour x [, [.
i. Montrer que la srie de Fourier de f converge simplement sur R et expliciter sa somme
en tout point x de ] , ].
ii. En dduire un calcul explicite de

+
n=1
sin nt
n
pour tout t de ]0, 2[.
iii. Pour tout n 1, soit f
n
la fonction dnie sur ]0, 2[ par f
n
(t) =
sin nt
n
. Soit x un rel
x dans lintervalle ]0, 2[. Montrer que la srie

n1
f
n
converge uniformment sur tout
intervalle [a, x] avec 0 < a < x. La convergence est-elle uniforme sur ]0, x] ?
iv. laide de ii, iii et du rsultat de lexemple 3.3.5, calculer explicitement

+
n=1
cos nx
n
2
pour tout x de ]0, 2[.
i. La fonction f tant 2-priodique de classe C
1
par morceaux sur R, la convergence de sa srie de
Fourier sobtient par application du thorme de Dirichlet. Les points de ] , [ sont des points de conti-
nuit de f et la somme de la srie concide donc avec f sur cet intervalle.
ii. Calculons les coecients de Fourier de f. On a immdiatement

f(0) = 0 et, pour n = 0,

f(n) =
1
2
_

f(t)e
int
dt =
1
2
_

te
int
dt =
1
2
_
t
e
int
in
_

+
1
2in
_

e
int
dt
=
e
in
()e
in
2in
= i
(1)
n
n
.
Adoptons lcriture relle de la srie de Fourier de f : la fonction f tant valeurs relles, le lemme 2.4.1
fournit les valeurs a
n
= 0 et b
n
= 2(i
(1)
n
n
) = 2
(1)
n+1
n
. Compte tenu du rsultat de la question i, on
a donc, en tout point x de ] , [,
+

n=1
(1)
n+1
sin nx
n
=
f(x)
2
=
x
2
.
11
Loscillation des sommes partielles au voisinage des points de discontinuit de f est dcrite prcisment
par le phnomne de Gibbs, voir par exemple [2], chapitre IX, problme 34 ou le texte de J.-F. Burnol
ladresse http ://jf.burnol.free.fr/0506L312annexeGibbs.pdf.
19
Pour t ]0, 2[, on a t ] , [ et on peut appliquer lgalit prcdente avec x = t. Comme on a
sin(n( t)) = cos n sin(nt) + sin(n) cos(nt) = (1)
n
sin(nt) = (1)
n+1
sin nt, on obtient donc
+

n=1
sin nt
n
=
t
2
pour tout t ]0, 2[.
iii. Appliquons le thorme dAbel-Dirichlet (pour lequel on pourra se reporter au cours sur les sries de
fonctions, ou [5], tome 2, VIII.7). On crit f
n
sous la forme
n
v
n
o
n
est la fonction (constante) t
1
n
et v
n
est la fonction t sin nt. Clairemement, la suite (
n
)
n1
est positive, dcroissante et, en tant que
suite de fonctions, elle converge uniformment vers la fonction nulle sur [a, x]. De plus, pour tout n 1 et
tout t [a, x], on a |v
1
(t) + +v
n
(t)| = |(e
it
+ +e
int
_
| |e
it
+ +e
int
|. Par un calcul similaire
celui de la preuve du lemme 4.1.3, il vient
e
it
+ + e
int
= e
i
n+1
2
t
sin(
nt
2
)
sin
t
2
et par consquent
|v
1
(t) + + v
n
(t)|
1
| sin
t
2
|
.
Or, on a 0 <
a
2

t
2

x
2
< et donc sin
t
2
min(sin
a
2
, sin
x
2
) > 0 compte tenu des variations
de sin sur ]0, [. Finalement, pour tout n 1 et tout t [a, x], on a |v
1
(t) + + v
n
(t)| A avec
A =
_
min(sin
a
2
, sin
x
2
)
_
1
. Daprs le thorme dAbel-Dirichlet, la convergence de la srie

n1
f
n
est
uniforme sur [a, x].
En revanche, la convergence nest pas uniforme sur ]0, x] : en eet, si ctait le cas, le thorme de commu-
tation de limites impliquerait que lon ait lim
t0

+
n=1
f
n
(t) =

+
n=1
lim
t0
f
n
(t) = 0, alors que daprs
le rsultat du ii, on a lim
t0

+
n=1
f
n
(t) = lim
t0
t
2
=

2
.
iv. Pour tout n 1, soit g
n
la fonction dnie sur [0, 2[ par g
n
(t) =
cos nt
n
2
. De la majoration |g
n
(t)|
1
n
2
,
on dduit aussitt que la srie de fonctions

n1
g
n
converge normalement, donc uniformment, sur [0, 2[.
Sagissant dune srie de fonctions continues, sa somme G est continue sur cet intervalle.
Par ailleurs, on remarque que g

n
(t) = f
n
(t). Soient alors x dans ]0, 2[ et soit a un rel vriant 0 < a < x.
On a vu au iii que la srie

n1
f
n
converge uniformment sur [a, x]. En appliquant le thorme dint-
gration terme terme des sries de fonctions, on obtient alors
_
x
a
_
+

n=1
f
n
(t)
_
dt =
+

n=1
_
x
a
f
n
(t)dt =
+

n=1
(g
n
(a) g
n
(x)) = G(a) G(x).
En utilisant le rsultat du ii, on a donc G(a) G(x) =
_
x
a
t
2
dt. Compte tenu de la continuit de G en 0
et de la valeur G(0) =

2
6
trouve dans lexemple 3.3.5, on peut alors faire tendre a vers 0, ce qui donne

2
6
G(x) =
_
x
0
t
2
dt =
x
2

x
2
4
. Au nal, on trouve, pour tout x [0, 2[,
+

n=1
cos nx
n
2
=
x
2
4

x
2
+

2
6
.
Exercice 4.3.2. Soit y un rel strictement positif. On considre la fonction 2-priodique
f
y
dnie par f
y
(x) = e
xy
pour x [, [.
i. Montrer que la srie de Fourier de f
y
converge simplement sur R et expliciter sa somme
en tout point x de ] , ].
ii. De la relation obtenue au point , dduire la valeur de

+
n=1
1
n
2
+y
2
.
iii. Par un passage la limite convenablement justi, retrouver la valeur de

+
n=1
1
n
2
.
i. La fonction f
y
tant de classe C
1
par morceaux, la convergence de sa srie de Fourier est une consquence
immdiate du thorme de Dirichlet. Les points de ] , [ sont des points de continuit de f
y
et la somme
de la srie concide donc avec f
y
sur cet intervalle. Au point , la somme vaut
1
2
(f
y
(

) + f
y
(
+
)) =
1
2
(e
y
+ e
y
) = ch y.
20
ii. Le fait que la srie ait pour somme ch y au point signie que lon a
lim
N
N

n=N

f
y
(n)e
in
= ch y. (9)
Explicitons les coecients de Fourier. On a

f
y
(0) =
1
2
_

f
y
(t)dt =
1
2
_

e
yt
dt =
1
2
_
e
yt
y
_

=
sh y
y
et, pour n = 0,

f
y
(n) =
1
2
_

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

e
(yin)t
dt =
1
2
_
e
(yin)t
y in
_

=
1
2
y + in
y
2
+ n
2
(e
y
e
in
e
y
e
in
) = (1)
n
y + in
y
2
+ n
2
sh y

.
En remarquant que

f
y
(n)e
in
= (1)
n

f
y
(n), on a donc
P
N
f
y
() =
sh y

_
1

n=N
y + in
y
2
+ n
2
+
1
y
+
N

n=1
y + in
y
2
+ n
2
_
.
Le changement dindice m = n donne la relation
1

n=N
y + in
y
2
+ n
2
=
N

m=1
y im
y
2
+ m
2
.
En regroupant les parties relle et imaginaire dans lexpression des sommes partielles, il reste donc
N

n=N

f
y
(n)e
in
=
sh y

_
1
y
+ 2
N

n=1
y
y
2
+ n
2
_
.
En faisant tendre N vers linni et en tenant compte de la relation (9), on obtient
+

n=1
1
n
2
+ y
2
=
1
2y
_
ch y
sh y

1
y
_
.
iii. On tudie le comportement de chacun des deux membres de lgalit prcdente quand y tend vers
0. Pour le membre de gauche, on pose g
n
(y) =
1
n
2
+y
2
et on remarque que pour tout n 1 et tout
y > 0, on a |g
n
(y)|
1
n
2
. La srie numrique de terme gnral
1
n
2
tant convergente, on voit ainsi que
la srie de fonctions de terme gnral g
n
converge normalement, donc uniformment, sur ]0, +[. Le
thorme de commutation de limites sapplique et on a donc lim
y0

+
n=1
1
n
2
+y
2
= lim
y0

+
n=1
g
n
(y) =

+
n=1
lim
y0
g
n
(y) =

+
n=1
1
n
2
.
Le membre de droite studie laide de dveloppements limits lmentaires. On a dabord sh y =
y +
1
6
(y)
3
+ o(y
3
), do

sh y
=
1
y +
1
6

2
y
3
+ o(y
3
)
=
1
y

1
1 +
_
1
6

2
y
2
+ o(y
2
)
_ =
1
y
_
1
1
6

2
y
2
+ o(y
2
)
_
=
1
y


2
6
y + o(y).
On a ensuite ch y = 1 +
1
2
(y)
2
+ o(y
2
), do
ch y
sh y
=
_
1
y


2
6
y + o(y)
__
1 +
1
2
(y)
2
+ o(y
2
)
_
=
1
y
+

2
2
y

2
6
y + o(y)
=
1
y
+

2
3
y + o(y).
21
On en tire
lim
y0
1
2y
_
ch y
sh y

1
y
_
=

2
6
et le passage la limite dans lgalit obtenue la question ii permet donc bien de retrouver lgalit

+
n=1
1
n
2
=

2
6
.
4.4 Un rsultat de convergence uniforme
On commence par un rsultat prparatoire qui est intressant en lui-mme (voir la
remarque 4.4.2 ci-aprs).
Proposition 4.4.1. Soit f une fonction 2-priodique de classe C
1
par morceaux et conti-
nue sur R. Alors la srie

nZ

f(n)

converge.
Dmonstration. Daprs le lemme 2.2.3 et la remarque 2.2.4, on sait que pour n ,= 0, on a

f(n) =
1
in

(n) et donc [

f(n)[ =
1
|n|

(n)

. tant donn un entier N 1, cette remarque

va nous permettre de relier la somme A
N
=

N
n=N

f(n)

un produit scalaire : pour

cela, on reprend les notations du chapitre 3 et on introduit les polynmes trigonomtriques
Q
N
=
N

n=N

(n)

e
n
et R
N
=

{n: 1|n|N}
1
[n[
e
n
.
On a alors prcisment A
N
= [

f(0)[ + Q
N
[R
N
). En appliquant lingalit de Cauchy-
Schwarz, on obtient
Q
N
[R
N
) |Q
N
||R
N
| =
_
_
N

n=N

(n)

2
_
_
1/2
_
_

{n: 1|n|N}
1
n
2
_
_
1/2
.
On a par ailleurs, en utilisant
12
le thorme 3.3.1,
N

n=N

(n)

n=

(n)

1
2
_

[f

(t)[
2
dt.
Enn, on a

{n: 1|n|N}
1
n
2
= 2
N

n=1
1
n
2
2
+

n=1
1
n
2
=

2
3
.
En regroupant ces ingalits, on obtient que la suite (A
N
)
N0
est majore par la constante
[

f(0)[ +
_

6
_ _

[f

(t)[
2
dt
_
1/2
. En particulier, on se trouve dans le cas (i) de lalternative
dcrite au dbut du paragraphe 3.3, ce qui tablit le rsultat annonc.
Remarque 4.4.2. Soit
1
(Z) lespace vectoriel des familles (c
n
)
nZ
de nombres complexes
telle que la srie

nZ
[c
n
[ converge. Le lecteur peut alors vrier, titre dexercice, que la
srie trigonomtrique associe une telle famille (c
n
)
nZ
(voir le paragraphe 3.4) converge
uniformment sur R; si f dsigne sa somme, on a donc c
n
=

f(n) pour tout n daprs la
12
En fait, seule lingalit de Bessel est utilise.
22
proposition 3.4.1. Notons A lespace des fonctions f ainsi associes un lment (c
n
)
nZ
de

1
(Z). La proposition 4.4.1 dit que les fonctions 2-priodiques de classe C
1
par morceaux
et continues sur R appartiennent cet espace
13
. Celui-ci est un des espaces fondamentaux
en analyse harmonique ; il jouit de proprits remarquables parmi lesquelles on peut citer
ici un thorme de Wiener aussi clbre que spectaculaire
14
: si un lment f de A ne
sannule en aucun point de R, la fonction 1/f appartient aussi A.
En dehors de cette digression, la proposition 4.4.1 est la clef dun thorme de conver-
gence uniforme.
Thorme 4.4.3. Soit f une fonction 2-priodique de classe C
1
par morceaux et conti-
nue sur R. Alors la srie de Fourier de f converge vers f uniformment sur R.
Dmonstration. Daprs le thorme de Dirichlet, on sait dj quil y a convergence simple
vers f, puisque lhypothse de continuit implique
1
2
_
f(x
+
) +f(x

)
_
= f(x) pour tout x.
Posons maintenant f
0
(x) =

f(0) et f
n
(x) =

f(n)e
inx
+

f(n)e
inx
pour n 1, de telle
sorte que, comme au paragraphe 2.4, la suite des sommes de Fourier (P
N
f)
N0
sidentie
la suite des sommes partielles de la srie de fonctions

n0
f
n
. Pour tout entier n 1,
on a
sup
xR
[f
n
(x)[

f(n)

f(n)

et la srie numrique

n1
_

f(n)

f(n)

_
converge daprs la proposition 4.4.1. Par
suite, la srie de fonctions

n0
f
n
converge normalement, donc uniformment, sur R.
Remarque 4.4.4. Le thorme 4.4.3 sapplique en particulier lorsque f est 2-priodique
de classe C
1
sur R. Notons aussi quil sagit en fait dun thorme de convergence normale.
Exercice 4.4.5. Soit g la fonction considre dans lexercice 3.3.6. Montrer que la srie de
Fourier de g converge uniformment sur R et prciser sa somme. En dduire la valeur de

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

+
p=0
1
(2p+1)
2
.
5 Convergence en moyenne et applications
On a vu que la srie de Fourier dune fonction 2-priodique de classe C
1
par morceaux
et continue sur R converge vers f uniformment sur R. Si lhypothse de rgularit C
1
par morceaux est omise, cest--dire si la fonction est seulement suppose 2-priodique
et continue sur R, la situation se dgrade totalement : en eet, il peut alors arriver que
la srie de Fourier diverge en certains points
15
. Nous allons voir quil est pourtant pos-
sible dapprocher uniformment une telle fonction par des polynmes trigonomtriques
13
Il sagit en fait de cas trs particuliers dlments de A, mais ltude gnrale de ceux-ci dpasse
largement le cadre de notre tude : voir [4], I.6.
14
On enseigne typiquement ce rsultat dans un cours danalyse fonctionnelle de 4me ou 5me anne.
Le lecteur aventureux pourra consulter [4], VIII.2.
15
Ce fait est classiquement tudi dans un cours danalyse fonctionnelle de 4me anne. Dans la littra-
ture, on peut voir par exemple [4], Theorem II.2.1. Le premier exemple de fonction continue dont la srie
de Fourier diverge en un point a t donn par Du Bois Reymond en 1873. Si lon abandonne mme la
continuit, il existe dautres rsultats spectaculaires, mais beaucoup plus diciles, dans cette direction.
Par exemple, Kolmogorov a prouv en 1926 ( lge de 22 ans) quil existe une fonction intgrable au sens
de Lebesgue dont la srie de Fourier diverge partout, tandis que Carleson a montr en 1966 que la srie
de Fourier dune fonction de carr intgrable converge presque partout, en un sens qui sera dni dans le
cours dintgration de 3me anne.
23
dduits des sommes de Fourier par un procd simple. Nous commencerons par le rappel
de quelques faits lmentaires.
5.1 Convergence en moyenne dune suite numrique
Dnition 5.1.1. On dit quune suite (u
n
)
n0
de nombres complexes converge en moy-
enne vers a dans C si lon a
lim
n
u
0
+u
1
+ +u
n1
n
= a.
Le rsultat suivant devrait tre bien connu depuis la premire anne duniversit. Pour
la commodit du lecteur, nous en rappellerons toutefois la preuve.
Proposition 5.1.2 (lemme de Cesro). Soit (u
n
)
n0
une suite de nombres complexes qui
converge vers une limite a dans C. Alors (u
n
)
n0
converge aussi en moyenne vers a.
Dmonstration. Soit un rel > 0. Par hypothse, il existe un rang N() tel que
_
n N()
_
=
_
[u
n
a[
_
.
On a
u
0
+u
1
+ +u
n1
n
a =
u
0
+u
1
+ +u
n1
na
n
=
(u
0
a) + (u
1
a) + + (u
n1
a)
n
et donc, pour n N() + 1,

u
0
+u
1
+ +u
n1
n
a

[u
0
a[ +[u
1
a[ + +[u
N()1
a[
n
+
[u
N()
a[ + +[u
n1
a[
n

A()
n
+
_
n N()
_

A()
n
+
avec A() = [u
0
a[+[u
1
a[+ +[u
N()1
a[. Posons N

() = max
_
A()/|, N()
_
+1,
o | dsigne la partie entire. Pour n N

(), on a A()/n et, par ce qui prcde,

u
0
+u
1
+ +u
n1
n
a

2.
En posant N

() = N

(/2), on a donc tabli

_
n N

()
_
=
_

u
0
+u
1
+ +u
n1
n
a

_
,
ce qui tablit le lemme.
24
Remarque 5.1.3. Il existe des suites qui ne convergent pas au sens usuel mais qui convergent
quand mme en moyenne : par exemple, ((1)
n
)
n0
converge en moyenne vers 0. La
convergence en moyenne est donc une proprit plus faible que la convergence au sens
usuel. Lide sous-jacente est quen prenant les moyennes successives des premiers termes
de la suite, on attnue les oscillations de celle-ci ; on peut donc esprer que la nouvelle
suite ainsi forme ait un comportement plus rgulier.
5.2 Sommes de Cesro et noyau de Fejr
Dnition 5.2.1. Soit f une fonction 2-priodique continue par morceaux. Pour tout
entier N 1, on appelle N-me somme de Cesro-Fejr de f la moyenne des N premires
sommes de Fourier de f, cest--dire le polynme trigonomtrique
N
f dni par

N
f(x) =
1
N
_
P
0
f(x) +P
1
f(x) + +P
N1
f(x)
_
.
Comme on la fait au chapitre 4 pour les sommes de Fourier, nous allons tudier le
comportement de la suite (
N
f)
N1
partir dune reprsentation sous forme de produit
de convolution.
Proposition 5.2.2. On a
N
f = K
N
f, o K
N
est la fonction dnie sur R par
K
N
(t) =
1
N
N1

n=0
D
n
(t).
Dmonstration. En utilisant la proposition 4.1.4 et la linarit du produit de convolu-
tion par rapport chaque facteur, on a
N
f =
1
N

N1
n=0
P
n
f =
1
N

N1
n=0
(D
n
f) =
_
1
N

N1
n=0
D
n
_
f.
Dnition 5.2.3. La fonction K
N
dnie dans la proposition 5.2.2 sappelle noyau de
Fejr (pour le rang N).
Les deux rsultats qui suivent constituent, pour le noyau de Fejr, lanalogue des
lemmes 4.1.2 et 4.1.3 sur le noyau de Dirichlet.
Lemme 5.2.4. On a
1
2
_

K
N
(t) = 1.
Dmonstration. Cest une consquence immdiate de la dnition de K
N
et du lemme
4.1.2.
Lemme 5.2.5. On a
K
N
(t) =
1
N
_
sin
_
Nt/2
_
sin(t/2)
_
2
pour t / 2Z et K
N
(t) = N pour t 2Z.
Dmonstration. On utilise le lemme 4.1.3.
Pour t 2Z, on a D
n
(t) = 2n+1, do K
N
(t) =
1
N

N1
n=0
(2n+1) =
1
N
_
2
N(N1)
2
+N
_
=
25
1
N
_
N(N 1) +N
_
= N.
Pour t / 2Z, on a D
n
(t) =
sin((2n+1)t/2)
sin(t/2)
, do
K
N
(t) =
1
N sin(t/2)
N1

n=0
sin
__
n +
1
2
_
t
_
=
1
N sin(t/2)

_
N1

n=0
e
i
_
n+
1
2
_
t
_
. (10)
En procdant comme dans la preuve du lemme 4.1.3, on a de plus
N1

n=0
e
i
_
n+
1
2
_
t
= e
it/2
N1

n=0
e
int
= e
it/2
1 e
iNt
1 e
it
= e
it/2
e
iNt/2
_
e
iNt/2
e
iNt/2
_
e
it/2
_
e
it/2
e
it/2
_ = e
iNt/2
sin(Nt/2)
sin(t/2)
,
do

_
N1

n=0
e
i
_
n+
1
2
_
t
_
=
_
sin(Nt/2)
_
2
sin(t/2)
.
En reportant dans (10), on obtient lexpression annonce.
5.3 Le thorme de convergence en moyenne de Fejr
Thorme 5.3.1 (Fejr). Soit f une fonction 2-priodique continue sur R. Alors la suite
des sommes de Cesro-Fejr (
N
f)
N1
converge vers f uniformment sur R.
Dmonstration. Compte tenu de la proposition 5.2.2 et du lemme 5.2.4, on a, pour tout
x de R,

N
f(x) f(x) =
1
2
_

K
N
(t)f(x t)dt f(x)
1
2
_

K
N
(t)dt
=
1
2
_

K
N
(t)
_
f(x t) f(x)
_
dt.
Soit alors un rel , avec 0 < < . On va dcouper lintervalle dintgration [, ] en
trois morceaux : [, ], [, ], [, ] et valuer les trois intgrales ainsi obtenues.
On a dabord, en majorant le module de lintgrale par lintgrale du module et en tenant
compte du fait que K
N
est valeurs positives,

1
2
_

K
N
(t)
_
f(x t) f(x)
_
dt

1
2
_

K
N
(t)
_
[f(x t)[ +[f(x)[
_
dt. (11)
La fonction f est continue sur lintervalle ferm born [, ], donc borne sur cet in-
tervalle. Par priodicit, elle est aussi borne sur R; on posera m = sup
tR
[f(t)[. On
remarque aussi que pour tout t [, ], on a 0 K
N
(t)
1
N(sin(t/2))
2
. Compte tenu
de ces remarques et de la majoration grossire [f(x t) f(x)[ [f(x t)[ + [f(x)[, on
dduit de (11) que lon a

1
2
_

K
N
(t)
_
f(x t) f(x)
_
dt

C()
N
(12)
26
avec C() =
m

dt
(sin(t/2))
2
. Les mmes arguments fournissent une majoration identique
pour lintgrale sur [, ].
Il reste donc valuer lintgrale sur [, ]. Sur cet intervalle, les majorations grossires
utilises prcdemment ne fonctionnent plus
16
. On procde en remarquant dabord que,
puisque f est continue sur le compact [2, 2], elle y est uniformment continue en vertu
du thorme de Heine
17
. tant donn un rel > 0, il existe donc () > 0 tel que pour
tout couple (y, y

) de points de [2, 2] vriant [y y

[ (), on ait [f(y

) f(y)[ .
On peut videmment supposer () < . Soient prsent x un point quelconque de R et t
un point quelconque de [(), ()]. On peut crire x = y +2k o y appartient [, ]
et k est un entier relatif convenable. Si lon pose y

= y t, la priodicit de f implique
f(y

) f(y) = f(xt) f(x). De plus, on a y

[2, 2] compte tenu des encadrements

y et 0 < () < . Par ce qui prcde, on a alors [f(x t) f(x)[ . Ainsi,
pour tout x de R, on a, en tenant compte encore une fois de la positivit de K
N
et du
lemme 5.2.4,

1
2
_
()
()
K
N
(t)
_
f(x t) f(x)
_
dt

1
2
_
()
()
K
N
(t)

f(x t) f(x)

dt

2
_
()
()
K
N
(t)dt

2
_

K
N
(t)dt = .
On pourra remarquer, plus prcisment, que la positivit de K
N
intervient pour la premire
et la troisime ingalit.
Au nal, les majorations qui prcdent et lingalit (12) applique avec = () donnent,
pour tout entier N 1 et tout x de R,

N
f(x) f(x)

A()
N
+
avec A() = C(()). On procde alors comme la n de la preuve de la proposition 5.1.2
pour trouver un entier N

() tel que lon ait

_
N N

()
_
=
_
sup
xR

N
f(x) f(x)

_
,
ce qui tablit le thorme.
5.4 Deux applications
Thorme 5.4.1 (thorme dunicit). Soit f une fonction 2-priodique continue sur
R. Si on a

f(n) = 0 pour tout n de Z, alors f est la fonction nul le.
Dmonstration. La nullit des coecients de Fourier implique que toutes les sommes de
Fourier de f, et donc toutes ses sommes de Cesro-Fejr, sont nulles. Comme f est la
limite de ses sommes de Cesro-Fejr, elle est aussi nulle.
16
Lune des raisons pour cela est que lintgrale
_

dt
(sin(t/2))
2
diverge.
17
Voir le cours de Math 203 ou [5], tome 2, thorme III.10.12.
27
Remarque 5.4.2. Il en rsulte que si deux fonctions 2-priodiques continues sur R ont
les mmes coecients de Fourier, alors ces fonctions concident (il sut dappliquer le
thorme dunicit leur dirence).
Exercice 5.4.3. Soit f une fonction 2-priodique continue sur R et soit x un rel. Montrer
que si la srie de Fourier de f converge au point x, sa somme vaut f(x).
Thorme 5.4.4 (thorme dapproximation de Weierstrass). Toute fonction numrique
continue sur un interval le ferm born est limite uniforme sur cet interval le dune suite
de polynmes
18
.
Dmonstration. Soit une fonction continue f : [a, b] C. Le changement de variable
linaire t a + (b a)
t
2
ramne le problme au cas a = 0, b = 2. En remplaant f(t)
par f(t) +
_
f(0) f(2)
_
t
2
, on peut aussi supposer f(0) = f(2). Dans cette situation, f
se prolonge naturellement en une fonction 2-priodique continue sur R, que lon notera
encore f. Soit maintenant un rel > 0. Compte tenu du thorme de Fejr, il existe un
rang N() tel que (N N()) =
_
sup
t[0,2]
[
N
f(t) f(t)[
_
. On pose g

=
N()
f ;
on a donc
_
t [0, 2]
_ _
[f(t) g

(t)[
_
. (13)
La fonction g

est un polynme trigonomtrique, donc une somme nie de fonctions t

c
n
e
int
. Lexponentielle tant dveloppable en srie entire de rayon de convergence inni,
il en est de mme pour g

. Or, une srie entire de rayon de convergence inni converge

uniformment sur tout disque de rayon ni, donc sur toute partie borne de C et en
particulier sur [0, 2]. Par consquent, il existe un polynme Q

tel que lon ait

_
t [0, 2]
_ _
[g

(t) Q

(t)[
_
(14)
(il sut en eet de prendre pour Q

une somme partielle de rang assez grand de la srie

entire de g

). Pour tout entier n 1, posons alors T

n
= Q
1/2n
. En joignant (13) et (14),
on obtient
sup
t[0,2]

f(t) T
n
(t)

1
n
,
ce qui prouve que la suite de polynmes (T
n
)
n1
converge vers f uniformment sur [0, 2].
Le thorme est dmontr.
5.5 Preuve de lgalit de Parseval
Nous pouvons maintenant terminer la dmonstration de lgalit de Parseval qui tait
reste en suspens au chapitre 3. Reprenant les notations de la preuve du thorme 3.3.1,
nous considrons une fonction f dans F, pour laquelle nous devons montrer que lingalit
de Bessel est en fait une galit.
(i) Premire tape : pour tout > 0, il existe une fonction g

2-priodique continue sur

R tel le que lon ait |f g

|
2
/4.
Pour le voir, on note t
1
, . . . , t
p
les points de discontinuit de f dans lintervalle ] , [,
18
Il sagit ici de polynmes au sens usuel (et non de polynmes trigonomtriques). Plus exactement, on
devrait parler de fonctions polynmiales...
28
rangs dans lordre croissant. Pour > 0 assez petit, on dnit une fonction g continue
sur [, ] de la manire suivante :
on pose g(t) = f(t) en dehors des intervalles [t
j
, t
j
+] avec 1 j p et [ , ],
on choisit g ane sur les intervalles [t
j
, t
j
+ ] avec 1 j p et sur [ , ], les
segments de graphe tant dtermins par les conditions de recollement g(t
j
) = f(t
j
),
g(t
j
+) = f(t
j
+), g( ) = f( ) et g() = f() = g().
Si lon pose m = sup
t[,]
[f(t)[, il est alors facile de voir
19
que lon a [g(t) f(t)[ m
pour tout t de [, ]. En tenant compte du fait que f et g dirent seulement sur une
runion dintervalles de longueur totale au plus gale (2p + 1), on en dduit
|f g|
2

1
2
_
(2p + 1)m
2
_
.
Comme g est continue sur [, ] et quelle vrie g() = g(), elle se prolonge naturelle-
ment en une fonction 2-priodique continue sur R. Il sut alors de prendre =

(4p+2)m
2
et g

= g pour obtenir la premire tape annonce.

(ii) Deuxime tape : Soit g

la fonction construite la premire tape. Alors il existe un

polynme trigonomtrique Q

tel que lon ait |g

|
2
/4.
En eet, daprs le thorme de Fejr, la suite (
N
g

)
N1
converge uniformment vers g

sur R, a fortiori sur [, ]. On xe un entier N assez grand pour que lon ait [g

(t)

N
g

(t)[

/2 pour tout t de [, ]. On a alors
|g

N
g

|
2
=
1
2
_

[g

(t)
N
g

(t)[
2
dt
1
2
_

/2)
2
dt = /4
et il sut donc de poser Q

=
N
g

.
(iii) Troisime tape : n de la preuve. Soit N() le degr du polynme trigonomtrique
construit la deuxime tape. Pour N N(), on a |f P
N
f|
2
|f Q

|
2
en vertu du
corollaire 3.2.2. Or on a |f Q

|
2

_
|f g

|+|g

|
_
2
(

/2+

/2)
2
= . Nous
avons donc tabli lexistence dun entier N() tel que (N N()) =
_
|f P
N
f|
2

_
.
Autrement dit, on a
lim
N
|f P
N
f|
2
= 0. (15)
On rappelle enn quen vertu de la proposition 3.2.1, on a
|f P
N
f|
2
= |f|
2
|P
N
f|
2
=
1
2
_

[f(t)[
2
dt
N

n=N
[

f(n)[
2
.
La proprit (15) se lit donc
lim
N
N

n=N
[

f(n)[
2
=
1
2
_

[f(t)[
2
dt,
ce quil fallait dmontrer.
19
Il peut tre utile de faire un dessin pour sen convaincre immdiatement.
29
6 Une application des sries de Fourier
Cest un problme de physique (la thorie de la chaleur) qui a motiv lintroduction
des sries de Fourier. Depuis lors, leur champ dapplication sest tendu lacoustique,
llectricit, le traitement du signal, etc. Mais il existe aussi, naturellement, des applications
purement mathmatiques de la thorie. Celle que nous avons choisi de prsenter ici est la
rsolution dun problme gomtrique clbre et trs concret, appel parfois problme des
isoprimtres.
6.1 Position du problme
Dans le plan C, on considre une courbe de classe C
1
, rgulire, ferme et sans point
double. Ceci revient dire que lon a = ([a, b]) o : [a, b] C est une application de
classe C
1
vriant les proprits suivantes :
(i) on a

(t) ,= 0 en tout point t de [a, b] : cette hypothse assure que la courbe possde
une tangente en chacun de ses points ;
(ii) on a (a) = (b) et la restriction de [a, b[ est injective : ainsi se referme, mais
elle ne passe pas deux fois par le mme point du plan.
On pose (t) = x(t) + iy(t). En gomtrie direntielle lmentaire
20
, on associe une
longueur donne par
=
_
b
a
[

(t)[dt =
_
b
a
_
(x

(t))
2
+ (y

(t))
2
dt.
Par ailleurs, la courbe dlimite une rgion borne du plan, de primtre , laquelle il
est possible
21
dattribuer une aire / donne par
/ =
1
2

_
b
a
det
_
(t),

(t)
_
dt

=
1
2

_
b
a
_
x(t)y

(t) y(t)x

(t)
_
dt

.
Un problme naturel et trs ancien
22
se pose alors : pour un primtre donn, peut-on
trouver une courbe qui ralise une aire / maximale ? Si oui, quel le est cette courbe ? La
rponse est positive ; laire maximale est atteinte lorsque est un cercle. Bien quelle ft
connue empiriquement depuis lantiquit, il fallut attendre le XIXme sicle pour en avoir
une justication complte et rigoureuse, due Weierstrass.
20
Voir le cours de Math 207 ou [5], tome 3, chapitre VI.
21
Voir par exemple [5], tome 4, thorme VI.3.1 et exemples.
22
Il est courant de lvoquer propos de la fondation mythique de Carthage par la reine Didon. Didon,
ou lissa, tait une princesse phnicienne (ca. 840 ca. 760 av. J.-C.), premire-ne du roi de Tyr. Sa
succession fut entrave par son frre Pygmalion, qui assassina son mari et imposa sa propre tyrannie. Suite
cet vnement, et probablement pour viter une guerre civile, elle quitta Tyr avec une suite nombreuse,
sembarquant pour un long voyage dont les principales tapes furent Chypre et Malte. Dbarque sur les
ctes tunisiennes vers 814 av. J.-C., elle demanda au souverain local, Syfax, un endroit o fonder une
nouvelle capitale pour le peuple phnicien. Ironiquement, Syfax lui accorda pour stablir autant de terre
quil en pourrait tenir dans la peau dune vache. Avec ingniosit, elle choisit pour fonder sa ville une
pninsule qui savanait dans la mer et t dcouper une peau de vache en nes lanires qui, mises bout
bout et disposes judicieusement, dlimitrent lemplacement de ce qui devint plus tard la grande Carthage.
30
6.2 Lingalit de Wirtinger
En sappuyant sur lanalyse de Fourier, Hurwitz donna en 1901 une preuve simple de
lingalit isoprimtrique : cest celle que nous allons prsenter ici. Le point de dpart est
une ingalit classique.
Proposition 6.2.1 (ingalit de Wirtinger). Soit f une fonction 2-priodique de classe
C
1
par morceaux et continue sur R, vriant
_
2
0
f(t)dt = 0. On a alors
_
2
0
[f(t)[
2
dt
_
2
0
[f

(t)[
2
dt
et lgalit a lieu si et seulement si il existe des constantes et tel les que lon ait
f(t) = e
it
+e
it
pour tout rel t.
Dmonstration. Daprs le lemme 2.2.3 et la remarque 2.2.4, on a [

(n)[
2
= n
2
[

f(n)[
2
pour tout entier relatif n et donc
[

(n)[
2
[

f(n)[
2
pour n ,= 0. (16)
Lhypothse
_
2
0
f(t)dt = 0 quivaut

f(0) = 0 et lingalit (16) reste donc vraie pour
n = 0. Il sut alors dappliquer lgalit de Parseval f et f

(en se souvenant de la
remarque 1.5.10) pour en dduire directement la majoration recherche.
On traite maintenant les cas dgalit. Supposons f(t) = e
it
+ e
it
. De lunicit de
la srie de Fourier dune fonction continue (thorme 5.4.1 et remarque 5.4.2) dcoulent
immdiatement les relations

f(n) = 0 pour [n[ , = 1,

f(1) = et

f(1) = . On a de mme

(n) = 0 pour [n[ ,= 1,

f

(1) = i et

f

(1) = i. En reportant ces informations dans

lgalit de Parseval, on obtient alors
_
2
0
[f(t)[
2
dt = [[
2
+[[
2
=
_
2
0
[f

(t)[
2
dt.
Rciproquement, supposons que lon ait lgalit
_
2
0
[f(t)[
2
dt =
_
2
0
[f

(t)[
2
dt. En utilisant
encore la relation

f

(n) = in

f(n), lgalit de Parseval conduit la relation

+

n=
(n
2
1)[

f(n)[
2
= 0.
Comme on a

f(0) = 0 par hypothse, la srie ci-dessous ne comporte que des termes
positifs. La nullit de la somme implique donc que chacun de ces termes soit nul. Nous
obtenons ainsi (n
2
1)[

f[
2
= 0 pour tout n, ce qui implique

f(n) = 0 pour [n[ ,= 1.
Autrement dit, les coecients de Fourier de f sont tous nuls, sauf peut-tre

f(1) et

f(1). Enn, puisque f est de classe C

1
, elle est somme de sa srie de Fourier en tout point
de R, comme on la vu au paragraphe 4.4. Il en rsulte que lon a f(t) = e
it
+e
it
avec
=

f(1) et =

f(1).
6.3 Lingalit isoprimtrique
Nous pouvons maintenant noncer et dmontrer le rsultat principal.
31
Thorme 6.3.1 (ingalit isoprimtrique). Avec les notations prcdentes, on a
/

2
4
et lgalit a lieu si et seulement si est un cercle.
Dmonstration. Une premire tape consiste eectuer quelques normalisations.
(i) On observe dabord que le problme est invariant par changement dchelle : en eet, si
lunit de longueur est divise par un facteur , les deux membres de lingalit dmontrer
sont multiplis par
2
et lon retrouve la mme ingalit, aprs simplication. On peut
donc toujours se ramener au cas o = 2 ; on doit alors tablir que lon a / , avec
galit si et seulement si est un cercle (de rayon 1).
(ii) On peut ensuite choisir de paramtrer la courbe par labscisse curviligne, ce qui
ramne le problme au cas o a = 0, b = 2 et [

(t)[ = 1 pour tout t de [0, 2].

(iii) Enn, on remarque que lingalit tablir est invariante par translation. Si lon pose
m =
1
2
_
2
0
(t)dt, la translation z z m permet de se ramener une situation o lon
a
_
2
0
(t)dt = 0.
Compte tenu de la normalisation (ii), on a
/ =
1
2

_
2
0
_
x(t)y

(t) y(t)x

(t)
_
dt

1
2
_
2
0

x(t)y

(t) y(t)x

(t)

dt
avec [xy

yx

[ =

_
(x + iy)(x

+ iy

)
_

= [(

)[ [[[

[ = [[ puisque

(t) = 1 pour
tout t. Il vient donc
/
1
2
_
2
0
[(t)[ dt. (17)
En utilisant lingalit de Cauchy-Schwarz, on a par ailleurs
_
2
0
[(t)[ dt
__
2
0
[(t)[
2
dt
_
1/2
__
2
0
1
2
dt
_
1/2
=

2
__
2
0
[(t)[
2
dt
_
1/2
. (18)
On observe ensuite que la condition de fermeture (0) = (2) permet de prolonger en
une fonction 2-priodique, de classe C
1
par morceaux et continue sur R. Compte tenu de
la normalisation (iii), on peut appliquer lingalit de Wirtinger 6.2.1 ; on obtient ainsi
_
2
0
[(t)[
2
dt
_
2
0
[

(t)[
2
dt = 2. (19)
En reportant dans (17) et (18), on trouve nalement /
1
2

2 = . Cest lingalit
recherche, compte tenu de la normalisation (i).
Traitons maintenant les cas dgalit. Il est clair quun cercle ralise lgalit / = .
Rciproquement, celle-ci impose quil y ait galit dans (19), ce qui, daprs la proposition
6.2.1, implique (t) = e
it
+ e
it
pour des constantes complexes et convenables.
On a donc

(t) = ie
it
+ ie
it
, do [

(t)[
2
= (ie
it
+ ie
it
)(i e
it
i

e
it
) =
[[
2
+[[
2
+2'( e
2it
). La relation [

(t)[ = 1 pour tout t impose alors = 0 et il reste

deux possibilits : = 0 et (t) = e
it
, ou = 0 et (t) = e
it
. Dans les deux cas, est
un cercle.
32
Joseph Fourier (1768-1830)
23
Rfrences
[1] J. Dieudonn, Abrg dhistoire des mathmatiques, Hermann (1986).
[2] J. Dieudonn, Calcul innitsimal, Hermann (2me dition 1986).
[3] J.-P. Kahane & P.-G. Lemari-Rieusset, Sries de Fourier et Ondelettes, Cassini
(1998).
[4] Y. Katznelson, An introduction to harmonic analysis, Dover (1976).
[5] J. Lelong-Ferrand & J.-M. Arnaudis, Cours de Mathmatiques - Classe prpa-
ratoires et premier cycle universitaire, Dunod (tome 1 : algbre, 3me dition 1978 ;
tome 2 : analyse, 4me dition 1977 ; tome 3 : gomtrie et cinmatique, 2me dition
1977 ; tome 4 : quations direntielles, intgrales multiples, 2me dition 1977).
23
Des dtails sur la vie mouvemente et luvre de Joseph Fourier sont disponibles ladresse
http ://www.academie-sciences.fr/membres/in memoriam/Fourier/Fourier oeuvre.htm
33