You are on page 1of 6

Nota: Las siguientes líneas son un resumen de las cuestiones que se han tratado en clase sobre

este tema. El desarrollo de todos los tópicos tratados está recogido en la bibliografía
recomendada en la Programación de la asignatura.

Tema 12. Transformada de Fourier


12.1. Introducción
Hasta ahora, hemos visto que, bajo ciertas condiciones, es posible representar una función periódica
mediante una serie trigonométrica (serie de Fourier). También que es posible aproximar una función por una serie
trigonométrica, si esta función está definida en un intervalo [a, b] acotado, bastando para ello prolongar la función,
repitiéndola en cada intervalo de longitud b-a. Lo que nos planteamos ahora es cómo representar una función
cuando está definida en todo R y no es periódica.
De manera intuitiva podemos idear un procedimiento para obtener su serie de Fourier de la siguiente forma:
Interpretamos el trozo de función definida en el intervalo [-T, T] y desarrollamos esta nueva función suponiendola
periódica y de periodo 2T después haremos T tender a infinito y ver que resultado obtenemos; dicho de otra formar,
estamos asumiendo que nuestra función es periódica de periodo infinito.
Haciendo esto se obtiene, bajo ciertas condiciones, que:

1 4
2π m&4 m&4
4
f(x)' [f (t) e & i ω (t & x)dω]dt

O de otra forma:
1 4
π m&4 m0
4
f(x)' [f (t) cos[ω(t&x)]dω]dt

Para ser mas precisos estos resultados vienen determinados por el Teorema de la integral de Fourier.

12.2. Teorema de la integral de Fourier

Teorema 12.2.1 de la Integral de Fourier


Sea f(x) una función absolutamente integrable en R y tal que para el punto x se verifica que existen los valores
de f(x+), f(x-), y que las integrales
δ f (x % t) & f(x%) δ f (x & t) & f(x&)
m0 m0
dt ; dt son absolutamente convergentes para un cierto δ > 0 , entonces:
t t
f (x%) % f (x&) 1 4 4
π m0 m& 4
' [ f (u) cos [ω (u & x)]du]dω
2

Igual que sucedía con las series de Fourier, el Teorema de la integral de Fourier admite una forma
exponencial que expresamos a continuación.
Teorema 12.2.2 de la Integral de Fourier en forma exponencial
*f(x%t)&f(x&t)*
m&4
4
Bajo las mismas hipótesis del toerema 13.2.1 si, además, existe dt , se tiene que:
t
f (x%) % f (x&) 1 4 4
2 π m& 4 m& 4
' ( f (u)e i ω (u & x) du) dω
2

Las hipótesis de este Teorema, al igual que nos sucedía con las Series de Fourier, son poco manejables por
lo que, normalmente, el Teorema de la integral de Fourier se enuncia con unas hipótesis más restrictivas pero que
son más operativas. Así enunciamos, de forma resumida, el Teorema de la Integral de Fourier de la manera siguiente

Proposición 12.2.3
Sea f(x) una función definida en todo R verificando que

m&4
4
a) existe *f(x)*dx
b) f(x) es continua salvo en un conjunto discreto de puntos {x1, x2, ..., xn,...}. En estos puntos, xi existen, y son
finitos, los límites laterales f(xi+) y f(xi-).
c) f(x) es derivable por la izquierda y por la derecha
Entonces es
f (x%) % f (x&) 1 4 4 1 4 4
m m 2 π m& 4 m& 4
' [ f (u) cos [ω (u & x)]du]dω ' [ f (u)e i ω (u & x)du]dω
2 π &4 0

12.3. Transformada Integral. Transformada de Fourier


m&4
4
Si K(t, s) es una función de las variables "t" y "s" y la integral K(t,s)f(t)dt existe para una función dada,
f(t), obtenemos una nueva función, F(s), a la que denominaremos Transformada integral de la función f(t) respecto
al núcleo K(t, s).
Según la elección que hagamos de K(t, s) tenemos distintos tipos de Transformadas integrales. Una que
tiene bastante utilidad, por ejemplo en la resolución de sistemas de ecuaciones diferenciales ordinarias, es la
Transformada de Laplace que se corresponde cuando elegimos como núcleo K(t, s) = e-t s y trabajamos con
funciones, f(t), tales que tanto ella como el núcleo son nulos cuando t < 0.
Aquí la que nos ocupa es la denominada Trasformada de Fourier. La transformada de Fourier es una
transformada integral con núcleo, K(t, s) = e- i t s, donde "i" es la unidad imaginaria.
Así, dada f(t) se denomina transformada de Fourier de f(t) a la función, F(ω), definida por:

m& 4
4 &itω
ö [ f (t) ] ' F (ω) ' e f (t)dt ; con & 4 < ω < 4
si tal integral existe.
Dos tipos particulares de esta transformada son las denominadas transformadas seno y coseno de Fourier
y que se definen como:

m0 m0
4 4
ös[ f (t) ] ' Fs(ω) ' f(t)sen(tω)dt ; öc[f(t)] ' Fc(ω) ' f(t) cos(tω)dt
si tales integrales existen.
Volviendo a la transformada de Fourier, observemos que si f(t) es una función continua que satisface todas
las hipótesis requeridas a f(t) para el Teorema de la Integral de Fourier (Teorema 12.2.2) en forma exponencial,
tenemos que:
1 4 itω 1 4 itω 4 &iuω
2 π m& 4 2 π m& 4 m& 4
e F (ω)dω ' e ( e f (u)du)dω '

1 4 4 & i ω (t & u) 1 4 4 & i ω (u & t)


2 π m& 4 m& 4 2 π m& 4 m& 4
' ( e f (u)du)dω ' ( e f (u)du)dω ' f (t)

donde la última igualdad es cierta pues, como observamos en la demostración del teorema de la integral de Fourier
en forma exponencial, la parte de "seno" que se generaba a partir de la exponencial valía cero, y el cambio de signo
aquí tan sólo altera el signo de la parte nula de la integral.
De acuerdo con esta igualdad, hemos encontrado que
1 4 iωt
2 π m& 4
f (t) ' e F (ω) dω ,

donde F(ω) es la transformada de Fourier de f(t), es decir, a cada función f(t) se le puede hacer corresponder una
única función, F(ω), denominada transformada de Fourier de f(t) y , recíprocamente, a cada F(ω) le corresponde
una función, f(t), por tanto tiene sentido hablar de transformación inversa de Fourier y establecer el resultado
siguiente:

Teorema 12.3.1 de inversión


Sea f(t) una función que verifica las hipótesis del Teorema de la integral de Fourier en forma exponencial. En

m& 4
4 &itω
los puntos donde f(t) es continua, si F (ω) ' ö [ f ] ' e f (t) dt , se tiene que
1 4 itω
2 π m& 4
ö&1 ( F (ω) ) ' f (t) ' e F (ω) dω

12.4. Propiedades de la Transformada de Fourier


En lo que sigue, trataremos con funciones, f (t) o g(t), que verifican las hipótesis del Teorema de Inversión
pues son estas funciones las que nos van a ser útiles en las aplicaciones, ya que la aplicabilidad de las transformadas
reside en el hecho de que un problema concreto, difícilmente solucionable en los términos originales, aplicando
transformada pasaremos a otro que será mas manejable en sus cálculos a la vez que nos pueda servir para extraer
propiedades. Pero después, en la mayoría de los casos, habrá que volver al problema original y, para ello, deberemos
poder invertir el resultado volviendo al primer problema; es decir deberemos poder calcular la transformada inversa
del resultado.

Proposición 12.4.1 (linealidad)


Si existen las transformadas de Fourier de f(t) y g(t), entonces, para todas las constantes a y b,también existe la
de af(t) + bg(t) y
ö[af + bg] = aö[f] + bö[g].

Proposición 12.4.2 (cambio de escala)


Si "a" es un número real y F(T) es la transformada de f(t), entonces
1 ω
ö(f(at)) = F( )
*a* a

Obsérvese que, de esta propiedad, se sigue que si ö[f(t)] = F(ω), entonces ö[f(- t)] = F(- ω).

Proposición 12.4.3 (traslación)


Si existe la transformada de f(t), entonces, ö [f(t - a)] = e -iTa ö [f(t)]

Proposición 12.4.4.
Si F(s) = ö [f(t)], y la función F(T) es integrable, entonces ö [F(t)] = 2Bf(-T)
Proposición 12.4.5
Si la transformada de f(t) es F(T) entonces, ö [ ei k tf(t)] = F(T-k)

Proposición 12.4.6
Si f(t) y f '(t) verifican que son absolutamente integrables en R y que limf(t)'0 , se tiene que
t6±4
ö [f '(t)] = iTö [f(t)]

Proposición 12.4.7.
La condición necesaria y suficiente para que una función, f(t), sea una función de valores reales es que, si F(T)
es su transformada de Fourier, se verifique que F(- T)= F(ω)

12.5. Convolución
Una operación, en términos de integrales, entre funciones que es muy útil, tanto en el cálculo de
transformadas de funciones como en aplicaciones físicas es el llamado producto de convolución de funciones o,
simplemente, convolución. Su definición es la siguiente

Definición 12.5.1. Dadas dos funciones, f y g, se denomina convolución de ambas, y se representa por f(g a
una nueva función definida por:

m& 4
4
( f ( g ) (t) ' f (x) g (t & x) dx
si tal integral existe.

Proposición 12.5.2
El producto de convolución es conmutativo, es decir f(g=g(f

Proposición 12.5.3
El producto de convolución es asociativo: f((g(h) = f((g(h)

Proposicón 12.5.4

m0
t
Si f(x) = g(x) = 0 para todo x < 0, entonces ( f ( g ) (t) ' f (x) g (t & x) dx

NOTA: Esta última es la expresión de la convolución en el estudio de Transformadas de Laplace.


Para asegurar la existencia de la convolución de dos funciones se pueden dar diversas condiciones,
nosotros consideramos las siguientes por operatividad

Teorema 12.5.5
Si f,g son absolutamente integrables en R y si una de las dos funciones está acotada, entonces existe la
convolución de f y g para todo x de R.

Teorema 12.5.6

m&4 m&4
4 4
Si f y g son absolutamente integrables en R y convergen las integrales: *f(x)*2dx, *g(x)*2dx entonces,
también existe la convolución de las funciones f y g.

Corolario 12.5.7
Si f(t) y g(t) verifican la hipótesis de alguno de los dos teoremas anteriores, se tiene que:
a) (f(g)(x) es una función acotada.
b) (f(g)(x) es continua e integrable si una de las dos funciones, f ó g, es continua.

Teorema 12.5.8 de convolución para transformadas de Fourier


Sean f (t) y g(t) dos funciones verificando las hipótesis de alguno de los dos teoremas anteriores y supongamos
que f (t) o g(t) es continua, entonces:

m& 4 m& 4 m& 4


4 4 4
(f ( g) (t) e & i t ω dt ' ( f (t) e & i t ω dt) ( g(t) e & i t ω dt)
o de otra forma: si ö(f(t)) = F(s), ö(g(t)) = G(s) se puede escribir:

m& 4
4
ö ( f (x) g(t & x) dx) ' ö ( f (t) ) ö ( g(t) ) y

m& 4
4
ö &1 [ F(ω) G(ω) ] ' ( f ( g )(t) '
f (x) g(t & x) dx
(Obsérvese que esta última fórmula nos permite calcular transformadas inversas de Fourier de productos de
transformadas).

Teorema 12.5.9 (Identidad de Parseval)


Sea F(T) la transformada de Fourier de f(t). Entonces:

m& 4 m& 4
4 4
* F(ω) *2ds ' 2 π * f (t) *2dt
12.6. Transformadas de las funciones elementales
CUADRO DE ALGUNAS TRANSFORMADAS DE FOURIER

m& 4 m& 4
1 4 4 1 4 4

2π m& 4 2π m& 4
f (t) ' F(ω) e i t ωdω F(ω) ' ö [f (t)]' f (t)e & i t ω dt f (t) ' F(ω) e i t ωdω F(ω) ' ö [f (t)]' f (t)e & i t ω dt

e &i a ω & e &i b ω &2c


Π[a,b](t) ec*t*
iω ω2 % c 2

2 sen bω 2
Π[-b,b](t)
ω sg(t) iω

e b (c & i ω) & e a (c & i ω) 1 π


& e c*ω*
ect Π[a,b](t), Re(c)<0 c & iω t 2% c 2 c

2
ω2
1 e &a t con a > 0 π & 4a
ect Π[0, 4)(t) con Re(c) < 0 e
iω & c a

12.7. Resolución de ecuaciones diferenciales lineales con Transformadas


de Fourier
La Transformación de Fourier permite, a veces, resolver ecuaciones diferenciales lineales con coeficientes
constantes. El uso del método, en otras disciplinas no estriba, en general, en la simplificación de cálculos sino más
bien en la serie de ideas que aporta este método en el tratamiento de señales y el estudio de sistemas.
Sea una ecuación diferencial lineal con coeficientes constantes y de orden “n”
d nx d n&1x dx
a0 %a1 %...%an&1 %a x'g(t)
dt n
dt n&1 dt n

admitiremos que las soluciones y sus derivadas hasta el orden “n” tienden a cero cuando la variable independiente
tiende a infinito.
Tomando transformadas de Fourier en ambos miembros y aplicando la propiedad 13.4.6 obtenemos que
[a0(iω)n%a1(iω)n&1%...%an&1iω%an]ö[x]'ö[g(t)]'G(ω)

1
podemos llamar Y(s) = con lo cual ö[x]=Y(iω)G(ωs) o bien x=ö-1[Y(iω)G(ω)]. Es
a0s n%a1s n&1%...%an&1s%an

decir, si ö[y(t)] = Y(iω) tenemos finalmente que


x(t) = y(t)( g(t)
o sea, la convolución de y con g.
Obsérvese que esta última fórmula nos quiere indicar que, en general, no es necesario el conocimiento
explícito de la transformada de g(t) y que nos basta con conocer la transformada inversa de Y(iω). A la función
Y(iω) se le denomina función de transferencia del sistema y, para sistemas estables, es relativamente fácil el cálculo
de su transformada inversa.