Professional Documents
Culture Documents
1. S
eries de Fourier
1. Introduction
En physique, on rencontre souvent des probl`emes faisant intervenir des vibrations ou des oscillations. La vibration dun diapason est un exemple de mouvement harmonique simple. La note musicale produite est due au passage dune
onde sonore `
a travers lair, depuis le diapason jusqu`
a loreille. Quand le diapason
vibre, il met les molecules dair en mouvement. Si lon mesure la pression en exc`es
en fonction de la distance x au diapason et du temps t, on trouve quelle est de la
forme :
2(x vt)
p = A cos
.
(1.1)
Londe sonore produite par le diapason est une onde sinusodale pure de frequence
angulaire ou pulsation = 2v/ et de vecteur donde k = 2/. On a :
p = A cos(kx t).
(1.2)
2. Definition
On appelle serie trigonometrique une serie de la forme :
a0 X
+
(an cos nx + bn sin nx).
2
n=1
(2.1)
Les constantes a0 , an et bn (n = 1, 2 . . . ) sont les coefficients de la serie trigonometrique. Si la serie (2.1) converge, sa somme est une fonction periodique f (x)
de periode 2 :
f (x) = f (x + 2).
(2.2)
Comme indique dans lintroduction, on se pose le probl`eme suivant : etant
une fonction periodique f (x) de periode 2, on se demande pour quelles conditions
imposees `
a f (x) il existe une serie trigonometrique convergeant vers f (x).
2.1. D
etermination des coefficients de la s
erie au moyen des formules
de Fourier
On suppose que la fonction f (x), periodique et de periode 2, peut etre
representee par une serie trigonometrique convergeant vers f (x) dans lintervalle
(, ), cest-`
a-dire que lon peut ecrire :
a0 X
f (x) =
+
(an cos nx + bn sin nx).
2
n=1
(2.3)
La serie (2.1) (qui figure au second membre de lequation (2.3)) est appelee serie
de Fourier de f (x). Les coefficients an et bn sont les coefficients de Fourier de f (x).
Calcul de a0
On suppose que la serie (2.1) (second membre de lequation (2.3)) peut etre
integree terme `
a terme. Cest par exemple le cas si la serie numerique formee avec
les coefficients de la serie trigonometrique converge absolument, cest-`
a-dire si la
serie numerique positive suivante converge :
a
0
+ |a1 | + |b1 | + + |an | + |bn | + .
2
(2.4)
f (x) dx = a0 ,
(2.5)
Definition
f (x) dx.
(2.6)
Z
cos nx sin kx dx = 0,
(2.7)
Z
0, n 6= k
sin nx sin kx dx =
, n = k.
Pour determiner ak pour k > 0 donne, on multiplie les deux membres de legalite
(2.3) par cos kx :
X
a0
f (x) cos kx =
cos kx +
(an cos nx cos kx + bn sin nx cos kx).
2
n=1
(2.8)
La serie du second membre est majorable et peut donc etre integree terme `
a terme.
On obtient ainsi legalite
Z
f (x) cos kx dx = ak ,
(2.9)
(2.10)
do`
u lon deduit une expression de bk :
1
bk =
(2.12)
s(x)|x=c =
f (c 0) + f (c + 0)
.
2
(2.13)
Ce theor`eme montre que la classe des fonctions representables par des series de
Fourier est assez large.
3.1. Exemple 1
On se donne une fonction periodique f (x) de periode 2 definie comme suit :
f (x) = x,
< x .
(3.1)
f(x)
-3
-2
3
x
Figure 1
Elle admet donc un developpement en serie de Fourier. On trouve en appliquant les formules (2.6), (2.10) et (2.12) :
1
a0 =
x dx = 0,
(3.2)
Z
1
ak =
x cos kx dx = 0,
Z
1
2
bk =
x sin kx dx = (1)k+1 .
k
(3.3)
(3.4)
sin x sin 2x
k+1 sin kx
+ + (1)
+ .
f (x) = 2
1
2
k
(3.5)
x 0,
0 < x ,
(3.6)
(cest-`
a-dire f (x) = |x| dans lintervalle (, )). Cette fonction est monotone par
morceaux et bornee (Figure 2).
f(x)
-3!
-2!
-!
2!
3!
Figure 2
Elle admet donc un developpement en serie de Fourier. Determinons ses coefficients de Fourier. On obtient
Z 0
Z
1
a0 =
(x) dx +
x dx = ,
(3.7)
0
1
ak =
Z
Z
(x) cos kx dx +
soit
ak =
et :
1
bk =
Z
2
(cos k 1),
x cos kx dx =
k 2
0,
k pair,
2
4/k , k impair,
Z
(x) sin kx dx +
x sin kx dx = 0.
(3.8)
(3.9)
(3.10)
+
+ +
+ .
f (x) =
2
12
32
(2p + 1)2
(3.11)
3.3. Exemple 3
On consid`ere la fonction periodique de periode 2 definie comme suit :
f (x) = 1,
f (x) = 1,
< x < 0,
0 x .
(3.12)
Cette fonction est monotone par morceaux et bornee (Figure 3). Calculons ses
coefficients de Fourier. On obtient :
Z 0
Z
1
(1) dx +
dx = 0,
(3.13)
a0 =
0
1
ak =
et
1
bk =
Z
Z
Z
(1) cos kx dx +
Z
(1) sin kx dx +
bk =
(3.14)
soit :
cos kx dx = 0,
2
sin kx dx =
(1 cos k),
k
0,
4/k,
(3.15)
k pair,
k impair.
(3.16)
f(x)
-3!
-2!
2!
3!
-1
Figure 3
1
3
2p + 1
(3.17)
Legalite (3.17) est exacte partout sauf aux points de discontinuite. En ces points,
la somme de la serie est egale `
a la moyenne arithmetique des limites de la fonction
a gauche et `
`
a droite, cest-`
a-dire `
a zero.
3.4. Remarque sur le calcul des coefficients de Fourier
Lintegrale dune fonction periodique f (x) sur un intervalle arbitraire de longueur egale `
a la periode a toujours la meme valeur. On peut donc par exemple,
dans le calcul des coefficients de Fourier dune fonction periodique de periode 2,
remplacer lintervalle dintegration (, ) par lintervalle (, + 2), o`
u est un
reel quelconque. Cette propriete peut, dans certains cas, simplifier le calcul.
(4.2)
Toute fonction peut etre ecrite comme la somme dune fonction paire et dune
fonction impaire.
Les integrales sur des intervalles symetriques de fonctions de parite definie
peuvent etre simplifiees. On a en effet, si f est paire,
Z
Z
f (x) dx = 2
f (x) dx,
(4.3)
f (x) dx = 0.
(4.4)
` a
X
0
f
u =
+
(an cos nu + bn sin nu).
2
n=1
` `
Z
Z
1
`
1 `
nx
an =
f
u cos nu du =
f (x) cos
dx,
` `
`
Z
Z
`
1 `
nx
1
f
u sin nu du =
f (x) sin
dx.
bn =
` `
`
(5.1)
(5.2)
(5.3)
(5.4)
Les formules (5.2)(5.4) permettent dobtenir les coefficients de Fourier dune fonction periodique de periode 2`.
Les remarques sur la possibilite de calculer les coefficients de Fourier en
integrant sur un segment arbitraire de longueur egale `
a la periode (paragraphe
3.4), et de simplifier le calcul des coefficients lorsque la fonction est paire ou impaire (paragraphe 5), restent valables pour une fonction de periode quelconque.
10
+
+ ,
(6.1)
x=
2
1
32
soit de facon impaire avec le developpement en serie de Fourier sinus :
sin x sin 2x sin 3x
x=2
+
.
1
2
3
(6.2)
Les egalites (6.1) et (6.2) sont valables, lune comme lautre, sur le segment (0, ).
f (x) =
a0 X
+
(an cos nx + bn sin nx).
2
n=1
(7.1)
11
et en reportant ces expressions dans la serie de Fourier (7.1), on obtient une serie
de termes de la forme einx et einx . Cest la forme complexe de la serie de Fourier
de f (x) :
f (x) =
cn einx .
(7.3)
n=
On a les relations :
a0
an ibn
c0 = ,
cn =
,
2
2
cn =
an + ibn
an ibn
=
2
2
(n 1).
(7.4)
f (x)einx dx,
n = 0, 1, 2 . . . .
(7.5)
X
nx
f (x) =
cn exp i
,
`
n=
avec :
1
cn =
2l
nx
f (x) exp i
dx,
`
`
(7.7)
n = 0, 1, 2 . . . .
(7.8)
7.4. Propri
et
es des coefficients cn
Si f est paire, alors cn = cn . De facon analogue, si f est impaire, alors
cn = cn .
Si f est une fonction reelle, alors1 cn = cn . Si f est imaginaire pure, alors
cn = cn .
1
Le symbole
d
esigne lop
eration de conjugaison complexe.
12
Considerons le cas o`
u x represente une longueur. Les nombres kn = n/` sont
alors les nombres donde de la fonction periodique
f (x) =
cn exp(ikn x).
(7.9)
n=
Lensemble des kn constitue le spectre des nombres donde de f (x). Si lon porte
ces nombres sur un axe, on obtient un ensemble de points distincts. Le spectre
correspondant est dit discret.
Considerons le cas o`
u x represente le temps. En changeant de notation de
mani`ere `
a appeler la variable t, la serie de Fourier complexe dune fonction du
temps f (t) de periode T = 2/ secrit
f (t) =
cn exp(in t),
(7.10)
n=
o`
u les nombres n = n sont les frequences angulaires des differents harmoniques.
Lensemble des n constitue le spectre de frequences de f (t). La fonction consideree
etant periodique, son spectre de frequences est discret.
Dans un cas comme dans lautre, les coefficients cn du developpement en serie
de Fourier portent le nom damplitudes complexes.
1
=
2
2
f (x) sN (x) dx.
(8.1)
1
2
13
8.1. In
egalit
e de Bessel
Considerons les sommes partielles
N
a0 X
sN (x) =
+
(ak cos kx + bk sin kx),
2
(8.2)
k=1
o`
u a0 , a1 , . . . , aN , b1 , . . . , bN sont les coefficients de Fourier de f (x) dindice inferieur ou egal `
a N . On a :
2
N
1
=
2
a2
1X 2
f (x) dx 0
(ak + b2k ).
4
2
(8.3)
k=1
2
Comme N
0, on a, quel que soit N , linegalite : ,
1
2
a2
1X 2
f (x) dx 0 +
(ak + b2k ).
4
2
(8.4)
k=1
1X 2
a2
(ak + b2k ).
f (x) dx 0 +
4
2
(8.5)
k=1
8.2. Egalit
e de Parseval
On peut demontrer que, pour toute fonction f (x) bornee monotone par mor2
obtenue lorsque lon remplace cette fonction
ceaux, la deviation quadratique N
par la somme partielle de Fourier sN (x) tend vers zero lorsque N tend vers linfini.
Il resulte alors de la formule (8.3) legalite
1
2
a2
1X 2
f (x) dx = 0 +
(ak + b2k ),
4
2
(8.6)
k=1
f 2 (x) dx =
X
k=
|ck | .
(8.7)
14
|f (x)| dx =
|a0 |
1X
2
2
+
(|ak | + |bk | )
4
2
(8.8)
k=1
et :
1
2
|f (x)| dx =
|ck | .
(8.9)
k=
lim
f (x) cos nx dx = 0,
lim
(9.2)
f (x) sin nx dx = 0.
15
lim
f (x)einx dx = 0.
(9.4)