Clculo Infinitesimal II

Autor: Sergio N. Cangiani

ndice Temtico
Tema 1: Conjuntos Puntuales
Tema 2: Limites Dobles e Iterados y Continuidad
Tema 3: Derivabilidad y Diferenciabilidad
Tema 4: Funciones Compuestas
Tema 5: Teorema del Valor Medio para n variables
Tema 6: Funciones Implcitas
Tema 7: Extremos de Funciones de Varias Variables
Tema 8: Integrales Dobles y Mltiples
Tema 9: Integrales Curvilneas
Tema 10: Ecuaciones Diferenciales

FACULTAD DE CIENCIAS EXACTAS Y NATURALES Y AGRIMENSURA
CATEDRA : CALCULO DIFERENCIAL E INTEGRAL II

TEMA-1 (Ultima modificacin 9/9/2003)
ESPACIO DE N DIMENSIONES
Un espacio es de n dimensiones, cuando para determinar cada uno de sus puntos
hacen falta los valores de n parmetros llamados Coordenadas del Punto y que se
representan por X
1
, X
2
, ..... X
n

ESPACIO AFIN
Espacio AFIN de n dimensiones es el espacio entre cuyos puntos y los conjuntos
de n nmeros reales cualesquiera X
1
, X
2
, ..... X
n
llamados coordenadas del punto,
se puede establecer una correspondencia biunvoca.

ESPACIO METRICO
Es un Espacio AFIN en el cual se introduce la manera de medir la distancia
entre dos puntos cualesquiera del mismo.

ESPACIO EUCLIDIANO
Un Espacio es EUCLIDIANO y de dimensin n cuando :
1.- Es AFIN de dimensin n
2.- La distancia entre dos puntos cualesquiera del mismo est definida por :


n = i
1 = i
2
i i
2
) X - (X' = d


Llamando d (A,B) a la distancia entre los puntos A y B del E
2
se verifica que :
1) d (A,B) = 0 A = B
2) d (A,B) = d (B,A)
3) d (A,C) + d (C,B) d (A,B)
El espacio Euclidiano de n dimensiones se simboliza con E
n


CONJUNTOS PUNTUALES EN E
2
a
A
r
b
Disco abierto de centro A(a,b) y radio "r"

Es el conjunto de puntos del E
2
tal que :

S = {P(x,y) / (x-a)
2
+ (y-b)
2
< r
2
}

o sea la d (P,A) < r

En el caso que sea menor o igual a r se tiene el disco cerrado

1

Intervalo rectangular abierto

Es el conjunto de puntos P(x,y) perteneciente al E
2
tal que

S = {P(x,y)/ a < x < b ^ c < y < d }

En el caso de menor o igual se tiene el intervalo rectangular cerrado
c
Y
d
X a b
Entorno circular
Entorno circular del punto A(a,b) y radio r es el disco abierto de radio r y centro
A(a,b) es decir es el conjunto de puntos del E
2
/ S = { P(x,y) / (x-a)
2
+ (y-b)
2
< r
2

}

o sea la d(P,A) < r . Se simboliza con N (A,r)
Entorno circular reducido
Entorno circular reducido del punto A(a,b) y radio r es el disco abierto de radio r
y centro A(a,b) excluyendo el punto A(a,b), es decir es el conjunto de puntos del
E
2
tal que : S = { P(x,y) / 0 < (x-a)
2
+ (y-b)
2
< r
2
}

o sea la 0 < d(P,A) < r
Se simboliza con N' (A,r)
Entorno rectangular
Entorno rectangular del punto A(a,b) y semiamplitud "d" es el conjunto de
puntos P(x,y) del E
2
tales que verifiquen :
| x - a | < d
| y - b | < d
Entorno rectangular reducido
Es el mismo que el anterior pero excluyendo el punto A(a,b) es decir es el
conjunto de puntos P(x,y) del E
2
tales que
0 < | x - a | < d
0 < | y - b | < d

CLASIFICACION DE PUNTOS
Punto aislado
Un punto de un conjunto se llama aislado cuando hay algn entorno suyo que no
contiene otros puntos del conjunto que el mismo.
Por ejemplo si llamamos Z al conjunto de los nmeros enteros, el conjunto
definido por : S = { P(x,y) / x Z ^ y Z } est formado solamente por puntos
aislados
Punto de acumulacin
Un punto pertenezca o no a un conjunto S, se llama punto de acumulacin de S,
cuando en todo entorno reducido suyo hay puntos del conjunto S.
Si definimos a S = { P(x,y) / (x)
2
+ (y)
2
< 1 }

2
Todos los puntos de S son de acumulacin y los de la circunferencia
(x)
2
+ (y)
2
= 1 tambin, ya que si bien no pertenecen a S en todo entorno suyo hay
puntos que pertenecen a S
Punto interior
Un punto perteneciente a un conjunto S se llama "punto interior" de S cuando
hay por lo menos un entorno suyo, cuyos puntos todos pertenecen a S.
Interior de un conjunto
Es el conjunto formado por todos los puntos interiores del conjunto
Punto exterior
Un punto no perteneciente a un conjunto S se llama "punto exterior" de S cuando
hay por lo menos un entorno suyo, cuyos puntos ninguno pertenecen a S
Exterior de un conjunto
Es el conjunto formado por todos los puntos exteriores del conjunto
Punto frontera
Un punto pertenezca o no a un conjunto S, se llama frontera de S si no es
exterior ni interior a S, es decir, en todo entorno suyo, hay puntos que
pertenecen a S y puntos que no pertenecen a S.
Si definimos a S = { P(x,y) / (x)
2
+ (y)
2
< 1 }
Los puntos de la circunferencia (x)
2
+ (y)
2
= 1 son puntos frontera de S ya que en
todo entorno suyo hay puntos que pertenecen a S y puntos que no pertenecen a S.
Frontera de un conjunto
Es el conjunto formado por todos los puntos fronteras del conjunto
Contorno de un conjunto
Es el conjunto de los puntos no exteriores que son puntos de acumulacin de
puntos exteriores
Si definimos a S = { P(x,y) / (x)
2
+ (y)
2
< 1 ^ y # 0 }
La frontera es la circunferencia (x)
2
+ (y)
2
= 1 con y = 0 mientras que el contorno
es solamente (x)
2
+ (y)
2
= 1
Arco de curva simple de Jordan
Una curva es una funcin de un solo parmetro
x = x (t)
y = y (t) (relaciones paramtricas de una curva)
Los puntos de la curva se obtienen dando valores al parmetro t
y
x
x=x(t)
y=y(t)
t b a
En este caso, definimos que a < t < b

Se llama Arco de Curva Simple de Jordan si :

1) x = x(t) e y = y(t) son funciones continuas del parmetro t
2) La curva debe ser abierta, los extremos no pueden coincidir, por lo que los
puntos extremos [x(a),y(a)] y [x(b),y(b)] no son iguales.

3
3) Existe una correspondencia biunvoca entre los puntos de la curva y los
puntos del intervalo a < t < b del parmetro t

Intuitivamente, lo que se pretende es que sea una curva continua (1ra.condicin), abierta (2da.
condicin) y que no tenga puntos mltiples (3ra condicin). Es decir que no se presenten las
siguientes condiciones.

Primera condicin Segunda condicin Tercera condicin










CONEXION DE CONJUNTOS
Conjunto conexo
Un conjunto S se llama conexo cuando dos puntos cualesquiera del mismo se
pueden unir por un arco de curva simple de Jordan cuyos puntos todos pertenecen
al conjunto S.




Conjunto simplemente conexo

Un conjunto S es simplemente conexo cuando para toda curva simple cerrada de
Jordan perteneciente a S la regin interior pertenece a S.

Es evidente que para que un conjunto sea simplemente conexo, debe ser conexo,
pero no todo conjunto conexo es simplemente conexo

Ejemplo :

Sea S = { P(x,y) / r
2
< (x-a)
2
+ (y-b)
2
< R
2
}
S
S
x x
x (a)=x (b)
y (a)=y (b)
punto
mltiple
y y
Arco de
curva
y
discontinuidad
x



Este conjunto es conexo, puesto que dos puntos cualesquiera de ellos se puede unir por un arco
de curva simple de Jordan cuyos puntos todos pertenecen a S pero no es simplemente conexo

4
pues si se traza una curva cerrada de Jordan de un radio intermedio entre r y R la regin
interior a la curva cerrada no est totalmente incluida en S.
Este conjunto es doblemente conexo
En general el orden de conexin de un conjunto conexo lo determina el nmero de curvas que
forman su contorno.

FUNCIONES DE VARIAS VARIABLES
Funciones de dos variables independientes
Se dice que una variable z es funcin de las variables x e y cuando a cada par
ordenado de valores (x,y) le corresponde uno y solo un valor determinado de la
variable z
Se simboliza z = f (x,y)
Dominio de la funcin
Es el conjunto de pares de valores que pueden tomar las variables x e y para los
cuales la funcin z = f(x,y) est definida
Rango de la funcin
Es el conjunto de los valores de z que son imgenes de los pares ordenados
(x,y) perteneciente al dominio de la funcin.
Funciones de varias variables independientes
Se dice que la variable " y " es funcin de las variables x1, x2, ..... xn cuando a
cada n-upla ordenada (x1, x2, ..... xn) de valores de las n variables independientes
le corresponde uno y solo un valor determinado de " y " se simboliza :
y = f (x1, x2, ..... xn)
Curvas de nivel
Se define como curva de nivel de una superficie z = f (x,y) a la proyeccin sobre
el plano "xy" de la curva que resulta de interceptar la superficie z = f(x,y) con un
plano z = constante de ecuacin z = k paralelo al plano "xy"
Superficie de nivel
Dada una funcin U=f(x,y,z) se denomina superficie de nivel a las que se
obtienen haciendo f(x,y,z) = k siendo k un valor constante y representndolas
en el espacio (xyz)

5
1
CALCULO DIFERENCIAL E INTEGRAL II
TEMA 2
Limites
Antes de deIinir el concepto de limites para Iunciones de dos o mas variables,
recordaremos el concepto de limites para Iunciones de una variable independiente.
Definicin : Dada una Iuncion y I (x) que este deIinida en un entorno del punto
x o, esta Iuncion tiende al limite L cuando x tiende a o , si para cada numero
positivo c por pequeo que este sea, es posible hallar otro numero positivo o tal que
para todo los valores de x diIerentes de o que satisIacen la desigualdad :
o o - x
se veriIica la desigualdad
I(x) - L c
es decir :
lim I(x) L ( )
x
- .
o
c o o c
de tal Iorma :
I(x) - L x - c o o
y
Esto nos indica que al trazar dos rectas
paralelas al eje x que pasen por los puntos
Lc y L-c se encontraran todos los puntos de
la curva cuyos valores de x veriIican que
x - o o
Lc
L
L-c
o-o o oo x
Limite de funciones de dos variables independientes - Limite Doble
Dada una Iuncion de dos variables independientes z I(x,y) con dominio de
deIinicion S y rango T , esta Iuncion tiene limite L en el punto P (o, |) si para cada
numero positivo c arbitrario y tan pequeo como se quiera se puede hallar otro
numero positivo o o sea o=o(c) que veriIique que todos los puntos del entorno
yI(x)
2
rectangular reducido del punto P (o,|) tienen valores de la Iuncion cuya diIerencia
con el valor limite L en valor absoluto sea menor que el valor c elegido
arbitrariamente.
Esta deIinicion nos expresa :

o |
o o

o c
c o o . c - =
|
o
- y 0
- x 0
) (P, N' de y) (x, L - y) I(x,
/ ) ( L y) I(x, lim
y
x
Este limite se deIine como DOBLE o SIMULTANEO dado que se tiende al punto
P (o, |) segun entornos reducidos rectangulares.
Tambien se puede considerar el entorno reducido circular siguiente :
0
2 2
2
(x - ) (y - ) o | o
+
Si hicieramos pasar planos paralelos al plano (x,y) por los puntos Lc y L-c todos los
puntos de la superIicie z I (x,y) que aparecen sombreados en la Iigura, estarian
contenidos entre los planos z Lc y z L-c
zI(o,|)
o-o
oo
o
|-o
|o |
L
L-c
Lc
P(o, |)
zI(x,y)
3
LIMITES ITERADOS O SUCESIVOS
Estos limites no deben interpretarse como limites dobles (en donde las variables
tendian simultaneamente), sino como su nombre lo indica, limites que se suceden o se
iteran.
Los limites iterados son los siguientes.
> @ (y) L lim y) I(x, lim lim y) I(x, lim lim
y x y x y | o | o |
(x) L lim y) I(x, lim lim y) I(x, lim lim
x y x y x o | o | o (

Estos limites presuponen la existencia de las Iunciones L (y)

> @
l i m I( x, y)
x o
y
L (x)
lim I(x, y)
y

(
|
en un cierto entorno reducido del punto P (o,|)
Es decir que primero nos
acercamos hacia el valor xo
y la Iuncion zI(x,y) se
acerca o se transIorma en la
Iuncion zI(o,y) L(y).
En el otro caso nos
acercamos hacia y | y la
Iuncion zI(x,y) se acerca o
se transIorma en la Iuncion
zI(x,|) L(x).
Por lo tanto dada la Iuncion
zI(x,y) se pueden deIinir
tres limites, el limite doble, y
los dos limites iterados.
oo
Ejemplos
Dada la Iuncion z I (x, y ) (x . y) / (x y) hallar los tres limites en el punto P de
coordenadas (1,2)
Limite doble
P(o|)
zf(x,y)
o-o
o
|o |
|+o
L(y)
L(x)
4
l i m
x
y

1
2
x . y
x y

1 . 2
1 2

2
3
Limites iterados
lim
y 2
lim
x. y
x y
lim
1. y
1 y

2
3
x 1 y 2
lim
x 1 1
lim
x. y
x y
lim
x.2
x 2

2
3
y 2 x
En este ejemplo los tres limites son iguales. Veamos otro ejemplo :
z I (x, y) ( x y ) / ( x-y) en el punto P (0,0)
Limite doble
l i m
x
y

/ -
0
0
x y
x - y

0 0
0 - 0

0
0
( El limite doble no existe)
Limites iterados
lim
y

(
0
lim
x y
x - y
lim
0 y
0 - y
lim
y
-y
- 1
x 0 y 0 y 0
lim
x

(
0
lim
x y
x - y
lim
x 0
x - 0
lim
x
x
1
y 0 x 0 x 0
En este ejemplo vemos que no existe el limite doble y existen los iterados y son
diIerentes. Lo que se realizo Iue calcular el limite de z I(x , y) para x tendiendo a o y
considerando a la variable y como una constante. Se obtiene asi una Iuncion de y que
la deIinimos L(y) , luego se calcula el limite de L(y) para y tendiendo a |.
En el segundo caso se invierte el orden de las operaciones.
En el ultimo ejemplo vemos que la existencia de los limites iterados de una Iuncion no
implica la igualdad de los mismos.
Se puede asegurar que si los limites iterados son distintos, el limite doble no existe.
5
RELACION ENTRE LOS LIMITES DOBLE E ITERADOS
TEOREMA
Veremos a continuacion el teorema que relaciona la existencia del limite doble con los
iterados.
Si
x
y
lim
I (x, y) L lim
x
I (x, y) L (y) y a 0 y - -

. -

e
o
|
o
| o
entonces se veriIica que :
L L(y)
lim
y |
ademas si
lim I (x, y) L (x) x a 0 x - - e
y |
o o
entonces se veriIica que :
x
lim
o
L(x) L
y por lo tanto los tres limites son iguales.
Demostracin :
Por hipotesis teniamos lo siguiente :
Existe el limite doble :
lim
I (x, y) L -

x
y
o
|
y tambien :
o | e -
o
- y 0 y (y) L y) (x, I lim
x
por lo tanto por la deIinicion de limite debe veriIicarse que :
o o
c
- x 0 x / (y) L - ) y x, ( I
1
y por la existencia del limite doble debe veriIicarse que :
y) (x, L - y) I(x, e c
0 x -
0 y -
o o
| o

Podemos escribir tambien que

6
L(y) - L L(y) I (x,y) I (x,y) L y en valor absoluto sera :
| L(y) - L | | L (y) - I(x,y) | | I(x,y) - L | c1 c c
luego | L(y) - L | c' por deIinicion, nos indica que
y
l i m
|
L ( y ) L
y por ser L(y)
lim I (x, y)
x o
sera
L y) I(x, lim lim
x y o |
De igual manera se demuestra la segunda parte del enunciado.
Este teorema nos asegura que si existe el limite doble y los iterados en un punto todos
ellos son iguales.
Puede ocurrir que existan y sean iguales los limites iterados y no exista el limite doble
y Iinalmente que no exista ninguno de ellos.
GENERALIZACION AL R
n
Sea y I (x
1
, x
2,
x
3............
x
n
) ) x ( I = una Iuncion con dominio
s
n
R
e
y rango T
R
e
1
y sea a ( a1, a2, ........, an) un punto de acumulacion
de S y x (x
1
, x
2,
x
3............
x
n
) un punto generico del
n
R
S e
, se tiene :
lim I ( x ) L

para todo entorno N (L , c ) - N ' ( a , o ) tal que

a x
x c N ' ( a , o ) se veriIica que I ( x ) c N (L , c )
CONTINUIDAD
Dada la Iuncion z I (x,y) con dominio de deIinicion S c R
2
y un punto A (o,|) se
dice que la Iuncion z I (x,y) es continua en el punto A (o,|) si se cumple la
siguiente igualdad :
lim
x
y

o
|
o | I (x, y) I ( , )
(1)
Si se considera x o Ax e y | Ay la ecuacion (1) se puede
escribir :
7
lim
x
y
A
A
A A

0
0
I ( x, y) I ( , ) o | o |
o sea que pasando al primer miembro I (o, |) tendremos :
0 ) , ( I - y) x, ( I lim
0 y
0 x
(
(

| o A | A o
A
A
Lo encerrado entre corchetes, representa el valor de Az luego
0 z lim ) , I( - y) x, ( I lim
0 y
0 x
0 y
0 x
= A | o A | A o
A
A
A
A
Esto nos indica que una Iuncion de dos variables es continua en un punto, cuando su
incremento se puede hacer tan pequeo como se quiera con tal de hacer tan pequeos
como se quiera los incrementos de las variables independientes.
GENERALIZACION
Sea y I (x1,x2,........,xn) I ( x ) una Iuncion con dominio S c R
n
y rango T c R
1
,
sea a (a1,a2,............an) y x (x1,x2,........,xn) un punto generico de S entonces la
Iuncion y I ( x ) es continua en a x = si se veriIica que :
) a I( Lim
a x
=

Definicin :
La Iuncion y I ( x ) es continua en un recinto n - dimensional , si lo es en todos los
puntos del mismo.
INFINITESIMOS
Una Iuncion z (x,y) es inIinitesima para (x,y) (a,b) si se veriIica que
lim (x,y) 0
x a
y b
Sean (x , y) y u (x ,y) dos inIinitesimos en (x , y) (a , b) luego :
8
Si
l i m
x a
y b

=
( x , y )
( x , y )

u
o
Se dice que (x,y) y u (x,y) son inIinitesimos del mismo orden.
Cuando o 1 se los denomina inIinitesimos equivalentes.
Si es
l i m
x a
y b

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

u
(x,y) es un inIinitesimo de orden superior a u (x,y) en el punto (a,b) Si es
lim
x a
y b

=
(x, y)
(x, y)

u
, (x , y) es un inIinitesimo de orden inIerior a u (x , y) en
el punto (a , b)
Como inIinitesimo de comparacion se emplea la siguiente expresion :
y x
2 2
A A
+ = luego se puede comparar (x , y) con y decir
que (x , y) es un inIinitesimo de orden p si se veriIica que :
l i m
x a
y b
p

= =
( x , y )
0

Para generalizar a Iunciones de n variables tendremos :

) a ( ) x ( para ma inIinitesi es ) x ( luego 0 ) x ( lim
a x

Se toma como inIinitesimo de comparacion a

A
=

n
1 i
2
i x

CALCULO DIFERENCIAL E INTEGRAL II

TEMA 3 (ltima actualizacin 8/9/2003)

DERIVABILIDAD

Recordemos el concepto de derivadas para funciones de una variable independiente y = f (x).
Para lo cual formamos el incremento de la funcin y = f (x +x ) - f (x )
El cociente incremental ser : y = f (x +x ) - f (x )
x x


x=
x=+x

y
x
Figura 1


y en el limite

x x 0
l i m

l i m

=
0
y
x x
f( + x ) - f( )


Si este lmite existe, es por definicin, la derivada de y con respecto a x en el punto x =
Grficamente, la derivada de y = f (x) en el punto x = representa la pendiente de la tangente
geomtrica a la curva y = f( x) en el punto correspondiente a x = , en la figura 1 es la tg ().
Si en lugar de un punto fijo x = se toma un punto genrico x, la derivada de y = f (x) es a su vez
una funcin de x.

dy = d f(x) = f ' (x)
dx dx

Veamos ahora el concepto de derivada para funciones de varias variables.
Comencemos con funciones de dos variables z = f(x ,y) funcin de las variables x e y
Consideremos un punto fijo (a , b) perteneciente al dominio de la funcin.
Formaremos los incrementos de z respecto de x e y

x
z = f ( a +x ,b) - f (a ,b)

y
z = f ( a ,b +y) - f (a ,b)


El primero es el incremento parcial que tiene la funcin cuando se incrementa la variable x, mientras
que la variable y permanece constante en y=b

1
El segundo es el incremento parcial que tiene la funcin cuando se incrementa la variable y, mientras
que la variable x permanece constante en x = a. Consideramos los cocientes incrementales.


x
) b , a f( - b) x, + a f(

x
z x

y y
z y

b) f(a, - y) + b f(a,



Considerando el limite de estos cocientes incrementales cuando los incrementos de las variables x e y
tienden a cero tendremos :

x x 0
l i m

l i m

=
0

f ( + x , b ) - f ( ) x z
x
a a
x
, b

y y 0
l i m

l i m

=
0

f ( a , b + y ) - f ( a , b ) y z
y y


Si estos limites existen, se llaman derivadas parciales de la funcin con respecto a x y con respecto a y
en el punto (a , b). Se representan de la siguiente manera :

x x 0
lim lim

=
=
= = =
0

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

y y 0
l i m

l i m

=
=
= = =
0

f ( a , b + y ) - f ( a , ) f ( a , b )
y
f ( a , b ) =
f ( a , b )
y
y
y z
y
b
y
x a
y b

.

que son nmeros, ya que (a , b) es un punto fijo. Si se considera un punto genrico (x ,y) tendremos :

y) (x, Z y) (x, f
x
y) f(x,
x
) y , x f( - y) x, + x f(

lim
x
z

lim
x x
0 x 0 x
x
= =

y) (x, Z = y) (x, f
y
y) f(x,
y
) y f(x, - y) + y f(x,

lim
y
z

lim
y y
0 y 0 y
y
=

Que son nuevas funciones de (x , y)
No debe interpretarse los smbolos

f(x, y)
x
y

f(x, y)
y
como cocientes pues son smbolos que
representan los limites indicados.

En definitiva para calcular la derivada parcial de z = f (x,y) con respecto a x se considera a y como
una constante y se deriva como funcin de x solamente.
Para calcular la derivada parcial de z = f (x,y) con respecto a y se considera a x como una constante y
se deriva como funcin de y solamente.

INTERPRETACION GEOMTRICA
2


La ecuacin z = f (x , y) tiene como representacin grfica una superficie en el espacio x y z





Al mantener y = yo constante, mientras que x varia, la ecuacin z = f(x, yo) es la ecuacin de la curva
Ro que resulta de la interseccin de la superficie z = f (x, y) y el plano y = yo
Por lo tanto la derivada parcial de la funcin respecto de x nos representa la pendiente de la tangente a
la curva en el punto (x, yo ). Por ejemplo cuando x = xo la tangente de es igual a Z
x
( xo ,yo)

Para otro valor constante de y y = y1 obtenemos otra curva R1 cuya ecuacin es z=f(x, y1) que se
obtiene como interseccin de la superficie z = f(x, y) con el plano y = y1.
Es decir al variar y se obtienen las distintas curvas que son paralelas al plano z x .

La interpretacin geomtrica de la derivada parcial con respecto a y, es la misma que en el caso
anterior, donde las curvas que se obtienen son las intersecciones de la superficie z = f (x , y) con los
puntos x = Cte.

As por ejemplo, la curva correspondiente a x = xo es z = f (xo, y) y la derivada de la funcin
3

f(x , y)
y
o
nos da el valor de la pendiente de la recta tangente geomtrica a la curva z = f (xo, y)
en un punto de la misma.

DERIVADAS PARCIALES PARA FUNCIONES DE N VARIABLES.

Sea y = f (x
1
; x
2
; x
3
;......x
n
) una aplicacin R
n
R
1
y sea hj el incremento de la
variable xj.
Formemos el incremento de la funcin cuando la variable xj se incrementa en hj:

j
y = f (x
1
; x
2
; x
3
; . . . xj + hj; . . . x
n
) - f (x
1
; x
2
; . . . x
n
)

El cociente incremental ser:

j
j j n n
y
x j
y
h j
f x x x h x f x x x
h j
= =
+ ( ; ; . . . ; . . . ) ( ; ; . . . ) 1 2 1 2

Considerando el lmite para hj 0 ser:

lim
hj
=
+
= =
0 0
1 2 1 2

j
hj
j j n n
y
hj
lim
f x x x h x f x x x
hj
y
xj
f x
xj
( ; ; . . . ; . . . ) ( ; ; . . . ) ( )

r


Habr n derivadas parciales primeras, correspondientes a los n valores que puede tomar j.

DEFINICION: Una funcin es derivable cuando existen las derivadas parciales con respecto a cada
una de las variables independientes.

RELACION ENTRE LA DERIVABILIDAD Y LA CONTINUIDAD

Demostraremos un teorema que relaciona la continuidad de una funcin con su derivabilidad. Para
demostrarlo, es conveniente recordar el teorema del valor medio o de Lagrange o del incremento
finito, para funciones de una variable.


Si la funcin y = f(x) es continua en el intervalo
[a, b] y con derivada nica (finita o infinita) en
todo punto de (a , b), hay por lo menos un punto
interior , /
f b f a
b a
f
( ) ( )
( )

=
(Lagrange)


f(a)
f ( )
f(b)
b

a


o sea: y = x . f () y llamando x = h ser b - a = h ; b = a + h de donde :
4

f a h f a
h
f a h
( ) ( )
(
+
= + )
con 0 < < 1 ya que est comprendido entre a y b.

TEOREMA
Si la funcin es derivable en un recinto S y adems las derivadas parciales
primeras son acotadas en S, entonces es continua en S.
) x ( f y
r
= ) x (
f xi
r
) x ( f y
r
=
Aclaracin : Una funcin es acotada en un recinto S, cuando es posible hallar un nmero
M no nulo y finito, tal que el valor absoluto de la funcin se mantenga en ese recinto, siempre menor
que M, o sea
) x ( f y
r
=
S ) x ) x ( f <
r r
( ; M


DEMOSTRACION

Demostraremos el teorema para funciones de dos variables independientes, dado que su generalizacin
es inmediata.
El incremento total de la funcin cuando x e y se incrementan en h y k, respectivamente es:
Sumamos y restamos f(x + h , y) luego:
f x y f x h y k f x y ( , ) ( ; ) ( ; ) = + +
) y ; x ( f ) y ; h x ( f ) y ; h x ( f ) k y ; h x ( f f + + + + + =
(2)
El primer paso es considerar que:

f x h y k f x h y k f x h y k
y
( ; ) ( ; ) . ( ; + + + = + +. )
en donde 0 < < 1 y
f x h y f x y h f x h y
x
( ; ) ( ; ) . ( ; ) + = + con 0 < < 1

Reemplazando estas ecuaciones en (2) se tiene :
f k f
y
(x h, y k) hf (x h; y) {
0 1
0 1
con
x
= + + + +
< <
< <

'
'

o sea, considerando valor absoluto:

f k f x h y k h f x h y
y x
+ + + + ( ; ) ( ; ) luego, como y son acotadas
ser:
x
f
y
f
1 y
M ) k y ; h x ( f < + +
y
2 x
M ) y ; h x ( f < +
en consecuencia,
f k h < + M M
1 2
o sea que
0 f
cuando
{
0 h
0 k

con lo que se demuestra que Z = f (x , y) es continua, ya que su incremento tiende a cero cuando los
incrementos de las variables independientes tienden a cero.

De este teorema se desprende que no basta con que una funcin f(x , y) sea derivable en un recinto,
para garantizar su continuidad, sino que adems es necesario que las derivadas parciales sean acotadas
en dicho recinto.

5


DERIVADAS PARCIALES DE ORDEN SUPERIOR

Consideramos una funcin Z=f(x;y) de la cual hemos definido las derivadas parciales de primer orden.

) y ; x ( Z ) y ; x ( f
h
) y ; x ( f ) y ; h x ( f
x
) y ; x ( f
x x
0 h
lim
= =
+
=

) y ; x ( Z ) y ; x ( f
k
) y ; x ( f ) k y ; x ( f
lim
y
) y ; x ( f
y y
0 h
= =
+
=

que son en general nuevas funciones de x , y.
Si estas funciones admiten a su vez derivadas, las nuevas funciones as definidas se llaman
DERIVADAS SEGUNDAS de f(x , y); las derivadas de las derivadas segundas se llaman derivadas
terceras de f(x , y) ;etc. Dada la funcin Z = f(x , y) tenemos cuatro derivadas parciales segundas:

2
x
xx xx 2
2
Z Z ) y ; x ( f
x
f
x x
) y ; x ( f
= = =
|
.
|

\
|

xy xy
2
Z ) y ; x ( f
x
f
y y x
) y ; x ( f
= =
|
.
|

\
|

yx yx
2
Z ) y ; x ( f
y
) y ; x ( f
x x y
) y ; x ( f
= =

2 y yy
2
2
2
Z ) y ; x ( f
y y
) y , x ( f
y
) y ; x ( f
= =

Habr ocho derivadas terceras, correspondientes a la derivacin con respecto a x e y de las cuatro
derivadas segundas:
3
3 3
2
3
2
3 3
2
3
2
3
3
3
y
f
;
x y x
f
;
x y
f
;
x y
f
;
x y x
f
;
y x
f
;
y x
f
;
x
f

En general para una funcin Z = f(x , y) de dos variables independientes hay 2
r
derivadas de orden
r, pero como veremos que bajo ciertas condiciones pueden haber algunas que son iguales entre s,
podemos afirmar que en general el nmero de derivadas de orden rdistintas, es menor que el citado.
Existe un teorema que determina las condiciones bajo las cuales ;
nicamente enunciaremos el mismo:
) y ; x ( f ) y ; x ( f
yx xy
=

TEOREMA DE SCHWARTZ
Si existen en un entorno del punto (x;y) y si es continua en dicho
entorno, entonces existe y es igual a
) y ; x ( f ) y ; x ( f
xy y

x ( f
yx
) y ; x ( f
xy
) y ;
) y ; x ( f
xy
COROLARIO DE BONET Si
f
son continuas en un entorno del punto (x
,y) entonces .Estas hiptesis incluyen a las de Schwartz, es decir son una
consecuencia de ellas.
) y ; x ( f ) y ; x (
yx xy

) y ; x ( f ) y ; x ( f
yx xy
=
6
DIFERENCIABILIDAD

Recordemos el concepto de diferenciablidad para funciones de una variable independiente; y = f(x).

Definicin: la funcin y = f(x) es diferenciable en un punto x si est definida en un entorno del punto
x y su incremento y = f(x +x)-f(x) se puede expresar de la siguiente manera:
y =A.x + .x = A.x +
o
(x) donde .x =
o
(x) es un infinitsimo de orden superior a x, es
decir que 0 cuando x 0 implica .x =
o
(x).
Se llama diferencial de la funcin a la parte lineal en x o sea dy=A.x.
A depende de x pero no de x. Veamos que representa A:
de y =A.x + .x = (A + ) x o sea que =

+ A
x
y
en el lmite para x0 ser:
0 A lim A lim ) A ( lim
x
y
lim
0 x 0 x 0 x 0 x
+ = + = + =

ya que A no depende de x

y 0 cuando x 0 o sea
dx
dy
y f A
x
y
lim
) x (
0 x
= = = =

o sea
x . f dy
) x (
=


Grficamente vemos que dy = tg.x pero la tg
representa la derivada de la funcin y = f(x)
en el punto x, luego dy =f (x) x. Si y = x
dy =d (x) = 1.x es decir: dx = x.





x
y
dy

Consideremos una funcin de dos variables Z=f (x;y).
Definicin:
Una funcin z = f(x ,y) es diferenciable en un punto (x , y), si est definida en un
entorno del punto (x , y) y su incremento total se
puede expresar como
f x y f x x y y f x y ( , ) ( ; ) ( ; ) = + +
y . x .
2 1
+ y . B x . A f + + =
(1) donde 1 2
0
cuando x0 y 0 respectivamente.

Siendo d f (x y) = A.x + B.y Determinemos ahora cuanto valen A y B.
Como x y son independientes, podemos hacer y = 0, con lo cual obtenemos el
incremento parcial de la funcin respecto de x.
x ) A ( x x A xf
1 1
+ = + =
de donde
A lim
1
0 x
=

+ A lim
x
xf
lim A
x
xf
0 x 0 x
1
=

+ =

7
) y ; x ( Z ) y ; x ( f
x
) y ; x ( f
A
x
xf
lim
x x
0 x
= =

= =

Hacemos ahora x = 0 con lo cual obtenemos el incremento parcial de la funcin
cuando se incrementa la variable y, es decir:

y ) B ( y y B yf
2 2
+ = + =

B lim B lim
2
0 y 0 y
= +

y
yf
lim B
y
yf
0 y
2
=

+ =

o sea:
) y ; x ( Z ) y ; x ( f
y
) y ; x ( f
B
y y
= =

=
reemplazando los valores en (1) tendremos:
y x y .
y
) y ; x ( f
x .
x
) y ; x ( f
f
2 1
+ +

=


y .
y
) y ; x ( f
x .
x
) y ; x ( f
) y , x ( df

=
(2)

En particular cuando Z = f(x;y) = x dz = dx =1.x y cuando Z= f(x;y)=y dz=dy=1.y o sea:

dy ). y ; x ( f dx ). y ; x ( f dy . Z dx . Z dy .
y
) y ; x ( f
dx .
x
) y ; x ( f
) y , x ( df
y x y x
+ = + =

=
(3)

Las expresiones (2) y (3) reciben el nombre de Expresin analtica de la diferencial.
Es muy importante observar que z =f(x , y) depende de las variables x e y mientras que
su diferencial depende de cuatro: x; y; d x; d y
dy . f dx . f df
y x
+ =
Por lo tanto para calcular la diferencial de una funcin en un punto, no solo es necesario
dar las coordenadas del punto (x , y), sino tambin el valor de los incrementos x=dx
y=dy. Consideremos ahora una funcin de tres variables independientes u=f(x;y;z).

Definicin:

Se dice que u=f(x;y;z) es diferenciable en un punto P(x;y;z) si est definida en un
entorno del punto citado y su incremento total f=u=f(x+x;y+y;z+z)-f(x;y;z) se
puede expresar:

z . y . x . z . C y . B x . A ) z , y , x ( f
3 2 1
+ + + + + =


donde A, B y C dependen del punto (x, y, z) pero no de x; y y z y
1
;
2
;
3
0
con x; y, z 0 respectivamente.
8
Se llama diferencial total de la funcin a
z . C y . B x . A du df + + = =
Se demuestra que
z
) ; z ; y ; x ( f
C ;
y
) z ; y ; x ( f
B ;
x
) z ; y ; x ( f
A

= o sea:
dz .
z
) ; z ; y ; x ( f
dy .
y
) z ; y ; x ( f
dx .
x
) z ; y ; x ( f
) z , y , x ( df

=


Diferencial de una funcin de n variables.

Si y=f (x
1
;x
2
;...x
n
) es diferenciable en un punto; si est definida en un entorno del punto
y su incremento total se puede expresar:
n n 1 1 n n 2 2 1 1
x . ... x . x . A ... x . A x . A y + + + + + + =

en donde la diferencial de la funcin ser:
n n 2 2 1 1
x . A ... x . A x . A dy + + + =
con Ai dependiendo de las coordenadas del
punto pero no de los x
i
y los
i
0 con x
i
0 respectivamente.

i
n 2 1
i
x
) x ;...; x ; x ( f
A

=
luego :
i
n
1 i
i
dx .
x
) x ( f
dy

=

=
r


Relacin entre la difrerenciabilidad, derivabilidad y continuidad.
Demostraremos dos teoremas que relacionan la continuidad, derivabilidad y
diferenciabilidad de una funcin en un punto. Haremos la demostracin para una
funcin de dos variables independientes.
Teorema 1
Si una funcin z =f(x;y) es diferenciable en un punto (x,y) entonces es continua y
derivable en ese punto.
Demostracin:
Por ser diferenciable la funcin; su incremento total se puede expresar:
y . x . y . B x . A f
2 1
+ + + =
(4) siendo
y
) y ; x ( f
B
x
) y ; x ( f
A

=

Por lo tanto al existir las derivadas parciales primeras la funcin es derivable con lo que
se demuestra la primera parte del teorema.
En (4) vemos que si x0 y0 f0 o sea que z=f(x;y) es continua en (x;y) ya
que su incremento f0 cuando tienden a cero los incrementos de las variables
independientes. Con esto queda demostrado este teorema.
El recproco de este teorema no es cierto, es decir que no basta que una funcin sea
continua y derivable en un punto, para garantizar que sea diferenciable.
A continuacin demostraremos un teorema que expresa las condiciones necesarias y
suficientes para que una funcin sea diferenciable.
9
Teorema 2
Si una funcin z = f(x;y) es continua y derivable y tiene sus derivadas parciales
continuas en un entorno del punto P (x;y), entonces es diferenciable en dicho punto.
Demostracin:
El incremento total de la funcin es: ) y ; x ( f ) y y ; x x ( f ) y , x ( f + + =
Si sumamos y restamos al segundo miembro f(x +x ;y) ser:
) y ; x ( f ) y ; x x ( f ) y ; x x ( f ) y y ; x x ( f f + + + + + =
Aplicando Lagrange
) y ; x . x ( f . x ) y . y ; x x ( f . y f
x y
+ + + + =
(5) donde:

0 1
0 1
< <
< <

Pero por hiptesis son continuas en x ;y por lo tanto se puede escribir:

x y
f f
2 y y
) y ; x ( f ) y . y ; x x ( f + = + +
con
2
0 si y0
1 x x
) y ; x ( f ) y ; x . x ( f + = +
con
1
0 si x0 reemplazando en (5) ser:
+ + + = y ]. ) y ; x ( f [ x ]. ) y ; x ( f [ f
2 y 1 x

y . x . y ). y ; x ( f x ). y ; x ( f f
2 1 y x
+ + + =
pero esto ltimo nos indica que
la funcin z =f(x , y) es diferenciable en P(x ,y) con lo cual queda demostrado el
teorema.

Convencin:
Llamaremos:
C
0
al conjunto de funciones continuas.
C
1
al conjunto de funciones cuyas derivadas primeras existen y son continuas.
C
2
al conjunto de funciones cuyas derivadas segundas existen y son continuas.

C
r
al conjunto de funciones cuyas derivadas de orden r existen y son continuas.

Diferenciales Sucesivas

Consideremos el caso de funciones de dos variables :
dy ). y ; x ( f dx ). y ; x ( f df
y x
+ =
en la cual d f depende de x; y; dx; d y .
Si damos valores fijos a dx y dy la diferencial depender nicamente de x e y, y
considerada como una funcin de estas dos variables, podr tener a su vez una
diferencial que llamaremos diferencial segunda, la que indicamos por
] df [ d f d
2
=
Podemos extender estos conceptos a funciones de 2 variables, para el caso de
diferenciales de orden n, lo que indicaremos por:
] f d [ d f d ]...... f d [ d f d )]; df ( d [ d ] f d [ d f d
1 n n 3 4 2 3
= = = =

Si f existir la diferencial segunda (teorema 2).
2
C ) y ; x (
Por haber supuestos fijos ser:
dy y dx x = =
10

2
] dy ). y ; x ( f [ d ] dx ). y ; x ( f [ d
] dy ). y ; x ( f dx ). y ; x ( f [ d )] y , x ( df [ d ) y , x ( f d
y x
y x
2
+ =
= + = =


y por se dx = cte y dy = cte ser:

dy . dy ). y ; x ( f dy . dx ). y ; x ( f dx . dy ). y ; x ( f dx . dx ). y ; x ( f
dy )]}. y ; x ( f [ d { dx )]}. y ; x ( f [ d { ) y , x ( f d
yy yx xy xx
y x
2
+ + + =
= + =

d f x y f dx f dx dy f dy
xx xy yy
2 2
2 ( , ) . . . . = + +

Llamaremos operador diferenciacin a la expresin
dy .
y
dx .
x
d

=

Podemos calcular su cuadrado en forma simblica:
2
2
2 2
2
2
2
2 2
dy .
y
dy . dx .
y x
2 dx .
x
) dy .
y
dx .
x
( d

=

Aplicando el operador diferenciacin a una funcin f(x;y) obtenemos:
dy .
y
) y ; x ( f
dx .
x
) y ; x ( f
) y ; x ( f ). dy .
y
dx .
x
( ) y , x ( df

=

La diferencial primera se obtiene aplicando el operador diferenciacin a la funcin
f(x;y).
Aplicando ahora el operador al cuadrado, obtendremos la diferencial segunda:
2
2
2 2
2
2
2
2 2
dy .
y
dy . dx .
y x
2 dx .
x
) y ; x ( f . ) dy .
y
dx .
x
( ) y , x ( f d

=

Si existir la diferencial tercera; y de la misma forma anterior se ver que
se obtiene aplicando el operador diferenciacin elevado al cubo:
f x y C ( ; )
3
d f
3
3
3
3
2
2
3
2
2
3
3
3
3
3 3
dy .
y
dy . dx .
y x
3 dy . dx .
y x
3 dx .
x
) y ; x ( f . ) dy .
y
dx .
x
( ) y , x ( f d

=

En general si ser:
k
C ) y ; x ( f
) y ; x ( f . ) dy .
y
dx .
x
( f d
k k

=


Para Funciones de Tres Variables.

11

Sea la
) z ; y ; x ( f u = dz .
z
f
dy .
y
f
dx .
x
f
du

= el operador diferenciacin ser:

dz .
z
dy .
y

+ dx .
x
d

=
Suponiendo ser:
k
C u
) z ; y ; x ( f . ) dz .
z
dy .
y
dx .
x
( u d
k k

=

Para n variables ser: y=f(x
1
;x
2
;.....;x
n
)
d
x
dx
x
dx
x
dx
x
dx
n
n
i
i
i
n
= + + + =
=

( . . . . . . . ) .

1
1
2
2
1


Si f(x
1
;x
2
;.....;x
n
) C
k
ser:

=
n
1 i
n 2 1
k
i
i
k
) x ;...; x ; x ( f . ] dx .
x
[ ) x ( f d


DERIVADA DIRECCIONAL

Consideremos en primer trmino el caso de una funcin Z=f(x;y) de dos variables
independientes.
Hemos definido las derivadas de f(x;y) en un punto (x
0
;y
0
) cuando el punto (x;y) tiende
a (x
0
;y
0
) paralelamente al eje x.

x
) y ; x ( f ) y ; x x ( f
lim
x
) y ; x ( f
0 0 0 0
0 x
0 0

+
=

y cuando el punto (x;y) tiende al (x
0
;y
0
) paralelamente al eje y:

y
) y ; x ( f ) y y ; x ( f
lim
y
) y ; x ( f
0 0 0
0 y
0 0

+
=

Ahora vamos a definir la derivada de z = f(x;y) en una direccin cualquiera ,
determinada por sus cosenos directores; cos
1
; cos
2
.
Si z = f(x;y) es diferenciable en el punto (x
0
;y
0
); considerando un incremento en la
direccin de su incremento parcial, se puede escribir:

y . x . y ). y ; x ( f x ). y ; x ( f f
2 1 0 0 y 0 0 x
+ + + =


12
donde con Dividiendo por se tiene:
1 2
0
0 y x

=

y
.
x
.
y
). y ; x ( f
x
). y ; x ( f
f
2 1 0 0 y 0 0 x




pero
2 1
cos
y
; cos
x
=

luego:
2 2 1 1 2 0 0 y 1 0 0 x
cos . cos . cos ). y ; x ( f cos ). y ; x ( f
f
+ + + =



en el lm 0:
] cos . cos . cos f cos f [ lim
f
lim
2 2 1 1 2 y 1 x
0 0
+ + + =




Cuando 0; x y y 0 por lo tanto 0 luego:
1 2
2 y 1 x
0
cos f cos f
f f
lim + =

=



en (x
0
;y
0
)

2 y 1 0 0 x
0 0
cos f cos ) y ; x ( f
) y ; x ( f
+ =

13


Demostraremos que las derivadas parciales de f(x;y) respecto de x e y son casos particulares de las
derivadas direccionales. En efecto si
1
=0 ser
2
2

= luego:
2
cos ). y ; x ( f 0 cos ). y ; x ( f
x
) y ; x ( f ) y ; x ( f
0 0 y
o
0 0 x
0 0 0 0

+ =

) y ; x ( f 0 ). y ; x ( f 1 ). y ; x ( f
x
) y ; x ( f ) y ; x ( f
0 0 x 0 0 y 0 0 x
0 0 0 0
= + =

Haciendo
2
1

=
ser
2
=0 luego:

f x y f x y
x
f x y f x y f x y
x y y
( ; ) ( ; )
( ; ). ( ; ). ( ; )
0 0 0 0
0 0 0 0 0 0
0 1 = = + =


Para n variables: y= f (x
1
; x
2
; ......; x
n
)

y f f
x
f
x
f
x
n
n
= = + + +
1
1
2
2
. c o s . c o s . . . . . . c o s

n
1 i
i
i
cos .
x
f y



INTERPRETACION GEOMETRICA DE LA DIFERENCIAL TOTAL PLANO TANGENTE

Si en lugar de considerar la diferencial de la funcin consideramos la siguiente expresin:

) y y ).( y x ( f ) x x ).( y x ( f z z
0 0 ; 0 y 0 0 ; 0 x 0
+ =


obtenemos la ecuacin de un plano llamado plano tangente a la superficie en x
0
;y
0.

Geomtricamente se caracteriza por el hecho que en el entorno de (x
0
;y
0
) las ordenadas de z de dicho
plano difieren de las de la superficie en un infinitsimo de orden superior a
= + x y
2 2
.

Es muy importante que quede claramente establecido lo siguiente:

1) La condicin necesaria y suficiente para que la superficie z=f(x;y) admita plano tangente en un
punto es que sea diferenciable en ese punto.

2) La expresin analtica de la diferencial en el punto se convierte en la ecuacin incremental
del plano tangente sustituyendo
) y y ).( y x ( f ) x x ).( y x ( f z z
0 0 ; 0 y 0 0 ; 0 x 0
+ =
las diferenciales por los incrementos.

14
3) El plano tangente, contiene las rectas tangentes a todas las curvas planas o alabeadas de la

superficie que pasen por el punto considerado y admitan tangente en l.



HM=HL+LM siendo HL=H
2
T
2
y LM = H
1
T
1
luego HM = H
2
T
2
+ H
1
T
1

H T
P H
Tg
H T
dy
H T Tg dy
2 2
2
2 2
2 2
.
.
( )
.
( ).
.
= = =

H T Tg dy
f x y
y
dy
2 2
0 0
. ( ).
( ; )
. = =

dx ). ( Tg T . H
dx
T . H
dx ). ( Tg
P . H
T . H
1 1
1 1
1
1 1
= = =

dx .
x
) y ; x ( f
dx ). ( Tg T H
0 0
1 1

= =


dz dy .
y
) y x ( f
dx .
x
) y ; x ( f
HM
0 0 0 0
=

+
+

=



Diferencial de la funcin en el punto P( x
o
, y
o
) = dz = HM = H
2
T
2
+ H
1
T
1

15
CALCULO DIFERENCIAL E INTEGRAL II

TEMA 4 (Ultima actualizacin 8/9/2003)

FUNCIONES COMPUESTAS DE UNA VARIABLE INDEPENDIENTE.

Consideramos en primer trmino una funcin de dos variables Z=f(x;y) y
supongamos, adems que x y no son variables independientes , sino funciones de
una nica variable t, es decir:
x=x(t) ; y=y(t)
bajo estas circunstancias para cada valor de t corresponde un punto
[ x(t) ; y(t) ].
En consecuencia:
Z=f(x,y)=f[ x(t) ; y(t) ]= F(t) (1)
que resulta en definitiva una funcin de la variable t.La llamaremos Funcin
Compuesta de t.






t
z=f(x,y)
z=F(t)
c
y
x=x(t)
y=y(t)
Las relaciones x=x(t) e y=y(t) pueden considerarse en el plano x,y como las
ecuaciones paramtricas de una curva C. Los valores de Z de la expresin (1) son
los valores que toma la funcin de dos variables Z=f(x,y) en los puntos de la curva C.
z
x
Los resultados que se obtienen en el anlisis matemtico con este tipo de funciones se
pueden sintetizar mediante el siguiente teorema:

Teorema 1: Si f(x,y) es diferenciable en (x,y) como funcin de dos variables y las
funciones x=x(t) y=y(t) son derivables respecto de la variable t, entonces la funcin
z=F(t) es derivable respecto de t siendo su derivada:

d z
d t
f x y
x
d x
d t
f x y
y
d y
d t
= +

( , ) ( , )

Demostracin: .Dado que la funcin Z=f(x,y) es diferenciable podemos escribir:
z
z
x
x
z
y
y x = + + +

1 2 y
y

Donde tienden a cero cuando hacen lo propio. 1 2 , x,
Dividiendo estas expresiones por , resulta: t

1
t
y
t
x
t
y
y
z
t
x
x
z
t
z
2 1

expresin que para tiene lmite en ambos miembros ya que, por hip
x=x(t) y=y(t) son derivables respecto de t, adems, teniendo en cuenta que
tienden a cero cuando tienden a cero, y que, estos incrementos lo hacen
cuando tiende a cero,resulta:
t 0
x;
tesis
y
1 2 ,

t

|
|
.
|

\
|

t
y
t
x
t
y
y
z
t
x
x
z
lim
t
z
lim 2 1
o t 0 t

Como
y
z
x
z

;
no dependen de y tienden a cero con , resulta t 1, 2 t
dt
dy
y
z
dt
dx
x
z
dt
dz

=


Esto se puede aplicar al caso de una funcin y=F(X
1
,X
2
,....X
n
) en donde
X
1
=X
1
(t)..................X
n
=X
n
(t) luego: y=F(X
1
,X
2
,........X
n
)=F(t)

Los resultados equivalentes al teorema anterior se exponen en el siguiente teorema:

Teorema 2:

Si y=F(X
1
,X
2
,........X
n
) es diferenciable en (X
1
,X
2
,........X
n
) como funcin de n
variables y las funciones X
1
=X
1
(t)..................X
n
=X
n
(t) son derivables respecto de t,
entonces la funcin F(t) dada por F(t)=y=F[ X
1
(t),.....,X
n
(t)] es derivable respecto de
t siendo su derivada:

dy
dt
y
x
dx
dt
y
x
dx
dt
y
x
dx
dt
y
x
dxi
dt n
n
i
i
n
= + + + =
=

1
1
2
2
1
.......

Como la demostracin de este teorema se realiza por medio de un razonamiento
similar al teorema anterior, se deja como ejercicio.

FUNCIONES COMPUESTAS DE DOS VARIABLES INDEPENDIENTES

Consideremos ahora el caso de una funcin de dos variables Z=f(x,y) las que a su vez
dependen de otras dos variables x=x(u,v) e y=y(u,v)
Entonces es : Z=f[x(u,v),y(u,v)] = F(u,v) (3)

2

Grficamente se puede representar este caso,por las siguientes aplicaciones:





z



z=f(x,y)

x
x=x(u,v)
y=y(u,v)
z=F(u,v)
v y
u

Este caso se sintetiza mediante el siguiente

Teorema 3 :

Si Z=f(x,y) es diferenciable en (x,y) como funcin de dos variables y las funciones
x=x(u,v) ; y=y(u,v) son derivables respecto de las variables independientes (u,v) ,
entonces la funcin F(u,v) dada por la expresin (3) es derivable respecto de las
variables u,v, siendo sus derivadas:

z
u
z
x
x
u
z
y
y
u
= +

z
v
z
x
x
v
z
y
y
v
= +


Demostracin: Dando al argumento u un incremento , manteniendo constante el
valor de v, entonces x y recibirn los incrementos
u
, u u x y
respectivamente y consecuentemente f se ver incrementado en que como f es
diferenciable se puede escribir:
uf

y x y
y
) y , x ( f
x
x
) y , x ( f
f u 2 u 1 u u u + +

=


donde tiende acero cuando tienden a cero; de la misma manera
incrementando v en podemos escribir que:
1, 2 y u u x ,
v

y ' y ' y
y
) y , x ( f
x
x
) y , x ( f
f v 2 v 1 v v v + +

=


Dividiendo estas expresiones por respectivamente,obtenemos u, v

3

u u u u f
u
f x y
x
x
u
f x y
y
y
u
x
u
y
u
= + + +

( , ) ( , )
1 2
u

v v v v f
v
f x y
x
x
v
f x y
y
y
v
x
v
y
v
= + + +

( , ) ( , )
' ' 1 2
v


y tomando lmites para en un caso y en el otro resulta: 0 u 0 v
lim
uf
u
lim
f
x
x
u
f
y
y
u
x
u
y
u
u u
u u u

= + + +
|
\

|
.
|
0 0
1 2

u
2 v
* Idem para v

Haciendo las mismas consideraciones realizadas al demostrar el Teorema 1
de la independencia de las derivadas parciales respecto de los incrementos y
considerando que tienden a cero juntamente con se obtiene:
u v ;
1 2 1 , , ' , ' u;


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

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

como se quera demostrar.

FUNCIONES COMPUESTAS DE VARIAS VARIABLES INDEPENDIENTES

Finalmente,considerando el caso general de una funcin de n variables
independientes z=f(x
1
,x
2
,.....,x
n
) cada una de las cuales es a su vez una funcin de m
variables.
x
1
=x
1
(y
1
,y
2
,......,y
m
)
x
2
=x
2
(y
1
,y
2
,......,y
m
)
x
3
=x
3
(y
1
,y
2
,......,y
m
)
...............................
x
n
=x
n
(y
1
,y
2
,.......,y
m
)

Entonces resulta que z es funcin de m variables y
1
,y
2
,....,y
m
o sea:

z=f(x
1
,x
2
,....,x
n
) = F(y
1
,y
2
,....,y
m
)

y los resultados equivalentes a los teoremas estudiados,en este caso, vienen dados por
el siguiente



4
Teorema 4 :

" Si z=f(x
1
,x
2
,....,x
n
) es diferenciable en las xj como funcin de n variables y
adems,las funciones x
j
=x
j
(y
1
,y
2
,....,y
m
) son a su vez derivables respecto
de las yk variables, entonces la funcin z=F(y
1
,y
2
,....,y
m
) es derivable respecto de las
yk variables y su derivada es igual a:

=
=

+ +

n i
1 i
k k k k k y
xi
xi
z
y
xn
xn
z
y
2 x
2 x
z
y
1 x
1 x
z
y
z


Dada la similitud en la demostracin con el teorema anterior, no lo
desarrollaremos.En definitiva: una funcin diferenciable de funciones derivables es
derivable.

DIFERENCIABILIDAD DE FUNCIONES COMPUESTAS

Hasta ahora hemos estudiado la derivabilidad de las funciones compuestas.A
continuacin estudiaremos la diferenciabilidad de funciones compuestas.Por
comodidad y simplicidad estudiaremos el caso de una funcin de n variables que a su
vez dependen de dos variables,aunque los resultados obtenidos tengan validez
general. Enunciemos el siguiente:

Teorema 5:
" Si y=f(x
1
,x
2
,....,x
n
) es diferenciable en las xj (j=1,2,...n) como funcin de n
variables y las funciones xj=xj(u,v) son a su vez diferenciables en u;v como
funciones de dos variables, entonces la funcin y=F(u,v) dada por
y=f[x
1
(u,v),x
2
(u,v),...,x
n
(u,v)] es diferenciable en u,v
"

Demostracin: Por hiptesis f es diferenciable; podemos escribir entonces su
incremento total de la siguiente manera:
) 1 ....( x x
x
f
y j
n
1 j
j j
n
1 j
j
+

=

= =


donde los

tienden a cero cuando los

incrementos

tienden a cero. j xj
Tambin por hiptesis, las funciones xj = xj(u,v) son diferenciables respecto de u,v;
por lo tanto sus incrementos totales se pueden expresar como:
) 2 .....( v u v
v
x
u
u
x
x j j
j j
j + +

=


donde ; tienden a cero cuando ; tienden a cero. j j u v

5

Reemplazando (2) en (1), obtenemos

|
.
|

\
|
+ +

+ |
.
|

\
|
+ +

=

= =
v u v
v
xj
u
u
x
v u v
v
xj
u
u
x
x
f
y j j
j
n
1 j
j j j
j
n
1 j
j


desarrollando,factoreando y ordenando,resulta:

v
v
x
x
f
u j
u
x
x
f
v
v
x
x
f
u
u
x
x
f
y
n
1 j
j j j
j
j
j
n
1 j
j j
j
j
j
n
1 j
j
j
n
1 j
j
j

|
.
|

\
|
+

+
+
(

|
.
|

\
|
+

+
|
|
.
|

\
|

+
|
|
.
|

\
|

=
= = =


Llamando al primero y segundo corchete,respectivamente,se ve que, cuando
tienden a cero juntamente con , tambin lo hacen y podemos
escribir:
;
u v , j j , , j ,
) 3 .....( v u v
v
x
x
f
u
u
x
x
f
y
n
1 j
j
j
n
1 j
j
j
+ +
|
|
.
|

\
|

+
|
|
.
|

\
|

=

= =


expresin que agrupandola de otro modo puede ser escrita:

) 4 ......( v u v
v
xj
u
u
xj
x
f
y
n
1 j
j
+ +
|
.
|

\
|

=

=


Tanto en la (3) como en la (4) tienden a cero cuando hacen lo propio
,como hemos visto.
, u v ,
La expresin (3) nos indica que y es diferenciable como funcin de u y de v , puesto
que ninguno de los parentesis depende de u ; por lo cal queda demostrado el
teorema.
v
De la expresin (4) deducimos :


dy
f
x
x
u
u
x
v
v
j
j
n
j j
= +
|
\

|
.
|
=

1




6
que expresa el " Principio de la invariabilidad de la forma diferencial de primer orden
" o " Principio de Cauchy ".

Por otra parte, teniendo en cuenta las frmulas de derivacin de funciones
compuestas , vemos que:

v
f
v
x
x
f
;
u
f
u
x
x
f j
n
1 j
j
j
n
1 j
j

= =


que reemplazadas en la (3) , despreciando los infinitesimos de orden superior ; vale
decir, tomando el infinitesimo principal, resulta:

dv
v
f
du
u
f
v
v
f
u
u
f
dy

=


En trminos generales podemos expresar que " Una funcin diferenciable de
funciones diferenciables, es diferenciable "

DERIVADAS SUCESIVAS DE FUNCIONES COMPUESTAS

Consideremos el caso ya desarrollado de una funcin y=(fx
1,
x
2
,....,x
n
), donde
xj=xj(u,v) para j=1,2,...,n ; vale decir, una funcin de n variables xj, las que a su vez
dependen de dos variables u,v. Resulta entonces que y es funcin compuesta de u,v :
y=f(x
1,
x
2,
....,x
n
) = f[ x
1
(u,v); x
2
(u,v); ....;x
n
(u,v) ]= F(u,v)

Hemos visto como se calculan las derivadas primeras:
v
x
x
y
v
y
;
u
x
x
y
u
y j
n
1 j
j
j
n
1 j
j

= =
(5)
y queremos calcular ahora las derivadas de segundo orden:
2
2 2
2
2
v
y
;
v u
y
;
u
y

para ello, en el caso de

2
2
y
u
debemos derivar la primera de la (5) con respecto de
u.

= =
|
.
|

\
|

=
|
|
.
|

\
|

=
|
.
|

\
|

n
1 j
j
j
j
n
1 j
j
2
2
u
x
x
y
u u
x
x
y
u u
y
u u
y



7
puesto que la derivada de una suma es igual a la suma de las derivadas.Para proseguir
debemos tener en cuenta que lo encerrado entre parntesis es un producto de
funciones, que derivamos como tal:


= =

|
.
|

\
|

=
(

|
.
|

\
|

|
.
|

\
|

n
1 j
n
1 j
n
1 j
2
j
2
j
j
j
j
j
j
j
2
2
u
x
x
y
u
x
x
y
u u
x
u x
y
u
x
x
y
u u
y

=


Para poder realizar la

u
y
xj
|
\

|
.
|
debemos entender que se trata de la derivada de la
nueva funcin

y
xj
|
.
|
|
\

(compuesta) con respecto de u; es decir debemos

volver a aplicar las frmulas de derivacin de funciones compuestas.Con esto resulta
:
u
x
x x
y
x
y
u
k
n
1 k
k j
2
j

=
|
.
|

\
|

=


lo que reemplazando en la expresin anterior nos da:


= = =

n
1 j
n
1 j
2
j
2
j
n
1 k
j k
k j
2
2
2
u
x
x
y
u
x
u
x
x x
y
u
y


anlogamente podemos demostrar que :


= = =

n
1 j
n
1 j
2
j
2
j
n
1 k
j k
k j
2
2
2
v
x
x
y
v
x
v
x
x x
y
v
y


Calculemos ahora :


= = =
=
(

|
.
|

\
|

|
.
|

\
|

= |
.
|

\
|

=
|
.
|

\
|

n
1 j
n
1 j
n
1 j
j
j
j
j
j
j
j
j
2
u
x
v x
y
u
x
x
y
v u
x
x
y
v u
x
x
y
v u
y
v v u
y


= =

|
.
|

\
|

=
n
1 j
j
2
j
n
1 j
j
j v u
x
x
y
u
x
x
y
v



8
y considerando que:

= |
.
|

\
|

n
1 k
k
k
2
j v
x
x xj
y
x
y
v

resulta en definitiva :


= = =

n
1 j
n
1 j
j
2
j
n
1 k
j k
k j
2 2
v u
x
x
y
u
x
v
x
x x
y
v u
y


de la misma manera se calculan las derivadas de orden superior.

DIFERENCIALES DE ORDEN SUPERIOR DE FUNCIONES COMPUESTAS

Dada la funcin y= f(X
1
,X
2
,.....,X
n
), funcin diferenciable en las n variables y siendo
las variables X
i
funciones diferenciables de las variables u,v tendremos :

y= f(X
1
,X
2
,.....,X
n
)
X1=X1(u,v)
) 1 ( . dx
x
) x ( f
dy
n
1 i
i
i

=

X2=X2(u,v)
....................
Xn=Xn(u,v)

La diferencial segunda se obtiene diferenciando la segunda expresin (1).Luego :
| |
(
(

= =

=

n
1 i
i
i
2
dx
x
) x ( f
d dy d y d


( )

= =

(
(
(
(

|
.
|

\
|

|
.
|

\
|

=
(
(
(
(

|
.
|

\
|

=
n
1 i
n
1 i
i
i
i
i
i
i
2
dx d
x
x f
dx
x
x f
d dx
x
x f
d y d
(2)

ya que la diferencial de una sumatoria es igual a la sumatoria de las diferenciales, y
aplicando la diferencial de un producto se obtiene esta expresin.

9
Como
i x
x f
d

|
.
|

\
|

es la diferencial de una nueva funcin de n variables

se tendr :
k
n
1 k
k i
2
i
dx
x x
x f
x
x f
d

=


|
.
|

\
|

|
.
|

\
|

y reemplazando la expresin en (2) tendremos :

= =

(
(
(
(

|
.
|

\
|

+

|
.
|

\
|

=
n
1 i
i
n
1 k
2
i
k i
k i
2
2
x d
x
x f
dx dx
x x
x f
y d


Como las X
i
son funciones de u,v su diferencial ser dx
x
u
du
x
v
dv i
i i
= +

y reemplazando las diferenciales de X
i
, X
k
por esta ltima
expresin se obtiene la
d
2
y en funcin de u,v.


10
1
CALCULO DIFERENCIAL E INTEGRAL II
TEMA 5 (Ultima modificacin 12/09/2003)
TEOREMA DEL VALOR MEDIO
TEOREMA DEL VALOR MEDIO O DE LAGRANGE O DE LOS INCREMENTOS EINITOS PARA EUNCIONES DE
UNA VARIABLE INDEPENDIENTE.
Si la Iuncion y I(x) es continua en |a,b| y derivable en (a,b), entonces :
- e (a,b) / I(b) - I(a) (b -a). I '()
Grficamente:
y
f(b) B
f([) C
y f(x)
D
f(a) A D
D D x
0 a [ b
Con el Iin de aclarar el signiIicado geometrico de este teorema de Lagrange, consideremos la Iigura
anterior. En ella, la magnitud (I(b) - I(a)) / (b - a) representa la tangente del angulo 'o' de inclinacion
de la cuerda que pasa por los puntos A y B de la graIica y cuyas abscisas son 'a y 'b :
Tg o I(b) - I(a) (considerando el triangulo ADB)
b - a
Por otra parte, I '() representa, como ya sabemos, la tangente del angulo de inclinacion de la recta
tangente a la graIica de y I(x) en el punto de abscisa : Tg o I '()
De aqui resulta que I(b) - I(a) I '() que equivale a : I(b) - I(a) (b - a) . I '() (1)
b a
De modo que el signiIicado geometrico de la igualdad (1), el Teorema de Lagrange visto, es el
siguiente: Si por cada punto del arco AB puede trazarse una tangente, existira en este arco AB, entre
A y B, un punto C tal que en este la recta tangente sea paralela a la cuerda que une los puntos A y B.
Ahora, si hacemos h b - a, sera b a h, y por lo tanto - u : 0 u 1, / a u . h
Entonces (1) se podra escribir:
I(a h) - I(a) h . I '(a u . h) (2) con 0 u 1
Einalmente, si escribimos A y I(a h) - I(a), resultara de (2): A y h . I '(a u h) , con 0 u 1
2
TEOREMA DEL VALOR MEDIO O DE LAGRANGE PARA FUNCIONES DE DOS VARIABLES
INDEPENDIENTES.
Si la Iuncion z I(x,y) es diIerenciable en un entorno abierto u del punto (a,b) , entonces el
incremento Az de I(x,y) se puede expresar:
'z f(a + h, b + k) - f (a ,b) h . f
X
(a + T h, b + T k) + k . f
Y
(a + T h, b + T k)
con 0 u 1 , h y k incrementos de las variables 'x e 'y respectivamente / (a h, b k) e u
DEMOSTRACION: Sean A(a ,b) e R, u entorno abierto, circular o rectangular, de A(a , b),
z I(x ,y) una Iuncion diIerenciable en u y B(a h, b k) e u.
y
u
b k B
y P P
b
A P ` C
x
a x a h
Sea ahora P(x ,y) un punto variable sobre el segmento AB, el cual esta totalmente contenido en u
obviamente.
Por semejanza de los triangulos AP`P y ACB, ver Iigura anterior, tenemos:
AP AP` PP` t con t e | 0, 1 |
AB AC CB
t 0 ~ P A
Aqui notamos que resulta entonces que es:
t 1 ~ P B
t AP` x - a
AC h
Resolviendo lo anterior en 'x e 'y, resulta:
t P`P y - b
CB k
3
x a h . t x(t)
t e |0,1| Entonces, z I(x,y) podra escribirse, cuando P(x,y) e AB, como:
y b k . t y(t)
z I(x ,y) I(a h . t, b k .t) E (t) con t e|0,1|, o sea Iuncion compuesta de la variable 't.
De aqui se sigue que como z I( x ,y) es diIerenciable y x(t) e y(t) son Iunciones derivables, sera
z I(x(t), y(t)) E(t) derivable en (0,1) y continua en |0,1|, luego, por el teorema de Lagrange para
Iunciones de una variable independiente aplicado a E(t), obtendremos:
E(t) - E(0) t . E' (u t) (1) con 0 u 1 y t e |0,1|
Notemos aqui que 'u' depende de 't. Por otra parte, es: E(0) I(a h 0, b k 0) I(a ,b ), y
> @
dt
dy
.
y
I
dt
dx
.
x
I
dt
) t ( y ), t ( x I d
dt
) t ( E d
) t ( E
c
c
+
c
c
= = =
E'(t) I
X
(a h . t, b k . t) . h I
Y
(a h . t, b k . t) . k y sera
E ' (u t) h . I
X
(a h .u t, b k . u t) k . I
Y
(a h . u t, b k . u t)
Haciendo los correspondientes reemplazos en (1), llegamos a:
I(a h .t, b k .t) - I(a ,b) t.|h .I
X
(a u h t, b u k t) k .I
Y
(a u h t, b u k t)| (2)
Hagamos ahora t 1 en (2) : I(a h, b k) - I(a ,b) h. I
X
(a u h, b u k) k. I
Y
(a u h, b u k),
y como Az I(a h, b k) - I(a ,b ), tendremos Iinalmente que:
Az I(a h, b k) - I(a ,b) h . I
X
(a u h, b u k) k . I
Y
(a u h, b u k) con 0 u 1
TEOREMA DEL VALOR MEDIO O DE LAGRANGE PARA FUNCIONES DE n VARIABLES
INDEPENDIENTES
Si la Iuncion y I(x
1
, x
2
, ..........., x
n
) es diIerenciable en un entorno abierto u del punto (x
1
, x
2
,.........,
x
n
), entonces el incremento total Ay se puede expresar:
Ay I(x
1
h
1
, x
2
h
2
,........., x
n
h
n
) - I(x
1
, x
2
,......., x
n
)
h
1
. I
X1
(x
1
u h
1
,...., x
n
u h
n
) ........ h
n
. I
X n
(x
1
u h
1
,....,x
n
u h
n
)
n

L1
h
i
. I
xi
(x
1
u h
1
,......., x
n
u h
n
) , donde 0 u 1 y siempre que (x
1
h
1
,......, x
n
h
n
) e u.
4
TEOREMA DE ROLLE
Si y I(x) es continua en |a ,b| y derivable en (a ,b) y I(a) I(b), entonces - e (a,b) que cumple
I ' () 0
Grficamente:
y
y I(x)
I(a) I(b)
0 x
a b
Este teorema tiene una interpretacion geometrica muy sencilla. Si una curva continua, con tangente en
cada uno de sus puntos, corta a una recta paralela al eje 0x en dos puntos de abscisas 'a y 'b, con a
b, entonces en esta curva existira por lo menos un punto de abscisa '' con a b, en el cual la
tangente es paralela al eje 0x (por ser I ' () 0).
TEOREMA DE CAUCHY
Si I(x) y g(x) son Iunciones continuas en |a ,b |, con g(a) = g(b), y derivables en (a ,b ), con derivadas
no simultaneamente nulas, entonces:
x e (a ,b| - : a x /
) ( g
) ( I
) a ( g ) x ( g
) a ( I ) x ( I

supuesto g(x) = g(a).

O sea que el cociente de los incrementos de I y g es igual al cociente de las respectivas derivadas en
un punto '', interior al intervalo |a,x|.
TEOREMA GENERALIZADO DE CAUCHY
Si I(x) y g(x) son dos Iunciones derivables hasta el orden 'k en |a,b|, tal que:
I(a) I '(a) ........... I
(k - 1)
(a) 0 (1)
g(x) , g'(x) ,..........., g
(k - 1)
(x) son nulas unicamente en x a
g
(k)
(x) = 0 x e |a ,b |, entonces:
x e (a ,b | - : a x /
) ( g
) ( I
) x ( g
) x ( I
k
k

=
5
FORMULA GENERALIZADA DE Lagrange
Si I(x) es una Iuncion derivable en |a, b| hasta el orden 'k y se anula junto con sus (k - 1) primeras
derivadas en x a, entonces:
x e (a ,b| - : a x / I(x) (x - a)
k
. I
(k)
()
k!
FORMULA DE MAC LAURIN PARA POLINOMIOS
Sea P(x) un polinomio de grado 'n en R, digamos: P(x) a
0
a
1
x a
2
x
2
... a
n
x
n
x e R
Queremos determinar los valores de los coeIicientes a
0
, a
1
, a
2
, ....., a
n
en Iuncion de los valores que
toma el polinomio juntamente con algunas de sus derivadas en el punto x 0 (0rigen).
P(x) a
0
a
1
x ....... a
S
x
S
..... a
n
x
n
P(0) a
0
0 0 ........ 0 ...... 0 a
0
P'(x) a
1
2 a
2
x ....... s a
S
x
S - 1
.... n a
n
x
n - 1
P'(0) a
1
0 0 ..... 0 ......... 0 1! a
1
P''(x) 2 a
2
3 . 2 a
3
x ....... s . (s - 1) a
S
x
S - 2
.... n (n - 1) a
n
x
n -2
P''(0) 2 a
2
0 0 ....... 0 ........... 0 2 a
2
2! a
2
.......................................................................
P
(n)
(x) n (n - 1) (n - 2) ......1 a
n
x
n - n
n! a
n
P
(n)
(0) n! a
n
Por lo tanto, los coeIicientes de P(x) resultan en Iuncion del valor del polinomio y sus 'n primeras
derivadas en x 0, asi :
a
0
P(0)
a
1
P'(0)
1!
a
2
P''(0)
2!
...............
a
n
P
(n)
(0) Einalmente, P(x) se puede rescribir asi:
n!
P(x) P(0) P'(0) x P''(0) x
2
........ P
(n)
(0) x
n
, x e R
1! 2! n!
Esta ultima expresion recibe el nombre de EORMULA DE MAC LAURIN PARA UN POLINOMIO
FORMULA DE MAC LAURIN PARA UNA FUNCION f(x)
En general, la Iormula de Mac Laurin para polinomios no podria aplicarse sin mas para una Iuncion
cualquiera I(x), derivable hasta el orden 'n en un entorno u de x
0
0, ya que en general I(x) no es un
polinomio:
6
n
n
3 2
x .
! n
) 0 ( I
........ x .
! 3
) 0 ( I
x .
! 2
) 0 ( I
x .
! 1
) 0 ( I
) 0 ( I ) x ( I + + + + + =
y al segundo miembro le 'faltara algo para completar la Iuncion I(x).
Si llamamos T
n
(x) a ese 'algo que haria posible la igualdad de ambos miembros, una Iuncion de la
variable 'x, tendriamos:
) x ( T x .
! n
) 0 ( I
........ x .
! 3
) 0 ( I
x .
! 2
) 0 ( I
x .
! 1
) 0 ( I
) 0 ( I ) x ( I
n
n
n
3 2
+ + + + + + = x eu
Esta ultima expresion se denomina Frmula de Mac Laurin para una funcin f(x) derivable hasta
el orden 'n en un entorno u de x 0. La Iuncion T
n
(x) recibe el nombre de Trmino
Complementario o Resto, y trataremos de encontrar una expresion para el mas adelante.
FORMULA DE TAYLOR PARA UNA FUNCION f(x)
La Iormula de Mac Laurin para Iunciones que hemos visto, esta desarrollada alrededor de x 0, esto
es, considerando los valores de I(x) y de I(x)
(n)
en x 0. Es evidente que se podrian tener Iormulas
similares alrededor de cualquier punto x a conveniente, es decir, en un entorno u de x a.
Grficamente:
En la Iormula de Mac Laurin:
x
u
0 x (,)
u entorno de x
0
0 Tambien, si u entorno de x
0
a, convenientemente:
h
u
a a h (II)
Entonces, segun (,) y (II), reemplacemos en la Iormula de Mac Laurin para I(x) indicada antes:
el punto '0 por el punto 'a , el punto 'xpor el punto 'a h , la 'longitud 'x 'h
y resultara asi la Frmula de TAYLOR para f(x) siguiente.
) h a ( T h .
! n
) a ( I
........ h .
! 3
) a ( I
h .
! 2
) a ( I
h .
! 1
) a ( I
) a ( I ) h a ( I
n
n
n
3 2
+ + + + + + + = +
x e u entorno
abierto de x a.
Ahora, si hacemos a h x en (II)
x - a
u
a x (III)
Tendremos, haciendo los cambios respectivos segun (III) y teniendo en cuenta (II)
) x ( T ) a x .(
! n
) a ( I
........ ) a x .(
! 3
) a ( I
) a x .(
! 2
) a ( I
) a x .(
! 1
) a ( I
) a ( I ) x ( I
n
n
n
3 2
+ + + + + + =
x eu, entorno abierto de x
0
a
Lo anterior es otra presentacin de la frmula de Taylor para f(x).
7
EXPRESION DEL RESTO EN LA FORMULA DE TAYLOR
Es obvio que para que una I(x) pueda expresarse mediante la Iormula de Taylor o de Mac Laurin,
debe ser derivable por lo menos hasta el orden 'n en un entorno abierto de x a o bien de x 0,
respectivamente. Supongamos, ahora, que I(x) es derivable hasta el orden 'n 1 en un entorno
abierto de x a y encontremos una expresion para el termino complementario T
n
(x).
Como por la Iormula de Taylor para I(x) es:
) x ( T ) a x .(
! n
) a ( I
........ ) a x .(
! 3
) a ( I
) a x .(
! 2
) a ( I
) a x .(
! 1
) a ( I
) a ( I ) x ( I
n
n
n
3 2
+ + + + + + =
resultara que:
n
n
3 2
n
) a x .(
! n
) a ( I
........ ) a x .(
! 3
) a ( I
) a x .(
! 2
) a ( I
) a x .(
! 1
) a ( I
) a ( I ) x ( I ) x ( T + + + + + =
es derivable hasta el orden (n 1) en u. Ademas:
T
n
(a) I(a) - I(a) - 0 - 0 - ........- 0 0 Ahora:
T
n
' (x)I '(x) - I '(a) - I ''(a) (x-a) I '''(a) (x-a) ..... I
(n)
(a) (x-a)
n-1
1! 2! (n-1)!
T
n
' (a) I ' (a) - I '(a) - 0 - 0 -.......- 0 0 Tambien:
T
n
'' (x) I ''(x) - I ''(a) - I '''(a) (x - a) - ........ I
(n)
(a) (x - a)
n - 2
(n - 2)!
T
n
'' (a) I ''(a) - I ''(a) - 0 - 0 - ........ - 0 0
....................................................................
Einalmente:
T
n
(n)
(x) I
(n)
(x) - I
(n)
(a)
T
n
(n)
(a) I
(n)
(a) - I
(n)
(a) 0
y asi:
T
n
(n1)
(x) I
(n1)
(x) (,)
Por lo tanto, T
n
(x) es una Iuncion derivable hasta el orden (n 1) en un entorno u de x a, tal que se
anula conjuntamente con sus 'n primeras derivadas en x a.
Por ello, podemos utilizar la Frmula generalizada de Lagrange , y entonces:
) ( T
)! 1 n (
) a x (
) x ( T
) 1 n (
n
1 n
n

=
+
+
con a x o bien x a
Pero:
) ( I ) ( T
) 1 n (
n
) 1 n (
n
=
+ +
por (I) en consecuencia ) ( I
)! 1 n (
) a x (
) x ( T
) 1 n (
n
1 n
n

=
+
+
con a x o bien x a, que es la expresion de Lagrange para el termino complementario.
Entonces, reemplazando en la Iormula de Taylor para I(x), obtendremos:
8
) ( I
)! 1 n (
) a x (
) a x .(
! n
) a ( I
........ ) a x .(
! 3
) a ( I
) a x .(
! 2
) a ( I
) a x .(
! 1
) a ( I
) a ( I ) x ( I
) 1 n (
) 1 n (
n
n
3 2

+ + + + + + =
+
+
x e u, con a x o bien x a, que es la llamada Eormula de Taylor con la expresion de
Lagrange para el resto.
Observaremos que tambien podemos escribir : a u h, con 0 u 1 y h x - a.
Einalmente, si hacemos a 0 en la anterior expresion de I(x), tendremos la Eormula de Mac Laurin
con la expresion de Lagrange para el termino complementario: x e u :
) x ( I
)! 1 n (
) x (
) x .(
! n
) 0 ( I
........ ) x .(
! 3
) 0 ( I
) x .(
! 2
) 0 ( I
) x .(
! 1
) 0 ( I
) 0 ( I ) x ( I
) 1 n (
) 1 n (
n
n
3 2
u
+
+ + + + + + =
+
+
con 0 u 1, pues hemos tomado u x
FORMULAS DE TAYLOR Y MAC LAURIN PARA FUNCIONES DE DOS VARIABLES
INDEPENDIENTES
Dada una Iuncion z I(x,y) que sea diferenciable hasta el orden (n + 1) en un entorno abierto u del
punto A(a ,b), trataremos de aproximar el valor de la Iuncion I(x,y) en todo punto B(a h, b k) de
dicho entorno u mediante un polinomio en 'h y 'k, en menos de un termino complementario T
n
.
Sean, entonces, A(a ,b) e R, u entorno abierto, circular o rectangular, de A(a,b), z I(x,y) una
Iuncion diIerenciable hasta el orden (n 1) en u y B(a h, b k) e u.
y u
b k B
y P
b A P ' C
0 a x a h x
Sea P(x ,y) un punto variable sobre el segmento de recta AB c u.
Los triangulos AP'P y ACB son semejantes, ver Iigura anterior.
Entonces, tendremos:
AP AP' P'P t , con 0 s t s 1 (1)
AB AC CB
9
t 0 ~ AP 0 ~ P A
t 1 ~ AP AB ~ P B volviendo a (1), resulta que es:
t AP' x - a
AC h
t P'P y - b
CB k
y resolviendo esto en 'x e 'y, obtendremos:
x a h . t x(t)
para t e |0,1| (ecuaciones parametricas del segmento de recta AB )
y b k . t y(t)
Asi, para P(x ,y) variable sobre AB, resultara z I(x ,y) I | x(t), y(t) | E(t), con t e |0,1|, Iuncion
compuesta de la variable 't.
Por otra parte, como z I(x ,y) es diIerenciable hasta el orden (n 1) y x(t), y(t) son derivables (son
lineales), resulta que E(t) I | x(t), y(t) | es derivable hasta el orden (n 1). Entonces, usando la
Iormula de Mac Laurin para E(t):
E(t) E(0) E'(0) t E''(0) t ....... E
(n)
(0) t
n
E
(n1)
(ut) t
n1
con 0 u 1
1! 2! n! (n 1)!
Haciendo t 1 en lo anterior, tenemos:
E(1) E(0) E'(0) E''(0) ....... E
(n)
(0) E
(n 1)
(u) (2) con 0 u 1
1! 2! n! (n 1)!
Ahora, analizando (2) observamos que:
E(1) I(a h . 1, b k . 1) I(a h, b k)
E(0) I(a h . 0, b k . 0) I(a ,b)
> @ > @ > @
dt
dy
.
y
) t ( y ), t ( x I
dt
dx
.
x
) t ( y ), t ( x I
dt
) t ( y ), t ( x dI
dt
) t ( dE
) t ( E
c
c
+
c
c
= = =
> @ > @ > @
k .
y
) t ( y ), t ( x I
h .
x
) t ( y ), t ( x I
dt
) t ( y ), t ( x dI
dt
) t ( dE
) t ( E
c
c
+
c
c
= = =
> @ ) t ( y ), t ( x H ) t . k b , t . h a ( dI ) kt b , t . h a ( I k
y
h
x
) t ( E = + + = + +
(

c
c
+
c
c
=
10
) b , a ( dI ) b , a ( I k
y
h
x
) 0 ( E =
(

c
c
+
c
c
=
> @
dt
) t ( y ), t ( x dH
dt
) t ( dE
) t ( E = = (por lo visto cuando obtuvimos E'(t) )
> @
) kt b , ht a ( I k
y
h
x
) kt b , ht a ( I k
y
h
x
k
y
h
x
) t ( y ), t ( x H k
y
h
x
2
+ +
(

c
c
+
c
c
=
+ +
(

c
c
+
c
c
(

c
c
+
c
c
=
(

c
c
+
c
c
=
) b , a ( I d ) b , a ( I k
y
h
x
) 0 ( E
2
2
=
(

c
c
+
c
c
=
) b , a ( I d ) b , a ( I k
y
h
x
) 0 ( E
n
n
n
=
(

c
c
+
c
c
=
) t . k b , t . h a ( I d ) kt b , ht a ( I k
y
h
x
) t ( E
1 n
1 n
1 n
+ + = + +
(

c
c
+
c
c
=
+
+
+
) . k b , . h a ( I d ) k b , h a ( I k
y
h
x
) ( E
1 n
1 n
1 n
u + u + = u + u +
(

c
c
+
c
c
= u
+
+
+
y haciendo los reemplazos correspondientes en (2), llegaremos a:
) k . b , h a ( I k
y
h
x ! 1 n
1
) b , a ( I k
y
h
x ! n
1
... ) b , a ( I k
y
h
x ! 2
1
) b , a ( I k
y
h
x ! 1
1
) b , a ( I ) k b , h a ( I
1 n n
2
u + u +
(

c
c
+
c
c
+
+
(

c
c
+
c
c
+
+
(

c
c
+
c
c
+
(

c
c
+
c
c
+ = + +
+
(3) con 0 u 1
Si en (3), pasamos al primer miembro el primer termino del segundo miembro, y teniendo en cuenta
que I(ah, bk) - I(a,b) Az, podremos escribir:
! ) 1 n (
) k . b , h . a ( I d
! n
) b , a ( I d
.... ..........
! 2
) b , a ( I d
! 1
) b , a ( dI
z
1 n n 2
+
u + u +
+ + + + = A
+
(4) , con 0 u 1
Si ahora hacemos en (3) h x - a, k y - b, resultara que x a h, y b k; Luego, haciendo los
correspondientes reemplazos en (3), se tendra (x,y) e u entorno de A(a,b):
11
> @ ) 5 ( ) b y .( b ), a x ( a I ) b y (
y
) a x (
x ! 1 n
1
) b , a ( I ) b y (
y
) a x (
x ! n
1
... ) b , a ( I ) b y (
y
) a x (
x ! 1
1
) b , a ( I ) y , x ( I
1 n
n
u + u +
(

c
c
+
c
c
+
+
(

c
c
+
c
c
+ +
(

c
c
+
c
c
+ =
+
(3), (4) y (5) constituyen tres presentaciones diIerentes de la Eormula de Taylor para una Iuncion de
dos variables independientes z I(x,y). Einalmente, si en la Iormula de Taylor (5) hacemos (a ,b)
(0,0), o sea que la desarrollamos a I(x,y) en un entorno del origen (0,0), resulta la Eormula de Mac
Laurin para una Iuncion de dos variables independientes z I(x,y).
NOTA:
Las Iormulas de Taylor y de Mac Laurin vistas para Iunciones de dos variables independientes se
puede generalizar, con similar demostracion de las mismas, para Iunciones de 'n variables
independientes.
La Iormula de Taylor para Iunciones de varias variables independientes permite, al igual que aquella
para Iunciones de una variable independiente, aproximar Iunciones en un entorno de un punto
establecido, que sean diIerenciables hasta un orden dado en dicho entorno, mediante polinomios de
varias variables. El error que se comete en dicha aproximacion esta dado por el termino
complementario.
1
CALCULO DIFERENCIAL E INTEGRAL II
TEMA N 6 (Ultima actualizacin 24/09/03)
FUNCIONES IMPLICITAS
Funciones implcitas de una variable independiente:
DeIinicion: Se considera que 'y es Iuncion implicita de la variable independiente 'x, cuando esta
establecida indirectamente mediante una ecuacion del tipo: 0 y) E(x; =
Consideremos la expresion:
0 a y x y) E(x;
2 2 2
= + =
, que es la ecuacion de una circunIerencia que
tiene su centro en el origen de coordenadas y radio 'a.
La Iorma explicita, I(x) y = o bien g(y) x = de la precedente Iuncion es:
2 2
x a y =
o
2 2
y a x =
, respectivamente en ciertos convenientes dominios.
En muchos casos, dada la ecuacion E(x , y) 0, es posible pasar de la Iorma implicita a la Iorma
explicita I(x) y = mediante procedimientos puramente algebraicos (como se ha realizado en el
ejemplo dado). Pero existen tambien casos en que ello no es posible.
Por ello trataremos de resolver el problema de determinar las propiedades de una Iuncion
I(x) y =
deIinida implicitamente por 0 y) E(x; = , sin necesidad de pasar a la Iorma explicita.
No debe pensarse que toda expresion de la Iorma 0 ) y ; x ( E = determina una Iuncion
I(x) y =
o
g(y) x =
. Es Iacil dar ejemplos de Iunciones ) ; ( y x F que igualadas a cero no determinan
soluciones en terminos de una variable. Asi por ejemplo, sea la Iuncion 0 y x
2 2
= + solo se satisIace
para el punto x 0; y 0, y no existe por lo tanto Iuncion y I(x)
Otro ejemplo mas drastico aun es el siguiente:
1 y x y) E(x;
2 2
+ + =
, que al igualar a cero, resulta
que no hay ningun valor real ni de 'x ni de 'y que satisIaga la expresion precedente.
Se comprende entonces la necesidad de hallar condiciones bajo las cuales la expresion
Exy ( ; )=0
deIine una Iuncion I(x) y = o g(y) x = y cuales son las propiedades de estas, en relacion con las
propiedades de 0 ) y ; x ( E =
Antes de dar el teorema de existencia, haremos algunas consideraciones de caracter geometrico
intuitivo.
La ecuacion
0 y) E(x; =
resulta equivalente al sistema siguiente:

=
=
0 z
y) E(x; z
, cuya solucion es la
curva en que la superIicie y) E(x; z = es interceptada por el plano z 0 (plano x y).
Cuando esta curva de interseccion exista, o en otras palabras, cuando la superIicie y) E(x; z =
corte realmente al plano (x ; y) dicha curva de interseccion sera el graIico en el plano (x , y) de una
Iuncion y I(x) expresion explicita de 0 y) E(x; = .
Vale decir que cuando 0 y) E(x; = deIine una Iuncion yI(x), se veriIica : > @ 0 I(x) x; E ) y E(x; = = .
En relacion con las posiciones relativas de la superIicie z E(x, y) y el plano coordenado (x,y)
analicemos las distintas situaciones geometricas que pueden presentarse:
2
Una primera posibilidad es que la superIicie z E x y = ( ; ) y el plano (xy) no tengan puntos en
comun, por ejemplo el ya citado:
0 1 y x y) E(x; z
2 2
= + + = =
.
En tal caso es obvio que no existe curva de interseccion con el plano (x y) y por lo tanto no existe
solucion y I(x) ni x g(y).
Por ello, se hace necesario considerar solo aquellos casos en que haya por lo menos un punto (x
0
,y
0
)
que satisIaga la ecuacion 0 y) E(x; = . Estos valores (x
o
, y
0
) constituyen la llamada 'solucion
inicial de E(x , y)0
Si existe una solucion inicial (x
0
,y
0
), geometricamente restan dos posibilidades
1. Que el plano tangente a la superIicie
y) E(x; z =
en el punto P
0
(x,y,0) sea horizontal.
2. Que el plano tangente a la misma superIicie en el punto considerado No sea horizontal.
Si el plano tangente a la superIicie en P
0
(x,y,0) es horizontal, es Iacil dar ejemplos que muestran
que la solucion y I(x) o x g(y) puede o no existir.
Asi,
0 y x y) E(x;
2 2
= + =
tiene la solucion inicial, siendo horizontal el plano tangente
correspondiente a dicho punto (es el mismo plano (x y) como se ve aplicando la ecuacion del plano
tangente: ) y )(y y ; (x E ) x )(x y ; (x E z z
0 0 0 y 0 0 0 x 0
+ = .
Pero 0 y x y) E(x;
2 2
= + = no deIine ninguna Iuncion y I(x) ni x g(y)
Por otra parte, es completamente posible que la ecuacion 0 y) E(x; = tenga una solucion y I(x)
o bien x g(y), aun cuando el plano tangente en P(x
0
,y
0,
0) sea horizontal. Como ejemplo
0 x) 2 (y y) E(x;
2
= = , de la cual se deduce la Iuncion explicita y 2x o bien la Iuncion x
y/2.
Por ello, en el caso excepcional de plano tangente horizontal correspondiente a la solucion inicial,
no podemos hacer ninguna aIirmacion de caracter general.
La posibilidad restante es que para la solucion inicial (x
0
,y
0
), el plano tangente no sea horizontal.
La intuicion nos muestra entonces que la superIicie z E(x ; y) no puede 'doblarse tan
rapidamente, lo suIiciente como para eludir cortar al plano x y en las proximidades de P
0
(x,y,0) en
una bien deIinida curva de interseccion, y que esta porcion de la curva en las vecindades de
) 0 , y ; x (
0 0
puede ser descripta por Iunciones y I(x) o x g(y).
El hecho que el plano tangente en P
0
(x,y,0) no sea horizontal equivale a establecer que
E x y E x y
x y
( ; ) ( ; )
0 0 0 0
y
no son nulas simultaneamente. (Recordar la ecuacion del plano
tangente).
Recapitulando, resulta que hemos llegado, mediante consideraciones puramente intuitivas de
caracter geometrico, a la conclusion que si:
1) Existe una solucion inicial (x
0
,y
0
) de E(x,y)0
2) Existe plano tangente a la superIicie zE(x,y) en (x
0
,y
0
), (E es diIerenciable en (x
0
,y
0
))
3) El plano tangente en (x
0
,y
0
,0) no es horizontal para lo cual basta que por lo menos una de las
derivadas parciales
E
x
o
Y
E
no sea nula en (x
0
,y
0
), entonces existe curva de interseccion de la
superIicie z E(x ,y) con el plano coordenado z 0 en las proximidades de (x
0
,y
0
,0) y en
consecuencia E x y ( ; ) = 0 deIine una Iuncion y I(x) o bien x g(y).
3
Los resultados obtenidos de manera geometrica intuitiva los discutiremos a continuacion en Iorma
analitica rigurosa.
TEOREMA I
De existencia, unicidad, continuidad, derivabilidad y diferenciabilidad de funciones definidas
en forma implcita
Sea z E (x , y) una Iuncion de dos variables que satisIaga las siguientes condiciones:
1. 0 ) y ; E(x
0 0
= (existe solucion inicial), para algun punto P(x
0
,y
0
) e R
2
.
2. y) (x; E
x
y y) (x; E
y
existen y son continuas , lo cual asegura la DiIerenciabilidad de
E(x ; y) como Iuncion de dos variables y por lo tanto la existencia del plano tangente a la
superIicie z E(x , y) en el punto (x
0
,y
0
,0).
3.
0 ) y ; (x
y
E
0 0
=
, lo cual asegura que el plano tangente en (x
0
,y
0
,0) no es horizontal, entonces
es posible determinar un entorno rectangular que contenga al punto ) y ; P(x
0 0
:

< <
< <
2 1
2 1
y y y
x x x
tal que para cada x perteneciente al intervalo de la recta real (x
1,
x
2
), la ecuacion E(x , y) 0
determina uniIormemente un valor y I(x), perteneciente al intervalo real (y
1
,y
2
) cumpliendose
> @ 0 I(x) x; E = e x
(x
1
,x
2
). La Iuncion y I(x) satisIace la ecuacion y I x
0 0
= ( ) . Ademas y
I(x) es continua y diIerenciable y su derivada y diIerencial son respectivamente:
y) (x; E
y) (x; E
dx
dy
y (x) I
y
x
= = ' = '
,
dx .
y) (x; E
y) (x; E
dy
y
x
=
, en todo punto en que E
y
(x,y) =0.
Demostracin: El plan de demostracion es el siguiente : a) Existencia y unicidad
b) Continuidad y c) Derivabilidad y Diferenciabilidad
a) Existencia y unicidad.
Estableceremos un rectangulo
2
x x
1
x < <
;
2
y y
1
y < <
en el cual la ecuacion E(x;y) 0
determina una unica Iuncion y I(x); pero se debe aclarar que no vamos a tratar de encontrar el
mayor rectangulo de este tipo, solo debemos demostrar que ese rectangulo existe. Ver Figura 1
Figura 1
4
Como por hipotesis E x y
y
( ; ) es continua y, 0 ) y ; (x E
0 0 y
= podemos encontrar un rectangulo R que
contiene a P x y ( ; )
0 0
que sea lo necesariamente pequeo como para que en todo R la Iuncion
y y
z y) (x; E = sea diIerente de cero y por lo tanto tenga siempre el mismo signo.
Sin perder generalidad podemos suponer que este signo es positivo.
Si no Iuera asi, reemplazariamos E por - E, para lo cual tambien vale -E(x
0
;y
0
) 0 , o sea
R y x y x F
y
e > ) ; ( 0 ) ; (
(1)
Por (1), en cada segmento x cte (paralelo al eje y) contenido en R; la Iuncion z I(x , y)
considerada como Iuncion de y solamente (x cte) es monotona creciente en sentido estricto.
Consideremos en particular xx
0
. Como E x y ( ; )
0 0
0 = , y por ser monotona estrictamente
creciente la Iuncion z E(x
0
,y), existira un punto A
0 1 1 0
), ; ( y y y x < tal que el valor de E en A
es negativo; 0 ) y ; E(x
1 0
< y existira un punto B tal que 0 ) y ; E(x
2 0
> .
Pero por la continuidad de z E(x,y) se deduce que z E(x,y) sera negativa no solo en A ,sino en
todo un entorno de A, en particular, a lo largo de un segmento y y
1
que contenga a A y este
contenido en R y z E(x,y) sera positiva no solo en B, sino en todo un entorno de B, en particular,
a lo largo de un segmento y y
2
que contenga B y este contenido en R.
Ahora elegimos el intervalo
2
x x
1
x < <
lo suIicientemente pequeo como para que:
E x y
E x y
( ; )
( ; )
1
2
0
0
<
>

2 1
x x x / x < < Supongamos que Iijamos x en cualquier valor del intervalo
2 1
x x x < <
,
y que y aumenta desde y
1
hasta y
2
. Como
E x y
y
( ; ) >0
, z E(x , y) crece estrictamente continua
y monotonamente desde un valor negativo E x y ( ; )
1
0 < , hasta un valor positivo E x y ( ; )
2
0 > , y
no puede nunca tener el mismo valor para dos puntos de igual abscisa x.
Entonces, para cada valor de x del intervalo
2 1
x x x < <
, existe un valor de y univocamente
determinado para el cual E(x ; y) 0 con
2 1
y y y < <
. Luego, este valor de y es Iuncion de x:
I(x) y = . Hemos probado asi la existencia y unicidad de la Iuncion y I(x) que es solucion de
E(x , y) 0 en el rectangulo
2 1
x x x < <
;
2 1
y y y < <
.
Nota: Es evidente el papel primordial desempeado en la demostracion por la hipotesis
0 ) y (x E
0 0; y
=
, que nos asegura que el plano tangente en (x
0
,y
0
,0)no es horizontal.
b) Continuidad de y f(x).
Queremos demostrar que y I(x) es continua en el rectangulo
2 1
x x x < <
;
2 1
y y y < <
.
Demostraremos primeramente la continuidad de la Iuncion y I(x) en un punto
) y ; (x
0 0
que
satisIace la ecuacion
) (
0 0
x f y =
.
Para ello, debe demostrarse que dado un
> 0
arbitrario, es posible hallar otro numero positivo
o o = ( )
tal que: < ) I(x I(x)
0
para o <
0
x x .
De igual Iorma que en el punto anterior, se demuestra que existe univocamente yI(x) / E(x , y) 0
en el rectangulo
+ < <
0 0
y y y
; o + < < o
0 0
x x x , donde o se ha elegido en Iuncion de
tal como antes elegimos el intervalo
2 1
x x x < <
, en Iuncion del
2 1
y y y < <
.
5
Figura 2
o + < < o
+ < <
0 0
0 0
x x x
y y y

o <
<
0
0
x x
y y
Pero
) x ( I y
) x ( I y
0 0
=
=
luego
. x x
, ) x ( I ) x ( I
0
0
o <
<
Esto ultimo nos indica
limI x I x
x x
=
0
0
( ) ( )
, que nos determina la continuidad de y I(x) en x
0
.
Como este razonamiento puede aplicarse a cualquier punto del intervalo x
1
xx
2
, queda probada la
continuidad de yI(x) en todo este ultimo intervalo.
c) Derivabilidad de y f(x).
Por la hipotesis segunda, que implica la diIerenciabilidad de z E(x , y), podemos escribir:
A A z E E x h y k E x y h E x y k E x y h k
x y
= = + + = + + + ( ; ) ( ; ) . ( ; ) . ( ; ) . .
1 2
,
donde

1 2
0 .
, con h . k 0. (2)
Ahora, para y I(x), entre h y k no existe independencia.
Asi, es I(x) h) I(x y h) I(x k h), I(x k y + = + = + = + . (3)
Suponemos tambien que los puntos (x,y) ; (xh ,yk) pertenecen al rectangulo donde yI(x) esta
deIinida en Iorma implicita por E(x,y)0. Entonces es
E(x;y) 0; E(xh ; yk) 0 . Luego:
0
1 2
= + + + h E k E h k
x y
. . . . Dividiendo por h E
y
. lo anterior, tenemos
y
2
y
1
y
y
y
x
E . h
k .
E . h
h .
E . h
E . k
E . h
E . h
0

+ + = , esto es
6
,
E E
1
h
k
E
E
E . h
. k
E h
k
E
E
0
y
1
y
2
y
x
y
2
y
1
y
x
c
+
(
(

c
+ + =
c
+
c
+ + =
y tomando limite para h0 sera:
h
k
lim
y) (x; E
y) (x; E
E E
1
h
k
y) (x; E
y) (x; E
lim 0
0 h
y
x
y
1
y
2
y
x
0 h
+ =
(
(

c
+
|
|
.
|

\
|
c
+ + =
, por (3) y (2) y la continuidad de I(x).

y x, E
y x, E
h
I(x) h) I(x
lim
h
k
lim
y
x
0 h 0 h
=
+
=

, o sea
dy
dx
y
E x y
E x y
x
y
= ' =
( ; )
( ; )
en (x,y) / E
y
(x,y)=0. (4)
De (4) se deduce que dy
E x y
E x y
dx
x
y
=
( ; )
( ; )
. , esto es
E x y dx E x y dy
x y
( ; ). ( ; ). + = 0
. Resultado
que se hubiera obtenido diIerenciando E(x,y)0 comoi Iuncion de dos variables
Funciones Implcitas de n variables independientes.
Aqui establecemos condiciones bajo las cuales una expresion de la Iorma
E x x x y
n
( ; ;...; ; )
1 2
0 = deIine IMPLICITAMENTE una Iuncion y I x x x
n
= ( ; ; ...; )
1 2
de n
variables independientes.
El teorema estudiado para Iunciones implicitas de una variable independiente se extiende
naturalmente para Iunciones implicitas de n variables independientes. Como en este caso la
demostracion es similar a la ya vista, solo se enunciara el correspondiente teorema y se mostrara
como se obtienen las Iormulas que Iiguran en el.
TEOREMA II
Sea 0 y) ; x ;...; x ; E(x
n 2 1
= una Iuncion de n1 variables que satisIace las siguientes
condiciones:
1)
0 ) y , x ,...... x , E(x
o
o
n
o
2
o
1
=
(existe solucion inicial) para algun punto P(x
0
1
,x
0
2
,...,x
0
n
.y
0
) e
R
n1
,
2)
E E E E
x x x y
n 1 2
; ; ...; ;
existen y son continuas (lo que asegura la DiIerenciabilidad de E),
3)
E x x x y
y
o o
n
o
o
( , ,...... , )
1 2
0 =
,
entonces es posible determinar un entorno que contenga al punto P ( , ,. . . . . . , ) x x x y
o o
n
o
o 1 2
:
n ;..; 3 ; 2 ; 1 i
y y y
x x x
2 1
2
i i
1
i
=

< <
< <
, tal que en cada punto del entorno n ,... 2 , 1 i , x x x
2
i i
1
i
= < <
la expresion
E x x x y
n
( ; ;...; ; )
1 2
0 determina un valor
) y , (y ) x ;...; x ; I(x y
2 1 n 2 1
e =
que es unico.
En el ultimo entorno mencionado se cumple que: > @
E x x x I x x x
n n 1 2 1 2
0 ; ;...; ; ( ; ;...; ) =
. Ademas:
) x ,...... x , I(x y
o
n
o
2
o
1 0
=
y la Iuncion y I x x x
n
( ; ;...; )
1 2
es continua, diIerenciable y sus
derivadas parciales estan dadas por:
n 1,2,..., k
y) ; x ;...; x ;...; x ; (x E
y) ; x ;...; x ;...; (x E
x
y
n k 2 1 y
n k 1 x
k
k
= =
w
w
,en todo punto en que
o y) , x ,..., (x E
n 1 y
=
.
7
Para obtener esta Iormula partimos de la diIerencial de una Iuncion de n variables
: ) x ,..., I(x y
n 1
=
dy A dx A dx A dx
n n
= + + +
1 1 2 2
. . ... .
, donde es
A
y
x
i
i
=
c
c
(5)
Por otra parte, como 0 y) , x ,..., x , E(x
n 2 1
= , es diIerenciable, podemos escribir:
0 dy .
y
E
dx .
x
E
... dx .
x
E
dx .
x
E
dE
n
n
2
2
1
1
= + + + + =
w
w
w
w
w
w
w
w
Despejando dy en todo punto en que es o y) , x ,..., (x E
n 1 y
= , sera:
d y
E
x
E
y
d x
E
x
E
y
d x
E
x
E
y
d x
n
n
=
c
c
c
c
c
c
c
c
c
c
c
c
1
1
2
2
. . . . . .
Comparando esta ultima expresion con (5) sera:
A
y
x
E
x
E
y
i
i
i
= =
c
c
c
c
c
c
para i 1,2,3,.....,n.
Derivadas y diferenciales sucesivas de funciones implcitas
Por comodidad trabajaremos con una expresion de dos variables: E(x; y) 0 que suponemos
cumple las condiciones del teorema 1 visto para deIinir yI(x), ya que la generalizacion es
inmediata.
Hemos visto que
dy
dx
y
E x y
E x y
x
y
= ' =
( ; )
( ; )
en donde y I(x), o sea E x y y E x y
x y
( ; ) . ( ; ) + ' = 0.
Derivando esta ultima expresion con respecto a 'x sera:
c
c
c
c
c
c
E
x
dx
dx
E
dy
dy
dx
E
x
dx
dx
E
dy
dy
dx
y E
dy
dx
x x
y y
y
+ + +

(
' +
'
= 0 ,

> @
E E y E E y y E y
xx xy yx yy y
+ ' + + ' + '' = . . ' . . 0
, (6)
y
2
yy xy xx
y
2
yy yx xy xx
E
y . E y . E 2 E
E
y . E y . E y . E E
y
' '
=
' ' '
= ' '
Si deseamos calcular y``` debemos derivar (6) respecto de x, y proceder como antes. Lo mismo
hacemos para las derivadas de orden superior.
Para calcular las diIerenciales sucesivas partimos de: E x y dx E x y dy
x y
( ; ). ( ; ). + = 0 y
diIerenciamos esa expresion teniendo en cuenta que y I(x).
8
> @ > @ > @
> @ > @ > @
> @ > @
y) (x; E
y) E(x; . dy .
y
dx .
x
y d
0, y d . E y) E(x; . dy .
y
dx .
x
(7) y d . E dy . E dy . dx . E 2 dx . E
y d y). (x; E dy . dy . E dx . E dx . dy . E dx . E
dy d y). (x; E dy . y) (x; E d dx y) (x, E d
dy y). (x; E d dx y). (x; E d dy . E dx . E d
Y
2
2
2
y
2
2
y
2
yy xy
2
xx
2
y yy yx xy xx
y y x
y x y x
(

c
c
+
c
c
=
= +
(

c
c
+
c
c
=
= + + + =
= + + + + =
= + + =
= + = +
Para calcular d
3
y se diIerencia (7) y luego se despeja d
3
y. Para calcular las diIerenciales de orden
superior de yI(x) se procede en Iorma analoga a la anterior.
SISTEMAS DE FUNCIONES IMPLICITAS
Se trata de investigar, condiciones bajo las cuales un sistema de la Iorma:
E x x x y y
E x x x y y
n
n
1 1 2 1 2
2 1 2 1 2
0
0
( ; ;...; ; ; )
( ; ;...; ; ; )
=
=

determina una solucion dada por un sistema de Iunciones explicitas:

=
=
) x ;...; x ; (x I y
) x ;...; x ; (x I y
n 2 1 2 2
n 2 1 1 1
y cuales son las propiedades de la solucion, en relacion con las
propiedades de E E
1 2
. .
DeIiniremos primeramente el termino JACOBIANO o DETERMINANTE EUNCIONAL.
Si u u(x ,y) ; v v(x , y) son dos Iunciones continuas de las variables independientes x,y ; siendo
sus derivadas parciales
c
c
c
c
c
c
c
c
u
x
v
x
u
y
v
y
; ; ; tambien continuas, la expresion:
c
c
c
c
c
c
c
c
c
c
c
c
c
c
c
c
u
x
v
y
u
y
v
x
u
x
u
y
v
x
v
y
. . =

(
(
(
(
recibe el nombre de Jacobiano o determinante Iuncional
de u,v con respecto a x e y , y generalmente se denota con alguna de las siguientes expresiones:
.
y) (x;
v) (u,
y) (x,
v) (u,
J J
w
w
= =
Para Iunciones de n variables:
) x ;...; x
; x ( u u
) x ;...; x ; x ( u u
) x ;...; x ; x ( u u
n 2
1 n n
n 2 1 2 2
n 2 1 1 1

=

=
=
es
(
(
(
(
(

=
n
n
1
n
n
1
1
1
n 2 1
n 2 1
x
u
x
u
x
u
x
u
) x ,... x , (x
) u ,..., u , (u
J
w
w
w
w
w
w
w
w
9
TEOREMA III
Si E x x x y y E x x x y y
n n 1 1 2 1 2 2 1 2 1 2
( ; ;...; ; ; ) ( ; ;... ; ; ) . son dos Iunciones de n2 variables, que
cumplen las siguientes condiciones:
1)

=
=
0 ) y , y , x ,...... x , (x E
0 ) y , y , x ,...... x , (x E
o
2
o
1
o
n
o
2
o
1 2
o
2
o
1
o
n
o
2
o
1 1
para algun punto
P x x x y y
o o
n
o o o
( , ,...... , , )
1 2 1 2
e R
n2
2) E E
1 2
. admiten derivadas parciales de primer orden continuas en un entorno del punto P, lo
que asegura la DiIerenciabilidad de E E
1 2
. como Iuncion de n 2 variables.
3)
, 0
y
E
y
E
y
E
y
E
) y ; y (
) E ; E (
J
P
2
2
1
2
2
1
1
1
P
2 1
2 1
P
=
(
(
(
(

c
c
c
c
c
c
c
c
=
|
|
.
|

\
|
c
c
=
entonces se puede determinar un entorno que contenga al punto P (del espacio
2 n
R
+
)
x x x
y y y
y y y
J J J
1 2
1
1
1 1
2
2
1
2 2
2
< <
< <
< <

J 1,2,...,n en el cual

=
=
0 ) y , y , x ,..., (x E
0 ) y , y x ,..., (x E
2 1 n 1 2
2 1 n, 1 1
(A)
determina una solucion:

=
=
) x ,..., x , (x I y
) x ,..., x , (x I y
n 2 1 2 2
n 2 1 1 1
(B) y solo una.
Se cumple que:

=
=
), x ,..., x , (x I y
), x ,..., x , (x I y
o
n
o
2
o
1 2
0
2
o
n
o
2
o
1 1
0
1
y que:
> @
> @

=
=
0 ) x ,..., (x I ), x ,..., (x I , x ..., x , x E
0 ) x ,..., (x I ), x ,..., (x I , x ,... x , x E
n 1 2 n 1 1 n 2 1 2
n 1 2 n 1 1 n 2 1 1
en el entorno mencionado, siendo las
Iunciones dadas en (B) continuas, diIerenciables e independientes.
Demostracin:
Partimos de la hipotesis J
p
= 0 , o sea
c
c
c
c
c
c
c
c
E
y
E
y
E
y
E
y
1
1
2
2
2
1
1
2
0 . . =
en P.
Para que esto se cumpla, las cuatro derivadas no pueden ser simultaneamente nulas en P, entonces
sin perder generalidad suponemos que es:
c
c
E
y
1
1
0 = en P (C).
Ahora consideremos la ecuacion 0 ) y , y , x ,...... x , (x E
2 1 n 2 1 1
= (D).
10
Pero las hipotesis 1 y 2 de este teorema, junto con (C) nos aseguran (Teorema II) que de (D) se
deduce:
y g x x x y
n 1 1 2 2
= ( ; ; ...; ; )
(E), Iuncion unica continua y diIerenciable, cuya
derivada respecto de y
2
es:
c
c
c
c
c
c
y
y
E
y
E
y
1
2
1
2
1
1
= en P. (E)
Ademas se cumple que es ). y , x ,..., x , g(x y
0
2
0
n
0
2
0
1
0
1
= (E)
Si reemplazamos (E) en la expresion de E
2
se tiene:
| y , x ,..., x , x | G | y ), y , x ,..., x ( g ,..., x , x | E ) y , y , x ,..., x , x ( E
2 n 2 1 2 2 n 1 2 1 2 2 1 n 2 1 2
= =
cuya derivada respecto a y
2
(como Iuncion compuesta) sera:
c
c
c
c
c
c
c
c
c
c
c
c
c
c
c
c
c
c
c
c
c
c
G
y
E
x
x
y
E
x
x
y
E
x
x
y
E
y
y
y
E
y
y
y
n
n
2
2
1
1
2
2
2
2
2
2
2
2
1
1
2
2
2
2
2
= + + + + + . . ... . . . .
Como x
1
; x
2
; ... ; x
n
no dependen de y
2
,seran:
0
y
x
2
i
=
w
w
, por lo tanto: en P( ) y , x ,..., x
0
2
0
n
0
1
es
c
c
c
c
c
c
c
c
G
y
E
y
y
y
E
y
2
2
1
1
2
2
2
= + . . Pero por (E):
c
c
c
c
c
c
y
y
E
y
E
y
1
2
1
2
1
1
=
, y reemplazando esta expresion en
la anterior, queda :
(
(

= =
2
y
1
E
.
1
y
2
E
1
y
1
E
.
2
y
2
E
1
y
1
E
1
1
y
1
E
2
y
1
E
.
1
y
2
E
2
y
2
E
2
y
G
w
w
w
w
w
w
w
w
w
w
w
w
w
w
w
w
w
w
w
w
p
1
1
2
J .
y
E
1
y
G
w
w
w
w
=
expresion que existe y es distinta de cero en
) y , x ,..., P(x
0
2
0
n
0
1
.
Pero las hipotesis 1 y 2 de este teorema juntamente con
0
y
G
2
=
w
w
en P y con E , nos aseguran que:
E x x x y y G x x x y
n n 2 1 2 1 2 1 2 2
0 ( ; ; ...; ; ; ) | ; ; ...; ; | = =
determina una Iuncion
y I x x x
n 2 2 1 2
= ( ; ;...; )
que es unica, continua y diIerenciable y que cumple ) x ,..., x , (x I y
0
n
0
2
0
1 2
0
2
= .
Si reemplazamos
y I x x x
n 2 2 1 2
= ( ; ; . . . ; )
en la expresion (E) para y
1
,tendremos:
y g x x x I x x x I x x x
n n n 1 1 2 2 1 2 1 1 2
= = | ; ; ...; ; ( ; ; ...; )| ( ; ; ...; )
que resulta unica continua ,
diIerenciable y cumple > @ ) x ,..., (x I ) x ,..., (x I , x ,..., x , x g ) y , x ,..., x , g(x y
0
n
0
1 1
0
n
0
1 2
0
n
0
3
0
1
0
2
0
n
0
2
0
1
0
1
= = =
Reuniendo estas expresiones resulta la solucion buscada :
y I x x x
y I x x x
n
n
1 1 1 2
2 2 1 2
=
=

( ; ; . . . ; )
( ; ; . . . ; )
Calcularemos ahora las derivadas de y
1
e y
2
con respecto a cada una de las x
k
. Partimos del sistema:
11

=
=
0, ) y ; y ; x ;...; x ; (x E
0, ) y ; y ; x ;...; x ; (x E
2 1 n 2 1 2
2 1 n 2 1 1
y derivando (como Iuncion compuesta), cada una de ellas respecto de las x
k
, (teniendo en cuenta
que estas son independientes, todas las derivadas de la Iorma
c
c
x
x
j
k
son nulas para todo j = k se obtiene:

= + +
= + +
0,
x
y
y
E
x
y
y
E
x
E
0,
x
y
y
E
x
y
y
E
x
E
k
2
2
2
k
1
1
2
k
2
k
2
2
1
k
1
1
1
k
1
. .
. .
w
w
w
w
w
w
w
w
w
w
w
w
w
w
w
w
w
w
w
w
donde las
incognitas son
c
c
c
c
y
x
y
x
k k
1 2
; Pasando en cada ecuacion los terminos independientes al segundo
miembro, se tiene:

= +
= +
,
x
E
x
y
y
E
x
y
y
E
,
x
E
x
y
y
E
x
y
y
E
k
2
k
2
2
2
k
1
1
2
k
1
k
2
2
1
k
1
1
1
w
w
w
w
w
w
w
w
w
w
w
w
w
w
w
w
w
w
w
w
que es un sistema lineal de dos
ecuaciones con dos incognitas, y que puede resolverse por la regla de CRAMER siempre que el
determinante de los coeIicientes sea distinto de cero, o sea, siempre que:
c
c
c
c
c
c
c
c
E
y
E
y
E
y
E
y
1
1
1
2
2
1
2
2
0

(
(
(
(
=
, cosa
que ocurre, ya que este determinante es el JACOBIANO antes visto y por hipotesis es = 0 en el
punto P .Resolviendo el sistema anterior, tendremos:
) y ; (y
) E ; (E
) y ; (x
) E ; (E
J
) y ; (x
) E ; (E
J
y
E
x
E
y
E
x
E
x
y
2 1
2 1
2 k
2 1
2 k
2 1
2
2
k
2
2
1
k
1
k
1
w
w
w
w
w
w
w
w
w
w
w
w
w
w
w
w

=
(
(
(
(

=
) y ; (y
) E ; (E
) x ; (y
) E ; (E
J
) x ; (y
) E ; (E
J
x
E
y
E
x
E
y
E
x
y
2 1
2 1
k 1
2 1
k 1
2 1
k
2
1
2
k
1
1
1
k
2
w
w
w
w
w
w
w
w
w
w
w
w
w
w
w
w
=

=
(
(
(
(

=
Habra n derivadas de cada una de las Iunciones y
1
; y
2
para k 1;....;n.
Calculamos ahora las diferenciales dy
1
,dy
2
. DiIerenciando el sistema E
1
0, E
2
0 , sera:

= + + +
= + + + +
+
0,
2
dy
1
dy
n
dx ...
1
dx
n
dx
1
dx
2
2
1
2
n
2
1
2
2
2
1
1
1
1
n
1
1
1
y
E
y
E
x
E
x
E
0, dy
y
E
dy
y
E
x
E
...
x
E
w
w
w
w
w
w
w
w
w
w
w
w
w
w
w
w

=
= +

=
=
,
k
dx
n
1 k
k
x
2
E
2
dy
1
dy
n
1 k
k
x
1
E
2
dy
1
dy
2
2
1
2
k
2
1
1
1
y
E
y
E
, dx
y
E
y
E
w
w
w
w
w
w
w
w
w
w
w
w
que tambien siempre en el punto P puede resolverse en dy
1
, dy
2
como antes, por CRAMER.
12
SISTEMAS DE M FUNCIONES IMPLICITAS.
Deseamos estudiar condiciones bajo las cuales el sistema de m ecuaciones con nm variables:

=


=
0, ) y ;...; y ; x ;...; (x E
0, ) y ;...; y ; x ;...; (x E
m 1 n 1 m
m 1 n 1 1
Determina una solucion dada por:

=

=
) x ;...; (x I y
) x ;...; (x I y
n 1 m m
n 1 1 1
,
cuales son las propiedades de las I
i
en relacion con aquellas de las E
j
( i, j 1,...,m).
TEOREMA 4
Si las
) y ; x ( E
i

, para i 1;....;m, son m Iunciones de mn variables que cumplen con las
siguientes condiciones:
1)

=

=
0 ) y ; x ( E
0 ) y ; x ( E
0 0 m
0 0 1


(existe solucion inicial)para algun punto
P x y ( ; )

0 0
eR
nm
2) Las
) y ; x ( E
i

admiten derivadas parciales de primer orden en un entorno del punto
Px y ( ; )

0 0
.
3) J
E E E
y y y
E
y
E
y
E
y
E
y
p
m
m p
m
m m
m
p
= = =
c
c
c
c
c
c
c
c
c
c
( ; ; . . . ; )
( ; ; . . . ; )
1 2
1 2
1
1
1
1
0 entonces se puede determinar
un entorno que contiene al punto P.
x x x
y y y
K k K
J J j
1 2
1 2
< <
< <

k 1,...,n, J 1,...,m,
en el cual el sistema de ecuaciones E
i
0(i1,...,m) determina una solucion y
j
I
j
(x
1
,...,x
n
), (j1,...,m)
que es unica. Se cumple que ) x ,..., (x I y
0
n
0
1 j
0
j
= (j1,...,m) y que en el intervalo mencionado.
Ademas las Iunciones son continuas, diIerenciables e independientes siendo las derivadas
n, 1,..., k
m, 1,..., j
=
=
J
) y ;...; x ;...; (y
) E ...; ;......... (E
) y ;...; (y
) E ;...; (E
) y ;...; x ;...; (y
) E ...; ;......... (E
x
y
m K 1
m 1
m 1
m 1
m K 1
m 1
k
i
w
w
w
w
w
w
w
w
= =
La demostracion de este teorema es analoga a la del teorema III y por ello no la haremos aqui.
13
APLICACIONES DE LOS TEOREMAS DE FUNCIONES IMPLICITAS
Funcin inversa: Consideremos una Iuncion de una variable independiente yI(x). Vamos a
mostrar como se puede utilizar el Teorema 1 de Iunciones implicitas para determinar condiciones
bajo las cuales existira la Iuncion inversa xg(y), cuales son sus propiedades y como calcular su
derivada.
Teorema 5: Si yI(x) es una Iuncion continua con derivada continua, y existe un punto xx
o
con
y
o
I(x
o
)
`
I ' (x
o
) =0 (1) ,entonces es posible determinar un entorno que contiene al punto xx
0
en el cual yI(x) deIine la Iuncion inversa xg(y). Esta Iuncion es continua y derivable siendo su
derivada
dx
dy
dy
dx
=
1
, en todo punto del entorno mencionado en el cual sea I' ' (x) =0
Demostracin: Iormemos la siguiente Iuncion auxiliar E (x,y) y - I (x) (2)
Si en esta expresion reemplazamos x por x
0
e y por y
0
; teniendo en cuenta (1) se obtiene
E(x
0
;y
0
) 0 (3)
Ademas, como I(x) es continua y con derivada continua, resulta que
E
x
(x,y); E
y
(x,y) (4) existen y son continuas, puesto que E
x
(x,y) -I' ' (x) , E
y
(x,y) 1
(que se obtienen derivando (2)).
Pero E
x
(x
0
,y
0
) - I' ' (x
0
) =0 por hipotesis. Esto ultimo, juntamente con (3) y (4) ,nos asegura por
el Teorema 1, que existe x g (y), que es unica,
continua y derivable, deIinida por E(x,y)y-I(x)0 en un entorno del punto P(x
0
,y
0
),siendo:


d x
d y
E x y
E x y I x I x
d y
d x
y
x
= =

= =
,
, ' '
1 1 1
, o sea
d x
d y
d y
d x
=
1
con lo cual queda demostrado el Teorema 5.
Observese que este Teorema no nos inIorma sobre la Iorma explicita de la Iuncion inversa xg(y),
sino que, nos suministra condiciones bajo las cuales seguro existe esta y cuales son sus propiedades
en relacion con las de yI(x).
Notese que yI(x) puede interpretarse como una transIormacion T: x --~y, y cuando existe inversa
x g(y), se tendra la transIormacion inversa T
-1
y --~x
T:x--~y
x
y
T
-1
: y --~x
14
T
T
-1
Transformacin Inversa
Consideremos ahora el caso de un sistema de Iunciones o transIormacion de la Iorma

=
=
. y , x v
, y , x u
: T
(5)
Cabe preguntarse bajo que supuestos existira la transIormacion inversa

=
=

, v , u g y
, v , u I x
: T
1
(6) en cuyo caso se tendria graIicamente:

=
=
o o o
o o o
y , x v
y , x u
T

T
x I u v
y g u v
o o o
o o o

=
=

1
,
,
Teorema 6: Si las Iunciones
) y , x ( u =
,
v x y =( , )
pertenecen a la clase C
1 ( es decir son
continuas y con derivadas primeras continuas.) y existe un punto P(x
o
,y
o
) con

=
=
) y , (x v
) y , (x u
0 0 0
0 0 0
(A)
y el Jacobiano en P J
p

,
p y , x
,
J
y , x
,
p
0 =

=
c
c
entonces se puede determinar un entorno que contenga al punto P, en el cual la transIormacion (5)
admite inversa (6)
Las Iunciones x I u v y g u v = . = , ,
son diIerenciables.
Demostracin: Eormemos el sistema de Iunciones auxiliares.

=
=
y , x v y , x , v , u E
y , x u y , x , v , u E
2
1
(7)
Si reemplazamos u,v,x,y por u
o
,v
o
,x
o
,y
o
respectivamente en (7) y tenemos en cuenta (A)
obtenemos

= =
= =
. y , x v y , x , v , u E
, y , x u y , x , v , u E
0
0
0 0 0 0 0 0 2
0 0 0 0 0 0 1
0
0
(8)
Derivando (7) se tiene:
y
o
x
o u
o
v
o
y
x
v
u
P(x
o
,y
o
))
P '(u
o
,v
o
)
15

,
v
E
;
u
E
; y , x
y
y
E
; y , x
x
x
E
,
v
E
;
u
E
; y , x
y
y
E
; y , x
x
x
E
1
2
0
2 2 2
0
1
1
1 1 1
=
c
c
=
c
c
=
c
c
=
c
c
=
c
c
=
c
c
=
c
c
=
c
c
(9)
y como las Iunciones y , x v y , x u = . = pertenecen a la clase C
1
por hipotesis,
resulta que E
1
y E
2
tambien pertenecen ala clase C
1
Einalmente, el Jacobiano de E
1
y E
2
respecto de x e y es:





y , x
) , (
J
y , x
,
y x
y x
y x
y x
y
E
x
E
y
E
x
E
y , x
E , E
J
y , x
E , E
=
c
c
=
c
c
c
c
c
c
c
c
=
c
c

c
c

c
c

c
c

=
c
c
c
c
c
c
c
c
= =
c
c
2 2
1 1
2 1 2 1
(10)
siendo por hipotesis este Jacobiano en el punto P distinto de cero. Esta ultima condicion, o sea


0
2 1
=
c
c
p
y , x
E , E
, juntamente con (8) y que E
1
y E
2
sean de la clase C
1
nos aseguran ( Teorema 3 )
que existe el sistema:

=
=
, v , u g y
, v , u I x
(11) deIinido por

= =
= =
, 0 ) , (
, 0 ) , (
2
1
\ [ Y )
\ [ X )
\
M
en un entorno del punto
(u
0
,v
0
,x
0
,y
0
) el cual esta Iormado por dos Iunciones que son continuas, independientes y
diIerenciables, siendo sus derivadas:






J J
y , x
E , E
J
0
1
y , x
E , E
y , u
E , E
u
x y y
2 1
y
y
2 1
2 1

=

=


=
c
c
c
c
=
c
c




J
y , x
E , E
y , v
E , E
v
x y
y x
y x
y
y

=




=
c
c
c
c
=
c
c 1
0
2 1
2 1




J
x

y , x
E , E
u , x
E , E
u
y
=
c
c
c
c
=
c
c
2 1
2 1
,




j
x
y , x
E , E
v , x
E , E
v
y
=
c
c
c
c
=
c
c
2 1
2 1

Este teorema inIorma sobre condiciones bajo las cuales seguro existe (6) y cuales son sus
propiedades en relacion con las de (5),pero, en general no proporciona la Iorma explicitamente (6).

La generalizacion para un sistema de n Iunciones de n variables se realiza mediante un
procedimiento similar Condiciones suIicientes para la existencia de la transIormacion inversa se
expresan en un teorema analogo a los anteriores.

16
Transformacin de Coordenadas
Hemos estudiado los sistemas de la Iorma

T

=
=
y , x v
y , x u
y su inversa T
-1


x I u v
y g u v
=
=

,
,


Es evidente que estos pueden interpretarse como cambios de coordenadas en el plano. El hecho
Iundamental concerniente a los cambios de coordenadas es obviamente la inversibilidad o sea la
biunicidad de la correspondiente transIormacion, esto es que, a cada punto de un espacio le
corresponde uno y solo uno del espacio transIormado.
Por el Teorema 6, este problema de decidir si un sistema dado de Iunciones deIine o no un
cambio de coordenadas queda resuelto aIirmativamente cuando:
1) las Iunciones son de la clase C
1
, y
2) el Jacobiano de la transIormacion es distinto de cero en todo punto de la region considerada.
Puesto que entonces vimos que existe la transIormacion inversa.
Consideremos ahora algunos hechos generales reIerentes en primer
termino a los cambios de coordenadas en el plano deIinido por:
(12) T


u x y
v x y
=
=

,
,
y su inversa T
-1



x I u v
y g u v
=
=

,
,
(13)
Cuando se dan las coordenadas (x
1
,y
1
) de un punto P
1
respecto de un sistema de coordenadas
cartesianas "x,y, lo que en realidad se hace es Iijar la posicion de P
1
como interseccion de las
rectas xx
1
; yy
1.
.
Pero al Iijar xx
1
, (12) queda

=
=
, y , x v
, y , x u
1
1
que representan las ecuaciones parametricas de
una curva en el plano "u,v", con parametro "y" ya que xconstante.

De modo que a la recta xx
1
del plano "x,y" le corresponde una curva del plano "u,v"











Analogamente, al Iijar la ordenada yy
1
obtenemos las ecuaciones parametricas de otra curva del
plano "u,v, con parametro "x", ya que y constante. De manera que a la recta yy
1
del plano
(x,y) le corresponde otra curva en el plano "u,v". Entonces al punto P
1
, que en el plano "x,y" es la
interseccion de las rectas xx
1
; yy
1
, le corresponde en el plano "u,v" el punto P'
1
, que es la
interseccion de las curvas respectivas mencionadas.

yy
1

0 xx
1

P
1

P
1

xx
1

yy
1

y
x
v
u
0
17
En general, a la Iamilia de rectas xc
1
; xc
2
;...; xc
n del plano 'x,y
, le corresponde una Iamilia
de curvas en el plano "u,v".Analogamente, a la Iamilia de rectas del plano 'x,y yk
1
; yk
2
.
..yk
n

,le corresponde otra Iamilia de curvas en el plano 'u,v.Reciprocamente, a la Iamilia de rectas uu
1
;
uu
2
...uu
n del planou,v,
le corresponde una Iamilia de curvas en el plano "x,y", al igual que a la
Iamilia de rectas del plano 'u,v vv
1
; vv
2
.
..vv
n
le corresponde otra Iamilia de curvas en el
plano "x,y"


TransIormacion de Coordenadas Cartesianas (x,y) a Coordenadas Polares (
o , r
)

r


r
2
r
1

o =
o =
sen . r y
cos . r x



=
o o
o o
=
co
c
c
c
co
c
c
c
=
o cos . r sen
sen . r cos
y
r
y
x
r
x
, r
y , x
J

0 sen . cos .
2 2
= = + = U U U D D
en


todo punto distinto del O (0,0) Geometricamente vemos que es :

= o
+ + =
x
y
arctg
y x r
2 2











1

4 3 2 1
D D D D
o
rr1
rr
3

o=o
1

o=o
2

x
y o=o3
rr
2

r
3
4
D
D

r
x
y
x
y
O
P(x,y)
0r
[ < s 2 0 D
18
o

Cambios de coordenadas en el Espacio :

En el espacio podemos hacer consideraciones similares a las eIectuadas en el plano Interpretemos
geometricamente algunos hecho generales reIerentes a los cambios de coordenadas deIinidos por:
T:

=
=
=
z y, x, w
z y, x, v
z y, x, u
(14) y su inversa

=
=
=

w , v , u h z
w , v , u g y
w , v , u I x
T
1
(15)
Cuando se dan

las coordenadas (x
1
,y
1
,z
1
) de un punto P
1
respecto a un sistema de coordenadas
cartesianas, lo que en realidad se hace es Iijar la posicion de P
1
como interseccion de los tres planos
xx
1
; yy
1
; zz
1
.
Pero al Iijar xx
1
, el sistema (14) adopta la Iorma de las ecuaciones parametricas
de una superIicie en el espacio "u,v,w" De modo que al plano xx
1
del espacio "x,y,z", le
corresponde una superIicie en el espacio "u,v,w".Las mismas consideraciones se pueden realizar
respecto a los planos yy
1
y zz
1
.

Asi,al punto P
1
(x
1
,y
1
,z
1
) del espacio "x,y,z" le corresponde el punto Pde interseccion de las
mencionadas tres superIicies en el espacio "u,v,w".

COORDENADAS SEMIPOLARES O CILINDRICAS: r, ,,z









T
x r
y r
z z
=
=
=

.cos
.sen
o
o

=
= o
+ + =

z z
x
y
arctg
y x r
T
2 2
1


J
x y z
r z
r
r
, ,
, ,
cos . s en
s en . cos
o
o o
o o =
0
0
0 0 1



en todo punto no situado sobre el eje z.


1ACOBIANO DE UN PRODUCTO O COMPOSICION DE TRANSFORMACIONES

Consideremos la siguiente transIormacion:

E:

=
=
=
n 2 1 n n
n 2 1 2 2
n 2 1 1 1
x ,..., x , x I y
.......... .......... ..........
x ,..., x , x I y
x ,...., x , x I y
, (16) Cuyo Jacobiano es:

P
x
z
y
r
x
y
z
0 r
0 s o < 2t
- < z <
J r =0
19
J
1

n 2 1
n 2 1
n
2 1
n 2 1
x ,..., x , x
y ,..., y , y
x ,..., x , x
y ,..., y , y
J
c
c
=
, (17)
y supongamos que las variables x
i

dependen de otras t
j
variables, es decir:

=
=
=
n 2 1 n n
n 2 1
2
2
n 2 1 1 1
t ,....., t , t g x
......... .......... ..........
t ,....., t , t g x
t ,......, t , t g x
(18)
cuyo Jacobiano es:




.
t ,..... t , t
x ,..... x , x
t ,....., t , t
x ,....., x , x
J J
n 2 1
n 2 1
n 2 1
n 2 1
2
c
c
= = (19)

Hagamos ahora el producto de los jacobianos 1 y 2 (17) y (19)





nn 1 n
n 1 11
n
n
1
n
n
1
1
1
n
n
1
n
n
1
1
1
a ...... a
.
..... ...... ......
a ...... a
t
x
..........
t
x
.......... ..........
t
x
. ..........
t
x
.
x
y
. ..........
x
y
... .......... ..........
x
y
. ..........
x
y
n
t ,.....,
2
t ,
1
t
n
x ,.....,
2
x ,
1
x
n
x ,.....,
2
x ,
1
x
n
y ,.....,
2
y ,
1
y
=
c
c
c
c
c
c
c
c
c
c
c
c
c
c
c
c
=
c
c

c
c
(20)

Recordando la Iorma como se realiza el producto de matrices obtenemos:
1
n
n
1
3
1
1
2
2
1
1
1
1
1
11
t
x
.
x
y
......
x
y
t
x
.
x
y
t
x
.
x
y
a
c
c
c
c
+ +
c
c
+
c
c
c
c
+
c
c
c
c
=
Pero la sumatoria es
1
1
t
y
c
c
. Luego
1
1
11
t
y
a
c
c
= , y ,en general
,
t
y
t
x
.
x
y
......
t
x
.
x
y
t
x
.
x
y
a
j
i
j
n
n
i
j
2
2
i
j
1
1
i
ij
c
c
=
c
c
c
c
+ +
c
c
c
c
+
c
c
c
c
= resultado que reemplazado en (20) da:
n
n
2
n
1
n
n
2
2
2
1
2
n
1
2
1
1
1
nn 2 n 1 n
n 2 22 21
n 1 12 11
2 1
t
y
.......
t
y
t
y
..... .. .......... ......
t
y
......
t
y
t
y
t
y
......
t
y
t
y
a ....... a a
..... .. .......... .....
a ....... a a
a ....... a a
J . J
c
c
c
c
c
c
c
c
c
c
c
c
c
c
c
c
c
c
= =

o sea que:






n 2 1
n 2 1
n 2 1
n 2 1
n 2 1
2 1
t ,....., t , t
y ,....., y , y
t ,....., t , t
x ,....., x , x
.
x ,....., x , x
y ,....., y , y
n
c
c
=
c
c
c
c

Notemos que el segundo miembro resulta ser el jacobiano de la transIormacion producto o
composicion de E y G : E . G . Vale decir que el Jacobiano del producto o composicion de dos
transIormaciones es igual al producto de los jacobianos de cada una de ellas. Como el producto de
transIormaciones no es, en general, conmutativo, hay que tener en cuenta el orden. Veamos ahora
el caso particular en que

= t y o sea: y
1
t
1
; y
2
t
2
.........y
n
t
n
20
Resulta entonces que el producto de las transIormaciones (18) y (16) da como resultado la
transIormacion identidad. Por lo tanto, por deIinicion de transIormacion inversa, (18) es la inversa
de (16) o sea GE
-1
:

E:

=
=
=
n 2 1 n n
n 2 1 2 2
n 2 1 1 1
x ,....., x , x I y
......... .......... ..........
x ,....., x , x I y
x ,....., x , x I y
, E
1

=
=
=
n 2 1 n n
n 2 1 2 2
n 2 1 1 1
y ,....., y , y g x
......... .......... ..........
y ,....., y , y g x
y ,....., y , y g x

Haciendo el producto de los jacobianos, tenemos:








n 2 1
n 2 1
n 2 1
n 2 1
nn 2 n 1 n
n 2 22 21
n 1 12 11
n 2 1
n 2 1
n 2 1
n 2 1
y ,..... y , y
x ,..... x , x
.
x ,..... x , x
y ,..... y , y
a ....... a a
..... .. .......... .....
a ....... a a
a ....... a a
y ,....., y , y
x ,....., x , x
J .
x ,....., x , x
y ,....., y , y
J
c
c
c
c
= =

en donde, segun vimos, es:
1
y
1 y
y
x
.
x
y
......
y
x
.
x
y
y
x
.
x
y
a
1 1
n
n
1
1
2
2
i
1
1
1
i
11 =
c
c
=
c
c
c
c
+ +
c
c
c
c
+
c
c
c
c
= , 0
y
y
a
2
1
12
=
c
c
=

ya que y
1
no depende de y
2
.
Entonces, todos los a
ij
seran iguales a cero para i j = , y cuando ij
1 a
ij
. Asi es:




1
1 ... 0 0 0 0
... ... ... ... ... ...
0 ..... 0 0 1 0
0 ..... 0 0 0 1
y ,..... y , y
x ,..... x , x
.
x ,..... x , x
y ,..... y , y
n 2 1
n 2 1
n 2 1
n 2 1
= =
c
c
c
c
de donde:





1
y ,..., y , y
x ,..., x , x
.
x ,..., x , x
y ,..., y , y
n 2 1
n 2 1
n 2 1
n 2 1
=
c
c
c
c
. Luego :





,
y ,..., y , y
x ,..., x , x
1
x ,..., x , x
y ,...., y , y
n 2 1
n 2 1
n 2 1
n 2 1
c
c
=
c
c

lo que nos dice que el jacobiano de la transIormacion inversa de una transIormacion es igual al
inverso del jacobiano de la transIormacion original, si esta admite inversa.


1
C CA AL LC CU UL LO O D DI IF FE ER RE EN NC CI IA AL L E E I IN NT TE EG GR RA AL L I II I
TEMA 7 (Ultima actualizacin 1/10/2003)
Formas Cuadrticas
1) Eorma cuadratica en el R
n
es toda expresion de la Iorma
x x a j i
n
1 j i, j i,
E

=
= donde los
coeIicientes a
ij
y las variables xi , xj toman valores reales y se veriIica que a
ij
a
ji
Los coeIicientes determinan una Matriz simetrica de orden n
M
|
|
|
.
|

\
|
n , n 2 , n 1 , n
n , 2 2 , 2 1 , 2
n , 1 2 , 1 1 , 1
a a a
a a a
a a a
Reciprocamente cada Matriz cuadrada,
simetrica de orden n esta asociada a una
Iorma cuadratica de orden n
2) Una Iorma cuadratica E se llama deIinida positiva , si E ~ 0 para todo sistemas de valores
no simultaneamente nulos de las xi , xj variables
3) Una Iorma cuadratica E se llama deIinida negativa , si E 0 para todo sistemas de valores
no simultaneamente nulos de las xi , xj variables
4) Una Iorma cuadratica E se llama semideIinida positiva , si E > 0 es decir se conserva
positiva, anulandose solo para algun sistema de valores de las variables xi , xj
5) Una Iorma cuadratica E se llama semideIinida negativa , si E s 0 es decir se conserva
negativa, anulandose solo para algun sistema de valores de las variables xi , xj
6) Una Iorma cuadratica E se llama indeIinida , si E toma valores positivos, nulos o negativos,
para distintos sistemas de valores de las variables xi , xj.
Llamaremos H al determinante de la Matriz
M de los coeIicientes de la Iorma cuadratica
H
n , n 2 , n 1 , n
n , 2 2 , 2 1 , 2
n , 1 2 , 1 1 , 1
a a a
a a a
a a a
donde a
ij
a
ji
Al menor complementario de orden k n
extraido de H lo llamaremos H
k
H
k

k , k 2 , k 1 , k
k , 2 2 , 2 1 , 2
k , 1 2 , 1 1 , 1
a a a
a a a
a a a
TEOREMA 1
Sea
x x a j i
n
1 j i, j i,
E

=
= donde los coeIicientes a
ij
y las variables xi , xj toman valores
reales y se veriIica que a
ij
a
ji
2
La condicion necesaria y suIiciente para que E sea deIinida positiva es que H
k
~ 0 para
k 1..n
La condicion necesaria y suIiciente para que E sea deIinida negativa es que (-1)
k
H
k
~ 0 para
k 1..n En esta ultima expresion, para k 1 (impar), H
k
debe ser negativo, de lo contrario
no se puede asegurar nada.
DEMOSTRACION
Nos limitaremos a eIectuar la demostracion en el espacio R
2
2
2 2 , 2 2 1 2 , 1
2
1 1 , 1 2 2 2 , 2 1 2 1 , 2 2 1 2 , 1 1 1 1 , 1
x . a x . x . a . 2 x . a x x a x x a x x a x x a
x
j
x
i
1 j i,
a
j i,
E
2
+ + = + + + =
=
=
ya que a
1,2
a
2,1
multiplicamos y dividimos la expresion por a
1,1
y en los dos primeros
terminos completamos el binomio cuadrado haciendo el siguiente artiIicio
2
2 2 , 2
2
2
1 , 1
2
2 , 1 2
2
1 , 1
2
2 , 1
2 1 2 , 1
1 , 1
1 , 1 2
1
1 , 1
1 , 1
2
x . a x .
a
a
x .
a
a
x . x . a
a
a
. 2 x .
a
a
E + + + =

2
2
2
2 , 1 2 , 2 1 , 1
1 , 1
2
2 2 , 1 1 1 , 1
1 , 1
x . a a . a
a
1
x . a x . a
a
1
E + + =
En el espacio R
2
, H
2
) a a . a (
a a
a a
2
2 , 1 2 , 2 1 , 1
2 , 2 1 , 2
2 , 1 1 , 1
= y H
1
a
1,1
y reemplazamos en E
) x , x ( E x . H
H
1
x . a x . a
H
1
E
2 1
2
2 2
1
2
2 2 , 1 1 1 , 1
1
= + + =
Entonces si

>
>
0 H
0 H
2
1
E es deIinida positiva

>
<
0 H ) 1 (
0 H
2
2
1
E es deIinida negativa
E EX XT TR RE EM MO OS S D DE E F FU UN NC CI IO ON NE ES S D DE E V VA AR RI IA AS S V VA AR RI IA AB BL LE ES S
En este tema se estudiara la teoria de maximos y minimos relativos, (o locales), de Iunciones
de varias variables independientes o bien relacionadas entre si mediante ciertas condiciones
adicionales, que al igual que para Iunciones de una variable independiente constituye una
importante aplicacion del calculo diIerencial, y en particular de la Iormula de Taylor.
Veamos, entonces, los extremos libres en primer termino.
E EX XT TR RE EM MO OS S L LI IB BR RE ES S D DE E F FU UN NC CI IO ON NE ES S D DE E V VA AR RI IA AS S V VA AR RI IA AB BL LE ES S
Aqui denotaremos por y I(x
1
,x
2
,x
3
,.....,x
n
) I( x
&
) una Iuncion de 'n variables
independientes deIinida en un cierto subconjunto S de R
n
, a
&
(a
1
,a
2
,..., a
n
) un punto de S y
N N( a
&
, r) un entorno del punto a
&
, de radio r ~ 0.
Definicin 1: Se dice que y I( x
&
) tiene un maximo relativo o local en a
&
e S, si:
- r ~ 0 / x
&
e S N( a
&
, r) : I( x
&
) s I( a
&
)
Definicin 2: Se dice que y I( x
&
) tiene un minimo relativo o local en a
&
e S, si :
3
- r ~ 0 / x
&
e S N( a
&
, r) : I( a
&
) s I( x
&
)
Definicin 3: Se dice que y I( x
&
) tiene un extremo absoluto o global en a
&
e S, si:
(I) x
&
e S : I( x
&
) s I( a
&
) , o bien :
(II) x
&
e S : I( a
&
) s I( x
&
)
En el caso (I), I( a
&
) constituye el maximo absoluto de I , y en el caso (II) I( a
&
) constituye el
minimo absoluto de I.
Nota: Los maximos y minimos locales se denominan extremos relativos o locales. La palabra
'relativo ('local) indica que se compara el valor de la Iuncion en el punto x
&
a
&
con los
valores que ella toma en una vecindad de dicho punto solamente. Asi, una Iuncion con
maximos y minimos locales puede tomar valores mayores que sus maximos locales y menores
que sus minimos locales. Ademas, notemos tambien que una Iuncion y I( x
&
) puede tener
varios maximos y minimos locales, iguales o no entre si. Estas ultimas observaciones, para el
caso de Iunciones de una variable, se justiIican al considerar la siguiente Iigura.
y y I(x)
a
Condiciones necesarias para la existencia de extremos locales de funciones derivables
Teorema: Sea y I(x
1
, x
2
,......, x
n
) I( x
&
) una Iuncion deIinida en un recinto S (conjunto
abierto y conexo de R
n
) y derivable en un punto a
&
(a
1
, a
2
,....., a
n
) e S. Condicion necesaria
pero no suIiciente para que I tome un valor extremo local en a x
& &
= es que:

=
c
c
=
c
c
=
c
c
, 0
x
a I
0
x
a I
0
x
a I
n
2
1
&

&
&
(1)
es decir que en ese punto a x
& &
= se anulan
todas las derivadas parciales de primer
orden de I.
b c d e
x
4
Demostracin: Supongamos que y I( x
&
) toma un valor extremo local en el punto a
&
e S.
Ahora consideremos las variables x
2
, x
3
,......, x
n
Iijadas en los valores a
2
, a
3
,....., a
n
respectivamente. En estas condiciones, resulta y I(x
1
, a
2
, a
3
,...., a
n
) E(x
1
) una Iuncion de la
unica variable 'x
1
. Por otra parte, esta Iuncion E(x
1
) debe tener un extremo local en x
1
a
1
,
como es obvio, y por ello, al ser E(x
1
) I(x
1
, a
2
, a
3
,..., a
n
) derivable en x
1
a
1
, debe ser
1 1
1
a x en 0
dx
x dE
= = pero
1
n 1
1
n 1 1
1 1
1
x
) a ,..... a ( I
dx
) a ,..... a , x ( dI
es a x en 0
dx
x dE
c
c
= = =
Luego, resulta

0
x
a I
1
=
c
c
&
. En Iorma analoga se prueban las demas relaciones (1).
Ahora veamos que si se veriIican las relaciones (1), pueden presentarse distintas situaciones
en una vecindad del punto x
&
a
&
.
Es decir, veamos que (1) no es una condicion suIiciente para garantizar la existencia de
extremo de I(x) en x
&
a
&
(como lo prueba el ejemplo 3).
Ejemplo 1:
Sea I(x,y) 9 - x - y, (x,y) e R. Las derivadas parciales de primer orden de I son
I
x
(x,y) - 2x,
I
y
(x,y) - 2y.
Asi vemos que (0,0) es el unico punto en el cual se anulan simultaneamente ambas derivadas
parciales de primer orden de I (punto critico de I).Por otra parte, es
(x,y) e R: I(x,y) 9 - x - y 9 - (x y) s 9 I(0,0).
Luego, I tiene en (0,0) un maximo local. Tambien aqui se ve que I(0,0) 9 es el maximo
absoluto de I en R.
Ejemplo 2:
Sea I(x,y) 9 x y (x,y) e R.
Calculamos las derivadas parciales de primer orden de I.
I
x
(x,y) 2x
I
y
(x,y) 2y
Vemos que en (0,0) se anulan simultaneamente estas derivadas parciales de I.
Zf(x,y)
5
Ademas (x,y) e R: I(x,y) 9 x y > 9 I(0,0).
Entonces, I tiene en (0,0) un minimo local .
Obviamente tambien I(0,0) 9 resulta ser el minimo absoluto de I en R.
Ejemplo 3:
Sea I(x,y) x - y, (x,y) e R Luego, es

=
=
y 2 ) y , x ( I
x 2 ) y , x ( I
y
x
Como siempre, calculadas las derivadas parciales de primer orden de I, vemos que en (0,0)
se anulan estas simultaneamente. Luego (0,0)es un punto critico de I.
Notamos que : y = 0 : I(0,y) 0- y -y 0 I(0,0). Y tambien que x = 0 :
I(x,0) x - 0 x ~ 0 I(0,0).
De lo anterior concluimos que en todo entorno de (0,0) existen puntos (x,0) para los cuales
I(x,0) ~ I(0,0) y puntos (0,y) para los cuales I(0,y) I(0,0).
Entonces resulta que en (0,0) I no tiene extremo local, aunque en el ambas derivadas parciales
de I se anulan simultaneamente.
Observaciones:
1)Si y I( x
&
) es diIerenciable, las condiciones (1) implican que la diIerencial total de I en el
punto a
&
en el cual I tiene un extremo relativo, es nula:
6
0 dx . 0 ......... dx . 0 dx .
x
) a ( I
... .......... dx .
x
) a ( I
) a ( dI
n 1 n
n
1
1
= + + =
c
+ +
c
=
& &
*
Luego, si I es diIerenciable, las condiciones (1) quedan resumidas en:d I ( a
&
) 0 (2)
En particular, si I es una Iuncion de dos variables independientes z I(x,y), la condicion (2)
implica que el plano tangente a la graIica de I en el punto (a
1
, a
2
, I(a
1
, a
2
)) -cuya ecuacion es:
z - I(a
1
, a
2
) I
x
(a
1
, a
2
) . (x - a
1
) I
y
(a
1
, a
2
) . (y - a
2
) d I(a
1
, a
2
) -es horizontal, puesto que
resulta: z - I(a
1
, a
2
) d I(a
1
, a
2
) 0, o sea z I(a
1
, a
2
) constante.
En la practica, para determinar los extremos de una Iuncion derivable, se comienza por
resolver el sistema de ecuaciones (1), obteniendose un numero Iinito o inIinito de raices (a
1
,
a
2
,....., a
n
), (b
1
, b
2
,....., b
n
) que se denominan puntos criticos, estacionarios o extremantes de la
Iuncion I porque en ellos puede haber extremo relativo o absoluto de I.
El examen directo del comportamiento de I en entornos de cada uno de ellos acaba de decidir
la cuestion.
C CO ON ND DI IC CI IO ON NE ES S S SU UF FI IC CI IE EN NT TE ES S P PA AR RA A L LA A E EX XI IS ST TE EN NC CI IA A D DE E E EX XT TR RE EM MO OS S L LO OC CA AL LE ES S
En general, el problema de detectar extremos de Iunciones de varias variables puede llegar a
ser muy complejo. Aqui solo se estudiara, como aplicacion de la Iormula de Taylor, un
teorema que provee condiciones suIicientes para la existencia de extremo local en un punto
critico dado, en el caso de una Iuncion de dos variables independientes que cumpla ciertas
condiciones.
Para estudios mas detallados y generales del tema en cuestion, remitimos al estudiante a la
abundante bibliograIia existente sobre el particular; por ejemplo: Analisis Matematico, Rey
Pastor - Pi Calleja - Trejo, volumen 2, Editorial Kapelusz, 1957.
Antes de pasar al teorema mencionado, recordaremos un teorema de Bolzano - Weierstrass, y
daremos una deIinicion que nos sera de utilidad en lo que sigue .
Teorema: (Bolzano - Weierstrass)
Si una Iuncion y I(x) esta deIinida en un intervalo cerrado |a,b| y es continua en el, entonces
- p e |a,b|, - q e|a,b| / I(p) max. I(x) ` I(q) min. I(x) con x e |a,b|
Definicin:
Si I(x,y) es una Iuncion deIinida en un recinto D, con derivadas de segundo orden continuas,
llamaremos Hessiano de I en D al siguiente determinante Iuncional.
) y , x ( I ) y , x ( I . ) y , x ( I
) y , x ( I ) y , x ( I
) y , x ( I ) y , x ( I
) y , x ( H
2
xy yy xx
yy yx
xy xx
=
(
(

= (x,y) e D.
Teorema: Si una Iuncion z I(x,y) deIinida en un recinto Rc R
2
tiene derivadas parciales
segundas continuas en un entorno del punto P(a,b) y no simultaneamente nulas en el punto
P(a,b), siendo I
x
(a,b) I
y
(a, b) 0, entonces :
1. H(a,b) I
xx
(a,b).I
yy
(a,b)- > @ b) (a, I
2
xy
~0 y I
xx
(a,b)0 I tiene un maximo local en P(a,b).
2. H(a,b)~0 y I
xx
(a,b)~0I tiene un minimo local en P(a,b).
3. H(a,b)0I tiene en P(a,b) un punto de ensilladura, donde no hay extremo local.
4. H(a,b)0no se podra aIirmar o negar la existencia de extremo local en P(a,b).
7
Demostracin:
Supongamos entonces que la Iuncion zI(x,y) deIinida en un recinto Rc R
2
tenga derivadas
parciales segundas continuas en un entorno de un punto critico P(a,b) de I del recinto R y
que estas derivadas no se anulen simultaneamente en P(a,b).
Desarrollando la Iuncion I(x,y) por la Iormula de Taylor para n1 en un entorno del punto
critico P(a,b), tendremos:
) k b , h a ( I ) k
y
h .
x
((
! 2
1
) b , a ( I ) k
y
h .
x
( ) b , a ( I ) k b , h a ( I
2
u + u +
c
c
+
c
c
+
c
c
+
c
c
+ = + +
con 0u1
Ahora, teniendo en cuenta que es I
x
(a,b)I
y
(a,b)0 y la continuidad de las derivadas segundas
en P(a,b), resulta:
> @,
3 yy
2
2 xy 1 xx
2
I k I hk 2 I h
2
1
b) I(a, k) b h, I(a b) I(a, 0 0 0 + + + + + = + + =
con
0 k) , (h
i i
=
para
0
2 2
k h + + = 7
( i 1,2,3), es decir
) (
2
1
k I hk I 2 h I
2
1
) b I(a,
2 2
yy xy
2
xx
+ + + =
(a)
donde I
xx
, I
xy
, I
yy
indican derivadas tomadas precisamente en el punto P(a,b), y
2
3 2
2
1
2
k hk 2 h ) ( 0 0 0 7 + + =
es un inIinitesimo para 7 0 de orden superior a
2
7 .
Recordemos que si en un entorno de (a,b) es
AE ~ 0 en (a,b) existe un MINIMO RELATIVO ESTRICTO
AE 0 en (a,b) existe un MAXIMO RELATIVO ESTRICTO
AE _ 0 en (a,b) existe un MINIMO RELATIVO AMPLIO
AE _ 0 en (a,b) existe un MAXIMO RELATIVO AMPLIO
Si h y k son suIicientemente pequeos el signo de AE es el signo del primer parentesis en (a)
Pero esa expresion es una Iorma cuadratica en h y k cuyo determinante vale H
(

yy yx
xy xx
I I
I I
) y , x (
) I , I (
I I . I
) y ( ) x ( 2
xy yy xx
c
c
= =
este determinante recibe el nombre de HESSIANO de la
Iuncion I(x,y).
Si la Iorma cuadratica es deIinida positiva AE ~ 0 en (a,b) existe un MINIMO RELATIVO
ESTRICTO
Si la Iorma cuadratica es deIinida negativa AE 0 en (a,b) existe un MAXIMO RELATIVO
ESTRICTO
Si la Iorma cuadratica es indeIinida AE no tiene siempre el mismo signo tomando valores
positivos y negativos.
No obstante que el plano tangente es horizontal a la superIicie en el punto (a,b) no existe
extremo y este es un punto de ensilladura.
Si la Iorma cuadratica es semideIinida, AE tomara signo constante, anulandose para algun
conjunto de valores de h y k (no simultaneamente nulos)
Este se trata de un caso dudoso porque no podemos aIirmar o negar que en (a,b) exista
extremo relativo.
El Plano tangente a la superIicie no lo es solo en un punto, sino a lo largo de una recta
llamada singular. Se trata entonces de un CASI-MINIMO o un CASI-MAXIMO segun que la
Iorma cuadratica sea semideIinida positiva o negativa respectivamente.
8
Entonces dada zI(x,y) para determinar los puntos extremos hacemos lo siguiente
1. Hallamos las derivadas primeras de I(x,y) respecto de x e y respectivamente
2. Planteamos el sistemas de ecuaciones

=
=
0 ) y , x ( I
0 ) y , x ( I
y
x
y resolvemos el sistema y hallamos
los puntos criticos P(a,b) , Q(a,b) etc.
3. Calculamos el HESSIANO H
(

yy yx
xy xx
I I
I I
) y , x (
) I , I (
I I . I
) y ( ) x ( 2
xy yy xx
c
c
= =
Y reemplazamos en H las coordenadas de los puntos criticos P, Q, etc.
Si H(a,b) ~ 0 existe maximo o minimo ? Recordamos el teorema de las Iormas cuadraticas
que nos aseguraba que E es deIinida positiva si H1 y H2 son positivo AE ~ 0 y por lo tanto
existe un MINIMO RELATIVO.
Si 0 ) b , a ( I H
xx 1
< = en (a,b) existe un MAXIMO RELATIVO
Si H(a,b) 0 la Iorma cuadratica es semideIinida y tendremos en (a,b) un caso dudoso.
Si H(a,b) 0 la Iorma cuadratica es indeIinida y tendremos en (a,b) un punto de
ensilladura.
EXTREMOS DE FUNCIONES CON VARIABLES LIGADAS O EXTREMOS CONDICIONADOS
I IN NT TR RO OD DU UC CC CI IO ON N
Los problemas de maximos y minimos locales se presentan con Irecuencia en Iorma tal que
las variables no son todas independientes. Sin embargo, en muchos casos las condiciones de
vinculo no permiten despejar unas variables en Iuncion de otras.
Es por ello que se buscan metodos que puedan utilizarse tambien cuando las condiciones de
vinculo solamente deIinen Iunciones en Iorma implicita.
Sea en general z I(x,y) una Iuncion diIerenciable de dos variables, estando ligadas estas por
una ecuacion diIerenciable g(x,y) 0.
Si se cumple la condicion
v
g
c
c
= 0, se podra considerar y y(x) deIinida en Iorma implicita
por g(x,y) 0, resultando z I > @ y(x) , x H (x).
Buscamos un metodo que permita determinar los extremos de H(x) mediante I y g , sin
necesidad de conocer la expresion explicita de H(x) ni la de y y(x).
Se puede interpretar geometricamente el problema en el plano si se supone que en el se
busca extremar una Iuncion I(x,y) sobre una determinada curva g(x,y) 0.
Supuestas satisIechas las condiciones de existencia, continuidad y derivabilidad de y y(x),
la condicion necesaria (pero no suIiciente) de existencia de extremo local sera la anulacion
de la derivada total de I(x,y) siendo y y(x) esto es de H(x) I|x ,y (x)|), obteniendo y(x)
mediante g(x,y) 0. (o sea H(x)0)
9
Llegamos asi al sistema :

= +
= +
0 y' g g
0 y' I I
y x
y x (2)
o bien al:

= +
= +
0 dy g dx g
0 dy I dx I
y x
y x
(2) (ya que es y -
v
x
g
g
),
Notemos que en la primera de las relaciones (2) dx es incremento independiente, mientras
que dy es diIerencial Iuncional, determinada por la segunda relacion, pudiendose intercambiar
los papeles si asi conviene para las condiciones de existencia o de contorno.
Esta ultima observacion es importante puesto que las condiciones (2) pueden no dar el
extremo buscado si este se alcanza en un punto de contorno .
Ahora, de la segunda de las relaciones (2), tenemos
dx
g
g
dy
y
x
= (supuesto dx incremento independiente )
y reemplazando esta expresion de dy en la primera de las relaciones (2) resulta
dx .
g
g I g I
dx
g
g
I dx I dy I dx I 0
y
x y y x
y
x
y x y x

= = + =
Luego, como dx es incremento independiente, necesariamente debe ser
0
g
g I g I
y
x y y x
=
, esto es
0 g I g I
x y y x
=
(3)
Tenemos entonces que la expresion (3) junto con la ecuacion de enlace g(x,y)0 Iorman el
sistema de dos ecuaciones con dos incognitas:

=
=
0 y) g(x,
0 g I g I
x y y x
(4)
Las soluciones del sistema (4) son los puntos criticos o extremantes en los cuales puede
existir extremo local en dichas condiciones de continuidad y diIerenciabilidad.
Debemos notar que sin estas ultimas restricciones mencionadas acaso existen otros
extremos singulares, sin olvidar que deben considerarse los puntos del contorno.
Einalmente, observemos que el sistema (4) da condiciones necesarias pero no suIicientes para
la existencia de extremo local. La discusion de suIiciencia se hace mediante el estudio del
signo de d
2
I, estando aqui ligadas dx, dy, d
2
y por las condiciones dg 0, d
2
g 0, si
consideramos dx incremento independiente y a dy diIerencial Iuncional.
En la practica, al resolver problemas concretos, se logra a veces determinar la naturaleza del
punto critico en base al caracter del problema mismo, mediante consideraciones auxiliares
(por ejemplo, consideraciones Iisicas o geometricas).
M M T TO OD DO O D DE E L LO OS S M MU UL LT TI IP PL LI IC CA AD DO OR RE ES S D DE E L LA AG GR RA AN NG GE E
Muchos problemas de optimizacion tienen restricciones o ligaduras en los valores que pueden
usarse para lograr la solucion optima. Tales ligaduras tienden a complicar los problemas de
optimizacion ya que la solucion optima puede ocurrir Iacilmente en un punto Irontera del
dominio.
10
Para resolver tales problemas se utiliza una tecnica ingeniosa que se conoce como METODO
DE LOS MULTIPLICADORES DE LAGRANGE en honor al Matematico Erances Joseph Louis
LAGRANGE (1736-1813) quien introdujo el metodo en su Iamoso articulo de mecanica
cuando tenia diecinueve aos.
Este metodo implica la introduccion de nuevos parametros llamados multiplicadores de
Lagrange, mediante el cual se logra mayor sencillez y simetria en los calculos y se elimina la
necesidad de distinguir previamente entre variables dependientes e independientes, asi como
la intervencion de diIerenciales segundas de variables dependientes en la discusion de
suIiciencia.
Supongamos entonces que buscamos extremar una Iuncion z I(x,y) con la condicion g(x,y)
0, donde tanto I como g son diIerenciables y g
y
= 0 (o bien g
x
= 0, si g
y
0)
Si en el sistema (2) visto anteriormente, a la primera ecuacion le sumamos la segunda
multiplicada por un parametro , ordenando respecto de dx y dy se obtiene:

= +
= +
0 dy g dx g
0 dy I dx I
y x
y x 0 ) dy g dx g ( ) dy I dx I (
y x y x
= + + + (I
x
g
x
) dx (I
y
g
y
) dy 0 (5)
Como en (5) las diIerenciales dx, dy no son independientes, no podemos deducir sin mas que
los parentesis deben anularse . Ahora, si se elige de modo que se anule el coeIiciente de dy,
resulta:
I
x
g
x
0
(6)
I
y
g
y
0
que conjuntamente con la condicion de vinculo g(x,y) 0 dan tres ecuaciones para
determinar los puntos criticos y el correspondientemente parametro para cada uno de ellos:
I
x
g
x
0
I
y
g
y
0
g(x,y) 0
Lagrange observo que las ecuaciones (6) corresponden o se establecen cuando se buscan los
extremos locales libres de una Iuncion que la llamaremos Iuncion auxiliar de Lagrange
E(x,y) I(x,y) g(x,y) (7)
considerando en ella x e y como variables independientes y como constante.
Por otra parte, para discutir el signo de dI basta considerar el de dE, ya que sobre g(x,y) 0
es E(x,y) I(x,y), como se ve en (7), y con esa condicion g(x,y) 0, sera tambien
dE dI.
Recordando como se calcula la diIerencial segunda de Iunciones compuestas, tendremos para
d
2
E la expresion
11
y d
y
E
E ) dy
y
dx
x
( E d
2 2 2
c
c
+
c
c
+
c
c
=
Ahora, la segunda ecuacion del sistema (6) es, segun la expresion (7) E
y
0, y como sobre
g(x,y) 0 es dE dI, tendremos
E ) dy
y
dx
x
( I d
2 2
c
c
+
c
c
=
Asi, vemos que el calculo Iormal de dE dI se eIectua considerando tambien en E a x e y
como variables independientes.
Cabe aclarar que si g
y
0, no podra hallarse un tal que anule el coeIiciente de dy en (5).
Entonces, si g
x
= 0, el metodo sigue siendo valido con solo permutar los roles de x e y.
Para los puntos singulares de la curva g(x,y) 0 ( puntos de la curva g (x,y) 0 que ademas
satisIacen g
x
g
y
0), no podran obtenerse las ecuaciones (6) obviamente, ni aun permutando
los roles de x e y, y entonces el metodo de Lagrange no es aplicable.
M MU UL LT TI IP PL LI IC CA AD DO OR RE ES S D DE E L LA AG GR RA AN NG GE E
Si I y g satisIacen las hipotesis del Teorema de LAGRANGE y I tiene un maximo o minimo
sujeto a la ligadura g (x,y) 0 , entonces dicho extremo se producira en uno de los puntos
criticos de la Iuncion E dada por ) y , x ( g ) y , x ( I ) , y , x ( E =
Para hallar los puntos crticos se resuelve el siguiente sistema
0 ) y , x ( g ) , y , x (
0
y
) y , x ( g
y
) y , x ( I
) , y , x (
0
x
) y , x ( g
x
) y , x ( I
) , y , x (
E
E
E
y
x
= =
=
c
c

c
c
=
=
c
c

c
c
=

Ejemplo de una aplicacin a los negocios

La Iuncion de produccion de COBB-DOUGLAS que se usa en Economia tiene la siguiente
expresion : I (x,y) C . x
a
.y
(1-a)
donde el valor de a esta comprendido entre 0 y 1, 0a1
Esta Iuncion se usa como modelo para representar el numero de unidades de produccion por
cantidades variables de trabajo y capital.
Si x mide las unidades de trabajo e y mide las unidades de capital entonces el numero total de
unidades producidas viene dado por la Iuncion I (x,y)C.x
a
.y
(1-a)
Para un Iabricante particular la Iuncion de COBB-DOUGLAS tiene un valor de la constante
C 100 y de a 0,75
Las unidades de trabajo son de $ 150 la unidad, y la de capital de $ 250 la unidad.
El costo total de trabajo y capital es de $ 50.000.
Se desea hallar el nivel de produccin mximo del fabricante .
Del limite del costo de capital y trabajo obtenemos la ligadura
150.x 250.y 50.000
Usando el metodo de Lagrange hacemos
g(x,y) 150.x 250.y - 50.000 y consideramos la Iuncion auxiliar de Lagrange
E (x,y, ) I ( x , y ) - g ( x , y ) 100.x
3/ 4
.y
1/ 4
- .(150.x 250.y -50.000)
el sistema sera
12
0 . 150
4
3
. 100
x
) y , x ( g
x
) y , x ( I
) , y , x (
y
x E
4 / 1
4 / 1
x
= =
c
c

c
c
=

0 . 250
4
1
. 100
y
) y , x ( g
y
) y , x ( I
) , y , x (
y
x E
4 / 3
4 / 3
y
= =
c
c

c
c
=

0 000 . 50 y . 250 x . 150 ) y , x ( g ) , y , x (

E
= + = =

De la primera ecuacion del sistema obtenemos 0.5 x

-1/ 4
.y
1/ 4
Y sustituyendo en la segunda ecuacion
0 .
2
1
. 250
4
1
. 100
y
x
y
x
4 / 1
4 / 1
4 / 3
4 / 3
=

obtenemos x 5.y
Que con la tercera ecuacion del sistema al reemplazar su valor se obtiene y 50 x 250
Einalmente la produccion maxima es
Los economistas llaman al multiplicador de Lagrange que se obtiene en una Iuncion de
produccion Productividad marginal del capital
Asi en el ejemplo esto signiIica que por cada $ adicional gastado en la produccion se obtendra
0,334 unidades adicionales de producto.
Otro ejemplo aclaratorio :
Hallar los valores extremos de z I(x,y) x.y, sobre la circunIerencia xy 1.
Hay que extremar z I(x,y) x . y, con la condicion g(x,y) xy-1 0
Sin mas, vemos que I y g son diIerenciables en R.
Luego Iormamos la Iuncion auxiliar de Lagrange E(x,y) x . y (x y-1).
A continuacion, calculamos las derivadas de primer orden de E y establecemos el sistema
siguiente:
E
x
(x,y) y 2 x 0,
(1) E
y
(x,y) x 2 y 0,
g(x,y) x y - 1 0.
Despejando en las dos primeras ecuaciones de (1) tenemos
(2)
y 2
x
x 2
y
= = se sigue que: y x (3)
Por la tercera ecuacion de (1), y por (3) debe ser : yy-1 0, esto es 2 y 1.
Luego, es
2
2
2
1
y = =
, y por (3) es
2
2
x =
. Asi obtenemos los puntos
,
2
2
,
2
2
,
2
2
,
2
2
2 1
|
|
.
|

\
|

|
|
.
|

\
|
P P
,
2
2
,
2
2
,
2
2
,
2
2
4 3
|
|
.
|

\
|

|
|
.
|

\
|
P P
que constituyen los puntos criticos o extremantes de z I(x,y) con la condicion dada.
Estudiemos ahora las condiciones de suIiciencia en los puntos criticos, o sea el signo de dI
( signo AI ) recordando que dx, dy estan ligadas por d g(x,y) d (x y - 1) 0
Entonces, segun lo visto antes es signo dI signo dE. Ahora, como
0.5 x
-1/ 4
.y
1/ 4
0.5 (250)
-1/ 4
. (50)
1/ 4
0,334
I(x,y) 100.(250)
3/ 4
.(50)
1/ 4
16719 unidades
13
E
xx
2 ,
E
xy
1,
E
yy
2 , sera:
dI dE E
xx
dx 2 E
xy
dx dy E
yy
dy 2 dx 2 dx dy 2 dy.
Por otra parte, tenemos que en
2
1
x 2
y
:
2
2
,
2
2
P
1 1
= =
|
|
.
|

\
|
, en
,
2
1
x 2
y
:
2
2
,
2
2
P
2 2
= =
|
|
.
|

\
|

en
,
2
1
x 2
y
:
2
2
,
2
2
P
3 3
= =
|
|
.
|

\
|

en
2
1
x 2
y
:
2
2
,
2
2
P
4 4
= =
|
|
.
|

\
|

, luego, en P
1
y P
2
tendremos:
dI - dx 2 dx dy - dy - (dx - 2 dx dy dy) - (dx - dy) .(4)
(aqui ya vemos que d
2
I tiene signo negativo, por lo tanto AI tendra signo negativo, lo cual
implicara que I tiene maximo local en P
1
y P
2
. No obstante, continuaremos adelante con el
Iin de ilustrar totalmente el procedimiento en estudio).
Ahora bien, dx y dy estan ligadas por dg(x,y) (x y - 1) 0, esto es 2x dx 2y dy 0 .
Luego, es
y
x
dy = dx (5) (y = 0 en P
1
, P
2
). De (4) y de (5) resulta
dI

- (dx

x /y dx) Ahora, como en
|
|
.
|

\
|
2
2
,
2
2
P
1
y
,
2
2
,
2
2
P
2
|
|
.
|

\
|

es
1
y
x
+ =
tenemos que
dI - (dx dx) - 4 dx.Por lo tanto, signo AI signo dI - 1.
Luego, I tiene en P
1
, P
2
maximo relativo. Ademas, vale
Z
max
x . y .
2
1
2
2
) (
2
2
) ( = - =
P
1
, P
2
Analogamente, como en
|
|
.
|

\
|

2
2
,
2
2
P
3
y en
|
|
.
|

\
|

2
2
,
2
2
P
4
es
1
y
x
=
, tendremos:
dI dx 2 dx dy dy (dx dy)

2
dx
y
x
dx
|
|
.
|

\
|

(dx dx)
2
4dx.
Por lo tanto signo AI signo dI 1. Esto signiIica que I tiene en P
3
, P
4
valor minimo
local. Ademas es
Z
min
x . y
2
1
2
2
.
2
2
= =
P
3
, P
4
Nota: recordemos que la Iuncion signo de deIine asi:
sgn : R R tal que
sgn(x)1, si x ~ 0,
sgn(x)0, si x 0,
sgn(x) -1, si x 0.
1
CALCULO DIFERENCIA E INTEGRAL II
TEMA N 8 (Ultima actualizacin 24/10/2003)
DEFINICION DE INTEGRAL DOBLE
Sea E una region de area A del plano 'xy, E incluye su Irontera (Region Cerrada).
Subdividimos al plano 'xy en rectangulos mediante rectas paralelas a los ejes de coordenadas
(Iigura 1).
Partiendo de algun lugar conveniente (tal como el extremo superior izquierdo de E), numeramos
sistematicamente todos los rectangulos que estan dentro de E.
Supongamos que hay 'n de tales rectangulos y los designamos con r
1
, r
2
,....r
n
.
y
r
1
r
2
r
3
r
4
r
5
.. . . E
.. .. .. .. ..
.. .. .. .. ..
r
n
x
Figura 1
Utilizamos los simbolos A(r
1
), A(r
2
),...., A(r
n
) para las areas de estos rectangulos.
El conjunto de los n rectangulos r
1
, r
2
,...., r
n
} se llama una SUBDIVISION A de E.
La NORMA de la subdivision que generalmente se indica con A , es la longitud de la
diagonal del mayor rectangulo de la subdivision A.
Supongamos que z I(x,y) es una Iuncion deIinida para todo (x,y) de la region E.
La deIinicion para la INTEGRAL DOBLE de I SOBRE LA REGION E es analoga a la
deIinicion de integrales para Iunciones de una variable. Elegimos un punto arbitrario en cada uno
de los rectangulos de la subdivision A, designando las coordenadas del punto en el rectangulo r
i
con (
i
,,q
i
). Ahora Iormamos la suma: I(
1
, q
1
). A(r
1
) I(
2
, q
2
). A(r
2
) ...... I(
n
, q
n
). A(r
n
)
en Iorma general

=
q
n
1 i
) ri ( A ). i , i ( I
(1)
Esta suma es una aproximacion a la integral doble que deIiniremos; y se denomina 'SUMA
INTEGRAL.
Las sumas tales como (1) pueden Iormarse para subdivisiones con cualquier Norma positiva y
con el iesimo punto (
i
, q
i
) elegido en Iorma arbitraria en el rectangulo r
i
.
2
DEFINICION
Un numero L es el limite de las sumas del tipo (1)
L
n
1 i
) r ( A ). , ( I
0
i i i
lim
=
=
q
A

Si dado un ~ 0 ;
- o ~ 0 /
c <
(

=
L ) ri ( A ). i , i ( I
n
1 i
para toda subdivision A con A o y para
todas las elecciones posibles de los puntos (
i
, q
i
) en los rectangulos r
i
. Puede demostrarse que si
el numero L existe entonces debe ser unico.
DEFINICION
Si I esta deIinida en una region E y el numero L, deIinido anteriormente, existe, decimos que I es
INTEGRABLE SOBRE F, y escribimos : } }
E
I(x,y). dA
A esta expresion la llamaremos tambien INTEGRAL DOBLE DE f SOBRE F. La integral
doble tiene una interpretacion geometrica como volumen de un solido. EIectivamente cada
termino de la sumatoria (1) representa el volumen de un cuerpo elemental de base (r
i
) y altura
h I(
i
,q
i
).
Siendo z I(x,y) una Iuncion continua en el dominio cerrado representado por la REGION E, la
sumatoria (1) tiene un limite si la diagonal maxima de Ar
i
tiende a cero con n tendiendo a
inIinito. Siendo este limite siempre el mismo, cualquiera sea el modo de la division del dominio
de los elementos Ar
i
, y la seleccion del punto de coordenadas (
i
, q
i
) en los dominios parciales
Ar
i
.
Este limite se llama integral doble de la Iuncion I(x,y) sobre E y si I(x,y) > 0, la integral doble es
igual al volumen del cuerpo limitado por la superIicie z I(x,y), el plano z 0 y la superIicie
cuyas generatrices son paralelas al eje 0z a traves de la Irontera de E. (Iig. 2)
V(s) } }
E
I(x,y). dA Siendo V(s) el volumen del solido deIinido por (x,y) e E
^
0 s z s I(x,y)
z z I(x,y)
I(
i
, q
i
)
0 y
E
x
(
i
, q
i
)
Figura 2
3
PROPIEDADES DE LA INTEGRAL DOBLE
Enunciaremos varias propiedades de las integrales dobles en analogia con las propiedades de la
integral deIinida de Iunciones de una variable.
TEOREMA
Si c es un numero y I es integrable sobre una region cerrada E, entonces c.I es integrable y :
} }
E
c.I(x,y).dA c.} }
E
I(x,y).dA
TEOREMA
Si I y g son integrables sobre una region cerrada E, entonces:
} }
E
|I(x,y) g(x,y)|.dA } }
E
I(x,y).dA } }
E
g(x,y).dA
El resultado de este teorema se puede extender a cualquier numero Iinito de Iunciones
integrables.
Las demostraciones de los teoremas anteriores resultan directamente de la deIinicion.
TEOREMA
Supongamos que I es integrable sobre una region cerrada E y m s I(x,y) s M (x,y) e E
entonces si A(E) designa el area de la region E, tenemos: m . A(E) s } }
E
I(x,y).dA s M . A(E)
TEOREMA
Si I y g son integrables sobre E y I(x,y) s g(x,y) (x,y) e E, entonces
} }
E
I(x,y).dA s } }
E
g(x,y).dA
TEOREMA
Si se hace una particion de la region cerrada E en las regiones E
1
y E
2
; es decir E
1
E
2
0 y E
1
E
2
E y si I(x,y) es continua en E se tiene: } }
E
I(x,y).dA } }
E1
I(x,y).dA } }
E2
I(x,y).dA
CALCULO DE LAS INTEGRALES DOBLES
La deIinicion de integral doble no es muy util para la evaluacion en cualquier caso particular.
Naturalmente, puede suceder que la Iuncion I(x,y) y la region E sean simples, de manera que el
limite de la suma (1) pueda calcularse directamente. Sin embargo, en general no se pueden
determinar tales limites.
Como en el caso de las integrales ordinarias y curvilineas, conviene desarrollar metodos simples
y de rutina para determinar el valor de una integral doble dada.
Sea E en rectangulo cuyos lados son x a, x b, y c, y d.
y
y d
F
y c x
x a x b
4
Suponemos que z I(x,y) es continua en cada (x,y) e E. Eormemos la integral simple con
respecto a x
}
b
a
dx ). y , x ( I donde se mantiene Iijo y al realizar la integracion.
Naturalmente, el valor de la integral anterior dependera del valor utilizado para y o sea que
podemos escribir:
}
=
b
a
dx ). y , x ( I ) y ( A
La Iuncion A(y) esta deIinida para c s y s d y se puede demostrar que si I(x,y) es continua en E
entonces A(y) es continua en |c,d|.
z z I(x,y)
A(y)
0
y
y c yd
xa
x F
xb
Se puede calcular la integral de A(y) y se escribe
dy x
b
a
d ). y , x ( I
d
c
d
c
dy ). y ( A | |
} } }
=
(2)
Podriamos haber Iijado primero x, luego Iormar la integral
}
=
d
c
dy ). y , x ( I ) x ( B
entonces
} } }
=
b
a
b
a
d
c
dx dy ). y , x ( I dx ). x ( B | |
(3)
Observese que las integrales se calculan sucesivamente por lo que reciben el nombre de
INTEGRALES ITERADAS.
En (2) integramos primero con respecto a x (considerando y constante) y luego con respecto a y;
en (3) integramos utilizando un orden inverso.
Se pueden deIinir las integrales iteradas sobre regiones E limitadas por curvas.
Esta situacion es mas complicada que la que hemos visto.
5
Consideremos una region E (ver Iiguras) donde la Irontera esta Iormada por las rectas x a, x
b, y p
(x)
, y q
(x)
con p
(x)
q
(x)
para a s x s b. DeIinimos
} }
b
a
q
p
dx . dy ). y , x ( I
) x (
) x (
donde
primero integramos (para x Iijo) desde la curva inIerior hasta la superior, es decir a lo largo de un
segmento tipico. Luego integramos con respecto a x desde a hasta b. Con mayor generalidad se
puede deIinir las integrales iteradas sobre una region E, integrando primero respecto de y
tenemos
} }
b
a
q
p
dx . dy ). y , x ( I
) x (
) x (
integrando respecto de x sera
} }
d
c
s
r
dy . dx ). y , x ( I
) y (
) y (
E1EMPLO
Dada la Iuncion I(x,y) x.y la region triangular E limitada por las rectas y 0, y 2x, x 2,
hallar los valores de ambas integrales iteradas. Integrando respecto a y primero tenemos:
8
2
x
dx .
2
0
2 x
0
2
0
x . 2 dx
2
y
. x dy . dx . y . x
2
0
4
2
0
3
x 2
0
2
=
(
(
(

= =
(
(
(

=
} } } }
y
y 2x
q
(x)
2x
x
0 p
(x)
0 x 2
6
Integrando en x tendremos:
} } } }

= =
(
(
(
(

= = =
4
0
2
2 / y
4
0
8
4
0
8 16
4
0
32
4
2
dy . 8 /
3
dy
2
y
dy . dx . y . x
y
y
)|
y ( y 2
|
2
x
. y
2
2
y
y 4 (2,4)
r
(y)
y
2 s
(y)
2
0 x
No es coincidencia que las dos integrales tengan el mismo valor. El siguiente teorema describe
esta situacion.
TEOREMA
Supongamos que E es una region cerrada que consta de todo (x,y) / a s x s b, p
(x)
s y s q
(x)
donde p y q son continuas y p
(x)
q
(x)
para a s x s b.
Suponemos que I(x,y) es continua en (x,y) de E. Entonces: }
E
} I(x,y).dA
} }
b
a
q
p
dx . dy ). y , x ( I
) x (
) x (
El resultado vale si la region E se representa en la Iorma cs y s d; r
(y)
s x s s
(y)
; r
(y)
s s
(y)
para
c s y s d. En tal caso: }
E
} I(x,y).dA
} }
d
c
s
r
dy . dx ). y , x ( I
) y (
) y (
Es decir que cuando ambas integrales se pueden calcular coinciden con la integral doble y por lo
tanto son iguales entre si. Hemos considerado dos Iormas de expresar una region E en el plano
xy. Ellas son: a s x s b ; p
(x)
s y s q
(x)
c s y s d ; r
(y)
s x s s
(y)
Erecuentemente ocurre, que una region E se puede expresar mas simplemente en una de las
Iormas dadas anteriormente que en la otra.
En casos dudosos, una graIica de E permite ver cual es mas simple y por lo tanto, cual de las
integrales iteradas se calcula mas Iacilmente.
7
Una region E a veces no puede expresarse en la Iorma anterior. En tales casos se puede
subdividir E en un numero de regiones, tal que cada una de ellas tenga alguna de las dos Iormas.
EIectuandose las integraciones en cada una de las subregiones y se suman los resultados.
Las siguientes Iiguras ilustran algunos ejemplos de como se pueden eIectuar tales subdivisiones
en virtud de la propiedad aditiva de conjuntos:

F
f(x,y).dA
F1
f(x,y).dA +
F2
f(x,y).dA +
F3
f(x,y).dA
E
E

F
f(x,y).dA
CUF
f(x,y).dA -
C
f(x,y).dA
INTEGRAL TRIPLE
La deIinicion de integral triple es analoga a la de integral doble. En el caso mas simple
consideremos una caja rectangular R acotada por 6 planos x a
0
, x a
1
, y b
0
, y b
1
, z c
0
, z
c
1
; y sea u I(x,y,z) una Iuncion de tres variables deIinida en todo (x,y,z) de R.
Subdividimos el espacio en cajas rectangulares mediante planos paralelos a los planos
coordenados. Sean B
1
, B
2
,......, B
n
aquellas cajas de la subdivision que contienen puntos de R.
z z c
1
c
1
Bi
R
co
b
0
b
1
0 y
a
0
a
1
x
E1
E2
E3
c
8
Designaremos con V(B
i
) el volumen de la i-esima caja B
i
.
Elegimos un punto Pi(
i
, q
i
,
i
) en B
i
, esta eleccion se puede hacer en Iorma arbitraria.
La suma ) B ( V ). , , (
n
1 i
I i i i i q
=

es una aproximacion de la integral triple.

La norma de subdivision es la longitud de la mayor diagonal de las cajas B
1
, B
2
,....., B
n
.
Si las sumas anteriores tienden a un limite cuando la norma de la subdivision tiende a cero y para
elecciones arbitrarias de los puntos P
i
, a este limite lo llamaremos la
INTEGRAL TRIPLE DE f SOBRE R
La expresion: I [ \ ] G9
5
( , , ). }}} se utiliza para representar el limite.
Asi como la integral doble es igual a dos integrales iteradas, tambien la integral triple es igual a
tres integrales iteradas.
Para el caso de la caja rectangular R obtenemos:
}}} } } }
=
R
a
a
b
b
c
c
dx . dy . dz ). z , y , x ( I dV ). z , y , x ( I
1
0
1
0
1
0
Suponemos ahora que una region S esta limitada por los planos x a
0
; x a
1
; y b
0
; y b
1
y
por las superIicies z r(x,y), z s(x,y).
La integral triple se puede deIinir de igual Iorma
TEOREMA
Sea S una region deIinida por las desigualdades:
S:P(x,y,z)/a s x s b; p
(x)
s y s q
(x)
; r(x,y) s z s s(x,y)
donde las p ; q ; r y s son continuas. Si I es una Iuncion continua en S, tenemos:
}}} } } }
=
S
a
a
q
p
s
r
dx . dy . dz ). z , y , x ( I dV ). z , y , x ( I
1
0
) x (
) x (
) y , x (
) y , x (
Las integrales iteradas se eIectuan considerando todas las variables constantes, excepto aquella
respecto a la cual se integra. Este concepto se puede extender a n variables.
CAMBIO DE VARIABLE EN LAS INTEGRALES MULTIPLES
Sea ) 1 (
) v , u ( y
) v , u ( x
donde de
R
dy . dx ). y , x ( I

=
=
}}
y que esta transIormacion posee una inversa
unica dada por:

=
=
) y , x ( v v
) y , x ( u u
por lo que el Jacobiano de (1) -
X Y
= =
w M \
w
( , )
( , )
w
w
( , )
( , )
[ \
X Y
= 0
Al recinto R del plano x, y le corresponde un recinto R' en el plano u, v.
Haciendo entonces una particion en R' con rectas paralelas a los ejes u, v; le corresponde en el
plano x, y una particion de R por curvas continuas dadas por (1).
9
v y
R
R'
i
R
i
R'
u x
A un subrecinto R'
i
de R' le corresponde un subrecinto R
i
de R.
Queremos encontrar como se transIorma cada elemento rectangular R'
i
en el elemento curvilineo
R
i
correspondiente. Para mejor ilustracion ampliaremos el dibujo de ambos recintos:
y x(u
i
h; v
j
k)
y(u
i
h,v
j
k)
v
j
k
R'
i
R
i
x(u
i
h; v
j
)
k y(u
i
h, Av
Av
h
v
j
x(u
i
; v
j
k) x(u
i
; v
j
)
Au y(u
i
, v
j
k) y(u
i
, v
j
)
u
i
u
i
h x
Buscamos la relacion que existe entre las areas de R'
i
y R
i
; para lo cual podemos considerar a R'
i
compuesto por dos triangulos iguales; lo mismo que a R
i
.
Para una particion con A suIicientemente pequea, podemos considerar a los triangulos
curvilineos de R
i
como planos, siendo el area de cada uno de ellos:
10
(
(
(

=
(
(
(

+ +
+ +
=
0 0 1
) v , u ( . k ) v , u ( . h ) v , u (
) v , u ( . k ) v , u ( . h ) v , u (
2
1
1 1 1
) k v , u ( ) v , h u ( ) v , u (
) k v , u ( ) v , h u ( ) v , u (
2
1
2
) R ( A
, i v , i u , i
, i v , i u , i
, i , i , i
, i , i , i
Esta ultima expresion resulta de restar a los elementos de la segunda y tercera columna, los de la
primera y aplicando Taylor (despreciando los terminos de orden superior al primero) es:
Desarrollando por los elementos de la tercera Iila, es:
) v , u (
) , (
J
2
k . h
) v , u (
) , (
2
k . h
) v , u ( ) v , u (
) v , u ( ) v , u (
2
k . h
) v , u ( . k ) v , u ( . h
) v , u ( . k ) v , u ( . h
2
1
2
) R ( A
j i u j i u
j i u j i u
j i u j i u
j i u j i u

=
c
c
=
(

=
(

=
A(r
i
) h . k . J Au . Av . J A(R'
i
)
) v , u (
) , (
J

Recordando la deIinicion de integral doble

}}
=
A
=
n
1 i
) ri ( A ). yi , xi ( I
R
0
lim dy . dx ) y , x ( I y como I(x,y) I|(u,v); (u,v)| E(u,v) sera
}} }} }}
c
c
= =
R R R
dv . du .
) v , u (
) , (
). v , u ( E dv . du . J ). v , u ( E dy . dx ) y , x ( I
con lo que hemos obtenido la relacion que liga las variables (x,y) con (u,v).
OPERADORES VECTORIALES
CAMPOS ESCALARES
Dado un sistema cartesiano ortogonal, los puntos del espacio o de una region del mismo quedan
determinados conociendo el valor de sus coordenadas x, y, z .
Una Iuncion (x,y,z) cuyo dominio sea la region considerada, se llama una FUNCION DE
PUNTO ESCALAR pues asigna a cada punto del DOMINIO un ESCALAR que esta
representado por el valor que toma la Iuncion en el mismo.
A modo de ejemplo, supongamos que la Iuncion (x,y,z) 3x 2xy yz este deIinida en todo
el espacio y analicemos que ocurre con en un punto determinado P(1,2,1):
(1,2,1) 3.1 2.1.2 2.1 9 que representa el escalar de ese punto.
Esta Iuncion (x,y,z) deIine un campo escalar dado que asigna o hace corresponder a cada punto
un escalar.
Dada una EUNCION ESCALAR (x,y,z) se llama GRADIENTE de la misma al VECTOR o
SEUDOVECTOR cuyas componentes son las derivadas parciales
x
,
y
,
z
.
El gradiente se simboliza con la notacion : grad o V grad V
x
.i
y
. j
z
. k
11
PROPIEDADES DEL GRADIENTE
Sea E una Iuncion escalar de dos Iunciones escalares , luego
grad E V E V( ) E
x
. i E
y
. j E
z
. k
(
x

x
)i (
y

y
) j (
z

z
) k
x
. i
x
. i
y
. j
y
. j
z
. k
z
. k
(
x
. i
y
. j
z
. k) (
x
. y
y
. j
z
. k) grad grad V V
luego: V( ) V V
Otra propiedad que es Iacilmente demostrable V( . ) . V . V
PROPIEDADES GEOMTRICAS
El incremento de la Iuncion (x,y,z) al pasar del punto P(x,y,z) al punto P dP de coordenadas
x dx ; y dy ; z dz es: d
x
. dx
y
. dy
z
. dz
Considerando a dP como el vector desplazamiento de componentes dx, dy, dz se puede expresar
a d como V . dP o sea: d (
x
. i
y
. j
z
. k) . (dx . i dy . j dz . k)
Si analizamos todos los desplazamientos posibles en cualquier direccion a partir de P y todos
ellos de la misma longitud, o sea, con el mismo modulo dP , el producto escalar sera maximo
cuando las direcciones coincidan. De esto surge una importante propiedad geometrica del
gradiente:
TEOREMA:
La direccion del vector gradiente de una Iuncion es aquella segun la cual esta Iuncion varia
mas rapidamente.
El modulo del gradiente se puede obtener de:
d V . dP . cos 0 V . dP
dP
d
= V
O sea el modulo del gradiente es igual al cociente entre el modulo de la variacion de en la
direccion de maxima variacion y el modulo del desplazamiento mismo, cuando ambos tienden a
cero.
SUPERFICIES DE NIVEL
Se llaman superIicies de nivel de una Iuncion (x,y,z) a las superIicies de ecuacion
(x,y,z) constante (En el caso de dos dimensiones tendremos curvas de nivel).
Consideremos un desplazamiento cualquiera dP de componentes dx , dy , dz sobre una superIicie
de nivel:
Como (x,y,z) constante el d 0 o sea d
x
. dx
y
. dy
z
. dz 0 V . dP 0
pero el producto escalar es nulo si los vectores son perpendiculares o sea que el GRADIENTE
de es normal a cualquier desplazamiento sobre una superIicie de nivel; De esta propiedad
12
enunciamos el siguiente Teorema: 'El vector gradiente es, en cada punto normal a la superIicie
de nivel que pasa por el punto.
LINEAS DE GRADIENTE
Se llaman LINEAS DE GRADIENTE de un campo escalar a las que en cada punto tienen la
tangente en la direccion del gradiente de . Esto signiIica que la direccion del gradiente coincide
en cada punto con la del desplazamiento sobre la curva o sea
z y x
dz dy dx

CAMPOS VECTORIALES
Si se deIine un vector A por sus componentes a
i
en una cierta region del espacio o en su
totalidad; y si dichas componentes a
i
I(x,y,z) son Iunciones de las coordenadas x, y, z es
evidente que a cada punto de la region considerada le correspondera un vector cuyas
componentes seran Iunciones de las coordenadas del punto.
El conjunto de los mismos determinan un CAMPO VECTORIAL.
Dado un campo de vectores A a
1
(x,y,z) i a
2
(x,y,z) j a
3
(x,y,z) k , a las lineas que en cada
punto son tangentes al vector del campo que pasa por el, se las llama LINEAS DE CAMPO.
Considerando un desplazamiento en la direccion de las lineas de campo o sea su vector tangente
A; y si el desplazamiento tiene por componentes dx, dy, dz, las ecuaciones diIerenciales de las
lineas de campo seran:
3 2 1
a
dz
a
dy
a
dx
= =
DIVERGENCIA DE UN VECTOR
Se llama divergencia de un vector A a
1
(x,y,z) i a
2
(x,y,z) j a
3
(x,y,z) k, cuyas componentes
a
i
son Iunciones de (x,y,z), al escalar dado por la suma de las derivadas de a
1
respecto de x mas
a
2
respecto de y mas a
3
respecto de z o sea: div A a
1x
a
2y
a
3z
De esta deIinicion se deduce:
div (A B) div A div B luego div (A B) (a
1
b
1
)
x
(a
2
b
2
)
y
(a
3
b
3
)
z
div (A B) a
1x
b
1x
a
2y
b
2y
a
3z
b
3z
div (A B) (a
1x
a
2y
a
3z
) (b
1x
b
2y
b
3z
)
div A div B
div ( . A) V . A . div A donde (x,y,z) A a
1
(x,y,z) i a
2
(x,y,z) j a
3
(x,y,z) k
div (.A) ( . a
1
)
x
( . a
2
)
y
( . a
3
)
z
div (.A) (
x
. a
1
. a
1x
) (
y
. a
2
. a
2y
) (
z
. a
3
. a
3z
) div (.A) (
x
. a
1

y
. a
2

z
. a
3
) ( . a
1x
. a
2y
. a
3z
) div
(.A)V . A . div A
INTERPRETACION FISICA DE LA DIVERGENCIA
Suponemos un Iluido en movimiento y sea Aa
1
(x,y,z)i a
2
(x,y,z)j a
3
(x,y,z)k el vector
velocidad del mismo en cada punto.
Es decir que A representa un CAMPO DE VELOCIDADES, cuyas componentes a
i
son Iunciones
derivables de x, y, z .
13
Consideramos un punto P(x,y,z) y un paralelepipedo elemental que a partir de P tiene las aristas
paralelas a los versores Iundamentales i, j, k y de longitudes Ax , Ay , Az respectivamente.
k
Az
P
Ay j
Ax
i
La cantidad de Iluido que entrara al paralelepipedo por la cara normal al versor i (plano yz) por
unidad de tiempo sera: a
1
(x,y,z).Ay.Az (componente de la velocidad por el area de la seccion de
entrada) y la cantidad que saldra por la seccion opuesta sera: a
1
(xAx; y; z).Ay.Az
Si Ax 0 la diIerencia entre estas dos cantidades sera:
a
1
(xAx; y; z).Ay.Az - a
1
(x,y,z).Ay.Az a
1x
(x,y,z).Ax.Ay.Az
De igual manera las diIerencias analogas para las otras caras seran: a
2y
(x,y,z).Ax.Ay.Az ;
a
3z
(x,y,z).Ax.Ay.Az .
O sea que la cantidad de Iluido que por unidad de tiempo queda en el paralelepipedo elemental
es: a
1x
(x,y,z).Ax.Ay.Az a
2y
(x,y,z).Ax.Ay.Az a
3z
(x,y,z).Ax.Ay.Az divA.Ax.Ay. Az
De aqui resulta que 'La divergencia del vector A en el punto P es el cociente entre la cantidad de
Iluido que se crea por unidad de tiempo en el volumen elemental correspondiente al punto P y
este volumen, cuando el mismo tiende a reducirse al punto P.
Si la divergencia de A tiene signo negativo en vez de crearse Iluido en P se ha consumido. En el
primer caso se dice que en P hay una FUENTE y en el segundo un DESAGE o SUMIDERO.
14
EL ROTOR
Se llama ROTOR o ROTACIONAL de un vector A de componentes a
1
, a
2
, a
3
Iunciones de x,
y, z al vector de componentes (a
3y
- a
2z
); (a
1z
- a
3x
); (a
2x
- a
1y
) o sea:
rot A (a
3y
- a
2z
) i (a
1z
- a
3x
) j (a
2x
- a
1y
) k
k
y
a
x
a
j
x
a
z
a
i
z
a
y
a
a a a
z y x
k j i
A rot
1 2 3 1 2 3
3 2 1
(

c
c

c
c
+
(

c
c

c
c
+
(

c
c

c
c
=
(
(
(
(

c
c
c
c
c
c
=
los productos simbolicos c a
1
; c a
3
. son las derivadas parciales respectivas a
1x
; a
3y
.....etc.
cx cy
De la deIinicion se deduce: rot (A B) rot A rot B
rot ( . A) . rot A - A
`
V siendo (x,y,z)
k
y
a
x
a
j
x
a
z
a
i
z
a
y
a
a a a
z y x
k j i
A . rot
1 2 3 1 2 3
3 2 1
(

c
c

c
c
+
(

c
k c

c
c
+
(

c
c

c
c
=
(
(
(
(

c
c
c
c
c
c
=
(
y
.a
3
.a
3y
-
z
.a
2
-.a
2z
)i (
z
. a
1
.a
1z
-
x
.a
3
-.a
3x
)j (
x
.a
2
.a
2x
-
y
.a
1
-.a
1y
)k
|(a
3y
-a
2z
)i(a
1z
-a
3x
)j(a
2x
-a
1y
)k||(
y
.a
3
-
z
.a
2
)i(
z
. a
1
-
x
.a
3
)j(
x
.a
2
-
y
.a
1
)k|
i j k
. rot A - a
1
a
2
a
3
. rot A - A
^
V

z
LINEAS DE ROTOR O TORBELLINO
Dado un CAMPO VECTORIAL A, el conjunto de los rot A Iorma otro campo vectorial
llamado CAMPO DE ROTORES, las lineas de los campos de rotores se llaman LINEAS DE
ROTORES O TORBELLINO.
Sus ecuaciones se obtienen sustituyendo las componentes del vector en las lineas de campo por
las componentes del rotor dx

dy

dz .
(a
3y
- a
2z
) (a
1z
- a
3x
) (a
2x
- a
1y
)
EL OPERADOR NABLA
Si consideramos los simbolos c ; c ; c como las componentes de un
cx cy cz
vector simbolico, el mismo se representa por V (Nabla) es decir: k
z
j
y
i
x c
c
+
c
c
+
c
c
= V
Este operador puede combinarse con otros vectores mediante operaciones conocidas:
Aplicando el operador Nabla a un escalar se tiene:
k
z
j
y
i
x
k
z
j
y
i
x c
c
+
c
c
+
c
c
=
(

c
c
+
c
c
+
c
c
= V V
x
i
y
j
z
k grad
Multiplicando escalarmente V por un vector A de componentes a
1
, a
2
, a
3
Iunciones de x, y, z:
15
divA a a a
z
a
y
a
x
a
A .
z 3 y 2 x 1
3 2 1
= + + =
c
c
+
c
c
+
c
c
= V
Si multiplicamos vectorialmente V por A obtenemos:
A rot k
y
a
x
a
j
x
a
z
a
i
z
a
y
a
a a a
z y x
k j i
A
1 2 3 1 2 3
3 2 1
=
(

c
c

c
c
+
(

c
k c

c
c
+
(

c
c

c
c
=
(
(
(
(

c
c
c
c
c
c
= . V
EL LAPLACIANO
Se llama LAPLACIANO de una Iuncion escalar (x,y,z) a la funcin escalar dada por la
divergencia de su gradiente. Se representa por A o V o sea:
A V div.grad div. V V. V V A V
xx

yy

zz
Las Iunciones que satisIacen A 0 se denominan FUNCIONES ARMONICAS.
De la deIinicion de LAPLACIANO se deduce: A( ) A A
A( ) V. V( . ) V. ( . V . V) V( . V ) V( . V)
V . V . V. V V . V . V. V . A . A 2 V . V
EL LAPLACIANO DE UN VECTOR
Se llama LAPLACIANO DE UN VECTOR, al nuevo vector deIinido por el Gradiente de su
Divergencia menos el Rotor de su rotor. Sea A a
1
i a
2
j a
3
k a
i
a
i
(x,y,z) i 1,3
AA grad . div A - rot . rot A V(V. A) - V
^
(V
^
A) VA
grad.div Agrad (a
1x
a
2y
a
3z
)(a
1x
a
2y
a
3z
)
x
i (a
1x
a
2y
a
3z
)
y
j (a
1x
a
2y
a
3z
)
z
k
grad.div A (a
1xx
a
2yx
a
3zx
) i (a
1xy
a
2yy
a
3zy
) j (a
1xz
a
2yz
a
3zz
) k
k
y
a
x
a
j
x
a
z
a
i
z
a
y
a
a a a
z y x
k j i
A rot
1 2 3 1 2 3
3 2 1
(

c
c

c
c
+
(

c
c

c
c
+
(

c
c

c
c
=
(
(
(
(

c
c
c
c
c
c
=
=
(
(
(
(
(
(
(

c
c

c
c
(

c
c

c
c
(

c
c

c
c
c
c
c
c
c
c
=
y
a
x
a
x
a
z
a
z
a
y
a
z y x
k
j i
rotA rot
1 2 3 1 2 3
(a
2xy
- a
1yy
- a
1zz
a
3xz
) i (a
3yz
- a
2zz
- a
2xx
a
1yx
) j (a
1zx
- a
3xx
- a
3yy
a
2yz
) k
DERIVACION DE VECTORES DERIVADAS DIRECCIONALES
Sea V V(x,y,z) un versor Iuncion de punto, es decir un vector de modulo unitario, cuyas
componentes v
1
; v
2
; v
3
sean Iunciones de x ; y ; z.
16
Consideremos un punto P(x,y,z) y el punto obtenido por un desplazamiento As en la direccion
de V el cual sera P AP; resulta luego AP V. As La Iuncion (x,y,z) al pasar del punto P al P
AP se habra incrementado en :A (P AP) - (P)
Si consideramos el limite del cociente de este incremento sobre As cuando este ultimo tiende a
cero es precisamente la derivada direccional de segun la direccion de V.
Dado que el limite A d y que este diIerencial es: d V . dP V .V . As por lo tanto:
V .
s
s . V .
0 s
lim
s 0 s
lim V =
A
A V
A
=
A
A
A
o sea
V .
dV
d
s 0 s
lim V =

=
A
A
A
siendo d una notacion simbolica que indica la derivada de en la direccion V.
dV
Vamos a introducir ahora una notacion que nos permitira calcular la derivada direccional de un
vector. Consideremos al vector A a
1
. i a
2
. j a
3
. k donde los a
i
(x,y,z) i 1 a 3 y el versor
V v
1
. i v
2
. j v
3
. k Representaremos por (V.V)A al vector cuyas componentes son
3 .. 1 i para
z
a
v ,
y
a
. v ,
x
a
. v
i
3
i
2
i
1
=
c
c
c
c
c
c
Si indicamos por A
x
al vector cuyas componentes
son las derivadas parciales a
1x
, a
2x
, a
3x
y con analogo signiIicado utilizamos los vectores A
y
,
A
z
podemos escribir (V.V)A v
1
A
x
v
2
A
y
v
3
A
z
Con esta notacion establecemos la
siguiente deIinicion: Se llama derivada direccional del vector A A(x,y,z) segun la direccion del
versor V, al vector: A ) . V (
dV
dA
V = La interpretacion de esta derivada direccional es la misma
que para el caso de una Iuncion escalar. La diIerencia entre los valores de A en P(x,y,z) y el
punto desplazado en As segun la direccion de V o sea en el punto P AP P V. As es: AA
A(P V. As) - A(P)
El cociente entre esta diIerencia y As cuando As0 tiende precisamente a la derivada
direccional. En eIecto: AA A( x v
1
As ; y v
2
As ; z v
3
As) - A(x,y,z)
AA A
x
. v
1
As A
y
. v
2
As A
z
. v
3
As
1
v
1
As
2
v
2
As
3
v
3
As
A ) . V ( v . A v . A v . A
s
A
0 s
lim 3 z 2 y 1 x V = =
A
A
A
+ + Podemos considerar
z
. v
y
. v
x
. v . V
3 2 1
c
c
+
c
c
+
c
c
= V
siendo los vi las componentes del vector V que son directamente los cosenos directores
DERIVADA TOTAL Y PARCIAL DE UN ESCALAR O UN VECTOR RESPECTO AL TIEMPO
Supongamos una Iuncion de punto que dependa tambien del tiempo t o sea (x,y,z,t). Si
ademas x, y, z tambien son Iunciones de t y si llamamos V al vector velocidad en donde:
k z j y i x k .
dt
dz
j .
dt
dy
i
dt
dx
V
. .
.
= + + =
Indicando los puntos las derivadas respecto de t se tiene:
V + = + + + =
c
c
+
c
c
+
c
+
c
c
=

. V z . y . x .
dt
dt
.
t dt
dz
.
z dt
dy
.
y dt
dx
.
x dt
d
t t z y x
Si en vez de un escalar se tiene un vector A A(x,y,z,t) que tambien depende del tiempo t
tendremos para la derivada respecto de t: z 3 y 2 x 1
A v A v A v
t
A
A ) . V (
t
A
dt
dA
+ + +
c
c
= V +
c
c
=
Estas expresiones son las que ligan la DERIVADA TOTAL respecto de t de un escalar o un
vector con la DERIVADA PARCIAL respectiva.
1
CALCULO DIFERENCIAL E INTEGRAL II
TEMA N 9 (Ultima modificacin 30 de octubre de 2003)
INTEGRALES CURVILINEAS, DE SUPERFICIE Y DE VOLUMEN
Solo consideraremos el caso de integrales curvilineas a lo largo de curvas planas. Es decir
curvas continuas que consisten en un numero Iinito de arcos en cada uno de los cuales la
tangente varia continuamente.
Sea z I(x,y) una Iuncion y C una curva continua, que une los puntos A y B (z I(x,y) no
tiene ninguna relacion con la ecuacion de la curva C y no es mas que una Iuncion deIinida en
cada punto de la porcion de la curva C que se considera).
Dividase el arco de C entre A y B en 'n segmentos As
i
cuyas proyecciones sobre los ejes x e
y son respectivamente Ax
i
; Ay
i
y sean (
i
, q
i
) las coordenadas de un punto cualquiera del
segmento As
i
.
Realizamos ahora los siguientes productos: I(
i
, q
i
) . Ax
i
; I(
i
, q
i
) . Ay
i
; I(
i
, q
i
) . As
i
y
hacemos las sumas para todas las subdivisiones del arco AB, luego tendremos
i i i i i i i i i
s ).
n
1 i
( I ; y ).
n
1 i
( I ; x ).
n
1 i
( I A q
=
c A q
=
c A q
=
c

Los limites de estas sumas cuando cada As
i ;
Ax
i
; Ay
i
tienden a cero, se llaman integrales
curvilineas y se escriben respectivamente:
} } }
c
ds ). y , x ( I ;
c
dy ). y , x ( I ;
c
dx ). y , x ( I
En estas deIiniciones, Ax
i
; Ay
i
son valores con signo, en tanto As
i
es intrinsecamente positivo.
Las siguientes propiedades:
} }
C = C
B
A
B
A
dt ). t ( . C dt ). t ( . C ) a
siendo C constante
> @
} } }
C C = C C
B
A
B
A
dt ). t ( dt ). t ( dt .
B
A
). t ( ) t ( ) b 2 1 2 1
} }
C = C
B
A
A
B
dt ). t ( dt ). t ( ) c
} } }
C = C + C
P
A
B
P
B
A
dt ). t ( dt ). t ( dt ). t ( ) d
2
Son igualmente validas para las integrales curvilineas de los dos primeros tipos, siempre que
para cada Iormula la curva que une A con B siga siendo la misma.
Por otra parte las integrales del tercer tipo, si bien tienen las propiedades a) y b) no tienen la
c) ya que en eIecto
} }
=
B
A
A
B
ds ). y , x ( I ds ). y , x ( I
Ademas la propiedad d) vale para estas integrales si y solo si, P esta entre A y B sobre el
camino de integracion.
Las integrales deIinidas ordinarias del calculo elemental no son mas que integrales curvilineas
en que la curva C es el eje x , y el integrando es una Iuncion de x solamente.
INTERPRETACION GRAFICA
Como en el caso de las integrales ordinarias, es posible interpretar una integral curvilinea
como area. Si se piensa que z I(x,y) deIine en el espacio una superIicie. La superIicie
vertical que tiene por directriz el arco AB cortara a la superIicie z I(x,y) segun una cierta
curva PQ.
El producto I(
i
, q
i
) . As
i
es aproximadamente el area de la banda vertical de esta porcion de
superIicie que se encuentra sobre la base elemental As
i
; y la suma
i i i
s ). ,
n
1 i
( I A q
=
c

es
aproximadamente igual al area ABQP y en el limite la integral }
C
I(x,y).ds , da esta area
exactamente.
De manera analoga, el producto I(
i
, q
i
) . Ax
i
es aproximadamente el area de la proyeccion
sobre el plano xz de la Iaja vertical de base As
i
, y la suma para i 1 a n representa el area
aproximada de esta proyeccion A'B'Q'P' sobre el plano xz, y la }
C
I(x,y) dx , da esta area.
De igual modo se puede representar el area de la proyeccion de ABQP sobre el plano yz
mediante la }
C
I(x,y).dy.
3
E1EMPLO
Calcular las integrales curvilineas de la
Iuncion z I(x,y) x y 1 sobre el
camino dado por y x entre los puntos
A(1; 1) y B(3; 3).
Como la Iuncion I(x,y) x y 1
representa un plano, la proyeccion del
camino de integracion y x sobre este
plano nos representa la recta PQ, con lo
que nos queda Iormado el trapecio ABQP
cuyas proyecciones sobre los planos xz e
yz tambien representaran dos trapecios.
Calculando las areas de estos dos trapecios seran
14 , 14 8 .
2
7 3
S ; 10 2 .
2
7 3
S ; 10 2 .
2
7 3
S
1 2 1
=
+
= =
+
= =
+
=
Calculemos ahora aplicando el concepto de integral curvilinea.
> @
10 ) 1 1 ( ) 3 9 (
3
1
3
1
3
1
x
x
2
3
1
dx ). 1 x 2 ( dx ). 1 x x ( dx ). 1 y x ( dx ). y , x ( I S
c
1
= + + =
+
= + = + + = + + = =
} } } }
> @
10
3
1
3
1
y y
2
3
1
dy ). 1 y 2 ( dy ). 1 y x ( dy ) y , x ( I S
c
2
=
+
= + = + + = =
} } }
} }
+ + = =
c c
3
ds ). 1 y x ( ds ) y , x ( I S
Esta integral la podemos calcular tanto para x como para y.
dx . 2 dx . 2 dx dx dy dx ds
2 2 2 2 2
= = + = + =
ya que dxdy por ser xy luego
} } }
= = + = + + =
3
1
3
1
14 , 14 10 . 2 dx ). 1 x 2 ( 2 dx . 2 ). 1 y x ( ds ) y , x ( I
c
resultado que concuerda con los que habiamos calculado anteriormente.
EXTENSION A FUNCIONES DE TRES VARIABLES
Los conceptos vistos anteriormente son Iacilmente generalizados para Iunciones de tres
variables. Sea u I(x,y,z) una Iuncion continua y sea C una curva continua que une los
puntos A y B en el espacio.
Dividamos el arco AB en 'n subintervalos As
i
cuyas proyecciones sobre los ejes
coordenados son Ax
i
; Ay
i
; Az
i
y P
i
(
i
; q
i
;
i
) un punto generico de cada As
i
. Calculamos el
valor de u I(x,y,z) en cada uno de estos puntos P
i
y se Iorman las sumas
i i i i i i i i i i i i i i i i
s ). , ,
n
1 i
( I ; z ). , ,
n
1 i
( I ; y ). , ,
n
1 i
( I ; x ). , ,
n
1 i
( I A q
=
c A q
=
c A q
=
c A q
=
c

Los limites de estas sumas al tender 'n a inIinito de tal manera que la longitud de cada As
i
tienda a cero, deIine las respectivas integrales curvilineas.
} } } }
c c c c
ds ). z , y , x ( I ; dz ). z , y , x ( I ; dy ). z , y , x ( I ; dx ). z , y , x ( I
4
INTEGRALES CURVILINEAS INDEPENDIENTES DEL CAMINO DE INTEGRACION
Una expresion de la Iorma P(x,y) dx Q(x,y) dy es una diIerencial exacta si existe una
Iuncion U(x,y) tal que
dy . ) y , x ( Q dx ). y , x ( P dU decir es Q
y
U
P
x
U
+ = =
c
c
. =
c
c
En este caso la Iuncion U recibe el nombre de Iuncion potencial del par de Iunciones P(x,y) y
Q(x,y). En este caso, decimos que la integral curvilinea
C
P(x,y) dx Q(x,y) dy es
independiente del camino de integracion. Para que ello ocurra debera ser
x
Q
y
P
y x
U
sera dy . ) y , x ( Q dx ). y , x ( P dU ser por que ya
x
Q
y
P
2
c
c
=
c
c
=
c c
c
+ =
c
c
=
c
c
luego
> @ ) b , a ( U ) d , c ( U ) y , x ( U
) d , c ( B
) b , a ( A
dU
) d , c ( B
) b , a ( A
dy ). y ; x ( Q dx ). y ; x ( P dy ). y , x ( Q dx ). y , x ( P
) d , c ( B
) b , a ( A
c
= = = + = +
} } }
que nos muestra que este resultado es independiente del camino de integracion y que solo
depende de las coordenadas de los puntos extremos.
CIRCULACION
Si una Iuerza I I(x;y;z) P(x;y;z) i Q(x;y;z) j R(x;y;z) k esta deIinida en todos los
puntos del espacio, o de un cierto recinto, tendremos un campo de Iuerzas. Tambien podemos
considerar un campo de velocidades en el movimiento de un Iluido o de intensidades en la
conduccion de electricidad, etc.
En general conviene considerar independientemente del vector I, un campo vectorial que
puede darse mediante tres Iunciones P(x;y;z) ; Q(x;y;z) ; R(x;y;z). Estas Iunciones pueden
tambien depender del tiempo t; si son independientes del tiempo el campo se deIine
estacionario.
Si en el campo vectorial consideramos un arco de curva AB tendremos un vector del campo
aplicado a cada uno de sus puntos y podremos considerar la integral curvilinea

AB
P.dx Q.dy R.dz
AB
I.dP ya que I P.i Q.j R.k y dP dx i dy j dz k
Esta integral curvilinea se llama circulacin del vector I a lo largo del arco AB. En este
caso de un campo de Iuerzas, esta integral representa el trabajo de la Iuerza I sobre una
particula que se desplaza a lo largo del arco AB.
CAMPOS CONSERVATIVOS
El calculo de la circulacion requiere en general conocer el camino y este en general no se
conoce. De esto surge la importancia de los campos conservativos que son aquellos en los
cuales la circulacion entre dos puntos no depende del camino que los une. En tal caso, Iijado
el punto M
0
(x
0
;y
0
;z
0
), para cada punto M la circulacion
M0M
P.dxQ.dyR.dzU(x;y;z)
U(M) Esta Iuncion U representa el potencial del campo conservativo. Este potencial
determina el campo ya que
z
U
R ;
y
U
Q ;
x
U
P
c
c
=
c
c
=
c
c
=
5
o sea que I grad U de donde surge que la componente del campo conservativo en una
direccion cualquiera es igual a la derivada del potencial en esa direccion.
Por otra parte si existe en un recinto simplemente conexo una Iuncion uniIorme (x;y;z)
tal que
z
R ;
y
Q ;
x
P
c
c
=
c
c
=
c
c
= siendo P ; Q ; R continuas, es I grad un campo
conservativo y un potencial del mismo.
INTEGRALES DE SUPERFICIE Y DE VOLUMEN
Sea u I(x;y;z) una Iuncion continua y sea S
una superIicie regular (o sea aquella
superIicie que se puede subdividir por un
numero Iinitos de curvas en porciones cada
una de las cuales es orientable y por lo tanto
lisa) en la region de deIinicion de I.
Subdividimos S de una manera cualquiera en
'n elementos As
i
, y en cada elemento de
superIicie elegimos un punto arbitrario P
i
(
i
, q
i
,
i
). Por ultimo calculamos I(x;y;z)
en cada uno de los puntos P
i
. Eormamos la
suma de los productos I(x
i
; y
i
; z
i
) por As
i
i i i i i i i i i i
z y x con , s ). z , y ,
n
1 i
x ( I = q = c = A
=

}}

= A
=
A
S
i i i i 0 s
ds ). z , y , x ( I s ). z , y ,
n
1 i
x ( I lim
i
Analogamente, dada una Iuncion u I(x;y;z) en una region del espacio V, se puede dividir V
en subregiones cualesquiera AV
i
, calcular luego I en un punto arbitrario P
i
(
i
, q
i
,
i
) en
cada AV y Iormar la suma
i i i i
V ) , ,
n
1 i
( I A q
=
c

el limite al tender los elementos AV

i
a cero, es
la integral de volumen
V
I(x;y;z).dV
TEOREMAS INTEGRALES
LEMA DE GREEN
Si R es una region plana limitada por un numero Iinito de curvas simples cerradas y si U(x;y)
; V(x;y) ;
x
V
y
U
c
c
.
c
c
son continuas en todo punto de R y de su contorno, entonces
dy . dx )
y
U
x
V
( dy . V dx . U
c R
c
c

c
c
= +
} }}
Estas Iormulas determinan la relacion entre la integral doble extendida en R y la integral
curvilinea a lo largo de la Irontera C de R.
6
DEMOSTRACION
Suponemos primero que el contorno de R es
una curva simple unica C, con la propiedad
que toda paralela a uno de los ejes
coordenados la corta a lo mas en dos puntos
y tracemos las paralelas a los ejes que
circunscriben a C. Entonces los arcos P
4
P
1
P
2
y P
4
P
3
P
2
deIinen Iunciones uniIormes de x
que llamaremos yI
1
(x) y yI
2
(x)
respectivamente.
Analogamente los arcos P
1
P
4
P
3
y P
1
P
2
P
3
deIinen Iunciones uniIormes de y que
llamaremos g
1
(y) y g
2
(y) respectivamente.
Considerando ahora:
dy . dx
x
V
1 I
R
}}
c
c
=
Para eIectuar esta integracion sobre R basta integrar con respecto a x desde el arco P
1
P
4
P
3
hasta el arco P
1
P
2
P
3
y luego integrar con respecto a y entre c y d asi
> @
> @ > @
} }
} } }
= =
=
=
=
=
c
c
=
d
c
dy
d
c
) y ); y ( g ( V dy ) y ); y ( g ( V
dy
d
c
) y ( g x
) y ( g x
d
c
) y ; x ( V
) y ( g
) y ( g
dxdy
x
V
I
1 2
2
1
2
1
1
} }
+ =
c
d
dy | y ); y ( g | V dy | y ); y (
d
c
g | V 1 2
la primera de estas integrales es precisamente la integral curvilinea
}
d
c
dy ). y ; x ( V a lo
largo del camino x g
2
(y) desde P
1
a P
3
pasando por P
2
y la segunda es tambien la misma
integral curvilinea a lo largo de x g
1
(y) en la direccion P
3
a P
1
pasando por P
4
. Juntas
Iorman la integral curvilinea de V(x;y) a lo largo de la curva C luego
}} }
=
c
c
R c
dy ). y ; x ( V dy . dx
x
V
(1)
Asi mismo se demuestra que
}} }} } }
=
=
=
=
=
c
c
=
c
c
=
c
c
=
R R
b x
a x
) x ( I y
) x ( I y
dx . dy .
y
U
dx . dy .
y
U
dy . dx .
y
U
I
2
1
2
> @
} } } } }
= = =
a
b
b
a
dx )|. x ( I ; x | U dx )|. x ( I ; x | U
b
a
b
a
dx )|. x ( I ; x | U dx )|. x ( I ; x | U dx .
b
a
) y ; x ( U
) x ( I
) x ( I
1 2 1 2
2
1
La primera de estas integrales, no es mas que la opuesta de la integral curvilinea de U(x;y) a
lo largo de y I
2
(x) en la direccion de P
2
a P
4
pasando por P
3
. La segunda es la opuesta de la
integral de U(x;y) a lo largo de y I
1
(x) de P
4
a P
2
.
7
Juntas dan la integral curvilinea de U(x;y) a todo lo largo de C es decir
} }}
=
c
c
c R
) 2 ( dx ) y , x ( U dx . dy
y
U
Restando (1) de (2) y ordenando terminos obtenemos:
dy . dx )
y
U
x
V
( dy . V dx . U
c R
c
c

c
c
= +
} }}
Este resultado puede ser generalizado a regiones cuyos
contornos no cumplen con la condicion de que toda
paralela a uno de los ejes coordenados la corte a lo mas
en dos puntos. Por ejemplo la region R se puede
subdividir en subregiones R
i
cuyos contornos C
i
poseen
esta propiedad. Sumando los resultados se obtiene el
Lema de GREEN para la region general R. El sentido en
que hay que integrar a lo largo de C para que se veriIique
el Lema de Green se caracteriza porque un observador
que se mueve a lo largo de C, tiene siempre el interior de
la region R a su izquierda.
Este sentido se dice sentido
positivo de recorrido de C. Ver
Iigura
TEOREMA DE LA DIVERGENCIA
Si la Iuncion vectorial A(x;y;z) y V.A son continuas sobre la superIicie cerrada regular S y en
su interior V, y si n es el vector unitario normal a S en cada punto y dirigido hacia el exterior
de S entonces:
S
A.n ds
V
V.A.dv
DEMOSTRACION
Suponemos que S es una region cerrada tal que ninguna recta paralela a uno de los ejes
coordenados la corta en mas de dos puntos. Si A u.i v.j w.k tendremos
) dV
z
w
dV
y
v
dV
x
u
( ) ndS . k . w ndS . j . v indS . u (
sea o dV ).
z
w
y
v
x
u
( dS . n ). k . w j . v i . u (
V S
V S
c
c
+
c
c
+
c
c
= + +
c
c
+
c
c
+
c
c
= + +
}}} }}
}}} }}
) cos( . 1 . 1 k . n o =
8
Comprobaremos esta igualdad, a traves de la igualdad de las integrales correspondientes en
ambos miembros es decir
dV .
x
u
dS . n . i . u
S V
}} }}}
c
c
=
y asi sucesivamente.
Primero consideraremos
dV .
z
w
dS . n . wk
S V
}} }}}
c
c
=
Como se ha supuesto que ninguna paralela a los ejes coordenados, corta a S en mas de dos
puntos, se sigue en particular que S es una superIicie que tiene dos valores sobre su
proyeccion en el plano xy, por lo tanto, se la puede considerar como Iormada por una mitad
superior y una mitad inIerior, S
2
y S
1
respectivamente.
si se toma dv dx dy dz y se eIectua primero la integracion con respecto a z sera:
> @ > @ ) 1 ( dy . dx .
S
S
) S ( w ) S ( w dy . dx . w dy . dx . dz .
z
w
2
1
1 2
S
S
2
1 }} } }} }}
= =
c
c
Donde naturalmente x e y recorren el area del plano xy que es la proyeccion de S.
Ademas los elementos dS
1
y dS
2
se pueden deIinir de modo que tengan dx dy como
proyeccion comun sobre el plano xy (como aparece en la Iigura)
Por ser n el vector unitario normal; sera k.n
1
y k.n
2
los cosenos de los angulos entre la normal
k y el plano xy, es decir que numericamente representan los cosenos de los angulos segun los
cuales se proyecta dS
1
y dS
2
sobre el elemento dx.dy . O sea: dx.dy - k.n
1
.dS
1
k.n
2
.dS
2
donde el valor de k . n
1
es negativo por la orientacion hacia z(-) de n
1
.
Reemplazando estos valores en (1) (dx dy - k . n
1
. dS
1
k . n
2
. dS
2
) sera:
}} }} }} }} }}}
= + = =
c
c
S
2 2 1
S
2 2 2
S
1
S
2
V
dS n . k ) S ( w dS n . k ) S ( w dy . dx ) S ( w dy . dx ) S ( w dV .
z
w

S
w.k.n.dS
Dado que S
1
y S
2
Iorman la superIicie cerrada S ya que N es perpendicular a k en todos los
puntos de la superIicie lateral y por lo tanto sobre la misma
S
w.k.N.dS 0
De igual Iorma se demuestra para los otros terminos y sumando ambos miembros se obtiene
dV )
z
w
dV
y
v
dV
x
u
( ) ndS . k . w ndS . j . v indS . u (
V S c
c
+
c
c
+
c
c
= + +
}}} }}
dV ). A ( ) dS . n . A (
V S
}}} }}
V =

9
TEOREMA DE STOKES (O DEL ROTACIONAL)
Sea S una superIicie del E
3
, cerrada por una curva simple C, cuyas proyecciones sobre los
planos coordenados son regiones cerradas por curvas simples y supongamos ademas que
dicha superIicie S puede ser representada por una Iuncion diIerenciable de cualquiera de las
siguientes Iormas : zI(x,y) , yg(x,z) , o x h(y,z)
Sea ademas E E
1
i E
2
j E
3
k una Iuncion vectorial que posee derivadas parciales de
primer orden continuas en una region del espacio que contiene a S
~ La integral curvilnea de la componente del vector F, en direccin al vector tangente a
la curva C, sobre la curva cerrada, en sentido directo, es igual a la integral de superficie
de la componente del rotacional de F en direccin normal a S
n C
dS n ). E rot ( r d . E
S
C
}} }
=
S dr
C
Corresponde aclarar : R
1. Se entiende por sentido directo en el recorrido de la curva C, el que resulta dextrogiro respecto de la normal
a la superIicie S. En este caso el recorrido correspondiente a la proyeccion de la curva C, sobre el plano z0
resulta directo.
2. Si se considera la integral de superIicie correspondiente a la cara opuesta de S, al recorrer la curva C en
sentido dextrogiro respecto de la normal, se invierte el sentido de recorrido sobre la proyeccion C. Por lo
tanto la integral doble sobre la cara opuesta de S tiene signo opuesto a la integral sobre S.
3. La integral sobre la superIicie S, al reducirse por el teorema de Stokes a una integral sobre el contorno C,
toma el mismo valor para cualquier superIicie que tenga el mismo contorno, siempre que se veriIiquen las
condiciones de la hipotesis.
Demostracin :
Aplicando las propiedades distributivas del rotacional y del producto escalar respecto de la
suma, es posible descomponer la integral de superIicie en la Iorma siguiente :
dS n . ) k rot ( dS n ). j rot ( dS n ). i rot ( dS n ). E rot (
S
3
S
2
S
1
S
E E E }} }} }} }}
+ + =
Calcularemos el primer termino, teniendo en cuenta que E1 es la componente respecto de x y
que los otros terminos para el calculo del rotor son iguales a cero (E
2
y E
3
)
dS ) n . k
y
n j
z
( dS n ) k
y
j
z
( dS n ). i rot (
S
1 1
S
1 1
S
1
E E E E
E }} }} }}
c
c

c
c
=
c
c

c
c
=
(1)
Por ser k z j y i x r + + = el vector posicion de un punto sera
k
y
z
j
y
r
c
c
+ =
c
c
Multiplicando escalarmente esta derivada por n y teniendo en cuenta que el producto escalar
de estos vectores es nulo, por ser normales entre si
n . k
y
z
n . j 0 n . k
y
z
n . j n
y
r
c
c
= =
c
c
+ =
c
c
sustituyendo este resultado en la integral (1) se tendra
10
dS n . k )
y y
z
z
( dS ) n . k
y
n j
z
( dS n ). i rot (
S
1 1
S
1 1
S
1
E E E E
E }} }} }}
c
c
+
c
c
c
c
=
c
c

c
c
= (2)
Para todo punto perteneciente a la superIicie S, deIinida por la ecuacion z I (x,y ) es :
)) y , x ( I , y , x ( ) z , y , x (
E E
*
1 1
=
luego
)
y
z
z y
(
y
E E
E
1 1
*
1
c
c
c
c
+
c
c
=
c
c
y sustituyendo en el segundo miembro de la igualdad (2) ,
}}
c
}}
c
}}
c
}}
c
=
c
=
c
=
R
*
1
S
*
1
S
*
1
S
1
dxdy
y
dS cos
y
dS n . k
y
dS . n ). i rotE (
E E E
por ser cos . dS dx . dy Si en la Iormula de Green, hacemos Q 0 y P E
1
*
La igualdad
} }}
+ =
c
c

c
c
' C
R
dy Q dx P dy dx )
y
P
x
Q
( se transIorma en
=
c

}} }
c
dx dxdy
y
R
' C
*
1
*
1
E
E
dx dS n ). i rot (
' C
*
1
S
1 E E } }}
=
Los valores de la Iuncion compuesta E
1
*
(x,y, I(x,y)) sobre los puntos de la curva C
coinciden con los valores de la Iuncion E
1
(x,y,z) sobre la curva C, luego :
dx dS n ). i rot (
C
1
S
1 E E } }}
=
(3)
Proyectando luego la superIicie S sobre los planos y 0 y x 0 con identicos
razonamientos, se prueba que :
dy dS n ). j rot (
C
2
S
2 E E } }}
= (4)
dz dS n ). k rot (
C
3
S
3 E E } }}
=
(5)
Sumando las igualdades (3) , (4) y (5)
dz dy dx dS n . ) k rot ( dS n ). j rot ( dS n ). i rot (
C
3
C
2
C
1
S
3
S
2
S
1 E E E E E E } } } }} }} }}
+ + = + +
y queda asi probado que
r d . E dS n ). E rot (
C
S
} }}
=
FORMA NO VECTORIAL DEL TEOREMA DE STOKES
Si :
k z j y i x r + + =
es el vector posicion de un punto y k cos j cos i cos n + | + o =
un vector unitario normal a S es : dz . dy . dx . dr . E
E E E 3 2 1
+ + =

c
c

c
c
+ |
c
c

c
c
+ o
c
c

c
c
= cos ).
y x
( cos ).
x z
( cos ).
z y
( n . E rot
E E E E E E 1 2 3 1 2 3
Sustituyendo estos resultados en los integrandos de la Iorma vectorial, se obtiene la expresion
no vectorial del teorema de Stokes.
}} }

c
c

c
c
+ |
c
c

c
c
+ o
c
c

c
c
= + +
S
1 2 3 1 2 3
C
3 2 1
cos ).
y x
( cos ).
x z
( cos ).
z y
( dz . dy . dx .
E E E E E E
E E E
1
CALCULO DIFERENCIAL E INTEGRAL II
TEMA N 10 (Ultima modificacin 3 de noviembre de 2003)
ECUACIONES DIFERENCIALES
En muchos problemas Iisicos, geometricos o puramente matematicos, se trata de hallar una
Iuncion y E(x) o (x,y) 0 que satisIaga una relacion entre sus variables y algunas de sus
derivadas o diIerenciales como: I |x, y, y', y'',....., y
n
| 0
Este tipo de relacion se denomina ECUACION DIFERENCIAL. Por ejemplo:
y
dx
dy 3
2
dx
dy
. x . 2 =
|
.
|

\
|
) x ( sen
y y
dx
d
dx
d
2
2
3
3
= +
Se llama ORDEN de la ecuacion diIerencial al mayor de los ordenes de derivacion que
incluye. Del ejemplo anterior la primera es de 'primer orden mientras que la segunda es de
'tercer orden.
El GRADO de una ecuacion diIerencial que puede escribirse en la misma Iorma de un
polinomio, en las derivadas, es el grado de la derivada de mayor orden que incluye. En el
ejemplo; la primera ecuacion es de 'segundo grado, y en la segunda es de primer grado.
Estas ecuaciones se llaman ECUACIONES DIFERENCIALES ORDINARIAS, para
distinguirlas de las ECUACIONES DIFERENCIALES EN DERIVADAS PARCIALES, tales como:
cz
3
cz

z
cx cy
En esta ecuacion la Iuncion incognita z I(x,y) depende de mas de una variable, por lo tanto
Iiguran sus derivadas parciales.
ORIGEN DE LAS ECUACIONES DIFERENCIALES
Las ecuaciones diIerenciales pueden tener su origen en:
a) Problemas geometricos
b) Problemas de otras ciencias
c) Primitivas
PROBLEMAS GEOMTRICOS
Veamos por medio de un ejemplo, como se puede originar una ecuacion diIerencial en este
campo de la matematica:
Si se desea conocer una curva, que cumpla con la condicion de que en cada uno de sus puntos
(x,y) su pendiente sea igual al doble de la suma de las coordenadas en dicho punto tendremos
dy/dx

2.(x y) que es la ecuacion diIerencial originada por la condicion dada.

PROBLEMAS DE OTRAS CIENCIAS
Supongamos que se ha determinado experimentalmente que el radio se desintegra a una
velocidad proporcional a la cantidad de radio presente. Si en 1600 aos desaparece la cantidad
media inicial, hallar la cantidad perdida en 100 aos.
Llamando Q a la cantidad de radio inicial, Q
100
a la de 100 aos y t al tiempo tendremos:
2
Q . k
dt
dQ
= luego dt . k
Q
dQ
= para hallar k integramos entre los datos conocidos:
> @
1600 . k
Q ln
2 / Q
Q
2 / Q
Q
1600
0
dt . k
Q
dQ
= =
} }
o sea ln Q/2 - ln Q

- k . 1600
ln Q - ln 2 - ln Q - k . 1600 k ln2/1600 luego para los 100 aos sera:
} }
=
100
0
dt
1600
2 ln
Q
Q Q
dQ
100

16
2 ln
Q ln Q ln 100 =

958 , 0
043 , 0
Q
Q
e
100
=

=
Q
100
0,958 . Q
PRIMITIVAS
Una relacion entre las variables que contenga 'n constantes arbitrarias, se llama
PRIMITIVA. Las 'n constantes reciben el nombre de ESENCIALES si no se pueden
sustituir por un numero menor de constantes.
Ejemplo: Sea By A.x C x D ; las constantes A, B, C, D no son esenciales pues
dividiendo todo por B tenemos: y

A/B x

C/B x

D/B

C
1
. x C
2
. x C
3
donde C
1
A /B ; C
2
C /B ; C
3
D/B luego y C
1
. x + C
2
. x + C
3
Para hallar la ecuacion diIerencial de la primitiva dada; derivamos sucesivamente con
respecto a x dy /dx

2 C
1
. x C
2
; dy / dx

2 C
1
; d
3
y / dx
3

0
Como esta ultima esta libre de constantes arbitrarias, es la ecuacion diIerencial asociada a la
primitiva dada.
SOLUCIONES DE UNA ECUACION DIFERENCIAL
En una ecuacion diIerencial, la incognita no es un numero, sino una Iuncion del tipo y E(x).
Hallar todas las Iunciones que satisIacen una determinada ecuacion diIerencial, signiIica
resolver la misma. Todas estas Iunciones que la satisIacen reciben el nombre de
SOLUCIONES o INTEGRALES. Toda ecuacion diIerencial admite, en general, inIinitas
soluciones, cuyas graIicas se llaman CURVAS INTEGRALES.
Por Ejemplo: Sea la ecuacion dy/dx

x dy x . dx integrando
dy x . dx y x/2

C donde C es una constante arbitraria.
Esta solucion representa la ecuacion de una EAMILIA o HAZ DE CURVAS, cada una de las
cuales puede determinarse Iijando el correspondiente valor de C. Es decir, por cada punto del
plano en que y I(x) cumple ciertas condiciones impuestas, pasa una, y solamente una curva
que satisIace a la ecuacion diIerencial.
Toda expresion que satisIace a la ecuacion diIerencial, cualquiera sea el valor de la constante
C se llama SOLUCION GENERAL de la ecuacion.
Si Iijado cualquier punto P(x
0
, y
0
) por el que debe pasar necesariamente la solucion de la
ecuacion diIerencial, existe un unico valor de C, y por lo tanto de la curva integral
correspondiente; que satisIace la ecuacion; esta recibira el nombre de SOLUCION
PARTICULAR de la ecuacion. En este caso el punto P(x
0
, y
0
) recibe el nombre de
CONDICION INICIAL y supone el conocimiento previo de un punto de la solucion, que
generalmente se obtiene experimentalmente.
3
Ademas de las soluciones generales y particulares, existen las llamadas SOLUCIONES
SINGULARES que se estudiaran en detalle mas adelante.
En el ejemplo dado dy/dx

x la solucion general era y

.x C y supongamos que
experimentalmente se determino que un punto de la curva era P(2; 5). O sea que la curva que
pasa por ese punto es la que corresponde a la condicion inicial y 5 ; x 2. Reemplazando
estos valores se determina el valor de C. 5

. (2) C C 5 - 2 3 y luego
reemplazando el valor de C en la solucion general se tiene: y

1 /2 x 3 que es una
solucion particular.
ECUACIONES DIFERENCIALES DE VARIABLES SEPARABLES
Si una ecuacion de primer orden, puede reducirse a la Iorma dy/dx

I(x) . g(y) o sea si se

puede expresar como un producto de dos Iunciones, una de x, la otra de y; o alguna Iorma
equivalente, se pueden separar las variables mediante simple transIormacion por
transposicion:
dy /g(y)

I(x) . dx : integrando ambos miembros, resulta la solucion general

} }
+ = = C ) x ( k ) y ( H dx ). x ( I
) y ( g
dy
Ejemplo
Hallar la ecuacion de la Iamilia de curvas tales que, en todo punto, la subnormal S
n
tiene valor
constante p.
tg oHN/HP S
n
/ y tg ody /dxdy /dxS
n
/yy. (dy/dx)S
n
S
n
py.(dy /dx).p (1)
Luego la ecuacion diIerencial sera y . y' p separando las variables en (1) es: y . dy p .
dx integrando y . dy p . dx y/2

p . x C luego y 2p . x 2C 2p . x C
y 2px + C que corresponde a todas las parabolas del eje x con parametro p.
4
ECUACIONES DIFERENCIALES HOMOGNEAS
Una Iuncion z I(x,y) se llama HOMOGENEA DE GRADO ~n si al multiplicar ambas
variables por 't la Iuncion queda multiplicada por t
n
o sea: z I(t . x; t . y) t
n
. I(x,y)
Las Iunciones I(x,y) x
3
x .y ; g(x,y) 1/ (xy) son homogeneas de grado 3 y -1
Toda Iuncion del cociente y/x es homogenea de grado cero en x e y
(

=
(

=
(

[
\
I
[ W
\ W
I
[
\
I
W
R
.
.
.
DEFINICION
Una ecuacion diIerencial de primer orden y primer grado se llama HOMOGENEA en x e y si
se puede llevar a la Iorma
(

=
x
y
I
dx
dy
con segundo miembro Iuncion de y/x o sea Iuncion
homogenea de grado cero en x e y.
Esta ecuacion se puede transIormar en otra de variables separables haciendo la siguiente
sustitucion:
y / x v y v.x ) v ( I
x
y
I
dx
dv
. x v luego
x
y
I
dx
dy
pero
dx
dv
. x v . 1
dx
dy
=
(

= +
(

= + = que pueden
separarse las variables
x
dx
v ) v ( I
dv
v ) v ( I )
dx
dv
.( x =

= integrando ambos miembros sera:

C ) x ln( ) v ( H
x
dx
v ) v ( I
dv
+ = =

} }
haciendo C - ln C H(v) ln x - ln C ln (x/C) luego
x /Ce
H(v)
x C . e
H(v)
C . e
H (y/x)
a veces se podra despejar y como Iuncion de x, o bien,
x como Iuncion de y.
Ejemplo
La ecuacion dy/dx

(y - x)/2.x.y es homogenea, pues el segundo miembro es cociente

de dos expresiones homogeneas de igual grado:
v 2
1
v
x
y
2
1
x
y
dx
dy
2
2
2

=
v 2
1
v
dx
dv
. x v
dx
dy
2

= + =
v 2
1
v
v
v 2
1
v
dx
dv
. x
2 2
+
=

=
separando variables
x
dx
1
vdv 2
v
2
=
+
integrando:
} }
=
+ x
dx
1
v
dv . v 2
2
ln (1 v) -
ln x ln k ln ( 1 v) ln k/x k /x 1 y/ xyxk.x que representa un haz
de circunIerencias.
5
ECUACIONES DIFERENCIALES LINEALES
Una ecuacion diIerencial se llama LINEAL si es de primer grado en la variable dependiente,
como asi tambien en sus derivadas. Si ademas es de primer orden, puede escribirse en la
Iorma:
dy/dx

P(x) . y Q(x) (1)

En esta ecuacion no es posible, en general, separar las variables. En cambio, ello puede
hacerse en la ECUACION LINEAL INCOMPLETA (u homogenea en y e y') que resulta de
reemplazar Q(x) por cero luego: dy /dx

P(x) . y 0
Sea u u(x) una solucion particular de la ecuacion incompleta, es decir, tal que veriIique
du/dx

P(x).u0
Separando variables: du/u- P(x).dx integrando
} } }
}

= = =
e
dx ). x ( P
u dx ). x ( P u ln dx ). x ( P
u
du
Haciendo y u .v (sustitucion de LAGRANGE) siendo u la solucion ya hallada de la
ecuacion incompleta y determinado el valor de v, de modo que sea solucion de la ecuacion
completa, sera: y u . v
dx
du
v
dx
dv
. u
dx
dy
+ = reemplazando dy/dx e y en (1) sera:
u . dv/dx

v . du/dx

P(x).u .v Q(x) luego u .dv /dx
+
v.(du/dx
+
P(x) . u) Q(x)
pero la expresion entre parentesis se anula, por ser una solucion de la ecuacion incompleta
luego: u . dv/dx

Q(x) u . dv Q(x) . dx
dx .
e
dx ). x ( P
). x ( Q
e
dx ). x ( P
dx ). x ( Q
u
dx ). x ( Q
dv
}
=
}

= =
v Q(x).e
P(x).dx
. dx C
luego reemplazamos los valores de u y v tenemos:
> @
}
+
} }

= C dx .
e
dx ). x ( P
). x ( Q
e
dx ). x ( P
y
dx .
e
dx ). x ( P
). x ( Q .
e
dx ). x ( P
e
dx ). x ( P
. C y
}
} }

+
}

=
Ejemplo
Sea la ecuacion dy/dx -y x (a) En este ejemplo P 1 ; Q x. Consideraremos la
ecuacion incompleta: dy/dx -y 0 du/dx-u 0 du - u . dx
} }
= dx
u
du
ln u - x C que podemos considerar C0 u e
-X
(solucion particular) haciendo yu . v
dy / dx u . (dv /dx)

v . (du /dx) reemplazando en (a) u . (dv/dx)

v . (du/dx)

u . v x
luego u . (dv/dx)

v.( (du/dx)

u ) x du/dx

u 0 u . dv/dx x dv

x/u . dx

x/ e
- x
. dx
dv x . e
x
. dx integrando dv x . e
x
. dx v x . e
x
. dx C reemplazando u
y v por los valores obtenidos sera: y e
-x
| x . e
x
. dx C| x . e
x
. dx e
x
(x - 1) C
y e
-x
| e
x
(x - 1) C| (x - 1) e
-x
. C que es la solucion general
6
ECUACIONES DIFERENCIALES EXACTAS
Una ecuacion diIerencial de la Iorma: P(x,y) dx Q(x,y) dy 0 (II) se llama EXACTA si el
primer miembro es exactamente la diIerencial total de una Iuncion de dos variables, es decir,
si existe una Iuncion U(x,y) cuya diIerencial 0 dy
y
U
dx .
x
U
dU =
c
c
+
c
c
= P(x,y) dx Q(x,y) dy
hallada la Iuncion U(x,y) la ecuacion toma la Iorma dU(x,y) 0 U(x,y) C
La ecuacion y.dx 2xy . dy 0 es exacta ya que puede escribirse d(x.y) 0 cuya solucion
es x.y C
Dada una ecuacion de la Iorma (II) se presentan los siguientes problemas:
a) Reconocer si es exacta, es decir si U existe
b) En caso aIirmativo, hallar U(x,y)
Veremos para a) que condiciones deben cumplir P y Q. Si la ecuacion es exacta
CONDICION DE SIMETRIA
P

cU/ cx ; Q

cU /cy derivando la primer expresion respecto de y con la segunda

respecto de x cP /cy

cU/cx cy cQ/cx

cU/ cy cx de donde cP/ cy

cQ / cx
b) Para determinar U procedemos de la siguiente manera: por ser cU/cx

P(x,y)
U(x,y) P(x,y).dx (y) ya que al integrar la constante de integracion puede ser una
Iuncion de y. Derivamos U respecto de y para poder determinar el valor de (y) luego:
} } }
c
c
= +
c
c
= +
c
c
= =
c
c
dx . P
y
Q ) y ( donde de ) y ( dx . P
y
) y ( dx . P
y
Q
y
U
(III)
Como el primer miembro solo depende de y, esto es posible solamente si el segundo miembro
no depende de x y ello ocurre por la condicion de simetria, para comprobacion derivamos el
segundo miembro respecto de x 0
y
P
x
Q
dx . P
x y x
Q
dx . P
y x x
Q
=
c
c

c
c
=
c
c
c
c

c
c
=
c
c
c
c

c
c
} }
lo que nos indica que el segundo miembro no dependia de x. de (III) se obtiene (y) y
reemplazando este valor en U(x,y) P.dx (y) se obtiene el valor de U que igualada a una
constante nos da la solucion general de la ecuacion exacta.
Ejemplo
Resolver 2xy
3
.dx (3xy 2y).dy 0 P(x,y) 2xy
3
Q(x,y) 3xy 2y
Comprobacion cP/cy

6xy cQ/cx

6xy (Ecuacin Exacta)

P

cU/ cx U P.dx (y) 2xy

3
.dx (y) U x.y
3
(y) (IV)
cU/ cy

Q 3xy '(y) 3xy 2y '(y) 2y '(y).dy (y) yk

De (IV) U xy
3
y k igualando a una constante C sera: xy
3
y k C
xy
3
y C - k C
7
FACTORES INTEGRANTES
Si al multiplicar una ecuacion diIerencial por una expresion, se obtiene una ecuacion
diIerencial exacta, la expresion se denomina FACTOR INTEGRANTE de la ecuacion
diIerencial.
Se pueden hallar Iactores integrantes de muchas ecuaciones diIerenciales, reconociendo
ciertos grupos como diIerenciales de expresiones conocidas.
Por ejemplo de: d (y/x)

(x.dy - y.dx)/ x se desprende que 1/ x es un Iactor integrante

de la ecuacion x.dy - y.dxI(x).dx 0 pasando al segundo miembro I(x).dx y multiplicando
por 1 /x se tiene: (x.dy - y.dx)/ x

- I(x)/ x.dx
} } } }
= + + = = |
.
|

\
|
= |
.
|

\
|
C dx
x
) x ( I
x
y
C dx
x
) x ( I
x
y
x
dx ). x ( I
x
y
d
x
dx ). x ( I
x
y
d
2 2 2 2
Con el objeto de hacer practico el uso del Iactor integrante, se han conIeccionado tablas muy
completas de los mismos, para la mas variada gama de ecuaciones diIerenciales.
SOLUCIONES SINGULARES - ENVOLVENTES
Al estudiar las soluciones de una ecuacion diIerencial hemos visto que esta puede tener
soluciones que no se deducen de la solucion general por simple determinacion de los valores
de las constantes arbitrarias. A tales soluciones las hemos denominado SOLUCIONES
SINGULARES y hemos visto que constituyen la o las ENVOLVENTES del haz de curvas que
representa la solucion general. Las envolventes de un haz de curvas son aquellas que se
deIinen de la siguiente manera:
DEFINICION
Cualquier curva tangente a un numero inIinito de miembros de una Iamilia monoparametrica
de curvas (x,y,c) 0 (1) y que por lo menos es tangente en cada uno de sus puntos a una de
dichas curvas, es una parte, o el total de la ENVOLVENTE de la Iamilia (1).
Veremos a continuacion como podemos determinar las envolventes de un haz de la Iorma (1)
en caso de que existan:
TEOREMA
Sea (x,y,c) 0 un haz monoparametrico de curvas, siendo derivable y con derivadas
continuas hasta el segundo orden por lo menos, es decir e C, entonces las expresiones
analiticas de las ENVOLVENTES se obtienen eliminando el parametro c del siguiente
sistema:
) 2 (
0 ) c , y , x (
0 ) c , y , x (
c

=
=
DEMOSTRACION
La ecuacion (1) es una Iuncion compuesta que puede escribirse de la siguiente manera:
x, y(x), c|x, y(x)|} u(x) 0 cuya derivada respecto a x es:
0
dx
dy
.
y
c
.
c x
c
.
c dx
dy
.
y dx
dx
.
x dx
d
=
c
c
c
c
+
c
c
c
c
+
c
c
+
c
c
=
u
agrupando terminos resulta:
8
0 )
dx
dy
.
y
c
x
c
.(
c dx
dy
.
y dx
dx
.
x dx
d
=
c
c
+
c
c
c
c
+
c
c
+
c
c
=
u
sobre cualquier curva del haz dado, C es una constante por lo tanto 0 )
dx
dy
.
y
c
x
c
( =
c
c
+
c
c
de donde
resulta 0
dx
dy
.
y
.
x
=
c
c
+
c
c
(V)
Como sobre la envolvente, c no es una constante ya que depende de los valores de x e y, lo
encerrado entre corchetes es una expresion no nula, es decir: 0 )
dx
dy
.
y
c
x
c
( =
c
c
+
c
c
Por lo tanto para que se cumpla (V) debera ser c/cc 0
Dado que estas condiciones deben satisIacerse para todo punto de la envolvente, pues, en cada
uno de ellos es tangente a una curva del haz, se deduce que el sistema (2) bajo las condiciones
establecidas en el teorema nos dan las ecuaciones de las envolventes del haz.
Demostraremos ahora que cualquier envolvente de
c
0 satisIace el sistema. Cada punto de
la envolvente es comun con una curva del haz, por lo tanto, es posible expresar la ecuacion de
la envolvente en Iorma parametrica en Iuncion de c: x x(c) ; y y(c) como estos valores
deben satisIacer (x,y,c) 0 se veriIica
|x(c), y(c), c| 0 y podemos escribir:
0
dc
dc
.
c dc
dy
.
y dc
dx
.
x
=
c
c
+
c
c
+
c
c
La pendiente de (x,y,c) 0 es
y
x
dx
dy
c
c
c
c
= Si x x(c) ; y y(c)
dc
dx
dc
dy
dx
dy
=
Como ambas pendientes deben ser iguales en un punto perteneciente a x x(c) ; y y(c) se
tiene:
0
dc
dy
.
y dc
dx
.
x
dc
dx
dc
dy
y
x
=
c
c
+
c
c
=
c
c
c
c

esto ultimo juntamente con

0
dc
dc
.
c dc
dy
.
y dc
dx
.
x
=
c
c
+
c
c
+
c
c
se obtiene c/cc0, como queriamos demostrar
cualquier envolvente de (x,y,c)0 se obtiene eliminando el parametro c de las ecuaciones del
sistema (2).
A los eIectos de encontrar las soluciones singulares de una ecuacion diIerencial de la Iorma
dy /dx I(x,y) la ecuacion (x,y,c) 0 juega el papel de solucion general. A los eIectos de
ilustrar mejor el tema veremos el siguiente ejemplo:
'Determinar la solucion general y singular de la ecuacion y.(y' 1) r '
Debemos hallar primeramente la solucion general (x,y,c) 0 para lo cual operamos de la
siguiente manera: y.y' y r y.y' r - y y'
2
2 2
y
y r
luego
2
2 2
y
y r

dx
dy
dx
y
r
dy . y
2
2
=

haciendo u r - y du-2y.dy y.dy-1/2.du dx

u 2
du
= integrando
ambos miembros obtenemos
9




r y 0 r
y
0 ) c x (
0 r
y
c x
2
0 ) c x ( ) c x .( 2 0
c
) c , y , x ( 0 r
y
c x
2
y
c x
2
r c x
2
y
r c x
y
r
c x u dx
u 2
du
2
2
2
2
2
2
2
2
2
2
2
2
= =

=
= +
= = =
c
c
= = + =
+ = = = = =
} }
GraIicamente vemos que las curvas
integrales correspondientes a la solucion
general hallada, es el haz de
circunIerencias cuyos centros estan sobre
el eje x.
Las rectas y r ; y -r son las soluciones
singulares pedidas.
Puede notarse ademas, que las soluciones
singulares obtenidas, no pueden deducirse
a partir de la solucion general hallada, solo
dando valores particulares al parametro c.
TRAYECTORIAS ORTOGONALES
Diversos campos de la Iisica plantean el problema de
encontrar la ecuacion de un haz de curvas que corta
las curvas de otro haz dado Iormando, en todo punto,
angulos rectos.
Estudiaremos el problema que plantea el caso de un
haz monoparametrico de curvas de la Iorma: I(x,y,c)
0 donde c es un parametro arbitrario.
Las curvas del haz, por ejemplo las de trazo continuo
de la Iigura, se obtienen asignando valores
particulares al parametro c; se desea determinar la
ecuacion del haz de curvas ortogonales representado
por los trazos discontinuos en la Iigura.
Segun lo expuesto, la ecuacion I(x,y,c) 0 representa la solucion general de una ecuacion
diIerencial. Esta puede obtenerse eliminando el parametro c del sistema Iormado por
I(x,y,c) 0 y la derivada de I(x,y,c) 0 respecto de las variables independientes (en este caso
x).
Considerando I x , y(x), c|x,y(x)| } 0
0 )
dx
dy
y
c
x
c
(
c
I
dx
dy
y
I
dx
dx
x
I
=
c
c
+
c
c
c
c
+
c
c
+
c
c
Luego debemos considerar el siguiente sistema
) a (
0
dx
dy
y
I
x
I
0 ) c , y , x ( I

=
c
c
+
c
c
=
10
Eliminando el parametro c en (a), se obtiene la ecuacion diIerencial 0
dx
dy
, y , x I = |
.
|

\
|
Dado que
para que dos curvas Iormen un angulo recto, las pendientes en el punto de interseccion deben
ser reciprocas y de signo contrario y, considerando que la pendiente de una curva en un punto
determinado esta dada por la derivada de la expresion analitica que representa la curva en ese
punto; La ecuacion diIerencial del haz ortogonal de curvas buscado es: 0
dy
dx
, y , x I =
|
|
.
|

\
|

E1EMPLO
Sea determinar el haz de curvas ortogonales al haz de parabolas y c.x dy/ dx

2cx y'
Para eliminar el parametro c podemos dividir y' por y luego:
x
2
x
. c
x . c . 2
y
y
2
= =
x
y . 2
y =
Luego la ecuacion diIerencial es:
x
y . 2
dx
dy
= La ecuacion del haz ortogonal sera aquella cuya
pendiente
x
y . 2
dy
dx
dx
dy
= = Luego 2y . dy - x . dx integrando : } }
= dx
2
x
ydy
C
4
x
2
2
y
2
+ = luego C
4
x
2
2
y
2
= +
que representa un haz de elipses ortogonales en cada punto al haz de parabolas.