Professional Documents
Culture Documents
Daz Gabela
Captulo 4
Derivadas parciales.
Diferenciabilidad.
Definicin 4.0.1 Sea z = f(x1 , x2 , x3 , , xi , xn ) una funcin de Rn R , se
define derivada parcial de z respecto a xi , en el punto (x1 , x2 , x3 , , xn ) como:
z
f (x1 , x2 , x3 , , xi + xi , , xn ) f (x1 , x2 , x3 , , xi , , xn )
z
= lim
= lim
xi 0 xi
xi xi 0
xi
Definicin 4.0.2 Sea z = f(x, y) una funcin de R2 R , se define derivada
parcial de z respecto a x, en el punto (x, y) como:
f (x + x, y) f (x, y)
z
z
= lim
= lim
x0 x
x x0
x
Esta derivada parcial, expresa la razn de cambio de la funcin z = f(x, y) con
respecto a la variable x.
z
El clculo de esta derivada parcial
, se lleva a cabo derivando la funcin en la
x
que se considera la variable y como una constante.
Anlogamente se define la derivada parcial de z respecto a y, en el punto (x, y) :
z
f (x, y + y) f (x, y)
z
= lim
= lim
y0 y
y y0
y
Esta derivada parcial, expresa la razn de cambio de la funcin z = f(x, y) con
respecto a la variable y.
z
, se lleva a cabo derivando la funcin en la
y
que se considera la variable x como una constante.
El clculo de esta derivada parcial
10
fx zx
x
x
f (x, y)
z
fy zy
y
y
4.0.1
Sea z = f (x, y) una funcin de dos variables; la interseccin del plano y = y0 con la
superficie z = f (x, y), determina en dicho plano la curva z = f (x, y0 ).
z = f(x,y0 )
P'(x0,y0,z0)
y = y0
fig.1-t19
P(x0 , y0)
11
f
en (x0 , y0 ) representa en el plano y = y0 , la pediente de
x
f
f
en (x0 , y0 ) representara en un plano x = x0 , la pediente de
y
f
f
= 2x
x
f
y
= 4y
f
x
f
x
(1,1)
= 2
(1,1)
= 4
12
Z
z =4 - x2 - 2y2
recta
tangente
P'(1,1,1)
P'(1,1,1)
P' (1,1,1
z = 2 - x2
1
yy==
y 1=1
O
Y
P (1,1)
x (1,1)
tg =
fig2-t19
4.1
En una funcin de dos variables, no existe ningn tipo de implicacin entre el hecho
de que existan las derivadas parciales en un punto y la funcin sea continua en dicho
punto.
Ejemplo 4.1.1 Estudiar existencia de derivadas parciales y continuidad de la funcin
2
xy
si (x, y) = (0, 0)
x2 + y 4
f (x, y) =
0
si (x, y) = (0, 0)
en el punto (0, 0).
f
x
= lim
(0,0)
h0
z
x
(0,0)
f (0 + h, 0) f (0, 0)
=lim
h0
h
z
y
0
h2
(0,0)
0
=0
h
f
y
= lim
k0
(0,0)
f (0, 0 + k) f(0, 0)
=lim
k0
k
0
k4
13
0
=0
k
1
x sen
si (x, y) = (0, 0)
2
x + y2
f(x, y) =
0 si (x, y) = (0, 0)
en el punto (0, 0).
lim
(x,y)(0,0)
f (x, y) = f(0, 0) = 0.
1
|x| < x2 + y 2 < , con tal que =
2
2
x +y
14
f
x
f
y
1
f (0 + h, 0) f (0, 0)
+ 02 =lim sen 1
= lim
=lim
h0
h0
h0
h
h
h2
1
0 sen 2
f (0, 0 + k) f(0, 0)
0 + k2 = 0
= lim
=lim
k0
k0
k
k
h sen
(0,0)
(0,0)
h2
4.2
z
su derivada parcial con respecto a
x
x. Si esta nueva funcin es derivable con respecto a x, se puede obtener la derivada
parcial segunda:
z
2z
=
x2
x x
4.2.1
15
Teorema de Schwarz
verifica
y sin embargo
x4
si (x, y) = (0, 0)
x2 + y 2
z f(x, y) =
0 si (x, y) = (0, 0)
2z
xy
(0,0)
2z
yx
(0,0)
2z
2z
y
no son continuas en (0, 0).
xy yx
z
=
f1 (x, y) =
x (x,y)
z
f2 (x, y) =
=
y (x,y)
parciales primeras:
z
x
z
x
z
y
=
(x,y)=(0,0)
0
f (0 + h, 0) f(0, 0)
2
=lim
=lim h +0
=0
h0
h0
h
h
(x,y)=(0,0)
z
f
x4
2yx4
=
=
y (x,y)=(0,0)
y (x,y)=(0,0) x x2 + y 2
(x2 + y 2 )2
(x,y)=(0,0)
f (0, 0 + k) f (0, 0)
=lim
=lim
k0
k0
k
0
0+k2
=0
16
2z
8x3 y (x2 + y 2 ) 2 (x2 + y 2 ) 2y (2x5 + 4x3 y 2 )
8x3 y 3
=
=
(x2 + y 2 )4
(x2 + y 2 )3
yx (x,y)=(0,0)
2
0
0
0
z
f1 (0, 0 + k) f1 (0, 0)
(0+k2 )2
k4
=lim
=lim
=lim
=0
yx
k0
h0
h0 k
k
k
(x,y)=(0,0)
2
2z
8yx3 (x2 + y 2 ) + 2 (x2 + y 2 ) 2x2yx4
8y 3 x3
=
=
(x2 + y 2 )4
(x2 + y 2 )3
xy (x,y)=(0,0)
2
f2 (0 + h, 0) f2 (0, 0)
z
h4
=lim
=lim
=0
xy
h0
h0 h
h
(x,y)=(0,0)
lim
(x,y)(0,0)
lim
(x,y)(0,0)
2z
yx
2z
yx
2z
xy
2z
, no son continuas en (0, 0), pues:
xy
=
=
2z
yx
2z
xy
=0
(0,0)
=0
(0,0)
ya que:
lim
(x,y)(0,0)
2z
yx
lim
(x,y)(0,0)
8x3 y 3
=
(x2 + y 2 )3 y=mx
lim
(x,y)(0,0)
lim
x0
2z
yx
8x6 m3
8m3
=
(x2 + x2 m2 )3
(1 + m2 )3
2z
yx
no continua en
Anlogamente:
2
z
8y 3 x3
8x6 m3
8m3
= lim
=
lim
=
lim
3
3
(x,y)(0,0)
(x,y)(0,0) (x2 + y 2 ) y=mx x0 (x2 + x2 m2 )
xy
(1 + m2 )3
lim
(x,y)(0,0)
(0, 0).
2z
xy
2z
xy
no continua en
Muchas de las funciones que aparecen en la prctica, cumplen las hiptesis del
teorema de Schwarz, cuando esto ocurre, slamente habr 3 derivadas parciales
distintas de orden 2 :
2z
2z 2z 2z
,
,
x2 y 2 xy
yx
Si estas funciones (derivadas parciales 2as ) cumplen las condiciones del Th. de
Schwarz, slamente habr 4 derivadas parciales distintas de orden 3:
3z 3z 3z
3z
3z
3z
3z
3z
,
,
x3 y 3 y 2 x
yxy
xyy x2 y
xyx
yxx
4.3
Sea f (x, y) una funcin continua en un entorno cerrado de P (x, y), existiendo
las derivadas parciales: fx y fy , finitas en el correspondiente entorno abierto de
P (x, y), entonces:
z f (x + x, y + y) f (x, y) = x fx (x0 , y) + y fy (x + x, y0 )
siendo
x0 = x + 1 x ; 0 < 1 < 1
y0 = y + 2 y ; 0 < 2 < 1
Demostracin
Sea P (x, y) un punto del plano XY y pasemos al punto Q(x + x, y + y) ;
veremos como este incremento de la funcin, se puede expresar en funcin de las
derivadas parciales.
18
Z
f(Q)
z = f(x,y)
f(P)
O
Y
X
x0
.
C(x+x,y)
P(x,y)
y0
Q(x+x,y+y)
fig.3-t19
Consideramos el punto intermedio C, vrtice del tringulo rectngulo P CQ, que
nos permite escribir:
z = f (Q) f (P ) = f (x + x, y + y) f (x, y) = f (Q) f (C) + f (C) f (P ) =
Aplicamos en cada parntesis, el teorema de los incrementos finitos para funciones de una
variable.
4.4
19
Derivada direccional.
P'(x0P'(1,1,1)
,y0,z0)
P'
(x
0 , y0 , z0 )
O
r
uu
P(x0,y0)
X
tg =
(D u f)(x ,y )
0
fig.4-t19
Definicin 4.4.1 Sea f : A R2 R y sea (x0 , y0 ) un punto interior de A y
u = a2 + b2 = 1
f(x0 + a, y0 + b) f (x0 , y0 )
20
Cuando
u = (1, 0) la derivada es en la direccin y sentido del semieje OX , esto
es:
(D
u f )(x0 ,y0 )
f
x
(x0 ,y0 )
Cuando
u = (0, 1) la derivada es en la direccin y sentido del semieje OY , esto
es:
(D
u f )(x0 ,y0 )
f
y
(x0 ,y0 )
Este vector
u , se puede escribir:
u = (cos , sen ) , para algn [0, 2] ,
por lo que:
(D
u f)(x0 ,y0 ) f (x0 , y0 ) =lim
0 si (x, y) = (0, 0)
= lim
= (cos3 )=0 = 1
x
(0,0)
f
= (cos3 )= = 0
2
y (0,0)
4.4.1
21
Demostracin
Puesto que la derivada direccional expresa la razn de cambio de z respecto a
cambios que pueden ser simultneos de x e y, se puede decir que
f (x, y) = lim
s0
z
s
Z
f(Q)
z = f(x,y)
f(P)
s =
O
Y
C(x+x,y)
P(x,y)
Q(x+x,y+y)
fig.5-t19
2x + 2 y
cos =
x
s
sen =
y
s
22
Por cumplirse las hiptesis del Th. de los incrementos finitos para funciones de
dos variables, se tiene que:
f (x, y) = lim
s0
x fx (x0 , y) + y fy (x + x, y0 )
z
= lim
=
s s0
s
u
f (x, y) = f(x, y)
0 si (x, y) = (0, 0)
f (0, 0) = f(0, 0)
u = fx (0, 0) cos + fy (0, 0) sen = cos
La derivada direccional, obtenida mediante su propia definicin daba cos3 , estas
expresiones son distintas, por tanto debemos pensar que no se cumplen las condiciones del teorema. (Fcilmente se demuestra, como las derivadas parciales no son
continuas en (0, 0)).
2
23
(3,1)
1
1
!u = cos !i + sen !j = !i + !j
4
4
2
2
por tanto:
f (x, y)
4.4.2
= f (x, y)
u = 11!i 21!j
1
1
!i + !j
2
2
11
21
10
= =
2
2
2
Teniendo presente la forma en la que est expresada la derivada direccional, distinguimos dos casos:
a) Si la derivada direccional se puede expresar mediante el producto escalar:
f (x, y) = f(x, y)
u
se tiene que
f (x, y) = f (x, y) |!u| cos
24
= f (x, y)
el valor mximo y mnimo se obtiene buscando los extremos de esta funcin derivada
direccional, respecto a la variable .
0 si (x, y) = (0, 0)
=0
=
2
2
3
g () = 3 2 cos sen + cos = 6 cos sen2 3 cos3
25
g(=
) = 0
2
g () = 6 sen3 + 2 sen cos2 + 9 cos2 sen
g(=
) = 6
2
g(=
) = 6
2
Por tanto la primera derivada que no se anula es de orden impar, con lo que no
existirn ms extremos.
Ejemplo 4.4.7 Calcular el valor de la derivada direccional de f(x, y) = x3 y 2 en
P (1, 2), en la direccin del vector !a = 4!i 3!j.En qu direccin y sentido tomar
el mximo valor?. Cul es ese valor?.
u
f (x, y) = f(x, y)
calculamos:
4
!
!
= 12i 4j !i
5
3!
j
5
= 12
f = 12!i 4!j
Este valor ser f = 160
26
4.4.3
f (x, y) = f (x, y)
u = f (x, y) |!u| cos
Esta derivada se hace nula cuando =
al vector gradiente.
Si la derivada direccional viene expresada a travs de la propia definicin:
f (x, y) =lim
0
si (x, y) = (0, 0)
4.5
El vector gradiente es en cada punto, normal a las curvas de nivel (siempre que
f (x, y) = 0).
Demostracin
Puesto que z = f (x, y) es constante en cada curva de nivel, la razn de cambio
4.6. DIFERENCIABILIDAD.
27
del vector de posicin, es cero, es decir f !u = 0 f cos = 0 = y
2
por tanto f !u
3
fig.6-t19
Ejemplo 4.5.1 Dada la curva de nivel z = y sen x = 0, construir los vectores
normales a dicha curva, en los puntos (, 0) , (0, 0) y 2 , 1 .
(, 0) = !i + !j
(0, 0) = -!i + !j
, 1 = 0 !i + !j = !j
4.6
Diferenciabilidad.
28
(x,y)(0,0)
4.7
z x fx (x, y) y fy (x, y)
=0
2 x + 2 y
z
z
dx + dy
x
y
29
1
x + y + (x2 + y 2 ) cos
si (x, y) = (0, 0)
2
(x + y 2 )
f (x, y) =
0 si (x, y) = (0, 0)
Se pide:
Para lo cual calculamos previamente el valor de las parciales en el punto (0, 0):
1
h + h2 cos 2
f
(0
+
h,
0)
f
(0,
0)
h =1
fx (0, 0) = lim
=lim
h0
h0
h
h
1
k + k 2 cos 2
f
(0,
0
+
k)
f(0,
0)
k =1
=lim
fy (0, 0) = lim
k0
k0
k
k
Veamos si
z = x + y + 2 x + 2 y , con
lim
(x,y)(0,0)
=0
z x y
[f(0 + x, 0 + y) f(0, 0)] x y
=
=
2 x + 2 y
2 x + 2 y
1
x + y + (2 x + 2 y) cos (2 x+
2 y) x y
=
=
2 x + 2 y
1
=
2 x + 2 y cos 2
( x + 2 y)
Comprobamos que
lim
(x,y)(0,0)
lim
(x,y)(0,0)
2 x + 2 y cos
(2 x
1
=0
+ 2 y)
30
pues basta aplicar el criterio de la funcin mayorante. Luego la funcin es diferenciable en (0, 0).
b) Se trata de calcular f(0.1, 0.2), esto es f (x + x, y + y) a travs del valor
de dz en el punto (x, y) mediante la aproximacin:
[f(x + x, y + y) f (x, y)] z dz
de donde
f (x + x, y + y) f (x, y) + dz = f(x, y) + fx (0, 0)x + fy (0, 0)y
sabiendo que:
El punto es el (0, 0), donde f (0, 0) = 0
x + x = 0.1 x = 0.1
y + y = 0.2 x = 0.2
se tiene:
f(0.1, 0.2) f (0, 0) + 1 0.1 + 1 0.2 = 0 + 0.1 + 0.2 = 0.3
Ejemplo 4.7.2 Estudiar la diferenciabilidad de la funcin f (x, y) = x2 y + 3y para
cualquier (x, y) R2 .
31
fx (x,y)
lim
(x,y)(0,0)
=0
lim
y2 x + 2 xy + 2xxy
2 x + 2 y
(x,y)(0,0)
4.8
Diferenciabilidad y continuidad.
(x,y)(0,0)
f (x + x, y + y) f(x, y) = 0
(x,y)(0,0)
32
Por tanto
Una condicin necesaria, que no suficiente, para la diferenciabilidad, es la
4.9
Si z=f(x,y) es diferenciable en un punto P(x,y), entonces admite en ese punto derivada direccional en cualquier direccin , que se puede obtener mediante la expresin:
La recproca no es cierta, esto es, una funcin puede admitir derivada direccional
en cualquier direccin en un punto P (x, y) y no ser diferenciable en este punto.
Demostracin
En efecto si f(x, y) es diferenciable en P (x, y) se tiene que:
z = x fx (x, y) + y fy (x, y) + 1 x + 2 y
donde x e y son los catetos del tringulo:
.
y
fig.1-t20
por lo que
s =
2 x + 2 y; sen x =
y
x
; cos x =
s
s
s0
z
s
se tiene que:
s
cos
f
(x,
y)
+
sen
f
(x,
y)
+
cos
sen
z
1
2
x
y
= lim
=
f (x, y) = lim
s0 s
s0
s
0 si (x, y) = (0, 0)
admite derivada direccional en el punto (0, 0) en cualquier direccin y no es diferenciable en este punto.
despejando :
z x
=
=
2 x + 2 y
y calculando
lim
(x,y)(0,0)
3 x cos(xy)
2 x+2 y
x
3 x cos(x y) x (2 x + 2 y)
=
3
2 x + 2 y
(2 x + 2 y) 2
lim
(x,y)(0,0)
3 x cos(x y) x (2 x + 2 y)
3
(2 x + 2 y) 2
y=mx
34
= lim
x(0,0)
3 x cos(x mx) x (2 x + m2 2 x)
(2 x + m2 2 x)
3
2
m2
(1 + m2 ) 2
se observa que depende de m, por lo que no existe lmite y por tanto la funcin
no es diferenciable en el punto (0, 0).
La no diferenciabilidad se ve de inmediato, comprobando como la derivada
4.10
Dada la superficie z = f (x, y), y un punto de ella P (x0 , y0 , z0 ), la ecuacin del plano
tangente a la superficie en ese punto viene dada por la ecuacin:
z z0 = fx (x0 , y0 )(x x0 ) + fy (x0 , y0 )(y y0 )
x
(1)
z=f(x,y)
F (x0 , y0 , z0 )
P' ( x0 , y0 , z0 )
u
O
X
P(x0,y0)
fig.2-t20
por lo que dicha ecuacin la puedo escribir:
z z0 = dz
por cuanto la condicin necesaria y suficiente para que la superficie z = f(x, y)
admita plano tangente en un punto es que esta sea diferenciable en dicho punto.
z = f (x, y).
Por tanto la ecuacin del plano tangente se obtiene al igualar a cero el producto
escalar
al plano tangente, puesto que lo es a cada vector !u del plano que pase por el punto.
Ejemplo 4.10.1 Hallar la ecuacin del plano tangente a la superficie dada implcitamente por
F (x, y, z) = xyz + L(xyz) z = 0
en el punto P (1, 1, 1). Obtener tambin la ecuacin de la recta normal al plano en
dicho punto.
F (x0 , y0 , z0 ) !u = 0
F =
yz +
i + xz +
j + xy +
1 !k
xyz
xyz
xyz
F (1, 1, 1) = 2i + 2j + k
!u = (x 1)!i + (y 1)!j + (z 1)!k
36
y sustituyendo:
resulta:
4.11
f(Q) = p(P ) + Rn
( x, y ) = (x
+ht , y 0 +kt )
P( x , y )
0
0
fig.1-t21
1
1
1
F (0)t2 + + F (n (0)tn +
F (n+1 (t)tn+1
2!
n!
(n + 1)!
t
y
fig.2-t21
F (0) = f (x0 , y0 )
dF
F dx F dy
f
f
f
f
F (t) =
=
+
=
h+
k F (0) =
h+
k
dt
x dt
y dt
x
y
x
y (x0 ,y0 )
dx dy
f
f
dx f
f
dy
F (t) =
F (t) + F (t) =
h+
k
+
h+
k
=
x
dt y
dt
x x
y
dt y x
y
dt
2
2f
2f
f
2f
h+
k h+
h+ 2k k
x2
xy
yx
y
F (t) =
h+
k
F (0) =
h+
k
x
y
x
y (x0 ,y0 )
Anlogamente se calculan las derivadas de orden superior, resultando:
(n
(n
f
f
f
f
(n
(n
h+
k
h+
k
F (0) =
F (t) =
x
y
x
y (x0 ,y0 )
38
(n+1
(t) =
f
f
h+
k
x
y
(n+1
f
f
h+
k
x
y
(2
1
t + +
n!
(x0 ,y0 )
1
+
(n + 1)!
f
f
h+
k
x
xy
f
f
h+
k
x
y
f
f
h+
k
x
y
(n+1
(n
t+
(x0 ,y0 )
tn +
(x0 ,y0 )
tn+1
f
f
h+
k
x
y
(n
(x0 ,y0 )
f
f
h+
k
x
y
(n+1
;0 < < 1
Esta expresin es la que se conoce como frmula de Taylor para funciones de dos
variables, con resto de Lagrange.
El desarrollo de McLaurin para funciones de dos variables se obtiene de este
desarrollo de Taylor, para el punto (0, 0).
f (h, k) = f(0, 0) +
1
+ +
n!
f
f
h+
k
x
y
f
f
h+
k
x
y
(n
(0,0)
1
+
2!
(0,0)
f
f
h+
k
x
y
f
f
h+
k
x
xy
(n+1
(h,k)
(2
(0,0)
;0 < < 1
f
f
h1 + +
hk
x1
xk
(n+1
;0 < < 1
(x,y)
k=y-1
(1,1) h
fig.3-t21
f
f
f (x, y) = f (1, 1)+
h+
k
x
y
1
+
(1,1) 2!
f
f
h+
k
x
y
(2
1
+
(1,1) 3!
f
f
h+
k
x
y
(3
(1,1)
= 11
(1,1)
f
=8
= 2x y + 6y
y (1,1)
2
f
2
= 6xy + 8
= 14
x2 (1,1)
2
f
3
= 2x + 12y
= 14
y 2 (1,1)
3
f
x
40
3f
= 6y 2
x3
3f
x3
2f
2f
=
= 6x2 y
xy
yx
3
=6
(1,1)
2f
xy
;
(1,1)
3
3f
f
= 12
= 12
3
y
y 3 (1,1)
2
f
=
=6
yx (1,1)
f
f
f
=
=
= 12xy
2
x y
xyx
yx2
3
3f
3f
f
=
=
= 12
x2 y (1,1)
xyx (1,1)
yx2 (1,1)
3f
3f
3f
=
=
= 6x2
xy 2
yxy
y 2 x
3
3
f
3f
f
=
=
=6
xy 2 (1,1)
yxy (1,1)
y 2 x (1,1)
Sustituyendo estos valores, se obtiene el desarrollo:
1 3
1
14h2 + 14k 2 + 12hk +
6h + 12k 3 + 36h2 k + 18hk 2
2
6
2
2
3
3
f (x, y) = 7 + 11h + 8k + 7h + 7k + 6hk + h + 2k + 6h2 k + 3hk 2