0MADRE

Universidad Nacional de Ingeniera
Facultad de Ciencias
Separata de
Calculo
Diferencial e Integral
Avanzado
Codigo de curso: CM 211
Elaborada en los Semestres Academicos
2000-I(P), 2000-II(P), 2004-I (T) y 2004-II (T)
en la Facultad de Ciencias-UNI
Autor
Lic. Jorge Joel Sulca Chipana.
Lima, Diciembre del 2004
ii
Esta Separata contiene apuntes de clases que elabore para el dictado del curso Teora de la
Medida, durante los semestres academicos 2000-I(P), 2000-II(P), 2004-I (T) y 2004-II (T)
en la Facultad de Ciencias de la Universidad Nacional de Ingeniera. Es mi intenci on convertir
esta separata en un Libro para que pueda ser usado por la comunidad academica de la UNI.
Lic. Jorge Sulca Chipana
Docente EPM-FC-UNI
Contenido
1 Preliminares 1
1.1 Funciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
2 Funciones vectoriales de una variable real 7
2.1 Conjuntos especiales de R
2
y R
3
. . . . . . . . . . . . . . . . . . . . . . . . . . . 8
2.2 Lmites . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
2.3 Continuidad . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
2.4 Derivadas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
2.5 Cualidades de las funciones diferenciables . . . . . . . . . . . . . . . . . . . . . . 18
2.6 Integrales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
2.7 Caminos Recticables . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20
2.8 El triedro de frenet . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
3 Funciones Reales de Variable Vectorial 33
3.1 Limites R
n
en R . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
3.2 Derivadas Direccionales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35
3.3 Diferenciabilidad . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36
3.4 El Teorema de la Funci on Implcita . . . . . . . . . . . . . . . . . . . . . . . . . . 41
3.5 Multiplicadores de Lagrange . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44
3.6 Recordemos el Teorema de Taylor para Funciones Reales de Variable Real . . . . 47
3.7 El Teorema de Schwartz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 48
3.8 El Teorema de Taylor para Funciones de Reales de Variable Vectorial . . . . . . . 50
4 Funciones Vectoriales de Variables Vectorial 53
4.1 Funciones especiales de R
n
en R
m
. . . . . . . . . . . . . . . . . . . . . . . . . . . 53
4.1.1 Coordenadas Polares Para Funciones de R
2
en R
2
. . . . . . . . . . . . . 53
iv
4.2 Transformaciones Cilndricas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 53
4.3 Coordenadas Esfericas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 54
4.4 Limites . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 55
4.5 Funciones Diferenciables . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 56
4.5.1 Derivadas direccionales . . . . . . . . . . . . . . . . . . . . . . . . . . . . 56
4.5.2 Funciones Diferenciables . . . . . . . . . . . . . . . . . . . . . . . . . . . . 57
4.6 El Teorema de la Funci on Inversa . . . . . . . . . . . . . . . . . . . . . . . . . . . 61
4.6.1 El Teorema de la Funci on Inversa para Funciones de R en R . . . . . . . . 61
5 Integracion 65
5.1 Integraci on sobre subconjuntos de R
2
y R
3
. . . . . . . . . . . . . . . . . . . . . . 65
5.2 Integraci on sobre conjuntos especiales de R
2
. . . . . . . . . . . . . . . . . . . . . 73
5.3 Integraci on sobre conjuntos de R
3
. . . . . . . . . . . . . . . . . . . . . . . . . . . 74
5.3.1 Integraci on sobre regiones que no sean n-bloques . . . . . . . . . . . . . . 75
5.4 Cambio de variable . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 76
5.5 Centro de masa . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 79
6 Integrales de lnea 81
6.1 Campo de Vectores . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 81
6.1.1 Masa total de un alambre . . . . . . . . . . . . . . . . . . . . . . . . . . . 90
6.2 El Teorema de Green . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 91
6.3 El Teorema de Green . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 92
6.4

Area de un conjunto igual al interior del rango de un camino . . . . . . . . . . . 94
7 Integrales de Supercies 96
7.1 Area de una Supercie . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 96
7.2 Integrales de Funciones Escalares Denidas Sobre Supercies . . . . . . . . . . . 97
7.3 Integrales de Supercie de Funciones vectoriales . . . . . . . . . . . . . . . . . . . 97
7.4 El Teorema de Stokes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 98
Bibliografa 99
v
Captulo 1
Preliminares
Bien, el objetivo de esta secci on es
El conjunto de los n umeros reales (R) visto como Una estructura
Ahora que empiezo a escribir estas primeras lneas de este libro me pregunto acerca de los
requisitos para la lectura del mismo. Estamos seguros de que todo aquel que tiene este libro en
sus manos algunas vez se ha topado con sumas y productos de n umeros reales. Tal vez tengamos
en mente todas estas propiedades de los n umeros reales revoloteando en nuestra cabeza. Me es
necesario decir tambien que de alguna manera toda esta informaci on est a desordenda. El orden es
importante. Lo que hace important los n umeros reales son las operaciones que podemos realizar
entre sus elementos. Estas operaciones son la adici on y multiplicacion. De este modo R tiene
estructura de Cuerpo porque est an denidas dos tales operaciones satisfaciendo las siguientes
propiedades, las mismas estamos seguros usted ya conoce. Dados los n umeros reales a, b y c se
cumple
A.1 Asociativa: a + (b +c) = (a +b) +c
A.2 Conmutativa: a +b = b +a
A.3 Elemento Neutro Aditivo: Existe un real
denotado por 0 y llamado cero de modo
que a + 0 = 0 +a = a
A.4 Inverso aditivo: Cada real a tiene aso-
ciado otro real llamado inverso aditivo
de a y denotado por a de modo que
a + (a) = 0
M.5 Asociativa: a.(b.c) = (a.b).c
M.6 Conmutativa: a.b = b.a
M.7 Elemento neutro Multiplicativo:Existe un
real denotado por 1 y llamado uno de
modo que cada real a no nulo verica
1
Captulo 1. Preliminares 2
a.1 = 1.a
M.8 Inverso Multiplicativo: Cada real a no
nulo tiene asociado otro real llamado in-
verso multiplicativo de a y denotado por
a
1
de modo que a.a
1
= 1
[D.9] Distributiva: Para reales a , b , c ocurre a.(b +c) = a.b +a.c
Resulta que no podemos quedarnos aqui puesto que la estructura matematica sobre la que se basa
todo el calculo vectorial son los conjuntos R
2
, R
3
, , R
n
. Estos conjuntos tienen estructura de
espacio vectorial. Naturalmente usted amigo lector se este preguntando
Estructura de espacio vectorial?
Esto no es problema; s olo es nombre. Estoy seguro que lo que viene a continuaci on usted ya
lo ha visto o escuchado en alguna parte; asi que mi apoyo y labor s olo consiste en organizar la
informacion, deniciones e ideas que est an merodeando sus mentes.
El conjunto R
2
visto como estructura de espacio vectorial
Del mismo modo estamos casi seguros de que usted sabe sumar elementos, y multiplicar un
elemento por un numero real R
2
. Por ejemplo
Habiendo dado este pre ambulo, denimos el conjunto R
2
:= (x, y) : x, y R el cual
se lee r-2, cuya representacion geometrica esta dada por la gura ...
Asi, (1 , ), (2 , 1) son elementos de este conjunto.Asi dado el elemento (a , b), decimos que
a es llamada primera coordeanda o ordenda y b es llamada segunda coordenada o abcisa. Segun
esto, tenemos que dos elemntos (a , b) es identico al elemento (c , c) cuando se da la igualdad
entre sus primeras y segundads coordenadas respectivamente. Asi por ejemplo las coordenada
(, 71) es igual a (...). Observe que estamos diciendo que los elementos de R
2
son puntos. Hasta
ahora no hemos mencionado la palabra vector
Al igual que en la recta real, R
2
toma importancia debido a que podemos operar entre sus
elementos
Es mas esta suma se puede representar por el graco
Asi, decimos que R
2
tiene estructura de espacio vectorial real por las siguientes razones:
1. Sobre R
2
est an denidas dos operaciones
a. Adicion de vectores: A dos vectores a = (a
1
, a
2
), b = (b
1
, b
2
) R
2
se le hace
corresponder un unico elemento c R
2
, tal que c = (a
1
+b
1
, a
2
+b
2
).
b. Multiplicacion de un vector por un escalar: Dado a = (a
1
, a
2
) R
2
y R le
hacemos corresponder otro elemento R
2
, el cual se dene como .a = (.a
1
, .a
2
)
El conjunto R
n
visto como estructura de espacio vectorial
Teoria de Funciones y Notaciones
Sean X, Y conjuntos no vacios cualesquiera. Una funcion de X en Y es una regla f, denida
sin ambiguedades, que asocia a cada elemento de x X un unico elemento de y Y . Tal
elemento y Y asociado a x X lo escribiremos como y = f(x). Los conjuntos X, Y y
Rang(f) := f(x) : x X son llamados dominio de f, conjunto de llegada de la funcion de
la funcion y rango de la funcion, respectivamente. Como es usual en matematica, el smbolo
X
f
Y representara una funcion de X en Y . As por ejemplo, considerando los conjuntos
F = todas las guras planas (de tres o mas lados) , [0 , [ , R, R
2
, [1 , 1]
ocurre que la regla
a. F
f
R denida como f(x) = area de la figura plana x, es una funcion con Rang(f) =
]0 , +[.
b. [0 , [
f
R denida como y = f(t) = t
2
, es una funcion con Rang(f) = [0 , +[.
c. R
f
R
2
denida como y = f(t) = (t, t
2
) es una funcion cuyo rango es la parabola
P : y = x
2
d. [1 , 1]
f
R
2
denida como y = f(t) = (t, t
2
) es una funcion cuyo rango es un trozo de
la parabola P : y = x
2
con 1 x 1
Observe que el rango de cada una de las funcioens dadas es una parte propia del conjunto
de llegada. Es decir, Rang(f) Y . Sin lugar a duda, ser capaces de dicernir cuando una
relacion de un conjunto X en un conjnto Y es o no es funcion, es una forma de saber si estamos
comprendiendo esta idea. Segun esto preguntamos Son funciones las relaciones mostradas a
continuacion?
a. ]0 , +[
g
F denida como g(t)=una gura plana(de tres o mas lados) con area igual a y
b. R
h
[0 , [ denida como h(t) = y de modo que y
2
= t.
La respuesta es un contundente NO. g no le es porque, por ejemplo, no se puede determinar que
es f(1), puesto que puede cualquier gura plana de de area igual a 1. Puede ser un cuadrado
o un triangulo o un pentagao. Y h no lo es porque, por ejemplo, h(1) puede ser 1 o 1. En
otras palabras, ambas relaciones no son funciones porque en cada una de ellas ha sido posible
encontrar, al menos, un elmento t para el cual es imposible determinar que es g(t) o h(t).
Es importante y oportuno, a esta altura, decir y aclarar algunas cosas. Que
una de las cosas que hace que los estudiantes se limiten a la lectura de un solo libro, es que
muchas veces estos usan diferentes palabras y/o notaciones para hablar de una misma cosa (por
ejemplo funciones). Por ejemplo, en algunos libros suele leerse Sea la funcion R
f
R denida
por f(t) =
1
t
o simplemente se lee Sea la funcion y = f(t) =
1
t
. Estas expresiones, desde
la perspectiva como hemos denido una funcion, carecen de sentido. La primera porque Es
muy probable que usted amigo lecto haya leido o este leyendo otra bibliograa Observe que en
cualquiera de estos dos ejemplos, ocurre que
Es posible encontrar al menos un elemento y en el conjunto de llegada que no es im agen de
ning un elemento x del dominio
Esto mismo se puede escribir como sigue
y Y / x X : f(x) ,= y
Asi, para el ejemplo a., y = 0 no es area de ninguna gura plana de tres lados. Para el ejemplo
b., y = 1 no es cuadrado de ning un n umero real x.
Denicion 1.1 Conviniendo en denotar a cualquier funcion de un conjunto X en un conjunto
Y por la escritura X
f
Y , damos la siguiente denicion
Siendo esto asi el conjunto X se llama dominio, Y se llama conjunto de llegada, f se llama
regla de correspondencia,
Denicion 1.2 Una relaci on entre elementos de los conjuntos no vacios A y B (en ese orden)
es cualquier subconjunto ! del Producto Cartesiano AB. Es decir
! := (a , b) AB : P(a , b)
Donde P(a , b) es la propiedad caracteristica a los elementos de !
Ejemplos 1.0.1 1. A continuacion mostramos Propiedades que denen una relaci on ! entre
elementos de R y N.
P(x, y): x es un real y es un natural.
P(x, y): x es el cuadrado de y.
P(x, y): el valor absoluto de y es x.
2. A continuacion mostramos Propiedades que denen una relaci on ! entre elementos de
A = Z y B = Z, N, Q, I
P(x, y): x es par y = Z.
P(x, y): x es impar y = N.
P(x, y): x es m ultiplo de 3 y = Q.
P(x, y): x es entero y = Z.
Q(x, y) :
_
_
x = 2 y = N
x = 3 y = R
Todas estas propiedad son relaciones.
Denicion 1.3 El graco o grafo de la relaci on P entre elementos de A y B (no vacos) es el
conjunto formado por todos los pares (x, y) tal que P(x, y) sea cierta. Este conjunto es denotado
por Graf (R). Es decir
Graf (R) = (x, y) AB/P(x, y) sea cierta
Abusaremos del lenguaje y diremos
R = Graf (R) = (x, y) A B/P(x, y) es cierta
Ejemplo 1.0.2 A = R, B = R R = Graf (R) = (x, y) AB/P(x, y) : [y[ = x
1.1. Funciones 6
1.1 Funciones
Sean A y B dos conjuntos no vacos y R = (x, y) A B/P(x, y) sea cierta una relaci on
entre elementos de A y B. R es llamada funcion entre elementos de A y B si y s olo si
P(x, y) P(x, z) son ciertas, entonces y = z.
Notaci on: Cuando R es una funcion, en lugar de R, escribiremos f.
Ejemplos 1.1.1 A = B = R, R = (x, y) A B/[y[ = x. R no es funcion pues
(1, 1) = (x, y) R (1, 1) = (x, z) R y esto no implica que y = z.
A = R, B = R
2
, R = (x, y) RR
2
/y = (x, 1). Es R una relaci on? Sean (x, y), (x, z)
R, entonces y = (x, 1) z = (x, 1); como son iguales, entonces R es una funcion.
, donde como se ha dicho X es un subconjunto de R.
Teoria Elemental de Funciones
Ante u sobre lo que usted debe estar familiarizado con el estudio de las funciones de reales
de variable real, es decir de aquellas funciones f del tipo X
f
R. Ahora bien, este libro esta
dedicado al estudio de las funciones vectoriales de variable vectorial. pero que Que quiere decir
esto? Por ejemplo
Este campo es bastante amplio
funciones de
Captulo 2
Funciones vectoriales de una variable
real
Por lo dicho en los preliminares, en este capitulo trabajaremos con funciones vectoriales de
una variable real, es decir con funciones del tipo X
f
R, donde X R es un conjunto no
vacio. Naturalmente se tiene f(t) = (f
1
(t) , f
2
(t) , , f
n
(t)), para t X, donde X
f
i
R,
i = 1, . . . , n. son funciones ya estudiadas en un primer curso de calculo en una variable.
Ejemplo 2.0.2 1. Las funciones R
f, g
R
2
denidas como f(x) =
_
1
x
2
1
, x
_
y g(x) =
(x
2
, x
2
), son tal que
Dom(f) = R 1, 1 Ran(f) =
_
(x, y) R
2
/x =
1
y
2
1
_
Dom(g) = R Ran(g) =
_
(x
2
, x
2
)/x R
_
=
_
(x, x) R
2
/ x 0
_
2. Hallemos el rango de la funcion R
f
R
2
denida como f(x) = (cos x, senx). Probaremos
que Ran(f) = S
1
= (x, y) R
2
/x
2
+ y
2
= 1. Es claro que Ran(f) S
1
, puesto que
para cada x Dom(f) se tiene que f(x) = (cos x, senx) es tal que cos
2
x + sen
2
x = 1.
Recprocamente, dado (, ) S
1
, sabemos que existe x R tal que = cos(x), =
sin(x), esto es, (, ) = f(x). Esto prueba la inclusion S
1
Ran(f). En este caso la
graca viene dado por Graf(f) = (x, z) R R
2
/f(x) = z = (x, cos x, senx)/x R
3. La traza del funcion R
f
R
3
es exactamenten la gr aca de la funcion dada en el ejemplo
anterior.
7
2.1. Conjuntos especiales de R
2
y R
3
8
4. La funcion f : R R
2
denida como f(x) = (x
2
, x) es tal que
Graf(f) =
_
(x, x
2
, x)/x R = x(1, 0, 1) +x
2
(0, 1, 0)/x R
_
5. La funcion f : A = [1, 1] B = R denida como f(x) = x
2
, es tal que
Trz(f) = Ran(f) = y R/ x A, f(x) = y = f(x)/x [1, 1]
Graf(f) = (x, x
2
) R
2
: x [1, 1]
Propiedad 1 Sean X, Y R con X Y ,= , f F(X, R
2
), g F(Y, R
2
), entonces f + g
F(X Y, R
2
)
Ejemplo 2.0.3 1. Las funciones R
f
R
3
y R
g
R
3
denidas como f(x) =
_
x,
1
x 2
, x
2
_
y g(x) =
_
cos x,
1
x
2
1
,
1
x
_
, son tal que f F(R 2, R
3
) y g
F(R 1, 0, R
3
). Luego la funcion R
f+g
R
3
denida como
(f +g)(x) = f(x) +g(x) =
_
x + cos x,
1
x 2
+
1
x
2
1
, x
2
+
1
x
_
pertenece a F(R 1, 2, 0, R
2
) = F(Dom(f) Dom(g), R
2
)
2. Las funciones f, g : R R
2
denidas como f(x) =
_
x 1, x, x
_
y g(x) =
_
x
2
2, x, x
2
_
son tal que
Dom(f) = [1, Dom(g) = ,
2] [
2,
f F
_
[1, , R
3
_
g F
_
,
2] [
2, R
3
_
De ahi que f +g : R R
3
, denida como
(f +g)(x) =
_
x 1 +
_
x
2
2, 2x, x +x
2
_
est a en F
_
[
2,
_
.
2.1 Conjuntos especiales de R
2
y R
3
En la recta real R los conjuntos bonitos son por excelencia los intervalos, los cuales pueden
ser abiertos, cerrados, compactos (cerrados y acotados). Estos son importantes porque sobre
ellos se establecen casi todos los teoremas para funciones f de R
m
en R
n
. Que propiedades
2.1. Conjuntos especiales de R
2
y R
3
9
tienen estos conjuntos?
A es abierto si y s olo si para cada x A, existe > 0 tal que x , x + A
A es cerrado, si y s olo si todo x R con
Sigamos. Planteo el siguiente problema. Sea f : X R una funcion derivable tal que
f
(x) = 0 para todo x X. f es constante?. . .NO, pues para X = 1, 0 0, 1] con

f(x) =
_
_
1, x 1, 0
1, x 0, 1]
Tenemos que f
(x) = 0 para todo x X y sin embargo la funcion no es constante. Aqu

el problema lo est a causando el conjunto el cual es partido en x = 0. Una forma vulgar de
nombrarlo es: esta desconectado. El nombre tecnico es disconexo, y los intervalos reciben el
nombre de conjuntos conexos.
Extendemos la idea de intervalo abierto, cerrado, compacto .
Denicion 2.1 Un subconjunto X de R
n
es
Abierto cuando cualquier x X posee una vecindad abierta contenida en X
Cerrado cuando toda sucesion convergente (x
n
) X, es tal que lim
x
x
n
X
Compacto cuando es cerrado y acotado a la vez
Conexo cuando los unicos conjuntos abiertos y disjuntos A B con X = AB, son A =
y B = X.
Ejemplos 2.1.1 1. f : R R
2
con f(x) = (x, 1) Su traza no est a partida. Es decir todos
los puntos bien cerca del rango est an no se salen del rango. Ademas el rango no es abierto
y no est a acotado.
2. g : R R
2
con
g(x) =
_
_
(x, x + 1), x < 0
(x, 1), x 0
La traza est a partida. Ademas hay un punto muy cerca de la traza que no est a en la traza.
Ademas la traza no est a acotado.
2.2. Lmites 10
3. h : R R
3
con h(x) = (cos x, senx, 1) La traza no est a partida. Es decir todo punto
cerca del rango esta el rango. Ademas el conjunto est a acotado.
2.2 Lmites
Denicion 2.2 Sea f : X R R
n
, a X y L R
n
. Si
> 0 > 0/ x X, 0 < [x a[ < : [[f(x) L[[ <
decimos que lim
xa
f(x) = L.
Observe que en la denicion se consideran los x satisfaciendo 0 < [x a[ < . El ejemplo
siguiente ilustra esto
Ejemplo 2.2.1 Es mayor a cero porque puede suceder: f : R R
2
con
f(x) =
_
_
(x, 1), x ,= 0
(4, 4), x = 0
Probaremos que lim
x0
f(x) = (0, 1). Para > 0 sea > 0, luego dado x R, 0 < [x 0[ < (0 <
[x[ < ) debo probar que [f(x) L[ < . Como
0 < [x[ < 0 < [[(x, 0)[[ < 0 < [[(x 0, 1 1)[[ <
[[(x, 1) (0, 1)[[ < 0 < [[f(x) L[[ <
Observaci on: Vemos que si x = 0, entonces [f(x) L[ = [(4, 4) (0, 1)[ = [(4, 3)[ > .
Ejemplo 2.2.2 Sea : R R
2
, denida por
() =
_
_
(,
2
1), ,= 0
(3, 0), = 0
Vamos a probar que cuando t tiende a 0, (t) lo hace a L = (0, 1). En efecto Sea > 0 y > 0
bien peque no. El calculo sencillo muestra que si tomamos R con
0 < [[ < 0 <
2
< 1 < 1 +
2
< 1 +
2
1 <
1 +
2
<
1 +
2
1 < [(1, )[ <
1 +
2
2.2. Lmites 11
obtenemos
[() (0, 1)[ = (,
2
)[ = [[[(1, )[ <
_
1 +
2
Entonces la pregunta natural es: Para que > 0 ocurre que
1 +
2
< ? La respuesta es
sencill. Basta tomar un de la forma
1
n
y que verique
1
n
_
1 +
1
n
2
=
1
n
n
2
+ 1
n
=
1
n
2
_
n
2
+ 1 <
2
denida como () =
_
1
,
1
2
_
. Cu ando tiende a 1, (t) lo
hace (1, 1). Antes observemos que
[() (1, 1)[ =
_
1
1,
1
2
1
_
_
1
1,
_
1
1
__
1
+ 1
__
_
1
,
_
1
__
1 +
__
(1 )
_
1
,
1 +
2
_
= [ 1[
_
1
,
+ 1
2
_
[ 1[
+[ 1[
+ 1
(2.1)
y que los t R con 1 , 1 + donde 0 < < 1 son tal que
1
1 +
<
1
<
1
1
estosedebea2<+1<2+
..
2
(1 +)
2
<
+ 1
2
<
2 +
(1 )
2
Hagamos ahora si la prueba. Sea > 0. Considerando 0 < < 1 y 1 , 1 +, resulta que
[() (1, 1)[ [ 1[
+[ 1[
+ 1
< .
1
1
+.
2 +
(1 )
2
(2.2)
Entonces la pregunta natural es Es posible tomar > 0 (puede ser de la forma
1
n
) tal que
.
1
1
+.
2 +
(1 )
2
<
1
n
1
1
n
+
1
n
_
2+
1
n
(n1)
2
n
2
_
<
1
n1
+
2n+1
(n1)
2
<
La respuesta es armativa, puesto que
1
n1
+
2n+1
(n1)
2
converge a cero
Teorema 2.1 Sea : X R
n
con () = (
1
(), . . . ,
n
()), a un punto de acumulacion de
X y L = (L
1
, . . . , L
n
) R
n
. Entonces
lim
a
() = (L
1
, . . . , L
n
) lim
a
i
() = L
i
i = 1, 2, . . . , n
Prueba: Para > 0 existe > 0 tal que para todo X con 0 < [ a[ < se tiene que
[() L[ = [(
1
() L
1
,
2
() L
2
, . . . ,
n
() L
n
)[ <
2.3. Continuidad 12
Recordar que [x
i
[ [(x
1
, x
2
, . . . , x
n
)[, luego [
i
() L
i
[ < , esto es
lim
a
i
() = L
i
El recproco, ejercicio.
3
, denida como
() =
_
cos +
2
,
sen
+ 1,
( + 1)
2
(
2
2)
4
_
Se observa que Dom() = R0,
2 y que cuando tiende a 0, () lo hace a L =

_
1, 2,
1
16
_
.
En este caso es dicil probar
> 0 > 0/ x Dom(), 0 < [[ < :
_
cos +
2
1,
sen
+ 1 2,
( + 1)
2
(
2
2)
4
1
16
_
<
En esta caso usamos el teorema anterior. El calculo diferencial para funciones reales de una
variable real muestran
lim
0
1
() = 1 lim
0
2
() = 2 lim
0
3
() =
1
16
Teorema 2.2 Sean h : X R y : X R, a un punto de acumulacion de X, tal que
lim
xa
h(x) = 0 y esta acotado en un entorno de a. Entonces lim
xa
h(x)(x) = 0.
Ejemplo 2.2.5 Sea : I R
n
con () = c para todo I. Demuestre que lim
a
() = c.
2.3 Continuidad
Sea X R un subconjunto no vaco de la recta real. Una funcion X

R es continua en
un punto a X cuando, y s olo cuando, para los t X bien cerca de a, incluido t = a, los (t)
est an bien cerca de (a). Es decir
> 0 : > 0 / t X , [x a[ < : [(t) (a)[ < (2.3)
No se debe confundir esto con la denicion de limite en t = a. En otras palabras no se vaya a
cometer el error de decir la funcion es continua en a si y solo si lim
ta
(t) = (a). Aclaremos esto
con el siguiente ejemplo
Ejemplo 2.3.1 Consideremos la funcion R

R
3
denida como (t) =
_
t, 0,
_
(t + 1)
2
t
_
y cuyo dominio es Dom() = 1 [0, . El analisis de la continuidad en un punto dado
a Dom() se hace como sigue.
2.3. Continuidad 13
Si a es punto de acumulacion del dominio , entonces tiene sentido analizar el limite
lim
ta
(t). En este caso tal limite existe y coincide, afortunadamente, con (a). Esto es lim
ta
(t) =
(a) = (a , 0 ,
_
(a + 1)
2
a). De sesto se tiene que
> 0 : > 0 / t Dom() , 0 < [x a[ < : [(t) (a)[ <
Debido a que la desigualdad [(t) (a)[ < se verica para t = a, es correcto escribir
> 0 : > 0 / t Dom() , [x a[ < : [(t) (a)[ <
Esto dice que es continua en a.
Si a no es punto de acumulacion del dominio . Tener presente que esto signica lo
siguiente
> 0 / X a , a + /a =
En una situacion como esta no tiene sentido analizar el lim
ta
(t). Entonces como analizamos
la continuidad en un punto donde no tiene sentido analizar el limite lim
ta
(t)?. La
unica herramienta que tenemos es la misma denicion. En este caso armamos que es continua
en a. Dado > 0, tomemos el > 0 dado arriba. Seguidamente tomamos t Dom(), con
la condici on [t a[ < (note que el unico t con estas condiciones es t = a) y observamos
indefectiblemente que [(t) (a)[ < = [(a) (a)[ = 0 < .
Note que lo que hemos hecho es totalmente independiente de que el punto a es, para este ejemplo,
1.
Veamos ahora otro ejemplo.
Ejemplo 2.3.2 Analicemos la continuidad de la funcion X =
_
1
n
: n N
_
0

R
2
denida como
(n) =
_
_
(2, 0), n = 0
(2 +
1
n
, 0), n 1
Observaci on: El hecho que una funcion sea continua en a no implica la existencia del
lim
ta
(t)
Teorema 2.3 Una funcion X

R
n
, con (t) = (
1
(t), . . . ,
n
(t)), es continua en a X si,
y s olo si, cada una de las funciones coordenadas
i
, i = 1, . . . , n. es continua en a.
Teorema 2.4 Sea X

R
n
una funcion continua. Si X es un intervalo, entonces Trz() es
conexo. Si X es un conjunto compacto, entonces Trz() es compacto.
2.4. Derivadas 14
2.4 Derivadas
Empecemos con algunos ejemplos
Ejemplo 2.4.1 La funcion 1, 1

R denida como (t) = t
2
es tal que
(t) = 2t Luego
Para < 0,
() < 0 la partcula desciende.

Para > 0,
() > 0 la partcula asciende.

para = 0,
( = 0) la partcula est a estatica.

Ejemplo 2.4.2
Sea 1, 1

R
2
denida como (t) = (t, t
2
). Cual es la velocidad el objeto que se desplaza
sobre la traza de , en el instante t = a? Para esto tomamos t Dom(), lo sucientemente
cerca de a y consideramos
(t) (a)
t a
=
1
t a
__
t , t
2
_
_
a , a
2
_
=
1
t a
(t a , (t a)(t +a)) = (1 , t +a)
Luego es natural considerar el limite lim
ta
(t) (a)
t a
= (1 , 2a). Este vector recibe el nombre
de vector velocida de en t = a. Este indica la direccion en que la particula se esta desplazando
en el instante t = a. La norma de este limite, es decir
lim
t0
(t) (a)
t a
=
_
1 + (t +a)
2
es la
velocidad a la que se desplaza la particula en el instante t = a
Denicion 2.3 Sea X R un subconjunto no vaco. Un camino X

R
n
es diferenciable
en a X X
si, y s olo si, el limite lim

ta
(t) (a)
t a
existe. Tal limite es denotado por
(a) y
llamado derivada de en t = a. Geometricamente
(a) es el sentido de desplazamiento de la

particula en el instante t = a. El modulo de este vector, es decir, |
(a)| es la velocidad a la
que se desplaza esta particula en este instant t = a. Es importante observar la igualdad que este
limite tambien se puede calcular como
(a) = lim
h0
(a +h) (a)
h
Nos referimos a como camino diferenciable cuando este es diferenciable en cada punto de su
dominio X.
Ejemplo 2.4.3 Analicemos la diferenciabilidad en t = 0 del camino R

R
3
denido como
(t) = (t, cos(t), sen(t)).
lim
t0
(t) (0)
t
= lim
t0
(t, cos(t), sen(t)) (0, 1, 0)
t
= lim
t0
(t, cos(t) 1, sen(t))
t
= (1 , 0 , 1)
2.4. Derivadas 15
Ejemplo 2.4.4 Analicemos la diferenciabilidad de este otro camino R

R
2
denido como
(t) = (t, [t[). Veamos. Para a R se tiene
lim
ta
(t) (a)
t a
=
_
1 , lim
ta
[t[ [a[
t a
_
Luego
(a) = (1, 1) cuando a < 0 y
(a) = (1, 1) para a > 0. El camino no es diferenciable

eb a = 0, puesto que en este caso el limite anterior no existe.
Ejemplo 2.4.5 Analicemos la diferenciabilidad de este otro camino R

R
2
denido como
(t) = (t
3
, [t[t
2
). Veamos. Para a R se tiene
lim
ta
(t) (a)
t a
=
_
lim
ta
t
3
a
3
t a
, lim
ta
[t[t
2
[a[a
2
t a
_
=
_
3a
2
, lim
ta
[t[t
2
[a[a
2
t a
_
De esto tenemos
(a) = (3a
2
, 3a
2
) para a < 0, y
(a) = (3a
2
, 3a
2
) cuando a > 0. Para
a = 0 se tiene
(0) = (0 , 0).
Conclusion: Dada un camino X

R
n
. Para saber si una funcion diferenciable en un punto
a X, no hay que arnos de la traza de la misma. Eso funciona para funciones de R en R,
porque se trabaja con el gr aco y no con la traza.
Finalmente, antes de dar paso a las propiedades de las funciones direnciables es util
hacer notar que la igualdad lim
ta
(t) (a)
t a
=
_
lim
ta
1
(t)
1
(a)
t a
, . . . , lim
ta
n
(t)
n
(a)
t a
_
dice el camino es diferenciable en a cuando, y s olo cuando, cada una de las funciones
coordenadas X
i
R, i = 1, . . . , n. es diferenciable en a. De ser este el caso resulta
(a) = (
1
(a) , . . . ,
n
(a)). De esto resulta que diferenciabilidad en a implica continuidad en
dicho punto. El ejemplo desarrollado lineas arriba muestra que el reciproco de esta armacion
no es cierta. Otro resultado elemental es que toda funcion diferenciable : I R
n
denida
en un intervalo I y
0, es necesariamnte constante.
Dadas dos caminos I
,
R
n
, podemos considerar la funcion real de variable real
I
, )
R denida como t (t) (t) =
1
(t)
1
(t) +
2
(t)
2
(t) + +
n
(t)
n
(t). De
este modo, siendo y caminos diferenciables en a, resulta la difenciabilidad de , en dicho
punto. En el caso n = 2 se tiene
(t), (t)
1
(t)
1
(t) +
1
(t)
1
(t) +
2
(t)
2
(t) +
2
(t)
2
(t)
=
1
(t)
1
(t) +
2
(t)
2
(t) +
1
(t)
1
(t) +
2
(t)
2
(t)
=
(t), (t) +(t),
(t)
2.4. Derivadas 16
Para el caso general veamos
(t), (t)
=
_
n
i=1
i
(t)
i
(t)
_
=
n
i=1
(
i
(t)
i
(t))
=
n
i=1
i
(t)
i
(t) +
i
(t)
i
(t)
=
n
i=1
i
(t)
i
(t) +
n
i=1
i
(t)
i
(t)
=
(t) (t) +(t)
(t)
Del mismo modo, siendo I

R
n
un camino diferenciable, consideremos la funcion real de
varibale real I
| |
R dada por t |(t)| =
_
(t) , (t). Debido a que la funcion raz
cuadrada no es diferenciable en 0, resulta que esta funcion es diferenciable en aquellos t I
donde (t) ,= 0. En este caso se tiene
|(t)|
=
_
(t), (t)
1
2
_
=
1
2
(t), (t)
1
2
(t), (t)
(t), (t)
|(t)|
En el supuesto que el camino no pase por el origen de coordenadas, note que la suposici on
(t), (t) = 0, t I, implica la existencia de una constante K > 0 de modo tal que |(t)| = K,
cualquiera que sea t I. Esto dice los (t) se est an moviendo sobre la circunferencia de radio
K centrada en el origen de coordenadas. El reciproco es tambien cierto. Resumimo lodicho en
el siguiente teorema
Teorema 2.5 Sea I

R
n
un camino diferenciable. Existe una constante c 0 tal que
|| = c si, y s olo si, (t),
(t) = 0, cualquiera que sea t I.

Prueba: No hay nada que probar cuando K = 0. En el caso K > 0 se tiene
t I : |(t)| = c t I : |(t)|
= 0 t I :
(t),
(t)
|(t)|
= 0
t I : (t),
(t) = 0
2
con () = (cos , sen). Vemos que
() = (sen, cos ) y
que ,
= 0
Un camino I

R
2
es diferenciable a I cuando, y s olo cuando, existe un vector
v = (v
1
, v
2
) R
2
de modo tal que lim
ta
(t) (a)
t a
= (v
1
, v
2
) o equivalentemente
lim
ta
(t) (a) (t a)(v
1
, v
2
)
t a
= 0. Asimismo decir que este ultimo limite es 0 es lo mismo
a decir que la expresi on r(t) que hace posible la igualdad (t) = (a) + (t a)(v
1
, v
2
) + r(t)
es tal que lim
ta
r(t)
t a
= 0 (est a implcito que la expresi on r(t) es pequea cuando t esta cerca de
a. Esto es porque |r(t)| es mucho mas pequeno que [t a[) Por una cuestion de comodidad y
2.4. Derivadas 17
de plasmar en un dibujo lo que se dice, esto ultimo se suele escribir as: La traza de en un
entorno de (a) se parece a recta cuyo punto de paso P
0
= (a) y vector direcci on v = (v
1
, v
2
).
Este parecido es en el sentido de que la expresion r(t) que le falta a (a) + (t a)(v
1
, v
2
) para
llegar ser (t) es tal que lim
ta
r(t)
t a
= 0.
El razonamiento el basicamente el mismo si consideramos este otro limite
lim
h0
(a +h) (a)
h
= (v
1
, v
2
). En este caso La traza de en un entorno de (a) se
parece a recta cuyo punto de paso P
0
= (a) y vector direcci on v = (v
1
, v
2
). Este parecido es
en el sentido de que la expresion r(h) que le falta a (a) +h(v
1
, v
2
) para llegar ser (a +h) es
tal que lim
h0
r(h)
h
= 0.
Esto es fundamental en el estudio de la permite generalizar el concepto de derivada en
un punto para funciones del tipo R
m
f
R y R
m
f
R
n
. Pensando en esto es que damos
una segunda denicion de diferenciablidad. Esta esta motivada, obviamente, por lo hecho lineas
arriba
Teorema 2.4.1 un camino I

R
n
es diferenciable a I cuando, y s olo cuando, existe un
vector v = (v
1
, . . . , v
n
) R
m
de modo tal que la expresi on r(t) R
m
que hace posible la
igualdad (t) = (a) +(t a)(v
1
, . . . , v
n
) +r(t) es tal que lim
ta
r(t)
t a
= 0. O equivalentemente,
cuando la expresi on r(h) R
m
que hace posible la igualdad (a+h) = (a)+h(v
1
, . . . , v
n
)+r(h)
es tal que lim
h0
r(h)
h
= 0.
Ejemplo 2.4.7 : X = 2
1
n
/n N 0 R
3
denida como
_
2 +
1
n
_
=
_
1
n
, 0,
1
n
2
_

_
2
1
n
_
=
_
1
n
, 0,
1
n
2
_
(2) = (0, 0, 0)
es diferenciable en a = 2? Existe un vector A tal que la funcion
: H = h R/a +h = 2 +h X =
1
n
/n N 0 R
3
denida como (h) = (2 +h) (2) hA, verica que
lim
h0
(h)
h
= lim
h0
(2 +h) (2) hA
h
= 0
? Tomemos A = (1, 0, 0) y vemos que
lim
(2
1
n
) (2) +
1
n
(1, 0, 0)
1
n
= lim
n
n
_
0, 0,
1
n
2
_
= 0
2.5. Cualidades de las funciones diferenciables 18
lim
h0
(2 +
1
n
) (2)
1
n
(1, 0, 0)
1
n
= 0
Esto dice que lim
h0
(h)
h
= 0. Es decir es diferenciable en a = 2 y
(a) = (1, 0, 0).

Corolario 2.1 Si : X R es diferenciable en a, entonces : H = h R/a +h X
R
n
con (h) = (a +h) (a) h
(a) es tal que lim

h0
(h) = 0
2.5 Cualidades de las funciones diferenciables
Dado el subconjunto X R
n
, sabemos denimos
D(X, R
n
) = f : X R
n
/f es diferenciable
y sabemos de las inclusiones
D(X, R
n
) G
0
(X, R
n
) F(X, R
n
)
Probaremos que D(X, R
n
) es un subespacio vectorial de F(X, R
n
). Veamos
Sea , D(X, R
n
) y a X, entonces existe lim
h0
(a +h) (a)
h
= A y
lim
h0
(a +h) (a)
h
= B, luego
lim
h0
(a +h) (a)
h
+ lim
h0
(a +h) (a)
h
= A +B
= lim
h0
(a +h) +(a +h) ((a) +(a))
h
= lim
h0
( +)(a +h) ( +)(a)
h
as + es diferenciable en a: + D(X, R
n
).
Sea R y D(X, R
n
). pdq D(X, R
n
), jejercicio !!!
Teorema 2.6 (Regla de la cadena) Sea la composici on I

J

R
n
donde es una
funcion real de variable real diferenciable en a y un camino diferenciable en (a). Entonces
es diferenciable en a I. Adem as ( )
(a) =
((a)).
(a).
Prueba: Considerando que ( )(t) = ((
1
)(t), . . . , (
n
)(t)) y considerando cada
i
es
diferenciable en a, entonces
i
es diferenciable en a, de donde, es diferenciable en b.
Mas a un
( )
(t) = ((
1
)
(b), . . . , (
n
)
(b)) =
_
1
((b))
(b), . . . ,
n
((b))
(b)
_
=
((a))
(a)
2.6. Integrales 19
Ejemplo 2.5.1 Sean , 0 0,

R y [0,

R
3
denidas como (t) =
1
t
y
(t) = (cos(t) , sen(t) , 0) respectivamente. El dominio de la composici on viene dado por 0,
y esta esta denida como ( )(t) =
_
cos
_
1
t
_
, sen
_
1
t
_
, 0
_
. Consecuentemente
( )
(t) =
(t)
((t)) =
1
t
2
_
sen
_
1
t
_
, cos
_
1
t
_
, 0
_
2.6 Integrales
Denicion 2.4 Una funcion [a, b]

R
n
con (t) = (
1
(t),
2
(t), . . . ,
n
(t)) es integrable
seg un Riemann sobre [a, b] si y s olo si cada una de las funciones coordenadas [a, b]
i
R es
integrable seg un Riemann. En este caso escribimos
_
b
a
()d =
__
b
a
1
()d,
_
b
a
2
()d, . . . ,
_
b
a
n
()d
_
Propiedad 2 Sean [a, b]
,
R
n
funciones integrables. Entonces las funciones +
tambien lo es. Ademas
_
b
a
+ =
_
b
a
+
_
b
a
Prueba: De que son integrables no hay duda, puesto que cada una de sus funciones coordenadas
i
+
i
, i = 1, . . . , n lo son. Luego
_
b
a
( + )(t) =
__
b
a
(
1
+
1
)(t) , . . . ,
_
b
a
(
n
+
n
)(t)
_
=
__
b
a
1
+
_
b
a
1
)(t) , . . . ,
_
b
a
n
+
_
b
a
n
)(t)
_
=
_
b
a
(t) +
_
b
a
(t)
Ejemplo 2.6.1 La funcion [0, 1]

R
2
denidac como (t) = (t
2
+ 1 , t
3
) es integrable, pues
sus funciones coordenadas
1
(t) = t
2
+ 1 y
2
(t) = t
3
lo son. Es mas
_
1
0
(t)dt =
__
1
0
t
2
+ 1 ,
_
1
0
t
3
_
=
_
t
3
3
+t
1
0
,
t
4
4
1
0
_
=
_
3
4
,
1
4
_
Ejemplo 2.6.2 El camino [a, b]
u
R
3
denido como (t) =
_
_
(t , 1), t Q
(t , 0), t I
no es inte-
grables, pues la segunda coordenada
2
, denida por
2
(t) =
_
_
1, t Q
0, t I
no lo es.
2.7. Caminos Recticables 20
Teorema 2.7 (cambio de variable para funciones reales de variable real) Sean las funciones
[c, d]

[a , b]

R donde tiene derivada continua y es integrable. Entonces
1.] Si (c) < (d) =
_
(d)
(c)
(r)dr =
_
d
c
( )(t)
(t) dt
2.] Si (c) > (d) =
_
(c)
(d)
(r)dr =
_
d
c
( )(t)
(t) dt.
Ejemplo 2.6.3 Probemo la igualdad
_
1
0
e
t
2
+1
2t dt =
_
2
1
e
r
dr. Para esto hacemos (t) = t
2
+1.
Segun esto se tiene
_
1
0
e
t
2
+1
2t dt =
_
c=1
c=0
e
(t)
(t) dt =
_
(1)=2
(0)=1
e
r
dr
Teorema 2.8 (cambio de variable para funciones vectoriales de variable real) Sean las funciones
[c, d]

[a , b]

R
n
donde tiene derivada continua y es integrable. Entonces
1.] Si (c) < (d) =
_
(d)
(c)
(r)dr =
_
d
c
( )(t)
(t) dt
2.] Si (c) > (d) =
_
(c)
(d)
(r)dr =
_
d
c
( )(t)
(t) dt.
Ejemplo 2.6.4 Sea las funciones [1, 1]

[1, 1]

R
2
denidas como (t) = t y
(r) = (r , r
3
), respectivamente. Como (1) > (1), por la parte 2.] del torema anterior se
tiene
_
1
1
(r)dr =
_
1
1
( )(t)(1)dt =
_
1
1
() =
_
1
1
(,
2
) =
_
1
1
()
Teorema 2.9 (Fundamental del calculo) Sea : [a, b] R
n
un camino, con derivada
integrable. Entonces
_
b
a
()d = (b) (a)

2.7 Caminos Recticables
Imaginemos una partcula p desplazandose sobre un segmento de recta durante dos unidades
de tiempo. Las dos unidades de tiempo puede estar reresentado por el intervalo [1 , 1].
Suponiendo que la particula p se ubica en el punto (t) = t
2
+ 1 en el instante t [1 , 1]
cabe preguntarse ?Cuantas unidades de longitud ha recorrido la particula p en el periodo
de tiempo [1 , 1]?. Formulamos esta misma pregunta para una partcula p que se de-
splaza sobre una linea recta durante 4 unidades de tiempo, donde el desplazamiento puede ser
de modo tal que el instante t
_
5
2
,
3
2
_
la partcula p esta ubicada en el punto (t) = sen(t).
Veamos este otro ejemplo un ligeramente diferente. Una partcula p se desplaza sobre la
curva ( =
_
(t, t
2
+ 1) : t [1 , 1]
_
durante 2 unidades de tiempo. Suponiendo que estas dos
unidades de tiempo pueden ser representadas por el intervalo [1 , 1], y el desplazamiento es de
modo tal que en el instante t [1 , 1] la partcula p se ubica en el punto (t) = (t, t
2
+ 1).
Cuantas unidades de longitud ha recorrido la particula p?. Este caso no tiene la simplesa de
los ejemplos anteriores, puesto que en este caso la particula no se desplaza sobre una linea recta.
De manera generica. Dado un camino I

R
n
y un punto a I nos interesa resover
la siguiente situacion: Si b I es un instante > a Cuantas unidades de longitud recorre la
particula p desde el instante a hasta el instante b?. Para contestar a estas preguntas tomamos
una partici on P = a = t
0
, t
1
, t
2
, , t
n1
, t
n
= b del intervalo cerrado [a , b] I y
observamos que
Distancia recorrida
por la particula
durante el intervalo
de tiempo [a , b]
|(t
1
) (t
0
)| +|(t
2
) (t
1
)| +... +|(t
n
) (t
n1
)|
Denotando por
_
/
[a , b]
, P
_
la sumatoria del lado derecho, y agrupando todas estas sumas en
un conjunto A, esto es A =
_
/
[a , b]
, P
_
: Pesparticion
_
, resulta bastante natural postular
lo siguiente
Si el conjunto A
es acotado
=
Distancia recorrida por la particula
durante el intervalo de tiempo [a , b]
= Supremo A
Por ejemplo, tal conjunto A no esta acotado para la funcion [0 , 1]

R
2
denida por (t) =
_
t,
1
t
_
y (0) = 1. Por lo tanto la distancia recorrida por la particula es innita. Cabe
preguntarnos entonces si la restriccion
/
[a , b]
es acotada, entonces A esta acotado? En otras
palabras siempre es posible calcular la distacia recorrida de un camino acotado? La respuesta
es no, a saber por el camino acotado [0 , 1]

R
2
denida como (t) =
_
t, sen
_
1
t
__
, t ,= 0
y (0) = (0 , 1). El conjunto A para este camino es no acotado y, por lo tanto, no se puede
medir el recorrido de al partcula. Hecho este pre ambulo, presentamos esta situaci on de manera
formal.
Denicion 2.5 Un camino [a , b]

R
n
es recticable si y solo si el conjunto
A =
_
/
[a , b]
, P
_
: P es particion
_
es acotado. En caso armativo el supremo de A es la distancia recorrida por la particula p
durante el intervalo de tiempo [a , b]. Convenimos en escribir () = Sup(A).
Ejemplo 2.7.1 Un poco de intuici on nos permite armar que el conjunto A es acotado para
el camino [0, 2]

R
2
denido como (t) =
_
_
_
(t, 0) t ,= 1
(1, 1) t = 1
Cual es el valor de ()?
Para responder esta pregunta tomamos una partici on P y observamos lo siguiente: Si P posee
a 1, entonces (, P) = 2. Caso contrario, es decir si la particion P fuese de la forma P =
t
0
, t
1
, ...t
k1
, t
k
= 1, t
k+1
, ..., t
n
, entonces
(, P) = |(t
1
) (t
0
)| + +|(t
k1
) (t
k2
)| +[(1) (t
k1
)|
+ [(t
k+1
) (1)| +[(t
k+2
) (t
k+1
)| + +|(t
n
) (t
n1
)|
= t
k1
+|(1, 1) (t
k1
, 0)| +|(t
k+1
, 0) (1, 1)| + 2 t
k+1
= t
k1
+
_
(1 t
k1
)
2
+ 1 +
_
(t
k+1
1)
2
+ 1 + 2 t
k+1
4
donde la aproximacion es porque nos interesa aquellas particiones P con norma casi 0. De
todo esto resulta que () = Supremo(A) = 4.
Este ejemplo muestra que recticabilidad no implica continuidad.
Ejemplo 2.7.2 El conjunto A no es acotado para el camino continuo [0, 1]

R
2
denido
como (t) =
_
_
_
(0, 0) t = 0
_
t, tsen
_
2t
__
t ,= 0
Considerando el teorema que viene inmediatamente
despues de este ejemplo, basta hacer notar que la segunda coordenada [0, 1]

R dada por
(t) =
_
_
_
0 t = 0
t sen
_
2t
_
t ,= 0
no es recticable. En efecto. Tomando la partici on
P =
_
0,
1
4m
,
1
4m1
, ...,
1
3
,
1
2
, 1
_
se tiene que
l(, P) =
_
1
4m
_
(0)
_
1
4m1
_
_
1
4m
_

+[
_
1
4m2
_
_
1
4m1
_
[ +... +[
_
1
2
_
_
1
3
_
[ +[(1)
_
1
2
_
[
=
1
4m1
+
1
4m1
+
1
4m3
+
1
4m3
+
1
4m5
+
1
4m5
+... +
1
3
+
1
3
+ 1
==
1
k
+
1
k
+
1
k 2
+
1
k 2
+
1
k 4
+
1
k 4
+... +
1
3
+
1
3
+ 1
1
k + 1
+
1
k
+
1
k 1
+
1
k 3
+
1
k 4
+
1
k 5
+... +
1
4
+
1
3
+
1
2
=
k+1
n=2
1
n
Se ha obtenido
k+1
n=2
1
n
=
4m
n=2
1
n
< l(, P)
lo cual dice que el conjunto A (para la funcion ) no es acotado.Por tanto no es recticable.
Teorema 2.7.1 El camino [a, b]

R
n
es recticable si, y s olo si, cada una de sus funciones
coordenadas es recticable.
Teorema 2.7.2 Si [a, b]

R
n
es un camino continuo y recticable, entonces () =
lim
|P|0
l(, P)
Teorema 2.7.3 Todo camino [a, b]

R
n
de clase C
1
es recticable. Adem as () =
_
b
a
|
(t)| dt
Antes de dar la prueba puntualizamos dos cosas. Lo primero (1) es que la continuidad de
garantiza la existencia de la integral que aparece en la tesis del teorema. Esta integral, a
la que por motivos de comodidad vamos a denotar por I, puede expresarse como un limite
de sumas, esto es I = lim
|P|0
k
i=1
|
(t
i
)|(t
i
t
i1
). Lo segundo (2) es que en la prueba
se har a uso de un resultado del Analisis real en varias variable, que a la letra dice: Si
es un camino continuo, entonces para todo > 0 existe de modo tal que la desigualdad
|(t) (r)
(r)(t r)| <

2(b a)
(t r) es vericada por todo r, t [a , b] con [r t[ < .
Prueba: Fijado > 0, vamos a encontrar > 0 que haga que toda partici on P con
|P| < verique la desigualdad [(, P) I[ < . Para tener una idea de como realizar la
prueba tomamos una particion arbitaria P y observamos que
[(, P) I[
i=1
|(t
i
) (t
i1
)|
k
i=1
|
(t
i1
)|(t
i
t
i1
)
i=1
|
(t
i1
)|(t
i
t
i1
) I
i=1
|(t
i
) (t
i1
)| |
(t
i1
)|(t
i
t
i1
)
i=1
|
(t
i1
)|(t
i
t
i1
) I
i=1
|(t
i
) (t
i1
)
(t
i1
)(t
i
t
i1
)| +
i=1
|
(t
i1
)|(t
i
t
i1
) I
Por tanto, para el > 0 jado tomamos un delta al que le sea aplicable el limite en (1) y la
desigualdad en (2). Hecho esto vemos que toda partici on P con |P| < se tiene
[(, P) I[
k
i=1
2(b a)
(t
i
t
i1
) +

2
=

2
Ejemplo 2.7.3 Calculemos () para cada uno de los siguientes caminos.
1.] Sea [
]

R
2
denido como (t) = (cos t
2
, sent
2
)
Vemos que l() =
_

|(2 t sent
2
, 2 t cos t
2
)| = 2
2.] Sea [0 , 2]

R
3
denido como (t) = (t cos t , sent)
Vemos que l() =
_
2
0
|(1 , sent , cos t)| = 2
2
Denicion 2.6 Una reparametrizacion de un camino [a , b]

R
n
es cualquier composicion
de la forma [c , d]

R
n
, donde [c , d]

[a , b] es una funcion monotona y suryectiva
(recordar el teorema:Toda funcion monotona y suryectiva es continua).
Teorema 2.7.4 Un camino [a , b]

R
n
es recticable si y solo si cualquier reparametrizacion
tambien lo es. En este caso se tiene, ademas, que el recorrido es invariante. Esto es () =
( ).
Ejemplo 2.7.4 Hallemos () para cada uno de los siguientes caminos de clase C
1
1.] [0 , 2]

R
3
denido como (t) = (mcos(t) , msen(t) , nt), donde m, n son ambos
diferentes de cero. Considerando que |
(t)| = |(msen(t) , mcos(t) , n)| =
m
2
+n
2
resulta
() =
_
2
0
|
(t)|dt = 2
_
m
2
+n
2
2.] [1 , 2]

R
2
denido como (t) = (t
2
, t
2
). En este caso se tiene
(t) = (2t , 2t),

|
(t)| =
4t
2
+ 4t
2
= 2
2t y por tanto
() =
_
2
0
|
(t)|dt =
_
2
1
_
4t
2
+ 4t
2
= 3
2
Considerando el camino 2.] del ejemplo anterior, deseamos encontrar una reparametrizacion
[a , b]

[1 , 2]

R
2
de modo tal que tenga velocidad constante e igual a 1. Una tal
reparametrizacion hace que
() = ( ) =
_
b
a
|( )
(t)|dt =
_
b
a
dt = b a
Esto dice que la distancia recorrida por al particula sobre la traza de es igual al tiempo
empleado en movilizarse. Como encontramos la funcion que haga esto posible?
Para esto consideramos la funcion [1 , 2]
S
R denida como S(t) =
_
t
1
|
(x)|dx =
2(t
2
1)
y estudiemos sus caracteristicas. Por ser esta continua y creciente, pues S
(t) = |
(t)| = 2
2t >
0, cualquiera que sea t [1 , 2], tal funcion puede ser escrita como [1 , 2]
S
[0 , 3
2], donde
S(1) = 0 y S(2) = 3
2. De este modo S resulta ser una biyeccion diferenciable con inversa

[0 , 3
2]
S
1
[1 , 2] monotona (creciente) y sobreyectica. En realidad esta inversa es tambien
diferenciable debido a que S
no se anula sobre [1 , 2]. Mas precisamente, la funcion S

1
, la cual
en este caso concreto est a denida como S
1
(t) =
_
t
2
+ 1, es tambien diferenciable. Ademas
_
S
1
_
(S(t)) =
1
S
(t)
=
1
|
(t)|
=
1
2
2 t
De esto se tiene que la composici on [0 , 3
2]
S
1
[1 , 2]

R
2
resulta ser
una reparametrizacion diferenciable de , con velocidad constante e igual a 1, esto es
_
_
_
_
S
1
_
(t)
_
_
_ = 1. Esto es porque
_
S
1
_
(t) =
_
S
1
(t)
_
.
_
S
1
(t) =
_
S
1
(t)
_
.
_
S
1
_
S
_
S
1
(t)
__
=
_
S
1
(t)
_
.
1
|
(S
1
(t)) |
Por tanto esta reparametrizacion es tal que
_
S
1
_
=
_
3
2
0
_
_
( S
1
)
(t)
_
_
= 3
2. Por
tanto la funcion buscada en S
1
. De este modo acaba lo que queriamos.
Note, haciendo a un los lado los calculos, que las razones por la cual la funcion = S
1
fue
hallada es que esta tiene las siguientes caracteristicas. Estas son
1. que S
(t) = |
(t)| > 0 (esto asegura la diferenciabilidad de S

1
)
2. que sea de clase C
1
, puesto que asegura que S(t) =
_
t
1
|
(t)|dx exista.
Todo esto es un fundamento para
Teorema 2.7.5 Sea : [a , b] R
n
un camino de clase C
1
y regular(i.e
no se anula en
ningun punto). Entonces
1. La funcion [a , b]
S
R denida como S(t) :=
_
t
a
|
(t)|dx esta bien denida.

2. S es estrictamente creciente
3. el rango de S es [0 , l()]
4. S
1
es diferenciable y S
1
(S(t)) =
1
S
(t)
, cualquiera que sea t [a , b]
5. [0 , ()]
S
1
R
n
es una reparametrizacion de
6. S
1
es diferenciable y |( S
1
)
(t)| = 1 cualqueira que sea t [0 , l()]

7. ( S
1
) =
_
()
0
|( S
1
)
(t)|dt =
_
()
0
dt = ()
Teorema 2.7.6 Un camino diferenciable [a , b]

R
n
C
1
es tal que
_
/
[a , t]
_
= t a,
cualquiera que sea t [a , b] si, y s olo si, |
(t)| = 1 cualquiera que sea t en [a , b].

Prueba: Veamos la ida. Si es tal que
_
/
[a , t]
_
= t a, cualquiera que sea t en [a , b],
entonces, por ser es de clase C
1
, se tiene
_
/
[a , t]
_
=
_
t
a
|
(r)|dr = t a
Derivando con respecto a t resulta |
(t)| = 1. La vuelta es simple. Si es de clase C

1
, entonces
cada t en [a , b] verica la igualdad l
_
/
[a , t]
_
=
_
t
a
|
(t)| = t a Un camino [a , b]

R
n
est a parametrizado por longitud de arco si y solo si este verica cualquiera de las condiciones
dadas en el teorema anterior.
Corolario 2.7.1 Todo camino de clase C
1
y regular se puede parametrizar po longitud de arco
Ejemplo 2.7.5 La funcion [0 ,
2]

R
2
denida como
_
_
_
(1 t
2
, 1 t
2
) t [0 , 1]
(t
2
1 , t
2
1) t [1 ,
2]
no
esta parametrizada por longitud de arco, puesto que para t =
2 se tiene que l
_
/
[a , t]
_
,=
20
2.8. El triedro de frenet 27
2.8 El triedro de frenet
En esta seccion vamos a estudiar el comportamiento de la traza de un camino diferenciable
y regular I

R
n
, n = 2, 3., y no necesariamente parametrizado por longitud de arco. La
diferenciabilidad es insuciente. Esta solo nos dice que la traza al redecor de un punto (t) se
parece a una recta cuyo punto de paso es (t) y vector direccion
(t). Quisieramos encontra

mucha mas informacion que esto. Considerando un camino cuya traza est a contenida en un
plano, es natural medir cuanto se curva la traza en un determinado punto (t). Por ejemplo el
camino 0 , 2

R
3
denido como (t) = (cos(t) , 0 , sen(t)) se curva de manera constante.
Esto mismo no sucede con este otro camino R

R
2
denido como (t) = (t , t
4
). Esta
se curva mucho mas en (0) que en (1). Pero el termino curva no es un termino propio de
caminos cuya traza estan contenidas en un plano. Por ejemplo el camino R

R
3
denido
como (t) = (cos(t) , t , sen(t)). Su graca es algo asi como un resorte cuyo eje coincide con
el eje Y . Un poco de imaginacion nos permitiria decir que esta tambien se curva de manera
constante. Pero no solo esto sino que esta tambien se esta torciendo. ?Torciendo?. En este
sento los dos caminos anteriores no se tuercen, razon por la cual podriamos decir que tienen
torsion 0 en cada punto (t).
Con tales propositos en mente es que para un camino I

R
n
, n = 2, 3., denimos el
vector tangente a en t I como T(t) =

(t)
|
(t)|
. De esto consideramos de manera natural
la funcion tangente I
T
R
n
denida como se inidica arriba. La diferenciabilidad de esta
funcion tangente se da simpre y cuando sea posible derivar el camino hasta el orden 2. En
este caso se tiene
T
(t) =
1
|
(t)|
(t)+
_
1
|
(t)|
_
(t) =

(t)
|
(t)|
(t)|
(t)|
2
(t) =

(t)
|
(t)|
T(t) ,
(t)
|
(t)|
T(t)
Observe decir que T
(a) = 0 es equivalentemente a decir que el vector tangente

(t)
|
(t)|
varia
muy poco o nada cuando t a. Considerando que estos vectores tangentes est a sobre la
esfera de radio 1, resulta que esto es equivalente a decir que la direcci on del vector
(t) varia
muy poco o nada, cuando t a. Lo que a su vez es equivalente a decir que existen vectores
v, w R
3
de modo tal que para valores t cercanos de a se tiene (t) (t) v +w. Por tanto nos
atrevemos a decir que T
(a) = 0 es lo mismo que decir que la traza al rededor de (a) no se curva.

Motivados por este preambulo introducimos el concepto de curvatura. La curvatura de
en el punto (t) es el numero K(t) denido por K(t) =
|T
(t)|
|
(t)|
. Observe que la curvatura
K(t) es nula cuando la traza, alrededor de (t) se parece a una recta. La curvatura en el punto,
por tanto, mide lo que se curva la traza alrededor de (t). Esto origina, de manera natural, una
funcion curvatura I
K
R la cual verica K(t) =
_
_
_
_
T
(t)
|
(t)|
_
_
_
_
=
_
_
_
_
(t)
|
(t)|
2

T(t) ,
(t)
|
(t)|
2
T(t)
_
_
_
_
Ejemplo 2.8.1 Calculemos la curvatura K(t) para cada uno de los caminos dados a continua-
cion
1.] R

R
3
denido como (t) = (t , t
2
, 0). En este caso se tiene
(t) = (1 , 2t , 0). De ahi

que |
(t)| =
1 + 4t
2
. Luego
T(t) =
_
1
1 + 4t
2
,
2t
1 + 4t
2
, 0
_
T
(t) =
_
4t
_
(1 + 4t
2
)
3
,
2
_
(1 + 4t
2
)
3
, 0
_
Luego la curvatura en el punto (t) esta dada por K(t) = 2
4t
2
+ 1
(1 + 4t
2
)
2
. Muy particularmente
K(0) = 2. Ademas observe que lim
t
K(t) = 0. Esto dice que la curva en el innito se parece
a una recta.
2.] [0 , 2]

R
3
denido como (t) = (cos(t) , t , sen(t)). En este caso se tiene
(t) =
(sen(t) , 1 , cos(t)), con lo que |
(t)| =
2. Luego T(t) =
_
sen(t)
2
,
1
2
,
cos(t)
2
_
y T
(t) =
_
cos(t)
2
, 0 ,
sen(t)
2
_
. Por tanto, en cualquier punto t [0 , 2] se tiene K(t) =
1
2
. Esto dice
que la traza se curva de modo constante.
3.] La traza de una camino de clase C
2
[a , b]

R
3
esta contenida en una recta si, y s olo
si, tiene kurvatura nula en todo punto t [a , b].
Sea I

R
3
un camino. Si I

I es un difeomorsmo, entonces
T(r) =
( )
(r)
|( )
(r)|
=

((r))
|
((r))|
(r)
|
(r)|
= [1] (T ) (r)
Esto dice que cuando es creciente el sentido del vector tangente no cambia. En el caso que
sea decreciente, el sentido del vector tangente no cambia. Como T y son diferenciables, T
tambien lo es.
Teorema 2.8.1 (Invarianza de la curvatura) Sea I

R
3
un camino regular y de clase C
2
(no necesariamente parametrizada por longitud de arco) y J

I un difeomorsmo. Entonces
para r J ocurre que la curvatura de en r y la de en ((r)) son iguales.
Prueba:
K(r) =
_
_
_
_
_
T
(r)
( )
(r)
_
_
_
_
_
=
_
_
_
_
(T )
(r)
( )
(r)
_
_
_
_
=
_
_
_
_
T
((r))
|
((r))|
(r)
|
(r)|
_
_
_
_
= (K )(r)
La curvatura, como su nombre lo dice, solo indica cuanto se curva la tarza alrededor de un de-
terminado punto. Esta curva de la tarza puede ocurrir en un plano. o en el espacio. NO brinda
mas informacio. Con tal proposito, que es el de obtener mas informacion, es que introducimos el
concepto de torsion. Para esto es necesario suponer que es un camino donde T
(t) ,= 0, o lo que
es lo mismo decir curvatura K(t) no nula, cualquiera que sea t I, denimos el vector normal a
en el punto (t) como (t) =
T
(t)
|T
(t)|
. Observe que los vectores normal y tangente son ortogo-
nales, es decir forman un angulo igual a 90
0
, puesto que T(t) (t) =
1
|T
(t)|
T(t) T
(t)
_
= 0.
Del mismo modo para que la funcion normal I

R
n
sea difernciable es necesario que sea
derivable hasta el orden 3. El plano O(t) generado por los vectores T(t) y (t), llamado plano
osculador a en el punto (t), es el que contiene a Traz() alrededor de (t). Por ejemplo si la
curva esta contenida toda en un plano P, entonces el plano osculador es siempre P, cualquiera
que sea t I. La tarea es ahora averiguar cuanto cambia de inclinacion este plano. ?Como
medir esta variacion?. Para esto debemos escoger un vector b(t) normal a O(t). Aasi esteudiar
la variacion de este plano es lo mismo que estudiar la variacio de este vector norma b(t). Pero
antes damos algunas observaciones. En el caso que este parametrizado por longitud de arco
se tiene naturalmente T(t) =
(t), T
(t) =
(t), (t) =

(t)
|
(t)|
.
Teorema 2.8.2 Sea I

R
3
un camino regular de clase C
2
con curvatura no nual en todo
punto. Sea tambien J

I un difeomorsmo. Entonces para r J ocurre que el vector
normal a en el punto ( )(r) es igual al vector normal a en el putno ((r))
Prueba: Sea (t) el vector normal para en el punto t J. Entonces
(r) =
T
(r)
|T
(r)|
=
(T )
(r)
|(T )
(r)|
=
T
((r))
|(T
()(r)|
(r)
[
(r)[
=
T
((r))
|T
((r))|
donde el signo se escoge segun sea creciente o decreciente. Cualquiera que sea el caso siempre
se tiene (r) = ((r)). Esto es = .
Retornando a lo del vector b(t) es necesario recordar que toda transformacion lineal R
3
T
R
3
para la que T(e
1
), T(e
2
), T(e
3
) es una base ortonormal con det(T) > 0, se puede obetener
rotando.
Denicion 2.7 El vector binormal a en el punto (t) es aquel vector unitario b(t) tal que
la transforamcion R
3
T
R
3
denida como T(e
1
) = T(t), T(e
2
) = (t) y T(e
3
) = b(t)
es tal que T(t), (t), b(t) es una base ortonormal y ademas de(T) > 0. Dicho de otro
modo: El vector binormal es aquel vector unitario b(t) tal que T(t), (t), b(t) es ortonormal y
det([T(t), (t), b(t)]) > 0
Con esto queda denida la funcion binormal I
b
R
3
como b(t) = T(t) (t)
det([T(t), (t), b(t)]) > 0
1. |b(t)| = |T(t) (t)| = |T(t)|.|(t)|.sen(< (T(t) , (t)))
2. b
(t) = T
(t) (t) +T(t)
(t) = T(t)
(t)
De esto se obtiene que b
(t) es ortogonal a T(t), pero como b
(t) es ortogonal a b(t), entonces

b
(t) es multiplo de (t). Luego existe un unico numero (t) tal que
b
(t)
|
(t)|
= (t).(t)
El numero (t) es llamdo torsion de en (t). La razon por la que aparece el nuemro
1
(t)
es que la torsion debe ser invariante por reparametrizaciones. Esto se traduce en el siguiente
teorema
Denicion 2.8 Sea I

R
3
2
punto. Entonces: El plano generado por T(t) y b(t) se llama Plano Recticante y el que generan
(t) y b(t) se llama Plano Normal. La terna (T(t) , (t) , b(t)) se llama Triedro de Frenet para
en el punto (t).
Teorema 2.8.3 (invarianza de la torsion) Sea I

R
3
2
con
curvatura no nula en todo punto. Si J

I es un difeomorsmo, entonces la torsion de
en el punto r es igual a la torsion de en el punto (r), cualquiera que sea r J.
Prueba: Considerando que b(r) = T(r) (r) = [] [T((r)) ((r)] = [](b )(r), resulta
b
(r) = []b
((r))
(r) = []
(r)
_
T((r))
((r))
Luego la torsion (r) para en r es tal que

(r)(r) =
b
(r)
|( )
(r)|
= []

(r)
|
(r)|
T((r))
((r))
|
((r))|
=
b
((r))
|
((r))|
= ((r)).((r))
De donde considerando que (r) = ((r)) resulta (r) = ((r)). Aqui el signo [] es segun
sea creciente o decreciente.
Teorema 2.8.4 (Formulas de Frenet) Sea I

R
3
2
con cur-
vatura no nula en todo punto. Entonces
a.]
T
(t)
|
(t)|
= K(t).(t) b.]

(t)
|
(t)|
= K(t).T(t) (t).b(t) c.]
b
(t)
|
(t)|
= (t).(t)
Prueba: La parte c.] es la misma denicion de torsio. La parte a.] es porque
T
(t)
|
(t)|
=
|T
(t)|
|
(t)|
T
(t)
|T
(t)|
= K(t)(t)
Probemos 2. De (t) = b(t) T(t) se tiene
(t) = b
(t) T(t) +b(t) T
(t). Luego
(t) = ((t)|
(t)|(t)) T(t) + (T(t) (t)) T
(t)
= (t)|
(t)|((t) T(t)) +T(t) , T
(t) (t) (t) , T
(t) T(t)
= (t)|
(t)|b(t) (t) , T
(t) T(t)
= (t)|
(t)|b(t) |(t)||T
(t)|cos(< ((t) , T
(t)))T(t)
= (t)|
(t)|b(t) |T
(t)|T(t)
De esto se deduce que
1
|
(t)|
(t) = K(t).T(t) (t).b(t).

Teorema 2.8.5 Sea I

R
3
2
punto. Entonces (I) esta contenido en un plano si y solo si es identicamente nula.
Prueba: Veamos la Ida. Si (I) esta contenido en el plano
P
uv
= Lu, v +C = xu +yv +C : x, yinR
Entonces para cada t I se tiene (t) = x(t)u + y(t)v + C. Luego las funciones x, y : I R
son diferenciables y
(t) = x
(t)u + y
(t)v Lu, v Luego de T(t) Lu, v se tiene T(t) =

h(t)u +w(t)v es decir T
(t) = h
(t)u +w
(t)v Lu, v. Y consecuentemente T(t) y (t) estan

en Lu, v. En otras palabras se concluye que
b(t)Lu, v
cualquiera que sea t en I. Por otro lado como |b(t)| = 1, se tiene que b(t) solo puede tomar dos
valores. Y como b es una funcion continua, entonces b cte. por tanto
b
(t)
|
(t)|
= 0 = 0.(t)
Es decir (t) es cero cualquiera que sea t en I.
Probemos la vuelta. Si (t) = 0, cualqueira que sea t en I, entonces de
b
(t)
|
(t)|
= 0 = 0.(t)
se tiene que b
(t) = 0. Es decir b es constante. Por otra parte como

b(t) , T(t) =
_
C ,

(t)
|
(t)|
T(t)
_
=
1
|
(t)|
C ,
(t)
_
= 0
Entonces para cualquier t en I se tiene
c
1
1
(t) +c
2
2
(t) +c
3
3
(t) = 0
y consecuentemente
c
1
1
(t) +c
2
2
(t) +c
3
3
(t) = cte = k
Esto permite concluir la pertenencia
(t) Plano = (x, y , z) R
3
: c
1
x +c
2
y +c
3
z = k
Captulo 3
Funciones Reales de Variable
Vectorial
Ejemplo 3.0.2 1. El graco de toda funcion constante cc
2. El dominio de R
2
X
f
R denida como f(x, y) =
_
1 x
2
y
2
es la la bola B(1 , 0)
3. El dominio de R
2
X
f
R denida como f(x, y) = Ln(x.y) es
(x, y) R
2
: x, y > 0 x, y < 0
es la bola B(1 , 0)
3.1 Limites R
n
en R
Ejemplo 3.1.1 Dada R
2
0
f
R con f(x, y) =
x.y
x
2
+y
2
no existe lim
(x , y)(0 , 0)
f(x, y). Esto
se debe a que cuando nos acercamos a (0 , 0) por sobre el eje X (i.e. Hacemos y = 0) se tiene
lim
(x , 0)(0 , 0)
f(x, 0) = 0
Y cuando nos acercamos a (0 , 0) por sobre la recta identida (i.e. Hacemos x = y) se tiene
lim
(x , x)(0 , 0)
f(x, x) =
1
2
2
0
f
R con f(x, y) =
3x
2
.y
x
2
+y
2
tampoco existe lim
(x , y)(0 , 0)
f(x, y).
33
3.1. Limites R
n
en R 34
2
0
f
R con f(x, y) =
x
4
.y
x
4
+y
4
se pregunta Existe
lim
(x , y)(0 , 0)
f(x, y)? Para esto hacemos unos calculo que nos permitan responder contunden-
temente NO. O si no es asi son una base sobre el que reposa lo que que contin ua. Veamos En
primer lugar observamos que cuando nos acercamos a (0 , 0) por sobre cualquier recta L : y = Kx
se tiene
lim
(x , kx)(0 , 0)
kx
4
.x
x
4
+k
4
.x
4
= lim
(x , kx)(0 , 0)
k
1 +k
4
.x = 0
Este calculo muestra que si el limite en cuestion existiese este seria 0. A continiuacion probamos
que esto es as. En efecto. se observa que todo vector no nulo (x, y) verica la desigualdad
x
4
.y
x
4
+y
4
[ y [
De ahi que si para > 0 tomamos = y (x, y)

B( , 0) R
2
se tiene que
[ f(x, y) 0 [
x
4
.y
x
4
+y
4
0
[ y [ | (x, y) | <
Ejemplo 3.1.4 Sea R
2
f
R con f(x, y) = x
2
y
2
. Probar que el lim
(x , y)(0 , 0)
f(x, y) es cero.
En efecto.
Dado > 0 y una cantidad pequena y positiva, tomamos (x, y)

B( , 0) R
2
. Entonces de
1. [x y[ [x[ +[ y[ 2|(x, y)| 2
2. [x +y[ [x[ +[y[ 2|(x, y)| 2
obtenemos
[ f(x, y) 0 [ = [x
2
y
2
[ = [x y[.[x +y[ 4
2
Es posible coger > 0 con la caracteristica 4
2
< ?
Basta coger =

2
Ejemplo 3.1.5 Sea R
2
f
R con f(x, y) = 3x
2
+ 5xy. Probar que el lim
(x , y)(1 , 1)
f(x, y) es 8.
En efecto.
Dado > 0, escogemos 0 < < 1. Pues de ser esto asi resulta que de (x, y)

B( , (1 , 1)) R
2
obtenemos
0 < 1 < x < 1 + 0 < 1 < y < 1 +
De donde
0 < 3(1 )
2
< 3x
2
< 3(1 +)
2
0 < 5(1 )
2
< 5x.y < 5(1 +)
2
3.2. Derivadas Direccionales 35
De donde sumando estas desigualdades y luego restando 8se obtiene
0 < 8(1 )
2
8 < 3x
2
+ 5x.y 8 < 8(1 +)
2
8
Es decir
3x
2
+ 5x.y 8
< 8(1 +)
2
8
Es posible coger > 0 con la caracteristica 8(1 +)
2
8 < ? La respuesta es Si. Esto acaba
la prueba.
Teorema 3.1.1 Sea f : U R una funcion denida en el abierto U de R
n
, : [a , b] U
un camino continuo de modo que f/
([a , b])
tambien sea continuo. Si f((a)) < d < f((b)),
entonces existe x [a , ]
tal que f(x) = d

Teorema 3.1.2 Sea f : K R una funcion continua denida en el compacto K R. Entonces
existen puntos x
1
, x
2
en K de modo que
f(x
1
) f(x) f(x
2
)
cualquiera que sea x en K
Prueba: Probemos primero que f(K) es cerrado. Dado y f(K) sabemos que para cualquier
natural n siempre es posible cogen un y
n
en el corte
_
y
1
n
, y +
1
n
_
f(K). Esto garantiza la
existencia de x
n
K con f(x
n
) = y
n
, la misma que sin perdida de generealidad, debido a que
K es compacto, la podemos supones converegente a a K. Y como
lim
n
f(x
n
) = lim
n
y
n
= y
debido a la continuidad de f se concluye la pertenencia y K.
Ahora probamos que f(K) es acotado.
3.2 Derivadas Direccionales
Sea R
2
f
R denida como f(0 , 0) = 0 y f(x, y) =
x
2
.y
x
2
+y
2
. Para v = (v
1
, v
2
) R
2
(0 , 0) se tiene que
lim
t0
f(a +tv) f(a)
t
= lim
t0
f(tv
1
, tv
2
)
t
= lim
t0
t
3
.v
2
1
.v
2
t
2
.v
2
1
+t
2
v
2
2
t
= lim
t0
v
1
.v
2
v
2
1
+v
2
2
=
v
1
.v
2
v
2
1
+v
2
2
.
3.3. Diferenciabilidad 36
Denicion 3.1 Sea f : U R una funcion denida en el abierto U de R
n
. La derivada direc-
cional de f en el punto a = (a
1
, a
2
) U y en la direccion del vector no nulo v = (v
1
, v
2
v
n
)
es
lim
t0
f(a +tv) f(a)
t
S olo en el caso que tal limite fuese nito, es lcito escribir
f
v
(a) := lim
t0
f(a +tv) f(a)
t
Si v fuese de la forma (0 , 0 ,
iesima coordenada
..
1 , 0 , , 0) escribimos v = e
i
y convenimos en
f
v
(a) :=
f
e
i
(a) :=
f
x
i
(a) := lim
t0
f(a +te
i
) f(a)
t
y le llamamos i esima derivada parcial de f en el punto a.
3.3 Diferenciabilidad
Denicion 3.2 Sea f : U R una funcion denida en el abierto U de R
n
. f es diferenciable
en a U si y solo si existen n numeros A
1
, A
n
de modo que la funcion
r : H = h R
n
: a +h U R
denida como r(h) = f(a +h) f(a) (h
1
, h
n
) (A
1
, A
n
) verica que
lim
h0
r(h)
|h|
= 0
De ser esto asi, la dericada de f en a es
Df
a
= (A
1
, A
n
)
Ejemplo 3.3.1 La funcion R
2
f
R denida como f(x, y) =
_
x
2
+y
2
no es diferenciable en
(0 , 0)
Prueba: Si hubiesen numeros reales A
1
, A
2
tal que
1.
f((0 , 0) + (h
1
, h
2
)) =
_
h
2
1
+h
2
2
= f((0 , 0)) +(h
1
, h
2
) (A
1
, A
2
) +r(h)
= h
1
.A
1
+h
2
.A
2
+r(h)
2. lim
(h
1
, h
2
)(0 , 0)
r(h)
[h[
= lim
(h
1
, h
2
)(0 , 0)
1
h
1
[h[
A
1
h
2
[h[
A
2
= 0
entonces tomamdo los h de la forma (h
1
, 0) se obtiene que
lim
(h
1
, 0)(0 , 0)
r(h)
[h[
= 1 lim
h
1
0
+
h
1
h
1
A
1
= 1 lim
h
1
0
h
1
h
1
A
1
= 1
Lo cual implica claramente que A
1
= 1 = 1
Observe ademas que no existen las derivadas parciales. Por ejemplo la primera derivada
parcial no existe.
f
x
f(0 , 0) = lim
t0
f((0 , 0) +te
1
) f((0 , 0))
t
= lim
t0
[t[
t
2
f
R denida como f(x, y) = x
2
+y
2
es diferenciable en (1 , 1)
Prueba: Para esto observamos que los numeros
A
1
=
f
x
(1 , 1) =
f
y
(1 , 1) = 2
verican
1.
f((1 , 1) + (h
1
, h
2
)) = (1 +h
2
1
)
2
+ (1 +h
2
2
)
2
= f((1 , 1)) +(h
1
, h
2
) (2 , 2) +
r(h)
..
h
2
1
+h
2
2
= h
1
.A
1
+h
2
.A
2
+r(h)
2. lim
(h
1
, h
2
)(0 , 0)
r(h)
[h[
= lim
(h
1
, h
2
)(0 , 0)
h
2
1
+h
2
2
_
h
2
1
+h
2
2
= 0
n
. Si f es diferenciable
en a U, entonces
1. lim
h0
r(h) = 0. Y consecuentemente se da la continuidad de f en a
2. Exiten todas las derivadas direccionales en a
3. Se verican la igualdades
a.
f
v
(a) = v
1
.
f
x
1
(a) + v
n
.
f
x
n
(a)
b.
f
v +w
(a) =
f
v
(a) +
f
w
(a)
Prueba: De la diferenciabilidad se obtiene la funcion r : H = h R
n
: a + h U R
denida como r(h) = f(a + h) f(a) (h
1
, h
n
) (A
1
, A
n
) verica que lim
h0
r(h)
|h|
= 0.
De ahi que
lim
h0
r(h) = lim
h0
r(h)
[h[
[h[ = 0
Consecuentemente tambien se da la continuidad, pues
lim
h0
f(a +h) = lim
h0
[r(h) +f(a) +(h
1
, h
n
) (A
1
, A
n
)] = f(a)
Esto prueba la primera parte. Veamos la segunda. Tomando v R
2
(0 , 0) y considerando
t R pequenos de modo que a + tv U (esto es posible debido a que U es abierto) resulta
f(a +tv) f(a) = t v (A
1
, A
n
) +r(tv) de donde
lim
t0
f(a +tv) f(a)
t
= v (A
1
, A
n
) + lim
t0
r(tv)
t[v[
[v[
= v (A
1
, A
n
) + lim
t0
r(tv)
[t.v[
[v[
= v (A
1
, A
n
)
De ahi que existe
f
v
(a) y es igual a v (A
1
, A
n
).
Particularmente si v = (0 , 0 ,
iesima coordenada
..
1 , 0 , , 0) = e
i
, obtenemos que
f
x
i
(a) =
f
e
i
(a) = e
i
(A
1
, A
n
) = A
i
Veamos ahora la tercera parte. Por lo anterior sabemos que
f
v
(a) = (v
1
, v
n
) (A
1
, A
n
) = v
1
.e
1
+, +v
n
.e
n
(A
1
, A
n
)
= v
1
.A
1
+, +v
n
.A
n
= v
1
.
f
x
1
(a)+, +v
n
.
f
x
n
(a)
Ademas
f
v +w
(a) = v +w (A
1
, A
n
) = v (A
1
, A
n
) +w (A
1
, A
n
)
=
f
v
(a) +
f
w
(a)
n
de modo que existen
cualquier derivada parcial en cualquier punto x U. Si las funciones
U
f
x
1
,
f
x
n
R
son todas continuas en el punto a U, entonces f es diferenciable en a.
2

B(r , (0 , 0))
f
R con f(x, y) =
_
r
2
(x
2
+y
2
) es diferen-
ciable, puesto que las funciones derivadas parciales
R
2

B(r , (0 , 0))
f
x
,
f
y
R
denidas como
f
x
(x, y) =
1
2
2x
_
r
2
(x
2
+y
2
)
=
x
_
r
2
(x
2
+y
2
)
f
y
(x, y) =
y
_
r
2
(x
2
+y
2
)
son continuas.
Teorema 3.3.3 Sea I un intervalo, U un abierto de R
n
y I

U
f
R donde es diferenciable
en t y f en (t). Entonces f es diferenciable en t y ademas
(f )
(t) = f
(t)
.
(t) =
n
i=1
f
x
i
((t)).
i
(t)
Prueba: Por ser diferenciable en t
0
I, tenemos que r
: H = t R : t
0
+t I R
n
denida como r
(t) = (t
0
+t) (t
0
) t
(t
0
) es tal que lim
t0
r
(t)
t
= 0.
Por ser f diferenciable en (t
0
), tenemos que existen A
1
A
n
de modo r
f
: H = h
R
n
: (t
0
) + h U R denida como r
f
(h) = f((t
0
) + h) f(
(t
0
)) h, A es tal que
lim
h0
r
f
(h)
|h|
= 0
Por otro lado
(f )(t
0
+t) = f((t
0
+t)) = f((t
0
) +
h
..
(t
0
)t +r
(t))
= f((t
0
)) +h, A +r
f
(h)
= f((t
0
)) +
(t
0
)t +r
(t) , A +r
f
(
(t
0
)t +r
(t))
= f((t
0
)) +t
C
..
(t
0
) , A
_
+
r(t)
..
r
(t) , A +r
f
(
(t
0
)t +r
(t))
= f((t
0
)) +tC +r
(t)
De ahi que
lim
t0
r(t)
t
= lim
t0
r
(t) , A +r
f
(
(t
0
)t +r
(t))
t
= lim
t0
_
_
_
r
(t)
t
, A
_
+
r
f
(
(t
0
)t +r
(t))
t
(t
0
) +
r
(t)
t
(t
0
) +
r
(t)
t
_
= 0
Luego f es diferenciable en t
0
. Ademas observe que
(f )
(t
0
) =
(t
0
) , A =
n
i=1
A
i
i
(t
0
) =
n
i=1
f
x
i
((t
0
)).
i
(t
0
)
Teorema 3.3.4 Sea I un intervalo, U un abierto de R
n
y U
f
I

R donde f es diferenciable
es a U y (t) en f(a). Entonces f es diferenciable en a. Ademas (f)
(a) =
(f(a)).f
(a)
Teorema 3.3.5 Sea U un abierto de R
n
y f, g D(UR). Entonces para a U se tiene que las
funciones
U
f+g , fg , rf , f.g ,
f
g
R
3.4. El Teorema de la Funci on Implcita 41
son difererciables. Ademas
f +g
x
i
(a) =
f
x
i
(a) +
g
x
i
(a)
f g
x
i
(a) =
f
x
i
(a)
g
x
i
(a)
rf
x
i
(a) = r
f
x
i
(a)
f.g
x
i
(a) = g(a)
f
x
i
(a) +f(a)
g
x
i
(a)
f
g
x
i
(a) =
g(a)
f
x
i
(a) f(a)
g
x
i
(a)
g(a)
2
3.4 El Teorema de la Funci on Implcita
l
Teorema 3.4.1 Sea U un abierto de R
2
y U
f
R de clase C
k
(k 1). Si P
0
= (x
0
, y
0
) U
es tal que
f((x
0
, y
0
)) = c
f
y
((x
0
, y
0
)) ,= 0
Entonces existe una funcion (x
0
, x
0
+)

(y
0
, y
0
+) de clase C
1
con
(x
0
, x
0
+) (y
0
, y
0
+) U
de modo que f/
Graf()
C y
(x) =
f
x
(x, (x))
f
y
(x, (x))
Prueba: Por ser f de clase C
1
se tiene que
U
f
x
f
y
R
son continuas y como
f
y
P
0
> 0,
f
y
> 0 en un entorno de la forma [x
0

1
, x
0
+
1
] [y
0

1
, y
0
+
1
] Probamos que la restriccion f/
x[y
0
1
, y
0
+
1
]
es creceinte, cualquiera que sea x en
[x
0

1
, x
0
+
1
]. Esto se desprende del hecho que la funcion [y
0

1
, y
0
+
1
]

R
2
denida
como (t) = (x, t) es tal que
(f )
(t) = Df
(t)
.
(t) =
_
f
x
((t)) ,
f
y
((t))
_
.
_
_
_
_
_
0
1
_
_
_
_
_
=
f
y
((t)) > 0
Esto implica que [y
0
1
, y
0
+
1
]
f
R es creciente. De ahi que
(f )(y
0

1
) < (f )(y
0
) < (f )(y
0
+
1
)
Es decir
f(x, y
0
1
) < f(x, y
0
) < f(x, y
0
+
1
)
De manera particular se tiene que
f(x, y
0

1
) <
C
..
f(x
0
, y
0
) < f(x, y
0
+
1
)
De donde por la continuidad de f en (x, y
0

1
) se tiene que existe
2
> 0 tal que todo
x (x
0

2
, x
0
+
2
) verica
f(x, y
0
1
) < C = f(P
0
)
Como f es continua en (x
0
, y
0
1
), existe
3
> 0 tal que todo x (x
0

3
, x
0
+
3
) verica
f(P
0
) = C < f(x, y
0
1
)
Luego tomando a como el minimo entre
1
,
2
,
3
resulta que todo x (x
0
, x
0
+ )
verica
f(x, y
0
1
) < C < f(x, y
0
+
1
)
Luego para cada x en (x
0
, x
0
+) existe un unico y
x
(y
0
1
, y
0
+
1
) tal que f(x, y
x
) = C
Ahora denimos (x
0
, x
0
+)

(y
0
, y
0
+) como (x) = y
x
. Esta funcion es claramente
continua. A continuacion demsotramos que es diferenciable en cada x (x
0
, x
0
+ ). En
efecto. Para t R con x (x
0
, x
0
+) se tiene que el segmento =
[(x, (x)) (x +t , (x +t))] =
_
_
a
..
(x, (x)) , (x, (x)) +
v
..
(t , (x +t) (x))
_
_
= [a , a +v]
esta contenido en M. Luego por el teorema del alor medio existe
t
(0 , 1) tal que
f(a+v)f(a) =
f
v
(a+
t
v) =
f
((t , (x +t) (x)))
(a+
t
v) = t
f
x
(a+
t
v)+((x+t)(x)).
f
y
(a+
t
v)
Luego
(x +t) (x)
t
=
f
x
(a +
t
v)
f
y
(a +
t
v)
De donde tomando limite resulta
(x) = lim
t0
(x +t) (x)
t
=
f
x
(a)
f
y
(a)
=
f
x
((x, (x)))
f
y
((x, (x)))
De este modo acaba la prueba del teorema.
Teorema 3.4.2 (Valor Medio) Sea U un abierto de R
n
, [a , a + v] un segemento contenido en
U y U
f
R con f/
a , a+v)
diferenciable y f/
[a , a+v]
continua. Entonces existe (0 , 1) tal que
f(a +v) f(a) =
f
v
(a +v)
Prueba: Tomando [0 , 1]

U denida como (t) = a + tv resulta que f satisface las
hipotesis del teorma del valor medio para funciones reales de variable real, resulta que existe
(0 , 1) tal que
f(a +v) f(a) = (f )(1) (f )(0) = (f )
() = Df
()
.
() = Df
()
.v =
f
v
(a +v)
2
f
2
+y
2
es tal que
f
x
(x, y) = 2x
f
y
(x, y) = 2y
Para P = (x
0
, y
0
) S
1
(este es un ejemplo) vemos que f(P) = C = 1. Luego como
f
x
(P) > 0,
por el teorema de la funcion implicita, existe una funcion (x
0
, x
0
+)

(y
0
, y
0
+)
de clase C
1
tal que
(x) =
f
x
(x, (x))
f
y
(x, (x))
=
2x
2(x)
=
x
(x)
Que funcion es esta?. La hallamos asi: Sabemos por el teorema que f es constante en el graco
de , de ahi que
f(x, (x)) =
_
x
2
+(x)
2
= 1
3.5. Multiplicadores de Lagrange 44
Consecuentemente (x) =
1 x
2
.
Una OBSERVACION IMPORTANTE: Como
f
y
(P) tambien es positivo, se puede aplica
el teorema de la funcion implicita.
Ejemplo 3.4.2 Sea R
2
f
R denida como f(x, y) = xy +x
2
.y
2
.
f
x
(x, y) = x + 2yx
2
f
y
(x, y) = y + 2xy
2
Se observa que
f
x
(x, y) = 0 x = 0 xy =
1
2
f
y
(x, y) = 0 y = 0 xy =
1
2
Por tanto el teorema de la Funcion Implicita no se puede aplicar en los puntos (x, y) tal que
_
f
x
,
f
y
_
= (0 , 0) (x, y) = (0 , 0) xy =
1
2
3.5 Multiplicadores de Lagrange
Denicion 3.3 Sea f : U R
n
R un funcion de clase C
1
. El numero real c es un valor
regular de f siy s olo si p f
1
(c) : f
p
,= 0. De ser as decimos que f
1
(c) es una Hipercie.
Ejemplo 3.5.1 Sea f : R
2
2
+ y
2
. Tomando c = 1, tenemos
que
f
1
= (x, y) R
2
/x
2
+y
2
= 1
Observese que
f
x
(x, y) = 2x
f
y
(x, y) = 2y
De ahi que p = (x, y) f
1
(1) : f
p
,= 0. Observe adem as que tomando una funcion
diferenciable : I R f
1
(1) con (0) = p, tenemos que f : I R es constante e
igual a 1. Esto permite decir que
Df
0
= Df
(0)
(0) = 0 f
p
,
(0) = 0
Esto signica que f
p
es ortogonal a la recta tangente a f
1
(1) en el punto p f
1
(c)
n
R de clase C
1
. El Espacio Tangente a la hipercie f
1
(c)
en el punto p f
1
(c) es el conjunto
T
p
f
1
(c) = x R
n
/x p, f
p
= 0
Ejemplo 3.5.2 Sea f : U R
2
R de clase C
1
y c R tal que f
1
(c) es una hipercie.
Entonces el espacio tangente a f
1
(c) en p = (p
1
, p
2
) f
1
(c) es
T
p
= (x, y) R
2
/(x, y) p, f
p
= 0 = (x, y) R
2
/(x p
1
, y p
2
), f
p
= 0
2
R denida como f(x) = x
2
+xy. Se observa que
f
x
(x, y) = 2x +y
f
y
(x, y) = x
y como las funciones derivadas parciales son continuas, f es de clase C
1
. Observe ademas que
f
x
(x, y) = 0 y = 2x
f
y
(x, y) = 0 x = 0
De ahi que
f
(x,y)
= 0 (x, y) = (0, 0)
Se observa ademas que f
1
(1) = (x, y)/x
2
+ xy = 1 es un valor regular, puesto que (0, 0) /
f
1
(1). Luego
(x, y) f
1
(1) : f
(x,y)
= (2x +y, x)
es ortogonal a la recta tangente a f
(x,y)
en el punto (x, y) f
1
(1).
Sea f : U R
n
R, (n = 2, 3), una funcion de clase C
1
, c R un valor regular de f,
F : U R una funcion de clase C
1
y p f
1
(1)
p es mnimo local de F[
f
1
(c)

p es m aximo local de F[
f
1
()c

Denicion 3.5 Un punto p f
1
(c) es un punto crtico de F[
f
1
(c)
si y s olo si, todo camino
diferenciable : I R
n
con Trz() f
1
(c), (0) = p satisface (F
)(0) = 0
OBSERVE que la denicion anterior es equivalente a que todo camino diferenciable : I R
n
con Trz() f
1
(c), (0) = p, DF
(0)
() = F
p
,
(0) = 0. O lo que es lo mismo a que

todo camino : I R
n
con Trz() f
1
(c), (0) = p satisface F
p
T
p
A continuaci on encontramos una condici on necesaria para que un punto p f
1
(c) sea
un m aximo loca o un mnimo local de F[
f
1
(c)
. En efecto, si p f
1
(c) es un m aximo local
de F[
f
1
(c)
, entonces para todo camino : I R
n
diferenciable, con Trz() f
1
(c) y
(0) = p, se tiene que (F )
(0) = 0. Luego p es un punto crtico de F. Por tanto los puntos

p f
1
(c) candidatos a m aximo o mnimo son los puntos crticos de F[
f
1
(c)
.
Ejemplo 3.5.4 Si p es un punto crtico de F y p f
1
(c), se tiene que p es punto crtico
de D[
f
1
(c)
. El recproco es cierto. En efecto, sea f : R
2
R, con f(x, y) = x
2
+ y
2
y
F : R
2
R...... Tenemos f
1
= (x, y)/x
2
+ y
2
= 1. Observamos que
f
x
(x, y) = 0,
f
y
(x, y) = 1. Luego F no posee puntos crticos. Sin embargo p = (0, 1) f
1
(1) es un punto
crtico de F[
f
1
(1)
, pues F[
f
1
(1)
alcanza su m aximo en (0, 1) f
1
(1).
Teorema 3.1 (El multiplicador de Lagrange) Sea U un abierto de R
3
o R
2
, F, f : U R
funciones de clase C
1
y c R un valor regular de f. Luego
p f
1
(c) es un punto crtico de F R tal que F
p
= f
P
Prueba: p f
1
(c) es un punto crtico de F[
f
1
(c)
F
p
T
p
f
1
(c). Y como
f
1
(c) es una hipercie, f
p
T
p
f
1
(c). Por tanto, p f
1
(c) es un punto crtico de
F[
f
1
(c)
f
p
//F
p
.
El n umero es llamado Multiplicador de Lagrange.
Ejemplo 3.5.5 Sea f, F : R
n
R denidos por F(x, y) = ax +by, (a
2
+ b
2
,= 0) y f(x, y) =
x
2
+ y
2
. Hallar los puntos p f
1
(1) que son puntos crticos de F[
f
1
(1)
. Veamos, sea p =
(p
1
, p
2
) f
1
(1) = (x, y) R
2
/x
2
+y
2
= 1, entonces F
p
= (a, b) f
p
= (2p
1
, 2p
2
). Ahora
resolvemos la ecuaci on (a, b) = (p
1
, p
2
) o lo que es lo mismo
a = 2p
1
b = 2p
2
p
2
1
+p
2
2
= 1
3.6. Recordemos el Teorema de Taylor para Funciones Reales de Variable Real 47
entonces p
2
1
+p
2
2
=
a
2
4
2
+
b
2
4
2
= 1, as a
2
+b
2
= 4
2
, de donde =
a
2
+b
2
2
.
Si =
a
2
+b
2
2
, entonces p
1
=
a
a
2
+b
2
, p
2
=
b
a
2
+b
2
.
Si =
a
2
+b
2
2
, entonces p
1
=
a
a
2
+b
2
, p
2
=
b
a
2
+b
2
.
3.6 Recordemos el Teorema de Taylor para Funciones Reales de
Variable Real
Sea f : I R una funcion de clase C
n1
tal que existe f
(n)
. Dado a I, la funcion
P : H = h R/a +h I R
denida como
P
n
(h) = f(a) +f
(a)h +
1
2
f
(a)h
2
+ +
1
n!
f
(n)
(a)h
n
es llamada polinomio de Taylor de orden n, para la funcion f en el punto a I.
Propiedad 3 La funcion : H R denida por (h) = f(a +h) P
n
(h) satisface
i) (0) = 0.
ii) Existen
, . . . ,
(n1)
,
(n)
: H R. Adem as
(0) =
(0) = =
(n)
(0) = 0.
iii) lim
h0
(h)
h
n
= 0.
iv) lim
h0
(h) = 0.
Observaci on: Como para h peque no ocurre que (h) 0, tenemos que
f(a +h) P
n
(h) f(a +h) f(a) +f
(a)h +
1
2
f
(a)h
2
+ +
1
n!
f
(n)
h
n
Ejemplo 3.6.1 Sea f : 2, 2 R denida como f(x) = cos x Observese que para n = 5,
se tiene
f
(x) = senx f
(x) = cos x f
(x) = senx f
iv
(x) = cos x f
v
(x) = senx
Tomando a = 0 y H = h R/a +h I = 2, 2. Tenemos que el polinomio de Taylor de
orden 5 para f en el punto a = 0 I, es
P
5
(h) = f(0) +f
(0)h +
1
2
f
(0)h
2
+
1
3!
f
(0)h
3
+
1
4!
f
iv
(0)h
4
+
1
5!
f
v
(0)h
5
= 1 + 0
1
2
h
2
+
1
4!
h
4
= 1
h
2
2
+
h
4
4!
3.7. El Teorema de Schwartz 48
Luego, para h peque no tenemos f(h) P
5
(h), entonces cos h 1
h
2
2
+
h
4
4!
.
Teorema 3.2 Sea : [a, a+h] R una funcion tal que existen
, . . . ,
(n1)
en a, a+h,
(n1)
continua en [a.a +h] y exista
n
en a, a +h. Entonces existe c a, a +h tal que
(a +h) = (a) +
(a)h + +

(n1)
(a)
(n 1)!
h
(n1)
+

(n)
(c)
n!
h
n
= P
n1
(h) +

(n)
(c)
n!
h
n
3.7 El Teorema de Schwartz
Denicion 3.6 Una funcion f : U R
n
R es
Dos veces diferenciable si f es diferenciable y tambien cada
f
x
i
: U R
Tres veces diferenciable si y s olo si f es diferenciable y si cada
f
x
i
es 2 veces dierenciable
Cuatro veces diferenciable si f es diferenciable y cada
f
x
i
es 3 veces diferenciable.
Teorema 3.3 (Schwartz) Sea f : U R
n
R una funcion dos veces diferenciable. En-
tonces
_
f
x
i
_
x
j
=
_
f
x
j
_
x
i

2
f
x
j
x
i
=

2
f
x
i
x
j
Antes de dar la prueba veamos algunos ejemplos.
Ejemplo 3.7.1 La funcion f : R
2
R denida como
f(x, y) = senx + cos y +x
2
+y
2
+x
2
y
2
es dos veces diferenciable, pues es diferenciable. y las funciones derivadas parciales
f
x
,
f
y
:
R
2
R denidas como
f
x
(x, y) = cos x + 2x + 2xy
2 f
y
(x, y) = seny + 2y + 2yx
2
Luego se observa que
_
f
x
_
y
(x, y) =
_
f
y
_
x
(x, y) = 2y2x = 4xy
Es decir
2
f
x
j
x
i
=

2
f
x
i
x
j
3.7. El Teorema de Schwartz 49
Ejemplo 3.7.2 f : R
3
R denida como
f(x, y, z) = x
4
y
4
z
4
+x
3
y
3
z
3
+ cos xyz
es dos veces diferenciables, pues es diferenciable y las funciones derivadas parciales denidas
como
f
x
(x, y, z) = 4x
3
y
4
z
4
+ 3x
2
y
3
z
3
yzsenxyz
f
y
(x, y, z) = 4y
3
x
4
z
4
+ 3y
2
x
3
z
3
xzsenxyz
f
z
(x, y, z) = 4z
3
x
4
y
4
+ 3z
2
x
3
y
3
xysenxyz
son funciones diferenciables. Luego
_
f
x
_
z
(x, y, z) = 16z
3
x
3
y
4
+ 9z
2
x
2
y
3
_
ysenxyz +y
2
zxcos xyz
=

2
f
zx
_
f
z
_
x
(x, y, z) = 16z
3
y
4
x
3
+ 9x
2
z
2
y
3
_
ysenxyz +xy
2
z cos xyz
de donde vemos que
_
f
x
_
z
=
_
f
z
_
x
, del mismo modo se prueba para las dem as expresiones.
Prueba: (Teorema de Schwartz ) Para (x
0
, y
0
) U, consideremos k
0
, h
0
R tal que (x
0
, y
0
) +
[h
0
, h
0
] [k
0
, k
0
] U. Consideremos, ahora, : [x
0
, x
0
+ h
0
] R, con (x) = f(x, y
0
+
k
0
) f(x, y
0
). Luego existe x
0
, x
0
+h
0
tal que
(x
0
+h
0
) (x
0
) =
()h
0
=
_
f
x
1
(, y
0
+k
0
)
f
x
1
(, y
0
)
_
=
_
f
x
1
((, y
0
) + (0, k
0
))
f
x
1
(, y
0
)
_
h
0
Consideremos : [y
0
, y
0
+k
0
] R, (y) = f(x
0
+h
0
, y)f(x
0
, y), luego existe y
0
, y
0
+k
0
tal que
(y
0
+k
0
) (y
0
) =
()k
0
=
_
f
x
2
(x
0
+ +h
0
, )
f
x
2
(x
0
, )k
0
_
=
_
f
x
2
((x
0
, ) + (h
0
, 0))
f
x
2
(x
0
, )
_
k
0
=
_
f
x
2
_
(h
0
, 0)
((x
0
, ) +(h
0
, 0))k
0
, 0 < < 1
=

2
f
x
1
x
2
(x
0
+h
0
, )k
0
h
0
, 0 < < 1
=

2
f
x
1
x
2
(, )k
0
h
0
, x
0
< < x
0
+h
0
3.8. El Teorema de Taylor para Funciones de Reales de Variable Vectorial 50
y como
(x
0
+h
0
) (x
0
) = f(x
0
+h
0
, y
0
+k
0
) f(x
0
+h
0
, y
0
) f(x
0
, y
0
+k
0
) +f(x
0
, y
0
)
= (y
0
+k
0
) (y
0
)
resulta que

2
f
x
1
x
2
(, ) =

2
f
x
2
x
1
(, ), x
0
< , < x
0
+h
0
, y
0
< , < y
0
+k
0
. Luego ocurre
la igualdad
lim
(h
0
,k
0
)(0,0)
2
f
x
1
x
2
(, ) = lim
(h
0
,k
0
)(0,0)
2
f
x
2
x
1
(, )
y consecuentemente
2
f
x
1
x
2
(x
0
, y
0
) =

2
f
x
2
x
1
(x
0
, y
0
)
3.8 El Teorema de Taylor para Funciones de Reales de Variable
Vectorial
Sea U un abierto de R
2
y f : U R una funcion 2 veces derivable y a U un elemento
jo. Entonces para h R
2
con [a, a + h] U la composicion [0 , 1]

U
f
R donde
: [0, 1] U denida como () = a +h, es tal que = f
() = f
()

() =
_
f
x
(()),
f
y
(())
_
_
_
h
1
h
2
_
_
=
_
_
h
1
..
_
f
x

_
+h
2
..
_
f
y

_
_
_
()
= [h
1
+h
2
]()
Y como las funciones reales de variable real , son diferenciables,
tambien lo es. De esto
() = (h
1
+h
2
)
() = h
1
() +h
2
()
Mas
() =
_
f
x

_
() =
_
f
x
_
()

() =
_
_
_
_
_
f
x
_
x
(()),
_
f
x
_
y
(())
_
_
_
_
_
_
h
1
h
2
_
_
= h
1
2
f
xx
(()) +h
2
2
f
yx
(())
() =
_
f
y

_
() =
_
f
y
_
()

() =
_
f
y
x
(()),
f
y
y
(())
_
_
_
h
1
h
2
_
_
h
1
2
f
xy
(()) +h
2
2
f
yy
(())
Es decir
() = h
1
h
1
2
f
xx
(()) +h
1
h
2
2
f
yx
(()) +h
1
h
2
2
f
xy
(()) +h
2
h
2
2
f
yy
(())
Luego para alg un 0 < < 1 ocurre que
(1) = (0 + 1) = (0) +
(0) 1 +

(0+1)
2
(1)
2
= (0) +
(0) +

()
2
Consecuentemente
f(a +h) = f(a) +f
(a), h +
1
2
(h
1
, h
2
)
H(a+h)
..
_
2
f
xx
(a +h)

2
f
yx
(a +h)
2
f
xy
(a +h)

2
f
yy
(a +h)
_
_
_
_
h
1
h
2
_
_
f(a +h) = f(a) +f
(a), h +
1
2!
hH(a +h)h
T
= f(a) +f
(a), h +
1
2!
hH(a)h
T
+(h)
donde r(h) =
1
2!
hH(a+h)h
T
1
2!
hH(a)h
T
=
1
2!
h(H(a+h)H(a))h
T
. Se demuestra facilmente
que lim
h0
r(h)
[h[
2
= 0, lo que da como consecuencia que lim
h0
r(h) = 0. En conclusion: Para h R
2
con [a , a +h] U se tiene la importante aproximacion
f(a +h)
Polinomio de taylor
de grado 2 para f en a
..
f(a) +f
(a), h +
1
2!
hH(a)h
T
Captulo 4
Funciones Vectoriales de Variables
Vectorial
4.1 Funciones especiales de R
n
en R
m
4.1.1 Coordenadas Polares Para Funciones de R
2
en R
2
Para R denimos T : R
2
R
2
como T(r, ) = (r cos , rsen) Esta funcion transforma
las recta
L
r
= (r, )/ R L
= (r, )/r R
es un crculo T(L
r
) de radio [r[ y centro (0, 0); y en una recta T(L
) que pasa por el ori-

gen,respectivamente. Observese que cualquier restricci on de la forma T/
[0,)[a,a+2)
es una
biyeccion.
Ejemplo 4.1.1 Gracar el conjunto A =
_
(r, )/0 r 2sen, 0
3
4
_
y su imagen y
T(A).
T(2sen, ) = (2sen, cos , 2sen cos ) = (2sen cos , 2sen
2
), haciendo x = 2sen cos y =
2sen
2
tenemos x
2
+y
2
= 4sen
2
cos
2
+ 4sen
4
= 4sen
2
= 2y, entonces x
2
+ (y 1)
2
= 1.
4.2 Transformaciones Cilndricas
Consideremso T : [0, [0, 2] R R
3
denida como T(r, , z) = (r cos , rsen, z).
Consideremos f, g : [0, 1] [0, 2] R denidas por f(r, ) =
1 r
2
, g(r, ) =
1 r
2
.
53
4.3. Coordenadas Esfericas 54
Sea X = (x, y, z)/x
2
+ y
2
+ z
2
1. Hallar T
1
(X). Vemos que [0, 2] y r [0, 1];
adem as, haciendo x = r cos , y = rsen tenemos r
2
cos
2
+ r
2
sen
2
+ z
2
1 z
2
1 r
2
1 r
2
z
1 r
2
Ejercicio 1 Expresar en coordenadas cilndricas al s olido limitado superiormente por el plano
(x, y, 2x) es inferiormente por el paraboloide (x, y, z)/z = x
2
+ y
2
. Intersectamos 2x =
x
2
+y
2
, entonces (x1)
2
+y
2
= 1, vemos que [
2
,

2
] = (r cos , rsen), entonces (r cos )
2
+
(rsen)
2
= 2r cos , as r = 2 cos , luego 0 r 2 cos y [
2
,

2
] y como x
2
+y
2
z 2x,
entonces r
2
z 2r cos luego T
1
(s olido) = (r, , z)/ [
2
.
2
], 0 r 2 cos , r
2
z
2r cos
4.3 Coordenadas Esfericas
T : R
3
R
3
dada por T(, , ) = (sencos , sensen, cos ). Gracar D =
(, , )/ =

4
, = 1, T(D), D = (, , )/ =

3
, =

4
, T(D).
Ejemplo 4.3.1 Hallar una ecuaci on para la esfera S = (x, y, z)/x
2
+y
2
+(z a)
2
= a
2
, a > 0
en coordenadas cilndricas. Vemos que [0, 2], r [0, a]. luego r
2
cos
2
+r
2
sen
2
+(za)
2
=
a
2
, entonces r
2
+ (z a)
2
= a
2
, as (z a)
2
= a
2
r
2
, lo que implica [z a[ =
a
2
r
2
, de
donde z =
a
2
r
2
+a, esto es
_
a
2
r
2
+a z
_
a
2
r
2
+a
luego T(U) = S, donde U = (r, , z)/r [0, a], [0, 2],
r
2
a
2
+a z
a
2
r
2
+a
Ejemplo 4.3.2 Halle la ecuaci on, en coordenadas esfericas de la regi on encerrada
por (x, y, z)/z =
_
x
2
+y
2
y (x, y, z)/z = 3. [0, 2], [0,

4
],
(
0
sencos ,
0
sensen,
0
cos ),
0
cos = 3, entonces
0
=
3
cos
Ejemplo 4.3.3 Hallar la ecuaci on para la esfera S = (x, y, z)/x
2
+y
2
+(za)
2
= a
2
, a > 0 en
coordenadas esfericas. (
0
sencos ,
0
sencos ,
0
cos ), con [0, 2], [0,

2
], entonces
2
0
sen
2
cos
2
+
2
0
sen
2
sen
2
+ (
0
cos a)
2
= a
2
, esto implica que
2
0
2
0
a cos = 0, as
0
= 2a cos , luego 0
0
2a cos .
4.4. Limites 55
4.4 Limites
Denicion 4.1 Sea X un subconjunto de R
n
, a X
, L = (L
1
, . . . , L
m
) R
m
. Decimos que el
lmite de f : X R
m
, cuando x se acerca a a, es L, si para todo > 0, existe un > 0 tal
que todo x X
B(a, ) a verica que f(x)
B(L, ). Lo que en simbolos signica

> 0 : > 0 / x X
B(a, ) a : f(x)
B(L, )
O equivalentemente si
> 0 > 0/ x X, 0 < [x a[ < : [f(x) L[ <
Cuando esto ocurra escribiremso lim
xa
f(x) = L
Propiedad 4 Sean f = (f
1
, . . . , f
m
) : X R
n
R y a X
. Entonces lim
x0
f
i
(x) = L
i
(i = 1...n) si y solo si lim
x0
f(x) = (L
1
, . . . , L
m
)
2
R
3
dada por
f(x, y) = (x
2
+y, cos(x +y), y
2
+ 1 +x) = (f
1
(x, y), f
2
(x, y)f
3
(x, y))
Como
lim
(x,y)(0,0)
f
1
(x, y) = 0 lim
(x,y)(0,0)
f
2
(x, y) = 1 lim
(x,y)(0,0)
f
3
(x, y) = 1
El teorema anterior permite armar que lim
(x,y)(0,0)
f(x, y) = (0, 1, 1)
Ahora dado X R
n
, demostraremos a continuacion que para a X
ocurre que
F
a
(X, R
m
) = f F(X, R
m
)/ lim
xa
f(x)
es un subespacio vectorial de F(X, R
m
). En efecto.
i) Si tomamos f, g F
a
, entonces f +g F
a
, pues
lim
xa
f(x) = L > 0
0
> 0/ x X, 0 < [x a[ <
0
: [f(x) L[ < /2
lim
xa
g(x) = M > 0
1
> 0/ x X, 0 < [x a[ <
1
: [g(x) L[ < /2
Tomando = min
0
,
1
tenemos que > 0 > 0/ x X, 0 < [x a[ < :
[f(x) L[ < /2 [g(x) M[ < /2, entonces
[f(x) +g(x) (L +M)[ [f(x) L[ +[g(x) +M[ <

2
+

2
=
Esto signica que lim
xa
(f +g)(x) = L +M, luego f +g F
a
.
4.5. Funciones Diferenciables 56
ii) Si R y f F
a
, entonces f F
a
(obviamente si = 0, f = 0 F
a
), en efecto, si ,=
0, entonces > 0 > 0/ x X, 0 < [x a[ < : [f(x) L[ <

[[
[f(x) L[ < ,
esto es, lim
xa
(f)(x) = L, de donde f F
a
, luego F
a
es un subespacio vectorial.
Todo lo dicho es parte de la siguiente propiedad
Propiedad 5 Sea X R
n
y a X
. Entonces para f, g F
a
(X, R
m
), h F
a
(X, R) y R
ocurre que
lim
xa
(f +g)(x) y es igual a L +M.
lim
xa
(f)(x) y es igual a L.
lim
xa
h(x)f(x) y es igual a bL.
Si b ,= 0, existe lim
xa
f(x)
h(x)
y es igual a
L
b
.
lim
xa
f(x), g(x) y es igual a L, M.
lim
xa
|f(x)| y es igual a |L|.
4.5 Funciones Diferenciables
4.5.1 Derivadas direccionales
m
denida en un abierto U R
n
. Para a U y v R
n
0,
debido a que U es abierto es posible considerar un > 0 tal que la funcion : , R
n
,
denida como de () = a + v, tiene que la traza contenida en U. Decimos que de f tiene
Derivada Direccional en a y en la direccion del vector v si y solo si la composicion
,

U
f
R
m
es diferenciable en 0. El limite
(f )
(0) = lim
0
(f )() (f )(0)
= lim
0
f(a +v) f(a)
es denotada por
f
v
y llamado Derivada Direccional en a y en la direcci on del vector v. Es decir
f
v
:= lim
0
f(a +v) f(a)
Claro esta, siempre y cuando este exista.

Observemos que en el caso que exista la Derivada Direccional de f en a y en la direcci on del
vector v tenemos
f
v
(a) = lim
0
(f
1
(a +v), . . . , f
m
(a +v)) (f
1
(a), . . . , f
m
(a))
= lim
0
_
f
1
(a +v) f
1
(a)
, . . . ,
f
m
(a +v) f
m
(a)
_
=
_
lim
0
f
1
(a +v) f
1
(a)
, . . . , lim
0
f
m
(a +v) f
m
(a)
_
=
_
f
1
v
(a), . . . ,
f
m
v
(a)
_
Sintetizamos esto en el teorema siguiente
Teorema 4.1 Sea f : U R
m
denida en un abierto U R
n
, a U y v R
n
0.
Entonces la Derivada Direccional f en a y en la direccion del vector v existe si y solo si existe
las derivadas direccionales de las funciones coordenadas f
i
en a y en la direccion v. En este caso
tenemos que
f
v
(a) =
_
f
1
v
(a), . . . ,
f
m
v
(a)
_
Por simplicidad convenimos en En el caso de ser v el vector canonico e
i
=
(0, 0, . . . ,
iesimo lugar
..
1 , 0, . . . , 0) convenimos en
f
v
(a) =
f
e
i
(a) =
f
x
i
(a)
4.5.2 Funciones Diferenciables
Recordemos que si T : R
n
R
m
es una transformacion lineal, entonces
T(x) = T(x
1
, . . . , x
n
) = T(x
1
e
1
+ +x
n
e
n
) = x
1
T(e
1
) + +x
n
T(e
n
)
= x
1
(a
11
e
1
+a
21
e
2
+ +a
m1
e
m
) +x
2
(a
12
e
1
+a
22
e
2
+ +
+a
m2
e
m
) + +x
n
(a
1n
e
1
+ +a
mn
e
m
)
= (x
1
a
11
+x
2
a
12
+ +x
n
a
1n
)e
1
+ (x
1
a
21
+x
2
a
22
+ +x
n
a
2n
)e
2
+ +
+(x
1
a
m1
+ +x
n
a
mn
)
=
_
_
a
11
a
12
a
1n
a
21
a
22
a
2n
.
.
.
.
.
.
.
.
.
.
.
.
a
m1
a
m2
a
mn
_
_
_
_
x
1
x
2
.
.
.
x
n
_
_
= Ax
m
R
n
es diferenciable en a U si y s olo si existe
una transformaci on lineal T : R
m
R
n
con T(h) = Ah de modo que la funcion : H = h
R
n
/a+h U R
m
denida como (h) = f(a+h)f(a)T(h) satisface lim
h0
(h)
[h[
= 0 R
m
.
De ser esto asi, decimos que T es la derivada de f en a y escribimos Df
a
:= T.
Ejemplo 4.5.1 La funcion f : R
2
R
3
denida como f(x, y) = (x + y, xy, x
2
+ y
2
) es
diferenciable en a = (0, 0), puesto que la tranformacion lineal T : R
2
R
3
denida como
T(h
1
, h
2
) = (h
1
+h
2
, 0, 0) que hace posible la igualdad
f(a +h) = f(h
1
, h
2
) = (h
1
+h
2
, h
1
h
2
, h
2
1
+h
2
2
)
= (0, 0, 0) + (h
1
+h
2
, 0, 0) +
(h
1
,h
2
)
..
(0, h
1
h
2
, h
2
1
+h
2
2
)
es tal que lim
h0
(h)
[h[
= 0. En efecto veamos
lim
h0
(h
1
, h
2
)
|(h
1
, h
2
)|
= lim
h0
(0, h
1
h
2
, h
2
1
+h
2
2
)
_
h
2
1
+h
2
2
= lim
h0
_
0,
h
1
h
2
_
h
2
1
+h
2
2
,
_
h
2
1
+h
2
2
_
= (0, 0, 0)
Por tanto f es diferenciable en (0, 0) y su derivada es Df
a
: R
2
R
2
con
Df
a
(h
1
, h
2
) = (h
1
+h
2
, 0, 0) =
_
_
1 1
0 0
0 0
_
_
_
_
h
1
h
2
_
_
= Ah
Ejemplo 4.5.2 Toda transformacion lineal T : R
n
R
m
es diferenciable. En efcto. Dado
a R
n
se tiene que
f(a +h) = f(a) +f(h) = f(a) +f(h) +
(h)
..
0
Como lim
h0
(h)
[h[
= 0, concluimos que T es diferenciable en a. Ademas Df
a
= T.
Teorema 4.2 Si f : U R
n
R
m
es diferenciable en a U, entonces existen todas las
derivadas direccionales
f
v
(a). Ademas
Df
a
(v) =
f
v
(a)
Prueba: Sabemos que hay transforamcion lineal Df
a
: R
m
R
n
y una funcion
: H = h R
n
/a +h U R
m
tal que
f(a +v) = f(a) +Df
a
(v) +(v) lim
t0
(t.v)
[t.v[
= 0
De ahi que
f(a +v) f(a)
= Df
a
(v) +
(v)
[v[
[v[ = Df
a
(v) + (1)
(v)
[v[
[v[
De donde tomando limite cuando t 0, tenemos que
lim
0
f(a +v) f(a)
= Df
a
(v) =
f
v
(a)
Mas a un
Df
a
(v) = Df
a
(v
1
e
1
+ +v
n
e
n
) = v
1
Df
a
(e
1
) + +v
n
Df
a
(e
n
)
= v
1
f
x
1
(a) + +v
n
f
x
n
(a)
= v
1
_
f
1
x
1
(a), . . . ,
f
m
x
1
(a)
_
+ +v
n
_
f
1
x
n
(a), . . . ,
f
m
x
n
(a)
_
=
_
v
1
f
1
x
1
(a) + +v
n
f
1
x
n
(a), . . . , v
1
f
m
x
n
(a) + +v
n
f
m
x
n
(a)
_
=
_
_
f
1
x
1
(a)
f
1
x
n
(a)
f
2
x
1
(a)
f
2
x
n
(a)
f
m
x
1
(a)
f
m
x
n
(a)
_
_
_
_
v
1
.
.
.
.
.
.
v
n
_
_
Propiedad 6 f : U R
n
R
m
es diferenciable en a U si y s olo si cada f
i
: U R es
diferenciable en a.
Ejemplo 4.5.3 La funcion f = (f
1
, f
2
) : R
3
R
2
denida como f(x, y, z) = (x
2
+ 2y +
cos z, xy + y
2
+ senz) pues sus funciones coordenadas f
1
, f
2
denidas como f
1
(x, y, z) = x
2
+
2y + cos z y f
2
(x, y, z) = xy +y
2
+ senz, lo son Cual es la derivada de f en el punto (x, y, z)?
Veamos:
f
1
x
(x, y, z) = 2x,
f
1
y
(x, y, z) = 2,
f
1
z
(x, y, z) = senz
f
2
x
(x, y, z) = y,
f
2
y
(x, y, z) = x + 2y,
f
2
z
(x, y, z) = cos z
luego
Df
(x,y,z)
(v
1
, v
2
, v
3
) =
_
_
2x 2 senz
y x + 2y cos z
_
_
_
_
v
1
v
2
v
3
_
_
Propiedad 7 Sean f, g : U R
n
R
m
funciones diferenciables en a U. Entonces las
funciones f +g, f g, f : U R
m
son diferenciables en a. Ademas
D(f +g)
a
= Df
a
+Dg
a
D(f g)
a
= Df
a
Dg
a
D(f)
a
= Df
a
Prueba: Sabemos que
(f +g)(a +h) = f(a +h) +g(a +h) = f(a) +Df
a
(h) +g(a) +Dg
a
(h) +
(h)
..
f
(h) +
g
(h)
Y como lim
h0
(h)
[h[
= lim
h0
f
(h)
[h[
+ lim
h0
g
(h)
[h[
= 0, concluimos que D(f +g)
a
= Df
a
+Dg
a
.
n
R
m
es de clase C
k
si y s olo si cada una de sus
funciones coordenadas es de clase C
k
.
Teorema 4.3 (Regla de la cadena) Sean U R
n
y V R
m
conjuntos abiertos y U
f
V
g
R
p
donde f es diferenciable en a U y g en f(a). Entonces g f es diferenciable en a.
Adem as
D(g f)
a
= Dg
f(a)
Df
a
Prueba: Como
f(a +h) = f(a) +f
(a)h +(h) g(f(a) +k) = g(f(a)) +g
(f(a))k +(k)
resulta que
(g f)(a +h) = g(f(a +h)) = g(f(a) +f
(a)h +(h))
= g(f(a)) +g
(f(a))(f
(a)h +(h)) +(f
(a)h +(h))
= g(f(a)) +g
(f(a))[f
(a)h] +g
(f(a))h +(f
(a)h +(h))
= g(f(a)) +g
(f(a))[f
(a)h] +R(h)
ahora debemos demostrar que lim
h0
R(h)
|h|
= 0. En efecto
R(h)
|h|
= g
(f(a))
_
(h)
|h|
_
+
(f
(s)h +(h))
|f
(a)h +(h)|
|f
(a)h +(h)|
|h|
de ah que lim
h0
R(h)
|h|
= 0.
4.6. El Teorema de la Funci on Inversa 61
4.6 El Teorema de la Funci on Inversa
4.6.1 El Teorema de la Funcion Inversa para Funciones de R en R
Sea el intervalo abierto I y una funcion de clase C
1
f : I R. Si a I es tal que f
(a) ,= 0
(digamos f
(a) > 0), entonces hay un > 0 de modo que todo x a , a + I verica
que f
(x) > 0. De ah que f[

a,a+)
: a , a + R es inyectiva. De esto resulta que
f(a , a + ) es un intervalo abierto y que f[
a,a+)
f(a , a + ) es biyectiva,
diferenciable, tiene inversa diferenciable y continua ((f
1
)
(f(x)) =
1
f
(x)
). Es decir f[
a,a+)
es un difeomorsmo de clase C
1
.
Como generalizamos este resultado a funciones f : U R
n
, donde U es un abierto de R
n
?
Veamos un ejemplo
Ejemplo 4.6.1 La funcion de clase C
1
f : R
2
R
3
denida por f(x, y) = (e
x
cos y, e
x
seny)
no es invertible, puesto que no es inyectiva (f(0, 0) = f(0, 2)). Ademas Ran(f) = R
2
0.
Veamos como opera f A que conjunto A debemos restringir f para que f : A R
2
(0, 0)
sea una biyeccion? Observe que incluimos la lnea (), el rango sera R
2
0 pero en este caso
no se podra hablar de funcion diferenciable, puesto que este nuevo dominio no sera un conjunto
abierto.
Teorema 4.4 (Funci on inversa) Sea U R
m
un abierto y f : U R
m
una funcion de
clase C
1
. Si a U es tal que Df
a
,= 0, entonces existe > 0 tal que f(B
(a)) es abierto y que

f : B
(a) f(B
(a)) es una biyeccion diferenciable de clase C

1
y con inversa tambien de clase
C
1
.
Teorema 4.5 (Funci on implcita) Sea f : U R
m+n
R
n
una funcion de clase C
1
denida en un abierto U de R
m+n
, a = (a
1
, a
2
) U (con a
1
R
m
y a
2
R
n
). Sea
B = (0, x)/0 R
m
, x R
n
. Si Df
a
[
B
: (0, x) R
n
es invertible, entonces
i) Existe V R
m
abierto y existe Z R
n
abierto con a = (a
1
, a
2
) V Z U.
ii) Existe : V Z de clase C
1
con (a
1
) = a
2
tal que
Graf() = (x, (x))/x V V Z.
f(Graf()) = f(a)
iii) Para todo x V se tiene D
x
=
_
Df
(x,(x))
R
n
_
_
Df
(x,(x))
R
m
_
1+2
R
2
denido como f(x, y, z) = (xyz +x, x
2
+y
2
+z). Tenemos
que a = (x, y, z)
Df
(x,y,z)
=
_
_
yz + 1 xz xy
2x 2y 1
_
_
Luego Df
a
[
(0,y,z)
: (0, y, z) R
2
denido como
Df
(x,y,z)
(0, m, n) =
_
_
yz + 1 xz xy
2x 2y 1
_
_
_
_
0
m
n
_
_
es invertible det
_
_
xz xy
2y 1
_
_
= xz 2xy
2
= 0
x = 0 z = 2y
2
la cual puede ser vista como Df
a
[
R
2 : R
2
R
2
con
Df
a
[
R
2 (m, n) =
_
_
xz xy
2y 1
_
_
_
_
m
n
_
_
Luego, en todo a = (x, y, z) fuera de (0, y, z) (x, y, 2y
2
) se puede aplicar el teorema
pues [ Df
a
[
(0,y,z)
]
1
: R
2
R
2
es invertible.
Tomando un punto (a
1
, a
2
, a
3
) donde sea aplicable el teorema, tenemos que existen un inter-
valo V = I R, con a
1
I,
B((a
2
, a
3
), ), : I
B(a
2
, a
3
) tales que f(x, (x)) = f(a
1
, a
2
, a
3
).
Ademas Df
x,(x)
(0,y,z)
: R
2
R
2
con
(0, y, z)
_
_
1
(x)
2
(x) + 1 x
2
(x) x
1
(x)
2 2
1
(x) 1
_
_
_
_
0
y
z
_
_
= (xy
2
(x) +xz
1
(x), 2y
1
(x) +z)
No legible
Ejemplo 4.6.3 Sabemos que a = (1, 1, 0, 0) es soluci on de
xe
u+v
+uv 1 = 0
(4.1)
ye
uv
2uv 1 = 0
El sistema anterior es equivalente a
F(x, y, u, v) =
_
xe
u+v
+uv 1, ye
uv
2uv 1
_
= f(1, 1, 0, 0) = (0, 0)
Existe un entorno E R
4
de a R
4
de modo que para todo (x, y, u, v) E se tenga que
(x, y, u, v) satisfaga (4.1)?
Soluci on: Para esto consideremos F : R
2+2
R
2
denida como arriba, luego
DF
(x,y,u,v)
=
_
_
e
u+v
0 xe
u+v
+v xe
u+v
+u
0 e
uv
ye
uv
2v ye
uv
2u
_
_
as
DF
(1,1,0,0)
R
2
=0R
2
: R
2
R
es tal que
_
DF[
(1,1,0,0)[
{0}R
2
_
(m, n) =
_
_
1 1
16 1
_
_
_
_
m
n
_
_
es invertible. As existe :
B((1, 1), )
B((0, 0), ) de clase C

1
, donde u = u(x, y), v =
v(x, y), con
D
(x,y)
=
_
DF
(x,y,(x,y))
0R
2
_
1
_
DF
(x,y,(x,y))
R
2
0
_
=
_
DF
(x,y,u,v)
0R
2
_
1
_
DF
(x,y,u,v)
R
2
0
_
=
_
_
xe
u+v
+v xe
u+v
+u
ye
uv
2v ye
uv
2u
_
_
1
_
_
e
u+v
0
0 e
uv
_
_
=
_
_
u
x
(x, y)
u
y
(x, y)
v
x
(x, y)
v
y
(x, y)
_
_
Hallando la inversa tenemos
c
11
= ye
uv
2u, c
12
= ye
uv
2v, c
21
= xe
u+v
+u, c
22
= xe
u+v
+v
luego
det =
_
xe
u+v
+v
_ _
ye
uv
+ 2u
_
_
xe
u+v
+u
_ _
ye
uv
2v
_
= xye
u
2xue
u+v
vye
uv
2uv xye
u
+ 2xve
u+v
uye
uv
+ 2uv
= 2xye
u
+ 2xe
u+v
(v u) ye
uv
(u +v)
as la inversa es
1
2xye
u
+ 2xe
u+v
(v u) ye
uv
(u +v)
_
_
ye
uv
2u xe
u+v
+u
ye
uv
2v xe
u+v
+v
_
_
, de
donde
D
(x,y)
=
1
2xye
u
+ 2xe
u+v
(v u) ye
uv
(u +v)
_
_
e
u+v
(ye
uv
+ 2u) e
uv
(xe
u+v
+u)
e
u+v
(ye
uv
2v) e
uv
(xe
u+v
+v)
_
_
=
_
_
u
x
(x, y)
u
y
(x, y)
v
x
(x, y)
v
y
(x, y)
_
_
de este modo se obtienen las derivadas parciales
u
x
,
u
y
,
v
x
,
v
y
Captulo 5
Integracion
5.1 Integraci on sobre subconjuntos de R
2
y R
3
Los subconjuntos de R
2
de la forma A = I
1
I
2
, donde I
1
= [a
1
, b
1
] , I
2
= [a
2
, b
2
] R son in-
tervalos acotados, son llamados 2-bloque, cuyo volumen V (A) se dene como V (A) =
2
i=1
(b
i
a
i
).
El bloque es abierto (cerrado) si los intervalos son abiertos (cerrados)
Una partici on de un 2-bloque cerrado A es cualquier conjunto de la forma P = P
1
P
2
donde
P
1
y P
2
son particiones de I
1
= [a
1
, b
1
] y I
2
= [a
2
, b
2
] respectivamente. En este caso deniremos
|P| = max|P
1
|, |P
2
|. Haciendo P
1
= t
0
< t
1
< < t
r
, P
2
= t
0
< t
1
< < t
s
.
Tomamos A
ij
= [t
i1
, t
i
] [t
j1
, t
j
], con 1 i r y 0 j s, resulta la igualdad A =
_
1ir
1js
A
ij
.
Obviamente ocurre que Vol(A) =
Vol(A
ij
). Por un abuso de notaci on convenimos en escribir
P = P
1
P
2
= A
ij
1ir
1js
.
Sea f : A R una funcion acotada y P P(A). Asociando a cada A
ij
P los
n umeros
m
A
ij
= m
ij
= inff(x)/x A
ij
, M
A
ij
= M
ij
= supf(x)/x A
ij
observe que denimos la suma inferior y la suma superior asociada al par (f, P) como
s(f, P) =
BP
m
B
Vol(B) S(f, P) =
BP
M
B
Vol(B)
65
5.1. Integracion sobre subconjuntos de R
2
y R
3
66
De la clara desigualda m
B
M
B
, resulta m
B
Vol(B) M
B
Vol(B) y consecuentemente
s(f, P) S(f, P)
Denicion 5.1 Una partici on P = P
1
P
2
rena la partici on Q = Q
1
Q
2
si y s olo si Q
1
P
1
y Q
2
P
2
Propiedad 8 Si la particion Q rena a P, entonces
s(f, P) s(f, Q) S(f, Q) S(f, P)
Lo hecho permite armar que los conjuntos
s = s(f, P)/P P(A), S = S(f, P)/P P(A)
son acotados. Denimos la integral inferior de f como
_
A
f = sups
y la integral superior de f como
_
A
= inf S
Denicion 5.2 Una funcion acotada f : A R es Riemann integrable si
_
A
f =
_
A
f De
ser asi
_
A
f :=
_
A
f
Ejemplo 5.1.1 1
A
: A R tal que 1
A
(x) = 1 es integrable y
_
A
1
A
= Vol(A).
Ejemplo 5.1.2 La funcion f : [0, 1] [0, 1] R denida como
f(x) =
_
_
1, x Q
2
A
0, x I
2
A
no es Riemman Integrable.
Teorema 5.1 Toda funcion continua f : A R es integrable.
Propiedad 9 La funcion acotada f : [a
1
, b
1
] [a
2
, b
2
] R es integrable si y s olo si para todo
> 0, existe una partici on P tal que S(f, P) s(f, P) < .
2
y R
3
67
Prueba: Como sup(s) = inf(S), entonces > 0, existen particiones P = P
1
P
2
, P = P
1
P
2
tales que
_
f

2
< s(f, P)
_
f S(f, P) <
_
f +

2
. Tomando T = (P
1
P
1
) (P
2
P
2
)
tenemos que
_
f

2
< s(f, P) s(f, T)
_
f S(f, T) S(f, P) <
_
f +

2
de donde S(f, T) s(f, T) < . Falta la vuelta.
Propiedad 10 Si f : K R
n
R
m
, con K compacto, es continua, entonces dado > 0,
existe > 0 de modo que para x, y K, con [x y[ < , se cumple que [f(x) f(y)[ < .
Teorema 5.2 Si f : [a
1
, b
1
] [a
2
, b
2
] R es continua, entonces f es integrable.
Prueba: Para > 0 existe > 0 tal que para todo x, y [a
1
, b
1
] [a
2
, b
2
], [x y[ < :
[f(x) f(y)[ <

Vol(A)
. Sea ahora una partici on P de A, de modo que para todo x, y en el
sub-bloque se tenga que [x y[ < . Luego
S(f, P) s(f, P) =
(M
)Vol() =
(f(x
) f(y
))Vol() <

Vol(A)
Vol() =
donde x
, y . Por lo tanto, f es integrable.

Sea f : A = [a
1
, b
1
] [a
2
, b
2
] R funcion integrable. Para cada x [a
1
, b
1
] consider-
amos la composicion
[a
2
, b
2
]
x
A
f
R
donde
x
(y) = (x, y), y denimos (x) =
_
(f
x
)dy, (x) =
_
(f
x
)dy. Luego hemos
encontrado dos funciones , : [a
1
, b
1
] R denidas como (x) =
_
(f
x
)dy, (x) =
_
(f
x
)dy
Propiedad 11 Las funiones , : [a
1
, b
1
] R denidas como (x) =
_
(f
x
)dy, (x) =
_
(f
x
)dy son integrables y ademas
_
b
1
a
1
(x)dx =
_
b
1
a
1
(x)dx =
_
A
f
2
y R
3
68
Observaci on: En el caso que f sea continua, tenemos que (x) = (x) =
_
b
2
a
2
f(x, y)dy, de
donde resulta
_
b
1
a
1
(x)dx =
_
b
1
a
1
_
b
2
a
2
f(x, y)dydx =
_
A
f
Prueba: Si P = P
1
P
2
es una partici on de A, entonces cada sub-bloque =
1

2
, donde
1
es un sub-bloque de P
1
y
2
es un sub-bloque de P
2
. Para cada
1
P
1
, tomando
2
P
2
m
Vol(
1

2
) =
_
_
2
P
2
m
Vol(
1
)Vol(
2
)
_
_
se tiene
s(f, P) =
1
P
1
_
_
2
P
2
m
Vol(
1
)Vol(
2
)
_
_
=
1
P
1
_
_
_
_
2
P
2
m
2
Vol(
2
)
_
_
Vol(
1
)
_
_
Luego para cada x
1
, se tiene que (f
x
es f restringido a x
2
)
m
2
(f
x
)
m
Vol(
2
) m
2
(f
x
)Vol(
2
)
As, para todo x
1
:
2
P
2
m
2
Vol(
2
)
2
P
2
m
2
(f
x
)Vol(
2
)
_
(f
x
)dy = (x)
luego
2
P
2
m
2
Vol(
2
) m
1
(), de donde
_
_
2
P
2
m
2
Vol(
2
)
_
_
Vol(
1
) m
1
()Vol(
2
)
Tomando la sumatoria s(f, P)
1
P
1
m
1
()Vol(
1
) = s(, P
1
). De igual modo se prueba
que S(, P
1
) S(f, P), pero como , tenemos que S(, P
1
) S(, P
1
) S(f, P). Por
tanto
s(f, P) s(, P
1
) S(, P
1
) S(, P
1
) S(f, P)
y como f es integrable, concluimos que y son integrables, esto es existe
_
b
1
a
1
(x)dx =
_
b
1
a
1
(x)dx =
_
A
f
es decir
_
A
f =
_
b
1
a
1
_
(f
x
)(y)dydx =
_
b
1
a
1
_
(f
x
)(y)dydx
2
y R
3
69
Sea f : A = [a
1
, b
1
] [a
2
, b
2
] [a
3
, b
3
] R una funcion integrable. Para cada x [a
1
, b
1
],
consideramos la composicion
[a
2
, b
2
] [a
,
b
3
]
x
A
f
R
3
donde
x
(y, z) = (x, y, z). Esto origina las funciones , : [a
1
, b
1
] R denidas como
(x) =
_
A
(f
x
)(y, z)dzdy =
_
A
(f
x
)
(x) =
_
A
(f
x
)(y, z)dzdy =
_
A
(f
x
)
Estas funciones son integrables y se dan las igualdades
_
b
1
a
1
(x) =
_
b
1
a
1
_
A
(f
x
)(y, z)dzdy =
_
A
f
_
b
1
a
1
(x) =
_
b
1
a
1
_
A
(f
x
)(y, z)dzdy =
_
A
f
Observaci on: En el caso de ser f continua, tenemos que
(x) =
_
A
(f
x
) =
_
b
2
a
2
_
b
3
a
3
(f
x
)(y, z)dzdy =
_
b
2
a
2
_
b
3
a
3
f(x, y, z)dzdy = (x)
Observaci on: En el caso de ser f continua tenemos que
_
b
1
a
1
(x)dx =
_
b
1
a
1
_
b
2
a
2
_
b
3
a
3
f(x, y, z)dzdydx =
_
b
1
a
1
(x)dx =
_
A
f
Propiedad 12 Sea A R
n
un n-bloque, f, g : A R funciones acotadas e integrables y
R. Entonces
i) f +g es integrable y
_
A
f +g =
_
A
f +
_
A
g.
ii) Para cada x R, f es integrable y
_
A
f =
_
A
f.
iii) Si para cada x A se tiene que f(x) g(x), entonces
_
A
f
_
A
g.
2
y R
3
70
iv) Si [[ : R R es la funcion valor absoluto, entonces
_
A
f
_
A
[f[
v) Si f es continua, entonces existe c A tal que f(c)Vol(A) =
_
A
f.
Prueba:
v) Como A es compacto y f continua, exiten x
1
, x
2
A tales que para todo x A se tiene
m = f(x
1
) f(x) f(x
2
) = M. Es m as, Ran(f) = [m, M], luego
_
a
m
_
A
f
_
A
M
o equivalentemente
mVol(A)
_
A
f MVol(A)
o lo que es lo mismo
m
_
A
f
Vol(A)
M
de donde, existe c A tal que f(c) =
_
A
f
Vol(A)
, esto eso, f(c)Vol(A) =
_
A
f.
Denicion 5.3 Un subconjunto acotado X R
n
tiene volumen si y s olo si existe un n-bloque
A R
n
, con X A, de modo que A
X
: A R denido por
A
X
(x) =
_
_
1, x X
0, x AX
es integrable. En este caso diremos que Vol(X) =
_
A
A
X
.
Ejemplo 5.1.3 Sea X = B un n-bloque y A un n-bloque tal que B = X A. Entonces
A
B
= A
X
: A R con
A
B
(x) =
_
_
1, x B
0, x AB
es integrable, es m as
_
A
AB = Vol(B).
Ejemplo 5.1.4 El conjunto X = [1, 0] 1 R
2
tiene volumen cero.
2
y R
3
71
Ejemplo 5.1.5 Dado el n-bloque A, el el conjunto X = A Q
2
no tiene volumen. Esto es,
_
A
A
X
no es integrable.
Propiedad 13 Si un conjunto X R
n
acotado tiene volumen cero, entonces para todo > 0
existe una familia de sub-bloques A
i
iI
tal que X A
i
y
Vol(A
i
) < .
Prueba: Sea A un n-bloque tal que X A y A
X
: A R. Como Vol(X) = 0, entonces
infS(f, P)/P es una partici on de A = 0, luego para > 0 existe P, partici on de A, tal que
S(f, P) =
Vol() < , esto es,
P
X,=
Vol() < , es decir, X
X,=
.
Teorema 5.3 Un conjunto Y R
m
es J-medible si y s olo si Y tiene medida nula.
Teorema 5.4 (Lebesgue) Una funcion f : A R acotada es integrable si y s olo si el conjunto
D
f
= x A/f no es continua en x tiene medida nula en R
2
.
Denicion 5.4 Sea Y R
2
un conjunto acotado y J-medible. Una funcion acotada f : Y R
e sintegrable si y s olo si existe un 2-bloque A R
2
tal que la funcion f : A R denida como
f =
_
_
f(x), x Y
0, x AY
es integrable. En este caso denimos
_
Y
f :=
_
A
f
Teorema 5.5 Sea Y R
2
un conjunto J-medible y f : Y R una funcion acotada. f es
integrable si y s olo si el conjunto D
f
= x Y/f no es continua en x tiene medida nula
Prueba: Vamos a hacer la prueba cuando Y es un m-bloque.
Dado x en Y = B (un m-bloque) y > 0, consideremos
x
() = M
_
f[
B
(x)
_

m
_
f[
B
(x)
_
, seguidamente denimos w(f, x) = lim
0
x
(). Este n umero tiene las siguientes
caractersticas
I) w(f, x) 0.
2
y R
3
72
ii) w(f, x) = 0 f es continua en x.
iii) w(f, x) > 0 f no es continua en x.
iv) Existe n N tal que w(f, x) >
1
n
f no es continua en x.
v) D
f
=
_
n=1
D
n
, donde D
n
= x X/w(f, x) >
1
n
.
El trabajo se reduce a probar que D
n
tiene medida nula. En efecto, Dado > 0, por ser f
integrable, existe una partici on P =
i
tal que
S(f, P) s(f, P) =
[M
i
(f) m
i
(f)] Vol(
i
) <

n
0
Que sucede sitodo D
n
0
est a contenido en alg un int(
i
)?
Vol(
i
) = Vol(
i
) 1 Vol(
i
)n
0
w(f, x) Vol(
i
)n
0
[M
i
(f) m
i
(f)] < n
0
n
0
=
de donde med(D
n
0
) = 0.
Que sucede si D
n
0
est a contenido en alg un
i
?
Que sucede si D
n
0
est a contenido en m as de un
i
?. En este caso hacemos Q =
i

P/D
n
0

i
,= y resulta la inclusion
D
n
0

_
1
Q
Vol(
i
)1
i
Q
n
0
W(fX
i
)Vol(
i
)
i
Q
n
0
[M
i
(f)m
i
(f)]Vol(
i
) < n
0
n
0
=
por lo tanto D
n
0
tiene medida nula.
Ejemplo 5.1.6 La funcion f : [1, 1] [1, 1] R denida como
f(x, y) =
_
_
3, x ,=
1
n
2, x =
1
n
, y [1, 1] I
1, x =
1
n
, Y [1, 1] Q
es integrable, puesto que
D
f
=
_
n=1
_
_
1
n
, y
_
/ 1 y 1
_
1
n
, y
_
/ 1 y 1
_
tiene medida nula.
Teorema 5.6 Sean X
1
, . . . , X
n
R
m
conjuntos medibles, entonces la union de estos es medible.
5.2. Integracion sobre conjuntos especiales de R
2
73
Teorema 5.7 Sean X
1
, . . . , X
n
R
m
conjuntos medibles, con int(X
i
)int(X
j
) = , con i ,= j.
Entonces f :
n
_
i=1
X
i
R es integrable si y s olo si cada f[
X
i
: X
i
R es integrable. En este
caso tenemos
_
n
i=1
X
i
f =
n
i=1
_
X
i
f[
X
i
5.2 Integraci on sobre conjuntos especiales de R
2
Empezamos con un ejemplo.
Ejemplo 5.2.1 Sea X la regi on limitada por
L
1
: y = x
2
+ 1 L
2
: y = x
2
1 L
3
: x = 2 S
1
= (x, y)/x
2
+y
2
= 1
Dada la funcion f : X R denida por f(x, y) = x +y, se desea calcular.
_
X
f
Como hacemos esto?
Observemso que X es la union dijunta de
X
1
= (x, y) R
2
/
1 x
2
y x
2
+ 1, para 0 x 1 0 y x
2
+ 1, para 1 x 2
X
2
= (x, y) R
2
/ x
2
+ 1 y
1 x
2
, para 0 x 1 x
2
+ 1 y 0, para 1 x 2
Entonces seria natural obtener la igualdad
_
X
f =
_
X
1
f +
_
X
1
f Pero como Como calculamos
_
X
1
f?
Por esta razon integraremos funciones f : X R sobre conjuntos de la forma
X = (x, y)/a x b,
1
(x) y
2
(x) Y = (x, y)/c y d,
1
(y) x
2
(x)
Teorema 5.8 (Fubini) Si f : X R es integrable y continua, entonces
_
X
f =
_
b
a
_
_

2
(x)
1
(x)
f(x, y)dy
_
dx =
_
b
a
_

2
(x)
1
(x)
f(x, y)dydx
Prueba: Sea A = [a, b] [, ], donde = min
1
(x) y = max
2
(x). Para cada x
[a, b] consideremos x [, ],
x
: [, ] A con
x
(y) = (x, y) y f
x
: [, ] R
con (f
x
)(y) = f(x, y). Esta ultima funcion es integrable, pues D
fx
= y [, ]/f
x
no es continua en y tiene a lo m as dos elementos (
1
(x),
2
(x)). Esto es, existe
h(x) =
_

(f
x
)(y)dy =
_

1
(x)
f(x, y)dy+
_

2
(x)
1
(x)
f(x, y)dy+
_

2
(x)
f(x, y)dy =
_

2
(x)
1
(x)
f(x, y)dy
5.3. Integracion sobre conjuntos de R
3
74
hemos construido una funcion h : [a, b] R con h(x) =
_

2
(x)
1
(x)
f(x, y)dy. Probaremos que f
es continua en x. En efecto, para (pequ no), sea
[h(x +) h(x)[ =
_

2
(x)
1
(x)
f(x +, y)dy
_

2
(x)
1
(x)
f(x, y)dy
_

1
(x)
1
(x+)
f(x +, y)dy +
_

2
(x)
1
(x)
f(x +, y)dy +
_

2
(x+)
2
(x)
f(x, y)dy
_

2
(x)
1
(x)
f(x, y)dy
_

1
(x)
1
(x+)
f(x +, y)dy
_

2
(x+)
2
(x)
f(x +, y)dy
_

2
(x)
1
(x)
[f(x +, y) f(x, y)] dy
f(x +,
1
) [
1
(x)
1
(x +)]
. .
(1)
f(x +,
2
) [
2
(x +)
2
(x)]
. .
(2)
+
+
_

2
(x)
1
(x)
[f(x +, y) f(x, y)[
. .
(3)
dy
Luego haciendo 0, tenemos que (1), (2), (3) 0. Esto nos dice que h es continua, por
tanto integrable. As, existe
_
b
a
h(x)dx =
_
b
a
_
_

2
(x)
1
(x)
f(x, y)dy
_
dx
5.3 Integraci on sobre conjuntos de R
3
Teorema 5.9 Sea A = [a
1
, b
1
] [a
2
, b
2
] [a
3
, b
3
] R
3
y f : A R una funcion acotada,
entonces
_
A
f =
_
b
1
a
1
_
b
2
a
2
_
b
3
a
3
f(x, y, z)dzdydx
Prueba: Para cada x [a
1
, b
1
] sea
x
: [a
2
, b
2
] [a
3
, b
3
] A, con
x
(y, z) = (x, y, z), y
f
x
: A
= [a
2
, b
2
] [a
3
, b
3
] R, con (f
x
)(y, z) = f(x, y, z). Esta ultima funcion es
integrable, luego existen
(x) =
_
A
f
x
=
_
b
2
a
2
_
b
3
a
3
(f
x
)(y, z)dzdy =
_
b
2
a
2
_
b
3
a
3
f(x, y, z)dzdy
As hemos construido una funcion : [a
1
, b
1
] R. Probaremos que es continua.
La continuidad de es inmediata y por tanto
_
b
1
a
1
(x)dx =
_
b
1
a
1
_
b
2
a
2
_
b
3
a
3
f(x, y, z)dzdydx =
_
A
f
5.3. Integracion sobre conjuntos de R
3
75
5.3.1 Integraci on sobre regiones que no sean n-bloques
Conjuntos especiales sobre los cuales vamos a trabajar, son del tipo siguiente:
X = (x, y, z)/a
1
x b
1
,
1
(x) y
2
(x),
1
(x, y) z
2
(x, y)
X = (x, y, z)/a
2
y b
2
,
1
(y) x
2
(y),
3
(x, y) z
4
(x, y)
X = (x, y, z) R
3
/a x b,
1
(x) y
2
(x),
1
(x, y) z
2
(x, y)
X = (x, y, z) R
3
/a x b,
1
(x) z
2
(x),
1
(x, z) y
2
(x, z)
X = (x, y, z) R
3
/a y b,
1
(y) x
2
(y),
1
(x, y) z
2
(x, y)
X = (x, y, z) R
3
/a y b,
1
(y) z
2
(y),
1
(y, z) x
2
(y, z)
donde todas las funciones que aparecen son continuas.
Teorema 5.10 Sea f : X R una funcion continua denida sobre
X = (x, y, z) R
3
/a
1
x b
1
,
1
(x) y
2
(x),
1
(x, y) z
2
(x, y)
donde
a
2
= min
1
(x) b
2
= max
2
(x) a
3
= min
1
(x, y) b
3
= max
2
(x)
(i.e. X = [a
1
, b
1
] [a
2
, b
2
] [a
3
, b
3
]), entonces, para x [a
1
, b
1
] ocurre que la composicion
f
x
= f g
x
Xx
..
(y, z)/
1
(x) y
2
(x),
1
(x, y) z
2
(x, y)
gx
X
f
R
es integrable. Es decir existe
_
Xx
f
x
=
_
Xx
f
x
(y, z) =
_

2
(x)
1
(x)
_
_

2
(x,y)
1
(x,y)
f(x, y, z)dz
_
dy
Adem as la funcion : [a
1
, b
1
] R, denida por (x) =
_
Xx
f
x
, es integrable y ocurre que
_
[a
1
,b
1
]
(x)dx =
_
[a
1
,b
1
]
__
Xx
f
x
_
=
_
[a
1
,b
1
]
_
_

2
(x)
1
(x)
_
_

2
(x,y)
1
(x,y)
f(x, y, z)dz
_
dy
_
dx
5.4. Cambio de variable 76
5.4 Cambio de variable
El teorema de cambio de variable para funciones reales de variable real dice: Dadas las
funciones integrables
[c, d]
h
[a, b]
f
R
donde h es de clase C
1
, entonces
Si h(c) < h(d), entonces
_
h(d)
h(c)
f(x)dx =
_
d
c
(f h)(x)h
(x)dx =
_
d
c
(f h) det(h
)
Si h(d) < h(c), entonces
_
h(c)
h(d)
f(x)dx =
_
d
c
(f h)(x)h
(x)dx =
_
d
c
(f h) det(h
)
Vamos a generalizar este hecho para funciones f : X R, donde X e sun subconjunto de R
n
Teorema 5.11 Sea U un abierto de R
n
, f : U R
n
una funcion de clase C
1
. Entonces la
imagen por f de todo Y U medible, es medible (i.e f(Y ) es medible).
Sea U R
m
un conjunto abierto, acotado y g : U R
m
inyectiva, acotada, de clase C
1
y con
derivada invertible en todo punto de U, resulta que:
a. g(U) es abierto. Esto es por el teorema de la funcion inversa.
b. g : U g(U) es un difeomorsmo de clase C
1
. Esto es por un teorema.
c. U es j medible si, y s olo si, g(U) tambien lo es. Esto es por la factibilidad de expresar
U como uni on de compactos j medibles y a que la imagen de estos va un difeomorsmo
de clase C
1
es tambien conjunto j medible. (Elon II/lema 2/p ag387)
Dada f en R(g(U)) deseamos demostrar la existencia de la integral
_
U
f g [ det(g)[ y que esta
coincide con
_
g(U)
f. Observe que de ser U j medible(y consecuentemente g(U)) y del hecho
que f este en R(g(U)) se deduce la existencia de de la integral. Esto se debe a la inclusion
D
fg [ det(g) [
g
1
(D
f
)
y al hecho que todo difeomorsmo (en este caso g
1
) lleva conjuntos demedida nula de conjuntos
con esta misma caracteristica.
Procedemos por induccion sobre m. En efecto. El caso m = 1 es claro. As, asumiendo
valido el teorema cuando U es un abieto de R
m
, demostraremos la validez de la tesis cuando U
es un abierto de R
m+1
.
Convenimos en x = (x
1
, , x
m+1
). Veamos. Si para a en U asumimos la igualdad
Jg(a) = I, entonces la funcion
U
h
R
m+1
x (g
1
(x), , g
m
(x) , x
m+1
)
es tal que Jh(a) = I; de donde por el teorema de la funcion inversa a posee una vecindad
j medible U
a
U para la que la restricion
U
a
h
h(U
a
)
1
. Por otro lado, la funcion
h(U
a
)
k
R
m+1
x ( x
1
, , x
m
, (g
m
h
1
)(x) )
que tambien es de clase C
1
, es tal que JK(h(a)) = I. De donde por el teorema de la funcion
inversa h(a) posee una vecindad V
h(a)
h(U
a
) para la que la restriccion
V
h(a)
Ka
k(V
h(a)
)
1
. De donde teniendo en cuenta que la composici on
h
1
(V
h(a)
)
ha
h(V
h(a)
)
Ka
coincide con
Teorema 5.4.1 Si U R
m
es un abierto acotado j medible y g : U R
m
inyectiva, acotada,
de clase C
1
y con derivada invertible en todo punto de U tal que para todo m bloque A U
se da la igualdad
_
A
[ det(g)[ =
_
g(A)
1, entonces para toda f en R(g(U)) y todo m bloque
B g(U) existen las integrlaes dadas abajo y se dan las igualdades
i.]
_
g
1
(B)
[ det(g)[ =
_
B
1 , ii.]
_
g
1
(B)
f g [ det(g)[ =
_
B
f , iii.]
_
U
f g [ det(g)[ =
_
g(U)
f
Prueba: En principio, los conjuntos sobre los que se considera cualquier a de las integrales son
j medibles esto se debe a que tanto g como g
1
son de clase C
1
. Veamos ahora las igualdades.
Tomando un cubrimiento abierto B
de g(U) por medio de m bloques B
g(U), y
haciendo U
= g
1
(B
) resulta que la familia U
es un cubrimiento abierto de U. De es modo

lo hecho hasta ahora permite armar
_
g
1
(B
)
f g [ det(g)[ =
_
B
f
_
U
f g [ det(g)[ =
_
g(U
)
f
Ejemplo 5.4.1 Calcular el area de la elipse E = (x, y) R
2
/
x
2
a
2
+
y
2
b
2
= 1. Sea h : R
2
R
2
denida por h(x, y) = (ax, by) (claramente h es un difeomorsmo de clase C
1
) y tomando
X = (x, y)/x
2
+y
2
= 1 (J-medible), observamos que h(X) = Eint(E) tambien es J-medible,
luego tomamos f : h(X) R denida como f(x) = 1, por tanto
_
h(X)
f =
__
h(X)
dudv =
__
X
(f h)(x, y)
det(Dh
(x,y)
)
dxdy
=
__
X
1abdxdy = ab
__
X
dxdy = ab
_
X
1 = abVol(X)
= ab = ab
Ejemplo 5.4.2 Sea h : R
2
R con h(x, y)(xy, x
2
y
2
) y X = (x, y)/1 x 2, 0 y 1.
Hallemos X, h(1, y) = (y, 1 y
2
), h(2, y) = (2y, 4 y
2
), h(x, 0) = (0, x
2
), h(x, 1) = (x, x
2
1)
Sea f : h(X) R, denida como f(x, y) =
_
4x
2
y
2
, luego calcular
_
h(X)
f:
(f h)(u, v) = f(uv, u
2
v
2
) =
_
4u
2
v
2
+ (u
2
v
2
)
2
=
_
4u
2
v
2
+u
4
+v
4
2u
2
v
2
=
_
u
4
+ 2u
2
v
2
+v
4
=
_
(u
2
+v
2
)
2
= u
2
+v
2
As
Dh(u, v) =
_
_
v u
2u 2v
_
_
entonces [det(Dh(u, v))[ = 2(u
2
+v
2
), luego
_
h(X)
f =
_
X
(f h)(u, v) [det(Dh(u, v))[ =
_
X
(u
2
+v
2
)2(u
2
+v
2
)
= 2
_
2
1
_
1
0
(u
2
+v
2
)
2
dudv
2
R
2
dado por
h(u, v) =
_
_
1 1
2 1
_
_
_
_
u
v
_
_
= (u +v, 2u +v)
5.5. Centro de masa 79
con det(h
) = 1. Hallar el area de h(X), donde X es la regi on acotada por las rectas L =

(x, y)/y = 2x, L
2
= (x, y)/y = 2x + 2 y el eje X.
h(x, 2x) = (3x, 2x + 2x) = x(3, 4)
h(x, x + 2) = (2, 2x x + 2) = (2, x + 2) = (2, 2) + (0, x)
h(x, 0) = (x, 2x) = x(1, 2)
luego
_
h(X)
1 =
_
X
1
2
R
2
dado por h(r, ) = (r cos , rsen),
Dh(r, ) =
_
_
cos rsen
sen r cos
_
_
X = (r, )/0
3
4
0 r 2sen. Hallar el area de h(X)

Area(h(X)) =
_
h(X)
1 =
_
X
r =
_ 3
4
0
_
2sen
0
rdrd
5.5 Centro de masa
Si p es un punto en el plano de masa m y la distancia dirigida de p a la recta L, entonces
el momento estatico de p respecto de L es
M
L
:=
m
..
masa de p .
..
distancia dirigida de p a L
Si no tenemos un punto p, sino k puntos p
1
, . . . , p
k
de masas m
1
, . . . , m
k
y si
1
, . . . ,
k
son las
distancias respectivas a la recta L, entonces
M
L
= m
1
1
+ +m
k
k
Estamos interesados en el caso cuando la recta son los ejes coordendos. En efecto dado p
i
=
(x
i
, y
i
), tenemos que
Si L es el eje X, entonces M
X
= m
1
y
1
+ , m
k
y
k
Si L es el eje Y , entonces M
Y
= m
1
x
1
+ , m
k
x
k
Ejemplo 5.5.1 Si p
1
= (1, 1), p
2
= (1, 2), p
3
(1, 3), son puntos de masa m
1
, m
2
y m
3
respecti-
vamente, entonces M
X
= m
1
+ 2m
2
+ 3m
3
y M
Y
= m
1
+m
2
+m
3
.
5.5. Centro de masa 80
Denicion 5.5 El centro de masa del sistema p
1
, . . . , p
k
es un punto p = (x, y) (no necesari-
amente del sistema) tal que
(m
1
+ +m
k
)y =
k
i=1
m
i
y
i
= M
X
(m
1
+ +m
k
)x =
k
i=1
m
i
x
i
= M
Y
es decir que
(x, y) =
_
m
i
x
i
m
i
,
m
i
y
i
m
i
_
As en el ejemplo anterior tenemos que (x, y) =
_
m
1
+ 2m
2
+ 3m
3
m
1
+m
2
+m
3
_
.
Ahora, nos interesa calcular el centro de masa de una regi on X R
2
(X con Vol(X) ,= 0).
Veamos. Si : X R es la funcion densidad, entonces Masa(X) =
_
X
. Queremos calcular el
centro de masa de X. Para esto tenemos que
M
X
=
_
X
y(x, y), M
Y
=
_
X
x(x, y)
luego, el centro de masa de la region X es
(x, y) =
_
_
x(x, y)
masa(X)
,
_
y(x, y)
masa(X)
_
Captulo 6
Integrales de lnea
6.1 Campo de Vectores
Un campo de vectores sobre un abierto U de R
n
, es una funcion continua F : U R
n
de
modo que para cada p U, F(p) es un vector cuyo punto inicial es p.
Ejemplo 6.1.1 Son campos de vectores sobre R
2
las funciones continuas F : R
2
R
2
dado
por F(x, y) = (y, x) y F : R
2
R
2
dado por F(x, y) = (x, 0)
Seg un esto, dado un campo de fuerza F : U R
2
R
2
, deseamos saber cu al es el trabajo
realizado por un objeto al desplazarse a traves de un conjunto X U desde un punto p hasta un
punto q. Asumiendo que el conjunto X por donde se ha desplazado el objeto, est a parametrizado
por un camino continuo : [a, b] U con (a) = p, (q) = b, y tomando una prtici on punteada
P = t
0
, t
1
, . . . .t
n
,
1
, . . . ,
n
, con t
i1
<
i
< t
i
1 i n
de [a, b], se tiene que el trabajo W es aproximadamente igual a
n
i=1
(F
1
((
i
)) (
1
(t
i
)
1
(t
i1
)) +F
2
((
i
))(
2
(t
i
)
2
(t
i1
)))
done cada sumando es aproximadamente igual al trabajo realizado por el objeto al desplazarse
de (t
i1
) a (t
i
). Luego el trabajo W existe si y s olo si existe
lim
[P[0
n
i=1
[F
1
((
i
))(
1
(t
i
)
1
(t
i1
)) +F
2
((
i
))(
2
(t
i
)
2
(t
i1
))] (6.1)
Bajo que condiciones existe dicho lmite?.
81
6.1. Campo de Vectores 82
Asumiendo que no sea de clase C
1
, tenemos
=
n
i=1
_
F
1
((
i
))
1
(
i
)(t
i
t
i1
) +F
2
((
i
))
2
(
i
)(t
i
t
i1
)
_
=
n
i=1
F
1
((
i
))
1
(
i
)(t
i
t
i1
) +
n
i=1
F
2
((
i
))
2
(
i
)(t
i
t
i1
)
=
n
i=1
F
1
((
i
))
1
(
i
)(t
i
t
i1
) +
n
i=1
F
2
((
i
))
2
(
i
)(t
i
t
i1
) +
+
n
i=1
F
1
((
i
))[
1
(
i
)
1
(
i
)](t
i
t
i1
) +
n
i=1
F
2
((
i
))[
2
(
i
)
2
(
i
)](t
i
t
i1
)
donde
i
,
i
,
i
t
i1
, t
i
. Observaci on:
i) F
1
, F
2
: U R son continuas.
ii) Como F
1
, F
2
: [a, b] R son continuas, ambas est an acotadas por M > 0.
iii) Como
1
,
2
: [a, b] R son continuas, entonces dado > 0 existe > 0 tal que
x, y [a, b], [x y[ < se tiene
[
1
(x)
1
(y)[ <

M(b a)
[
2
(x)
2
(y)[ <

M(b a)
Luego tomando una partici on punteada P con norma menor que , tenemos que
(6.1)
_
n
i=1
F
1
((
i
))
1
(
i
)(t
i
t
i1
) +
n
i=1
F
2
((
i
))
2
(
i
)(t
i
t
i1
)
_
<
< M

M(b a)
n
i=1
(t
i
t
i1
) +M

M(b a)
i=1
n(t
i
t
i1
) = 2
por tanto
W = lim
[P[0
n
i=1
[F
1
((
i
))(
1
(t
i
) (t
i1
)) +F
2
((
i
))(
2
(t
i
)
2
(t
i1
))]
= lim
[P[0
_
n
i=1
F
1
((
i
))
1
(
i
)(t
i
t
i1
) +
n
i=1
F
2
((
i
))
2
(
i
)(t
i
t
i1
)
_
= lim
[P[0
n
i=1
F
1
((
i
))
1
(
i
)(t
i
t
i1
) + lim
[P[0
n
i=1
F
2
((
i
))
2
(
i
)(t
i
t
i1
)
=
_
b
a
F
1
((t))
1
(t)dt +
_
b
a
F
2
((t))
2
(t)dt =
_
b
a
F((t)),
(t)dt
Denicion 6.1 Sea F : U R
n
R
n
un campo continuo de vectores, : [a, b] U un
camino de clase C
1
. La integral de F sobre el camino se dene como
_
F =
_
b
a
F((t)),
(t)dt
Observaci on: Si F es vista como un campo de fuerzas,
_
F es visto como el trabajo.

Propiedad 14 Sean F : U R
n
R
n
un campo continuo de vectores, : [a, b] U un
camino de clase C
1
, : [c, d] [a, b] un camino de clase C
1
.
i) Si (c) = a, (d) = b, entonces
_
F =
_
F.
ii) Si (d) = a, (c) = b, entonces
_
F =
_
F.
iii) Si G : U R
n
R
n
, es otro campo continuo de vectores, entonces, para todo c R
_
F +cG =
_
F +c
_
G
Prueba:
i) Tenemos
_
F =
_
d
c
F(((t))), ( )
(t)dt =
_
d
c
F(((t))),
((t))
(t)dt
=
_
d
c
_
n
i=1
F
i
(((t)))
i
((t))
(t)
_
dt =
n
i=1
_
d
c
_
F
i
(((t)))
i
((t))
(t)
dt
Luego
_
b
a
F
i
((t))
i
(t)dt =
_
d
c
F
i
(((t)))
i
((t))
(t)dt, de donde
_
F =
n
i=1
_
b
a
F
i
((t))
i
(t)dt =
_
b
a
n
i=1
F
i
((t))
i
(t)dt =
_
b
a
F((t)),
(t)dt =
_
F
Teorema 6.1 Sea F : U R
n
R
n
continua y : [a, b] U de clase C
1
. Si M es una
cota para F , entonces
M l().
Teorema 6.2 Sea F; U R
n
R
n
un campo de clase C
k
(k 0), donde U es un abierto
conexo de
n
. Entonces las siguientes proposiciones son equivalentes:
i) Existe f : U R de clase C
k+1
tal que f(x) = F(X) = Df(x).
ii) Si : [a, b] U es un camino de clase C
1
por partes, entonces
_
F depende de (a) y
(b).
iii) Para todo camino cerrado y de clase C
1
: [a, b] U se cumple que
_
F = 0.
Prueba:
i) ii) Tenemos
_
F =
i
[
[t
i1
,t
i
]
F =
_
t
i
t
i1
F((t)),
(t)dt =
_
t
i
t
i1
Df((t)),
(t)dt
=
_
t
i
t
i1
D(f )(t)dt =
(f )(t)
t
i
t
i1
=
f((t
i
)) f((t
i1
)) = f((b)) f((a))
ii) iii) Evidente.
iii) ii) Sean
1
,
2
: [a, b] U dos caminos de clase C
1
, con
1
(a) =
2
(a) = P y
1
(b) =
2
(b) = Q. Vamos a probar la igualdad
_
1
F =
_
2
F
El camino
1
+ (
2
) es de clase C
1
por partes, adem as es cerrado, luego
0 =
_
1
+(
2
)
F =
_
1
F +
_
2
F =
_
1
F
_
2
F
de donde se tiene
_
1
F =
_
2
F
es decir
_
F s olo depende de los puntos P y Q.

ii) i) Sea P U un punto jo y x U, luego, como siempre es posible tomar un camino
x
: [0, 1] U de clase C
1
por partes con
x
(0) = P,
x
(1) = x, tomamos
_
x
F
el cual es un valor que s olo depende de P y x. Es decir que si tomamos otro camino
x
con las mismas caractersticas de
x
tendramos que
_
x
F ser
ia igual a
_
x
F
Esto ha permitido construir una funcion f : U R denida como f(x) =
_
x
F. De-
mostraremos que para x U, se tiene f(x) = F(x)
f
x
i
(x) = F
i
(x). Por ser U
abierto, existe > 0 tal que h R, con [h[ < , se tiene x +he
i
U. Seg un esto
f(x +he
i
) f(x) =
_
x+he
i
F
_
x
F =
_
x
F +
_
u
F
_
x
F
=
_
u
F =
_
h
0
F(u
h
(t)), u
(t) =
_
h
0
F
i
(u
h
(t))dt =
_
h
0
F
i
(x +te
i
)
donde u
h
: [0, h] U dado por u(t) = x +te
i
, luego
f
x
i
(x) = lim
h0
f(x +te
i
) f(x)
h
= lim
h0
1
h
_
h
0
F
i
(u
h
(t))dt = lim
h0
_
h
0
F
i
(u
h
(t))
_
0
0
F
i
(u
0
(t))dt
h
= lim
h0
(h) (0)
h
=
(0) = F
2
(u
0
(t)) = F
i
(x)
donde : , : R es denida por (h) =
_
h
0
F
i
(u
h
(t))dt. De todo esto concluimos
que
f
x
i
(x) = F
i
(x)
Denicion 6.2 Un campo vectorial de clase C
k
(k 0) F : U R
n
R
n
es conservativo si
y s olo si existe una funcion f : U R
n
R
n
de clase C
k+1
tal que f = F
Ejemplo 6.1.2 El campo F : R
2
R
n
dado por F(x, y) = (x +y, y) no es conservativo, pues
para , : [0, 1] R
2
, con (t) = (t, t
3
) y (t) = (t, t
2
), se tiene que
_
F ,=
_
F
Ejemplo 6.1.3 El campo FR
3
R
3
dado por F(x, y, z) = (yz, xz, xy) es conservativo, pues
la funcion gradiente de f : R
3
R, dado por f(x, y, z) = xyz, es F.
2
0 R
2
dado por F(x, y) =
_
y
x
2
+y
2
,
x
x
2
+y
2
_
no es
conservativo, pues para : [0, 2] R, con (t) = (cos t, sent), se tiene que
_
F =
_
2
0
(sent, cos t), (sent, cos t)dt =
_
2
0
1dt = 2 ,= 0
Propiedad 15 si F : U R
n
R
n
es un campo conservativo de clase C
k
(k 1), entonces
F
i
x
j
(x) =
F
j
x
i
(x), para todo i, j entre 1 y n.
Prueba: En efecto, sea f : U R una funcion de clase C
k+1
tal que
f =
_
f
x
1
,
f
x
2
, . . . ,
f
x
n
_
= (F
1
, F
2
, . . . , F
n
) = F
Tomando
f
x
i
,
f
x
j
: U R, por Schwartz tenemos
_
f
x
i
_
x
j
=
_
f
x
j
_
x
i
F
i
x
j
=
F
j
x
i
Ejemplo 6.1.5 Para f : R
2
R, con f(x, y) = x
2
+ y
2
, tenemos que f(x, y) = (2x, 2y).
Sabemos que si c R es un vector regular de f, entonces, para todo p f
1
(c) se cumple que
f
p
L, donde L es la recta tangente a f
1
(c) en p. luego F : R
2
R
2
, denido como
F(x, y) = f(x, y), es un campo de vectores.
Ejemplo 6.1.6 Para f : R
2
0 R, con f(x, y) = x
2
+ xy, sabemos que f(x, y) =
(2x + y, x). Observemos que f(x, y) = 0 y = 2x x = 0 (x, y) = (0, 0). Por otro
lado f
1
(c) = (x, y)/x
2
= xy =Eje Y (x, y)/x ,= 0, x = y Sea ahora F : R
2
R
2
,
con F(x, y) = f(x, y) = (2x +y, x).
Ejemplo 6.1.7 Si f : U R
n
R (n = 2, 3) es una funcion de clase C
1
, F : U R
n
un
campo vectorial denido sobre U.
Ejemplo 6.1.8 Sean F : R
2
R
2
, denido como F(x, y) = (x + y, y), y G : R
2
R
2
, con
G(x, y) = (x +y
2
, 2xy),
Para cada k > 0, sea
k
: [0, k
1
] R
2
, con
k
(t) = (kt, k
2
t
2
); luego tenemos que
_
k
F =
4
3
,
_
k
G =
3
2
Tomando : [0, 1] R
2
, con (t) = (t, t
3
), tenemos que
_
F =
5
4
,
_
G =
3
2
Observaci on:
Existe g : R
2
R con g(x, y) =
x
2
2
+xy
2
tal que g(x, y) = G(x, y).
No existe f : R
2
R tal que f(x, y) = F(x, y).
Ejemplo 6.1.9 Sabemos que el campo F : R
2
0 R
2
, dado por
y
x
2
+y
2
,
x
x
2
+y
2
= (F
1
(x), F
2
(x)),
no es conservativo. Sin embargo
F
1
y
(x, y) =
y
2
x
2
(x
2
+y
2
)
2
=
F
2
x
(x, y)
Este ejemplo muestra que el recproco del teorema anterior no siempre es cierto.
Teorema 6.3 Si F : U R
n
R
n
es un campo de clase C
k
(k 1) denido en un abierto
de U, con
F
i
x
j
F
j
x
i
para 1 i, j n, entonces F es localmente conservativo.
Prueba: Suponiendo n = 2, tenemos que F = (M, N) y
M
y

N
x
. Supongamos que p = 0
este en U. Seg un esto, existe B
(p) U. Para cada (x, y) B
(p) sea
xy
: [0, 1] B
(p), con
xy
(t) = t(x, y) (
xy
= ), luego
f(x, y) =
_
xy
F =
_
1
0
F((t)),
(t)dt =
_
1
0
(M((t))x +N((t))y)dt
Hemos construido una funcion f : B
(p) R denida como f(x, y) =

_
xy
F, luego
f
x
(x, y) = lim
h0
f(x, y +he
1
) f(x, y)
h
= lim
h0
f(x +h, y) f(x, y)
h
= lim
h0
_
1
0
[M(
h
(t))(x +h) +N(
h
(t))y]
_
1
0
[M((t))x +N((t))y]
h
= lim
h0
_
1
0
M(
h
(t))(x +h) M((t)) +N(
h
(t))y N((t))y
h
=
_
1
0
lim
h0
_
_
_
_
M(
h
(t))(x +h) M((t))
h
. .
(1)
+
N(
h
(t))y N((t))y
h
. .
(2)
_
_
_
_
Tenemos
(1) =
M(t(x +h, y))x +M(t(x +h, y))h M(t(x, y))x
h
=
txM[t(x, y) th(1, 0)] M[t(x, y)]
th
+M(t(x +h, y))
(2) =
yN(t(x +h, y)) N(t(x, y))
h
= ty
_
N(t(x, y) +th(1, 0)) N(t(x, y))
th
_
luego
f
x
(x, y) =
_
1
0
xt
M
x
(t(x, y)) +M(t(x, y)) +yt
N
x
(t(x, y))
=
_
1
0
_
t
_
x
M
x
((t)) +y
N
y
((t))
_
+M((t))
_
=
_
1
0
_
t
_
x
M
x
((t)) +y
M
x
((t))
_
+M((t))
_
=
_
1
0
tDM (t) + (M )(t) =
_
1
0
g
(t)dt = g(1) g(0) = g(1) = (M )(t) = M(x, y)

donde g es una funcion denida sobre [0, 1], con g(t) = t(M)(t). De igual modo se demuestra
que
f
y
(x, y) = N(x, y).
Si p ,= 0, sea > 0 tal que B
(p) U. Construimos h : B
(0) B
(p) como h(x, y) =

(x, y) +p. Luego tomando F = F h : B
(0) R
2
, existe f : B
(0) R tal que

f
x
(x, y) = (M h)(x, y) = M(h(x, y)),
f
y
(x, y) = (N h)(x, y) = N(h(x, y))
es decir, f(x, y) = (F h)(x, y). Tomando ahora h
1
: B
(p) B
(0) y f = f h
1
:
B
(p) R, tenemos
Df(q) = D(f h
1
)(q) = Df(h
1
(q))Dh
1
(q) =
_
f
x
(h
1
(q)),
f
y
(h
1
(q))
_
= (M(q), N(q)) =
_
f
x
(q),
f
y
(q)
_
2
0 R
2
, dado por
F(x, y) =
_
y
x
2
+y
2
,
x
x
2
+y
2
_
no es conservativo. Sin embargo haremos notar que F si es localmente conservativo. En efecto,
para p R
2
0, encontraremos un abierto U R
2
0 con p U tal que F[
U
es conservativo.
Fijado p R
2
0, sea U = R
2
tp/t 0, donde p R
2
0, p y [p[ = 1 Como para
p existe a R tal que p = (cos a, sena), tenemos que : a, a + 2 S
1
p, denida
como (t) = (cos t, sent), es biyectiva, continua y con inversa
1
: S
1
p a, a + 2
continua. Deniendo : U S
1
p, por (z) =
z
[z[
, tenemos que la funcion continua
f =
1
: U a, a + 2 satisface
( f)(x, y) = (f(x, y)) = (cos f(x, y), senf(x, y)) = (x, y) =
_
x
_
x
2
+y
2
,
y
_
x
2
+y
2
_
de donde
D( f)(x, y) = D(f(x, y))Df(x, y) =
_
_
senf(x, y)
cos f(x, y)
_
_
_
f
x
(x, y),
f
y
(x, y)
_
=
_
_
senf(x, y)
f
x
(x, y) senf(x, y)
f
y
(x, y)
cos f(x, y)
f
x
(x, y) cos f(x, y)
f
y
(x, y)
_
_
=
_
_

xy
(x
2
+y
2
)
_
x
2
+y
2
yx
(x
2
+y
2
)
_
x
2
+y
2
_
luego
cos f(x, y)
f
x
(x, y) =
x
_
x
2
+y
2
_
y
x
2
+y
2
_
y

senf(x, y)
f
y
(x, y) =
y
_
x
2
+y
2
_
x
x
2
+y
2
_
es decir,
f
x
(x, y) =
y
x
2
+y
2
y
f
y
(x, y) =
x
x
2
+y
2
Por lo tanto f(x, y) = F[
U
, luego D : R
2
0 R
2
es localmente conservativo.
2
R
2
denido como F(x, y) = (2xy, x
2
) es conservativo,
pues
Dom(F) es conexo.
F
1
y
(x, y) = 2x =
F
2
x
(x, y).
Ejemplo 6.1.12 Para F : R
2
R
2
dado por F(x, y) = (x + 4y, ax + y) tenemos que
F
1
t
(x, y) = 4,
F
2
x
(x, y) = a y Dom(F) es convexo, luego F es conservativo si y s olo si a = 4.
Como encontramos f : R
2
R tal que f(x, y) = F(x, y)?, veamos: para (x, y) R
2
, sea
xy
: [0, 1] R
2
con (t) = t(x, y) (
xy
= ), luego, consideremos f : R
2
R denido como
f(x, y) =
_
xy
F =
_
1
0
F((t)),
(t)
As
f(x, y) =
_
1
0
F(tx, ty), (x, y) =
_
1
0
(tx + 4ty, 4tx +ty), (x, y)
=
_
1
0
tx
2
+ 4tyx + 4txy +ty
2
=
1
2
(x
2
+y
2
) + 4xy
3
0 R
3
, con F(x, y, z) =
_
y
x
2
+y
2
,
x
x
2
+y
2
, 0
_
, no es
conservativo pues para : [0, 2] R
3
, con (t) = (cos t, sent, 0), se tiene que
_
F =
_
2
0
__
sent
cos
2
t + sen
2
t
,
cos t
cos
2
t + sen
2
t
, 0
_
, (sent, cos t, 0)
_
=
_
2
0
dt = 2 ,= 0
Una de las razones por la cual F no es conservativo, es que Dom(F) = R
2
0 tiene vacos.
6.1.1 Masa total de un alambre
Sea l un trozo de alambre que es el rango de un camino : [a, b] R
n
de clase C
1
. Si la
densidad de l en cada punto p l est a dado por (p) R, queremos calcular su masa.
Een principio,si la densidad fuese uniforme e igual a
0
, entonces M =
0
Vol =
0
_
b
a
|
(t)|dt. Si la densidad no fuese uniforme, tomamos una partici on punteada de [a, b]

Luego, la masa de l restricta al trazo con extremos (t
i1
) y (t
i
) es aproximadamente igual
a
((t
i
))
_
t
i
t
i1
|
(t)|dt = (( i))|
(
i
)|(t
i
t
i1
)
donde
i
t
i1
, t
i
, luego
Masa total = M
n
i=1
((
i
))|
(
i
)|(t
i
t
i1
)
=
n
i=1
((
i
))|
(
I
)|(t
i
t
i1
) +
n
i=1
((
i
))(|
(
i
)| |
(
i
)|)(t
i
t
i1
)
i=1
(())|
(
i
)|(t
i
t
i1
) +
n
i=1
((
i
))|
(
i
)
(
i
)|(t
i
t
i1
)
El ultimo sumando de esta ultima desigualdad converge a cero, si se asume que es continua y
de clase C
1
. Luego tenemos que
M = lim
[P[0
n
i=1
((
i
))|
(
i
)|(t
i
t
i1
) =
_
b
a
((t))|
(t)|dt
n
R una funcion continua denida en el abierto U R
n
,
: [a, b] U un camino de clase C
1
. La integral de lnea con respecto a la longitud de arco de
f sobre es
_
f =
_
b
a
f((t))|
(t)|dt
6.2. El Teorema de Green 91
2
R denida por f(x, y) = xy y los caminos : [0, 1] R
2
, con
(t) = (t, t
2
), : [0, 1] R
2
, con (t) = (1 t, (1 t)
2
) luego
_
f =
_
1
0
f((t))|
(t)| =
5
5
24
+
1
120
=
_
f
Observaci on: La integral no vara cuando se invierte el sentido.
6.2 El Teorema de Green
Denicion 6.4 Un conjunto S R
2
es una region compacta de R
2
si y s olo si existen k caminos
i
: [a
i
, b
i
] R
2
cerrados, simples y de clase C
1
por partes tal que
i) Rg(
i
) int() int(
1
).
ii) [Rg(
i
) int(
i
)] [Rg(
j
) int(
j
)] = .
iii) S = Rg(
1
) [int(
1
) [int(
2
) int(
3
) int(
k
)]]
Observar que S =
Rg(
i
).
Teorema 6.4 Sea F = (f, 0) : R
2
R
2
un campo vectorial de clase C
1
, denido sobre un
abierto U de R
2
. Para una region como S = (x, y)/a x b,
1
(x) y
2
(x) contenida
en U, se tiene que
_
S
+
F =
__
S
f
y
dxdy
Prueba: Como =
1
+
2
+
3
+
4
, donde
1
: [a, b] U (t) = (t,
1
(t))
2
: [
1
(b),
2
(b)] U
2
(t) = bt
3
: [a, b] U (t) = (a +b t,
2
(a +b t))
4
: [
1
(a),
2
(a)] U
4
(t) = (a,
1
(a) +
2
(a) t),
tenemos que
_
S
+
F =
_
1
F +
_
2
F +
_
3
F +
_
4
F
=
_
b
a
F(
1
(t)),
1
(t) +
_

2
(b)
1
(b)
F(
2
(t)),
2
(t) +
_
b
a
F(
3
(t)),
3
(t) +
_

2
(b)
1
(b)
F(
4
(t)),
4
(t)
=
_
b
a
f(
1
(t)) +
_

2
(b)
1
(b)
f(
2
(t)) 0 +
_
b
a
f(
3
(t))(1) +
_

2
(b)
1
(b)
f(
4
(t)) 0 =
_
b
a
f(
1
(t))
_
b
a
f(
3
(
debemos recordar que (
3
)(t) =
3
(a + b t) = (a + b (a + b t),
2
(a + b a + b t)),
luego
_
b
a
f(
3
(t))dt =
_
b
a
f(a +b t,
2
(a +b t))dt =
_
b
a
f(t,
2
(t))
=
_
b
a
(f
3
)(t)
(t)dt
=
_
b
a
f(t,
2
(t))dt
as tenemos queremos
_
S
+
f =
_
b
a
(f(t,
2
(t)) f(t,
1
(t)))dt
Ahora, para cada t [a, b], sea g : [
1
(t),
2
(t)]

U
f
R, denido por g(y) = (f )(y), de
donde g
: [
1
(t),
2
(t)] R es tal que
g
(y) = Df((y))
(y) =
_
f
x
((y)),
f
y
((y))
_
_
_
0
1
_
_
=
f
y
((y)) =
f
y
(t, y)
As tenemos
_

2
(t)
1
(t)
g
(y)dy = g(y)[
2
(t)
1
(t)
= g(
2
(t)) g(
1
(t))
= f(t,
2
(t)) f(t,
1
(t))
6.3 El Teorema de Green
Denicion 6.5 Un conjunto S R
2
es una region compacta de R
2
si y s olo si existen k caminos
i
: [a
i
, b
i
] R
2
cerrados, simples y de clase C
1
por partes tal que
i) Rg(
i
) int() int(
1
).
ii) [Rg(
i
) int(
i
)] [Rg(
j
) int(
j
)] = .
iii) S = Rg(
1
) [int(
1
) [int(
2
) int(
3
) int(
k
)]]
Observar que S =
Rg(
i
).
Teorema 6.5 Sea F = (f, 0) : R
2
R
2
1
, denido sobre un
abierto U de R
2
. Para una region como S = (x, y)/a x b,
1
(x) y
2
(x) contenida
en U, se tiene que
_
S
+
F =
__
S
f
y
dxdy
Prueba: Como =
1
+
2
+
3
+
4
, donde
1
: [a, b] U (t) = (t,
1
(t))
2
: [
1
(b),
2
(b)] U
2
(t) = bt
3
: [a, b] U (t) = (a +b t,
2
(a +b t))
4
: [
1
(a),
2
(a)] U
4
(t) = (a,
1
(a) +
2
(a) t),
tenemos que
_
S
+
F =
_
1
F +
_
2
F +
_
3
F +
_
4
F
=
_
b
a
F(
1
(t)),
1
(t) +
_

2
(b)
1
(b)
F(
2
(t)),
2
(t) +
_
b
a
F(
3
(t)),
3
(t) +
_

2
(b)
1
(b)
F(
4
(t)),
4
(t)
=
_
b
a
f(
1
(t)) +
_

2
(b)
1
(b)
f(
2
(t)) 0 +
_
b
a
f(
3
(t))(1) +
_

2
(b)
1
(b)
f(
4
(t)) 0 =
_
b
a
f(
1
(t))
_
b
a
f(
3
(
debemos recordar que (
3
)(t) =
3
(a + b t) = (a + b (a + b t),
2
(a + b a + b t)),
luego
_
b
a
f(
3
(t))dt =
_
b
a
f(a +b t,
2
(a +b t))dt =
_
b
a
f(t,
2
(t))
=
_
b
a
(f
3
)(t)
(t)dt
=
_
b
a
f(t,
2
(t))dt
as tenemos queremos
_
S
+
f =
_
b
a
(f(t,
2
(t)) f(t,
1
(t)))dt
Ahora, para cada t [a, b], sea g : [
1
(t),
2
(t)]

U
f
R, denido por g(y) = (f )(y), de
donde g
: [
1
(t),
2
(t)] R es tal que
g
(y) = Df((y))
(y) =
_
f
x
((y)),
f
y
((y))
_
_
_
0
1
_
_
=
f
y
((y)) =
f
y
(t, y)
As tenemos
_

2
(t)
1
(t)
g
(y)dy = g(y)[
2
(t)
1
(t)
= g(
2
(t)) g(
1
(t))
= f(t,
2
(t)) f(t,
1
(t))
luego
_
S
+
F =
_
b
a
_
_

2
(x)
1
(x)
f
y
(t, y)dy
_
dt =
_
b
a
_

2
(t)
1
(t)
f
y
(t, y)dydt =
__
S
f
y
dydx
6.4.

Area de un conjunto igual al interior del rango de un camino 94
Teorema 6.6 Sea F = (0, f) : U R
2
R
2
1
denido sobre
un aierto U de R
2
. Para una region S = (x, y)/
1
(y) x
2
(y), c y d contenida en U
se tiene que
_
S
+
F =
__
S
f
x
dxdy
Teorema 6.7 (Teorema de Green) Sea F = (M, N) : U R
2
R
2
un campo vectorial
de clase C
1
denido sobre un abierto U de R
2
. Para una region S como en los dos teoremas
anteriores, se tiene que
_
S
+
F =
__
S
_
N
x

M
y
_
dxdy
Prueba: Tomando F = (M, 0) + (0, N) tenemos que
_
S
+
F =
_
S
+
F
1
+F
2
=
_
S
+
F
1
+
_
S
+
F
2
=
__
S
M
y
+
__
S
N
x
=
__
S
_
N
x

M
y
_
Ejemplo 6.3.1 Sea F : R
2
R
2
, con F(x, y) = (3x
2
y, x
3
), y S la regi on comprendida entre
la par abola y = x
2
y la recta y = 1. Tomando
1
,
2
: [1, 1] R
2
, con
1
(t) = (t, t
2
) y
2
(t) = (t, 1), se tiene que
_
S
+
F =
8
5
Por otra parte
__
S
N
x

M
y
=
_
1
1
_
1
x
2
(3x
2
3x
2
)dydx =
8
5
Ejemplo 6.3.2 Sea F : R
2
R
2
, con F(x, y) = (y, x), y S = R
1
(int(R
2
)int(R
3
)), donde
R
1
= (x, y)/x
2
+ y
2
1, R
2
= (x, y)/(x 2)
2
+ y
2
1, R
3
= (x, y)/(x + 2)
2
+ y
2
1
Consideremos los caminos
1
,
2
,
3
: [0, 2] R
2
, dados por
1
(t) = (4 cos t, 4sent),
2
(t) =
(cos t + 2, sent),
3
(t) = (cos t 2, sent), luego
_
S
+
F =
_
1
F +
_
2
F +
_
3
F
6.4

Area de un conjunto igual al interior del rango de un camino
Dado un camino : [a, b] R
2
cerrado, simple y de clase C
1
por partes orientado posi-
tivamente; nos interesa calcular el area de su interior. Para esto, consideremos F : R
2
R
2
,
6.4.

Area de un conjunto igual al interior del rango de un camino 95
con F(x, y) = (0, x) = (M, N), as tenemos
Area =
__
S
=
__
S
1 0 =
__
S
N
x

M
y
=
_
S
+
F
=
_
b
a
F((t)),
(t) =
_
b
a
F(
1
(t),
2
(t)), (
1
(t),
2
(t))
=
_
b
a
(0,
1
(t)), (
1
(t),
2
(t)) =
_
b
a
1
(t)
2
(t)dt
Captulo 7
Integrales de Supercies
7.1 Area de una Supercie
Sea D una region de R
2
y f = (f
1
, f
2
, f
3
) : D S R
3
. Consideremos las funciones
T
u
T
v
: D R
3
denidas por
T
u
=
_
f
1
u
,
f
2
u
,
f
3
u
_
T
v
=
_
f
1
v
,
f
2
v
,
f
3
v
_
Entonces
T
u
T
v
=
e
1
e
2
e
3
f
1
u
f
2
u
f
3
u
f
1
v
f
2
v
f
3
v
= e
1
_
f
2
u
f
3
v

f
2
v
f
3
u
_
e
2
_
f
1
u
f
3
v

f
1
v
f
3
u
_
+e
3
_
f
1
u
f
2
v

f
1
v
f
2
u
_
luego
|T
u
T
v
| =
_
f
2
u
f
3
v

f
2
v
f
3
u
_
2
+
_
f
1
u
f
3
v

f
1
v
f
3
u
_
2
+
_
f
1
u
f
2
v

f
1
v
f
2
u
_
2
De este modo
Area de una porci on de la superce = [T
u
i
T
v
i
](u
i+1
u
i
)(v
i+1
v
i
) = [T
u
i
T
v
i
]Vol(B
i
)
96
7.2. Integrales de Funciones Escalares Denidas Sobre Supercies 97
Y consecuentemente el area total de la superce esta dada por
A(S) = lim
[P[0
n
i=1
|T
u
i
T
v
i
|Vol(B
i
)
=
_
D
|T
u
T
v
|
En el caso que f
1
(u, v) = u, f
2
(u, v) = v, tenemos que
T
u
=
_
1, 0,
f
3
u
_
T
v
=
_
0, 1,
f
3
v
_
Asi
|T
u
T
v
| =
f
3
u
_
2
+
_
f
3
v
_
2
+ 1
y consecuentemente
A(S) =
_
S
|T
u
T
v
| =
_
S
_
f
3
u
_
2
+
_
f
3
v
_
2
+ 1
7.2 Integrales de Funciones Escalares Denidas Sobre Super-
cies
Sea S una supercie parametrizada y f : S R continua. Denimos
_
S
f =
_
D
[f ]|T
u
T
v
| =
_
D
(f )
_
_
_
_
u

v
_
_
_
_
Ejemplo 7.2.1 Sea : [0, 1][0, 2] R
3
denida por (r, ) = (r cos , rsen, ), as tenemos
A =
_
D
_
_
_
_
x
(r, )

y
(r, )
_
_
_
_
= 2
_
1
0
_
1 +r
2
dr
Sea ahora f : S R con f(x, y, z) =
_
x
2
+y
2
+ 1, as (f )(r, ) =
1 +r
2
, luego
_
S
f =
_
D
_
1 +r
2
_
1 +r
2
=
_
2
0
_
1
0
_
1 +r
2
_
1 +r
2
drd
=
_
2
0
4
3
d =
8
3
7.3 Integrales de Supercie de Funciones vectoriales

Sea : D R
2
R
3
una superce parametrizada y F : U R
3
un campo de vectores.
La integral de supercie del campo F sobre es
_
F =
_
D
F , T
u
T
v
dudv
7.4. El Teorema de Stokes 98
Ejemplo 7.3.1 Sea D = [0, 2] [0, 2] y : D R
3
dada por (, ) =
(cos sen, sensen, cos ), as
T
= (sensen, cos sen, 0) T
= (cos cos , sen cos , sen)

de donde T
= (sen
2
, cos , sen
2
sen, sencos ). Consideremos F : (D) R
3
dada por F(x, y, z) = (x, y, z), as tenemos que
F((, )), T
= (cos sen, sensen, cos ), (sen

2
, cos , sen
2
sen, sencos )
= sen
luego
_
F =
_
D
sendd =
_
2
0
2d = 4
Teorema 7.1 Sea S una supercie parametrizada con dos caminos
1
y
2
. Entonces
Si y tienen la misma orientaci on entonces
_
1
F =
_
2
F.
Si
2
invierte la orientaci on de
1
, entonces
_
1
F =
_
2
F
7.4 El Teorema de Stokes
Teorema 7.2 (Stokes) Sea D R
2
una region donde se puede aplicar el Teorema de Green,
[a, b] R
2
tal que tiene orientaci on positiva y Ran() = D. Sea tambien f : D R una
funcion de clase C
2
, : D R
3
, con (x, y) = (x, y, f(x, y)) una supercie parametrizada
cuya frontera es el rango de la composici on [a, b]

D

S. Si U es un abierto conteniendo
a S y F : U R
3
es un campo vectorial de clase C
1
, entonces
_
F =
_
G
Bibliografa
[1] Elon Lages Lima- Curso de An alisis-Volumen 2,
Projecto Euclides- 1995- Brasil.
[2]
[3]

0MADRE

Cargado por

Información del documento

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

0MADRE

Cargado por

Copyright:

Formatos disponibles

Universidad Nacional de Ingeniera

(x) = 0 para todo x X. f es constante?. . .NO, pues para X = 1, 0 0, 1] con

(x) = 0 para todo x X y sin embargo la funcion no es constante. Aqu

2 y que cuando tiende a 0, () lo hace a L =

() < 0 la partcula desciende.

() > 0 la partcula asciende.

( = 0) la partcula est a estatica.

si, y s olo si, el limite lim

(a) es el sentido de desplazamiento de la

(a) = (1, 1) cuando a < 0 y

(a) = (1, 1) para a > 0. El camino no es diferenciable

(t), (t) +(t),

(t) (t) +(t)

(t) = 0, cualquiera que sea t I.

(a) = (1, 0, 0).

(a) es tal que lim

()d = (b) (a)

2.7. Caminos Recticables 23

(r)(t r)| <

(t)| = |(msen(t) , mcos(t) , n)| =

(t) = (2t , 2t),

2. De este modo S resulta ser una biyeccion diferenciable con inversa

no se anula sobre [1 , 2]. Mas precisamente, la funcion S

(t)| > 0 (esto asegura la diferenciabilidad de S

(t)|dx esta bien denida.

(t)| = 1 cualqueira que sea t [0 , l()]

(t)| = 1 cualquiera que sea t en [a , b].

(t)| = 1. La vuelta es simple. Si es de clase C

(t). Quisieramos encontra

(a) = 0 es equivalentemente a decir que el vector tangente

(a) = 0 es lo mismo que decir que la traza al rededor de (a) no se curva.

(t) = (1 , 2t , 0). De ahi

(t) (t) +T(t)

(t) es ortogonal a T(t), pero como b

(t) es ortogonal a b(t), entonces

Luego la torsion (r) para en r es tal que

(t) T(t) +b(t) T

(t)|(t)) T(t) + (T(t) (t)) T

(t)|((t) T(t)) +T(t) , T

(t) (t) (t) , T

(t) = K(t).T(t) (t).b(t).

(t)v Lu, v Luego de T(t) Lu, v se tiene T(t) =

(t)v Lu, v. Y consecuentemente T(t) y (t) estan

(t) = 0. Es decir b es constante. Por otra parte como

tal que f(x) = d

(0) = 0. O lo que es lo mismo a que

(0) = 0. Luego p es un punto crtico de F. Por tanto los puntos

de donde vemos que

tambien lo es. De esto

) que pasa por el ori-

B(a, ) a verica que f(x)

B(L, ). Lo que en simbolos signica

Claro esta, siempre y cuando este exista.

(a)h +(h) g(f(a) +k) = g(f(a)) +g

(a)h +(h)) +(f

(x) > 0. De ah que f[

(a)) es abierto y que

(a)) es una biyeccion diferenciable de clase C

B((0, 0), ) de clase C

, y . Por lo tanto, f es integrable.

Vol() < , esto es,

de g(U) por medio de m bloques B

) resulta que la familia U

es un cubrimiento abierto de U. De es modo