You are on page 1of 18

DU NOUVEAU

SUR L’ECHANTILLONNAGE
OU COMMENT TRICHER
AVEC SHANNON
Yves Meyer
9 avril 2009
1
2
1. Ce que tous les enfants savent.
On suppose qu’un signal f(t) ne contienne pas de fr´e-
quences d´epassant ω. Cette fr´equence ω est appel´ee la
fr´equence de coupure.
Alors il suffit d’´echantillonner f(t) sur une grille hZ,
0 < h ≤ π/ω, pour reconstruire f de fa¸con exacte `a
partir des f(hj), j ∈ Z.
Si 0 < h < π/ω, on a sur´echantillonn´e (on a fait trop
de mesures). Le cas h = π/ω est celui de l’´echantillonnage
critique de Shannon.
Si h > π/ω, le sous-´echantillonnage introduit un arte-
fact appel´e “aliasing”.
Un exemple d’aliasing est fourni par certains westerns
o` u, lors d’une poursuite par les Indiens, les roues de la
diligence semblent tourner lentement en sens contraire.
La cadence d’´echantillonnage est de 24 images par sec-
onde ; elle est insuffisante parce que les roues tournent
trop vite.
Que fait-on si les fr´equences ξ contenues dans f v´erifient
0 < ω
0
≤ [ξ[ ≤ ω
1
? Le th´eor`eme de Shannon ne permet
pas de prendre en compte ω
0
et nous impose la mˆeme
cadence d’´echantillonnage que si l’on avait [ξ[ ≤ ω
1
.
3
2. Echantillonnage stable
La transform´ee de Fourier d’une fonction f ∈ L
2
(R
n
)
est d´efinie par
ˆ
f(ξ) =

R
n
exp(−ix ξ)f(x) dx
Si K est une partie compacte de R
n
, nous ´ecrirons
f ∈ E
K
si la transform´ee de Fourier
ˆ
f de f ∈ L
2
(R
n
)
est nulle hors de K.
Nous ´etudierons l’´echantillonnage irr´egulier sur un en-
semble Λ ⊂ R
n
de points v´erifiant
[λ −λ
/
[ ≥ β > 0, λ ∈ Λ, λ
/
∈ Λ, λ ,= λ
/
(1)
D´efinition 1. Un ensemble Λ ⊂ R
n
est un ensem-
ble d’´echantillonnage stable pour E
K
s’il existe une
constante C telle que, pour tout f ∈ E
K
on ait
|f|
2
2
≤ C

λ∈Λ
[f(λ)[
2
(2)
Si cette propri´et´e a lieu, il existe une famille φ
λ
, λ ∈ Λ,
de fonctions appartenant `a E
K
telles que, pour toute
fonction f ∈ E
K
, on ait
f(x) =

λ∈Λ
f(λ)φ
λ
(x) (3)
4
3. H.J. Landau
La suite f(λ), λ ∈ Λ, est de carr´e sommable et la s´erie
(3) converge dans L
2
(R
n
). Attention! Les fonctions φ
λ
d´ependent de Λ et de K.
Apr`es avoir ´enonc´e la condition n´ecessaire due ` a H.J.
Landau (Bell Labs, Murray Hill) pour avoir (2), nous
´etudierons trois probl`emes, not´es (A), (B) et (C).
La condition n´ecessaire suivante a ´et´e d´ecouverte par
H.J. Landau.
Th´eor`eme 3.1. Si Λ est un ensemble d’´echantillon-
nage stable pour E
K
, alors on a n´ecessairement
dens Λ ≥ (2π)
−n
[K[ (4)
Cette condition n´ecessaire portant sur la densit´e inf´e-
rieure de Λ n’est ´evidemmment pas suffisante. Pour cal-
culer la densit´e inf´erieure on proc`ede comme suit. Si
B(x, R) est la boule de centre x et de rayon R, on compte
le nombre de points de B(x, R) ∩ Λ et l’on en prend la
borne inf´erieure N(R) en x ∈ R
n
. On divise N(R) par
le volume de B(x, R) et l’on prend la borne inf´erieure de
ce quotient quand R tend vers l’infini.
5
4. Le pavage hexagonal sera battu
Lorsque A est une matrice inversible n n et que
Λ = Γ = A(Z
n
) est un sous-groupe discret de R
n
, alors
la condition n´ecessaire et suffisante pour que Λ soit un
ensemble d’´echantillonnage stable pour E
K
est que pour
tout y ,= 0 appartenant au r´eseau dual Γ

de Γ on ait
[K ∩ (K + y)[ = 0. Le r´eseau dual de Γ est d´efini par
Γ

= ¦y; exp(ix y) = 1, x ∈ Γ¦.
Cette condition est beaucoup plus forte que celle por-
tant sur la densit´e de Λ.
Si K est donn´e, on cherchera un ensemble d’´echantil-
lonnage stable Λ ayant une densit´e minimale (ce qui re-
vient `a faire le moins possible de mesures). Ce probl`eme
devient alors celui des pavages les plus denses possible
du plan ou de l’espace par des translat´es de K. Si par
exemple n = 2 et si K est un disque de centre 0 et de
rayon R, alors l’´echantillonnage optimal sur un r´eseau
des fonctions de E
K
est fourni par le r´eseau hexagonal.
La densit´e du r´eseau optimal est

3

2
R
2
. Nous verrons
que l’on peut descendre jusqu’`a
1

R
2
.
Si maintenant K est la couronne 1 − ε ≤ [x[ ≤ 1,
alors l’´echantillonnage optimal sur un r´eseau des fonc-
tions f ∈ E
K
est fourni par le r´eseau hexagonal de den-
sit´e

3

2
alors que l’on peut, grˆace ` a un ´echantillonnage
irr´egulier, descendre jusqu’` a ε/2π comme nous le mon-
trerons (th´eor`eme 6.1).
6
5. Trois probl
`
emes
Voici les trois probl`emes que nous ´etudierons dans le
cadre de l’´echantillonnage irr´egulier.
Probl`eme A. Le compact K ⊂ R
n
est donn´e et l’on
cherche `a ´echantillonner de la fa¸con la plus ´economique
possible les fonctions f ∈ E
K
. Il s’agit donc de faire le
moins possible de mesures pour r´ecup´erer f. En d’autres
termes, on veut que la densit´e d’´echantillonnage soit min-
imale. La densit´e minimale est (2π)
−n
[K[.
Probl`eme B. L’ensemble Λ ⊂ R
n
est donn´e et l’on
cherche ` a savoir si Λ peut ˆetre utilis´e pour ´echantillonner
toutes fonctions de tous les espaces E
K
sous la seule
condition que la mesure du compact K soit inf´erieure ` a
(2π)
n
dens Λ.
Probl`eme C. L’ensemble Λ est donn´e tandis que
K et f ∈ E
K
sont inconnus. On sait seulement que la
mesure de K est inf´erieure `a
1
2
(2π)
n
dens Λ et l’on veut
retrouver f et K ` a partir des donn´ees a(λ) = f(λ), λ ∈
Λ. Cela revient ` a recontruire une fonction f, port´ee par
un ensemble inconnu mais de petite mesure, `a l’aide de
quelques-uns de ses coefficients de Fourier.
Nous verrons que ces trois probl`emes admettent des
solutions diff´erentes.
7
6. Solution du premier probl
`
eme.
Nous nous proposons de d´emontrer le th´eor`eme suiv-
ant:
Th´eor`eme 6.1. Pour tout compact K ⊂ R
n
et tout
ε positif, il existe un r´eseau Γ ⊂ R
n
et un ensem-
ble fini F ⊂ R
n
tels que l’ensemble Λ = Γ + F ait
les deux propri´et´es suivantes: (a) la densit´e de Λ est
inf´erieure `a (2π)
−n
[K[ + ε et (b) Λ est un ensemble
d’´echantillonnage stable pour E
K
.
En dimension 1 la construction de Λ repose sur une
variante simple d’un th´eor`eme dˆ u `a Terence Tao. Soit p
un nombre premier et soit F
p
le corps fini ` a p ´el´ements.
La transform´ee de Fourier d’une fonction f d´efinie sur
F
p
est
ˆ
f(l) =

0≤k≤p−1
exp(2πikl/p)f(k) (5)
Si E ⊂ F
p
, nous d´esignerons par l
2
E
l’espace vectoriel
des f ∈ l
2
(F
p
) qui sont nulles hors de E et par l
2
(E)
l’espace des restrictions ` a E des f ∈ l
2
(F
p
). Alors le
th´eor`eme de Tao nous dit que, pour deux parties E et F
de F
p
ayant le mˆeme nombre d’´el´ements, l’application T :
l
2
E
→ l
2
(F) d´efinie par T(f) =
ˆ
f[
F
est un isomorphisme.
8
6.1. Une variante simple du th´eor`eme de Tao.
Observons que cet ´enonc´e est imm´ediatement faux si F
p
est remplac´e par Z/NZ et si N n’est pas un nombre pre-
mier. Il existe cependant des versions faibles du th´eor`eme
de Tao o` u F
p
est remplac´e par Z/NZ et o` u le choix de
l’ensemble F d´epend de celui de E. Voici la version que
nous utiliserons.
Lemme 6.1. Si E ⊂ Z/NZ, d´esignons par q le nom-
bre d’´el´ements de E et posons F = ¦0, 1, , q −1¦.
Alors il existe une constante β = β
q,N
> 0 telle que,
pour toute suite c(k), k ∈ E, on ait
q−1

m=0
[

k∈E
c(k) exp(2πikm/N)[
2
≥ β

k∈E
[c(k)[
2
(6)
La preuve du lemme 6.1 se ram`ene au calcul du d´eterminant
de la matrice A = ((exp(2πikm/N)))
k∈E, 0≤m≤q−1
. C’est
un d´eterminant de van der Monde qui est non nul.
Revenons ` a la preuve du th´eor`eme 6.1. Nous pou-
vons supposer K ⊂ [0, 2π] et ensuite remplacer K par
K
/
⊃ K de sorte que K
/
soit une r´eunion de q inter-
valles et v´erifie [K
/
[ ≤ [K[ + ε. Si l’entier N est suff-
isamment grand, nous pouvons mˆeme supposer que les
extr´emit´es des q intervalles composant K
/
soient de la
forme 2π
k
N
, 0 ≤ k ≤ N. On a donc [K
/
[ = 2π
q
N
et l’on
´ecrira d´esormais K au lieu de K
/
.
Tout se ram`ene ` a prouver ce qui suit.
9
6.2. Une base de Riesz de E
K
.
Proposition 6.1. Soit E ⊂ ¦0, , N − 1¦, q =
Card E et soit K ⊂ [0, 2π] la r´eunion des q inter-
valles [2kπ/N, 2(k + 1)π/N], k ∈ E. On pose alors
Λ = NZ + ¦0, . . . , q −1¦ (7)
Soit φ(x) la transform´ee de Fourier inverse de la
fonction indicatrice de K. Les φ(x − λ), λ ∈ Λ, for-
ment alors une base de Riesz de E
K
.
Corollaire 6.1. Avec les notations de la Proposition
6.1, Λ est un ensemble d’´echantillonnage stable pour
E
K
.
D´emontrons le corollaire. La transform´ee de Fourier
d’une fonction f ∈ E
K
s’´ecrit
ˆ
f(ξ) =

k∈E
ˆ
f
k
(Nξ −2kπ) (8)
o` u chaque
ˆ
f
k
est port´ee par [0, 2π]. On a donc
f(x) =
1
N

k∈E
f
k
(x/N) exp(2πikx/N) (9)
Pour d´emontrer le corollaire, on doit donc montrer que
le nombre σ d´efini par

l∈Z

0≤m≤q−1
[

k∈E
f
k
(l + m/N) exp(2πikm/N)[
2
(10)
d´epasse β|f|
2
2
.
10
On commence, pour chaque m fix´e, par calculer la
somme en l ∈ Z en utilisant le lemme suivant.
Lemme 6.2. Si la transform´ee de Fourier de g est
port´ee par un intervalle I de longueur 2π, alors la
somme
c(α) =

l∈Z
[g(l + α)[
2
(11)
ne d´epend pas de α ∈ [0, 1] et vaut |g|
2
2
.
Le lemme 6.2 est appliqu´e `a la fonction auxiliaire g(x) =

k∈E
f
k
(x) exp(2πikm/N) et permet de ramener le cal-
cul de σ ` a l’expression plus simple suivante
σ =

l∈Z
¦

0≤m≤q−1
[

k∈E
f
k
(l) exp(2πikm/N)[
2
¦ (12)
Puisque [E[ = q, on peut appliquer (pour tout l fix´e) le
lemme 6.1 ` a la somme en m et l’on obtient
σ ≥ β

l∈Z

k∈E
[f
k
(l)[
2
= β|f|
2
2
(13)
La preuve du th´eor`eme 6.1 en dimension quelconque
repose sur une autre variante du th´eor`eme de Tao.
Lemme 6.3. Pour toute partie E de (Z/NZ)
n
, il ex-
iste une partie F ⊂ (Z/NZ)
n
de mˆeme cardinalit´e et
telle que la matrice A = ((exp(2πik l/N))
k∈E,l∈F
soit
inversible.
La preuve du lemme 6.3 s’obtient assez facilement par
r´ecurrence sur le cardinal q de E et sera d´etaill´ee dans
l’appendice.
11
Passons `a la preuve du th´eor`eme 6.1 en dimension
quelconque. On suppose que K est inclus dans [0, 2π]
n
et l’on recouvre K par les cubes [2k
j
π/N ≤ x
j
<
2(k
j
+ 1)π/N], j = 1, 2, . . . , n, k ∈ E, o` u N est as-
sez grand pour que la somme des mesures de ces petits
cubes ne d´epasse pas [K[ + ε.
On remplace alors K par cette r´eunion de cubes, r´eunion
qui sera encore not´ee K. L’ensemble E est maintenant
fix´e et on lui associe F par le lemme 6.3. On pose alors
Λ = NZ
n
+ F (14)
On d´ecompose ensuite une fonction f ∈ E
K
en une
somme
f(x) =
1
N
n

k∈E
f
k
(x/N) exp(2πik x/N) (15)
o` u les transform´ees de Fourier des fonctions f
k
sont port´ees
par le cube [0, 2π]
n
. La suite du calcul s’effectue comme
dans le cas de la dimension 1 en utilisant le lemme suiv-
ant.
Lemme 6.4. Si la transform´ee de Fourier de g ∈
L
2
(R
n
) est port´ee par le cube [0, 2π]
n
, alors la somme
c(α) =

l∈Z
n
[g(l + α)[
2
(16)
ne d´epend pas de α ∈ [0, 1]
n
et vaut |g|
2
2
.
12
7. Universal sampling sets
Dans “A universal sampling of band-limited signals”,
C.R. Math. Acad. Sci. Paris 342 (2006) 927-931,
A. Olevskii et A. Ulanovskii ont pos´e le probl`eme de ne
plus faire d´ependre l’ensemble Λ du compact K. Il s’agit
maintenant de construire une ensemble d’´echantillonnage
Λ qui convienne chaque fois que la mesure [K[ de K
v´erifie [K[ < (2π)
n
dens Λ. C’est notre probl`eme B. Le
th´eor`eme 6.1 ne permet pas de r´esoudre le probl`eme B.
En effet on a
Lemme 7.1. Soit Λ = Z + F o` u F est un ensemble
fini. Alors pour tout α > 0, il existe un compact K
de mesure inf´erieure `a α et fonction f ∈ E
K
qui est
nulle sur Λ sans ˆetre identiquement nulle.
La preuve est imm´ediate. Nous construisons la trans-
form´ee de Fourier de f. On suppose que
F = ¦x
1
, . . . , x
q
¦
et l’on part de la mesure atomique
σ = σ
1
∗ σ
2
. . . ∗ σ
q
o` u σ
j
= e

j
δ
0
− δ

. Le choix de la phase φ
j
= 2πx
j
permet d’avoir ˆ σ
j
(k + x
j
) = 0, k ∈ Z. D`es lors
ˆ σ(λ) = 0, λ ∈ Λ.
Il suffit de remplacer σ par σ ∗ g o` u g est continue et
support´ee par [−α2
−q
, α/2
−q
] pour conclure. Le cas Λ =
aZ + F, a > 0, s’en d´eduit aussitˆ ot.
13
7.1. L’´echantillonnage al´eatoire. Richard Bass et
Karlheinz Gr¨ochenig ont d´emontr´e le r´esultat remarquable
suivant
Th´eor`eme 7.1. Soit r
j
, j ∈ Z, des variables al´eatoires
ind´ependantes ´equir´eparties sur [0, 1]. Alors presque
sˆ urement l’ensemble al´eatoire
Λ = ¦λ
j
= j + r
j
, j ∈ Z¦
n’est pas un ensemble d’´echantillonnage stable.
Plus pr´ecis´ement, pour tout α > 0 on forme K =
[−α, α] ∪ [2π − α, 2π + α]. Il existe alors une suite f
j
de fonctions de E
K
telles que l’on ait |f
j
|
2
= 1 tan-
dis que

λ∈Λ
[f
j
(λ)[
2
→ 0, j → ∞. Nous montrerons
qu’en rempa¸ cant les variables al´eatoires r
j
par une suite
´equir´epartie, de fa¸con bien plus r´eguli`ere, dans [0, 1] on
obtient un ensemble d’´echantillonnage stable.
14
8. Les quasicristaux
Les quasicristaux simples seront d´efinis apr`es l’´enonc´e
du th´eor`eme 8.1. Mais voici deux exemples en dimension
1.
On appelle ¦x¦ ∈ [0, 1) la partie fractionnaire du nom-
bre r´eel x = k+¦x¦, k ∈ Z. Alors le premier exemple est
Λ = ¦k + ¦k

2¦, k ∈ Z¦. On notera la forte ressem-
blance avec l’ensemble al´eatoire de Gr¨ochenig. L’´equi-
distribution est rempac´ee par l’´equir´epartition. La den-
sit´e de Λ est alors ´egale `a 1. Le second exemple d´epend
du param`etre α > 0 et est d´efini par
Λ = ¦λ = m+n

2, m ∈ Z, n ∈ Z; [m−n

2[ ≤ α¦.
La densit´e de Λ est α/

2. Cette densit´e peut ˆetre choisie
aussi faible que l’on souhaite et cependant Λ peut ˆetre
utilis´e pour ´echantillonner toutes les sommes trigonom´e-
triques f(t) =

N
1
c
k
cos(ω
k
t + φ
k
), quelles que soient
les fr´equences ω
1
, , ω
N
.
Le th´eor`eme suivant est d´emontr´e dans une note aux
CRAS, intitul´ee “Quasicrystals are sets of stable sam-
pling” et parue en 2008, vol. 346, pp 1235-1238.
Th´eor`eme 8.1. Soit Λ ⊂ R
n
un quasicristal sim-
ple. Alors Λ est un ensemble d’´echantillonnage stable
pour E
K
d`es que le compact K ⊂ R
n
v´erifie [K[ <
(2π)
n
dens Λ.
15
8.1. Les quasicristaux simples. Nous d´efinissons main-
tenant un quasicristal simple.
Soit Γ ⊂ R
n
R
m
un r´eseau. Pour tout (x, t) ∈
R
n
R
m
, ´ecrivons p
1
(x, t) = x, p
2
(x, t) = t. Sup-
posons que p
1
restreint ` a Γ soit une application injec-
tive d’image p
1
(Γ) = Γ
1
. On fait la mˆeme hypoth`ese
sur p
2
. Supposons de plus que p
1
(Γ) est dense dans R
n
et que p
2
(Γ) est dense dans R
m
. Le r´eseau dual de Γ
est not´e Γ

et est d´efini comme l’ensemble des x tels
que x y ∈ 2πZ, x ∈ Γ, y ∈ Γ

. Si γ = (x, t) ∈ Γ
nous ´ecrirons t = ˜ x,
˜
t = x. Observons que t est alors
d´etermin´e de fa¸con unique par x. La mˆeme notation
sera utilis´ee pour les deux coordonn´ees de γ

∈ Γ

.
D´efinition 2. Soit Q ⊂ R
m
un ensemble compact.
Alors le quasicristal Λ
Q
⊂ R
n
est d´efini par
Λ
Q
= ¦p
1
(γ); γ ∈ Γ, p
2
(γ) ∈ Q¦.
Un quasicristal est simple si m = 1 et Q = [−α/2, α/2]
pour un certain α > 0.
16
9. Le troisi
`
eme probl
`
eme
Ceci nous conduit ` a une solution du troisi`eme probl`eme.
Nous montrerons d’abord l’unicit´e de la solution. Nous
fournirons ensuite un algorithme permettant de recon-
struire f.
9.1. Unicit´e. D´esormais K et f sont inconnus tandis
que Λ est donn´e. On sait cependant que f ∈ E
K
et que
[K[ <
1
2
(2π)
n
dens Λ.
Alors f est d´etermin´ee de fa¸ con unique par son ´echantillon-
nage sur Λ. En effet, si f
1
et f
2
coincident sur Λ, on
posera f = f
1
−f
2
et l’on aura f = 0 sur Λ. Mais la trans-
form´ee de Fourier de f est port´ee par la r´eunion K =
K
1
∪ K
2
dont la mesure ne d´epasse pas [K
1
[ + [K
2
[ <
(2π)
n
dens Λ. Le th´eor`eme 8.1 s’applique ` a K et Λ et per-
met de conclure. Tout ceci s’´ecroulerait si l’on rempa¸cait
[K[ <
1
2
(2π)
n
dens Λ par [K[ <
1
2
(2π)
n
dens Λ + ε pour
un ε > 0.
17
9.2. Reconstruire. Comment reconstruire f sans
connaˆıtre le support K de sa transform´ee de Fourier?
C’est ici que l’on s’inspire de compressed sensing d’Em-
manuel Cand`es. On prendra le probl`eme ` a l’envers et l’on
cherchera ` a recontruire une fonction f, port´ee par un
ensemble de petite mesure, `a l’aide de quelques-uns
de ses coefficients de Fourier.
Soit Λ un quasicristal simple de densit´e d. Pour tout
β > 0, soit M
β
la collection des fonctions f ∈ L
2
(R
n
)
dont le support est inclus dans un ensemble compact K
(d´ependant de f) de mesure ne d´epassant pas β.
On a alors
Th´eor`eme 9.1. Si f ≥ 0 appartient `a M
β
avec
0 < β < (2π)
n
d/2
alors f est d´etermin´ee de fa¸con unique par l’´echantil-
lonnage
ˆ
f(λ), λ ∈ Λ, sur Λ de sa transform´ee de
Fourier et f coincide avec la solution unique du pro-
bl`eme variationnel suivant
inf¦|u|
1
; u ∈ L
1
(R
n
), ˆ u(λ) =
ˆ
f(λ), λ ∈ Λ¦.
18
10. Preuve du lemme 6.4
La preuve s’obtient par r´ecurrence sur le cardinal q de
E et F. Si q = 1, le r´esultat est ´evident et le choix du
singleton F est arbitraire. Voyons comment passer de q
` a q + 1. On suppose que le nombre d’´el´ements de E est
q +1 et l’on choisit dans E un ´el´ement not´e k
0
. On ´ecrit
alors E = ¦k
0
, k
1
, , k
q
¦. On pose E
/
= ¦k
1
, , k
q
¦.
Grˆ ace `a l’hypoth`ese de r´ecurrence, on peut associer `a E
/
une partie finie F
/
de mˆeme cardinalit´e q et telle que la
matrice A
/
= ((exp(2πik l/N))
k∈E
/
,l∈F
/ soit inversible.
On veut construire F = F
/
∪ ¦x¦ pour un certain x ∈
(Z/NZ)
n
. On compl`ete A
/
en une matrice A, de type
(q + 1) (q + 1), en lui adjoignant la colonne
(exp(2πixk
1
/N), , exp(2πixk
1
/N), exp(2πixk
0
/N))
qui sera la derni`ere colonne de A. De mˆeme les q premiers
´el´ements de la derni`ere ligne de A seront
exp(2πil k
0
/N), l ∈ F.
On suppose, en raisonnant par l’absurde que pour tout
choix de x le d´eterminant de A soit nul. On d´eveloppe
alors ce d´eterminant par rapport `a la derni`ere colonne
de A. On obtient
q

0
c
j
exp(2πik
j
x) = 0.
Cela implique que tous les coefficients c
j
soient nuls. En
particulier c
0
= 0. Mais c
0
n’est autre que le d´eterminant
de A. On aboutit ` a une contradiction.

e . Si 0 < h < π/ω. Cette fr´quence ω est appel´e la e e e fr´quence de coupure. elle est insuffisante parce que les roues tournent trop vite. e Un exemple d’aliasing est fourni par certains westerns o`. Ce que tous les enfants savent. Si h > π/ω. le sous-´chantillonnage introduit un artee fact appel´ “aliasing”. pour reconstruire f de fa¸on exacte ` c a partir des f (hj). On suppose qu’un signal f (t) ne contienne pas de fr´e quences d´passant ω. Le cas h = π/ω est celui de l’´chantillonnage e critique de Shannon. les roues de la u diligence semblent tourner lentement en sens contraire. e Alors il suffit d’´chantillonner f (t) sur une grille hZ. lors d’une poursuite par les Indiens. e 0 < h ≤ π/ω.2 1. j ∈ Z. on a sur´chantillonn´ (on a fait trop e e de mesures). Que fait-on si les fr´quences ξ contenues dans f v´rifient e e 0 < ω0 ≤ |ξ| ≤ ω1? Le th´or`me de Shannon ne permet e e pas de prendre en compte ω0 et nous impose la mˆme e cadence d’´chantillonnage que si l’on avait |ξ| ≤ ω1. La cadence d’´chantillonnage est de 24 images par sece onde .

λ ∈ Λ. Un ensemble Λ ⊂ Rn est un enseme ble d’´chantillonnage stable pour EK s’il existe une e constante C telle que. ee de fonctions appartenant ` EK telles que.3 2. λ = λ (1) D´finition 1. on ait f (x) = λ∈Λ f (λ)φλ(x) (3) . pour tout f ∈ EK on ait f 2 2 ≤C λ∈Λ |f (λ)|2 (2) Si cette propri´t´ a lieu. pour toute a fonction f ∈ EK . nous ´crirons e ˆ f ∈ EK si la transform´e de Fourier f de f ∈ L2(Rn) e est nulle hors de K. λ ∈ Λ. Nous ´tudierons l’´chantillonnage irr´gulier sur un ene e e n semble Λ ⊂ R de points v´rifiant e |λ − λ | ≥ β > 0. Echantillonnage stable La transform´e de Fourier d’une fonction f ∈ L2(Rn) e est d´finie par e ˆ f (ξ) = Rn exp(−ix · ξ)f (x) dx Si K est une partie compacte de Rn. λ ∈ Λ. il existe une famille φλ.

Landau La suite f (λ). . R) est la boule de centre x et de rayon R.J. Attention! Les fonctions φλ d´pendent de Λ et de K. Murray Hill) pour avoir (2). e Apr`s avoir ´nonc´ la condition n´cessaire due a H. λ ∈ Λ.J. Si e e e B(x. alors on a n´cessairement e dens Λ ≥ (2π)−n|K| (4) Cette condition n´cessaire portant sur la densit´ inf´e e e rieure de Λ n’est ´videmmment pas suffisante. R) et l’on prend la borne inf´rieure de e ce quotient quand R tend vers l’infini. e e e La condition n´cessaire suivante a ´t´ d´couverte par e ee e H. Landau. e e e e ` Landau (Bell Labs. Th´or`me 3. nous ´tudierons trois probl`mes.J.4 3. on compte le nombre de points de B(x. (B) et (C). H. not´s (A).1. R) ∩ Λ et l’on en prend la borne inf´rieure N (R) en x ∈ Rn. On divise N (R) par e le volume de B(x. est de carr´ sommable et la s´rie e e 2 n (3) converge dans L (R ). Pour cale culer la densit´ inf´rieure on proc`de comme suit. Si Λ est un ensemble d’´chantillone e e nage stable pour EK .

a Si maintenant K est la couronne 1 − ε ≤ |x| ≤ 1. e e . Le pavage hexagonal sera battu Lorsque A est une matrice inversible n × n et que Λ = Γ = A(Zn) est un sous-groupe discret de Rn. e Si K est donn´. alors l’´chantillonnage optimal sur un r´seau e e des fonctions de EK est fourni par √ r´seau hexagonal. Ce probl`me a e devient alors celui des pavages les plus denses possible du plan ou de l’espace par des translat´s de K. alors l’´chantillonnage optimal sur un r´seau des fonce e tions√f ∈ EK est fourni par le r´seau hexagonal de dene sit´ 2π3 alors que l’on peut. grˆce a un ´chantillonnage e 2 a ` e irr´gulier.5 4. Cette condition est beaucoup plus forte que celle portant sur la densit´ de Λ. x ∈ Γ}. descendre jusqu’` ε/2π comme nous le mone a trerons (th´or`me 6. le e La densit´ du r´seau optimal est 2π3 R2. exp(ix · y) = 1. Le r´seau dual de Γ est d´fini par e e Γ∗ = {y.1). alors la condition n´cessaire et suffisante pour que Λ soit un e ensemble d’´chantillonnage stable pour EK est que pour e tout y = 0 appartenant au r´seau dual Γ∗ de Γ on ait e |K ∩ (K + y)| = 0. Si par e exemple n = 2 et si K est un disque de centre 0 et de rayon R. Nous verrons e e 2 1 2 que l’on peut descendre jusqu’` 4π R . on cherchera un ensemble d’´chantile e lonnage stable Λ ayant une densit´ minimale (ce qui ree vient ` faire le moins possible de mesures).

L’ensemble Λ est donn´ tandis que e e K et f ∈ EK sont inconnus. e Probl`me B. La densit´ minimale est (2π)−n|K|. Il s’agit donc de faire le moins possible de mesures pour r´cup´rer f. ` l’aide de a quelques-uns de ses coefficients de Fourier. Trois problemes Voici les trois probl`mes que nous ´tudierons dans le e e cadre de l’´chantillonnage irr´gulier. on veut que la densit´ d’´chantillonnage soit mine e imale. λ ∈ ` e Λ.6 ` 5. e . Cela revient a recontruire une fonction f. En d’autres e e termes. Probl`me C. Nous verrons que ces trois probl`mes admettent des e solutions diff´rentes. port´e par ` e un ensemble inconnu mais de petite mesure. Le compact K ⊂ Rn est donn´ et l’on e e cherche ` ´chantillonner de la fa¸on la plus ´conomique ae c e possible les fonctions f ∈ EK . L’ensemble Λ ⊂ Rn est donn´ et l’on e e cherche a savoir si Λ peut ˆtre utilis´ pour ´chantillonner ` e e e toutes fonctions de tous les espaces EK sous la seule condition que la mesure du compact K soit inf´rieure a e ` (2π)ndens Λ. e e Probl`me A. On sait seulement que la mesure de K est inf´rieure ` 1 (2π)ndens Λ et l’on veut e a 2 retrouver f et K a partir des donn´es a(λ) = f (λ).

pour deux parties E et F e e de Fp ayant le mˆme nombre d’´l´ments. e exp(2πikl/p)f (k) (5) . Pour tout compact K ⊂ Rn et tout e e ε positif. Soit p e e ua un nombre premier et soit Fp le corps fini a p ´l´ments. ` ee La transform´e de Fourier d’une fonction f d´finie sur e e Fp est ˆ f (l) = 0≤k≤p−1 2 Si E ⊂ Fp. e En dimension 1 la construction de Λ repose sur une variante simple d’un th´or`me dˆ ` Terence Tao. Alors le ` th´or`me de Tao nous dit que. l’application T : e ee 2 ˆ lE → l2(F ) d´finie par T (f ) = f |F est un isomorphisme. Nous nous proposons de d´montrer le th´or`me suive e e ant: Th´or`me 6.7 ` 6. nous d´signerons par lE l’espace vectoriel e des f ∈ l2(Fp) qui sont nulles hors de E et par l2(E) l’espace des restrictions a E des f ∈ l2(Fp). Solution du premier probleme. il existe un r´seau Γ ⊂ Rn et un enseme n ble fini F ⊂ R tels que l’ensemble Λ = Γ + F ait les deux propri´t´s suivantes: (a) la densit´ de Λ est ee e −n inf´rieure ` (2π) |K| + ε et (b) Λ est un ensemble e a d’´chantillonnage stable pour EK .1.

k ∈ E. Il existe cependant des versions faibles du th´or`me e e de Tao o` Fp est remplac´ par Z/N Z et o` le choix de u e u l’ensemble F d´pend de celui de E. Voici la version que e nous utiliserons. q − 1}.1. d´signons par q le nome bre d’´l´ments de E et posons F = {0. 0≤m≤q−1. C’est un d´terminant de van der Monde qui est non nul. Lemme 6. 1. Nous pou` e e vons supposer K ⊂ [0. Si l’entier N est suffe isamment grand.1. ee Alors il existe une constante β = βq.1. Si E ⊂ Z/N Z. e e Observons que cet ´nonc´ est imm´diatement faux si Fp e e e est remplac´ par Z/N Z et si N n’est pas un nombre pree mier. pour toute suite c(k). nous pouvons mˆme supposer que les e extr´mit´s des q intervalles composant K soient de la e e q k forme 2π N . On a donc |K | = 2π N et l’on ´crira d´sormais K au lieu de K . Une variante simple du th´or`me de Tao. · · · .1 se ram`ne au calcul du d´terminant e e de la matrice A = ((exp(2πikm/N )))k∈E.8 6. 2π] et ensuite remplacer K par K ⊃ K de sorte que K soit une r´union de q intere valles et v´rifie |K | ≤ |K| + ε. 0 ≤ k ≤ N.N > 0 telle que. e ` . on ait q−1 | m=0 k∈E c(k) exp(2πikm/N )|2 ≥ β k∈E |c(k)|2 (6) La preuve du lemme 6. e Revenons a la preuve du th´or`me 6. e e Tout se ram`ne a prouver ce qui suit.

.2. Proposition 6. . q = Card E et soit K ⊂ [0. N − 1}. Les φ(x − λ). D´montrons le corollaire. Une base de Riesz de EK . · · · . k ∈ E. On pose alors Λ = N Z + {0. q − 1} (7) Soit φ(x) la transform´e de Fourier inverse de la e fonction indicatrice de K.1. Soit E ⊂ {0. Avec les notations de la Proposition 6. . 2π].9 6. forment alors une base de Riesz de EK . Corollaire 6. on doit donc montrer que e le nombre σ d´fini par e | l∈Z 0≤m≤q−1 k∈E fk (l + m/N ) exp(2πikm/N )|2 (10) d´passe β f 2.1. On a donc u e f (x) = 1 N fk (x/N ) exp(2πikx/N ) k∈E (9) Pour d´montrer le corollaire. λ ∈ Λ.1. e 2 . 2(k + 1)π/N ]. . La transform´e de Fourier e e d’une fonction f ∈ EK s’´crit e ˆ f (ξ) = k∈E ˆ fk (N ξ − 2kπ) (8) ˆ o` chaque fk est port´e par [0. 2π] la r´union des q intere valles [2kπ/N. Λ est un ensemble d’´chantillonnage stable pour e EK .

10 On commence.1 a la somme en m et l’on obtient ` σ≥β l∈Z k∈E |fk (l)|2 = β f 2 2 (13) La preuve du th´or`me 6. e 2 Le lemme 6.2. alors la e somme c(α) = |g(l + α)|2 (11) l∈Z ne d´pend pas de α ∈ [0.l∈F soit inversible. Lemme 6.3 s’obtient assez facilement par r´currence sur le cardinal q de E et sera d´taill´e dans e e e l’appendice. on peut appliquer (pour tout l fix´) le e lemme 6. par calculer la e somme en l ∈ Z en utilisant le lemme suivant. La preuve du lemme 6.1 en dimension quelconque e e repose sur une autre variante du th´or`me de Tao. pour chaque m fix´. e e Lemme 6. . Pour toute partie E de (Z/N Z)n.2 est appliqu´ ` la fonction auxiliaire g(x) = ea k∈E fk (x) exp(2πikm/N ) et permet de ramener le calcul de σ a l’expression plus simple suivante ` σ= { | fk (l) exp(2πikm/N )|2} (12) l∈Z 0≤m≤q−1 k∈E Puisque |E| = q.3. 1] et vaut g 2. il existe une partie F ⊂ (Z/N Z)n de mˆme cardinalit´ et e e telle que la matrice A = ((exp(2πik · l/N ))k∈E. Si la transform´e de Fourier de g est e port´e par un intervalle I de longueur 2π.

j = 1. e 2 . On pose alors e Λ = N Zn + F (14) On d´compose ensuite une fonction f ∈ EK en une e somme f (x) = 1 Nn fk (x/N ) exp(2πik · x/N ) k∈E (15) o` les transform´es de Fourier des fonctions fk sont port´es u e e n par le cube [0. L’ensemble E est maintenant e fix´ et on lui associe F par le lemme 6. On suppose que K est inclus dans [0. e On remplace alors K par cette r´union de cubes. . . La suite du calcul s’effectue comme dans le cas de la dimension 1 en utilisant le lemme suivant. alors la somme e c(α) = l∈Zn |g(l + α)|2 (16) ne d´pend pas de α ∈ [0. Si la transform´e de Fourier de g ∈ e L2(Rn) est port´e par le cube [0.1 en dimension a e e quelconque. o` N est asu sez grand pour que la somme des mesures de ces petits cubes ne d´passe pas |K| + ε. n. . k ∈ E.3. 1]n et vaut g 2. . Lemme 6.11 Passons ` la preuve du th´or`me 6. 2π]n et l’on recouvre K par les cubes [2kj π/N ≤ xj < 2(kj + 1)π/N ]. r´union e e qui sera encore not´e K. 2. 2π]n. 2π] .4.

. il existe un compact K de mesure inf´rieure ` α et fonction f ∈ EK qui est e a nulle sur Λ sans ˆtre identiquement nulle. α/2 ] pour conclure. . Le e e th´or`me 6. . e o . . Paris 342 (2006) 927-931. a > 0. s’en d´duit aussitˆt. Le choix de la phase φj = 2πxj u permet d’avoir σj (k + xj ) = 0. Olevskii et A.R. Math. Il s’agit e maintenant de construire une ensemble d’´chantillonnage e Λ qui convienne chaque fois que la mesure |K| de K v´rifie |K| < (2π)ndens Λ. ∗ σq o` σj = eiφj δ0 − δ2π . . xq } et l’on part de la mesure atomique σ = σ1 ∗ σ2 .12 7. Il suffit de remplacer σ par σ ∗ g o` g est continue et u −q −q support´e par [−α2 . Acad.1 ne permet pas de r´soudre le probl`me B. k ∈ Z. e e e e En effet on a Lemme 7. Nous construisons la transe form´e de Fourier de f. C. A. Ulanovskii ont pos´ le probl`me de ne e e plus faire d´pendre l’ensemble Λ du compact K. λ ∈ Λ.1. Sci. On suppose que e F = {x1. C’est notre probl`me B. e La preuve est imm´diate. Soit Λ = Z + F o` F est un ensemble u fini. Universal sampling sets Dans “A universal sampling of band-limited signals”. Le cas Λ = e aZ + F. Alors pour tout α > 0. D`s lors ˆ e ˆ σ (λ) = 0. .

Il existe alors une suite fj de fonctions de EK telles que l’on ait fj 2 = 1 tandis que λ∈Λ |fj (λ)|2 → 0.1. de fa¸on bien plus r´guli`re. 1]. Soit rj . j → ∞. Nous montrerons qu’en rempa¸ant les variables al´atoires rj par une suite c e ´quir´partie. e Plus pr´cis´ment.13 7. α] ∪ [2π − α. e . des variables al´atoires e e e ind´pendantes ´quir´parties sur [0. 1] on e e c e e obtient un ensemble d’´chantillonnage stable. j ∈ Z} n’est pas un ensemble d’´chantillonnage stable. j ∈ Z. L’´chantillonnage al´atoire. dans [0. Alors presque e e e sˆrement l’ensemble al´atoire u e Λ = {λj = j + rj . 2π + α].1. Richard Bass et e e Karlheinz Gr¨chenig ont d´montr´ le r´sultat remarquable o e e e suivant Th´or`me 7. pour tout α > 0 on forme K = e e [−α.

346. La densit´ de Λ est α/ 2. On notera la forte ressemblance avec l’ensemble al´atoire de Gr¨chenig. intitul´e “Quasicrystals are sets of stable same pling” et parue en 2008.1. On appelle {x} ∈ [0. · · · . quelles que soient les fr´quences ω1. m ∈ Z. Alors Λ est un ensemble d’´chantillonnage stable e pour EK d`s que le compact K ⊂ Rn v´rifie |K| < e e n (2π) dens Λ. Cette densit´ peut ˆtre choisie e e e aussi faible que l’on souhaite et cependant Λ peut ˆtre e utilis´ pour ´chantillonner toutes les sommes trigonom´e e e N triques f (t) = 1 ck cos(ωk t + φk ). ωN . Th´or`me 8. Alors le premier exemple est e √ Λ = {k + {k 2}. La dene e e sit´ de Λ est alors ´gale ` 1. k ∈ Z}. n ∈ Z. Les quasicristaux Les quasicristaux simples seront d´finis apr`s l’´nonc´ e e e e du th´or`me 8. 1) la partie fractionnaire du nombre r´el x = k+{x}. Soit Λ ⊂ Rn un quasicristal sime e ple. Mais voici deux exemples en dimension e e 1. vol. L’´quie o e distribution est rempac´e par l’´quir´partition. e Le th´or`me suivant est d´montr´ dans une note aux e e e e CRAS. Le second exemple d´pend e e a e du param`tre α > 0 et est d´fini par e e √ √ Λ = {λ = m + n 2. k ∈ Z. √ . pp 1235-1238.14 8. |m − n 2| ≤ α}.1.

x ∈ Γ. e Alors le quasicristal ΛQ ⊂ Rn est d´fini par e ΛQ = {p1(γ). Nous d´finissons maine tenant un quasicristal simple. t) = t. t) ∈ e n m R × R . Un quasicristal est simple si m = 1 et Q = [−α/2. Pour tout (x. Le r´seau dual de Γ e ∗ est not´ Γ et est d´fini comme l’ensemble des x tels e e que x · y ∈ 2πZ. La mˆme notation e e c e sera utilis´e pour les deux coordonn´es de γ ∗ ∈ Γ∗. Observons que t est alors e d´termin´ de fa¸on unique par x.1. y ∈ Γ∗. Supposons de plus que p1(Γ) est dense dans Rn et que p2(Γ) est dense dans Rm. t = x. α/2] pour un certain α > 0. γ ∈ Γ. p2(γ) ∈ Q}. Les quasicristaux simples. On fait la mˆme hypoth`se e e sur p2. e e D´finition 2. ´crivons p1(x. p2(x.15 8. Si γ = (x. Soit Γ ⊂ Rn × Rm un r´seau. Supe posons que p1 restreint a Γ soit une application injec` tive d’image p1(Γ) = Γ1. Soit Q ⊂ Rm un ensemble compact. . t) ∈ Γ ˜ ˜ nous ´crirons t = x. t) = x.

Le troisieme probleme Ceci nous conduit a une solution du troisi`me probl`me. Le th´or`me 8. Nous e fournirons ensuite un algorithme permettant de reconstruire f.16 ` ` 9. Tout ceci s’´croulerait si l’on rempa¸ait e c 1 1 n n |K| < 2 (2π) dens Λ par |K| < 2 (2π) dens Λ + ε pour un ε > 0. si f1 et f2 coincident sur Λ. on posera f = f1 −f2 et l’on aura f = 0 sur Λ. Unicit´. Mais la transform´e de Fourier de f est port´e par la r´union K = e e e K1 ∪ K2 dont la mesure ne d´passe pas |K1| + |K2| < e n (2π) dens Λ. D´sormais K et f sont inconnus tandis e e que Λ est donn´. On sait cependant que f ∈ EK et que e 1 |K| < (2π)ndens Λ. 2 Alors f est d´termin´e de fa¸on unique par son ´chantillone e c e nage sur Λ. En effet. .1 s’applique a K et Λ et pere e ` met de conclure. ` e e Nous montrerons d’abord l’unicit´ de la solution. 9.1.

soit Mβ la collection des fonctions f ∈ L2(Rn) dont le support est inclus dans un ensemble compact K (d´pendant de f ) de mesure ne d´passant pas β.1. Comment reconstruire f sans connaˆ le support K de sa transform´e de Fourier? ıtre e C’est ici que l’on s’inspire de compressed sensing d’Emmanuel Cand`s. e e On a alors Th´or`me 9. Si f ≥ 0 appartient ` Mβ avec e e a 0 < β < (2π)nd/2 alors f est d´termin´e de fa¸on unique par l’´chantile e c e ˆ lonnage f (λ). On prendra le probl`me a l’envers et l’on e e ` cherchera a recontruire une fonction f.u ˆ ∈ L1(Rn). port´e par un ` e ensemble de petite mesure. λ ∈ Λ}. Reconstruire. ` l’aide de quelques-uns a de ses coefficients de Fourier.2. u(λ) = f (λ). Soit Λ un quasicristal simple de densit´ d.17 9. Pour tout e β > 0. ˆ . sur Λ de sa transform´e de e Fourier et f coincide avec la solution unique du probl`me variationnel suivant e inf{ u 1. λ ∈ Λ.

on peut associer ` E a a e e a une partie finie F de mˆme cardinalit´ q et telle que la e e matrice A = ((exp(2πik · l/N ))k∈E . en lui adjoignant la colonne (exp(2πix·k1/N ). On ´crit ee e e alors E = {k0. · · · . k1. On obtient q cj exp(2πikj · x) = 0. On suppose. De mˆme les q premiers e e ´l´ments de la derni`re ligne de A seront ee e exp(2πil · k0/N ). · · · . kq }. exp(2πix·k1/N ). On veut construire F = F ∪ {x} pour un certain x ∈ (Z/N Z)n.4 La preuve s’obtient par r´currence sur le cardinal q de e E et F.l∈F soit inversible. En particulier c0 = 0. On suppose que le nombre d’´l´ments de E est ` ee q + 1 et l’on choisit dans E un ´l´ment not´ k0. kq }. Grˆce ` l’hypoth`se de r´currence. On aboutit a une contradiction. Si q = 1.18 10. 0 Cela implique que tous les coefficients cj soient nuls. le r´sultat est ´vident et le choix du e e singleton F est arbitraire. On d´veloppe e e alors ce d´terminant par rapport ` la derni`re colonne e a e de A. exp(2πix·k0/N )) qui sera la derni`re colonne de A. Preuve du lemme 6. ` . l ∈ F. en raisonnant par l’absurde que pour tout choix de x le d´terminant de A soit nul. On compl`te A en une matrice A. Mais c0 n’est autre que le d´terminant e de A. On pose E = {k1. · · · . Voyons comment passer de q a q + 1. de type e (q + 1) × (q + 1).