Teoria5 Calculo en Varias Variables

NOTAS DE CLCULO EN VARIAS VARIABLES
CLCULO III
Marta Lagarrigue
( 2013)
Facultad de Ciencias Exactas y Tecnologa

Universidad Nacional de Tucumn
Notas de Clculo en Varias Variables
Estas son las notas de clases del curso de Clculo en varias variables
(Clculo III) para los alumnos de todas las carreras de Ingeniera que se
dictan en la Facultad de Ciencias Exactas y Tecnologa de la Universidad
Nacional de Tucumn.
Los objetivos del curso son el conocimiento y manejo de las aplicaciones
del Clculo Diferencial e Integral en varias variables, de funciones reales y
funciones vectoriales, con fundamentos tericos de Anlisis Matemtico;
para interpretar el comportamiento del mundo real con la simbologa y
procedimientos del Clculo.
En estas notas se desarrollan los conceptos bsicos de: Continuidad y
diferenciabilidad de funciones reales de varias variables y de campos
vectoriales, extremos relativos, integrales mltiples, integrales curvilneas de
funciones reales y de campos vectoriales e integrales de superficie de
funciones reales y de campos vectoriales. Los ejercicios y problemas que
corresponden a estos contenidos, se proponen en la cartilla de trabajos
prcticos para los alumnos, en las clases prcticas.
La duracin del curso es de un cuatrimestre, en el segundo ao del plan de
estudios de todas las carreras de ingeniera y se presupone que los alumnos
conocen y manejan el clculo diferencial e integral en una variable y los
conceptos de geometra y de lgebra lineal de cursos previos.
Marta Lagarrigue.
San Miguel de Tucumn, Julio de 2013
Marta Lagarrigue
ii
Clculo III
CLCULO EN VARIAS VARIABLES

CONTENIDO
Clculo diferencial.
Relaciones. Funciones. Conceptos topolgicos......................
Funciones continuas................................................................
Lmite. ....................................................................................
Curva. Recta tangente. ...........................................................
Derivadas parciales. Derivada direccional. ...........................
Funciones diferenciables. ......................................................
Teorema del Valor Medio del Clculo diferencial. ...............
Funciones compuestas. ..........................................................
Diferenciales de orden superior. Desarrollo de Taylor. .........
Funciones inversas. Funciones implcitas. .............................
Extremos relativos. Extremos absolutos. ...............................
1
6
11
15
16
23
35
37
41
43
49
Clculo integral
Integrales mltiples. ...............................................................
57
Teorema del Valor Medio del Clculo integral. .....................
63
Integrales paramtricas. ........................................................... 65
Clculo de integrales mltiples mediante integrales simples... 67
Cambio de variables en integrales mltiples. .......................... 70
Integrales curvilneas. Longitud de arco de curva. .................. 75
Integral curvilnea de una funcin real. ................................... 77
Integral curvilnea de un campo vectorial. ............................. 78
Teorema de Gauss-Green en el plano. .................................... 81
Superficie regular. rea de superficie regular. ....................... 91
Integrales de superficie de funciones reales. ..........................
94
Integrales de superficie de campos vectoriales. ....................... 95
Teorema de Gauss-Ostrogradski. (de la divergencia). ............. 97
Teorema de Stokes. (del rotor).................................................. 100
Bibliografa
1. Amzigo-Rubenfeld: Clculo avanzado con aplicaciones a la Ingeniera
y la Fsica.- Ed. Mc.Graw-Hill. 1980.
2. Williamson-Crowell-Trotter: Clculo de Funciones Vectoriales.Ed. Prentice Hall Internacional. 1973.
Marta Lagarrigue, Julio de 2013.

Marta Lagarrigue
iii
Clculo III
CLCULO III
RELACIONES:
Definicin:
Sean A y B conjuntos .
Una relacin R de A en B es un subconjunto del producto cartesiano A B.
R relacin de A en B
R AB
Sean a A , b B . Decimos que a est relacionado con b si y slo si (a,b) R

,
y escribimos : a R b (a,b) R .
Ejemplo 1: Sean a, b R : b > a
A = [a,b] = { x R | a x b } ; B = [0,1] ; R = { (x,y) A B | 0 y
1
}.
2
y
1-
Ejemplo 2: A = [a,b] ;
B = [0,1]
R = { (x,y) A B | x =
ab
}.
2
xo
b x
xo =
ab
2
Definicin :
Se llama dominio de R al conjunto Dom(R
R) = { x A | y B
Se llama rango de R al conjunto Rang(R
R) = { y B | x A
( x, y ) R }
( x, y ) R }
En el Ejemplo 1 Dom(R
R) = [a,b] y Rang(R
R ) = [, ] .
2
En el Ejemplo 2 Dom(R
R) = {xo} y Rang(R
R) = [,1]
MartaLagarrigue
Clculo III
FUNCIN :
Definicin: Una funcin f de A en B es una relacin f A B tal que :
1) Dom( f ) = A .
2) (x, y1) (x, y2) f
Esto dice:
f AB
Existe un
nico
y1 = y2
funcin de A en B x A ! y B : (x, y) f .
Si f es funcin de A en B y (x, y) f , como para cada x de A existe un nico y de

B, llamamos a y el transformado de x , o el valor de f en x , y escribimos y = f (x).
Entonces:
f A B
funcin de A en B x A ! y B : y = f (x) .
La notacin para funciones es la siguiente:
f:A B
x y = f (x) .
Observacin: Si dos funciones tienen distinto dominio son distintas, an cuando los
transformados tengan la misma forma.
Ejemplo: f : R R
g:N R
. Dibujar!
x f (x) = x + 1
x g (x) = x + 1
Las funciones que vamos a estudiar en este curso sern del tipo f : Rn R y
tambin f : Rn Rm .
El conjunto Rn es
Rn = R R ... R = {(x1,x2,...,xn)| i 1,2,...1, n x i R }.
A cada elemento de Rn le llamamos un punto de Rn y es una n-upla de nmeros
reales que denotamos x = (x 1,x2,...,x n).
Los nmeros reales xi se llaman las coordenadas del punto x de Rn .
En particular para los elementos de R2 y de R3 vamos a usar la notacin clsica .
As R2 = {(x,y) |
x R , y R } y R = {(x,y,z) |
x R , y R , z R } .
DISTANCIA EN Rn
n
La distancia usual entre puntos de R se define as: d (x,y) = [ ( xi yi ) ] 2

2
As la distancia en Rn es una funcin
d : Rn Rn R
(x,y) d (x,y)
n
El par (R , d ) formado por el conjunto Rn y la funcin d se llama espacio

euclidiano de dimensin n .
En = (Rn, d ).
El espacio euclidiano de dimensin 1, E1, es la recta real con la distancia usual.
d (x,y) = |x y| .
MartaLagarrigue
Clculo III
El espacio euclidiano de dimensin 2 es el plano real con la distancia usual.

( x1 x 2 ) 2 ( y1 y 2 ) 2 , donde
d (P1,P2) =
P1 = (x1, y1) , P2 = (x2, y2) R .
CONCEPTOS TOPOLGICOS.
Sea Po Rn y sea R , > 0 .
Definicin de Bola
Se llama bola de centro Po y radio , al subconjunto de Rn definido as:
B ( Po ) {P Rn | d (P, Po ) } .
En el espacio E1 (la recta real), una bola es un intervalo abierto. En efecto:
Si xo R , entonces:
B (xo) = {x R | |x-xo| < } = { x R | xoxxo} = (xoxo
(
- xo
En E2 , el plano real, una bola es un crculo sin la circunferencia.

Po = (xo,yo) R2, B ( Po ) = {(x,y) R2 | ( x xo ) 2 ( y y o ) 2 < }.
y
. Po
x
Definicin de Conjunto Abierto
Sea A Rn . A es un cjto abierto si para todo pto. P de A existe una bola con centro
en P, contenida en A..
A Rn es abierto en Rn P A 0 : B ( P) A
Ejemplos:
1. El cjto Rn es abierto.
2. Una bola en Rn es un cjto abierto.
3. A = {(x,y) R2 | |x| < 1 , |y| < 1 }.
4. B = {(x,y) R2 | |x| + |y| < 1 }.
A R2
0
.
B R2
A y B son cjtos abiertos en R2.
MartaLagarrigue
Clculo III
y
5. C = {(x,y) R2 |
|x| 2 , |y| <1 }.
P
C no es abierto, P C tal que toda
Bola con centro en P contiene ptos que
no pertenecen a C.
-2
Definicin de Punto interior.

Sea A Rn y P A . P es pto interior del cjto A , si existe una bola con centro en
P, contenida en A.
0 : B (P ) A
P punto interior de A
P
P es pto interior de A.
Q Q no es pto interior de A .
o
El conjunto de ptos interiores de A se llama el interior de A y se denota A .

o
A es un cjto abierto.
De la definicin de cjto abierto y de la de interior de un cjto, se sigue que un
cjto es abierto si y slo si coincide con su interior.
Definicin de Conjunto cerrado.
Sea A Rn . A es cerrado cA es un cjto abierto.
cA se llama el complemento de A .Es el cjto de ptos de Rn que no pertenecen a A .
cA = { P Rn | P A }.
1. El cjto y Rn son cjtos cerrados.
Ejemplos :
2. A = {(x,y) R2 |
|x| a , |y| b }
a, b R
A es un cjto cerrado en R2 porque cA es abierto.
cA = {(x,y) R2 |
|x| > a , |y| > b }
MartaLagarrigue
Clculo III
Definicin deFrontera :
Sea A Rn.
P Rn es un punto frontera de A > 0 B ( P) A B (P ) cA
Esto es: P es pto frontera de A sii toda bola con centro en P tiene ptos de A y ptos
de cA.
La frontera de A es el cjto de los ptos frontera de A y se denota Front(A) o tambin
con el smbolo A.
P es pto frontera de A.
P
La frontera de A es el borde.
Se puede probar que un conjunto es cerrado sii contiene a su frontera.
Proposicin: A cerrado A A .
Definicin de Entorno de un punto:
Sea P Rn y
N Rn.
Decimos que N es entorno del pto P, si N contiene una bola con centro P.
N entorno de P B ( P) : B ( P) N .
Observar que un cjto abierto es entorno de cada uno de sus ptos.
Toda bola con centro P es entorno de P; pero no todo entorno de P es una bola.
Definicin de pto de acumulacin:
Sea A Rn y P Rn .
P es pto de acumulacin de A si y slo si toda bola con centro P tiene ptos de A,
distintos de P.
Llamamos bola reducida a B* ( P) = B (P ) {P} . Entonces :
P es p,ac de A 0 B* (P) A .
Un pto de acumulacin de A puede o no, pertenecer a A.
Ejemplo en E2:
Q.
.P
R.
MartaLagarrigue
A = B {Q}
P es pto de acumulacin y P A
R es pto de acumulacin y R A
Q no es pto de acumulacin y Q A
Clculo III
FUNCIONES CONTINUAS.
I) Consideremos primero, el caso de funciones reales de una variable.
Sea f : A R , A R y
x f (x)
xoA.
Del curso de A.M.I. sabemos que ,por definicin, f es continua en xo si

0 ( R) , 0 tal que: si x A y |x-xo| entonces | f (x) f (x0)| .
y
f(xo) +
f(xo)
f(x)
f(xo) -
xoxo x xo+x
Observemos que: x A y |x-xo| , significa que x ( B (xo) A).

y
| f(x) f(x0)| significa que f(x) B( f(xo)) . Por lo tanto, podemos definir
continuidad en un pto as:
Definicin:
Sea f : A R , A R y
x f (x)
xoA.
f es continua en xo R, 0 R, 0 : ( x ( B (xo) A) f(x) B( f(xo)) ) .

Esto dice que una funcin f : A R es ctinua en xoA R si para todo intervalo
abierto de centro f(xo)existe un intervalo abierto de centro xocuya imagen est
contenida en el de centro f(xo).
II) Nos interesa, ahora, definir continuidad para funciones de dos variables.
Sea f : D R , D R2 y
P f (P)
PoD.
Por definicin, f es continua en Po si para todo n real positivo existe una n real
positivo tal que para cada P ( B (Po) D ) se cumple f (P) B( f(Po)) .
En smbolos:
f es continua en Po R, 0 R, 0 : ( P ( B (Po) D) f(P) B( f(Po)) )
MartaLagarrigue
Clculo III
z
f(Po)
f(Po f(P)
f(Po)
f
Qo .. Q
y
x
Po
.P
La funcin f del dibujo es continua en Po . Para cada intervalo real ( f(Po)-f(Po)+)

se puede determinar un crculo de centro Po y radio de modo que si un punto P
pertenece al crculo, su imagen f(P) pertenece al intervalo ( f(Po)-f(Po)+) .
Definicin:
f es continua sii es continua en cada punto de su dominio
Antes de dar un ejemplo de funcin continua, observemos lo siguiente:

Sea A = {(x,y) R2 | | x | | y | }. A es el cjto de ptos del plano que pertenecen al
cuadrado del dibujo:
y
B (0,0) A. En efecto:
2
(x,y) B (0,0) x2 y2 <

2
2
4
| x |
2 | x | | y | (x,y) A.
| y |
Esto dice que si un pto pertenece a la bola de centro en el origen y radio entonces
2
pertenece al cuadrado A, como se ve en dibujo.
MartaLagarrigue
Clculo III
En el caso en que A = {(x,y) R2 | | x - x o
| | y - y | },
o
entonces B (xo,yo) A
2
y
(x,y) B (xo,yo) | x - x | | y - y |
o
o
Po .
Veamos ahora, un ejemplo que muestra cmo probar que una funcin es continua en
un punto.
Ejemplo1:
Probar que la funcin f es continua en el origen
f : R2 R
x 2 xy si (x, y) (0,0)
(x,y) f (x,y) = | x | | y |
si (x, y) (0,0)
0
Sea 0 . Debemos encontrar >0 tal que (x,y) B(0,0) | f(x,y) |< .
Si (x,y) (0,0), miremos | f(x,y) |.
si x 0
| f(x,y) |= |
xy
|x||y|
|x|
| x |.| y |
|x|
|x| + |y| .
(1)
Sabemos que los ptos (x,y) que verifican |x| + |y| estn en el cuadrado
Entonces basta elegir
(x,y) B0,0) |x| + |y|
para que:
Teniendo en cuenta (1), afirmamos:

(x,y) B0,0) , ( x 0)
| f(x,y) | |x| + |y| .
(x,y) B0,0) , ( x=0 )
| f(x,y) |= |
Hemos probado 0
(x,y) B0,0) | f(x,y) | .
Esto dice que f es continua en (0,0) , como queramos probar.

Veamos otro ejemplo.
MartaLagarrigue
Clculo III
Ejemplo2:
Probar que la funcin f : R2 R
es continua.
( x , y ) f ( x , y ) x2 + y2
Tenemos que probar que Po R2 f es continua en Po .

Supongamos primero que Po = (0,0).
Sea
| f(x,y) f(0,0)| = | x2 + y2 0 | = x2 + y2 .
Si elegimos tenemos:
(x,y) B0,0) | f(x,y) |= x2 + y2
Por lo tanto f es continua en el origen.

Supongamos ahora, Po = (xo, yo) (0,0) .
Sea
| f(x,y) f(xo,yo)| = | x2 + y2 (xo2 + yo2) | | x2 xo2| + | y2 yo2|
(*)
Queremos determinar el radio de una bola de centro Po , Bxo,yo) , de manera que

para los puntos (x,y) Bxo,yo) sea | x2 xo2| + | y2 yo2| < .
Miremos ptos P tales que |x-xo|<1 |y-yo|<1
|x-xo |<1
| x2 xo2| = | x2 2 xxo + xo2 + 2 xxo 2 xo2 | | x xo|2 + 2 |xo| | x xo| (1+ 2| xo|). | x xo|
| x2 xo2| + | y2 yo2| (1+ 2| xo|). | x xo| + (1+ 2| yo|).| y yo| K ( | x xo| + | y yo| ) . (**)
Donde K = mx.{ (1+ 2| xo|), (1+ 2| yo|) }.

Si elegimos mn{1,
}(x,y) Bxo,yo) | x xo| + | y yo| <

2K
K
entonces de (*) y (**) concluimos:

(x,y) Bxo,yo)
| f(x,y) f(xo,yo)| < K
. Y esto dice f ctinua en Po .

K
I
II)_Consideremos funciones vectoriales.
Sea f : D Rn Rm
P D R P =(x1, x2,..., xn) y i =1,2,..., m. fi : D R R

P f ( P) ( f ( P), f ( P),..., f ( P))
P f ( P)
1
2
m
i
Las fciones fi se llaman fciones coordenadas. La fcin f transforma ptos de Rn (que

podemos identificar con vectores de Rn) en vectores de Rm.
Para este tipo de fciones interesa representar, cuando es posible, la imagen del
dominio. f(D) = { f(P) Rm | P D }
Ejemplo3:
f : R R2
los valores de f son ptos de R2 cuyas coordenadas
t f(t) = (t+1, t)
son fciones de la variable t .
x (t ) t 1
(1)
t R.
f (R) = { (x,y) R2 | x-y =1 } .
y
(
t
)
x y =1
MartaLagarrigue
Clculo III
La representacin grfica de f (R) , es una recta en R2.

y
Las ecuaciones (1) se llaman las ecuaciones paramtricas de la recta.
La ecuacin vectorial de la recta es: (x, y ) = (1,0) + t (1,1) t R
(1,0)
Ejemplo 4:
f : R2
t f(t) = (cos t, sen t)
x = cos t
y
y = sen t
f(0)= (1,0)
2
2
2
2
2
x +y = 1 .
f () = {(x,y) R | x +y = 1}
La grfica de f () es una circunferencia.

Ejemplo5:
f : R2 R3
(u,v) f(u,v) = (u+v, u-v, 1-u )
x u v
f (R2) = {(x,y,z,) R3 | x + y +2 z = 2 } .
y u v
z 1 u
La grfica de f (R2) es un plano que pasa por el pto (0,0,1) y tiene
normal n = (1,1,2)
La ecuacin vectorial del plano es (1,1,2).(x, y, z-1) = 0
x
(0,0,1)
Ejemplo 6:
f : D R3
(u,v) f(u,v) = (cos u, sen u, v )
D =
f (D) = {(x,y,z,) R3 | x2 + y2 = 1 , -1 z 1} . La grfica de f (D) es una porcin de

cilindro.
z
z
y
x
Definicin:
Sea f : D Rn Rm
P D R P =(x1, x2,..., xn) y i =1,2,..., m. fi : D R R

P f ( P) ( f ( P), f ( P),..., f ( P))
P f ( P)
1
2
m
i
f es continua en Po D Rn 0 0 : ( P ( B (Po) D) f(P) B( f(Po)) )

Se puede probar que f es continua en Po si y slo si cada una de las funciones coorde
nadas fi es continua en Po .
MartaLagarrigue
10
Clculo III
LMITE.
Sean f : D R , D R2 ,
P f (P)
y sea L R.
Po D . (Dconjunto de puntos de acumulacin de D)
Puede ocurrir que Po. D . An cdo la fcin f no est definida en Po, como Po es pto
de acumulacin del dominio, tiene sentido averiguar qu pasa con los valores f (P)
para ptos P del dominio de f , '' prximos a Po'' , esto es, pertenecientes a una bola de
centro Po y radio tan pequeo como se quiera.
Si para estos ptos los valores de la fcin son prximos al nmero real L, decimos
que el lmite de f (P) cuando P tiende a Po es L y escribimos lm f (P) = L.
P Po
Definicin:
0 0 : ( P (B(Po) D) f(P) B(L) )
lm f (P) = L
P Po
Si f : D Rn Rm
, Po D Rn , y L = (L1 , L2,..., L m ) Rm
P f ( P) ( f ( P), f ( P),..., f ( P))

1
vale la misma definicin y se puede probar que

lm fi (P) = Li
lm f (P) = L sii i =1,...,m

P Po
P Po
Ejemplo: f : R R3
2
t t t
t ( , , ).
2 2 2
lm f(t) = ( lm
t 2
t
2
t 2
, lm
t
2
t2
, lm
t2
2
) = (1, 1, 2)
t 2
De las definiciones de lmite y continuidad en un pto, se sigue que si Po es un pto de

acumulacin de D que pertenece a D entonces vale la siguiente proposicin:
Proposicin:
f : D R , D R2 , Po D D.
P f (P)
f es continua en Po
lm f (P) = f (Po)
P Po
MartaLagarrigue
11
Clculo III
Observacin:
Si Po no es pto de acumulacin de un cjto se llama pto aislado.
Si Po pertenece al dominio D de f y es un pto aislado de D, entonces f es continua
en Po. Por lo tanto: Toda funcin es continua en un pto aislado de su dominio, an
cuando no tenga sentido el concepto de lmite ya que Po no es pto de acumulacin .
Veamos un ejemplo de lmite.

Ejemplo 1: Sea f : D R , D =R2 {(0,0)}
2
(x,y) f (x,y) =
x seny
2
x y
(0,0)D , luego f no puede ser continua en (0,0); pero (0,0) es pto de acumulacin de D.
Entonces veamos qu pasa con f (x,y) cuando (x,y) est en D y tiende a (0,0) .
Lmites repetidos
Miremos puntos tales que x 0 ; y 0
2
x seny
lm
y0
x y
x .0
=0 .
Nos aproximamos ahora al origen a lo largo del eje x.

y
lm
x0
x seny
lm
y0
x y
= lm 0 = 0 .
x0
Ahora vamos a aproximarnos al origen, calculando ylm

( lm f (x, y) ).
0 x0
lm
y0
x seny
lm
x0
x y
= lm
y0
0.seny
0 y
= lm 0 = 0 .
y0
Los lmites:
lm
x x
lm
(y y
f (x, y) )
0
lm
y y
lm
(x x
f (x, y) ) se llaman lmites

0
repetidos.
En este ejemplo, ambos lmites repetidos son iguales a cero. Esto dice que si existe
lmite L (tambin llamado lmite doble) ste debe ser igual a cero.
MartaLagarrigue
12
Clculo III
Limites radiales:
Vamos a aproximarnos al origen siguiendo otro camino. Miramos ptos prximos al
origen, pertenecientes a una recta que pase por el origen y = mx . y
lm
x0
2
x sen mx
= xlm
=0.
0
x sen mx
2
x mx
x (1 m )
Para cada m los lmites :
lm
x x
f(x,mx) se llaman lmites radiales.
En este ejemplo vemos que existen los lmites repetidos y los lmites radiales y todos
son iguales a cero. Por lo tanto, si existe el lmite doble, ste debe ser igual a cero.
Probaremos que, en efecto, el lmite doble L existe y vale cero.
Sea 0. y (x,y) (0,0)
2
x seny
| f (x,y) L | = |
x y
Si elegimos
x |y|
x
= |y| |x| + |y| .
(x,y) B0,0) ,( x 0)
(x,y) B0,0) ,( x=0)
Hemos probado 0
Esto dice que
lm
(x, y) (0,0)
| f(x,y) | |x| + |y| .

| f(x,y) |= |
: (x,y) B0,0) | f(x,y) | .
f (x, y) = 0 , como queramos probar.
En el siguiente ejemplo veremos una funcin que no tiene lmite en el origen.

Ejemplo 2: Sea f : R2 R ,
xy
2
x y2
(x,y) f (x,y) =
si (x, y) (0,0)
si (x, y) (0,0)
Evidente!
Los lmites repetidos existen y ambos son iguales a cero .

Nos aproximemos al origen a lo largo de la recta y = x . Esto es, miremos el lmite
radial lm f (x, x) xlm
0
x0
x2
2
x x
1
.
2
Como los lmites repetidos son 0 y un lmite radial es distinto de 0, no puede existir
el lmite doble.
En ptos prximos a (0,0), el valor de f(x,y) tiende a
valores distintos segn el camino que sigamos para
aproximarnos al origen.
MartaLagarrigue
13
Clculo III
Por lo tanto f(x,y) no tiene lmite cuando (x,y) tiende a (0,0).

En consecuencia la funcin f no puede ser continua en el origen.
PROPIEDADES:
Proposicin.
Sean: f : D Rn R , g: D Rn R , Po D y L, M R tales que
lm f (P) L
P Po
a) P lm
Po
b) P lm
Po
lm g (P) M . Entonces valen : a) , b) y c).

P Po
f (P) g (P) L M
f (P) g (P) L M
c) ( M 0 P D g(P) 0 )
Cuando los sumandos tienen lmite, el lmite de

la suma es la suma de los lmites.
.
Cuando los factores tienen lmite, el lmite del
producto es el producto de los lmites.
f (P) L
.
P Po g (P) M
lm
La demostracin de la proposicin , se deja como ejercicio.

Para las funciones continuas valen las mismas propiedades:
a) La suma de funciones continuas es una funcin continua.
b) El producto de funciones continuas es una funcin continua.
c) Si la fcin del denominador no se anula en ningn pto, el cociente de fciones
continuas es una funcin continua.
MartaLagarrigue
14
Clculo III
DERIVADA .
CURVA. RECTA TANGENTE A UNA CURVA.
Definicin
Sea f : [a,b] Rn continua. Se llama curva Cen Rn al subconjunto f ([a,b]) de Rn ,
t (x1(t),,xn(t))
imagen por f de [a,b].
La funcin continua f se llama una parametrizacin de la curva C.
f : R2
t f(t) = (cos t, sen t)
Ejemplo:
g: R2
t g(t) = ( t,
1t
son dos parametrizaciones distintas de una curva C en el plano. y

x = cos t f () = {(x,y) R2 | x2+y2 = 1 , y > 0} =
y = sen t
f
C
x
x2+ y2 = 1
0
x= t
y = 1 t2
g () = {(x,y) R2 | x2+y2 = 1 , y > 0}
x2+ y2 = 1
-1
Las parametrizaciones f y g describen la misma curva; pero al crecer el parmetro

la recorren en distinto sentido. Despus veremos que estas parametrizaciones no son
equivalentes.
Definicin
Sea f : [a,b] Rn
y to (a,b) . Se llama derivada de f en to al siguiente
t (x1(t),,xn(t))
f (t o h) f (t o )
lmite, cuando existe. Y se denota f (to). hlm
= f (to). Si h = t
0
h
to tambin podemos escribir,cuando existe el lmite:
lm f (t ) f (t o ) .
f (to) = t
to
t to
MartaLagarrigue
15
Clculo III
Por propiedades del lmite se puede probar que f (to) = x1 (t o ), x2 (t o ),..., xn (t o ) .
lm f (t ) f (t o ) = lm ( x (t ),...x n (t )) ( x (t ),...xn ( t ))
En efecto. f (to) = t
to
t to
t to
t to
1
x1 (t ) x1 (t )
lm xn (t ) xn (t ) = x (t ), x (t ),..., x (t ) .
= hlm
,...,
1 o
2 o
n o
0
h
0
t t
t t
o
o
Si t (a,b) existe f (t) , la funcin

f : (a,b) R2 tal que f (t) = x1 (t ), x2 (t ),..., xn (t ) . se llama la derivada de f y se
denota f o tambin
Ejemplo :
df
.
dt
f : [a,b] R2
t (t2, t3)
f : (a,b) R2
.
t (2 t, 3t2 )
Interpretacin geomtrica
recta tangente
2
Sea f : [a,b] R
continua y f (to).
P.
f (t o)
to
|
to+h
f(to+h)
f (to)
x
f (t o h) f (t o )
no depende del signo de h. Por qu?
h
Si f (to) (0,0) se llama un vector tangente .
La ecuacin de la recta tangente a la curva C= f ([a,b]) en f (to) es :
En el lmite, el sentido del vector
P = f (to) + f (to) . Donde R y
P = (x,y) R2 es un pto genrico de la recta
tangente a C en f (to).
Si f es una funcin continua de [a,b] en R3 , las coordenadas de P son (x,y,z). Y si
se trata de una curva en Rn , las coordenadas del pto genrico de la recta tangente
son(x1,...,x n).
Ejemplo: Determinar la recta tangente a la la curva f (t) = (t 2, t 3) en el pto (1,1).
t2 = 1
t3 = 1 . Entonces to = 1. f (1) =(2,3) y la ecuacin de la recta tangente a la curva
en (1,1) es: (x,y) = (1,1) + 2,3 R Cul es la pendiente de esta recta en R2 ?
MartaLagarrigue
16
Clculo III
DERIVADAS PARCIALES :
Sea f : A R con A R2
y Po=(xo,yo) A .
Vamos a definir el concepto de derivada parcial con respecto a x.

Como Po es pto interior del dominio, existe una bola B(Po) A.
Sea entonces P = (xo+h,yo) B(Po) A y h 0
Formemos el cociente
f (x o h, y o ) f ( x o , y o )
.
h
Definicin:
Si existe el siguiente lmite se llama derivada parcial de f con respecto a x en Po . y
se denota fx(Po).
def lm f (x h, y ) f ( x , y )
o
o
o o
fx(Po) h 0
.
h
Otras notaciones son:
f (Po )
f
f (x o , y o )
,
, z x (Po) , D1 f (Po) ,
.
x
x Po
x
De igual manera se define la derivada parcial con respecto a y.
Sea k 0
def lm f (x , y k ) f ( x , y )
o o
o o
fy(Po) k 0
.
k
Ejemplo: Calcular fx(Po) si f : R2 R
2
2
(x,y) x y
lm f (x h, y ) f ( x , y ) lm ( x h) 2 y 2 x 2 y 2
o
o
o
o
o
o o
=h 0 o
h0
h
h
2x o h h 2
lm
=h 0
= 2 xo .
h
f x (xo,yo) = 2 x o .
Observemos que si en la funcin f tal que f (x,y) = x2 + y2 , consideramos y = yo
constante y derivamos como si fuera funcin de la nica variable x:
(x) = f (x,yo) = x2 + y o2 , obtenemos (xo) = f x (xo,yo) = 2 xo .
MartaLagarrigue
17
Clculo III
Interpretacin geomtrica:
o
Sea f : D R2 R Po=(xo,yo) D . Supongamos que existe f x(Po) y que la grfica

(x,y) z = f (x,y)
de f sea una superficie de ecuacin z = f (x,y).
z
Llamemos C a la curva interseccin de la

superficie con el plano de ecuacin y = yo
y Q o al punto de coordenadas (xo, yo, f (Po))
Qo .
yo
y
D
.
x
Po
z f ( x,y )
C
y yo
La ecuacin de la curva C en el plano de ecuacin y = yo es z = f (x, yo) = (x).
Como hemos supuesto que existe f x(Po), de acuerdo a la definicin tenemos:
lm f ( x h, y ) f ( x , y )
lm ( x h) ( x )
o
o
o o
o
o
f x(Po) = h 0
= h0
= (xo) = tg
h
h
Hemos probado que f x(Po) es la pendiente de la recta tangente a la curva C en Qo ,
es decir la tangente trigonomtrica del ngulo que forma esa recta tangente con la
direccin positiva del eje x .
De igual manera se prueba que f y(Po) =tg
donde es el ngulo que forma la recta

Qo .
tangente a la curva C* en Qo , con la direccin
y positiva del eje y .
xo
La demostracin se deja como ejercicio.
Po
MartaLagarrigue
18
Clculo III
Po = ( x1o ,..., xno )
En general, si f : Rn R
(x1,...,xn) f (x1,...,xn)
f ( Po )
f ( x1o ,..., xio hi ,..., xno ) f ( x1o ,..., xio ,..., xno )
= h lm
.
i 0
xi
hi
Del curso de Anlisis Matemtico I sabemos que si una funcin real de una variable
es derivable en xo, entonces la funcin es continua en xo. Esto es: la existencia de
derivada en un punto asegura la continuidad en ese punto.
En el siguiente ejemplo veremos que para funciones de varias variables, la
existencia de las derivadas parciales en un punto no es condicin suficiente para la
continuidad en el punto.
Ejemplo: f : R2 R
x si y 0
y
0 si y 0
(x, y)
f no es continua en el origen; pero existen las derivadas parciales en (0,0) y ambas

valen 0.
x
1
En efecto, lm f ( x, mx) lm
. Esto dice que a pesar de existir los

x0
x 0 mx
lmites radiales , son distintos, luego la funcin no puede ser continua el origen.
lm f ( h,0) f (0,0) lm 0 0 0
h0
h0 h
h
lm f (0, k ) f (0,0) lm 0 0 0
k 0
k 0 k
k
fx(0,0) = 0.
fy(0,0) = 0.
Ejercicio:
Estudiar la existencia de las derivadas parciales de la funcin f .
f : R2 R
(x, y) x2 y2
Si (xo,yo) (0,0)
x o h2 yo2
lm f ( xo h, y o ) f ( xo , yo ) lm
h0
h0
h
2
lm
h 0
x o h
h(
y o2 x o2 y o2
x o h 2 y o2
x o2 y o2
Si (xo,yo) (0,0) fx (xo, yo) =
2 xo h h 2
x o h 2 y o2
h(
xo2 yo2
MartaLagarrigue
h lm
0
xo
x2 y2
fy (xo, yo) =
x o2 y o2
xo
x o2 y o2
yo
x2 y 2
o
19
Clculo III
Veamos que no existen fx ni fy en (0,0).

2
lm f (h,0) f (0,0) ? lm h 0 ? lm h
h0
h0
h0 h
h
h
lm h
1 ; pero
h 0 h
no existe lmite , pues:
lm h
1.
h 0 h
DERIVADA DIRECCIONAL
El concepto de derivada direccional es una ampliacin del de derivada parcial.
Sea f : D R2 R , Po D o y sea u = (u1,u2) un vector unitario esto es: u = 1.
Se define D u f ( Po ) , la derivada direccional de f en Po en la direccin de u , as:
def
f
(
P
t
u
) f ( Po )
lm
o
D u f (Po )
cuando el lmite existe.
t 0
t
La derivada direccional en la direccin de cualquier vector v (0,0) se define como

D
f (Po ) .
La derivada direccional mide la rapidez de cambio de f (P) en la direccin dada u .

Ejemplo:
Dada
f : R2 R
, calcular la derivada direccional de f en la
(x, y) x2 y2
dereccin del vector unitario u = (u1,u2).
Consideremos 1ro el caso Po=(xo,yo) (0,0) .
lm
t 0
xo t u1 2 yo t u2 2
xo2 y o2
Habamos visto que si (xo,yo) (0,0) fx (xo, yo) =
xo u1 yo u 2
xo2 yo2
xo
y fy (xo, yo) =
x2
o
y2
o
yo
x2
o
.
y2
o
Entonces, en este caso
D u f ( Po ) = fx (xo, yo) u1 + fy (xo, yo) u 2 = ( fx (xo, yo), fy (xo, yo)). u

Ahora si Po=(0,0) :
Por lo tanto D u f (Po ) = 1
2
2
t u1 t u 2 0 = u 2 u 2 = 1 Observemos que no existen las derivadas
lm
1
2
t0
parciales en (0,0).
t
MartaLagarrigue
20
Clculo III
Interpretacin geomtrica de la derivada direccional

z
Supongamos que exista D u f (Po ) y

que la grfica de f sea la de una
superficie de ecuacin z = f (x,y).
Qo
C
y
La curva C
u
Po
z f (P)
t0
P Po t u
es la interseccin de la superficie
con el semiplano vertical que contiene a la semirrecta de origen Po y
direccin u .
Si en el plano vertical de ecuacin P = Po+ t u , tR , fijamos un sistema de
coordenadas con origen en Po y direcciones : la del eje z y la del vector u , la

ecuacin de la curva C es :
z = f (Po+ t u ) = (t) ; con t 0 .

Como hemos supuesto que existe D u f ( Po ) , podemos escribir:
D u
lm f ( Po t u ) f ( Po )
lm (t ) (0)
f (Po ) =
=
= (0) = tag
t 0
t 0
t
t
D u f ( Po ) = tag . Donde es el ngulo que forma la semirrecta tangente a la
curva C en el punto Qo , con la semirrecta de origen Po y direccin u
u = (u1,...,un) vector unitario .
f
(
P
t
u
) f ( Po )
lm
o
Se define D u f ( Po ) =
cuando existe el lmite.
t 0
t
En general, si f : Rn R , P o Rn y
La derivada direccional mide la rapidez de cambio de la funcin en la direccin del
vector u
MartaLagarrigue
21
Clculo III
DERIVADAS DE ORDEN SUPERIOR

Si f : D R2 R admite derivadas parciales en D o quedan definidas las
funciones:
fx : D o R2 R
fy : D o R2 R
P f ( P)
y
P f ( P)
x
Si fx tiene derivadas parciales en P D o , se denota :
f x ( P) 2 f ( P)
= f x x (P )
x
x2
f x ( P) 2 f ( P)
f x y (P )
y x
y
Si fy tiene derivadas parciales en P D o , se denota :
f y ( P)
x
2 f ( P)
f y x (P )
x y
f y ( P)
y
2 f ( P)
= f yy (P) .
y2
Se puede probar que si fx , fy , fx y , fy x existen en una bola y fx y , fy x son

continuas en Po , entonces fx y(Po) = fy x (Po) .
Este resultado se conoce con el nombre de Teorema de inversin del orden de
derivacin y lo demostraremos ms adelante.( La demostracin no se da a los alumnos de
Clculo III ).
MartaLagarrigue
22
Clculo III
FUNCIONES DIFERENCIABLES
Primero vamos a considerar funciones f : D R2 R.
Para funciones de una variable, la existencia de la derivada en un punto asegura la
continuidad de la funcin en ese punto.
Entonces, en el caso de funciones de ms de una variable, podramos
preguntarnos si la existencia de las derivadas parciales en un punto asegura la
continuidad en el mismo...La respuesta es negativa como se ve en el siguiente
ejemplo.
Ejemplo:
f : R2 R.
x
si y 0
y
0 si y 0
(x, y)
La funcin no es continua en el origen ; pero

existen las derivadas parciales en el origen.
Vamos a definir funcin diferenciable en un punto de manera que implique para la

funcin mayores exigencias que la existencia de las derivadas parciales y garantice
la continuidad de la funcin en el punto.
Definicin:
Po= (xo, yo) D o ; z = f ( Po ) f (xo+h, yo+k) f (xo, yo).
Sea f : D R2 R.
P z f (P )
def
f es diferenciable en Po
B ( Po ) D : P ( xo
z = a h+b k+ (h,k).
lm
Con a y b constantes y tal que
h, y o k ) B ( Po )
(h, k )
(h, k ) (0,0)
h k
Ejemplo:
La funcin f : R2 R. es diferenciable en (xo, yo) R2.
2
(x, y) x y .
Dem.
f ( Po ) (xo+h)2 + (yo+k)2 (xo2 yo2) = 2 xo h + 2 yo k + (h2 + k2)
= a h+b k+ (h,k).
Donde a = 2 xo
; b = 2 yo ;
(h,k) = h2 +k2 .
lm
(h , k ) ( 0,0)
(h , k )
2
h k
lm
h k
( h , k ) ( 0 ,0 )
Probar!
h k
=0.
2
f es diferenciable en (xo, yo).
MartaLagarrigue
23
Clculo III
Vamos a ver ahora, condiciones necesarias para que una funcin sea
diferenciable; o sea propiedades de las funciones diferenciables.
Propiedades de las funciones diferenciables.
Po= (xo, yo) D o .
Sea f : D R2 R.
f diferenciable en Po
1) f es continua en Po .
2) Existen ambas derivadas parciales de f en Po .
Demostracin:
3) Existen las derivadas direccionales de f en

cualquier direccin en Po .
Primero probaremos:
f diferenciable en Po
f es continua en Po.
Supongamos que f sea diferenciable en Po. Tenemos que probar :
lm f ( P) f ( Po )
P Po
lm f (P) f (Po )
lm f ( P) f (Po ) 0
o lo que es lo mismo :
lm f (( xo
h, y o k )
P Po
f ( xo , y o )
( h, k ) (0,0)
P Po
Como f es diferenciable en Po , podemos escribir:

f (xo+h, yo+k) f (xo, yo) = a h+b k+ (h,k) ; y como :
lm
ah = 0
(h,k) (0,0)
( h , k )
( h, k )
h2 k 2
bk = 0
(h,k) (0,0)
Por lo tanto:
lm f (( xo h, yo
( h, k ) (0,0)
lm
h2 k 2
k)
( h , k )
lm
h2 k 2
( h , k )
. ( h, k )lm
( h , k ) ( 0, 0 )
(
0
,
0
)
h2 k 2
(h,k) (0,0)
lm
=0
f ( xo , yo ) lm a h lm b k lm (h, k ) 0 .
( h , k ) (0,0) ( h , k ) (0,0)
( h , k ) (0,0)
Esto dice que f es continua en Po .

Podemos decir que si f no es continua en Po f no es diferenciable en P o, o sea que
la continuidad es condicin necesaria para la diferenciabilidad.
MartaLagarrigue
24
Clculo III
f diferenciable en Po fx (Po) , fy(Po) .
Probemos ahora :
Sea f diferenciable en Po.
f ( xo h, y o ) - f xo yo h h
( h,0)
=
= a+
.
h
h
h
(h, k )
lm
( h , k ) ( 0, 0 )
h h
=0
2
( h,0) ( h,0) h
=
. .
h
h
h
lm (h,0) = 0.
h0
h
Porque un factor tiende a cero

y el otro est acotado.
lm ( h,0) = lm (h,0) . h
h0 h
h0
h
h
=0.
Por lo tanto:
lm f ( xo
h, y o )
h0
f ( xo , y o )
= hlm
a + hlm
0
0
( h,0)
=a .
h
fx (Po) = a
y de la misma forma se prueba fy (Po) = b .
Podemos decir que si no existe alguna de las derivadas parciales en Po f no es
diferenciable en Po, o sea que la existencia de las derivadas parciales es condicin
necesaria para la diferenciabilidad.
Por ltimo probemos:
f diferenciable en Po u (u1,u2) : u =1 D u f ( Po ) y D u f ( Po ) = f ( Po ) . u .
Sea f diferenciable en Po.

(tu1 , tu 2 )
f ( xo t u 1 , y o t u 2 ) - f xo y o a t u1 b t u 2 (tu1 , tu 2 )
=
= a u1 + b u2 +
t
t
t
Porqu?
lm
(h , k )
(h , k ) ( 0,0)
h2 k 2
=0
lm (tu1 , tu 2 ) = 0.
t0
t
lm (tu1 , tu 2 ) = lm (tu1 , tu 2 ) = 0.
t0
t0
t
t
MartaLagarrigue
25
Clculo III
Entonces:
lm f ( xo t u 1 , y o t u 2 ) - f xo y o
lm a u1
lm b u 2 lm (tu1 , tu 2 )
t 0
t 0
t 0
t 0
t
t
= a u1 + b u2 .
Como existe el lmite, por definicin de derivada direccional tenemos :
El vector ( fx(Po), fy(Po)) se llama el
D u f ( Po ) = (a , b) . u = ( fx(Po), fy(Po)) . u
D u f ( Po ) = f ( Po ) . u .
gradiente de f en Po y se denota f ( Po ) .
Podemos decir que si para alguna direccin u no existe la derivada direccional de

f en P o , f no es diferenciable en P o, o sea que la existencia de las derivadas
direccionales
en
cualquier
direccin
es
condicin
diferenciabilidad.
necesaria
para
la
D ( u ) f ( Po ) = D u f ( Po )
Observemos que cuando f es diferenciable en Po .

El siguiente ejemplo muestra que estas condiciones necesarias no son condiciones
suficientes .
Ejemplo:
f : R2 R.
xy
(x, y)
si ( x, y ) (0,0)
2
x y
0
si ( x, y ) (0,0)
La funcin es continua en el origen, existen

las derivadas parciales y todas las derivadas
direccionales en el origen y sin embargo no
es diferenciable en el origen.
Se deja como ejercicio la prueba de la continuidad.

h.0
fx (0,0) = 0 pues h lm
0
t u1 . t u 2
lm
t0
(tu1 ) 2 (tu 2 ) 2
t
h lm
0
00
lm
t 2 u1u 2
t0
0 y lo mismo para fy (0,0) = 0.
u1.u 2 Du f (0,0) = u1.u 2 0
t t u12 u 22
Esto dice que f no es diferenciable en (0,0) pues f (0,0) . u = 0 ; pero Du f (0,0) 0.

Otra forma de ver que f no es diferenciable en el origen es usando la definicin.
f (h, k) f (0,0 ) = 0 h+0 k+ (h,k) (h,k) =
hk
2
h k
y
2
hk
lm
( h ,k ) ( 0 , 0 )
no existe
h k
pues los lmites repetidos valen cero; pero los radiales para k=mh dependen de m.
MartaLagarrigue
26
Clculo III
PROPIEDADES GEOMTRICAS DE LAS FUNCIONES DIFERENCIABLES f : R R.

PLANO TANGENTE.
Vamos a ver que si f es diferenciable en Po , toda curva interseccin de la grfica de

f con un plano vertical que pasa por Po tiene recta tangente en Qo =(xo, yo, f (Po)) .
Las rectas tangentes se encuentran todas en un mismo plano que, por definicin, es
el plano tangente a f en Qo .
Sea f : D R2 R
diferenciable en Po= (xo, yo) D y u (u1 , u 2 ) vector unitario.
(x, y) z f ( x, y )
Supongamos que la representacin grfica

de f sea una superficie de ecuacin z = f(x,y).
Llamemos Cu a la curva interseccin de la
superficie con un plano vertical que pasa por
Po y contiene a la recta de direccin u .
z
Qo
y
Po .
Cu
z f ( P)
t R ;
P Po t u
P = (x,y).
Una parametrizacin de Cu es :
g(t) = ( xo+ t u1 , yo+ t u2 , f (Po+ t u ) ).
g(0) = Qo
t)
Si existe (0), entonces g (0) = (u 1 , u2 , (0) ).

Veamos que existe (0).
( h ) (0 )
Siendo t)f (Po+ t u ), ser (0) = h lm
si existe el lmite.
0
h
El lmite existe si existen los lmites laterales y son iguales.
f ( Po h u ) f ( Po )
lm
( h ) ( 0)
=
= Du f ( Po )
Existe porque f es
h
h
h0
h0
diferenciable en Po.
f
(
P
h
u
)
f
(
P
)
lm
lm
( h ) (0 )
o
o
=
. Si h = -s , h 0 s 0 .
h
h
h0
h0
f ( Po s u ) f ( Po )
f ( Po s ( u ) f ( Po )
lm
lm
=
=
s
s
s 0
s 0
lm
= D u f ( Po ) = Du f ( Po ) . Porque f es diferenciable en Po .
lm
h 0
lm
(h ) (0)
( h ) (0 )
=
= Du f ( Po )
h
h
h0
(0) = Du f ( Po ) .
Entonces g (0 ) = (u1 , u2 , Du f ( Po ) ). Por lo tanto la curva Cu tiene recta tangente en

el punto Qo y su ecuacin es:
Q = Q o + (u1 , u2 , Du f ( Po ) )
MartaLagarrigue
(*) Con R y Q = (x,y,z) ; Qo =(xo, yo, f (Po)).

27
Clculo III
Si u = (1,0) , g (0) = (1,0, f x(Po)).
Si u = (0,1) , g (0) = (0,1, f y(Po)).
La ecuacin del plano que contiene a estos dos vectores es n . (QQo) = 0, donde
n = (1,0, f x(Po)) (0,1, f y(Po)) = (f x(Po), f y(Po), 1 ) es un vector normal al plano.

(f x(Po), f y(Po), 1). (x-xo, y-yo, z-f (Po)) = 0
(**)
Para probar que este es el plano tangente, debemos mostrar que contiene a la recta
(*) tangente en Qo a la curva Cu , cualquiera sea u .

Entonces, reemplazando Q Q o de (*) en (**) , obtenemos :
(f x(Po), f y(Po), 1). (u1 , u 2 , Du f ( Po ) ) = f x(Po) u1 f y(Po) u2 + Du f ( Po )
= Du f ( Po ) + Du f ( Po ) ) = 0.
Esto dice que el plano de ecuacin (**) es el plano tangente a f en Qo.
z- f (Po) = f x(Po) ( x xo) f y(Po) ( y yo)
La ecuacin cartesiana de este plano es:

Ejemplo:
La ecuacin del plano tangente en (2,1,2) a la superficie de ecuacin
z 9 x 2 y 2 es :
2x+y+2z=9
En efecto : Llamando z = f(x,y) =

Po= (2,1)
f x (P)
, f es diferenciable en Po .
f(Po) = z 9 2 2 12 = 2 .
- 2x
- 2y
- 2.2
f x (2,1)
1 .
2 9 2 2 12
2 9 x2 y2
f y ( P)
9x y
- 2 .1
f y ( 2,1)
2 9 x2 y2
2 9 2 2 12
1
.
2
z2 = fx(Po) ( x 2) f y(Po) ( y 1) .
1
z2 = 1( x 2) ( y 1).
2
2x+y+2z=9.
MartaLagarrigue
28
Clculo III
CONDICIN SUFICIENTE PARA LA DIFERENCIABILIDAD .

(Sin demostracin para los alumnos de Clculo III)
Debido a la importancia que tienen las funciones diferenciables en el anlisis
matemtico, resulta conveniente disponer de un criterio sencillo de diferenciabilidad.
Esto es, establecer condiciones suficientes para que una funcin sea diferenciable en
un punto.
Teorema.
Sea f : D R2 R , Po D tal que existen fx , fy en una bola B(Po) y ambas son
continuas en Po , entonces f es diferenciable en Po .
Dem.
Como Po D existe B(Po) D . Sea P = (xo+h , yo+k) B(Po)
f (xo+h , yo+k ) f (xo, yo) = f (xo+h , yo+k ) f (xo , yo+k ) + f (xo , yo+k ) f (xo, yo).
y
B1 (P)
B(Po)
P.
Po .
Llamemos ( x) = f ( x, yo+ k) con x (xo-1, xo+h+1).

y
( y) = f (xo, y)
con y ( yo-1, yo+k+1)
x ( Sin prdida de generalidad suponemos h y k positivos ) .

Entonces:
f (xo+h , yo+k ) f (xo, yo) = ( ( xo+ h ) ( xo) ) ( yo+ k ) ( yo) ).
(*)
Como existe fx en B(Po) podemos afirmar que existe en (xo-1, xo+h+1).

Por ser funcin de una variable es continua en ese intervalo, y al ser
[ xo, xo+h] (xo-1, xo+h+1) resulta continua en [ xo, xo+h] y derivable en ( xo, xo+h).
Con el mismo razonamiento resulta continua en [ yo, yo+k] y derivable en ( yo, yo+k).
El Teorema del valor medio para funciones de una variable dice:
( xo+ h ) ( xo) = h (xo+ h) . con 0 1 .
( yo+ k ) ( yo) = k ( yo+ k) . con 0 1 .
Y como ( x) = fx ( x , yo+ k) y ( y) = fy ( xo , y)
Reemplazando en (*) :
f (xo+h , yo+k ) f (xo, yo) = h (xo+ h) + k ( yo+ k)
= h fx (xo+ h , yo+ k) + k fy ( xo , yo+ k) .
0 , 1 .
Por otra parte, como fx y fy son continuas en Po , vale:
MartaLagarrigue
29
Clculo III
fx (xo+ h , yo+ k) = fx (xo, yo) + (h, k).
fy ( xo , yo+ k) = fy (xo, yo) + (h, k).
Con
Con
lm 1 (h, k ) 0
.
( h , k ) ( 0, 0 )
lm 2 ( h, k )
( h , k ) ( 0, 0 )
f (xo+h , yo+k ) f (xo, yo) = h [fx (xo, yo) + (h, k)] + k [ fy (xo, yo) + (h, k)].
Entonces:
f (P) f ( P o ) h f x (Po ) k f y (Po )
lm
( h , k ) ( 0, 0 )
h2 k 2
1 (h, k ) h 2 (h, k ) k
lm
(h, k ) (0,0)
h2 k 2
lm
1(h, k)
(h, k) (0,0)
=0
1 ( h, k ) h 2 (h, k ) k
( hlm
, k ) ( 0, 0 )
h2 k 2
h
h2 k2
( h , k ) ( 0, 0 )
k
h2 k2
porque en cada sumando un factor tiende a

cero y el otro est acotado.
f (P) f (P o ) h f x (Po ) k f y (Po )
lm
(hlm
2(h, k)
, k) (0,0)
h k
Esto dice que f es diferenciable en Po puesto que

f (xo+h , yo+k ) f (xo, yo) = h fx (xo, yo) + k fy (xo, yo) + h (h, k) + k (h, k).
(h , k)
y
(h, k )
lm
( h , k ) ( 0, 0 )
h k
0 .
Cabe sealar que estas condiciones suficientes para la diferenciabilidad no son

condiciones necesarias.
En efecto, el siguiente ejemplo muestra que la funcin puede ser diferenciable sin
que ambas derivadas parciales sean continuas.
Ejemplo:
f :R2 R
( x, y )
x 2 sen
1
y2
x
0
si x 0
si x 0
Esta funcin es diferenciable en (0,0) aunque fx

no es continua en (0,0) porque fx (0,0) = 0 ; pero
no existe el lmite de fx (x, y) cuando (x, y)
tiende a (0,0).
Las funciones que tienen derivadas parciales continuas se llaman funciones

continuamente diferenciables .
MartaLagarrigue
30
Clculo III
TEOREMA DE INVERSIN DEL ORDEN DE DERIVACIN

Sea f : D R2 R , Po D tal que existen fx , fy , fx y , fy x en una bola B(Po) y
ambas derivadas fx y , fy x son continuas en Po , entonces fx y(Po) = fy x(Po) .
Demostracin:
y
B1 ( P) Sea P = (xo+h,, yo+k) B(Po)
B(Po)
P.
y llamemos:
( x) = f ( x, yo+ k) f ( x, yo) ; x (xo-1, xo+h+1).
Po .
( y) = f ( xo+h, y)f ( xo, y) ; y ( yo-1, yo+k+1)

( Sin prdida de generalidad suponemos h y k positivos ).
x
Entonces :
( xo+ h) ( xo) = f (xo+ h, yo+ k) f (xo+ h, yo) f ( xo, yo+ k) f ( xo, yo) .
( yo+ k) ( yo) = f (xo+ h, yo+ k) f ( xo, yo+ k) f (xo+ h, yo) f ( xo, yo) .
As
F( h, k ) = ( xo+ h) ( xo) = ( yo+ k) ( yo)
(h,k) B(0,0) .
(2)
Como existe fx en B(Po) , existe en (xo1, xo+h+1) , luego es continua
en ese intervalo y al ser [ xo, xo+h ] (xo1, xo+h+1) resulta continua en
[ xo, xo+h] y derivable en ( xo, xo+h).
Con el mismo razonamiento resulta continua en[ yo, yo+k] y derivable en ( yo,yo+k).
Por el Teorema del valor medio, en (1), podemos escribir:
(1)
F(h,k) = h (xo+ h)
= h [ fx (xo+ h, yo+ k) fx (xo+ h, yo) ] .
0 1 1
Usando nuevamente el T.V.M. en [ yo, yo+k] para la funcin ( y ) = fx (xo+ h, y )

y ( yo-1, yo+k+1).
es derivable, por existir fx y, y por lo tanto continua en [ yo, yo+k] ( yo-1,yo+k+1).
con
Resulta:
[ fx (xo+ h, yo+ k) fx (xo+ h, yo) ] = ( yo+k ) ( yo ) = k ( yo+ 2 k ) =
= k fx y (xo+ h, yo+ k)
F(h,k) = h k fx y (xo+ h, yo+ k) .
0 1 1 , 0 2 1 .
De la misma manera, usando el teorema del valor medio para la fcin en (2) y
luego nuevamente para la fcin tal que (x) = fy ( x, yo+ 4 k)
se obtiene:
MartaLagarrigue
31
Clculo III
F(h,k) = k h fy x (xo+ h, yo+ k) .
0 3 1 , 0 4 1 .
fx y (xo+ h, yo+ k) = fy x (xo+ h, yo+ k) .

lm fx y (xo+
( h, k )( 0, 0 )
h, yo+ k) =
lm fy x (xo+ h, yo+ k)
( h, k )( 0, 0 )
Y por la continuidad de fx y y de fy x en Po resulta
fx y(Po) = fy x(Po) , como
queramos probar.
El siguiente ejemplo muestra una funcin donde fx y(0,0) fy x(0,0) .

Ejemplo:
f : D R2 R
( x, y )
xy
x y
x y
0
si ( x, y) (0,0)
si ( x, y) (0,0)
Mostrar que fx y(0,0) fy x(0,0) . Qu hiptesis del teorema no se cumple ?
MartaLagarrigue
32
Clculo III
DIFERENCIALES
Hemos visto que las funciones diferenciables tienen la propiedad geomtrica
de poseer plano tangente. Con relacin al plano tangente es interesante
observar lo siguiente.
Sabemos que f : D R2 R es difble en Po D si existe B(Po) D y existen
ctes a y b tal que P = (xo+h,, yo+k) B(Po) z = f (P) f (Po) = a h+ b k
+ (h,k).
con
tal que
(h, k )
lm
( h , k )( 0 , 0 )
h2 h2
0.
Si llamamos (h,k) = a h+ b k , resulta (h,k) = f (P) f (Po) (h,k).

2
Observemos que : R R
( h, k )
ah bk
Probar
es una transformacin lineal.
Podemos decir entonces que f es diferenciable en Po si existe una transformacin

f (P) f (Po ) (h, k )
lm
0
lineal : R2 R
tal que
(1)
h2 k 2
La igualdad (1) se interpreta diciendo que f (Po) (h,k) es una buena aproximacin
de f (P) cerca de Po .
La aplicacin que transforma (h,k) en z , ( h, k ) z = f (Po) (h,k) tiene como
( h , k )( 0 , 0 )
representacin grfica un plano que es justamente el plano tangente a la grfica de f

en Qo = ( xo, yo, f(Po) ).
En efecto:
z = f (Po) (h,k) = f (Po) a h+b k ; pero a = fx (Po) , b = fy (Po) , h= x-xo y k = y-yo
entonces
z f (Po) = fx (Po)( x-xo) + fy(Po)( y-yo). Que es la ecuacin del plano
tangente a f en Qo.
z
A la aplicacin lineal se le llama diferencial de

f en Po y se denota df .
Q
Qo
Po
T
R
f (P) f (Po) = z
y
Po . P.
es la variacin de cota de la
funcin cuando pasamos de Po a P .

z f(Po) = (h,k) = dz
es la variacin de cota del
plano tangente cuando pasamos de Po a P .
En el dibujo f (Po) = || PoQo|| = || PR||

f (P) = || PQ||
z = ||RQ|| variacin de cota de la funcin.

dz = ||RT|| variacin de cota del plano tangente .
Llamamos :
dx = h = x-xo ; d y = k = y-yo y
dz = df (h,k)
Po
MartaLagarrigue
33
Clculo III
Entonces resulta: x = dx , y = dy y , si f es diferenciable, existe dz tal que

z dz cuando P Po .
Si f : R2 R es diferenciable en Po , df : R2 R es una transformacin lineal
Po
que, respecto de las bases cannicas de R y R2, tiene una matriz 1 2 llamada la
matriz jacobiana de f
que denotamos f(Po).
df (h,k) = fx (Po) h + fy (Po) k= ( fx (Po) fy (Po)) hk

Po
h
= f(Po)
k
f(Po) = ( fx (Po) fy (Po)).
Generalizamos ahora el concepto de diferenciabilidad para funciones vectoriales.

Sea f : Rn Rm
P o Rn
P ( x1 ,..., xn )
P ( f1 ( P),..., f m ( P))
Definicin:
f es diferenciable en Po sii existe una transformacin lineal : Rn Rm
( Po ) ( h )
f ( P) f
tal que lm
h
h
vector nulo de R
vector nulo de R
h (1 ( h ),... m ( h ))
se llama diferencial de f en Po . La notacin es
= df . Respecto de las bases cannicas de Rn y Rm , la matriz jacobiana de f en Po,

Po
que denotamos f(Po) , es una matriz m n y se puede probar que

f1 ( Po )
f1 ( Po )
x1 .... x n
f(Po) =

f ( Po )
f m ( Po )
m
x n
x1
Ejercicio: Probar que f : Rn Rm
P ( x1 ,..., xn )
P ( f1 ( P),..., f m ( P))
es diferenciable en Po Rn si y slo si cada una de las funciones fi : Rn R

i 1,...m , es diferenciable en Po .
df = (df1,...,dfm)
MartaLagarrigue
34
Clculo III
TEOREMA DEL VALOR MEDIO DEL CLCULO DIFERENCIAL.

o
Sean: f : D R2 R diferenciable en D o y A, B D o tal que
AB D . Entonces
existe un punto C AB , C A y C B tal que f(B) f(A) = f (C) . (B A).
Demostracin:
P AB P = A + t (B-A) , 0 t 1 .Luego los valores z que toma la funcin en los
ptos del segmento AB son :
Como A y B son ptos interiores de D podemos
suponer que la funcin tiene dominio(a,b) que
z = f (A + t (B-A) ) = (t) para 0 t 1 .
contiene a [0,1].
As f(B) = (1) y
f(A)= (0) .
Queremos probar que la funcin es continua en [0,1] y derivable en (0,1) porque,

si eso ocurre, podremos usar el Teorema del valor medio del Clculo Diferencial
(para fciones de una variable).
Sea ,entonces, t [0,1] (a,b). y miremos si existe '(t). Esto es:
lm (t h) (t )
lm (t h) (t ) . Existe?. Veamos:
y
h0
h0
h
h
lm (t h) (t )
h0
h
Como (t) = f (A + t (B-A) ) y P = A + t (B-A)
(t h) = f (A + (t+h) (B-A) ) = f ([A +t(B-A)]+h(B-A) ) = f(P+h(B-A))
lm (t h) (t)
lm f (P h(B - A)) - f (P )
=
.
h 0
h0
h
h
lm f (P h || B - A || u ) - f ( P )
=
.
h0
h
B-A
Llamemos u
BA
Llamemos s = h ||B-A||
Por qu?
f (P s u ) - f (P )
= ||B-A|| .
. y como existe Du f(P) ,
s0
s
= ||B-A|| . Du f(P) . De igual manera, si s = -h ||B-A||

lm
se puede probar :
lm (t h) (t)
lm f (P s ( u ) - f ( P)
=||B-A|| .
.
h 0
s0
h
s
Por qu?
= ||B-A|| .( D u f(P)) = ||B-A||. Du f(P)

MartaLagarrigue
35
Clculo III
Como
lm (t h) (t)
lm (t h) (t)
=
h 0
h 0
h
h
se sigue que existe
lm (t h) (t)
B-A
= ||B-A||. Du f(P) = ||B-A|| f ( P ) .
= f (P) .(B A).
h 0
h
BA
Luego existe en [0,1] y por lo tanto es continua en [0,1].
(t) =
Por el T.V.M.C.D.(para fciones de una variable), existe un n real (0,1) tal que:
(1) (0)
10
= () , donde 0 < < 1. (1)
y (t) = f ( P) .(B A).
Como f (A + t (B-A) ) = (t), P = A + t(B-A)
Resulta (t) = f ( A t (B - A)) .(B A).
si llamamos C = A + (B-A) y reemplazamos en (1), tenemos:
C AB y f(B) f(A) = f (C) .(B A). Que es la tesis.

INTERPRETACIN GEOMTRICA
f ( B) f ( A )
|| B A ||
f (C).(B - A)
|| B - A ||
= tg
Du f(C) = tg
f (B) f (A ) f (C).(B - A)
|| B A ||
|| B - A ||
tgtg

Por lo tanto el T.V.M. asegura la existencia de un pto C en el segmento AB, tal que
en el pto C la curva interseccin del plano con la superficie, tiene recta tangente
paralela a la recta que pasa por A y B .
MartaLagarrigue
36
Clculo III
FUNCIONES COMPUESTAS
En la resolucin de ciertos problemas es frecuente la necesidad de hacer un
``cambio de variables para facilitar el clculo.
Vamos a definir lo que se entiende por funcin compuesta (o composicin de
funciones), aclarando que en la prctica hacer un``cambio de variables significa
descomponer una funcin compuesta.
Definicin:
Sean : D Rn Rm y f : D Rm R p tales que (D) D .
f , se llama la funcin `` compuesta con f , o tambin se llama ``la
composicin de con f y se define as:
f : D Rn R p .
P f ((P ))
Si llamamos F = f
F(P) = ( f )(P) = f (( P)) .
*
D
P.
(P).
f (D* )
(D)
f((P)).
R
F(D) = f ((D))
F = f
Ejemplo 1:
Sea F(x,y) = x22xy y2 9x2 y2 = (x y)2 (3xy)2 .
Si hacemos el cambio de variables: u(x,y) x y ; v(x,y) x y.
Y llamamos f (u,v) = u2v2.
Obtenemos : f (u(x,y), v(x,y)) F(x,y).
De acuerdo a la definicin de composicin de funciones, hemos descompuesto
la funcin F= f
donde
(x,y) = (u(x,y), v(x,y)).
F(x,y) = ( f )(x,y) = f (x,y)) f (u(x,y), v(x,y)) .
En este ejemplo : R2 R2 ,
f : R2 R
(x, y)(x-y, 3xy)
u
MartaLagarrigue
(u, v)u2-v2
f : R2 R
(x, y) (x-y)2 - (3xy)2
f((x,y))= f(x-y,3xy
37
Clculo III
Se puede probar:
Proposicin: La composicin de funciones continuas es una funcin continua.
En smbolos:
continua en Po f continua en (Po)
f continua en Po .
Tambin se puede probar:
Teorema de Derivacin de Funciones Compuestas.(Regla de la Cadena)
diferenciable en Po , f diferenciable en (Po) f diferenciable en Po.

Y vale
( f )(Po) = f ((Po)) . (Po) .
Regla de la cadena
( f )(Po) es la matriz Jacobiana de f en Po .
fo es dfble en Po d P fo R R es una transformacin lineal, que

o
n
en las bases cannicas de R y R , tiene asociada una matriz p n , la

matriz Jacobiana de fo
f ((Po)) es la matriz Jacobiana de f en (Po) .

(Po)
es la matriz Jacobiana de en Po .
( f )(Po) = f ((Po)) . (Po) .
pn
( p m)
( m n)
Ejemplo2:
2
2
Sean : R R
( x, y) (u(x, y), v(x, y))
f : R2 R
( u, v)) f (u, v)
diferenciables en Po = (xo, yo) y
(Po) = (uo,vo) respectivamente. Entonces si llamamos F = f , por la regla de

cadena tenemos:
F
( Po)
x
F
y
(Po)
MartaLagarrigue
(u o , v o )
(u o , v o )
38
u
( Po)
v
x ( Po)
u
y
v
( Po)
( Po)
y
Clculo III
Efectuando el producto de matrices y obviando los ptos en donde se calculan

las derivadas, tenemos la regla de la cadena escrita en la forma:
F
x
F
y
f
u
f
u
u
x
u
y
f
v
f
v
v
y
regla de la cadena
Que tambin podemos escribir as:
Fx = fu . ux + fv . vx
Fy = fu . uy + fv . vy
En clculo es prctico denotar una funcin con el mismo smbolo que un

elemento de su imagen.
Por ejemplo, si f (x,y) = z escribimos z = z(x,y) .
Haciendo abuso de notacin, podemos escribir : z(u(x,y), v(x,y)) = z(x,y) y
entonces:
zx = zu u x + zv vx .
zy = zu u y + zv vy .
Otros ejemplos:
w(t) =w(x(t), y(t), z(t)). Si w es diferenciable, entonces: w'(t) = wx x(t) + wy y(t) + wz
z(t).
F(s,t) = F(x(s,t), y(s,t), z(s,t)). F difble, entonces: Fs = Fx xs+ Fy ys + Fz zs .
Ft = Fx xt+ Fy yt + Fz z t .
Ejercicio:
1) Si z = f (xy, x + y) y existen las derivadas parciales segundas de f , calcular
zxy
2) Si
z = f ( y ) + g ( x ) y existen f y g x 0 , y 0 , probar :
x
x zxx + x zx = y2 zyy + y zy .
En la demostracin del Teorema de Derivacin de Funciones Compuestas vamos a
usar los siguientes resultados cuya demostracin se deja como ejercicio.
Proposicin 1 :
Sea T : Rn Rm una transformacin lineal.
Probar que existe K R , K >0 tal que P Rn es
T ( P) K P .
Proposicin 2 :
Sea f : D Rn Rm diferenciable en Po D o .
Probar que existen ,K R ; ,K >0 tal que P - Po f ( P ) f ( Po ) K P - Po .
MartaLagarrigue
39
Clculo III
Observacin :
Sabemos que f es diferenciable en Po sii existe una transformacin lineal tal que
lm f ( P) f ( Po ) ( h ) . Esto es lo mismo que decir:

h
f ( P) f ( Po ) = P-Po) + ZP-Po) P P
lm Z (P Po )
con
P Po
O sea :
|| Z(P-Po)|| 0
cuando P Po .
TEOREMA DE DERIVACIN DE FUNCIONES COMPUESTAS

Sean : D Rn Rm y f : D Rm R p ; (D) D . Con Po D o y (Po ) ( D * ) o .
diferenciable en Po , f diferenciable en (Po) f diferenciable en Po.
Dem.
Tenemos que probar que ,bajo las hiptesis dadas, existe una transformacin lineal
lm Z ( P Po )
Rn R p tal que f ( P) f ( Po ) = P-Po)+ZP-Po) P P con
.
P Po
f ( P) f ( Po ) = f (( P)) f (( Po ))
Como f es diferenciable en (Po) existe una transf. lineal : Rm R p tal que
f(Q)
f ( ( Po ))
= Q -Po) + Z1Q -Po) Q - (Po )
con
f (( P)) f (( Po )) = P) -Po) +Z1P) -Po)P) -Po||
lm Z 1 ( Q ( Po ))
Q ( Po )
lm Z1 ((P) (Po ))
(P) (Po )
Al ser continua en Po, por ser diferenciable en Po, (P) (Po ) cuando P Po .
|| Z1P) -Po)|| 0 cuando P Po ,y tambin existe una t. l. : Rn Rm tal que

P) -Po) = P-Po) + Z2P-Po) P P con ||Z2P-Po)|| 0 Pocuando P Po .
f (( P)) f (( Po )) = (P-Po) + Z2P-Po) P P ) +Z1P) -Po)P) -Po||
= (P-Po)) + ( ( Z2P-Po)) + Z1P) -Po) || (P(Po ) ) P P
P Po
Por las proposiciones 1 y 2 existen K y K tal que:

K ' P Po
|| Z(P-Po)|| K || Z2(P-Po)|| + || Z1P) -Po)||
.
P Po
|| Z(P-Po)|| 0 cuando P Po . Entonces :

f ( P) f ( Po ) = ( P-Po) + Z(P-Po))
P P
Z(P-Po)
|| Z2(P-Po)|| 0 cuando P Po .
|| Z1P) -Po)|| 0 cuando P Po .
con ZP-Po) cuando P Po .
f ( P) f ( Po ) = P-Po) + Z(P-Po)) P P con ZP-Po) cuando P Po .

Esto dice f diferenciable en Po ,como queramos probar.
MartaLagarrigue
40
Clculo III
DIFERENCIALES DE ORDEN SUPERIOR.

Si f : D R2 R tiene derivadas parciales continuas hasta el orden n en D ,
entonces P ( x, y ) D o f es diferenciable en P y existe dP f : R2 R tal que:
dP f (h,k) = fx(P) h + fy(P) k .
Vamos a usar la siguiente notacin:
dP f (h,k) = (h
+k )f (P) .
x
y
Si n 2 , existen y son continuas las derivadas parciales de dP f (h,k) = fx(P) h + fy(P) k.

Por lo tanto dP f (h,k) es diferenciable y existe dP(dP f (h,k)).
d P2 f (h,k) = d P(dP f (h,k)) = (h
Llamamos
+k )((h +k ) f (P))
y
y
x
x
+k )( fx(P) h + fy(P) k)
y
x
= h( fx x(P) h + fy x(P) k) + k ( fx y(P) h + fy y(P) k).
fy x(P) = fx y(P)
Por qu?
=(h
= h2 fx x(P) + 2 hk fx y(P) + k2 fy y(P).
d P2 f (h,k) = (h
Con la notacin anterior:
2
+k ) f (P)
x
y
Y se puede probar por induccin:
d Pn f (h,k) =
f ( P)
ni h n iki i n i ; que, de acuerdo a la notacin antes usada, es :
y x
i 0
d Pn f (h,k) = (h
n
+k ) f (P)
y
x
Observacin:
La forma diferencial de 1er orden no cambia para las funciones compuestas.
Si F(x,y) = f (u(x,y), v(x,y)).
dF = Fx dx + Fy dy = ( fu ux + fv vx ) dx + ( fu uy + fv vy ) dy.
= fu (ux dx+ u y dy) + fv (vx dx+ vy dy) = fu du+ fv dv = df.
dF = Fx dx + Fy dy = fu du+ fv dv = df.
Pero la forma diferencial de 2do orden s cambia.
dF = df
d2 F = Fxx dx2 + 2 Fx y dx dy+ Fyy dy2 =

=(( fuu ux + fuv vx )ux + fu uxx +( fvu ux + fvv vx )vx + fv vxx )dx2 +
+ 2(( fuu uy + fuv vy )ux + fu u x y + ( fvu uy + fvv vy )vx + fv vx y )dxdy
2
+(( fuu uy + fuv vy )uy + fu u yy +( fvu uy + fvv vy )vy + fv vyy )dy
d2 F = fuu du2 + 2 fu v du dv+ fvv dv2 + fu d 2u + fv d2v .
d2 F = d2 f + fu d2u + fv d2v
MartaLagarrigue
.
41
Clculo III
DESARROLLO DE TAYLOR.
Para funciones de una variable f : R R, si f tiene derivada de orden n+1 continua
en un entorno de xo , entonces en ese entorno existe un nmero tal que :
f (x) = f (xo) +
1
1!
f ( xo ) ( x xo ) +
1
2!
f ( xo ) ( x xo ) 2 +..+
1
n!
f ( n ) ( xo ) ( x xo ) n + Rn(x) .
Tn(x-xo)
donde Rn(x) =
1
( n 1) !
f ( n 1) () ( x xo ) n 1 .
El polinomio Tn(x-xo) se llama el polinomio de Taylor de f de grado n en (x-xo).

Y Tn(x-xo) + Rn(x) se llama el desarrollo de Taylor de grado n de f alrededor de xo.
Vamos a generalizar el desarrollo de Taylor para funciones de dos variables.
Sea f : R2 R con derivadas parciales continuas hasta el orden n en una bola
B ( Po ) . Y sea u (u1 , u 2 ) , Po = (xo, yo) , P = (x, y) .
Sea P = Po + t u .
P Po = (xxo, yyo) = (t u1,t u2)
x
y
Llamemos F(t) = f (Po + t u ) = f (xo+ t u1, yo+ t u2 ) .

El polinomio de Taylor de grado n para F en t es :
F(0) + F(0) t +
1
1
n
F(0) t 2 + . + F(n)(0) t
2!
n!
Usando la regla de la cadena calculemos las derivadas F(t), F(t),..., F(n)(t):

F(t) = fx(x,y) u1 + fy(x,y) u2
F(0) t = fx(Po) tu1+ fy(Po) tu2 = dPo f(tu1,tu2) = dPo f(P-Po) .

F(t) = fx x(P) u12 + 2 u1 u2 fx y(P) + fy y(P) u 22 .
2
F(0) t2 = fx x(P) t2 u12 + 2 tu1 tu 2 fx y(P) + fy y(P) t2 u 22 = d Po
f (P-Po) .
n
Y as, por induccin, F(n)(0) tn = d Po
f (P-Po) .
Por lo que el polinomio de Taylor de grado n en P-Po para f es :
Tn(P-Po) = f (Po) +
1
1 2
1 n
dPo f(P-Po) + d Po
f (P-Po) + ........ +
d f (P-Po) .
1!
2!
n ! Po
Damos el enunciado del teorema de Taylor para funciones de dos variables:

TEOREMA DE TAYLOR.
Sea f : D R2 R una funcin con derivadas parciales continuas hasta el orden n
en un entorno de Po y sea f (P) = Tn(P-Po) + Rn (P) el desarrollo de Taylor de grado n
de f alrededor de Po .
lm f (P) Tn ( P - Po )
Entonces :
y Tn(P-Po) es el nico
0
n
PP
o
P - Po
polinomio de grado n con esta propiedad.

MartaLagarrigue
42
Clculo III
FUNCIONES INVERSAS.
Si tenemos una funcin f : Rn Rn que transforma vectores x en vectores y , la
imagen f (Rn ) Rn
Rn
Rn
. y
x.
f (Rn )
A partir de y f (Rn ) nos preguntamos :

1. Qu vectores x Rn se transforman en y por la accin de f ?
2. Existe una funcin f 1 : f (Rn ) Rn que a cada y f (Rn ) le asigne un

nico x Rn tal que f (x) = y ?
x 1 x 2 f ( x1) f ( x2)
Si la funcin f es inyectiva existe f 1 : f (Rn ) Rn tal que f 1 ( y) = x , si y slo
si f (x) = y .
f 1 se llama la funcin inversa de f y x Rn vale : f 1 f (x) = x .
Ejemplo 1 :
f : R Rx
f 1 : R+ R
x e
x ln x
y
x
Ejemplo 2:
La funcin f : R R no es inyectiva, por lo tanto no tiene inversa.
x x
y
Pero si restringimos el dominio de f y consideramos esta
otra funcin f1 : [0, ] R R , s tiene inversa
f11 : [0, ] R R
x x
x x
x
Se sabe que si una funcin real de una variable f : R R tiene derivada continua
en xo y f (xo) 0 entonces existe un entorno N de xo donde f tiene inversa
f 1 : f ( N ) Rn .
MartaLagarrigue
43
Clculo III
f (xo) 0 dice que la tangente no es horizontal

existe un entorno de xo donde f es inyectiva.
Si f (xo) = 0 podra ocurrir
inyectiva.
y f no sera
xo
Dada una funcin f : Rn Rn , si es diferenciable en un punto xo , sabemos que
existe una funcin lineal tal que f (xo+ h) f (xo) + (h) cuando h .
dxof y la matriz jacobiana de f , f (x o) = A es una matriz n n.
(h) = A h = k .
Sabemos que si det A 0 , A tiene inversa A , luego tiene inversa .
tambin es lineal y su matriz en la base cannica de Rn es A.
(k) = Ak = h
sii A h = k .
Cabe esperar que si f es diferenciable en un punto x o , en las proximidades de ese
punto f se comportar como la funcin f (x o). Es decir que si tiene inversa f
tendr inversa en un entorno de xo. Eso es lo que afirma el teorema de la funcin
inversa que enunciamos sin demostracin.
TEOREMA DE LA FUNCIN INVERSA
Sea f : Rn Rn una funcin continuamente diferenciable en un abierto que contiene
a xo y det f (xo) 0.
Entonces existen un abierto U que contiene a xo y un abierto V que contiene a f (xo)
tales que f : U V tiene inversa continua f : V U que es diferenciable y
y x
x y
y V es
[f
]( y) = [f (x) ]
Ejemplo.
f : R2 R2 2 2
(x,y) (x +y , x +y)
f(x,y) =
x = (x,y)
y = (u,v)
Dnde es det f(x,y) 0 ?
1 2 y , det 1 2 y = 1xy 0 (x,y) : xy 1 .

2 x 1
2 x 1
4
xo =(1,-1) , f (xo) = (2,0) existen B (1,1) y B* ( 2,0) tales que
Por ejemplo si
(u,v) B* ( 2,0) hay un nico (x,y) B (1,1) que cumple (x+y2,x2+y) = (u,v).
f (1,-1) = 21 -12 ; [ f ](2,0) =
An cuando no encontremos f
(h,k) (0,0) es :
1
2
f (2,0) + 5 5 hk .
2
1
MartaLagarrigue
1 2
=
2 1
1
5
2
2
5
1
5
la funcin afn que aproxima (u,v) = (2+h, 0+k) cuando

Si (h,k) = (0.01 , 0.02)
f (2010.02 (1.01,-1)
44
Clculo III
FUNCIONES DEFINIDAS IMPLCITAMENTE.

Una funcin f : Rn Rm establece una relacin entre vectores de Rn y de Rm.
Es posible que los vectores estn relacionados por una frmula que no exprese
directamente a uno como funcin del otro.
pv
k 0 expresa la relacin entre la presin p y el
Por ejemplo la frmula
t
volumen y la temperatura (v,t) de un gas en un recipiente.
2
2
2
Tambin , las ecuaciones: x y z 1
pueden interpretarse como
x y z0
una relacin entre las tres coordenadas (x, y, z) de un punto en una
circunferencia
de radio 1 con centro (0,0,0) en R3 .
En estos ejemplos las ecuaciones no dan una frmula explcita para una de las
variables en funcin de las otras.
Consideraremos la aplicacin del clculo a este tipo de relaciones.
Definicin.
Dadas dos funciones F: R2 R y f : D R R , la ecuacin F(x,y) = 0
define a f implcitamente , si F(x, f (x)) = 0 para todo x del dominio de f .
Ejemplo:
Sea F(x,y) = x2 + y2 1 . Entonces la ecuacin
implcitamente, entre otras, a las siguientes funciones:
f 1(x) = 1 x 2 si -1 x 1 .
f3
f1
F(x,y) = 0
define
f2
f 2(x) = 1 x 2 si -1 x 1 .
1 x 2 si - 1 x 0
f 3(x) =
x
x
2
1 x si 0 x 1
x
La ecuacin x2 + y2 1 = 0 define implcitamente a la funcin f1 . En
efecto:
x2 + ( f 1(x) )2 1 = x 2 + ( 1 x 2 )2 1
= x 2 + ( 1 x2 ) 1 = 0.
De igual manera se puede comprobar que la ecuacin define implcitamente a
f2 , a f3 y a infinitas funciones en [-1,1]. Observamos que no todas son
continuas.
Daremos ahora la definicin de funcin implcita en el caso general:
Definicin.
Sean F : Rn Rm Rm y f : D Rn Rm .Decimos que la ecuacin F(x,y)
=
( x, y) F(x,y)
x y = f (x)
define implcitamente a f , si x D es F(x, f (x)) = .
x [-1,1]
MartaLagarrigue
45
Clculo III
Ejemplo2:
2x y - z - 1 0
(*)
define a dos de las variables
x 2y z - 2 0
como funciones de la restante. Por ejemplo a z y a y como funciones de x.
Esto es :
z = z(x), y = y(x).
y 1 - x
2x (1 - x) - x - 1 0
En efecto:
es solucin del sistema (*) pues
.
zx
x
2(1 - x) x - 2 0
Este es un ejemplo del caso F : R R2 R2 en el que la ecuacin F(x,y,z)
= es
(x, y, z) ( 2x y - z - 1 , x 2y z - 2)
2
( 2x y - z - 1 , x 2y z - 2) = (0,0) y define implcitamente la funcin f :R R .
El par de ecuaciones
x (y,z) (1 - x,x)
Ejemplo3: La ecuacin
x2 + y2 z + 1 = 0
implcitamente define a z
2
2
2
como funcin de x y de y :
z = z(x,y) = x + y + 1 en R .
Aqu F :R2 R R , F(x,y,z) = x2 + y2 z + 1 .
Ejemplo4: La ecuacin x2 + y2 z2 + 1 = 0 no define implcitamente ninguna
funcin. Esto es: (x, y) R2 y z R x2 + y2 z2 + 1 0 .
Como se ve en estos ejemplos, no siempre una ecuacin F(x,y) = define
implcita mente unas de las variables como funcin de las otras.
Si la ecuacin es trascendente , como la siguiente: z2 = ln( ex + ey ez 1), o lo
que es lo mismo z2 ln( ex + ey ez 1) = 0 , no es evidente que implcitamente
defina o no a z como funcin de x e y. (no podemos expresar, de manera explcita, z
=z(x,y) tal que reemplazada en la ecuacin la verifique.)
El siguiente teorema establece condiciones suficientes para que una ecuacin

defina implcitamente una funcin.
Derivadas parciales de las

funciones componentes,
continuas.
El Teorema de la Funcin Implcita
Sea F : Rn Rm Rm continuamente diferenciable y sea Qo Rn+m tal que :

(x1,...xn,y1,...,ym) F1(x,y),...., Fm(x,y))
x
y
1) F(Qo) =
2) det M 0 donde M es la matriz m m
M=
F1
y (Qo)
1
.
.
.
Fm
y (Qo)
F1
.
.
.
.
.
.
.
.
.
.
.
.
(Q )
ym o
Fm
(Q )
ym o
Entonces existe un abierto U Rm tal que la ecuacin F(x,y) = define

implcitamente una funcin diferenciable f : U Rn Rm .
x y
MartaLagarrigue
46
Clculo III
I) En el caso F :R2 R R , el T. de la funcin implcita afirma :

Si Fx , Fy , Fz son continuas y existe Qo= (xo,yo,zo) tal que :
1) F (xo,yo,zo) = 0.
2) Fz (xo,yo,zo) 0 . Entonces F(x,y,z) = 0 define implcitamente a z =z(x,y)
en un abierto que contiene a (xo,yo) , z es diferenciable.
Para determinar zx , zy , derivamos usando la regla de la cadena en F(x,y, z(x,y))
=0.
F (x, y, z)
Fx(x,y,z) + Fz(x,y,z) zx(x,y) = 0
z x(x,y) = x
.
Fz (x, y, z)
Fy(x,y,z) + Fz(x,y,z) zy(x,y) = 0
z y(x,y) =
Fx (x, y, z)
.
Fz (x, y, z)
II) En el caso F :R R2 R2 , el T. de la funcin implcita afirma :

Si F1x , F1y , F1z , F2 x , F2 y , F2 z son continuas y existe Qo= (xo,yo,zo) tal que :
1) F1(xo,yo,zo) = 0 y F2(xo,yo,zo) = 0
2)
F1
y
F2
y
F1
z
F2
z Q
o
0.
Entonces F(x,y,z) = (0,0) define implcitamente a

y = y(x) y a z =z(x) en un abierto que contiene a xo.
y(x) , z(x) son derivables.
y y z se determinan usando la regla de la cadena en F(x, y(x), z(x)) = (0,0).

F1
F
F1
+ 1 y(x) +
z(x) = 0
x
y
z
F2
F2
F2
+
y(x) +
z(x) = 0
x
y
z
Llamando
F1
y
J( 1 2 )
F2
y, z
y
F ,F
F1
z
,
F2
z
obtenemos:
F ,F
F ,F
y'(x) -
J( x1 , z2 )
F ,F
J( y1 , z2 )
z'(x) -
J( x1 , y2 )
F ,F
J( y1, z2 )
III) En el caso F :R2 R2 R2 , el T. de la funcin implcita afirma :

Si F1x ,F1y, F1u , F1v,F2 x ,F2 y ,F2 u, F2v son continuas y existe Qo= (xo,yo,uo,vo) tal
que :
1) F1(xo,yo,uo,vo) = 0 y F2(xo,yo,uo,vo) = 0
F1
u
F2
u
F1
v
F2
v Q
o
Entonces F(x,y,u,v) = (0,0) define implcitamente a

u = u(x,y) y a v =v(x,y) en un abierto que contiene a
(xo,yo), y u(x,y) , v(x,y) son diferenciables.
ux, uy , vx, vy se obtienen usando la regla de la cadena en F(x, y, u(x,y), v(x,y)) = (0,0).
2)
MartaLagarrigue
0.
47
Clculo III
F1
F1 u
F v
+
+ 1
=0
x
u x
v x
F 2
F2 u F2 v
+
+
=0
x
u x
v x
F1
F1 u
F v
+
+ 1
=0
y
u y
v y
F 2
F2 u F2 v
+
+
=0
y
u y
v y
F 1,F 2
)
x, v
u x (x,y) - F ,F
J( u1, v2 )
F 1, F 2
)
y, v
u y (x,y) - F ,F
J( u1, v2 )
F 1,F 2
)
u, x
vx (x,y) - F ,F
J( u1, v2 )
F 1,F 2
)
u,y
vx (x,y) - F ,F
J( u1, v2 )
J(
J(
J(
J(
Los determinantes J se llaman Jacobianos.

Veamos un ejemplo del caso I).
Ejemplo:
Determinar si la ecuacin x2 + z ln( yz) = 6 define implcitamente a z como
funcin diferenciable de x e y.
Busquemos un pto (xo , yo, zo) que verifique la ecuacin.
1
2
1) 22 + 2 ln ( . 2) = 6
La funcin F(x, y, z ) = x2 + z ln( yz) 6 , en un entorno del punto (2,
1
, 2) que
2
verifica la ecuacin, es continuamente diferenciable porque la derivadas:

Fx = 2 x , Fy = -
1
y
, Fz = 1 -
1
z
son continuas.
2)
Fz(2,
1
1
, 2) = 1 - 0 .
2
2
El Teorema de la Funcin Implcita dice que en un entorno de (2,
1
) , z es funcin
2
z(x,y) de x e y , diferenciable, por lo tanto existen zx y zy .

1
2 zx
1 1
z
2 x + zx
zx = 0 z x
.
zy - - zy = 0
.
zy
z
1 z
y z
y (1 z )
Ejercicio1:
La ecuacin F(x+ y+ z, x y z) = 0 define implcitamente a z(x, y) como
funcin diferenciable de x e y. Calcular zx .
F( x+ y+ z, x y z) = 0 . Fu (1 + zx ) + Fv ( yz + x y zx ) = 0
u
v
zx ( Fu + x y Fv) + Fu + y z Fv = 0 zx
Fu y z Fv
.
t
Fu x y Fv
Ejercicio2:
La ecuacin z + x (x y cos2z)= 0 define
implcitamente a z(x, y) como funcin diferenciable de x e y. Calcular zx .
zx + (t) + x (t)( ycos2z xy 2 cos z. sen z.zx ) = 0
(t ) x y cos 2 z (t )
sen2z
zx
.
2
1 x y sen 2 z (t )
MartaLagarrigue
48
Clculo III
VALORES EXTREMOS.
EXTREMOS RELATIVOS.
Consideremos una funcin f :D R2 R .Puede ocurrir que en las proximidades
de Po D o la grfica de f sea de la forma que se indica en los siguientes casos:
(1)
(2)
z
.
.
y
x
P . .Po
y
D
Existe una bola B (Po ) D tal que

P B ( Po ) es f (P) f (Po)
P . .Po
Existe una bola B ( Po ) D tal que

P B ( Po ) es f (P) f (Po)
(3)
z
Para toda bola B ( Po ) D existen puntos

y
P*. .Po. P
P* y P tales que:
P* B ( Po ) f (P*) f (Po) .
P B ( P ) f ( P ) f (Po) .
o
En el caso (1) decimos que f tiene en Po un mximo relativo f (Po). O que f (Po) es un
mximo relativo de f .
En el caso (2) decimos que f tiene en Po un mnimo relativo f (Po). O que f (Po) es un
mnimo relativo de f .
Si ocurre el caso (3) decimos que en Po f no tiene un extremo relativo. O que f (Po)
no es un valor extremo relativo de f .
Definicin.
Sea f :D R2 R , Po D o .
El n real f (Po) es un extremo relativo de f
B ( Po ) : P B (Po ) f (P) f (Po) (1)
B ( Po ) : P B (Po ) f (P) f (Po) (2)
Si ocurre (1) el extremo relativo es un mximo.

Si (2) el extremo relativo es un mnimo.
MartaLagarrigue
49
Clculo III
Sea f :D R2 R , Po D .
Mximo absoluto.
f (Po) es mximo absoluto de f si y slo si P D es f (P) f (Po) .
Mnimo absoluto.
f (Po) es mnimo absoluto de f si y slo si P D es f (P) f (Po) .
Observaciones:
_Los extremos relativos, cuando existen, se presentan solamente en puntos interiores del
dominio de f .
_El concepto de extremo relativo es un concepto local. Puede ocurrir que una
funcin tenga un mnimo relativo que sea mayor que un mximo relativo.
_Los extremos absolutos pueden presentarse en puntos de la frontera de D y
cuando existen son nicos. Probar !
_ Toda funcin f continua en D cerrado y acotado tiene mximo absoluto y
mnimo absoluto. (Este resultado se conoce con el nombre de Teorema de
Weierstrass.)
La siguiente proposicin da una condicin necesaria para la existencia de
extremos relativos cuando existen las derivadas parciales.
Proposicin :
f :D R2 R , Po = (xo, yo) D.
1) f x ( Po ) , f y ( Po )
f (Po ) 0 .
2) f (Po) es extremo relativo
Dem.
Tenemos que probar que si valen 1) y 2) entonces f x (Po ) 0 y f y ( Po ) 0
Para la demostracin vamos a suponer que el extremo es un mximo relativo.
Entonces:
B (Po ) : P ( xo h, y o k ) B (Po ) es f (P) f (Po).
2
2
P B ( Po ) h k
Esto es lo mismo que decir 0 :
2
f (xo+h, yo+k) f (xo, yo) 0 .

En particular si k = 0 :
h f (xo+h, yo) f (xo, yo) 0 .
f ( x h, y ) - f ( x , y )
o
o
Si 0 < h < entonces
0 . (*)
h
f ( x o h, y o ) - f ( x o , y o )
Si < h < entonces
0 . (**)
h
lm f ( x o h, yo ) - f ( x o , y o )
Por hiptesis existe f x ( Po ) .
h 0
h
f ( x o h, y o ) - f ( x o , y o )
lm
f x ( Po ) = h 0
=
h
f ( x o h, y o ) - f ( x o , y o )
lm
h0
h
h k
MartaLagarrigue
50
Clculo III
Como existen los lmites laterales y ambos son iguales a f x (Po ) , de (*) y (**)
tenemos:
f ( x o h, y o ) - f ( x o , y o )
lm
f x (Po ) =
0.
h 0
h
f ( x o h, y o ) - f ( x o , y o )
lm
0.
f x (Po ) =
h0
h
De 0 f x ( Po ) 0 se sigue
f x (Po ) = 0 como queramos probar.
La demostracin de f y ( Po ) 0 es similar y se deja como ejercicio.
Los puntos para los cuales f ( Po ) 0 se llaman puntos crticos.

La condicin de que se anulen las derivadas parciales es slo condicin
necesaria para la existencia de extremo relativo. No es condicin suficiente.
Una funcin puede tener puntos crticos y sin embargo puede no tener
extremos relativos en esos puntos.
Ejemplo: Sea f tal que f (x, y) = y2 x2 .
fx (x, y) = 2 x = 0 x = 0
fy (x, y) = 2 y = 0
y=0
Po = (0,0) es punto crtico y sin embargo f
(0,0) = 0 no es extremo relativo porque toda bola con centro en Po tiene puntos
(h,0) y (0,k) tales que f (h,0) < 0 y f (0,k) > 0 .
z
Como en Po= (0,0) no hay extremo relativo, el plano
tangente atraviesa la grfica de f .
y
x
Si Po es un punto crtico donde no hay extremo relativo decimos que (xo, yo, f
(Po)) es un punto silla.
Si en un punto crtico hay extremo relativo, en las proximidades del punto la
grfica de f est sobre el plano tangente si el extremo relativo es un mnimo y
debajo del plano tangente si es un mximo.
Vamos a ver una condicin suficiente para la existencia de extremo relativo en
un punto crtico.
As como las funciones diferenciables tienen plano tangente y, en un entorno
de ese punto, la cota de la funcin es prxima a la cota del plano tangente, si la
funcin es continuamente diferenciable de orden dos tiene diferencial segunda.
En ese caso la grfica de la funcin es prxima a la grfica de la diferencial
segunda que por ser una forma cuadrtica su grfica es la de una cudrica, un
cilindro o el plano z = 0 . Si el punto es crtico y la cudrica es un paraboloide
elptico hay extremo relativo; pero si es un paraboloide hiperblico no hay
extremo. Si es un cilindro o el plano, no se puede afirmar nada respecto de la
existencia de extremo.
MartaLagarrigue
51
Clculo III
CONDICIN SUFICIENTE PARA QUE EXISTA EXTREMO RELATIVO.

Si f es una funcin con derivadas parciales de segundo orden continuas y Po
es un punto crtico, condicin suficiente para que f (Po) sea extremo relativo
f ( P ) f (P )
es que el determinante Hessiano Hf (Po) = xx o xy o sea positivo. Si
f xy (Po ) f yy (Po )
f xx (Po ) >0 el extremo es un mnimo relativo y si f xx (Po ) <0 es un mximo
relativo.
Cuando el Hessiano es negativo no hay extremo relativo en Po , y si es cero
puede o no, haber extremo en Po .
Dem.
1
Por el Teorema de Taylor P lm

Po
f (P) - f (Po ) - d Po f (P - Po ) - d P2o f (P - Po )

2!
P - Po
0.
Como Po es crtico , d Po f (P - Po ) = 0 Por qu? . Entonces, siendo P - Po = (h,k)

1
lm
f (P) - f (Po ) - d P2o f ( h,k )
( h,k ) (0,0)
2!
( h,k )
0.
Esto dice que si P Po entonces f (P) f (Po)
1
2!
d P2o f ( h,k ) .
Por lo tanto P Po , f (P) f (Po) tiene el mismo signo que la forma

diferencial 2da.
Si P Po la diferencial segunda es siempre positiva, entonces P Po es f (P)>
f (Po) luego f tiene un mnimo relativo en Po .
Si P Po la diferencial segunda es siempre negativa, entonces P Po es f
(P)< f (Po) luego f tiene un mximo relativo en Po .
Si por el contrario la diferencial segunda cambia de signo en toda bola de centro
Po, esto es: P* Po tal que diferencial 2da en (P*-Po) es positiva y P Po tal que
diferencial 2da en ( P -Po) es negativa, entonces:
P* Po : f (P*)> f (Po) y P Po : f ( P )< f (Po) luego f no tiene extremo relativo

en Po .
Debemos estudiar entonces la forma diferencial 2da.
d P2o f :R2 R
es una forma cuadrtica
(h,k) fxx(Po)h 2 + 2 fxy(Po) h k + fyy(Po) k2
Si llamamos : d P2o f (h,k) = Q(h,k) , fxx(Po) = a , fxy(Po) = b , fyy(Po) = c .
Tenemos:
Q(h,k) = a h2 + 2 b hk + c k2 .
Y completando cuadrado si a 0 :
MartaLagarrigue
52
Clculo III
b
b2
b2
hk + 2 k2 2 k2 ) + c k2 .
a
a
a
b
b2 2
= a ( h + k )2
k + c k2 .
a
a
( ac b 2 )k 2
1
2
= (ah+ bk) +
.
a
a
Q(h,k) = a (h2 + 2
[(ah+ bk)2 + ( ac b 2 )k 2 ] .
a
Si ( ac b 2 ) > 0, Q(h,k) va a ser siempre positiva o siempre negativa segn sea
a
o a .
Hf (Po)
=
Por eso cuando fxx(Po) fyy(Po) - fxy(Po)2 0, d P2o f (h,k) es siempre positiva si
fxx(Po)
o siempre negativa si fxx(Po) , como queramos probar.
En cambio si ( ac b 2 ) < 0, es decir si Hf(Po)<0, habr vectores (h,k) para los
cuales
Q(h,k)0 y vectores (h,k) para los cuales Q (h, k)0 por lo que d P2o f tomar
valores positivos y negativos y entonces no habr extremos.
La grfica de Q(h,k) es la de un paraboloide elptico si ( ac b 2 ) >0 y es un
paraboloide hiperblico si (ac b 2 ) < 0 .
Si Hf (Po) = 0 puede haber extremo como es el caso de f (x, y) = x2; pero puede
ser que no haya extremo como en el caso f (x, y) = x3.
Ejercicios:
Estudiar los extremos relativos de :
a) z = x3 xy + y2 5y .
b) f (x, y) = x2 ln(x+y) + y 1 , definida en D = {(x, y)| x+y 0 } .
c) z = 2 sen2(x+y) x2 + y2 y .
d) z = 2 cos2(x+y) x2 xy .
MartaLagarrigue
53
Clculo III
EXTREMOS LIGADOS (o Condicionados).

MULTIPLICADORES DE LAGRANGE.
Sea f :R3 R
con la condicin de vnculo
(x,y,z) w = f (x,y,z)
g(x, y, z) = 0
(1)
Si g es continuamente diferenciable y en Po = ( xo,yo,zo) es g(Po) = 0 y gz(Po) 0 ,

entonces la ecuacin (1) define implcitamente a z(x,y) como funcin diferenciable
de x e y .
Decimos que la funcin f con la condicin de vnculo (1) tiene en Po un extremo
relativo ligado si xy) = f (x, y, z(x, y)) tiene en (xo, yo) un extremo relativo,
donde zo = z(xo, yo).
Queremos determinar condiciones necesarias para que f con la condicin g(x,y,z) = 0
tenga en Po un extremo relativo.
Supongamos f diferenciable y sea f (Po) un extremo relativo de f con la condicin (1).
Entonces tiene un extremo relativo en (xo, yo).
Por lo tanto x (xo, yo) = 0 y y (xo, yo) = 0
f x(Po) + f z(Po) zx (xo, yo) = 0

(*)
f y(Po) + f z(Po) zy (xo, yo) = 0
Como la ecuacin (1) define a z(x, y) diferenciable:

g x(Po) + g z(Po) zx (xo, yo) = 0
zx (xo, yo) =
g x ( Po )
g z (Po )
g y(Po) + g z(Po) zy (xo, yo) = 0
zy (xo, yo) =
g y ( Po )
g z ( Po )
reemplazando en (*)
f z (P o )
g x ( Po ) = 0
f x(Po)
g z (Po )
f z (P o )
g y (Po ) = 0
f y(Po)
y tambin vale obviamente:
g z (Po )
f z (P o )
g z (Po ) = 0.
f z(Po)
f x(Po) g x (Po )
g z (Po )
f y(Po) g y (Po )
f z (P o )
Si llamamos
, podemos escribir :
f z(Po) g z ( Po )
g z (Po )
Entonces f (Po) = g (Po). Por lo tanto:

MartaLagarrigue
54
Clculo III
Condicin necesaria para que la funcin f con la condicin de vnculo g(x, y, z) = 0

tenga en Po un extremo ligado es que exista R tal que la funcin
L (x, y, z) = f (x, y, z) + g(x, y, z) tenga L (Po) = 0 . Es decir que Po sea punto

crtico de L .
La funcin L
Lagrange.
se llama funcin de Lagrange y se llama un multiplicador de
Para determinar Po a partir de la funcin de Lagrange, tenemos que resolver el

sistema :
L (P) = 0
g(x, y, z) = 0
Ejemplo :
f x(P) g x (P ) = 0
f y(P) g y ( P ) = 0
f z(P) g z (P ) = 0
g(P) = 0
Sistema de cuatro ecuaciones

en las incgnitas x, y, z,
Determinar los puntos crticos de f (x, y, z) = x + y + z con la condicin de vnculo

x2 + y2 + z2 = 1 .
Formemos la funcin de Lagrange: L (x, y, z) = (x + y + z ) + (x2 + y2 + z2 1 ).
Lx (x, y, z) = 1 + 2 x = 0
Ly (x, y, z) = 1 + 2 y = 0
1
1
1
1
x y z
2x
2y
2z
2
1 2
3
De la condicin de vnculo x2 + y2 + z2 1 = 0 :
3 (
) 1 2
2
4
Lz (x, y, z) = 1 + 2 z
3
3

Con lo que obtenemos dos puntos crticos para f con la
2
2
condicin de vnculo.
P1= ( 3 , 3 , 3 ) y P2 = ( 3 , 3 , 3 ) .
Si hay dos condiciones de vnculo:

g1(x, y, z) = 0 y g2(x, y, z) = 0 que definen implcitamente a y(x) y a z(x):
Para que, en el punto Po , f tenga un extremo ligado es condicin necesaria que
existan dos multiplicadores de Lagrange de manera que :
L (x, y, z) = f (x, y, z) + g1(x, y, z) + g2(x, y, z) tenga gradiente L (Po) = 0 .

Ejercicio: Determinar la distancia ms corta del origen a la curva interseccin del
7
paraboloide z = y 2 x 2 y el plano x + y + z = 2 .
4
Como hay dos condiciones de vnculo la funcin de Lagrange es:
MartaLagarrigue
55
Clculo III
7
) + (x + y + z 2) .
4
La funcin f es la funcin distancia al origen. Por comodidad vamos a considerar el
cuadrado de la distancia, teniendo en cuenta que si f tiene en Po un extremo que
vale a , entonces f 2 tambin tiene, en Po , un extremo igual a a2.
7
L (x, y, z) = x2 + y2 + z2 + x2 + y2 + z ) + (x + y + z 2) .
4
Lx (x, y, z) = 2 x + 2 x +
Ly (x, y, z) = 2 y + 2 y +
Lz (x, y, z) = 2 z + +
Obtenemos un sistema de cinco ecuaciones en las incgnitas x, y, z, ,
L (x, y, z) = f (x, y, z) + x2 + y2 + z
2 x + 2 x +
2 y + 2 y +
2 z + +
x 2 + y2 + z
7
=0
4
2(y-x) + 2 y-x) = 0 si
yx
Reemplazando en la 1ra ecuacin : 2 x 2 x +
1
z
. Reemplazando z en las dos ecuaciones de vnculo :
2
x+y+z2=0.
x2 + y2 5 x + y =
4
3
2
De donde x = 1 , y = 1
(x + y)2 =
o x=1 ,y=
9
3
1
2 xy = 1 x2 x + = 0 .
4
2
2
1
2
. Obtenemos as los puntos crticos:
P1 = ( 1 , 1, 1 ) y P2 = (1, 1 , 1 ) . Si x = y se obtienen
2
1
2 1
2
2
1
2 1
2
2
P3 = (
).
, ,1 ) y P4 = (
,
,1
2 4 2 4
2
2
4 2
4
2
P1 y P2 y vale
3 porque
2
3
2
El extremo se produce en
d(P1,O) = d(P2,O) < d(P3,O) < d(P4,O).
f (x,y(x),z(x)) = x2 + y2(x) +z2(x) = (x).
De las condiciones de vnculo en P1 :
(x) = 2 x + 2 y y+ 2 z z.
(x) = 2 + 2(y)2 + 2 y y+ 2(z)2 + 2 z z
1
1
( ) = 2 + 2(y)2 + 2 (1)y+ 2(z)2 + 2( ) z
2
2
1
( ) = 2 + 2(y)2 + 2 y+ 2(z)2 + z
2
= 2 Hay extremo en P1 y es un mnimo.
2x + 2y y+ z= 0.
1 + 2 y+ z= 0
1 + y+ z= 0.
1 + y+ z= 0.
Luego y= 0 ; z= -1
2 + 2(y)2 + 2 y y+ z= 0
y+ z= 0
Luego y= -2
; z = 2
2 + 2 y+z = 0
y+ z= 0
Observacin:
Los multiplicadores de Lagrange se pueden usar para facilitar la resolucin del
sistema formado por L (Po) = 0 y las condiciones de vnculo. Solamente sirven

para determinar puntos crticos. Despus se debe analizar la existencia del extremo.
MartaLagarrigue
56
Clculo III
INTEGRALES MLTIPLES
Vamos a definir la integral doble de Riemann y, de manera natural, generalizaremos
el concepto para obtener la definicin de integral mltiple.
Conjunto Acotado en R.
Sea A R , A .
Un nmero real K se llama una cota superior de A, si x A , x K.
A
K
Si A tiene una cota superior, el conjunto A se dice acotado superiormente.
De la misma manera:
Un nmero real k se llama una cota inferior de A, si x A , k x .
k
Si A tiene una cota inferior, el conjunto A se dice acotado inferiormente.
Definicin:
Un conjunto de nmeros reales no vaco, es acotado si est acotado
superiomente e inferiormente.
Esto es :
A es acotado si existen constantes a, b R , a b tales que x A es a x b .
Podemos decir, entonces, que : Un conjunto de nmeros reales no vaco, es acotado
si existe un intervalo real [a,b] tal que A [a,b] .
Observemos que si K es una cota superior de A todo nmero a la derecha de K
tambin es cota superior. Por lo tanto si un conjunto est acotado superiormente
tiene infinitas cotas superiores.
K
A
Lo mismo para la cota inferior. Si k es una cota inferior de A todo nmero a la
izquierda de k tambin es cota inferior. Por lo tanto si un conjunto est acotado
inferiormente tiene infinitas cotas inferiores.
A
Conjunto acotado en Rn.
Sea B Rn , B .
def
B es acotado { d(P,Q) R | P, Q B } R es acotado.

Esto es lo mismo que decir : B es acotado sii k 0 : P, Q B, P - Q k .
MartaLagarrigue
57
Clculo III
Rectngulo coordenado en Rn.

R Rn es un rectngulo coordenado si R = {(x1,...,xi,...,xn)| i = 1,...,n ai<xi<bi}
donde i = 1,..., n
ai, bi R , bi a i .
Esto es: R = [a1, b1] [a2, b2] ... [an, bn] .
Un rectngulo coordenado en R es un segmento.
Si n = 2, un rectngulo coordenado es un rectngulo en el plano, de lados
paralelos a los ejes coordenados.
y
d
Con notacin clsica R = {(x, y)| axb, cy d}.
c
x
z
a
b
Si n = 3, un rectngulo coordenado es un
paraleleppedo en el espacio, de caras
paralelas a los planos coordenados.
y
x
Para n = 1 se define la longitud de R = [a , b], l(R) = ba.
Para n = 2 se define el rea de R = [a , b] [c , d] , A(R) = (b - a)(d c) .
Y para n = 3 se define el volumen de R = [a , b] [c , d] [e , f] ,
V (R) = (b - a)(d c)(f e).
La siguiente proposicin es una consecuencia de las definiciones y se deja
como ejercicio para las clases prcticas:
Proposicin
B Rn , B .
B es acotado R Rn , rectngulo coordenado tal que B R.
Funcin acotada.
f : D Rn R
def
f es acotada
{ f(P)| P D } R es acotado .
Podemos decir que f es acotada sii k R, k 0 : P D | f (P)| k .

Definicin de integral doble .
Sean R R2 un rectngulo coordenado y f : R R2 R una funcin acotada.
No pedimos otras hiptesis para f . (como continuidad etc.)
Rk
d
c
a
MartaLagarrigue
Paralelas a los ejes coordenados dividen a R en

sub-rectngulos parciales.
Si de esta manera dividimos a R en n rectngulos
58
Clculo III
coordenados R1, R2,.., Rk,..., Rn , decimos que hemos efectuado una particin
del rectngulo R. Los rectngulo Rk se denominan sub-rectngulos de la
particin .
Efectuada la particin de R, diremos que
Rk
otra particin de R es ms fina que , o
d
Rki que es posterior a , si cada sub-rectngulo
c
a
b
x
de est contenido en un sub-rectngulo de
Observacin: Una particin ms
fina que se obtiene agregando nuevas
paralelas a las que determinan .
y
Vamos a definir ahora funcin integrable.

Para ello damos la siguiente definicin:
Sea f :R R2 R una funcin acotada en R conjunto acotado
Como R es acotado R , rectngulo coordenado en R2 tal que R R R2 .
R
Definimos en R f *: R R2 R
P
f (P) si PR
0 si P R
Como f es acotada en R, resulta f * acotada en R.

Sea una particin de R en n sub rectngulos parciales R1, R2,..., Rk,...,Rn .
k = 1,...,n llamamos dimetro de Rk a dk= mximo de las distancias entre puntos de Rk .
dk es la longitud de la diagonal del rectngulo Rk .
y definimos como norma de la particin al mximo de los dimetros dk .
=mx{dk | k = 1,...,n }
En cada sub rectngulo Rk elijamos un punto cualquiera Pk y formemos el producto
f (Pk) A(Rk).
n
La suma
f *(Pk) A(Rk), se llama una suma de Riemann asociada a la particin
k 1
Observamos que cada suma de Riemann depende de la particin y del punto Pk

elegido en cada sub rectngulo Rk .
Definimos lmite de las sumas de Riemann as :
Si existe un nmero real I , al que se aproximan todas las sumas de Riemann
asociadas a particiones de normas que tienden a cero cuandon crece,
decimos que las sumas de Riemann tienen lmite I.
( n es el nmero de subrectngulos Rk)
Si las sumas de Riemann tienen lmite I, escribimos :

n
lm f *(Pk) A(Rk) = I .El significado preciso de este lmite es el siguiente:

n k 1
MartaLagarrigue
59
Clculo III
n
lm f *(Pk)A(Rk) = I yno N tal que de norma cdo n no
n
y toda suma de Riemann f *(Pk) A(Rk) asociada a es
n k 1
k 1
n
*
f (Pk) A(Rk) I .
k 1
Definicin
Sean R conjunto acotado yf :R R2 R , acotada.

f es integrable en R si existe el lmite I .
n
I = lm f * (Pk) A(Rk).
n
Si existe, I se llama la integral de f en
y se
k 1
denota :
Otras notaciones son
f dA
f (P) dA .
f (x, y) dx dy .
Ejemplo
Si f 1, y R es un rectngulo coordenado R = {(x, y)| axb, cyd }.
f es integrable y vale: dA A(R) .
R
Observacin: La integral doble se define solamente para funciones acotadas en

conjuntos acotados y para que la funcin sea integrable debe, adems, existir el
lmite de las sumas de Riemann .
Aclaramos que no toda funcin acotada en un conjunto acotado es integrable.
Ejemplo.
En R = {(x, y)| 0x1, 0y1 } , sea f (x,y) =
1
0
si
si
x e y racionales
.
x o y irracional
f no es integrable en R .
Para probarlo hay que encontrar una particin cuya norma tienda a cero; pero que las
sumas de Riemann no tiendan a un n fijo.
Es evidente que en los rectngulos genricos de cualquier particin hay puntos con
ambas coordenadas racionales y puntos con una coordenada racional y otra
irracional, por lo tanto las sumas de Riemann no van a tener lmite.
MartaLagarrigue
60
Clculo III
Todo lo dicho para integrales dobles sirve para definir integrales simples(de una
variable), integrales triples y en general integrales de orden de orden n.
En R1 un rectngulo coordenado R es un intervalo real l= [a,b] , y una particin
consiste en dividir [a,b] en n intervalos mediante puntos xo= a< x1<< xi<<xn=b.
Las funciones que se consideran son f : [a,b] R R acotadas y vale la misma
definicin de integral. El smbolo es
Y si f 1 es
a f ( x) dx
f dx .
a, b
dx = long(R) = (b a) .
a , b
En R un rectngulo coordenado R es un paraleleppedo y una particin de R se
obtiene trazando planos paralelos a lo planos coordenados.
La notacin para integrales triples de funciones f : RR3R es : f dV
3
f ( x, y , z ) dx dy dz . Y si f 1 ,
R dV
Si R = {(x, y, z)R3| a x b , c y d , 1 z 0 },
= V(R).
R dV
= (b a) (d c) (1 0).
Observar que si R = {(x, y)R2 | a x b , c y d } R2,

1 dA = dA = A (R) = (b a) (d c) = V(R).
R
Esto es:
dA
es el rea del rectngulo R R2 y tambin es el volumen
volumen de un paraleleppedo R R3 de base R y altura 1.

1
R
Definicin:
En este curso vamos a decir que un conjunto es conexo si es arco-conexo. Esto es:
Decimos que un conjunto C Rn es conexo si P, Q C , una curva P Q C .
Ejemplos
conexo
no conexo
conexo
Definicin:
R Rn es una regin si es la unin de un abierto conexo con parte de su frontera.
regin
no es regin
no es regin
MartaLagarrigue
61
Clculo III
Importante: Se puede probar que las funciones continuas en regiones cerradas y

acotadas son integrables.
Si R es una regin cerrada y acotada y f acotada es continua en R , salvo en un
nmero finito de conjuntos contenidos en R ,
que pueden ser puntos o trozos de
curvas regulares, tambin se puede probar que f es integrable.
Interpretacin geomtrica de la integral doble.

Sea R R2 una regin cerrada y acotada y f : R R2R continua y no negativa
en R2 . Entonces f es integrable y el valor de la integral es, por definicin, el
volumen V del slido en R3 limitado superiormente por la grfica de f e
inferiormente por la regin plana R.
z
f
f dA = V
y
R
x
Enunciamos propiedades de la integral mltiple. (No damos la demostracin.)
PROPIEDADES DE LAS INTEGRALES MLTIPLES.
1) Propiedad de linealidad.
Sean f : R R2R y g : R R2R integrables en , R regin cerrada y acotada,
y sean a,bR.
Entonces af + bg es integrable y
Raf bg dA a R f dA b Rg dA .
2) Propiedad de monotona
Si f y g son integrables en R entonces: P R f (P) g(P)
3) Propiedad de sumabilidad respecto de la regin de integracin.

Sean las regiones R 1, R2, R R2 cerradas y acotadas, tales que R =R 1UR
o
R 1R 2 = .
Y sea f integrable en R .Entonces:
MartaLagarrigue
62
f dA g dA
con
f dA f dA f dA
R
R1
R2
Clculo III
TEOREMA DEL VALOR MEDIO DEL CLCULO INTEGRAL

Antes de enunciar el teorema, vamos a sealar las propiedades de las funciones
continuas definidas en regiones cerradas y acotadas que tendremos en cuenta
en la demostracin del teorema.
1. Toda funcin continua f definida en un conjunto R cerrado y acotado
alcanza el mnimo absoluto m y el mximo absoluto M. Esto es:
~
~
P R : P R f (P) f (P ) = m
y
P R : P R f (P) f (P) = M.
2. Si R es una regin (conexo con interior no vaco) cerrada y acotada, la
funcin continua f toma todos los valores comprendidos entre m y M. Esto es:
m, M , P* R : f (P*) = .
Teorema V.M.C.I.
Sea R una regin cerrada y acotada, f :
R R2R
y g: R R2R continuas
y P R g(P) 0. Entonces existe un nmero real entre el mnimo absoluto

m y el mximo absoluto M de f en R, tal que
R
Dem.
f(P)g(P) dA = g(P) dA.

R
Por la propiedad 1. existen m =mn{ f(P) | PR} y M = mx{ f(P) | PR} y vale:
PR m f(P) M .
Como por hiptesis g es no negativa en R,
tenemos:
PR m g(P) f(P) g(P) M g(P).
f y g son integrables por ser continuas en una

regin cerrada y acotada, adems por la mono
tona y linealidad de la integral podemos escribir:
Rm g(P)dA R f(P)g(P)dA RM g(P)dA .

m g(P)dA f(P)g(P)dA M g(P)dA.
R
R
R
(1)
R g (P)dA 0
R
b) g (P)dA 0
R
f (P) g (P) dA
Si vale a) podemos dividir en (1) y obtenemos m R
M .
R g (P)dA
f (P) g (P) dA
R
Si lamamos =
obtenemos f(P)g(P) dA = g(P) dA ,
R
R
g
(P) dA
R
P R g(P) 0
a)
g(P)dA 0
que es
la tesis.
Si vale b), reemplazando en (1) tenemos:
0
R f(P)g(P)dA 0
MartaLagarrigue
R f(P)g(P)dA
=0
63
Clculo III
eligiendo como valor de a cualquier nmero entre m y M, obtenemos

nuevamente la tesis.
R f(P)g(P)dA = R g(P) dA . Q.E.D.
0
Interpretacin geomtrica de un caso particular del T.V.M.C.I.

Sea f : R R2R continua y no negativa en
R, regin cerrada y acotada y
g 1 en R .
El T.V.M.C.I dice que existeR tal que
Como f es continua en
R que
R f(P) dA = RdA. Con m
es conexo por ser regin, toma todos los valores
comprendidos entre m y M . Hay entonces un punto en R donde f asume el valor .

Esto es : P*
R:
= f (P*) . Por otra parte
Luego podemos escribir : P* R tal que

El 1er miembro de esta igualdad es
RdA = A(R) .
*
Rf(P) dA = f (P ). A(R) .
Rf(P)
dA.
(volumen del slido limitado
superiormente por la grfica de f e inferiormente por la regin plana R )

El segundo miembro es f (P*) A(R) . (volumen del cilindro de altura f (P*) y base R).
z
f (P*)
Rf(P) dA.
.
x
V=
P*
V = f (P*) A(R) = A(R).
MartaLagarrigue
64
Clculo III
INTEGRALES PARAMTRICAS
Sean y funciones continuas en [a, b ] y
regin de R2 , cerrada y acotada tal que :
R = {(x,y) R2 | a x b , ( x ) y ( x ) } .
f:
R continua, donde
R es una
Se llama integral paramtrica a la funcin F : a,b R

x F ( x)
Interpretacin Geomtrica.
( x )
( x)
f x , y dy
Sea xo [a, b]
F ( xo ) =
( xo )
( x
f x o , y dy =
o)
( xo )
( x
o)
( y ) dy .
F(xo) = A(R ).
a
En efecto, la curva C es
C
z f ( x, y )
y en el plano
x xo
vertical x = xo su ecuacin es
z = f(xo, y) = y) ; xo) y xo)
(xo, x))
xo
b|
x
y
(xo, x))
Por lo tanto F(xo) es el rea A(R) de la regin R del plano vertical de ecuacin
x = xo , limitada superiormente por la curva C = ([(xo),(xo)]) e inferiormente por
el segmento determinado por los puntos (xo, x)) y (xo, x)) .
Se puede probar que la integral paramtrica es continua. No vamos a dar la
demostracin. Slo veamos las consecuencias de la continuidad de la integral
paramtrica.
Si F es una funcin continua en [a, b], entonces x [a, b] se cumple:
lm F(x+h) = F(x) . Entonces:
h0
lm
h0
( x h)
( x h )
f x h, y dy =
( x)
( x )
f x , y dy =
lm ( x h )
f x h, y dy
lm ( x h ) hlm
0
h 0
h 0
Observamos que la continuidad de la integral paramtrica se traduce en que se

puede invertir el proceso lmite con el de integracin.
El siguiente teorema nos da una regla para obtener la derivada de la integral
paramtrica. Se conoce con el nombre de regla de derivacin bajo el signo integral o
regla de Leibnitz.
MartaLagarrigue
65
Clculo III
Regla de Leibnitz
Sea la integral paramtrica F : a,b R .
x F ( x)
( x )
( x)
f x , y dy .
donde y, adems de continuas en [a,b] son derivables en (a, b ) ; f es continua en
R = {(x,y) R2 | a x b , ( x) y ( x) } y existe fx continua en Ro.

Entonces x (a, b) existe F(x) y vale :
( x )
F(x) =
f x x, y dy f (x, x)). (x) f (x, x)). (x) .
( x)
Dem. Probaremos la frmula, primero, para el caso en que y sean constantes.

Sea entonces F ( x)
f x, y dy .
F ( x h) F ( x )
1
= lm (
f x h, y dy
f x, y dy )
h
h0 h
h 0
lm
1
f ( x h, y ) f ( x , y ) dy .
h 0 h
Por T.V.M.C.D. ( fciones de una
1
h f x ( x h, y ) dy .
h0 h
variable)
= lm
= lm
=
Es una integral paramtrica porque fx es

ctinua y por la continuidad de la integral
paramtrica se puede invertir el lmite
con la integral.
lm f x ( x h, y ) dy .
h0
f x ( x, y ) dy . Por la continuidad de fx .
Hemos probado que si y son constantes F existe y vale F(x) =
f x ( x, y ) dy .
Para probar la frmula en el caso general, observemos que F es funcin de x, y

F ( x)
( x )
( x)
f x , y dy = ( x,
(x), (x)).
Y por la regla de la cadena :
F(x) = x + + . (*)
( x )
x =
(
f x , y dy ) =
f x ( x, y ) dy . Por lo que acabamos de probar (yctes ) .
x ( x )
( x )
=
(
f x , y dy ) =f (x, (x)) .
Por Teorema Fundamental del Clculo.
( x )
( x )
( x)
= (
f x, y dy ) =
(
f x, y dy ) = f (x, (x)) .
( x )
( x )
Reemplazando en (*) obtenemos la frmula de Leibnitz.

F(x) =
( x )
( x)
f x x, y dy f (x, x)). (x) f (x, x)). (x) .
MartaLagarrigue
66
Clculo III
CLCULO DE UNA INTEGRAL

INTEGRALES SIMPLES SUCESIVAS.
DOBLE
MEDIANTE
DOS
El clculo directo (usando la definicin) de una integral mltiple suele ser

complicado. Bajo ciertas condiciones puede calcularse una integral mltiple
mediante integrales simples sucesivas.
Sea f : R R2 R continua en R, regin cerrada, acotada tal que :
R = {(x,y) R2 | a x b , ( x) y ( x) } = {(x,y) R2 | c y d , ( y ) x ( y ) }.
Entonces f es integrable y vale:
f (P ) dA =
b ( x )
(
f ( x. y) dy ) dx =
a ( x)
( y )
d
(
f ( x. y) dx) dy .
( y )
c
Vamos a hacer la demostracin para el caso particular de una regin rectangular.

Si
R = {(x,y) R2| a x b
; c x d }, probaremos
b d
d
b
(
f ( x. y) dy) dx =
(
f ( x. y) dx) dy .
a
a c
c
R f (P) dA =
Demostracin.
b
a ( c
f ( x. y) dy) dx =
a F ( x) dx ,
con F (x) =
f ( x, y ) dy integral paramtrica.
Sea una particin de R en n = p.q rectngulos R k obtenida trazando, sobre el lado

ab, p+1 puntos de subdivisin y sobre el lado cd, q+1 puntos tales que:
a = xo x1 x i x p-1 x p = b .
y
yq
c = yo y1 yj y q-1 x q= d
yj
yj-1yo

xo
MartaLagarrigue
67

xi-1 xi
xp
Clculo III
b d
(
f ( x. y) dy) dx =
a c
p
b
F ( x) dx =
a
xi
xi 1 F ( x) dx
i 1
F (i )( xi xi - ) .
1
i 1
p
Por T.V.M.C.I.
i = 1,...,p. i :
xi-1 i xi .
y vale:
c f ( i , y) dy( xi xi - ) .
1
Nuevamente, por
T.V.M.C.I.
j = 1,...,q. j :
yj-1 j yj .
y vale:
i 1
p q
f ( , y ) dy ( xi xi -1 ) .
i
j-1
i 1 j1
p q
=
f ( , j ) ( y j y j -1 ) ( x i x i -1 ) .
i
i 1 j 1
yj
Llamando Rk al rectngulo parcial determinado por los puntos (x, y) tales que
x xi e yj -1 y yj ; y Pk = ( i , j ) , como xi-1 i xi e yj-1 j yj ,
resulta Pk Rk y A(Rk) = ( xi xi -1 ) . ( y j y j-1 ) . Entonces podemos decir que:
xi-1
n
b d
(
f ( x. y) dy) dx =
f ( Pk ) A( R k ) .
a c
k 1
El 1er miembro es constante y las sumas de Riemann del 2do miembro tienen lmite
cuando n y () 0 porque f , al ser continua en un rectngulo es integrable.
Entonces:
lm
() 0
n
b d
(
f ( x. y) dy) dx = lm
f ( Pk ) A( R k ) .
a c
() 0 k 1
n
n
b d
(
f ( x. y ) dy) dx =
a c
R f (P) dA .
Q.E.D.
La otra igualdad se prueba anlogamente.

Ejemplo:
Calcular el rea de la regin plana limitada por las curvas
de ecuaciones : y = x + 2 ; y = x2 .
A(R) = dA =
R
MartaLagarrigue
1
2
x2
dy ) dx .
x2
1 ( x 2 x
) dx =
y
y = x2
y=x+2
9
.
2
+
-1
68
+
2
Clculo III
Invirtiendo el orden de integracin tendramos:

A(R) =
y
-4
R1 dA + R2 dA .
1
0 dy
x=y-2
R2
x=
-1
R1
y
y
dx +
2 y dy +
1 [
1 dyy 2 dx .
y ( y 2) dy .
4 19 9
+
= .
3
6
2
x= y
Para integrales triples el resultado es:

I = F ( x, y, z ) dV =
( x )
g ( x, y )
b
dx
dy
F ( x, y, z ) dz .
( x)
f ( x, y )
a
f
y
a_
y= x
b_
y =(x)
x
Cambiando el orden de integracin, obtenemos:
F ( x, y, z ) dV =
x2 ( y )
g ( x, y )
y2 ( z)
( y, z )
d
k
dy
dx
F ( x, y, z ) dz = dz
dy
F ( x, y, z ) dx
x1 ( y )
f ( x, y )
y1 ( z )
( y, z)
c
h
etc. Hay seis posibilidades. Se elige el orden de integracin que convenga.

Ejercicio:
Calcular
es la regin espacial interior al paraboloide
3 y dV .
z = ( x2 + y2 ) y al cilindro x2 + y2 = 1; y exterior a z = ( x2 + y2 )
1
1
dx
1 x 2
1 x 2
dy
1 ( x
1 y2
MartaLagarrigue
4(x 2 y 2 ) 1
y2 ) 3
1 x 2
y dz =
1
dx
1 x 2
1 x 2 3
3 y dV =
y 3 dy
dx = 0
1 x 2
69
Clculo III
CAMBIO DE VARIABLES EN INTEGRALES MLTIPLES.

Puede ocurrir que el clculo de una integral en coordenadas cartesianas sea
demasiado complicado. En algunos casos, mediante un cambio de variables
adecuado, puede simplificarse la resolucin de la integral.
La frmula para el cambio de variables en integrales simples es:
b
f ( x) dx =
a f ( g (u )) g(u ) du .
Donde g: [a, b] [a, b] derivable con derivada g continua; a = g(a) y b = g(b).

u x = g(u)
Enunciamos sin demostracin, el teorema de cambio de variables para integrales

dobles:
Teorema.
Sea g: D R2
(u,v) (x(u,v), y(u,v)) una transformacin continuamente diferenciable, inyectiva
en R y tal que det (g) 0 en R D R2 .

Si R es un conjunto acotado cuya frontera est formada por un nmero finito de
curvas regulares , R = g(R) y f : R R acotada y continua , entonces:
R f ( x, y) dx dy = R f ( g (u, v) det g ' du dv .

v
g
y
R D
R
u
El resultado sigue siendo vlido an cuando g no sea inyectiva en una curva

contenida en R y det (g) = 0 en los puntos de una curva contenida en R.
Ejemplo 1.
Si
R
v
es el paralelogramo de vrtices (0,0) ; (2,0) ; (1,1) ; (3,1) , la integral

( x y ) dx dy puede transformarse en una integral sobre un rectngulo mediante la
transformacin g(u,v) = (u+ v, v ).
x u+ v
yv
MartaLagarrigue
det g 1 1 .
0 1
70
Clculo III
( x y ) dx dy (u 2v) du dv
R
(uv v 2 )
du
0 du 0 (u 2v) dv .
2
(u 1) du (
u2
u)
2
2
0
=4.
Ejemplo 2.
2
D = R+ [0,2]
g: D R
Coordenadas polares.
(,) (x(,), y(, ))
= OP , es el ngulo que forma el semieje ox (eje polar)
con el radio vector .
P . (x, y)
x 2 y 2
y
tg =
x
x cos
y sen
det g cos sen

cos
sen
y = tgo x
R2
a
a
x2 + y2 = a2
o
o
a
g(D) = R2
La aplicacin g transforma: el segmento
a
del plano en la
0 2
circunferencia de ecuacin x2 + y2 = a2 del plano x y .

y la semirrecta o en la semirrecta y = tgo x.
Si R D es una regin acotada , R = g(R)
La frmula vale an cuando g no
y f : R R2 continua, entonces
f ( x, y) dx dy =
MartaLagarrigue
es inyectiva en D
porque
transforma el segmento de
Den el punto (0,0) de R2 y las
semirrectas y
de D en el semieje ox de R2
f ( g (, ) d d .
71
Clculo III
Ejercicio
Calcular el rea de la regin en el 1er cuadrante limitada por: las rectas 3 y = x,
y = 3 x , y las circunferencias x2 + y2 = 1 , x2 + y2 = 4 .
Las ecuacines de las rectas y de las circunferencias en coordenadas polares, son:
3y = x
3 sencos
tg =
y= 3 x =
.
3
x2 + y2 = 1 cos 2 + sen 2
x2 + y2 = 4 .
.
6
R est determinada por : 1 2

6
3
A(R) =
d d
1 d 4
Cambio de variables en integrales triples

El teorema de cambio de variables en integrales triples se enuncia igual.
Sea g: D R3 R3
(u,v,w) (x(u,v,w), y(u,v,w), z(u,v,w)) continuamente diferenciable, inyectiva y tal
que det (g) 0 en D. Si D es un conjunto acotado cuya frontera est formada

por un nmero finito de superficies regulares, = g() y f : R acotada y
continua , entonces vale:
f ( x, y, z) dx dy dz = f ( g (u, v, w) det g ' du dv dw .

El resultado sigue siendo vlido an cuando g no sea inyectiva o det (g) = 0 en los
puntos de una curva o de una superficie contenida en .
MartaLagarrigue
72
Clculo III
Ejemplo:
Calcular el volumen de una esfera de radio a, usando integrales triples.
x2 + y2 + z2 = a 2 .
La ecuacin de la esfera es
V=
dx dy dz . El clculo en coordenadas
cartesianas es complicado pues:

a
a
dx
a2 x2
a2 x2
dy
a2 x2 y2
a2 x2 y2
dz
.
Para calcular la integral triple vamos a usar coordenadas esfricas.
V=
Coordenadas esfricas
x =cossen
y =sensen

z = cos .
D = R+ [0,2
3
g(D) = R .
g: D R R
(,,) ( x, y, z )
x
y
z
x x x
det g' = y y y = sen
z z z
La ecuacin de la esfera de radio a, en coordenadas esfricas es a

aax a
a 2 x 2 y
a 2 x 2 y 2 z
a2 x2
a2 x2 y2
z
=a
y
g transforma el rectngulo D de ecuacin = a en la esfera del espacio XYZ.
MartaLagarrigue
73
Clculo III
V=
dx dy dz =
2 sen d d d =
2 d
sen d =
4
a3 .
3
Ecuacin del cono en

coordenadas esfricas
Ecuacin del plano en

coordenadas esfricas
Para calcular el volumen de un elipsoide se usan las coordenadas esfricas elpticas:

x =a cossen
y = b sensen
z = c cos .
El determinante jacobiano de esta transformacin es abc sen
Coordenadas cilndricas
3
D = R+ [0,2 R . g(D) = R3.
g: D R R
(,, z) ( x, y, z )
z
z
=a
x = cos
y = sen
z=z
x x x z cos sen 0
det g = y y y z = sen cos 0 =

0
0
1
z z z z
a
x
La ecuacin del cilindro es a.
Ejercicio : Calcular el volumen del slido en el 1er octante, limitado por

2
1 z = x + y
y por los planos x = y ; x = 0 ; z = 0 .
En coordenadas cilndricas, las ecuaciones de los

planos x = y, x = 0 , z = 0 son respectivamente:
y
x
MartaLagarrigue
z = 0.
La ecuacin del paraboloide es 1 z = .
V=
, ,
4
2
1 2
dz
74
.
16
Clculo III
INTEGRALES CURVILNEAS.
LONGITUD DE ARCO DE CURVA.
Sea la curva R3 parametrizada por f :[a, b] R3 continua; f ([a, b]).
t f(t) = (x(t), y(t), z(t))
z
t'
a'
' f(b) = Pn
b'
f(t) =P '
' f(a) = Po
Si f es inyectiva no se corta a si misma.

Consideremos una particin de [a, b] mediante n-1 puntos de subdivisin:
a = to < t1 < < tk-1 < tk << tn-1 < tn = b .
(mxtk tk -1k 1, ..., n }.
Sobre la curva tenemos los correspondientes puntos:
f (a)= Po, . . . , Pk-1, Pk , . . . , Pn= f (b)
(P) =
, que determinan una poligonal cuya longitud es
f (t k ) f (t k 1 ) .
f(tk) = Pk
k 1
z
Pn
Pk-1
a'
t'k-1
t'k
'
b'
Po
'Pk
y
x
Si existe el lmite de (P) cuando ( tiende a cero al tender n a infinito y es
independiente de la particular poligonal, por definicin, es la longitud de la curva .
() = lm
( ) 0
k 1
n
f (t k ) f (t k 1 ) .
Cuando una curva tiene longitud se dice rectificable. Generalmente es difcil

calcular, usando la definicin, la longitud de una curva rectificable. El siguiente
teorema proporciona una frmula para calcular la longitud de cuando f es
continua en (a, b) .
MartaLagarrigue
75
Clculo III
Teorema
f :[a, b] R3
Sea f ([a, b]) tal que
es continua junto con f en (a, b),

t f(t) = (x(t), y(t), z(t))
y t (a, b) f (t) (0,0,0) .

b
Entonces es rectificable y () = f (t ) dt .
a
No damos en detalle la demostracin del teorema, slo daremos un argumento

que justifica la validez del mismo.
Como f es continua en (a, b) , f es diferenciable. Si es una particin de [a,b] ,
k = 1, . . . n es f (tk) f (tk -1) = f (tk-1) (tk tk-1) + (tk tk-1) .
(t t )
con lm
0 .
k 1
tk tk 1 t t
k
k 1
Por lo tanto , si (es suficientemente pequea, k = 1, . . . n podemos

f (t k ) f (t k 1 )
aproximar:
n
(P) =
f (t k 1 ) (t k t k 1 ) y entonces
n
f (t k ) f (t k 1 )
k 1
f (t k 1 ) (t k t k 1 ) .
k 1
() 0
f (t k ) f (t k 1 ) =
lm
lm
( ) 0
k 1
n
k 1
f (t k 1 ) (t k t k 1 )
y como f es continua, f tambin es continua por lo tanto integrable. Por lo

b
tanto existe el lmit
lm
( ) 0
k 1
n
f (t k 1 ) (t k t k 1 ) =
f (t ) dt
() = f (t ) dt
Q.E.D.
Una curva se dice regular a trozos si f es continua en un nmero finito de

intervalos (a, b). Esto permite calcular la longitud de curvas cuyo vector tangente
f tiene un cambio brusco de direccin.
Ejemplo
Calcular la longitud de la curva plana definida por f : [-1, 1] R2 .
t (t t , t )
MartaLagarrigue
76
Clculo III
(2 t , 1) si 1 t 0
Esta curva es regular a trozos f ( t ) =

y
+
-1
() =
4t 2 1 d t
(2 t ,1)
f =
+
1
su grfica es:
4t 2 1 .
4t 2 1 d t = 2
4t 2 1 d t .
Si hacemos el cambio de variable : 2 t = senh u

4t 2 1 = cosh u () =
ln ( 2 5 )
0 t 1
si
cosh 2 u du =
dt =
1
cosh u du . Entonces
2
1
ln ( 2 5 ) .
2
INTEGRAL CURVILNEA (de una funcin real)

Las integrales curvilneas son una generalizacin del concepto de integral
simple sobre un intervalo real.
Sea una curva regular descripta por f :[a, b] R3
inyectiva.
t f(t) = (x(t), y(t), z(t)).
y supongamos que en = f ([a, b] ) R3 est definida una funcin real F acotada F :

R
Podemos interpretar a como un alambre
( x , y , z ) F ( x, y , z )
y a F como la densidad, por unidad de
Si efectuamos una particin de [a,b]
longitud, de una distribucin de masa en
a = to < t1 < < tk-1 < tk << tn = b
logramos, como antes, una particin en
n
Llamamos Pk = f (tk) y formamos la suma
F (Pk ) sk donde
s(t) = at f (u) du .
k 1
sk =s(tk) s(tk-1) =
tk
f (u ) du
tk -1
f (u ) du =
tk
f (u ) du .Si existe
k -1
lm
F (Pk ) s k
, es por definicin la integral curvilnea a lo largo de de la
( ) 0
k 1
n
funcin real F y se denota F ( x, y, z )ds . Si la funcin F es continua, existe el lmite

n
y se puede probar :
Entonces resulta:
F (Pk ) s k = a F ( x(t ), y(t ), z (t ))

( ) 0
lm
f dt .
k 1
F ( x, y, z )ds =
F ( x(t ), y (t ), z (t )) f dt .
Si interpretamos a como un alambre y a F como la densidad por unidad de

longitud, de una distribucin de masa en , la masa del alambre es la integral
curvilnea F ( x, y, z)ds .
MartaLagarrigue
77
Clculo III
INTEGRAL CURVILNEA (de un campo vectorial )

Supongamos ahora que la curva est contenida en DR3 y que en D est definida
una funcin vectorial continua
F : D R3 R3
(x,y,z) F ( x, y, z ) = F1 ( x , y , z ) , F2 ( x , y , z ), F3 ( x , y , z ) .
f (t )
Si v (t )
es el vector unitario, tangente a en f (t), se define la integral curvilnea
f
Es la integral de la
del campo F a lo largo de a F .v ds .
componente del campo
en la direccin de la
b
F .v ds = a F ( f (t )) . f (t ) dt .
tangente a la curva
=
b
F ( x(t ), y (t ), z (t )) x(t ) F ( x(t ), y (t ), z (t )) y (t ) F ( x(t ), y (t ), z (t )) z (t ) dt .
a
Esta ltima integral puede ser abreviada as : F1 dx F2 dy F3 dz .
Si F es un campo de fuerzas la integral curvilnea F .v ds representa el trabajo

realizado para mover una partcula a lo largo de .
Ejemplo
Calcular el trabajo W efectuado al mover una partcula a lo largo de la curva
(x, y, z) = (t, t, t2) 0 t 2 ; bajo la influencia del campo F (x, y, z) = (x+ y, y, y).
W=
0 (t t ).1 t.1 t.2t dt = 0 (3t 2t
) dt =
34
.
3
PARAMETRIZACIONES EQUIVALENTES
La curva del ejemplo anterior est parametrizada por la funcin f
f :[0, 2] R3
f ([0, 2]) . Observemos que g :[0, 4] R3 g ([0, 4])
2
u u u2
t ( t, t, t )
u ( , , )
2 2 4
es otra parametrizacin de .
Tanto f como g describen la curva La diferencia est en la velocidad de
1 1 u
2 2 2
recorrido, puesto que f(t) = (1, 1, 2 t ) y g(u) = ( , , ) . La direccin y el sentido

de los vectores tangentes son los mismos. Slo difieren en el mdulo.
Esto significa que al crecer el parmetro, el sentido de recorrido de la curva en
ambos casos es el mismo.
Cuando ocurra esto diremos que las parametrizaciones son equivalentes.
MartaLagarrigue
78
Clculo III
x=t
y=t
z = t2
y=x
1
z = (x2 + y2 )
2
1
z = (x2 + y2)
2
= {(x,y,z)R3 | 0 x 2 , y = x , z =
1 2
(x + y2) }
2
xy = x
Consideremos ahora una curva descripta por las siguientes funciones f y g.

f :[0, ] R2
g :[-1, 1] R2
t (cos t, sen t )
t (t , 1 t 2 )
f (t )
g(t )
0 t
-1
La curva es la mismaen ambos casos pues f ([0, ]) = g([-1, 1]) ; pero al crecer el
parmetro t entre 0 y , f describe la curva en sentido contrario al de g cuando t
crece desde -1 hasta 1. En este caso decimos que f y g no son parametrizaciones
equivalentes.
A continuacin vamos a definir formalmente cundo dos parametrizaciones de una
curva son equivalentes.
Definicin
f :[a, b] Rn y g :[ , ] Rn , funciones continuas son parametrizaciones
equivalentes de una curva Rn si existe una transformacin :[, ] [a, b]
continuamente diferenciable tal que:u t (u)
a = , b = , (u) en (, ) y g = f .
Si dos parametrizaciones son equivalentes la funcin es creciente puesto que es
positiva en (, ). Luego, cuando crece el parmetro u, tambin crece el parmetro t y
as f y g describen la curva en el mismo sentido. Hemos dicho que son
u u u2
) con
2 2 4
parametrizaciones equivalentes f(t) = ( t, t, t2) y g(u) = ( , ,

En efecto, en este caso la funcin es : t = (u) =
u
.
2
(u) =
1

2
0t2
0u4
Convenio: Cuando f y g describan la misma curva; pero no sean equivalentes, si

llamamos a la curva descripta por f , llamaremos a la descripta por g, es decir
a la misma curva pero recorrida en sentido contrario.
MartaLagarrigue
79
Clculo III
Cuando f (a) = f (b) diremos que la curva es cerrada. La integral curvilnea a lo

largo de una curva cerrada se denota . Para una curva plana, se define
sentido positivo de recorrido al sentido contrario al de las agujas del reloj. Si la
curva est en R3 el sentido positivo de recorrido es el de un observador que deja la
regin encerrada a su izquierda.
Si f en [a, b] y g en [ , ] son parametrizaciones de y respectivamente,
:[, ] [a, b] continuamente diferenciable tal que: a = , b = ,
u t (u )
(u) en (, ) y g = f .
PROPIEDADES (de las integrales curvilneas de funciones reales)
Para las integrales curvilneas de funciones reales, adems de las propiedades: de
linealidad y monotona del integrando y aditividad respecto de la curva (regin de
integracin), vale la propiedad de invarianza respecto de la parametrizacin de la
curva. Esto es :
Si f y g son dos parametrizaciones de una curva y F es una funcin real
definida en entonces F ds no depende de la parametrizacin.
Esto es:
F ds = a F ( f (t )) f (t ) dt
En consecuencia F ds = F ds .
F ( g (u))
g (u ) du .
Probar!
PROPIEDADES (de las integrales curvilneas de funciones vectoriales)

Las integrales curvilneas de campos vectoriales tienen las propiedades:
linealidad respecto del integrando, aditividad respecto de la curva e invarianza
respecto de parametrizaciones equivalentes de la curva . Esto es:
Si f y g son parametrizaciones equivalentes
Pero ATENCIN !!...
F .v ds no depende de f y g.
Probar!

F . v ds = F .v ds .
Si las parametrizaciones no son equivalentes entonces
Ejemplo:
Si est parametrizada por f :[0, ] R2 y por g :[-1, 1] R2
t (cos t, sen t )
t (t , 1 t 2 )
1 t2
y dx x dy = ( 1 t 2 .1 t
y dx x dy =
MartaLagarrigue
) dt =
[ sen t .( sen t ) cos t.(cos t ) ] dt =
80
1
1 t2
dt = Arcsen t
= .
-1
dt = .
Clculo III
TEOREMA DE GAUSS-GREEN.
El teorema de Gauss-Green relaciona integrales dobles con integrales curvilneas.
Teorema de Gauss-Green:
1) Sea una regin R R2 cerrada, acotada y simple (cualquier paralela a los ejes
coordenados corta a la frontera de R en , a lo sumo, dos puntos o en los infinitos
puntos de un segmento de recta).
2 )Sea la frontera de R , una curva cerrada regular a trozos parametrizada de
tal modo que quede recorrida una sola vez, en sentido positivo (sentido contrario al
de las agujas del reloj).
3) Sea F un campo vectorial continuamente diferenciable en un conjunto abierto U
de R2, tal que R U R2 .

F : U R2 R2
(x,y) F ( x , y ) = (F1(x,y),F2(x,y))
Entonces vale:
y
F2
R ( x
F1
) dx dy =
y
F (x,y) dx + F (x,y) dy .
1
Demostracin:
Observemos que la integral doble existe porque (
F2 F1
) es una funcin continua

x
y
en la regin cerrada y acotada. Qu hiptesis garantiza la continuidad de las

derivadas parciales
F2
x
F1
? Y la integral curvilnea existe porque F1 y F2 son
y
continuas a lo largo de Por qu ?

Vamos a probar:
y
F1
dx dy = F1(x,y) dx y
y
MartaLagarrigue
F2
dx dy
x
F (x,y) dy .
2
b
( x ) F1 ( x, y )
F1
dy .
R y dx dy = a dx ( x) y
= F1 ( x, ( x )) F1 ( x, ( x )) dx .
F1
dx dy =
y
a F
81
( x, ( x )) F 1 ( x, ( x )) dx . (1)
Clculo III
Consideremos ahora la integral curvilnea.
.N
A.
La curva es la unin de los arcos AMB y BNA .
.B
.
M
xt
a t b ANB :
;
y (t )
AMB :
b x
xt
atb
.
y (t )
F (x,y) dx = F (x,y) dx + F (x,y) dx .

1
AMB
BNA
F (x,y) dx F (x,y) dx .
AMB
b
ANB
F 1 (t , (t )) dt
a F
De (1) y (2) :
F (x,y) dx
1
F 1 (t , (t )) dt .
(t , (t )) F1 (t , (t )) dt .
(2)
F1
dx dy =
F1(x,y) dx . Q.E.D.
y
La otra igualdad se prueba de manera anloga considerando a la curva

como la unin de los arcos MBN y NAM .
y
.N
dy t
yt
MBN :
c t d . MAN :
ctd.
x (t )
x (t )
A.
c-
.B
F (x,y) dy = F (x,y) dy + F (x,y) dy .

2
MBN
NAM
F2(x,y) dy
MAN
MBN
d
F (x,y) dy = c
2
F2
dx dy =
x
F2 (( t ), t ) dt
c F2 ((t ), t ) dt .
F2 ((t ), t ) F2 ((t ), t ) dt .
d
F2
dx dy
x
MartaLagarrigue
F2(x,y) dy =
dy
( y ) F2 ( x, y )
( y)
F (x,y) dy .
2
dx =
d
c F (( y ), y ) F (( y ), y ) dy .
2
Q.E.D.
82
Clculo III
Veamos que el teorema sigue siendo vlido an cuando algunas paralelas a los
ejes corten a la frontera de la regin en ms de dos puntos como en el caso de la
regin de la figura:
Dividimos R en regiones parciales que cumplen las

hiptesis del torema.
R R1 R2 R3
R1 1 ; R2 2
E
G
R1 R2 R3
B
A
R 1 2 3
.
;
R
3
.
3
= BGHAB ; = BCFGB ;
=
=
BG + GHAB + BC + CF + FG+ GB
BG
BC
GHAB
= +
=
= CDEFC ; = BCDEFGHAB
CDEF
BC
+ +
CF
BG
+ .
CDEF
CDEF
FC
CF
GHAB
FG
FG
Q.E.D.
BCD
Definicin: Una regin R se dice simplemente conexa si toda curva cerrada C
contenida en R puede reducirse a un punto sin dejar de pertenecer a R .
regin simplemente conexa.
esta regin no es
simplemente conexa.
Para regiones que no son simplemente conexas, la tesis del teorema contina
subsistiendo siempre y cuando llamemos C al contorno total que se compone de C1
y C2 .
C1
= .
R
C1
C2
C2
R Observacin
Si la regin no es simplemente conexa el sentido positivo de
recorrido del contorno o frontera de la regin es el sentido en que se debe
desplazar un observador para tener continuamente la regin a su izquierda.
MartaLagarrigue
83
Clculo III
.K
R1
T
M
Dividimos R en dos regiones simplemente conexas:

B R1 limitada por la curva cerrada AMTNBKA y
N
S
R2
R 2 limitada por la curva cerrada AHBNSMA .
Si llamamos: C1 = BKAHB ; C2 = NSMT ; C = C1 C2 .
R R1 R2
=
RBKA
1
+
MTN
AM
+
R BN= NSM
2
BKA
R
+
AM
+
MA
R C1 C 2
AHB
+
NB
+
NSM
MTN+
+
BKA
R AHB
+
NB
+
MTN
+ +
NSM
BN
MA
+
AHB
. Q.E.D.
Ejercicio.
Expresar el rea de una regin plana usando integrales curvilneas.
A(R) =
En efecto
F2
R ( x
1
x dy y dx .
2 C
F1
F
= 1
F ( y, x) 2 = 1 ;
y
x
R dx dy
F1
) dx dy = 2
y
R dx dy
F (x,y) dx + F (x,y) dy = C y dx xdy

1
A(R) =
R dx dy
1
x dy y dx .
2 C
A continuacin vamos a estudiar integrales curvilneas que no dependen del

camino de integracin.
Dada en el plano una regin acotada R contenida en un abierto U donde est
definido un campo vectorial continuo F = (X(x, y),Y(x, y)) , diremos que la

integral curvilnea X dx Y dy no depende en R del camino de integracin si
C
para cada par de puntos A B , arbitrariamente elegidos en R , la integral

curvilnea no depende de la curva que une A con B sino de los puntos que
hayamos elegido.
MartaLagarrigue
84
Clculo III
Si no depende del camino de integracin, la integral curvilnea de un campo a lo

largo de un camino cerrado vale cero. En efecto si A y B son dos puntos
del camino cerrado AMBNA y la integral no depende
.N
A.
del camino de integracin
.B
AMB
= 0
ANB
AMB= ANB
AMB+ BNA =
=0
AMBNA
CONDICIN NECESARIA Y SUFICIENTE para que la integral

curvilnea de un campo no dependa del camino de integracin.
Sea F un campo vectorial continuamente diferenciable en D regin abierta
y simplemente conexa de R2.

F : D R2 R2
(x,y) F ( x, y ) = (X(x,y), Y(x,y))

Condicin necesaria y suficiente para que la integral curvilnea del campo no
dependa del camino de integracin en D es : (x, y) D ,
Y ( x, y ) X ( x, y )
=
.
x
y
Probamos primero que la condicin es suficiente. Esto es:
F ( x, y ) = (X(x,y),Y(x,y))
continuamente diferenciable
y
Y ( x, y ) X ( x, y )
=
en D .
y
x
la integral curvilnea del campo no depende del camino

de integracin en D .
Demostracin:
Sean C1 y C2 curvas contenidas en D que unen dos puntos A y B de D .
Queremos probar X dx Y dy = X dx Y dy
C1
C2
Lamemos = C1 (C2 ) . Resulta entonces que es una curva cerrada, frontera de

una regin simplemente conexa R D .
Por el teorema de Gauss-Green :
Y X
R ( x y ) dx dy X dx + Y dy
0 por hiptesis
MartaLagarrigue
85
Clculo III
X dx + Y dy = 0
X dx Y dy + CX dx Ydy = CX dx Ydy - CX dx Y dy = 0
C1
CX dx Y dy = CX dx Y dy
1
. Q.E.D.
Veamos ahora que la condicin es necesaria.
F ( x, y ) = (X(x,y),Y(x,y))
cont. diferenciable
en D y la integral curvilnea del campo
Y ( x, y ) X ( x, y )
=
en D.
y
x
no depende del camino de integracin en D .

Demostracin:
Razonando por el absurdo, supongamos Po D tal que
Y(Po) X (Po)
.
y
x
X
Y(Po) X (Po)
Y
0 . Supongamos (Po) (Po) 0
y
y
x
x
X
Y
Como
y
son funciones continuas, por el teorema de la permanencia del
x
y
X
Y
signo, (Po) D : P (Po)
(P)
(P)
0 .
y
x
Y X
(
) dx dy 0 . Entonces, por el teorema de Gauss-Green es :
B (Po ) x y
Entonces
B X(Pdx) + Y dy ; esto es una contradiccin porque la integral debera ser
igual a cero ya que por hiptesis la integral no depende

del camino de integracin. Luego debe ser :
P D
Y (P) X ( P)
=
x
y
Q.E.D.
Ejercicio: Mostrar que en los siguientes casos:

a) C circunferencia de radio 1 y centro (0,0),
b) C circunferencia de radio 1 y centro (1,1),
c) C circunferencia de radio 2 y centro (1,0),
la integral I =
y
2
Cx y
dx
x
2
x y2
dy , vale:
a) I = 2b) I = 0c) I = 2
MartaLagarrigue
86
Clculo III
FORMAS DIFERENCIALES EXACTAS

Veremos a continuacin otra condicin necesaria y suficiente para que la integral
curvilnea de un campo no dependa del camino de integracin.
Definicin:
Se llama forma diferencial en dos variables x e y a una expresin como la siguiente:
X(x, y) dx + Y(x, y) dy (1)
La forma es continua si X e Y lo son.
Diremos que la forma diferencial (1) es exacta sii
diferenciable U : D R llamada potencial , tal que
U (x,y)
U (x,y)
= X(x,y)
= Y(x,y).
x
en D R2 una funcin
Es decir : la forma diferencial es exacta exacta sii en D R2 una funcin

diferenciable U :D R d , tal que dU X(x, y) dx + Y(x, y) dy.
Cuando la forma diferencial es exacta el campo (X(x, y), Y(x, y)) se dice un campo de
gradiente por ser el gradiente del potencial U . Esto es:
U =(X(x, y), Y(x, y)).
Vamos a probar la siguiente
Proposicin
Condicin necesaria y suficiente para que la integral curvilnea de un campo
continuamente diferenciable sea independiente del camino de integracin es que el
campo sea un campo de gradiente o lo que es lo mismo, que la forma diferencial sea
exacta.
Demostracin
Sea F un campo vectorial continuamente diferenciable en D regin abierta y
simplemente conexa de R2. F : D R2 R2
(x,y) F ( x, y ) = (X(x,y),Y(x,y))
Lo que tenemos que probar es:
La integral del campo no depende
del camino de integracin en D .
La forma X(x, y) dx + Y(x, y) dy

es exacta.
()
Supongamos que la forma es exacta. Entonces existe un potencial U(x,y) tal que
U (x,y)
U (x,y)
= X(x,y)
= Y(x,y).
x
Como existen
MartaLagarrigue
Y(x,y)
X(x,y)
y son continuas por qu?, resulta :
y
87
Clculo III
X
y
(x, y) =
Y
2 U ( x,y )
2 U ( x,y )
=
=
(x, y)
yx
xy
x
Por el teorema de inversin del orden de derivacin
X(x,y) Y(x,y)
=
.
y
x
Esto dice que la integral no depende del camino de

integracin como queramos probar.
()
Supongamos ahora que la integral no depende del camino de integracin.
P.
.Q
Sean : Po = (xo, yo) , P = (x, y) , Q = (x+h, y).
Po.
Llamemos U (x, y) =
X ( , ) d Y ( , ) d
Po P
Entonces
U (x+h, y) =
X d Y d .
Po Q
U (x+h, y) U (x, y) =
X d Y d X d Y d .
Po Q
Po P
Como la integral no depende del camino de integracin:
Po Q
U (x+h, y) U (x, y) =
Po P
PQ
X d Y d .
PQ
d dt
Parametrizamos el segmento PQ
d
d
x t
U (x+h, y) U (x, y) =
xh
Integral, ,
x+h
X (t , y ) dt . Por el Teorema del Valor Medio del Clculo
: U (x+h, y) U (x, y) = h X(x+h, y).
lim X ( x h, y )
U x h y - U x y
X ( x , y ) por la continuidad de X(x.y).

h0
h0
h
U (x,y)
U (x,y)
= X(x,y) . De igual manera se prueba

= Y(x,y) , considerando :
x
y
lim
.Q
Po.
.P
El segmento PQ :
x
t
d
y t y+k
Y por lo tanto la forma diferencial X(x, y) dx + Y(x, y) dy es exacta, como

queramos probar.
Cmo se determina una funcin potencial cuando X dx + Y dy es exacta?
MartaLagarrigue
88
Clculo III
A . B. . P
Cuando la regin lo permite elegimos un camino PoAP
C . P1.
Po.
tal que PoA
al eje oy y AP al eje ox .
Entonces la integral que define a U (x, y) =
P AP
,tiene
la forma siguiente: U (x, y) =

y
U (x, y) =
X ( x0 , ) d Y ( x0 , ) d
y0
X ( , y) d Y ( , y) d .
x0
U (x, y) =
PoA AP
X ( , y) d
x0
U (x, y) =
Y ( x 0 , ) d .
y0
X ( , y ) d
( y)
x0
( y)
Si llamamos U 1(x, y) =
P BP
, U y U 1 difieren en una constante. En efecto:
U (x, y) = P C CP + U 1(x, y)
o
y1
U (x, y) =
x1
Y ( x0 , ) d
y0
X ( , y ) d
1
+ U 1(x, y)
x0
U (x, y) U1(x, y) = cte.
Ejemplo:
Sea la forma ( x2 2 x y) dx ( x2 + y2 + 1) dy. Es exacta en todo el plano.

X(x, y)
U (x, y) = ( 2 2 y ) d
U (x, y) =
Y(x, y)
( y) .
x3
x2
2y
+ (y) +Cte.
3
2
MartaLagarrigue
Como
89
U
= Y , tenemos:
y
Clculo III
U
=
y
x2 + (y) = ( x2 + y2 + 1) (y) = y2 1
(y) = ( 2 1) d =
U (x, y) =
y3
y +C .
3
y3
x3
y x2 y + C
3
3
FORMAS DIFERENCIALES EN 3 VARIABLES.

La forma diferencial X(x, y, z) dx + Y(x, y, z) dy + Z(x, y, z) dz
existe una funcin potencial U (x, y, z) que verifique:
U
= X(x, y, z)
x
U
= Y(x,y, z) ,
y
es exacta si
U
= Z(x, y, z) .
z
Si suponemos que X, Y, Z junto con sus 1eras derivadas son continuas en una
regin D R3 simplemente conexa, entonces: condicin necesaria y suficiente
para que la forma diferencial sea exacta es que en los ptos de la regin se
cumpla:
Y X
=
x y
Z
Y
=
y
z
X
Z
=
z
x
La demostracin es similar a la del caso de dos variables.

Cuando la forma es exacta la funcin potencial est dada por la integral :
x
U (x, y, z) =
X ( , y, z) d
( y, z) . Esta U satisface :
x0
U
=
y
U
=
y
As
x0
x
x0
( , y, z ) d
( y, z ) = Y .
y
y
( , y, z ) d
( y, z ) =Y (x, y, z) Y(x, y, z) Y(xo, y, z) +
( y, z ) = Y(x, y, z) .
y
y
( y, z ) = Y(xo, y, z) y de la misma manera

( y, z ) = Z(xo, y, z) .
y
z
Determinamos como hicimos para determinar U en el caso de 2 variables.

y
Por lo tanto (y, z) = Y ( x0 , , z ) d Z ( x0 , y 0 , ) d .

y0
U (x, y, z) =
X ( , y, z) d
x0
MartaLagarrigue
z0
Y ( x 0 , , z ) d
y0
90
Z(x , y
0
, ) d .
z0
Clculo III
INTEGRALES DE SUPERFICIE.
Superficie regular (definida paramtricamente).
Una superficie regular es un subconjunto S R3 definido paramtricamente por
una funcin g: D R2 R3
continuamente diferenciable tal que
(u,v) (x(u,v), y(u,v), z(u,v))
g u (u , v ) = (xu (u,v), yu(u,v), zu(u,v)) y g v (u , v ) = (xv (u,v), yv(u,v), zv(u,v))
(u,v) D
son linealmente independientes y S = g(D) .
Ejemplo 1:
g:R2R3
x = u+ v.
y = u v.
z = u.
x+y=2z
(u,v) (u+ v, u-v, u)
g u (u , v ) = (1,1,1) , g v (u , v ) = (1,-1,0)
g es continuamente diferenciable.
{(1,1,1) , (1,-1,0)} es un conjunto de

vectores linealmente independiente.
S = {(x, y, z)R3 | x + y = 2 z } S es un plano que pasa por el origen.

Ejemplo 2 :
g: D R2 R3
D = [0, 2] R .
(u,v) (cos u, sen u , v)
x = cos u.
y = sen u
z=v
2
g u (u , v ) = (-sen u,cos u,0) , g v (u , v ) = (0, 0,1)

g es continuamente diferenciable.
{(-sen u, cos u,0), (0,0,1)} es un conjunto de

vectores linealmente independiente.
x +y =1
S = {(x, y, z)R3 | x2 + y2 = 1 } . S es un cilindro.

Ejemplo 3 :
g: D R2 R3
D = {(u,v)| u0} .
g es continuamente difble.
g
(u , v ) = (cos v, senv,1) ; g v (u , v ) = (-u sen v, u cos v, 0)
u
x = u cos v.
y = u sen v
{ g u (u, v ) , g v (u, v ) } es un conjunto de vectores linealmente
z=u
independiente .
x2 + y2 = z2
.
3
2
2
2
S = {(x, y, z)R | x + y = z ; (x,y,z)(0,0,0)}.
S es un cono sin el vrtice.
(u,v) (u cos v, u sen v , u)
Ejemplo 4 : Para la esfera usamos la siguiente parametrizacin:

g: D R2 R3 ; D = {(u,v)| 0 u 2 ; 0 v } .
(u,v) (r sen v cos u , r sen v sen u , r cos v)
x2 + y2 + z2 = r2
Esfera sin los polos.

MartaLagarrigue
x = r sen v cos u
y = r sen v sen u
z = r cos v
91
Clculo III
Tambin podemos usar la siguiente parametrizacin para una semiesfera :

g: D R2 R3 ; D = {(x,y)| x2 + y2 r 2 }
(x, y) (x, y, r 2 x 2 y 2 ) .
rea de Superficie.
Sea S una superficie regular parametrizada por :
g: D R2 R3
(u,v) (x(u,v), y(u,v), z(u,v)) .
Llamemos
g
x
y
z
g
x
y
z
(u,v)= (
(u,v),
(u,v) ,
(u,v)) ;
(u,v)= (
(u,v),
(u,v) ,
(u,v))
u
u
u
u
v
v
v
v
g
v
(uo,vo)
v = vo + v
v = vo
u = uo+ u u
g
(uo,vo)
u
u = uo
La recta v = vo se transforma sobre S en la curva u g (u;vo) cuya direccin en

el punto (u;vo) es la del vector
g
(u,vo)
u
, que podemos denotar gu (u,vo) .
Y la recta u= uo se transforma en la curva v g(uo;v) cuya direccin en el

punto (uo;v) es la del vector
g
(uo,v)
v
, que denotamos gv (uo,v) .
Una particin en D mediante rectas paralelas a los ejes coordenados, determina

en S una particin mediante curvas u g (u;cte) , v g(cte;v) .
El rea de una regin genrica en D es
u v y en S, cuando la particin es
suficientemente fina, el rea k de Sk ( regin genrica correspondiente o

rectngulo curvilneo ) , es aproximadamente igual a g u g v uv , que es el rea
del paralelogramo de lados gu u , gv v en el plano tangente a S.

Este paralelogramo es la proyeccin de Sk sobre el plano tangente.
MartaLagarrigue
92
Clculo III
En resumen:
Sk : rectngulo curvilneo.
Sk S
k : rea de Sk .
k n real
Sk
g u g v uv : rea del paralelogramo de lados
n real
g u u , g v v
vectores del plano tangente a S
k g u g v uv .
Entonces, por definicin AS , el rea de S, que denotamos
AS =
d es :
g u g v du dv .
cules?
Observar que hemos definido el rea de S como el lmite desumas de Riemann.
Si la parametrizacin de S es : g: D R2 R3
A S tiene la forma :
(x, y) (x, y, f (x,y))
AS =
1 f x2 ( x, y ) f y2 ( x, y ) d x d y .
En efecto :
g
g
(x,y) = (1,0 , fx (x,y)) ;
(x,y) = (0,1, fy (x,y));
x
y
g
g
2
2
(x,y)
(x,y) = 1 f x ( x, y ) f y ( x , y ) .
x
y
g
g
(x,y)
(x,y) =(fx (x,y) , fy (x,y),1)
x
y
Ejemplo: hallar el rea de la porcin del cono x2 + y2 = ( z- 4)2 en el 1er octante, entre
los planos z =1 , z = 3 , y = 3 x , y = 0 .
z
S es tal que : 1 4 x 2 y 2 3 y
AS =
(x, y) (x, y, 4 x 2 y 2 )
1 z x2 ( x, y ) z 2y ( x, y ) d x d y .
x
x
=
2
z 4 x y2
x
x
2 ( z 4) zx = 2 x zx =
=
2
z 4 x y2
2 ( z 4) zx = 2 x zx =
AS =
1 zx2 z 2y 2
2 dxdy =
Rxy
2 d d .
AS = 2 3 d d =
0
1
y
Rxy
x
R:
4 2
3
3
1 3
0
Como en el caso de las integrales curvilneas, tambin existen integrales de

superficie de dos tipos: integrales de superficie de funciones reales e integrales de
superficie de campos vectoriales.
MartaLagarrigue
93
Clculo III
Integrales de Superficie de Funciones Reales.

Sea S R3 una superficie de ecuacin z = f (x,y) , (x, y) D R2 y sea F
una funcin real continua definida en S.
F : S R3R , continua .
(x, y, z) F(x, y, z)
Se define la integral de superficie de la funcion real F, y se denota F d , as :

S
F d =
F ( x, y, f ( x, y )) 1 f x ( x, y ) f y ( x , y ) d x d y .
Si la parametrizacin de la superficie es
g: D R2 R3
(u,v) (x(u,v), y(u,v), z(u,v))
F d = F ( x(u , v ), y (u , v ), z (u , v)) g u g v d u d v .
D
Observar que la integral de superficie de la funcin real F 1 es el rea de la

porcin de superficie.
Si interpretamos a S como la superficie de una lmina y a F como la densidad por
unidad de superficie , de una distribucin de masa en S, la masa total de la
lmina es la integral de superficie de la funcin .
m = S ( x, y, z ) d .
Vamos a definir ahora otro tipo de integrales de superficie. Las integrales de
superficie de campos vectoriales.
Las superficies que se consideran para definir la integral de un campo son las
superficies orientables tambin llamadas superficies bilteras porque se pueden
distinguir dos caras o lados. Las superficies con una sola cara se llaman
unilteras.
Definicin: Una superficie S se dice orientable si puede definirse un campo
normal a S, continuo y distinto del vector nulo en cada punto.
En una superficie orientable, en cada punto (x,y,z,) hay dos vectores normales a la
superficie: n1 y n2 tales que n2= - n1. Si g es la parametrizacin de S y llamamos n1 a la
normal que tiene la direccin de gug v , tenemos la orientacin de una cara de la
superficie y ese campo de normales es distinto de en cada punto. La otra cara de la
superficie tiene la orientacin determinada por la normal n2 que tiene la direccin de
gvgu. y este campo tambin es distinto de en cada punto.
Ejemplos de superficies que no son bilteras: la Cinta de Moebius y la Botella de
Klein
Cinta de Moebius
MartaLagarrigue
Botella de Klein
94
Clculo III
Integrales de Superficie de Campos vectoriales.

Supongamos que S sea una superficie regular parametrizada por
g: D R2 R3
y
F : U R3 R3 un campo continuo en
(u,v) (x(u,v), y(u,v), z(u,v))
(x, y, z) (F1(x,y,z), F2(x,y,z), F3(x,y,z))
un abierto U R3 tal que S U R3 .

Se define F . n d , la integral de superficie del campo F , como:
S

F
S . n d = S (F1(x,y,z) cosF2(x,y,z) cosF3(x,y,z) cos) d.
Donde n es un vector unitario normal a la superficie en cada punto.
n (x,y,z) = (cos(x,y,z)cos(x,y,z)cos(x,y,z)) . Sus componentes son los cosenos
directores de n . Esto es, los cosenos de los ngulos directores que son los
ngulos que forma n con la direccin positiva de los ejes coordenados.

g g
y z z y
z x x z
x y y x
n u v cos u v u v , cos u v u v , cos u v u v
gu gv
gu gv
Como yu zv zu yv =
( y, z )
(u , v )
gu gv
, z u x v xu z v =
( z, x)
(u , v )
gu g v
xu y v yu x v =
( x, y)
(u , v )
Podemos escribir:

( y, z )
( z , x)
( x, y )
F
S . n d = D (F1(g(u,v)) (u, v) + F2(g(u,v)) (u, v) + F3(g(u,v)) (u , v) ) du dv .

Que se suele abreviar as: S F . n d = F1 dy dz F2 dz dx F1dx dy .
S

O simplemente F . n d = F1 dy dz F2 dz dx F1dx dy , por lo siguiente:
S
S

F . n d = (F1(x,y,z) cosF2(x,y,z) cosF3(x,y,z) cos) d.
S
= S (F1(x,y,z) cos d S F2(x,y,z) cos d S F3(x,y,z) cos ) d.

Para S F3(x,y,z) cos d parametrizamos la superficie S as:
g: Rxy R2R3
. La normal es
(x,y) (x, y, z(x, y))

gx gy

n
g x g y = 1 z 2 z 2y
; g x = (1, 0, zx(x, y)) g x g y = (-zx, -zy, 1 ) ;
x
gx gy
g = (0, 1, zy(x, y))
y
n (cos cos cos ) resulta cos =
1 z x2 z 2y
cos si 0
cos si
Entonces
S F3(x,y,z) cos d R x y F3(x,y,z(x,y))
MartaLagarrigue
1 z x2 z 2y dx dy .
1 z x2 z 2y
S F3(x,y,z) cos d = R x y F3(x,y,z(x,y)) ( 1) dxdy

95
El signo depende del

ngulo
Clculo III
Para S F2(x,y,z) cos d parametrizamos la superficie S as

g: Rx z R2R3
y para Para S F1(x,y,z) cos d, g: Ry z R2R3
(x,z) (x, y(x, z) , z)
(y,z) (x(y, z), y, z)
Ejemplo:
Sea F ( x, y, z ) un campo vectorial y S la cara exterior de la superficie de la

semiesfera de ecuacin : x2 + y2 + z2 = 1 con z 0. ( Si S es la cara exterior, la
normal apunta hacia afuera )
Calcular S F . n d .

Si parametrizamos la superficie as

n = gv gu
x = sen v cos u
y = sen v sen u
z = cos v
00 u 2; 0 v
2
gv(u, v) = (cos v cos u, cos v sen u, senv) .
gu(u, v) = (sen v sen u, sen v cos u, 0).

por qu?
2
2
g v g u = ||(sen v cos u , sen v sen u, senv cos v)|| = sen v = sen v .
n = g v gu
la normal apunta hacia fuera de la superficie
-n = g g
u
v

F . n d = (sen v cos u)( sen2v cos u)+( sen v sen u)(sen2 v sen u)+ cos v sen v cos v)du dv.
D
D
= sen3 v ( cos2u + sen2u ) + sen v cos2v ] du dv.

D
= sen v ( cos2v + sen2v ) du dv = sen v du dv =

D
du
sen v du dv = 2 .
Otra forma de resolver el problema es calcular cada una de las integrales

cos d ,
Veamos que
F2(x,y,z) cos d ,
F2(x,y,z) cos d=
F3(x,y,z)
F1(x,y,z) cos d, y sumarlas.
S1 F2 cos d+ S 2 F2 cos d 2 3
R x z
S2 : y = 1 x z
S1 : y =
(u,v)
F2 cos d=
resolviendo en polares
Anlogamente
MartaLagarrigue
Rxz
, )
1 x 2 z 2 (+1) dx dz
S1 F2 cos d= Rx z
S 2
1 x2 z2
R x z
1 x 2 z 2 (-1) dx dz
2 1 x 2 z 2 dx dz = 2
F1(x,y,z) cos d= 2
96
F3(x,y,z) cos d 2 . F . n d = 2
3
Clculo III
TEOREMA DE GAUSS-OSTROGRADSKI.
El teorema de Gauss-Ostrogradski, tambin llamado teorema de la divergencia,
relaciona integrales de superficie con integrales triples.
Teorema de Gauss-Ostrogradski:
Sea T una regin cerrada y acotada en R3 ( T es un slido ), cuya frontera es una
superficie S regular a trozos tal que en cada punto el vector normal a S apunta hacia
afuera de T ( orientacin positiva de S).
Sea F : AR3 R3
un campo vectorial continuamente diferenciable
P (F1(P), F2(P), F3(P)) tal que A es abierto y T A.
Entonces

F
. n d =
S
divF dV .
Demostracin:
Por las hiptesis hechas, la superficie S se compone de un casquete superior Ss , uno
inferior S i , y la porcin lateral de superficie S que en algunos casos se reduce a una
curva. S = Ss S i S .
Ss
T
S
divF dV =
F. n d = S
F1 F2 F3
) dx dy dz
x
y
z
(F1(x,y,z) cosF2(x,y,z) cosF3(x,y,z) cos)d.
Si
Vamos a probar
y
A.
a
C.
.D
..
Rxy
F3
dx dy dz = F3(x,y,z) cos d.
S
z
y con un razonamiento anlogo se demuestran las

otras dos igualdades:
y1
y2
F1
S
x
F2
S
y
El slido T y la regin Rxy estn definidos por :
T = { (x, y, z) | a x b ; y1(x) y y2(x) ; z1(x, y) z z2(x, y) } .

Rxy = { (x, y) | a x b ; y1(x) y y2(x) }
F3(x,y,z) cos d=
MartaLagarrigue
S s
F3(x,y,z) cos d +
S i F3(x,y,z) cos d+ S F3(x,y,z) cos d.
97
Clculo III
Para calcular
F3(x,y,z) cos d, parametricemos Ss y S i .
g: Rxy R2 R3
la ecuacin de S s
(x, y) (x, y, z2(x, y))
gx g y
n (cos , cos , cos ) ; n
gx g y
Ss :
g x g y = ( 1, 0,
cos
S s
z2
z2
z2
z2
) ( 0, 1,
) =(
,
, 1 )
x
y
x
y
1
puescos 0 porque 0
2
gx g y
F3(x,y,z) cos d= R
S s
F3 ( x, y, z2 ( x, y ))
xy
F3(x,y,z) cos d= R
xy
g: Rxy R2 R3
(x, y) (x, y, z1(x, y))
n (cos , cos , cos )
cos
es z = z1(x, y)
gx g y
gx g y
1

pues cos 0 porque
2
gx g y
F3(x,y,z) cos d= R
F3(x,y,z) cos d= R
F3
dx dy dz =
T z
F3 ( x, y , z1 ( x, y )) dx dy
xy
cos porque
dx
d y
y1 ( x )
xy
F3
z d z =
z ( x, y )
1
xy
F3 ( x, y , z1 ( x, y )) dx dy (1)
y 2 ( x)
z2 ( x , y )
Por lo tanto
F3 ( x, y, z 2 ( x, y )) dx dy R
xy
y2 ( x )
= R
g x g y dx dy
gx g y
la ecuacin de Si
F3(x,y,z) cos d= 0 pues
F3 ( x, y, z 2 ( x, y )) dx dy
Si :
Si
es z = z2(x, y
dx
[ F3 ( x, y, z 2 ( x, y )) F3(x,y,z (x,y))] dy .
1
y1 ( x )
F3 ( x, y, z 2 ( x, y )) dx dy R F3 ( x, y , z1 ( x, y )) dx dy .
xy
F3
dx dy dz = R F3 ( x, y, z 2 ( x , y )) dx dy R F3 ( x, y , z1 ( x , y )) dx dy
xy
xy
z
De (1) y (2) se sigue

MartaLagarrigue
(2)
F3
dx dy dz = F3(x,y,z) cos dcomo queramos probar.
S
z
98
Clculo III
Ejemplo.
Sea F ( x, y, z ) y S el slido limitado superiormente por la semiesfera de

ecuacin : x2 + y2 + z2 = 1 con z 0. e inferiormente por el plano z= 0.
Calcular la integral de superficie

S F . n d .
S1 : x2 + y2 + z2 = 1 ; z 0.
S2 : z = 0
z
S1
y
x
S2
Como se cumplen las hiptesis del teorema de Gauss-Ostrogradski,

F. n d
divF dV =
divF dV
1 4
(1 1 1) dV = 3V(T) = 3. . = = 2 .
2 3

F
. n d =2
Observar que
S1 F . n d
S2 F . n d
S F . n d . = S1 F . n d + S2 F . n d .
= 2como se ha obtenido en el ejercicio de pg. 96 . Ah, S era S1 )
S2
x cos d y cos d z cos d= 0
porque
; y z = 0
2
Con respecto a la orientacin de las caras de una superficie biltera que no es la

frontera de un slido, observemos lo siguiente.
Al elegir una cara de la superficie biltera, en cada cada punto la normal n apunta
en un sentido y en el mismo punto, en la cara opuesta, la normal es - n
MartaLagarrigue
99
Clculo III
Sea S es una superficie regular, parametrizada por g: D R2 R3

(u,v) (x(u,v), y(u,v), z(u,v)),
Al dividir S en un nmero finito de celdas (superficies parciales que provienen de

una particin en D) se asigna, a los puntos de cada celda, un sentido positivo de la
normal n determinando un sentido de rotacin en los lados (el de un tornillo de
mano derecha). Cuando la superficie es biltera, en cada cara de la superficie, las
celdas contiguas tienen en la parte comn, sentidos opuestos, por lo que el borde de
S es una curvaCcerrada recorrida en sentido positivo (el sentido en el que un
observador caminando a lo largo de Cdejaa la superficie S a su izquierda)
C
El teorema de Stokes o teorema del rotor relaciona integrales de superficie con
integrales curvilneas.
TEOREMA DE STOKES
Sea S una superficie biltera y por lo tanto orientada, acotada cuyo borde es una
curva C . Supongamos una de las 2 caras de S como positiva y orientemos C en el
sentido
positivo.
Sea F : U R3 R3 un campo continuamente diferenciable en U abierto tal que S U.

(x, y. z) (F1(x, y. z), F2(x, y. z), F3(x, y. z))
Entonces :

rotF . n dw = F1 dx + F2 dy + F3 dz .
C
S
F
F
F
F
F
F
rotF = ( 3 2 ) i ( 1 3 ) j ( 2 1 ) k .
y
Demostracin:
Para la demostracin vamos a suponer a S parametrizada
por g, as:
g: RxyR3
n = (cos , cos cos )

x
(x, y) (x, y, z(x,y))

Suponemos
MartaLagarrigue
100
Rxy
C
Clculo III
gx g y
n=
gx g y
(-zx ,-zy , 1) .
1 z2 z2
x
y
F3
rotF . n dw = S [( y
F1
z
cos
F2
z
= S [(
cos cos
cos
- zx
- zy
F 1
y
) cos + (
cos ) (
F1
F2
x
F 3
x
cos
) cos + (
F 2
z
F2
cos ) (
F 1
F3
y
(1)
) cos ] dw =
cos
F 3
x
cos )] dw .
Vamos a probar:
F1
S [( z cos
F 1
y
cos ) ] dw =
CF (x, y, z) dx
(*)
F2 dy.
F 3 cos F 3 cos ) ] dw = F dz
3
x
C
Y de igual manera se prueba

F2
S [( x
cos
F 2
z
cos ) ] dw =
S [( y
F (x, y, z) dx = F (x, y, z(x, y)) dx = X(x, y) dx

C
. donde F1(x, y, z(x, y)) = X(x, y)

C
Por el teorema de Gauss Green es :
X(x, y) dx = Rxy Xy dx dy = Rxy ( Fy Fz

1
z y ) dx dy
F1 F1
F F
z y ) dx dy = S ( 1 1 z y ) cos dw
xy y
z
y
z
R (
= S [(
F1
z
( z y )cos
F 1
y
cos ) ] dw . De (1) ( z y ) cos = cos
cos
CF (x, y, z) dx =
1
[(
F1
z
cos
F 1
y
cos ) ] dw Que es (*) lo que queramos probar.
La integral de superficie de un campo se llama el flujo del campo a travs de la

superficie en la direccin de la normal y la integral curvilnea de un campo a lo largo
de una curva se llama la circulacin del campo a lo largo de la curva.El teorema de
Stokes dice que el flujo del campo rotor F a travs de S en la direccin de la normal es
igual a la circulacin de F a lo largo de C en el sentido positivo.
MartaLagarrigue
101
Clculo III

Teoria5 Calculo en Varias Variables

Загружено:

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

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

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

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

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

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

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

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

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

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

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

Teoria5 Calculo en Varias Variables

Загружено:

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

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

NOTAS DE CLCULO EN VARIAS VARIABLES

Facultad de Ciencias Exactas y Tecnologa

Notas de Clculo en Varias Variables

San Miguel de Tucumn, Julio de 2013

CLCULO EN VARIAS VARIABLES

2. Williamson-Crowell-Trotter: Clculo de Funciones Vectoriales.Ed. Prentice Hall Internacional. 1973.

Marta Lagarrigue, Julio de 2013.

Sean a A , b B . Decimos que a est relacionado con b si y slo si (a,b) R

Si f es funcin de A en B y (x, y) f , como para cada x de A existe un nico y de

La notacin para funciones es la siguiente:

La distancia usual entre puntos de R se define as: d (x,y) = [ ( xi yi ) ] 2

As la distancia en Rn es una funcin

El par (R , d ) formado por el conjunto Rn y la funcin d se llama espacio

El espacio euclidiano de dimensin 2 es el plano real con la distancia usual.

P1 = (x1, y1) , P2 = (x2, y2) R .

En E2 , el plano real, una bola es un crculo sin la circunferencia.

A y B son cjtos abiertos en R2.

|x| 2 , |y| <1 }.

Definicin de Punto interior.

El conjunto de ptos interiores de A se llama el interior de A y se denota A .

A es un cjto cerrado en R2 porque cA es abierto.

|x| > a , |y| > b }

Del curso de A.M.I. sabemos que ,por definicin, f es continua en xo si

Observemos que: x A y |x-xo| , significa que x ( B (xo) A).

f es continua en xo R, 0 R, 0 : ( x ( B (xo) A) f(x) B( f(xo)) ) .

La funcin f del dibujo es continua en Po . Para cada intervalo real ( f(Po)-f(Po)+)

Antes de dar un ejemplo de funcin continua, observemos lo siguiente:

(x,y) B (0,0) x2 y2 <

pertenece al cuadrado A, como se ve en dibujo.

En el caso en que A = {(x,y) R2 | | x - x o

(x,y) B0,0) |x| + |y|

Teniendo en cuenta (1), afirmamos:

| f(x,y) | |x| + |y| .

(x,y) B0,0) , ( x=0 )

(x,y) B0,0) | f(x,y) | .

Esto dice que f es continua en (0,0) , como queramos probar.

Tenemos que probar que Po R2 f es continua en Po .

(x,y) B0,0) | f(x,y) |= x2 + y2

Por lo tanto f es continua en el origen.

Queremos determinar el radio de una bola de centro Po , Bxo,yo) , de manera que

Donde K = mx.{ (1+ 2| xo|), (1+ 2| yo|) }.

}(x,y) Bxo,yo) | x xo| + | y yo| <

entonces de (*) y (**) concluimos:

| f(x,y) f(xo,yo)| < K

. Y esto dice f ctinua en Po .

P D R P =(x1, x2,..., xn) y i =1,2,..., m. fi : D R R

Las fciones fi se llaman fciones coordenadas. La fcin f transforma ptos de Rn (que

La representacin grfica de f (R) , es una recta en R2.

La grfica de f () es una circunferencia.

f (D) = {(x,y,z,) R3 | x2 + y2 = 1 , -1 z 1} . La grfica de f (D) es una porcin de

P D R P =(x1, x2,..., xn) y i =1,2,..., m. fi : D R R

f es continua en Po D Rn 0 0 : ( P ( B (Po) D) f(P) B( f(Po)) )

Po D . (Dconjunto de puntos de acumulacin de D)

P f ( P) ( f ( P), f ( P),..., f ( P))

vale la misma definicin y se puede probar que

lm f (P) = L sii i =1,...,m

De las definiciones de lmite y continuidad en un pto, se sigue que si Po es un pto de

Veamos un ejemplo de lmite.

Nos aproximamos ahora al origen a lo largo del eje x.

Ahora vamos a aproximarnos al origen, calculando ylm

f (x, y) ) se llaman lmites

Para cada m los lmites :

f(x,mx) se llaman lmites radiales.