Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Funciones de Varias Variables I PDF
Funciones de Varias Variables I PDF
tulo 2
Diferenciabilidad de funciones de
varias variables
Cap
tulo 2
2.1 Noci
on de derivada. Interpretaci
on geom
e-
trica
que se transmite a la bola parada siempre se orienta sobre la lnea de impacto, con
independencia de la direccion de la bola lanzada, como se indica en la segunda gura.
tangentes en (a; b; f (a; b)) a la supercie z = f (x; y) segun todas las direcciones
posibles u (derivadas direccionales segun dichos vectores), que el hecho de que el
plano tangente aproxime bien a la funcion en un entorno del punto (a; b; f (a; b)). De
aqu que las de derivabilidad y diferenciabilidad sean nociones diferentes en IRn, para
n 2.
Este valor, que se denota por f 0(a), mide el ritmo de cambio de y = f (x) respecto
de x en dicho punto; es decir, la pendiente de la recta tangente a la curva y = f (x)
en (a; f (a)).
En terminos fsicos, f 0(a) representa la velocidad instantanea en el instante t = a de
un movil que recorre una distancia de f (t) unidades en un tiempo t; y se corresponde
con el valor lmite de la velocidad promedio del movil en un entorno de a de amplitud
h, cuando h se aproxima a 0:
f (a + h) f (a)
f 0 (a) = lim
h!0 h
= lim f (t) f (a)
t!a t a
En una primera estimacion, se puede concluir que la velocidad promedio del viaje
ha sido de 150
1:5 = 100km=h, que en principio no supera la barrera de los 120km=h.
Evidentemente, esta cantidad no puede re
ejar la velocidad mantenida a lo largo
de todo el trayecto: sin ir mas lejos, dentro de las poblaciones de salida y llegada (en
las que el lmite maximo de velocidad permitido es de 50km=h), la circulacion propia
de las urbes impide mantener una velocidad de 100km=h (<saliendo ileso!), por mucho
que uno persista en no respetar las se~nalizaciones existentes.
44 2. Diferenciabilidad de funciones de varias variables
15
10
5
-4 -2 2 4
-5
-10
-15
El corte de la supercie con cada plano del tipo u2x u1 y = c determina una curva
de la supercie en la direccion del vector u = (u1; u2). En particular, consideremos el
plano vertical en la direccion u = (1; 0) que pasa por el punto (1; 2; 1), el cual tiene
por ecuacion y = 2.
La curva que determina la traza de z = 6 x2
8
y2 segun este plano y = 2 (ver
Figura 2.4) viene dada por la ecuacion yz == 22 x
< 2
:
46 2. Diferenciabilidad de funciones de varias variables
La recta tangente a esta curva en (1; 2; 1) tiene por pendiente la derivada direc-
cional de f (x; y) en dicho punto segun la direccion del vector v = (0; 1),
(1; 2) = D f (1; 2) = lim f (1; 2 + h) f (1; 2) = lim 5 (2 + h) 1 = 4
@f 2
v
@v h !0 h h !0 h
Y con la traza segun el plano vertical en la direccion w = ( p12 ; p12 ) que pasa por
8
La recta tangente a esta curva en (1; 2; 1) tiene por pendiente la derivada direc-
cional de f (x; y) en dicho punto segun la direccion del vector w,
@f f (1 + ph2 ; 2 + ph2 ) f (1; 2) p6 h h2
2 p
@w
(1 ; 2) = Dw f (1; 2) = hlim
!0 h
= lim
h!0 h
= 3 2
OZ
p1
2 OY
@@
OY p1 @R
R@ (1; 2) 2 juj = 1
@ s
@@
@ OT OX
OX
Figura 2.7: Las direcciones deben ser unitarias para preservar la geometra
8
z = 6 x2 y 2
Como la ecuacion de la curva : x y = 1 respecto x es
<
Tengase en cuenta que el respetar la escala inicial lo es todo, de otro modo es-
taramos cambiando de funcion.
-3 -2 -1 1 2 3
-0.5
-1
1
y = sen g
0.5
-0.5
-1
-0.5
y = sen r
-1
Figura 2.9: La funcion sen r recorre muchos periodos en uno de sen g
Mas aun, <<la derivada de sen g no es cos g!! En efecto, nosotros sabemos que la
derivada del seno como funcion en radianes es el coseno como funcion en radianes,
(sen r)0 = cos r. Como la relacion entre grados y radianes viene dada por g = 180 r,
se tiene que sen g = sen 180 r; de modo que
0
(sen g)0 = (sen 180 r) =
180 180 180 cos g 6= cos g;
cos r=
salvo en aquellos grados g en los que cos g = 0.
As, en general, dada una supercie z = f (x; y) y una direccion segun el vector
unitario u = (cos ; sen ), la derivada direccional de f (x; y) en el punto (a; b),
@f
@u
(a; b) = lim f (a + h cos ; b + h sen ) f (a; b) ;
h !0 h
representa la pendiente de la recta tangente a z = f (x; y) en el punto (a; b; f (a; b))
segun la direccion u.
En particular, cuando u = (1; 0) se habla de derivada parcial respecto de x, y
se nota @f
@x
(a; b) = fx(a; b) = zx0 (a; b) = D1f (a; b); y cuando u = (0; 1) se habla de
@f
derivada parcial respecto de y , y se nota (a; b) = fy (a; b) = zy0 (a; b) = D2 f (a; b).
@y
Formalmente, para la derivacion parcial respecto de x o y son de aplicacion las
reglas de derivacion de las funciones de una variable. Mas aun, el procedimiento
operativo para el calculo de derivadas parciales es el mismo que el que se sigue para
hallar derivadas en el caso de una variable, considerando el resto de variables (si
hubiere) como constantes.
En el caso anterior, @f
@x
(1; 2) = 2xj(1;2) = 2.
Analogamente, @f
@y
(1; 2) = 2yj(1;2) = 4.
Geometricamente, las derivadas parciales fx y fy tienen aun mas interpretacion,
puesto que determinan el plano tangente a la supercie z = f (x; y) en punto (a; b)
dado.
El motivo no es otro que (0; 1; fy (a; b)) y (1; 0; fx(a; b)) son vectores presentes en
el plano tangente en cuestion:
De modo que el plano tangente a z = f (x; y) en (a; b; f (a; b)) queda unvocamente
determinado por el vector normal que resulta del producto vectorial
(0; 1; fy (a; b)) (1; 0; fx(a; b)) = (fx; fy ; 1):
La ecuacion de dicho plano tangente queda por tanto
fx (a; b)(x a) + fy (a; b)(y b) (z f (a; b)) = 0:
2.2 Noci
on de diferencial. Interpretaci
on geom
e-
trica
4
3.5
3
y
2.5 dy
2
1.5
x
1
0.5
1 2 3 4 5 6
de modo que existe una funcion (x) que tiende a cero cuando x ! 0 tal que
y = f 0(a) x + (x)x y = dy + (x)x ' dy
cuando x es sucientemente peque~no (esto es, en las proximidades de a).
As, si una funcion f : D IR ! IR es derivable en a, entonces asimismo es
diferenciable, tomando = f 0(a). De modo que para funciones de una variable las
nociones de diferencial y derivada se confunden. De hecho,
f (a + x) f (a) x f (a + x) f (a)
lim
x! 0 x = 0 ,
lim
x !0 x = , = f 0 (a):
Localmente, un vaso sanguneo (ya sea en vena o arteria) se puede modelar como
un tubo cilndrico de radio R y longitud l, como muestra la Figura 2.11.
2.2. Noci
on de diferencial. Interpretaci
on geom
etrica 53
R r
Esta estimacion no resulta ser demasiado able en este caso, dado lo reducido
de las dimensiones que se manejan. De hecho, la ley del
ujo laminar, descubierta
por el fsico frances Poiseuille en 1840, expresa la relacion entre v y r en la forma
P
v = (R2 r2 ), donde es la viscosidad de la sangre y P la diferencia de presion
4l
entre los extremos del tubo. Para nuestros propositos, podemos asumir que , P y l
son constantes.
Debido a la friccion en las paredes del tubo, la velocidad v de la sangre es maxima
a lo largo del eje central del propio tubo, y decrece conforme aumenta la distancia r
del eje, hasta que v se vuelve 0 en la pared (de ah que el colesterol, que se pega a
las paredes internas de los conductos sanguneos, sea nocivo para la salud en grandes
concentraciones). Esto concuerda con el hecho de que v0(0) = 0.
Mas concretamente, se tiene que dv
dr
= Pr
2l .
Por tanto, en una vena humana peque~na, con = 0:027, R = 0:008cm, l = 2cm,
P = 4000dinas=cm2 , se tiene que v 1:85 104 (6:4 10 5 r2 ) cm=s.
Pero v(0:001) = 1:166cm=s, que diere del valor 1:184cm=s obtenido en la apro-
ximacion primigenia, que en verdad es la velocidad maxima que se puede alcanzar,
en el centro del vaso sanguneo.
54 2. Diferenciabilidad de funciones de varias variables
Al igual que ocurriera en el caso de funciones de una variable, que una funcion
f (x; y ) sea diferenciable en un punto (a; b) signica que el plano tangente a la super-
cie z = f (x; y) en dicho punto, p z = fx(a; b) (x a) + fy (a; b) (y b) + f (a; b),
aproxima linealmente en x y y a la propia funcion:
f (a + x; b + y ) ' p(a + x; b + y ):
x z
y dz
Mas aun, se puede probar que estas constantes resultan ser = fx(a; b) y = fy (a; b).
De modo que existen funciones 1 y 2 que tienden a cero cuando (x; y) ! (0; 0)
que hacen que z = fx(a; b) x + fy (a; b) y + 1 x + 2 y, por lo que
z ' dz = fx(a; b) x + fy (a; b) y:
As, aun sin conocer la formula explcita de una funcion, se puede aproximar
su valor en un punto conocidas las derivadas parciales en dicho punto, mediante la
aproximacion lineal que da el plano tangente.
Aun cuando no conocemos una expresion explcita para la funcion g(v; t), s
tenemos estimaciones acerca de las derivadas parciales de la funcion en el punto
(10; 900): gv0 (10; 900) ' 00::062 = 0:3, dado que una variacion de 0:2m=s en la ve-
locidad de giro produce un aumento de 0:06mm en el espesor; por otra parte,
de manera analoga, se tiene que gt0 (10; 900) ' 010:04 = 0:004, toda vez que
un incremento de 10 en la temperatura disminuye el espesor en 0:04mm. Una
aproximacion del valor de g(v; t) en un entorno proximo al punto (10; 900) viene
dado, pues, por el plano p(v; t) tangente a g(v; t) en dicho punto, cuya ecuacion es
p(v; t) = g (10; 900) + gv0 (10; 900)(v 10) + gt0 (10; 900)(t 900).
As, g(10:1; 880) ' p(10:1; 880) ' 4+0:3(10:1 10) 0:004(880 900) = 4:11mm.
funcion es diferenciable en un punto (a; b), veremos que posee en dicho punto las deri-
vadas parciales (mas aun, las derivadas direccionales segun cualquier direccion u); sin
embargo, el que una funcion posea en un punto todas las derivadas parciales (incluso
todas las direccionales, segun cualquier direccio2 n) no signica que sea diferenciable,
3 x y 2x3
como es el caso de la extension continua de x2 + y4 en el origen, que trataremos
posteriormente.
A continuacion, vamos a detallar la relacion local (que no global, en todo el do-
minio de denicion) entre continuidad, derivabilidad y diferenciabilidad de funciones
de varias variables en un punto (a; b) dado:
Ejemplo 2.2.3 No hay ninguna relacion entre la existencia de las derivadas direc-
cionales y la continuidad de la funcion en el punto: hay funciones continuas que no
admiten algunas (incluso ninguna) derivadas direccionales; y, recprocamente, hay
funciones que tienen todas las derivadas direccionales y no son continuas.
x3
8
lim =
<
h!0 h >
>
>
>
>
: lim 0 = 0; si sen = 0
h!0 h
En los puntos (a; 0), con a 6= 0, esto es claro, puesto que no existe
y y
lim
(x;y)!(a;0)
f (x; y ) (vale 1 dependiendo de que ! 0 o ! 0+ ).
x x
58 2. Diferenciabilidad de funciones de varias variables
Por otra parte, la funcion f (x; y) = px2 + y2 es continua en todo IR2 (en particu-
lar, en el origen), y sin embargo no admite ninguna derivada direccional en el origen:
lim f (h cos ;h h sen ) = hlim
h!0
jhj , que no existe (vale 1 por la izquierda, cuando
!0 h
h ! 0 , y 1 por la derecha, cuando h ! 0+).
Ejemplo 2.2.4 Tampoco hay relacion entre la mera existencia de las derivadas par-
ciales (ambas discontinuas en el punto, necesariamente) y la existencia de las restan-
tes derivadas direccionales.
8
xy
>
si (x; y) 6= (0; 0)
x2 + y 2
;
Sea la funcion f (x; y) =
<
0; >
:
si (x; y) = (0; 0)
Esta funcion es claramente discontinua en el origen:
xy mx m 2
lim
!
= lim =
x + y x!0 x (1 + m ) 1 + m2
2 2 2 2 ;
=
(x;y )
y mx
(0;0)
2.2. Noci
on de diferencial. Interpretaci
on geom
etrica 59
Figura 2.15: Las unicas derivadas direccionales existentes son las parciales
Posteriormente quedara patente que para que en un punto dado (a; b) existan fx
y fy pero no ninguna otra derivada direccional es indispensable que ambas fx y fy
sean discontinuas en (a; b).
60 2. Diferenciabilidad de funciones de varias variables
Basta tomar la funcion del apartado primero, f (x; y) = px2 + y2, que era continua
en el origen y no tena ninguna derivada direccional en el origen (en particular, no
admita derivadas parciales en el origen); de modo que no es diferenciable en el origen.
Incluso hay funciones que son continuas, admiten todas las derivadas direccionales
(en particular, las parciales) y aun as no son diferenciables en el punto.
8
> 3x2 y 2x3 si (x; y) 6= (0; 0)
Por ejemplo, sea f (x; y) = x2 + y4
<
>
:
0; si (x; y) = (0; 0)
Esta funcion es continua en todo IR2 , por ser cociente de funciones continuas en
IR2 f(0; 0)g, y por ser f (0; 0) = 0 = (x;ylim
)!(0;0)
f (x; y ), dado que
x2 + y 4 x2
Por otra parte, tiene derivadas direccionales en (0; 0) segun cualquier vector uni-
tario u = (cos ; sen ):
f (0 + h cos ; 0 + h sen ) f (0; 0) h3 cos2 (3 sen 2 cos )
lim
h!0 h
= hlim
!0 h3 (cos2 + h2 sen4 )
;
8
: cos = 0:
De este modo, fx(0; 0) = 2 y fy (0; 0) = 0.
Sin embargo la funcion no es diferenciable en (0; 0): para que as lo fuera, habra
de ser f (x; y ) f (0; 0) fx (0; 0) x fy (0; 0) y
0 = (x;ylim
)!(0;0) jj(x; y)jj ;
esto es, debera ocurrir que
0 = (x;ylim 3 x2 y + 2xy 4 )
:
)!(0;0) (x2 + y 4 )jj(x; y )jj
2.2. Noci
on de diferencial. Interpretaci
on geom
etrica 61
0;
>
: si (x; y) = (0; 0)
(que no era continua en el origen, y por tanto tampoco puede ser diferenciable en dicho
punto, a pesar de admitir todas las derivadas direccionales2 en el punto); o tambien la
3x y 2x si (x; y) 6= (0; 0)
8
>
3
que se ha trabajado en el Ejemplo 2.2.5, g(x; y) = x2 + y4
<
0;
>
:
si (x; y) 6= (0; 0)
(que a pesar de ser continua y admitir todas las derivadas direccionales no era dife-
renciable en el origen).
62 2. Diferenciabilidad de funciones de varias variables
0; >
:
si (x; y) = (0; 0)
La funcion no es continua en el origen, dado que
mx4 m
lim
!
(x;y )
f ( x;
( 0;0)
y ) = lim
x!0 x (1 + m )
4 2 = 1 + m2 ;
=
y mx2
lim = sen
<
Figura 2.17: Aun cuando existen todas las derivadas direccionales, no es diferen-
ciable
diferenciable (y por tanto ademas admite derivadas direccionales segun cualquier di-
reccion).
: x; si x 2 II = IR Q
La funcion admite derivadas parciales en el origen, toda vez que
f (h; 0) f (0; 0) 0 = 0;
fx (0; 0) = hlim
!0
= lim
h!0 h
h
f (0; h) f (0; 0)
f (0; 0) = lim
y
h!0 h
= lim 0 = 0:
h !0 h
De ellas, fx no es continua, dado que fx solo esta denida en puntos (a; b) con b = 0,
f (a + h; b) f (a; b) ('(a + h) '(a))b , que existe (y vale 0)
puesto que hlim
!0 h
= lim
! 0 h
solo cuando b = 0.
h
Ejemplo 2.2.8 En cualquier caso, que la funcion sea diferenciable no quiere decir
que las derivadas parciales sean continuas en el punto.
8
(
> 1
x2 + y 2) sen 2 2 ; si (x; y ) 6= (0; 0)
Sea f (x; y) = x +y
<
0;
>
:
si (x; y) = (0; 0)
64 2. Diferenciabilidad de funciones de varias variables
fy (a; b) = 2y sen 2 2
1 2y cos 1 :
x + y x + y2 2 x2 + y 2
Por otra parte,
fx (0; 0) = fy (0; 0) = hlim
h2
sen 1 = 0:
!0 h h2
Ninguna de las funciones fx y fy es continua en el origen, a la vista del valor que
toman en puntos distintos al origen. Aunque (a;blim 2 1
a sen 2 2 = 0, el lmite
)!(0;0) a +b
lim 2a 1
cos a2 + b2 no existe: de una parte, (a;blim cos 1 no existe
(a;b)!(0;0) a2 + b2 )!(0;0) a2 + b2
(oscila recorriendo todo el intervalo [ 1; 1]); de otra, (a;blim 2a tampoco existe
)!(0;0) a2 + b2
(por la direccion a = 0 vale 0, mientras que por la direccion b = 0 ni siquiera existe,
valiendo 1 cuando a ! 0 y +1 cuando a ! 0+).
Las funciones de clase uno son las funciones diferenciables con diferencial conti-
nua, y consisten precisamente en aquellas funciones que poseen todas sus derivadas
parciales continuas.
Aun en el caso de funciones reales, f : D IR ! IR, las nociones de funcion
diferenciable (derivable) y funcion de clase 1 (funcion con derivada continua) son
distintas.
8
> 1
x2 sen ; si x 6= 0
Ejemplo 2.2.9 Considerese la funcion f (x) = >
<
x
:
0; si x = 0
x!0 x x x !0 x
que no existe (oscila recorriendo todo el intervalo [ 1; 1]).
66 2. Diferenciabilidad de funciones de varias variables
0.15
0.1
0.05
-0.1
-0.15
0.5
-2 -1 1 2
-0.5
-1
f (x; y ) = >
<
y
>
>
>
>
2 1
x sen ; si x 6= 0 e y = 0
>
> x
0; si (x; y ) = (0; 0)
>
>
:
La funcion es continua en todo su dominio (el plano IR2), dado que cuando alguno
de los senos no esta denido (i.e. cuando x ! 0 o y ! 0), aparece multiplicado por
una cantidad que tiende a cero: lim t 2 sen 1 = 0.
t!0 t
Luego, en principio, puede ser diferenciable en todo su dominio. Estudiemos las
derivadas parciales primeras (posteriormente veremos que tiene sentido plantearse
derivadas parciales de orden superior).
De un lado, f (x; y) = 2x sen 1 cos 1 cuando xy 6= 0.
x
x x
h2 sen h1 + y 2 sen y1 y 2 sen y1
Si x = 0, entonces fx(0; y) = hlim
!0 h
= 0.
Por otra parte, si y = 0, entonces fx(x; 0) = hlim (x + h)2 sen x+1 h x2 sen x1 , de
!0 h
modo que
x2 (sen x+1 h sen x1 ) + 2xh sen x+1 h + h2 sen x+1 h
f (x; 0) = lim !0
:
x
h h
x
x !0
h h
esto es,
1 1 2x2 sen 2x(xh+h)
2x sen x1 +cos x1
sen 2 ( + ) !
0 2 ( +
h
x x !0 h
2
8
x sen
> 1 cos 1 ; si x 6= 0
En denitiva, fx(x; y) =
<
x x
0; >
:
si x = 0
68 2. Diferenciabilidad de funciones de varias variables
0 +
jxj + jyj jxj + jyj jxj + jyj
y 2 sen y1 x2 y 2
x2 sen 1
+ + = xj + jy j (x;y)!!(0;0) 0
jxj
x
jyj jxj jyj j
Luego la funcion tambien es diferenciable en (0; 0), luego en todo su dominio, IR2.
2.3 Gradiente
En efecto:
70 2. Diferenciabilidad de funciones de varias variables
@f
Hemos de hacer notar que la relacion @u (a; b) = (fx(a; b); fy (a; b)) u para toda
direccion unitaria u no es condicion suciente para que una funcion sea
diferenciable, aunque por supuesto s es necesaria.
8
distinto del origen, de modo que f (hu1; hu2) = 1 para todo h salvo excepcio-
nalmente un unico valor real de h.
@f
As, en particular, (fx(0; 0); fy (0; 0)) u = 0 = @u (0; 0) para cualquier vector u.
Y, sin embargo, f (x; y) no es diferenciable en el origen, dado que ni siquiera es
continua en el origen (segun la trayectoria y = x2 la funcion f (x; y) se acerca
al origen tomando el valor 0, mientras que en los restantes puntos se acerca al
origen tomando el valor 1).
2. El maximo ritmo de cambio de f (x; y ) en el punto (a; b) es jrf (a; b)j y ocurre
en la direccion del gradiente, u =
rf (a; b) .
jrf (a; b)j
Debemos interpretar convenientemente el enunciado: nos referimos a la di-
reccion en la que el valor de la funcion aumenta lo maximo posible, situados en
el punto (a; b). Es decir, la direccion unitaria u cuya derivada direccional en
(a; b) es maxima entre todas las derivadas direccionales en dicho punto.
@f
Como @u (a; b) = rf (a; b) u para toda direccion unitaria u, el valor de maximo
cambio se producira cuando el producto escalar rf (a; b) u sea maximo. Dado
que rf (a; b) u = jrf (a; b)j juj cos , para el angulo que forman los dos
vectores; el valor maximo se alcanzara cuando cos sea 1, esto es, para = 0.
Esto ocurre cuando u = jr rf (a; b) , y el valor maximo coincide con jrf (a; b)j.
f (a; b)j
Hay que saber interpretar esta relacion: el hecho de que la direccion de maximo
crecimiento de la funcion f (x; y) en el punto (a; b) se produzca en el sentido del
vector rf (a; b), no quiere decir que la funcion siempre tenga que crecer en ese
sentido. En general, una vez que se llega al punto (a + x; b + y) la direccion
de maximo crecimiento probablemente cambiara.
Esto tiene una clara interpretacion en el mundo real: cuando un alpinista trata
de escalar una pared por su vertiente mas abrupta, no siempre sigue la misma
direccion, sino que en cada instante ha de redirigir su curso hacia la zona que
en ese momento apunta la maxima pendiente.
Si uno estuviera interesado en calcular la trayectoria a seguir para disfrutar en
cada instante de la pendiente maxima, habra de resolver una ecuacion diferen-
cial, que no entra dentro de los objetivos del presente curso.
1 1
-1 -1
-2 -2
Ejemplo 2.3.4 Supongamos que un alpinista quiere escalar una monta~na cuya
altura z viene dada en funcion de la posicion (x; y ), z = f (x; y ) = 20 4x2 y 2 .
Pretende seguir una trayectoria r(t) = (x(t); y (t)) que marque en cada instante
la maxima pendiente, comenzando en el punto (2; 3).
Para que la trayectoria r(t) verique que en cada instante la pendiente es
maxima, es necesario que el vector tangente a la curva r(t) en cada ins-
tante, r0(t) = (x0 (t); y0(t)), sea el correspondiente al de maximo crecimiento,
rf (x(t); y(t)). As, ha de ser x0(t) = fx(x(t); y(t)) e y0(t) = fy (x(t); y(t)):
dx dy
dt
= 8x y dt
= 2y:
La solucion general de esta ecuacion diferencial viene dada por x(t) = C1e 8t
e y(t) = C2e 2t . Para que esta curva pase por el punto (2; 3) = (x(0); y(0))
debe ser C1 = 2 y C2 = 3, de modo que la trayectoria buscada viene dada
2.3. Gradiente 73
3. El ritmo de cambio mnimo de f (x; y ) en el punto (a; b) es jrf (a; b)j y ocurre
en la direccion opuesta a la del gradiente, u =
rf (a; b) .
jrf (a; b)j
Hay que tener mucho cuidado con la forma en que se interpreta la frase \ritmo
de cambio mnimo": no signica que sea la direccion en la que la funcion perma-
nece mas estable, con menos cambios en sus valores; mas al contrario, signica
precisamente la direccion en la que el valor de la funcion disminuye mas pro-
nunciadamente (esto es, se hace lo mnimo posible), desde el punto (a; b). Esto
se traduce en encontrar la direccion unitaria cuya derivada direccional en (a; b)
es mnima entre todas las derivadas direccionales en dicho punto.
Ahora, el valor de cambio mnimo se producira cuando el producto escalar
rf (a; b) u = jrf (a; b)j juj cos sea mnimo; esto es, para = , de modo
que cos = 1. Esto ocurre cuando u = jr rf (a; b) , y el valor mnimo coincide
f (a; b)j
con jrf (a; b)j.
Nuevamente, la direccion de decrecimiento maximo no es constante, y puede
cambiar en cada punto. Piensese, por ejemplo, en el recorrido a seguir por un
esquiador intrepido en descenso libre por una monta~na, que persigue tomar en
todo instante la ruta mas rapida de bajada.
74 2. Diferenciabilidad de funciones de varias variables
z=c ;
renciables reales
2
1.5
1
0.5
1 2 3
-0.5
-1
-1.5
-2
Teorema de Lagrange (de los incrementos nitos o del Valor Medio). Sea f (x)
una funcion continua en [a; b], diferenciable en (a; b). Entonces, existe un c 2 (a; b)
de modo que f 0(c) = f (bb) fa (a) .
Este resultado engloba al anterior, dado que cuando f (a) = f (b), la relacion
f (b) f (a)
f 0 (c) = queda f 0 (c) = 0.
b a
Geometricamente, este resultado viene a decir que cualquier funcion diferenciable
en un intervalo tiene en un punto interior del intervalo una tangente paralela a la
cuerda que une los extremos de dicho intervalo.
1
0.75
0.5
0.25
-1 -0.5 0.5 1
-0.25
-0.5
-0.75
-1
Ejemplo 2.4.2 Sea la funcion f (x) = x3 , que pasa por los puntos ( 1; 1), (0; 0) y
(1; 1), que estan alineados en la recta y = x, de pendiente 1.
Al ser diferenciable la funcion f (x) en todo IR, debe haber un punto en cada
uno de los intervalos ( 1; 0) y (0; 1) donde la recta tangente a la funcion tenga por
pendiente 1. En este caso, los puntos en cuestion son x = p127 .
El Teorema del Valor Medio admite una facil generalizacion al caso de funciones
de varias variables. Concretamente, si f : D IR2 ! IR es diferenciable en los
puntos del segmento del plano de extremos a; b 2 IR2, con a = (a1 ; a2) y b = (b1; b2 );
entonces existe un c = (c1; c2) interior en este segmento de modo que
f (b1 ; b2 ) f (a1 ; a2 ) = fx (c1 ; c2 )(b1 a1 ) + fy (c1 ; c2 )(b2 a2 ):
La interpretacion geometrica sigue siendo igualmente valida.
A continuacion tratamos una generalizacion del Teorema de Lagrange en el caso
de una variable.
Teorema de Cauchy (o del Valor Medio generalizado). Sean f (x) y g (x) dos
funciones continuas en [a; b], derivables en (a; b). Entonces, existe c 2 (a; b) con
f 0 (c) f (b) f (a)
=
g 0 (c) g (b) g (a)
.
2.4. Propiedades elementales de las funciones diferenciables reales 77
Este resultado engloba al anterior: tomando g(x) = x0, se tiene que g(b) = b,
f (c) f (b) f (a)
g (a) = a y g 0 (x) = 1 para todo x; de modo que la relacion 0 = queda
g (c) g (b) g (a)
f (b) f (a)
f 0 (c) = .
b a
Geometricamente, este resultado se puede interpretar de la siguiente manera. Su-
pongamos que f y g satisfacen las hipotesis del Teorema de Cauchy en el intervalo
f 0 (c) f (b) f (a)
[a; b], y sea c 2 (a; b) tal que g0(c) = g(b) g(a) . Consideremos la curva de IR2
8
Todos estos resultados tienen aplicaciones que van mas alla de las meras inter-
pretaciones geometricas que hemos apuntado anteriormente. Por ejemplo, pueden
utilizarse para estudiar el crecimiento de una funcion (signo de la derivada primera),
para determinar el numero de ceros de una funcion y su multiplicidad, o incluso para
probar ciertas desigualdades entre funciones.
funciosen
n cos
a
x esta acotada en valor absoluto por 1, de la relacion anterior se desprende
que a 1, de donde j sen aj jaj tambien para a 6= 0.
impl
cita
Para recoger todas las derivadas parciales de una funcion f : IRp ! IRq (esto es, de
sus q funciones componentes, f = (f1 ; : : : ; fq )), se suele utilizar una representacion
matricial, denominada matriz jacobiana de la funcion, de modo que
0
@f1 @f1 1
B
@x1
(a) @x (a) C
J (f (a)) =
B
B
B
B
... ...
p C
C
C
C
B
@fq @fq C
@
@x1
(a) @x (a) A
@f2
@x
= yz sen(xyz), @f @y
2 = xz sen(xyz ), @f2 = xy sen(xyz ). De modo que la
@z
matriz jacobiana viene dada por
0 1
J (f ) =
2x cos(x2 + y2) 2y cos(x2 + y2) 0
yz sen(xyz ) xz sen(xyz ) xy sen(xyz )
@ A
La relacion de cambio de grados a radianes viene dada por la funcion g(t) = 180 t,
de modo que t grados son 180 radianes. As, la derivada del seno en grados viene
t
dada por (f g)0(t) = f 0(g(t)) g0(t) = 180 cos 180 , <<que no es exactamente igual al
coseno de los grados de entrada, sino a un multiplo escalar suyo!!
80 2. Diferenciabilidad de funciones de varias variables
1
t t
y= cos
0.5 180 180
t
y = sen
-200 -100 100 200
-0.5
180
t
y = cos
180
-1
Ejemplo 2.5.4 Conforme el Sol se esconde tras un edicio de 40 metros de altura,
crece la sombra que el mismo proyecta. >Cuan rapido crece la sombra (en metros
por segundo) si los rayos del Sol forman un angulo de radianes con respecto la
horizontal?
4
40m
86400 360
Cuando = 4 , tenemos que
2 0:0175m=s;
Dt x = cosec
360 4
velocidad que consecuentemente ha de ser positiva, toda vez que la sombra crece al
ocultarse el Sol (esto es, con el transcurrir de la puesta del Sol).
Sean x los pies que separan por el suelo el extremo inferior de la escalera con
el muro, e y los pies que separan por la vertical del muro el extremo superior de la
escalera con el suelo. Ambas magnitudes son funciones del tiempo t, y satisfacen en
todo instante x2 + y2 = 100 (segun el teorema de Pitagoras).
d(100)
Ademas, dxdt
= 1 pie=s. Dado que
dt
= 0, se tiene que 2 dx dy
x = 2y , de
dt dt
dy x dx 6 3
donde dt jx=6 = y dt jx=6 = 8 = 4 pies=s.
Ejemplo 2.5.6 La supercie sinusoidal del tipo sen(x2 + y2) se puede recorrer a
distinta velocidad, como resultado de la composicion de f (x; y ) = x2 +y 2 con funciones
g (t) = sen(t).
y = sen(x2 + y 2 )
Figura 2.29: Supercie segun el periodo natural
2.5. Jacobiano. Regla de la cadena. Derivaci
on impl
cita 83
y = sen(2x2 + 2y 2)
Figura 2.30: Supercie modicada por un factor de 2
y = sen(3x2 + 3y 2)
Figura 2.31: Supercie modicada por un factor de 3
Es decir,
hx (a; b) = gs (c; d) sx (a; b) + gt (c; d) tx (a; b);
hy (a; b) = gs(c; d) sy (a; b) + gt (c; d) ty (a; b):
y r
x
De hecho, nosotros sabemos que en un entorno del punto (0; 2),p la funcion
F (x; y ) = 0 dene a y como funcion de x en la forma y = f (x) = 4 x2 . En
verdad, f 0(x) = p4 x x2 = f (xx) = xy .
Sin embargo, sabemos que F (x; y) = 0 no es una funcion: dene una circunferencia
de centro
p el origen y radio
p 2, cuya graca se corresponde con dos funciones distintas
y1 = 4 x2 e y2 = 4 x2 . Estas dos funciones tienen dos puntos en comun, a
saber, (2; 0). En un entorno de estos puntos, y no puede denirse como funcion de
x de manera unvoca en la curva F (x; y ) = 0, puesto que a un punto x 2 [ 2; 2] le
corresponderan dos alturas distintas, y = p4 x2 . Son los dos unicos puntos de
la curva F (x; y) = 0 que verican esta propiedad.
El motivo no es otro que Fy (a; b) = 0 si, y solo si, y = 0, y los dos unicos puntos
de la curva F (x; y) = 0 que tienen ordenada nula son precisamente (2; 0).
2.5. Jacobiano. Regla de la cadena. Derivaci
on impl
cita 87
1. Determinar la derivada de y .
Figura 2.34: Estas tres ramas s constituyen otras tantas funciones por s mismas
Aunque se conocen formulas explcitas para estas tres funciones, son de una ex-
trema complejidad como para incluirlas en estas lneas. No obstante, es posible
determinar una funcion derivada para y(x), 2procediendo 2de manera implcita con
F
F (x; y ) = x3 + y 3 6xy : y 0 (x) = x =
3x 6y = x 2y .
F 3y2 6x y2 2x y
De este modo, en el punto (3; 3) se tiene que y0(3) = 1, de donde la recta tangente
a la curva en dicho punto viene dada por y 3 = (x 3) x + y = 6, como se
puede comprobar en la graca adjunta en la Figura 2.35.
Por2 otra parte, las rectas tangentes horizontales se obtienen para y0 = 0, esto es,
x x 6 p
y = , de donde x2 + = 3x3 x6 = 16x3 y es x = 0 o x = 2 2, que dan origen 3
2 p8 p
a los puntos (0; 0) y (2 2; 2 4). 3 3
88 2. Diferenciabilidad de funciones de varias variables
-4 -2 2 4
-2
-4
Dado que las derivadas parciales de una funcion son en s mismas funciones en las
mismas variables que la funcion primigenia, tiene sentido plantearse a su vez su dife-
renciabilidad o derivabilidad respecto alguna direccion. As, surgen de manera natural
los conceptos de derivadas y diferenciales de orden superior.
@f
Utilizaremos la notacion fxy = @x@y para denotar la derivada parcial (fx)y , esto
es, de fx respecto de y. Esta denicion se puede generalizar al caso de derivadas
parciales de mayor orden; por ejemplo, fx y = @x@f2 @y hace referencia a ((fx)x)y ,
2
Hay que tener cuidado con el orden en que se escriben los subndices, puesto que
in
uye en el orden en que se toman las derivadas parciales.
8
y x
>
x2 arctg y 2 arctg ; si xy 6= 0
Ejemplo 2.6.1 Sea f (x; y ) = >
<
x y
:
0; si xy = 0
recorrido el intervalo 2 ; 2 .
yx2 y3
8
>
>
>
> 2x arctg xy x2 + y 2 y 2 + x2
= y
y + 2x arctg ;
x
si xy 6= 0
Mas aun, fx =
<
>
> y; si x = 0
0; si y = 0
>
>
:
90 2. Diferenciabilidad de funciones de varias variables
8
2 3
>
>
>
>2y arctg xy + y2xy+ x2 + y2 x+ x2 = x 2y arctg xy ; si xy 6= 0
y fy = 0;
<
>
> si x = 0
si y = 0
>
>
x;:
!0 !0
y !0
2 y
h h y
Analogamente se prueba que fy (x; 0) = x. Los casos fx(x; 0) = 0 y fy (0; y) = 0
son inmediatos.
Si calculamos ahora las derivadas cruzadas en el origen, se tiene que
f (0; h) fx (0; 0)
f (0; 0) = lim x
xy
h !0
= lim h = 1
h h !0 h
mientras que
fy (h; 0) fy (0; 0) h
fyx (0; 0) = hlim
!0
= lim
h!0 h
= 1:
h
De modo que fyx(0; 0) 6= fxy (0; 0).
Luego las derivadas cruzadas no siempre coinciden.
Lo que ocurra en el Ejemplo 2.6.1 anterior es que ninguna de las derivadas cru-
zadas fxy y fyx era continua en el origen. De hecho, para xy 6= 0 se tiene que
x2 y 2
fxy (x; y ) = fyx (x; y ) = 2 2 ;
x +y
funcion que efectivamente no es continua en el origen (para trayectorias del tipo
1 m ).
y = mx se tiene que el lmite cuando x ! 0 es 1+
2
m 2
Es evidente que el estudio que aqu hemos concretado para derivadas cruzadas de
segundo orden se puede extender para derivadas cruzadas de cualquier orden n 2.
92 2. Diferenciabilidad de funciones de varias variables
Una condicion suciente para que estas derivadas cruzadas coincidan es que la funcion
sea de clase n, esto es, que admita todas las derivadas hasta orden n, todas ellas siendo
funciones continuas.
Por ultimo, abordemos la nocion de diferencial de orden superior. La idea es
a~nadir terminos a la diferencial usual de manera que la aproximacion de la funcion
mejore.
La denicion que aqu hemos contemplado de funcion diferenciable era la siguiente:
una funcion f (x; y) era diferenciable en (a; b) cuando
f (a + x; b + y ) f (a; b) fx (a; b) x fy (a; b) y
lim
(x;y)!(0;0) jj(x; y)jj = 0:
En este caso, se dice que la diferencial de la funcion f (x; y) en el punto (a; b) es la
funcion df (a; b) : IR2 ! IR que a (dx; dy) le asocia
df (a; b)(dx; dy ) = fx (a; b)dx + fy (a; b)dy:
i=1
As, en el origen queda fx(0; 0) = ( 1; 0), fy (0; 0) = (2; 4), fx (0; 0) = (1; 0), 2
fxy (0; 0) = ( 2; 4), fy (0; 0) = (4; 0), fx (0; 0) = ( 1; 0), fx y (0; 0) = (2; 2),
2 3 2
As, las diferenciales primera, segunda y tercera de f en (0; 0) son las siguientes
aplicaciones:
94 2. Diferenciabilidad de funciones de varias variables
df (0; 0) : IR2 ! IR2, que a (dx; dy) le asocia df (0; 0)(dx; dy) =
0 1 0 1 0 1
0 1
dx
Equivalentemente, df (0; 0)(dx; dy) = Jf (0; 0) @
dy
A , esto es,
0 1 0 1 0 1 0 1 0 1
dx
7! (fx(0; 0) fy (0; 0)) dx
= 1 2 dx
= dx + 2dy
0 4 4dy
@ A @ A @ A @ A @ A
dy dy dy
d2f (0; 0) : IR2 ! IR2 , que a (dx; dy) le asocia d2f (0; 0)(dx; dy) =
= fx (0; 0)dx2 + 2fxy (0; 0)dxdy + fy dy2 =
2 2
0 1 0 1 0 1 0 1
d3f (0; 0) : IR2 ! IR2 , que a (dx; dy) le asocia d3f (0; 0)(dx; dy) =
= fx (0; 0)dx3 + 3fx y (0; 0)dx2dy + 3fxy (0; 0)dxdy2 + fy dy3 =
3 2 2 3
0 1 0 1 0 1 0 1
= dx
3
+ 6dx2dy + 12dxdy2 + 8dy3 =
0 6dx2dy 0 4dy3
@ A @ A @ A @ A
0 1
= dx + 6dx
3 2 dy 12dxdy 2 + 8dy 2
6dx2dy + 4dy3
@ A
terminos cubicos (d3f dxi dxi dxi ) y as sucesivamente, hasta llegar a terminos de
1 2 3
grado n (dnf dxi dxi ). Este resultado se conoce como Teorema de Taylor, y
1 n