Clase 19: Continuacion

Peter Hummelgens
16 de diciembre de 2006
La funcion 1(x) := 1; < x < es acotado, por lo tanto define una distribucion
atemperada f S 0 (R). tenemos
< 1(), () > = < 1(), ()

>=

ei0 ()d

= (formula de inversion)

= (0) =< (), () >

para todo S(R) de modo que

F

1(x) ()

1.

(1)

La TF inversa.
Definimos F : S(R) S(R)( )
por
(F)() = ()

:=

eix (x)dx; < < ( S(R)).

Tenemos para S(R), a R,

(2)

(F )(a)

eia ()d

(a R).

Ademas
1
eia ()

=
2

t=xa

ei(xa) (x)dx =

1
2

\
= (x
+ a)(),
1

eit (t + a)dt

(2)

de modo que (3) da

(F )(a)

\
(x
+ a)()d

\
= < 1(), (x
+ a)() >=< 1(), ( + a) >=< (), ( + a) >= (a),
y como a R era arbitrario comprobamos que

F(F) = , S(R) y similarmente se demuestra

queF(F) = , S(R).
F 1

Por supuesto (3) no es otra cosa que la formula de inversion ()

dice que F = F

(3)

eix ()d

y (3)

. Definimos ahora para T S (R), FT = T por

0

< T, >:=< T, >; (R).

(4)

Es claro que T S 0 (R) y queremos ahora verificar que

F(FT ) = T = F(FT ), T S 0 (R)
(4)

(5)
(3)

De hecho tenemos < F(FT ), > =< FT, F >=< T, F(F) > =< T, > para todo
S(R), entonces F (FT ) = T. De manera similar vemos que F(FT ) = T, y comprobemos
(5). Como consecuencia podemos decir

FS (R) S (R) es una biyeccion con inversa

F 1 = F : S 0 (R) S 0 (R).
0

(6)

F
F
y cada relacion T T es en el mismo momento una relacion para la TF inversa T T.

Como consecuencia de (5) tenemos para T S 0 (R) que

FT = 0 T = 0
(5)

(7)

ya que la parte = es trivial y FT = 0 = T = F 1 (FT ) = F 1 (0) = 0 (F 1 es lineal).

Hemos llegado ahora a la situacion siguiente:

Mejor no se puede: en S 0 (R) podemos tomar alegremente TF, TF repetidas y TF inversas

sin salir nunca de S 0 (R). Para la TF repetida tenemos
f S 0 (R) = (F(Ff ))(x) =
porque
1
S(R) = ()

2
F

1
f (x)
2

eix ()d

(8)

1
(x)
2

y ahora para f S (R),

< F(Ff )(x), (x) > = < (Ff )(), (F)() >=< f (x), (F(Ff ))(x) >
1
1
1
(x) >=
< f (x), (x) >=
< f (x), (x) >
= < f (x),
2
2
2
para todo S(R) lo que demuestra (8).
Ejemplo 1.

(a) En la clase 17 vimos que Xa (x) =

1 ; a < x < a
0 ;

otro x

Con (8) tenemos ahora

F

Xa (x)

sen(a) F 1
1

Xa (x) =
Xa (x),

2
2

por lo tanto
sen(ax) F 1
Xa (), a > 0
x
2
3

sen(a)
.

(en la Clase 17 no tenamos todava una TF para

(b) Para a > 0,
F

ea|x|

( 2

ea|x|

sen(ax)
).
x

a
(Clase 17), y con (8) entonces
+ a2 )

1 a|x|
a
F

e
, de modo que
( 2 + a2 )
2pi

2a
F
ea|| , a > 0.
2
+a
Dejamos como ejercicio verificar que
x2

f S 0 (R) = (F 1 f )() = 2(Ff )().

(9)

El ejemplo anterior sirve para ilustrar (9).

2.

La TF en L2(R).

Tenemos L2 (R) S 0 (R), de modo que cada f L2 (R) es Fourier transformable. Un

sen(ax)
sen ax
ejemplo de una funcion en L2 (R) pero no en L1 (R) es f (x) =
=
(a > 0),
x
x
cuya TF es (ver el ejemplo anterior) 12 Xa (x). Recordemos que en L2 (R) tenemos un producto
interno
(f, g) =
Tenemos el resultado siguiente:

f (x)g(x)dx ; f, g L2 (R).

(10)

F : L2 (R) L2 (R) es una biyeccion, y

Z
Z
|f()|2 d = 2kfk2 , f L2 (R)
|f (x)|2 dx = 2
kf k2 =

(11)

(formula de Parseval para la TF), y mas generalmente

10

(f, g) =

f (x)g(x)dx = 2

(formula de Plancherel-Parseval).

(10)
g ()d = 2(f, g)
f()

(12)

Ejemplo 2.

(a) Sea f() =

sen
;

< < . Del ejemplo anterior sabemos que

F

f (x) = X1 (x) f()

Como f L2 (R), tenemos f L2 (R) por(11), y por (11) tambien tenemos
Z

sen2
1
d
=
2
2

Z1

x2 dx = ,

es decir, encontramos que

sen2 t
dt = ,
t2

un resultado que costara mucho mas trabajo con los metodos de variable compleja
(Mat. VI, integracion en el plano complejo, teorema de residuos de Cauchy, etc.)
(b) Sea f() =

1eix
;
i

< < (a > 0). Tenemos

F 1

0
(x) = 2(x) 2a (x)
i f() = 1 eia fgen

= f (x) = 2[h(x) h(x a)] + c

11
con c una constante. Pero f L2 (R) = f L2 (R), de modo que necesariamente

C = 0 es decir,
f (x) = 2[h(x) h(x a)],
con grafica
2

f(x)

Entonces seg
un (12),
Z

|1 eiat |2
1 2
dt =
4 a = 2a, a > 0.
2
t
2

Mas ejemplos de la aplicacion de (11), (12) se presentan en la gua del Profesor P.F.
Hummelgens.
Mencionamos sin demostracion el resultado siguiente:
Para f L2 (R) tenemos

ZA

1
kk
eix f (x)dx f(),
2
A

Z A

kk

ix
e f ()d f (x) cuando A

(13)

donde la segunda afirmacion es una version de la formula de inversion para la TF en L2 (R)

Este resultado se llama el teorema de Plancherel. Tambien mencionamos que la formula de
la convolucion es valido en L2 (R) :

f, g L (R) = f (x) g(x) 2 f ()

g ()

donde fg L1 (R).
F

3.

(14)

TF de distribuciones par o impar.

1

De (10) de la Clase 18, < f (ax), (x) >:=< f (x), |a|

x
a

> tenemos < f (x), (x) >=<

f (x), (x) >, S(R). Decimos que f S 0 (R) es par (o impar) si, y solo si, f (x) = f (x)
(resp. f (x) = f (x)).
0

Sea f S (R) par, entonces

\
< f(), () > = < f(), () >=< f (), (x)()
>= (regla 7., Clase 18)
= < f (), ()

>=< f (), ()

>= (f par)
= < f (), ()

>=< f(), () >

para todo S(R) = f() = f(), es decir, f S 0 (R) par = f S 0 (R) par tambien.
Es claro que entonces tambien f par = f par. Similarmente podemos proceder para f
impar. Finalmente:
f (x) par f() par, f (x) impar f() impar
cos 1
Ejemplo 3. Queremos hallar f (x) cuando f) =
. Tenemos
i
1
i f() = cos 1 = (ei + ei ) 1
2
6

(15)

F 1

0
fgen
(x) = 1 (x) + 1 (x) 2(x)

= f (x) = h(x + 1) + h(x 1) 2h(x) + C para cierta constante C.

(16)

La grafica de g(x) = h(x + 1) + h(x 1) 2h(x), es

g(x)

= g(x) es impar.
Sumando a g(x) una constante C 6= 0 resultara una funcion no impar. Pero f (x)
tiene que ser impar porque f() es impar. As en (16) tenemos necesariamente C = 0
= f (x) = h(x + 1) + h(x 1) 2h(x).