Professional Documents
Culture Documents
Mnica Clapp
2008-2009
ndice general
1. Espacios mtricos
1.1. Denicin y ejemplos . . . . . . .
1.2. Algunas desigualdades bsicas . .
1.3. Espacios de funciones . . . . . . .
1.4. El espacio de funciones acotadas .
1.5. Subespacios mtricos e isometras
1.6. Ejercicios . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
2. Continuidad
2.1. Deniciones y ejemplos . . . . . . . . . .
2.2. Conjuntos abiertos y conjuntos cerrados
2.3. Convergencia de sucesiones . . . . . . . .
2.4. Ejercicios . . . . . . . . . . . . . . . . .
3. Compacidad
3.1. Conjuntos compactos . . . . . . .
3.2. El teorema de Heine-Borel . . . .
3.3. Existencia de mximos y mnimos
3.4. Semicontinuidad . . . . . . . . . .
3.5. Continuidad uniforme . . . . . . .
3.6. Ejercicios . . . . . . . . . . . . .
4. Completitud
4.1. Espacios mtricos completos . .
4.2. Convergencia uniforme . . . . .
4.3. Espacios completos de funciones
4.4. Series de funciones . . . . . . .
4.5. Ejercicios . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
1
1
7
11
15
16
18
.
.
.
.
23
23
28
34
36
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
43
43
47
49
50
54
55
. .
. .
. .
. .
. .
3
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
61
61
65
69
71
76
NDICE GENERAL
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
81
81
84
86
86
89
92
96
.
.
.
.
.
103
104
108
112
116
120
7. Teoremas de aproximacin
123
7.1. El teorema de aproximacin de Weierstrass . . . . . . . . . . . . . . . . 123
7.2. El teorema de Stone-Weierstrass . . . . . . . . . . . . . . . . . . . . . . 129
7.3. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 133
8. Diferenciabilidad
8.1. El espacio de funciones lineales y continuas . . . . . . . . . . . .
8.2. Diferenciabilidad . . . . . . . . . . . . . . . . . . . . . . . . . .
8.3. La derivada de una funcin de variable real . . . . . . . . . . . .
8.4. La derivada de Gteaux . . . . . . . . . . . . . . . . . . . . . .
8.5. Derivadas parciales . . . . . . . . . . . . . . . . . . . . . . . . .
8.6. El teorema de la funcin implcita . . . . . . . . . . . . . . . . .
8.7. Mximos y mnimos de funciones diferenciables con restricciones
8.8. Derivadas de orden superior . . . . . . . . . . . . . . . . . . . .
8.9. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
9. La integral de una funcin continua
9.1. Denicin y propiedades bsicas . .
9.2. Unicidad de la integral . . . . . . .
9.3. Invariancia bajo isometras . . . . .
9.4. El teorema de cambio de variable .
9.5. Ejercicios . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
137
137
140
144
147
149
151
155
159
159
.
.
.
.
.
165
165
169
175
179
186
NDICE GENERAL
10.Funciones Lebesgue-integrables
10.1. La integral de una funcin semicontinua . . . . . . .
10.2. Propiedades de la integral de funciones semicontinuas
10.3. Funciones Lebesgue-integrables . . . . . . . . . . . .
10.4. Propiedades bsicas de la integral de Lebesgue . . . .
10.5. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
parciales
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
191
191
198
207
213
219
.
.
.
.
.
.
225
225
230
232
239
242
248
.
.
.
.
255
255
261
269
278
.
.
.
.
283
283
286
292
297
.
.
.
.
.
.
303
303
308
317
318
321
323
NDICE GENERAL
Captulo 1
Espacios mtricos
Algunos conceptos fundamentales, como el paso al lmite o la continuidad de funciones en espacios euclidianos, estn denidos exclusivamente en trminos de la distancia. Otras propiedades de los espacios euclidianos, como por ejemplo la de ser espacios
vectoriales, no juegan ningn papel en dichos conceptos.
Empezaremos considerando conjuntos dotados exclusivamente de una distancia, a
los que se les llama espacios mtricos. El matemtico francs Maurice Frchet1 introdujo
esta nocin, que juega un papel fundamental en las matemticas modernas.
Daremos en este captulo ejemplos interesantes de espacios mtricos, que aparecen
de manera natural en muchas aplicaciones, algunas de las cuales se vern ms adelante.
1.1.
Denicin y ejemplos
Maurice Ren Frchet (1878-1973) fue un matemtico francs. En 1906, en su tesis de doctorado,
introdujo la nocin de espacio mtrico y sent las bases de la Topologa de Conjuntos. Fue tambin el
primero en usar el trmino de espacio de Banach para referirse a los espacios de sucesiones `p en 1928.
1. ESPACIOS MTRICOS
x; y 2 `1 :
8k 2 N;
8x; y; z 2 `1 ;
8k 2 N:
1. ESPACIOS MTRICOS
xk
k=1
n
X
xk
k=1
xk := l+2m sn :
n!1
k=1
xk := l+2m sn = sup sn :
n!1
k=1
n2N
Ejemplo 1.8 Sea `1 el conjunto de las sucesiones x = (xk ) de nmeros reales tales que
la serie
1
X
jxk j
k=1
converge, y sea
d1 (x; y) :=
1
X
k=1
jxk ' yk j ;
x; y 2 `1 :
jxk ' yk j $
$
n
X
k=1
1
X
k=1
jxk j +
jxk j +
n
X
k=1
1
X
k=1
jyk j
jyk j :
1
P
Por consiguiente, si x = (xk ); y = (yk ) 2 `1 , la serie
jxk ' yk j converge y se cumple
k=1
que
1
1
1
X
X
X
jxk ' yk j $
jxk j +
jyk j :
(1.1)
k=1
k=1
k=1
1
X
k=1
jxk ' yk j $
1
X
k=1
jxk ' zk j +
1
X
k=1
para todas x; y; z 2 `1 :
Notemos que todos los ejemplos anteriores, adems de la estructura geomtrica dada
por la distancia, poseen una estructura algebraica: la de espacio vectorial. En efecto,
las sucesiones de nmeros reales se pueden sumar y multiplicar por escalares trmino a
trmino, es decir, si x = (xk ) y y = (yk ) son sucesiones de nmeros reales y 0 2 R; se
denen
x + y := (xk + yk )
y
0x := (0xk ):
Con estas operaciones el conjunto de todas las sucesiones de nmeros reales es un espacio vectorial. Aunque esta estructura no interviene en las deniciones de continuidad,
completitud o compacidad, que sern el objeto de la primera parte de este curso, s
resulta importante en otros contextos, por ejemplo, para denir la derivada de una
funcin. Conviene pues introducir la siguiente nocin.
Denicin 1.9 Sea V un espacio vectorial sobre R. Una norma en V es una funcin
k(k : V ! R que tiene las siguientes propiedades:
(N1) kvk = 0 si y slo si v = 0;
(N2) k0vk = j0j kvk para todos v 2 V; 0 2 R;
(N3) kv + wk $ kvk + kwk para todos v; w 2 V
Un espacio vectorial normado es un espacio vectorial V con una norma dada k(k.
Lo denotaremos por (V; k(k); o simplemente por V .
Proposicin 1.10 Todo espacio vectorial normado (V; k(k) es un espacio mtrico con
la mtrica dada por
d(v; w) = kv ' wk :
Esta mtrica se llama la mtrica inducida por la norma k(k :
1. ESPACIOS MTRICOS
La demostracin es sencilla y se deja como ejercicio [Ejercicio 1.37]. Todas las mtricas consideradas en los ejemplos anteriores estn inducidas por una norma. Sin embargo,
hay ejemplos de espacios mtricos cuya mtrica no est inducida por ninguna norma.
De hecho, a cualquier conjunto le podemos dar la mtrica siguiente.
Ejemplo 1.11 Sea X un conjunto arbitrario. La funcin
!
0 si x = y;
ddisc (x; y) =
1 si x =
6 y;
es una mtrica para X; llamada la mtrica discreta. El espacio Xdisc := (X; ddisc ) se
llama un espacio mtrico discreto.
En un espacio vectorial no trivial no existe ninguna norma que induzca la mtrica
discreta [Ejercicio 1.40]. Pero las mtricas ms interesantes en un espacio vectorial estn
inducidas por una norma. Veamos otros ejemplos. Dado x 2 Rn denimos
kxkp : =
n
X
k=1
jxk jp
! p1
si p 2 [1; 1);
Proposicin 1.12 Para cada p 2 [1; 1]; la funcin k(kp : Rn ! R es una norma en
Rn :
Demostracin: Es sencillo ver que k(kp cumple las propiedades (N1) y (N2): La
propiedad (N3) se conoce como la desigualdad de Minkowski y la demostraremos en la
siguiente seccin (Proposicin 1.17).
Notacin 1.13 Con el n de distinguir cul de todas estas normas estamos considerando, usaremos la notacin
Rnp := (Rn ; k(kp );
p 2 [1; 1];
Las mtricas d1 ; d2 y d1 consideradas en los Ejemplos 1.4 al 1.6 son las inducidas
por las normas k(k1 ; k(k y k(k1 que acabamos de denir.
Para espacios de sucesiones adecuados podemos denir normas anlogas.
Proposicin 1.14 (a) Dada p 2 [1; 1); consideremos el conjunto `p de todas las sucesiones x = (xk ) de nmeros reales tales que la serie
1
X
k=1
jxk jp
1
X
k=1
jxk jp
! p1
es una norma en `p :
(b) El conjunto `1 de todas las sucesiones acotadas de nmeros reales con la norma
kxk1 = sup jxk j
1%k<1
1.2.
El objetivo de esta seccin es demostrar las desigualdades de Hlder2 y de Minkowski3 para sumas y para series. Usaremos la siguiente desigualdad elemental.
2
Otto Ludwig Hlder (1859-1937) matemtico alemn. Realiz aportaciones signicativas a la Teora
de Ecuaciones Diferenciales Parciales.
3
Hermann Minkowski (1864-1909) matemtico alemn, nacido en Lituania. Desarroll mtodos
geomtricos para resolver problemas importantes en Teora de los Nmeros, Fsica Matemtica y
Teora de Relatividad.
1. ESPACIOS MTRICOS
1
p
1
q
= 1: En-
1
1
ab $ ap + bq :
p
q
8t 2 [0; 1]:
y = ln x
Tomando x0 := ap ; x1 := bq y t := 1q obtenemos
(
)
1
1 p 1 q
1
ln
a + b % ln ap + ln bq = ln a + ln b = ln(ab)
p
q
p
q
y, como el logaritmo natural es una funcin creciente, conclumos que
1
1
ab $ ap + bq :
p
q
Esta es la desigualdad deseada.
Proposicin 1.16 (Desigualdad de Hlder en Rn ) Sean p; q 2 (1; 1) tales que
1
+ 1q = 1: Entonces, para cualesquiera x = (x1 ; :::; xn ); y = (y1 ; :::; yn ) 2 Rn se cumple
p
que
! p1
! 1q
n
n
n
X
X
X
p
q
jxk yk j $
jxk j
jyk j
;
k=1
k=1
k=1
es decir,
kxyk1 $ kxkp kykq
donde xy := (x1 y1 ; :::; xn yn ):
Demostracin: La armacin es trivial si x = 0 o si y = 0: Supongamos pues que
ambos son distintos de cero. Aplicando la desigualdad de Young a
ak :=
obtenemos
jxk j
kxkp
y bk :=
jyk j
kykq
jxk yk j
1
1
jxk jp
jyk jq
= jak bk j $ apk + bqk =
+
:
kxkp kykq
p
q
p kxkpp q kykqq
n
X
k=1
jyk jq
n
X
k=1
n
X
k=1
n
X
k=1
jxk jp
jyk jp
! p1
! p1
n
X
k=1
n
X
k=1
! p!1
p
! p!1
p
10
1. ESPACIOS MTRICOS
k=1
k=1
k=1
k=1
n
X
k=1
jxk jp
! p1
n
X
k=1
jyk jp
! p1
(1.2)
k=1
k=1
es decir,
kxyk1 $ kxkp kykq :
Demostracin: De la desigualdad de Hlder para cada suma nita (Proposicin
1.16) obtenemos que
! p1
! 1q
n
n
n
X
X
X
jxk yk j $
jxk jp
jyk jq
k=1
k=1
1
X
k=1
jxk j
! p1
k=1
1
X
k=1
jyk j
! 1q
< 1:
En consecuencia, la serie
1
P
k=1
1
X
k=1
11
jxk yk j $
k=1
jxk jp
! p1
1
X
k=1
jyk jq
! 1q
1.3.
Espacios de funciones
Los objetos fundamentales del Anlisis Matemtico son los espacios de funciones.
Empezaremos considerando los siguientes ejemplos sencillos.
Denotemos por C 0 [a; b] al conjunto de todas las funciones continuas f : [a; b] ! R:
La suma de funciones y el producto de una funcin por un escalar, denidos como
(f + g)(x) := f (x) + g(x);
le dan a C 0 [a; b] una estructura de espacio vectorial. Dada una funcin continua f :
[a; b] ! R denimos
kf kp : =
(Z
jf (x)jp dx
) p1
si p 2 [1; 1);
12
1. ESPACIOS MTRICOS
Proposicin 1.20 Para cada p 2 [1; 1] la funcin k(kp : C 0 [a; b] ! R es una norma.
Demostracin: Para p = 1 la demostracin es sencilla. Consideremos el caso
1 $ p < 1: Como jf (x)jp es una funcin continua y no negativa, se tiene que
kf kpp
jf (x)g(x)j dx $
(Z
jf (x)j dx
) p1 (Z
jg(x)j dx
) 1q
es decir,
kf gk1 $ kf kp kgkq :
Demostracin: La armacin es trivial si f = 0 o si g = 0: Supongamos pues que
ambas funciones son distintas de cero. Para cada x 2 [a; b]; denimos nmeros reales
positivos
jf (x)j
jg(x)j
ax :=
y bx :=
:
kf kp
kgkq
Aplicando la desigualdad de Young (Lema 1.15) obtenemos
jf (x)g(x)j
1 p 1 q
jf (x)jp jg(x)jq
= jax bx j $ ax + bx =
+
;
kf kp kgkq
p
q
p kf kpp
q kgkqq
e integrando ambos lados de esta desigualdad obtenemos
Rb
Rb
Rb
jf (x)g(x)j dx
jf (x)jp dx
jg(x)jq dx
1 1
a
a
a
$
+
= + = 1.
p
q
kf kp kgkq
p kf kp
q kgkq
p q
13
p&1
dx $
(Z
jf (x)j dx
(Z
jg(x)j dx
) p1 (Z
) p1 (Z
) p!1
p
) p!1
p
;
;
jf (x)jp dx
jg(x)jp dx
(Z
jf (x)j dx
) p1
(Z
jg(x)j dx
) p1
14
1. ESPACIOS MTRICOS
Notacin 1.23 Con el n de distinguir cul de todas estas normas estamos considerando, usaremos la notacin
Cp0 [a; b] := (C 0 [a; b]; k(kp );
p 2 [1; 1];
para designar al espacio de las funciones continuas f : [a; b] ! R con la norma k(kp :
Como veremos ms adelante, la norma ms adecuada en el espacio de funciones continuas C 0 [a; b] es la norma k(k1 : Por ello, denotaremos simplemente como
C 0 [a; b] := (C 0 [a; b]; k(k1 ):
Observemos que la distancia kf ' gk1 entre dos funciones continuas f y g es pequea si sus grcas estn cerca la una de la otra, mientras que la distancia kf ' gk1 es
pequea si el rea de la regin delimitada por sus grcas es pequea. As, dos funciones
continuas pueden estar muy cerca segn la norma k(k1 y muy lejos segn la norma k(k1 ,
como lo muestra el siguiente ejemplo.
Ejemplo 1.24 Consideremos las funciones fk : [0; 1] ! R dadas por
!
1 ' kx si 0 $ x $ k1 ;
fk (x) =
0
si k1 $ x $ 1:
Entonces kfk k1 = 1 para toda k 2 N; mientras que kfk k1 =
1
0.75
0.75
0.5
0.5
0.25
0.25
0.25
0.5
y = f4 (x)
0.75
0.25
1
:
2k
0.5
0.75
y = f8 (x)
Es decir, segn la norma k(k1 todas las funciones fk distan exactamente 1 de la funcin
constante igual a 0; mientras que, segn la norma k(k1 ; dichas funciones se acercan cada
vez ms a la funcin 0 conforme k crece.
15
r!s
rs
kf kr
1
s
kf ks $ (b ' a) kf k1
81 $ s < r < 1;
81 $ s < 1:
jf (x)j dx $
(Z
dx
= (b ' a)
) r!s
(Z
r
r!s
r
(Z
jf (x)j dx
jf (x)jr dx
) rs
) rs
y elevando ambos lados a la 1s obtenemos la primera desigualdad. La segunda desigualdad es sencilla y se deja al lector.
1.4.
16
1. ESPACIOS MTRICOS
d(g(z); x1 ) $ c1
8z 2 S:
8z 2 S:
En consecuencia, d1 (f; g) 2 R: Probemos ahora que d1 es una mtrica para B(S; X):
Como d satisface (M1) se tiene que
d1 (f; g) = 0 , d(f (z); g(z)) = 0 8z 2 S , f (z) = g(z) 8z 2 S;
es decir, d1 satisface (M1). La propiedad (M2) para d1 se sigue inmediatamente de la
misma propiedad para d: Sean f; g; h 2 B(S; X): La propiedad (M3) de d implica que
d(f (z); g(z)) $ d(f (z); h(z)) + d(h(z); g(z)) $ d1 (f; h) + d1 (h; g)
8z 2 S:
En consecuencia,
d1 (f; g) $ d1 (f; h) + d1 (h; g);
es decir, d1 satisface (M3).
Si V es un espacio vectorial, entonces B(S; V ) es un espacio vectorial con las operaciones dadas por
(f + g)(z) := f (z) + g(z);
1.5.
17
A(1) = y;
Denimos
1
d(x; y) := +2nffL(A) : A 2 Tx;y
(Sn&1 )g
8x1 ; x2 2 X:
18
1. ESPACIOS MTRICOS
es una isometra. Es decir, podemos identicar a Rnp con el subespacio de `p que consiste
de las sucesiones x = (xk ) tales que xk = 0 para k > n:
0
Ejemplo 1.32 A pesar de que el conjunto subyacente en C1
[0; 1] y C10 [0; 1] es el mismo, la identidad
0
id : C1
[0; 1] ! C10 [0; 1];
id(f ) = f;
1.6.
Ejercicios
Ejercicio 1.33 Sea X = (X; d) un espacio mtrico. Prueba que, para cualesquiera
w; x; y; z 2 X; se cumple que
jd(w; x) ' d(y; z)j $ d(w; y) + d(x; z):
Ejercicio 1.34 (a) Demuestra que la distancia usual en R, denida en el Ejemplo 1.3,
es una mtrica.
(b) Demuestra que la distancia usual en Rn , denida en el Ejemplo 1.4, es una mtrica.
Ejercicio 1.35 Prueba que kxk1 := m+ax fjx1 j ; :::; jxn jg donde x = (x1 ; :::; xn ) 2 Rn ;
es una norma en Rn :
Ejercicio 1.36 Es la funcin F : Rn ! R; dada por F(x) := m+2n fjx1 j ; :::; jxn jg ; una
norma en Rn ? Justica tu armacin.
Ejercicio 1.37 Sea (V; k(k) un espacio vectorial normado. Prueba que la funcin d(v; w) :=
kv ' wk es una mtrica en V:
bp (0; 1) := fx 2 R2 : kxk $ 1g para p =
Ejercicio 1.38 Describe los conjuntos B
p
1; 2; 1: Haz un dibujo de cada uno de ellos.
1.6. EJERCICIOS
19
Ejercicio 1.40 Sea V un espacio vectorial distinto de f0g: Prueba que no existe ninguna norma en V que induzca la mtrica discreta, es decir, no existe ninguna norma en
V tal que
!
0 si v = w;
kv ' wk =
1 si v 6= w:
Ejercicio 1.41 Prueba que, para cada p 2 [1; 1]; la funcin k(kp denida en la Proposicin 1.14 satisface:
(N1) kxkp = 0 si y slo si x = 0 en `p :
(N2) Si x = (xk ) 2 `p y 0 2 R; entonces 0x = (0xk ) 2 `p y k0xkp = j0j kxkp :
Ejercicio 1.42 Prueba que, para toda x 2 Rn ;
(a) kxkr $ kxks
si 1 $ s $ r $ 1;
r!s
(b) kxks $ n sr kxkr si 1 $ s $ r < 1;
1
(c) kxks $ n s kxk1 si 1 $ s < 1:
(Sugerencia: Para probar la segunda desigualdad aplica la desigualdad de Hlder a los
r
vectores (1; :::; 1) y (jx1 js ; :::; jxn js ) con p = r&s
y q = rs ).
Ejercicio 1.43 (a) Prueba que, si 1 $ s < r $ 1; entonces
`s 6 `r ;
`s 6= `r
kxkr $ kxks
8x 2 `s :
x2[a;b]
x2[a;b]
x2[a;b]
20
1. ESPACIOS MTRICOS
Ejercicio 1.46 Prueba que las desigualdades de Hlder para sumas, para series y para
integrales siguen siendo vlidas si p = 1 y q = 1; es decir,
(a) Si (x1 ; :::; xn ); (y1 ; :::; yn ) 2 Rn entonces
!(
)
n
n
X
X
jxk yk j $
jxk j
m+ax jyk j :
k=1
1%k%n
k=1
k=1
k2N
a%x%b
kf k1 $ c kf k1
kf k1 := sup kf (z)k
z2S
1.6. EJERCICIOS
21
si p 2 [1; 1);
D(x) := (x; y0 )
es una isometra.
(c) Es la proyeccin
H : X ! Y ! X;
H(x; y) := x
una isometra?
Ejercicio 1.51 Prueba que, si C : X ! Y es una isometra y es biyectiva, entonces su
inversa C&1 : Y ! X es una isometra.
Ejercicio 1.52 Cules de las siguientes funciones son isometras y cules no? Justica tu armacin.
(a) La identidad id : R2p ! R2r ; id(x) = x; con p 6= r:
(b) La identidad id : Cp0 [0; 1] ! Cr0 [0; 1]; id(f ) = f; con p 6= r:
(c) La inclusin D : C21 [0; 1] ,! C20 [0; 1]; D(f ) = f:
0
(d) La inclusin D : C1
[0; 1] ,! B([0; 1]; R); D(f ) = f:
(e) La funcin C : B(N; R) ! `1 ; C(f ) = (f (k)):
1
Ejercicio 1.53 Sea X 6 Rn y sean x; y 2 X: Denotemos por Tx;y
(X) al conjunto de
n
todas las trayectorias A : [0; 1] ! R continuamente diferenciables por tramos tales que
A(0) = x;
A(1) = y;
22
1. ESPACIOS MTRICOS
Denimos
d(x; y) :=
+2nf
1 (X)
72Tx;y
L(A):
1
Prueba que, si Tx;y
(X) 6= ; para todos x; y 2 X; entonces d es una mtrica en X:
En cules de los siguientes ejemplos coincide esta mtrica con la inducida por la mtrica usual de Rn ? Justica tu armacin.
(a) X = Rn ;
(b) X = Sn&1 := fx 2 Rn : kxk = 1g;
(c) X = Bn := fx 2 Rn : kxk $ 1g;
(d) X = fx 2 Bn : x 6= 0g;
(e) X = fx 2 Bn : x 2
= Dg; donde D := f(x1 ; :::; xn&1 ; 0) 2 Rn : x21 + ( ( ( + x2n&1 $ 12 g:
Captulo 2
Continuidad
A principios del siglo XIX Augustin Louis Cauchy1 y Bernard Bolzano2 dieron, de
manera independiente, una denicin de continuidad. Llamaron continua a una funcin
que tomaba valores arbitrariamente cercanos para valores sucientemente cercanos de
la variable. Esta denicin es exacta pero imprecisa. La denicin usual hoy en da, en
trminos de "s y Ms, fue introducida por Karl Weierstrass3 a nales del siglo XIX.
La nocin de continuidad de una funcin entre espacios mtricos es formalmente
idntica a la de continuidad de una funcin entre espacios euclidianos, que ya conocemos.
2.1.
Deniciones y ejemplos
si dX (x; x0 ) < M:
Augustin Louis Cauchy (1789-1857) naci en Pars. Fue uno de los pioneros del Anlisis Matemti-
co.
2
Bernardus Placidus Johann Nepomuk Bolzano (1781-1848) naci en Praga. Fue lsofo, telogo y
matemtico.
3
Karl Theodor Wilhelm Weierstrass (1815-1897) fue un matemtico alemn que hizo importantes
contribucines a la fundamentacin lgica del Anlisis Matemtico.
23
24
2. CONTINUIDAD
"
c
se cumple que
si kx ' x0 kp < M:
8f 2 C 0 [a; b]:
"
b&a
se cumple que
si kf ' f0 k1 < M:
0
Esto prueba que id : C1
[a; b] ! C10 [a; b] es continua.
Por simplicidad tomemos a = 0 y b = 1: Denotemos por 0 a la funcin constante con
0
valor 0 en [0; 1]: Probaremos que id : C10 [0; 1] ! C1
[0; 1] no es continua en 0 (de hecho
1
0
no lo es en ningn punto de C [0; 1]). Sea " := 2 : Veremos que para cualquier M > 0
existe g9 2 C 0 [0; 1] tal que kg9 k1 < M pero kg9 k1 = 1 > ": En efecto, la funcin
g9 (x) :=
1 ' 19 x si 0 $ x $ M;
0
si M $ x $ 1;
25
0.75
0.5
0.25
0.25
0.5
0.75
y = g1=4 (x)
0
Por tanto, la identidad id : C10 [0; 1] ! C1
[0; 1] no es continua en 0:
si dX (x; x0 ) < M:
En consecuencia,
dZ ( (C(x)); (C(x0 ))) < "
si dX (x; x0 ) < M:
26
2. CONTINUIDAD
Es decir, 8 C : X ! Z es continua.
(b) Por el inciso anterior, 8 C es continua si y slo si
8 C 8 C&1 =
lo es.
si dX (x; x0 ) < M:
27
x0
(2.1)
(x0 )
B(x0 , )
B( (x0 ), )
B 1 (0,1)
B 2 (0,1)
Ejemplo 2.10 Denotemos por Bp (x0 ; ") a la bola abierta en Rnp con centro en x0 y
radio ":
(0,1)
si 1 $ p $ r $ 1;
si 1 $ r $ p $ 1;
28
2. CONTINUIDAD
Ejemplo 2.11 Denotemos por Bp (f0 ; ") a la bola abierta en Cp0 [0; 1] con centro en la
funcin continua f0 : [0; 1] ! R y radio ": Si p = 1;
B1 (f0 ; ") := ff 2 C 0 [0; 1] : jf (x) ' f0 (x)j < " 8x 2 [0; 1]g;
es decir, B1 (f0 ; ") es el conjunto de las funciones continuas cuya grca est contenida
en la franja f(x; y) 2 R2 : jy ' f0 (x)j < "g.
2.2.
29
x
x0
30
2. CONTINUIDAD
0 [0;1] (0; 1=2). De modo que, por la ProposiDemostracin: Observemos que A = BC1
0
cin 2.13, A es abierto en C1
[0; 1]:
Probaremos ahora que A no es abierto en C10 [0; 1]: Para cada 0 < M < 1 consideremos
la funcin
!
1 ' 19 x si 0 $ x $ M;
g9 (x) :=
0
si M $ x $ 1:
Entonces kg9 k1 =
9
2
1/2
-1/2
Es decir, BC10 [0;1] (0; M) no est contenida en A para ningn M > 0: En consecuencia, la
funcin 0 no es un punto interior de A en C10 [0; 1]:
De hecho, el conjunto A del ejemplo anterior tiene interior vaco en C10 [0; 1] [Ejercicio
2.54].
Denicin 2.16 Un punto x 2 X se llama un punto de contacto de A si BX (x; ") \
A 6= ; para toda " > 0: El conjunto de todos los puntos de contacto de A se llama la
X
cerradura de A y se denota A ; o simplemente A: Decimos que A es cerrado en X
si A = A:
Ntese que todo punto de A es punto de contacto de A; es decir, A 6 A:
Denicin 2.17 La bola cerrada en X con centro en x0 y radio " es el conjunto
bX (x0 ; ") := fx 2 X : d(x; x0 ) $ "g :
B
8M > 0:
31
bX (x0 ; "):
En consecuencia d(x; x0 ) $ "; es decir, x 2 B
32
2. CONTINUIDAD
8x 2 X:
Proposicin 2.23 Si V = (V; k(k) es un espacio vectorial normado, entonces la cerb 0 ; ") :=
radura de la bola abierta B(v0 ; ") := fv 2 V : kv ' v0 k < "g es la bola cerrada B(v
fv 2 V : kv ' v0 k $ "g.
b 0 ; ") es cerrado y contiene a B(v0 ; ") se tiene que B(v0 ; ") 6
Demostracin: Como B(v
b 0 ; ") [Ejercicio 2.61].
B(v
b 0 ; ") 6 B(v0 ; "): Es decir, probaremos que, para todo v 2
Probaremos ahora que B(v
b
B(v0 ; ") y M > 0; se cumple que B(v; M) \ B(v0 ; ") 6= ;: Sin perder generalidad podemos
tomar M < 2": El punto
M
v9 := v + (v0 ' v) 2 V
2"
satisface
M
M
kv0 ' vk $ < M; y
2"
2
M
M
kv9 ' v0 k = (1 ' ) kv ' v0 k $ (1 ' )" < ":
2"
2"
kv9 ' vk =
v
v
v0
33
Daremos ahora una caracterizacin de la continuidad en trminos de conjuntos abiertos y conjuntos cerrados. La imagen inversa de un subconjunto B de Y bajo la funcin
C : X ! Y es el conjunto
C&1 (B) := fx 2 X : C(x) 2 Bg :
Proposicin 2.24 Sean X y Y espacios mtricos, y sea C : X ! Y una funcin. Las
siguientes armaciones son equivalentes:
(a) C : X ! Y es continua.
(b) La imagen inversa C&1 (U ) de cualquier subconjunto abierto U de Y es abierta en
X:
(c) La imagen inversa C&1 (C) de cualquier subconjunto cerrado C de Y es cerrada en
X:
Demostracin: (a) ) (b): Sea U un subconjunto abierto de Y: Para cada x 2 C&1 (U )
tomemos " > 0 tal que BY (C(x); ") 6 U: Como C es continua, existe M > 0 tal que
C(BX (x; M)) 6 BY (C(x); "): Entonces BX (x; M) 6 C&1 (U ); es decir, C&1 (U ) es abierto en
X:
(b) ) (a): Sean x 2 X y " > 0: Como BY (C(x); ") es abierta en Y , se tiene que
C&1 (BY (C(x); ")) es abierto en X: En particular, existe M > 0 tal que BX (x; M) 6
C&1 (BY (C(x); ")); es decir, C(BX (x; M)) 6 BY (C(x); "):
La equivalencia entre (b) y (c) es consecuencia inmediata de la Proposicin 2.19, ya que
X r C&1 (B) = C&1 (Y r B) para todo subconjunto B de Y: En efecto, si C satisface (b)
y C es cerrado en Y; entonces Y r C es abierto en Y: En consecuencia, C&1 (Y r C) =
X r C&1 (C) es abierto en X y, por tanto C&1 (C) es cerrado en X: Esto prueba que (b)
) (c). La otra implicacin se demuestra de manera anloga.
Ejemplo 2.25 Cualquier funcin C : Xdisc ! Y de un espacio mtrico discreto a un
espacio mtrico cualquiera Y es continua, ya que cualquier subconjunto de Xdisc es
abierto (Ejemplo 2.22).
Para nalizar esta seccin veamos algunas propiedades importantes de los abiertos.
Proposicin 2.26 En cualquier espacio mtrico X = (X; d) se cumple lo siguiente.
(i) El conjunto vaco ; es abierto en X.
(ii) X es abierto
S en X.
(iii) La unin i2I Ui de cualquier familia fUi : i 2 Ig de subconjuntos abiertos de X
es abierta en X:
(iv) La interseccin U \ V de dos subconjuntos abiertos U y V de X es abierta en X:
34
2. CONTINUIDAD
2.3.
Convergencia de sucesiones
o bien
l+2m xk = x;
k!1
()
d(xk ; x) ! 0 en R.
Denicin 2.28 Una subsucesin de x = (xk ) es la composicin de x con una funcin estrictamente creciente k : N ! N: Su j-simo trmino se denota por xkj :=
x(k(j)):
35
36
2. CONTINUIDAD
jfk (x)j dx =
1
! 0:
2k
Por tanto, fk ! 0 en
[0; 1] :
0
Supongamos que fk ! f en C1
[0; 1] : Entonces, como
jfk (x) ' f (x)j $ kfk ' f k1
se cumple que la sucesin de nmeros reales (fk (x)) converge a f (x) en R para cada
x 2 [0; 1]: En consecuencia
!
1
si x = 0
f (x) = l+2m fk (x) =
0 si 0 < x $ 1
k!1
Esta funcin no es continua en [0; 1], lo que contradice nuestra suposicin.
2.4.
Ejercicios
Ejercicio 2.35 Sean V = (V; k(kV ) y W = (W; k(kW ) espacios vectoriales normados, y
sea L : V ! W una transformacin lineal. Prueba que las siguientes armaciones son
equivalentes.
(i) L es continua.
(ii) L es continua en 0:
(iii) Existe c > 0 tal que kLvkW $ c kvkV para todo v 2 V:
(iv) L es Lipschitz continua.
2.4. EJERCICIOS
37
H k (x) = xk ;
38
2. CONTINUIDAD
Ejercicio 2.42 Cules de las siguientes funciones son Lipschitz continuas y cules
son equivalencias?
(a) C : R ! R; C(x) = x2 : p
(b) C : [0; 1) ! R; C(x) = x:
(c) C : R ! (' @2 ; @2 ); C(x) = arctan x:
Ejercicio 2.43 Dada f 2 C 1 [0; 1] denimos
jjjf jjj1 : = kf 0 k1 ;
jjjf jjj2 : = jf (0)j + kf 0 k1 ;
5
6
!5Z 1
5
5
0
5
5
jjjf jjj3 : = m+ax 5
f (x)dx5 ; kf k1 ;
0
1=2
(a) Es jjjf jjji una norma en C 1 [0; 1]? Responde esta pregunta para cada i = 1; :::; 4:
(b) Si jjjf jjji es una norma, es jjjf jjji equivalente a la norma
kf k1;1 := kf k1 + kf 0 k1
del Ejercicio 1.48?
(c) Considera la funcin D : C 1 [0; 1] ! C 0 [0; 1] que a cada funcin f 2 C 1 [0; 1] le
asocia su derivada f 0 2 C 0 [0; 1]: Prueba que
0
D : (C 1 [0; 1]; k(k1;1 ) ! C1
[0; 1]
es continua.
(d) Para aquellas jjj ( jjji que s son normas investiga si
0
D : (C 1 [0; 1]; jjj ( jjji ) ! C1
[0; 1]
2.4. EJERCICIOS
39
A4
A8
A16
A32
1
(b) Sea T(0;0);(1;0)
(R2 ) el conjunto de todas las trayectorias A : [0; 1] ! R2 continuamente
diferenciables por tramos tales que
con la mtrica inducida por la de B([0; 1]; R2 ). Prueba que la funcin longitud
L:
1
T(0;0);(1;0)
(R2 )
! R;
L(A) :=
H X (x; y) = x;
H Y (x; y) = y;
40
2. CONTINUIDAD
Ejercicio 2.47 Sea (V; k(k) un espacio vectorial normado. Demuestra que las siguientes
funciones son continuas.
V !V
R!V
V
! V;
! V;
! R;
(v; w) 7! v + w;
(0; v) 7! 0v;
v 7! kvk :
Ejercicio 2.48 Sean V un espacio vectorial y d una mtrica en V: Demuestra las siguientes armaciones.
(i) Si d satisface
d(v + z; w + z) = d(v; w)
8v; w; z 2 V;
(2.2)
8v; w 2 V; 80 2 R;
(2.3)
2.4. EJERCICIOS
41
0
un subconjunto abierto de C1
[0; 1]?
0
(b) Es la bola cerrada en C1 [0; 1] ;
b1 (0; 1) := fg 2 C 0 [0; 1] :
B
jg(x)j dx $ 1g;
0
un subconjunto cerrado de C1
[0; 1]?
0
(c) Es la bola cerrada en C1 [0; 1] ;
42
2. CONTINUIDAD
Captulo 3
Compacidad
Los intervalos cerrados [a; b] tienen la propiedad de que cualquier sucesin de puntos
en ellos contiene una subsucesin convergente. Esto tiene consecuencias importantes,
como por ejemplo, que toda funcin continua en un intervalo cerrado alcanza su mximo
y su mnimo.
Ms an, los intervalos cerrados y acotados en R tienen la propiedad de HeineBorel, es decir: De cualquier familia de intervalos abiertos que cubre a [a; b] podemos
extraer una subfamilia nita que tambin cubre a [a; b]: Generalizando esta propiedad
obtenemos un concepto fundamental que es el concepto de compacidad.
La compacidad es una propiedad necesaria para obtener muchos resultados tiles,
como veremos ms adelante.
3.1.
Conjuntos compactos
44
3. COMPACIDAD
Claramente, C := fB(0; k) : k 2 Ng es una cubierta abierta de Rn ; pero ningn subconjunto nito de C cubre a Rn .
45
8k % ky :
46
3. COMPACIDAD
kej ' ek k2 =
8j 6= k:
3.2.
47
El teorema de Heine-Borel
r > 0;
es compacto.
Demostracin: Supongamos que Q no es compacto. Entonces existe una cubierta
abierta C = fUi : i 2 Ig de Q en Rn que no contiene ninguna subcubierta nita. En
consecuencia, si subdividimos a Q en 2n cubos cerrados de lado r; se cumple que al
menos uno de ellos, llammoslo Q1 ; no puede ser cubierto por un nmero nito de
elementos de C. Subdividamos ahora Q1 en 2n cubos cerrados de lado 2r y continuemos
este proceso para obtener una sucesin decreciente cubos cerrados
Q > Q1 > ( ( ( > Qk > ( ( (;
tales Qk es un cubo de lado
elementos de C.
r
2k!1
Qk
8x = (x1 ; :::; xN ) 2 Qk :
(3.1)
8j % k; 8i = 1; :::; n:
(3.2)
48
3. COMPACIDAD
3.3.
49
8x 2 A:
exp x
Una consecuencia importante de la compacidad es la siguiente.
Teorema 3.16 Si K es compacto y no vaco, entonces toda funcin continua f : K !
R alcanza su mnimo y su mximo en K:
Demostracin: La Proposicin 3.10 asegura que f (K) es un subconjunto compacto
de R. En consecuencia, por la Proposicin 3.7, f (K) es acotado en R y, como no es
vaco,
m0 := +2nf f (x) 2 R:
x2K
1
k
8k 2 N.
(3.4)
50
3. COMPACIDAD
Como K es compacto, la Proposicin 3.5 asegura que la sucesin (xk ) contiene una
subsucesin (xkj ) que converge a un punto x0 en K: Dado que f es continua, se tiene
entonces que f (xkj ) ! f (x0 ) en R: De la desigualdad (3.4) se sigue que
m0 = l+2m f (xkj ) = f (x0 ):
j!1
Es decir, x0 es un mnimo de f:
De manera anloga se prueba que f alcanza su mximo en K [Ejercicio 3.39].
En particular, se tiene el siguiente resultado.
Corolario 3.17 Sea K un subconjunto cerrado y acotado de Rn : Entonces toda funcin
continua f : K ! R alcanza su mximo y su mnimo en K:
Demostracin: Esto es consecuencia inmediata del resultado anterior y el Teorema
3.12.
3.4.
Semicontinuidad
3.4. SEMICONTINUIDAD
51
L(Z) =
kZ 0 (t)k dt:
Sin embargo, no pueden existir trayectorias arbitrariamente cortas tan cercanas como
queramos a una trayectoria dada, como lo muestra el siguiente resultado.
Proposicin 3.19 Dadas Z 2 C 0 ([a; b]; X) y c < L(Z); existe M > 0 tal que
c < L([ )
si d1 ([ ; Z) < M:
m
X
k=1
Sea M :=
90
:
2m
m
X
k=1
m
X
k=1
52
3. COMPACIDAD
si dX (x; x0 ) < M:
si dX (x; x0 ) < M:
Z 7! L(Z);
es s.c.i.
Ejemplo 3.23 (a) La funcin ] ( [: R ! R dada por
]t[:= n si n ' 1 < t $ n; n 2 Z:
es s.c.i. pero no es continua.
(b) La funcin parte entera [(] : R ! R dada por
[t] := n si n $ t < n + 1; n 2 Z;
es s.c.s. pero no es continua.
La demostracin es sencilla [Ejercicio 3.42].
Una caracterizacin muy til de la semicontinuidad inferior est dada en trminos
del siguiente concepto.
3.4. SEMICONTINUIDAD
53
Denicin 3.24 Sea (tk ) una sucesin en R: El lmite inferior de (tk ) se dene
como
l+2m inf tk := sup +2nf tk 2 R [ f1; '1g;
k!1
n"1
k"n
k!1
k"n
2 R [ f1; '1g:
k!1
(3.5)
k!1
si dX (x; x0 ) < M:
xk 2 BX (x0 ; M)
8k % k0 :
Entonces,
c $ +2nf f (xk ) $ l+2m inf f (xk ):
k"k0
k!1
Como esta desigualdad se cumple para todo c < f (x0 ); conclumos que
f (x0 ) $ l+2m inf f (xk ):
k!1
c0 % f (xk )
8k 2 N
54
3. COMPACIDAD
k!1
3.5.
Continuidad uniforme
La nocin de continuidad de una funcin es una propiedad local, es decir, una funcin
es continua si lo es en cada punto. A continuacin daremos una nocin de continuidad,
que no depende de cada punto en particular, sino nicamente de la distancia entre los
puntos. Esta propiedad es importante, por ejemplo, para garantizar la continuidad de
funciones denidas mediante integrales [Ejercicio 3.49].
Sean (X; dX ) y (Y; dY ) espacios mtricos.
Denicin 3.27 Una funcin C : X ! Y es uniformemente continua si dada
" > 0 existe M > 0 (que depende nicamente de ") tal que, para cualesquiera x1 ; x2 2 X;
dY (C(x1 ); C(x2 )) < "
si dX (x1 ; x2 ) < M:
3.6. EJERCICIOS
55
Teorema 3.28 Sea X un espacio mtrico compacto. Entonces toda funcin continua
C : X ! Y es uniformemente continua.
Demostracin: Argumentando por contradiccin, supongamos que X es compacto
y que C : X ! Y es continua pero no es uniformemente continua. Entonces para algn
"0 > 0 y para todo k 2 N existen xk ; x
ek 2 X tales que
1
y
dY (C(xk ); C(e
xk )) % "0 :
k
Como X es compacto, la sucesin (xk ) contiene una subsucesin (xkj ) tal que xkj ! x
en X (Proposicin 3.5). De la desigualdad del tringulo
dX (xk ; x
ek ) <
dX (x; x
ekj ) $ dX (x; xkj ) + dX (xkj ; x
ekj )
se sigue que x
ekj ! x en X y, como C es continua, se cumple entonces que C(xkj ) ! C(x)
y C(e
xkj ) ! C(x) en Y (Proposicin 2.33): En consecuencia,
dY (C(xkj ); C(e
xkj )) $ dY (C(xkj ); C(x)) + dY (C(x); C(e
xkj )) < "0
3.6.
Ejercicios
56
3. COMPACIDAD
Ejercicio 3.31 Sea Xdisc es un espacio mtrico discreto. Prueba que Xdisc es compacto
si y slo si Xdisc es nito.
Ejercicio 3.32 Es cierto en general que, si C : X ! Y es continua y K es un subconjunto compacto de Y; entonces C&1 (K) es un subconjunto compacto de X? Justica
tu respuesta.
Ejercicio 3.33 Prueba que, si C : X ! Y es un homeomorsmo, entonces K es
compacto en X si y slo si C(K) es compacto en Y:
Ejercicio 3.34 Sea V un espacio vectorial de dimensin
nita y sea fe1 ; :::; en g una
Pn
base de V: Dado v 2 V lo expresamos como v = i=1 xi ei y denimos
kvk) :=
n
X
i=1
x2i
!1=2
n
X
xi ei ;
i=1
3.6. EJERCICIOS
57
Prueba que
(a) f es continua y biyectiva,
(b) f &1 : S1 ! [0; 2H) no es continua.
Es decir, la compacidad de X es esencial en la armacin del ejercicio anterior.
Ejercicio 3.38 Prueba que, si C : X ! Y es continua y X es compacto, entonces C es
una funcin acotada (ver Denicin 1.26).
Ejercicio 3.39 Prueba que, si un subconjunto K de un espacio mtrico X es compacto
y no vaco, entonces toda funcin continua f : X ! R alcanza su mximo en K:
Ejercicio 3.40 Sean Y un subconjunto de un espacio mtrico X y x 2 X: Denimos
la distancia de x a Y como
dist(x; Y ) := +2nf dX (x; y):
y2Y
k!1
58
3. COMPACIDAD
k!1
k!1
k!1
3.6. EJERCICIOS
59
Ejercicio 3.50 Prueba que toda funcin Lipschitz continua es uniformemente continua.
60
3. COMPACIDAD
Captulo 4
Completitud
Resulta til contar con un criterio de convergencia de sucesiones que dependa nicamente de los trminos de la sucesin. Para sucesiones de nmeros reales contamos
con un criterio tal, a saber: si una sucesin de nmeros reales es de Cauchy entonces
converge.
La nocin de sucesin de Cauchy se extiende de manera natural a espacios mtricos.
Sin embargo, no resulta cierto en general que toda sucesin de Cauchy en un espacio
mtrico converja. A los espacios mtricos para los que esto ocurre se les llama completos.
Como veremos en el siguiente captulo, esta propiedad proporciona en ocasiones
un algoritmo que permite obtener soluciones de sistemas de ecuaciones numricas, de
ecuaciones diferenciales y de ecuaciones integrales mediante un proceso de iteracin.
4.1.
8k; j % k0 :
62
4. COMPLETITUD
8
< '1 si ' 1 $ x $ ' k1 ;
kx si ' k1 $ x $ k1 ;
fk (x) =
:
1
si k1 $ x $ 1;
0.5
0.5
0
-1
-0.5
0
0
0.5
-1
-0.5
-0.5
-0.5
-1
-1
y = f3 (x)
0.5
y = f6 (x)
&1
"Z
1 1
' :
k j
2
8k; j > :
"
1=k
1=j
(1 ' kx)dx
63
j1 ' f (x)j dx $
Z
&1
j1 ' f (x)j dx = 0;
y esto implica que f (x) = 1 para todo x 2 [a; 1]: Anlogamente, f (x) = '1 para todo
x 2 ['1; 'a] y, como a 2 (0; 1) es arbitraria, tenemos que
f (x) =
Stefan Banach (1892-1945) naci en Cracovia, Polonia. Se le considera fundador del Anlisis Funcional moderno.
64
4. COMPLETITUD
1
0.5
0
-7.5
-5
-2.5
2.5
7.5
-0.5
-1
arctan x
Sin embargo, la completitud s se preserva bajo equivalencias.
Proposicin 4.7 Si existe una equivalencia C : X ! Y entre dos espacios mtricos X
y Y , entonces X es completo si y slo si Y lo es.
Demostracin: Supongamos que Y es completo y que C : X ! Y es Lipschitz
continua. Sea (xk ) una sucesin de Cauchy en X. Entonces, dada " > 0; existe k0 2 N
tal que
dY (C(xj ); C(xk )) $ c dX (xj ; xk ) < " 8j; k % k0 :
8j; k % k0 ; 8i = 1; :::; n:
Esto prueba que, para cada i = 1; :::; n; la sucesin (xk;i ) es de Cauchy en R. Como R
es completo, xk;i ! xi en R. Por tanto, dada " > 0; existe ki 2 N tal que
jxk;i ' xi j < "
8k % ki ; 8i = 1; :::; n;
65
y, en consecuencia,
kxk ' xk1 := m+ax jxk;i ' xi j < "
i=1;:::;n
8k % m+axfk1 ; :::; kn g;
4.2.
Convergencia uniforme
En esta seccin daremos ejemplos importantes de espacios mtricos completos. Empezaremos comparando ciertos tipos de convergencia para sucesiones de funciones.
Sean S un conjunto y X = (X; dX ) un espacio mtrico.
Denicin 4.10 Una sucesin de funciones fk : S ! X; k 2 N; converge puntualmente en S a una funcin f : S ! X si fk (z) ! f (z) en X para cada z 2 S: Es decir,
(fk ) converge puntualmente a f en S si, para cada " > 0 y cada z 2 S, existe k0 2 N
(que depende de " y de z) tal que
dX (fk (z); f (z)) < "
8k % k0 :
66
4. COMPLETITUD
0.75
0.75
0.75
0.5
0.5
0.5
0.25
0.25
0.25
0.25
0.5
y = x2
0.75
0.25
0.5
0.75
y = x4
0.25
0.5
0.75
y = x6
8k % k0 , 8z 2 S:
5 6
1 55
;0 :
k5
67
3.5
2.5
1.5
0.5
y = f4 (x)
La sucesin (fk ) converge puntualmente a 0; pero no converge uniformemente a 0 ya
que, si " 2 (0; 1); ningn k 2 N cumple que jfk (x)j < " para todo x 2 [0; 1]: En efecto,
5 ( )5
5
5
5fk 1 5 = k > " 8k 2 N:
5
k 5
La propiedad fundamental de la convergencia uniforme es la siguiente.
f; g 2 B(S; X);
68
4. COMPLETITUD
Proposicin 4.15 Sea (fk ) una sucesin en B(S; X): Entonces, (fk ) converge uniformemente a f en S si y slo si (fk ) converge a f en B(S; X):
Demostracin: Si f 2 B(S; X) y (fk ) converge a f en B(S; X) entonces, dada " > 0;
existe k0 2 N tal que
d1 (fk ; f ) := sup dX (fk (z); f (z)) < "
z2S
8k % k0 :
En consecuencia,
dX (fk (z); f (z)) < "
8k % k0 ; 8z 2 S:
8z 2 S:
8k % k0 :
69
4.3.
8j; k % k0 , 8z 2 S:
70
4. COMPLETITUD
8j; k % k0 , 8z 2 S:
8k % k0 , 8z 2 S;
71
4.4.
Series de funciones
Sea V = (V; k(k) un espacio vectorial normado y sea (vk ) una sucesin en V:
Denicin 4.22 Decimos que la serie
1
X
vk
k=1
Pn
k=1
vk converge en V:
k=1
vk
k=1
converge en V si y slo si, para cada " > 0, existe k0 2 N tal que
kvk+1 + ( ( ( + vk+j k < "
8k % k0 ; 8j % 1:
72
4. COMPLETITUD
8k % k0 ; 8j % 1;
fk
k=1
Pn
k=1
fk converge
fk :
k=1
kfk k1
fk
k=1
1
X
k=1
fk :
73
P1
k=1
8k % k0 ; 8j % 1:
Ahora bien, dado que V es de Banach, el espacio Cb0 (Z; V ) es de Banach (Proposicin
4.20).P
Aplicando la Proposicin 4.24 a la sucesin (fk ) en Cb0 (Z; V ); conclumos que la
0
serie 1
k=1 fk converge en Cb (Z; V ):
Aplicaremos ahora el Teorema 4.26 al estudio de series de potencias.
ak (x ' x0 )k
1
X
ak rk converge en Rg:
k=0
El siguiente resultado justica la denicin del radio de convergencia, y es consecuencia del Teorema 4.26.
Corolario 4.28 Sean (ak ) una sucesin en R y x0 2 R. Las series de potencias
1
X
k=0
ak (x ' x0 )k
1
X
k=1
8k 2 N:
74
4. COMPLETITUD
P1 k
Como
]
2
(0;
1);
la
serie
de
nmeros
reales
k=0 ] converge. Por consiguiente, la serie
P1
kf
k
converge
[Ejercicio
4.43]
y
el
Teorema
4.26 implica que la serie
k 1
k=0
1
X
k=0
ak (x ' x0 )k
c
kgk k1 $ k]k&1
r^
P
k&1
Dado que la serie 1
converge en R, argumentando como en el caso anterior,
k=1 k]
conclumos que la serie
1
X
kak (x ' x0 )k&1
k=1
1
1
jfj (x) ' fj (x0 ) ' fk (x) + fk (x0 )j $ 1fj0 ' fk0 11 jx ' x0 j
8x 2 (a; b):
Como (fk0 ) converge en C 0 [a; b], dada " > 0 existe k0 2 N tal que
jfj (x) ' fj (x0 ) ' fk (x) + fk (x0 )j $
"
jx ' x0 j
3
75
(4.3)
(4.4)
(4.5)
se llama una funcin analtica. Una funcin analtica tiene derivadas de todos los
rdenes [Ejercicio 4.47]. El recproco no es cierto [Ejercicio 4.48].
76
4. COMPLETITUD
4.5.
Ejercicios
Prueba que (fk ) es de Cauchy en Cp0 ['1; 1] para toda p 2 [1; 1):
Prueba que (fk ) no converge en Cp0 ['1; 1] para ninguna p 2 [1; 1]: (Sugerencia:
el Ejercicio 2.44 y el Ejemplo 4.4).
0
Es (fk ) de Cauchy en C1
['1; 1]?
Ejercicio 4.35 Prueba que `p es un espacio de Banach para todo p 2 [1; 1]:
Ejercicio 4.36 Considera los siguientes subespacios de `1 con la norma inducida.
Cules de ellos son de Banach?
(i) d := f(xn ) : xn 2 R y xn 6= 0 slo para un nmero nito de nsg:
(ii) c0 := f(xn ) : xn 2 R y xn ! 0g:
(iii) c := f(xn ) : xn 2 R y (xn ) converge en Rg:
Ejercicio 4.37 Prueba que todo espacio mtrico compacto es completo.
Ejercicio 4.38 Sean X y Y espacios mtricos completos. Prueba que X ! Y con
cualquiera de las mtricas del Ejercicio 1.50 es completo.
Ejercicio 4.39 (a) Prueba que la sucesin de funciones fk (x) = xk no converge uniformemente en [0; 1]:
(b) Prueba que la sucesin de funciones fk (x) = xk converge uniformemente en cualquier
subintervalo cerrado [a; b] 6 [0; 1):
4.5. EJERCICIOS
77
Ejercicio 4.40 Cules de las siguientes sucesiones de funciones fk : R ! R convergen puntualmente en R? Encuentra todos los intervalos donde la convergencia es
uniforme.
(a) fk (x) =
kx
;
kx2 + 1
(b) fk (x) =
kx
;
2
k x2 + 1
(c) fk (x) =
k2x
:
kx2 + 1
x2
:
(1 + x2 )k
P1
(a) Prueba que, para cada x 2 R, la serie
de
nmeros
reales
k=1 fk (x) converge.
P1
(b) Converge la serie de funciones
k=1 fk uniformemente en R?
Ejercicio 4.45 Considera las funciones fk : R ! R dadas por
senkx
fk (x) = p :
k
(a) Prueba que (fk ) converge uniformemente a 0 en R:
(b) Prueba que (fk0 ) no converge puntualmente en R, donde fk0 es la derivada de fk :
78
4. COMPLETITUD
r
Ejercicio 4.46 Prueba que, para cada r % 1; el espacio C1
[a; b] denido en el Ejercicio
1.48 es un espacio de Banach. (Sugerencia: Usa la Proposicin 4.29.)
P
k
Ejercicio 4.47 Sea 1
k=0 ak (x ' x0 ) ; ak 2 R; una serie de potencias con radio de
convergencia R > 0: Prueba que la funcin f : (x0 ' R; x0 + R) ! R dada por
f (x) :=
1
X
ak (x ' x0 )k
k=0
tiene derivadas de todos los rdenes y que la n-sima derivada f (n) de f est dada por
f
(n)
(x) =
1
X
k=n
0.8
0.6
0.4
0.2
0
-2.5
-1.25
1.25
2.5
&1=x2
y=e
(a) Prueba que f tiene derivadas de todos los rdenes en x = 0 y que f (n) (0) = 0:
(b) Se puede escribir f como una serie
f (x) =
1
X
ak x k ;
k=0
ak 2 R,
4.5. EJERCICIOS
79
Ejercicio 4.49 Sean akj 2 R tales que las series de nmeros reales
1
X
j=1
jakj j = bk
P1
1 X
1
X
k=1 bk
akj =
k=1 j=1
1 X
1
X
akj :
j=1 k=1
fk (0) =
1
X
akj :
j=1
Comprueba que esta sucesin satisface todas las hiptesis del Teorema 4.26.)
Ejercicio 4.50 Da el radio de convergencia de la serie de potencias
f (x) =
1
X
xk
k=0
k!
1 k
x +
k!
80
4. COMPLETITUD
'(4k x)
1 ( )k
X
3
k=0
'(4k x)
es continua.
(b) Prueba que f no es diferenciable en ningn punto x 2 R: (Sugerencia: Para cada
j 2 N toma m 2 N tal que m $ 4j x < m + 1; y dene yj := 4&j m; zj := 4&j (m + 1):
Prueba que
5
5
5 f (zj ) ' f (yj ) 5
5
5!1
cuando j ! 1:
5 zj ' yj
5
Usa este hecho para concluir que f no es diferenciable en x.)
Ejercicio 4.53 Sea fk : [a; b] ! R una sucesin de funciones continuamente diferenciables en [a; b] que converge puntualmente a una funcin f en [a; b]: Cules de las
siguientes armaciones son verdaderas? Si la armacin es verdadera, demustrala; si
es falsa, da un contraejemplo.
(a) f es continua en [a; b].
(b) (fk ) converge uniformemente a f:
(c) La sucesin (fk0 ) converge puntualmente en [a; b].
(d) Si f es continuamente diferenciable, entonces (fk0 ) converge puntualmente en [a; b]:
(e) Si f es continuamente diferenciable y si (fk0 (x)) converge para cada x 2 [a; b];
entonces (fk0 ) converge puntualmente a f 0 en [a; b]:
Captulo 5
El teorema de punto jo y
aplicaciones
El teorema de punto jo de Banach, tambin llamado el principio de contraccin,
garantiza la existencia y unicidad de puntos jos de cierto tipo de funciones de un
espacio mtrico en s mismo. A diferencia de otros teoremas de punto jo, ste da un
mtodo constructivo para encontrarlo mediante un proceso de iteracin.
Una aplicacin importante es el teorema de Picard-Lindelf que asegura la existencia
y unicidad de soluciones de ciertas ecuaciones diferenciales ordinarias. Este resultado fue
publicado por primera vez en 1890 por Lindelf1 . Simultneamente, Picard2 desarroll
un mtodo de aproximacin sucesiva de soluciones. El mtodo de iteracin de Picard
es justamente el mtodo iterativo del teorema de punto jo de Banach.
5.1.
Ernst Leonard Lindelf (1870-1946) fue un matemtico nlands que realiz aportaciones importantes en Anlisis y Ecuaciones Diferenciales.
2
Charles mile Picard (1856-1941) fue un destacado matemtico francs que realiz aportaciones
muy importantes en mltiples ramas de las matemticas, particularmente en Variable Compleja y
Ecuaciones Diferenciales.
81
82
C0 := idX :
k veces
Ak
d(C(x0 ); x0 );
1'A
(5.2)
8k 2 N:
(5.3)
83
8k % k0 :
(5.4)
k!1
es decir, x) es un punto jo de C: Veamos que es el nico. Si x)1 y x)2 son puntos jos
de C entonces
d(x)1 ; x)2 ) = d(C(x)1 ); C(x)2 )) $ Ad(x)1 ; x)2 )
y, como A < 1; esta desigualdad implica que d(x)1 ; x)2 ) = 0; es decir, x)1 = x)2 : Por ltimo,
haciendo tender j ! 1 en la desigualdad (5.3) obtenemos que
d(x) ; xk ) = l+2m d(xj ; xk ) $
j!1
Ak
d(x1 ; x0 )
1'A
8k 2 N.
84
8t; s 2 R:
Sin embargo, no tiene ningn punto jo. Por tanto, para la validez del Teorema 5.3 es
necesario que el nmero A de la condicin (5.1) sea estrictamente menor que 1:
Esta condicin tambin es necesaria para la unicidad del punto jo [Ejercicio 5.22].
La siguiente generalizacin del teorema de punto jo de Banach es muy til en las
aplicaciones.
Corolario 5.6 Sea X un espacio mtrico completo y C : X ! X una funcin. Si existe
k 2 N tal que Ck : X ! X es una contraccin, entonces C tiene un nico punto jo.
Demostracin: El Teorema 5.3 asegura que Ck tiene un nico punto jo x) 2 X:
Aplicando C a la igualdad Ck (x) ) = x) obtenemos que
3
4
Ck (C(x) )) = C Ck (x) ) = C (x) ) ;
5.2.
(5.5)
jaij j $ A
8j = 1; :::; n;
(5.6)
85
entonces el sistema (5.5) tiene solucin nica para cada b 2 Rn : La solucin x) satisface
1
1
k&1
1
1
X
Ak
1 )
m 1
A b1 $
kbk1 :
1x +
1
1
1'A
m=0
1
j=1
i=1 j=1
j=1
8x; y 2 Rn ;
es decir, C es una contraccin. Por el Teorema 5.3, existe un nico x) 2 Rn tal que
C(x) ) = Ax) ' b = x) : Ms an, como
k
C (0) = '
se tiene que
k&1
X
Am b;
m=0
1
1
k&1
1
1
X
Ak
1 )
1
Am b 1 $
kbk1 :
1x +
1
1
1
'
A
m=0
1
86
5.3.
Ecuaciones integrales
Aplicaremos el Teorema de Punto Fijo de Banach para probar la existencia y unicidad de soluciones de dos tipos de ecuaciones integrales importantes: la ecuacin integral
de Fredholm y la ecuacin integral de Volterra.
5.3.1.
Una ecuacin de este tipo se llama una ecuacin integral de Fredholm3 . Se dice
que es del primer tipo si 0 = 0 y del segundo tipo si 0 6= 0. Una funcin f que
satisface (5.7) se llama una solucin de (5.7). Nos preguntamos, para qu valores 0
tiene la ecuacin (5.7) una nica solucin?
Queremos expresar este problema como un problema de punto jo. Es decir, queremos encontrar una funcin CG : C 0 [a; b] ! C 0 [a; b] cuyos puntos jos sean las soluciones
de la ecuacin (5.7). Para ello, procederemos del siguiente modo. A cada f 2 C 0 [a; b] le
asociamos la funcin F f : [a; b] ! R dada por
(F f ) (x) :=
8x 2 [a; b];
1
(F f + g):
0
Erik Ivar Fredholm (1866-1927) fue un matemtico sueco. En 1903 introdujo la teora moderna de
ecuaciones integrales, a la que se conoce como Teora de Fredholm.
87
Probaremos que F f 2 C 0 [a; b] (Lema 5.8). Esto nos permite denir una funcin de
C 0 [a; b] en s mismo como sigue:
CG : C 0 [a; b] ! C 0 [a; b];
CG (f ) :=
1
(F f + g):
0
es continua.
Demostracin: Sea f 2 C 0 [a; b]: Si f = 0 entonces F f = 0: Supongamos que f 6= 0:
Como [a; b] ! [a; b] es compacto, el Teorema 3.28 asegura que K es uniformemente
continua. En consecuencia, dada " > 0; existe M > 0 tal que
jK(x1 ; y1 ) ' K(x2 ; y2 )j <
"
(b ' a) kf k1
Por tanto,
j(F f ) (x1 ) ' (F f ) (x2 )j $
$ (b ' a)
"
kf k1 = "
(b ' a) kf k1
Teorema 5.9 Si j0j > kKk1 (b ' a) entonces, para cada g 2 C 0 [a; b]; la ecuacin
integral de Fredholm (5.7) tiene una nica solucin.
88
1
(F f + g) :
0
El lema anterior asegura que CG es, efectivamente, una funcin de C 0 [a; b] en s mismo.
Veamos que, si j0j > kKk1 (b'a); entonces CG es una contraccin. Sean f1 ; f2 2 C 0 [a; b]:
Entonces, para toda x 2 [a; b]; se tiene que
1
jF f1 (x) ' F f2 (x)j
j0j
Z b
1
$
jK(x; y)j jf1 (y) ' f2 (y)j dy
j0j a
1
$
(b ' a) kKk1 kf1 ' f2 k1 :
j0j
Por consiguiente,
kCG (f1 ) ' CG (f2 )k1 $
1
(b ' a) kKk1 kf1 ' f2 k1
j0j
1
(b ' a) kKk1 < 1: En consecuencia, CG es una contraccin.
Por hiptesis, jGj
0
Dado que C [a; b] es completo (Corolario 4.20), el Teorema 5.3 asegura que existe una
nica f ) 2 C 0 [a; b] tal que
f ) = CG (f ) ) =
1
(F f ) + g) :
0
Es decir, existe una nica f ) 2 C 0 [a; b] que satisface la ecuacin integral de Fredholm
0f ) = F f ) + g;
como arma el enunciado.
Es sencillo comprobar que la funcin F : C 0 [a; b] ! C 0 [a; b] es lineal y continua
[Ejercicio 5.30]. Si g = 0; la ecuacin integral de Fredholm se convierte en la ecuacin
de valores propios (o eigenvalores)
F f = 0f
para el operador de Fredholm F: Nota que la funcin f = 0 satisface esta ecuacin.
El teorema anterior asegura que sta es la nica solucin si j0j > kKk1 (b'a): Es decir,
ninguna tal 0 es un valor propio de F:
5.3.2.
89
(5.8)
CG (f ) :=
1
(Gf + g):
0
Sus puntos jos son las soluciones de la ecuacin (5.8). Probaremos que para cada 0 6= 0
existe k 2 N tal que la funcin CkG es una contraccin (ver Lema 5.11). El Corolario 5.6
asegura entonces que CG tiene un nico punto jo, es decir, que la ecuacin (5.8) tiene
una nica solucin.
Lema 5.10 Para cada f 2 C 0 [a; b]; la funcin Gf : [a; b] ! R dada por
Z x
(Gf ) (x) :=
K(x; y)f (y)dy
a
es continua.
4
Las ecuaciones integrales de Volterra fueron estudiadas por el matemtico rumano Traian Lalescu
en 1908 en su tesis escrita bajo la direccin de mile Picard. En 1911, Lalescu escribi el primer libro
sobre ecuaciones integrales.
90
x1
"
< (x1 ' a)
kf k1 + M kKk1 kf k1
2(b ' a) kf k1
" "
<
+ = ":
2 2
1
(Gf + g) :
0
El lema anterior asegura que CG es, efectivamente, una funcin de C 0 [a; b] en s mismo.
Probaremos el siguiente resultado.
Lema 5.11 La funcin CG satisface la desigualdad
k
1 k
1
1CG (f1 ) ' CkG (f2 )1 $ j0j&k kKkk (b ' a) kf1 ' f2 k ;
1
1
1
k!
8x 2 [a; b]:
Z x
1
jCG (f1 )(x) ' CG (f2 )(x)j $
jK(x; y)j jf1 (y) ' f2 (y)j dy
j0j a
1
$
kKk1 (x ' a) kf1 ' f2 k1 :
j0j
(5.9)
91
kKkk1
j0jk
kf1 ' f2 k1
(x ' a)k
:
k!
8k % k0
[Ejercicio 5.33]. Por el lema anterior, para k % k0 , la funcin CkG : C 0 [a; b] ! C 0 [a; b] es
una contraccin. Del Corolario 5.6 se sigue que CG tiene un nico punto jo, es decir,
la ecuacin (5.8) tiene solucin nica.
Este resultado asegura en particular que, si 0 6= 0; la solucin trivial es la nica
solucin de la ecuacin de valores propios
Gf = 0f
para el operador de Volterra G: Es decir, ningn 0 6= 0 es un valor propio de G: La
ecuacin integral de Volterra del primer tipo, Gf = 0, es bastante ms complicada.
92
5.4.
El problema de Cauchy
a(0; x; y) = ('y; x)
a(1; x; y) = (x ' y; x + y)
Dado un tiempo inicial t0 2 (a; b) y una posicin inicial x0 2 "; nos preguntamos si
existe una trayectoria u(t) en " tal que u(t0 ) = x0 cuya velocidad u0 (t) en el tiempo t
sea precisamente a(t; u(t)):
Denicin 5.13 Una solucin del problema de Cauchy
! 0
u = a(t; u);
u(t0 ) = x0 ;
(5.11)
u(t0 ) = x0 :
93
Empezaremos mostrando que el problema (5.11) es equivalente a una ecuacin integral. Dada una funcin continua f = (f1 ; :::; fn ) : [a; b] ! Rn ; denotamos por
Z
f (t)dt :=
(Z
f1 (t)dt; :::;
)
fn (t)dt 2 Rn
a(s; u(s))ds + x0
t0
(5.12)
t0
ui (t0 ) = x0;i ;
si jt ' t0 j $ M 0 y x1 ; x2 2 B(x0 ; M 0 ):
94
t0
t0 +
Denimos
X := fu 2 C 0 ([t0 ' M; t0 + M]; Rn ) : ku ' x0 k1 $ MM g
donde x0 es la funcin constante con valor x0 y
kuk1 := m+ax ku(t)k
t2[a;b]
95
a(s; u(s))ds + x0 :
t0
Nota que el integrando est bien denido porque, de acuerdo con el lema anterior,
u(s) 2 " para todo s 2 [t0 ' M; t0 + M]: Requerimos la siguiente desigualdad.
Lema 5.17 Para toda funcin continua f : [a; b] ! Rn se cumple que
1Z b
1
1
1
1
1 $ jb ' aj kf k :
f
(t)dt
1
1
1
a
En consecuencia, u 2 X:
96
$ MC ku ' vk1 :
Por consiguiente,
kC(u) ' C(v)k1 $ MC ku ' vk1
y, como hemos elegido M tal que MC < 1; se tiene que C es una contraccin.
Como X es completo, el Teorema 5.3 asegura que C tiene un nico punto jo. Es decir,
que existe una nica u) 2 X que satisface la ecuacin integral (5.12). Del Lema 5.14
se sigue que u) es la nica solucin del problema de Cauchy (5.11) en el intervalo
[t0 ' M; t0 + M]:
5.5.
Ejercicios
Ejercicio 5.20 Sea X un conjunto arbitrario con la mtrica discreta ddisc denida en
el Ejemplo 1.11. Prueba que C : X ! X es una contraccin si y slo si C es una funcin
constante.
Ejercicio 5.21 (a) Prueba que la funcin C : Rnp ! Rnp dada por C(x) = 12 x es una
contraccin para todo p 2 [1; 1):
(b) Es posible darle a Rn alguna mtrica tal que C no sea contraccin?
(c) Es posible darle a Rn alguna norma tal que C no sea contraccin?
Ejercicio 5.22 (a) Usa el Teorema del Valor Intermedio para probar que toda funcin
continua f : [a; b] ! [a; b] tiene al menos un punto jo.
(b) Da un ejemplo de una funcin continua f : [a; b] ! [a; b] con una innidad de
puntos jos.
5.5. EJERCICIOS
97
Ejercicio 5.23 Sea f : [a; b] ! R continuamente diferenciable en [a; b] y tal que f (a) <
0 < f (b) y f 0 (x) > 0 para toda x 2 [a; b]. Prueba que existe un nico x) 2 [a; b] tal
que f (x) ) = 0 y que x) se puede encontrar por el mtodo de aproximaciones sucesivas.
(Sugerencia: Demuestra que existe 0 > 0 tal que x ' 0f (x) 2 [a; b] para todo x 2 [a; b]
y tal que CG (x) := x ' 0f (x) es una contraccin en [a; b]:)
Ejercicio 5.24 Prueba que, si f : R ! R es continuamente diferenciable y jf 0 (x)j $
M < 1 para todo x 2 R; entonces f es una contraccin.
Ejercicio 5.25 Da un ejemplo de un espacio mtrico completo y una funcin C : X !
X que satisface
d(C(x); C(y)) < d(x; y)
8x; y 2 X con x 6= y;
(5.14)
y que no tiene ningn punto jo. Es decir, la condicin (5.14) no es suciente para
garantizar la existencia de un punto jo.
Ejercicio 5.26 Sean X un espacio mtrico completo y C : X ! X una funcin. Prueba
que, si existe A 2 (0; 1) tal que
dX (C2 (x); C(x)) $ AdX (C(x); x)
8x 2 X;
Rn2
entonces C :
!
(b) Prueba que, si
Rn2
es una contraccin.
m+ax
i=1;:::;n
n
X
j=1
jaij j < 1;
(5.16)
98
y (5.16) pero no las otras dos. Es decir, cada una de estas condiciones es suciente
para que la ecuacin
Ax ' x = b;
tenga solucin nica, pero ninguna es necesaria.
(d) En cada uno de los incisos (a) y (b) aplica la frmula (5.2) para estimar la solucin
en trminos de A y b exclusivamente.
(e) Prueba que cada una de las condiciones (5.15) y (5.16) implica que det(A ' I) 6= 0:
(f) Da un ejemplo de una matriz A tal que det(A ' I) 6= 0 y que no cumple ninguna
de las condiciones (5.6), (5.15) y (5.16).
Ejercicio 5.29 Sea A una matriz de n ! n: Recordemos que 0 2 R es un valor propio
de A si existe x 2 Rn , x 6= 0; tal que Ax = 0x: Prueba que todo valor propio 0 de A
satisface
n
X
j0j $ m+ax
jaij j :
i=1;:::;n
j=1
donde A :=
1
jGj
Ak
kgk1 ;
(1 ' A) j0j
5.5. EJERCICIOS
99
donde A :=
1
jGj
Ak
$
kgk1 ;
(1 ' A) j0j
100
Ejercicio 5.36 Dada una funcin continua f = (f1 ; :::; fn ) : [a; b] ! Rn ; denotamos
por
(Z b
)
Z b
Z b
f (t)dt :=
f1 (t)dt; :::;
fn (t)dt 2 Rn
a
al vector cuyas componentes son las integrales de las componentes de f: Prueba que
1Z b
1
1
1
1
f (t)dt1
1
1 $ jb ' aj kf k1 ;
a
u0 = 3u2=3 ;
u(0) = 0:
(5.17)
5.5. EJERCICIOS
101
Prueba que
1
t'A
es solucin de (5.17) en algn intervalo que contiene a 0:
(c) Cul es el intervalo mximo para el que existe una solucin de (5.17)?
u(t) =
102
Captulo 6
Compacidad en espacios de
funciones
En el Captulo 3 dimos una caracterizacin sencilla de los subconjuntos compactos
de Rn . Vimos que son precisamente aqullos que son cerrados y acotados.
El objetivo de este captulo es dar una caracterizacin sencilla de los subconjuntos
compactos del espacio de funciones continuas de un espacio mtrico compacto a un
espacio mtrico arbitrario. Dicha caracterizacin, debida a Arzel1 y Ascoli2 , se basa
fundamentalmente en la nocin de equicontinuidad, que fue introducida casi simultneamente por ambos3 4 .
En 18831884 Ascoli di una condicin suciente para la compacidad y Arzel estableci en 1895 una condicin necesaria, y present la primera exposicin clara de
dicho resultado.
El Teorema de Arzel-Ascoli es un resultado fundamental en matemticas, que tiene
mltiples aplicaciones. En l se basa la demostracin del Teorema de Cauchy-Peano sobre la existencia de soluciones al problema de Cauchy para campos vectoriales continuos. Otra aplicacin interesante es la existencia de trayectorias geodsicas en espacios
mtricos compactos. En este captulo expondremos ambas aplicaciones.
1
Cesare Arzel (1847-1912), matemtico italiano. Fue profesor en Bologna. Destacan sus importantes contribuciones al estudio de sucesiones de funciones.
2
Giulio Ascoli (1843-1896), matemtico italiano. Fue profesor en el Politecnico di Milano. Hizo
importantes contribuciones a la teora de funciones de variable real.
3
Ascoli, G. (18831884), "Le curve limiti di una variet data di curve", Atti della R. Accad. dei
Lincei Memorie della Cl. Sci. Fis. Mat. Nat. 18(3): 521586.
4
Arzel, Cesare (18821883), nosservazione intorno alle serie di funzioni", Rend. dellAccad. R.
delle Sci. dellIstituto di Bologna: 142159 .
103
104
6.1.
p
b 1) pudiese ser cubierta por un nmero nito de bolas de radio
Sea " 2 (0; 2=2): Si B(0;
" en `2 , entonces al menos una de ellas tendra que contener a un par ej ; ek , j 6= k; lo
cual es imposible.
Sea X = (X; dX ) un espacio mtrico. Estudiaremos a los subconjuntos de X que
tienen la siguiente propiedad.
Denicin 6.2 Un subconjunto A de X es totalmente acotado (o precompacto)
si para toda " > 0 existe un nmero nito de puntos a1 ; :::; am 2 A tales que
A 6 BX (a1 ; ") [ ( ( ( [ BX (am ; "):
Veamos algunas propiedades sencillas de los conjuntos totalmente acotados.
Proposicin 6.3 (a) Todo subconjunto compacto de X es totalmente acotado.
(b) Todo subconjunto totalmente acotado de X es acotado.
(c) Todo subconjunto de un conjunto totalmente acotado es, a su vez, totalmente acotado.
(d) La cerradura en X de un subconjunto totalmente acotado es totalmente acotada.
Demostracin: (a) Si K 6 X es compacto entonces, para toda " > 0; la cubierta
abierta fBX (x; ") : x 2 Kg de K contiene una subcubierta nita. Es decir, existen
x1 ; :::; xm 2 K tales que
K 6 BX (x1 ; ") [ ( ( ( [ BX (xm ; "):
105
BX (bj ; "):
j2J
En consecuencia,
bX (a1 ; " ) [ ( ( ( [ B
bX (am ; " ):
A6B
2
2
A 6 BX (a1 ; ") [ ( ( ( [ BX (am ; "):
106
1
1
1
+ ( ( ( + j&1 < k&1 ;
k
2
2
2
(6.1)
1
2k&1
8k 2 N:
1
1
+ k&1 < ";
k
2
2
1
) 6 BX (x) ; ") 6 U ) :
k
2
107
Esto es una contradiccin, ya que habamos supuesto que BX (xk ; 21k ) no puede ser
cubierta por un nmero nito de elementos de U.
Observa la similitud de la demostracin de la armacin (c))(a) con la de la
Proposicin 3.11, que constituye la parte medular de la demostracin del Teorema de
Heine-Borel. La caracterizacin (c) es muy til. Veamos un ejemplo.
Ejemplo 6.5 El cubo de Hilbert
!
H := (xk ) 2 `2 : jxk j $
1
2k&1
es compacto.
Demostracin: Es fcil probar que H es cerrado en `2 [Ejercicio 6.28]. De modo
que, como `2 es completo [Ejercicio 4.35], H es completo. Por el Teorema 6.4, basta
entonces probar que H es totalmente acotado.
Dada " > 0 escojamos k0 tal que 2k01!1 < 2" y consideremos el conjunto
H k0 := f(xk ) 2 H : xk = 0 8k > k0 g:
La funcin D : Rk0 ! `2 tal que D(x1 ; :::; xk0 ) := (x1 ; :::; xk0 ; 0; 0; :::) es una isometra.
Como el cubo
1
Q := f(x1 ; :::; xk0 ) 2 Rk0 : jxk j $ k&1 g
2
k0
k0
es compacto en R ; la Proposicin 3.10 asegura que H = D(Q) es compacto en H. En
consecuencia, existen y1 ; :::; ym 2 H k0 tales que
"
"
H k0 6 B`2 (y1 ; ) [ ( ( ( [ B`2 (ym ; ):
2
2
(6.2)
(6.3)
Sea x = (xk ) 2 H: Denimos xk0 := (x1 ; :::; xk0 ; 0; 0; :::) 2 H k0 : Se tiene entonces que
!1=2
!1=2
1
1
X
X
1
1
1
1
"
2
1x ' xk0 1 =
jx
j
$
<
<
:
k
2
k
k0 &1
4
2
2
k=k +1
k=k
0
1
1
Por otra parte, se sigue de (6.2) que 1xk0 ' yi 12 < 2" para alguna i = 1; :::m: En
consecuencia,
1
1
1
1
kx ' yi k2 $ 1x ' xk0 12 + 1xk0 ' yi 12 < ";
108
es decir, x 2 B`2 (yi ; "): Esto prueba que se cumple (6.3). Por tanto, H es totalmente
acotado.
6.2.
El teorema de Arzel-Ascoli.
Sean K un espacio mtrico compacto y X un espacio mtrico arbitrario. Consideremos el espacio de funciones continuas
C 0 (K; X) := ff : K ! X : f es continuag
con la mtrica
d1 (f; g) := m+ax dX (f (z); g(z));
z2K
que introdujimos en la Denicin 4.16. Usaremos el Corolario 6.7 para obtener una
caracterizacin sencilla de los subconjuntos relativamente compactos de C 0 (K; X).
Denicin 6.8 Un subconjunto H de C 0 (K; X) es equicontinuo en el punto z0 2 K
si, dada " > 0; existe M > 0 (que depende de " y de z0 ) tal que, para toda f 2 H;
dX (f (z); f (z0 )) < "
si dK (z; z0 ) < M:
109
El aspecto crucial de esta denicin es que la misma M > 0 nos sirve para todas las
funciones que pertenecen a H: Un ejemplo en el que esto no se cumple es el siguiente.
Ejemplo 6.9 El conjunto H = ffk : ['1; 1] ! R : k 2 Ng de las funciones continuas
8
G
H
< '1 si t 2 G'1; 'Hk1
kt si t 2 G' k1 ;Hk1
fk (t) =
:
1
si t 2 k1 ; 1
no es equicontinuo en 0:
0.5
0.5
0
-1
-0.5
0
0
0.5
-1
-0.5
-0.5
-0.5
-1
-1
f3
f6
0.5
110
8z 2 K:
Esto prueba que H(z) es totalmente acotado y, como X es completo, el Corolario 6.7
asegura que H(z) es relativamente compacto en X para todo z 2 K: Por otra parte,
como K es compacto, cada gi es uniformemente continua. En consecuencia, existe M i > 0
tal que, para cualesquiera y; z 2 K;
"
dX (gi (y); gi (z)) <
si dK (y; z) < M i :
(6.4)
3
Denimos M := m+2nfM 1 ; :::; M m g: Dada f 2 H existe i 2 f1; :::; mg tal que d1 (f; gi ) < 3" :
Usando (6.4) obtenemos que
dX (f (y); f (z)) $ dX (f (y); gi (y)) + dX (gi (y); gi (z)) + dX (gi (z); f (z))
< "
si dK (y; z) < M:
Esto prueba que H es equicontinua.
Supongamos ahora que H es equicontinuo y que H(z) es relativamente compacto en
X para todo z 2 K: Queremos probar que H es relativamente compacto en C 0 (K; X):
Como X es completo, C 0 (K; X) tambin lo es (Corolario 4.20). Por el Corolario 6.7
basta entonces probar que H es totalmente acotado. Sea " > 0: Para cada z 2 K
tomemos M z > 0 tal que, para toda f 2 H;
"
dX (f (y); f (z)) <
si dK (y; z) < M z :
(6.5)
4
Como K es compacto, existen z1 ; :::; zm 2 K tales que
K 6 BK (z1 ; M z1 ) [ ( ( ( [ BK (zm ; M zm )
y, como cada H(zi ) es totalmente acotado, existen x1 ; :::; xk 2 X tales que
"
"
H(z1 ) [ ( ( ( [ H(zm ) 6 BX (x1 ; ) [ ( ( ( [ BX (xk ; )
4
4
(6.6)
(6.7)
Consideremos el conjunto (nito) S de todas las funciones Z : f1; :::; mg ! f1; :::; kg:
Para cada Z 2 S consideremos el conjunto
"
HM := ff 2 H : f (zi ) 2 BX (xM(i) ; ) 8i = 1; :::; mg:
4
Se sigue de (6.7) que, para cada f 2 H y cada i 2 f1; :::; mg; existe Z(i) 2 f1; :::; kg tal
que f (zi ) 2 BX (xM(i) ; 4" ): En consecuencia,
[
H6
HM :
(6.8)
M2S
111
Sean f; g 2 HM y sea z 2 K: Se sigue de (6.6) que existe i 2 f1; :::; mg tal que
dK (z; zi ) < M zi y, en consecuencia, (6.5) implica que dX (f (z); f (zi )) < 4" para toda
f 2 H: Por tanto,
dX (f (z); g(z)) $ dX (f (z); f (zi )) + dX (f (zi ); xM(i) )
+dX (g(zi ); xM(i) ) + dX (g(z); g(zi )) < ":
Tomando el mximo sobre toda z 2 K concluimos que d1 (f; g) < " para todas f; g 2
HM : En consecuencia, para cualquier eleccin de gM 2 HM ; se cumple que
HM 6 B1 (gM ; "):
De (6.8) y (6.9) se sigue que
H6
Por tanto, H es totalmente acotado.
M2S
(6.9)
B1 (gM ; "):
8f 2 H:
El Teorema de Arzel-Ascoli permite caracterizar a los subconjuntos relativamente compactos de C 0 (K; Rn ) como sigue.
Corolario 6.11 Sea K un espacio mtrico compacto. Un subconjunto H de C 0 (K; Rn )
es relativamente compacto si y slo si H es equicontinuo y acotado en C 0 (K; Rn ):
Demostracin: Sea H un subconjunto relativamente compacto de C 0 (K; Rn ): Por el
Teorema 6.10, H es equicontinuo y por la Proposicin 3.7 la cerradura de H es acotada
en C 0 (K; Rn ): En consecuencia, H es acotado en C 0 (K; Rn ):
Inversamente, supongamos que H es equicontinuo y acotado en C 0 (K; Rn ): Entonces
existen f0 2 H y C > 0 tales que
kf ' f0 k1 := m+ax kf (z) ' f0 (z)k $ C
z2K
8f 2 H:
112
6.3.
El problema de Cauchy
B(x0 ; r) 6 ":
(6.11)
Denimos
K := f(t; x) 2 R ! Rn : jt ' t0 j $ r; kx ' x0 k $ rg:
Como K es compacto, la funcin a es acotada en K (Ejercicio 3.38): Denotemos por
M := sup ka(t; x)k ;
M := m+2nfr;
(t;x)2K
r
g:
M
si js ' tj $ P; kx ' yk $ P:
(6.12)
113
tales que jti+1 ' ti j $ m+2nfP; P=M g para toda i = 'n; :::; n ' 1:
Denimos u" : [t0 ' M; t0 + M] ! Rn ; empezando por u" (t0 ) := x0 ; inductivamente como
sigue:
!
u" (ti ) + (t ' ti )a(ti ; u" (ti )) si i % 0; t 2 [ti ; ti+1 ]
u" (t) :=
u" (ti ) + (t ' ti )a(ti ; u" (ti )) si i $ 0; t 2 [ti&1 ; ti ]
Claramente u" cumple (i) y (ii). Si ku" (ti ) ' x0 k $ M jti ' t0 j ; entonces (ti ; u" (ti )) 2 K
y se cumple que
ku" (t) ' x0 k $
$
$
=
ku" (t) ' u" (ti )k + ku" (ti ) ' u" (x0 )k
ka(ti ; u" (ti ))k jt ' ti j + M jti ' t0 j
M jt ' ti j + M jti ' t0 j
M jt ' t0 j
8t 2 [ti ; ti+1 ] si i % 0; o 8t 2 [ti&1 ; ti ] si i $ 0:
(6.13)
Esto demuestra (iii). En particular, (ti ; u" (ti )) 2 K para todo i 2 f'n; :::; ng y se
cumple que
ku" (t) ' u" (s)k $ M jt ' sj $ P 8s; t 2 [ti ; ti+1 ]:
(6.14)
En consecuencia, si tj&1 < s $ tj < ( ( ( < tj+i $ t < tj+i+1 ; tenemos que
ku" (t) ' u" (s)k $ ku" (t) ' u" (tj+i )k + ( ( ( + ku" (tj ) ' u" (s)k
$ M (t ' tj+i ) + ( ( ( + M (tj ' s) = M jt ' sj :
Esto prueba la armacin (iv). Finalmente, si t 2 (ti ; ti+1 ) con i % 0 o si t 2 (ti&1 ; ti )
con i $ 0; usando (6.14) obtenemos que
jt ' ti j $ P
114
Esto prueba que H est acotado en C 0 ([t0 ' M; t0 + M] ; Rn ): Por otra parte, dada " > 0;
la propiedad (iv) del Lema 6.12 asegura que, para toda k 2 N,
1
1
1u1=k (t) ' u1=k (s)1 < "
si jt ' sj <
"
:
M
8t 2 [t0 ' M; t0 + M] :
Se sigue de (6.11) que u) (t) 2 " para todo t 2 [t0 ' M; t0 + M] : Adems, la propiedad
(i) implica que u) (t0 ) = x0 : Demostraremos que u) satisface
Z t
)
u (t) = x0 +
a(s; u) (s))ds
8t 2 [t0 ' M; t0 + M]:
(6.16)
t0
Sea " > 0: Como a es uniformemente continua en K; existe g > 0 tal que
ka(s; x) ' a(s; y)k <
"
3M
115
39
"
1
1
1u1=k ' u) 1 < m+2nfg; " g
j
1
3
si j % j0 :
1Z t
1
1 G
1
1
H 1
)
1
1 $ jt ' t0 j m+ax 1a(s; u1=k (s)) ' a(s; u) (s))1
a(s;
u
(s))
'
a(s;
u
(s))
ds
1=k
j
j
1
1
js&t0 j%9
t0
"
<
si j % j0 :
3
t0
$ jt ' t0 j
<
"
3
1
kj
si j % j0 :
En consecuencia,
1
1
Z t
1 )
1
1
1
)
1u (t) ' x0 '
1 $ 1u) (t) ' u1=k (t)1
a(s;
u
(s))ds
j
1
1
t0
1
1
Z t
1
1
1
+ 1u1=kj (t) ' x0 '
a(s; u1=kj (s))ds1
1
t0
1Z t
1
1 G
H 1
)
+1
a(s; u1=kj (s)) ' a(s; u (s)) ds1
1
1
t0
< ";
para toda " > 0: Esto demuestra (6.16). El Lema 5.14 asegura entonces que u) es
solucin del problema (6.10).
La distancia entre dos subconjuntos no vacos A y B de Rn se dene como
dist(A; B) := +2nffkx ' yk : x 2 A; y 2 Bg:
Denimos dist(A; ;) := 1: Si A = fxg escribimos simplemente dist(x; B) en vez de
dist(fxg; B). El resultado anterior se puede renar como sigue.
116
Teorema 6.14 Sean " un abierto de Rn , a : (a; b) ! " ! Rn una funcin continua
y t0 2 (a; b): Para todo subconjunto compacto D de " y r 2 (0;dist(D; Rn r ")) existe
M > 0 tal que, para cada Y 2 D; el problema de Cauchy
! 0
u = a(t; u);
(6.17)
u(t0 ) = Y;
tiene al menos una solucin uE en el intervalo [t0 ' M; t0 + M] que satisface
kuE (t) ' Yk $ r
Demostracin: Sin perder generalidad podemos suponer que [t0 ' r; t0 + r] 6 (a; b):
Denimos
K := f(t; x) 2 R ! Rn : jt ' t0 j $ r; dist(x; D) $ rg:
6.4.
117
De modo que, para el problema que nos interesa, basta considerar trayectorias denidas
en el intervalo [0; 1]:
Consideremos el espacio de trayectorias de x a y en X;
Tx;y (X) := fZ 2 C 0 ([0; 1]; X) : Z(0) = x; Z(1) = yg;
con la mtrica inducida por la de C 0 ([0; 1]; X); es decir,
d1 (Z; [ ) := m+ax dX (Z(t); [ (t)):
t2[0;1]
Z 7! L(Z):
si j 6= k:
118
8t 2 [0; 1];
(0 )=(1 )
Denotamos por
T^x;y (X) := fZ 2 Tx;y (X) : L(Z j[0;t] ) = L(Z)t 8t 2 [0; 1]g
al espacio de todas las trayectorias de x a y parametrizadas proporcionalmente a la
longitud de arco, con la mtrica d1 :
Lema 6.19 Para cada Z 2 Tx;y (X) existe Z
^ 2 T^x;y (X) tal que L(^
Z ) = L(Z):
Demostracin: Sea Z 2 Tx;y (X): La funcin 0 : [0; 1] ! [0; L(Z)]; dada por
0(t) := L(Z j[0;t] );
es continua [Ejercicio 6.35], no decreciente y suprayectiva. Observemos que, si 0(t1 ) =
0(t2 ); entonces Z(t) = Z(t1 ) para todo t 2 [t1 ; t2 ]: Por tanto, la funcin Z
e : [0; L(Z)] !
X; dada por
Z
e(s) = Z(t) con 0(t) = s;
8s 2 [0; L(Z)]:
119
Denimos ahora Z
^ : [0; 1] ! X como
Z
^ (t) := Z
e(L(Z)t):
Claramente, Z
^ es continua y satisface
L(^
Z j[0;t] ) = L(e
Z j[0;L(M)t] ) = L(Z)t
8t 2 [0; 1]:
En particular, L(^
Z ) = L(Z): Por tanto, Z
^ 2 T^x;y (X).
Estamos listos para probar el siguiente resultado.
Teorema 6.20 (Existencia de trayectorias geodsicas) Sean X un espacio mtrico compacto y x; y 2 X. Si existe una trayectoria de x a y en X; entonces existe una
trayectoria de longitud mnima de x a y en X:
Demostracin: Por el Lema 6.19, basta probar que la funcin
L : T^x;y (X) ! R [ f1g:
alcanza su mnimo. Por hiptesis, T^x;y (X) 6= ;: Si todas las trayectorias en
tienen longitud innita, cualquiera de ellas es un mnimo de L. Si existe [ 2
tal que L([ ) =: a < 1; entonces
T^x;y (X)
T^x;y (X)
120
6.5.
Ejercicios
6.5. EJERCICIOS
121
1
2k&1
es cerrado en `2 :
Ejercicio 6.29 Prueba que el conjunto H = ffk : ['1; 1] ! R : k 2 Ng de las funciones
continuas
8
< '1 si ' 1 $ x $ ' k1
kx si ' k1 $ x $ k1
fk (x) =
:
1
si k1 $ x $ 1
no es equicontinuo en 0:
Y 7! uE ;
122
Ejercicio 6.33 Sean " un abierto de Rn , a : (a; b) ! " ! Rn una funcin continua.
Supongamos que el problema de Cauchy
! 0
u = a(t; u);
u([ ) = Y;
tiene solucin nica en algn intervalo [[ ' M; [ + M] para cada [ 2 (a; b); Y 2 ":
(a) Prueba que, si el problema de Cauchy
! 0
u = a(t; u);
(6.18)
u(t0 ) = x0 ;
tiene solucin en dos intervalos I1 e I2 (abiertos, semiabiertos, cerrados, nitos o innitos) que contienen a t0 ; entonces (6.18) tiene solucin en el intervalo I1 [ I2 :
(b) Prueba que el intervalo mximo en el que el problema (6.18) tiene solucin es
abierto.
Ejercicio 6.34 Sea h : [A; e] ! [a; b] una funcin continua, no decreciente y suprayectiva. Prueba que, para toda Z 2 C 0 ([a; b]; X) se cumple que
L(Z 8 h) = L(Z):
Ejercicio 6.35 Sea Z 2 C 0 ([0; 1]; X): Prueba que la funcin 0 : [0; 1] ! [0; L(Z)]; dada
por
0(t) := L(Z j[0;t] );
es continua.
Ejercicio 6.36 Sea Z 2 C 0 ([0; 1]; X): Prueba que la funcin Z
e : [0; L(Z)] ! X dada
por
Z
e(s) := Z(t); donde t 2 [0; 1] es tal que L(Z j[0;t] ) = s;
es continua.
Captulo 7
Teoremas de aproximacin
Cuando hacemos clculos con nmeros reales usamos siempre una aproximacin
decimal de stos, es decir, usamos algn nmero racional sucientemente cercano al
nmero real que nos interesa.
En este captulo probaremos que toda funcin continua f : [a; b] ! R se puede
aproximar uniformemente, tanto como queramos, por una funcin polinomial. Este
resultado se conoce como el Teorema de Aproximacin de Weierstrass. Tiene gran relevancia desde el punto de vista terico y prctico, dado que los polinomios son las
funciones continuas ms simples, susceptibles de ser evaluadas por una computadora.
La versin original de este teorema fue formulada por Karl Weierstrass en 1885. En
1937 Marshall H. Stone1 generaliz considerablemente este resultado, y simplic su
demostracin. Su resultado se conoce como el Teorema de Stone-Weierstrass, y generaliza el Teorema de Aproximacin de Weierstrass en dos sentidos: permite remplazar al
intervalo [a; b] por cualquier espacio mtrico compacto X y permite remplazar al lgebra de funciones polinomiales por sublgebras ms generales del espacio de funciones
continuas C 0 (X; R): Expondremos aqu tambin este resultado.
7.1.
ak 2 R; n 2 N [ f0g.
Marshall Harvey Stone (1903-1989) fue un matemtico estadounidense que realiz importantes
contribuciones al anlisis real, al anlisis funcional y a la topologa.
123
124
7. TEOREMAS DE APROXIMACIN
n!
k!(n ' k)!
es el coeciente binomial. De la conocida frmula binomial
)
n (
X
n
n
(a + b) =
ak bn&k
k
n
k
k=0
se sigue que
n
X
P n;k (t) = 1:
(7.1)
k=0
n&1 (
X
)
n'1
=
tj+1 (1 ' t)n&1&j
j
j=0
n&1
Xj + 1 ( n )
=
tj+1 (1 ' t)n&(j+1)
j+1
n
j=0
=
=
n
X
k
n
k=1
n
X
k
k=0
P n;k (t)
P n;k (t):
En consecuencia,
nt =
n
X
kP n;k (t):
(7.2)
k=0
125
[Ejercicio 7.12].
0 .2 5
0 .7 5
0 .2
0 .1 5
0 .5
0 .1
0 .2 5
0 .0 5
0 .2 5
0 .5
0 .7 5
0 .2 5
0 .5
0 .7 5
1
t
P 3;3 (t) = t3
0 .2 5
0 .7 5
0 .2
0 .1 5
0 .5
0 .1
0 .2 5
0 .0 5
0 .2 5
0 .5
0 .7 5
0 .2 5
0 .5
0 .7 5
1
t
Sergei Natanovich Bernstein (1880-1968) fue un matemtico ruso. En su tesis doctoral, presentada
en 1904 en la Sorbona, resolvi el 19o problema de Hilbert sobre la solucin analtica de ecuaciones
diferenciales elpticas. Realiz importantes contribuciones a la teora de probabilidad, la teora constructiva de funciones y los fundamentos matemticos de la gentica.
126
7. TEOREMAS DE APROXIMACIN
n
X
k=0
(7.5)
(7.7)
k=0
k=0
Probaremos que el lado derecho de esta desigualdad es menor que " si n satisface
(
)
1 kf k21
n % m+ax
;
(7.6)
M 4 "2
k2I2
k2I2
X (t ' k )2
n
= 2 kf k1
P n;k (t)
(t ' nk )2
k2I2
(
)2
p X
k
$ 2 kf k1 n
t'
P n;k (t):
n
k2I
2
(7.8)
127
k
t'
n
)2
P n;k (t) $
1
:
4n
(7.9)
Multiplicando la igualdad (7.1) por t2 ; la igualdad (7.2) por ' n2 t; y la suma de las
igualdades (7.2) y (7.3) por n12 obtenemos, respectivamente,
2
'2t2 =
(
1
1'
n
t2 +
n
X
t2 P n;k (t);
k=0
n
X
k
' 2 tP n;k (t);
n
k=0
n
X
1
k2
t =
P (t):
2 n;k
n
n
k=0
(7.10)
si n % m+ax
1 kf k21
;
M 4 "2
(7.11)
128
7. TEOREMAS DE APROXIMACIN
en C 0 [0; 1]:
s'a
b'a
( )
(
)
n
X
k
s'a
=
g
P n;k
:
n
b
'
a
k=0
5
5
jpn (s) ' f (s)j = 5e g;n (h&1 (s)) ' g(h&1 (s))5
8s 2 [a; b];
1
1
kpn ' f kC 0 [a;b] = 1e g;n ' g 1C 0 [0;1] :
129
Como la funcin t 7! jpk (t) ' pj (t)j es continua en R; la desigualdad anterior implica
que
jpk (0) ' pj (0)j $ "
8k; j % k0 ;
En consecuencia, (pk ) es de Cauchy en C 0 [0; @2 ] y, como C 0 [0; @2 ] es completo, existe
g 2 C 0 [0; @2 ] tal que
L
K
2
0
pk ! g en C 0;
:
H
Conclumos entonces que
( )
1
g(t) = l+2m pk (t) = f (t) = sen
k!1
t
8t 2
2
0;
H
n!1
M nH N
2
= l+2m g
n!1
2
nH
= g(0):
3
4
Esto es una contradiccin, ya que la sucesin sen n@
no converge.
2
7.2.
El teorema de Stone-Weierstrass
130
7. TEOREMAS DE APROXIMACIN
Supondremos de aqu en adelante que X es un espacio mtrico compacto y denotaremos simplemente por
C 0 (X) := C 0 (X; R)
al espacio de funciones continuas f : X ! R con la norma uniforme
kf k1 := m+ax jf (x)j :
x2X
Observemos que C 0 (X) no slo es un espacio vectorial sino que cuenta adems con un
producto, denido como sigue:
f g : X ! R;
(f g)(x) := f (x)g(x):
Este producto le da al espacio vectorial C 0 (X) la estructura de una R-lgebra con unidad
[Ejercicio 7.30]. La unidad es la funcin constante igual a 1; a la que denotamos por 1:
Teorema 7.6 (Stone-Weierstrass) Sea X un espacio mtrico compacto y sea A un
subconjunto de C 0 (X) con las siguientes propiedades:
(a) 0' + F 2 A para todas '; 2 A y 0; F 2 R.
(b) ' 2 A para todas '; 2 A.
(c) 1 2 A.
(d) Dados x1 6= x2 en X; existe ' 2 A tal que '(x1 ) 6= '(x2 ):
Entonces A es denso en C 0 (X), es decir, dada una funcin continua f : X ! R existe
una sucesin ('k ) de funciones en A que converge uniformemente a f en X:
Las primeras tres condiciones (a), (b) y (c) equivalen a decir que A es una Rsublgebra con unidad de la R-lgebra de funciones continuas C 0 (X). La propiedad (d)
suele expresarse diciendo que A separa puntos.
Para demostrar el Teorema de Stone-Weierstrass usaremos los siguientes cuatro
lemas.
Lema 7.7 Dados x1 6= x2 en X y c1 ; c2 2 R; existe
(x2 ) = c2 :
2 A tal que
(x1 ) = c1 y
0'(x1 ) + F = c1
0'(x2 ) + F = c2
(7.12)
(7.13)
131
De las propiedades (a) y (c) se sigue que la funcin := 0' + F1 2 A. Las igualdades
(7.12) y (7.13) arman que (x1 ) = c1 y (x2 ) = c2 :
Lema 7.8 La cerradura A de A en C 0 (X) tambin tiene las propiedades (a), (b) y (c).
Demostracin: Es sencillo comprobar que A tiene la propiedad (a) [Ejercicio 7.31].
La propiedad (c) es inmediata. Probemos (b). Dadas '; 2 A existen 'k ; k 2 A tales
que 'k ! ' y k ! en C 0 (X) (Proposicin 2.32): Como toda sucesin convergente
est acotada (Proposicin 2.56), existe C > 0 tal que k k k1 $ C para toda k: En
consecuencia,
k' ' 'k
k k1
8k % k0 8t 2 [a; b]:
8k % k0 ;
132
7. TEOREMAS DE APROXIMACIN
m+axf'; g =
+ j' ' j)
(7.14)
(7.15)
Como A satisface la propiedad (a), el lema anterior implica que m+axf'; g; m+2nf'; g 2
A:
Demostracin del Teorema 7.6.
Sea f : X ! R una funcin continua y sea
" > 0: El Lema 7.7 asegura que, para cada par de puntos x; y 2 X; podemos escoger
'x;y 2 A tal que 'x;y (x) = f (x) y 'x;y (y) = f (y):
Fijemos x 2 X: Como 'x;y ' f es continua y 'x;y (y) ' f (y) = 0, existe M y > 0 tal que
5
5
5'x;y (z) ' f (z)5 < " 8z 2 BX (y; M y )
(7.16)
y, como X es compacto, existen y1 ; :::; ym 2 X tales que
X 6 BX (y1 ; M y1 ) [ ( ( ( [ BX (ym ; M ym ):
Sea 'x := m+axf'x;y1 ; :::; 'x;ym g: El Lema 7.10 asegura que 'x 2 A: Puesto que cada
z 2 X pertenece a alguna B(yi ; M yi ); la desigualdad (7.16) implica que
'x (z) ' f (z) > '"
8z 2 X:
(7.17)
Por otra parte, dado que 'x;y (x) = f (x) para todo y 2 X; se tiene que 'x (x) = f (x) y,
como 'x ' f es continua, existe P x > 0 tal que
j'x (z) ' f (z)j < "
8z 2 BX (x; P x ):
(7.18)
7.3. EJERCICIOS
133
Sea ' := m+2nf'x1 ; :::; 'xn g: El Lema 7.10 asegura que ' 2 A: Puesto que cada z 2 X
pertenece a alguna B(xi ; P xi ); usando la desigualdad (7.18) obtenemos que
'(z) ' f (z) < "
8z 2 X:
(7.19)
8z 2 X:
(7.20)
Las desigualdades (7.19) y (7.20) implican que k' ' f k1 < ": Por consiguiente, dado
que ' 2 A; conclumos que f 2 A: !
Consideremos el conjunto R [x1 ; :::; xn ] de polinomios
p(x1 ; :::; xn ) =
m
X
i=1
Ai x1i;1 ( ( ( xkni;n ;
ai 2 R; ki;j 2 N [ f0g;
7.3.
Ejercicios
134
7. TEOREMAS DE APROXIMACIN
7.3. EJERCICIOS
135
Ejercicio 7.23 Prueba que `1 no es separable. (Sugerencia: Argumenta por contradiccin usando el Ejercicio 7.19.)
Ejercicio 7.24 Prueba que Cb0 (R) no es separable.
Ejercicio 7.25 Prueba que todo espacio mtrico compacto X es separable. (Sugerencia:
Para cada n 2 N; toma un conjunto nito de bolas de radio n1 cuya unin es X: Considera
el conjunto de centros de todas esas bolas.)
Ejercicio 7.26 Sea " un subconjunto abierto y acotado de Rn : Denotemos por C 1 (")
al conjunto de todas las funciones f : " ! R que tienen derivadas parciales de todos
los rdenes en " y dichas derivadas son continuas en la cerradura de ". Prueba que
C 1 (") es denso en C 0 ("): (Sugerencia: Usa el Corolario 7.11 y el Ejercicio 7.13.)
Ejercicio 7.27 Sea f 2 C 0 [0; 1] tal que
Z 1
f (x)xn dx = 0
0
Prueba que
8n 2 N [ f0g:
f 2 (x)dx = 0
136
7. TEOREMAS DE APROXIMACIN
Captulo 8
Diferenciabilidad
8.1.
(0`1 )v := 0`1 v;
k`vkW
< 1;
kvkV
8` 2 L(V; W ):
(8.1)
Es sencillo comprobar que sta es una norma en L(V; W ) [Ejercicio 8.32]. Observemos
que
k`vkW $ k`kL(V;W ) kvkV
8v 2 V:
(8.2)
Usaremos con frecuencia esta desigualdad.
Proposicin 8.1 L(V; W ) es un espacio de Banach.
Demostracin: Sean (`k ) una sucesin de Cauchy en L(V; W ) y " > 0: Entonces
existe k0 2 N tal que
k`k ' `j kL(V;W ) < " si j; k % k0 ;
137
138
8. DIFERENCIABILIDAD
es decir,
k`k v ' `j vkW < " kvkV
si j; k % k0 ; 8v 2 V:
(8.3)
en W:
k!1
k!1
k!1
Esto prueba que ` es lineal. Por otra parte, haciendo tender k ! 1 en la desigualdad
(8.3), obtenemos
k`v ' `j vkW $ " kvkV
si j % k0 ; 8v 2 V:
(8.4)
Por tanto,
k`vkW $ k`v ' `k0 vkW + k`k0 vkW
$ " kvkV + k`k0 kL(V;W ) kvkV
h
i
$ " + k`k0 kL(V;W ) kvkV
8v 2 V:
139
Supongamos primero que V = W y `0 = id. Sea ` 2 L(V; V ) tal que k`kL(V;V ) < 1:
Como la serie de nmeros reales
1
X
k`kkL(V;V )
k=0
si k % k0 ; j % 1:
L(V;V )
k+j
$ k`kk+1
L(V;V ) + ( ( ( + k`kL(V;V ) < " si k % k0 ; j % 1:
El criterio de Cauchy para series (Proposicin 4.24) asegura entonces que la serie
1
X
('1)k `k
(8.5)
k=0
n
X
k=0
('1)k `k
(id + `):
k=0
Esto prueba que id + ` 2 H(V; V ) si k`kL(V;V ) < 1; es decir, BL(V;V ) (id; 1) 6 H(V; V ):
Consideremos ahora el caso general. Si `0 2 H(V; W ) y ` 2 L(V; W ) es tal que
140
8. DIFERENCIABILIDAD
1 &1 1
&1
1
1
k`kL(V;W ) < c&1
0 ; entonces `0 ` L(V;V ) < 1 y, por el caso anterior, id + `0 ` 2 H(V; V ):
En consecuencia,
`0 + ` = `0 (id + `&1
0 `) 2 H(V; W ):
Esto demuestra que BL(V;W ) (`0 ; c&1
0 ) 6 H(V; W ):
8.2.
Diferenciabilidad
(8.6)
u 7! D'(u);
si kvkV < M:
8.2. DIFERENCIABILIDAD
141
Intuitivamente, esto signica que en una vecindad pequea de u0 la funcin ' se parece
mucho a la funcin '(u0 )+`: Se parece tanto, que la norma de la diferencia entre ambas
funciones k'(v + u0 ) ' ('(u0 ) + `v)kW resulta despreciable respecto a la norma de v
cuando v ! 0:
"
kvkV
2
si kvkV < M; i = 1; 2:
Por tanto,
k`1 v ' `2 vkW $ k`1 v ' '(v + u0 ) + '(u0 )kW + k'(v + u0 ) ' '(u0 ) ' `2 vkW
< " kvkV
si kvkV < M:
Si kvkV % M; escogemos 0 2 (0; 1] tal que k0vkV < M: Entonces
k`1 v ' `2 vkW =
1
"
k`1 (0v) ' `2 (0v)kW < k0vkV = " kvkV :
0
0
142
8. DIFERENCIABILIDAD
si ku ' u0 kV < M 1 :
i&1 6
: Entonces,
si ku ' u0 kV < M:
es
8.2. DIFERENCIABILIDAD
143
Demostracin: Denotamos
o1 (v) : = '(u0 + v) ' '(u0 ) ' '0 (u0 )v;
o2 (w) : = (v0 + w) ' (v0 ) ' 0 (v0 )w:
Se tiene entonces que
( 8 ')(u0 + v) =
('(u0 + v))
=
('(u0 ) + '0 (u0 )v + o1 (v))
=
(v0 ) + 0 (v0 )('0 (u0 )v + o1 (v)) + o2 ('0 (u0 )v + o1 (v))
= ( 8 ')(u0 ) + [ 0 (v0 ) 8 '0 (u0 )] v + o3 (v);
donde
o3 (v) :=
si kvkV < M 1 :
"
"
k'0 (u0 )v + o1 (v)kW < kvkV
2c1
2
si kvkV < M 0 :
"
kvkV
2c2
si kvkV < M 3 :
En consecuencia,
k 0 (v0 )o1 (v)kZ $ k 0 (v0 )kL(W;Z) ko1 (v)kW <
"
kvkV
2
si kvkV < M 3 :
Conclumos que
ko3 (v)kZ < " kvkV
(8.7)
144
8. DIFERENCIABILIDAD
8.3.
D(`) := `(1);
8` 2 L(R; V )
Z 0 : (a; b) ! V
es el campo de velocidades de la trayectoria Z:
Si V = R entonces Z 0 (t0 ) 2 R es la pendiente de la recta tangente a la grca de Z
en el punto (t0 ; Z(t0 )):
145
8t 2 (a; b);
8t 2 (a; b);
entonces
kZ(b) ' Z(a)kV $ M (b ' a):
Demostracin: Probaremos que, para toda " > 0; se cumple que
kZ(b) ' Z(a)kV $ M (b ' a) + "(b ' a) + ":
(8.8)
8s 2 [a; a + P):
si js ' cj < M:
Por tanto,
kZ(s) ' Z(c)kV
$ kZ(s) ' Z(c) ' Z 0 (c)(s ' c)kV + kZ 0 (c)(s ' c)kV
$ "(s ' c) + kZ 0 (c)kV (s ' c)
$ "(s ' c) + M (s ' c) si s 2 (c ' M; c + M):
(8.9)
146
8. DIFERENCIABILIDAD
Como c := sup S; existe t 2 S \ (c ' M; c): Junto con (8.9), esto implica que
kZ(s) ' Z(c)kV $ M (s ' c) + "(s ' c) + "
8s 2 [a; c + M);
Demostracin: La funcin Z : [0; 1] ! W dada por Z(t) := '((1 ' t)u0 + tu1 ) es
continua. Por la Regla de la Cadena, Z es diferenciable en (0; 1) y
Z 0 (t) := '0 (ut )(u1 ' u0 ):
Se tiene entonces que
kZ 0 (t)kW $ k'0 (ut )kL(V;W ) ku1 ' u0 kV $ C ku1 ' u0 kV
8t 2 (0; 1);
donde C := supt2[0;1] k'0 (ut )kL(V;W ) : Puesto que la funcin t 7! k'0 (ut )kL(V;W ) es
continua en [0; 1]; se tiene que C < 1: Por el Teorema del Valor Medio,
k'(u1 ) ' '(u0 )kW = kZ(1) ' Z(0)kW $ M ku1 ' u0 kV ;
como arma el enunciado.
Ms adelante usaremos la siguiente consecuencia sencilla del corolario anterior.
147
Corolario 8.14 Si " es abierto en V; ' : " ! W es de clase C 1 en " y u0 ; u1 2 " son
tales que ut := (1 ' t)u0 + tu1 2 " para toda t 2 [0; 1] entonces, para todo u 2 ";
k'(u1 ) ' '(u0 ) ' '0 (u)(u1 ' u0 )kW $ sup k'0 (ut ) ' '0 (u)kL(V;W ) ku1 ' u0 kV :
t2[0;1]
k'(u1 ) ' '(u0 ) ' '0 (u)(u1 ' u0 )kW = k (u1 ) ' (u0 )kW
$ sup k 0 (ut )kL(V;W ) ku1 ' u0 kV
t2[0;1]
t2[0;1]
8.4.
La derivada de Gteaux
l+2m
(8.10)
l+2m
148
8. DIFERENCIABILIDAD
si kvkV < M:
Z 0v (t) = l+2m
(8.11)
8.5.
149
Derivadas parciales
u 7! Dj '(u):
Pk
j=1 Dj vj ;
j = 1; :::; k:
D'(u)v =
k
X
j=1
Dj '(u)vj ;
j = 1; :::; k:
(8.12)
150
8. DIFERENCIABILIDAD
H j (x1 ; :::; xm ) := xj :
La matriz
0
B
@
(((
@'m
(Y)
@xn
@'1
(Y)
@x1
(((
@'1
(Y)
@xn
@'m
(Y)
@x1
(((
@'m
(Y)
@xn
..
.
..
.
1
C
A
1
x1
.. C :
. A
xn
151
Teorema 8.18 Sean " abierto en V1 ! ( ( ( ! Vk . Una funcin ' : " ! W es de clase C 1
en " si y slo si es diferenciable respecto a toda variable en " y sus derivadas parciales
Dj ' : " ! L(Vj ; W );
j = 1; :::; k;
8.6.
Una funcin ' : R2 ! R puede ser representada en trminos de sus curvas de nivel
' (c); c 2 R. Podemos preguntarnos lo siguiente: Dado (x0 ; y0 ) 2 '&1 (c); existe, o
bien una funcin f : (x0 ' M; x0 ' M) ! R, o bien una funcin f : (y0 ' M; y0 ' M) ! R,
tal que en una vecindad de (x0 ; y0 ) la curva '&1 (c) es la grca de f ? Por ejemplo,
si '(x; y) = x2 ' y 2 ; la respuesta es armativa nicamente si (x0 ; y0 ) 6= (0; 0). Si
(x0 ; y0 ) = (0; F1) la curva de nivel es la grca de una funcin f : (x0 ' M; x0 ' M) ! R
pero no es la grca de una funcin f : (y0 ' M; y0 ' M) ! R. Lo opuesto ocurre si
(x0 ; y0 ) = (F1; 0):
&1
x2 ' y 2 = c
152
8. DIFERENCIABILIDAD
El siguiente resultado da condiciones para que una supercie de nivel sea, localmente,
la grca de una funcin.
Teorema 8.19 (de la funcin implcita) Sean V; W; Z espacios de Banach, " abierto
en V ! W y (v0 ; w0 ) 2 ". Si ' : " ! Z es de clase C 1 en "; '(v0 ; w0 ) = 0 y
D2 '(v0 ; w0 ) 2 L(W; Z) es un homeomorsmo, entonces existen un abierto "1 de V que
contiene a v0 y una funcin f : "1 ! W de clase C 1 tal que
(i) f (v0 ) = w0 ;
(ii) (v; f (v)) 2 " y '(v; f (v)) = 0 para todo v 2 "1 :
(iii) D2 '(v; f (v)) es un homeomorsmo para todo v 2 "1 y
Df (v) = ' [D2 '(v; f (v))]&1 8 D1 '(v; f (v))
8v 2 "1 :
v (w)
:= w ' `&1
0 '(v; w) = w:
Esto nos permitir plantear el problema de existencia como un problema de punto jo.
Como D2 '(v0 ; w0 ) 2 H(W; Z) y H(W; Z) es abierto en L(W; Z) (Proposicin 8.2) y
^V (v0 ; g) ! B
^W (w0 ; g) 6 ";
como D2 ' : " ! L(W; Z) es continua, existe g > 0 tal que B
^V (v0 ; g) ! B
^W (w0 ; g);
D2 '(v; w) 2 H(W; Z) si (v; w) 2 B
(8.13)
1
^V (v0 ; g) ! B
^W (w0 ; g): (8.14)
si (v; w) 2 B
4c0
Por otra parte, como `&1
0 ' es continua, existe M 2 (0; g) tal que
1 &1
1
g
^V (v0 ; M):
1`0 '(v; w0 ) ' `&1
1
si v 2 B
(8.15)
0 '(v0 ; w0 ) W <
4
^V (v0 ; g); w1 ; w2 2 B
^W (w0 ; g): Entonces, wt+1 := (1 ' t)w1 + tw2 2 B
^W (w0 ; g)
Sean v 2 B
para todo t 2 [0; 1]: Del Corolario 8.14 y la desigualdad (8.14) se sigue que
1
1
&1
1
k v (w1 ) ' v (w2 )k
= 1`&1
0 `0 (w1 ' w2 ) ' `0 ('(v; w1 ) ' '(v; w2 ))
kD2 '(v; w) ' D2 '(v0 ; w0 )kL(W;Z) <
<
3
kw1 ' w2 kW
4
^V (v0 ; g); w1 ; w2 2 B
^W (w0 ; g):(8.16)
8v 2 B
En consecuencia, como
k
v (w)
' w0 kW
153
^V (v0 ; M); w 2 B
^W (w0 ; g);
8v 2 B
2 BW (w0 ; g)
(8.18)
^W (w0 ; g) ! B
^W (w0 ; g);
:B
^V (v0 ; M);
v2B
v (f (v));
La funcin v 7!
Conclumos que
<
"
3
8k % k0 ; v 2 "1 :
1
1
1
kf (v) ' f (v1 )kW $ 1f (v) ' kv0 (w0 )1W + 1 kv0 (w0 ) '
< "
si v 2 "1 \ BV (v1 ; P):
k0
1
v1 (w0 ) W
1
+1
k
v1 (w0 )
1
' f (v1 )1W
154
8. DIFERENCIABILIDAD
ko(v; w)kZ
= 0:
(v;w)!(v1 ;w1 ) k(v ' v1 ; w ' w1 )kV 2W
l+2m
Sea
(8.19)
1&1
1 &1 1
11
1`&1
1
1`2 `1 1
m+
2nf1;
"(
+ 1)&1 :
2
L(Z;W
)
L(V;W
)
2
Como f (v) ! f (v1 ) cuando v ! v1 ; se sigue de (8.19) que existe h > 0 tal que
M :=
si v 2 BV (v1 ; h):
kw ' w1 kW
M 1
N
1
&1 1
1
$ 2 `2 `1 L(V;W ) + 1 kv ' v1 kV :
si v 2 BV (v1 ; h);
155
8.7.
Denicin 8.21 Sean " un abierto de Rn y ' : " ! Rm una funcin de clase C 1 ; con
m $ n: Decimos que k 2 Rm es un valor regular de ' si D'(Y) : Rn ! Rm es un
epimorsmo para todo Y 2 '&1 (k).
Recordemos el siguiente resultado de Algebra Lineal.
Proposicin 8.22 Sea A = (aij ) una matriz de m ! n: Entonces la transformacin
lineal A : Rn ! Rm es un epimorsmo si y slo si los renglones de A son linealmente
independientes.
156
8. DIFERENCIABILIDAD
8x 2 Rn :
En consecuencia,
ker A = W ? := fx 2 Rn : y ( x = 0 8y 2 W g:
Esto implica que A : Rn ! Rm es un epimorsmo si y slo si A jW : W ! Rm es un
isomorsmo. Esto ltimo ocurre si y slo si fa1 ; :::; am g es linealmente independiente.
En consecuencia, si ' = ('1 ; :::; 'm ) : " ! Rm una funcin de clase C 1 ; con m $ n;
entonces k 2 Rm es un valor regular de ' si y slo si los renglones de la matriz
jacobiana de ';
r'1 (Y); :::; r'm (Y);
son linealmente independientes para todo Y 2 '&1 (k).
157
8(x; y) 2 V ! W:
158
8. DIFERENCIABILIDAD
8x 2 M \ BX (Y; M):
8x 2 M \ BX (Y; M):
159
Demostracin: Como D'(Y) : Rn ! Rm es un epimorsmo, los renglones r'1 (Y); :::; r'm (Y)
de la matriz jacobiana de ' en Y son linealmente independientes (Proposicin 8.22). Por
la Proposicin 8.25,
D'(Y)x = (r'1 (Y) ( x; :::; r'm (Y) ( x) = 0
8x 2 TE M:
En consecuencia, fr'1 (Y); :::; r'm (Y)g es una base del complemento ortogonal de TE M
en Rn : Por tanto, si Y es un punto crtico de g en M; existen nicos 01 ; :::0m 2 R tales
que
rg(Y) = 01 r'1 (Y) + ( ( ( + 0m r'm (Y);
como arma el enunciado.
n&1
Ejemplo 8.31 Los
de la funcin g : Rn ! R dada por
3 2 puntos crticos
4 en S
1
2
g(x1 ; :::; xn ) = 2 x1 + ( ( ( + xn&1 son los puntos Y 2 Sn&1 de la forma (Y 1 ; :::; Y n&1 ; 0)
y (0; :::; 0; F1): Los primeros son mximos y los ltimos son mnimos de g en Sn&1 :
(8.21)
donde '(x1 ; :::; xn ) = 12 (x21 + ( ( ( + x2n ) : Si Y j 6= 0 para algn j = 1; :::; n ' 1; entonces
Y satisface (8.21) si y slo si 0 = 1 y Y n = 0: Si Y 1 = ( ( ( = Y n&1 = 0, entonces Y n = F1
y la igualdad (8.21) se cumple para 0 = 0: Se tiene que
1
g(Y 1 ; :::; Y n&1 ; 0) = ,
2
y 0 $ g(x) $
1
2
8.8.
8.9.
Ejercicios
k`vkW
kvkV
160
8. DIFERENCIABILIDAD
v2SV
X
i;j
jaij jp
!1=p
p 2 [1; 1);
D(`) := `(1);
8.9. EJERCICIOS
161
xy
x2 +y 2
l+2m
pero
(0;0)
162
8. DIFERENCIABILIDAD
j = 1; :::; k;
son continuas, entonces ' es de clase C 1 en ". (Sugerencia: Usa el teorema del valor
medio.)
Ejercicio 8.46 (Teorema de la funcin inversa) Sean V; W espacios de Banach,
" abierto en V; ' : " ! W es de clase C 1 en " y v0 2 ". Prueba que, si D'(v0 ) 2
L(V; W ) es un homeomorsmo, entonces existen "0 abierto en W y "00 abierto en V
tales que v0 2 "00 6 "; '("00 ) = "0 y la funcin
' j000 : "00 ! "0
es un homeomorsmo cuyo inverso := (' j000 )&1 : "0 ! "00 es de clase C 1 en "0 y
satisface
D ('(v0 )) = (D'(v0 ))&1 :
(Sugerencia: Aplica el teorema de la funcin implcita a la funcin ] : W ! " ! W;
](w; v) := '(v) ' w:)
Ejercicio 8.47 Considera la funcin ' : R2 ! R2 dada por
8
2
2
< (x; y ' x ) si x $ y;
2
2
y
'(x; y) :=
(x; y &x
) si 0 $ y $ x2 ;
x2
:
''(x; 'y) si y $ 0:
Prueba que
(a) ' es diferenciable en R2 ;
(b) D'(0; 0) es la identidad de R2 ;
(c) ' no es de clase C 1 en R2 ;
(d) ' no es inyectiva en ningn abierto " que contiene a (0; 0):
8.9. EJERCICIOS
163
0 < r < a;
164
8. DIFERENCIABILIDAD
Captulo 9
La integral de una funcin continua
con soporte compacto
La teora de integracin moderna fue iniciada por Lebesgue en 1902. La integral de
Lebesgue es una de las piedras angulares del Anlisis Matemtico y tiene aplicaciones
muy importantes en Ecuaciones Diferenciales, Probabilidad y muchas otras reas de las
matemticas.
La nocin de integrabilidad de Lebesgue es ms general que la de Riemann en el
sentido de que abarca a muchas ms funciones. Pero su principal virtud es que permite
el intercambio del lmite con la integral bajo condiciones mucho menos restrictivas que
las que requiere la integral de Riemann.
Hay muchas maneras de introducir la integral de Lebesgue. La que veremos aqu
parte de la nocin de integral de una funcin real continua en un intervalo cerrado que
se introduce en Clculo. En este captulo deniremos la integral de funciones continuas
f : Rn ! R que se anulan fuera de algn subconjunto compacto de Rn y estableceremos algunas de sus propiedades importantes. En el siguiente captulo extenderemos
esta nocin a una familia mucho ms amplia de funciones, y en captulos subsecuentes
demostraremos los resultados principales de la teora de integracin de Lebesgue.
9.1.
165
166
es continua.
Demostracin: El Teorema 3.28 asegura que f es uniformemente continua en Q:
Por tanto, dada " > 0; existe M > 0 tal que
"
jf (x) ' f (y)j <
si kx ' yk < M:
b 1 ' a1
an
a2
a1
167
Rn
Rn
Rn
Rn
Rn
Rn
a+E
a+E
168
y
0.3
0.3
0.2
0.2
0.1
0.1
0.25
0.5
0.75
1.25
1.5
0.25
0.5
0.75
1.25
1.5
x
Rn
y
0.3
0.3
0.2
0.2
0.1
0
0.1
0.5
1.5
0.5
1.5
2
x
Entonces sop(fk ) 6 [k ' 1; k] ! [0; 1]n&1 : Por tanto, fk (x) ! 0 para cada x 2 Rn : Por
la invariancia de la integral bajo traslaciones,
Z
Z
fk =
g:
Rn
En consecuencia,
l+2m
k!1
Rn
fk =
Rn
Rn
g 6= 0 =
0;
Rn
9.2.
169
Unicidad de la integral
Lema 9.11 Sea J : Cc0 (Rn ) ! R una funcin lineal y montona. Si (fk ) es una sucesin
en Cc0 (Rn ) tal que existe un compacto K en Rn que contiene a sop(fk ) para todo k 2 N
y fk ! f uniformemente en Rn ; entonces f 2 Cc0 (Rn ) y
l+2m J(fk ) = J(f ):
k!1
Demostracin: Del Teorema 4.14 se sigue que f es continua y, como fk (x) ! f (x)
para todo x 2 Rn ; se tiene que sop(f ) 6 K: En consecuencia, f 2 Cc0 (Rn ):
Sea g 2 Cc0 (Rn ) tal que g(x) = 1 para todo x 2 K y g(x) % 0 para todo x 2 Rn
[Ejercicio 9.38]. Como sop(f ' fk ) 6 K; se tiene que
' kf ' fk k1 g $ f ' fk $ kf ' fk k1 g
y, como J es lineal y continua, conclumos que
' kf ' fk k1 J(g) $ J(f ) ' J(fk ) $ kf ' fk k1 J(g);
es decir,
jJ(f ) ' J(fk )j $ C kf ' fk k1
170
3 .5
2 .5
1 .5
y
0 .8
0 .6
0 .5
0 .4
0 .2
0
-1
0
0
-1
f2
f1
2
La
R sucesin (fk ) converge puntualmente a 0 y sop(fk ) 6 [0; k ] para todo k 2 N; pero
f = k ! 1:
R k
es decir,
Tk ] = 1:
k2Z
0
-3
-2
-1
171
Denimos G : Rn ! R como
G(x1 ; :::; xn ) := ](x1 ) ( ( ( ](xn ):
1
0.75
0. 5
-0. 5
0.25
00
z
-1
0. 5
(9.1)
-1
-0. 5
0. 5
n X
Y
(Tmi ]) (xi ) =
m2Zn
i=1 mi 2Z
es decir,
(9.2)
Tm G = 1:
m2Zn
G9 (x) := G
MxN
M
(9.3)
Entonces G9 2 Cc0 (Rn ); sop(G9 ) = ['M; M]n y T9m G9 (x) = Tm G( x9 ) para todo x 2 Rn ;
m 2 Zn : De la identidad (9.2) se obtiene
X
T9m G9 = 1:
(9.4)
m2Zn
172
= 0:
Demostracin: Sea " > 0: Como f tiene soporte compacto, se tiene que f es
uniformemente continua en Rn [Ejercicio 9.39]. Por tanto, existe g > 0 tal que
jf (x) ' f (y)j < "
Sea M <
pV :
n
si kx ' yk < g:
f (x) '
f (Mm)T9m G9 (x) =
m2Zn
m2Zn
m2S(x)
nM < g
8m 2 S(x):
g
si M < p :
n
(9.5)
173
Lema 9.14 Sea J : Cc0 (Rn ) ! R una funcin lineal e invariante bajo traslaciones.
Entonces, para toda M > 0;
J(G9=2 ) = 2&n J(G9 ):
Demostracin: Si n = 1; entonces G = ] y un clculo sencillo muestra que
1
1
]9 = T&9=2 ]9=2 + ]9=2 + T9=2 ]9=2 :
2
2
(9.6)
0 .5
0
-1
- 0 .7 5
- 0 .5
- 0 .2 5
0 .2 5
0 .5
0 .7 5
donde
cW =
n ( )jW i j
Y
1
i=1
Observemos que
X
W21n
cW =
1
1
+1+
2
2
con P = (P 1 ; :::; P n ) 2 Fn :
) X
W21n!1
cW =
1
1
+1+
2
2
)n
= 2n :
174
cW J(G9=2 ) = 2n J(G9=2 );
W21n
Corolario 9.15 Sea J : Cc0 (Rn ) ! R una funcin lineal e invariante bajo traslaciones.
Entonces, para toda k 2 N;
J(G2!k ) = 2&kn J(G):
Demostracin: (Por induccin sobre k). Si k = 1 la armacin se sigue del Lema
9.14 con M = 1: Supongamos que J(G2!(k!1) ) = 2&(k&1)n J(G): Aplicando el Lema 9.14
con M = 2&(k&1) obtenemos
J(G2!k ) = 2&n J(G2!(k!1) ) = 2&kn J(G);
como arma el enunciado.
f:
Rn
Probaremos que
8f 2 Cc0 (Rn ):
J(f ) = CI(f )
Usando el Ejercicio 9.37 obtenemos que
I(G) =
(Z
)n
= 1:
175
m2Zn
l+2m
k!1
m2Zn
= C l+2m
k!1
f (2&k m)I(G2!k )
m2Zn
= C l+2m I
k!1
9.3.
f (2&k m)J(G2!k )
m2Zn
= CI(f ):
Denotaremos por GL(n; R) al conjunto de todas las matrices invertibles de n!n con
coecientes reales, es decir, las matrices cuyo determinante es distinto de cero. GL(n; R)
es un grupo bajo el producto de matrices y se llama el grupo lineal general. Identicaremos a una matriz A con la transformacin lineal denida por ella. Las matrices
A 2 GL(n; R) corresponden a isomorsmos lineales A : Rn ! Rn : Empezamos con la
siguiente observacin.
Lema 9.16 Si I : Cc0 (Rn ) ! R es una medida de Haar en Rn y A 2 GL(n; R); entonces
la funcin J : Cc0 (Rn ) ! R dada por
J(f ) := I(f 8 A)
es una medida de Haar en Rn :
Demostracin: La linealidad y la monotona de J son consecuencia inmediata de la
linealidad de A y de las correspondientes propiedades de I: Probaremos la invariancia
bajo traslaciones. Sean Y 2 Rn y f 2 Cc0 (Rn ): Para todo x 2 Rn se tiene que
((TE f ) 8 A) (x) = (TE f ) (Ax) = f (Ax ' Y) = f (A(x ' A&1 Y)) = TA!1 E (f 8 A)(x):
Por tanto,
J(TE f ) = I((TE f ) 8 A) = I(TA!1 E (f 8 A)) = I(f 8 A) = J(f );
es decir, J es invariante bajo traslaciones.
176
kAxk = kxk
Rn
Rn
f 8 A:
Ambas son medidas de Haar en Rn : Por el Teorema 9.10, existe una constante C % 0
tal que
J(f ) = CI(f )
8f 2 Cc0 (Rn ):
Probaremos que C = 1: Para ello, consideremos la funcin
!
1 ' kxk si kxk $ 1;
f0 (x) :=
0
si kxk % 1:
-2
-2
-1
z
1
0. 8
0. 6
0. 4
0. 2
00
-1
2
x
2
y
177
Rn
f=
Rn
ain
bi2
(((
bi1
ai2
( ( ( dxin ;
dxi2
ai1
donde yk := xj si ij = k:
Claramente, kAxk = kxk para todo x 2 Rn ; por tanto A 2 O(n): Aplicando el Teorema
9.17 obtenemos
Z
Z
f =
(f 8 A)
Rn
Rn
!
!
Z
Z
Z
bin
ain
bi2
(((
bin
ain
(((
ai2
bi2
ai2
bi1
ai1
bi1
ai1
dyi2
dx2
( ( ( dxn
( ( ( dyin ;
Rn
178
Lema 9.20 Si A es una matriz diagonal de n ! n tal que det A 6= 0, entonces para toda
f 2 Cc0 (Rn ) se cumple que
Z
Z
f (Ax) jdet Aj dx =
f (y)dy:
Rn
Rn
b=G
Si n > 1;
1
01 ( ( ( 0
B
C
A = @ ... . . . ... A
0 ( ( ( 0n
179
9.4.
180
Denimos
Cc0 (") := ff 2 C 0 (") : sop(f ) es compacto y sop(f ) 6 "g:
Cc0 (") es un subespacio vectorial de C 0 ("): Si " = Rn este espacio coincide con el de la
Denicin 9.4.
Dada una funcin f : " ! R; denimos f~ : Rn ! R como
!
f (x) si x 2 ";
~
f (x) :=
0
si x 2 Rn r ":
Es fcil comprobar que, si f 2 Cc0 ("); entonces f~ es continua en todo Rn y pertenece a
Cc0 (Rn ) [Ejercicio 9.45].
Denicin 9.23 Si f 2 Cc0 (") denimos la integral de f en " como
Z
Z
f :=
f~:
0
Rn
Denicin 9.24 Sean " y "0 subconjuntos abiertos de Rn : Una funcin ' : " ! "0
es un difeomorsmo de clase C 1 si ' es de clase C 1 en "; ' es biyectiva y su inverso
'&1 : "0 ! " es de clase C 1 en "0 :
Si ' es un difeomorsmo de clase C 1 ; la regla de la cadena asegura que
D'&1 ('(Y)) 8 D'(Y) = id
8Y 2 ":
Por tanto, D'(Y) 2 GL(n; R) para todo Y 2 ": En una vecindad pequea de Y, la
funcin ' es muy cercana a la funcin
AE (x) := '(Y) + D'(Y)(x ' Y) = D'(Y)x + ('(Y) ' D'(Y)Y);
para la cual vale el Teorema 9.19. Probaremos la siguiente generalizacin de ese resultado.
Teorema 9.25 (de cambio de variable) Sean " y "0 subconjuntos abiertos de Rn ;
' : " ! "0 un difeomorsmo de clase C 1 y f 2 Cc0 ("0 ): Entonces (f 8') jdet D'j 2 Cc0 (")
y
Z
Z
f ('(x)) jdet D'(x)j dx =
f (y)dy:
0
00
181
8x; y 2 K:
si dK (x; y) < M:
8x 2 Rn :
(9.7)
A continuacin introduciremos los conjuntos y las constantes que usaremos en los siguientes lemas y en la demostracin del Teorema 9.25.
Sean " y "0 abiertos en Rn ; ' : " ! "0 un difeomorsmo de clase C 1 y f 2 Cc0 ("0 ):
Denimos
K 0 := sop(f ) y K := '&1 (K 0 ):
Como K y K 0 son subconjuntos compactos de " y "0 respectivamente, las distancias
de K a Rn r " y de K 0 a Rn r "0 son positivas (Ejercicio 6.27). Por tanto, existe M 1 > 0
tal que
Q(Y; M 1 ) 6 "
Q(k; M 1 ) 6 "0
8Y 2 K;
8k 2 K 0 :
182
K'
Sean
K1 :=
Q(Y; M 1 )
K10 :=
Q(k; M 1 ):
X2K 0
E2K
K1 y K10 son subconjuntos compactos de " y "0 respectivamente (Ejercicio 3.30). Por
tanto, como D' es continua en K1 y D'&1 es continua en K10 , existe M 2 R tal que
1
1
sup kD'(x)kL(Rn ;Rn ) $ M y
sup 1D'&1 (y)1L(Rn ;Rn ) $ M:
y2K10
x2K1
p
Sean C := M n y M 2 := m+2nfM 1 ; 9C1 g:
p
$ M n k'(x) ' '(Y)k1 :
$ CM:
1G
1
H
kx ' Yk1 $ kx ' Yk = 1 D'&1 ('(Y)) 8 D'(Y) (x ' Y)1
1
1
$ 1D'&1 ('(Y))1L(Rn ;Rn ) kD'(Y)(x ' Y)k
p
$ M n kD'(Y)(x ' Y)k1
$ CM:
183
n
kx ' yk1
M
8x; y 2 Rn
(9.8)
[Ejercicio 9.44].
Lema 9.28 Si k 2 K 0 ; M 2 (0; M 2 ); entonces sop(TX G9 ) 6 K10 y sop(TX G9 8 ') 6 K1 ; y
existe una funcin ! : [0; 1) ! [0; 1) tal que l+2mt!0 !(t) = 0 y
5Z
5
Z
5
5
5 TX G9 ('(x)) jdet D'(x)j dx '
5 $ !(M)M n 8k 2 K 0 ; 8M 2 (0; M 2 ):
T
G
(y)dy
X
9
5
5
00
(9.9)
(9.10)
Por otra parte, como D'(Y) 2 GL(n; R); aplicando el Teorema 9.19 obtenemos
Z
Z
TX G9 (AE (x)) jdet D'(Y)j dx =
TX G9 (y)dy:
00
En consecuencia, bastar probar que existe una funcin ! : [0; 1) ! [0; 1) tal que
l+2mt!0 !(t) = 0 y
5Z
5
Z
5
5
5 TX G9 ('(x)) jdet D'(x)j dx ' TX G9 (AE (x)) jdet D'(Y)j dx5 $ !(M)M n :
(9.11)
5
5
0
Sea x 2 Q(Y; CM): Como xt := (1 ' t)Y + tx 2 Q(Y; CM) 6 K1 para todo t 2 [0; 1], el
teorema del valor medio (Corolario 8.14) asegura que
k'(x) ' AE (x)k = k'(x) ' '(Y) ' D'(Y)(x ' Y)k
$ sup kD'(xt ) ' D'(Y)kL(Rn ;Rn ) kx ' Yk
t2[0;1]
1p
1
p
$ sup 1 nD'(xt ) ' nD'(Y)1L(Rn ;Rn ) kx ' Yk1 :
t2[0;1]
p
Aplicando el Lema 9.26 a la funcin nD' : K1 ! L(Rn ; Rn ) obtenemos una funcin
no decreciente ! 1 : [0; 1) ! [0; 1) tal que l+2mt!0 ! 1 (t) = 0 y
k'(x) ' AE (x)k1 $ sup ! 1 (kxt ' Yk1 ) kx ' Yk1 $ ! 1 (CM)CM:
t2[0;1]
(9.12)
184
(9.14)
Usando la desigualdad del tringulo y las desigualdades (9.13) y (9.14) conclumos que
jTX G9 ('(x)) jdet D'(x)j ' TX G9 (AE (x)) jdet D'(Y)jj
$ jdet D'(x)j jTX G9 ('(x)) ' TX G9 (AE (x))j + jjdet D'(x)j ' jdet D'(Y)jj jTX G9 (AE (x))j
$ M1 Cn! 1 (CM) + ! 2 (CM) =: ! 3 (M)
(9.15)
para toda x 2 Q(Y; CM); donde M1 := supx2K1 jdet D'(x)j :
Usando la linealidad y la monotona de la integral, las armaciones (9.9) y (9.10) y la
desigualdad (9.15) obtenemos
5Z
5
Z
5
5
5 TX G9 ('(x)) jdet D'(x)j dx ' TX G9 (AE (x)) jdet D'(Y)j dx5
5
5
0
5Z0
5
5
5
= 55 (TX G9 ('(x)) jdet D'(x)j ' TX G9 (AE (x)) jdet D'(Y)j) dx55
Z0
$
jTX G9 ('(x)) jdet D'(x)j ' TX G9 (AE (x)) jdet D'(Y)jj dx
0
Z
=
jTX G9 ('(x)) jdet D'(x)j ' TX G9 (AE (x)) jdet D'(Y)jj dx
Q(E;C9)
Z
$
! 3 (M)dx = ! 3 (M)(2CM)n = !(M)M n ;
Q(E;C9)
m2Zn
185
El Lema 9.28 asegura que sop(f9 8 ') 6 K1 y sop(f9 ) 6 K10 : Por otra parte, el Lema
9.13 asegura que
l+2m kf ' f9 k1 = 0:
9!0
Como
kg ' g9 k1 = sup jf ('(x)) ' f9 ('(x))j jdet D'(x)j $ kf ' f9 k1 sup jdet D'(x)j ;
x2K1
x2K1
conclumos que
l+2m kg ' g9 k1 = 0:
9!0
9!0
f (y)dy = l+2m
9!0
00
9!0
f9 (y)dy = l+2m
9!0
00
m2Zn
f (Mm)
m2Zn
T9m G9 (y)dy:
00
Sea r 2 N tal que sop(f ) 6 ['r; r]n : Aplicando el Lema 9.28 obtenemos que
(Z
)
Z
X
f (Mm)
T9m G9 ('(x)) jdet D'(x)j dx '
T9m G9 (y)dy
m2Zn
00
5Z
5
Z
X
5
5
5
$
jf (Mm)j 5 T9m G9 ('(x)) jdet D'(x)j dx '
T9m G9 (y)dy 55
0
00
m2Zn
(
)n
2r
$ kf k1
+ 1 !(M)M n = kf k1 (2r + M)n !(M);
M
00
9!0
: =
k2N
Cc0 (")
\ C k (");
k 2 N [ f1g:
186
9.5.
Ejercicios
Ejercicio 9.30 Prueba que, si Q1 y Q2 son dos rectngulos que contienen a sop(f );
entonces
Z
Z
f=
f:
Q1
Q2
(b)
f$
i=1
Ejercicio 9.32 (Cambio de variable para funciones de variable real) Sea g : [a; b] !
R continuamente diferenciable y sea f : [A; e] ! R una funcin continua. Si g(t) 2
[A; e] para todo t 2 [a; b]; prueba que
Z b
Z g(b)
0
f (g(t))g (t)dt =
f (x)dx:
a
g(a)
9.5. EJERCICIOS
187
5 Z
5
f 55 $
n
Rn
8f 2 Cc0 (Rn ):
jf j
Ejercicio 9.36 Prueba que, si f 2 Cc0 (Rn ), f % 0 y f (x0 ) > 0 para algn x0 2 Rn ;
entonces
Z
f > 0:
Rn
Rm
) (Z
Rn!m
)
h :
Ejercicio 9.38 Sea K un subconjunto compacto de Rn . Prueba que existe una funcin
g 2 Cc0 (Rn ) tal que g(x) = 1 para todo x 2 K y g(x) % 0 para todo x 2 Rn :
Ejercicio 9.39 Prueba que, si f 2 Cc0 (Rn ); entonces f es uniformemente continua en
Rn : (Sugerencia: Usa el Teorema 3.28.)
Ejercicio 9.40 Sea
0
Cper
(Rn ) := ff 2 C 0 (Rn ) : f (x + m) = f (x) 8x 2 Rn ; 8m 2 Zn g
188
f:
Rn
8x; y 2 Rn :
n
kx ' yk1
M
8x; y 2 Rn :
9.5. EJERCICIOS
189
Ejercicio 9.45 Sea " un subconjunto abierto de Rn : Prueba que, si f 2 Cc0 (") y f~ :
Rn ! R es la funcin
!
f (x) si x 2 ";
f~(x) :=
0
si x 2 Rn r ";
entonces f~ 2 Cc0 (Rn ):
Ejercicio 9.46 Sean " := R2 r f(x; 0) : x % 0g y "0 := (0; 1) ! (0; 2H): Prueba que,
para toda f 2 Cc0 (");
Z
Z
f (x; y)dxdy =
f (r cos ]; r sin ])rdrd]:
00
Ejercicio 9.47 (Integracin por partes) (a) Prueba que, si f 2 Cc1 ("); entonces
@f
2 Cc0 (") y
@xi
Z
@f
=0
8i = 1; :::; n:
0 @xi
@f
g='
@xi
@g
@xi
@f
g;
@xi
@g
f @x
2 Cc0 (") y
i
8i = 1; :::; n:
190
Captulo 10
Funciones Lebesgue-integrables
10.1.
: R ! R la funcin
!
1 ' j2x ' 1jk si x 2 (0; 1);
k (x) :=
0
si x 2
= (0; 1);
y sea Ik : Rn ! R la funcin
Ik (x1 ; :::; xn ) :=
k (x1 ) ( ( (
k (xn ):
0
-1
2
x
y=
4 (x)
Las funciones Ik son continuas, sop(Ik ) = [0; 1]n ; Ik $ Ik+1 para todo k 2 N; y para
cada x 2 Rn se tiene que
!
1 si x 2 (0; 1)n ;
l+2m Ik (x) = 1(0;1)n (x) :=
0 si x 2
= (0; 1)n :
k!1
191
192
k!1
Ik = 1:
Rn
k!1
8x 2 K:
"
2
8k % kx :
"
2
si dK (y; x) < M x :
Por tanto,
gk (y) $ gkx (y) $ jgkx (y) ' gkx (x)j + gkx (x) < "
si k % kx y dK (y; x) < M x :
193
8k % m+axfk1 ; :::; kn g; 8y 2 K:
k!1
fk =
Rn
f:
Rn
fk !
f;
Rn
como
i2I
Nota que el lmite puntual de una sucesin creciente de funciones coincide con su supremo puntual. El siguiente resultado es consecuencia del corolario anterior.
194
Corolario 10.4 Si fk ; gk 2 Cc0 (Rn ) son tales que fk $ fk+1 y gk $ gk+1 para todo k 2 N
y supk2N fk = supk2N gk ; entonces
Z
Z
l+2m
fk = l+2m
gk :
k!1
k!1
Rn
Rn
j!1
Por tanto,
l+2m
k!1
j!1
Rn
Rn
fk $ l+2m
j!1
Rn
gj :
Rn
k!1
Rn
donde (fk ) es una sucesin de funciones en Cc0 (Rn ) tales que fk $ fk+1 para todo k 2 N
y supk2N fk = f:
El Corolario 10.4 asegura que la integral de f en Rn no depende de la sucesin
elegida. En particular, si f 2 Cc0 (Rn ) 6 S) (Rn ); podemos tomar fk = f: Esto prueba
que, para funciones en Cc0 (Rn ); la integral dada por la Denicin 10.5 coincide que la
introducida en el captulo precedente.
A continuacin daremos una descripcin ms accesible del conjunto S) (Rn ): Probaremos primero que las funciones que pertenecen a S) (Rn ) son semicontinuas inferiormente
(Denicin 3.20).
Lema 10.6 Si X es un espacio mtrico y fi : X ! R [ f1g es s.c.i. para todo i 2 I,
entonces supi2I fi es s.c.i.
195
8x 2 Rn r K:
(b) Existen funciones fk 2 Cc0 (Rn ) tales que fk $ fk+1 para todo k 2 N y f = supk2N fk :
Demostracin: (b))(a): Sean fk 2 Cc0 (Rn ) tales que fk $ fk+1 para todo k 2 N
y f = supk2N fk : El Lema 10.6 asegura que f es s.c.i. Por otra parte, como f % f1 ; se
tiene que
f (x) % 0 8x 2 Rn r sop(f1 ):
Esto prueba que f cumple (a).
(a))(b): Sea f s.c.i. y tal que f (x) % 0 para todo x 2 Rn r K; con K 6= ; compacto.
Por el Teorema 3.26, f alcanza su mnimo en K: Por tanto, existe M 2 N tal que
f (x) > 'M
8x 2 Rn :
Sea
N := f(Y; "; q) 2 Qn ! Q ! Q : " > 0; q > 'M; f (x) > q 8x 2 B(Y; ")g;
donde B(Y; ") := fx 2 Rn : kx ' Yk < "g: Para cada o = (Y; "; q) 2 N escogemos
rZ 2 ("; 1) tal que K 6 B(Y; rZ ) y denimos gZ 2 Cc0 (Rn ) como
8
q
si kx ' Yk $ 2" ;
>
>
>
2(q+m)
>
< ' " kx ' Yk + 2q + M si 2" $ kx ' Yk $ ";
gZ (x) :=
'M
si " $ kx ' Yk $ rZ ;
>
>
>
'M (rZ + 1 ' kx ' Yk)
si rZ $ kx ' Yk $ rZ + 1;
>
:
0
si rZ + 1 $ kx ' Yk :
196
-M
se dene como
(
)
+2nf fi (x) := +2nf fi (x).
i2I
i2I
Nota que el lmite puntual de una sucesin decreciente de funciones coincide con su nmo puntual. El nmo puntual de una familia de funciones semicontinuas superiormente
(Denicin 3.21) es semicontinuo superiormente.
197
Observa que
f : X ! R [ f'1g es s.c.s. () 'f : X ! R [ f1g es s.c.i.
(10.1)
k!1
Rn
Rn
f (x) $ 0
(b) Existen funciones fk 2 Cc0 (Rn ) tales que fk % fk+1 para todo k 2 N y f = +2nf k2N fk :
Demostracin: De la observacin (10.1) y la Proposicin 10.7 se sigue inmediatamente este resultado.
Denotamos por
S ) (Rn ) := ff : Rn ! R[f'1g : f es s.c.s. y 9K compacto tal que f (x) $ 0 8x 2 Rn rKg:
Denicin 10.10 Sea f 2 S ) (Rn ): Denimos la integral de f en Rn como
Z
Rn
f := l+2m
k!1
Rn
fk 2 R [ f'1g;
donde (fk ) es una sucesin de funciones en Cc0 (Rn ) tales que fk % fk+1 para todo k 2 N
y +2nf k2N fk = f:
198
La Proposicin 10.9 asegura que tal sucesin (fk ) existe y el Corolario 10.8 asegura que la integral de f en Rn no depende de la sucesin elegida. En particular, si
f 2 Cc0 (Rn ) 6 S ) (Rn ); podemos tomar fk = f: Esto prueba que, para funciones en
Cc0 (Rn ); la integral dada por la Denicin 10.10 coincide que la introducida en el captulo precedente. Ms an, como
S ) (Rn ) \ S) (Rn ) = Cc0 (Rn );
las integrales dadas por las Deniciones 10.5 y 10.10 coinciden en S ) (Rn ) \ S) (Rn ):
Un ejemplo importante es el siguiente.
Denicin 10.11 La funcin caracterstica (o funcin indicadora) de un subconjunto X de Rn es la funcin
!
1 si x 2 X;
1X (x) :=
0 si x 2 Rn r X:
La funcin 1X es s.c.i si y slo si X es abierto en Rn , y es s.c.s. si y slo si X es
cerrado en Rn : En consecuencia,
1X 2 S) (Rn ) si y slo si X es abierto en Rn ;
1X 2 S ) (Rn ) si y slo si X es compacto en Rn ;
(10.2)
(10.3)
[Ejercicio 10.48].
Denicin 10.12 Si X es un subconjunto abierto o X es un subconjunto compacto de
Rn ; denimos el volumen de X en Rn como
Z
voln (X) :=
1X 2 R [ f1g:
Rn
10.2.
Probaremos algunas propiedades importantes de la integral. Empezamos con la siguiente observacin sencilla.
199
Rn
Rn
donde
a + 1 := 1;
1 + a := 1
8a 2 R [ f1g;
a + ('1) := '1; ('1) + a : '1 8a 2 R [ f'1g;
0 (F1) := F1
80 2 (0; 1);
0 (F1) := 0:
Observa que ni S ) (Rn ) ni S) (Rn ) son espacios vectoriales ya que, en general, 'f no es
s.c.i. (s.c.s.) si f lo es. Sin embargo, se cumple lo siguiente.
Proposicin 10.14 (a) Si f; g 2 S) (Rn ) y 0 2 [0; 1); entonces f + g 2 S) (Rn );
0f 2 S) (Rn ),
Z
Z
Z
Z
Z
(f + g) =
f+
g
y
(0f ) = 0
f:
Rn
Rn
Rn
Rn
f$
Rn
Rn
g:
Rn
200
(a) Si fk ; gk 2 Cc0 (Rn ) son tales que fk $ fk+1 , gk $ gk+1 , supk2N fk = f y supk2N gk = g;
entonces, para 0 2 [0; 1);
fk + gk 2 Cc0 (Rn );
0fk 2 Cc0 (Rn );
fk + gk $ fk+1 + gk+1 ;
0fk $ 0fk+1 ;
sup (fk + gk ) = f + g;
k2N
Rn
Rn
Rn
Rn
son consecuencia de las correspondientes identidades para las funciones fk ; gk 2 Cc0 (Rn )
(Teorema 9.7).
(b) Si f; g 2 S) (Rn ), f $ g; y fk ; gk 2 Cc0 (Rn ) son tales que fk $ fk+1 , gk $ gk+1 ,
supk2N fk = f y supk2N gk = g; denimos
hk := m+2nffk ; gk g:
Entonces hk 2 Cc0 (Rn ); hk $ hk+1 , supk2N hk = f y hk $ gk . De la monotona de la
integral para funciones en Cc0 (Rn ) (Teorema 9.7) se sigue que
Z
Z
Z
Z
f := l+2m
hk $ l+2m
gk =:
g:
Rn
k!1
k!1
Rn
Rn
Rn
Rn
Rn
Rn
(f ' g) =
Rn
f+
Rn
'g =
Rn
f'
Rn
g;
201
Rn
y k := ('r; :::; 'r); entonces ('r; r)n = '((0; 1)n ): En el Ejemplo 10.1 probamos que
voln ((0; 1)n ) = 1: Como 1(&r;r)n 8 ' = 1(0;1)n ; de la Proposicin 10.16 se sigue que
Z
Z
n
voln (('r; r) ) =
1(&r;r)n = jdet Aj
1(0;1)n = (2r)n ;
Rn
Rn
Corolario 10.18 Si " es un subconjunto abierto y acotado de Rn ; entonces voln (") <
1:
Demostracin: Sea r 2 (0; 1) tal que " 6 ('r; r)n : Como 10 y 1(&r;r)n pertenecen
a S) (Rn ); aplicando la Proposicin 10.14 y el Ejemplo 10.17 obtenemos que
Z
Z
voln (") =
10 $
1(&r;r)n = voln (('r; r)n ) = (2r)n < 1;
Rn
Rn
202
Rn
Rm
Rn!m
Rm
k!1
Rn!m
n
Y
(bi ' ai ):
i=1
Rm
Rn!m
203
Observemos que 1Q = 1[a1 ;b1 ] I ( ( ( I 1[an ;bn ] : Aplicando la Proposicin 10.20 obtenemos
que
n Z
n
Y
Y
voln (Q) =
1[ai ;bi ] =
(bi ' ai );
i=1
i=1
Rn
pertenece a S) (Rn&m ) y
Rn!m
F =
f:
Rn
(10.4)
204
F (z) :=
k!1
Rm
Fk (z) :=
Rm
Rm
(10.5)
fkz :
k!1
Rn!m
(10.7)
Rn
k!1
fk =
Rn
f;
Rn
Rn!m
205
1 k
H
k!
2k+1
Hk
133333(2k+1)
si n = 2k;
si n = 2k + 1:
En particular,
l+2m ! n = 0:
n!1
Jn (0; r) = rB
Jn (0; 1); la armacin
Demostracin: Como B
Jn (0; r)) = rn ! n
voln (B
es consecuencia de la Proposicin 10.16 [Ejercicio 10.51]. Si n > 1; por el principio de
Cavalieri,
Z
M
N
p
Jn&1 (0; 1 ' t2 )dt
!n =
voln&1 B
R
Z 1
3
4 n!1
= ! n&1
1 ' t2 2 dt:
(10.9)
&1
206
sinn x dx:
k
Y
2i ' 1
i=1
2@
;
n
2i
c2k+1 = 2
k
Y
i=1
2i
:
2i + 1
2H
! n&2
n
si n > 2:
(10.10)
Como ! 1 := vol1 (['1; 1]) = 2; se tiene que ! 2 = 2c2 = H: Aplicando (10.10) obtenemos
que
1
2k+1
! 2k = H k y ! 2k+1 =
Hk ;
k!
1 ( 3 ( ( ( (2k + 1)
como arma el enunciado.
Rn
k!1
fk :
Rn
Demostracin: Para cada k 2 N; tomemos una sucesin (fk;j ) en Cc0 (Rn ) tal que
fk;j $ fk;j+1 para todo j 2 N y fk := supj2N fk;j : Entonces,
fi;j $ fi $ fk
8j 2 N, 8i $ k:
207
Denimos
gk := m+ax fi;j :
i%k; j%k
i;j2N
k2N
k!1
Rn
k!1
Rn
Rn
f = l+2m
Rn
k!1
fk ;
Rn
10.3.
Funciones Lebesgue-integrables
Rn
Observa que en ambos casos el conjunto cuyo nmo o cuyo supremo estamos tomando no es vaco, ya que la funcin constante 1 pertenece a S) (Rn ) y la funcin constante
'1 pertenece a S ) (Rn ): Enunciamos a continuacin algunas propiedades sencillas de
estas integrales.
Lema 10.28 (a) Para toda f : Rn ! R [ fF1g;
Z
Z )
f ='
('f ) :
)
208
f$
f:
f1 $
f1 $
f:
f2
f=
f=
Rn
0f = 0
0f = 0
(f1 + f2 ) $
f2 :
f1 +
f:
f2 :
Rn
Rn
Rn
f=
Rn
209
fk :
Rn
Rn
Rn
f:
Rn
Rn
0f $ 0
f:
Esto prueba la igualdad para la integral superior. La igualdad para la integral inferior
se obtiene aplicando la armacin (a).
(f) Sea " > 0 y sean g1 ; g2 2 S) (Rn ) tales que g1 % f1 ; g2 % f2 ;
(Z ) )
(Z ) )
Z
Z
"
"
g1 $
f1 +
y
g2 $
f2 + :
2
2
Rn
Rn
Entonces, g1 + g2 2 S) (Rn ); g1 + g2 % f1 + f2 y, sumando las desigualdades anteriores,
obtenemos
(Z )
Z )
Z
Z ) )
(f1 + f2 ) $
(g1 + g2 ) $
f1 +
f2 + ":
Rn
En consecuencia,
(f1 + f2 ) $
f1 +
f2 ;
210
Rn
Rn
Rn
Rn
(g ' h) =
Rn
g'
h < ":
Rn
211
Inversamente, si para cada " > 0 existen h 2 S ) (Rn ) y g 2 S) (Rn ) tales que h $ f $ g;
Z
Z
Z
Z
'1 <
h,
g<1 y
g'
h < ";
Rn
entonces
Rn
'1 <
0$
y, en consecuencia,
Rn
)
Rn
h$
f'
f$
f$
f$
g'
Rn
Rn
Rn
g<1
h<"
Rn
k!1
jf ' gk j = 0:
f = l+2m
k!1
Rn
gk :
Rn
(10.11)
212
Por otra parte, de la denicin de la integral para funciones en S) (Rn ) se sigue que
existe g 2 Cc0 (Rn ) tal que g $ g^ y
Z
"
0$
(^
g ' g) < :
2
Rn
Como
^ + (^
0 $ jf ' gj $ jf ' g^j + j^
g ' gj $ (^
g ' h)
g ' g) 2 S) (Rn );
usando el Lema 10.28 y la Proposicin 10.14, obtenemos que
Z )
Z h
Z
i Z
^
^
jf ' gj $
(^
g ' h) + (^
g ' g) =
(^
g ' h) +
(^
g ' g) < ":
Rn
Rn
Rn
jf ' gk j <
"
2
si k % k0 :
Entonces, por denicin de la integral superior, para cada k % k0 existe g^k 2 S) (Rn )
tal que g^k % jf ' gk j y
Z )
Z
"
jf ' gk j $
g^k < :
2
Rn
'1 <
f'
f=
f $ ":
)
f < 1;
213
10.4.
Rn
Rn
f$
Rn
g:
Rn
1
:
k
214
k!1
Rn
Rn
Rn
Rn
Demostracin: La Proposicin 10.32 asegura que existe una sucesin (gk ) en Cc0 (Rn )
tal que
Z
l+2m
k!1
jf ' gk j = 0:
k!1
jf ' gk j = 0:
Por tanto,
Rn
Rn
5Z
5
5
5
5 Z
5
f 55 $
n
Rn
Rn
jf j ;
Teorema 10.35 (de cambio de variable lineal) Sean A 2 GL(n; R) y k 2 Rn : Entonces, f 2 L(Rn ) si y slo si la funcin x 7! f (Ax + k) pertenece a L(Rn ). En este
caso se cumple que
Z
Z
f (Ax + k) jdet Aj dx =
f (y)dy:
Rn
Rn
215
Rn
Rn
Rn
Por tanto,
Z
f = +2nf
Rn
!Z
Rn
= sup
!Z
(g 8 ') jdet Aj : g 2 S) (R ); g % f
Rn
;
6
Por otra parte, como (h 8 ') jdet Aj $ (f 8 ') jdet Aj $ (g 8 ') jdet Aj se tiene que
Z
Z
Z )
Z
(h 8 ') jdet Aj $ (f 8 ') jdet Aj y
(f 8 ') jdet Aj $
(g 8 ') jdet Aj :
Rn
Rn
En consecuencia,
Z
(f 8 ') jdet Aj $
Rn
f$
(f 8 ') jdet Aj :
Rm
Rn!m
Rn!m
^ 1 2 S) (Rm ) y h
^ 2 2 S) (Rn&m ) tales que h
^ 1 % jf1 j ; h
^ 2 % jf2 j y
y existen h
!Z
6
Z
^
^
m+ax
h1 ;
h2 $ M + 1:
Rm
Rn!m
216
Por otra parte, la Proposicin 10.32 y la denicin de integral superior aseguran que,
para cada k 2 N; existen g1;k 2 Cc0 (Rm ); g2;k 2 Cc0 (Rn&m ); g^1;k 2 S) (Rm ) y g^2;k 2
S) (Rn&m ) tales que g^1;k % jf1 ' g1;k j ; g^2;k % jf2 ' g2;k j ;
Z
Z
1
jf1 ' g1;k j $
g^1;k <
;
2 (M + 1) k
Rm
Rm
Z
Z
1
jf2 ' g2;k j $
g^2;k <
:
2 (M + 1) k
Rn!m
Rn!m
Observa que
Rm
jg1;k j $
Rm
jf1 j +
Rm
Rm
Rm
(10.13)
^2
h
Rn!m
) (Z
jg1;k j
g^2;k
Rn!m
<
<
1
:
2k
1
:
2k
Como f1 I f2 ' g1;k I g2;k = ((f1 ' g1;k ) I f2 ) + (g1;k I (f2 ' g2;k )) ; conclumos que
Z
1
jf1 I f2 ' g1;k I g2;k j < :
k
Rn
De las Proposiciones 10.32 y 10.20 se sigue que f1 I f2 2 L(Rn ) y
Z
Z
(f1 I f2 ) = l+2m
(g1;k I g2;k )
k!1 Rn
Rn
(Z
) (Z
) (Z
) (Z
= l+2m
g1;k
g2;k =
f1
k!1
Rm
Rn!m
Rm
Rn!m
f2 ;
217
Cc0 (Rn )
y que existe
kj
<
1
:
2k (kgk k1 + 1)
Como
jf ' ' gk
se tiene que
Z )
kj
jf ' ' gk
kj
$ k'k1
(Z
kj
)
(Z
jf ' gk j + kgk k1
kj ;
)
j' ' k j < k:
218
= 1X 1Y ;
= 1X + 1Y ' 1X\Y ;
= 1X ' 1X\Y :
(10.14)
(10.15)
(10.16)
Rn
Denotamos por
L(X) := ff : X ! R : f es Lebesgue-integrable en Xg:
10.5. EJERCICIOS
219
donde M % m+axf0; m+axx2K gg y " es un abierto acotado que contiene a K: Esto prueba
que gJ 2 L(Rn ): Puesto que que K es integrable, se tiene entonces que fJ = gJ + m1K 2
L(Rn ): Por tanto, f 2 L(K):
f :=
10.5.
f :=
f:
(a;b)
Ejercicios
220
f = l+2m
Rn
k!1
fk :
Rn
10.5. EJERCICIOS
221
i=0
(Sugerencia: Calcula primero el volumen de K(0; e1 ; :::; en ) para la base cannica fe1 ; :::; en g
de Rn ; y aplica el Ejercicio 10.51 para obtener el caso general.)
Ejercicio 10.56 Calcula el volumen en Rn del elipsoide
(
)
n
2
X
x
i
E := x 2 Rn :
=1
2
a
i
i=1
con semiejes a1 ; :::; an 2 (0; 1): (Sugerencia: Usa el Ejemplo 10.25 y el Ejercicio 10.51
para obtener el caso general.)
222
voln+1 (G ) =
f:
7&1
,
7+1
(b) Si omitimos la hiptesis de que " sea acotado, es cierto que f 2 L(")?
(c) Si omitimos la hiptesis de que f sea acotada, es cierto que f 2 L(")?
Ejercicio 10.60 Prueba que, si '1 < a < b < 1 y f : [a; b] ! R es continua,
entonces la integral de Lebesgue de f ( Denicin 10.41) coincide con la integral usual
Rb
de Riemann a f:
10.5. EJERCICIOS
223
Ejercicio 10.61 Prueba que, si X es un subconjunto integrable de Rn ; la funcin constante con valor c 2 R es integrable en X y
Z
c = c voln (X):
X
m
X
ci 1Qi ;
i=1
#=
Rn
m
X
ci voln (Qi ):
i=1
Recuerda que una funcin f : Rn ! R es Riemann-integrable si, para cada " > 0;
existen #1 ; #2 2 E(Rn ) tales que #1 $ f $ #2 y
Z
Z
#2 '
#1 < ":
Rn
Rn
224
Captulo 11
Resultados fundamentales sobre la
integral de Lebesgue
11.1.
Conjuntos nulos
P1
k=1
fk :=
k=1
Rn k=1
m!1
Rn k=1
fk $
1 Z
X
k=1
k=1
fk ;
Rn
k=1
226
P
Demostracin: Sea N = fxk : k 2 Ng: Entonces 1N = 1
k=1 1fxk g : Usando el Lema
11.1 obtenemos
Z
Z )
1 Z )
X
0 $ 1N $
1N $
1fxk g = 0:
)
k=1
En consecuencia, N es integrable y jN j = 0:
R)
1Z = 0:
227
Rm
Por el teorema de Fubini para funciones semicontinuas (Proposicin 10.23) se tiene que
(Z
)
Z
Z
jgr(f )j =
1gr(f ) =
1gr(f ) (x; y)dy dx = 0;
Rn
Rn!m
Rm
Proposicin 11.8 Si Z es un subconjunto nulo de Rn ; entonces para todo " > 0 existe
un subconjunto abierto integrable " de Rn tal que Z 6 " y j"j < ":
R)
Demostracin: Como
1Z = 0; existe g 2 S) (Rn ) tal que g % 1Z y
Z
"
g< :
2
Rn
Como g es s.c.i., " := g &1 ( 12 ; 1) es un subconjunto abierto de Rn (Ejercicio 3.44) y,
puesto que g % 1Z ; se tiene que Z 6 ": Finalmente, dado que 2g % 10 ; se cumple que
Z )
Z
j"j $
10 $
2g < ";
Rn
228
R)
Proposicin 11.10 Si f : Rn ! R [ fF1g satisface que
jf j < 1; entonces f (x) 2
R c.d. en Rn : En particular, si f es integrable, entonces f (x) 2 R c.d. en Rn :
Demostracin: Sea Z := fx 2 Rn : f (x) = F1g: Como 1Z $ " jf j para todo " > 0;
se tiene que
Z )
Z )
1Z $ "
jf j 8" > 0:
R)
En consecuencia,
1Z = 0 y, por tanto, Z es nulo.
R)
Si f es integrable, entonces jf j es integrable (Corolario 10.34) y, por tanto,
jf j < 1:
Proposicin 11.11 Sean f; g : Rn ! R [ fF1g tales que f (x) = g(x) c.d. en Rn : Si
f es integrable, entonces g es integrable y
Z
Z
f=
g:
Rn
Rn
n
P1Demostracin: Sean Z := fx 2 R : f (x) 6= g(x)g y hk := 1Z : Entonces jg ' f j $
k=1 hk y, aplicando el Lema 10.28, obtenemos que
Z )
Z )X
1
1 Z )
X
jg ' f j $
hk $
hk = 0:
k=1
k=1
Por la Proposicin 10.32 existe una sucesin (fk ) en Cc0 (Rn ) tal que
Z )
l+2m
jf ' fk j = 0:
k!1
k!1
jg ' fk j = 0:
k!1
Rn
fk =
Rn
g;
229
Demostracin: Denimos
g(x) :=
Rn
Entonces existe una subsucesin (fkj ) de (fk ) tal que fkj (x) ! 0 c.d. en Rn :
Demostracin: Tomemos k1 < ( ( ( < kj < kj+1 < ( ( ( tales que
Z )
1
jfkj j < j :
2
Por el Lema 11.1, se tiene que
Z )
1
P
j=1
jfkj j $
1
P
j=1
jfkj j $ 1:
La Proposicin 11.10 asegura entonces que existe un subconjunto nulo Z de Rn tal que
1
P
j=1
8x 2 Rn r Z:
230
R)
jf j = 0 si y slo si f (x) = 0
Rn
entonces f = 0 c.d. en Rn :
n
Demostracin:
Si f (x) =
R
R ) 0 c.d. en R ; la Proposicin 11.11 asegura que jf j es
integrable y Rn jf j = 0: Si
jf j = 0; aplicando la Proposicin 11.13 a la sucesin
fk := f; obtenemos que f (x) = 0 c.d. en Rn :
11.2.
El teorema de Fubini
F =
Rn!m
(11.1)
f:
Rn
Rn
Rm
Rn!m
G=
Rn
g:
231
F2 (y) :=
f y:
Rn!m
Rn!m
Rn
Dado que f es integrable en Rn ; tomando el nmo sobre las funciones g 2 S) (Rn ) tales
que g % f y el supremo sobre las funciones h 2 S ) (Rn ) tales que h $ f; obtenemos
Z )
Z
Z
Fi $
f $ Fi ; i = 1; 2:
Rn
Rn!m
f:
Rn
R
Como adems F2 ' F1 % 0 y Rn!m (F2 ' F1 ) = 0; la Proposicin 11.10 y el Corolario
11.14 aseguran que el conjunto
Z := fz 2 Rn&m : F1 (z) 6= F2 (z)g [ fz 2 Rn&m : F1 (z) = F2 (z) = F1g
es nulo en Rn&m . De la denicin de F1 y F2 se sigue que
Z
Z )
y
'1 < f =
f y < 1 8y 2 Rn&m r Z:
)
En consecuencia, f y es integrable y
Z
f y = F1 (y) = F2 (y)
Rm
8y 2 Rn&m r Z:
Rn!m
Rn
232
Rn!m
Rm
11.3.
Rm
Rn!m
Teoremas de convergencia
Rn
k!1
fk :
Rn
k+i
X
j=k+1
233
Por tanto,
f ' fk = l+2m (fk+i ' fk ) = l+2m
i!1
i!1
k+i
X
j=k+1
1
X
j=k+1
1
X
j=km +1
= l+2m
i!1
j=km +1
(Z
(Z
Rn
Rn
fj '
fkm +i '
fj&1
Rn
fkm
Rn
kX
m +i
= l+2m
i!1
j=km +1
l+2m
i!1
Rn
(Z
)
Rn
fi '
fj '
Z
fj&1
Rn
fkm <
Rn
1
:
2m
(11.3)
En consecuencia,
Z
jf ' gm j $
jf ' fkm j +
Z
f = l+2m
Rn
m!1
1
:
m
gm :
Rn
l+2m
k!1
Rn
fk = l+2m
m!1
Rn
gm =
f;
Rn
234
Rn
k!1
fk :
Rn
Corolario 11.18 Sea X1 6 ( ( ( 6 Xk 6 Xk+1 6 ( ( ( una sucesin creciente de subconjuntos integrables de Rn : Si la sucesin (jXk j) de sus medidas de Lebesgue en Rn est
acotada, entonces [1
k=1 Xk es integrable y
5
5
1
5S
5
5 Xk 5 = l+2m jXk j :
5
5
k=1
k!1
k!1
n2N
k"n
k!1
235
Teorema 11.20 (Lema de Fatou) Sea fk : Rn ! R [ fF1g una sucesin de funciones integrables con las siguientes propiedades:
(i) Existe una funcin integrable g : Rn ! R [ fF1g tal que fk % g para todo k 2 N;
(ii) Existe M 2 R tal que
Z
fk $ M
8k 2 N:
Rn
Rn
f $ l+2m inf
k!1
fk :
Rn
Demostracin: Para cada j > k denimos fj;k := m+2nffk ; fk+1 ; :::; fj g: Entonces,
fj;k es integrable, fj;k % fj+1;k y fj;k % g para todo j 2 N. Por tanto,
l+2m
j!1
Rn
fj;k %
Rn
g > '1:
Por el Corolario 11.17, se tiene que gk := +2nf j"k fj = +2nf j"k fj;k es integrable y
Z
gk = +2nf
j"k
Rn
Rn
fj;k $ +2nf
j"k
(11.4)
fj :
Rn
Rn
gk $
Rn
fk $ M
8k 2 N:
El Teorema 11.16 asegura entonces que l+2m inf k!1 fk = supk2N gk es integrable y, usando
la desigualdad (11.4), obtenemos que
Z
Rn
k2N
Rn
gk $ sup +2nf
k2N j"k
Rn
fj = l+2m inf
k!1
fk ;
Rn
236
5
5
Ejemplo 11.21 Sea fk : R ! R la funcin fk (x) := m+axfk ' k 2 5x ' k1 5 ; 0g:
y
1.5
1
0 .8
0 .6
0.5
0 .4
0 .2
0
-1
0
0
-1
f1
f2
k!1
fk :
Rn
k!1
Rn
Como fk % 'g y
Rn
237
fk $
8k 2 N;
g =: M
Rn
Rn
(11.6)
fk :
Rn
Observemos que las funciones 'fk y 'f tambin satisfacen (11.5). Por tanto,
Z
Z
Z
Z
'
f=
'f $ l+2m inf
'fk = ' l+2m sup
fk :
Rn
k!1
Rn
k!1
Rn
(11.7)
Rn
Rn
fk $
Rn
f $ l+2m inf
k!1
fk :
Rn
f = l+2m
k!1
Rn
fk ;
Rn
Entonces f 2 L(X) y
l+2m
k!1
Xk
jf ' f 1Xk j = 0:
Rn
k!1
Xk
238
k!1
jf ' f 1Xk j = 0;
R)
Demostracin: Claramente, si f 2 L("); entonces
f
2
L
(")
y
jf j < 1:
loc
R)
Inversamente, supongamos que f 2 Lloc (") y
jf j < 1: Para cada k 2 N denimos
"k := fx 2 " : kxk < k; dist(x; @") >
1
g:
k
11.4.
239
gk :=
k
P
f (Y j )1Aj :
j=1
Se tiene que
Z
gk =
Rn
k
P
f (Y j )
j=1
Rn
1Aj = n! n
k
P
j=1
f (Y j )Y n&1
(aj ' aj&1 ):
j
(11.8)
j=1
240
Por otra parte, como f es uniformemente continua en [a; b], para cada " > 0 existe
k0 2 N tal que
jf (t) ' f (s)j <
"
jAn (a; b)j
si js ' tj <
$
Esto prueba que
Aj
j=1
k
X
k!1
5
5
5f (kxk) ' f (Y j )5 dx
"
jAj j = ":
jAn (a; b)j
j=1
f (kxk)dx = l+2m
An (a;b)
b'a
; k % k0 :
k
gk (x)dx:
(11.10)
An (a;b)
An (a;b)
kxk dx = n! n
tW+n&1 dt:
241
kxk%r
An ( k1 ;r)
kxkW dx =
8k >
1
r
n
! n rn+W :
n+P
An (";r)
kxkW dx = 1:
kxk%r
1
kxkn=2
M
kxkn+"
8x 2 Rn r Bn (0; r);
1
kxkn
242
La existencia de las dos ltimas integrales se sigue de que f 2 Lloc (Rn ) y del Ejemplo
11.28, respectivamente. El Corolario 11.25 asegura que f 2 L(Rn ):
11.5.
Lema 11.31 Si " es abierto en Rn y f 2 L(") entonces, para cada " > 0, existe un
subconjunto abierto acotado "0 de Rn tal que
Z
0
" 6"
y
jf j < ":
0r00
1
g:
k
0k
0r0k
k!1
En consecuencia, dada " > 0; existe k 2 N tal que "0 := "k satisface las armaciones
del enunciado.
243
Demostracin: Sea " > 0: Basta probar que existe f" 2 Cc0 (") tal que
Z
jf ' f" j < ":
0
8x 2 Rn y 8k 2 N,
00
244
Demostracin: Como " es unin numerable de cubos [Ejercicio 11.41], basta probar
que '(Z \ Q) es nulo para todo cubo Q 6 ":
Sea Q un cubo contenido en ": Como Q es compacto y D' : " ! L(Rn ; Rn ) es continua,
se tiene que
M := sup kD'(x)kL(Rn ;Rn ) < 1:
x2Q
Del teorema del valor medio (Corolario 8.13) y las desigualdades (9.7) se sigue que
p
k'(x) ' '(y)k1 $ k'(x) ' '(y)k $ M kx ' yk $ M n kx ' yk1
8x; y 2 Q:
0
Por tanto, si Q0 es un
p cubo de semilado M, entonces '(Q \ Q) est contenido en un
cubo de semilado M nM y, en consecuencia,
k2N
Qk 6 "
1
P
k=1
1
S
k=1
obtenemos
5
5
Z )
1
1
1
5S
5 P
P
1'(Z\Q) $ 55 '(Qk \ Q)55 $
j'(Qk \ Q)j $ M n nn=2
jQk j < M n nn=2 ":
k=1
k=1
k=1
Entonces la serie
1
P
k=1
Rn
m!1
5
5
m
5
5
P
5f '
fk 55 = 0:
5
n
k=1
245
Demostracin: Sean
gm :=
m
P
k=1
Como gm es integrable y
Z
jfk j
gm =
Rn
m
P
k=1
1
P
g :=
k=1
Rn
jfk j $
1
P
k=1
jfk j = sup gm :
m2N
Rn
jfk j < 1;
el teorema de convergencia montona de Levi (Teorema 11.16) asegura que g es integrable. Por la Proposicin 11.10, existe un subconjunto nulo Z de Rn tal que
g(x) :=
1
P
k=1
Entonces
m
P
k=1
1
P
k=1
8x 2 Rn r Z:
5
5
m
5P
5
5 fk (x)5 $ g(x) 8x 2 Rn r Z; 8m 2 N.
5
5
k=1
k=1
c.d. en Rn y
5
5
5m
5
m
5
5
5P
5
P
5f (x) '
5 $ jf (x)j + 5 fk (x)5 $ jf (x)j + g(x) 8x 2 Rn r Z; 8m 2 N,
f
(x)
k
5
5
5
5
k=1
k=1
Rn
k=1
246
Teorema 11.35 (de cambio de variable) Sean " y "0 subconjuntos abiertos de Rn
y ' : " ! "0 un difeomorsmo de clase C 1 . Entonces, f 2 L("0 ) si y slo si (f 8
') jdet D'j 2 L(") y, en tal caso, se cumple que
Z
Z
f ('(x)) jdet D'(x)j dx =
f (y)dy:
00
Demostracin: Sea f 2 L("0 ): Por la Proposicin 11.32 existe una sucesin (fk ) en
tal que
Z
l+2m
jf ' fk j = 0:
(11.11)
Cc0 ("0 )
k!1
Remplazando a (fk ) por una subsucesin, podemos suponer adems que existe un subconjunto nulo Z de Rn tal que
8y 2 "0 r Z
fk (y) ! f (y)
(Proposicin 11.13). Denotemos por
gk := (fk 8 ') jdet D'j
y, por el Lema 11.33, '&1 (Z) es nulo. El Teorema 9.25 asegura que
Z
Z
Z
gk = (fk 8 ') jdet D'j =
fk ;
0
00
y que
Z
jgk ' gj j =
$
Z0
00
00
jfk ' fj j
00
De (11.11) se sigue que existen k1 < ( ( ( < kj < kj+1 < ( ( ( tales que
Z
1
jfk ' f j < j+1 8k % kj :
2
00
Por tanto,
5
5gk
j+1
5
1
' gkj 5 < j
2
(11.12)
y, en consecuencia,
1
P
j=0
m
P
j=0
g(x) =
5
5gk
247
j+1
5
' gkj 5 < 1;
j=0
m!1
m!1
00
00
Ejemplo 11.36 (coordenadas polares) Sea ' : [0; 1) ! [0; 2H] ! R2 la funcin
'(r; ]) := (r cos ]; r sin ]): Entonces f 2 L(R2 ) si y slo si la funcin (r; ]) 7! rf ('(r; ]))
es integrable en [0; 1) ! [0; 2H] y, en ese caso,
Z
f (x; y)dxdy =
R2
2@
Demostracin: Sean " := (0; 1) ! (0; 2H) y "0 := R2 r f(x; 0) : x % 0g: La funcin
' : " ! "0 es un difeomorsmo de clase C 1 y jdet D'(r; ])j = r: Por el Teorema 11.35,
f 2 L("0 ) si y slo si (r; ]) 7! rf ('(r; ])) es integrable en "; y
Z
Z
f (x; y)dxdy =
f (r cos ]; r sin ])rdrd]:
0
00
248
Como ([0; 1) ! [0; 2H]) r " = @" y R2 r "0 = f(x; 0) : x % 0g son subconjuntos
nulos de R2 ; conclumos que f 2 L(R2 ) si y slo si (r; ]) 7! rf ('(r; ])) es integrable en
[0; 1) ! [0; 2H] y
Z
Z
f (x; y)dxdy =
f (x; y)dxdy
R2
0
Z
Z 2@ Z 1
=
f (r cos ]; r sin ])rdrd] =
f (r cos ]; r sin ])rdrd];
00
11.6.
Ejercicios
1
T
Ck :
k=1
Ejercicio 11.39 Sea Qn := f(x1 ; :::; xn ) 2 Rn : xi 2 Q 8i = 1; :::; ng: Para cada " > 0;
da de manera explcita un subconjunto abierto integrable " de Rn tal que Qn 6 " y
j"j < ":
11.6. EJERCICIOS
249
k=1
Ejercicio 11.42 (a) Prueba que, si 1 $ m < n, X es una unin numerable de subconjuntos compactos de Rn&m y f : X ! Rm es una funcin continua, entonces la
grca de f;
gr(f ) := f(x; y) 2 Rn : x 2 X, y = f (x)g;
es un subconjunto nulo de Rn :
(b) Prueba que, si " es abierto en Rn&m y f : " ! Rm es continua, entonces la grca
de f es un subconjunto nulo de Rn :
(c) Prueba que todo subespacio vectorial propio de Rn es nulo.
Ejercicio 11.43 Prueba que toda subvariedad M de Rn (Denicin 8.24) es un subconjunto nulo de Rn : (Sugerencia: Usa el teorema de la funcin implcita.)
Ejercicio 11.44 Prueba que, si " es un subconjunto abierto de Rn , ' : " ! Rm es de
clase C 1 y m > n; entonces '(") es un subconjunto nulo de Rm .
Ejercicio 11.45 Prueba que, si " es un subconjunto abierto de Rn , ' : " ! Rn es de
clase C 1 y
K := fx 2 " : det D'(x) = 0g
es el conjunto de puntos crticos de '; entonces '(K) es un subconjunto nulo de
Rn .
X1
X2
250
11.6. EJERCICIOS
251
k=1
entonces
1
S
k=1
jXk j < 1;
Xk es un subconjunto integrable de Rn y
51
5
1
5S
5 P
5 Xk 5 $
jXk j :
5
5
k=1
k=1
P1
k=1
k=1
Rn
fk es integrable y
Z
1
X
fk =
Rn k=1
1 Z
X
k=1
fk :
Rn
c.d. en Rn :
es continua en y0 :
252
es diferenciable en (a; b) y
0
F (t) =
Rn
@f
(x; t)dx:
@t
Ejercicio 11.57 Sea f 2 Cc1 (R3 ) (Notacin 9.29): Prueba que la funcin F : R3 ! R,
dada por
Z
f (y)
F (x) :=
dy;
R3 ky ' xk
es de clase C 1 y que
Di F (x) :=
R3
Di f (y)
dy;
ky ' xk
i = 1; 2; 3:
Xj
f=
1
P
j=1
f:
Xk
11.6. EJERCICIOS
253
y calcula
x2i dx =
n
P
i=1
2
B(0;r)
2
B(0;r)
x2j dx;
x2i dx:)
Ejercicio 11.64 Para qu nmeros P > 0 es x 7! (1'kxk2 )&W integrable en Bn (0; 1)?
Calcula la integral
Z
1
2 W dx
kxk<1 (1 ' kxk )
para tales P:
m
Q
1
:
i=1 kx ' ai k
254
Ejercicio 11.66 (coordenadas esfricas) Sea ' : [0; 1) ! [0; H] ! [0; 2H] ! R3 la
funcin '(r; ]; C) := (r sin ] cos C; r sin ] sin C; r cos ]): Entonces f 2 L(R3 ) si y slo si
la funcin (r; ]; C) 7! f ('(r; ]; C))r2 sin C es integrable en [0; 1) ! [0; H] ! [0; 2H] y, en
ese caso,
Z
Z 2@ Z @ Z 1
f (x; y; z)dxdydz =
f (r sin ] cos C; r sin ] sin C; r cos ])r2 sin Cdrd]dC.
R3
Ejercicio 11.67 (coordenadas cilndricas) Enuncia y demuestra el teorema de cambio de variable para el cambio de coordenadas (r; ]; z) 7! (r cos ]; r sin ]; z):
J3 (0; r) :=
Ejercicio 11.68 Usando coordenadas esfricas calcula el volumen de la bola B
3
fx 2 R : kxk $ rg:
Captulo 12
Los espacios Lp
12.1.
j=1
G
H
Demostracin: (a) es consecuencia de la identidad (X r Y )\B n (0; k) = X \ B n (0; k) r
G
H
Y \ B n (0; k) y la Proposicin 10.39.
3
4
(b) Sean k 2 N y Ym := [m
j=1 Xj \ B n (0; k) : Como Ym 6 B n (0; k); se tiene que la
sucesin (jYm j) es acotada. El Corolario 11.18 asegura entonces que
!
1
1 3
1
4
S
S
S
Ym =
Xj \ B n (0; k) =
Xj \ B n (0; k)
m=1
j=1
j=1
es integrable. En consecuencia,
1
S
j=1
1
T
j=1
Xj = Rn r
1
S
j=1
255
(Rn r Xj )
256
conclumos que
1
T
Xj es medible.
j=1
k=1
1
4
4P
jXj =
jX \ Qk j :
3
3 k=1
Esta desigualdad implica que existe k0 2 N tal que jQk0 j < 43 jX \ Qk0 j : Sea M := 12 jQk0 j
y denotemos Y := X \ Qk0 , Y + z := fy + z : y 2 Y g: Probaremos a continuacin que
(Y + z) \ Y 6= ;
8z 2 ('M; M):
(12.1)
3
jQk0 j ;
2
lo cual es imposible, ya que jQk0 j < 43 jY j : En consecuencia, se cumple (12.1), es decir, para cada z 2 ('M; M) existen x; y 2 Y tales que x + z = y: Esto concluye la
demostracin.
257
8
k
>
>
<
f (x)
f[k] (x) :=
'k
>
>
:
0
si
si
si
si
(12.2)
f (x) % k y kxk $ k;
' k $ f (x) $ k y kxk $ k;
f (x) $ 'k y kxk $ k;
kxk > k:
258
259
260
k+1
k2
X
ak;j 1Xk;j
j=1
261
Rm
Gk :
Rn!m
gk $
Rn!m
F <1
8k 2 N:
12.2.
(12.3)
262
(Z
jf j
)1=p
1
S
1
fx 2 " : jf (x)j > kf k1 + g
k
k=1
(12.4)
263
1
p
+ 1q =
kf gk1 $ kf kp kgkq :
Si f 2 L1 (") y g 2 L1 ("); entonces f g 2 L1 (") y
kf gk1 $ kf k1 kgk1 :
Demostracin: Observemos primero que, si f y g son medibles, entonces f g es
medible (Corolario 12.15).
Sean p; q 2 (1; 1) tales que p1 + 1q = 1, f 2 Lp (") y g 2 Lq ("): La armacin es trivial
si f = 0 o si g = 0: Supongamos pues que ambas funciones son distintas de cero. Por
el Lema 12.19, se tiene entonces que kf kp 6= 0 y kgkq 6= 0: Para cada x 2 " denimos
nmeros reales no negativos
ax :=
jf (x)j
kf kp
y bx :=
jg(x)j
:
kgkq
1
1
p
jg(x)jq
p jf (x)j +
p kf kp
q kgkqq
(12.5)
264
jf gj $ kf k1
jgj $ kf k1 kgk1 :
1
1
:= 0: De este
(12.6)
(Z
p&1 q
(jf + gj
)1=q
(Z
(jf + gj
)(p&1)=p
= kf + gkp&1
:
p
Como
p
:
p&1
265
$ kf kp kf +
0
p&1
gkp +
kgkp kf +
0
p&1
gkp =
Si kf + gkp = 0; la desigualdad (12.6) se satisface trivialmente. Si kf + gkp 6= 0, dividiendo la desigualdad anterior entre kf + gkp&1
obtenemos la desigualdad (12.6).
p
Proposicin 12.23 Lp (") = (Lp ("); k(kp ) es un espacio vectorial normado para todo
p 2 [1; 1]:
Demostracin: Ya demostramos que kf kp = 0 si y slo si f = 0 en Lp (") (Lema
12.19).
Si f es medible y 0 2 R, entonces 0f es medible (Corolario 12.13). Como j0f jp =
j0jp jf jp para todo p 2 [1; 1), se tiene que j0f jp es integrable si y, si jf jp lo es. Adems,
0f es esencialmente acotada si f lo es. Por tanto, si f 2 Lp (") y 0 2 R, se cumple que
0f 2 Lp (") y k0f kp = j0j kf kp :
Finalmente, la Proposicin 12.22 asegura que, si f; g 2 Lp ("), entonces f + g 2 Lp (")
y kf + gkp $ kf kp + kgkp :
Probaremos a continuacin que Lp (") es un espacio de Banach. Para ello requerimos
el siguiente resultado.
Teorema 12.24 (de convergencia dominada en Lp ) Sea p 2 [1; 1) y sea (fk ) una
sucesin en Lp (") tal que fk (x) ! f (x) c.d. en ": Si existe g 2 Lp (") tal que
jfk (x)j $ g(x) c.d. en "
entonces f 2 Lp (") y
8k 2 N,
l+2m kf ' fk kp = 0:
k!1
266
1
2j
si i; k % kj :
Entonces,
1
1
X
X
1
1
1
1fk ' fk 1 $
= 1:
j+1
j p
j
2
j=1
j=1
Denimos fk0 := 0;
m
X
5
5
5fk ' fk 5
gm :=
j+1
j
j=0
1
X
5
5
5fk ' fk 5 = sup gm :
g :=
j+1
j
m
X
1
1
1fk ' fk 1
j+1
j p
p
gm
= kgm kpp $
j=0
m2N
j=0
1
Pm 1
1
1
j=0 fkj+1 ' fkj p : En consecuencia,
!p
1
X
1
1
1fk ' fk 1
j+1
j p
j=0
!p
<1
p
y, por el teorema de convergencia montona (Teorema 11.16), se tiene que g p = supm2N gm
es integrable. Por tanto, existe un subconjunto nulo Z de " tal que
1
X
5
5fk
g(x) :=
j=0
1
X
3
j=0
5
5<1
(x)
'
f
(x)
k
j+1
j
4
fkj+1 (x) ' fkj (x) < 1
8x 2 " r Z:
8x 2 " r Z:
Observando que
267
m
X
3
j=0
4
fkj+1 (x) ' fkj (x) = fkm (x);
tenemos que fkm (x) ! f (x) y jfkm (x)j $ gm (x) $ g(x) c.d. en ": Del Teorema 12.24,
se sigue que f 2 Lp (") y
1
1
l+2m 1f ' fkj 1p = 0;
j!1
kfi ' fk k1 $
8i; k % kj :
8x 2 " r Zj ; 8i; k % kj :
(12.7)
Sea Z := [1
j=1 Zj . Entonces, Z es nulo y (fk (x)) es una sucesin de Cauchy en R para
cada x 2 " r Z: En consecuencia, para cada x 2 " r Z; existe f (x) 2 R tal que
fk (x) ! f (x) en R. Denimos f (x) = 0 si x 2 Z: Haciendo tender i a innito en la
desigualdad (12.7), obtenemos que
jf (x) ' fk (x)j $
1
j
8x 2 " r Zj ; 8k % kj :
1
j
8k % kj :
(12.8)
Como f = (f ' fk1 ) + fk1 ; conclumos que f 2 L1 ("); y se sigue de (12.8) que fk ! f
en L1 ("):
Queremos ahora comparar los espacios Lr (") y Lp ("): Una consecuencia importante
de la desigualdad de Hlder es la siguiente.
Corolario 12.26 Si j"j < 1; entonces Lp (") 6 Lr (") para todo r 2 [1; p] y
p!r
268
k10 k
p
p!r
(Z
10
) p!r
p
= j"j
p!r
p
kjf j k p =
(Z
jf j
) pr
= kf krp :
10 jf jr $ k10 k
p
p!r
kjf jr k p = j"j
r
p!r
p
kf krp ;
Ejemplo 12.27 Sean " := Bn (0; 1); p 2 [1; 1) y f (x) := kxk&n=p : Entonces f 2
Lr (") si r 2 [1; p) y f 2
= Lr (") si r 2 [p; 1]:
Demostracin: Del Ejemplo 11.28 se sigue que, para r 2 [1; 1); la funcin x 7!
kxk&n=p pertenece a Lr (") si y slo si ' np r + n = np (p ' r) > 0: Por tanto, f 2 Lr (")
si r < p y f 2
= Lr (") si r > p: Como kxk&n=p > c para todo x 2 Bn (0; c&p=n ) con c > 0;
se tiene que f 2
= L1 ("):
Si j"j = 1 las armaciones del Corolario 12.26 no son ciertas. Veamos un ejemplo.
Jn (0; 1); p 2 [1; 1) y f (x) := kxk&n=p : Entonces
Ejemplo 12.28 Sean " := Rn r B
f2
= Lr (") si si r 2 [1; p] y f 2 Lr (") si r 2 (p; 1]:
Demostracin: Del Ejemplo 11.28 se sigue que, para r 2 [1; 1); la funcin x 7!
kxk&n=p pertenece a Lr (") si y slo si ' np r + n = np (p ' r) < 0: Por tanto, f 2
= Lr (")
W
si si r 2 [1; p] y f 2 Lr (") si r > p: Como supx20 kxk = 1 si P $ 0; se tiene que
f 2 L1 ("):
269
Teorema 12.29 Sea (fk ) una sucesin en Lp (") tal que fk ! f en Lp ("):
(a) Si p 2 [1; 1), entonces existe una subsucesin (fkj ) de (fk ) tal que fkj (x) ! f (x)
c.d. en ":
(b) Si p = 1; entonces fk (x) ! f (x) c.d. en ":
Demostracin: (a) Si p 2 [1; 1) y
l+2m kf '
k!1
fk kpp
= l+2m
k!1
jf ' fk jp = 0;
entonces
la Proposicin
11.13 asegura que existe una subsucesin (fkj ) de (fk ) tal que
5
5
5f (x) ' fk (x)5p ! 0 c.d. en ": En consecuencia, fk (x) ! f (x) c.d. en ":
j
j
(b) Supongamos que l+2mk!1 kf ' fk k1 = 0: Existe un conjunto nulo Z tal que
jf (x) ' fk (x)j $ kf ' fk k1
8x 2 " r Z; 8k 2 N:
12.3.
Proposicin 12.30 Cc0 (") es denso en Lp (") para todo p 2 [1; 1): Es decir, dadas
f 2 Lp (") y " > 0; existe g 2 Cc0 (") tal que
kf ' gkp < ":
Demostracin: Supongamos primero que f % 0: Como f es medible, la funcin
f[k] = m+2nff; kg1B n (0;k) ; denida en (12.2), es integrable para cada k 2 N. Dado que
5
5
5
5
5
5
5f ' f[k] 5p es medible y que 5f ' f[k] 5p $ jf jp , el Teorema 12.9 asegura que 5f ' f[k] 5p
es integrable y del teorema de convergencia dominada (Teorema 11.22) se sigue que
1
1
l+2m 1f ' f[k] 1p = 0:
k!1
1
1
1f ' f[k] 1 < " :
(12.9)
p
2
es integrable, la Proposicin 11.32 asegura que existe h 2 Cc0 (") tal que
Z
p
5
5
5f[k] ' h5 < " :
2p k p&1
0
270
Sea g := m+
g 2 Cc0 (") y 0 $ g $ k: Como 0 $ f[k] $ k; se
5 2nfm+axfh;
5 50g; kg: Entonces
5
tiene que 5f[k] ' g 5 $ 5f[k] ' h5 : Por tanto,
Z
Z
p
5
5
5
5
5f[k] ' g 5 $
5f[k] ' h5 < " :
2p k p&1
0
0
5
5
5
5p
5
5
Se tiene adems que 5f[k] ' g 5 $ k. En consecuencia, 5f[k] ' g 5 $ k p&1 5f[k] ' g 5 y, por
tanto,
Z
Z
p
1
1
5
5
5
5
1f[k] ' g 1p =
5f[k] ' g 5p $ k p&1 5f[k] ' g 5 < " :
(12.10)
p
2p
0
0
De las desigualdades (12.9) y (12.10) se sigue que kf ' gkp < ":
Si f 2 Lp (") es una funcin arbitraria la escribimos como f = f + ' f & con
f + := m+axf0; f g y f & := m+axf0; 'f g:
p
Estas funciones son medibles y cumplen que jf : j $ jf jp : Del Teorema 12.9 se sigue
que f + ; f & 2 Lp ("): Como f + % 0 y f & % 0 existen g1 ; g2 2 Cc0 (") tales que
1 +
1
1f ' g1 1 < "
p
2
1 &
1
1f ' g2 1 < " :
p
2
8g 2 Cc0 ("):
271
Nota que L1loc (") es el conjunto de clases de equivalencia de funciones en Lloc (") bajo
la relacin (12.3). Observa adems que
Lp (") 6 L1loc (")
8p 2 [1; 1]:
Rn
Rn
Rn
Rn
Rn
272
que
j(f N g)(x)j $
$
Rn
kf k1=q
1
(Z
Rn
Rn
p
p
= kf k1=q
1 [(jf j N jgj ) (x)]
)1=p
8x 2 Rn :
Por tanto,
p
j(f N g)(x)jp $ kf kp=q
1 (jf j N jgj ) (x)
8x 2 Rn :
Rn
kf N gkp $ kf k1 kgkp ;
8k 2 N:
8y 2 Rn ; 8k 2 N:
k!1
Rn
Rn
273
(12.12)
Por otra parte, aplicando el teorema del valor medio a la funcin s 7! f (x + stei ' y)
para cada t 2 ['M; M] y cada y 2 Rn ; conclumos que existe s 2 (0; 1) tal que
f (x + tei ' y) ' f (x ' y) = t
@f
(x + stei ' y):
@xi
En consecuencia,
5
(
) 5
5 (f N g)(x + tei ) ' (f N g)(x)
5
@f
5
5
'
N
g
(x)
5
5
t
@xi
5Z (
5
)
5
5
f (x + tei ' y) ' f (x ' y)
@f
5
= 5
'
(x ' y) g(y)dy 55
t
@xi
n
5
ZR5
5 f (x + tei ' y) ' f (x ' y)
5
@f
5
5 jg(y)j dy
$
'
(x
'
y)
5
5
t
@x
n
i
R
Z
< "
jg1! j
80 < jtj < M:
Rn
(12.13)
274
)
@f
N g (x):
@xi
@
(f
@xi
8i = 1; :::; n:
N g) es continua.
3R
Rn
4&1
exp
1
kxk2 &1
si kxk < 1;
si kxk % 1;
: Denimos
hk (x) := Ck n h(kx):
k!1
8p 2 [1; 1]:
275
1
k
=)
hk (x ' y)g(y) = 0 8y 2 Rn :
!
6
1
n
sop(hk N g) 6 x 2 R : dist(x; sop(g)) $
:
k
"
j!j1=p
Por tanto, si k %
1
9
se tiene que
Z
j(hk N g)(x) ' g(x)j $
Bn (0; k1 )
"
1=p
j!j
8x 2 Rn ;
"p
j!j = "p :
p
2 j!j
Por tanto,
k(hk N g) ' gk1 <
Esto demuestra la armacin.
"
j!j1=p
8k % k1 :
276
Teorema 12.40 Cc1 (") es denso en Lp (") para todo p 2 [1; 1):
Demostracin: Sean p 2 [1; 1); f 2 Lp (") y " > 0: Por la Proposicin 12.30 existe
g 2 Cc0 (") tal que kf ' gkp < 2" ; y la Proposicin 12.39 asegura que existe k 2 N tal
que hk N g 2 Cc1 (") y k(hk N g) ' gkp < 2" : Por tanto, k(hk N g) ' f kp < ":
Si " = Rn se tiene un resultado ms preciso.
Teorema 12.41 Si p 2 [1; 1) entonces, para toda f 2 Lp (Rn ) y toda sucesin regularizante (hk ), se cumple que
hk N f ! f
en Lp (Rn ):
Demostracin: Sea " > 0: Por la Proposicin 12.30 existe g 2 Cc0 (Rn ) tal que
kf ' gkp < 3" ; y por la Proposicin 12.39 existe k0 2 N tal que k(hk N g) ' gkp < 3" para
todo k % k0 : La Proposicin 12.33 asegura entonces que
"
k(hk N f ) ' (hk N g)kp = khk N (f ' g)kp $ khk k1 kf ' gkp = kf ' gkp < :
3
En consecuencia,
k(hk N f ) ' f kp $ k(hk N f ) ' (hk N g)kp + k(hk N g) ' gkp + kg ' f kp < "
para todo k % k0 :
Conclumos este captulo con un resultado que ser til ms adelante. Requerimos
el siguente lema.
Lema 12.42 Sean K un subconjunto compacto de Rn y M > 0: Entonces existe k 2
Cc1 (Rn ) tal que 0 $ k(x) $ 1 para todo x 2 Rn ; k(x) = 1 para todo x 2 K y k(x) = 0
si dist(x; K) % M:
Demostracin: Sean K 0 := fx 2 Rn : dist(x; K) $ 39 g y A := fx 2 Rn : dist(x; K) %
29
g: La funcin
3
dist(x; A)
f (x) :=
dist(x; A) + dist(x; K 0 )
est bien denida y usando el Ejercicio 3.40 es fcil ver que es continua. Claramente
satisface 0 $ f (x) $ 1 para todo x 2 Rn ; f (x) = 1 para todo x 2 K 0 y f (x) = 0 para
todo x 2 A: En particular, sop(f ) 6 fx 2 Rn : dist(x; K) $ 293 g.
Tomemos
k 2 N tal que k1 < 39 y hk 2 Cc1 (Rn ) tal que hk % 0; sop(hk ) 6 Bn (0; k1 ) y
R
h = 1: Entonces k := hk N f 2 Cc1 (Rn ) tiene las propiedades deseadas.
Rn k
277
Por el Lema 12.42 existen k i 2 Cc1 (Rn ) tales que 0 $ k i (x) $ 1 si x 2 Rn ; k i (x) = 1
si x 2 Ki y k i (x) = 0 si dist(x; Ki ) % M; i = 1; 2: Denimos ' := k 1 ' k 2 : Entonces
' 2 Cc1 (") y satisface
'1 $ '(x) $ 1 8x 2 Rn ;
'(x) = 1 8x 2 K1 ;
'(x) = '1 8x 2 K2 :
0rK
0rK
0rK
0rK
0rK
jgj :
En consecuencia,
kf k1 $ kf ' gk1 + kgk1 $ 2(1 + j" r Kj)"
8" > 0:
278
12.4.
Ejercicios
Ejercicio 12.45 Prueba que, si X es un subconjunto medible de Rm y Y es un subconjunto medible de Rn ; entonces X ! Y es un subconjunto medible de Rm+n :
Ejercicio 12.46 D si las siguientes armaciones son verdaderas o falsas. Justica tu
armacin.
(a) Toda funcin medible pertenece a Lloc (Rn ):
(b) Si f : Rn ! R [ fF1g es medible, entonces f (x) 2 R c.d. en Rn :
Ejercicio 12.47 Prueba que, si fk : Rn ! R [ fF1g es una sucesin de funciones
medibles, entonces
sup fk ;
k2N
+2nf fk ;
k2N
l+2m sup fk ;
k!1
l+2m inf fk ;
k!1
son medibles.
Ejercicio 12.48 Prueba que son equivalentes las siguientes armaciones.
(a) f : Rn ! R [ fF1g es medible.
(b) f "a := fx 2 Rn : f (x) % ag es un subconjunto medible de Rn para todo a 2 R:
(c) f <a := fx 2 Rn : f (x) < ag es un subconjunto medible de Rn para todo a 2 R:
(d) f %a := fx 2 Rn : f (x) $ ag es un subconjunto medible de Rn para todo a 2 R:
(e) f >a := fx 2 Rn : f (x) > ag es un subconjunto medible de Rn para todo a 2 R:
12.4. EJERCICIOS
279
Rn
f=
F:
280
8f 2 Cb0 ("):
Ejercicio 12.57 Sea ! es un subconjunto abierto de " y p 2 [1; 1]: Demuestra las
siguientes armaciones.
(a) Si f 2 Lp ("); entonces f j00 2 Lp (!) y
kf j! kLp (!) $ kf kLp (0) :
(b) Si f 2 Lp (") y j!j < 1; entonces f j! 2 Lr (!) para todo r 2 [1; p]:
(c) Si fk ! f en Lp (") y j!j < 1; entonces fk j! ! f j! en Lr (!) para todo r 2 [1; p]:
Ejercicio 12.58 (Desigualdad de interpolacin) Sean 1 $ p < s < r $ 1: Prueba que, si f 2 Lp (") \ Lr ("); entonces f 2 Ls (") y se cumple que
kf ks $ kf k1&7
kf k7r ,
p
donde A 2 (0; 1) satisface que
1
s
1&7
p
7
r
si r < 1 y A := 1 '
p
s
si r = 1:
kf k1 = l+2m j"j& p kf kp :
p!1
12.4. EJERCICIOS
281
g g : L (") ! R;
1
p
1
q
g g (f ) :=
f g:
O(g) := g g ;
8g 2 Lq ("):
entonces f = 0 en L2 ("):
(b) Si f 2 C 0 (") satisface
f' = 0
entonces f = 0:
1
Consulta, por ejemplo, el libro de Haim Brezis, Anlisis Funcional, Alianza Editorial, Madrid 1984,
Teorema IV.11.
282
Rn
f Ng =
f (x)g(y)dxdy =
R2n
(Z
Rn
) (Z
Rn
g :
Captulo 13
Espacios de Hilbert
13.1.
hv; vi:
(13.1)
8v; w 2 V:
8v; w 2 V:
8v; w 2 V:
284
4
13
kv + wk2 ' kv ' wk2 :
4
(13.2)
k!1
8v 2 V:
285
es un espacio de Hilbert.
(b) Sea `2 el espacio de todas las sucesiones x = (xk ) de nmeros reales tales que la
serie
1
P
jxk j2
k=1
hx; yi`2 :=
1
P
xk yk
k=1
f; g 2 L2 (");
f g;
es un espacio de Hilbert.
(d) Suma directa de espacios de Hilbert. Si Hi es un espacio de Hilbert con producto
escalar h(; (ii ; i = 1; 2; entonces
h(v1 ; v2 ); (w1 ; w2 )i := hv1 ; w1 i1 + hv2 ; w2 i2 ;
(v1 ; v2 ); (w1 ; w2 ) 2 H1 Q H2
286
Demostracin: Sea f 2 L2 (")rCc0 ("): Por la Proposicin 12.30, existe una sucesin
(gk ) en Cc0 (") tal que gk ! f en L2 ("): Entonces, (gk ) es una sucesin de Cauchy en
Cc0 (") que no converge en Cc0 ("):
Recordemos que un subespacio A de un espacio mtrico completo X es completo
si y slo si A es cerrado en X. El siguiente resultado es consecuencia inmediata de la
Proposicin 4.9.
Corolario 13.8 Un subespacio vectorial F de un espacio de Hilbert H es un espacio
de Hilbert si y slo si F es cerrado en H:
13.2.
Ortogonalidad
Sea H un espacio de Hilbert con producto escalar h(; (i : Decimos que v; w 2 H son
ortogonales si hv; wi = 0:
Denicin 13.9 Si V es un subespacio vectorial de H; el complemento ortogonal
de V en H se dene como
V ? := fw 2 H : hv; wi = 0 8v 2 V g :
El complemento ortogonal tiene las siguientes propiedades.
3 4?
Proposicin 13.10 (a) V 6 V ? :
(b) V ? es un subespacio vectorial cerrado de H:
Demostracin: (a) es obvia.
(b) Es claro que V ? es subespacio vectorial de H. Del Corolario 13.4 se sigue que, si
(wk ) es una sucesin en V ? que converge a w en H; entonces
hv; wi = l+2m hv; wk i = 0
k!1
8v 2 V:
13.2. ORTOGONALIDAD
287
()
(13.3)
288
Sea (vk ) una sucesin en F tal que l+2mk!1 ku ' vk k = d: Veamos que (vk ) es una
sucesin de Cauchy. Dada " > 0 elegimos k0 2 N tal que
ku ' vk k2 < d2 +
Como
1
2
"
4
8k % k0 :
1
1
1 vk + vj
1
1
kvk + vj ' 2uk = 2 1
' u1
1 % 2d:
2
kv ' v 0 k = 2(kv ' uk2 + kv 0 ' uk ) ' kv + v 0 ' 2uk $ 4d2 ' 4d2 = 0:
Por tanto, v 0 = v:
13.2. ORTOGONALIDAD
289
(13.5)
(13.6)
En particular,
kPF uk $ kuk
8u 2 H;
(13.7)
kPF uk
kPF vk
$ kPF kL(H;F ) := sup
$ 1:
kvk
u2Hrf0g kuk
g w u := hw; ui :
290
Las propiedades (PE1) y (PE2) aseguran que g w es una funcin lineal y, por el Corolario
13.4, g w es una funcin continua. Consideremos la funcin
O : H ! L(H; R);
O(w) := g w :
8u 2 H:
(13.8)
(13.9)
u 0 ' PF u 0
ku0 ' PF u0 k
w := g (w0 ) w0 :
V(u)
w
V(w0 ) 0
X
Y
g (u)
g (u)
hw; ui = w; u '
w0 +
hw; w0 i = g (u) hw0 ; w0 i = g (u)
g (w0 )
g (w0 )
8u 2 H:
13.2. ORTOGONALIDAD
291
(ii) Sean g 2 L(H; R) y w 2 H tal que g(u) = hw; ui para todo u 2 H: La desigualdad
de Cauchy-Schwarz asegura que
jg (u)j = jhw; uij $ kwk kuk :
Por tanto,
kwk =
jg (w)j
jg (u)j
$ sup
$ kwk :
kwk
u2Hrf0g kuk
1
kuk2 ' g(u):
2
1
1
kwk2 + hw; ui t + kuk2 t2 ' g(w) ' g(u)t:
2
2
292
kuk = 1
8u 2 O;
13.3.
Convergencia dbil
293
Es sencillo comprobar que el lmite dbil de una sucesin, de existir, es nico [Ejercicio 13.43].
Notacin 13.20 Cuando la notacin anterior se pueda prestar a confusin, si (uk )
converge dbilmente a u en H escribiremos
uk * u dbilmente en H;
y si (uk ) converge a u en H en el sentido usual escribiremos
uk ! u fuertemente en H
Proposicin 13.21 Si uk ! u fuertemente en H; entonces uk * u dbilmente en H:
Demostracin: Si uk ! u fuertemente en H entonces la Proposicin 13.4 asegura
que
l+2m huk ; vi = hu; vi
8v 2 H;
k!1
es decir, uk * u dbilmente en H:
Si dim H < 1 y uk * u dbilmente en H; entonces uk ! u fuertemente en H
[Ejercicio 13.44]. Esta armacin no es vlida si dim H = 1:
Ejemplo 13.22 Si O = fek : k 2 Ng es un subconjunto ortonormal de H; entonces
ek * 0 dbilmente en H y (ek ) no converge fuertemente en H:
Demostracin: Sea v 2 H: Si v =
k > m: Por tanto,
m
P
i=1
l+2m hek ; vi = 0
k!1
8v 2 lin(O):
"
2
"
8k % k0 :
2
k!1
8v 2 F:
294
(13.10)
huk ; ui
huk ; ui
= l+2m inf
$ l+2m inf kuk k :
k!1 kuk
k!1
k!1
kuk
kuk = l+2m
(13.12)
k!1
k!1
295
Proposicin 13.24 Sea (uk ) una sucesin acotada en H tal que la sucesin (huk ; vi)
converge en R para todo v 2 H: Entonces existe u 2 H tal que uk * u dbilmente en
H:
Demostracin: La funcin g : H ! R dada por
g(v) := l+2m huk ; vi
k!1
8v 2 H:
Por tanto,
jg(v)j = l+2m jhuk ; vij $ c kvk
k!1
8v 2 H:
296
Tomemos
z 2 V : Para cada " > 0 existen v 2 V tal que kz ' vk <
5Z ahora
[5
j
k
5
tal que uk ' uj ; v 5 < 2" si k; j % k0 : En consecuencia,
"
4c
y k0 2 N
5Z k
5Z
[5
[5 5Z
[5
5 uk ' uj ; z 5 $ 5 ukk ' uj ; z ' v 5 + 5 ukk ' uj ; v 5
j
j
j
1
1
5Z
[5
$ 1ukk ' ujj 1 kz ' vk + 5 ukk ' ujj ; v 5
"
"
si k; j % k0 :
< 2c + = "
4c 2
Z
[
Es decir, para cada z 2 V ; la sucesin ( ukk ; z ) es de Cauchy en R y, por tanto, converge.
Finalmente, sea w 2 H: Como V es cerrado en H se tiene que w = z + y con z 2 V y
?
y 2 V : Por tanto,
Z k [ Z k [ Z k [ Z k [
uk ; w = uk ; z + uk ; y = u k ; z
Z
[
y, en consecuencia, la sucesin ( ukk ; w ) converge para todo w 2 H: De la Proposicin
13.24 se sigue que (ukk ) converge dbilmente en H:
1
S
Xm :
(13.13)
m=1
13.4. EJERCICIOS
297
M
kuk k =
2
X
Y 5X
Y5
5
M uk
M uk 55
5
uk ;
$ 5 uk ; w0 +
+ jhuk ; w0 ij $ 2m0
2 kuk k
2 kuk k 5
8k 2 N
13.4.
Ejercicios
Ejercicio 13.27 Es
hf; gi :=
un producto escalar en C 0 [0; 1]?
1=2
fg
Ejercicio 13.28 Demuestra que, si k(k es la norma inducida por un producto escalar
en V; entonces
kv + wk2 + kv ' wk2 = 2(kvk2 + kwk2 )
8v; w 2 V:
Ejercicio 13.29 Sea (V; k(k) un espacio vectorial normado. Prueba que, si la norma
cumple la ley del paralelogramo
kv + wk2 + kv ' wk2 = 2(kvk2 + kwk2 )
8v; w 2 V;
entonces
4
13
kv + wk2 ' kv ' wk2
4
es un producto escalar en V tal que kvk2 = hv; vi para todo v 2 V: (Sugerencia: Para
probar que h0v; wi = 0 hv; wi demustralo primero para 0 2 Q y usa la continuidad
para demostrarlo para 0 2 R:)
hv; wi :=
Ejercicio 13.30 Sea Vi un espacio vectorial con producto escalar h(; (ii ; i = 1; 2: Prueba
que, si D : V1 ! V2 es una isometra, entonces
hDv; Dwi2 = hv; wi1
8v; w 2 H1 :
298
Ejercicio 13.31 Demuestra que las normas de los siguientes espacios no estn inducidas por ningn producto escalar.
(a) Rnp = (Rn ; k(kp ) con p 2 [1; 1]; p 6= 2; donde
k(x1 ; :::; xn )kp := (jx1 jp + ( ( ( + jxn jp )
1=p
1
P
xk yk
k=1
Ejercicio 13.37 (el gradiente de una funcin diferenciable) Sean U un subconjunto abierto de H, ' : U ! R una funcin diferenciable y u 2 U . Denimos el
gradiente de ' en u como el nico r'(u) 2 H tal que
D'(u)v = hr'(u); vi
8v 2 H:
13.4. EJERCICIOS
299
u 7! r'(u);
es continua.
(b) Sea C : H ! R la funcin dada por C(u) := kuk2 . Calcula rC(u) para todo u 2 H
y prueba que C es de clase C 1 .
Se dice que k 2 R es un valor regular de ' si r'(u) 6= 0 para todo u 2 '&1 (k): En
ese caso, se dice que M := '&1 (k) es una subvariedad de H: El espacio tangente a
M en el punto u 2 M es el espacio Tu M ortogonal a r'(u); es decir,
Tu M := fv 2 H : hr'(u); vi = 0g:
(c) Prueba que la esfera unitaria
K := fu 2 H : kuk = 1g
es una subvariedad de H y que
Tu K = fv 2 H : hu; vi = 0g:
(d) Sean M una subvariedad de H y Fu (M ) el conjunto de todas las funciones Z :
('"; ") ! H de clase C 1 con " > 0 que cumplen Z(0) = u y Z(t) 2 M para todo
t 2 ('"; "): Prueba que
Tu M = fZ 0 (0) : Z 2 Fu (M )g:
Si M es una subvariedad de H y : U ! R es una funcin de clase C 1 ; se dice que
u 2 M es un punto crtico de en M si
hr (u); vi = 0
8v 2 Tu M:
en M :=
r (u) = 0r'(u):
(f) Prueba que, si u es un mnimo o un mximo local de
entonces u es un punto crtico de en M:
en M (Denicin 8.27),
300
k=1
hu; ek i ek := l+2m
m
P
m!1 k=1
hu; ek i ek = u
8u 2 H:
ai 2 R; m 2 N [ f0g:
Prueba que P['1; 1] es denso en L2 ('1; 1): (Sugerencia: Usa el Corolario 7.3.)
(b) Sea
ek (x) :=
1
k+
2
)1=2
Pk (x)
1
con Pk (x) := k
2 k!
d
dx
)k
1
e2m (x) := p sin mx;
H
1
e2m+1 (x) := p cos mx:
H
&@
13.4. EJERCICIOS
301
Rn
g 2 = 1: Para cada
(a) Prueba que gk * 0 dbilmente en L2 (Rn ) y que (gk ) no converge en L2 (Rn ): (Sugerencia: Demuestra que fgk : k 2 Ng es un subconjunto ortonormal de L2 3R
(Rn ):) 4
(b) Sea hk := kgk : Da explcitamente una funcin f 2 L2 (Rn ) tal que Rn f hk no
converge.
Ejercicio 13.48 Decimos que un subconjunto A de H es dbilmente cerrado en H
si para toda sucesin (uk ) en A tal que uk * u dbilmente en H se cumple que u 2 A:
(a) Prueba que, si A es dbilmente cerrado en H, entonces A es cerrado en H:
(b) Prueba que la esfera unitaria
K := fu 2 `2 : kuk`2 = 1g
es cerrada pero no es dbilmente cerrada en `2 :
(c) Prueba que todo subespacio vectorial cerrado F de un espacio de Hilbert H es dbilmente cerrado.
302
cerrado en H:
Captulo 14
Principios variacionales y
ecuaciones en derivadas parciales
14.1.
Derivadas dbiles
8i = 1; :::; n:
304
@u
@xi
8i = 1; ( ( ( ; n:
305
(Du)';
&1
&1
&1
&1
(D1(&1;0) )' =
&1
1(&1;0) ' =
&1
&1
= 0 si kxk $
1
k
k (x)
= 1 si kxk %
2
:
k
306
Se tiene que u
(14.2)
Sea ' 2 Cc1 ("): Como u es integrable en " si P + n > 0 (Ejemplo 11.28), las5 funciones
5
5
@'
@'
@'
@'
@' 5
u
y u @xi son integrables en ": Dado que u k @xi ! u @xi c.d. en " y 5u k @xi 5 $
5 k @x5 i
5 @' 5
5u @xi 5 para todo k 2 N c.d. en "; el teorema de convergencia dominada (Teorema 11.22)
asegura que
Z
Z
@'
@'
l+2m
u k
=
u
:
(14.3)
k!1 0
@xi
0 @xi
Observa que
@u
(x) = P kxkW&2 xi si x 6= 0:
@xi
5
5
5 @u
5
@u
Por tanto, 5 @xi (x)5 $ P kxkW&1 : Del Ejemplo 11.28 y el Teorema 12.9 se sigue que @x
es
i
integrable en "; si P +n > 1: Entonces, aplicando como antes el teorema de convergencia
dominada conclumos que
Z
Z
@u
@u
l+2m
':
(14.4)
k' =
k!1 0 @xi
0 @xi
Por ltimo, como
@ k
(x)
@xi
@
= k @x
(kx); se tiene que
i
1
1
1
1
1@ k 1
1@ 1
1
1
1
1
1 @xi 1 $ k 1 @xi 1 :
1
1
307
8i = 1; :::; N:
@'
(0u + Fv)
='
@xi
0
@k
u + kDi u:
@xi
Demostracin: Sea ' 2 Cc1 (Rn ). Entonces k' 2 Cc1 (") y, en consecuencia,
)
Z
Z
Z (
@'
@'
@(k')
@k
ku
=
uk
=
u
''
@xi
@xi
@xi
@xi
Rn
0
0
)
Z
Z
Z (
@k
@k
= ' Di u(k') ' u'
='
kDi u + u
'
@xi
@xi
0
0
0
)
Z (
@k
= '
kDi u + u
':
@xi
Rn
308
14.2.
Espacios de Sobolev
Denicin 14.9 Sea p 2 [1; 1]: El espacio de Sobolev W 1;p (") se dene como
W 1;p (") := fu 2 Lp (") : u es dbilmente diferenciable y Di u 2 Lp (") 8i = 1; : : : ; ng:
Si u; v 2 W 1;p ("); denimos
M
N1=p
p
p
p
kukW 1;p (0) : = kukp + kD1 ukp + ( ( ( + kDn ukp
si p 2 [1; 1);
Proposicin 14.10 W 1;p (") es un espacio vectorial y k(kW 1;p (0) es una norma en
W 1;p (") para todo p 2 [1; 1]:
Demostracin: Como Lp (") es un espacio vectorial, de la Proposicin 14.7 se sigue
que W 1;p (") es un espacio vectorial.
Probemos ahora que k(kW 1;p (0) es una norma. Sea u 2 W 1;p ("): Si u = 0 entonces
Di u = 0 para todo i = 1; :::; n y, en consecuencia, kukW 1;p (0) = 0: Inversamente, como kukp $ kukW 1;p (0) ; si kukW 1;p (0) = 0 se tiene que u = 0 en Lp ("): Claramente,
k0ukW 1;p (0) = 0 kukW 1;p (0) para todo u 2 W 1;p ("); 0 2 R: Finalmente, aplicando
primero la desigualdad de Minkowski en Lp (") (Proposicin 12.22) y luego la desigualdad de Minkowski en Rn+1 (Proposicin 1.17) obtenemos que, para p 2 [1; 1) y
u; v 2 W 1;p (");
(
)1=p
n
P
p
p
ku + vkW 1;p (0) =
ku + vkp +
kDi u + Di vkp
$
$
(M
(
i=1
kukp + kvkp
kukpp
n
P
i=1
Np
kDi ukpp
n M
P
i=1
)1=p
kvkpp
n
P
i=1
Np )1=p
kDi vkpp
)1=p
309
Lema 14.11 Sean p 2 [1; 1] y (uk ) una sucesin en W 1;p (") tal que uk ! u en Lp (")
y Di uk ! vi en Lp (") para cada i = 1; :::; n: Entonces u es dbilmente diferenciable en
", vi = Di u para todo i = 1; :::; n; y uk ! u en W 1;p ("):
@'
Demostracin: Sea ' 2 Cc1 ("): Entonces '; @x
2 Lq (") para todo q 2 [1; 1]:
i
Tomando p1 + 1q = 1 y usando la desigualdad de Hlder obtenemos que
5Z
5
1
1
Z
5
5
1
1
5 u @' ' uk @' 5 $ ku ' uk k 1 @' 1 ! 0 cuando k ! 1;
p1
5
@xi 5
@xi 1q
0 @xi
0
5Z
5
Z
5
5
5 vi ' ' (Di uk )'5 $ kvi ' Di uk k k'k ! 0 cuando k ! 1:
p
q
5
5
0
Por tanto,
@'
+
u
0 @xi
Z
@'
vi ' = l+2m
uk
+ l+2m (Di uk )'
k!1 0
@xi k!1 0
0
(Z
)
Z
@'
= l+2m
uk
+ (Di uk )' = 0;
k!1
@xi
0
0
k!1
ukpp
n
X
i=1
k!1
Teorema 14.12 W 1;p (") es un espacio de Banach para todo p 2 [1; 1]:
Demostracin: Sea (uk ) una sucesin de Cauchy en W 1;p ("): Entonces las sucesiones
(uk ) y (Di uk ) son de Cauchy en Lp ("): Como Lp (") es completo, se tiene que uk ! u
en Lp (") y Di uk ! vi en Lp (") para cada i = 1; :::; n: Del Lema 14.11 se sigue que
u 2 W 1;p (") y uk ! u en W 1;p ("): Esto demuestra que W 1;p (") es completo.
Notacin 14.13 Si p = 2 suele denotarse
H 1 (") := W 1;2 ("):
En este caso la norma est inducida por el producto escalar
Z
Z
Z
Z
n
P
hu; viH 1 (0) :=
uv +
(Di u)(Di v) =
uv + ru ( rv:
0
i=1
(14.6)
310
Ejemplo 14.14 Sea u(x) := kxkW con P 2 R: Si p 2 [1; 1) y (P '1)p+n > 0; entonces
u 2 W 1;p (Bn (0; r)):
Demostracin: Esto es consecuencia inmediata de los Ejemplos 14.6 y 11.28.
k k (x) = 1 si kxk $ k;
Rn
jk k u ' k k
kj
Rn
5
5p Z
5
5
5k k Di u ' k k @ k 5 =
5
@xi 5
n
l+2m ku ' k k
k!1
y como (
k)
jk k jp ju '
p
kj
$ ku '
p
k kp
! 0;
5
5p 1
1p
5
1
@ k 55
@ k1
5
1
1 ! 0;
jk k j 5Di u '
$ 1Di u '
5
1
@x
@x
n
i
i p
R
conclumos que
8v 2 Lp (Rn )
@X k
(x)
@xi
k kp
=0
1 @X
k @xi
3x4
k
1
1
1
1
@
k
1 = 0:
l+2m 1
D
u
'
k
i
k
k!1 1
@xi 1p
; se tiene que
1
1
1
1
1 @k k 1
1
1
1
1 = 1 1 @k 1
1 @xi 1
1
k @xi 11
1
311
Por tanto,
1
1
1
1
1
1
1
1
@(k
)
@
@k
k
k
k
k
1Di u '
1 = 1Di u ' k k
1
'
k
1
1
@xi 1p
@xi
@xi 1p
1
1
1
1
1
1
1 @k k 1
@
k
1
1
1
$ 1
1Di u ' k k @xi 1 + 1 @xi k 1 ! 0:
p
Deninimos 'k := k k
'k ! u en Lp (Rn ) y
@'k
! Di u en Lp (Rn ) 8i = 1; :::; n:
@xi
8i = 1; :::; n:
@
(h N u) ! Di u en Lp (Rn ) 8i = 1; :::; n;
@xi k
:= hk N u:
Si " 6= Rn el espacio Cc1 (") no necesariamente es denso en W 1;p ("): En las aplicaciones que daremos en la siguiente seccin jugar un papel importante el siguiente
espacio.
312
Denicin 14.17 Sea p 2 [1; 1): El espacio de Sobolev W01;p (") es la cerradura de
Cc1 (") en W 1;p ("). Denotamos
H01 (") := W01;2 ("):
W01;p (") es un subespacio vectorial cerrado de W 1;p ("): Por tanto, W01;p (") es un
espacio de Banach y H01 (") es un espacio de Hilbert. El Teorema 14.16 asegura que
W01;p (Rn ) = W 1;p (Rn ) pero estos espacios en general no coinciden para " 6= Rn [Ejercicio
14.41].
Ejemplo 14.18 Si u 2 Cc1 (") entonces u 2 W01;p (") para todo p 2 [1; 1):
Demostracin: Sea u 2 Cc1 (") y sea (hk ) una sucesin regularizante. De la Proposicin 12.35 se sigue que hk N u 2 Cc1 (") para k sucientemente grande y @x@ i (hk N u) =
@u
hk N @x
: El Teorema 12.41 asegura entonces que
i
hk N u ! u y
@
@u
(hk N u) !
@xi
@xi
en Lp (") 8i = 1; :::; n;
8t1 ; t2 2 R.
(14.7)
Sean u 2 W01;p (") y k 2 Cc1 (") tales que 'k ! u en W 1;p ("): Como g(0) = 0; se tiene
que g 8 'k 2 Cc1 (") 6 W01;p ("): Usando (14.7) obtenemos
Z
Z
p
0 p
jg 8 u ' g 8 'k j $ kg k1 ju ' 'k jp ! 0:
0
313
1
1
1 0
@(g 8 'kj ) 1
1(g 8 u) Di u '
1
1
1
@xi
p
1M
1
1
M
N
N
M
N @' 1
1 0
kj 1
1 0
1
0
0
1
1 ;
$ 1(g 8 u) Di u ' g 8 'kj Di u1 + 1 g 8 'kj Di u ' g 8 'kj
@xi 1
p
p
@(g='k )
n
P
j=1
(Dj u 8 ])
@]j
@yi
1
1
1 @]i 1
1
1
1 @yj 1 $ c
1
i = 1; :::; n:
8i; j = 1; :::; n;
314
Sean u 2 W01;p (") y 'k 2 Cc1 (") tales que 'k ! u en W 1;p ("): Entonces, 'k 8 ] 2
Cc1 ("0 ) 6 W01;p ("0 ): De la observacin anterior se sigue que u 8 ] 2 Lp ("0 ); Dj u 8 ] 2
Lp ("0 );
ku 8 ] ' 'k 8 ]kp = k(u ' 'k ) 8 ]kp $ c1=p ku ' 'k kp ! 0;
y
1
1
1L(
1
(
)
) K
1
1
1
1
@]
@'
@]
@'
@]
j
j
j
k
k
1(Dj u 8 ])
1 = 1 Dj u '
1
'
8]
8]
1
1
1
@yi
@xj
@yi p
@xj
@yi 1p
1(
) 1
1
1
@'k
1=p 1
$ c 1 Dj u '
8 ]1
1
@xj
p
1
1
1
1
@'k 1
$ c2=p 1
1Dj u ' @xj 1 ! 0 cuando k ! 1;
p
@'
Jk
! Di u en Lp (Rn )
@xi
8i = 1; :::; n:
Consulta, por ejemplo, el libro de H. Brezis, Anlisis Funcional, Alianza Editorial, Madrid 1984
(Proposiciones IX.5 y IX.6).
315
Teorema 14.23 Si " es de clase C 1 y u 2 W01;p (") \ C 0 ("); entonces u(x) = 0 para
todo x 2 @":
Demostracin: Sea x0 2 @": Probaremos que u(x0 ) = 0:
Paso 1. Reduccin del problema a Bn&1 (0; 1) ! (0; 1):
Jn&1 (0; 1 ) ! [' 1 ; 1 ])
Sean U y # como en la Denicin 14.22. Denotemos por K := #(B
2
2 2
y M := 12 dist(K; Rn r U ): Por el Lema 12.42 existe k 2 Cc1 (Rn ) tal que 0 $ k(x) $ 1 si
x 2 Rn ; k(x) = 1 si x 2 K y k(x) = 0 si dist(x; K) % M: Sean u 2 W01;p (") y ( k ) una
sucesin en Cc1 (") tal que k ! u en W 1;p ("): Entonces k k 2 Cc1 (U \ "): Adems,
Z
p
kku ' k k kLp (U \0) =
jkjp ju ' k jp $ ku ' k kpLp (0) ! 0;
U \0
1
1
1
1
1
1
1
1
1
1 @k
@ k1
@k 1
1Di (ku) ' @(k k ) 1
1
1
1
1
$ 1kDi u ' k
+
u'
1
@xi 1Lp (U \0)
@xi 1Lp (U \0) 1 @xi
@xi k 1Lp (U \0)
1
1
1
1
1
1
1 @k 1
@
p
k
1
1
1
$ 1
1Di u ' @xi 1 p + 1 @xi 1 ku ' k kLp (0) ! 0:
L (0)
316
@'k
(y; s)ds 8t 2 (0; 1):
@xn
Sea " 2 (0; 1): Por el teorema del valor medio para la integral de una funcin continua,
existen t" ; s" 2 (0; ") tales que
Z "
Z "
j'k (y; t)j dt = " j'k (y; t" )j y
jv(y; t)j dt = " jv(y; s" )j :
(14.8)
0
Por tanto,
1
"
"
5
Z "5
5 @'k
5
5
5
j'k (y; t)j dt $
5 @xn (y; s)5 ds
0
donde Q" := Bn&1 (0; 1) ! (0; "): Como Q" tiene medida nita, 'k ! v en L1 (Q" ) y
@'k
! Di v en L1 (Q" ) (Corolario 12.26). Por tanto, pasando al lmite cuando k ! 1
@xn
obtenemos
Z
Z
1
jvj $
jDn vj :
" Q"
Q"
Combinando esta desigualdad con (14.8) obtenemos
Z
Z
Z
Z
Z
1 "
1
jv(y; s" )j =
jv(y; t)j dtdy =
jvj $
jDn vj :
" Q"
kyk<1
kyk<1 " 0
Q"
Como v es continua, jv(y; s" )j ! jv(y; 0)j cuando " ! 0: Aplicando el teorema de
convergencia dominada (Teorema 11.35) conclumos que
Z
Z
Z
jv(y; 0)j = l+2m
jv(y; s" )j $ l+2m
jDn vj = 0:
kyk<1
"!0
kyk<1
"!0
Q"
317
El recproco del teorema anterior tambin es cierto sin ninguna condicin de regularidad en @". Ms precisamente, si u 2 W 1;p (") \ C 0 (") y u(x) = 0 para todo x 2 @";
entonces u 2 W01;p (") 2 :
14.3.
(14.9)
n
X
@2u
i=1
@x2i
318
14.3.1.
(14.12)
(14.13)
319
por
f v:
i=1
Esto prueba que g f es continua en H01 ("): Por el teorema de representacin de FrchetRiesz existe un nico u 2 H01 (") tal que
hu; viH 1 (0) = g f (v)
8v 2 H01 ("):
Esto prueba que, u es una solucin dbil de (14.10). Por la Proposicin 13.16, u es el
nico mnimo de J:
Si los datos del problema y la solucin dbil son sucientemente regulares, entonces
sta es una solucin clsica.
Proposicin 14.28 Si " es de clase C 1 ; f 2 L2 (") \ C 0 (") y la solucin dbil u 2
H01 (") del problema (14.10) satisface u 2 C 2 ("), entonces u es solucin clsica de
(14.10).
320
Demostracin: El Teorema 14.23 asegura que u(x) = 0 para todo x 2 @": Sea
' 2 Cc1 ("): Aplicando la frmula de Green (14.12),
Z
'
(Hu)'dx =
ru ( r';
obtenemos que
Z
ru ( r' +
u' '
f' = 0
en ":
Una referencia muy completa para este tipo de resultados es el libro de D. Gilbarg y N.S. Trudinger,
Elliptic partial dierential equations of second order, Springer-Verlag, Berlin Heidelberg 2001.
5
Consulta la demostracin en el libro de L.C. Evans, Partial dierential equations, Graduate Studies
in Math. 19, Amer. Math. Soc., Providence 1988.
14.3.2.
321
1
kvk2H 1 (0) :
2
y tomemos una sucesin (uk ) en Ag tal que J(uk ) ! c0 : Como J(uk ) := 12 kuk k2H 1 (0) ; la
sucesin (uk ) est acotada en H 1 ("): Por tanto, existen u 2 H 1 (") y una subsucesin
322
(ukj ) tales que ukj * u dbilmente en H 1 ("): Ahora bien, H01 (") es un subespacio
cerrado de H 1 ("): Por tanto, (H01 (")? )? = H01 ("): Como ukj ' g 2 H01 (") se tiene que
hw; u ' giH 1 (0) = hw; uiH 1 (0) ' hw; giH 1 (0)
Z
[
= l+2m w; ukj H 1 (0) ' hw; giH 1 (0)
k!1
Z
[
= l+2m w; ukj ' g H 1 (0) = 0
8w 2 H01 (")? :
k!1
Esto prueba que u ' g 2 H01 ("); es decir, u 2 Ag : De la Proposicin 13.23 se sigue
entonces que
c0 $ J(u) =
1
1
kuk2H 1 (0) $ l+2m inf kuk k2H 1 (0) = l+2m J(uk ) = c0 :
k!1 2
k!1
2
En consecuencia, J(u) = c0 :
Supongamos que u0 2 Ag tambin cumple que J(u0 ) = c0 : Consideremos la funcin
f : R ! R dada por f (t) := J(u + t(u0 ' u)): Si u 6= u0 ; entonces 0 y 1 son mnimos de
f: Pero
1
1
2
f (t) = kuk2H 1 (0) + hu; u0 ' uiH 1 (0) t + ku0 ' ukH 1 (0) t2
2
2
tiene un nico mnimo t0 := '
: En consecuencia, u0 = u:
1
1
kuk2H 1 (0) + hu; v ' uiH 1 (0) + kv ' uk2H 1 (0)
2
2
1
1
kuk2H 1 (0) + kv ' uk2H 1 (0) % J(u)
2
2
8v 2 Ag ;
es decir, u es un mnimo de J en Ag :
() Sea u es un mnimo de J en Ag : Para cada w 2 H01 ("); w 6= 0; consideremos la
funcin fw : R ! R dada por fw (t) := J(u + tw): Observa que u + tw 2 Ag : Por tanto,
0 es un mnimo de fw y, en consecuencia,
0 = fw0 (0) = hu; wiH 1 (0) :
Esto prueba que u es una solucin dbil de (14.14).
Nuevamente, si los datos del problema y la solucin dbil son sucientemente regulares, entonces sta es una solucin clsica.
14.4. EJERCICIOS
323
14.4.
Ejercicios
C.F. Gauss, Allgemeine Lehrstze in Beziehung auf die im verkehrten Verhltnisse des Quadrats
der Entfernung wirkenden Anziehung- und Abstossungskrfte, Leipzig 1840; Werke V, Gttingen 1867,
195-242.
7
K. Weierstrass, ber das sogenannte Dirichletsche Princip, Mathematische Werke II, Mayer &
Mller, Berlin 1895, 49-54.
324
(Sugerencia: Considera las funciones C" (t) = (t2 + "2 )1=2 ' ", " > 0; y C" 8 u: Prueba
que C" 8 u ! u en W 1;p ("):)
Ejercicio 14.40 Sea p 2 [1; 1): Prueba que, si u 2 W01;p ("); entonces u+ := m+axfu; 0g 2
W01;p ("), u& := m+2nfu; 0g 2 W01;p ("); y sus derivadas dbiles son
!
!
3
4
3
4
(Di u) (x) si u(x) % 0
(Di u) (x) si u(x) $ 0
+
&
Di u (x) =
;
Di u (x) =
:
0
si u(x) $ 0
0
si u(x) % 0
Ejercicio 14.41 Sean " un subconjunto abierto de clase C 1 de Rn y p 2 [1; 1): Prueba
que, si " 6= Rn ; entonces W 1;p (") 6= W01;p (").
Ejercicio 14.42 (Ejemplo de Weierstrass) Sea V := fu 2 C 1 ['1; 1] : u(1) = 1;
u('1) = '1g y sea
Z 1
2
J(u) :=
jxu0 (x)j dx
&1
14.4. EJERCICIOS
325
Una funcin u 2 C 2 (") que satisface (14.15) se llama una solucin clsica de (14.15).
Una funcin u 2 Ag := fv 2 H 1 (") : v ' g 2 H01 (")g que satisface
Z
Z
Z
ru ( r' + u' =
f'
8' 2 Cc1 (")
0