Vous êtes sur la page 1sur 5

Analyse hilbertienne et de Fourier, s eance 11

S eries de Fourier 4 Equation des ondes On veut etudier le mouvement dune corde vibrante (guitare, violon par exemple), quon suppose de longueur pour simplier un peu l ecriture des formules. On rep` ere chaque point P de la corde par un nombre r eel x entre 0 et , la quantit e x repr esentant la distance entre le point P et lorigine de la corde associ ee a ` la valeur 0. On d esigne par f (x, t) l ecart du point x de la corde, 0 x , ` a linstant t, par rapport ` a sa position au repos. La corde etant x ee aux deux bouts, on doit supposer que f (0, t) = f (, t) = 0 pour tout temps t 0. La th eorie physique (essentiellement, l equation fondamentale de la dynamique) conduit ` a chercher une fonction f (x, t) qui v erie l equation des ondes 2f 2f = t2 x2 o` u est un param` etre > 0 d ependant de la tension de la corde et de sa masse par unit e de longueur. Des solutions particuli` eres sont donn ees par un (x, t) = cos(n t) sin(nx), pour tout n 1. Si la position de la corde au temps 0 est donn ee par une fonction g , nulle en 0 et en , de classe C1 par morceaux, on sait quon peut repr esenter g par
+

x [0, ], o` u

g ( x) =
n=1

bn sin(nx),

|bn | < + ; pour arranger nos aaires math ematiques, supposons m eme que n2 |bn | < +, et consid erons
+

f (x, t) =
n=1

bn cos(n t) sin(nx).

Pour t = 0, on a bien f (x, 0) = g (x), la position initiale donn ee, et nos hypoth` eses nous permettent de d eriver deux fois terme ` a terme, pour v erier que f est bien solution de l equation des ondes, correspondant ` a la donn ee initiale f (x, 0) = g (x). La question de lunicit e de la solution est une question trop d elicate pour ce cours. 1

On peut traiter de fa con analogue un cas particulier de l equation de la chaleur f 2f , = t x2 ` savoir celui dune barre homog` a ene, toujours de longueur pour simplier, et dont les deux extr emit es sont maintenues ` a temp erature 0. Ici f (x, t) repr esente la temp erature au point x ` a linstant t. Si la temp erature ` a linstant t = 0 est donn ee par la m eme fonction g que ci-dessus, on posera
+

f (x, t) =
n=1

bn en

sin(nx).

Les exponentielles n egatives permettent ` a la s erie et aux s eries d eriv ees de converger plus facilement que dans le cas des ondes : lhypoth` ese |bn | < + sut pour donner un sens ` a nos d erivations de s eries de fonctions. Changement de p eriode On veut travailler avec des fonctions de p eriode T > 0. Pour le faire, il sut de ramener le probl` eme ` a la p eriode 2 par changement de variable, dappliquer les r esultats connus dans ce cas et de revenir. Il est tout de m eme bon de retenir quelques formules qui sappliquent au cas de la p eriode T. Tout dabord, on travaille avec la mesure dx/T qui donne la masse 1 ` a tous les intervalles-p eriodes tels que [0, T] ou [T/2, T/2]. Ensuite, on introduit pour tout n Z lexponentielle en,T : x e i 2nx/T

qui est de p eriode T. Les fonctions (en,T )nZ forment une base hilbertienne de L2 ([0, T]). Si f est continue, T-p eriodique et de classe C1 par morceaux, on sait dapr` es le cas 2 p eriodique que les coecients dans la base sont absolument sommables, et on a pour tout x 1 T/2 f (t) e i 2nt/T dt e i 2nx/T . f ( x) = T T/2
nZ

Transform ee de Fourier et s eries de Fourier : des s eries de Fourier ` a la transform ee Supposons que g soit de classe C2 ` a support compact sur R . Pour T assez grand, la fonction g sera nulle en dehors de lintervalle [T/2, T/2] ; si on regarde g comme la restriction ` a [T/2, T/2] dune fonction T-p eriodique f sur R , on aura pour tout x tel que |x| T/2 g ( x) = f ( x) =
nZ

1 T

T/2

f (t) e i 2nt/T dt e i 2nx/T .


T/2

Comme g est nulle hors de [T/2, T/2], lint egrale de f sur cet intervalle est aussi lint egrale de g sur R et g ( x) =
nZ

1 g (2n/T) e i 2nx/T . T 2

Posant h = 2/T, il vient g ( x) = 1 2 hg (nh) e i xnh .


nZ

Il sagit dune somme de Riemann g en eralis ee pour la fonction :y 1 g (y ) e i xy , 2

correspondant ` a un d ecoupage de R en petits intervalles de longueur h. Gr ace ` a lhypo2 th` ese que g est de classe C sur R , on peut montrer que ces sommes de Riemann tendent vers lint egrale de ` a + de la fonction lorsque h 0, ce qui donne g ( x) = 1 2 g (y ) e i xy dy.
R

Cest la formule dinversion de Fourier, qui etait ` a la base de la th eorie L2 de lint egrale de Fourier. Ainsi dans cette approche lint egrale de Fourier appara t comme limite des s eries de Fourier de p eriode T lorsque T +. Signal p eriodique tronqu e Si on envisage un signal T-p eriodique f (t) non nul, on ne peut pas consid erer sa transform ee de Fourier, car f nest ni int egrable ni de carr e int egrable, les seuls cas que nous savons traiter. Mais si on consid` ere une fonction (t) qui soit ` a support compact, mais egale ` a 1 sur un loong intervalle, on pourra appliquer la transformation de Fourier ` a la fonction t (t)f (t), en nous disant que cela nous donnera peut- etre une id ee de ce que devrait etre la transform ee de Fourier de f , si elle existait. Supposons pour simplier que 1 f soit de classe C , ce qui implique que la s erie de Fourier est normalement convergente, f ( t) =
nZ

an e i 2nt/T ,
nZ

|an | < +.

Comme fonction , prenons dabord une fonction continue ` a support compact, egale ` a 1 sur un voisinage de 0, puis (t) = (c t), c > 0 petit ; quand c devient petit, la fonction est egale ` a 1 sur un intervalle de plus en plus grand autour de 0. Dun autre c ot e, ( ) = c1 (c1 ) se concentre en 0 : le graphe de se pr esente essentiellement comme une raie verticale de largeur c, situ ee ` a labscisse = 0, et lint egrale de vaut 2 (0) = 2 . On aura (f )( ) =
R

( t)
nZ

an e i 2nt/T e i t dt =
nZ

an
R

(t) e i (2n/T)t dt

=
nZ

an ( 2n/T).

Le spectre de f est donc form e de raies situ ees autour des abscisses multiples entiers de 2/T, et dont laltitude est proportionnelle au coecient de Fourier an de la fonction f . 3

Formule de Poisson On consid` ere une fonction F sur R , susamment r eguli` ere et susamment d ecroissante a linni, par exemple : ` la fonction F est de classe C2 sur R , avec F int egrable ; de plus, il existe une constante C et > 1 tels que |F(x)| C (1 + |x|) pour tout x. On se donne T > 0 et on pose

x R ,

f ( x) =
k Z

F(x + k T).

On obtient une fonction continue sur R , qui est T-p eriodique. La continuit e de f se justie ainsi : pour y [0, T], posons uk (y ) = F(y + k T) ; alors |uk (y )| C (1 + |y + k T|) C1 (2T + |y + k T|) C1 (|k | + 1) T ce qui donne une s erie majorante convergente pour la s erie de fonctions : il y a convergence normale de la s erie de fonctions, donc continuit e de la somme f . Calculons les coecients de Fourier de la fonction T-p eriodique f ,
T

cn,T (f ) =
0

f (x) e i 2nx/T

dx = T

F(x) e i 2nx/T
R

F(2n/T) dx . = T T

Si |F(2n/T)| < +, on sait que nZ |cn,T (f )| < +, donc f est egale en tout point ` a la somme de sa s erie de Fourier. On a donc f ( x) =
nZ

cn,T (f ) e i 2nx/T .

On obtient ainsi la formule de Poisson F(x + k T) =


k Z

1 T

F(2n/T) e i 2nx/T .
nZ

Justions la convergence de la s erie des coecients de Fourier : dapr` es lhypoth` ese de majoration de F, on sait que F est int egrable, et F est int egrable par hypoth` ese. Les 2 2 transform ees de Fourier F et F ( ) = F( ) sont donc born ees, donc (1 + )F( ) est born e sur R . Puisquil existe une constante M telle que |F( )| on d eduit que
nZ

M 1 + 2

|F(2n/T)| < +.

Echantillonnage, formule de Shannon Etant donn e un signal G(t) d ependant du temps, on cherche ` a pouvoir le coder en rempla cant linformation continue, quand le temps t prend toutes les valeurs r eelles, par la connaissance des valeurs de G en une suite discr` ete de temps multiples k T dune valeur T > 0 petite : cest l echantillonnage. Pour pouvoir fonctionner, on supposera que le signal G est ` a spectre limit e : on supposera que G est nulle en dehors dun intervalle [M, M]. On supposera en plus que G v erie les hypoth` eses de la formule de Poisson. Consid erons [M, M] et posons F(x) = G(x) e i x ; On a F( ) = G( + ). La formule de Poisson, appliqu ee ` a F avec x = 0, donne G(k T) e i kT =
k Z

1 T

G(2n/T + ).
nZ

2 > 2M T et puisque || M, on voit facilement quil ny a quun terme non nul dans la somme de droite, celui qui correspond ` a n = 0 : en eet si n = 0, on a |2n/T + | 2/T || 2M M = M donc G(2n/T + ) = 0, et par cons equent G(k T) e i kT =
k Z

Si on suppose que

1 G() ; T

on voit d ej` a que G est compl` etement connue ` a partir des valeurs G(k T), k Z , puisque ces valeurs permettent de calculer G sur lintervalle [M, M], et que G = 0 par hypoth` ese en dehors de cet intervalle. Si on veut aller plus loin, on ecrit pour tout R G() = G() 1[M,M] () = T
k Z

G(k T) 1[M,M] () e i kT ,

et par Fourier inverse G(x) = 1 2 G() e i x d =


R

T 2

G(k T)
k Z M

e i (xkT) d

G(k T)
k Z

sin(M(x k T)) . x kT

Comme on a choisi /T M, la transform ee de Fourier G est nulle [/T, /T], donc on peut aussi bien prendre M = /T, ce qui donne nalement la formule de Shannon G(x) =
k Z

G(k T)

sin( (x k T)/T) . (x k T)/T

La condition de validit e est que la fr equence d echantillonnage 1/T soit 2 M/(2 ), donc plus que le double de la fr equence maximale M/(2 ) attendue dans le signal G. 5