Escuela Politecnica Nacional

Ecuaciones Diferenciales Parciales I

Lista de ejercicios 3
Roberto Torres
9 de enero de 2016
1. Sean RN abierto no vaco y u,v dos funciones medibles en . Si 0 < p < 1 y p0 es su
exponente conjugado, entonces
Z

|uv|dx

 p1 Z

|u|

p0

|v|

 10
p

donde suponemos que todas las integrales en la desigualdad son finitas y

Soluci
on:
Sean 1 = (uv)p y 2 = v p , entonces 1 2 = up ya que v 6= 0 c.t.p
Por lo tanto 1 2 L1 () por hipotesis
1
1
Tenemos que = 1 0 , luego
p
p
p1
1
1
=1 = 0
p
p
p
Fijamos q =

1
, Sea r el conjugado de q entonces
p
1 1
+ =1
q r
r=

1
>1
1p

|v|p

p10

6= 0

Aplicando la desigualdad de Holder para 1 2 tenemos que

 1q Z
 r1
Z
Z
q
r
|1 2 |

|1 |
|2 |

Z
p Z
1p
Z
1
p 1p
p
p p1
|v |
|u|
|(uv) |

1p
Z
p Z
Z
p
p
|u|

|(uv)|
|v| 1p

Z
p Z
1p
Z
p
p0
|u|

|(uv)|
|v|

Z

|u|p

 p1

Z

|u|p

 p1

 Z
 10
p
p0
|(uv)|
|v|

Z

Multiplicamos la desigualdad por

|v|p

Z

p10
p

6= 0

 p1 Z

|u|

|uv|dx

2.

 Z
 1p
p
p0
|(uv)|
|v|

Z

p0

 10
p

|v|

a) Sean RN abierto no vaco, f, g Lp () con 1 p . Muestre que

h(x) = max{f (x), g(x)} Lp ().
b) Sean {fn }n1 y {gn }n1 dos sucesiones en Lp () con 1 p tales que fn f
en Lp () y gn g en Lp (). Muestre que
hn = max{fn , gn } h en Lp ().
c) Sean {fn }n1 Lp () con 1 p < y {gn }n1 L () una sucesion acotada.
Suponga que fn f en Lp () y gn g c.t.p. en . Muestre que
fn gn f g en Lp ().
Soluci
on:
a) Supongamos que 1 p < debemos demostrar que:
Z

p
|h(x)| dx <

Z
| max{f (x), g(x)}|


<

Sean f := {x RN : f (x) g(x)} y g := {x RN : g(x) > f (x)}

Z
R
R
| max{f (x), g(x)}|p = f | max{f (x), g(x)}|p + g | max{f (x), g(x)}|p

R
R
= f |f (x)|p + g |g(x)|p
R
R
|f (x)|p + |g(x)|p
2

Si p = Debemos mostrar que

c > 0 tal que |h(x)| c

c.t.px

Tenemos que c1 , c2 > 0 tal que:

|f (x)| c1 c.t.p x
|g(x)| c2 c.t.p x
|h(x)| max{|f (x)|, |g(x)|}
|h(x)| max{c1 , c2 }
Tomando c = max{c1 , c2 } > 0 se tiene que
|h(x)| c c.t.p x
b) Sabemos que max{a, b} =

a + b + |a b|
, entonces
2
hn =

fn + gn + |fn + gn |
2

fn + gn
|fn + gn |
+ lm
n
n
n
2
2
Por continuidad del valor absoluto y por hipotesis
lm hn = lm

1
lm hn = (f + g + |f g|) = max{f, g}
n
2

c) Sabemos que fn gn Lp () debemos demostrar que

kfn gn f gkp 0
Tenemos que

kfn gn f gkp = kfn gn + fn g fn g f gkp

kfn gn fn gkp + kfn g f gkp
= kf n(gn g)kp + kg(fn f )kp

1


R
R
= |fn (x)|p |(gn g)(x)|p p + |g(x)|p |(fn f )(x)|p
Como gn , g L

1

1
R
R
kgn gk |fn (x)|p p + kgk |(f n f )(x)|p p
= kgn gk kf nkp + kgk kfn f kP
Tomando el lmite cuando n
kfn gn f gkp 0
3. Sea K H un conjunto convexo cerrado no vaco del espacio de Hilbert H. Sean f H,
u = Pk f y k.k la norma inducida por el producto escalar en H. Muestre que
kv uk2 kv f k2 ku f k2 para todo v K.
Deduzca que kv uk kv f k para todo v K

Soluci
on:
kv f k2 ku f k2 + 2hf u, v ui = hv f, v f i hu f, u f i + 2hf u, v ui
= hv, vi + hf, f i 2hf, vi hu, ui hf, f i + 2hf, ui + 2hf, vi + 2hu, ui 2hf, ui 2hu, vi
Simplificando terminos semejantes
kv f k2 ku f k2 + 2hf u, v ui = hv, vi + hu, ui 2hu, vi
kv f k2 ku f k2 + 2hf u, v ui = kv uk2
Tenemos del teorema de proyeccion sobre un convexo cerrado que
hf u, v ui 0 para todo v K
Por lo tanto
kv uk2 kv f k2 ku f k2 para todo v K
Supongamos que
kv uk > kv f k para todo v K
Luego
kv uk2 > kv f k2
Ademas
kv uk2 ku f k2 kv f k2
Entonces se tiene que
ku f k < 0

.
-

Por lo tanto
kv uk kv f k

4. Sea H un espacio de Hilbert. Sean M, N H dos subespacios vectoriales cerrados. Si

hu, vi = 0 para todo u M y para todo v N , entonces muestre que M + N es cerrado.
Soluci
on: Sea (xj ) M + N tal que xj x debemos mostrar que
xM +N
Como xj M + N se tiene que xj = mj + nj . Luego por hipotesis M N
Tomamos los operadores PM y PN como las proyecciones ortogonales sobre M y N respectivamente, entonces
PM xj = mj y PN xj = nj
Luego tenemos que xj = PM xj + PN xj , tomando el lmite cuando j
x = PM x + PN x
Por lo tanto x M + N . Es decir M + N es cerrado

5. Investigue acerca del espacio de las medidas de Radon (definicion y algunas propiedades),
y su relacion con el espacio dual del espacio de las funciones continuas sobre un conjunto
compacto K. Que puede concluir de esta investigacion?