127 MaterialCursoVarias

ESCUELA SUPERIOR POLITCNICA DEL
LITORAL
Facultad de Ciencias Naturales y Matemticas
Departamento de Matemticas
Apuntes de Clases de Clculo de Varias Variables
Curso dirigido a estudiantes de ingenieras
Edicin ALPHA
Crditos de Edicin:
Prof. Soveny Soraya Sols Garca
Estudiante Darla Burgos
Mayo de 2016
Guayaquil-Ecuador
ndice general
Introduccin 2
1. Geometra Analtica en R3 1
1.1. Introduccin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.2. El sistema rectangular espacial . . . . . . . . . . . . . . . . . . . . . . 1
1.3. La recta en el espacio . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
1.3.1. Tipos de Rectas . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.4. El plano . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
1.4.1. Tipos de planos . . . . . . . . . . . . . . . . . . . . . . . . . . 7
1.4.2. Intercepto con los ejes y trazas con los planos coordenados . . 8
1.4.3. Condiciones sucientes para denir un plano . . . . . . . . . . 9
1.5. Distancias con puntos, rectas y planos . . . . . . . . . . . . . . . . . 10
1.6. Supercies en R3 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
1.6.1. Supercies cuadrticas . . . . . . . . . . . . . . . . . . . . . . 13
1.6.2. Supercies Cilndricas . . . . . . . . . . . . . . . . . . . . . . 17
1.6.3. Supercies de revolucin . . . . . . . . . . . . . . . . . . . . . 18
1.7. Coordenadas Cilndricas y Esfricas . . . . . . . . . . . . . . . . . . . 19
1.7.1. Coordenadas cilndricas . . . . . . . . . . . . . . . . . . . . . 19
1.7.2. Coordenadas Esfricas . . . . . . . . . . . . . . . . . . . . . . 21
2. Diferenciacin de Funciones de Varias Variables 23

2.1. Nociones Topolgicas en Rn . . . . . . . . . . . . . . . . . . . . . . . 23
2.2. Funciones de Varias Variables . . . . . . . . . . . . . . . . . . . . . . 25
2.3. Derivabilidad y Diferenciabilidad . . . . . . . . . . . . . . . . . . . . 30
3
NDICE GENERAL
2.3.1. Regla de la Cadena Generalizada . . . . . . . . . . . . . . . . 35

2.4. Teoremas sobre diferenciabilidad . . . . . . . . . . . . . . . . . . . . . 36
2.5. Teorema de la Derivada Implcita . . . . . . . . . . . . . . . . . . . . 38
2.6. Derivadas de Orden Superior . . . . . . . . . . . . . . . . . . . . . . . 40
2.6.1. Ejercicios de orden superior con Regla de la Cadena . . . . . . 42
2.7. Aplicaciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44
2.7.1. Aproximaciones de 1er Orden . . . . . . . . . . . . . . . . . . 44
2.7.2. Frmulas de Taylor de 1er y de 2do Orden . . . . . . . . . . . 45
2.7.3. Plano tangente a una supercie . . . . . . . . . . . . . . . . . 46
3. Optimizacin de funciones escalares de varias variables 49

3.1. Optimizacin con restricciones . . . . . . . . . . . . . . . . . . . . . . 52
4. Funciones Vectoriales 55
4.1. Funciones vectoriales de variable escalar . . . . . . . . . . . . . . . . 55
4.1.1. Parametrizaciones clsicas para curvas en R2 . . . . . . . . . . 55
4.1.2. Parametrizaciones clsicas para curvas en R3 . . . . . . . . . . 56
4.1.3. Lmite, continuidad y derivabilidad de las funciones vectoriales
de variable escalar . . . . . . . . . . . . . . . . . . . . . . . . 56
4.1.4. Velocidad, rapidez y aceleracin . . . . . . . . . . . . . . . . . 57
4.1.5. Vector tangente, normal y binormal . . . . . . . . . . . . . . . 58
4.1.6. Longitud de arco y curvatura . . . . . . . . . . . . . . . . . . 59
4.2. Funciones vectoriales de variable vectorial . . . . . . . . . . . . . . . 60
5. Integrales de Lnea 65
5.1. Interpretacin fsica de una integral de lnea vectorial . . . . . . . . . 66
5.2. Integrales de lnea vectorial . . . . . . . . . . . . . . . . . . . . . . . 67
5.2.1. Campos conservativos e independencia del camino . . . . . . . 69
5.3. Integrales de lnea escalar . . . . . . . . . . . . . . . . . . . . . . . . 70
6. Integracin Mltiple 73
6.1. Integrales dobles . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 74
6.1.1. Integrales dobles en regiones generales . . . . . . . . . . . . . 75
4
NDICE GENERAL
6.1.2. Aplicaciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . 79
6.2. Integrales triples . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 79
6.3. Cambio de variable en integrales mltiples . . . . . . . . . . . . . . . 80
6.4. Valor promedio de funciones de varias variables . . . . . . . . . . . . 81
7. Integrales de supercie 83
7.1. Area de una Supercie . . . . . . . . . . . . . . . . . . . . . . . . . . 84
7.2. Integral de Supercie Escalar . . . . . . . . . . . . . . . . . . . . . . 84
7.3. Integral de Supercie Vectorial . . . . . . . . . . . . . . . . . . . . . . 85
8. Teoremas de la Teora Vectorial 87

8.1. Teorema de Green . . . . . . . . . . . . . . . . . . . . . . . . . . . . 87
8.1.1. Teorema de Green en Regiones Mltiples Conexas . . . . . . . 88
8.1.2. Teorema de la Integral de lnea para el rea de una regin plana 88
8.2. Terorema de Stockes . . . . . . . . . . . . . . . . . . . . . . . . . . . 89
8.3. Teorema de Gauss . . . . . . . . . . . . . . . . . . . . . . . . . . . . 89
ndice de Smbolos 91
Bibliografa 93
5
Captulo 1
Geometra Analtica en R3
1.1. Introduccin
En el estudio de las funciones de varias variables es imprescindible que el estu-
diante interprete correctamente el sistema de referencia espacial, puesto que algunas
grcas de estas funciones se representan en este sistema. A su vez, una regin de
integracin puede estar determinada por grcas de supercies las cuales se convier-
ten en los lmites de integrales triples. Entre otras cosas, la capacidad de visualizar
en tres dimensiones es fundamental en la formacin de un ingeniero.
Respecto a la notacin, se usar una letra mayscula seguida de las coordenadas,

para denir puntos: P (2, 1, 1); Letras minsculas seguidas del signo igual y de las
coordenadas para denir vectores: v = (2, 3, 1) v = 2i + 3j k.
Dados dos puntos P1 (x1 , y1 , z1 ) y P2 (x2 , y2 , z2 ), se dene el vector entre ellos, con
punto inicial P1 y punto terminal P2 , como:

P1 P2 = (x2 x1 , y2 y1 , z2 z1 ).
1.2. El sistema rectangular espacial

Lo conocemos como el sistema de referencia espacial formado por tres rectas
perpendiculares entre s, llamadas ejes coordenados. El punto donde se intersecan se
1
CAPTULO 1. GEOMETRA ANALTICA EN R3
denomina origen de coordenadas O. La convencin es gracarlos de tal forma que el

I octante sea visible, como lo ilustra la gura 1.1. Los nombres de los ejes pueden
ser cambiados pero generalmente el plano XY se lo relaciona con el piso y el eje Z
con la altura respecto a ste.
Figura 1.1
En general, un punto P de coordenadas (x, y, z) es un punto que se graca

partiendo desde O, luego recorre x unidades paralelas al eje X , desde aqu recorre
y unidades paralelas al eje Y y desde aqu recorre z unidades paralelas al eje Z . En
el recorrido debe respetarse el signo de las coordenadas. Otra forma de gracar el
punto es como la interseccin de tres planos paralelos a los coordenados, as:
La coordenada x indica un plano paralelo al plano Y Z .
La coordenada y indica un plano paralelo al plano XZ .
La coordenada z indica un plano paralelo al plano XY .
De aqu, podemos decir que un plano es paralelo a uno de los planos coordenados,
cuando una de las variables es ja, segn corresponda a uno de los casos precedentes.
Por otra parte, aunque no se haya visto todava la denicin formal de una recta en
es espacio, es importante observar las siguientes caractersticas:
Todo punto del eje X es de la forma (x, 0, 0) y toda recta paralela a este
eje tiene puntos de la forma (x, y0 , z0 ) donde y0 y z0 son constantes. Estas
constantes representan el punto donde la recta penetra en el plano Y Z .
2
1.3. LA RECTA EN EL ESPACIO
Todo punto del eje Y es de la forma (0, y, 0) y toda recta paralela a este
eje tiene puntos de la forma (x0 , y, z0 ) donde x0 y z0 son constantes. Estas
constantes representan el punto donde la recta penetra en el plano XZ .
Todo punto del eje Z es de la forma (0, 0, z) y toda recta paralela a este eje tiene
puntos de la forma (x0 , y0 , z) donde x0 y y0 son constantes. Estas constantes
representan el punto donde la recta penetra en el plano XY .
De esta forma, si requerimos el o los puntos donde una supercie interseca a los ejes
coordenados, lo nico que debemos hacer es reemplazar 0 en las variables correspon-
dientes. Similar si es una recta o plano paralelos a los ejes coordenados, debemos
reemplazar lo que corresponda a una constante en la recta o plano.
Ejemplo 1.2.1 Graque las siguientes regiones rectangulares del espacio:
a. Q = {(x, y, z) R3 /0 x 2; 1 y 3; z 0}
b. S = [0, 1] [0, 1] [0, 1] (cubo unitario)
1.3. La recta en el espacio

Denicin 1.3.1 Sea P0 (x0 , y0 , z0 ) un punto de R3 y sea d = (a, b, c) un vector no
nulo de R3 . Se dene a la recta L que contiene a P0 y con direccin paralela a d,

como el conjunto de puntos P (x, y, z) tales que la direccin P0 P es paralela a d. Es
decir:
L = {P (x, y, z)/(x x0 , y y0 , z z0 ) = t(a, b, c); t R}
De esta denicin se deduce las ecuaciones paramtricas de L:

x = x0 + at

L : y = y0 + bt ; t R.

z = z0 + ct

3
Figura 1.2
Con estas ecuaciones podemos obtener un punto de la recta dando a t un valor

real arbitrario. Inversamente, podemos conocer si un punto dado pertenece a la rec-
ta, esto es, si las ecuaciones paramtricas tienen solucin para algn t R.
Ejemplo 1.3.1 Determine las ecuaciones paramtricas de la recta que contiene el

punto P0 (1, 2, 4) y es paralela al vector d = (2, 0, 2). Luego, determine si el punto
(3, 1, 1) pertenece a esta recta.
Una observacin del vector director es que este puede ser reemplazado por cual-
quier mltiplo no nulo de el. En el ejemplo anterior, se pudo haber utilizado el vector
d = (1, 0, 1) d = (1, 0, 1) d = (3, 0, 3), etc. En este caso, los valores de los
parmetros cambian dependiendo del punto que queremos obtener, sin embargo el
conjunto de puntos es el mismo.
De lo expuesto, para rectas paralelas a los ejes coordenados, es suciente consi-

derar el vector director igual a los unitarios i = (1, 0, 0), j = (0, 1, 0) y k = (0, 0, 1),
respectivamente.
Por otra parte, rectas que son paralelas a los planos coordenados tienen una
coordenada ja, lo cual implica que el vector director tiene nula la coordenada co-
rrespondiente.
4
1.3. LA RECTA EN EL ESPACIO
De estos ejemplos se concluye que las ecuaciones paramtricas son aplicables a

todo tipo de recta. No obstante, existen otro tipo de ecuaciones que tambin se em-
plean para representar una recta, las cuales se denominan ecuaciones simtricas.
x x0 y y0 z z0
En el supuesto que: a, b, c 6= 0, = = , representan las ecua-
a b c
ciones simtricas de la recta que contiene al punto P0 y es paralela a la direccin
d = (a, b, c).
Si alguno de los valores a, b, c es nulo (claro est que no todos a la vez), las ecua-
ciones simtricas se presentan de manera incompleta. Otra observacin respecto a
estas ecuaciones, es que para reconocer el vector director, el numerador debe estar
normalizado, esto es, el coeciente de cada variable es 1.
Ejemplo 1.3.2 Escriba las ecuaciones paramtricas y simtricas de la recta que

contiene los puntos P (1, 2, 3) y Q(0, 2, 1)
1.3.1. Tipos de Rectas

En el espacio las rectas pueden ser:
Paralelas, si y slo si sus vectores directores son paralelos. A su vez, podemos

tener el caso de paralelas coincidentes o paralelas no coincidentes.
Perpendiculares, si y slo si sus vectores directores son perpendiculares.
Secantes, si y slo si tienen un punto en comn.
Alabeadas, si y slo si no son paralelas ni secantes.
Las dos primeras condiciones son inmediatas, identicando los vectores directores
de ambas rectas. Para la coincidencia de las rectas paralelas, basta tomar un punto
de una de ellas y vericar que ste pertenece a la otra.
5
Para la condicin de secantes, es necesario resolver un sistema de ecuaciones que

nos permita establecer la existencia del punto. Esto es, el valor de cada parmetro
para obtener el punto comn.
Para la condicin de alabeadas, es necesario comprobar que no son paralelas y

que no tengan puntos en comn; esto ltimo requiere de que el sistema de ecuaciones
que forman las ecuaciones paramtricas de las rectas, sea inconsistente.
Ejemplo 1.3.3 Identique el tipo de rectas que representan las siguientes ecuacio-
nes:

x = 1 + 2t

x7 y2 1z
a. L1 : y = 2 3t ; t R; L2 : = = .

3 2 2

z = 5 + 4t

x = 6t

x = 1 + 3u

b. L1 : y = 4 4t ; t R; L2 : y = 1 2u ;uR

z = 3 2t
z = 1 u

Ejemplo 1.3.4 Determine las coordenadas del baricentro del tringulo cuyos vrti-
ces son los puntos (1, 2, 1); (2, 3, 3); (3, 2, 3).
1.4. El plano
Denicin 1.4.1 Sea P0 (x0 , y0 , z0 ) un punto de R3 y sea n = (a, b, c) un vector no
nulo de R3 . Se dene el plano que contiene a P0 y es normal a la direccin n,

como el conjunto de puntos P (x, y, z) tales que la direccin P0 P es ortogonal a n.
Es decir:
= {P (x, y, z)/(x x0 , y y0 , z z0 ) (a, b, c) = 0}
6
1.4. EL PLANO
Figura 1.3
De aqu se deduce que P si y slo si a(x x0 ) + b(y y0 ) + c(z z0 ) = 0,

con lo cual se obtiene la ecuacin general del plano que contiene a P0 y es normal a
la direccin n = (a, b, c), dada por:
ax + by + cz + d = 0; donde la constante d se determina con P0 .
Para obtener un punto del plano se debe dar valores arbitrarios a dos de las coor-
denadas, es decir, un plano tiene dos grados de libertad. Por otra parte, un punto
pertenece al plano si y slo si sus coordenadas satisfacen su ecuacin general.
Notar que el trmino d = 0 si y slo si el plano contiene al origen de coordenadas.
Ejemplo 1.4.1 Determine la ecuacin general del plano que contiene al punto P0 (3, 1, 1)
y es normal a la direccin denida por:
a. P1 (3, 1, 4) y P2 (0, 2, 1).
b. El eje X .
1.4.1. Tipos de planos

Paralelos, si y slo si sus vectores normales son paralelos. A su vez, podemos
tener el caso de paralelos coincidentes o paralelos no coincidentes.
Perpendiculares, si y slo si sus vectores normales son perpendiculares.
7
Secantes, si y slo si tienen una recta en comn.
Obs. En el espacio se cumple que si dos planos no son paralelos entonces son secantes.
Las dos primeras condiciones son inmediatas, identicando los vectores normales
de ambos planos. Para la coincidencia de dos planos paralelos basta observar que
sus ecuaciones con equivalentes (todos los coecientes son mltiplos entre s).
Para la condicin de secantes, es necesario vericar que no son paralelos y la rec-

ta comn se obtiene resolviendo el sistema de ecuaciones que forman las ecuaciones
generales de los dos planos.
Otra forma de determinar el vector director de la recta comn es con el produc-

to vectorial de los vectores normales. Para un punto de la recta se toma un punto
comn a ambos planos.
Cuando los planos son secantes, es de inters conocer la medida del ngulo que
forman entre s, el cual es igual a la medida del ngulo que forman sus vectores
normales.
Ejemplo 1.4.2 Dados los planos 1 : 2x y + 3z = 2; 2 : x y z = 0, determine

si son paralelos, perpendiculares o secantes. En caso de ser secantes, determina la
recta interseccin y la medida del ngulo entre ellos.
1.4.2. Intercepto con los ejes y trazas con los planos coorde-
nados
Todo plano posee al menos un intercepto o una traza con alguno de los ejes o
planos coordenados, respectivamente. El intercepto o la traza correspondiente resul-
ta de intersecar el plano con el eje o plano coordenado respectivo.
8
1.4. EL PLANO
La utilidad de esta informacin radica en que podemos gracar rpidamente el

plano y representar regiones.
Ejemplo 1.4.3 Dado el plano 2x + 4y + 6z 12 = 0, identique interceptos con

los ejes y trazas con los planos coordenados, respectivamente. Con esta informacin
realice un bosquejo grco del plano.
Ejemplo 1.4.4 Identique la regin limitada por los planos coordenados y los planos
x + z = 1; y + z = 1.
1.4.3. Condiciones sucientes para denir un plano

i . Dado un punto del plano y una recta normal al plano.
ii . Dados tres puntos no colineales del plano.
iii . Dadas dos rectas secantes contenidas en el plano.
iv . Dadas dos rectas paralelas no coincidentes y contenidas en el plano.
v . Dada una recta del plano y un punto del plano externo a la recta.
vi . Dados dos puntos del plano y un vector paralelo al plano pero no paralelo a la
direccin que forman los dos puntos.
Obs. Si dos rectas son alabeadas, no existe un plano comn que las contenga.
Ejemplo 1.4.5 Determine de ser posible la ecuacin general del plano que contiene
a las rectas:

x = 1 + 2t

x7 y2 1z
a. L1 : y = 2 3t ; t R; L2 : = = .

3 2 2

z = 5 + 4t

9

x = 6t

x = 1 + 3u

b. L1 : y = 4 4t ; t R; L2 : y = 1 2u ; u R.

z = 3 2t
z = 1 u

Ejemplo 1.4.6 Determine de ser posible la ecuacin general del plano que contiene
2x 1 2y 4 2z
a la recta L : = = y al punto (1, 1, 1).
4 3 2
1.5. Distancias con puntos, rectas y planos

Teorema 1.5.1 (Distancia de un punto a un plano) Sea el plano con ecua-
cin general ax + by + cz + d = 0. Sea P0 R3 . Entonces la distancia de P0 a ,
est dada por:
| ax0 + by0 + cz0 + d |
d(P0 , ) =
a2 + b 2 + c 2
Demostracin:

Tomando un punto arbitrario Q , denamos el vector P0 Q ( su inverso

aditivo). La distancia de P0 a es el valor absoluto de la proyeccin escalar de P0 Q
sobre el vector normal de .
Figura 1.4
Algunas aplicaciones de este teorema son:
10
1.5. DISTANCIAS CON PUNTOS, RECTAS Y PLANOS
Distancia entre dos planos paralelos. Si los planos no son paralelos la distancia
no est denida entre ellos.
Distancia entre una recta paralela a un plano. Si la recta es secante al plano,

la distancia no est denida.
Lugares geomtricos.
Ejemplo 1.5.1 Determine de ser posible, la distancia entre los planos

1 : 3x y + 2z 6 = 0 y 2 : 6x 2y + 4z + 4 = 0.

x = 4 + t

Ejemplo 1.5.2 Determine de ser posible, la distancia de la recta L : y = 6 + 8t ;

z = 7 3t

t R, al plano : 2x + y + 2z + 4 = 0.
Teorema 1.5.2 (Distancia de un punto a una recta en el espacio) Sea L una

recta de R3 con vector director d. Sea P0 R3 . Entonces la distancia de P0 a L est
dada por:

kP0 Q dk
d(P0 , L) = ;
kdk
donde Q L es arbitrario.
Demostracin:

Tomando un punto arbitrario Q L, denamos al vector de enlace P0 Q ( su inverso
aditivo). La distancia de P0 a L es la longitud h del cateto opuesto al ngulo que
forman el segmento P0 Q y el vector director d.
Figura 1.5
11

Del tringulo rectngulo formado sigue que h = kP0 Qksen(). Por el Teorema

del Producto Cruz sigue que kP0 Q dk = kP0 Qkkdksen(). De ambas expresiones
se deduce el teorema. Otra aplicacin del teorema es calcular la distancia entre dos
rectas paralelas del espacio.

x = 1 + 2t

Ejemplo 1.5.3 Calcule la distancia entre la recta L : y = 2 3t ; t R y la

z = 5 + 4t

recta que contiene el punto (2, 1, 4) y es paralela a L.
Teorema 1.5.3 Sean L1 y L2 dos rectas alabeadas de R3 con vectores directores d1

y d2 , respectivamente. La distancia entre ellas est dada por:

d(L1 , L2 ) =| proyd1 d2 P1 P2 |; donde P1 L1 ; y P2 L2 son arbitrarios.
Ejemplo
1.5.4 Determine de ser posible
la distancia entre las rectas:

x = 4 + 5t

x=4+u

L1 : y = 5 + 5t ;tR y L2 : y = 6 + 8u ; u R.

z = 1 4t
z = 7 5u

Obs. Si dos rectas son secantes, la distancia entre ellas es 0.
1.6. Supercies en R3
En esta seccin se estudian las siguientes supercies (variedad bidimensional):
Las supercies cuadrticas.
Las supercies cilndricas.
Las supercies de revolucin.
12
1.6. SUPERFICIES EN R3
1.6.1. Supercies cuadrticas

Denicin 1.6.1 (Supercie Cuadrtica) Una supercie cuadrtica de R3 es el
conjunto de puntos P (x, y, z) que satisfacen una ecuacin de la forma:
ax2 +by 2 +cz 2 +dxy +exz +f yz +gx+hy +iz +j = 0; con los coecientes elementos
de R y a, b, c no todos nulos.
Mediante un proceso de rotacin de ejes principales, conocido del lgebra lineal,

se puede obtener una ecuacin equivalente de la supercie de la forma:
Ax2 + By 2 + Cz 2 + Dx + Ey + F z + E = 0,
la cual puede representar una supercie degenerada (un punto, par de rectas, con-
junto vaco, etc.) o alguna de las siguientes supercies. En cada una de ellas, diremos
que los cortes son planos paralelos a los planos coordenados, representan conjuntos
de nivel de la supercie.
Esfera: (x h)2 + (y k)2 + (z l)2 = R2 ; (h, k, l) es el centro de la esfera y

R es la longitud del radio. Los conjuntos de nivel pueden ser: circunferencias,
puntos o conjuntos vacos.
Figura 1.6
13
(x h)2 (y k)2 (z l)2

Elipsoide: + + = 1; (h, k, l) es el centro del elipsoide
a2 b2 c2
y a, b, c son las longitudes de los semiejes, respectivamente. Los conjuntos de
nivel pueden ser: elipses, puntos o conjuntos vacos.
Figura 1.7
(x h)2 (y k)2 (z l)2

Hiperboloide de una hoja: + = 1; (h, k, l) es el cen-
a2 b2 c2
tro del hiperboloide y el signo negativo indica la direccin del eje de simetra;
a, b, c son los parmetros de los conjuntos de nivel: elipses o hiprbolas.
Figura 1.8
14
(x h)2 (y k)2 (z l)2

Hiperboloide de dos hojas: + = 1; (h, k, l) es el
a2 b2 c2
centro de hiperboloide y el signo positivo indica la direccin del eje de simetra;
a, b, c son los parmetros de los conjuntos de nivel: elipses, hiprbolas, puntos
o conjunto vaco.
Figura 1.9: Hiperboloide de dos hojas con eje de simetra paralelo al eje X .
(x h)2 (y k)2
Paraboloide Elptico: z l = +
a2 b2
(x h)2 (y k)2
z l = ; (h, k, l) es el vrtice del paraboloide y la variable
a2 b2
lineal indica la direccin del eje de simetra; a, b son los parmetros de los
conjuntos de nivel: elipses, parbolas, puntos o conjunto vaco. La concavidad
del paraboloide los determina el dominio de la variable lineal.
Figura 1.10: Paraboloide Elptico con eje de simetra paralelo al eje Y .
15
(x h)2 (y k)2
Paraboloide hiperblico: z l = ; (h, k, l) es el punto de
a2 b2
silla del paraboloide y la variable lineal indica la direccin del respaldo de la
silla; a, b son los parmetros de los conjuntos de nivel: hiprbolas, parbolas
o rectas. El frente de la silla est dado por la variable cuadrtica con signo
positivo. En la siguiente gura se muestra la grca de z = y 2 x2 .
Figura 1.11
(x h)2 (y k)2 (z l)2
Cono elptico: + = 0; (h, k, l) es el vrtice del
a2 b2 c2
cono y el signo negativo indica la direccin del eje de simetra; a, b, c son los
parmetros de los conjuntos de nivel: elipses, hiprbolas, rectas o puntos.
Figura 1.12
16
La importancia de reconocer estas supercies, as como las regiones slidas que

podran delimitar, radica en la necesidad de calcular reas de supercies o volmenes,
as como otras aplicaciones de la ingeniera. En la siguiente gura se muestra dos
etapas de la construccin del Edicio de Acceso al Parque Oceanogrco de Valencia,
Espaa. Qu informacin fue necesaria para realizar el presupuesto nanciero de la
construccin?
Figura 1.13
Ejemplo 1.6.1 Describa los siguientes lugares geomtricos.
a. 4x2 + 9y 2 + z 2 8x 36y + 36 = 0
b. 2x2 + 2y 2 + 2z 2 8x + 6 = 0
c. 4x2 + y 2 z 2 16x 6y 16z + 9 = 0
Ejemplo 1.6.2 Represente los siguientes conjuntos en forma grca:

n o
a. Q = (x, y, z) R3 /2 z 2 x2 + y 2 .
p
y2 + z2

b. S = (x, y, z) R / .
p
3
1 y2 z2 x1
3
1.6.2. Supercies Cilndricas

Denicin 1.6.2 (Supercies Cilndricas) Sea C una curva contenida en un
plano y sea L una recta secante a . Se dene la supercie cilndrica o sim-
plemente cilindro, con curva directriz C y recta generatriz L, a la unin de todas las
rectas paralelas a L y que intersecan a C .
17
En el caso que sea un plano coordenado y L una recta perpendicular a , la

ecuacin del cilindro tiene una de las siguientes formas, siendo F la expresin que
representa a C:
F (x, y) = 0; C XY ; L XY
F (x, z) = 0; C XZ; L XZ
F (y, z) = 0; C Y Z; L Y Z
Ejemplo 1.6.3 Graque los siguientes cilindros.
a. z = y 2 d. yz = 1; y > 0
b. z = sen(x); 0 x
c. x2 + y 2 = 4 e. x + z = 1
Ejemplo 1.6.4 Graque el slido Q = {(x, y, z) R3 /0 z 2 x; x2 + y2 1}
1.6.3. Supercies de revolucin

Denicin 1.6.3 (Supercie de revolucin) Sea f una funcin que dene una
curva sobre alguno de los planos coordenados. Suponga que la grca de f gira al-
rededor de uno de los ejes de dicho plano. Entonces se genera una supercie de
revolucin que tiene una de las siguientes formas:
x2 + y 2 = f 2 (z); si el giro es alrededor del eje Z .
x2 + z 2 = f 2 (y); si el giro es alrededor del eje Y .
y 2 + z 2 = f 2 (x); si el giro es alrededor del eje X .
18
1.7. COORDENADAS CILNDRICAS Y ESFRICAS
Figura 1.14: Curva en XZ que gira alrededor del eje Z .
Ejemplo 1.6.5 Escriba la ecuacin de las siguientes supercies de revolucin.

1
a. y = gira alrededor del eje Z .
z
b. z = ln(x) gira alrededor del eje X .
Ejemplo 1.6.6 Describa la supercie dada por x2 +3y2 +z 2 = 9 como una supercie
de revolucin.
1.7. Coordenadas Cilndricas y Esfricas

1.7.1. Coordenadas cilndricas
Denicin 1.7.1 (Sistema de coordenadas cilndricas) Sea P (x, y, z) R3 .
Si el plano XY es reemplazado por el plano polar r, las coordenadas (r, , z) se
denominan coordenadas cilndricas de P. De aqu se tiene que la proyeccin del seg-
mento OP sobre el plano XY es el radio polar de longitud r y la medida del ngulo
que dicha proyeccin forma con el eje X + es .
A n de que exista una biyeccin entre los dos sistemas, se denen las siguientes
ecuaciones de conversin con sus respectivas condiciones:
Conversin de rectangulares a cilndricas:
19
y
arctan ; x 6= 0

x

; x = 0; y > 0 ;z = z .
p
(x, y, z) 7 (r, , z)/ r = x2 + y 2 ; =

2
3

; x = 0; y < 0

2
r 0; 0 < 2 ( algn otro intervalo que garantice biyeccin); z R.
(0, 0, z) 7 (0, 0, z).
Conversin de cilndricas a rectangulares:
(r, , z) 7 (x, y, z); x = rcos(); y = rsen(); z = z .
(0, 0, z) 7 (0, 0, z).
As, un punto dado en coordenadas cilndricas puede obtenerse como la interseccin

de tres supercies: un semiplano inclinado a radianes del plano XZ , un cilindro
circular recto de radio r con eje de simetra igual al eje Z y un plano paralelo a XY
a |z| unidades de ste.
Figura 1.15
Ejemplo 1.7.1 Exprese en coordenadas cilndricas las siguientes supercies.
a. x2 + y 2 4z 2 = 0 b. x2 + y 2 + z 2 2z = 0 c. y 2 = x
20
1.7. COORDENADAS CILNDRICAS Y ESFRICAS
Ejemplo 1.7.2 Graque las siguientes supercies dadas en coordenadas cilndricas.

a. = . d. r = 2sen().
4
b. z = r2 cos2 (). e. r2 cos(2) + z 2 + 1 = 0.
c. 2r = z . f. r = 1 + cos().
Ejemplo 1.7.3 Graque los siguientes conjuntos dados en el sistema cilndrico.

n o
a. S = (r, , z)/0 ; 0 r 2; 0 z 4 .
2
n o
b. T = (r, , z)/0 r a; 0 z rcos(); ; a > 0.
2 2
1.7.2. Coordenadas Esfricas

Denicin 1.7.2 (Sistema de Coordenadas Esfricas) Sea P un punto de R3
con coordenadas (x, y, z). El punto P puede representarse por la terna (, , ) donde:
es la distancia de P al origen ( 0)
es el ngulo del sistema polar en XY .
es el ngulo que forma el segmento OP con el eje Z positivo (0 )
A n de que exista una biyeccin entre los dos sistemas, se dene:
Conversin de esfricas a rectangulares.
x = sen()cos()
y = sen()sen()
z = cos().
Conversin de rectangulares a esfricas.
2 = x2 + y 2 + z 2 .
se calcula con la misma expresin dada en el sistema cilndrico.
21
z
= arccos p ; x2 + y 2 + z 2 6= 0;
2
x +y +z 2 2
(0, 0, 0) 7 (0, 0, 0).
As, un punto dado en coordenadas esfricas puede obtenerse como la interseccin

de tres supercies: un semiplano inclinado a radianes del plano XZ , una esfera
centrada en el origen de radio y una parte del cono con vrtice en el origen, eje de
simetra igual al eje Z y recta generatriz a radianes del eje Z .
Figura 1.16
Si k es una constante, tenemos los siguientes lugares geomtricos especiales:
= k > 0. = k [0, 2). = k [0, ].
Ejemplo 1.7.4 Gracar las siguientes regiones en coordenadas esfricas.

a. 0 2 , 0 , 0 4sec().
6

b. 0, , 1 2.
2 4 2
Ejemplo 1.7.5 Exprese la regin acotada por z = 1 y el hemisferio superior de

x2 + y 2 + z 2 2z = 0, como un conjunto de puntos del sistema:
a. Rectangular. b. Cilndrico. c. Esfrico.
22
Captulo 2
Diferenciacin de Funciones de
Varias Variables
2.1. Nociones Topolgicas en Rn

Denicin 2.1.1 (Bola Abierta) Sea x0 Rn y sea > 0. Se dice que la bola
abierta con centro en x0 y radio , denotada por B(x0 , ) es el conjunto dado por
B(x0 , ) = {x Rn : kx x0 k < }.
Ejemplo 2.1.1 Graque las siguientes bolas:

3
B(x0 , ); x0 = 2; =
2
B(x0 , ); x0 = (1, 1); = 1
1
B(x0 , ); x0 = (0, 0, 0); =
2
Notemos que en este ejemplo, fue posible gracar las bolas para las dimensiones
1, 2, 3 respectivamente.
Denicin 2.1.2 (Punto interior, exterior y de frontera) Sea A Rn y sea

x Rn .
Se dice que x es un punto interior de A, si existe una bola abierta centrada en

x contenida en A.
23
CAPTULO 2. DIFERENCIACIN DE FUNCIONES DE VARIAS VARIABLES
Se dice que x es un punto exterior de A, si existe una bola abierta centrada en

x contenida en Ac .
Se dice que x es un punto de frontera de A, si toda bola abierta centrada en x

interseca a A y a Ac .
Denicin 2.1.3 (Punto de adherencia y de acumulacin) Sea A Rn y sea

x Rn .
Se dice que x es un punto de adherencia de A, si toda bola abierta centrada en

x interseca a A.
Se dice que x es un punto acumulacin de A, si toda bola abierta centrada en

x interseca a A en puntos distintos de x.
Denicin 2.1.4 (Interior, Frontera y Adherencia) Sea A Rn y sea x

Rn .
Se dice que el interior de A denotado por Int(A), es el conjunto de los puntos

interiores de A.
Se dice que la frontera de A denotado por F r(A), es el conjunto de los puntos

de frontera de A.
Se dice que la adherencia de A denotado por Adh(A), es el conjunto de los

puntos de adherencia de A.
Obs. Adh(A) tambin se denomina clausura de A y suele denotarse como A.
Teorema 2.1.1 Sea A Rn . Entonces:
Int(A) A Adh(A).
Adh(A) = Int(A) F r(A).
F r(A) = Adh(A) Int(A).
Ejemplo 2.1.2 Sea A = {(x, y) R2 : 1 6 x2 + y2 < 9} (0, 0).

Identique Int(A), F r(A), Adh(A) y los puntos de acumulacin de A.
24
2.2. FUNCIONES DE VARIAS VARIABLES
Denicin 2.1.5 (Conjuntos abiertos y cerrados) Sea A Rn . Se dice que:

A es abierto si Int(A) = A, es decir, todos los puntos de A son interiores.
A es cerrado si Adh(A) = A. Equivalentemente Ac es abierto.
Ejemplo 2.1.3 Determine si los siguientes conjuntos son abiertos, cerrados o nin-
guno de ellos.
A = {(x, y) R2 : 1 6 x2 + y 2 < 9} (0, 0)
B = {(x, y) R2 : y > x2 ; x > 0}
C = {(x, y, z) R3 : x + y + 2z < 4; x, y, z > 0}
D = {(x, y, z) R3 : 0 < x 1; 0 y 2; 0 z 1}
2.2. Funciones de Varias Variables

Denicin 2.2.1 Se dice que una relacin de Rn en Rm es una funcin,
si a cada elemento de , le asigna un nico elemento de Rm . Denotaremos esto
por f : Rm tal que f (x) = (f1 (x), f2 (x), ..., fm (x)); donde las expresiones
fi ; 1 6 i 6 m, representan las funciones escalares que componen el vector imagen.
Los conceptos de dominio, imagen, inyectividad, sobreyectividad y biyectividad

son los mismos que los empleados en funciones de variable real. Las funciones cuyo
rango sea subconjunto de R se denominan escalares y para dimensiones superiores
del rango diremos que la funcin es vectorial.
Ejemplo 2.2.1 Identique dominio y rango de las siguientes funciones:

a. f (x, y) = x2 + y 2 .
b. f (x, y) = y x2 .
p
c. f (x, y) = (x 2y, y 2 ).
d. f (x1 , x2 , ..., xn ) = x21 + x22 + ... + x2n .

1
e. f (x, y, z) = 2 2 2
.

, xyz, ln 1 x y 2z
x2 + y 2 + z 2
25
Denicin 2.2.2 Sea f una funcin de Rn en Rm . Se dene el grafo o grca

de f como el conjunto Gr(f ) = {(x, y)/x y = f (x)}.
Para funciones de variable real, la grca es una curva en el plano mientras que
si f es una funcin escalar con dominio en R2 , su grca es una supercie en el
espacio, tal como se puede vericar en el ejemplo precedente, literal a.
Puesto que las grcas de funciones con mayor dimensin en su dominio o rango
no es posible visualizarlas, se recurre al concepto de conjuntos de nivel para estudiar
el comportamiento de la funcin.
Denicin 2.2.3 Sea f una funcin de Rn en Rm . Se dene el conjunto de

nivel de f como el conjunto CN : {x : f (x) = }
Es decir, el conjunto de nivel de f es el conjunto de puntos del dominio de f

para los cuales la imagen es el valor .
Ejemplo 2.2.2 La temperatura de cierta regin del espacio responde a la posicin

del punto (x, y, z) por la expresin T (x, y, z) = x2 + y 2 z 2 . Determine los conjuntos
de nivel correspondientes a:
a. 1 b. 0 c. 1
Ejemplo 2.2.3 La altura de una montaa puede ser modelada en funcin de la

ubicacin del punto (x, y) en su base, por la expresin h(x, y) = ex . Determine
2 y 2
los puntos donde la altura de la montaa es:
a. 2 b. 1 1
c.
e
Denicin 2.2.4 (Lmite) Sea f una funcin de Rn en Rm . Sea x0 un punto

de acumulacin de . Se dice que el lmite de f en x0 es L Rm , si y slo si:
> 0 > 0 x , x B(x0 ; ) {x0 } f (x) B(L; ).
Esto lo denotamos por lim f (x) = L.

xx0
26
Teorema 2.2.1 Sea f una funcin de Rn en Rm . Sea x0 un punto de acumu-

lacin de . Si lim f (x) existe, entonces es nico.
xx0
Teorema 2.2.2 Sean las funciones f, g : Rn Rm tales que xx

lim f (x) = L y
0
lim g(x) = M . Entonces:

xx0
i . lim (f (x) + g(x)) = L + M .

xx0
ii . lim (f (x)) = L; para todo R.

xx0
iii . Si m = 1, lim (f (x)g(x)) = LM .

xx0

f (x) L
iv . Si m = 1, lim = ; siempre que M 6= 0.
xx0 g(x) M
Otros teoremas de lmites sobre funciones de variable real son vlidos para fun-
ciones de varias variables, siempre que el argumento pueda ser sustituido adecuada-
mente por una sola variable.
Denicin 2.2.5 (Continuidad) Sea f una funcin de Rn en Rm .

Sea x0 . f es continua en x0 si y slo si:
> 0 > 0 x , x B(x0 ; ) f (x) B(f (x0 ); ).
Para x0 punto de acumulacin de , esto equivale a que lim f (x) = f (x0 ).

xx0
Teorema 2.2.3 Sean las funciones f, g : Rn en Rm continuas en x0 . Entonces:
i . La combinacin lineal f + g es continua en x0 ; , R.
ii . Si m = 1, f g es continua en x0 .

f
iii. Si m = 1, es continua en x0 , siempre que g(x0 ) 6= 0.
g
Teorema 2.2.4 Sean las funciones f : Rn en Rp , g : U Rp en Rm tales que

g o f existe, f es continua en x0 y g es continua en f (x0 ). Entonces g o f es continua
en x0 .
Corolario 2.2.1 Las funciones escalares: polinmicas, exponenciales, trigonomtri-

cas, racionales y sus respectivas inversas, son continuas en su dominio.
27
cos(x)
Ejemplo 2.2.4 f (x, y, z) = es continua en R3 .
ey + ez
Ejemplo 2.2.5 Determine si las siguientes funciones son continuas en R2 .

xy
; (x, y) 6= (0, 0)

p
a. f (x, y) = x2 + y 2

0

; (x, y) = (0, 0)

ysen(xy)

; (x, y) 6= (0, 0)
b. f (x, y) = x2 + y 2

0 ; (x, y) = (0, 0)
sen(x2 + y 2 )

; (x, y) 6= (0, 0)
c. f (x, y) = x2 + y 2

0 ; (x, y) = (0, 0)
Una forma de determinar si una funcin no tiene lmite en un punto x0 , y con-

secuentemente no es continua en dicho punto, es encontrar una sucesin de puntos
en que converja a x0 pero la sucesin de imgenes no converge a L.
Ejemplo 2.2.6 Demuestre que las siguientes funciones no son continuas en (0, 0).

xy

; (x, y) 6= (0, 0)
a. f (x, y) = x2 + y2

0 ; (x, y) = (0, 0)
xy 2

2 4
; (x, y) 6= (0, 0)
b. f (x, y) = x + y

0 ; (x, y) = (0, 0)
Con coordenadas polares tambin puede analizarse la existencia del lmite en el

punto (0, 0) pues si x (0, 0) esto equivale a que r 0 independientemente del
valor . Verique los ejemplos anteriores empleando coordenadas polares.
Al igual que en funciones de variable real, se dice que la discontinuidad es evitable

en un punto si el lmite existe en dicho punto, pero si el lmite no existe entonces la
discontinuidad es esencial o inevitable.
28
Ejemplo 2.2.7 Determine de ser posible A R tal que las siguientes funciones
sean continuas en todo su dominio.
sen(5(x2 + y 2 ))

; (x, y) 6= (0, 0)
a. f (x, y) = x2 + y 2

A ; (x, y) = (0, 0)
2 2
1 ex +y

; (x, y) 6= (0, 0)
b. f (x, y) = x2 + y 2

A
; (x, y) = (0, 0)

p
4 x2 y 2 ; x2 + y 2 < 4

c. f (x, y) =
A ; x2 + y 2 > 4

1
6 0

xcos
;y =
d. f (x, y) = y

A
;y = 0
xy 2

2 4
; (x, y) 6= (0, 0)
e. f (x, y) = x + y

A ; (x, y) = (0, 0)

2x
; (x, y) 6= (0, 0)

p
f. f (x, y) = x2 + y 2

A

; (x, y) = (0, 0)
Para el caso de funciones vectoriales, se analiza el lmite en cada componente escalar

y el vector lmite existe si y slo si cada componente escalar tiene lmite.
Similarmente, para la continuidad se emplea el siguiente teorema.
Teorema 2.2.5 Una funcin vectorial f es continua en x0 si y slo si cada una de

sus componentes escalares es continua en x0 .
De aqu, el estudio del lmite y la continuidad de funciones vectoriales de Rn , se

reduce al de funciones escalares.
Ejemplo 2.2.8 Determine si las siguientes funciones son continuas en su dominio:
a. f (t) = (1 2t, et , cos(t)); t R
29
b. f (x, y, z) = (2xy, x2 + z 2 , y + ln(z 2 + 1)); (x, y) R2

p !
xy sen x 2 + y2
; (x, y) 6= (0, 0)

p , p
c. f (x, y) = x2 + y 2 x2 + y 2

(0, 1) ; (x, y) = (0, 0)
!
x
; (x, y) 6= (0, 0)

p ,1
d. f (x, y) = x 2 + y2

(0, 1) ; (x, y) = (0, 0)
2.3. Derivabilidad y Diferenciabilidad

Denicin 2.3.1 (Derivada Parcial) Sea la funcin f : Rn R, donde
es abierto en Rn . Sea x0 . Se dene la derivada parcial de f respecto a la
f
jsima variable en el punto x0 , denotada por (x0 ), como:
xj
f f (x0 + tej ) f (x0 )
(x0 ) = lim , si y slo si el lmite existe.
xj t0 t
Obs. ej denota el vector cannico en Rn correspondiente a la j -sima posicin.
Ejemplo 2.3.1 Empleando la denicin de lmite, determine las derivadas parciales

de las siguientes funciones escalares en el punto x0 dado.
a. f (x, y) = 4 x2 y 2 ; x0 = (1, 2).

xy 2
; (x, y) 6= (0, 0)

p
b. f (x, y) = x2 + y 2 ; x0 = (0, 0).

0 ; (x, y) = (0, 0)

xy 2

2 4
; (x, y) 6= (0, 0)
c. f (x, y) = x + y ; x0 = (0, 0).

0 ; (x, y) = (0, 0)
d. f (x, y, z) = x2 + y 2 + z 2 ; x0 = (0, 0, 0).

p
Notemos que de estos ejemplos, se deduce que no existe relacin alguna entre la
continuidad y la existencia de las derivadas parciales.
30
2.3. DERIVABILIDAD Y DIFERENCIABILIDAD
Otra observacin importante del ejemplo a. es que las derivadas parciales se

reducen al clculo de las derivadas en una variable jando las restantes, es decir,
considerndolas como constantes.
Corolario 2.3.1 Las funciones elementales y las operaciones entre funciones deri-
vables parcialmente, tambin son derivables parcialmente en su dominio, empleando
los teoremas de derivacin para funciones de variable real.
Ejemplo 2.3.2 Determine las derivadas parciales de las siguientes funciones esca-
lares y especique en qu dominio son vlidas dichas expresiones.
a. f (x, y) = sen(x + y) exy ; (x, y) R2
b. f (x, y, z) = xyz 2 +
p
x2 + y 2 + z 2 ; (x, y, z) R3
c. f (x, y) = x1/3 y 1/3 ; (x, y) R2

xy 2
; (x, y) 6= (0, 0)

p
Ejemplo 2.3.3 Para la funcin f (x, y) = x 2 + y2
, determine

0 ; (x, y) = (0, 0)

f f
la regla de correspondencia de las funciones y en R2 .
x y
Denicin 2.3.2 Se dice que f es continuamente diferenciable en o de clase C 1

en , si todas sus derivadas parciales son continuas en . Particularmente diremos
que f es de clase C 1 en x0 , si las derivadas parciales son continuas en una vecindad
de x0 .
Ejemplo 2.3.4 Determine si las funciones de los dos ejemplo precedentes, son de
clase C 1 en su dominio.
Denicin 2.3.3 (Matriz Derivada o Jacobiana) Sea la funcin

f : Rn Rm , donde es abierto en Rn . Sea x0 .Se dene la matriz
derivada
ola jacobiana en el punto x0 , denotada por Df (x0 ), a la matriz dada por:
fi
(x0 ) ; 1 6 i 6 m; 1 6 j 6 n, si y slo si cada componente existe.
xj ij
31
Ejemplo 2.3.5 Calcule Df (x0 ) si:
a. f (x, y) = (2xy, x2 2y, x + ey ); (x, y) R2 ; x0 = (2, 1).

xy 2

2 4
; (x, y) 6= (0, 0)
b. f (x, y) = x + y ; x0 = (0, 0).

0 ; (x, y) = (0, 0)
c. f (x, y, z) = x2 + y 2 + z 2 ; (x, y) R3 ; x0 = (0, 0, 0).

p
Denicin 2.3.4 (Derivada Direccional) Sea la funcin f : Rn R, don-

de es abierto en Rn . Sea x0 y sea v Rn un vector con k v k= 1. Se dene
la derivada direccional de f respecto a la direccin v , en el punto x0 , denotada por
f
(x0 ), como:
v
f f (x0 + tv) f (x0 )
(x0 ) = lim , si y slo si el lmite existe.
v t0 t
Diremos que f es derivable en x0 si existen todas las derivadas direccionales en

x0 .
Ejemplo 2.3.6 Calcular la derivada direccional de f (x, y) = 4 x2 3y en

x0 = (1, 2), en la direccin de 2i 3j .
Ejemplo
2.3.7 Calcular todas las derivadas direccionales de:
xy 2

2 4
; (x, y) 6= (0, 0)
f (x, y) = x + y ; en el punto x0 = (0, 0).

0 ; (x, y) = (0, 0)
Denicin 2.3.5 (Diferenciabilidad) Sea la funcin f : Rn Rm , donde

es abierto en Rn . Se dice que f es diferenciable en x0 , si y slo si:
k f (x0 + h) f (x0 ) Df (x0 )h k
lim = 0;
h0 khk
donde h es el vector incremento del dominio dado por h = x x0 .
Ejemplo 2.3.8 Empleando la denicin, determine si las siguientes funciones son

diferenciables en el punto dado.
a. f (x, y) = 1 x2 + xy; x0 = (1, 1).
32

xy 2
; (x, y) 6= (0, 0)

p
b. f (x, y) = x2 + y 2 ; x0 = (0, 0).

0

; (x, y) = (0, 0)
xy 2

2 4
; (x, y) 6= (0, 0)
c. f (x, y) = x + y ; x0 = (0, 0).

0 ; (x, y) = (0, 0)
Corolario 2.3.2 Las funciones elementales y las operaciones entre funciones dife-
renciables, son diferenciables en su dominio.
Por ejemplo, la funcin f (x, y) = cos(xy) + x2 y 3 es diferenciable en R2 .
En las funciones del ejercicio anterior, notemos que en (x, y) 6= (0, 0) son dife-
renciables por ser el cociente de funciones escalares diferenciables. Sin embargo, en
el origen debe emplearse la denicin de lmite.
Teorema 2.3.1 Sea la funcin f : Rn Rm , donde es abierto en Rn .

Sea x0 . f es diferenciable en x0 si y slo si cada componentes escalar de f es
diferenciable en x0 .
Por ejemplo, la funcin f (x, y) = (xsen(y), y 2 ex , x + y) es diferenciable en R2

porque cada componente escalar de la imagen lo es.
Teorema 2.3.2 (Derivada de la funcin Compuesta) Sean las funciones

f : Rn Rp , g : U Rp Rm tales que gof existe. Si f es diferenciable en
x0 y g es diferenciable en f (x0 ), entonces gof es diferenciable en x0 y la Jacobiana
D(gof )(x0 ) = Dg(f (x0 ))Df (x0 ).
Demostracin:
k (gof )(x0 + h) (gof )(x0 ) Dg(f (x0 ))Df (x0 )h k

Mostraremos que lim = 0.
h0 khk
(gof )(x0 + h) (gof )(x0 ) Dg(f (x0 ))Df (x0 )h =
33
Dg(f (x0 )) [f (x0 + h) f (x0 ) Df (x0 )h] +
g(f (x0 + h)) g(f (x0 )) Dg(f (x0 ))(f (x0 + h) f (x0 )
k f (x0 + h) f (x0 ) k
k f (x0 + h) f (x0 ) k
Dividimos para k h k ambos miembros:
(gof )(x0 + h) (gof )(x0 ) Dg(f (x0 ))Df (x0 )h

=
khk
Dg(f (x0 )) [f (x0 + h) f (x0 ) Df (x0 )h]

+
khk
k f (x0 + h) f (x0 ) k g(f (x0 + h)) g(f (x0 )) Dg(f (x0 ))(f (x0 + h) f (x0 ))
.
khk k f (x0 + h) f (x0 ) k
Por hiptesis, f es diferenciable en x0 y g es diferenciable en g(x0 ), por lo que

las fracciones correspondientes tienden al vector nulo cuando h 0.
k f (x0 + h) f (x0 ) k
Armamos que est acotado cuando h 0. En efecto,
khk
k f (x0 + h) f (x0 ) k=k f (x0 + h) f (x0 ) Df (x0 )h + Df (x0 )h k
k f (x0 + h) f (x0 ) Df (x0 )h k + k Df (x0 )h k.
Es conocido que para A matriz de m n y h Rn existe una constante C > 0

tal que k Ah k C k h k (Tarea).
Luego, k f (x0 + h) f (x0 ) kk f (x0 + h) f (x0 ) Df (x0 )h k +C k h k.
Dividiendo para k h k y del hecho que f es diferenciable en x0 , sigue que

k f (x0 + h) f (x0 ) k
est acotada por C cuando h 0.
khk
Ejemplo 2.3.9 Considere las funciones g(x, y) = (x2 + 1, y2 ); (x, y) R2 y

f (u, v) = (u + v, u v, v 2 ); (u, v) R2 . Determine D(f og) en el punto (1, 1) em-
pleando dos formas distintas.
34
Solucin:
Una forma es usando el teorema.
La otra forma es haciendo la composicin y luego calculando la Jacobiana en

trminos de (x, y):
(f og)(x, y) = (x2 + 1 + y 2 , x2 + 1 y 2 , y 4 ). La Jacobiana se obtiene con las
derivadas parciales respecto a x y a y , en cada componente escalar, evaluando
en el punto (1, 1).
Ejemplo 2.3.10 Dadas las funciones f (u, v, w) = (u2 + v2 , cos(u v), uv5 );
(u, v, w) R3 y g(x, y, z) = (ex , x2 +3z 4 ); (x, y, z) R3 . Determine de ser posible
2 +y 2
D(gof ) en (1, 1, 3).
2.3.1. Regla de la Cadena Generalizada

Si f es escalar y diferenciable en las variables (x1 , x2 , ..., xn ) Rn y cada xi
es diferenciable en las variables (u1 , u2 , ..., um ) Rm ; 1 i n, entonces f es
f f x1 f x2 f xn
diferenciable en (u1 , u2 , ..., um ) y = + + ... + ; para
uj x1 uj x2 uj xn uj
cada 1 i m (*).
La deduccin de esta expresin es a partir del teorema de la Regla de la Cadena,
notemos que f : Rn R depende indirectamente de (u1 , u2 , ..., um ).
Podemos denir g : Rm Rn dada por g(u1 , u2 , ..., um ) = (x1 , x2 , ..., xn ) y lo que se
requiere calcular es la Jacobiana de f og para mostrar la expresin (*).
Ejemplo 2.3.11 Sea f diferenciable en (x, y) R2 . Si x = r cos() ; y = r sen();

f
donde (r, ) son las variables del sistema polar, determine una expresin para y
r
f
otra para .

Ejemplo 2.3.12 Sea z = f (x2 + y2 , x2 y2 ) diferenciable en R2 . Determine una

z z
expresin para y +x .
x y
Ejemplo
" 2.3.13 Transformar la ecuacin diferencial:
2 #
2
f f 1
+ = ; (x, y) R2 al sistema polar.
x y (1 + x2 + y 2 )2
35
2.4. Teoremas sobre diferenciabilidad

Sea x0 . Si f es diferenciable en x0 , entonces f es continua en x0 y todas las
derivadas direccionales de f existen en x0 .
Ejemplo 2.4.1 La funcin f (x, y) = (xcos(y), exy , x + y) es diferenciable en R2 ,

por tanto es continua y existen todas sus derivadas direccionales en todo x0 R2 .
Este teorema es unidireccional tal como lo ilustra el ejemplo siguiente.

xy
; (x, y) 6= (0, 0)

p
Ejemplo 2.4.2 Dada la funcin f (x, y) = x2 + y 2 . Demues-

0

; (x, y) = (0, 0)
tre que esta funcin es continua en (0, 0) y que todas las derivadas direccionales
existen en este punto, pero la funcin no es diferenciable en dicho punto.

Sea x0 . Si f es de clase C 1 en x0 , entonces f es diferenciable en x0 .
Ejemplo 2.4.3 La funcin f (x, y) = (xcos(y), exy , x + y) es de clase C 1 en R2 ,

por tanto es diferenciable en todo x0 R2 .
Este teorema tambien es unidireccional tal como lo ilustra el ejemplo siguiente.

1
(x2 + y 2 )sen p ; x2 + y 2 6= 0

Ejemplo 2.4.4 Dada la funcin f (x, y) = x + y2
2
.
2 2
0

;x + y = 0
Demuestre que esta funcin es diferenciable en (0, 0), pero no es de clase C 1 en este
punto.
Teorema 2.4.3 (Teorema de la derivada direccional) Sea la funcin

f : Rn R con abierto en Rn . Sea x0 . Si f es diferenciable en x0 y
f
v Rn es una direccin unitaria, entonces (x0 ) = Df (x0 )v .
v
36
2.4. TEOREMAS SOBRE DIFERENCIABILIDAD
Demostracin:
f f (x0 + tv) f (x0 )

Por denicin, (x0 ) = lim .
v t0 t
Notemos que f (x0 + tv) f (x0 ) = f (x0 + tv) f (x0 ) Df (x0 )(tv) + Df (x0 )(tv).
Dividimos para t 6= 0 y separamos sumandos:
f (x0 + tv) f (x0 ) f (x0 + tv) f (x0 ) Df (x0 )(tv) Df (x0 )(tv)
= +
t t t
f (x0 + tv) f (x0 ) Df (x0 )(tv)

= + Df (x0 )(v).
tkvk
Tomando lmite t 0 y dado que f es diferenciable en x0 se sigue el resultado.
Ejemplo 2.4.5 Calcular la derivada direccional de f (x, y) = 4x2 3y en el punto

x0 = (1, 2), a lo largo de la direccin 2i 3j.
Ejemplo 2.4.6 Determine de ser posible las direcciones donde f (x, y) = 2x2 3y2 ,
tiene variacin nula en el punto (1, 1).
Denicin 2.4.1 (Gradiente de un campo escalar) Sea la funcin escalar

f : Rn R con abierto en Rn . Sea x0 . Se dene el vector gradiente de
f en x0 como:

f f f
f (x0 ) = (x0 ); (x0 ); ...; (x0 ) ; si y slo si cada componente existe.
x1 x2 xn
f
Con esta denicin, si f es diferenciable en x0 , sigue que (x0 ) = f (x0 ) v .
v
Teorema 2.4.4 (Teorema de la mxima variacin de un campo escalar) Sea

el campo escalar f : Rn R con abierto en Rn . Sea x0 . Si f es dife-
renciable en x0 , entonces la mxima variacin de f en x0 apunta en la direccin de
f (x0 ) y dicha variacin es k f (x0 ) k.
37
Ejemplo 2.4.7 Determine la mxima variacin de los siguientes campos escalares

en el punto dado y especique en que direccin ocurre dicha variacin.
a. f (x, y) = 1 2x2 y 2 ; (x, y) R2 ; x0 = (2, 1).
b. f (x, y, z) = x2 + 3y 2 + cos(z); (x, y, z) R3 ; x0 = (1, 1, 1).
Ejemplo 2.4.8 Para las funciones anteriores determine la direccin donde ocurre
la mnima variacin de f en el punto dado.
2.5. Teorema de la Derivada Implcita

El problema de la funcin implcita surge con ecuaciones de la forma F (x, z) = 0,
donde x es el vector independiente y z es el vector dependiente. Por diversas circuns-
tancias, esta es la relacin conocida entre x y z , adems de un vector (x0 , z0 ) que
satisface le relacin F . Se espera que bajo ciertas condiciones, exista una funcin
diferenciable explcita tal que z = (x) en alguna vecindad abierta V de x0 y que
la matriz derivada de pueda calcularse en x0 a partir de F .
En este caso emplearemos la notacin DFz y DFx para indicar que la primera
matriz se obtiene con las derivadas parciales de F respecto al vector z y la segunda
se obtiene con las derivadas parciales de F respecto al vector x. Mientras que en una
relacin explcita z es el vector dependiente y x es el independiente, en F no existe
tal distincin y por tanto F es considerada una funcin de (x, z), es decir, todas las
variables son tratadas como independientes en F .

2x21 + x32 z1 + z2 x3 = 0

Ejemplo 2.5.1 Sea el sistema de ecuaciones ;
x1 x2 + x1 z2 z1 z2 + x3 = 0

donde (z1 , z2 ) es funcin de (x1 , x2 , x3 ). Identique la funcin implcita F y escriba

las matrices DFz y DFx .
Solucin:
Construimos la funcin
38
2.5. TEOREMA DE LA DERIVADA IMPLCITA
F (x1 , x2 , x3 , z1 , z2 ) = (2x21 + x32 z1 + z2 x3 , x1 x2 + x1 z2 z1 z2 + x3 ) = (F1 , F2 ) = (0, 0).
En este caso F es una funcin de cinco variables (dos de ellas dependientes de

las otras tres) con dos componentes escalares en la imagen, F1 y F2 .
Por la notacin dada, DFx es una matriz de 2 3 y DFz es una matriz de 2 2,

que se calculan como cualquier Jacobiana:
F1 F1 F1

x1 x2 x3 2
4x1 3x2 z1 z2
DFx =

=

F
2 F2 F2 x2 + z2 x1 1
x1 x2 x3
F1 F1

z1 z2
x32 x3
DFz = =
z2 x1 z1

F F2
2
z1 z2
Ejemplo 2.5.2 Un caso particular de funcin implcita es cuando F es escalar y z

tambin es escalar dependiente de (x1 , x2 , ..., xn ). En este caso F (x1 , x2 , ..., xn , z) es
funcin de n+1 variables; DFx es una matriz de 1n y DFz es una matriz de 11.
Por ejemplo, suponga que x2 + xyz 2 sen(yz) 1 = 0 y que z depende de (x, y). Se
puede denir F (x, y, z) = x2 + xyz 2 sen(yz) 1 = 0, F es funcin escalar de tres
variables y la variable dependiente z tambin es escalar. Un punto que satisface la
z z
ecuacin es (1, 3, 0). Un pregunta de inters es si existen y en dicho punto.
x y
A continuacin enunciaremos y aplicaremos un teorema que bajo ciertas hipte-
sis, permite hallar la matriz derivada de z en un punto x0 , aunque no se conozca la
funcin explcita entre estas variables.
Teorema 2.5.1 Sean Rn y U Rm abiertos. Sea F : U Rm una funcin

de clase C 1 en U . Supongamos que (x0 , z0 ) U es tal que F (x0 , z0 ) = 0 y
que la matriz de m m DFz (x0 , z0 ) es invertible.
39
Entonces existen un abierto V tal que x0 V y una nica funcin : V U

de clase C 1 en V tal que F (x, (x)) = 0 para todo x V .
Adems, D(x0 ) = (DFz (x0 , z0 ))1 DFx (x0 , z0 ).

2x + y + 2z + u v 1 = 0

Ejemplo 2.5.3 Probar que las ecuaciones xy + z u + 2v 1 = 0 denen

yz + xz + u2 v = 0

cerca de (u, v, x, y, z) = (1, 1, 1, 1, 1) una funcin (u, v) = (x(u, v), y(u, v), z(u, v)).
Luego, determine D(1, 1)

x2 y x5 ty + 3(t2 1) = 0

Ejemplo 2.5.4 Consideremos el sistema de ecuaciones ,
x3 y 2 4xt2 y + 3t5 = 0

el cual representa la posicin (x, y) de una partcula en el plano en funcin del tiempo
t. Determine la velocidad en cada dimensin en el instante t = 1 cuando la posicin
es (1, 1).
Ejemplo 2.5.5 Sea f (x1 , x2 , ..., xn , z) = 0 tal que z es funcin de (x1 , x2 , ..., xn ).
z
Bajo las hiptesis del Teorema anterior, obtenga una expresin general para ;
xj
1 j n, en el punto (x0 , z0 ).
Ejemplo 2.5.6 Utilice de ser posible, las expresiones obtenidas en el ejemplo pre-
z z
cedente para calcular , , si se conoce que x2 + xyz 2 sen(yz) 1 = 0 y (1, 3, 0)
x y
satisface la ecuacin.
Ejemplo 2.5.7 Sea u = f (x, y, z) tal que exyzu tan(x2 + y2 ) + zu3 = 9. Determine
la mxima variacin de f en el punto (0, 0, 1).
2.6. Derivadas de Orden Superior

Para un campo escalar f denido en Rn , se denen las derivadas de orden
superior k , con k 2, a las siguientes derivadas:
40
2.6. DERIVADAS DE ORDEN SUPERIOR
!
kf k1 f
Iteradas o sucesivas respecto a la variable xj : k =
xj xj xk1
j
nf n1 f

Mixtas o cruzadas respecto a cada variable: =
xn ...x2 x1 xn xn1 ...x2 x1
Cualquier otra permutacin de las

variables, por ejemplo,
kf k1 f

k3 2
= 2
, cumple que la suma de las rdenes de cada
xn x2 x1 xn xk4
n x2 x1
variable es igual a k .
Para funciones cuyas derivadas sucesivas siguen siendo derivables parcialmente,

se emplean los teoremas de variable real. En puntos donde se requiera emplear la
denicin de lmite, se deber contar con la respectiva derivada precedente denida
en el punto y en una vecindad del punto.
Ejemplo 2.6.1 Dada la funcin f (x, y) = exy2 + sen(y); (x, y) R2 , calcular:
2f 2f 2f 2f
a. b. c. d.
x2 y 2 yx xy
3
x y y3x

; (x, y) 6= (0, 0) 2f
Ejemplo 2.6.2 Dada f (x, y) = x2 + y 2 , calcular (0, 0);

0 x2
; (x, y) = (0, 0)
2
f
(0, 0).
yx
Denicin 2.6.1 Diremos que f : Rn R es kveces continuamente diferen-

ciable en o es de clase C k en , si todas sus derivadas de orden k son continuas
en . Si f es vectorial cada componente escalar de f debe ser de clase C k en .
Teorema 2.6.1 Sea f : Rn R un campo escalar, con abierto en Rn . Sea

x0 . Si f es de clase C n (n veces continuamente diferenciable) en x0 , entonces
las derivadas mixtas de orden n son todas iguales en x0 . Es decir,
nf nf nf
(x0 ) = (x0 ) = ... = (x0 ).
xn ...x2 x1 xn ...x1 x2 x1 ...xn1 xn
Obs. 1 Existen n! derivadas mixtas de orden n.
41
Obs. 2 La demostracin de este teorema se basa en la hiptesis y la aplicacin

reiterada del Teorema de Clairaut (Tarea).
Obs. 3 Para n = 2 este teorema se conoce como el Teorema de Schwarz (Hermann

Amandus Schwarz).
Denicin 2.6.2 (Matriz Hessiana) Sea f : Rn R un campo escalar, con

abierto en Rn . Se dene la matriz Hessiana de f en x0 , denotada por Hf (x0 ), a
la matriz dada por:
2f 2f 2f

...

x21 x2 x1 xn x1

2 2f 2
f
Hf (x0 ) = ...
x x
1 2 x22 xn x2

: : ... :
2 2 2

f f f
...
x1 xn x2 xn x2n |x0
si y slo si cada componente existe.
Obs. Por el teorema precedente, si f C 2 en x0 , Hf (x0 ) es simtrica.
Ejemplo 2.6.3 Calcular la matriz Hessiana de f (x, y, z) = x2 y + exyz z 2 en el

punto (1, 0, 1).
2.6.1. Ejercicios de orden superior con Regla de la Cadena

Ejemplo 2.6.4 Sean f, g escalares de clase C 2 en R2 . Si z = f (x, y) + g(x, y),
2z 1 2z
demuestre que bajo ciertas condiciones se tiene que = ; 6= 0.
x2 2 y 2
Ejemplo 2.6.5 Sea z = f (x2 +y2 , x2 y2 ) un campo escalar denido en R2 . Obtenga

2z 2z
una expresin para + empleando sustituciones adecuadas.
x2 y 2
Ejemplo 2.6.6 Si f es un campo escalar de clase C 2 en todo (x, y) R2 , transforme

2f 2f
+ al sistema de coordenadas polares.
x2 y 2
42
2.6. DERIVADAS DE ORDEN SUPERIOR
Solucin: Sabemos que x = rcos(); y = rsen(). Por regla de la cadena,
f f x f y f f
= + = cos + sen
r x r y r x y
f f x f y f f
= + = (rsen) + (rcos)
x y x y
Por derivada de orden superior con respecto a r,
2f

f f f f f
2
= = cos + sen = cos + sen
r r r r x y r x r y
2 f x 2 f y
2
2 f x

f y
= + cos + + sen
x2 r yx r y 2 r xy r
2f 2f
2
2f

f
= cos + sen cos + sen + cos sen
x2 yx y 2 xy
2f 2 2f 2f 2 2f
= cos + sencos + sen + cossen
x2 yx y 2 xy
2f 2f 2f
= cos 2
+ sen 2
+ 2 sencos. (*)
x2 y 2 yx
Con respecto a ,
2f

f f f f f
2
= = rsen + rcos = r sen +r cos
x y x y

f f f f
= r sen rcos + r cos + r (sen)
x x y y
2 f x 2 f y
2
f x 2 f y

f f
= + rsen+ + 2 rcosr cos + sen
x2 yx xy y x y
2f 2f
2
2f

f
= (rsen) + rcos rsen + (rsen) + 2 rcos rcos
x2 yx xy y
f
r
r
2f 2f 2f 2f

2 2 2 2 f
=r 2
sen cossen + r sencos + 2 cos r
x yx xy y r
43
2 2 2
2f 2 f 2 f f
=r 2
2
sen + r 2
2
cos 2r cossen r . (**)
x y yx r
2f 2f 2
2 f
2
2 f f
De (*) y (**) sigue que r2 + = r + r r .
r2 2 x2 y 2 r
2f 2f 2f 1 2f 1 f
Por tanto, + = + + .
x2 y 2 r2 r2 2 r r
2.7. Aplicaciones
2.7.1. Aproximaciones de 1er Orden
Para una funcin f : Rn Rm diferenciable en x0 , se verica que
f (x0 + h) = f (x0 ) + Df (x0 )h + R1 (h), donde R1 (h) = f (x0 + h) f (x0 ) Df (x0 )h
k R (h) k
satisface lim 1 = 0.
h0 khk
Si h = x x0 tambin se puede escribir f (x) = f (x0 ) + Df (x0 )(x x0 ) + R1 (x).
A la expresin Df (x0 )h se la denomina diferencial de primer orden de f en

x0 y para pequeos incrementos (h 0 o x x0 ), se verica que
f (x0 + h) f (x0 ) + Df (x0 )h y tambin que f (x0 + h) f (x0 ) Df (x0 )h, esto
es, Df (x0 )h aproxima la diferencia f (x0 +h)f (x0 ), similar que en una variable real.
La expresin g(x) = f (x0 ) + Df (x0 )h se denomina la aplicacin afn de f en

el punto x0 . Es de recordar que para el caso de funciones implcitas, de acuerdo a
lo mostrado con el Teorema de la Funcin Implcita, se puede hallar las derivadas
parciales de f en forma implcita para conformar Df (x0 ).
Recordemos que si f es escalar, Df (x0 )h = f (x0 ) y la correspondiente aplica-

cin afn la podemos escribir como g(x) = f (x0 ) + f (x0 ) h.
Ejemplo 2.7.1 Aproxime la variacin del volumen de una caja rectangular de di-
mensiones 5, 7, 12cm, si la primera y segunda dimensin aumentan en 3 y 2mm,
44
2.7. APLICACIONES
respectivamente, mientras la tercera disminuye en 1mm. Luego calcule el valor exac-

to de la variacin y compare ambos resultados.
Ejemplo 2.7.2 Demostrar que el error relativo de un producto de nmeros positivos

es aproximadamente igual a la suma de los errores relativos de sus factores.
Ejemplo 2.7.3 Con una aproximacin de primer orden, estime 0,983,01 .
2.7.2. Frmulas de Taylor de 1er y de 2do Orden

Teorema 2.7.1 Sea la funcin f : Rn R de clase C m (). Sea x0 y sea
h Rn tal que x0 + h . Entonces f admite la expansin polinomial:
De primer orden: f (x0 + h) = f (x0 ) + f (x0 ) h + R1 (h), si m = 1.

1
De segundo orden: f (x0 + h) = f (x0 ) + f (x0 ) h + Hf (x0 )h h + R2 (h), si
2
m = 2.
k R1 (h) k k R2 (h) k
Adems R1 (h) y R2 (h) satisfacen lim = 0; lim = 0 Es decir,
h0 khk h0 k h k2
para h 0, se verica que
f (x0 + h) f (x0 ) + f (x0 ) h
1
f (x0 + h) f (x0 ) + f (x0 ) h + Hf (x0 )h h
2
Ejemplo 2.7.4 Estime 0,983,01 con una aproximacin de Taylor de primer y de

segundo orden, respectivamente.
Ejemplo 2.7.5 Escriba la Frmula de Taylor de 2do orden del campo escalar
f (x, y, z) = x2 y +zcos(y) en el punto (1; 0; 1) y utilice esta frmula para aproximar
f (0, 97; 0, 02; 0,95).
Ejemplo 2.7.6 Dada la ecuacin x2 + xyz 2 sen(yz) 1 = 0, verique que el

punto (1, 3, 0) la satisface y que z puede expresarse como variable dependiente de
(x, y) mediante una funcin de clase C 1 en alguna vecindad del punto. En este caso,
escriba la Frmula de Taylor de 1er orden de z en (1, 3).
45
2.7.3. Plano tangente a una supercie

De lo estudiado anteriormente, sabemos que si f es un campo escalar de dos
variables, diferenciable en algn punto interior (x0 , y0 ) de su dominio, f admite una
aplicacin afn en (x0 , y0 ), la cual verica:
f (x, y) g(x, y) = f (x0 , y0 ) + f (x0 , y0 ) (x x0 , y y0 ).
Para este mismo campo escalar sabemos que su grco es el conjunto de puntos
{(x, y, z) R3 /(x, y) domf z = f (x, y)}.
Sea z = g(x, y) = f (x0 , y0 ) + f (x0 , y0 ) (x x0 , y y0 )

f f
= f (x0 , y0 ) + (x0 , y0 )(x x0 ) + (x0 , y0 )(y y0 ).
x y
Podemos escribir fx (x0 , y0 )(x x0 ) + fy (x0 , y0 )(y y0 ) (z f (x0 , y0 )) = 0.
Notemos que esto representa la ecuacin general de un plano con vector normal
n = (fx (x0 , y0 ), fy (x0 , y0 ), 1) que contiene al punto P0 (x0 , y0 , f (x0 , y0 )), es decir,
un plano que interseca la grca de f en dicho punto.
Por la diferenciabilidad de f en (x0 , y0 ), sigue que este plano aproxima a f en

una vecindad cercana a (x0 , y0 ). Adems diremos que la grca de f es suave en
P0 . De aqu surgen las siguientes deniciones.
Denicin 2.7.1 Sea la funcin escalar f : R2 R con abierto. Sea

x0 . Si f es diferenciable en x0 se dene el plano tangente a la grca de f en
el punto P0 (x0 , y0 , f (x0 , y0 )), al plano con vector normal (fx (x0 , y0 ), fy (x0 , y0 ), 1) y
que contiene P0 .
Denicin 2.7.2 La recta normal a la grca de f en el punto P0 , como la recta

con vector director (fx (x0 , y0 ), fy (x0 , y0 ), 1) y que contiene a P0
46
2.7. APLICACIONES
El ngulo que forman dos supercies suaves en un punto comn P0 , se dene

como el ngulo que formas sus dos planos tangentes en P0 .
Para el caso de supercies de nivel o grcas de funciones dadas en forma impl-

cita mediante la ecuacin F (x, y, z) = 0, que satisfacen las hiptesis del teorema de
la funcin implca, tambin es vlida la siguiente expresin para calcular el vector
normal del plano tangente.
n = (Fx (x0 , y0 , z0 ), Fy (x0 , y0 , z0 ), Fz (x0 , y0 , z0 )); donde z0 = f (x0 , y0 ).
Ejemplo 2.7.7 Determine de ser posible la ecuacin del plano tangente a la grca
de f (x, y) = 4 x2 y 2 ; (x, y) R2 , en el punto (1, 1, 2).
sen(x2 + y 2 )

; (x, y) 6= (0, 0)
Ejemplo 2.7.8 Dada f (x, y) = x2 + y 2 . Determine de ser

1 ; (x, y) = (0, 0)
posible la ecuacin del plano tangente a su grca en el punto (0, 0).
Ejemplo 2.7.9 Dada la funcin f (x, y, z) = x2 + 2y2 + 3z 2 ; (x, y, z) R3 . Con

respecto a la supercie de nivel de f, k = 12, determine de ser posible:
a. Los puntos de la supercie donde el plano tangente es paralelo al plano

x 2y + 3z = 12.
b. Los puntos de la supercie donde el plano tangente es el plano x 2y + 3z = 12.
c. Los puntos de la supercie donde la recta normal es paralela al eje Z .
47
Captulo 3
Optimizacin de funciones escalares

de varias variables
Denicin 3.0.1 (Extremos Relativos o Locales) Sea la funcin escalar

f : Rn R. Sea x0 Int(). Se dice que x0 es mximo relativo de f , si y slo
si existe una bola abierta B(x0 ; ) tal que f (x0 ) f (x) para todo x B(x0 ; ).
Anlogamente, se dice que x0 es mnimo relativo de f , si y slo si existe una bola
abierta B(x0 ; ) tal que f (x0 ) f (x) para todo x B(x0 ; ).
Si en la denicin de extremos locales las desigualdades son estrictas para x 6= x0 ,

se dice que los extremos son estrictos.
Denicin 3.0.2 (Punto crtico) Sea la funcin escalar f : Rn R. Sea

x0 Int(). Se dice que x0 es punto crtico de f , si y slo si f no es diferenciable
en x0 si f es diferenciable en x0 y f (x0 ) = 0. En este ltimo caso diremos que
x0 es un punto estacionario.
Denicin 3.0.3 (Punto de silla) El punto estacionario x0 que no es mnimo

local ni mximo local, se dice que es un punto de silla.
Ejemplo 3.0.1 Las siguientes funciones tienen el punto crtico (x0 , y0 ) dado.
a. f (x, y) = x2 + y 2 ; (x, y) R2 ; (x0 , y0 ) = (0, 0).
p
b. f (x, y) = 1 (x 1)2 y 2 ; (x, y) R2 ; (x0 , y0 ) = (1, 0).
49
CAPTULO 3. OPTIMIZACIN DE FUNCIONES ESCALARES DE VARIAS
VARIABLES
Al igual que en funciones de variable real, los puntos crticos son candidatos a
convertirse en extremos locales de la funcin pero de particular inters son aquellos
donde f es diferenciable y su gradiente se anula, por cuanto representan una condi-
cin necesaria del siguiente teorema.
Teorema 3.0.1 Sea la funcin escalar f : Rn R con abierto. Sea x0

un extremo relativo de f . Si f es diferenciable en x0 , entonces f (x0 ) = 0.
Demostracin (Caso mnimo relativo):
Por hiptesis, f (x0 ) f (x) para todo x en alguna bola abierta B(x0 ; ).
f f (x0 + tej ) f (x0 )

Por denicin, (x0 ) = lim .
xj t0 t
Tomemos t (, ). En este caso tenemos que k x0 + tej x0 k=| t |< . Por

tanto (x0 + tej ) B(x0 , ). Esto implica que:
f (x0 + tej ) f (x0 )

0, si 0 < t < .
t
f (x0 + tej ) f (x0 )
0, si < t < 0.
t
Tomando lmite cuando t 0+ y t 0 en cada caso, respectivamente, sigue

f f
que (x0 )+ 0 y (x0 ) 0.
xj xj
f
Pero por hiptesis f es diferenciable en x0 , entonces (x0 ) = 0. Esto es vlido
xj
para todo 1 j n, por tanto f (x0 ) = 0.
Similar demostracin sigue para el mximo local.
50
Teorema 3.0.2 Sea la funcin escalar f : Rn R con abierto. Sea x0
un punto crtico de f . Si f es de clase C 2 en x0 , entonces:
i . Si Hf (x0 ) tiene nicamente valores propios positivos, x0 es un mnimo local

estricto de f .
ii . Si Hf (x0 ) tiene nicamente valores propios negativos, x0 es un mximo local

estricto de f .
iii . Si Hf (x0 ) tiene valores propios no nulos, negativos y positivos, x0 es un punto

de silla de f .
iv . Si Hf (x0 ) tiene algn valor propio nulo, el teorema no es concluyente.
Ejemplo 3.0.2 Para cada una de las siguientes funciones escalares, determine sus
puntos crticos y califquelos como mximo relativo, mnimo relativo o punto de silla.
a. f (x, y) = 4 x2 + 2x y 2 6y; (x, y) R2
b. f (x, y) = log(x2 + y 2 + 1); (x, y) R2
c. f (x, y) = x2 y 2 ; (x, y) R2
d. f (x, y) = x2 + 2xy + y 2 x3 + y 3 ; (x, y) R2
Ejemplo 3.0.3 Sea la funcin f : R denida por

f (x, y) = sen(x) + sen(y) + cos(x + y) con = (0, ) (0, ). Determine sus puntos
crticos y evalelos como extremos relativos o puntos de silla.
Ejemplo 3.0.4 Sea la funcin f : R denida por f (x, y, z) = x2 + y + z 2 con

= R3 . Determine sus puntos crticos y evalelos como extremos relativos o puntos
de silla.
Ejemplo 3.0.5 Determine si f (x, y) = 1 (x2 + y2 ) 3 ; (x, y) R2 tiene extremos

1
locales.
Teorema 3.0.3 (Teorema del Valor Extremo) Sea f : D Rn R. Si f es

continua en D y D es compacto, entonces f alcanza su valor mximo absoluto y
mnimo absoluto en D.
51
VARIABLES
Procedimiento general para hallar los extremos absolutos:
1. Identicar los extremos locales en el Int(D).
2. Identicar los extremos absolutos en la F r(D).
3. Comparar resultados y seleccionar los valores ptimos en D.
Ejemplo 3.0.6 Determine los extremos absolutos de f (x, y) = x2 + y2 x y + 1

en D = {(x, y) R2 /x2 + y 2 1}.
Ejemplo 3.0.7 Determine las dimensiones de la caja rectangular de mximo volu-

men que puede inscribirse en la regin limitada por 6x + 4y + 3z = 24 y los planos
coordenados.
3.1. Optimizacin con restricciones

Teorema 3.1.1 (Mtodo de Lagrange) Sean las funciones f, g : Rp R
con abierto. Sean f y g de clase C 1 en . Sea c .
Si c es un extremo relativo de f restringido a g , es decir, existe una vecindad V

de c tal que f (c) f (x)(f (c) f (x)), para todo x V con g(x) = 0, y Dg(c) 6= 0,
entonces existe R tal que Df (c) = Dg(c).
m
Para gi restricciones; 1 i m; existen i R tal que Df (c) = i Dgi (c).
X
i=1
Ejemplo 3.1.1 Determine los extremos de f (x, y) = x2 + y2 x y + 1 sujeta a la

restriccin x2 + y 2 = 1.
Recordemos que esta funcin fue estudiada anteriormente para hallar sus extre-
mos ABSOLUTOS en el crculo x2 + y 2 1. Cuando se la analiz en la frontera
(circunferencia) se obtuvieron los extremos absolutos en ella. Notemos que Lagran-
ge nos entrega los extremos relativos de f en la frontera del crculo, pero por la
compacidad de esta frontera se concluye que dichos extremos son absolutos.
52
3.1. OPTIMIZACIN CON RESTRICCIONES
Ejemplo 3.1.2 Determine los puntos del plano 2x + 3y z = 5 ms cercanos al

origen.
Ejemplo 3.1.3 Determine las dimensiones de la caja rectangular de mximo volu-

men que puede inscribirse en la regin limitada por 6x + 4y + 3z = 24 y los planos
coordenados.
Ejemplo 3.1.4 Determine los valores extremos del campo escalar

f (x, y, z) = x y z sujeto a las restricciones x2 + 2y 2 = 1 y 3x 4z = 0
Ejemplo 3.1.5 Determine los extremos de f (x, y, z) = xy + z en la interseccin de

las supercies x2 + y 2 + z 2 = 1 y x + y + z = 0.
Solucin:
La funcin objetivo es f y llamemos a las restricciones
g1 (x, y, z) = x2 + y 2 + z 2 1(= 0); g2 (x, y, z) = x + y + z(= 0).
Los gradientes respectivos son:

f (x, y, z) = (y, x, 1)
g1 = (2x, 2y, 2z)
g2 = (1, 1, 1)
Por condicin necesaria del teorema de Lagrange sigue la igualdad:

(y, x, 1) = (2x, 2y, 2z) + (1, 1, 1)

(1) y = 2x +

(2) x = 2y +

(3) 1 = 2z +

(4) x2 + y 2 + z 2 = 1

(5) x + y + z = 0

De (1) y (2): y x = 2(x y) = 2(y x)

1
(y x)(1 + 2) = 0 y = x = .
2
53
VARIABLES
Si y = x, reemplazamos en (4) y (5):

2x2 + z 2 = 1
2x + z = 0 z = 2x
1
2x2 + 4x2 = 1 6x2 = 1 x = .
6
Utilizando las ecuaciones (1) y (3) (2) y (3), se puede hallar los valores de
y en R. Por tanto,
este caso
nos da dos puntos
solucin del sistema:
1 1 2 1 1 2
P1 , , P2 , ,
6 6 6 6 6 6
1
Si = , reemplazamos en (1), (2) y (3):
2
y = x + y + x =
x = y + y + x =
1 = z + z = 1
Reemplazamos estas ltimas condiciones en (5):

1 1 1
+1=0= z = y = x
2 2 2
Reemplazamos estas nuevas condiciones en (4):

2
1 1 1 1 1
2
x + x = 1 x2 + x + x2 + = 1 2x2 x = 0
+
2 4 4 4 2
2 4 + 16 2 2 1 + 4
4x2 2x 1 = 0 x = x=
24 24
1 5 1 5
x= y =
4 4
Por tanto,

este caso

nos da
! dos puntossolucinadicionales:
!
1+ 5 1 5 1 1 5 1+ 5 1
P3 , , P4 , ,
4 4 2 4 4 2
Dado que en este ejemplo, la interseccin de las restricciones es un conjunto

compacto y f es continua, la funcin alcanza sus extremos en este conjunto. Ahora,
es suciente evaluar f en los cuatro puntos hallados y escoger el valor mximo y
mnimo absoluto, respectivamente.
54
Captulo 4
Funciones Vectoriales
En este captulo deniremos las funciones vectoriales de variable escalar y los

campos vectoriales. Estas funciones sern empleadas en los captulos posteriores para
realizar algunas aplicaciones a nivel instrumental, tales como: clculo de trabajo,
clculo de integrales de lnea escalar, clculo de integrales de ujo, entre otras.
4.1. Funciones vectoriales de variable escalar

Denicin 4.1.1 Sean f1 , f2 , , fn n funciones de variable real, denidas en algn
intervalo I R. Se dene r : I Rn dada por r(t) = (f1 (t), f2 (t), , fn (t)) como
una funcin vectorial de variable vectorial t.
Particularmente, estudiaremos el caso n = 2 y n = 3 para representar curvas en

el plano y curvas en el espacio, respectivamente.
4.1.1. Parametrizaciones clsicas para curvas en R2

Circunferencia con centro en (h, k) y radio R orientada antireloj (+).
r(t) = (Rcos(t) + h, Rsen(t) + k); 0 t 2 .
Elipse con centro en (h, k) y semiejes a, b orientada antireloj (+).

r(t) = (acos(t) + h, bsen(t) + k); 0 t 2 .
Segmento de recta desde el punto (a1 , b1 ) hasta el punto (a2 , b2 ).

r(t) = (a1 + (a2 a1 )t, b1 + (b2 b1 )t); 0 t 1.
55
CAPTULO 4. FUNCIONES VECTORIALES
Hipociclode de 4 puntas (astroide).

r(t) = (a cos3 (t), a sen3 (t)); 0 t 2 .
4.1.2. Parametrizaciones clsicas para curvas en R3

Hlice circular con parmetros a, b > 0.
r(t) = (acos(t), asen(t), bt); t 0.
Cbica alabeada.
r(t) = (t, t2 , t3 ); t 0.
Segmento de recta desde el punto (a1 , b1 , c1 ) hasta el punto (a2 , b2 , c2 ).

r(t) = (a1 + (a2 a1 )t, b1 + (b2 b1 )t, c1 + (c2 c1 )t); 0 t 1.
Trazas entre supercies.

Hay curvas que se dene como interseccin o trazas entre dos supercies.
Ejemplo 4.1.1 La traza del cilindro x2 + y2 = 4 con el plano x + y + 2z = 6

admite la parametrizacin r(t) = (2cos(t), 2sen(t), 3 cos(t) sen(t));
0 t 2 .
4.1.3. Lmite, continuidad y derivabilidad de las funciones

vectoriales de variable escalar
Para el caso del lmite y la continuidad de una funcin vectorial de variable
escalar, se aplican los mismos conceptos y teoremas visto en el captulo 2, esto es,
diremos que el lmite existe si y slo si cada componente tiene lmite y diremos
que es continua si y slo si cada componente lo es. Para la derivada de la funcin
empleamos la siguiente denicin.
Denicin 4.1.2 Sea r(t) = (f1 (t), f2 (t), , fn (t)). Diremos que r es derivable en
t si y slo si fi es derivable en f ; para todo 1 i n.
En ese caso, se dene r0 (t) = (f10 (t), f20 (t), , fn0 (t)).
Ejemplo 4.1.2 Sea r(t) = (2t + 3, 1 t3 , cos(t2 )); t 0. Determine r0 (t) y r00 (t).
56
4.1. FUNCIONES VECTORIALES DE VARIABLE ESCALAR
Teorema 4.1.1 (Propiedades de la Derivada) Sean r y dos funciones vecto-

riales de variable escalar, derivables en t. Entonces:
i ) (r(t) + (t))0 = r0 (t) + 0 (t).
ii ) (r(t))0 = r0 (t); para todo R.
iii ) (r(t) (t))0 = r0 (t) (t) + r(t) 0 (t).
iv ) (r(t) (t))0 = r0 (t) (t) + r(t) 0 (t).
Ejemplo 4.1.3 Demostrar las propiedades I y III .
De aqu en adelante entenderemos por camino o trayectoria, a toda curva dada

por una funcin continua r en I R.
4.1.4. Velocidad, rapidez y aceleracin

Denicin 4.1.3 Si el movimiento de un objeto puede ser modelado mediante una
trayectoria r en funcin del tiempo t, tal que r0 y r00 existen, se denen para el
instante t:
La velocidad del objeto como v(t) = r0 (t).
La rapidez del objeto como kr0 (t)k.
La aceleracin del objeto como a(t) = r00 (t).
Interpretacin: de la denicin de velocidad instantnea sabemos que
r(t + t) r(t)
v 0 (t) = lim .
t0 t
Como r es derivable, de la denicin de lmite se deduce que v(t) = r0 (t).

Similarmente para la aceleracin como la derivada de v(t).
Ejemplo 4.1.4 Un objeto parte del reposo desde el punto (1, 2, 1). Si se mueve
con aceleracin a(t) = (t, 2t2 , 3t3 ); t 0, determine la funcin posicin y la funcin
velocidad de este movimiento.
57
Ejemplo 4.1.5 Una partcula se mueve a lo largo del camino C : r(t) = (t2 , cos(t), 3);
t 0. En el instante t = 2 sale de la trayectoria y continua con M.R.U. Determine
la posicin de la partcula en el instante t = 5.
4.1.5. Vector tangente, normal y binormal

Denicin 4.1.4 (Camino suave) Sea C un camino dado por r : [a, b] Rn . Se
dice que C es suave si r es de clase C 1 y r0 (t) 6= 0 en (a, b).
Denicin 4.1.5 (Vector Tangente Unitario) Sea C un camino suave dado por
r. Se dene el vector tangente unitario en el instante t, como:
r0 (t)
T (t) = 0 .
kr (t)k
Teorema 4.1.2 (Vector Normal Principal) Si C es un camino suave dado por

r y T 0 existe, entonces T 0 es un vector ortogonal a C .
Demostracin: Por hiptesis T 0 (t) T 0 (t) = 1.

Derivando ambos miembros y por propiedades de la derivada:
T 0 (t)T (t)+T (t)T 0 (t) = 0. Luego, 2T 0 (t)T (t) = 0. Esto prueba que T 0 es ortogonal
a la direccin tangente de C en el correspondiente instante t.
Denicin 4.1.6 (Vector Normal Unitario) Sea C un camino suave dado por
r tal que T 0 es no nulo. Se dene el vector normal unitario en el instante t, como:
T 0 (t)
N (t) = .
kT 0 (t)k
Denicin 4.1.7 (Vector Binormal Unitario) Sea C un camino suave con vec-
tores tangente y normal unitarios. Se dene el vector binormal en el instante t,
como:
B(t) = T (t) N (t).
58
4.1. FUNCIONES VECTORIALES DE VARIABLE ESCALAR
Obs 1. El vector binormal slo est denido para caminos en R3 .
Obs 2. Por denicin, el vector binormal es unitario.
Obs 3. En el plano, los vectores tangente y normal unitarios forman una base
ortonormal en el instante t, similarmente en el espacio junto con el vector binormal.
Denicin 4.1.8 (Componentes de la aceleracin) Sea C un camino suave con

vectores tangente, normal y binormal. Se denen las componentes de la aceleracin:
Tangencial: aT (t) = proyT (t) a(t).
Normal: aN (t) = proyN (t) a(t).
Binormal: aB (t) = proyB(t) a(t).
Obs 1. Todas estas proyecciones son vectoriales.
Obs 2. a(t) = aT + aN en el plano y a(t) = aT + aN + aB en el espacio.
Ejemplo 4.1.6 Dada la trayectoria r(t) = (3t, 2t2 ); t 0. Determine las compo-
nentes tangencial y normal de la aceleracin.
Ejemplo 4.1.7 Dada la trayectoria r(t) = (acos(t), asen(t), bt); t 0. Determine

las componentes tangencial, normal y binormal de la aceleracin.
4.1.6. Longitud de arco y curvatura

Denicin 4.1.9 (Longitud de arco) Sea C un camino suave dado por
r : [a, b] Rn . Se dene la longitud de arco de C , desde r(a) hasta r(b) como:
Z b
s= kr0 (t)kdt.
a
Denicin 4.1.10 (Funcin Longitud de arco) Sea C un camino suave dado

por r : [a, b] Rn . Se dene la funcin Longitud de arco de C , como:
Z t
s(t) = kr0 ()kd.
a
59
ds
Obs. Del Primer Teorema Fundamental del Clculo, sigue que = kr0 (t)k, esto
dt
es, ds = kr0 (t)kdt. Adems s es montona creciente y como es continua, esto implica
que es inyectiva.
De esta observacin se deduce que localmente se puede invertir s y expresar t es

funcin del parmetro de longitud de arco. Esto da origen a la siguiente denicin.
Denicin 4.1.11 (Curvatura) Sea C una trayectoria reparametrizada por r en

funcin del parmetro de longitud de arco s. Se dene la curvatura de C como:
r0 (s)
K = kT 0 (s)k, donde T (s) = .
kr0 (s)k
Obs. Cuando r se reparametriza en funcin de s, se cumple que kr0 (s)k = 1, por
lo que K = kr00 (s)k.
Ejemplo 4.1.8 Determine la curvatura de la hlice circular r(t) = (acos(t), asen(t), bt);
t 0. Construya la funcin longitud de arco respectiva y aplique la denicin de
curvatura reparametrizando r en funcin de s.
Ejemplo 4.1.9 Determine la curvatura de las siguientes trayectorias:

a. Circunferencia de radio R en el plano.
b. Recta en el espacio.
Otras expresiones para calcular la curvatura en funcin de t son:
kT 0 (t)k kr0 (t) r00 (t)k

(i) K = . (ii) K = .
kr0 (t)k kr0 (t)k3
4.2. Funciones vectoriales de variable vectorial

Denicin 4.2.1 (Campo vectorial) Sean M, N, P tres funciones escalares de
variable vectorial (x, y, z), denidas en algn dominio Q R3 . Se dene la funcin
vectorial F (x, y, z) = M i + N j + P k en Q como un campo vectorial de R3 .
Similarmente se dene F (x, y) = M i + N j como un campo vectorial de R2 .
60
4.2. FUNCIONES VECTORIALES DE VARIABLE VECTORIAL
Denicin 4.2.2 (Divergencia de un campo vectorial) Sea F un campo vec-

torial diferenciable de R3 dado por F (x, y, z) = M i + N j + P k. Se dene su diver-
gencia como:
M N P
divF = F = + +
x y z
Para campos vectoriales de R2 , su divergencia est dada por:

M N
divF = F = +
x y
Denicin 4.2.3 (Rotacional de un campo vectorial) Sea F un campo vecto-

rial diferenciable de R3 dado por F (x, y, z) = M i + N j + P k. Se dene su rotacional
como:

i j k

rotF = F =
x y z

M N P

P N P M N M
= i j+ k
y z x z x y
Denicin 4.2.4 (Campo Vectorial Conservativo) Sea F un campo vectorial

denido en Q Rn . Se dice que F es conservativo si y slo si existe una funcin
diferenciable f en Q tal que f = F .
En este caso, se dice que f es la funcin potencial de F .
Ejemplo 4.2.1 Sea F (x, y) = 2xi + yj; (x, y) R2 . Verique que F es conservativo
1
con funcin potencial f (x, y) = x2 + y 2 .
2
Para identicar si un campo vectorial es conservativo, empleamos los siguientes

teoremas.
Teorema 4.2.1 (Campos conservativos del plano) Sea F (x, y) = M i + N j un

campo vectorial de clase C 1 en alguna bola abierta de R2 . F es conservativo si y slo
N M
si = .
x y
Ejemplo 4.2.2 Verique el teorema para el campo vectorial del ejemplo precedente.
61
Teorema 4.2.2 (Campos conservativos del espacio) Sea

F (x, y, z) = M i + N j + P k un campo vectorial de clase C 1 en alguna bola abierta
de R3 . F es conservativo si y slo si rotF = 0.
Ejemplo 4.2.3 Determine cul de los siguientes campos son conservativos en R3 .
1. F (x, y, z) = x2 y i + z j + xyz k.
2. F (x, y, z) = 2xy i + (x2 + z 2 )j + 2yz k.
Denicin 4.2.5 (Operador de Laplace) Sea f un campo escalar dos veces di-
ferenciable en algn dominio Q Rn . Se dene el Laplaciano de f como:
2f 2f 2f
2 f = f = + + + .
x21 x22 x2n
Diremos que f es armnica si 2 f = 0.
1
Ejemplo 4.2.4 Demuestre que f (x, y, z) = p ; (x, y, z) 6= (0, 0, 0), es
x2 + y2 + z2
armnica.
Teorema 4.2.3 (Propiedades del Operador Nabla) Sean F, G dos campos vec-
toriales y sean f, g dos campos escalares, denidos en un dominio comn Q tal que
se satisfacen las condiciones respectivas. Entonces:
i . div(F + G) = divF + divG
ii . div(f F ) = f divF + F f
iii . div(F G) = G rotF F rotG
iv . div(rotF ) = 0
v . 2 (f g) = f 2 g + g2 f + 2(f g)
vi . div(f g) = 0
vii . div(f g gf ) = f 2 g g2 f
viii . rot(F + G) = rotF + rotG
62
4.2. FUNCIONES VECTORIALES DE VARIABLE VECTORIAL
ix . rot(f F ) = f rotF + f F
x . rot(f ) = 0
Ejemplo 4.2.5 Demostrar las propiedades ii), iv), ix) y x).
63
Captulo 5
Integrales de Lnea
En esta seccin estudiaremos dos tipos de integrales de lnea:
Integrales de Lnea Vectorial
Integrales de Lnea Escalar
La primera de ellas como el trabajo que realiza un campo de fuerzas al mover

un objeto a lo largo de una trayectoria C y la segunda como la masa de un arco
con forma dada por C . Para ello emplearemos la teora de las funciones vectoriales
estudiadas en el captulo anterior, adems de las siguientes deniciones.
Denicin 5.0.1 (Camino simple y camino cerrado) Sea C una camino dado
por r : [a, b] Rn . Se dice que C es simple si r es inyectiva en (a, b) y diremos que
C es cerrado si r(a) = r(b).
Ejemplo 5.0.1 Un segmento de recta o una circunferencia son caminos simples. El

segundo de ellos es adems cerrado.
Denicin 5.0.2 (Camino suave a trozos) Se dice que un camino C es suave a

trozos si cumple con la denicin de suavidad por tramos o sub-intervalos.
Ejemplo 5.0.2 La astroide es un camino suave a trozos. El vector tangente unitario

3
no est denido en las puntas donde t es igual a , , , respectivamente. Adems
2 2
es simple y cerrado.
65
CAPTULO 5. INTEGRALES DE LNEA
5.1. Interpretacin fsica de una integral de lnea

vectorial
Sin prdida de generalidad se har para el caso bidimensional.
Sea F (x, y) = M i + N j un campo de fuerzas, que mueve un objeto a lo largo de
una trayectoria suave y simple C dada por r(t) = (x(t), y(t)); a t b. Sea
P = {a = t0 , t1 , t2 , , tn = b} una particin del intervalo [a, b]. Por la suavidad de
r, en el isimo sub-intervalo existen ti , ti tales que x(ti ) x(ti1 ) = x0 (ti )(ti ti1 )
y y(ti ) y(ti1 ) = y 0 (ti )(ti ti1 ).
El trabajo que realiza F a lo largo de C puede ser aproximado por la suma:
n
X
F (x(ti ), y(ti )) (r(ti ) r(ti1 )) =
i=1
n
M (x(ti ), y(ti ))(x(ti ) x(ti1 )) + N (x(ti ), y(ti ))(y(ti ) y(ti1 )); donde la suma
X
i=1
se calcula respecto a P .
Sean 1 = Mo r y 2 = No r. Ambas funciones son escalares y continuas en [a, b].

Por lo tanto, la suma puede expresarse como:
n
1 (ti )x0 (ti )ti + 2 (ti )y 0 (ti )ti .
X
i=1
n Z b
Ahora mostramos que lim Fo rr0 (t)dt.
X
0 0
1 (ti )x (ti )ti +2 (ti )y (ti )ti =
kP k0 a
i=1
Z b Z b
Esta ltima integral es igual a 0
1 (t)x (t)dt + 2 (t)y 0 (t)dt. Notar que el
a a
lmite del primer trmino de la suma es la primera integral. Para el segundo lmite
tenemos:

X n Z b
0 0
2 (ti )y (ti )ti 2 (t)y (t)dt

a
i=1
X n Z b
0 0
= (2 (ti ) 2 (ti ) + 2 (ti ))y (ti )ti 2 (t)y (t)dt

i=1 a
66
5.2. INTEGRALES DE LNEA VECTORIAL
n n Z b
X
2 (t)y 0 (t)dt.
X
= (2 (ti ) 2 (ti ))y 0 (ti )ti + 2 (ti ))y 0 (ti )ti

i=1 i=1 a
n
n Z b
X
2 (t)y (t)dt. (*)
X
0 0 0
|2 (ti ) 2 (ti )| |y (ti )|ti + 2 (ti ))y (ti )ti

i=1

i=1 a
Z b
Dado que y es continua en [a, b],
0
|y 0 |(t)dt existe. Digamos que existe M > 0
a
n
tal que |y 0 (ti )|ti < M . Por la continuidad uniforme de 2 en [a, b] existe > 0
X
i=1

tal que |2 (ti ) 2 (ti )| < .
2M
Tomando una particin adecuada Q tal que kQk , sigue que (*) < .
Esto completaZ bla prueba de que el trabajo realizado por Z el campo F a lo largo
de C es igual a Fo r r0 (t)dt, lo cual ser denotado por F dr. Esto da lugar a
a C
la denicin de la siguiente seccin.
5.2. Integrales de lnea vectorial

Denicin 5.2.1 Sea F un campo vectorial de Rn , continuo en cada punto de una
trayectoria suave y simple C dada por r : [a, b] Rn . Se dene la integral de lnea
vectorial de F en la trayectoria C , como:
Z Z b
F dr = (F r) r0 (t)dt.
C a
Obs. Por la continuidad de F en los puntos C y por la suavidad de C , la integral

existe. Una interpretacin fsica de esta integral para n igual a 2 o 3, es el trabajo
que realiza un campo de fuerzas F al mover un objeto a lo largo del camino C .
1 1
Ejemplo 5.2.1 Dado el campo F (x, y) = xyi + x2 j en R2 , determine el trabajo
2 4
que realiza al mover un objeto a lo largo del camino que va desde el punto (0, 0)
hasta el punto (1, 1), si dicho camino es:
a. Un tramo recto. b. Un arco cbico.
67
Ejemplo
Z 5.2.2 Sea el campo vectorial F (x, y) = (2x y)i + (x2 1)j. Evale
F dr si C es la semicircunferencia superior, con centro en (0, 0) y radio a,
C
orientada positivamente.
Teorema 5.2.1 (Propiedades de las Integrales de Lnea) Para clculos con in-
tegrales de lneas resultan tiles las siguientes propiedades:
a. Sea F un campo vectorial denido en los puntos de las Z trayectoriaZC1 y C2 ,

dadas por r1 en [a, b] y r2 en [b, c], respectivamente. Si F dr1 y F dr2
Z Z C1 Z C2
existen y C = C1 C2 , entonces F dr = F dr1 + F dr2 ; donde

C C1 C2
r1 (t) ;a t b

r(t) = .
r2 (t) ;b t c

b. Sea F un campo vectorial denido en los puntos de la trayectoria C dada por r

en [a, b]. Sea C : (t) unaZparametrizacin del camino
Z C en [a, b], orientado
Z en
sentido contrario de C . Si F dr existe, entonces F d = F dr.
C C C
Demostracin:
La primera de ellas se demuestra tomando particiones del intervalo [a, c] que inclu-
yan el punto b. Como cada subparticin induce una suma de Riemann en [a, b] y en
[b, c] respectivamente, al tomar el lmite de la norma de la particin y dado que las
integrales por separado existen, se concluye que la integral sobre C existe.
En esta propiedad se puede calcular por separado cada integral de lnea tomando
la parametrizacin de cada tramo que resulte ms conveniente.
Para la segunda, sea (t) = a + b t; a t b. Denamos (t) = (r )(t). No-

temos que es una parametrizacin de C pues (a) = r(b) y (b) = r(a). Entonces,
Z Z b Z a Z a
0 0 0
F d = (F ) (t)dt = F r( ) r ( ) dt = F r( ) r0 ( )d
C a b b
Z b Z
= F r( ) r ( )d = F dr.
0
a C
68
5.2. INTEGRALES DE LNEA VECTORIAL
Z
Ejemplo 5.2.3 Sea F (x, y) = (xy y )i + (x 1)j; (x, y) R . Evale
2 2 2
F dr,
C
donde C es el contorno del tringulo limitado por los ejes coordenados y la recta
x + 2y = 4, orientado positivamente.
Primero realice el clculo con los intervalos en secuencia y luego tomando el

mismo intervalo de t en cada tramo. Compare ambos procedimientos.
Z
Ejemplo 5.2.4 Sea F (x, y) = 2xi + (3y x)j; (x, y) R . Evale
2
F dr, donde
C
C es el arco parablico y = x2 :
a. Desde el punto (0, 0) hasta el punto (1, 1).
b. Desde el punto (1, 1) hasta el punto (0, 0)

Z
Ejemplo 5.2.5 Sea F (x, y, z) = yi + x j + 2xz k; (x, y, z) R . Evale
2 3
F dr,
C
donde C es la trayectoria:
a. r(t) = (t, t2 , t3 ); 0 t 1.
b. Interseccin de la supercie x2 + y 2 = 2x con x + 2y + z = 6.

Z
Otra notacin para una integral de lnea vectorial: M dx + N dy + P dz .
C
5.2.1. Campos conservativos e independencia del camino

Teorema 5.2.2 Sea F un campo vectorial de clase C 1 en una bola abierta B de
R2 (R3 ). Sea C una curva simple y suave a trozos contenida en B . Las siguientes
condiciones son equivalentes:
i . F es conservativo en B .
Z
ii . Para toda C , F dr = f (r(b)) f (r(a)); donde f = F , r(a) es el punto
C
inicial de C y r(b) es el punto nal.
Z
iii . Para toda curva C cerrada, F dr = 0.
C
69
Obs 1. En la ltima condicin del teorema es importante el uso del cuanticador

universal, por cuanto hay campos que en ciertas curvas cerradas su integral es cero,
pero eso no implica que el campo sea conservativo.
Obs 2. Para curvas suaves a trozos se evala en cada tramo y luego se suma.
1
Ejemplo 5.2.6 Verique el teorema para el campo F (x, y, z) = xi y2 j + 2z k;
2
(x, y, z) R , al mover un objeto a lo largo del camino C : r(t) = (cos(t), sen(t), t);
3
t 3
Ejemplo 5.2.7 Sea el campo F (x, y, z) = ex cos(y)i ex sen(y)j + 2k; (x, y, z) R3 .
a. Demuestre que F es conservativo.
b. Calcule el trabajo que realiza F al mover una partcula a lo largo del segmento de

recta desde el punto 0, , 1 hasta el punto (1, , 3).
2
c. Calcule el trabajo que realiza F al mover una partcula por C : r(t) = (t, t2 , t3 );
0 t 1.
d. Calcule el trabajo que realiza F al mover una partcula por el contorno del trin-
gulo limitado por los planos coordenados y el plano x + 2y + 3z = 6.
5.3. Integrales de lnea escalar

Denicin 5.3.1 Sea f un campo escalar de Rn , continuo en cada punto de una
trayectoria suave y simple C dada por r : [a, b] Rn . Se dene la integral de lnea
escalar de f en la trayectoria C , como:
Z Z b
f ds = (f r) k r0 (t) k dt.
C a
Obs 1. Por la continuidad de f en los puntos de C y por la suavidad de C , la

integral existe. Una interpretacin fsica de esta integral es la masa del arco C con
densidad en cada punto dada por f .
Obs 2. En una integral de lnea escalar no importa la orientacin elegida para C .
70
5.3. INTEGRALES DE LNEA ESCALAR
Z
Ejemplo 5.3.1 Sea f (x, y) = x. Calcule f ds donde C es el camino formado por
C
el arco parablico y = x2 , desde (0, 0) hasta (1, 1). Verique que la orientacin no
inuye en la respuesta.
Ejemplo 5.3.2 Sea C el lamento dado por x = tcos(t); y = tsen(t); z = t;

0 t . Determine la carga elctrica del lamento si su densidad de carga es
directamente proporcional a la distancia de cada punto al plano XY .
71
Captulo 6
Integracin Mltiple
En este captulo extenderemos la denicin de suma de Riemann a funciones

escalares de varias variables. Comenzaremos deniendo esta suma para funciones de
dos variables y luego se adaptarn estas deniciones para funciones de tres variables.
Denicin 6.0.1 (Intervalo cerrado en Rn ) Sean [ak , bk ] ; 1 k n, n interva-

los cerrados en R. Se dice que el conjunto [a1 , b1 ] [a2 , b2 ] [an , bn ] es un
intervalo cerrado en Rn .
Ejemplo 6.0.1 Los siguientes intervalos cerrados pueden interpretarse grcamen-

te.
[1, 2] es un intervalo cerrado en R. Representa un segmento de recta sobre la

recta unidimensional.
[0, 2] [1, 1] es un intervalo cerrado en R2 . Representa un rectngulo en el

plano con lados paralelos a los ejes coordenados.
[0, 2] [1, 4] [2, 3] es un intervalo cerrado en R3 . Representa una caja en el

espacio con caras paralelas a los planos coordenados.
Denicin 6.0.2 (Particin de un intervalo en Rn ) Sea un intervalo cerrado

R en Rn . Se dene una particin P de R a una coleccin {Ji } de intervalos ce-
rrados en Rn tal que R = Ji e int(Jp ) int(Jq ) = para todo p 6= q .
[
73
CAPTULO 6. INTEGRACIN MLTIPLE
Ejemplo 6.0.2 Escriba una particin para los siguientes intervalos:
[0, 2] [1, 1]. En este caso la particin es una coleccin de rectngulos.
[0, 2] [1, 4] [2, 3]. En este caso la particin es una coleccin de cajas.
Denimos la norma de P como k P k= max{V (Ji )}, donde V (Ji ) denota la

i
longitud, el rea o volumen de Ji segn la dimensin del intervalo Ji .
6.1. Integrales dobles

Denicin 6.1.1 (Suma de Riemann y funcin integrable) Sea f una funcin
denida y acotada en R = [a, b] [c, d]. Sea P = {Ji } una particin de R. Sean
(xi , yj ) Ji arbitrarios; 1 i n. Se dene la suma de Riemann de f respecto a
P como:
n
f (xi , yj )A(Ji ); donde A(Ji ) denota el rea del rectngulo Ji .
X
Sf (P ) =
j=1
n
Diremos que f es Riemann integrable en R, si lim f (xi , yj )A(Ji ) existe. En
X
kP k0
Z Z j=1
este caso, denotamos este lmite por f (x, y)dA.

R
Para el caso particular que la particin sea equiespaciada en ambas variables , to-
mando m sub-intervalos en [a, b] y n sub-intervalos en [c, d], se puede escribir una
suma de Riemann de f como:
n X
m
ba dc
.
X
f (xi , yj )xi yi ; xi = ; yj =
j=1 i=1
m n
Si la funcin es Riemann integrable, se cumple que

n m
b a d c XX
Z Z
f (x, y)dA = lim f (xi , yj )
R n,m+ m n j=1 i=1
A continuacin veremos dos teoremas fundamentales en el clculo de integrales

dobles, que se pueden generalizar a integrales de mayor dimensin.
74
6.1. INTEGRALES DOBLES
Teorema 6.1.1 Sea R = [a, b] [c, d]. Si f : R R es continua, entonces f es

Riemann integrable en R.
Teorema 6.1.2 (Teorema de Fubinni) SeaZ R = [a, b] [c, d]. Si f : R R es

d
Riemann integrable en R y la funcin x 7 f (x, y)dy existe y es integrable en
c
Z b
[a, b], as como y 7 f (x, y)dx existe y es integrable en [c, d], entonces
Z Z a
Z b Z d Z d Z b
f (x, y)dA = f (x, y)dy dx = f (x, y)dx dy .
R a c c a
Z Z
Ejemplo 6.1.1 Verique el teorema de Fubinni para evaluar x2 ydA; donde
R
R = [1, 2] [0, 1].
6.1.1. Integrales dobles en regiones generales

Una pregunta que surge de lo visto anteriormente, es qu regiones aparte de los
rectngulos, garantizan la existencia de la integral doble de una funcin continua.
Para ello necesitamos las siguientes deniciones.
Denicin 6.1.2 (Conjunto de medida nula) Un conjunto acotado A Rn tie-

ne medida nula, si para todo > 0 existe una coleccin nita de intervalos cerrados
{Ji } de Rn , tal que A Ji y V (Ji ) < .
[ X
i i
Ejemplo de estos conjuntos son las grcas de funciones continuas denidas en

intervalos cerrados de Rn .
Denicin 6.1.3 (Conjunto Jordan medible) Un conjunto D Rn es medible

en el sentido de Jordan o simplemente Jordan medible, si su frontera F r(D) tiene
medida nula.
Es de observar que la unin nita de conjuntos Jordan medibles, tambin es Jor-

dan medible.
A continuacin damos la siguiente denicin y teorema para resolver integrales

en regiones generales.
75
Denicin 6.1.4 (Funcin integrable) Sea f : D Rn R una funcin acota-

da. Sea R un Intervalo
cerrado de R tal que D R.
n
f ; (x, y) D

Sea la funcin fD = .
; (x, y)
0 /D

Diremos que
Z Zf es Zintegrable Zen ZD si Zy slo si fD es integrable en R. En este caso,
denimos ... f dv := ... fD dv .
D R
Teorema 6.1.3 Sea D un conjunto compacto y Jordan medible de Rn .

Sea f : D R continua. Entonces f es integrable en D.
Demostracin: Sea R = nj=1 [aj , bj ] un intervalo de Rn tal que D R.

f ; (x, y) D

Denamos la funcin fD = .
0 ; (x, y)
/D

Mostraremos que para todo > 0, existe una particin P respecto a la cual
S(fD ) I(fD ) < , donde S(fD ) e I(fD ) son la suma superior e inferior de Riemann
de la funcin fD en R, respectivamente.
Por hiptesis F r(D) tiene medida nula. Dado > 0 existe una coleccin nita

de intervalos cerrados {Ji } de Rn , tal que F r(D) Ji y ; donde
[ X
V (Ji ) <
i i
4M
M > 0 es la cota de fD .
Esta coleccin Ji induce una particin P 0 de R con la particularidad que en los

intervalos contenidos en Dc , fD es nula.
Dado que f es continua sobre el compacto D, para > 0 existe un > 0 tal que

si |xj xj | < ; 1 j n, entonces |f (x1 , ..., xn ) f (x1 , ..., yn )| < , para
2V (R)
todo xj , xj [aj , bj ]. V (R) denota el rea o el volumen de R.
Tomemos un renamiento P de P 0 , tal que kP k .
Para la suma superior de Riemann de fD tenemos que:
76
6.1. INTEGRALES DOBLES
fD (xi )V (Ji ); siendo fD (xi ) el valor mximo de fD en el Ji intervalo

X
S(fD ) =
i
de P .
Para la suma inferior de Riemann de fD tenemos que:

fD (xi )V (Ji ); siendo fD (xi ) el valor mnimo de fD en el Ji intervalo
X
I(fD ) =
i
de P .
Con esto sigue que S(fD ) I(fD )= fD (xi ) fD (xi ) V (Ji ).

X
i
De aqu tenemos los siguientes casos dependiendo del intervalo Ji :

Para los intervalos que estn fuera de D, fD (xi ) = fD (xi ) = 0. Sobre estos
intervalos sigue que S(fD ) I(fD ) = 0.
Para los intervalos que se intersecan con F r(D), |fD (x)| < M para todo x que
pertenezca a alguno de estos intervalos. Sobre estos intervalos, se cumple que

V (Ji ) < .
X X
|S(fD ) I(fD )| |fD (xi ) fD (xi )|V (Ji ) < 2M
i i
2
Para los intervalos que se encuentran en el int(D), dado que kP k , sigue

que |S(fD ) I(fD )| |fD (xi ) fD (xi )|V (Ji ) < .
X
i
2
La suma de estas tres sumas disjuntas completa la demostracin.

Corolario 6.1.1 (Regiones Integrables en R2 ) Sean h, g : [a, b] R dos fun-

ciones continuas, tales que h g para todo x [a, b]. La regin D R2 limitada
por las grcas de h y g , entre las rectas x = a y x = b es Jordan medible. Estas re-
giones se las denomina tipo I. Similarmente, las regiones tipo II, respecto al dominio
y [c, d], son integrables en R2 .
Por lo expuesto, si "f es continua en #D, para las regiones tipo I podemos escribir:
Z Z Z b Z g(x) Z b Z g(x)
f (x, y)dA = f (x, y)dy dx = dx f (x, y)dy ;
D a h(x) a h(x)
y para las regiones "tipo II podemos# escribir:

Z Z Z d Z g(y) Z d Z g(y)
f (x, y)dA = f (x, y)dx dy = dy f (x, y)dx.
D c h(y) c h(y)
77
Regin Tipo I Regin Tipo II
Teorema 6.1.4 (Propiedades de las Integrales Dobles) Sean f y g dos fun-

ciones integrables en la regin D. Entonces:
Z Z Z Z Z Z
i. f + g es integrable en D y (f + g)dA = f dA + gdA.
D D D
Z Z Z Z
ii . f es integrable en D y f dA = f dA; para todo R.
D D
Z Z Z Z
iii . Si f g en D, entonces f dA gdA.
D D
Z Z Z Z
iv. |f | es integrable en D y |f |dA.

f dA

D D
v . Si D = D1 D2 ... DN tal que, int(Di ) int(Dj ) = ; para i 6= j , entonces

Z Z N Z Z
f dA.
X
f dA =
D i=1 Di
Z Z
Ejemplo 6.1.2 Sea f continua. Colocar los lmites de f dA, si:
D

a. D = {(x, y) R2 / 1 x2 y 1 x2 }, en el orden:
dydx dxdy
b. D = {(x, y) R2 /x + 2y 4; x, y 0} en ambos rdenes respectivamente.
Ejemplo 6.1.3 Cambiar el orden de integracin de:

Z 4 Z 12x
a. f (x, y)dydx.
0 3x2
Z a Z 2ayy2
b. f (x, y)dxdy .
a/2 0
78
6.2. INTEGRALES TRIPLES
6.1.2. Aplicaciones

y = x 2 + z 2

Calcular el volumen del slido comprendido entre las supercies
y = 1 z 2

ubicado en el I Octante.
Calcular la carga elctrica de una lmina metlica plana con forma dada por
D = {(x, y) R2 /0 y x; 0 x 3}, si la densidad de carga en cada
punto es directamente proporcional al cuadrado de la distancia del punto al
origen de coordenadas.
6.2. Integrales triples

En esta seccin aplicaremos los mismo conceptos y propiedades al caso de una
funcin de tres variables que se requiere integrar sobre una regin cerrada, acotada y
Jordan-Medible de R3 . En este caso, utilizaremos regiones Q R3 cerradas y acota-
das, cuya frontera est formada por grcas de funciones escalares de dos variables,
continuas en un dominio D R2 Tipo I o Tipo II.
As mismo, toda funcin f : Q R que sea continua en la regin Q, es integrable.
Los lmites de integracin," en caso que la primera

# variable a integrar sea z , son:
Z Z Z Z Z Z g2 (x,y)
f (x, y, z)dv = f (x, y, z)dz dA
Q D g1 (x,y)
siendo g1 y g2 la funcin de supercie que corresponde al lmite inferior e superior

de Q, respectivamente.
Al resolver la integral respecto a z se obtiene una funcin en trmino de las otras

dos variables, la cual se integra sobre D tal como se estudi en la seccin precedente.
En la prctica, D es la proyeccin comn de las grcas de g1 y g2 , que en este caso,
se la realiza sobre el plano XY .
79
Una interpretacin fsica de la integral triple es la masa (o carga) de un slido Q

con funcin de densidad de masa (o carga) dada por f .
Para el caso particular que la densidad seaZ homognea

Z Z igual a 1 por simplicidad,
se tiene que el volumen de Q est dado por: dv .
Q
Ejemplo 6.2.1 Calcular la masa de una caja rectangular con dimensiones en su

base de 3 y 2 unidades, altura 5 unidades, si la densidad en cada punto es propor-
cional a la distancia del punto a su base. Verique el Teorema de Fubinni utilizando
z y x como primera variable a integrar, respectivamente.
Ejemplo 6.2.2 Calcular el volumen del slido comprendido entre las supercies
y = x2 + z 2 ; y = 1 z 2 , ubicado en el I Octante.
Z Z Z
Ejemplo 6.2.3 Escogiendo un orden adecuado, evale x2 dv , donde Q es el
Q
x2 y 2 z 2
elipsoide + 2 + 2 = 1.
a2 b c
Sugerencia: Fije una de las variables como constante y resuelva primero la inte-
gral doble correspondiente. Finalmente, resuelva la integral en la variable que j al
inicio.
6.3. Cambio de variable en integrales mltiples

Teorema 6.3.1 Sean D y D dos regiones de integracin en Rn tal que T : D D
es una aplicacin biyectiva y de clase C 1 . Sea T 0 la Jacobiana de T , invertible en
int(D ). Si f es continua en D, entonces
Z Z Z Z
... f dx1 ...dxn = ... (fo T ) | det(T 0 ) | dx1 ...dxn
D D
Obs 1. A det(T 0 ) se lo denomina el Jacobiano de la transformacin y suele deno-

(x1 , ..., xn )
tarse tambin como .
(x1 , ..., xn )
Obs 2. Bajo las hiptesis del teorema precedente, en el caso que sea conocida la
1
transformacin T 1 : D D , det(T 0 ) = .
det(T 1 )0
80
6.4. VALOR PROMEDIO DE FUNCIONES DE VARIAS VARIABLES
Ejemplo 6.3.1 Calcular los Jacobianos de las siguientes transformaciones.
Para pasar de coordenadas rectangulares a polares.
Para pasar de coordenadas rectangulares a cilndricas.
Para pasar de coordenadas rectangulares a esfricas.
Ejemplo 6.3.2 Empleando un cambio de variable adecuado, calcular el volumen del

n o
slido Q = (x, y, z) R3 /0 z x2 + y 2 ; x2 + y 2 1 .
p
Ejemplo 6.3.3 Determine una expresin para calcular el volumen de un casquete

esfrico de radio a unidades, en funcin de la altura del casquete H ; 0 H a.
Ejemplo 6.3.4 Empleando un cambio de variable adecuado, calcular el volumen

del slido Q limitado por la parte superior de las supercies x2 + y 2 + z 2 = 4;
x2 + y 2 z 2 = 0. Utilice de ser posible dos cambios de variable diferentes.
Ejemplo 6.3.5 Empleando integrales dobles y un cambio de variable adecuado,

muestre que el rea de una elipse es veces el producto de las longitudes de los
semiejes.
Ejemplo 6.3.6 Sea R el cuadriltero de vrtices (0,Z1)Z; (1, 2); (2, 1); (1, 0).
Empleando un cambio de variable adecuado, evale (x + y)2 sen2 (x y)dA.
R
Z Z
Ejemplo 6.3.7 Sea la integral f (x, y)dA, donde R es la regin limitada por
R
las curvas xy = 1, xy = 2, y = x, y = 2x. Exprese la integral en funcin de un
nuevo conjunto adecuado de variables.
6.4. Valor promedio de funciones de varias variables

Teorema 6.4.1 (Teorema del Valor Medio para integrales mltiples) Sea D
un conjunto compacto, Jordan-medible y conexo de RnZ. Sea Zf : D R continua.
Entonces existe un punto x0 D tal que f (x0 )V (D) = ... f dv .
D
81
Obs. 1 V (D) se entiende como longitud, rea o volumen de D segn sea la di-
mensin de la integral.
Obs. 2 El valor f (x0 ) que satisface el teorema se lo denomina valor promedio de

f en D.
Ejemplo 6.4.1 Considere una lmina con forma de cuarto de corona circular, li-
mitada por circunferencias de radios a < b, respectivamente. Si la densidad de cada
punto es directamente proporcional al logaritmo natural del cuadrado de la distancia
al centro de la lmina, determine la densidad promedio.
Ejemplo 6.4.2 Calcule el valor promedio de la funcin f (x, y, z) = 1 y2 en el

conjunto limitado por los planos coordenados y los planos x + z = 1; y + z = 1.
82
Captulo 7
Integrales de supercie
Denicin 7.0.1 (Supercies Paramtricas) Una supercie S R3 se dice pa-

ramtrica si existe una funcin continua r : R2 R3 tal que es conexo y S
es la imagen de r.
Denicin 7.0.2 (Supercie suave y simple) Se dice que una supercie S es

suave si admite una parametrizacin r de clase C 1 en y el vector ru rv 6= 0 en
int(). Si adems r es inyectiva en int(), diremos que S es simple. En este caso,
el vector ru rv (u0 , v0 ) es el vector normal a S en el punto (u0 , v0 ).
Recordemos que en coordenadas rectangulares, para una supercie

suave dada
f f
por z = f (x, y), el vector normal est dado por , , 1 .
x y
Ejemplo 7.0.1 Las siguientes Supercies Paramtricas son Clsicas:
El cilindro (x h)2 + (z k)2 = a2 admite una parametrizacin suave dada

por r(u, v) = (acos(u) + h, v, asen(u) + k); 0 u 2; v R.
La esfera (x h)2 + (y k)2 + (z l)2 = a2 admite una parametrizacin suave

dada por r(u, v) = (asen(u)cos(v) + h, asen(u)sen(v) + k, acos(u) + l);
0 u ; 0 v 2 .
El cono (x h)2 + (y k)2 + (z l)2 = 0 admite una parametrizacin dada

por r(u, v) = (ucos(v) + h, usen(v) + k, u + l); u R; 0 v 2 , la cual es
suave para u 6= 0.
83
CAPTULO 7. INTEGRALES DE SUPERFICIE
El toro tiene una parametrizacin suave dada por

r(u, v) = (cos(v)(R + acos(u)), sen(v)(R + acos(u)), asen(u)); u, v [0, 2] ;
0 < a < R.
7.1. Area de una Supercie

Denicin 7.1.1 Sea S una supercie suave dada por z = f (x, y), con regin de
proyeccin Jordan-medible R XY . El rea de S denotada por As , est dada por:
s 2 2
Z Z Z Z
f f
As = dS = 1+ + dA
S R x y
Z Z
Si S est dada en forma paramtrica, As = k ru rv k dA.

Ejemplo 7.1.1 Calcular el rea de una supercie esfrica de radio a. Utilice ambas
deniciones y compare los procedimientos utilizados.
Ejemplo 7.1.2 Calcular el rea de la supercie z = 4 x2 y2 que se encuentra

en el interior del cilindro x2 + y 2 = 1
Ejemplo 7.1.3 Calcular el rea de la supercie del toro

r(u, v) = (cos(v)(R + acos(u)), sen(v)(R + acos(u)), asen(u)); u, v [0, 2].
7.2. Integral de Supercie Escalar

proyeccin Jordan-medible R XY . Sea g una funcin escalar y continua en S . Se
dene la integral de supercie escalar de g en S como:
s 2 2
Z Z Z Z
f f
g(x, y, z)ds = g(x, y, f (x, y)) 1 + + dA
S R x y
Z Z Z Z
Si S est parametrizada, g(x, y, z)ds = (go r)(u, v) k ru rv k dA.
S
84
7.3. INTEGRAL DE SUPERFICIE VECTORIAL
Z Z
Ejemplo 7.2.1 Evaluar (x + z)dS si S es la porcin del cilindro y 2 + z 2 = 9
S
ubicado en el I Octante, entre los planos x = 0 y x = 1.Utilice ambas deniciones y
compare los procedimientos utilizados.
Ejemplo 7.2.2 Calcular la carga elctrica del triangulo delimitado por los planos
coordenados y el plano 2x + y + 2z = 6, si la densidad en cada punto est dada por
(x, y, z) = y 2 + 2xz .
7.3. Integral de Supercie Vectorial

proyeccin Jordan-medible R XY . Sea F un campo vectorial continuo en S . Si S
est orientada con vector normal unitario N , se dene el ujo de F a travs de S
como:
Z Z Z Z
f f
F N dS = (x, y, f (x, y)) , , 1 dA
S R x y
Z Z Z Z
Si S est parametrizada, F N dS = (Fo r) (ru rv )dA
S
Ejemplo 7.3.1 Calcular el ujo del campo vectorial F (x, y, z) = xi + yj + z k, a

travs de la supercie esfrica x2 + y 2 + z 2 = a2 ; orientado hacia afuera de la
supercie. Utilice ambas deniciones y compare los procedimientos utilizados.
Ejemplo 7.3.2 Dado el campo vectorial

G(x, y, z) = (x2 + 5y)i + (2x + 3y + z)j + (y 2 + z 2 x2 )k, calcule el ujo orientado
hacia arriba de G, a travs de:
a. La porcin del cilindro y 2 + z 2 = 9 ubicado en el I Octante, entre los planos x = 0

y x = 1.
b. El casquete de la supercie x2 + y 2 + z 2 4z + 2 = 0, ubicado debajo de su centro

y limitado por el cono z 2 = x2 + y 2 .
Z Z
Ejemplo 7.3.3 Evalular F N dS , si F (x, y, z) = (x2 + 1)i 2yz j + (3 z)k
S
y S es el cubo Q = [0, 2] [0, 2] [0, 2] con vector normal unitario orientado hacia
afuera.
85
CAPTULO 7. INTEGRALES DE SUPERFICIE
Solucin:
En este ejemplo aplicaremos la denicin de supercie suave a trozos o por seccio-

nes, es decir, que si bien la supercie del cubo no es suave en las aristas, se comporta
de manera suave en el interior de las caras.
Notemos que esto conlleva a que los vectores normales de cada cara cambian
y por tanto se deben calcular seis integrales de ujo. Por condicin del problema,
debemos plantear cada integral de ujo respetando la orientacin requerida, esto es,
cada vector normal debe apuntar hacia el exterior del cubo.
Finalmente, el ujo es una magnitud escalar al igual que el trabajo, por lo que
el ujo total ser la suma de las seis integrales de ujo, respectivamente.
86
Captulo 8
Teoremas de la Teora Vectorial
En este captulo estudiaremos los Teoremas de Green, de Stockes y de Gauss. To-

dos ellos, bajo ciertas condiciones, permiten calcular integrales de lnea vectorial o de
supercie vectorial. En algunos casos esto puede representar una forma ms sencilla
de clculo respecto a las deniciones de estas integrales anteriormente estudiadas.
8.1. Teorema de Green

Denicin 8.1.1 (Regin plana simplemente conexa) Sea R una regin pla-
na. Se dice que R es simplemente conexa si y slo si es conexa por caminos y toda
curva cerrada simple contenida en R puede contraerse continuamente en un punto
de R. En trminos prcticos, esto signica que la regin debe ser conexa por caminos
y no poseer agujeros.
Las siguiente gura de la izquierda es simplemente conexa pero la de la derecha

no lo es.
87
CAPTULO 8. TEOREMAS DE LA TEORA VECTORIAL
Teorema 8.1.1 Sea C una curva cerrada, simple y suave a trozos, orientada en
sentido positivo, que limita una regin plana R simplemente conexa. Si M y N son
funciones de clase C 1 en alguna regin abierta que contiene a R, entonces:
Z Z Z
N M
M dx + N dy = dA
C R x y
Z
Ejemplo 8.1.1 Empleando el teorema de Green, evale y 3 dx + (x3 + 3xy 2 )dy
C
donde C va de (0, 0) a (1, 1) por un camino recto y desde este punto regresa al
origen por el camino y = x3 .
Ejemplo 8.1.2 El campo F (x, y) = yi + (3x 2y2 )j acta sobre una partcula
que se mueve sobre la semicircunferencia superior de (x 1)2 + y 2 = 1 orientada
positivamente, y luego va desde (0, 0) hasta (2, 0) por un tramo recto. Calcule el
trabajo realizado por F .
y
Z
x
Ejemplo 8.1.3 Evale F dr si F (x, y) = i+ 2 j; (x, y) 6= (0, 0) y
C x2
+y 2 x + y2
C es la circunferencia unitaria orientada positivamente.
8.1.1. Teorema de Green en Regiones Mltiples Conexas

x2 y2
Ejemplo 8.1.4 Sea R la regin interna a la elipse + = 1 y externa a la
Z 9 4
circunferencia x2 + y 2 = 1. Calcular 2xydx + (x2 + 2x)dy , si C es el contorno de
C
R orientado positivamente.
8.1.2. Teorema de la Integral de lnea para el rea de una

regin plana
Si R es una regin acotada que satisface las hiptesis del Teorema de Green y C
es el contorno de R, entonces el rea de R denotada por AR est dada por:
Z
1
AR = xdy ydx
2 C
x2 y 2
Ejemplo 8.1.5 Hallar el rea interna a la elipse + 2 = 1.
a2 b
Ejemplo 8.1.6 Hallar el rea interna a la astroide: x2/3 + y2/3 = a2/3 .
88
8.2. TEROREMA DE STOCKES
8.2. Terorema de Stockes

Sea S una supercie orientada con vector normal unitario N , acotada por una
curva cerrada simple C suave a trozos. Si F es un campo vectorial de clase C 1 en
una regin abierta que contiene a S , entonces:
Z Z Z
F dr = (rotF ) N ds;
C S
donde N tiene la orientacin dada por C de acuerdo a la regla de la mano derecha.
Ejemplo 8.2.1 Sea C el contorno del tringulo orientado positivamente, limitado

por el plano 2x+2y +z = 10 y los planos coordenados. Calcular el trabajo que realiza
el campo F (x, y, z) = y 2 i + z j + xk, al mover un objeto a lo largo de C .
Ejemplo 8.2.2 Sea C la traza del paraboloide z = 4 x2 y2 con

Z el plano z = 1,
orientado positivamente. Sea F (x, y, z) = 2z i + xj + y 2 k. Evale F dr.
C
Z
Ejemplo 8.2.3 Evale y 3 dx + x3 dy z 3 dz donde C es la interseccin de las
C
supercies x2 + y 2 = 1; x + y + z = 4.
8.3. Teorema de Gauss

Sea Q un slido acotado por una supercie cerrada S suave por secciones, tal
que S est orientada por vectores normales unitarios N , dirigidos hacia el exterior
de Q. Si F es un campo vectorial de clase C 1 en alguna regin abierta que contiene
a Q, entonces:
Z Z Z Z Z
F N dS = (divF )dv
S
Ejemplo 8.3.1 Sea el campo vectorial F (x, y, z) = (x2 + 1)i 2yz j + (3 z)k.
Calcular el ujo de F a travs de la supercie del cubo Q = [0, 2] [0, 2] [0, 2],
orientada con vector normal unitario orientado hacia afuera de Q.
Ejemplo
Z Z 8.3.2 Sea F (x, y, z) = (x y)i + 2yj + 3z 2 k; (x, y, z) R3 . Calcular
F N dS si S es la supercie del cilindro x2 + y 2 = 4, acotada por x + z = 6 y
S
z = 0.
89
CAPTULO 8. TEOREMAS DE LA TEORA VECTORIAL
Ejemplo 8.3.3 Dado el campo vectorial

G(x, y, z) = (x2 + 5y)i + (2x + 3y + z)j + (y 2 + z 2 x2 )k, calcule el ujo orientado
hacia arriba de rotG a travs de la porcin de la supercie x2 + y 2 + z 2 4z + 2 = 0
ubicada debajo de su centro y limitada por el cono z 2 = x2 + y 2 (casquete esfrico).
90
ndice de Smbolos
R Conjunto de los Nmeros Reales
N Conjunto de los Nmeros Naturales
Cardinalidad de N
kvk Norma euclidiana del vector v
kvk Norma del mximo del vector v
kvk1 Norma del taxista del vector v
91
Bibliografa
[1] Pita, C. Clculo Vectorial. Mxico. Editorial Prentice-Hall. 1995. 1077p.
[2] Stewart, J. Clculo de Varias Variables. Mxico. CENGAGE Learning, 6ta edi-
cin. 2011. 1138p.
[3] Dennis G. Zill; Warren S. Wright. Clculo de Varias Variables. McGrawHill.
[4] W. Rudin. Principios de Anlisis Matemtico. McGraw Hill. Mxico. 1977. 278
p.
[5] M. Spivak. Clculo Innitesimal. Revert S.A. Espaa. 2010. 926 p.
[6] Apuntes de Magster de Matemtica. Universidad de Concepcin. Chile. 2013.
[7] Apuntes de Clculo II. Universidad de Concepcin. Chile. 2014.
93

127 MaterialCursoVarias

Загружено:

Сведения о документе

Оригинальное название

Авторское право

Доступные форматы

Поделиться этим документом

Поделиться или встроить документ

Параметры публикации

Этот документ был вам полезен?

Это неприемлемый материал?

Авторское право:

Доступные форматы

127 MaterialCursoVarias

Загружено:

Авторское право:

Доступные форматы

ESCUELA SUPERIOR POLITCNICA DEL

Apuntes de Clases de Clculo de Varias Variables

Curso dirigido a estudiantes de ingenieras

Prof. Soveny Soraya Sols Garca

Estudiante Darla Burgos

2. Diferenciacin de Funciones de Varias Variables 23

2.3.1. Regla de la Cadena Generalizada . . . . . . . . . . . . . . . . 35

3. Optimizacin de funciones escalares de varias variables 49

8. Teoremas de la Teora Vectorial 87

Respecto a la notacin, se usar una letra mayscula seguida de las coordenadas,

1.2. El sistema rectangular espacial

denomina origen de coordenadas O. La convencin es gracarlos de tal forma que el

En general, un punto P de coordenadas (x, y, z) es un punto que se graca

La coordenada x indica un plano paralelo al plano Y Z .

La coordenada y indica un plano paralelo al plano XZ .

La coordenada z indica un plano paralelo al plano XY .

Ejemplo 1.2.1 Graque las siguientes regiones rectangulares del espacio:

b. S = [0, 1] [0, 1] [0, 1] (cubo unitario)

1.3. La recta en el espacio

L = {P (x, y, z)/(x x0 , y y0 , z z0 ) = t(a, b, c); t R}

De esta denicin se deduce las ecuaciones paramtricas de L:

Con estas ecuaciones podemos obtener un punto de la recta dando a t un valor

Ejemplo 1.3.1 Determine las ecuaciones paramtricas de la recta que contiene el

De lo expuesto, para rectas paralelas a los ejes coordenados, es suciente consi-

De estos ejemplos se concluye que las ecuaciones paramtricas son aplicables a

Ejemplo 1.3.2 Escriba las ecuaciones paramtricas y simtricas de la recta que

1.3.1. Tipos de Rectas

Paralelas, si y slo si sus vectores directores son paralelos. A su vez, podemos

Perpendiculares, si y slo si sus vectores directores son perpendiculares.

Secantes, si y slo si tienen un punto en comn.

Alabeadas, si y slo si no son paralelas ni secantes.

Para la condicin de secantes, es necesario resolver un sistema de ecuaciones que

Para la condicin de alabeadas, es necesario comprobar que no son paralelas y

= {P (x, y, z)/(x x0 , y y0 , z z0 ) (a, b, c) = 0}

De aqu se deduce que P si y slo si a(x x0 ) + b(y y0 ) + c(z z0 ) = 0,

ax + by + cz + d = 0; donde la constante d se determina con P0 .

Notar que el trmino d = 0 si y slo si el plano contiene al origen de coordenadas.

a. P1 (3, 1, 4) y P2 (0, 2, 1).

1.4.1. Tipos de planos

Perpendiculares, si y slo si sus vectores normales son perpendiculares.

Secantes, si y slo si tienen una recta en comn.

Para la condicin de secantes, es necesario vericar que no son paralelos y la rec-

Otra forma de determinar el vector director de la recta comn es con el produc-

Ejemplo 1.4.2 Dados los planos 1 : 2x y + 3z = 2; 2 : x y z = 0, determine

La utilidad de esta informacin radica en que podemos gracar rpidamente el

Ejemplo 1.4.3 Dado el plano 2x + 4y + 6z 12 = 0, identique interceptos con

1.4.3. Condiciones sucientes para denir un plano

ii . Dados tres puntos no colineales del plano.

iii . Dadas dos rectas secantes contenidas en el plano.

iv . Dadas dos rectas paralelas no coincidentes y contenidas en el plano.

1.5. Distancias con puntos, rectas y planos

Algunas aplicaciones de este teorema son:

Distancia entre una recta paralela a un plano. Si la recta es secante al plano,

Ejemplo 1.5.1 Determine de ser posible, la distancia entre los planos

Teorema 1.5.2 (Distancia de un punto a una recta en el espacio) Sea L una

recta que contiene el punto (2, 1, 4) y es paralela a L.

Teorema 1.5.3 Sean L1 y L2 dos rectas alabeadas de R3 con vectores directores d1

Obs. Si dos rectas son secantes, la distancia entre ellas es 0.

Las supercies cuadrticas.

Las supercies cilndricas.

Las supercies de revolucin.

1.6.1. Supercies cuadrticas

Mediante un proceso de rotacin de ejes principales, conocido del lgebra lineal,

denomina origen de coordenadas O. La convencin es gracarlos de tal forma que el

En general, un punto P de coordenadas (x, y, z) es un punto que se graca

Ejemplo 1.2.1 Graque las siguientes regiones rectangulares del espacio:

De esta denicin se deduce las ecuaciones paramtricas de L:

De lo expuesto, para rectas paralelas a los ejes coordenados, es suciente consi-

Para la condicin de secantes, es necesario vericar que no son paralelos y la rec-

La utilidad de esta informacin radica en que podemos gracar rpidamente el

Ejemplo 1.4.3 Dado el plano 2x + 4y + 6z 12 = 0, identique interceptos con

1.4.3. Condiciones sucientes para denir un plano

Las supercies cuadrticas.

Las supercies cilndricas.

Las supercies de revolucin.

1.6.1. Supercies cuadrticas

La importancia de reconocer estas supercies, as como las regiones slidas que

Ejemplo 1.6.2 Represente los siguientes conjuntos en forma grca:

1.6.2. Supercies Cilndricas

Ejemplo 1.6.3 Graque los siguientes cilindros.

Ejemplo 1.6.4 Graque el slido Q = {(x, y, z) R3 /0 z 2 x; x2 + y2 1}

1.6.3. Supercies de revolucin

Ejemplo 1.6.5 Escriba la ecuacin de las siguientes supercies de revolucin.

Ejemplo 1.7.1 Exprese en coordenadas cilndricas las siguientes supercies.

Ejemplo 1.7.2 Graque las siguientes supercies dadas en coordenadas cilndricas.

Ejemplo 1.7.3 Graque los siguientes conjuntos dados en el sistema cilndrico.

A n de que exista una biyeccin entre los dos sistemas, se dene:

Ejemplo 1.7.4 Gracar las siguientes regiones en coordenadas esfricas.

Ejemplo 2.1.1 Graque las siguientes bolas:

Denicin 2.1.2 (Punto interior, exterior y de frontera) Sea A Rn y sea

Denicin 2.1.3 (Punto de adherencia y de acumulacin) Sea A Rn y sea

Denicin 2.1.4 (Interior, Frontera y Adherencia) Sea A Rn y sea x

Denicin 2.1.5 (Conjuntos abiertos y cerrados) Sea A Rn . Se dice que:

Ejemplo 2.2.1 Identique dominio y rango de las siguientes funciones: