Convergence dune srie de Fourier

(Joseph Fourier, Thorie analytique de la chaleur, 1822)

Dr Guy-Bart STAN
14 Mai 2009
Table des matires
1 Prrequis 1
2 Dnition du problme 1
2.1 Coecients de Fourier . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
2.2 Sommes partielles . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
2.3 Types de convergences . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
3 Convergence ponctuelle (Thorme de Dirichlet) 3
3.1 Hypothses du Thorme de Dirichlet . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
3.2 Preuve du Thorme de Dirichlet . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
3.3 Thorme de Riemann-Lebesgue . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
3.4 Phnomne de Gibbs . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
3.5 Amlioration de la convergence et rduction du phnomne de Gibbs . . . . . . . . . . . 5
3.6 Solutions des exercices 1, 2 et 3 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
4 Convergence absolue et uniforme 8
4.1 Dnitions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
4.2 Conv. abs. et unif. : test en M de Weierstrass . . . . . . . . . . . . . . . . . . . . . . . . 8
4.3 Conv. abs. et unif. de la srie de Fourier . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
1 Prrequis
Notions de base en analyse fonctionnelle (fonction continue par morceaux, intgrale et intgra-
bilit au sens de Riemann, Thorme de Riemann-Lebesgue)
Notions de base sur les nombres complexes (en pariculier, proprits de lexponentielle complexe)
Dnitions dune suite, dnition dune srie, dnitions de la convergence ponctuelle et de la
convergence uniforme
2 Dnition du problme
Soit f : R C une fonction 2-priodique (f(x + 2) = f(x), x R) et intgrable
(au sens de Riemann) sur tout intervalle born.
Rappel : Toute fonction f() borne et continue par morceaux est intgrable au sens de Riemann sur
nimporte quel intervalle born.
Remarques :
1. f : R C est une fonction qui tout x R associe f(x) = g(x) + ih(x) avec g : R R et
h : R R. En particulier, si f() est intgrable au sens de Riemann sur [a, b], alors par dnition,

b
a
f() d

b
a
g() d +i

b
a
h() d .
2. Si

f() est T-priodique (avec T R
+
0
) alors la fonction f(x) =

f
_
T
2
x
_
est 2-priodique (vu
que f(x + 2) = f(x), x). On peut donc se limiter ltude fonctions priodiques de priode
2.
1
3. Pour dnir une fonction f() 2-priodique, il sut de dnir f() sur [0, 2[ ou ]0, 2] et de
prolonger par priodicit sur tout R.
Dnition 1 (Dnition du problme). Sous quelles conditions f(x) peut-elle tre dcompose en une
srie du type
1
2
a
0
+

n=1
(a
n
cos (nx) +b
n
sin(nx)) , a
n
, b
n
R, n
ou, de faon quivalente
1
, en une srie du type
+

n=
c
n
e
inx
, c
n
C, n?
(Typiquement, la srie

+
n=
c
n
e
inx
(appele srie trigonomtrique bilatrale) sera utilise dans
les dveloppements, car lexponentielle complexe e
inx
cos(nx) + i sin(nx) peut tre manipule
mathmatiquement plus facilement que les fonctions cos(nx) et sin(nx). Par exemple, on a e
i(x+y)
=
e
ix
e
iy
tandis que sin(x +y) = sin xcos y + cos xsin y et cos(x +y) = cos xcos y sin xsin y.)
2.1 Coecients de Fourier
Les coecients a
n
, b
n
et c
n
sont appels coecients de Fourier de f() et sont donns par :
a
n
=
1

f() cos (n) d, b

n
=
1

f() sin (n) d, (1)

c
n
=
1
2

f()e
in
d (2)
(Ces intgrales existent vu que f() est suppose tre intgrable (au sens de Riemann) sur tout born.)
Dmonstration. Nous allons dmontrer la formule pour c
n
. Les formules pour a
n
et b
n
sobtiennent
directement partir de celle de c
n
en considrant a
n
= c
n
+c
n
et b
n
= i (c
n
c
n
).
Si lon suppose que f(x) possde une dcomposition en srie de Fourier (et, en particulier, si on
suppose que la srie de Fourier converge absolument), on a :
f(x) =
+

n=
c
n
e
inx
En multipliant cette galit par e
ikx
, k Z, et en intgrant sur [, ] membre membre, on
obtient :

f(x)e
ikx
dx =
+

n=
c
n

e
i(nk)x
dx
(Cette galit requiert de pouvoir montrer que

b
a
lim
N
h
N
(x) dx = lim
N

b
a
h
N
(x) dx (3)
avec, dans ce cas ci, h
N
(x) =

N
n=N
c
n
e
i(nk)x
, a = et b = . Nous admettrons, sans dmonstra-
tion, que lgalit (3) est vraie lorsque lon suppose que la srie de Fourier converge absolument, i.e.
lorsque

+
n=
|c
n
| < .)
De plus,
_
_
_

e
i(nk)x
dx =
_
1
i(nk)
e
i(nk)x
_

=
(1)
nk
(1)
nk
i(nk)
= 0, n = k

e
i(nk)x
dx =

dx = 2, n = k
Il en rsulte que

f(x)e
ikx
dx = 2c
k
, k
CQFD
1. cos (nx) =
e
inx
+e
inx
2
, sin(nx) =
e
inx
e
inx
2i
c
0
=
1
2
a
0
, cn =
1
2
(an ibn) , c
n
=
1
2
(an + ibn), n N
+
.
2
2.2 Sommes partielles
Dnition 2 (Somme partielle dindice N).
S
f
N
(x)
1
2
a
0
+
N

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

n=N
c
n
e
inx
o a
n
, b
n
et c
n
sont les coecients de Fourier de la fonction f() (voir (1) et (2)).
Le problme pos peut donc snoncer :
Sous quelles conditions la srie lim
N
S
f
N
(x) converge-t-elle ? vers f(x) ?
2.3 Types de convergences
Plusieurs types de convergence peuvent tre considrs. Par exemple :
conv. ponctuelle (ou simple), (Lejeune Dirichlet, 1824) (Dirichlet, S
f
N
(x) f(x)
N
0,
x [, ])
conv. uniforme (sup
x[,]

S
f
N
(x) f(x)

N
0)
conv. en norme (e.g., S
f
N

N
f dans L
p
:

S
f
N
() f()

p
d
N
0)
conv. presque partout (Lennart Carleson, 1964)
Chacune de ces notions de convergence requiert des hypothses direntes sur la fonction f(), ainsi
que dirents types de preuves (dont certaines ncessitent des notions danalyse fonctionnelle (trs)
avances).
Dans cet expos, nous allons nous concentrer sur lune des convergences les plus simples : la conver-
gence ponctuelle.
3 Convergence ponctuelle (Thorme de Dirichlet)
Thorme 3 (Dirichlet, 1824). Si f : R C est 2-priodique et lisse par morceaux sur R alors
lim
N
S
f
N
(x) =
1
2
(f (x

) +f (x
+
)) , f (x

) = lim
h0, h>0
f(x h)
pour tout x. En particulier, lim
N
S
f
N
(x) = f(x) pour tout x o f() est continue.
3.1 Hypothses du Thorme de Dirichlet
Dnition 4 (Fonction lisse par morceaux). Une fonction f : [a, b] C est lisse par morceaux
sur [a, b] si f() et f

() sont continues par morceaux sur [a, b]. En particulier, f

(a
+
) et f

(b

) existent.
Plus prcisment, f

() sera continue par morceaux si, aux points de discontinuit, f() admet des
drives gauche et droite. Pour rappel, f() admet une drive droite au point x, note f

(x
+
),
si lim
h0, h>0
f(x+h)f(x+)
h
existe. De manire similaire, f() admet une drive gauche au point x,
note f

(x

), si lim
h0, h<0
f(x+h)f(x)
h
existe.
Dnition 5 (Fonction continue par morceaux). Une fonction f : [a, b] C est continue par
morceaux sur [a, b] si
1. f est continue sur [a, b] sauf vent. en un nb ni de pts x
1
, . . . , x
k
;
2. en chacun des points x
1
, . . . , x
k
les limites g. et d. de f existent : f (x
j
) = lim
h0, h>0
f (x
j
h)
(lim g.) et f (x
j+
) = lim
h0, h>0
f (x
j
+h) (lim d.), j = 1, . . . , k. En particulier, f (a
+
) et f (b

)
existent.
Dnition 6. Une fonction f : R C est continue (resp. lisse) par morceaux sur R si elle est continue
(resp. lisse) par morceaux sur tout intervalle born [a, b] R.
Remarque : Les hypothses du Thorme de Dirichlet ne peuvent pas tre relaxes facilement. Plus
prcisment, le contre-exemple de Du Bois-Reymond fournit un exemple de fonction continue sur R
pour laquelle sa srie de Fourier diverge (voir [2, chap. 18]).
3
Exemple 7 (Du Bois-Reymond, 1873). Il existe une fonction f : R C, 2-priodique et continue sur
R telle que limsup
N

S
f
N
(0)

= .
En particulier, le Thorme de Dirichlet nest pas valable dans le cas gnral de fonctions qui sont
uniquement 2-priodiques et intgrables au sens de Riemann.
3.2 Preuve du Thorme de Dirichlet
Dmonstration. 1. (Exercice 1) S
f
N
(x) =
1
2

f(x + )D
N
() d (produit de convolution) avec
D
N
()

N
n=N
e
in
(appel noyau de Dirichlet dindice N)
2. (Exercice 2) D
N
() =
e
i(N+1)
e
iN
e
i
1
=
sin((N+
1
2
))
sin(

2
)
, = 0 ; D
N
(0) = 2N + 1
3. (Exercice 3) N :
1
2

D
N
() d =
1
2

0
D
N
() d =
1
2
Utilisant 3., on a :
1
2
f (x

) =
f(x)
2

D
N
() d, et
1
2
f (x
+
) =
f(x+)
2

0
D
N
() d.
Ds lors, par 1., on obtient :
S
f
N
(x)
1
2
(f (x

) +f (x
+
))
=
1
2

(f(x +) f (x

)) D
N
() d
+
1
2

0
(f(x +) f (x
+
)) D
N
() d
Dmonstration. Utilisant 2., on obtient :
S
f
N
(x)
1
2
(f (x

) +f (x
+
)) =
1
2

g()
_
e
i(N+1)
e
iN
_
d
avec g()
_
f(x+)f(x)
e
i
1
, < 0
f(x+)f(x+)
e
i
1
, 0 <
. La fonction g() est borne et continue par morceaux sur
[, ] vu que f() est lisse par morceaux sur R, et que
g (0

) = lim
0
f(x +) f (x

)
e
i
1
= lim
0
f(x+)f(x)

e
i
1

=
f

(x

)
i
g (0
+
) = =
f

(x
+
)
i
Par dnition, les coecients de Fourier de g() sont donns par C
n
=
1
2

g()e
in
d, et on
a donc :
lim
N
_
S
f
N
(x)
1
2
(f (x

) +f (x
+
))
_
= lim
N
_
C
(N+1)
C
N
_
Par application du Thorme de Riemann-Lebesgue la fonction g(), on obtient :
lim
N
C
N
= 0.
CQFD
(La dernire tape peut galement tre prouve en utilisant lingalit de Bessel (introduite plus
loin).)
4
0.5 0.4 0.3 0.2 0.1 0 0.1 0.2 0.3 0.4 0.5
0.2
0
0.2
0.4
0.6
0.8
1
1.2


N=5
N=50
Onde carre
Phnomne de Gibbs
3.3 Thorme de Riemann-Lebesgue
Thorme 8 (Riemann-Lebesgue, sans dmonstration). Si g : [a, b] C est une fonction intgrable
(au sens de Riemann) sur le ferm [a, b], alors
lim
n

b
a
g()e
in
d = 0.
Une consquence importante du Thorme de Riemann-Lebesgue est donne par le rsultat suivant :
Corollaire 9 (Comportement des coecients de Fourier linni). Les coecients de Fourier dune
fonction priodique et intgrable au sens de Riemann tendent vers zro linni :
lim
n
c
n
= 0.
3.4 Phnomne de Gibbs
Bien que, sous les hypothses du Thorme de Dirichlet, la srie de Fourier de f() converge ponc-
tuellement vers
1
2
(f (x

) +f (x
+
)) en tout point x, cela ne signie pas que le graphe de S
f
N
() converge
vers celui de f() lorsque N (J. Willard Gibbs, Nature, 1899).
Ce phnomne est connu sous le nom de phnomne de Gibbs et se traduit par des oscillations du
graphe de la somme partielle autour des points de discontinuit.
(Remarque : Pour que le graphe de S
f
N
() converge vers celui de f() lorsque N , une notion
plus forte de convergence est ncessaire : la notion de convergence uniforme. Cette dernire nest
pas satisfaite (sur tout le domaine de dnition) par les sries de Fourier de fonctions possdant des
discontinuits.)
An de caractriser mathmatiquement le phnomne de Gibbs, nous nonons sans dmonstration
le rsultat suivant (pour une dmonstration, voir [3]) : Si f() est une fonction satisfaisant les hypothses
du Thorme de Dirichlet et si x
0
est un point de discontinuit (pour lequel les limites gauche f (x
0
)
et droite f (x
0+
) de f() existent vu les hypothses du Thorme de Dirichlet), alors :
lim
N
S
f
N
_
x
0
+
T
2N
_
= f (x
0+
) +a (0.089490 . . . ),
lim
N
S
f
N
_
x
0

T
2N
_
= f (x
0
) a (0.089490 . . . ),
lim
N
S
f
N
(x
0
) =
1
2
(f (x
0+
) +f (x
0
)) ,
o T est la priode de la fonction f() et a = f (x
0+
) f (x
0
) = 0.
Donc, de faon gnrale, un overshoot dapproximativement a (0.089490) et un undershoot de
la mme valeur apparaissent de part et dautre du point de discontinuit x
0
sur le graphe de la
srie de Fourier. Au point de discontinuit x
0
, la srie de Fourier converge vers la valeur moyenne
1
2
(f (x
0+
) +f (x
0
)) (quelque soit la valeur f (x
0
)).
3.5 Amlioration de la convergence et rduction du phnomne de Gibbs
Plusieurs mthodes existent permettant damliorer la convergence de la srie de Fourier et de
rduire le phnomne de Gibbs. Parmi celles-ci, une en particulier mrite dtre mentionne, celle des
5
sommes de Fejr dindice N (aussi appeles moyennes de Cesro) :
f
N
(x)
1
N+1

N
j=0
S
f
N
(x) =

N
n=N
N+1|n|
N+1
c
n
e
inx
pour lesquelles on a le thorme suivant :
Thorme 10 (Fejr, 1900). Si f : R C est 2-priodique et continue par morceaux sur R alors
lim
N

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

) +f (x
+
)) , f (x

) = lim
h0, h>0
f(x h)
pour tout x. En particulier, si f() est continue sur R alors
f
N
() converge uniformment vers f() sur
R.
Dmonstration. Voir [2, Chap. 2] ou [3, Thorme III.5.1].
Le Thorme de Fejr a deux consquences importantes :
1. Il donne un moyen de reconstruire une fonction continue par morceaux partir de ses coecients
de Fourier lorsque la srie de Fourier ne converge pas. En eet, le Thorme de Dirichlet requiert
une fonction 2-priodique et lisse par morceaux tandis que le Thorme de Fejr ne requiert
quune fonction 2-priodique et continue par morceaux.
2. Lorsque la srie de Fourier converge, la somme de Fejr dindice N conduit typiquement une
meilleure approximation de la fonction f() que la celle donne par la somme partielle dindice N.
En particulier, les sommes de Fejr convergent uniformment vers f() lorsque f() est continue,
alors que les sommes partielles convergent uniformment sous des hypothses plus strictes (voir
Thorme 20).
Tout comme pour la dmonstration du Thorme de Dirichlet, celle du Thorme de Fejr se base sur le
fait que
f
N
(x) peut scrire sous la forme du produit de convolution de f() avec un noyau particulier,
K
N
(), appel le noyau de Fejr dindice N, i.e.,

f
N
(x) =
1
2

f(x )K
N
() d =
1
2

f()K
N
(x ) d
avec (voir [2, chap. 2]) :
K
N
()
N

n=N
N + 1 |n|
N + 1
e
in
=
1
N + 1
N

n=0
D
N
() =
_

_
1
N+1
_
sin(
(N+1)
2
)
sin(

2
)
_
2
, = 0
N + 1, = 0
.
La dirence principale entre les noyaux de Dirichlet et de Fejr est illustre par les deux rsulats
suivants, que nous nonons sans dmonstration (voir [2, chap. 2 et 18] pour leurs dmonstrations).
Thorme 11 (Proprits du noyau de Fejr).
1
2

K
N
() d = 1
K
N
(x)
N
0 uniformment en dehors de lintervalle [, ], > 0.
K
N
(x) 0, x
Thorme 12 (Proprits du noyau de Dirichlet).
1
2

D
N
() d = 1
Si x = , alors D
N
(x) ne converge pas lorsque N (lim
N
D
N
(x) , si x = )

1
2

|D
N
()| d
4

2
log 2(N + 1)
Ces rsultats se traduisent donc par le fait que, contrairement au noyau de Dirichlet, le noyau de
Fejr est non-ngatif pour tout x et quil converge uniformment lorsque N . Cest cette dirence
qui est lorigine de lamlioration des proprits de convergence lorsque lon utilise les sommes de
Fejr
f
N
au lieu des sommes partielles S
f
N
.
(Remarque : La construction du contre-exemple de Du Bois-Reymond se base sur la proprit de
divergence du noyau de Dirichlet an de construire une fonction 2-priodique et continue pour laquelle
la srie de Fourier ne converge pas en tout point.)
6
3.6 Solutions des exercices 1, 2 et 3
1. S
f
N
(x) =
1
2

f(x +)D
N
() d avec D
N
() =

N
n=N
e
in
Dmonstration. Par dnition, S
f
N
(x) =

N
n=N
c
n
e
inx
et c
n
=
1
2

f()e
in
d. On obtient
donc,
S
f
N
(x) =
1
2
N

n=N

f()e
in
d e
inx
=
1
2
N

n=N

f()e
in(x)
d
En posant n = n, et en renomant n, n, on a :
S
f
N
(x) =
1
2
N

n=N

f()e
in(x)
d
En posant = x et en utilisant le fait que la fonction f() est 2-priodique, on obtient :
S
f
N
(x) =
1
2
N

n=N

f(x +)e
in
d
=
1
2

f(x +)
N

n=N
e
in
. .
=DN()
d
CQFD
2. D
N
() =
e
i(N+1)
e
iN
e
i
1
=
sin((N+
1
2
))
sin(

2
)
, = 0 ; D
N
(0) = 2N + 1
Dmonstration. Par dnition, de D
N
() on a :
D
N
() =
N

n=N
e
in
= e
iN
_
1 +e
i
+ +e
i2N
_
= e
iN
2N

n=0
e
in
= e
iN
2N

n=0
_
e
i
_
n
Vu que r = 1 :

L
n=0
r
n
=
r
L+1
1
r1
, on obtient = 0 :
D
N
() = e
iN
e
i(2N+1)
1
e
i
1
=
e
i(N+1)
e
iN
e
i
1
=
e
i

2
e
i

e
i(N+1)
e
iN
e
i
1
=
e
i(N+
1
2
)
e
i(N+
1
2
)
e
i

2
e
i

2
=
sin
__
N +
1
2
_

_
sin
_

2
_
Pour = 0, on obtient directement D
N
(0) =

N
n=N
e
0
= 2N + 1.
CQFD
7
3. N :
1
2

D
N
() d =
1
2

0
D
N
() d =
1
2
Dmonstration. Par dnition de D
N
(), on a :
D
N
() =
N

n=N
e
in
= 1 + 2
N

n=1
_
e
in
+e
in
_
2
= 1 + 2
N

n=1
cos(n)
Il en rsulte :
1
2

0
D
N
() d =

0
_
1
2
+
1

n=1
cos(n)
_
d
=
_

2
+
1

n=1
sin(n)
n
_

0
=
1
2
Une preuve similaire permet de dmontrer que
1
2

D
N
() d =
1
2
.
CQFD
4 Convergence absolue et uniforme
4.1 Dnitions
Dnition 13 (Convergence ponctuelle). Une srie

n=0
f
n
(x) conv. ponct. sur un ensemble S si et
seulement si x S : lim
N
_
f(x)

N
n=0
f
n
(x)
_
= 0.
Dnition 14 (Convergence absolue). Une srie

n=0
f
n
(x) conv. abs. sur un ensemble S si et
seulement si x S : lim
N
_
f(x)

N
n=0
|f
n
(x)|
_
= 0.
Dnition 15 (Convergence uniforme). Une srie

n=0
f
n
(x) conv. unif. sur un ensemble S si et
seulement si lim
N
_
sup
xS

f(x)

N
n=0
f
n
(x)

_
= 0.
Dnition 16 (Convergence absolue et uniforme). Une srie

n=0
f
n
(x) conv. abs. unif. sur un
ensemble S si et seulement si la srie

N
n=0
|f
n
(x)| converge unif. sur S, i.e., si et seulement si
lim
N
_
sup
xS

f(x)

N
n=0
|f
n
(x)|

_
= 0.
4.2 Conv. abs. et unif. : test en M de Weierstrass
Thorme 17 (Test en M de Weierstrass, sans dmonstration). La srie

n=0
f
n
(x) est absolument
et uniformment convergente sur un ensemble S si il existe une suite M
n
> 0, n telle que
1.
|f
n
(x)| M
n
, x S
2.

n=0
M
n
<
Dans le cas de la srie de Fourier, on a :

c
n
e
inx

|c
n
|
Lapplication du test en M de Weierstrass rvle donc que la srie lim
N
S
f
N
(x) est absolument
et uniformment convergente si la srie

n=
|c
n
| est convergente, i.e. si

n=
|c
n
| < .
8
4.3 Conv. abs. et unif. de la srie de Fourier
An dtablir un rsultat de convergence abs. et unif. de la srie de Fourier, nous avons besoin de
deux rsultats prliminaires :
Thorme 18 (Ingalit de Bessel, Exercice 4). Si f : R C est 2-priodique et intgrable (au
sens de Riemann) sur [, ] alors les coecients de Fourier c
n
=
1
2

f()e
in
d respectent
lingalit

n=
|c
n
|
2

1
2

|f()|
2
d
Thorme 19 (Coecients de Fourier de la drive, Exercice 5). Soit f : R C une fonction 2-
priodique, continue et lisse par morceaux, dont les coecients de Fourier sont c
n
. Les coecients de
Fourier c

n
de la drive f

() de f() sont donns par c

n
= inc
n
.
Thorme 20 (Conv. abs. et unif. de la srie de Fourier). Si f : R C est 2-priodique, lisse par
morceaux et continue sur R, alors la srie de Fourier de f(), lim
N
S
f
N
(), converge abs. et unif.
vers f().
Dmonstration. Comme nous lavons mentionn prcdemment, il sut de montrer que

n=
|c
n
|
est convergente. Les coecients de Fourier c

n
de la drive f

() de f() sont donns par c

n
= inc
n
.
Donc, pour n = 0, on a c
n
=
1
in
c

n
.
Lingalit de Bessel applique la drive f

() donne :

n=
|c

n
|
2

1
2

|f

()|
2
d <
vu les hypothses sur f().
Dmonstration. Par application de lingalit de Cauchy-Schwarz on obtient donc :

n=
|c
n
| = |c
0
| +

n=0

n
n

|c
0
| +
_
_

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

n=0
|c

n
|
2
_
_
1
2
<
vu que

n=0
1
n
2
= 2

n=1
1
n
2
< .
CQFD
Rfrences
[1] G. B. Folland. Fourier analysis and its applications, Wadsworth & Brooks, 1992.
[2] T. W. Krner, Fourier Analysis, Cambridge University Press, 1988.
[3] A. Zygmund, Trigonometric series, Cambridge University Press, 1968.
9