Diferenciacion Varias Variables I
Diferenciacion Varias Variables I
Diferenciacion Varias Variables I
tulo 2
Diferenciabilidad de funciones de
varias variables
Cap
tulo 2
Diferenciabilidad de funciones de varias
variables
2.1
Noci
on de derivada.
Interpretaci
on geom
e-
trica
Antes de comenzar nuestro estudio, ilustremos con un par de situaciones la aplicabilidad de las nociones a tratar.
Cuando una bola de billar golpea a otra parada, en un punto P de su supercie,
esta se mueve a lo largo de la recta de impacto, unvocamente determinada por P y
por el centro de la bola. El impacto puede suceder de dos formas.
Si la bola lanzada se mueve en la recta de impacto (lo cual requiere una precision
mayuscula), esta se para en seco y cede todo su momento a la bola parada, como
muestra la primera gura.
Figura 2.1:
42
2.
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.
Figura 2.2:
Las matematicas dan una explicacion a este hecho: la bola parada se mueve
siempre segun la recta normal a su supercie en el punto de impacto P . Hablar de
la recta normal a la supercie es hablar del plano tangente a la supercie, lo que se
traduce en hablar de la diferenciabilidad de la supercie.
Cambiemos de problema. Supongamos que nos encontramos en plena sierra y
pretendemos hacer un recorrido cual alpinista, buscando siempre la trayectoria de
maximo ascenso. Este problema tiene una traduccion natural al ambito de las matematicas, y concierne al gradiente de la supercie que dene la sierra. De hecho,
este vector marca siempre la direccion de maximo crecimiento, as como su opuesto
marca la de mnimo crecimiento.
En esta seccion vamos a abordar las ideas de derivada y diferencial de una funcion,
conceptos que se confunden en uno solo en funciones de IR en IR, pero que son
claramente distinguibles en el caso de funciones de IRn en IR, para n 2.
Geometricamente, la derivada de una funcion f : D IR ! IR en un punto a
indica la pendiente de la recta tangente a la curva y = f (x) en el punto (a; f (a)).
Analogamente, la derivada direccional de f : D IR2 ! IR en un punto (a; b)
segun la direccion del vector unitario u = (cos ; sen ) indica la pendiente de la recta
tangente a la supercie en el punto (a; b; f (a; b)) segun la direccion del vector u.
Por otra parte, que f : D IR2 ! IR sea diferenciable en (a; b) se traduce
geometricamente en que el plano tangente a la supercie z = f (x; y) en el punto
(a; b; f (a; b)) aproxima linealmente a la funcion f (x; y) en un entorno del punto (a; b).
A la vista esta que no es lo mismo calcular el valor de las pendientes de las rectas
2.1.
43
Noci
on de derivada. Interpretaci
on geom
etrica
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.
En lo que sigue daremos contenido a lo avanzado hasta ahora.
Es de conocimiento general que una funcion f : D IR ! IR denida en un
entorno del punto a 2 D es derivable en a si el siguiente lmite existe y es nito,
lim f (a + h) f (a) :
!0
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
= lim f (t) f (a)
!0
!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.
44
2.
2.1.
45
Noci
on de derivada. Interpretaci
on geom
etrica
f 0 (x) =
f(
-2
2
-5
-10
-15
Figura 2.3:
Tangente a y = 6
x2
en x = 1
y2.
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
2
Figura 2.4) viene dada por la ecuacion yz == 22 x
8
<
:
y2
46
2.
!0
!0
Figura 2.4:
La recta tangente a esta curva en (1; 2; 1) tiene por pendiente la derivada direccional de f (x; y) en dicho punto segun la direccion del vector v = (0; 1),
2
@f
(1; 2) = D f (1; 2) = lim f (1; 2 + h) f (1; 2) = lim 5 (2 + h) 1 = 4
@v
Figura 2.5:
!0
Seccion de z = 6
x2
!0
y 2 segun el plano x = 1
Y con la traza segun el plano vertical en la direccion w = ( p12 ; p12 ) que pasa por
2
2
(1; 2; 1) obtenemos la curva zx = y6 = x 1 y
8
<
:
2.1.
Noci
on de derivada. Interpretaci
on geom
etrica
47
La recta tangente a esta curva en (1; 2; 1) tiene por pendiente la derivada direccional de f (x; y) en dicho punto segun la direccion del vector w,
p6 h h2
p
f (1 + ph2 ; 2 + ph2 ) f (1; 2)
@f
2
2
(1
; 2) = Dw f (1; 2) = hlim
=
lim
=
3
!0
h!0
@w
h
h
Figura 2.6:
48
2.
OZ
p1
OY
R@ (1; 2)
@
@@
@ OT
OX
Figura 2.7:
@@
1
@R
p
2 juj = 1
OY
OX
z = 6 x2 y 2
Como la ecuacion de la curva : x y = 1
respecto x es
z (x) = 6 x2 (x + 1)2 = 5 2x2 2x;
p
se tiene que la ecuacion de la curva respecto de t sera z(t) = 5 t2 2t. As, la
pendiente de la curva que da el corte de la supercie con la trazapanterior en el punto
(1; 2; 1) viene a ser la pendiente de la curvap z(t) en el punto t p= 2 (quepcorresponde
a la abscisa x = 1): como z0 (t) = 2t 2, se tiene que z0 ( 2) = 3 2, que es el
valor que obtuvimos al considerar la derivada direccional de la funcion f (x; y) en el
punto (1; 2) segun el vector u.
Tengase en cuenta que el respetar la escala inicial lo es todo, de otro modo estaramos cambiando de funcion.
Ejemplo 2.1.4 Considerese la funcion seno en radianes y grados.
2.1.
49
Noci
on de derivada. Interpretaci
on geom
etrica
y = sen r
0.5
-3
-2
-1
-0.5
-1
1
y = sen g
0.5
50
100
150
-0.5
-1
Figura 2.8:
-30
-20
-10
10
20
30
-0.5
Figura 2.9:
-1
y = sen r
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,
r,
(sen r)0 = cos r. Como la relacion entre grados y radianes viene dada por g = 180
se tiene que sen g = sen 180
r; de modo que
0
(sen g)0 = (sen 180
r) =
cos
r=
180 180 180 cos g 6= cos g;
salvo en aquellos grados g en los que cos g = 0.
Es en este sentido que cuando calculemos una derivada direccional en un punto
respecto de una direccion u, para poder asegurar que el valor obtenido repre-
50
2.
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
(a; b) = lim f (a + h cos ; b + h sen ) f (a; b) ;
@u
!0
2.2.
51
Noci
on de diferencial. Interpretaci
on geom
etrica
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
2.2
Noci
on de diferencial.
b)
(z
f (a; b)) = 0:
Interpretaci
on geom
e-
trica
52
2.
4
3.5
y
dy
2.5
2
1.5
x
1
0.5
1
Figura 2.10:
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
Figura 2.11:
Pero v(0:001) = 1:166cm=s, que diere del valor 1:184cm=s obtenido en la aproximacion primigenia, que en verdad es la velocidad maxima que se puede alcanzar,
en el centro del vaso sanguneo.
54
2.
x
Figura 2.12:
y
dz
z
2.2.
Noci
on de diferencial. Interpretaci
on geom
etrica
55
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.
Ejemplo 2.2.2 Supongamos que en una fabrica se preparan rollos de metal de un
cierto grosor g (v; t) haciendo pasar el metal por unos rodillos muy grandes, de modo
que el grosor nal depende de la velocidad de giro v de los rodillos y de la temperatura t
del metal; amen de la distancia de separacion de los rodillos, que suponemos constante
igual a 4mm. Para un cierto metal se ha conseguido un espesor de 4mm con un giro
de 10m=s y una temperatura de 900 . Experimentalmente, se sabe que un incremento
de 0:2m=s en la velocidad produce un aumento de 0:06mm en el espesor, mientras que
un incremento de 10 en la temperatura disminuye el espesor en 0:04mm. Estimar el
espesor para una velocidad de 10:1m=s y una temperatura de 880 .
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 velocidad 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.
Luego diferencial y derivadas parciales estan intrnsecamente relacionadas, aunque no son conceptos equivalentes en el caso de funciones de varias variables: si una
56
2.
funcion es diferenciable en un punto (a; b), veremos que posee en dicho punto las derivadas 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 dominio de denicion) entre continuidad, derivabilidad y diferenciabilidad de funciones
de varias variables en un punto (a; b) dado:
1. No hay ninguna relacion entre la existencia de las derivadas direccionales 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.
2. Tampoco la hay entre la mera existencia de las derivadas parciales (ambas
discontinuas, necesariamente) y la existencia de las restantes derivadas direccionales. La cuestion cambia cuando todas las derivadas parciales (exceptuando
a lo sumo una) son continuas, como veremos mas tarde.
3. Sin embargo, si la funcion es diferenciable, entonces es asimismo continua. El
recproco es falso: hay funciones continuas que no son diferenciables.
4. Si la funcion es diferenciable, entonces admite derivadas direccionales segun
cualquier direccion. El recproco es falso: la existencia de todas las derivadas
direccionales no implica la diferenciabilidad de la funcion.
5. No obstante, si existen las derivadas parciales y a lo sumo una de ellas es discontinua en el punto, entonces s se puede garantizar que la funcion es diferenciable
(y por tanto ademas admite derivadas direccionales segun cualquier direccion).
6. En cualquier caso, que la funcion sea diferenciable no quiere decir que las derivadas parciales sean continuas en el punto.
7. Las funciones f que admiten las derivadas parciales continuas se dicen de clase
1, y se nota f 2 C1 . En particular, son diferenciables (aunque no todas las
diferenciables son de clase 1, como se ha dicho previamente). En verdad, se
trata de las funciones que son diferenciables, con diferencial continua.
2.2.
57
Noci
on de diferencial. Interpretaci
on geom
etrica
8
>
<
>
:
x3
;
y
0;
si y 6= 0
si y = 0
Figura 2.13:
58
2.
(0;0)
3
Por otra parte, la funcion f (x; y) = px2 + y2 es continua en todo IR2 (en particular, en el origen), y sin embargo no admite ninguna derivada direccional en el origen:
jhj , que no existe (vale 1 por la izquierda, cuando
lim f (h cos ;h h sen ) = hlim
!0 h
h!0
h ! 0 , y 1 por la derecha, cuando h ! 0+).
Figura 2.14:
Ejemplo 2.2.4 Tampoco hay relacion entre la mera existencia de las derivadas parciales (ambas discontinuas en el punto, necesariamente) y la existencia de las restantes derivadas direccionales.
8
>
<
xy
si (x; y) 6= (0; 0)
0;
si (x; y) = (0; 0)
Esta funcion es claramente discontinua en el origen:
(x;y )
(0;0)
y mx
>
:
;
x2 + y 2
xy
mx
m
=
lim
=
;
2
2
2
2
x + y x!0 x (1 + m ) 1 + m2
2.2.
Noci
on de diferencial. Interpretaci
on geom
etrica
59
= 0 = fy (0; 0):
(0;0)
Por otra parte, no existe ninguna otra derivada direccional, dado que para
u = (cos ; sen ) con cos sen 6= 0 se tiene que
f (h cos ; h sen )
h2 cos sen
lim
= lim
;
!0
Figura 2.15:
h3
o h ! 0+).
!0
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.
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.
3x2 y 2x3 si (x; y) 6= (0; 0)
Por ejemplo, sea f (x; y) = x2 + y4
0;
si (x; y) = (0; 0)
8
>
<
>
:
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
f (x; y ), dado que
)!(0;0)
Por otra parte, tiene derivadas direccionales en (0; 0) segun cualquier vector unitario u = (cos ; sen ):
f (0 + h cos ; 0 + h sen ) f (0; 0)
h3 cos2 (3 sen 2 cos )
lim
= hlim
;
h!0
!0 h3 (cos2 + h2 sen4 )
h
6= 0;
que vale 30 sen 2 cos sisi cos
cos = 0:
De este modo, fx(0; 0) = 2 y fy (0; 0) = 0.
8
<
:
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
3
x2 y + 2xy 4 )
0 = (x;ylim
:
)!(0;0) (x2 + y 4 )jj(x; y )jj
2.2.
61
Noci
on de diferencial. Interpretaci
on geom
etrica
Figura 2.16:
les segun cualquier direccion. El recproco es falso: la existencia de todas las derivadas
direccionales no implica la diferenciabilidad de la funcion.
Como contraejemplos podemos utilizar funciones que yaxyhemos considerado pre; si (x; y ) 6= (0; 0)
viamente, tales como la del Ejemplo 2.2.4, f (x; y) = x2 + y2
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
3
3x y 2x si (x; y) 6= (0; 0)
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 diferenciable en el origen).
8
>
<
>
:
8
>
<
>
:
62
2.
( 0;0)
y mx2
Figura 2.17:
ciable
2.2.
63
Noci
on de diferencial. Interpretaci
on geom
etrica
diferenciable (y por tanto ademas admite derivadas direccionales segun cualquier direccion).
!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
=
lim
!0
h
!
0
h
h
solo cuando b = 0.
f (a; b + h) f (a; b)
'(a) h
En cambio, fy (a; b) = hlim
=
lim
= '(a), siendo
!0
h
!
0
h
h
continua en el origen, dado que
lim f (a; b) = (a;blim
'(a) = 0 = fy (0; 0):
(a;b)!(0;0) y
)!(0;0)
Como al menos una de entre fx y fy es continua en el origen, la funcion f ha de
ser diferenciable en el origen. Comprobemoslo.
y
f (x; y ) f (0; 0) xfx (0; 0) yfy (0; 0)
=
lim
'(x)
lim
(x;y)!(0;0)
(x;y)!(0;0)
jj(x; y)jj
jj(x; y)jj = 0;
y
1, independientemente
dado que xlim
'
(
x
)
=
0
y
!0
jj
(
x;
y
)
jj
p
2
2
distancia, jj(x; y)jj = x + y o jj(x; y)jj = jxj + jyj.
de la eleccion de la
Ejemplo 2.2.8 En cualquier caso, que la funcion sea diferenciable no quiere decir
que las derivadas parciales sean continuas en el punto.
1
(
x2 + y 2) sen 2 2 ; si (x; y ) 6= (0; 0)
x +y
Sea f (x; y) =
0;
si (x; y) = (0; 0)
8
>
<
>
:
64
2.
Figura 2.18:
2.2.
65
Noci
on de diferencial. Interpretaci
on geom
etrica
Figura 2.19:
Las funciones de clase uno son las funciones diferenciables con diferencial continua, 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
>
<
x2 sen ; si x 6= 0
x
0;
si x = 0
!0
!0
66
2.
0.15
0.1
0.05
-0.75 -0.5 -0.25
-0.05
-0.1
-0.15
Figura 2.20:
-2
-1
-0.5
-1
Figura 2.21:
No existe xlim
cos x1
!0
En conclusion, la manera mas economica de estudiar el dominio de diferenciabilidad de una funcion de dos variables consiste en hallar los puntos en los que estan
denidas ambas derivadas parciales, para discriminar posteriormente en cuales de
ellos es continua al menos una de estas derivadas. Automaticamente, la funcion es
diferenciable en estos puntos. En aquellos puntos en los que existen las derivadas
parciales y estas no son funciones continuas, hay que estudiar directamente la diferenciabilidad segun la denicion, pues carecemos de informacion (puede que la funcion
sea diferenciable, puede que no).
Por otra parte, en los puntos en los que la funcion no es continua o no tiene todas
las derivadas direccionales, automaticamente tampoco es diferenciable.
2.2.
67
Noci
on de diferencial. Interpretaci
on geom
etrica
f (x; y ) = >
>
>
>
>
>
>
>
>
:
1
1
x2 sen + y 2 sen ;
x
y
1
2
y sen ;
y
1
2
x sen ;
x
0;
si xy 6= 0
si x = 0 e y 6= 0
si x 6= 0 e y = 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
2 sen 1 = 0.
una cantidad que tiende a cero: lim
t
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
h2 sen h1 + y 2 sen y1
Si x = 0, entonces fx(0; y) = hlim
!0
h
y 2 sen y1
= 0.
!0
esto es,
!0
1
+1
+
)
sen(
2
2
x+h
>
:
sen 2 ( + ) !
0 2 ( +
h
h
x x h
1 cos 1 ; si x 6= 0
2
x sen
En denitiva, fx(x; y) =
x
x
0;
si x = 0
8
>
<
h
x x
h)
)) ;
2x sen x1 +cos x1
68
2.
x2 sen 1
jxj
y 2 sen y1 x2 y 2
+
=
j
xj + jy j (x;y)!!(0;0) 0
jyj jxj jyj
Luego la funcion tambien es diferenciable en (0; 0), luego en todo su dominio, IR2.
Figura 2.22:
2.3.
2.3
69
Gradiente
Gradiente
3. El ritmo de cambio mnimo de f (x; y) en el punto (a; b) es jrf (a; b)j y ocurre
rf (a; b) .
en la direccion opuesta a la del gradiente, u = jr
f (a; b)j
4. El gradiente rf (a; b) es ortogonal a la curva de nivel que pasa por el punto
(a; b; f (a; b)), zz == fc (x; y) f (x; y) = c, para c = f (a; b).
9
=
;
En efecto:
70
2.
1.
55
!0
f (1;
1) = lim h2
!0
14 h
5
= 145 :
@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
<
1;
0;
si y 6= x2 o (x; y ) = (0; 0)
si y = x2 y x 6= 0
h!0
@u
h
dado que f (hu1; hu2) = f (0; 0) = 1, puesto
r (x; y ) = (0; 0) + u corta a la parabola y
!0 h
2.3.
Gradiente
71
distinto del origen, de modo que f (hu1; hu2) = 1 para todo h salvo excepcionalmente 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.
rf (a; b) .
en la direccion del gradiente, u =
jrf (a; b)j
Debemos interpretar convenientemente el enunciado: nos referimos a la direccion 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
(a; b) = rf (a; b) u para toda direccion unitaria u, el valor de maximo
Como @u
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.
rf (a; b) , y el valor maximo coincide con jrf (a; b)j.
Esto ocurre cuando u = jr
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 diferencial, que no entra dentro de los objetivos del presente curso.
Ejemplo 2.3.3 Notese que la direccion de maximo ascenso en un punto no
72
2.
-1
-0.5
0.5
1.5
2.5 -1
-0.5
0.5
-1
-1
-2
-2
Figura 2.23:
1.5
2.5
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 instante, 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
dt
= 8x
dy
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.
73
Gradiente
Figura 2.24:
3.
1
rf (a; b) .
en la direccion opuesta a la del gradiente, u =
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 permanece 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 pronunciadamente (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
rf (a; b) , y el valor mnimo coincide
que cos = 1. Esto ocurre cuando u = jr
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.
4.
9
=
;
z=c
En efecto, sea v el vector tangente a la curva de nivel f (x; y) = f (a; b) en el
punto (a; b; f (a; b)); el cual sera de la forma v = (u1; u2; 0), dado que la curva
esta inmersa en el plano horizontal z = f (a; b). Como vector tangente a la supercie z = f (x; y) en el punto (a; b; f (a; b)) que es, el vector v es perpendicular al
vector normal n del plano tangente en dicho punto, n = (fx(a; b); fy (a; b); 1);
de modo que 0 = v n = fx(a; b)u1 + fy (a; b)u2.
De modo que la derivada direccional de la funcion en el punto (a; b) en la
direccion del vector u = (u1; u2) (que coincide en el espacio con el vector v,
@f
(a; b) = rf (a; b) u = fx(a; b)u1 + fy (a; b)u2 = 0:
@u
De donde el vector gradiente es perpendicular al vector u, luego a v; esto es, al
vector tangente a la curva de nivel en (a; b; f (a; b)).
Gracamente, esto se puede comprobar en el dibujo que corresponde a la trayectoria a describir por el alpinista del ejemplo anterior.
2.4
diferenciable en
1.
2.4.
75
2
1.5
1
0.5
1
-0.5
-1
-1.5
-2
Figura 2.25:
Este resultado engloba al anterior, dado que cuando f (a) = f (b), la relacion
f (b) f (a)
queda
f 0 (c) = 0.
f 0 (c) =
b a
-0.5
0.5
-0.25
-0.5
-0.75
-1
Figura 2.26:
76
2.
Ejemplo 2.4.2 Sea la funcion f (x) = x3 , que pasa por los puntos (
(1; 1), que estan alineados en la recta y = x, de pendiente 1.
1; 1), (0; 0) y
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 .
Ejemplo 2.4.3 A las 14:00 horas el velocmetro de un automovil indica 60km=h,
mientras que diez minutos despues indica 100km=h. Demostrar que en algun instante
durante esos 10 minutos el automovil tuvo una aceleracion de exactamente 240km=h2 .
a1 ) + fy (c1 ; c2 )(b2
a2 ):
2.4.
77
Este resultado engloba al anterior: tomando g(x) = x0, se tiene que g(b) = b,
f (c) f (b) f (a)
queda
g (a) = a y g 0 (x) = 1 para todo x; de modo que la relacion 0 =
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. Supongamos 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
cuyas ecuaciones parametricas son xy == gf((tt)) o equivalentemente y = g(f 1(x)).
8
<
:
78
2.
funciosen
n cos
x esta acotada en valor absoluto por 1, de la relacion anterior se desprende
a
que a 1, de donde j sen aj jaj tambien para a 6= 0.
Jacobiano.
Regla de la cadena.
Derivaci
on
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
J (f (a)) =
B
B
B
B
B
B
@
@f1
(a)
@x1
@f1
@x
(a)
@fq
(a)
@x1
@fq
@x
(a)
...
...
1
C
C
C
C
C
C
A
2.5.
79
@f2
@x
80
2.
y=
0.5
-200
-100
100
200
t
cos
180 180
t
y = sen
-0.5
y = cos
180
t
180
2.27: El cambio de unidad in
uye en la funcion derivada
-1
Figura
t
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
4
horizontal?
40m
Figura 2.28:
Sea x la longitud de la sombra, en metros, que depende del angulo que forman
los rayos del Sol con respecto la horizontal, el cual a su vez vara en funcion del tiempo
t transcurrido (que medimos en segundos). El problema pide hallar la tasa de cambio
de x respecto de t, Dtx. Dado que x es funcion de (x = 40 cotg ), y lo es de
t (la Tierra da una vuelta cada 24 horas, esto es, cada 86400 segundos, a velocidad
2 radianes por segundo, con
constante; de donde con una velocidad de Dt = 86400
signo negativo puesto que el angulo disminuye conforme el Sol se oculta), se trata
2.5.
cosec2 )
81
2 = cosec2
86400 360
2 0:0175m=s;
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)
dx
dy
=
1
pie=s. Dado que
=
0,
se
tiene
que
2
x = 2y , de
Ademas, dx
dt
dt
dt
dt
dy
x dx
6
3
donde dt jx=6 = y dt jx=6 = 8 = 4 pies=s.
En el caso de funciones f : IR2 ! IR y g : IR ! IR que se puedan componer
(esto es, tales que Im(f ) Dom(g), de modo que tiene sentido la expresion g(t) para
t = f (x; y )), con f diferenciable en un punto (a; b) y g diferenciable en c = f (a; b), se
tiene que h = g f : IR2 ! IR es diferenciable en (a; b), siendo
@h
dg
@f
(
a; b) = (c) (a; b)
@x
dt
@x
@h
dg
@f
(
a; b) = (c) (a; b);
@y
dt
@y
82
2.
esto es, (g f )x(a; b) = 2x cos(x2 + y2) y (g f )y (a; b) = 2y cos(x2 + y2).
Gracamente, podemos observar como afectan los distintos valores del parametro
(para = 1; 2; 3) a la velocidad con que se recorre la supercie, tal como se analizara
en los Ejemplos 2.1.4 y 2.5.3 para el caso de funciones de una variable.
y = sen(x2 + y 2 )
Figura 2.29:
2.5.
83
y = sen(2x2 + 2y 2)
Figura 2.30:
y = sen(3x2 + 3y 2)
Figura 2.31:
84
2.
Es decir,
x
Figura 2.32:
2.5.
85
2 2
Una ultima aplicacion de la regla de la cadena es la derivacion de funciones denidas de manera implcita.
86
2.
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
y radio
2, cuya graca se corresponde con dos funciones distintas
p el origen
p
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.
87
(3; 3).
3. Hallar los puntos de la curva en los que la recta tangente es horizontal o vertical.
Figura 2.33:
0.5
2.5
1.5
2.5
3
2
-1
1.5
-2
1.5
-3
0.5
-4
0.5
0.5
1.5
Figura 2.34:
2.5
-5
-4
-3
-2
-1
Estas tres ramas s constituyen otras tantas funciones por s mismas
Aunque se conocen formulas explcitas para estas tres funciones, son de una extrema complejidad como para incluirlas en estas lneas. No obstante, es posible
determinar una funcion derivada para y(x), 2procediendo 2de manera implcita con
3x 6y = x 2y .
F
F (x; y ) = x3 + y 3 6xy : y 0 (x) = x =
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,
6
p
x
x
y = , de donde x2 + = 3x3 x6 = 16x3 y es x = 0 o x = 2 2, que dan origen
2
p8 p
a los puntos (0; 0) y (2 2; 2 4).
3
88
2.
4
2
-4
-2
-2
-4
Figura 2.35:
Tangente a la curva en x = 3
Dado que la funcion dada es simetrica respecto de las variables x e y (esto es,
respecto de la bisectriz del primer cuadrante, x = y), las tangentes verticales se
encuentranpen los
p simetricos respecto de y = x de las tangentes horizontales, a saber,
(0; 0) y (2 4; 2 2). Notese que en el origen hay dos tangentes distintas, dependiendo
de la funcion que se tome.
3
Fx
Fz
@z @f
y @y
= @y =
0 = hy = Fy 0 + Fy 1 + Fz @f
;
@y
Fy
.
Fz
Mas aun, dada F : IR3 ! IR, se tiene que si Fx, Fy y Fz son continuas en (a; b; c),
F (a; b; c) = 0 y Fz (a; b; c) 6= 0; entonces se puede asegurar que F (x; y; z ) = 0 dene
2.6.
89
2.6
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 diferenciabilidad o derivabilidad respecto alguna direccion. As, surgen de manera natural
los conceptos de derivadas y diferenciales de orden superior.
@f
para denotar la derivada parcial (fx)y , esto
Utilizaremos la notacion fxy = @x@y
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 ,
derivada parcial respecto de y de la derivada parcial respecto de x de la derivada
parcial de f respecto de x.
2
En general, fx
t1
i1
n
:::xtin
hara referencia a
@f
@xi
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
x2 arctg
x
0;
x
y 2 arctg ; si xy 6= 0
y
si xy = 0
Mas aun, fx =
8
>
>
>
>
<
>
>
>
>
:
2x arctg xy
0;
y;
yx2
x2 + y 2
y3
y 2 + x2
y
y + 2x arctg ;
x
si xy 6= 0
si x = 0
si y = 0
90
2.
8
>
>
>
>
<
!0
f (0; y )
= hlim
!0
h2 arctg hy
arctg hy L0 H
y
2
dado que hlim
h arctg = 0 y hlim
y
= hlim
!0
!0
!0
h
h
y 2 arctg hy
y;
12
2
1+
y
2
1 = y.
y
h
y
mientras que
!0
!0 h
h
fy (h; 0) fy (0; 0)
=
lim
h!0 h
h
= 1:
2.6.
91
Lo que ocurra en el Ejemplo 2.6.1 anterior es que ninguna de las derivadas cruzadas 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
xy 2 sen ; si y 6= 0
y
0;
si y = 0
!0
fx (0; h) fx (0; 0)
1
En estas circunstancias, fxy (0; 0) = hlim
=
lim
h sen = 0.
!0
h
!
0
h
h
fy (h; 0) fy (0; 0)
Mas aun, fyx(0; 0) = hlim
= hlim
0 = 0.
!0
!0
h
Sin embargo, a pesar de que fxy (0; 0) = fyx(0; 0), ninguna de estas derivadas
cruzadas es continua en el origen, dado que para y 6= 0 es
1 cos 1 ;
f (x; y ) = f (x; y ) = 2y sen
xy
yx
que no tiene lmite cuando (x; y) ! (0; 0): aunque existe el unidimensional cuando
x ! 0, no existe el reiterado cuando y ! 0 del lmite cuando x ! 0, puesto que no
1 (oscila recorriendo todo el intervalo [ 1; 1]).
existe ylim
cos
!0
y
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.
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
= 0:
lim
(x;y)!(0;0)
jj(x; y)jj
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:
i1 ;:::;in
=1
fi :::i (a)dxi
1
dxi :
n
2.6.
93
n
X
=1
0
@
n
i
1
A
fx y
i
(a)dxi dyn
fx (x; y) = (e
+2y ; 2 sen y ),
fxy (x; y ) = ( 2e x+2y ; 2(x + 2) cos y ),
fy2 (x; y ) = (4e x+2y ; (x + 2)2 sen y ).
2
fx (x; y) = ( e
+2y ; 0),
fx2 y (x; y ) = (2e x+2y ; 2 cos y ),
fxy2 (x; y ) = ( 4e x+2y ; 2(x + 2) sen y ),
fy3 (x; y ) = (8e x+2y ; (x + 2)2 cos y ).
3
As, en el origen queda fx(0; 0) = ( 1; 0), fy (0; 0) = (2; 4), fx (0; 0) = (1; 0),
fxy (0; 0) = ( 2; 4), fy (0; 0) = (4; 0), fx (0; 0) = ( 1; 0), fx y (0; 0) = (2; 2),
fxy (0; 0) = ( 4; 0) y fy (0; 0) = (8; 4).
2
As, las diferenciales primera, segunda y tercera de f en (0; 0) son las siguientes
aplicaciones:
94
2.
df (0; 0) : IR2 ! IR2, que a (dx; dy) le asocia df (0; 0)(dx; dy) =
dx
1
A
+ 24dy
=
dy
dx
dy
1
A
dx
dy
1
A
0
@
0
@
dx
dy
1
A
1 0
1 2
0 4
1
A
, esto es,
dx
dy
A @
dx + 2dy
4dy
1
A
0
@
dx + 2dy
4dy
d2f (0; 0) : IR2 ! IR2 , que a (dx; dy) le asocia d2f (0; 0)(dx; dy) =