Documente Academic
Documente Profesional
Documente Cultură
este tema. El desarrollo de todos los tópicos tratados está recogido en la bibliografía
recomendada en la Programación de la asignatura.
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.
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
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ω '
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:
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ω
Obsérvese que, de esta propiedad, se sigue que si ö[f(t)] = F(ω), entonces ö[f(- t)] = F(- ω).
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
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.
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).
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
2 sen bω 2
Π[-b,b](t)
ω sg(t) iω
2
ω2
1 e &a t con a > 0 π & 4a
ect Π[0, 4)(t) con Re(c) < 0 e
iω & c a
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