Transformaciones de Interés.

DFT y DCT

Pablo Casaseca
Universidad de Valladolid

P. Casaseca (ETSI Telecomunicación) Fundamentos de Sonido e Imagen 1 / 25

Contenidos

1 Transformada de Fourier 2D
Transformada de Fourier de señales continuas
Propiedades
Transformada de Fourier de señales discretas
2 La transformada Discreta de Fourier (DFT)
Transformada Discreta de Fourier 1D
Transformada Discreta de Fourier 2D
3 Transformadas Unitarias
Definición
Transformada del coseno (DCT)

P. Casaseca (ETSI Telecomunicación) Fundamentos de Sonido e Imagen 2 / 25

Transformada de Fourier 2D

Señales continuas
Representación de las señales en el dominio de las frecuencias
espaciales.
Z ∞Z ∞
F (ξ1 , ξ2 ) = f (x, y )e−j2π(ξ1 x+ξ2 y ) dxdy
−∞ −∞
Z ∞Z ∞
f (x, y ) = F (ξ1 , ξ2 )ej2π(ξ1 x+ξ2 y ) dξ1 dξ2
−∞ −∞

Eterno problema con ωi = 2πξi

 2 Z ∞ Z ∞
1
f (x, y ) = F (ω1 , ω2 )ej(ω1 x+ω2 y ) dω1 dω2
2π −∞ −∞

P. Casaseca (ETSI Telecomunicación) Fundamentos de Sonido e Imagen 4 / 25

Propiedades de la TF 2D

Propiedades
Frecuencias espaciales: ciclos por unidad espacial
Unicidad
Separabilidad (kernel separable).
Z ∞ Z ∞ 
−j2πξ2 y
F (ξ1 , ξ2 ) = f (x, y )e dy e−j2πξ1 x dx
−∞ −∞

Exponenciales complejas son autofunciones de los

sitemas LSI.

g(x, y ) = ej2π(ξ1 x+ξ2 y ) H(ξ1 , ξ2 )

P. Casaseca (ETSI Telecomunicación) Fundamentos de Sonido e Imagen 5 / 25

Propiedades de la TF 2D

Propiedades
Convolución
F
g(x, y ) = f (x, y ) ∗ h(x, y ) ←→ G(ξ1 , ξ2 ) = F (ξ1 , ξ2 )H(ξ1 , ξ2 )

Correlación cruzada
Z Z
c(x, y ) = h∗ (x 0 , y 0 )f (x + x 0 , y + y 0 )dx 0 dy 0
C(ξ1 , ξ2 ) = F [c(x, y )] = F (ξ1 , ξ2 )H ∗ (ξ1 , ξ2 )

Autocorrelación y densidad de energía

Z Z
Rf (x, y ) = f ∗ (x 0 , y 0 )f (x + x 0 , y + y 0 )dx 0 dy 0

Sf (ξ1 , ξ2 ) = F [Rf (x, y )] = |F (ξ1 , ξ2 )|2

P. Casaseca (ETSI Telecomunicación) Fundamentos de Sonido e Imagen 6 / 25
Transformada de Fourier 2D

Señales discretas
Transformada de Fourier (continua) de señales discretas

XX
F (Ω1 , Ω2 ) = f [m, n]e−j(Ω1 m+Ω2 n)
m n
 2 Z π Z π
1
x[m, n] = F (Ω1 , Ω2 )ej(Ω1 m+Ω2 n) dΩ1 dΩ2
2π −π −π

Solución computacional: DFT

P. Casaseca (ETSI Telecomunicación) Fundamentos de Sonido e Imagen 7 / 25

Ejemplos de transformada de Fourier

P. Casaseca (ETSI Telecomunicación) Fundamentos de Sonido e Imagen 8 / 25

Ejemplos de transformada de Fourier

P. Casaseca (ETSI Telecomunicación) Fundamentos de Sonido e Imagen 9 / 25

Transformada Discreta de Fourier

DFT de una secuencia (1D) Nota: Existe una

versión unitaria de
N−1 la DFT
X 2π
v [k ] = u[n]e−j N
kn
, k = 0, · · · , N − 1 (coeficientes
√
n=0 1/ N en ambas
N−1 transformaciones).
1 X 2π
u[n] = v [k ]ej N kn , n = 0, · · · , N − 1 Hablaremos más
N
k =0 adelante sobre
transformaciones
unitarias.

P. Casaseca (ETSI Telecomunicación) Fundamentos de Sonido e Imagen 11 / 25

Propiedades de la Transformada Discreta de Fourier

1 Extensión periódica:
La señal
u[n + N] = u[n] v [k + N] = v [k ] discreta es
una versión
2 DFT: Muestreo de la TF de una señal enventanada
discreta. de la
) original.
TF  
ũ[n] ←→ Ũ(Ω) 2π La DFT es el
DF T v [k ] = Ũ k
ũ[n] ←→ v [k ] N desarrollo en
serie de
3 Relación DFT con Series de Fourier. Fourier de la
4 Implementación con algoritmos rápidos: extensión
FFT, O(N log2 N). periódica de
5 Simetría conjugada en torno a N/2: la señal con
X [N − k ] = X ∗ [k ]. periodo N.

P. Casaseca (ETSI Telecomunicación) Fundamentos de Sonido e Imagen 12 / 25

Propiedades de la Transformada Discreta de Fourier

6 Convolución (circular):
DF T
x1 [n] ~ x2 [n] ←→ X1 [k ]X2 [k ]

7 Multiplicación:

DF T 1
x1 [n]x2 [n] ←→ X1 [k ] ~ X2 [k ]
N2

Para emular una convolución lineal basta trabajar con un

tamaño de DFT N = L + P − 1, donde L y P son las
longitudes respectivas de ambas secuencias.

P. Casaseca (ETSI Telecomunicación) Fundamentos de Sonido e Imagen 13 / 25

Transformada Discreta de Fourier

DFT de una imagen (2D)

N−1
X N−1
X 2π
X [k1 , k2 ] = x[m, n]e−j N
(k1 m+k2 n)

m=0 n=0
N−1 N−1
1 X X 2π
x[m, n] = 2
X [k1 , k2 ]ej N (k1 m+k2 n)
N
k1 =0 k2 =0

P. Casaseca (ETSI Telecomunicación) Fundamentos de Sonido e Imagen 14 / 25

Propiedades de la DFT 2D

1 Extensión periódica:

X [k1 + N, k2 + N] = X [k1 , k2 ]

2 DFT: Muestreo de la TF de una señal discreta.

3 Implementación con algoritmos rápidos: FFT, O(N 2 log2 N).
4 Simetría conjugada:

X [k1 , k2 ] = X ∗ [N − k1 , N − k2 ]

P. Casaseca (ETSI Telecomunicación) Fundamentos de Sonido e Imagen 15 / 25

Comentarios

Sistemas Lineales y espacialmente invariantes (LSI)

Queremos transformaciones N × N → N × N
Sistemas LSI: no lo cumplen
(N × N) ∗ (M × M) → (N + M − 1) × (N + M − 1)
Sistemas LCI: lineales y circularmente invariantes.
(Convolución circular).
Salida de un sistema LCI:

g[m, n] = f [m, n] ~ h[m, n]

P. Casaseca (ETSI Telecomunicación) Fundamentos de Sonido e Imagen 16 / 25

Comentarios (2)

DFT y operaciones
Convolución: O(N 4 )
Convolución vía DFT: O(N 3 )
Convolución vía FFT: O(N 2 log2 N)
Equivalencia filtrado en dominio espacial y transformado.

Sin embargo hay otras transformadas mejores que la DFT para

hacer procesado lineal: Transformadas Unitarias.

P. Casaseca (ETSI Telecomunicación) Fundamentos de Sonido e Imagen 17 / 25

Problema de la DFT

P. Casaseca (ETSI Telecomunicación) Fundamentos de Sonido e Imagen 18 / 25

Transformadas Unitarias

Usamos familia de señales ortogonales que no sean las

exponenciales complejas

X N−1
N−1 X
F [k1 , k2 ] = f [m, n]ak1 ,k2 [m, n]
m=0 n=0
N−1
X N−1
X
f [m, n] = F [k1 , k2 ]a∗ k1 ,k2 [m, n]
k1 =0 k2 =0

ak1 ,k2 [m, n] familia de funciones ortonormales.

N−1
X N−1 0 ki 6= ki0
X 
ak1 ,k2 [m, n]ak∗ 0 ,k 0 [m, n] =
1 2 1 ki = ki0
m=0 n=0

P. Casaseca (ETSI Telecomunicación) Fundamentos de Sonido e Imagen 20 / 25

Transformadas Unitarias

Ortonormalidad

X N−1
N−1 X
ak1 ,k2 [m, n]ak∗ 0 ,k 0 [m, n] = δ[k1 − k10 , k2 − k20 ]
1 2
m=0 n=0

Completitud.
XX
ak1 ,k2 [m, n]ak∗1 ,k2 [m0 , n0 ] = δ[m − m0 , n − n0 ]
k1 k2

P. Casaseca (ETSI Telecomunicación) Fundamentos de Sonido e Imagen 21 / 25

Transformadas Unitarias

Principales Transformadas Unitarias

DFT
Transformada del coseno y del seno
Transformadas de Hadamard / Walsh
Transformada de Haar
T. de Slant
T. de Karhunen-Loeve

Todas menos la última tienen transformada rápida

P. Casaseca (ETSI Telecomunicación) Fundamentos de Sonido e Imagen 22 / 25

Transformada Discreta del Coseno

Equivalente a DFT de imagen 2N × 2N.

P. Casaseca (ETSI Telecomunicación) Fundamentos de Sonido e Imagen 23 / 25

Transformada Discreta del Coseno

DCT de una imagen

Equivalente a

DCT{f [m, n]} = DFT{fe [m, n]}

2N−1 2N−1
1 X X 2π
F [k1 , k2 ] = fe [m, n]e−j 2N (k1 m+k2 n)
2N
m=0 n=0
N−1 N−1  
2 XX k1 π
= f [m, n] cos (2m + 1)
N 2N
m=0 n=0
 
k2 π
cos (2n + 1) ej(...)
2N

P. Casaseca (ETSI Telecomunicación) Fundamentos de Sonido e Imagen 24 / 25

Transformada Discreta del Coseno

DCT de una imagen

N−1 N−1  
2C(k1 )C(k2 ) X X k1 π 1
F [k1 , k2 ] = f [m, n] cos (m + )
N N 2
m=0 n=0
 
k2 π 1
cos (n + )
N 2
N−1 N−1  
2C(k1 )C(k2 ) X X k1 π 1
f [m, m] = F [k1 , k2 ] cos (m + )
N N 2
k1 =0 k2 =0
 
k2 π 1
cos (n + )
N 2
   
2 k1 π 1 k2 π 1
ak1 ,k2 [m, n] = cos (m + ) cos (n + )
N N 2 N 2

P. Casaseca (ETSI Telecomunicación) Fundamentos de Sonido e Imagen 25 / 25