Mtodos Numricos Avanzados 93.

30
Trabajo Prctico N

7
ITBA
Ingeniera Informtica
Trabajo Prctico N

7
Anlisis de Fourier
Ejercicios. Parte 1
Serie de Fourier
1. Desarrollar en serie trigonomtrica de Fourier las siguientes funciones:
(a) f(t) =

|t|, < t
f(t + 2), t
(b) f(t) =

Asin
0
t, 0 t /
0
0, /
0
< t 2/
0
f(t + 2/
0
), t
(c) f(t) =

t( t), < t
f(t + 2), t
(d) f(t) =

t, 0 < t T
f(t +T), t
Onda diente de sierra
Gracar en cada caso la cuarta suma parcial.
2. La funcin f(x) = x est denida en el intervalo 0 x .
(a) Construir una funcin (x) que sea la extensin peridica par de f(x) con
perodo 2. Gracarla para 3 x 3.
(b) Obtener el desarrollo en serie de Fourier trigonomtrico de la extensin par (x).
(c) Computar las sumas

n=0
1
(2n + 1)
4

n=0
1
(2n + 1)
2
.
3. Dada la funcin f(t) denida en el intervalo (0, ] como se muestra en la gura,
t
f(t)
A
a b
(a) Representarla mediante una serie trigonomtrica con
trminos cosenoidales en (0, ).
(b) Representarla mediante una serie trigonomtrica con
trminos senoidales en (0, ).
4. La temperatura en una barra metlica de longitud L, con los extremos a 0

y lat-
eralmente aislada, es una funcin u(x, t), siendo x la corrdenada de un punto de la
barra y t el tiempo. La evolucin de la temperatura obedece al proceso de difusin
y est gobernada por la ecuacin de Fourier:
u
xx
(x, t) = k
2
u
t
(x, t), t > 0, 0 < x < L
u(0, t) = u(L, t) = 0 t 0
u(x, 0) = u
0
(x) 0 x L
1
Mtodos Numricos Avanzados 93.30
Trabajo Prctico N

7
ITBA
Ingeniera Informtica
donde k
2
es una constante que depende del material y u
0
(x) es la distribucin inicial
de temperatura.
Para resolverla, proponer como solucin u(x, t) = (x)e
t
, siendo una constante
a determinar y : [0, L] R una funcin desconocida.
(a) Demostrar que tanto la constante como la funcin , satisfacen el problema:

(x) +k
2
(x) = 0, 0 x L
(0) = 0
(L) = 0
(b) Demostrar que existen invinitos valores de > 0 e innitas soluciones :

n
(x) = sin
n
L
x,
n
=

2
n
2
k
2
L
2
n = 1, 2, 3, . . .
(c) Justicar que la solucin de la ecuacin de Fourier con las condiciones de borde
dadas es:
u(x, t) =

n=1
a
n
e

2
n
2
k
2
L
2
t
sin
n
L
x
donde a
n
son constantes a determinar.
(d) Demostrar que los coecientes a
n
se computan a partir de la condicin inicial
u
0
(x) como:
a
n
=
2
L

L
0
u
0
(x) sin
n
L
xdx
Calcular la temperatura para una distribucin inicial de temperatura:
u
0
(x) =

0, 0 < x
3L
8
A,
3L
8
< x
5L
8
0,
5L
8
< x L
Gracar la temperatura u(x, t
i
) para distintos valores de t
i
, i = 0, 1, . . . en
funcin de x.
5. Computar la forma compleja de la serie de Fourier de las siguientes funciones per-
idicas y representar el espectro de frecuencias de cada una de ellas.
(a) f(t) =

0, T/2 < t < d/2

A, |t| d/2
0, d/2 < t < T/2
f(t +T), t
Respuesta:
Ad
T
+
Ad
T

n=
sin
nd
T
nd
T
e
i
2n
T
t
(b) Onda triangular de amplitud 1, valor medio nulo y perodo 2.
(c) f(t) = sin
4
t
Respuesta:
f(t) =
1
16
(e
4it
4e
2it
+ 6 4e
2it
+e
4it
)
2
Mtodos Numricos Avanzados 93.30
Trabajo Prctico N

7
ITBA
Ingeniera Informtica
(d) f(t) =

e
t
, 0 < t 2
f(t + 2), t
Respuesta:
e
2
1
2

n=
1
1 in
e
int
(e) f(t) =

At, 0 < t T
f(t +T), t
Onda diente de sierra.
Respuesta:
(
A
2
+
A
2

n=
n=0
1
n
e
i(n
0
t+

2
)
)T
6. Dada una seal modelada por una funcin f(t) = f(t +T), de dene Transformada
Finita de Fourier de f(t) a la funcin F(n
0
):

F{f(t)} = F(n
0
) = c
n
=
1
T

T/2
T/2
f(t) e
i n
0
t
dt
donde
0
= 2/T.
Demostrar las siguientes propiedades de la Transformada Finita de Fourier:
Propiedad (Linealidad). Sean f
1
y f
2
dos funciones peridicas del mismo perodo
y a
1
y a
2
dos constantes, entonces

F{a
1
f
1
+a2f
2
} = a
1

F{f
1
(t)} +a
2

F{f
2
(t)}
Propiedad (Tranformada de la derivada). Sea f C[T/2, T/2] y peridica de
perido T = 2/
0
con coecientes complejos de Fourier c
n
, entonces:

(t)

= in
0
c
n
Propiedad (Transformada de la integral ). Sea f una funcin peridica de perodo
T = 2/
0
, entonces:

T
2
f() d

=
1
in
0

F{f(t)}
Propiedad (Corrimiento en el tiempo). Sea f una funcin peridica de perodo
T = 2/
0
, entonces:

F{f(t a)} =

F{f(t)} e
in
0
a
7. El circuito de la gura es

ta formado por un generador E(t) en serie con un capac-

itor de capacidad C y una resistencia R. La seal de entrada (input) es la tensin
provista por el generador: tren de pulsos rectangulares de duracin d y frecuencia
0
.
3
Mtodos Numricos Avanzados 93.30
Trabajo Prctico N

7
ITBA
Ingeniera Informtica
E(t)
R
C u
C
(t)
La salida (output) del sistema se consid-
era la tensin en el capacitor u
C
(t), por
lo tanto el sistema se modela mediante
la ecuacin diferencial (relacin input
output):
RC
du
C
dt
(t) +u
C
(t) = E(t)
Llamando a la constante de tiempo del circuito = RC y suponiendo que el sistema
se ecuentra en rgimen permanente,
(a) Demostrar que los coecientes complejos de Fourier de la salida son U
n
=
E
n
/(1 + jn
0
), donde e
n
=

F{E(t)} (donde llamamos j a la unidad imagi-
naria).
(b) Demostrar que la tensin de salida en el capacitor es:
u
C
(t) =

n=
E
n
1 +jn
0

e
jn
0
t
escribir esta expresin en forma trigonomtrica. Gracar las primeras 5 sumas
parciales.
(c) Gracar en mdulo y fase la secuencia H(n
0
) =
1
1+jn
0

.
(d) Analizar la salida cuando se dan las siguientes situaciones: i) 2/
0
, ii)
2/
0
. Interpretar estos resulados.
Transformada e Integral de Fourier
Sea f L
2
(R), se dene Transformada de Fourier de f(t) a:
F {f(t)} = F() =
1
2

f(t) e
it
dt
De esta forma, es posible reconstruir la funcin f(t), a partir de F(), al menos en aquellos
puntos donde f es continua, segn:
f(t) =

F() e
it
d
la cual constituye la representacin en integral de Fourier de f(t).
Una propiedad importante de la transformada de Fourier, es la identidad de Parseval :

|f(t)|
2
dt = 2

|F()|
2
d
Si la funcin f(t) representa el modelo matemtico de una seal que vara con el tiempo t,
entonces la transformada de Fourier de f(t): F {f(t)} = F() = |F()| e
()
, constituye
el espectro de frecuencias de f(t). Se denomina espectro de amplitud de f(t) a la funcin
|F()| y espectro de fase de f(t) a la funcin ().
Ejercicios. Parte 2: Transformada e Integral de Fourier
4
Mtodos Numricos Avanzados 93.30
Trabajo Prctico N

7
ITBA
Ingeniera Informtica
1. Demostrar las siguientes propiedades de la transformada de Fourier
1
Propiedad (Linealidad). Si F
1
() = F {f
1
(t)} y F
2
() = F {f
2
(t)}, y a
1
y a
2
dos
constantes arbitrarias, entonces:
F {a
1
f
1
+a2f
2
} = a
1
F
1
() +a
2
F
2
()
Propiedad (Cambio de escala). Si F() = F {f(t)} y a = 0, entonces:
F {f(at)} =
1
|a|
F

Propiedad. Si F() = F {f(t)}, entonces:

F {f(t)} = F()
Propiedad (Desplazamiento en el tiempo). Si F() = F {f(t)} y a R, entonces:
F {f(t a)} = e
ia
F()
Propiedad (Desplazamiento en ela frecuencia). Si F() = F {f(t)} y
0
R,
entonces:
F

f(t) e
i
0
t

= F(
0
)
Propiedad (Simetra). Si F() = F {f(t)}, entonces:
F {F(t)} = f()/(2)
Propiedad (Derivada). Si F() = F {f(t)} y f derivable y de soporte compacto,
entonces:
F

(t)

= i F()
Este resultado puede generalizarse: F

f
(n)
(t)

= (i)
n
F().
Propiedad (Integral ). Si F() = F {f(t)} y

f(t) dt = 0, entonces:
F

f(u) du

=
1
i
F()
Propiedad (Convolucin). Si F() = F {f(t)} y G() = F {g(t)}, entonces:
F

f(u)g(t u) du

= 2 F()G()
2. Calcular la transformada de Fourier de las siguientes funciones y gracar los espectros
de amplitud y fase.
(a) f(t) =

1, |t| a
0, |t| > a
. Computar

0
sin x
x
dx y

sin x
x

2
dx.
(b) f(t) = e
a|t|
, a > 0. Computar

0
1
1+x
2
dx.
(c) f(t) =

A(1 t/T), 0 t T
A(1 +t/T), T t 0
0, |t| > T
.
(d) f(t) =
1

2
e

1
2
(
t

)
2
(e) f(t) = e
t
u(t), donde u(t) =

1, t > 0
0, t < 0
es la Funcin de Heaviside.
1
En todo momento, se supone que f admite Transformada de Fourier.
5
Mtodos Numricos Avanzados 93.30
Trabajo Prctico N

7
ITBA
Ingeniera Informtica
Funciones Generalizadas - Delta de Dirac
Denicin 1. Una funcin se llama de tendencia rpida a cero y se la indica
fast
0,
si : C

(, ) R y cumple:
lim
|x|
x
m

(n)
(x) = 0, n, m N
Las funciones de tendencia rpida, y todas sus derivadas caen a cero ms rapidamente que
cualquier potencia de x, cuando |x| es muy grande. Es decir, para x , la gaca de
(x) se confunde con el eje x (ver gura 1).
(x)
x
Figure 1: Funcin de tendencia rpida
Denicin 2. Llamamos = {/
fast
0}
Hay que notar que , con las leyes comnes de la suma y producto por escalares, tiene
estructura de espacio vectorial, es decir que si , y para todo a R,

( +)(x) = (x) +(x)

(a)(x) = a(x)
Denicin 3. Funcin generalizada: Sea f una funcin, llamamos funcin generalizada a
la funcional lineal L
f
: R, que cumple:
L
f
{} =

f(x)(x) dx
L
f
{} es la imagen de a travs de L
f
Ejemplo Sea la funcin comn sin : R [1, 1], entonces la funcin seno generalizada
L
sin
es L
sin
: R, tal que:
L
sin
{} =

sin(x)(x) dx
, donde . Resulta obvio que la imgen de , a traves de la funcin generalizada L
sin
existe. En efecto:
|

sin(x)(x) dx|

| sin(x)||(x)| dx

|(x)| dx
la cual converge.
Si consideramos ahora que f(x) es una funcin dierenciable, es posible asociarle la funcional
lineal:
L
f
{} =

(x)(x) dx
6
Mtodos Numricos Avanzados 93.30
Trabajo Prctico N

7
ITBA
Ingeniera Informtica
Teniendo en cuenta que tanto como sus derivadas caen a cero ms rapidamente que
cualquier potencia de x, integrando por partes, resulta:
L
f
{} = f(x)(x)

f(x)

(x) dx
= L
f
{

}
la cual tambin es una funcin generalizada ya que

.
De esta manera, es posible extender el concepto de derivabilidad. En efecto, como una
funcin generalizada est dada por la accin sonre las funciones en , an cuando f no
sea difernciable en el sentido casico del clculo diferencial, es posible denir una accin
sobre las

. As, es posible denir la derivada de una funcin generalizada de la

siguiente manera:
Denicin 4. Derivada de una funcin generalizada.
Sea la funcin generalizada L
f
: R, entonces llamamos derivada primera de la funcin
generalizada L
f
a la funcin generalizada:
L
f
{} = L
f
{

}
Ntese que no es necesario que la funcin f sea diferenciable, para asociarle una funcin
generalizada que haya que derivar. Si f es derivable, la derivada de la funcin generalizada
coincide con la derivada csica en el sentido del clculo diferencial.
Ejemplo Calcular la derivada de L
sin
.
Habiamos visto que la funcin generalizada seno es dada por la funcional lineal:
L
sin
=

sin(x)(x) dx
entonces, de la denicin de derivada de funcin generalizada, resulta:
L
sin
{} = L
sin
{

}
=

sin(x)

(x) dx
= sin(x)(x)

cos(x)(x) dx
= L
cos
{}
Por lo tanto, la derivada de la funcin generalizada L
sin
{}, es : L
sin
{} = L
cos
{}.
Denicin 5. Delta de Dirac es la funcin generalizada que a le hace corresponder
(a), para a R, es decir:
L
a
{} =

(x a)(x) dx = (a)
De esta forma, la funcin generalizada Delta de Dirac, hace corresponder a una funcin
, el valor (a), es decir la imagen de a travs de L
a
. Desde este punto de vista,
utilizaremos como notacin
a
() = L
a
{}.
Resulta obvio que (x) no es una funcin en el sentido usual del anlisis matemtico, por
lo tanto la integral en la que interviene tampoco lo es. De esta forma, la integral y (x),
estn denidas por el nmero (a) que le corresponde a la funcin (x).
7
Mtodos Numricos Avanzados 93.30
Trabajo Prctico N

7
ITBA
Ingeniera Informtica
La teora de distribuciones, desarrollada por Schwartz y la cual est ms all de estas notas,
desarrolla la generalizacin del concepto de funcin y extiende la propiedad que dene a
la Delta de Dirac a funciones continuas, de modo que:

(x a)f(x) dx = f(a), f C
0
(1)
Ejemplo La funcin de Heaviside u(x), se dene como:
u(x) =

1, x > 0
0, x < 0
La funcional lineal:
L
u
{} =

u(x)(x) dx
tiene como derivada:
L
u
{} =

u(x)

(x) dx
=

(x) dx
= (x)

0
= (0)
Pero, de la denicin de la funcin generalizada Delta de Dirac:L

0
{}
0
() =

(x)(x) dx =
(0), entonces:
L
u
{} =
0
()
En virtud a este resultado, escribiremos, en el sentido de las funciones genealizadas:
u

(x) = (x)
De esta forma, teniendo en cuenta la denicin 2, que:

(x) dx = 1 (2)
la que constituye la propiedad fundamental de la delta de Dirac.
Ejemplo Qu se entiende por f(x)(x)?
Resulta obvio que esta expresion carece de sentido desde el punto de Clculo tradicional,
ya que la delta de dirac, solo tiene signicado desde el punto de vista de la integral dada
por 2. No obstante, aplicando la denicin en el sentido de las funciones generalizadas,
asumiendo f continua:

f(x)(x)(x) dx = f(0)(0)
entonces podemos escribir:
f(x)(x) = f(0)(x)
Observaciones:
i) En base al resultado en este ejemplo, se interpreta que f(x)(x), da como resultado
el valor de la funcin en x = 0. Resulta entoces una suerte de muestreo de la seal
modelada por f(x) en x = 0.
ii) Segn el resultado expuesto en este ejemplo, resulta que: x(x) = 0.
Ejemplo Derivada de la Delta
De la denicin de derivada de una funcin generalizada, es posible computar

(x). En
efecto:
L

{} = L

}
8
Mtodos Numricos Avanzados 93.30
Trabajo Prctico N

7
ITBA
Ingeniera Informtica
entonces, se puede escribir:

(x)(x) dx =

(x)

(x) dx
=

(0)
Interpretacin fsica de (t)
Consideremos una seal que se comporte de la siguiente forma: abruptamente se enciende,
manteniendo una amplitud constante igual a 1/, para luego apagarse abruptamente de-
spus de un intervalo de tiempo . Si se considera el origen de tiempo durante la mitad
de la vida de la seal, se la puede modelar como un pulso rectangular de duracin y
amplitud 1.
f

(t) =

1, |t| < /2
0, |t| > /2
f

(t)
t
1

2
Veamos el comportamiento de f

(t),
cuando 0. Si , entonces, nos
interesa computar:
lim
0
L
f
{} = lim
0

(t)(t) dt
A partir de la denicin de f

(t), se tiene que:

lim
0
L
f
{} = lim
0
1

(t) dt
Teniendo en cuenta que (t) es continua, entonces:
lim
0
L
f
{} = (0)
de lo que resulta que el imite de la funcin generalizada f

(t), da el mismo resultado que

la delta de Dirac:
lim
0
L
f
{} =

(t)(t) dt
por lo tanto, vamos a indicar:
lim
0
f

(t) = (t)
Existen otras funciones que son aproximaciones a la delta, por ejemplo:
(t) = lim
0
1

e
t
2
/
Ejercicios. Parte 3: Funciones generalizadas-Delta de Dirac
1. Demostrar que F {(t)} =
1
2
y F {(t a)} =
1
2
e
ia
2. Calcular F {cos
0
t}, en el sentido de las funciones generalizadas.
9
Mtodos Numricos Avanzados 93.30
Trabajo Prctico N

7
ITBA
Ingeniera Informtica
Aplicacin de la Transformada de Fourier a Filtros Lineales
Un Filtro o Sistema es una correspondencia S : F F, siendo F un conjunto de funciones.
Si F es el conjunto de funciones continuas (al menos en casi todas partes), el Filtro de dice
que es analgico, en cambio si se trata de sucesiones o secuencias, se dice que el Filtro es
digital.
Consideremos el ltro analalgico S. La funcin f F modela a la seal de entrada al
sistema a la que designamos como input. Llamemos output a la funcin g F que modela
la respuesta del sistema.
f(t) (input)
Filtro S
g(t) (output)
Figure 2: Filtro analgico
La forma explcita de correspondecia entre la entrada f y la salida g:
g(t) = S{f(t)}
de denomina relacin entradasalida.
Por lo general, S es un operador diferencial, resultando la relacin entradasalida una
acuacin integrodiferencial.
Un Filtro Lineal es aquel cuyo operador S es lineal, es decir que si f
1
y f
2
son dos funciones
cuyas respuestas son g
1
y g
2
respectivamente, entonces:
S{f
1
(t) +f
2
(t)} = S{f
1
(t)} +S{f
2
(t)} = g
1
(t) +g
2
(t)
Un Filtro invariante en el tiempo S es aquel que cumple:
S{f
(
t t
0
)} = g(t t
0
) t
0
R
Un Filtro causal S es aquel que si f(t) = 0, t t
0
, entonces g(t) = 0, t t
0
.
Ejemplo 1.
Consideremos el circuito RLC serie, excitado por una fuente de tensin alterna E(t).
Tomando como respuesta del sistema a la intensidad de corriente elctrica i(t) que circula
por el conductor, la ecuacin diferencial que gobierna la sistema es:
L
di
dt
(t) +Ri(t) +
1
C

i() d = E(t)
Ejemplo 2.
Consideremos el sistema formado por una masa m, sujeta a un resorte de constante elstica
k y bajo la accin de un amortiguador con coeciente viscoso . Aplicando la Segunda
Ley de Newton a la particula, teniendo en cuenta la fuerza elstica, viscosa y una fuerza
excitadora f = f(t) x, se tiene que la relacin entradasalida es:
m x(t) + x(t) +kx(t) = f(t)
10
Mtodos Numricos Avanzados 93.30
Trabajo Prctico N

7
ITBA
Ingeniera Informtica
E(t)
L
.
R
i(t)
C
x
k
m
f (t)

donde x(t) es la coordenada de la masa y es la que se considera como salida del sistema.
Se denomina Funcin de Green h(t) del ltro S a la respuesta del ltro ante una excitacin
Delta de Dirac (t) considerando condiciones iniciales nulas, es decir:
h(t) = S{(t)}
Tengamos en cuenta que si la entrada al ltro es continua, entonces puede escribirse:
f(t) =

f(x)(t x) dx
entonces la respuesta del ltro g(t) es:
g(t) = S{f(t)} = S

f(x)(t x) dx

Como el sistema es lineal, entonces:

g(t) =

f(x)S{(t x)} dx
Como estamos considerando ltros invariantes en el tiempo, por denicin h(t x) =
S{(t x)} es la funcin de Green del ltro, desplazada en el tiempo x. Entonces, la
respuesta del sistema es:
g(t) =

f(x)h(t x) dx =

f(t x)h(x) dx
Este resultado nos dice: la respuesta de un ltro lineal e invariante en el tiempo ante un
input f(t) es la convolucin entre la excitacin y la funcin de Green h(t) del ltro. La
11
Mtodos Numricos Avanzados 93.30
Trabajo Prctico N

7
ITBA
Ingeniera Informtica
funcin de Green de un ltro contiene toda la informacin dinmica del ltro, es caractes-
tico de l y depende solo de los parmetros del ltro.
Resta ahora preguntarnos . . .
Cmo se obtiene la funcin de Green de un ltro?
Para contestar esta pregunta, apliquemos la Transformada de Fourier a respuesta del ltro
lineal e invariante en el tiempo.
F {g(t)} = F

f(t x)h(x) dx

LLamando F {g(t)} = H(), F {f(t)} = F() y F {g(t)} = G(), resulta la relacin:

G() = F()H()
A la transformada de Fourier de la funcin de Green del ltro, se la denomina funcin de
transferencia H().
Ejercicios. Parte 4: Filtros lineales
1. Demostrar que si a un ltro lineal e invariante en el tiempo se lo excita con una seal
senoidal, el ltro reponde con una respuesta senoidal de la misma frecuencia que la
entrada.
2. Demostrar que el sistema circuito RLC-serie, considerando la salida como la intensi-
dad de corriente i(t), es un ltro lineal e invariante en el tiempo.
3. Mostrar que h(t) =
1
2k
e
|k|
es la funcin de Green del ltro modelado por:
x

k
2
x = f(t)
4. Sea el sistema constituido por un circuito RCserie. Considerar como input la tensin
E(t) y output la tensin en el capacitor u
C
(t). La relacin entradasalida es:

du
C
dt
(t) +u
C
(t) = E(t)
siendo = RC, la constante de tiempo del sistema.
(a) Demostrar que este sistema es un ltro lineal e invariante en el tiempo.
(b) Obtener la funcin de transferencia H() del ltro. Gracar |H()| y la fase
() versus la frecuencia. Indicar cmo es el comportamiento del ltro con la
frecuencia, ante una excitacin E(t) cualquiera.
(c) Demostrar que si E() = F {E(t)}, entonces la Transformada de Fourier de la
respuesta del ltro es: U
C
() = H()E().
5. Un ltro ideal pasabajos es aquel sistema lineal cuya funcin de transferencia es:
H() =

e
iT
, para || <
0
0, para || <
0
siendo
0
la frecuencia de corte.
(a) Hallar la funcin de Green h(t) del ltro ideal pasabajo.
(b) Hallar la respuesta ante una entrada f(t) = Acos 3
0
t +Bsin

0
t
2
12
Mtodos Numricos Avanzados 93.30
Trabajo Prctico N

7
ITBA
Ingeniera Informtica
Transformada Discreta de Fourier
Consideremos una funcin x(t), la cual es muestreada a intervalos regulares en los N puntos
t
j
= jh, con j = 0, 1, 2, . . . , N1, siendo h el intervalo de muestreo. Indicando a los valores
de x como x
j
, se dene la Transformada Discreta de Fourier de los valores muestreados
{x
j
}
N1
j=0
a:
X
k
=
N1

j=0
x
j
e

2i
N
jk
k = 0, 1, . . . , N 1 (3)
siendo la correspondiente frmula de inversin o Antitransformada discreta de Fourier:
x
k
=
1
N
N1

j=0
X
j
e
2i
N
jk
k = 0, 1, . . . , N 1 (4)
Cada valor de la transformada discreta X
k
, est denido en el valor de frecuencia:

k
=
k
2hN
(5)
Denicin 6. Espectro de Potencia Si X
k
, con k = 0, 1, . . . , N 1 son los valores de la
Transformada Discreta de Fourier de una secuencia {x
j
}
N1
j=0
, entonces se llama Espectro
de Potencia a:
P
k
= |X
k
|
2
k = 0, 1, . . . , N 1
La gura 3 muestra una funcin en MATLAB que implementa el cmputo de la Trans-
formada Discreta de Fourier.
En muchas aplicaciones, se utiliza la base trigonomtrica para reconstruir una funcin
f(t), a partir de sus muestras en un conjunto de puntos.
Denicin 7. Se denomina Polinomio Trigonomtrico de grado m a:
S
m
(t) =
a
0
2
+
m

n=1
(a
n
cos nt +b
n
sin nt)
Supongamos que se tiene una seal peridica f(t) de perodo 2 y se conocen N+1 valores
de f a intervalos regulares, en los puntos:
t
j
=
2
N + 1
j = 0, . . . , N
siendo dichos valores:
f
j
= f(t
j
) j = 0, . . . , N
Entonces, f puede ser interpolada en los nodos t
j
mediante el polinomio trigonomtrico de
grado m < N/2:
f(t) =
a
0
2
+
m

k=1
(a
k
cos kt +b
k
sin kt) (6)
donde los coecientes se computan:
a
k
=
2
N
N

j=1
f
j
cos jt
j
j = 0, 1, . . . , m (7)
b
k
=
2
N
N

j=1
f
j
sin jt
j
j = 0, 1, . . . , m (8)
13
Mtodos Numricos Avanzados 93.30
Trabajo Prctico N

7
ITBA
Ingeniera Informtica
function y = mi_tdf(x)
% Funcion: y = mi_tdf(x)
% Proposito: Calcula la transformada discreta
% de Fourier de la secuencia x
%
% y(n) = (1/N)* Suma{ x(nu) exp(-i 2*pi*n*nu/N) }
%
if nargin~=1
sprintf(%s,Debe ingresar un solo vector/matriz de datos)
break
end
%
N = length(x);
y = zeros(1,N);
aux = 2i*pi/N;
for n=0:N-1
s = 0.0;
for nu=1:N
s = s + x(nu)*exp(-1*aux*n*(nu-1));
end
y(n+1) = s/N;
end
return
Figure 3: Transformada Discreta de Fourier
El cmputo de los coecientes de la Transformada Discreta de Fourier 3, conduce a la
realizacin de una cantidad de operaciones (sumas y multiplicaciones complejas) O(N
2
).
En 1966, Cooley y Turkey desarrollaron un algoritmo eciente, en cuanto al nmero de
operaciones, para el cmputo de la Transformada Discreta de Fourier. Dicho mtodo
de cmputo de llama Transformada Rpida de Fourier (Fast Fourier Transform) FFT y
requiere O(nlog
2
n), siendo necesario un nmero de datos N = 2
p
, con p N. El la gura
se muestra un algoritmo recursivo para el cmputo de la FFT.
Ejercicios. Parte 5: Transformada Discreta de Fourier
1. (Lpiz y papel) Sea el vector f = [f
0
, f
1
, . . . , f
N1
] y F = [F
0
, F
1
, . . . , F
N1
] su
transformada discreta de Fourier. Demostrar, aplicando la denicin de transformada
discreta de Fourier (TDF) y de la TDF inversa que el antitransformado discreto de
[F
0
, F
1
, . . . , F
N1
], recostruye completamente al vecyor de datos f.
2. (Computadora) Suponga que se desea estudiar el contenido en fecuencias usando la
TDF, de la siguiente seal:
x(t) = 0.0472 cos(2(200)t + 1.5077) + 0.1362 cos(2(400)t + 1.8769)+
+0.4884 cos(2(500)t 0.1852) + 0.2942 cos(2(1600)t 1.4488)+
+0.1223 cos(2(1700)t)
(a) Hacer un programa que compute la Transformada Discreta de Fourier.
(b) Computar la TDF de x(t) y calcular el espectro de potencia. Determinar la
frecuencia fundamental.
14
Mtodos Numricos Avanzados 93.30
Trabajo Prctico N

7
ITBA
Ingeniera Informtica
function X = fft_rec(NN,x)
% funcion fft_rec
% Proposito: Computa la TDF mediante FFT
% Entradas: NN = Tama\~no del vector de datos (debe ser 2^p)
% x = Vector de NN datos
% Salida: X = Vector con la TDF de x
%
N = length(x);
w = exp(-2*pi*sqrt(-1)/N);
if N == 2
X = x(1) + w.^[-NN/2:NN-1-NN/2]*x(2);
else
a1 = x(1:2:N);
b1 = x(2:2:N);
a2 = fft_rec(a1,NN);
b2 = fft_rec(b1,NN);
for k = -NN/2:NN-1-NN/2
X(k+1+NN/2) = a2(k+1+NN/2)+b2(k+1+NN/2)*w^k;
end
end
Figure 4: Algoritmo FFT recursivo
(c) Represente |X()| y la fase de () en funcin de .
3. (L piz y papel) Obtenga el polinomio trigonomtrico de grado 3 para la funcin f(t) =
0, entre < t 0 y f(t) = 1, en 0 < t . Gracar.
4. (Computadora) Para analizar el comportamiento de la TDF con el nmero de mues-
tras N, compute polinomio trigonomtrico de grado 3 de f(t) = t
2
en 0 < 2, y
f(t) = f(t +2), para: N = 8, 16, 32, 64, 128. Graque la funcin f(t) y los distintos
polinomios.
5. (Computadora) Calcular la TDF de la funcin f, usando el cmputo directo y usando
el algoritmo FFT. Gracar el espectro de amplitud y de fase. Reconstruir la fun-
cin f(t), mediante el cmputo de la transformada inversa. Ensayar para distintos
nmeros de muestras.
(a)
f(t) =

1 t, 0 t 1
0, t > 1
f(t), t
(b)
f(t) = u(t) u(t 1)
siendo u(t) la funcin de Heaviside.
(c)
f(t) = sin (2f
0
t) + 4 sin (5f
0
t)
con f
0
= 60Hz.
15
Mtodos Numricos Avanzados 93.30
Trabajo Prctico N

7
ITBA
Ingeniera Informtica
(d)
f(t) = e
|t|
Ejercicios con computadora.
Computadora 1. El objetivo de este ejercicio es simular la salida de un ltro anlgico.
Considerar un circuito RC-serie. La ecuacin diferencial que lo gobierna es:
RC
du
C
dt
+u
C
= E(t)
si la salida u
C
(t) es la tensin en el capacitor, o:
1
RC

u
R
() d +u
R
= E(t)
si la salida u
[
R](t) es la tensin en la resistencia. Considerar para este sistema: = RC =
10
3
s.
1. Implementar el cmputo de la Transformada discreta de Fourier mediante el al-
goritmo FFT, en C/C++ o FORTRAN. (En GNU Octave ya est implementado
mediante la funcin fft.m)
2. Obtener la funcin de transferencia del ltro, considerando como salidas: a) u
C
(t),
b)u
r
(t).
3. Obtener la tensin en el capasitor, cuando E(t) = 5 (u(t + 0.5) u(t 0.5)), muestre-
ando para N = 128 datos.
4. Si la seal de entrada es:
E(t) = 120 cos
20.1t

+ 70 cos
210t

obtener la tensin u
C
(t) y u
R
(t). Comparar ambas salidas con la entrada. Tomar un
nmera de muestras tal que la energa de la entrada no vare en ms del 5%.
Computadora 2. Este ejercicio tiene como objetivo analizar espectralmente una imagen
y utilizar la transformada discreta de Fourier para realizar ltrados espaciales.
La Trasnformada Discreta de Fourier de una secuencia bidimensional x
n,m
, de N N
(imagen), es:
X
l,k
=
N1

n=0
N1

m=0
x
n,m
e

2i
N
(nl+mk)
siendo la Transformada Inversa Discreta:
x
n,m
=
1
N
2
N1

l=0
N1

k=0
X
l,k
e
2i
N
(nl+mk)
1. Implementar un programa que compute la TDF 2D
2. El archivo saturno contiene una matriz de 400400 pixeles
2
y corresponde a niveles
de intensidad luminosa comprendidos entre 0 y 255 (todos enteros). Para visualizar
esta imagen en escala de grises, es necesario establecer un mapa de color de 255
niveles. Por ejemplo en MATLAB, se puede leer y visualizar asi:
16
Mtodos Numricos Avanzados 93.30
Trabajo Prctico N

7
ITBA
Ingeniera Informtica
>> x=load(saturno);
>> colormap(gray(255));
>> image(x);
visualizando la gura 2 que muestra una imagen del planeta Saturno, capturada por
la misin Voyager.
50 100 150 200 250 300 350 400
50
100
150
200
250
300
350
400
Figure 5: imagen original
Computar la Trasnformada discreta de Fourier de la imagen original. Armar las
imagenes de 400400 pixel
2
correspondientes a la amplitud y la fase. Dichas imagenes
deben verse como se muestra en la gura 2 (Tener en cuenta de mapear los valores
de amplitud y fase al intervalo entero [0, 255]).
Computar la Transformada inversa para reconstruir la imagen original de 400
400 pixel
2
.
100 200 300 400
50
100
150
200
250
300
350
400
100 200 300 400
50
100
150
200
250
300
350
400
Figure 6: Transformada de Fourier de la imagen original. Izquierda: Amplitud, Derecha:
Fase
3. Considerar el efecto que produce los siguientes ltros H
k,l
de 400 400 pixel
2
en el
dominio de las frecuencias (espaciales):
17
Mtodos Numricos Avanzados 93.30
Trabajo Prctico N

7
ITBA
Ingeniera Informtica
(a) H
k,l
=

0, 0 k 400, 190 l 210

0, 0 l 400, 190 k 210
1, el resto de las posiciones
(b) El ltro gaussiano H
k,l
= exp(0.1(k
2
+l
2
)
(c) El damero H
k,l
=

0, sil +kes par

1, sil +kes par
Reconstruir las imagenes resultantes de estos ltrados.
18