Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Peter Hummelgens
12 de diciembre de 2006
F
(observe que lı́m significa lı́m ). Utilizamos la notación f (x) −→ fˆ(ω) para indicar que
|ω|→∞ ω→±∞
1
0
f ∈ L (R) nos puede llevar fuera de L1 (R)). Tenemos el resultado:
Z∞
f, fˆ ∈ L1 (R) =⇒ f (x) = eiωx fˆ(ω)dω c.s. enR
−∞
(4)
(fórmula de inversión). Cuando f, fˆ ∈ L1 (R) y f ∈ C(R), entonces
Z ∞
iωx ˆ
f (x) = e f (ω)dω; −∞ < x < ∞
−∞
F −1
El resultado (4) describe la situación donde podemos aplicar la TF inversa fˆ(ω) −→ f (x)
en L1 (R)
Una función f (x) de soporte compacto evidentemente pertenece a L1 (R), y para una f
tal podemos escribir TF como corchete:
F 1
f (x) −→ fˆ(ω) = < f (x), e−iwx >x (5)
2π
Como hicimos con la TL, podemos observar que el corchete tiene sentido cuando f es una
distribución f ∈ D 0 (R) de soporte compacto y tomar (5) como definición de la TF de una
distribución de soporte compacto (más adelante presentaremos una definición alternativa
para la TF de una cierta clase de distribución). Ası́ obtenemos con (5)
1 1 −iaω
F
δa (x) −→ < δa (x), e−iωx >x = e ,
2π 2π (6)
F 1
en particular δ(x) −→ .
2π
Si f ∈ D 0 (R) es de soporte compacto, también lo son fgen
0 00
, fgen , · · · y tenemos según (5)
n F 1 n 1
fgen (x) −→ < fgen (x), e−iωx >x = (−1)n < f (x), (−iω)n e−iωx >x
2π 2π
1
= (iω)n < f (x), e−iωx >x ,
2π
es decir,
F
(n)
fgen (x) −→ (iω)n fˆ(ω); n = 0, 1, 2, · · · . (7)
Esta fórmula es muy útil (igual como la fórmula análoga para la TL) para calcular TF de
manera eficiente (sin evaluar integrales)
Ejemplo 1. Sea (
1; −a < x < a
f (x) =
0; otro caso.
2
f(x)
1
−a 0 a x
0
Tenemos fgen (x) = δ−a (x) − δa (x)
F 1 iaω 1 sen(aω)
−→ (iω)fˆ(ω) = (e − e−iaω ) = 2i sen(aω) ⇒ fˆ(ω) = .
(6),(7) 2π 2π πω
con gráfica
fˆ (ω )
a
−π/a π/a
0 ω
De acuerdo con (3) tenemos lı́mω→±∞ ˆ(ω) = 0. Puede demostrarse que fˆ ∈ / L1 (R), es
decir, aquı́ tenemos un caso donde f ∈ L1 (R) ; fˆ ∈ L1 (R) como se enunció arriba.
Observe que fˆ ∈ C ∞ (R) en el ejemplo anterior. Esto siempre ocurre cuando f es de
soporte compacto porque en (5) podemos tomar las derivadas con respecto a ω según
dn ˆ 1 1
n
f (ω) = < f (x), (−ix)n e−iωx >x = < (−1x)n f (x), e−iωx >x
dω 2π 2π
(multiplicación de una distribución son una función C ∞ ), de modo que según (5) tenemos
F dn fˆ
(−ix)n f (x) −→ ; n = 0, 1, 2, · · · . (8)
dω n
Como veremos más adelante, la fórmula (7) vale también para cosas más generales, por
ejemplo f ∈ L1 (R) no necesariamente de soporte compacto.
3
Ejemplo 2. Sea f (x) = e−a|x| ; −∞ < x < ∞ con a > 0 una constante. Tenemos f ∈ L1 (R)
f(x)
ax −ax
e e
0 x
a f’ (x)
cl
ax
ae
−ae−ax
−a
Entonces
0
fgen (x) = fcl0 (x), f 00 (x) = fcl00 (x) − 2aδ(x)
F a
00
=⇒ fgen (x) = a2 f (x) − 2aδ(x) −→ (iω)2 fˆ(ω) = a2 fˆ(ω) −
(6),(7) π
a
=⇒ (a + ω )fˆ(ω) =
2 2
π
ˆ a
=⇒ f (ω) = , es decir (con (1))
π(a + ω 2 )
2
Z ∞
1 a
e−iωx e−a|x| dx = ; −∞ < ω < ∞
2π −∞ π(a + ω 2 )
2
4
fˆ (ω )
0 ω
Como evidentemente fˆ ∈ L1 (R) también, la fórmula de inversión (ver (4)) nos da in-
mediatamente
a ∞ eiωx
Z
−a|x|
e = dω ; −∞ < x < ∞
π −∞ a2 + ω 2
Ası́ calculamos dos integrales impropias de “aspecto complicado” con un mı́nimo de esfuerzo.
Z∞ µ Z ∞ ¶
1 −iωx (1)
= f (x) e ϕ(ω)dω dx =
2π −∞
−∞
Z∞
= f (x)ϕ̂(x)dx (utilizamos ϕ ∈ D(R) =⇒ ϕ ∈ L1 (R) ya que ϕ
−∞
es de soporte compacto)
Lamentablemente esta definición no tendrá sentido para todo T ∈ D 0 (R) ya que ϕ ∈ D(R) ;
ϕ̂ ∈ D(R), de modo que el corchete < T, ϕ̂ > puede no tener sentido para una T ∈ D 0 (R)
5
arbitraria (de hecho se puede demostrar que ϕ̂ nunca pertenece a D(R), excepto cuando
ϕ = 0). Vemos entonces que la TF de distribuciones puede ser definido solamente para
una cierta subclase de distribuciones. Este subespacio S 0 (R) ⊂ D 0 (R) vamos a definir más
adelante.
2. El espacio S(R).
Definimos S(R) como el espacio vectorial de todas las funciones complejas en C ∞ (R) que
juntos con cualquiera de sus derivadas tiende a 0 más rápido que cualquier exponente de
1
|x|
cuando x −→ ±∞ (es decir |x| → ∞). El espacio S(R) se llama el espacio de las funciones
de prueba de decrecimiento rápido (o espacio de las funciones de prueba de Schwartz).
Tenemos
1
S(R) ⊂ L (R) y
(10)
ϕ ∈ S(R) =⇒ ϕ̂ ∈ S(R).
La primera afirmación es evidente por la rapidez del decrecimiento a 0 de ϕ(x) cuando
R∞
|x| → ∞ (lo que garantiza la existencia de −∞ |ϕ(x)|dx). Demostramos ahora la segunda
afirmación. Tenemos ϕ ∈ S(R) =⇒ x` ϕ(x) pertenece a L1 (R) para todo entero ` ≥ 0, por lo
tanto según (8) tenemos ϕ̂ ∈ C ∞ (R). Además, para `, m ≥ 0 enteros,
Z ∞
(`) (8) 1
ϕ̂ (ω) = e−iωx (−x)` ϕ(x)dx
2π −∞
Z ∞
(7) m (`) 1 \
=⇒ (iω) ϕ̂ (ω) = e−iωx (−(x)` ϕ(x))(m) dx = ((−ix) ` ϕ(x))(m) (ω),
2π −∞
función acotada de ω por (3) =⇒ |ω m ϕ̂(`) (ω)| acotada para todo entero `, m > 0 =⇒ ϕ̂ ∈
S(R), lo que demuestra (10). Tenemos ahora
(10) (10)
ϕ ∈ S(R) =⇒ ϕ, ϕ̂ ∈ S(R) =⇒ ϕ, ϕ̂ ∈ L1 (R)
F −1
y tenemos ϕ̂ −→ ϕ. Tenemos entonces:
6
2 /2
Ejemplo 3. Sea f (x) = e−x ; −∞ < x < ∞ (una campana de Gauss). Esta función
2 /2
pertenece a S(R), calculemos su TF. Tenemos f 0 (x) = −xe−x , f 0 ∈ S(R) y f (x) es
solución del PVI (
f 0 (x) + xf (x) = 0; −∞ < x < ∞
(13)
f (0) = 1,
Tenemos
F
f 0 (x) + xf (x) = 0 −→ iω fˆ(ω) + ifˆ0 (ω) = 0 =⇒ fˆ0 (ω) + ω fˆ(ω) = 0,
(7),(8)
y además
Z∞ √
1
2π fˆ(0) =
2 /2
e−x dx = 2π (patrimonio cultural).
−∞
Entonces
√
g(ω) = 2π fˆ(ω)
es decir,
1
fˆ(ω) = √ e−ω /2 ,
2
2π
nuevamente una campana de Gauss. Ası́ fˆ ∈ S(R) también, como debe ser según (12). Via
cambio de variable se puede verificar (¡Ejercicio!)
ω2
−λx2 F 1 −
e −→ √ e 4λ , λ > 0.
2 πλ
De esto, y con (8) tenemos
ω2
2 /2 F 1 −
−xe−x −→ √ iωe 2
2π
ω2
−x2 /2 F 1 −
(x2 − 1)e −→ − √ ω 2 e 2 , · · · etc.
2π