Академический Документы
Профессиональный Документы
Культура Документы
tic
o
ndice general
Notacin Bsica
Prefacio
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
Sa
A
o
2. Funciones Continuas
1 Funciones de varias variables. . . . .
2 Lmites de una Funcin . . . . . . .
3 Funciones Continuas . . . . . . . .
4 Conjuntos Arcoconexos y Simplemente
5 Dos teoremas importantes . . . . . .
6 Funciones Uniformemente Continuas .
7 Teorema del Punto Fijo de Banach . .
8 Ejercicios adicionales . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
. . . .
. . . .
. . . .
Conexos
. . . .
. . . .
. . . .
. . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
1
1
3
5
8
10
13
15
16
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
19
19
21
24
29
31
33
34
36
.
.
.
.
.
.
41
41
44
49
54
57
60
iii
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
ndice general
ii
7
8
9
Teorema de Taylor . . . . . . . . . . . . . . . . . . . . . . . . 67
Extremos relativos . . . . . . . . . . . . . . . . . . . . . . . . 72
Ejercicios adicionales . . . . . . . . . . . . . . . . . . . . . . . 79
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
85
85
87
91
93
101
106
111
5. Integracin de Riemann
1 Particiones . . . . . . . . . . . . . . . . . . . .
2 Sumas de Riemann . . . . . . . . . . . . . . . .
3 Integral de Riemann . . . . . . . . . . . . . . . .
4 Propiedades Bsicas de Funciones Integrables Riemann
5 Condicin de Integrabilidad de Riemann. . . . . . .
6 Teorema de Fubini . . . . . . . . . . . . . . . .
7 Conjuntos de Medida Cero . . . . . . . . . . . . .
8 Criterio de Integrabilidad de Lebesgue . . . . . . .
9 Integral de Riemann en Dominios Acotados . . . . .
10 Principio de Cavalieri . . . . . . . . . . . . . . .
11 Frmula del Cambio de Variable . . . . . . . . . .
12 Integral de Riemann en dominios no acotados . . . .
13 Ejercicios adicionales . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
115
115
117
119
122
124
128
131
134
137
139
141
149
155
6. Convergencia de Funciones
1 Convergencia Puntual . . . . . . . .
2 Convergencia Uniforme en Compactos
3 Series de Funciones . . . . . . . . .
4 Ejercicios Adicionales . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
159
159
160
166
168
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
A
o
Sa
b
tic
o
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
Bibliografa
169
ndice alfabtico
171
Notacin Bsica
b
tic
o
Sa
A
o
[a, b], (a, b), [a, b) y (a, b]: son los intervalos cerrados, abiertos y semiabiertos respectivamente en R.
< P , Q >: producto escalar euclidiano de P , Q Rn .
iii
A
o
Sa
b
tic
o
Prefacio
A
o
Sa
b
tic
o
Este libro de texto trata el tema de anlisis clsico en varias variables. l se origin de unas notas escritas por el autor para el curso Anlisis II de la Licenciatura
en Matemticas del Departamento de Matemticas de la Universidad de los Andes.
El material cubierto abarca las operaciones bsicas del anlisis clsico, a saber: lmites, continuidad, diferenciacin e integrabilidad, como se puede apreciar dando una
ojeada al ndice general. Adicionalmente, se presenta un captulo sobre la convergencia de funciones y como se trasladan las propiedades del anlisis a las funciones
lmites.
A pesar de la opinin de matemticos de la talla de J. Dieudonn [3][pag. vi] ,
en la parte de integracin se presenta la integral de Riemann en vez de la integral
de Lebesgue. Ah se busca enfrentar al estudiante con los primeros argumentos de
aproximacin de volmenes sin enfrentar los rigores de la integral de Lebesgue, que
en nuestra opinin requieren ms madurez del parte del estudiante.
El texto supone de parte del estudiante el manejo de los conceptos bsicos del
lgebra lineal: matrices, transformaciones lineales, autovalores, autovectores y determinantes. Tambin asume que el estudiante ya tiene experiencia en el manejo y
clculo de derivadas e integrales desde un punto de vista operacional.
El objetivo del texto es proveer al estudiante con los argumentos rigurosos que
justifican el uso de los teoremas que ha venido usando en los cursos de clculo
y a su vez que aprenda a manejar estos conceptos tambin de manera rigurosa.
En particular, que se desenvuelva con la mayor libertad con los argumentos
que estn esparcidos en las demostraciones de la mayora de los teoremas del
anlisis clsico. En consecuencia, cada captulo est regado de ejercicios sencillos
cuya resolucin ayudan a la comprensin del material expuesto y al final del captulo
se presentan un conjunto adicional de ejercicios, de los cuales algunos que buscan
enfrentar al estudiante con el uso de los conceptos presentados en otras reas de las
matemticas.
Michelena, 20015
Leonardo Mora
A
o
Sa
b
tic
o
b
tic
o
El espacio euclidiano
Sa
A
o
1.1. Definicin:
Rn = {(p1 , p2 , . . . , pn ) : pi R},
1. Ejercicio. Demuestre que Rn con las operaciones de suma y multiplicacin por escalar es un
espacio vectorial.
b
tic
o
Sa
p
Norma euclidiana: kP k = hP , P i para todo P Rn .
A
o
1. kP k 0 y es cero sii P = O;
2. kP k = || kP k para todo R;
3. para todo i:
|pi | kP k n m
ax{|ps |}
s
La relacin bsica entre el producto interno y la norma viene dado por el siguiente lema atribuido al matemtico francs A. Cauchy y al matemtico alemn H.A.
Schwartz.
1.2. Lema (Desigualdad de Cauchy-Schwarz): Para todo par de vectores P y Q se
tiene la desigualdad
|hP , Qi| kP k.kQk,
y la igualdad vale cuando P y Q son linealmente dependientes.
Demostracin: Sean P = (p1 , . . . , pn ) y Q = (q1 , . . . , qn ) en Rn . Supongamos primero
que kP k = kQk = 1, entonces
0 kP Qk2 =kP k2 2hP , Qi + kQk2
=2 2hP , Qi,
3
P
kP k
Q
y aplicando lo demostrado anteriormente, si ambos kP k, kQk son no
kQk
nulos. En caso contrario la desigualdad es trivial.
y Q =
b
tic
o
para P , Q, R cualesquiera.
A su vez esta norma nos permite hablar de distancia entre dos puntos P , Q del
espacio como
Distancia euclidiana:
dist(P , Q) = kP Qk.
Sa
A
o
La idea intuitiva por detrs de esta definicin es que los conjuntos abiertos son
gordos.
1. Ejemplo: El conjunto vaco, , y Rn son conjuntos abiertos.
8. Ejercicio. Demuestre que B (P ) es un conjunto abierto.
b
tic
o
Sa
A
o
b
tic
o
Sa
11. Ejercicio. Demuestre que el interior de un conjunto es el conjunto abierto ms grande contenido en l.
12. Ejercicio. Demuestre que el interior de {Q Rn : kQ P k r } es la bola Br (P ).
A
o
{Q Rn : kQ P k r }.
14. Ejercicio. Demuestre que 2 es punto frontera de A = (0, 1) {2}.
Nos gustara, dadas las definiciones anteriores y la heurstica detrs de ellas, descomponer un conjunto en su parte gorda y la parte que lo bordea. Infelizmente esto
no puede ser ya que los puntos fronteras no pertenecen necesariamente al conjunto
en cuestin, como lo muestra el ejemplo (6). Cuando reunimos los puntos de A conjuntamente con sus puntos fronteras obtenemos un conjunto al que llamaremos la
clausura de A.
1.9. Definicin: Sea A un subconjunto de Rn . Diremos que P es un punto de acumulacin de A si toda bola perforada B (P ) \ {P } de radio contiene puntos de A.
La clausura de A, denotada por A, es el conjunto formado por todos los puntos
de acumulacin de A y todos los puntos de A.
b
tic
o
Sa
int(A)
A
o
La siguiente tabla muestra las diferentes relaciones entre las operaciones de tomar interior, clausura y frontera de un conjunto en Rn .
3)
5)
7)
9)
11)
int(A) = A A es abierto
int(int(A)) = int(A)
int(A) int(B) int(A B)
int(A B) = int(A) int(B)
int(Rn \ A) = Rn \ A
(A) = A \ int(A)
2)
A = A A es cerrado
4)
(A) = A
6)
AB =AB
8)
AB AB
b
tic
o
1)
10)
Rn \ A = Rn \ int(A)
12)
((A)) (A)
13)
(A B) (A) (B)
15)
14)
(A B) (A) (B)
Sa
(Rn \ A) = (A)
A
o
Sucesiones
{Pi }
i=0 , {Pi }0 , {Pi },
b
tic
o
donde Pi = f (i). Tambin se suele sustituir en la notacin anterior {.} por (.). La
razn de esta notacin es que el dominio de las sucesiones f siempre es el mismo.
A Pi se le conoce como el trmino i-simo de la sucesin. Una sucesin {Pi }
i=0 da
origen a n sucesiones de nmeros reales; estas vienen dadas por las componentes
de Pi = (p1 i , . . . , pn i ).
n
1.11. Definicin: Una sucesin, {Pi }
0 , en R , converge al punto P si: > 0,
existe un N N positivo tal que si i N entonces
kPi P k .
Sa
A
o
Demostracin: Si {Pi }
0 converge, entonces existe un N tal que kPi P k 1 si i N.
Luego todos los elementos de la sucesin tienen norma menor o igual a
m
ax{2 + kP k, kP0 k, . . . , kPN1 k}.
19. Ejercicio. Muestre con un ejemplo que el recproco del lema anterior es falso.
1. 4 Sucesiones
() Sea > 0 dado. Como psi ps , existe un Ns tal que para todo k Ns vale
kPk P k n m
ax{|psk ps |} ,
s
luego Pi P .
20. Ejercicio. Demuestre que una sucesin puede converger solamente a un nico punto.
b
tic
o
n
1.14. Definicin: Una sucesin, {Pi }
0 , en R , es de Cauchy si: > 0, existe un
N N positivo tal que si k, m N entonces
kPk Pm k .
Sa
A
o
() Si {Pi }
i=0 es una sucesin de Cauchy, entonces cada sucesin componente {psi }i=0
es de Cauchy. Como R es completo, existe para cada sucesin componente {psi }i=0
un ps tal que psi ps . Sea P = (p1 , . . . , pn ). Afirmamos que Pi P . Sea dado. Para
cada s = 1, . . . , n, existe un Ns tal que si k Ns , entonces
|psk ps | .
n
Si ponemos N = m
axs {Ns }, entonces
kPn P k =
n m
ax{|psk ps |}
s
n .
n
10
Qj = Pg(j),
for all j.
Conjuntos Compactos
b
tic
o
Sa
A
o
b1
b
1. 5 Conjuntos Compactos
11
Qn
1
b
tic
o
25. Ejercicio. Demuestre que un subconjunto cerrado de un conjunto compacto es cerrado. Concluya que la clausura de una bola, B (P ), es un conjunto compacto. Podra dar otros ejemplos?
Existen otras maneras de chequear que un subconjunto de Rn es compacto, debida a otros matemticos. Para presentar estas propiedades necesitamos antes decir
que un subconjunto A de Rn se dir acotado si est contenido en una bola. Tambin diremos que una coleccin de subconjuntos {R
Si }iI es un cubrimiento de un
subconjunto A si este est totalmente contenido en i Ri .
A
o
Sa
Bernard Bolzano fue un matemtico bohemio (actual Repblica Checa), Karl Weierstrass fue un matemtico alemn. Ellos demostraron la propiedad 2 en tiempos diferentes, Bolzano alrededor de 1817 y Weierstrass alrededor de 50 aos ms tarde.
Eduard Heine fue un matemtico alemn y mile Borel fue un matemtico francs.
Ellos usaron en sus trabajos la propiedad 3 de forma independiente del concepto de
compacidad.
Demostracin: 1: (). Veamos primero que A es acotado. Si no lo fuera existira
una sucesin de puntos en A, {Pn } tal que kPn k n. Esta coleccin infinita no
tiene puntos de acumulacin en A. Si tuviese alguno, supongamos que sea Q, entonces la bola de radio uno B1 (Q) tendra infinitos elementos de la sucesin y esto
no puede ser. Ahora demostramos que A es cerrado. Si A es finito no hay nada que
hacer. Supongamos pues que A tiene infinitos puntos y sea P un punto de acumulacin de A. Consideremos el siguiente procedimiento para construir una sucesin
de puntos Qi : En la bola B1 (P ) hay un punto Q1 P de A. En la bola Br2 (P ), con
r1 = mn{1/2, kQ1 P k} hay un elemento Q2 P . Siguiendo de esta manera, en el
12
b
tic
o
A
o
Sa
..
Qn
Observemos tambin que si I1 = j=1 [a1j , bj1 ], entonces l([a1j , bj1 ]) = l([aj , bj ])/2,
donde l(K) denota la longitud del intervalo K. De
forma inductiva, Q
construimos ahora una sucesin de
n
rectngulos Ik = j=1 [akj , bjk ] con Ik Ik1 y tal que
I1
I
I0
IN n
conjuntamente con el hecho de que {akj } y {bjk } son
creciente y decreciente respectivamente, nos garantiE Rl
za la existencia de un punto E = (e1 , . . . , en ) tal que
A
lmk akj = ej = lmk bjk . Afirmamos que el punto
E A. Ya que toda bola de radio > 0 centrada en E
contiene a partir de algn N, todos los Ik y por tanto
hay puntos de A en esa bola distintos a E, como se
observa en la figura a la derecha. En virtud de que A
es compacto se tiene lo afirmado. Como E est en A existe un Rl que lo contiene y
como este conjunto es abierto contiene a partir de un N todos los Ik con k N .
Contradiciendo la eleccin de estos, ya que estaran contenidos en Rl .
1. 6 Conjuntos Conexos
13
b
tic
o
Conjuntos Conexos
Sa
A
o
La idea de que un conjunto es de una sola pieza viene formalizada por el concepto de conjunto conexo que pasamos a definir. Esta nocin fue usada al mismo
tiempo por varios matemticos, pero en su formulacin actual se debe al matemtico noruego N. J. Lennes, vea ?
1.19. Definicin: Sea A un subconjunto de Rn . Diremos que A es disconexo si se
puede expresar como
A = (U A) (V A),
con U y V conjuntos abiertos disjuntos y no vacos de Rn y que intersectan a A.
Diremos que A es conexo, si no es disconexo.
11. Ejemplo: El conjunto .
12. Ejemplo: Intervalos abiertos en R: Sea (a, b) un intervalo en R. Tanto a como b
pueden tomar o + respectivamente. Supongamos que no es conexo, entonces
(a, b) = (U (a, b)) (V (a, b)),
14
b
tic
o
Sa
13. Ejemplo: Los intervalos cerrados [a, b] en R son conexos ya que (a, b) = [a, b]].
Los intervalos semiabiertos tambin son conexos ya que (a, b) (a, b] [a, b] y
(a, b) [a, b) [a, b].
14. Ejemplo: Un crculo es un conjunto conexo.
A
o
15. Ejemplo: Una bola de radio r , Br (P ) es un conjunto conexo: ella se puede escribir como una unin de segmentos de rectas centrados en P , y estos conjuntos son
conexos (ver demostracin en el ejemplo (13)).
28. Ejercicio. Demuestre que un plano en R3 es un conjunto conexo. Generalice a Rn .
n Bn (0).
29. Ejercicio. Demuestre que los nicos subconjuntos que son simultneamente abiertos y cerrados son el conjunto vaco y Rn .
30. Ejercicio. Demuestre que un anillo, i.e., A = {Q R2 : r kQ P k s} con r s, es un
conjunto conexo.
31. Ejercicio. Demuestre que si A Rn y B Rm son conjuntos conexos, entonces A B
Rn Rm = Rn+m es un conjunto conexo.
La interseccin de dos conjuntos conexos, no tiene por qu ser conexa, por ejemplo, en el plano la interseccin del crculo {P R2 : kP k = 1} con una banda la
horizontal {P R2 : |p2 | 1/2}. Tampoco el complemento de un conjunto conexo
es conexo!
15
Un conjunto no tiene por qu ser conexo, por tanto nos gustara descomponerlos
en pedazos conexos. La manera de hacerlo es la siguiente.
1.21. Definicin: Sea P A. La componente conexa que contiene a P es el subconjunto conexo ms grande de A que contiene a P .
b
tic
o
Sa
A
o
Este nmero es siempre mayor o igual a cero. La distancia puede ser nula sin que
el punto P pertenezca al conjunto A. Lo que sucede en el caso en que la distancia
sea nula es que P A.
18. Ejemplo: Si A = {P1 , . . . , Ps }, entonces
kP k r
si P Rn \ A,
d(P , A) =
0
si P A.
n1
z
}|
{
20. Ejemplo: Sea A = [1, 1] (0, . . . , 0) Rn . Entonces
16
con
p2 + + pn
2
d(P , A) = m
ax{kP Lk, kP Rk}
0
n1
z }| {
R = (1, 0, . . . , 0) y
si |p1 | 1
P Rn \ A,
si |p1 | 1
P Rn \ A,
si P A.
n1
z }| {
L = (1, 0, . . . , 0),
b
tic
o
Sa
A
o
Ejercicios adicionales
39. Ejercicio. Responda si las afirmaciones siguientes son verdaderas o falsas. Justifique su respuesta.
El interior de un subconjunto de Rn es el abierto ms grande contenido en l.
La clausura de un subconjunto de A Rn es el cerrado ms grande que contiene a A. Un
punto frontera de un conjunto de A Rn pertenece obligatoriamente a A.
Un punto interior de un conjunto de A Rn pertenece obligatoriamente a A.
La frontera de un conjunto es un conjunto cerrado.
Una unin cualesquiera de subconjuntos compactos es un subconjunto compacto.
La frontera de I I [0, 1] [0, 1] es [0, 1] [0, 1].
1. 8 Ejercicios adicionales
17
n
Si {Pi }
0 es una sucesin en R , si las subsucesiones {P2i }0 y la {P2i+1 }0 convergen enton
ces {Pi }0 converge.
40. Ejercicio. Demuestre la ley del paralelogramo:
b
tic
o
para todo P , Q Rn .
Sa
A = {(x, y) : xy = 0}.
A = {(x, y, z) : m
ax{|x|, |y|, |z|} = 1}.
A = {P R2 : dist(P , Q) 1, para algn Q B} donde B = (0, 1) {0}.
43. Ejercicio. Demuestre que si A Rn es un conjunto abierto, entonces los siguientes conjuntos:
son abiertos.
A
o
A + V = {P : P = Q + V , Q A}
A = {P : P = Q, Q A}
R B}
es un conjunto abierto.
18
b
tic
o
51. Ejercicio. Sea Ak una coleccin numerable de conjuntos compactos con la propiedad Ak+1 Ak
T
para todo k 1. Demuestre que la interseccin 1 Ak no es vaca.
52. Ejercicio. Demostrar o conseguir un contraejemplo a las afirmaciones siguientes:
Unin finita de conjuntos compactos es un conjunto compacto.
Unin numerable de conjuntos compactos es un conjunto compacto.
Interseccin finita de conjuntos compactos es un conjunto compacto.
Interseccin numerable de conjuntos compactos es un conjunto compacto.
A
o
Sa
53. Ejercicio (Conjunto de Cantor). Este conjunto es obtenido a partir de intervalo unitario I0 =
[0, 1] mediante el siguiente procedimiento: primero retire de I0 el intervalo tercio medio (1/3, 2/3)
quedando dos intervalos [0, 1/3] y [2/3, 1] cuya unin denotamos por I1 . Luego de cada uno de
los intervalos anteriores retiramos su tercio medio: (1/9, 2/9) y (7/9, 8/9) respectivamente. Quedando entonces cuatro intervalos cuya unin denotamos por I2 . Este procedimiento se continua
indefinidamente y el conjunto restante del intervalo I0 es el conjunto de Cantor C. Demuestre:
C .
T
C = In donde
n1
[ 1 + 3k 2 + 3k
In = In1 \
,
.
3n
3n
k=0
C es un conjunto compacto.
C es un conjunto perfecto: un conjunto cerrado tal que todos sus puntos son de acumulacin.
int(C) = .
C + C = {p R : p = x + y, con x, y C} = [0, 2].
b
tic
o
Funciones Continuas
A
o
Sa
Intuitivamente, hasta ahora el concepto de funcin fue pensado como una regla
que asigna a un punto de Rn un otro punto de Rm . La definicin formal es como
sigue.
2.1. Definicin: Una funcin es un subconjunto F del
producto Rn Rm que cumple con
Si (P , Q), (P , R) F
Q = R.
entonces
El dominio de F es el conjunto
D = {P Rn : Q Rm
tal que
La imagen de F es el conjunto
F (D) = {Q Rm : P Rn
tal que
Rm
Q
(P, Q) = (Q, F (P ))
(P , Q) F }.
(P , Q) F }.
D
P
Rn
20
2. Funciones Continuas
b
tic
o
Sa
A
o
54. Ejercicio. Calcule las funciones componentes de H en trminos de las funciones componentes
de F y G.
21
b
tic
o
Sa
QD
A
o
B (P )
Rn
B (q)
F ((B (P ) \ {P }) D)
QP
22
2. Funciones Continuas
(P ,Q)(W ,Z)
F (P , Q) = W + Z.
b
tic
o
= .
2k(P , Q) (W , Z)k 2
2
Las siguientes propiedades se muestran tiles cuando queremos calcular lmites.
2.3. Proposicin: Sean F , G : D Rn Rm y P un punto de acumulacin de D y
supongamos que
lm F (Q) = R y lm G(Q) = W .
QP
Sa
QP
A
o
kG(Q) Zk < ,
23
b
tic
o
= /(1 + kW k + kZk).
QP
W
F
(P ) =
.
G
Z
Sa
lm F1 (P ), . . . , lm Fm (P ) .
QP
QP
A
o
QP
Para finalizar presentamos una notacin que nos permite comparar orden de crecimiento alrededor de un punto entre dos funciones escalares, conocido como notacin O-grande y o-pequea introducida por el matemtico alemn Edmund Georg
Hermann Landau:
24
2. Funciones Continuas
en un entorno de P .
f = o(g) si
lm
Funciones Continuas
b
tic
o
QP
f (Q)
= 0.
g(Q)
Las funciones continuas de un conjunto en otro transmiten la idea de deformacin de un conjunto en otro sin romper, rasgar, quebrar, etc. al conjunto de partida.
Para formalizar el concepto, sea D Rn y F una funcin de D en Rm .
si
Sa
A
o
kF (R) F (P )k n m
ax{|Fi (P ) Fi (R)|}
i
para cada par de puntos P , R D. Sea > 0 dado. Como las Fi son continuas en P ,
para / n, existe un i tal que si kR P kRD < i entonces |Fi(P ) Fi (R)| < / n.
2. 3 Funciones Continuas
25
Sea = mni {i }, con esta eleccin se verifica que para todo i, |Fi (P )Fi (R)| < / n
siempre que kR P kRD < i . Y por tanto
kF (R) F (P )k n m
ax{|Fi (P ) Fi (R)|} < .
i
b
tic
o
Sa
A
o
Existen otras formas equivalentes para chequear que una funcin es continua, en
trminos de las nociones de conjuntos cerrados, abiertos y frontera.
2.9. Proposicin: F : D Rn Rm es continua si y slo si
1. Para todo P D, lmP nP F (Pn ) = P para toda sucesin Pn que converja a
P.
2. F 1 (U) = V D con V un conjunto abierto de Rn , para todo abierto U
Rm .
3. F 1 (U) = V D con V un conjunto cerrado de Rn , para todo cerrado
U Rm .
4. Para todo A D vale que F (A) F (A).
Demostracin: 1: () Sea {Pn } una sucesin que converge a P . Sea > 0 dado. Como
F es continua en P existe un > 0 tal que si kRP kRD < entonces kF (P )F (R)k <
. Ahora como Pn P , existe un N tal que si n N, entonces kP Pn k < . Luego
tenemos que kF (Pn ) F (P )k < si n N. Esto da que F (Pn ) F (P ).
() Razonamos por el absurdo. Supongamos pues que F no es continua en P . Entonces existe un > 0 tal que para todo = 1/n existe un punto Pn D con
26
2. Funciones Continuas
b
tic
o
2: () Sea U Rm un subconjunto abierto. Para todo P F 1 (U), podemos conseguir un P tal BP (F (P )) U, por ser U un conjunto abierto. Ahora, por la continuidad de F , existe un P > 0 tal que F (BP (P ) D) BP (F (P )) U. Sea V =
P F 1 (U) BP (P ), entonces inmediatamente de la definicin obtenemos que F 1 (U)
V D. Ahora si R V D, entonces R BP (P ) para algn P D. Como F (BP (P )
D) U, se sigue que R F 1 (U).
() Sea > 0 y P D. Entonces F 1 (B (F (P ))) = V D, con V un subconjunto
abierto de Rn . Como V es abierto y P V , existe > 0 tal B (P ) V . Luego F (B (P )
D) B (F (P )). Por tanto F es continua en P y como P era un punto cualquiera de D,
concluimos que F es continua en D.
Sa
A
o
2. 3 Funciones Continuas
27
b
tic
o
Sa
A
o
Un conjunto puede ser una deformacin de otro sin perder su forma y desde el
punto de vista topolgico se pueden considerar la misma cosa. Piense por ejemplo
en un bola de ftbol y una bola de rugby.
2.11. Definicin: Dos conjuntos A Rn y B Rm son homeomorfos si existe una
funcin biyectiva F : A B tal que ella y su inversa son ambas continuas.
36. Ejemplo: (0, 1) es homeomorfo con R: f (x) = arctan((2 x + )/ ) es la funcin
que realiza el homeomorfismo.
37. Ejemplo: El cuadrado A = {P R2 : m
ax{|p1 |, |p2 |} = 1} es homeomorfo al
2
crculo unitario B = {P R : kP k = 1}. La funcin que realiza el homeomorfismo es
F (P ) = P /kP k.
68. Ejercicio. Decida cuales letras del abecedario son homeomorfas entre si.
28
2. Funciones Continuas
2.12. Proposicin:
1. Si F : D Rn Rm es continua y A D es compacto , entonces F (A) es
compacto.
2. Si F : D Rn Rm es continua y A D es conexo, entonces F (A) es
conexo.
3. Dos conjuntos que son homeomorfos comparten las propiedades de ser
compactos y conexos.
b
tic
o
Demostracin: 1: Sea {Ri }iI un cubrimiento por conjuntos compactos de F (A). Coe i D con R
e i conjunto abierto. Resulta que {R
e i }iI es un
mo F es continua F 1 (Ri ) = R
e i1 , . . . , R
e il que sigue
cubrimiento de A y por lo tanto existe una subcoleccin finita R
cubriendo a A. Por consiguiente Ri1 , . . . , Ril es un cubrimiento de F (A). Luego F (A)
es compacto.
Sa
A
o
69. Ejercicio. Como aplicacin de la proposicin anterior demuestre que cualquier esfera es un
conjunto conexo.
29
72. Ejercicio. Si F : D Rn Rm es una funcin propia, entonces para todo conjunto cerrado de
Rn se tiene que F (A D) es un conjunto cerrado.
b
tic
o
Sa
A
o
Los conjuntos que se obtienen como imgenes de curvas son compactos, conexos, arcoconexos.
74. Ejercicio. Demuestre la afirmacin anterior.
La nocin de conjunto simplemente conexo nos dice intuitivamente que toda curva cerrada puede ser deformada a un punto sin salirnos del conjunto. La definicin
formal es como sigue.
30
2. Funciones Continuas
b
tic
o
A
o
Sa
cuya imagen es la circunferencia unitaria. Esta curva no se puede deformar sin pasar por el punto {O}. Para ver esto observamos que el complemento de toda curva
cerrada tiene una componente no acotada que llamamos el exterior de la curva. Sea
H[s, t] una deformacin de al punto P = (1, 0) y sea A (0, 1] el conjunto de los
s [0, 1] tal que O no pertenece al exterior de la curva H(s, .). Notemos que 1 A
y 0 A, luego podemos tomar r = nf A. Por continuidad de H tenemos que r > 0.
Por otro lado tenemos dos opciones:
O pertenece a la componente no acotada de H(r , .), entonces en virtud de
la continuidad de H y la compacidad de la imagen de H(r , .) existe s < r
tan cerca como se quiera tal que O pertenece a la componente no acotada de
H(s, .), lo que no puede ser.
O no pertenece a la componente no acotada de H(r , .). Sea entonces B la componente acotada de H(r , .) que contiene a O. Nuevamente por la continuidad
de H y la compacidad de la imagen de H(r , .) podemos conseguir un s < r tal
que O pertenece a una componente acotada de H(s, .), que es tambin una
contradiccin.
Luego, no puede existir una deformacin H de al punto P en R2 \ {O}.
75. Ejercicio. Rn \ {O} es simplemente conexo si n 3.
e es un homeomorfismo, entonces D es simplemente conexo si y slo si
76. Ejercicio. Si F : D D
e es simplemente conexo.
D
31
b
tic
o
Sa
2.18. Corolario: Todo conjunto U R abierto se una unin numerable de intervalos abiertos disjuntos dos a dos.
A
o
32
2. Funciones Continuas
El segundo teorema importante se refiere a la posibilidad que una funcin continua alcance un valor mximo y un valor mnimo en puntos de su dominio. Una
primera demostracin fue dada por B. Bolzano alrededor de 1830. Consideremos
F : D Rn R una funcin acotada, i.e., existe M > 0 tal que |F (P )| < M para todo
P D. En este caso tenemos
nf {F (Q)} F (P ) sup{F (Q)}.
QD
QD
b
tic
o
No resulta verdad que existan siempre puntos donde la funcin F tome los valoresnfQD {F (Q)} y supQD {F (Q)}. Por ejemplo F (t) = arctan(t) tiene suptR {F (t)} =
/2 y nunca toma este valor. La compacidad del dominio nos permite asegurar que
esto es siempre as.
2.20. Teorema: Sea F : D Rn R una funcin continua y D un conjunto compacto. Entonces existe P D y R D tal que
F (P ) = nf {F (Q)}
QD
Sa
QD
A
o
M = sup {t}
tF (D)
m = nf {t}.
tF (D)
Como F (D) es cerrado, tanto M como m pertenecen a F (D). Luego existe P D tal
que F (P ) = m y existe Q D tal que F (Q) = M, como se quera demostrar.
Como una aplicacin de este teorema construimos la norma de una transformacin lineal.
2.21. Definicin: Sea T : Rn Rm una transformacin lineal. La norma de T
queda definida por
kT k = m
ax {kT (P )k} .
kP k=1
Esta definicin tiene sentido ya que el mximo siempre existe al ser T una funcin
continua, ejercicio 66, y al ser la esfera unitaria un conjunto compacto.
78. Ejercicio. Calcule kT k donde T (x, y) = (x, y).
33
79. Ejercicio. Demuestre que kT k = 1 si T es una transformacin ortogonal, i.e, preserva producto
interno.
80. Ejercicio. Demuestre que la norma de una transformacin lineal tiene las siguientes propiedades:
kT (P )k kT k kP k;
kT k = 0 si y slo si T es el operador nulo;
kT1 + T2 k kT1 k + kT2 k;
kT1 T2 k kT1 k kT2 k.
b
tic
o
81. Ejercicio. Demuestre que la funcin d definida en L(Rn , Rm ) tiene las mismas propiedades que
la funcin distancia en Rn .
Sa
A
o
46. Ejemplo: Consideremos la funcin F (x) = 2x. Entonces |F (x)F (y)| = 2|xy|.
Si x y y estn cerca, digamos que menos que un , entonces |F (x) F (y)| < 2 que
es pequeo tomando pequeo.
47. Ejemplo: Consideremos la funcin F (x) = x 2 , entonces |F (x) F (y)| = |x
y| |x + y|. Esta diferencia no se puede hacer pequea si |x y| es pequeo ya que
|x + y| puede aumentar tanto como uno quiera.
2.22. Definicin: Decimos que F : D Rn Rm es uniformemente continua si
para todo > 0 dado, existe un > 0 , tal que
si kP QkP ,QD < ,
34
2. Funciones Continuas
83. Ejercicio. Una funcin F : D Rn Rm es Hlder continua con exponente 1 si existe una
cosntante K > 0 tal que
kF (P ) F (Q)k < K kP Qk ,
para todo par de puntos P , Q D. Demuestre que si F es Hlder continua, entonces es uniformemente continua.
84. Ejercicio. Considere la funcin F (x) = x definida en el intervalo [0, 1]. Muestre que F es
Hlder continua pero no es Lipschitz continua.
85. Ejercicio. Demuestre que una transformacin lineal es Lipschitz continua.
b
tic
o
Una propiedad topolgica del dominio de una funcin F que permite uniformizar
su continuidad es la compacidad. El siguiente teorema tratando este aspecto se debe
a los matemticos alemanes Eduard Heine y George Cantor.
2.23. Teorema: Sea F : D Rn Rm una funcin continua. Si D es un conjunto
compacto, entonces F es uniformemente continua.
Sa
Demostracin: Sea > 0 dado. Por la continuidad de F en cada punto P D, tenemos que existe una bola BP (P ) tal que F (BP (P ) D) B/2 (F (P )). La coleccin {BP /3 (P )}P D es un cubrimiento de D por conjuntos abiertos. Entonces existe un subcubrimiento finito {BPi /3 (Pi )}N
ni {Pi /3}, afirmamos que si
i=1 . Sea = m
kP Qk < , entonces P y Q pertenecen a una misma bola BPs (Ps ). Supongamos
que P BPi /3 (Ps ), si Q no pertenece a la bola BPs (Ps ), entonces
P s
> 2,
3
que es una contradiccin, con lo cual queda demostrada la afirmacin. Con el as
construido, podemos concluir de la afirmacin que las imgenes de P y Q, F (P ) y
F (Q) pertenecen a una misma bola de radio /2, en consecuencia su distancia es
menor que .
A
o
86. Ejercicio. Demuestre que F : D Rn Rm es uniformemente continua sii para todo par de
sucesiones {Pi }
mi kPi Qi k = 0, se tiene que lmi kF (Pi )
i=0 y {Qi }i=0 que cumplen con l
F (Qi )k = 0.
35
b
tic
o
De los ejemplos anteriores se desprende que los puntos fijos si existen pueden no
ser nicos. La pregunta entonces es que condiciones debemos poner para garantizar
que existan puntos fijos y que sean nicos. El siguiente teorema proporciona estas
condiciones y se debe al matemtico polaco Stephan Banach quien lo public en
1922 y se le conoce en la literatura como el Teorema del Punto Fijo o el teorema de
la Contraccin Uniforme.
2.24. Teorema (Banach): Sea F : A Rn Rn una funcin definida en A un
conjunto cerrado y supongamos que existe 0 < 1 tal que
kF (P ) F (Q)k < kP Qk.
Sa
A
o
}|
{
z
F = F F,
n
Este es el punto fijo que buscamos. Para ver que la sucesin {Pn } converge basta ver
que es una sucesin de Cauchy. Estimemos primero la diferencia entre dos trminos
consecutivos de la sucesin {Pn } usando la condicin de Lipchitz que cumple F :
kPk Pk1 k < kPk1 Pk2 k
..
. k 1 pasos
< k1 kF (P ) P k.
36
2. Funciones Continuas
m1 kF (P ) P k + m2 kF (P ) P k + + n kF (P ) P k
n (1 + 2 + m1n )kF (P ) P k
n
kF (P ) P k,
1
b
tic
o
en el teorema.
Sa
kF (P ) F (R)k < kP Rk
90. Ejercicio. Suponga que kF (P ) F (Q)k < kP Qk y A es compacto, demuestre que existe un
nico punto fijo.
A
o
91. Ejercicio. Sea F : A A una funcin definida en el conjunto cerrado A. Supongamos que
kF (P ) F (Q)k kP Qk
Ejercicios adicionales
92. Ejercicio. Responda si las afirmaciones siguientes son verdaderas o falsas. Justifique su respuesta.
Si F : Rn Rm es continua, entonces F 1 (U) es abierto si y slo si U es abierto.
F 1 (A) es un conjunto compacto si A es compacto y F es continua.
Si F es continua, entonces el lmite de F existe en cada punto de acumulacin del dominio
de F .
93. Ejercicio. Demuestre que si f : R2 R es continua en 0 y lm(x,y)0 f (x, y) = a y si existen
los lmites
lm f (x, y) y lm f (x, y),
x0
entonces
y0
2. 8 Ejercicios adicionales
lm
x0
lm f (x, y)
y0
37
= lm lm f (x, y) = a.
y0
x0
El recproco no es cierto.
94. Ejercicio. Sea : R3 R3 R3 la funcin producto vectorial: (P , Q) P Q. Demuestre que
esta aplicacin es continua.
95. Ejercicio. Sea f : Rn R continua y f (P ) > 0 para todo punto P . Si A es un conjunto compacto,
demuestre que existe una constante c > 0 tal que f (p) > c para todo P A.
b
tic
o
96. Ejercicio. Demuestre que la funcin det, como funcin de las filas es una funcin continua.
97. Ejercicio. Sea F : D Rn Rm una funcin definida en un entorno del punto O y tal que
F (O) = O. Si kF (P )k kP k con > 0, entonces F es continua en P = O.
98. Ejercicio. Demuestre que dado un conjunto A Rn la funcin P d(P , A) es Lipchitz continua.
Es uniformemente continua?
99. Ejercicio. Sea f : D Rn R una funcin uniformemente continua, demuestre que existe
g : D Rn R continua tal que f (P ) = g(P ) para todo P D.
Sa
100. Ejercicio. Si A es un conjunto compacto, demuestre que existe un punto Q A tal que
d(P , A) = kP Qk.
101. Ejercicio. Estudie la continuidad uniforme de la funcin
A
o
kP k
.
1 + kP k
102. Ejercicio. f : D Rn Rm es uniformemente continua si y slo si para todo par de sucesiones {Pk }, {Qk } en D con lmk kPk Qk k = 0 vale que
lm kF (Pk ) F (Qk )k = 0.
Q = F (P )}
38
2. Funciones Continuas
l
l
X
X
f i Pi
i Pi
si Pi D y
Pl
i=1
i=1 i
i=1
= 1 con i 0.
con = /(1 ).
3. Si C int(D), entonces
b
tic
o
Sa
4. f est acotada en C.
5. f es continua en P y si D es abierto f es continua en D.
6. Si D es cerrado f no es necesariamente continua en D.
108. Ejercicio. Sea f una funcin convexa y K D un conjunto convexo compacto. Demuestre:
1. Si f no es una constante entonces
m
ax f (P ) = m
ax f (P ).
A
o
P K
P K
2. 8 Ejercicios adicionales
39
f (p) = s
si s Js .
b
tic
o
110. Ejercicio. Funcin de Lebesgue Sea C el conjunto de Cantor definido en el ejercicio 53 del
captulo 1. Denotemos los intervalos excluidos en la
construccin de la siguiente manera: el primer tercio medio lo llamamos J1/2 . Los siguientes tercios
medios retirados de las componentes de I1 los lla5
8
mamos J1/4 y J3/4 manteniendo el orden que tienen
3
en [0, 1]. De I2 a sus cuatro componentes las llama4
mos J1/8 , J3/8 ,J5/8 y J7/8 . Continuando de esta ma5
8
nera a cada uno de los tercios medios retirados de
1
cada una de las 2k componentes de Ik los llamamos
2
Jm/2k donde m es impar entre 1 y 2k . La figura de la
3
8
derecha ilustra esta construccin en el eje horizon1
tal. Definamos entonces la funcin f : [0, 1] \ C R
4
de la siguiente manera:
1
8
A
o
Sa
1
0
de f .
J 21
J 18 J 41 J 38
J 85 J 34 J 78
Demuestre:
Si |p r | 1/3k , entonces
|f (p) f (s)| 1/2k .
f es uniformemente continua.
Existe una extensin de f al intervalo [0, 1], que seguimos llamando f , continua y creciente.
f es H lder continua con exponente = log 2/ log 3.
A
o
Sa
b
tic
o
b
tic
o
Diferenciabilidad
Sa
A
o
Para motivar la definicin de diferenciabilidad de funciones escalares en Rn recordemos primero la definicin para funciones definidas en la recta. As pues sea
f : I R R. La funcin f es diferenciable en p = a I si existe el siguiente lmite
que se denota por f (a):
f (p) f (a)
= f (a),
pa
pa
lm
lo cual es equivalente a
f (p) f (a) f (a)(p a)
= 0.
pa
pa
lm
42
f (X) f (P ) T (X P )
= 0.
XP
kX P k
Diremos que es diferenciable en D si es diferenciable en cada punto de D.
lm
(2)
b
tic
o
lm
(3)
Sa
La definicin (2) fue publicada por primera vez por el matemtico austriaco Otto Stolz en [11] en el ao 1893. La evolucin del concepto de diferenciabilidad es
estudiada por Manuel Balanzat en [1].
A
o
XP
f (X) f (P ) T (X P )
0
= lm
= 0.
XP
kX P k
kX P k
3. 1 Diferenciabilidad
43
b
tic
o
kXk2 kP k2
T (X P )
kXk kP k T (X P )
=
kX P k
(kXk + kP k)kX P k
kX P k
2
kX P k + 2hP , X P i T (X P )
=
(kXk + kP k)kX P k
kX P k
kX P k
=
(kXk + kP k)
hP , X P i
2
1
+
.
kX P k
kXk + kP k kP k
Ambos trminos de la ultima igualdad tienden a cero cuando kX P k tiende a cero.
Luego f (P ) = kP k es diferenciable cuando P O. En el caso P = O, supongamos
que si es diferenciable, entonces existe T tal que (2) vale. Como T es lineal, se puede
escribir como
n
X
T (P ) =
ai pi .
i=1
Sa
z}|{
en la direccin i-sima, i.e., X = t (0, . . . , 1 , . . . , 0) obtenemos
A
o
kXk T (X)
|t| ai t
=
kXk
|t|
1 ai
1 + ai
si t 0
si t 0
por la derecha
por la izquierda,
La diferenciabilidad de una funcin f presupone la existencia de una transformacin lineal T tal que (2) vale. Esta transformacin a priori podra no ser nica. El
siguiente lema nos dice que esto no pasa.
3.3. Lema: La transformacin lineal T en la definicin de diferenciabilidad (2) es
nica
44
(5)
b
tic
o
Sa
A
o
45
continuidad. La funcin norma muestra que una funcin puede ser continua sin ser
diferenciable. El siguiente lemma muestra que lo recproco siempre vale.
3.5. Lema: Si una funcin es diferenciable en el punto P , entonces es continua en
ese punto.
Demostracin: Demostraremos que lmXP f (X) = f (P ). Sea > 0, la diferenciabilidad de f en P implica que
|f (X) f (P ) Df (P )(X P )| < (/2)kX P k
b
tic
o
El resultado se sigue ahora del hecho que Df (P ) es continuo: para /2, existe
un 2 > 0 tal que si kX P k < 2 , entonces |Df (P )(X P )| < /2. Si tomamos
= mn{1 , 2 }, obtenemos entonces que
Sa
|f (X) f (P )| < .
A
o
46
f (P + H) f (P ) Dg(P )H
=0
H0
kHk
g(P + H) g(P ) Dg(P )H
lm
=0.
H0
kHk
Luego esto implica inmediatamente
lm
b
tic
o
lm
Ahora
Sa
A
o
f (P + H) f (P ) Df (P )(H)
kHk
g(P + H) g(P ) Dg(P )(H)
2 =f (P + H)
kHk
(f (P + H) f (P )) [Dg(P )(H)]
3 =
.
kHk
1 como
2 van a cero cuando H 0, por la diferenciabilidad de f y g en
Tanto
3 queda probada la propiedad. Como
P . As que si demostramos lo mismo para
,
H
,
3 | (f (P + H) f (P )) | Dg(P )
|
|
kHk
y
H
(6)
Dg(P ) kHk kDg(P )k,
1 =g(P )
3 = 0.
obtenemos, por la continuidad de f en P que lmH0
47
f (P + H) f (P ) Dg(P )H
=0
H0
kHk
lm
Ahora
donde
b
tic
o
g(p) g(P + H) + Dg(P )(H)
1
1 =
.
g(P )g(P + H)
kHk
!
g(P + H)
1 Dg(P )(H)
g(P
)
1
.
2 =
g(P )g(P + H)
kHk
Sa
A
o
f (P ) =
l
X
son diferenciables.
56. Ejemplo: Las funciones racionales, aquellas que son cocientes de dos funciones
polinomiales, son funciones diferenciables donde estn definidas.
115. Ejercicio. Calcule la diferencial de la funcin polinomial:
f (x, y) = x 2 + 2 x + 3.
116. Ejercicio. Calcule la diferencial de la funcin racional:
f (x, y) =
x+y +1
.
y 2 + x2 + 1
117. Ejercicio. Demuestre que la funcin determinante como funcin de las filas es una funcin
diferenciable. Calcule su diferencial.
La siguiente propiedad extiende la frmula para calcular la diferencial de la composicin de dos funciones.
48
g (t0 ) = Df (P )( (t0 )) = f (P ), (t0 ) ,
donde (t0 ) = (1 (t0 ), . . . , n (t0 )).
b
tic
o
(7)
A = |g(t0 + t) g(t0 ) f (P ), (t0 ) (t t0 )| < .
Sa
Sea = mni { , i } y tan pequeo tal que k(t) (t0 )k < , lo cual podemos
asumir pues la funcin es continua. Entonces, si |t t0 | < y en virtud de (8) y (9)
obtenemos para el lado izquierdo de (7)
A
o
= mn{1, 1/ n ( + m
ax{|i (t0 )|})kDf ((t0 ))k
con el construido para esta eleccin de queda entonces establecido (7) que es lo
que queramos demostrar.
3. 3 Derivadas direccionales
49
b
tic
o
Una consecuencia inmediata del Teorema del Valor Medio es que podemos estimar |f (R) f (P )| en trminos de la norma de la diferencial de f y la distancia entre
el punto P y el punto R.
Sa
A
o
Derivadas direccionales
Sea f una funcin, definida en D Rn un conjunto abierto, a valores reales.
50
d
d
f (P + tV )|t=0 =
r |t=0 = 0,
dt
dt
ya que la derivada de una funcin constante es cero.
DV f (P ) =
d
f (P + tV )|t=0
dt
d
d
f (x + t, y)|t=0 =
(x + t)|t=0 = 1.
dt
dt
b
tic
o
DV f (P ) =
z}|{
(0, . . . , 1 , . . . , 0) obtenemos las bien conocidas derivadas parciales:
f
(P ) = DEi f (P ).
pi
118. Ejercicio. Demuestre que las derivadas direccionales tienen las siguientes propiedades:
Sa
a) DV (f + g)(P ) = DV f (P ) + DV g(P ).
b) DV ( f )(P ) = DV f (P ).
A
o
f (P + H)) f (P ) Df (P )(H)
f (P + tV ) f (P ) tDf (P )(V )
= lm
= 0.
H0
t0
kHk
|t|kV k
lm
3. 3 Derivadas direccionales
51
f (P + tV ) f (P )
= Df (P )(V ).
t0
t
La frmula para la diferencial se obtiene a partir del hecho que Df (P ) es una transformacin lineal:
X
Df (P )(H) =
Df (P )(hi Ei )
lm
hi DEi f (P )
hi
f
(P ).
pi
b
tic
o
X
i
Este lema nos permite introducir un concepto asociado con una funcin diferenciable. El vector gradiente de una funcin diferenciable en un punto P es el vector:
!
f
f
f (P ) =
(P ), . . . ,
(P ) .
p1
pn
Sa
(10)
A
o
xy
si (x, y) 6= (0, 0)
f (x, y) = x 2 + y 2
0
si (x, y) = (0, 0).
d
f (tv1 , tv2 )|t=0
dt
v1 v22
v12 +v22
v v2
d
t 1 2 |
d t v12 +v22 t=0
= f (V ).
52
b
tic
o
120. Ejercicio. El matemtico francs J. Hadamard en [5] defina la diferenciabilidad de una funcin
f en un punto P de la siguiente manera: peda la existencia de las derivadas direccionales definidas
de la siguiente manera:
f (P + tV ) f (P )
DV f (P ) = lm
t
(t,V )O
para todo V Rn y que la aplicacin
V DV f (P )
fuese lineal. Demuestre que esta definicin es equivalente a la definicin 3.1.
Para verificar que una funcin f es diferenciable en virtud de la definicin tenemos primero que tener la candidata a diferencial y luego verificar que (2) vale para
la candidata a diferencial escogido. Este procedimiento no es usualmente fcil. En la
proposicin que sigue damos un criterio suficiente para verificar que f es diferenciable conociendo las derivadas parciales de f .
Sa
A
o
f (P + H) f (P ) T (H)
= 0.
H0
kHk
lm
y
f (P + H) f (P ) T (H) =
X
i
X
i
e i ) f (P + H
e i1 ),
f (P + H
e i ) f (P + H
e i1 )
f (P + H
f
(P )hi .
pi
f
(p1 + h1 , . . . , pi + ci , 0, . . . , 0)hi ,
pi
3. 3 Derivadas direccionales
53
!
f
f
(p1 + h1 , . . . , pi + ci , 0, . . . , 0)
(P ) hi
pi
pi
y por tanto
b
tic
o
f
e i ) f (P + H
e i1 )
f (P + H
(P ) hi
pi
f
f
(p1 + h1 , . . . , pi + ci , 0, . . . , 0)
(P ) kHk
pi
pi
lm
f
(P ) hi
pi
kHk
= 0,
Sa
H0
e i ) f (P + H
e i1 )
f (P + H
A
o
f (P ) =
kP k2 sen
0
1
kP k
si P O
si P = O,
x2
x
si (x, y) O,
2 +y 2
x
3. f (x, y) =
0
si (x, y) = O.
(M. Frechet )
54
b
tic
o
Sa
A
o
TO (f )
55
Gr af (f )
Gr af (f )
TO (f )
n
R
p
f (P ) = kP k
f (P ) = kP k2
b
tic
o
f (P ) = r
Sa
A
o
Df (P )V = lm
y por ende
lm k (Pk P ) = V
lm k (f (Pk f (P )) = v.
56
f (Pk) f (P )
= lm k kPk P k
k
kPk P k
f (Pk) f (P ) Df (P )(Pk P )
= lm k kPk P k
+ k Df (P )(Pk P )
kPk P k
k
= lm k Df (P )(Pk P )
k
b
tic
o
=Df (P )V
Esta proposicin nos dice entonces que el cono tangente es un subsespacio de
Rn+1 de dimensin n, pues es la imagen de Rn por la transformacin lineal inyectiva
V (V , Df (P )V ).
125. Ejercicio. Demuestre la ltima afirmacin.
Sa
(f (P ), 1)
TP (f ) + (P , f (P ))
A
o
Gr af (f )
Rn
57
126. Ejercicio. Calcule el plano tangente en el punto (0, 0, 0) de la grfica de la funcin f (x, y) =
q
1 x2 y 2.
127. Ejercicio. Encuentre el cono tangente a la grfica de la funcin f (x) = |x| en el punto (0, 0).
128. Ejercicio. Encuentre el cono tangente a la grfica de la funcin f (x, y) = |x| en el punto
(0, 0, 0).
b
tic
o
Ya hemos visto que el diferencial de una funcin f en un punto P es una transformacin lineal de Rn en R. En esta seccin generalizamos este tipo de funciones,
de las cuales ya nos hemos encontrado con una: el producto escalar.
kveces
B(P1 , ,
, . . . , Pk ) = B(P1 , , Q, , Pk ) + B(P1 , , R, , Pk )
A
o
con R.
z }| {
Q + R
Sa
z
}|
{
3.16. Definicin: Una funcin B : Rn Rn Rm se dice k-lineal (multilineal)
si para todo i = 1, . . . , k vale
58
Dada una base {Wi } de Rn podemos conocer como acta una aplicacin multilis
neal B de la siguiente manera. Si Ps = (p1s , . . . , pn
), entonces
n
n
X
X
B(P1 , . . . , Pk ) =B pi11 Wi1 , . . . , pikk Wik
i1
(12)
n
X
ik
i1 ,...,ik =1
b
tic
o
De tal manera que si conocemos los valores de B(Wi1 , . . . , Wik ) conocemos la accin
de B por la frmula anterior.
131. Ejercicio. Sean Bi1 ik Rm n.k vectores. Demuestre que
B(P1 , . . . , Pk ) =
define una aplicacin k lineal.
n
X
i1 ,...,ik =1
Sa
n
X
B(P , Q) =
pi qj Bij
i,j=1
=P t BQ
A
o
B(E1 , E1 ) B(E1 , E2 )
B = B(E2 , E1 ) B(E2 , E2 )
B(E3 , E1 ) B(E3 , E2 )
B(P , Q) = hP Q, E3 i en R3 . La matriz en
B(E1 , E3 )
0 1 0
B(E2 , E3 ) = 1 0 0
B(E3 , E3 )
0 0 0
El producto escalar tiene una propiedad adicional a las que lo definen como una
forma bilineal y es que hP , Qi = hQ, P i. Esta propiedad es conocida como simetra.
Para aplicaciones multilineales es como sigue.
59
kveces
z
}|
{
3.17. Definicin: Una funcin multilineal B : Rn Rn Rm es simtrica si
B(P1 , . . . , Pk ) = B(P (1), . . . , P (k)),
En el caso de una forma bilineal simtrica podemos decir que la matriz asociada
a esta forma es una matriz simtrica.
b
tic
o
Sa
Q(x, y) = ax 2 + 2bxy + dy 2 ,
ya que proviene de la forma bilineal simtrica con matriz
!
a b
.
b d
A
o
z
}|
{
3.19. Proposicin: Sea B : Rn Rn R una forma k-lineal. Entonces B es
diferenciable como funcin de Rkn en R y su diferencial se calcula as:
DB(P1 , . . . , Pk )(H1 . . . , Hk ) =
k
X
B(P1 , . . . , Hi , . . . , Pk ).
i=1
kveces
}|
{
z
Demostracin: Identificamos Rn Rn con Rnk de manera natural. B es diferenciable ya que es un polinomio de grado k en las componentes del punto (P1 , . . . , Pk )
como se desprende de (12). Para chequear que el diferencial es el sealado se calcula el vector gradiente usando la expresin de B en la base cannica y resulta fcil
chequear entonces que
DB(P1 , . . . , Pk )(H1 . . . , Hk ) = hB(P1 , . . . , Pk ), (H1 . . . , Hk )i.
60
T (H1 . . . , Hk ) =
k
X
B(P1 , . . . , Hi , . . . , Pk )
i=1
es el diferencial de B.
b
tic
o
135. Ejercicio. Encuentre el diferencial de la funcin determinante como funcin de las filas.
A
o
Sa
pj
f
pi
f
son diferenciables, entonces por
pi
(P )
para todo i, j = 1, . . . , n. Esto nos permite definir la siguiente forma bilineal que
llamaremos la diferencial segunda de f en el punto P :
(13)
D f (P )(H, V ) =
n
X
i j=1
pj
f
pi
(P ) hj vi .
La siguiente Proposicin relaciona el incremento en la diferencial con la diferencial segunda y nos ofrece una definicin equivalente de la diferenciabilidad segunda.
61
HO
Df (P + H)V Df (P )V D2 f (P )(H, V )
= 0.
kHk
b
tic
o
(14)
n
X
f
(P )
pi
pj
j=1
Sa
n
X
f
p (P + H)
i
i=1
n
X
f
p (P + H)
i
i=1
A
o
(15)
= |Df (P + H)V Df (P )V D2 f (P )V |
n
X
f
(P )
pi
pj
j=1
(P ) hj
|vi |
!
f
(P ) hj
kV k.
pi
f
pi
f
en el punto P implica que existe un i tal
pi
n
X
f
f
(P
+
H)
(P
)
p
pi
pj
i
j=1
f
pi
(P ) hj
< nkV k kHk.
n
X
<
kHk kV k < kHk,
n
kV
k
j=1
f
2f
(P ) =
(P ).
pj pi
pj pi
62
(17)
b
tic
o
El siguiente resultado nos dice que esto siempre pasa si f es dos veces diferenciable.
Este resultado se le acredita a varios matemticos, entre ellos: A. Clairut (francs),
H. A. Schwarz (austriaco) y W. Young (ingls). La versin que presentamos es de W.
Young aparecida en [14] en el ao 1909. Para una discusin histrica acerca de este
resultado referimos al lector a [6].
3.22. Teorema: Si f : D Rn R es dos veces diferenciable en el punto P Rn
entonces para cada par de ndices i y j vale (17) .
Demostracin: Como slo estn involucradas las coordenadas i y j, definimos la
funcin
g(x, y) = f (p1 , . . . , pi + x, . . . , pj + y, . . . , pn ).
El teorema quedar demostrado si demostramos
2g
2g
(0, 0) =
(0, 0).
x y
y x
Sa
(18)
(19)
A
o
(h, h)
2g
=
(0, 0).
h0
h2
y x
lm
2
e h (h1 ) = h (h1 ) g (0, 0) h1 h2 .
2
2
y x
e h es diferenciable y de la diferenciabilidad
La diferenciabilidad de h2 implica que
2
en O de g/ x implica que existe un > 0 tal que
g
kHk
2
g
g
e (h1 )| =
<
|
(h
,
h
)
(h
,
0)
(0,
0)
h
1
2
1
2
h2
x
x
y x
2
siempre que kH = (h1 , h2 )k < . En virtud del Teorema del Valor Medio en una
variable obtenemos
e h (h)
e h (0)| < h2 .
|
63
2
2
g
(h, h)
(0, 0) h2 = h (h) h (0)
(0, 0) h2
y x
y x
e
2
e
=
h (h) h (0) < h
b
tic
o
A
o
Sa
En particular, bajo estas condiciones se obtiene la igualdad de las derivadas parciales mixtas de orden 2. Esta es la versin presentada por H.A. Schwarz en 1873.
Como es ya conocido de las secciones anteriores, la sola existencia de las derivadas parciales cruzadas nos garantiza que f sea dos veces diferenciable. Tampoco
garantiza la igualdad (17) como el siguiente ejemplo muestra.
70. Ejemplo: Considere la funcin
2
2
xy x y
x2 + y 2
f (x, y) =
si (x, y) 6= (0, 0) y
si (x, y) = (0, 0).
Esta funcin es diferenciable en todo R2 . Sus derivadas parciales vienen dadas por
y x 4 + 4y 2 x 2 y 4
,
2
x2 + y 2
f
x 5 4y 2 x 3 y 4 x
(x, y) =
,
2
y
x2 + y 2
2f
x 6 + 9y 2 x 4 9y 4 x 2 y 6
(x, y) =
,
3
xy
x2 + y 2
2f
x 6 + 9y 2 x 4 9y 4 x 2 y 6
(x, y) =
.
3
yx
x2 + y 2
f
(x, y) =
x
y
x
64
y en consecuencia
2f
2f
(0, 0) = lm
(0, y) = 1.
y0 y x
y x
De la misma manera obtenemos que
2f
(0, 0) = 1.
x y
b
tic
o
La igualdad de las derivadas cruzadas de orden 2 nos dice que la forma bilineal
D2 f (P ) es simtrica si f es dos veces diferenciable, i.e.
Sa
A
o
f
=
,
pi1 . . . pim1
pi1
pim1
son funciones diferenciables en P .
En el caso k = 2 present una forma bilineal que denominamos D2 f (P ), el diferencial segundo. En el caso k 3 definimos una forma k-lineal de la siguiente
manera:
(21)
Dk f (P )(H1 , . . . Hk ) =
n
X
i1 ,...,ik
mf
h1,im . . . hk,i1 ,
pi1 . . . pim
=1
65
(22)
Q
es k 1 veces diferenciable, luego
b
tic
o
Demostracin: La demostracin la haremos por induccin en el grado de diferenciabilidad. Ya sabemos el resultado para k = 2. Veamos que vale si vale para k 1
entonces vale para k. Supongamos que la permutacin deja fijo al uno (1) = 1,
entonces por hiptesis la funcin
mf
(Q)
pi2 . . . pim
mf
mf
(P ) =
(P ),
pi2 . . . pim
pi (2) . . . pi (m)
A
o
Sa
(P ) =
pi1 . . . pim
pi1
=
pi1
m1 f
pi2 . . . pim
pi (1)
2
=
pi1 pi (1)
2
=
pi (1) pi1
=
pi (1)
=
pi (1)
(P ) =
pi1
m1 f
[
. . . , p
i (k) , . . . pi (m)
m1 f
pi(2) . . . pi(m)
!
(P )
(P )
pi (2)
m2 f
[
. . . , p
i (k) , . . . pi (m)
pi (2)
m2 f
[
. . . , p
i (k) , . . . pi (m)
(P )
(P )
!
m1 f
(P )
[
pi1 pi (2) . . . , p
i (k) , . . . pi (m)
!
m1 f
mf
(P ) =
(P )
pi (2) . . . , pi (m)
pi (1) . . . , pi (m)
66
b
tic
o
71. Ejemplo: La funcin constante es de clase C ya que es diferenciable con diferencial nulo y en consecuencia todos los diferenciales de orden mayor son tambin
nulos y sus derivadas parciales de orden mayor son nulas, en consecuencia continuas.
72. Ejemplo: Las proyecciones sobre los ejes coordenados son de clase C . Si f (P ) =
pi Df (P )(H) = hi y D2 f (P )(H, V ) = 0. De aqu se sigue que los diferenciales de
orden mayor que 3 son nulos.
73. Ejemplo: f (P ) = kP k2 es de clase C ya que es una funcin polinomial.
(23)
Sa
A
o
Df (p)(H) = f (p), H = 3kP k hP , Hi .
De (23) se sigue que existen las derivadas parciales segundas fuera del O y como
la derivadas parciales en O estn acotadas por 3kP k2 obtenemos que las derivadas
parciales son diferenciables en todo Rn y en consecuencia f es dos veces derivable.
Ella no es 3-veces, ya que las derivadas segundas no son continuas en O. Adems
tenemos que la funcin es de clase C 1 (Rn ) pero no es de clase C 2 (Rn ).
138. Ejercicio. Estudie la diferenciabilidad de la funcin f (P ) = kP kk para k 4.
3. 7 Teorema de Taylor
67
Teorema de Taylor
b
tic
o
kveces
z }| {
para j k. Por comodidad, de ahora en adelante escribiremos H = (H, . . . , H).
k
(25)
A
o
Sa
lm
HO
Rk (H)
= 0,
kHkk
Rk (H) = o(kHkk ).
68
Demostracin: Por induccin en k el grado de diferenciabilidad. El caso n = 1 corresponde a la definicin de diferenciabilidad. Supongamos pues que la proposicin
vale para k y veamos que vale para k + 1. Definamos g en un entorno de O de la
siguiente manera
g(H) = f (P + H) Pk (H)
1
Df k+1 (P )H k+1 .
(k + 1)!
b
tic
o
X 2f
g
f
f
(H) =
(P + H)
(P )
(P ) hi1
hi
hi
hi
pi1 pi
i
1
1
k! i
n
X
1 ,...ik
k+1 f
(P ) hi1 . . . hik .
pi1 . . . pik pi
A
o
Sa
g
cumple con las hiptesis de induccin, sabemos entonces que dado un
hi
> 0, existe un i > 0 tal que si kHk < , entonces
g
< (/n) kHkk .
(H)
h
i
Cada
3. 7 Teorema de Taylor
69
3.30. Teorema: Sea f una funcin con derivadas hasta orden k + 1 en el intervalo
(a, a + x) y continua en el intervalo cerrado [a, a + x]. Entonces, para todo h tal
que a + h < a + x existe (a, a + h) tal que
(27)
1
1
1
f (a + h) = f (a) + f (a)h + f (a)h2 + + f (k)(a)hk +
f (k+1) ()hk+1 .
2!
k!
(k + 1)!
La frmula para el resto Rk obtenida en este Teorema se debe al matemtico
francs Joseph-Louis Lagrange y se conoce como la forma de Lagrange del resto.
El siguiente Lema de carcter tcnico lo usaremos en lo que sigue.
para todo j = 0, 1, . . . , k.
n
X
i1 ,i2 ,...ij
jf
(P + t H)hi1 . . . hij
pi1 . . . pij
=1
= Df j (P + t H)H j
Sa
(28)
j (t) =
b
tic
o
A
o
X
f
(t) = f (P + tH), H =
(P + t H)hi .
p
i
i=1
f
(P + t H)
pi
70
(1) =
(0) + (0) +
1 (2)
1
1
(0) + + (k) (0) +
(k+1) ()
2
k!
(k + 1)!
(1) = f (P + H) = f (P ) +
1
Dk+1 f (P + H)H k+1 .
(k + 1)!
b
tic
o
k
X
1 j
D f (P )H j
j
j=1
Sa
Demostracin: El resultado se sigue ya que al ser la funcin f (k + 1)-veces diferenciable en un entorno del punto P esto implica que las derivadas de orden k son
funciones continuas en un entorno del punto P y por tanto Dk+1 f (Q) est acotado
en un entorno de P . El resultado se obtiene aplicando entonces (29).
A
o
f (Q) = f (P ) + Df (P )(Q P ) +
lm
HO
f (P + H) Q(H)
= 0,
kHkk
3. 7 Teorema de Taylor
71
entonces Q1 = Q2 .
Demostracin: Por el absurdo. Supongamos entonces que Q1 Q2 . Entonces la diferencia Q1 (H) Q2 (H) es no nula y se puede escribir
b
tic
o
donde el polinomio Sl contiene los trminos del menor grado l que aparecen en
Q1 (H) Q2 (H) y T contiene los trminos de orden ms alto. Sea H fijo no nulo que
cumple con Sl (H) 0. Al menos existe uno. Como l k obtenemos de la hiptesis
Q1 (tH) Q2 (tH)
t0
ktHkk
Q1 (tH) Q2 (tH)
= lm
t0
ktHkl
Sl (tH) + T (tH)
= lm
t0
ktHkl
Sl (H)
T (H)
Sl (H)
+ lm t l l .
=
0,
=
l
l
t0
kHk
kH k
kHkl
Sa
0 = lm
A
o
f (1 + h1 , 1 + h2 ) = ln(2) +
72
142. Ejercicio. Sea f y g dos funciones 3-veces diferenciables definidas en un entorno de 0. Encuentre el polinomio de Taylor de grado 3 centrado en P = (0, 0) de la funcin
f (x, y) = f (x) g(y)
Extremos relativos
b
tic
o
Sa
A
o
La siguiente Proposicin nos da una condicin necesaria para la existencia de extremos relativos. Este criterio se debe al matemtico francs Pierre de Fermat quien
lo obtuvo restringiendo su estudio a funciones polinomiales.
3.38. Proposicin: Sea f : D Rn R una funcin escalar diferenciable en P . Si
P es un extremo relativo, entonces
Df (P ) = 0.
Demostracin: Como P es un extremo relativo se sigue que la funcin la diferencia
f (P + H) f (P ) tiene signo constante en un entorno de P . La diferenciabilidad en P
implica que
(31)
3. 8 Extremos relativos
73
obtenemos
(32)
b
tic
o
79. Ejemplo: Sea Q(H) = hH, AHi una forma cuadrtica. Los puntos extremos de Q
estn dados como solucin de la ecuacin AH = 0.
Sa
e
80. Ejemplo: Sea Q(H)
= hH, AHi /kHk2 . Entonces sus puntos extremos estn dados como solucin de la ecuacin
A
o
AH =
H t AH
H.
kHk2
Luego, los puntos extremos son autovalores de A con autovalor dado por
=
H t AH
.
kHk2
Un punto crtico P puede que no sea un punto aislado del conjunto de puntos
crticos de una funcin f como lo indica el ejemplo 78.
146. Ejercicio. La funcin f (P ) = p11 tiene como conjunto de puntos crticos al conjunto
{P : p1 = 0}.
Observe que O es un punto crtico no aislado.
74
3.39. Proposicin: Sea f : D Rn R una funcin escalar dos veces diferenciable en P con Df (P ) = 0 entonces:
1. Si P es un mnimo local, entonces
D2 f (P )H 2 0,
para todo H Rn .
2. Si P es un mximo local, entonces
D2 f (P )H 2 0,
b
tic
o
para todo H Rn .
f (P + H) f (P ) > D2 f (P )H 2 kHk2 ,
Sa
A
o
Como > 0 es arbitrario, podemos concluir que D2 f (P )V 2 0 que es lo que queramos demostrar.
Desgraciadamente estas condiciones son slo necesarias, no se pueden mejorar
como lo muestra la funcin siguiente.
81. Ejemplo: Consideremos f (x, y) = x 2 + y 4 . En P = O la funcin f tiene un
mnimo, Df (P ) = 0 y
D2 f (P )H 2 = 2h21 0.
Para obtener condiciones suficientes que caractericen los puntos extremos basta
que pidamos positividad (negatividad) estricta del diferencial segundo.
3.40. Proposicin: Sea f : D Rn R una funcin escalar dos veces diferenciable en P con Df (P ) = 0 entonces:
1. Si Df 2 H 2 > 0 para todo H Rn no nulo, entonces P es un mnimo local
estricto.
2. Si Df 2 H 2 < 0 para todo H Rn no nulo, entonces P es un mximo local
estricto.
3. 8 Extremos relativos
75
f (P + H) f (P ) > D2 f (P )H 2 kHk2 ,
b
tic
o
si kHk < . Como D2 f (P )H 2 es una funcin continua ella alcanza un valor mnimo
cuando suponemos que kHk = 1 y este mnimo es estrictamente positivo ya que as
lo es D2 f (P )H 2 por hiptesis. Luego Podemos decir que existe una constante c > 0
tal que
D2 f (P )H 2 ckHk2 ,
para todo H Rn . Luego de (34) podemos concluir
f (P + H) f (P ) > (c )kHk2 .
Sa
A
o
En vista de las proposiciones anteriores, para determinar si un punto es un extremo local hay que estudiar la definicin del signo de D2 f (P ) en los puntos crticos
P . Esto es un problema algebraico que se reduce a calcular ciertos determinantes de
submatrices de la matriz asociada con la forma bilineal simtrica D2 f (P ). La matrix
de la diferencial segunda en la base cannica viene dada por
2f
2f
(P )
(P )
p1 p1
p1 pn
..
..
..
.
.
.
2
2
f
f
(P )
(P )
pn p1
pn pn
y se le denota por Hess(P ) en honor al matemtico alemn Ludwig Otto Hesse. En
trminos de la matrix Hess(P ) el diferencial segundo se obtiene as:
D2 f (P )H 2 = hH, Hess(P )Hi .
Las dos proposiciones que siguen describen la propiedades bsicas de las formas
cuadrticas relacionadas con su definicin de signo, a saber: la ley de inercia y los
criterios algebraicos para detectar la definicin de signo. Estas propiedades se deben
al matemtico ingls J. Sylvester.
76
3.41. Teorema (Ley de Inercia): Sea Q una forma cuadrtica, entonces existe una
base ortonormal {V1 , . . . , Vn } de Rn formada por autovectores de A tal que para
se tiene que
(35)
H = h1 V1 + + hn Vn
b
tic
o
Demostracin: Por induccin en la dimensin del espacio Rn . El caso n = 1 es inmediato ya que Q(h) = h2 . Supongamos entonces que el Teorema vale para n y
veamos que es cierto para n + 1. Sea Q(H) = H t AH definida en Rn+1 y sea Vn+1
el valor mximo de Q en la esfera unitaria S1 (O) en Rn+1 . En virtud del ejemplo
80 este vector es un autovector de A con autovalor asociado n+1 . El subespacio
n-dimensional W = {H Rn+1 : hH, Vn+1 i} es invariante por A, i.e. A(W ) W :
hA(H), Vn+1 i = hH, At Vn+1 i = hH, AVn+1 i = n+1 hH, Vn+1 i = 0
Sa
A
o
3.42. Proposicin: Sea Q(H) = hH, AHi una funcin cuadrtica con A = (ai j )
una matriz simtrica de tamao n. Entonces
1. Q(H) > 0 si y slo ocurre cualquiera de las siguientes condiciones:
los autovalores de A son todos estrictamente positivos;
a11
..
k = det .
ak1
para todo k = 1, . . . , n.
a1k
..
. >0
akk
a11
..
k
k = (1) det .
ak1
para todo k = 1, . . . , n.
a1k
..
. >0
akk
3. 8 Extremos relativos
77
Demostracin: Recordemos del lgebra lineal que una matrix simtrica tiene todos
sus autovalores reales.
1: Sea un autovalor de A asociado a un autovector H. Entonces
0 < Q(H) = hH, AHi = kHk2
Sa
b
tic
o
y esto implica que es positivo. Recprocamente si todos los autovalores son positivos, entonces por el Teorema 3.41 existe una base ortonormal {V1 , . . . , Vn } tal que
para H = (h1 , . . . , hn )
Q(H) = 1 h21 + + n h2n
donde los i son los autovalores de la matrix A y de aqu y la hiptesis de positividad
de los autovalores de A se obtiene entonces la positividad de Q. Para establecer la
positividad de los k , procedemos por induccin en la dimensin n. Para n = 1 Q
es de la forma Q(h) = h2 , luego A = y el criterio se satisface inmediatamente.
Supongamos entonces que lo tenemos demostrado para n y veamos que vale para
n + 1. Sabemos que
det(A) = 1 . . . n+1
con los i autovalores de A. Si estos son todos positivos no tenemos nada que demostrar. Supongamos entonces que este no es el caso, entonces al menos dos autovalores son negativos. En el subespacio Z generado por los autovectores asociados
a estos dos autovalores tenemos que Q es negativa. Ahora consideremos la forma
cuadrtica Qn definida en Rn de la siguiente manera:
Qn (h1 , . . . , hn ) = Q(h1 , . . . , hn , 0),
A
o
1
1
+
x
y
78
1
1
1
+
+
x
y
z
2 +y 2 )
151. Ejercicio. Considere la funcin polinomial f (x, y) = x 2 + y 2 (1 x)3 . Muestre que P = (0, 0)
es un punto de mnimo local, de hecho P es el nico punto crtico. Muestre que P no es un punto
de mnimo. Compare con el caso unidimensional.
b
tic
o
152. Ejercicio. Sea f : D Rn R una funcin escalar y : [a, b] R una funcin creciente con
f (D) I. Demuestre que si f en p tiene un punto extremo relativo, entonces g = f tambin
tiene un extremo relativo en P .
84. Ejemplo (Norma de una transformacin lineal): Como una aplicacin de los teoremas vistos en esta seccin estudiamos el problema de calcular la norma de una
transformacin lineal. Sea pues T : Rn Rn una transformacin lineal. Queremos
calcular kT k. Por definicin
= m
ax {kT (V )k} =
Sa
kT (V )k
kT k = m
ax
kV k
V 6=O
kV k=1
m
ax V t T t T V .
kV k=1
A
o
De aqu vemos que el clculo de la norma kT k se reduce a calcular el valor mximo de una forma
Q(P ) = P t AP
3. 9 Ejercicios adicionales
79
Demostracin: Como f es dos veces diferenciable, la Proposicin 3.7 nos permite concluir que la funcin g(t) = f (P + tV ) es dos veces diferenciable y sus dos
primeras derivadas en t = 0 vienen dadas por
g (0) = Df (P )V
g (0) = V t Hess(P )V .
b
tic
o
Sa
f (P ) = r
P D.
A
o
C = {P D : f (P ) = f (P0 )}.
El conjunto C es claramente no vaco y cerrado, ya que f es continua. Para demostrar que C es abierto, sea P C y tomemos una bola Br (P ) D. Si Q Br (P ) el
Teorema del Valor Medio nos dice
f (Q) f (P ) = Df ()(Q P ) = 0.
Ejercicios adicionales
155. Ejercicio. Responda si las afirmaciones siguientes son verdaderas o falsas. Justifique su respuesta.
Sea f : D Rn R tal que todas la s derivadas parciales existen en el punto P . Entonces
f diferenciable en P .
80
b
tic
o
Sea f : D Rn R tal que las derivadas direccionales existen en cada direccin, entonces
f es diferenciable.
Sea f : D Rn R diferenciable en P . Entonces V DV f (P ) es una transformacin
lineal.
f (x) = |x|3/2 es de clase C 1 .
Si una funcin es de clase C k+1 , entonces es de clase C k .
El resto Rk en el punto P de una funcin f con derivadas hasta orden k + 1 cumple con
Rk (H)
= 0.
H0 kHkk
lm
A
o
Sa
156. Ejercicio. Para las siguientes funciones encuentre dnde est definida la funcin, dnde es
continua, dnde es diferenciable y cul es su diferencial:
q
1. f (x, y) = 1 (x 2 + y 2 );
2. f (x, y) = |1 (x 2 + y 2 + z2 )|;
3
3. f (x, y) = |x 3
y2 |; 2
2
x +y
4. f (x, y) = y e
;
157. Ejercicio. Encuentre el cono tangente TO (f ) de la funciones:
1. f (x, y) = |x| + |y|;
2. f (x, y) = m
ax{|x|, |y|}.
f (P ) con i =
Pi
160. Ejercicio. Si f : Rn R cumple con la propiedad f (tP ) = t m f (P ) (f es una funcin homognea) y adems f es diferenciable, muestre que
Df (P ) = mf (P ).
161. Ejercicio. Sea A = [0, 1] 0 R2 . Definamos f (x, y) = 0 y sea T1 (x, y)h = 0 y T2 (x, y)h =
h2 . Muestre que ambas satisfacen las condiciones de la diferencial en la definicin de diferenciabilidad. Esto muestra por qu se pide que el dominio de definicin en la definicin de diferenciabilidad sea abierto.
3. 9 Ejercicios adicionales
81
b
tic
o
164. Ejercicio. Demuestre que si una funcin convexa f : D Rn R tiene derivadas direccionales
en todas las direcciones en un punto dado, entonces f es diferenciable en ese punto.
165. Ejercicio. Muestre que en el ejercicio anterior basta que existan todas las derivadas parciales.
Siga los siguientes pasos:
1. Demuestre que existen la derivadas direccionales positivas:
DV+ f (P ) = lm+
t0
f (P + tV ) f (P )
.
t
+
DV++W f (P ) DV+ f (P ) + DW
f (P ).
3. El conjunto
es un subespacio de Rn .
Sa
+
X = {V : DV f (P )} = {V : DV+ f (P ) = DV
f (P )}
A
o
166. Ejercicio. Demuestre que el conjunto de puntos de mnimo local de una funcin convexa
forman un conjunto convexo (posiblemente vaco). Todos los puntos de mnimo local son puntos
de mnimo global.
167. Ejercicio. Muestre que
f (x, y) =
x2 y
x 4 +y 2
si (x, y) (0, 0)
si (x, y) = (0, 0)
82
b
tic
o
175. Ejercicio. Demuestre que si una funcin f que es de clase C 1 , entonces para cada subconjunto
compacto A del dominio de f resulta que la rectriccin de f al conjunto A es una funcin Lipchitz.
176. Ejercicio. Demuestre que la funcin f (x) = |x|r + es de clase C r , pero no de clase C r +1 si
(0, 1).
177. Ejercicio. Calcule
Sa
178. Ejercicio. De qu grado hay que tomar el polinomio de Taylor para calcular 2 con un error
menor a 104 ?
Encuentre el polinomio de Taylor de grado 3 de la funcin f (x, y, z) = xyz en los puntos P =
(0, 0, 0) y Q = (1, 1, 1).
A
o
1 ex y
= 1
(x,y)(0,0) sen(x y)
Considere la funcin f (x, y) definida como:
2
2
xy x y
si (x, y) (0, 0)
2
x + y2
f (x, y) =
0
si (x, y) = (0, 0).
lm
1. f (x, y) = (x 2 + y 2 )e(x +y ) .
2. f (x, y) = cos(x.y) + sen(xy).
x
y
z
3. f (x, y, z) =
+
+ .
y
z
x
1
4. f ((x, y, z) =
.
1 xyz
3. 9 Ejercicios adicionales
183. Ejercicio. Encuentre los puntos crticos de la funcin
a
c
b
d
83
!
det
a
c
b
d
. Son puntos
de mximo (mnimo)?
184. Ejercicio. Sea D Rn un conjunto abierto tal que D es un conjunto compacto. Sea f : D R
continua y diferenciable en D. Demuestre la generalizacin del Teorema de Rolle: Si f es constante
en la frontera de D, entonces existe un punto P D tal que Df (P ) = 0.
185. Ejercicio. Demuestre que el el caso n = 1 una funcin diferenciable que tiene dos mnimos
globales tiene al menos un punto de mximo local.
186. Ejercicio. (Jones) Considere la funcin
b
tic
o
f (x, y) = (x 2 1)2 + (x 2 ey )2
A
o
Sa
en R2 . Demuestre que los puntos crticos de esta funcin son (1, 0) y (1, 0) y que ah f tiene
puntos de mnimos globales. Observe que no hay puntos de mximo! Compare con el ejercicio
anterior.
A
o
Sa
b
tic
o
b
tic
o
Diferenciabilidad
Sa
La diferenciabilidad de una funcin vectorial es presentada en trminos de la diferenciabilidad de sus funciones componentes. Se presentan las propiedades que se
derivan del caso escalar y dos teoremas que marcan una diferencia con el caso unidimensional como es el Teorema de la Funcin Implcita y el Teorema de la Funcin
Inversa. Se estudian tambin los extremos condicionados de una funcin escalar.
A
o
85
86
b
tic
o
lm
85. Ejemplo: La funcin constante es diferenciable y su diferencial en cualquier punto es la transformacin lineal nula.
Sa
A
o
F1
! p1 (P )
Fi
..
..
(P ) =
.
.
pj
Fm
(P )
p1
F1
(P )
pn
..
.
.
Fm
(P )
pn
F1 (t0 )
..
.
Fn (t0 )
4. 2 Regla de la Cadena
87
b
tic
o
91. Ejemplo: Sea F (x, y) = (cos(x), sen(x), y), esta funcin es diferenciable en todo punto y su matrix Jacobiana es de tamao 3 por 2:
F1
F1
sen(x) 0
(x,
y)
(x,
y)
y
x
F2
F
2
=
cos(x)
0
(x,
y)
(x,
y)
F3
F3
(x, y)
(x, y)
0
1
x
y
Sa
A
o
Regla de la Cadena
Una propiedad que no se sigue de manera inmediata de las propiedades diferenciales de funciones escalares es la regla de la cadena. Para funciones de una variable
variable ella dice que la composicin h = f g de dos funciones diferenciables f y
g es diferenciable y su derivada se calcula mediante la siguiente frmula
h (x) = f (g(x)) g (x).
La cual aparece por primera vez en un trabajo del matemtico alemn Gottfried Wilhelm Leibniz, de hecho la notacin se debe al referido matemtico. La generalizacin
viene dada en la siguiente proposicin.
88
(37)
b
tic
o
donde
e =0
lm R1 /kHk
e
H0
lm R2 /kHk = 0,
H0
Sa
e G(F (P ))
= G(F (P )) + DG(F (P ))(DF (P )(H) + R2 (H)) + R1 (H)
e
= DG(F (P ))(DF (P )(H) + R2 (H)) + R1 (H)
A
o
e
= DG(F (P ))(DF (P )(H)) + DG(F (P ))(R2 (H)) + R1 (H).
DG(F (P ))(R2 (H))
R2 (H)
lm
= DG(F (P )) lm
=0
H0
H0 kHk
kHk
e suficientemente pequeo vale la
por la continuidad de DG(F (P )) y como para H
desigualdad
e kDF (P )(H)k + kR2 (H)k MkHk,
kHk
donde M es una constante positiva, obtenemos que
e
R1 (H)
= 0.
H0 kHk
lm
4. 2 Regla de la Cadena
89
m
X
Hi
Gi
Fk
(P ) =
(F (P ))
(P )
pj
qk
pj
k=1
(38)
b
tic
o
93. Ejemplo: Sea : (a, b) Rm diferenciable en t = c y f : D Rm R diferenciable en P = (c). Sea h(t) = f , esta funcin es diferenciable en t = c
y
Dh(c) = Df ((c)).D(c),
de donde se desprende que
Sa
h
q1 (P )
..
=
h
(P )
qn
A
o
f
(G(P ))
p1
G1
(P )
!
q1
f
..
..
(G(P )
.
.
pn
Gn
(P )
q1
G1
(P )
qn
..
,
.
Gn
(P )
qn
h
f
G1
f
Gn
(P ) =
(G(P ))
(P ) + +
(G(P ))
(P ).
qi
p1
qi
pn
qi
188. Ejercicio. Calcule la diferencial de h = f , donde f : D Rm R es diferenciable en P y
: (a, b) R R es diferenciable en f (P ).
189. Ejercicio. Calcule la derivada de la funcin h : t h(t), (t)i donde , : (a, b) R Rn
son diferenciables.
190. Ejercicio. Calcule la diferencial de la funcin h : t (t) (t) donde , : (a, b) R R3
son diferenciables. es el producto vectorial de dos vectores.
90
f2 (P )
,
f4 (P )
La regla de la cadena nos permite generalizar el Teorema del Valor Medio a funciones vectoriales.
b
tic
o
Sa
A
o
91
diferenciable en (a, b) y tal que f (a) = f (b) existe un c (a, b) tal que f (c) =
0. Una generalizacin para funciones escalares est propuesta en el ejercicio ? del
captulo 3. Infelizmente este teorema no se puede generalizar a funciones vectoriales
con el enunciado natural.
95. Ejemplo: Considere la funcin
F (x, y) = (x(x 2 + y 2 1), y((x 2 + y 2 1))),
b
tic
o
Hasta el momento no se conoce una generalizacin satisfactoria para este teorema, vea [4] y la bibliografa contenida en l.
Sa
Al igual que para funciones escalares, definimos la derivada parcial de una funcin F Rn Rm de la siguiente manera:
!
F
F1
Fn
(39)
(P ) =
(P ), . . . ,
(P ) .
pi
pi
pi
A
o
F
=
,
pi1 . . . pim1
pi1
pim1
son funciones diferenciables en el punto P .
Si F es k-veces diferenciable en cada punto del dominio D decimos que es diferenciable en D.
El siguiente lema queda como un ejercicio para el lector.
92
}|
{
z
veces diferenciable como una funcin multilineal: Dk F (P ) : Rn Rn Rm que
acta de la siguiente manera:
b
tic
o
Dk F (P )(H1 , . . . , Hk ) = Dk F1 (P )(H1 , . . . , Hk ), . . . , Dk Fm (P )(H1 , . . . , Hk ).
194. Ejercicio. Calcule los tres primeros diferenciales de la funcin F (x, y) = (x 2 y 2 , 2x y).
lm
Sa
HO
Rk (H)
= 0.
kHkk
A
o
lm
HO
F (P + H) Pk (H)
= 0.
kHkk
196. Ejercicio. Suponiendo que F es k + 1-veces diferenciable, es posible encontrar una frmula
para el resto Rk (H) como se hizo en el caso de funciones escalares?
93
Demostracin: Por induccin en k. Supongamos que k = 1. Sabemos que H es diferenciable y de (38) obtenemos que sus derivadas parciales vienen dadas por
(41)
H
F
= DG(F (P ))
,
pi
pi
b
tic
o
las cuales son continuas en virtud de que tanto F como G son de clase C 1 . Ahora,
supongamos que la proposicin vale para k y veamos que vale para k + 1. De la frmula (41) vemos que las derivadas parciales es una suma de productos de funciones
de clase C k , i.e.,
G
G
(F (P )) y
(P ),
pi
pi
por la hiptesis de induccin. Luego ella estas derivadas parciales son de clase C k .
Sa
A
o
F H = IdF (V ) .
94
F
Br (O)
r
b
tic
o
r+
r =(1)r
r+ =(1+)r
A
o
Sa
95
kDG()kkP k r ,
y de aqu obtenemos
kG(P )| kQk + r r .
b
tic
o
y por tanto, al ser G una contraccin, existe un nico punto P Br (O) tal
que G(P ) = P o lo que es lo mismo F (P ) = Q.
2 Consideramos primero la inclusin: F (Cr ) C(1+n )r . Como en el caso anterior
sea G(P ) = F (P ) P . Entonces el Teorema del Valor Medio implica que, conjuntamente con la hiptesis, que
|Fi (P ) Pi | = |Gi (P )| = |DGi ()(P )| kP k,
Sa
luego
|Fi (P )| nr + |Pi | (1 + n ) r
A
o
donde Q C(1)r .
G(P ) = P F (P ) + Q
G(Cr ) Cr : ya que
y de aqu obtenemos
|Gi (P )| |Qi | + n r r .
y por tanto, al ser G una contraccin, existe un nico punto P Cr tal que
G(P ) = P o F (P ) = Q.
96
b
tic
o
que cumple con G(R) = P donde P es tal que F (P ) = R y por tanto cumple con F G =
IdB(1)r (O) . Tambin la funcin G cumple con G F | = Id en Br (O) G(B(1)r (O))
: esto se sigue si demostramos que F es inyectiva. Pero por el Teorema del Valor
Medio tenemos
kF (P ) F (Q) (P Q)k kP Qk,
kF (P ) F (Q)k (1 )k(P Q)k,
Sa
lm
HO
A
o
kG(H) Hk = kF (P ) P k kP k .
kF (P )k =
kHk.
(1 )
(1 )
97
x + x 2 sen 1
x
f (x) = 2
si x 6= 0
si x = 0.
1
2 n
b
tic
o
cos
,
f (x) = + 2 x sen
2
x
x
1
1
cos(2 n) = (1)n .
2
2
Sa
A
o
Inyectividad Global
Una vez obtenida la condicin sobre la funcin F para que sea localmente inyectiva, nos preguntamos que ms hay que pedir para obtener inyectividad en todo el
dominio de F y ms an para obtener que F sea un difeomorfismo sobre su imagen.
Existen varias condiciones, expondremos en lo que sigue dos de ellas. La primera es
de carcter topolgico y se debe a los matemticos polacos S. Banach y S. Mazur.
Pero antes, exponemos un lema que nos dice que bajo las condiciones topolgicas
anunciadas el mapa es un revestimiento finito.
98
Sa
b
tic
o
A
o
99
1 1
nf kDF (P )
0 kP kr
Zs
b
tic
o
(42)
dr = lm
nf kDF (P )1 k1 dr = .
0 kP kr
Sa
A
o
Zb
0
k (u)kdu
Z (0)+l(b)
k(0)k
nf kDF (P )1 k1 du.
kP ku
1
k (t)k.
kQkr (t) kDF (Q)k
nf
100
0 kP kr
b
tic
o
Sa
s1
A
o
nf
kF (P )k
(t)dt
du.
kQku kDF (Q)1 k
0
k(0)k
De aqu vemos que no puede existir una sucesin Pn tal que kPn k y tal que
la sucesin kF (Pn k es una sucesin acotada. Ya que en ese caso tendramos que la
longitud l(n ) debera estar acotada, donde n es la curva que cumple F (n ) = n y
donde podemos asumir, por construccin, que todas las curvas n tienen el mismo
valor en t = 0, i.e., ( 0) = P0 . Pero la distancia entre sus extremos kn (0) n (1)k =
kP0 Pn k no est acotada, lo que es una contradiccin. Luego F es una aplicacin
propia.
203. Ejercicio. Demuestre directamente el Teorema de Hadamard en el caso n = 1.
S = F 1 (O)
101
Rm
F
Gr af (G) -
Z0
O
P0
b
tic
o
Rn
Sa
A
o
En esta seccin abordamos el problema de despejar una funcin dada implcitamente por el conjunto de ceros de otra funcin. Este problema fue encarado por
varios matemticos desde el siglo XVII (Descartes, Leibniz, Johann Bernoulli, Euler).
Slo hasta los finales de los setenta del siglo XIX es que el matemtico italiano U.
Dini proporciona una demostracin correcta de este resultado. Veamos su contexto.
Sea F : D Rn+m Rm de clase C k . Los puntos de Rn+m los escribimos de la
siguiente manera Z = (P , Q) con P Rn y Q Rm .
4.22. Definicin: Sea Z0 = (P0 , Q0 ) tal que F (P , Q) = O. Decimos que la funcin
G : V Rn Rm definida en un entorno V de P0 viene dada implcitamente por
la relacin F (Z) = O entorno del punto P0 si:
i) G(P0 ) = Q0 ;
ii) para todo P V se cumple la igualdad
F (P , G(P )) = O.
102
Esta definicin nos dice adems que el grfico de la funcin G est incluido en el
conjunto de ceros de la funcin F , como se ilustra en la figura anterior.
b
tic
o
entorno del punto x = 0. Igualmente la funcin g(x) = 1 x 2 viene dada implcitamente por F entorno de x = 0.
98. Ejemplo: La funcin f (x, y) = 1 x y viene dada implcitamente por
F (x, y, z) = z + x + y 1.
Sa
A
o
D(Q F (P , Q))(R, S) =
F
(R, S).
Q
Esta es la condicin buscada. Y el teorema que nos dice que esta condicin es suficiente para obtener una funcin implcita es obviamente el Teorema de la Funcin
Implcita que ahora pasamos a enunciar.
103
b
tic
o
.
Q
P
3. H es nica en V .
Sa
In
0
DG(P0 , Q0 ) =
,
F
Q (P0 , Q0 )
A
o
F
(P0 , Q0 ) 0.
Q
Luego aplicando el Teorema de la Funcin Inversa a G en el punto (P0 , Q0 ), obtenemos una funcin G1 de clase C k tal que G G1 = ID y G1 G = Id en entornos de
los puntos (P0 , O) y(P0 , Q0 ) respectivamente. Por la forma que tiene G se sigue que
G1 (R, S) = (R, L(R, S)).
F (P , H(P )) = 0.
2: La frmula para la diferencial de H se sigue de aplicar la regla de la cadena a la
ecuacin F (P , H(P )) = 0.
104
H2 (x, y) =
b
tic
o
100. Ejemplo: Sea F (x, y) = x 2 + y 2 1,en conjunto V = (1, 0) (0, 1) las dos
funciones
p
H1 (x, y) = 1 x 2 ,
1 x2
1 x2
si x (0, 1)
si x (1, 0)
Sa
205. Ejercicio. Demuestre que una funcin H de clase C k que satisface la ecuacin F (P , H(P )) = O,
es nica si el dominio de H es conexo.
A
o
105
donde es la permutacin de {1, 2, . . . , n} tal que (s) = is . Esta funcin esta defie = (qi1 , . . . . . . , qin ). Si T (W ) = (w 1 (i1 ) , . . . , w 1 (in) )
nida en un entorno del punto Q
e y Z de la funcin G estn relacionaentonces el conjunto de ceros Ze de la funcin G
dos por
Ahora
e
G
e =
(Q)
Y
b
tic
o
e = Z.
T (Z)
!
G
G
(Q)
(Q)
pinm+1
pin
Sa
A
o
En el captulo anterior definimos punto crtico de una funcin escalar como aquel
donde su diferencial se anulaba. En el contexto de funciones vectoriales la definicin
es como sigue.
4.25. Definicin: Sea F : D Rn Rm una funcin diferenciable en el punto
P D. Decimos que P es un punto crtico de F si n < m o en caso contrario
det(DF (P )) = 0.
106
b
tic
o
Este conjunto alrededor del punto crtico (0, 0) no se puede escribir como el grfico
de una funcin definida en uno de los ejes coordenados.
Sa
El conjunto de valores regulares de una funcin es un conjunto abierto (posiblemente vaco) como se sigue rpidamente de la definicin de punto regular.
Extremos Condicionados
A
o
4. 6 Extremos Condicionados
107
b
tic
o
A
o
Sa
d
d
f ((t)) =< f ((t)),
(t) >
dt
dt
y evaluando en t = 0, obtenemos el resultado. De la misma manera se obtiene que
< Gi (P ), V >= 0 para todo i = 1, . . . , m. Como el ncleo de DG(P ) tiene dimensin
n m y los vectores Gi (P ) son linealmente independientes ellos forman una base
del complemento ortogonal del ncleo de DG(P ). Al estar f (P ) es ese complemento ortogonal, obligatoriamente tiene que ser una combinacin lineal de los vectores
Gi (P ) que es lo que se quera demostrar.
0=
108
(43)
Sea
b
tic
o
Entonces:
1. Si f |S tiene un punto de mnimo (mximo) local en el punto P , entonces
Sa
D2 H(P )V 2 0( 0),
A
o
4. 6 Extremos Condicionados
109
D2 f (R0 )V 2 = D2 H(P )(D(R0 )(V ))2 . Para ver la validez de esta igualdad comenzamos por observar la regla de la cadena implica:
fe
(R) = Dfe(R)(Ei )
ri
= DH((R))(D(R)(Ei )
n
X
H
l
=
((R))
(R).
pl
ri
l=1
b
tic
o
Sa
n
X
2 fe
2H
s
s
(R0 ) =
(P )
(R0 )
(R0 ),
rj ri
ps pl
ri
ri
l,s=1
A
o
1
1
+ = 1.
p q
Sea
xp
xq
+
,
p
q
y g(x, y) = xy 1. Encontraremos el mnimo de f sujeto a la condicin g(x, y) = 1.
Para esto, encontremos primero los candidatos a puntos extremos usando el Teorema de los Multiplicadores de Lagrange. Tenemos que resolver el sistema de ecuaciones
=1
xy
f (x, y) =
x p1
y q1
= y
= x
110
Usando la condicin (209), un poco de algebra nos da que la solucin del sistema
viene dada por x = y = = 1. Para chequear que este es un punto mnimo usamos
la Proposicin 4.29. Entonces
H(x, y) = f (x, y) g(x, y),
y su matriz Hessiana viene dada por
Hess(H)(x, y) =
(p 1)x p2
1
1
(q 1)y q2
b
tic
o
!
(p 1)
1
.
1
(q 1)
Sa
A
o
209. Ejercicio. Como aplicacin del ejercicio anterior demuestre la desigualdad de Young: para
todo a, b > 0 vale
ap
bq
ab
+
.
p
q
210. Ejercicio. a) Encuentre el mximo de la funcin
f (x1 , . . . , xn ) = (x1 . . . xn )2 ,
sujeto a la condicin
2
x12 + + xn
= 1.
a1 + + an
.
n
4. 7 Ejercicios adicionales
111
b
tic
o
Ejercicios adicionales
A
o
Sa
211. Ejercicio. Responda si las afirmaciones siguientes son verdaderas o falsas. Justifique su respuesta.
Sea F : D Rn Rn diferenciable y DF (P ) es in isomorfismo para todo P D, entonces
F es un difeomorfismo diferenciable sobre su imagen.
El conjunto de ceros de una funcin de F clase C 1 siempre es el grfico de una funcin.
El nmero de multiplicadores de Lagrange en un problema de extremos condicionados es
igual al nmero de restricciones impuestas en el problema.
El nmero de multiplicadores de Lagrange con restricciones dada por la funcin G es la
dimensin del ncleo de la transformacin DG(P ).
212. Ejercicio. Calcule el diferencial segundo de F (x, y) = (x 2 y 2 , 2xy). Cul es su diferencial
tercero?
213. Ejercicio. Demuestre que si F es un homeomorfismo diferenciable en un entorno de un punto
P y DF (Q) es un isomorfismo en un entorno de P entonces la funcin inversa es diferenciable en
un entorno de F (P ).
214. Ejercicio. Sea F una funcin que est definida en un entorno de P = O y es de clase C 2 .
Supongamos que F (O) = O yDF (0) = Id. Encuentre el desarrollo de Taylor de orden 2 de F 1 .
112
215. Ejercicio. Sea F : R3 R una funcin de clase C 1 . Suponga que las derivadas parciales son no
nulas. Demuestre la igualdad
x y z
= 1.
y z x
216. Ejercicio. Encuentre la distancia entre dos rectas que no se intersectan.
217. Ejercicio. Sea S = G1 (O) donde G : D Rn Rm (m < n) es una funcin de clase C 1 tal
que el rango de DG(P ) con P S es m. Sea Q Rn \ S. Considere la funcin f (P ) = kP Qk
restringida a S.
b
tic
o
Sa
219. Ejercicio. Encuentre la distancia entre el circulo de radio r con centro en el punto O y la recta
x y = R.
220. Ejercicio. Describa un procedimiento para calcular la distancia entre un esfera y un plano que
no la toca.
A
o
221. Ejercicio. Describa un procedimiento para calcular la distancia entre dos planos que no se
tocan.
222. Ejercicio. Describa un procedimiento para calcular la distancia entre un plano y una recta que
no se tocan.
223. Ejercicio. Considere una forma cuadrtica f (P ) = hP , A(P )i donde A es una matriz simtrica
de tamao n. Demuestre que el valor mximo (mnimo) obtenido por F en la esfera unitaria es
el autovalor ms grande ( pequeo ) de la matriz A. Recuerde que los autovalores de una matriz
simtrica son todos reales.
224. Ejercicio. Encuentre el mximo y el mnimo de la funcin definida en R4 :
f (P ) = (p1 + p2 + p3 )(p1 + p2 + p4 ),
restringida a la esfera unitaria.
225. Ejercicio. Encuentre el rectngulo inscrito en la elipse
Existe uno que minimize el rea?
x2
y2
+
= 1, que maximiza su rea.
a2
b2
4. 7 Ejercicios adicionales
113
A
o
Sa
b
tic
o
228. Ejercicio. Encuentre los puntos extremos de f (x, y, z) = xyz sujeto a la restriccin x2 +
y2 + z2 = 1 and xy + yz + zx = 1.
A
o
Sa
b
tic
o
b
tic
o
Integracin de Riemann
Sa
En captulo este presentamos la teora de integracin de Riemann en varias variables. Esta teora tiene su origen en la necesidad de obtener un procedimiento
para calcular reas de figuras acotadas por grficas de funciones. Las primera definicin de la integral fue dada por A. Cauchy y esta funcionaba bien para funciones
continuas con un conjunto finito de discontinuidades. Luego el matemtico alemn
Bernhard Riemann propuso una definicin que cubra un conjunto ms amplio de
funciones, en particular aquellas con un nmero infinito de discontinuidades. Esta
definicin es la que vamos a explorar en este captulo conjuntamente con sus propiedades.
Particiones
A
o
n
Y
[ai , bi ].
116
5. Integracin de Riemann
que solamente se cortan en el borde, cuya unin es todo el conjunto U y los vrtices de los subrectngulos o son vrtices de U o son vrtices comunes a dos o ms
subrectngulos de la descomposicin. De la misma manera una descomposicin de
U como la anterior origina a su vez una particin P que da lugar a la descomposicin de partida, para ver esto basta tomar los vrtices de los subrectngulos de la
descomposicin. Por tanto a lo largo del texto P tambin denotar la coleccin de
subrectngulos C originados por P de manera que
[
U=
C.
CP
b
tic
o
ym2 =b2
..
.
y2
a3
a2 =y0
a1 =x0 x1 x2
Sa
y1
zk+1
zk
b3
ym2 1
xi a1
xi+1
b1
a2 yj
yj+1
b2
A
o
con n N, son particiones de I = [0, 1]. Luego ambas forman una particin de
U = [0, 1] [0, 1], i.e., P = P1 P2 es una particin de U.
En lo que sigue queremos medir cun pequea es una particin. Esto lo hacemos
con la norma de una particin.
5.2. Definicin: Sea P = i Pi una particin del rectngulo U = i [ai , bi ] Rn . La
norma de P es el nmero:
kPk = m
axi {kPi k},
donde kPi k es:
i
kPi k = m
ax{|pli pl1
|}.
l
5. 2 Sumas de Riemann
117
Observemos que este nmero lo que mide es cun pequeos son los lados de
los subrectngulos que forman la particin y por ende cun pequeos son estos
subrectngulos.
Tambin queremos comparar dos particiones dadas de tal manera que podamos
decir si una es ms pequea que otra. Esto lo haremos de dos maneras que describimos a seguir.
b
tic
o
con n 5. Entonces P1 P2 y P1 P2 .
Sa
A
o
Sumas de Riemann
A cada rectngulo U = n
1 [ai , bi ] le asignamos un nmero
(U) = i (bi ai ),
118
5. Integracin de Riemann
Qn
5.4. Lema: Si el rectngulo U = i=1 [ai , bi ] es la unin de los subrectngulos
{Us }ls=1 tal que int(Uk int(Uj ) = para cualesquiera dos subrectngulos Uk y
Uj , entonces
l
X
(U) =
(Us )
s=1
Sl
s=1
= bi
b
tic
o
Demostracin: Sea U =
1 k mi
con
y observemos que la longitud del lado i-simo del rectngulo Us es la suma de algul
nos ki . Sea is la longitud del lado i-simo del rectngulo Us . Lo que tenemos que
demostrar es la igualdad
(U) =
(bi ai ) =
i=1
n mX
i 1
Y
Sa
(45)
n
Y
ki
i=1 k=1
l Y
n
X
l
is
s=1 i=1
l
X
s=1
(Us ).
A
o
Para obtener la tercera igualdad en (45) comenzamos por el lado izquierdo tol
l
mando 11 en la primera entrada, luego localizando en la segunda 21 y as sucesivaQn
l
mente hasta llegar al producto i=1 i1 . De esta manera agrupamos los trminos en
el producto de la izquierda y el resultado es la suma de la derecha.
n
Sea f una funcin definida en un rectngulo U = n
1 [ai , bi ] de R , en R.
f ( C )(C).
CP
5. 3 Integral de Riemann
119
- Gr af f
b
tic
o
( C ,f ( C ))
Sa
Integral de Riemann
A
o
(46)
Cuando existe R decimos que f es integrable Riemann o Rintegrable a secas. Cuando f es Rintegrable denotamos la integral de f en U por U f . Si n = 2, es usual
denotar U f por
ZZ
ZZ
f (x, y)dx dy
U
ZZ
120
5. Integracin de Riemann
Los smbolos dx dy y d(x, y), no tienen ningn significado, excepto por recordar
cuales son las variables dependientes sobre las que se est integrando. De la misma
manera cuando n = 3 se usa
ZZZ
ZZZ
ZZZ
f o
f (x, y, z)dx dy dz o
f (x, y, z)d(x, y, z).
U
b
tic
o
108. Ejemplo:
La funcin constante f (P ) = c con P Rn es integrable en U y su
R
integral es f = c(U). Ya que para cualquier particin P de U se tiene
X
X
S(f , P, ) =
f ( C )(C) = c
(C) = c(U),
CP
CP
entonces la diferencia entre la suma de Riemann y c(U) es nula. Luego para todo
> 0 basta tomar cualquier > 0 para que se cumpla (46).
Sa
A
o
X
ij
=(d c)
n
X
1
x i (xi xi1 ) +
n
X
1
n
n
X
X
1
2
= (d c)
x 2 xi1
+ (xi x i )(xi xi1 )
2 1 i
1
n
X
1
= (d c) (b2 a2 ) + (xi x i )(xi xi1 ) .
2
1
5. 3 Integral de Riemann
121
n
X
S(f , P, ) 1 (b2 a2 )(d c) <(d c)
i
i |xi xi1 |
2
1
<(d c)
n
X
1
|xi xi1 |2
< (d c)kPk.
=
para obtener que
S(f , P, )
|i |
b
tic
o
n
X
2(b a)(d c)
1 2
(b a2 ) cuando
2
kPk 0.
Sa
231. Ejercicio. Demuestre que f (x, y) = x 2 es integrable Riemann en U = [a, b] [c, d] y calcule
su integral.
A
o
122
5. Integracin de Riemann
f = 1.
b
tic
o
Sa
Pero esto no puede ser, ya que si consideramos una particin P con kPk < mn{! , 2 },
su suma de Riemann S(f , P, ) para alguna eleccin , dista menos de tanto de R1
como de R2 , esto es imposible por la eleccin que se hizo de . Esto es as porque:
A
o
|R1 R2 | S(f , P, ) R1 + S(f , P, ) R2 < 2.
Lo que es una contradiccin.
Las siguientes propiedades nos dicen que las funciones integrables Riemann son
funciones acotadas y que la operacin de integracin es una operacin lineal respecto de la suma y multiplicacin por escalar de funciones.
5.9. Proposicin: Valen las siguientes propiedades:
1. Si f es integrable en U, entonces f es acotada.
2. Si f , g son integrables en U, entonces la suma f + g es integrable en U y:
Z
Z
Z
(f + g) =
f+
g.
U
f 0.
123
Demostracin: Comenzamos con el item 1: Supongamos que f no es acotada. Entonces existe una sucesin de puntos {Pn } en U tal que |f (Pn )| > n. Como U es
compacto, existe una subsucesin Pni de Pn que converge a P0 U. Sea R el valor de
la integral y = 1, entonces existe un tal que toda particin P de U con kPk <
cumple con
R 1 < S(f , P, ) < R + 1,
BP
b
tic
o
para cualquier eleccin = {B }BP asociada con P. Fijemos una particin P cumpliendo lo dicho anteriormente y de tal manera que el rectngulo C de ella que
contenga a P0 contenga tambin a infinitos Pni . Entonces tenemos que
X
R1<
f ( B )m(B) + f (C )m(C) < R + 1.
Si tomamos elecciones que asuman un valor fijo en B C y que en C tomen los
valores Pni , encontramos que el trmino central de la desigualdad anterior es no
acotado, lo que es una contradiccin.
2: Sea > 0 dado. Al ser f y g integrables, tenemos que existe:
Sa
1. f > 0 tal que para toda particin P de U con kPk < f se cumple que
Z
S(f , P, )
f
< /2;
U
2. g > 0 tal que para toda particin P de U con kPk < g se cumple que
Z
S(g, P, )
g
< /2.
A
o
Si tomamos = mn{f , g } , entonces para toda particin P de U tal que kPk <
y toda eleccin asociada con P ocurre que:
Z
Z
Z
Z
S(f + g, P, )
f
g
=
S(f
,
P,
)
f
+
S(g,
P,
)
g
U
U
U
U
Z
Z
< S(f , P, )
f + S(g, P, )
g
U
Luego
f +g =
f+
</2 + /2 = .
g.
124
5. Integracin de Riemann
b
tic
o
i S(f , P , ) M
n
X
1
i = M(b a).
Sa
n
X
A
o
Para saber cuando ua funcin f es integrable RiemannR usando la definicin necesitamos obligatoriamente conocer el valor de la integral U f . Usualmente este no
es el caso. El criterio de Integrabilidad de Riemann nos permite chequear que una
funcin es integrable sin conocer el valor de la integral.
Si f : U R es integrable Riemann en el rectngulo U, entonces ella es acotada.
Esto nos permite definir la suma superior y la suma inferior de Riemann.
5.11. Definicin: Sea P una particin de U. Entonces la suma superior de Riemann
de f es:
SM (f , P) =
sup{f (P )} (C),
CP P C
P C
Observemos que esta sumas estn bien definidas luego que sabemos que f est
acotada. Se sigue rpidamente de la definicin que valen las siguientes desigualdades:
(47)
Sm (f , P) S(f , P, ) SM (f , P),
125
b
tic
o
f (C,M ) nf {f (P )} <
y sup{f (P )} f (C,m ) <
,
P C
4(C)
4(C)
P C
que existen por la definicin del nfimo y del supremo de un conjunto. Entonces
(48)
SM (f , P) Sm (f , P) /2 +
R
CP
f (C,m ) f (C,M ) (C)
Sa
Por ser integrable, poniendo R = U f , dado un /4 > 0, existe un tal que para toda
particin P de U con kPk < se tiene que
S(f , P, ) R /4,
A
o
SM (f , P) Sm (f , P) < + + <
2 4 4
Esto demuestra la suficiencia.
Sm (f , P) < S(P, ) y
R < SM (f , P),
S(P, ) R < SM Sm < .
126
5. Integracin de Riemann
234. Ejercicio. Demuestre que f es integrable Riemann si y slo si f es una funcin acotada y
lm S(f , Pn , n ) = R
n
para cualquier sucesin de particiones Pn y elecciones n asociadas a estas particiones que cumplan con lmn kPn k = 0.
235. Ejercicio. Demuestre que si f y g son integrables Riemann en el rectngulo U, entonces
h = f g es integrable Riemann en U. (Sug. Trate primero el caso f = g).
b
tic
o
236. Ejercicio. Demuestre que si f es integrable Riemann en el rectngulo U y f (P ) > c > 0 para
todo punto P U, entonces h = 1/f tambin es integrable Riemann.
237. Ejercicio. Demuestre que si f y g son integrables Riemann en el rectngulo U, entonces
h(P ) = f (P )g(P ) g es integrable Riemann en U si f (P ) > c > 0.
238. Ejercicio. Si f y g son integrables Riemann en el rectngulo U, qu se puede decir sobre la
integrabilidad de m
ax{f , g} y mn{f , g}?
Sa
Como consecuencia del Criterio de Integrabilidad de Riemann obtenemos las siguientes propiedades adicionales de la integral. La propiedad que sigue se puede
entender como la aditividad de la integral de Riemann respecto del dominio U.
A
o
U1
U2
127
vale > 0. Esto implica la igualdad. Sea pues, > 0 dado. Por la integrabilidad de
f tanto en U como en U1 y U2 , existe un > 0 tal que:
1. Si PU es particin de U con kPU k < se tiene que
Z
S(PU , U )
f
< /3;
U
b
tic
o
y
3. Si PU2 es particin de U2 con kPU2 k < se tiene que
Z
S(PU2 , U2 )
f < /3.
U2
Luego si tomamos una particin P de U que sea de la forma P = PU1 PU2 y que
tenga kPk < obtenemos:
Sa
(49)
Z
Z
Z
Z
Z
f
f
f < S(P, )
f + S(PU1 , U1 )
f
U
U1
U2
U
U1
Z
+ S(PU2 , U2 )
f
U2
A
o
<3(/3) = ,
128
5. Integracin de Riemann
P C
Luego
X
CP
b
tic
o
SM (f , P) Sm (f , P) =
f =
CP
1
.
3
242. Ejercicio. Demuestre que la definicin de Cauchy, en la Observacin (5.7), de la integral coincide con la definicin dada por Riemann.
Sa
Una consecuencia de la integrabilidad de las funciones continuas y de la propiedad 5.10 es el siguiente Teorema del Valor Medio para integrales.
A
o
Teorema de Fubini
5. 6 Teorema de Fubini
Gr af f
Gr af fP
U1
U2
Gr af fQ
b
tic
o
129
Rnk
Sea pues f una funcin integrable definida en un rectngulo U Rn . Supongamos que U = U1 U2 donde U1 Rk y U2 Rnk son rectngulos. A los puntos de
U Rn los denotamos por Z = (P , Q). El contexto del Teorema est descrito en la
figura anterior.
A
o
Sa
U1
U2
U2
U1
Cj P2
Cj
Cj P2
Esto implica que mi > Cj P2 mij (Cj ). Multiplicando ambos lados por (Ci ) y
sumando en los subrectngulos de P1 obtenemos
130
5. Integracin de Riemann
Sm (f , P) =
Cij P
Ci P1
mi (Ci ) = Sm (F , P1 ).
b
tic
o
(51)
f =
Z bn Z bn1
an
an1
A
o
Sa
f (P )dp1
dpn1 dpn .
Ya hemos observado que la continuidad de f nos garantiza la validez de la hiptesis del Teorema de Fubini. Infelizmente, la integrabilidad de la funcin f en U no
es suficiente para la validez del teorema como lo muestra el siguiente ejemplo.
111. Ejemplo: Consideremos la siguiente funcin definida en [0, 1] [0, 1]:
0
f (x, y) =
1
m k
si (x, y) =
,
con m, n primos relativos.
n
n s
R
Esta funcin es integrable Riemann con U f = 0. Sea > 0 dado. Sea N un entero
tal que 1/N < /2. Tomemos > 0 suficientemente pequeo de manera que los
subrectngulos de una particin P, con kPk < , que contienen los puntos (p/q, y)
con q N tienen rea menor que /2. Denotemos este conjunto de subrectngulos
por S1 . Y por S2 los restantes. Observando que |f (P )| < 1, entonces la suma de
Riemann asociada con una particin P con kPk < y cualquier eleccin asociada
a esta viene acotada como sigue:
131
X
X
S(f , P , )
f ( C )(C) +
f ( C )(C)
CS1
/2 +
CS2
(/2)(C)
CS2
/2 + /2 = .
Ahora la funcin y f (x, y) no es integrable Riemann si x es racional, compare
con el ejemplo 110.
f (x, y) =
x+y
b
tic
o
si x o y
son nulos.
Sa
!
Z1 Z1
8
f (x, y)dx dy =
21 =
f (x, y)dy dx.
3
0
0
A
o
En esta seccin presentamos una nocin de conjunto pequeo que nos permitir
caracterizar las funciones integrables Riemann. Esta nocin no es topolgica, como
podra ser el tener interior vaco. En este sentido diremos que es una condicin
mtrica. Esta nocin fue introducida por el matemtico francs Henri Lebesgue en
1903.
5.17. Definicin: Sea A Rn . Decimos que A tieneSmedida cero si dado un
cualesquiera, existe un cubrimiento {Ri }
Ri ) por rectngulos con la
0 de A (A
siguiente propiedad:
X
(Ri ) < .
1
132
5. Integracin de Riemann
113. Ejemplo: El conjunto formado por un slo punto es claro que tiene medida
cero.
243. Ejercicio. Demuestre que un conjunto finito de puntos tiene medida cero.
b
tic
o
>
0
dado.
Tomemos cubos Ri con centro en Pi y lado de tamao
p
n
i
/2 . Entonces
s !n
X
X
X
n
(Ri ) =
=
= .
i
2
2i
1
1
1
244. Ejercicio. Muestre que los puntos con coordenadas racionales tienen medida cero.
115. Ejemplo: El intervalo unitario [0, 1] no tiene medida cero. Supongamos que tee i cuya suma de longitudes
nemos un cubrimiento del intervalo [0, 1] por intervalos R
es menor que . La compacidad de [0, 1] nos permite elegir un subcubrimiento finito
R1 , . . . , Rl con la propiedad
(Rs )
e i ) < .
(R
Sa
(52)
n
X
s=1
i=1
A
o
que nuevamente sera una contradiccin. Ahora como hay un nmero finito de intervalos Ri , despus de un numero finito arribamos a una coleccin {Ris }l1 que cubre al
intervalo [0, 1] y tal que
(Ri1 ) + + (Ril ) > 1,
que contradice de nuevo a (52). Luego [0, 1] no puede tener medida cero.
133
249. Ejercicio. Use el ejercicio anterior, para demostrar que un conjunto A tiene medida cero si y
slo si para todo > 0 dado se puede cubrir el conjunto A con una coleccin numerable de cubos
cuyos volmenes suman menos que .
b
tic
o
Sa
2: Sea {Ai }
y sea > 0 dado.
1 una coleccin numerable de conjuntos de medida cero P
i
Para cada Ai podemos encontrar un cubrimiento {Rj }j=1 tal que j (Rji ) < /2i .
A
o
ei ) =
(R
X
X
X
n
(K i )n = K n
n
(Ri ) < .
i =K
i
4: Para ver que F (A) tiene medida cero observamos que F (A) = Fe(A {Omn })
donde Fe(P , Q) = F (P ) con P Rn y Q Rmn . La aplicacin Fe es tambin de clase
C 1 . Ahora A {Omn } tiene medida cero en Rm por el item i) y por ser parte de un
plano coordenado de Rm . La propiedad se sigue del hecho que en rectngulos Fe es
Lipchitz y el item ii).
5: Se deja como un ejercicio.
134
5. Integracin de Riemann
250. Ejercicio. Muestre que el grfico de una funcin de clase C 1 tiene medida cero.
251. Ejercicio. El conjunto de nivel S = F 1 (O) de una funcin F : D Rn Rm de clase C 1 que
cumple con que el rango de DF (P ) es m para todo P S tiene medida cero.
b
tic
o
Sa
P.
(f , P ) = lm (f , A B (P )),
A
o
0+
donde B (P ) = {Q : kQ P k < }
La oscilacin lo que mide es cun grande es la variacin de la funcin en el conjunto en cuestin. Y la oscilacin puntual mide cun grande es la variacin de f a
medida que nos acercamos al punto.
117. Ejemplo: f es continua en U si y slo si (f , P ) = 0 para todo P en U.
118. Ejemplo: Sea f definida en I = [0, 1] as:
(
0
si x 6= 1/2,
f (x) =
1/2 si x = 1/2.
Entonces la oscilacin de f en x = 1/2 es igual a 1/2.
252. Ejercicio. Sea f la funcin definida en el rectngulo [0, 1] [0, 1] por:
f (x, y) =
Encuentre (f , P ).
1/q
0
si x = p/q , y
si x es irracional.
135
D (f ) = {P U : (f , P ) }.
5.21. Lema: El conjunto D (f ) es un conjunto compacto para todo > 0.
b
tic
o
Sa
A
o
Demostracin: Para cada punto P de U podemos encontrar una bola de radio P tal
que
(f , U BP ) < .
Por la compacidad de U podemos obtener un cubrimiento finito por bolas
B(P1 /2) , . . . , B(Pl /2) .
Sea = mns {Ps /2}. Entonces si A tiene dimetro menor que tiene que estar
contenido en al menos una de estas bolas, digamos en B(Pk /2) . Luego
(f , A) f , U B(Pk /2) < .
Ahora ya estamos listos para presentar y demostrar el Criterio de Integrabilidad
de Lebesgue.
5.23. Teorema: f : U Rn R es integrable Riemann si y slo si el conjunto de
puntos de discontinuidad D(f ) de f tiene medida 0 y f es acotada.
136
5. Integracin de Riemann
b
tic
o
que estn en la frontera de algn rectngulo C de P y Di1 los puntos que estn en el
n
incluido en un conjunto de medida cero. Queda pues mostrar que Di1 tiene medida
n
cero. Para eso observamos que si C es un rectngulo que contiene algn punto de D 1
n
1
en su interior, entonces MC mc = supP C {f (P )} nfP C {f (P )} . Denotemos
n
por P la coleccin de rectngulos de P que contienen puntos de D 1 en su interior,
n
entonces
Sa
CP
(C) < /2. Basta cubrir D 1 ahora con un nmero finito de rectngulos
A
o
luego
X
X
1 X
(C) <
(MC mC )(C) <
(MC mC )(C) < /2n,
n CP
CP
CP
n
tal que la suma de sus volmenes sea menor que /2, uniendo estos dos cubrimientos obtenemos lo que queramos.
() Supongamos ahora que D tiene medida cero. Vamos a demostrar que f cumple
con la Condicin de Integrabilidad de Riemann. Sea > 0 dado, consideramos D el
conjunto de puntos donde la oscilacin de f es mayor o igual a . Este conjunto es
compacto ( Lema 5.21 ) . Adems tiene medida cero. Entonces podemos conseguir un
cubrimiento por rectngulos Ri tal que la suma su volmenes sea menor que /4M
donde M es una cota de f (|f | < M). Sea tomado de manera que el lema de uniformizacin de la oscilacin 5.22 vale con r = /2(U). Sea ahora P una particin de
U con kPk < , demostraremos que que SM (f , P) Sm (f , P) < . Para eso construimos una particin P de Ri que cumpla con la propiedad de que cada rectngulo
de ella est incluido en un rectngulo de P. Con esta construccin definimos como
S1 la coleccin de rectngulos de P o de P que no cortan a D y S2 los restantes.
Ahora si C es un rectngulo en S1 encontramos que la oscilacin ah es menor que
r , luego como el dimetro de C es menor que y por la eleccin de , obtenemos
que MC mC < r . Luego, obtenemos
SM (f , P) Sm (f , P) =
CP
(MC mC )(C)
CS1
<r
(MC mC )(C) +
CS2
CS2
(MC mC )(C)
b
tic
o
CS1
(C) + 2M
137
Sa
(
1
si P A,
si P A,
A
o
f =
e
UU
fe +
XZ
i
Ri
fe =
e
UU
fe.
R
De la misma manera obtenemos que Ue f = UUe fe, concluyendo entonces la independencia de la definicin del rectngulo U usado en ella.
La integral sobre conjuntos acotados goza de las siguientes propiedades que son
consecuencia inmediata de las propiedades de la integral de Riemann de funciones
definidas en rectngulos.
R
138
5. Integracin de Riemann
b
tic
o
A
o
Sa
En relacin a la caracterizacin de Lebesgue de funciones integrables, la definicin hecha de la integral de una funcin f sobre un conjunto acotado implica
estudiar el conjunto de discontinuidades de la funcin fe. El conjunto de discontinuidades D(fe) est incluido en el conjunto A D(f ). Esta inclusin puede ser
propia. Pueden haber puntos de la frontera de A donde f es nula en un entorno y en
consecuencia la extensin es continua en esos puntos de la frontera. Otro detalle es
que la frontera de A puede no tener medida nula. Esto nos lleva a estudiar entonces
dominios cuya frontera tiene medida nula.
5.26. Definicin: Sea A Rn un conjunto acotado. Decimos que A tiene volumen
si existe
Z
1.
A
Denotamos esta integral por V ol(A). Otra manera de decir que un conjunto A
tiene volumen es, por el Teorema de Integrabilidad de Lebesgue, que la frontera
de A tiene medida nula.
Clsicamente se deca de los conjuntos con esta propiedad que tenan contenido
de Jordan cero. Ahora no todo conjunto con medida cero tiene contenido cero, por
ejemplo los racionales en la recta.
5. 10 Principio de Cavalieri
139
b
tic
o
A2
Sa
A
o
10 Principio de Cavalieri
140
5. Integracin de Riemann
b
A(x)
b
tic
o
Hx
Sa
1=
Zb
a(A(x)),
A
o
Ux
1=
Z b Z
a
1|Ux dx,
por
el Teorema de Fubini y donde
= {(p1 , . . . , pn1 , x) : (p1 , . . . , pn1 ) U }. Pero
R
141
a(A(x))dy =
Zd
f (x, y)dy dx
Zd Zb
b
tic
o
a(A(y))dx =
A(x)
L
S
r
r (x)
A
o
Sa
Esta frmula es usada para transformar una integral en otra que sea ms fcil de
calcular. En esta seccin generalizamos esta frmula a integrales de varias variables.
El Teorema del Cambio de Variable est ligado a varios nombres de matemticos
famosos, Euler, Lagrange, Jacobi, M. Ostrogradski entre otros, vea [8] para una resea
histrica sobre esta frmula.
Como localmente una funcin diferenciable es casi lineal, comenzamos por ver
como el volumen de un conjunto A cambia cuando es transformado por una transformacin lineal.
142
5. Integracin de Riemann
b
tic
o
A
o
Sa
Como el determinante de la composicin de transformaciones lineales es el producto de los determinantes de los factores, se sigue que para obtener el item b) es
suficiente demostrar su validez para cualquiera de las transformaciones anteriores.
Supongamos entonces que tenemos una transformacin del tipo a). Tomemos un
e = T (U) es un rectngulo
rectngulo U que contenga a A en su interior, entonces U
que contiene a T (A) en su interior. Si P es una particin de U, entonces las sumas
de Riemann inferior y superior asociadas a esta particin vienen dadas por
Sm (1A , P) =
V ol(C) y
CP
CA
SM (1A , P) =
V ol(C)
CP
CA
V ol(C) y
CP
CT (A)
SM (1T (A) , P ) =
V ol(C)
CP
CT (A)
143
De aqu podemos concluir entonces que si hacemos tender el tamao de la particin a 0, que
Z
Z
V ol(T (A)) =
1 = |c|V ol(A) = | det(T )|
= | det(T )|V ol(A).
T (A)
Ahora supongamos
que tenemos una transformacin del tipo b). Tomemos un
Q
rectngulo U = s [as , bs ] que contenga a A en su interior. Sea ij (p1 , . . . , pn ) =
e = T (U) es el conjunto
(pi , pj ) la proyeccin sobre las coordenadas i y j. Entonces U
{P : ps [as , bs ], s i} {P ij (U)},
Sm (1A , P) =
b
tic
o
V ol(C) y
CP
CA
V ol(C)
CP
CA
T (A)
Sa
T (C)
CP
CA
A
o
CA
4
abc.
3
144
5. Integracin de Riemann
.
n
w1 wnn
b
tic
o
Ahora queremos ver que sucede cuando la transformacin es no lineal. En condiciones especiales, cuando la transformacin no est muy lejos de ser la transformacin identidad tenemos que la distorsin del volumen es pequea como se deduce
de la Proposicin ??. El lema siguiente trata el caso general.
Sa
A
o
V ol(T (R))
(1 + n)n | det DT (Q)|.
V ol(R)
y la hiptesis.
Luego estamos en la hiptesis del lema de distorsin bsico ?? y podemos concluir
entonces que
145
b
tic
o
(1
n )n V ol(Cr ),
Sa
A
o
y como | det DG(0)| = | det DT (Q)|| det L|, obtenemos lo que queramos demostrar.
Una vez estudiado como se distorsiona localmente el volumen por la accin de
un difeomorfismo de clase C 1 ya estamos en condiciones de tratar el caso general,
que nos es ms que la Frmula del Cambio de Variable.
146
5. Integracin de Riemann
b
tic
o
para todo > 0. Sea pues > 0 dado. Demostraremos que existe una particin P de
R tal que si ponemos
X
S = S((f T )| det DT |, P, ) =
f (T (C )| det DT (C )|V ol(C),
CP
entonces:
Z
S
(f T )| det DT |
< /2
Z
S
f
< /2.
R
Sa
A
o
CP
=
mC V ol(T (C)) <
f <
MC V ol(T (C)) = .
CP
CP
147
CP
CP
< const
CP
V ol(C)
b
tic
o
V ol(T (C))
MC
|
det
DT
(
)|
C V ol(C)
V ol(C)
CP
X
Sa
X
< /6(const
V ol(C)
CP
A
o
tenemos que | | < /6. De la misma manera se demuestra que | | < /6.
|
= m
< /2 donde
= mn{, } y
Esto implica que |
ax{, }. Pero
Z
< S,
f < ,
Q
donde (x, y) es el ngulo que hace el punto (x, y) con el eje coordenado. Entonces
ea(R) = (b2 a2 ). Sea T (, r ) = (r cos(), r sen()) la
el rea de la cua es ar
aplicacin que da las coordenadas polares. Ella es un difeomorfismo en el conjunto
(0, 2 ) (0, ) y | det(DT )(, r )| = r . La imagen inversa de la cua R es el conjunto R = T 1 (R) = [a, b] [, ]. Aplicando la frmula del cambio de variable
obtenemos
148
5. Integracin de Riemann
ea(R) =
ar
=
R
Z
1=
Zb
r dr d
!
r dr
= (b2 a2 ).
b
tic
o
Ahora
Z
e
R
(f T )| det(DT )| =
A
o
Sa
e Luego
El Teorema 5.33 vale en R.
e < .
V ol(R \ R)
e
T (R)
f.
Z
(f T )| det(DT )| +
(f T )| det(DT )|
e
e
R
R \R
Z
Z
=
f+
(f T )| det(DT )|
e
e
T (R)
R \R
Z
Z
Z
=
f
f+
(f T )| det(DT )|
(f T )| det(DT )| =
T (R )
e
T (R )\T (R)
e
R \R
149
=R .
4
b
tic
o
2 R4
2 .
259. Ejercicio. Demuestre la frmula para el clculo del rea de un conjunto A con rea en coordenadas polares:
1
ea(A) =
ar
2
r ()2 dr ,
Sa
A
o
V ol(A) =
Zb
f (x)2 dx,
donde f (x) es la funcin continua cuya grfica es rotada para obtener A entre los lmites a y b.
261. Ejercicio. Calcule el volumen de un toro slido.
150
5. Integracin de Riemann
b
tic
o
Sa
263. Ejercicio. Demuestre que la suma de dos funciones integrables Riemann es una funcin integrable Riemann y el mltiplo de una funcin integrable Riemann es integrable Riemann.
A
o
R
Denotamos al nmero R de la definicin anterior por U f . El siguiente lema nos
dice que dado un abierto U en Rn podemos conseguir una sucesin de compactos
{Ki }
i=1 en Cm (U) tal que:
S
U = i Kj ;
Kj Kl si j l;
Dado cualquier compacto K en U, existe un Kj tal que K Kj .
5.37. Lema: Dado un subconjunto abierto U de Rn , existe una sucesin de conjuntos compactos exhaustiva.
Demostracin: Para cada numero natural k consideremos la descomposicin natural
de Rn en cubos de lado k. Cada lado de un cubo de esta familia es de la forma
151
b
tic
o
(54)
Kj
f = R.
Sa
R
Demostracin: () Si f es integrable Riemann, sea R = U f y sea {Kj } una sucesin
exhaustiva de U. Dado > 0, sea K el conjunto compacto dado por la definicin de
integrabilidad. Como {Kj } es exhaustiva existe un N tal K KN . Luego para todo
j N, se tiene
Z
Z
f
f < .
Kj
U
A
o
() Supongamos por el absurdo que existe un > 0 tal que para todo compacto
K Cm (U) existe otro compacto K KK tal que
Z
(55)
f R .
KK
Sea {Kj } una sucesin exhaustiva de U. Podemos suponer que que para todo
j 1 tenemos
Z
(56)
f R < .
Kj
2
R
ej para la cual el lmite e f no existe. PoConstruiremos una sucesin exhaustiva K
Kj
e
nemos K1 = K1 . Por la tesis negada existe un conjunto compacto K1 KK1 tal que
e2 = KK1 . Como {Kj } es una sucesin exhaustiva existe
vale (55). Ponemos ahora K
e2 y vale (56), ponemos entonces K
e3 = Kn2 . Siguiendo
ahora un Kn2 que contiene a K
de esta manera, encontramos una sucesin de compactos exhaustiva de compactos
ej }, tal que para {K
e2k+1 } es una subsucesin de la sucesin exhaustiva {Kj }, por
{K
R
e2k } se mantiene
tanto lmk Ke2k+1 f converge a R y por otro lado la subsucesin {K
alejada de R ya que cumple (55).
152
5. Integracin de Riemann
Esto nos dice que si sabemos que una funcin es integrable Riemann por algn
medio, entonces su clculo se puede hacer tomando una buena sucesin exhaustiva
y calculando el lmite (54).
5.39. Proposicin: Sea f : U R una funcin positiva: f (P ) 0 para todo P U.
Entonces f es integrable Riemann si y slo si
Z
sup
f < .
K
KCm (U)
b
tic
o
K1
f.
R
Estas dos desigualdades muestran que el conjunto K f est acotado.
K
KK1
Z
Sa
() Recprocamente sea
K1
R=
sup
KCm (U)
f ,
A
o
f < R + . Si K K
= lm
Bj (O)
Z 2
0
= lm
Z j2
0
Zj
0
r 2
r dr
eu du = .
153
entonces f = f + f .
f + = m
ax{0, f } y
f = mn{0, f }
b
tic
o
Sa
() Supongamos ahora que f es integrable Riemann en U. Razonamos por el absurdo, suponemos entonces que |f |R no es integrable Riemann, luego existe una sucesin
exhaustiva {Kj } tal que lmj Kj |f | = +. Tomando una subsucesin si es necesario podemos asumir que
Z
Z
(57)
|f | > 3
|f | + 2j.
Kj+1
Kj
(58)
A
o
Dj
|f | > 2
Kj
|f | + 2j.
Tambin vale la siguiente igualdad por la integrabilidad de f en cualquier subconjunto compacto con volumen de U:
Z
Z
Z
+
(59)
|f | =
f +
f .
Dj
Dj
Dj
Aj
R
y esto implicar que f no es integrable. Para construir Aj analizamos si Dj f es
R
R
positiva o negativa. Supongamos primero que Dj f = Dj (f + f ) 0, entonces
Z
Z
Z
Z
2
f+
f+ +
f =
|f |
Dj
Dj
Dj
Dj
154
5. Integracin de Riemann
Kj
|f | + j.
Por la
de f en Dj podemos conseguir un conjunto cerrado Bj Dj tal
R integrabilidad
R
+
que Bj f = Dj f . Pongamos en este caso Aj = Kj Bj , entonces (60) implica
Z
Aj
f =
Kj
f+
Bj
Kj
|f | +
Dj
f+ j
b
tic
o
R
que es lo que que se quera. De la misma manera el caso Dj f 0 nos permite
R
construir un conjunto Aj donde Aj f < j. Por construccin la sucesin {Aj } es
una sucesin exhaustiva de U.
264. Ejercicio. Muestre como construir el conjunto Bj en la demostracin anterior.
Como
|f | f
|f | + f
y f =
,
2
2
obtenemos la siguiente condicin equivalente de integrabilidad.
f+ =
Sa
A
o
Luego la integrabilidad en U queda reducida a verificar la integrabilidad de funciones positivas. En este caso se pueden acotar las funciones por otras que sean
integrables o no integrables para obtener la integrabilidad.
5.42. Proposicin: Supongamos que 0 f (P ) g(P ) son dos funciones localmente integrables Riemann en U. Entonces
1. Si g es integrable en U entonces f tambin es integrable U.
2. Si f no es integrable en U entonces g tampoco es integrable en U.
Demostracin: Se desprende de la monotona de la integral de Riemann y de la Proposicin 5.39.
Cuando el mdulo de una funcin es integrable en la literatura se le conoce a estas funciones con el nombre de funciones absolutamente integrables. Lo que hemos
visto hasta ahora es que en el caso de dominios no acotados la integrabilidad de una
funcin f es equivalente a su integrabilidad absoluta. De ms est decir que esto es
falso cuando el dominio es acotado.
265. Ejercicio. Para cuales valores de es la funcin f (x) = x absolutamente integrable Riemann en (0, )?
5. 13 Ejercicios adicionales
155
Para finalizar cuando n = 1 existe un concepto llamado integral impropia de Riemann. Este concepto no coincide con la nocin de integrabilidad presentada aqu. En
el caso de la integral impropia de Riemann solamente se toman en cuenta sucesiones
exhaustivas de los intervalos de una forma muy particluar. Sus miembros son slo
intervalos y esto hace que el concepto sea ms amplio en cuanto a las funciones que
se pueden integrar. Para este concepto el Teorema 5.40 es falso, una funcin puede
tener integral impropia de Riemann pero no ser absolutamente integrable!
13 Ejercicios adicionales
b
tic
o
266. Ejercicio. Responda si las afirmaciones siguientes son verdaderas o falsas. Justifique su respuesta.
A
o
Sa
h=
U1
(U2 ) +
U2
g (U1 ).
Si dos conjuntos Si Rn , cumplen con el volumen que dejan al intersectar con planos ortogonales a una recta dada es el mismo, entonces ambos tienen volumen y estos coinciden.
Si T es in difeomorfismo de clase C k , entonces det |DT | 0.
156
5. Integracin de Riemann
El conjunto A = {(x, y, z) : 1/2 |x + y + z| 1}, tiene volumen.
Si A R3 tine volumen, entonces la interseccin de A con cualquier plano paralelo al plano
coordenado x, y, tambin tiene rea.
Sea T : Rn Rn una transformacin lineal. Si det(T ) = 0, entonces V ol(T (A)) = 0, para
todo conjunto A Rn .
b
tic
o
269. Ejercicio. Sea f : U Rn R una funcin integrable Riemann. Supongamos que f (P ) > c > 0
1
para todo P U. Demuestre que la funcin g =
es integrable Riemann, sin usar el teorema de
f
Lebesgue.
270. Ejercicio. Sea f (x, y) una funcin que cumple con f (x + T , y) = f (x, y) para todo (x, y)
R2 . Supongamos que f es integrable Riemann en [0, 2T ] [0, 1]. Demuestre que
Z
Z
f =2
f.
[0,T ][0,1]
Sa
[0,2T ][0,1]
271. Ejercicio. Sean f , g : [0, 1] R integrables Riemann y supongamos que f (x) m > 0 para
todo x [0, 1]. Demuestre que F (x, y) = f (x)g(y) es integrable Riemann sobre A = [0, 1] [0, 1].
A
o
272. Ejercicio. Sea f (x) una funcin monotna en [a, b]. Demuestre que f es integrable Riemann.
273. Ejercicio. Demuestre que las siguientes funciones son integrables Riemann y calcule su integral:
R
f (x, y) = [x + y] definida en en U = [0, 3] [0, 3] y calcule RU f .
f (x, y) = [y x] definida en en U = [0, 2] [0, 2] y calcule U Rf .
f (x, y) = [x 2 + y 2 ] definida en U = [2, 2] [2, 2] y calcule U f .
274. Ejercicio. Considere las funciones f : [a, b] R y g : [a, b] R definidas como sigue:
1
f (x) = n
m
, m, n primos relativos
n
si x [0, 1] \ Q,
si x =
g(x) =
1
0
si x (0, 1]
si x = 0.
Pruebe que h(x) = g(f (x)) no es integrable Riemann, a pesar que f y g lo son.
275. Ejercicio. Demuestre que si g es integrable Riemann en el rectngulo U y f es continua,
entonces h(P ) = f (g(P )) es integrable Riemann.
5. 13 Ejercicios adicionales
157
p2
b
tic
o
280. Ejercicio. A Rn {0} un conjunto con volumen. Sea P Rn+1 tal que pn 0. Sea C =
1
{(1 t)Q + tP : t [0, 1] y Q A}, entonces C tiene volumen y V ol(C) = V ol(A)pn .
n
Sa
A
o
282. Ejercicio. Sea T : Rn Rn un difeomorfismo de clase C 1 tal que existen dos constantes m, M
con 0 < m | det(DT )| M. Demuestre que si A es un compacto con volumen, entonces
mV ol(A) V ol(T (A)) MV ol(A).
283. Ejercicio. Calcule las siguientes integrales usando el cambio de coordenadas sugerido.
Z
y donde A es la regin del plano determinada por las desigualdades: x y 2x y
A
p
!
2
6
285. Ejercicio. A ydxdy donde A es el tringulo con vertices en (1, 1),
,
y
2
2
R
!
6
2
,
.
2
2
158
5. Integracin de Riemann
286. Ejercicio. Sea f (P ) = g(kP k) donde g : R R es una funcin diferenciable y P R3 . Demuestre que
Z
Z1
f =
g(r )r 2 dr .
0
A
o
Sa
b
tic
o
B1 (0)
b
tic
o
Convergencia de Funciones
En este captulo estudiaremos la convergencia de funciones. Y cmo las propiedades de acotacin, continuidad, diferenciabilidad, e integrabilidad se trasladan a las
funciones lmites. Presentaremos dos tipos de convergencia, la ms dbil de todas,
la convergencia puntual, y la convergencia uniforme en compactos.
Convergencia Puntual
Sa
A
o
n
6.1. Definicin: Sea {fn }
n=1 una sucesin de funciones definidas en D R con
valores en R. Decimos que la sucesin {fn } converge puntualmente a la funcin
f si para todo P D se tiene
fn (P ) f (P ) cuando
n .
..
.
f (x)
x 1/n
x 1/2 x
159
160
6. Convergencia de Funciones
1/x
si x (0, 1/n),
six [1/n, 1].
b
tic
o
fn (x) =
(
0
Esta sucesin de funciones es acotada pero su lmite puntual f (x) = 1/x no lo es.
Continuidad: El ejemplo 131 muestra que la continuidad no es preservada.
Sa
A
o
La convergencia uniforme en compactos nos permite el control de la aproximacin de las funciones al lmite independiente del punto en conjuntos compactos.
6.2. Definicin: Sea fn : D Rn R una sucesin de funciones dadas. Diremos
que {fn } converge uniformemente en compactos a la funcin f : D Rn R si
para todo conjunto compacto K D se tiene que dado un > 0, existe un nmero
natural N 1 tal que para todo P K vale
fn (P ) f (P ) < cuando n N.
161
b
tic
o
1
n
Sa
kP k >
A
o
162
6. Convergencia de Funciones
si m, n son ms grandes que los N que permiten que los trminos segundos en la
desigualdad anterior sean menores que /2.
() Cada sucesin {fP } es una sucesin de Cauchy de nmeros reales, entonces
es convergente y denotamos ese lmite por f (P ). Sea K un compacto y sea > 0
dado. Entonces, en virtud de ser {fn } una sucesin de Cauchy, existe un N tal que si
m, n > N entonces
|fn (P ) fm (P )| < .
b
tic
o
Sa
|f (P )| |fn (P ) f (P )| + |fn (P )| M +
y la definicin de convergencia.
A
o
163
K = (f |K)1 (V ),
T
luego f 1 (V ) K es cerrado en K. Sea P f 1 (V ), entonces existe una sucesin de
puntos Pn f 1 (V ) que converge a P . Tomemos
K = {Pn } {P } ,
b
tic
o
Ahora pasamos a estudiar el comportamiento de la integrabilidad Riemann bajo la convergencia uniforme en compactos. Primero estudiamos el caso en que el
dominio D es un rectngulo.
Sa
6.8. Proposicin:
Qn Si la sucesin {fn } de funciones integrables Riemann en el rectngulo D = 1 [ai , bi ] converge uniformemente a la funcin f , entonces f es
integrable Riemann y
Z
Z
lm
fn =
f.
n
(61)
A
o
Demostracin: La Proposicin 6.6 nos permite concluir que f es una funcin acotada. Sea > 0 dado. La convergencia uniforme implica que
fn (P ) f (P ) fn (P ) + .
P C
P C
P C
164
6. Convergencia de Funciones
b
tic
o
6.9. Proposicin: Si la sucesin {fn } de funciones integrables Riemann en el conjunto acotado A converge uniformemente en compactos a la funcin f , entonces
f es integrable Riemann y
Z
Z
lm
fn =
f.
D
Sa
6.10. Observacin: La siguiente versin de intercambio de lmites para la convergencia puntual tambin es cierta y es conocida como el Teorema de Arzela de convergencia dominada: Si la sucesin {fn } de funciones integrables Riemann en el rectngulo D converge puntualmente a la funcin integrable Riemann f y la sucesin
es uniformemente acotada, entonces
Z
Z
lm
fn =
f.
n
A
o
p
x2 + 1
q
x 2 + 1/n -
|x|
..
.
1
165
Consecuentemente nos preguntamos que condiciones se necesitan imponer adems de la convergencia uniforme (convergencia u.e.c) para obtener diferenciabilidad
de la funcin lmite. Un primer punto que observamos es que aunque la sucesin
{fn } est formada por funciones diferenciables y converja uniformemente, la sucesin {fn } no tiene por qu converger uniformemente.
136. Ejemplo: Considere la sucesin de funciones
sen(nx)
n
definidas en R. Ellas convergen uniformemente en R a la funcin nula. Pero la sucesin de derivadas
fn (x) = cos(nx)
b
tic
o
fn (x) =
Sa
A
o
si n, m N.
Entonces
1) {fn } converge u.e.c. a una funcin g.
2) g es una funcin diferenciable y {Dfn } converge u.e.c. a Dg.
Demostracin: 1: El Teorema del Valor Medio aplicado a fn fm en una bola Br (Q)
D nos permite concluir la desigualdad
(62)
ZBr (Q)
166
6. Convergencia de Funciones
(64)
b
tic
o
Series de Funciones
Sa
A
o
Al igual que en el caso de los nmeros reales, uno puede asociar con una sucesin
de funciones {fn } una otra sucesin, a saber, la sucesin de funciones formada por
las sumas parciales
X
sn =
fi = f1 + + fn .
A esta sucesin se le llama la serie asociada con {fn } y usualmente se denota por el
smbolo
X
fn = f1 + + fn + .
1
Diremos que la serie converge puntualmente, uniformemente, u.e.c. si la sucesin de sumas parciales converge {sn } puntualmente, uniformemente y u.e.c. respectivamente. En cada uno de los casos anteriores la serie define una funcin que
llamaremos la funcin suma f :
f (P ) = lm sn (P ) =
n
fn (P ).
Un criterio fcil de verificar, fue presentado por el matemtico alemn K. Weierstrass en 1880. El criterio es conocido como el criterio de mayorizacin de Weierstrass.
6. 3 Series de Funciones
167
X
|fn (P )| Mn P D y para todo n N and
Mn <
entonces la serie
P
1
fn converge u.e.c.
b
tic
o
Mi .
m+1
m+1
A
o
Sa
Z
X
fn =
fn .
P
D 1
X
X
D fn (P ) =
Dfn (P ).
1
an cos(bn x),
con 0 < a < 1. Ella es continua, ya que la serie converge u.e.c. como se puede verificar
usando el criterio de Weierstrass. Pero ella no es diferenciable en ningn punto si
168
6. Convergencia de Funciones
ab 1. Una demostracin al alcance del lector con lo aprendido en este libro viene
expuesta en [7] captulo 16.
288. Ejercicio. Demuestre que la funcin de Weierstrass es de clase C 1 si a|b| < 1
289. Ejercicio. Sea l(P ) una funcin de clase C tal que es nula fuera del conjunto (1/2, 1/2) y
sean {ri } el conjunto de puntos de R que son racionales. Considere la funcin
f (x) =
X
1
ri l(x + i).
Ejercicios Adicionales
b
tic
o
290. Ejercicio. Son los recprocos de las Proposiciones 6.6, 6.7, y 6.8 ciertos?
fn (P ) = 1/(1 + kP kn ).
fn (P ) = kP kn /(1 + kP kn ).
fn (P ) = sen(nkP k)/n.
fn (P ) = 1/(1 + n2 kP k2 ).
Sa
291. Ejercicio. Encuentre dnde convergen puntual y u.e.c. las siguientes sucesiones de funciones:
292. Ejercicio. Qu se puede decir de la funcin lmite f de una sucesin {fn } definidas en un
intervalo [a, b], si las fn son homeomorfismos?
A
o
293. Ejercicio. Demuestre que el lmite puntual de funciones convexas es una funcin convexa.
294. Ejercicio. Demuestre que si {fn } converge u.e.c. y cada fn es acotada, entonces la sucesin es
uniformemente acotada.
295. Ejercicio (Teorema de Dini). Sea {fn : D Rn R} una sucesin de funciones continuas
definidas en un conjunto compacto D. Su pongamos que fn fn+1 para todo n y que la sucesin converge puntualmente a una funcin f . Demuestre que la convergencia es uniforme. (Sug.
Considere gn = fn f ).
296. Ejercicio. Demuestre que si {fn } y {gn } son dos sucesiones que convergen u.e.c. entonces la
sucesin formada por hn = fn + gn tambin converge u.e.c.
297. Ejercicio. Demuestre en el ejercicio anterior que si adems se tiene que {fn } y {gn } estn
uniformemente acotadas entonces hn = fn gn tambin converge u.e.c. Muestre que si se retira la
hiptesis de acotacin la afirmacin es falsa.
298. Ejercicio. Estudie en cules condiciones se puede decir que la composicin de dos sucesiones
de funciones reales que convergen u.e.c. resulta convergente u.e.c.
299. Ejercicio. Demuestre que la serie de funciones
lm n an = 0
Bibliografa
A
o
Sa
b
tic
o
[1] M. Balanzat, Evolucin del Concepto de Diferencial, Rev. Unin Mat. Argentina, 28, 1977, pag.
115-124
[2] Cernavskii, A. V. Finite-to-one open mappings of manifolds. Mat. Sb. (N.S.) 65 (107) 1964
[3] Dieudonn, J. Foundations on Modern Analysis, Vol. I, Academic Press, 1969.
[4] M Furi & M. Martelli, A Multidimensional Version of Rolles Theorem, American Mathematical
Monthly, 102, no. 3, 1995, 243-249.
[5] J. Hadamard, La notion de diffrentielle dans lenseignement,Scripta Univ. Ab. Bib., Hierosolymitanarum, Jerusalem, 1923. Reimpreso en Mathematical Gazette 19, no. 236 (1935), 341-342.
[6] Thomas James Higgins, A note on the history of mixed partial derivatives, Scripta Mathematica
7 (1940), 59-62.
[7] F. Jones, Lebesgue Integration on Euclidean Space, Jones and Bartlett Publishers, 2001.
[8] Victor Katz, Change of variables in multiple integrals: Euler to Cartan. Math. Mag. 55, (1982),
311.
[9] W. A. J. Luxemburg, Arzels Dominated Convergence Theorem for the Riemann Integral, Amer.
Math. Monthly, 78 (1971), 970-979.
[10] Plastock, R.Homeomorphisms between Banach spaces. Trans. Am. Math Soc. 200 (1974),169183.
[11] O. Stolz, Grundzuge der Differential und Integral Rechnung, I, B. G. Teubner, Leipzig , 1893
(The Cornell University Library Collections).
[12] B. Riemann, XII en Collected papers. Translated from the 1892 German edition by Roger Baker,
Charles Christenson and Henry Orde. Kendrick Press, Heber City, UT, 2004
[13] T. Tao, The inverse function theorem for everywhere differentiable maps,
http://terrytao.wordpress.com/2011/09/12/the-inverse-function-theorem-for-everywheredifferentiable-maps/
[14] Young, W. H., On Differentials, Proceedings of the London Mathematical Society, (2), v. 7
(1909), p. 157-180.
169
A
o
Sa
b
tic
o
ngulo
no orientado, 3
Derivada
parcial, 50
Derivada direccional, 49
Desigualdad
de Cauchy-Schwarz, 2
triangular, 3
Diferenciabilidad, 42
Diferencial, 44
segunda, 60
Distancia
entre conjuntos, 16
entre dos punto de Rn , 3
entre un punto y un conjunto, 15
A
o
Sa
Clausura, 6
Componente conexa, 15
Conjunto
abierto, 3
acotado, 11
arcoconexo, 29
cerrado, 4
compacto, 10
conexo, 13
convexo, 29
de Cantor, 18
frontera, 5
Conjuntos
de medida cero, 131
Cono
tangente, 54
Contenido
de Jordan, 138
Convergencia
puntual de funciones , 159
uniforme de sucesiones, 161
uniforme en compactos de funciones, 160
Criterio
de Fermat, 72
de integrabilidad de Lebesgue, 135
de integrabilidad de Riemann, 125
de la segunda derivada para puntos
extremos, 74
de Sylvestre (Definicin de signo de una
forma cuadrtica), 76
Cubrimiento, 11
Curva, 29
b
tic
o
ndice alfabtico
Espacio
euclidiano, 2
puntual Rn , 1
vectorial, 1
Extremo
relativo(estricto), 72
Frmula
del cambio de variable, 146
Forma
cuadrtica, 59
multilineal, 57
Funcin, 19
k-veces diferenciable, 64
acotada, 32
continua, 24
convexa, 37
de clase C k , 66
de Lebesgue, 39
diferenciable, 42
diferenciable segn Hadamard, 52
6. ndice alfabtico
frontera, 5
interior, 5
Regla de la cadena para funciones escalares,
48
Series
de funciones, 166
Sucesin, 8
convergente, 8
de Cauchy, 9
de Cauchy para la convergencia u.e.c, 161
exhaustiva de conjuntos, 150
sub-, 10
Sumas
de Riemann, 118
superior (inferior) de Riemann, 124
Homeomorfismo, 27
A
o
Lema
de distorsin lineal, 142
de distorsin no lineal, 144
Norma
de una particin, 116
de una transformacin lineal, 78
de un vector, 2
Oscilacin de una funcin, 134
Particin, 115
Plano
tangente, 56
Polinomio
de Taylor, 67
Principio de Cavalieri, 140
Producto
interno, 2
Punto
crtico, 73
de acumulacin, 6
de Mximo, Mnimo , 72
Teorema
de Clairut, Young, Schwarz , 62
de Fubini, 129
de los Valores Intermedios , 31
del punto fijo de Banach, 35
del Valor Medio, 49
de Silvester (Ley de Inercia), 76
de Taylor, 67
forma del resto de Lagrange, 69
Transformacin-lineal, 20
Sa
Integral
de Cauchy, 120
de Riemann, 119
de Riemann en conjuntos no acotados, 150
de Riemann en dominios acotados, 137
Interior, 5
b
tic
o
172
Valor
crtico, 73
mximo, mnimo, 72
regular, 73
Vector
gradiente, 51
tangente , 54
Vectores
ortogonales, 3
Volumen
de un conjunto acotado, 138
de un rectngulo, 117