1.

Transformada de Fourier

1.1. Producto de convolucin en L1 (R)

Si f y g pertenecen a L1 (R), se dene la convolucin (o producto de convolucin) por
1 (f g )(x) = 2

f (x t)g (t)dt

Surge entonces la pregunta: est bien denido este producto? Es decir, para qu x de R existe (f g )(x)? Teniendo en cuenta que el producto usual no es una ley de composicin interna en L1 (R). La respuesta a la pregunta antes realizada la da el siguiente teorema. Teorema 1 (existencia).- Si f y g pertenecen a L1 (R), entonces |f (x t)g (t)| dt < para casi todo x, est bien denido f g para estos x y (f g ) L1 (R); adems
f g
Demostracin.1

1 f 2

Como

|g (t)|dt

|f (x t)g (t)| dtdx =

|f ( )|d = f

bajo el cambio de variable = x t, el teorema de Fubini garantiza que f (x t)g (t)dt existe c.t.p.
f g
1

1 = |(f g )(x)| dx 2 1 f 1 g 1 2

|f (x t)g (t)| dtdx

Si se dene f g = f (x t)g (t)dt, entonces (L1 (R), +, ) es un lgebra de Banach1 conmutativa sin elemento unidad. Demostracin.- Con anterioridad se ha probado que (L1 (R), +) es un espacio vectorial completo. Adems, por el teorema de existencia se tiene
Teorema 2.-

1 f 2

Las propiedades
f (g + h) = f (g + h) f = g g+f f +h h f g)

y
(f )
1 Observar

g=f

(g ) = (f

denicin 9.18 (Real and Complex Analysis, Walter Rudin, pp.192)

con f, g, h L1 (R) y C, se prueban fcilmente de la denicin de Probemos las leyes asociativa y conmutativa.
[f (g h)] (x) =

f (xt) (g h) (t)dt =

f (xt)

g (t )h( )d dt

aplicando el teorema de Fubini

[f (g h)] (x) =

f (x t)g (t )h( )d dt

considerando t = t1 + , se tiene
[f (g h)] (x) =

f (x t1 )g (t1 )h( )d dt1

f (x t1 )g (t1 )dt1 h( )d (f

= = [(f

g )(x )h( )d h] (x)

g)

Por otro lado

(f g )(x) =

f (x t)g (t)dt =

f ( )g (x )d = (g

t)(x)

La demostracin de la asociatividad y conmutatividad de tambin pueden probarse fcilmente cuando se haya dado la transformada de Fourier; ya que V V (f g ) = F G y L1 (R) U C0 (R) es un morsmo inyectivo. Luego
V [f (g h)] = F (G H ) = (F G)H = V [(f g ) h]

y
V (f g ) = F G = G F = V (g f )

Por este camino tambin se prueba fcilmente que no existe elemento u de L1 (R) tal que
V [u f ] = V f

ya que entonces, U G = G, lo que implica que U = 1; pero sabemos que no existe elemento u de L1 (R) tal que U = 1, pues Im(V ) = U C0 (R).

1.2. Deniciones auxiliares

Dada una funcin f : R C, denamos las siguientes funciones g : R2 C y h : R2 C
(x, t) g (x, t) = f (t)eixt (x, t) h(x, t) = f (t)eixt

tales que gt y ht son integrables para todo t R si y slo si f lo es. Utilizando las siguientes notaciones
1 F (x) = 2
Proposicin 1.1

f (t)e

ixt

dt

1 F (x) = 2

f (t)eixt dt

Las funciones V y W denidas por f V f = F y f W f = F , son operadores lineales de L1 (R) en L (R) tales que
F

1 f 2

1 f 2

Las funciones V y W se denominan transformada directa e inversa de Fourier 1 respectivamente. Mientras que a F y F se les llama integral directa e inversa de Fourier. Los calicativos de directa e inversa quedarn justicados ms adelante.

1.3. La transformada de Fourier sobre L1 (R)

Proposicin 2.-

La aplicacin T denida por

Lp (R) F (R, Lp (R) f T (f ) R F (R, R) y T (f )(y ) = fy R R x fy (x) = f (x y )
T

tiene su imagen en el conjunto de funciones uniformemente continuas U C (R, Lp (R)). Demostracin.- Como f Lp (R), entonces fy Lp (R) y obviamente la imagen de T es un subconjunto de F (R, Lp (R)), y se puede asegurar que existe una funcin g continua y de soporte compacto [a, a] tal que f g p < 3 . De la continuidad uniforme de g sobre [a, a] se tiene que para todo nmero real positivo , existe un = ( ) tal que si |s t| < , entonces
|g (s) g (t)| < 3(3a) p
1

luego por tanto

|g (x s) g (x t)|p dx =

3p

p (2a + ) < p 3a 3

gs gt

<

Consecuentemente
[T (f )](s) [T (f )](t)
p

= fs ft fs gs

p p

+ gs gt

+ gt ft

<

siempre que |s t| < .

Teorema 3.-

Si f pertenece a L1 (R), entonces F y F son uniformemente

1

continuas sobre R, l m F (x) = 0 y l m F = 0.

Demostracin.-

Si {tn } es una sucesin convergente a t, entonces

|x|

|x|

1 |F (tn ) F (t)| 2

|f (x)||eixtn eixt |dx

El integrando est acotado por 2|f (x)| y adems tiende a cero para todo x R cuando n , luego por el teorema de la convergencia dominada se tiene que F (tn ) F (t) y por lo tanto se tiene la continuidad de F en x. Teniendo en cuenta que ei = 1, se tiene que
1 F (t) = 2
1 f (x)eit(x+ t ) dx = 2

f x

ixt e dx t

luego y

1 2F (t) = 2

f (x) f x

eixt dx

1 2|F (t)| f f t 1 2 de la proposicin 2 resulta que l m f f = 0 por lo que l m F (t) = 0. t 1

Fcilmente se puede probar que toda funcin continua y acotada sobre R con lmite cero cuando |t| es uniformemente continua sobre R. La coleccin de funciones f : R C | f U C y l m f (x) = 0 con la suma y el producto escalar usuales es un C-espacio vectorial. De manera natural, surge la pregunta: existen elementos de L1 (R) tales que su integral de Fourier no pertenezca a L1 (R)? La respuesta a esta pregunta es armativa. Por ejemplo, si denimos la funcin f sobre R por
f (x) = 1 si|x| a 0 si|x| > a
|x|

|t|

|t|

pertenece trivialmente a L1 (R); sin embargo, su integral de Fourier

1 F (x)= 2

f (t)e
a

ixt

1 dt = 2

eixt dt
a

1 eixt = 2 ix

=
a

2 sen(ax) x

no pertenece a L1 (R). En efecto, haciendo el cambio de variable y = ax se tiene

sen(ax) dx = x

sen(y ) dy y

y como

|sen(y )| 1 dy y ( n + 1) n=1

(n+1)

|sen(y )|dy =
n

1 n + 1 n=1

se tiene la no pertenencia de F a L1 (R). Otras preguntas importantes que se deben contestar son las siguientes: 1. Son sobreyectivos los operadores V y W considerando L1 (R) y U C0 (R) como su dominio y codominio respectivamente? 2. Qu relacin existe entre los operadores V y W ? 3. Son inyectivos los operadores V y W ? La pregunta 1 se responder parcialmente con el llamado teorema de inversin y se establecer una relacin entre ambos operadores; y con el teorema de unicidad se dar respuesta a la pregunta 3. Antes de enunciar el teorema de inversin, es til conocer una funcin positiva H que tenga una integral de Fourier positiva y que se pueda calcular fcilmente. Una de ellas es
H (t) = e|t| , t R

y cumple que

1 h (x) = H (t)eixt dt, ( > 0) 2 0 1 = H (t)eixt dt + H (t)eixt dt 2 0 0 1 = e(ix)t dt + e(ix)t dt 2 0 1 = 2 1 e(ix)t ix

0

1 e(+ix)t + ix

1 2 = = 2 + x2 2

2 2 + x2

adems
1 2

1 2 1 x h (x)dx = dx = arctan 2 + x2 2 1 = =1

(1)

Proposicin 3.-

Si f L1 (R), entonces
1 (f h )(x) = 2

H (t)F (t)eixt dt

Demostracin.-

1 (f h )(x) = 2

f (x y )

1 2

H (t)eiyt dt dy

y por el teorema de Fubini se tiene

1 1 (f h )(x) = H (t) f (x y )eiyt dy dt 2 2 1 1 = H (t) f (y )eit(xy) dy dt 2 2 1 1 = H (t) f (y )eiyt dy eixt dt 2 2 1 = H (t)F (t)eixt dt 2

Proposicin 4.-

Si g L (R) y g es continua en x, entonces

0

l m (g h )(x) = g (x)

(2)

Demostracin.-

1 1 (g h )(x) g (x) = g (x y )h (y )dy g (x)h (y )dy 2 2 1 = (g (x y ) g (x)) h (y )dy 2

Por (1) se tiene que

tomando en cuenta la igualdad anterior y que h es positiva, se tiene

1 |(g h )(x) g (x)| = 2 |g (x y ) g (x)|h (y )dy
,

tenemos adems que la diferencia |g (x y ) g (x)| est acotada por 2 g lo que

2 g |(g h )(x) g (x)| = 2

por

h (y )dy

pero el integrando de la derecha tiende a cero cuando 0; asimismo, por el teorema de la convergencia dominada se tiene (2). Proposicin 5.- Si 1 p < y f Lp (R), entonces
0

l m (f h ) f

=0

Como h Lq (R), donde q es el exponente conjugado de p, (f h )(x) est denido para todo x. De (1) se tiene 1 (f h )(x) f (x) = (f (x y ) f (x)) h (y )dy 2
Demostracin.-

Entonces teniendo en cuenta que la funcin Q(t) = tp es convexa sobre [0, ), la desigualdad de Jenssen y (1) nos permite armar que
1 |(f h )(x) f (x)|p 2

|f (x y ) f (x)|p h (y )dy

integrando esta desigualdad con respecto a x y aplicando el teorema de Fubini resulta

(f h )(x) f (x)
p p

1 2

f (x y ) f (x) p p h (y )dy

Ahora, si tomamos g (y ) = f (x y ) f (x) p p , entonces g es una funcin continua y acotada por la proposicin 2 y g (0) = 0. Por tanto, el miembro derecho de la desigualdad tiende a cero cuando 0 por la proposicin 4. Teorema 4 (de inversin).- Si f L1 (R), F L1 (R) y g = W F , entonces f = g c.t.p. y g cumple
|x|

l m g (x) = 0

es decir, g C0 (R). Demostracin.- Por la proposicin 3

1 (f h )(x) = 2

H (t)F (t)eixt dt

(3)

como

|H (t)F (t)eixt | F (t)

y adems H (t) 1 cuando 0+ , el teorema de la convergencia dominada nos permite asegurar que el miembro derecho de (3) converge a g (x) para todo x R. Utilizando la proposicin 5 y una sucesin Cauchy {n } convergente a cero, entonces l m (f hn ) (x) = f (x)c.t.p.
n

y de aqu se tiene que g = f c.t.p. y la pertenencia de g a C0 (R).

Teorema 5 (de unicidad).-

Los operadores V y W
V

L1 (R)
W

% U C0 (R) 9

son inyectivos.

Sean f L1 (R) tal que F = 0 sobre R; entonces, F L1 (R) y por el teorema de inversin f = 0 c.t.p. El teorema del cociente hace de V : L1 (R) Im(V ) un isomorsmo, pero como en general Im(V ) L1 (R) no se cumple V W = W V = I sobre L1 (R); o sea, existe V 1 pero, generalmente, no coincide con W . Sea K = (L1 (R) Im(V )) , entonces, por el teorema de inversin, sobre V 1 (K ) L1 (R) se cumple W V = I y sobre K , V W = I . De esta manera, tenemos que el principal problema de los operadores V y W sobre L1 (R) es que no se cumple la igualdad V W = W V = I y por tanto, no es posible recuperar la funcin original utilizando el operador W o V respectivamente. Cuando se cumple la igualdad se escribir V 1 en lugar de W . Acerca de la sobreyectividad, tenemos que para todo F L (R) tal que F (x) = c, c = 0, no existe un elemento de L1 (R) tal que V f = F como consecuencia del teorema 1. Luego, V no es sobreyectivo si se considera L (R) como su codominio. Los resultados del operador de Fourier V sobre L1 (R) se resumen en el siguiente teorema. Teorema 6.- El operador V sobre L1 (R) tiene su imagen en U C0 (R) y si F L1 (R); entonces f = W F c.t.p. Y si f (L1 (R) C (R)), entonces f = W F .
Demostracin.-

1.4. Propiedades de los operadores V y W en L1 (R)

1.4.1. Integral de Fourier para funciones con un desplazamiento

Si f L1 (R) y es un nmero real, entonces f (t ) L1 (R) y se cumple que

Desplazamiento real.-

V [f (t )] (x) = eix F (x)

Demostracin.-

La pertenencia de f (t ) a L1 (R) es trivial, y se tiene que

1 V [f (t )] (x) = 2

f (t )e

ixt

1 dt = f ( )eix( ) d 2 = eix F (x)

si F L1 (R), entonces
W eix F (x) (t) = f (t )

o sea, W V (f ) = f . 8

Desplazamiento imaginario.-

f (t i) L1 (R), entonces

Si es un nmero real, f L1 (R) y

V [f (t i)] (x) = ex F (x)

Demostracin.-

1 1 V [f (t i)] (x) = f (t i)eixt dt = f ( )eix( i) d 2 2 1 = f ( )eix ex d 2 = ex F (x)

si ex F (x) y F (x) pertenecen a L1 (R), entonces W ex F (x) (t) = f (t i).

Desplazamiento complejo.- Si j , j = 1, 2, son nmeros reales, f

1 i2 ) L1 (R), entonces

y f (t

V [f (t 1 i2 )] (x) = e(2 i1 )x F (x)

Demostracin.-

1 V [f (t 1 i2 )] (x) = f (t 1 i2 )eixt dt 2 1 = f ( )eix( 1 i2 ) d 2 = e(2 i1 )x F (x)

adems si e(2 i1 )x F (x) y F (x) pertenecen a L1 (R), entonces W e(2 i1 )x F (x) (t) = f (t 1 i2 ).
1.4.2. La integral del producto de una funcin por una funcin exponencial

Exponencial real.-

tonces

Si R, et f (t) y f (t) pertenecen a L1 (R), enV et f (t) (x) = F (x i)

Demostracin.-

1 1 V et f (t) (x) = f (t)e(+ix)t dt = f (t)e(xi)it dt 2 2 = F (x i)

Si et f (t) L1 (R) y f L1 (R), entonces V et f (t) (x) existe; pero no se puede decir nada de F (x i). Por ejemplo, la funcin denida por
f= 1 e 2x

six 0 six < 0

no pertenece a L1 (R); sin embargo, es fcil probar que

e x f = e x ex

six 0 six < 0

pertenece a L1 (R).
Exponencial imaginaria.-

L1 (R), entonces
Demostracin.-

Si R, eit f (t) y f (t) pertenecen a

V eit f (t) (x) = F (x )

V e

it

1 1 it ixt f (t) (x) = e f (t)e dt = f (t)eixtit dt 2 2 1 = f (t)e(x)it dt 2 = F (x )

Si j R, j = 1, 2, e(1 i2 )t f (t) y f (t) pertenecen a L1 (R), entonces

Exponencial compleja.-

V e(1 i2 )t f (t) (x) = F (x 2 i1 )

Demostracin.-

1 V e(1 i2 )t f (t) (x) = e(1 i2 )t f (t)eixt dt 2 1 = f (t)e(ix1 i2 )t dt 2 1 = f (t)e(xi1 2 )it dt 2 = F (x 2 i1 )

10

1.4.3.

La integral de Fourier de funciones con una homotecia

Si f L1 (R), entonces
V [f (t)] (x) = 1 F || x

para R. ces

Demostracin.- Como

|f (t)|dt = || |f (t)|dt, f (t) L1 (R), enton 1 V [f (t)] (x) = f (t)eixt dt 2

Considerando u = t, si > 0 se tiene

1 2

f (t)e

ixt

1 dt = 2

f (u)ei u

du 1 = F

y si < 0 resulta
1 2 1 f (t)eixt dt = 2

f (u)ei u

du 1 = F

de donde resulta lo que se quera.

1.4.4. La integral de Fourier de la integral de Fourier

Si f y F pertenecen a L1 (R), entonces

V 2 f (t) = f (t)
Demostracin.-

1 V [F (x)] (t) = 2

F (x)e

ixt

1 dx = F (x)eix(t) dx 2 = f (t)

1.4.5.

La integral de Fourier de la derivada m-sima de f

Si f es m veces diferenciable y f (j ) L1 (R), j = 0, m, entonces

1 V f (m) (t) (x) = (ix)m F (x) y |x|m |F (x)| f (m) (t) 2
Demostracin.1

El caso n = 0 es trivial. Para n = 1

1 V [f (t)] (x) = 2

f (t)eixt dt

11

integrando por partes se tiene

u = eixt du = (ix)eixt dt dv = f (t)dt v = f (t)

1 V [f (t)] (x) = eixt f (t) 2 1 = 2

a a

ix

f (t)eixt dt

l m eixt f (t)
a

ixF (x)

se tiene que l m eixt f (t)

a a

= 0 ya que f y f pertenecen a L1 (R). Luego V [f (t)] (x) = (ix)F (x)

Para n = m 1 se supone cierto

V f (m1) (t) (x) = (ix)(m1) F (x)

Para n = m se tiene
1 V f (m) (t) (x) = 2

f (m) (t)eixt dt

integrando por partes se tiene

u = eixt du = (ix)eixt dt dv = f (m) (t)dt v = f (m1) (t)

1 V f (m) (t) (x) = eixt f (m1) (t) 2

a

ix

f (m1) (t)eixt dt

pero l m eixt f (m1) (t)

a

= 0 dado que f (m1) (t) y f (m) (t) pertenecen a L1 (R).

a

Por tanto
V f
(m)

1 (t) (x) = (ix) 2

f (m1) (t)eixt dt

y por hiptesis de induccin

V f (m) (t) (x) = (ix)(ix)(m1) F (x) = (ix)m F (x)

12

y as queda probado lo que se quera. A partir de aqu, si aplicamos mdulo a ambos lados de la igualdad tenemos
V f (m) (t) (x) = |(ix)m F (x)| = |x| |F (x)|
m

(a)

por otro lado

1 V f (m) (t) (x) = 2 1 f (m) (t)eixt dt 2

f (m) (t) eixt dt

teniendo en cuenta que eixt = 1, se tiene

1 V f (m) (t) (x) f (m) (t) 2
1

(b)

de (a) y (b) resulta

1 m |x| |F (x)| f (m) (t) 2

1.4.6.

La integral de Fourier de una funcin multiplicada por ix

Si f y g = tm f (t) pertenecen a L1 (R), entonces F es m veces diferenciable y

F (m) (x) = V [(it)m f (t)] (x) y
Demostracin.-

1 F (m) (x) tm f (t) 2

Sea {sn } una sucesin convergente a x

F (sn ) F (x) 1 eitsn eixt = f (t) dt sn x sn x 2 1 ei(sn x)t 1 ixt = f (t) e dt sn x 2

como f (t) e sn x 1 eixt |tf (t)|, pues l m e 1 = it y como l m f (t) e sn x 1 eixt = n s0 sx itf (t)eixt , el teorema de la convergencia dominada nos permite asegurar que
ist

i(sn x)t

i(sn x)t

F (sn ) F (x) 1 = n sn x 2 l m

(it)f (t)eixt dt

como este resultado se tiene para toda sucesin convergente a x, resulta

F (x) = V [(it)f (t)] (x)

(*)

y como

F (sn ) F (x) 1 sn x 2

|tf (t)| dt

13

resulta que

1 |F (x)| tf (t) 2

El caso para cuando n = 2 se prueba aplicando el mismo procedimiento a partir de la frmula (*) y as sucesivamente. Esta propiedad es muy importante en las aplicaciones de la transformada de Fourier a las ecuaciones diferenciales. Adems, como consecuencia de esta propiedad, se puede armar que mientras ms rpido decrezca f en el innito, ms veces es diferenciable F con derivadas acotadas. Muchas de las propiedades anteriores dependen, fundamentalmente, de la invarianza de la medida con respecto de las traslaciones y del hecho de ser la funcin denida por (x) = eixt un homomorsmo del grupo aditivo R en el grupo multiplicativo C, esto es
(s + t) = (s)(t)

tal que || = 1.
1.4.7. La integral de Fourier del conjugado de una funcin

Si f L1 (R), entonces
V f (t) (x) = F (x)
Demostracin.-

1 V f (t) (x) = 2

1 f (t)e dt = f (t)eixt dt 2 1 1 = f (t)eixt dt = f (t)eixt dt = F (x) 2 2

ixt

1.4.8.

La integral de Fourier de funciones pares e impares

Si f L1 (R) y f (t) = f (t) (f (t) = f (t)), entonces F (x) = F (x) (F (x) = F (x)).
Demostracin.-

1 F (x) = V [f (t)] (x) = 2

f (t)eixt dt

si hacemos = t, entonces
1 F (x) = f ( )eix (d ) 2 1 = f ( )eix d = F (x) 2

de forma similar se demuestra la armacin para las funciones impares. 14

1.4.9.

La igualdad de Parseval generalizada

Si f1 y f2 pertenecen a L1 (R), entonces 1. 2.

V [f1 (t)] (x)f2 (x)dx =

f1 (t)V [f2 (x)] (t)dt

W [f1 (t)] (x)f2 (x)dx =

f1 (t)W [f2 (x)] (t)dt

Demostracin.- Como f1

y f2 son elementos de L1 (R) se tiene que |f1 (t)f2 (x)| = |f1 (t)f2 (x)eixt | es integrable sobre R2 . Entonces, por el teorema de Fubini se tiene que

1 2

f1 (t)eixt dt f2 (x)dx =

f1 (t)

1 2

f2 (x)eixt dx dt

Anlogamente, se prueba la igualdad para el operador W .

1.4.10. La integral de Fourier del producto de convolucin

Si f1 y f2 pertenecen L1 (R), entonces

V [(f1 f2 )(t)] (x) = F1 (x) F2 (x)
Demostracin.-

1 V [(f1 f2 )(t)] (x) = (f1 f2 )(t)eixt dt 2 1 1 = f1 (t )f2 ( )d 2 2

eixt dt

haciendo u = t

1 1 V [(f1 f2 )(t)] (x) = f1 (u)f2 ( )eix(u+ ) du d 2 2 1 1 = f1 (u)eixu du f2 ( )eix d 2 2 = F1 (x) F2 (x)

La igualdad W [F1 (x) F2 (x)] (t) = (f1 f2 )(t) no se cumple para cualesquiera F1 y F2 de L1 (R); pues como se sabe el producto de elementos de L1 (R) no es en general un elemento de L1 (R), y consecuentemente no se puede garantizar en general la existencia de W [F1 (x) F2 (x)] (t). Si f1 y f2 pertenecen a L1 (R), entonces (f1 f2 )(t) L1 (R) y como V [(f1 f2 )(t)] (x) = F1 (x) F2 (x), slo se puede asegurar que F1 F2 U C0 (R), luego no se puede garantizar la existencia de W {V [(f1 f2 )(t)] (x)} (t). Esta es una dicultad grande para las aplicaciones. 15

1.5. Las insuciencias del espacio L1 (R)

1. La transformada de Fourier aplicada a un elemento de L1 (R) no es en general un elemento de L1 (R). 2. El producto de dos elementos de L1 (R) no es en general un elemento de L1 (R). 3. No se cumple en general que (V f1 V f2 ) (x) L1 (R) para f1 y f2 pertenecientes a L1 (R), y consecuentemente no est denida W [(V f1 V f2 ) (x)] (t). Por ende, en general no se tiene la siguiente igualdad
W [(V f1 V f2 ) (x)] (t) = W [(F1 F2 ) (x)] (t) = (f1 f2 )(t)

4. Generalmente, no se cumple que (W F1 W F2 ) (t) L1 (R), para elementos F1 , F2 L1 (R), y como resultado, no est denida V [(W F1 W F2 ) (t)] (x); luego, no siempre se cumple la siguiente igualdad
V [(W F1 W F2 ) (t)] (x) = V [f1 f2 ] (x) = (F1 F2 )(x)

1.6. Transformada de Fourier sobre L2 (R)

Como L2 (R) L1 (R), no se pueden aplicar las deniciones de integral y transformada directa e inversa de Fourier a todo elemento de L2 (R), sino slo a los elementos de L2 (R) que pertenezcan, adems, a L1 (R); es decir, a las funciones que pertenezcan a L2 (R) L1 (R). Para los elementos f de L1 (R) L2 (R) se probar que f 2 = F 2 . Esta isometra de L1 (R) L2 (R) en L2 (R) se extiende a una isometra de L2 (R) sobre L2 (R), y esta ltima dene la transformada de Fourier (algunas veces llamada transformada de Plancherel) para todo f de L2 (R). Teorema 7.- A cada elemento f de L2 (R) se puede asociar un elemento F de L2 (R) de modo que se tienen las siguientes propiedades: (a) Si f (L1 (R) L2 (R)), entonces F el la integral previamente denida para f . (b) F
2

= f

para todo f L2 (R).

(c) La aplicacin denida por f F es un isomorsmo del espacio de Hilbert de L2 (R) sobre L2 (R). (d) Existe entre f y F la relacin simtrica siguiente: Si
1 A (x) = 2
2

f (t)e
A

ixt

1 dt y A (t) = 2
2

F (x)eixt dx
A

entonces A F

0 y A f

0 cuando A .

16

Como L1 (R) L2 (R) = L2 (R), las propiedades (a) y (b) nicamente determinan la relacin f F . Mientras que a la propiedad (d) se le puede llamar teorema de inversin de L2 (R). Demostracin.- El primer objetivo es probar la relacin
Nota:

= f

si f (L1 (R) L2 (R))

(1)

= f (x) y denimos g = f f . Sea f un elemento jo de L1 (R) L2 (R), si f Entonces 1 g (x) = f (x y )f (y )dy 2 1 = f (x + y )f (y )dy 2 1 = fx , f 2

de la continuidad de x fx y del producto interior, se tiene la continuidad de g . De la desigualdad de Schwarz resulta que
|g (x)| fx
2

= f

2 2

pertenecen a L1 (R) se tiene que g L1 (R), esto es, g est acotada. Como f y f luego de la proposicin 3 resulta 1 (g h )(0) = 2

H (t)G(t)dt

(2)

como g es continua y acotada, la proposicin 4 prueba que

0

1 l m (g h )(0) = g (0) = f 2

2 2

(3)

como

1 G(x) = V [g (t)] (x) = g (t)eixt dt 2 1 1 = f (t + y )f (y )dy eixt dt 2 2 1 1 G(x) = f ( )f (y )eix( y) dy d 2 2 1 1 = f ( )eix d f (y )eixy dt 2 2 = F (x)F (x) = |F (x)|2

haciendo = t + y , resulta

17

y como H (t) tiende a 1 cuando 0, el teorema de la convergencia montona permite armar

1 l m 0 2 1 H (t)G(t)dt = F 2
2 2

(4)

de (2), (3) y (4) se tiene que F L2 (R) y se prueba (1). Para cualquier A > 0, sea fA el producto de f y de la funcin caracterstica del intervalo [A, A]. Si f L2 (R), entonces fA f 2 0 cuando A . Como fA (L1 (R) L2 (R)), si A se dene como en (d), se tiene A = FA . Como {fA } es una sucesin Cauchy en L2 (R), la igualdad (1) prueba que {A } es una sucesin Cauchy en L2 (R); y como L2 (R) es completo, {A } converge a un elemento de L2 (R) cuando A , al cual llamamos F . Si f (L1 (R) L2 (R)), entonces A (t) converge a la transformada de Fourier previamente denida, y este lmite puntual coincide c.t.p. con el lmite en L2 (R). Lo que prueba (a). El dominio de la aplicacin f F puede extenderse de (L1 (R) L2 (R)) a L2 (R). Adems, (1) implica que A 2 = fA 2 . Luego
F
2

= l m

= l m

fA

= f

por lo que V f es el lmite en L2 (R) de las funciones A , sin f L2 (R) y V es una isometra de L2 (R) en L2 (R). Lo que prueba la primera parte de (d). Para g L2 (R) se dene W g anlogamente como el lmite de las funciones
1 A = 2
A

g (t)eixt dt
A

entonces W es una isometra de L2 (R) en L2 (R), ya que W (g )(x) = V (g )(x). Si f y F pertenecen a L1 (R) L2 (R), se tiene del teorema 2 que
W V (f ) = f

La funcin f h satisface estos requerimientos si f (L1 (R) L2 (R)) y > 0; en efecto, como f y h pertenecen a L1 (R) entonces f h L1 (R) y de la proposicin 3 resulta que (f h )(x) = W [H (t)F (t)] y como H (t) est acotada, F L2 (R) y W es una isometra de L2 (R), y se tiene que (f h ) L2 (R). Por otra parte, V [f h ] = F H , F L (R) y H (L1 (R) L2 (R)); V [f h ] (L1 (R) L2 (R)). Luego
W V (f h ) = f h

como > 0, (f h ) f 2 0 por la proposicin 5 y como W V es una isometra, se obtiene W V (f ) = f para todo f (L1 (R) L2 (R)). Luego, como L1 (R) L2 (R) es denso en L2 (R) se tiene W V (f ) = f para todo f L2 (R). Esto prueba la segunda parte de (d). Pero la relacin V W (g ) = g es entonces tambin vlida para todo g L2 (R) ya que los papeles de los operadores V y W pueden, obviamente, ser intercambiados. Esto dice que si f = W g , entonces g = F. Por tanto, el operador f F 18

aplica L2 (R) sobre L2 (R). De ahora en adelante utilizaremos V 1 en lugar de W cuando trabajemos con elementos de L2 (R). Finalmente, la identidad
4f g = |f + g |2 |f g |2 + i|f + ig |2 i|f ig |2

prueba que toda isometra de L2 (R) sobre L2 (R) tambin preserva el producto interior. En otras palabras la frmula de Parseval
1 2 1 f (t)g (t)dt = 2

F (x)G(x)dx

se tiene si f y g pertenecen a L2 (R). Con eso se prueba (c) y se completa la demostracin debido a la siguiente armacin, dos espacios de Hilbert H1 y H2 son isomorfos si hay una aplicacin lineal biyectiva h que preserva el producto interior, esto es
h(x), h(y ) = x, y
Teorema 8.-

Si f L2 (R) y F L1 (R), entonces

1 f (t) = 2

F (x)eixt dx c.t.p.

Esto es resultado directo del inciso (d) del teorema 5. Si f L1 (R), F est denida sin ambigedad para todo x. Si f L2 (R), el teorema 5 dene a F nicamente como un elemento del espacio de Hilbert L2 (R), y como una funcin puntual F que est determinada casi por todas partes. Esta es una diferencia importante entre la teora de la transformada de Fourier en L1 (R) y entre la de L2 (R).
Demostracin.-

1.7. Propiedades de los operadores V y V 1 sobre L2 (R)

1.7.1. Integral de Fourier para funciones con un desplazamiento

Si f L2 (R) y es un nmero real, entonces f (t ) L2 (R) y se cumple que

Desplazamiento real.-

V [f (t )] (x) = eix F (x) V 1 eix V f (x) (t) = f (t )

Desplazamiento imaginario.-

f (t i) L2 (R), entonces

Si es un nmero real, f L2 (R) y

V [f (t i)] (x) = ex F (x) V 1 ex V f (x) (t) = f (t i)

19

Desplazamiento complejo.- Si j , j = 1, 2, son nmeros reales, f

1 i2 ) L2 (R), entonces

y f (t

V [f (t 1 i2 )] (x) = e(2 i1 )x F (x) V 1 e(2 i1 )x V f (x) (t) = f (t 1 i2 )

1.7.2. La integral del producto de una funcin por una funcin exponencial

Exponencial real.-

tonces

Si R, et f (t) y f (t) pertenecen a L2 (R), enV et f (t) (x) = F (x i) V 1 [F (x i)] (t) = et f (t)

Exponencial imaginaria.-

L2 (R), entonces

Si R, eit f (t) y f (t) pertenecen a

V eit f (t) (x) = F (x ) V 1 [F (x )] (t) = eit f (t)

Si j R, j = 1, 2, e(1 i2 )t f (t) y f (t) pertenecen a L2 (R), entonces

Exponencial compleja.-

V e(1 i2 )t f (t) (x) = F (x 2 i1 ) V 1 [F (x 2 i1 )] (t) = e(1 i2 )t f (t)

1.7.3. La integral de Fourier de funciones con una homotecia

Si f L2 (R), entonces
V [f (t)] (x) = V 1 1 F || x 1 F || x

(t) = f (t)

para R.
1.7.4. La integral de Fourier de la integral de Fourier

Si f L2 (R), entonces V 2 f (t) = f (t) y adems

V 4k+1 (f (t)) . . . (x) = F (x) V 4k+2 (f (t)) . . . (t) = f (t) V 4k+3 (f (t)) . . . (x) = F (x) V 4k (f (t)) . . . (t) = f (t)

20

para k N. Tambin, se cumplen las siguientes igualdades

V 1 [f (t)] = F (x) 1 4k+2 V [f (t)] = V 1 [F (x)] = f (t) 4k+3 2 V 1 [f (t)] = V 1 [F (x)] = F (x) 4k 3 2 [f (t)] = V 1 [F (x)] = V 1 [f (t)] = f (t)
4k+1

V 1

para k N. Asimismo, si se tiene cualquier frmula anterior con exponente impar se tienen todas las dems.
1.7.5. La integral de Fourier de la derivada m-sima de f

Si f es m veces diferenciable y f (j ) L2 (R), j = 0, m, entonces

V f (m) (t) (x) = (ix)m F (x) V 1 [(ix)m F (x)] (t) = f (m) (t)

1 |x|m |F (x)| f (m) (t) 2

Igualmente, si V f (m) (t) (x) = (ix)m F (x), entonces V 1 f (m) (t) (x) = (ix)m F (x) y se satisfacen las siguientes igualdades
V [(ix)m F (x)] = V 2 f (m) (t) = f (m) (t) V [(ix)m F (x)] = f (m) (t) V f (m) (t) = (ix)m F (x)
1.7.6. La integral de Fourier de una funcin multiplicada por ix

Si f y g = tm f (t) pertenecen a L2 (R), entonces F es m veces diferenciable y

F (m) (x) = V [(it)m f (t)] (x) V 1 F (m) (x) (t) = (it)m f (t)

1 F (m) (x) tm f (t) 2

adems, si F (m) (x) = V [(it)m f (t)] (x); entonces

V [(it)m f (t)] = F (m) (x) V F (m) (x) = (it)m f (t) V F (m) (x) = (it)m f (t)

21

1.7.7.

La integral de Fourier del conjugado de una funcin

Si f L2 (R), entonces
V f (t) (x) = F (x) V 1 F (x) (t) = f (t)
1.7.8. La integral de Fourier de funciones pares e impares

Si f L2 (R) y f (t) = f (t) (f (t) = f (t)), entonces F (x) = F (x) (F (x) = F (x)) y
V 1 [F (x)] (t) = V 1 [F (x)] (t) V 1 [F (x)] (t) = V 1 [F (x)] (t)
1.7.9. La igualdad de Parseval generalizada

Si f1 y f2 pertenecen a L2 (R), entonces (a) (b)

V [f1 (t)] (x)f2 (x)dx =

f1 (t)V [f2 (x)] (t)dt

[f1 (t)] (x)f2 (x)dx =

f1 (t)V 1 [f2 (x)] (t)dt

1.7.10.

La integral de Fourier y el producto de convolucin

Si f1 y f2 pertenecen a L2 (R), entonces se dene f1 f2 igual que en el espacio L1 (R). Sin embargo, a diferencia de L1 (R) en L2 (R) no se tiene que sea una operacin interna. Teorema 9.- Si f1 y f2 pertenecen a L2 (R), entonces (f1 f2 )(x) es uniformemente acotada para todo x.
Demostracin.-

1 |(f1 f2 )(x)| 2

f1 (x t)f2 (t)dt

1 2 1 = 2

|f1 (x t)| dt |f1 (t)|2 dt

|f2 (t)|2 dt

|f2 (t)|2 dt

=k

Teorema 10.-

Si f1 y f2 pertenecen a L2 (R), entonces

V 1 [F1 F2 ] (t) = (f1 f2 )(t) V V 1 f1 V 1 f2 (x) = (f1 f2 )(x)

Demostracin.-

f1 (x t)f2 (t)dt =

V [f1 (x t)] (s)V 1 [f2 (t)] (s)ds

22

y como

1 V [f1 (x t)] (s) = f1 (x t)eits dt 2 haciendo u = x t, se tiene que 1 V [f1 (x t)] (s) = f1 (u)eius eixs du = eixs V 1 [f1 (u)] (s) 2

luego

f1 (x t)f2 (t)dt =

V 1 [f1 (x t)] (s)V 1 [f2 (t)] (s)eixs ds

o sea

V V 1 f1 V 1 f2 (x) = (f1 f2 )(x)

La otra forma frmula se demuestra considerando la igualdad de Parseval generalizada

f1 (x t)f2 (t)dt =

V 1 [f1 (x t)] (s)V [f2 (t)] (s)ds

y bajo un proceso similar al anterior.

1.8. Insuciencias del espacio L2 (R)

1. El producto de los elementos de L2 (R) no es en general un elemento de L2 (R) slo se puede asegurar que pertenece a L1 (R). En efecto, si j , 1 i = 1, 2, pertenece a 1 4 , 2 ; entonces
fj =
1 xj

x (0, 1) x (0, 1)

(j = 1, 2)

pertenecen a L2 (R), ya que

1 0

dx = 2j

x2j dx =
0

1 x(12j ) 1 2j

=
0

1 1 2j

y (1 2j ) > 0, j = 1, 2; sin embargo, si tomamos f1 f2 tenemos

1 x2(1 +2

dx = )

x2(1 +2 ) dx =
0 1 4

1 1 2(1 + 2 )

y dado que 1 2(1 + 2 ) < 1 2 de este producto a L2 (R).

1 4

= 0, se tiene la no pertenencia

2. El producto de convolucin de dos elementos de L2 (R) no es en general un elemento de L2 (R). Slo se puede asegurar que pertenece a L (R). 3. No se cumplen las frmulas
V [(f1 f2 )(t)] (x) = F1 (x) F2 (x) V 1 [(f1 f2 )(t)] (x) = V 1 f1 (x) V 1 f2 (x)

23

1.9. Las clases {0} y {{0}}

Por el smbolo {{0}} se indica la clase de funciones integrables F que pertenecen a L2 (, ) y satisface la condicin de Hlder; esto es
F
(0,1]

L2 (R) C (R)

de tal rma que C (R) es el conjunto de funciones cuyas derivadas son Hlder uniformemente continuas sobre R con exponente ; donde se dice que f es Hlder uniformemente continua sobre R y con exponente , (0, 1], si cumple que
sup
x=y

|f (x) f (y )| < |x y |

Y se denotar con el smbolo {0} a la clase de funciones originales; cuya integral de Fourier pertenece a {{0}}. El punto de partida para muchas aplicaciones es la clase {0}. Por esa razn es de mucho importancia encontrar condiciones sucientes para f , para que esta pertenezca a {0}. Proposicin 6.- Si f L2 (R) y xf (x) L1 (R), entonces f {0}. Demostracin.- Como f L2 (R), entonces F L2 (R), y adems xf (x) L1 (R); entonces F es diferenciable y se cumple que F (x) = V [(it)f (t)] (x). Luego F es uniformemente continua y l m F (x) = 0. Consecuentemente, F
|x|

pertenece a H (R), es decir F cumple con la condicin de Hlder, para todo (0, 1]. Queda probado as que F {{0}}, y consecuentemente que f {0}2 . De la denicin de las clases {0} y {{0}} y del hecho que V es una isometra de L2 (R) sobre L2 (R), se tiene que V restringido a {0} es una biyeccin de {0} en {{0}}. Tambin, es posible dotar a {0} y {{0}} de estructuras de espacios vectoriales normados en las que V es una isometra. Proposicin 7.- El producto de convolucin de dos elementos de {0} pertenece a {0}; es decir, la convolucin de funciones es una operacin interna de {0}. Demostracin.- Si f1 y f2 son elementos de {0}, entonces son elementos de L2 (R), y por ello, su convolucin existe y cumple que
(f1 f2 )(t) = V 1 [F1 F2 ] (t)

luego para probar que (f1 f2 )(t) {0}; es suciente probar que F1 F2 {{0}}. La funcin F1 F2 pertenece a la clase de Hlder con ndice igual al mnimo de los ndices de las clases de Hlder a las que pertenece cada funcin. Adems, se tiene que si F {{0}} y F C1 (R) para 1 < 1 2 y F C para todo > 1 2 , entonces debe existir un 2 > 0 tal que
|F (x)|2 dx = KF > 0
AF,2

2 La bsqueda de condiciones menos restrictivas para que f pertenezca a {0}, es un problema muy importante.

24

donde
AF,2 = {x R | k k1 < |F | < , para todo k > 0 y para algn k1 > 0} 2 |x| |x|1

pues de caso contrario, F no pertenecera a L2 (R). Ntese tambin, que por se f C1 (R), AF es un conjunto medible . Ahora, pasemos a probar que F1 F2 pertenece a L2 (R). Por ser F1 F2 una funcin continua de [1, 1] se cumple que
|F1 F2 |2 dx <
|x|1

y como
|F1 F2 |2 dx
|x|1

|F1 F2 |2 dx+
AF1 F2

|F1 F2 |2 dx kF1 F2 +A
R/AF1 F2

|x|1

1 dx |x|2

|x|1

1 dx = |x|2 =

1 dx (x)2

1 dx x2
1

1 (2 1)(x)(21) 2 = < (2 1)

1 (2 1)(x)(21)

de donde se tiene lo querido. Tenemos as que

{0} {0} (f, g ) {0} f g

{{0}} {0} F G f g

V 1

Ahora, veremos un ejemplo: La funcin denida sobre R por f (x) = e|x| pertenece a {0}. Esta armacin de ser f L2 (R) y xf (x) L1 (R). En efecto

e|x| dx = 2
0

e2x dx = e2x
0

=1

xe
|x|

xe dx +
x 0

dx =

xe

dx = 2
0

xex dx

integrando por partes se tiene

u=x dv = ex dx du = dx v = ex 2 xex dx = 2 xex + ex dx = 2ex
0 0 0

=2
0

25

Puesto que f (x) = e|x| pertenece a L2 (R), su integral de Fourier se calcula por medio de la integral
1 F (x) = e|t| eixt dt 2 0 1 1 = e(t+ixt) dt + e(t+ixt) dt 2 2 0 = 2 1 x2 + 1

Fcilmente se comprueba que F {{0}}. Lo que resulta interesante de este ejemplo es que F tambin pertenece a {0} a pesar de que no cumple la condicin xF (x) L1 (R).

26