20.07.2013 Views

Ondelettes et analyse numérique - LUTH

Ondelettes et analyse numérique - LUTH

Ondelettes et analyse numérique - LUTH

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

<strong>Ondel<strong>et</strong>tes</strong> <strong>et</strong> <strong>analyse</strong> <strong>numérique</strong><br />

J. Houdayer<br />

Institut de Physique Théorique, CEA Saclay<br />

20 juin 2008<br />

<strong>Ondel<strong>et</strong>tes</strong> <strong>et</strong><br />

<strong>analyse</strong> <strong>numérique</strong><br />

J. Houdayer<br />

Introduction<br />

Bases d’ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong><br />

approximation<br />

D’autres espaces<br />

Calcul<br />

Zoologie des<br />

ondel<strong>et</strong>tes<br />

Autres applications


Plan du cours<br />

Introduction<br />

Bases d’ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong> approximation<br />

D’autres espaces<br />

Calcul<br />

Zoologie des ondel<strong>et</strong>tes<br />

Autres applications<br />

<strong>Ondel<strong>et</strong>tes</strong> <strong>et</strong><br />

<strong>analyse</strong> <strong>numérique</strong><br />

J. Houdayer<br />

Introduction<br />

Bases d’ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong><br />

approximation<br />

D’autres espaces<br />

Calcul<br />

Zoologie des<br />

ondel<strong>et</strong>tes<br />

Autres applications


Plan du cours<br />

Introduction<br />

Phénomène de Gibbs<br />

<strong>Ondel<strong>et</strong>tes</strong> de Haar<br />

Caractéristiques des ondel<strong>et</strong>tes<br />

Bases d’ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong> approximation<br />

D’autres espaces<br />

Calcul<br />

Zoologie des ondel<strong>et</strong>tes<br />

Autres applications<br />

<strong>Ondel<strong>et</strong>tes</strong> <strong>et</strong><br />

<strong>analyse</strong> <strong>numérique</strong><br />

J. Houdayer<br />

Introduction<br />

Phénomène de Gibbs<br />

<strong>Ondel<strong>et</strong>tes</strong> de Haar<br />

Caractéristiques des<br />

ondel<strong>et</strong>tes<br />

Bases d’ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong><br />

approximation<br />

D’autres espaces<br />

Calcul<br />

Zoologie des<br />

ondel<strong>et</strong>tes<br />

Autres applications


Plan du cours<br />

Introduction<br />

Phénomène de Gibbs<br />

<strong>Ondel<strong>et</strong>tes</strong> de Haar<br />

Caractéristiques des ondel<strong>et</strong>tes<br />

Bases d’ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong> approximation<br />

D’autres espaces<br />

Calcul<br />

Zoologie des ondel<strong>et</strong>tes<br />

Autres applications<br />

<strong>Ondel<strong>et</strong>tes</strong> <strong>et</strong><br />

<strong>analyse</strong> <strong>numérique</strong><br />

J. Houdayer<br />

Introduction<br />

Phénomène de Gibbs<br />

<strong>Ondel<strong>et</strong>tes</strong> de Haar<br />

Caractéristiques des<br />

ondel<strong>et</strong>tes<br />

Bases d’ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong><br />

approximation<br />

D’autres espaces<br />

Calcul<br />

Zoologie des<br />

ondel<strong>et</strong>tes<br />

Autres applications


Les fonctions régulières sont faciles à représenter<br />

Tout va bien<br />

◮ Diverses bases disponibles : Fourier, Tchebychev,. . .<br />

◮ Les coefficients décroissent très vite.<br />

◮ La fonction est bien représentée avec peu de<br />

coefficients.<br />

Exemple : une gaussienne<br />

1.0<br />

0.8<br />

0.6<br />

0.4<br />

0.2<br />

Fourier 10<br />

0.2 0.4 0.6 0.8 1.0<br />

<strong>Ondel<strong>et</strong>tes</strong> <strong>et</strong><br />

<strong>analyse</strong> <strong>numérique</strong><br />

J. Houdayer<br />

Introduction<br />

Phénomène de Gibbs<br />

<strong>Ondel<strong>et</strong>tes</strong> de Haar<br />

Caractéristiques des<br />

ondel<strong>et</strong>tes<br />

Bases d’ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong><br />

approximation<br />

D’autres espaces<br />

Calcul<br />

Zoologie des<br />

ondel<strong>et</strong>tes<br />

Autres applications


Les fonctions singulières posent problème<br />

Phénomène de Gibbs<br />

◮ Convergence très lente des coefficients.<br />

◮ Oscillations à longue portée autour des singularités.<br />

◮ Problème : non localité des fonctions de la base.<br />

Une gaussienne tronquée<br />

1.0<br />

0.8<br />

0.6<br />

0.4<br />

0.2<br />

Fourier 50<br />

0.2 0.4 0.6 0.8 1.0<br />

<strong>Ondel<strong>et</strong>tes</strong> <strong>et</strong><br />

<strong>analyse</strong> <strong>numérique</strong><br />

J. Houdayer<br />

Introduction<br />

Phénomène de Gibbs<br />

<strong>Ondel<strong>et</strong>tes</strong> de Haar<br />

Caractéristiques des<br />

ondel<strong>et</strong>tes<br />

Bases d’ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong><br />

approximation<br />

D’autres espaces<br />

Calcul<br />

Zoologie des<br />

ondel<strong>et</strong>tes<br />

Autres applications


Ce qu’il nous faut<br />

Pour éliminer le problème<br />

Il faut une base de fonctions<br />

◮ localisée : chaque fonction décroît rapidement à l’infini.<br />

◮ hiérarchique : il existe une fonction arbitrairement<br />

localisée autour de chaque point.<br />

◮ orthonormale : pas de redondance, simplicité.<br />

Ce sont des ondel<strong>et</strong>tes<br />

Les bases d’ondel<strong>et</strong>tes ont ces propriétés. Ils en existe de<br />

toutes sortes suivant leurs propriétés additionnelles : support<br />

compact, régularité, convergence rapide pour les fonctions<br />

régulières, coefficients bien approximables. . .<br />

<strong>Ondel<strong>et</strong>tes</strong> <strong>et</strong><br />

<strong>analyse</strong> <strong>numérique</strong><br />

J. Houdayer<br />

Introduction<br />

Phénomène de Gibbs<br />

<strong>Ondel<strong>et</strong>tes</strong> de Haar<br />

Caractéristiques des<br />

ondel<strong>et</strong>tes<br />

Bases d’ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong><br />

approximation<br />

D’autres espaces<br />

Calcul<br />

Zoologie des<br />

ondel<strong>et</strong>tes<br />

Autres applications


Plan du cours<br />

Introduction<br />

Phénomène de Gibbs<br />

<strong>Ondel<strong>et</strong>tes</strong> de Haar<br />

Caractéristiques des ondel<strong>et</strong>tes<br />

Bases d’ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong> approximation<br />

D’autres espaces<br />

Calcul<br />

Zoologie des ondel<strong>et</strong>tes<br />

Autres applications<br />

<strong>Ondel<strong>et</strong>tes</strong> <strong>et</strong><br />

<strong>analyse</strong> <strong>numérique</strong><br />

J. Houdayer<br />

Introduction<br />

Phénomène de Gibbs<br />

<strong>Ondel<strong>et</strong>tes</strong> de Haar<br />

Caractéristiques des<br />

ondel<strong>et</strong>tes<br />

Bases d’ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong><br />

approximation<br />

D’autres espaces<br />

Calcul<br />

Zoologie des<br />

ondel<strong>et</strong>tes<br />

Autres applications


Approximation en escalier sur [0, 1]<br />

Approximation de niveau j<br />

Approximation de f : fj constante sur les intervalles<br />

Notre exemple<br />

1.0<br />

0.8<br />

0.6<br />

0.4<br />

0.2<br />

0.0<br />

Ijk = [k2 −j , (k + 1)2 −j [,<br />

fj|Ijk = 〈f (x)〉Ijk , <strong>et</strong> fj → f .<br />

Niveau 0 Haar 1<br />

0.2 0.4 0.6 0.8 1.0<br />

<strong>Ondel<strong>et</strong>tes</strong> <strong>et</strong><br />

<strong>analyse</strong> <strong>numérique</strong><br />

J. Houdayer<br />

Introduction<br />

Phénomène de Gibbs<br />

<strong>Ondel<strong>et</strong>tes</strong> de Haar<br />

Caractéristiques des<br />

ondel<strong>et</strong>tes<br />

Bases d’ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong><br />

approximation<br />

D’autres espaces<br />

Calcul<br />

Zoologie des<br />

ondel<strong>et</strong>tes<br />

Autres applications


Approximation en escalier sur [0, 1]<br />

Approximation de niveau j<br />

Approximation de f : fj constante sur les intervalles<br />

Notre exemple<br />

1.0<br />

0.8<br />

0.6<br />

0.4<br />

0.2<br />

0.0<br />

Ijk = [k2 −j , (k + 1)2 −j [,<br />

fj|Ijk = 〈f (x)〉Ijk , <strong>et</strong> fj → f .<br />

Niveau 01 Haar 12<br />

0.2 0.4 0.6 0.8 1.0<br />

<strong>Ondel<strong>et</strong>tes</strong> <strong>et</strong><br />

<strong>analyse</strong> <strong>numérique</strong><br />

J. Houdayer<br />

Introduction<br />

Phénomène de Gibbs<br />

<strong>Ondel<strong>et</strong>tes</strong> de Haar<br />

Caractéristiques des<br />

ondel<strong>et</strong>tes<br />

Bases d’ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong><br />

approximation<br />

D’autres espaces<br />

Calcul<br />

Zoologie des<br />

ondel<strong>et</strong>tes<br />

Autres applications


Approximation en escalier sur [0, 1]<br />

Approximation de niveau j<br />

Approximation de f : fj constante sur les intervalles<br />

Notre exemple<br />

1.0<br />

0.8<br />

0.6<br />

0.4<br />

0.2<br />

0.0<br />

Ijk = [k2 −j , (k + 1)2 −j [,<br />

fj|Ijk = 〈f (x)〉Ijk , <strong>et</strong> fj → f .<br />

Niveau 01 2 Haar 12<br />

4<br />

0.2 0.4 0.6 0.8 1.0<br />

<strong>Ondel<strong>et</strong>tes</strong> <strong>et</strong><br />

<strong>analyse</strong> <strong>numérique</strong><br />

J. Houdayer<br />

Introduction<br />

Phénomène de Gibbs<br />

<strong>Ondel<strong>et</strong>tes</strong> de Haar<br />

Caractéristiques des<br />

ondel<strong>et</strong>tes<br />

Bases d’ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong><br />

approximation<br />

D’autres espaces<br />

Calcul<br />

Zoologie des<br />

ondel<strong>et</strong>tes<br />

Autres applications


Approximation en escalier sur [0, 1]<br />

Approximation de niveau j<br />

Approximation de f : fj constante sur les intervalles<br />

Notre exemple<br />

1.0<br />

0.8<br />

0.6<br />

0.4<br />

0.2<br />

0.0<br />

Ijk = [k2 −j , (k + 1)2 −j [,<br />

fj|Ijk = 〈f (x)〉Ijk , <strong>et</strong> fj → f .<br />

Niveau 01 23 Haar 12<br />

48<br />

0.2 0.4 0.6 0.8 1.0<br />

<strong>Ondel<strong>et</strong>tes</strong> <strong>et</strong><br />

<strong>analyse</strong> <strong>numérique</strong><br />

J. Houdayer<br />

Introduction<br />

Phénomène de Gibbs<br />

<strong>Ondel<strong>et</strong>tes</strong> de Haar<br />

Caractéristiques des<br />

ondel<strong>et</strong>tes<br />

Bases d’ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong><br />

approximation<br />

D’autres espaces<br />

Calcul<br />

Zoologie des<br />

ondel<strong>et</strong>tes<br />

Autres applications


Approximation en escalier sur [0, 1]<br />

Approximation de niveau j<br />

Approximation de f : fj constante sur les intervalles<br />

Notre exemple<br />

1.0<br />

0.8<br />

0.6<br />

0.4<br />

0.2<br />

0.0<br />

Ijk = [k2 −j , (k + 1)2 −j [,<br />

fj|Ijk = 〈f (x)〉Ijk , <strong>et</strong> fj → f .<br />

Niveau Niveau Niveau40 12 3 Haar Haar Haar16 12<br />

48<br />

0.2 0.4 0.6 0.8 1.0<br />

<strong>Ondel<strong>et</strong>tes</strong> <strong>et</strong><br />

<strong>analyse</strong> <strong>numérique</strong><br />

J. Houdayer<br />

Introduction<br />

Phénomène de Gibbs<br />

<strong>Ondel<strong>et</strong>tes</strong> de Haar<br />

Caractéristiques des<br />

ondel<strong>et</strong>tes<br />

Bases d’ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong><br />

approximation<br />

D’autres espaces<br />

Calcul<br />

Zoologie des<br />

ondel<strong>et</strong>tes<br />

Autres applications


Approximation en escalier sur [0, 1]<br />

Approximation de niveau j<br />

Approximation de f : fj constante sur les intervalles<br />

Notre exemple<br />

1.0<br />

0.8<br />

0.6<br />

0.4<br />

0.2<br />

0.0<br />

Ijk = [k2 −j , (k + 1)2 −j [,<br />

fj|Ijk = 〈f (x)〉Ijk , <strong>et</strong> fj → f .<br />

Niveau Niveau Niveau45 01 23 Haar Haar Haar16 32<br />

12<br />

48<br />

0.2 0.4 0.6 0.8 1.0<br />

<strong>Ondel<strong>et</strong>tes</strong> <strong>et</strong><br />

<strong>analyse</strong> <strong>numérique</strong><br />

J. Houdayer<br />

Introduction<br />

Phénomène de Gibbs<br />

<strong>Ondel<strong>et</strong>tes</strong> de Haar<br />

Caractéristiques des<br />

ondel<strong>et</strong>tes<br />

Bases d’ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong><br />

approximation<br />

D’autres espaces<br />

Calcul<br />

Zoologie des<br />

ondel<strong>et</strong>tes<br />

Autres applications


Approximation en escalier sur [0, 1]<br />

Approximation de niveau j<br />

Approximation de f : fj constante sur les intervalles<br />

Notre exemple<br />

1.0<br />

0.8<br />

0.6<br />

0.4<br />

0.2<br />

0.0<br />

Ijk = [k2 −j , (k + 1)2 −j [,<br />

fj|Ijk = 〈f (x)〉Ijk , <strong>et</strong> fj → f .<br />

Niveau Niveau Niveau45 60 12 3 Haar Haar Haar16 32 64<br />

12<br />

48<br />

0.2 0.4 0.6 0.8 1.0<br />

<strong>Ondel<strong>et</strong>tes</strong> <strong>et</strong><br />

<strong>analyse</strong> <strong>numérique</strong><br />

J. Houdayer<br />

Introduction<br />

Phénomène de Gibbs<br />

<strong>Ondel<strong>et</strong>tes</strong> de Haar<br />

Caractéristiques des<br />

ondel<strong>et</strong>tes<br />

Bases d’ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong><br />

approximation<br />

D’autres espaces<br />

Calcul<br />

Zoologie des<br />

ondel<strong>et</strong>tes<br />

Autres applications


Approximation en escalier sur [0, 1]<br />

Approximation de niveau j<br />

Approximation de f : fj constante sur les intervalles<br />

Notre exemple<br />

1.0<br />

0.8<br />

0.6<br />

0.4<br />

0.2<br />

0.0<br />

Ijk = [k2 −j , (k + 1)2 −j [,<br />

fj|Ijk = 〈f (x)〉Ijk , <strong>et</strong> fj → f .<br />

Niveau Niveau Niveau Niveau7 45 60 12 3 Haar Haar Haar Haar128 16 32 64 12<br />

48<br />

0.2 0.4 0.6 0.8 1.0<br />

<strong>Ondel<strong>et</strong>tes</strong> <strong>et</strong><br />

<strong>analyse</strong> <strong>numérique</strong><br />

J. Houdayer<br />

Introduction<br />

Phénomène de Gibbs<br />

<strong>Ondel<strong>et</strong>tes</strong> de Haar<br />

Caractéristiques des<br />

ondel<strong>et</strong>tes<br />

Bases d’ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong><br />

approximation<br />

D’autres espaces<br />

Calcul<br />

Zoologie des<br />

ondel<strong>et</strong>tes<br />

Autres applications


Approximation en escalier sur [0, 1]<br />

Approximation de niveau j<br />

Approximation de f : fj constante sur les intervalles<br />

Notre exemple<br />

1.0<br />

0.8<br />

0.6<br />

0.4<br />

0.2<br />

0.0<br />

Ijk = [k2 −j , (k + 1)2 −j [,<br />

fj|Ijk = 〈f (x)〉Ijk , <strong>et</strong> fj → f .<br />

Niveau Niveau Niveau Niveau7 845 60 12 3 Haar Haar Haar Haar128 256<br />

16 32 64 12<br />

48<br />

0.2 0.4 0.6 0.8 1.0<br />

<strong>Ondel<strong>et</strong>tes</strong> <strong>et</strong><br />

<strong>analyse</strong> <strong>numérique</strong><br />

J. Houdayer<br />

Introduction<br />

Phénomène de Gibbs<br />

<strong>Ondel<strong>et</strong>tes</strong> de Haar<br />

Caractéristiques des<br />

ondel<strong>et</strong>tes<br />

Bases d’ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong><br />

approximation<br />

D’autres espaces<br />

Calcul<br />

Zoologie des<br />

ondel<strong>et</strong>tes<br />

Autres applications


Construction d’une base de fonctions<br />

Une transformation simple<br />

Notre exemple<br />

fj+1(t) − fj(t) = <br />

djkψjk(t),<br />

1.0<br />

0.8<br />

0.6<br />

0.4<br />

0.2<br />

0.0<br />

où ψjk(t) ∝ ψ(2 j t − k).<br />

Niveau 0 1<br />

0.2 0.4 0.6 0.8 1.0<br />

k<br />

<strong>Ondel<strong>et</strong>tes</strong> <strong>et</strong><br />

<strong>analyse</strong> <strong>numérique</strong><br />

J. Houdayer<br />

Introduction<br />

Phénomène de Gibbs<br />

<strong>Ondel<strong>et</strong>tes</strong> de Haar<br />

Caractéristiques des<br />

ondel<strong>et</strong>tes<br />

Bases d’ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong><br />

approximation<br />

D’autres espaces<br />

Calcul<br />

Zoologie des<br />

ondel<strong>et</strong>tes<br />

Autres applications


Construction d’une base de fonctions<br />

Une transformation simple<br />

Notre exemple<br />

fj+1(t) − fj(t) = <br />

djkψjk(t),<br />

1.0<br />

0.8<br />

0.6<br />

0.4<br />

0.2<br />

0.0<br />

où ψjk(t) ∝ ψ(2 j t − k).<br />

0.2 0.4 0.6 0.8 1.0<br />

k<br />

Niveau 01 12<br />

<strong>Ondel<strong>et</strong>tes</strong> <strong>et</strong><br />

<strong>analyse</strong> <strong>numérique</strong><br />

J. Houdayer<br />

Introduction<br />

Phénomène de Gibbs<br />

<strong>Ondel<strong>et</strong>tes</strong> de Haar<br />

Caractéristiques des<br />

ondel<strong>et</strong>tes<br />

Bases d’ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong><br />

approximation<br />

D’autres espaces<br />

Calcul<br />

Zoologie des<br />

ondel<strong>et</strong>tes<br />

Autres applications


Construction d’une base de fonctions<br />

Une transformation simple<br />

Notre exemple<br />

fj+1(t) − fj(t) = <br />

djkψjk(t),<br />

1.0<br />

0.8<br />

0.6<br />

0.4<br />

0.2<br />

0.0<br />

où ψjk(t) ∝ ψ(2 j t − k).<br />

0.2 0.4 0.6 0.8 1.0<br />

k<br />

Niveau 01 2 12<br />

3<br />

<strong>Ondel<strong>et</strong>tes</strong> <strong>et</strong><br />

<strong>analyse</strong> <strong>numérique</strong><br />

J. Houdayer<br />

Introduction<br />

Phénomène de Gibbs<br />

<strong>Ondel<strong>et</strong>tes</strong> de Haar<br />

Caractéristiques des<br />

ondel<strong>et</strong>tes<br />

Bases d’ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong><br />

approximation<br />

D’autres espaces<br />

Calcul<br />

Zoologie des<br />

ondel<strong>et</strong>tes<br />

Autres applications


Construction d’une base de fonctions<br />

Une transformation simple<br />

Notre exemple<br />

fj+1(t) − fj(t) = <br />

djkψjk(t),<br />

1.0<br />

0.8<br />

0.6<br />

0.4<br />

0.2<br />

0.0<br />

où ψjk(t) ∝ ψ(2 j t − k).<br />

0.2 0.4 0.6 0.8 1.0<br />

k<br />

Niveau 01 23 12<br />

34<br />

<strong>Ondel<strong>et</strong>tes</strong> <strong>et</strong><br />

<strong>analyse</strong> <strong>numérique</strong><br />

J. Houdayer<br />

Introduction<br />

Phénomène de Gibbs<br />

<strong>Ondel<strong>et</strong>tes</strong> de Haar<br />

Caractéristiques des<br />

ondel<strong>et</strong>tes<br />

Bases d’ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong><br />

approximation<br />

D’autres espaces<br />

Calcul<br />

Zoologie des<br />

ondel<strong>et</strong>tes<br />

Autres applications


Construction d’une base de fonctions<br />

Une transformation simple<br />

Notre exemple<br />

fj+1(t) − fj(t) = <br />

djkψjk(t),<br />

1.0<br />

0.8<br />

0.6<br />

0.4<br />

0.2<br />

0.0<br />

où ψjk(t) ∝ ψ(2 j t − k).<br />

0.2 0.4 0.6 0.8 1.0<br />

k<br />

Niveau 01 23 4 12<br />

34<br />

5<br />

<strong>Ondel<strong>et</strong>tes</strong> <strong>et</strong><br />

<strong>analyse</strong> <strong>numérique</strong><br />

J. Houdayer<br />

Introduction<br />

Phénomène de Gibbs<br />

<strong>Ondel<strong>et</strong>tes</strong> de Haar<br />

Caractéristiques des<br />

ondel<strong>et</strong>tes<br />

Bases d’ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong><br />

approximation<br />

D’autres espaces<br />

Calcul<br />

Zoologie des<br />

ondel<strong>et</strong>tes<br />

Autres applications


Construction d’une base de fonctions<br />

Une transformation simple<br />

Notre exemple<br />

fj+1(t) − fj(t) = <br />

djkψjk(t),<br />

1.0<br />

0.8<br />

0.6<br />

0.4<br />

0.2<br />

0.0<br />

où ψjk(t) ∝ ψ(2 j t − k).<br />

0.2 0.4 0.6 0.8 1.0<br />

k<br />

Niveau 01 23 45 12<br />

34<br />

56<br />

<strong>Ondel<strong>et</strong>tes</strong> <strong>et</strong><br />

<strong>analyse</strong> <strong>numérique</strong><br />

J. Houdayer<br />

Introduction<br />

Phénomène de Gibbs<br />

<strong>Ondel<strong>et</strong>tes</strong> de Haar<br />

Caractéristiques des<br />

ondel<strong>et</strong>tes<br />

Bases d’ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong><br />

approximation<br />

D’autres espaces<br />

Calcul<br />

Zoologie des<br />

ondel<strong>et</strong>tes<br />

Autres applications


La base d’ondel<strong>et</strong>tes de Haar sur [0, 1]<br />

φ<br />

ψ<br />

ψ 1*<br />

ψ<br />

2*<br />

ψ 3*<br />

ψ 4*<br />

0<br />

1/4 1/2 3/4 1<br />

<strong>Ondel<strong>et</strong>tes</strong> <strong>et</strong><br />

<strong>analyse</strong> <strong>numérique</strong><br />

J. Houdayer<br />

Introduction<br />

Phénomène de Gibbs<br />

<strong>Ondel<strong>et</strong>tes</strong> de Haar<br />

Caractéristiques des<br />

ondel<strong>et</strong>tes<br />

Bases d’ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong><br />

approximation<br />

D’autres espaces<br />

Calcul<br />

Zoologie des<br />

ondel<strong>et</strong>tes<br />

Autres applications


Les ondel<strong>et</strong>tes de Haar sur [0, 1]<br />

Décomposition sur la base de Haar<br />

f (t) = cφ(t) +<br />

R<strong>et</strong>our sur notre exemple<br />

1.0<br />

0.8<br />

0.6<br />

0.4<br />

0.2<br />

0.0<br />

∞<br />

j=0 k=0<br />

Niveau 0 Haar 1<br />

2 j −1<br />

<br />

djkψjk.<br />

0.2 0.4 0.6 0.8 1.0<br />

<strong>Ondel<strong>et</strong>tes</strong> <strong>et</strong><br />

<strong>analyse</strong> <strong>numérique</strong><br />

J. Houdayer<br />

Introduction<br />

Phénomène de Gibbs<br />

<strong>Ondel<strong>et</strong>tes</strong> de Haar<br />

Caractéristiques des<br />

ondel<strong>et</strong>tes<br />

Bases d’ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong><br />

approximation<br />

D’autres espaces<br />

Calcul<br />

Zoologie des<br />

ondel<strong>et</strong>tes<br />

Autres applications


Les ondel<strong>et</strong>tes de Haar sur [0, 1]<br />

Décomposition sur la base de Haar<br />

f (t) = cφ(t) +<br />

R<strong>et</strong>our sur notre exemple<br />

1.0<br />

0.8<br />

0.6<br />

0.4<br />

0.2<br />

0.0<br />

∞<br />

2 j −1<br />

<br />

j=0 k=0<br />

Niveau 01 Haar 12<br />

djkψjk.<br />

0.2 0.4 0.6 0.8 1.0<br />

<strong>Ondel<strong>et</strong>tes</strong> <strong>et</strong><br />

<strong>analyse</strong> <strong>numérique</strong><br />

J. Houdayer<br />

Introduction<br />

Phénomène de Gibbs<br />

<strong>Ondel<strong>et</strong>tes</strong> de Haar<br />

Caractéristiques des<br />

ondel<strong>et</strong>tes<br />

Bases d’ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong><br />

approximation<br />

D’autres espaces<br />

Calcul<br />

Zoologie des<br />

ondel<strong>et</strong>tes<br />

Autres applications


Les ondel<strong>et</strong>tes de Haar sur [0, 1]<br />

Décomposition sur la base de Haar<br />

f (t) = cφ(t) +<br />

R<strong>et</strong>our sur notre exemple<br />

1.0<br />

0.8<br />

0.6<br />

0.4<br />

0.2<br />

0.0<br />

∞<br />

2 j −1<br />

<br />

j=0 k=0<br />

Niveau 01 2 Haar 12<br />

4<br />

djkψjk.<br />

0.2 0.4 0.6 0.8 1.0<br />

<strong>Ondel<strong>et</strong>tes</strong> <strong>et</strong><br />

<strong>analyse</strong> <strong>numérique</strong><br />

J. Houdayer<br />

Introduction<br />

Phénomène de Gibbs<br />

<strong>Ondel<strong>et</strong>tes</strong> de Haar<br />

Caractéristiques des<br />

ondel<strong>et</strong>tes<br />

Bases d’ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong><br />

approximation<br />

D’autres espaces<br />

Calcul<br />

Zoologie des<br />

ondel<strong>et</strong>tes<br />

Autres applications


Les ondel<strong>et</strong>tes de Haar sur [0, 1]<br />

Décomposition sur la base de Haar<br />

f (t) = cφ(t) +<br />

R<strong>et</strong>our sur notre exemple<br />

1.0<br />

0.8<br />

0.6<br />

0.4<br />

0.2<br />

0.0<br />

∞<br />

2 j −1<br />

<br />

j=0 k=0<br />

Niveau 01 23 Haar 12<br />

48<br />

djkψjk.<br />

0.2 0.4 0.6 0.8 1.0<br />

<strong>Ondel<strong>et</strong>tes</strong> <strong>et</strong><br />

<strong>analyse</strong> <strong>numérique</strong><br />

J. Houdayer<br />

Introduction<br />

Phénomène de Gibbs<br />

<strong>Ondel<strong>et</strong>tes</strong> de Haar<br />

Caractéristiques des<br />

ondel<strong>et</strong>tes<br />

Bases d’ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong><br />

approximation<br />

D’autres espaces<br />

Calcul<br />

Zoologie des<br />

ondel<strong>et</strong>tes<br />

Autres applications


Les ondel<strong>et</strong>tes de Haar sur [0, 1]<br />

Décomposition sur la base de Haar<br />

f (t) = cφ(t) +<br />

R<strong>et</strong>our sur notre exemple<br />

1.0<br />

0.8<br />

0.6<br />

0.4<br />

0.2<br />

0.0<br />

∞<br />

2 j −1<br />

<br />

j=0 k=0<br />

Niveau Niveau Niveau40 12 3 Haar Haar Haar16 12<br />

48<br />

djkψjk.<br />

0.2 0.4 0.6 0.8 1.0<br />

<strong>Ondel<strong>et</strong>tes</strong> <strong>et</strong><br />

<strong>analyse</strong> <strong>numérique</strong><br />

J. Houdayer<br />

Introduction<br />

Phénomène de Gibbs<br />

<strong>Ondel<strong>et</strong>tes</strong> de Haar<br />

Caractéristiques des<br />

ondel<strong>et</strong>tes<br />

Bases d’ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong><br />

approximation<br />

D’autres espaces<br />

Calcul<br />

Zoologie des<br />

ondel<strong>et</strong>tes<br />

Autres applications


Les ondel<strong>et</strong>tes de Haar sur [0, 1]<br />

Décomposition sur la base de Haar<br />

f (t) = cφ(t) +<br />

R<strong>et</strong>our sur notre exemple<br />

1.0<br />

0.8<br />

0.6<br />

0.4<br />

0.2<br />

0.0<br />

∞<br />

2 j −1<br />

<br />

j=0 k=0<br />

Niveau Niveau Niveau45 01 23 Haar Haar Haar16 32<br />

12<br />

48<br />

djkψjk.<br />

0.2 0.4 0.6 0.8 1.0<br />

<strong>Ondel<strong>et</strong>tes</strong> <strong>et</strong><br />

<strong>analyse</strong> <strong>numérique</strong><br />

J. Houdayer<br />

Introduction<br />

Phénomène de Gibbs<br />

<strong>Ondel<strong>et</strong>tes</strong> de Haar<br />

Caractéristiques des<br />

ondel<strong>et</strong>tes<br />

Bases d’ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong><br />

approximation<br />

D’autres espaces<br />

Calcul<br />

Zoologie des<br />

ondel<strong>et</strong>tes<br />

Autres applications


Les ondel<strong>et</strong>tes de Haar sur [0, 1]<br />

Décomposition sur la base de Haar<br />

f (t) = cφ(t) +<br />

R<strong>et</strong>our sur notre exemple<br />

1.0<br />

0.8<br />

0.6<br />

0.4<br />

0.2<br />

0.0<br />

∞<br />

2 j −1<br />

<br />

j=0 k=0<br />

Niveau Niveau Niveau45 60 12 3 Haar Haar Haar16 32 64<br />

12<br />

48<br />

djkψjk.<br />

0.2 0.4 0.6 0.8 1.0<br />

<strong>Ondel<strong>et</strong>tes</strong> <strong>et</strong><br />

<strong>analyse</strong> <strong>numérique</strong><br />

J. Houdayer<br />

Introduction<br />

Phénomène de Gibbs<br />

<strong>Ondel<strong>et</strong>tes</strong> de Haar<br />

Caractéristiques des<br />

ondel<strong>et</strong>tes<br />

Bases d’ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong><br />

approximation<br />

D’autres espaces<br />

Calcul<br />

Zoologie des<br />

ondel<strong>et</strong>tes<br />

Autres applications


Les ondel<strong>et</strong>tes de Haar sur [0, 1]<br />

Décomposition sur la base de Haar<br />

f (t) = cφ(t) +<br />

R<strong>et</strong>our sur notre exemple<br />

1.0<br />

0.8<br />

0.6<br />

0.4<br />

0.2<br />

0.0<br />

∞<br />

2 j −1<br />

<br />

j=0 k=0<br />

Niveau Niveau Niveau Niveau7 45 60 12 3 Haar Haar Haar Haar128 16 32 64 12<br />

48<br />

djkψjk.<br />

0.2 0.4 0.6 0.8 1.0<br />

<strong>Ondel<strong>et</strong>tes</strong> <strong>et</strong><br />

<strong>analyse</strong> <strong>numérique</strong><br />

J. Houdayer<br />

Introduction<br />

Phénomène de Gibbs<br />

<strong>Ondel<strong>et</strong>tes</strong> de Haar<br />

Caractéristiques des<br />

ondel<strong>et</strong>tes<br />

Bases d’ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong><br />

approximation<br />

D’autres espaces<br />

Calcul<br />

Zoologie des<br />

ondel<strong>et</strong>tes<br />

Autres applications


Les ondel<strong>et</strong>tes de Haar sur [0, 1]<br />

Décomposition sur la base de Haar<br />

f (t) = cφ(t) +<br />

R<strong>et</strong>our sur notre exemple<br />

1.0<br />

0.8<br />

0.6<br />

0.4<br />

0.2<br />

0.0<br />

∞<br />

2 j −1<br />

<br />

j=0 k=0<br />

Niveau Niveau Niveau Niveau7 845 60 12 3 Haar Haar Haar Haar128 256<br />

16 32 64 12<br />

48<br />

djkψjk.<br />

0.2 0.4 0.6 0.8 1.0<br />

<strong>Ondel<strong>et</strong>tes</strong> <strong>et</strong><br />

<strong>analyse</strong> <strong>numérique</strong><br />

J. Houdayer<br />

Introduction<br />

Phénomène de Gibbs<br />

<strong>Ondel<strong>et</strong>tes</strong> de Haar<br />

Caractéristiques des<br />

ondel<strong>et</strong>tes<br />

Bases d’ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong><br />

approximation<br />

D’autres espaces<br />

Calcul<br />

Zoologie des<br />

ondel<strong>et</strong>tes<br />

Autres applications


Plan du cours<br />

Introduction<br />

Phénomène de Gibbs<br />

<strong>Ondel<strong>et</strong>tes</strong> de Haar<br />

Caractéristiques des ondel<strong>et</strong>tes<br />

Bases d’ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong> approximation<br />

D’autres espaces<br />

Calcul<br />

Zoologie des ondel<strong>et</strong>tes<br />

Autres applications<br />

<strong>Ondel<strong>et</strong>tes</strong> <strong>et</strong><br />

<strong>analyse</strong> <strong>numérique</strong><br />

J. Houdayer<br />

Introduction<br />

Phénomène de Gibbs<br />

<strong>Ondel<strong>et</strong>tes</strong> de Haar<br />

Caractéristiques des<br />

ondel<strong>et</strong>tes<br />

Bases d’ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong><br />

approximation<br />

D’autres espaces<br />

Calcul<br />

Zoologie des<br />

ondel<strong>et</strong>tes<br />

Autres applications


<strong>Ondel<strong>et</strong>tes</strong> de Haar : un début modeste<br />

Qualités<br />

◮ Pas d’oscillations à longue portée<br />

◮ Représentation exacte des parties constantes<br />

◮ L’eff<strong>et</strong> de la discontinuité se fait sentir sur une distance<br />

2 −j<br />

Défauts<br />

◮ Convergence très lente des coefficients (comme Fourier)<br />

◮ Mauvaise représentation de la partie régulière<br />

◮ Fonctions de la base singulières<br />

<strong>Ondel<strong>et</strong>tes</strong> <strong>et</strong><br />

<strong>analyse</strong> <strong>numérique</strong><br />

J. Houdayer<br />

Introduction<br />

Phénomène de Gibbs<br />

<strong>Ondel<strong>et</strong>tes</strong> de Haar<br />

Caractéristiques des<br />

ondel<strong>et</strong>tes<br />

Bases d’ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong><br />

approximation<br />

D’autres espaces<br />

Calcul<br />

Zoologie des<br />

ondel<strong>et</strong>tes<br />

Autres applications


Approximation non linéaire<br />

Il y a beaucoup de p<strong>et</strong>its coefficients<br />

Les coefficients pour les parties constantes sont nuls. Au lieu<br />

de prendre les premiers coefficients, on prend les plus grands.<br />

Meilleure convergence autour de la singularité<br />

1.0<br />

0.8<br />

0.6<br />

0.4<br />

0.2<br />

Haar 20<br />

0.2 0.4 0.6 0.8 1.0<br />

<strong>Ondel<strong>et</strong>tes</strong> <strong>et</strong><br />

<strong>analyse</strong> <strong>numérique</strong><br />

J. Houdayer<br />

Introduction<br />

Phénomène de Gibbs<br />

<strong>Ondel<strong>et</strong>tes</strong> de Haar<br />

Caractéristiques des<br />

ondel<strong>et</strong>tes<br />

Bases d’ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong><br />

approximation<br />

D’autres espaces<br />

Calcul<br />

Zoologie des<br />

ondel<strong>et</strong>tes<br />

Autres applications


On peut faire beaucoup mieux que Haar<br />

Un exemple : Les ondel<strong>et</strong>tes de Daubechies (d’ordre 5)<br />

1.0<br />

0.8<br />

0.6<br />

0.4<br />

0.2<br />

0.2<br />

0.4<br />

2 4 6 8 10 12<br />

Sur notre fonction singulière<br />

1.0<br />

0.8<br />

0.6<br />

0.4<br />

0.2<br />

Daubechies 35<br />

6 4 2 2 4 6<br />

0.5<br />

1.0<br />

0.2 0.4 0.6 0.8 1.0<br />

1.0<br />

0.5<br />

<strong>Ondel<strong>et</strong>tes</strong> <strong>et</strong><br />

<strong>analyse</strong> <strong>numérique</strong><br />

J. Houdayer<br />

Introduction<br />

Phénomène de Gibbs<br />

<strong>Ondel<strong>et</strong>tes</strong> de Haar<br />

Caractéristiques des<br />

ondel<strong>et</strong>tes<br />

Bases d’ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong><br />

approximation<br />

D’autres espaces<br />

Calcul<br />

Zoologie des<br />

ondel<strong>et</strong>tes<br />

Autres applications


Caractéristiques des ondel<strong>et</strong>tes<br />

Qualités<br />

◮ représentation efficace des fonctions régulières <strong>et</strong><br />

singulières<br />

◮ pas de phénomène de Gibbs<br />

◮ approximation non linéaire<br />

◮ possibilité de calculer (dérivation, multiplication,. . .)<br />

Difficultés<br />

◮ Choix <strong>et</strong> calcul de la base d’ondel<strong>et</strong>tes<br />

◮ Problèmes de bord<br />

◮ Programmation<br />

<strong>Ondel<strong>et</strong>tes</strong> <strong>et</strong><br />

<strong>analyse</strong> <strong>numérique</strong><br />

J. Houdayer<br />

Introduction<br />

Phénomène de Gibbs<br />

<strong>Ondel<strong>et</strong>tes</strong> de Haar<br />

Caractéristiques des<br />

ondel<strong>et</strong>tes<br />

Bases d’ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong><br />

approximation<br />

D’autres espaces<br />

Calcul<br />

Zoologie des<br />

ondel<strong>et</strong>tes<br />

Autres applications


Plan du cours<br />

Introduction<br />

Bases d’ondel<strong>et</strong>tes<br />

Multirésolution<br />

Équation d’échelle<br />

Bases d’ondel<strong>et</strong>tes<br />

Algorithme de Mallat<br />

Transformée en ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong> approximation<br />

D’autres espaces<br />

Calcul<br />

Zoologie des ondel<strong>et</strong>tes<br />

<strong>Ondel<strong>et</strong>tes</strong> <strong>et</strong><br />

<strong>analyse</strong> <strong>numérique</strong><br />

J. Houdayer<br />

Introduction<br />

Bases d’ondel<strong>et</strong>tes<br />

Multirésolution<br />

Équation d’échelle<br />

Bases d’ondel<strong>et</strong>tes<br />

Algorithme de Mallat<br />

Transformée en ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong><br />

approximation<br />

D’autres espaces<br />

Calcul<br />

Zoologie des<br />

ondel<strong>et</strong>tes<br />

Autres applications


Plan du cours<br />

Introduction<br />

Bases d’ondel<strong>et</strong>tes<br />

Multirésolution<br />

Équation d’échelle<br />

Bases d’ondel<strong>et</strong>tes<br />

Algorithme de Mallat<br />

Transformée en ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong> approximation<br />

D’autres espaces<br />

Calcul<br />

Zoologie des ondel<strong>et</strong>tes<br />

<strong>Ondel<strong>et</strong>tes</strong> <strong>et</strong><br />

<strong>analyse</strong> <strong>numérique</strong><br />

J. Houdayer<br />

Introduction<br />

Bases d’ondel<strong>et</strong>tes<br />

Multirésolution<br />

Équation d’échelle<br />

Bases d’ondel<strong>et</strong>tes<br />

Algorithme de Mallat<br />

Transformée en ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong><br />

approximation<br />

D’autres espaces<br />

Calcul<br />

Zoologie des<br />

ondel<strong>et</strong>tes<br />

Autres applications


Multirésolution<br />

Une multirésolution est un ensemble {Vj}j∈Z de<br />

sous-espaces fermés de L 2 (R) vérifiant<br />

◮ Suite croissante :<br />

{0} = . . . ⊂ Vj ⊂ Vj+1 ⊂ . . . = L 2 (R)<br />

◮ Vj est invariant par translation de 2 −j :<br />

f (t) ∈ Vj ⇐⇒ f (t − 2 −j ) ∈ Vj<br />

◮ Vj est identique à Vj+1 à une dilatation par 2 près :<br />

f (t) ∈ Vj ⇐⇒ f (2t) ∈ Vj+1<br />

◮ Fonction d’échelle φ (le «père des ondel<strong>et</strong>tes») :<br />

∃φ ∈ V0 telle que {φ(t−k)}k∈Z base orthonormale de V0<br />

Espace Vj ⇔ échelle 2 −j<br />

<strong>Ondel<strong>et</strong>tes</strong> <strong>et</strong><br />

<strong>analyse</strong> <strong>numérique</strong><br />

J. Houdayer<br />

Introduction<br />

Bases d’ondel<strong>et</strong>tes<br />

Multirésolution<br />

Équation d’échelle<br />

Bases d’ondel<strong>et</strong>tes<br />

Algorithme de Mallat<br />

Transformée en ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong><br />

approximation<br />

D’autres espaces<br />

Calcul<br />

Zoologie des<br />

ondel<strong>et</strong>tes<br />

Autres applications


Multirésolution de Haar<br />

Approximation en escalier<br />

Les approximations en escalier de L 2 (R) forment une<br />

multirésolution, avec Vj l’ensemble des approximations de<br />

niveau j (sur R). L’approximation en escalier fj de f est la<br />

projection orthogonale de f sur Vj.<br />

Fonction d’échelle φ de Haar<br />

1.0<br />

0.8<br />

0.6<br />

0.4<br />

0.2<br />

0.5 0.5 1.0 1.5<br />

<strong>Ondel<strong>et</strong>tes</strong> <strong>et</strong><br />

<strong>analyse</strong> <strong>numérique</strong><br />

J. Houdayer<br />

Introduction<br />

Bases d’ondel<strong>et</strong>tes<br />

Multirésolution<br />

Équation d’échelle<br />

Bases d’ondel<strong>et</strong>tes<br />

Algorithme de Mallat<br />

Transformée en ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong><br />

approximation<br />

D’autres espaces<br />

Calcul<br />

Zoologie des<br />

ondel<strong>et</strong>tes<br />

Autres applications


Propriétés générales de φ<br />

Propriétés de φ<br />

◮<br />

◮<br />

+∞<br />

−∞<br />

+∞<br />

−∞<br />

φ 2 (t)dt = 1<br />

φ(t − l)φ(t − k)dt = δlk<br />

◮ normalisation (non trivial) :<br />

Base de Vj<br />

+∞<br />

−∞<br />

◮ φjk(t) = 2 j/2 φ(2 j t − k), pour j, k ∈ Z<br />

φ(t)dt = 1<br />

◮ {φjk}k∈Z est une base orthonormale de Vj<br />

◮ Approximation de niveau j :<br />

fj = PVj<br />

<br />

f = cjkφjk avec cjk = 〈f , φjk〉<br />

k∈Z<br />

<strong>Ondel<strong>et</strong>tes</strong> <strong>et</strong><br />

<strong>analyse</strong> <strong>numérique</strong><br />

J. Houdayer<br />

Introduction<br />

Bases d’ondel<strong>et</strong>tes<br />

Multirésolution<br />

Équation d’échelle<br />

Bases d’ondel<strong>et</strong>tes<br />

Algorithme de Mallat<br />

Transformée en ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong><br />

approximation<br />

D’autres espaces<br />

Calcul<br />

Zoologie des<br />

ondel<strong>et</strong>tes<br />

Autres applications


Plan du cours<br />

Introduction<br />

Bases d’ondel<strong>et</strong>tes<br />

Multirésolution<br />

Équation d’échelle<br />

Bases d’ondel<strong>et</strong>tes<br />

Algorithme de Mallat<br />

Transformée en ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong> approximation<br />

D’autres espaces<br />

Calcul<br />

Zoologie des ondel<strong>et</strong>tes<br />

<strong>Ondel<strong>et</strong>tes</strong> <strong>et</strong><br />

<strong>analyse</strong> <strong>numérique</strong><br />

J. Houdayer<br />

Introduction<br />

Bases d’ondel<strong>et</strong>tes<br />

Multirésolution<br />

Équation d’échelle<br />

Bases d’ondel<strong>et</strong>tes<br />

Algorithme de Mallat<br />

Transformée en ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong><br />

approximation<br />

D’autres espaces<br />

Calcul<br />

Zoologie des<br />

ondel<strong>et</strong>tes<br />

Autres applications


La relation fondamentale des ondel<strong>et</strong>tes<br />

L’équation d’échelle pour φ<br />

φ(t/2) ∈ V−1 ⊂ V0, on a donc l’équation d’échelle<br />

Forme générale<br />

φ(t/2) = <br />

anφ(t − n),<br />

n∈Z<br />

φ (j−1)k = 1<br />

√ 2<br />

<br />

anφj(n+2k), n∈Z<br />

Le vecteur d’échelle<br />

Les {an} forment le vecteur d’échelle<br />

Vecteur d’échelle de Haar<br />

a0 = a1 = 1, tous les autres an = 0<br />

<strong>Ondel<strong>et</strong>tes</strong> <strong>et</strong><br />

<strong>analyse</strong> <strong>numérique</strong><br />

J. Houdayer<br />

Introduction<br />

Bases d’ondel<strong>et</strong>tes<br />

Multirésolution<br />

Équation d’échelle<br />

Bases d’ondel<strong>et</strong>tes<br />

Algorithme de Mallat<br />

Transformée en ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong><br />

approximation<br />

D’autres espaces<br />

Calcul<br />

Zoologie des<br />

ondel<strong>et</strong>tes<br />

Autres applications


Relations entre φ <strong>et</strong> {an}<br />

Équation d’échelle en Fourier<br />

φ est entièrement déterminé par les {an}<br />

ˆφ(2ω) = 1<br />

2 â(ω) ˆφ(ω) → ˆφ(ω) =<br />

Relations d’orthonormalité<br />

ou encore<br />

∞<br />

j=1<br />

|â(ω)| 2 + |â(ω + π)| 2 = 4 <strong>et</strong> â(0) = 2<br />

â(2 −j ω)<br />

2<br />

<br />

a2n =<br />

n∈Z<br />

<br />

a2n+1 = 1 <strong>et</strong><br />

n∈Z<br />

<br />

anan+2p = 2δ0p<br />

n∈Z<br />

<strong>Ondel<strong>et</strong>tes</strong> <strong>et</strong><br />

<strong>analyse</strong> <strong>numérique</strong><br />

J. Houdayer<br />

Introduction<br />

Bases d’ondel<strong>et</strong>tes<br />

Multirésolution<br />

Équation d’échelle<br />

Bases d’ondel<strong>et</strong>tes<br />

Algorithme de Mallat<br />

Transformée en ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong><br />

approximation<br />

D’autres espaces<br />

Calcul<br />

Zoologie des<br />

ondel<strong>et</strong>tes<br />

Autres applications


Autre exemple de fonction d’échelle<br />

<strong>Ondel<strong>et</strong>tes</strong> de Daubechies d’ordre 1<br />

a0 = 1 + √ 3<br />

4<br />

, a1 = 3 + √ 3<br />

4<br />

, a2 = 3 − √ 3<br />

, a3 =<br />

4<br />

1 − √ 3<br />

4<br />

Fonction φ : support [0, 3], continue, fractale<br />

1.0<br />

0.5<br />

1 1 2 3 4<br />

<strong>Ondel<strong>et</strong>tes</strong> <strong>et</strong><br />

<strong>analyse</strong> <strong>numérique</strong><br />

J. Houdayer<br />

Introduction<br />

Bases d’ondel<strong>et</strong>tes<br />

Multirésolution<br />

Équation d’échelle<br />

Bases d’ondel<strong>et</strong>tes<br />

Algorithme de Mallat<br />

Transformée en ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong><br />

approximation<br />

D’autres espaces<br />

Calcul<br />

Zoologie des<br />

ondel<strong>et</strong>tes<br />

Autres applications


Plan du cours<br />

Introduction<br />

Bases d’ondel<strong>et</strong>tes<br />

Multirésolution<br />

Équation d’échelle<br />

Bases d’ondel<strong>et</strong>tes<br />

Algorithme de Mallat<br />

Transformée en ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong> approximation<br />

D’autres espaces<br />

Calcul<br />

Zoologie des ondel<strong>et</strong>tes<br />

<strong>Ondel<strong>et</strong>tes</strong> <strong>et</strong><br />

<strong>analyse</strong> <strong>numérique</strong><br />

J. Houdayer<br />

Introduction<br />

Bases d’ondel<strong>et</strong>tes<br />

Multirésolution<br />

Équation d’échelle<br />

Bases d’ondel<strong>et</strong>tes<br />

Algorithme de Mallat<br />

Transformée en ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong><br />

approximation<br />

D’autres espaces<br />

Calcul<br />

Zoologie des<br />

ondel<strong>et</strong>tes<br />

Autres applications


<strong>Ondel<strong>et</strong>tes</strong><br />

Espaces Wj : détails entre échelles 2 −j <strong>et</strong> 2 −j+1<br />

Vj ⊂ Vj+1 → Vj+1 = Vj ⊕ Wj<br />

ψ la «mère des ondel<strong>et</strong>tes» : analogue de φ pour W0<br />

<strong>Ondel<strong>et</strong>tes</strong><br />

{ψ(t − k)}k∈Z base orthonormale de W0<br />

ψjk(t) = 2 j/2 ψ(2 j t − k), pour j, k ∈ Z<br />

{ψjk}k∈Z est une base orthonormale de Wj<br />

<strong>Ondel<strong>et</strong>tes</strong> <strong>et</strong><br />

<strong>analyse</strong> <strong>numérique</strong><br />

J. Houdayer<br />

Introduction<br />

Bases d’ondel<strong>et</strong>tes<br />

Multirésolution<br />

Équation d’échelle<br />

Bases d’ondel<strong>et</strong>tes<br />

Algorithme de Mallat<br />

Transformée en ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong><br />

approximation<br />

D’autres espaces<br />

Calcul<br />

Zoologie des<br />

ondel<strong>et</strong>tes<br />

Autres applications


Exemples de fonction ψ<br />

Fonction ψ de Haar<br />

0.5 0.5 1.0 1.5<br />

Fonction ψ de Daubechies d’ordre 1<br />

1.0<br />

0.5<br />

0.5<br />

1.0<br />

1.0<br />

0.5<br />

2 1 1 2 3<br />

0.5<br />

1.0<br />

1.5<br />

<strong>Ondel<strong>et</strong>tes</strong> <strong>et</strong><br />

<strong>analyse</strong> <strong>numérique</strong><br />

J. Houdayer<br />

Introduction<br />

Bases d’ondel<strong>et</strong>tes<br />

Multirésolution<br />

Équation d’échelle<br />

Bases d’ondel<strong>et</strong>tes<br />

Algorithme de Mallat<br />

Transformée en ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong><br />

approximation<br />

D’autres espaces<br />

Calcul<br />

Zoologie des<br />

ondel<strong>et</strong>tes<br />

Autres applications


Équation d’échelle pour ψ<br />

L’équation d’échelle pour ψ<br />

ψ(t/2) ∈ W−1 ⊂ V0 → équation d’échelle pour ψ<br />

Forme générale<br />

ψ(t/2) = <br />

bnφ(t − n),<br />

n∈Z<br />

ψ (j−1)k = 1<br />

√ 2<br />

<br />

bnφj(n+2k), n∈Z<br />

<strong>Ondel<strong>et</strong>tes</strong> <strong>et</strong><br />

<strong>analyse</strong> <strong>numérique</strong><br />

J. Houdayer<br />

Introduction<br />

Bases d’ondel<strong>et</strong>tes<br />

Multirésolution<br />

Équation d’échelle<br />

Bases d’ondel<strong>et</strong>tes<br />

Algorithme de Mallat<br />

Transformée en ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong><br />

approximation<br />

D’autres espaces<br />

Calcul<br />

Zoologie des<br />

ondel<strong>et</strong>tes<br />

Autres applications


Relations entre ψ, φ, {an} <strong>et</strong> {bn}<br />

Équation d’échelle en Fourier, relations d’orthonormalité<br />

ˆψ(2ω) = 1<br />

2 ˆb(ω) ˆφ(ω)<br />

| ˆ b(ω)| 2 + | ˆ b(ω + π)| 2 = 4,<br />

â(ω)ˆb ∗ (ω) + â(ω + π)ˆb ∗ (ω + π) = 0.<br />

ψ existe (pas unique → translations)<br />

ˆb(ω) = e −iω â ∗ (ω + π)<br />

bn = (−1) 1−n a1−n<br />

+∞<br />

−∞<br />

ψ(t)dt = 0<br />

<strong>Ondel<strong>et</strong>tes</strong> <strong>et</strong><br />

<strong>analyse</strong> <strong>numérique</strong><br />

J. Houdayer<br />

Introduction<br />

Bases d’ondel<strong>et</strong>tes<br />

Multirésolution<br />

Équation d’échelle<br />

Bases d’ondel<strong>et</strong>tes<br />

Algorithme de Mallat<br />

Transformée en ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong><br />

approximation<br />

D’autres espaces<br />

Calcul<br />

Zoologie des<br />

ondel<strong>et</strong>tes<br />

Autres applications


Base d’ondel<strong>et</strong>tes<br />

Décomposition de Vj<br />

Bases<br />

Vj = Vj−1 ⊕ Wj−1 = Vj−2 ⊕ Wj−2 ⊕ Wj−1 = . . .<br />

= Vj0 ⊕ Wj0 ⊕ Wj0+1 ⊕ · · · ⊕ Wj−1<br />

donc L 2 (R) = Vj0 ⊕ Wj0 ⊕ Wj0+1 ⊕ · · ·<br />

{φj0k}k∈Z <strong>et</strong> {ψjk}j≥j0,k∈Z : base orthonormale de L 2 (R)<br />

f = <br />

∞ <br />

cj0kφj0k + djkψjk<br />

k∈Z<br />

j=j0 k∈Z<br />

cjk = 〈f , φjk〉, djk = 〈f , ψjk〉<br />

∞ <br />

f 2 = <br />

c<br />

k∈Z<br />

2 j0k + d<br />

j=j0 k∈Z<br />

2 jk<br />

<strong>Ondel<strong>et</strong>tes</strong> <strong>et</strong><br />

<strong>analyse</strong> <strong>numérique</strong><br />

J. Houdayer<br />

Introduction<br />

Bases d’ondel<strong>et</strong>tes<br />

Multirésolution<br />

Équation d’échelle<br />

Bases d’ondel<strong>et</strong>tes<br />

Algorithme de Mallat<br />

Transformée en ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong><br />

approximation<br />

D’autres espaces<br />

Calcul<br />

Zoologie des<br />

ondel<strong>et</strong>tes<br />

Autres applications


Une base hiérarchique<br />

φ j0<br />

ψ j0<br />

ψ j0+1<br />

ψ j0+2<br />

ψ j0+3<br />

j<br />

t<br />

<strong>Ondel<strong>et</strong>tes</strong> <strong>et</strong><br />

<strong>analyse</strong> <strong>numérique</strong><br />

J. Houdayer<br />

Introduction<br />

Bases d’ondel<strong>et</strong>tes<br />

Multirésolution<br />

Équation d’échelle<br />

Bases d’ondel<strong>et</strong>tes<br />

Algorithme de Mallat<br />

Transformée en ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong><br />

approximation<br />

D’autres espaces<br />

Calcul<br />

Zoologie des<br />

ondel<strong>et</strong>tes<br />

Autres applications


Plan du cours<br />

Introduction<br />

Bases d’ondel<strong>et</strong>tes<br />

Multirésolution<br />

Équation d’échelle<br />

Bases d’ondel<strong>et</strong>tes<br />

Algorithme de Mallat<br />

Transformée en ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong> approximation<br />

D’autres espaces<br />

Calcul<br />

Zoologie des ondel<strong>et</strong>tes<br />

<strong>Ondel<strong>et</strong>tes</strong> <strong>et</strong><br />

<strong>analyse</strong> <strong>numérique</strong><br />

J. Houdayer<br />

Introduction<br />

Bases d’ondel<strong>et</strong>tes<br />

Multirésolution<br />

Équation d’échelle<br />

Bases d’ondel<strong>et</strong>tes<br />

Algorithme de Mallat<br />

Transformée en ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong><br />

approximation<br />

D’autres espaces<br />

Calcul<br />

Zoologie des<br />

ondel<strong>et</strong>tes<br />

Autres applications


Différentes représentations<br />

Différents niveaux de base<br />

En particulier pour f ∈ Vj<br />

f = <br />

∞ <br />

cj0kφj0k + djkψjk<br />

k∈Z<br />

j=j0 k∈Z<br />

= <br />

∞ <br />

cj1kφj1k + djkψjk<br />

k∈Z<br />

j=j1 k∈Z<br />

f = <br />

k∈Z<br />

= <br />

k∈Z<br />

cjkφjk<br />

cj0kφj0k +<br />

j−1<br />

<br />

<br />

j ′ =j0 k∈Z<br />

dj ′ kψj ′ k<br />

<strong>Ondel<strong>et</strong>tes</strong> <strong>et</strong><br />

<strong>analyse</strong> <strong>numérique</strong><br />

J. Houdayer<br />

Introduction<br />

Bases d’ondel<strong>et</strong>tes<br />

Multirésolution<br />

Équation d’échelle<br />

Bases d’ondel<strong>et</strong>tes<br />

Algorithme de Mallat<br />

Transformée en ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong><br />

approximation<br />

D’autres espaces<br />

Calcul<br />

Zoologie des<br />

ondel<strong>et</strong>tes<br />

Autres applications


Algorithme de Mallat<br />

Pas élémentaire : Vj = Vj−1 ⊕ Wj−1<br />

<br />

cjkφjk =<br />

k∈Z<br />

<br />

c (j−1)kφ (j−1)k +<br />

k∈Z<br />

<br />

d (j−1)kψ (j−1)k<br />

k∈Z<br />

Formules de transformation<br />

Dans un sens<br />

c (j−1)k = 1<br />

√ 2<br />

<strong>et</strong> dans l’autre<br />

<br />

n∈Z<br />

c (j+1)(2k) = 1<br />

√ 2<br />

c (j+1)(2k+1) = 1<br />

√ 2<br />

anc j(n+2k), d (j−1)k = 1<br />

√ 2<br />

<br />

n∈Z<br />

<br />

n∈Z<br />

a−2nc j(n+k) + 1<br />

√ 2<br />

a1−2nc j(n+k) + 1<br />

√ 2<br />

<br />

bncj(n+2k), n∈Z<br />

<br />

b−2ndj(n+k), n∈Z<br />

<br />

b1−2ndj(n+k). n∈Z<br />

<strong>Ondel<strong>et</strong>tes</strong> <strong>et</strong><br />

<strong>analyse</strong> <strong>numérique</strong><br />

J. Houdayer<br />

Introduction<br />

Bases d’ondel<strong>et</strong>tes<br />

Multirésolution<br />

Équation d’échelle<br />

Bases d’ondel<strong>et</strong>tes<br />

Algorithme de Mallat<br />

Transformée en ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong><br />

approximation<br />

D’autres espaces<br />

Calcul<br />

Zoologie des<br />

ondel<strong>et</strong>tes<br />

Autres applications


Complexité de l’algorithme, support compact<br />

Complexité<br />

Pour transformer un coefficient, il faut O(L) opérations où L<br />

est le nombre d’an non nuls. Il faut donc que L soit fini. Pour<br />

transformer N coefficients il faut O(NL) opérations.<br />

<strong>Ondel<strong>et</strong>tes</strong> à support compact<br />

◮ L fini ⇔ φ <strong>et</strong> ψ à support compact<br />

◮ au, . . . , av non nuls ⇔ supp(φ) = [u, v].<br />

<br />

◮ supp(ψ) = (librement translatable)<br />

1 − L L<br />

2 , 2<br />

◮ Un point de R n’influence que L ondel<strong>et</strong>tes par niveau<br />

Seules ondel<strong>et</strong>tes intéressantes<br />

◮ <strong>Ondel<strong>et</strong>tes</strong> les mieux localisées<br />

◮ Manipulation informatique possible<br />

<strong>Ondel<strong>et</strong>tes</strong> <strong>et</strong><br />

<strong>analyse</strong> <strong>numérique</strong><br />

J. Houdayer<br />

Introduction<br />

Bases d’ondel<strong>et</strong>tes<br />

Multirésolution<br />

Équation d’échelle<br />

Bases d’ondel<strong>et</strong>tes<br />

Algorithme de Mallat<br />

Transformée en ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong><br />

approximation<br />

D’autres espaces<br />

Calcul<br />

Zoologie des<br />

ondel<strong>et</strong>tes<br />

Autres applications


Plan du cours<br />

Introduction<br />

Bases d’ondel<strong>et</strong>tes<br />

Multirésolution<br />

Équation d’échelle<br />

Bases d’ondel<strong>et</strong>tes<br />

Algorithme de Mallat<br />

Transformée en ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong> approximation<br />

D’autres espaces<br />

Calcul<br />

Zoologie des ondel<strong>et</strong>tes<br />

<strong>Ondel<strong>et</strong>tes</strong> <strong>et</strong><br />

<strong>analyse</strong> <strong>numérique</strong><br />

J. Houdayer<br />

Introduction<br />

Bases d’ondel<strong>et</strong>tes<br />

Multirésolution<br />

Équation d’échelle<br />

Bases d’ondel<strong>et</strong>tes<br />

Algorithme de Mallat<br />

Transformée en ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong><br />

approximation<br />

D’autres espaces<br />

Calcul<br />

Zoologie des<br />

ondel<strong>et</strong>tes<br />

Autres applications


Approximation de niveau j<br />

Les coefficients sont difficiles à calculer<br />

avec<br />

fj = PVj<br />

cjk = 〈f , φjk〉 =<br />

f = <br />

k∈Z<br />

+∞<br />

−∞<br />

Approximation des coefficients cjk<br />

Si f est continue en k/2 j<br />

cjk = 1<br />

2j/2 +∞<br />

= 1<br />

2 j/2<br />

= 1<br />

f<br />

2j/2 −∞<br />

+∞ <br />

cjkφjk<br />

f (t)φjk(t)dt<br />

<br />

k + u<br />

f<br />

2j <br />

φ(u)du<br />

<br />

k<br />

f<br />

−∞ 2j <br />

+ o(1) φ(u)du<br />

<br />

k<br />

2j <br />

1<br />

+ o<br />

2j/2 <br />

<strong>Ondel<strong>et</strong>tes</strong> <strong>et</strong><br />

<strong>analyse</strong> <strong>numérique</strong><br />

J. Houdayer<br />

Introduction<br />

Bases d’ondel<strong>et</strong>tes<br />

Multirésolution<br />

Équation d’échelle<br />

Bases d’ondel<strong>et</strong>tes<br />

Algorithme de Mallat<br />

Transformée en ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong><br />

approximation<br />

D’autres espaces<br />

Calcul<br />

Zoologie des<br />

ondel<strong>et</strong>tes<br />

Autres applications


Transformée en ondel<strong>et</strong>tes<br />

Une approximation de l’approximation fj<br />

Wjf = 1<br />

2 j/2<br />

<br />

f<br />

k∈Z<br />

<br />

k<br />

2j <br />

φjk<br />

Si f est à support compact <strong>et</strong> n’a que des discontinuités<br />

isolées<br />

Wjf → f<br />

Avec l’algorithme de Mallat<br />

Temps de calcul en O(LN) pour obtenir<br />

Wjf = <br />

k∈Z<br />

˜c j<br />

j0k φj0k +<br />

j−1<br />

<br />

<br />

j ′ =j0 k∈Z<br />

˜d j<br />

j ′ k ψj ′ k<br />

<strong>Ondel<strong>et</strong>tes</strong> <strong>et</strong><br />

<strong>analyse</strong> <strong>numérique</strong><br />

J. Houdayer<br />

Introduction<br />

Bases d’ondel<strong>et</strong>tes<br />

Multirésolution<br />

Équation d’échelle<br />

Bases d’ondel<strong>et</strong>tes<br />

Algorithme de Mallat<br />

Transformée en ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong><br />

approximation<br />

D’autres espaces<br />

Calcul<br />

Zoologie des<br />

ondel<strong>et</strong>tes<br />

Autres applications


Plan du cours<br />

Introduction<br />

Bases d’ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong> approximation<br />

Moments de ψ, convergence de fj → f<br />

<strong>Ondel<strong>et</strong>tes</strong> de Daubechies<br />

Moments de φ, convergence de Wjf → f<br />

<strong>Ondel<strong>et</strong>tes</strong> de Coifman<br />

Approximation non linéaire<br />

D’autres espaces<br />

Calcul<br />

Zoologie des ondel<strong>et</strong>tes<br />

<strong>Ondel<strong>et</strong>tes</strong> <strong>et</strong><br />

<strong>analyse</strong> <strong>numérique</strong><br />

J. Houdayer<br />

Introduction<br />

Bases d’ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong><br />

approximation<br />

Moments de ψ,<br />

convergence de f j → f<br />

<strong>Ondel<strong>et</strong>tes</strong> de Daubechies<br />

Moments de φ,<br />

convergence de W j f → f<br />

<strong>Ondel<strong>et</strong>tes</strong> de Coifman<br />

Approximation non linéaire<br />

D’autres espaces<br />

Calcul<br />

Zoologie des<br />

ondel<strong>et</strong>tes<br />

Autres applications


Plan du cours<br />

Introduction<br />

Bases d’ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong> approximation<br />

Moments de ψ, convergence de fj → f<br />

<strong>Ondel<strong>et</strong>tes</strong> de Daubechies<br />

Moments de φ, convergence de Wjf → f<br />

<strong>Ondel<strong>et</strong>tes</strong> de Coifman<br />

Approximation non linéaire<br />

D’autres espaces<br />

Calcul<br />

Zoologie des ondel<strong>et</strong>tes<br />

<strong>Ondel<strong>et</strong>tes</strong> <strong>et</strong><br />

<strong>analyse</strong> <strong>numérique</strong><br />

J. Houdayer<br />

Introduction<br />

Bases d’ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong><br />

approximation<br />

Moments de ψ,<br />

convergence de f j → f<br />

<strong>Ondel<strong>et</strong>tes</strong> de Daubechies<br />

Moments de φ,<br />

convergence de W j f → f<br />

<strong>Ondel<strong>et</strong>tes</strong> de Coifman<br />

Approximation non linéaire<br />

D’autres espaces<br />

Calcul<br />

Zoologie des<br />

ondel<strong>et</strong>tes<br />

Autres applications


Convergence de fj → f<br />

Pour toute base d’ondel<strong>et</strong>tes, il existe f ∈ L 2 (R) pour<br />

laquelle fj converge arbitrairement lentement.<br />

fj = <br />

j−1<br />

cj0kφj0k +<br />

k∈Z<br />

<br />

j ′ =j0 k∈Z<br />

dj ′ kψj ′ k, f − fj 2 =<br />

∞<br />

j ′ <br />

d<br />

=j k∈Z<br />

2 j ′ k<br />

On voudrait que la convergence soit rapide pour f régulière.<br />

Calcul de djk pour f dérivable<br />

+∞<br />

djk = f (t)ψjk(t)dt<br />

−∞<br />

= 2 −j/2<br />

+∞ <br />

k + u<br />

f<br />

−∞ 2j <br />

ψ(u)du<br />

= 2 −j/2<br />

+∞ <br />

k<br />

f<br />

−∞ 2j <br />

+ u<br />

<br />

′ k<br />

f<br />

2j 2j <br />

+ · · · ψ(u)du<br />

= 2 −3j/2 f ′<br />

<br />

k<br />

2j +∞<br />

uψ(u)du + · · ·<br />

−∞<br />

<strong>Ondel<strong>et</strong>tes</strong> <strong>et</strong><br />

<strong>analyse</strong> <strong>numérique</strong><br />

J. Houdayer<br />

Introduction<br />

Bases d’ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong><br />

approximation<br />

Moments de ψ,<br />

convergence de f j → f<br />

<strong>Ondel<strong>et</strong>tes</strong> de Daubechies<br />

Moments de φ,<br />

convergence de W j f → f<br />

<strong>Ondel<strong>et</strong>tes</strong> de Coifman<br />

Approximation non linéaire<br />

D’autres espaces<br />

Calcul<br />

Zoologie des<br />

ondel<strong>et</strong>tes<br />

Autres applications


Moments nuls de ψ<br />

Définition<br />

ψ a ses moments nuls jusqu’à l’ordre p ssi<br />

+∞<br />

−∞<br />

t q ψ(t)dt = 0, pour q = 0, 1, . . . , p<br />

Représentation exacte des polynômes<br />

Si f est un polynôme de degré inférieur à p alors tous les djk<br />

sont nuls.<br />

Localement f est représentée exactement par un nombre fini<br />

de coefficients (les cj0k).<br />

<strong>Ondel<strong>et</strong>tes</strong> <strong>et</strong><br />

<strong>analyse</strong> <strong>numérique</strong><br />

J. Houdayer<br />

Introduction<br />

Bases d’ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong><br />

approximation<br />

Moments de ψ,<br />

convergence de f j → f<br />

<strong>Ondel<strong>et</strong>tes</strong> de Daubechies<br />

Moments de φ,<br />

convergence de W j f → f<br />

<strong>Ondel<strong>et</strong>tes</strong> de Coifman<br />

Approximation non linéaire<br />

D’autres espaces<br />

Calcul<br />

Zoologie des<br />

ondel<strong>et</strong>tes<br />

Autres applications


Convergence des djk<br />

Une formule globale<br />

Si f est de classe C m avec m ≤ p + 1 <strong>et</strong> f (m) bornée<br />

djk = 2 −j/2<br />

+∞ <br />

k + u<br />

f<br />

−∞ 2j <br />

ψ(u)du<br />

= 2 −j/2<br />

⎡<br />

+∞ m−1 u<br />

⎣<br />

−∞<br />

q=0<br />

q <br />

(q) k<br />

f<br />

q!2jq 2j <br />

+ umf (m) (cu)<br />

m!2jm ⎤<br />

⎦ ψ(u)du<br />

<br />

1<br />

−j(m+<br />

= O 2 2 )<br />

Valable localement<br />

Si f est C m sauf en un point P où elle est C l (l < m) :<br />

1<br />

◮ −j(m+ si P /∈ supp(ψjk) ⇒ djk = O(2 2 ) )<br />

1<br />

◮ −j(l+ si P ∈ supp(ψjk) ⇒ djk = O(2 2 ) )<br />

<strong>Ondel<strong>et</strong>tes</strong> <strong>et</strong><br />

<strong>analyse</strong> <strong>numérique</strong><br />

J. Houdayer<br />

Introduction<br />

Bases d’ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong><br />

approximation<br />

Moments de ψ,<br />

convergence de f j → f<br />

<strong>Ondel<strong>et</strong>tes</strong> de Daubechies<br />

Moments de φ,<br />

convergence de W j f → f<br />

<strong>Ondel<strong>et</strong>tes</strong> de Coifman<br />

Approximation non linéaire<br />

D’autres espaces<br />

Calcul<br />

Zoologie des<br />

ondel<strong>et</strong>tes<br />

Autres applications


Convergence de fj<br />

Si ψ à ses moments nuls jusqu’à l’ordre p <strong>et</strong> si f est C m à<br />

support compact avec m ≤ p + 1 alors<br />

f − fj 2 ∞<br />

=<br />

j ′ <br />

d<br />

=j k∈Z<br />

2 j ′ k<br />

⎛<br />

∞<br />

= O ⎝<br />

On a donc<br />

j ′ =j<br />

<br />

j′<br />

2 2 −j′ (m+ 1<br />

2 ) ⎞<br />

2<br />

<br />

f − fj = O 2 −jm<br />

⎠ = O<br />

<br />

2 −2jm<br />

Avec N = 2 j coefficients, on a une erreur en O (N −m )<br />

<strong>Ondel<strong>et</strong>tes</strong> <strong>et</strong><br />

<strong>analyse</strong> <strong>numérique</strong><br />

J. Houdayer<br />

Introduction<br />

Bases d’ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong><br />

approximation<br />

Moments de ψ,<br />

convergence de f j → f<br />

<strong>Ondel<strong>et</strong>tes</strong> de Daubechies<br />

Moments de φ,<br />

convergence de W j f → f<br />

<strong>Ondel<strong>et</strong>tes</strong> de Coifman<br />

Approximation non linéaire<br />

D’autres espaces<br />

Calcul<br />

Zoologie des<br />

ondel<strong>et</strong>tes<br />

Autres applications


Plan du cours<br />

Introduction<br />

Bases d’ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong> approximation<br />

Moments de ψ, convergence de fj → f<br />

<strong>Ondel<strong>et</strong>tes</strong> de Daubechies<br />

Moments de φ, convergence de Wjf → f<br />

<strong>Ondel<strong>et</strong>tes</strong> de Coifman<br />

Approximation non linéaire<br />

D’autres espaces<br />

Calcul<br />

Zoologie des ondel<strong>et</strong>tes<br />

<strong>Ondel<strong>et</strong>tes</strong> <strong>et</strong><br />

<strong>analyse</strong> <strong>numérique</strong><br />

J. Houdayer<br />

Introduction<br />

Bases d’ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong><br />

approximation<br />

Moments de ψ,<br />

convergence de f j → f<br />

<strong>Ondel<strong>et</strong>tes</strong> de Daubechies<br />

Moments de φ,<br />

convergence de W j f → f<br />

<strong>Ondel<strong>et</strong>tes</strong> de Coifman<br />

Approximation non linéaire<br />

D’autres espaces<br />

Calcul<br />

Zoologie des<br />

ondel<strong>et</strong>tes<br />

Autres applications


Support minimal<br />

Minimisons le nombre L de an non nuls<br />

◮ Temps de calcul proportionnel à L<br />

◮ Les singularités rencontrent à chaque niveau L<br />

ondel<strong>et</strong>tes<br />

<strong>Ondel<strong>et</strong>tes</strong> de Daubechies<br />

Les ondel<strong>et</strong>tes de Daubechies d’ordre p ont leurs moments<br />

nuls jusqu’à l’ordre p <strong>et</strong> ont un support de taille minimale<br />

2p + 1 (soit L = 2p + 2).<br />

Comment les calcule-t-on ?<br />

Moments nuls → â(ω) = 2<br />

1+e −iω<br />

2<br />

p+1<br />

R(e −iω )<br />

Orthonormalité → |R(e −iω )| 2 = P(sin2 (ω/2))<br />

Racines de P( 2−z−z−1<br />

4 ) → {an}<br />

<strong>Ondel<strong>et</strong>tes</strong> <strong>et</strong><br />

<strong>analyse</strong> <strong>numérique</strong><br />

J. Houdayer<br />

Introduction<br />

Bases d’ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong><br />

approximation<br />

Moments de ψ,<br />

convergence de f j → f<br />

<strong>Ondel<strong>et</strong>tes</strong> de Daubechies<br />

Moments de φ,<br />

convergence de W j f → f<br />

<strong>Ondel<strong>et</strong>tes</strong> de Coifman<br />

Approximation non linéaire<br />

D’autres espaces<br />

Calcul<br />

Zoologie des<br />

ondel<strong>et</strong>tes<br />

Autres applications


Les ondel<strong>et</strong>tes de Daubechies<br />

Propriétés<br />

Quand l’ordre augmente, les supports grandissent ainsi que la<br />

régularité des ondel<strong>et</strong>tes : elles sont respectivement de classe<br />

C 0 , C 1 , C 2 , C 3 , C 4 , C 5 à partir de l’ordre 1, 2, 5, 7, 11, 15.<br />

φ <strong>et</strong> ψ, ordre 0 = Haar<br />

1.0<br />

0.8<br />

0.6<br />

0.4<br />

0.2<br />

0.5 0.5 1.0 1.5<br />

1.0<br />

0.5<br />

0.5 0.5 1.0 1.5<br />

0.5<br />

1.0<br />

<strong>Ondel<strong>et</strong>tes</strong> <strong>et</strong><br />

<strong>analyse</strong> <strong>numérique</strong><br />

J. Houdayer<br />

Introduction<br />

Bases d’ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong><br />

approximation<br />

Moments de ψ,<br />

convergence de f j → f<br />

<strong>Ondel<strong>et</strong>tes</strong> de Daubechies<br />

Moments de φ,<br />

convergence de W j f → f<br />

<strong>Ondel<strong>et</strong>tes</strong> de Coifman<br />

Approximation non linéaire<br />

D’autres espaces<br />

Calcul<br />

Zoologie des<br />

ondel<strong>et</strong>tes<br />

Autres applications


Les ondel<strong>et</strong>tes de Daubechies<br />

Propriétés<br />

Quand l’ordre augmente, les supports grandissent ainsi que la<br />

régularité des ondel<strong>et</strong>tes : elles sont respectivement de classe<br />

C 0 , C 1 , C 2 , C 3 , C 4 , C 5 à partir de l’ordre 1, 2, 5, 7, 11, 15.<br />

φ <strong>et</strong> ψ, ordre 1, C 0<br />

1.0<br />

0.5<br />

1 1 2 3 4<br />

1.0<br />

0.5<br />

2 1 1 2 3<br />

0.5<br />

1.0<br />

1.5<br />

<strong>Ondel<strong>et</strong>tes</strong> <strong>et</strong><br />

<strong>analyse</strong> <strong>numérique</strong><br />

J. Houdayer<br />

Introduction<br />

Bases d’ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong><br />

approximation<br />

Moments de ψ,<br />

convergence de f j → f<br />

<strong>Ondel<strong>et</strong>tes</strong> de Daubechies<br />

Moments de φ,<br />

convergence de W j f → f<br />

<strong>Ondel<strong>et</strong>tes</strong> de Coifman<br />

Approximation non linéaire<br />

D’autres espaces<br />

Calcul<br />

Zoologie des<br />

ondel<strong>et</strong>tes<br />

Autres applications


Les ondel<strong>et</strong>tes de Daubechies<br />

Propriétés<br />

Quand l’ordre augmente, les supports grandissent ainsi que la<br />

régularité des ondel<strong>et</strong>tes : elles sont respectivement de classe<br />

C 0 , C 1 , C 2 , C 3 , C 4 , C 5 à partir de l’ordre 1, 2, 5, 7, 11, 15.<br />

φ <strong>et</strong> ψ, ordre 2, C 1<br />

1.0<br />

0.5<br />

1 1 2 3 4 5 6<br />

1.0<br />

0.5<br />

3 2 1 1 2 3 4<br />

0.5<br />

1.0<br />

1.5<br />

<strong>Ondel<strong>et</strong>tes</strong> <strong>et</strong><br />

<strong>analyse</strong> <strong>numérique</strong><br />

J. Houdayer<br />

Introduction<br />

Bases d’ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong><br />

approximation<br />

Moments de ψ,<br />

convergence de f j → f<br />

<strong>Ondel<strong>et</strong>tes</strong> de Daubechies<br />

Moments de φ,<br />

convergence de W j f → f<br />

<strong>Ondel<strong>et</strong>tes</strong> de Coifman<br />

Approximation non linéaire<br />

D’autres espaces<br />

Calcul<br />

Zoologie des<br />

ondel<strong>et</strong>tes<br />

Autres applications


Les ondel<strong>et</strong>tes de Daubechies<br />

Propriétés<br />

Quand l’ordre augmente, les supports grandissent ainsi que la<br />

régularité des ondel<strong>et</strong>tes : elles sont respectivement de classe<br />

C 0 , C 1 , C 2 , C 3 , C 4 , C 5 à partir de l’ordre 1, 2, 5, 7, 11, 15.<br />

φ <strong>et</strong> ψ, ordre 3, C 1<br />

1.0<br />

0.8<br />

0.6<br />

0.4<br />

0.2<br />

0.2<br />

2 4 6 8<br />

1.0<br />

0.5<br />

4 2 2 4<br />

0.5<br />

1.0<br />

<strong>Ondel<strong>et</strong>tes</strong> <strong>et</strong><br />

<strong>analyse</strong> <strong>numérique</strong><br />

J. Houdayer<br />

Introduction<br />

Bases d’ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong><br />

approximation<br />

Moments de ψ,<br />

convergence de f j → f<br />

<strong>Ondel<strong>et</strong>tes</strong> de Daubechies<br />

Moments de φ,<br />

convergence de W j f → f<br />

<strong>Ondel<strong>et</strong>tes</strong> de Coifman<br />

Approximation non linéaire<br />

D’autres espaces<br />

Calcul<br />

Zoologie des<br />

ondel<strong>et</strong>tes<br />

Autres applications


Les ondel<strong>et</strong>tes de Daubechies<br />

Propriétés<br />

Quand l’ordre augmente, les supports grandissent ainsi que la<br />

régularité des ondel<strong>et</strong>tes : elles sont respectivement de classe<br />

C 0 , C 1 , C 2 , C 3 , C 4 , C 5 à partir de l’ordre 1, 2, 5, 7, 11, 15.<br />

φ <strong>et</strong> ψ, ordre 4, C 1<br />

1.0<br />

0.8<br />

0.6<br />

0.4<br />

0.2<br />

0.2<br />

2 4 6 8 10<br />

1.0<br />

0.5<br />

4 2 2 4 6<br />

0.5<br />

1.0<br />

<strong>Ondel<strong>et</strong>tes</strong> <strong>et</strong><br />

<strong>analyse</strong> <strong>numérique</strong><br />

J. Houdayer<br />

Introduction<br />

Bases d’ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong><br />

approximation<br />

Moments de ψ,<br />

convergence de f j → f<br />

<strong>Ondel<strong>et</strong>tes</strong> de Daubechies<br />

Moments de φ,<br />

convergence de W j f → f<br />

<strong>Ondel<strong>et</strong>tes</strong> de Coifman<br />

Approximation non linéaire<br />

D’autres espaces<br />

Calcul<br />

Zoologie des<br />

ondel<strong>et</strong>tes<br />

Autres applications


Les ondel<strong>et</strong>tes de Daubechies<br />

Propriétés<br />

Quand l’ordre augmente, les supports grandissent ainsi que la<br />

régularité des ondel<strong>et</strong>tes : elles sont respectivement de classe<br />

C 0 , C 1 , C 2 , C 3 , C 4 , C 5 à partir de l’ordre 1, 2, 5, 7, 11, 15.<br />

φ <strong>et</strong> ψ, ordre 5, C 2<br />

1.0<br />

0.8<br />

0.6<br />

0.4<br />

0.2<br />

0.2<br />

0.4<br />

2 4 6 8 10 12<br />

1.0<br />

0.5<br />

6 4 2 2 4 6<br />

0.5<br />

1.0<br />

<strong>Ondel<strong>et</strong>tes</strong> <strong>et</strong><br />

<strong>analyse</strong> <strong>numérique</strong><br />

J. Houdayer<br />

Introduction<br />

Bases d’ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong><br />

approximation<br />

Moments de ψ,<br />

convergence de f j → f<br />

<strong>Ondel<strong>et</strong>tes</strong> de Daubechies<br />

Moments de φ,<br />

convergence de W j f → f<br />

<strong>Ondel<strong>et</strong>tes</strong> de Coifman<br />

Approximation non linéaire<br />

D’autres espaces<br />

Calcul<br />

Zoologie des<br />

ondel<strong>et</strong>tes<br />

Autres applications


Les ondel<strong>et</strong>tes de Daubechies<br />

Propriétés<br />

Quand l’ordre augmente, les supports grandissent ainsi que la<br />

régularité des ondel<strong>et</strong>tes : elles sont respectivement de classe<br />

C 0 , C 1 , C 2 , C 3 , C 4 , C 5 à partir de l’ordre 1, 2, 5, 7, 11, 15.<br />

φ <strong>et</strong> ψ, ordre 10, C 3<br />

1.0<br />

0.8<br />

0.6<br />

0.4<br />

0.2<br />

0.2<br />

0.4<br />

5 10 15 20<br />

1.0<br />

0.5<br />

10 5 5 10<br />

0.5<br />

<strong>Ondel<strong>et</strong>tes</strong> <strong>et</strong><br />

<strong>analyse</strong> <strong>numérique</strong><br />

J. Houdayer<br />

Introduction<br />

Bases d’ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong><br />

approximation<br />

Moments de ψ,<br />

convergence de f j → f<br />

<strong>Ondel<strong>et</strong>tes</strong> de Daubechies<br />

Moments de φ,<br />

convergence de W j f → f<br />

<strong>Ondel<strong>et</strong>tes</strong> de Coifman<br />

Approximation non linéaire<br />

D’autres espaces<br />

Calcul<br />

Zoologie des<br />

ondel<strong>et</strong>tes<br />

Autres applications


La magie des ondel<strong>et</strong>tes<br />

La condition Fix-Strang<br />

Moments nuls jusqu’à l’ordre p équivaut à Fix-Strang<br />

<br />

n q φ(t − n) est un polynôme pour q = 0, 1, . . . , p<br />

n∈Z<br />

Illustration avec Daubechies 2<br />

1.5<br />

1.0<br />

0.5<br />

0.0<br />

0.5<br />

2 4 6 8 10 12<br />

<strong>Ondel<strong>et</strong>tes</strong> <strong>et</strong><br />

<strong>analyse</strong> <strong>numérique</strong><br />

J. Houdayer<br />

Introduction<br />

Bases d’ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong><br />

approximation<br />

Moments de ψ,<br />

convergence de f j → f<br />

<strong>Ondel<strong>et</strong>tes</strong> de Daubechies<br />

Moments de φ,<br />

convergence de W j f → f<br />

<strong>Ondel<strong>et</strong>tes</strong> de Coifman<br />

Approximation non linéaire<br />

D’autres espaces<br />

Calcul<br />

Zoologie des<br />

ondel<strong>et</strong>tes<br />

Autres applications


Plan du cours<br />

Introduction<br />

Bases d’ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong> approximation<br />

Moments de ψ, convergence de fj → f<br />

<strong>Ondel<strong>et</strong>tes</strong> de Daubechies<br />

Moments de φ, convergence de Wjf → f<br />

<strong>Ondel<strong>et</strong>tes</strong> de Coifman<br />

Approximation non linéaire<br />

D’autres espaces<br />

Calcul<br />

Zoologie des ondel<strong>et</strong>tes<br />

<strong>Ondel<strong>et</strong>tes</strong> <strong>et</strong><br />

<strong>analyse</strong> <strong>numérique</strong><br />

J. Houdayer<br />

Introduction<br />

Bases d’ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong><br />

approximation<br />

Moments de ψ,<br />

convergence de f j → f<br />

<strong>Ondel<strong>et</strong>tes</strong> de Daubechies<br />

Moments de φ,<br />

convergence de W j f → f<br />

<strong>Ondel<strong>et</strong>tes</strong> de Coifman<br />

Approximation non linéaire<br />

D’autres espaces<br />

Calcul<br />

Zoologie des<br />

ondel<strong>et</strong>tes<br />

Autres applications


Convergence de Wjf → f<br />

Wjf = 2<br />

−j/2 <br />

k∈Z<br />

f<br />

<br />

k<br />

2j <br />

φjk<br />

f − Wjf 2 = f − fj 2 + fj − Wjf 2<br />

= f − fj 2 + <br />

<br />

k∈Z<br />

Calcul de cjk similaire à celui de djk<br />

cjk = 2 −j/2 f<br />

cjk − 2 −j/2 f<br />

<br />

k<br />

2j 2 <br />

k<br />

2j <br />

+ 2 −3j/2 f ′<br />

<br />

k<br />

2j +∞<br />

uφ(u)du + · · ·<br />

−∞<br />

<strong>Ondel<strong>et</strong>tes</strong> <strong>et</strong><br />

<strong>analyse</strong> <strong>numérique</strong><br />

J. Houdayer<br />

Introduction<br />

Bases d’ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong><br />

approximation<br />

Moments de ψ,<br />

convergence de f j → f<br />

<strong>Ondel<strong>et</strong>tes</strong> de Daubechies<br />

Moments de φ,<br />

convergence de W j f → f<br />

<strong>Ondel<strong>et</strong>tes</strong> de Coifman<br />

Approximation non linéaire<br />

D’autres espaces<br />

Calcul<br />

Zoologie des<br />

ondel<strong>et</strong>tes<br />

Autres applications


Moments nuls de φ<br />

Définition<br />

φ a ses moments nuls jusqu’à l’ordre p ssi<br />

+∞<br />

−∞<br />

t q φ(t)dt = δ0q, pour q = 0, 1, . . . , p<br />

Condition non invariante par translation<br />

Approximation de cjk<br />

Si f est de classe C m avec m ≤ p + 1 <strong>et</strong> f (m) bornée<br />

cjk = 2 −j/2 f<br />

<br />

k<br />

2j <br />

1<br />

−j(m+<br />

+ O 2 2 )<br />

<strong>Ondel<strong>et</strong>tes</strong> <strong>et</strong><br />

<strong>analyse</strong> <strong>numérique</strong><br />

J. Houdayer<br />

Introduction<br />

Bases d’ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong><br />

approximation<br />

Moments de ψ,<br />

convergence de f j → f<br />

<strong>Ondel<strong>et</strong>tes</strong> de Daubechies<br />

Moments de φ,<br />

convergence de W j f → f<br />

<strong>Ondel<strong>et</strong>tes</strong> de Coifman<br />

Approximation non linéaire<br />

D’autres espaces<br />

Calcul<br />

Zoologie des<br />

ondel<strong>et</strong>tes<br />

Autres applications


Convergence globale<br />

Condition de Coifman<br />

Un système d’ondel<strong>et</strong>tes vérifie la condition de Coifman<br />

d’ordre p si les moments de φ <strong>et</strong> de ψ sont nuls jusqu’à<br />

l’ordre p.<br />

Convergence de Wjf → f<br />

Si les ondel<strong>et</strong>tes vérifient la conditions de Coifman d’ordre p<br />

<strong>et</strong> si f est C m à support compact avec m ≤ p + 1 alors<br />

<br />

f − Wjf = O 2 −jm<br />

Avec N = 2 j points, la transformée en ondel<strong>et</strong>tes comm<strong>et</strong><br />

une erreur O (N −m )<br />

<strong>Ondel<strong>et</strong>tes</strong> <strong>et</strong><br />

<strong>analyse</strong> <strong>numérique</strong><br />

J. Houdayer<br />

Introduction<br />

Bases d’ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong><br />

approximation<br />

Moments de ψ,<br />

convergence de f j → f<br />

<strong>Ondel<strong>et</strong>tes</strong> de Daubechies<br />

Moments de φ,<br />

convergence de W j f → f<br />

<strong>Ondel<strong>et</strong>tes</strong> de Coifman<br />

Approximation non linéaire<br />

D’autres espaces<br />

Calcul<br />

Zoologie des<br />

ondel<strong>et</strong>tes<br />

Autres applications


Utilité de la convergence rapide de Wjf → f<br />

Pas nécessaire dans de nombreuses applications<br />

Wjf contient l’information sur les valeurs de f en certains<br />

points. Pour débruiter, compresser, <strong>analyse</strong>r ces<br />

informations, peu importe si Wjf converge rapidement.<br />

Même la dérivée (Wjf ) ′ approxime bien Wj(f ′ ),<br />

indépendamment de la convergence de Wjf → f .<br />

Nécessaire dans d’autres cas<br />

◮ valeurs de la fonctions entre les points d’échantillonage<br />

◮ toute opération non linéaire (multiplication, application<br />

de fonctions, . . . )<br />

<strong>Ondel<strong>et</strong>tes</strong> <strong>et</strong><br />

<strong>analyse</strong> <strong>numérique</strong><br />

J. Houdayer<br />

Introduction<br />

Bases d’ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong><br />

approximation<br />

Moments de ψ,<br />

convergence de f j → f<br />

<strong>Ondel<strong>et</strong>tes</strong> de Daubechies<br />

Moments de φ,<br />

convergence de W j f → f<br />

<strong>Ondel<strong>et</strong>tes</strong> de Coifman<br />

Approximation non linéaire<br />

D’autres espaces<br />

Calcul<br />

Zoologie des<br />

ondel<strong>et</strong>tes<br />

Autres applications


Plan du cours<br />

Introduction<br />

Bases d’ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong> approximation<br />

Moments de ψ, convergence de fj → f<br />

<strong>Ondel<strong>et</strong>tes</strong> de Daubechies<br />

Moments de φ, convergence de Wjf → f<br />

<strong>Ondel<strong>et</strong>tes</strong> de Coifman<br />

Approximation non linéaire<br />

D’autres espaces<br />

Calcul<br />

Zoologie des ondel<strong>et</strong>tes<br />

<strong>Ondel<strong>et</strong>tes</strong> <strong>et</strong><br />

<strong>analyse</strong> <strong>numérique</strong><br />

J. Houdayer<br />

Introduction<br />

Bases d’ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong><br />

approximation<br />

Moments de ψ,<br />

convergence de f j → f<br />

<strong>Ondel<strong>et</strong>tes</strong> de Daubechies<br />

Moments de φ,<br />

convergence de W j f → f<br />

<strong>Ondel<strong>et</strong>tes</strong> de Coifman<br />

Approximation non linéaire<br />

D’autres espaces<br />

Calcul<br />

Zoologie des<br />

ondel<strong>et</strong>tes<br />

Autres applications


<strong>Ondel<strong>et</strong>tes</strong> de Coifman<br />

Les ondel<strong>et</strong>tes de Coifman d’ordre p sont des ondel<strong>et</strong>tes<br />

vérifiant la condition de Coifman d’ordre p ayant un support<br />

de taille minimal. L = 3p + 2 pour p pair <strong>et</strong> L = 3p + 3 pour<br />

p impair. Contrairement aux ondel<strong>et</strong>tes de Daubechies, on<br />

ne peut pas librement translater φ (mais ψ oui),<br />

supp(φ) = [p − L + 2, p + 1].<br />

φ <strong>et</strong> ψ, ordre 0 = Haar<br />

1.0<br />

0.8<br />

0.6<br />

0.4<br />

0.2<br />

0.5 0.5 1.0 1.5<br />

1.0<br />

0.5<br />

0.5 0.5 1.0 1.5<br />

0.5<br />

1.0<br />

<strong>Ondel<strong>et</strong>tes</strong> <strong>et</strong><br />

<strong>analyse</strong> <strong>numérique</strong><br />

J. Houdayer<br />

Introduction<br />

Bases d’ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong><br />

approximation<br />

Moments de ψ,<br />

convergence de f j → f<br />

<strong>Ondel<strong>et</strong>tes</strong> de Daubechies<br />

Moments de φ,<br />

convergence de W j f → f<br />

<strong>Ondel<strong>et</strong>tes</strong> de Coifman<br />

Approximation non linéaire<br />

D’autres espaces<br />

Calcul<br />

Zoologie des<br />

ondel<strong>et</strong>tes<br />

Autres applications


<strong>Ondel<strong>et</strong>tes</strong> de Coifman<br />

Les ondel<strong>et</strong>tes de Coifman d’ordre p sont des ondel<strong>et</strong>tes<br />

vérifiant la condition de Coifman d’ordre p ayant un support<br />

de taille minimal. L = 3p + 2 pour p pair <strong>et</strong> L = 3p + 3 pour<br />

p impair. Contrairement aux ondel<strong>et</strong>tes de Daubechies, on<br />

ne peut pas librement translater φ (mais ψ oui),<br />

supp(φ) = [p − L + 2, p + 1].<br />

φ <strong>et</strong> ψ, ordre 1, C 0<br />

4 3 2 1 1 2 3<br />

1.5<br />

1.0<br />

0.5<br />

1.5<br />

1.0<br />

0.5<br />

3 2 1 1 2 3 4<br />

0.5<br />

<strong>Ondel<strong>et</strong>tes</strong> <strong>et</strong><br />

<strong>analyse</strong> <strong>numérique</strong><br />

J. Houdayer<br />

Introduction<br />

Bases d’ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong><br />

approximation<br />

Moments de ψ,<br />

convergence de f j → f<br />

<strong>Ondel<strong>et</strong>tes</strong> de Daubechies<br />

Moments de φ,<br />

convergence de W j f → f<br />

<strong>Ondel<strong>et</strong>tes</strong> de Coifman<br />

Approximation non linéaire<br />

D’autres espaces<br />

Calcul<br />

Zoologie des<br />

ondel<strong>et</strong>tes<br />

Autres applications


<strong>Ondel<strong>et</strong>tes</strong> de Coifman<br />

Les ondel<strong>et</strong>tes de Coifman d’ordre p sont des ondel<strong>et</strong>tes<br />

vérifiant la condition de Coifman d’ordre p ayant un support<br />

de taille minimal. L = 3p + 2 pour p pair <strong>et</strong> L = 3p + 3 pour<br />

p impair. Contrairement aux ondel<strong>et</strong>tes de Daubechies, on<br />

ne peut pas librement translater φ (mais ψ oui),<br />

supp(φ) = [p − L + 2, p + 1].<br />

φ <strong>et</strong> ψ, ordre 2, C 1<br />

1.2<br />

1.0<br />

0.8<br />

0.6<br />

0.4<br />

0.2<br />

4 2 2 4<br />

0.2<br />

1.0<br />

0.5<br />

4 2 2 4<br />

0.5<br />

<strong>Ondel<strong>et</strong>tes</strong> <strong>et</strong><br />

<strong>analyse</strong> <strong>numérique</strong><br />

J. Houdayer<br />

Introduction<br />

Bases d’ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong><br />

approximation<br />

Moments de ψ,<br />

convergence de f j → f<br />

<strong>Ondel<strong>et</strong>tes</strong> de Daubechies<br />

Moments de φ,<br />

convergence de W j f → f<br />

<strong>Ondel<strong>et</strong>tes</strong> de Coifman<br />

Approximation non linéaire<br />

D’autres espaces<br />

Calcul<br />

Zoologie des<br />

ondel<strong>et</strong>tes<br />

Autres applications


<strong>Ondel<strong>et</strong>tes</strong> de Coifman<br />

Les ondel<strong>et</strong>tes de Coifman d’ordre p sont des ondel<strong>et</strong>tes<br />

vérifiant la condition de Coifman d’ordre p ayant un support<br />

de taille minimal. L = 3p + 2 pour p pair <strong>et</strong> L = 3p + 3 pour<br />

p impair. Contrairement aux ondel<strong>et</strong>tes de Daubechies, on<br />

ne peut pas librement translater φ (mais ψ oui),<br />

supp(φ) = [p − L + 2, p + 1].<br />

φ <strong>et</strong> ψ, ordre 3, C 1<br />

8 6 4 2 2 4<br />

1.2<br />

1.0<br />

0.8<br />

0.6<br />

0.4<br />

0.2<br />

0.2<br />

1.0<br />

0.5<br />

6 4 2 2 4 6<br />

0.5<br />

<strong>Ondel<strong>et</strong>tes</strong> <strong>et</strong><br />

<strong>analyse</strong> <strong>numérique</strong><br />

J. Houdayer<br />

Introduction<br />

Bases d’ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong><br />

approximation<br />

Moments de ψ,<br />

convergence de f j → f<br />

<strong>Ondel<strong>et</strong>tes</strong> de Daubechies<br />

Moments de φ,<br />

convergence de W j f → f<br />

<strong>Ondel<strong>et</strong>tes</strong> de Coifman<br />

Approximation non linéaire<br />

D’autres espaces<br />

Calcul<br />

Zoologie des<br />

ondel<strong>et</strong>tes<br />

Autres applications


<strong>Ondel<strong>et</strong>tes</strong> de Coifman<br />

Les ondel<strong>et</strong>tes de Coifman d’ordre p sont des ondel<strong>et</strong>tes<br />

vérifiant la condition de Coifman d’ordre p ayant un support<br />

de taille minimal. L = 3p + 2 pour p pair <strong>et</strong> L = 3p + 3 pour<br />

p impair. Contrairement aux ondel<strong>et</strong>tes de Daubechies, on<br />

ne peut pas librement translater φ (mais ψ oui),<br />

supp(φ) = [p − L + 2, p + 1].<br />

φ <strong>et</strong> ψ, ordre 4, C 1<br />

8 6 4 2 2 4 6<br />

1.0<br />

0.8<br />

0.6<br />

0.4<br />

0.2<br />

0.2<br />

1.0<br />

0.5<br />

6 4 2 2 4 6 8<br />

0.5<br />

<strong>Ondel<strong>et</strong>tes</strong> <strong>et</strong><br />

<strong>analyse</strong> <strong>numérique</strong><br />

J. Houdayer<br />

Introduction<br />

Bases d’ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong><br />

approximation<br />

Moments de ψ,<br />

convergence de f j → f<br />

<strong>Ondel<strong>et</strong>tes</strong> de Daubechies<br />

Moments de φ,<br />

convergence de W j f → f<br />

<strong>Ondel<strong>et</strong>tes</strong> de Coifman<br />

Approximation non linéaire<br />

D’autres espaces<br />

Calcul<br />

Zoologie des<br />

ondel<strong>et</strong>tes<br />

Autres applications


<strong>Ondel<strong>et</strong>tes</strong> de Coifman<br />

Les ondel<strong>et</strong>tes de Coifman d’ordre p sont des ondel<strong>et</strong>tes<br />

vérifiant la condition de Coifman d’ordre p ayant un support<br />

de taille minimal. L = 3p + 2 pour p pair <strong>et</strong> L = 3p + 3 pour<br />

p impair. Contrairement aux ondel<strong>et</strong>tes de Daubechies, on<br />

ne peut pas librement translater φ (mais ψ oui),<br />

supp(φ) = [p − L + 2, p + 1].<br />

φ <strong>et</strong> ψ, ordre 5, C 1<br />

10 5 5<br />

1.0<br />

0.8<br />

0.6<br />

0.4<br />

0.2<br />

0.2<br />

1.0<br />

0.5<br />

5 5 10<br />

0.5<br />

<strong>Ondel<strong>et</strong>tes</strong> <strong>et</strong><br />

<strong>analyse</strong> <strong>numérique</strong><br />

J. Houdayer<br />

Introduction<br />

Bases d’ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong><br />

approximation<br />

Moments de ψ,<br />

convergence de f j → f<br />

<strong>Ondel<strong>et</strong>tes</strong> de Daubechies<br />

Moments de φ,<br />

convergence de W j f → f<br />

<strong>Ondel<strong>et</strong>tes</strong> de Coifman<br />

Approximation non linéaire<br />

D’autres espaces<br />

Calcul<br />

Zoologie des<br />

ondel<strong>et</strong>tes<br />

Autres applications


<strong>Ondel<strong>et</strong>tes</strong> de Coifman<br />

Les ondel<strong>et</strong>tes de Coifman d’ordre p sont des ondel<strong>et</strong>tes<br />

vérifiant la condition de Coifman d’ordre p ayant un support<br />

de taille minimal. L = 3p + 2 pour p pair <strong>et</strong> L = 3p + 3 pour<br />

p impair. Contrairement aux ondel<strong>et</strong>tes de Daubechies, on<br />

ne peut pas librement translater φ (mais ψ oui),<br />

supp(φ) = [p − L + 2, p + 1].<br />

φ <strong>et</strong> ψ, ordre 10, C 3<br />

20 15 10 5 5 10<br />

1.0<br />

0.8<br />

0.6<br />

0.4<br />

0.2<br />

0.2<br />

0.5<br />

15 10 5 5 10 15<br />

0.5<br />

<strong>Ondel<strong>et</strong>tes</strong> <strong>et</strong><br />

<strong>analyse</strong> <strong>numérique</strong><br />

J. Houdayer<br />

Introduction<br />

Bases d’ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong><br />

approximation<br />

Moments de ψ,<br />

convergence de f j → f<br />

<strong>Ondel<strong>et</strong>tes</strong> de Daubechies<br />

Moments de φ,<br />

convergence de W j f → f<br />

<strong>Ondel<strong>et</strong>tes</strong> de Coifman<br />

Approximation non linéaire<br />

D’autres espaces<br />

Calcul<br />

Zoologie des<br />

ondel<strong>et</strong>tes<br />

Autres applications


Plan du cours<br />

Introduction<br />

Bases d’ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong> approximation<br />

Moments de ψ, convergence de fj → f<br />

<strong>Ondel<strong>et</strong>tes</strong> de Daubechies<br />

Moments de φ, convergence de Wjf → f<br />

<strong>Ondel<strong>et</strong>tes</strong> de Coifman<br />

Approximation non linéaire<br />

D’autres espaces<br />

Calcul<br />

Zoologie des ondel<strong>et</strong>tes<br />

<strong>Ondel<strong>et</strong>tes</strong> <strong>et</strong><br />

<strong>analyse</strong> <strong>numérique</strong><br />

J. Houdayer<br />

Introduction<br />

Bases d’ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong><br />

approximation<br />

Moments de ψ,<br />

convergence de f j → f<br />

<strong>Ondel<strong>et</strong>tes</strong> de Daubechies<br />

Moments de φ,<br />

convergence de W j f → f<br />

<strong>Ondel<strong>et</strong>tes</strong> de Coifman<br />

Approximation non linéaire<br />

D’autres espaces<br />

Calcul<br />

Zoologie des<br />

ondel<strong>et</strong>tes<br />

Autres applications


Approximation linéaire<br />

M premiers éléments de la base<br />

{en}n∈N une base d’un espace de fonctions. L’approximation<br />

linéaire ALf d’une fonction f avec N coefficients est<br />

ALf =<br />

Erreur commise<br />

N−1<br />

<br />

n=0<br />

cnen, avec cn = 〈f , en〉<br />

<br />

∞<br />

εLf = f − ALf = |cn| 2<br />

n=N<br />

1<br />

2<br />

<strong>Ondel<strong>et</strong>tes</strong> <strong>et</strong><br />

<strong>analyse</strong> <strong>numérique</strong><br />

J. Houdayer<br />

Introduction<br />

Bases d’ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong><br />

approximation<br />

Moments de ψ,<br />

convergence de f j → f<br />

<strong>Ondel<strong>et</strong>tes</strong> de Daubechies<br />

Moments de φ,<br />

convergence de W j f → f<br />

<strong>Ondel<strong>et</strong>tes</strong> de Coifman<br />

Approximation non linéaire<br />

D’autres espaces<br />

Calcul<br />

Zoologie des<br />

ondel<strong>et</strong>tes<br />

Autres applications


Erreur de l’approximation linéaire<br />

Approximation de Fourier<br />

Pour f de classe C m à support compact, on a<br />

1<br />

−(m+<br />

εLf = o(N 2 ) )<br />

Approximation en ondel<strong>et</strong>tes<br />

Pour f de classe C m à support compact, m ≤ p + 1<br />

εLf = O(N −m )<br />

Très mauvais en cas de discontinuité<br />

<strong>Ondel<strong>et</strong>tes</strong> <strong>et</strong><br />

<strong>analyse</strong> <strong>numérique</strong><br />

J. Houdayer<br />

Introduction<br />

Bases d’ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong><br />

approximation<br />

Moments de ψ,<br />

convergence de f j → f<br />

<strong>Ondel<strong>et</strong>tes</strong> de Daubechies<br />

Moments de φ,<br />

convergence de W j f → f<br />

<strong>Ondel<strong>et</strong>tes</strong> de Coifman<br />

Approximation non linéaire<br />

D’autres espaces<br />

Calcul<br />

Zoologie des<br />

ondel<strong>et</strong>tes<br />

Autres applications


Approximation non linéaire<br />

N plus grands coefficients<br />

L’approximation non linéaire optimale ANLf d’une fonction f<br />

avec N coefficients est<br />

ANLf =<br />

N−1<br />

<br />

n=0<br />

cinen, avec |ci0 | ≥ |ci1 | ≥ |ci2 | ≥ . . .<br />

ANLf minimise l’erreur avec N coefficients sur c<strong>et</strong>te base.<br />

Comment la calculer<br />

Impossible sans calculer tous les coefficients. Mais on peut<br />

s’en approcher. Exemple, la transformée en ondel<strong>et</strong>tes : on<br />

calcule W0f , puis on calcule successivement W1f , W2f , . . . .<br />

À chaque étape, on ne garde que les coefs au dessus d’un<br />

certain seuil <strong>et</strong> on ne «creuse» que là où les coefficients sont<br />

grands.<br />

<strong>Ondel<strong>et</strong>tes</strong> <strong>et</strong><br />

<strong>analyse</strong> <strong>numérique</strong><br />

J. Houdayer<br />

Introduction<br />

Bases d’ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong><br />

approximation<br />

Moments de ψ,<br />

convergence de f j → f<br />

<strong>Ondel<strong>et</strong>tes</strong> de Daubechies<br />

Moments de φ,<br />

convergence de W j f → f<br />

<strong>Ondel<strong>et</strong>tes</strong> de Coifman<br />

Approximation non linéaire<br />

D’autres espaces<br />

Calcul<br />

Zoologie des<br />

ondel<strong>et</strong>tes<br />

Autres applications


Erreur de l’approximation non linéaire<br />

Peu de coefficients autour de la singularité<br />

Pour f de classe C m avec un point de discontinuité P.<br />

A = {(j, k)|P ∈ supp(ψjk)} <strong>et</strong> B son complémentaire.<br />

Dans A : djk = O(2 −j/2 ), dans B : djk = O(2 −j(m+1/2) ).<br />

L’ordre des djk est donc . . . 2 j − L de B, 2mL de A, 2 j+1 − L<br />

de B, 2mL de A, 2 j+2 − L . . .<br />

Convergence indépendante des singularités<br />

Pour f de classe C m à support compact, m ≤ p + 1 avec un<br />

nombre fini de discontinuités<br />

εNLf = O(N −m )<br />

<strong>Ondel<strong>et</strong>tes</strong> <strong>et</strong><br />

<strong>analyse</strong> <strong>numérique</strong><br />

J. Houdayer<br />

Introduction<br />

Bases d’ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong><br />

approximation<br />

Moments de ψ,<br />

convergence de f j → f<br />

<strong>Ondel<strong>et</strong>tes</strong> de Daubechies<br />

Moments de φ,<br />

convergence de W j f → f<br />

<strong>Ondel<strong>et</strong>tes</strong> de Coifman<br />

Approximation non linéaire<br />

D’autres espaces<br />

Calcul<br />

Zoologie des<br />

ondel<strong>et</strong>tes<br />

Autres applications


Visualisation des djk avec Daubechies 1<br />

<strong>Ondel<strong>et</strong>tes</strong> <strong>et</strong><br />

<strong>analyse</strong> <strong>numérique</strong><br />

J. Houdayer<br />

Introduction<br />

Bases d’ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong><br />

approximation<br />

Moments de ψ,<br />

convergence de f j → f<br />

<strong>Ondel<strong>et</strong>tes</strong> de Daubechies<br />

Moments de φ,<br />

convergence de W j f → f<br />

<strong>Ondel<strong>et</strong>tes</strong> de Coifman<br />

Approximation non linéaire<br />

D’autres espaces<br />

Calcul<br />

Zoologie des<br />

ondel<strong>et</strong>tes<br />

Autres applications


Visualisation des djk avec Daubechies 5<br />

<strong>Ondel<strong>et</strong>tes</strong> <strong>et</strong><br />

<strong>analyse</strong> <strong>numérique</strong><br />

J. Houdayer<br />

Introduction<br />

Bases d’ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong><br />

approximation<br />

Moments de ψ,<br />

convergence de f j → f<br />

<strong>Ondel<strong>et</strong>tes</strong> de Daubechies<br />

Moments de φ,<br />

convergence de W j f → f<br />

<strong>Ondel<strong>et</strong>tes</strong> de Coifman<br />

Approximation non linéaire<br />

D’autres espaces<br />

Calcul<br />

Zoologie des<br />

ondel<strong>et</strong>tes<br />

Autres applications


Plan du cours<br />

Introduction<br />

Bases d’ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong> approximation<br />

D’autres espaces<br />

<strong>Ondel<strong>et</strong>tes</strong> multidimensionnelles<br />

Bords<br />

Espaces de Sobolev<br />

Calcul<br />

Zoologie des ondel<strong>et</strong>tes<br />

Autres applications<br />

<strong>Ondel<strong>et</strong>tes</strong> <strong>et</strong><br />

<strong>analyse</strong> <strong>numérique</strong><br />

J. Houdayer<br />

Introduction<br />

Bases d’ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong><br />

approximation<br />

D’autres espaces<br />

<strong>Ondel<strong>et</strong>tes</strong><br />

multidimensionnelles<br />

Bords<br />

Espaces de Sobolev<br />

Calcul<br />

Zoologie des<br />

ondel<strong>et</strong>tes<br />

Autres applications


Plan du cours<br />

Introduction<br />

Bases d’ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong> approximation<br />

D’autres espaces<br />

<strong>Ondel<strong>et</strong>tes</strong> multidimensionnelles<br />

Bords<br />

Espaces de Sobolev<br />

Calcul<br />

Zoologie des ondel<strong>et</strong>tes<br />

Autres applications<br />

<strong>Ondel<strong>et</strong>tes</strong> <strong>et</strong><br />

<strong>analyse</strong> <strong>numérique</strong><br />

J. Houdayer<br />

Introduction<br />

Bases d’ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong><br />

approximation<br />

D’autres espaces<br />

<strong>Ondel<strong>et</strong>tes</strong><br />

multidimensionnelles<br />

Bords<br />

Espaces de Sobolev<br />

Calcul<br />

Zoologie des<br />

ondel<strong>et</strong>tes<br />

Autres applications


Une approche trop simple<br />

Produit tensoriel global<br />

Si {ψjk}j,k∈Z est une base orthonormale de L 2 (R) alors<br />

{ψj1,k1 (t1)ψj2,k2 (t2)}j1,k1,j2,k2∈Z est une base de orthonormale<br />

de L 2 (R 2 )<br />

Quelques problèmes<br />

◮ beaucoup d’indices : 2d<br />

◮ mélange d’échelle entre différentes dimensions<br />

◮ pas de bonnes propriétés (plus de niveaux)<br />

<strong>Ondel<strong>et</strong>tes</strong> <strong>et</strong><br />

<strong>analyse</strong> <strong>numérique</strong><br />

J. Houdayer<br />

Introduction<br />

Bases d’ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong><br />

approximation<br />

D’autres espaces<br />

<strong>Ondel<strong>et</strong>tes</strong><br />

multidimensionnelles<br />

Bords<br />

Espaces de Sobolev<br />

Calcul<br />

Zoologie des<br />

ondel<strong>et</strong>tes<br />

Autres applications


Multirésolution bidimensionnelle<br />

Produit tensoriel des espaces Vj<br />

V 2<br />

j = Vj ⊗ Vj<br />

φ 2 jk(t) = φjk1 (t1)φjk2 (t2), avec k = (k1, k2), t = (t1, t2)<br />

Espace W 2<br />

j<br />

{φ 2 jk} k∈Z 2 est une base orthonormale de V 2<br />

j<br />

V 2<br />

j+1 = Vj+1 ⊗ Vj+1<br />

= (Vj ⊕ Wj) ⊗ (Vj ⊕ Wj)<br />

= (Vj ⊗ Vj)<br />

⊕ (Vj ⊗ Wj) ⊕ (Wj ⊗ Vj) ⊕ (Wj ⊗ Wj)<br />

<br />

V 2<br />

j+1 = V 2<br />

j ⊕ W 2<br />

j<br />

<strong>Ondel<strong>et</strong>tes</strong> <strong>et</strong><br />

<strong>analyse</strong> <strong>numérique</strong><br />

J. Houdayer<br />

Introduction<br />

Bases d’ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong><br />

approximation<br />

D’autres espaces<br />

<strong>Ondel<strong>et</strong>tes</strong><br />

multidimensionnelles<br />

Bords<br />

Espaces de Sobolev<br />

Calcul<br />

Zoologie des<br />

ondel<strong>et</strong>tes<br />

Autres applications


Base d’ondel<strong>et</strong>tes bidimensionnelles<br />

Base orthonormale de W 2<br />

j<br />

ψ 2,1<br />

jk (t) = φjk1 (t1)ψjk2 (t2)<br />

ψ 2,2<br />

jk (t) = ψjk1 (t1)φjk2 (t2)<br />

ψ 2,3<br />

jk (t) = ψjk1 (t1)ψjk2 (t2)<br />

Décomposition d’une fonction<br />

f = <br />

k∈Z 2<br />

cj0kφ 2 j0k +<br />

∞ <br />

j=j0 k∈Z2 3<br />

d<br />

r=1<br />

r j0kψ 2,r<br />

jk<br />

<strong>Ondel<strong>et</strong>tes</strong> <strong>et</strong><br />

<strong>analyse</strong> <strong>numérique</strong><br />

J. Houdayer<br />

Introduction<br />

Bases d’ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong><br />

approximation<br />

D’autres espaces<br />

<strong>Ondel<strong>et</strong>tes</strong><br />

multidimensionnelles<br />

Bords<br />

Espaces de Sobolev<br />

Calcul<br />

Zoologie des<br />

ondel<strong>et</strong>tes<br />

Autres applications


En dimension d<br />

Multirésolution<br />

Bases<br />

φ d jk(t) =<br />

t = (t1, . . . , td), k = (k1, . . . , kd)<br />

V d<br />

d<br />

j = Vj, V d<br />

j+1 = V d<br />

j ⊕ W d<br />

j<br />

d<br />

i=1<br />

i=1<br />

φjki (ti), ψ d,r<br />

jk (t) =<br />

d<br />

i=1<br />

θ ri<br />

jki (ti)<br />

θ 0 = φ, θ 1 = ψ, r = r1r2 . . . rd en binaire<br />

f = <br />

k∈Z d<br />

cj0kφ d j0k +<br />

∞<br />

<br />

2d <br />

j=j0 k∈Zd r=1<br />

d r j0kψ d,r<br />

jk<br />

<strong>Ondel<strong>et</strong>tes</strong> <strong>et</strong><br />

<strong>analyse</strong> <strong>numérique</strong><br />

J. Houdayer<br />

Introduction<br />

Bases d’ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong><br />

approximation<br />

D’autres espaces<br />

<strong>Ondel<strong>et</strong>tes</strong><br />

multidimensionnelles<br />

Bords<br />

Espaces de Sobolev<br />

Calcul<br />

Zoologie des<br />

ondel<strong>et</strong>tes<br />

Autres applications


Propriétés générales<br />

Convergence des coefficients (même conditions)<br />

◮ d r jk<br />

= O(2−j(nr m+ d<br />

2 ) ) où nr = ri<br />

◮ cjk = 1<br />

f<br />

2jd/2 k<br />

2 j<br />

<br />

d<br />

−j(m+<br />

+ O(2 2 ) )<br />

Transformée en ondel<strong>et</strong>tes<br />

L’algorithme de Mallat se factorise, O(dLN) opérations<br />

Wjf = 1<br />

2 jd/2<br />

<br />

k∈Z d<br />

f<br />

<br />

k<br />

2j <br />

Convergence globale (mêmes conditions)<br />

◮ f − fj = O(2 −jm ) = O(N −m/d )<br />

◮ f − Wjf = O(2 −jm ) = O(N −m/d )<br />

◮ Approximation non linéaire εNLf = O(N −m/d )<br />

<strong>Ondel<strong>et</strong>tes</strong> <strong>et</strong><br />

<strong>analyse</strong> <strong>numérique</strong><br />

J. Houdayer<br />

Introduction<br />

Bases d’ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong><br />

approximation<br />

D’autres espaces<br />

<strong>Ondel<strong>et</strong>tes</strong><br />

multidimensionnelles<br />

Bords<br />

Espaces de Sobolev<br />

Calcul<br />

Zoologie des<br />

ondel<strong>et</strong>tes<br />

Autres applications


Plan du cours<br />

Introduction<br />

Bases d’ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong> approximation<br />

D’autres espaces<br />

<strong>Ondel<strong>et</strong>tes</strong> multidimensionnelles<br />

Bords<br />

Espaces de Sobolev<br />

Calcul<br />

Zoologie des ondel<strong>et</strong>tes<br />

Autres applications<br />

<strong>Ondel<strong>et</strong>tes</strong> <strong>et</strong><br />

<strong>analyse</strong> <strong>numérique</strong><br />

J. Houdayer<br />

Introduction<br />

Bases d’ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong><br />

approximation<br />

D’autres espaces<br />

<strong>Ondel<strong>et</strong>tes</strong><br />

multidimensionnelles<br />

Bords<br />

Espaces de Sobolev<br />

Calcul<br />

Zoologie des<br />

ondel<strong>et</strong>tes<br />

Autres applications


Trois stratégies<br />

Repliement<br />

◮ <strong>Ondel<strong>et</strong>tes</strong> périodiques<br />

◮ <strong>Ondel<strong>et</strong>tes</strong> symétriques<br />

Adaptation<br />

On fabrique des ondel<strong>et</strong>tes particulières qui s’adaptent aux<br />

bords <strong>et</strong> on décompose la fonction sur ces ondel<strong>et</strong>tes.<br />

Extension<br />

On ne change pas les ondel<strong>et</strong>tes <strong>et</strong> on considère des<br />

fonctions s’étendant au delà du bord <strong>et</strong> on se restreint à la<br />

zone intérieure.<br />

<strong>Ondel<strong>et</strong>tes</strong> <strong>et</strong><br />

<strong>analyse</strong> <strong>numérique</strong><br />

J. Houdayer<br />

Introduction<br />

Bases d’ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong><br />

approximation<br />

D’autres espaces<br />

<strong>Ondel<strong>et</strong>tes</strong><br />

multidimensionnelles<br />

Bords<br />

Espaces de Sobolev<br />

Calcul<br />

Zoologie des<br />

ondel<strong>et</strong>tes<br />

Autres applications


<strong>Ondel<strong>et</strong>tes</strong> périodiques<br />

Extension périodique (comme Fourier)<br />

Pour représenter f ∈ L 2 ([0, 1]), on considère son extension<br />

périodique de période 1 (on identifie t <strong>et</strong> t + n pour n ∈ Z).<br />

Cela revient à identifier cjk, djk, φjk <strong>et</strong> ψjk avec c j(k+2 j n),<br />

d j(k+2 j n), φ j(k+2 j n) <strong>et</strong> ψ j(k+2 j n).<br />

Caractéristiques<br />

◮ Simplicité<br />

◮ Discontinuité en 0 <strong>et</strong> 1<br />

◮ Pas de conditions aux bords possibles<br />

<strong>Ondel<strong>et</strong>tes</strong> <strong>et</strong><br />

<strong>analyse</strong> <strong>numérique</strong><br />

J. Houdayer<br />

Introduction<br />

Bases d’ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong><br />

approximation<br />

D’autres espaces<br />

<strong>Ondel<strong>et</strong>tes</strong><br />

multidimensionnelles<br />

Bords<br />

Espaces de Sobolev<br />

Calcul<br />

Zoologie des<br />

ondel<strong>et</strong>tes<br />

Autres applications


Repliement des ondel<strong>et</strong>tes périodiques<br />

Les ondel<strong>et</strong>tes changent<br />

C’est équivalent à créer des ondel<strong>et</strong>tes à support dans [0, 1]<br />

en repliant celles de L 2 (R) (en identifiant encore t <strong>et</strong> t + n).<br />

Les ondel<strong>et</strong>tes qui croisent les points 0 <strong>et</strong> 1, se replient <strong>et</strong> ne<br />

vérifient plus les conditions de moments nuls.<br />

Les ondel<strong>et</strong>tes repliées vérifient ˜φjk = 2 −j/2 pour j ≤ 0 <strong>et</strong><br />

˜ψjk = 0 pour j < 0. Niveau de base naturel j0 = 0.<br />

Visualisation<br />

1.0<br />

0.5<br />

0.0<br />

0.5<br />

0.2 0.4 0.6 0.8 1.0<br />

<strong>Ondel<strong>et</strong>tes</strong> <strong>et</strong><br />

<strong>analyse</strong> <strong>numérique</strong><br />

J. Houdayer<br />

Introduction<br />

Bases d’ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong><br />

approximation<br />

D’autres espaces<br />

<strong>Ondel<strong>et</strong>tes</strong><br />

multidimensionnelles<br />

Bords<br />

Espaces de Sobolev<br />

Calcul<br />

Zoologie des<br />

ondel<strong>et</strong>tes<br />

Autres applications


Repliement des ondel<strong>et</strong>tes périodiques<br />

Les ondel<strong>et</strong>tes changent<br />

C’est équivalent à créer des ondel<strong>et</strong>tes à support dans [0, 1]<br />

en repliant celles de L 2 (R) (en identifiant encore t <strong>et</strong> t + n).<br />

Les ondel<strong>et</strong>tes qui croisent les points 0 <strong>et</strong> 1, se replient <strong>et</strong> ne<br />

vérifient plus les conditions de moments nuls.<br />

Les ondel<strong>et</strong>tes repliées vérifient ˜φjk = 2 −j/2 pour j ≤ 0 <strong>et</strong><br />

˜ψjk = 0 pour j < 0. Niveau de base naturel j0 = 0.<br />

Visualisation<br />

1.0<br />

0.5<br />

0.0<br />

0.5 0.5<br />

0.2 0.4 0.6 0.8 1.0<br />

<strong>Ondel<strong>et</strong>tes</strong> <strong>et</strong><br />

<strong>analyse</strong> <strong>numérique</strong><br />

J. Houdayer<br />

Introduction<br />

Bases d’ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong><br />

approximation<br />

D’autres espaces<br />

<strong>Ondel<strong>et</strong>tes</strong><br />

multidimensionnelles<br />

Bords<br />

Espaces de Sobolev<br />

Calcul<br />

Zoologie des<br />

ondel<strong>et</strong>tes<br />

Autres applications


Repliement des ondel<strong>et</strong>tes périodiques<br />

Les ondel<strong>et</strong>tes changent<br />

C’est équivalent à créer des ondel<strong>et</strong>tes à support dans [0, 1]<br />

en repliant celles de L 2 (R) (en identifiant encore t <strong>et</strong> t + n).<br />

Les ondel<strong>et</strong>tes qui croisent les points 0 <strong>et</strong> 1, se replient <strong>et</strong> ne<br />

vérifient plus les conditions de moments nuls.<br />

Les ondel<strong>et</strong>tes repliées vérifient ˜φjk = 2 −j/2 pour j ≤ 0 <strong>et</strong><br />

˜ψjk = 0 pour j < 0. Niveau de base naturel j0 = 0.<br />

Visualisation<br />

1.0<br />

0.5<br />

0.0<br />

0.5 0.5 0.5<br />

0.2 0.4 0.6 0.8 1.0<br />

<strong>Ondel<strong>et</strong>tes</strong> <strong>et</strong><br />

<strong>analyse</strong> <strong>numérique</strong><br />

J. Houdayer<br />

Introduction<br />

Bases d’ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong><br />

approximation<br />

D’autres espaces<br />

<strong>Ondel<strong>et</strong>tes</strong><br />

multidimensionnelles<br />

Bords<br />

Espaces de Sobolev<br />

Calcul<br />

Zoologie des<br />

ondel<strong>et</strong>tes<br />

Autres applications


Repliement des ondel<strong>et</strong>tes périodiques<br />

Les ondel<strong>et</strong>tes changent<br />

C’est équivalent à créer des ondel<strong>et</strong>tes à support dans [0, 1]<br />

en repliant celles de L 2 (R) (en identifiant encore t <strong>et</strong> t + n).<br />

Les ondel<strong>et</strong>tes qui croisent les points 0 <strong>et</strong> 1, se replient <strong>et</strong> ne<br />

vérifient plus les conditions de moments nuls.<br />

Les ondel<strong>et</strong>tes repliées vérifient ˜φjk = 2 −j/2 pour j ≤ 0 <strong>et</strong><br />

˜ψjk = 0 pour j < 0. Niveau de base naturel j0 = 0.<br />

Visualisation<br />

1.0<br />

0.5<br />

0.0<br />

0.5 0.5 0.5 0.5<br />

0.2 0.4 0.6 0.8 1.0<br />

<strong>Ondel<strong>et</strong>tes</strong> <strong>et</strong><br />

<strong>analyse</strong> <strong>numérique</strong><br />

J. Houdayer<br />

Introduction<br />

Bases d’ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong><br />

approximation<br />

D’autres espaces<br />

<strong>Ondel<strong>et</strong>tes</strong><br />

multidimensionnelles<br />

Bords<br />

Espaces de Sobolev<br />

Calcul<br />

Zoologie des<br />

ondel<strong>et</strong>tes<br />

Autres applications


Repliement des ondel<strong>et</strong>tes périodiques<br />

Les ondel<strong>et</strong>tes changent<br />

C’est équivalent à créer des ondel<strong>et</strong>tes à support dans [0, 1]<br />

en repliant celles de L 2 (R) (en identifiant encore t <strong>et</strong> t + n).<br />

Les ondel<strong>et</strong>tes qui croisent les points 0 <strong>et</strong> 1, se replient <strong>et</strong> ne<br />

vérifient plus les conditions de moments nuls.<br />

Les ondel<strong>et</strong>tes repliées vérifient ˜φjk = 2 −j/2 pour j ≤ 0 <strong>et</strong><br />

˜ψjk = 0 pour j < 0. Niveau de base naturel j0 = 0.<br />

Visualisation<br />

1.0<br />

0.5<br />

0.0<br />

0.5 0.5 0.5 0.5 0.5<br />

0.2 0.4 0.6 0.8 1.0<br />

<strong>Ondel<strong>et</strong>tes</strong> <strong>et</strong><br />

<strong>analyse</strong> <strong>numérique</strong><br />

J. Houdayer<br />

Introduction<br />

Bases d’ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong><br />

approximation<br />

D’autres espaces<br />

<strong>Ondel<strong>et</strong>tes</strong><br />

multidimensionnelles<br />

Bords<br />

Espaces de Sobolev<br />

Calcul<br />

Zoologie des<br />

ondel<strong>et</strong>tes<br />

Autres applications


<strong>Ondel<strong>et</strong>tes</strong> symétriques<br />

Extension périodique symétrique (comme Fourier réel)<br />

f ∈ L 2 ([0, 1]) → extension paire périodique de période 2.<br />

Identification de t avec −t <strong>et</strong> t + 2n. Il faut φ pair <strong>et</strong> ψ<br />

symétrique autour de 1/2.<br />

Caractéristiques<br />

◮ Simplicité<br />

◮ Continuité en 0 <strong>et</strong> 1, mais discontinuité de la dérivée<br />

◮ Pas de conditions aux bords possibles<br />

<strong>Ondel<strong>et</strong>tes</strong> <strong>et</strong><br />

<strong>analyse</strong> <strong>numérique</strong><br />

J. Houdayer<br />

Introduction<br />

Bases d’ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong><br />

approximation<br />

D’autres espaces<br />

<strong>Ondel<strong>et</strong>tes</strong><br />

multidimensionnelles<br />

Bords<br />

Espaces de Sobolev<br />

Calcul<br />

Zoologie des<br />

ondel<strong>et</strong>tes<br />

Autres applications


<strong>Ondel<strong>et</strong>tes</strong> symétriques<br />

Extension périodique symétrique (comme Fourier réel)<br />

f ∈ L 2 ([0, 1]) → extension paire périodique de période 2.<br />

Identification de t avec −t <strong>et</strong> t + 2n. Il faut φ pair <strong>et</strong> ψ<br />

symétrique autour de 1/2.<br />

Caractéristiques<br />

◮ Simplicité<br />

◮ Continuité en 0 <strong>et</strong> 1, mais discontinuité de la dérivée<br />

◮ Pas de conditions aux bords possibles<br />

◮ Il n’existe pas d’ondel<strong>et</strong>tes orthogonales symétriques<br />

<strong>Ondel<strong>et</strong>tes</strong> <strong>et</strong><br />

<strong>analyse</strong> <strong>numérique</strong><br />

J. Houdayer<br />

Introduction<br />

Bases d’ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong><br />

approximation<br />

D’autres espaces<br />

<strong>Ondel<strong>et</strong>tes</strong><br />

multidimensionnelles<br />

Bords<br />

Espaces de Sobolev<br />

Calcul<br />

Zoologie des<br />

ondel<strong>et</strong>tes<br />

Autres applications


<strong>Ondel<strong>et</strong>tes</strong> symétriques<br />

Extension périodique symétrique (comme Fourier réel)<br />

f ∈ L 2 ([0, 1]) → extension paire périodique de période 2.<br />

Identification de t avec −t <strong>et</strong> t + 2n. Il faut φ pair <strong>et</strong> ψ<br />

symétrique autour de 1/2.<br />

Caractéristiques<br />

◮ Simplicité<br />

◮ Continuité en 0 <strong>et</strong> 1, mais discontinuité de la dérivée<br />

◮ Pas de conditions aux bords possibles<br />

◮ Il n’existe pas d’ondel<strong>et</strong>tes orthogonales symétriques<br />

◮ Possible avec les ondel<strong>et</strong>tes biorthogonales<br />

<strong>Ondel<strong>et</strong>tes</strong> <strong>et</strong><br />

<strong>analyse</strong> <strong>numérique</strong><br />

J. Houdayer<br />

Introduction<br />

Bases d’ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong><br />

approximation<br />

D’autres espaces<br />

<strong>Ondel<strong>et</strong>tes</strong><br />

multidimensionnelles<br />

Bords<br />

Espaces de Sobolev<br />

Calcul<br />

Zoologie des<br />

ondel<strong>et</strong>tes<br />

Autres applications


<strong>Ondel<strong>et</strong>tes</strong> de bord<br />

Multirésolution sur R +<br />

Mêmes propriétés qu’une multirésolution sauf invariance par<br />

translation. Base orthonormale de V0 : intérieur<br />

{φ(t − n)}nL≤n, bord : {φL(t)}k=1...mL k . Équation d’échelle<br />

habituelle pour φ <strong>et</strong> mL équations d’échelle particulières<br />

pour les φL k .<br />

Passage à l’intervalle<br />

Pour j ≥ j0, on peut faire la même construction des deux<br />

côtés. On perd l’invariance d’échelle. Base d’un Vj :<br />

{φL (t)}k=1...mL jk à gauche, {φjk}nL,j≤k≤nR,j au milieu <strong>et</strong><br />

{φR (t)}k=1...mR jk à droite.<br />

<strong>Ondel<strong>et</strong>tes</strong> <strong>et</strong><br />

<strong>analyse</strong> <strong>numérique</strong><br />

J. Houdayer<br />

Introduction<br />

Bases d’ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong><br />

approximation<br />

D’autres espaces<br />

<strong>Ondel<strong>et</strong>tes</strong><br />

multidimensionnelles<br />

Bords<br />

Espaces de Sobolev<br />

Calcul<br />

Zoologie des<br />

ondel<strong>et</strong>tes<br />

Autres applications


<strong>Ondel<strong>et</strong>tes</strong> de bord de Daubechies<br />

Idées pour la construction : On translate φ pour avoir<br />

supp(φ) = [−p, p + 1]<br />

On note IL = {k ∈ Z|0 ∈ supp(φ0k)}, ce sont les ondel<strong>et</strong>tes<br />

que l’on va transformer. Dans R, on écrit pour r ≤ p<br />

t r = <br />

qrkφ(t − k)<br />

k∈Z<br />

ur = <br />

qrkφ0k| R +<br />

k∈IL<br />

Les ur sont orthogonaux aux {φ0k} k /∈IL <strong>et</strong> sont linéairement<br />

indépendants. Orthonormalisation de Gram-Schmidt → φL k .<br />

Par construction, l’espace V0 engendré par les {φL}k∈IL k <strong>et</strong><br />

les {φ0k} k /∈IL contient les polynômes de degré inférieur à p.<br />

Donc les ψ associés (qu’il reste à construire) ont leurs<br />

moments nuls jusqu’à l’ordre p.<br />

<strong>Ondel<strong>et</strong>tes</strong> <strong>et</strong><br />

<strong>analyse</strong> <strong>numérique</strong><br />

J. Houdayer<br />

Introduction<br />

Bases d’ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong><br />

approximation<br />

D’autres espaces<br />

<strong>Ondel<strong>et</strong>tes</strong><br />

multidimensionnelles<br />

Bords<br />

Espaces de Sobolev<br />

Calcul<br />

Zoologie des<br />

ondel<strong>et</strong>tes<br />

Autres applications


Conditions aux bords<br />

Dans la construction précédente, φL k (t) est un polynôme de<br />

degré k au voisinage de 0. Avec une rotation de la base des<br />

φ L k<br />

(t), on peut adapter les éléments de c<strong>et</strong>te base à<br />

n’importe quel jeu de conditions linéaires entre les dérivées<br />

au bord. C’est-à-dire que fixer un jeux de conditions aux<br />

bords revient à fixer les premiers coefficients cj0k (tous les<br />

autres coefficients étant «orthogonaux» à ces conditions).<br />

Faire c<strong>et</strong>te rotation nécessite un recalcul des ψ k L associés.<br />

<strong>Ondel<strong>et</strong>tes</strong> <strong>et</strong><br />

<strong>analyse</strong> <strong>numérique</strong><br />

J. Houdayer<br />

Introduction<br />

Bases d’ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong><br />

approximation<br />

D’autres espaces<br />

<strong>Ondel<strong>et</strong>tes</strong><br />

multidimensionnelles<br />

Bords<br />

Espaces de Sobolev<br />

Calcul<br />

Zoologie des<br />

ondel<strong>et</strong>tes<br />

Autres applications


Caractéristiques des ondel<strong>et</strong>tes de bord<br />

◮ Difficile de les fabriquer (pas d’ondel<strong>et</strong>tes de bord de<br />

Coifman à ma connaissance)<br />

◮ Difficile à utiliser, plus d’invariance par translation :<br />

tous les algorithmes doivent gérer explicitement les<br />

bords <strong>et</strong> leurs équations d’échelle spécifiques<br />

(algorithme de Mallat, dérivation(sic), . . . )<br />

◮ Application possible de conditions aux bords<br />

quelconques (libres, valeur fixée, dérivée fixée, relation<br />

entre dérivées, . . . )<br />

<strong>Ondel<strong>et</strong>tes</strong> <strong>et</strong><br />

<strong>analyse</strong> <strong>numérique</strong><br />

J. Houdayer<br />

Introduction<br />

Bases d’ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong><br />

approximation<br />

D’autres espaces<br />

<strong>Ondel<strong>et</strong>tes</strong><br />

multidimensionnelles<br />

Bords<br />

Espaces de Sobolev<br />

Calcul<br />

Zoologie des<br />

ondel<strong>et</strong>tes<br />

Autres applications


Méthode d’extension<br />

Idée<br />

On ne touche plus aux ondel<strong>et</strong>tes, mais à la fonction. La<br />

fonction est étendue à un domaine plus grand (R par<br />

exemple). Les conditions aux bords sont appliquées<br />

indirectement.<br />

Caractéristiques<br />

◮ Simplicité : invariance par translation, les algorithmes<br />

ne s’occupent (presque pas) des bords<br />

◮ Flexibilité : possibilité de définir des domaines de forme<br />

quelconque<br />

◮ Conditions aux bords à appliquer avec des pénalités<br />

◮ Temps de calcul augmenté : il faut gérer la fonction sur<br />

un domaine plus grand<br />

◮ Comment étendre la fonction ?<br />

<strong>Ondel<strong>et</strong>tes</strong> <strong>et</strong><br />

<strong>analyse</strong> <strong>numérique</strong><br />

J. Houdayer<br />

Introduction<br />

Bases d’ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong><br />

approximation<br />

D’autres espaces<br />

<strong>Ondel<strong>et</strong>tes</strong><br />

multidimensionnelles<br />

Bords<br />

Espaces de Sobolev<br />

Calcul<br />

Zoologie des<br />

ondel<strong>et</strong>tes<br />

Autres applications


Plan du cours<br />

Introduction<br />

Bases d’ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong> approximation<br />

D’autres espaces<br />

<strong>Ondel<strong>et</strong>tes</strong> multidimensionnelles<br />

Bords<br />

Espaces de Sobolev<br />

Calcul<br />

Zoologie des ondel<strong>et</strong>tes<br />

Autres applications<br />

<strong>Ondel<strong>et</strong>tes</strong> <strong>et</strong><br />

<strong>analyse</strong> <strong>numérique</strong><br />

J. Houdayer<br />

Introduction<br />

Bases d’ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong><br />

approximation<br />

D’autres espaces<br />

<strong>Ondel<strong>et</strong>tes</strong><br />

multidimensionnelles<br />

Bords<br />

Espaces de Sobolev<br />

Calcul<br />

Zoologie des<br />

ondel<strong>et</strong>tes<br />

Autres applications


Peut-on représenter un pic delta ?<br />

Eff<strong>et</strong> de la dérivation sur les djk<br />

On verra plus loin que<br />

djk = O(2 −jr ) ⇒ d ′ jk = O(2 −j(r−1) )<br />

1<br />

−j(m+ cohérent avec djk = O(2 2 ) ) pour f de classe C m<br />

Pic delta<br />

donc<br />

δ = θ ′ , avec θ(t) = 0 si t ≤ 0 <strong>et</strong> 1 sinon<br />

djk(θ) = O(2 −j/2 ) ⇒ djk(δ) = O(2 j/2 )<br />

δ /∈ L 2 (R), <br />

d 2 jk(δ) = ∞<br />

j≥0 k∈Z<br />

Comment représenter δ avec des ondel<strong>et</strong>tes ?<br />

<strong>Ondel<strong>et</strong>tes</strong> <strong>et</strong><br />

<strong>analyse</strong> <strong>numérique</strong><br />

J. Houdayer<br />

Introduction<br />

Bases d’ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong><br />

approximation<br />

D’autres espaces<br />

<strong>Ondel<strong>et</strong>tes</strong><br />

multidimensionnelles<br />

Bords<br />

Espaces de Sobolev<br />

Calcul<br />

Zoologie des<br />

ondel<strong>et</strong>tes<br />

Autres applications


Espace de Sobolev<br />

Définition<br />

Espace de Sobolev : H s ⊂ L 2 (R), s ∈ N est donné par<br />

H 0 = L 2 (R) <strong>et</strong> f ∈ H s ⇔ f , f ′ ∈ H s−1 .<br />

Généralisation à s ∈ R par (L 2 (R) ⊂ H s pour s ≤ 0)<br />

propriétés<br />

f ∈ H s ⇔<br />

+∞<br />

−∞<br />

(1 + ω 2 ) s | ˆ f (ω)| 2 dω < ∞<br />

H s espace de Hilbert avec une certaine norme .H s<br />

H s ⊂ C m pour s > m + 1<br />

2<br />

δ ∈ H −1<br />

<strong>Ondel<strong>et</strong>tes</strong> <strong>et</strong><br />

<strong>analyse</strong> <strong>numérique</strong><br />

J. Houdayer<br />

Introduction<br />

Bases d’ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong><br />

approximation<br />

D’autres espaces<br />

<strong>Ondel<strong>et</strong>tes</strong><br />

multidimensionnelles<br />

Bords<br />

Espaces de Sobolev<br />

Calcul<br />

Zoologie des<br />

ondel<strong>et</strong>tes<br />

Autres applications


Représentation des espaces de Sobolev<br />

Une nouvelle norme<br />

f 2 s = <br />

c 2 ∞ <br />

j0k + (2 js djk(f )) 2<br />

k∈Z<br />

j=j0 k∈Z<br />

On peut montrer que c<strong>et</strong>te norme est équivalente à la norme<br />

.Hs si s < p + 1 <strong>et</strong> ψ ∈ H|s|<br />

Conséquences<br />

f ∈ H s ⇔ f s < ∞<br />

La représentation en ondel<strong>et</strong>tes de f ∈ H s a du sens <strong>et</strong><br />

converge pour c<strong>et</strong>te norme.<br />

Les {2 −js ψjk}j,k∈Z forment une base orthonormale de H s<br />

pour la norme .s.<br />

<strong>Ondel<strong>et</strong>tes</strong> <strong>et</strong><br />

<strong>analyse</strong> <strong>numérique</strong><br />

J. Houdayer<br />

Introduction<br />

Bases d’ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong><br />

approximation<br />

D’autres espaces<br />

<strong>Ondel<strong>et</strong>tes</strong><br />

multidimensionnelles<br />

Bords<br />

Espaces de Sobolev<br />

Calcul<br />

Zoologie des<br />

ondel<strong>et</strong>tes<br />

Autres applications


Plan du cours<br />

Introduction<br />

Bases d’ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong> approximation<br />

D’autres espaces<br />

Calcul<br />

Dérivation<br />

Autres opérations<br />

Équations aux dérivées partielles<br />

Zoologie des ondel<strong>et</strong>tes<br />

Autres applications<br />

<strong>Ondel<strong>et</strong>tes</strong> <strong>et</strong><br />

<strong>analyse</strong> <strong>numérique</strong><br />

J. Houdayer<br />

Introduction<br />

Bases d’ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong><br />

approximation<br />

D’autres espaces<br />

Calcul<br />

Dérivation<br />

Autres opérations<br />

Équations aux dérivées<br />

partielles<br />

Zoologie des<br />

ondel<strong>et</strong>tes<br />

Autres applications


Plan du cours<br />

Introduction<br />

Bases d’ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong> approximation<br />

D’autres espaces<br />

Calcul<br />

Dérivation<br />

Autres opérations<br />

Équations aux dérivées partielles<br />

Zoologie des ondel<strong>et</strong>tes<br />

Autres applications<br />

<strong>Ondel<strong>et</strong>tes</strong> <strong>et</strong><br />

<strong>analyse</strong> <strong>numérique</strong><br />

J. Houdayer<br />

Introduction<br />

Bases d’ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong><br />

approximation<br />

D’autres espaces<br />

Calcul<br />

Dérivation<br />

Autres opérations<br />

Équations aux dérivées<br />

partielles<br />

Zoologie des<br />

ondel<strong>et</strong>tes<br />

Autres applications


Introduction<br />

Dérivation de la représentation<br />

f = <br />

∞ <br />

cj0kφj0k + djkψjk<br />

k∈Z<br />

j=j0 k∈Z<br />

f ′ = <br />

c<br />

k∈Z<br />

′ ∞ <br />

j0kφj0k + d<br />

j=j0 k∈Z<br />

′ jkψjk<br />

La dérivée est une opération linéaire, il suffit donc de<br />

calculer la décomposition en ondel<strong>et</strong>tes de φ ′ jk <strong>et</strong> de ψ′ jk .<br />

Coefficients de connexion<br />

Pour cela, il faut calculer<br />

A il<br />

jk = 〈φjk, φ ′ +∞<br />

il〉 = φjk(t)φ<br />

−∞<br />

′ il(t)dt,<br />

B il<br />

jk = 〈ψjk, φ ′ il〉 = −〈φil, ψ ′ jk〉, C il<br />

jk = 〈ψjk, ψ ′ il〉.<br />

<strong>Ondel<strong>et</strong>tes</strong> <strong>et</strong><br />

<strong>analyse</strong> <strong>numérique</strong><br />

J. Houdayer<br />

Introduction<br />

Bases d’ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong><br />

approximation<br />

D’autres espaces<br />

Calcul<br />

Dérivation<br />

Autres opérations<br />

Équations aux dérivées<br />

partielles<br />

Zoologie des<br />

ondel<strong>et</strong>tes<br />

Autres applications


Calcul des A il<br />

jk<br />

◮ A il<br />

+∞<br />

jk = φjk(t)φ<br />

−∞<br />

′ il(t)dt<br />

◮ Intégration par partie : Ail jk = −Ajk<br />

il<br />

◮ Changement de variable : Ail jk = 2iA (j−i)(k−2j−i l)<br />

avec i ≤ j <strong>et</strong> Ajk = A00 jk<br />

◮ Pour j ≥ 0, A (−j)k = −2jAj(−2 jk) ◮ Éq. d’échelle pour φ ′ : A (j+1)k = √ 2 <br />

n∈Z<br />

anA j(k−2 j n)<br />

◮ Par itération les Ak = A0k donnent tous les Ajk<br />

◮ Intégration par partie : A−k = −Ak<br />

◮ Support de φ : Ak = 0 pour k ≥ L<br />

◮ Tout se déduit de L − 1 nombres A1, A2, . . . , AL−1<br />

<strong>Ondel<strong>et</strong>tes</strong> <strong>et</strong><br />

<strong>analyse</strong> <strong>numérique</strong><br />

J. Houdayer<br />

Introduction<br />

Bases d’ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong><br />

approximation<br />

D’autres espaces<br />

Calcul<br />

Dérivation<br />

Autres opérations<br />

Équations aux dérivées<br />

partielles<br />

Zoologie des<br />

ondel<strong>et</strong>tes<br />

Autres applications


Coefficients de connexion fondamentaux Ak<br />

+∞<br />

◮ Ak =<br />

−∞<br />

φ(t − k)φ ′ (t)dt<br />

◮ Équation d’échelle pour φ :<br />

Ak = <br />

γn−2kAn, avec γk = <br />

n∈Z<br />

n∈Z<br />

anan+k<br />

◮ L − 1 équations pour L − 1 inconnues, parfait ? Non !<br />

Ces équations sont homogènes. Elles sont linéairement<br />

liées. Il faut une autre équation.<br />

◮ On suppose que ψ à un moment nul ( tψ(t) = 0), on<br />

écrit (avec M = tφ(t)dt)<br />

t = <br />

(k + M)φ0k = M +<br />

k∈Z<br />

<br />

kφ0k<br />

1 =<br />

k∈Z<br />

<br />

kφ<br />

k∈Z<br />

′ 0k<br />

<br />

kAk = −1<br />

k∈Z<br />

<strong>Ondel<strong>et</strong>tes</strong> <strong>et</strong><br />

<strong>analyse</strong> <strong>numérique</strong><br />

J. Houdayer<br />

Introduction<br />

Bases d’ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong><br />

approximation<br />

D’autres espaces<br />

Calcul<br />

Dérivation<br />

Autres opérations<br />

Équations aux dérivées<br />

partielles<br />

Zoologie des<br />

ondel<strong>et</strong>tes<br />

Autres applications


Autres coefficients de connexion<br />

◮ Bjk = B 00<br />

jk , Cjk = C 00<br />

jk , Bk = B0k, Ck = C0k<br />

◮ ηk = <br />

anbn+k, µk =<br />

n∈Z<br />

<br />

bnbn+k<br />

n∈Z<br />

◮ Pour i ≤ j : Bil jk = 2iB (j−i)(k−2j−i l),<br />

C il jk<br />

jk = −Cil = 2iC (j−i)(k−2j−i l)<br />

◮ Pour j ≥ 0 :<br />

B (j+1)k = √ 2 <br />

anBj(k−2 jn) n∈Z<br />

C (j+1)k = √ 2 <br />

bnBj(k−2 jn) n∈Z<br />

◮ Bk = <br />

ηn−2kAn, Ck =<br />

n<br />

<br />

µn−2kAn<br />

n<br />

<strong>Ondel<strong>et</strong>tes</strong> <strong>et</strong><br />

<strong>analyse</strong> <strong>numérique</strong><br />

J. Houdayer<br />

Introduction<br />

Bases d’ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong><br />

approximation<br />

D’autres espaces<br />

Calcul<br />

Dérivation<br />

Autres opérations<br />

Équations aux dérivées<br />

partielles<br />

Zoologie des<br />

ondel<strong>et</strong>tes<br />

Autres applications


La dérivée d’une décomposition en ondel<strong>et</strong>tes<br />

avec<br />

<strong>et</strong><br />

φ ′ j0l = <br />

k∈Z<br />

<br />

= 2 j0<br />

f ′ = <br />

cj0kφ ′ j0k + <br />

k∈Z<br />

A j0l<br />

j0k φj0k +<br />

k∈Z<br />

j=j0 k∈Z<br />

djkψ ′ jk<br />

∞ <br />

B<br />

j=j0 k∈Z<br />

j0l<br />

jk ψjk<br />

∞ <br />

B (j−j0)(k−2<br />

j=j0 k∈Z<br />

j−j0 l) ψjk<br />

Ak−lφj0k + 2 j0<br />

ψ ′ il = − <br />

B<br />

k∈Z<br />

j0k<br />

il φj0k<br />

∞ <br />

+ C<br />

j=j0 k∈Z<br />

il<br />

jkψjk<br />

= −2 j0<br />

<br />

B (i−j0)(l−2<br />

k∈Z<br />

i−j0 k) φj0k<br />

i−1<br />

<br />

j<br />

− 2 C (i−j)(l−2i−j k)ψjk<br />

j=j0 k∈Z<br />

<br />

i<br />

+ 2 C (j−i)(k−2j−i l)ψjk<br />

j≥i k∈Z<br />

<strong>Ondel<strong>et</strong>tes</strong> <strong>et</strong><br />

<strong>analyse</strong> <strong>numérique</strong><br />

J. Houdayer<br />

Introduction<br />

Bases d’ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong><br />

approximation<br />

D’autres espaces<br />

Calcul<br />

Dérivation<br />

Autres opérations<br />

Équations aux dérivées<br />

partielles<br />

Zoologie des<br />

ondel<strong>et</strong>tes<br />

Autres applications


Comportement de Bjk <strong>et</strong> des Cjk<br />

Décroissance lente<br />

φ ′ = <br />

∞ <br />

Akφ0k + Bjkψjk<br />

k∈Z<br />

j=0 k∈Z<br />

ψ ′ = − <br />

∞ <br />

B−kφ0k + Cjkψjk<br />

k∈Z<br />

j=0 k∈Z<br />

Si φ est de classe C m 1<br />

−j(m− , Bjk ∼ Cjk = O(2 2 ) ).<br />

Typiquement, beaucoup plus lent que les djk de f ′ .<br />

Compensations<br />

Beaucoup de termes se compensent, par exemple, si q ≤ p<br />

<br />

k q Bjk = 0, pour j ≥ 0<br />

k∈Z<br />

<br />

k∈Z<br />

k q Cjk = 0, pour j ≥ 1<br />

<strong>Ondel<strong>et</strong>tes</strong> <strong>et</strong><br />

<strong>analyse</strong> <strong>numérique</strong><br />

J. Houdayer<br />

Introduction<br />

Bases d’ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong><br />

approximation<br />

D’autres espaces<br />

Calcul<br />

Dérivation<br />

Autres opérations<br />

Équations aux dérivées<br />

partielles<br />

Zoologie des<br />

ondel<strong>et</strong>tes<br />

Autres applications


Liens avec la dérivée discrète<br />

(Wjf ) ′ = 2<br />

(Wjf ) ′ j = 2<br />

= 2<br />

−j/2 <br />

k∈Z<br />

<br />

−j/2<br />

k∈Z<br />

⎡<br />

<br />

−j/2 ⎣2 j<br />

k∈Z<br />

<br />

φ ′ jk<br />

<br />

k<br />

f<br />

2j <br />

k<br />

f<br />

2j <br />

2<br />

<br />

−L


Plan du cours<br />

Introduction<br />

Bases d’ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong> approximation<br />

D’autres espaces<br />

Calcul<br />

Dérivation<br />

Autres opérations<br />

Équations aux dérivées partielles<br />

Zoologie des ondel<strong>et</strong>tes<br />

Autres applications<br />

<strong>Ondel<strong>et</strong>tes</strong> <strong>et</strong><br />

<strong>analyse</strong> <strong>numérique</strong><br />

J. Houdayer<br />

Introduction<br />

Bases d’ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong><br />

approximation<br />

D’autres espaces<br />

Calcul<br />

Dérivation<br />

Autres opérations<br />

Équations aux dérivées<br />

partielles<br />

Zoologie des<br />

ondel<strong>et</strong>tes<br />

Autres applications


Coefficients de connexion généralisés<br />

Multiplication<br />

Pour déterminer la décomposition en ondel<strong>et</strong>tes d’un produit<br />

il faut calculer des coefficients (similaires aux Ail jk ) de la<br />

forme +∞<br />

φjk(t)φil(t)φpm(t)dt<br />

−∞<br />

ainsi que ceux avec φ ↔ ψ (similaires aux B il<br />

jk<br />

Dérivée seconde<br />

Généralisation fg ′ h (3)<br />

+∞<br />

−∞<br />

+∞<br />

−∞<br />

φjk(t)φ ′′<br />

il(t)dt<br />

φjk(t)φil(t)φ ′ pm(t)φ (3)<br />

rs (t)dt<br />

<strong>et</strong> C il<br />

jk ).<br />

<strong>Ondel<strong>et</strong>tes</strong> <strong>et</strong><br />

<strong>analyse</strong> <strong>numérique</strong><br />

J. Houdayer<br />

Introduction<br />

Bases d’ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong><br />

approximation<br />

D’autres espaces<br />

Calcul<br />

Dérivation<br />

Autres opérations<br />

Équations aux dérivées<br />

partielles<br />

Zoologie des<br />

ondel<strong>et</strong>tes<br />

Autres applications


Principe du calcul<br />

◮ Coefficients fondamentaux : Ail jk , Bil jk , C il<br />

jk se ramènent<br />

au calcul des Ak. On se ramène au calcul de<br />

+∞<br />

−∞<br />

φ(t)φ (d1)<br />

0k1 (t)φ(d2) 0k2<br />

(t) . . . dt<br />

◮ Équations d’échelles : En appliquant l’équation d’échelle<br />

on obtient un jeu d’équations linéaires homogènes avec<br />

des coefs de la forme ar0ar1 ar2 . . .<br />

◮ Équations de moments : On écrit tq = <br />

n cq n φ0n(t)<br />

pour q ≤ p, on dérive, on intègre <strong>et</strong> on obtient d’autres<br />

équations linéaires (dont certaines inhomogènes) avec<br />

des coefficients dépendants des c q n<br />

◮ il n’y a plus qu’à résoudre le système linéaire obtenu<br />

◮ <strong>et</strong> à en déduire la formule de multiplication / dérivation<br />

<strong>Ondel<strong>et</strong>tes</strong> <strong>et</strong><br />

<strong>analyse</strong> <strong>numérique</strong><br />

J. Houdayer<br />

Introduction<br />

Bases d’ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong><br />

approximation<br />

D’autres espaces<br />

Calcul<br />

Dérivation<br />

Autres opérations<br />

Équations aux dérivées<br />

partielles<br />

Zoologie des<br />

ondel<strong>et</strong>tes<br />

Autres applications


Application d’une fonction<br />

C’est facile <strong>et</strong> rapide<br />

Si on veut calculer exp(f ) :<br />

◮ transformée en ondel<strong>et</strong>tes inverse<br />

◮ application de la fonction exp aux valeurs ponctuelles<br />

◮ r<strong>et</strong>ransformation en ondel<strong>et</strong>tes<br />

Tout cela en temps O(LN)<br />

C’est aussi possible avec des fonctions à plusieurs variables<br />

f × g, f /g . . .<br />

Plus compliqué avec l’approximation non linéaire<br />

<strong>Ondel<strong>et</strong>tes</strong> <strong>et</strong><br />

<strong>analyse</strong> <strong>numérique</strong><br />

J. Houdayer<br />

Introduction<br />

Bases d’ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong><br />

approximation<br />

D’autres espaces<br />

Calcul<br />

Dérivation<br />

Autres opérations<br />

Équations aux dérivées<br />

partielles<br />

Zoologie des<br />

ondel<strong>et</strong>tes<br />

Autres applications


Autres opérations<br />

Produit scalaire<br />

〈f , g〉 = <br />

∞ <br />

cj0k(f )cj0k(g) + dj0k(f )dj0k(g)<br />

Intégration<br />

b<br />

a<br />

k∈Z<br />

f (t)dt =<br />

+∞<br />

−∞<br />

+∞<br />

−∞<br />

j=j0 k∈Z<br />

f (t)dt = <br />

k∈Z<br />

cj0k<br />

f (t) × 1 [a,b](t)dt = 〈f , 1 [a,b]〉<br />

Convolution : coefficients de connexion particuliers<br />

+∞ +∞<br />

−∞<br />

−∞<br />

φ(u − n)φ(u − t)φ(t)dtdu<br />

<strong>Ondel<strong>et</strong>tes</strong> <strong>et</strong><br />

<strong>analyse</strong> <strong>numérique</strong><br />

J. Houdayer<br />

Introduction<br />

Bases d’ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong><br />

approximation<br />

D’autres espaces<br />

Calcul<br />

Dérivation<br />

Autres opérations<br />

Équations aux dérivées<br />

partielles<br />

Zoologie des<br />

ondel<strong>et</strong>tes<br />

Autres applications


Plan du cours<br />

Introduction<br />

Bases d’ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong> approximation<br />

D’autres espaces<br />

Calcul<br />

Dérivation<br />

Autres opérations<br />

Équations aux dérivées partielles<br />

Zoologie des ondel<strong>et</strong>tes<br />

Autres applications<br />

<strong>Ondel<strong>et</strong>tes</strong> <strong>et</strong><br />

<strong>analyse</strong> <strong>numérique</strong><br />

J. Houdayer<br />

Introduction<br />

Bases d’ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong><br />

approximation<br />

D’autres espaces<br />

Calcul<br />

Dérivation<br />

Autres opérations<br />

Équations aux dérivées<br />

partielles<br />

Zoologie des<br />

ondel<strong>et</strong>tes<br />

Autres applications


Un cas simple<br />

Conditions aux bords périodiques<br />

−∆u + u = f<br />

sur un cube Ω = [0, 1] d avec des conditions périodiques.<br />

Pour f ∈ H −1 (Ω), il existe une unique solution dans H 1 (Ω).<br />

On peut réécrire c<strong>et</strong>te équation sous la forme<br />

Au = f<br />

où A = −∆ + Id est un opérateur symétrique défini positif.<br />

Résolution dans Vj<br />

Écrivons {en} la base d’ondel<strong>et</strong>tes de Vj, <strong>et</strong><br />

Anm = 〈en, Aem〉, un = 〈u, en〉 <strong>et</strong> fn = 〈en, f 〉. Il suffit alors<br />

de résoudre le système linéaire suivant<br />

<br />

Anmum = fn<br />

m<br />

<strong>Ondel<strong>et</strong>tes</strong> <strong>et</strong><br />

<strong>analyse</strong> <strong>numérique</strong><br />

J. Houdayer<br />

Introduction<br />

Bases d’ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong><br />

approximation<br />

D’autres espaces<br />

Calcul<br />

Dérivation<br />

Autres opérations<br />

Équations aux dérivées<br />

partielles<br />

Zoologie des<br />

ondel<strong>et</strong>tes<br />

Autres applications


Quid de l’approximation non linéaire ?<br />

Pas de matrice<br />

Dans l’approximation non linéaire, on ne connaît pas à<br />

l’avance les éléments de la base que l’on conserve, on ne<br />

peut alors pas écrire de matrice. On connaît seulement<br />

l’action de l’opérateur sur un vecteur donné. La matrice de<br />

l’opérateur A est généralement très creuse.<br />

Processus itératif<br />

Il nous faut donc un processus itératif, pour résoudre<br />

approximativement c<strong>et</strong>te équation en dimension infinie.<br />

L’idée est d’approximer un processus qui converge dans c<strong>et</strong><br />

espace de dimension infinie. La méthode de choix est celle<br />

dite des gradients conjugués (conjugate gradient m<strong>et</strong>hod).<br />

<strong>Ondel<strong>et</strong>tes</strong> <strong>et</strong><br />

<strong>analyse</strong> <strong>numérique</strong><br />

J. Houdayer<br />

Introduction<br />

Bases d’ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong><br />

approximation<br />

D’autres espaces<br />

Calcul<br />

Dérivation<br />

Autres opérations<br />

Équations aux dérivées<br />

partielles<br />

Zoologie des<br />

ondel<strong>et</strong>tes<br />

Autres applications


La méthode des gradients conjugués<br />

Pour A symétrique, défini, positif : ui → A −1 f<br />

d0 = r0 = f − Au0<br />

αi = 〈ri, ri〉<br />

〈di, Adi〉<br />

ui+1 = ui + αidi<br />

ri+1 = f − Aui+1 = ri − αiAdi<br />

di+1 = ri+1 + 〈ri+1, ri+1〉<br />

di<br />

〈ri, ri〉<br />

C<strong>et</strong> algorithme converge en n pas en dimension n. L’erreur<br />

est en O(e<br />

− 2M<br />

√ κ ) avec M : nombre d’itérations <strong>et</strong><br />

κ = λmax/λmin : conditionnement de A.<br />

En général avec les ondel<strong>et</strong>tes, on peut préconditionner A<br />

pour que κ reste borné quand le nombre de coefficients<br />

augmente.<br />

<strong>Ondel<strong>et</strong>tes</strong> <strong>et</strong><br />

<strong>analyse</strong> <strong>numérique</strong><br />

J. Houdayer<br />

Introduction<br />

Bases d’ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong><br />

approximation<br />

D’autres espaces<br />

Calcul<br />

Dérivation<br />

Autres opérations<br />

Équations aux dérivées<br />

partielles<br />

Zoologie des<br />

ondel<strong>et</strong>tes<br />

Autres applications


Et si A n’est pas symétrique défini positif ?<br />

Il existe beaucoup de variantes de la méthode des gradients<br />

conjugués, pour différentes situations. Dans tous les cas on<br />

peut passer à la formulation suivante<br />

u = min<br />

v Av − f 2<br />

en annulant la dérivée on obtient<br />

A T Au = A T f<br />

<strong>et</strong> A T A est symétrique défini positif.<br />

En revanche κ(A T A) = κ 2 (A).<br />

<strong>Ondel<strong>et</strong>tes</strong> <strong>et</strong><br />

<strong>analyse</strong> <strong>numérique</strong><br />

J. Houdayer<br />

Introduction<br />

Bases d’ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong><br />

approximation<br />

D’autres espaces<br />

Calcul<br />

Dérivation<br />

Autres opérations<br />

Équations aux dérivées<br />

partielles<br />

Zoologie des<br />

ondel<strong>et</strong>tes<br />

Autres applications


Conditions aux bords<br />

Exemple<br />

Au = f , sur Ω<br />

Bu = g, sur ∂Ω<br />

où Ω ⊂ R d (suffisamment régulier) <strong>et</strong> B linéaire de Ω → ∂Ω<br />

par exemple Bu = u|∂Ω ou Bu = ∂u<br />

∂n |∂Ω.<br />

Résolution dans Vj avec une base adaptée sur Ω<br />

Comme avant, on écrit<br />

<br />

Anmum = fn<br />

m<br />

<strong>et</strong> on ajoute des conditions aux bords grâce à l’adaptation de<br />

la base d’ondel<strong>et</strong>tes à ces conditions aux bords. On peut<br />

alors écrire un système inversible.<br />

Et l’approximation non linéaire ?<br />

<strong>Ondel<strong>et</strong>tes</strong> <strong>et</strong><br />

<strong>analyse</strong> <strong>numérique</strong><br />

J. Houdayer<br />

Introduction<br />

Bases d’ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong><br />

approximation<br />

D’autres espaces<br />

Calcul<br />

Dérivation<br />

Autres opérations<br />

Équations aux dérivées<br />

partielles<br />

Zoologie des<br />

ondel<strong>et</strong>tes<br />

Autres applications


Méthode d’extension<br />

On étend le problème sur un cube (à bords libres) contenant<br />

Ω<br />

Ãũ = ˜f , sur le cube<br />

˜Bũ = g, sur ∂Ω<br />

A = Ã|Ω . . . <strong>et</strong> la solution u du précédent système est ũ|Ω.<br />

Différentes méthodes de résolution<br />

◮ Méthode des pénalités<br />

◮ Multiplicateur de Lagrange<br />

◮ Intégrale de bord<br />

<strong>Ondel<strong>et</strong>tes</strong> <strong>et</strong><br />

<strong>analyse</strong> <strong>numérique</strong><br />

J. Houdayer<br />

Introduction<br />

Bases d’ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong><br />

approximation<br />

D’autres espaces<br />

Calcul<br />

Dérivation<br />

Autres opérations<br />

Équations aux dérivées<br />

partielles<br />

Zoologie des<br />

ondel<strong>et</strong>tes<br />

Autres applications


Méthode des pénalités<br />

On écrit le système suivant<br />

<strong>et</strong> ũε → ũ quand ε → 0<br />

Ãũ + 1<br />

ε ˜Bũ = ˜f + 1<br />

ε g<br />

Problème de conditionnement<br />

<strong>et</strong><br />

1<br />

κ( Ã +<br />

ε ˜ B) = O( 1<br />

ε )<br />

ε = O(2 −j )<br />

Représentation des fonctions sur ∂Ω<br />

g <strong>et</strong> les valeurs de l’opérateur B sont représentées comme<br />

des distributions sur le cube concentrées sur ∂Ω. Il faut<br />

déterminer B<br />

<strong>Ondel<strong>et</strong>tes</strong> <strong>et</strong><br />

<strong>analyse</strong> <strong>numérique</strong><br />

J. Houdayer<br />

Introduction<br />

Bases d’ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong><br />

approximation<br />

D’autres espaces<br />

Calcul<br />

Dérivation<br />

Autres opérations<br />

Équations aux dérivées<br />

partielles<br />

Zoologie des<br />

ondel<strong>et</strong>tes<br />

Autres applications


Résolution du problème à bords libres<br />

Deux possibilités<br />

◮ Pour résoudre le problème à bords libres, il suffit d’avoir<br />

une base d’ondel<strong>et</strong>tes adaptées au cube <strong>et</strong> de résoudre<br />

comme dans le cas périodique<br />

◮ On étend (une deuxième fois) le problème, mais on<br />

restreint tous les calculs sur le cube de départ. En<br />

particulier, on restreint les opérations de dérivation près<br />

des bords libres par des coefficients de connexion<br />

tronqués du type<br />

∞<br />

φjk(t)φ ′ il(t)dt<br />

0<br />

<strong>Ondel<strong>et</strong>tes</strong> <strong>et</strong><br />

<strong>analyse</strong> <strong>numérique</strong><br />

J. Houdayer<br />

Introduction<br />

Bases d’ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong><br />

approximation<br />

D’autres espaces<br />

Calcul<br />

Dérivation<br />

Autres opérations<br />

Équations aux dérivées<br />

partielles<br />

Zoologie des<br />

ondel<strong>et</strong>tes<br />

Autres applications


Multiplicateur de Lagrange<br />

On introduit une fonction auxiliaire λ définie sur ∂Ω <strong>et</strong> on<br />

doit résoudre le système suivant sur le cube à bords libres<br />

<br />

A BT <br />

u f<br />

=<br />

B 0 λ g<br />

Caractéristiques<br />

◮ On résout pour deux fonctions<br />

◮ La matrice n’est pas définie<br />

◮ On peut préconditionner la matrice<br />

◮ Représentation de λ <strong>et</strong> g dans le cube ou directement<br />

sur ∂Ω.<br />

◮ Il faut déterminer B <strong>et</strong> B T<br />

<strong>Ondel<strong>et</strong>tes</strong> <strong>et</strong><br />

<strong>analyse</strong> <strong>numérique</strong><br />

J. Houdayer<br />

Introduction<br />

Bases d’ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong><br />

approximation<br />

D’autres espaces<br />

Calcul<br />

Dérivation<br />

Autres opérations<br />

Équations aux dérivées<br />

partielles<br />

Zoologie des<br />

ondel<strong>et</strong>tes<br />

Autres applications


Intégrale de bords<br />

Quand c’est possible on résout d’abord<br />

Ãũp = ˜ f<br />

sur le cube avec des conditions aux bords périodiques. Reste<br />

Ãũ0 = 0, sur le cube à bords libres<br />

˜Bũ0 = g − ũp|∂Ω, sur ∂Ω<br />

avec ũ = ũp + ũ0. On peut alors ce ramener à la résolution<br />

sur ∂Ω d’une équation du type<br />

<br />

K(x, y)u(y)dy = h(x)<br />

∂Ω<br />

qui est un problème sans bord de dimension inférieure que<br />

l’on peut en théorie résoudre comme précédemment.<br />

Difficultés<br />

◮ Il faut créer des ondel<strong>et</strong>tes sur ∂Ω<br />

◮ La matrice de l’opérateur intégral est pleine<br />

<strong>Ondel<strong>et</strong>tes</strong> <strong>et</strong><br />

<strong>analyse</strong> <strong>numérique</strong><br />

J. Houdayer<br />

Introduction<br />

Bases d’ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong><br />

approximation<br />

D’autres espaces<br />

Calcul<br />

Dérivation<br />

Autres opérations<br />

Équations aux dérivées<br />

partielles<br />

Zoologie des<br />

ondel<strong>et</strong>tes<br />

Autres applications


Comment calculer B <strong>et</strong> B T<br />

◮ On représente les fonctions sur ∂Ω comme des<br />

distributions de l’espace piquées sur ∂Ω.<br />

◮ On représente le domaine Ω par sa fonction<br />

caractéristique 1Ω qui vaut 1 sur Ω <strong>et</strong> 0 ailleurs.<br />

◮ ∇1Ω est une distribution de vecteurs piqués sur ∂Ω<br />

pointant vers l’intérieur de Ω.<br />

◮ ∇1Ω représente ∂Ω, par exemple <br />

∂Ω f = Rd f ∇1Ω<br />

◮ On le calcule par ∇1Ω = −∇1Ω · n où n est la<br />

normale sortante de ∂Ω.<br />

◮ Pour B donné par Bu = u|Ω, on a Bu = u∇1Ω <strong>et</strong> B T<br />

est l’identité sur les distributions localisées sur ∂Ω.<br />

◮ Pour B donné par Bu = ∂u<br />

∂n |Ω, on a Bu = −∇u · ∇1Ω <strong>et</strong><br />

B T u = − ∂u<br />

∂n .<br />

<strong>Ondel<strong>et</strong>tes</strong> <strong>et</strong><br />

<strong>analyse</strong> <strong>numérique</strong><br />

J. Houdayer<br />

Introduction<br />

Bases d’ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong><br />

approximation<br />

D’autres espaces<br />

Calcul<br />

Dérivation<br />

Autres opérations<br />

Équations aux dérivées<br />

partielles<br />

Zoologie des<br />

ondel<strong>et</strong>tes<br />

Autres applications


Plan du cours<br />

Introduction<br />

Bases d’ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong> approximation<br />

D’autres espaces<br />

Calcul<br />

Zoologie des ondel<strong>et</strong>tes<br />

<strong>Ondel<strong>et</strong>tes</strong> biorthogonales<br />

Paqu<strong>et</strong>s d’ondel<strong>et</strong>tes<br />

<strong>Ondel<strong>et</strong>tes</strong> d’interpolation<br />

<strong>Ondel<strong>et</strong>tes</strong> multiples<br />

<strong>Ondel<strong>et</strong>tes</strong> <strong>et</strong><br />

<strong>analyse</strong> <strong>numérique</strong><br />

J. Houdayer<br />

Introduction<br />

Bases d’ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong><br />

approximation<br />

D’autres espaces<br />

Calcul<br />

Zoologie des<br />

ondel<strong>et</strong>tes<br />

<strong>Ondel<strong>et</strong>tes</strong> biorthogonales<br />

Paqu<strong>et</strong>s d’ondel<strong>et</strong>tes<br />

<strong>Ondel<strong>et</strong>tes</strong> d’interpolation<br />

<strong>Ondel<strong>et</strong>tes</strong> multiples<br />

Autres applications


Plan du cours<br />

Introduction<br />

Bases d’ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong> approximation<br />

D’autres espaces<br />

Calcul<br />

Zoologie des ondel<strong>et</strong>tes<br />

<strong>Ondel<strong>et</strong>tes</strong> biorthogonales<br />

Paqu<strong>et</strong>s d’ondel<strong>et</strong>tes<br />

<strong>Ondel<strong>et</strong>tes</strong> d’interpolation<br />

<strong>Ondel<strong>et</strong>tes</strong> multiples<br />

<strong>Ondel<strong>et</strong>tes</strong> <strong>et</strong><br />

<strong>analyse</strong> <strong>numérique</strong><br />

J. Houdayer<br />

Introduction<br />

Bases d’ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong><br />

approximation<br />

D’autres espaces<br />

Calcul<br />

Zoologie des<br />

ondel<strong>et</strong>tes<br />

<strong>Ondel<strong>et</strong>tes</strong> biorthogonales<br />

Paqu<strong>et</strong>s d’ondel<strong>et</strong>tes<br />

<strong>Ondel<strong>et</strong>tes</strong> d’interpolation<br />

<strong>Ondel<strong>et</strong>tes</strong> multiples<br />

Autres applications


Bases biorthogonales<br />

Dans un espace de Hilbert, deux bases {ei} <strong>et</strong> {˜ei} sont<br />

biorthogonales si<br />

〈ei, ˜ej〉 = δij<br />

<strong>et</strong> un vecteur v se décompose en<br />

v = <br />

〈v, ei〉˜ei = <br />

〈v, ˜ei〉ei<br />

i<br />

{ei} <strong>et</strong> {˜ei} ne sont orthonormales que si ei = ˜ei.<br />

<strong>Ondel<strong>et</strong>tes</strong> non orthogonales<br />

On ne suppose plus que {φ(t − n)}n∈Z est une base<br />

orthonormale, mais simplement une base (de Riesz) de V0.<br />

On peut alors en déduire un φortho qui engendre une base<br />

orthonormale de V0 <strong>et</strong> une multirésolution.<br />

i<br />

<strong>Ondel<strong>et</strong>tes</strong> <strong>et</strong><br />

<strong>analyse</strong> <strong>numérique</strong><br />

J. Houdayer<br />

Introduction<br />

Bases d’ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong><br />

approximation<br />

D’autres espaces<br />

Calcul<br />

Zoologie des<br />

ondel<strong>et</strong>tes<br />

<strong>Ondel<strong>et</strong>tes</strong> biorthogonales<br />

Paqu<strong>et</strong>s d’ondel<strong>et</strong>tes<br />

<strong>Ondel<strong>et</strong>tes</strong> d’interpolation<br />

<strong>Ondel<strong>et</strong>tes</strong> multiples<br />

Autres applications


<strong>Ondel<strong>et</strong>tes</strong> biorthogonales<br />

◮ Deux multirésolutions Vj <strong>et</strong> ˜ Vj <strong>et</strong> deux fonctions<br />

d’échelle φ <strong>et</strong> ˜φ, deux équations d’échelles : an, ãn<br />

◮ Deux systèmes d’ondel<strong>et</strong>tes {φjk, ψjk} <strong>et</strong> { ˜φjk, ˜ψjk}<br />

biorthogonales<br />

〈φjk, ˜φjl〉 = δkl, 〈ψjk, ˜ψil〉 = δjiδkl<br />

◮ Deux décompositions en ondel<strong>et</strong>tes<br />

f = <br />

〈f , ˜ ∞ <br />

φj0k〉φj0k + 〈f , ˜ ψjk〉ψjk<br />

k∈Z<br />

f = <br />

〈f , φj0k〉 ˜φj0k +<br />

k∈Z<br />

j=j0 k∈Z<br />

∞ <br />

j=j0 k∈Z<br />

〈f , ψjk〉 ˜ψjk<br />

◮ Équivalence de norme f φ ∼ f ˜φ ∼ f L 2<br />

f 2 φ = <br />

k∈Z<br />

〈f , φj0k〉 2 +<br />

∞ <br />

〈f , ψjk〉 2<br />

j=j0 k∈Z<br />

<strong>Ondel<strong>et</strong>tes</strong> <strong>et</strong><br />

<strong>analyse</strong> <strong>numérique</strong><br />

J. Houdayer<br />

Introduction<br />

Bases d’ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong><br />

approximation<br />

D’autres espaces<br />

Calcul<br />

Zoologie des<br />

ondel<strong>et</strong>tes<br />

<strong>Ondel<strong>et</strong>tes</strong> biorthogonales<br />

Paqu<strong>et</strong>s d’ondel<strong>et</strong>tes<br />

<strong>Ondel<strong>et</strong>tes</strong> d’interpolation<br />

<strong>Ondel<strong>et</strong>tes</strong> multiples<br />

Autres applications


Relations entre les deux bases<br />

◮ Supports, régularités <strong>et</strong> nombre de moments nuls<br />

indépendants (à priori)<br />

◮ Relations de biorthogonalité<br />

â ∗ (ω)ˆã(ω) + â ∗ (ω + π)ˆã(ω + π) = 4<br />

â ∗ (0)ˆã(0) = 4<br />

ˆb(ω) = e −iωˆã ∗ (ω + π),<br />

ˆ˜b(ω) = e −iω â ∗ (ω + π)<br />

bn = (−1) 1−n ã1−n, ˜bn = (−1) 1−n a1−n<br />

Algorithme de Mallat <strong>et</strong> transformée en ondel<strong>et</strong>tes<br />

L’algorithme est inchangé sauf qu’on utilise une base dans<br />

un sens <strong>et</strong> l’autre dans l’autre : une base d’<strong>analyse</strong> <strong>et</strong> une<br />

base de synthèse.<br />

<strong>Ondel<strong>et</strong>tes</strong> <strong>et</strong><br />

<strong>analyse</strong> <strong>numérique</strong><br />

J. Houdayer<br />

Introduction<br />

Bases d’ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong><br />

approximation<br />

D’autres espaces<br />

Calcul<br />

Zoologie des<br />

ondel<strong>et</strong>tes<br />

<strong>Ondel<strong>et</strong>tes</strong> biorthogonales<br />

Paqu<strong>et</strong>s d’ondel<strong>et</strong>tes<br />

<strong>Ondel<strong>et</strong>tes</strong> d’interpolation<br />

<strong>Ondel<strong>et</strong>tes</strong> multiples<br />

Autres applications


Intérêt des ondel<strong>et</strong>tes biorthogonales<br />

◮ plus de liberté de construction<br />

◮ ondel<strong>et</strong>tes symétriques<br />

◮ différentes régularités / nombre de moments nuls à<br />

l’<strong>analyse</strong> <strong>et</strong> à la synthèse<br />

Quelques exemples (tous symétriques)<br />

◮ ondel<strong>et</strong>tes CDF (Cohen, Daubechies, Feauveau) :<br />

équivalent des ondel<strong>et</strong>tes orthogonales de Daubechies<br />

◮ ondel<strong>et</strong>tes de Coifman biorthogonales<br />

◮ ondel<strong>et</strong>tes splines : φ est connue analytiquement<br />

<strong>Ondel<strong>et</strong>tes</strong> <strong>et</strong><br />

<strong>analyse</strong> <strong>numérique</strong><br />

J. Houdayer<br />

Introduction<br />

Bases d’ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong><br />

approximation<br />

D’autres espaces<br />

Calcul<br />

Zoologie des<br />

ondel<strong>et</strong>tes<br />

<strong>Ondel<strong>et</strong>tes</strong> biorthogonales<br />

Paqu<strong>et</strong>s d’ondel<strong>et</strong>tes<br />

<strong>Ondel<strong>et</strong>tes</strong> d’interpolation<br />

<strong>Ondel<strong>et</strong>tes</strong> multiples<br />

Autres applications


Plan du cours<br />

Introduction<br />

Bases d’ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong> approximation<br />

D’autres espaces<br />

Calcul<br />

Zoologie des ondel<strong>et</strong>tes<br />

<strong>Ondel<strong>et</strong>tes</strong> biorthogonales<br />

Paqu<strong>et</strong>s d’ondel<strong>et</strong>tes<br />

<strong>Ondel<strong>et</strong>tes</strong> d’interpolation<br />

<strong>Ondel<strong>et</strong>tes</strong> multiples<br />

<strong>Ondel<strong>et</strong>tes</strong> <strong>et</strong><br />

<strong>analyse</strong> <strong>numérique</strong><br />

J. Houdayer<br />

Introduction<br />

Bases d’ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong><br />

approximation<br />

D’autres espaces<br />

Calcul<br />

Zoologie des<br />

ondel<strong>et</strong>tes<br />

<strong>Ondel<strong>et</strong>tes</strong> biorthogonales<br />

Paqu<strong>et</strong>s d’ondel<strong>et</strong>tes<br />

<strong>Ondel<strong>et</strong>tes</strong> d’interpolation<br />

<strong>Ondel<strong>et</strong>tes</strong> multiples<br />

Autres applications


Décomposition de Wj<br />

Théorème de décomposition<br />

Si on a les an <strong>et</strong> les bn d’un système d’ondel<strong>et</strong>tes <strong>et</strong> si<br />

{χ(t − n)}n∈Z est une base orthonormale d’un espace R alors<br />

χ S (t) = 1<br />

√ 2<br />

<br />

n∈Z<br />

R = S ⊕ T<br />

anχ(t − 2n), χ T (t) = 1<br />

√ 2<br />

<br />

bnχ(t − 2n)<br />

n∈Z<br />

{χ S (t − 2n)}n∈Z base orthonormale de S<br />

{χ T (t − 2n)}n∈Z base orthonormale de T<br />

Décomposition de Wj<br />

Comme on a écrit Vj+1 = Vj ⊕ Wj, on peut écrire<br />

Wj = Wj,1,0 ⊕ Wj,1,1 <strong>et</strong> ainsi de suite<br />

Wj,1,0 = Wj,2,0 ⊕ Wj,2,1, Wj,1,1 = Wj,2,2 ⊕ Wj,2,3<br />

<strong>Ondel<strong>et</strong>tes</strong> <strong>et</strong><br />

<strong>analyse</strong> <strong>numérique</strong><br />

J. Houdayer<br />

Introduction<br />

Bases d’ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong><br />

approximation<br />

D’autres espaces<br />

Calcul<br />

Zoologie des<br />

ondel<strong>et</strong>tes<br />

<strong>Ondel<strong>et</strong>tes</strong> biorthogonales<br />

Paqu<strong>et</strong>s d’ondel<strong>et</strong>tes<br />

<strong>Ondel<strong>et</strong>tes</strong> d’interpolation<br />

<strong>Ondel<strong>et</strong>tes</strong> multiples<br />

Autres applications


Intérêt des paqu<strong>et</strong>s d’ondel<strong>et</strong>tes<br />

Forme des nouvelles ondel<strong>et</strong>tes<br />

Les ondel<strong>et</strong>tes ainsi créées ont un support plus grand <strong>et</strong> un<br />

plus grand nombre d’oscillations, elles peuvent perm<strong>et</strong>tre de<br />

représenter plus facilement un signal oscillant rapidement.<br />

Adaptation de la base<br />

Les paqu<strong>et</strong>s d’ondel<strong>et</strong>tes perm<strong>et</strong>tent de fabriquer facilement<br />

un grand nombre de bases différentes. On peut alors<br />

optimiser la base choisie, par exemple pour compresser un<br />

signal. C’est l’étape naturelle suivante après l’approximation<br />

non linéaire.<br />

<strong>Ondel<strong>et</strong>tes</strong> <strong>et</strong><br />

<strong>analyse</strong> <strong>numérique</strong><br />

J. Houdayer<br />

Introduction<br />

Bases d’ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong><br />

approximation<br />

D’autres espaces<br />

Calcul<br />

Zoologie des<br />

ondel<strong>et</strong>tes<br />

<strong>Ondel<strong>et</strong>tes</strong> biorthogonales<br />

Paqu<strong>et</strong>s d’ondel<strong>et</strong>tes<br />

<strong>Ondel<strong>et</strong>tes</strong> d’interpolation<br />

<strong>Ondel<strong>et</strong>tes</strong> multiples<br />

Autres applications


Plan du cours<br />

Introduction<br />

Bases d’ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong> approximation<br />

D’autres espaces<br />

Calcul<br />

Zoologie des ondel<strong>et</strong>tes<br />

<strong>Ondel<strong>et</strong>tes</strong> biorthogonales<br />

Paqu<strong>et</strong>s d’ondel<strong>et</strong>tes<br />

<strong>Ondel<strong>et</strong>tes</strong> d’interpolation<br />

<strong>Ondel<strong>et</strong>tes</strong> multiples<br />

<strong>Ondel<strong>et</strong>tes</strong> <strong>et</strong><br />

<strong>analyse</strong> <strong>numérique</strong><br />

J. Houdayer<br />

Introduction<br />

Bases d’ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong><br />

approximation<br />

D’autres espaces<br />

Calcul<br />

Zoologie des<br />

ondel<strong>et</strong>tes<br />

<strong>Ondel<strong>et</strong>tes</strong> biorthogonales<br />

Paqu<strong>et</strong>s d’ondel<strong>et</strong>tes<br />

<strong>Ondel<strong>et</strong>tes</strong> d’interpolation<br />

<strong>Ondel<strong>et</strong>tes</strong> multiples<br />

Autres applications


Fonction d’interpolation<br />

Définition<br />

φ ∈ L 2 est une fonction d’interpolation si {φ(t − n)}n∈Z est<br />

une base (de Riesz) de l’espace U qu’elle engendre <strong>et</strong> si<br />

φ(0) = 1 <strong>et</strong> φ(n) = 0 pour n ∈ Z ∗<br />

On a alors f (t) = <br />

f (k)φ(t − k) pour f ∈ U<br />

k∈Z<br />

Équation d’échelle<br />

Si φ 0 est une fonction d’échelle<br />

φ(t) =<br />

+∞<br />

−∞<br />

est une fonction d’interpolation <strong>et</strong><br />

φ(t/2) = <br />

n∈Z<br />

φ 0 (u)φ 0 (u − t)du<br />

anφ(t − n), avec an = 1<br />

2<br />

<br />

a<br />

k∈Z<br />

0 ka 0 k+n<br />

<strong>Ondel<strong>et</strong>tes</strong> <strong>et</strong><br />

<strong>analyse</strong> <strong>numérique</strong><br />

J. Houdayer<br />

Introduction<br />

Bases d’ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong><br />

approximation<br />

D’autres espaces<br />

Calcul<br />

Zoologie des<br />

ondel<strong>et</strong>tes<br />

<strong>Ondel<strong>et</strong>tes</strong> biorthogonales<br />

Paqu<strong>et</strong>s d’ondel<strong>et</strong>tes<br />

<strong>Ondel<strong>et</strong>tes</strong> d’interpolation<br />

<strong>Ondel<strong>et</strong>tes</strong> multiples<br />

Autres applications


fonction d’interpolation de Deslaurier-Dubuc<br />

Si φ 0 est une fonction d’échelle de Daubechies d’ordre p<br />

alors le φ est la fonction d’interpolation de Deslaurier-Dubuc<br />

d’ordre p. Elle est symétrique, son support est<br />

[−2p − 1, 2p + 1], elle interpole exactement des polynômes<br />

de degré 2p + 1 <strong>et</strong><br />

a2n = δ0n<br />

a2n+1 = (−1)p−n+1 2p+1 k=0 (k − p − 1/2)<br />

(n + 1/2)(p − n)!(p + n + 1)!<br />

Exemple pour Haar (p = 0) : supp φ = [−1, 1] <strong>et</strong><br />

φ(t) = φ(−t) = 1 − t <strong>et</strong> a0 = 1, a−1 = a1 = 1<br />

2<br />

Note : φ n’engendre pas une base orthonormale<br />

pour − p − 1 ≤ n ≤ p<br />

<strong>Ondel<strong>et</strong>tes</strong> <strong>et</strong><br />

<strong>analyse</strong> <strong>numérique</strong><br />

J. Houdayer<br />

Introduction<br />

Bases d’ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong><br />

approximation<br />

D’autres espaces<br />

Calcul<br />

Zoologie des<br />

ondel<strong>et</strong>tes<br />

<strong>Ondel<strong>et</strong>tes</strong> biorthogonales<br />

Paqu<strong>et</strong>s d’ondel<strong>et</strong>tes<br />

<strong>Ondel<strong>et</strong>tes</strong> d’interpolation<br />

<strong>Ondel<strong>et</strong>tes</strong> multiples<br />

Autres applications


Multirésolution d’interpolation<br />

◮ φjk(t) = φ(2 j t − k)<br />

Attention pas de facteur 2 j/2 : φjk∞ = 1<br />

◮ Espaces Vj ⊂ L 2 (R) :<br />

f ∈ Vj ⇔ f = <br />

k∈Z<br />

f<br />

<br />

k<br />

2j <br />

φjk<br />

avec croissance de f au plus polynomiale à l’infini.<br />

◮ Pour Deslaurier-Dubuc d’ordre p, les polynômes de<br />

degré 2p + 1 sont dans Vj<br />

◮ Pour f /∈ Vj, projecteur (non orthogonal) sur Vj<br />

PVj<br />

<br />

f = f<br />

k∈Z<br />

<br />

k<br />

2j <br />

φjk<br />

◮ Si f uniformément continue alors f − PVj f ∞ → 0<br />

<strong>Ondel<strong>et</strong>tes</strong> <strong>et</strong><br />

<strong>analyse</strong> <strong>numérique</strong><br />

J. Houdayer<br />

Introduction<br />

Bases d’ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong><br />

approximation<br />

D’autres espaces<br />

Calcul<br />

Zoologie des<br />

ondel<strong>et</strong>tes<br />

<strong>Ondel<strong>et</strong>tes</strong> biorthogonales<br />

Paqu<strong>et</strong>s d’ondel<strong>et</strong>tes<br />

<strong>Ondel<strong>et</strong>tes</strong> d’interpolation<br />

<strong>Ondel<strong>et</strong>tes</strong> multiples<br />

Autres applications


Système d’ondel<strong>et</strong>tes d’interpolation<br />

◮ ψjk(t) = φ (j+1)(2k+1)(t) = ψ(2 j t − k)<br />

◮ ψ(t) = φ(2t − 1)<br />

◮ Wj = {g ∈ Vj+1|g = <br />

k gkψjk}<br />

◮ Vj+1 = Vj ⊕ Wj (complémentaire non orthogonal)<br />

◮ Décomposition de f ∈ Vj+1<br />

<br />

f = PVj f +<br />

k∈Z<br />

djkψjk<br />

<br />

k + 1/2<br />

djk = f<br />

2j <br />

− PVj f<br />

<br />

k + 1/2<br />

2j <br />

<br />

k + 1/2<br />

2j <br />

= <br />

<br />

k − n<br />

f<br />

2j <br />

PVj f<br />

n∈Z<br />

a2n+1<br />

<strong>Ondel<strong>et</strong>tes</strong> <strong>et</strong><br />

<strong>analyse</strong> <strong>numérique</strong><br />

J. Houdayer<br />

Introduction<br />

Bases d’ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong><br />

approximation<br />

D’autres espaces<br />

Calcul<br />

Zoologie des<br />

ondel<strong>et</strong>tes<br />

<strong>Ondel<strong>et</strong>tes</strong> biorthogonales<br />

Paqu<strong>et</strong>s d’ondel<strong>et</strong>tes<br />

<strong>Ondel<strong>et</strong>tes</strong> d’interpolation<br />

<strong>Ondel<strong>et</strong>tes</strong> multiples<br />

Autres applications


Convergence<br />

Si f est uniformément continue (convergence avec .∞)<br />

f = <br />

<br />

k<br />

f<br />

2<br />

k∈Z<br />

j0<br />

∞ <br />

φj0k + djkψjk<br />

j=j0 k∈Z<br />

Si φ 0 a ses moments nuls jusqu’à l’ordre p <strong>et</strong> si f est<br />

uniformément continue, de classe C m , m ≤ 2p + 2, f (m)<br />

bornée<br />

|djk| = O(2 −jm )<br />

<strong>et</strong> si f est à support compact<br />

f − PVj f ∞ = O(2 −j(m−1) )<br />

<strong>Ondel<strong>et</strong>tes</strong> <strong>et</strong><br />

<strong>analyse</strong> <strong>numérique</strong><br />

J. Houdayer<br />

Introduction<br />

Bases d’ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong><br />

approximation<br />

D’autres espaces<br />

Calcul<br />

Zoologie des<br />

ondel<strong>et</strong>tes<br />

<strong>Ondel<strong>et</strong>tes</strong> biorthogonales<br />

Paqu<strong>et</strong>s d’ondel<strong>et</strong>tes<br />

<strong>Ondel<strong>et</strong>tes</strong> d’interpolation<br />

<strong>Ondel<strong>et</strong>tes</strong> multiples<br />

Autres applications


Plan du cours<br />

Introduction<br />

Bases d’ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong> approximation<br />

D’autres espaces<br />

Calcul<br />

Zoologie des ondel<strong>et</strong>tes<br />

<strong>Ondel<strong>et</strong>tes</strong> biorthogonales<br />

Paqu<strong>et</strong>s d’ondel<strong>et</strong>tes<br />

<strong>Ondel<strong>et</strong>tes</strong> d’interpolation<br />

<strong>Ondel<strong>et</strong>tes</strong> multiples<br />

<strong>Ondel<strong>et</strong>tes</strong> <strong>et</strong><br />

<strong>analyse</strong> <strong>numérique</strong><br />

J. Houdayer<br />

Introduction<br />

Bases d’ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong><br />

approximation<br />

D’autres espaces<br />

Calcul<br />

Zoologie des<br />

ondel<strong>et</strong>tes<br />

<strong>Ondel<strong>et</strong>tes</strong> biorthogonales<br />

Paqu<strong>et</strong>s d’ondel<strong>et</strong>tes<br />

<strong>Ondel<strong>et</strong>tes</strong> d’interpolation<br />

<strong>Ondel<strong>et</strong>tes</strong> multiples<br />

Autres applications


<strong>Ondel<strong>et</strong>tes</strong> multiples<br />

Un φ, plusieurs ψ<br />

On considère une multirésolution avec une fonction d’échelle<br />

mais avec un facteur de dilatation m ∈ N (habituellement<br />

m = 2). Il faut alors m − 1 ondel<strong>et</strong>tes ψ 1 , ψ 2 , . . . , ψ m−1 <strong>et</strong><br />

on écrit Vj+1 = Vj ⊕ W 1<br />

j<br />

⊕ W 2<br />

j<br />

⊕ · · · ⊕ W m−1<br />

j<br />

Plusieurs φ, plusieurs ψ<br />

Multirésolution avec plusieurs fonctions d’échelle φ i , avec<br />

{φ 1 (t − n1), . . . , φ m (t − nm)} une base orthonormale de V0<br />

<strong>et</strong> autant de ψ i associés engendrant W0.<br />

Cela donne plus de liberté pour fabriquer des ondel<strong>et</strong>tes :<br />

symétrie, support plus p<strong>et</strong>it . . .<br />

<strong>Ondel<strong>et</strong>tes</strong> <strong>et</strong><br />

<strong>analyse</strong> <strong>numérique</strong><br />

J. Houdayer<br />

Introduction<br />

Bases d’ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong><br />

approximation<br />

D’autres espaces<br />

Calcul<br />

Zoologie des<br />

ondel<strong>et</strong>tes<br />

<strong>Ondel<strong>et</strong>tes</strong> biorthogonales<br />

Paqu<strong>et</strong>s d’ondel<strong>et</strong>tes<br />

<strong>Ondel<strong>et</strong>tes</strong> d’interpolation<br />

<strong>Ondel<strong>et</strong>tes</strong> multiples<br />

Autres applications


Plan du cours<br />

Introduction<br />

Bases d’ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong> approximation<br />

D’autres espaces<br />

Calcul<br />

Zoologie des ondel<strong>et</strong>tes<br />

Autres applications<br />

Analyse de signal<br />

Débruitage<br />

Compression de données<br />

<strong>Ondel<strong>et</strong>tes</strong> <strong>et</strong><br />

<strong>analyse</strong> <strong>numérique</strong><br />

J. Houdayer<br />

Introduction<br />

Bases d’ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong><br />

approximation<br />

D’autres espaces<br />

Calcul<br />

Zoologie des<br />

ondel<strong>et</strong>tes<br />

Autres applications<br />

Analyse de signal<br />

Débruitage<br />

Compression de données


Plan du cours<br />

Introduction<br />

Bases d’ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong> approximation<br />

D’autres espaces<br />

Calcul<br />

Zoologie des ondel<strong>et</strong>tes<br />

Autres applications<br />

Analyse de signal<br />

Débruitage<br />

Compression de données<br />

<strong>Ondel<strong>et</strong>tes</strong> <strong>et</strong><br />

<strong>analyse</strong> <strong>numérique</strong><br />

J. Houdayer<br />

Introduction<br />

Bases d’ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong><br />

approximation<br />

D’autres espaces<br />

Calcul<br />

Zoologie des<br />

ondel<strong>et</strong>tes<br />

Autres applications<br />

Analyse de signal<br />

Débruitage<br />

Compression de données


Transformée en ondel<strong>et</strong>tes continue<br />

<strong>Ondel<strong>et</strong>tes</strong><br />

Dans ce cadre, on appelle ondel<strong>et</strong>te une fonction ψ avec<br />

ψ(t)dt = 0 <strong>et</strong> on note<br />

Transformée continue<br />

ψu,s = 1 <br />

t − u<br />

√ ψ<br />

s s<br />

Wf (u, s) = 〈f , ψu,s〉 =<br />

<strong>et</strong> si ψ décroît assez vite à l’infini<br />

f (t) = Cψ<br />

∞<br />

0<br />

+∞<br />

−∞<br />

f (t)ψu,s(t)dt<br />

ds<br />

s2 +∞<br />

Wf (u, s)ψu,s(t)du<br />

−∞<br />

<strong>Ondel<strong>et</strong>tes</strong> <strong>et</strong><br />

<strong>analyse</strong> <strong>numérique</strong><br />

J. Houdayer<br />

Introduction<br />

Bases d’ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong><br />

approximation<br />

D’autres espaces<br />

Calcul<br />

Zoologie des<br />

ondel<strong>et</strong>tes<br />

Autres applications<br />

Analyse de signal<br />

Débruitage<br />

Compression de données


Régularité de Lipschitz<br />

Définition<br />

Une fonction f est Lipschitz α ≥ 0 au point t0 si ∃K > 0 <strong>et</strong><br />

un polynôme p de degré m = ⌊α⌋<br />

Propriétés<br />

∀t ∈ R, |f (t) − p(t)| ≤ K|t − t0| α<br />

◮ f m fois différentiable en t0 ⇔ f Lipschitz ≥ m en t0<br />

◮ f uniformément Lipschitz > m ⇒ f de classe C m<br />

◮ Si ψ a ses moments nuls jusqu’à l’ordre p <strong>et</strong> si f<br />

uniformément Lipschitz α ≤ p + 1 sur [a, b] alors<br />

∀u ∈ [a, b], Wf (u, s) = O(s α+1/2 )<br />

◮ Réciproque vraie : si α < p + 1 non entier alors f<br />

uniformément Lipschitz α sur [a + ε, b − ε] ∀ε > 0<br />

<strong>Ondel<strong>et</strong>tes</strong> <strong>et</strong><br />

<strong>analyse</strong> <strong>numérique</strong><br />

J. Houdayer<br />

Introduction<br />

Bases d’ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong><br />

approximation<br />

D’autres espaces<br />

Calcul<br />

Zoologie des<br />

ondel<strong>et</strong>tes<br />

Autres applications<br />

Analyse de signal<br />

Débruitage<br />

Compression de données


Maxima locaux de |Wf (u, s)|<br />

On prend ψ = (−1) p dp<br />

dtp exp(−t 2 ) <strong>et</strong> on regarde les maxima<br />

locaux de |Wf (u, s)| à s fixé.<br />

◮ ψ a ses moments nuls jusqu’à l’ordre p − 1<br />

◮ Si |Wf (u, s)| n’a pas de maximum local sur [a, b] pour<br />

s < s0 alors f est Lipschitz p sur [a + ε, b − ε].<br />

◮ Tout maximum local de |Wf (u, s)| se prolonge en une<br />

ligne de maxima locaux quand s décroît vers 0<br />

◮ Une ligne de maxima peut converger vers un point où f<br />

est régulière<br />

◮ On mesure la régularité de f au point de convergence<br />

de la ligne par la décroissance de |Wf (u, s)| le long de<br />

la ligne<br />

◮ Analyse de régularité, spectre multifractal, détection de<br />

bord, étude de bruit, de turbulence . . .<br />

<strong>Ondel<strong>et</strong>tes</strong> <strong>et</strong><br />

<strong>analyse</strong> <strong>numérique</strong><br />

J. Houdayer<br />

Introduction<br />

Bases d’ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong><br />

approximation<br />

D’autres espaces<br />

Calcul<br />

Zoologie des<br />

ondel<strong>et</strong>tes<br />

Autres applications<br />

Analyse de signal<br />

Débruitage<br />

Compression de données


Plan du cours<br />

Introduction<br />

Bases d’ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong> approximation<br />

D’autres espaces<br />

Calcul<br />

Zoologie des ondel<strong>et</strong>tes<br />

Autres applications<br />

Analyse de signal<br />

Débruitage<br />

Compression de données<br />

<strong>Ondel<strong>et</strong>tes</strong> <strong>et</strong><br />

<strong>analyse</strong> <strong>numérique</strong><br />

J. Houdayer<br />

Introduction<br />

Bases d’ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong><br />

approximation<br />

D’autres espaces<br />

Calcul<br />

Zoologie des<br />

ondel<strong>et</strong>tes<br />

Autres applications<br />

Analyse de signal<br />

Débruitage<br />

Compression de données


Signal bruité, estimateur, risque<br />

Signal bruité<br />

On considère un signal f (issu d’un certain ensemble F )<br />

défini sur N points auquel un bruit b a été ajouté<br />

fb = f + b<br />

Estimateur<br />

Un estimateur est un opérateur D qui essaye d’enlever le<br />

bruit<br />

˜f = Dfb<br />

Risque<br />

On cherche D pour minimiser le risque (approche<br />

«minimax»)<br />

r(D) = sup〈˜f<br />

− f <br />

f ∈F<br />

2 〉b<br />

<strong>Ondel<strong>et</strong>tes</strong> <strong>et</strong><br />

<strong>analyse</strong> <strong>numérique</strong><br />

J. Houdayer<br />

Introduction<br />

Bases d’ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong><br />

approximation<br />

D’autres espaces<br />

Calcul<br />

Zoologie des<br />

ondel<strong>et</strong>tes<br />

Autres applications<br />

Analyse de signal<br />

Débruitage<br />

Compression de données


Estimateur à seuil<br />

Seuil dur<br />

On calcule les coefficients ˜djk de ˜f à partir des djk de fb par<br />

Seuil mou<br />

˜djk =<br />

⎧<br />

⎪⎨<br />

˜djk =<br />

⎪⎩<br />

djk si |djk| > T<br />

0 si |djk| ≤ T<br />

djk − T si djk ≥ T<br />

djk + T si djk ≤ −T<br />

0 si |djk| ≤ T<br />

Choix du seuil<br />

Pour un bruit blanc gaussien de variance donnée par<br />

〈b(n)b(k)〉b = σ 2 δnk, le meilleur choix est T = σ √ 2 log N<br />

Avec ce choix, les estimateurs à seuil sont quasi-optimaux<br />

<strong>Ondel<strong>et</strong>tes</strong> <strong>et</strong><br />

<strong>analyse</strong> <strong>numérique</strong><br />

J. Houdayer<br />

Introduction<br />

Bases d’ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong><br />

approximation<br />

D’autres espaces<br />

Calcul<br />

Zoologie des<br />

ondel<strong>et</strong>tes<br />

Autres applications<br />

Analyse de signal<br />

Débruitage<br />

Compression de données


Quelques détails<br />

Évaluation de σ à partir des djk<br />

On peut supposer que les N/2 coefficients du niveau le plus<br />

profond sont essentiellement dus au bruit. On évalue alors la<br />

médiane M des |djk| sur ce niveau <strong>et</strong><br />

σ M<br />

0.6745<br />

Invariance par translation<br />

On peut améliorer un peu, en rendant l’estimateur invariant<br />

par translation<br />

avec f k (n) = f (n − k)<br />

˜finv(n) = 1<br />

N<br />

N−1<br />

<br />

k=0<br />

˜f k (n + k)<br />

<strong>Ondel<strong>et</strong>tes</strong> <strong>et</strong><br />

<strong>analyse</strong> <strong>numérique</strong><br />

J. Houdayer<br />

Introduction<br />

Bases d’ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong><br />

approximation<br />

D’autres espaces<br />

Calcul<br />

Zoologie des<br />

ondel<strong>et</strong>tes<br />

Autres applications<br />

Analyse de signal<br />

Débruitage<br />

Compression de données


Plan du cours<br />

Introduction<br />

Bases d’ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong> approximation<br />

D’autres espaces<br />

Calcul<br />

Zoologie des ondel<strong>et</strong>tes<br />

Autres applications<br />

Analyse de signal<br />

Débruitage<br />

Compression de données<br />

<strong>Ondel<strong>et</strong>tes</strong> <strong>et</strong><br />

<strong>analyse</strong> <strong>numérique</strong><br />

J. Houdayer<br />

Introduction<br />

Bases d’ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong><br />

approximation<br />

D’autres espaces<br />

Calcul<br />

Zoologie des<br />

ondel<strong>et</strong>tes<br />

Autres applications<br />

Analyse de signal<br />

Débruitage<br />

Compression de données


Compression de données<br />

On s’intéresse ici à la compression non conservative qui<br />

diminue la quantité d’information. C’est d’un usage courant,<br />

en particulier pour optimiser le stockage <strong>et</strong> la transmission<br />

des photos, du son <strong>et</strong> de la vidéo. L’idée est de minimiser<br />

l’impact sensoriel de la perte d’information. C’est subjectif.<br />

Une mesure simple <strong>et</strong> honorable de la différence est la<br />

méthode des moindres carrées (∼ norme L 2 )<br />

Principes de base<br />

◮ acquisition/encodage du signal (sans perte si possible)<br />

◮ transformée du signal sur une base de fonctions, par<br />

exemple des ondel<strong>et</strong>tes (sans perte)<br />

◮ quantification des coefficients, élimination des p<strong>et</strong>its<br />

coefficients (avec perte)<br />

◮ encodage des coefficients (<strong>et</strong> de leur position), codage<br />

entropique, code correcteur d’erreur . . . (sans perte)<br />

<strong>Ondel<strong>et</strong>tes</strong> <strong>et</strong><br />

<strong>analyse</strong> <strong>numérique</strong><br />

J. Houdayer<br />

Introduction<br />

Bases d’ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong><br />

approximation<br />

D’autres espaces<br />

Calcul<br />

Zoologie des<br />

ondel<strong>et</strong>tes<br />

Autres applications<br />

Analyse de signal<br />

Débruitage<br />

Compression de données


Compression par ondel<strong>et</strong>tes<br />

Les ondel<strong>et</strong>tes sont bien adaptées à la représentation des<br />

signaux sensoriels car elles représentent bien les variations<br />

brusques comme par exemple les frontières d’obj<strong>et</strong>s sur une<br />

photo.<br />

Optimisation de la base<br />

◮ Le principe de base de la compression utilise<br />

l’approximation non linéaire mais on peut aussi adapter<br />

la base pour minimiser le nombre de coefs significatifs<br />

◮ Utilisation des paqu<strong>et</strong>s d’ondel<strong>et</strong>tes : il existe un<br />

algorithme rapide pour choisir le meilleur paqu<strong>et</strong><br />

◮ pour aller encore plus loin, on peut abandonner<br />

l’invariance par translation de la base ainsi que son<br />

orthogonalité <strong>et</strong> adapter localement (dans l’espace ou le<br />

temps suivant le cas) la base au signal<br />

◮ il faut alors bien sûr également encoder le choix de la<br />

base dans le signal compressé<br />

<strong>Ondel<strong>et</strong>tes</strong> <strong>et</strong><br />

<strong>analyse</strong> <strong>numérique</strong><br />

J. Houdayer<br />

Introduction<br />

Bases d’ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong><br />

approximation<br />

D’autres espaces<br />

Calcul<br />

Zoologie des<br />

ondel<strong>et</strong>tes<br />

Autres applications<br />

Analyse de signal<br />

Débruitage<br />

Compression de données


Quelques références<br />

◮ A wavel<strong>et</strong> tour of signal processing, S. Mallat,<br />

Academic Press (London) 1999<br />

◮ Wavel<strong>et</strong> analysis, H. Resnikoff R. Wells, Springer (New<br />

York) 1998<br />

◮ <strong>Ondel<strong>et</strong>tes</strong> <strong>et</strong> opérateurs, Y. Meyer, Hermann (Paris)<br />

1990<br />

◮ Wavel<strong>et</strong> and multiscale m<strong>et</strong>hods for operator equations,<br />

W. Dahmen, Acta Numerica 1997, p. 55<br />

<strong>Ondel<strong>et</strong>tes</strong> <strong>et</strong><br />

<strong>analyse</strong> <strong>numérique</strong><br />

J. Houdayer<br />

Introduction<br />

Bases d’ondel<strong>et</strong>tes<br />

Convergence <strong>et</strong><br />

approximation<br />

D’autres espaces<br />

Calcul<br />

Zoologie des<br />

ondel<strong>et</strong>tes<br />

Autres applications<br />

Analyse de signal<br />

Débruitage<br />

Compression de données

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!