60

DERIVACIN DE FUNCIONES DEFINIDAS IMPLCITAMENTE POR UNA

ECUACIN
Introduccin

En Anlisis I , se trabaj con funciones escalares definidas implcitamente, sin analizar las
condiciones que deben cumplirse para su existencia.:

F(x;y)=0 define implcitamente a y como funcin de x (es decir: y = f(x)) en un entorno de x=a,
si y slo si :x E(a) : F(x;f(x))=0.
Pero no cualquier F(x;y) =0 define una y = f(x).
Por ejemplo : x2 + y 2 = - 1 no define ninguna funcin de A R con A R

Tambin se vio como obtener f (x) sin pasar a la forma explcita de f(x).

Ejemplo: Obtener y (x) si y(x) est definida implcitamente por :x2 y + y2 x - 2x = 0

Primer procedimiento: Usando diferenciales

d(x2 y) + d(y2 x) - d( 2x) = 0 2xy dy + x2 dy + 2yx dy + y2 dx -2x =0

dy 2 2 xy y 2
( x2 + 2 y x ) dy = (-2 xy - y2 +2)dx
dx x 2 2 yx

Segundo procedimiento: Derivando como funcin compuesta

2 2 xy y 2
2.x.y + x y + 2 y.y x + y -2 = 0 y (x + 2 y.x) = - 2 x y - y + 2 y '
2 2 2 2
x 2 2 yx

El problema que nos plantearemos ahora es:

Dada la ecuacin F ( X ) = 0 con X Rn con n 2

a) En qu condiciones esta expresin de n variables define en un cierto conjunto, en forma

implcita, a una de las variables en funcin de las (n-1) restantes?
b) Cmo calcular las derivadas de las funcin definida implcitamente sin necesidad de obtenerla,
es decir a partir de las derivadas de F?

Teorema de Cauchy- Dini para la existencia, continuidad y derivabilidad de la funcin

definida implcitamente por una ecuacin.

Consideremos F ( X ) = 0 con X Rn con n 2, siendo X =( x1;x2;....;xn)
Si se cumple que:

a) X0 ( x10 ; x02 ;; x0n ) Rn / F( X0 ) 0

b) F es continua en un entorno de X 0
F
c) y son continuas en un E(Xo ), las con i { 1,2,..., n}
xi
F
0
x n
d)
X
0
 61
Entonces:

i) Existe un entorno U( X0 ' ) Rn-1 con X0 ' ( x10 ; x02 ;...; x0n1) Rn-1; existe un entorno

V( x 0n ) R y existe una nica funcin : U( X0 ' ) V(x n) tal que:

( X0 ' ) = x n0 y F ( x10 ; x02 ;...; x0n 1; ( X0 ' ))=0 , ( x1;x2;....;xn -1 ) U( X0 ' )

F ' x ( X0 )
xn
ii) es continua y tiene derivadas parciales en X0 ' , siendo i
xi xi F ' x ( X0 )
X ' X '
0 0 n
Supondremos vlida la existencia y la continuidad y slo demostraremos la derivabilidad

Si F es continua con derivadas parciales continuas en un entorno de X 0 , F es diferenciable,
entonces:
F( X ) - F ( X 0 ) = dF( X 0 ) + ( X - X 0 ).|| X - X 0 || con lm ( X - X 0 )=0
XX
0
Como F( X ) = 0 , el primer miembro es 0 .
Resulta:
F' x ( X0 ). x1 F' x ( X0 ). x2 F' x ( X0 ). x n + ( X - X 0 ).|| X - X 0 ||=0
1 2 n

Pero, por hiptesis: F' x ( X0 ) 0 , por lo tanto podemos despejar x n
n

F' x ( X0 ). x1 F' x ( X0 ). x2 F' x ( X0 ). x n 1
n1
( X X0 )
xn = 1 2 - || X - X 0 ||
F' x ( X0 ) F 'x ( X0 )
n n
Al tomar lmite para X X 0., el segundo trmino del segundo miembro tiende a cero.

Como el primer trmino es una transformacin lineal T ( X' ) siendo X = (x1;.....;xn-1)
resulta x n diferenciable .Por lo tanto tiene derivadas parciales, que son los coeficientes de la
transformacin lineal.
xn Fi ( X0 )

x i
Entonces :
X
Fn ( X 0)
o
IMPORTANTE : Si se calcula la derivada segunda de una funcin definida implcitamente , no
hay que olvidar que xn sigue siendo funcin de x i y debe derivarse la derivada primera como
funcin compuesta.

Plano tangente y recta normal para la superficie z = (x;y) definida implcitamente por

F(x;y;z) = k (F(x;y;z) - k =0)

SeaF : A R con A R3 y P0 =(x0;y0;zo) A /
F( P0 )= k,
F es continua
con derivadas parciales continuas en un E( P0)

F z( P0 ) 0
Entonces F(x;y;z) = k define z = (x;y) , para todo (x;y) perteneciente a un entorno de (x0;y0)
62
Es decir: F(x ;y;z) = k es una superficie de nivel de F(x;y;z) a la que pertenece (x0;y0;z0)

Consideremos una curva C sobre la superficie de nivel , que pase por (x0;y0;z0).

C est asociada al conjunto imagen de un funcin vectorial g:[a, b] R3/

g( t ) (g1( t ); g2 ( t ); g3 ( t )) derivable en un punto t0 / g( t 0 ) ( x0 ; y0 ; z0 ) .

Como C est sobre la superficie definida en un entorno de (x0;y0;z0) por F(x;y;z)= k, resulta

( Fo g )(t0) = k ( Fo g )(t0) = 0 F(x 0 ; y 0 ; z 0 ) g' (t 0 ) 0 F( x0 ; y0 ; z0 ) g'( t 0 )

Es decir , el gradiente de un campo escalar de tres variables en un punto P0 es perpendicular a

cualquier curva a la que pertenezca P0 , que est sobre la superficie de nivel que pasa por dicho

punto . Por lo tanto, F( P0 ) es perpendicular a la superficie de nivel de F que pasa por P0 .

Entonces, la ecuacin del plano tangente a la superficie de nivel de F que pasa por P0 es :

F( P0 ).( P P0 ) 0 Fx( P0 ). (x - x 0) + Fy( P0 ). (y - y 0) + Fz( P0 ). (z - z 0)=0

x x0 y y0 z z0

y la recta normal tiene por ecuacin : F '( P ) F '( P ) F '( P )
x 0 y 0 z 0

(si las tres derivadas son distintas de cero)

Se llega a la misma ecuacin del plano tangente si se parte de la ecuacin del mismo para funciones
definidas explcitamente.
En efecto:si z = F(x;y) est definida implcitamente por G(x;y;z) = 0, y Po(x0;y0;z0),se tiene

G ' x ( x0 ; y0 ; z0 ) G ' y ( x0 ; y0 ; z0 )
F' x ( x0 ; y0 ) y F' y ( x0 ; y0 )
G ' z ( x0 ; y0 ; z0 ) G ' z ( x0 ; y0 ; z0 )

Reemplazando en la ecuacin del plano tangente para z=F(x;y) :

F ' x ( x 0 ; y 0 ).( x x 0 ) F ' y ( x 0 ; y 0 ).( y y 0 ) ( z F( x 0 ; y 0 )) 0

G ' x ( x0 ; y0 ; z0 ) G ' y ( x 0 ; y0 ; z0 )
resulta: ( x x0 ) ( y y0 ) ( z z0 ) 0
G ' z ( x 0 ; y 0 ; z0 ) G ' z ( x 0 ; y 0 ; z0 )

G' x (x 0 ; y 0 ; z 0 )(x x 0 ) G' y (x 0 ; y 0 ; z 0 )(y y 0 ) G' z (x 0 ; y 0 ; z 0 ).(z z 0 ) 0

Ec. del plano tangente a una superficie definida implcitamente
 63

En consecuencia, las ecuaciones de la recta normal son:

x x0 y y0 z z0

G ' x ( x0 ; y0 ; z0 ) G ' y ( x 0 ; y 0 ; z0 ) G ' z ( x0 ; y0 ; z0 )
Ecs. de la recta normal a una superficie definida implcitamente,
si las tres derivadas son distintas de 0

Derivada segunda de funciones compuestas

Supongamos que z = F(x;y) con x = x(u;v) Nos interesa obtener zu v

y = y(u;v)
x
u
F
v
y

Resulta que : zu = Fx (x;y) xu (u;v) + Fy (x;y) yu(u;v)

Entonces zu depende de: x, y, u, v.

z' u z' u z' u

x zu v = . x' v y' v
x y v
x,y,uc,ctes
u

zu

Derivada segunda de funciones definidas implcitamente

Supongamos que z = F(x;y) est definida implcitamente por G(x;y;z) = 0, entonces

G' x G' y
z' x y z' y
G' z G' z

Pero tanto zx como zy dependen de x, y , z. Si se plantea calcular zx y, se necesita conocer

primero zx
64

z' x z' x G' y

x zx y = . z' y , con z' y
z y G' z
x,z,ctes
zx z

Para obtener zxx debern tenerse en cuenta las mismas relaciones entre las variables

x
z' x z' x G' x
zx x = . z' x , con z' x
z x G' z
zx z y,z,ctes

Con el mismo criterio puede obtenerse zyy .

Diferenciales sucesivos

Si F: AR con A R2 tiene derivadas parciales continuas hasta el orden n, considerando

h y k constantes, puede obtenerse el diferencial segundo de F.

d F(x;y) = Fx(x;y). h + Fy(x;y). k

[ F' x . h F' y . k ] [ F' x . h F' y . k ]

d2 F(x;y) = d[ dF(x;y) ] = h .k=
x y

2 2 F( x; y) 2 F( x; y)
F( x; y) 2 F( x; y)
= h k . h
. h . k . k =
x 2 y x x y y 2

2 F( x; y)2 2 F( x; y) 2 F( x; y) 2
= . h 2 h. k k ( ya que al pedir derivadas continuas se cumplen las
x2 x y y2
hiptesis del Teorema de Schwarz).

Puede observarse que el segundo miembro tiene la forma del cuadrado de un binomio, entonces se
define un operador.

( 2)
2 F( x; y) 2 2 F( x; y) 2 F( x; y) 2
d F(x;y) =
2
.h . k F( x; y) = . h 2 h. k k
x y x2 x y y2

Si se calcula d[d2 F(x;y)]= d3 F(x;y) , se obtiene:

 65
3 3 3 3
F( x; y) F( x; y) 2 F( x; y) 2 F( x; y) 3
d3 F(x;y) = 3 . h3 3 2 h .k 3 hk .k
x x y x y2 y3

Utilizando un operador similar al anterior , decimos que:

( 3)

d F(x;y) =
3
.h . k F( x; y)
x y

En general:

( n)
n n n
F( x; y) n i i
d F(x;y) =
n
.h . k F( x; y) = n i .h .k
x y i 0 x
i yi
(1)

n n
(1) Recordar que: a b i a ni bi
n

i0
66
FRMULA DE TAYLOR

Para funciones escalares

En Anlisis I, se demostr que si una funcin y = f(x) es derivable hasta el orden (n+1), en un
entorno de un punto a, dicha funcin se puede aproximar, en ese entorno, mediante un
polinomio de grado n, escrito en potencias de (x -a) y se puede acotar el error que se comete
cuando se toma como valor de f(x) con x E(a; ), el valor que toma ese polinomio para la x
considerada

En sntesis, en Anlisis I se prob que si f(x) es derivable hasta el orden (n+1), en un entorno de
un punto a, se cumple que:
f"(a) f (n) (a)
f(x) = f(a) + f (a).(x - a) + (x - a )2 +...+ .(x - a )(n) + Tn 1
2! n!

Tn+ 1 es el Trmino complementario o resto de Taylor.

Tambin se lo indica con Rn o Tc, y permite acotar el error que se comete cuando se toma como
valor de la funcin , el del polinomio.

Existen distintas expresiones para el Trmino complementario. Una de las ms usuales es la de

Lagrange:
f (n+1) (c).(x - a ) n+1
Tn 1 =
(n + 1)!

donde c est entre x y a, es decir x < c < a o bien a < c < x

x c a a c x
Resulta:
n ( n1)
f i (a) i f (c)
f(x) = i! .(x - a)
( n 1)!
.( x a ) n 1 , con c entre x y a
i=0

(Observacin: Se considera que la derivada de orden 0 es la funcin)

Si a = 0, la frmula de Taylor se conoce como frmula de Mac Laurin

n
f (i) (0) i f ( n 1) (c) ( n 1)
f ( x) .x x
i 0 i! ( n 1)! , con c entre 0 y x

Para campos escalares de dos variables:

Consideremos un campo escalar F:A R, con A R2 , diferenciable hasta el orden (n+1) en

un entorno de (a;b) que incluya al rectngulo de vrtice opuestos Po (a;b) y P1(a+h;b+k).
 67
y P1
b+k

b P0
x
a a+h
Interesa encontrar un polinomio de grado n, en potencias de (x-a) e (y -b) , que permita calcular
valores aproximados de la funcin en un entorno de (a;b), por ejemplo en el punto (a+h;b+k).

Llevaremos el problema a una funcin de una variable. Para ello escribimos en forma para-
mtrica la ecuacin de la recta PoP1

y
:
b+k P1

Q
b P0

a a+h x

P0 Q xa yb
Si Q P0 P1 , y Q (x;y) se tiene: t ; de donde: x = a + t h
P0 P1 h k
y=b +tk

Con t = 0 , se obtiene x = a , y = b que son las coordenadas de Po; con t = 1, se obtienen las de P1
, y para cualquier otro punto del segmento PoP1 debe ser: 0 < t < 1.

Con esta parametrizacin, F(x;y) puede escribirse como funcin de "t":

F(x;y) = F(a + th;b + tk) = (t).

Desarrollaremos por Mac Laurin esta funcin de una variable:

"(0) 2 (n) (0) (n)

(t) = (0) + (0).t + t +...+ .t + T n 1 (1)
2! n!

con:
(n+1) (c).t n+1
T n 1 = , con c entre 0 y t.
(n +1)!

Ya sabemos que (0) =F(a;b)

Trataremos de expresar las derivadas de (t) para t=0 , en funcin de las derivadas de F. Para
ello, derivamos F como funcin compuesta.
68

x
F t '(t)= F'x (a+th; b+tk).x'(t) + F'y (a+th; b+tk). y'(t)
y
Como x' (t)= h e y' (t) = k , resulta:

'(t)= F'x(a+th; b+tk).h + F'y(a+th; b+tk). k

Para t = 0 se tiene:

'(0)= F'x(a; b).h + F'y (a; b). k = d F(a;b).

d ' t
Razonando de la misma forma obtenemos: "(t)=
dt

x
t t
y
( F' x h F' y k ) ( F' x h F' y k )
"t h .k
x y

Luego:
"(t)= [ F"xx (a +t h; b + t k).h + F"yx (a+th; b+tk).k].h + [F"xy (a+th; b+tk).h + F"yy (a+th; b+tk).k].k

Por ser F diferenciable hasta el orden (n+1), se cumplen las hiptesis del Teorema de Schwarz,
entonces para t = 0 , resulta

"(0)=F"xx (a;b).h2 + 2 F"xy (a;b).h.k + F"yy (a;b).k2=d 2 F(a;b)

As sucesivamente, puede verse que: (n)(0)= d(n) F(a;b).

Reemplazando en (1)
d 2 F(a; b) 2 d (n) F(a; b) (n)
(t) = F(a; b) + dF(a; b).t + t +...+ .t + Tn
2! n!

( n 1) (c) n 1 d ( n 1) F(a ch; b ck )

con: Tn+1 = t ; con c entre 0 y t
( n 1)! ( n 1)!

Como interesa F(a +h;b+ k) que es (1), hacemos t = 1:

d 2 F(a; b) d (n) F(a; b)

F(a h; b k ) = F(a; b) + dF(a; b) + +...+ + Tn 1
2! n!
 69
d (n+1) F(a; b)
con : Tn = , con c / 0 < c < 1.
(n +1)!

La Frmula de Taylor para campos escalares de dos variables puede escribirse:

n
d (i) F(a; b) d (n+1) F(a + ch; b + ck)
F(a + h; b + k) - F(a; b) = i! +
(n +1)!
, con 0 < c < 1
i=1

Si hacemos x= a + h ; y = b + k , resulta: h = x - a ; k = y - b; al desarrollar los diferenciales, la

Frmula de Taylor permite escribir F(x;y) en potencias de (x-a) e (y- b)

F( x; y) F(a; b) [ Fx ' (a; b).( x a ) Fy ' (a; b).( y b)]

1
2!
F ''xx (a; b).( x a ) 2 2 Fxy
''
n1
'' (a; b).( y b) 2 ...T
(a; b).( x a ).( y b) Fyy

Si (a;b) =(0;0), se obtiene la Frmula de Mac Laurin, en la que h= x - 0 = x; k = y -b = y

n
d (i) F(0;0) d (n+1) F(cx;cy)
F(x; y) - F(0;0) = i! +
(n +1)!
, con 0 < c < 1
i=1

Recordar:

( n) n n F n

d (n)
F(a;b) = dx dy F(a; b) dx n i dy i
x y i 0 x
i ni i
y
( a; b )
70
Extremos de un campo escalar

Consideremos F: AR, con A R2 , siendo A abierto y P0 (x0 ;y0) A

Definicin :

F( P0 ) es un mximo relativo o local de F > 0/ X E[ P0 ,] : F( X )F( P0 )

z
F ( P0 )

Definicin :
F( P0 ) es un mnimo relativo o local de F > 0/ X E[ P0 ,] : F( X ) F( P0 )

F ( P0 )

y
x

Definicin : (x0 ;y0 ; F(x0 ;y0 )) es un punto de ensilladura de

F en A F es diferenciable en P0 y el plano
z tangente atraviesa la superficie representativa de
F.
Es decir:
(x0 ;y0 ; F(x0 ;y0 )) es un punto de ensilladura de
y F en A F es diferenciable
P0
en
> 0 : [ X E[P0 ,] / F(X ) F( P0)
X E[ P0 ,] / F( X ) F( P0 )]
x

El pl. tg atraviesa la superficie

 71
Si llamamos F = F( X ) - F( P0 ), con X perteneciente a un entorno de P0 resulta:

F 0 F( P0 ) mximo relativo (MR)

son extremos relativos o locales
F 0 F( P0 ) mnimo relativo (mr)

Si F es diferenciable en P0 y F cambia de signo en cualquier entorno de P0 , entonces
(x0 ;y0 ; F(x0 ;y0 )) es un punto de ensilladura

Condicin necesaria para la existencia de extremos:

Consideremos F: AR, con A R2 / z = F( x;y) , siendo A abierto , P0 (x0 ;y0) A un punto en el
que existen las derivadas parciales de F .

Si F( P0 ) es un extremo local de F, entonces :Fx ( P0 ) = Fy ( P0 ) = 0

Supongamos que F( P
0 ) es un mnimolocal, es decir, por definicin :
> 0/ X E[ P0 ,] : F( X ) F( P0 )

Cortemos la superficie representativa de F con el plano x = x 0 . La interseccin es una curva sobre

z ( y)
ese plano cuya ecuacin es de la forma
x x0 z
x x 0
El intervalo ( y 0 - , y 0 +) , sobre la recta
z0
(y)
est incluido en E[ P0 ,], luego :

F(x 0 ;y) F( x ;y), y . ( y 0 - , y 0 +) y0 - yo y0+

Es decir:
(y) (y 0), y ( y 0 - , y 0 +) x0 y

E( P0 ,)
Por lo tanto (y 0) es un mnimo relativo de
(y) y debe cumplirse la condicin necesaria x
para la existencia de extremos
en funciones es-
calares: (y0) = F y( P0 ) = 0. z

De la misma forma, si se corta la superficie

con el plano y = y0 , se obtiene una curva
z ( x ) (x)
de ecuacin que presenta
y y0
un mnimo relativo
en (x0) y por lo tanto:
(x0) = Fx ( P0 ) = 0 y0
x0 - y
xo
x0+ E( P0 ,)
x
72
Cuidado!

Las derivadas parciales pueden anularse y no presentarse en ese punto ningn extremo .
(Ej z = x2 - y 2 . En (0;0) no hay extremo, el plano tangente , (que existe pues la funcin es
diferenciable) atraviesa la superficie, F >0 para algunos puntos de un entorno de (0;0) y F >0
, en otros; se trata de un punto de ensilladura) .

Los puntos que cumplen la condicin necesaria se llaman crticos o estacionarios.

Condicin suficiente para la existencia de extremos relativos

Hessiano

Sea F un campo escalar de dos variables con derivadas parciales continuas hasta el segundo orden,
llamamos hessiano de F en P0 al determinante:

F"xx P0 F' xy P0
H( P0 ) F' xx P0 . F"yy P0 F"2xy P0
F'"xy P0 F' yy P0

Teorema

Consideremos F: AR, con A R2 abierto, y un punto P0 A . Si se verifica que:

i)F tiene derivadas parciales hasta el segundo orden continuas en un entorno de P0
ii) Fx ( P0 ) = Fy ( P0 ) = 0
iii) las derivadas segundas de F en P0 no son simultneamente nulas. (Suponemos Fxx( P0 ) 0)

Entonces:

Si H( P0 ) > 0, entonces F( P0 ) es un extremo relativo y : Fxx ( P0 ) < 0 F(a;b) MR

Fxx ( P0 ) > 0 F(a;b) mr.

Si H( P0 ) < 0, entonces (x0 ;yo ; F(x0 ;yo) ) es un punto de ensilladura.

Si H( P0 ) = 0 , no puede obtenerse por este mtodo ninguna conclusin.

Demostracin:

Como una funcin continua conserva su signo en un entorno del punto en que se verifica
la
continuidad, y supusimos
que todas las derivadas segundas
de F son continuas en P0 y por lo tanto
es continuo H e n P0 trabajaremos en un entorno de P0 en el que H y Fxx conserven su signo.

Desarrollamos por Taylor F(x;y) en ese entorno de P0 con Tn+1 de segundo orden.
 73
F(x;y) = F( P0 ) + dF( P0 ) + Tn+1

F(x;y) - F( P0 ) = Fx ( P0 ) . h + Fy ( P0 ) . k + d (2)F(x 0+ ch; y0 + ck) con 0 < c < 1

F
Como las derivadas primeras en P0 se anulan por hiptesis, se tiene:

F= [Fxx (x0 + ch; yo+ck) .h2 + 2. Fxy (x0 + ch; y0+ck) . h k + Fyy (x0 + ch; y0+ck)]
con 0 < c < 1

Para simplificar la notacin no indicaremos el punto en el que se considera cada derivada segunda,
entendiendo que dicho punto es (x0+ch;y0+ck) con 0 < c < 1

Luego: F. = [Fxx .h2 + 2. Fxy h k + Fyy k2 ]

o bien : 2. F. = Fxx .h2 + 2. Fxy h k + Fyy k2

Como se supuso Fxx 0, sacamos Fxx como factor comn entre los dos primeros trminos:
F" x y
2. F. = Fxx .[ h2 + 2. h k ] + Fy y k2
F" x x
F" x y 2
Completamos cuadrados sumando y restando, dentro del corchete + k 2
F" x x
2 F" xy F" x y 2 F" xy 2 2
2. F. = Fxx. h 2 h k k + k - . k + F y y k
2 2 2

F" xx F" x x F" xx

F" xy 2 2
2
F" xy
2. F. = Fxx . h . k + F y y k
2
k -
F" xx xx
F"
Aplicando prop. distributiva se tiene:

2. F. = Fxx . h
F" xy 2 F"xy 2

. k 2 + F y y k2
k -
F" xx F" xx
Sacando comn denominador entre el segundo y el tercer trmino y ordenando, resulta:
F" xy 2 F"x x F"y y F"2x y
2. F. = Fxx . h k + k2
F" xx F"x x

pero Fx x Fy y - F2x y = H(a+ch;b+ck) con 0 <c<1

H
Luego:
F"xy 2 H
2. F. = Fxx . h k + k2
F"xx F" x x
74

Comose trabaja en un entorno de P0 en el que H conserva el signo de H( P0 ) y
Fxx ( P0 ) se tiene que analizar los siguientes casos:

1.- H( P0 ) > 0
F"xy 2
Signo de F. = Signo Fxx ( P0 ) , pues h k 0 y k2 0 pero las bases
F"xx
de los dos cuadrados no pueden ser nulas al mismo tiempo ya que esto significara que no nos
hemos movido de P0 .

1.1.- Si Fxx ( P0 ) > 0 F > 0 F( P0 ) mnimo relativo

1.2.- Si Fxx ( P0 ) < 0 F < 0 F( P0 ) mximo relativo

2.- H( P0 ) < 0

2.1.- Si k = 0, entonces 2 F = Fxx. h2 signo de F. = signo Fxx ( P0 )

F" x y H
2.2.- Si h + k = 0, entonces 2F = k 2 signo de F. signo Fxx ( P0 )
F" x x F"x x

Por lo tanto F cambia de signo en un entorno de P0 luego (x0 ;y0 ;F(x0;y0)) es un punto de
ensilladura.

3.- H=0 , se puede ver con ejemplos que pueden presentarse distintas situaciones
 75

Extremos locales para campos escalares de tres variables

Sea F: A R3R con derivadas parciales continuas en un entorno de P0 siendo P0 A.

Condicin necesaria para la existencia de extremos relativos.

Si F( P0 ) es un extremo relativo o local de F entonces F( Po ) 0

Condicin suficiente

Se definen los siguientes hessianos:

F" xx F" xy F" xz

F" xx F" xy
H1 F" xx , H 2 y H 3 F" yx F" yy F" yz
F" xy F" yy
F" zx F" zy F" zz

Si P0 es un punto que cumple la condicin necesaria para la existencia de extremos relativos y

las derivadas segundas de F no son simultneamente nulas en P0 , entonces si :

a) H1 ( P0 ) 0 H 2 ( P0 ) 0 H 3 ( P0 ) 0 F( P0 ) es mnimo relativo

b) H1 ( P0 ) 0 H 2 ( P0 ) 0 H 3 ( P0 ) 0 F( P0 ) es mximo relativo
76

Mtodo de los multiplicadores de Lagrange

Extremos ligados o condicionados. Introduccin.

Supongamos que se quieren determinar las dimensiones del rectngulo de permetro 24 que
tiene rea mxima.

Esto significa que se desea maximizar la funcin A(x;y) = x.y entre aquelos pares (x;y) que cumplen con
la condicin : x + y = 12.

Si (x;y) = x + y - 12 , se busca maximizar la funcin A entre aquellos pares (x;y) que cumplen con:
(x;y)=0. La condicin (x;y)=0 se llama restriccin del problema.

Llamamos C al conjunto de nivel de , caracterizado por (x;y)=0, para indicar que se estudia A
restringida a aqullos valores de (x;y) que pertenezcan a C, escribimos A|C (se lee : A restringida a C.)

Al fijar un valor de A, estamos determinando una curva de nivel de A(x;y). Trabajar con A|C , significa
trabajar con las intersecciones entre las curvas de nivel de A y C . Entre esos valores, el extremo de A|C
se producir cuando la curva de nivel de A sea tangente a C.

12
En el punto de tangencia, los
vectores normales a ambas curvas de
10
nivel son paralelos.
Como el vector normal a una
8 curva de nivel est dado por su gradiente,
debe ser:
6 A

4 Para encontrar el punto en cuestin,

deben buscarse los puntos que cumplan:
2 A ' x ( x; y) ' x ( x; y)

A ' y ( x; y) ' y ( x; y)
2 4 6 8 10 ( x; y) 0

En este caso, resulta:

y
x y 2 x 12 x 6
x
x y 12 y 6 A 36

El rectngulo de permetro 24 y rea mxima es el cuadrado de lado 6

Mtodo de los multiplicadores de Lagrange.

 77

Sean F(x;y) y (x;y) dos campos escalares de dos variables con derivadas parciales continuas,
tales F(x;y) tiene un extremo relativo F(xo;yo) cuando (x;y) est sujeto a la restriccin (x;y) =
0.
Si (xo;yo) 0 , entonces existe un nmero real k0 tal que: F( x 0 ; y 0 ) k 0( x 0 ; y 0 )

Demostracin:
La representacin grfica de (x;y) = 0 es una curva C en el plano (x,y) que admite una
representacin vectorial

r(t) = x(t)i + y(t)j

para t perteneciente a algn intervalo I.

r (t )es el vector posicin de un punto P de C. Consideremos el punto Po C en el que F alcanza

su extremo y supongamos que se produce para t = to.

P0 x( t 0 ; y( t 0 ) r ( t 0 ) F( P0 ) F r ( t 0 ) Fo r ( t 0 )

Se puede definir una nueva funcin : FC ( t ) Fo r ( t 0 ) F x( t ); y( t ) en la que al variar "t" se

obtienen valores de F correspondientes a puntos de la curva C. Como F(xo;yo) es un extremo de

F bajo esta restriccin, resulta FC(to) un extremo de FC.
Por la condicin necesaria para la existencia de extremos, resulta: FC(to)= 0 (*)

Derivando FC como una funcin compuesta, resulta:

F 'C(t)= F( P) r '( t )

Para t = to es F'C(to)= F( P0 ) r '( t 0 ) 0 ( por *) F( P0 )r '( t 0 )

Esto prueba que F ( Po ) es ortogonal al vector r '(t0 ) que es tangente a C. Es decir, F ( Po )
es perpendicular a la curva de nivel de (x;y) que pasa por (xo;yo)

Adems, por propiedad del vector gradiente, ( P0 ) C por ser la curva de nivel de (x;y) que

pasa por (xo;yo), luego ( P0 ) r '( t 0 ) .Entonces ambos vectores gradiente son
perpendiculares al mismo vector, por lo tanto son paralelos entre s, es decir:

k0 R/ F( Po ) = k0 ( P0 ) (1)

Consecuencia:
De
(1) resulta:
[ F( P0 ) k 0( P0 )] 0 .

Entonces, si hacemos 0= - k 0 y definimos la funcin de Lagrange: L(x;y;}=F(x;y)+(x;y),

resulta
que para los puntos crticos del extremo condicionado existe 0 R/
L( x 0 ; y 0 ; 0 ) 0
El nmero es un multiplicador de Lagrange. (2)
78

Si F sujeta a la restriccin (x;y) = 0 tiene un extremo en (xo;yo), entonces (xo;yo) debe ser
solucin de (2). por lo tanto para encontrar los extremos se deben encontrar los valores de x e y
que para algn valor de verifican tales ecuaciones.

El mtodo puede utilizarse cuando F est sujeta a ms de una restriccin; en este caso la funcin
de Lagrange es: L( x; y; 1; 2 ) F( x; y) 11( x; y) 22 ( x; y)

Condicin suficiente

Para un campo escalar F : A R 2 R , sujeto a la condicin (x;y) = 0.

Sean F(x;y) y (x;y), dos campos escalares continuos con derivadas parciales continuas hasta
el segundo orden .

Sea Po =(x 0 ; y0 ) un punto tal que existe 0 que verifica: F ( x 0 ; y 0 ; 0 ) 0

La funcin de Lagrange es L(x;y; )= F(x;y) +.(x;y).

Se analiza el signo del Hessiano orlado , es decir del determinante:

2 L 2 L
' x
x 2 xy
2 L 2 L
H 0 ( x; y; ) ' y en (x 0; y0 ; 0 ).
xy 2 y
' x ' y 0

Si H(x 0; y0 ; 0 ). >0 , entonces F (x 0; y0) es Mximo local de F sujeta a .

Si H(x 0; y0 ; 0 ).< 0 , entonces F (x 0; y0) es mnimo local de F sujeta a .

Si H(x 0; y0 ; 0 ).=0 , entonces el criterio no sirve.

EJEMPLOS:

1) Obtener los extremos de F(x;y)= x 2 + y , sobre la curva x 2 + y 2 =9

Consideramos:
F(x;y) = x 2 + y ; (x;y) = x 2 + y 2 , la condicin es (x;y ) = 9

Debe ser: F . Fx = . x
Fy = . y
Adems: (x;y ) = 9
 79

De (1): x.(1 ) 0 x 0 1
2 x 2x (1) a ) Si x 0 , en (3) : | y| 3

Resulta: 1 2y ( 2)
Si y 3 , en (2) : 1 6
x 2 y 2 9 ( 3)

Si y 3 , en (2): 1 6

b)Si =1, en (2) resulta y = 1/2. En (3) se tiene | x | = 35 2

Los puntos crticos obtenidos son: (0;3) con = 1/6 ; (0;-3), con = -1/6 ;
( 35 2 ; 1/2) con = 1 y ( - 35 2 ; 1/2) tambin con = 1

La funcin de Lagrange es: L = x 2 y ( x 2 y 2 )

Lx = 2x - 2x , Lxx = 2 - 2 , Lxy = 0

Ly = 1 - 2y , Lyy = -2

2 2 0 2 x
Entonces: H 0 0 2 2 y 8 x2 - 4 y2 (2 -2 )
2x 2y 0

H 0 (0;3;1/6) = - 4/9 .5/3 <0 F(0;3) mnimo relativo condicionado de F

H 0 (0;-3;-1/6) = - 4/9 .7/3 <0 F(0;-3) mnimo relativo condicionado de F
H 0 ( 35 2 ; 1/2; 1) = 70 - 4. 1/4. 0 > 0 F( 35 2 ; 1/2) Mx. rel. condicionado de F

2) Encontrar los puntos de la curva y2 = 4x que estn a la menor distancia posible de (4;0)

Consideremos la funcin distancia: d(x;y) = ( x 4) 2 y 2 .

Optimizaremos F(x;y) = ( x - 4 ) 2 + y 2 .
La condicin es (x;y ) = 0, siendo ( x; y) y 2 4x

Debe ser: F . Fx = . x 2.(x -4) = - 4 (1)
Fy = . y 2y = 2 y (2)
Adems: (x;y ) = 0 y - 4x = 0
2
(3)
De (2): y ( 1- )=0 y = 0 v =1
a) Si y = 0 , en (3) resulta x = 0 , y en ( 1): =2
b) Si =1, en (1) se tiene: x = 2 y en (3) : | y| 2. 2
Los puntos crticos son: (0;0) con =2 , (2 ; 2 2 ) con =1 y (2;- 2 2 ) tambin con
=1.

La funcin de Lagrange es: L = ( x - 4 ) 2 + y 2 - (y 2 - 4x)

Lx = 2(x - 4) + 4 Lxx = 2 ; Lxy = 0 ; Ly = 2 y - 2y Lyy = 2 -2

80

2 0 4
Resulta: H o 0 2 2 2 y 16.(2 2) 8y 2
4 2y 0
H0(0;0;2) = -16.(2-4)= 32 > 0 no hay mnimo
H0(2 ; 2 2 ;1)= H0(2 ;- 2 2 ;1 ) = - 64 <0
F(2 ; 2 2 ) y F(2 ; - 2 2 ) mnimos condicionados elativos.
La distancia mnima es en ambos casos d= (2 4) 2 8 12 2. 3 x 2 + y 2
 81

INTEGRALES DOBLES

I.-Definicin
El acercamiento intuitivo al concepto de integral doble se hace a travs del concepto
de volumen, as como el de integral simple se hace a partir del de rea.

Consideremos un campo escalar F:A R con A R2 / F(x;y) 0, (x;y)A y est

acotado en A, siendo A un rectngulo en el plano xy.
A= { (x;y) R2 / a x b c y d }
Interesa calcular el volumen del slido limitado por el grfico de z = F(x;y), los
planos
z = 0 ; x = a ; x =b; y= c; y= d. El volumen de este slido puede aproximarse sumando los
volmenes de paraleleppedos inscriptos o circunscriptos al mismo.
Como F es continua en A , por el segundo teorema de Weierstrass, adopta un
mximo (M) y un mnimo (m) absolutos en A.
Se cumple que: b a d c m V b a d c M
z

Mij
mij c d y

b
x

Provocamos una particin regular en [a,b] y otra en [c;d].

a = x0 < x1 < x2 <... < xi-1 < xi<... xn = b y
ba d
con x i x i x i 1 yj
n Rij
yj-1
c= y0 < y1< y2 <...< yj-1 < yj <....< yn= d
c
dc
con y j y j y j1
m
a ... x i-1 xi ...b
x
82

Indicamos con Rij al rectngulo de rea Rij= xi. yj

Supongamos F(x;y) continua en A, tambin lo ser en cada uno de los subrectngulos en los
que qued dividido. Por lo tanto alcanza, por el segundo teorema de Weierstrass, un mximo
y un mnimo absoluto que anotaremos Mij y mij respectivamente.

Llamamos suma inferior con respecto a la particin P a la suma de los volmenes

de los paraleleppedos que resultan inscriptos en el slido cuyo volumen buscamos.

m n
SP = mij x i . y j
j=1 i=1

Se cumple:S P V , siendo V el volumen del slido que nos interesa calcular.

Con el mismo criterio, definimos como suma superior con respecto a la particin P
a la suma de los volmenes de los paraleleppedos que resultan circunscriptos al slido cuyo
m n
volumen buscamos. SP = M ij x i . y j
j=1 i=1
Se verifica : S P V
Luego, para una cierta particin P : SP V SP

Si refinamos la particin , es decir tomamos cada vez ms puntos sobre el eje "x" y
cada vez ms sobre el "y", y llamamos P' a la nueva, podemos definir para ella una nueva
suma inferior y una nueva suma superior (S P' y S P' respectivamente) que aproximan mejor
el volumen buscado.
Obtenemos: S P S P' V S P' S P

Repitiendo este proceso se forman dos sucesiones: una de sumas inferiores, creciente
y otra de sumas superiores, decreciente; ambas acotadas superior e inferiormente
respectivamente, por V. La diferencia entre dos trminos correspondientes de ambas
sucesiones es cada vez menor: S P S P S P' S P'

Entonces ambas sucesiones admiten un lmite comn .(Si F( x; y) 0, ( x; y) A ,

este lmite representa el volumen buscado)

Se llama integral doble de F(x;y) sobre el recinto A al lmite de las sumas inferiores o de las
sumas superiores cuando el nmero de puntos de ambas particiones tiende a .

n m n m
A F(x; y)dxdy = lm
n i=1 j=1
mij xi y j = lm
n i=1 j=1
M ij xi y j
m m
 83

Si consideramos en cada subrectngulo de rea x i . y j,un punto arbitrario

Pij i ; j , se tiene que:

mij F( Pij ) Mij,
m n

y por lo tanto: SP F( Pij ) xi . y j SP
j=1 i=1

Esta suma, que se encuentra permanentemente comprendida entre la suma inferior y

la superior de una misma particin, se llama "suma integral" o "suma de Riemann".
Cuando el nmero de puntos tiende a , la sucesin de sumas de Riemann tiende al mismo
lmite que la de sumas inferiores o superiores.

n m
A F(x; y)dxdy = lm F(Pij ) xi y j
n i=1 j=1
m

II.-Condiciones de integrabilidad

Consideremos F definida y acotada en A.

II.1.- F es integrable en A >0, una particin P / S P S P

II.2.- Si F es continua en A, entonces es integrable en A.

II.3.- Si F es continua en A o su conjunto de discontinuidades es de medida nula1, entonces

es integrable

Por comodidad, generalmente se trabaja con funciones continuas, pero no son las
nicas funciones integrables.

III.- Interpretacin geomtrica

Si F(x;y)0,(x;y) A, la suma inferior representa la suma de los volmenes de

priasmas rectos rectngulos inscriptos en el slido limitado por los planos : z = 0, x = a, x =

1
Conjunto de medida nula Un conjunto A incluido en R2 tiene medida nula si y slo si 0, un
conjunto finito de rectngulos que cubren a A, tales que la suma de sus reas es menor que . Un segmento,
una circunferencia, un arco de parbola son ejemplos de conjuntos de medida nula.
84

b, y = c, y = d y la superficie representativa de z = F(x;y); es decir constituye una

aproximacin por defecto del volumen de ese slido.
84
La suma superior, con el mismo criterio, representa una aproximacin por exceso de
dicho volumen.
Tales aproximaciones mejoran a medida que aumenta el nmero de puntos de la parti-
cin, por ello resulta:

n
F( x; y ) dx. dy lm S P lm S P lm F Pij xi . y j V
A n n n i 1
m m m

IV.- Propiedades

IV.1.- Si A1 y A2 son dos rectngulos cuya interseccin tiene medida nula y tales que la unin da
el rectngulo A, entonces si F es integrable sobre A1 y sobre A2 se cumple:

F( x; y). dx. dy F( x; y). dx. dy F( x; y). dx. dy

A1 A2 A

IV.2.- Si F y G son integrables en A, entonces:

[ F( x; y) G( x; y)]dx. dy F( x; y)dx. dy G( x; y). dx. dy

A A A

V.-Clculo de integrales dobles

V.1.- Para recintos rectangulares

Considero z = F(x;y) continua en el rectngulo A = [a,b]x[c,d] tal que z 0, (x;y) A

Supongamos que nos proponemos calcular

el volumen que limita la sup. con los planos
z=0, x=a, x=b, y=c, y=d, utilizando los con-
ceptos de Anlisis Matemtico I.
Consideremos la interseccin del slido con
el plano x = xo siendo a xo b. A(x0)
El rea de la seccin transversal as
determinada puede calcularse con una
integral simple.
d c d
x 0x) o) =F( x0 ;F(
d
A(A( o ; y) dy
y).xdy
c
c
a
x0
b
x
 85
Si provocamos una particin regular en [a,b], y elegimos un punto arbitrario ci en cada
subintervalo, podremos decir que el volumen se puede calcular mediante:
n
V= lm A ( c i ) x i
n i 1
pero por definicin de integral simple, resulta:
b b
V = A(x) dx dx. cd F( x; y). dy
a a
Al mismo resultado puede llegarse determinando las secciones con planos y = cte.
Entonces el volumen es:
d b
V = [ F(x; y) dy] dx
c a

Entonces el volumen es:

d b b d
R F(x; y) dx dy = [ F(x; y) dx]dy = [ F(x; y) dy]dx
c a a c

V.2.- Clculo de Integrales dobles en recintos no rectangulares

V.2.1.-Tipos de recintos no rectangulares

V.2.1.1.-Recintos no rectangulares simples TIPO I

y1 x y y 2 x
Son los que pueden definirse mediante
a x b
y
y2(x)

y1(x)

x
a b y
d
V.2.1.2.--Recintos no rectangulares simples TIPO II
x2(y)
x y x x2 y
Son los que pueden definirse mediante 1 x1(y)
c y d
d
x
86
Los dems recintos con los que trabajaremos pueden descomponerse en uniones de
recintos simples tipo I y/o II.

V.2.2 .-Clculo de integrales dobles definidas en recintos simples no rectangulares.

Consideremos un recinto simple D ,por ejemplo del tipo I. Suponemos F continua en D

excepto, a lo sumo, en un conjunto de medida nula. Interesa calcular F( x ; y ).dx .dy
D
Llamaremos A a un rectngulo que contiene a D

F ( x ; y ) si ( x ; y ) D
Definimos: F*(x;y) = . F es continua en A, salvo a lo largo de un
0 si ( x ; y ) A D
conjunto de medida nula. Luego F es integrable en A
y
d
F ( x; y )dx. dy F *( x; y )dx. dy y2(x)
D A
b y ( x) y1 (x)

1

F * ( x; y). dy y 2 ( x )F * ( x; y). dy +
d
F *( x; y ). dy dx =

a c
y ( x ) y2 ( x )
1 c
0 F(x;y) 0
a b
x

b y (x)
dx 2 F ( x; y ). dy
a y1 ( x )
y
Luego: F( x; y). dx. dy F ( x; y). dx. dy a dx y ( x) F( x; y). dy
* b y 2 ( x) d

D A 1
x1(y) x2(y)
c
Si el recinto D es tipo II, se llega a : F( x; y). dx. dy c dyx
d x 2 ( y)
( y)
F( x; y). dx
D 1
x
V.3.-Cambio de variables en integrales dobles

V.3.1.-Coordenadas polares

En coordenadas polares la posicin de un punto en el plano queda determinado por las

coordenadas: R+o: radio vector y [ 0, 2) (argumento).

x .cos
Las frmulas del pasaje son: y
y .sen
P
o bien x y 2 2

arc tg
y
x

O x
 87
II.2.-Integral doble en coordenadas polares

con D R2 integrable. Interesa calcular D F(x;y) dx dy

Sea F: DR
x .cos
haciendo el cambio de coordenadas
y .sen

Para calcular la integral en coordenadas polares, hay que expresar el recinto y el campo
escalar en esas coordenadas (F(x;y) = F*( ;).) Definiremos integral doble en coordenadas po-
lares.
Provocamos particiones regulares en los intervalos de variacin de y de .
Para valores constantes de , quedan definidas circunferencias concntricas y para valores
constantes de se determinan semirrectas con origen en el centro de coordenadas.
El recinto queda , entonces, dividido en trapecios circulares de rea Aij .

v V 1 1 1
Aij .= rea ODC - rea OAB = 22 12 = ( 22 12 )
2 2 2

1 y
Aij .= ( 1 )( 2 1 ) = m
2 2
D
m

A
C

B
O
x

Para definir la integral doble, hacemos una particin regular en el recinto de integracin
expresado en coordenadas polares. En cada elemento de rea, es decir, en cada uno de los trape-
cios circulares elegimos un punto arbitrario Pij ( i ; j ) y calculamos F*( i ; j ). Por definicin
de integral doble:
n m n m
lm F * ( i ; j ). Aij = lm F * ( i ; j ). mij i . j = D( ; ) F * ( ; ). . d . d
n i 1 j 1 n i 1 j 1
m m

Como las integrales dobles en cartesianas o en polares, deben dar lo mismo, resulta:

D( x; y )
F ( x; y). dx. dy =
D ( ; )
F *( ; ). . d . d

Observacin: Vemos que para resolver una integral doble pasando de coordenadas cartesianas a
polares, debemos expresar el recinto y la funcin en las nuevas coordenadas , reemplazar los dife-
renciales y multiplicar por un factor de conversin que es .

Llamaremos jacobiano de la transformacin al determinante de la matriz jacobiana de las

viejas variables en funcin de las otras. En el caso del pasaje a coordendas parciales, la matriz
jacobiana (o la matriz derivada) es:

x , y cos .sen
y su determinante es:
, sen cos
88
cos sen
J= .cos2 .sen 2 (cos2 sen 2 )
sen cos
1

El resultado del jacobiano es justamente el factor de conversin. (Si hubisemos cambiado

el orden de las filas o las columnas de la matriz derivada, hubiese cambiado el signo del determi-
nante. Sin embargo, el factor de conversin est relacionado con un rea, por lo tanto siempre se
toma el mdulo del jacobiano.

Para hacer un cambio de coordenadas cualquiera, por ejemplo :

x = x (u;v)
y = y (u;v) se procede de manera similar: se expresa el recinto y el campo escalar en funcin de
las nuevas variables, se reemplazan los diferenciales y se multiplica por un factor de conversin
que es el mdulo del jacobiano de la transformacin.

D( x; y )
F ( x; y). dx. dy = D( u;v ) F *( x(u; v); y(u; v)). J du. dv

siendo
x' u y' u
J Det .
x' v y' v

V.3.3.- Cambio de variables en integrales dobles

TEOREMA

Consideremos dos regiones simples del plano D y D* y una transformacin C1

inyectiva T :D*D / T (D*)=D definida por T (u;v)= (x (u;v);y (u;v))

Entonces , si F:DR es integrable en D, resulta:

( x ,y )
F( x ; y ) dx .dy F x( u ;v ); y ( u ;v ) . ( u ,v ) .d u .d v
D D*
Observaciones:

( x ,y )
1.- es el mdulo del determinante de la matriz jacobiana.
( u ,v )
( x ,y )
2.- Pedir que T (D*)=D es equivalente a pedir que 0, ( u ,v ) D *
( u ,v )
88
INTEGRALES TRIPLES

Consideremos un campo escalar F: AR con A R3 / A = [a,b]x[c,d]x[e,f].

Supongamos que F est acotada en A . Definiremos integral triple utilizando un proce-
dimiento similar al que usamos para definir integrales dobles.

Provocamos particiones regulares en [a,b], [c,d] y [e,f]. El dominio A queda dividido en

porciones elementales de volumen Vijk = xi yj zk , donde
ba d c f e
xi = ; yj = ; zk = .
n m l

En cada uno de esos prismas elementales, elegimos un punto arbitrario Pijk (i; j ; k )
y calculamos el valor de F en l. Se define:

n m l
A F( x; y; z) dx dy dz lm F( i ; j ; k ) x i y j z k
n i 1 j 1k 1
m
l

zk
e
xi
yj
c d

Se puede probar que si F es continuo en A, o tiene discontinuidades sobre un conjunto

de medida nula, entonces es integrable en A.
 89
Al igual que en integrales dobles, el clculo se reduce a tres integrales simples su-
cesivas o iteradas:
f d b

e c aF ( x; y; z) dx dy dz
Cambiando el orden de integracin se pueden definir 6 integrales, pero todas iguales
entre s e iguales a la integral triple.
f d b

A F ( x; y; z) dx dy dz e c aF ( x; y; z) dx dy dz
Tambin completando la analoga con integrales dobles, puede extenderse la definicin
a recintos que NO sean prismas rectos rectngulos.

Sea V un recinto cualquiera incluido en R3 y sea A un prisma recto rectngulo que lo

contenga. Siguiendo un razonamiento similar al que hicimos con integrales dobles, pue-
de verse que:
V F ( x; y; z) dx dy dz A F * ( x; y; z) dx dy dz
F ( x; y; z) si ( x; y; z) V
siendo F * ( x; y; z)
0 si ( x; y; z) A V

Clasificaremos los recintos V en distintos tipos:

Tipo I : a x b z z 2 (x;y)
y1 (x) y y2 (x)
z1 (x;y) z z2 (x;y)
z 1 (x;y)
o bien: c y d a y
x1 (y) x x2 (y) y1 (x)
z1 (x;y) z z2 (x;y) b y2(x)
x

Tipo II : a x b o bien: e z f
z1 (x) z z2 (x) x1 (z) x z2 (z)
y1 (x;z) y y2 (x;z) y1 (x;z) y y2 (x;z)

z
z1(x)
y2(x;z)

y1(x;z)

z2(x)

x a y
b
90
Tipo III: c y d z o bien: ezf
z1 (y) z z2 (y) f y1 (z) y1 (z) y y2 (z)
x1 (y;z) x x2 (y;z) x1 (y;z) x x2 (y;z)
y2(z)

x2(y;z)

e x1(y;z)

y
x

Por ejemplo, para un recinto como el del ltimo dibujo es:

F ( x; y; z) dx dy dz dz dy x ( y;z ) F ( x; y; z) dx
f y2 ( z ) x2 ( y ; z )

V e y (z)
1 1

II.-Cambio de variables en integrales triples

z
II.1Coordenadas clndricas: z ( x; y ;z )
P
( Son equivalentes a las polares del plano) ( ; ; z )
Las frmulas del pasaje son:
x = cos
y = sen y
z=z
x
El jacobiano de la transformacin es:

cos sen 0
x, y, z
sen cos 0 cos2 sen 2 (cos2 sen 2 )
, , z
0 0 1
1

Geomtricamente puede justificarse considerando el volumen de un slido elemental

producido por particiones en coordenadas cilndricas. z
= cte superficies cilndricas de directriz circular y eje z
= cte semiplanos de borde z
z = cte planos paralelos al plano (x,y) z

Vi = rea de Di . z
Vi = . . . z
y

(pues el rea de Di es el rea de un
trapecio circular en coordenadas polares)
x
 91
Con un razonamiento similar al que se hizo con integrales dobles, resulta:

Vxyz F(x;y;z)dx dy dz = V z F*(; ; z) d d dz

Coordenadas esfricas:

Un punto P de R3 puede quedar ubicado tambin por sus coordenadas esfricas, que son :
el radio vector r R+ 0 (es la distancia entre el centro de coordenadas y zel punto P); el
ngulo , que forma el semieje positivo de las z con el radio vector ( [0, ]); y el
ngulo que forma el semieje positivo de las x con la proyeccin de r sobre el plano xy,
( [0,2) ).

Las frmulas del pasaje son: x = r sen cos z

y = r sen sen
z = r cos (x;y;z)
P
(r; ; )
Resulta:x2 + y 2 + z2 = r2 [ sen2 ( cos2 + sen2 ) + cos 2) = r2 r
1
1 y

y
El jacobiano de la transformacin es:
x

sen cos r cos cos r sen sen x

x, y, z
sen sen r cos sen r sen cos =
r , ,
cos r sen 0

= r2sen3 sen2 + r2 cos2 sen cos2 + r 2 cos2 sen cos2 + r2 sen3 cos2
=
= r2 sen3 (sen2 + cos2 ) + r2 cos2 sen (sen2 + cos2 ) =
1 1
=r sen . (sen + cos ) = r sen
2 2 2 2

Luego : Vxyz F(x;y;z)dx dy dz = Vr F*(r; ; ) r2 sen dr d d

92
92
La frmula puede interpretarse geomtricamente, tomando un elemento de volumen en
coordenadas esfricas. Para ello debemos tener en cuenta que :
r = cte sup. esfrica z
= cte sup. cnica de eje z y vrtice en (0;0;0).
= cte semiplano de borde z
AC = r
B
AB = r sen
(es un arco que est en la curva interseccin A
r
de una superficie esfrica con una sup. cnica).
(Recordar: long.arco = r. ng. en rad.) C

D
AD = r
y
V = long. AC . long. AB . long AD

V = r sen.r.r..
V = r2. sen.r. ..

APLICACIONES FSICAS DE LAS INTEGRALES DOBLES Y TRIPLES

Clculo de la masa.

a) Consideremos una lmina D de espesor despreciable, cuya densidad en un punto P
est dada por una funcin continua ( x; y) .
Efectuamos una particin regular de D en
y rectngulos de rea x i . y j . En cada uno de
x i D ellos, elegimos un punto arbitrario ( i ; j ) y
j y j calculamos la densidad en l.
La masa del rectngulo es aproximadamente:
Mij= ( i ; j ) x i . y j .
i x

La masa total de la lmina , puede calcularse mediante

n m
lm ( i ; j ).x i .y j (x; y).dx.dy (por definicin de integral doble)
( n; m) (; ) i 1j 1 D
b) z
Con una razonamiento similar, si se x i y jz k
desea calcular la masa de un slido x

V, cuya densidad en cada punto es k

un funcin continua (x; y; z) , se
llega a:
M= ( x; y; z).dx.dy.dz j
i y
V
x y
 93
Momentos estticos de primer orden
Dado un punto material de masa m y un eje que se encuentra a una distancia d, se define
como momnto esttico de primer orden al producto de la masa por la distancia del
punto a eje.
Razonando como en el caso anterior, se llega a:

a)Para la lmina D:
mi
di Mx = y.(x; y)dx.dy ; My = x.(x; y)dx.dy
D D

b) Para un slido V: Mxy = z.( x; y; z)dx.dy.dz

V

Myz = x.(x; y; z)dx.dy.dz ; Mxz = z.(x; y; z)dx.dy.dz

V V

Coordenadas del centro de masa o centro de gravedad o baricentro

Para un sistema de puntos materiales , el centro de masa es el punto en el que debe

pensarse concentrada la masa para que se conserven los momentos estticos de primer
orden.
a)Para una lmina , las coordenadas del baricentro (G) deben cumplir:

x.( x; y)dx.dy y.( x; y)dx.dy

XG. M= My X G D ; YG. M= Mx YG D
( x; y).dx.dy ( x; y).dx.dy
D D

b) Para un slido V, resulta:

V x.( x; y; z)dx.dy.dz y.( x; y; z)dx.dy.dz

XG ; YG V ;
V ( x; y; z)dx.dy.dz V ( x; y; z)dx.dy.dz
z.( x; y; z)dx.dy.dz
ZG V
V ( x; y; z)dx.dy.dz
Momento de Inercia

Para una punto material, el momento de inercia respecto de un eje es: I= m.d2
Entonces, para una lmina es:
Ix= y 2 .( x; y)dx.dy ; Iy= x 2 .( x; y)dx.dy
D D
Para un slido:
94
Ix= ( y 2 z 2 ).( x; y; z)dx.dy.dz ; Iy= ( x 2 z 2 ).( x; y; z)dx.dy.dz ;
V V
Iz= ( x 2 y 2 ).( x; y; z)dx.dy.dz
V
94
INTEGRALES CURVILNEAS (O DE LNEA)

Longitud de un arco de curva

Curva rectificable

Recordamos que una curva es el conjunto imagen de una funcin vectorial continua.
La funcin es la trayectoria. Si la funcin es inyectiva, la curva es simple.

Consideremos f : [a,b] Rm con m >1/ f ( t ) f1 ( t ); f2 ( t );; f m ( t ) continua e inyectiva. Una
particin regular en [a,b] mediante a = t0 <t1 <....<tm=b, introduce una particin en la curva C , aso-
ciada a f . Si se consideran los puntos determinados sobre sobre C , la longitud de la poligonal ins-
cripta que queda formada es
n
SP = | Pi 1Pi |
i 1
Llamamos curva rectificable a aqulla en la que el conjunto de los SP est acotado superiormente.

Llamamos longitud de arco al supremo de ese conjunto

Longitud de un arco de curva

Sea f : [a,b] R3 / f (t)=(x(t);y(t);z(t)) con derivadas continuas

| Pi 1Pi |= x 2 y 2 z 2 = x'2 (i ) y'2 (i ) z'2 (i ) t

Pi-1
z
T.del V. Medio en una variable ( ti-1 <i < ti ,
ti-1 <i < ti
Pi ti-1 <i < ti)

y
La longitud del arco es:
x n
s = lm . x ' 2 ( i ) y' 2 (i ) z' 2 ( i ) t
n 1

Si la funcin tiene sus derivadas continuas en [a,b], resulta:

Notacin: s : arco
b
s= x' 2 ( t ) y' 2 ( t ) z' 2 ( t ). dt
ds: diferencial arco
a

Luego, s(t)= x' 2 ( t ) y' 2 ( t ) z' 2 ( t ) || f '( t )|| y ds = x' 2 ( t ) y' 2 ( t ) z' 2 ( t ) .dt

Reparametrizacin de una trayectoria

 95

Consideramos una trayectoria f :[a1,b1]R3 y una funcin escalar biyectiva h C1 /
h:[a,b] [a1 ,b1 ] .

Llamamos reparametrizacin de f a la composicin g f h: [a,b] R3

OBSERVACIN: Se desprende de la definicin que la reparametrizacin convierte extremos en

extremos, es decir h(a)= a1 y h(b) = b1 o bien: h(a)= b1 y h(b) = a1.
En el primer caso la reparametrizacin preserva la orientacin
mientras que en el segundo la cam-
bia. Esto significa que una partcula que describe f puede hacerlo o no en la misma direccin que
otra que describa g .
En el grfico se muestra una reparametrizacin que preserva la orientacin
y
b1
h
a b
a1
h h

x a1 b1
a b

Y en este otro una que invierte la orientacin:

y
b1 a b

h
h h
a1
x
a1 b1
a b

Si C
es la imagen de f ([a1 ;b 1 ]) y h preserva la orientacin, entonces (
f 0 h) (t) ir desde f
(a1) has-
f (b1) mientras t va desde a hasta b; y si h invierte la orientacin , ( f 0 h) (t) ir desde f (b1) hasta
ta
f (a1) mientras t va desde a hasta b
z

f (b1)
C

y

f (h(t))

f (a1) h(t) b1
x a1
a t

Propiedad b
96
La longitud de un arco de curva es independiente de la parametrizacin.-
b
Considero la curva C imagen de f :[ a,b ] R ; la longitud de arco est dada por: s= f ' ( t ) dt
3

a
Supongamos que se reparametriza la trayectoria mediante h:[a1 , b1][a,b] biyectiva y, por lo tanto,
estrictamente creciente o estrictamente decreciente .

Consideremos h(a1)= a y h(b1)=b (1).

Interesa calcular la longitud de C respecto de g f h:[ a1 ; b1 ] R ,

De acuerdo con (1), es: g (a1) = f (a) y g( b1 ) = f (b) , entonces:
b1

s = g ' ( u ) du , pero: g '(u) f '(t ) h'(u) , por lo tanto: g '( u) f '( t ) |h(u) |

a1

b1 b

Resulta : s = f ' ( t ) h' ( u) du = f ' ( t ) dt pues por (1) dt > 0
a1 a
dt

Si g (a1) = f ( b) y g ( b1 ) = f (a), dt < 0 y queda:

b1 a b

s= f ' ( t ) h' ( u) du = f ' ( t ) dt f ' ( t ) dt
a1 b a
Entonces, la longitud no depende de la parametrizacin.

Integral curvilnea de un campo escalar

Definicin

Consideremos un campo escalar F:AR con A R3 continuo y una curva C A , C1 a trozos, (es
decir, continua con derivada continua en [a,b], excepto, a lo sumo, en un nmero finito de puntos)

imagen de r :[ a,b ] R 3 / r ( t ) x( t ); y ( t ; z( t ) .

Se llama integral curvilnea de F a lo largo de C a :

b

C F ( x ; y ; z ) ds F [ x( t ); y ( t ); z( t )] r ' ( t ) dt
a

Nota:
Se puede llegar a la definicin y clculo de la integral, construyendo las sumas de Riemann. Para ello,
provocamos una particin regular en [a,b] , que induce una particin en la curva C en arcos de longitud
si y formamos:
n n
F x( i ); y ( i ); z( i ) si F x( i ); y( i ); z( i ) r '( i ) t i , ti-1 < i < ti
i 1 i 1
 97

ver deduccin long. arco de curva

n
Entonces: C F x; y; z ds lm F x( i ); y( i ); z( i )
r '( i ) t i
n i 1

Propiedades

1.- Si F(x;y;z) = 1 , C ds s (longitud del arco)

2.- Linealidad respecto del integrando:

C F x ; y ; z G x ; y ; zds C F x ; y ; zds C G x ; y ; zds

3.- Aditividad respecto de los arcos:

C C F x ; y ; zds C F x ; y ; zds + C F x ; y ; zds

1 2 1 2

Interpretacin geomtrica

Si F:AR con A R2 es tal que F(x;y) 0 y C es una curva plana , la integral curvilnea mide el
rea lateral de una superficie (una especie de pared)que tiene por curva directriz a C y por altura a
F(x;y) .

F(x;y)
z

Integral curvilnea de un campo vectorial

98

Introduccin:

Si F es , por ejemplo , un campo elctrico y r la expresin de la trayectoria de una partcula, a ve-
ces interesa calcular
el trabajo que realiza el campo sobre la partcula mientras sta describe la tra-
yectoria dada por r .

Sabemos que si el desplazamiento d es rectilneo y el campo es constante, el trabajo es : F.d .

Si la trayectoria es curva, podemos considerarla formada por una sucesin de desplazamientos rec-
tos infinitesimales. z

r

r ' (t )
r ( t t )
t t+t r

b
r (t )
a

Si t vara en un intervalo pequeo de t a t +t , la partcula se mueve de r ( t ) a r (t t ) , es decir :

r = r ( t t ) r ( t ) , por el T. del valor medio, se puede aproximar por r ' ( t ) t .

En tonces el trabajo realizado para ir de r ( t ) a r ( t t ) es aproximadamente:

F r (t ) r '(t ). t .

Si provocamos una particin regular en [a,b], el trabajo realizado por F puede calcularse
n b
lm Fx (t i ); y(t i ); z(t i ) r ' (t i ) t i Fx (t ); y(t ); z(t ) r ' ( t ) dt

como :
n i 1 a

Definicin

Sea F: A R 3 con A R 3 un campo escalar continuo y sea C A ,la curva asociada a

r :[ a,b ] R 3 / r C1 a trozos r (t ) x(t ); y(t ); z(t ) . Llamamos integral curvilnea
b
de F a lo largo de C a: C F dr F x t ; y t ; z t r ' t dt
a
Notacin: Cuando la integral; se calcula sobre
una curva cerrada se suele indicar as:
C F dr
Clculo
 99

F x t ; y t ; z t r '(t ) dt F[x(t ); y(t ); z(t )] ( x'(t ); y '(t ); z '(t )). dt
b
C F dr F1 x( t; y( t ); z(t ) x '( t ) F2 x(t ); y( t ); z( t ). y'(t ) F3 x(t ); y( t ); z(t ). z' (t ) dt
a

Observacin: Finalmente se calcula la integral curvilnea de un campo escalar.

Propiedad.

Si g r h:[ a1 ; b1 ] R 3 es la reparametrizacin de r :[ a,b ] R 3 correspondiente a

h:[a1; ,b1 ] [a,b] , se cumple que: F dr F dg segn la reparametrizacin conserve o no

r g
la orientacin.

Integral curvilnea de un campo de gradientes

(Independencia de la trayectoria de una integral curvilnea)

Teorema:

Consideremos F : A R con A R3 / F C1 y una curva C C1 a trozos, dada por

r :[ a,b ] R 3 .

Entonces, si F es continuo, resulta: F dr F r b F r a
C
Demostracin:
b

F dr F r ' (t ) dt (1)
C a

Definimos G = Fo r , entonces F r '(t ) G '(t ) .

Reemplazando en (1) se tiene :

b

F. dr = G ' ( t ) dt G(b)- G(a)= F[ r ( b)]-F[ r ( a ) ]

C
a

Entonces: F dr F r b F r a
C

Si la curva es cerrada, la integral curvilnea de un campo de gradientes que cumpla las hiptesis
mencionadas es cero.