Convergence dune srie de Fourier

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

Dr Guy-Bart STAN
14 Mai 2009
Sommaire
Prrequis
Dnition du problme
Coecients de Fourier
Sommes partielles
Types de convergences
Convergence ponctuelle (Thorme de Dirichlet)
Hypothses du Thorme de Dirichlet
Preuve du Thorme de Dirichlet
Thorme de Riemann-Lebesgue
Phnomne de Gibbs
Amlioration de la convergence et rduction du phnomne de Gibbs
Convergence absolue et uniforme
Dnitions
Conv. abs. et unif. : test en M de Weierstrass
Conv. abs. et unif. de la srie de Fourier
Prrequis

Notions de base en analyse fonctionnelle (fonction continue

par morceaux, intgrale et intgrabilit 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
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.
Dnition (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 ?
1. cos (nx) =
e
inx
+e
inx
2
, sin (nx) =
e
inx
e
inx
2i
c
0
=
1
2
a
0
, c
n
=
1
2
(a
n
ib
n
) , c
n
=
1
2
(a
n
+ ib
n
), n N
+
.
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.)
Sommes partielles
Dnition (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) ?
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 convergence ponctuelle.
Convergence ponctuelle (Thorme de Dirichlet)
Thorme (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.
Illustration
Hypothses du Thorme de Dirichlet
Dnition (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.
Dnition (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
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.
Preuve du Thorme de Dirichlet (1)
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
Preuve du Thorme de Dirichlet (2)
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 <
.
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).)
Thorme de Riemann-Lebesgue
Thorme (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.
Corollaire (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.
Remarque : La fonction g() dnie dans la dmonstration du Thorrme de Dirichlet est borne et
continue par morceaux sur [, ] vu que f () est lisse par morceaux sur R, et que, en particulier
g
`
0

= lim
0

f (x + ) f
`
x

e
i
1
= lim
0

f (x+)f

e
i
1

=
f

`
x

i
g (0
+
) = =
f

(x
+
)
i
Phnomne de Gibbs
Bien que, sous les hypothses du Thorme de Dirichlet, la srie de
Fourier de f () converge ponctuellement 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).
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
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.
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
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 (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].
Convergence absolue et uniforme : dnitions
Dnition (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 (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 (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 (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.
Conv. abs. et unif. : test en M de Weierstrass
Thorme (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
| < .
Conv. abs. et unif. de la srie de Fourier (1)
An dtablir un rsultat de convergence abs. et unif. de la srie de
Fourier, nous avons besoin de deux rsultats prliminaires :
Thorme (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 (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
.
Conv. abs. et unif. de la srie de Fourier (2)
Thorme (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=

1
2

f

()

2
d <
vu les hypothses sur f ().
Conv. abs. et unif. de la srie de Fourier (3)
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

2
_
_
1
2
<
vu que

n=0
1
n
2
= 2

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