• Aucun résultat trouvé

Unexemple de Constructiond une base orthonormée à partir de l ondelette de Shannon

N/A
N/A
Protected

Academic year: 2021

Partager "Unexemple de Constructiond une base orthonormée à partir de l ondelette de Shannon"

Copied!
7
0
0

Texte intégral

(1)

REPUBLIQUE ALGERIENNE DEMOCRATIQUE ET POPULAIRE

M

INISTÈRE DE L’

E

NSEIGNEMENT

S

UPÉRIEUR ET DE LA

R

ECHERCHE

S

CIENTIFIQUE

U

NIVERSITÉ DE

M

OSTAGANEM

A

BD EL

H

AMID

I

BN

B

ADIS

F

ACULTÉ DES

S

CIENCES

E

XACTES ET D’INFORMATIQUE

Mémoire présenté pour l’obtention du diplôme de Master en mathématiques

Spécialité : Analyse Harmonique et EDP Par

TAZROUT Fatiha

THÈME

Unexemple de Constructiond’une base orthonormée à partir de l’ondelette de Shannon

Soutenu publiquement, le 19/06/2013 devant le jury composé de :

Mr. Sidi Mohamed Bahri MCA Université de Mostaganem .Examinateur Mr. Mohand Ould Ali MCA Université de Mostaganem Président Mr. Sadek Gala Pr Université de Mostaganem Encadreur

(2)

L’étude des fonctions qui engendrent des analyses multi-résolutions a été faite par de nombreux auteurs, en particulier I. Daubechies et J. Lagarias, [2] et A. Cohen [1].

On montre qu’il existe une fonction 2 L2

(R) qui engendre une base orthonormée d’ondelette sur Vj. Nous présentons ici une base d’ondelette L2(R), constituée à partir

d’une fonction de Shannon tout en dé…nissant la fonction par sa tronsformée de Fourier: b

(w) = [ 2 ; ](w) + [ ;2 ](w); qui vaut 1 sur les intervalles [ 2 ; ] et [ ; 2 ] et 0 ailleurs.

La fonction est parfois appeleé ondelette de Shannon par référence au théoréme de Shannon-Nyquist qui caractérise le pas d’échantillonnage permettant de reconstruire les fonctions à supports limités en fréquence au moyen d’une base orthonormée.

L’utilisation des bases orthonormées d’ondelettes permettra de retrouver trés simple-ment les résultats concernant les bases inconditionnelles des espaces fonctionnels clas-siques.

Il vient donc le résultat suivant.

Théorème 0.0.1 On dé…nit I = [ 2 ; ][ [ ; 2 ] et dé…nie par b

(w) = I(w): Alors, la collection des fonctions 2j2 (2jx k)

j;k2Z est une base orthonormée de

L2(R):

Remarque 0.0.1 Les fonctions 2j2 (2jx k),j 2 Z, k 2 Z, sont appelées les ondelettes

(engendrées par la "mére" ):

Remarque 0.0.2 Une base d’ondelettes est une base hilbertienne (orthonormée) de L2

(R)

j;k j;k2Z engendrée par des translations et des dilatations dyadiques à partir d’une

seule fonction

j;k(x) = 2

j

2 (2jx k), j; k 2 Z:

(3)

La transformation en ondelettes orthogonales est alors dé…nie par f ! f; j;k ; j; k 2 Z

avec la formule de reconstruction f =X j2Z X k2Z f; j;k j;k et la formule de Plancherel: kfk2L2(R)= X k2Z f; j;k 2:

Avant de démontrer ce résultat, nous rappelons les propriétés principales des analyses multi-résolutions que nous utiliserons par la suite.

La notion d’analyse multi-résolution a été introduite en 1986 par S. Mallat [3] et est décrite de manière approfondie dans le livre d’Y. Meyer [4]:

Dé…nition 0.0.1 Une analyse multi-résolution de L2

(R) est une suite de sous-espaces fermés (Vj)j2Z de L2(R) telle que

Vj Vj+1 , \ j2Z Vj =f0g ; [ j2Z

Vj est dense dans L2(R):

f (x) 2 Vj si et seulement si f (2x) 2 Vj+1, et

V0 a une base de Riesz de la forme '(x k); k 2 Z:

Remarque 0.0.3 A toute analyse multi-résolution, on peut associer une base d’ondelettes

j;k telle que Vj soit le sous-espace fermé de L2(R) engendré par les l;m, l < j; k 2

Z: La fonction ' est appelée fonction pére de la base d’ondelettes.

Remarque 0.0.4 Si f (x) appartient à L2

(R), ou plus généralement, est une distribution tempérée, les coe¢ cients

Ck(f ) =

Z

R

f (x) j;k(x)dx = f; j;k :

(4)

Une conséquence facile du Théorème (0.0.1) est que l’on aura toujours la formule d’inversion:

f (x) = X

j;k2Z

Ck(f ) j;k(x);

au sens suivant: pour toute fonction test 2 S(R) dont tous les moments sont nuls, on a: hf; i = X j;k2Z Ck(f ) Z R j;k(x) (x)dx: Preuve. (Théorème 1.0.1) Pour j 0et 0 k 2j 1; on pose: j;k(x) = 2 j 2 (2jx k):

On véri…e facilement que la transformée de Fourier de j;k est donnée par

bj;k(w) = 2 j2 (2b jw) exp( i2 jkw): (0.0.1)

Cette transformée de Fourier est donc supportée par [ 2 :2j; 2j]

[ [ :2j; 2 2j] :

Pour j 6= l; les supports de bj;k et de bl;m sont disjoints, ceci montre que:

sup p bj;k \ sup p bl;m = 0: Par conséquent, il vient que

j;k; l;m = 1 2 D bj;k; bl;mE= 0 pour j 6= l: Si j = l; on a alors j;k; l;m = 1 2 2 j Z R b (2 jw) 2exp i2 j(m k)w dw = 1 2 8 < : Z 2 exp [i(m k) ] d + 2 Z exp [i(m k) ] d 9 = ; = k;m:

(5)

Donc, la famille j;k

j;k2Z est orthonormée.

Pour montrer que le système est une base, on utilise le fait que: X k2Z jCk(f )j 2 =kfk2L2(R); pour toute f 2 L2 (R) avec Ck(f ) = f; j;k ;8k 2 Z:

A l’aide d’un changement de variable et du théoréme de Plancherel, il vient:

X j2Z X k2Z f; j;k 2 = X j;k2Z 2 j 4 2 Z R b f (w)b (2 jw) ei2 jkw dw 2 = X j2Z 2j 2 0 @X k2Z Z I b f (2j ) e ik p 2 d 21 A :

Maintenant, on utilise le fait que le système np1 2 e

ik ; k

2 Zo est une base orthonor-male dans L2(I);on écrit:

X j2Z X k2Z f; j;k 2 = X j2Z 2j 2 Z I b f (2j ) 2 d = 1 2 X j2Z Z R I(2 jw) bf (w) 2 dw = 1 2 fb 2 L2(R) =kfk 2 L2(R); puisque X j2Z I(2 jw) = 1; 8w 2 R: Ceci montre que est une ondelette orthonormale dans L2

(R):

Le lien entre les fonctions et les analyses multi-résolutions est décrite par le corollaire suivant (démontré dans [3])

Corollaire 0.0.1 Soit Vj, j 2 Z une analyse multi-résolution de L2(R). Il existe alors

deux constantes c2 c1 > 0 telles que l’on ait, pour presque tout w2 R,

c1 X k2Z j'(w + 2k )j2 !1 2 c2:

(6)

on dé…nit ensuite 2 L2 (R) par b (w) ='(w):b X k2Z jb'(w + 2k )j2 ! 1 2 :

Alors, (x k); k 2 Z est une base orthonormée de V0.

Soit en…n g une fonction de V0 telle que la suite g(x k); k2 Z, soit orthogonale.

Alors cette suite est une base orthonormée de V0 et l’on a

bg(w) = (w):b (w);

où (w) 2 L1(R); j (w)j = 1 presque-partout et (w + 2k ) = (w) pour tout k 2 Z:

(7)

Bibliographie

[1] Cohen, A. , Ondelettes, analyses multi-résolutions et traitement numérique du signal, Thèse, Université Paris IX, 1990.

[2] Daubechies, I., Lagarias, J., Two-scale di¤erence equations, SIAM J.Math., Analy-sis 22 (1992), 1388-1410.

[3] Mallat, S., Une exploration des signaux en ondelettes, Edition de l’Ecole Polytech-nique, Palaiseau, 2000.

Références

Documents relatifs

La description par GRAFCET constituait, pour la dernière partie, une question subsidiaire qui a été traitée par quelques candidats qui n’ont pas bien réussi dans les

La description par GRAFCET constituait, pour la dernière partie, une question subsidiaire qui a été traitée par quelques candidats qui n’ont pas bien réussi dans les

Examen d'Algèbre et Géométrie Lundi 17 décembre 2018, durée : 2 heures Les documents et les calculatrices ne sont pas autorisés.. Exercice 1 On se place dans l'espace euclidien R 3

Projection d’un vecteur sur une base orthonorméeI. Projection d’un vecteur quelconque sur un vecteur de

Lorsque nous réalisons une étude de la significativité des effets de deux ou de plus de facteurs, en s’intéressant ou non à la significativité de leurs interactions, avec un

Lorsque nous réalisons une étude de la significativité des effets de deux ou de plus de facteurs, en s’intéressant ou non à la significativité de leurs interactions, avec un

Lorsque l'espace est orienté, comme le déterminant d'une matrice orthogonale directe est égal à 1 , le déterminant d'une famille de vecteurs est le même dans n'importe quelle

Si H est un espace de Hilbert et si nous disposons d'une collection, indexée par a e A, de bases orthonormées e^a, j e J, de H, on pourra alors, pour un vecteur donné x € H,