` annee, Master Mathematiques et Applications, 1-iere Aix-Marseille Universite

Mod elisation en Traitement du Signal, Devoir 1 A rendre pour le vendredi 16 Novembre 2012

1 Transformation de Fourier nie

On consid` ere lespace Hermitien C N muni du produit Hermitien , :
N 1

x, y =

n =0

xn yn .

C N d La transformation de Fourier nie est la transformation lin eaire F : x C N x enie par

N 1

k = x

n =0

xn e2i kn/ N .

1. Montrer que F est multiple dune transformation unitaire. Plus pr ecis ement on pourra montrer que N pour tous x, y C , , y = N x, y . x Indication : se souvenir de la somme dune s erie g eom etrique nie... 2. Montrer la formule dinversion suivante pour la transformation de Fourier nie xn = 1 N
N 1 k =0

k e2i kn/ N . x

On pourra faire le calcul explicitement, ou utiliser le r esultat pr ec edent. 3. La transformation de Fourier nie est d ene ici pour des vecteurs de longueur x ee N , dont les composantes sont index ees entre 0 et N 1. On pourra v erier que pour un x C N donn e, x tre prolong peut e e en un vecteur de longueur innie, p eriodique de p eriode N . De fac on similaire, un vecteur de longueur N , qui peut e ` x tre vu la transformation de Fourier nie inverse associe a ` {0, 1, . . . N 1} dun vecteur de longueur innie, p comme la restriction a eriodique de p eriode N . k a ` partir de x C N requiert N multiplications. En d 4. V erier que le calcul de chaque x eduire que N 2 a ` partir de x C requiert N multiplications. On dit que la complexit le calcul de x e de la TFF est O( N 2 ). Il existe des algorithmes rapides de calcul de la TFF, appel es transformation de Fourier rapide (TFR, ou FFT en anglais), dont la complexit e est O( N log( N )).

` bande limitee. 2 Approximation a

On consid` ere lespace de Hilbert L2 ([0, 1]) muni du produit Hermitien usuel , :
1

x, y =

x (t)y(t) dt .

gal a ` M. On consid` ere aussi lespace P M ([0, 1]) des polynomes trigonom etriques de degr e inf erieur ou e Il est de dimension 2 M + 1, et admet une base orthonorm ee form ee des fonctions oscillantes k d enies par 2i mt , m = M, 1 M, . . . M . m (t) = e On rappelle que la th eorie des s eries de Fourier montre que la famille { k , k Z} est une base ortho2 norm ee de L ([0, 1]). 1. Expliciter la projection orthogonale dune fonction x L2 ([0, 1]) sur P M ([0, 1]). On utilisera les coefcients de Fourier
1

ck ( x ) =

x (t)e2i kt dt .

2. Soit maintenant x P M ([0, 1]). V erier que x est une fonction continue. Soit N un entier positif. En utilisant le d eveloppement de Fourier de x, expliciter les valeurs ponctuelles xn = x (n/ N ) de x en fonction des coefcients de Fourier. chantillons xn 3. Pourquoi ne peut on pas esp erer caract eriser les coefcients de Fourier ck ( x ) par les e quand N < 2 M + 1 ? 4. On se place maintenant dans le cas N = 2 M + 1. Exprimer les coefcients de Fourier de x en fonction des valeurs ponctuelles xn . Suggestion : commencer par calculer
2M

n =0

xn e2ikn/ N ,

et se souvenir de lexpression de la somme dune s erie g eom etrique de longueur nie. 5. En d eduire une expression de x en fonction des xn . 6. Que se passe-t-il lorsque N > 2 M + 1 ?

3 Quantication de Lloyd-Max
R esoudre le dernier exercice de la che de TD 2. Il sagit de construire le quanticateur optimal, pour ` quantier. un d ebit donn e, connaissant la distribution de probabilit es de la variable al eatoire a crire lexpression de la distorsion sous la forme de somme des contributions des intervalles Indication : e crire que les d de quantication, puis e eriv ees de cette expression par rapport aux param` etres du quanticateur (valeurs quanti ees et bornes des intervalles) sont nulles.

Correction succinte
1 Transformation de Fourier nie (6pts : 2+2+1+1)
1. Calculons , y = x
N 1 N 1 k =0 n =0

xn e2i kn/ N

N 1 m =0

x m e2i km/ N =

N 1 m,n =0

N 1

xn x m

k =0

e 2i k ( m n ) / N .

Or, la somme dune s erie g eom etrique tronqu ee donne, pour p entier
N 1 k =0

e2i kp/ N =

N 0

si p est multiple de N sinon

ceci montre que F est multiple dune isom etrie. Comme F : C N C N , elle est donc unitaire. 2. Il suft de calculer
N 1 k =0 N 1 N 1 k =0 n =0 N 1 n =0 N 1

k e2i kn/ N = x

xn e2i km/ N e2i kn/ N =

xn

k =0

e2i k(mn)/ N = Nxn

par le m eme raisonnement que pr ec edemment. 3. On voit facilement que la formule donnant la TFF inverse
N 1

xn =

k =0

k e2i kn/ N x

tre e tendue a ` un n entier quelconque, et d peut e enit un vecteur inni, p eriodique de p eriode N . Le m eme k , qui peut e N -p `x tre d raisonnement sapplique a eni pour tout k Z, et d enit un vecteur x eriodique. k n ` calculer, la complexit 4. Chaque calcul de x ecessite N multiplications. Comme il y a N coefcients a e est donc O ( N 2 ).

` bande limitee (9pts : 1+1+1+1+3+1) 2 Approximation a

1. Les fonctions oscillantes
m

formant une BON de P M ([0, 1]), la projection orthogonale s ecrit

p M : x L2 ([0, 1]) p M ( x ) = ` on a introduit les coefcients de Fourier ou

m= M

x,

m= M

cm ( x )

cm ( x ) = x,

=
0

x (t =)e2i mt dt .

2. Si x P M ([0, 1]), x est une somme nie de fonctions continues, et est donc continue. Calculons xn = x (n/ N ) =
m= M

cm ( x )e2i mn/ N .

` x P M ([0, 1]) va dun 3. Si N < 2 M + 1, lapplication lin eaire associant les coefcients de Fourier cm ( x ) a ` un espace de dimension inf tre inversible. espace de dimension 2 M + 1 a erieure, et ne peut donc e 4. On suppose maintenant N = 2 M + 1. Calculons, comme indiqu e
2M

n =0

xn e2ikn/(2 M+1) =

2M

cm ( x )

m= M

n =0

e 2i ( k m ) n / ( 2 M + 1 ) =

(2 M + 1)cm ( x )mk = (2 M + 1)ck ( x ) ,

m= M

` dou ck ( x ) =

2M 1 xn e2ikn/(2 M+1) 2M + 1 n =0

5. On a donc, pour tout x P M ([0, 1]) x (t) =

2M M 1 xn e2i m(tn/(2 M+1)) , 2 M + 1 n =0 m = M

crit et cest cette derni` ere somme quil sagit d evaluer. Pour cela on e

m= M

e 2i m =

2M

n =0

e 2i ( m M ) = e 2i M

1 e 2i ( 2 M + 1 ) sin[2 ( M + 1/2)] = , 2 i sin() 1e

et on a donc la formule dinterpolation

2M

x (t) = ` K M est le noyau de Dirichlet ou K M (t) =

n =0

xn K M

n 2M + 1

1 sin(2 ( M + 1/2)t) . 2M + 1 sin( t)

6. Si N > 2 M + 1, on peut toujours proc eder de la sorte. La connaissance des xn suft toujours pour d eterminer tre reconstruit a ` partir des valeurs ponctuelles xn . les coefcients de Fourier, de sorte que x peut encore e Plus pr ecis ement, les expressions pr ec edentes restent valables, en consid erant N coefcients de Fourier (dont N (2 M + 1) sont nuls).

3 Quantication de Lloyd-Max (5pts)

` quantier. La distorsion On suppose connue la densit e de probabilit es = X de la variable al eatoire continue X a s ecrit D = E ( X Q( X ))2
M 1

k =0

x k +1 xk

( x yk )2 X ( x )dx +

x0

( x y )2 X ( x )dx +

xM

( x y+ )2 X ( x )dx .

Calculons les d eriv ees partielles D =2 yk

x k +1 xk

(yk x ) X ( x ) dx ,

D =2 y

x0

(y x ) X ( x ) dx ,

D =2 y+

xM

(y+ x ) X ( x ) dx ,

galant a ` z en e ero ces d eriv ees on obtient les expressions yk =

x k +1 x X ( x ) dx xk x k +1 X ( x ) dx xk

k = 1, . . . M 1 ,

y =

x0 x X ( x ) dx x0 X ( x ) dx

y+ =

x M x X ( x ) dx X M X ( x ) dx

Parall` element, on obtient D = ( xk yk )2 X ( xk ) + ( xk yk+1 )2 X ( xk ) = X ( xk )[2xk (yk + yk+1 )](yk yk+1 ) , xk quantit e qui sannule si y k + y k +1 . 2 quations. On obtient de la m eme fac ons les deux autres e xk = Remarque : cette condition nest pas n ecessaire, elle ne lest que si les yk sont distincts, et si X ne sannule pas sur les points xk ... qui ne sont pas connus. Remarque : Ces deux syst` emes expriment respectivement les xk en fonction des yk et vice versa. Ceci sugg` ere dalterner les deux op erations dans un algorithme it ereratif. Cest ce que lon appelle lalgorithme de Lloyd-Max, tre prouv dont la convergence ne peut e ee quavec des hyopth` eses suppl ementaires sur la densit e X .