Anlisis Funcional

Trabajo Final
La Transformada de Fourier
Olea, Mara Mercedes

Facultad de Ciencias Exactas, Universidad Nacional de La Plata

28 de abril de 2012

Resumen
En este trabajo, primero haremos una introduccin a la Transformada de Fourier, deniremos transformada y antitransformada, enunciaremos y probaremos resultados importantes.
En la segunda seccin explicaremos nociones de la teoria de distribuciones que sern de utilidad para la seccin siguiente
En la tercer seccin estudiaremos la transformada de Fourier para funciones con dominios
abiertos de Rn y para distribuciones, para eso enunciaremos y probaremos los Teoremas de
Paley-Wiener. Por ltimo veremos Lema de Sobolev, que es un ejemplo de un problema local
donde aplicamos tecnicas de transformacin de Fourier.

Anlisis Funcional

Trabajo Final

ndice

1. Introduccin a la transformada de Fourier

2. Introduccin a la teoria de distribuciones

10

1.1. La transformada de Fourier en R . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

1.2. La transformada de Fourier en Rn . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.3. La transformada de Fourier en L2 (Rn ) . . . . . . . . . . . . . . . . . . . . . . . . . .

3
6
8

2.1. Conceptos previos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10

2.2. Los espacios C () y DK . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
2.3. Convoluciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16

3. Distribuciones y la transformada de Fourier

3.1.
3.2.
3.3.
3.4.
3.5.
3.6.

La medida de Lebesgue normalizada y la transformada

El Teorema de Inversin . . . . . . . . . . . . . . . . .
El Teorema de Plancherel . . . . . . . . . . . . . . . .
Distribuciones Temperadas . . . . . . . . . . . . . . .
Teoremas de Paley-Wiener . . . . . . . . . . . . . . . .
Lema de Sobolev . . . . . . . . . . . . . . . . . . . . .

Departamento de Matemtica - UNLP

de Fourier
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

18

18
22
24
24
29
32

Hoja 2 de 36

La Transformada de Fourier
1.

Trabajo Final

Introduccin a la transformada de Fourier

1.1.

La transformada de Fourier en

Si f : R R es una funcin continua de soporte compacto, digamos sop(f ) [M, M ] y L

es tal que L/2 > M , podemos extender peridicamente a f con perodo L y hacer su desarrollo en
serie de Fourier. Formalmente, tenemos que:
f (x) =

cn (L)e2i( L )x

nN

con
ZL/2

1
cn (L) =
L

f (t)e2( L )t dt

L/2

Entonces, para todo x [M, M ],

L/2
X 1 Z
n
n
f (x) =
f (t)e2i( L )t dte2i( L )x
L
nN

L/2

X 1 Z
n
n
f (x) =
f (t)e2i( L )t dte2i( L )x
L
nN

ya que f 0 en R [M, M ].
Entonces, si denimos
Z
n
n
b
f
:=
f (t)e2i L t dt
L

y pensamos que fb es una funcin sucientemente "buena", tomando limite para L tendiendo a
, tenemos que
Z
X 1
n
2 ( L
x
)
b
f (n/L) e

fb(t)e2it d
L

nN

Por lo tanto, tendramos que:

Z
f (x) =

fb(t)e2it d

donde
Departamento de Matemtica - UNLP

Hoja 3 de 36

Anlisis Funcional

Trabajo Final

Z
fb() =

f (x)e2it dx

esto motiva la siguiente

Denicin 1.1. Dada f

L1 (R),

denimos su transformada de Fourier como

Z
fb() =

f (x)e2ix dx

Observacin 1.2. Tambin usaremos para la transformada de Fourier la notacin F := fb

Proposicin 1.3. Dada f

L1 (R),

valen las siguientes propiedades:

||
1. fb 0

2. fb L y fb kf k1

3. fb es continua en R.
Demostracin.

R
R
1. |fb()| = | f (x)e2ix dx |f (x)|dx = kf k1
Rn

Rn

2. Lo hacemos por densidad:

Veamos primero que vale para funciones simples:
Si g =

k
P

cj Rj siendo Rj =

n
Q

[ajl , bjl ], entonces:

i=1

j=1

b() =

Rj e2ix dx

Rn

Z
=

[aj ,bj ] (x1 )[aj ,bj ] (x2 ) [ajn ,bjn ] (xn )e2ix1 1 e2ixn n dx
1

n Z
Y
l=1 R

[aj ,bj ] (xl )e2ixl l dxl

l

Calculemos b[a,b]
Z

b[a,b] =

[a,b] (x)e
R

2ix

Zb
dx =

e2ix dx

e2ib
e2ia
e2ix b

0
 =
2i a
2i
2i

Departamento de Matemtica - UNLP

Hoja 4 de 36

La Transformada de Fourier

Trabajo Final

Entonces
Z

b[aj ,bj ] (xl )e2ixl l dxl 0

l

Luego,
n Z
Y
l=1 R

b[aj ,bj ] (xl )e2ixl l dxl 0

l

con lo cual,

bRj 0

Por linealidad de la transformada de Fourier, gb() 0.

Dados f L1 (Rn ) y  > 0, existe g simple medible tal que kf gk1 <

 

b  b

f () = f () gb() + gb()



\
g ()| kf gk1 + |b
g ()|
(f g)() + |b

3. Sea Rn , jo
Z
fb( + h) fb() =

Z




f (x) e2ix(+h) e2ix dx = e2ix e2ixh 1 f (x)dx
Rn

Rn

Luego,

 Z 



b





b
f ( + h) f () e2ix  |f (x)| e2ixh 1 dx
Rn





|f (x)| e2ixh 1 2 |f (x)| L1 (Rn ).

Por Teorema de Convergencia Dominada podemos armar que fb es continua.



Proposicin 1.4. Dada f

L1 (R)

1. Si f 0 L1 (R) entonces fb0 () = 2i fb().

c )() = (1/2i)(fb)0 ()
2. (xf

Departamento de Matemtica - UNLP

Hoja 5 de 36

Anlisis Funcional

Trabajo Final

Lema 1.5. (de Parseval)

Si f, g L1 (R) entonces
Z

Z
fb()g()d =

Demostracin.

f ()b
g ()d

Z
fb()g()d =

Z Z 


f (x)e2ix dx g()d

Aplicando Teorema de Fubini obtenemos que

Z Z
e

2ix

Z
g()df (x)dx =

f (x)b
g (x)dx

Denicin 1.6. Dada

g L1 (R)

continua en el origen y tal que g(0) = 1, denimos, para todo

t>0
Z
Ag,t f (x) =

fb()g(t)e2ix d

Observacin 1.7. La transformada de Fourier en Rn se construye de manera anloga, es decir, si

f L1 (Rn ), entonces

Z
fb() =

f (x)e2ix dx

Rn

y vale lo mismo que enunciamos para la transformada de f L1 (R).

Del mismo modo, valen las cuentas para Ag,t f , es decir,
Z

fb()g(t)e2ix d = (f t )(x)

Ag,t =
Rn

con (x) = gb(x) y t (x) = (1/tn )(x/t)

1.2.

La transformada de Fourier en

Lema 1.8. Sea L1 (Rn ) tal que

=1

Rn

y sea t (x) = (1/tn )(x/t). Entonces

t0
1. Si f L (Rn ) y es continua en x, (f t )(x)
f (x)
p

L
2. Si f Lp (Rn ) para algn p [1, ), (f t )
f

Departamento de Matemtica - UNLP

Hoja 6 de 36

La Transformada de Fourier

Trabajo Final

Demostracin. 1. Primero observemos que como = 1 entonces t = 1. Luego

R

Z
(f t )(x) f (x) =

Z
f (x y)t (y)dy f (x) =

Rn

[f (x y) f (x)] t (y)dy
Rn

Ahora, dado  > 0, sabemos que existe > 0 tal que |f (x y) f (x)| <  si |y| < . Entonces
Z
|f t (x) f (x)|

|f (x y) f (x)| |t (y)| dy
Rn

Z
|f (x y) f (x)| |t (y)| dy +

=
|y|<

|f (x y) f (x)| |t (y)| dy

|y|

Z
kk1 + 2 kf k

|t (y)| dy < C

|y|

pues:
Z

Z
|t (y)| dy =

(z)dz
|z|>/t

|y|

|y|

1  y 
t ( ) dy =
tn
t

y esta ltima integral tiende a cero cuando t 0.

2. Por la desigualdad integral de Minkowski,
Z

wp (y) |t (y)| dy

kf ( y) f ()kp |t (y)| dy =

kf t f kp

Rn

Rn

donde wp (z) := kf ( y) f ()kp . Pero wp (tz) 0 cuando t 0 y podemos aplicar Teorema

de convergencia Dominada pues kwp k 2 kf kp y L1 (Rn ).


Teorema 1.9. Si f (Lp (Rn ) L1 (Rn )) y g L1 (Rn ) es tal que gb = 1, entonces Ag,t f
Rn
cuanto t 0 en Lp para todo 1 p < .
Adems, si p = y f es continua en x, entonces Ag,t f (x) f (x).
R

Demostracin. Vimos en la observacin (1.7) que Agt f = f t donde gb(x) = (x). Por lo tanto,
el resultado se deduce del Lema anterior.

Teorema 1.10.

1. Si 1 p < y f L1 Lp , entonces
f (x) = limt0

2
fb()et|| e2ix d

Rn

en Lp

2. Si p = y f es continua en x, entonces
f (x) = limt0

R
Rn

Departamento de Matemtica - UNLP

2
fb()et|| e2ix d

puntualmente
Hoja 7 de 36

Anlisis Funcional

Trabajo Final

3. En consecuencia, volviendo al caso general, si g es continua en el origen,

Z
g(0) = limt0

gb()et|| d

Rn

y si gb L1 (R), podemos aplicar Teorema de convergencia Dominada y resulta

Z
g(0) =

gb()d
Rn

Teorema 1.11. (de Inversin). Si f

L1 (Rn ) y fb L1 (Rn ),
Z
f (x) = fb()e2ix d

entonces

Rn
t0
Demostracin. Considero g(x) = e|x| , como g es continua g(t)
g(0).
2

Por Teorema anterior,

Z
f (x) = limt0

2
fb()et|| e2ix d en L1 (Rn )

Rn

Por hipotesis, fb() L1 (Rn ) entonces


 

b
b 
t||2 2ix 
f
()e
e

f
()

 
 L1 (Rn )

estamos bajo las condiciones del Teorema de Convergencia Dominada, entonces

Z
f (x) =

fb()e2ix d.

Rn

Denicin 1.12. Denimos la antitransformada de Fourier como

Z

f(x) =

f ()e2ix d

Rn

1.3.

La transformada de Fourier en

Teorema 1.13. Si f

(L1 (Rn ) L2 (Rn )),

L2 (Rn )

entonces fb L2 (Rn ) y fb = kf k2 .
2

Demostracin. Sea g(x) = f (x).

Por hiptesis f L1 (Rn ), podemos transformar Fourier a f y como f (x) = g(x) tambin
podemos transformar Fourier a g :
Departamento de Matemtica - UNLP

Hoja 8 de 36

La Transformada de Fourier

Trabajo Final

gb = fb = fb

Si llamamos h a la convolucin de las funciones f y g , tenemos que

 2
 
b
h = f[
g = fbgb = fbfb = fb .

Como f L1 (Rn ) y g L1 (Rn ) entonces h L1 (Rn )

Veamos que h = f g es acotada:


Z
 Z



|h(x)| = |(f g)(x)| =  f (x y)g(y)dy  |f (x y)g(y)| dy = kf gk1 kf k2 kgk2
n

n
R

Veamos ahora que h es continua:



Z

Z


|h(x0 + k) h(x0 )| =  f (x0 + k y)g(y)dy f (x0 y)g(y)dy 
n

n
R



Z
 Z



=  (f (x0 + k y) f (x0 y)) g(y)dy  |f (x0 + k y) f (x0 y)| |g(y)| dy
n

n
R

k0

kf (x0 + k ) f (x0 )k2 kgk2 0

Luego, como h L1 (Rn ) y h es continua en el orgen,

Z

2
b
h()et|| e2ix d

h(x) = limt0
Rn

entonces
Z
h(0) = limt0

2
b
h()et|| d

Rn

 
Adems se cumple que bh 0, pues fb 0, con lo que podemos aplicar el Lema de Fatou:
Z
Z
t||2
b
b
h limt0 h()e
d = b
h()d
Rn

Rn

Luego bh L1 (Rn ). Aplicamos Teorema de Inversin:

Z
h(x) =

b
h()e2ix d

Rn

por lo tanto
Departamento de Matemtica - UNLP

Hoja 9 de 36

Anlisis Funcional

Trabajo Final

Z
h(0) =

b
h()d =
Rn

Z 

2
 b 2

f () d = fb

(1)

Rn

Por otro lado,

Z
h(0) = (f g)(0) =

Z
f (y)f (y)dy =

f (y)g(y)dy =
Rn

|f (y)|2 dy = kf k22

(2)

Rn

Rn

Por (1) y (2) obtenemos que
fb = kf k2 y fb L2 (Rn ).
2

2.

Introduccin a la teoria de distribuciones

La teoria de distribuciones surge de la existencia de funciones no diferenciables.

Desde el comienzo del clculo diferencial se intuye la necesidad de extender estas nociones de
modo que las operaciones fundamentales del anlisis se puedan realizar siempre y sin hiptesis complicadas de validez.
Se trata de obtener una nocin generalizada de diferenciacin que permita derivar funciones (en
principio) que no lo son en sentido ordinario y poder aplicar el clculo en su forma original.
El otro antecedente principal del origen de las distribuciones est relacionado con el anterior,
aunque tiene unas races ms proximas: se trata de las funciones generalizadas que fueron apareciendo cada vez con mas frecuencia en diversas reas del anlisis, ligadas a las ecuaciones diferenciales o
a los distintos clculos operacionales que fueron surgiendo (transformada de Fourier, transformada
de Laplace).
2.1.

Conceptos previos

Sea X un espacio vectorial sobre K (con K = R o C)

Denicin 2.1. Un espacio vectorial topolgico (EVT) es un espacio topolgico (X , ) en el

que X es un K-espacio vectorial, y la topologa es de Hausdor y cumple que las operaciones
vectoriales
X X 3 (x, y) 7 x + y X
K X 3 ( ,

x)

son continuas, cuando en X X y en K X se usan las topologas producto.

Observar que Tx : X X dada por Tx (y) = x + y es un homeomorsmo, con lo cual podemos
calcular los entornos de x X como
O (x)=x + O (0):={x + U = Tx (U ) : U O (0)}

Departamento de Matemtica - UNLP

.
Hoja 10 de 36

La Transformada de Fourier

Trabajo Final

Denicin 2.2. Una funcin p : X R es una seminorma si dados x, y X y K, se cumple

que
1. p(x) 0
2. p(x) = || p(x)
3. p(x + y) p(x) + p(y)

Denicin 2.3. Sea X un K espacio vectorial.

1. Una familia F de seminormas de X se llama separadora si para cada par de puntos x 6= y
existe p F tal que p(x y) 6= 0. Entonces la familia de funciones dz,p : X R+ , con
dz,p (x) = p(x z), separa puntos de X .
2. Llamaremos (X, F) a la menor topologa sobre X que hace a las funciones dz,p continuas.

Proposicin 2.4. Sea X un K-espacio vectorial, y sea (X, F) la topologa inducida por una familia
de seminormas F que separa puntos de X . Dada una red x = (xi )iI en X , se tiene que
xi

converge a x X con (X, F) si y slo si p(xi x) converge a 0 en R, para toda p F .

Denicin 2.5. Sea X un K-espacio vectorial

1. Un conjunto C X se dice convexo si tC + (1 t)C C para todo 0 t 1.
2. Un conjunto B X se dice balanceado si B B para todo K con || 1.
3. Un conjunto E X es acotado si a cada entorno del 0 en X, le corresponde un s > 0 tal
que E tV para cada t > s.

Denicin 2.6. Sea X un EVT:

1. X es localmente convexo si cada punto tiene una base de entornos que consiste de abiertos
convexos.
2. X es localmente compacto si cada punto tiene un entorno cuya clausura es compacta.
3. X es metrizable si es compatible con una mtrica d.
4. X es un F -espacio si su topologa es inducida por una mtrica completa e invariante por
traslaciones.
5. X es un espacio de Frchet si es localmente convexo y un F -espacio.

Teorema 2.7. Si X es un espacio vectorial topolgico que satisface el primer axioma de numerabilidad, es decir todo punto tiene una base de entornos numerable. Entonces existe una mtrica d
en X que es compatible con la topologa de X e invariante por traslaciones.
Departamento de Matemtica - UNLP

Hoja 11 de 36

Anlisis Funcional

Trabajo Final

Demostracin. Consideremos el 0, por la observacin anterior existe {Vn } una base del 0 tal que
Vn+1 + Vn+2 + Vn+3 + Vn+4 Vn

n = 1, 2, . . .

Sea D el conjunto de todos los racionales r de la forma

r=

cn (r)2n

n=1

donde cada ci (r) es 0 o 1 y slo para nitos valores es 1. Estos es, cada r D satisface 0 r 1.
Sea A(r) = X si r 1; para cualquier r D, denimos
A(r) = c1 (r)V1 + c2 (r)V2 +

Notar que en realidad esta suma es nita. Denimos

f (x) = nf {r : x A(r)}

xX y

(3)

d(x, y) = f (x y)

Para ver que d satisface las condiciones deseadas veamos la siguiente propiedad
A(r) + A(s) A(r + s)

(4)

(x X, y X).

Asumamos que vale (4) y luego lo probamos.

Como cada A(s) contiene al 0, por (4) se tiene que
A(r) A(r) + A(t r) A(t)

(5)

(si r < t.)

Esto es {A(r)} esta totalmente ordenado por la inclusin de conjuntos. Veamos que
f (x + y) f (x) + f (y)

(6)

(x X, y X)

Podemos asumir que el lado derecho de la desigualdad es < 1. Fijemos  > 0. Existen r y s en

D tal que

f (x) < r, f (y) < s y r + s < f (x) + f (y) + .

Esto es x A(r), y A(s), y (4) implica que x + y A(r + s). Ahora se tiene que,
f (x + y) r + s < f (x) + f (y) + 

como  es arbitrario se tiene que vale (6).

Como cada A(r) es balanceado (cada Vi lo es) f (x) = f (x) (x A(r) x A(r)). Es claro
que f (0) = 0. Si x 6= 0 luego x
/ Vn = A(2n ) para algn n y entonces f (x) 2n > 0.
Con estas propiedades hemos probado que (3) dene una mtrica invariante por traslaciones en
X . Las bolas abiertas centradas en 0 son los conjuntos abiertos
B (0) = {x : f (x) < } =

A(r).

r<

Departamento de Matemtica - UNLP

Hoja 12 de 36

La Transformada de Fourier

Trabajo Final

Si < 2n , luego B (0) Vn . Luego {B (0)} es una base de entornos del 0 para la topologa
de X. Con esto probamos que d es compatible con la topologa de X .
Para completar la prueba nos queda ver que vale (4). Si r + s 1, luego A(r + s) = X y se
cumple trivialmente (4). Ahora supongamos que r + s < 1, usaremos la siguiente proposicin:

Si r, s y r + s estn en D y cn (r) + cn (s) 6= cn (r + s) para algn n luego en el menor n para el

cual eso ocurre tenemos que cn (r) = cn (s) = 0 y cn (r + s) = 1.

Sea n = cn (r), n = cn (s), n = cn (r + s). Si n + n = n para todo n luego por(5)

A(r) + A(s) = A(r + s). Ahora si esto no pasa, sea N el menor el ndice para el cual N + N 6= N .
Luego por la proposicin que citamos tenemos que N = N = 0 y N = 1. Luego
A(r) 1 V1 + + N 1 VN 1 + VN +1 + VN +2 +
1 V1 + + N 1 VN 1 + VN +1 + VN +1 .

donde estas contenciones valen por como se eligi la base {Vn }.

De manera similar,
A(s) 1 V1 + + N 1 VN 1 + VN +1 + VN +1 .

Como n + n = n para todo n < N tenemos entonces que

A(r) + A(s) 1 V1 + + N 1 VN 1 + VN A(r + s)

pues N = 1.


Denicin 2.8. Supongamos que X e Y son espacios vectoriales topolgicos y : X Y es lineal,

se dice acotado si (E) es acotado si E es acotado.
Teorema 2.9. Sea un funcional lineal en un espacio vectorial topolgico
x 6= 0 para algn x X . Luego son equivalentes:

X.

Supongamos que

1. es continuo.
2. El ncleo N () es cerrado.
3. N () no es denso en X .
4. es acotado en algn entorno V de 0.
2.2.

Los espacios

C ()

DK

Empezaremos esta seccin con algo de notacin y terminologa que se usar en el desarrollo de
la teora distribucional.
i .

El trmino multi-ndice denota una n-upla = (1 , 2 , , n ) de nmeros enteros no negativos

A cada multi-ndice se le asocia un operador diferencial

Departamento de Matemtica - UNLP

Hoja 13 de 36

Anlisis Funcional

Trabajo Final

D =

x1

1

xn

n

cuyo orden es || = 1 + + n .
Si || = 0, D f = f .

Denicin 2.10. Una funcin compleja f denida en un conjunto abierto no vaco

pertenece a C () si D f C() para cada multi-ndice .

Rn

Denicin 2.11. El soporte de una funcin f (denida en un espacio topolgico cualquiera) es la

clausura de {x : f (x) 6= 0}.
Denicin 2.12. Si K es un subconjunto compacto de Rn ,
funciones f C (Rn ) cuyo soporte est contenido en K .

DK

denota el espacio de todas las

Deniremos una topologa en C (), que hace a este espacio un espacio de Frchet y adems
es tal que DK es un subespacio cerrado de C () para K .
S
o
Para esto, elegimos compactos Ki (i = 1, 2, 3, . . .) tal que Ki Ki+1
y=
Ki (por
i=1,2,...

ejemplo pueden tomarse Ki = Bi (x) , x , son compactos relativos a y cumplen lo pedido).

Denimos las seminormas pN en C (), N = 1, 2, 3, . . ., de la siguiente forma
pN (f ) = m
ax {|D f (x)| : x KN , || N } .

Esta es una familia de seminormas separadora, pues si f 6= g entonces f g 6= 0, luego existe

multi-ndice tal que D (f g) 6= 0, tomando N = || obtenemos que pN (f g) 6= 0. Por la
denicin (2.3) y el Teorema (2.7) estas seminormas denen una topologa en C () que hace de

este espacio un espacio vectorial topolgico localmente convexo y metrizable.

Sea x , el funcional f 7 f (x) es continuo con esta topologa, pues si fi es una red en C ()
que converge a f . Por la Proposicin (2.4) pN (fi f ) 0 para N = 1, 2, . . ., esto nos dice en
particular que (fi f )(x) 0 o sea fi (x) converge a f (x). Es claro que DK es la interseccin de los
espacios nulos de estos funcionales con x variando en el complemento de K . Luego por el Teorema
(2.9) tenemos que DK es cerrado en C ().
Una base de entornos del 0 es
VN = {f C () : pN (f ) < 1/N } N = 1, 2, . . .

Si {fi } es una sucesin de Cauchy en C () y N es jo, luego fi fj VN si i, j son sucientemente grandes. Esto es |D fi D fj | < 1/N en KN , si || N . Si cada D fi converge
(uniformemente sobre subconjuntos compactos de ) a una funcin g . En particular fi (x) g0 (x).
Luego g0 C () y g = D g0 , entonces fi g0 en la topologa de C () .
Por lo tanto C () es un espacio de Frchet y entonces lo mismo vale para cada DK (por ser
subespacios cerrados).

Observacin 2.13.

DK es un espacio de Frchet.

Denicin 2.14. Sea Rn un conjunto abierto no vaco. Para cada compacto K , tenemos
el espacio de Frechet DK . La unin de estos espacios DK sobre todos los compactos K contenidos
en , es el espacio de funciones de prueba D().
Departamento de Matemtica - UNLP

Hoja 14 de 36

La Transformada de Fourier

Trabajo Final

Denicin 2.15. Sea Rn abierto no vaco.

1. para cada compacto K , K denota la topologa en DK dada por las seminormas pN .
2. es la coleccin de todos los conjuntos W D() convexos, balanceados, tales que DK W
K para cada compacto K .
3. es la coleccin de uniones de conjuntos de la forma + W con D() y W .
Los siguientes Teoremas arman que es una topologa y las propiedades que cumple.

Teorema 2.16. Valen que

1. es una topologa en D() y es una base del 0 para .
2. hace a D() un espacio vectorial topolgico localmente convexo.

Teorema 2.17. Valen que

1. Un conjunto convexo y balanceado de D() es abierto si y solo si V .
2. La topologa K de cualquier DK D() coincide con la topologa de relativa a DK .
3. Si E es un subconjunto acotado de D() entonces E DK para algn K y existen
nmeros MN < tales que para cada E se satisfacen las siguientes igualdades:
kkN MN para N = 0, 1, 2,

4. Si {i } es una sucesin de Cauchy en D() entonces {i } DK para algn K y

limi,j ki j kN = 0 para N = 0, 1, 2,

5. Si i 0 en la topologa de D(), existe un compacto K que contiene al soporte de cada

i
i y D i 0 uniformemente, para cada mult-ndice .
6. En D() cada sucesin de Cauchy, converge.

Teorema 2.18. Supongamos que

convexo Y. Son equivalentes:

es una aplicacin lineal de D() es un espacio localmente

1. es contnua.
2. es acotada.
3. Si i 0 en D() entonces i 0 en Y.
4. Las restricciones de a cada DK D() son contnuas.

Corolario 2.19. Cada operador diferencial D es contnuo de D() en D().

Denicin 2.20. Un funcional lineal en D() contnuo con respecto a se llama una distribucin.
Denicin 2.21. El espacio de todas las distribuciones en se denota D0 ().
Departamento de Matemtica - UNLP

Hoja 15 de 36

Anlisis Funcional

Trabajo Final

Teorema 2.22. Si es un funcional lineal en D(), las siguientes condiciones son equivalentes:
1. D0 ().
2. A cada compacto K le corresponde un nmero entero no negativo N y una constante
C < tal que:
|| C kkN

para cada DK .
2.3.

Convoluciones

Denicin 2.23. Si u es una funcin en Rn y x Rn , denimos:

(x u)(y) = u(y x) y u
(y) = u(y) para y Rn

Notar que:
(x u
)(y) = u
(y x) = u(x y).

Por esto, si u y v son funciones complejas en Rn , podemos denir la convolucin de u y v como:

Z
(u v)(x) =

u(y)(x v)(y)dy
Rn

Esto hace que sea natural denir

con u D0 (Rn ), D(Rn ), x Rn
(u )(x) = u(x )

La relacin
Z

Z
(x u).v =

u.(x v)

vlida para funciones u y v , hace que sea natural denir la traslacin x u para u D0 como:
(x u)() = u(x ) para D, x Rn

Teorema 2.24. Supongamos u D0 , D y D. Entonces,

1. x (u ) = (x u) = u (x ) para toda x Rn
2. u C y
D (u ) = (D u) = u (D )

para todo multi-ndice

3. u ( ) = (u )
Departamento de Matemtica - UNLP

Hoja 16 de 36

La Transformada de Fourier

Trabajo Final

Demostracin. Probaremos 1. y 2. porque lo necesitaremos en la seccin siguiente:

Para todo y Rn ,

(x (u ))(y) = (u )(y x) = u(yx )

= u(yx )

((x u) )(y) = (x u)(y )

(u (x ))(y) = u(y (x)) = u(yx )

Se usaron las relaciones:

y x = yx
(x) = x

nos d 1.
Si aplicamos u a ambos lados de la identidad

x (D ) = (1)|| D (x )

obtenemos que:
(u (D ))(x) = ((D u) )(x).

Para probar el resto de 2. sea e un vector unitario de Rn y ponemos

r = r1 (0 re ) (r > 0).

Por lo visto en (2.24)

(7)

r (u ) = u (r )

si r 0, r De en n , donde De denota la derivada direccional en la direccin e.

Por lo tanto,
x ((r)) x (De ) en n

para cada x Rn tal que

limr0 (u (r ))(x) = (u (De ))(x)

(8)

Por (7) y (8) obtenemos que

De (u ) = u (De )

y la iteracin de la ltima igualdad nos d 2.



Departamento de Matemtica - UNLP

Hoja 17 de 36

Anlisis Funcional
3.

Trabajo Final

Distribuciones y la transformada de Fourier

3.1.

La medida de Lebesgue normalizada y la transformada de Fourier

Denicin 3.1. La medida normalizada de Lebesgue en Rn , es la medida mn denida por:

n

dmn (x) = (2)( 2 ) dx

Observacin 3.2. El espacio de Lebesgue Lp , o Lp (Rn ), ser normado mediante mn :

kf kp =

|f |p dmn

(1 p < )

Rn

Observacin 3.3. Dadas

1
p

f, g Rn , es conveniente redenir su

medida de Lebesgue, como:

convolucin en trminos de la

Z
(f g)(x) =

f (x y)g(y)dmn (y)
Rn

cuando existe la integral.

Denicin 3.4. Para cada t Rn , la caracteristica et es la funcin denida como:

et (x) = eitx = ei(t1 x1 ++tn xn ) (x Rn )

Observacin 3.5. Cada et satisface la ecuacin:

et (x + y) = et (x)et (y)

Observacin 3.6. Dada una funcin f

L1 (Rn ), vamos a redenir la Transformada

en trminos de la medida de Lebesgue, como:

Z
fb(t) =

de Fourier

f et dmn (t Rn )

Rn

Notar que
fb(t) = (f et )(0)

Observacin 3.7. Si es un multindice, entonces

D = (i)|| D =

1
i x1

1

1
i xn

 n

Denicin 3.8. Denimos el operador traslacin como:

(x f )(y) = f (y x)

Teorema 3.9. Si f, g L1 (Rn ), x Rn , entonces

Departamento de Matemtica - UNLP

Hoja 18 de 36

La Transformada de Fourier

Trabajo Final

b
1. d
x f = ex f
b
2. ed
x f = x f
\
3. (f
g) = fbgb

4. Si > 0 y h(x) = f (x/), entonces bh(t) = n fb(t)

Demostracin.

1. Por las deniciones del operador traslacin x y de la caracteristica et , tenemos

que:

Z
d
x f (t) =

Z
(x f ) et =

Z
f x ex =

f et (x)et = ex (t)fb(t)

2. Por la misma razn, tenemos que:

Z

Z
ed
x f (t) =

ex f et =

f e(tx) = (x fb)(t)

3. sale aplicando el Teorema de Fubini.

4. sale haciendo un cambio de variables en la denicin de fb.


Denicin 3.10. Sea f

C (Rn )

tal que

sup||N supxRn (1 + |x|2 )N |(D f )(x)| <

n .

(9)

para N = 0, 1, 2,
Las funciones que cumplen esto se denominan de rpido decrecimiento y lo denotaremos por

En otras palabras, se requiere que P D f sea una funcin acotada en Rn para todo polinomio
P y para todo multi-ndice .

Observacin 3.11.

n forman un espacio vectorial, en la que la coleccin numerable de normas

(9), dene localmente una topologa convexa y es invariante por traslaciones.

Teorema 3.12.

1. n es un espacio de Frchet.

2. Si P es un polinomio, g n y es un multindice, entonces cada una de las siguientes

asignaciones:
f Pf
f gf
f D f

es una aplicacin lineal continua, de n a n .

3. Si f n y P es un polinomio, entonces:
Departamento de Matemtica - UNLP

Hoja 19 de 36

Anlisis Funcional

Trabajo Final

P\
(D)f = P fb
Pcf = P (D)fb

4. La transformada de Fourier es una aplicacin lineal continua, de n a n .

Observacin 3.13. Para la demostracin, necesitaremos la Frmula de Leibnitz:

Si f, g C () entonces
D (f g) =




c D f D g

Demostracin.
1. Que n es localmente convexo e invariante por traslaciones, se deduce de la observacin (3.11).
Veamos ahora que n es un espacio completo, para eso, tomemos {fi } una sucesin en n . Para
todo par de multi-ndices y , las funciones x D fi (x) convergen uniformemente a una funcin
acotada g si i .
Se sigue que g (x) = x D g00 (x) y por lo tanto, fi g00 pues si = = 0, entonces
x D fi = x0 D0 fi = fi .
Con esto, n es completo.
2. Si f n entonces D f n .
Por frmula de Leibnitz,
D (P f ) =




c D P D f

y
D (gf ) =




c D g D f

entonces P f y gf n . La continuidad es consecuencia del Teorema del Grco Cerrado.

3. Si f n , por lo visto en 2. P f n tambin. Como
(P (D)f ) et = f P (D)et = f P (t)et = P (t) [f et ]

evaluamos estas funciones en el origen de Rn y obtenemos

(P\
(D)f )(t) = P (t)fb(t)

Si t = (t1 , , tn ) y t0 = (t1 + , t2 , , tn ),  6= 0 entonces:

Z
fb(t0 ) fb(t)
eix1  1 ixt
= x1 f (x)
e
dmn (t)
i
ix1 
Rn

aplicamos Teorema de Convergencia Dominada, x1 f L1 y

Departamento de Matemtica - UNLP

Hoja 20 de 36

La Transformada de Fourier

Trabajo Final

1 b
f=
i t1

x1 f (x)eixt dmn (t).

Rn

ste es el caso P (x) = x1 , el caso general es por iteracin.

4. Supongamos que f n y que g(x) = (1)|| x f (x) entonces g n .
Por 3. gb = D fb y P D fb = P gb = (P\
(D)g), que es una funcin acotada, P (D)g L1 (Rn ), esto
b
prueba que f n .
Si fi f en n entonces fi f en L1 (Rn ). Mas an, fbi (t) fb(t) para todo t Rn . La continuidad
de f fb de n en n se sigue del Teorema del Grco Cerrado.


Lema 3.14. Si n est denida en Rn como:

1

n (x) = e 2 |x|

entonces n n , bn = n y
Z
n (0) =

bn dmn
Rn

Demostracin. Claramente, n n y 1 satisface la ecuacin diferencial

(10)

y 0 + xy = 0

y aplicando la parte c) del Teorema (3.12) armamos que b1 satisface (10) y por lo tanto, b1 /1
es constante.
Como 1 (0) = 1 y
Z
b1 (0) =

1/2

1 dm1 = (2)
R

e(1/2)x dx = 1

concluimos que 1 = 1 .
Luego,
n (x) = 1 (x1 ) 1 (xn ) (x Rn )

Con lo cual,
bn (t) = b1 (t1 ) b1 (tn ) (t Rn )
R
esto muestra que bn = n para todo n. Como bn (0) = n dmn por denicin y por lo visto

recin, obtenemos lo querido.

Departamento de Matemtica - UNLP

Hoja 21 de 36

Anlisis Funcional
3.2.

Trabajo Final

El Teorema de Inversin

Teorema 3.15. (de Inversin)

1. Si g n , entonces
Z

(11)

gbex dmn (x Rn )

g(x) =
Rn

2. La transformada de Fourier es una aplicacin lineal, continua, biyectiva, de n a n , de perodo

4, con inversa tambin continua.
3. Si f L1 (Rn ), fb L1 (Rn ) y

Z
f0 (x) =

fbex dmn
Rn

entonces f (x) = f0 (x) c.t.p.

Demostracin. Si f, g L1 (Rn ), podemos aplicarle el Teorema de Fubini a la integral doble:
Z

Rn

f (x)g(y)eixy dmn (x)dmn (y)

Rn

para obtener la igualdad:

Z Z

Z Z
fbgdmn =

Rn Rn

(12)

f gbdmn
Rn Rn

Para probar la primer parte, tomemos g n , n , f (x) = (x/), donde > 0.

Por el Teorema (3.9), la ecuacin (12) queda:
Z

b
g(t)n (t)dm
n (t) =

y

gb(y)dmn (y)

Rn

Rn

o, haciendo un cambio de variables,

Z
g

 
Z  
t b
t
(t)dmn (t) =
gb(t)dmn (y)

Rn

(13)

Rn

si , g g(0) y (0), de manera que podemos aplicar el Teorema de

Convergencia Dominada a las dos integrales de (13). El resultado es:
y

t

Z
g(0)

gbdmn (g, n )

b n = (0)
dm

Rn

(14)

Rn

si pensamos a como la funcin n del Lema (3.14), la ecuacin (14) d el caso x = 0 de la

frmula de inversin (11). El caso general se sigue mediante el Teorema (3.9),
Z
g(x) = (x g)) (0) =

[
x gdmn =
Rn

Departamento de Matemtica - UNLP

Z
gbex dmn .
Rn

Hoja 22 de 36

La Transformada de Fourier

Trabajo Final

Esto completa la demostracin de la primera parte del Teorema.

Para probar 2. introducimos la notacin g = gb.
La frmula de inversin (11) muestra que es biyectiva en n , ya que gb = 0 implica que g = 0.
Tambin:
2 g = g

Recordemos que g(x) = g(x). Luego, 4 g = g . Se sigue que : n n .

La continuidad de la la probamos en el Teorema (3.12). Para probar la continuidad de 1 ,
usamos que 1 = 3 .
Para probar 3. usamos la igualdad (12) con g n . Introducimos la frmula de inversin (11)
en (12) y usamos el Teorema de Fubini, para obtener
Z

(15)

f gbdmn (g n )

f0 gbdmn =
Rn

Rn

por 2. las funciones gb cubren todo n . Como D(R) n , la igualdad (15) implica que:
Z
(f0 f )dmn = 0
Rn

para toda
f0 f = 0 ctp.

D(Rn ),

por lo tanto, para toda continua con soporte compacto. Resulta que


Teorema 3.16. Si f

y g n , entonces:

1. f g n
2. fcg = fb gb
Demostracin. Por la parte 3. del Teorema (3.9),
f[
g = fbgb

o, en la notacin del Teorema anterior,

(f g) = f g

(16)

con fb y gb en lugar de f y g , la ecuacin (16) queda:

(fb gb) = 2 f 2 g = fg = (fg) = 2 (f g)

(17)

Ahora aplicamos 1 a ambos lados de la ecuacin (17), para obtener 2.

Notar que f g n ; por lo tanto 2. implica que fb gb n y esto d 1. donde la transformada de
Fourier v de n a n .


Departamento de Matemtica - UNLP

Hoja 23 de 36

Anlisis Funcional
3.3.

Trabajo Final

El Teorema de Plancherel

Teorema 3.17. (de Plancherel) Hay una isometria lineal : L2 (Rn ) L2 (Rn ), que est univocamente determinada por:
f = fb para todaf n

Observacin 3.18. La igualdad

f = fb se extiende de n a L1 L2 , donde n es denso en

L2 , as como en L1 . El dominio de es L2 , ya denimos fb para toda f L1 y la igualdad
f = fb siempre que ambas estn denidas. Por lo tanto, extiende la transformada de Fourier de L1 L2 a L2 . Esta extensin de llama transformada de Fourier (a veces se le dice
transformada de Fourier-Plancherel), y la notacin fb se sigue utilizando, en lugar de f , para
cualquier f L2 (Rn ).

Demostracin. Si f y g n , por Teorema de inversin,

Z

Z
fg =

Rn

Z
g(x)dmn (x)

Rn

fb(t)eixt dmn (t) =

Rn

Z
fb(t)dmn (t)

Rn

g(x)eixt dmn (x)

Rn

La ltima integral es la conjugada compleja de gb(t). De este modo, obtenemos la frmula de Parseval:
Z

(18)

fbgbdmn (f, g n )

f gdmn =
Rn

Rn

Si g = f , la ecuacin (18) es:

kf k2 = fb

(19)

(f n )

Notar que n es denso en L2 (Rn ) por la misma razn que n es denso en L1 (Rn ). La igualdad
(19) muestra que f fb es una isometra en el subespacio denso n de L2 (Rn ) en n . Siguiendo,
f fb es la unica extensin continua : L2 (Rn ) L2 (Rn ) y esta es una isometria lineal en
L2 (Rn ).


Observacin 3.19. La frmula de Parseval (18) vale para cualesquiera f, g L2 (Rn ).

Observacin 3.20. Que la transformada de Fourier es una L2 -isometria, es uno de los resultados
mas importantes de ste trabajo.
3.4.

Distribuciones Temperadas

Teorema 3.21. (de la relacin entre n y D(Rn ))

1. D(Rn ) es denso en n
2. La aplicacion identidad de D(Rn ) en n , es continua.

Observacin 3.22. Consideraremos la topologa usual de D(Rn ) y n , que denimos en la seccin

anterior y en la denicin (3.10)

Departamento de Matemtica - UNLP

Hoja 24 de 36

La Transformada de Fourier

Trabajo Final

Demostracin. Tomemos f n , D(Rn ) tal que = 1 sobre la bola unitaria de Rn y pongamos

fr (x) = f (x)(rx) (x Rn , r > 0)

entonces fr D(Rn ).
Si P es un polinomio y es un multi-ndice, entonces
P (x)D (f fr )(x) = P (x)

c (D f )(x)r|| D [1 ](rx)

Nuestra eleccin de muestra que D [1](rx) = 0 para todo multi-ndice cuando |x| 1/r.
Como f n , tenemos que P.D f C0 (Rn ) para todo .
Se sigue que la suma anterior tiende a 0 uniformemente en Rn cuando r 0. As, fr f en n
y queda demostrada la primer parte del Teorema.
Probemos ahora la segunda parte del Teorema:
Si K es un conjunto compacto en Rn , la topologa inducida en DK por n ...


Denicin 3.23. Si
en n y si

i : D(Rn ) n

es la aplicacin identidad, L es un funcional lineal continuo

uL = L i

(20)

entonces la continuidad de i dada por el Teorema anterior, muestra que uL D0 (Rn ). Dados
L1 y L2 dos funcionales lineales distintos en n , por la densidad de D(Rn ) en n , no pueden dar la
misma u.
La ecuacin (20) describe un isomorsmo de espacios vectoriales entre n0 y n por un lado, y
un cierto espacio de distribuciones por otro.
La distribucin que surge se denomina temperada.
Las distribuciones temperadas son precisamente aquellas u D0 (Rn ) que tienen extensin continua
a n .
En vista de las observaciones realizadas anteriormente, es usual identicar uL con L. Las distribuciones temperadas en Rn son, entonces, los miembros de n0 .

Ejemplo 3.24. Toda distribucin con soporte compacto, es temperada.

Ejemplo 3.25. Si es una medida de Borel positiva en Rn tal que
Z

(1 + |x|2 )k d(x) <

Rn

para algn entero positivo k, entonces es una distribucin temperada.

Departamento de Matemtica - UNLP

Hoja 25 de 36

Anlisis Funcional

Trabajo Final

Teorema 3.26. Si es un multindice, P es un polinomio, g n y u es una distribucin temperada,

entonces las distribuciones:
1. D u
2. Pu
3. gu
tambin son temperadas.
Demostracin. Por Teorema (3.12) y las deniciones, tenemos que:
1. (D u)(f ) = (1)|| u(D f )
2. (P u)(f ) = u(P f )
3. (gu)(f ) = u(gf )
Luego, como u es temperada, 1. 2. y 3. tambin lo son.


Denicin 3.27. Para u n0 denimos:

b ( n )
u
b() = u()

donde b es una aplicacin continua de n en n , y como u es continua en n , se deduce que

u
b n0 .

Observacin 3.28. Hemos asociado a cada distribucin temperada u, su transformada de Fourier

u
b, que es tambin una distribucin temperada.

Teorema 3.29. 1. La transformada de Fourier es una aplicacin continua, lineal, biyectiva, de

n0 en n0 , de perodo 4, con inversa tambin continua.
2. Si u n0 y P es un polinomio, entonces
(P\
(D)u) = P u
b
Pcu = P (D)b
u

Demostracin. Veamos 1.
Sea W un entorno del 0 en n0 , existen funciones 1 , , k n tales que:


u n0 : |u(i )| < 1 para 1 i k W.

Denimos:
n
V = u n0

  
o


: u bi  < 1 para 1 i k

entonces V es un entorno del 0 en n0 , donde

Departamento de Matemtica - UNLP

Hoja 26 de 36

La Transformada de Fourier

Trabajo Final

(21)

b ( n , u 0 )
u
b() = u()
n

Observemos que si u V , entonces ub W . Esto prueba la continuidad de , donde u = ub.

tiene periodo 4 en n , la igualdad (21) muestra que tiene periodo 4 en n0 , esto es que
= u para toda u n0 , por lo tanto, es biyectiva y 1 = 3 es continua.

4 u

Para ver 2. usaremos el teorema anterior:

 


 
(P\
(D) u) () = (P (D) u) b = u P (D) b = u Pc = u
b (P ) = (P u
b) ()

 
   

(D) ) = u P b = (P u) b = Pcu ()
(P (D) u
b) () = u
b (P (D) ) = u (P\

donde n arbitraria.


El siguiente lema se utilizara para la demostracin del prximo Teorema:

Lema 3.30. Si w = (1, 0, , 0) Rn , n y

 (x) =
0
entonces 

x1

, en la topologa de n .

Demostracin. Para ver que  0

de 

x1

(x + w) (x)
(x Rn ),  > 0,


x1

en la topologa de n , veamos que la transformada de Fourier

tiende a 0 en n , esto es:

0
 b 0 en n

(22)

donde
 (y) =

eiy1 1
iy1 (y Rn ,  > 0)


Si P es un polinomio y es un multi-ndice, entonces

b =
P.D ( )

b
c P.(D ).(D
 )

(23)

Realizando un clculo simple tenemos que

2
y1
si || = 0



D  (y)
 |y1 | si || = 1

||1

si || > 1

El lado izquierdo de (23) tiende a 0, uniformemente en Rn , si  0. La denicin de topologa

en n muestra que se cumple (22).


Departamento de Matemtica - UNLP

Hoja 27 de 36

Anlisis Funcional

Trabajo Final

Denicin 3.31. Si u n0 y n , entonces:

(u ) (x) = u x (x Rn )

Observacin 3.32. La operacin * anterior est bien denida pues x n para todo x Rn .
Teorema 3.33. Si n y u es una distribucin temperada, entonces:
1. u C (Rn ) y
D (u ) = (D u) = u (D )

para todo multi-ndice.

2. u tiene una distribucin temperada.
bu
3. u[
= b

4. (u ) = u ( ) para toda n
c
5. ub b = u

Demostracin. 1. La igualdad D (u ) = u (D ) ha sido probada en el Teorema (2.24), pues

la convolucin conmuta con traslaciones. Esto tambin muestra que



w 0



(u ) = u

w 0



.

El Lema (3.30) nos d que D (u ) = u (D ) si = (1, 0, , 0). Iterando este caso particular, obtenemos 1.
2. Sea pN (f ) denotando la norma (9) para f n . La desigualdad
1 + |x + y|2 2(1 + |x|2 )(1 + |y|2 ) para x, y Rn

muestra que
(24)

pN (x f ) 2N (1 + |x|2 )N pN (f ) para x Rn , f n .

Como u es un funcional lineal contnuo en n y las normas pN determinan una topologa de n ,

entonces existe un N y un C < tales que
(25)

|u(f )| CpN (f ) para f n .

Por (24) y (25),



 2N .CpN ()(1 + |x|2 )N ,
|(u )(x)| = u(x )

lo que demuestra 2.
3. u tiene una transformada de Fourier en n0 . Si D(Rn ) con soporte K entonces:
Departamento de Matemtica - UNLP

Hoja 28 de 36

La Transformada de Fourier

Trabajo Final

\
b = (u )()
=
(u
)()

Z
(u )(x)(x)dmn (x)
Rn



u (x)x dmn (x) = u

n (x)
(x)x dm

 


=u
b bb
u = u
b [


de manera que



 
b = b
bu ()
b
u[
()

(26)

4. En la ecuacin (26), los dos terminos son iguales para cualquier n . Por lo tanto,
= u
(u )()

o lo que es lo mismo,
(27)

((u ) ) (0) = (u ( )) (0).

Si reemplazamos por x en (27) obtenemos lo querido.

5. Finalmente,
[
u = u.

u
b b =
= u
c obtenemos 5.
Por 3. y por la igualdad u
c


3.5.

Teoremas de Paley-Wiener

Uno de los Teoremas clsicos de Paley y Wiener caracteriza a las funciones enteras de tipo
exponencial (de variable compleja), cuya restriccin al eje real est en L2 , como son las transformadas
de Fourier de funciones en L2 con soporte compacto. Daremos dos Teoremas anlogos, uno para
funciones en C con soporte compacto y otra para distribuciones con soporte compacto.

Denicin 3.34. Si es un conjunto abierto de Cn , y si f es una funcin continua compleja en

, se dice que f es holomorca en si lo es en cada variable separadamente. Esto es que, si
(a1 , , an ) y si
gi () = f (a1 , , ai1 , ai + , ai+1 , , an )

cada una de las funciones g1 , , gn son holomorcas es algn entorno del 0 en C.

Una funcin que es holomorca en todo Cn se llama entera.
Departamento de Matemtica - UNLP

Hoja 29 de 36

Anlisis Funcional

Trabajo Final

Un punto de Cn puede denotarse como z = (z1 , , zn ), donde zk C. Si zk = xk + iyk ,

x = (x1 , , xn ), y = (y1 , , yn ), entonces escribimos z = x + iy .
Los vectores x = Re(z) e y = Im(z) son las partes real e imaginaria de z respectivamente.
Vamos a pensar a Rn como el conjunto de todos los z Cn con Im(z) = 0.
Las notaciones:
|z| = (|z1 |2 + + |zn |2 )1/2
|Im(z)| = (y12 + + yn2 )1/2
z = z11 znn
z t = z1 t1 + + zn tn
ez (t) = eizt

pueden ser usadas para cualquier multi-indice y cualquier t Rn .

Lema 3.35. Si f es una funcin entera en Cn , que tiende a cero en Rn , entonces f = 0.

Demostracin. Lo probaremos por induccin sobre n.
Consideremos que el caso n = 1 es conocido.
Sea Pk con la siguiente propiedad de f : Si z Cn , tiene al menos k coordenadas reales, entonces
f (z) = 0. Pn est dado y P0 est probado. Asumimos que Pi es verdadero para 1 i n.
Tomemos a1 , , ai reales. La funcin gi de la denicin anterior es 0 en el eje real, luego es 0
para todo C. Se sigue que Pi1 es verdadero.


Denicin 3.36. Denimos rB como el conjunto {x Rn : |x| r}

Teorema 3.37.

1. Si D(Rn ) tiene soporte en rB y si

Z
f (z) =

(t)eizt dmn (t)

(28)

Rn

entonces f es entera y existen constantes N < tales que

|f (z)| N (1 + |z|)N er|Im(z)| (z Cn , N = 0, 1, 2, )

(29)

2. Inversamente, si una funcin f cumple la condicin (29), entonces existe D(Rn ), con
soporte rB tal que se cumple (28).
Departamento de Matemtica - UNLP

Hoja 30 de 36

La Transformada de Fourier

Trabajo Final

Demostracin. Veamos 1. Si t rB entonces

 iz.t 
 = ey.t e|y||t| er|Im(z)| .
e

El integrando de (28) L1 (Rn ) para todo z Cn y f est bien denida en Cn . Trivialmente, f

es continua y por teorema de Morera podemos armar que f es entera.
Integrando por partes obtenemos:
z f (z) =

(D )(t)eiz.t dmn (t).

Rn

Por lo tanto,
(30)

|z | |f (z)| kD k1 er|Im(z)|

y la desigualdad (29) se desprende de la desigualdad (30).

Veamos ahora 2. Supongamos que f es una funcin entera que satisface (29) y denimos
Z

f (x)eit.x dmn (x) con t Rn .

(t) =

(31)

Rn

Notemos primero que, por (29), (1 + |x|)N f (x) L1 (Rn ) para todo N . Luego, por Teorema
(3.12) parte 3. podemos armar que C (Rn ).
Ahora, armamos que la integral
Z

f ( + i, z2 , , zn )ei[t1 (+i)+t2 z2 ++tn zn ] d

(32)

es independiente de , para reales t1 , , tn y complejos z1 , , zn arbitrarios.

Veamos esta independencia:
Sea un camino rectangular en el plano ( + i), con un borde sobre el eje real, otro borde
sobre la recta = 1 y cuyos bordes se mueven fuera del innito.
Como es una regin simplemente conexa, por Teorema de Cauchy generalizado (resultado
visto en la materia Funciones Analticas), la integral (32) sobre es 0. Como f satisface (29), la
integral sobre el borde vertical tiende a 0. Se sigue que (32) es la misma para = 0 como para
= 1 . As demostramos la armacin.
Lo mismo se puede hacer para las otras coordenadas. Por lo tanto, por (31) concluimos que:
Z
(t) =

f (x + iy)eit.(x+iy) dmn (x)

Rn

Departamento de Matemtica - UNLP

Hoja 31 de 36

Anlisis Funcional

Trabajo Final

para toda y Rn .
Veamos la recproca:
Dado t Rn , t 6= 0, elegimos y =

t
|t| ,

donde > 0, entonces

t.y = |t| , |y| =





f (x + iy)eit.(x+iy)  N (1 + |x|)N e(r|t|)

y por lo tanto,
|(t)| N e(r|t|)

(33)

(1 + |x|)N dmn (x)

Rn

donde N es tan grande que la ltima integral es nita. Sea ahora . Si |t| > r, la
desigualdad (33) muestra que (t) = 0, entonces tiene su soporte en rB .


Teorema 3.38.

1. Si u D0 (Rn ) con soporte en rB, de orden N y si

(34)

f (z) = u(ez ) (z Cn )

entonces f es entera, la restriccin de f a Rn es la transformada de Fourier de u y existe una

constante < tal que
(35)

|f (z)| (1 + |z|)N er|Im(z)| (z Cn )

2. Reciprocamente, si f es una funcin entera en Cn que satisface la ecuacin (35) para ciertos
N y , entonces existe u D0 (Rn ) con soporte en rB, tal que se cumple (34).
Observacin 3.39. La notacin u a veces se usa para denotar la extensin a Cn dada por (34). Por
lo tanto u(z) = u(ez ) para z Cn . Esta extensin suele llamarse Transformada de FourierLaplace de u.
Demostracin.

3.6.

Lema de Sobolev

Si es un subconjunto abierto de Rn , no se ha denido la transformada de Fourier para funciones

cuyo dominio en o para distribuciones en . Sin embargo, las tecnicas de transformacin de Fourier
a veces pueden ser utilizadas para estudiar problemas locales. El Lema de Sovolev es ejemplo de
esto.

Denicin 3.40. Una funcin compleja medible f, denida en una conjunto abierto
se dice que es localmente L2 en si
Z

Rn ,

|f |2 dmn <

para todo compacto K .

Departamento de Matemtica - UNLP

Hoja 32 de 36

La Transformada de Fourier

Trabajo Final

Denicin 3.41. Una distribucin

localmente L2 en , tal que

u D0 ()

es localmente L2 si existe una funcin g que es

Z
gdmn

u() =

para toda D().

Denicin 3.42. Una funcin f tiene una distribucin derivada

que es localmente L2 tal que
Z

gdmn = (1)||

D f

si existe una funcin g

f D dmn

para toda D().

Denicin 3.43. La clase C (p) () consiste en, para cada entero no negativo p, aquellas funciones
complejas f en cuyas derivadas D f existen para cada multi-ndice tal que || p y son
funciones continuas en .
Observacin 3.44. Escribiremos Dif para el operador diferencial (/xi )k .
Lema 3.45. (de Sovolev)
Supongamos que n, p, r son enteros, n > 0, p 0 y r > p + (n/2). Si f es una funcin en
un conjunto abierto Rn cuyas distribuciones derivadas Dik f son localmente L2 en , para
1 i n, 0 k r, entonces existe una funcin f0 C (p) () tal que f0 (x) = f (x) para x
ctp.
Demostracin. Existencia :
Por hiptesis, existen funciones gik que son localmente L2 en y que satisfacen:
Z

gik dmn = (1)

f Dik dmn con D(),

para 1 i n, 0 k r.
Sea un conjunto abierto cuya clausura K es un subconjunto compacto de .
Elegimos D() tal que = 1 en K y denimos F en Rn como:
F (x) =

(x)f (x) si x

si x
/

entonces F (L2 L1 )(Rn ).

Usaremos la siguente frmula de Leibnitz:
D (f g) =

c (D f )(D g)

Departamento de Matemtica - UNLP

Hoja 33 de 36

Anlisis Funcional

Trabajo Final

vlida para toda f y g C ().

En , esta frmula nos d que:
Dir

r  
r  
X
X
r
r
rs
s
=
(Di )(Di f ) =
(Dirs )gis
s
s
s=0

s=0

En el complemento 0 del soporte de

= 0. Estas dos distribuciones coinciden en 0 .
r
Por lo tanto, la Di F originalmente denida es una distribucin en Rn , est actualmente en L2 (Rn ),
para 1 i n, pues las funciones (Dirs )gis estn en L2 ().
, Dir F

Aplicando el Teorema de Plancherel a F, D1r F, , Dnr F , muestra que:

Z  
 b 2
F  dmn <

(36)

Rn

y
Z


2


yi2r Fb(y) dmn (y) < (1 i n).

(37)

Rn

De
(1 + |y|)2r < (2n + 2)r (1 + y12r + + yn2r )

donde |y| = (y12 + + yn2 )1/2 , (36) y (37) implican que

Z


2


(1 + |y|)2r Fb(y) dmn (y) < .

(38)

Rn

Si J denota la integral (38) y si n es el volumen (n 1)-dimensional de la esfera unitaria en

Rn , la desigualdad de Schwartz nos d que:
2
Z




pb
(1 + |y|) F (y) dmn (y)
J (1 + |y|)2p2r dmn (y)

Rn

Rn

Z
= Jn (1 + t)2p2r tn1 dt < ,
0

2p 2r + n 1 < 1. Hemos probado que:

Z




(1 + |y|)p Fb(y) dmn (y) < .

(39)

Rn

Denimos
Z
F (x) =

Fb(y)eix.y dmn (y) (x Rn ).

Rn

Departamento de Matemtica - UNLP

Hoja 34 de 36

La Transformada de Fourier

Trabajo Final

Por la parte 3. del Teorema de Inversin, F = F ctp en Rn . Mas an, (39) implica que
L1 cuando || p. Iterando la demostracin de la parte 3. del Teorema (3.12), concluimos

y Fb(y)

que

F C (p) (Rn ).

Nuestra funcin f dada coincide con F en . Por lo tanto, f = F ctp en .

Unicidad:
Si 0 es otro conjunto como , la pueba de la existencia nos d una funcin F0 C (p) (Rn ), que
coincide con f ctp en 0 . Luego, F0 = F en 0 . La funcin f0 querida puede ser denida en
como:
f0 (x) = F (x) si x .


Departamento de Matemtica - UNLP

Hoja 35 de 36

Anlisis Funcional

Trabajo Final

Referencias

[1]

Walter Rudin, Functional Analysis.

[2]

Walter Rudin, Fourier Analysis on groups.

[3]

Walter Rudin, Real and Complex Analysis.

[4]

Ricardo Durn, Anlisis Armnico, apuntes de ctedra, curso 2010 (UBA)

Departamento de Matemtica - UNLP

Hoja 36 de 36