Vous êtes sur la page 1sur 14

Chapitre 1

Suites et sries de fonctions valeurs


dans un espace norm de dimension
nie.
On sintresse ici des suites de fonctions dnies sur un ensemble X qui sera souvent,
mais pas ncessairement, un intervalle de R, et prenant leurs valeurs dans un espace norm
E de dimension nie sur K = R, ou K = C. Lorsque X est un espace norm de dimension
nie, on notera |x| la norme dun lment x de E. On rservera la notation f pour la
norme au sens de la convergence uniforme, dune application f valeurs dans un espace
norm E.
1.1 Rappels sur les fonctions valeurs dans un espace norm
Dnition 1.1 On dit que la fonction f X E est borne, sil existe un A R
+
tel
que
x X, |f(x)| A.
Dnition 1.2 Soit f une fonction borne f : X E. On appelle norme de f au sens
de la convergence uniforme, le nombre positif ou nul
f = f

= sup
xX
|f(x)|.
Dnition 1.3 Soit f une fonction dnie sur un intervalle rel I valeurs dans E.
1. On dit que f est drivable
1
au point t
0
I, de drivee u, si
lim
h0
f(t
0
+ h) f(t
0
)
h
= u.
2. Lorsque f est drivable en tout point t de I on dit que f est drivable sur I, et on
note f

: I E lapplication qui envoie t I sur la drive de f au point t.


3. On dnit par rcurrence, la notion de fonction de classe C
k
dnie sur I, valeurs
dans E. Par dnition f est de classe C
0
si elle est continue. Et, pour k 1, f est
de classe C
k
, si f est drivable et sa drive f

de classe C
k1
.
1
Pour ceux qui connaissent la notion dapplication direntiable, dire que f est drivable en t
0
, est
quivalent dire que f est direntiable en t
0
. Si u est le vecteur drive de f au point t
0
, la direntielle
de f au point t
0
est lapplication linaire df : R E, h hu
1
Universit Lyon 1 Capes Math. 2008-2009
Suites de fonctions.
Dnition 1.4 Soit (f
n
)
n
une suite de fonctions dnies sur X. On dit que la suite (f
n
)
n
est simplement convergente si pour tout x de X la suite (f
n
(x))
n
est une suite dl-
ments de E qui est convergente.
Dnition 1.5 Soit (f
n
)
n
une suite de fonctions dnies sur X. On dit que la suite (f
n
)
n
converge uniformment vers la fonction f si pour tout n susament grand la fonction
f f
n
est borne, et si
lim
n+
f f
n
= 0.
Remarque :
1. La dnition cidessus est quivalente :
> 0 n
0
n n > n
0
= sup
xX
|f
n
(x) f(x)|
2. Notez la dirence entre les formules quanties traduisant les notions de convergence
simple et uniforme :
Cv. simple : x > 0 n
0
n, x X et n > n
0
= |f
n
(x) f(x)| <
Cv. uniforme : > 0 n
0
x n, x X et n > n
0
= |f
n
(x) f(x)| <
Dans le cas de la convergence simple lentier n
0
dpend de x. Autrement dit, la
rapidit de la convergence de f
n
(x) vers f(x) dpend du point x considr.
3. En pratique, pour prouver la convergence uniforme de la suite (f
n
)
n
vers f sur len-
semble X, on majore |f(x) f
n
(x)| par un nombre
n
indpendant de x, qui tend
vers 0 lorsque n +. En eet |f(x) f
n
(x)|
n
scrit |(f f
n
)(x)|
n
, et
si cela est satisfait pour tout x de X on a, par dnition dune borne suprieure,
f f
n

= sup
xX
|(f f
n
)(x)|
n
et, puisque
n
0 cela donne lim
n+
f f
n

= 0.
Thorme 1.6 Soit (f
n
)
n
une suite de fonctions continues sur un intervalle I. Si la (f
n
)
converge uniformment vers f, alors la fonction f est une fonction continue.
Thorme 1.7 Soit (f
n
)
n
une suite de fonctions continues sur un intervalle ferm born
[a, b]. Si la suite (f
n
)
n
converge uniformment vers f, alors
lim
n
_
b
a
f
n
(t) dt =
_
b
a
f(t) dt =
_
b
a
lim
n
f
n
(t) dt.
On exprime ceci en disant que lon peut permuter les symboles lim et
_
.
Thorme 1.8 Soit (f
n
)
n
une suite de fonctions de classe C
1
sur un intervalle rel quel-
conque I de R telle que,
1. Il existe un point x
0
de I tel que la suite (f
n
(x
0
))
n
converge.
2. La suite des drives (f

n
)
n
est simplement convergente sur I, et elle est uniformment
sur tout intervalle ferm born [a, b] contenu dans I.
Alors
1. La suite des (f
n
)
n
converge simplement sur I vers une fonction f.
2. La fonction f est de classe C
1
sur I et et f

est la limite de la suite (f

n
).
3. La suite (f
n
)
n
converge uniformment sur tout intervalle ferm born [a, b] contenu
dans I.
Rsum suites et sries de fonctions 2 M. Delglise
Universit Lyon 1 Capes Math. 2008-2009
Sries de fonctions.
Dnition 1.9 Soit (u
n
)
n
une srie de fonctions dnies sur X. On dit que la srie est
simplement convergente, si, pour tout x de X, la srie numrique des (u
n
(x))
n
, est une
srie convergente.
Dnition 1.10 Soit (u
n
)
n
une srie de fonctions. On dit que la srie est uniformment
convergente, si la suite des fonctions sommes partielles dordre n cest dire la suite de
fonctions (S
n
)
n
, dnie par
S
n
(x) =
n

k=0
u
k
(x)
est une suite de fonctions uniformment convergente.
Remarque : Si la srie des fonctions u
n
est une srie qui converge simplement, on peut
considrer pour tout x la suite des restes dordre n de la srie u
n
(x), R
n
(x) =

k>n
u
k
(x).
Dire que la srie de fonctions (u
n
)
n
est uniformment convergente, cest aussi dire que la
suite des fonctions R
n
converge uniformment vers 0.
Dnition 1.11 Soit (u
n
)
n
une suite de fonctions bornes dnies sur X ; on dit que la
srie des fonctions (u
n
)
n
est normalement convergente, si la srie numrique positive

u
n

est convergente.
Thorme 1.12 Si une srie de fonctions est normalement convergente alors elle est uni-
formment convergente, et aussi absolument convergente.
Les thormes (1.6,1.7,1.8) donnent immdiatement les trois suivants :
Thorme 1.13 Soit (u
n
)
n
une suite de fonctions continues sur un intervalle I. Si la
srie

u
n
est uniformment convergente de somme s, alors s est une fonction
continue.
Thorme 1.14 Soit (u
n
)
n
une suite de fonctions continues sur un intervalle ferm
born [a, b]. Si la srie

u
n
est uniformment convergente de somme s alors

n=0
_
b
a
u
n
(t) dt est une srie numrique convergente, et on a
_
b
a
s(t) dt =

n=0
_
b
a
u
n
(t) dt.
Thorme 1.15 Soit (u
n
)
n
une suite de fonctions de classe C
1
sur un intervalle rel
quelconque I, telle que,
1. Il existe un point de x
0
de I tel que la srie numrique

n0
u
n
(x
0
) converge.
2. La srie des fonctions drives

n0
u

n
(x) converge uniformment sur tout intervalle
ferm born contenu dans I.
Alors
1. La srie

n0
u
n
est simplement convergente sur I.
2. Soit s =

n0
u
n
. Alors s est de classe C
1
et, pour tout x de I :
s

(x) =

n0
u

n
(x).
Rsum suites et sries de fonctions 3 M. Delglise
Universit Lyon 1 Capes Math. 2008-2009
3. La srie

n0
u
n
est uniformment convergente sur tout intervalle ferm born
contenu dans I.
Attention : Signalons ici une faute trs souvent lue dans les copies : La convergence
uniforme dune suite (ou srie) de fonctions sur chacun des intervalles [a, a], 0 < a < 1
entraine bien sr la convergence simple sur ] 1, 1[, mais pas la convergence uniforme
sur ] 1, 1[.
En pratique le moyen le plus simple pour prouver la convergence uniforme dune srie
de fonctions est de prouver quelle est normalement convergente.
Si lon ny parvient pas, on peut encore essayer de majorer la valeur absolue du reste
R
n
(x) =

k=n+1
u
k
(x), par un nombre
n
qui ne dpend pas de x et qui tend vers
0, autrement dit, montrer que la suite de fonctions (R
n
) converge uniformment vers 0.
Quand la srie nest pas absolument convergente, un bon moyen pour majorer |R
n
(x)| est
souvent le thorme des sries alternes, ou la mthode de sommation dAbel.
Rsum suites et sries de fonctions 4 M. Delglise
Chapitre 2
Sries entires.
Les sries entires sont un cas particulier de sries de fonctions, pour lesquelles on
dispose de thormes trs commodes. Nous nous intressons ici aux fonctions relles dune
variable relle, ou complexes dune variable complexe.
Dnition 2.1 Etant donne une suite de complexes (resp. rels) (a
n
)
n
, et un nombre
z
0
C (resp. R), la srie de fonctions

n=0
a
n
(z z
0
)
n
est appele srie entire
autour de z
0
associe la suite (a
n
)
n
.
On nnoncera la plupart des thormes suivants que dans le cas de sries entires
autour de 0, la transposition au cas gnral tant vidente.
Thorme et dnition 2.2 Soit une srie entire

a
n
z
n
. Il existe un R [0, +] tel
que :
1. La srie de fonctions converge simplement et absolument dans le disque |z| < R.
2. Pour tout z, |z| > R, la suite des |a
n
z
n
| nest pas majore (et, a fortiori, la srie

a
n
z
n
diverge).
Le nombre R est appel le rayon de convergence de la srie

a
n
z
n
.
Pour calculer le rayon de convergence dune srie entire, le plus simple est souvet
dtudier, pour chaque valeur de z la srie numrique termes positifs

+
n=0
|a
n
z
n
|,
laide du critre de dAlembert, ou celui de Cauchy.
Exemple: Soit la srie entire

n0
1
2n + 1
z
n
. On applique le critre de dAlembert la
srie des u
n
=
|z|
n
2n + 1
. On a
lim
n
u
n+1
u
n
= lim
n
2n + 3
2n + 1
|z| = |z|.
Donc, si |z| < 1 la srie est convergente, si |z| > 1 elle diverge grossirement parce que
lim
n
|z
n
|
2n+1
= . Ceci montre que le rayon de convergence est 1.
Remarque : On ne peut rien dire a priori de la nature de la srie numrique

+
n=0
a
n
z
n
,
pour un z tel que |z| = R. Il y a des cas de convergence et des cas de divergence. Le
thorme des sries alternes, ou celui dAbel, donne souvent la rponse.
Thorme 2.3 Si deux sries entires

a
n
z
n
et

b
n
z
n
, convergent et ont mme somme
sur un intervalle rel ouvert non vide a < x < a alors elles sont identiques, i.e. a
n
= b
n
pour tout n.
5
Universit Lyon 1 Capes Math. 2008-2009
Thorme 2.4 1. Si R est le rayon de convergence de la srie

a
n
z
n
, alors, pour tout
a, 0 a < R elle converge normalement sur le disque |z| a.
2. La srie drive terme terme,

n=0
(n + 1)a
n+1
z
n
, et la srie intgre terme
terme,

n=1
a
n1
n
z
n
ont le mme rayon de convergence R.
3.

n=0
a
n
z
n
est drivable et intgrable terme terme. Plus prcisment, si f et g sont
les fonctions dnies sur |z| < R par
f(z) =

n=0
a
n
z
n
, g(z) =

n=1
a
n1
x
n
n
alors
f est drivable de drive f

(z) =

+
n=0
(n + 1)a
n+1
z
n
.
g est une primitive de f.
Remarque : Le lecteur attentif remarquera que nous navons pas dni la drivabilit
dune fonction complexe de variable complexe. La fonction z f(z) dnie au voisinage de
z
0
C est drivable en z
0
si et seulement si, le rapport
f(z) f(z
0
)
z z
0
a une limite lorsque z,
dirent de z
0
, tend vers z
0
. Dire que g est une primitive de f cest dire que g est drivable
en tout z, de drive f(z).
Corolaire 2.5 Si f(z) est la somme de la srie entire

n0
a
n
z
n
, on a
a
n
=
1
n!
f
(n)
(0).
Dnition 2.6 On dit que la fonction f est dveloppable en srie entire au voisinage
de z
0
, si z
0
est un point intrieur du domaine de dnition de f, et si il existe une srie
entire

n=0
a
n
(z z
0
)
n
de rayon de convergence non nul dont la somme concide avec f(z) sur un voisinage de z
0
.
Remarque : Il rsulte du thorme (2.4) quune condition ncessaire pour que f soit
dveloppable en srie entire au voisinage de z
0
est quil existe un ouvert contenant z
0
sur
lequel f soit indniment drivable. Cette condition nest pas susante dans le cas
des fonctions relles. Dans le cas complexe, la drivabilit est une proprit beaucoup plus
forte que dans le cas rel, et une condition ncessaire et susante pour que f, dnie sur
un ouvert U C, soit dveloppable en srie entire au voisinage de chaque point z
0
U,
est que f soit drivable en tout point de U.
Thorme 2.7 Si f est dveloppable en srie entire au voisinage de z
0
, alors elle possde,
pour tout n, un dveloppement limit dordre n autour de z
0
; la partie rgulire de ce
dveloppement sobtient en tronquant lordre n la srie entire de f au voisinage de z
0
.
Attention : La convergence uniforme dans chaque disque |z| r, r < R, nentraine pas
la convergence uniforme dans le disque ouvert |z| < R.
Le thorme 2.4 ci dessus permet dexpliciter les dveloppements en srie entire de
beaucoup de fonctions. Si par exemple f a une drive f

dont le dveloppement est connu,


on dduit immdiatement de ce dernier celui de f par intgration terme terme. Une
autre mthode trs employe est la suivante. Si f est solution dune quation direntielle
Rsum suites et sries de fonctions 6 M. Delglise
Universit Lyon 1 Capes Math. 2008-2009
linaire a(x)f

(x) +b(x)f

(x) +c(x)f(x) +d(x) = 0 avec a, b, c, d polynmes, on explicite


le dveloppement en srie entire du premier membre de lgalit ci dessus en fonction des
coecients indtermins (a
n
) du dveloppemt de f(x). En crivant que tous les coecients
de ce dveloppement sont nuls on obtient une relation de rcurrence qui permet de calculer
les a
n
.
En tout cas, lutilisation du corollaire (2.5) est rarement un bon moyen pour expliciter
le dveloppement en srie entire dune fonction f. Premirement, avant de lutiliser il faut
dja avoir prouv que f est dveloppable en srie entire, ensuite, le calcul explicite des
drives successives de f en 0 est en gnral inextricable.
2.1 Dveloppements classiques en srie entire
exp(z) =

n=0
z
n
n!
R = +.
ch(z) =

n=0
z
2n
(2n)!
R = +.
sh(z) =

n=0
z
2n+1
(2n + 1)!
R = +.
cos(z) =

n=0
(1)
n
z
2n
(2n)!
R = +.
sin(z) =

n=0
(1)
n
z
2n+1
(2n + 1)!
R = +.
log(1 + z) =

n=1
(1)
n1
z
n
n
R = 1.
(1 + z)

n=1
( 1) . . . ( n + 1)
n!
z
n
( R) R = 1.
Rsum suites et sries de fonctions 7 M. Delglise
Universit Lyon 1 Capes Math. 2008-2009
Rsum suites et sries de fonctions 8 M. Delglise
Chapitre 3
Sries de Fourier.
Les notions retenir de ce chapitre sont
Le thorme de Dirichlet qui donne une condition susante pour la convergence
simple dune srie de Fourier.
La dnition du produit scalaire dans le cas des fonctions relles (ou hermitien dans
la cas des fonctions complexes) de deux fonctions priodiques.
Le thorme de Bessel-Parseval qui dit que la srie de Fourier dune fonction f,
priodique et continue par morceaux, converge en norme quadratique vers f.
3.1 Sries trigonomtriques et sries de Fourier
Dnition 3.1 Une srie trigonomtrique en sinus et cosinus de priode T =
2

est une srie de fonctions de la forme


a
0
+

n=1
(a
n
cos nx + b
n
sinnx). (3.1)
On appelle somme partielle dordre N de cette srie la somme
S
N
(x) = a
0
+
N

n=0
(a
n
cos nx + b
n
sinnx). (3.2)
Dnition 3.2 Une srie trigonomtrique exponentielle de priode T est une srie
de fonctions de la forme
+

n=
c
n
e
inx
(3.3)
On appelle somme partielle dordre N de cette srie la somme
S
N
(x) =
+N

n=N
c
n
e
inx
(3.4)
Il existe une bijection canonique de lensemble des sries trigonomtriques exponen-
tielles sur lensemble des sries trigonomtriques en sinus et cosinus. En eet considrons
la srie trigonomtrique en sinus et cosinus donne par (3.1), et sa somme partielle dordre
N donne par (3.2) En utilisant les formules dEuler,
cos (nx) =
e
inx
+ e
inx
2
, sin(nx) =
e
inx
e
inx
2i
=
i
2
_
e
inx
e
inx
_
9
Universit Lyon 1 Capes Math. 2008-2009
on obtient
S
N
(x) = a
0
+
N

n=0
(a
n
cos nx + b
n
sinnx) =
N

n=N
c
n
e
inx
, (3.5)
avec
c
0
= a
0
, et, pour n 1 c
n
=
a
n
ib
n
2
et c
n
=
a
n
+ ib
n
2
(3.6)
ou, ce qui est quivalent,
a
0
= c
0
, et, pour n 1 a
n
= c
n
+ c
n
et b
n
= i(c
n
c
n
). (3.7)
Ainsi les formules (3.6) et (3.7) tablissent une bijection naturelle entre lensemble des
sries trigonomtriques exponentielles de priode T et lensemble des sries trigonom-
triques en sinus et cosinus de priode T. De plus les sommes partielles dordre N de deux
sries associes sont les mmes. Les notions de srie trigonomtrique en sinus et cosinus,
et de srie trigonomtrique exponentielle sont deux faons de reprsenter un mme objet.
Il ne sagt que dun choix de notation, selon les circonstances on prfrera lune ou lautre
notation.
Le seul thorme gnral sur les srie trigonomtriques que nous retiendrons est le
suivant, dont la dmonstration, vidente est laisse en exercice.
Thorme 3.3 Si la srie

+
n=
c
n
est absolument convergentes, la srie (3.3)
converge normalement sur R, ou, plus justement, la srie c
0
+

+
n=1
(c
n
e
inx
+ c
n
e
inx
)
est normalement convergente.
Thorme 3.4 Si les sries

+
n=0
a
n
et

+
n=0
b
n
sont absolument convergentes, la
srie trigonomtrique (3.1) converge normalement sur R.
3.2 Sries de Fourier
Dans cette section on associe toute fonction f, T-pridodique et continue par mor-
ceaux (pour assurer lintgrabilit de f) une srie trigonomtrique, appelle la srie de
Fourier de f. Ainsi lensemble des sries de Fourier est un sous ensemble de lensemble
des sries trigonomtriques. Mais ces deux ensembles ne concident pas. Il existe des sries
trigonomtriques qui ne sont pas des sries de Fourier (mme si lon tend lensemble des
fonctions considres lensemble de toutes les fonctions T-priodiques intgrables au sens
de Lebesgue).
Dnition 3.5 Soit f continue par morceaux, Tpriodique, =
2
T
.
1. La srie de Fourier en sinus et cosinus de f est la srie
a
0
+
+

n=1
(a
n
cos nt + b
n
sinnt)
dont les coecients sont a
0
=
1
T
_
T
0
f(t) dt et, pour n 1,
a
n
=
2
T
_
T
0
f(t) cos nt dt b
n
=
2
T
_
T
0
f(t) sinnt dt. (3.8)
Rsum suites et sries de fonctions 10 M. Delglise
Universit Lyon 1 Capes Math. 2008-2009
2. La srie de Fourier exponentielle de f est la srie
n=+

n=
c
n
e
int
dont les coe-
cients c
n
pour n Z sont donns par
c
n
=
1
T
_
T
0
f(t)e
int
dt. (3.9)
Remarques :
1. Par les formules dEuler et la linarit de lintgrale, les coecients de Fourier expo-
nentiels c
n
= c
n
(f), et les coecients trigonomtriques a
n
= a
n
(f), b
n
= b
n
(f) sont
relis par les formules (3.6) et (3.7).
2. Les coecients c
n
sont en gnrals complexes. Les coecients a
n
et b
n
sont rels
chaque fois que f est une fonction relle.
3. Par la formule (3.5), pour tout x et tout N
a
0
+
N

n=1
(a
n
cos nx + b
n
sinnx) =
+N

n=N
c
n
e
inx
.
On peut donc parler sans ambigut de la somme partielle dordre N de la srie
de Fourier, sans quil soit ncessaire de prciser sil sagit de la srie sous forme
exponentielle, ou en sinus et cosinus.
Dnition 3.6 f(x) est de classe C
1
par morceaux sur lintervalle [a, b] si il existe
une subdivision a
0
= a < a
1
< a
2
< . . . < a
k
= b, et sur chaque intervalle [a
k
, b
k
] une
fonction f
k
de classe C
1
sur [a
k
, b
k
] qui concide avec f sur ]a
k
, b
k
[.
f est de classe C
1
par morceaux sur R si elle est de classe C
1
par morceaux sur
tout intervalle ferm born de R.
Remarque : Cette dnition laisse arbitraires les valeurs de f en les a
k
.
Thorme 3.7 [Thorme de Dirichlet] Si f est une fonction Tpriodique et de classe
C
1
par morceaux, la srie de Fourier de f converge simplement vers la fonction
x
f(x
+
) + f(x

)
2

La convergence est uniforme sur chaque intervalle ferm born sur lequel f est continue.
Si f est continue et de classe C
1
par morceaux sa srie de Fourier est normalement
convergente.
Thorme 3.8 Si la srie trigonomtrique
+

n=
c
n
e
int
(3.10)
est uniformment convergente, alors elle est la srie de Fourier de sa somme.
Rsum suites et sries de fonctions 11 M. Delglise
Universit Lyon 1 Capes Math. 2008-2009
3.3 Lespace prehilbertien des fonctions T-priodiques et la
formule de Parseval
Dnition 3.9 Soit C
R
(T) lespace vectoriel rel des fonctions continues par morceaux,
priodiques de priode T. Lapplication
(f, g)
1
T
_
T
0
f(t)g(t) dt (3.11)
dnit un pseudo produit scalaire sur C
R
(T) (cest une forme bilinaire symtrique, positive,
mais pas dnie positive, parce quune application nulle sauf en un nombre ni de points
a un carr scalaire non nul). La pseudo-norme quadratique sur C
R
(T) est la norme
associe ce pseudo produit scalaire, cest dire
f f
2
=
_
1
T
_
T
0
|f(t)|
2
dt
_
1/2
. (3.12)
Dnition 3.10 Soit C
C
(T) lespace vectoriel cpmlexe des fonctions complexes continues
par morceaux, priodiques de priode T. Lapplication
(f, g)
1
T
_
T
0
f(t)g(t) dt (3.13)
dnit un pseudo produit hermitien sur C
C
(T) (ce nest pas un vrai produit hermitien car
le carr dune fonction nulle sauf en un nombre ni de points est nul) La pseudo-norme
hermitienne sur C
R
(T) est la norme associe ce pseudo produit, cest dire
f f
2
=
_
1
T
_
T
0
|f(t)|
2
dt
_
1/2
. (3.14)
Proposition 3.1
1. La famille B
c
(T) = (e
int
)
nZ
est une famille orthonorme de C
C
(T).
2. Les lments de lensemble
B
r
(T) =
_
1, (sin(nt))
n1
, (cos(nt))
n1
_
sont deux deux orthogonaux, et
1
2
= 1 et, pour n 1, cos(nt)
2
= sin(nt)
2
=
1
2
Dnition 3.11 (Polynmes trigonomtriques) Un polynme trigonomtrique de de-
gr n et de priode T = 2/ est une application de la forme
t
+n

k=n
c
k
e
ikt
ou encore t a
0
+
+n

k=1
(a
k
cos(kt) + b
k
sin(kt),
o les a
k
, b
k
, c
k
sont des complexes arbitraires.
Rsum suites et sries de fonctions 12 M. Delglise
Universit Lyon 1 Capes Math. 2008-2009
Thorme 3.12 Soit f une fonction T-priodique, continue par morceaux, et c
k
ses co-
ecients de Fourier. La somme partielle dordre n de la srie de Fourier de f,
S
n
(f) =
+n

k=n
c
k
e
ikx
,
est la projection orthogonale de f sur lespace vectoriel des polynmes trigonomtriques de
degr au plus n.
Preuve : Il faut montrer que f

n
k=n
c
k
(f)e
ikx
est orthogonale e
iqx
pour tout q,
n q n. La linarit de lintgrale donne
1
T
_
T
0
_
f(x)
n

k=n
c
k
(f)e
ikx
_
e
iqx
dx
=
1
T
_
T
0
f(t)e
iqx
dx
+n

k=n
c
k
(f)
1
T
_
T
0
e
ikx
e
iqx
dx = c
q
(f) c
q
(f) = 0,
car, la famille des e
ikx
tant orthonorme, dans la dernire somme tous les termes sont
nuls sauf le terme en k = q dont la valeur est c
q
.
Thorme 3.13 Pour toute fonction f continue par morceaux, et T-priodique, La srie
de Fourier de f converge vers f en norme quadratique, cest dire que
lim
n+
f S
n
(f)
2
= 0. (3.15)
Ce thorme snonce encore de la manire suivante,
Thorme 3.14 [Thorme de BesselParseval] Soit f : R C, continue par mor-
ceaux et T-priodique. On a :
1
T
_
T
0
|f(x)|
2
dx =
+

|c
n
|
2
=

a
2
0

+
1
2

n=1
_
|a
n
|
2
+|b
n
|
2
_
. (3.16)
Preuve : La dcomposition orthogonale f = S
n
(f) + (f S
n
(f)) et le thorme de Py-
thagore donnent f
2
2
= S
n
(f)
2
2
+f S
n
(f)
2
2
et donc. Avec le thorme prcdent il
vient
S
n
(f)
2
2
= f
2
2
f S
n
(f)
2
2

n+
f
2
2
. (3.17)
Mais puisque les dcompositions
S
n
(f)(x) =
+n

k=n
c
k
e
ikx
= a
0
+
n

k=1
[a
k
cos(kx) + b
k
sin(kx)]
sont orthogonales, le thorme de Pythagore donne encore (en utilisant la proposition 3.1)
pour valuer les normes des fonctions e
ikx
, cos(kx) et sin(kx))
S
n
(f)(x)
2
2
=
+n

k=n
|c
k
|
2
_
_
_e
ikx
_
_
_
2
= |a
0
|
2
1
2
2
+
n

k=1
_
|a
k
|
2
cos(ikx)
2
2
+|b
k
|
2
sin(ikx)
2
2
_
=
+n

k=n
|c
k
|
2
= |a
0
|
2
+
1
2
n

k=1
(|a
k
|
2
+|b
k
|
2
).
Rsum suites et sries de fonctions 13 M. Delglise
Universit Lyon 1 Capes Math. 2008-2009
Avec (3.17) on en dduit
1
T
_
T
0
|f(t)|
2
dt = f
2
2
= lim
n
S
n
(f)
2
2
=
+

|c
n
|
2
=

a
2
0

+
1
2

n=1
_
|a
n
|
2
+|b
n
|
2
_
.
Remarque : Lorsque la fonction f est relle les a
n
et les b
n
sont rels et les valeurs
absolues autour des a
n
et b
n
sont inutiles.
Rsum suites et sries de fonctions 14 M. Delglise