Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Mónica Clapp
Instituto de Matemáticas
Universidad Nacional Autónoma de México
Enero 2013
2
Índice general
2. Espacios métricos 7
2.1. De…nición y ejemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
2.2. Espacios normados . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
2.3. Espacios de funciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
2.4. El espacio de funciones acotadas . . . . . . . . . . . . . . . . . . . . . . 21
2.5. Subespacios métricos e isometrías . . . . . . . . . . . . . . . . . . . . . 23
2.6. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
3. Continuidad 31
3.1. De…niciones y ejemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . 32
3.2. Conjuntos abiertos y conjuntos cerrados . . . . . . . . . . . . . . . . . 37
3.3. Convergencia de sucesiones . . . . . . . . . . . . . . . . . . . . . . . . . 43
3.4. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46
4. Compacidad 55
4.1. Conjuntos compactos . . . . . . . . . . . . . . . . . . . . . . . . . . . . 55
4.2. El teorema de Heine-Borel . . . . . . . . . . . . . . . . . . . . . . . . . 59
4.3. Existencia de máximos y mínimos . . . . . . . . . . . . . . . . . . . . . 62
4.4. Semicontinuidad . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 65
4.5. Continuidad uniforme . . . . . . . . . . . . . . . . . . . . . . . . . . . . 69
4.6. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 70
5. Completitud 75
5.1. Espacios métricos completos . . . . . . . . . . . . . . . . . . . . . . . . 75
5.2. Convergencia uniforme . . . . . . . . . . . . . . . . . . . . . . . . . . . 79
5.3. Espacios completos de funciones . . . . . . . . . . . . . . . . . . . . . . 84
5.4. Series en espacios de Banach . . . . . . . . . . . . . . . . . . . . . . . . 86
3
4 ÍNDICE GENERAL
5.5. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 90
5.6. Proyecto: Completación de un espacio métrico . . . . . . . . . . . . . . 97
5.6.1. Objetivo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 97
5.6.2. Procedimiento . . . . . . . . . . . . . . . . . . . . . . . . . . . . 97
5.6.3. Observaciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . 98
II Diferenciabilidad 161
9. Diferenciabilidad 163
9.1. El espacio de funciones lineales y continuas . . . . . . . . . . . . . . . . 164
9.2. Diferenciabilidad . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 166
9.3. El teorema del valor medio . . . . . . . . . . . . . . . . . . . . . . . . . 171
9.4. Un criterio de diferenciabilidad . . . . . . . . . . . . . . . . . . . . . . 176
9.5. Derivadas parciales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 180
9.6. Derivadas de orden superior . . . . . . . . . . . . . . . . . . . . . . . . 183
ÍNDICE GENERAL 5
Continuidad, compacidad y
completitud
1
Capítulo 1
Motivación
Observa que L( ) kp qk :
Una trayectoria de p a q en X es de longitud mínima si su longitud es menor o igual
a la de todas las demás. Por ejemplo, si X = Rn ; la trayectoria (t) = (1 t)p + tq
cumple que L( ) = kp qk : De modo que es una trayectoria de longitud mínima de
p a q en Rn :
3
4 1. MOTIVACIÓN
Este ejemplo muestra que el Problema 1.1 no es un problema trivial. Para intentar
resolverlo, empezaremos expresándolo como un problema de minimización.
1
Consulta por ejemplo el libro de J.E. Marsden y A.J. Tromba, Cálculo Vectorial, México: Addison-
Wesley, Pearson Educación, 1998.
5
Diremos que la función L alcanza su mínimo en Tp;q (X) si existe una trayectoria 0 2
Tp;q (X) tal que
L( 0 ) L( ) 8 2 Tp;q (X):
En estos términos el Problema 1.1 se expresa como sigue.
f (x0 ) f (x) 8x 2 K:
Entonces, ¿será posible pensar a las trayectorias como si fuesen puntos? ¿El Teorema
1.4 tendrá algún sentido para la función longitud? ¿Qué querría decir que la función
L : Tp;q (X) ! R [ f1g es continua o que un subconjunto de Tp;q (X) es compacto?
El análisis matemático da respuesta a este tipo de preguntas. Profundiza en los
conceptos y los resultados que aprendimos en cálculo, captura su esencia, y los extiende
a otros espacios distintos del euclidiano. Muy especialmente, a espacios de funciones,
como el conjunto de trayectorias Tp;q (X): Y a funciones como L, cuyo dominio no es un
subconjunto de Rn sino un conjunto de funciones.
Los espacios de funciones aparecen de manera natural en muchos problemas de
las matemáticas y de sus aplicaciones. Por ejemplo, las soluciones de una ecuación
diferencial son funciones. Veremos que el análisis matemático nos permite demostrar la
existencia de soluciones de ecuaciones diferenciales.
2
Referencia!!!
3
E.T. Bell, Men of mathematics, New York: Simon and Schuster, 1937.
6 1. MOTIVACIÓN
Espacios métricos
Maurice Fréchet
1
Maurice René Fréchet (1878-1973) nació en Maligni, Francia. En la escuela secundaria fue alumno
de Jacques Hadamard, quien reconoció su potencial y decidió asesorarlo de manera personal. Estudió
matemáticas en la École Normale Supérieure de París. Introdujo la noción de espacio métrico en 1906,
en su tesis de doctorado.
7
8 2. ESPACIOS MÉTRICOS
x y si x y;
d(x; y) := jx yj =
y x si x y;
es un espacio métrico.
Ejemplo 2.7 Sea `1 el conjunto de todas las sucesiones acotadas de números reales,
es decir, de las sucesiones x = (xk ) para las cuales existe c 2 R (que depende de x) tal
que jxk j < c para todo k 2 N. De…nimos
Ejemplo 2.8 Sea `1 el conjunto de las sucesiones (xk ) de números reales tales que la
serie
P
1
jxk j
k=1
converge, y sea
P
1
d1 (x; y) := jxk yk j ; x = (xk ); y = (yk ) 2 `1 :
k=1
se sigue que
P
n P
n P
n
jxk yk j jxk j + jyk j
k=1 k=1 k=1
P1 P1
jxk j + jyk j :
k=1 k=1
P
1
Por consiguiente, si (xk ); (yk ) 2 `1 , la serie jxk yk j converge y se cumple que
k=1
P
1 P
1 P
1
jxk yk j jxk j + jyk j : (2.1)
k=1 k=1 k=1
P
1 P
1 P
1
d1 (x; y) = jxk yk j jxk zk j + jzk yk j = d1 (x; z) + d1 (z; y);
k=1 k=1 k=1
para cualesquiera x; y; z 2 `1 :
De…nición 2.9 Sea V un espacio vectorial sobre R. Una norma en V es una función
k k : V ! R que tiene las siguientes propiedades:
Proposición 2.10 Todo espacio normado (V; k k) es un espacio métrico con la métrica
dada por
d(v; w) := kv wk :
Esta métrica se llama la métrica inducida por la norma k k :
Es sencillo comprobar que k kp cumple las propiedades (N1) y (N2): Para probar que
cumple la propiedad (N3) requerimos unas desigualdades que demostraremos a contin-
uación.
y = ex
1
Tomando x0 = ln ap ; x1 = ln bq y t = q
obtenemos
1 p 1 q 1 p+ 1 ln bq )
a + b e( p ln a q = ab:
p q
Otto Hölder
2
William Henry Young (1863-1942) nació en Londres, Inglaterra. Estudió matemáticas en Cam-
bridge y fue profesor en diversas universidades europeas. Publicó esta desigualdad en 1912.
3
Otto Ludwig Hölder (1859-1937) nació en Stuttgart, Alemania. Estudió en las universidades de
Stuttgart y Berlín, donde fue estudiante de Kronecker, Weierstrass y Kummer. Obtuvo el doctorado
en la Universidad de Tübingen en 1882. Descubrió la desigualdad que lleva su nombre en 1884, cuando
trabajaba en la convergencia de series de Fourier.
14 2. ESPACIOS MÉTRICOS
es decir,
kxyk1 kxkp kykq
donde xy := (x1 y1 ; :::; xn yn ):
obtenemos
jxk yk j jxk jp jyk jq
+ :
kxkp kykq p kxkpp q kykqq
Sumando todas estas desigualdades para k = 1; :::; n; concluimos que
1 P
n 1 Pn 1 P
n
jxk yk j p jxk jp + jyk jq
kxkp kykq k=1 p kxkp k=1 q kykqq k=1
1 1
= + = 1:
p q
Multiplicando ambos lados de la desigualdad anterior por kxkp kykq obtenemos la de-
sigualdad deseada.
Proposición 2.13 Para cada p 2 [1; 1]; la función k kp de…nida en (2.2) es una
norma en Rn :
Demostración: Es sencillo ver que k kp cumple las propiedades (N1) y (N2): Demostremos
la propiedad (N3), es decir, que para todo p 2 [1; 1] se cumple que
Análogamente,
1
P
n
p 1
P
n
p
q
jyk j (jxk j + jyk j) kykp (jxk j + jyk j) :
k=1 k=1
y usando la desigualdad del triángulo para números reales jxk + yk j jxk j + jyk j ;
concluimos que
1 1
P
n
p
p P
n p
kx + ykp = jxk + yk j (jxk j + jyk j)p kxkp + kykp :
k=1 k=1
Notación 2.14 Con el …n de distinguir cuál de todas estas normas estamos consideran-
do, usaremos la notación
Nota que las métricas d1 ; d2 y d1 consideradas en los Ejemplos 2.4 al 2.6 son las
inducidas por las normas k k1 ; k k y k k1 ; respectivamente.
Consideremos ahora espacios de sucesiones. Las sucesiones de números reales se
pueden sumar y multiplicar por escalares término a término, es decir, si x = (xk ) y
y = (yk ) son sucesiones de números reales y 2 R; se de…nen
x + y := (xk + yk ) y x := ( xk ):
Con estas operaciones el conjunto de todas las sucesiones de números reales es un espacio
vectorial. Para espacios de sucesiones adecuados podemos de…nir normas análogas a las
de…nidas para Rn .
Proposición 2.15 (a) Si p 2 [1; 1); el conjunto `p de todas las sucesiones de números
reales (xk ) tales que la serie
P1
jxk jp
k=1
converge es un espacio vectorial y
1
P
1
p
p
k(xk )kp := jxk j : (2.6)
k=1
es una norma en `p .
(b) El conjunto `1 de todas las sucesiones acotadas de números reales es un espacio
vectorial y
k(xk )k1 := sup jxk j (2.7)
k 1
es una norma en `1 .
Demostración: Es sencillo ver que x 2 `p para cualesquiera x 2 `p ; 2 R, y que
k kp cumple las propiedades (N1) y (N2) [Ejercicio 2.41]. Probaremos a continuación
que x + y 2 `p si x; y 2 `p y que k kp cumple la propiedad (N3).
(a): Si p 2 [1; 1) y (xk ); (yk ) 2 `p ; como la norma k kp en Rn satisface la propiedad
(N3), se tiene que
1 1 1
P
n
p
p P
n
p
p P
n
p
p
jxk + yk j jxk j + jyk j k(xk )kp + k(yk )kp
k=1 k=1 k=1
P
1
para todo n 2 N: En consecuencia, la serie jxk + yk jp converge y se cumple que
k=1
1
P
1
p
p
k(xk + yk )kp = jxk + yk j k(xk )kp + k(yk )kp :
k=1
2.3. ESPACIOS DE FUNCIONES 17
Demostraremos a continuación que éstas son normas en C 0 [a; b]: Empecemos observando
lo siguiente.
En consecuencia, kf kp = 0 si y sólo si f = 0.
es decir,
kf gk1 kf kp kgkq :
y usando la desigualdad del triángulo para números reales jf (x) + g(x)j jf (x)j+jg(x)j
y la monotonía de la integral obtenemos
Z b
1
p
Z b
1
p
Proposición 2.20 Para cada p 2 [1; 1] la función k kp de…nida en (2.8) es una norma
en C 0 [a; b].
Notación 2.21 Con el …n de distinguir cuál de todas estas normas estamos consideran-
do, usaremos la notación
1 1
0 .7 5 0 .7 5
0 .5 0 .5
0 .2 5 0 .2 5
0 0
0 0 .2 5 0 .5 0 .7 5 1 0 0 .2 5 0 .5 0 .7 5 1
y = f4 (x) y = f8 (x)
1
Elevando a la potencia s
cada una de las desigualdades anteriores obtenemos las de-
sigualdades deseadas.
Denotamos por
B(S; X) := ff : S ! X : f es acotadag
y de…nimos
d1 (f; g) := sup d(f (z); g(z)):
z2S
22 2. ESPACIOS MÉTRICOS
Proposición 2.25 d1 es una métrica en B(S; X): Esta métrica se llama la métrica
uniforme.
En consecuencia, d1 (f; g) 2 R: Probemos ahora que d1 es una métrica para B(S; X):
Como d satisface (M1) se tiene 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).
kf k1 := sup kf (z)k
z2S
De…nición 2.29 Sean X = (X; dX ) y Y = (Y; dY ) dos espacios métricos. Una función
: X ! Y es una isometría si
es una isometría. Es decir, podemos identi…car a Rnp con el subespacio de `p que consiste
de las sucesiones (xk ) tales que xk = 0 para k > n:
2.6. Ejercicios
Ejercicio 2.32 Sea X = (X; d) un espacio métrico. Prueba que, para cualesquiera
w; x; y; z 2 X; se cumple que
Ejercicio 2.34 Prueba que kxk1 := max fjx1 j ; :::; jxn jg donde x = (x1 ; :::; xn ) 2 Rn ;
es una norma en Rn :
2.6. EJERCICIOS 25
Ejercicio 2.35 ¿Es la función : Rn ! R; dada por (x) = m n fjx1 j ; :::; jxn jg ; una
norma en Rn ? Justi…ca tu a…rmación.
Ejercicio 2.37 Sea (V; k k) un espacio normado. Prueba que la función d(v; w) :=
kv wk es una métrica en V:
Ejercicio 2.40 Sea V un espacio vectorial distinto de f0g: Prueba que no existe ningu-
na norma en V que induzca la métrica discreta, es decir, no existe ninguna norma en
V tal que
0 si v = w;
kv wk =
1 si v 6= w:
Ejercicio 2.41 Prueba que, para cada p 2 [1; 1]; la función k kp de…nida en (2.6) y
(2.7) satisface
Ejercicio 2.43 (Desigualdad de Hölder para series) Prueba que, si p; q 2 (1; 1),
1
p
+ 1q = 1; (xk ) 2 `p y (yk ) 2 `q ; entonces (xk yk ) 2 `1 y
1 1
P
1 P
1
p
p P
1
q
q
jxk yk j jxk j jyk j :
k=1 k=1 k=1
es decir,
k(xk yk )k1 k(xk )kp k(yk )kq :
Ejercicio 2.45 Sea S el conjunto de todas las sucesiones de números reales. Para x =
(xi ); y = (yi ) 2 S de…nimos
P
1 jxi yi j
d(x; y) := :
i=1 2i (1 + jxi yi j)
l m d(xk ; x) = 0 () l m xki = xi 8i 2 N:
k!1 k!1
Ejercicio 2.46 Prueba que cualquier par de funciones continuas f; g : [a; b] ! R sat-
isface las siguientes desigualdades:
Z b Z b Z b
jf (x) + g(x)j dx jf (x)j dx + jg(x)j dx;
a a a
max jf (x) + g(x)j max jf (x)j + max jg(x)j :
x2[a;b] x2[a;b] x2[a;b]
Ejercicio 2.47 Prueba que las desigualdades de Hölder para sumas, para series y para
integrales siguen siendo válidas si p = 1 y q = 1; es decir:
2.6. EJERCICIOS 27
P
n P
n
jxk yk j jxk j max jyk j :
k=1 k=1 1 k n
kf k1 c kf k1 8f 2 C 0 [0; 1]:
¿Es posible construir una sucesión de funciones continuas gk : [0; 1] ! R tales que
kgk k1 = 1 para toda k 2 N; y kgk k1 ! 1? Justi…ca tu respuesta.
(a) Si p; r 2 [1; 1] y p < r; entonces existe una constante c > 0 tal que
kf kp c kf kr 8f 2 C 0 [0; 1]:
28 2. ESPACIOS MÉTRICOS
(b) Si p; r 2 [1; 1] y p > r; entonces existe una constante c > 0 tal que
kf kp c kf kr 8f 2 C 0 [0; 1]:
Ejercicio 2.51 Sea C r [a; b] el conjunto de las funciones f : [a; b] ! R que son r-
veces continuamente diferenciables en [a; b]; es decir, tales que todas sus derivadas
f 0 ; f 00 ; :::; f (r) hasta la de orden r existen en (a; b) y son continuas en [a; b]: Para cada
p 2 [1; 1] de…nimos
kf kr;p := kf kp + kf 0 kp + + f (r) p
:
z 2 S; f; g 2 B(S; V ); 2 R; y que
kf k1 := sup kf (z)k
z2S
es una isometría.
(c) ¿Es la proyección
:X Y ! X; (x; y) = x;
una isometría?
2.6. EJERCICIOS 29
Ejercicio 2.55 ¿Cuáles de las siguientes funciones son isometrías y cuáles no? Justi-
…ca tu a…rmación.
X
n
(x1 ; :::; xn ) := xi ei
i=1
es una isometría.
(a) Prueba que, si para cada x; y 2 X existe x;y 2 Tx;y (X) con L( x;y ) < 1; entonces
d es una métrica en X:
30 2. ESPACIOS MÉTRICOS
(b) ¿En cuáles de los siguientes ejemplos coincide esta métrica con la inducida por la
métrica usual de Rn ? Justi…ca tu a…rmación.
(b.1) X = Rn ;
(b.2) X = Bn := fx 2 Rn : kxk 1g;
(b.3) X = fx 2 Bn : x 6= 0g; n 2;
(b.4) X = fx 2 Bn : x 2
= Dg; donde n 2y
1
D := f(x1 ; :::; xn 1 ; 0) 2 Rn : x21 + + x2n 1 g;
2
(b.5) X = Sn 1
:= fx 2 Rn : kxk = 1g; n 2:
Capítulo 3
Continuidad
A principios del siglo XIX Augustin Louis Cauchy y Bernard Bolzano dieron, de
manera independiente, una de…nición de continuidad. Llamaron continua a una función
que tomaba valores arbitrariamente cercanos para valores su…cientemente cercanos de
la variable. Esta de…nición es exacta pero imprecisa. La de…nición usual hoy en día, en
términos de "’s y ’s, fue introducida por Karl Weierstrass1 a …nales del siglo XIX.
Karl Weierstrass
: (X; dX ) ! (Y; dY )
Ejemplo 3.2 La identidad id : Rnp ! Rnr es una función continua para cualesquiera
p; r 2 [1; 1].
Demostración: Observa que (max far1 ; : : : ; arn g)1=r = max fa1 ; : : : ; an g si r 2 [1; 1)
y a1 ; : : : ; an 0: En consecuencia, para cualesquiera p; r 2 [1; 1) y x = (x1 ; : : : ; xn ) 2
Rn se tiene que
1=r
P
n
1=r
kxkr = jxi jr (n maxi=1;:::;n jxi jr ) = n1=r maxi=1;:::;n jxi j = n1=r kxk1 ;
i=1
1=p
1=p P
n
kxk1 = maxi=1;:::;n jxi j = (maxi=1;:::;n jxi jp ) jxi jp = kxkp :
i=1
kxkr n1=r kxkp ; kxk1 kxkp ; 8x 2 Rn ; p 2 [1; 1]; r 2 [1; 1): (3.1)
0
Ejemplo 3.3 La identidad id : C1 [0; 1] ! C10 [0; 1] es continua, mientras que la iden-
0 0
tidad id : C1 [0; 1] ! C1 [0; 1] no lo es.
kf k1 kf k1 8f 2 C 0 [0; 1]:
0. 75
0. 5
0. 25
0
0 0. 25 0. 5 0. 75 1
y = g1=4 (x)
En consecuencia,
Es decir, : X ! Z es continua.
(b): Si es un homeomor…smo, de la a…rmación (a) se sigue que es continua
1
si y sólo si ( ) = lo es.
(c): Análogamente, si es un homeomor…smo, entonces es continua si y sólo
1
si ( ) = lo es.
Rudolf Lipschitz
Demostración: Sea c > 0 una constante de Lipschitz para : Entonces, dada " > 0;
para := "c > 0 se cumple que
(A) := f (x) 2 Y : x 2 Ag
φ
x0 φ (x0 )
B(x0 ,δ )
B( φ (x0 ),ε )
Ejemplo 3.10 Denotemos por Bp (x0 ; ") a la bola abierta en Rnp con centro en x0 y
radio ":
De las desigualdades (3.1) se sigue que existe c > 0 (que depende de n y r) tal que
Ejemplo 3.11 Denotemos por Bp (f0 ; ") a la bola abierta en Cp0 [0; 1] con centro en la
función continua f0 : [0; 1] ! R y radio ": Si p = 1;
es decir, B1 (f0 ; ") es el conjunto de las funciones continuas cuya grá…ca está contenida
en la franja f(x; y) 2 R2 : x 2 [0; 1]; jy f0 (x)j < "g.
a b
a b
0
De la caracterización (3.2) de la continuidad se sigue que id : C1 [0; 1] ! C10 [0; 1] es
0 0
continua y que id : C1 [0; 1] ! C1 [0; 1] no lo es.
De…nición 3.12 Un punto x 2 X se llama un punto interior de A si existe " > 0 tal
que BX (x; ") A: El conjunto de todos los puntos interiores de A se llama el interior
de A en X y se denota intX (A); o simplemente int(A). Decimos que A es abierto en
X si A = int(A):
Observa que intX (A) A: Veamos que la bola abierta es un abierto en este sentido.
38 3. CONTINUIDAD
Demostración: Sea x 2 BX (x0 ; "). Tomemos := " d(x; x0 ) > 0: Para todo
z 2 BX (x; ); se cumple que
x0
Esto muestra que x 2 int(BX (x0 ; ")) para todo x 2 BX (x0 ; "): En consecuencia BX (x0 ; ") =
int(BX (x0 ; ")):
Demostración: Sea x 2 int(A): Entonces existe " > 0 tal que BX (x; ") A:
Probaremos ahora que BX (x; ") intA: En efecto, por la Proposición 3.13, para todo
z 2 BX (x; ") existe > 0 tal que BX (z; ) BX (x; ") A: Por tanto, z 2 intA:
1
Demostración: Observa que A = BC1 0 [0;1] (0; ). La Proposición 3.13 asegura que A
2
0
es abierto en C1 [0; 1]:
Probaremos ahora que A no es abierto en C10 [0; 1]: Para cada 0 < < 1 consideremos
la función
1 1 x si 0 x ;
g (x) =
0 si x 1:
Entonces kg k1 = 2
y kg k1 = 1: Por tanto, g 2 BC10 [0;1] (0; ); pero g 62 A:
y=g (x)
δ
1/2
-1/2
Es decir, BC10 [0;1] (0; ) no está contenida en A para ningún > 0: En consecuencia, la
función 0 no es un punto interior de A en C10 [0; 1]:
De hecho, el conjunto A del ejemplo anterior tiene interior vacío en C10 [0; 1] [Ejercicio
3.59].
Demostración: Sea x 2 BX (x0 ; "): Entonces, para todo > 0; existe x 2 BX (x; )\
BX (x0 ; "): De la desigualdad del triángulo se sigue que
X r A := fx 2 X : x 2
= Ag :
Para cualquier subconjunto A de X se tiene entonces que Bdisc (x; 1) A para todo
x 2 A: Por tanto, A es abierto en Xdisc . De la Proposición 3.19 se sigue que A también
es cerrado en Xdisc .
Ejemplo 3.22 Si Xdisc es un espacio métrico discreto con al menos dos puntos en-
tonces, puesto que todos los subconjuntos de Xdisc son cerrados, se tiene que
Bdisc (x; 1) = Bdisc (x; 1) = fxg 8x 2 X:
Por otra parte,
Bdisc (x; 1) := fy 2 X : ddisc (y; x) 1g = X 8x 2 X:
Demostración: Como B(v0 ; ") es cerrado y contiene a B(v0 ; ") se tiene que B(v0 ; ")
B(v0 ; ") [Ejercicio 3.66].
Probaremos ahora que B(v0 ; ") B(v0 ; "): Es decir, probaremos que, para todo
v 2 B(v0 ; ") y > 0; se cumple que B(v; ) \ B(v0 ; ") 6= ;: Sin perder generalidad
podemos tomar < 2": El punto
v := v + (v0 v) 2 V
2"
satisface
kv vk = kv0 vk < ; y
2" 2
kv v0 k = (1 ) kv v0 k (1 )" < ":
2" 2"
v
δ
v0
42 3. CONTINUIDAD
(a) : X ! Y es continua.
1
(b) (U ) es abierto en X para todo subconjunto abierto U de Y:
1
(c) (C) es cerrada en X para todo subconjunto cerrado C de Y .
Para …nalizar esta sección veamos algunas propiedades importantes de los abiertos.
(b) X es abierto en X.
S
(c) La unión i2I Ui de cualquier familia fUi : i 2 Ig de subconjuntos abiertos de X
es abierta en X:
Dado que los subconjuntos cerrados de X son los complementos de los abiertos, las
a…rmaciones duales son ciertas para dichos subconjuntos [Ejercicio 3.64].
Las propiedades (a)-(d) se usan como de…nición de los abiertos de un espacio
topológico3 . Como la continuidad se puede caracterizar en términos de abiertos (ver
Proposición 3.24), los espacios topológicos son el ámbito natural para estudiar la con-
tinuidad.
Usaremos la notación
xk ! x en X; o bien l m xk = x;
k!1
xk ! x en X () d(xk ; x) ! 0 en R.
se tiene que la sucesión de números reales (fk (x)) converge a f (x) en R para cada
x 2 [0; 1]: En consecuencia
1 si x = 0;
f (x) = l m fk (x) =
k!1 0 si 0 < x 1:
3.4. Ejercicios
Ejercicio 3.35 Prueba que en la de…nición de continuidad se puede reemplazar la de-
sigualdad estricta por la no estricta, es decir, prueba que una función : X ! Y es
continua en x0 si, dada " > 0; existe > 0 (que depende de x0 y de ") tal que
(a) L es continua.
(b) L es continua en 0:
(a) Prueba que, si f; g : X ! R son continuas, entonces las funciones maxff; gg;
m nff; gg : X ! R dadas por
(maxff; gg)(x) := maxff (x); g(x)g; (m nff; gg)(x) := m nff (x); g(x)g);
son continuas.
Ejercicio 3.39 Sea g0 2 C 0 [a; b]: Prueba que, para toda p 2 [1; 1]; la función :
Cp0 [a; b] ! R dada por
Z b
(f ) := f g0
a
Ejercicio 3.41 Prueba que, para toda p 2 [1; 1]; la k-ésima proyección
k : `p ! R; k (x) = xk ;
(f ) := f :
(a) está bien de…nida (es decir, que f es acotada si f lo es) y es Lipschitz
continua.
Ejercicio 3.44 Sea I un intervalo en R (abierto, cerrado, …nito o in…nito). Prueba que,
si f : I ! R es continuamente diferenciable en I y existe C 2 R tal que jf 0 (t)j C
para todo t 2 I, entonces f es Lipschitz continua.
48 3. CONTINUIDAD
Ejercicio 3.45 ¿Cuáles de las siguientes funciones son Lipschitz continuas y cuáles
son equivalencias?
(a) : R ! R; (x) = x2 :
p
(b) : [0; 1) ! R; (x) = x:
(c) :R!( 2
; 2 ); (x) = arctan x:
jjjf jjj1 : = kf 0 k1 ;
jjjf jjj2 : = jf (0)j + kf 0 k1 ;
Z 1
jjjf jjj3 : = max f (x)dx ; kf 0 k1 ;
0
1=2
jjjf jjj4 : = (kf k2 + kf 0 k2 ) :
(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
es continua.
(a) Investiga en qué casos id : Cp0 [0; 1] ! Cr0 [0; 1] es Lipschitz continua y en qué casos
no lo es.
3.4. EJERCICIOS 49
(b) Investiga en qué casos id : Cp0 [0; 1] ! Cr0 [0; 1] es continua y en qué casos no lo es.
(c) ¿En qué casos es id : Cp0 [0; 1] ! Cr0 [0; 1] una equivalencia?
1
k (x) = (x; p sen( kx)); (x) = (x; 0):
k
8 16 32
(b) Sea T(0;0);(1;0) (R2 ) el conjunto de todas las trayectorias de longitud …nita de (0; 0)
a (1; 0) en R2 con la métrica uniforme
L : T(0;0);(1;0) (R2 ) ! R,
(a) Prueba que todas las métricas del Ejercicio 2.53 en el producto cartesiano X Y :=
f(x; y) : x 2 X; y 2 Y g son equivalentes. En adelante a X Y con cualquiera de
estas métricas lo llamaremos el producto de los espacios métricos X y Y:
50 3. CONTINUIDAD
X : X Y ! X; X (x; y) = x;
Y : X Y ! Y; Y (x; y) = y;
X :Z!X y Y :Z!Y
son continuas.
V V ! V; (v; w) 7! v + w;
R V ! V; ( ; v) 7! v;
V ! R; v 7! kvk :
Ejercicio 3.51 Sean V un espacio vectorial y d una métrica en V: Demuestra las sigu-
ientes a…rmaciones:
(a) Si d satisface
d(v + z; w + z) = d(v; w) 8v; w; z 2 V; (3.3)
entonces la suma V V ! V; (v; w) 7! v + w; es continua.
(c) Si d satisface (3.3) y (3.4), entonces existe una norma k k en V que induce a la
métrica d:
3.4. EJERCICIOS 51
(a) Existe una función continua : X ! [0; 1] tal que 1 (0) = A y 1 (1) = B;
donde 1 (a) := fx 2 X : (x) = ag : (Sugerencia: Considera la función
dist(x; A)
(x) := :
dist(x; A) + dist(x; B)
Prueba que está bien de…nida y que tiene las propiedades deseadas.)
(a) Describe las bolas abiertas BX (1; ") y BX ( 1; "); " > 0:
Ejercicio 3.59 Para cada p 2 [1; 1] calcula el interior y la cerradura de los siguientes
conjuntos en Cp0 [0; 1]:
1 kx si x 2 [0; k1 ];
fk (x) =
0 si x 2 [ k1 ; 1]:
Ejercicio 3.60 Prueba que una sucesión (xk ) en un espacio métrico discreto Xdisc
converge a x en Xdisc si y sólo si existe k0 2 N tal que xk = x para todo k k0 :
3.4. EJERCICIOS 53
Ejercicio 3.63 Da un
T ejemplo de una familia numerable de abiertos fUk : k 2 Ng en
R cuya intersección k2N Uk no es abierta en R:
(a) X es cerrado en X:
(a) B A si B A:
Ejercicio 3.69 (a) ¿Es cierto que la frontera de la bola abierta BV (v0 ; r) en un es-
pacio normado V es la esfera
SV (v0 ; r) := fv 2 V : kv v0 k = rg?
(b) ¿Es cierto que la frontera de la bola abierta BX (x0 ; r) en un espacio métrico
arbitrario X es la esfera
Compacidad
Los subconjuntos de Rn que son cerrados y acotados tienen una propiedad funda-
mental: cualquier sucesión de puntos en ellos contiene una subsucesión convergente. En
general, no cualquier subconjunto cerrado y acotado de un espacio métrico tiene esta
propiedad. A los subconjuntos que la tienen se les llama compactos. Este término fue
introducido por Fréchet en 1906.
La compacidad tiene consecuencias muy importantes. Por ejemplo, toda función
continua en un espacio métrico compacto alcanza su máximo y su mínimo. Veremos
que la compacidad permite concluir la existencia de una solución de una ecuación
diferencial tomando el límite de ciertas aproximaciones elementales, como ocurre en el
teorema de existencia de Peano que demostraremos más adelante (ver Teorema 7.14).
Existen varias nociones equivalentes de compacidad en espacios métricos. Una de
ellas a…rma que un subconjunto K de un espacio métrico es compacto si de cualquier
familia de conjuntos abiertos cuya unión contiene a K podemos extraer una familia
…nita cuya unión también contiene a K: Esta es la de…nición que usaremos aquí como
punto de partida.
B(x0 ; r) := fx 2 Rn : kx x0 k < rg
Esto implica que xk 2= K para todo k maxfky1 ; :::; kym g; lo cual es falso.
En consecuencia, existe y0 2 K tal que toda bola abierta con centro en y0 contiene
a una subsucesión de (xk ): Esto nos permite escoger, inductivamente, para cada j 2 N
un punto xkj 2 BX (y0 ; 1j ) tal que kj > kj 1 : La sucesión (xkj ) es una subsucesión de
(xk ) que converge a y0 .
Más adelante veremos que el recíproco también es válido, es decir, que K es un sub-
conjunto compacto de X si y sólo si toda sucesión (xk ) en K contiene una subsucesión
convergente en K (ver Teorema 7.4).
En general, las bolas cerradas en espacios de dimensión in…nita nunca son compactas
(ver Ejercicio 5.39). Veremos en la próxima sección que en Rn sí lo son.
es compacto.
1
Cuenta P. Dugac que la historia de este resultado empieza en el siglo XIX con la demostración
de un teorema, central en análisis, que a…rma que toda función continua en un intervalo cerrado es
uniformemente continua. Dirichlet fue el primero en demostrar dicho resultado en 1862 en unas notas
de clase, publicadas en 1904, mientras que la demostración de Heine data de 1872. Émile Borel fue el
primero en formular y demostrar en 1895 una versión explícita del resultado que ahora conocemos como
el teorema de Heine-Borel para cubiertas numerables. Cousin (1895), Lebesgue (1898) y Schoen‡ies
(1900) la generalizaron a cubiertas arbitrarias. (P. Dugac, Sur la correspondance de Borel et le théorème
de Dirichlet-Heine-Weierstrass-Borel-Schoen‡ies-Lebesgue, Arch. Internat. Hist. Sci. 39 (1989), págs.
69-110.)
60 4. COMPACIDAD
Q Q1 Qk ;
r
tales Qk es un cubo de lado 2k 1 y Qk no esta contenido en la unión de ningún subcon-
junto …nito de C.
Qk
k
Denotemos por = ( k1 ; :::; k
n) al centro de Qk : Entonces,
k r
i xi 8x = (x1 ; :::; xn ) 2 Qk : (4.1)
2k
j
En particular, como 2 Qk para j k; se tiene que
k j r
i i 8j k; 8i = 1; :::; n: (4.2)
2k
Así pues, para cada i = 1; :::; n; la sucesión ( ki ) es de Cauchy en R y, en consecuencia,
existe i 2 R tal que ki ! i en R. Pasando al límite cuando j ! 1 en la desigualdad
(4.2) obtenemos que
k r
i i 8k 2 N; 8i = 1; :::; n: (4.3)
2k
Dado que ji 2 [ r; r]; se tiene que i 2 [ r; r]: Es decir, = ( 1 ; :::; n ) 2 Q: Y, puesto
que C es cubierta de Q, existe U 2 C tal que 2 U :
Ahora bien, como U es abierto, existe " > 0 tal que B( ; ") U : Si x 2 Qk ; usando
las desigualdades (4.1) y (4.3) obtenemos
p p p
k k r n r n r n
kx k x + + k = k 1
2k 2 2
4.2. EL TEOREMA DE HEINE-BOREL 61
y, en consecuencia,
p
r n
Qk B( ; ") U si k 1 < ".
2
Esto contradice nuestra suposición de que Qk no puede ser cubierto por un número
…nito de elementos de C. En consecuencia, Q es compacto.
Bernhard Bolzano
f (x0 ) f (x) 8x 2 X:
f (x1 ) f (x) 8x 2 X:
1
0.5
0
-7.5 -5 -2.5 0 2.5 5 7.5
-0.5
-1
y = arctan x
m0 := nf f (z) 2 R:
z2K
m0 = l m f (zkj ) = f (z0 ):
j!1
Es decir, z0 es un mínimo de f:
De manera análoga se prueba que f alcanza su máximo en K [Ejercicio 4.39].
O, equivalentemente,
c2 kvk kvk 8v 2 V: (4.6)
Nota que c2 > 0 porque v0 6= 0: Las desigualdades (4.5) y (4.6) aseguran que las normas
k k y k k son equivalentes.
Denotamos por
C 0 (X; Y ) := f : X ! Y : es continuag: (4.7)
El Corolario 4.11 asegura que, si K es un espacio métrico compacto, entonces C 0 (K; Y )
está contenido en el espacio de funciones acotadas B(K; Y ) (ver Sección 2.4). Podemos
entonces darle a C 0 (K; Y ) la métrica uniforme
d1 ( ; ) = sup dY ( (x); (x)):
x2K
4.4. Semicontinuidad
Volvamos ahora a nuestro problema de partida, el Problema 1.1, que inquiere lo sigu-
iente: ¿Alcanza la función longitud su mínimo en el conjunto de trayectorias Tp;q (X)?.
El conjunto Tp;q (X) es un espacio métrico con la métrica uniforme, pero la función
longitud no es continua, así que no podemos aplicar el Teorema 4.17 para obtener una
respuesta a esta pregunta.
En cierto sentido las condiciones de compacidad y continuidad son opuestas la una
de la otra ya que, mientras más abiertos tenga X; más fácil es que una función X ! Y
resulte continua pero más difícil es que X sea compacto. Y viceversa. Esta disyuntiva
se presenta con frecuencia en las aplicaciones. Resulta pues conveniente contar con un
resultado de existencia de mínimos para funciones que no son continuas.
Empecemos extendiendo el concepto de trayectoria a un espacio métrico arbitrario
X = (X; dX ).
Sin embargo, no pueden existir trayectorias arbitrariamente cortas tan cercanas como
queramos a una trayectoria dada, como lo muestra el siguiente resultado.
Proposición 4.21 Dadas 2 C 0 ([a; b]; X) y c < L( ); existe > 0 tal que
c < L( ) si d1 ( ; ) < :
X
m
c+ 0 < dX ( (tk 1 ); (tk )):
k=1
Sea := 0
2m
: Si d1 ( ; ) < ; se tiene que
En consecuencia, c < L( ).
dte := n si n 1<t n; n 2 Z:
btc := n si n t < n + 1; n 2 Z;
es s.c.i.
De…nición 4.26 Sea (tk ) una sucesión en R [ f1; 1g: El límite inferior de (tk )
se de…ne como
l m inf tk := sup nf tk 2 R [ f1; 1g;
k!1 m 1 k m
l m inf tk = 1 y l m sup tk = 1:
k!1 k!1
Es fácil ver [Ejercicio 4.45] que, si una sucesión de números reales (tk ) converge en
R, entonces
l m inf tk = l m tk = l m sup tk ; (4.9)
k!1 k!1 k!1
Como esta desigualdad se cumple para todo c < f (x0 ); concluimos que
Dado a 2 R, denotamos
a
f := fx 2 X : f (x) ag:
a
Teorema 4.29 Si f : X ! R [ f1g s.c.i. y si f es compacto y no vacío para algún
a 2 R, entonces f alcanza su mínimo en X:
Para aplicar este resultado al Problema 1.1 deberemos investigar si para algún a 2 R
el conjunto de trayectorias en Tp;q (X) de longitud a lo más a es compacto y no vacío.
Es sencillo comprobar que no es así [Ejercicio 4.49]. Volveremos al Problema 1.1 en el
Capítulo 7.
Teorema 4.31 Sea K un espacio métrico compacto. Entonces toda función continua
: K ! Y es uniformemente continua.
ekj )
dK (x; x ekj )
dK (x; xkj ) + dK (xkj ; x
dY ( (xkj ); (e
xkj )) dY ( (xkj ); (x)) + dY ( (x); (e
xkj )) < "0
4.6. Ejercicios
Ejercicio 4.32 Sea V un espacio normado y sea SV := fx 2 V : kxk = 1g la esfera
unitaria en V: En cada uno de los siguientes casos investiga si la esfera unitaria es o
no compacta.
es compacto, donde Bp ( ; ) := fx 2 Rn : kx kp g:
Prueba que
(a) Prueba que, si A es compacto, entonces para cada x 2 X existe z 2 A tal que
(c) ¿Es cierto en general que la distancia entre dos cerrados ajenos es positiva?
dte := n si n 1<t n; n 2 Z:
es s.c.i.
4.6. EJERCICIOS 73
btc := n si n t < n + 1; n 2 Z;
es s.c.s.
Ejercicio 4.45 Sea (tk ) una sucesión en en R. Demuestra las siguientes a…rmaciones:
l m inf tk l m sup tk :
k!1 k!1
l m inf tk = l m sup tk ;
k!1 k!1
y, en ese caso,
l m inf tk = l m tk = l m sup tk :
k!1 k!1 k!1
(a) f es s.c.i.
(d) L : T0;1 (R) ! R [ f1g no satisface las hipótesis del Teorema 4.29.
Completitud
De…nición 5.1 Una sucesión (xk ) en X es de Cauchy si, dada " > 0; existe k0 2 N
tal que
dX (xk ; xj ) < " 8k; j k0 :
1
Augustin Louis Cauchy (1789-1857) nació en París. Es uno de los pioneros del Análisis Matemáti-
co. Fue un matemático profundo, que cultivó diversas áreas de las matemáticas y ejerció una fuerte
in‡uencia sobre sus contemporáneos y sucesores. Escribió cerca de 800 artículos de investigación.
75
76 5. COMPLETITUD
Augustin Cauchy
1 1
0 .5 0 .5
0 0
-1 -0 .5 0 0 .5 1 -1 -0 .5 0 0 .5 1
-0 .5 -0 .5
-1 -1
y = f3 (x) y = f6 (x)
Por tanto, Z 1
j1 f (x)j dx = 0;
a
lo que implica que f (x) = 1 para todo x 2 [a; 1]: Análogamente, f (x) = 1 para todo
x 2 [ 1; a] y, como a 2 (0; 1) es arbitraria, tenemos que
1 si x 2 [ 1; 0);
f (x) =
1 si x 2 (0; 1]:
En consecuencia, f no es continua en [ 1; 1]; lo cual contradice nuestra suposición.
0
En la siguiente sección probaremos que en C1 [ 1; 1] cualquier sucesión de Cauchy
converge. A los espacios métricos que tienen esta propiedad se les llama completos.
78 5. COMPLETITUD
Los ejemplos anteriores muestran que (a; b) y C10 [a; b] no son completos. De hecho,
Cp0 [a; b] no es un espacio de Banach para ninguna p 2 [1; 1) [Ejercicio 5.32].
La completitud no es invariante bajo homeomor…smos, como lo muestra el siguiente
ejemplo.
0. 5
0
-7. 5 -5 -2. 5 0 2. 5 5 7. 5
-0. 5
-1
arctan x
Esto prueba que, para cada i = 1; :::; n; la sucesión (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;
y, en consecuencia,
kxk xk1 = max jxk;i xi j < " 8k maxfk1 ; :::; kn g;
i=1;:::;n
El límite puntual de una sucesión de funciones continuas no es, por lo general, una
función continua, como lo muestra el siguiente ejemplo.
1 1 1
0 .7 5 0 .7 5 0 .7 5
0 .5 0 .5 0 .5
0 .2 5 0 .2 5 0 .2 5
0 0 0
0 0 .2 5 0 .5 0 .7 5 1 0 0 .2 5 0 .5 0 .7 5 1 0 0 .2 5 0 .5 0 .7 5 1
2 4 6
y=x y=x y=x
Nota que esta noción es más fuerte que la de convergencia puntual: si (fk ) converge
uniformemente a f; entonces converge puntualmente a f: El recíproco no es cierto pues
la sucesión (fk ) del Ejemplo 5.11 no converge uniformemente en [0; 1] [Ejercicio 5.41]. El
siguiente ejemplo muestra que, aun cuando una sucesión de funciones continuas converge
puntualmente a una función continua, no necesariamente converge uniformemente.
5.2. CONVERGENCIA UNIFORME 81
1
fk (x) = max 1 k x ;0 :
k
0 .7 5
0 .5
0 .2 5
0
0 0 .2 5 0 .5 0 .7 5 1
y = f4 (x)
1
fk =1>" 8k 2 N:
k
dX (f (z); f (z0 )) dX (f (z); fk0 (z)) + dX (fk0 (z); fk0 (z0 )) + dX (fk0 (z0 ); f (z0 ))
< " si dZ (z; z0 ) < :
82 5. COMPLETITUD
Proposición 5.15 Sea (fk ) una sucesión en B(S; X): Entonces, (fk ) converge uni-
formemente a f en S si y sólo si (fk ) converge a f en B(S; X):
En consecuencia,
dX (fk (z); f (z)) < " 8k k0 ; 8z 2 S:
Es decir, (fk ) converge uniformemente a f en S:
)) : Recíprocamente, si fk 2 B(S; X) y (fk ) converge uniformemente a f en S
entonces, dada " > 0; existe k0 2 N tal que
Como fk0 es acotada, existen c > 0 y x0 2 X tales que dX (fk0 (z); x0 ) < c para todo
z 2 S: En consecuencia,
Demostración: Sea f 2 Cb0 (Z; X): Por la Proposición 3.32 existe una sucesión (fk )
en Cb0 (Z; X) tal que fk ! f en B(Z; X): La Proposición 5.15 y el Teorema 5.14 aseguran
entonces que f 2 Cb0 (Z; X): Esto prueba que Cb0 (Z; X) es cerrado en B(Z; X):
Demostración: Sea x0 2 (a; b): Aplicando el teorema del valor medio a la función
fj fk se tiene que, para cada x 2 (a; b); existe x 2 (a; b) tal que
En consecuencia,
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 8x 2 (a; b); 8j; k k0 :
3
84 5. COMPLETITUD
dX (fk (z); fj (z)) dX (fk (z); f (z)) + dX (f (z); fj (z)) < " 8j; k k0 , 8z 2 S:
dX (fk (z); f (z)) dX (fk (z); fj (z)) + dX (fj (z); f (z)) < ".
En consecuencia,
dX (fk (z); f (z)) < " 8k k0 , 8z 2 S;
es decir, (fk ) converge uniformemente a f .
es un espacio vectorial normado (ver Ejercicio 2.52). Si Z es un espacio métrico, Cb0 (Z; V )
es un subespacio vectorial de B(Z; V ):
Una consecuencia importante del teorema anterior es la siguiente.
Demostración: Sea (fk ) una sucesión de Cauchy en B(S; X): Claramente (fk ) es
uniformemente de Cauchy en S y, por la Proposición 5.15 y el Teorema 5.20, (fk )
converge en B(S; X): Esto prueba que B(S; X) es completo. Por el Corolario 5.17,
Cb0 (Z; X) es un subconjunto cerrado de B(S; X): La Proposición 5.9 asegura entonces
que Cb0 (Z; X) es completo.
Esta propiedad permite que los espacios B(S; X) y Cb0 (Z; X) jueguen un papel im-
portante en las aplicaciones, como veremos en el siguiente capítulo.
Recuerda que, si K es un espacio métrico compacto, entonces toda función continua
de K en X es acotada (ver Corolario 4.11), es decir,
P
1
Proposición 5.23 Si la serie vk converge en V; entonces vk ! 0 en V: En partic-
k=1
ular, (vk ) está acotada.
5.4. SERIES EN ESPACIOS DE BANACH 87
P
n
Demostración: La sucesión vk es de Cauchy (ver Proposición 5.2). Por tanto,
k=1
dada " > 0; existe n0 2 N tal que
P
n+1 P
n
kvn+1 k = vk vk " 8n n0 :
k=1 k=1
converge en V si y sólo si, para cada " > 0, existe k0 2 N tal que
kvk+1 + + vk+j k < " 8k k0 ; 8j 1:
Demostración: Como V es completo, la sucesión (wn ) de sumas parciales wn :=
P
n
vk converge en V si y sólo si (wn ) es de Cauchy, es decir, si y sólo si para cada " > 0,
k=1
existe k0 2 N tal que
kwk+j wk k = kvk+1 + + vk+j k < " 8k k0 ; 8j 1;
como a…rma el enunciado.
P
1
Demostración: Sea " > 0: Como kvk k converge en R, la Proposición 5.24 asegura
k=1
que existe k0 2 N tal que
kvk+1 k + + kvk+j k < " 8k k0 ; 8j 1:
Usando la desigualdad del triángulo obtenemos que
kvk+1 + + vk+j k kvk+1 k + + kvk+j k < " 8k k0 ; 8j 1:
Aplicando nuevamente la Proposición 5.24 concluimos que la serie
P
1
vk
k=1
Por tanto,
c k 1
kgk k1 = max jgk (x)j k 8k 2 N:
x2[x0 r;x0 +r] r^
P
Dado que la serie 1 k=1 k
k 1
converge en R, argumentando como en el caso anterior,
concluimos que la serie
P
1
kak (x x0 )k 1
k=1
se llama una función analítica. Una función analítica tiene derivadas de todos los
órdenes [Ejercicio 5.50]. El recíproco no es cierto: una función que tiene derivadas de
todos los órdenes no necesariamente es analítica [Ejercicio 5.51].
5.5. Ejercicios
Ejercicio 5.29 Sea Xdisc un espacio métrico discreto.
Ejercicio 5.30 Sea (xk ) una sucesión de Cauchy en un espacio métrico X: Demuestra
las siguientes a…rmaciones:
Ejercicio 5.31 Sea X = (0; 1) con la métrica inducida por la de R. Prueba que la
sucesión ( k1 ) es de Cauchy en X pero no converge en X:
(a) Prueba que (fk ) es de Cauchy en Cp0 [ 1; 1] para toda p 2 [1; 1):
(b) Prueba que (fk ) no converge en Cp0 [ 1; 1] para ninguna p 2 [1; 1]: (Sugerencia:
Usa el Ejercicio 3.47 y el Ejemplo 5.4).
0
(c) ¿Es (fk ) de Cauchy en C1 [ 1; 1]?
Ejercicio 5.33 Prueba que `p es un espacio de Banach para todo p 2 [1; 1]:
Ejercicio 5.38 Sea V un espacio normado. Prueba que todo subespacio vectorial de
dimensión …nita de V es cerrado en V:
(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]:
P
1
Ejercicio 5.45 Prueba que, si an ; bn 2 R; 0 an bn y bn converge en R, entonces
n=1
P
1
an converge en R.
n=1
x2
fk (x) = :
(1 + x2 )k
P
1
(a) Prueba que, para cada x 2 R, la serie de números reales fk (x) converge.
k=1
P
1
(b) ¿Converge la serie de funciones fk uniformemente en R?
k=1
senkx
fk (x) = p :
k
Denotamos por
y de…nimos
@ 1 @ n'
k'kC m ( ) := max : i 2 N [ f0g; 1 + + n m :
@x1 1 @xnn 1
P
1
(b) Prueba que el radio de convergencia R de una serie de potencias ak (x x0 )k
k=0
está dado por
R 1
= l m sup jak j1=k :
k!1
5.5. EJERCICIOS 95
P
1
Ejercicio 5.50 Sea ak (x x0 )k ; ak 2 R; una serie de potencias con radio de con-
k=0
vergencia R > 0: Prueba que la función f : (x0 R; x0 + R) ! R dada por
P
1
f (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
P
1
f (n) (x) = k(k 1) (k n + 1)ak (x x0 )k n
; x 2 (x0 R; x0 + R):
k=n
0. 8
0. 6
0. 4
0. 2
0
-2. 5 -1.25 0 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
P
1
f (x) = ak x k ; ak 2 R,
k=0
Ejercicio 5.52 Sean akj 2 R tales que las series de números reales
P
1
jakj j = bk
j=1
P1
convergen para cada k 2 N y la serie k=1 bk también converge. Prueba que
1 P
P 1 P
1 P
1
akj = akj :
k=0 j=1 j=1 k=0
1 P
n P
1
fk = akj ; fk (0) = akj :
n j=1 j=1
Comprueba que esta sucesión satisface todas las hipótesis del Teorema 5.25.)
x si x 2 [0; 1];
'(x) :=
2 x si x 2 [1; 2];
(a) La serie
X
1
3
k
'(4k x)
k=0
4
converge uniformemente en R. En consecuencia, la función f : R ! R dada por
X
1
3
k
f (x) := '(4k x)
k=0
4
es continua.
Por ejemplo, el espacio R de los números reales es una completación del espacio Q
de números racionales.
El objetivo de este proyecto es demostrar el siguiente resultado.
Teorema 5.57 Cualquier espacio métrico admite una completación y ésta es única
salvo isometría.
5.6.2. Procedimiento
1. Demuestra que, si X = (X ; d ) y X # = (X # ; d# ) son completaciones de (X; d);
entonces existe una isometría biyectiva : X ! X # :
98 5. COMPLETITUD
l m d(xk ; yk ) = 0:
k!1
Demuestra que
5.6.3. Observaciones
Es importante saber que todo espacio métrico admite una única completación. Sin
embargo, la descripción que hemos dado aquí resulta poco práctica: pensar a los números
reales como clases de equivalencia de sucesiones de Cauchy de números racionales haría
muy engorroso operar con ellos. Conviene pues tener representaciones más sencillas.
En el Capítulo 14 introduciremos una completación accesible del espacio Cp0 [a; b]:
el espacio de Lebesgue Lp (a; b): Este espacio aparece de manera natural en muchas
aplicaciones importantes.
Capítulo 6
Stefan Banach
Teorema 6.3 (de punto …jo de Banach) Sea X un espacio métrico completo, no
vacío, y sea : X ! X una contracción. Entonces se cumple lo siguiente:
es decir,
(1 )d(y; z) d(y; (y)) + d( (z); z):
Tomando y := xk y z := xj obtenemos
k j
d(xk+1 ; xk ) + d(xj+1 ; xj ) +
d(xk ; xj ) d(x1 ; x0 ): (6.3)
1 1
Sea " > 0: Como 2 (0; 1) existe k0 2 N tal que
k
"
d(x1 ; x0 ) < 8k k0 : (6.4)
1 2
En consecuencia,
d(xk ; xj ) < " 8j; k k0 :
Esto demuestra que la sucesión (xk ) es de Cauchy en X:
Como X es completo, existe x 2 X tal que xk ! x en X y, como es continua,
se tiene entonces que xk+1 = (xk ) ! (x ) en X: Como el límite de una sucesión es
único, concluimos que (x ) = x ; es decir, x es un punto …jo de :
Veamos ahora que es único. Si x1 y x2 son puntos …jos de entonces
El teorema anterior no sólo a…rma la existencia de un único punto …jo para una
contracción : X ! X. También nos dice cómo encontrarlo, o cómo encontrar una
102 6. EL TEOREMA DE PUNTO FIJO DE BANACH Y APLICACIONES
Ejemplo 6.4 La función : (0; 1) ! (0; 1) dada por (t) = 21 t es una contracción
y no tiene ningún punto …jo en (0; 1): Por tanto, para la validez del Teorema 6.3 es
necesario que X sea completo.
Sin embargo, no tiene ningún punto …jo. Por tanto, para la validez del Teorema 6.3 es
necesario que el número de la condición (6.1) sea estrictamente menor que 1:
Esta condición también es necesaria para la unicidad del punto …jo [Ejercicio 6.22].
La siguiente generalización del teorema de punto …jo de Banach tiene aplicaciones
importantes (ver Teorema 6.12).
Ax x=b (6.5)
6.2. SISTEMAS DE ECUACIONES LINEALES 103
entonces el sistema (6.5) tiene solución única para cada b 2 Rn : La solución x satisface
kP1 k
x + Am b kbk1 :
m=0 1 1
es decir, es una contracción. Por el Teorema 6.3, existe un único x 2 Rn tal que
(x ) = Ax b = x : Más aún, como
kP1
k
(0) = Am b;
m=0
se tiene que
kP1 k
x + Am b kbk1 :
m=0 1 1
Esto concluye la demostración.
se llama una ecuación integral de Fredholm2 . Se dice que es del primer tipo si
= 0 y del segundo tipo si 6= 0.
Ivar Fredholm
2
Erik Ivar Fredholm (1866-1927) nació en Estocolmo, Suecia. Obtuvo el doctorado en la universidad
de Uppsala en 1898, bajo la supervisión de Gösta Mittag-Le- er. Fue profesor de la universidad de
Estocolmo. En 1903 introdujo la teoría moderna de ecuaciones integrales, que se conoce como teoría
de Fredholm.
6.3. ECUACIONES INTEGRALES 105
Una función continua f : [a; b] ! R que satisface (6.7) para todo x 2 [a; b] se llama
una solución de (6.7). Nos preguntamos, ¿para qué valores tiene la ecuación (6.7) una
única solución?
Queremos expresar este problema como un problema de punto …jo. Es decir, quere-
mos encontrar una función : C 0 [a; b] ! C 0 [a; b] cuyos puntos …jos sean las soluciones
de la ecuación (6.7). Para ello, procederemos del siguiente modo. A cada f 2 C 0 [a; b] le
asociamos la función Ff : [a; b] ! R dada por
Z b
(Ff ) (x) := K(x; y)f (y)dy:
a
Probaremos que Ff 2 C 0 [a; b] (ver Lema 6.8). Esto nos permite de…nir una función de
C 0 [a; b] en sí mismo como sigue:
1
: C 0 [a; b] ! C 0 [a; b]; (f ) := (Ff + g):
es continua.
106 6. EL TEOREMA DE PUNTO FIJO DE BANACH Y APLICACIONES
Por tanto,
Z b
j(Ff ) (x1 ) (Ff ) (x2 )j jK(x1 ; y) K(x2 ; y)j jf (y)j dy
a
"
(b a) kf k1 = " si jx1 x2 j < :
(b a) kf k1
Teorema 6.9 Si j j > kKk1 (b a) entonces, para cada g 2 C 0 [a; b]; la ecuación
integral de Fredholm (6.7) tiene una única solución.
El lema anterior asegura que es, efectivamente, una función de C 0 [a; b] en sí mismo.
Veamos que, si j j > kKk1 (b a); entonces es una contracción. Sean f1 ; f2 2 C 0 [a; b]:
Entonces, para toda x 2 [a; b]; se tiene que
1
j (f1 )(x) (f2 )(x)j = jFf1 (x) Ff2 (x)j
j j
Z b
1
jK(x; y)j jf1 (y) f2 (y)j dy
j j a
1
(b a) kKk1 kf1 f2 k1 :
j j
Por consiguiente,
1
k (f1 ) (f2 )k1 (b a) kKk1 kf1 f2 k1 8f1 ; f2 2 C 0 [a; b]:
j j
1
Por hipótesis, j j
(b a) kKk1 < 1: En consecuencia, es una contracción.
6.3. ECUACIONES INTEGRALES 107
Dado que C 0 [a; b] es completo (ver Teorema 5.21), el Teorema 6.3 asegura que existe
una única f 2 C 0 [a; b] tal que
1
f = (f ) = (Ff + g) :
Es decir, existe una única f 2 C 0 [a; b] que satisface la ecuación integral de Fredholm
f = Ff + g;
Es sencillo comprobar que la función F : C 0 [a; b] ! C 0 [a; b]; que a cada f le asocia
Ff; es lineal y continua [Ejercicio 6.30]. Si g = 0; la ecuación integral de Fredholm se
convierte en la ecuación de valores propios3
Ff = f
3
Recuerda que v 2 V es un valor propio (llamado también autovalor o eigenvalor ) de la función
lineal L : V ! V si v 6= 0 y Lv = v para algún 2 R:
4
Vito Volterra (1860-1940) nació en Ancona, Italia. Estudió en la universidad de Pisa, bajo la
supervisión de Enrico Betti. Fue profesor en las universidades de Turín y Roma.
108 6. EL TEOREMA DE PUNTO FIJO DE BANACH Y APLICACIONES
Vito Volterra
Queremos expresar a las soluciones de (6.8) como los puntos …jos de una función
: C 0 [a; b] ! C 0 [a; b]: Para ello, a cada función f 2 C 0 [a; b] le asociamos la función
Vf : [a; b] ! R dada por
Z x
(Vf ) (x) := K(x; y)f (y)dy:
a
f Vf = g:
Probaremos que Vf 2 C 0 [a; b] (ver Lema 6.10). Si 6= 0; podemos entonces de…nir una
función de C 0 [a; b] en sí mismo como sigue:
1
: C 0 [a; b] ! C 0 [a; b]; (f ) := (Vf + g):
Sus puntos …jos son las soluciones de la ecuación (6.8). Probaremos que para cada 6= 0
existe k 2 N tal que la función k es una contracción (ver Lema 6.11). El Corolario 6.6
asegura entonces que tiene un único punto …jo, es decir, que la ecuación (6.8) tiene
una única solución.
Lema 6.10 Para cada f 2 C 0 [a; b]; la función Vf : [a; b] ! R dada por
Z x
(Vf ) (x) := K(x; y)f (y)dy
a
es continua.
Z x1 Z x2
j(Vf ) (x1 ) (Vf ) (x2 )j = (K(x1 ; y) K(x2 ; y))f (y)dy K(x2 ; y)f (y)dy
a x1
Z x1 Z x2
jK(x1 ; y) K(x2 ; y)j jf (y)j dy + jK(x2 ; y)j jf (y)j dy
a x1
" "
< (x1 a) kf k1 + kKk1 kf k1
2(b a) kf k1 2 kKk1 kf k1
" "
+ = ":
2 2
1
(f ) := (Vf + g) :
El lema anterior asegura que es, efectivamente, una función de C 0 [a; b] en sí mismo.
Probaremos el siguiente resultado.
k (b a)k
k
(f1 ) k
(f2 ) 1
j j kKkk1 kf1 f2 k1 ;
k!
1 k
k k j j kKk1 (x a)
(f1 )(x) (f2 )(x) kf1 f2 k1 8x 2 [a; b]: (6.9)
k!
(0; x; y) = ( y; x) (1; x; y) = (x y; x + y)
u0 = (t; u);
(6.11)
u(t0 ) = x0 ;
Queremos expresar la ecuación integral (6.12) como un problema de punto …jo. Para
ello requerimos una condición adicional sobre el campo : Denotemos por
B(x0 ; ) := fx 2 Rn : kx x0 k g
a t0 −δ t0 +δ b
De…nimos
X := fu 2 C 0 ([t0 ; t0 + ]; Rn ) : ku x 0 k1 Mg
donde x0 es la función constante con valor x0 y
Nota que el integrando está bien de…nido porque, de acuerdo con el lema anterior,
u(s) 2 para todo s 2 [t0 ; t0 + ]: Requerimos la siguiente desigualdad.
En consecuencia, u 2 X:
C ku vk1 :
Por consiguiente,
k (u) (v)k1 C ku vk1
y, como hemos elegido tal que C < 1; se tiene que es una contracción.
Como X es completo, el Teorema 6.3 asegura que tiene un único punto …jo. Es
decir, que existe una única u 2 X que satisface la ecuación integral (6.12). Del Lema
6.14 se sigue que u es la única solución del problema de Cauchy (6.11) en el intervalo
[t0 ; t0 + ]:
116 6. EL TEOREMA DE PUNTO FIJO DE BANACH Y APLICACIONES
6.5. Ejercicios
Ejercicio 6.20 Sea X = Xdisc un espacio discreto (ver Ejemplo 2.16). Prueba que
: X ! X es una contracción si y sólo si es una función constante.
Ejercicio 6.21 (a) Prueba que la función : Rnp ! Rnp dada por (x) = 21 x es una
contracción para todo p 2 [1; 1):
(b) ¿Es posible darle a Rn alguna métrica tal que no sea contracción?
(c) ¿Es posible darle a Rn alguna norma tal que no sea contracción?
Ejercicio 6.22 (a) Usa el teorema del valor intermedio para probar que toda función
continua f : [a; b] ! [a; b] tiene al menos un punto …jo.
(b) Da un ejemplo de una función continua f : [a; b] ! [a; b] con una in…nidad de
puntos …jos.
y que no tiene ningún punto …jo. Es decir, la condición (6.14) no es su…ciente para
garantizar la existencia de un punto …jo.
P
k 1 k
f m Vm 1 g kgk1 ;
m=1 1 (1 )j j
1
donde := j j
kKk1 (b a) y V es el operador de Volterra.
Ejercicio 6.35 Dada una función 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 a a
al vector cuyas componentes son las integrales de las componentes de f: Prueba que
Z b
f (t)dt jb aj kf k1 ;
a
u0 = 3u2=3 ;
u(0) = 0:
u0 = u2 ;
(6.17)
u(0) = 1 :
Prueba que
1
u(t) =
t
es solución de (6.17) en algún intervalo que contiene a 0:
(c) ¿Cuál es el intervalo máximo para el que existe una solución de (6.17)?
Capítulo 7
Compacidad en espacios de
funciones
donde BX (a; ") denota a la bola abierta con centro en a y radio " en X:
(a) X es compacto.
Heine-Borel. La caracterización (c) es muy útil, como veremos en las siguientes sec-
ciones.
C 0 (K; X) := ff : K ! X : f es continuag
ver (4.8). Usaremos el Corolario 7.6 para obtener una caracterización sencilla de los
subconjuntos relativamente compactos de C 0 (K; X). La siguiente noción, introducida
por Ascoli en 1884, jugará un papel fundamental.
El aspecto crucial de esta de…nición es que la misma > 0 nos sirve para todas las
funciones que pertenecen a H: Un ejemplo en el que esto no se cumple es el siguiente.
Ejemplo 7.8 El conjunto H = ffk 2 C 0 ([ 1; 1]; R) : k 2 Ng; donde
8
< 1 si t 2 1; k1 ;
1 1
fk (t) = kt si t 2 ; ;
k k
: 1
1 si t 2 k ; 1 ;
no es equicontinuo en 0:
1 1
0 .5 0 .5
0 0
-1 -0 .5 0 0 .5 1 -1 -0 .5 0 0 .5 1
-0 .5 -0 .5
-1 -1
f3 f6
H(z) := ff (z) : f 2 Hg
dX (f (y); f (z)) dX (f (y); gi (y)) + dX (gi (y); gi (z)) + dX (gi (z); f (z))
< " si dK (y; z) < :
Probaremos ahora que cada H está contenida en una bola de radio " con centro en
H: Sean f; g 2 H y sea z 2 K: Se sigue de (7.4) que existe i 2 f1; :::; mg tal que
dK (z; zi ) < zi y, en consecuencia, (7.3) implica que dX (h(z); h(zi )) < 4" para toda
h 2 H: Por tanto,
Tomando el máximo sobre toda z 2 K concluimos que d1 (f; g) < " para todas f; g 2
H : En consecuencia, para cualquier elección de g 2 H ; se cumple que
H B1 (g ; "): (7.7)
es un operador compacto.
Demostración: Sea (fk ) una sucesión en C 0 [a; b] tal que kfk k1 c para algún c 2 R:
Entonces,
Z x
j(Vfk )(x)j jK(x; y)j jfk (y)j dy (b a) kKk1 kfk k1 (b a) kKk1 c
a
para todo x 2 [a; b] y todo k 2 N: Por tanto, kVfk k1 (b a) kKk1 c para todo k 2 N,
es decir, H := fVfk : k 2 Ng es acotado en C 0 [a; b]: Más aún, como K es uniformemente
continua, para cada " > 0 existe 1 > 0 tal que
"
jK(x1 ; y1 ) K(x2 ; y2 )j < si k(x1 ; y1 ) (x2 ; y2 )k < 1:
2(b a)c
130 7. COMPACIDAD EN ESPACIOS DE FUNCIONES
Z x1 Z x2
j(Vfk ) (x1 ) (Vfk ) (x2 )j = (K(x1 ; y) K(x2 ; y))fk (y)dy K(x2 ; y)fk (y)dy
a x1
Z x1 Z x2
jK(x1 ; y) K(x2 ; y)j jfk (y)j dy + jK(x2 ; y)j jfk (y)j dy
a x1
" "
< (b a) c+ kKk1 c = ";
2(b a)c 2 kKk1 c
En las siguientes secciones daremos otras dos aplicaciones importantes del teorema
de Arzelà-Ascoli.
u0 = (t; u);
u(t0 ) = x0 ;
y consideremos el conjunto
K := f(t; x) 2 R Rn : jt t0 j r; kx x0 k rg:
y sea
r
g: := m nfr;
M
Empezaremos demostrando que el problema de Cauchy tiene soluciones aproximadas.
Lema 7.13 Dada " > 0 existe u" 2 C 0 ([t0 ; t0 + ] ; Rn ) con las siguientes propiedades:
(d) Existe un subconjunto …nito F" de (t0 ; t0 + ) tal que u" es continuamente
diferenciable en (t0 ; t0 + ) r F" ; y
Probaremos primero que u" está bien de…nida, es decir, que u" (ti ) 2 para todo
i= n; :::; n: Para ello, basta probar 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 :
k (t; u" (t)) u0" (t)k = k (t; u" (t)) (ti ; u" (ti ))k ":
donde u1=k es la función dada por el Lema 7.13. Si denotamos por x0 a la función
constante con valor x0 de…nida en [t0 ; t0 + ] ; la función u1=k satisface
u1=k x0 1
= max u1=k (t) x0 r:
jt t0 j
Esto prueba que H está acotado en C 0 ([t0 ; t0 + ] ; Rn ): Por otra parte, dada " > 0;
la propiedad (c) del Lema 7.13 asegura que, para toda k 2 N,
"
u1=k (t) u1=k (s) < " si jt sj < :
M
Esto prueba que H es equicontinuo.
El Corolario 7.10 asegura entonces que H es relativamente compacto en C 0 ([t0 ; t0 + ] ; Rn ).
Por tanto, existen una subsucesión (u1=kj ) de (u1=k ) y una función u 2 C 0 ([t0 ; t0 + ] ; Rn )
tales que
u1=kj ! u cuando j ! 1 en C 0 ([t0 ; t0 + ] ; Rn ): (7.12)
3
Giuseppe Peano (1858-1932) nació en Piemonte, Italia. Estudió en la universidad de Torino, en
donde fue profesor. Publicó su teorema de existencia en 1886 con una prueba incorrecta y en 1890
publicó una nueva demostración correcta usando aproximaciones sucesivas.
134 7. COMPACIDAD EN ESPACIOS DE FUNCIONES
Sea " > 0: Como es uniformemente continua en K; existe > 0 tal que
"
k (s; x) (s; y)k < si (s; x); (s; y) 2 K y kx yk < :
3
"
Tomemos j0 2 N tal que kj
< 3
para todo j j0 y tal que
"
u1=kj u 1
< m nf ; g si j j0 :
3
Entonces, usando el Lema 6.17, para cada t 2 [t0 ; t0 + ] obtenemos
Z t
(s; u1=kj (s)) (s; u (s)) ds jt t0 j max (s; u1=kj (s)) (s; u (s))
t0 js t0 j
"
< si j j0 :
3
Usando además el teorema fundamental del cálculo y la propiedad (d) obtenemos
Z t Z th i
0
u1=kj (t) x0 (s; u1=kj (s))ds = u1=kj (s) (s; u1=kj (s)) ds
t0 t0
1
jt t0 j
kj
"
< si j j0 :
3
En consecuencia,
Z t
u (t) x0 (s; u (s))ds u (t) u1=kj (t)
t0
Z t
+ u1=kj (t) x0 (s; u1=kj (s))ds
t0
Z t
+ (s; u1=kj (s)) (s; u (s)) ds
t0
< ";
7.4. EXISTENCIA DE TRAYECTORIAS DE LONGITUD MíNIMA 135
para toda " > 0: Esto demuestra (7.13). El Lema 6.14 asegura entonces que u es
solución del problema (7.11).
P
m
L( ) := sup d( (tk 1 ); (tk )) : a = t0 t1 tm = b; m 2 N
k=1
(ver De…nición 4.20). El objetivo de esta sección es dar una respuesta a la siguiente
pregunta.
y la función longitud
Demostración: Sea 2 Tx;y (X) tal que L( ) c: Las funciones k : [0; 1] ! [0; 1]
dadas por
kt si t 2 0; k1 ;
k (t) :=
1 si t 2 k1 ; 1 ;
son continuas, no decrecientes y suprayectivas. Por tanto, k := k es una repara-
metrización de y, en consecuencia, L( k ) = L( ) c: Observa que
1
k (t) = (1) = y si t 2 (0; 1] y k ;
t
k (0) = (0) = x 8k 2 N:
c
lo que contradice la continuidad de : Esto prueba que L no es compacto.
De…nición 7.19 Decimos que una trayectoria 2 C 0 ([0; 1]; X) de longitud …nita está
parametrizada proporcionalmente a la longitud de arco si
σ(0)=σ(1)
0 1
Lema 7.20 Dada 2 C 0 ([0; 1]; X) de longitud …nita, de…nimos : [0; 1] ! [0; L( )]
como
(t) := L( j[0;t] ):
Esta función es continua, no decreciente y suprayectiva.
Por tanto, l mk!1 (tk ) = (t ); lo que demuestra que es continua por la izquierda.
Probemos ahora que es continua por la derecha. Sean tk ; t 2 [0; 1] tales que tk t
y tk ! t : Consideremos ahora las reparametrizaciones k ; 2 C 0 ([0; 1]; X) de j[tk;1 ]
y j[t ;1] dadas por
k (t) := (tk (1 t) + t); (t) := (t (1 t) + t):
El Lema 7.16 y el Ejercicio 7.39 aseguran que
L( k ) = L( j[tk ;1] ) = L( ) (tk );
L( ) = L( j[t ;1] ) = L( ) (t ):
Argumentando como antes concluimos que l mk!1 L( k ) = L( ): De las identidades
anteriores se sigue entonces que l mk!1 (tk ) = (t ); lo cual demuestra que es
continua por la derecha.
Finalmente, como (0) = 0 y (1) = L( ); el teorema del valor intermedio implica
que es suprayectiva.
Denotamos por
T^x;y (X) := f 2 Tx;y (X) : L( ) < 1; L( j[0;t] ) = L( )t 8t 2 [0; 1]g
al espacio de las trayectorias de x a y parametrizadas proporcionalmente a la longitud
de arco, con la métrica uniforme.
7.4. EXISTENCIA DE TRAYECTORIAS DE LONGITUD MíNIMA 139
Lema 7.21 Para cada 2 Tx;y (X) de longitud …nita existe ^ 2 T^x;y (X) tal que L(^ ) =
L( ):
Demostración: Sea 2 Tx;y (X) de longitud …nita y sea : [0; 1] ! [0; L( )] como
en el Lema 7.20. Observa que, como es no decreciente, si (t1 ) = (t2 ) entonces
(t) = (t1 ) para todo t 2 [t1 ; t2 ]: Por tanto, la función e : [0; L( )] ! X; dada por
1
e(s) := (t) con t 2 (s);
( 1
(Y )) = e 1 (Y ):
Demostración: Por hipótesis, Tx;y (X) 6= ;: Si todas las trayectorias en Tx;y (X)
tienen longitud in…nita, cualquiera de ellas es un mínimo de L.
140 7. COMPACIDAD EN ESPACIOS DE FUNCIONES
Supongamos pues que existe 2 Tx;y (X) tal que L( ) =: c < 1: Entonces, por el
Lema 7.21,
H := f 2 T^x;y (X) : L( ) cg =6 ;:
Veamos que este conjunto satisface las hipótesis del teorema de Arzelà-Ascoli. Como X
es compacto, cualquier subconjunto de X es relativamente compacto en él. En partic-
ular,
H(t) := f (t) : 2 Hg
es relativamente compacto en X para todo t 2 [0; 1]: Probemos ahora que H es equicon-
tinuo. Sean t0 2 [0; 1] y " > 0: Para toda 2 H se cumple que
L( 0 ) L( ) 8 2 K:
Dado que ^ 2 H K para todo 2 Tx;y (X) con L( ) c; el Lema 7.21 asegura que
7.5. Ejercicios
Ejercicio 7.23 Sea A un subconjunto de X: Investiga si es falsa o verdadera cada una
de las siguientes a…rmaciones.
Ejercicio 7.26 Prueba que los subconjuntos totalmente acotados de Rn son precisa-
mente los conjuntos acotados.
(a) X = `2 :
(b) X = `1 :
1
Q := (xk ) 2 `2 : jxk j
2k 1
(a) Q es cerrado en `2 :
142 7. COMPACIDAD EN ESPACIOS DE FUNCIONES
Ejercicio 7.31 Sean Z y X espacios métricos y H C 0b (Z; X): Prueba que, si existen
C; > 0 tales que
entonces H es equicontinuo.
Ejercicio 7.32 Sean Z y X espacios métricos. Prueba que la cerradura en Cb0 (Z; X)
de cualquier subconjunto equicontinuo es equicontinua.
p
Ejercicio 7.33 Sea fk : [0; 1) ! R la función dada por fk (t) := sen t + 4 2 k 2 :
Demuestra las siguientes a…rmaciones:
(b) El conjunto H(t) es relativamente compacto en R para cada t 2 [0; 1): (Sugeren-
cia: Prueba que la sucesión (fk ) converge puntualmente a 0 en [0; 1):)
(c) H no es un subconjunto compacto de Cb0 ([0; 1); R). (Sugerencia: Prueba que la
sucesión (fk ) no converge uniformemente a 0 en [0; 1):)
Ejercicio 7.37 Sea K : [a; b] [a; b] ! R una función continua. Prueba que el operador
de Fredholm F : C 0 [a; b] ! C 0 [a; b] dado por
Z b
(Ff )(x) := K(x; y)f (y)dy
a
es un operador compacto.
L( ) = L( ):
Ejercicio 7.39 Prueba que, si a < b < c; entonces para toda 2 C 0 ([a; c]; X) se cumple
que
L( ) = L( j[a;b] ) + L( j[b;c] ):
^k (t) si t 2 0; 21 ;
k (t) := 2 2t
k
+ 2t 1; 0 si t 2 21 ; 1 ;
(0; 0) si t 2 0; 12 ;
(t) :=
(2t 1; 0) si t 2 12 ; 1 :
7.6.2. Procedimiento
Elije una sucesión creciente de números reales ak 2 (0; 1) tal que l mk!1 ak = 1 y
de…ne
3 2 P 1
A+ : = a2k x2k < 1 ;
(xk ) 2 `2 : (x1
) +
4 k=2
3 2 P 1
A : = (xk ) 2 `2 : (x1 + ) + a2k x2k < 1 ;
4 k=2
+ +
X : = `2 r A \ A :
h := f(xk ) 2 `2 : x1 = 0g:
Teoremas de aproximación
Cuando hacemos cálculos con números reales usamos siempre una aproximación
decimal de éstos, es decir, usamos algún número racional su…cientemente cercano al
número real que nos interesa. Por motivos análogos, es conveniente aproximar funciones
por otras más sencillas.
En este capítulo probaremos que toda función continua f : [a; b] ! R se puede
aproximar uniformemente por una función polinomial. Este resultado se conoce como
el teorema de aproximación de Weierstrass y tiene relevancia desde el punto de vista
teórico y práctico, ya que los polinomios son funciones sencillas y fáciles de calcular. De
hecho, exhibiremos una sucesión explícita de polinomios que converge uniformemente
a f en [a; b] : los polinomios de Bernstein.
La versión original del teorema de aproximación fue formulada por Weierstrass
en 1885. En 1937 Stone generalizó considerablemente este resultado, y simpli…có su
demostración. El resultado de Stone se conoce como el teorema de Stone-Weierstrass,
y extiende el resultado original de Weierstrass en dos sentidos: permite reemplazar al
intervalo [a; b] por cualquier espacio métrico compacto K; y permite reemplazar a los
polinomios por subconjuntos más generales del espacio de funciones continuas C 0 (K; R):
En este capítulo expondremos también este resultado.
p (t) = a0 + a1 t + + an tn ; ak 2 R; n 2 N [ f0g.
se sigue que
X
n
X
n 1
n 1
= tj+1 (1 t)n 1 j
j
j=0
X
n 1
j+1 n
= tj+1 (1 t)n (j+1)
n j+1
j=0
Xn
k
= n;k (t)
k=1
n
X
n
k
= n;k (t):
k=0
n
En consecuencia,
X
n
nt = k n;k (t): (8.2)
k=0
0 .2 5
0 .7 5
0 .2
0 .5 0 .1 5
0 .1
0 .2 5
0 .0 5
0 0
0 0 .2 5 0 .5 0 .7 5 1 0 0 .2 5 0 .5 0 .7 5 1
t t
0 .2 5
0 .7 5
0 .2
0 .1 5 0 .5
0 .1
0 .2 5
0 .0 5
0 0
0 0 .2 5 0 .5 0 .7 5 1 0 0 .2 5 0 .5 0 .7 5 1
t t
X
n
k
n (t) = f;n (t) := f n;k (t):
k=0
n
1
Sergei Natanovich Bernstein (1880-1968) nació en Odessa, entonces parte del Imperio Ruso. Es-
tudió en Göttingen bajo la supervisión de David Hilbert. En su tesis doctoral, presentada en 1904
en la Sorbonne de París, resolvió el 19o problema de Hilbert sobre la solución analítica de ecuaciones
diferenciales elípticas.
150 8. TEOREMAS DE APROXIMACIÓN
Sergei Bernstein
Demostración: Sea " > 0: Como f es uniformemente continua, existe > 0 tal que
"
jf (s) f (t)j < si js tj < : (8.4)
2
Fijemos t 2 [0; 1]: Multiplicando la igualdad (8.1) por f (t) obtenemos que
X
n
f (t) = f (t) n;k (t) 8n 2 N:
k=0
En consecuencia,
X
n
k X
n
k
f (t) f;n (t) = (f (t) f ) n;k (t) f (t) f n;k (t): (8.5)
k=0
n k=0
n
Probaremos que el lado derecho de esta desigualdad es menor que " si n satisface
( )
1 kf k21
n max 4; : (8.6)
"2
1
y tomemos una n que cumpla (8.6). Entonces n1 4 ; y se sigue de (8.4) y de (8.1)
que
X k X" "X
n
"
f (t) f n;k (t) < n;k (t) n;k (t) = : (8.7)
k2I1
n k2I1
2 2 k=0 2
p
Por otra parte, si k 2 I2 entonces (t nk ) 2 n y, en consecuencia,
X k X
f (t) f n;k (t) 2 kf k1 n;k (t)
k2I2
n k2I2
X (t k 2
)
n
= 2 kf k1 k 2 n;k (t)
k2I
(t n
)
2
p X k
2
2 kf k1 n t n;k (t): (8.8)
k2I2
n
De las desigualdades (8.5), (8.7) y (8.11) obtenemos que, si n satisface (8.6), entonces
X
n
k
f (t) f;n (t) f (t) f n;k (t)
k=0
n
X k X k
= f (t) f n;k (t) + f (t) f n;k (t) <"
k2I1
n k2I2
n
Observa que la fórmula (8.12) nos da una estimación del error, en términos de f; en
cada paso de la aproximación.
El siguiente resultado es consecuencia inmediata del teorema anterior.
kpn f k1 = max jpn (s) f (s)j = max g;n (t) g(t) = g;n g 1
:
s2[a;b] t2[0;1]
Ejemplo 8.4 Sea f (t) = sen 1t ; t 2 (0; 1]: Ninguna sucesión de polinomios converge
uniformemente a f en (0; 1]:
y 1
0 .5
0
0 .2 0 .4 0 .6 0 .8 1
-0 .5
-1
pk ! g en C 0 [0; 1]:
n 2
l m sen = lm g = g(0);
n!1 2 n!1 n
con coe…cientes reales. El Teorema 8.3 a…rma que el conjunto de funciones polinomiales
en [a; b];
P [a; b] := fp j[a:b] : p 2 R [t]g;
es denso en C 0 [a; b]: En esta sección probaremos una generalización de este resultado,
conocido como el teorema de Stone2 -Weierstrass.
Marshall Stone
C 0 (K) := C 0 (K; R)
kf k1 = max jf (x)j :
x2K
2
Marshall Harvey Stone (1903-1989) nació en Nueva York. Estudió en la universidad de Harvard,
donde obtuvo el doctorado bajo la supervisión de George David Birkho¤. Fue profesor en esa univer-
sidad.
8.2. EL TEOREMA DE STONE-WEIERSTRASS 155
Observa que C 0 (K) no sólo es un espacio vectorial sino que cuenta además con un
producto, de…nido como sigue:
f g : K ! R; (f g)(x) := f (x)g(x):
Este producto le da al espacio vectorial C 0 (K) la estructura de una R-álgebra con
unidad [Ejercicio 8.26]. La unidad es la función constante igual a 1; a la que denotamos
por 1:
El siguiente resultado da condiciones su…cientes para que un subconjunto A de
C 0 (K) sea denso en C 0 (K):
Teorema 8.6 (Stone-Weierstrass) Sea K un espacio métrico compacto y sea A un
subconjunto de C 0 (K) con las siguientes propiedades:
(a) '+ 2A para cualesquiera '; 2Ay ; 2 R.
(b) ' 2 A para cualesquiera '; 2 A.
(c) 1 2 A.
(d) Dados x1 6= x2 en K; existe ' 2 A tal que '(x1 ) 6= '(x2 ):
Entonces A es denso en C 0 (K), es decir, dada una función continua f : K ! R
existe una sucesión ('k ) de funciones en A que converge uniformemente a f en K:
En términos algebraicos, las primeras tres condiciones (a), (b) y (c) se expresan
diciendo que A es una R-subálgebra con unidad de la R-álgebra de funciones continuas
C 0 (K). La propiedad (d) suele expresarse diciendo que A separa puntos.
Para demostrar el teorema de Stone-Weierstrass usaremos los siguientes cuatro
lemas.
Lema 8.7 Dados x1 6= x2 en K y c1 ; c2 2 R; existe 2 A tal que (x1 ) = c1 y
(x2 ) = c2 :
Demostración: Sea ' 2 A tal que '(x1 ) 6= '(x2 ): Como el determinante
'(x1 ) 1
6= 0;
'(x2 ) 1
existen ; 2 R tales que
'(x1 ) + = c1 (8.13)
'(x2 ) + = c2 (8.14)
De las propiedades (a) y (c) se sigue que la función := ' + 1 2 A. Las igualdades
(8.13) y (8.14) a…rman que (x1 ) = c1 y (x2 ) = c2 :
156 8. TEOREMAS DE APROXIMACIÓN
Lema 8.8 La cerradura A de A en C 0 (K) también tiene las propiedades (a), (b) y (c).
(maxff; gg)(x) := maxff (x); g(x)g; (m nff; gg)(x) := m nff (x); g(x)g:
8.2. EL TEOREMA DE STONE-WEIERSTRASS 157
Como A satisface la propiedad (a), el lema anterior implica que maxf'; g; m nf'; g 2
A:
K BK (y1 ; y1 ) [ [ BK (ym ; ym ):
Sea 'x := maxf'x;y1 ; :::; 'x;ym g: El Lema 8.10 asegura que 'x 2 A: Puesto que cada
z 2 K pertenece a alguna B(yi ; yi ); la desigualdad (8.17) implica que
Por otra parte, dado que 'x;y (x) = f (x) para todo y 2 K; se tiene que 'x (x) = f (x)
y, como 'x f es continua, existe x > 0 tal que
K BK (x1 ; x1 ) [ [ BK (xn ; xn ):
Sea ' := m nf'x1 ; :::; 'xn g: El Lema 8.10 asegura que ' 2 A: Puesto que cada z 2 K
pertenece a alguna B(xi ; xi ); usando la desigualdad (8.19) obtenemos que
Las desigualdades (8.20) y (8.21) implican que k' f k1 < ": Por consiguiente, dado
que ' 2 A; concluimos que f 2 A:
Denotemos por R [x1 ; :::; xn ] al conjunto de polinomios
X
m
ki;1
p(x1 ; :::; xn ) = i x1 xkni;n ; ai 2 R; ki;j 2 N [ f0g;
i=1
8.3. Ejercicios
Ejercicio 8.12 Demuestra la igualdad (8.3).
es denso en Rn .
Ejercicio 8.16 Sea Q1 el conjunto de todas las sucesiones (q1 ; :::; qk ; 0; 0; :::) de números
racionales tales que sólo un número …nito de sus términos es distinto de cero.
q (t) = q0 + q1 t + + qn tn ; n 2 N [ f0g; qi 2 Q,
(b) El conjunto de todas las sucesiones (bk ) tales que bk 2 f0; 1g no es a lo más
numerable.
(c) Prueba que R no es a lo más numerable. (Sugerencia: Usa el hecho de que todo
número real tiene una representación binaria.)
(a) Ningún subconjunto propio de un espacio métrico discreto Xdisc es denso en Xdisc :
(b) Un espacio métrico discreto Xdisc es separable si y sólo si Xdisc es a lo más nu-
merable.
Diferenciabilidad
161
Capítulo 9
Diferenciabilidad
Por otra parte, este nivel de generalidad permite de…nir muchos conceptos de manera
sencilla. Un ejemplo de ello son las derivadas de orden superior, cada una de las cuales
no es sino la derivada de la precedente. Además, la demostración en esta generalidad de
los resultados que ya conocemos ayuda a comprenderlos mejor y a mayor profundidad.
Y no perdemos nada, ya que las demostraciones no son ni más largas ni más complicadas
que las correspondientes para espacios euclidianos.
(a) T es continua
(b) T es continua en 0:
En consecuencia,
2 v 2
kT vkW = kvkV T < kvkV 8v 2 V:
2 kvkV W
(c))(d): Si existe c > 0 tal que kT vkW c kvkV para todo v 2 V; entonces
y de…nimos
kT vkW
kT kL(V;W ) := sup 8T 2 L(V; W ): (9.1)
v2V kvkV
v6=0
Nota que L(V; W ) es un espacio vectorial con las operaciones dadas por
(T + S)v := T v + Sv; ( T )v := T v;
Demostración: Sean (Tk ) una sucesión de Cauchy en L(V; W ) y " > 0: Entonces
existe k0 2 N tal que
kTk Tj kL(V;W ) < " 8j; k k0 :
Por tanto,
kTk v Tj vkW < " kvkV 8j; k k0 ; 8v 2 V: (9.3)
Esto implica que, para cada v 2 V; la sucesión (Tk v) es de Cauchy en W y, como W es
un espacio de Banach, existe T v 2 W tal que
Tk v ! T v en W:
T ( v + w) = l m Tk ( v + w) = l m ( Tk v + Tk w)
k!1 k!1
= l m Tk v + l m Tk w = T v + T w:
k!1 k!1
Esto prueba que T es lineal. Por otra parte, haciendo tender k ! 1 en la desigualdad
(9.3) obtenemos
De la Proposición 9.1 se sigue que T Tk0 es continua. Por tanto, T = (T Tk0 ) + Tk0
es continua.
Finalmente, la desigualdad (9.4) implica que
kT v Tj vkW
" 8j k0 ; 8v 2 V:
kvkV
Por tanto,
kT Tj kL(V;W ) " 8j k0 :
Esto prueba que Tj ! T en L(V; W ): En consecuencia, L(V; W ) es un espacio de
Banach.
9.2. Diferenciabilidad
Para hablar de diferenciabilidad requerimos la noción de límite.
y0 = l m f (x)
x!x0
En consecuencia,
kT1 v T2 vkW < " kvkV 8v 2 V:
Como " > 0 es arbitraria, necesariamente T1 v = T2 v:
168 9. DIFERENCIABILIDAD
D' : ! L(V; W ):
Por tanto,
P1
j'(x + y) '(x) 2 k=1 xk yk j
= kyk`2 ! 0 cuando y ! 0:
kyk`2
k'(u) '(u0 )kW k'(u) '(u0 ) '0 (u0 )(u u0 )kW + k'0 (u0 )(u u0 )kW
< ku u0 kV + k'0 (u0 )kL(V;W ) ku u0 kV
= 1 + k'0 (u0 )kL(V;W ) ku u0 kV si ku u 0 kV < 1:
1
Dada " > 0; tomemos := m n 1; " 1 + k'0 (u0 )kL(V;W ) : Entonces,
donde
0
o3 (v) := (v0 ) [o1 (v)] + o2 ('0 (u0 )v + o1 (v)):
Probaremos a continuación que
ko3 (v)kZ
lm = 0: (9.6)
v!0 kvkV
" "
"1 := m n ;1 ; "2 := :
2c2 2c1
Como ' es diferenciable en u0 y es diferenciable en v0 ; existen 1; 2 > 0 tales que
kT [t]kV tT [1]
kT kL(R;V ) = sup = sup = kT [1]kV 8T 2 L(R; V ):
t2R jtj t2R t V
t6=0 t6=0
Es decir,
0 (t + t0 ) (t0 )
(t0 ) = l m 2 V:
t!0 t
Esta identidad permite interpretar a 0 (t0 ) como la velocidad de la trayectoria :
(a; b) ! V en el tiempo t0 ; tal y como solemos hacer cuando V = Rn : Si V = R entonces
172 9. DIFERENCIABILIDAD
0
(t0 ) 2 R es la pendiente de la recta tangente a la grá…ca de en el punto (t0 ; (t0 )):
Teorema 9.14 (del valor medio) Sea : [a; b] ! V una función continua. Si es
diferenciable en todo punto t 2 (a; b) y si existe M 2 R tal que
entonces
k (b) (a)kV M (b a):
u1
u0
Las funciones de los Ejemplos 9.8 y 9.9 son de clase C 1 ya que en ambos casos la
derivada es una función constante. Veamos que la función del Ejemplo 9.10 también es
de clase C 1 .
Por tanto,
Como consecuencia del teorema del valor medio obtenemos el siguiente resultado.
y
k'(u1 ) '(u0 )kW sup k'0 (ut )kL(V;W ) ku1 u 0 kV :
t2[0;1]
y se cumple que
k'(u1 ) '(u0 ) '0 (u) [u1 u0 ]kW sup k'0 (ut ) '0 (u)kL(V;W ) ku1 u 0 kV :
t2[0;1]
0
Demostración: Sea := ' '0 (u): Entonces (v) = '0 (v) '0 (u) para toda v 2 :
Aplicando el Corolario 9.17 obtenemos que
k'(u1 ) '(u0 ) '0 (u) [u1 u0 ]kW = k (u1 ) (u0 )kW
0
sup k (ut )kL(V;W ) ku1 u 0 kV
t2[0;1]
Es decir,
'(u0 + tv) '(u0 )
'0 (u0 )v = l m 8v 2 V:
t!0 t
De este modo obtenemos una condición necesaria para que ' sea diferenciable en
u0 : en primer lugar, para cada v 2 V debe existir el límite
'(u0 + tv) '(u0 )
lm : (9.13)
t!0 t
Este límite se llama la derivada direccional de ' en u0 en la dirección de v: En
segundo lugar, la función G'(u0 ) : V ! W dada por
'(u0 + tv) '(u0 )
G'(u0 )v := l m (9.14)
t!0 t
debe ser lineal y continua. Esto da lugar al siguiente concepto.
0 v (t
+ h) v (t)
v (t) = lm
h!0 h
'(u0 + tv + hv) '(u0 + tv) G'(u0 ) [hv]
= lm
h!0 h
'(u0 + tv + hv) '(u0 + tv)
= lm G'(u0 )v
h!0 h
= G'(u0 + tv)v G'(u0 )v:
Usando el teorema del valor medio (ver Teorema 9.14) concluimos que
Esto prueba que ' es diferenciable en u0 y que '0 (u0 ) = G'(u0 ): Como G' es continua,
' es de clase C 1 en :
jf (x + hz) f (x) f 0 (x)hz)j sup jf 0 (x + shz) f 0 (x)j jhzj < ~" jhzj : (9.16)
s2[0;1]
Observa que
Por tanto, podemos aplicar la desigualdad (9.16) a x := u(t); z := v(t) y 0 < jhj <
m nf1; kvk g para obtener
1
Z b
'(u + hv) '(u)
f 0 (u(t))v(t)dt
h a
Z b
f (u(t) + hv(t)) f (u(t))
f 0 (u(t))v(t) dt < ":
a h
Esto prueba que
Z b
'(u + hv) '(u)
f 0 (u(t))v(t)dt = l m =: G'(u)v:
a h!0 h
La función G'(u) : C 0 [a; b] ! R es claramente lineal y, como
Z b
jG'(u)vj jf 0 (u(t))j dt kvk1 8v 2 C 0 [a; b];
a
la Proposición 9.1 asegura que G'(u) es continua. Por tanto, ' es Gâteaux-diferenciable
en u para todo u 2 C 0 [a; b]:
Probaremos ahora que G' : C 0 [a; b] ! L(C 0 [a; b]; R) es continua. Sean u0 2 C 0 [a; b]
y " > 0: Denotemos por M0 := ku0 k1 + 1: Como f 0 es uniformemente continua en
[ M0 ; M0 ]; existe 2 (0; 1) tal que
"
jf 0 (x) f 0 (y)j < 8x; y 2 [ M0 ; M0 ] con jx yj < :
(b a)
Observa que, si ku u0 k1 < ; entonces
Por tanto,
Z b
jG'(u)v G'(u0 )vj jf 0 (u(t)) f 0 (u0 (t))j jv(t)j dt < " kvk1 :
a
En consecuencia,
jG'(u)v G'(u0 )vj
kG'(u) G'(u0 )kL(C 0 [a;b];R) = sup <" si ku u 0 k1 < :
v2C 0 [a;b] kvk1
v6=0
j;u := fv 2 Vj : u + j v 2 g
ϕ
Ω W
ϕ j,u
0 Ω j,u
Los siguientes ejemplos relacionan estos conceptos con conceptos bien conocidos de
cálculo.
@' @'
r'(x) := (x); :::; (x) 2 Rn :
@x1 @xn
@j ' : ! L(Vj ; W )
"
k'(u + 1 v1 ) '(u) @1 '(u)v1 kW < kv1 kV1 si kv1 kV1 < ; (9.18)
4
"
k@2 '(u + v) @2 '(u)kL(V2 ;W ) < si kvkV1 V2 < :
4
9.6. DERIVADAS DE ORDEN SUPERIOR 183
Esto prueba que ' es diferenciable en u y que '0 (u)v = @1 '(u)v1 + @2 '(u)v2 : Por tanto,
' es de clase C 1 en .
o simplemente por '00 : Veremos a continuación que el espacio L(V; L(V; W )) tiene una
representación sencilla: es el espacio de funciones bilineales y continuas V V ! W:
Sean V1 ; :::; Vk ; W espacios de Banach.
Denotamos por
Si V1 = = Vk = V escribimos simplemente
En consecuencia,
2k
kF (v)kW k
kv1 kV1 kvk kVk 8v = (v1 ; :::; vk ) 2 V1 Vk :
9.6. DERIVADAS DE ORDEN SUPERIOR 185
Esta es una norma en L(V1 ; :::; Vk ; W ); que coincide con la de…nida en (9.1) cuando
k = 1:
Asociando a cada F 2 L(V1 ; :::; Vk ; W ) la función F^ 2 L(V1 ; L(V2 ; ; Vk ; W )) dada
por
(F^ v1 )(v2 ; : : : ; vk ) := F (v1 ; v2 ; : : : ; vk ); vj 2 Vj ;
obtenemos un isomor…smo de espacios vectoriales
L(V1 ; :::; Vk ; W ) = L(V1 ; L(V2 ; ; Vk ; W )) (9.23)
que es además una isometría, es decir,
kF kL(V1 ;:::;Vk ;W ) = F^
L(V1 ;L(V2 ; ;Vk ;W ))
Veamos un ejemplo.
P
1
D2 '(x)(y; z) = 2 yk zk 8x; y; z 2 `2 ;
k=1
(ver Ejemplo 9.10) y que ' es continua (ver Ejemplo 9.16). Observa además que '0 es
0
lineal, es decir,
El Ejemplo 9.9 asegura entonces que D2 '(x) = '0 para todo x 2 `2 ; y usando el
isomor…smo (9.23) obtenemos
P
1
D2 '(x)(y; z) = '0 (y; z) = '0 (y)z = 2 yk zk 8x; y; z 2 `2 :
k=1
Más aún, como D2 ' : `2 ! L2 (`2 ; R) es constante, el Ejemplo 9.8 asegura que Dk '(x) =
0 2 Lk (`2 ; R) para todo x 2 `2 ; k 3:
Entonces
0
(t) D2 '(u)(w; v) = '0 (u + tv + w)v '0 (u)v D2 '(u)(tv + w; v)
'0 (u + tv)v '0 (u)v D2 '(u)(tv; v)
En consecuencia,
D2 '(u)(v; w) D2 '(u)(w; v) W
6" (kvkV + kwkV )2 si maxfkvkV ; kwkV g < :
Si v; w 2 V son arbitrarios, escogemos 2 (0; 1] tal que maxfk vkV ; k wkV g < :
De la desigualdad anterior se sigue entonces que
1
D2 '(u)(v; w) D2 '(u)(w; v) W
= 2 D2 '(u)( v; w) D2 '(u)( w; v) W
1
2 6" (k vkV + k wkV )2 = 6" (kvkV + kwkV )2 :
Como " > 0 es arbitraria, concluimos que D2 '(u)(v; w) = D2 '(u)(w; v) para cua-
lesquiera v; w 2 V:
Caso 2: k > 2:
El resultado se obtiene por inducción usando el caso k = 2 y el isomor…smo (9.23).
Si W = R escribiremos simplemente
C k ( ) : = C k ( ; R);
C k ( ) : = C k ( ; R):
Brook Taylor
Teorema 9.33 (Taylor) Si V es un espacio de Banach, es un subconjunto abierto
de V; u0 2 y v 2 V satisfacen que u0 + tv 2 para todo t 2 [0; 1]; y ' 2 C k+1 ( );
entonces existe 2 (0; 1) tal que
1
'(u0 + v) = '(u0 ) + D'(u0 )v + D2 '(u0 )(v; v) +
2
1 k 1
+ D '(u0 )(v; : : : ; v ) + Dk+1 '(u0 + v)(v; : : : ; v ):
k! | {z } (k + 1)! | {z }
k veces k+1 veces
Demostración: Observa que la función real de variable real f (t) := '(u0 + tv)
está de…nida en algún intervalo abierto que contiene a [0; 1]; es de clase C k+1 en dicho
intervalo y
Dj f (t) = Dj '(u0 + tv)(v; : : : ; v ); j = 1; :::; k + 1: (9.25)
| {z }
j veces
3
Brook Taylor (1685-1731) nació Edmonton, Inglaterra. Estudió en la Universidad de Cambridge.
Publicó su célebre fórmula en 1715, pero su importancia no fue reconocida sino hasta 1772 cuando J.
L. Lagrange se dió cuenta de su potencial y la llamó el fundamento principal del cálculo diferencial.
190 9. DIFERENCIABILIDAD
1 1 1
'(u0 + v) = f (1) = f (0) + Df (0) + D2 f (0) + + Dk f (0) + Dk+1 f ( )
2 k! (k + 1)!
1
= '(u0 ) + D'(u0 )v + D2 '(u0 )(v; v) +
2
1 k 1
+ D '(u0 )(v; : : : ; v ) + Dk+1 '(u0 + v)(v; : : : ; v ):
k! | {z } (k + 1)! | {z }
k veces k+1 veces
1 k
rk (v) := '(u0 + v) '(u0 ) D'(u0 )v D '(u0 )(v; : : : ; v ) (9.26)
k! | {z }
k veces
rk (v)
lm = 0:
v!0 kvkkV
Demostración: Sea > 0 tal que BV (u0 ; ) : Aplicando el Teorema 9.33 con k
en vez de k + 1 obtenemos que, para cada v 2 BV (0; ); existe v 2 (0; 1) tal que
kP1 1 j 1
'(u0 + v) = D '(u0 )(v; : : : ; v) + Dk '(u0 + v v)(v; : : : ; v):
j=0 j! k!
Pk 1
'(u0 + v) = Dj '(u0 )(v; : : : ; v) + rk (v):
j=0 j!
En consecuencia, si v 6= 0;
Dado que Dk ' : ! Lk (V; R) es continua en u0 y que v 2 (0; 1), concluimos que
l mv!0 rkvk
k (v)
k = 0:
V
La función
1 k
Pk (v) := '(u0 ) + D'(u0 )v + + D '(u0 )(v; : : : ; v )
k! | {z }
k veces
9.8. Ejercicios
Ejercicio 9.35 Prueba que
kT vkW
kT kL(V;W ) := sup
v2V kvkV
v6=0
: L(Rn ; Rm ) ! Rmn
Ejercicio 9.41 Prueba que la función ' : C 0 ([0; 1]; V ) ! V V dada por
Prueba que ' es diferenciable en (0; 0): (Sugerencia: Usa la desigualdad de Young, Lema
2.11.)
Prueba que existen todas las derivadas direccionales de ' en (0; 0), pero que ' no es
Gâteaux-diferenciable en (0; 0):
Ejercicio 9.50 Sea f 2 C 0 [a; b]: Prueba que la función ' : (a; b) ! R dada por
Z b
'(t) := f (s)ds
t
Ejercicio 9.51 Sea f : [a; b] R ! R una función continua, cuya derivada parcial
respecto a la segunda variable existe y es continua en [a; b] R.
Ejercicio 9.52 (a) Prueba que toda función T 2 L(V; W ) es de clase C 1 y calcula
su derivada de orden k para todo k 2 N:
9.8. EJERCICIOS 195
Ejercicio 9.54 Prueba que la función ' : C 0 [0; 1] ! C 0 [0; 1] dada por '(u) := u2 es de
clase C 1 y calcula todas sus derivadas.
Ejercicio 9.55 Sea K : [a; b] [a; b] ! R una función continua y simétrica. Prueba
que la función ' : C 0 [a; b] ! R dada por
Z bZ b
'(u) := K(x; y)u(x)u(y)dxdy
a a
es lineal y continua.
(a) Prueba que si ' es de clase C 2 entonces existen las derivadas parciales de orden
2;
@j @i '(u) := @j (@i ') (u) 2 L(Vj ; L(Vi ; W )) = L(Vj ; Vi ; W );
para cualesquiera u 2 ; i; j = 1; : : : ; n; y que se cumple
P
n
D2 '(u)(v; w) = @j @i '(u)(vj ; wi )
i;j=1
(b) Prueba que, si ' es de clase C 2 ; entonces @j @i '(u) = @i @j '(u) para cualesquiera
u 2 ; i; j = 1; : : : ; n:
(c) Prueba que, si las derivadas parciales @j @i ' : ! L(Vj ; Vi ; W ) de orden 2 existen
y son continuas para cualesquiera i; j = 1; : : : ; n; entonces ' es de clase C 2 .
Ejercicio 9.59 (Teorema de Taylor para funciones de variable real) Prueba que
si f 2 C k+1 (a; b) y 0 2 (a; b) entonces, para cada t 2 (a; b); existe un punto 2 (0; 1)
tal que
1 1 k 1
f (t) = f (0) + Df (0)t + D2 f (0)t2 + + D f (0)tk + Dk+1 f ( t)tk+1 :
2 k! (k + 1)!
(a) Calcula la expansión de Taylor de grado 2 de la función ' alrededor de (1; 1):
c < 0pel conjunto M tiene dos componentes: una p de ellas es la grá…ca de la función
x 7! x2 c y la otra es la grá…ca de x 7! x2 c: Análogamente,
p si c > 0; el
conjunto M tiene 2
p dos componentes: la grá…ca de la función y 7! c + y y la de la
función y 7! c + y 2 : En cambio, si c = 0; no existe ninguna vecindad de (0; 0) en
R2 cuya intersección con M sea la grá…ca de alguna función.
x2 y2 = c < 0 x2 y2 = c > 0 x2 y2 = 0
Nota que r'(x; y) 6= (0; 0) si (x; y) 6= (0; 0): En este caso, la recta perpendicular a
r'(x; y) es tangente a M en el punto (x; y); es decir, M se parece a dicha recta en una
vecindad del punto.
199
200 10. EL TEOREMA DE LA FUNCIÓN IMPLíCITA
ϕ(ξ)
∆
Los resultados anteriores son válidos también en espacios de Banach y tienen aplica-
ciones importantes en ese contexto, por ejemplo, para probar la existencia de soluciones
de ciertas ecuaciones diferenciales no lineales.
10.1. EL TEOREMA DE LA FUNCIÓN IMPLíCITA 201
TξM
fr'1 ( ); : : : ; r'm ( )g
T M = fy 2 Rn : y r'j ( ) = 0; j = 1; : : : ; mg
y ésta es suprayectiva si y sólo si la matriz tiene rango máximo, es decir, sí y sólo si sus
renglones son linealmente independientes. Nota que '0 ( )y = (r'1 ( ) y; : : : ; r'm ( ) y) ;
así que y 2 T M si y sólo si r'j ( ) y = 0 para todo j = 1; : : : ; m:
:V W ! Y; (v; w) := v + w;
es un homeomor…smo.
S(x1 ; :::; xm ) := x1 w1 + + xm wm
:Y !V W; (y) := (y ST y; ST y);
Para probar que W es cerrado en Y tomemos una sucesión (yk ) en W tal que
yk ! y en Y: Como ST es continua, se tiene que yk = ST yk ! ST y: En consecuencia,
y = ST y 2 W: Esto prueba que W es cerrado en Y:
De…nición 10.6 Una función lineal y biyectiva T : V ! W entre dos espacios de Ba-
nach V y W que es además un homeomor…smo se llama un isomor…smo de Banach.
: Tu M Wu ! Y; (v; w) := v + w;
'(v; w) = c
(II) Para todo v 2 BV (v0 ; ) se cumple que @2 '(v; f (v)) es un isomor…smo de Banach
y
f 0 (v) = [@2 '(v; f (v))] 1 @1 '(v; f (v)):
: Tu M Wu ! Y; (v; w) := v + w;
Es importante hacer notar que, si la función ' del Teorema 10.7 y del Corolario 10.8
es de clase C k ; entonces la función f también es de clase C k [Ejercicio 10.24].
Tu M = f 0 (0) : 2 u (M )g;
y
1
f 0 (v0 ) = [@2 '(u)] @1 '(u):
Escogemos " > 0 tal que v0 + tv 2 BTu M (x0 ; ) para todo t 2 ( "; ") y de…nimos
: ( "; ") ! Y como
(t) := v0 + tv + f (v0 + tv):
Claramente, 2 u (M ): Como v 2 Tu M se tiene que @1 '(u)v = '0 (u)v = 0 y, en
consecuencia,
1
f 0 (v0 )v = [@2 '(u)] [@1 '(u)v] = 0:
Por tanto,
0
(0) = v + f 0 (v0 )v = v:
Esto prueba que Tu M f 0 (0) : 2 u (M )g.
g( ) g(x) 8x 2 A \ BX ( ; ):
g( ) g(x) 8x 2 A \ BX ( ; ):
Los mínimos y máximos locales de una función en una variedad tienen la siguiente
propiedad.
g 0 (u)v = 0 8v 2 Tu M:
g 0 (u)v = 0 8v 2 Tu M:
La Proposición 10.12 a…rma que los máximos y mínimos locales son puntos críticos
de g en M: Para Y = Rn podemos caracterizar a los puntos críticos del siguiente modo.
con 1 ; :::; m 2 R.
Ejemplo 10.15 Sea g : Rn ! R la función g(x1 ; :::; xn ) = x21 + + x2n 1 : Los puntos
críticos de g en la esfera unitaria Sn 1 son los puntos de la forma ( 1 ; :::; n 1 ; 0) y
(0; :::; 0; 1): Los primeros son máximos y los últimos son mínimos de g en Sn 1 :
T 0 := I; T k := T
| {z T};
k veces
10.3. HOMEOMORFISMOS LINEALES 209
1 P
1
(I S) = Sk;
k=0
1 1
(I S) L(V;V ) 1 kSkL(V;V )
y
1
(I S) I S L(V;V )
lm = 0:
S!0 kSkL(V;V )
P
1 1
Sk : (10.5)
k=0 L(V;V )
1 kSkL(V;V )
P
n P
n
(I S) Sk =I S n+1 = S k (I S):
k=0 k=0
Dado que la serie (10.4) converge, la sucesión S k ! 0 en L(V; V ): Por tanto, haciendo
tender n ! 1; obtenemos
P
1 P
1
(I S) Sk =I= S k (I S):
k=0 k=0
210 10. EL TEOREMA DE LA FUNCIÓN IMPLíCITA
1 P
1
(I S) = Sk:
k=0
1 1
(I S) L(V;V )
:
1 kSkL(V;V )
1 P
1 P
1
1
(I S) I S= Sk = S2 S k = S 2 (I S) :
k=2 k=0
En consecuencia,
1
kSk2L(V;V )
(I S) I S L(V;V )
:
1 kSkL(V;V )
Por tanto,
1
(I S) I S L(V;V ) kSkL(V;V )
lm lm = 0;
S!0 kSkL(V;V ) S!0 1 kSkL(V;V )
lo que demuestra la última a…rmación del lema.
(b) La función
1
: H(V; W ) ! L(W; V ); (T ) := T ;
es diferenciable y su derivada en T0 es
0
(T0 )T = T0 1 T T0 1 :
T0 1 T I L(V;V )
= T0 1 (T T0 ) L(V;V )
1
T0 L(W;V )
kT T0 kL(V;W ) < 1:
Nota que S ! 0 cuando T ! 0: De modo que, usando el Lema 10.16, concluimos que
1
(T0 T) 1
T0 T0 1 T T0 1
L(W;V )
lm
T !0 kT kL(V;W )
1 !
2
(I S) I S L(V;V )
T0 1 L(W;V ) lm = 0:
T !0 kSkL(V;V )
Observa que
Esto sugiere usar el teorema de punto …jo de Banach para obtener soluciones de la
ecuación '(v; w) = 0: Empezaremos demostrando el siguiente lema.
BV (v0 ; ) BW (w0 ; ) ;
(10.8)
@2 '(v; w) 2 H(W; Z) 8(v; w) 2 BV (v0 ; ) BW (w0 ; );
y
1
k@2 '(v; w) @2 '(v0 ; w0 )kL(W;Z) < 8(v; w) 2 BV (v0 ; ) BW (w0 ; ): (10.9)
4c0
Por otra parte, como T0 1 ' es continua y T0 1 '(v0 ; w0 ) = 0, existe 2 (0; ) tal que
T0 1 '(v; w0 ) W
< 8v 2 BV (v0 ; ): (10.10)
4
10.4. DEMOSTRACIÓN DEL TEOREMA DE LA FUNCIÓN IMPLíCITA 213
'(v; f (v)) = 0;
Demostración: (a): Sea v 2 BV (v0 ; ): La a…rmación (iii) del Lema 10.18 asegura
que v es una función de BW (w0 ; ) en sí mismo. Como BW (w0 ; ) es cerrado y W es de
214 10. EL TEOREMA DE LA FUNCIÓN IMPLíCITA
Banach, BW (w0 ; ) es un espacio métrico completo. La a…rmación (iv) del Lema 10.18
asegura que
v : BW (w0 ; ) ! BW (w0 ; )
es una contracción. Por el teorema de punto …jo de Banach (ver Teorema 6.3) existe un
único f (v) 2 BW (w0 ; ) tal que
f (v) = v (f (v)):
La a…rmación (iii) del Lema 10.18 asegura entonces que f (v) = v (f (v)) 2 BW (w0 ; ):
De la observación (10.7) se sigue la a…rmación (a).
Antes de probar la a…rmación (b) probaremos que la función f : BV (v0 ; ) ! W es
continua.
Sean v1 2 BV (v0 ; ) y " > 0: Como kv (f (v)) = f (v); la a…rmación (iv) del Lema
10.18 asegura que
k k
k 3 3
v (w0 ) f (v) W
kw0 f (v)kW < 8v 2 BV (v0 ; ):
4 4
Por tanto, existe k0 2 N, independiente de v; tal que
k "
v (w0 ) f (v) W < 8k k0 ; 8v 2 BV (v0 ; ):
3
La función v 7! v (w0 ) = w0 T0 1 '(v; w0 ) es continua en BV (v0 ; ). Por tanto, existe
> 0 tal que
k0 k0 "
v (w0 ) v1 (w0 ) W < 8v 2 BV (v0 ; ) \ BV (v1 ; ):
3
Concluimos que
k0 k0 k0
kf (v) f (v1 )kW f (v) v (w0 ) W + v (w0 ) v1 (w0 ) W
k0
+ v1 (w0 ) f (v1 ) W
< " 8v 2 BV (v0 ; ) \ BV (v1 ; ):
Esto demuestra que f es continua en BV (v0 ; ):
(b): Sean v; v1 2 BV (v0 ; ) y " > 0: Denotamos por
w := f (v); w1 := f (v1 ); T1 := @1 '(v1 ; w1 ); T2 := @2 '(v1 ; w1 ):
La a…rmación (ii) del Lema 10.18 asegura que T2 es un isomor…smo de Banach. De…n-
imos
"
c1 := T2 1 T1 L(V;W )
; c2 := T2 1
L(Z;W )
; := m n 1; :
c1 + 1
10.4. DEMOSTRACIÓN DEL TEOREMA DE LA FUNCIÓN IMPLíCITA 215
kT1 (v v1 ) + T2 (w w1 )kZ
lm = 0: (10.11)
(v;w)!(v1 ;w1 ) k(v v1 ; w w1 )kV W
T2 1 T1 (v v1 ) + w w1 W
= T2 1 (T1 (v v1 ) + T2 (w w1 )) W
kw w1 kW T2 1 T1 (v v1 ) + w w1 W + T2 1 T1 (v v1 ) W
1
< (kv v1 kV + kw w1 kW ) + c1 kv v1 kV ;
2
es decir,
kw w1 kW < (2c1 + 1) kv v 1 kV si kv v1 kV < :
Combinando ésta con la desigualdad (10.12) obtenemos que
f (v) f (v1 ) + T2 1 T1 (v v1 ) W
= w w1 + T2 1 T1 (v v1 ) W
< kv v1 kV + kw w1 kW
2 2
< (c1 + 1) kv v1 kV
" kv v1 kV si kv v1 kV < ;
En consecuencia,
1 1
[@2 '(vk ; f (vk ))] @1 '(vk ; f (vk )) ! [@2 '(v; f (v))] @1 '(v; f (v)) en L(V; W )
(ver Ejercicio 9.38), es decir, f 0 (vk ) ! f (v) en L(V; W ): Esto prueba que f es de clase
C 1 en BV (v0 ; ):
Esta es la a…rmacion (I) del Teorema 10.7. La a…rmación (II) se sigue de las a…rmaciones
(ii) del Lema 10.18 y (b) del Lema 10.19.
10.5. Ejercicios
Ejercicio 10.20 Sea A = (aij ) una matriz de n (m + n) tal que el determinante
a1;m+1 a1;m+n
.. ..
. .
an;m+1 an;m+n
A(x1 ; : : : ; xm ; L(x1 ; : : : ; xm )) = 0:
F (T1 ; T2 )S := T1 ST2 :
En consecuencia, F es continua.
Ejercicio 10.27 Considera la función ' : R2 ! R2 dada por '(x; y) := (x; '2 (x; y))
donde 8 2 2
< (x; y x ) si x y;
y 2 x2 y
'2 (x; y) := (x; x2 ) si 0 y x2 ;
:
'2 (x; y) si y 0:
Prueba que
entonces u0 es un mínimo local de '; es decir, existe > 0 tal que '(u) '(u0 )
si ku u0 k < :
entonces u0 es un máximo local de '; es decir, existe > 0 tal que '(u) '(u0 )
si ku u0 k < :
La integral de Lebesgue
221
Capítulo 11
La teoría de integración moderna fue iniciada por Henri Lebesgue en 1902. La in-
tegral de Lebesgue es una de las piedras angulares del análisis matemático y tiene
aplicaciones muy importantes en ecuaciones diferenciales, probabilidad y muchas otras
ramas de las matemáticas.
La noción de integrabilidad de Lebesgue es más general que la de Riemann en el
sentido de que abarca a muchas más funciones. Pero su principal virtud es que permite
intercambiar el límite por 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 daremos aquí
tiene como punto de partida a la integral de Riemann de una función real continua en un
intervalo cerrado, tal y como se de…ne en los primeros cursos de cálculo. Supondremos
que el lector está familiarizado con ella y con sus propiedades.
En este capítulo de…niremos la integral de funciones continuas f : Rn ! R que
se anulan fuera de algún subconjunto compacto de Rn : Para este tipo de funciones, la
integral que aquí introduciremos coincide con la de Riemann. Pero no hace falta usar
sumas de Riemann: basta de…nir la integral mediante un proceso iterativo, integrando
respecto a cada una de las variables. Esto no sólo tiene la ventaja de reducir el cálculo
de la integral de una función de varias variables al de integrales de funciones de una
sola variable, sino que permite además obtener las propiedades básicas de la integral
de manera sencilla a partir de las propiedades correspondientes para funciones de una
sola variable.
Probaremos que la integral es una medida de Haar, es decir, que es lineal, monó-
tona e invariante bajo traslaciones, y que cualquier medida de Haar es un múltiplo de
la integral. Este hecho permite establecer fácilmente la invariancia de la integral ba-
jo isometrías lineales y obtener una fórmula de transformación de la integral de una
223
224 11. LA INTEGRAL DE UNA FUNCIÓN CONTINUA CON SOPORTE COMPACTO
función bajo un cambio de variable dado por un isomor…smo lineal. Partiendo de este
resultado, obtendremos una fórmula análoga cuando el cambio de variable está dado
por un difeomor…smo.
En el próximo capítulo extenderemos esta integral a una familia mucho más amplia
de funciones, y en el capítulo subsecuente demostraremos los teoremas fundamentales
de la teoría de integración de Lebesgue.
Bernhard Riemann
es continua.
Denotaremos por
Observa que Cc0 (Rn ) es un subespacio vectorial de C 0 (Rn ) (ver Ejercicio 11.33).
(T f ) (x) := f (x ): (11.1)
Z Z b Z b+ Z b+ Z
f= f (x)dx = f (x )dx = (T f )(x)dx = T f:
R a a+ a+ R
Una consecuencia de la invariancia bajo traslaciones es que la integral del límite pun-
tual de una sucesión de funciones no coincide, en general, con el límite de las integrales
de dichas funciones, como lo muestra el siguiente ejemplo.
Ejemplo
R 11.8 Existe una sucesión (fk ) en Cc0 (Rn ) que converge puntualmente a 0; tal
que Rn fk no converge a 0: En consecuencia,
Z Z
lm fk 6= l m fk (x)dx:
k!1 Rn Rn k!1
R
Demostración: Sea g 2 Cc0 (Rn ) tal que Rn g 6= 0 y sop(g) [0; 1]n : De…nimos
fk := T k g; donde k = (k; 0; :::; 0) 2 Rn : Entonces sop(fk ) [k; k + 1] [0; 1]n 1 y, por
228 11. LA INTEGRAL DE UNA FUNCIÓN CONTINUA CON SOPORTE COMPACTO
y
y
0 .3
0 .3
0 .2 0 .2
0 .1 0 .1
0 0
0 0 .5 1 1 .5 2 0 0 .5 1 1 .5 2
x x
g T 1g
En consecuencia, Z Z Z
lm fk = g 6= 0 = l m fk (x);
k!1 Rn Rn Rn k!1
como a…rma el enunciado.
De…nición 11.9 Una medida de Haar en Rn es una función J : Cc0 (Rn ) ! R con
las siguientes tres propiedades:
El Teorema 11.7 a…rma que la integral es una medida de Haar2 . El siguiente resultado
a…rma que ésta es esencialmente la única medida de Haar en Rn :
Alfréd Haar
Para demostrar este teorema veremos primero que, bajo hipótesis adecuadas, una
medida de Haar conmuta con el límite uniforme de funciones en Cc0 (Rn ): Observa que
toda función f en Cc0 (Rn ) está acotada, así que su norma uniforme en Cc0 (Rn );
kf k1 := sup jf (x)j ;
x2Rn
Lema 11.11 Sea J : Cc0 (Rn ) ! R una función lineal y monótona. Si (fk ) es una
sucesión 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 m J(fk ) = J(f ):
k!1
Demostración: Del Teorema 5.14 se sigue que f es continua y, como fk (x) ! f (x)
para todo x 2 Rn ; se tiene que sop(f ) 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 11.38]. Como sop(f fk ) K; se tiene que
kf fk k1 g f fk kf fk k1 g
2
Alfréd Haar (1885-1933) nació en Budapest, Hungría. Estudió el doctorado en la Universidad de
Göttingen donde fue alumno de Hilbert. Fue profesor de la Universidad de Szeged. Junto con Riesz,
contribuyó a formar en ella un centro importante de matemáticas.
230 11. LA INTEGRAL DE UNA FUNCIÓN CONTINUA CON SOPORTE COMPACTO
es decir,
jJ(f ) J(fk )j c kf fk k1
con c := J(g): En consecuencia, jJ(f ) J(fk )j ! 0:
Vale la pena observar que la a…rmación del Lema 11.11 no es cierta si sustituimos
convergencia uniforme por convergencia puntual, como lo muestra el siguiente ejemplo.
3 .5
2 .5
1 .5
0 .5
0
-1 0 1 2 3
grá…ca de f2
Veremos ahora que toda función f 2 Cc0 (Rn ) se puede expresar como el límite
uniforme de combinaciones lineales de traslaciones y dilataciones de una única función
que de…niremos a continuación.
Sea : R ! R la función dada por
1 jtj si jtj 1;
(t) :=
0 si jtj 1:
De…nimos : Rn ! R como
1
-1 0.75 -1
0.5
-0.5 0.25 -0.5
z 00
0.5 0.5
1 1
x y
grá…ca de
0
-3 -2 -1 0 1 2 3
Por tanto,
P
Tk = 1:
k2Z
se cumple que
P P P
(Tm ) (x1 ; :::; xn ) = (Tm1 ) (x1 ) (Tmn ) (xn ) = 1;
m2Zn m1 2Z mn 2Z
es decir,
P
Tm = 1:
m2Zn
P
lm f f ( m)T m = 0:
!0 m2Zn 1
Sea < p
n
: Usando la a…rmación (c) del Lema 11.13, para cada x 2 Rn obtenemos
P P
f (x) f ( m)(T m )(x) = (f (x) f ( m)) (T m )(x)
m2Zn m2Zn
P
= (f (x) f ( m)) (T m )(x); (11.4)
m2S(x)
donde S(x) := fm 2 Zn : x 2 sop(T m )g: Nota que S(x) es un conjunto …nito. Ahora
bien, como
sop(T m ) = fx 2 Rn : x m 2 [ ; ]n g;
se tiene que p
kx mk n < 8m 2 S(x):
11.2. UNICIDAD DE LA INTEGRAL 233
En consecuencia,
P
f f ( m)T m " si <p :
m2Zn 1
n
Esto concluye la demostración.
Lema 11.15 Sea J : Cc0 (Rn ) ! R una función lineal e invariante bajo traslaciones.
Entonces, para cada > 0; se cumple que
2n J( ) = J( 2 ):
En consecuencia,
2nk J( 2 k ) = J( ) 8k 2 N.
y y
0.75 0.75
0.5 0.5
0.25 0.25
0 0
-1.5 -1 -0.5 0 0.5 1 1.5 -1.5 -1 -0.5 0 0.5 1 1.5
x x
t
Reemplazando t por 2
en la identidad anterior obtenemos
t 1 t+ t 1 t
2 (t) = = + +
2 2 2
1 1
= (T )(t) + (t) + (T )(t) 8t 2 R:
2 2
234 11. LA INTEGRAL DE UNA FUNCIÓN CONTINUA CON SOPORTE COMPACTO
Es decir,
X 1
j j
2 = T ; con := f 1; 0; 1g:
2
2
Por tanto,
donde
j ij
Q
n 1 n
c = con = ( 1 ; :::; n) 2 :
i=1 2
Observa que
X 1 1 X 1 1
n
c = +1+ c = +1+ = 2n :
2 n
2 2 n 1
2 2
2
Demostración del Teorema 11.10. Sea J : Cc0 (Rn ) ! R una medida de Haar
y sea c := J( ), donde es la función de…nida en (11.2). Denotemos por I : Cc0 (Rn ) ! R
a la función Z
I(f ) := f:
Rn
Probaremos que
J(f ) = cI(f ) 8f 2 Cc0 (Rn ):
Usando el Ejercicio 11.37 obtenemos
Z n
I( ) = = 1:
R
11.3. INVARIANCIA BAJO ISOMETRíAS 235
JA (f ) := J(f A)
kAxk = kxk 8x 2 Rn :
Ambas son medidas de Haar en Rn (ver Lema 11.16). Por el Teorema 11.10, existe una
constante c 0 tal que
1 kxk si kxk 1;
f0 (x) :=
0 si kxk 1:
11.3. INVARIANCIA BAJO ISOMETRíAS 237
-1.5 -1.5
-1 0.75 -1
0.5
-0.5 0.25 -0.5
z 00
0.5 0.5
1 1
1.5 1.5
x y
grá…ca de f0
Por último, usamos la invariancia de la integral bajo traslaciones para concluir que
Z Z Z
(T f ) A = T f= f 8f 2 Cc0 (Rn ):
Rn Rn Rn
Una consecuencia sencilla pero importante del Teorema 11.17 es que la integral no
depende del orden de las variables.
Corolario 11.18 Para cualquier permutación (i1 ; :::; in ) de (1; :::; n) se cumple que
Z Z
f (x1 ; x2 ; :::; xn )dx1 dxn = f (x1 ; x2 ; :::; xn )dxi1 dxin :
Rn Rn
Teorema 11.19 Para cualesquiera A 2 GL(n; R); 2 Rn y f 2 Cc0 (Rn ) se cumple que
Z Z
f (Ax + ) jdet Aj dx = f (y)dy:
Rn Rn
Lema 11.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
Demostración: Sea 0 1
1 0
B .. C :
A = @ ... ..
. . A
0 n
tal que det A = 1 n 6= 0: Consida la medida de Haar IA : Cc0 (Rn ) ! R dada por
Z
IA (f ) := f A
Rn
Por tanto, Z
1
( t)dt =
R j j
11.3. INVARIANCIA BAJO ISOMETRíAS 239
y, en consecuencia,
Z Z
A = ( 1 x1 ) ( n xn )dx1 dxn
Rn Rn
1 1 1
= = :
j 1j j nj jdet Aj
R
Como Rn
= 1 concluimos que
Z
1
= IA ( ) = c = c:
jdet Aj Rn
En consecuencia, !(t) 2 [0; "] si t 2 [0; ); es decir, l mt!0+ !(t) = 0: Por último, si
x; y 2 K y t := dK (x; y); de la de…nición de ! se sigue que
1
p kxk kxk1 kxk 8x 2 Rn (11.9)
n
(ver Ejercicio 2.42). A continuación introduciremos los conjuntos y las constantes que
usaremos en los siguientes lemas y en la demostración del Teorema 11.25.
0
Notación 11.27 Sean y abiertos en Rn ; ' : ! 0
un difeomor…smo de clase
C 1 y f 2 Cc0 ( 0 ): De…nimos
K 0 := sop(f ) y K := ' 1 (K 0 ):
Q( ; 1) 8 2 K;
0
Q( ; 1) 8 2 K 0:
K K'
Ω
I
Ω
Sean [ [
K1 := Q( ; 1) y K10 := Q( ; 1 ):
2K 2K 0
(b): Si k'0 ( )(x )k1 , usando las desigualdades (11.9) y (9.2) obtenemos
Además, existe una función ! : [0; 1) ! [0; 1) tal que l mt!0+ !(t) = 0 y
Z Z
(T 0
)('(x)) jdet ' (x)j dx (T )(y)dy !( ) n 8 2 K 0 ; 8 2 (0; 2 ):
0
Por otra parte, como '0 ( ) 2 GL(n; R); aplicando el Teorema 11.19 obtenemos
Z Z
0
(T ) ( (x)) jdet ' ( )j dx = (T ) (y)dy:
0
En consecuencia, bastará probar que existe una función ! : [0; 1) ! [0; 1) tal que
l mt!0+ !(t) = 0 y
Z Z
(T 0
)('(x)) jdet ' (x)j dx (T )( (x)) jdet '0 ( )j dx !( ) n : (11.13)
Por tanto,
k'(x) (x)k1 sup ! 1 (kxt k1 ) kx k1 ! 1 (c0 )c0 : (11.14)
t2[0;1]
Por otra parte, aplicando el Lema 11.26 a la función jdet '0 j : K1 ! R obtenemos una
función no decreciente ! 2 : [0; 1) ! [0; 1) tal que l mt!0+ ! 2 (t) = 0 y
j jdet '0 (x)j jdet '0 ( )j j ! 2 (kx k1 ) ! 2 (c0 ): (11.16)
Usando la desigualdad del triángulo y las desigualdades (11.15) y (11.16) concluimos
que
j (T )('(x)) jdet '0 (x)j (T )( (x)) jdet '0 ( )j j
jdet '0 (x)j j(T )('(x)) (T )( (x))j + j jdet '0 (x)j jdet '0 ( )j j (T )( (x))
M1 c0 n! 1 (c0 ) + ! 2 (c0 ) =: ! 3 ( ) (11.17)
11.4. EL TEOREMA DE CAMBIO DE VARIABLE 245
El Lema 11.29 asegura que sop(f ') K1 y sop(f ) K10 : Por otra parte, el Lema
11.14 asegura que
l m kf f k1 = 0:
!0
Como
kg g k1 = sup jf ('(x)) f ('(x))j jdet '0 (x)j kf f k1 sup jdet '0 (x)j ;
x2K1 x2K1
concluimos que
l m kg g k1 = 0:
!0
246 11. LA INTEGRAL DE UNA FUNCIÓN CONTINUA CON SOPORTE COMPACTO
Sea r 2 N tal que sop(f ) [ r; r]n : Aplicando el Lema 11.29 obtenemos que
X Z Z
0
f ( m) (T m )('(x)) jdet ' (x)j dx (T m )(y)dy
0
m2Zn
X Z Z
jf ( m)j (T m )('(x)) jdet '0 (x)j dx (T m )(y)dy
0
m2Zn
n
2r
kf k1 +1 !( ) n
= kf k1 (2r + )n !( );
11.5. Ejercicios
Ejercicio 11.30 Prueba que, si f 2 Cc0 (Rn ) y Q1 y Q2 son dos rectángulos que con-
tienen a sop(f ); entonces Z Z
f= f:
Q1 Q2
(m nff; gg) (x) := m nff (x); g(x)g; (maxff; gg) (x) := maxff (x); g(x)g:
Prueba que, si f; g 2 Cc0 (Rn ); entonces m nff; gg 2 Cc0 (Rn ) y maxff; gg 2 Cc0 (Rn ):
(Sugerencia: Usa las identidades (8.16) y (8.15).)
Ejercicio 11.36 Prueba que, si f 2 Cc0 (Rn ), f 0 y f (x0 ) > 0 para algún x0 2 Rn ;
entonces Z
f > 0:
Rn
(aJ)(f ) := aJ(f )
0
(b) T f 2 Cper (Rn ) para toda f 2 Cper
0
(Rn ) y 2 Rn ;
0
(c) la función Iper : Cper (Rn ) ! R dada por
Z
Iper (f ) := f;
Q
Tn := S
|
1
{z S}1
n veces
Ejercicio 11.45 (a) Si A es una matriz de n n demuestra que son equivalentes las
siguientes cuatro a…rmaciones:
f (x) si x 2 ;
f (x) :=
0 si x 2 Rn r ;
Cck ( ) := Cc0 ( ) \ C k ( )
Ejercicio 11.50 (Integración por partes) (a) Prueba que, si f 2 Cc1 ( ); entonces
@f
2 Cc0 ( ) y
@xi Z
@f
=0 8i = 1; :::; n:
@xi
@f @g
(b) Prueba que, si f 2 C 1 ( ); g 2 Cc1 ( ); entonces @xi
g; f @xi
2 Cc0 ( ) y
Z Z
@f @g
g= f 8i = 1; :::; n:
@xi @xi
Funciones Lebesgue-integrables
Nota que fk 2 Cc0 (R), que fk fk+1 para todo k 2 N y que, para cada t 2 R;
1 si t 2 (0; 1);
l m fk (t) =
k!1 0 si t 2
= (0; 1):
0
-0.5 0 0.5 1 1.5
Además, como Z
1
fk = 1 ;
R k+1
se tiene que Z
lm fk = 1:
k!1 R
12.1. LA INTEGRAL DE UNA FUNCIÓN SEMICONTINUA 255
Ulisse Dini
Teorema 12.2 (Dini) Sea K un espacio métrico compacto y sean f; fk 2 C 0 (K) tales
que
f1 f2 fk fk+1
y
fk (x) ! f (x) para cada x 2 K:
Entonces fk ! f uniformemente en K:
l m gk (x) = 0 8x 2 K:
k!1
En consecuencia,
gk (y) < " 8k maxfkx1 ; :::; kxn g; 8y 2 K:
Esto prueba que fk ! f uniformemente en K:
0 n
R
R Si fk 2 Cc (R ) y fk fk+1 ; por la monotonía de la integral se tiene que Rn
fk
f : De modo que
Rn k+1
Z Z
lm fk = sup fk 2 R [ f1g:
k!1 Rn k2N Rn
Corolario 12.4 Si fk ; gk 2 Cc0 (Rn ) cumplen que fk fk+1 y gk gk+1 para todo k 2 N
y supk2N fk (x) = supk2N gk (x) para cada x 2 Rn ; entonces
Z Z
lm fk = l m gk :
k!1 Rn k!1 Rn
donde (fk ) es una sucesión de funciones en Cc0 (Rn ) tales que fk fk+1 para todo k 2 N
y supk2N fk = f:
El Corolario 12.4 asegura que la integral de f en Rn no depende de la sucesión
elegida. En particular, si f 2 Cc0 (Rn ) S (Rn ); podemos tomar fk = f: Esto prueba
que, para funciones en Cc0 (Rn ); la integral dada por la De…nición 12.5 coincide que la
introducida en el capítulo precedente.
A continuación daremos una descripción más accesible del conjunto S (Rn ): El sigu-
iente lema muestra que las funciones que pertenecen a S (Rn ) son semicontinuas infe-
riormente (ver De…nición 4.22).
Sea X un espacio métrico. El supremo puntual de un conjunto de funciones fi :
X ! R [ f1g, i 2 I; es la función
sup fi : X ! R [ f1g
i2I
de…nida como
sup fi (x) := sup fi (x).
i2I i2I
258 12. FUNCIONES LEBESGUE-INTEGRABLES
En consecuencia,
f (x) 0 8x 2 Rn r K:
(b) Existen funciones fk 2 Cc0 (Rn ) tales que fk fk+1 para todo k 2 N y
f = sup fk :
k2N
Demostración: (b))(a): Sean fk 2 Cc0 (Rn ) tales que fk fk+1 para todo k 2 N
y f = supk2N fk : El Lema 12.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 4.29, f alcanza su mínimo en K: Por tanto, existe M 2 N
tal que
f (x) > M 8x 2 Rn :
Sea
-M
fk := supfg 1 ; :::; g k g:
Entonces fk 2 Cc0 (Rn ) (ver Ejercicio 11.34), fk fk+1 para todo k 2 N y f = supk2N fk :
dada por
nf fi (x) := nf fi (x).
i2I i2I
(b) Existen funciones fk 2 Cc0 (Rn ) tales que fk fk+1 para todo k 2 N y
f = nf fk :
k2N
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:
12.2. PROPIEDADES DE LA INTEGRAL DE FUNCIONES SEMICONTINUAS 261
donde (fk ) es una sucesión de funciones en Cc0 (Rn ) tales que fk fk+1 para todo k 2 N
y nf k2N fk = f:
La Proposición 12.9 asegura que tal sucesión (fk ) existe y el Corolario 12.8 ase-
gura que la integral de f en Rn no depende de la sucesión elegida. En particular, si
f 2 Cc0 (Rn ) S (Rn ); podemos tomar fk = f: Esto prueba que, para funciones en
Cc0 (Rn ); la integral dada por la De…nición 12.10 coincide que la introducida en el capí-
tulo precedente. Más aún, como
las integrales dadas por las De…niciones 12.5 y 12.10 coinciden en S (Rn ) \ S (Rn ):
donde
a + 1 := 1 y 1 + a := 1 8a 2 R [ f1g;
a + ( 1) := 1 y ( 1) + a := 1 8a 2 R [ f 1g;
(1) := 1 y ( 1) := 1 8 2 (0; 1);
0 ( 1) := 0
Estas de…niciones no son arbitrarias: 1 es, por de…nición, el supremo de cualquier suce-
sión no decreciente y no acotada de números reales. Si a una sucesión de este tipo le
sumamos un número real, o si la multiplicamos por un número positivo, obtenemos nue-
vamente una sucesión de este tipo. Mientras que, si la multiplicamos por 0; obtenemos
la sucesión constante igual a 0: Las otras de…niciones se obtienen de manera análoga.
Nota, en cambio, que "1 1" no está de…nido.
Ni S (Rn ) ni S (Rn ) son espacios vectoriales. Sin embargo, se cumple lo siguiente.
y para 2 [0; 1)
son consecuencia de las correspondientes identidades para las funciones fk ; gk 2 Cc0 (Rn )
(ver Teorema 11.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; de…nimos
hk := m nffk ; gk g:
pertenece a S (Rn m
)y Z Z
F = f: (12.2)
Rn m Rn
La a…rmación también es cierta si reemplazamos S por S y 1 por 1:
donde Fk : Rn m
! R es la función dada por
Z
Fk (z) := fkz :
Rm
Esta función es continua (ver Lema 11.2). Además, si sop(fk ) [a1 ; b1 ] [an ; bn ]
yz2 = [am+1 ; bm+1 ] [an ; bn ]; entonces fkz = 0 y, en consecuencia, Fk (z) = 0: Por
tanto, Fk 2 Cc0 (Rn m ): De la monotonía de la integral se sigue que Fk Fk+1 y la
igualdad (12.3) a…rma que F = supk2N Fk : Esto implica que F 2 S (Rn m ) y
Z Z
F = lm Fk : (12.4)
Rn m k!1 Rn m
Un primer resultado que permite el intercambio del límite puntual de funciones con
la integral es el siguiente.
Proposición 12.17 (Convergencia monótona para funciones semicontinuas) Sea
(fk ) una sucesión en S (Rn ) tal que fk fk+1 para todo k 2 N y f := supk2N fk : En-
tonces f 2 S (Rn ) y Z Z
f = lm fk :
Rn k!1 Rn
Demostración: Para cada k 2 N; tomemos una sucesión (fk;j ) en Cc0 (Rn ) tal que
fk;j fk;j+1 para todo j 2 N y fk := supj2N fk;j : Observa que
fi;j fi fk 8j 2 N, 8i k:
De…nimos
gk := max fi;j :
i k; j k
1 si x 2 X;
1X (x) :=
0 si x 2 Rn r X:
Observa que 1U = 1(a1 ;b1 ) 1(an ;bn ) : Aplicando la Proposición 12.15 obtenemos
n Z
Y Y
n
voln (U ) = 1(ai ;bi ) = (bi ai ):
i=1 R i=1
Z
1
vol1 ([a; b]) = l m fk = l m b a+ =b a:
k!1 R k!1 k
Como 1Q = 1[a1 ;b1 ] 1[an ;bn ] ; aplicando la Proposición 12.15 obtenemos que
n Z
Y Y
n
voln (Q) = 1[ai ;bi ] = (bi ai );
i=1 R i=1
Demostración: En ambos casos X es acotado, así que existe r 2 (0; 1) tal que
X ( r; r)n : La Proposición 12.20 y el Ejemplo 12.21 aseguran que
Bonaventura Cavalieri
1 k 2k+1 k
! 2k = y ! 2k+1 = ;
k! 1 3 (2k + 1)
como a…rma el enunciado.
272 12. FUNCIONES LEBESGUE-INTEGRABLES
Observa que en ambos casos el conjunto cuyo ín…mo o cuyo supremo estamos toman-
do no es vacío, ya que la función constante 1 pertenece a S (Rn ) y la función constante
1 pertenece a S (Rn ): Enunciamos a continuación algunas propiedades sencillas de
estas integrales.
es decir, Z Z Z
f= f= f 8f 2 S (Rn ):
Rn
1
Reemplazando f por f y por en la desigualdad anterior obtenemos
Z Z
1
f f;
es decir, Z Z
f f:
Esto prueba la igualdad para la integral superior. La igualdad para la integral inferior
se obtiene aplicando
R la a…rmación
R (a).
(f): Si f1 R= 1 o f2 R= 1 la desigualdad deseada se cumple trivialmente.
Supongamos que f1 < 1 y f2 < 1: Sea " > 0 y sean g1 ; g2 2 S (Rn ) tales que
g1 f1 ; g2 f2 ;
Z Z Z Z
" "
g1 f1 + y g2 f2 + :
Rn 2 Rn 2
En consecuencia, Z Z Z
(f1 + f2 ) f1 + f2 ;
3
Henri Léon Lebesgue (1875-1941) nació en Beauvais, Oise, Francia. Estudió en la Sorbonne de
París, donde fue alumno de Émile Borel. Introdujo su teoría de integración en 1902 en su tesis de
doctorado titulada Integral, longitud y área.
12.4. FUNCIONES LEBESGUE-INTEGRABLES 275
Henri Lebesgue
() : 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 Rn Rn Rn
entonces Z Z Z Z
1< h f f g<1
Rn Rn
y, en consecuencia, Z Z Z Z
0 f f g h<"
Rn Rn
para todo " > 0: Esto prueba que f es Lebesgue-integrable.
jf j (x) := jf (x)j ;
donde j 1j := 1:
Por el Lema 12.30 y el Corolario 12.13, existen g 2 S (Rn ) y h 2 S (Rn ) tales que
h f gy
Z Z Z
"
1< h; g<1 y (g h) < :
Rn Rn Rn 2
12.4. FUNCIONES LEBESGUE-INTEGRABLES 277
Por otra parte, de la de…nición de la integral para funciones en S (Rn ) se sigue que
existe ' 2 Cc0 (Rn ) tal que ' g y
Z
"
(g ') < :
Rn 2
Como
f (x) '(x) g(x) '(x) si f (x) '(x);
jf 'j (x) =
'(x) f (x) g(x) h(x) si f (x) '(x);
se tiene que
jf 'j (g h) + (g ') 2 S (Rn ):
Usando el Lema 12.27 y la Proposición 12.12, concluimos que
Z Z Z Z
jf 'j [(g h) + (g ')] = (g h) + (g ') < ":
Rn Rn Rn
En consecuencia, Z Z
0 f f ":
278 12. FUNCIONES LEBESGUE-INTEGRABLES
Concluimos que Z Z
1< f= f < 1;
es decir, f es Lebesgue-integrable.
Finalmente, se sigue de (12.13) que
Z Z
"
f 'k < 8k k0 :
Rn Rn 2
Esto prueba que Z Z
f = lm 'k
Rn k!1 Rn
como a…rma el enunciado.
Observa que 0 jjf j j'k jj jf 'k j : Así que, por la monotonía de la integral
superior, Z Z
0 lm jjf j j'k jj lm jf 'k j = 0:
k!1 k!1
De las a…rmaciones (c), (e) y (f) del Lema 12.27 se sigue que
Z Z Z
0 1 f1 + 2 f2 1 '1;k 2 '2;k j 1j f1 '1;k + j 2 j f2 '2;k :
280 12. FUNCIONES LEBESGUE-INTEGRABLES
En consecuencia,
Z
lm ( 1 f1 + 2 f2 ) ( 1 '1;k + 2 '2;k ) = 0:
k!1
Por tanto,
Z Z
f = nf (g F ) jdet Aj : g 2 S (Rn ); g f ;
Rn Rn
Z
= sup (h F ) jdet Aj : h 2 S (Rn ); h f :
Rn
En consecuencia,
Z Z Z
(f F ) jdet Aj f (f F ) jdet Aj :
Rn
Si 1 m < n; g : Rm ! R y h : Rn m
! R, de…nimos g h : Rn ! R como
Por otra parte, la Proposición 12.31 asegura que existen '1;k 2 Cc0 (Rm ); '2;k 2 Cc0 (Rn m
)
tales que
Z Z
lm f1 '1;k = 0 y lm f2 '2;k = 0:
k!1 Rm k!1 Rn m
Para cada k k0 elegimos g1;k 2 S (Rm ) y g2;k 2 S (Rn m ) de modo que g1;k
f1 '1;k ; g2;k f2 '2;k ;
Z Z
" "
g1;k < y g2;k < . (12.17)
Rm 2M Rn m 2M
Observa que
< " 8k k0 :
se tiene que
Z Z Z
1
jf g 'k kj kgk1 jf 'k j + k'k k1 jg kj < :
k
Esto prueba que f g 2 L(Rn ).
1X\Y = 1X 1Y ; (12.18)
1X[Y = 1X + 1Y 1X\Y ; (12.19)
1XrY = 1X 1X\Y : (12.20)
284 12. FUNCIONES LEBESGUE-INTEGRABLES
f (x) si x 2 X;
f (x) := (12.21)
0 si x 2 Rn r X:
Denotamos por
f jY : Y ! R [ f 1g;
12.8. Ejercicios
Ejercicio 12.45 Prueba que, si K es un espacio métrico compacto y f; fk 2 C 0 (K) son
tales que f1 fk fk+1 y fk (x) ! f (x) para cada x 2 K; entonces
fk ! f uniformemente en K:
f (x) si x 2 X;
f (x) :=
0 si x 2 Rn r X:
P := f 0 + t1 1 + + tn n : ti 2 [0; 1] 8i = 1; :::; ng
voln (P ) = jdet( 1 n )j :
K [0; a] := f(y; t) 2 Rn 1
R : y 2 K; t 2 [0; a]g
(Sugerencia: Calcula primero el volumen de (0; e1 ; :::; en ) para la base canónica fe1 ; :::; en g
de Rn ; y aplica el Ejercicio 12.49 para obtener el caso general.)
288 12. FUNCIONES LEBESGUE-INTEGRABLES
con semiejes a1 ; :::; an 2 (0; 1): (Sugerencia: Usa el Ejemplo 12.25 y el Ejercicio 12.49.)
Ejercicio 12.55 Sean K un subconjunto compacto de Rn y f : K ! R una función
continua tal que f 0: Sea
Gf := f(x; t) 2 Rn R : x 2 K; 0 t f (x)g
el conjunto de puntos bajo la grá…ca de f:
(a) Prueba que Gf es compacto y que
Z
f
voln+1 (G ) = f:
K
(b) Una función 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
Teoremas fundamentales de la
teoría de integración
uniforme mientras que, para la integral de Lebesgue, los teoremas que permiten este
intercambio contienen hipótesis considerablemente más débiles.
Los dos teoremas fundamentales sobre convergencia en la teoría de integración de
Lebesgue son el teorema de convergencia monótona de Levi y el teorema de convergencia
dominada de Lebesgue. El primero a…rma que, si la sucesión de funciones integrables
(fk ) es no decreciente y el supremo de sus integrales está acotado, entonces su límite
puntual f es integrable y Z Z
f = lm fk : (13.1)
Rn k!1 Rn
El segundo a…rma que, si una sucesión (fk ) de funciones integrables converge puntual-
mente a una función f y si tales funciones están dominadas puntualmente por una
función integrable g; es decir, si jfk j g para todo k; entonces f es integrable y se
cumple (13.1). Un tercer resultado importante, que se obtiene a partir del teorema de
convergencia monótona y se usa para probar el teorema de convergencia dominada, es
el lema de Fatou, que da condiciones para la integrabilidad del límite inferior de una
sucesión de funciones.
Usando estos resultados de convergencia, demostraremos el teorema de cambio de
variable para funciones integrables a partir del resultado correspondiente para funciones
continuas con soporte compacto.
En consecuencia, Z es nulo.
es un subconjunto nulo de Rn .
Del teorema de Fubini para funciones semicontinuas (ver Proposición 12.16) se sigue
que Z Z Z
jgraf(f )j = 1graf(f ) = 1graf(f ) (x; y)dy dx = 0;
Rn Rm Rn m
Del ejemplo anterior y el teorema de la función implícita se deduce que las subvar-
iedades de Rn son subconjuntos nulos [Ejercicio 13.47]. Veamos un caso particular.
Proposición 13.8 Z es un subconjunto nulo de Rn si y sólo si para cada " > 0 existe
un subconjunto abierto de Rn tal que Z y j j < ":
R
Demostración: )) : Si Z es un subconjunto nulo de Rn entonces 1Z = 0: Por
tanto, dado " > 0; existe g 2 S (Rn ) tal que g 1Z y
Z
"
g< :
Rn 2
En consecuencia, Z es nulo.
P
Demostración: Sean Z := fx 2 Rn : f (x) 6= g(x)g, hk := 1Z y h := 1 k=1 hk ; es
decir, h(x) = 1 si x 2 Z y h(x) = 0 si x 2
= Z: Aplicando el Lema 13.3, obtenemos que
Z X1 Z
h hk = 0:
k=1
Por otra parte, la Proposición 12.31 asegura que existe una sucesión ('k ) en Cc0 (Rn ) tal
que Z
lm jf 'k j = 0:
k!1
y, en consecuencia, Z
lm jg 'k j = 0:
k!1
Demostración: Sea Z := fx 2 Rn : f (x) = 1g: 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. Esto prueba que f (x) 2 R p.c.t.
x 2 Rn :
R Si f es integrable, entonces jf j es integrable (ver Proposición 12.32)n y, por tanto,
jf j < 1: De la a…rmación anterior se sigue que f (x) 2 R p.c.t. x 2 R :
Entonces existe una subsucesión (fkj ) de (fk ) tal que fkj (x) ! 0 p.c.t. x 2 Rn :
La Proposición 13.11 asegura entonces que existe un subconjunto nulo Z de Rn tal que
P
1
jfkj (x)j < 1 8x 2 Rn r Z:
j=1
R
Corolario 13.15 Sea f : Rn ! R [ f 1g: Entonces, jf j = 0 si y sólo si f (x) = 0
p.c.t. x 2 Rn : En particular, si f es integrable y
Z
jf j = 0;
Rn
f y (x) := f (x; y)
Guido Fubini
f y (x) := f (x; y)
es integrable. La función F : Rn m
! R dada por
R
Rm
f y si y 2 Rn m
r Z;
F (y) :=
0 si y 2 Z;
también es integrable y Z Z
F = f: (13.2)
Rn m Rn
Para cada y 2 Rn m
denotamos por
Z Z
F1 (y) := f y y F2 (y) := f y:
300 13. TEOREMAS FUNDAMENTALES DE LA TEORíA DE INTEGRACIÓN
Dado que f es integrable en R ; tomando el ín…mo sobre las funciones g 2 S (Rn ) tales
n
El teorema que enunciaremos a continuación, a…rma que basta con que este límite sea
…nito para garantizar la integrabilidad de f:
Nota que, si (tk ) es una sucesión no decreciente de números reales entonces, para
cualesquiera k; i 2 N, se tiene que
P
k+i
tk+i tk = (tj tj 1 ) :
j=k+1
Beppo Levi
Zk := fx 2 Rn : fk (x) = 1g
P
1
f fk = (fj fj 1 ) :
j=k+1
2
Beppo Levi (1875-1961) nació en Turín, Italia y obtuvo el doctorado en la Universidad de Turín.
En 1939 emigró a Argentina donde fue profesor de la Universidad Nacional del Litoral (hoy Universidad
Nacional de Rosario).
13.3. TEOREMAS DE CONVERGENCIA 303
Por otra parte, la Proposición 12.31 asegura que existe 'k 2 Cc0 (Rn ) tal que
Z
1
jfk 'k j < : (13.4)
k
Por tanto,
Z Z Z
lm jf 'k j lm jf fk j + l m jfk 'k j = 0:
k!1 k!1 k!1
S
1
Xk = l m jXk j :
k=1 k!1
T
1
Xk = l m jXk j :
k=1 k!1
Pierre Fatou
Ejemplo 13.25 Existen sucesiones (fk ) que satisfacen las hipótesis del lema de Fatou
para las cuales se cumple la desigualdad estricta
Z Z
l m inf fk < l m inf fk :
Rn k!1 k!1 Rn
1
Demostración: Sea fk : R ! R la función fk (x) := maxfk k 2 x k
; 0g: Entonces
fk es integrable, fk 0 y Z
fk = 1 8k 2 N.
R
Como l mk!1 fk (x) = 0 para todo x 2 R; se tiene que
Z Z
l m fk = 0 < 1 = l m fk :
R k!1 k!1 R
1 .5
y 1
0 .8
0 .6
0 .5
0 .4
0 .2
0 0
-1 0 1 2 3
-1 0 1 2 3
x
x
grá…cas de f1 y f2
(i) fk es integrable,
(ii) fk (x) ! f (x) p.c.t. x 2 Rn ;
(iii) existe una función integrable g : Rn ! R [ f 1g tal que, para cada k 2 N, se
cumple que jfk (x)j g(x) p.c.t. x 2 Rn :
Entonces f es integrable y
Z Z
f = lm fk :
Rn k!1 Rn
Z 1 : = fx 2 Rn : g(x) = 1g;
Z0 : = fx 2 Rn : (fk (x)) no converge a f (x)g;
Zk : = fx 2 Rn : jfk (x)j > g(x)g;
son nulos. Por tanto, Z := [1 k= 1 Zk es nulo. Nota que jf (x)j g(x) < 1 para todo
n
x 2 R r Z: Reemplazando fk (x); f (x) y g(x) por 0 para todo x 2 Z, podemos suponer
sin perder generalidad que fk ; f y g toman valores en R, y que
Como fk gy Z Z
fk g =: M 8k 2 N;
Rn Rn
el lema de Fatou (ver Teorema 13.24) asegura que f es integrable y que
Z Z
f l m inf fk : (13.7)
Rn k!1 Rn
En consecuencia, Z Z
f = lm fk
Rn k!1 Rn
308 13. TEOREMAS FUNDAMENTALES DE LA TEORíA DE INTEGRACIÓN
Observa que las sucesiones de funciones de los Ejemplos 11.8, 11.12, 13.19 y 13.25
no están dominadas por ninguna función integrable g [Ejercicio 13.58].
La importancia del teorema de convergencia dominada quedará de mani…esto en las
múltiples aplicaciones que veremos en el resto de estas notas. Concluimos esta sección
con dos corolarios interesantes de los teoremas de convergencia monóntona y conver-
gencia dominada. En las secciones siguientes daremos algunas aplicaciones de ellos.
S
1
Corolario 13.27 Sean X1 Xk subconjuntos de Rn ; X := Xk y
k=1
f : X ! R una función tal que f jXk 2 L(Xk ) para todo k 2 N y
Z
lm jf j < 1:
k!1 Xk
el teorema de convergencia monótona (ver Teorema 13.20) asegura que jf j = supk2N jfk j
es integrable.
Ahora, como fk (x) ! f (x) para todo x 2 Rn y jfk (x)j jf (x)j para todo x 2 Rn
y k 2 N, el teorema de convergencia dominada (ver Teorema 13.26) asegura que f es
integrable y que Z Z
f = lm f
X k!1 Xk
Entonces f fk = f 1XrXk es integrable y, en consecuencia, jf fk j también lo es.
Puesto que jf (x) fk (x)j ! 0 para todo x 2 Rn y jf (x) fk (x)j 2 jf (x)j para todo
x 2 Rn y k 2 N, el teorema de convergencia dominada asegura que
Z Z
0= lm jf fk j = l m jf j ;
k!1 X k!1 XrXk
P
1
Entonces la serie fj converge c.d. en Rn a una función integrable f : Rn ! R y
j=1
Z
P
k
lm f fj = 0:
k!1 Rn j=1
P
k P
1
gk := jfj j y g := jfj j = sup gk :
j=1 j=1 k2N
P
1
Esto implica que la serie fj (x) converge para todo x 2 Rn r Z:
j=1
De…nimos f : Rn ! R como
8 1
< P f (x) si x 2 Rn r Z;
j
f (x) := j=1
:
0 si x 2 Z:
P
k
Entonces fj (x) ! f (x) p.c.t. x 2 Rn y
j=1
P
k
fj (x) g(x) 8x 2 Rn ; 8k 2 N.
j=1
310 13. TEOREMAS FUNDAMENTALES DE LA TEORíA DE INTEGRACIÓN
P
k
f (x) fj (x) ! 0 8x 2 Rn r Z
j=1
P
k P
k
f (x) fj (x) jf (x)j + fj (x) jf (x)j + g(x) 8x 2 Rn ; 8k 2 N,
j=1 j=1
Se tiene que Z
P
k P
k
n 1
gk = f ( j ) jAj j = n! n f ( j) j (aj aj 1 ):
A j=1 j=1
La suma que aparece en el término de la derecha es una suma de Riemann para la inte-
gral de la función t 7! f (t)tn 1 en [a; b]: Por tanto, haciendo tender k ! 1 obtenemos
Z Z b
lm gk = n! n f (t)tn 1 dt: (13.9)
k!1 A a
Como f es uniformemente continua en [a; b], para cada " > 0 existe k0 2 N tal que
" b a
jf (t) f (s)j < si js tj < con k k0 :
jAj k
P
En consecuencia, dado que jf (kxk) gk (x)j = kj=1 f (kxk) f ( j ) 1Aj (x) p.c.t. x 2
A; se tiene que
Z X k Z
jf (kxk) gk (x)j dx = f (kxk) f ( j ) dx
A j=1 Aj
Xk
"
jAj j = " 8k k0 :
j=1
jAj
312 13. TEOREMAS FUNDAMENTALES DE LA TEORíA DE INTEGRACIÓN
Demostración: (a): Sea " > 0: Del Ejemplo 13.30 se sigue que
Z n
n+
! n rn+ si n + > 0;
lm kxk dx =
"!0 An (";r) 1 si n + 0:
La Proposición 13.31 nos permite dar un criterio muy útil de integrabilidad para fun-
ciones f : Rn ! R en términos de su comportamiento al 1. Empezamos introduciendo
el siguiente concepto.
M
jf (x)j 8x 2 Rn r B n (0; r);
kxkn+"
entonces f 2 L(Rn ):
La existencia de las dos últimas integrales se sigue de que f 2 Lloc (Rn ) y de la Proposi-
ción 13.31, respectivamente. La Proposición 13.34 asegura que f 2 L(Rn ):
Demostración: Sea " > 0: Basta probar que existe f" 2 Cc0 ( ) tal que
Z
jf f" j < ":
Reemplazando h por maxf0; hg, podemos suponer además que h 0: Entonces h(x) = 0
para todo x 2 Rn r 0 y, en consecuencia, gh 2 Cc0 ( ): Más aún, usando el Ejercicio
13.50 obtenemos
Z Z Z Z
jf ghj jf gj + jg ghj + jg ghj
r 0
Z Z Z 0
Del teorema del valor medio (ver Corolario 9.17) y las desigualdades (11.9) se sigue
entonces que
p
k'(x) '(y)k1 k'(x) '(y)k Mk kx yk Mk n kx yk1 8x; y 2 Qj :
Esto implica que, si Qpj es un cubo de semilado , entonces '(Qj ) está contenido en un
cubo de semilado Mk n . Por tanto,
Nota que '(Qj ) es compacto y, por tanto, integrable. Se tiene entonces que
S
m P
m P
m
'(Qj ) j'(Qj )j Mkn nn=2 jQj j Mkn nn=2 " 8m 2 N:
j=1 j=1 j=1
S
1
El Corolario 13.22 asegura que '(Qj ) es integrable y que
j=1
S
1 S
m
'(Qj ) = l m '(Qj ) Mkn nn=2 ":
j=1 m!1 j=1
S
1
Como '(Z \ k) '(Qj ); concluimos que
j=1
Z
1'(Z\ k)
Mkn nn=2 " 8" > 0:
Reemplazando a (fk ) por una subsucesión, podemos suponer además que existe un
subconjunto nulo Z de Rn tal que
0
fk (y) ! f (y) 8y 2 rZ
Entonces, gk 2 Cc0 ( ),
y ' 1 (Z) es nulo (ver Lema 13.38). El Teorema 11.25 asegura que
Z Z Z
0
gk = (fk ') jdet ' j = fk ; (13.15)
0
318 13. TEOREMAS FUNDAMENTALES DE LA TEORíA DE INTEGRACIÓN
y que
Z Z Z
0
jgk gj j = (jfk fj j ') jdet ' j = jfk fj j
0
Z Z
jfk fj + jf fj j :
0 0
De esta última desigualdad y la a…rmación (13.14) se sigue que existen k1 < < kj <
kj+1 < tales que Z
1
gkj+1 gkj < j :
2
En consecuencia, de…niendo gk0 := 0; concluimos que
Z
P
1
gkj+1 gkj < 1;
j=0
Observa que
P1
m
gkm = (gkj+1 gkj )
j=0
y que
P
1
g(x) = (gkj+1 (x) gkj (x)) 8x 2 r ' 1 (Z):
j=0
1 0
f = (g ' 1 ) det ' :
13.6. Ejercicios
Ejercicio 13.40 Prueba que [0; 1] r Q es integrable y calcula su medida en R.
Ejercicio 13.41 El objetivo de este ejercicio es mostrar la existencia de subconjuntos
nulos no numerables de [0; 1]: El conjunto de Cantor C se construye como sigue: Al
intervalo [0; 1] le quitamos su tercio medio ( 13 ; 23 ) y denotamos al conjunto restante por
1 2
C1 := [0; 1] r ; :
3 3
A cada uno de los dos subintervalos cerrados de C1 le quitamos su tercio medio y
denotamos al conjunto restante por
1 2 7 8
C2 := C1 r ; [ ; :
9 9 9 9
Continuando de esta manera, a cada uno de los 2k subintervalos cerrados de Ck le
quitamos su tercio medio y denotamos al conjunto restante por Ck+1 : De…nimos
T1
C := Ck :
k=1
Ejercicio 13.42 Para cada " > 0; de…ne de manera explícita un subconjunto abierto
integrable de Rn tal que Qn y j j < ":
(b) ¿Es cierto que, si un subconjunto integrable X de Rn tiene medida positiva en-
tonces int(X) 6= ;?
(a) Prueba que todo subconjunto abierto de Rn es la unión de una familia numerable
de cubos Qk ; k 2 N; tales que int(Qj ) \ int(Qk ) = ; si j 6= k:
Ejercicio 13.46 (a) Prueba que, si 1 m < n, X es una unión numerable de sub-
conjuntos compactos de Rm y f : X ! Rn m es una función continua, entonces
la grá…ca de f;
es un subconjunto nulo de Rn :
1 1 1 1 2 2 1 1 1 1 3 3
0; ; ;1 ; 0; ; ; ; ;1 ; 0; ; ; ; ; ; ;1 ; :::
2 2 3 3 3 3 4 4 2 2 4 4
(b) Prueba que (fk (x)) no converge para ningún x 2 [0; 1]:
S
1
entonces Xk es un subconjunto integrable de Rn y
k=1
S
1 P
1
Xk jXk j :
k=1 k=1
Ejercicio 13.58 Prueba, sin usar el teorema de convergencia dominada, que para las
sucesiones de funciones (fk ) de los Ejemplos 11.8, 11.12, 13.19,y 13.25 no existe ninguna
función integrable g : Rn ! R [ f 1g tal que jfk j g c.d. en Rn para todo k 2 N.
(iii) Existe una función integrable g : Rn ! R [ f1g tal que, para todo y 2 Y;
es continua en y0 :
(iii) Existe una función integrable g : Rn ! R [ f1g tal que, para todo t 2 (a; b);
@f
(x; t) g(x) c.d. en Rn :
@t
324 13. TEOREMAS FUNDAMENTALES DE LA TEORíA DE INTEGRACIÓN
Ejercicio 13.62 Sea f 2 Cc1 (R3 ) := C 1 (R3 ) \ Cc0 (R3 ). Prueba que la función F : R3 !
R, dada por Z
f (y)
F (x) := dy;
R3 ky xk
es de clase C 1 y que sus derivadas parciales están dadas por
Z
@F 1 @f
(x) := (y)dy; i = 1; 2; 3:
@xi R3 ky xk @yi
y calcula Z
P
n
x2i dx:)
i=1 B n (0;r)
13.6. EJERCICIOS 325
1
Ejercicio 13.69 ¿Para qué números > 0 es x 7! 1 kxk2
integrable en B n (0; 1)?
Calcula la integral Z
1
dx
kxk<1 1 kxk2
para tales :
Ejercicio 13.70 Sean a1 ; :::; am puntos distintos en Rn , m > n > 1; y sea f : Rn ! R;
Q
m 1
f (x) := :
i=1 kx ai k
Prueba que f es integrable en Rn :
Ejercicio 13.71 Prueba que, si f 2 Lloc (Rm ) y g 2 Lloc (Rn m ) con 1 m < n;
n m n m
entonces f g 2 Lloc (R ), donde (f g)(x; y) := f (x)g(y) si (x; y) 2 R R Rn :
Ejercicio 13.72 (Coordenadas esféricas) Sea ' : [0; 1) [0; ] [0; 2 ] ! R3 la
función '(r; ; ) := (r sin cos ; r sin sin ; r cos ): Entonces f 2 L(R3 ) si y sólo si
la función (r; ; ) 7! f ('(r; ; ))r2 sin es integrable en [0; 1) [0; ] [0; 2 ] y, en
ese caso,
Z Z 2 Z Z 1
f= f (r sin cos ; r sin sin ; r cos )r2 sin dr d d .
R3 0 0 0
326 13. TEOREMAS FUNDAMENTALES DE LA TEORíA DE INTEGRACIÓN
jXj := l m X \ B n (0; k) :
k!1
Observaciones 14.2 (a) Observa que todo conjunto integrable es medible (ver Proposi-
ción 12.38). El Corolario 13.22 asegura que, en ese caso, la noción de medida dada por
la De…nición 12.36 coincide con la dada aquí.
(b) El recíproco no es cierto: claramente, Rn es medible pero no es integrable.
(c) Nota también que si X es medible y jXj = 0 entonces X es un conjunto nulo.
Proponemos la demostración de esta a…rmación como ejercicio [Ejercicio 14.51].
son medibles.
1
Consulta por ejemplo el applet de M. Levoy, A. Adams, K. Dektar y N. Willett , Spacial Convo-
lution, applet para el curso Digital Photography (Spring 2011), Stanford University.
http://graphics.stanford.edu/courses/cs178/applets/convolution.html
14.1. CONJUNTOS Y FUNCIONES MEDIBLES 329
y la Proposición 12.38.
(b): Sean k 2 N y Ym := [m n
j=1 Xj \ B (0; k) : Como Ym B n (0; k); se tiene que
la sucesión (jYm j) es acotada. El Corolario 13.22 asegura entonces que
!
S
1 S
1 S
1
Ym = Xj \ B n (0; k) = Xj \ B n (0; k)
m=1 j=1 j=1
S
1
es integrable. En consecuencia, Xj es medible. De (a) y la identidad
j=1
T
1 S
1
Xj = Rn r (Rn r Xj )
j=1 j=1
T
1
se sigue que Xj es medible.
j=1
Giuseppe Vitali
I I+z
|I | |z |
x y si y sólo si x y 2 Q,
fx y : x; y 2 Xg (R r Q) [ f0g:
es decir, 8
>
> k si kxk k y f (x) 2 [k; 1);
<
f (x) si kxk k y f (x) 2 [ k; k];
f[k] (x) :=
> k
> si kxk k y f (x) 2 ( 1; k];
:
0 si kxk > k:
332 14. LOS ESPACIOS DE LEBESGUE
2.5
1.25
0
-2 -1 0 1 2
-1.25
-2.5
f[k]
Ejemplo 14.8 Toda función f 2 Lloc (Rn ) es medible. En particular, toda función con-
tinua f : Rn ! R es medible.
Probaremos ahora que las funciones medibles son precisamente aquéllas que son
límites puntuales de funciones integrables.
(a) f es medible.
(b) Existe una sucesión fk : Rn ! R de funciones integrables tales que fk (x) ! f (x)
para todo x 2 Rn :
(c) Existe una sucesión fj : Rn ! R [ f 1g de funciones medibles tales que fj (x) !
f (x) para todo x 2 Rn :
Concluimos lo siguiente.
es medible.
- k
Además, fk (x) ! f (x) para todo x 2 Rn : La Proposición 14.9 asegura entonces que f
es medible.
Si modi…camos los valores de una función medible sobre un conjunto nulo, ésta
continúa siendo medible.
Tonelli3 demostró que para funciones medibles vale el recíproco del teorema de
Fubini.
Leonida Tonelli
es integrable en Rn m
; entonces f es integrable en Rn .
es integrable en Rn m
y que se cumple
Z Z
gk = Gk :
Rn Rn m
3
Leonida Tonelli (1885-1946) nació en Gallipoli, Puglia, Italia. Estudió en la Universidad de Bologna
donde fue alumno de Cesare Arzelà. Fue profesor en las Universidades de Parma, Bologna y Pisa.
14.2. LOS ESPACIOS LP ( ) 337
M( ) := ff : ! R : f es medibleg
M ( ) := M( )= : (14.5)
Lp ( ) := ff 2 M ( ) : jf jp es integrable en g:
kf gk1 kf kp kgkq :
(b) Si f 2 L1 ( ) y g 2 L1 ( ); entonces f g 2 L1 ( ) y
kf gk1 kf k1 kgk1 :
1
Notación 14.22 De aquí en adelante convendremos que 1
:= 0: De este modo la
identidad p1 + 1q = 1 tiene sentido para todo p 2 [1; 1]:
kf + gk1 kf k1 + kgk1 :
Caso 2: p = 1:
Si f; g 2 L1 ( ); como jf + gj jf j + jgj kf k1 + kgk1 c.d. en ; se tiene que
f + g 2 L1 ( ) y
kf + gk1 kf k1 + kgk1 :
Caso 3: p 2 (1; 1):
Si f; g 2 Lp ( ); el Lema 14.23 asegura que jf (x) + g(x)jp 2p (jf (x)jp + jg(x)jp )
para toda x 2 y del Teorema 14.15 se sigue que f + g 2 Lp ( ):
14.2. LOS ESPACIOS LP ( ) 341
Sea q := p
p 1
: Entonces jf + gjp 1
2 Lq ( ) y
Z 1=q Z (p 1)=p
p 1 p 1 q p
jf + gj q
= (jf + gj ) = jf + gj = kf + gkpp 1
:
Como
jf + gjp = jf + gj jf + gjp 1
jf j jf + gjp 1
+ jgj jf + gjp 1
;
aplicando la desigualdad de Hölder (ver Proposición 14.21) obtenemos
Z Z Z
p p p 1
kf + gkp = jf + gj jf j jf + gj + jgj jf + gjp 1
kf kp kf + gkpp 1
+ kgkp kf + gkpp 1
= (kf kp + kgkp ) kf + gkpp 1
:
Si kf + gkp = 0; la desigualdad (14.8) se satisface trivialmente. Si kf + gkp 6= 0, di-
vidiendo la desigualdad anterior entre kf + gkpp 1 obtenemos la desigualdad (14.8).
jf (x) fk (x)jp 2p (jf (x)jp + jfk (x)jp ) 2p (jf (x)jp + jg(x)jp ) p.c.t. x 2 :
Demostración: Supongamos primero que p 2 [1; 1): Sea (fk ) una sucesión de
Cauchy en Lp ( ): Escogemos k1 < < kj < kj+1 < tales que
1
kfi fk kp si i; k kj :
2j
Entonces,
P
1 P1 1
fkj+1 fkj p j
= 1:
j=1 j=1 2
De…nimos fk0 := 0;
P1
m P
1
gm := fkj+1 fkj y g := fkj+1 fkj = sup gm :
j=0 j=0 m2N
Pm
La Proposición 14.24 asegura que kgm kp j=0 fkj+1 fkj p
: En consecuencia,
Z !p !p
P1
m P
1
jgm jp = kgm kpp fkj+1 fkj p
fkj+1 fkj p
<1
j=0 j=0
Dado que
P1
m
fkj+1 (x) fkj (x) = fkm (x);
j=0
se tiene que
lm f fkj p
= 0;
j!1
1
jfi (x) fk (x)j 8i; k km : (14.9)
m
Es decir, (fk (x)) es una sucesión de Cauchy en R: En consecuencia, para cada x 2 rZ;
existe f (x) 2 R tal que fk (x) ! f (x) en R. Extendemos f como f (x) := 0 si x 2 Z: Las
Proposiciones 14.14 y 14.9 aseguran que la función f es medible. Fijando k y haciendo
tender i a in…nito en la desigualdad (14.9), obtenemos que
1
jf (x) fk (x)j 8x 2 r Z; 8k km :
m
Por tanto, f fk 2 L1 ( ) y
1
kf fk k1 8k km : (14.10)
m
344 14. LOS ESPACIOS DE LEBESGUE
(a) Si p 2 [1; 1), existen una subsucesión (fkj ) de (fk ) y una función g 2 Lp ( ) tales
que
fkj (x) ! f (x) p.c.t. x 2 ;
fkj (x) g(x) p.c.t. x 2 ; 8j 2 N:
(b) Si p = 1; entonces fk (x) ! f (x) p.c.t. x 2 y existe c 2 R tal que jfk (x)j c
p.c.t. x 2 y para todo k 2 N:
Demostración: (a): Supongamos primero que p 2 [1; 1). Como (fk ) es de Cauchy
en Lp ( ); siguiendo la demostración del Teorema 14.27 concluimos que existen una
subsucesión (fkj ) de (fk ) y funciones f~; g 2 Lp ( ) tales que
jfk (x)j
kfk k1 y jf (x) fk (x)j kf fk k1 8x 2 r Zk :
S
Tomando Z := 1k=1 Zk obtenemos que
kf kL1 (B n (0;r)) = r :
Si < 0 entonces, para cualquier c > 0; se cumple que kxk c si y sólo si kxk c1= :
Como B n (0; c1= ) \ B n (0; r) no es un conjunto nulo, concluimos que f 2= L1 (B n (0; r)):
(d): Esta a…rmación se demuestra de manera análoga.
En consecuencia, f 2 Lp ( ) y
kf kp j j(s p)=sp
kf ks : (14.11)
Si 1 p < 1 y f 2 L1 ( ); entonces jf jp kf kp1 1 c.d. en : Como j j < 1, la
función kf kp1 1 es integrable. Por tanto, f 2 Lp ( ) (ver Teorema 14.15). Integrando
la desigualdad anterior obtenemos kf kpp j j kf kp1 ; es decir,
kf kp j j1=p kf k1 : (14.12)
Finalmente, si fk ! f en Ls ( ), como las desigualdades (14.11) y (14.12) aseguran
la existencia de una constante c tal que
kfk f kp c kfk f ks ;
concluimos que fk ! f en Lp ( ): Esto prueba que la inclusión Ls ( ) ,! Lp ( ) es
continua.
k1 gk1 1 8g 2 Cc0 ( ):
Dado que g1B n (0;2r) es integrable, el teorema de convergencia dominada (Teorema 13.26)
asegura que Z Z
l m (f g)(xk ) = l m hk = h = (f g)(x):
k!1 k!1 Rn Rn
@f
Demostración: Fijemos i 2 f1; :::; ng; x 2 Rn y " > 0: Como @x i
2 Cc0 (Rn ); se tiene
@f
que @xi
es uniformemente continua (ver Ejercicio 11.39). Por tanto, existe > 0 tal que
@f @f
(y) (z) < " si ky zk < : (14.16)
@xi @xi
@f
Sea r > 0 tal que sop @x i
B n (0; r) y x + tei 2 B n (0; r) para todo t 2 [ ; ]; donde
ei es el i-ésimo vector de la base canónica de Rn : Entonces
@f @f
(x + tei y) = (x + tei y)1B n (0;2r) (y) 8t 2 [ ; ]; y 2 Rn : (14.17)
@xi @xi
Por otra parte, aplicando el teorema del valor medio a la función s 7! f (x + stei y)
para cada t 2 [ ; ] y cada y 2 Rn ; concluimos que existe s 2 (0; 1) tal que
@f
f (x + tei y) f (x y) = t (x + stei y): (14.18)
@xi
f (x + tei y) f (x y) @f
(x y) jg(y)j
t @xi
@f @f
= (x + stei y) (x y) g1B n (0;2r) (y) < " g1B n (0;2r) (y)
@xi @xi
350 14. LOS ESPACIOS DE LEBESGUE
Observa que
Lp ( ) L1loc (Rn ) 8p 2 [1; 1]:
En efecto: si g 2 Lp ( ); entonces g1! 2 Lp (!) para todo subconjunto abierto y acotado
! de Rn y la Proposición 14.31 asegura que g1! 2 L1 (!):
Ahora veremos que f g hereda también las propiedades de integrabilidad de g:
Por tanto,
j(f g)(x)jp kf kp=q p
1 (jf j jgj ) (x) 8x 2 Rn :
Aplicando el caso p = 1 a las funciones jf j y jgjp y el Teorema 14.15 concluimos que
f g 2 Lp (Rn ) y
Z Z
p p=q
j(f g)(x)j dx kf k1 (jf j jgjp ) (x)dx kf kp=q p
1 kf k1 kgkp ;
Rn Rn
es decir,
kf gkp kf k1 kgkp ;
como a…rma el enunciado.
k (x) := ck n (kx):
Es sencillo comprobar que ( k ) es una sucesión regularizante [Ejercicio 14.75]. Se le
llama la sucesión regularizante estándar.
Si f 2 L1loc ( ) y ( k ) es una sucesión regularizante, entonces
1
sop( k f) x 2 Rn : dist(x; ) ;
k
pero sop( k f ) no está necesariamente contenido en : Por ejemplo, si f = 1 y ( k )
es la sucesión regularizante estándar, entonces
Z (
> 0 si dist(x; ) < k1 ;
( k 1 )(x) = k (x y)dy
= 0 si dist(x; ) k1 :
14.3. APROXIMACIÓN MEDIANTE FUNCIONES SUAVES 353
En consecuencia,
1
sop( k 1 )= x 2 Rn : dist(x; ) :
k
Lema 14.43 Dadas g 2 Cc0 ( ) y una sucesión regularizante ( k ) existe k0 2 N tal que
k g 2 Cc1 ( ) para todo k k0 y
1
Por tanto, si k se tiene que
Z
"
j( k g)(x) g(x)j k (y) jg(x y) g(x)j dy < 1=p
8x 2 Rn ;
B n (0; k1 ) j!j
(14.20)
1
y para k maxfk0 ; g =: k1 se cumple que
Z Z
p "p
j( k g) gj = j( k g) gjp < j!j = "p : (14.21)
! j!j
354 14. LOS ESPACIOS DE LEBESGUE
Demostración: Sean p 2 [1; 1); f 2 Lp ( ) y " > 0: Por la Proposición 14.33 existe
g 2 Cc0 ( ) tal que kf gkp < 2" : Si ( k ) es una sucesión regularizante, el Lema 14.43
asegura que existe k 2 N tal que k g 2 Cc1 ( ) y k( k g) gkp < 2" : Por tanto,
k( k g) f kp < ":
Teorema 14.45 Si p 2 [1; 1) entonces, para toda f 2 Lp (Rn ) y toda sucesión regu-
larizante ( k ), se cumple que
k f !f en Lp (Rn ):
Demostración: Sea " > 0: Por la Proposición 14.33 existe g 2 Cc0 (Rn ) tal que
kf gkp < 3" ; y por el Lema 14.43 existe k0 2 N tal que k( k g) gkp < 3" para todo
k k0 : La Proposición 14.40 asegura entonces que
"
k( k f) ( k g)kp = k k (f g)kp k k k1 kf gkp = kf gkp < :
3
En consecuencia,
para todo k k0 :
Andrey Kolmogorov
Como antes, dados 2 Rn y f : Rn ! R, denotamos por T f : Rn ! R a la
traslación de f por ; es decir,
T f (x) := f (x ):
Teorema 14.46 (Fréchet-Kolmogorov) Sean p 2 [1; 1); y ! abiertos de Rn con
! y K un subconjunto acotado de Lp ( ) con la siguiente propiedad: Para cada
" > 0 existe 2 (0; dist(!; Rn r )) tal que
kT f f kLp (!) < " 8 2 Rn con k k < y 8f 2 K. (14.22)
Entonces el conjunto K! := ff 1! : f 2 Kg es relativamente compacto en Lp (!):
Demostración: Sin perder generalidad podemos suponer que es acotado. Entonces
K es un subconjunto acotado de Lq ( ) para todo q 2 [1; p]: Demostraremos el resultado
en tres pasos.
Afirmación 1: Sea 2 Cc1 (RN ). Entonces el conjunto K ;! := f( f ) 1! : f 2 Kg
es relativamente compacto en C 0 (!):
En efecto: como K es un subconjunto acotado de L1 ( ); existe C0 > 0 tal que
Z
j( f )(x)j j (x y)j jf (y)j dy k k1 kf k1 C0 8x 2 Rn , 8f 2 K:
Rn
Además, como es Lipschitz continua, existen C1 ; C2 > 0 tales que para cualesquiera
x1 ; x2 2 Rn y f 2 K se cumple que
Z
j( f )(x1 ) ( f )(x2 )j j (x1 y) (x2 y)j jf (y)j dy
Rn
C1 kx1 x2 k kf k1 C2 kx1 x2 k :
4
Andrey Nikolaevich Kolmogorov (1903-1987) nació en Tambov, Rusia. Estudió en la Universidad
Estatal de Moscú, donde fue alumno de Nikolai Luzin. Fue profesor en dicha universidad.
356 14. LOS ESPACIOS DE LEBESGUE
(i) Para cada " > 0 y cada abierto ! existe 2 (0; dist(!; Rn r )) tal que
Demostración: Sean
2
X := x 2 Rn : dist(x; K) ; Y := x 2 Rn : dist(x; K) :
3 3
La función
dist(x; Y )
f (x) :=
dist(x; Y ) + dist(x; X)
está bien de…nida, es continua (ver Ejercicio 3.52) y satisface que 0 f (x) 1 para
todo x 2 Rn ; f (x) = 1 si x 2 X y f (x) = 0 si x 2 Y:
1 1 n
R Tomemos k 2 N tal que k < 3 y k 2 Cc (R ) tal que k 0; sop( k ) B n (0; k1 )
y Rn k = 1: Es sencillo comprobar que la función := k f 2 Cc1 (Rn ) tiene las
propiedades deseadas.
entonces f = 0 c.d. en :
Por el Lema 14.48 existen i 2 Cc1 (Rn ) tales que 0 i (x) 1 para todo x 2 Rn ;
i (x) = 1 si x 2 Ki y i (x) = 0 si dist(x; Ki ) ; i = 1; 2: De…nimos ' := 1 2:
1
Entonces ' 2 Cc ( ) y satisface
En consecuencia,
14.6. Ejercicios
Ejercicio 14.50 Si es abierto en Rn ; prueba que la medida j j de la De…nición 14.1
coincide con el volumen voln ( ) de la De…nición 12.19.
S
1
Xj = l m jXj j :
j=1 j!1
S
1 P
1
Xj = jXj j :
j=1 j=1
(e) Si X1 Xk
Xk+1 es una sucesión de subconjuntos medibles de Rn
T
1
y jX1 j < 1; entonces Xj es medible y
j=1
T
1
Xj = l m jXj j :
j=1 j!1
son medibles.
14.6. EJERCICIOS 361
(a) f : Rn ! R [ f 1g es medible.
a
(b) f := fx 2 Rn : f (x) ag es un subconjunto medible de Rn para todo a 2 R:
es medible.
es medible.
kxk si x 6= 0;
f (x) :=
0 si x = 0;
es medible.
(b) la función F : Rn m
! R [ f1g dada por
Z
F (y) := fy
es medible y Z Z
f= F:
Ejercicio 14.66 Sea ! un subconjunto abierto de y p 2 [1; 1]: Demuestra las sigu-
ientes a…rmaciones:
14.6. EJERCICIOS 363
kf ks kf kp1 kf kr ,
1 1 p
donde 2 (0; 1) satisface que s
= p
+ r
si r < 1 y := 1 s
si r = 1:
Q
m Q
m
fj kfj kpj :
j=1 j=1
r
Ejercicio 14.75 Demuestra que la sucesión del Ejemplo 14.42 es una sucesión regu-
larizante.
Ejercicio 14.76 Demuestra los siguentes resultados a partir del Teorema 14.44 (sin
usar la Proposición 14.49).
entonces f = 0 c.d. en :
(b) Si f 2 C 0 ( ) satisface
Z
f' = 0 8' 2 Cc1 ( );
entonces f = 0 en :
kf gk1 kf k1 kgk1 :
Espacios de Hilbert
Entre los espacios de Banach tienen especial importancia aquéllos cuya norma está
inducida por un producto escalar. Se llaman espacios de Hilbert y son la extensión
más natural del espacio euclidiano a dimensión in…nita. Los conceptos y resultados
de la geometría euclidiana se generalizan de manera natural a estos espacios: allí vale
el teorema de Pitágoras y la ley del paralelogramo, y podemos de…nir la proyección
ortogonal sobre un subespacio y su complemento ortogonal siempre y cuando dicho
subespacio sea cerrado.
La existencia de la proyección ortogonal tiene una consecuencia bien importante: tal
y como ocurre en Rn ; en un espacio de Hilbert H cualquier función lineal y continua
: H ! R se puede expresar como el producto escalar por un elemento u0 de H; es
decir,
u = hu0 ; ui 8u 2 H:
A este resultado se le conoce como el teorema de representación de Fréchet-Riesz y
tiene aplicaciones muy importantes (ver Teorema 16.29).
Los espacios de Hilbert son el ambiente natural para muchas aplicaciones. Vere-
mos en los próximos capítulos que la existencia de soluciones a ciertas ecuaciones en
derivadas parciales se puede plantear en términos de la existencia del mínimo de un
funcional sobre un hiperplano o sobre una esfera en un espacio de Hilbert. Dichos sub-
conjuntos no son compactos, por lo que el problema de minimización no resulta trivial.
En este capítulo introduciremos una nueva noción de convergencia, llamada con-
vergencia débil, que, a diferencia de la convergencia usual, tiene la propiedad de que
cualquier sucesión acotada contiene una subsucesión convergente en el sentido débil.
Este concepto es muy útil para abordar problemas de minimización ya que proporciona
un candidato para el mínimo: el límite débil de una sucesión minimizante. Resta probar,
en cada situación concreta, que éste es efectivamente el mínimo que buscamos. Daremos
aplicaciones importantes de este método en los próximos capítulos.
367
368 15. ESPACIOS DE HILBERT
De…nimos p
kvk := hv; vi: (15.1)
Hermann Schwarz
0 hv + w; v + wi = kvk2 + 2 hv; wi + 2
kwk2 :
hv;wi
Si w 6= 0; tomando := kwk2
obtenemos
y sacando raíz cuadrada obtenemos la desigualdad deseada. Nota que ésta se satisface
trivialmente si w = 0.
(b): Usando la desigualdad de Cauchy-Schwarz obtenemos
l m hv; wk i = hv; wi 8v 2 V:
k!1
370 15. ESPACIOS DE HILBERT
David Hilbert
(b) El
P1 espacio `2 de todas las sucesiones x = (xk ) de números reales tales que la serie
2
k=1 jxk j converge, con el producto escalar
P
1
hx; yi`2 := xk yk ; x = (xk ); y = (yk ) 2 `2 ; (15.3)
k=1
es un espacio de Hilbert.
(c) Para cualquier abierto de Rn ; el espacio L2 ( ) con el producto escalar
Z
hf; gi2 := f g; f; g 2 L2 ( ); (15.4)
es un espacio de Hilbert.
2
David Hilbert (1862-1943) nació en Königsberg en la provincia de Prusia, hoy parte de Rusia.
Estudió en la Universidad de Königsberg y fue profesor en la Universidad de Göttingen. Es reconocido
como uno de los matemáticos más universales e in‡uyentes del siglo XIX y principios del XX.
15.1. CONCEPTOS Y PROPIEDADES BÁSICAS 371
V ? := fw 2 H : hv; wi = 0 8v 2 V g :
hv; wi = l m hv; wk i = 0 8v 2 V
k!1
w 2V? () kwk = nf kw vk :
v2V
15.2. COMPLEMENTO ORTOGONAL 373
ku vk = nf ku wk : (15.5)
w2V
d := nf ku wk :
w2V
ya que 21 (w + w)
~ 2 V: Tomemos una sucesión (vk ) en V tal que l mk!1 ku vk k = d:
Dada " > 0 elegimos k0 2 N tal que
"
ku vk k2 < d2 + 8k k0 :
4
Aplicando la identidad del paralelogramo y la desigualdad (15.6) obtenemos
Esto prueba que (vk ) es una sucesión de Cauchy en V: Dado que V es de Hilbert (ver
Proposición 15.9), existe v 2 V tal que vk ! v en H: En consecuencia,
ku vk = l m ku vk k = d:
k!1
Por tanto, v~ = v:
PV : H ! V
ku PV uk = nf ku wk :
w2V
u v 2V? () ku vk = nf ku v wk = nf ku zk :
w2V z2V
(a.1) PV PV = P V ;
(a.2) ker PV = V ? :
u + u~ ( PV u + PV u~) = (u PV u) + (~
u PV u~) 2 V ? :
En particular,
kPV uk kuk 8u 2 H;
lo que implica que PV es continua y, además, que
kPV uk
kPV kL(H;V ) := sup 1:
u2Hrf0g kuk
kPV vk
= 1:
kvk
376 15. ESPACIOS DE HILBERT
Tw : H ! R; Tw u := hw; ui ;
Frigyes Riesz
T u = hw; ui =: Tw u 8u 2 H: (15.9)
Tu Tu
hw; ui = w; u w0 + hw; w0 i = (T u) hw0 ; w0 i = T u 8u 2 H:
T w0 T w0
( w1 + w2 )u = h w1 + w2 ; ui = hw1 ; ui + hw2 ; ui = [ ( w1 ) + ( w2 )] u
Gustav Dirichlet
hw; ui = T u 8u 2 V
1
J(u) := kuk2 T u:
2
4
A las funciones de…nidas en un espacio de Banach que toman valores reales se les suele llamar
funcionales en vez de funciones.
5
Johann Peter Gustav Lejeune Dirichlet (1805-1859) nació en Düren, entonces parte del imperio
francés y actualmente de Alemania. Estudió en el Collège de France y en la Facultad de Ciencias de
Paris. Fue profesor en las Universidades de Berlín y de Göttingen.
15.4. BASES DE HILBERT 379
Ejemplo 15.22 Sea ek = (ek;j ) la sucesión cuyos términos son ek;k = 1 y ek;j = 0 si
k 6= j: Entonces B := fek : k 2 Ng es una base de Hilbert de `2 :
Es sencillo comprobar que el límite débil de una sucesión, de existir, es único [Ejer-
cicio 15.49].
es decir, uk * u débilmente en H:
Demostración: Sea v 2 H:
Caso 1: v 2 lin(O):
P
m
Si v = i ei con i 2 R entonces hek ; vi = 0 para todo k > m: Por tanto,
i=1
l m hek ; vi = 0 8v 2 lin(O):
k!1
Caso 2: v 2 V := lin(O):
Dada " > 0 escogemos w 2 lin(O) y k0 2 N tales que
" "
kv wk < y jhek ; wij < 8k k0 :
2 2
Entonces, como kek k = 1; utilizando la desigualdad de Cauchy-Schwarz obtenemos
jhek ; vij jhek ; v wij + jhek ; wij kek k kv wk + jhek ; wij < " 8k k0 :
Caso 3: v 2 V ? :
En este caso hek ; vi = 0 para todo k 2 N.
Caso 4: v 2 H arbitrario.
382 15. ESPACIOS DE HILBERT
Lema 15.28 Sea (uk ) una sucesión acotada en H tal que la sucesión (huk ; vi) converge
en R para cada v 2 H: Entonces existe u 2 H tal que uk * u débilmente en H:
T v := l m huk ; vi
k!1
Por tanto,
jT vj = l m jhuk ; vij c kvk 8v 2 H:
k!1
l m huk ; vi =: T v = hu; vi 8v 2 H:
k!1
Teorema 15.29 Toda sucesión acotada en H contiene una subsucesión débilmente con-
vergente en H:
Demostración: Sea (uk ) una sucesión acotada en H y sea c 2 R tal que kuk k c
para todo k 2 N: De la desigualdad de Cauchy-Schwarz se sigue que
Es decir, la sucesión de números reales (huk ; u1 i) está acotada y, por tanto, existe una
subsucesión (u1k ) de (uk ) tal que (hu1k ; u1 i) converge en R. La sucesión (hu1k ; u2 i) también
está acotada y, por tanto, existe una subsucesión (u2k ) de (u1k ) tal que (hu2k ; u2 i) converge
en R. Continuando de este modo obtenemos, para cada m 2 N; una subsucesión (um k )
m 1 m k
de (uk ) tal que (huk ; um i) converge en R cuando k ! 1: De…nimos wk := uk : La
sucesión (wk ) es una subsucesión de (uk ): Probaremos que (wk ) converge débilmente en
H: De acuerdo con el Lema 15.28 basta probar que la sucesión (hwk ; vi) converge en R
para cada v 2 H: Consideramos cuatro casos.
Caso 1: v = um :
384 15. ESPACIOS DE HILBERT
Observa que la subsucesión (wm ; wm+1 ; :::) de (wk ) es una subsucesión de (um j ): En
consecuencia, (hwk ; um i) converge en R cuando k ! 1.
Caso 2: v 2 V := lin(fum : m 2 Ng).
Del caso anterior y la bilinealidad del producto escalar se sigue que (hwk ; vi) converge
en R.
Caso 3: v 2 V :
Dada " > 0 elegimos w 2 V tal que kv wk < 4c" : El caso anterior asegura que la
sucesión (hwk ; wi) es de Cauchy en R. Por tanto, existe k0 2 N tal que jhwk wj ; wij < 2"
si k; j k0 : En consecuencia,
Esto prueba que la sucesión (hwk ; vi) es de Cauchy en R y, por tanto, converge.
Caso 4: v 2 H arbitrario.
Como V es cerrado en H; el Teorema 15.17 asegura que v = w + z con w 2 V y
?
z 2 V : Por tanto,
hwk ; vi = hwk ; wi + hwk ; zi = hwk ; wi :
Aplicando el caso anterior concluimos que la sucesión (hwk ; vi) converge.
Para concluir, probaremos que toda sucesión débilmente convergente está acotada.
Usaremos el siguiente resultado de Baire6 .
René-Louis Baire
6
René-Louis Baire (1874-1932) nació en París. Estudió en la École Normale Supérieure y fue profesor
de la Universidad de Dijon.
15.5. CONVERGENCIA DÉBIL 385
uk uk
kuk k = uk ; uk ; w0 + + jhuk ; w0 ij 2m0 8k 2 N
2 2 kuk k 2 kuk k
4
y, en consecuencia, kuk k m0 para todo k 2 N.
386 15. ESPACIOS DE HILBERT
15.6. Ejercicios
Ejercicio 15.32 ¿Es
Z 1=2
hf; gi := fg
0
Ejercicio 15.35 Sea (V; k k) un espacio normado. Prueba que, si la norma cumple la
ley del paralelogramo
entonces
1
hv; wi := 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 h v; wi = hv; wi demuéstralo primero para 2 Q y usa la continuidad
para demostrarlo para 2 R:)
Ejercicio 15.37 Demuestra que las normas de los siguientes espacios no están induci-
das por ningún producto escalar.
Ejercicio 15.38 Prueba que todo subespacio vectorial de dimensión …nita de un espacio
de Hilbert H es cerrado en H:
(a) (V )? = V ? :
(c) (V ? )? = V :
Ejercicio 15.40 Prueba que, si f 2 L2 ( ) r Cc0 ( ); no existe ningún g 2 Cc0 ( ) tal que
kf gk2 = nf kf hk2 :
h2Cc0 ( )
ku vk = nf ku wk :
w2C
(a) Prueba que, para cada u 2 U; existe un único elemento r'(u) 2 H tal que
r' : U ! H; u 7! r'(u);
es continua.
r (u) = r'(u):
:= fu 2 H : kuk = 1g
Tu = fv 2 H : hu; vi = 0g:
kP1 wk
wk := vk hvk ; ej i ej y ek := :
j=1 kwk k
p(x) = a0 + a1 x + + am x m , ai 2 R; m 2 N [ f0g:
lin(B) = P[ 1; 1]:
(a) Prueba que el límite débil de una sucesión débilmente convergente en H es único.
(c) Da un ejemplo de una función continua ' : H1 ! H2 y una sucesión (uk ) débil-
mente convergente en H1 tal que ('(uk )) no converge débilmente en H2 :
Ejercicio 15.52 Sea fk (x) := sin kx: Prueba que la sucesión (fk ) converge débilmente
a 0 en L2 ( ; ):
R
Ejercicio 15.53 Sea g 2 Cc0 (Rn ) tal que sop(g) B n (0; 21 ) y Rn
g 2 = 1: Para cada
k 2 N; de…nimos
gk (x1 ; :::; xn ) := g(x1 + k; :::; xn ):
(a) Prueba que gk * 0 débilmente en L2 (Rn ) y que (gk ) no converge en L2 (Rn ): (Sug-
erencia: Demuestra que fgk : k 2 Ng es un subconjunto ortonormal de L2 (Rn ):)
7
Para la de…nición de topología consulta por ejemplo el libro de J. Dugundji, Topology, Allyn and
Bacon, Boston, MA 1966.
392 15. ESPACIOS DE HILBERT
Capítulo 16
Espacios de Sobolev
El espacio de dichas funciones, al que denotamos Cc1 ( ), no resulta completo con esta
norma.
Los espacios de Sobolev que estudiaremos en este capítulo son espacios de Banach y
contienen a Cc1 ( ) como subespacio denso. Consisten de funciones en Lp ( ) que tienen
derivadas parciales en un sentido débil y dichas derivadas débiles son elementos de
Lp ( ): De modo que la norma de…nida arriba tiene sentido para dichas funciones.
Las derivadas débiles son una herramienta fundamental en el estudio de ecuaciones
en derivadas parciales, pues al debilitar la noción de derivada se vuelve más fácil encon-
trar soluciones. Este tipo de soluciones se llaman soluciones débiles. Una vez encontrada
la solución débil, hay que analizar si ésta resulta diferenciable en el sentido usual y si
resulta ser una solución auténtica de nuestra ecuación.
Los espacios de Sobolev son el ambiente adecuado para estudiar la existencia de
soluciones débiles. Gracias al principio de Dirichlet, los mínimos de ciertos funcionales en
un espacio de Sobolev resultan ser soluciones débiles de ciertas ecuaciones en derivadas
parciales.
Aplicaremos la teoría de espacios de Sobolev para probar la existencia de una solu-
ción u : ! R de la ecuación en derivadas parciales
u+u=f
393
394 16. ESPACIOS DE SOBOLEV
u( ) = g( ) 8 2@ ;
P
n
@2u
donde u := @x21
es el operador de Laplace y f; g : ! R son funciones dadas.
i=1
Cck ( ) := Cc0 ( ) \ C k ( )
Por tanto, Z Z Z a
@' @'
= b) dx1 db
(x1 ; x x = 0:
@x1 Rn 1 a @x1
(b): Aplicando la a…rmación (a) al producto f ' 2 Cc1 ( ) obtenemos
Z Z Z
@(f ') @f @'
0= = '+ f ;
@xi @xi @xi
16.1. DERIVADAS DÉBILES 395
Di u := vi :
ru := (D1 u; D2 u; : : : ; Dn u):
1 x > 0;
(Du)(x) =
1 x 0:
396 16. ESPACIOS DE SOBOLEV
Demostración: Si ' 2 Cc1 (R) y sop(') [ a; a]; tomando en cuenta que u es difer-
enciable en ( a; 0) y en (0; a) y usando el teorema fundamental del cálculo obtenemos
Z 1 Z 0 Z a
0 0
[u' + (Du)'] = [u' + (Du)'] + [u'0 + (Du)']
1 a 0
Z 0 Z a
= (u')0 + (u')0 = a'( a) + a'(a) = 0;
a 0
Estas dos identidades, junto con la Proposición 14.49, implican que v = 0 c.d. en R. En
consecuencia,
Z 0 Z 1
0
'(0) = ' = 1( 1;0) '0 = 0 8' 2 Cc1 (R):
1 1
Observaciones 16.7 El Ejemplo 16.6 muestra que la extensión trivial de una función
débilmente diferenciable en no es, en general, débilmente diferenciable en Rn : la
función constante igual a 1 es de clase C 1 en ( 1; 0) pero su extensión trivial 1( 1;0) :
R ! R no es débilmente diferenciable en R.
@u 2
(x) = kxk xi = vi (x) si x 6= 0:
@xi
@ k @
k :
@xi 1 @xi 1
398 16. ESPACIOS DE SOBOLEV
@ n! n 2 +n 1
= k'k1
@xi 1 +n k +n 1
Di ( u + v) = Di u + Di v 8i = 1; :::; n:
Sergei Sobolev
De…nición 16.11 Sea p 2 [1; 1]: El espacio de Sobolev W 1;p ( ) se de…ne como
Lema 16.13 Sean p 2 [1; 1] y (uk ) una sucesión en W 1;p ( ) tal que uk ! u en Lp ( )
y Di uk ! vi en Lp ( ) para cada i = 1; :::; n: Entonces u es débilmente diferenciable en
, vi = Di u para todo i = 1; :::; n; y uk ! u en W 1;p ( ):
@'
Demostración: Sea ' 2 Cc1 ( ): Entonces '; @x i
2 Lq ( ) para todo q 2 [1; 1]:
Tomando q de modo que p1 + 1q = 1 y usando la desigualdad de Hölder (ver Proposición
14.21) obtenemos que
Z Z
@' @' @'
u uk ku uk kp !0 cuando k ! 1;
@xi @xi @xi q
Z Z
vi ' (Di uk )' kvi Di uk kp k'kq ! 0 cuando k ! 1:
16.2. ESPACIOS DE SOBOLEV 401
Por tanto, Z Z Z Z
@' @'
u + vi ' = l m uk + (Di uk )' =0
@xi k!1 @xi
para cada i = 1; :::; n: Esto prueba que u es débilmente diferenciable en y que vi =
Di u: En consecuencia, u 2 W 1;p ( ): Además se tiene que
X
n
l m kuk ukpW 1;p ( ) = l m kuk ukpp + l m kDi uk Di ukpp = 0 si p 2 [1; 1):
k!1 k!1 k!1
i=1
Demostración: Sea (uk ) una sucesión 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 16.13 se sigue que
u 2 W 1;p ( ) y uk ! u en W 1;p ( ): Esto demuestra que W 1;p ( ) es completo.
Veamos un ejemplo.
@ k 1 @ x
Por otra parte, puesto que @xi
(x) = k @xi k
; se tiene que
@ k 1 @
= :
@xi 1 k @xi 1
16.2. ESPACIOS DE SOBOLEV 403
Así que, como ( k) está acotada en Lp (Rn ); existe una constante c > 0 tal que
p Z p p
@ k @ k 1 @ c
k = k p
k k kpp ! 0:
@xi p Rn @xi k @xi 1 kp
Por tanto,
@( k k) @ k @ k
Di u = Di u k k
@xi p @xi @xi p
@ k @ k
Di u k + k ! 0:
@xi p @xi p
Teorema 16.18 Cc1 (Rn ) es denso en W 1;p (Rn ) para todo p 2 [1; 1):
Demostración: Sea u 2 W 1;p (Rn ) y sea ( k ) una sucesión regularizante (ver De…ni-
ción 14.41). Las Proposiciones 14.38 y 14.40 aseguran que k u 2 C 1 (Rn ) \ W 1;p (Rn )
y que
@ @
( k u) = k u 8i = 1; :::; n:
@xi @xi
Puesto que u es débilmente diferenciable en Rn y la función y 7! k (x y) pertenece a
Cc1 (Rn ) para cada x 2 Rn ; se tiene que
Z Z
@ k
0 = (x y)u(y)dy + k (x y)Di u(y)dy
Rn @xi Rn
@ k
= u (x) + ( k Di u)(x):
@xi
En consecuencia,
@
( u) = Di u 8i = 1; :::; n:
@xi k k
H01 ( ) := W01;2 ( ):
@ @u
k u ! u en Lp (Rn ) y ( k u) ! en Lp ( ) 8i = 1; :::; n;
@xi @xi
y aplicando el Lema 16.13 obtenemos que k u ! u en W 1;p ( ): En consecuencia,
u 2 W01;p ( ):
Demostración: Sea ('k ) una sucesión en Cc1 ( ) tal que 'k ! u en W 1;p ( ): En-
tonces 'k ! u en Lp ( ) y @'
@xi
k
! Di u en Lp ( ): Además, 'k 2 Cc1 (Rn ) y @@x'ki = @'
@xi
k
:
En consecuencia,
@ 'k
'k ! u en Lp (Rn ) y ! Di u en Lp (Rn ) 8i = 1; :::; n:
@xi
16.2. ESPACIOS DE SOBOLEV 405
Di (g u) = (g 0 u)Di u:
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 'k 2 Cc1 ( ) W01;p ( ): Usando (16.8) obtenemos
Z Z
p 0 p
jg u g 'k j kg k1 ju 'k jp ! 0:
Por tanto, g u 2 Lp ( ) y
g 'k ! g u en Lp ( ): (16.9)
Por otra parte, el Teorema 14.28 asegura que ('k ) contiene una subsucesión tal que
'kj (x) ! u(x) p.c.t. x 2 y, puesto que g 0 es continua, se tiene que
Además,
g 0 ('kj (x))Di u(x) kg 0 k1 jDi u(x)j 8x 2 ; 8j 2 N:
Como Di u 2 Lp ( ), el Teorema 14.26 asegura que (g 0 u)Di u 2 Lp ( ) y
1 0 @ i
det( ) 1
cp y c 8i; j = 1; :::; n;
@yj 1
Observa primero que el teorema de cambio de variable (Teorema 13.36) asegura que, si
v 2 Lp ( ); entonces jv jp = jvjp es integrable y
Z Z
p p
kv kp = jvj = jvjp det( 1 )0 cp kvkpp :
0
Sean u 2 W01;p ( ) y 'k 2 Cc1 ( ) tales que 'k ! u en W 1;p ( ): Entonces, 'k 2
Cc1 ( 0 ) W01;p ( 0 ): De la observación anterior se sigue que u 2 Lp ( 0 ); Dj u 2
p 0
L ( );
ku 'k kp = k(u 'k ) kp c ku 'k kp ! 0;
16.2. ESPACIOS DE SOBOLEV 407
@ j @'k @ j @'k @ j
(Dj u ) = Dj u
@yi @xj @yi p @xj @yi p
@'k
c Dj u
@xj p
@'k
c2 Dj u ! 0 cuando k ! 1;
@xj p
@('k ) Pn @'k @ j P
n @ j
= ! (Dj u ) en Lp ( 0 ):
@yi j=1 @xj @yi j=1 @yi
Observa que en las dos proposiciones anteriores jugó un papel importante el hecho de
que u es el límite de funciones en Cc1 ( ): Estas proposiciones son válidas también para
funciones en W 1;p ( ); pero su demostración requiere de un resultado de aproximación
más delicado que no veremos aquí2 .
Intuitivamente se antoja pensar a W01;p ( ) como el espacio de las funciones de
W 1;p ( ) que se anulan en la frontera de : Esta a…rmación no tiene sentido en general,
ya que los elementos de W 1;p ( ) son clases de equivalencia de funciones que coinciden
c.d. en y @ tiene medida 0. Veremos que, bajo ciertas condiciones, esta a…rmación
tiene sentido y es cierta.
Una función ' : U ! U 0 entre subconjuntos abiertos U y U 0 de Rn se llama un
difeomor…smo de clase C k si ' es de clase C k en U; ' es biyectiva y su inverso
' 1 : U 0 ! U es de clase C k en U 0 :
Como antes denotamos por
B n 1 (0; r) := fx 2 Rn 1
: jxj < rg
@ i @( 1 )i
2 L1 (B n 1 (0; 1) (0; 1)) y 2 L1 (U ) 8i; j = 1; :::; n:
@yj @xj
@( k ) @ k @ @
Di ( u) Di u + u k
@xi Lp (U \ ) @xi Lp (U \ ) @xi @xi Lp (U \ )
@ k @ p
Di u + ku k kLp ( ) ! 0:
@xi Lp ( ) @xi 1
Demostraremos que
v(y; 0) = 0 8y 2 B n 1 (0; 1): (16.11)
16.2. ESPACIOS DE SOBOLEV 409
Observa que esto basta para probar la a…rmación del teorema ya que, puesto que x0 =
#(0; 0) 2 K; se tiene que u(x0 ) = (x0 )u(x0 ) = v(0; 0) = 0:
Para probar (16.11) elegimos 'k 2 Cc1 (B n 1 (0; 1) (0; 1)) tal que 'k ! v en
W (B n 1 (0; 1) (0; 1)): Como 'k (y; 0) = 0 para todo y 2 B n 1 (0; 1); el teorema
1;p
Sea " 2 (0; 1): Por el teorema del valor medio para integrales 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 : (16.12)
0 0
Por tanto, Z Z
" "
1 @'k
j'k (y; t)j dt (y; s) ds 8" 2 (0; 1);
" 0 0 @xn
e integrando ambos lados de la desigualdad sobre B n 1 (0; 1) obtenemos que
Z Z
1 @'k
j'k j ;
" Q" Q" @xn
donde Q" := B n 1 (0; 1) (0; "): Dado que Q" tiene medida …nita, se tiene que 'k ! v
en L1 (Q" ) y @'
@xn
k
! Di v en L1 (Q" ) (ver Proposición 14.31). De modo que, pasando al
límite cuando k ! 1; concluimos que
Z Z
1
jvj jDn vj :
" Q" Q"
Nota que, como v es continua, jv(y; s" )j ! jv(y; 0)j cuando " ! 0: Aplicando el teorema
de convergencia dominada (Teorema 13.36) concluimos que
Z Z Z
jv(y; 0)j = l m jv(y; s" )j l m jDn vj = 0:
kyk<1 "!0 kyk<1 "!0 Q"
El recíproco del teorema anterior también es cierto sin ninguna condición de regu-
laridad en @ . Más precisamente: si u 2 W 1;p ( ) \ C 0 ( ) y u(x) = 0 para todo x 2 @ ;
entonces u 2 W01;p ( )3 :
u = 0 en ; (16.13)
u + u = f en ;
(16.15)
u = 0 sobre @ ;
De…nición 16.26 Una función u 2 C 2 ( ) que satisface (16.15) se llama una solución
clásica de (16.15).
Observaciones 16.30 ObservaR que, como Cc1 ( ) es denso en H01 ( ) y las funciones
v 7! hu; viH 1 ( ) y T v = f v son continuas en H01 ( ); si la identidad (16.19) se
satisface para todo ' 2 Cc1 ( ) entonces se cumple también para todo v 2 H01 ( ). Así
que la condición (16.18) es equivalente a
Z
hu; viH 1 ( ) = fv 8v 2 H01 ( ): (16.20)
El siguiente resultado a…rma que, si los datos del problema y la solución débil son
su…cientemente regulares, entonces ésta es una solución clásica.
Proposición 16.31 Si es de clase C 1 ; f 2 L2 ( ) \ C 0 ( ) y la solución débil u 2
H0 ( ) del problema (16.15) satisface u 2 C 2 ( ), entonces u es solución clásica de
1
(16.15).
Demostración: El Teorema 16.25 asegura que u(x) = 0 para todo x 2 @ : Por otra
parte, aplicando la fórmula de Green (16.17) obtenemos
Z Z Z Z
( u + u f )' = ru r' + u' f' = 0 8' 2 Cc1 ( ):
Si los datos del problema son su…cientemente regulares, la solución débil resulta ser
su…cientemente regular. Se tiene, por ejemplo, el siguiente resultado, cuya demostración
no daremos aquí5 .
Teorema 16.32 (de regularidad) Si es un subconjunto abierto y acotado de Rn de
clase C 1 , f 2 C 1 ( ) y u 2 H01 ( ) es una solución débil del problema (16.15), entonces
u 2 C 1 ( ).
De hecho, bastan condiciones de regularidad mucho más débiles sobre y f para
concluir que u 2 C 2 ( )6 ; como requiere la Proposición 16.31.
Usando el teorema de regularidad obtenemos el siguiente resultado.
5
Puedes consultar la demostración en el libro de L.C. Evans, Partial di¤ erential equations, Graduate
Studies in Math. 19, Amer. Math. Soc., Providence 1988.
6
Una referencia muy completa sobre resultados de este tipo es el libro de D. Gilbarg y N.S.
Trudinger, Elliptic partial di¤ erential equations of second order, Springer-Verlag, Berlin Heidelberg
2001.
414 16. ESPACIOS DE SOBOLEV
u + u = f en ;
(16.21)
u = g sobre @ :
De…nición 16.34 Una función u 2 C 2 ( ) que satisface (16.21) se llama una solución
clásica de (16.21).
Ag := fu 2 H 1 ( ) : u g 2 H01 ( )g:
Observa que la condición (16.22) es la misma que la condición (16.18) del caso
homogéneo. Sólo que ahora buscamos una solución en Ag en vez de en H01 ( ): Nota que
Ag no es un espacio vectorial (y en consecuencia no es un espacio de Hilbert) a menos
que g = 0 en cuyo caso Ag = H01 ( ):
El Teorema 16.29 se extiende como sigue.
16.4. EJERCICIOS 415
16.4. Ejercicios
Ejercicio 16.38 Prueba que, si ! es un subconjunto abierto de y u 2 L1loc ( ) es dé-
bilmente diferenciable en , entonces la restricción de u a ! es débilmente diferenciable
en ! y
Di (u j! ) = (Di u) j! :
(b) Dada p 2 [1; 1]; ¿para qué valores de 2 R se cumple que u 2 W 1;p ( )?
¿Para qué valores de n es cada una de las funciones anteriores débilmente diferen-
ciable en Rn ? ¿Para qué valores de n y p pertenece a W 1;p (Rn )?
Ejercicio 16.42 Sea p 2 [1; 1): Prueba que, si u 2 W 1;p (Rn ) y ' 2 Cc1 ( ); entonces
u' 2 W01;p ( ) y
@'
Di (u') = (Di u) ' + u 8i = 1; :::; n:
@xi
Ejercicio 16.43 Sea p 2 [1; 1): Prueba que, si u 2 W01;p ( ); entonces juj 2 W01;p ( )
y 8
< (Di u) (x) si u(x) 0;
(Di juj) (x) = 0 si u(x) = 0;
:
(Di u) (x) si u(x) 0:
(Sugerencia: Considera las funciones " (t) = (t2 + "2 )1=2 ", " > 0; y " u: Prueba
que " u ! juj en W 1;p ( ):)
Ejercicio 16.46 Prueba que, si u 2 W 1;p ( ) y Di u 2 W 1;p ( ) para todo i 2 f1; :::; ng
entonces
Dj Di u = Di Dj u 8i; j = 1; :::; n:
Encajes de Sobolev
La herramienta fundamental para este análisis son ciertas desigualdades que per-
miten estimar la norma en Lq de una función ' 2 Cc1 (Rn ) en términos de la norma
en Lp de su gradiente. A este tipo de desigualdades se les suele llamar desigualdades
de Sobolev, en honor al matemático Sergei Sobolev a quien se deben algunas de ellas.
Estas desigualdades se extienden por densidad a W01;p ( ) y permiten obtener encajes
continuos de éste en otros espacios.
Probaremos, en particular, que cuando p 2 [1; n), el espacio W01;p ( ) está contenido
en Lq ( ) para todo q 2 [p; p ]; donde p := nnpp : Este número se llama el exponente
crítico de Sobolev. Más aún, la inclusión W01;p ( ) Lq ( ) resulta ser una función
continua.
Cuando el dominio es acotado y q < p se tiene una propiedad aún más fuerte:
la inclusión W01;p ( ) Lq ( ) resulta ser compacta, es decir, toda sucesión acotada en
W01;p ( ) contiene una subsucesión convergente en Lq ( ): Este resultado, debido a Franz
Rellich y Vladimir Kondrashov, tiene implicaciones muy importantes para la existencia
de soluciones de problemas elípticos. Lo aplicaremos aquí para probar la existencia de
una sucesión no acotada de valores propios del operador laplaciano en H01 ( ) cuando
es un dominio acotado.
419
420 17. ENCAJES DE SOBOLEV
es decir, n
1 +n
k'kq C p q kr'kp 8' 2 Cc1 (Rn ) ; 8 > 0:
Haciendo tender a cero si 1 np + nq > 0 o a in…nito si 1 np + nq < 0 vemos que, si
1 np + nq 6= 0; la desigualdad anterior no se satisface para ninguna ' 6= 0.
Así que necesariamente 1 np + nq = 0; en cuyo caso np > 1 y q = nnpp ; como a…rma
el enunciado.
17.1. DESIGUALDADES DE SOBOLEV 421
Entonces f 2 L1 (Rn ) y
Q
n
kf kL1 (Rn ) kfi kLn 1 (Rn 1 ) :
i=1
Nota que
Q
n n 1
jf (y; xn+1 )j = jfi (b
yi ; xn+1 )j jfn+1 (y)j = jg(y)j n jfn+1 (y)j :
i=1
422 17. ENCAJES DE SOBOLEV
Teorema 17.4 Existen constantes C > 0; que dependen únicamente de n y p; con las
siguientes propiedades:
17.1. DESIGUALDADES DE SOBOLEV 423
Demostración: Sea ' 2 Cc1 (Rn ) : Como ' tiene soporte compacto, el teorema fun-
damental del cálculo asegura que
Z xi
@'
' (x) = (x1 ; :::; xi 1 ; t; xi+1 ; :::; xn )dt
1 @xi
Si n 2 de…nimos
Z 1
1
@' n 1
fi (z1 ; ; :::; zn 1 ) := (x1 ; :::; zi 1 ; t; zi ; :::; zn 1 ) dt :
1 @xi
Entonces f1 ; : : : ; fn 2 Ln 1
(Rn 1 ) y
1
@' n 1
kfi kLn 1 (Rn 1 ) = :
@xi L1 (Rn )
1
Emilio Gagliardo (1930-2008) nació en Génova, Italia. Estudió en la Universidad de Génova, donde
fue asistente de Guido Stampacchia con quien realizó sus primeros trabajos en ecuaciones diferenciales.
Fue profesor en las universidades de Génova y Pavia.
2
Louis Nirenberg nació en 1925 en Hamilton, Ontario, Canadá. Obtuvo el doctorado en la Uni-
versidad de Nueva York bajo la dirección de James Stoker. Es profesor en el Courant Institute of
Mathematical Sciences de dicha universidad.
424 17. ENCAJES DE SOBOLEV
Por tanto,
1
Yn
@' n
k'k n (17.7)
n 1
i=1
@xi 1
y como la media geométrica es menor o igual que la media aritmética concluimos que
1 X @'
n
1
k'k n = kr'k1 : (17.8)
n 1 n i=1 @xi 1 n
1
Por otra parte, para cada > 1; reemplazando a ' por j'j ' en la desigualdad (17.7)
y aplicando la desigualdad de Hölder, obtenemos
Z n 1
Y
n Z 1
n n
1 @' n
j'j n 1 j'j
RN i=1 Rn @xi
Z p 1
Yn 1
p( 1) p @' n
j'j p 1 (17.9)
Rn i=1
@xi p
Z p 1
p
p( 1)
< j'j p 1 kr'kp ;
Rn
Usaremos las desigualdades anteriores para probar las a…rmaciones del teorema.
(a): Supongamos que p 2 [1; n): Si p = 1 entonces p = nn 1 y la desigualdad
(17.8) es la desigualdad deseada. Si p 6= 1 tomamos := nn 1 p : Nota que > 1; que
p( 1)
p 1
= nn 1 = p y que nn 1 p p 1 = p1 : De la desigualdad (17.9) se sigue entonces que
k'kp kr'kp :
entonces k 1
k
k'k n k 1 k'k n k 1 8k > k0 + 1;
n 1 n 1
P1 i
donde := i=1 i < 1; ya que > 1: Aplicando nuevamente el Ejercicio 14.69
concluimos que k'k1 : Así pues, si ' satisface (17.10), entonces
p n
k'k1 = jsop(')j np kr'kp : (17.12)
Para probar la desigualdad (17.5) en el caso general observa primero que, si jsop(')j =
0 o kr'kp = 0; entonces ' = 0 y la desigualdad se satisface trivialmente. Si jsop(')j =6 0
426 17. ENCAJES DE SOBOLEV
3
Consulta por ejemplo el libro de H. Brezis, Análisis Funcional, Alianza Editorial, Madrid 1984
(Corolario IX.13).
4
Consulta la referencia anterior (Corolario IX.14).
428 17. ENCAJES DE SOBOLEV
la desigualdad de Poincaré5 .
Henri Poincaré
En consecuencia,
Recuerda que C 0 ( ) con la norma k k1 es un espacio de Banach (ver Teorema 5.21). Así
que, argumentando como en el Corolario 17.5 se prueba que cada u 2 W01;p ( ) coincide
c.d. con una función que pertenece a C 0 ( ) y que la desigualdad (17.15) es válida para
u: Combinando esa desigualdad con la Proposición 14.31 obtenemos
1 1 1 1
kukq j j q kuk1 C j jq+n p krukp ;
De modo que H01 ( ) con este producto escalar resulta ser un espacio de Hilbert.
Demostración: El Teorema 17.8 asegura que existe una constante C, que depende
sólo de n y p; tal que
1
kukp C j j n krukp 8u 2 W01;p ( ):
1
Tomando C0 := C j j n obtenemos
1
p
kuk kukW 1;p ( ) = kukpp + krukpp (C0p + 1)1=p kuk 8u 2 W01;p ( ):
Así que k k satisface la propiedad (N1) de la De…nición 2.9. Las propiedades (N2) y
(N3) se prueban como en la Proposición 16.12. Las mismas desigualdades aseguran que
las normas k k y k kW 1;p ( ) son equivalentes.
kT u uk1 kruk1 k k ;
Por tanto,
Z 1 Z 1
P
n @' P
n @'
j'(x ) '(x)j (x t ) j i j dt (x t ) dt k k :
i=1 0 @xi i=1 0 @xi
Si u 2 W01;1 (Rn ); tomamos una sucesión ('k ) en Cc1 (Rn ) tal que 'k ! u en W01;1 (Rn ):
Entonces k'k uk1 ! 0; kT 'k T uk1 ! 0 y kr'k ruk1 ! 0: De la desigualdad
anterior se sigue que
Franz Rellich
Así pues, A satisface la hipótesis (i) del Corolario 14.47 cuando q 2 [1; p ).
Por otra parte, la Proposición 14.31 asegura que, para cualquier abierto ! ;
1 1 1 1
kukLq ( r!) kukLp ( r!) j r !j q p C j r !j q p 8u 2 A.
17.2. EL TEOREMA DE RELLICH-KONDRASHOV 433
1 1
Puesto que es acotado y := q p
> 0; podemos elegir un abierto ! tal que
1
j r !j < ( C" ) : Se tiene entonces que
Ejemplo 17.13 Sea p 2 [1; n). La inclusión W 1;p (Rn ) ,! Lq (Rn ) no es compacta para
ningún q 2 [p; p ].
Demostración: Sean ' 2 Cc1 (Rn ); ' 6= 0; y ( k ) una sucesión en Rn tal que k k k !
1: De…nimos 'k (x) := '(x k ): Claramente,
Observa que 'k (x) ! 0 para cada x 2 Rn : Si alguna subsucesión ('kj ) de ('k ) con-
vergiese a v en Lq (Rn ) ; una subsucesión de ella convergería a v c.d. en Rn (ver Teorema
14.28) y, en consecuencia, v = 0 c.d. en Rn : Pero también se tendría que
Denotamos por
B n (0; r) := fx 2 Rn : jxj < rg:
y
n Z
X p X n Z p
@' @'
kr'k kpp = k n
(kx) dx = (y) dy = kr'kpp :
i=1
@xi i=1
@xi
El Corolario 17.9 asegura entonces que ('k ) está acotada en W01;p ( ) : Si una subsuce-
sión ('kj ) de ('k ) convergiese a una función u en Lp ( ); se tendría que
kuk := kruk2 :
El Corolario 17.9 asegura que esta norma es equivalente a la de…nida en (16.6) y que
H01 ( ) un espacio de Hilbert con este nuevo producto escalar.
Denotamos por Z
hu; vi2 := uv
Observa que, si e es una función propia con valor propio entonces cualquier múlti-
plo te de e con t 2 R r f0g es una función propia con valor propio . Basta pues buscar
funciones propias en el conjunto
:= u 2 H01 ( ) : kuk2 = 1 ;
kek2 = : (17.18)
Proposición 17.16 (a) Los valores propios de en H01 ( ) están acotados inferi-
ormente por una constante positiva.
436 17. ENCAJES DE SOBOLEV
k 2 Ng no está acotado.
(d) Para cada 2 R el espacio
E := fu 2 H01 ( ) : ( ; u) es solución débil de (17.16)g
es de dimensión …nita. Su dimensión se llama la multiplicidad de :
Demostración: (a): Si es un valor propio y e 2 es una función propia con valor
propio , la desigualdad de Poincaré asegura que existe C > 0; independiente de y
de e; tal que
1 = kek22 C kek2 = C :
1
Por tanto, C
> 0:
(b): Si e y e son funciones propias con valores propios y , entonces
he ; e i2 = he ; e i = he ; e i2 :
Por tanto, si 6= ; necesariamente he ; e i2 = 0 y, en consecuencia, he ; e i = 0:
(c): Como ek 2 se cumple que kek k2 = k : De modo que, si ( k ) está acotada,
entonces (ek ) es una sucesión acotada en H01 ( ): Por el Teorema de Rellich-Kondrashov
(Teorema 17.12), (ek ) contiene una subsucesión convergente en L2 ( ): Ahora bien, como
fek g es ortonormal en L2 ( ); se tiene que
kek em k22 = kek k22 + kem k22 = 2:
En consecuencia, ninguna subsucesión de (ek ) es de Cauchy en L2 ( ): Esto es una
contradicción.
(d): Argumentando por contradicción, si dim E = 1; entonces E contiene un
subconjunto fek 2 : k 2 Ng ortonormal en L2 ( ). Para cada k 2 N; ek es una función
propia de en H01 ( ) con valor propio ; lo cual contradice la a…rmación (c).
u kj * e débilmente en H01 ( );
ukj ! e fuertemente en L2 ( ):
438 17. ENCAJES DE SOBOLEV
I(e1 ) = nf I(u):
u2
I(e2 ) = nf I(u):
u2 \H2
0< 1 2 k ; (17.21)
17.3. VALORES PROPIOS DEL LAPLACIANO 439
Como H01 ( ) = Wk Hk ; las a…rmaciones (17.22) y (17.23) nos permiten concluir que
es decir, la sucesión (ek ) satisface (a). La a…rmación (17.23) implica (b) y, como ek 2 ;
asegura también que B := fek : k 2 Ng es ortonormal en L2 ( ): La a…rmación (c) se
sigue entonces de (17.21) y de la Proposición 17.16.
Para obtener (d) resta probar que la cerradura de lin(B) = [1 2
k=1 Wk en L ( ) es
L2 ( ): Para ello basta demostrar que Cc1 ( ) está contenido en la cerradura de lin(B);
ya que L2 ( ) es la cerradura de Cc1 ( ) en L2 ( ) (ver Teorema 14.44).
Sea ' 2 Cc1 ( )rlin(B): Denotemos por wk a la proyección ortogonal de ' sobre
Wk con respecto al producto escalar de L2 ( ): Entonces h' wk ; wi2 = 0 para todo
w 2 Wk : En consecuencia,
Esto prueba que h' wk ; wi = 0 para todo w 2 Wk . Como ' 6= wk se tiene que
' wk
k' wk k
2 \ Hk y la identidad (17.19) implica que
2
' wk
k I :
k' wk k2
En consecuencia,
k' wk k22 k
1
I(' wk ) k
1
I('):
Como k ! 1 concluimos que wk ! ' en L2 ( ): Esto prueba que Cc1 ( ) está contenido
en la cerradura de lin(B) en L2 ( ).
440 17. ENCAJES DE SOBOLEV
Observa que
kuk2
1 = nf1 2;
u2H0 ( ) kuk
2
u6=0
1=2
es decir, 1 es la constante óptima para la desigualdad de Poincaré
1=2
kuk2 1 kuk ; u 2 H01 ( ):
17.4. Ejercicios
Ejercicio 17.19 Prueba que una función F : X ! Y entre espacios métricos es com-
pacta si y sólo si para cualquier sucesión acotada (xk ) en X, la sucesión (F (xk )) contiene
una subsucesión convergente en Y:
Ejercicio 17.22 (a) Sea ' 2 Cc1 ( ): Prueba que existe una constante C > 0; que
@' @'
depende sólo de n; k'k1 ; @x1
; : : : ; @xn
; tal que
1 1
Z
ku'kpW 1;p ( ) C (jujp + jD1 ujp + + jDn ujp ) 8u 2 W 1;p (Rn );
(b) Si ! es abierto y ! ; prueba que existe una constante C > 0 que depende
sólo de n; p; ! y ; tal que
Z p=p Z
p
juj C (jujp + jD1 ujp + + jDn ujp ) 8u 2 W 1;p (Rn ):
!
(17.24)
(Sugerencia: Prueba que existe ' 2 Cc1 (
) tal que '(x) = 1 para todo x 2 ! y
aplica el problema anterior y el Teorema 17.13.)
donde X + := fx + : x 2 Xg:
Aplica esta desigualdad con = n + i; i = 0; 1; 2; :::; j; para concluir que existe una
constante Cn;j ; que depende sólo de n y j, tal que
si q 2 [n; n(n+j)
n 1
].)
Di0 u := u y Di i u := Di D u si 1:
| {z }i i
i veces
(Nota que todas las derivadas débiles de orden m son de esta forma, ver Ejercicio
16.46). Usando esta notación,
!1=p
P
kukW m;p ( ) = kD ukpp :
j j m
(a) Prueba que kukW m;p ( ) es una norma en W m;p ( ) y que W m;p ( ) con dicha norma
es un espacio de Banach.
Se de…ne
W0m;p ( ) := cerradura de Cc1 (Rn ) en W m;p ( ):
n
(b) Prueba que, si p 2 [1; m ); entonces
np
W0m;p ( ) Lq ( ) con q :=
n mp
y esta inclusión es continua.
n
(c) Prueba que, si está acotado y p 2 ( m ; 1); entonces
n
W0m;p ( ) Ck( ) con k := m 1
p
si y sólo si Z Z
ru rv = uv 8v 2 H01 ( ):
Ejercicio 17.27 Prueba que, si es de clase C 1 ; toda solución débil ( ; u) del problema
(17.16) tal que u 2 C 2 ( ), es solución clásica de (17.16), es decir,
u(x) = u(x) 8x 2 y u(x) = 0 8x 2 @ :
Ejercicio 17.28 Si Rn es acotado y > 1 ; donde 1 es el primer valor propio
1
de en H0 ( ); de…nimos
Z Z 1=2
kukH 1 ( ); := u + jruj2
2
:
0
(a) Prueba que ésta es una norma en H01 ( ) y que está inducida por el producto
escalar Z Z
hu; viH 1 ( ); := uv + ru rv:
0
(b) Prueba que todas estas normas son equivalentes en H01 ( ): En consecuencia,
H01 ( ) es completo con cualquiera de estas normas.
Ejercicio 17.29 Prueba que, si Rn es acotado, f 2 L2 ( ) y > 1; el problema
u + u = f en ;
u = 0 sobre @ :
tiene una única solución débil, es decir, existe una única función u 2 H01 ( ) tal que
Z Z Z
ru r' + u' = f' 8' 2 Cc1 ( ):
fórmula imagen
de Green, 410 inversa de un conjunto 1 (B), 42
de Taylor, 190 de un conjunto (A), 36
frontera, 53 integración
función por partes, 394
(Fréchet-)diferenciable, 166, 168 integral
acotada, 21 de Lebesgue, 274, 284
analítica, 90 de kxk , 312
armónica, 409 de una función continua, 226, 240
bilineal, 184 de una función radial, 310
característica 1X , 267 de una función s.c.i., 257
continua, 32 de una función s.c.s., 261
de clase C 1 , 173 inferior, 272
débilmente diferenciable, 395 superior, 272
de clase C k , 186 interior
esencialmente acotada, 337 int(A); intX (A), 37
Gâteaux-diferenciable , 176 isometría, 23
integrable, 274, 284 isomor…smo
Lipschitz continua, 34 de Banach, 204
localmente integrable, 313
longitud, 136 límite, 166
medible, 332 débil de una sucesión, 380
multilineal, 184 de una sucesión, 43
parcialmente diferenciable, 180 inferior, 68
propia, 432 puntual, 80
radial, 310 superior, 68
Riemann-integrable, 290 uniforme, 80
semicontinua inferiormente s.c.i., 67 laplaciano, 409
semicontinua superiormente s.c.s., 67 lema
uniformemente continua, 70 de Baire, 385
funcional, 378 de Fatou, 304
de Sard, 320
gradiente, 181, 387 linealidad
débil, 395 de la derivada, 169
grupo
de la integral, 279
lineal general GL(n; R), 235
longitud
ortogonal O(n), 236
de una trayectoria, 65
homeomor…smo, 33
mínimo
identidad del paralelogramo, 368 de una función, 62
ÍNDICE ALFABÉTICO 447