Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Cap2 Fourier PDF
Cap2 Fourier PDF
propiedades y aplicaciones
1
2 Funciones de Schwartz y distribuciones temperadas
lı́m | x α D β φ( x )| = 0 ∀ α, β ∈ (N ∪ {0})d ,
| x |→∞
α ∂| β| φ
donde x α = x1α1 . . . xd d , D β φ = β β y | β| = β 1 + β 2 + . . . + β d . Un
∂x1 1 ...xd d
ejemplo obvio de funciones que pertenecen al espacio de Schwartz son las
de D(Rd ). La familia numerable de seminormas
kφkα,β = sup | x α D β φ( x )|
x ∈Rd
sop( T ) ⊂ B ⊂ sop(Φ) , Φ = 1 en B .
José L. López
4 Funciones de Schwartz y distribuciones temperadas
Obsérvese que para que esta definición tenga sentido es necesario que
se cumpla F [φ] ∈ S(Rd ), lo cual será verificado en breve por medio del
Teorema 3. En este mismo resultado se comprobará asimismo que la trans-
formada de Fourier de una distribución temperada es otra distribución
temperada.
A continuación estudiamos algunas de las propiedades más relevan-
tes de la transformada de Fourier. Para ello introducimos previamente las
definiciones correspondientes a la acción del operador de traslación sobre
una distribución temperada, la acción de una distribución temperada so-
bre una homotecia, y el producto de un polinomio, de un cambio de fase
y de una función de la clase de Schwartz por una distribución temperada:
Definición 3. Dados T ∈ S 0 (Rd ), α = (α1 , . . . , αd ) un multiíndice, λ ∈
R \ {0} y x, a ∈ Rd , se definen las siguientes distribuciones temperadas:
(i) x α T (φ) := T ( x α φ),
(ii) τa T (φ) := T (τ−a φ),
x
(iii) T (λx )(φ) := T |λ1|d φ λ ,
F [ D α φ ] = i |α| yα F [ φ ] , F [ ∂α T ] = i |α| x α F [ T ] .
Nótese que en estas identidades D α y ∂α denotan cualquier derivada
de orden α en el sentido clásico y distribucional, respectivamente.
(b) [Diferenciación de la transformada de Fourier] Para cualesquiera φ ∈
S(Rd ), T ∈ S 0 (Rd ) y α un multiíndice, se cumple
José L. López
6 Funciones de Schwartz y distribuciones temperadas
de donde se deduce
1
hφ, ψi L2 (Rd ) = hF [φ], F [ψ]i L2 (Rd ) Identidad de Parseval
(2π )d
1
k φ k L2 (Rd ) = d
kF [φ]k L2 (Rd ) Fórmula de Plancherel
(2π ) 2
(b) Se tiene
Z Z
−ix ·y
φ( x ) D α e−ix·y dx
D F [φ](y) = D
α α
φ( x ) e dx =
Z Rd Rd
( a) De f . 3 (i)
= (−1)|α| T i|α| yα F [φ] = (−i )|α| yα T F [φ]
(c) Se tiene
Z Z
−ix ·y
F [τa φ](y) = φ( x − a) e dx = φ(u) e−i(u+a)·y du
Rd Z Rd
−ia·y
= e φ(u) e−iu·y du = e−ia·y F [φ](y) .
Rd
José L. López
8 Funciones de Schwartz y distribuciones temperadas
(d) Se tiene
Z
τa F [φ](y) = φ( x ) e−ix·(y−a) dx = F [eia· x φ](y) .
Rd
De f . 3 (ii ) (c)
F [ T ] τ−a φ = T F [τ−a φ] = T eia·y F [φ]
τa F [ T ](φ) =
De f . 3 (iv)
eia·y T F [φ] = F eia·y T (φ) .
=
(e) Si λ 6= 0, se tiene
Z
F [φ(λx )](y) = φ(λx ) e−ix·y dx
Rd
1
Z
u 1 y
= φ(u) e−i λ ·y du = F [ φ ] .
|λ|d Rd |λ|d λ
En el caso distribucional
F [ T (λx )](φ) = T (λx ) F [φ]
x
De f . 3 (iii ) 1
= T d
F [φ] = T F [φ(λy)]
|λ| λ
De f . 3 (iii) 1 y
= F [ T ] φ(λy) = F [ T ] (φ) .
|λ|d λ
(f) Se tiene
Z Z Z
F [φ](y)ψ(y) dy = φ( x ) e−ix·y dx ψ(y) dy
Rd ZR
d Rd Z
= φ( x ) ψ(y) e−ix·y dy dx
ZR Rd
d
= φ( x )F [ψ]( x ) dx .
Rd
(g) Se tiene
Z
F [φ ∗ ψ](y) = (φ ∗ ψ)( x ) e−ix·y dx
ZR
d
Z
= φ( x − ξ )ψ(ξ ) dξ e−ix·y dx
ZR Rd
d
Z
−iξ ·y
= ψ(ξ ) e φ( x − ξ )e−i( x−ξ )·y dx dξ
Rd Rd
= F [φ](y)F [ψ](y) .
Por otra parte, al tener en cuenta la interpretación distribucional de la
convolución se obtiene lo siguiente:
F [ T ∗ φ](ψ) = ( T ∗ φ) F [ψ] = T Rφ ∗ F [ψ]
1 1
= T F F [ φ ] ψ = F [ T ] F [ φ ] ψ
(2π )d (2π )d
De f . 3 (v) 1
= F [φ]F [ T ](ψ) ,
(2π )d
donde se ha usado que F 2 [φ] = (2π )d Rφ en virtud del cálculo siguiente:
Z Z Z
−iy·z −ix ·y
2
F [φ](z) = F [φ](y)e dy = φ( x )e dx e−iy·z dy
R d R d R d
Z Z Z
= e−iy·( x+z) dy φ( x ) dx = F [1]( x + z)φ( x ) dx
Rd Rd Rd
Z
Ejemplo 2 ( a)
= (2π )d δ0 ( x + z)φ( x ) dx = (2π )d ( Rφ)(z) . (7)
Rd
(h) La continuidad de F [φ] se desprende de la siguiente desigualdad:
Z
|φ( x )|e−ix·y − e−ix·y0 ,
F [φ](y) − F [φ](y0 ) ≤
Rd
pues basta con tomar una sucesión {yn } → y0 y observar que el integran-
do está acotado por 2|φ( x )| y converge puntualmente hacia cero. Entonces
el teorema de la convergencia dominada nos permite concluir.
Que F [φ] es una función acotada es de verificación inmediata, pues
|F [φ](y)| ≤ kφk L1 (Rd ) para todo y ∈ Rd .
Comprobemos finalmente que {F [φ](y)} tiende a cero cuando |y| →
∞. Para ello escribimos
Z Z
−ix ·y
F [φ](y) = φ( x )e dx = − φ( x )e−i( x·y+π ) dx
Rd Rd
Z πy
Z
−i x + ·y πy
= − φ( x )e | y |2 dx = − φ z − 2 e−iz·y dz ,
Rd Rd |y|
José L. López
10 Funciones de Schwartz y distribuciones temperadas
luego
Z
πy −iz·y
2 F [φ](y) =
φ(z) − φ z − 2 e dz
Rd |y|
Z πy
≤ ( z ) − z − dz .
φ φ
| y |2
Rd
| y |2
Como G (0) = 1 y F [ G ](y) = e− 4π (véase el Ejemplo 2 (c) más abajo),
podemos reescribir (9) de la siguiente forma:
Z
F [φ](y) dy = (2π )d φ(0) . (10)
Rd
José L. López
12 Funciones de Schwartz y distribuciones temperadas
José L. López
14 Funciones de Schwartz y distribuciones temperadas
F [1] = (2π )d δ0 .
√ y2
2 2 π − 4α2
(c) F [e−α x ](y)= |α|
e . En efecto, completando cuadrados en el
integrando se obtiene
Z ∞ y2
Z ∞
2 x2 2 x2 −ix · y − i 2
F [ e−α ](y) = e−α dx = e 4α2 e−(αx+ 2α y) dx
−∞ −∞
Z ∞
1 − y22 1 − y22
Z
−(λ+ 2αi y)2 − u2
= e 4α e dλ = e 4α e du .
|α| −∞ |α| Im(u)= 2αy
Basta entonces con verificar que la recta del plano complejo Im(u) =
y
2α puede transportarse al eje real Im( u ) = 0, ya que en ese caso po-
dríamos escribir
Z Z ∞ √
− u2 2
e du = e−λ dλ = π, (14)
Im(u)= 2αy −∞
2
Como la función e−u es holomorfa y c R una curva cerrada, para todo
R > 0 se tiene que
Z
2
e−u du = 0 , u = λ + iτ , (15)
cR
luego
nZ 2
Z
2
o Z ∞ 2
Z
2
0 = lı́m e−u du + e−u du = e−λ dλ − y
e−u du ,
R→∞ c3R c1R −∞ τ = 2α
(d) Si d = 3,
2π 2
1
F = .
| x |2 |y|
1
En primer lugar observamos que la función f ( x ) = | x |2
pertenece
a L1loc (R3 ) y decae en infinito, por lo que puede identificarse con la
distribución temperada T f : S(Rd ) → R definida como T f (φ) =
R φ( x )
R3 | x |2 dx (cf. Ejercicio 3). Teniendo en cuenta que
Z ∞ Z ∞
1 1 d 2 | x |2 2 | x |2
e−πt te−πt
2
=− 2 dt = 2π dt ,
|x| |x| 0 dt 0
José L. López
16 Funciones de Schwartz y distribuciones temperadas
r c1R
c2R c4R
-R 0 c3R R
se tiene que
F [φ]( x )
Z
F [ T f ](φ) = T f F [φ] = dx
R 3 | x |2
Z Z ∞
2 2
= 2π te−πt | x| dt F [φ]( x ) dx
ZR∞ Z
3 0
−πt2 | x |2
= 2π t e F [φ]( x ) dx dt
0 R3
Z ∞ Z 2
1 − |x| 2
= 2π 2
e 4πt φ( x ) dx dt ,
0 t R3
1 | x |2
Z Z
−πt2 | x |2 −
e F [φ]( x ) dx = 3 e 4πt2 φ( x ) dx
R3 t R3
es
2
F χ[−a,a] (y) = sen( ay) .
y
2 2 2 2
eiα| x| = eiαx1 eiαx2 . . . eiαxd ,
José L. López
18 Funciones de Schwartz y distribuciones temperadas
p
ÄÄÄÄ
4
>
0 A
R→∞ 0 1
R2
n 1
1 o
−αR2 sen 2 π
≤ lı́m R 2 +e R2 − 2 = 0.
R→∞ R 4 R
π
√
Por otro lado, a lo largo de BO se tiene que z = ξei 4 = 22 (1 + i )ξ (la
parte angular se mantiene fija y cambia solo el radio), con ξ variando
19
R∞ √
2
Como 0 e−ξ dξ = π
2 , al pasar al límite R → ∞ en (18) se deduce
Z ∞ √
iαξ 2 2π (1 + i )
e dξ = √ . (19)
0 4 α
Finalmente,
√ !d
2π (1 + i ) | y |2
iα| x |2
e −i
F e (y) = √ 4α .
2 α
José L. López
20 Funciones de Schwartz y distribuciones temperadas
y2
f (y, α) = C (α)e−i 4α , (23)
∂f h 2
i ∂2 f
(y, α) = F ix2 eiαx (y) = −i 2 (y, α) ,
∂α ∂y
∂f ∂2 f
(y, α) + i 2 (y, α) = 0 . (24)
∂α ∂y
21
f ( x ) = k e−h x,Axi+hb,xi ,
donde k ∈ R, A es una matriz real simétrica y definida positiva y b ∈ Rd .
Esta caracterización fue demostrada por E. Lieb en [Li].
Demostración. Claramente F : L1 (Rd ) → L∞ (Rd ) y, en virtud del teore-
ma de Plancherel (Teorema 4), también F : L2 (Rd ) → L2 (Rd ). Además, se
tiene que
d
kF [ f ]k L∞ (Rd ) ≤ k f k L1 (Rd ) , kF [ f ]k L2 (Rd ) = (2π ) 2 k f k L2 (Rd ) .
José L. López
22 Aplicación I: cálculo de la solución fundamental
d
∂2 u
−∆u = − ∑ 2 = f (26)
i =1 ∂xi
F [ f ](y)
F [u](y) = ,
| y |2
por lo que
F [ f ](y)
−1
u( x ) = F .
| y |2
Utilizando ahora la parte (g) del Teorema 1 encontramos
−1 1
u( x ) = f ∗F (x) . (28)
| y |2
23
h i R∞
Calculamos seguidamente . Como F −1 1
| y |2
1
α = 0 e−αt dt para todo
∞ 2
α > 0, se tiene que |y1|2 = 0 e−|y| t dt. Entonces
R
Z ∞ Z
1
−1 1 ix ·y−|y|2 t
F = e dy dt . (29)
| y |2 (2π )d 0 Rd
√
Si consideramos ahora z = bx − √a i para cualesquiera a, b ∈ R con
2 b
b > 0, es fácil comprobar que
2
e−a /4b
Z Z
2iax −bx2
e dx = √ e−z dz ,
R b Γ
n o
donde Γ = z ∈ C : Im(z) = − √a . Deformando Γ en el eje real se tiene
2 b
Z Z ∞ √
2 2
e−z dz = e− x dx = π.
Γ −∞
Por tanto, r
2
Z
iax −bx2 − a4b π
e dx = e . (30)
R b
Finalmente
Z d Z π 2d | x |2
ix j y j −y2j t
Rd
e ix ·y−|y|2 t
dy = ∏ e dy j =
t
e− 4t (31)
j =1 R
Ejemplo 4 (Ecuación del calor). Consideramos el siguiente problema de
valores iniciales para la ecuación del calor:
∂t ( x, t ) − ∆u ( x, t ) = 0 en R × (0, ∞ ) .
d
∂u
(33)
u( x, 0) = u0 ( x ) en Rd
José L. López
24 Aplicación I: cálculo de la solución fundamental
1 1 | x |2
Z
2 2 d
F −1 [e−|y| t ]( x, t) = eix·y−|y| t dy = √ d t− 2 e− 4t .
(2π )d Rd (2 π )
1 | x − y |2
Z
u( x, t) = d
e− 4t u0 (y) dy , x ∈ Rd , t > 0 . (35)
(4πt) 2 Rd
∂t ( x, t ) + ∆u ( x, t ) = 0 en R × (0, ∞ ) ,
d
i ∂u
(36)
u( x, 0) = ϕ( x ) en Rd
1 i | x − y |2
Z
u( x, t) = d
e 4t ϕ(y) dy x ∈ Rd , t > 0 (37)
(4πit) 2 Rd
José L. López
26 Aplicación II: teoría de la señal
F [u1 ](y)
A = F [u0 ](y) , B= ,
|y|
de donde
F [u0 ](y) i|y|t i F [u ](y)
1
F [u](y, t) = e + e −i | y | t − ei | y | t − e −i | y | t .
2 2| y |
Por tanto,
para todo x ∈ Rd y t ≥ 0.
u( x ) = ∑ an einωx ,
n ∈N
o bien el
José L. López
28 Aplicación II: teoría de la señal
Φ( x )
Z
1
V.P. (Φ) := lı́m dx , ∀Φ ∈ S(Rd ) .
x ε → 0+ | x |>ε x
Comprueba que se trata de una distribución temperada.
4. Considérese la función f : R → R definida como
1 − | x | si | x | ≤ 1 ,
f (x) = .
0 si | x | > 1
sin(t) 4
Z ∞
2π
dt = .
−∞ t 3
29
30 Ejercicios
7. Sea
n o
− a ( x − b )2
G = u a,b : R → R, u a,b ( x ) := e : a > 0, b ∈ R
f t + v f x = f vv + (v f )v + f xv + f xx .
∆( x ) = ∑ δ( x − nT ) .
n ∈Z
13. En este ejercicio estudiamos los valores propios y las funciones pro-
d
pias del operador transformada de Fourier T = (2π )− 2 F .
José L. López
32 Ejercicios
1
V (x) = ∗f
|x|
el potencial coulombiano generado por f . Demuestra la siguiente de-
sigualdad:
5 1 2
kF [V ]k L1 (R3 ) ≤ 3(2π ) 3 k f k L3 1 (R3 ) k f k L3 2 (R3 ) .
|F [ψ](y)|2
Z
dy = C (ψ) < ∞ .
R |y|
1
Z x − b
w[ f ]( a, b) = p f ( x )ψ dx .
| a| R a
1
Z Z Z
w[ f ]( a, b)w[ g]( a, b) da db = C (ψ) f ( x ) g( x ) dx .
R R | a |2 R
1
Z
F xd 7→ξ d [u](ξ d ) = F x7→ξ [ f ](ξ ) dξ 1 . . . dξ d−1 .
(2π )d−1 Rd −1
José L. López
34
(a) Se tiene
Z ∞ Z 1
−ixy
F [ f ](y) = f (x) e dx = (1 − | x |) e−ixy dx
−∞ −1
Z 0 Z 1
= (1 + x ) e−ixy dx + (1 − x ) e−ixy dx
−1 0
Z 1 Z 0 Z 1
−ixy −ixy
= e dx +
xe dx − x e−ixy dx
−1 −1 0
i −iy
iy
d 1 iy −iy
= e −e − 2−e −e
y dy y
d 1 − cos(y) 1 − cos(y)
2
= sen(y) − 2 =2 .
y dy y y2
0.8
0.6
0.4
0.2
-10 -5 5 10
∞
Z
0 ≤ lı́m |F [ f ]( x ) − f n ( x )| dx
n→∞ −∞
Z ∞
1 − cos( x )
= 2 lı́m 1 − χ(−n,n) dx
n→∞ −∞ x2
Z −n Z ∞
1 − cos( x ) 1 − cos( x )
= 2 lı́m dx + dx
n→∞ −∞ x2 n x2
1 ∞
Z ∞
1 − cos( x )
= 4 lı́m dx ≤ 8 lı́m − = 0.
n→∞ n x2 n→∞ x n
2
1 − cos(2x )
1 sen( x )
F [ f ](2x ) = = ,
2 x2 x
3 Obsérvese que cada una de las funciones f n es (Riemann) integrable en R por ser
continua y acotada en el intervalo (−n, n)
José L. López
36
1 1/p
k f k L p (R) = √ ,
p
mientras que, por otra parte,
!1/p0
y2 2π
− 4π
F [ f ](y) = e y kF [ f ]k L p0 (R) = .
p0
p
0.04
0.02
2 3 4 5
-0.02
-0.04
-0.06
-0.08
o equivalentemente
José L. López
38
∂F [ f ] ∂F [ f ]
− 2π (η − ξ ) = −(ξ 2 + η 2 + ξη )F [ f ] .
∂t ∂ξ
es decir,
Φ(t) = η − ξ , Θ(t) = ξ − 2π (η − ξ )t .
Es claro que
d
F [ f ](t, Φ(t), Θ(t))
dt
= −(Θ(t)2 + Φ(t)2 + Θ(t)Φ(t))F [ f ](t, Φ(t), Θ(t)) ,
de donde resulta
Rt
− Θ(s)2 +Φ(s)2 +Θ(s)Φ(s) ds
F [ f ](t, η − ξ, ξ − 2π (η − ξ )t) = e 0
Rt
− η 2 +ξ 2 −ηξ −2π (η 2 −ξ 2 )s+4π 2 (η −ξ )2 s2 ds
=e 0
2 2 2 2 2 4 2 2 3
= e−(η +ξ −ηξ )t+π (η −ξ )t − 3 π (η −ξ ) t
2nπ
Φ( x ) := ∑ ϕ x + .
n ∈Z
T
Apéndice: Soluciones a algunos de los ejercicios planteados 39
Φ( x ) = ∑ ck eikTx ,
k ∈Z
con
1 1
n −ikTx
Z Z
∑
T T
ck = T Φ( x ) e−ikTx dx = T ϕ x + e dx
0 0 n ∈Z
T
1 n +1
n
Z Z
2nπ
∑ ∑
T −ikTx T
=T ϕ x+ e dx = T ϕ(y) e−ikT (y− T ) dy
n ∈Z 0
T n ∈Z
n
T
Z
=T ϕ(y) e−ikTy dy = T F [ ϕ](kT ) .
R
Luego
Φ( x ) = T ∑ F [ ϕ](nT ) einTx .
n ∈Z
2
12. Sí. Porque la función gaussiana f ( x ) = e−π | x| proporciona la igual-
dad.
José L. López
40
F[f]
F [u] = ,
F e−| x| − 2
donde
Z ∞
F e−|x| (y) = e−| x| e−ixy dx
−∞
Z 0 Z ∞
2
= e x e−ixy dx + e− x e−ixy dx = .
−∞ 0 1 + y2
Por consiguiente
(1 + y2 )F [ f ](y)
F [u](y) = − ,
2y2
1 −1 (1 + y2 )F [ f ] −1 F [ f ]
1
u=− F =− F +f .
2 y2 2 y2
1 n −1 o 1
u=− F [−F [ g]] + f = ( g − f ) .
2 2
i i ∞
Z
F [ f ](y) = f ( x )e−ix·y dx
2 2 −∞
i ∞ 1 ∞
Z Z
= f ( x ) cos( xy) dx + f ( x ) sen( xy) dx
2 −∞ 2 −∞
Z ∞
= f ( x ) sen( xy) dx ,
0
debido a la imparidad de f .
16. Es fácil comprobar (cf. Ejemplo 2 (e)) que
1
4π
kF [V ]k L1 (R3 ) =
F
∗f
=
2 F [ f ]
1 3 .
|x| L 1 ( R3 ) |x| L (R )
José L. López
42
19. Recordamos en primer lugar que
1
Z
f ( x ) = F −1 [F [ f ]]( x ) = F [ f ](ξ ) eix·ξ dξ ,
(2π )d Rd
de modo que
1
Z
u( xd ) = f (0, . . . , 0, xd ) = F [ f ](ξ ) eixd ξ d dξ
(2π )d Rd
Z
1 −1
= F F [ f ](ξ ) dξ 1 . . . dξ d−1 .
(2π )d−1 ξ d 7→ xd Rd−1
Para concluir basta con tomar la transformada de Fourier en ambos
miembros de la igualdad.
José L. López
44
Bibliografía
[DMc] Dym, H., McKean, H. P., Fourier Series and Integrals. Acade-
mic Press, Nueva York, 1972.
45