2015

APUNTES DE

CLCULO
(en varias variables)

xxy

f (a)

||y|||sen f |

ML

f (a+hv)

mL

x
v
z

z=q(x,y)

a+hv
x

f(x,y)

d (x)

z=p(x,y)

y
a
b

y=c(x)
x

S
c (x)

y=d(x)

x
b

Pepe Aranda
http://jacobi.fis.ucm.es/pparanda

Departamento de Mtodos Matemticos

Facultad de Fsicas. UCM
https://www.ucm.es/ft2mm

2
y

Clculo (2014-2015). Grupo C

ndice
Bibliografa
Sobre estos apuntes

1. Conceptos bsicos
1.1 El espacio Rn . Rectas y planos. Abiertos y cerrados.
1.2 Grficas de funciones escalares
1.4 Lmites y continuidad en Rn

1
4
7

2. Clculo diferencial en Rn
2.1
2.2
2.3
2.4

Derivadas de campos escalares

Campos vectoriales. Regla de la cadena
Extremos de funciones escalares
Funciones implcitas e inversas

9
14
19
23

3. Integrales mltiples
3.1 Integrales dobles
3.2 Integrales triples

25
30

4. Integrales de lnea
4.1 Integrales de campos escalares a lo largo de curvas
4.2 Integrales de lnea de campos vectoriales
4.3 Integrales de gradientes y teorema de Green

33
35
37

5. Integrales de superficie
5.1 Definiciones y clculo
5.2 Teoremas de la divergencia y Stokes
Problemas

41
44
I-IX

Bibliografa
[MT] J. E. Marsden y A. J. Tromba. Clculo Vectorial. Ed. Addison-Wesley
[R] J. Rogawski. Clculo Varias Variables. Ed. Reverte
[St] S. Stein. Clculo y geometra analtica. Ed. McGraw-Hill
[LHE] Larson-Hostetler-Edwards. Clculo II (7a ed). Ed. Pirmide, 2003.
[A] T. Apostol. Calculus. Ed. Revert
En todas las asignaturas que imparto suelo elaborar apuntes. Esto tiene la ventaja de precisar qu se va a
explicar durante el curso. Adems permite al estudiante no estar todo el rato pendiente de copiar lo que
se escribe en la pizarra y permite al profesor remitirse a ellos cuando no hay tiempo (ni se cree adecuado)
entrar en detalles de demostraciones. Pero tiene sus desventajas. La existencia de apuntes incita a no
utilizar casi otros libros, que tratan los diferentes temas con ms extensin y rigor, o con ms ejemplos,
o ms aplicaciones. Tampoco se ven otras notaciones distintas que pueden sorprender en otros cursos.
Recomiendo, pues, consultar varios libros. Esta asignatura (a diferencia de otras para las que he escrito
apuntes) s tiene un gran texto al que remitirse y del que he extraido buena parte de varios temas: el
Marsden-Tromba. Un libro serio, pero tambin con muchos ejemplos y aplicaciones. Algunos quizs
prefieran libros algo ms elementales, como los tres siguientes [R], [St] o [LHE]. Me gustan en ese orden,
pero el [R] no est en la biblioteca de Fsicas de la UCM (aunque es fcil de encontrar en libreras). Del
[St] hay un par de ejemplares (pero ya est descatalogado). Del [LHE] hay bastantes en la biblioteca
(aunque las edciones posteriores a la venta cada vez tienen ms colores y lo que me parece ms paja).
Y no puede faltar en una bibliografa de esta asigntura un clsico como el [A].

Sobre el contenido de estos apuntes

Los apuntes tienen dos grandes bloques de tamao similar: el clculo diferencial en Rn , formado por el
captulo 1 y el extenso 2 (los preguntados en el parcial), y el clculo integral en Rn de los 3, 4 y 5.
En concreto, en el 1 se introducen los conceptos bsicos (vectores y sus operaciones), se repasan las
rectas y planos, se presentan las grficas de funciones de dos variables y se estudia la continuidad.
En la seccin 2.1 se presentan las derivadas de los campos escalares, la diferencial y Taylor de orden 2.
En 2.2 se introducen ya las funciones y campos vectoriales (y sus operadores) y la regla de la cadena. Se
aplaza a 2.3 el estudio de extremos (y de los multiplicadores de Lagrange). Y se acaba el captulo en 2.4
con los ms sutiles teormas de la funcin inversa e implcita.
La seccin 3.1 estudian las integrales dobles y sus cambios de variable. En 3.2 se ven las triples y se
introducen las coordenadas cilndricas y esfricas.
4.1 trata las integrales de lnea de campos escalares y 4.2 las de campos vectoriales. En 4.3 se estudian
ya los campos conservativos y el teorema de Green (que en otros textos se ven junto con Stokes).
El ltimo captulo (el 5) se dedica a las integrales de superficie (de campos escalares y vectoriales) y se
acaban los apuntes con los teoremas de Gauss y de Stokes.
Las aproximadamente 60 horas reales de clase de un curso las distribuyo ms o menos as entre los 5
captulos: 10 para el 1, 20 para el 2, 9 para el 3, 12 para el 4 y 9 para el 5.
La base necesaria para seguir estos apuntes es simplemente dominar un buen Clculo en una variable:
tener claro los conceptos de lmite, continuidad, derivada e integral, manejar bien los mximos y mnimos,
conocer los desarrollos de Taylor, saber calcular primitivas no muy complicadas (las trigonomtricas en
particular), dominar las coordenadas polares... No se suponen conocimientos algebraicos, que se estudian
en el grado en Fsica de la UCM al tiempo que esta asignatura (segundo cuatrimestre de 1 ), aunque se
citen en letra pequea trminos como base o aplicacn lineal que luego se irn dominando en lgebra.
Casi todos los ejemplos son en R2 y R3 (principalmente en R2 : el salto conceptual se da al pasar de 1 a
2, ms variables plantean sobre todo complicaciones tcnicas). Ms de una vez aparecen grficas hechas
con el programa Maple (con licencia universal en la UCM) para incitar a los estudiantes a su uso. Los
dibujos los hago con el programa libre Inkscape. Las fuentes del texto (ms slidas que las habituales de
LATEX) aparecen utilizando el paquete {mathptmx}.

Sobre las versiones de los apuntes

versin 2015: Es la primera vez que imparto completa la asignatura Clculo del grado en Fsica, y, por
lo tanto, esta es la primera versin de estos APUNTES DE CLCULO (en varias variables).
Tena apuntes manuscritos de gran parte de ella (de clases del viejo Anlisis I de los aos 80 cuyo segundo
parcial era de clculo en varias variables, pero, al existir Anlisis II, los extremos, las inversas e implcitas,
las integrales de superficie... se explicaban en esa asignatura). En 2011 di dos meses de Clculo en un
curso compartido (temas 3 y 4) y elabor los primeros apuntes para ello. Una versin resumida de gran
parte del curso la escrib en 2012 para los Mtodos Matemticos de la Ingeniera de Materiales.
A lo largo de este curso he debido extender bastante los apuntes de 1, 2.1 y 2.2 de los ingenieros, escribir
a ordenador del todo las secciones 2.3 y 2.4, retocar los captulos 3 y 4 y expandir el captulo 5. E inventar
bastantes nuevos problemas (y transcribir otros de los hechos con mquina de escribir).
2012. Primera versin de las Notas de Mtodos Matemticos (ingeniera de materiales), asignatura
(en su mayor parte de ecuaciones diferenciales) que comienza con 2 captulos (slo 5 semanas) de Clculo
en varias variables. Su captulo 2 (clculo integral en Rn ) incluy resumidos los apuntes de Integrales
mltiples y de Integrales de lnea elaborados para Clculo en el 2011. Escrib por primera vez en el
ordenador su captulo 1 de clculo diferencial en Rn y su seccin 2.3 de integrales de superficie.
2011. Primera versin a LaTeX de los temas 3 y 4 transcribiendo los apuntes a mano.
aos 80 (del siglo XX). Empec a dar clases en el curso 1978-79 (de Anlisis I). Un par de aos despus
comenzara a pasar a mis estudiantes mis apuntes hechos a mano. Los que tengo en papel y escaneados
deben ser del 85-86. Pas la parte de clculo en una variable hace ya muchos aos a ordenador (primero
a Word y luego a LaTeX). Pero la de varias variables estuvo mucho tiempo en el archivador.

[Estos apuntes pueden ser utilizados y citados por cualquiera

sin ningn problema, siempre que no haga negocio con ellos].

1. Conceptos bsicos
1.1 El espacio Rn . Rectas y planos. Abiertos y cerrados.
El conjunto Rn se define como Rn x = (x1 , . . . , xn ) : xk 2 R

Otras notaciones para los elementos de Rn son x o ~x .

.
punto (x,y,z)
vector x

A cada elemento de Rn le llamaremos indistintamente punto o vector de Rn .

Casi todos nuestros ejemplos sern en R2 o R3 donde llamaremos x = (x, y) o
x=(x, y, z) . Un x2 R2 se puede ver como el punto de coordenadas
cartesianas

(x, y) o como el vector que une el origen (0, 0) con (x, y) anlogo en R3 . R
es caso particular de Rn y a los nmeros reales se les llama a veces escalares.

z
y
x

La suma de vectores x e y se define: x+y = (x1 , . . . , xn )+(y1 , . . . , yn ) = (x1 +y1 , . . . , xn +yn ) ,

y tiene las mismas propiedades que la suma de nmeros reales: es conmutativa, asociativa, existe
el elemento 0 = (0, . . . , 0) con x + 0 = x y el opuesto x = ( x1 , . . . , xn ) con x +( x) = 0 .
La diferencia de vectores se define entonces como x y = x +( y) = (x1 y1 , . . . , xn yn ) .
El producto de un escalar k 2 R por un vector x es el vector k x = (kx1 , . . . , kxn ) , con las
propiedades: k(mx) = (km)x , (k+m)x = kx+mx , k(x+y) = kx+ky , 1x = x , 0 x = k 0 = 0 .
En R2 y R3 estas dos definiciones tienen claro significado geomtrico. Suma
es vector diagonal del paralelogramo de lados x e y . O lo que es lo mismo, es
el vector cuya punta es el punto en el que acaba x si llevamos paralelamente
su base al extremo de y . La diferencia la da la otra diagonal. kx es otro vector
que tiene la misma direccin que x y que tiene mismo o distinto sentido que
l. Su longitud, adems, se ve modificada por el factor |x| .

x+y
y

xy

2x

xy
x
x/2

Todas las propiedades anteriores eran inmediatas de demostrar a partir de las propiedades de R .
Un conjunto en el que haya dos operaciones con esas propiedades se llama espacio vectorial
(estos conjuntos se tratan extensamente en el lgebra).
Son importantes los vectores de Rn : e1 =(1, 0, . . . , 0) , . . . , en =(0, 0, . . . ,1) , pues todo vector se
puede escribir como una suma de escalares por esos vectores: x=(x1 , . . . , xn )=x1 e1 + +xn en .

En idioma algebraico: e1 , . . . , en es la base cannica del espacio vectorial de dimensin

n (nmero de elementos de la base) y todo vector se puede
escribir como combinacin lineal

(suma de escalares por vectores) de esos n elementos .

y
z

En R2 se suele escribir e1 = i = (1, 0) y e2 = j = (0 , 1) .

Y en R3 , e1 = i = (1,0,0) , e2 = j = (0,1,0) , e3 = k = (0,0,1) .

Otras definiciones que describen longitudes de vectores:

i
x

La norma o mdulo de x es kxk = x12 + +xn2 . La distancia de x a y es d(x, y) = kx yk .

2
3
Ambas son reales

0 . En R y R , kxk es su longitud y d(x, y) la distancia entre los puntos x e y .

Propiedades de la norma: kk xk = |k|kxk , kxk = 0 , x = 0 , kx+yk kxk+kyk .

La ltima, desigualdad triangular, geomtricamente afirma que la longitud de un
lado de un tringulo es menor que la suma de las longitudes de los otros dos. Las
dos primeras son de demostracin inmediata y probaremos la segunda despus de
definir el producto escalar].

||x||
y
||x+y||
||y||

||xy||
x

Un vector se dice unitario cuando tiene norma 1. Los vectores i , j y k son unitarios.
Dado cualquier x,0 es muy fcil dar un vector unitario con su misma direccin y sentido:

x
kxk

Definamos dos importantes productos de vectores: el escalar y el vectorial.

Si x, y 2 Rn se define el producto escalar de dos vectores como x y = x1 y1 + + xn yn .

Obsrvese que kxk = (x x)1/2 y que, por tanto, kxk2 = x x .

[El producto escalar de dos vectores es un nmero real que perfectamente puede ser negativo].
[En el caso particular de R , el producto escalar es el producto y kxk pasa a ser el valor absoluto |x| ].

Las siguientes propiedades (menos la ltima, que demostramos) son fciles de probar:

x y = y x , (k x) y = k (x y)= x (k y) , x (y+z)= x y+x z , x x 0 , |x y|kxkkyk .

desigualdad de Cauchy-Schwartz"

xy
C-S: Si y = 0 es trivial. Sea y , 0 y sea el nmero real k = kyk
2 . Entonces:

0 (x ky)(x ky) = xx 2kxy+k2 yy = kxk2

|xy|2
kyk2

) |xy|2 kxk2 kyk2 ) |xy| kxkkyk .

Probemos ahora la desigualdad triangular:

2
kx+yk2 = xx+2 xy+yy kxk2 +2kxkkyk+kyk2 = kxk+kyk ) kx+yk kxk+kyk .

Hay una forma alternativa de expresar un producto escalar, en trminos de la norma

de los vectores y del ngulo formado por ellos, que a veces resulta ser ms til que
la inicial. Del teorema del coseno se deduce (ver Marsden-Tromba):

y
f

En R2 y R3 es x y = kxkkyk cos f , con f 2 [0, p] ngulo entre x , y , 0 .

xy
De esto se deduce que x y = 0 cuando son perpendiculares y que f = arc cos kxkkyk
.

[ x y es, por tanto, el producto de la norma de un vector por la norma de la proyeccin del otro sobre l].
Ej 1. Sean x = (1, 0) = i e y = ( 2 , 1) = 2 i + j . Entonces es:
p
p
1
x + y = ( 1 , 1) . 12 y =
2 , 1 . kxk = 1 , kyk = 5 , kx + yk = 2 .
p2
5

x+y

y
2

p1
5

Un vector unitario con la direccin y sentido de y es

,
.
p

p
xy = 2 como f > 2 deba ser xy = kxkkyk cos f < 0 ; es f = arc cos p25 . |xy| = 2 5 = kxkkyk .

Para n = 3 , se define el producto vectorial de x = (x1 , x2 , x3 ) e y = (y1 , y2 , y3 ) como el vector:

xy =

i j k
x1 x2 x3
y1 y2 y3

= (x2 y3 x3 y2 ) i (x1 y3 x3 y1 ) j +(x1 y2 x2 y1 ) k

xx = 0 , xy = yx .

Propiedades inmediatas de este producto son:

Entre los vectores de la base cannica se dan las relaciones: ij = k , jk = i , ki = j .

Lo que pasa con estos vectores ocurre en general. El vector xy es perpendicular a x e y
(ver M-T) y tiene el sentido que sugieren esos ejemplos. [El que dice la ley de la mano derecha: si
los dedos apuntan de x hacia y , su producto vectorial tiene el sentido del pulgar]. Adems, se tiene:
(x2 y3 x3 y2 )2 +(x1 y3 x3 y1 )2 +(x1 y2 x2 y1 )2 = (x12 +x22 +x32 )2 (y21 +y22 +y23 )2 (x1 y1 +x2 y2 +x3 y3 )2
"

kxyk2 = kxk2 kyk2 (xy)2 = kxk2 kyk2 (1 cos2 f )

) kxyk = kxkkyk| sen f | )

La longitud de xy es el rea del paralelogramo

que tiene por lados adyacentes a los vectores x e y .

xxy

||y|||sen f |

f
x

p
p
Ej 2. Si x = (1, 0, 2) , y = ( 2 , 1, 3) Su producto escalar es x y = 4 . kxk = 5 , kyk = 14 .
p
kx yk = k(3, 1, 1)k = 11 nos proporciona la distancia entre los dos puntos x e y .
i

j k

xy = 1 0 2 = (0 2) i (3+4) j +(1 0) k = ( 2, 7, 1) . Que es perpendicular a x e y :

2 1 3
(1, 0, 2)( 2, 7, 1) = 0 , ( 2 , 1, 3)( 2, 7, 1) = 0 .
p
kxyk = 3 6 nos da el rea del parelogramo cuyos lados son los vectores.

Rectas y planos
En el curso de Matemticas, una recta del plano la escribamos y=mx+b y=y0 +m(x x0 ) ,
fijndonos en la pendiente m , la ordenada en el origen b o el punto (x0 , y0 ) por el que pasaba.
Veamos otras expresiones ahora utilizando vectores. La recta que
v = q-p
pasa por los puntos p = (p1 , p2 ) y q = (q1 , q2 ) se puede escribir:
x=p+t v
q

x = p + t(q p) o x = (1 t)p + tq , t 2 R .

Para t 2[0, 1] , p +t(q p) describe el segmento que une esos puntos .

O dado p y el vector direccin v = (v1 , v2 ) : x = p + tv , o en coordenadas:

x = p1 +tv1
.
y = p2 +tv2

Ej 3. Describamos paramtricamente de varias formas el segmento que une p = ( 2, 3) y q = (1, 0) .

En coordenadas cartesianas la recta es y = 1 x . De aqu: (t, 1 t) , t 2 [ 2, 1] .

Usando las expresiones de arriba, como v = q p = (3, 3) , obtenemos:

p + tv = ( 2+3t, 3 3t) , t 2 [0, 1] .

O cambiando los papeles de p y q : q + t(p q) = (1 3t, 3t) , t 2 [0, 1] .

v=(3,3)
2

[Las 2 primeras expresiones describen el segmento, al crecer t , en el mismo sentido y la tercera en el opuesto].

Las ecuaciones vectoriales de las rectas en el espacio son las mismas, pero con 3 coordenadas:
x = p1 +tv1
y = p2 +tv2
z = p3 +tv3

. Eliminando la t :

x p1
v1

y p
z p
que el numerador
= v 2 = v 3 [interpretando
es 0 si se anula su denominador].
2
3

[con a, b, c no las tres cero]

La ecuacin general de un plano en el espacio es ax+by+cz = d [si d = 0 , pasa por el origen]

Si u y v son dos vectores (no mltiplo uno de otro), x=tu+sv , t, s2 R
p
describe el plano que contiene esos vectores y pasa por el origen.
v
x = p+tu+sv es otro plano, paralelo al otro
x=tu+sv
n
u
y que pasa por p y los puntos p+u y p+v .
p x-p x

Un plano queda tambin determinado conocidos un punto p suyo y

un vector n normal (perpendicular) al plano pues: (x p) n = 0 .
Si n = (a, b, c) , desarrollando: a(x p1 )+ b(y p2 )+ c(z p3 ) = 0 ,
que podemos poner ax+by+cz= ap1 bp2 cp3 . Comparando con la ecuacin escrita arriba,
concluimos que un vector normal a un plano ax+by+cz = d es el vector (a, b, c) .
Ej 4. Demos varias expresiones para la recta que pasa por los puntos p = (1, 2, 8) y q = (7, 5, 1) .
Un vector direccin es v = q p = (6, 3, 9) , y la recta es: p + tv = (1+6t, 2+3t, 8+9t) , t 2 R .
O con un vector ms bonito u = (2, 1, 3) y q en vez de p : q+tu = (7+2t, 5+t, 1+3t) , t 2 R .
Eliminando t , por ejemplo, de la segunda:

x = 7+2t
x 7
z 1
y = 5+t ! 2 = y 5 = 3 .
z = 1+3t

Y eligiendo dos pares de trminos (nosotros los primero = tercero y segundo = tercero) obtenemos
la recta como interseccin de dos planos:
n
3x 2z = 19
3x 21 = 2z 2 , 3y 15 = z 1 , es decir,
.
3y z = 14
Ej 5. Hallemos la ecuacin del plano que pasa por p = (3, 2, 1) , q = (1, 1, 3) y r = (3, 2, 4) .
Es perpendicular al plano, por ejemplo, (q p)(r p) = ( 2, 3, 4)(0, 4, 5) = (1, 10, 8) .
El plano es, por tanto: 1(x 3) + 10(y 2) + 8(z+1) = 0 , o sea, x+10y+8z = 15 .
x = 3 2t ! t = 3 x &
2 2
y 5
Ms largo es eliminar t y s de x =t(q p)+s(r p) = y = 2 3t 4s
s = 3x
8
8 8 &
z = 1+4t+5s
3a+2b c = d

8d
O, an peor, resolver el sistema a 2b+3c = d [imponiendo que
! a = d5 , b = 10d
5 , c= 5 .
pase
por
los
puntos]
3a 2b+4c = d

Conjuntos abiertos y cerrados

[A veces se le llama
disco o bola].

Entorno de centro a 2 Rn y radio r > 0 es Br (a) x 2 Rn : kx ak < r

Es un crculo en el plano y una esfera en el espacio, en ambos casos sin borde.

[Para n = 1 era un intervalo abierto centrado en el punto].
Llamaremos entorno perforado o reducido al conjunto Br (a) = Br (a) {a} .

n=2
r
a B

B*

El punto a 2 A es interior al conjunto A Rn si hay algn r tal que el entorno Br (a) A .

A es abierto si todos sus puntos son interiores, es decir, si A = int A {x interiores a A} .
p 2 Rn es punto de acumulacin de A si en todo entorno de p hay infinitos puntos de A .
A es cerrado si contiene a todos sus puntos de acumulacin , Rn A es abierto (teorema).
Frontera o borde de A es A x : 8r , Br (x) contiene puntos de A y de Rn A .

El cierre de A es el conjunto A = int A [ A . A es un conjunto cerrado (teorema).

A es acotado si existe M 2 R con kxk< M 8 x 2 A . A es compacto si es cerrado y acotado.
[La demostracin del primer teorema es la misma que se vi en R , y si p es de acumulacin
de A o pertenece a A si en cualquier entorno suyo hay, adems de los infinitos puntos de A ,
otros que no son de A , o pertenece int A si para algn r todos son de A ].
[Intuitivamente, A es abierto cuando no contiene a su frontera, y cerrado cuando lo hace].
Ej 6. El producto cartesiano de intervalos abiertos (a, b)(c, d) (rectngulo sin borde)
es un conjunto A abierto en R2 : para cualquier a del conjunto hay un Br (a)A
(por ejemplo, si r es el mnimo de las distancias a los 4 lados). A no es cerrado
pues los puntos de A son de acumulacin y no son de A . Como su frontera A
son los 4 lados, es A = [a, b][c, d] . A no es abierto (los puntos de A no son
interiores) y es cerrado, pues sus puntos de acumulacin son los puntos de A o
de A y todos son del conjunto. Como tambin A es acotado es compacto.
Ej 7. Hay conjuntos que no son no ni abiertos ni cerrados, como A = [a, b](c, d) .
Los puntos de los lados derecho e izquierdo son de A , pero no son interiores.
Los de los lados superior e inferior son de acumulacin y no son de A .
[Los nicos conjuntos abiertos y cerrados a la vez son el ? y Rn ].
Ej 8. Es inmediato comprobar que R2 como subconjunto de R2 es abierto y cerrado.
Pero visto como subconjunto de R3 no es abierto pues ninguno de sus puntos
es interior: dado cualquier a cualquier bola Br (a) se sale de R2 . Sigue siendo
cerrado como subconjunto de R3 (pero no est acotado y no es compacto).
Ej 9. A = BR (0) es, para cualquier R , un conjunto abierto en Rn :
Para cualquier x 2 BR (0) , 9 r = R kxk tal que BR kxk (x) A ,
pues si y 2 BR

kxk (x)

es kyk ky xk+kxk < R kxk+kxk = R .

x
||x||

d
c
a

b
M

d
c
a

[imagen en R2
para intuir].

1.2 Grficas de funciones escalares

f : D Rn ! R

x = (x1 , ..., xn ) ! f (x)

Los campos escalares (tambin llamadas funciones escalares o

funciones reales de varias variables reales) asignan a cada punto
x de un dominio D dom f un nico nmero real f (x) .

[Si no se dice nada ms, el dominio D del campo sern los x para los que f tiene sentido].

La imagen o recorrido de f ser (igual que en R ) el conjunto im f = f (D) f (x) : x 2 D .

Su grfica es el conjunto de puntos de la forma x1 , ... , xn , f (x1 , ... , xn ) , con (x1 , . . . , xn ) 2 D .

Si n = 1 es una curva en el plano. Si n 3 se mueve en un espacio de dimensin 4 y no es

dibujable. Pero si n = 2 , es una superficie en el espacio que se puede trazar en perspectiva.
f : R2 ! R

(x, y) ! f (x, y)

Para esquematizar (sin ordenador) su grfica z= f (x, y) hallaremos secciones

(curvas en el espacio) obtenidas cortando la superficie con diferentes planos.

Unas secciones interesantes se consiguen cortando con planos z= cte , llamadas curvas de nivel
(es decir, curvas del plano xy sobre las que f toma un valor constante). Otras fciles de calcular
son las obtenidas al hacer x = cte o y = cte (en particular los cortes con los planos yz o xz ).
Ej 1. Comencemos esquematizando un par de planos. El primero lleva a una f de las anteriores:
4x + y + 2z = 6 ! z = f (x, y) = 3 2x

1
2y .

Los cortes con

los 3 planos coordenados son z = 3 2x , z = 3 12 y , y = 6 4x .

Las curvas (rectas) de nivel son: z =C ! y = 6 2C 4x % C=0

3/2

[Sabemos adems que el vector (4, 1, 2) es normal al plano].

z=-3

z=3

z
z=0

4x + y = 6 no define z = f (x, y) pero, al no depender de z , es

3/2

fcil dar su grfica: la recta y = 6 4x trasladada verticalmente.

[Igual de fcil sera si no dependiese de y o de x ].

z=f(x,y)

2
2
Ej 2. f (x, y) = x2 +y2 . Las curvas de nivel, dadas porpx +y =C ,
son circunferencias, de radio C , C 0

si C = 0 es slo (0, 0) , la imagen es [0, ) .

2
1

x = 0 ! z = y2
son parbolas. Es fcil (en
y = 0 ! z = x2
este caso) dibujar la grfica (un paraboloide de revolucin).
Las secciones con

z=1
z=4

[Si las curvas de nivel son circunferencias centradas, la superficie es de revolucin].

p
Ej 3. g(x, y) = (x y)2 = C ! x y = C (rectas paralelas).

C=4 C=1 C=0

C=1

En concreto, si C = 0, 1, 4 se tiene y = x , y = x1 , y = x2 .

C=4

El corte con x = 0 es una parbola: z = y2 . Tambin lo son

los cortes con y = 0 z = x2 o con y = x z = 4x2 .

z=g(x,y)

Viene a ser la gfica de la parbola z = y2 trasladada en

horizontal siguiendo la recta y = x (que es donde se anula la g ).

y=x

Ej 4. Sea h(x, y) = y2 x2 . Dibujemos la grfica de este paraboloide hiperblico (silla de montar).

Los cortes con y = 0 y x = 0 son las parbolas z = x2 y z = y2
[y en general son parbolas los cortes con y =C y x =C ].
Las curvas de nivel son las hiprbolas y2 x2 =C
[en particular, para C = 0 son las rectas y = x ].

No es fcil hacer el dibujo en 3 dimensiones, pero las curvas

de nivel y los cortes ya nos daban una idea de la grfica.

z
y

C=1

C=0
C=1

y
x
C=1

C=1

Hay otras superficies importantes que definen ms de una (o no definen ninguna) funcin escalar. Las 3
siguientes no vienen dadas en la forma z = f (x, y) sino en la forma ms general F(x, y, z) = k .
(superficie
, z2 = x2 +y2 (cono), x2 +y2 = 1 (cilindro).
esfrica)

Ej 5. Dibujamos x2 +y2 +z2 = R2

Las primeras definen 2 campos escalares z =

[las curvas de nivel
son circunferencias]

p
p
R2 x2 y2 y z = y2 +x2 y la otra ninguno.
z

y
1

Los cortes con x = 0 son la circunferencia z =

R2 y2 (esfera), y las rectas z = y (cono).

El cilindro no depende de z . Es la circunferencia unidad llevada verticalmente (desde hasta ).

En todos los ejemplos vistos hasta ahora aparecan potencias 2 , con lo que son varios tipos de
cudricas: Ax2 +By2 +Cz2 +Dxy+Exz+Fyz+ax+by+cz = d (equivalentes a las cnicas en R3 ).
Los trminos en xy, xz, yz vienen a girar la cudrica y los x, y, z a trasladar su centro. Adems de
las dibujadas, en problemas aparecern otras: elipsoides, hiperboloides de una y dos hojas,...
Pero es claro que, en general, aunque se puedan dibujar algunas secciones ser muy difcil dar su grfica
en perspectiva, aunque se pueda dar una idea de por donde va la grfica. Como la siguiente:
x
Ej 6. f (x, y) = x+y
= C ! y=x

1
C

Dando valores a C , o mejor, como son y = mx ,

1
dando valores a m en f (x, mx) = 1+m
, se tienen
las curvas de nivel (y ya una idea de la grfica).
z

-1
1 y

z=0
z=1/2

z=1

1/2

"z="

Los cortes con:

1/2

x
1

1/2
-1

1 (rectas pasando por el origen).

1
x
x = 1 ! z = 1+y
, y = 1 ! z = x+1

son los dibujos de la izquierda.

Todas las rectas y curvas pintadas en el espacio pertencen a la superficie.

[Para n=3 lo que s se puede dibujar (si son sencillas) son sus superficies de nivel f (x, y, z)=C .
Por ejemplo, esas superficies de nivel son para f (x, y, z) = x2 +y2 +z2 esferas de diferente radio].

1.3 Lmites y continuidad en Rn

Las definiciones de lmite y continuidad para un campo escalar f : D 2 Rn ! R de dominio D
son muy parecidas (aparentemente) a las de R . Si a es interior a D es casi igual:
lm f (x) = L si 8e > 0 9d > 0 tal que si 0 < kx ak < d entonces | f (x) L| < e .

x!a

Para n = 2 , esto significa que debe existir un d tal que la imagen de f en Bd (a)
est comprendida entre los planos z = L e y z = L+e , por pequeo que sea e .

Con otra definicin (generaliza los lmites laterales) tambin incluimos los a 2 D :

lm f (x) = L si 8e > 0 9d > 0 tal que si x 2 D y 0 < kx ak < d entonces | f (x) L| < e .

x!a

La definicin de continuidad para puntos interiores es tambin como la de R :

f continua en a 2 intD , lm f (x) = f (a) , 8e 9d tal que kx ak < d ) | f (x) f (a)| < e .
x!a

Y si D incluye su frontera y a 2 D basta aadir x 2 D para definir su continuidad.

Decir que una f es continua en un conjunto A significa que lo es en todos los puntos de A .
Teoremas (como los de R y que no demostramos) aseguran que suma, producto y cociente
con denominador no nulo de f y g continuas son continuas. Y tambin lo es la composicin de
campos escalares con funciones reales continuas:
Teor 1.

f : Rn ! R continua en a , g : R ! R continua en f (a) ) g f continua en a .

[En R probamos estos teoremas utilizando sucesiones que aqu no hemos tratado y podramos usar
ahora slo la definicin e d . Por ejemplo, para ste bastara precisar que |g( f (x)) g( f (a))| < e
si kx ak < d lo que es cierto porque entonces | f (x) f (a)| es pequeo y g es continua en f (a) ].

Probemos que f (x) =C y que f (x1 , ... , xn ) = xk son continuas en todos los puntos de Rn :
| f (x) C| = 0 < e 8d ,

| f (x) f (a)| = |xk ak | kx ak < e si d = e -

De ello y los teoremas deducimos que muchsimos campos escalares lo son en todos o en casi
todos los puntos a simple vista. Por ejemplo, son claramente continuas en todo R2 las funciones
x2
f (x, y) = xy
o f (x, y) = exy composicin de f (x, y) = xy y la continua g(z) = ez o los campos
2
y +3

de los ejemplos 1 a 4 de 1.2. Y z =

R2 x2 y2 en su dominio k(x, y)k R , borde incluido .

Slo hay que detenerse a mirar la continuidad en algunos puntos patolgicos (como suceda en
R ). Pero aqu el anlisis muchas veces se complica. Veamos ms ejemplos en R2 :
z

1
Ej 1. f (x, y) = x2 +y
2 es claramente continua para (x, y) , (0, 0) y no tiene

lmite en ese punto (tiende a , es decir, para x en un entorno Bd (0)

toma valores mayores que cualquier K dado para d pequeo).

No sera difcil dibujar nosotros la grfica de esta superficie de revolucin,

pero le pedimos al ordenador (al Maple) que lo haga en [ 1, 1][ 1, 1] .

1
x

1
Ej 2. f (x, y) = (x2 +y2 ) sen x2 +y
2 , con f (0, 0) = 0 , es tambin obviamente continua si x , 0 .
Para ver que lo es adems en el origen podemos acudir a la definicin
p
p
| f (x, y) f (0, 0)| |x2 +y2 | < e si k(x, y) (0, 0)k = x2 +y2 < d = e ,

o mirarla como composicin de la conocida continua g(x) = x sen 1x y el campo h(x, y) = x2 +y2 ,
o incluso utilizar que sigue siendo aqu cierto (y es fcil de probar) que cero acotado = cero.

x
Ej 3. El ejemplo 6 de 1.2: f (x, y) = x+y
es evidentemente continua todo (x, y) tal que x+y , 0 .

Existe el lmite en algn punto de esa recta? No, porque cerca de cada (a, a) (incluido el 0 )
f toma valores tan grandes (y tan pequeos) como queramos, como nos aseguran, por ejemplo,
a
las secciones con cada x = a , 0 ! z = a+y
que tienen su asntota vertical en y = a .

Ej 4. f (x, y) = x2xy+y4 , f (0, 0) = 0 vuelve a ser continua claramente si x , 0 . Lo es en (0, 0) ?

Vamos a acercarnos al origen a lo largo de diferentes curvas.
m2 x
Empezamos con las rectas y = mx : f (x, mx) = 1+m
4 x2 ! 0 .
x!0

Pero esto no es la definicin del lmite en R2 .

Sigamos ahora las parbolas x = py2 : f (py2 , y) = p2p+1 .
Tan cerca como queramos del origen hay puntos en los
el campo vale, por ejemplo, 12 (p = 1). Discontinua en 0 .
[Dibujada con un ordenador, presenta f el aspecto feo del dibujo de la derecha].

[Acercarse al punto problemtico siguiendo diferentes curvas y obtener siempre el mismo lmite no nos
prueba nunca la existencia del lmite en Rn , pues quedan siempre infinitas formas distintas de acercarse.
Con estos clculos lo que a veces conseguimos (como en el ejemplo anterior) es probar que no existe].

Para calcular lmites (y analizar la continuidad) en (0, 0) a veces es til (en general lo complica)
utilizar las coordenadas polares: x = r cos q , y = sen q :
3

Ej 5. Sea f (x, y) = x2x+y2 , f (0, 0) = 0 . Es continua en (0, 0) ? Escrito en polares, f (r, q ) = r cos3 q .
Con esta expresin queda claro que cerca del origen se puede hacer tan pequeo como queramos:
| f (r, q ) 0| = r| cos3 q | r < e si k(x, y) (0, 0)k = r < d = e .

Usar cartesianas exige ms vista:

x3
x2 +y2

0 = |x|

x2
x2 +y2

|x|

Generalicemos la idea del clculo anterior con un teorema:

Teor 2.

Si f (r, q ) L g(r) y g(r) ! 0 entonces

r!0

lm

x2 +y2 < e si k(x, y)k < d = e .

(x,y)!(0,0)

f (x, y) = L .

Pues | f (r, q ) L| < e para el d que garantiza que |g(r) 0| < e .

El teorema no dice que el lmite exista si f (r, q ) ! L como muestra este ltimo ejemplo:
r!0

y4
x2

q
, f (0, y) = 0 se cumple que f (r, q ) = r2 sen
! 0 incluso si x = 0 , q = p2 .
cos2 q r!0

4
Pero cualquier corte con y = a ! z = ax2 ! y no tiene lmite en (0, 0) ni en ningn (0, a) .
x!0

4 2

Ej 6. Para f (x, y) =

Que f (r, q ) ! 0 viene a equivaler a que el lmite por rectas sea 0 . En este caso f (x, mx) = m x

!0 .

x!0

Acabamos la seccin admitiendo el siguiente importante teorema sobre continuidad generaliza el conocido resultado del clculo en R para funciones continuas en intervalos cerrados:
Teor 3.

f continua en un compacto A ) f alcanza sus valores mximo y mnimo en A .

[Si f es discontinua, o A no es cerrado o no acotado es fcil dar ejemplos en los que

alguno de los extremos no se alcanza].
[Para calcular esos extremos, como en R , habr que acudir a derivadas].

2. Clculo diferencial en Rn
2.1 Derivadas de campos escalares
Derivadas direcionales, derivadas parciales y gradiente
Sean f : D Rn ! R y a2int D para que f est definida en un entorno de a . Para hallar la derivada en
R usbamos los valores de f en a y en puntos cercanos a+h . En Rn hay puntos en cualquier direccin.
Podemos ver cmo vara f a lo largo de una recta que pase por a (dada por un vector v ), es decir, en R2 ,
mirar la variacin de la funcin de una variable obtenida al cortar su
grfica con un plano vertical que pase por a . Definimos entonces:

La derivada segn el vector v de f en un punto a es:

Dv f (a) fv (a) = lm

h!0

f (a)

f (a+h v) f (a)
(si existe).
h

f (a+hv)

Cuando v es unitario se le llama derivada direccional

(de f en la direccin del vector v en el punto a ).

a
a+hv
x

Veremos pronto formas sencillas de hallar estas derivadas, pero por ahora slo tenemos la definicin:
Ej 1. Hallemos la derivada de f (x, y) = 4 x2 4y2 en (1, 0) segn el vector (v , v) :
Dv f (1, 0) = lm 4
h!0

(1+hv)2 4(hv)2 3
h

2hv 5h2 v2
h

= lm

h!0

= 2v .

En particular, son D(1,1) = 2 , D(2,2) = 4 , D( 1,

p
Las dos derivadas direccionales son D( p1 , p1 ) =
2 y D( p1 ,
2

1) = 2 ,
p1
2

...
p
)= 2 .

(v,v)

El caso ms importante aparece al tomar como v algn vector de la base cannica:

A la derivada de f en la direccin de ek se le llama derivada parcial de f respecto a xk :
f (a1 ,..., ak +h ,..., an ) f (a1 ,..., ak ,..., an )
f
lm
,
h
xk (a) f xk (a) Dk f (a) Dek f (a) = h!0
es decir, xfk (a) es la derivada en el punto x = ak de la funcin de una variable
g(x) = f (a1 , . . . , x, . . . , an ) obtenida mirando todas las xi constantes menos la xk

Si las parciales existen para todos los x 2 D las

f
x1

, ... ,

f
xn

son otros n campos escalares.

Se dice que un campo es C1 en un abierto D si sus parciales con continuas en ese conjunto.
En R2 usaremos la notacin

f
x

= fx ,

f
y

Se llama gradiente de f al vector f =

= fy , y en R3 adems
f
f
x1 , . . . , xn

f
z

y es f (a) =

= fz .
f
f
x1 (a), . . . , xn (a)

El significado geomtrico de las derivadas parciales en R2 es claro: representan las pendientes

de las tangentes a las curvas corte con planos x = a o y = b .
Ej 1b. Si f (x, y) = 4 x2 4y2 es fx = 2x y fy = 8y . f es C1 . f = ( 2x, 8y) .
fx (1, 0) = 2 , fy (1, 0) = 0 son las pendientes de las tangentes a las parbolas corte

con y = 0 , x = 1 g(x) = 4 x2 y g(y) = 3 4y2 , respectivamente, en x = 1 e y = 0 .

[La primera negativa por decrecer f al crecer x y la segunda 0 por tener ah un mximo].

En R se tena derivable ) continua. En Rn la existencia de las parciales no implica la continuidad (ni

siquiera la implicar la existencia de todas las derivadas direccionales en el punto):
n
1 si x = 0 o y = 0
Ej 2. Para f (x, y) = 0 en el resto
se tiene que fx (0, 0) = fy (0, 0) = 0 ,
(son derivadas de la funcin constante 1)

pero la funcin es claramente discontinua en el origen.

Hallado el f es muy fcil hallar derivadas segn vectores:

[la definicin inicial, al igual que en R , slo se necesitar para funciones raras].
Teor 1.

Si f 2C1 en un entorno de a , la derivada segn el vector v es Dv f (a) = f (a) v .

f (a,b)
f (a,b+hv) f (a,b+hv) f (a,b)
En R2 : v=(u,v) , f (a+hu,b+hv)
= f (a+hu,b+hv)
+
v ! fx (a, b)u+ fy (a, b)v
h
h
hv
h!0

aplicando el TVM a g(x) = f (x, b+hv) en [a, a+hu] , 9c con g(a+hu) g(a) = g0 (c)hu , o sea:

f (a+hu, b+hv) f (a, b+hv) = fx (c, b+hv)hu y fx (c, b+hv) ! fx (a, b) por ser fx continua .
h!0

Significado del gradiente

Sea v unitario y supongamos que f (a) , 0 . Entonces, por el teorema 1:
v

Dv f (a) = f (a) v = kf (a)k cos f . As que la derivada direccional es la

a
f (a)
componente del gradiente en la direccin de v . La Dv ser mxima si
cos f = 1 (cuando los dos vectores tienen la misma direccin y sentido).
La direccin y sentido de f son aquellos en los que f crece ms deprisa. Si cos f = 0 ,
ser Dv f (a)=0 : en la direccin perpendicular a f el campo no vara. As, en R2 , ser f
perpendicular a las curvas de nivel de f (a sus tangentes).
Ej 1c. Para la f (x, y) = 4 x2 4y2 , ya es muy fcil hallar las Dv del Ej 1: f = ( 2x, 8y) )
p
D(1,1) f (1, 0) = ( 2, 0)(1, 1) = 2 , D( p1 , p1 ) f (1, 0) = ( 2, 0) p12 , p12 =
2, ...
2

Dibujemos ahora algunos vectores gradientes y algunas curvas de nivel elipses x2 +4y2 = 4 C .
Se dibuja f en los puntos (1, 0), (2, 0), (0, 1) y (2, 1)

vectores ( 4, 0), ( 8, 0), (0, 8) y ( 4, 8) a escala

y las curvas para C = 4, 0, 4, 8, 12 .
Viendo la grfica de f como una montaa, f indica la mxima pendiente. Entre las derivadas direccionales en (2, 1)
es mxima la fijada por f , es decir, en la direccin de

y
1

8
0

x
4

12

y el valor mximo es Dv f (2, 1) = f (1, 2) v = 4 5 = kf (1, 2)k .

p

Es mnima en la direccin opuesta al gradiente v = p15 , p25 su valor ser 4 5 .

Es nula en la direccin de los vectores perpendiculares a f (2, 1) o ( 2, 1) , vectores que

son tangentes a la elipse de nivel x2 +4y2 = 8 que pasa por el punto (2, 1) .
v=

p1 ,
5

p2
5

Ej 3. Hacemos clculos similares a los del Ej 1c para el campo del Ej 3 de 1.2: g(x, y) = (x y)2 .
Aqu es g(x, y) = 2x 2y , 2y 2x = 2(x y)(1, 1) .

[Vector perpenticular
a las rectas de nivel que apunta hacia donde crece g
p
con mdulo 2 2 |x y| mayor segn nos alejemos de la recta y = x ].

C=4 C=1 C=0

C=1
C=4

En el punto (0, 1) el vector g es (2, 2) . El vector unitario u para

1
x
u
1
el que es, por ejemplo, mnima la derivada direccional en el punto es:

g
p1 , p1

u=
pues
(
1,
1)
es
opuesto
al
gradiente
de
mdulo
2
.
g=0
2
2
p

La derivada mnima ser Du g(0, 1) = (2, 2) u = 2 2 = kgk = kgk kuk cos p .

[Obsrvese que g = 0 sobre y = x : los cortes con x = a e y = b son parbolas con mnimos ah].
Ej 4. Los clculos y significados son anlogos en R3 . Para f (x, y, z) = x2 y

cos(yz) es:

f (x, y, z) = ( fx , fy , fz ) = 2xy, x2 + z sen(yz), y sen(yz) . En particular es f (1, 1, 0) = (2, 1, 0) .

La derivada de f en el punto a = (1, 1, 0) segn el vector v = (1, 1, 2) es (2, 1, 0)(1, 1, 2) = 1 .
Si buscamos la derivada direccional debemos dividir por el mdulo: u =

p1 v
6p

La Du mxima es en la direccin y sentido de f y su valor es su mdulo

Es Du = 0 en el la direccin de todo v = (a, b, c) perpendicular a f ,
que ahora no forman una recta, sino un plano. Si es perpendicular:
p
(2, 1, 0)(a, b, c) = 2a+b = 0 ! v = (a, 2a, c) , kvk = 5a2 +c2 !
u= p 1
(a, 2a, c) . Un par de u son: (0, 0, 1) y 13 , 23 , 23 .
5a2+c2

10

! Du f (a) =

5.

p1
6

1
2
x

Diferencial de campos escalares y plano tangente

Veamos que la existencia de todas las derivadas direccionales no implica la continuidad. [Se necesita una
definicin que recoja informacin globlal de todos los puntos cercanos a a : la diferencial].
2

Ej 5. La f (x, y) = x2xy+y4 del Ej 4 de 1.3, discontinua en (0, 0) , tiene, sin embargo, derivadas segn

m2 x
cualquier vector en ese punto es f (x, mx)= 1+m
4 x2 derivable para todo m en x=0 y f y (0, 0)=0 .

Una funcin en R era derivable si tena recta tangente. En R2 ser diferenciable

si posee plano tangente. Reescribimos la definicin de derivada:
f derivable en a , lm f (a+h)
h!0

f (a) f 0 (a)h
=0
h
"

f(a+h)

f(a)+hf '(a)
f(a)

, f (a+h) = f (a)+ f 0 (a) h+o(h) .

si el numerador es o(h)

a+h

En R ser diferenciable ser casi lo mismo, con el gradiente ocupando el lugar de

la derivada. Como en R , la notacin g(x) = o(kxk) significa que lm g(x)
kxk = 0 .
x!0

f es diferenciable en a si existe f (a) y es f (a+v) = f (a) + f (a)v + o kvk .

O sea, llamando x = a+v , si

f (x) f (a) f (a)(x a)

! 0.
kx ak
x!a

Utilizando lenguaje algebraico, f es diferenciable en a si existe una

aplicacin lineal dfa : Rn ! R , llamada diferencial de f en el punto
a , tal que f (a+v) = f (a) + dfa (v) + o(kvk) . Esta aplicacin lineal

viene dada por n nmeros reales, que aqu son las parciales en a .

z = f (a)+dfa(v)

o(||v||)

Si n = 2 , llamando a = (a, b) y v = (u, v) , f es diferenciable cuando

f (a+v) = f (a)+ fx (a)u+ fy (a)v+o(kvk) , es decir, si cerca de (a, b) ,
su grfica se parece a la de un plano z = f (a, b) + c1 (x a) + c2 (y b) .

a
x=a+v

Si f es diferenciable parece que existirn todas las derivadas direccionales y que va a ser continua.
Teor 2.

f diferenciable en a ) existe Dv f (a) 8v , es Dv f (a) = f (a)v y f es continua en a .

f (a+hv) f (a)
h

Si f diferenciable,

f (a)hv+o(khvk)
h

f (a+v) f (a) kf (a)kkvk+ o(kvk)

|h|kvk
= f (a)v+ o(khvk)
! f (a)v .
h
khvk
h!0

! 0 , f (x) ! f (a) , f continua en a .

x!a

v!0

Cmo saber en la prctica si una f es diferenciable? Con la siguiente condicin suficiente (demostrada
en los libros de clculo en Rn ) es inmediato en la mayora de los casos:
Teor 3.

f 2C1 en un entorno de a ) f diferenciable en a .

Ej 4b. Como para f (x, y, z) = x2 y cos(yz) las fx = 2xy , fy = x2 + z sen(yz) y fz = y sen(yz) son
continuas 8(x, y, z) , ser diferenciable en todos los puntos de R3 y todo es fcil de calcular.
Por ejemplo, cerca de (1, 1, 0) tenemos esta aproximacin para f :
f (1+u, 1+v, w) f (1, 1, 0)(u, v, w) = (2, 1, 0)(u, v, w) = 2u+v .
Slo en contadas ocasiones y en algunos puntos habr que acudir a la definicin de diferencial:
3

Ej 6. Ser f (x, y)= x2x+y2 , f (0, 0)=0 (Ej 5 de 1.3) diferenciable en (0, 0) ? (en cualquier otro lo es).
Vimos que era continua. Adems f (x, 0) = x ! fx (0, 0) = 1 , f (0, y) = 0 ! fy (0, 0) = 0 .
Para ser diferenciable, debe tener

f (x,y) f (0,0) f (0,0)(x,y)

x2 +y2

= (x2 +yxy2 )3/2 lmite cuando (x, y)!(0, 0) ,

pero el lmite no existe, ya que sobre las rectas y = mx su valor

m2
(1+m2 )3/2

es distinto para cada m .

[Veremos que otras f no son diferenciables comprobando que no se da algo que implica la diferenciabilidad,
como que f no es continua (por eso la del Ej 5 no lo es) o que no existe alguna derivada direccional].
4

Ej 7. f (x, y)= x2x+y2 , f (0, 0)=0 s es diferenciable en (0, 0) . El polares la continuidad es inmediata.
Y es f (x, 0) = x2 , f (0, y) = 0 ! f (0, 0) = 0 y lm

x!0

11

f (x) f (0) 0 x
kxk

= lm

x4

2
2 3/2
x!0 (x +y )

= 0 (polares).

Un resumen de las implicaciones que hemos visto anteriormente:

C1 en un entorno

)
1

diferenciable

existen todas las DD

+"3

7%.8

+"4

existen las parciales

continua

Todas las flechas son falsas si n > 1 (para n = 1 son 2 y 4 trivialmente ciertas). Contraejemplos para:
1
1
1. f (x, y) = (x2 +y2 ) sen x2 +y
2 , f (0, 0) = 0 (Ej 2 de 1.3) es diferenciable pero no C .
n
1 si x = 0 o y = 0
4,6. f (x, y) = 0 en el resto
(Ej 2), con parciales en el origen, discontinua y sin ms DD.
2

2,6,8. f (x, y) = x2xy+y4 , f (0, 0) = 0 (Ej 5) tiene todas las DD, es discontinua y no diferenciable.
p
3,5,7. f (x, y)= x2 +y2 (cono superior), es continua pero sin ninguna DD (y no diferenciable).

Volvamos al plano tangente. De la pgina anterior se deduce para R2 que si f es diferenciable,

el plano tangente a f en el punto (a, b) es:

z = f (a, b) + fx (a, b)(x a) + fy (a, b)(y b) .

Ej 1d. Para f (x, y)=4 x2 4y2 hallemos el plano tangente la superficie descrita por f en ( 2, 1) :
f ( 2, 1) = 4 , f ( 2, 1) = (4, 8) ! z = 4 + 4(x + 2) 8(y 1) , z = 4x 8y + 12 .

La diferencial de f en ese punto es la aplicacin lineal: df( 2,1) (u, v) = (4, 8)(u, v) = 4u 8v .

Como en R3 es f perpendicular a las superficies de nivel, esto nos da un modo de hallar el

plano tangente en un punto (a, b, c) de una superficie S dada en la forma F(x, y, z) = K :
F(a, b, c) (x a, y b, z c) = 0

si F , 0

Ej 8. Por ejemplo, hallemos el plano tangente en (1, 2, 3) a la superficie esfrica x2 +y2 +z2 = 14 :
F(1, 2, 3) = (2x, 2y, 2z)

(1, 2,3)

= (2, 4, 6) !

z = 13 (14 x+2y) .
p
Ms largo es hallar el plano tangente a z = + 14 x2 y2
2(x 1) 4(y+2)+6(z 3) = 0 , o bien,

zx (1, 2) =

1
3

, zy (1, 2) = 23 ! z = 3

px

, zy =

1
3 (x

1)+ 23 (y+2) "

utilizando la frmula de ms arriba: zx =

Hagamos ahora unos pequeos comentarios sobre la diferencial de los fsicos, empezando con
las f derivables de R en R . Con la notacin de la seccin podemos poner:
y = f (x)
dfx (h) = f 0 (x) h o dfx (Dx) = f 0 (x)Dx , y es Dy = f 0 (x)Dx+o(Dx) .
Dy
O, llamando dy = f 0 (x)Dx al incremento de la parte lineal: Dy = dy+o(Dx) ,
y cuando Dx es pequeo se comete poco error tomando dy en lugar de Dy .

dy

x+D x

No es raro ver escrito simplemente dy = f 0 (x) dx , interpretando dy como un

incremento infinitesimal de la y para otro dx de la x . Se est sustituyendo entonces sin decirlo
Dy por dy , el incremento correspondiente a la funcin por el correspondiente a la tangente.
En R2 , para una z = f (x, y) diferenciable (si no, carece de sentido), no es impreciso escribir:
Dz = f (x+Dx, y+Dy) f (x, y) =

p
f (x,y)
f (x,y)
(Dx)2 +(Dy)2
x Dx + y Dy + o

y se parecen, para Dx , Dy pequeos, Dz y el incremento de la parte lineal dz = df(x,y) (Dx, Dy) .

(O, lo que es lo mismo, se parecen la funcin y su plano tangente).
Pero s vuelve a ser impreciso escribir simplemente dz =

z
z
x dx + y dy

o df =

f
f
x dx + y dy ,

tpico de los fsicos, suponiendo que los incrementos son infinitesimales. dz no es simplemente
un nmero pequeo, es el incremento correspondiente a una aplicacin lineal (la diferencial).

12

Derivadas de orden superior y desarrollos de Taylor

Si las xfj existen para todos los x2D obtenemos n nuevos campos escalares xf1 , . . . , xfn que
podemos volver a derivar consiguiendo las derivadas parciales de orden 2, 3, . . . :

2 f (x)
f (x)
xk x j xk x j f x j xk (x) D jk f (x) , . . .
Ej 9. Si f (x, y) = x2 e 2y sus derivadas primeras xf = fx = 2x e 2y y yf = fy = 2x2 e
tener derivadas parciales 8(x, y) , con lo que tiene sentido calcular:
2f
x2

= fxx = 2 e

2
2y , [ f ] = f
y x
x y

= fxy = 4x e

Y podramos seguir calculando derivadas:

Ej 10. Probemos que u(x,t) =
ut =
uxx =

1
p
t

x2 /4t

3f
x3

2y ,

2f
y x

= fxxx = 0 , . . . ,

Ej 4c. Si f (x, y, z)=x2 y

xt

3/2 1
2

3f
y3

2
2y , f
y2

vuelven a

= fyy = 4x2 e

= fyyy = 8x2 e

2y ,

2y .

...

es solucin de ut uxx = 0 (ecuacin del calor en la recta).

1
3/2 e x2 /4t + t 1/2 1 x2 t 2 e x2 /4t = x2 2t
2t
4
4t 5/2
1
3/2 e x2 /4t + 1
2t
2

= fyx = 4x e

2y

xt

2 e x2 /4t = x2 2t

4t 5/2

x2 /4t

, ux =

x2 /4t

1
2

xt

3/2 e x2 /4t

. Por tanto, ut uxx = 0 .

cos(yz) se tiene que fx =2xy , fy =x2 + z sen(yz) , fz =y sen(yz) . Entonces:

fxx = 2y , fxy = 2x , fxz = 0 ;

fyx = 2x , fyy = z2 cos(yz) , fyz = sen(yz)+yz cos(yz) ;

fzx = 0 , fzy = sen(yz)+yz cos(yz) , fzz = y2 cos(yz) . Algunas derivadas coinciden (no es casual).

Se dice que f 2Cn en D abierto si sus derivadas parciales hasta orden n son continuas en D .
Igualdad de Schwartz:

Si f 2C2 en un entorno de a ) Dkj f (a) = Djk f (a) , j, k = 1, . . . , n .

[La demostracin (ver libros), utiliza, como en otros casos, el teorema del valor medio en una variable].

Al igual que muchas funciones f (x) se pueden aproximar por polinomios y desarrollar en serie
de Taylor en torno a un punto, se ve en los libros de varias variables que los campos escalares f
admiten tambin estos desarrollos. La diferencial representa el desarrollo de Taylor de orden 1.
Slo escribimos el polinomio de orden 2 de una f de dos variables, sin expresiones del resto:
Teor 4.

Si f 2C2 en un entorno de a=(a, b) y x=(a+h, b+k) est prximo a a , entonces:

f (x) = f (a) + fx (a) h + fy (a) k + 12 fxx (a) h2 + 2 fxy (a) hk + fyy (a) k2 + o h2 +k2 .

En ocasiones convendr escribir el polinomio P2 (x, y) anterior en la forma ms desarrollada:

f (a, b)+ fx (a, b)(x a)+ fy (a, b)(y b)+ 12 fxx (a, b)(x a)2 + fxy (a, b)(x a)(y b)+ 12 fyy (a, b)(y b)2
y en muchas, ms que calcular derivadas, lo til ser usar los desarrollos conocidos de una variable.
Ej 9*. Hallemos el desarrollo de orden 2 de f (x, y) = x2 e
x2 (1

2y

en torno a los puntos (0, 0) y ( 1, 1) :

2y+2y2 + ) = x2 + o(x2 +y2 )

El primero es casi inmediato: f (x, y) =

coherente con el hecho de que la nica derivada no nula es fxx (0, 0) = 2 .

f ( 1, 1) = e 2 , fx ( 1, 1) = fy ( 1, 1) = fxx ( 1, 1) = 2e 2 , fyy ( 1, 1) = fxy ( 1, 1) = 4e 2

! f (x, y) e 2 1 2(x+1) 2(y 1)+(x+1)2 +4(x+1)(y 1)+2(y 1)2 .

A lo mismo llegaramos desarrollando (1 s)2 e 2t e 2 en torno a (0, 0) , s = x+1 , t = y 1 .

13

2.2 Campos vectoriales. Regla de la cadena

En esta seccin trataremos funciones cuyos valores no son escalares, sino vectores. Primero
vemos el caso ms sencillo
Rn
Funciones vectoriales: c : tR !!c(t)
=

. Sus grficas son curvas en Rm .

c1 (t), ..., cn (t)

Bastantes veces nos ocuparemos de c para t en un intervalo finito: t 2[a, b] . Entonces la imagen
de c es una curva finita que une (en ese sentido) el punto c(a) con el c(b) [extremos de la curva].
A esa curva la llamaremos tambin a veces trayectoria o camino.
Casi siempre trabajaremos en R2 o R3 y ser c(t) = x(t), y(t) o c(t) = x(t), y(t), z(t) .

Se dice que c es continua en un punto o intervalo si lo son sus n componentes c1 (t), ..., cn (t) .
Y es derivable si las n lo son y su derivada es el vector c0 (t) = (c01 (t), ..., c0n (t)) .
Interpretemos c0 (t) para n=2 (o n=3 ). Al ser c0 (t)= lm

h!0

c(t+h) c(t)
,
h

c'(t)

c(a)

la pendiente de la secante tender a la pendiente de la recta tangente a la

curva C descrita por c(t) . Fsicamente, si c(t) describe el movimiento
de una partcula a lo largo del tiempo [es decir, si es su vector posicin,
que se suele llamar r(t) ], c0 (t) representa el vector velocidad v(t) .

c(t)
c(t+h)
c(b)

El escalar kc0 (t)k describe la rapidez (velocidad escalar) con la que la partcula avanza por la curva .

Por tanto, ecuaciones de la recta tangente a C en un punto c(to ) (si c0 (to ) , 0 ) pueden ser:
l(t) = c(to ) + t c0 (to )

toca c(to )
l(t) = c(to ) + (t to ) c0 (to ) [esta
cuando t =t ]
o

c0k

Si las
son tambin derivables se puede hallar
[que representa el vector aceleracin a(t) ]. Y se

la derivada segunda c00 (t) = (c001 (t), ..., c00n (t))

puede definir c000 (t) , civ (t) , . . .

p
p
Ej 1. Sea c(t) = cos t 2 , sen t 2 , con t 2 0 , 2p . c(0) = c( 2p ) = (1, 0) .
p
Por ser kc(t)k = cos2t 2 +sen2t 2 = 1 , recorrer c la circunferencia unidad.
c0 (t) =

t =0,2

2t sen t 2 , 2t cos t 2 ser un vector tangente, y es kc0 (t)k = 2t

[con lo que este mdulo (la velocidad escalar) crece con el tiempo].

Obsrvese que llega a (0, 1) para t = p/2 1.25 , y que tarda el doble de tiempo en dar la vuelta entera .
q

p
p
p
c0
2p , 0 ! l(t)=
2p t, 1 recta tangente en (0, 1) ms sencilla l(t)=( t, 1) .
2 =

El vector aceleracin ser c00 (t) = 2

sen t 2 , cos t 2

4t 2 cos t 2 , sen t 2 .

[Tiene una componente en la direccin de la velocidad y otra en direccin normal al movimiento,

que es algo que se ve que ocurre en general para cualquier c ].

La misma curva se podra describir (de forma ms simple) con c(t) = (cost, sent) , t 2 [0, 2p] .
siendo recorrida en este caso con velocidad kc0 (t)k = 1 constante .

Ms difcil es, desde luego, dibujar curvas en R3 . Tratamos el ejemplo csico, la hlice:
Ej 2. Dibujemos la curva descrita por c(t) = cost, sent,t , t 2 [0, 3p] .

2
2
Como es x(t) + y(t) = 1 , la proyeccin sobre el plano xy es la
circunferencia unidad, mientras que z crece constantemente con t .
p
El vector velocidad es c0 (t) =
sent, cost, 1 , y es kc0 (t)k = 2 ,
independiente de t (se recorre la curva a velocidad escalar constante).

Por ejemplo, para t = 2p en el punto (1, 0, 2p) es c0 (2p) = (0, 1, 1)

y la recta tangente en ese punto se puede escribir l(t) = (1,t, 2p +t) .
c00 (t) = (

El vector aceleracin
cost, sent, 0) no tiene componente
vertical y apunta siempre hacia el eje z .

14

c(3)

y
1

c(0)

Pasemos ya al caso general, con valores vectoriales dependientes de varias variables:

f : D Rn ! Rm

Campos vectoriales. Funciones de Rn en Rm :

x = (x1 , ..., xn ) ! f(x) = f1 (x), ..., fm (x)

[O funciones vectoriales de varias variables reales con dominio D . Uno que ya ha aparecido, con
n = m , es f ; otro, para n = m = 3 , ser rot f ; otros sern los cambios de variable que iremos
haciendo; y caso particular importante ya tratado son las funciones vectoriales, con n = 1 ].

f(x) = f1 (x), ..., fm (x) ser continuo si lo son sus m componentes fk (x) .

Esto equivale a una definicin e d : si 8e 9d tal que kx ak < d ) kf(x) f(a)k| < e .

En la diferencial de f escalares cumpla un papel importante el vector f . Aqu lo cumple una matriz:

f1 / x1 f1 / xn

Se llama matriz diferencial o jacobiana de f en a a Df(a)

[Las m filas de Df son los gradientes de las m componentes].

fm / x1 fm / xn x=a

f es diferenciable en a si existe Df(a) y es f(a+v) = f(a)+ Df(a) v+ o(kvk) .

con v vector columna y escribiendo el resultado como fila "

Es decir, si

kf(a+v) f(a) Df(a) vk

kvk

! 0 cuando kvk ! 0 .

Y se tiene un resultado similar al de los campos escalares:

Teor 1.

Si todas las fk 2C1 en un entorno de a entonces f es diferenciable en a .

f es diferenciable en a si existe una aplicacin lineal dfa : Rn ! Rm , llamada diferencial de f en

el punto a , dada por dfa (v) = Df(a) v , tal que: f(a+v) = f(a) + dfa (v) + o(kvk) .
Una aplicacin lineal viene dada por
una matriz, incluso, abusando algo del lenguaje, se puede

decir que dfa es la matriz Df(a) f 0 (a) es la matriz ms simple y f (a) es una matriz 1n .

Si n = 1 , la matriz Df pasa a ser una matriz m1 , el vector derivada de una funcin vectorial, y
la diferencial es una aplicacin lineal de R en Rm (cuya grfica es una recta en Rm : la tangente).
Para seguir la notacin de aqu deberamos escribir Dc(t) = c0 (t) como vector columna (de m
elementos), pero seguiremos con vectores fila y llamando a las c derivables ms que diferenciables.
Ej 3. f(x, y) = exy , y , 2x+y2 = f (x, y), g(x, y), h(x, y) es campo vectorial diferenciable en el punto
(1, 0) [lo es en todo R2 ] porque las 6 parciales existen y son continuas en un entorno del punto.
Su matriz diferencial es:

1 0 xy
1
fx fy
ye
x exy
1 A)
Df =@gx gy A=@ 0
hx hy
2
2y

1
!
0 1
v
Df(1,0)v =@0 1A uv = v .
2u
2 0

La f : R2 ! R3 se parecer, por tanto, cerca de (1, 0) a la funcin lineal de R2 en R3 que al

vector v = (u, v) le asigna el nuevo vector (1+v, v, 2+2u) = f(1, 0)+ Df(1, 0) v f (1+u, v) .
O, escrito de otra forma, f(x, y) = exy , y , 2x+y2 (1+y , y , 2x) cerca de (1, 0) .

[Las diferenciales de los campos escalares f , g y h llevaran a las mismas expresiones].

En caso de que sea m=n , tpico de los cambios de variable, cumplir un papel importante (por ejemplo
en la integracin) el determinante de la matriz diferencial nn , llamado jacobiano del cambio:

Si

y1 = f1 (x1 , .., xn )

yn = fn (x1 , .., xn )

, el determinante jacobiano es

(y1 ,...,yn )
(x1 ,...,xn )

Jf Df =

f1 / x1 f1 / xn
..
..
.
.

fn / x1 fn / xn

Jf(a) , 0 implicar, por ejemplo, que el cambio es inyectivo en un entorno del punto, con lo

que habr funcin inversa f 1 en un entorno, que era lo que suceda en R cuando f 0 (a) , 0 .

x = r cos q

Ej 4. Sea f : R2 ! R2 , f(r, q ) = (r cos q , r sen q ) = (x, y) , que habitualmente escribimos y = r sen q .

Su determinante jacobiano ser Jf =

(x,y)
(r,q )

cos q
sen q

r sen q
= r(cos2 q +sen2 q ) = r .
r cos q

Ni siquiera en el caso ms simple de las funciones de R2 en R2 como la anterior es posible dibujar grficas
de campos vectoriales. Habr que limitarse a dibujar flechas entre dos planos (en este caso).

15

Regla de la cadena. Generalizamos la frmula de una variable ( f g)0 (x) = f 0 g(x) g0 (x) .
Empezamos con el caso ms sencillo, que une funciones vectoriales y campos escalares:
Sean c : R ! Rn y f : Rn ! R de C1 y sea h(t) = f c(t) .
0
0
Teor 2. Entonces h es derivable y es h (t) = f c(t) c (t) , o sea:
h0 (t) = xf1 (c(t)) x10 (t) + + xfn (c(t)) xn0 (t) .

c(t)

Rn

f (c(t))

h: R ! R

La ltima igualdad (por ejemplo cuando n = 2 ) se suele escribir en la forma

df
dt

f dy

= x dx
dt + y dt ,

expresin imprecisa que no deja claro dnde est evaluada cada trmino [las parciales en ((x(t), y(t))
y las derivadas ordinarias en t ] y que mantiene el nombre f para la h (pues es la f sobre una curva).
De hecho, h describe la variacin del campo f a lo largo de la curva dada por c , y de esto se
deduce el resultado: en un to dado, h0 (to ) mide la variacin de f segn el vector tangente a la curva
en el punto c(to ) , y esta derivada segn el vector viene dada, como sabemos, por f c(to ) c0 (to ) .

0x10 (t)1
f
f
0
0
@ .. A [esto nos dir
El resultado se podra escribir as: h (t) = f c(t) c (t) = x xn
.
el Teor 3]
producto de matrices

c(t)

xn0 (t)

Si las funciones son ms derivables, la regla anterior nos permite hacer derivadas segundas y sucesivas.
Por ejemplo, para n = 2 , de la frmula que da la h0 (t) = fx x0 + fy y0 , deducimos la derivada segunda:
h00 (t) = ( fx )0 x0 + fx x00 +( fy )0 y00 + fy y00 = fxx (x0 )2 + 2 fxy x0 y0 + fyy (y0 )2 + fx x00 + fy y00 .
Ej 5. Sea f : R3 ! R de C2 y sea h(t) = f t, t,t 2 . Hallemos h00 en funcin de las derivadas de f ,
y comprobemos la frmula obtenida en el caso de que sea f (x, y, z) = x+y+z2 .
h0 (t) = fx

fy + 2t fz , h00 (t) = ( fx )0 ( fy )0 + 2t( fz )0 + 2 fz

= fxx fxy +2t fxz fyx + fyy 2t fyz + 2t fzx 2t fzy +4t 2 fzz + 2 fz
= fxx + fyy +4t 2 fzz 2 fxy +4t fxz 4t fyz + 2 fz

En concreto, para la f dada es h(t)=t 4 , h00 (t)=12t 2 . Con la frmula: h00 (t)=8t 2 +4z

z=t 2

=12t 2 .

Consideremos ahora el caso general de composicin de campos vectoriales:

g

Teor 3.

n
m
p
Sean R ! R ! R , g diferenciable en a , f diferenciable en b=g(a) )

a ! g(a) = b ! f(b)

f g diferenciable en a y D(f g)(a) = Df(b) Dg(a) [producto de matrices].

[La demostracin para f, g 2C1 se basa en aplicar el Teor 2. en cada fila].
Ej 6. Sean g(x, y) = (x y , y2 ) , f(u, v) = (u+v , uv , v) . Hallemos D(f g) en (2, 1) . Con el Teor 2:
!

1
,
0 2y

1 1
1
Df(u, v) = v u , Dg(x, y) =
0 1

0 1

Comprobemos componiendo y calculando luego la diferencial:

y , y2 ) = (x

(f g)(x, y) = f(x

!
1 1 1

g(2, 1) = (1, 1) ) D(f g)(2, 1) = 1 1

y2 , xy2

y3 , y2 ) ,

D(f

1 1
1
= 1 1 .
2
0 2

1
1
2y 1
2
2
g)(2, 1) =@y 2xy 3y A
0
2y

!
1 1

= 1 1 .
0 2

(2,1)

Veamos la forma que adopta el teorema general en otros diferentes casos particulares. El primero
muestra el efecto de un cambio de variable sobre una curva:
y c(t)
v
Dg
Sean c : R ! R2 , g : R2 ! R2 , r(t) = g(c(t)) .
(x, y) ! (u, v)

[ r es la curva imagen de c a travs del cambio g ].

r0 (t) = Dg(c(t)) c0 (t)

u0 = ux x0 + uy y0
v0 = vx x0 + vy y0

0
u u
x
= x y y0 .
vx vy

, o si se prefiere:

u dx
x dt

g transforma puntos y
Dg transforma vectores.

Es decir:

du
dt

r(t)

+ uy dy
dt ,

dv
dt

v dx
x dt

+ vy dy
dt .

La matriz diferencial Dg tansforma el vector tangente a una curva en el vector tangente a la curva imagen.

16

Otro caso ms (quizs el que ms usaremos): cambios de variable para funciones de 2 variables.
(r, s) ! (x, y)

h h
r s

f f
x y

x
r
y
r

x
s
y
s

g y

f : R2 ! R , g : R2 ! R2 , h = f g : R2 ! R

(r, s) ! f (g(r, s)) = f (x(r, s), y(r, s))

h
r

f x f y
x r + y r

h
s

f
x

[o escribiendo
f en vez de h ]

f x f y
x s + y s

Conviene memorizar estas frmulas. No se olvide que fx y fy estn evaluadas en (x(r, s), y(r, s)) .

Ej 7. Si

x = r+s2
, las derivadas de f (r+s2 , rs) respecto a las variables (r, s) son
y = rs

fr = fx +s fy
.
fs = 2s fx + r fy

Si f 2C2 podemos hallar tambin las derivadas segundas. fx y fy son tambin funciones de r y s
que se derivarn respecto a r y s de la misma forma que se derivaba la f :
frr = fr r = fx r + s fy

= [ fxx +s fxy ] + s[ fyx +s fyy ] = fxx + 2s fxy + s2 fyy

frs = fr s = fx s + s fy s + fy = [2s fxx +r fxy ] + s[2s fyx +r fyy ]+ fy = 2s fxx +(r+2s2 ) fxy +rs fyy + fy

()

fss = fs s = 2s fx s + r fy s +2 fx = 2s[2s fxx +r fxy ] + r[2s fyx +r fyy ]+2 fx = 4s2 fxx +4rs fxy +r2 fyy +2 fx

Para escribir, por ejemplo, ( fx )r simplemente se ha utilizado que, segn las expresiones para las derivadas
primeras de arriba, haba que derivarla respecto a x y sumarle s por su derivada respecto a y .

() se poda haber hecho tambin as, pues sabemos que las derivadas cruzadas coinciden:

frs = fs r = 2s[ fxx +s fyx ] + r[ fxy +s fyy ]+ fy = 2s fxx +(r+2s2 ) fxy +rs fyy + fy .

Similares son las frmulas en R3 . Para una (r, s,t) ! f (g(r, s,t))= f x(r, s,t), y(r, s,t), z(r, s,t)
las derivadas son:

fr = fx xr + fy yr + fz zr , fs = fx xs + fy ys + fz zs , ft = fx xt + fy yt + fz zt .

Divergencia, laplaciano, rotacional

Si f =( f1 , ..., fn ): Rn ! Rn es campo vectorial C1 , la divergencia
de f es el campo escalar: div f f xf11 + + xfnn .

x1 , . . . , xn

[slo notacin, eso

no es ningn vector].

En particular, cuando f = ( f , g) es div f = fx +gy , y si f = ( f , g, h) es div f = fx +gy +hz .

Si f : Rn ! R es de C2 , el laplaciano de f es D f (f ) 2 f

2f
x12

+ + x2f .
n

Es otro campo escalar. En particular, D f = fxx + fyy o D f = fxx + fyy + fzz .

Para n = 3 hay otro importante campo vectorial que se obtiene a partir de uno dado:
Si f = ( f , g , h) : R3 ! R3 es de C1 , el rotacional de f es el campo vectorial:
rot f = f = (hy gz ) i + ( fz hx ) j + (gx

fy ) k =

/ x / y / z
f
g
h
interpretando adecuadamente los productos !

Algunas propiedades y relaciones para n = 3 y campos C2 fcilmente comprobables son:

rot (f ) = 0 , div (rot f ) = 0 , div (g f ) = g div f + g f , rot (g f ) = g rot f + g f .
Por ejemplo, la primera: rot ( fx , fy , fz ) = ( fzy

fyz ) i + ( fxz

fzx ) j + ( fyx

fxy ) k = 0 , . . .

[No slo el rotacional de un gradiente es 0 . En 5.3 veremos que si el rotacional de un campo

vectorial C1 se anula, este campo ser el gradiente de un campo escalar que sabremos calcular].
i

xyz

eyz

y2

Ej 8. Sea f = xyz , eyz , y2 . div f = yz + z eyz . rot f = / x / y / z = 2y y eyz , xy , xz .

2 yz
yz
yz
3
2
yz
div (rot f ) = x x = 0 (deba
serlo) . (div f) = 0 , z+z e , y+ e +yz e . D(div f) = (z +y z+2y) e .

[No tiene sentido hablar del gradiente o laplaciano de f , ni de divergencia o rotacional de escalares.
Estos cuatro operadores (reglas que convierten funciones en otras, como tambin hace la derivada)
son lineales (porque lo es la derivada): (a f +bg) = af +bg , a, b 2 R , e igual los otros].

17

Clculos en polares

r = x2 +y2
x=r cos q
Ya utilizamos las coordenadas polares: y=r sen q ,
, para analizar la continuidad.
tan q = xy

Escribamos ahora f y D f en polares. Por la regla de la cadena:

n
n f cos q 1 f sen q = f
fr = fx xr + fy yr = cos q fx + sen q fy
r
x
r q
)
)
1
fq = fx xq + fy yq = r sen q fx +r cos q fy

Esta pareja de vectores son unitarios y perpendiculares entre s y se tiene que dq er = eq .

frr = cos2 q fxx +2 sen q cos q fxy + sen2 q fyy

fq q = r2 sen2 q fxx 2r2 sen q cos q fxy +r2 cos2 q fyy r cos q fx r sen q fy

er

f = fr er + 1r fq eq , definiendo er = (cos q , sen q ) , eq = ( sen q , cos q ) .

fr sen q + r fq cos q = fy

) D f = frr +

fr
r

fq q
r2

Ej 9. Sea f (x, y)= x2x+y2 , f (0, 0)=0 . [Ejemplo de f continua de 1.3]. En polares: f (r, q )=r cos3 q .
p
Hallemos aqu f y D f en el punto (x, y) = (1, 1) , o lo que es lo mismo, en (r, q ) = 2 , p4 .
f = cos3 q er 3 cos2 q sen q eq
3

p
p p = 2
4
( 2, 4 )

3 cos3 q

D f = 0 + cosr q + 6 cos q sen rq

p1
2

p1
2

p
3 2
4

, p12 = 1, 12 .
p
= 2r cos q (3 4 cos2 q ) que en 2 , p4 vale 1 .
,

p1
2

Ms largos seran los cculos trabajando en cartesianas:

x4 +3x2 y2

2x3 y

f = (x2 +y2 )2 , (x2 +y2 )2

, Df =

4x3 +6xy2 2x3

(x2 +y2 )2

8x3 y2 4x(x4 +3x2 y2 ) 2x(3y2 x2 )

= (x2 +y2 )2
(x2 +y2 )3

Tambin es til, en ocasiones, usar polares con funciones vectoriales. El vector tangente a una
c(t) = x(t), y(t) = r(t) cos q (t), r(t) sen q (t) = r(t) er (t)
der dq
ser: c0 (t) = dr
dt er +r dq dt =

dr
dq
dt er + r dt

radial
eq [componentes
y transversal de c0 ].

Ej 10. Sea la curva c (espiral) definida en polares mediante r(t) = t , q (t) = t .

Con la frmula de arriba:

c0 (t) =

er + t eq = (cost, sent) + t ( sent, cost) .

En este caso es fcil comprobar con cartesianas: c(t) = (t cost,t sent) "

er

t=

[Tambin son tiles los clculos en R3 utilizando coordenadas cilndricas y esfricas,

pero no presentaremos estas coordenadas hasta el captulo 4].

18

2.3 Extremos de funciones escalares

En R , los puntos interiores a con f 0 (a)=0 eran (junto a puntos sin derivada) candidatos a extremo local
(aunque podan no serlo). Y si adems f 00 (a) era mayor o menor que 0 se conclua, respectivamente,
que era mnimo o mximo. Tambin muchas veces, sobre intervalos cerrados, los extremos de una f se
daban en los extremos del intervalo. Generalicemos estas ideas a campos escalares en Rn (y en particular,
en R2 donde trabajaremos casi siempre). Las definiciones de extremos absolutos y relativos son iguales:

El valor mximo (o mximo absoluto) de f sobre un conjunto A se toma en un punto a

si es f (a) f (x) para todo x 2 A . Tiene un mximo local (o relativo) en a si existe un
entorno Br (a) tal que f (a) f (x) para todo x 2Br (a)\A . Anlogamente se define mnimo
(absoluto o local). Mximos y mnimos se llaman extremos de f .
Miremos la grfica de la derecha de una f en el rectngulo A=[ 1, 1][0, 2] .

2
En concreto es f (x, y) = (y 1) e4y 2y 3x2 que trataremos en un ejemplo .

El mximo absoluto parece estar en 0 , 32 (ah tambin habr mximo local).

El mnimo se tomar, segn el dibujo, en dos puntos de A : 1, 12 . Se ven
adems, por ejemplo, un mximo local en (0, 0) y un mnimo local en ( 1, 2) .

ML
mL

3
2

Se observa que en 0 , las derivadas parciales se anulan. Y lo mismo sucede

en 0 , 12 , aunque en ese punto no hay ningn extremo (ni siquiera local).
Teor 1.

Si f es diferenciable en a 2 intD y f tiene extremo local en a ) f (a) = 0 .

Pues f (a1 , ..., x, ..., an ) tendr un entremo en x = ak interior ) fxk (a) = 0 .

A los puntos en los que se anula f (todas las parciales) se les llama puntos crticos de f .
Pero aqu es ms complicado discutir lo que pasa en los puntos crticos (en R2 esto slo dice que el plano
tangente es horizontal). Comencemos viendo que puede ser f = 0 y no haber ningn extremo:
Ej 1. Para h(x, y) = y2 x2 (silla de montar) es h(0, 0) = ( 2x, 2y) (0,0) = (0, 0)

pero no tiene extremo local en el origen h(0, 0) = 0 y cerca hay puntos

h(x, 0) = x2 de valor negativo y otros h(0, y) = y2 con valor positivo .

y
x

[Lo mismo le pasa a h(x, y) = xy , cuya grfica es la misma, girada en torno al eje z ].

En el siguiente ejemplo, el punto crtico s nos proporciona un mximo:

[Las curvas de nivel son elipses giradas

Ej 2. Sea f (x, y) = 1 2x2 +xy y2 . (hay trmino xy ) y no fciles de pintar].

Los cortes con los ejes son: x = 0 ! z = 1 y2 , y = 0 ! z = 1 2x2 .
n
fx = 4x+y = 0
Sus puntos crticos salen de:
! x=0 , y=0 .
fy = x 2y = 0
Pero an no hemos probado que haya un mximo. Podemos verlo as:
f (x, y) = 1

7 2
4x

x
2

) f (0, 0) = 1 valor mximo absoluto en todo R2 (mnimo no hay).

Pueden aparecer infinitos puntos crticos y pueden no ser extremos estrictos (campo dibujado en 1.3):
Ej 3. g(x, y) = (x y)2 . A la vista de la grfica (o de la propia funcin) es claro
que posee infinitos mnimos (locales y absolutos): todos los puntos de y = x
(las definiciones de extremo son con ). Que son detectados por el g :
gx = 2(x y) = 0 , gy = 2(y x) = 0 , cuando y = x .

z=g(x,y)
1

y
1

y=x

Y, por ltimo, como en R , pueden existir extremos locales en puntos sin derivadas parciales:
p
Ej 4. Sea k(x, y) = x2 +y2 mitad superior de la superficie cnica z2 = x2 +y2 .
Los cortes con los ejes son z = |x| y z = |y| . No existen en (0, 0) ni derivadas
parciales (ni ninguna direccional), ni es diferenciable (no hay plano tangente).

En cualquier otro punto s es k diferenciable, pero es k = px , py , 0 .

Y claramente hay un mnimo (local y absoluto) en el origen.

19

y
x

Cmo distinguir en R2 si en un punto crtico a = (a, b) de una funcin f (x, y) 2C2 hay un
mximo, un mnimo o ninguno de los dos? (se dice en el ltimo caso que hay un punto silla).
Empecemos desarrollando por Taylor. Como en el punto a se anulan las derivadas primeras, el
desarrollo se reduce a:
p

f (a+h, b+k) = f (a, b) + 21 fxx (a, b) h2 + 2 fxy (a, b) hk + fyy (a, b) k2 + o h2 +k2 .

As, la forma de la grfica cerca de a depender de los trminos de orden 2. Cmo es la grfica
de los campos cuadrticos Q(x, y) = Ax2 +2Bxy+Cy2 con A, B,C constantes no las tres nulas?
Supongamos que A , 0 , entonces AQ(x, y) = A2 x2 +2ABxy+ACy2 = (Ax+By)2 +(AC B2 )y2 .
Entonces, si AC < B2 tiene Q en (0, 0) un punto silla en x =
Si

AC>B2 ,

By
A

es < 0 , y en y = 0 , > 0 .

AQ tiene un mnimo. Tambin lo tendr Q si A>0 . Y si A<0 , tendr un mximo.

Si AC = B2 (cuadrados perfectos), o si A = 0 o C = 0 aparecen casos ms fciles de analizar .

Con lo anterior (y probando que los trminos de mayor orden no cambian la grfica cerca del
punto) se llega a este resultado, en el que aparece el llamado determinante hessiano H f (a) :
Sea H f = fxx fyy
Teor 2.

2 =
fxy

fxx fxy
fxy fyy

H f > 0 , fxx > 0 ) f tiene mnimo local en a .

Si en a es fx = fy = 0 y adems es H f > 0 , fxx < 0 ) f tiene mximo local en a .
H f < 0 ) f tiene un punto silla en a .
[Cuando H f = 0 , el teorema no dice nada y puede pasar de todo en un entorno del punto].

Ej 5. Veamos qu dice este teorema sobre los ejemplos 2, 3 y 4. Respectivamente, los hessianos son:
Hh(0) = 2 ( 2) 02 = 4 ) punto silla. H f (0) = ( 4) ( 2) 12 = 7 , fxx < 0 ) mximo.

Hg(x, x)=( 2)( 2) ( 2)2 =0 , y el teorema no nos dice nada sobre estos mnimos no estrictos.

4
4
En un a con H f = 0 puede haber extremos estrictos. Por ejemplo, f (x, y) = x +y tiene un claro mnimo .

Ej 6. Clasifiquemos los puntos crticos de f (x, y) = x3 +y2 3x 4y+6 .

fx = 3x2 3 = 0 ! x = 1
fy = 2y 4 = 0 ! y = 2

fxx = 6x , fxy = 0 , fyy = 2 ) H f = 12x , que en (1, 2) es > 0 (y tambin fxx ), y en ( 1, 2) es < 0 .

Por tanto, hay un mnimo en (1, 2) con f (1, 2)=0 y un punto de silla en ( 1, 2) f ( 1, 2)=4 .
A la misma conclusin podramos llegar desarrollando por Taylor en torno a ambos puntos:
f (x, y) = 3(x 1)2 +(y 2)2 + , f (x, y) = 4 3(x+1)2 +(y 2)2 + .

El mnimo local no es absoluto, pues claramente f toma valores negativos; por ejemplo, f ( 3, 0) = 12 .

Citemos ahora brevemente los resultados para R3 que ilustran lo que pasa en Rn . Debemos saber (y eso
ser estudiado en lgebra) cundo la forma cuadrtica Q(x, y, z) = Ax2 +By2 +Cz2 +2Dxy+2Exz+2Fyz
(o lo anlogo en Rn ) es estrictamente positiva o negativa. Para una f (x, y, z) se llega a este resultado:
0
1
fxx fxy fxz
fxx fxy fxz
fxx fxy
Sean H1 = fxx , H2 =
, H3 = fxy fyy fyz o sea los menores principales de @ fxy fyy fyz A .
fxy fyy
fxz fyz fzz
fxz fyz fzz

Supongamos que en el punto a es f = 0 y que ningn Hk = 0 . Entonces si H1 > 0 , H2 > 0 , H3 > 0 , f

tiene un mnimo. Si H1 > 0 , H2 < 0 , H3 > 0 , un mximo. Y ni mximo ni mnimo en los dems casos.
Ej 7. Estudiemos el campo escalar f (x, y, z) = sen2 x+y2 +z2 y sen x+z sen x yz cerca de (0, 0, 0) .
fx = cos x(2 sen x y+z) = 0

fy = 2y sen x z = 0
) (0, 0, 0) es punto crtico. Hay ms, por ejemplo
fz = 2z+sen x y = 0
0

2
@ 1
1

1
2
1

1
1
1A
2

fxx = 2 cos 2x+(y z) sen x , fyy = fzz = 2 ,

p 1
2 , 3,

1
3

fxy = fxz = cos x , fyz = 1 .

! H1 = 2 , H2 = 3 , H3 = 4 . Hay un mnimo en el origen. [En el otro, silla].

O Taylor en 3 variables: f (x, y, z) = x2 +y2 +z2 xy+xz yz + o(x2 +y2 +z2 )

12 (x y)2 +(x+z)2 +(y z)2 , claro mnimo .

20

Pasemos a ocuparnos del clculo de extremos absolutos sobre un conjunto A Rn . Sabemos

que su existencia est garantizada cuando f es continua en A compacto (en otro caso no).
z

1
Ej 8. f (x, y) = x2 +y
2 , f (0, 0) = 7 (discontinua), no tiene mximo en [0, 1][0, 1] .

En todo R2 no tiene ni mximo ni mnimo. En [1, 2][0, 1] (en ese compacto

s es continua) los alcanza seguro [claramente el mximo 1 se da en (1, 0),
punto ms prximo al origen, y el mnimo 15 en (2, 1), punto ms lejano].

1
x

La estrategia para hallar extremos sobre compactos A es similar a la que se utiliza en R :

Encontrar en int A los puntos crticos y los puntos en que no existan las parciales.
Localizar los extremos de la funcin sobre A (quizs con multiplicadores de Lagrange).
Comparar los valores en todos estos puntos.
(primer dibujo

Ej 9. Encontremos los extremos de f (x, y) = (y 1) e4y 2y 3x2 , en [ 1, 1][0, 2] de esta seccin)

fx = 6x = 0 ! x = 0 .
En esos puntos: f 0, 12 = 12 e3/2 , f 0, 32 = 12 e3/2 .
2
fy = ( 4y2 +8y 3) e4y 2y = 0 ! y = 12 , 32 .
Adems f (x, 0) = 1 3x2 tiene por valor mximo f (0, 0) = 1 y el mnimo es f (1, 0) = 4 .
f (x, 2) = 1 3x2 tiene por valor mximo f (0, 2) = 1 y el mnimo es f (1, 2) = 2 .
2
f (1, y) = (y 1) e4y 2y 3 toman valores entre 12 e3/2 3 y 12 e3/2 3 .
Comparando todos estos valores se deduce que el mximo es

1 3/2
2e

y el mnimo

En todo R2 no alcanza su mnimo, pues, por ejemplo, f (x, 0) ! , pero

x!

1 3/2
2e

1 3/2
2e

3.

s es mximo global .

Ej 1b. Hallemos los extremos de h(x, y)=y2 x2 en el conjunto A acotado por la elipse x2 +4y2 =4 .
h =1 h =0
Ya vimos que esta silla de montar no tena extremos en el interior y
as el mximo y mnimo han de tomarse en la A de este compacto.
Nuestra elipse se puede describir como: (2 cost, sent) , t 2 [0, 2p] .
Sobre ella, la h vale h| A = 4 sen2t cos2t g(t) , g0 (t) = 5 sen 2t .

h =-4

Los mximos de g se dan si t = 0, p y los mnimos para t = p2 , 3p

2 .
O sea, h(0, 1) = 1 y h(2, 0) = 4 son los extremos de h en A .

Una tcnica alternativa para buscar extremos de f sobre curvas suaves o, ms en general, de
hallar extremos condicionados (de funciones sometidas a condiciones g = K ) es mediante el
clculo de los llamados multiplicadores de Lagrange:
Sean f , g : D Rn ! R de C1 , S el conjunto de nivel g(x) = K , a 2 S e
Teor 3. interior a D y g(a) , 0 . Si f |S ( f restringida a S ) tiene un mximo o
un mnimo en a entonces existe un nmero real l tal que f (a)=l g(a) .

f=l g

f=C
g(x,y)=K

El teorema proporciona n+1 condiciones para determinar l y las n coordenadas

de a : las n de los gradientes y adems g(a)=K . No lo demostramos pero damos
una justificacin geomtrica en R2 : si buscamos el mayor C para el que es g=K ,
ser aquel en que las curvas de nivel f =C y la curva sean tangentes, es decir, para
el que ambos gradientes sean mltiplos uno de otro.

Ej 1c. Hallemos con el teorema los extremos de h|S , si h(x, y)=y2 x2 y S es la elipse x2 +4y2 =4 .
( 2x(l +1) = 0 ! x = 0 l = 1
#
h = l g , ( 2x, 2y) = l (2x, 8y) y adems g = 4 ! 2y(4l 1) = 0
y=0
#
#
x2 +4y2 = 4
y = 1
x = 2

En los puntos dados por el sistema (los mismos de 1b) son tangentes S y las curvas de nivel .

Cambiemos ahora la restriccin por esta recta R : y = 3x 4 . Busquemos los extremos de h|R .
[Como ahora el conjunto R no es compacto podran no existir ni mximos ni mnimos].

3 1
y 3x = 4 , ( 2x, 2y) = l ( 3, 1) ! l = 2x
3 = 2y , x = 3y , 8y = 4 . Punto 2 , 2 con h = 2 .
Mirando la recta y las curvas de nivel, queda claro que en ese punto hay un mnimo.

Directamente: h(x, 3x 4)=8(x2 3x+2) tiene mnimo si x= 32 (de valor

21

2 ) y no tiene mximo.

Los multiplicadores de Lagrange permiten resolver problemas abordables por otros caminos. Algunas
veces acortan los clculos y otros los alargan (por ejemplo, si la restriccin es de expresin sencilla):
Ej 10. Hallar los puntos de la curva 3y2 =21+20x x4 situados a mayor y menor distancia del origen.

Existen por estar x e y acotadas . f (x, y) = x2 +y2 con g(x, y) = x4 20x+3y2 = 21 .

(2x, 2y) = l (4x3

( 4l x3 2x 20l = 0
x=2
1
20, 6y) y g = 21 ! 2y(3l 1) = 0 ! y = 0 # l = 3 " #
p
y2 = 21+20x x4 x = 1, 3 y = 15

p
f ( 1, 0) = 1 (mnimo), f (3, 0) = 9 , f 2, 15 = 19 (mximos).

En ninguno de los ejemplos vistos se anulaba g sobre la curva S . Si fuera g(a) = 0

para algn a 2 S , a la vista del teorema, habra que incluir este a entre los candidatos .

Ej 11. Hallemos el punto de la parbola y = x2 ms cercano al punto

Para ello minimizamos x
2x 1, 2y
! x=1,

5
2

1 2
2 +

5 2
4

= l ( 2x, 1) e y = x2 !
1
2

1 5
2, 4

con la restriccin y x2 = 0 .
2xl +2x = 1 ! 4x3 3x 1 = 0
l = 2x2 52 %

(doble). El punto (1,1) est mas cerca a distancia

p
5
4

y=x 2

5/4
1

1/4

1/2

1/2

2
2
Con tcnicas de una variable: basta hallar el mnimo de x 12 + x2 54 , que lleva a la misma ecuacin

en x , dndonos adems la derivada informacin sobre crecimiento y decrecimiento que no da Lagrange .

Hay otra forma de obtener el conjunto de ecuaciones f (x) = l g(x) y g(x) = K : pensar en la funcin
L(x1 , . . . , xn , l ) = f (x) l g(x) K , con l como una variable ms, y hacer L = 0 , pues de esto salen
las misma ecuaciones. Operemos as en el siguiente ejemplo en R3 :
Ej 12. Hallemos los mximos y mnimos de f (x, y, z)=x+y2 +z sobre la superficie 2x2 +y2 + 2z2 =1 .
Los extremos existirn por ser f continua y ser la superficie (un elipsoide) un conjunto compacto.
Consideremos L = f l g = x+y2 +z

l (2x2 +y2 + 2z2 1) y hagamos L = 0 :

8
1
(
Lx = 1 4l x = 0 , x = 4l
1
1
>
>
y = 0 ! 8l1 2 + 8l1 2 = 1 , l = 12 ! 12 , 0 , 12 ,
>
2,0, 2 .
< L = 2y 2l y = 0 , y = 0 l = 1 !
p
p
y
l = 1 ! x = z = 14 , 14 +y2 = 1 ! 14 , 23 , 14 , 14 , 23 , 14 .
1
>
L
z = 1 4l z = 0 , z = 4l
>
p
>
:
3 1
1
1
1
5
Ll = 2x2 +y2 +2z2 1 = 0
f 12 , 0 , 12 = 1 , f
2,0, 2 = 1 , f (4 , 2 , 4 = 4 .

Por tanto, el valor mnimo absoluto es

1 , y el valor mximo es

5
4

(que se alcanza en dos puntos).

En R los multiplicadores abrevian ms. Deberamos parametrizar el elipsoide para trabajar directamente .

Se pueden resolver problemas con varias restricciones, incluyendo ms de un multiplicador de Lagrange.

Si, por ejemplo, queremos hallar los extremos de una f (x, y, z) sujeta a dos condiciones g(x, y, z) = 0 y
h(x, y, z) = 0 basta considerar L = f l g h , imponer L = 0 y resolver las 5 ecuaciones resultantes.

Cada una de las condiciones define una superficie y, en general, tendrn una curva de interseccin S .
En el punto en que haya un extremo la superficie de nivel f =C y la curva S sern tangentes. Como g
y h determinan el plano normal a la curva en el punto y f est en ese plano, deben existir escalares
l y (los multiplicadores de Lagrange) tales que f = l g h .
x+y+z = 3
.
x+2y+3z=18
l (x+y+z 3) (x+2y+3z 18) .

Ej 13. Hallar el punto ms cercano al origen de la recta interseccin de los planos

Minimizamos x2 +y2 +z2 con 2 condiciones: L = x2 +y2 +z2

Lx = 2x l = 0 , Ly = 2y l 2 = 0 , Lz = 2z l 3 = 0 , Ll = 0 , L = 0 dan los planos.

3y = 3
2a 1a y 3a 2a ! 2x 2y = = 2y 2z , z = 2y x !
! x= 5, y=1, z=7 .
8y 2x = 18
Ms largo sin usar multiplicadores. Por ejemplo, parametrizando la recta. El vector direccin lo da

(1, 1, 1)(1, 2, 3)=(1, 2, 1) y un punto, por ejemplo, es ( 9, 9, 3) z=3 ! x+y=0 , x+2y=9 .

Sobre la recta: d(t) (t 9)2 +(9 2t)2 +(t+3)2 , d 0 = 12t 48 , mnimo si t = 4 ! ( 5, 1, 7) .

22

2.4 Funciones implcitas e inversas

En Matemticas ya hemos derivado implcitamente, pero cundo una expresin F(x, y)=0 , con F 2C1 ,
define realmente una funcin derivable y = g(x) cerca de un punto (a, c) de la curva? Entonces sera
F x, g(x) = 0 , y la regla de la cadena nos dara: Fx x, g(x) +Fy x, g(x) g0 (x) = 0 ) g0 (a) = FFxy (a,c) .
Cundo no definir una funcin? Parece haber problemas cuando sea Fy (a, c)=0 .
Por ejemplo, para la circunferencia F(x, y) = x2 +y2 1 = 0 , Fx = 2x , Fy = 2y , si
p
y=0 define 2 funciones y= 1 x2 , no derivables adems en los puntos (1, 0) .
Cerca
de cualquier otro punto, por ejemplo (0,1) , s define una sola g(x) derivable

aunque en ese mismo punto, con Fx = 0 , no define una nica funcin x = h(y) .

(0,1)

y=
(1,0)

y=

F=0

Algo anlogo sucede en R3 . La superficie esfrica F(x, y, z) = x2 +y2 +z2 1 = 0 definepuna funcin
z = g(x, y) de C1 cuando Fz = 2z , 0 . Por ejemplo, cerca de (0, 0, 1), tal funcin es z =
1 x2 y2 .
Cuando una F = 0 defina z = z(x, y) , dar sus derivadas es de nuevo fcil derivando implcitamente:
Fx
Fz

F(x, y, z(x, y)) = 0 ) Fx + Fz zx = 0 , Fy + Fz zy = 0 ) zx =

, zy =

Fy
Fz

El siguiente teorema particular de la funcin implcita (demostrado en M-T) generaliza estas ideas:

Sea F : Rn+1 ! R de C1 , F(a, c) = 0 y Fz (a, c) , 0 . Entonces existe una nica z = g(x) que
(x,z) ! F(x,z)

cumple F x, g(x) = 0 para x cerca de a , z cerca de c , y son x =

j

F/ xj
F/ z

, j = 1, . . . , n .

Cambiando papeles, el teorema tambin precisa que F(x, y)=0 define una funcin x(y) cuando Fx ,0 , o
cundo F(x, y, z)=0 define una y=y(x, z) o una x=x(y, z) . Que la derivada respecto a lo que queremos
despejar sea nula no implica que no defina una funcin (aunque deje de ser C1 ):
Ej 1. Para F(x, y) = 8x+y3 ex+1 = 0 es Fx = 8+y3 ex+1 , Fy = 3y2 ex+1 = 0 , y = 0 .

Entonces F = 8x = 0 . El teorema afirma que hay una y(x) de C1 salvo en (0, 0) .

Pero podemos despejar: y = 2x1/3 e (x+1)/3 , funcin nica por (0, 0) no C1 .

F=0
En el mnimo de esta funcin 1, 2e 2/3 , F = 0 s define dos funciones x(y) . 2e

A este punto malo podemos llegar sin despejar: 8 = y3 ex+1 ! F = 8x 8 = 0 ! 8+ e2 y3 = 0 .

2/3

El teorema asegura cundo existe la funcin definida implcitamente, pero no dice cul es. De hecho es
ms interesante si no podemos calcularla (a diferencia de los ejemplos anteriores). Lo ms complicado
entonces para aplicarlo es, usualmente, localizar puntos que pertenezcan a la curva o superficie.
Ej 2. Sea F(x, y) = x3 +y3 3xy = 0 . Dibujo de la curva con el implicitplot de Maple:
Fx =3(x2 y) , Fy =3(y2 x) . Cuando x,y2 , F =0 define y=y(x) de C1
y si y,x2 , una x=x(y) . Como Fx =Fy =0 en (1, 1) , que no es de la curva,
y en (0, 0) , salvo en este ltimo punto la curva describe una funcin C1 de
una de la variables (en casi todos los puntos, de las 2). Hay problemas si:
x = y2 ! F = y3 (y3 2) = 0 ! y = 21/3 ! 22/3 , 21/3 (1.59,1.26 ,
punto en que hay 2 funciones y(x) [y en el punto simtrico para x(y) ].
En el resto de puntos, aunque la y(x) 2C1 no sea calculable, podemos saber muchas cosas de ella.
Por ejemplo: y = x ! 2x3 3x2 = 0 ! (0, 0) y
3(x2

Y ahora, y00

y) + 3(y2
3
2

x)y0 =

0!

y0 32

x2

=x

3 3
2, 2

. Hallemos en el segundo la recta tangente:

y2 (3/2,3/2)

3
x 32 = 3 x .
2
2x 2y0 +2y(y0 )2
=
(3/2,3/2)
x y2

= 1 ! y=

: (2x y0 )+(2yy0 1)y0 +(y2 x)y00 = 0 ! y00

3
2

32
3

Ej 3. Sea F(x, y, z) = x3 +y2 +xz2 2z3 = 1 . F = 3x2 +z2 , 2y, 2z(x 3z) = (0, 0, 0) , x = y = x = 0 .
Como (0, 0, 0) no pertenece a la superficie, cerca de todo punto suyo (con una parcial no nula) se
puede despejar alguna de las variables, definiendo una funcin C1 (y tendr plano tangente).
En concreto, seguro que existe la z(x, y) si z,0 y x,3z . Hay problemas con x(y, z) si x=z=0
p
(e y=1 por tanto). Y los tiene y(x, z) si y=0 s se puede despejar y : el
los confirma .
Demos el plano tangente en (1, 1, 1) . Lo mejor: (4, 2, 4)(x 1, y 1, z 1)=0 ! z=x+ 2y
Ahora hallando

3x2 +z2
zx = 2z(3z
x)

2y
zy = 2z(3z
x)

, y con la otra frmula de 2.1: z=1+(x

23

1)+ 12 (y

1
2

1) .

Veamos el caso general de funciones implcitas. Queremos ahora resolver m ecuaciones con m variables:
(
F1 / u1 F1 / um
F1 (x1 , . . . , xn , u1 , . . . , um ) = 0
..
..
,
F(x,
u)
=
0
.
El
papel
de
F
lo
cumple
D
=
.

z
.
.
Fm (x1 , . . . , xn , u1 , . . . , um ) = 0
Fm / u1 Fm / um
El teorema general de la funcin implcita asegura:

F 2C1 , F(a,c) = 0 , D(a,c) , 0 ) el sistema, cerca de (a,c) , define m nicas funciones C1 :

uk = gk (x1 , . . . , xn ) , k = 1 . . . m , cuyas derivadas se pueden hallar derivando implcitamente.
Ej 4. La curva interseccin de las superficies x2 +y2 2x = 0 y x2 +y2 +z2 = 3
puede escribirse paramtricamente en la forma c(x) = x, y(x), z(x) cuando:
D=

F1 / y F1 / z

2y 0
= 4yz , 0 . Por ejemplo, cerca de (1, 1, 1) .
2y 2z
2x+2yy0 2 = 0
y0 = (1 x)/y
c0 tangente:
! c0 (1) = (1, 0,
2x+2yy0 +2zz0 = 0
z0 = 1/z

F2 / y F2 / z

Para hallar el

1) .

Se puede dar un vector tangente de otro modo. F1 , F2 son ortogonales a

cada superficie y F1 F2 = 2(x 1, y, 0)2(x, y, z) = 4 yz, (1 x)z, y ser tangente a la curva.
Ej 5. Veamos dnde

n u+v = x+y
xu+yv = 2

definen u(x, y) y v(x, y) .

n F = u+v x y
1
) D = 1x 1y = y x .
F2 = xu+yv 2

Por ejemplo, estn bien definidas cerca de x=1 , y=2 , u=4 , v= 1 . Hallemos ux (1, 2) y vx (1, 2) :
ux +vx = 1
u+x
! ux = u+y
y x , uy = x y . Evaluando en (1, 2, 4, 1) : ux (1, 2) = 6 , vx (1, 2) = 5 .
u+xux +yvx = 0

Anlogamente se calcularan uy (1, 2) = 1 , vy (1, 2) = 0 .

(1, 1, 1, 1) tambin cumple el sistema, pero probablemente u y v no estn definidas cerca del punto .

Una f : R ! R derivable con f 0 (a) , 0 tena inversa f 1 en un entorno de b = f (a) .

Un caso particular del ltimo teorema nos precisa cundo la tiene f : D Rn ! Rn :
(

x1 = f1 (u1 , . . . , un )
(x ,...,x )
, x = f(u) . (u1 ,...,unn ) = Jf =
1
xn = fn (u1 , . . . , un )

Teorema de la funcin inversa:

(u1 ,..,un ) ! (x1 ,..,xn )

f1 / u1 f1 / un
..
..
jacobiano de f .
.
.
fn / u1 fn / un

a
v

f
u

f 1

Sea f : D Rn ! Rn de C1 , a 2 intD , f(a) = b y Jf , 0 . Entonces x = f(u) es resoluble

(u1 ,..,un ) ! (x1 ,..,xn )

en forma nica como u = f 1(x) , con f

tambin C1 , para u cerca de a y x cerca de b .

[Que exista la inversa no significa, como suceda en R , que su expresin explcita se pueda dar].
[El teorema (y todos los de la seccin) slo da resultados locales (en entornos de los puntos)].
Ej 6.

x = au+bv Podemos despejar u e v en funcin de x e y , (x,y)

a b
.
=
= ad bc , 0 .
c d
y = cu+dv es decir, existe la funcin inversa f 1 cuando: (u,v)

x = eu cos v (x,y)
eu cos v eu sen v
.
= u
= e2u , 0 ) existe f
e sen v eu cos v
y = eu sen v (u,v)

[En este caso la inversa el global en todo R2 y no slo en el entorno que asegura el teorema. Cuando
el determinante es nulo, la aplicacin lineal lleva todo R2 a una recta o un punto y no hay inversa].

Ej 7.

en un entorno de cada punto.

A pesar de que hay inversa local en cada punto, no hay inversa global, pues f no es inyectiva en R2 :

cada (x, y) de la imagen que es R2 {0} proviene de infinitos (u,v) distintos: f(u, v+2kp)= f(u,v) .

Aunque no se pudiese despejar u y v podramos hallar sus derivadas derivando implcitamente.

1 = eu cos v ux eu sen v vx 1ac+2as

! cos v = eu ux , ux = e u cos v , y anlogas las otras.
0 = eu sen v ux + eu cos v vx
u

x
e
Podemos despejar u = 12 log(x2 +y2 ) , v = arctan xy , y llegamos a lo mismo: ux = x2 +y
2 =

cos v
e2v

x=u
(x,y)
.
= 1 0 = 2v ) existe f 1 en un entorno de la imagen de cada (uo ,vo ) , vo , 0 .
y = v2 (u,v) 0 2v
Por qu fallan las cosas en v = 0 ? f lleva cada pareja de
rectas v=k a la misma recta y=k2 . En ningn entorno
de f(uo , 0) = (uo , 0) es inyectiva y no existe la f 1 .
p
p
En los otros puntos, f 1 viene dada por x = u e y = v y =
v , dependiendo del semiplano.

Ej 8.

24

3. Integrales mltiples
3.1 Integrales dobles
[Las demostraciones son similares a las de R y hacemos pocas].

Generalizamos la definicin de la integral en una variable. Sea f (x, y) acotada en un rectngulo

R = [a, b][c, d] R2 . Dividimos R en nn subrectngulos iguales Ri j = [xi 1 , xi ][yk 1 , yk ] , del mismo rea
Dx Dy= b n a d n c . Llamamos Mik y mik , respectivamente,
Mik
al supremo e nfimo de f en cada Ri j y formamos las
mik
sumas superior Un e inferior Ln :
d y
c
n

i, j=1

i, j=1

Un = Mi j Dx Dy , Ln = mi j Dx Dy
(sumas de volmenes de prismas, una superior y otra
inferior al volumen que encierra f (x, y) si f 0 ).

xi
b
x

xi-1

yk-1 yk

Si ambas sucesiones {Ln } y {Un } tienden hacia un mismo

lmite,RRdecimos que f
RR
es integrable en R , representamos el lmite comn por R f R f (x, y) dx dy
y le llamamos integral de f en R .

RR

f representar (similar a lo que suceda en R ) la suma de

los volmenes encerrados entre la grfica de f y el plano z=0
en R , con signos + o adecuados. Y al igual que suceda all:
R

f continua en R ) f integrable en R .

Teor 1.

Tambin aqu las funciones poco discontinuas siguen siendo integrables:

Si el conjunto de puntos de R en que una f acotada es discontinua es como
mximo en un nmero finito de puntos y un nmero finito de grficas de funciones
continuas, entonces f es integrable en R .

Teor 2.

Para calcular integrales dobles no necesitaremos la definicin, el problema se reduce a calcular

dos integraciones sucesivas de funciones de una variable:
ZZ
Z dh Z b
Z bh Z d
i
i
Teorema
f es continua en R )
f=
f (x, y) dx dy =
f (x, y) dy dx .
de Fubini:

y)
A(

a
b
x

d
y

Rb

Para cada y constante A(y) = a f (x, y) dx representa el rea de la

seccin del slido determinado por la grfica de fRR; integrando
esta
R
A(y) entre c y d obtenemos el volumen dado por R f = cd A(y) dy .
La segunda igualdad es lo simtrico.
[Hay funciones raras (discontinuas, claro) para las que el teorema falla].

y=cte

Ej 1. Sean R = [0, p][0, 1] y f (x, y) = 2x y sen x . Calcular la integral es fcil:

ZZ
Z p Z 1
Z p
Z p

p
2
x 1
f=
(2x y sen x)dy dx =
2xy y sen
dx =
2x sen2 x dx = x2 + cos2 x 0 = p 2 1 .
2
0
R

O tambin podramos hacer:

ZZ
Z 1 Z p
Z 1
Z

p
f=
(2x y sen x)dx dy = x2 +y cos x 0 dy =
R

p 2 2y dy = p 2
"

2 1
y 0 = p2 1 .

[No olvidemos que la integral de una constante es la constante por la longitud del intervalo].

Ej 2.

R dR b
c a

f (x)g(y) dx dy =

Rd
c

g(y)

R b
a

R
R
[Este tipo de atajo lo
f (x) dx dy = ab f (x) dx cd g(y) dy . haremos ms veces].

25

Generalicemos el recinto de integracin. Sea ahora D regin acotada del plano. Sobre un
n
f (x, y) si (x, y) 2 D
rectngulo R D definimos la funcin f (x, y) =
.
0

Se define

ZZ

ZZ

f=

si (x, y) < D

f si f es integrable.

Describe (si f 0 ) el volumen limitado por la grfica de f en D .

[Y en el caso particular en que f = 1 , es el rea de D ].
Si la frontera de D se puede poner como unin finita RR
de grficas de
funciones continuas y f es continua ya sabemos que D f existir.
Consideremos dos tipos sencillos de regiones D de integracin (recintosRRms complicados se
podrn descomponer en otros de esa forma). A la vista del significado de R f est claro que:
y

Teor 3.

d(x)

i) Si f continua en D = (x, y) : a x b, c(x) y d(x) ,

c(x)
a
d

con c(x) d(x) continuas en [a, b] )

con a(y) b(y) continuas en [c, d] )

y
c

f (x, y) dy dx .

Z dZ b(y)

f (x, y) dx dy .

a c(x)

ZZ

Ej 3. Integremos f (x, y) = x cos(x+y) sobre el D del dibujo:

ZZ
Z p Z x
Z p

f=
x cos(x+y) dy dx = x [sen 2x sen x] dx
0
0
0
D

p Z p 1

1
= x(cos x 2 cos 2x) 0 +
2 cos 2x cos x dx =

c a(y)

b(y)=

O, con clculos ms largos, integrando primero respecto a x :

ZZ
Z p Z p
partesZ p
f=
x cos(x+y) dx dy = [ p sen y cos y y sen 2y
y

d(x)=x
a(y)=y

3p
2

f=

Cuando x vara entre a y b , la y vara entre c(x) y d(x) , e igual la otra .

Z bZ d(x)

f=

ii) Si f continua en D = (x, y) : c y b, a(y) x b(y) ,

b(y)

a(y)

ZZ

c(x)=0

3p
2

cos 2y] dy =

A veces, no slo es preferible integrar primero respecto de una de las variables y luego respecto
de la otra, sino que notenemos otra opcin. Por ejemplo, si fuese f (x, y) = sen x2 , no se podra
R R
hallar 0p yp sen x2 dx dy , por ser la primitiva no calculable, pero s se puede hacer:
Z p Z x
Z p

sen x2 dy dx = x sen x2 dx = 12 cos x2 0 = 12 1 cos p 2 .

0

En recintos ms complicados habr que dividir. La integral sobre el recinto

total D ser la suma de las integrales sobre cada uno de los subconjuntos:
Ej 4.

ZZ

f=

Z 0 Z x2
1

2x 1

f (x, y) dy dx +
p

Z 1Z x2

0 2x 1

y=x 2

(Los [ ] no se
f (x, y) dy dx . suelen poner).

O bien, como
, x = y , y = 2x 1 , x = 12 (y+1) ,
se puede hacer (calculando ms integrales) tambin de esta forma:
y = x2

ZZ

f=

Z 1Z
0

p
y

f (x, y) dx dy +

(y+1)/2

Z 1Z (y+1)/2
0

p
y

f (x, y) dx dy +

Si en particular integramos f 1 obtendremos el rea de D :

A=

RR

D1

R0

1 (x

R
2 +2x+ 1) dx + 1 (x2
0

y=2x1

Z 0 Z (y+1)/2
1

(y+1)/2

y=2x1

f (x, y) dx dy .

2x+ 1) dx = 13 + 13 = 23 .

R
Integrales iguales por ser f 1 par en x y D simtrico respecto a x = 0 ; bastaba hacer 2 01 .

RR
R
R
p
O bien: A =
1 = 2 1 y+1
y dy + 0 y+1 dy = 2 1 + 1 = 2 [ 1 = rea trigulo].
D

12

Tomemos ahora f (xy) = 2xy y hallemos la integral por el primer camino:

ZZ
Z 0
Z 1
Z 0
Z 1
x 2
x 2
f=
xy2 2x 1 dx + xy2 2x 1 dx = [x5 4x3 4x2 x] dx + [x5 4x3 +4x2 x] dx
D

=[

1
5 +1

4 1
1
3+2]+[5

1+ 43

1
2] =

1
30

1
30

= 0.

Deba anularse por ser f impar en x y D simtrico respecto a x=0 . El volumen negativo definido

por la grfica de f en la parte de D con x 0 se concela con el positivo de la parte con x 0 .

26

Cambios de variable
Generalicemos para integrales dobles la frmula para integrales en R:
Rb
a

f (g(u)) g0 (u) du

R g(b)
g(a)

f (x) dx , con

en concreto, el caso de g inyectiva (creciente o decreciente) en [a, b] :

R

[a,b]

f (g(u)) |g0 (u)| du

g([a,b])

f (x) dx .
RR

En R2 nuestra situacin ser esta: para hallar

f (x, y) dx dy ;

D=g(D*)

D*

realizaremos un cambio de variable g : D R2 ! D R2

(u, v) ! x(u, v), y(u, v)

con el fin de que el nuevo recinto de integracin D o la nueva

funcin a integrar sean ms sencillas.
Teor 1.

g 2C1 ([a, b])

Sea g:(u, v)! x(u, v), y(u, v) de C1 , inyectiva en D, g(D)=D y f integrable.

Entonces:

ZZ

ZZ

f (x, y) dx dy =

f x(u, v), y(u, v)

(x,y)
(u,v)

du dv .

La demostracn es complicada y no se da. Pero hacemos observaciones sobre hiptesis y resultado.

El teorema sigue siendo cierto aunque g deje de ser inyectiva en puntos sueltos o curvas continuas.
(x,y)
(u,v)

= xyu xyv , 0 en un punto, el teorema de la funcin inversa nos

u
v
asegura que g es inyectiva en un entorno de ese punto, pero sabemos que aunque no se anule en
ningn punto de D esto no basta para que sea inyectiva en todo D .

Si el determinante jacobiano

En el caso de que f 1 queda

ZZ

dx dy =

ZZ

(x,y)
(u,v)

du dv = rea de D , con lo que el jacobiano

viene a ser una medida de cmo un cambio de variable distorsiona el rea.

Si D es un pequeo rectngulo del plano uv , al ser g diferenciable una buena aproximacin es

g(uo +Du, vo +Dv) g(uo , vo )+ Dg(uo , vo )(Du, Dv) ,
g
dg(D*)
v D*
y, por tanto, D = g(D) ser aproximadamente igual al
D
paralelogramo Dg(D) de vrtice g(uo , vo ) y de lados
(uo,vo ) u
g(uo,vo )
Dg(Du, 0) = Du

xu
x
y Dg(0, Dv) = Dv v ,
yu
yv

cuyo rea es el valor absoluto de

(x,y)
(u,v)

pues (a1 , a2 , 0)(b1 , b2 , 0) = |a1 b2 a2 b1 | mide reas .

Si D es un conjunto ms general, el rea de D = g(D)

ser aproximadamente

(x,y)
(u,v)

Du Dv

Du Dv , expresin que en el lmite ser la integral sobre D .

Como primer ejemplo de cambio de variable consideramos los cambios lineales:

n
x = Au + Bv
(x,y)
. Si (u,v)
= CA DB = AD BC , 0 define biyeccin de R2 en R2 .
y = Cu + Dv
!

ZZ

f (x, y) dx dy = |AD BC|

ZZ

f (Au+Bv,Cu+Dv) du dv .

[Las regiones se transforman de forma sencilla por llevar las aplicaciones lineales rectas a rectas].
Ej 1. Sea D el cuadrado de la figura y calculemos
La forma de f y el recinto sugieren:

n x+y = u
x y=v

ZZ

(x y)2 ex+y dx dy .

n x = (u+v)/2
y = (u v)/2

Las rectas que definen los lados pasan a ser: u = 0 , 1 , v = 0 , 1 .

El jacobiano

1/2 1/2
1/2

1/2

1
2

. As pues,

ZZ

= 12

R 1R 1 2 u
e 1
0 0 v e du dv = 6 .

27

y
v
y=x
y=x

y=1x
1

y=x1

u
1

Ms a menudo aparece y ms til es el cambio a polares:

n
x = r cos q
cos q r sen q
(x,y)
2
2
. El jacobiano es ahora: (r,q
) = sen q r cos q = r(cos q +sen q ) = r .
y = r sen q
ZZ

Y la frmula adopta la forma:

f (x, y) dx dy =

ZZ

r f (r cos q , r sen q ) dr dq .

Qu D provienen de conjuntos D sencillos del plano rq ?

Un rectngulo [r1 , r2 ][q1 , q2 ] pasa a ser un sector de corona circular limitado por las circunferencias de radio r1 y r2
y las rectas que pasan por el origen de pendientes q1 y q2 .

r=f2( )

D*

r=f1( )

r1

r2

r1

r2

Si queremos hallar el rea en polares de una regin D

limitada en q 2 [a, b ] por r = f1 (q ) y r = f2 (q ) ser:
Z b Z f2 (q )
Z b

rea =
r dr dq = 12
f22 (q ) f12 (q ) dq ,

f1 (q )

coincidente con lo visto en los apuntes de matemticas.

En el primer ejemplo, tanto el recinto como el x2 +y2 del integrando piden a gritos las polares:
ZZ p
y
Ej 2. Hallemos
4 x2 y2 dx dy , con D el sector circular del dibujo:
ZZ

4 r2 dr dq =

Z p/2 h Z 2
0

r 4 r2

1/2

i
(4 r2 )3/2 2 4p
dr dq = p2
= 3
3
0
"

el [] no depende de q

octante de esfera %

Obsrvese que el cambio a polares no es inyectivo en lado izquierdo del

, rectngulo D (todos los puntos con r = 0 van al origen), pero como ya
dijimos, no importa que falle la inyectividad en puntos o rectas sueltas.
1

D*
2

En otros D el cambio a polares complicar normalmente el recinto.

Por ejemplo, el tringulo del dibujo dara lugar a la integral:

x+y=1

/2

x
1

RR

R p/2R 1/(sen q +cos q )

f= 0 0
r f (r cos q , r sen q ) dr dq
y no haramos el cambio salvo que f se simplificase notablemente.
D

Aqu es el recinto el que pide usar polares:

!
Ej 3. Hallar la integral doble D (x y)2 dx dy , siendo D el semicrculo dado por x2 +y2 4 , x 0 .
En polares es (r cos q r sen q )2 = r2 cos2 q +sen2 q
R p/2 R 2 3
p/2 0 r 1

R p/2

sen 2q dr dq = 4

" por el jacobiano

p/2 (1

2 sen q cos q = r2 1 sen 2q . Por tanto:

sen 2q ) dq = 4p .

x=

(es impar)

Deba ser mayor que 0 por ser el integrando positivo. En cartesianas sera mucho peor:
Z 2 Z p4 y2
p
R
x2 2xy+y2 dx dy = 2 2 y3 4y+ 23 (y2 +2) 4 y2 dy =

4y2

r=2

2 0

En el siguiente ejemplo, aunque el recinto no parecera adecuado a las polares, por no estar limitado por
curvas r = cte o q = cte , el aspecto del integrando las pide indudablemente:
y

Ej 4. Integremos f (x, y) = x2 +y2 , sobre el semicrculo x2 +(y 1)2 1 , y 1 .

Las curvas que limitan el recinto, escritas en polares quedan:

y = r sen q = 1 ! r = 1/ sen q , x2 +y2 = 2y , r2 = 2r sen q ! r = 2 sen q .

Z 3p/4Z 2 sen q
p/4

r2 sen q
r2
1/ sen q

dr dq =

Z 3p/4
p/4

(2 sen2 q 1) dq =

R 3p/4
p/4

cos 2q dq = 1 .

Las cuentas se complican bastante si se intentan hacer de cualquier forma en cartesianas:

Z 1 Z 1+ p1 x2
Z 1
p

y
1
dy
dx
=
ln 2 + ln 1+ 1 x2 + ln(1+x2 ) dx =
2
2
2
x
+y
1 1
1
Z 2Z p2y y2
Z 2
Z 2
p

p2y y2
2 y
y
x
p
O peor:
dx
dy
=
par
en
x
=
2
arctan
dy
=
arctan
p
2
2
y
y dy =
0
x +y
1

2y y2

28

Usemos el cambio a polares para hallar un integral impropia de una variable con primitiva no elemental:
Z

Ej 5. Para calcular I =
Z Z
0

(x2 +y2 )

dx dy =

En polares queda:

Z
0

Z p/2Z
0

x2 dx

consideramos la integral doble:

Z
2

x2

r2 dr dq

re

dx dy =

p
2

Z
0

y2

Ie

/2

dy = I 2 .

1
r2 = p
2e
4
0

Deducimos adems, por la paridad del integrando, que

) I=
e

x2 dx

p
2

p
= p.

Una modificacin del cambio a polares nos es til en el siguiente ejemplo:

y2

Ej 6. Calculemos el rea A de una elipse de semiejes a y b : ax2 + b2 = 1 .

n
x = ar cos q
El cambio a polares no es til, pero s este modificado:
,
y = br sen q
(x,y)
(r,q )

a cos q
sen q

ar sen q

br cos q

= abr . La elipse pasa a ser r = 1 ! A =

Con integrales en R: A = 4

b
a
0

a2 x2 dx = 4ab
"

R p/2
0

Z 2pZ 1
0

cos2t dt = 2ab

x = a sent , dx = a cost dt

RR

abr dr dq = pab .

R p/2
0

(1+cos 2t) dt = pab .

Adems del rea de D , A = D dx dy , y del volumen en D bajo f (x, y) 0 , V =

integrales dobles tienen otra serie de aplicaciones (las frmulas son anlogas para R3 ).
Por ejemplo el promedio de una magitud f en D es f =
La masa de una placa D es M =

RR

D r(x, y) dxdy ,

1
A

RR

f.

RR

f dx dy , las

si r(x, y) es su densidad.

El centro de masa de D es el punto (x, y) con x = M1

RR

D xr

, y = M1

Los momentos de inercia respecto a los ejes x e y son: Ix =

RR

RR

y2 r

D yr

, Iy =

(centroide si r = cte).
RR

Dx

2r

Ej 7. Sea un semicrculo D de radio R de densidad directamente proporcional a la distancia al centro

de D . Hallemos su centroide, su centro de gravedad y sus momentos de inercia respecto de los ejes.
D

c.masa
centroide

Se puede probar que si una lmina tiene un eje de simetra, su centroide est en
en dicho eje (y si tiene dos, est en su interseccin). Por tanto, xc = 0 . La otra
3 R 4R
RR
R R
yc = A1 D y dx dy = pR2 2 0p 0R r2 sen q dr dq = pR2 2 r3 0 = 3p
0.42 R .

R
Para el centro de gravedad hay que incluir la densidad r(r) = kr (simtrica). Tambin x = 0 .

Como la masa es M =

R pR R

Los momentos: Ix = k

kr2 dr dq = pR3 k , ser y = pR3 3

R pR R 3
3R
0 0 r sen q dr dq = 2p 0.48 R .
R pR R 4
kpR5
2

R pR R 4
kpR5
2
0 0 r sen q dr dq = 10 , Iy = k 0 0 r cos q dr dq = 10 .

29

3.2. Integrales triples

RRR

Anlogamente al caso n=2 se puede definir B f para f (x, y, z) acotada en un paraleleppedo

B = [a, b][c, d][p, q] , que representar un volumen en un espacio de cuatro dimensiones,
es decir, el volumen de un slido de cuatro dimensiones con base B y altura en cada punto
la que le asigna f (x, y, z) . Esta integral se podr de nuevo calcular mediante integrales iteradas:
f continua en B )

ZZZ

Z qZ dZ b

f=

p c

[o las otras 5 iteradas

intercambiando los
papeles de x , y , z ].

f (x, y) dx dy dz

Ej 1. Si f (x, y, z) = 2yz x y B = [0, 1][0, 2][0, 3] es:

ZZZ

f=

Z 1Z 2Z 3
0

Z 1Z 2

(2yz x) dz dy dx =

(9y 3x) dy dx =

Tambin podemos integrar sobre recintos V R3 ms generales.

R1
0

(18 6x) dx = 15 .
z

z=q(x,y)

Si V = (x, y, z) : a x b, c(x) y d(x), p(x, y) z (x, y) ,

con c d continuas en [a, b] y p q continuas
en D = (x, y) : a x b , c(x) y d(x) ,
y f continua en V )

ZZZ

Z bZ d(x)Z q(x,y)

f=

a c(x)

p(x,y)

V
f(x,y)
z=p(x,y)

f (x, y, z) dz dy dx .

y
a

Anlogas frmulas se obtienen variando los papeles de x , y , z , y muchos recintos que aparecen estarn incluidos en algunos de esos tipos.
RRR

En el caso de que sea f 1 ,

y=c(x)

y=d(x)

dx dy dz respresentar el volumen de V .

Lo ms difcil de las integrales triples es dibujar las grficas o al menos hacerse una idea de ellas para
saber cules de las funciones que definen los recintos son mayores o menores.
ZZZ

Ej 2. Calculemos

x dx dy dz , con V regin acotada por los planos:

x = 0 , y = 0 , z = 0 , x = 1 , y = 1 , x+y+z = 2 .

z =2 x y
1

En el cuadrado [0, 1][0, 1] del plano xy est z = 2 x y por encima de z = 0 .

ZZZ

x dx dy dz =

Z 1Z 1Z 2 x y

Z 1
0

2x x2

Z 1Z 1

x dz dy dx =
0
Z 1
y2 1
x 2 0 dx =
0

(2x x2 xy) dy dx

3x
2

3
4

x2 dx =

1
3

5
12

O un poquito ms corto si cambiamos el orden de dx y dy . El primer paso es igual, y luego:

Z 1Z 1
0

Ej 3. Hallemos
ZZZ

ZZZ

(2x x2 xy) dx dy =

f =

xyz dz dy dx =

Z 1
4
x(1 x)4
=
+ x(18 x)
4
0

Ej 4. Calcular

ZZZ

1
3

1
2y

dy =

2
3

1
4

5
12

x(1

x)4

Z 1Z 1 x
xy(1 x y)2
0

0
Z 1
x(1 x)4

dx =

12

dx =

1
360

0 0 0

z=1xy

y
x

ez dx dy dz , siendo V el slido limitado por

En [0, 1][0, 1] es z = 2 x2 mayor que z = 0 (no se necesita el dibujo).

Z 1Z 1Z 2 x2
Z 1Z 1
$

2
=
x ez dz dy dx =
x e2 x 1 dy dx
Z 1

dy dx

x = 0 , x = 1 , y = 0 , y = 1 , z = 0 y la superficie z = 2 x2 .

f con f (x, y, z) = xyz , y V el tetraedro de vrtices

(0, 0, 0) , (1, 0, 0) , (0, 1, 0) , (0, 0, 1) .

Z 1Z 1 xZ 1 x y

Z 1

x e2

x2

x dx=

2
e

x2 +x2 1 = 1
2
0

30

e2 e 1 .

z=2x 2
1

0 0

1
2

y=1x

1
1

Con hiptesis anlogas a las del plano se tiene la frmula para los cambios de variable:
Sea g:(u, v, w)! x(u, v, w), y(u, v, w), z(u, v, w) de C1 , inyectiva en V , g(V )=V
y f integrable )

ZZZ

ZZZ

f (x, y, z) dx dy dz =

f g(u, v, w)

(x,y,z)
(u,v,w)

du dv dw .

[Vale aunque g no sea inyectiva un nmero finito de puntos, curvas o superficies].

En particular nos interesan los cambios a cilndricas y esfricas. Definamos cada una de estas
coordenadas y familiaricmonos con ellas antes de hacer integrales.
z

Cilndricas:
r

0 , 0 q < 2p

El jacobiano es:

O sea, polares del plano xy junto con la coordenada z .

x = r cos q
de un (x, y, z) es trivial para z ,
y = r sen q . Dar las cilndricas
p
z=z
y adems es r = x2 +y2 , tan q = xy .
(x,y,z)
(r,q ,z)

r cos q r sen q 0
r sen q r cos q 0
0
0
1

=r

ZZZ

f (x, y, z) dx dy dz =

y
x

[localmente invertible si r > 0 ,

e inyectiva en r > 0 , 0 q < 2p ].

Con lo que la frmula del cambio de variable adopta la forma:

ZZZ

z
z

r f (r cos q , r sen q , z) dr dq dz

z=cte

V*

y
Qu conjuntos del espacio son sencillos en cilndricas? Los
x
r
=cte
r=cte
puntos r=C forman un cilindro, y los q =C y z=C planos
(vertical y horizontal). Un paraleleppedo V se convierte en un V como el de la derecha.

Podemos, como en polares, dar expresiones para el gradiente y el Laplaciano en cilndricas:

er = (cos q , sen q , 0)

f = fr er+ 1r fq eq + fz ez , eq = ( sen q , cos q , 0)

ez = (0, 0, 1)

Esfricas:
r

0, 0f p
0 q < 2p
(x,y,z)
(r,q ,f )

[ortogonales
, D f = frr + 1r fr + r12 fq q + fzz .
entre ellos]

r 2 = r2 +z2 ,

p
es r = x2 +y2 +z2 .

Como
x = r sen f cos q
y = r sen f sen q . Adems: tan q = xy , tan f = rz [mirando cuadrantes].
z = r cos f
[Los fsicos suelen cambiar los nombres de f y q ]. x

sen f cos q
sen f sen q
cos f

r sen f sen q r cos f cos q

r sen f cos q r cos f sen q
0
r sen f

= r 2 cos2 f sen f

sen q cos q
cos q sen q

r 2 sen3 f

cos q sen q
sen q cos q

= r 2 sen f . [Cambio no inyectivo en todo el eje z ].

La integrales en esfricas se calculan, pues, mediante:

ZZZ

ZZZ

f (x, y, z) dx dy dz =

r 2 sen f f (r sen f cos q , r sen f sen q , r cos f ) dr dq df

En esfricas, r =C describe una superficie esfrica,

q = C es un plano y f = C una superficie cnica.
Un recinto simple V en esfricas es, por tanto, el
dibujado a la derecha.

er = (sen f cos q , sen f sen q , cos f )

1
1
f = fr er + r sen
q f q eq + r f f ef , eq = ( sen q , cos q , 0)

ef = (cos f cos q , cos f sen q , sen f )

Df =

=cte
(esfera)
=cte (cono)

Se ve que el gradiente y el Laplaciano son aqu:

f
1
frr + r2 fr + r12 ff f + r cos
2 sen f f f + r 2 sen2 f f q q

=cte

(plano)

[ortogonales
,
de nuevo]

p
Ej 5. Escribamos el punto de coordenadas cartesianas
1, 1,
6 en los otros dos sistemas.
p
p 3p p
p
3p
r = 1+1 = 2 . tan q = 1 y 2 cuadrante ! q = 4 . En cilndricas:
2, 4 ,
6 .
p
p
p 3p 5p
p
2
1
5p
r = 1+1+6 = 2 2 . tan f = p6 = p3 , f = 6 . (r, q , f ) = 2 2 , 4 , 6 .

31

En los siguientes ejemplos se ve que muchos veces las cartesianas no son las coordenadas ms adecuadas
(si lo eran en los del principio de la seccin). El primero pide cilndricas (o polares), en el segundo lo
ms corto resultan ser las cilndricas y en el tercero, integrando sobre esfera, lo son las esfricas.
Ej 6. Calcular la integral de la funcin f (x, y, z) = z ex
ZZZ

z ex

2 +y2

dx dy dz =

Z 3Z 2pZ 2
2 0

2 +y2

sobre el cilindro x2 +y2 4 , 2 z 3 .

2 2
2
3
4 1) .
r z er dr dq dz = 9 2 4 2p 12 er 0 = 5p
2 (e

0 "

jacobiano

Lo mismo que integrar en z y hacer luego el cambio a polares. En cartesianas se puede

R 2 2
R 2 2
hacer porque aparecen primitivas no calculables: ex +y dx o ex +y dy .

p
Ej 7. Hallemos el volumen que encierran el cono z = x2 +y2
y el plano z = 0 sobre el cuadrado R = [0, 1][0, 1] .

Podemos hallarlo mediante integrales dobles o triples,

en las
RRR
coordenadas adecuadas en cada caso. Hacemos V dx dy dz .

En cartesianas es fcil el recinto, pero difciles las integrales:

Z 1Z 1Z px2 +y2
Z 1Z 1 q
h
i
tablas o
dz dx dy =
x2 +y2 dx dy = p 2 2
0 0 0

Z 1p

1
2 0

x +y = x+u

0 0

y2 ln y + y2 ln

1+y2

1+

1+y2

dy =

En cilndricas (o polares en la segunda integral): x = 1 ! r = cos1 q , cono y recinto simtricos,

Z p/4Z 1/ cos q
Z p/4
Z 1/ p2

p
2
dq u=sen q 2
du
1
1+u
1
1 1/ 2
2
2
r dr dq = 3
=
=
log
+
3
2
2
3 0
6
1 u
1+u 1 u 0
cos q
(1 u )
0
0
0
p
p
1
=3
2 + ln 1+ 2 .
Z p/4Z p/2Z 1/ cos q sen f

Esfricas: 2

p/4

Z p/4Z p/2

df dq
2
3
p/4 sen f cos q

2
3 0

r 2 sen f dr df dq =

Z p/4

2
3 0

dq
cos3 q

como
antes

Ej 8. Calculemos el volumen de la esfera unidad. En esfricas:

vol =
z

Z 2pZ 1Z p
0

r 2 sen f df dr dq = 2p

Z 1
0

4p
3

2r 2 dr =

En cilndricas por dos caminos (ms largo):

vol =

vol

Z 2pZ 1 Z p1 z2
0

1 0
Z 2pZ 1Z p1 r2
=
p
0
0
1 r2

r dr dz dq = 2p

Z 1

r dz dr dq = 2p

Z 1
0

1 z2
2

2r

dz =
1

4p
3

.
4p
3

r2 dr =

.
z=1x2y2

Las cartesianas son las coordenadas menos adecuadas aqu:

Z 1Z p1 yZ2 p1 x2 y2

vol = 8

0 0

= cambio x =

Z 1Z p1 y2 q

dz dx dy = 8

y2

1 x2 y2 dx dy

0 0
Z 1

sent = 8

p
4 (1
0

y2 ) dy

4
3p

x=1y 2

Aplicaciones fsicas similares a las vistas para las integrales dobles son:
Masa de un slido V es M =

RRR

D(x, y, z) dx dy dz , si D(x, y, z) es su densidad.

Centro de masa de V es (x, y, z) con x = M1

Momento de inercia respecto al eje z : Iz =

RRR

RRR

x D , y = M1
(x2 +y2 ) D

RRR

y D , z = M1

RRR

zD .

(anlogos los otros) .

V

Ej 9. Hallemos la posicin del centro de masa de una semiesfera slida homognea.

Por simetra, ser x = y = 0 . Volumen = 23 pR3 . Masa = 23 pR3 D , D constante .

Z 2pZ p/2Z R
h 4 iR h 2 ip/2
sen f
3
z = 2pR
r 3 sen f cos f dr df dq = R33 r4
= 3R
3
2
8 = 0.375R .
0

[El recinto peda a gritos utilizar las coordenadas esfricas].

32

4. Integrales de lnea
4.1 Integrales de campos escalares a lo largo de curvas
Una funcin vectorial (tambin llamada trayectoria o camino)
era una c : [a, b] R ! Rn , cuya grfica c(t) = (x1 (t), . . . , xn (t))
es una curva C en Rn y su derivada c0 (t) = (x10 (t), . . . , xn0 (t))
describe el vector tangente a la curva (el vector velocidad, si c(t)
est describiendo un movimiento en Rn ).

La recta tangente a C en c(to ) era: l(t) = c(to )+(t to ) c0 (to ) .

c'(t)

c(a)

c(t)
c(b)

c
[ t
a

]
b

c se dice C1 si es continua y c0 existe y es continua 8t 2(a, b) . Es C1 a trozos si C es continua

y [a, b] se puede dividir en un nmero finito de subintervalos en cada uno de los cuales c es C1
[su grfica ser entonces una curva continua sin recta tangente en un nmero finito de puntos].

Ej 1. c : 0, p2 ! R2 con c(t) = (cost, sent) es una trayectoria C1 pues

c0 (t) = ( sent, cost) existe 8t 2 0, p2 .
p
c : [0, 1] ! R2 con c(t) = t, 1 t 2 , c0 (t) = 1, t(1 t 2 ) 1/2
es otro camino C1 , que describe esa misma curva en sentido opuesto.
Se dice que c y c son dos parametrizaciones de la misma curva C .

y c(/2)

x
c(0)

c*

Sea c : [a, b] ! Rn un camino C1 y sea f un campo escalar en Rn tal que f c(t)

es continua en [a, b] . La integral de f a lo largo de c se define:
Z

Z b

f ds

f c(t) k c0 (t)k dt .

Si c(t) es solamente C1 a trozos o si f (c(t)) es continua a trozos, definimos c f ds

descomponiendo [a, b] en intervalos sobre los que f (c(t)) k c0 (t)k sea continua y
sumando las integrales sobre cada uno de ellos.
Ej 2. Si f (x, y) = xy2 y c , c son los de arriba, las integrales a lo largo de las dos trayectorias son:
Z
Z p/2
p/2
f ds =
cost sen2t 1 dt = 13 sen3t 0 = 13 .
0
c
Z
Z 1
1
f ds = t (1 t 2 ) p 1 2 dt = 13 (1 t 2 )3/2 0 = 13 .
c

1 t

No es casualidad que ambas integrales coincidan. Probaremos en 4.2 que:

Teor 1.

Si c y c describen la misma curva C , entonces

f ds =

f ds

f ds .

Como la integral de lneaRde una f escalar no depende de la parametrizacin, slo de la

curva, es lcita la notacin C f ds (integral de f sobre C ) donde c no aparece por ningn lado.
Interpretemos esta integral. Sea primero f 1 . Si pensamos que c(t) describe una partcula, al
ser kc0 (t)k la velocidad escalar en el instante t , parece claro que ds = k c0 (t)k dt (diferencial
de arco) representa la distancia recorrida en un diferencial de tiempo dt y por tanto:
L=

ds =

Rb
a

k c0 (t)k dt representa la longitud de la curva C definida por c .

Ej 3. Hallemos la longitud de la curva descrita por c(t) = t 2 , t 3 , t 2 [ 1, 1] .

Z 1
p
p
3/2
3/2 1
2
kc0 (t)k = 4t 2 +9t 4 ) L = |t| 4+9t 2 dt = 27
(4+9t 2 ) 0 = 2(1327 8) 2.88 .

y
1

O con otra parametrizacin de la misma curva (y usando su simetra):

Z 1q

133/2
16
9x 3/2 1
(x, x3/2 ) , x 2 [0, 1] ) L = 2
1+ 9x
= 16
4 dx = 27 1+ 4
27
8
0
0

c0 = 0

1 .

[Cuando
pueden aparecer picos en las curvas, pues el vector tangente no tiene direccin definida].
[Estas integrales de campos escalares, por incluir una raz, muchas veces llevan a primitivas no calculables].

33

Si
ahora f es cualquier campo con f (c(t)) 0 8t 2[a, b] ,
R
c f ds representa para n=2 el rea de la valla de altura
f (x, y) en cada (x, y) de la curva C , pues un diferencial
de valla tiene rea f (c(t)) ds = f (c(t)) k c0 (t)k dt .

f (x(t),y(t))
y

x
c(t)=(x(t),y(t))

Tiene otra posible interpretacin cuando n = 2 o n = 3 :

Si c(t) describe un alambre de densidad variable dada por r(x) , la masa del alambre ser
M=

r ds (tanto en el plano como en el espacio).

El centro de gravedad (centroide si r constante) del alambre, tendr por coordenadas:

x = M1

x r ds , y = M1

y r ds ; si n = 3 , adems z = M1

z r ds .
f = L1

Estas integrales tambin sirven para hallar, el valor medio de una f sobre C :

Ej 4. Sea el alambre en forma de hlice: c : [0, 2p] ! R3 , t ! (cost, sent,t)

p
y de densidad r(x, y, z) = x2 +y2 +z2 . Como k c0 k = 2 , se tiene que:
p
R p
Su longitud es M = 02p 2 dt = 2p 2 8.9 .
p
R
Su masa es M = 02p (cos2t+ sen2t+t 2 ) dt = 2 2p + 83 p 3 125.8

f ds .

Su densidad media es, por tanto: 1+ 43 p 2 14.2 .

x
p
R
2p
6
Su centro de gravedad: x = M1 0 cost (1+t 2 ) 2 dt = 3+4p
2 0.014 ,
p
p
R
2
1 2p
6p
1 R 2p
2
y = M 0 sent (1+t ) 2 dt = 3+4p 2 0.44 , z = M 0 t (1+t 2 ) 2 dt = 3p 1+2p
4.60 .
3+4p 2
p
p
p
R
R
R
Su centroide: x = L1 02p cost 2 dt = 0 , y = L1 02p sent 2 dt = 0 , z = L1 02p t 2 dt = p .

Otra aplicacin de este tipo de integrales. Si una curva C viene

dada por x=x(t) , y=y(t) 0 , t 2[a, b] , el rea de la superficie
de revolucin obtenida al hacer girar C en torno al eje y = 0 es:
A = 2p

Rb
a

y ds = 2p

Z b
a

y(t)

a
2
x0 (t) +

2
y0 (t) dt

pues el rea de la banda de anchura ds es 2py ds .

En el caso particular de que C sea la grfica de y = y(x) queda: A = 2p

Ej 5. Hallemos el rea de la superficie esfrica de radio a .
p
Se puede ver como el giro de y = a2 x2 en torno a y = 0 , y por tanto:
q
Z a p
R
2
A = 2p
a2 x2 1+ a2x x2 dx = 2p a a a dx = 4pa2 .
a

O escribiendo c(t) = (a cost, a sent) , t 2 [0, p] , y con la primera frmula:

ds = a dt , A = 2p

Z p
0

ds

a sent a dt = 4pa2 .

34

Z b
a

p
1+(y0 )2 dx .
y=a2x2

4.2. Integrales de lnea de campos vectoriales

Sean c(t) : [a, b] ! Rn de C1 y f : Rn ! Rn campo vectorial continuo sobre la grfica de c .
La integral de lnea del campo f a lo largo de c se define

f ds =

Z b
a

f c(t) c0 (t) dt .

Si f(c(t)) c0 (t) es slo continua a trozos, dividimos el intervalo y sumamos la integrales.

0

Si c0 (t) , 0 8t y T(t) = kcc0 (t)

(t)k es el vector tangente unitario:
0
R
Rb
R
c f ds = a f(c(t)) T(t) kc (t)k dt = c f T ds ,

f((c(t))
T(t)

y se puede ver la integral de lnea de f como la integral del campo escalar

f T , componente tangencial de f en la direccin de c . Por tanto:

f ds es el trabajo realizado por un campo de fuerzas f sobre la partcula que recorre c .

Se usa otra notacin (la damos para el plano). Si c(t) = x(t), y(t) , f(x, y) = f (x, y), g(x, y) :
Z
Z b
Z

f ds =
f x(t), y(t) x0 (t) + g x(t), y(t) y0 (t) dt
f (x, y) dx + g(x, y) dy
c

[La notacin es similar para n > 2 ; cuidado!, sigue siendo integral de lnea].

Ej 1. Calculemos varias integrales del lnea del campo f(x, y) = (x2 , 2y+x) :

c1 (t) = (t,t) , t 2 [0, 1] , c2 (t) = (4t 2 , 4t 2 ) , t 2 0, 12 , c3 (t) = (1 t, 1 t) , t 2 [0, 1]
[describen la misma curva, la tercera en sentido contrario].
R

R1 2
11
c1 f ds = 0 (t , 3t) (1, 1) dt = 6 ,
R
R 1/2
4
2
c2 f ds = 0
R
R1
c3 f ds = 0

(16t , 12t ) (8t, 8t) dt =

11
6

c5

,
11
6

(1 t)2 , 3(1 t)) ( 1, 1) dt =

c1,2

c4

c3

x
1

R
R
R
(t, 0) , t 2 [0, 1]
, c4 f ds = 01 (t 2 ,t) (1, 0) dt + 12 (t 2 , 2t 1) (0, 1) dt = 73 .
(1,t 1) , t 2 [1, 2]
n
R
R
R
(0,t) , t 2 [0, 1]
c5 (t) =
, c5 = 01 (0, 2t) (0, 1) dt + 12 (t 1)2 , 2+t (1, 0) dt = 56 .
(t 1, 1) , t 2 [1, 2]

c4 (t) =

[La integral parece depender slo de la curva y del sentido en que se recorre; para algunos campos no
depender siquiera de la curva, slo del punto inicial y del punto final].
Ej 2. Hallemos la integrales para los mismos ck de arriba, pero para el campo g(x, y) = (y, x 4y) :
R

R1
R1
c1 g ds = 0 (t, 3t) (1, 1) dt =
0 2t dt = 1 ,
R
R 1/2 2
R 1/2
2
3
c2 g ds = 0 (4t , 12t ) (8t, 8t) dt =
0 16t dt = 1 ,
R
R1
R1
c3 g ds = 0 (1 t), 3(1 t)) ( 1, 1) dt = 0 2(1 t) dt = 1 . [nica distinta].
R
R1
R2
R2
c4 g ds = 0 (0,t) (1, 0) dt + 1 (t 1, 5 4t) (0, 1) dt = 1 (5 4t) dt = 1 .
R
R1
R2
R1
c5 g ds = 0 (t, 4t) (0, 1) dt + 1 (1,t 5) (1, 0) dt =
0 4t dt + 1 = 1 .

Ej 3. Si c(t) = (t,t 2 , 1) , la integral

zx2 dx + xy dy + y3 dz =

R1 2
11
3
6
0 (t 1 + t 2t + t 0) dt = 15 .

Ej 4. Calculemos el trabajo realizado por una fuerza constante f = d al recorrer una partcula una
trayectoria r(t) = x(t), y(t), z(t) que une dos puntos del espacio a = r(a) y b = r(b) :
R

d ds =

Rb
a

(d1 , d2 , d3 ) x0 (t), y0 (t), z0 (t) dt

= d1 x(b) x(a) + d2 y(b) y(a) + d3 z(b) z(a)

= d r(b) r(a) = d (b a) , independiente de r .

Si consideramos c(t) = r(a+b t) , t 2 [a, b] , que recorre la misma curva en

sentido opuesto, el trabajo es

d ds =

Rb
a

(d1 , d2 , d3 )

35

r(t) b
f=d

x0 (t), y0 (t), z0 (t) dt = d (b a) .

Veamos lo que sucede con la integral al hacer un cambio en el parmetro que describe la curva.
Sea c : [a, b]! Rn y h : [a1 , b1 ]![a, b] una biyeccin C1 . Si llamamos p = c h : [a1 , b1 ]! Rn ,
las trayectorias p(u) , u 2 [a1 , b1 ] y c(t) , t 2 [a, b] ,
b
b
h
h
describen la misma curva, en el mismo sentido o en
a
a
sentido opuesto segn sea, respectivamente,
a1
a1
b1
b1
h(a1 ) = a y h(b1 ) = b o h(a1 ) = b y h(b1 ) = a
[se dice que la reparametrizacin conserva o invierte la orientacin de la curva].
Si c y p describen la misma curva C , entonces segn c y p lo hagan en el
mismo sentido Zo en el opuesto
se tiene, respectivamente:
Z
Z
Z

Teor 1.

f ds =

f ds , o bien

f ds =

f ds

Si C es C1 (si no, dividimos y sumamos las integrales), como p0 (u) = c0 (h(u)) h0 (u) es:
R

f ds =

R b1
a1

f c(h(u)) c0 (h(u)) h0 (u) du e

f ds =

Rb
a

f c(t) c0 (t) dt .

Haciendo en la integral de la izquierda h(u) =t , se tiene + o la integral de la derecha,

segn se conserve o no la orientacin, pues no cambian o s los lmites de integracin.
Si estuvisemos integrando un campo escalar f , se tendra siempre que:
R

f ds =

R b1
a1

f c(h(u)) kc0 (h(u))k |h0 (u)| du =

Rb
a

f c(t) kc0 (t)k dt =

y con esto tenemos probado el teorema de la seccin anterior.

f ds ,

La integral de lnea de un campo vectorial slo depende de la curva C y el sentido en que

se recorre (la un campo escalar slo de C ). Podemos elegir las c ms sencillas.
Ej 5. Tiene un sentido preciso hablar de la integral de f(x, y) = (y, 0) a lo largo
de la circunferencia unidad recorrida en el sentido de las agujas del reloj.

H
Las integrales sobre curvas cerradas suelen representarse con el smbolo .
Eligiendo c(t) = (cost, sent) , t 2 [0, 2p]
I

f ds =

R 2p
0

o [ p, p] , o . . . ,

( sent, 0) ( sent, cost) dt = p .

Con cualquier parametrizacin que proporcione el mismo sentido se llega a lo mismo.

Ej 6. Calculemos la integral de lnea del campo vectorial f(x, y, z) = z , ey , xy desde (1, 0, 0) hasta
(1, 2 , 3) a lo largo del segmento que une los puntos.
z
3
Hay muchas formas de parametrizar un segmento en el espacio. Para este,
con x = 1 constante, una c casi salta a la vista: c(t) = (1, 2t, 3t) , t 2 [0, 1] .

y
O tambin, con el dibujo de la derecha: c(y) = 1, y , 32 y , y 2 [0, 2] .
2
En general, vimos en 1.1 que c(t) = a +(b a)t , t 2 [0, 1] da el segmento
que une a y b [es una recta, si t = 0 estamos en a y si t = 1 en b ].

a+(ba)t=c(t)
b

Hallemos ya la integral pedida (con la primera de las parametrizaciones dadas):

Z

f ds =

Z 1
0

3t, e2t , 2t (0, 2, 3) dt =

Z 1
0

2e2t +6t dt = 2e2 + 2 .

Ej 7. Hallar el trabajo realizado por el campo de fuerzas f(x, y, z) = (y z, z x, x y) a lo largo de la

curva C interseccin de la esfera x2 +y2 +z2 = 4 y el plano z = y , si C es recorrida de modo
y 2
que, vista desde las z positivas, el sentido es contrario a las agujas del reloj.
z

z=y

c
x

Sobre C , como z = y , es x2 +2y2 = 4 (elipse).

p
p
c(t) = 2 cost, 2 sent, 2 sent , t 2 [0, 2p] .

T=

R 2p

0 (0, 2 sent
R 2p
0 0 dt = 0

2 cost, 2 cost

p
p
p
2 sent) ( 2 sent, 2 cost, 2 cost) dt

(el campo es perpendicular a la trayectoria).

[Se ver ms adelante que sern 0 las integrales sobre un camino cerrado de los campos que sean gradientes
H
de un campo escalar; pero, a pesar de ser C = 0 , este campo no lo ser, pues rot f = ( 2, 2, 2) , 0 ].

36

4.3. Integrales de gradientes y teorema de Green

Generalizamos el 2 teorema fundamental del clculo infinitesimal

Rb 0
a g (x) dx = g(b) g(a) .

Sea U : Rn ! R un campo escalar

C1 y c : [a, b] ! Rn un camino C1 a trozos.
Z
Teor 1.
Entonces:
U ds = U c(b) U c(a) .
c

Si c 2C1 (si no, dividimos),

Rb
a

U(c(t)) c0 (t) dt =
regla de la cadena

"

Rb
a

U c)0 (t) dt = U(c(b)) U(c(a)) .

b
Por tanto, la integral de lnea de un gradiente no depende del camino,
slo del punto inicial y final. Si sabemos que un campo es un gradiente, su
a
integral es inmediata. Adems, si c(a) = c(b) , la curva descrita por c es
H
cerrada e c U ds = 0 : la integral de lnea de un gradiente sobre una curva cerrada es 0 .

Si un campo vectorial f es gradiente de alguna funcin U, a U se le llama

funcin potencial para f , y el campo f se dice conservativo.

Cmo saber si f es conservativo? Una condicin necesaria sencilla para n = 2 y n = 3 es:

Teor 2.

Si f(x, y) = f (x, y), g(x, y) de C1 es conservativo ) fy gx .

Si f(x, y, z) = f (x, y, z), g(x, y, z), h(x, y, z) de C1 es conservativo ) rot f = 0 .

Si f = ( f , g) = (Ux ,Uy ) = U , con U2C2 , por la igualdad de Schwartz de las derivadas

cruzadas [ Uxy = Uyx ] debe ser fy gx . Y el mismo argumento se aplica si n = 3 .

Si las derivadas cruzadas no coinciden, no puede f ser gradiente. Si son iguales, muchas veces
es sencillo hallar una U tal que U = f [aunque la implicacin ( no sea cierta en general].
Ej 1. Sea f(x, y)=(y2 , 2xy) . Hallemos la integral entre (0, 0) y (1, 1) a lo largo de diferentes curvas:
a) la recta que une los puntos, b) la parbola y = x2 , c) la circunferencia x2 +y2 = 2x .
p
Posibles parametrizaciones: a) ca =(t,t) , b) cb =(t,t 2 ) , c) cc = t, 2t t 2 , con t 2[0, 1] todas.
Las integrales en cada caso son:
y
a)
b)
c)

R1 2 2
R1 2
0 (t , 2t ) (1, 1) dt = 0 3t dt = 1 ,
R1 4 3
R1 4

, 2t ) (1, 2t) dt = 0 5t dt = 1 ,

p
R
(2t t 2 , 2t 2t t 2 ) 1, p1 t 2 dt = 01 (4t 3t 2 ) dt = 1 .

0 (t
Z 1
0

cc
ca
cb

2t t

2
y (y ) =

x
1

x (2xy) ,

Como se cumple
2y =
esto nos hace sospechar que f es campo conservativo.
Es fcil en este caso identificar una funcin potencial:
Si Ux = y2 , debe ser U = xy2 + p(y) para alguna funcin p
) U(x, y) = xy2 .
Si Uy = 2xy , debe ser U = xy2 +q(x) para alguna funcin q

U = xy2 +C para cualquier constante C es tambin potencial, desde luego .

Por tanto, las parametrizaciones y clculos de integrales anteriores han sido intiles, puesto que la
integral a lo largo de cualquier trayectoria deba valer U(1, 1) U(0, 0) = 1 0 = 1 .
Por no depender del camino, hay otras formas de calcular una U : eligiendo caminos sencillos que
unan el origen con el punto (x, y) y evaluando la integral de lnea. Por ejemplo, para el C1 a trozos:
Z
n
Z x
Z y
(t, 0) , t 2 [0, x]
c(t) =
, f ds = (0, 0)(1, 0) dt + t 2 , 2xt (0, 1) dt = xy2 .
(x,t) , t 2 [0, y]

Haciendo lo mismo para un f = ( f , g) general, obtendramos:

Z x
0

f (t, 0) dt +

Z y
0

g(x,t) dt = U(x, y) .

Veamos qu campos de los ejemplos de la seccin anterior son conservativos. El (x2 , 2y+x) del 1
2
no lo es por ser fy = 0 . 1 = gx . El (y, x 4y) del 2 s lo es: 1 1 y U =
xy 2y es su potencial.

2
3
No lo es el del 3, (zx , xy, y ) por no ser rot f 0 . El f = d del 4 lo es con U = (d1 x, d2 y, d3 z) .
El (y, 0) del 5 no: no poda serlo pues vimos que su integral sobre un camino cerrado era no nula
y tambin lo asegura 1.0 . Para 6 y 7 el rot f es, respectivamente, (x, 1 y, 0) y ( 2, 2, 2) con
lo que no pueden derivar de una funcin potencial U .

37

Ej 2. Hallemos la integral de f(x, y) =

c

y
, x
x2 +y2 x2 +y2

Si c(t) = (cost, sent) , t 2 [0, 2p] ,

a lo largo de x2 +y2 = 1 en sentido antihorario.

f ds =

R 2p
0

( sent, cost) ( sent, cost) dt = 2p .

2

No puede haber un potencial C1 que contenga la curva, pese a ser fy = gx = (xy2 +yx2 )2 .

Segn este ejemplo, no basta la igualdad de las derivadas cruzadas para ser conservativo.
Pero hay que pedir poco ms para que s baste. [Los dos teoremas que siguen son ms difciles
de demostrar y necesitan el teorema de Stokes de 5.2].

Teor 3. Si f es C1 en todo R2 R3 y fy gx rot f = 0 ) f es conservativo.

El campo f 2C1 del ejemplo 1 sabemos ahora que es conservativo desde que vimos que fy gx .

Para el 2, f no era C1 en (0, 0) , el teorema no dice que haya potencial, y no lo hay en todo R2 .

Ej 3. Calculemos la integral de lnea del campo vectorial f(x, y, z)=(4x , 3z 2y , 3y) desde (1 , 0 , 0)
hasta (1 , 2 , 3) a lo largo del segmento que une los puntos.
En el ejemplo 6 de 4.2 ya parametrizamos el segmento, y podemos hallar la integral directamente:
1
R
R
R
c(t) = (1, 2t, 3t) , t 2 [0, 1] ! c f ds = 01 1, 5t, 6t (0, 2, 3) dt = 01 28t dt = 14t 2 0 = 14 .
i

4x

3z 2y

3y

Pero para este campo es rot f = / x / y / z = (3 3) i + (0 0) j + (0 0) k = 0 .

y adems f es C1 en R3 . Existe, por tanto, una funcin potencial U(x, y, z) para el campo f .
Los clculos de los potenciales en R3 son similares a los de R2 :
Ux = 4x ! U = 2x2 + p(y, z)
Debe ser Uy = 3z 2y ! U = 3yz y2 + q(x, z) , U = 2x2 +3yz y2 )
R
Uz = 3y ! U = 3yz + r(x, y)
c f ds = U(1, 2, 3) U(1, 0, 0) = 16 2 = 14 .

Este es el valor de la integral sobre cualquier camino que una los puntos, por complicado que sea.
Por ejemplo, hallemos la integral a lo largo de c(t) = et
Z

f ds =

Z 1
0

4et

t 2, 9t 2

4t 3 , 6t 3 (1 2t)et

t 2, 6t 2 , 6t

t 2,

2t 3 , 3t 2 , t 2 [0, 1] :

dt =

Z 1
0

2(2 4t)e2t

= 2e2t

2t 2 + 18t 5

2t 2+90t 4

4t 6

1
0

24t 5 dt

= 14 .

El teorema 3 se puede refinar exigiendo hiptesis menos fuertes. No es preciso que f sea C1 en todo R2
o R3 . Basta con que lo sea en lo que se llama un conjunto D simplemente conexo: toda curva cerrada
contenida en el D conexo (de una sola pieza) debe poder contraerse a un punto de forma continua
dentro del conjunto (en el ejemplo 2 no se puede). En R2 significa que D no tiene agujeros. En R3 ,
puntos sueltos de discontinuidad no molestan, pero s, por ejemplo, no ser C1 en toda una recta.
Ej 4. Sea f(x, y, z) = x(x2 +y2 +z2 )

3/2

i y(x2 +y2 +z2 )

3/2

j z(x2 +y2 +z2 )

3/2

(un campo

k gravitatorio).
f es C1 en R3 {(0, 0, 0)} , que es simplemente conexo en el espacio. Debe existir U .

1/2
Se ve casi a ojo: U(x, y, z) = (x2 +y2 +z2 )
. En esfricas es U = r1 y f = r12 er = fr er .
R

La integral a lo largo de cualquier camino c entre (0,0,1) y (1,2,2) ser c f ds = 13 3 = 23 .

R
Por ejemplo siguiendo el segmento (t, 2t, 1+t) , t 2[0, 1] ! 01 (6t+1)(6t 2+2t+1) 3/2 dt = 23 .

Ej 2*. En D = {x > 0} s debe existir potencial U para f(x, y) =

y
, x
x2 +y2 x2 +y2

. Lo es U = arctan xy .

Sobre cualquier curva cerrada contenida en D la integral s debe ser nula. Por ejemplo, sobre la
circunferencia (2+cost, sent) , t 2 [ p, p] . [Si se hace la integral, se comprueba que vale 0 ].

Acabemos nuestro estudio de los sistemas conservativos admitiendo este resultado general:
Sea f continuo en D Rn abierto. Entonces son equivalentes las afirmaciones:
a) f es gradiente de una funcin potencial U en D .
Teor 4.
b) La integral de lnea de f es independiente del camino en D .
c) La integral de f a lo largo de todo camino cerrado contenido en D es nula.

38

Teoremas de Green y de la divergencia

Son teoremas que relacionan integrales dobles e integrales de lnea sobre curvas cerradas
en el plano. Veremos otros sobre integrales de campos vectoriales en el espacio (estos se pueden
considerar casos particulares de aquellos), tratando las integrales de superficie.
Una curva simple es la imagen de un camino C1 a trozos inyectivo.
Una curva cerrada simple en R2 ser la imagen de un c : [a, b]! R2 ,
inyectivo en [a, b] y tal que c(a) = c(b) . Una curva de estas puede
recorrerse en dos sentidos diferentes; para indicar
que una integral se

recorre en sentido antihorario escribiremos .

curva simple
curva no
simple

curva cerrada
simple

Teorema de Green:

Sea D R2 limitado por D curva cerrada simple y el campo f =( f , g)2C1(D) . Entonces:

"
D

[ gx

fy ] dx dy =

f dx + g dy

f ds .

Obsrvese que si f es conservativo, el teorema de Green dice 0 = f ds como deba ser .

El el caso de que D fuese del primer tipo de recintos que consideramos en las
integrales dobles: D = (x, y) : a x b, c(x) y d(x) se tendra:
!

R bR d(x)
Rb
f
dx
dy
=
f
(x,
y)
dy
dx
=
f
(x,
c(x))
f
(x,
d(x))
dx .
y
y
a
a
c(x)
D

d (x)

D
c(x)
a

Parametrizando los cuatro tramos de la frontera:

(x, c(x)) , x 2 [a, b] ; (b, y) , y 2 [c(b), d(b)] , (x, d(x)) , x 2 [a, b] ; (a, y) ; y 2 [c(a), d(a)] !
f dx =

Rb

f (x, c(x))1 dx +

R d(b)

f (y, b)0 dy

Rb

f (x, d(x))1 dx

R c(b)

"

f (y, a)0 dy =
fy .
a
a
c(b)
c(a)
D
D

!
Anlogamente, para recintos D = (x, y) : c y b, a(y) x b(y) se ve que D g dy = D gx .

!
Se cumplir, pues D f dx + g dy = D [gx fy ] en un recinto D que sea de los dos tipos anteriores.
y

Dividiendo cualquier recinto general D en otros de estos ltimos y teniendo en

cuenta que se cancelan las integrales de lnea sobre segmentos comunes, por ser
recorridos en sentido opuesto, se llega al resultado.

D
x

Ej 5. Encontremos, usando Green, el valor p de la integral de f(x, y) = (y, 0)

sobre la circunferencia unidad calculado ya en el ejemplo 5 de 4.2.
Como el sentido de recorrido es opuesto al que pide Green y gx
D

f ds =

Ej 6. Hallemos
Z 2
0

"

(0 1+0) dt +

Con Green:

dx dy = rea de D =

fy = 1 es:

p 12

=p.

ex sen y dx+ e2x cos y dy siendo D el rectngulo [0, 2][0, p2 ] .

Z p/2
0

Z p/2Z 2
0

( 1) dx dy =

"

(0+e4 cost 1) dt

Z 2
0

(et

1+0) dt

Z p/2
0

(0+cost 1) dt

y
(t,/2)

/2
(0,t)

||

2
p/2
(2e2x cos y ex cos y) dx dy = [sen y]0 e2x ex 0 = e4 e2 .

(2,t)
(t,0)

Normalmente utilizaremos Green para reducir integrales de lnea a integrales dobles, que suelen ser ms
sencillas. Pero en el siguiente ejemplo procedemos al contrario.
Ej 7. Calculemos el rea encerrada por la hipocicloide x2/3 + y2/3 = a2/3 .
!

Green dice que: A = D dxdy = 12 D x dy y dx , pues gx fy = 2 .

c(q ) = (a cos3 q , a sen3 q ) , q 2 [0, 2p] es la mejor parametrizacin.
Z 2p

A = 12
(a cos3 q )(3a sen2 q cos q ) (a sen3 q )( 3a cos2 q sen q ) dq
0

= 32 a2

R 2p
0

sen2 q cos2 q dq =

3 2 R 2p
16 a 0 [1

cos 4q ] dq = 38 pa2 .

39

a
a

a
a

[los picos de la curva

aparecen para c0 =0 ].

Del teorema de Green se obtiene fcilmente:

Teorema de la divergencia en el plano:

Sean D R2 limitado por D curva cerrada simple, f : D"! R2 campo vectorial

C1 ,
I
y n el vector normal unitario exterior a D . Entonces
div f dx dy =
f n ds .
D

Si D viene dada por c(t) = x(t), y(t) , la normal es n =

Si f = ( f , g) ,

f n ds =
=

R b
a

kc0 (t)k

(x', y')

Green !
= D ( fx +gy ) dx dy .

[Imaginemos una curva cerrada C sobre la superficie de un fluido y sea

F = f v , donde f es la densidad del fluido y v su velocidad. Entonces

x0 (t))

g(x(t), y(t)) x0 (t) dt

f (x(t), y(t)) y0 (t)

f dy gdx

(y0 (t),

F n ds mide el ritmo con el que el fluido entra o sale de D .

H

Si la cantidad de fluido en D disminuye (aumenta) ser C < 0 C > 0 . La integral coincide con
!
div F . Por tanto, la div F describe la tendencia del fluido a acumularse o dispersarse].
D
Ej 8. Comprobemos este teorema para f(x, y) = (7, y2 1) en el semicrculo r 3 , 0 q p :
"

div f = 2y ,

2y dx dy =

Z pZ 3
0

2r2 sen q dr dq = 36 .

Para C1 , si c(x) = (x, 0) , x 2 [ 3, 3] , n = (0, 1) ,

(1 y2 ) ds =

C1

Para C2 , si c(t) = (3 cost, 3 sent) , t 2 [0,p] , kc0 (t)k = 3 .

Como n = (cost, sent) ,

C2

f n ds = 3

Z p
0

R3

3 dx = 6 .

7 cost+9 sen3t sent dt = 30 . 36 = 6+30 .

Ej 9. Comprobemos los teoremas de Green y de la divergencia para el campo f(x, y)=( x3 , x2 y ) y el

recinto D del primer cuadrante acotada por y = 2x e y = x2 .
(1,2)
y
Z 2Z 2x
Z 2
"
4 x6 2 16
y=2x
3
5
Green:
[gx fy ] =
2xy dy dx = (4x x ) dx = x
y=x2
n2
6 0= 3 .
2
0 x

Posibles parametrizaciones de los dos tramos de D :

c1 (x) = (x, x2 ) , x 2 [0, 2] , c01 = (1, 2x) , f (c1 ) = (x3 , x4 )

c2 (x) = (x, 2x) , x 2 [2, 0] , c02 = (1, 2) , f (c2 ) = (x3 , 2x3 )

f ds =

Z 2
0

(2x ,
Divergencia: div f = 4x2 . n1 = p

f n ds =

Z 2
0

Z 2

(x3 +2x5 ) dx

1)

1+4x2

(2x ,
(x3, x4 ) p

1)

1+4x2

(x3 +4x3 ) dx

, n2 = (

2 ,1)
p
5

26
3

Z 2Z 2x
0 x2

(1,2x)

c2

!
24 = 16
3

n1

c1

4x2 dy dx =

Z 2
0

(8x3 4x2 ) dx = 32
5 .

Z 2
Z 2
p
, 1) p
1+4x2 dx
(x3 , 2x3 ) (2p
5
dx
=
x4 dx =
5
0

40

32
5

5. Integrales de superficie
5.1. Definiciones y clculo
Generalizamos las integrales de lnea (de campos escalares y de campos vectoriales).
Una superficie algunas veces viene dada por F(x, y, z) = 0 . Si se puede despejar la z , por
z = f (x, y) . Pero lo ms general es que se puede describir paramtricamente mediante:
de libertad frente
r : D R2 ! R3 , con r(u, v) = x(u, v), y(u, v), z(u, v) , (u, v) 2 D [2algrados
nico t de las curvas].

Suponemos que la superficie S = r(D) es C1 [que lo es r ]. Entonces:

r
u

= ux i + u j + uz k y

r
v

r
u

rv =

producto vectorial
fundamental

x
u
x
v

y
u
y
v

z
u
z
v

r/v

= xv i + v j + vz k

r/u

sern vectores tangentes a las curvas contenidas en S obtenidas

tomando, respectivamente, v = k y u = k . Su producto vectorial
i

pvf

ser un vector normal a S .

S
y
x
r

[Y al plano tangente, si es , 0 ].

D
u

Si la superfice est escrita en la forma z= f (x, y) una parametrizacin

posible de S es r(x, y) = x, y, f (x, y) , con (x, y) 2 D proyeccin de
S sobre z = 0 . El producto vectorial fundamental queda en este caso:

z=f (x,y)
S
y

i j

rx ry = 1 0 fx =

D
x

0 1 fy

fx ,

fy , 1 .

Ej 1a. Parametricemos la semisuperficie esfrica unidad superior. Una posibilidad:

x(u, v) = sen u cos v
ru = cos u cos v i + cos u sen v j sen u k
u 2 [0 , p2 ]
y(u, v) = sen u sen v
,
v 2 [0, 2p] rv = sen u sen v i + sen u cos v j
z(u, v) = cos u
Entonces ru rv =

i j

O podemos parametrizar:

k
sen u
0

= sen2 u cos v

j + sen u cos u k
= sen u(sen u cos v, sen u sen v, cos u) = sen u r(u, v) .

x,y,

x
1 x2 y2

i+ p

y
1 x2 y2

v
D

j+k.

/2

i
j k
c
s 1
us uc 0

= ( u cos v , u sen v , u) .

[Para u=0 el pvf = 0 y en ese

punto no hay plano tangente].

x (x2 +y2 )

1/2

Ej 3. x = R cos u u 2 [0, 2p] Describe una superficie cilnidrica de radio R

y = R sen u
pues x2 +y2 = R2 y de altura h .
v 2 [0, h]
z=v
r = ( R sen u, R cos u, 0)
Como u
es ru rv = R(cos u, sen u, 0) .
rv = (0, 0, 1)

No se puede escribir como z = f (x, y) si, por ejemplo, como y = R2 x2 .

41

2
y

p
x2 +y2 , con (x, y) 2 B crculo de radio 2 .

Siendo ahora el producto vectorial fundamental: rx ry =

[ u = k es una circunferencia y v = k una recta].

De otra forma: r(x, y) = x , y ,

B
x

rv

ru

1 x2 y2 , con (x, y) 2 B crculo unidad,

Por ser x2 +y2 = z2 , describe esa superficie

cnica comprendida entre z = 0 y z = 2 .

El pfv es aqu: ru rv =

pvf

i + sen2 u sen v

que nos proporciona este otro pvf: rx ry = p

Ej 2. x = u cos v u 2 [0, 2p]
y = u sen v
v 2 [0 , 2]
z=u

, y (x2 +y2 )

1/2

,1 .

z
h

pvf

v
x

Integrales de superficie de campos escalares

Sea S la superficie C1 dada por r"
: D R2 !"R3 inyectiva y sea f : R3 ! R tal que
f r(u, v) es continua. Entonces:
f dS
f r(u, v) ur rv du dv .
S
D

Si S est formada por varias superficies C1 se suman las integrales .

Como en las de lnea, se prueba que la integral

! de una f escalar slo depende de la superficie y
no de cmo est parametrizada. La notacin S f dS es, pues inequvoca.
z

Si f 1 el valor de la integral representa el rea de la superficie S :

"
!
rea de S : A = S dS =
kru rv k du dv .

rv dv
ru du

[Pues un rectangulo du dv de D se convierte en un diferencial dS de

superficie aproximadamente igual al rectngulo dado por los vectores
ru du y rv dv , cuyo rea es el mdulo de su producto vectorial].
Para una superficie z = f (x, y) queda: A =

" q

( fx )2 +( fy )2 +1 dx dy

S
y

x
v

dv

du

Ej 1b. Hallemos la integral de f (x, y, z) = z2 sobre la semisuperficie esfrica S del ejemplo 1a.
unitario
Primero con r(u, v) = (sen u cos v, sen u sen v, cos u) . kru rv k = | sen u|krk = sen u [ yr es
sen u 0 ].
"
Z 2pZ p/2

p/2
Por tanto,
z2 dS =
cos2 u sen u du dv = 2p
cos3 u 0 = 2p
3
3 .
0

Con la otra parametrizacin, el mdulo del producto vectorial fundamental resulta ser:

1/2
2
2
krx ry k = 1 xx2 y2 + 1 xy2 y2 +1
= p 12 2 )
"

z2 dS

" p
B

x2

y2

dx dy =
polares "

Z 2pZ 1
0

1 x

p
r 1 r2 dr dq = 2p
3

Veamos que la integral de superficie nos calcula bien el rea de S :

"
Z 2pZ p/2

p/2
A=
1 dS =
sen u du dv = 2p cos u 0 = 2p
0

1
(1 r2 )3/2 0 = 2p
3 .
[el de toda la superficie
esfrica era 4p 12 ].

Como siempre, los clculo se complican si se usan las cartesianas en vez de las esfricas:
"
"
Z 2pZ 1

1
p dx dy =
A=
dS =
r(1 r2 ) 1/2 dr dq = 2p (1 r2 )1/2 0 = 2p .
2
2
S

1 x

[impropias convergentes]

Al margen de integrales, como el pvf es un vector n normal a la superficie, nos proporciona una
tercera forma (adems de las vistas en 2.2) de calcular el plano tangente a dicha superficie.

Por ejemplo, el plano tangente a S en el punto 12 , 12 , p12 para u = v = p4 se puede hallar as:
p
p
1
(ru rv ) p4 , p4 = 2 p
1,1, 2 ! 1, 1, 2 x 12 , y 12 , z p12 = 0 , z = p12 (2 x y) .
2
Ej 4. Si S es la porcin de la superficie z = x+y2 sobre el tringulo D
!
dado por 0 y 1 y 0 x y , hallemos su rea e S (z x) dS .
r(x, y) = x , y , x+y2 ! rx ry = ( fx , fy , 1) = ( 1, 2y, 1)
p

krx ry k = 4y2 +2 = ( fx )2 +( fy )2 +1 1/2 !

Z 1Z y p
"
Z 1 p
A = krx ry k dx dy =
4y2 +2 dx dy = y 4y2 +2 dy
0
0 0
D
p
p
3/2 1
1
1
1
= 12
4y2 +2
=
6
2

0.99
.
2
6
0

S
D

[La presencia de la raz muchas veces, no aqu, conduce a integrales complicadas o no calculables].

Z 1
p
p
4y2 +2 dx dy = y2 y 4y2 +2 dy
0 0
0
D
Z 6
p
p

p
4y2 +2=u 1
6
1 2 5/2 4 3/2
1
= 32 (u 2) u du = 32
= 15 6 + 30
2 0.54 .
5u
3u
2

(z x) dS =
S

"

y2 krx ry k dx dy =

Z 1Z y

y2

42

Integrales de superficie de campos vectoriales

Sea S la superficie de C1 dada por r: D R2 ! R3 inyectiva y sea f: R3 ! R3
continua sobre S . Entonces:

"

"

f dS

r r
u v

f r(u,v)

du dv .

Observemos que la integral anterior, si n es el vector unitario normal a la superficie

con el mismo sentido que el producto vectorial fundamental, se puede escribir as:
"

"

f dS =

"

f r(u,v) n(u,v) kru rv k du dv =

f n dS .

Esta expresin simplifica a veces algn clculo y adems clarifica el significado fsico
de este tipo de integrales: el flujo del campo vectorial f a travs de la superficie S .
Como suceda con las integrales de linea de campos vectoriales, se puede demostrar que, salvo
el signo, esta integral es independiente de la parametrizacin.
Hay dos vectores unitarios normales a una superficie orientada: n y n
n
(que conste que hay superficies no orientadas como la banda de Moebius).
Parametrizaciones diferentes proporcionan pvf que pueden tener el sentido
n
de uno u otro. Si nos dan el mismo, las integrales coinciden. Si no, tienen
el signo opuesto. f , S y el sentido de la normal s determinan la integral.
!

Una notacin ms precisa sera, pues: r f dS , incluyendo explcitamente la parametrizacin].

Ej 1c. Integremos f(x, y, z)= (x, y, z) sobre la semisuperficie esfrica S de 1a, con los r de siempre.
"
"
Z 2pZ p/2

p/2
f dS =
r(u, v) sen u r(u, v) du dv =
sen u du dv = 2p cos u 0 = 2p .
S

r unitario "

Con la otra parametrizacin: f (rx ry ) = x , y ,

"
S

f dS =

"
B

p dx dy
1

x2

y2

=
"

Z 2pZ 1
0

polares

r(1 r2 )

1 x2 y2
1/2 dr dq

x
1 x2 y2

= 2p

,p

y
,1
1 x2 y2

(1 r2 )1/2

1
0

= 2p .

La integral nos ha salido igual con ambas parametrizaciones porque el pvf apuntaba en ambos
casos en la misma direccin: hacia el exterior de la esfera. Y el valor ha sido positivo porque el
campo f tiene tambin esa direccin (y el flujo a travs de S es positivo).
Ej 2*. Integremos el mismo f(x, y, z) = (x, y, z) de arriba, pero ahora sobre el cono S del ejemplo 2.
Eran: r(u, v) = (u cos v, u sen v, u) , ru rv = ( u cos v , u sen v , u) , u 2 [0, 2p] , v 2 [0, 2] .
Por tanto: f r(u,v) (ru rv ) = (u cos v, u sen v, u)( u cos v, u sen v, u) = u2 +u2 = 0 .
!
As pues: S f dS = 0 . [El campo es tangente al cono y el flujo deba ser nulo].
Ej 3*. Sobre el cilindro S del ejemplo 3, integremos el campo vectorial f(x, y, z) =

x , 0 , z3 .

Tenamos: r(u, v) = (R cos u, R sen u, v) , ru rv = (R cos u, R sen u, 0) , u 2 [0, 2p] , v 2 [0, h] .

"

Z hZ 2p

Luego:
f dS =
( R cos u, 0, v3 )(R cos u, R sen u, 0) du dv = pR2 h .
0 0
S

< 0 pues f siempre apunta hacia el interior del cilindro y el pvf hacia fuera .

Ej 4*. Sobre la S del ejemplo 4, calculemos

Como eran r(x, y) =
"
D

x , y , x+y2

pvf

f dS para el campo f(x, y, z) = (2z, y, 1) .

y rx ry = ( 1, 2y , 1) , la integral resulta ser:

2x+2y2 , y , 1 ( 1, 2y, 1) dx dy =

Z 1Z y
0 0

(1 2x) dx dy =

Z 1
0

y y2 dy = 16 .

[Integrando campos vectoriales no aparecen las races que nos daban problemas con los campos escalares].

43

5.2. Teoremas de la divergencia y Stokes

Teorema de la divergencia en el espacio (o de Gauss-Ostrogradsky)

Sea V regin acotada del espacio cuya frontera V es una superficie

conexa, n el
vector normal unitario
exterior a V y sea f de C1 en V .
$
"
Entonces:

div f dx dy dz =

La segunda integral es

!
V

f n dS .

f dS si el producto vectorial fundamental apunta hacia el exterior .

V

Ni siquiera damos una idea de la demostracin (ver el Marsden-Tromba u otros libros de clculo en Rn ).
[Como la integral de superficie mide el flujo de un fluido sobre la frontera, es aplicable tambin
aqu lo que dijimos en el plano sobre el significado de la divergencia].
[Observemos que para aplicar el teorema de la divergencia en el plano se necesitaba hallar el
vector normal, pero en el espacio la parametrizacin nos da ya el pvf].
Ej 1. Comprobemos el teorema para f(x, y, z) = (x, y, z) y V la semiesfera de la seccin anterior.
#
#
Por una parte: V div f dx dy dz = 3 V dx dy dz = 3 volumen de V = 3 12 43 p 13 = 2p .
!
! !
Por otra, la V consta de dos partes, la S superior y el crculo B de la base: V = S + B .
z

Para la parte S de la frontera es n = f = r [ ) f n = 1 ] ,

y para la B es n = k ) f n = (x, y, 0)(0, 0, 1) = 0 .

!
!
Por tanto, V f n dS = S 1 dS + 0 = rea de S = 2p .
[Nos llev ms tiempo hacer la

S
f

B
x

en 5.1 usando parametrizaciones].

Esto es excepcionalmente sencillo: no necesitamos parametrizar nada para comprobar el teorema.

Compliquemos algo el campo vectorial (y las integrales), manteniendo el recinto:
Ahora sea g(x, y, z) = (xy , z , 1) y sea V la misma semiesfera. La integral triple:
Z 2pZ p/2Z 1
$

2p Z p/2 2
div g = y ,
y=
r 3 sen q sen2 f dr df dq = 14 cos q 0
sen f df = 0
" 0

esfricas

"

[integramos funcin impar en volumen simtrico]

Hemos visto ya esta parametrizacin de S (le cambiamos el nombre a los parmetros):

r(f ,q ) = (sen f cos q , sen f sen q , cos f ) , q 2 [0, 2p] , f 2 [0, p2 ] , rf rq = sen f r(f ,q ) .
"

g dS =

0 0
Z 2pZ p/2

sen f sen2 f cos q sen q , cos f , 1 (sen f cos q , sen f sen q , cos f ) df dq

sen4 f cos2 q sen q + sen2 f cos f sen q + sen f cos f df dq

p/2
R
R
= 2p 12 sen2 f 0 = p , pues 02p cos2 q sen q dq = 0 e 02p sen q dq = 0 .
=

Z 2pZ p/2
0

No sale mal con r = x , y ,

p
1 x 2 y2

!
y+1 x2 y(1 x2 y2 )
B

1/2

dy dx = .

Sobre el crculo B de la base es g n = (xy, 0, 1)(0, 0, 1) = 1 , con lo que:

"
"
!
! !
g n dS =
1 dS = rea de S = p . Por tanto, V = S + B = p p = 0 .
B

Ej 2. Volvamos a comprobar el teorema, ahora para el campo f(x, y, z) =

x , 0 , z3 y V el cilindro
z
de los ejemplos 3 y 3* de 5.1 cuya superficie lateral estaba descrita por:
r = (R cos u, R sen u, v) , ru rv = (R cos u, R sen u, 0) , u 2 [0, 2p] , v 2 [0, h] .
S
!
Debemos sumar a la S f dS = pR2 h calculada las integrales sobre las tapas.
!
En la tapa superior: f n = ( x, 0, h3 )(0, 0, 1) = h3 ! B h3 = pR2 h3 .
x
R
!
2
3
Y en la inferior: f n = ( x, 0, 0)(0, 0, 1) = 0 . As pues, V f dS = pR (h h) .
Por otra parte: div f = 3z2 1 ,

$
V

div f =

Z 2pZ RZ h

" 0

cilndricas

0 0

44

||

r(3z2 1) dz dr dq = 2p R2 (h3 h) .

pvf

v
u

Si el teorema de la divergencia relacionaba una integral en un volumen con una de superficie en su borde,
el de Stokes relaciona una de superficie con una de lnea:
Teorema de Stokes

Sea S una superficie en el espacio limitada por la curva S y sea f 2C1

en S . Entonces:

"

rot fn dS =

fds , con n vector unitario normal

a S y los sentidos de n y de recorrido de S indicados en el dibujo.

[Caminando por la S , la superficie queda a nuestra izquierda y la normal apunta de los pies a la cabeza.
Estamos suponiendo con esto que nuestra superficie es orientable para poderlo afirmar].
!
[Podramos alternativamente escribir S rot f dS si la r que utilizamos da el sentido de n adecuado].

[Cuando S es una regin del plano xy es n = (0, 0, 1) , con lo que rot f n = gx fy , y f ds se reduce a
f dx + g dy : el teorema se Stokes pasa a convertirse en el de Green. Y como suceda all, para un campo
conservativo las dos integrales son nulas, por anularse el rotacional y por ser camino cerrado].
Resumamos la demostracin para una superficie de la forma x, y, k(x, y) con k de C2 en D .
"
"

Llamando f = ( f , g, h) , es
rot f dS =
kx (hy gz ) ky ( fz hx ) + (gx fy ) dx dy dz .
S

Sea d(t) = x(t), y(t)) , t 2 [a, b] , una parametrizacin (en sentido adcuado) de D .

Entonces c(t) = x(t), y(t), k(x(t), y(t)) , t 2 [a, b] ser una parametrizacin de S y se tiene:
I
Z b
Z b

f ds = f(c)(x0 , y0 , kx x0 +ky y0 ) dt =
f (c)+h(c) kx x0 + g(c)+h(c) ky y0 dt
S

( f +h kx ) dx + (g+h ky ) dy =

"

"

Green

(gx +gz kx + hx kx

fy

fz ky hy kx ) dx dy "

Ej 1*. Comprobamos el teorema para i) f(x, y, z) = (x, y, z) y ii) g(x, y, z) = (0, 0, y) , y la S habitual.
!
Para i) es rot f = 0 ) S rot f n dS = 0 . Adems es C1 (R3 ) con lo que f deriva de un potencial
I

y casi a ojo se ve que U = 12 (x2 +y2 +z2 ) cumple U = f . Por tanto,

f ds = 0 tambin.
S

Para ii) debemos echar alguna cuenta ms pues rot g = i ) rot g n = (1, 0, 0)(x, y, z) = x .
Entonces:

"

rot g n dS =

"

x dS =

La integral tambin se puede hacer:

Z 2p
0

"
B

Z p/2

cos v dv

px dx dy

1 x2 y2

sen2 u du = 0 [la primera integral lo es].

Z 2pZ 1

r2 (1 r2 )

1/2

cos q dr dq = 0 .

Una posible parametrizacin de S es c(t) = (cost, sent, 0) , t 2 [0, 2p] ) g(c(t)) = (0, 0, sent) .
I

As pues,

g ds =

Z 2p
0

(0, 0, sent)( sent, cost, 0) dt =

R 2p
0

0 dt = 0 , como deba ser.

[La integral de lnea a lo largo de la circunferencia se ha anulado, a pesar de no ser el campo conservativo.
En este caso, g y c0 eran ortogonales. Sobre otras curvas cerradas, la integral de g ser distinta de 0.
Dijimos que para que g fuese conservativo, su integral a lo largo de todo camino cerrado deba ser nula].

Ej 3. Comprobemos otra vez Stokes, ahora para el campo f(x, y, z) = (z, 1, y)

y la superficie S descrita por y+z = 0 y x2 +y2 4 .
i

z 1

y
"

rot f = x y z = (1, 1, 0) .
"

rot f dS =

z
2

r(x, y) = (x, y, y) con D = B2 (0) ,

rx ry =

fx ,

( y, 1, y)(0, 1, 1) dx dy =

fy , 1 =(0, 1, 1) .

Z 2pZ 2
0

x 2

D2
S

(r r2 sen q ) dr dq = 4p .

O bien, sin parametrizar: viendo el plano, es n = 0, p12 , p12 su normal unitaria.

!
!
p
[El rea de una elipse de
Luego S rot f n dS = S p12 dS = p12 rea de S = p12 p 2 2 2 . semiejes a y b es pab ].
La elipse S (en sentido correcto) se puede parametrizar: c(t)=(2 cost, 2 sent, 2 sent) , t 2[0, 2p] .
Por tanto,

Z 2p

f ds = 2
=2

Z 2p
0

( 2 sent, 1, 2 sent)( sent, cost, cost) dt

(1

cos 2t + cost

[Se anulan todas menos la

2 sent cost) dt = 4p . integral de la constante].

45

Problemas de Clculo (grupo C - 14/15)

1. Conceptos bsicos

1. Sean x = 4 i + 3 j , y = i j . Hallar y dibujar x + y , x y y x + 3y , y hallar el mdulo de estos 3

vectores. Comprobar la desigualdad triangular y la de Cauchy-Schwartz para x e y . Forman x e y
un ngulo agudo u obtuso entre ellos? Hallar la distancia de x a y y el ngulo formado por y y x + 3y .
2. Sean x = (2, 0, 3) , y = (0, 1, 3) . Hallar x y , x y e y x . Encontrar dos vectores unitarios u y v
que no sean mltiplo uno del otro y que ambos sean ortogonales a x .
3. Si a =i + k , b =i +3j , c =2i j + k , calcular (a+b) c , a (bc) , a(b c) , a(bc) , (ab)c .
4. a) Hallar la ecuacin de la recta que pasa por ( 2, 7) y es perpendicular al vector 4i + j .
b) Dar tres expresiones paramtricas distintas del segmento que une los puntos ( 1, 0) y (1, 1) .
5. Hallar la ecuacin de los planos que cumplen las siguientes propiedades:
a) Pasa por los puntos (1, 3, 2) , (4, 1, 1) y (3, 0, 2) .
b) Es perpendicular a la recta (3, 0, 2)t + (3, 1, 1) y pasa por (5, 1, 0) .
c) Contiene a la recta ( 1, 1, 2)t + (3, 2, 4) y es perpendicular al plano 2x+y 3z+4 = 0 .
6. Dibujar los siguientes subconjuntos de R2 , identificar su interior, su frontera y su cierre y precisar si
son o no abiertos, cerrados, acotados y compactos:
A = (x, y) : |x| < 1, |y| x2

B = x : 1 < kxk < 2 , x(1,1) < 0

C = x : kxk = q , q 2 Q , q 1

7. Si A es un abierto de Rn y x 2 A , probar que A {x} es abierto.

8. Probar que si A y B son conjuntos abiertos en Rn entonces A [ B y A \ B son tambin abiertos. Es
abierto el conjunto unin de una sucesin infinita de conjuntos abiertos?, lo es su interseccin?
9. Con las curvas de nivel y algunas secciones dibujar las grficas de los siguientes campos escalares:
a) f (x, y) = 4 2x y

c) f (x, y) = 4x2 +y2

b) f (x, y) = |y|

d) f (x, y) = e

x 2 y2

10. Dibujar en el espacio las siguientes superficies:

a) z2 = 4 x2 4y2

b) z2 = 1+x2 +y2

c) z2 = x2 +y2 1

d) z2 = x2

11. Obtener informacin sobre la grfica de f y estudiar en qu puntos tiene lmite si f (x, y) es:
2

a) x2x+y2

x2 y

b) x2 +y2

c) log(x2 +y2 )

1
d) arctan x2 +y
2

sen xy

e) x2 +y2

f) th xy2

12. Determinar los puntos en que son continuos los campos escalares:

1
p
h(x, y) = xy
sen(xy)
g(x, y) = e 1/xy
2
2
a) f (x, y) = 4 x y
b)
c)
g(x, 0) = g(0, y) = 0
h(x, 0) = h(0, y) = 1
x2 y e

13. Es posible definir f (0, 0) de modo que f (x, y) = x4 +4y2 sea continua en R2 ?
14. Probar que f (x, y)!L si (x, y)!(a, b) ) lm lm f (x, y) = lm lm f (x, y) = L (lmites iterados).
Sea f (x, y)=
Sea f (x, y)=

x y
x+y

x!a y!b

y!b x!a

si x, y . Demostrar que f no tiene lmite en (0, 0) calculando los lmites iterados.

x2 y2
x2 y2 +(x y)2

. Probar que los lmites iterados coinciden, pero que no tiene lmite en (0, 0) .
xyz

15. Hallar (si existen) los lmites de a) f (x, y, z)= 1 xe

i) (0, 0, 0) , ii) (0, 1, 0) , iii) (1, 1, 1) , iv) (1, 1, 0) .

2
, b) g(x, y, z)= y x+ z 11 , cuando (x, y, z) tiende a:

2. Clculo diferencial en Rn

Problemas de Clculo (grupo C - 14/15)

1. Hallar fx y fy en todos los puntos en que estn definidas para:

1
h(x, y) = xy
sen(xy)
4 y2
3x+x
2
f (x, y) = e
g(x, y) = log y x
h(x, 0) = h(0, y) = 1

k(x, y) = p x2
k(0, 0) = 0

x +y2

2. Sea f (x, y) = xy , f (x, 0) = 0 . Dibujar sus curvas de nivel. Precisar el conjunto de puntos en que f es
continua. Calcular, si existen, el f y la derivada segn el vector

3 4
5,5

en i) (0, 0) y en ii) (1, 1) .

3. Hallar los puntos de la circunferencia x2 +y2 = 1 y las direcciones en las que f (x, y) = 3x2 +y2 vara
ms rpidamente.
4. Sean: a) f (x, y) = xy ; b) g(x, y) = y2 ; c) h(x, y) = (x2 +y2 ) 1 .
Dibujar algunas curvas de nivel. Hallar su vector gradiente f (x, y) y dibujarlo en algunos puntos.
Hallar la expresin de la diferencial y la ecuacin del plano tangente en el punto (1, 1) .
p
5. Sea f (x, y) = |xy| . Comprobar que fx (0, 0) = fy (0, 0) = 0 . Tiene f plano tangente en el origen?
1
6. Sea f (x, y) = y sen x2 +y
2 , f (0, 0) = 0 . Estudiar en qu puntos: a) es continua, b) existen las parciales,

c) es diferenciable. Hallar (si existe) la derivada de f segn v =

3 4
5, 5

en el punto (1, 0) .

7. Sea f (x, y) = yx 1 , f (x, 1) = 0 . Estudiar si f es continua y diferenciable en el punto (0 , 1) .

Precisar en la direccin de qu vector unitario es mnima la derivada direccional en el punto (1, 0) .
Hallar la ecuacin del plano tangente a la grfica de f en el punto (1, 0) .
8. Precisar si i) son continuos, ii) tienen derivadas parciales, iii) son diferenciables, en el punto (0, 0):
2

2 y2
2 2
6
h(x, y) = p x2 2
g(x, y) = xx4 +y
k(x, y) = 3xx2y+y2x
4
3
1/3
x +y
f (x, y) = (y x )
g(0, 0) = 0
k(0, 0) = 0
h(0, 0) = 0
9. Sea f (x, y, z)=y e2x z . Hallar f (1, 1, 2) y escribir uno de los infinitos vectores unitarios u para los
que la derivada de f en (1, 1, 2) en la direccin del vector u es 0 .
10. Hallar la diferencial de f (x, y, z) = arctan(xy) zy en el punto (0, 1, 1) , y el valor de df(0,1,1) (2, 1, 1) .
Calcular la derivada direccional de f en el mismo punto en la direccin del vector (3, 0, 4) .
11. Sea f (x, y, z) = ax2 y+by2 z+cz2 x . Hallar las constantes a , b y c para las que la derivada direccional
p
en el punto (1, 1, 1) es mxima en la direccin de u = (1, 5, 0)/ 26 y vale 13 .
12. Hallar los planos tangentes a laa superficies en los puntos que se indican:
a) z = x2 +y3 en (3, 1, 10)

b) x2 +(y 2)2 +2z2 = 4 en (1, 3, 1)

c) yz = log(x+z) en (0, 0, 1)

13. Calcular las derivadas parciales de segundo orden:

f (x, y) = x5 y x2 y4

g(x, y) = x ex

h(x, y) =

cos(xy)
x

k(x, y) = p x2

x +y2

xy(x2 y2 )

14. Sea f (x, y)= x2 +y2 , f (0, 0)=0 . Hallar fx y fy si (x, y),(0, 0) . Probar que fx (0, 0)= fy (0, 0)=0 ,
fxy (0, 0) = 1 , fyx (0, 0) = 1 . Por qu las derivadas cruzadas no coinciden en (0, 0) ?
15. Comprobar que las siguientes funciones u(x,t) satisfacen la ecuacin de ondas utt uxx = 0 :
a) u(x,t) = sen(x t)

b) u(x,t) = sh 2t ch 2x

c) u(x,t) = arctan(x+t)

d) u(x,t) =

Z x+t
x t

s2 ds

16. Hallar los desarrollos de Taylor de orden 2 en torno a los puntos que se indican:
a) f (x, y) = (x y)2 en (1, 2)

b) g(x, y) =

1
1+x2 +y2

II

en (0, 0)

c) h(x, y) = exy cos(x+y) en (0, p)

17. Sea la curva descrita por c(t) = et , t 2 , t 2 [ 2, 2] . Hallar: i) expresiones de la recta tangente en el
punto (e, 1) , ii) un vector unitario normal a la curva en ese punto , iii) el vector aceleracin para t =0 ,
iv) el punto de corte y el ngulo de interseccion con la curva r(s) = (s, s 1) , s 2 [0, 5] .
18. Sean f(u, v) = eu+2v , 2u+v y g(x, y, z) = 2x2 y+3z3 , 2y x2 . Calcular la matriz de la diferencial
de f g en (2, 1, 1) , i) utilizando la regla de la cadena, ii) componiendo y diferenciando.
19. Una chinche viaja por el plano xy . La temperatura en (x, y) es de e x 2y grados. Cuando la chinche
est en (0, 0) se mueve hacia el este a velocidad 2 m/minuto y hacia el norte a velocidad 3 m/minuto.
Desde el punto de vista de la chinche, con qu rapidez est cambiando la temperatura del suelo?
20. Sean f (x, y)2C2 y h(t)= f et, cost . Utilizando la regla de la cadena hallar la expresin de h00 (t) en
funcin de las derivadas de f . Comprobar la expresin anterior en el caso de que f (x, y) = xy .
21. Sea f (x, y) = 9 x2 y2 . a) Dibujar las curvas de nivel f = 8, 5, 0, 7 , el corte con x = 0 y su grfica.
b) Hallar un vector unitario u tal que la derivada de f en el punto (2,1) en la direccin de u sea 0 .
c) Hallar la ecuacin del plano tangente a la grfica de f en el punto (2, 1) . d) Si c(t)= 2t,t 3 , hallar
la derivada de la funcin h(t) = f (c(t)) en t = 1 utilizando la regla de la cadena.
x+y

22. Sea f (x, y) = 1+xy . a) Hallar el plano tangente a la grfica de f en el punto (0, 2) y la recta tangente
a la curva de nivel de f que pasa por dicho punto. b) Si h(u, v)= f (u3 +v2 1, ev + 1) , hallar la derivada
p
p
direccional de h segn el vector 1/ 2 , 1/ 2 en el punto (u, v) = (1, 0) .
23. Escribir, con la regla de la cadena, la ecuacin en derivadas parciales (y 2)uy xux =x2 y en las nuevas
variables s = xy 2x , t = x . Comprobar que es solucin u(x, y) = f (xy 2x)+x2 x2 y , 8 f 2C1 .
24. Escribir la ecuacin en derivadas parciales y2 uyy x2 uxx = 0 en las nuevas variables s = xy , t = xy .
Comprobar que u(x, y) = f (xy)+x g xy , con f , g 2C2 (R) , cumple la ecuacin.
25. Las ecuaciones u= f (x, y, z) , x=s2+t 2 , y=s2 t 2 , z=2st definen u en funcin de s y t : u=F(s,t) .
Expresar las derivadas segundas de F respecto a s y t en funcin de las derivadas de f es f 2C2 .
26. Sea w = f (x, y, z) , z = g(x, y) ; entonces wx = wx +wz zx y por tanto wz zx = 0 con lo que wz = 0
zx = 0 lo que no es cierto en general. Dnde falla el razonamiento anterior?
27. Sean f(x, y)=(x2 , 1, y2 ) , g(x, y, z)=z . a) Hallar div f , rot f , g , Dg , rot (g) , div(rot f) , (f g) ,
rot ( f g) , rot (f g) , div rot (f g) . b) Probar que en general es: rot (g f)=g rot f + g f ,
div (g f) = g div f + g f , y comprobarlo con los campos anteriores.
28. Si F(x, y, z) = xy i + y2 j + xz k , hallar: div F , rot F , (div F) , div(rot F) , rot(rot F) , (F F) .
29. Comprobar que las siguientes funciones u(x, y) satisfacen la ecuacin de Laplace Du = 0 :
a) u(x, y) = x3 3xy2

c) u(x, y) = arctan xy

b) u(x, y) = sen x ch y

d) u(x, y) = (xx2 +yy2 )2

x
1 2
30. Sea f (x, y) = x2 +y
2 . a] Dibujar las curvas de nivel f (x, y) = 0 , 1 , 2 , 5 , y f (2,1) . Hallar el vector

unitario u tal que la derivada Du f (2, 1) sea mxima. Hallar div(f ) en cartesianas y polares.

31. Sea f (x, y)=1 (x2 +y2 )1/4 . Dibujar aproximadamente su grfica. Hallar f en cartesianas y polares.
Estudiar en qu puntos es f diferenciable. Calcular D f (0, 1) . Determinar en qu punto del segmento
que une (0, 1) y ( 2, 0) y en la direccin de qu vector el campo f crece ms rpidamente.
32. Sean r(x, y) = (x, y) , r = krk . Probar que:

1
r

r
r3

, log r = rr2 , D

1
r

= r13 , D log r = 0 .

33. Sea c : R ! R2 . Probar que en coordenadas polares c00 (t) = a(t) = r00 r(q 0 )2 er +(rq 00 +2r0 q 0 ) eq .
Sea c(t) definida por r(t)=2 , q (t)= logt , t 2[1, e2p ] . Dibujar la curva. Calcular v(t) y a(t) si t =1 ,
t = ep y t = e2p . Comprobar el resultado trabajando con la expresin cartesiana de c .
III

34. Sea f (x, y) = x sen 2y . Hallar v unitario tal que Dv f (1, 0) sea: i) mxima, ii) mnima, iii) 0, iv) 1.
Hallar su desarrollo de Taylor de orden 2 en (0, 0) y precisar si tiene o no un extremo local en ese punto.
35. Localizar y clasificar los puntos crticos de:
a) f (x, y) = 3x 3y x2 +xy y2

b) g(x, y) = x4 +y4 (x+y)2

c) h(x, y, z) = x4 +2x2 +y2 +3z2 2y

36. Determinar p sabiendo que f (x, y) = x3 +x2 y+y2 +2y+ p tiene un mnimo local con valor 0 .
37. Hallar los extremos de f (x, y)=1 2x2 +xy y2 sobre: i) x2 +y2 1 , ii) y+x2 =4 , iii) y2 x2 +2x=1 .
38. Sea A la regin interior a la elipse 5x2 +6xy+5y2 = 8 . a) Hallar el punto de la elipse con coordenada
x mxima. b) Calcular las distancias mxima y mnima
de los puntos de A al origen de coordenadas.
p
2
c) Encontrar los extremos absolutos de f (x, y) = x +y2 sobre A .
39. Calcular los extremos absolutos de f (x, y, z) = x y+2z en la regin x2 +y2 +2z2 2 .
40. La suma de tres reales positivos es 27 . Encontrar su producto mximo.
41. Hallar los puntos de la curva interseccin de x2 +z2 = 2 e y+z = 0 que hacen mximo y mnimo el
valor de f (x, y, z) = 2x+3y+z .
42. Sean: a) 2x2 y y3 x5 = 0 , b) x 2 log x +3y 6 log y = 4 , c) y2 x ex xy = 0 . i) En el punto (1, 1) ,
probar que definen a y como funcin de x , hallar la tangente a la curva en el punto y calcular y00 (1) .
ii) Encontrar puntos de estas curvas en los que no se pueda aplicar el teorema de la funcin implcita.
43. Sea x2 3y2 +2z2 yz+y = 0 . Precisar en qu puntos no define una funcin z(x, y) . Hallar zx y zy
cuando estn definidas y la ecuacin del plano tangente a la superficie en el punto (1, 1, 1) .
44. Utilizando el teorema general de la funcin implcita:
a) Hallar la recta tangente a la curva interseccin de z=x2 +y2 y 4x2 +y2 +z2 = 9 en el punto ( 1, 1, 2) .
b) Probar que

y2 +2xzu+u2 = 4
define u(x, y, z) y v(x, y, z) cerca de (1, 1, 1, 1, 1) y hallar vy (1, 1, 1) .
yzu + x uv = 1

45. Precisar dnde el teorema de la funcin inversa asegura inversa local, estudiar si hay inversa global y
dar una expresin para ux (si existe) derivando implcitamente:
n

x = u cos v
a)
y = u sen v

x=u
b)
y = v+u2

x = v2 u2
c)
y = uv

IV

d)

x = u2u+v2
2

y = u2v+v2

x = ev+w
e) y = u w
z=u v

Problemas de Clculo (grupo C - 14/15)

3. Integrales mltiples

1. Calcular los valores de las siguientes integrales sobre el rectngulo R = [0, 1][0, 1] :
a)

"
R

(x2 +y2 ) dx dy

"
R

y exy dx dy

c)

"
R

(xy)2 cos x3 dx dy

f dx dy de las f que se dan en los recintos D R2 que se indican:

"

2. Calcular las integrales dobles

b)

a) f (x, y) = log(xy) , D rectngulo [1, 2][1, 2] .

b) f (x, y) = x3 y , D regin acotada por el eje y y x = 4 y2 .

c) f (x, y) = xy , D regin encerrada entre y = x e y = x2 .
d) f (x, y) = ex

y,

D cuadriltero de vrtices (0,0) , (2, 2) , (0, 2) y ( 1, 0) .

e) f (x, y) = sen x , D tringulo limitado por las rectas y = 0 , y = x e y = p x .

f) f (x, y) = x , D tringulo de vrtices (0, 0) , (2, 5) y ( 3, 7) .
g) f (x, y) = x3 , D crculo unidad.
3. Sea R = [0, 1][0, 2] . Calcular
4. Evaluar la integral

Z 2Z 2
0 y

"
R

|x y| dx dy

ex dx dy cambiando el orden de integracin.

5. Calcular la integral de la funcin f (x, y) = x2 +2xy2 +2 sobre la regin del plano acotada por la grfica
de y = x x2 , el eje x y las rectas x = 0 y x = 2 .
!
6. Trabajando en coordenadas i) cartesianas y ii) polares, hallar las siguientes integrales dobles D f :
a) f (x, y) = x2 y , D parte del crculo x2 +y2 1 , con x, y 0 .
b) f (x, y) = x , D regin definida por x2 +y2 2 , x
c)

f (x, y) = x(x2 +y2 ) 1/2 ,

1, y 0.

D regin del primer cuadrante limitada por x2 +y2 = 1 y x2 +y2 = 4 .

7. Calcular mediante el cambio de variable u = y x , v = y+x , la integral

regin acotada por los ejes y la recta x+y = 2 .

"
D

e(y

x)/(y+x) dx dy ,

con D

8. Calcular el rea de la regin D limitada en x 0 por y = x , y = x 6 , y = x2 , y = 2 (x 2)2 ,

i) integrando directamente en cartesianas, ii) haciendo el cambio: x = u+v , y = v u2 .
9. Hallar

"
D

(x2 +y2 ) dx dy con D regin del primer cuadrante acotada por las curvas

xy = 1 , x2 y2 = 1
.
xy = 2 , x2 y2 = 4

y
10. Sean: i) f (x, y) = x+1
, ii) f (x, y) = xy2 . a) Para ambas, dibujar las curvas de nivel f (x, y) = 0, 1, 1 ,
3 4
5, 5 .
x = y2 para

hallar f (0, 1) , D f (x, y) y la derivada de f en el punto (0, 1) en la direccin de v =

b) Calcular la integral

"
D

f dx dy , siendo D :

11. Calcular la integral impropia

"
M

dx dy
(x2 +y2 )1/2

la regin acotada por x = 0 , y = 1 y

i),
el tringulo de vrtices (1, 0) , (2, 0) y (1, 1) para ii).
, siendo M = [ 1, 1][ 1, 1] .

12. Calcular el volumen del slido acotado por la superficie z = x2 +y sobre el rectngulo [0, 1][1, 2] .
13. Determinar el centroide de las regiones:
a) 0 y sen2 x, 0 x p

b)

p
p
x + y 1, x

0, y 0

14. Hallar el centro de masas de una lmina de densidad r(r, q ) = cos q que ocupa la regin r cos q .
15. a) Hallar la distancia media de los puntos del crculo al centro del crculo.
b) Hacer el mismo clculo para la distancia: d (x, y), (x0 , y0 ) = |x x0 | + |y y0 | .
V

16. Calcular

17. Calcular

18. Calcular

(2x+3y+z) dx dy dz , donde B = [1, 2][ 1, 1] [0, 1] .

x2 cos z dx dy dz , con V regin acotada por los planos z=0 , z=p , y=0 , x=0 , x+y=1 .
ey dx dy dz , con V slido limitado por los planos x = 0 , x = 2 , y = 1 , z = 0 , y+z = 0 .

19. Calcular
xy2 z3 dx dy dz , siendo V el slido limitado en x 0 , y 0 , z 0 por la superficie z=xy
V
y los planos y = x y x = 1 .
p p p
20. Dados los puntos P = (0, 2, 4) en rectangulares, Q = 4, 4p
2 , 4 , 4 en
3 , 3 en cilndricas y R =
esfricas, escribir cada uno de ellos en los dos sistemas de coordenadas restantes.
21. Dibujar los siguientes conjuntos y expresarlos en los otros dos sistemas de coordenadas:
A = (x, y, z) : x = 0, z = 2y

B = (r, q , z) : r = 1

C = (r, q , f ) : f p4 , r 1

22. Calcular el volumen de las siguientes regiones ulizando ms de un sistema de coordenadas:

a) regin limitada por el cilindro x2 +y2 = 1 y los planos z = 0 y z = y+2 .
b) regin acotada por el cilindro x2 +y2 = 1 , el plano z = 0 y la superficie z+x2 = 1 .
c) regin encerrada entre las superficies z = x2 +y2 y x2 +y2 +z2 = 2 .
23. Calcular

$
V

z dx dy dz , siendo V el slido limitado por las superficies z =

p
x2 +y2 y x2 +y2 +z2 =4 .

24. Calcular la integral de f (x, y, z) = (x2 +y2 +z2 ) 3/2 sobre el slido acotado por las superficies esfricas
x2 +y2 +z2 = a2 y x2 +y2 +z2 = b2 , con 0 < b < a .
25. Calcular el momento de inercia de una esfera de densidad constante respecto de su dimetro.

VI

Problemas de Clculo (grupo C - 14/15)

4. Integrales de lnea

1. Deducir frmulas para la longitud de una curva dada por: i) y= f (x) , x2[a, b] ; ii) r= f (q ) , q 2[a, b ] .
2. Hallar la longitud de las curvas:
a) x = |t| , y = t 12 , t 2 [ 1, 1] ; b) x = 2 cost cos 2t , y = 2 sent sen 2t , t 2 [0, 2p] (cardioide);
c) y = log x , x 2 [1, e] ; d) y = x2/3 , x 2 [1, 8] ; e) r = aq , q 2 [0, 2p] , a > 0 (espiral de Arqumedes).
3. Sea R la regin del primer cuadrante acotada por los ejes coordenados y la curva r = 2(cos q + sen q ) .
a) Calcular el rea de R . b) Hallar la longitud del permetro de R .
4. Hallar

f ds para la f y las curvas que se indican:

a) f (x, y, z) = yz , c(t) = (t, 3t, 2t) , t 2 [1, 3] .

b) f (x, y, z) = x+z , c(t) = t,t 2 , 23 t 3 , t 2 [0, 1] .

5. Un alambre est sobre el tramo de espiral r = eq , q 2 [0, 2p] . En cada punto (r, q ) la temperatura es r .
Calcular la temperatura media del alambre.
6. Hallar la masa de un alambre que sigue la interseccin de la esfera x2+y2+z2 =1 y el plano x+y+z=0 ,
si la densidad en (x, y, z) es x2 por unidad de longitud.
7. Hallar el rea de la superficie generada por el giro de
8. Hallar

a) x = y2 , y 2 [1, 2]
alrededor del eje x .
b) r = 1+cos q , q 2 0, p2

(x2 +y2 )dx + dy siendo C : a) y = x2 , 0 x 1 , b) y = 12 , 1 x 2 , c) x = 2 , 0 y 12 .

9. Hallar el trabajo realizado por la fuerza f(x, y)=(3y2 +2, 16x) al mover una partcula de ( 1, 0) a (1, 0)
siguiendo la mitad superior de la elipse b2 x2 +y2 = b2 . Para qu valor de b es mnimo el trabajo?
10. Calcular la integral de lnea del campo f(x, y) = (xy, 0) entre ( 1, 0) y (1, 0) a lo largo de: a) el eje x ,
b) y = 1 x2 , c) y = |x| 1 , d) la parte inferior de la circunferencia x2 +y2 = 1 . Es f conservativo?
11. a) Sea f (x, y)=x2 y2 . Dibujar las curvas de nivel f (x, y)=0 y el vector f (1, 1) . Hallar la derivada
de f en el punto (1, 1) segn el vector v = ( 1, 1) . Hallar D f (x, y) . b) Hallar la integral de lnea de
g(x, y) = (2x, 2y) desde (1, 0) hasta (0, 1) sobre el tramo de circunferencia x2 +y2 = 1 con x, y 0 .
!
12. Sea D el cuadriltero de vrtices (0, 0) , (2, 0) , (4, 1) , (2, 1) . a) Hallar D (x+2y) dx dy . b) Hallar
la integral de lnea de f(x, y)=(1, cos y) a lo largo de la frontera de D , en sentido de las agujas del reloj.
13. Hallar la integral de f(x, y) =

y
, x
(y+x)2 (y+x)2

entre (0, 1) y (1, 0) a lo largo de la parbola x=1 y2 .

y
x
14. Sea f(x, y) = 5 x2 +y
j . Existe funcin potencial para f ? Calcular la integral de lnea de
2 i
x2 +y2
f entre ( 1, 1) y (1, 1) a lo largo de la circunferencia x2 +y2 = 2 .

15. Calcular la integral de F(x, y, z) = x i + y j + z k a lo largo de:

a) c(t) = (t,t,t) , t 2 [0, 1] .

b) c(t) = (cost, sent, 0) , t 2[0, 2p] .

#
16. Sea g(x, y, z)=y e2x z . a) Hallar V g , siendo V el slido limitado por los planos x=0 , x=1 , y=0 ,
y = 2 , z = 0 y z = 2 x . b) Hallar el valor de la integral de lnea de i) g , ii) g desde (0, 0, 0) hasta
(1, 2, 2) a lo largo del segmento que une los puntos.
17. Calcular la integral de lnea del campo F(x, y, z) = i +2yz j +y2 k entre (1, 0, 2) y (0, 3, 0) a lo largo
del segmento que une esos puntos. Para alguna curva que una ambos puntos la integral es 0 ?
18. Sea f(x, y, z)= z2 , 2y, cxz , c constante. a) Hallar div f y rot f . b) Precisar para qu valor de c deriva
f de un potencial U y calcularlo. c) Para este c , cunto vale la integral de lnea de f entre (0, 0, 0) y
(1, 0, 1) a lo largo del segmento que une los puntos?
19. Sea f(x, y, z)= y2 i+ 2xy j 2z k . a) Hallar div f , rot f , (div f ) y D( ff ) . Deriva f de un potencial?
#
b) Hallar V div f dx dy dz , siendo V el slido acotado por z=4 y2 y los planos x=0 , x=3 y z=0 .
c) Hallar la integral de lnea de f de (3, 0, 4) a (0, 2, 0) sobre la curva c(t) = 3 3t2 ,t , 4 t 2 , t 2 [0, 2] .
VII

20. Sea f(x, y)= 1, xy2 . Deriva f de un potencial? Hallar el valor de la integral de lnea de f a lo largo
de la circunferencia x2 +y2 = 4 , recorrida en sentido opuesto a las agujas del reloj: i) directamente, tras
dar una parametrizacin, ii) mediante el teorema de Green (integrando en polares).
21. Comprobar el teorema de Green para:
a) f(x, y) = y2 , 2x y D la regin del plano encerrada entre la parbola x = 4 y2 y la recta y = x 2 .
b) f(x, y) = y2 , xy y D semicrculo girado dada por x2 +y2 2 e y x .
22. Sea D la regin comprendida entre las grficas de y= e x , y= ex

y el eje y . a) Hallar

"
D

x ex dxdy .

b) Cunto vale la integral de lnea de f(x, y) = (xy ex , 1) a lo largo de D , en sentido horario?

23. Hallar el rea encerrada por el eje x y un arco de la cicloide x = q sen q , y = 1 cos q , 0 q 2p .
24. Comprobar los teoremas de Green y la divergencia para el campo vectorial g(x, y) = x2 , 2xy en el
tringulo D cuyos vrtices son los puntos (0, 0) , (2, 0) y (0, 4) .
25. Verificar el teorema de la divergencia para:

i) f(x, y) = (x, y) y D el disco unidad x2 +y2 1,

ii) f(x, y) = (2xy, y2 ) y D el cuadrado unidad.

VIII

Problemas de Clculo (grupo C - 14/15)

5. Integrales de superficie

1. a) Hallar la ecuacin del plano tangente a la superficie r(u, v) = (2u, u2 +v, v2 ) en el punto (0, 1, 1) a
partir del producto vectorial fundamental. b) Escribir la superficie en la forma z = f (x, y) y calcular ese
plano utilizando la frmula del captulo 2.
2. Comprobar que r(u, v) = (ch u cos v, ch u sen v, sh u) , v 2 R , u 2 [0, 2p] parametriza el hiperboloide de
una hoja x2 +y2 z2 = 1 . Hallar de dos formas su plano tangente en el punto con u = 0 y v = p4 .
3. Hallar el rea del toro dado por r(q , f ) = (2+cos f ) cos q , (2+cos f ) sen q , sen f , q , f 2 [0, 2p] .
!
4. Calcular S (x2 +y2 ) dS , siendo S la superficie esfrica x2 +y2 +z2 = 4 .
5. Sea S la superficie cilndrica x2+y2 = 4 comprendida entre los planos z=0 y z=3 . a) Hallar el rea de
S utilizando integrales de superficie. b) Calcular la integral de superficie sobre S de: i) f (x, y, z) = x2 ,
ii) f(x, y, z) = (xz, yz, 2) (respecto de la normal exterior).
6. Sea S la parte de la superficie cnica z2 = x2 +y2 comprendida entre los planos z = 1 y z = 2 , y sea
el campo vectorial f(x, y, z) = (x, y, 1) . a) Calcular el rea de S y la integral de superficie de f sobre S
respecto de la normal exterior al cono. b) Calcular el rot f . Cunto vale la integral de lnea de f a lo
largo de la circunferencia que limita superiormente la superficie?
7. Sea V el cubo unidad 0 x 1 , 0 y 1 , 0 z 1 , S su superficie, y sea f(x, y, z) = (x2 , y2 , z2 ) .
RRR
RR
Comprobar el teorema de la divergencia calculando:
V div f dx dy dz e
S f n dS .

8. Comprobar el teorema de Gauss para f(x, y, z) = 4x i +4y j +z2 k en el volumen x2 +y2 25 , 0 z 2 .

9. Sean las superficies S= x2 +y2 +z2 =R2 , z 0 y B= x2 +y2 R2 , z=0 . Comprobar que se verifica
el teorema de la divergencia sobre S[B para el campo vectorial f(x, y, z) = ( y , x , 1 ) .
10. Hallar el flujo del campo vectorial f(x, y, z) = 3yz i + 2xz j +(z+xy) k , hacia el exterior de la superficie
de la esfera x2 6x+y2 +z2 = 0 .
11. Sea S el tringulo determinado por los puntos (0, 0, 0) , (0, 1, 0) y ( 1, 1, 1) y f(x, y, z) = (yz, ey , 1) .
Calcular la integral de superficie de rot f sobre S directamente y utilizando el teorema de Stokes.
12. Sea S la parte del paraboloide elptico z = 4 4x2 y2 con z 0 y x 0 , y sea g(x, y, z) = (3, x2 , y) .
Comprobar el teorema de Stokes calculando la integral de superficie de rot g sobre S y la integral de
lnea de g a lo largo del contorno cerrado que limita dicha superficie.
13. Comprobar el teorema de Stokes, calculando las integrales correspondientes, para el campo vectorial
F(x, y, z) = y i +2x j +(x+z) k en la parte de la superficie x2 +y2 +z2 = 9 con z 0 .
14. Sean V el slido limitado por el paraboloide z = 1 x2 y2 y el plano z = 0 , S la parte de dicho
paraboloide con z 0 , C la interseccin del paraboloide con el plano z = 0 , S la superficie de V y
f(x, y, z)=(x, xy, 2z) . Comprobar que se cumplen los teoremas de Stokes y de la divergencia calculando:
I

f ds ,

ZZ

rot f n dS ,

ZZ

f n dS e

ZZZ

div f dx dy dz .

15. a) Comprobar que si u : R2 ! R es de C2 se satisface u Du = div uu kuk2 .

b) Deducir, con el teorema de la divergencia en el plano, que u2C2 (D) cumple la frmula de Greeen:
"
D

u Du dx dy =

u nu ds

"
D

kuk2 dx dy , con

u
n

derivada segn la normal unitaria exterior.

c) Escribir y probar la frmula para R3 . d) Qu resultado de R generalizan estas frmulas?

(se utilizan demostrando la unicidad de las soluciones de algunas ecuaciones en derivadas parciales).

IX