Anda di halaman 1dari 5

A.

PEREZ
AND J. VILLAMIZAR

18

17. Transformada de Fourier I


En esta secci
on introducimos la transformada de Fourier como una herramienta
que ayuda a resolver los problemas de EDP planteados, si la la variable espacial
est
a dada en un intervalo no acotado. Mostramos un ejemplo:
Ejercicio 17.1 (Ecuaci
on de calor para una barra delgada innita). Consideremos
el siguiente problema en EDP
< x < , t > 0

(17.1)

ut = kuxx ,

(17.2)

u(x, t) acotada

(17.3)

u(x, 0) = f (x)

< x < , t > 0

<x<

Note que la condici


on (17.2) es natural pues u(x, t) describe la temperatura en una
barra delgada de longitud innita en cada punto x de la barra y cada instante
de tiempo t, por tanto no puede tomar valores innitamente bajos ni innitamente altos. Recuerde que k es una constante positiva. La funcion f no puede
ser cualquiera, m
as adelante hablaremos de las condiciones adecuadas para que el
problema este bien planteado. Procederemos a resolver este problema usando el
metodo de separaci
on de variables
PASO 1: Consideremos una funci
on del tipo u(x, t) = X(x)T (t) (de
variables separables).
Queremos hallar u de est tipo que satisfaga la condicion homogenea (17.1) y
(17.2). Note que u(x, t) = X(x)T (t) es acotada para todo (x, t) en el dominio de u
si y s
olo si X(x) y T (t) son acotadas

PASO 2: Sustituimos u en las condici


on HOMOGENEA
(17.1)
X(x)T (t) = kT (t)X (x)

X(x)T (t)
kX(x)T (t)
T (t)

kT (t)

T (t)X (x)
X(x)T (t)
X (x)
= = constante
T (t)

=
=

obtenemos para X y T los siguientes problemas


X (x) = X(x),

< x <

y
T (t) = kT (t),

0<t<

T (t) = 2 kT (t),

0<t<

PASO 3: Resolvemos los problemas en EDO obtenidos para cada variable, considerando por separado los siguientes casos para R: < 0,
=0 y >0
CASO 1: < 0, consideremos = 2 , con > 0
2

la sosluci
on general de esta ecuacion es T (t) = Ce kt la cual es acotada si y solo si
C = 0. Entonces en este caso no hay soluciones acotadas distintas de las triviales.
CASO 2: = 0.
T (t) = 0, 0 < t <
la soluci
on general de esta ecuacion es T (t) = constante, la cual es acotada.
X (x) = 0,

< x <


MATEMATICAS
VII

19

la soluci
on general de esta ecuacion es una recta X(x) = ax + b, la cual es acotada
en (, ) si y s
olo si a = 0, es decir, X(x) = constante. Entonces en este caso
la soluci
on obtenida es u0 (x, t) = C0 =constante.
CASO 3: > 0, consideremos = 2 , con > 0
T (t) = 2 kT (t),

0<t<

la soluci
on general de esta ecuacion es T (t) = Ce
(0, ).
X (x) = 2 X(x),

kt

. La cual es acotada en

< x <

la soluci
on general de esta ecuacion es X(x) = aeix + beix . Esta solucion
es acotada en (, ) pues ambas exponenciales son acotadas, de hecho tienen
m
odulo igual a uno para toda x (, ) y > 0. Luego la solucion hallada en
este caso es, para cada > 0,
u (x, t) = A()eix e

kt

+ B()eix e

kt

note que esta expresi


on incluye la solucion u0 si ponemos = 0.
PASO 4: La soluci
on general del problema homog
eneo (17.1) se obtiene
superponiendo las soluciones obtenidas en cada caso, esto es u , 0.
El conjunto en el cual est
a indexado la familia de soluciones obtenidas no es
discreto como antes, sino continuo: [0, ). Entonces la superposicion sera una
suma continua, es decir, una integral:
u(x, t) =

A()eix e

kt

+ B()eix e

kt

Ahora necesitamos hallar los coecientes A() y B() para tener as la solucion
a nuestro problema. Para ello usamos la condicion homogenea.
PASO 5: Consideremos la condici
on (17.3) y la soluci
on obtenida en
el paso anterior.

u(x, 0) = f (x)

=
=
=
=
=

A()eix + B()eix d


ix
A()e
d +
B()eix d

A()eix d +

A()eix d +

B()eix d

D()eix d

donde
D() =

A(),
B(),

si 0
si < 0

B()eix d

20

A. PEREZ
AND J. VILLAMIZAR

entonces necesitamos hallar D() tal que podamos tener para f (x) en (, ) la
representaci
on integral

f (x) =
D()eix d

Note la semejanza que hay con las series de Fourier complejas asociadas a una cierta
funci
on 2peri
odica. Es natural pensar que la expresion para D() sera parecida
a la de los coecientes de Fourier complejos. Estos coecientes D() seran llamados
la transformada de Fourier de f . Lo que haremos ahora es dar la denicion para
D() de manera intuitiva (natural), deduciremos algunas propiedades y nalmente
mostraremos que tal denici
on es la que sirve para tener tal representacion para f .
Denition 17.2 (Transformada de Fourier). Sea f : R C. Denimos la transformada de Fourier de f como la funcion f : R C dada por

1

f (x)eix dx
f () =
2
si la integral existe.
Notaci
on: Al igual que para la transformada de Laplace usaremos la siguiente
notaci
on para esta nueva opearacion
f() = (f (x))() = F[f (x)]()
F
f (x) f()

Lo primero que haremos es responder a la pregunta natural: Para que funciones


existe tal integral?
Proposition 17.3. Si f L1 (R) entonces existe f()
Proof. desigualdad triangular.

Consideremos algunas funciones de L1 (R) y calculemos sus transformadas de


Fourier:
Ejercicio 17.4. Calcular la transformada de Fourier de f (x) = 1[a,a] (x), donde
a > 0.

1
F[f (x)]() =
1[a,a] (x)eix dx
2
a
1
eix dx
=
2 a
x=a

1 ix
e
, si = 0

2i
=

x=a
a
, si = 0

1 ia
ia
e
, si = 0
2i e
=
a
, si = 0

sin(a)
, si = 0

=
a
, si = 0


MATEMATICAS
VII

21

Observaci
on 17.5. Note que f es de L1 (R) pero f no lo es. f no tiende a cero en
tan r
apido como f . La falta de suavidad de f es lo que produce este efecto.
Esta es una propiedad general de la transformada de Fourier, mientras mas suave
sea una funci
on, m
as r
apido su transformada de Fourier tendera a cero en . Mas
adelante ser
a necesario considerar espacios de funciones en donde podamos denir
la transformada de Fourier de manera tal que f pertenezca al mismo espacio de f .
Observaci
on 17.6. Por otro lado f no es suave, ni siquiera continua, pero f s lo
es. De hecho f es C . Esto se debe a que la funcion f tiende a cero de manera
muy r
apida en . Esta es una propiedad general de la transformada de Fourier
que estudiaremos m
as adelante. Mientras mas rapido tiende f a cero en mas
suave ser
a f
Trate de realizar las mismas observaciones con los siguientes ejemplos y haga un
an
alisis de los resultados.
Ejercicio 17.7. Calcular la transformada de Fourier de f (x) = e|x| .

1
e|x| eix dx
F[f (x)]() =
2
0

1
1
=
ex eix dx +
ex eix dx
2
2 0


1
1
=
e(1i)t dt +
e(1+i)x dx
2 0
2 0

1
1
1
=
+
2 1 i 1 + i
1
=
(1 + 2 )
1
Ejercicio 17.8. (Tarea) Calcular la transformada de Fourier de f (x) = 1+x
2 . Sugerencia: usar el teorema de los residuos, recordar MA2113. Sera necesario considerar los casos > 0, < 0 y = 0 por separado.

Note que la denici


on de la transformada de Fourier es muy parecida a la
denici
on de la transformada de Laplace que hemos dado en este curso. De he1
F (i). Por tanto es de esperar que algunas de las propiedades de
cho f() = 2
la transformada de Laplace sean preservadas por la transformada de Fourier, salvo
constantes.
Proposition 17.9 (Propiedades de la Transformada de Fourier).
(1) Sean f y g tales que existen f y g, entonces (f + g) existe y
F
f (x) + g(x) f() + g()

(2) Sea f tal que existen f() y (xf (x))(), entonces


df()
d
(3) Sea f diferenciable tal que existen f() y (f (x))(), entonces
F

xf (x) i
F

f (x) i f()


A. PEREZ
AND J. VILLAMIZAR

22

(4) Sea f tal que existe f(), entonces


F

f (x a) eia f()
(5) Sea f tal que existe f(), entonces
F
eiax f (x) f( a)

(6) Sean f y g tales que existe la convoluci


on f g, y existen f, g y (f g),
entonces
F
g ()
(f g)(x) 2 f()

(7) Sean f y g tales que existen f , g y (f (x)g(x)) y la convoluci


on (f g)(),
entonces
F
f (x)g(x) (f g)()
(8) Sea f tal que existe f.
Si f es par, entonces f tambien es par.
Si f es impar, entonces f tambien es impar.
(9) [Lema de Riemann-Lebesgue] Sea f tal que existe f. Entonces limx f() =
0.

Proof. Tarea

Ejercicio 17.10. Calcular la transformada de Fourier de f (x) = (2 |x|)1[2,2] (x).


Sugerencia: Este ejercicio puede hacerse de tres formas distintas:
(1) Aplique directamente la denicion. f tiene como soporte [2, 2], as que la
integral de la denici
on en realidad no es impropia. Ahora use integracion
por partes.
(2) Derive f , donde exista la derivada, y note que f (x) = 1[1,1] (x + 1)
1[1,1] (x 1). Ahora use la propiedad sobre la traslacion. La transformada
del pulso rectangular ya ha sido calculada.
(3) f es un pulso triangular. Recuerde que este es la convolucion de dos pulsos
rectangulares, esto es, (1[1,1] 1[1,1] )(x). Ahora use la propiedad sobre la
convoluci
on. La transformada del pulso rectangular ya ha sido calculada.
Es recomendable que el estudiante haga el ejercicio de las tres formas y compare.
Cada procedimiento tiene sus ventajas y desventajas, es bueno que este familiarizado con todas.
18. Transformada de Fourier II
19. Distribuciones Moderadas
20. Transformada de Fourier Seno y Coseno
21. Aplicaciones
U.S.B., Baruta, Venezuela.
E-mail address: jvillamizar@usb.ve