Captulo 9

La Transformada de Fourier
En este captulo estudiaremos otra de las transformadas integrales que es ampliamente utilizada tanto en matemticas puras y aplicadas como en algunos campos de la ingeniera. Nos referimos a la transformada de Fourier la cual es, adems, una potente herramienta para resolver ecuaciones en derivadas parciales. La idea bsica de la transformada de Fourier en lo referente a las EDPs es la misma que en el caso de la de Laplace, esto es, transformar un problema complicado en otro ms fcil de resolver y luego obtener la solucin del problema original como la transformada de Fourier inversa de la solucin del problema transformado. Veremos tambin que la transformada de Fourier es una herramienta bsica en el anlisis de seales aperidicas que tienen energa nita. En este sentido, la transformada de Fourier juega el mismo papel que las series de Fourier para seales peridicas.

9.1

Denicin y Propiedades Bsicas

Antes de dar la denicin rigurosa de transformada de Fourier, vamos a motivar dicha denicin a partir de las series de Fourier. Sea f : R C, una funcin dada. Para cada l > 0 podemos calcular el desarrollo en serie de Fourier de la funcin f el cual, en su forma compleja y suponiendo suciente regularidad en la funcin f , viene dado por
+ 1 X cnl einx/l , f (x) = 2l n=

con cnl =

f (y ) einy/l dy.

Con el cambio n =

n l

las expresiones anteriores se reescriben como

+ 1 X cnl ein x , 2 n= l

f (x) =

cnl =

f (y ) ei n y dy.

(9.1)

Si suponemos que f decae muy rpidamente cuando |x| , entonces Z + cnl f (y) ein y dy

y a medida que l la primera expresin en (9.1) tiene el aspecto de una suma de Riemann. De esta forma, haciendo tender l se tiene que Z Z + 1 i x b b f (x) = f (y ) eiy dy. f ( ) e dx, con f ( ) = 2 115

116

Captulo 9. La Transformada de Fourier

b( ) que es lo que enseguida llamaremos Los coecientes de Fourier cnl pasan a tener la forma f transformada de Fourier de la funcin f. Tenemos pues que la transformada de Fourier es, en el sentido anterior, lo que equivale a los coecientes de Fourier de una funcin peridica. Dicho de otra forma, la transformada de Fourier juega el mismo papel para funciones denidas en todo R (o de periodo innito si se quiere) que las series de Fourier para funciones peridicas o denidas en un intervalo acotado. Todo lo anterior motiva la siguiente denicin. Denicin 9.1.1 Dada una funcin f : R C, se dene formalmente su transformada de b : R C, denida como Fourier como la funcin de variable real f b( ) = 1 f 2 Z
+

eix f (x) dx,

R.

(9.2)

Nota 9.1.1 La denicin anterior es formal en el sentido de que la integral que aparece en dicha denicin no tiene porque existir para una f cualquiera. La convergencia de dicha integral est garantizada en caso de ser f absolutamente integrable, es decir, si consideramos el espacio Z + 1 L (R) = f : R C : |f (x)| dx < ,

entonces la transformada de Fourier de f est bien denida siempre que f L1 (R) . Recordemos que L1 (R) , equipado de la norma kf k1 = Z
+

|f (x)| dx

es un espacio de Banach. En realidad, la integral que aparece en (9.2) no se entiende en sentido de Riemann impropio sino en el sentido de Lebesgue. Lo mismo sucede en la denicin del espacio L1 (R) . Sin embargo, si f es continua a trozos y si existen los lmites y son nitos lim Z
0

a a

|f (x)| dx y

b+ 0

lim

|f (x)| dx,

es decir, si |f | es integrable en sentido de Riemann impropio, entonces f L1 (R) y por tanto existe la transformada de Fourier de f la cual viene dada por (9.2). A efectos de clculo, en este captulo entenderemos que las funciones que consideramos son absolutamente integrables en sentido de Riemann impropio. Nota 9.1.2 Sealemos tambin que hay una gran diversidad en la bibliografa en lo que hace referencia al trmino 21 que aparece en la denicin de la transformada de Fourier. Hay autores que incluyen esta constante y autores que prescinden de ella. Es una cuestin de gustos. Por supuesto en nada afecta sto a la teora que desarrollaremos a continuacin. Calcularemos ahora la transformada de Fourier de algunas funciones concretas. Ejemplo 9.1.1 Consideremos la funcin caracterstica del intervalo [a, b] , con < a < b < +, esto es, la funcin 1 si a x b X[a,b] (x) = 0 en caso contrario

9.1. Denicin y Propiedades Bsicas Si aplicamos la frmula (9.2) se tiene que 1 X[a,b] ( ) = 2 Z
b

117

eix dx

= siempre que 6= 0, y X[a,b] (0) =

ba 2 .

b 1 ei x = 2 i a

ei a eib 2 i

En el caso particular de ser a = b, b > 0, se tiene que ( sin( b) si 6= 0. X[b,b] ( ) = . b si = 0.

0.8

0.6

0.4

0.2

-0.2

-0.4 -20

-15

-10

-5

10

15

20

Figura 9.1: Grca de la funcin X[1,1] () . Ejemplo 9.1.2 Consideremos ahora la funcin f (x) = ex De la frmula (9.2) se deduce que Z + 1 2 b ei x ex dx f ( ) = 2 Z + i 2 2 1 e(x+ 2 ) 4 dx = 2 Z + 2 i 2 4 1 =e e(x+ 2 ) dx. 2
2

< x < .

118 Demostraremos ahora que Z

Captulo 9. La Transformada de Fourier

e(x+ 2 ) dx =

i 2

Para ello partimos de la identidad

ex dx =

la cual es una consecuencia inmediata del hecho de ser Z + Z + 2 2 e(x +y ) dxdy = .

Esta ltima identidad se demuestra fcilmente haciendo un cambio a coordenadas polares. VolR + i 2 vamos al clculo de e(x+ 2 ) dx. Supongamos que > 0. Si < 0, el razonamiento que sigue es completamente anlogo. Para cada R > 0 consideremos el camino R formado por la unin de los segmentos 1 R = {z C : z = x , R x R} , 2 R ={ nz C : z = R + iy , 0 y /2} ,o 3 R = z C : z = x + i2 , R x R ,

4 R = {z C : z = R + iy , 0 y /2}

y orientado positivamente, esto es, en sentido contrario al de las agujas del reloj.
y
/2 R C

-R

Dado que la funcin ez es holomorfa en todo el plano complejo, por el Teorema de Cauchy se tiene que Z 2 0= ez dz Z Z Z Z R 2 2 2 2 = ez dz + ez dz ez dz ez dz.
1 R 2 R 3 R 4 R 4 Dado que sobre 2 R y sobre R se tiene que 2 2 2 z e = eR +y

0 y /2, Z

entonces fcilmente se deduce que Z lim

R 2 R

z 2

dz = lim

R 4 R

ez dz = 0.

9.1. Denicin y Propiedades Bsicas Por otra parte, lim Z Z

119

R 1 R

z 2

dz = lim Z

R R
(x+ i2 ) 2

ex dx = Z

y lim

R 3 R

z 2

dz = lim Z

R R

dx =

e(x+ 2 ) dx.

i 2

Con todo ello se tiene que

e(x+ 2 ) dx =

i 2

y por tanto,

h 2 i 2 1 ( ) = e /4 . ex 2

Enunciamos a continuacin algunas de las propiedades bsicas de la transformada de Fourier. Su demostracin es un sencillo ejercicio de clculo. Proposicin 9.1.1 (a) Linealidad. Sean f, g L1 (R) y , C. Entonces b + g b. [f + g ] = f 1 ib b e a f ( /a) . |a|

(b) Translacin y cambio de escala. Sean f L1 (R) y a, b R, con a 6= 0. Entonces la funcin g (x) = f (ax + b) pertenece a L1 (R) y adems g b ( ) =

(c) Frmula de Modulacin. Sean f L1 (R) y a R. Entonces la funcin eiax f L1 (R) y h i b( a) . eiax f (x) ( ) = f Como consecuencia, [f (x) cos ax] ( ) = y [f (x) sin ax] ( ) = b( a) + f b( + a) f 2 b( a) f b( + a) f 2i

9.1.1

La Transformada de Fourier y la Derivacin

Sea f : R C una funcin de clase C 1 a trozos y supongamos que tanto f como f 0 estn en L1 (R) . Del teorema fundamental del clculo y del hecho de estar f 0 en L1 (R) se deduce que Z x lim f (x) = f (0) + lim f 0 (t) dt
x+ x+ 0

120

Captulo 9. La Transformada de Fourier

existe y es nito. Adems, como f L1 (R) , dicho lmite ha de ser cero. De manera anloga se prueba que limx f (x) = 0. Como consecuencia de sto, e integrando por partes, se tiene que Z 0 1 f ( ) = eix f 0 (x) dx 2 Z i ix = e f (x) dx 2 b( ) . = i f En general se tiene que si f, f 0 , , f (n) L1 (R) , entonces, i h b( ) . f (n) ( ) = (i )n f

En general, si xn f (x) L1 (R) , n N, entonces,

Por otra parte, si la funcin xf (x) est en L1 (R) y calculamos formalmente entonces Z 1 [xf (x)] ( ) = xei x f (x) dx 2 Z i d ix = e f (x) dx 2 d Z d 1 = i eix f (x) dx d 2 h i0 b ( ) . = i f [xn f (x)] ( ) = in dn b f ( ) . d n

9.1.2

La Transformada de Fourier y el Producto de Convolucin

Nos ocuparemos a continuacin de estudiar el comportamiento de la transformada de Fourier respecto del producto de convolucin. Recordemos que dadas dos funciones f, g : R C se dene el producto de convolucin de f y g como Z f (x y ) g (y ) dy (f g ) (x) =

siempre que la integral anterior exista. Una condicin suciente para la existencia de la convolucin de dos funciones es que una de ellas est en L1 (R) y la otra en Lp (R) para algn 1 p . De hecho, se puede probar (vase [1, Cap. IV]) que en este caso, es decir, si por ejemplo f L1 (R) y g Lp (R) , entonces f g Lp (R) . En particular, si f, g L1 (R) , entonces f g L1 (R) . Por tanto, tiene sentido calcular su transformada de Fourier. Aplicando la denicin de transformada de Fourier y calculando formalmente se tiene que Z 1 eix (f g ) (x) dx (f g ) ( ) = 2 Z Z 1 i x = e f (x y) g (y) dy dx 2

9.2. El Teorema de Plancherel y la Transformada Inversa de Fourier Z 1 i (xy ) = e f (x y ) dx ei y g (y) dy 2 Z Z 1 eiz f (z ) dz eiy g (y ) dy = 2 b( ) g = 2 f b ( ) . Z

121

En resumen: si f, g L1 (R) , entonces

En la prctica usaremos este resultado en sentido inverso, es decir, habitualmente nos enb( ) g contraremos con f b ( ) , donde f y g son conocidas, y estaremos interesados en calcular una b( ) g funcin h tal que b h ( ) = f b ( ) . El resultado anterior nos dice que esa tal funcin h no es 1 sino 2 (f g ) .

b( ) g (f g ) ( ) = 2 f b ( ) .

9.2

El Teorema de Plancherel y la Transformada Inversa de Fourier

En la seccin anterior hemos visto que el dominio natural para denir la transformada de Fourier es el espacio de funciones L1 (R) . Pero, cul es su imagen o rango? es inyectiva la transformada de Fourier? y sobreyectiva?. En este caso, cmo se calcula la transformada inversa?. De responder a todas estas cuestiones nos ocuparemos en esta seccin. Consideremos en primer lugar el espacio C (R) = f : R C , f continua y lim f (x) = 0 ,
|x|

el cual equipado con la norma kf k = sup {|f (x)| : x R} es un espacio de Banach. El resultado que sigue establece que la transformada de Fourier del espacio L1 (R) est contenida en C (R) . Para una demostracin vase [8, p. 217]. b C (R) . Adems, Lema 9.2.1 (Riemann-Lebesgue) Si f L1 (R) , entonces f 1 b kf k1 . f 2

Nos ocuparemos ahora del problema de recuperar la funcin f a partir de su transformada b Para ello, dada f L1 (R) se dene su transformada inversa de Fourier como de Fourier f. Z f (x) = ei x f ( ) d

Un primer resultado de inversin es el siguiente Teorema de Inversin de Fourier. Una demostracin puede encontrarse en [8, p.p. 218-219]. b L1 (R) . Entonces f = f b , es decir, Teorema 9.2.2 Sea f L1 (R) y supongamos que f f (x) = Z

b( ) d eix f

para todo x R.

(9.3)

122

Captulo 9. La Transformada de Fourier

Como consecuencia de este teorema se tiene que la transformada de Fourier es inyectiva. De manera precisa: b= g Corolario 9.2.3 Sean f, g L1 (R) tales que f b. Entonces f = g.

La frmula (9.3) expresa una funcin f como una superposicin continua de funciones exponenciales. En este sentido, la transformada de Fourier proporciona un anlogo para funciones no peridicas de las series de Fourier para funciones peridicas. Son muchas las funciones de L1 cuya transformada de Fourier est tambin en L1 . Por ejem2b 2 0 00 1 00 plo, si f (R) y si f, f , f L (R) , entonces (f ) ( ) = f ( ) es acotada. De esta C b C b L1 (R) . Sin embargo, es importante sealar tam( ) | , lo que garantiza que f forma, f |2 bin que la transformada de Fourier de algunas funciones importantes en las aplicaciones, como la considerada en el Ejemplo 9.1.1, no estn en L1 (ver Ejercicio 3). Resulta pues interesante obtener alguna otra versin del teorema de inversin anterior. Presentamos a continuacin una de estas versiones que hace uso del concepto de valor principal (de Cauchy) de una integral. Dada una funcin f : R C, se llama valor principal de f al nmero
M M

lim

R que denotamos por P.V. f (x) dx. Es importante sealar que puede existir y ser nito R R P.V. f (x) dx y sin embargo no existir f (x) dx. Sin embargo, si f L1 (R) , entonR ces existe P.V. f (x) dx y adems Z

f (x) dx

f (x) dx = P.V.

f (x) dx.

Ya estamos en condiciones de enunciar una segunda versin del Teorema de Inversin de Fourier. Para la demostracin vase [8, p.p. 220-221]. Teorema 9.2.4 Sea f L1 (R) y supongamos que f es diferenciable a trozos. Entonces Z b( ) d = f (x+) + f (x) , eix f P.V. 2 donde f (x+) = lim f (x + h)
h0
h>0

f (x) = lim f (x h) .
h0
h>0

Nota 9.2.1 Ntese que dentro del teorema anterior si que tienen cabida funciones como la considerada en el Ejemplo 9.1.1. Hasta ahora hemos desarrollado toda la teora de la transformada de Fourier en el marco del espacio L1 (R) . Sin embargo, nuestra experiencia con las series de Fourier sugiere que el espacio L2 (R) tambin ha de jugar algn papel importante en toda esta teora de la transformada de Fourier. Esto es efectivamente cierto. Como veremos enseguida, es L2 (R) y no L1 (R) el espacio en el que la transformada de Fourier tiene un mejor comportamiento. Veamos, en primer lugar, que la identidad de Parseval de las series de Fourier tiene tambin b, g su anlogo para la transformada de Fourier. Supongamos que f, g, f b L1 (R) . Entonces no

9.3. Algunas Aplicaciones de la Transformada de Fourier

123

by g b, g b es difcil probar que tambin f, g, f b L2 (R) . Vamos a calcular el producto escalar de f 2 en L . Haciendo uso del Teorema de Inversin de Fourier y calculando formalmente se tiene que Z b( ) g b b ( ) d f < f, g b >L2 = ! Z Z 1 b( ) = eix g (x) dx d f 2 Z Z 1 b( ) eix d dx f = g (x) 2 Z 1 = f (x) g (x) dx 2 1 < f, g >L2 . = 2 En particular, si tomamos f = g, entonces 2 1 b kf k2 f = 2. 2 2 (9.4)

La identidad (9.4) es entendida en Teora de la Seal como un principio de conservacin de representa fsicamente la energa de la seal f en el dominio del la energa. En efecto: kf k2 2 2 b tiempo, mientras que f representa la energa en el dominio de las frecuencias. 2 Concluimos esta seccin con el que es, a nivel terico, el resultado ms importante en la teora de la transformada de Fourier. Una demostracin puede encontrarse en [10, p.p. 158-161]. Teorema 9.2.5 (Plancherel) La transformada de Fourier, denida en principio sobre L1 L2 , se extiende de manera nica a una aplicacin de L2 en L2 . Adems, esta aplicacin es biyectiva y 2 1 b kf k2 para toda f L2 . f = 2 2 2 El resultado de este teorema (como otros muchos en la teora de la transformada de Fourier) se establece en primer lugar sobre el espacio de Schwartz m dn f (x) cnm < , n, m N , S (R) = f : R C : f C y sup x dxn xR

y posteriormente se extiende por densidad a L2 . Por supuesto, S (R) es denso en L2 . Es importante sealar tambin que para funciones de S (R) es vlida la formula (9.2) mediante la cual se dene la transformada de Fourier. Sin embargo, para funciones de L2 que no estn en L1 no es, en general, vlida esta frmula. A la extensin de la transformada de Fourier al espacio L2 se le denomina transformada de Fourier-Plancharel.

9.3

Algunas Aplicaciones de la Transformada de Fourier

En esta seccin estudiaremos algunas aplicaciones de la transformada de Fourier. En concreto, usaremos dicha transformada para resolver ciertos problemas de ecuaciones en derivadas parciales y tambin veremos alguna aplicacin en Teora de la Seal.

124

Captulo 9. La Transformada de Fourier

9.3.1

Teora de la Seal

describe a f como una superposicin de las ondas peridicas simples eit , donde cubre el rango de todas las posibles frecuencias. Esta representacin es bsica en el anlisis de seales en ingeniera elctrica. En esta seccin nos limitaremos a mostrar algunas ideas subyacentes a la Teora de la Seal y, en particular, veremos como las series de Fourier y la transformada de Fourier son una herramienta bsica en este campo de la ingeniera. En primer lugar, la potencia de la seal f (t) es proporcional al R cuadrado de su amplitud |f (t)|2 , y por tanto, la energa total de una seal es proporcional a |f (t)|2 dt. De esta forma, la condicin de ser nita la energa total de la seal f signica simplemente que f L2 . Vemos, por tanto, que L2 es un espacio que no slo tiene muy buenas propiedades desde un punto de vista matemtico (es un Hilbert, y eso es mucho ) sino que tambin tiene una realidad fsica clara: es, en particular, el espacio de las seales que tienen energa nita. En segundo lugar, los sistemas elctricos pueden ser modelizados matemticamente como operadores A que transforman una seal de entrada f en una seal de salida Af. Muchos de estos sistemas son (al menos en una primera aproximacin) lineales, lo cual signica que el operador A es lineal. Adems, la accin de estos sistemas no se ve afectada por el paso del tiempo (para una misma entrada f, la seal de salida es la misma hoy que maana). Esto signica que el operador A conmuta con las translaciones, es decir, si (Af ) (x) = g (x) , entonces (Af ) (x + s) = g (x + s) para cualquier s R. Se puede demostrar (ver [8, p.p. 225-226]) que entonces el operador A es del tipo b Af = hf , o lo que es equivalente, Af = H f (9.5)

Supongamos que f (t) representa la amplitud de una seal (una onda de sonido o una onda electromagntica, por ejemplo) en el instante de tiempo t. La frmula Z Z 1 i t b b f (t) eit dt f (t) = f () e dt , f ( ) = 2

donde h : R C y H es su transformada inversa de Fourier. La funcin h se denomina funcin del sistema y H se suele llamar la respuesta impulso. Si escribimos h () en forma polar como h ( ) = A ( ) ei() , entonces A ( ) y ( ) representan, respectivamente, la amplitud y la fase debidos al operador A en la frecuencia . Los operadores del tipo (9.5) han sido y son ampliamente estudiados en matemticas puras, especialmente a partir de los trabajos de A. Zygmund y A. Caldern quienes crearon a principios del siglo XX en la universidad de Chicago una muy fructfera escuela de matemticos que se ocup, entre otras cosas, del estudio de este tipo de operadores. Pero volvamos a las seales. Supongamos que estamos interesados en conocer una seal f a partir del conocimiento de los valores de la amplitud de dicha seal en una sucesin de tiempos t1 < t2 < . Es sto posible ? Por supuesto, para una funcin arbitraria f (t) , el conocer f (t1 ) , f (t2 ) , nos dice absolutamente nada sobre f (t) para un t 6= t1 , t2 , . Sin embargo, si la seal f involucra frecuencias limitadas es un cierto rango, es decir, si [L, L], para un cierto L > 0, entonces s que vamos a poder describir apropiadamente la seal f. Para ello necesitaremos hacer uso de tcnicas que involucran a las series de Fourier y a la transformada b( ) = 0 de Fourier. Antes de seguir adelante, diremos que una seal f es limitada en banda si f 2 2 b para / [L, L] . Si f L y es limitada en banda, entonces f L (teorema de Plancharel) b() = 0 para b L1 y vale el Teorema de Inversin de y adems f / [L, L] . Por tanto, f Fourier.

9.3. Algunas Aplicaciones de la Transformada de Fourier

125

Usando las identidades trigonomtricas

n x

Recordemos tambin que dada una funcin 2Lperidica f, su serie de Fourier asociada se escribe en la forma A0 X n x n x An cos + + Bn sin . (9.6) 2 L L
n=1
n x

donde

n x ei L + ei L cos = L 2 la expresin (9.6) se transforma en X c0 =

n x ei sin = L

n x L

ei 2i

n x L

cn einx/L ,

(9.7)

n=

A0 An iBn An + iBn , cn = y cn = . 2 2 2 Con todo esto en mente ya estamos en condiciones de enunciar y probar uno de los resultados ms importantes en Teora de la Seal, el Teorema del Muestreo de Shannon.

es decir, f est completamente determinada por los valores de f en los puntos

Teorema 9.3.1 (del muestreo de Shannon) Supongamos que f es continua a trozos, f b() = 0 para / [L, L] . Entonces L2 (R) L1 (R) y que f n sin (Lt n ) X , f (t) = f L Lt n n=
n L .

donde los coecientes de Fourier cn estn dados por Z L 1 b() ein/L d = 1 f n . cn = f 2L L 2L L

La demostracin es muy formativa pues hace intervenir algunos de los resultados ms importantes del Anlisis de Fourier. La esbozamos a continuacin. b L2 , podemos calcular la serie de Fourier asociada a f b, la cual en su forma compleja Como f viene dada por X b cn ein/L (| | L) (9.8) f () =
n=

(9.9)

Ntese que la identidad (9.8) es consecuencia del teorema de convergencia puntual para series b es diferenciable a trozos al ser f continua a trozos, y f b es continua por el de Fourier (ya que f Lema de Riemann-Lebesgue) y que (9.9) es consecuencia del Teorema de Inversin de Fourier b estn en L1 (R)). Usando de nuevo este mismo argumento se tiene que (ya que f y f Z L b( ) eit d f (t) = f
L

1 2L

= =

L 1 X n ei(Ltn)/L f 2L n= L i (Lt n ) /L
n= X

L n=

n L

ein/L eit d

n sin (Lt n ) L Lt n

126

Captulo 9. La Transformada de Fourier

donde la integracin trmino a trmino es consecuencia del teorema de integracin para series de Fourier. Como hemos mencionado anteriormente, este teorema nos dice que es posible recuperar una seal limitada en banda f (t) a partir de los datos f n L , n N. Adems, el teorema nos da una frmula explcita para calcular f (t) . Nota 9.3.1 Existe otra versin de este teorema para seales que son limitadas en tiempo. En b() a partir de los datos f b(n /L) . La prueba de este nuevo esta versin dual uno determina f teorema es esencialmente la misma debido a la simetra entre tiempos y frecuencias, o lo que es b lo mismo, entre f y f.

9.3.2

Ecuaciones en Derivadas Parciales

En captulos anteriores usamos las series de Fourier para resolver ciertos problemas de EDPs en dominios acotados. En esta seccin usaremos la transformada de Fourier para resolver problemas similares pero en dominios no acotados. Al igual que en el caso de la transformada de Laplace, la transformada de Fourier transforma una ecuacin en derivadas parciales en una ecuacin diferencial ordinaria, la cual es mucho ms sencilla de resolver. El problema de Cauchy para la ecuacin del calor Consideremos el problema de valor inicial para la ecuacin del calor t > 0, < x < ut (t, x) = a2 uxx (t, x) , u (0, x) = f (x) , < x < No imponemos condiciones de frontera porque, en realidad, no tenemos frontera. Sin embargo, para que tenga sentido calcular la tranformada de Fourier, respecto de la variable espacial x, de la funcin u, suponemos implcitamente que dicha funcin tiende a cero rpidamente cuando x . Si calculamos formalmente la transformada de Fourier de la EDP anterior y de su condicin inicial obtenemos el problema u b 2 2 b (t, ) , t>0 t (t, ) = a u b u b (0, ) = f ( )

Para cada jo, el problema anterior es un problema sencillo de ecuaciones diferenciales ordinarias cuya solucin es b( ) e(a)2 t . u b (t, ) = f Slo nos resta calcular la transformada inversa de Fourier de esta funcin para obtener la solucin del problema original. Teniendo en cuenta el Ejemplo 9.1.2 y el apartado (b) de la Proposicin 2 9.1.1, no es difcil comprobar que la transformada de Fourier inversa de e(a ) t es la funcin p /t x2 e 4a2 t , Kt (x) = a que se denomina ncleo del calor (o tambin ncleo de Dirichlet). Por tanto, Z (xy)2 1 1 (f Kt ) (x) = f (y ) e 4a2 t dy. u (t, x) = 2 4 a2 t

(9.10)

9.4. Ejercicios

127

Usando el teorema de derivacin para integrales paramtricas y suponiendo, por ejemplo, que f L1 (R) , se puede probar que la funcin dada en (9.10) es solucin clsica de la ecuacin del calor. Esto es debido al rpido decaimiento del ncleo de Dirichlet cuando |x| . De nuevo aqu nos encontramos con el efecto regularizante de la ecuacin del calor. Para obtener unicidad y estabilidad de soluciones es preciso suponer, adems, que f est acotada. El problema de Dirichlet para la ecuacin de Laplace en un semiplano Consideremos ahora el problema de Dirichlet en un semiplano, es decir, se trata de encontrar una funcin u = u (x, y ) , con < x < e y > 0, de clase C 2 y que satisfaga la EDP y la condicin de frontera < x < , y > 0 uxx (x, y) + uyy (x, y ) = 0, (9.11) u (x, 0) = f (x) , < x < Para obtener unicidad de soluciones es preciso suponer alguna condicin de acotacin sobre u. El motivo es sencillo: si u (x, y ) es solucin del problema anterior, entonces la funcin u (x, y ) + y tambin es solucin de dicho problema. Supondremos, por el momento, que f es acotada e integrable y buscaremos una solucin acotada del problema anterior. Al igual que en el caso de la ecuacin del calor, si aplicamos la transformada de Fourier a la ecuacin de Laplace y a la condicin de contorno obtenemos el problema ( b ( , y ) + (u b ( , y ))yy = 0, y>0 2 u b u b ( , 0) = f ( ) u b ( , y ) = c1 ( ) e||y + c2 ( ) e||y b( ) c1 ( ) + c2 ( ) = f

La solucin de este problema es

donde adems se satisface que

Con el n de obtener una solucin acotada ponemos c1 = 0. Como la transformada inversa de e||y es la funcin 2y Py (x) = 2 , x + y2 que se denomina ncleo de Poisson, la solucin de nuestro problema original es Z y 1 (f Py ) (x) = f (x t) dt. u (x, y) = 2 + y2) 2 ( t Se puede demostrar que si f es continua y acotada, entonces esta funcin es la nica solucin clsica del problema (9.11).

9.4

Ejercicios

1. Demostrar el Corolario 9.2.3. 2. Comprobar que la funcin f (x) = x, x R, no est en L1 (R) , y que sin embargo R P.V. x dx = 0.

128

Captulo 9. La Transformada de Fourier

3. Demuestra que para cada n N se tiene que Z (n+1) sin x 2 x dx (n + 1) . n Deducir de ello que la funcin f (x) =
sin x x

no est en L1 (R) .

b L1 (R) , entonces f L2 (R) . 4. Probar que si f, f

b( ) = 5. Demostrar que la transformada de Fourier de la funcin f (x) = e|x| es f 7. Consideremos las funciones 2/3 si 0 < x < 1 x f (x) = 0 si |x| 1

1 . (1+ 2 )

6. Sea f L2 (R) y supongamos que f (x) = 0 para todo |x| > L > 0. Probar que entonces f L1 (R) . Indicacin: usar la desigualdad de Cauchy-Schwartz para espacios de Hilbert. x2/3 si x > 1 0 si x 1

y g (x) =

Comprueba que f L1 (R) , f / L2 (R) y que g / L1 (R) , g L2 (R) . 8. Usar la transformada de Fourier para resolver el siguiente problema de EDPs para la ecuacin del calor 4uxx (t, x) , t > 0, < x < ut (t, x) = 1 si |x| 2 u (0, x) = 0 si |x| > 2 9. Para cada > 0 consideremos la funcin f (x) = 0 si x si |x| >

b Demostrar que para cada R, f ( ) converge a 1 cuando 0. Por ello se suele decir que la transformada de Fourier de la delta de Dirac es 1. Sin embargo, esto contradice la conclusin del Lema de Riemann-Lebesgue que arma que la transformada de Fourier de cualquier funcin de L1 se anula en innito. El motivo de sto es que la delta de Dirac no es una funcin de L1 . 10. Consideremos el siguiente problema de valores iniciales para la ecuacin de ondas utt (t, x) = c2 uxx (t, x) , t > 0, < x < < x < u (0, x) = f (x) ; ut (0, x) = g (x) , Suponiendo que todas las transformadas de Fourier existen, demuestra que b( ) cos (ct ) + g u b (t, ) = f b ( ) (c )1 sin (ct ) .

Usando las propiedades de la transformada de Fourier, deduce la frmula de dAlembert para la ecuacin de ondas, esto es, Z 1 x+ct 1 f (x + ct) + f (x ct) + g (y ) dy u (t, x) = 2 c xct

9.4. Ejercicios

129

11. La transformada discreta de Fourier. En este ejercicio estudiaremos el problema de la aproximacin numrica de la transformada de Fourier. El objetivo es aproximar Z eix f (x) dx

por algo que involucre nicamente un nmero nito de operaciones algebraicas efectuadas sobre un conjunto nito de datos. En primer lugar, sustituiremos el intervalo innito ], [ por un intervalo nito [a, a + L] . Podemos suponer que a = 0. Por qu? b( ), no en todo R, sino en una sucesin En segundo lugar, intentaremos calcular f de puntos contenida en algn intervalo [C, C ] . La eleccin de C puede ser determinada b se anula cuando . Pero, qu aproximadamente si conocemos la velocidad a la que f sucesin elegimos? Es suciente tomar la sucesin m = 2 m/L, m N. Por qu? Por tanto, hemos de calcular Z L 2 m CL b = . e2imx/L f (x) dx, |m| f L 2 0 Finalmente, reemplazamos la integral que aparece en la expresin anterior por una suma parcial de Riemann que obtenemos dividiendo el intervalo [0, L] en N subintervalos obtenidos a partir de los puntos nL/N (n = 0, , N ). De esta forma tenemos: b 2 m f L
N 1 X n=0

2 imn/N

nL N

L . N

donde

Para que esta aproximacin sea aceptablemente buena es preciso tomar N >> CL/ (2 ) . En resumen: si denotamos por an = f nL N , entonces L 2 m b b am , f L N b am =
N 1 X n=0

e2imn/N an .

Ntese que b am+N = b am . Por qu? Por tanto, toda la informacin est contenida en la sucesin nita b a0 , b a1 , , b aN 1 . De esta forma hemos generado una aplicacin FN : CN a donde a = (a0 , , aN 1 ) , CN 7 FN a =b a = (b a0 , , b am ) b am =
N 1 X n=0

e2imn/N an

(0 m < N ) .

Esta aplicacin se denomina transformada discreta de Fourier de N puntos.

Nos ocuparemos a continuacin de la frmula de inversin para la transformada discreta de Fourier. Para m = 0, , N 1, denotemos por em = 1, e2im/N , e2i2m/N , , e2i(N 1)m/N .

130

Captulo 9. La Transformada de Fourier

1 2 N Probar que {em }N m=0 es una base ortogonal de C , y que kem k = N para todo m.

Una vez probado este resultado se tiene que para todo a CN ,

N 1 1 X a= < a, em > em . N m=0

Probar que entonces las componentes del vector a, que denotamos por an , estn dadas por
N 1 1 X 2imn/N e b am , an = N m=0

donde b am =< a, em > . La frmula anterior es la frmula de inversin para la transformada discreta de Fourier.

9.5

Objetivos

Estudiar las propiedades bsicas de la transformada de Fourier. Mostrar la aplicacin de la transformada de Fourier en la resolucin de EDPs y en problemas relacionados con la Teora de la Seal.

9.6

Comentarios sobre la Bibliografa

En la exposicin de este tema hemos seguido bsicamente el libro de Folland [8, Ch. 7]. Una presentacin tambin muy directa y asequible al nivel del alumno medio es la dada en [19, Ch. 3] donde se trabaja en todo momento con funciones continuas a trozos y con la integral de Riemann. Es, por tanto, una excelente referencia. Como se ha mencionado a lo largo del captulo, la transformada de Fourier hace un uso continuo de las propiedades de la integral de Lebesgue. Por ello, en la exposicin del tema no hemos justicado adecuadamente algunos clculos. El alumno que desee conocer todos estos matices matemticos ha de acudir necesariamente a libros ms especializados como por ejemplo [1, 10, 17]. El libro de Gasquet-Witomski est especialmente enfocado a la aplicacin de la transformada de Fourier a la Teora de la Seal y, aunque el nivel matemtico es bastante elevado, puede ser interesante para conectar los aspectos tericos de la transformada de Fourier con algunas de sus aplicaciones.