La Transformada Wavelet Una Introducción - Ma. E. Domíinguez y G. Sansigre V. - Universidad Politécnica de Madrid PDF
La Transformada Wavelet Una Introducción - Ma. E. Domíinguez y G. Sansigre V. - Universidad Politécnica de Madrid PDF
La Transformada Wavelet Una Introducción - Ma. E. Domíinguez y G. Sansigre V. - Universidad Politécnica de Madrid PDF
E. T. S. de Ingenieros Industriales
La transformada wavelet:
una introducción
1.1. Introducción.
El objeto de la teorı́a de la señal es el estudio de las señales y de los sistemas que las
transmiten. El concepto de señal es muy amplio, de la observación de un fenómeno surgen
ciertas cantidades que dependen de una variable (tiempo, espacio, frecuencia, etc.). La
modelización matemática conduce a una función de una o varias variables continuas o
discretas; si las variables varı́an continuamente (por ejemplo, si es el tiempo t ∈ I ⊂ R)
la señal es analógica; si varı́an de forma numerable (si t = tk , k ∈ I ∩ Z), la señal es
digital, muestral o discreta. Por ejemplo, al hablar emitimos señales analógicas; para
transmitir la voz se muestrea, se convierte en digital y se reconstruye en analógica por el
receptor. Otros ejemplos son la intensidad de una corriente eléctrica, los niveles de gris de
una imagen digitalizada, etc. Además las señales pueden ser deterministas o aleatorias.
Algunas señales elementales son, por ejemplo, la función de Heaviside,
(
0 t<0
u(t) = (1.1)
1 t>0
2
En un espacio de señales analógicas que actúan sobre la variable continua t y esta
varı́a en un intervalo de la recta real I:
Z
La norma “uno” de una señal x: kxk1 = |x(t)|dt.
I
µZ ¶1/2
2
La norma “dos” de una señal x: kxk2 = |x(t)| dt .
I
3
1.2.1. Polinomios trigonométricos.
Por definición, un polinomio trigonométrico es una función de la forma
N
X
P (t) = a0 + (an cos nt + bn sen nt) (1.4)
n=1
1.2.2. Ortogonalidad.
Para relacionar los coeficientes de un polinomio trigonométrico con el propio polinomio,
y de esa forma poder caracterizarlo, son de interés los siguientes resultados:
Z 2π
cos nt cos mt dt = πδn,m
0
Z 2π
sen nt sen mt dt = πδn,m (1.9)
0
Z 2π
cos nt sen mt dt = 0.
0
Y su análogo
Z 2π
eint e−imt dt = 2πδn,m . (1.10)
0
4
Ahora es inmediato encontrar la relación entre un polinomio trogonométrico P y sus
coeficientes,
N
X N
X
int imt
P (t) = cn e , < P (t), e >= cn < eint , eimt >= cm (1.12)
n=−N n=−N
1 Z 2π
⇒ cn = P (t)e−int dt (1.13)
2π 0
P
Además, kP k22 = |cn |2 , es decir:
N
X 1 Z 2π
|cn |2 = |P (t)|2 dt, (1.14)
n=−N 2π 0
igualdad que se conoce con el nombre de Identidad de Parseval para polinomios trigono-
métricos. Teniendo en cuenta las identidades (1.8), las expresiones en senos y cosenos de
los coeficientes son
1 Z 2π 1 Z 2π
an = P (t) cos nt dt, bn = P (t) sen nt dt. (1.15)
π 0 π 0
Estas expresiones de los coeficientes dan respuesta al problema del análisis espectral de
una señal, que no es otra cosa que encontrar los coeficientes a partir del polinomio.
1
a.e. de las siglas en inglés ‘almost everywhere’; suele leerse en castellano ‘casi por doquier’.
5
Este espacio se dota también de un producto escalar,
∞
X
< x, y >= xn y n .
n=−∞
La idea de aproximación:
Dada una función f ∈ L2p (0, 2π) se desea encontrar un polinomio trigonométrico P ,
de grado menor o igual que un cierto N y tal que kf − P k2 sea mı́nima.
Teorema 1 Sea f ∈ L2p (0, 2π) y N un entero positivo. Entonces existe un único polinomio
trigonométrico fN de grado menor o igual que N y tal que kf − fN k2 es mı́nima.
Este polinomio viene dado por
N
X
int 1 Z 2π
fN (t) = cn (f )e , cn (f ) = f (t)e−int dt. (1.16)
n=−N 2π 0
6
Definición 1 Sea f una función periódica de perı́odo 2π. Se define la serie de Fourier
de f como
∞
X
Sf (t) = cn (f )eint (1.20)
n=−∞
7
Con `∞ (Z) (`∞ ) se representan las sucesiones acotadas:
∞
X
X(w) = xn e−iwn . (1.24)
n=−∞
Se denotará por C(R) el espacio de las funciones continuas de variable real y valores
reales o complejos.
Se denotará por L1 (R) el espacio de de las funciones de módulo integrable, esto es:
Z ∞
L1 (R) = {f : R → C, |f (t)| dt := kf k1 < ∞} (1.26)
−∞
8
L∞ (R) está formado por las funciones acotadas; es decir,
Estos espacios están normados por la norma que se ha indicado en su definición; además
L2 (R) con el producto escalar
Z ∞
< f, g >:= f g (1.29)
−∞
ˆ 1 Z ∞ −iwt
f (w) := √ e f (t) dt (1.30)
2π −∞
cuando la integral del segundo miembro converge.
Teorema 4 Si f está en L1 (R) entonces (1.30) converge; además fˆ es continua y está aco-
tada; es decir fˆ ∈ C(R) ∩ L∞ (R) y se cumple lı́m fˆ(w) = 0.
|w|→∞
1.3.2. Propiedades de F
1. Linealidad: F(af + bg) = afˆ + bĝ
9
3. Cambio de escala en el tiempo (concentración – dilatación).
µ ¶
1 w
F(f (kt))(w) = F(f ) , k 6= 0 (1.32)
|k| k
5. Teorema de modulación:
fˆ(w − w0 ) + fˆ(w + w0 )
F(cos w0 t f (t))(w) = (1.35)
2
1.3.4. Convolución.
Se define el producto de convolución de dos funciones como
Z ∞
f ∗ g (t) := f (x)g(t − x) dx (1.39)
−∞
Propiedades
1. El producto de convolución es asociativo:
(f ∗ g) ∗ h = f ∗ (g ∗ h),
2. y conmutativo:
f ∗ g = g ∗ f.
10
1.3.5. Inversión de la transformada de Fourier.
fˆ = ĝ ⇒ f = g a.e. (1.41)
fˆ = ĝ, f, g continuas ⇒ f = g (1.42)
Teorema 6 (de inversión) Sea f ∈ L1 (R), acotada y C 1 a trozos (es decir, con derivada
continua a trozos), entonces
Z T
f (t+ ) + f (t− ) 1
=√ lı́m eiwt fˆ(w) dw (1.44)
2 2π T →∞ −T
Propiedades:
1. S ⊂ L1 ∩ L2 ,
3. f ∈ S ⇒ f (t − a) ∈ S, a real, arbitrario.
4. f ∈ S ⇒ fˆ ∈ S,
5. f, g ∈ S ⇒ f ∗ g ∈ S,
11
6. g ∈ S ⇒ ∃ h ∈ S, ĥ = g
7. S = L2 (R)
Z ∞ Z ∞
8. f, g ∈ L (R) ⇒ f ĝ, fˆ g ∈ L1 (R) y
2
f ĝ = fˆ g
−∞ −∞
es decir < f, g >=< fˆ, ĝ > y, en particular, se cumple la fórmula de Parseval (1.19),
kf k = kfˆk.
12
1.4.2. La transformada bidimensional de Fourier.
Denotaremos por L2 (R2 ) el espacio de Hilbert de las funciones f de R2 en R tales
que Z
|f (x, y)|2 dxdy < ∞
R2
2 ˆ 1 Z
∀(ωx , ωy ) ∈ R , f (ωx , ωy ) = f (x, y)e−i(xωx +yωy ) dxdy
2π R 2
13
1.5. La función de transferencia de un filtro.
Sea ew (t) := eiwt una señal monocromática. Para valores enteros de t es una señal
digital mientras que para valores reales es analógica. Sea A un filtro (sistema lineal,
continuo e invariante), entonces ew es una función propia de A; es decir, existe un escalar
H(w) (dependiente de w) tal que A(ew ) = H(w) ew . La función H : R → C se llama
función de transferencia del filtro.
Demostración
Sean t, u ∈ R, contemplemos u como parámetro y t como variable,
haciendo t = 0:
∃ h : Z → C, ∀x ∈ `2 A(x) = x ∗ h,
Para comprobarlo basta utilizar la base natural de `2 formada por las sucesiones
{δn , n ∈ Z} definidas por
(
1 si n = k
(δn )k = δn,k =
0 si n =
6 k
Entonces
X X
xn = xk (δn )k = xk (δ0 )n−k ,
k∈Z k∈Z
14
aplicamos el filtro con sus propiedades de linealidad, continuidad e invarianza:
X
(A(x))n = xk (A(δ0 ))n−k .
k∈Z
Por abuso de lenguaje es frecuente omitir sı́mbolo para el sistema A y llamar filtro a la
respuesta impulsional h.
1 Z∞ ˆ 1 Z∞ ˆ
f (t) = √ f (w)eiwt dw = √ f (w)ew (t) dw
2π −∞ 2π −∞
1 Z∞ ˆ
g(t) = A(f )(t) = √ f (w)A(ew )(t) dw
2π −∞
1 Z∞ ˆ
=√ f (w)H(w)eiwt dw = F(fˆH)(−t),
2π −∞
ˆ
pero ĝ(−t) = g(t) por lo que identificando se llega a ĝ(w) = H(w)fˆ(w).
15
¿El filtro paso bajo ideal?
Supongamos un filtro que produce una señal g como salida de una entrada f , sea H
la función de transferencia. Entonces, según acabamos de ver
(
1 |w| < w0
H(w) = (1.49)
0 resto
pero la función h
sen w0 t
h(t) = (1.50)
πt
1
se transforma en ĥ(w) = √ H(w) ası́ pues
2π
√
ĝ(w) = H(w)fˆ(w) = 2π ĥ(w) fˆ(w) ⇒ g = h ∗ f (1.51)
Vemos que h, la respuesta impulsional que caracteriza el filtro, no se anula en una semir-
recta, luego el filtro no es realizable (f = 0, t < t0 ⇒ g = 0 t < t0 ).
16
1.6. Señales finitas. El problema de los bordes
En la práctica, al analizar una señal f , tanto si es analógica como discreta, siempre se
trabaja con un número FINITO de muestras, para poder implementar los cálculos (por
ordenador o a mano). Ası́ pues, consideramos que la entrada de un sistema es un vector
de longitud N :
x = (x0 , x1 , · · · , xN −1 )
que puede resultar, por ejemplo, de muestrear la señal analógica f (t) en N puntos equidis-
tantes: xk = f (k) , k = 0, 1, . . . , N − 1.
Al aplicar un filtro h al vector de entrada x, realizamos la convolución
X
(h ∗ x)n = hk xn−k = · · · + h−2 xn+2 + h−1 xn+1 + h0 xn + h1 xn−1 + h2 xn−2 + · · ·
k∈Z
nos encontramos con el PROBLEMA DE LOS BORDES. Necesitamos conocer los datos
x−1 , x−2 , . . . en el borde izquierdo y los datos xN , xN +1 , . . . en el borde derecho. De alguna
forma entonces hay que EXTENDER ARTIFICIALMENTE LA SEÑAL FINITA. En la
literatura aparecen varios tipos de extensiones:
Otras extensiones
Cada tipo de extensión tiene su ventaja y su inconveniente. Las más utilizadas son
las 3 primeras, pero en algunos problemas, las discontinuidades que provocan pueden ser
muy molestas.
17
1.6.1. Transformada discreta de Fourier
De nuevo consideramos un vector de longitud N, x = (x0 , x1 , · · · , xN −1 ) que proviene,
por ejemplo, de muestrear una señal:
xk = f (k) , k = 0, 1, . . . , N − 1.
Si se extiende periódicamente dicho vector, en el fondo se está considerando que la
función f es periódica de periodo N ; su serie de Fourier es
Z N
1 X i2πnt/N
f (t) = cn e con cn = f (t) e−i2πnt/N dt
N n∈Z 0
18
Definición 6 Se llama TRANSFORMADA DISCRETA DE FOURIER INVERSA (IDFT)
de un vector x̂ = (x0 , x1 , · · · , xN −1 ) de longitud N al vector x = (x0 , x1 , · · · , xN −1 ) de
misma longitud N definido por
1 NX
−1
1 NX
−1 ³ ´k
xn = x̂k (W n )k = x̂k ei2πn/N
N k=0 N k=0
Observaciones
19
periódica del vector yN :
h0 0 ··· 0 hL−1 · · · h2 h1
...
h1 h0 hL−1 · · · h2
y0 .. .. .. .. .. x0
. . . . .
y1 h
L−2 ··· h0 0 ··· 0 0 hL−1 x1
yN = y2
h
= L−1 h ··· h0 0 ··· 0 0
..
= HN xN
L−2 .
..
0 h hL−2 ··· h0 0 ··· 0
x
. L−1 N −2
.. ... ... ... ... ... ... ..
yN −1
. .
xN −1
..
. 0 hL−1 hL−2 ··· · · · h0 0
0 ··· 0 hL−1 hL−2 ··· ··· h0
Obsérvese que tanto la matriz de Toeplitz y los vectores son finitos, de tamaño máximo
N.
Además, la matriz HN es circulante; el Álgebra matricial demuestra que es diago-
P
nalizable (puesto que HN = L−1 n
n=0 hn S , siendo S la matriz básica de desplazamiento o
“shift”), sus autovalores son
L−1
X ³ ´
k n
hn W = ĥk
n=0
la DFT de xN ,
Matricialmente,
20
Capı́tulo 2
Transformada wavelet
si la señal f es periódica
R
o pertenece a L2 [0, 2π]: mediante sus coeficientes de Fourier
1 2π
cn = hf, eint i = 2π 0 f (t) e−int dt, y la señal se aproxima por su serie de Fourier
P
f (t) = cn eint ;
si la señal f pertenece
R
a L1 (R) o a L2 (R) , mediante su transformada integral de
Fourier fˆ (w) = √2π R f (t) e−iwt dt, y la señal f puede reconstruirse a partir de ella
1
1 Z ˆ
mediante la expresión integral f (t) = √ f (w) eiwt dw;
2π R
si la señal x es discreta y pertenece a ell2D(R) , su transformada
E de Fourier es la
2 P −inw inw
función de L [0, 2π] X (w) = xn e = x, (e )n∈Z y el proceso es invertible
y
21
fˆ, pero tendrı́a soporte infinito, (NO MANEJABLE en la práctica),
o bien, entendida como función de L2 [0, T ] podrı́amos calcular su serie de Fouri-
er, pero eso nos darı́a INFINITOS COEFICIENTES cn .
en la que las exponenciales están multiplicadas por una ventana localizada, dando infor-
mación tanto respecto de la frecuencia w como de los valores de f en el punto a.
Otra aproximación es la TRANSFORMADA WAVELET, que da información en tiem-
po y en escala, y va a resolver el problema de las funciones de soporte compacto.
22
2.1. Transformada continua de wavelets.
Definición 7 Se llama función wavelet a una función ψ ∈ L1 ∩L2 que verifique la llamada
“condición de admisibilidad”
Z
|ψ̂(w)|2 Cψ
dw = < ∞. (2.1)
R |w| 2π
que representa la versión dilatada de ψ según el factor de escala |a| (la gráfica de ψ queda
expandida o comprimida, según |a| sea mayor o menor queZ 1, respectivamente)
q Z
de tal
forma que la integral queda multiplicada por dicho factor: ψa = |a| ψ, mientras
R R
que la norma no se modifica: kψa k = kψk.
Para a, b ∈ R, se define
à !
1
t−b
ψa,b (t) = q ψ , (2.3)
|a| a
entonces:
t−b
Observación: Mediante el cambio de variable u = , se tiene que
a
q Z
Wf (a, b) = |a| f (au + b)ψ(u) du
R
Ası́, si ψ tiene soporte compacto, Wf (a, b) depende solamente de los valores que toma f
alrededor del punto b, en un entorno de longitud proporcional a la escala a. Esta propiedad
de información dual espacio-escala confiere a la transformada wavelet una gran impor-
tancia.
23
Teorema 8 Sea ψ una función wavelet y Cψ la constante de la condición de admisibilidad;
entonces para cualquier f ∈ L2 se cumple:
(b) Reconstrucción:
1 ZZ da db
f (t) = Wf (a, b)ψa,b (t) 2 (2.6)
Cψ R2 a
Apunte de demostración:
q Z
Wf (a, b) = < f, ψa,b >=< fˆ, ψ̂a,b >=
|a| fˆ(w)ψ̂(aw)eibw dw =
R
√ q √ q
= 2π |a| F (f ψ̂(a ·))(−b) = 2π |a| F −1 (fˆ ψ̂(a ·))(b)
ˆ (2.7)
ZZ Z ·Z ¸
|Wf (a, b)|2 da
2
da db = 2π |F −1 (fˆ ψ̂(a ·))(b)|2 db =
R2 a R R |a|
Z ·Z ¸ Z " Z #
da da
2π |fˆ(b)| |ψ̂(a b)| db
2 2
= |fˆ(b)| 2π
2
|ψ̂(a b)| 2
db
R R |a| R R |a|
La integral entre corchetes no depende de b y además coincide con la constante Cψ ,
con lo que el apartado (a) queda probado.
Probemos la fórmula de reconstrucción (supuesto, para simplificar cálculos, f, fˆ ∈ L1 )
Z √ q Z
Wf (a, b)ψa,b (t) db = 2π |a| F −1 (fˆ ψ̂(a ·))(b)ψa,b (t) db
R R
Consideremos ψa,b (t) como función de b y denotémosla g(b) := ψa,b (t), entonces
Z √ q Z
Wf (a, b)ψa,b (t) db = 2π |a| fˆ(w)ψ̂(aw)F −1 (g)(w) dw
R R
Sustituyendo,
Z √ Z
Wf (a, b)ψa,b (t) db = |a| 2π fˆ(w) |ψ̂(aw)|2 eiwt dw.
R R
24
Dividamos esta expresión por a2 e integrémosla respecto de la variable a ∈ R,
Z ·Z ¸ Z "Z #
√ ¯
¯
¯2
¯ da √ da
2π |a| fˆ(w) ¯ψ̂(aw)¯ eiwt dw 2 = 2π fˆ(w) |ψ̂(aw)|2 eiwt dw =
R R a R R |a|
Z
1
Cψ √ fˆ(w)eiwt dw = Cψ f (t)
2π R
25
2.1.2. Transformada diádica de wavelets.
La transformada wavelet continua presenta una cierta redundancia: de hecho, se de-
muestra que basta calcular Wf (a, ·) para una cantidad numerable de escalas (por ejemplo,
las potencias enteras de 2) para poder reconstruir totalmente la señal original.
entonces:
1 X 1 °° °2
°
b) ∀f ∈ L2 (R) A kf k2 ≤ °W f (2j
, ·) ° ≤ B kf k
2
2π j∈Z 2j
Observaciones importantes:
26
Demostración del Teorema:
a) Existencia:
Sea Ψ ∈ L2 (R) la función cuya transformada de Fourier es
ψ̂(w)
Ψ̂ (w) = P ¯ ¯2 (2.11)
¯ ¯
j∈Z ¯ψ̂(2j w)¯
° ° ° °
Tal función existe pues kΨk = °°Ψ̂°° ≤ 1
A
° °
°ψ̂ ° < ∞
También se satisface la condición de admisibilidad.
De esta forma Ψ verifica X
ψ̂(2j w)Ψ̂(2j w) = 1
j∈Z
Reconstrucción:
Probemos ahora que cualquier Ψ que verifique esta última igualdad es una wavelet
reconstructora respecto a ψ.
(Además, de ella se deduce que ψ es una wavelet reconstructora respecto a Ψ.)
Multipliquemos por fˆ(w) y apliquemos (2.8):
X 1 X 1 \
fˆ(w) = fˆ(w)ψ̂(2j w)Ψ̂(2j w) = √ j/2
Wf (2j , ·)(w)Ψ̂(2j w) (2.12)
j∈Z 2π j∈Z 2
Antitransformando, se llega a
X 1 µ ¶ X 1
1 j·
2πf = j j/2
Wf (2 , ·) ∗ Ψ j = Wf (2j , ·) ∗ Ψ2j
j∈Z 2 2 2 j∈Z 2j
√ √
b) Basta con aplicar la identidad de Parseval a W\ j
f (2 , ·)(w) = 2π 2j fˆ(w)ψ̂(2j w) y
utilizar las acotaciones de la hipótesis:
° °2 ° °2 Z ¯ ¯2 ¯ ¯2
° ° ° ° ¯ ¯ ¯ ¯
j
°Wf (2 , ·)° = ° \ j )°° = 2j · 2π ¯fˆ(w)¯ ¯ψ̂(2j w)¯ dw
°Wf (2 ,
R
sumando en j :
Z ¯ Z ¯
1 X 1 °° j
°2
° ¯ˆ
¯2 X ¯
¯ ¯ j
¯2
¯ ¯ˆ
¯2
¯ 2
j
°W f (2 , ·)° = ¯ f (w)¯ ¯ ψ̂(2 w)¯ dw ≤ B ¯ f (w) ¯ dw = B kf k
2π j∈Z 2 R j∈Z R
27
Conclusión: Estas desigualdades del resultado prueban, respectivamente, la completitud y
la estabilidad de la transformada diádica de wavelets, siempre que se cumpla la condición
(2.9). Sin embargo, de forma análoga al caso continuo, existe una cierta redundancia entre
las funciones de la sucesión diádica (Wf (2j , ·))j∈Z .
Este último comentario nos lleva a preguntarnos si podemos considerar una transfor-
mada wavelet DISCRETA tanto en tiempo como en escala, que también nos proporcione
una representación completa y estable de funciones de L2 .
28
Teorema 10 Sea ψ es una wavelet tal que ψ̂ (w) = 0, ∀w ∈ / [−π, π]. Entonces existe otra
wavelet ψ̃ tal que X
∀f ∈ L2 (R), f = < f, ψj,k > ψ̃j,k .
j,k∈Z
Demostración:
Consideramos la transformada diádica de f ; como ψ es de banda limitada, también lo
es la función Wf\
(2−j , ·)(w), puesto que, según la ecuación (2.8) de la sección anterior:
√ √
Wf\
(2−j , ·)(w) = 2π 2−j fˆ(w)ψ̂(2−j w)
Ası́ pues, si el soporte de ψ̂ (w) es [−π, π], entonces el soporte de Wf\ (2−j , ·) (w) es
j j j+1
[−2 π, 2 π] de longitud 2Ω = 2 π.
Podemos aplicar a dicha función de banda limitada el Teorema del muestreo de Shan-
non: µ ¶
X sen (Ωt − πn)
−j −j πn
Wf (2 , t) = Wf 2 ,
n∈Z (Ωt − πn) Ω
donde Ω = 2j π, luego los puntos de muestreo son πn/Ω = 2−j n :
X sen (π(2j t − n)) X sen (π2j (t − 2−j n))
Wf (2−j , t) = Wf (2−j , 2−j n) = cj,n
n∈Z π (2j t − n) n∈Z π2j (t − 2−j n)
Basta desarrollar Ij,n , que es la integral del producto de dos funciones; por la identidad
de Parseval, es igual a la integral del producto de sus transformadas de Fourier. Es sabido
que la transformada de Fourier del seno cardinal es la función caracterı́stica y viceversa:
à ! r
sen (Ω(· − a)) π −iwa
F (w) = e χ[−Ω,Ω] (w) ,
·−a 2
29
en particular à ! r
sen (πu) π
F (w) = χ[−π,π] (w) .
u 2
Por otro lado, la transformada de Fourier de la otra función es F (Ψ (2j x − n + ·)) (w) =
Ψ̂ (w) eiw(2 x−n) . Todo ello nos lleva a
j
r
1Z π 1 Zπ ³ ´
Ψ̂ (w) eiw(2 x−n) Ψ̂ (w) eiw(2 x−n) dw = Ψ 2j x − n ,
j j
I2j x−n = χ[−π,π] (w) dw = √
π R 2 2π −π
Consecuencias:
En el caso en que
X ¯¯ ³ ´¯2
¯ 1
∀w 6= 0, ¯ψ̂ 2j w ¯ =
j∈Z 2π
entonces la transformada diádica tiene por cotas A = B = 1 (y es una isometrı́a). Además,
Ψ = 2πψ luego la wavelet reconstructora es ψ̃ = Ψ/2π = ψ ası́ que la condición anterior
es equivalente a la ortogonalidad de ψ.
30
2.1.4. Wavelets ortogonales.
Definición: Se dice que una wavelet ψ es ortogonal si la familia
n o
ψj,k := 2j/2 ψ(2j · −k), j, k ∈ Z
X
f (x) = < f, ψj,k > ψj,k (x) (2.14)
j,k∈Z
Tanto más útil será la descomposición cuanto la velocidad de convergencia a cero de los
coeficientes sea grande; hagamos una aproximación heurı́stica al problema de momentos:
El problema de momentos
Sea 2j = n, k = 0, estudiemos la convergencia a cero de
Z ∞
un = f (x)ψ(nx) dx, (2.15)
−∞
sustituyamos la función f por su desarrollo de Taylor con resto integral, por ejemplo:
q
X f (l) (0) Z ∞ ψ(x)
un = xl dx + Rn (2.16)
l=0 l! −∞ nl+1
Z ∞
Si denotamos el momento de orden l de ψ por Ml = xl ψ(x) dx, entonces
−∞
q
X f (l) (0) Ml
un = + Rn (2.17)
l=0 l! nl+1
Podemos concluir que la velocidad de un a cero viene gobernada por el primer momento
no nulo.
Ello lleva a introducir en la definición de wavelet un cierto orden de regularidad,
Definición:
Sea r ∈ N, una wavelet real de orden r es una función ψ : R → R cuya derivada de
orden r es continua a trozos y xq ψ ∈ L1 (0 ≤ q ≤ r) y que cumple:
cte
a) |ψ (m) (x)| ≤ , m = 0, 1, . . . , r
1 + |x|r+m+1
31
Z ∞
b) xq ψ(x) dx = 0, q = 0, 1, . . . , r
−∞
(Observemos que r indica también el orden de cero como raı́z de ψ̂ ya que ψ̂ (q) (0) =
(−i)q Z ∞ q
√ x ψ(x) dx.
2π −∞
32
ALGUNOS EJEMPLOS DE WAVELETS
Wavelet que es derivada de una Gaussiana
1.2
0.8
0.6
0.4
0.2
−0.2
−0.4
−0.6
0 200 400 600 800 1000 1200
Es regular
simétrica
ni es ortogonal
33
Wavelet de Meyer
1.5
0.5
−0.5
−1
0 200 400 600 800 1000 1200
Ortogonalidad
Es regular
simétrica
34
Wavelet de Haar
1
0.8
0.6
0.4
0.2
0
0 1/2
1
−0.2
−0.4
−0.6
−0.8
−1
0 100 200 300 400 500 600
Soporte compacto
Ortogonalidad
No es simétrica
35
Wavelet de Daubechies de orden 2
2
1.5
0.5
−0.5
−1
−1.5
0 100 200 300 400 500 600 700 800
Soporte compacto
Ortogonalidad
Es sólo continua
No es simétrica
36
Wavelet de Daubechies de orden 4
1.5
0.5
−0.5
−1
0 200 400 600 800 1000 1200 1400 1600 1800
Soporte compacto
Ortogonalidad
Regular
No es simétrica
37
Symlet de Daubechies de orden 8
1.5
0.5
−0.5
−1
0 500 1000 1500 2000 2500 3000 3500 4000
Soporte compacto
Ortogonalidad
Regular
38
Wavelet de Coifman (Coiflet) de orden 4
1.5
0.5
−0.5
−1
0 0.5 1 1.5 2 2.5
4
x 10
Soporte compacto
Ortogonalidad
Regular
39
Capı́tulo 3
Análisis de multirresolución
3. f ∈ V0 ⇐⇒ ∀j ∈ Z, f (2j · ) ∈ Vj .
Ejemplos:
40
Para cada j entero, consideremos el subespacio Vj de L2 (R) de las funciones con-
stantes en intervalos [2−j k, 2−j (k +1)] cualquiera que sea k entero. Es claro que se
cumplen las condiciones de la definición de multirresolución. Los subespacios Vj son
versiones reescaladas de V0 que es el espacio de las funciones constantes sobre inter-
valos de longitud unidad y extremos enteros. Como función φ tomamos la función
caracterı́stica del intervalo [0, 1].
g = lı́m gj .
j→∞
Por otra parte, que (φ(2j · −k))k∈Z sea base de Vj permite escribir para cada j
X
gj (x) = γj,k φ(2j x − k).
k∈Z
Es decir,
X
g(x) = lı́m γj,k φ(2j x − k). (3.1)
j→∞
k∈Z
1 Z
3. La media de la función φ, esto es φ̂(0) = √ φ(x) dx, es no nula ya que para
2π R
una g ∈ L2 (R) cualquiera, tomando la transformada de Fourier en (3.1),
X γj,k µ ¶
−ikw/2j w
ĝ(w) = lı́m e φ̂ j
j→∞
k∈Z 2j 2
41
y evaluando en cero:
X γj,k
ĝ(0) = lı́m j
φ̂ (0)
j→∞
k∈Z 2
y, obviamente, dado que existen funciones g tales que ĝ(0) 6= 0, puesto que
1 Z iwx 1 Z
ĝ(w) = √ e g(x) dx ⇒ ĝ(0) = √ g(x) dx
2π R 2π R
φ ∈ V0 ⊂ V1 = L(φ(2 · −k))k∈Z ;
esto significa que la función de escala φ puede expandirse como combinación lineal infinita
de su dilatada φ(2 · ) y sus trasladadas: es decir, existen unos coeficientes (hk )k∈Z ∈ `2
tales que
X√
φ(x) = 2hk φ(2x − k) (3.2)
k∈Z
³ √ ´
Sea H la transformada de Fourier de la señal discreta hk / 2 ; es decir, H denota
³ √ ´ k∈Z
la serie trigonométrica de coeficientes hk / 2 ,
k∈Z
1 X
H(w) := √ hk e−ikw (3.3)
2 k∈Z
entonces µ ¶ µ ¶
w w
φ̂(w) = H φ̂ . (3.4)
2 2
42
3.0.6. Algunas propiedades de H
1. H es periódica de perı́odo 2π.
2
2. La serie trigonométrica
X |H| está asociada al filtro r de autocorrelación de h,
definido como rm := hk hk−m ; comprobémoslo:
k∈Z
1 X 1 X 1 X
|H(w)|2 = hj hk e−iw(j−k) = hj hj−m e−imw = rm e−imw . (3.5)
2 j,k∈Z 2 j,m∈Z 2 m∈Z
5. El filtro h es un filtro paso bajo por ser H(0) NO NULO: el filtro asociado a la
función de escala φ es paso bajo.
luego
φ̂(2π) = φ̂(4π) = φ̂(8π) = · · · = φ̂(2N π).
Si se impone un mı́nimo decaimiento de φ̂ (por ejemplo, que φ esté en L1 , para que
φ̂ (w) → 0 cuando |w| → ∞), entonces necesariamente φ̂(2N π) = 0 = φ̂(2π) de
donde
0 = φ̂(2π) = H (π) φ̂ (π)
con lo cual es lógico imponer que H(π) = 0. Se verá más adelante que esta condición
es lógica, pues implica que la wavelet tenga necesariamente integral nula.
pero NO TODO filtro paso bajo genera una función de escala. (Se necesita una
condición de convergencia que se muestra en el próximo teorema 11).
43
En tal caso, ¿cómo obtener φ a partir de su filtro baso bajo asociado h? Veamos
que se consigue iterando la propiedad (3.4)
µ ¶ µ ¶ µ ¶ µ ¶
w w w w
φ̂(w) = H H . . . H j φ̂ j
2 4 2 2
y pasando al lı́mite:
Y µ ¶ µ ¶ Y µ ¶
w w w
φ̂(w) = H lı́m φ̂ = H φ̂(0).
j≥1 2j j→∞ 2j j≥1 2j
Y µ ¶
w
Por tanto, si el productorio H j converge, entonces la función de escala queda
j≥1 2
determinada salvo un factor no nulo φ̂(0), que es su media.
R
Si se normaliza
√ φ de forma que tenga media 1 (es decir, φ = 1 o, equivalentemente,
φ̂(0) = 1/ 2π), entonces la única función de escala asociada al filtro h es
µ ¶
1 Y w
φ̂(w) = √ H j (3.6)
2π j≥1 2
YJ µ ¶
1 w
F (w) = √ lı́m H j
2π J→∞
j=1 2
44
Figura 3.1: Función de escala.
√
pues los únicos coeficientes no nulos son
√ h 0 = h 1 = 1/ 2.
P
Es un filtro paso bajo con hn = 2, lo que equivale a H (0) = 1.
El filtro es FINITO porque el SOPORTE DE φ ES COMPACTO.
¿Se podrı́a haber construido φ a partir del filtro h? Sı́ pues el productorio converge
a una función de L2 :
YJ µ ¶
1 w
√ lı́m H j = χ̂[0,1] (w) (ejercicio)
2π J→∞
j=1 2
√
luego las funciones de escala asociadas al filtro finito paso bajo h = (1, 1) / 2 son las
proporcionales a χ[0,1] ; de entre ellas la única de media 1 es φ = χ[0,1] .
Observación: Esta función de escala servirá para construir la wavelet ψ de Haar.
φ(0) = χ[0,1)
X√
∀i ∈ N, φ(i) (x) = 2 hk φ(i−1) (2x − k)
k∈Z
45
que, si el filtro cumple la condición de convergencia del
R
teorema 11, converge
R (i)
a la Rfunción φ
que satisface
R (0)
la ecuación de escala, además de que φ = 1 (puesto que φ = φ(i−1) =
· · · = φ = 1).
Para³ i = 0, ´ es obvio que φ(0) en los enteros toma valores de una delta de Kronecker:
(0) (0)
v = φ (m) = (δm,0 )m = δ.
m
³ En la etapa
´ i = 1, se tiene que en los semienteros, φ(1) toma los valores v(1) =
(1)
φ (m/2) que son
m
µ ¶ X√ X√ √ √
m
φ(1) = 2 hk φ(0) (m − k) = 2 hk δm−k,0 = 2 hm = 2 (h ∗ δ)m
2 k∈Z k∈Z
√ √ √ ³ ´
Obsérvese que v(1) = 2h = 2 (h ∗ δ0 ) = 2 h ∗ v(0) .
En general, si en la etapa i − 1 se conoce el valor de φ(i−1) en los puntos de la forma
m/2i−1 , y se introducen en el vector
³ ³ ´´
v(i−1) = φ(i−1) m/2i−1
m
entonces, en la etapa i−ésima, podemos calcular fácilmente el valor de φ(i) en los puntos
de la forma k/2i , (que constituyen el vector v(i) )
µ ¶ X√
(i) m m
vm = φ(i) i = 2 hk φ(i−1) ( i−1 − k) =
2 k∈Z 2
X√ m − 2i−1 k X√ (i−1)
= 2 hk φ(i−1) ( i−1
) = 2 hk vm−2i−1 k =
k∈Z 2 k∈Z
X√ ³ i−1
´
(i−1)
= 2 h↑2 vm−n
n
n∈Z
³ ´
donde el vector h ↑ 2i−1 es el vector que resulta de intercalar 2i−1 coeficientes nulos
entre cada dos coeficientes de h :
(
³ ´ hk si n = 2i−1 k
i−1
h↑2 (n) =
0 resto
Hemos deducido que
√
v(1) = 2h
√ ³³ ´ ´
∀i > 1, v(i) = 2 h ↑ 2i−1 ∗ v(i−1)
ası́ que en cada iteración no hay más que realizar una convolución del vector anterior
v(i−1) con el filtro paso bajo h convenientemente extendido con ceros.
(Ejercicio: Hallar la función de transferencia (transformada de Fourier) del filtro que
transforma v(0) en v(i) ).
En resumen, con un número no muy alto de iteraciones (i = 10) se obtiene la gráfica
de φ(10) en los puntos de la forma m/210 , m ∈ Z, y, si φ es continua, dan una buena
aproximación de la gráfica de φ en el dominio temporal, sin necesidad de conocer su
trasnformada de Fourier.
46
3.2. El caso ortogonal
Consideremos, como antes, la función de escala
X√
φ(x) = 2hk φ(2x − k)
k∈Z
Impongamos ahora la condición de que φ sea ortogonal a sus trasladadas; ası́ pues
añadimos el requisito de que φ dé lugar a una base ortogonal; sustituimos 4. de la definición
de análisis multirresolución por:
Observación importante:
Z ∞ Z ∞
kφ(2j · −k)k2 = |φ(2j x − k)|2 dx = 2−j |φ(x)|2 dx = 2−j kφk = 2−j
−∞ −∞
con lo que (φj,k = 2j/2 φ(2j · −k))k∈Z es base ortonormal de Vj . En particular, (φ1,k =
√
2φ(2 · −k))k∈Z es base ortonormal de V1 .
47
Demostración: Basta aplicar la ecuación de escala a φ y a cualquier trasladada suya
φ( · − k), e imponer la condición de ortogonalidad entre ambas
48
Demostración:
En efecto, a) y b) son equivalentes por la definición de r2m y la condición de ortogo-
nalidad (3.7).
Por otro lado, siempre se verifica que
1 X X
|H(w)|2 + |H(w + π)|2 = rm e−imw + rm (−1)m e−imw =
2 m∈Z m∈Z
X
= r2k e−i2kw
k∈Z
y para que esta serie trigonométrica sea constante e igual a 1, es necesario y suficiente
que sus coeficientes de Fourier r2k sean todos nulos salvo r0 = 1; ello equivale a que se
cumpla b).
Otras propiedades son:
Si además h es real entonces |H(−w)| = |H(w)| y junto con (3.8) se tiene que
|H(w)|2 + |H(π − w)|2 = 1 con lo cual, aparte de obtener que H(π/2) = 1/2, basta
sólo definir H en [0, π/2].
Veamos por fin una condición suficiente para que un filtro dé lugar a φ ORTONOR-
MADA:
Teorema 14 Sea H una serie trigonométrica que verifica (3.8), con H(0) = 1, y que
genera una función de escala ψ mediante 3.6.
Si H no se anula en [−π/2, π/2], entonces φ y sus trasladadas forman una familia
ortonormada en L2 .
49
3.3. Construcción de bases para los suplementarios
ortogonales de Vj−1 en Vj
Supongamos que (Vj ) es un análisis multirresolución tal que las trasladadas de φ
constituyen una base ortonormal de V0 ; es decir, nos centramos en el caso ortogonal. Se
desea construir una wavelet ψ de modo que sus dilatadas y trasladadas diádicas:
Vj ⊂ Vj+1 ⊂ · · · ⊂ VJ ,
J−1
M
VJ = Vj ⊕ Wj ⊕ Wj+1 ⊕ · · · ⊕ WJ−1 = Vj Wn
n=j
Por otro lado, dado que {0} = lı́m Vj , podemos concluir que
j→−∞
M
L2 (R) = Wj .
j∈Z
f ∈ Wj ⇒ f (2 · ) ∈ Wj+1
Por ello es por lo que empezamos construyendo una base para W0 que es el complemento
ortogonal de V0 en V1 , con la idea de que sus dilatados nos proporcionen bases de los
sucesivos Wj .
50
Sea ψ ∈ W0 ⊂ V1 , entonces:
√ X
a) ψ(x) = 2 gk φ(2x − k),
k∈Z
b) ψ ⊥ V0 ⇒ ∀ k < ψ, φ( · − k) >= 0.
¿Cómo escoger gk para que (ψ(2j · −k))k∈Z sea base ortogonal de Wj ? (Equivalente-
mente, (ψ(2j · −k))k,j∈Z base de L2 (R))
Para j = 0, imponemos la condición de que ψ sea ortogonal a sus desplazados y de
norma 1:
b) 0 = < ψ, φ( · − k) >=
X X
= 2 gj hm < φ(2 · −j), φ(2 · −2k − m) >= g2k+m hm
j,m m
51
Obviamente se cumple la condición b) para k = 0; veamos que con esta elección se
cumplen tanto b) como c) ya que
X Z
j
< φ(· − m), ψ > = 2 hk (−1) h1−j φ(2x − (2m + k))φ(2x − j) dx =
j,k R
X X X
= (−1)k hk h1−2m−k = h2k h1−2m−2k − h1−2m−2k h2k = 0
k k k
X X X
gm+2k gm = (−1)m+2k h1−(m+2k) (−1)m h1−m = h1−m−2k h1−m = δk,0 .
m∈Z m∈Z m∈Z
Consideremos pues, el filtro g = ((−1)k h1−k )k∈Z , definido a partir de h = (hk )k∈Z ; el
par (h, g) se denomina par de filtros conjugados de cuadratura. La función ψ se escribe
√ X
ψ(x) = 2 (−1)k h1−k φ(2x − k), (3.10)
k∈Z
Procedamos a transformar mediante Fourier la relación que define ψ (los cálculos son
idénticos a los realizados con la ecuación de escala); llegando a
µ ¶
1 X w
ψ̂(w) = √ (−1)k h1−k e−ikw/2 φ̂
2 k∈Z 2
1 X
Si definimos la serie trigonométrica G(w) := √ (−1)k h1−k e−ikw , entonces
2 k∈Z
µ ¶ µ ¶
w w
ψ̂(w) = G φ̂
2 2
pero además, y en relación con H,
1 X 1 X
G(w) = √ (−1)k h1−k e−ikw = √ h1−k e−ik(w+π)
2 k∈Z 2 k∈Z
1 X
=√ hm emi(w+π) e−i(w+π) = −e−iw H(w + π) (3.11)
2 m∈Z
52
FILTROS DE CUADRATURA EN ESPEJO
1
0.9 2
2 |G(w)|
|H(w)|
0.8
0.6
0.5
0.4
0.3
0.2
0.1
0
0 0.5 1 1.5 2 2.5 3 3.5
frecuencias (w)
2. G(0) = H(π) = 0,
3. G(π) = H(0) = 1,
(estas primeras propiedades caracterizan g como filtro paso alto.)
es unitaria.
Observación: la condición de norma 1 de cada fila de esta matriz equivale a la condición
distorsión mı́nima, mientras que la ortogonalidad de las filas (o columnas) se corresponde
a la condición de aliasing nulo.
53
Teorema 15 La familia (ψ( · − k)k∈Z ) es una base ortonormal de W0 .
Demostración: Dado que V1 = V0 ⊕ W0 , basta probar que φ(2 · −m) puede expresarse
como combinación lineal de las trasladadas de φ y las trasladadas de ψ, sea cual sea el
valor entero de m; esto es, se trata de encontrar sucesiones (ckm )k∈Z , (dkm )k∈Z de forma
que
X X
φ(2x − m) = ckm φ(x − k) + dkm ψ(x − k) (3.13)
k k
µ ¶ X X
1 −imw/2 w
e φ̂ = ckm e−ikw φ̂(w) + dkm e−ikw ψ̂(w) =
2 2 k k
à µ ¶ µ ¶! µ ¶
X w X w w
−ikw −ikw
ckm e H + dkm e G φ̂ .
k 2 k 2 2
Incluso podemos identificar las nuevas coordenadas en función de los coeficientes del filtro,
1 1 1
ckm = √ hm−2k , dkm = √ gm−2k = √ h1−m+2k (−1)m .
2 2 2
El teorema queda demostrado.
54
Resumen
Función de escala φ ⇐⇒ filtro paso bajo h
Wavelet básica ψ ⇐⇒ filtro paso alto g
Y, además:
55
3.4. Equivalencia entre longitud finita del filtro y so-
porte compacto
Teorema 16 (Soporte compacto) Sea φ una función de escala ortogonal y h el filtro
asociado. Entonces el soporte de φ es compacto si, y solamente si, el filtro h es de longitud
finita. Además, si el soporte de φ es [α, β] entonces α y β son enteros y hn = 0 para n < α
o n > β.
Observación: La segunda parte del teorema justifica que se llame soporte de h al soporte
de φ; o incluso que se enuncie el teorema diciendo que ambos, filtro y función, tienen el
mismo soporte compacto.
Demostración:
Sea sop φ = [α, β], escribamos la función de escala:
√ X
φ(x) = 2 hn φ(2x − n).
n∈Z
1
< φ, φ(2 · −n) >= √ hn ,
2
56
El recı́proco vamos a probarlo con la condición adicional de que el algoritmo en cas-
cada converja a φ. Supóngase que el soporte de h es [N, M ]. Razonaremos inductivamente;
partimos de una función φ(0) de soporte compacto [α0 , β0 ],
(i+1)
√ XM
φ (x) = 2 hn φ(i) (2x − n).
n=N
" #
(1) α 0 + N β0 + M
Haciendo i = 0 vemos que el soporte de φ es , ; para i = 2 se obtiene
2 2
el soporte de φ(2) igual a
" α +N β0 +M # " #
0
2
+N 2
+M α0 (22 − 1)N β0 (22 − 1)M
, = 2 + , 2+
2 2 2 22 2 22
√ 1−N
X
ψ (x) = 2 gn φ(2x − n).
n=1−M
N ≤ 2x − n ≤ M, n = 1 − M, . . . , 1 − N
o, lo que es lo mismo,
N +1−M N +n M +n M +1−N
≤ ≤x≤ ≤ ,
2 2 2 2
lo que prueba el resultado.
57
3.5. Transformada wavelet discreta y bancos de fil-
tros. Algoritmo de Mallat
n√ o
Si f ∈ V1 , en función de la base ortonormada 2φ(2 · −n), n ∈ Z
X√
f (x) = 2sn φ(2x + n).
n∈Z
Como V1 = V0 ⊕ W0 , también
X X
f (x) = ck φ(x + k) + dk ψ(x + k).
k∈Z k∈Z
Usando
X √
Ecuación de escala : φ(x + k) = 2hm φ(2x + 2k − m)
m∈Z
X √
Ecuación que define la wavelet : ψ(x + k) = 2gm φ(2x + 2k − m)
m∈Z
X √
ck = hf (·), φ(· + k)i = 2 hm hf (·), φ(2 · +2k − m)i =
m∈Z
X X
= 2 hm sn hφ(2 · +n), φ(2 · +2k − m)i =
m∈Z n∈Z
X
= hm s2k−m
m∈Z
X √
dk = hf (·), ψ(· + k)i = 2gm hf (·), φ(2 · +2k − m)i =
m∈Z
X X
= 2 gm sn hφ(2 · +n), φ(2 · +2k − m)i =
m∈Z n∈Z
X
= gm s2k−m
m∈Z
Conclusión:
58
Figura 3.3: Filtrado de una señal mediante la célula bicanal dada por los filtros ortogonales
reales h y g.
√ √ X √ X
sn = 2 hf (·), φ(2 · +n)i = 2 ck hφ(· + k), φ(2 · +n)i + 2 dk hψ(· + k), φ(2 · +n)i =
k∈Z k∈Z
X X
= 2 ck hm < φ(2x + 2k − m), φ(2 · +n) > +2 dk gm < φ(2 · +2k − m), φ(2 · +n) >
k,m∈Z k,m∈Z
X X
= ck h2k−n + dk g2k−n
k∈Z k∈Z
intercalar ceros entre los coeficientes de d y realizar la convolución con g̃ (g̃k = g−k )
y después sumar ambas convoluciones.
59
3.5.3. Algoritmo de Mallat: análisis/sı́ntesis de una señal origi-
nal c(0) en varias escalas
Análisis en la escala j = 1, . . . , J :
( (j) P (j−1)
ck = m∈Z hm c2k−m
(j) P (j−1)
dk = m∈Z gm c2k−m
Sı́ntesis en la escala j = J, . . . , 1 :
X (j) X (j)
c(j−1)
n = ck h2k−n + dk g2k−n
k∈Z k∈Z
60
Figura 3.5: Estructura en árbol del algoritmo de sı́ntesis en varias escalas
61
Figura 3.6: Ejemplo de descomposición subbanda mediante wavelet packets
62
Capı́tulo 4
Para que un filtro paso bajo h proporcione una familia de wavelets ortogonales, es
P
necesario que la función trigonométrica H (ω) = √12 n hn e−iωn satisfaga
|H (ω)|2 + |H (ω + π)|2 = 1,
H(0) = 1.
Si además |H(ω)| > 0 en [−π/2, π/2] entonces dichas condiciones son suficientes.
Por tanto, basta calcular una serie trigonométrica P (ω) = |H (ω)|2 que verifique
P (ω) + P (ω + π) = 1
P (ω) > 0 en [−π/2, π/2]
P (0) = 1.
63
EJEMPLO DE POLINOMIO P(w)=|H(w)|2
1
0.9
P(pi−w)
0.8 P(w)
0.7
0.6
0.5
0.4
0.3
0.2
0.1
0
0 0.5 1 1.5 2 2.5 3 3.5
frecuencias (w)
Equivale a que filtro tenga longitud finita: h = (h(0), ....., h(L − 1)).
64
Como consecuencia, la única wavelet ortogonal de soporte compacto
cuya función de escala es simétrica es la de Haar (que no es regular).
Las biortogonales Sı́ pueden estar asociadas a funciones de escala simétricas.
0.9 |H(w)|2=P(w)
0.8
Magnitud de la respuesta en frecuencia
0.7
0.6
0.5
0.2
0.1
0
0 0.5 1 1.5 2 2.5 3 3.5
frecuencias (w)
Son equivalentes:
OBSERVACIONES:
R
a) Toda wavelet tiene como mı́nimo 1 momento nulo (pues ψ̂(0) = R ψ (x) dx =
0).
b) La wavelet de Haar sólo tiene un momento nulo.
c) La wavelet de Daubechies de orden N (asociada a un filtro de longitud 2N )
tiene N momentos nulos.
65
d ) Las Coiflets se diseñan de modo que tanto ψ como φ dispongan de varios
momentos nulos (no tantos como Daubechies).
e) Wavelets biortogonales: pueden diseñarse con más momentos nulos que las de
Daubechies, pero pierden la ortogonalidad.
66
4.2. Wavelets de Daubechies
Imponemos que el filtro ortogonal tenga N momentos nulos, esto es, que H (ω) tenga
un cero de orden N en ω = π :
à !N
1 + eiω
H (ω) = Q (ω) con Q (π) 6= 0.
2
¯ ¯2 ³ ´
¯ iω ¯ 1+cos(ω)
Como ¯ 1+e2 ¯ = 2
= cos2 ω
2
, entonces:
¯ ¯ µ ¶
¯ 1 + eiω ¯2N ω
¯ 2¯ N
P (ω) = |H (ω)| = ¯ ¯ |Q (ω)| = cos2N L (ω) .
¯ 2 ¯ 2
|H (ω)|2 + |H (ω + π)|2 = 1 ⇔
P (ω) + P (ω + π) = 1 ⇔
µ ¶ µ ¶
2N ω 2N ω
cos L (ω) + sen L (ω + π) = 1
2 2
Para N = 1, puede ser L = 1 y se tiene H (ω) = (1 + eiω ) /2 (wavelets de HAAR).
µ µ ¶ µ ¶¶2N −1 2N −1
à ! µ ¶µ µ ¶¶2N −1−k
ω ω X 2N − 1 ω ω
2
1 = sen + cos2 = sen 2k
cos 2
2 2 k=0
k 2 2
N −1
à ! µ ¶ N −1 µ ¶ à ! µ ¶ µ ¶
X 2N − 1 ω ω X 2N − 1 ω ω
2k
= sen cos2(2N −1−k) + cos 2k
sen2(2N −1−k)
k=0
k 2 2 m=0
k 2 2
= P (ω) + P (ω + π)
puesto que
µ ¶ µ ¶ µ ¶ µ ¶
ω π ω ω+π ω
sen + = cos ⇒ sen2m = cos2m ,
µ
2 2¶ 2µ ¶ 2 µ ¶
2 µ ¶
ω π ω 2(2N −1−m) ω + π 2(2N −1−m) ω
cos + = − sen ⇒ cos = sen .
2 2 2 2 2
Ası́ pues el polinomio p es
N −1
à ! µ ¶ µ ¶
X
2N − 1 ω ω
P (ω) = cos2(2N −1−k) sen2k =
k=0
k 2 2
µ ¶
ω
= cos2N L (ω)
2
67
4.2.2. Cálculo de P para los filtros de Daubechies:
µ ¶ NX
−1
à !µ µ ¶¶N −1−m µ ¶
2N ω 2N − 1 2 ω 2m ω
P (ω) = cos cos sen
2 m=0
m 2 2
68
4.2.3. Factorización espectral
Una vez calculado P (ω), consiste en despejar H(ω) de |H(ω)|2 = P (ω).
Las raı́ces de H deben ser raı́ces de P. Como P es recı́proco (P (z) = P (z −1 )), sus
raı́ces aparecen de 4 en 4:
zi , z i , zi−1 , z −1
i
dos fuera y dos dentro del cı́rculo unidad. Y las de la circunferencia unidad son de multi-
plicidad par.
Como
Y Y
z 2N −1 P (z) = C (z − zi )(z − zi−1 ) (z − zi )2 si |z| = 1
|zi |<1 |zi |=1
tenemos filtros de fase mı́nima (la función de escala lo más asimétrica posible).
Si se eligen las raı́ces de H fuera del cı́rculo unidad, y en el borde, junto con sus
conjugadas: Y Y
H(z) = A (z − zi ) (z − zi )2
|zi |>1 |zi |=1
tenemos filtros de fase máxima (la función de escala también es asimétrica, pues
estos filtros no son más que los traspuestos de los de fase mı́nima).
Si se eligen las raı́ces de H por pares de raı́ces conjugadas, la mitad fuera y la mitad
dentro del cı́rculo unidad: se obtiene una función de escala lo más simétrica posible.
A estas wavelets de Daubechies se les denomina symlets. (Recuérdese que no pueden
ser simétricas y ortogonales simultáneamente salvo en el caso de Haar).
69
Ejemplo: filtros de Daubechies de longitud 4
El polinomio obtenido se factoriza
µ ¶2 ¯ ¯ Ã !
1 + cos ω ¯ z + 1 ¯4 z + z −1
P (y) = (2 − cos ω) = ¯¯ ¯ 2−
¯
2 2 2
Como
z + z −1 1³ ´
2− = 4 − z − z −1 =
2 2
1 ³³√ ´ ³ √ ´´ ³³√ ´ ³ √ ´´
= 3+1 z+ 1− 3 3 + 1 z −1 + 1 − 3 =
4
¯ √ √ ¯
¯ (1 + 3)z + (1 − 3) ¯2
¯ √ √ ¯
¯ (1 + 3) + (1 − 3)z ¯2
¯ ¯ ¯ ¯
= ¯¯ ¯ =¯
¯ ¯
¯
¯
2 2
µ ¶2 Ã √ √ !
z+1 3)z + (1 − 3)
(1 + 1³ √ √ √ √ ´
= (1 − 3) + (3 − 3)z + (3 + 3)z 2 + (1 + 3)z 3
2 2 8
µ ¶2 Ã √ √ !
z+1 (1 + 3) + (1 − 3)z 1³ √ √ √ √ ´
= (1 + 3) + (3 + 3)z + (3 − 3)z 2 + (1 − 3)z 3
2 2 8
√
En el primer caso, la raı́z elegida es interior al cı́culo unidad (2 − 3) los filtros
ortogonales de Daubechies de longitud 4 obtenidos son de fase mı́nima:
à √ √ √ √ ! à √ √ √ √ !
1− 3 3− 3 3+ 3 1+ 3 1 + 3 −3 − 3 3 − 3 3 − 1
h= √ , √ , √ , √ , g= √ , √ , √ , √
4 2 4 2 4 2 4 2 4 2 4 2 4 2 4 2
√
y en el segundo caso, la raı́z elegida es exterior al cı́culo unidad (2 + 3); los filtros
ortogonales de Daubechies de longitud 4 obtenidos son de fase máxima:
à √ √ √ √ ! à √ √ √ √ !
1+ 3 3+ 3 3− 3 1− 3 1 − 3 −3 + 3 3 + 3 − 3 − 1
h= √ , √ , √ , √ , g= √ , √ , √ , √
4 2 4 2 4 2 4 2 4 2 4 2 4 2 4 2
70
4.3. Transformada wavelet de señales bidimensiona-
les
³ ´
4.3.1. Análisis multirresolución en L2 R2
La transformada wavelet se define en
³ ´ ½ Z ¾
2 2 2 2
L R = f :R →R |f (x, y)| dxdy < ∞
R2
( )
(2) 1 si 0 ≤ x, y ≤ 1
φ (x, y) = = φ(x)φ(y)
0 en otro caso
71
Análisis multirresolución en L2 (R2 ) separable en dos análisis multirresolu-
ción en L2 (R):
Se toma una función de escala unidimensional φ que genera un análisis multirresolución
en L2 (R) , y a partir de ella se define la función de escala bidimensional φ(2) separable en
X y en Y:
φ(2) (x, y) = φ(x)φ(y).
Se demuestra que genera un análisis multirresolución en L2 (R2 ) ; cada función f de L2 (R2 )
(2)
se puede aproximar por versiones en Vj , generadas por dilatadas y trasladadas de φ(2) :
X (2)
f (x, y) = lı́m cj,(m,n) φj,(m,n) (x, y) =
j→∞
m,n∈Z
X
= lı́m 2j cj,(m,n) φ(2) (2j x − m, 2j y − n) =
j→∞
m,n∈Z
X ³ ´
= lı́m 2j cj,(m,n) φ 2j x − m φ(2j y − n).
j→∞
m,n∈Z
72
³ ´
4.3.2. Transformada wavelet diádica en L2 R2 :
Si ψ es la wavelet unidimensional asociada a φ, en L2 (R2 ) se construyen las siguientes
tres funciones:
ψ h (x, y) = φ(x)ψ(y)
ψ v (x, y) = ψ(x)φ(y)
ψ d (x, y) = ψ(x)ψ(y)
Cada una puede trasladarse en cada eje, y también dilatarse, dando lugar a:
dir
ψj,(m,n) (x, y) = 2j ψ dir (2j x − m, 2j y − n), j, m, n ∈ Z, dir = h, v, d.
73
4.3.3. Transformada wavelet discreta de señales bidimensionales
(imágenes digitales)
Una señal discreta bidimensional s es una sucesión de l2 (Z2 ) , es decir, una matriz
(infinita) tal que X
|s (m, n)|2 < ∞.
m,n∈Z
En la práctica se trabajan con matrices con número finito de filas y columnas, es decir, con
IMÁGENES DIGITALES. Computacionalmente, una imagen es una matriz de N 2 pixels.
Si N = 2J , partiendo de una resolución inicial máxima (de 2J pixels por lado), podremos
analizarla a J = log2 N niveles de resolución distintos y decrecientes; es decir, a J escalas
distintas crecientes, que van proporcionando versiones ”suavizadas” de la imagen.
Algoritmo de Mallat en dos dimensiones (transformada wavelet discreta
bidimensional): si el input no es una función f, sino una señal finita s bidimensional de
N pixels por lado, las integrales se convierten en convoluciones con 2 posibles filtros:
paso bajo y paso alto, en las 2 posibles direcciones (eje X: por columnas, o eje Y: por
filas), dando lugar a 4 filtrados posibles en cada escala. Por eso el algoritmo proporciona
4 matrices de orden N/2.
En cada escala j, empezando por s = c0 , el algoritmo en cascada para el análisis
consiste en formar una matriz cuadrada de orden N del tipo
cj djh
cj−1 ↔
djv djd
que contiene los detalles de cada punto de la imagen en la escala j − 1 : los suavizados
c y los detalles dj según las direcciones horizontal, vertical y diagonal:
j
djh contiene los detalles o saltos obtenidos sobre las lı́neas verticales de la imagen;
por tanto, contienen los contornos horizontales en la escala j;
djv contiene los detalles o saltos obtenidos sobre las lı́neas horizontales; por tanto,
proporcionan los contornos verticales en la escala j;
djd contiene los detalles o saltos obtenidos sobre las lı́neas diagonales; por tanto, dan
información de los contornos diagonales en la escala j.
74
Figura 4.1: ETAPA DE ANÁLISIS DE LA IMAGEN mediante los filtros paso bajo h y
paso alto g.
Figura 4.2: ETAPA DE SÍNTESIS DE LA IMAGEN mediante los filtros paso bajo h̃ y
paso alto g̃, que son los traspuestos de h y g.
75
Bibliografı́a
[4] S. Mallat, A theory for multiresolution signal decomposition: the wavelet representa-
tion, IEEE Transactions on Pattern Analysis and Machine Intelligence, vol.11, no.
7, Jul.1989.
[7] VV. AA., Wavelets. Theory and Applications, Editores G. Erlebacher et al. Oxford
University Press (1996).
[8] M. V. Wickerhauser, Adapted Wavelet Analysis from Theory to Software, IEEE Press
(1994).
76