PONTIFICIA UNIVERSIDAD CATÓLICA DE CHILE

FACULTAD DE MATEMÁTICA
Primer Semestre 2018
Análisis I Examen

Profesor: Gregorio Moreno

Alumno: Pablo Herrera
Fecha : 09/06/18
Problema 1. a. Definimos fx (y) := f (x − y). Observe que la medida de Lebesgue en Rn es invariante bajo
traslación. Por lo tanto, tenemos que:
Z Z Z
||fx ||pLp (Rn ) = |fx (y)|p dy = |f (x − y)|p dy = |f (ω)|p dω = ||f ||pLp (Rn ) < ∞
Rn Rn Rn

Entonces ||fx ||Lp (Rn ) = ||f ||Lp (Rn )

|(f ∗ g)(x)| ≤ ||fx · g||L1 (Rn ) ≤ ||fx ||Lp (Rn ) ||g||Lq (Rn ) = ||f ||Lp (Rn ) ||g||Lq (Rn ) < ∞
b.Problemas que f ∗ g es medible.
Aplicando la desigualdad integral seguido de teorema de Fubini podemos ver que:
Z Z
||f ∗ g||L1 (Rn ) ≤ |f (x − y)||g(y)|dydx
Rn Rn
Z Z 
≤ |g(y)| |f (x − y)|dx dy
Rn n
Z ZR 
≤ |g(y)| |f (ω)|dω dy
Rn Rn
≤ ||g||L1 (Rn ) ||f ||L1 (Rn ) < ∞

c.

Z Z Z p Z Z p
||fε ||pLp (Rn ) p
 
= |fε (x)| dx = 
 f (x − y)ϕε (y)dy  dx ≤
 |f (x − y)||ϕε (y)|dy dx
Rn R n R n Rn Rn

Aplicando la desigualdad de Hölder y que la medida de Lebesgue es invariante bajo traslación:

Z p Z p
|f (x − y)||ϕε (y)|dy = |f (x − y)||ϕε (y)|1/p |ϕε (y)|(p−1)/p dy
Rn Rn
Z  Z p−1
p
≤ |f (x − y)| |ϕε (y)|dy |ϕε (y)|dy
Rn Rn

Luego :
Z Z p Z 
p p
|fε | dx ≤ |ϕε (y)|dy F (ω) dω
Rn Rn Rn

Esto prueba que fε ∈ Lp (Rn )

1 2
Problema 2. Sea K(t, x) := (4πt) d/2 exp (−|x| ). Observe que esta función es infinitamente diferenciable y

es uniformemente acotada ya que :

lı́m Kt (t, x) = lı́m P (t, x) exp (−|x|2 ) = 0

t→∞ t→∞

1
Donde P (t, x) es una función racional con polo en t = 0 Entonces dado ε existe cx > 0 tal que si t > cx :
|Kt (t, x)| < ε
Sea δ > 0 como [δ, cx ] es un intervalo compacto y Kt (t, x) es continua la función es acotada en ese intervalo.
Por lo tanto existe una cota Cx para cualquier t ∈ [δ, +∞). Es decir |Kt (t, x)| ≤ Cx para cualquier t ∈ [δ, +∞)
Esto nos permite derivar respecto a t bajo el signo integral.
De forma análoga tenemos que para 1 ≤ i ≤ d :
|x|2
lı́m |Kxi (t, x)| = Q(t, x) exp(− )=0
xi →∞ 4t
|x|2
lı́m |Kxi xi (t, x)| = Q0 (t, x) exp(− )=0
xi →∞ 4t
Donde Q0 (x, t) y Q0 (x.t) son funciones racionales. Un razonamiento similar al hecho para la variable t
anteriormente nos dice que las derivadas Kxi xi (t, x), Kxi (t, x) son uniformemente acotadas para todo xi ∈ R
con 1 ≤ i ≤ d. Por lo tanto, podemos usar derivación bajo el signo integral respecto a xi dos veces.
Observe que :
|x−y|2
e− 4t |x − y|2
 
d
Kt (x − y, t) = −
(4πt)d/2 4t2 2t
|x−y|2
e− 4t (xi − yi )2
 
1
Kxi xi (x − y, t) = −
(4πt)d/2 4t2 2t
Entonces ∆K − Kt = 0. Por lo tanto, por derivación bajo signo integral tenemos que:
Z
ut (x, t) − ∆u(x, t) = (Kt (x − y, t) − ∆K(x − y, t))g(y)dλd (y) = 0 (1)
Rn

Ahora observe que:

Z
K(x − y, t)dy = 1
Rn

Por la continuidad de g, tenemos que dado ε > 0 existe δ > 0 talque, si |x0 −y| < δ, entonces, |g(x0 )−g(y)| <
ε. Luego:
Z 
 
|g(x0 ) − u(x, t)| ≤  K(x − y, t)(g(x0 ) − g(y))dy 
n
ZR
≤ K(x − y, t)|g(x0 ) − g(y)|dy
n
ZR Z
≤ K(x − y, t)|g(x0 ) − g(y)|dy + K(x − y, t)|g(x0 ) − g(y)|dy
|x0 −y|<δ |x0 −y|≥δ
Z
≤ ε + 2||g||Rn K(x − y, t)
|x0 −y|≥δ

Solo nos falta probar que : Z

lı́m K(x − y, t) = 0
(t,x)→(0,x0 ) |x0 −y|≥δ

Usando coordenadas polares obtenemos:

Z Z ∞
1 2
lı́m K(x − y, t) = lı́m e−r /16 n−1
r =0
(x,t)→(x0 ,0) |x0 −y|≥δ (t,x)→(0,x0 ) 4πtd/2 δ

Por lo tanto,
lı́m u(x, t) = g(x0 ) (2)
(x,t)→(x0 ,0)

2
Problema 3. a. Probemos el lema de Riemann Lebesgue para funciones caracterı́sticas en d = 1 y luego
extenderemos el resultado usando el teorema de Fubini. Considere f (xj ) = 1[aj ,bj ] (xj ).
bj
−1 −2π·ikj xj bj
Z Z
fˆ(kj ) = 1[aj ,bj ] (xj )e −2π·ikj xj
dxj = e−2π·ikj xj dxj = e |aj → 0,
aj 2πi

cuando kj → ∞.

Ahora Sea Ij un rectángulo Ij en Rd Considere f (x) = 1Ij (x) = 1[a1 ,b1 ] (x1 )...1[ad ,bd ] (xd ), luego :
Z
fˆ(k) = 1Ij (xj )e−2π·i(k·x) dx

Por teorema de Fubini:

d Z
Y bj
fˆ(k) = e−2π·ikj xj dxj
i=1 aj

Luego , fˆ(k) → 0 cuando |k| → 0. Por lo tanto, de la linealidad de la integral. fˆ(k) → 0 cuando |k| → 0Ppara
funciones simples. Como las funciones simples son densas en L1 (Rd ) Para todo f ∈ L1 (Rd ) existe ϕn = 1 Ij
tal que ϕn → f cuando n → ∞, donde Ij,n son rectángulos en Rd . Por lo tanto:

1̂Ij,n (k)
X
ϕ̂n (k) =

Luego haciendo n → ∞

lı́m fˆ(k) = lı́m lı́m ϕ̂n (k) = 0

|k|→∞ |k|→∞ n→∞

b. Observe que −λπ|x|2 − 2iπ(k · x) = −λπ(|x − ik 2 ik 2

λ | − | λ | ), entonces:
Z
ĝλ (k) = e−2π·i(k·x) gλ (x)dx
n
ZR
ik 2 ik 2
= e−λπ(|x− λ | −| λ | ) dx
Rn
Z
λπ| ik |2 ik 2
=e λ e−λπ(|x− λ | ) dx
Rn
d
Y Z +∞
ik 2 ikj
)2
= eλπ| λ | e−λπ(xj − λ dxj
j=1 −∞

d √
2
λπ| ik
Y
=e λ | π λ
j=1
2
λπ| ik
λ |
=e π d λd/2

c. Observe que :
Z Z Z
f (x) = e 2πi(k·x)
fˆ(k)dk = e2πi(k·(x−y)) f (y)dydk
Rn Rn Rn

3
Entonces:
Z
||f ||22 = f (x)f (x)dx
n
ZR Z
= e2πi(k·x) fˆ(k)f (x)dkdx
Rn Rn
Z Z
= e2πi(k·x) fˆ(k)f (x)dxdk
n n
ZR ZR
= e2πi(k·x) fˆ(k)f (x)dxdk
Rn Rn
Z Z 
= fˆ(k) e−2πi(k·x) f (x)dx dk
n Rn
ZR
= fˆ(k)fˆ(k)dk
Rn
= ||fˆ||22

Problema 4. Sea E medible talque µ1 ⊗ µ2 (E) = 0 y Ex = {y ∈ Ω2 : (x, y) ∈ Ω1 × Ω2 }, entonces:

Z
0 = µ1 ⊗ µ2 (E) = µ2 (Ex ) dµ1
Ω1 | {z }
≥0

Luego µ2 (E) = 0 como µ2 >> ν2 , tenemos que ν2 (E) = 0, análogamente podemos decir que µ1 (E) = 0 con
lo que ν1 (E) = 0. Luego : Z
ν1 ⊗ ν2 (E) = ν2 (Ex )dν1 = 0
Ω1

Por lo tanto, ν1 ⊗ ν2 << µ1 ⊗ µ2 . Ahora considere un rectangulo E1 × E2 donde E1 , E2 son medibles. Por
teorema de radón Nikodym existe h ∈ L1 (R):
Z
ν1 ⊗ ν2 (E1 × E2 ) = hd(µ1 ⊗ µ2 )
E1 ×E2

Por Tonelli:
Z Z Z
ν1 ⊗ ν2 (E1 × E2 ) = ν1 (E1 )ν2 (E2 ) = f dµ1 gdµ2 = f gd(µ1 ⊗ µ2 )
E1 E2 E1 ×E2

4
 R R
Definamos M := {A ∈ F1 × F2 : hd(µ1 ⊗ µ2 ) = A f gd(µ1 ⊗ µ2 )} Luego:
Z Z
ν1 ⊗ ν2 (E) = dµ2 dµ1
ω E
Z 1 x
= ν2 (Ex )dµ1
Ω1
Z Z
= g(y)1E dµ2 dµ1
Ω1 Ω2
Z Z
= g(y)1E d(µ2 ⊗ µ1 )
Ω2 Ω2
Z Z
= g(y) E(x, y)dµ2 dµ1
Ω2 ω1
Z
= g(y)µ1 (E)dµ2 (y)
Ω1
Z Z
= f (x)1E (x, y)d(µ1 ⊗ µ2 )(y)
ω1
Z Z
= g(y)f (x)1E (x, y)d(µ1 ⊗ µ2 )
Ω Ω
Z 1 2
= f g 1E d(µ1 ⊗ µ2 )
Ω ⊗Ω
Z 1 2
= f gd(µ1 ⊗ µ2 )
Ω1 ⊗Ω2

dν1 dν2
Por lo tanto, f g = h, µ1 ⊗ µ2 -c.t.p donde f = dν2 yg= dµ2 .

Problema 5. Probemos que f es integrable. Como fn → f µ-c.t.p entonces por lema de Fatou:
Z Z Z Z
|f |dµ = lı́mı́nf |fn |dµ ≤ lı́mı́nf |fn |dµ ≤ lı́m sup |fn | < ∞
n n

Por lo tanto f es integrable respecto a µ.

Observe que sin perdida de generalidad podemos asumir fn ≥ 0. Esto se debe a que:
Z Z Z Z −
sup |fn |dµ = sup (fn+ + fn− )dµ ≤ sup fn+ dµ + sup dµ
n n n fn

Sea fn ≥ 0, observe que :

Z
0 = lı́m fn ≥ cµ(x : |fn (x)| > c)
c→∞ fn >c

Entonces lı́mc→∞ µ(x : |fn (x)| > c) = 0

Z Z Z Z
| fn dµ f dµ| ≤ |fn − f |dµ + |fn − f |dµ
fn >c fn ≤c

Problema 6. a. Supongamos que µF << λ. Por teorema de Radón Nikodym tenemos que existe f ∈ L1 (R)
tal que para todo E medible y boreliano :
Z
µF (E) = f dλ
E

Ahora si escogemos E = (−∞, x], obtenemos :

Z
F (x) = f dλ
E

5
Para el converso consideremos E un boreliano talque λ(E) = 0. Entonces podemos encontrar una sucesión
de conjuntos
S abiertos. E1 ⊃ E2 ⊃ ... ⊃ E talque λ(E1 ) = 0, talque λ(Ei ) < δ para todo i. Sea ε > 0 talque
E ⊃ Ei talque con :
n
X n
X
µF (E) ≤ µF (Ei ) ≤ |F (bi ) − F (ai )| ≤ ε (3)
i=0 i=0

Haciendo tender n → ∞ obtenemos |µF (E)| ≤ λ(E) = 0. Luego µF << λ

b. Sea E = {(x, y) : a < x ≤ y ≤ x ≤ b} Observe que por fubini :
Z b Z y
µF × µG (E) = dF (x)dG(x)
Za a

= (F (y) − F (a))dG(y)
]a,b]
Z
= F dG − F (a)[G(b) − G(a)]
]a,b]

Por otro lado

Z b Z y
µF × µG (E) = dG(x)dF (x)
Za a

= (G(b) − G(x))dG(y)
]a,b]
Z
= G(b)[F (b) − F (a)] − F dG
]a,b]

Por lo tanto sumando estas dos ultimas identidades y dividiendo por 2 :

Z Z
µF × µG (E) = F dG + GdF
]a,b] ]a,b]

Como los E generan la sigma álgebra esta ultima identidad es cierta para todo los borelianos.