Ecuaciones diferenciales A/B - 2020 (primer cuatrimestre)

Docentes: Nicolas Saintier y Andrea Ceretani

Universidad de Buenos Aires

ALGUNOS EJERCICIOS RESUELTOS

TEMAS DE LA PRÁCTICA 3
Los siguientes ejercicios resueltos pueden servir de ejemplo para abordar los ejer-
cicios de la Práctica 3. Antes de cada ejercicio se recuerdan algunas definiciones o
resultados que se utilizan en la resolución.

Definición 1 (Transformada de Fourier, ver [1]). La transformada de Fourier

fˆ de una función f ∈ L1 (Rn ) se define por
Z
Ff (y) = fˆ(y) := f (x)e−2iπx·y dx para y ∈ Rn .
Rn

Aquı́ i es la unidad imaginaria y eiz := cos(z) + i sin(z) para z ∈ R.

Teorema 1 (Ver [1] y [2]). Para cada t > 0 se define

2
Gt (x) = t−n/2 e−π|x| /t
para x ∈ Rn . (3.1)

Esta función satisface la siguientes propiedades:

R
1. Rn
Gt (x) dx = 1 para cualquier t > 0.

Gt (x) dx → 0 cuando t → 0+ , para cualquier δ > 0.

R
2. |x|≥δ
2
3. Gt (y − α) = F(x 7→ e2iπx·α e−tπ|x| )(y) para cualquier α ∈ Rn .

Kt (x) := G4πt (x) se conoce como núcleo del calor.

Ejercicio 1. Se dice que una función f : R → C tiene crecimiento moderado si es

continua y existe una constante A > 0 tal que
A
|f (x)| ≤ para todo x ∈ R.
1 + |x|2

Notar que si f tiene crecimiento moderado entonces f ∈ L1 (R) y por lo tanto tiene
sentido considerar su transformada de Fourier. Notar, además, que cualquier función
en S(Rn ) (ver Definición (2) más abajo) tiene crecimiento moderado.
1. (Fórmula de multiplicación). Si f y g tienen crecimiento moderado entonces
Z Z
f (x)ĝ(x) dx = fˆ(x)g(x) dx.
R R

2. (Fórmula de inversión). Si f tiene crecimiento moderado y su transformada

de Fourier fˆ también, entonces
Z
f (x) = fˆ(y)e2iπxy dy
R
1
 Ecuaciones diferenciales A/B - 2020 (primer cuatrimestre)

Nota. La fórmula de inversión caracteriza f como una integral donde intervienen senos
y cosenos acompañados de coeficientes que dependen de f . Para el caso más general,
en dimensión n, la fórmula de inversión establece:
Z Z Z
f (x) = fˆ(y)e2iπxy dy = fˆ(y) cos(2πxy) dy + i fˆ(y) sin(2πxy) dy.
Rn Rn Rn

Notar la analogı́a entre esta caracterización y la representación en serie de Fourier de

de una función periódica. En particular, notar la analogı́a entre el rol desempeñado
por la transformada de Fourier de f y los coeficientes de Fourier en el desarrollo en
serie. Más detalles acerca de esta relación pueden consultarse en [2, 3].

Resolución del Ejercicio 1.

1. Sean f y g funciones con crecimiento moderado. Entonces,
Z Z Z 
f (x)ĝ(x) dx = f (x) g(y)e−2iπxy dy dx
R R R
Z Z Z Z
−2iπxy
= f (x)g(y)e dy dx = f (x)g(y)e−2iπxy dx dy
R R R R
Z Z  Z
= g(y) f (x)e−2iπxy dx dy = fˆ(y)g(y) dy.
R R R

Para intercambiar el orden de integración en la tercera igualdad hemos tenido

en cuenta lo siguiente: Si F (x, y) := f (x)g(y)e−2iπxy entonces:
Z Z
|F (x, y)| dx ≤ |g(y)| |f (x)| dx = |g(y)|kf k1 para cada y ∈ R,
R
Z Z  ZR
|F (x, y)| dx dy ≤ kf k1 |g(y)| dy = kf k1 kgk1 .
R R R

Luego, F ∈ L1 (Rn × Rn ) (teorema de Tonelli) y por lo tanto es posible

intercambiar el orden de integración (teorema de Fubini).
2. Sea f una función de crecimiento moderado tal que fˆ también tiene creci-
miento moderado.
Paso 1. Vamos a probar primero que, para cada x ∈ R, se tiene:

(f ∗ Gt )(x) → f (x) cuando t → 0+ , (3.2)

donde Gt esta definido por (3.1).

Para ello, fijamos un x ∈ R y comenzamos por observar que
Z Z 
 
|(f ∗ Gt )(x) − f (x)| =  f (x − y)Gt (y) dy − f (x) Gt (y) dy 

ZR R

≤ |f (x − y) − f (x)|Gt (y) dy
R

Como f es continua en x, dado ε > 0 existe δ = δ(x) tal que

|f (x − y) − f (x)| < ε si |y| < δ.

2
 Saintier, Ceretani

Entonces,

|(f ∗ Gt )(x) − f (x)|

Z Z
≤ |f (x − y) − f (x)|Gt (y) dy + |f (x − y) − f (x)|Gt (y) dy
|y|<δ |y|>δ
Z Z
≤ ε Gt (y) dy + 2kf k∞ Gt (y) dy
R |y|>δ
Z
= ε + 2kf k∞ Gt (y) dy.
|y|>δ

Haciendo t → 0+ obtenemos

lı́m sup |(f ∗ Gt )(x) − f (x)| ≤ ε,

t→0+

para cualquier ε > 0, de donde sigue (3.2).

Paso 2. Sea x ∈ R y consideremos t > 0. Por comodidad en lo que sigue,
2
anotamos v(z) := e2iπxz e−tπz para z ∈ R. Notar que Gt (y − x) = v̂(y).
Usando la convergencia probada en el paso anterior y la fórmula de multipli-
cación, vemos que
Z
f (x) = lı́m (f ∗ Gt )(x) = lı́m f (y)Gt (x − y) dy
t→0+ t→0+ R
Z Z
= lı́m+ f (y)Gt (y − x) dy = lı́m+ f (y)v̂(y) dy
t→0 t→0
ZR Z R
2
= lı́m+ fˆ(y)v(y) dy = lı́m+ fˆ(y)e2iπxy e−tπy dy
t→0 R t→0 R
Z Z
2
= fˆ(y)e 2iπxy
lı́m+ e−tπy
dy = fˆ(y)e2iπxy dy.
R t→0 R

El intercambio del lı́mite con la integral sigue del teorema de la convergencia

dominada, ya que:
2
fˆ(y)e2iπxy e−tπy → fˆ(y)e2iπxy cuando t → 0+ ,

para todo y ∈ R y
2
|fˆ(y)e2iπxy e−tπy | ≤ |fˆ(y)|,

para todo y ∈ R, siendo |fˆ| integrable en R.

Ejercicio 2.
1. Verificar que la función f definida por f (x) = e−a|x| para x ∈ R, donde a > 0
está dado, tiene crecimiento moderado y hallar su transformada de Fourier.
2. Usar el ı́tem anterior para demostrar que
Z ∞
cos(zx) π
2 2
dz = e−a|x| . (3.3)
−∞ a + z a

Resolución.
3
 Ecuaciones diferenciales A/B - 2020 (primer cuatrimestre)

1. Para ver que f tiene crecimiento moderado basta observar que

(1 + x2 )e−a|x| → 0 cuando |x| → ∞.
Calculemos ahora su transformada de Fourier. Para y ∈ R, se tiene:
Z Z 0 Z +∞
fˆ(y) = e−a|x| e−2iπxy dx = e(−2iπy+a)x dx + e(−2iπy−a)x dx
R −∞ 0
(−2iπy+a)x 0
+∞
e(−2iπy−a)x 

e 1 1
=  + = +
−2iπy + a −∞ −2iπy − a 0 −2iπy + a 2iπy + a
2a
= 2 .
a + (2πy)2
2. Como f y fˆ tienen crecimiento moderado, vale la fórmula de inversión (ver
Ejercicio 1-2). Entonces, se tiene que
Z Z  
ˆ 2iπxy 2a
f (x) = f (y)e dy = e2iπxy dy
R a2 + (2πy)2
Z Z
2a cos(2πxy) 2a sin(2πxy)
= 2 + (2πy)2
dy + i 2 2
dy.
R a R a + (2πy)

Observando que f es una función a valores reales, resulta:

Z
2a cos(2πxy)
2 + (2πy)2
dy = e−a|x| .
R a
Haciendo el cambio de variables 2πy = z se obtiene (3.3).
Nota. Observar que f no pertenece a la clase de Schwartz (ver la Definición 2 a
continuación).

Definición 2 (Clase de Schwartz: Funciones de decrecimiento rápido, ver

[1]). Se define la clase de Schwartz S como el conjunto de todas las funciones
f ∈ C ∞ (Rn ; C) tales que

sup (1 + |x|k )|Dα f (x)| < ∞ para todo k ∈ N0 y todo multi-ı́ndice α ∈ Nn0 .
x∈Rn

Teorema 2 (Identidad de Plancherel, ver [1]). Si f ∈ S entonces kf k2 = kfˆk2 .

Ejercicio 3. Demostrar que para f, g ∈ S se tiene (f, g)L2 (Rn ) = (fˆ, ĝ)L2 (Rn ) , es decir:
Z Z
f (x)g(x) dx = fˆ(y)ĝ(y) dy. (3.4)
Rn Rn

Resolución. Sean f, g ∈ S. Notar que f + g ∈ S y f − g ∈ S. Usando la identidad de

Plancherel para f + g y f − g, obtenemos:
Z Z
(f 2 + 2f g + g 2 ) dx = (fˆ2 + 2fˆĝ + ĝ 2 ) dx,
Rn Rn
Z Z
2 2
(f − 2f g + g ) dx = (fˆ2 − 2fˆĝ + ĝ 2 ) dx.
Rn Rn

4
 Saintier, Ceretani

Restando miembro a miembro estas igualdades se obtiene que (3.4).

Teorema 3 (Ver [1]). La clase de Schwartz S está contenida en Lp (Rn ) para

todo 1 ≤ p ≤ ∞.

Teorema 4 (Ver [1]). Para f, g ∈ L1 (Rn ) se tiene que

F(f ∗ g) = fˆ ĝ.

Definición 3 (Antitransformada de Fourier, ver [1]). La antitransformada de

Fourier fˇ de una función f ∈ L1 (Rn ) se define por
Z
F −1 f (x) = fˇ(x) := f (y)e2iπx·y dx para x ∈ Rn .
Rn

Notar que si f y fˆ tienen crecimiento moderado entonces f = F −1 fˆ (ver

Ejercicio 1). Más generalmente, vale el siguiente teorema.

Teorema 5 (La transformada de Fourier en la clase de Schwartz, ver [1]).

1. Si f ∈ S entonces fˆ ∈ S.
2. Si f ∈ S entonces f = F −1 fˆ.
Más generalmente, vale que si f, fˆ ∈ L1 (Rn ) entonces f = F −1 fˆ (ver slides de
teorı́a).

Ejercicio 4. Demostrar que la clase de Schwartz S es cerrada con respecto al producto

y la convolución, es decir, si f, g ∈ S, entonces f g ∈ S y f ∗ g ∈ S.
Resolución. Sean f, g ∈ S. Vamos a ver primero que f g ∈ S. Como f y g son infinita-
mente diferenciables en Rn , f g también lo es. Consideremos ahora j ∈ N0 y α ∈ Nn0 .
Usando la fórmula de Leibniz:
X α 
Dα f g = Dβ f Dα−β g,
β
β:β≤α

donde β ≤ α se entiende componente a componente y

 
α α!
:= donde γ! := γ1 ! . . . γn ! para γ := (γ1 , . . . , γn ),
β β!(α − β)!
vemos que
X α 
j α
sup (1 + |x| )|D f g(x)| ≤ sup (1 + |x|j )|Dβ f (x)||Dα−β g(x)|.
x∈R n β x∈Rn
β:β≤α

5
 Ecuaciones diferenciales A/B - 2020 (primer cuatrimestre)

Usando ahora que Dα−β g ∈ S ⊂ L∞ (Rn ) para cada β, obtenemos (notar que la suma
es finita):
X α 
sup (1 + |x|j )|Dα f g(x)| ≤ kDα−β gk∞ sup (1 + |x|j )|Dβ f (x)| < ∞.
x∈Rn β x∈Rn
β:β≤α

Entonces f g ∈ S.
Veamos ahora que f ∗ g ∈ S. Usando que F es una biyección de S en S, se tiene
que existen F, G ∈ S tales que F̂ = f y Ĝ = g. Luego,

S 3 F −1 (f g) = F −1 (F̂ Ĝ) = F −1 (F(F ∗ G)) = F ∗ G.

En el último paso hemos usado la fórmula de inversión en L1 (Rn ). Notar que F ∗ G ∈

L1 (Rn ) y F(F ∗ G) = f g ∈ S ⊂ L1 (Rn ).

∂f
Teorema 6 (Ver [1]). Sean f ∈ C 1 (Rn ) y j ∈ {1, . . . , n}. Si ∂xj ∈ L1 (Rn ),
entonces
 
∂f
F (y) = 2iπyj fˆ(y) para y ∈ Rn .
∂xj

2
∂f ∂ f
Notar que si f ∈ C 2 (Rn ) es tal que f, ∂x j
, ∂x2 ∈ L1 (Rn ) entonces
j

!
∂2f
F (y) = (2iπyj )2 fˆ(y) = −4π 2 yj2 fˆ(y) para y ∈ Rn .
∂x2j

2
Teorema 7 (Ver [1]). Sea α > 0. Si f (x) := e−α|x| para x ∈ Rn , entonces
 π n/2 2
|y|2 /α
fˆ(y) = e−π para y ∈ Rn .
α

Ejercicio 5. (ver Ejercicio 5.4.1 en [1]). Usar la transformada de Fourier para hallar
una solución explı́cita del siguiente problema de valores iniciales para la ecuación del
calor:
∂u
(x, t) = ∆u(x, t) (x, t) ∈ Rn × (0, ∞), u(x, 0) = f (x) x ∈ Rn , (3.5)
∂t
donde f ∈ S.
Resolución. La estrategia que seguiremos consiste en determinar una solución formal
de (3.5) y luego verificar que la misma define una solución clásica.
Solución formal. Supongamos que (3.5) admite una solución u. A continuación de-
terminaremos una fórmula explı́cita para u a partir de realizar una serie de cálculos
formales.
6
 Saintier, Ceretani

Sea t > 0. Aplicando la transformada de Fourier con respecto a x miembro a

miembro de la ecuación del calor, obtenemos:
∂ û
(ξ, t) = −4π 2 |ξ|2 û(ξ, t) para ξ ∈ Rn . (3.6)
∂t
Ahora consideramos ξ ∈ Rn (fijo) y observamos que (3.6) es una ecuación di-
ferencial ordinaria primer orden con coeficientes constantes para û(ξ, ·). La solución
general de esta ecuación está dada por
2
t|ξ|2
û(ξ, t) = C(ξ)e−4π para t > 0.

Aplicando ahora la transformada de Fourier miembro a miembro de la condición

inicial, obtenemos:

û(ξ, 0) = fˆ(ξ) para ξ ∈ Rn .

Entonces, debe ser

2
t|ξ|2
û(ξ, t) = fˆ(ξ)e−4π para (ξ, t) ∈ Rn × [0, ∞). (3.7)

Teniendo en cuenta ahora que

2
t|ξ|2 2
e−4π = K̂t (ξ) donde Kt (x) := (4πt)−n/2 e−|x| /4t
,

vemos que

û(ξ, t) = F(f ∗ Kt )(ξ) para (ξ, t) ∈ Rn × (0, ∞).

Aplicando la antitransformada de Fourier, siempre con respecto a la variable x,

miembro a miembro de la última expresión, obtenemos:
Z
1 2
u(x, t) = (f ∗Kt )(x) = n/2
f (z)e−|x−z| /4t dz para (x, t) ∈ Rn ×(0, ∞).
(4πt) Rn
(3.8)
Análisis de la solución formal. Supongamos que f ∈ S. Vamos a ver ahora que la
función u dada por (3.8) cuando t > 0 y u(x, 0) = f (x) para t = 0, es decir u dada
por (3.7), está bien definida y que define una solución del problema (3.5).
Primero observamos que para todo t > 0 resulta u(·, t) ∈ S por ser la convolución
de dos funciones en S. En particular, esto implica que u está bien definida en Rn ×
(0, ∞). Además, la fórmula de inversión permite escribir:

Z
u(x, t) = fˆ(ξ)K̂t (ξ)e2iπξ·x dξ para (x, t) ∈ Rn × [0, ∞). (3.9)
Rn

Veamos ahora que u ∈ C ∞ (Rn ×[0, +∞)) y que sus derivadas se obtienen derivan-
do debajo de la integral. Para esto aplicamos el teorema de convergencia mayorada,
como siempre. Anotando F (x, t, ξ) := fˆ(ξ)K̂t (ξ)e2iπξ·x el integrando en (3.9), obser-
vamos que F (., ξ) ∈ C ∞ (Rn × [0, +∞)) para todo ξ ∈ Rn , que F (x, t, .) es medible en
ξ y que para todo k ∈ N0 y todo multi-ı́ndice α,
2
|ξ|2 t 2iπξ·x
Dxα ∂tk F (t, x, ξ) = (2iπξ)α (−4π 2 |ξ|2 )k fˆ(ξ)e−4π e .
7
 Ecuaciones diferenciales A/B - 2020 (primer cuatrimestre)

Acotamos directamente Dxα ∂tk F (t, x, ξ) por

|Dxα ∂tk F (t, x, ξ)| ≤ (2π|ξ|)|α|+2k |fˆ(ξ)|.

Como f ∈ S(Rn ), tenemos fˆ ∈ S(Rn ) por lo que la función ξ → |ξ||α|+2k |fˆ(ξ) es

integrable en Rn . Podemos entonces aplicar el teorema de convergencia mayorada.
Como lı́mt→0 K̂t (ξ) = 1, obtenemos que
Z Z
lı́m u(x, t) = fˆ(ξ) lı́m K̂t (ξ)e2iπξ·x dξ = fˆ(ξ)e2iπξ·x dξ = f (x),
t→0 Rn t→0 Rn

donde hemos usado la fórmula de inversión en la última desigualdad. También obte-

nemos que
Z
∂t u(x, t) = fˆ(ξ)(∂t K̂t (ξ))e2iπξ·x dξ
Rn
Z  
= fˆ(ξ)K̂t (ξ) − 4π 2 |ξ|2 e2iπξ·x dξ
n
ZR  
= fˆ(ξ)K̂t (ξ) ∆x e2iπξ·x dξ
Rn
= ∆u(x, t),

ası́ que u es solución de la ecuación del calor con condición inicial f .

Nota. Se puede probar que la función u dada por (3.9) es la única solución de (3.5)
en C ∞ ((0, +∞), S) (ver slides de teorı́a).

Referencias

[1] J. Fernández Bonder. Ecuaciones Diferenciales Parciales. Departamento de Matemática, FCEN-

UBA, 2015.
[2] R. Shakarchi E. Stein. Fourier Analysis: An Introduction. Princeton University Press - Princeton
and Oxford, 2002.
[3] L. Ward M. C. Pereyra. Harmonic Analysis. From Fourier to Wavelets. American Mathematical
Society. Institute for Advances Studies., 2012.