Transformada de Fourier - Olea, Maria Mercedes - 2012 - Compressed PDF

Análisis Funcional
Trabajo Final
La Transformada de Fourier
Olea, María Mercedes
Facultad de Ciencias Exactas, Universidad Nacional de La Plata

28 de abril de 2012
Resumen
En este trabajo, primero haremos una introducción a la Transformada de Fourier, denire-
mos transformada y antitransformada, enunciaremos y probaremos resultados importantes.
En la segunda sección explicaremos nociones de la teoria de distribuciones que serán de util-

idad para la sección siguiente
En la tercer sección 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 transformación de Fourier.
1
Análisis Funcional Trabajo Final
Índice
1. Introducción a la transformada de Fourier 3

1.1. La transformada de Fourier en R . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
1.2. La transformada de Fourier en Rn . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
1.3. La transformada de Fourier en L2 (Rn ) . . . . . . . . . . . . . . . . . . . . . . . . . . 8
2. Introducción a la teoria de distribuciones 10

2.1. Conceptos previos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
2.2. Los espacios C ∞ (Ω) y DK . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
2.3. Convoluciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
3. Distribuciones y la transformada de Fourier 18

3.1. La medida de Lebesgue normalizada y la transformada de Fourier . . . . . . . . . . . 18
3.2. El Teorema de Inversión . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
3.3. El Teorema de Plancherel . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
3.4. Distribuciones Temperadas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
3.5. Teoremas de Paley-Wiener . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
3.6. Lema de Sobolev . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32
Departamento de Matemática - UNLP Hoja 2 de 36

La Transformada de Fourier Trabajo Final
1. Introducción a la transformada de Fourier
1.1. La transformada de Fourier en R

Si f : R → R es una función continua de soporte compacto, digamos sop(f ) ⊆ [−M, M ] y L
es tal que L/2 > M , podemos extender periódicamente a f con período L y hacer su desarrollo en
serie de Fourier. Formalmente, tenemos que:
n
cn (L)e2πi( L )x
X
f (x) =
n∈N
con
ZL/2
1 n
cn (L) = f (t)e−2π( L )t dt
L
−L/2
Entonces, para todo x ∈ [−M, M ],

L/2
X 1 Z n n
f (x) = f (t)e−2πi( L )t dte2πi( L )x
L
n∈N −L/2
∞
X 1 Z n n
f (x) = f (t)e−2πi( L )t dte2πi( L )x
L
n∈N −∞
ya que f ≡ 0 en R − [−M, M ].
Entonces, si denimos
n Z∞
n
f
b := f (t)e−2πi L t dt
L
−∞
y pensamos que fb es una función sucientemente "buena", tomando limite para L tendiendo a
∞, tenemos que
X 1 Z∞
n
2π ( L )x
f (n/L) e
b −→ fb(t)e2πiξt dξ
L
n∈N −∞
Por lo tanto, tendríamos que:

Z∞
f (x) = fb(t)e2πiξt dξ
−∞
donde

Z∞
fb(ξ) = f (x)e−2πiξt dx
−∞
esto motiva la siguiente

Denición 1.1. Dada f ∈ L1 (R), denimos su transformada de Fourier como
Z∞
fb(ξ) = f (x)e−2πixξ dx
−∞
Observación 1.2. También usaremos para la transformada de Fourier la notación F := fb

Proposición 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.
Demostración. 1. |fb(ξ)| = | f (x)e−2πixξ dx ≤ |f (x)|dx = kf k1
R R
Rn Rn
2. Lo hacemos por densidad:

Veamos primero que vale para funciones simples:
k n
Si g = cj χRj siendo Rj = [ajl , bjl ], entonces:
P Q
j=1 i=1
Z
χ
b(ξ) = χRj e−2πixξ dx
Rn
Z
= χ[aj ,bj ] (x1 )χ[aj ,bj ] (x2 ) · · · χ[ajn ,bjn ] (xn )e−2πix1 ξ1 · · · e−2πixn ξn dx
1 1 2 2
R
n Z
Y
= χ[aj ,bj ] (xl )e−2πixl ξl dxl
l l
l=1 R
Calculemos χb[a,b]
Z Zb
−2πixξ
χ
b[a,b] = χ[a,b] (x)e dx = e−2πixξ dx
R a
e−2πixξ b e−2πibξ e−2πiaξ ξ→∞

= − → 0
−2πiξ a −2πiξ −2πiξ

Entonces
Z
ξ→∞
b[aj ,bj ] (xl )e−2πixl ξl dxl → 0
χ
l l
R
Luego,
n Z
Y ξ→∞
b[aj ,bj ] (xl )e−2πixl ξl dxl → 0
χ
l l
l=1 R
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 < ∞

f (ξ) = f (ξ) − gb(ξ) + gb(ξ)
b b

\
≤ (f − g)(ξ) + |b
g (ξ)| ≤ kf − gk1 + |b
g (ξ)|

3. Sea ξ ∈ Rn , ξ jo
Z Z
fb(ξ + h) − fb(ξ) = f (x) e−2πix(ξ+h) − e−2πixξ dx = e−2πixξ e−2πixh − 1 f (x)dx
Rn Rn
Luego,
Z
f (ξ + h) − f (ξ) ≤ e−2πixξ |f (x)| e−2πixh − 1 dx
b b
Rn

|f (x)| e−2πixh − 1 ≤ 2 |f (x)| ∈ L1 (Rn ).

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

Proposición 1.4. Dada f ∈ L1 (R)
1. Si f 0 ∈ L1 (R) entonces fb0 (ξ) = 2πiξ fb(ξ).

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

Lema 1.5. (de Parseval)

Si f, g ∈ L1 (R) entonces
Z∞ Z∞
fb(ξ)g(ξ)dξ = f (ξ)b
g (ξ)dξ
−∞ −∞
Demostración.
Z∞ Z∞ Z∞
fb(ξ)g(ξ)dξ = f (x)e−2πixξ dx g(ξ)dξ
−∞ −∞ −∞
Aplicando Teorema de Fubini obtenemos que

Z∞ Z∞ Z∞
−2πixξ
e g(ξ)dξf (x)dx = f (x)b
g (x)dx
−∞ −∞ −∞
Denición 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ξ)e2πixξ dξ
−∞
Observación 1.7. La transformada de Fourier en Rn se construye de manera análoga, es decir, si

f ∈ L1 (Rn ), entonces
Z
fb(ξ) = f (x)e2πixξ 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
Ag,t = fb(ξ)g(tξ)e2πixξ dξ = (f ∗ ϕt )(x)
Rn
con ϕ(x) = gb(−x) y ϕt (x) = (1/tn )ϕ(x/t)
1.2. La transformada de Fourier en Rn

Lema 1.8. Sea ϕ ∈ L1 (Rn ) tal que y sea ϕt (x) = (1/tn )ϕ(x/t). Entonces
R
ϕ=1
1. Si f ∈ L∞ (Rn ) y es continua en x, (f ∗ ϕt )(x) −→

t→0
f (x)
p
2. Si f ∈ Lp (Rn ) para algún p ∈ [1, ∞), (f ∗ ϕt ) −→
L
f

Demostración. 1. Primero observemos que como φ = 1 entonces φt = 1. Luego

R R
Z Z
(f ∗ φt )(x) − f (x) = f (x − y)φt (y)dy − f (x) = [f (x − y) − f (x)] φt (y)dy
Rn 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 Z
= |f (x − y) − f (x)| |φt (y)| dy + |f (x − y) − f (x)| |φt (y)| dy
|y|<δ |y|≥δ
Z
≤ kφk1 + 2 kf k∞ |φt (y)| dy < C
|y|≥δ
pues:
Z Z Z
1 y
|φt (y)| dy = φt ( ) dy = φ(z)dz
tn t
|y|≥δ |y|≥δ |z|>δ/t
y esta última integral tiende a cero cuando t → 0.
2. Por la desigualdad integral de Minkowski,

Z Z
kf ∗ φt − f kp ≤ kf (• − y) − f (•)kp |φt (y)| dy = wp (y) |φt (y)| dy
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
R
−→ f
Rn
cuanto t −→ 0 en Lp para todo 1 ≤ p < ∞.
Además, si p = ∞ y f es continua en x, entonces Ag,t f (x) −→ f (x).
Demostración. Vimos en la observación (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
en Lp
2
fb(ξ)e−πt|ξ| e2πixξ dξ
R
f (x) = limt→0
Rn
2. Si p = ∞ y f es continua en x, entonces
puntualmente
2
fb(ξ)e−πt|ξ| e2πixξ dξ
R
f (x) = limt→0
Rn

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

Z
2
g(0) = limt→0 gb(ξ)e−πt|ξ| 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 Inversión). Si f ∈ L1 (Rn ) y fb ∈ L1 (Rn ), entonces

Z
f (x) = fb(ξ)e2πixξ dξ
Rn
Demostración. Considero g(x) = e−π|x| , como g es continua g(tξ) −→

t→0
2
g(0).
Por Teorema anterior,

Z
2
f (x) = limt→0 fb(ξ)e−πt|ξ| e2πixξ dξ en L1 (Rn )
Rn
Por hipotesis, fb(ξ) ∈ L1 (Rn ) entonces

−πt|ξ|2 2πixξ
f (ξ)e e ≤ f (ξ) ∈ L1 (Rn )
b b

estamos bajo las condiciones del Teorema de Convergencia Dominada, entonces

Z
f (x) = fb(ξ)e2πixξ dξ.
Rn
Denición 1.12. Denimos la antitransformada de Fourier como

Z
fˇ(x) = f (ξ)e2πixξ dξ
Rn
1.3. La transformada de Fourier en L2 (Rn )

Teorema 1.13. Si f

∈ (L1 (Rn ) ∩ L2 (Rn )), entonces fb ∈ L2 (Rn ) y fb = kf k2 .
2
Demostración. Sea g(x) = f (−x).
Por hipótesis f ∈ L1 (Rn ), podemos transformar Fourier a f y como f (−x) = g(x) también
podemos transformar Fourier a g :

gb = fb = fb
Si llamamos h a la convolución de las funciones f y g , tenemos que
2
∗ g = fbgb = fbfb = fb .
h = f[
b
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 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 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 R
k→0
≤ kf (x0 + k •) − f (x0 •)k2 kgk2 −→ 0
Luego, como h ∈ L1 (Rn ) y h es continua en el orígen,

Z
2
h(x) = limt→0 h(ξ)e−πt|ξ| e2πixξ dξ
b
Rn
entonces
Z
2
h(0) = limt→0 h(ξ)e−πt|ξ| dξ
b
Rn

Además se cumple que bh ≥ 0, pues fb ≥ 0, con lo que podemos aplicar el Lema de Fatou:
Z Z
−πt|ξ|2
h ≥ limt→0 h(ξ)e
b b dξ = bh(ξ)dξ
Rn Rn
Luego bh ∈ L1 (Rn ). Aplicamos Teorema de Inversión:

Z
h(x) = h(ξ)e2πixξ dξ
b
Rn
por lo tanto

Z Z
b 2
2
h(0) = h(ξ)dξ =
b f (ξ) dξ = fb

(1)
2
Rn Rn
Por otro lado,

Z Z Z
h(0) = (f ∗ g)(0) = f (y)g(−y)dy = f (y)f (y)dy = |f (y)|2 dy = kf k22 (2)
Rn Rn Rn

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

2. Introducción a la teoria de distribuciones
La teoria de distribuciones surge de la existencia de funciones no diferenciables.
Desde el comienzo del cálculo diferencial se intuye la necesidad de extender estas nociones de
modo que las operaciones fundamentales del análisis se puedan realizar siempre y sin hipótesis com-
plicadas de validez.
Se trata de obtener una noción generalizada de diferenciación que permita derivar funciones (en
principio) que no lo son en sentido ordinario y poder aplicar el cálculo en su forma original.
El otro antecedente principal del origen de las distribuciones está relacionado con el anterior,
aunque tiene unas raíces más proximas: se trata de las funciones generalizadas que fueron aparecien-
do cada vez con mas frecuencia en diversas áreas del análisis, ligadas a las ecuaciones diferenciales o
a los distintos cálculos 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)

Denición 2.1. Un espacio vectorial topológico (EVT) es un espacio topológico (X ,τ ) en el
que X es un K-espacio vectorial, y la topología τ es de Hausdor y cumple que las operaciones
vectoriales
X × X 3 (x, y) 7→ x + y ∈ X y
K × X 3 (λ , x)
son continuas, cuando en X × X y en K × X se usan las topologías 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)} .

Denición 2.2. Una función 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)
Denición 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 topología sobre X que hace a las funciones dz,p continuas.
Proposición 2.4. Sea X un K-espacio vectorial, y sea σ(X, F) la topología inducida por una familia
de seminormas F que separa puntos de X . Dada una red x = (xi )i∈I en X , se tiene que
xi converge a x ∈ X con σ(X, F) si y sólo si p(xi − x) converge a 0 en R, para toda p ∈ F .
Denición 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.
Denición 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 métrica d.
4. X es un F -espacio si su topología τ es inducida por una métrica completa e invariante por
traslaciones.
5. X es un espacio de Fréchet si es localmente convexo y un F -espacio.
Teorema 2.7. Si X es un espacio vectorial topológico que satisface el primer axioma de numer-
abilidad, es decir todo punto tiene una base de entornos numerable. Entonces existe una métrica d
en X que es compatible con la topología de X e invariante por traslaciones.

Demostración. Consideremos el 0, por la observación 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
∞
X
r= cn (r)2−n
n=1
donde cada ci (r) es 0 o 1 y sólo 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)} x∈X y
d(x, y) = f (x − y) (3)
Para ver que d satisface las condiciones deseadas veamos la siguiente propiedad
A(r) + A(s) ⊂ A(r + s) (x ∈ X, y ∈ X). (4)

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) (si r < t.) (5)

Esto es {A(r)} esta totalmente ordenado por la inclusión de conjuntos. Veamos que
f (x + y) ≤ f (x) + f (y) (x ∈ X, y ∈ X) (6)

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(2−n ) para algún n y entonces f (x) ≥ 2−n > 0.
Con estas propiedades hemos probado que (3) dene una métrica invariante por traslaciones en
X . Las bolas abiertas centradas en 0 son los conjuntos abiertos
[
Bδ (0) = {x : f (x) < δ} = A(r).
r<δ

Si δ < 2−n , luego Bδ (0) ⊂ Vn . Luego {Bδ (0)} es una base de entornos del 0 para la topología
de X. Con esto probamos que d es compatible con la topología 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 proposición:
Si r, s y r + s están en D y cn (r) + cn (s) 6= cn (r + s) para algún 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 proposición 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.

Denición 2.8. Supongamos que X e Y son espacios vectoriales topológicos 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 topológico X. Supongamos que
∆x 6= 0 para algún x ∈ X . Luego son equivalentes:
1. ∆ es continuo.
2. El núcleo N (∆) es cerrado.
3. N (∆) no es denso en X .
4. ∆ es acotado en algún entorno V de 0.
2.2. Los espacios C ∞ (Ω) y DK

Empezaremos esta sección con algo de notación y terminología que se usará en el desarrollo de
la teoría distribucional.
El término multi-índice denota una n-upla α = (α1 , α2 , · · · , αn ) de números enteros no negativos

αi .
A cada multi-índice α se le asocia un operador diferencial

α1 αn
α ∂ ∂
D = ···
∂x1 ∂xn
cuyo orden es |α| = α1 + · · · + αn .
Si |α| = 0, Dα f = f .
Denición 2.10. Una función compleja f denida en un conjunto abierto no vacío Ω ⊂ Rn
pertenece a C ∞ (Ω) si Dα f ∈ C(Ω) para cada multi-índice α.
Denición 2.11. El soporte de una función f (denida en un espacio topológico cualquiera) es la
clausura de {x : f (x) 6= 0}.
Denición 2.12. Si K es un subconjunto compacto de Rn , DK denota el espacio de todas las
funciones f ∈ C ∞ (Rn ) cuyo soporte está contenido en K .
Deniremos una topología en C ∞ (Ω), que hace a este espacio un espacio de Fréchet y además
es tal que DK es un subespacio cerrado de C ∞ (Ω) para K ⊂ Ω.
Para esto, elegimos compactos Ki (i = 1, 2, 3, . . .) tal que Ki ⊂ Ki+1
o yΩ= Ki (por
S
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 ) = máx {|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
denición (2.3) y el Teorema (2.7) estas seminormas denen una topología en C ∞ (Ω) que hace de
este espacio un espacio vectorial topológico localmente convexo y metrizable.
Sea x ∈ Ω, el funcional f 7→ f (x) es continuo con esta topología, pues si fi es una red en C ∞ (Ω)
que converge a f . Por la Proposición (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 intersección 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 sucesión de Cauchy en C ∞ (Ω) y N es jo, luego fi − fj ∈ VN si i, j son su-
cientemente 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 función gα . En particular fi (x) → g0 (x).
Luego g0 ∈ C ∞ (Ω) y gα = Dα g0 , entonces fi → g0 en la topología de C ∞ (Ω) .
Por lo tanto C ∞ (Ω) es un espacio de Fréchet y entonces lo mismo vale para cada DK (por ser
subespacios cerrados).
Observación 2.13. DK es un espacio de Fréchet.
Denición 2.14. Sea Ω ⊂ Rn un conjunto abierto no vacío. Para cada compacto K ⊂ Ω, tenemos
el espacio de Frechet DK . La unión de estos espacios DK sobre todos los compactos K contenidos
en Ω, es el espacio de funciones de prueba D(Ω).

Denición 2.15. Sea Ω ⊂ Rn abierto no vacío.

1. para cada compacto K ⊂ Ω, τK denota la topología en DK dada por las seminormas pN .
2. β es la colección de todos los conjuntos W ⊂ D(Ω) convexos, balanceados, tales que DK ∩ W ∈
τK para cada compacto K ⊂ Ω.
3. τ es la colección de uniones de conjuntos de la forma φ + W con φ ∈ D(Ω) y W ∈ β .

Los siguientes Teoremas arman que τ es una topología y las propiedades que cumple.
Teorema 2.16. Valen que
1. τ es una topología en D(Ω) y β es una base del 0 para τ .
2. τ hace a D(Ω) un espacio vectorial topológico localmente convexo.
Teorema 2.17. Valen que
1. Un conjunto convexo y balanceado de D(Ω) es abierto si y solo si V ∈ β .
2. La topología τK de cualquier DK ⊂ D(Ω) coincide con la topología de τ relativa a DK .
3. Si E es un subconjunto acotado de D(Ω) entonces E ⊂ DK para algún K ⊂ Ω y existen
números MN < ∞ tales que para cada φ ∈ E se satisfacen las siguientes igualdades:
kφkN ≤ MN para N = 0, 1, 2, · · ·
4. Si {φi } es una sucesión de Cauchy en D(Ω) entonces {φi } ⊂ DK para algún K ⊂ Ω y

limi,j→∞ kφi − φj kN = 0 para N = 0, 1, 2, · · ·
5. Si φi → 0 en la topología de D(Ω), existe un compacto K ⊂ Ω que contiene al soporte de cada

φi y Dα φi → 0 uniformemente, para cada multí-índice α.
i→∞
6. En D(Ω) cada sucesión de Cauchy, converge.

Teorema 2.18. Supongamos que ∆ es una aplicación lineal de D(Ω) es un espacio localmente
convexo Y. Son equivalentes:
1. ∆ es contínua.
2. ∆ es acotada.
3. Si φi → 0 en D(Ω) entonces ∆φi → 0 en Y.
4. Las restricciones de ∆ a cada DK ⊂ D(Ω) son contínuas.
Corolario 2.19. Cada operador diferencial Dα es contínuo de D(Ω) en D(Ω).
Denición 2.20. Un funcional lineal en D(Ω) contínuo con respecto a τ se llama una distribución.
Denición 2.21. El espacio de todas las distribuciones en Ω se denota D0 (Ω).

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 número entero no negativo N y una constante
C < ∞ tal que:
|∆φ| ≤ C kφkN
para cada φ ∈ DK .
2.3. Convoluciones
Denición 2.23. Si u es una función 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 convolución de u y v como:

Z
(u ∗ v)(x) = u(y)(τx v̌)(y)dy
Rn
Esto hace que sea natural denir
(u ∗ φ)(x) = u(τx φ̌) con u ∈ D0 (Rn ), φ ∈ D(Rn ), x ∈ Rn
La relación
Z Z
(τx u).v = u.(τ−x v)
válida para funciones u y v , hace que sea natural denir la traslación τ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 ∗ φ) ∗ ψ

Demostración. Probaremos 1. y 2. porque lo necesitaremos en la sección siguiente:
Para todo y ∈ Rn ,
(τx (u ∗ φ))(y) = (u ∗ φ)(y − x) = u(τy−x φ̌)
((τx u) ∗ φ)(y) = (τx u)(τy φ̌) = u(τy−x φ̌)
(u ∗ (τx φ))(y) = u(τy (τxˇφ)) = u(τy−x φ̌)

Se usaron las relaciones:
τy τ−x = τy−x
(τ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 = r−1 (τ0 − τre ) (r > 0).

Por lo visto en (2.24)
ηr (u ∗ φ) = u ∗ (ηr φ) (7)
si r → 0, ηr φ → De φ en ζn , donde De denota la derivada direccional en la dirección e.
Por lo tanto,
τx ((ηrˇφ)) → τx (Dˇe φ) en ζn
para cada x ∈ Rn tal que
limr→0 (u ∗ (ηr φ))(x) = (u ∗ (De φ))(x) (8)

Por (7) y (8) obtenemos que
De (u ∗ φ) = u ∗ (De φ)
y la iteración de la última igualdad nos dá 2.


3. Distribuciones y la transformada de Fourier
3.1. La medida de Lebesgue normalizada y la transformada de Fourier
Denición 3.1. La medida normalizada de Lebesgue en Rn , es la medida mn denida por:

n
dmn (x) = (2π)−( 2 ) dx
Observación 3.2. El espacio de Lebesgue Lp , o Lp (Rn ), será normado mediante mn :

 1
Z p
kf kp = |f |p dmn (1 ≤ p < ∞)
 
Rn
Observación 3.3. Dadas f, g ∈ Rn , es conveniente redenir su convolución en términos de la

medida de Lebesgue, como:
Z
(f ∗ g)(x) = f (x − y)g(y)dmn (y)
Rn
cuando existe la integral.

Denición 3.4. Para cada t ∈ Rn , la caracteristica et es la función denida como:
et (x) = eit·x = ei(t1 x1 +···+tn xn ) (x ∈ Rn )
Observación 3.5. Cada et satisface la ecuación:

et (x + y) = et (x)et (y)
Observación 3.6. Dada una función f ∈ L1 (Rn ), vamos a redenir la Transformada de Fourier
en términos de la medida de Lebesgue, como:
Z
fb(t) = f e−t dmn (t ∈ Rn )
Rn
Notar que
fb(t) = (f ∗ et )(0)
Observación 3.7. Si α es un multiíndice, entonces

α1 αn
1 ∂ 1 ∂
Dα = (i)−|α| Dα = ···
i ∂x1 i ∂xn
Denición 3.8. Denimos el operador traslación como:
(τx f )(y) = f (y − x)
Teorema 3.9. Si f, g ∈ L1 (Rn ), x ∈ Rn , entonces

1. τd
x f = e−x f
b
2. ed
x f = τx f
b
3. (f
\ ∗ g) = fbgb
4. Si λ > 0 y h(x) = f (x/λ), entonces bh(t) = λn fb(λt)

Demostración. 1. Por las deniciones del operador traslación τx y de la caracteristica et , tenemos
que:
Z Z Z
τd
x f (t) = (τx f ) · e−t = f · τ−x e−x = f · e−t (x)e−t = e−x (t)fb(t)
2. Por la misma razón, tenemos que:

Z Z
ed
x f (t) = ex f e−t = f e−(t−x) = (τx fb)(t)
3. sale aplicando el Teorema de Fubini.

4. sale haciendo un cambio de variables en la denición de fb.

Denición 3.10. Sea f ∈ C ∞ (Rn ) tal que
sup|α|≤N supx∈Rn (1 + |x|2 )N |(Dα f )(x)| < ∞ (9)

para N = 0, 1, 2, · · ·
Las funciones que cumplen esto se denominan de rápido decrecimiento y lo denotaremos por
ζn .
En otras palabras, se requiere que P · Dα f sea una función acotada en Rn para todo polinomio
P y para todo multi-índice α.
Observación 3.11. ζn forman un espacio vectorial, en la que la colección numerable de normas

(9), dene localmente una topología convexa y es invariante por traslaciones.
Teorema 3.12. 1. ζn es un espacio de Fréchet.
2. Si P es un polinomio, g ∈ ζn y α es un multiíndice, entonces cada una de las siguientes
asignaciones:
f → Pf
f → gf
f → Dα f
es una aplicación lineal continua, de ζn a ζn .

3. Si f ∈ ζn y P es un polinomio, entonces:

P\(D)f = P fb
Pcf = P (−D)fb
4. La transformada de Fourier es una aplicación lineal continua, de ζn a ζn .

Observación 3.13. Para la demostración, necesitaremos la Fórmula de Leibnitz:
Si f, g ∈ C ∞ (Ω) entonces
X
Dα (f g) = cαβ Dα−β f Dβ g
β≤α
Demostración.
1. Que ζn es localmente convexo e invariante por traslaciones, se deduce de la observación (3.11).

Veamos ahora que ζn es un espacio completo, para eso, tomemos {fi } una sucesión en ζn . Para
todo par de multi-índices α y β , las funciones xβ Dα fi (x) convergen uniformemente a una función
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 fórmula de Leibnitz,
X
Dα (P f ) = cαβ Dα−β P Dβ f
β≤α
y
X
Dα (gf ) = cαβ Dα−β g Dβ f
β≤α
entonces P f y gf ∈ ζn . La continuidad es consecuencia del Teorema del Gráco Cerrado.
3. Si f ∈ ζn , por lo visto en 2. P f ∈ ζn también. 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:
fb(t0 ) − fb(t) e−ix1 − 1 −ix·t

Z
= x1 f (x) e dmn (t)
i ix1
Rn
aplicamos Teorema de Convergencia Dominada, x1 f ∈ L1 y

−1 ∂ b
Z
f= x1 f (x)e−ix·t dmn (t).
i ∂t1
Rn
éste es el caso P (x) = x1 , el caso general es por iteración.
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 función acotada, P (D)g ∈ L1 (Rn ), esto
prueba que f ∈ ζn .
b
Si fi → f en ζn entonces fi → f en L1 (Rn ). Mas aún, fbi (t) → fb(t) para todo t ∈ Rn . La continuidad
de f → fb de ζn en ζn se sigue del Teorema del Gráco Cerrado.

Lema 3.14. Si φn está denida en Rn como:

1 2
φn (x) = e− 2 |x|
entonces φn ∈ ζn , φbn = φn y
Z
φn (0) = φbn dmn
Rn
Demostración. Claramente, φn ∈ ζn y φ1 satisface la ecuación diferencial
y 0 + xy = 0 (10)
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 Z∞
−1/2 2
φb1 (0) = φ1 dm1 = (2π) e(−1/2)x dx = 1
R −∞
concluimos que φ̂1 = φ1 .
Luego,
φn (x) = φ1 (x1 ) · · · φ1 (xn ) (x ∈ Rn )

Con lo cual,
φbn (t) = φb1 (t1 ) · · · φb1 (tn ) (t ∈ Rn )

esto muestra que φbn = φn para todo n. Como φbn (0) = φn dmn por denición y por lo visto
R
recién, obtenemos lo querido.


3.2. El Teorema de Inversión
Teorema 3.15. (de Inversión)

1. Si g ∈ ζn , entonces
Z
g(x) = gbex dmn (x ∈ Rn ) (11)
Rn
2. La transformada de Fourier es una aplicación lineal, continua, biyectiva, de ζn a ζn , de período

4, con inversa también continua.
3. Si f ∈ L1 (Rn ), fb ∈ L1 (Rn ) y Z
f0 (x) = fbex dmn
Rn
entonces f (x) = f0 (x) c.t.p.

Demostración. Si f, g ∈ L1 (Rn ), podemos aplicarle el Teorema de Fubini a la integral doble:
Z Z
f (x)g(y)e−ix·y dmn (x)dmn (y)
Rn Rn
para obtener la igualdad: Z Z Z Z
fbgdmn = f gbdmn (12)
Rn Rn Rn Rn
Para probar la primer parte, tomemos g ∈ ζn , φ ∈ ζn , f (x) = φ(x/λ), donde λ > 0.

Por el Teorema (3.9), la ecuación (12) queda:
Z Z y
g(t)λn φ(λt)dm
b n (t) = φ gb(y)dmn (y)
λ
Rn Rn
o, haciendo un cambio de variables,

Z Z
t b t
g φ(t)dmn (t) = φ gb(t)dmn (y) (13)
λ λ
Rn Rn
si λ → ∞, g λ → g(0) y φ λ → φ(0), de manera que podemos aplicar el Teorema de

t y

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

Z Z
g(0) φdm
b n = φ(0) gbdmn (g, φ ∈ ζn ) (14)
Rn Rn
si pensamos a φ como la función φn del Lema (3.14), la ecuación (14) dá el caso x = 0 de la

fórmula de inversión (11). El caso general se sigue mediante el Teorema (3.9),
Z Z
g(x) = (τ−x g)) (0) = τ[
−x gdmn = gbex dmn .
Rn Rn

Esto completa la demostración de la primera parte del Teorema.
Para probar 2. introducimos la notación Φg = gb.
La fórmula de inversión (11) muestra que Φ es biyectiva en ζn , ya que gb = 0 implica que g = 0.

También:
Φ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 fórmula de inversión (11)
en (12) y usamos el Teorema de Fubini, para obtener
Z Z
f0 gbdmn = f gbdmn (g ∈ ζn ) (15)
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 φ ∈ D(Rn ), por lo tanto, para toda φ continua con soporte compacto. Resulta que
f0 − f = 0 ctp.

Teorema 3.16. Si f ∈ ζn y g ∈ ζn , entonces:

1. f ∗ g ∈ ζn
2. fcg = fb ∗ gb
Demostración. Por la parte 3. del Teorema (3.9),
∗ g = fbgb
f[
o, en la notación del Teorema anterior,
Φ(f ∗ g) = Φf · Φg (16)
con fb y gb en lugar de f y g , la ecuación (16) queda:
Φ(fb ∗ gb) = Φ2 f · Φ2 g = fˇǧ = (fˇg) = Φ2 (f g) (17)

Ahora aplicamos Φ−1 a ambos lados de la ecuación (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 .


3.3. El Teorema de Plancherel
Teorema 3.17. (de Plancherel) Hay una isometria lineal ψ : L2 (Rn ) → L2 (Rn ), que está univoca-
mente determinada por:
ψf = fb para todaf ∈ ζn
Observación 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 estén denidas. Por lo tanto, ψ extiende la transformada de Fouri-
er de L1 ∩ L2 a L2 . Esta extensión ψ de llama transformada de Fourier (a veces se le dice
transformada de Fourier-Plancherel), y la notación fb se sigue utilizando, en lugar de ψf , para
cualquier f ∈ L2 (Rn ).
Demostración. Si f y g ∈ ζn , por Teorema de inversión,
Z Z Z Z Z
fg = g(x)dmn (x) fb(t)eix·t dmn (t) = fb(t)dmn (t) g(x)eix·t dmn (x)
Rn Rn Rn Rn Rn
La última integral es la conjugada compleja de gb(t). De este modo, obtenemos la fórmula de Parseval:
Z Z
f gdmn = fbgbdmn (f, g ∈ ζn ) (18)
Rn Rn
Si g = f , la ecuación (18) es:

kf k2 = fb

(f ∈ ζn ) (19)
2
Notar que ζn es denso en L2 (Rn ) por la misma razón que ζn es denso en L1 (Rn ). La igualdad
(19) muestra que f → fb es una isometría en el subespacio denso ζn de L2 (Rn ) en ζn . Siguiendo,
f → fb es la unica extensión continua Ψ : L2 (Rn ) → L2 (Rn ) y esta Ψ es una isometria lineal en
L2 (Rn ).

Observación 3.19. La fórmula de Parseval (18) vale para cualesquiera f, g ∈ L2 (Rn ).

Observación 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 relación entre ζn y D(Rn ))

1. D(Rn ) es denso en ζn
2. La aplicacion identidad de D(Rn ) en ζn , es continua.
Observación 3.22. Consideraremos la topología usual de D(Rn ) y ζn , que denimos en la sección
anterior y en la denición (3.10)

Demostración. 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)
P
β≤α
Nuestra elección 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 topología inducida en DK por ζn ...

Denición 3.23. Si i : D(Rn ) → ζn es la aplicación identidad, L es un funcional lineal continuo

en ζn y si
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 ecuación (20) describe un isomorsmo de espacios vectoriales entre ζn0 y ζn por un lado, y
un cierto espacio de distribuciones por otro.
La distribución que surge se denomina temperada.
Las distribuciones temperadas son precisamente aquellas u ∈ D0 (Rn ) que tienen extensión continua
a ζn .
En vista de las observaciones realizadas anteriormente, es usual identicar uL con L. Las dis-
tribuciones temperadas en Rn son, entonces, los miembros de ζn0 .
Ejemplo 3.24. Toda distribución 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 algún entero positivo k, entonces µ es una distribución temperada.

Teorema 3.26. Si α es un multiíndice, P es un polinomio, g ∈ ζn y u es una distribución temperada,

entonces las distribuciones:
1. Dα u
2. Pu
3. gu
también son temperadas.
Demostración. 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. también lo son.

Denición 3.27. Para u ∈ ζn0 denimos:

u b (φ ∈ ζn )
b(φ) = u(φ)
donde φ → φb es una aplicación continua de ζn en ζn , y como u es continua en ζn , se deduce que
b ∈ ζn0 .
u
Observación 3.28. Hemos asociado a cada distribución temperada u, su transformada de Fourier

b, que es también una distribución temperada.
u
Teorema 3.29. 1. La transformada de Fourier es una aplicación continua, lineal, biyectiva, de

ζn0 en ζn0 , de período 4, con inversa también continua.
2. Si u ∈ ζn0 y P es un polinomio, entonces
(P\(D)u) = P u
b
Pcu = P (−D)bu
Demostración. 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 o
V = u ∈ ζn0 : u φbi < 1 para 1 ≤ i ≤ k

entonces V es un entorno del 0 en ζn0 , donde

u b (φ ∈ ζn , u ∈ ζ 0 )
b(φ) = u(φ) n (21)
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
Φ4 u= u para toda u ∈ ζn0 , por lo tanto, Φ es biyectiva y Φ−1 = Φ3 es continua.
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) (φ)

(P (−D) u b (P (D) φ) = u (P\
b) (φ) = u (D) φ) = u P φb = (P u) φb = Pcu (φ)
donde φ ∈ ζn arbitraria.

El siguiente lema se utilizara para la demostración del próximo Teorema:

Lema 3.30. Si w = (1, 0, · · · , 0) ∈ Rn , φ ∈ ζn y
φ (x + w) − φ (x)
φ (x) = (x ∈ Rn ), > 0,

entonces φ −→
→0 ∂φ
∂x1 , en la topología de ζn .
Demostración. Para ver que φ →0
→ ∂φ
∂x1 en la topología de ζn , veamos que la transformada de Fourier
de φ − ∂φ
∂x1 tiende a 0 en ζn , esto es:
→0
ψ φb → 0 en ζn (22)
donde
eiy1 − 1
ψ (y) = − iy1 (y ∈ Rn , > 0)

Si P es un polinomio y α es un multi-índice, entonces
(23)
X
P.Dα (ψ φ)
b = cαβ P.(Dα−β φ).(D
b β
ψ )
β≤α
Realizando un cálculo 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 denición de topología

en ζn muestra que se cumple (22).


Denición 3.31. Si u ∈ ζn0 y φ ∈ ζn , entonces:

(x ∈ Rn )

(u ∗ φ) (x) = u τx φ̌
Observación 3.32. La operación * anterior está bien denida pues τx φ̌ ∈ ζn para todo x ∈ Rn .
Teorema 3.33. Si φ ∈ ζn y u es una distribución temperada, entonces:
1. u ∗ φ ∈ C ∞ (Rn ) y
Dα (u ∗ φ) = (Dα u) ∗ φ = u ∗ (Dα φ)
para todo α multi-índice.

2. u ∗ φ tiene una distribución temperada.
3. u[
∗ φ = φb
bu
4. (u ∗ φ) ∗ ψ = u ∗ (φ ∗ ψ) para toda ψ ∈ ζn
5. ub ∗ φb = φu
c
Demostración. 1. La igualdad Dα (u ∗ φ) = u ∗ (Dα φ) ha sido probada en el Teorema (2.24), pues

la convolución conmuta con traslaciones. Esto también muestra que

τ−w − τ0 τ−w − τ0
(u ∗ φ) = u ∗ φ.

El Lema (3.30) nos dá que Dα (u ∗ φ) = u ∗ (Dαφ ) si α = (1, 0, · · · , 0). Iterando este caso partic-
ular, 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
pN (τx f ) ≤ 2N (1 + |x|2 )N pN (f ) para x ∈ Rn , f ∈ ζn . (24)

Como u es un funcional lineal contínuo en ζn y las normas pN determinan una topología de ζn ,
entonces existe un N y un C < ∞ tales que
|u(f )| ≤ CpN (f ) para f ∈ ζn . (25)

Por (24) y (25),
|(u ∗ φ)(x)| = u(τx φ̌) ≤ 2N .CpN (φ)(1 + |x|2 )N ,

lo que demuestra 2.
3. u ∗ φ tiene una transformada de Fourier en ζn0 . Si ψ ∈ D(Rn ) con soporte K entonces:

Z
\
(u ∗ φ)(ψ)
b = (u ∗ φ)(ψ̌) = (u ∗ φ)(x)ψ(−x)dmn (x)
Rn
Z Z

= u ψ(−x)τx φ̌ dmn (x) = u ψ(−x)τx φ̌dmn (x)
−K −K

u φ ∗ˇ ψ = u

∗ψ =u
b φ[ b φbψb
de manera que

∗ φ (ψ)
u[ b = φb
bu (ψ)
b (26)
4. En la ecuación (26), los dos terminos son iguales para cualquier ψ ∈ ζn . Por lo tanto,
(u ∗ φ)(ψ̌) = u φ ∗ˇ ψ

o lo que es lo mismo,
((u ∗ φ) ∗ ψ) (0) = (u ∗ (φ ∗ ψ)) (0). (27)

Si reemplazamos ψ por τx ψ en (27) obtenemos lo querido.
5. Finalmente,
[ ˇ
b ∗ φb = φ̌ǔ = φu.
u
Por 3. y por la igualdad φu c obtenemos 5.

ˇ = φu c

3.5. Teoremas de Paley-Wiener
Uno de los Teoremas clásicos de Paley y Wiener caracteriza a las funciones enteras de tipo
exponencial (de variable compleja), cuya restricción al eje real está en L2 , como son las transformadas
de Fourier de funciones en L2 con soporte compacto. Daremos dos Teoremas análogos, uno para
funciones en C ∞ con soporte compacto y otra para distribuciones con soporte compacto.
Denición 3.34. Si Ω es un conjunto abierto de Cn , y si f es una función 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 , · · · , ai−1 , ai + λ, ai+1 , · · · , an )
cada una de las funciones g1 , · · · , gn son holomorcas es algún entorno del 0 en C.
Una función que es holomorca en todo Cn se llama entera.

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 α = z1α1 · · · znαn
z · t = z1 t1 + · · · + zn tn
ez (t) = eiz·t
pueden ser usadas para cualquier multi-indice α y cualquier t ∈ Rn .

Lema 3.35. Si f es una función entera en Cn , que tiende a cero en Rn , entonces f = 0.
Demostración. Lo probaremos por inducción 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 función gi de la denición anterior es 0 en el eje real, luego es 0

para todo λ ∈ C. Se sigue que Pi−1 es verdadero.

Denición 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)e−iz·t 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 función f cumple la condición (29), entonces existe φ ∈ D(Rn ), con
soporte rB tal que se cumple (28).

Demostración. Veamos 1. Si t ∈ rB entonces

−iz.t
e = ey.t ≤ e|y||t| ≤ er|Im(z)| .
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
z α f (z) = (Dα φ)(t)e−iz.t dmn (t).
Rn
Por lo tanto,
|z α | |f (z)| ≤ kDα φk1 er|Im(z)| (30)

y la desigualdad (29) se desprende de la desigualdad (30).
Veamos ahora 2. Supongamos que f es una función entera que satisface (29) y denimos
Z
φ(t) = f (x)eit.x dmn (x) con t ∈ Rn . (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 región simplemente conexa, por Teorema de Cauchy generalizado (resultado
visto en la materia Funciones Analíticas), 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 armación.
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

para toda y ∈ Rn .
Veamos la recíproca:
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,
Z
|φ(t)| ≤ γN e(r−|t|)λ (1 + |x|)−N dmn (x) (33)
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
f (z) = u(e−z ) (z ∈ Cn ) (34)

entonces f es entera, la restricción de f a Rn es la transformada de Fourier de u y existe una
constante γ < ∞ tal que
|f (z)| ≤ γ(1 + |z|)N er|Im(z)| (z ∈ Cn ) (35)

2. Reciprocamente, si f es una función entera en Cn que satisface la ecuación (35) para ciertos
N y γ , entonces existe u ∈ D0 (Rn ) con soporte en rB, tal que se cumple (34).
Observación 3.39. La notación û a veces se usa para denotar la extensión a Cn dada por (34). Por
lo tanto û(z) = u(e−z ) para z ∈ Cn . Esta extensión suele llamarse Transformada de Fourier-
Laplace de u.
Demostración.
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 transformación de Fourier
a veces pueden ser utilizadas para estudiar problemas locales. El Lema de Sovolev es ejemplo de
esto.
Denición 3.40. Una función compleja medible f, denida en una conjunto abierto Ω ⊂ Rn ,
se dice que es localmente L2 en Ω si
Z
|f |2 dmn < ∞
K
para todo compacto K ⊂ Ω.

Denición 3.41. Una distribución u ∈ D0 (Ω) es localmente L2 si existe una función g que es
localmente L2 en Ω, tal que
Z
u(φ) = gφdmn
Ω
para toda φ ∈ D(Ω).

Denición 3.42. Una función f tiene una distribución derivada Dα f si existe una función g
que es localmente L2 tal que
Z Z
gφdmn = (−1)|α| f Dα φdmn
Ω Ω
para toda φ ∈ D(Ω).

Denición 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 Ω.
Observación 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 función en
un conjunto abierto Ω ⊂ Rn cuyas distribuciones derivadas Dik f son localmente L2 en Ω, para
1 ≤ i ≤ n, 0 ≤ k ≤ r, entonces existe una función f0 ∈ C (p) (Ω) tal que f0 (x) = f (x) para x ∈ Ω
ctp.
Demostración. Existencia :
Por hipótesis, existen funciones gik que son localmente L2 en Ω y que satisfacen:
Z Z
k
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:


 ψ(x)f (x) si x ∈ Ω
F (x) =
0 si x ∈
/Ω

entonces F ∈ (L2 ∩ L1 )(Rn ).
Usaremos la siguente fórmula de Leibnitz:

X
Dα (f g) = cαβ (Dα−β f )(Dβ g)
β≤α

válida para toda f y g ∈ C ∞ (Ω).
En Ω, esta fórmula nos dá que:

r r
X r r−s
X r
Dir = s
(Di ψ)(Di f ) = (Dir−s ψ)gis
s s
s=0 s=0
En el complemento Ω0 del soporte de = 0. Estas dos distribuciones coinciden en Ω ∩ Ω0 .

ψ, Dir F
Por lo tanto, la Di F originalmente denida es una distribución en Rn , está actualmente en L2 (Rn ),
r
para 1 ≤ i ≤ n, pues las funciones (Dir−s ψ)gis están en L2 (Ω).
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  Z
pb
(1 + |y|) F (y) dmn (y) ≤ J (1 + |y|)2p−2r dmn (y)

 
Rn Rn
Z∞
= Jσn (1 + t)2p−2r tn−1 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

Por la parte 3. del Teorema de Inversión, Fω = F ctp en Rn . Mas aún, (39) implica que
y α Fb(y) ∈ L1 cuando |α| ≤ p. Iterando la demostración de la parte 3. del Teorema (3.12), concluimos
que
Fω ∈ C (p) (Rn ).
Nuestra función 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 función Fω0 ∈ C (p) (Rn ), que
coincide con f ctp en ω 0 . Luego, Fω0 = Fω en ω 0 ∩ ω . La función f0 querida puede ser denida en Ω
como:
f0 (x) = Fω (x) si x ∈ ω.


Referencias
[1] Walter Rudin, Functional Analysis.

[2] Walter Rudin, Fourier Analysis on groups.
[3] Walter Rudin, Real and Complex Analysis.
[4] Ricardo Durán, Análisis Armónico, apuntes de cátedra, curso 2010 (UBA)

Transformada de Fourier - Olea, Maria Mercedes - 2012 - Compressed PDF

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Transformada de Fourier - Olea, Maria Mercedes - 2012 - Compressed PDF

Cargado por

Copyright:

Formatos disponibles

Análisis Funcional

Facultad de Ciencias Exactas, Universidad Nacional de La Plata

En la segunda sección explicaremos nociones de la teoria de distribuciones que serán de util-

En la tercer sección estudiaremos la transformada de Fourier para funciones con dominios

1. Introducción a la transformada de Fourier 3

2. Introducción a la teoria de distribuciones 10

3. Distribuciones y la transformada de Fourier 18

Departamento de Matemática - UNLP Hoja 2 de 36

1. Introducción a la transformada de Fourier

1.1. La transformada de Fourier en R

Entonces, para todo x ∈ [−M, M ],

Por lo tanto, tendríamos que:

Departamento de Matemática - UNLP Hoja 3 de 36

esto motiva la siguiente

Observación 1.2. También usaremos para la transformada de Fourier la notación F := fb

2. Lo hacemos por densidad:

e−2πixξ b e−2πibξ e−2πiaξ ξ→∞

Departamento de Matemática - UNLP Hoja 4 de 36

Por Teorema de Convergencia Dominada podemos armar que fb es continua.

Proposición 1.4. Dada f ∈ L1 (R)

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

Departamento de Matemática - UNLP Hoja 5 de 36

Lema 1.5. (de Parseval)

Aplicando Teorema de Fubini obtenemos que

Observación 1.7. La transformada de Fourier en Rn se construye de manera análoga, es decir, si

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,

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

1.2. La transformada de Fourier en Rn

1. Si f ∈ L∞ (Rn ) y es continua en x, (f ∗ ϕt )(x) −→

Departamento de Matemática - UNLP Hoja 6 de 36

Demostración. 1. Primero observemos que como φ = 1 entonces φt = 1. Luego

y esta última integral tiende a cero cuando t → 0.

2. Por la desigualdad integral de Minkowski,

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

Teorema 1.10. 1. Si 1 ≤ p < ∞ y f ∈ L1 ∩ Lp , entonces

Departamento de Matemática - UNLP Hoja 7 de 36

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

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

Teorema 1.11. (de Inversión). Si f ∈ L1 (Rn ) y fb ∈ L1 (Rn ), entonces

Demostración. Considero g(x) = e−π|x| , como g es continua g(tξ) −→

Por Teorema anterior,

Por hipotesis, fb(ξ) ∈ L1 (Rn ) entonces

estamos bajo las condiciones del Teorema de Convergencia Dominada, entonces

Denición 1.12. Denimos la antitransformada de Fourier como

1.3. La transformada de Fourier en L2 (Rn )

Demostración. Sea g(x) = f (−x).

Departamento de Matemática - UNLP Hoja 8 de 36

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

Veamos ahora que h es continua:

Luego, como h ∈ L1 (Rn ) y h es continua en el orígen,

Luego bh ∈ L1 (Rn ). Aplicamos Teorema de Inversión:

Departamento de Matemática - UNLP Hoja 9 de 36

Por otro lado,

2. Introducción a la teoria de distribuciones

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

2.1. Conceptos previos

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

Observar que Tx : X → X dada por Tx (y) = x + y es un homeomorsmo, con lo cual podemos

Departamento de Matemática - UNLP Hoja 10 de 36

Denición 2.2. Una función p : X → R es una seminorma si dados x, y ∈ X y λ ∈ K, se cumple

1. Una familia F de seminormas de X se llama separadora si para cada par de puntos x 6= y

1. Un conjunto C ⊂ X se dice convexo si tC + (1 − t)C ⊂ C para todo 0 ≤ t ≤ 1.

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

Denición 1.12. Denimos la antitransformada de Fourier como

Observar que Tx : X → X dada por Tx (y) = x + y es un homeomorsmo, con lo cual podemos

Denición 2.2. Una función p : X → R es una seminorma si dados x, y ∈ X y λ ∈ K, se cumple

Denición 2.6. Sea X un EVT:

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

f (x + y) ≤ r + s < f (x) + f (y) +

Denición 2.8. Supongamos que X e Y son espacios vectoriales topológicos y ∆ : X → Y es lineal,

Denición 2.15. Sea Ω ⊂ Rn abierto no vacío.

Denición 2.23. Si u es una función en Rn y x ∈ Rn , denimos:

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

Esto hace que sea natural denir

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

Observación 3.3. Dadas f, g ∈ Rn , es conveniente redenir su convolución en términos de la

Denición 3.10. Sea f ∈ C ∞ (Rn ) tal que

entonces P f y gf ∈ ζn . La continuidad es consecuencia del Teorema del Gráco Cerrado.

fb(t0 ) − fb(t) e−ix1 − 1 −ix·t