Mdulo 3 Anlisis Matemtico II

MDULO 3
DERIVADAS DIRECCIONALES
DERIVADAS PARCIALES
DIFERENCIAL
GRADIENTE
Derivadas direccionales
A la derivada de una funcin de una variable la definamos de la siguiente manera:
Sea f : (a, b)

, x 0 (a, b) , f es derivable en x0 si existe el lmite

f ( x 0 + h) f ( x 0 )
f ( x 0 ) = lim
h0 h
Y este es el valor de la pendiente de la recta tangente a la grfica de la funcin f en el punto
( x0 , y0 ) .
Por tanto la ecuacin de dicha recta tangente es:
y y 0 = f ( x 0 ) ( x x 0 )
Pretendemos ahora, extender este concepto al caso de una funcin de ms variables, en particular lo
haremos para dos variables.
La idea es tener una funcin de dos variables, cuya grfica es una superficie en
3 . Un punto
( x 0 , y 0 ) en el plano z = 0 , es decir el plano xy, y un vector unitario u = (a, b) en dicho plano.

El vector u = (a, b) nos dar la direccin en la que vamos a calcular la derivada direccional.

A esta derivada direccional queremos calcularla adems en el punto ( x 0 , y 0 ) .

Para esto, geomtricamente, tomaremos un plano perpendicular al plano z = 0 , con la direccin del
vector u y que pase por el punto ( x 0 , y 0 ,0) . (Ver figura).

Este plano, cortar a la grfica de f en una curva C.

La derivada direccional, si existe, nos dar la pendiente de la recta tangente a la grfica de C en el
punto ( x 0 , y 0 , z 0 ) .

43
Mdulo 3 Anlisis Matemtico II
Demos ahora la definicin formal.
Definicin
Sea f : D
2
, D abierto, ( x0 , y0 ) D, u = (a, b) un vector unitario, u = 1 .

Definimos a la derivada direccional de la funcin f en ( x 0 , y 0 ) , en la direccin de u = (a, b) y la

f
denotamos por ( x 0 , y 0 ) , al lmite:
u
f f ( x 0 + h a, y 0 + h b ) f ( x 0 , y 0 )
( x 0 , y 0 ) = lim
u h 0 h
si tal lmite existe.

3.1.-
Sea f :
2
/ f ( x, y ) = x 2 + y 2 , calcular la derivada direccional de f en un punto ( x0 , y0 )
2

en la direccin del vector v = (cos , sen ) . Evaluar la derivada obtenida para = 0 y = .

2

3.2.-
Sea f :
3
/ f ( x, y, z ) = 2 x 3 + 7 y 2 + 9 z 2 y sea v = (a , b , c) un vector unitario dado en el

espacio
3 . Calcular la derivada direccional de esta funcin en el punto ( x0 , y0 , z 0 )
3 en la

direccin de v.

3.3.-
Hallar la derivada direccional de la funcin:
f :
2
/ f ( x, y ) = ( x 1) 2 + ( y 1) 2 en (0 , 0) en la direccin del vector unitario v = ( 2
2
, 2
2
).

Si la derivada direccional fuera una buena extensin de la derivada unidimensional, debera

conservar todas sus propiedades, entre ellas que la derivabilidad implique la continuidad de la
funcin.
El siguiente ejercicio da cuenta de que esto no ocurre.
3.4.-
xy 2
si ( x, y ) (0,0)
Sea la funcin f :
2
definida por: f ( x, y ) = x 2 + y 4
0 si ( x, y ) = (0,0)

Sea u = (a , b) un vector unitario dado.
f
a) Calcular ( 0 , 0) .
u
44
Mdulo 3 Anlisis Matemtico II
b) Analizar la continuidad de f en (0 , 0) .
Ms adelante veremos la diferencial que es una buena extensin de la derivada de una variable.

Derivadas parciales
Un caso particular de la derivada direccional se da cuando tomamos dos direcciones particulares,
las paralelas a los ejes x e y respectivamente. Esto nos rinde dos derivadas particulares a las que
llamaremos derivadas parciales.
La primera de ellas es la derivada parcial respecto de x, que resulta de tomar al vector unitario u
como u = (1,0) , lo que al ponerlo en la definicin anterior resulta:

f f ( x 0 + h .1, y 0 + h .0 ) f ( x 0 , y 0 ) f (x 0 + h , y 0 ) f ( x0 , y 0 )
( x 0 , y 0 ) = lim = lim
u h 0 h h0 h
f
A esta derivada parcial respecto de x en el punto ( x 0 , y 0 ) la simbolizamos ( x 0 , y 0 ) y nos queda:
x
f f (x0 + h , y 0 ) f ( x 0 , y 0 )
( x 0 , y 0 ) = lim
x h 0 h

Anlogamente si tomamos u = (0,1) obtenemos la derivada parcial de f respecto de y.

f f (x0 , y 0 + k ) f ( x0 , y 0 )
( x 0 , y 0 ) = lim
y k 0 k

Si la funcin tiene derivadas parciales en cada punto de un conjunto D abierto de
2 , podemos

obtener las funciones derivadas parciales.

REGLA PARA CALCULAR LAS DERIVADAS PARCIALES DE z = f ( x, y )

f
1. Para calcular ( x, y ) , consideramos a y como una constante y derivamos a f como si slo
x
dependiera de x.
f
2. Para calcular ( x, y ) , consideramos a x como una constante y derivamos a f como si slo
y
dependiera de y.

Ejemplo
f f
Si f ( x, y ) = 4 x 2 2 y 2 , calcular (1,1) y (1,1) e interpretar esos nmeros como pendientes.
x x

45
Mdulo 3 Anlisis Matemtico II
f f
( x, y ) = 2 x (1,1) = 2
x x

f f
( x , y ) = 4 y (1,1) = 4
y y

En el caso de funciones de mayor nmero de variables, tendremos una derivada parcial por cada
una de ellas.
Por ejemplo:
f
x ( x 0 , y 0 , z 0 )

f
f ( x, y , z ) ( x 0 , y 0 , z 0 )
y
f
( x0 , y 0 , z 0 )
z

3.5.-
Hallar las derivadas parciales primeras con respecto a x e y , aplicando las reglas de derivacin:

46
Mdulo 3 Anlisis Matemtico II
a ) f ( x, y ) = 2 x 3 y + 5 d ) f ( x, y ) = ln( x 2 + y 2 ) g ) f ( x, y ) = sen (3 x). cos(3 y )
x
b ) f ( x, y ) = x 2 e 2 y e) z = ; y0 h) g ( x, y ) = x.e y .sen ( x. y )
y
x. y
c) f ( x, y ) = ln x. y , ( xy ) > 0 f) z= 2 ; ( x, y ) (0,0)
x + y2

3.6.-
n2a
La ecuacin de Van der Waal para el estado gaseoso es: P + 2 (V n b) = n R T

V

Donde P es la presin del gas, V el volumen, T la temperatura (en Kelvin), n el nmero de moles, R
P T
es la constante universal de los gases, a y b son constantes. Calcular e interpretar ; .
V P
3.7.-
L4
La flexin de una viga de longitud L, ancho w y altura h, viene dada por S ( L, w, h) = c , donde
w h3
S 4 S 1 S 3
c es constante. Demostrar que: = S; = S ; = S . Usar el resultado para
L L w w h h
determinar cul variable tiene el efecto proporcional mayor sobre la flexin.

Derivadas parciales de orden superior

Ya vimos que si la funcin f tiene derivadas parciales en todo punto de un conjunto abierto,
podemos obtener las funciones derivadas parciales.
Estas nuevas funciones, dependen de las mismas variables que f, con lo que podemos volver a
derivarlas parcialmente, obteniendo las llamadas derivadas parciales segundas.
As, dada f ( x, y ) podemos calcular cuatro derivadas parciales segundas de f.

2 f f
2 =
f x x x
x
f = f
2

y x y x
f ( x, y )
2 f f
=
f x y x y

y f = f
2

y 2 y y

2 f
Al smbolo lo leemos: derivada parcial segunda de f respecto de x dos veces
x 2

47
Mdulo 3 Anlisis Matemtico II
2 f
Tambin es la derivada parcial segunda de f respecto de y respecto de x.
x y

2 f
A esta ltima, junto con , les daremos el nombre de derivadas parciales cruzadas.
y x

3.8.-
Hallar todas las derivadas parciales segundas de:
y 2
a ) f ( x, y ) = x 2 2 xy + 3 y 2 c) z = arctg e) f ( x, y ) = x.e y
x
b) f ( x, y ) = e x tan y d) z = x e y + y ex f ) g ( x, y ) = sen ( x 2 y )

3.9.-
Verificar que z = sen( x c.t ) y z = sen( .c.t ). sen( .x) satisfacen, respectivamente, la ecuacin
de la onda:
2z 2 z
2
= c
t 2 x 2
3.10.-
f 2 f
Verificar que cada funcin satisface la ecuacin del calor: = c2 2
t x
x x
a ) f ( x, t ) = e t cos b) f ( x, t ) = e t sen
c c
3.11.-
2 f 2 f
Verificar que las funciones dadas satisfacen la ecuacin de Laplace: + =0
x 2 y 2

a ) f ( x, y ) = e x sen y b ) f ( x, y ) = (
1 y
)
e e y sen x
y
c) f ( x, y ) = arctg
2 x

Para la mayora de las funciones con las que vamos a trabajar, las derivadas parciales cruzadas
resultarn iguales.
Aunque esto no siempre ocurre, en realidad tenemos la siguiente propiedad.

Propiedad: Si las derivadas parciales cruzadas son funciones continuas entonces son iguales.

48
Mdulo 3 Anlisis Matemtico II
3.12.-
Este ejercicio es un contraejemplo de la propiedad anterior. Sea f :
2
dada por:

x2 y2
xy si ( x, y ) (0,0)
f ( x, y ) = x 2 + y 2
si ( x, y ) = (0,0)
0

2 f 2 f
Demostrar que (0,0) = 1  (0,0) = 1 .
x y y x

Diferenciabilidad
La diferencial en una variable:
Sea f : (a, b)

,,, x0 (a, b), f derivable en x0 , esto significa que existe el lmite:

f (x0 + h ) f ( x 0 )
f ( x0 ) = lim
x x0 h
Si no tomramos el lmite, esas dos expresiones no seran, en general, exactamente iguales, sino
aproximadamente iguales.
f (x0 + h ) f ( x0 )
f ( x0 ) f ( x0 ) h f ( x0 + h ) f ( x 0 )
h
Para restablecer la igualdad deberamos sumar una cierta cantidad en alguno de los dos miembros.
A esta cantidad la llamaremos resto o trmino complementario y la simbolizaremos por r (h) .
Entonces:
f ( x0 + h ) f ( x 0 ) = f ( x0 ) h + r (h) (1)

Donde
def
r (h) = f ( x0 + h ) f ( x0 ) f ( x0 ) h

Si dividimos m. a m. por h 0
r (h) f ( x0 + h ) f ( x0 ) f ( x0 ) h r (h) f ( x0 + h ) f ( x0 )
= = f ( x0 )
h h h h h
y tomando lmite cuando h 0 , nos queda:
r ( h) f (x0 + h ) f ( x 0 )
lim = lim lim f ( x0 ) = f ( x0 ) f ( x 0 ) = 0
h 0 h h 0 h 443 h0
144424
f ( x0 )

En la expresin (1), al trmino f ( x0 ) h lo llamamos la diferencial de f en x0.

Vemos que es una transformacin lineal de la variable h y la simbolizamos:
def
df ( x0 , h) = f ( x0 ) h

49
Mdulo 3 Anlisis Matemtico II

Grficamente la diferencial es una recta que pasa por el origen de coordenadas y tiene la misma
pendiente que la recta tangente a la grfica de f (x) en el punto x0 ;

Notacin usual
En la notacin que dimos antes para la diferencial, estamos destacando el punto y la variable en
donde la calculamos. Usualmente, si no hay posibilidades de confusin, la notacin es:
u = f ( x) du = f ( x) dx

Por ejemplo en el mtodo de sustitucin para el clculo de primitivas:

cos 5 x dx hacamos u = 5{x du = 5{ dx

f ( x) f ( x )

Uso de la diferencial como aproximacin lineal al valor de la funcin en un punto

Si dada una funcin f (x) , cumple con ser diferenciable, conocemos su valor en el punto x0 y

queremos calcular su nuevo valor en otro punto cercano x0 + h , podemos, en lugar de evaluar la

funcin en x0 + h , hacerlo evaluando el valor de la recta tangente (a la grfica de f (x) en el punto

x0 ) en x0 + h .
A este procedimiento se lo llama aproximacin lineal, puesto que en lugar de ir por la grfica de la
verdadera funcin, vamos por la grfica de su recta tangente.
El error cometido en este clculo es el que denominamos anteriormente r (h) , que ser pequeo si
el valor de h no es muy grande.
Veamos un ejemplo:
Supongamos tener la funcin f ( x) = x 2 y deseamos evaluar f (3,1) = f ( 3{ + 0{
,1) .
x0 h

Si usamos la aproximacin lineal f ( x0 + h) f ( x0 ) + f ( x0 ).h , tenemos:

50
Mdulo 3 Anlisis Matemtico II
f ( x0 ) = f (3) = 3 2 = 9
f ( x) = 2 x f ( x0 ) = f (3) = 2.3 = 6
f (3,1) f (3) + f (3).0,1 = 9 + 6.0,1 = 9,6
Mientras que si hubiramos calculado el verdadero valor de la funcin en el punto 3,1; tendramos
que haber hecho 3,12 es decir 3,1.3,1=9,61.
El error que cometimos usando la aproximacin lineal en vez del verdadero valor de la funcin es
de 9,61 9,6 = 0,1 = r (h) .
Tal vez este ejemplo hace que parezca que usar la aproximacin lineal es un tanto intil ya que la
dificultad de calcular 3,12 no es muy grande, pero pensemos lo que nos ocurrira si nos pidieran
calcular, SIN CALCULADORA, el valor de e 0, 2 .
Nos resultara, por lo menos, muy engorroso, pero veamos qu ocurre con la aproximacin lineal.
e 0.2 = e ( 0+ 0, 2) x0 = 0 y h = 0,2 , con esto tenemos

f ( x0 ) = f (0) = e 0 = 1
f ( x) = e x f ( x0 ) = e 0 = 1
f (0,2) 1 + 1.0,2 = 1,2

Si usamos la calculadora para ver el verdadero valor de e 0, 2 , obtenemos: e 0, 2 = 1,2214 con lo

cual el error que cometimos es r (h) = 1,2214 1,2 = 0,0214 .

Extensin a funciones de dos variables

Vamos a plantear la definicin de diferenciabilidad dada para funciones de una variable en el caso
de funciones de dos variables, usando una expresin similar a (1).
Definicin
Sea f : D

, D abierto, ( x0 , y 0 ) D . Se dice que f es diferenciable en ( x0 , y 0 ) si existen

f f
( x0 , y 0 ) y ( x0 , y 0 ) y para todo h, k tales que f ( x0 + h, y 0 + k ) D , se tiene que:
x y
f f
f ( x 0 + h, y 0 + k ) f ( x 0 , y 0 ) = ( x 0 , y 0 ) h + ( x 0 , y 0 ) k + r ( h, k )
x y
donde
def
f f
r ( h, k ) = f ( x 0 + h, y 0 + k ) f ( x 0 , y 0 ) ( x 0 , y 0 ) h + ( x 0 , y 0 ) k
x y
llamado resto, trmino de error o trmino complementario, es una expresin que cumple:

r (h, k )
lim =0
( h , k ) ( 0 , 0 ) (h, k )

51
Mdulo 3 Anlisis Matemtico II
La funcin
def
f f
df ( x0 , y 0 ; h, k ) = ( x 0 , y 0 ) h + ( x0 , y 0 ) k
x y
considerada una expresin lineal en (h, k ) , se llama diferencial de f en (h, k ) .
La diferencial es la mejor aproximacin lineal a la grafica de f, en este caso, geomtricamente es un
plano tangente a la grfica de f en el punto considerado.

Se dice que f es diferenciable en un conjunto abierto D si lo es en cada punto de D.

Ejemplos:
Ejemplo 1
Sea f :

// tal que:

x3 y x y3
si ( x, y ) (0,0)
f ( x, y ) = x 2 + y 2
0 si ( x, y ) = (0,0)

analizar la diferenciabilidad de f en P = (0,0) .

r (h, k )
Para ver si f es diferenciable en (0,0) debemos analizar el lim
( h , k ) ( 0, 0 ) (h, k )

Usamos la frmula del resto

f f
r (h, k ) = f (0 + h,0 + k ) f (0,0) (0,0) h (0,0) k
x y
Como el punto considerado es un salto en la definicin de la funcin, a las derivadas parciales
debemos calcularlas por definicin.
f f (h,0) f (0,0) 00
(0,0) = lim = lim =0
x h 0 h h 0 h

52
Mdulo 3 Anlisis Matemtico II
Anlogamente
f
(0,0) = 0
y

h 3 k hk 3
h 3 k hk 3 h2 + k 2
Entonces r (h, k ) = y debemos analizar el lim
h2 + k 2 ( h , k ) ( 0, 0 )
h2 + k 2
Tanto los lmites iterados, como por los caminos h = m k dan como resultado que ese limite vale
cero.
Debemos probarlo por definicin

h 3 k hk 3
> 0, > 0 / h < y k < y (h,k ) (0,0) h + k 0 <
? 2 2

h2 + k 2

Tendremos que mostrar que dado un > 0 podemos exhibir un > 0 que verifica la expresin
anterior.
h 3 k hk 3
h2 + k 2 = h 3 k hk 3 h3k hk3
+ =
h2 + k 2 (h 2 + k 2 ) h 2 + k 2 (h 2 + k 2 ) h 2 + k 2 (h 2 + k 2 ) h 2 + k 2

h2 k k2 h
= h+ k 1.1. h + 1.1. k < + = 2
(h 2 + k 2 ) h2 + k 2 (h 2 + k 2 ) h2 + k 2
Por lo tanto:

dado > 0 basta elegir = para probar que el lmite vale cero, entonces f es diferenciable en (0,0)
2

Ejemplo 2
Sea f :

// definida por

x. y
si ( x, y ) (0,0 )
f ( x, y ) = x 2 + y 2

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

Probar que f(x,y) no es diferenciable en (0,0)

53
Mdulo 3 Anlisis Matemtico II
h. 0
f f (h,0) f (0,0) h
(0,0) = lim = lim = lim
0
=0
x h 0 h h 0 h h 0 hh
0. k
f f (0, k ) f (0,0) k
(0,0) = lim = lim
0
= lim = 0
y k 0 k k 0 k k 0 k

Por otra parte

hk
r (h, k ) =
h2 + k 2
hk
r (h, k ) h2 + k 2 hk r cos t r sen t
lim = lim lim = lim = cos t sen t
( h , k ) ( 0 , 0 ) ( h, k ) ( h , k ) ( 0, 0 )
h2 + k 2 ( h , k ) ( 0 , 0 ) h +k
2 2 r 0 r2

Este lmite no existe pues para cada valor del ngulo t obtenemos un resultado distinto, por lo tanto
la funcin no es diferenciable en (0,0).

Con estos ejemplos vemos que decidir si una funcin es o no diferenciable tiene ciertas dificultades,
sin embargo hay un teorema que nos permitir hacerlo ms fcilmente.
Lo enunciaremos sin demostracin.

Teorema
Si existen las derivadas parciales de f en todo un entorno U de ( x0 , y 0 ) y son funciones continuas

en ( x0 , y 0 ) , entonces f es diferenciable en ( x0 , y 0 ) .

Con el resultado de este teorema podemos asegurar la diferenciabilidad de funciones tales como:
f ( x, y ) = xy 2 cos x g ( x, y ) = e x + 2 y

En resumen:

Existen las
Existen las derivadas f es derivadas
parciales de f y son diferenciable parciales de f
continuas

54
Mdulo 3 Anlisis Matemtico II
Ejemplo:
Dada la funcin
yx 2 y 3
( x, y ) (0,0)
f ( x, y ) = x 2 + y 2
0 ( x, y ) = (0,0)

a) Determinar la continuidad de f.
b) Estudiar la continuidad de las derivadas parciales de f. De los resultados obtenidos, puede
deducirse la diferenciabilidad de f en el origen?

a)
f (0,0) = 0
yx 2 y 3 r 3 sen cos 2 r 3 sen 3
lim f ( x, y ) = lim = lim (
r 0 144424443
)
= lim r sen cos 2 sen 3 = 0
( x, y )( 0,0 ) ( x, y )( 0,0 ) x +y
2 2 r 0 r 2
f acotada

De existir el lmite valdra cero, probemos por definicin:

? yx 2 y 3
x < , y < , ( y , y ) (0,0) <
x2 + y2
yx 2 y 3 x2 y2
= y 2 + y < 2 =
x2 + y2 { x + y2 { x2 + y2
< 1424 3 < 1424 3
1 1

Dado > 0 elegimos = > 0 y con eso demostramos que el lmite doble vale cero.
2
Por tanto f es continua en (0,0).
b) Analicemos la continuidad de la derivada parcial con respecto a x, en el origen.
0
f 0
f (h,0) f (0,0) h 2
(0,0) = lim = lim =0
x h 0 h h 0 h
f (
2 xy x 2 + y 2 yx 2 y 3 2 x ) (
4 xy 3 )
( x, y ) = =
x x2 + y2
2
( x2 + y2 ) ( )
2

Entonces podemos escribir:

4 xy 3
f 2 si ( x, y ) (0,0)
= x + y2
x
( )2
y analizar su continuidad en (0,0)
0 si ( x, y ) = (0,0)

f
(0,0) = 0
x
4 xy 3 4r 4 cos sen 3
lim = lim = 4 cos sen 3
( x, y )( 0,0 )
(
x2 + y2 )
2 r 0 r 4

55
Mdulo 3 Anlisis Matemtico II
Este lmite no existe por quedar en funcin de , de lo que deducimos que la derivada de f respecto
de x no es continua en el origen.
Realizaremos, en forma similar, el estudio de la continuidad de la otra derivada parcial:
k3
f 0
f (0, k ) f (0,0) 2
(0,0) = lim = lim k = 1
y k 0 k k 0 k
f
( x , y ) =
( )( ) ( =
)
x 2 3 y 2 x 2 + y 2 yx 2 y 3 2 y x 4 y 4 4 x 2 y 2
y x2 + y2 (
2
) x2 + y2
2
( )
Nos queda:
x 4 y 4 4x 2 y 2
f si ( x, y ) (0,0)
=
y
x2 + y2
2
( )
1 si ( x, y ) = (0,0)

Analicemos su continuidad en el origen:

f
(0,0) = 1
y

lim
x 4 y 4 4x 2 y 2
= lim
(
r 4 cos 4 sen 4 4 cos 2 sen 2 )
= cos 4 sen 4 4 cos 2 sen 2
( x, y )( 0, 0)
+y (x 2 2 2
) r 0 r 4

El lmite no existe.
Por tanto la derivada parcial de f con respecto a y, no es continua en el origen.
Finalmente, de los resultados obtenidos no podemos deducir la diferenciabilidad de f ( x, y ) en el
origen.

3.13.-
Analizar cules de las siguientes funciones f :
2
son diferenciables en el punto dado.

xy
2 si ( x, y ) (0,0)
a ) f ( x, y ) = x + y 2 en P = (0,0) b) f ( x, y ) = xy 2 en P = (0,0)
0 si ( x, y ) = (0,0)

xy 2
si ( x, y ) (0,0)
c) f ( x, y ) = x 2 + y 2 en P = ( x0 , y 0 ) d ) f ( x, y ) = x 2 + y 2 P = (0,0)
0 si ( x, y ) = (0,0)

Unicidad de la diferencial
Toda aplicacin lineal de
 // en
// es de la forma:
g (h, k ) = ah + bk
con a
, b
.

56
Mdulo 3 Anlisis Matemtico II
Ahora bien, lo mismo que ocurre para funciones de una variable, la diferencial es la mejor
aproximacin lineal al valor de la funcin en un punto ( x0 + h, y 0 + k ) prximo a ( x0 , y 0 ) . Es decir
que:
f f
( x0 , y 0 ) h + ( x0 , y 0 ) k
x y
es la mejor aproximacin lineal al valor de f ( x 0 + h, y 0 + k ) f ( x 0 , y 0 ) , salvo el trmino del error

r (h, k )
r (h, k ) que cumple: lim = 0.
( h , k ) ( 0 , 0 ) (h, k )

Supongamos ahora que existe otra aproximacin lineal que tambin rinde la mejor aproximacin
lineal al valor de f, es decir que suponemos que existen a y b reales, tales que:
f ( x 0 + h, y 0 + k ) f ( x 0 , y 0 ) = ah + bk + r (h, k ) (1)

r (h, k )
con lim =0
( h , k ) ( 0 , 0 ) (h, k )

Probaremos que a y b son las derivadas parciales de f respecto de x e y respectivamente, con lo que
la diferencial resulta ser nica.
Veamos esto:
Si hacemos en (1) k = 0 , obtenemos:
f ( x0 + h, y 0 + 0) f ( x0 , y 0 ) = ah + b 0 + r (h,0)

Dividimos m. a m. por h 0 y nos queda

f ( x 0 + h, y 0 ) f ( x 0 , y 0 ) r ( h ,0 )
=a+ (2)
h h
La idea ahora es tomar lmite cuando h 0 , pero primero vamos a demostrar que con la hiptesis
r (h, k ) r ( h ,0 )
de que lim = 0 entonces vale que lim =0
( h , k ) ( 0 , 0 ) (h, k ) h 0 h

Sea > 0 . Por la hiptesis existe > 0 tal que:

r ( h, k )
0 < h2 + k 2 < <
h2 + k 2

En particular, si k = 0 y 0 < h < (h,0) = h 2 + 0 < y tenemos

r ( h ,0 ) r ( h ,0 ) r ( h ,0 )
= = <
h h h

Por lo tanto, dado > 0 , basta elegir a > 0 , como el mismo cuya existencia nos asegura el
r (h, k )
lim = 0.
( h , k ) ( 0 , 0 ) (h, k )

57
Mdulo 3 Anlisis Matemtico II
r ( h ,0 )
Entonces si 0 < h < , se tiene que < y esto significa, por la definicin de lmite de una
h
variable, que:
r ( h ,0 )
lim =0
h 0 h
como queramos demostrar.
Podemos tomar ahora lim en ambos miembros de (2), para obtener que:
h 0

f
a= ( x0 , y0 )
x
Anlogamente se prueba que:
f
b= ( x0 , y 0 )
y
Con lo que queda completa la demostracin de que la diferencial es nica.

La diferenciabilidad implica la continuidad

Vamos a demostrar ahora que, si f es diferenciable, entonces es continua.
Para esto, primero vamos a ver una expresin del resto r (h, k ) equivalente a la dada anteriormente,
pero ms adecuada para la demostracin de continuidad.
h2 + k 2
r ( h, k ) = r ( h, k ) =
h2 + k 2 h2 + k 2
h r ( h, k ) k r ( h, k ) def
= h . + k
2 . = h. 1 (h, k ) + k . 2 (h, k )

h +k h2 + k 2 h +k h2 + k 2
2 2 2

Si observamos que las expresiones

h k r (h, k )
y estn acotadas entre -1 y 1 y que tiende a cero cuando
h2 + k 2 h2 + k 2 h2 + k 2
(h, k ) (0,0) por la hiptesis de diferenciabilidad, vemos claramente que:
lim 1 (h, k ) = lim 2 (h, k ) = 0
( h , k ) ( 0, 0 ) ( h , k )( 0 , 0 )

Esto nos permite enunciar una definicin de diferenciabilidad equivalente a la anterior pero con esta
nueva forma del resto.
Definicin:
f es diferenciable en el punto ( x0 , y 0 ) si el incremento f ( x0 + h, y 0 + k ) f ( x0 , y 0 ) se puede
expresar en la forma:
f f
f ( x 0 + h, y 0 + k ) f ( x 0 , y 0 ) = ( x0 , y 0 ) h + ( x0 , y 0 ) k + h. 1 (h, k ) + k . 2 (h, k )
x y
58
Mdulo 3 Anlisis Matemtico II
donde 1 (h, k ) y 2 (h, k ) son funciones que cumplen:

lim 1 (h, k ) = lim 2 (h, k ) = 0

( h , k ) ( 0 , 0 ) ( h , k )( 0 , 0 )

Con esto ya podemos encarar la demostracin del siguiente:

Teorema
Toda funcin diferenciable en un punto, es continua en l.
Demostracin
Utilizando la nueva versin de la definicin de diferenciabilidad
f f
f ( x 0 + h, y 0 + k ) f ( x 0 , y 0 ) = ( x0 , y 0 ) h + ( x0 , y 0 ) k + h. 1 (h, k ) + k . 2 (h, k )
x y
y tomando a ambos miembros el lmite cuando (h, k ) (0,0) nos queda:

f
lim [ f ( x 0 + h, y 0 + k ) f ( x 0 , y 0 )] = lim ( x 0 , y 0 ) lim h +
( h , k ) ( 0, 0 ) ( h , k ) ( 0, 0 ) x444
14442
( h , k )( 0, 0 )
3 1424 3
f 0
( x0 , y 0 )
x

f
+ lim ( x0 , y 0 ) lim k + lim h. lim 1 (h, k ) + lim k lim . 2 (h, k )
( h , k ) ( 0 , 0 ) y ( h , k ) ( 0, 0 ) h , k ) ( 0, 0 ) h , k ) ( 0, 0 ) h , k ) ( 0 , 0 ) h , k ) ( 0 , 0 )
14442444 3 142 4 3 (1 424 3 (1 442443 (1 424 3 (1 442443
f 0 0 0 0 0
( x0 , y 0 )
y

lim f ( x0 + h, y 0 + k ) f ( x0 , y 0 ) = 0 con x0 + h = x ; h 0 x x0
( h , k )( 0, 0 ) 123 123
x y
y0 + k = y ; k 0 y y0
lim [ f ( x, y ) f ( x 0 , y 0 ) ] = 0
( x , y ) ( x0 , y 0 )

lim f ( x, y ) = f ( x 0 , y 0 )
( x , y ) ( x0 , y 0 )

que es la propia definicin de continuidad en ( x0 , y 0 ) .

3.14.-
Analizar la diferenciabilidad de la siguiente funcin en el punto indicado

xy
si ( x, y ) (0,0)
f ( x, y ) = x 2 + y 2 en P = (0,0)
0 si ( x, y ) = (0,0)

Teorema
Sean f : D
2
, g : D
2
, D abierto, ( x0 , y 0 ) D , f y g diferenciables en ( x0 , y 0 ) ,
entonces:

59
Mdulo 3 Anlisis Matemtico II
a) la suma f + g : D
2
,, ( f + g )( x0 , y 0 ) = f ( x0 , y 0 ) + g ( x0 , y 0 ) , es una funcin

diferenciable en ( x0 , y0 ) .

b) el producto f .g : D
2
,, ( f .g )( x0 , y 0 ) = f ( x0 , y 0 ).g ( x 0 , y 0 ) es una funcin

diferenciable en ( x0 , y0 ) .

f. f f ( x0 , y 0 )
c) si g ( x0 , y 0 ) 0 , el cociente : D
2
,, ( x0 , y 0 ) = es una funcin
g g g ( x0 , y 0 )

diferenciable en ( x0 , y0 ) .

Demostracin:
Vamos a demostrar el caso de la suma
a) Debemos demostrar que el resto r( f + g ) (h, k ) , definido por la expresin

r( f + g ) (h, k ) = ( f + g )(x0 + h, y 0 + k ) ( f + g )( x0 , y 0 ) ( f + g )( x0 , y 0 ) h ( f + g )( x0 , y 0 ) k
x y

cumple con
r( f + g ) (h, k )
lim =0
( h , k ) ( 0, 0 ) (h, k )
Desarrollando:
f
r( f + g ) (h, k ) = f ( x0 + h, y0 + k ) + g (x0 + h, y0 + k ) f ( x0 , y0 ) g (x0 , y0 ) ( x0 , y0 ) h
x
g f g
( x0 , y0 ) h ( x0 , y0 ) k ( x0 , y0 ) k =
x y y
f f g
= f ( x0 + h, y0 + k ) f ( x0 , y0 ) ( x0 , y0 ) h ( x0 , y0 )k + g (x0 + h, y0 + k ) g (x0 , y0 ) ( x0 , y0 ) h
x y x
g
( x0 , y0 ) k
y

Dividiendo m.a m. por (h, k )

r( f + g ) ( h, k )
=
(h, k )
f f
f ( x0 + h, y0 + k ) f ( x0 , y0 ) ( x0 , y0 ) h ( x0 , y0 ) k
x y
= +
(h, k )
g g
g ( x0 + h, y0 + k ) g ( x0 , y0 ) ( x0 , y0 ) h ( x0 , y0 ) k
x y r (h, k ) rg (h, k )
+ = f +
(h, k ) (h, k ) (h, k )
Por la hiptesis de diferenciabilidad de f y g sabemos que
r f ( h, k ) rg (h, k )
lim =0 y lim = 0 por lo que, al tomar lmite a ambos miembros de la
( h , k ) ( 0, 0 ) (h, k ) ( h , k ) ( 0, 0 ) (h, k )
igualdad anterior llegamos a que:
60
Mdulo 3 Anlisis Matemtico II
r( f + g ) (h, k )
lim =0
( h , k ) ( 0, 0 ) (h, k )
con lo que la funcin f + g resulta diferenciable en ( x0 , y0 )

Concepto de gradiente
Volviendo a la expresin de la diferencial
f f
df ( x0 , y 0 ; h, k ) = ( x0 , y 0 ) h + ( x0 , y 0 ) k
x y
vemos que al segundo miembro lo podemos expresar como el producto escalar entre el vector de los
incrementos (h, k ) por otro vector cuyas componentes son las derivadas parciales

f f f f
df ( x0 , y 0 ; h, k ) = ( x 0 , y 0 ) h + ( x0 , y 0 ) k = ( x0 , y 0 ) , ( x0 , y 0 ) (h, k )
x y x y
A este vector de las derivadas parciales lo llamaremos vector gradiente de f, y lo denotaremos por
f ( x0 , y 0 ) o grad f ( x0 , y 0 ) .
Por tanto
f f
f ( x0 , y 0 ) = ( x0 , y 0 ) , ( x0 , y 0 )
x y
y la expresin de la diferencial puede verse como:
df ( x 0 , y 0 ; h, k ) = f ( x0 , y 0 ) (h, k )

Para tres variables denotamos el vector de los incrementos por (dx, dy, dz ) :
df ( x0 , y 0 , z 0 ; dx, dy, dz ) = f ( x 0 , y 0 , z 0 ) (dx, dy, dz )

f f f
df ( x0 , y 0 , z 0 ; dx, dy, dz ) = ( x0 , y 0 , z 0 ), ( x0 , y 0 , z 0 ), ( x0 , y 0 , z 0 ) (dx, dy, dz )
x y z
f f f
df ( x0 , y 0 , z 0 ; dx, dy, dz ) = ( x0 , y 0 , z 0 ) dx + ( x0 , y 0 , z 0 ) dy + ( x0 , y 0 , z 0 ) dz
x y z
Anlogamente se extiende para n variables.

3.15.-
Hallar el vector gradiente en cada punto que exista para las funciones escalares definidas a
continuacin:
a ) f ( x, y ) = x 2 + y 2 sen( x. y ) d ) f ( x, y , z ) = x 2 y 2 + 2 z 2
b) f ( x, y ) = e x cos y e) f ( x, y, z ) = ln( x 2 + 2 y 2 3 z 2 )
z
c ) f ( x, y , z ) = x 2 y 3 z 4 f ) f ( x, y , z ) = x y
61
Mdulo 3 Anlisis Matemtico II

El caso ms general es la expresin de la diferencial para una funcin vectorial de n variables y m

componentes.
F : D
n
m / F ( x1 , x 2 , K , x n ) = ( f 1 ( x1 , x 2 , K , x n ), f 2 ( x1 , x 2 , K , x n ), K , f m ( x1 , x 2 , K , x n ) )

Supongamos D abierto y F diferenciable en un punto P de D. P = x10 , x 20 , K , x n0 . ( )

Para cada una de las funciones componentes de F, calculamos el vector gradiente y lo evaluamos en
el punto P. A estos vectores gradiente los ordenamos como las filas de una matriz.
A tal matriz le damos el nombre de matriz jacobiana de F, y la simbolizamos: J F (P )

f 1 f 1 f1
f 1 ( P) dx1 x ( P) x ( P ) K x ( P) dx1
f ( P ) dx 1 2 n
dx
2 f
2 ( P) f f 2
( P)
2 2 2
( P) K
dF( P; dx1 , dx 2 , K , dx n ) = f 3 ( P) dx3 = x1 x 2 x n . dx3
M
M M M M M


f m ( P) dx n f f f
m
( P) m
( P) K m
( P) dx n
x1 x x n
1 4444424244444 4 3
JF ( P )

Resaltemos aqu que la dimensin de la matriz jacobiana es de m n .

3.16.-
Las siguientes son funciones diferenciables. Calcular las diferenciales en forma general, y luego
evaluarlas en los puntos dados:
i ) f :
2
/ f ( x, y ) = x 2 ; P = ( a , b )
ii ) f :
2
/ f ( x, y ) = cos y ; P = (a, b)
iii ) f :
2
/ f ( x, y ) = x 2 cos y ; P = (2, 4 )
( )
iv) f :
3
2 / f ( x, y, z ) = x 2 y sen z , x 3 y 2 z ; P = (1,3, )
v ) f ( x, y ) = x , x > 0
y
P = (1,0)
vi ) f ( x, y ) = cos( x. cos y ) ; ( x, y )
2 P = (0,0)

Problemas propuestos

(
1.- Sea la funcin diferenciable f :
3
2 definida por f ( x, y, z ) = sen( x. y + z ) , (1 + x 2 ) y z )
Calcular la diferencial de f en el punto (1, -1, 1).

2.- Sea la funcin diferenciable g :
2
2 definida por g (u , v) = u + e v , v e u ( )

Calcular la diferencial de f en el punto (0, ).

62
Mdulo 3 Anlisis Matemtico II
3.- Usando las funciones dadas en 1 y 2, calcular la diferencial de ( g o f )(1,1,1)

4.- Sea f : U
2
una funcin definida en el conjunto abierto U de
2 , y sea p un punto de

U. A continuacin se dan ocho afirmaciones sobre la funcin f:
1) f es diferenciable en p.
2) f es continua respecto de su primera variable en p.
3) f es continua respecto de su segunda variable en p.
4) f es continua en p en la direccin de algn vector v
2 .
5) f es continua en p en la direccin de todo vector v
2 .
6) f tiene derivadas parciales en p.
7) f tiene derivadas direccionales en p en la direccin de cualquier vector v
2 .
8) f tiene derivadas parciales continuas en alguna bola B contenida en U con centro en p.
Llenar el siguiente cuadro, indicando con una V en la lnea i y columna j, cuando la afirmacin de
la lnea i implique la afirmacin de la columna j, y con una F cuando no la implique.
Por ejemplo: la afirmacin 1 implica a la 6, pero la recproca no es cierta. Esas respuestas ya
aparecen en la tabla.
1 2 3 4 5 6 7 8
1 V
2
3
4
5
6 F
7
8

Parcial 2005
Dada la siguiente funcin, continua en el origen, probar que no es diferenciable en dicho punto:
x3 y 3
si ( x, y ) (0,0)
f ( x, y ) = x 2 + y 2
0 si ( x, y ) = (0,0)

63
Mdulo 3 Anlisis Matemtico II
Parcial 2007
Analizar: continuidad y diferenciabilidad en P= (0,0) de la siguiente funcin:
3x 2 y 2 x 3
si ( x, y ) (0,0)
f :

/ f ( x, y ) = x 2 + y 4
si ( x, y ) = (0,0)
0

Parcial 2010
Estudiar la diferenciabilidad de la siguiente funcin en (0,0)
x3
si ( x, y ) (0,0)
f ( x, y ) = x 2 + y 2
0 si ( x, y ) = (0,0)

Recuperatorio 2011
x3 y x y3
si ( x, y ) (0,0)
Sea f ( x, y ) = x 2 + y 2 , analizar la diferenciabilidad de f en P = (0,0) .
0 si ( x, y ) = (0,0)

Final febrero 2015

x3 y
si ( x, y ) (0,0)
Dada f ( x, y ) = x 2 + y 2 estudiar:
0 si ( x, y ) = (0,0)

a) Continuidad de f en (0,0).
b) Existencia y continuidad de las derivadas parciales de f en (0,0).
c) Diferenciabilidad de f en (0,0).

64