Cours Seriesfourier

CHAPITRE 3
SERIES DE FOURIER
3.1 Sries trigonomtriques
Dnition 3.1.1 Onappelle srie trigonomtrique relle, toute srie de fonctions de la forme :
a
0
2
+
n=1
a
n
cos(nx) + b
n
sin(nx) (1)
avec x R, > 0 , a
n
, b
n
R, pour tout n dans N.
Le problme est de dterminer lensemble tel que la srie (1) soit convergente pour tout
x .
Remarque 3.1.1
Supposons que la srie (1) converge et posons
f (x) =
a
0
2
+
n=1
a
n
cos(nx) + b
n
sin(nx).
Sachant que pour tous n Net k Z :
cos (n(x + 2k/)) = cos(nx + 2nk) = cos(nx)
sin(n(x + 2k/)) = sin(nx + 2nk) = sin(nx).
Alors la srie (1) converge en tout point de la forme x +
2k
, k Z.
Si la srie (1) converge dans R, on aura f (x) = f
_
x +
2k
_
et par suite la fonction f est
priodique de priode T = 2/.
En conclusion, les proprits suivantes sont quivalentes :
i) La srie trigonomtrique (1) converge dans R.
ii) La srie trigonomtrique (1) converge dans [0, 2/] .
41
SERIES DE FOURIER
iii La srie trigonomtrique (1) converge dans [, + 2/], R
Proposition 3.1.1
Si les sries numriques
_
a
n
_
et
_
b
n
_
sont absolument convergentes
alors la srie trigonomtrique (1) est normalement convergente sur R; donc
absolument et uniformment sur R.
Preuve :
Cest vident puisque |a
n
cos(nx) + b
n
sin(nx)| |a
n
| + |b
n
|.
Proposition 3.1.2
Si les suites numriques (a
n
) et (b
n
) sont dcroissantes et tendent vers 0, alors
la srie trigonomtrique (1) est convergente pour x
2k
o k Z.
Preuve :
Cest une application direct du thorme dAbel. Pour cela il sut tout simplement de
montrer que les sommes suivantes sont majores indpendamment de m et n.
S =
p=n
p=m
sinpx C =
p=n
p=m
cos px.
Commenons par calculer les sommes suivantes ; On a pour t 2k o k Z :
C
n
+ iS
n
=
p=n
p=0
cos pt + i
p=n
p=0
sinpt =
p=n
p=0
(cos pt + i sinpt)
=
p=n
p=0
e
ipt
= 1 + e
it
+e
2it
+ + e
int
=
1 e
i(n+1)t
1 e
it
=
(1 cos(n + 1)t) i sin(n + 1)t
(1 cos t) i sint
=
2 sin
2
(n + 1)
2
t 2i sin
(n + 1)
2
t cos
(n + 1)
2
t
2 sin
2
(t/2) 2i sin(t/2) cos(t/2)
=
2i sin
(n + 1)
2
t
_
cos
(n + 1)t
2
+ i sin
(n + 1)t
2
_
2i sin(t/2)
_
cos
t
2
+ i sin
t
2
_
=
sin
(n + 1)
2
t
sin(t/2)
_
_
cos
(n + 1)t
2
+ i sin
(n + 1)t
2
cos
t
2
+ i sin
t
2
_
_
=
sin
(n + 1)
2
t
sin(t/2)
_
cos
nt
2
+ i sin
nt
2
_
.
M
r
AxnoiN N oin-E nniNi 42
3.1 Sries trigonomtriques
Do lon tire :
_
_
C
n
=
sin
(n + 1)t
2
cos
nt
2
sin(t/2)
S
n
=
sin
(n + 1)t
2
sin
nt
2
sin(t/2)
.
Maintenant on peut majorer, on a :
|S| =
p=n
p=m
sinpx
= |S
n
S
m1
| |S
n
| + |S
m1
|
sin
(n + 1)x
2
sin
nx
2
sin(x/2)
sin
mx
2
sin
(m 1)x
2
sin(x/2)
1
|sin(x/2)|
+
1
|sin(x/2)|
=
2
|sin(x/2)|
On a de mme |C|
2
|sin(x/2)|
Les deux sommes tant majores indpendamment de m et
n; la srie
n=1
(a
n
cos nx + b
n
sinnx) est donc convergente pour x
2k
, k Z.
3.1.1 Reprsentation complexe dune srie trigonomtrique
Daprs les relations dEuler :
cos(nx) =
e
inx
+e
inx
2
et sin(nx) =
e
inx
e
inx
2i
la srie (1) devient :
a
0
2
+
n=1
_
a
n
e
inx
+ e
inx
2
+ b
n
e
inx
e
inx
2i
_
=
a
0
2
+
n=1
_
e
inx
a
n
ib
n
2
+ e
inx
a
n
+ ib
n
2
_
En posant :
c
n
=
a
n
ib
n
2
; c
n
= c
n
=
a
n
+ ib
n
2
et c
0
=
a
0
2
, la srie devient :
c
0
+
n=1
(c
n
e
inx
+c
n
e
inx
) = c
0
+
n=1
c
n
e
inx
+
n=1
c
n
e
inx
= c
0
+
n=1
c
n
e
inx
+
1
n=
c
n
e
inx
=
nZ
c
n
e
inx
Cette dernire expression est appele forme complexe dune srie trigonomtrique.
43 M
r
AxnoiN N oin-E nniNi
SERIES DE FOURIER
3.1.2 Calcul des ccients de la srie trigonomtrique. Cas rel
Mettons nous dans les conditions de convergence uniforme de la srie trigonomtrique
(1) et posons f (x) =
a
0
2
+
k=1
(a
k
cos(kx) + b
k
sin(kx)). Alors
f (x) cos(nx) =
a
0
2
cos(nx) +
k=1
[a
k
cos(kx) cos(nx) + b
k
sin(kx) cos(nx)]
f (x) sin(nx) =
a
0
2
sin(nx) +
k=1
[a
k
cos(kx) sin(nx) + b
k
sin(kx) sin(nx)]
La convergence uniforme nous permet davoir :
_
2/
0
f (x) cos(nx)dx =
a
0
2
_
2/
0
cos(nx)dx +
k=1
a
k
_
2/
0
cos(kx) cos(nx)dx
+
k=1
b
k
_
2/
0
sin(kx) cos(nx)dx.
.
_
2/
0
f (x) sin(nx)dx =
a
0
2
_
2/
0
sin(nx)dx +
k=1
a
k
_
2/
0
cos(kx) sin(nx)dx
+
k=1
b
k
_
2/
0
sin(kx) sin(nx)dx.
.
Or on a : ( faire titre dexercices.)
_
2/
0
cos(kx) cos(nx)dx =
_
0 si k n
/ si k = n
_
2/
0
sin(kx) sin(nx)dx =
_
0 si k n
/ si k = n
_
2/
0
cos(nx) sin(kx)dx = 0.
On dduit alors les ccients par les expressions suivantes :
a
n
=

_
2/
0
f (x) cos(nx)dx
b
n
=

_
2/
0
f (x) sin(nx)dx.
Ces expressions sont valables mme pour n = 0.
Lemme 3.1.1
Soit f une fonctionpriodique de priode T > 0 et intgrable dans lintervalle
[0, T]. Alors pour tout R, on a
_
T
0
f (t)dt =
_
+T
f (t)dt.
M
r
3.2 Sries de Fourier
Preuve.
La relation de Chasles nous permet dcrire :
_
+T
f (t)dt =
_
0
a
f (t)dt +
_
T
0
f (t)dt +
_
+T
T
f (t)dt. Dans lintgrale
_
+T
T
f (t)dt on fait le
changement de variables y = t T.
Ceci nous donne
_
+T
T
f (t)dt =
_

0
f (y + T)dy =
_

0
f (y)dy.
Donc
_
+T
f (t)dt =
_
0
f (t)dt +
_
T
0
f (t)dt +
_

0
f (t)dt =
_
T
0
f (t)dt.
Moyennant ce lemme, les ccients peuvent scrire :
a
n
=

_
2/
0
f (x) cos(nx)dx =

_
+2/
f (x) cos(nx)dx R.
b
n
=

_
2/
0
f (x) sin(nx)dx =

_
+2/
f (x) sin(nx)dx; R.
En particulier si = 1, cas des fonctions 2-priodique ;
a
n
=
1
_
2
0
f (x) cos(nx)dx =
1
f (x) cos(nx)dx.
b
n
=
1
_
2
0
f (x) sin(nx)dx =
1
f (x) sin(nx)dx.
3.1.3 Calcul des ccients de la srie trigonomtrique. Cas complexe
On a f (x) =
k=
c
k
e
ikx
.
_
2/
0
f (x) e
inx
dx =
k=
c
k
_
2/
0
e
ix(kn)
dx.
Or,
_
2/
0
e
ix(kn)
dx =
_
0 si k n
2/ si k = n.
Les ccients sont alors donns par la relation :
c
n
=

2
_
2/
0
f (x) e
inx
dx =

2
_
+2/
f (x) e
inx
; n Z.
Dans cette partie, on ne va considrer que les fonctions de priode 2. A chaque fois on
prcisera les formules pour une priode quelconque.
Soit f : R R une application priodique de priode T = 2. On suppose que
_
I
| f (t)|dt
converge sur un intervalle I = [, + 2] de longueur 2, R.
45 M
r
SERIES DE FOURIER
Dnition 3.2.1
On appelle srie de Fourier associe f , la srie trigonomtrique
a
0
2
+
n=1
[a
n
cos(nx) + b
n
sin(nx)]
avec a
n
=
1
_
2
0
f (x) cos(nx)dx et b
n
=
1
_
2
0
f (x) sin(nx)dx
Deux questions se posent :
1. La srie de Fourier associe f est-elle convergente ?
2. En cas de convergence, peut-on dire que la srie converge vers f ?
Rappelons la notion de discontinuit de premire espce.
Dnition 3.2.2
Une fonction f admet une discontinuit de premire espce en un point x
0
si les limites
droite et gauche de x
0
existent. (Celles-ci ne sont pas forcment gales sauf en cas de
continuit.)
Thorme 3.2.1 ( Dirichlet)
Soit f : R R une fonction priodique de priode T = 2 satisfaisant aux
conditions suivantes (appeles conditions de Dirichlet) :
D1) Les discontinuits de f (si elles existent) sont de premire espce et sont en
nombre ni dans tout intervalle ni.
D2) f admet en tout point une drive droite et une drive gauche.
Alors la srie de Fourier associe f est convergente et on a :
a
0
2
+
n=1
[a
n
cos(nx) + b
n
sin(nx)]
=
_
_
f (x) si f est continue en x
f (x + 0) + f (x 0)
2
si f est discontinue en x
De plus la convergence est uniforme sur tout intervalle o la fonction f est
continue.
Les notations f (x + 0) et f (x 0) reprsentent respectivement les limites droite et
gauche de f au point x.
Remarque 3.2.1
Il y a un autre thorme quivalent au thorme (3.2.1) d Jordan.
Thorme 3.2.2 (Jordan)
Soit f : R R une fonction priodique de priode T = 2 satisfaisant aux
M
r
conditions suivantes :
J1) Il existe M > 0 tel que | f (x)| M (i.e f est borne)
J2) On peut partager lintervalle [, + 2] en sous-intervalles [
1
,
2
[,
[
2
,
3
[. . ., [
n1
,
n
], avec
1
= et
n
= + 2 tels que la restriction
f
]
j
,
j+1
[
soit monotone et continue.
Alors la srie de Fourier associe f est convergente et on a :
a
0
2
+
n=1
[a
n
cos(nx) + b
n
sin(nx)]
=
_
_
f (x) si f est continue en x
f (x + 0) + f (x 0)
2
si f est discontinue en x
De plus, la convergence est uniforme sur tout intervalle o f est continue.
Remarque 3.2.2
Nous allons tudier quelques cas particuliers. Rappelons dabord quelques proprits.
f : [k, k] R une fonction intgrable sur [k, k].
Si f est paire alors
_
k
k
f (x)dx = 2
_
k
0
f (x)dx.
Si f est impaire
_
k
k
f (x)dx = 0.
Si f est dveloppable en srie de Fourier :
a) Si f est paire :
a
n
=
1
f (x) cos(nx)dx =
2
_

0
f (x) cos(nx)dx
car la fonction x f (x) cos(nx) est paire.
b
n
= 0 car la fonction x f (x) sin(nx) est impaire
b) Si f est impaire :
a
n
= 0 car la fonction x f (x) cos(nx) est impaire.
b
n
=
1
f (x) sin(nx)dx =
2
_

0
f (x) sin(nx)dx
car la fonction x f (x) sin(nx) est paire.
Rsum 1
f fonction paire :
a
n
=
2
_

0
f (x) cos(nx)dx.
b
n
= 0, n N.
f fonction impaire :
a
n
= 0, n N.
b
n
=
2
_

0
f (x) sin(nx)dx.
47 M
r
SERIES DE FOURIER
Exemple 3.2.1
Soit f :] , ] R une fonction priodique, T = 2 dnie par f (x) = x.
1. Les discontinuits de f sont les points de la forme x
k
= (2k + 1), k Z et sont de
premire espce car f ( + 0) = et f ( 0) =
2. f est partout drivable sauf aux points x
k
. En ces points nous avons :
lim
x
f (x) f ()
x
= 1 et lim
x
+
f (x) f ()
x
= 1.
f vrie les conditions de Dirichlet, donc dveloppable en srie de Fourier.
f est impaire donc a
0
= a
n
= 0 et b
n
=
1
x sin(nx)dx =
2
_

0
x sin(nx)dx = 2
(1)
n+1
n
et par
suite
f (x) = 2
n=1
(1)
n+1
n
sin(nx)
Exemple 3.2.2
Soit f : [, ] R une fonction de priode T = 2, dnie par f (x) = |x|.
1. On a | f (x)|
2. f
|[,0]
est dcroissante continue et f
|[0,]
est croissante continue.
f satisfait les conditions du thorme de Jordan donc dveloppable en srie de Fourier. De
plus f est paire, ce qui nous donne b
n
= 0.
a
0
=
1
f (x)dx =
2
_

0
xdx =
a
n
=
1
|x| cos(nx)dx =
2
_

0
x cos(nx)dx =
_
_
0 si n pair
4
n
2
si n impair
La srie de Fourier converge alors vers f et on a f (x) =

2

n=1
cos(2n + 1)x
(2n + 1)
2
.
Puisque f est continue, la convergence est uniforme.
Remarquons enn que lgalit f (0) = 0 se traduit par

2
=
4
n=1
1
(2n + 1)
2
et par consquent
2
8
=
n=1
1
(2n + 1)
2
.
Une des particularits des sries de Fourier est le calcul des sommes de certaines sries
numriques.
3.2.1 Dveloppement en srie de Fourier de fonctions non priodiques
Il est clair que le dveloppement en srie de Fourier se pratique sur les fonctions prio-
diques. Cependant, il est possible, dans certains cas, de faire de tels dveloppements pour
des fonctions quelconques.
Soit f : [a, b] R une fonction non priodique dnie sur lintervalle [a, b]. Soit g : R R
une fonction priodique de priode T b a telle que la restriction g
[a,b]
= f . Si g satisfait
M
r
les conditions de Dirichlet, on aura :
g(x) =
a
0
2
+
n=1
[a
n
cos(nx) + b
n
sin(nx)]
avec a
n
et b
n
les ccients de Fourier associs g. La somme de cette srie concide partout
avec f dans lintervalle [a, b] sauf peut-tre aux points de discontinuits de f .
Remarque 3.2.3
Soit f :]0, [Rune fonction quelconque, et > 0. On suppose que f peut-tre prolonge sur
] , 0[ et que les conditions de Dirichlet ou de Jordan soient satisfaites. Dans ce cas, on a le
choix sur ce prolongement. On peut choisir soit un prolongement pair soit un prolongement
impair pour viter les longs calculs des ccients.
Exercice 1
Donner une srie de Fourier de priode 2 qui concide sur ]0, [ avec la fonction f (x) = e
x
.
Rponse :
Ici on ne prcise que lintervalle o la srie de Fourier concide avec f , cest dire ]0, [.
Comme la priode de la srie de Fourier est 2, il ya alors une innit de rponses ;
examinons trois cas dirents.
Notons

f
i
, i = 1, 2, 3, le prolongement de f R tout entier.

f
i
sera une fonction de priode
2 qui vaut exactement e
x
pour tout x dans ]0, [.
a) Choisissons un prolongement pair et posons :

f
1
(x) =
_
e
x
si x ]0, [
e
x
si x ] , 0[
.
On vrie aisment que

f
1
est une fonction paire. Posons

f
1
(0) = 1 et

f
1
() = e
, on a
alors un prolongement continue sur R. Le graphe de

f
1
et celui de la srie de Fourier
seront identiques.
Le calcul des ccients donne :
a
0
=
2(e
1)
, a
n
= 2
(1)
n
e
1
1 + n
2
et b
n
= 0.
On a alors :
S
1
(x) =
e
n=1
2
(1)
n
e
1
n
2
+ 1
cos(nx) =
_
e
x
si x [0, ]
e
x
si x [, 0]
1
e
Fio. 3.1 graphe de la fonction f (x)

1
e
Fio. 3.2 graphe de la fonction S

1
(x) identique celui de

f
1
49 M
r
SERIES DE FOURIER
b) Choisissons un prolongement impair et posons :

f
2
(x) =
_
e
x
si x ]0, [
e
x
si x ] , 0[
. On
remarque que

f
2
est une fonction impaire mais nest pas continue sur R . Elle est
discontinue en tout point de la forme k, k Z.
Le calcul des ccients donne :
a
n
= 0 n N, b
n
=
2n(1 (1)
n
e
)
(1 + n
2
)
.
On a alors :
S
2
(x) =
n=1
2n(1 (1)
n
e
)
(1 + n
2
)
sin(nx) =
_
_
e
x
si x ]0, [
e
x
si x ] , 0[
0 si x = 0 ou x =
1
e
3
3
Fio. 3.3 graphe de la fonction

f
2
(x)
1
e
3
3
Fio. 3.4 graphe de la srie S
2
(x)
c) Choisissons un prolongement ni pair ni impair et posons :

f
3
(x) = e
x
si x ] , [. On
remarque que

f est une fonction discontinue en tout point de la forme + 2k, k Z.
On a le rsultat nal :
S
3
(x) =
e
_
1
2
+
n=1
(1)
n
n
2
+ 1
_
cos(nx) nsin(nx)
_
_
_
=
_
_
e
x
si x ] , [
e
+e
2
si x = .
On a obtenu trois sries direntes qui valent exactement e
x
sur lintervalle ]0, [. On
pouvait choisir dautres prolongements et obtenir dautres sries.
M
r
1
e
3
Fio. 3.5 graphe de la fonction

f
3
(x)

1
e
3
e
+e
2
3
(x)
Remarque 3.2.4 Si on voulait une srie de Fourier de priode , alors il ny a quune seule
qui concide avec f sur ]0, [.
On trouve ;
S
4
(x) =
2(e
1)
_
1
2
+
n=1
1
4n
2
1
_
cos(2nx) 2nsin(2nx)
_
_
_
=
_
_
e
x
si x ]0, [
1 + e
2
si x = 0 ou x = .

1
e
2 2 3
1 + e
2
4
(x)
3.2.2 galit de Parseval
Thorme 3.2.3
galit de Parseval : Soit f une fonction dveloppable en srie de Fourier
et de priode T =
2
> 0, alors on a pour rel quelconque :

a
2
0
2
+
n=1
(a
2
n
+ b
2
n
) =

_
+2/
f
2
(x)dx = 2
nZ
|c
n
|
2
c
n
=
a
n
ib
n
2
et c
n
=
a
n
+ ib
n
2
o n N.
51 M
r
SERIES DE FOURIER
Remarque 3.2.5 1. Si f est de priode 2, on a :
a
2
0
2
+
n=1
(a
2
n
+ b
2
n
) =
1
_
2
0
f
2
(x)dx =
1
f
2
(x)dx
2.
f fonction paire = f
2
fonction paire =
a
2
0
2
+
n=1
a
2
n
=
2
_

0
f
2
(x)dx
f fonction impaire = f
2
fonction paire =
n=1
b
2
n
=
2
_

0
f
2
(x)dx
M
r
3.3 Applications
3.3 Applications
Exemple 3.3.1 f tant une fonction 2-priodique telle que :
f (x) =
_
1 si x ]0, [
1 si x ] , 0[
2 4
3 5 -2 -4 0
-
-3 -5
1
-1
f tant une fonction impaire === a
n
= 0, n N
On a : b
n
=
2
_

0
sin(nt)dt =
2
n
(1 (1)
n
) =
_
_
0 si n est pair
4
n
si n est impair
La srie de Fourier associe est :
S(x) =
4
n=0
sin(2n + 1)x
2n + 1
=
_
1 si x ]0, [
0 si x = 0 ou si x =
2 4
3 5 -2 -4 0
-
-3 -5
1
-1

Fio. 3.9 graphe de la fonction S(x)
Remarque 3.3.1 :Pour x = /2 on a S(/2) = 1 =
4
n=0
sin(2n + 1)/2
2n + 1
=
4
n=0
(1)
n
2n + 1
.
On tire :
n=0
(1)
n
2n + 1
= 1
1
3
+
1
5

1
7
+ =

4
Appliquons lgalit de Parseval :
2
_

0
f
2
(t)dt = 1 =
n=0
16
2

1
(2n + 1)
2
53 M
r
SERIES DE FOURIER
et lon tire donc :
n=0
1
(2n + 1)
2
=

2
8
Remarque 3.3.2 Posons S =
n=1
1
n
2
srie convergente daprs le critre de Riemann. En
sparant les pairs et les impairs on a : S =
n=1
1
(2n)
2
+
n=0
1
(2n + 1)
2
(). Comme
n=1
1
(2n)
2
=
n=1
1
4n
2
=
1
4
n=1
1
n
2
=
S
4
; en substituant dans lgalit () on a :
S =
S
4
+
n=0
1
(2n + 1)
2

3S
4
=
n=0
1
(2n + 1)
2
=

2
8
S =
n=1
1
n
2
=

2
6
La mthode complexe :
c
n
=
1
2
_

e
int
f (t)dt =
1
2
__
0
e
int
dt +
_

0
e
int
dt
_
=
1
2
_
_
_
e
int
in
_
0
+
_
e
int
in
_
0
_
_
= i
1 (1)
n
n
= 1/2(a
n
ib
n
)
f (x) = |x| si x [, ]
f tant une fonction paire === b
n
= 0, n N
On a : a
0
=
1
|t|dt =
2
_

0
t dt =
2
_
t
2
2
_
0
= .
Puis on a : a
n
=
1
|t| cos nt dt =
2
_

0
t cos nt dt =
2
_
_
t sinnt
n
_
_

0
sinnt
n
dt
_
=
2
n
_

0
sinnt dt =
2
n
_
cos nt
n
_
0
=
2
n
2
_
(1)
n
1
_
=
_
_
0 si n est pair
4
n
2
si n est impair
La srie associe est donc :
S(x) =

2

4
n=0
cos(2n + 1)x
(2n + 1)
2
.
f tant une fonction continue sur R, et admet partout des drives droite et gauche alors
f (x) = S(x), x R.
M
r
3.3 Applications
+
0
|
2
|
2
Fio. 3.10 graphe de la fonction f (x) et celui de S(x).
Remarque 3.3.3 pour x = 0 on a f (0) = 0 et comme f (0) = S(0) on tire :
S(0) = 0 =

2

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

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

2
8
Lgalit de Parseval donne :
1
2
_

f
2
(t)dt =
1
2
_

t
2
dt =

2
3
=

2
4
+
1
2

16
n=0
1
(2n + 1)
4
n=0
1
(2n + 1)
4
=

4
96
Remarque 3.3.4 En crivant S =
n=1
1
n
4
=
n=1
1
(2n)
4
+
n=0
1
(2n + 1)
4
.
On dduit alors :
15S
16
=
n=0
1
(2n + 1)
4
=

4
96
n=1
1
n
4
=

4
90
f (x) = x si x ] , [
0
+
+
2
+
3
+
3
+
+
2
Fio. 3.11 graphe de la fonction f (x).
f est une fonction impaire, continue pour tout x Rsauf aux points x = (2k +1), k Z.
Elle admet en chaque point une drive droite et une drive gauche. elle admet un
55 M
r
SERIES DE FOURIER
dveloppement en srie de Fourier. f : impaire = a
n
= 0, n N, et lon a :
b
n
=
2
_

0
t sin(nt)dt =
2
_
_
t cos nt
n
_
0
+
_

0
cos nt
n
dt
_
=
2(1)
n+1
n
S(x) = 2
n=1
(1)
n+1
n
sinnx =
_
_
f (x) si x (2k + 1) avec k Z
0 si x = (2k + 1) avec k Z
0
+
2
3 3
+
2

Fio. 3.12 graphe de la fonction S(x).
Remarque 3.3.5 En appliquant lgalit de Parseval, on obtient :
1
2
n=1
4
n
2
=
1
_

0
t
2
dt =

2
3

n=1
1
n
2
=

2
6
f (x) = x
2
si x ] , ]
f est une fonction paire, continue pour tout x R. Elle admet en chaque point une drive
droite et une drive gauche. elle admet un dveloppement en srie de Fourier.
-
x
y
2
0
+ + + + + + + + + + + + +
2 4 6
3 5 -2 -4 -6
-
-3 -5
-
Fio. 3.13 graphe de la fonction f (x) et celui de S(x)
f : paire = b
n
= 0, n N, et lon a :
a
0
=
2
_

0
t
2
dt =
2
2
3
M
r
3.3 Applications
a
n
=
2
_

0
t
2
cos nt dt =
2
__
t
2
sinnt
n
_
_

0
2t sinnt
n
dt
_
=
4
_

0
t sinnt dt =
4
_
_
t cos nt
n
_
0
+
_

0
cos nt
n
dt
_
=
4(1)
n
n
2
Comme f est continue sur R; on a donc f (x) = S(x) et donc :
S(x) =

2
3
+
n=1
4(1)
n
n
2
cos nx = f (x) x R
Le graphe de f et celui de S sont identiques.
Remarque 3.3.6 Pour x = 0, on a f (0) = S(0) = 0 ce qui donne
n=1
(1)
n+1
n
2
=

2
12
Exemple 3.3.5 f tant une fonction de priodique 2, telle que :
f (x) =
_
_
x si 0 x < 1
1
2
si 1 x < 2
-
-
x
y
1
O 1
+
2
+
3
+
4
+
5
+
6
+
-1
+
-2
+
-3
+
-4
+
-5
+
-6
+
f nest ni paire ni impaire et ne prsente des discontinuits que pour les points dabscisses
un nombre entier positif ou ngatif. f admet alors un dveloppement de Fourier.
On a p =
2
= 2 = .
a
0
=

_
/
/
f (t)dt =
_
2
0
f (t)dt =
_
1
0
t dt +
_
2
1
1
2
dt = 1
a
n
=
_
1
0
t cos nt dt +
_
2
1
cos nt
2
dt =
(1)
n
1
2
n
2
b
n
=
_
1
0
t sinnt dt +
_
2
1
sinnt
2
dt =
(1)
n+1
1
2n
La srie de Fourier associe f est donc :
S(x) =
1
2

2
n=0
cos(2n + 1)x
(2n + 1)
2

1
2
n=1
sin2nx
n
57 M
r
SERIES DE FOURIER
En prenant les demis sommes aux points de discontinuit on a pour x [0, 2[ :
1
2

2
n=0
cos(2n + 1)x
(2n + 1)
2

1
2
n=1
sin2nx
n
=
_
_
1
4
si x = 0
x si 0 < x < 1
3
4
si x = 1
1
2
si 1 < x < 2
+ + + + + +
-
-
1
/
4
3
/
4
-
x
y
1
O 1 2 3 4 5 6 -1 -2 -3 -4 -5 -6
Exemple 3.3.6 Donner la srie de Fourier en sinus de la fonction :
f (x) = cos x pour x ]0, [.
On va faire un prolongement en fonction impaire de la fonction f. Comme la fonction sinus
est de priode 2, posons alors :
f (x) =
_
f (x) = cos x si x ]0, [
f (x) = cos x si x ] , 0[
La fonction

f est une fonction impaire de priode 2, continue partout sur Rsauf aux points
x = k o k Z, o elle nest pas dnie, et concide avec la fonction f sur ]0, [. Elle admet
donc un dveloppement de Fourier.
Comme

f est impaire, a
n
= 0, et on a :
b
n
=
2
_

0
cos x sinnx dx =
1
_

0
_
sin(n + 1)x + sin(n 1)x
_
dx
=
1
_
cos(n + 1)x
n + 1
+
cos(n 1)x
n 1
_
0
=
2n((1)
n
+ 1)
(n
2
1)
si n 1.
Pour n = 1, b
1
=
2
_

0
cos x sinx dx =
1
_

0
sin2x dx = 0
nalement on a :
b
2n+1
= 0 et b
2n
=
8n
(4n
2
1)
x ]0, [ cos x =
n=1
8n
(4n
2
1)
sin2nx
M
r
3.3 Applications
Remarque 3.3.7 La demi somme aux points de discontinuit est gale 0. On a donc :
S(x) =
8
n=1
nsin2nx
4n
2
1
=
_
_
cos x si x
_
kZ
_
2k, (2k + 1)
_
cos x si x
_
kZ
_
(2k + 1), (2k + 2)
_
0 si x = k, k Z
La fonction S(x) est priodique de priode .

-2
-
0

2
1
-1
Quelques dveloppements intressants.
1. R/Z et x [, ]
cos x =
2sin
_
1
2
2
+
n=1
(1)
n
cos nx
(n
2

2
)
_
_
2. Fonction impaire de priode 2.
1
2
sin
x
n=1
(1)
n
n
4n
2
1
sin
2nx
=
_
_
sin
x
pour 0 x <

2
0 pour

2
< x
1
2
pour x =

2
3.
n=1
sinnx
n
=
_
_
x
2
pour 2 < x < 0
x
2
pour 0 < x < 2
0 pour x = 0, x = 2, x = 2.
59 M
r
SERIES DE FOURIER
4.
n=1
cos nx
n
2
=
_
_
3x
2
+ 6x + 2
2
12
pour 2 x 0
3x
2
6x + 2
2
12
pour 0 x 2
5.
n=1
sinnx
n
3
=
_
_
x
2
+ 3x + 2
2
x
12
pour 2 x 0
x
2
3x + 2
2
x
12
pour 0 x 2
M
r

Cours Seriesfourier

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Cours Seriesfourier

Uploaded by

Copyright:

Available Formats

CHAPITRE 3

Fio. 3.1 graphe de la fonction f (x)

Fio. 3.2 graphe de la fonction S

> 0, alors on a pour rel quelconque :

You might also like