4.

DIFERENCIABILIDAD
Segn se observ en un ejemplo anterior que el concepto de derivabilidad no tiene la misma categora para
funciones de una sla variable que para funciones de : variables. S ser anlogo el concepto de diferenciabilidad.
Denicin 1 Sea ) : 1 R
n
R
n
y a 1
0
, se dice que f es diferenciable en a si existe una transfor-
macin lineal
1
, T : R
n
R
n
tal que:
lm
|!0
)
_
a + /
_
) (a) T
_
/
_
_
_
/
_
_
= 0
Esta denicin es equivalente a decir que, bajo las mismas condiciones, ) es diferenciable en a si y slo si
existe una transformacin lineal T : R
n
R
n
y una funcin j : R
n
R
n
tales que:
)
_
a + /
_
) (a) = T
_
/
_
+ j
_
a + /
_
lm
|!0
(o+|)
|||
= 0, es decir, j es un innitsmo de orden superior a
_
_
/
_
_
Observacin 1 Sea ) : 1 R
n
R
n
, con )
I
: 1 R
n
R y 1 _ i _ :, sus funciones coordenadas, sea
a 1
0
y sea ) diferenciable en a, entonces existe una transformacin lineal T : R
n
R
n
con T
I
: R
n
R,
1 _ i _ :, sus funciones coordenadas, tal que:
lm
|!0
)(a + /) )(a) T(/)
[[/[[
= 0
Recordando uno de los teoremas de lmites (lmite coordenada a coordenada), se sabe que esto ocurre si y slo
si:
lm
|!0
)
I
(a + /) )
I
(a) T
I
(/)
[[/[[
= 0, con 1 _ i _ :
Por lo que el estudio de diferenciabilidad puede reducirse al caso de las funciones escalares y luego generalizar
para funciones vectoriales.
Teorema 1 Si ) es diferenciable en a, entonces es continua en a.
Demostracin. Por ser ) diferenciable en a, lm
|!0
)
_
a + /
_
) (a) T
_
/
_
_
_
/
_
_
= 0; y dado que
_
_
/
_
_
es un in-
nitsimo en / = 0:
lm
|!0
_
)
_
a + /
_
) (a) T
_
/
_
= 0
Por ser T una transformacin lineal, lm
|!0
T
_
/
_
= T
_
0
R
n
_
= 0
R
m, luego:
lm
|!0
_
)
_
a + /
_
) (a)

= 0
Si / = r a, lm
r!o
_
) (r) ) (a)

= 0 Por tanto, ) es continua en a.

Proposicin 1 Si ) : 1 R
n
R
n
, es diferenciable en a 1
0
entonces la transformacin lineal asociada es
nica.
Teorema 2 Si ) : 1 R
n
R es diferenciable en a 1
0
y T(/) =
n

|=1
c
|
/
|
es la transformacin lineal
asociada, entonces cada una de las derivadas parciales
J}(o)
Jr
k
existe y se verica que:
c
|
=
0) (a)
0r
|
, / = 1, 2, ..., :
1
T es una transformacin lineal si 8x; y 2 R
n
y 8
1
;
2
2 R, se cumple: T (
1
x +
2
y) =
1
T (x) +
2
T (y)
1
Demostracin. Por ser ) diferenciable en a:
lm
|!0
)
_
a + /
_
) (a) T(/)
_
_
/
_
_
= 0 = lm
|!0
)
_
a + /
_
) (a)
n

|=1
c
|
/
|
_
_
/
_
_
= 0
Si /
|
,= 0 y /
I
= 0, \i ,= /, es decir / = (0, 0, ..., /
|
, 0, ..,0), reemplazando en la expresin anterior resulta:
lm
|
k
!0
)(a
1
, ..., a
|
+ /
|
, ...a
n
) )(a
1
, ..., a
n
) c
|
/
|
/
|
= 0 = lm
|
k
!0
)(a
1
, ..., a
|
+ /
|
, ...a
n
) )(a
1
, ..., a
n
)
/
|
c
|
= 0
lm
|
k
!0
)(a
1
, ..., a
|
+ /
|
, ...a
n
) )(a
1
, ..., a
n
)
/
|
= c
|
=
J}(o)
Jr
k
= c
|
4.0.1. Matriz Jacobiana (o Derivada)
Sea ) : 1 R
n
R
n
, a 1
0
, si ) es diferenciable en a entonces:
T
o
(/) = )
0
(a) /
con )
0
(a) una matriz de (::) y / de (: 1).
Si )
I
es la coordenada i c:i:a de ), por ser )
I
una funcin escalar con : variables: )
0
I
(a) =
_
J}
i
Jr
1
(a), ,
J}
i
Jr
n
(a)
_
.
Por tanto
J}
i
Jr
j
(a) es el elemento de la la i y de la columna , de la matriz )
0
(a), entonces:
)
0
(a) =
_
_
_
J}
1
Jr
1
(a)
J}
1
Jr
n
(a)
.
.
.
.
.
.
.
.
.
J}
m
Jr
1
(a)
J}
m
Jr
n
(a)
_
_
_ =
_
_
_
\)
1
(a)
.
.
.
\)
n
(a)
_
_
_
Esta matriz se llama matriz jacobiana o matriz derivada de ) en a.
Ejemplo 1 Sea ) : R
3
R
2
, )(r, j, .)=
_
r + 2j .
r
2
j
_
Sus funciones coordenadas son:
)
1
(r, j, .) = r + 2j ., )
2
(r, j, .) = r
2
j
Se ver que ambas funciones coordenadas son diferenciables en a = (a, /, c), para ello se calcula: Luego
)
0
(a) =
_
1 2 1
2a/ a
2
0
_
4.1. Diferencial
Si ) es diferenciable en a, a la transformacin lineal asociada T
o
_
/
_
, que existe y es nica para a, le llamamos
diferencial de ) en a, y se la denota como:
d
o
)
_
/
_
= T
o
_
/
_
=
n

|=1
0) (a)
0r
|
/
|
Suelen utilizarse los smbolos dr
1
, ..., dr
n
en lugar /
1
, ..., /
n
para las componentes de /, de modo que / = dr,
entonces
d
o
) (dr) =
n

|=1
0) (a)
0r
|
dr
|
=
0) (a)
0r
1
dr
1
+
0) (a)
0r
2
dr
2
+ ... +
0) (a)
0r
n
dr
n
Observacin 2 Sea ) : 1 R
2
R. Si . = ) (a + /, / + /) ) (a, /), d. = )
r
(a, /) / + )

(a, /) / y
_
_
/
_
_
=
_
/
2
+ /
2
, la denicin de funcin diferenciable, en trminos del incremento y del diferencial expresa
que:
lm
(|,|),(0,0)
. d.
_
/
2
+ /
2
= 0
Teorema 3 Sea ) : 1 R
n
R y a 1
0
. Si ) es diferenciable en a entonces \ R
n
y || = 1, existe
1
u
)(a) y adems 1
u
)(a) = T
o
()
2
Demostracin. Si ) es diferenciable en a, entonces existe una transformacin lineal T
o
: R
n
R y una funcin
j tal que:
)(a + /) )(a) = T
o
(/) + j(a + /), con lm
|!0
j(a + /)
[[/[[
= 0 (1)
Sea / = t, entonces
)(a + t) )(a) = T
o
(t) + j(a + t) = tT
o
() + j(a + t), con lm
|!0
j(a + t)
[[t[[
= 0
Luego
lm
|!0
j(a + t)
t
= lm
|!0
j(a + t)
[[t[[
[[t[[
t
= lm
|!0
j(a + t)
[[t[[
[t[
t
= 0 (2)
De (1) y (2)
lm
|!0
)(a + t) )(a)
t
= lm
|!0
tT
o
()
t
+ lm
|!0
j(a + t)
t
= T
o
() + 0 = T
o
()
Por tanto, 1
u
)(a) = T
o
().
4.1.1. Gradiente
Denicin 2 Dada una funcin ) que posee las : derivadas parciales
J}
Jr
1
(a), ...,
J}
Jr
n
(a) en el punto a, se llama
gradiente de ) en a al vector:
\)(a) =
_
0)
0r
1
(a), ,
0)
0r
n
(a)
_
Observacin 3 Sea ) : 1 R
n
R, a 1
0
, si ) es diferenciable en a entonces, por los teoremas 2 y 3:
1
u
)(a) = T
o
() =
n

|=1
0)
0r
|
(a)
|
= \)(a) = )
0
(a)
donde \)(a) = )
0
(a)
4.1.2. Derivada direccional mxima
Muchas veces resulta til saber en qu direccin se produce la derivada direccional mxima y cul es el valor
de la misma. Para ello se tendr en cuenta el siguiente teorema.
Teorema 4 Sea ) : 1 R
n
R diferenciable. El valor de la mxima derivada direccional 1
u
)(r) es [[\)(r)[[
y se presenta cuando n tiene la direccin del vector \)(r).
Esto es, si \)(r) ,= 0 , entonces \)(r) apunta en la direccin a lo largo de la cual ) est creciendo ms
rpidamente.
Demostracin. Por ser ) diferenciable se tiene
1
u
)(r) = \)(r).n = [[\)(r)[[[[n[[ cos 0 = [[\)(r)[[ cos 0
donde 0 es el ngulo comprendido entre \)(r) y n. El mximo valor de cos 0 es 1 y se presenta cuando 0 = 0.
Por lo tanto el mximo valor de 1
u
)(r) es [[\)(r)[[ y ocurre cuando n tiene la misma direccin que \)(r).
La derivada direccional mxima de la funcin ) en el punto a, se denota por:
1
max
) (a) = |\) (a)|
A partir del punto a, una direccin en la cual ) crece ms rpido \) (a) . Anlogamente, una direccin en
la cual ) decrece ms rpido es \) (a) .
Ejemplo 2 Si )(r, j) = rc

(a) Encontrar la razn de cambio de ) en el punto 1 = (2, 0) en la direccin de 1 a Q = (5, 4).

(b) En qu direccin tiene ) la mxima razn de cambio?Cul es su valor?
Resolucion
(a) Se observa que ) es diferenciable, por tanto se calcula el vector gradiente:
\)(r) = ()
r
(r), )

(r)) = (c

, rc

); \)(2, 0) = (1, 2)
3
El vector unitario en la direccin 1Q = (3, 4) es n = (
3
5
,
4
5
), as la razn de cambio de ) en la direccin de 1 a
Q es:
1
u
)( 2, 0) = \)(2, 0).n = (1, 2).(
3
5
,
4
5
) =
11
5
(b) De acuerdo al teorema 4, ) aumenta ms rpidamente en la direccin del gradiente \)(2, 0) = (1, 2). La
mxima razn de cambio es [[\)(2, 0)[[ = [[(1, 2)[[ =
_
5
Sea ) : 1 R
3
R, ) diferenciable, \) : 1 R
3
R
3
dene un campo vectorial. Su grca estara
contenida en R
6
por lo que no es posible gracar. Sin embargo muchas veces es til hacer un esquema
dibujando en el punto (a, /, c) el vector \)(a, /, c). El campo gradiente tiene un importante signicado
geomtrico, pues indica la direccin en que ) crece ms rpidamente y adems su direccin es ortogonal
a la supercie de nivel.
Resumiendo, se tiene que las siguientes condiciones.
4.1.3. Condiciones necesarias de diferenciabilidad
) es diferenciable en a = ) es continua en a (Teorema 1)
) es diferenciable en a = existen todas las derivadas parciales en a (Teorema 2)
) es diferenciable en a = existen todas las derivadas direccionales en a (Teorema 3)
) es diferenciable en a = 1
u
)(a) = \)(a) (Observacin 3)
Luego, la continuidad, la existencia de las derivadas parciales y la existencia de las derivadas direccionales en
a son condiciones necesarias para que una funcin sea diferenciable en a. A los nes prcticos, esto nos ayudar
a decidir la no diferenciabilidad cuando una funcin no cumple alguna de estas condiciones.
Ejemplo 3 Sea
)(r, j) =
_
r
2
r
3
+
3
, r ,= j
0, r = j
a = 0
No existe lm
(r,)!(0,0)
r
2
r
3
+
3
, pues tomando lmite por j = :r, con : ,= 1:
lm
r!0
:
2
r
3
r
3
(1 + :
3
)
=
:
2
1 + :
3
Luego, ) no es continua en 0, por lo tanto ) no es diferenciable en 0.
Ejemplo 4 Sea
)(r, j) =
_
2r
r
2
+
2
, r ,= 0
1, r = 0
a = 0
Si = (cos 0, sen0)
1
u
)(0) = lm
|!0
)(0 + t) )(0)
t
= lm
|!0
)(t cos 0, t sen0) )(0)
t
=
= lm
|!0
2|
2
cos 0 sen 0
|
2
1
t
= lm
|!0
2 cos 0 sen0 1
t
Este lmite solo existe para 0 =
t
4
o un ngulo congruente a l. Por lo tanto, en particular no existen las
derivadas parciales, con lo cual resulta que ) no es diferenciable en 0.
Ejemplo 5 Sea
)(r, j) =
_
jrj
_
r
2
+
2
r ,= 0
0 r = 0
a = 0
Se puede demostrar que
) es continua en 0
4

J}
Jr
(0) = 0 y
J}
J
(0) = 0
Si || = 1, = (
1
,
2
)
1
u
)(0) = lm
|!0
)(0 + t) )(0)
t
= lm
|!0
|j|ju
1
u
2
j|j.
_
u
2
1
+u
2
2
0
t
=

1

2
_

2
1
+
2
2
Sin embargo ) no es diferenciable, ya que si lo fuera, debe ser:
1
u
)(0) = \)(0). = (0, 0). = 0, \
y esto no coincide con lo calculado en la observacin (3).
4.1.4. Condicin suciente de diferenciabilidad
Hasta ahora se han deducido propiedades dando por supuesta la existencia de la diferencial de una funcin.
Se ha visto que ni la continuidad, ni la existencia de todas las derivadas parciales ni la de todas las derivadas
direccionales es suciente para determinar la diferenciabilidad de una funcin.
Proposicin 2 Sea ) : 1 R
n
R. Si existen todas las derivadas parciales en un entorno
o
(a) y son
continuas en a, entonces ) es diferenciable en a.
Notar que la condicin de continuidad de las funciones derivadas exigidas en este teorema no son condiciones
necesarias para la diferenciabilidad.
Observacin 4 Si una funcin ) tiene derivadas parciales continuas se dice que ) C
1
. Por tanto podemos
decir qie si ) C
1
, entonces ) es diferenciable.
Ejemplo 6 Sea
)(r, j) =
_
(r
2
+ j
2
) sen
1
_
r
2
+
2
, r ,= 0
0, r = 0
, a = 0
En este caso se puede ver que las funciones
J}
Jr
y
J}
J
no son continuas en a y sin embargo ) es diferenciable en
a. Pues,
O)(r, j) =
_

_
_
2rsen
1
_
r
2
+
2

r
_
r
2
+ j
2
cos
1
_
r
2
+
2
, 2j sen
1
_
r
2
+
2

j
_
r
2
+ j
2
cos
1
_
r
2
+
2
_
, r ,= 0
(0, 0) , r = 0
y no existe el lmite de
J}
1
(r)
Jr
ni de
J}
1
(r)
J
cuando r tiende a 0. Por otra parte, usando la denicin podemos
comprobar que:
lm
|!0
)(0 + /) )(0) T
0
)(/)
_
_
/
_
_
= lm
|!0
/
2
+ /
2
_
/
2
+ /
2
sen
1
_
/
2
+ /
2
= 0
Es decir, ) es diferenciable en 0.
4.2. Interpretacin Geomtrica de la Diferencial de ) : 1 R
2
R
4.2.0.1. Funcin escalar con una variable Sea ) : 1 R R tal que j = ) (r) es una funcin derivable
en a 1
0
y sea ( su representacin grca.
En la gura 1 se observa que la pendiente de la recta tangente a la curva ( es:
)
0
(a) = tanc =
1C
1
=
1C
r
= 1C = )
0
(a) r = dj
Se sabe que j y dj son innitsimos equivalentes en r = 0, pues:
lm
r!0
j
dj
= lm
r!0
j
)
0
(a) r
=
1
)
0
(a)
lm
r!0
j
r
=
1
)
0
(a)
)
0
(a) = 1
Por tanto
j = dj + - (r) con lm
r!0
- (r) = 0
) (a + r) ) (a) = )
0
(a) r + - (r) con lm
r!0
- (r) = 0 (3)
5
Por ser: r = r a = r = a + r, de (3), se deduce que:
) (r) ) (a) + )
0
(a) (r a)
Es decir que para puntos cercanos a a, la funcin ) (r) es aproximadamente igual a la funcin lineal
j = ) (a) + )
0
(a) (r a), que es la ecuacin de la recta tangente a la curva, que representa ), en r = a.
A B
C
dy

x
y
a a+ x
f(a)
f(a+ x)

C
Figura 1
4.2.0.2. Funcin escalar con dos variables Para una funcin ) (r, j), puede ocurrir que en el punto
a = (a, /) el cono tangente se convierta en un plano tangente donde todas las rectas que tienen como pendientes
las derivadas direccionales en a estn contenidas en este plano.
Como el plano tangente est cerca de la supercie en un entorno del punto de tangencia, los valores .
1
de este plano son cercanos a valores de . = ) (r, j) para puntos prximos a a. En este caso, cuando el plano
no es vertical, la funcin puede ser aproximada, en un entorno del punto, mediante una funcin lineal que
representa al mencionado plano. Si la aproximacin es sucientemente buena, se dice que la funcin ) (r, j) es
diferenciable en a.
Funcin no diferenciable en o Funcin diferenciable en o
4.2.1. Linealidad local y plano tangente
Sea ) : 1 R
2
R tal que . = ) (r, j) es una funcin diferenciable en a = (a, /) 1
0
y / = (/, /)
o
(a).
Por tanto:
)
_
a + /
_
) (a) = )
r
(a) / + )

(a) / + j
_
/
_
(4)
. = d. + j
_
/
_
, con lm
|!0
j
_
/
_
_
_
/
_
_
= 0
En la gura 2, se observa que la pendiente de una recta tangente a la supercie o, que representa ), en
r = a es:
tan =
d.
_
_
/
_
_
=
\) (a) /
_
_
/
_
_
= \) (a)
/
_
_
/
_
_
= 1
|
|||
) (a) = d.
o
_
|
|||
_
Por tanto, si el incremento / es un vector de norma uno, se tiene que la funcin d.
o
_
/
_
toma un valor igual a
la pendiente de la recta tangente a la supercie o, que es la derivada direccional de ) en el punto a segn la
direccin n =
|
|||
.
6
Figura 2
As, a cada incremento / = (/, /) = (r a, j /) le corresponde una recta tangente distinta, de modo
que todas estn contenidas en el plano tangente (g. 3) a la supercie o, representada por ), en el punto
(a, /, ) (a, /)), cuya ecuacin es
. = ) (a) + )
r
(a) (r a) + )

(a) (j /) (5)
Figura 3
De (4), se deduce que para puntos cercanos al punto a:
) (r) ) (a) + )
r
(a) (r a) + )

(a) (j /) (6)
es decir, la funcin ) (r) es aproximadamente igual a la funcin lineal ) (a) + )
r
(a) (r a) + )
0

(a) (j /) que
es la ecuacin del plano tangente.
A partir de (5), se tiene que la ecuacin normal del plano tangente es
()
r
(a) , )

(a) , 1) (r a, j /, . ) (a, /)) = 0 (7)

donde
_
)
r
(a) , )
0

(a) , 1
_
es un vector normal al plano.
Los vectores (n
1
, n
2
, n
3
) tangentes al plano dado por (7) cumplen:
(n
1
, n
2
, n
3
) ()
r
(a) , )

(a) , 1) = 0
Por tanto
(n
1
, n
2
, n
3
) = (n
1
, n
2
, n
1
)
r
(a) + n
2
)

(a)) =
_
n
1
, n
2
, d
(u
1
,u
2
)
) (a)
_
Si n = (n
1
, n
2
) y |(n
1
, n
2
)| = 1, se tiene que:
(n
1
, n
2
, n
3
) = (n
1
, n
2
, 1
u
) (a))
es un vector paralelo a una recta tangente a la supercie o en el punto (a, /, ) (a, /))
7
4.2.2. Propiedades relacionadas con una funcin diferenciable
Sea ) : 1 R
2
R, 1 abierto y a 1
1. ) es diferenciable en a = ) es continua en a.
2. ) es diferenciable en a =existen todas las derivadas direccionales de ) en a.
3. ) es diferenciable en a = 1
u
) (a) = \) (a) n
4. )
r
y )

son continuas en un entorno de a = ) es diferenciable en a

5. ) es diferenciable en a = la supercie que representa ) tiene plano tangente en el punto a
Ejemplo 7 Hallar la ecuacin del plano tangente y un vector normal al paraboloide . = 2r
2
+ j
2
en el punto
(1, 1, 3)
Resolucion Si )(r, j) = 2r
2
+ j
2
resulta )(1, 1) = 3, adems
)
r
(r, j) = 4r = )
r
(1, 1) = 4
)

(r, j) = 2j = )

(1, 1) = 2
Luego la ecuacin del plano tangente en el punto (1, 1, 3) est dada por
. = 3 + 4(r 1) + 2(j 1) = . = 4r + 2j 3
y un vector normal sera
: = (4, 2, 1)
4.3. Aplicaciones de la diferencial
4.3.1. Clculo aproximado
De la ecuacin (6), resulta
)(a) w d
o
)
_
/
_
As, la diferencial tiene una primera aplicacin en el clculo aproximado de incrementos, cuando no se necesita
cuanticar el error cometido.
Ejemplo 8 Usar diferenciales para encontrar el valor aproximado de
_
9(1,95)
2
+ (8,1)
2
Resolucion En este caso la funcin es )(r, j) =
_
9r
2
+ j
2
donde a = 2, / = 8, / = 0,05 y / = 0,1, como
)
r
(r, j) =
9r
_
9r
2
+ j
2
y )

(r, j) =
j
_
9r
2
+ j
2
se tiene
_
9(1,95)
2
+ (8,1)
2
= )(1,95, 8,1) w )(2, 8) + /)
r
(2, 8) + /)

(2, 8)
w 10 +
18
10
(0,05) +
8
10
(0,1) = 9,99
Se puede vericar con una calculadora que esta aproximacin es exacta hasta dos cifras decimales.
4.3.2. Aplicaciones geomtricas
Si ) : 1 R
3
R, es diferenciable en (a, /, c) o, con o = (r, j, .) R
3
: )(r, j, .) = /, si el vector
\)(a, /, c) ,= 0 entonces este vector es normal a la supercie de nivel en el punto (a, /, c), ya que si se
calcula la diferencial de ) en los puntos que pertenecen a la supercie o sta es igual a cero, pues sobre
la supercie la funcin es constante, de donde resulta:
d
o
)(/) = \)(a) / = ()
r
(a), )

(a), )
:
(a)) (r a, j /, . c) = 0
Esta ltima es la ecuacin normal del plano tangente a la supercie de nivel o en el punto (a, /, c) y el vector
\)(a) es un vector normal a este plano y en consecuencia es normal a la supercie de nivel o en el mismo
punto.
8
Si ) : 1 R
2
R, es diferenciable en (a, /) ( donde la curva de nivel ( = (r, j) R
2
: )(r, j) = /,
si el vector \)(a, /) ,= 0, por ser ) constante en todos los puntos que pertenecen a (:
d
o
)(/) = \)(a) / = ()
r
(a), )

(a)) (r a, j /) = 0
Esta ltima es la ecuacin normal de la recta tangente a ( en el punto (a, /) y \)(a, /) es un vector normal
a esta recta. En consecuencia, \)(a, /) es normal a la curva de nivel en el punto (a, /).
Ejemplo 9 Encontrar las ecuaciones del plano tangente y de la recta normal en el punto (-2,1,3) del elipsoide
r
2
4
+ j
2
+
:
2
9
= 3
Resolucion El elipsoide es la supercie de nivel (para / = 3 ) de la funcin )(r, j, .) =
r
2
4
+ j
2
+
:
2
9
, por lo
tanto se tiene:
)
r
(r, j, .) =
r
2
)

(r, j, .) = 2j )
:
(r, j, .) =
2.
9
)
r
(2, 1, 3) = 1 )

(2, 1, 3) = 2 )
:
(2, 1, 3) =
2
3
De donde resulta la ecuacin del plano tangente:
1(r + 2) + 2(j 1)
2
3
(. 3) = 0 = 3r 6j + 2. + 18 = 0
y la recta normal
(r, j, .) = (2, 1, 3) + t(1, 2,
2
3
)
4.4. Derivadas sucesivas
Sea ) : 1 R
n
R, a 1, 1 abierto. Si ) admite derivadas parciales en 1, para i = 1, ..., :, se tiene
)
r
i
: 1 R
n
R
Estas funciones dependen de las mismas variables que depende ) . Si esta nueva funcin admite derivada
con respecto a r

en a, se dene la derivada segunda de ) respecto a r

I
, r

en a como:
0
2
)
0r
I
0r

(a) =
0
0r

_
0)
0r
I
_
(a)
denotada tambien como
J
2
}
Jr
i
Jr
j
(a) = )
r
i
r
j
(a) = 1
r
i
r
j
)(a) = 1
I
)(a)
En particular si : = 2, esto es ) : 1 R
2
R, suponiendo que existen )
r
y )

en todo (r, j) 1, se
dene, si existen:
J
2
}
JrJ
(a) =
J
J
_
J}
Jr
_
(a)
J
2
}
Jr
2
(a) =
J
Jr
_
J}
Jr
_
(a)
J
2
}
JJr
(a) =
J
Jr
_
J}
J
_
(a)
J
2
}
J
2
(a) =
J
J
_
J}
J
_
(a)
Esto es, quedan denidas cuatro derivadas parciales segundas. Las derivadas
J
2
}
JrJ
(a) y
J
2
}
JJr
(a) se llaman
derivadas cruzadas.
Ejemplo 10 Sea )(r, j) = rj + (r + 2j)
2
, se tiene que
0)
0r
(r, j) = j + 2(r + 2j) = 5j + 2r,
0)
0j
(r, j) = r + 2(r + 2j)2 = 8j + 5r
Dado que existen las funciones
0)
0r
y
0)
0j
, es posible calcular las derivadas segundas:
0
2
)
0r
2
(r, j) =
0
0r
(5j + 2r) = 2
0
2
)
0r0j
(r, j) =
0
0j
(5j + 2r) = 5
0
2
)
0j0r
(r, j) =
0
0r
(8j + 5r) = 5
0
2
)
0j
2
(r, j) =
0
0j
(8j + 5r) = 8
Se observamos que en este ejemplo las derivadas cruzadas son iguales, ser cierto siempre? la respuesta es no.
9
Ejemplo 11 Sea
)(r, j) =
_
rj
r
2

2
r
2
+
2
si r ,= 0
0 si r = 0
Las derivadas parciales en r = 0 son
0)
0r
(0, 0) = lm
|!0
) (/, 0) )(0, 0)
/
= 0 y
0)
0j
(0, 0) = lm
|!0
) (0, /) )(0, 0)
/
= 0
Si r ,= 0 :
0)
0r
(r, j) =
j(r
4
+ 4j
2
r
2
j
4
)
(r
2
+ j
2
)
2
0)
0j
(r, j) =
r(r
4
4j
2
r
2
j
4
)
(r
2
+ j
2
)
2
luego:
)
r
(r, j) =
_
_
_
j(r
4
+ 4j
2
r
2
j
4
)
(r
2
+ j
2
)
2
si r ,= 0
0 si r = 0
y )

(r, j) =
_
_
_
r(r
4
4j
2
r
2
j
4
)
(r
2
+ j
2
)
2
si r ,= 0
0 si r = 0
A partir de estas funciones, se obtiene:
0
2
)
0r0j
(0, 0) = lm
|!0
)
r
(0, /) )
r
(0, 0)
/
= |i:
|!0
/
|
4
|
4
/
= 1
0
2
)
0j0r
(0, 0) = lm
)

(/, 0) )

(0, 0)
/
= |i:
|!0
/
|
4
|
4
/
= 1
Por lo tanto
J
2
}
JrJ
(0, 0) ,=
J
2
}
JJr
(0, 0). Lo que indica que las derivadas cruzadas no son siempre iguales. Inclusive
podra ser que una de ella exista y la otra no.
El siguiente teorema da una condicn suciente para que las derivadas cruzadas sean iguales.
Teorema 5 Sea ) : 1 R
2
R una funcin continua en a 1
0
tal que estn denidas las funciones )
r
,
)

, )
r
, )
r
en un entorno
o
(a) y son continuas en a, entonces )
r
(a) = )
r
(a).
Observacin 5 Si ) C
2
, signica que ) es continua y tiene derivadas parciales continuas hasta el orden 2.
Por tanto, si ) C
2
, las derivadas cruzadas de 2
o
orden son iguales.
Todo lo visto se puede generalizar a funciones de : variables. Adems, a travs de un proceso iterativo se
pueden denir las derivadas terceras, cuarta, etc.
4.5. Diferenciacin sucesiva
Sea ) : 1 R
2
R, 1 abierto, a 1, ) es diferenciable en a entonces:
d
o
)(/) = \)(a) / = /)
r
(a) + /)

(a)
Se supone que ) es diferenciable para todo r 1. Si se toma constante al incremento /, se puede considerar
la funcin d) : 1 R
2
R tal que:
d)(r) = d
r
)(/) = /)
r
(r) + /)

(r)
Bajo la suposicin de que esta funcin es diferenciable, se dene, si existe, la diferencial segunda de ) en a:
d
2
o
)(/) = d(d))(a) = /
0
0r
(d))(a) + /
0
0j
(d))(a)
= /
_
/
0
2
)
0r
2
(a) + /
0
2
)
0r0j
(a)
_
+ /
_
/
0
2
)
0j0r
(a) + /
0
2
)
0j
2
(a)
_
= /
2
0
2
)
0r
2
(a) + //
0
2
)
0r0j
(a) + //
0
2
)
0j0r
(a) + /
2
0
2
)
0j
2
(a)
= /
2
0
2
)
0r
2
(a) + 2//
0
2
)
0j0r
(a) + /
2
0
2
)
0j
2
(a)
pues por hiptesis )
r
y )

son funciones diferenciables en a y por lo tanto las derivadas cruzadas son iguales.
10
Se denota:
d
2
o
)(/) = d
2
)(a) =
_
/
0)
0r
+ /
0)
0j
_
(2)
(a)
en analoga con el binomio de Newton.
Este proceso se puede iterar, si se supone que la funcin d
2
) existe para todo r 1 y que es diferenciable
en a, se dene
d
3
)(a) = d
o
(d
2
))(/) = /
3
0
3
)
0r
3
(a) + 3/
2
/
0
3
)
0r
2
0j
(a) + 3//
2
0
3
)
0r0j
2
(a) + /
3
0
3
)
0j
3
(a)
y se denota:
d
3
o
)(/) = d
3
)(a) =
_
/
0)
0r
+ /
0)
0j
_
(3)
(a)
Por induccin, si d
n1
) existe para todo r 1 y si la funcin d
n1
):1 R
2
R, es diferenciable en a, se
dene:
d
n
)(a) = d
o
(d
n1
))(/) =
_
/
0)
0r
+ /
0)
0j
_
(n)
(a)
4.5.1. Notacin de la diferencial:
d)(a) = \)(a) / = ()
r
(a), )

(a) )
_
/
/
_
= /)
r
(a) + /)

(a)
d
2
)(a) = /
2
0
2
)
0r
2
(a) + 2//
0
2
)
0j0r
(a) + /
2
0
2
)
0j
2
(a) = ( / / )
_
)
rr
(a) )
r
(a)
)
r
(a) )

(a)
__
/
/
_
La matriz
_
)
rr
(a) )
r
(a)
)
r
(a) )

(a)
_
se llama matriz Hessiana en a. Esta matriz juega un papel importante en el
estudio de extremos de una funcin.
C.E.
11