VERSI

ON COMPLEJA DE LA INTEGRAL DE FOURIER

NOCIONES B

ASICAS
E. S

AEZ
Sea f : (, ) R una funci on absolutamente integrable, seccionalmente con-
tinua en cada intervalo de la forma [p, p] , p > 0 y con derivadas laterales en cada
punto. Entonces se sabe que la funci on f se puede escribir puntualmente como una
Integral de Fourier:
(1) f(x) =
1

0
_

f() cos ( x)dd , x R

Observaci on 1. Recordemos que la Integral de Fourier converge en los puntos de
discontinuidad de f al valor medio del salto, por esta raz on la igualdad anterior
puede ser falsa pero esto ocurre a lo m as en nitos puntos ya que f es seccionalmente
continua.
El integrando de (1) es una funci on Par en la variable . Por las propiedades de
las funciones Pares se puede escribir equivalentemente
(2) f(x) =
1
2
_

f() cos ( x)dd , x R

Por las propiedades de las funciones Impares es inmediato para la integral en la
variable
_

f() sen( x)dd = 0

En consecuencia multiplicando por
i
2
(3)
i
2
_

f() sen ( x)dd = 0

donde i es la unidad imaginaria del sistema de n umeros complejos
Sumando cero a la f ormula (2), reemplazando el cero por la f ormula (3) y reagru-
pando las integrales se obtiene:
f(x) =
1
2
_

[cos ( x) i sen ( x)]f()dd

Departamento de Matem atica, UTFSM
email: eduardo.saez@usm.cl.
1
2 E. S

AEZ
Por la identidad de Euler e
i
cos + i sen con R se puede escribir la llamada
versi on compleja de la Integral de Fourier:
(4) f(x) =
1
2
_

f()e
i(x)
dd , x R
Importante: La Integral de Fourier se puede escribir equivalentemente
(5) f(x) =
1
2
_

_
e
ix
_

f()e
i
d
. .
funci on de
_
d , x R
La existencia de las integrales impropias en (5) permite denir la Transformada
de Fourier de la funci on f, como la funci on en la variable .
(6) F[f]() :=
_

f()e
i
d =

f()
N otese que introduciendo la funci on

f en (5) se recupera la funci on f pues se tiene:
f(x) =
1
2
_

f()e
ix
d
Por lo anterior, se dene la Transformaci on Inversa de Fourier por:
(7) F
1
[

f](x) :=
1
2
_

f()e
ix
d
Comentario 1. Algunos autores para aumentar la simetria de las f ormulas en las
deniciones de la Transformada de Fourier y su inversa reparten el coeciente de
(4),
1
2
=
1

2
1

2
en ambas integrales y denen:
F[f]() :=
1

2
_

f()e
i
d
F
1
[

f](x) :=
1

2
_

f()e
ix
d
Expresiones conocidas con el nombre de Formas Simetricas de la Transformada
de Fourier y su Inversa.
Ejemplo 1. Por c alculo directo obtener:
F[e
a|x|
]() = ? , a > 0
Soluci on: Es claro que la funci on f(x) = e
a|x|
, a > 0 es absolutamente inte-
grable, seccionalmente continua en cada intervalo de la forma [p, p] , p > 0 y
con derivadas laterales en cada punto (ver Fig 1)
VERSI

ON COMPLEJA ...... . . . 3
x
f(x)
Figura 1
Usando directamente la denici on (6) se tiene:
F[e
a|x|
]() =
_

e
a|x|
e
ix
dx =
_
0

e
a|x|
e
ix
dx +
_

0
e
a|x|
e
ix
dx
=
_
0

e
x(ai)
dx +
_

0
e
x(a+i)
dx =
e
x(ai)
ai

e
x(a+i)
ai

0
Pero e
x(ai)
e
ax
(cos x i sen x), entonces en el sentido de lmite ||e
x(ai)
|| =
e
ax
0 si x pues a > 0
An alogamente ||e
x(a+i)
|| = e
ax
0 si x .
Luego , F[e
a|x|
]() =
1
a i

1
a + i
=
2a
a
2
+
2
, a > 0.
Propiedades de la Transformada de Fourier
Suponiendo la convergencia de las integrales impropias involucradas, las propiedades
b asicas de la Transformada de Fourier son an alogas a las correspondientes propiedades
de la Transformada de Laplace.
Propiedad 1 (Linealidad).
F[f + g] = F[f] + F[g] , , C
Demostraci on: Consecuencia inmediata de la propiedad de linealidad de la integral.
Propiedad 2 ( Primer Teorema de Traslaci on).
F[f(x)e
i
0
x
]() = F[f](
0
) , R
Demostraci on:
F[f(x)e
i
0
x
]() =
_

f(x)e
i
0
x
e
ix
dx =
_

f(x)e
i(
0
)x
dx
. .
F[f](
0
)
4 E. S

AEZ
Ejemplo 2. Si F[f] =

f , entonces por la identidad de Euler
F[f(x) cos ax]() =
1
2
_
F[f(x)e
iax
]() +F[f(x)e
iax
]()
_
=
1
2
_
F[f]( a) +F[f]( + a)
_
An alogamente, se deja como ejercicio al lector demostrar la f ormula:
F[f(x) senax] =
i
2
_
F[f]( a) F[f]( + a)
_
Propiedad 3 ( Segundo Teorema de Traslaci on).
F[f(x x
0
)]() = e
ix
0
F[f]() , x
0
R
Demostraci on:
F[f(x x
0
)]() =
_

f(x x
0
)e
ix
dx
Sea el cambio de variables x x
0
= , entonces
F[f(x x
0
)]() =
_

f()e
i(+x
0
)
d = e
ix
0
_

f()e
i
d
. .
F[f]()
Propiedad 4 ( Cambio de Escala).
F[f(x)]() =
1
||
F[f](

) , R{0}
Demostraci on:
F[f(x)]() =
_

f(x)e
ix
dx
Sea el cambio de variables x = , entonces:
Si > 0 , F[f(x)]() =
1

f()e

d =
1

F[f](

)
Si < 0 , F[f()]() =
1

f()e

d =
1

f()e

d
=
1

F[f](

)
Luego , F[f(x)]() =
1
||
F[f](

)
Propiedad 5 ( Transformada de la Transformada ).
F[

f]() = 2f()
Demostraci on:
F[f] =

f f = F
1
[

f] , es decir ,
f(x) =
1
2
_

f()e
ix
d 2f(x) =
_

f()e
ix
d , cambiando x
2f() =
_

f()e
i
d , es decir, F[

f]() = 2f()
VERSI

ON COMPLEJA ...... . . . 5
Comentario 2. N otese que la f ormula anterior permite calcular una transforma-
da inversa, calculando la transformada de la transformada , luego para recuperar la
funci on f, basta cambiar x y luego dividir por 2
Ejemplo 3. En el ejemplo (1) se tiene, F[e
a|x|
]() =
2a
a
2
+
2
, a > 0.
Cambiando x en el segundo miembro de la igualdad anterior y aplicando
la propiedad 5 , se tiene: F[
2a
a
2
+ x
2
]() = 2e
a||
, de donde cambiando
x, y dividiendo por 2. F
1
[
2a
a
2
+
2
](x) = e
a|x|
, a > 0. N otese que tambien
F[
2a
a
2
+ x
2
]() = 2e
a||
F[
1
a
2
+ x
2
]() =

a
e
a||
, a > 0
Denici on 1. Una funci on f : (, ) (, ) , C

-diferenciable tiende
Rapidamente a Cero si y s olo si tiene la propiedad
lm
|x|
x
m
f
(n)
(x) = 0 , n, m N
0
Comentario 3. La idea de la condici on anterior signica geometricamente que para
|x| muy grande ( a izquierda o derecha) la gr aca de la funci on f y las gr acas de
todas sus derivadas son curvas que tienden asint oticamente m as r apido al eje x que
el crecimiento de cualquier potencia x
m
(ver Fig. 2).
x
0
Figura 2
Teorema 1. Sea f una funci on que tiende R apidamente a Cero, entonces:
_

|f(x)|dx < , ( converge )

Demostraci on: Si f tiende R apidamente a Cero, en particular lm
|x|
x
2
f(x) =
0. Entonces existe una costante K R
+
, sucientemente grande tal que |x| >
K , x
2
|f(x)| 1 , es decir, |x| > K , |f(x)|
1
x
2
. Esta desigualdad permite la
mayoraci on:
_

|f(x)|dx
_
|x|K
|f(x)|dx +
_
|x|>K
|f(x)|dx
Pero
_
|x|K
|f(x)|dx = M < , donde la constante M existe pues f es continua en
el intervalo [K, K] . Adem as la integral del segundo sumando tambien existe pues
_
|x|>K
|f(x)|dx
_
|x|>K
dx
x
2
= 2
_

K
dx
x
2
= 2
1
x

K
=
2
K
<
6 E. S

AEZ
Observaci on 2. Si f tiende R apidamente a Cero , todas sus derivadas f
(n)
tienden
R apidamente a Cero y por el Teorema anterior
n N ,
_

|f
(n)
(x)|dx <
Teorema 2. Sea f una funci on que tiende R apidamente a Cero, entonces
F[f

]() = iF[f]()
Demostraci on:
F[f

]() =
_

(x)e
ix
dx = f(x)e
ix

+ i
_

f(x)e
ix
dx
. .
F[f]()
Pero |f(x)e
ix
| = |f(x)| 0 si |x| 0 pues f tiende R apidamente a Cero.
Comentario 4. N otese que la derivada de una funci on, es convertida en una simple
multiplicaci on por i, bajo la Transformada de Fourier.
Teorema 3. Sea f una funci on que tiende R apidamente a Cero, entonces:
n N , F[f
(n)
]() = (i)
n
F[f]()
Demostraci on: (Ejercicio de Inducci on)
Para n = 1 es el Teorema anterior. Supongamos que el Teorema es verdadero para
n = k.
Entonces, F[f
(k+1)
]() = F[(f
(k)
)

]() = (i)F[f
(k)
]() = (i)
k+1
F[f]()
Comentario 5. Una de las aplicaciones importantes de la Transformada de Fourier
es a la resoluci on de Ecuaciones Diferenciales Parciales denidas en dominios no
acotados. Sea el siguiente ejemplo para ilustrar este tipo de aplicaciones.
Busquemos una funci on T = T(x, t) , C
2
-diferenciable, denida en el dominio
= (, )(0, ) (dominio no acotado en la variable x) que satisfaga la Ecuaci on
de Calor Unidimensional y la condici on inicial de Cauchy:
T
t
=

2
T
x
2
T(x, 0) = e
x
2 < x < , t > 0
Indicaci on: F[e
ax
2
]() =
_

a
e

2
4a
, a > 0
VERSI

ON COMPLEJA ...... . . . 7
Observaci on 3. El ejemplo planteado es una modelaci on de la distribuci on de Tem-
peratura, T = T(variables espacial, tiempo) de una barra sucientemente aislada,
de longitud innita tal que cada punto en el instante inicial t = 0, tiene la temperatura
que indica la condici on inicial.
Aplicando al problema, la Transformada de Fourier y usando el Teorema 2, se tiene:
F
_
T
t
_
() =
2
F[T](). Pero
F
_
T
t
_
() =
_

t
(T(x, t))e
ix
dx =

t
_ _

T(x, t)e
ix
dx
_
=

t
_
F[T(x, t)]()
_
La interpretaci on del c alculo anterior signica que la Transformada de Fourier de la
soluci on del problema planteado, como s olo funci on del tiempo t es soluci on de la
Ecuaci on Diferencial Ordinaria
d
dt
_
F[T]()
_
=
2
F[T]()
Pero y(t) = c()e

2
t
, donde c = c() es constante arbitarria respecto del tiempo es
la soluci on general de la E.D.O.
Como la Transformada de Fourier de la soluci on del problema planteado es soluci on
de la E.D.O, entonces:
F
_
T(x, t)
_
() = c()e

2
t
, para alguna constante respecto del tiempo , c() = ?
Para determinar la constante c, consideremos la condici on inicial, entonces tomando
t = 0 se tiene:
F[e
x
2
]() = c()
Es decir, la constante adecuada c() =? es la Transformada de Fourier de la condici on
inicial. Usando la Indicaci on para a = 1 se tiene c() =

2
4
. Luego
F
_
T(x, t)
_
() =

2
4
e

2
t
=

2
(1+4t)
4
Para recuperar T(x, t) = ?, usando la propiedad 5 (Transformada de la Transformada)
se tiene
2T(, t) = F
_

x
2
(1+4t)
4
_
() =
2

1 + 4t
e

2
1+4t
En la expresi on anterior, dividiendo por 2 y cambiando x se obtiene la
soluci on del problema planteado:
T(x, t) =
1

1 + 4t
e

x
2
1+4t
. N otese que lm
|x|
T(x, t) = 0
Producto de Convoluci on
Es muy conocido que la integral de un producto de funciones no es igual al produc-
to de las integrales de las funciones, en consecuencia la Transformada de Fourier de
8 E. S

AEZ
un producto de funciones, que es una integral, no es igual al producto de las Trans-
formadas de Fourier de las funciones. Sin embargo, seria deseable una propiedad en
este sentido y la soluci on es simplemente cambiar el producto ordinario de funciones
deniendo un nuevo producto.
Denici on 2. Sean dos funciones f, g : (, ) R que tienden R apidamente a
Cero. El Producto de Convoluci on de f por g se dene como:
f(x) g(x) (f g)(x) :=
_

f()g(x )d
Observaci on: El Producto de Convoluci on es bien denido en el sentido que la
integral impropia de la denici on es convergente. En efecto
|(f g)(x)| M
_

|f()|d <
donde existe la cota M = sup
xR
{|g(x)|} , pues g es una funci on que tiende r apida-
mente a cero.
Teorema 4. Sean dos funciones f, g : (, ) R que tienden R apidamente a
Cero. Entonces
F[f g] = F[f]F[g]
Demostraci on:
F[f g]() =
_

(f g)(x)e
ix
dx =
_

_
_

f()g(x )d
_
e
ix
dx
Cambiando el orden de integraci on se puede escribir
F[f g]() =
_

f()
_

g(x )e
ix
dxd
Sea el cambio de variables t = x , entonces
F[f g]() =
_

f()
_

g(t)e
i(t+)
dtd =
_

f()e
i
d
. .
F[f]()
_

g(t)e
it
dt
. .
F[g]()
Comentario 6. La f ormula del Teorema anterior se puede escribir en terminos de
la Transformada Inversa.
Supongamos que F[f] =

f y F[g] = g , entonces F
1
[

f] = f y F
1
[ g] = g
VERSI

ON COMPLEJA ...... . . . 9
Por el Teorema 4 , F
1
[

f g] = f g , y es inmediato que
F
1
[

f g] = F
1
[

f] F
1
[ g]
Teorema 5. Sean dos funciones f, g : (, ) R que tienden R apidamente a
Cero. Entonces
F[fg] =
1
2
F[f] F[g] , o bien, F
1
[

f g] = 2F
1
[

f]F
1
[ g]
Demostraci on:
F
1
[

f g](x) =
1
2
_

(

f g)()e
ix
d =
1
2
_

_
_

f() g( )d
_
e
ix
d
Cambiando el orden de integraci on se puede escribir
F
1
[

f g](x) =
1
2
_

f()
_

g( )e
ix
dd
Sea el cambio de variables t = , entonces
F
1
[

f g](x) =
1
2
_

f()
_

g(t)e
i(t+)x
dtd
=
1
2
_

f()e
ix
d
_

g(t)e
itx
dt
= 2
_
1
2
_

f()e
ix
d
. .
F
1
[

f](x)
__
1
2
_

g(t)e
itx
dt
. .
F
1
[ g](x)
_
= 2f(x)g(x)
O bien, F
1
[

f g] = 2F
1
[

f]F
1
[ g]
Relaci on entre las transformadas de Laplace y Fourier
Sea la funci on f : (, ) R tal que:
f(t) =
_
0 si t < 0
e
at
(t) si t 0
, a 0 donde : (0, ) R es una funci on
absolutamente integrable, seccionalmente continua y con derivadas laterales en cada
punto, equivalentemente la funci on se puede escribir como f(t) = (t)(t)e
at
Por denici on de la Integral de Fourier:
F[f]() =
_

f(t)e
it
dt =
_

(t)(t)e
at
e
it
dt =
_

0
(t)e
(a+i)t
dt
10 E. S

AEZ
Sea el exponente de la funci on exponencial en la integral anterior a+i = s, entonces
s C. La integral tiene la forma de una transformada de Laplace y se puede escribir:
F[f]() = L[](s) , donde s = a + i C
Luego, la transformada de Fourier de f es una funci on en la variable real y se puede
considerar como la transformada de Laplace de que es una funci on en la variable
compleja s.
Ejemplo 4. Sea f : (, ) R una funci on absolutamente integrable , seccional-
mente continua y con derivadas laterales en cada punto, entonces
F[f]() =
_
L[f](i) +L[f](i) si fes una funci on Par
L[f](i) L[f](i) si fes una funci on Impar
Demostraci on: La funci on f admite integral de Fourier pues por hip otesis f satisface
las condiciones para existencia de la transformada de Fourier . Entonces:
F[f]() =
_

f(t)e
it
dt =
_
0

f(t)e
it
dt +
_

0
f(t)e
it
dt
Si f es una funci on Par , es decir f(t) f(t), consideremos el cambio de coordenadas
t = en la integral
_
o

f(t)e
it
dt =
_
o

f()e
i
d =
_

0
f()e
i
d = L[f](i)
Luego,
F[f]() = L[f](i) +L[f](i)
An alogamente si f es una funci on Impar, ejercicio para el lector.