k ( 0 ) Ck Lm k: k

- 01 + 0

0 = Lm k; --o 0 - 0

entonces:

3 2f * I 3 y 3 x (0,0)

= Lm
h

0 h

= - 1

(**)

de

(*) y

(**) t e n e m o s

que:

a2f 3x3 y

i (0,0)

,
r

s2f 3y3 x

i
1

( 0 , 0)

TEOREMA

4.1

,2 Sea f un campo escalar de R

R,

. Si

3 3 f 32 f 3 2f ~ , * , x* , ^r 3 x ' 3 y 3 x 3 y 3 y y 3 x

son continuas en u n a vecindad de un p u n t o

( X q , y ) entonces:

32f i 3TTyUxo,yo)

"

3 2f FTT^

(xo,yo)

DEMOSTRACION :

Sea A = f ( x o

+ h , y o + k) -

f(xQ + h,yQ) + f (xQ,yo)

- f ( x Q , y Q + k)'

Si llamamos Q(x) = f(x, y

+ k) - f(x,y

entonces:

A = Q(Xq + h) - Q(X )
Q

141

p u e s t o q u e f e s c o n t i n u a e n vina v e c i n d a d d e tinua en (Xq, xQ

(X ,Y )
Q Q

e n t o n c e s Q e s conla h)

+ h) y a p l i c a n d o el teorema d e l v a l o r m e d i o para

funcin de una variable real Q , tenemos que existe un x e tal que A = Q ( X

q

(x , x + o o

+ h) - Q ( X )
Q

= Q ' (x)H

luego

a_f i 1 3x (x, y Q

3_f i 1 + k) " 3 x (x, y o ) J

3 f De n u e v o , como ~

3 f e l t e o r e m a d e l v a l o r m e d i o a la f u n c i n , 3 x

J X

es continua en una vecindad de

(x , y ) ,

aplicando funcin que:

considerada como (yQ, y Q

de "y", pues x es fijo, tenemos que existe y e

+ k) t a l

3 x > (x, y Q

+ k)

lli

3 " ? (x, y Q )

2 f 1

3T3T

> v (x, y) ' '

luego

A =

3 2f ( *| -,).h.k 3 y 3 x 1 (x, y)

(1)

Por otro

lado, si llamamos

i|;(y) = f ( X q + h , y ) - f ( x Q , y )

entonces:

A =

\j(yQ +

k ) - ip(y o )

Otra vez p o r la continuidad

de f en una v e c i n d a d de

tx0iY0) Y

aplicando

e l t e o r e m a d e l v a l o r m e d i o d e l a f u n c i n d e u n a v a r i a b l e r e a l \j(y) t e n e mos que existe y*e (y , y + k) t a l que

142

A = \i(y + k) T o

(y ) = o

(y*) . k

luego

A =

UL -111 r 7 > CxQ + h,y*} S T 1 CxQ,

y* J '

De nuevo aqu p o r ser

3 f

continua en u n a vecindad d e

(Xq, yQ), y 3 f

por

ser y* f i j o , a p l i c a n d o el t e o r e m a d e l v a l o r m e d i o a la considerada como funcin de x , tenemos que existe x*e tal 3 f que: 3 2f 3 x 3 y 1 (x*, y*)

funcin (X , X
Q

+ h)

3~7> (x

+ h, y*)

3 y (X , y * )
o

luego

A =

3 2f ( ^ 1 / * .. ) , k . h 3 x 3 y (x*, y*)

(2)

De

(1) y

(2) t e n e m o s -

que: ~ para h, k temente suficien

'

3 y 3 x

(x, y)

h '

I 3 x 3 y ' ( x * , y*)

pequeos

3 f i _ 3 y 3 x 1 (x, y)

32f i 3 x 3 y 1 (x*, y*)

para h. k temente

suficien^

pequeos

S i h: x* e

k: + 0

entonces como x e (y , y + k) o o

(x , x + h) , y e o o que:

(y , y + o o

(x , x + h) , y* o o

se tiene

x , x*

-*x

y . 1y * '

-*y 1 o

143

Y como las s e g u n d a s d e r i v a d a s p a r c i a l e s son continuas en tonees:

(xQf

yQl

en

3 f i 3 y 3 x 1 (x , y ) o o

3 f 3 x 3 y 1 (x

y ) o

Este teorema se puede generalizar para campos escalares de R n

* R:

TEOREMA

4.2

Sea f un

n campo escalar de R ^ R .

si

3 2f ^ - ^ ^
x

son continuas en

una

vecindad de un punto

(a1,...an)

entonces:

3 2f 3 x 7 3 k 7 | ( a 1 , , ,.anJ

3 2f 3 x 3 xil

( a ^ . . ^ )

144

5.

DERIVADA

DIRECCIONAL

La i d e a i n i c i a l d e d e r i v a d a p a r c i a l , en e l c a p t u l o a n t e r i o r , se vo al estudiar

obtu-

la p e n d i e n t e d e l a r e c t a t a n g e n t e a l a c u r v a q u e s e o b planos

tiene i n t e r s e p t a n d o u n a superficie con p i e m o s p a r a l e l o s a los xz 6 yz.

Consideremos ahora una superficie con ecuacin z = f(x,y), sea

x0fY0)

e Dcm f; c o r t e m o s la s u p e r f i c i e con u n p l a n o que contenga a l p u n t o (xQ,yo,f(xo,yQ)) y que sea paralelo al eje z , p e r o no necesariamente de L^

paralelo al plano xz 6 y z , sino que lleve por ejemplo la direccin un vector UNITARIO U = (a,b) q u e r e p o s a en e l p l a n o x y f llamemos

e s e p l a n o , e v i d e n t e m e n t e la i n t e r s e c c i n d e la s u p e r f i c i e c o n L y e s u n a curva plana que contiene al punto ^x0rYClrf ^ ^Ver

F

i<?ura

5,1)

Consideremos

l a r e c t a t a n g e n t e a l a c u r v a e n e s t e p u n t o y u b i c a d a pre_ se t r a t a de h a l l a r la (x pendiente + h, y + k)

cisamente en el plano de corte de de esta recta tangente

Para ello consideremos un punto

145

F I G . 5.1

146

cercano a

( X q , y Q ) / c [ u e e s t s o b r e l a r e c t a q u e e s i n t e r s e c c i n d e l pla^ (Ver F i g u r a 502).

no Ly y e l plano xy

Como U =

(a,b) e s u n i t a r i o , e n t o n c e s a = C o s 0 y b = Sen 0 d o n d e 0 decir

Q

que

! - es el ngulo que va del eje positivo de las x al vector U , es U = (Xq (Cos 0 , S e n 0 ) , y e l s e g m e n t o d e r e c t a q u e separa a
Q

(X , Y )

de la

+ h , y Q + k ) q u e l l a m a r e m o s 1, e s t r e l a c i o n a d o c o n h y k d e (Ver F i g u r a 5.2).

siguiente forma:

Sen 0 =

1 sen 0

= =

Cos 0 = ^

1 cos 0

Los puntos

(xQ,yo,f(xo,yQ))

(Xq + h, y Q

+ k , f ( X q + h , y Q + k))

dede

terminan una r e c t a en el p l a n o L L ^ con la superficie? Figura 5.3):

secante a la curva interseccin

la p e n d i e n t e d e e s t a r e c t a e s t d a d a p o r

(Ver

f(xQ + h, y Q

+ k) - f ( x Q , y Q ) -

f ( X q + 1 Cos 0, y -

+ 1 S e n 0) - f ( x Q , y )

Anlogamente a l caso de la derivada de funciones de una variable al tender 1 h a c i a c e r o , l a r e c t a s e c a n t e t i e n d e a s e r la r e c t a

real,

tangente dada

a la c u r v a en e l p u n t o por:

( X q , y ^ , f (x^, y Q ) ) y su p e n d i e n t e e s t a r

147

FIG.

5.2

(xo,yo)

(xo+h, y

o +

k)

FIG.

5.3

148

Pendiente de la recta tangente en U o , y o , f C x o , y o H

f( _ ^ *o + 1 .i o

C o s

+ 1

S e n

A este lmite, en caso de existir, se le llama derivada direccional de f en la direccin del vector unitario U = (a, b) = (Cos 0, Sen 0) en el punto ( X q , y y lo notamos Dy F ( R y Q )
X Q

NOTA 5,1

Observe que con U = (Cos 0, Sen 0) = (u, v) entonces:

-, , D f (x , y ) = TLim U o o x
n

f(x

+ 1 Cos 0, y
'
J

+ 1 Sen 0) - f(x , y } o' * o

L m

1 ( C o s

i;

' i

S e n

e)

Q)

f f(x o , y ) + l(u, v)]

Lim

f (x , y )

li + 0

NOTA 5.2

Recordemos que dado un vector unitario U = (Cos 0, Sen 0), el vector - U = (- Cos 0, - Sen 0) tambin es unitario, adems los dos vectores tienen la misma direccin pero sentidos opuestos. Es claro que el pa no que contiene al punto ( X q , y ) y lleva la direccin de U y es el mismo que lleva la direccin de -U, Sern iguales D f(x , y ) y D f(x ,y ) U o o U o o cuando existen? Observemos analticamente:
149

D f -U

(xO ',

1 = Lm
X' ^ U

f (x

- 1 Cos 9 , y

'

- 1 Sen
1

01

- f(x

, y 1 Of O

erano e l l i m i t e e x i s t e y 1: * 0 h a c i e n d o h = - 1 se

tiene:

f U

(xo , oy

= Lm f (x , t o -h: * 0

+ h Cos

0,

y o - h

+ h Sen

01

- f

(x o

, y ) o

Tt. Lm h

f(x

+ h Cos

0, '

+ h Sen h

0)

- f (x , y ) o' Jo

" V

o '

o}

e s d e c i r , D T,f (x , y ) = - D f (x , y ) , l o q u e l g i c a m e n t e i n d i c a u o o u o o n o son i g u a l e s , q u e d i f i e r e n en signo.

que

E s evidente q u e el p r o b l e m a q u e se p l a n t e a al cortar la superficie un plano que contenga a ( X q , y ) y sea paralelo a U , es el mismo

con

que de

p a r a e l c a s o en q u e el p l a n o

sea paralelo a - U , pero como acabamos las derivadas direccionales difieren signo?

v e r , los resultados al calcular

en s i g n o . Q u significa g e o m t r i c a m e n t e esta d i f e r e n c i a d e

Supongamos, se t i e n e

u n a curva t r a z a d a en u n v i d r i o p l a n o

transparente, al

t r a c e m o s la r e c t a tangente a esa curva en un p u n t o , es claro q u e si mirar esta recta tangente por una cara del vidrio, observamos que ne p e n d i e n t e p o s i t i v a , al m i r a r l o p o r la otra cara se o b s e r v a con

tiepen-

150

diente negativa.

Considerando esto, podemos decir con ms precisin

que la derivada direccional D y f ( X q , y ^ , representa la pendiente de la recta tangente a la curva interseccin de la superficie con el pla^ no Ly en el punto (XQ, YQ), visto el plano de interseccin de tal for ma que nuestra mamo derecha quede en el sentido que indica el vector U. De esta forma la diferencia de signos entre DYF(Xq, y Q ) y D ^ f C x ^ y Q ) indica, grficamente, que estamos observando el plano de corte por lados diferentes, luego las pendientes dan con signos diferentes.

NOTA

5.3

Recordemos que si V * (a, B) es un vector no unitario, el plano que pasa por (JCq, y Q ) y lleva la direccin de V, es el mismo plano que pasa por ( X q , y Q ) y lleva la direccin del vector unitario U =(jj^j| , ||y||^ 1 nal (ct, 3), luego tiene sentido hablar de la derivada direccio-

en la direccin de este vector V , pero teniendo en cuenta que j' j | j ) y no a (a, , es decir, primero vol-

(Cos 0, Sen 0) = (|j

vemos unitario el vector V.

NOTA

5.4

Observemos que por definicin;

U{
5 7

Cx0,y0)

= Lm
h

f(

*Q

' y -

< v

f
= Lm

(h

'

oj

f (

h + 0

151

= Llm
h -o

[uo,y

. '

l h,o)]
h

fU0,y0J

como (1,0) es unitario, Cos 0 = 1 ,

Sen 0 = 0

entonces la derivada

parcial de f con respecto a x es un caso particular de la privada direccional, precisamente es Dyf cuando U = (1,0), o sea cuando el plano de corte es paralelo al plano xz.

Similarmente

coincide con la derivada direccional de f en la direc-

cifin del vector (0,1).

NOTA 5.5:

Como dijimos en la nota 5.1 D uC* 0 y 0 ) se puede escribir coo:

f

D f (x ,y ) - Lm
t> 1 - 0

[ ( x o'y o ) + * <*>>] J > fCx .y ) . ,. . , . 2-21

siendo U = (a,b) unitario.

Si V ~ (a,3) no es unitario,el lmite

f f(x ,y ) + l ( a , g ) ] o"o i 1 - f ( x .y ) ~o'-*o

Lm
1

-*0

no es una derivada direccional, pero con esta expresin se define otro tipo de derivada llamada derivada de f con respecto al vector V en el

152

plinto (x ,y ). La derivada direccional es por lo tanto un caso partio o cular de sta, para cuando V es un vecto^ unitario.

EJEMPLO 5.1

Hallar la derivada direccional de la funcin f(x,y) = xy 2 en el punto (0,1) en la direccin del vector V = (4,3),

Como el vector que indica la direccin es decir V = (4,3) no es unitario, pues su norma es 5, entonces dividimos V por su norma, para conse 4 3 4 3 guir el vector unitario paralelo a V, U = | yj J ' j|vj|) = (, ) 4 3 por consiguiente Cos 0 = , Sen 0 =

D f (0,1) = Lm
U

f C O - U C o s 0, 1 + 1 Sen 0) - f ( 0 f 1 )

1 --0

= Lim
1

f i ft, .

ft

- o

-+0
f l d +

= Lm
1

+ 0

= Lun 1

4 ,
d

f r-
3

31,2

Observe que sin en lugar del vector V = (4,3), hubisemos tomado el vec tor - V = (-4,-3) la derivada direccional hubiese dado - 4/5.

153

EJEMPLO 5,2
2 v / T T x2 - y

si x ^ 0 si x = 0 si x = 0

6 y y

y 0 y - o y <o

Sea f(x,y)

1 - y 1 + y

Hallar las derivadas direccionales de f en las direcciones en que exis ta, en el punto (0,0).

Sea 0 = (Cos 0 , Sen 0)

D u f (0,0) = Lm
1 * 0

f ( 0

1 C O S

'

0 +

S e n

6 )

fC ' 0)

Lm
1 0

f ( 1

Cos 0 , 1 Sen 0) - 1
1

pues f(0,0) = 1 - 0 = 1 usando la segunda expresin que define a f.

Como

Si 6 ji 0,

0 / TT, Q

y - entonces Cos 0 y Sen 0

son diferentes de cero, luego f(l Cos 0, 1 Sen 0) se calcula en la primera expresin que define a f, por consiguiente para U ^ (1,0), U (-1,0) , U fi (0,-1) , U yi (0,1)

D f (0,0) = Lm
1 +0

t/l - i" Cos 2 0 - l 2 Sen 2 0 - 1

- Lim
L i m

= Lim
T

i - 1

-1 - 1 +

+0

l(Vl

154

= Lm -i. a i = Lm 1 + 0 l(Vl-l +l) 1 + O

y. m - O 11 +1

Si 0 0y entonces Sen 0 = 0 , luego f(1 Cos 0, 1 Sen 0) * f( 1 Cos 0,0) f(1,0) = 1 - 0 = 1 y que se calcula en la segunda expresin que define a f, por lo tanto, para 0 = (1,0)

D f(0,0) = Lm
i: + o

f a

'0) ~
1

= Lm
1+0

1^-1=0

Anlogamente si G = T T

D f(0,0) = Lm
1 + 0

f d Cos
1

fff

0) - 1 , ^
1' + 0

fW.0)

= Lm
1, + 0

= 0

Si 0 - j , entonces = (0,11, luego f(l cos 0, 1 Sen 0) f(0,ll, por consiguiente:

D f (0,01 = Lm
1 --0

ft

f -

Si 1 > 0 , (por la derecha}, Lm

1 + 0

C Q

^} ~
1

= Lm
1 + 0

~ ] "
1

=-1

Si 1 < 0, (por la izquierda), Lm

1 + 0~

f ( 0

f ^ " ,1 = L m
1

* } ~
X

= 1

1 + 0

155

entonces el lmite no existe, luego no existe la derivada direccional de f en la direccin ( 0 , 1 e s decir, no existe la derivada parcial re pecto a "y" en el punto (0,0),

Anlogamente si 0

> U = (0, -1)

D f(0,0) = Lm
U

1<21.-D-1
1

1-0

Si 1 > 0 , (por la derecha), Lm

1

f +

(r

1 = L

1-1-1
1 - 0

= -1

Si 1 < 0 , (por la izquierda) , Lm

1 -0~

f(

' -1) -1

1 = L m

+ 1 ~ 1 _ ,

1-0

el lmite no existe.

El resultado de este ejemplo era de esperarse, pues observando con detenimiento la funcin z = f(x,y), podemos apreciar que su grfica es la parte superior de una esfera con centro en (0,0,0) y radio 1, tal que la curva interseccin de esta con el plano yz ha sido reemplazada por dos segmentos de recta: uno que va del punto (0,0,1) al punto (0,1,0), y otro que va del punto (0,0,1) al punto (0,-1,0) (Ver Figura 5,4).

Evidentemente el corte de esta superficie con el plano yz representa los dos segmentos de recta que se cortan en (0,0,11 formando all un pico, razn por la cual no existe la "derivada parcial con respecto a "y" en el punto (0,0), Es claro adems que el corte de esta superficie

156

con planos paralelos al eje z que pasen por (0,0,1 l y representa curvas con rectas tangentes en (0,0,1) paralelas al plano xy, es decir, con pendiente cero.

En consecuencia, en este ejemplo se puede apreciar que no siempre exis ten todas las derivadas direccianales de una funcin en un punto, y se pueden dar casos, como el presente, en el que son precisamente las derivadas parciales las que no existen,

EJEMPLO 5.3

si y = 0

Hallar todas las derivadas direccionales de f en las direcciones en que exista,en el punto (0,0),

Sea o = (Cos 6, Sen 0) f(l Cos 0, 1 Sen 0) - f(0,0)

1

D f(0,0) =

L m

Si 0,

01T, e

IT

, e

Cos

0 y

Sen 0 ^ 0

entonces

D f (0,0) = Lm
U' 1
-* 0

157

FIG. 5.4

FIG. 5.5

158

J^T 1 Lm 1-^0
= Ln

i^i
i
1

C 1 si 1 > O (por derecha)

= /

1 * 0

[-1 si 1 < 0 (por izquierda]

el lmite no existe, entonces

no existen las derivadas direccionales si

0 j 0, 0 / v, 0 ji ti/20

i- 3ir/2.

Si 0 > 0, entonces U =

(1, 0)

)f ( 0 ( 0) - ! | # n n L m ' f x (0,0) x
1

k l l i u . 1

Lm ^

^
Q

= Lm 1
1

1=0
0

Anlogamente si T Tj

entonces

D Y F(0, 0) = 0

Si 6 = tt/2/

entonces

U = (0, 1)

V <

' < " - 7 y l ( 10 , 10 ,

t W

-+0

'

1 1

I f ''' - ^ 1

T ^ - I f c 1 -o

1 - 0

Anlogamente / si 0 = 3tt/2 f

entonces

0^(0,0) = 0

Este ejemplo nos muestra como las nicas derivadas direccionales que tiene la funcin en (0,0) son las derivadas parciales, lo que ilustra que: la existencia de las derivadas parciales de una funcin en un punto, no implica la existencia de todas las derivadas direccionales de la funcin en el mismo.

Podemos apreciar grficamente este resultado, pues nuestra funcin es

159

simplemente la hoja superior d e ^ n cono de revolucin con vrtice en (0, 0, 0), tal que las rectas que resultan al interceptarlo con el plano yz se reempaza por la parbola z = y , y las que resultan de interceptarlo con el plano xz, se
reemplaza

por la parbola z * *x

(Ver Fi-

gura 5.5). Observemos que estas dos curvas tienen recta tangente en el origen con pendiente cero, (existen y son igua-

les a cero), pero si se corta la superficie con cualquier otro plano paralelo al eje z que pase por el origen, (distinto de los planos xz y yz), la interseccin son dos semirrectas que se cortan en (0, 0, 0) formando un pico all, es decir, no hay derivadas direccionales en (0,0) en estas direcciones.

EJEMPLO 5.4 si y / x 2
sea f(x,y)

si y = x

(x,y) f (0,0)

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

Calculemos las derivadas direccionales de f en el punto (0,0)

Sea U = (Cos 0 , Sen 0)

D f(0,0) = Lm
U 1 0

f(l Cos 0 , 1 Sen 0> - f (0,0)

1

= Lm
1 -*0

f(l Cos 0, 1 Sen 0) - 1

1

160

Cerno no existe ningn valor de 9 para el cual 1 Cos 0 = 1 Sen = 0 para todo 1 / 0, y adems no existe ningn valor de 0 para el cual

2
(pequeo), entonces f (1 Cos, 1 Sen 0)

1 Cos 0 = 1 Sen para todo 1 / 0

debe calcularse en la segunda expresin de las que definen a f, por lo tanto:

D f (0,0) = L m 1
Ttf

1 - 1 Cos - 1 Sen - 1
: 0

= Lom 1

t4

- 1
0

2
= 0
n

Es decir,la derivada direccional de f en (0,0) es cero en cualquier direccin.

Grficamente la funcin est representada por la parte superior de una esfera con centro en el origen y radio 1, a la cual se le han quitado los puntos que son imagen de la curva y = x a excepcin del pun-

to (0, 0, 1), y se ha definido la funcin como cero precisamente para los puntos (x, y) que estn sobre esta curva y = x
2

(Ver Figura 5.6),

Observe que todo plano paralelo al eje z que pase por el punto (0,0,1)y contiene a lo ms un punto de la "ranura" que presenta la esfera, y que el punto (0, 0, 1) no est en esa "ranura", lo que garantiza que los pedazos de curva que se obtienen al interceptar estos planos con la esfera,tenga recta tangente en ese punto (teniendo en cuenta adems que en (0, 0, 1) estas curvas no presentan picos).

Es importante apreciar, que esta funcin, que tiene derivadas direccionales en cualquier direccin en el punto (0,0), no es continua en

161

este punto, pues no existe Lm f(x,y), ya que si calculamos (x,y) - (0,0) 2 este lmite por el camino de acercamiento y = x^ el valor del lmite es cero, pero si nos acercamos por ejemplo por y = x el valor del lmite es 1.

Esto nos permite ilustrar un importante resultado: La existencia de las derivadas direccionales en un punto en cualquier direccin no garantiza la continuidad de la funcin en el punto.

Podemos ampliar el concepto de derivada direccional a funciones de R 3 - R , en este caso sea V = (a, b, c)f el vector que indica la direccin en la cual se va a calcular la derivada, como V puede ser no uni tario, entonces tomamos el vector

"l Iv[l

= (

Ilv[ 1 ' 1 lv[1 ' 1 M 1 ( C o s a '

Cos

Cos Y) siendo a

'

3 y Y los ngulos directores del vector V.

2

Sea Ao = ( X q / y Q , Z ) E Dom f.
Q

La derivada direccional de f en la direccin de V en el punto Ao se de fine, por analoga al caso de R como:

D f (Ao) = Lm
1 - 0

;,f(xn + 1 Cos a, Y n + 1 Cos 3, Z , + 1 Cos y) - f(x ,y ,z

si el lmite existe.

EJEMPLO 5.5

162

EJEMPLO

5.5

Sea f ( x ,

y,

z) = x y + z si V = (1, 1 , O)

H a l l a r D v ( 1 , O , 2)

Como V no es unitario, hallamos

[ |v| |

entonces:

1 entonces Cos a = ^ Cos 8 = 0 Cos y =

_2 ^

If
V

,(, 1 ,.a , ,2,)

= Lm 1 --0

f(1 o s aLI, , 0U +T 1 J. V J +T 1JL CV_<_>& X- C o s 3 , 2 + 1 C o s y ) ~ 1

1

fCI,0,2)

Lm 1 + 0

C1 + 1 C o s a )

(1 C o s g) + 2
1

+ 1 eos y - 2

(1 + ) ,
l b

(0) + 2 +
1

- 2
L l m

1: 0 4 , 1 l/2*

1 + 0

Mas general an, dada una funcin f: R n

--R.

Sea x

Rn,

Sea V E D o m f C R n , se d e f i n e la d e r i v a d a d e f con respecto al v e c t o r V c a l c u l a d o en x o como:

3f . . 3V

(x ) = L a m h +0

*<*o

V )

" f<*

163

cuando el lmite

exista.

Para el caso particular en que V sea unitario tenemos definida la v a d a d i r e c c i o n a l d e f en la d i r e c c i n de V en e l p u n t o X q , f: R n + R. siendo

deri-

EJEMPLO 5,6

Sea f ( x 1 f

x2, x3, x4)

= x ^

+ x3

Sea x Q

( 1 , 2 , 0 , 1)

V =

(2, - 1 , 5 , 3)

La derivada de f con respecto a V en el punto x dada por: >

(1, 2 , 0 , 1)

est

( x

, .

3v ^

* J;m ' n o

T m

fid

,2,0,1) - h(2,-1,5,3)l

f(1,2,0,1)

Lm h +0

f ( 1

+ 2h, 2 - h, 5h, 1 +
h

3 h ) - f(1,2,0,1)|

Lm h ->0

+ 2 h ) (2 - h ) + 5 h - 1 - 3 h h

(1) (2)-0il|

Lm 2 h +0

4 h

"

2 h 2 +

5 h

"

"

3 h

"

Lm ~ h 0 164

2 h

5 h

= Lm - 2h + 5 = h + 0

Ahora, para calcular construimos el vector

la d e r i v a d a d i r e c c i o n a l d e f en e l p u n t o X unitario

(J,2,0,l)

U = -N^N- = LILI

C2, - 1 , 5, 3) =

(-%, \/3? V S ?

V3?

|f ( 1 , 2 , 0 , 1 ) + h ^ , L T < D f (x ) = L m V h +0 f Lm h * 0
( 1

^39

- v/39 r
h

, V39

V39J

f(1,2,0,1)

( 1 + Q , V3?

2 - JL-> /3<?

- 5 L - , 1 + -2L-) - 1 yf? /391

_2L_) ( 2 j/39
1

- JL_) /3?
h

+ y^?

- 1 y/39
1

- 1

L m

" h

- o 2 - - \/39* + JSL V39*

= Lm h > 0

h l 39 h

> 5 h _ _ /39

1 '

, /39^

5h = Lm h * 0 ^
1

2h2 5
3 9

2h 39 t/39 1

L m

* 0

V39

Observando

las dos respuestas de este ejemplo, podemos apreciar

que:

1 Dyf (xo) = tado |iv j 1

9 f (xo) . Fcilmente se p u e d e demostar q u e este direccional. resul-

se tiene

siempre que exista

la derivada

Hasta el momento

el t r a b a j o d e h a l l a r u n a d e r i v a d a d i r e c c i o n a l en

un una

punto, nos lleva siempre al clculo de un lmite, sinembargo para

165

g r a n c a n t i d a d d e f u n c i o n e s e l t r a b a j o se p u e d e r e d u c i r a derivadas parciales.

calcular teoel va-

E s t e r e s u l t a d o lo e s t a b l e c e e l s i g u i e n t e

rema^cuya demostracin dejaremos para ms adelante, ya que con c o n o c i m i e n t o d e "la r e g l a d e la c a d e n a p a r a f u n c i o n e s d e v a r i a s r i a b l e s " , que v e r e m o s p o s t e r i o r m e n t e , esta demostracin es simple.

bastante

TEOREMA

5.1

Si f(x, y) tiene derivadas parciales continuas en una vecindad de un punto (a, b)y entonces la derivada direccional de f en la direccin de U =(Cos 0, Sen 0) est dada por: 9f D fa, b) = ^if
U

3 x' (a, b )

9f Cos 0 + ^I ,
d y1

a, b)

Sen 0

Este resultado p u e d e ser generalizado p a r a funciones f: R n si f(x) t i e n e d e r i v a d a s p a r c i a l e s c o n t i n u a s en u n a v e c i n d a d x E R1} e n t o n c e s o ' V = la d e r i v a d a d i r e c c i o n a l d e f en la d i r e c c i n por:

R de de

(v1, ..., v ) est dada

-ST7 < v w t ^ H T " <V TTTT + -

rmr

donde X =

(x1, x * f

..., x

),

166

EJEMPLO

5,7

Considranos el ejemplo

5.6:

f (x 1 , x 2 , x 3 , x 4 )

- x ^

+ x3

x4

xQ

(1,2,0,1)

V =

(2,-1,5,3)

,_2

&

_J

_5

' " t/3? ' v ^ ? '

fi?
3 f = 1 = -1

x.

3 f 3 x

* 3 x1

/ (x 1) o

3 f a x.

-i

entonces :

V ^ O

2 (

-) + 1 (' \f39" V391

+ 1 \/3?

"

) = y/3? /391

que coincide con el resultado del ejemplo

5,6.

EJEMPLO

5,8

Hallar

3 2 la d e r i v a d a d i r e c c i o n a l d e f ( x , y) = x y en el punto 1 (- , i/? tf? V? )

(2, -1 )

en la d i r e c c i n d e l v e c t o r V =

167

INI - &
3f

1,

U es

unitario

. 3 2x y

Lfj F (2,-1)

= 12

U l1 f y (2,-1)

16

u (2,-1)^ 3 y

v?

1(2,-1)^

Hasta el m o m e n t o solo hemos trabajado con campos escalares, pero v a m o s ahora a definir un campo v e c t o r i a l especial^ que es de gran tancia en el estudio d e las funciones de varias v a r i a b l e s , el GRADIENTE que definiremos a continuacin^e r e m o s c o n la d e r i v a d a direccional, inicialmente lo

imporllamado

relaciona-

DEFINICION

5.1

Dado un campo escalar f: R n

* R e n v a r i a b l e X =

(x 1 , . . . , x n )

podemos a

asociar a e s t e , un campo vectorial llamado el GRADIENTE de f que cada A = (a., ..., a ) e Dom f asocia al vector las d e r i v a d a s p a r c i a l e s en e s t e punto.

siempre y cuando existan

E l G R A D I E N T E d e f se a c o s t u m b r a a n o t a r V f , t a m b i n se u s a con frecuencia la n o t a c i n gradCf).

menos

168

D o s a s p e c t o s i m p o r t a n t e s d e b e m o s r e s a l t a r e n la d e f i n i c i n d e l te d e f:

gradien-

1.

E l gradiente de f es un campo vectorial de R n cada e l e m e n t o d e su dominio de R n . No un real.

a R, e s d e c i r , a elemento

(subconjunto de R n ) asocia otro

2.

E l g r a d i e n t e de f es u n campo v e c t o r i a l q u e se construye a de un campo escalar f,

partir

EJEMPLO 5.9

3 S e a f ( x , y , z ) = x y + z S e n

(zx)

= 3x 3 f i 3 y 3

y + z

Cos(zx)

3 f x = zx Cos zx + Sen o z

(zx)

El campo vectorial gradiente de f est dado

por:

Vf =

(3x y + z C o s z x , x

, zx Cos

(zx) + S e n

(zx))

Si por ejemplo A = (7 f ) ( A ) ^ ( 6 7 T 2 + I c o s = (6tt 2 , T T 3 ,

(IT, 2 ,

1/2) (i)+ S e n ())

( ) , tt 3 , ~ C o s

1).

169

T e n i e n d o en c u e n t a l a s h i p t e s i s d e l t e o r e m a 5 . 1 , la c o n c l u s i n

del la

m i s m o se p u e d e c o n d e n s a r , u t i l i z a n d o la n o t a c i n d e l g r a d i e n t e en siguiente formas

D^f (a, b) =

(Vf)

Ca, b )

. (Cos 0 , S e n )

donde el punto representa el producto interno de dos vectores, es c i r , l a d e r i v a d a d i r e c c i o n a l d e la f u n c i n f en la d i r e c c i n d e l tor unitario U , calculada en el punto A , e s el producto interno g r a d i e n t e d e la f u n c i n c a l c u l a d o en A , p o r el v e c t o r .

devec-

del

Y la c o n c l u s i n d e l t e o r e m a , e n como:

su f o r m a g e n e r a l se p u e d e

representar

07f l

T M T

p u e s

T M T =

^ ' H j

I f

] N T '

T M T

- 9 o

3 f

T v r r ^

^ ^ f

r m

9 f + ( x

rr

P e r o n o e s s o l a m e n t e en la s i m p l i f i c a c i n d e la n o t a c i n d o n d e la i m p o r t a n c i a d e l g r a d i e n t e / c o m o teorema: lo p o d e m o s a p r e c i a r en el

radica

siguiente

170

TEOREMA

5,2

Sea f t R n

" + R con derivadas parciales continuas en una vecindad de D e t o d o s l o s v a l o r e s d e la d e r i v a d a

un

p u n t o A d e su d o m i n i o .

direccio-

n a l d e f en A , el m a y o r v a l o r reccin del vector

s e o b t i e n e c u a n d o s e c a l c u l a e n la d i | | (7f) (A) | | .

(7f) ( A ) , y s u v a l o r e s

DEMOSTRACION

P o r e l t e o r e m a 5,1 d a d o u n v e c t o r U

unitario

D r j f (A) = -

Q f ) (A)

. U Cos 9

| | P f ) (A) | | | || |

donde 8 es el ngulo comprendido entre los vectores U y m o U es u n i t a r i o , ||u|| = 1, entonces

flf)(A).

Co-

D u f (A) = | | ( f ) (A) | | C o s

Ha

e x p r e s i n d e la d e r e c h a t o m a

su m x i m o v a l o r c u a n d o C o s & = (7f) (A) y U t i e n e n la m i s m a

sea cuando 0 = 0 , es decir cuando

direc-

c i n , o sea c u a n d o la d e r i v a d a d i r e c c i o n a l de (7f) ( A ) .

se t o m a e n la

direccin de

C l a r a m e n t e e n e s t a d i r e c c i n , c o m o C o s 0 = 1, e l v a l o r es | | (A) | |

la d e r i v a d a d i r e c c i o n a l

171

EJEMPLO

5.1Q

H a l l a r e l m x i m o v a l o r d e la d e r i v a d a d i r e c c i o n a l

de

2
f(x,y,z) = 2x yz + Sen z que vector 9 f ^ = 4xyz en e l p u n t o (2,-1 ,TT) E n l a d i r e c c i n mxima? , 2 = 2x y _ Cos de se d e b e efectuar p a r a q u e sea 9 f 9 T _ 2 9f

3 f 9

(2,-1 ,tt) =

"87r

3 f f j

(2,-1 ,tt) =

871

3 T 7 1 (2,-1,ir)

"9

(Vf) (2,-1 ,1T) =

(-8TT, 8 H , - 9 )

La direccin punto

en q u e se d e b e e f e c t u a r

la d e r i v a d a d i r e c c i o n a l en la d e l

el

(2,-1,ir) p a r a o b t e n e r e l m x i m o v a l o r d e e l l a , e s (8tt, 8tt, - 9 ) y y su v a l o r es:

vector

(Vf) (2,-1 ,TT) =

( V f ) (2 -1

T T )

(2

'~3'7r)

I I

I =

\^64tt2

+ 6 4 t t 2 + 8 ? = \/l28TT2 + 81*

NOTA: Obsrvanos, que siendo U

unitario

D ^ f (A) =

(7f) (A) . U

y como el producto interno de un vector V sobre un vector unitario es la c o m p o n e n t e d e V en la d i r e c c i n d e U , p o d e m o s e n t o n c e s q u e la d e r i v a d a d i r e c c i o n a l de u n a funcin

U/

concluir direc-

en u n p u n t o A en la

172

c i 6 n d e u n v e c t o r U , e s la c o m p o n e n t e d e l g r a d i e n t e d e f c a l c u l a d o A , en la direccin del vector U.

en

173

6.

DIFERENCIABILIDAD

R e c o r d e m o s q u e , d a d a u n a funcin f: R R , si f t i e n e d e r i v a d a e n punto c, entonces dos cosas importantes podemos afirmar del to d e f en ese p u n t o "c": u n a , que f es continua en

un

comportamien que el

"c", y otra

e x i s t e u n a r e c t a t a n g e n t e a la c u r v a q u e r e p r e s e n t a y = f ( x j , en punto (c, f ( c ) ) , y q u e l a p e n d i e n t e d e e s t a r e c t a e s t d a d a

precisamen es-

t e p o r e l n u m e r o r e a l f ' ( c ) , e s d e c i r , la e c u a c i n d e d i c h a r e c t a t dada por:

y = f ( c ) + f ' (c)

(x -

c)

S u p o n g a m o s q u e f(x) tiene derivada en el p u n t o " c " , entonces

existe

f 1 Ce) = L m f C c + h ) - f (c) h 0 h

es decir, para h

pequeo;

174

f M c

>

tic

- g(c)

donde g(h) es tal que Lm h -

g Ch) 0

= 0

As:

f'(c)h = f(c + h) - f(c) + g(h)h f(c + h) - f(c) - f' (c)h = - g (h) h |f(c + h) - f(c) - f'(c)h| = |g(h) | |h| |f Ce + h) - f (c) - r f' Cc)h| t c n |
" ' |g(h)|

^ h

I f t o + hl - f ( c ) I I

f ' (c)h|

L m

| g ( h j |

y,

Este resultado ser la base para la generalizacin de los que estamos presentando.

conceptos

L a f u n c i n L ( h ) = f 1 ( c ) h e s tina f u n c i n fijar c , f'(c)

lineal en v a r i a b l e h

(pues c.

al

e R) q u e l l a m a m o s la d i f e r e n c i a l d e f en el p u n t o

Tratemos de dar una interpretacin de este concepto de

diferencial:

U s a n d o la p r o p i e d a d d e l l g e b r a de l m i t e s es fcil v e r i f i c a r el guiente resultado: f (x) Si Lm y = 0 y s i a d e m s L m g(x) = g W x - a x a *

si0,

175

entonces Lm f(x) = 0. x + a Aplicando este resultado a la igualdad sealada con C*) tenemos que:

Lm |f(c + h) - f(c) - f' (c)h| = 0 h * 0 lo que implica que:

Lm f (c + h) - f (c) - f' (c)h = 0 h + 0 es decir que para valores de h pequeos:

f (c + h) - f (c)

f ' (c)h

donde es indica "aproximadamente igual", y esa aproximacin es mucho mejor a medida que al se hace mas cercano a cero. Esto significa que

incrementar "c" en un valor h , el incremento que corresponde a la

funcin se puede aproximar por la diferencial de la funcin en el punto c , calculada en el incremento h , y esta aproximacin ser mejor a medida que el incremento h este ms prximo a cero.

Observando la Figura 6,J podemos apreciar que:

Tag G - 'i

a f (c) -

a*

X f ' Cc)h

176

FIG.

5.1

177

E" d e c i r q u e l a d i f e r e n c i a l d e f e n c c a l c u l a d a e n h , e s l a l o n g i t u d segmento X q u e aparece en dicha figura. incremento de f: Comparemos este valor X con en-

del el

f(c + h) - f ( c ) , y observemos que la diferencia

tre estos d o s v a l o r e s se h a c e m a s p e q u e o a m e d i d a q u e se t o m a h m s prximo a cero (teme h ' , o h").

Puesto que

f(c + h) - f ( c ) ^ f(c + h )

f(c)h

f ' ( c ) h + f (c) (c + h - c ) + f (c)

f(c + h ) V f ' ( c )

La expresin de la izquierda representa la imagen de c + h p o r

medio la y=f(x)

d e l a f u n c i n f , m i e n t r a s q u e la d e l l a d o d e r e c h o , si r e c o r d a m o s ecuacin que se d i o a l c o m i e n z o d e la r e c t a t a n g e n t e a la c u r v a la imagen d e c + h p o r m e d i o de la

en el p u n t o c , representa

recta valores aproque

t a n g e n t e a la c u r v a en e l p u n t o c , lo que s i g n i f i c a q u e p a r a cercanos a c , la recta tangente a la curva en el punto

(c, f ( c ) ) ,

x i m a a la funcin y = f ( x ) , y esta aproximacin m e j o r a , a m e d i d a se toman p u n t o s m s cercanos a "c".

EJEMPLO

6.1.

Usando la diferencial podemos calcular aproximadamente el valor u n a f u n c i n en u n p u n t o , conocido el v a l o r de la m i s m a en un cercano a el, dependiendo esten los dos puntos: la precisin d e l resultado,de

de

punto que

1 cerca

178

calculemos

\/4.08

t o n a n d o : f ( x ) = \fx

f'(x)

c -

f(c) = f(4) - 2 f (c) = f (4) = h = 0.08 (0.08) + 2 = 2.02 I

f (4.08) = v ^ T M

f ' ( c ) h + f (c) =

Hemos as definido

la d i f e r e n c i a l en u n p u n t o d e u n a funcin f de

rea

les en r e a l e s , a h o r a d i r e m o s q u e u n a f u n c i n e s d i f e r e n c i a b l e en u n p u n t o c , c u a n d o exista la d i f e r e n c i a l de f en c , o m s e x a c t a m e n t e , y u t i l i z a n d o e l r e s u l t a d o o b t e n i d o en (*):

DEFINICION

6.1

U n a f u n c i n f: te una funcin

R se d i c e d i f e r e n c i a b l e e n u n p u n t o c e R , , s i que:

exis-

l i n e a l L lh) t a l c

Lm h

| f t C

h )

C )

"

( h )

La f u n c i n

lineal L

(h) s e l l a m a l a d i f e r e n c i a l d e f e n

c.

NOTA: 1.

En el caso que h e m o s t r a t a d o , es decir funciones de R en

R,

179

la e x i s t e n c i a d e la d e r i v a d a d e u n a funcin en u n p u n t o implica la ferenciabilidad de la funcin en ese punto,

di-

2.

Recordemos que para cada punto donde f es derivable, hay

asociada difeun

una funcin

l i n e a l : la d i f e r e n c i a l ; es d e c i r , n o h a b l a m o s d e la

r e n c i a l d e u n a f u n c i n , sino de la d i f e r e n c i a l d e u n a funcin en punto.

2 Al tratar de generalizar estas ideas para funciones R -* R , s e p r e -

s e n t a n a l g u n o s i n c o n v e n i e n t e s q u e n o se t e n a n en la e x p o s i c i n cial, observemos: s i u n a f u n c i n f: R * R era d i f e r e n c i a b l e en en cercanas d e ese p u n t o por la

ini un

punto, poda "aproximarse"

recta

tangente a la curva en dicho p u n t o ; p a r a e l caso d e una f : R 2 -* R , d a d o u n p u n t o

funcin "aproximar" punto su-

( X q , y Q ) t e n d r a m o s que pensar en

la s u p e r f i c i e que r e p r e s e n t a a z = f ( x , y ) , en cercanias d e l

( X q , y Q ) , ya no p o r una r e c t a , sino por un plano tangente a dicha p e r f i c i e en d i c h o p u n t o , y e s t o r e q u i e r e p o r lo m e n o s que la sea continua en ese p u n t o .

funcin so-

En e l caso d e f u n c i o n e s de R en R , la

la e x i s t e n c i a d e la d e r i v a e a en e l p u n t o , g a r a n t i z a b a la

continuidad anteriores,

d e la funcin en l , m i e n t r a s q u e , como v i m o s en c a p t u l o s

2
en f u n c i o n e s de R en R la e x i s t e n c i a d e las d e r i v a d a s p a r c i a l e s en un t o , o m a s ain, l a e x i s t e n c i a d e l a s d e r i v a d a s d i r e c c i o n a l e s e n u n t o , en todas las direcciones, no garantiza punco-

la continuidad de la fun

cin en d i c h o p u n t o , p o r lo t a n t o el p u n t o de p a r t i d a a q u n o sera m o en e l c a s o a n t e r i o r la e x i s t e n c i a de u n a s d e r i v a d a s , sino q u e ciaremos nuestra exposicin con una generalizacin a funciones de

iniR

100

en R d e la d e f i n i c i n d e f u n c i n d i f e r e n c i a b l e ,

(definicin 6,1} y

a el

p a r t i r d e e l l a t r a t a r e m o s i d e a s a n l o g a s a l a s q u e se t r a t a r o n en caso de una variable.

DEFINICION

6.2

2 Sea f: R ble en A , -* R ,

- sea A = ( X q , y ) E Dom f , f se dice que es # tal que diferencia-

si existe una funcin lineal lf(CxQ,yo) +

(h,k)) - f ( x Q , y o ) - L - ( h , k ) |

(h,k) - (0,0)

TRh7k)Tr

De a c u e r d o a la idea q u e t r a e m o s , de q u e u n o d e los o b j e t i v o s q u e t e n d e m o s a l c a n z a r con la d i f e r e n c i a b i l i d a d es "aproximar" de la funcin en un

pre-

punto, plano

la f u n c i n en las c e r c a n a s d e d i c h o p u n t o , c o n u n "jus

tangente a la superficie en ese p u n t o , t r a t a r e m o s de definicin 6.2 siendo poco rigurosos.

Sea z = f ( x , y)

sea

( X q , y Q ) e Dom f

La funcin z se v a a aproximar p o r un p l a n o de la forma Ax + By + Cz = D vamos a suponer que este plano no es paralelo al eje z , por te c 0 , dividiendo la ecuacin por - c obtenemos: consiguien-

Nx + My - z =

181

este plano tiene como vector normal (x , y , f ( x , y )) d e b e p e r t e n e c e r o o o o

(N, M , - 1 ) y c o m o e l a il entonces

punto

D =

( N , M , - 1 ) (x ,y ,f (x ,y ) ) = N x + My - f (x .y ) o o o o o o o o

es decir

la e c u a c i n d e l p l a n o s e r de la o o +My - My o o - f ( x , y ) o o + f(x o ,y ) o

forma R

Nx + My - z = Nx z = Nx + M y - Nx

para algunas N , M e

Si h , k nmeros reales cercanos a cero, entonces cano a ( X q , y Q ) , por consiguiente f(Xq + h, y Q

q

(x

+ h, y

+ k)

cer-

+ k) se p u e d e y y = yQ +

aproximar k:

por el valor d e z en el plano cuando x = X

+ h

f(x

+ h, y o

+ k) = N(x

+ h) + M ( y

+ k ) - N x

- My o

+ f(x,y) o o o

g(h,k)

donde

Lm (hfk) +

g(hfk) = (0,0)

siendo g ( h , k ) e l e r r o r d e la

aproximacin.

f(xQ + h, y

+ kl - f ( x Q , y o ) - N h + M k + (N,M1

g(h,k) gCh,k) g(h,k)

f ( x Q + h , y o + kl - ( X q , y Q ) = f (xo + h , y Q + k} - f (xQ, y Q ) =

. (h,k) +

[ I (N,M) | | | | (h,k) | | C o s 0 +

donde 0 es el ngulo comprendido entre

(N,m) y

(h,k), as:

182

f (x + h , V

+ k ) - f (x . y } "
l | W

n ( y

. ., O T

11 (h,ki 11

'

M l 1 1

O _

o _ o _

||(H>M)||

C o s

f C

yQ +

k )

< V y ||(h,k)||

II

( h

'

k )

lili

( N

'

M )

11 e o s e
=

k )

|(h,k)

En e l s u p u e s t o d e q u e e l e r r o r d e la a p r o x i m a c i n g ( h , k ) t i e n d a rpido" a cero que [|(h.k)[ entonces:

"ms

Lim (h,k) i" (0,0)

f(x

+ h, y

+ k) - f(x

.y ) o

( h , k ) . (M.N)

_
=

I I(h'k) I I
|fCxQ + h , y Q + k) - f ( X 0 / Y 0 ) (hN + kM)|
=

(h,k)L+

(0,0)

II(h'k)I

y es claro que L(h,k) = N h + H k es lineal, luego esto "nos lleva" la definicin 6.2.

Como hablamos comentado anteriormente, nos pareca necesario que

una lo

funcin diferenciable en un p u n t o fuese continua en el m i s m o , esto d e m o s t r a m o s en e l siguiente t e o r e m a , p e r o p a r a ello se requiere del

2
siguiente resultado para funciones de R en R , c u y a d e m o s t r a c i n es s i m i l a r a su a n l o g o p a r a f u n c i o n e s d e R en R enunciado al d e e s t e c a p t u l o : s i f(x,y) y g ( x , y ) estn d e f i n i d a s en u n a comienzo vecindad

183

d e

o'

o}'

s :

Lm ( x , y ) - (x ,y ) o o

g C x

"T^^T 'Y'

Lim (x,y) (x ,y ) o o 0

g(x,y) = O,

entonces:

Lm f(x,y) = ( x , y ) * ( x 0 # Y 0 )

TEOREMA

6.1

Si f es diferenciable en

(x , y ) e n t o n c e s f e s c o n t i n u a e n o o

(x , y ) o o

DEMOSTRACION.

Veamos que

Lm f(x,y) = f(x (x,y) + ( x o / y o )

,yQ)

por hiptesis f es diferenciable cin lineal L(h,k) tal que:

en

( X q , y Q ) , entonces existe una

fun-

|f(xQ + h , y Q Lm (h,k) (0,0)

+ k) - f ( x o , y Q ) rrnrm ' ' (h,k)

L(h,k)[ = 0

por el resultado expuesto atrs, y puesto que Lm ||(h,kl|| = 0 (h,k) + (0,0) entonces:

Lm l th,k) (0,0)

' V

f ( x

o'yo}

"

L ( h

'

k )

184

Lm f(x + h, y (h,k) - (0,0)

+ k ) - f (x ,y ) - L ( h , k ) = O

Como L(h,k) es lineal, entonces es continua, por

tanto

Lm L(h,k) = (h,k) - (0,0)

L(0,0)

pero tambin por ser lineal L(0,0) = 0, por

tanto

Lm f (x + h , y + k ) - f ( x (h,k) - (0,0)

, y ) - 0
0 0

Lm (h,k) - (0,0)

f (x + h , y + k ) = f (x , y ) o o o o

o lo que es lo mismo: haciendo x = x Q + h , (h,k) (0,0) (x,y) (x , y ) , s e o o

y = yo+k, tiene:

cuando

Lm f ( x , y ) = f ( x ,y ) c o m o s e q u e r a (x,y) - ( x o , y Q )

demostrar.

Una vez definida punto A =

la d i f e r e n c i a b i l i d a d d e u n a f u n c i n f : R

- R en

un

(x , y ) , v e a m o s a h o r a c a n o s e e n c u e n t r a l a f u n c i n o o

lineal

L A ( h , k ) , e s d e c i r , c o m o se h a l l a la d i f e r e n c i a l de u n a funcin f en u n p u n t o s a b i e n d o q u e la funcin es d i f e r e n c i a b l e en d i c h o punto:

185

TEOREMA

6.2

S i f (x,y) e s d i f e r e n c i a b l e (xQ,yo) de la funcin

en A = por:

entonces

la diferencial

en

f esta dada

LA(h,k) =

( D A f ) (h,k) =

(Vf C x o , y o ) ) . ( h , k )

= h(=- (x . y 3x o o

+ k(- (x 3y

DEMOSTRACION.

Como La es una funcin

lineal, entonces basta demostrar

que

'

V '

1 )

= 1 ?

V ^ o

'

ya que

si esto se verifica,

entonces

LA(h,k)

- L

h,0]

+ kt0,1)

= H LAC1,0) + k L

10,1] =

= h* 3x

( x ,J y ] + k ' r o o 3y

(x,y) o o

3f d e m o s t r e m o s p r i m e r o q u e L_ ( J , 0 1 = A ' 3x

(x ,y ] o o

Cerno f e s d i f e r e n c i a b l e neal LA(h,k) tal que:

en A =

(xo,yQ)entonces

existe una

funcin

li

186

Lm (h,k) - ( 0 , 0 )

l fcQ+ h , y o + k } - f U o , y o l i i i i i

Ltt^kll

II(h,ki!!

Como este lmite existe y es igual a cero, entonces por cualquier de acercamiento el lmite debe tambin d a m o s e l c a m i n o d e p u n t o s d e la forma cero; tomemos por decir:

camino

ejemplo

(h,0) c o n h * 0 , e s

| f < V

' V

o '

^fr'0'!
0

S o

rra^orn
y ) - f(x lh| ,y ) - h o

Lm h -

o 0

L.(1f0)| A ' _

por ser L ^ linea]

f(x + h,yo) - f ( x o , y o ) Lm h 0

- h

L A C1,0)

Lm h +

'yo5

f ( x

o'yo}

- L

(1 ,0)

Lm h - o

h , y

[
r

f ( X

> y

La(1,0)

3f

(X Y )
O Q

L ( 1 , 0 ) , 1 O que queramos demostrar.

A

A n l o g a m e n t e t o m a n d o e l c a m i n o d e a c e r c a m i e n t o p o r p u n t o s de la (0,k) c o n k 0 se obtiene que

forma

AC'1)

187

Con esto completamos la demostracin.

Verificar si una funcin f: R

* R es diferenciable en

un punto A = ( x 0 / y 0 ) /

basados en la definicin, resulta algo delicado: recordemos los siguien_ tes detalles, vistos hasta el momento, y despues ilustremos con unos ejemplos.

1,

Si sabemos que f es diferenciable en A entonces la diferencial de

f en A est dada por:

(D A f) (h,k) = h | | (A) + k

(A)

3f 2. Pero la existencia de ^ (A) y

3f (A) no garantiza la existencia

de la diferencial en A ccmo lo podremos apreciar en el Ejemplo 6,2. 3. La no existencia de alguna de las derivadas parciales de f en A ,

implica que f no es diferenciable en A . (Por el Teorema 6.2),

4,

La no continuidad de f en A , implica que f no es diferenciable en

A , (Por Teorema 6,11,

5,

S i f es continua en A , y f tiene derivadas parciales en A , enton-

ces la diferencial puede no existir, o en caso de existir, tiene que 3f ser h 3f (A) + k -gy (Al, por consiguiente, para saber si es o no diferen

ciable en A = (X q , y Q ) debemos calcular el lmite

188

f(xo+ Lm (h,k) ( 0 , 0 )
1

h, y

o +

k ) - f ( x o , y o ) - [h (A) -Liaage^ v h + k

k | | (A)J

Si este

l m i t e e s c e r o , e n t o n c e s f e s d i f e r e n c i a b l e e n A , si n o e s A.

ce-

r o o n o e x i s t e e n t o n c e s f n o e s d i f e r e n c i a b l e en

EJEMPLO

6.2

S e a f (x,y) =

x + y o

(x,y)

(0,0)

si

(x,y) =

(0,0)

v e a m o s s i f e s d i f e r e n c i a b l e en A =

(0,0).

3f Primero observemos que existen 3f Tjy ( 0 , 0 ) , p u e s : las d e r i v a d a s p a r c i a l e s (0,0) y

( 0 f

0)

**

= Lm h - 0

f ( h

0 i

f (

'0)

^ ( 0 , 0 ) = 9y

Lm . h + 0

f C

rh)

- fC0) h

Pero f n o es continua en

(0,0), p u e s

Lm (x,y) (0,0)

f(x,y) no

existe

ya q u e a l a c e r c a m o s p o r e l c a m i n o d e l a f o r m a

(0,y) c o n y * 0

tenemos

189

Lm 2 y + O O + y

= O , y si nos acercamos por el camino

(x,x) e o n x

tenemos Lm x + 0

x2 1 =-= 0. 2 2x

Por tanto, f(x,y) no es diferenciable

en

(0,0), a pesar de que existan

l a s d e r i v a d a s p a r c i a l e s en e s t e

punto.

Si u n a v e z v e r i f i c a d a l a e x i s t e n c i a d e l a s d e r i v a d a s p a r c i a l e s d e f en (0,0), no se nos hubiese ocurrido verificar la c o n t i n u i d a d en ese a

punto,

(o s i n o s h u b i e s e d a d o c o n t i n u a e n e l ) , e n t o n c e s d e a c u e r d o lmite:

l o q u e d i j i m o s a t r s e n e l nmero 5 , c a l c u l a m o s e l

| f (0 + h , 0 + k ) - f ( 0 , M Lm (h.k) + (0,0)

3f . ( (h | | (0,0) + k ||-(0,0))|

Lun (h,k) (0,0)

** - 0 ,2 + k n + k

(h.O + k.0)

Lm (h,k) + (0,0)

(h + k )

** ( v h + k

Si nos acercamos a

(0,0) p o r e l c a m i n o d e p u n t o s d e la f o r m a

(h,0)

con pun-

h * 0, el lmite es cero. t o s d e la f o r m a

P e r o si n o s a c e r c a m o s p o r el c a m i n o d e tenemos:

( h , h ) c o n h > 0

Lim h + 0

h2 r7=s? 2h v 2h

Lm h + 0

1 2

,M J2h

->

luego e l l m i t e n o e x i s t e , p o r lo t a n t o

la funcin no es

diferenciable

190

en

(0,0).

EJEMPLO

6,3

S e a f (x,y) = 2 x +

3y

V e a m o s q u e f es d i f e r e n c i a b l e en cualquier p u n t o A =

(a,b)

3f 3^r"

3f 3r

C a

'

b )

_ -

97 -

37

6 b

existen

las derivadas parciales en

(a,b) p a r a c u a l q u i e r

(a,b) e

2 R, todo

a d e m s p o r ser u n p o l i n o m i o en dos v a r i a b l e s , es continua p a r a (a,b) e R

2.

Calculemos el lmite para verificar

la

diferenciabilidad:

Lm (h,k) (0,0)

[f(a + h , b + k) - f ( a , b ) 1 ,. Jh +

(h 2 1 ,, x k

(a,b) + k 2

(a,b))

Lm (h,k) * > (0,01

12 (a + h ) + 3 ( b + k ) 2

- 2a - 3 b 2

- 2h -

6bk

T T T "

lm (h,k) (0,0)

12a + 2 h + 3 b

6b

| c . 4 , k^

3 k

- 2a - 3b

- 2h -

6bk|

Vh^

Lm (h,k) - ( 0 , 0 )

3k i ii i | L i in i=i _ 0, pues: V h + k

= 3|k|+ 0 Yh2 + k v h2 + k2 Vk
2

si

( h , k ) + (0

entonces f es diferenciable rencial es: (D, . . f) (a,b)

en c u a l q u i e r p u n t o 6bk.

(a,b) e R

y la

dife-

(h,k) = 2 h +

EJEMPLO

6.4

Sea f (x, y) =

<

si

(c,y) /

(0,0)

si

(x,y) =

(0,0)

veamos si f es diferenciable en

(0,0):

3f 37

(0 .0) - Lm h +

f ( h

f0)

f(

'0)

= 0

9 f m ^ f ( 0 , h ) - f ( 0 , 0L) -r ( 0 , 0 ) = L m 1 r ~ 9 y h h + 0

- o

f e s continua en

(0,0), pues

2 2
1

i 2'

Ml*rl 2 2
x + y

*y

si

(x,y)

(0,0)

192

luego

Lm (x,y) - (0,0)

f(x,y) = 0 =

f(0,0)

Calculemos el

lmite:

t (h,k) (0,0)

|f(0 + h , 0 + k) - f ( 0 , 0 ) -

(hO +

kO|

h Lm (h,k) - (0,0) h2

2 k2
+ k2
+ k

- 0 - 0 z

r< L im (h,k) - (0,0)

h k ofBBss>- = 0 (li + k ) \Jh +

pues:

l
(h
2 +

h 2

k 2

1 v V
+

k )

J 1 =

Jhkljhkl (h2 7 k 2 ) J

I 7 7 7
1

z
1

^ p

|k| -

si

(x,y) -

(0,0)

E n t o n c e s f(x,y) es d i f e r e n c i a l b e en por

( 0 , 0 ) , y su d i f e r e n c i a l e s t

dada

(D(0

0 )

f)

(h,k) = O h + Ok = 0

e s d e c i r , la f u n c i n

identicamente

cero.

193

EJEMPLO

6.5

Sea f(x,y) =

vx

evidentemente f(x,y) es continua en vadas parciales en (0,0).

(0,0).

Calclenos ahora sus

deri-

W
S x

(0,0) - n h 0

fyo)
h

-f(0fp>

y ^ ,

m h

h * 0

h - 0

este lmite tiende a 1

s i h > 0 y a -1

s i h < 0 ,

es decir, no

existe, respec-

lo q u e q u i e r e d e c i r q u e n o e x i s t e l a d e r i v a d a p a r c i a l d e f c o n to a x en (0,0), p o r t a n t o la funcin no es d i f e r e n c i a b l e en

(0,0).

Como p u d i m o s a p r e c i a r en e j e m p l o s d e l C a p t u l o 5 . , p u e d e n existir c i o n e s q u e t e n g a n d e r i v a d a d i r e c c i o n a l en un p u n t o en c u a l q u i e r c i n , y sin e m b a r g o n o son c o n t i n u a s en e s t e p u n t o , p o r lo t a n t o son d i f e r e n c i a b l e s en l; de e s t o c o n c l u i m o s q u e tampoco la

fun-

direcno

existenpunto existen

cia d e t o d a s las d e r i v a d a s d i r e c c i o n a l e s d e u n a funcin en un garantizan condiciones la d i f e r e n c i a b i l i d a d en l . Pero afortunadamente si una funcin es siempre a la

suficientes para determinar

diferenciadefinicin resultados

ble en un punto, y as no tener que recurrir con e l clculo del conocido

lmite, veamos este importante

194

TEOREMA

6.3

Sea f: R P o =

R , si

3f

3f -gy

existen an alguna vecindad d e l

punto en

(x , y ) y s i a d e m s , e s t a s d e r i v a d a s p a r c i a l e s s o n c o n t i n u a s o o en este punto.

P q , entonces f es diferenciable

DEMOSTRACION:

Como ^

e x i s t e n en

( X q , y Q ) e n t o n c e s , si la funcin e s difeser:

r e n c i a b l e , su d i f e r e n c i a l d e b e r a

, 3f , , . 3f . , h x lx iY ) A+ * r (x iY ) Sx o 'o dy o V

y d e acuejfdo a l o e s t a b l e c i d o e n de f en (xQ,yo)

(5), d e m o s t r a r l a que

diferenciabilidad

equivale a demostrar

L m

'

>

"/

( X

> y

( X

o-yo)

"

(h,k)Lr(o,0)

ilhTkTTl

es igual a

cero.

f(x o + h , y o + k) - f(x o ,y o > - f (x e + h, y o + k) - f ( x o , y o + k) + f ( x o , y o +

f (

*o}

Si

llamamos:

195

 (x) = f ( x , Y o + k ) <F(y) = f i x o ,y)

fijando y Q + fijando x o

entonces

f ( x Q + h , y Q + k) - f ( x Q , y o ) = $ ( x q + h) - $ ( x o ) + ( y o + k) -

V(yo).

O b s e r v e m o s q u e p o r la forma que se han construido i n e q u e fx) = 3f (x, y Q + k) y

*(x) y

Y ( y ) , se

tie-

'

- I f <v* }
3f (x ,y ) e n l a c u a l r o o 3x 3f r e x i s t e y 3y

S e a B (x , y J u n a v e c i n d a d d e o o

son

continuas; v e c i n d a d que e x i s t e , segn las hiptesis del t e o r e m a , gamos q u e h , k se h a tomado de tal forma que
Q O

supon-

( X + h , Y + k) e B ( x Q , y o ) .

De a c u e r d o a esto y p o r la construccin de $ y f se tiene que: $ es derivable y continua en lor medio existe un c e anlogamente (X ,
Q

X +
Q

h), por tanto por el teorema del

va(c)h;

(x , x + h ) t a l q u e >(x + h ) $ ( x ) = (yoyo+ k), luego por

$ es d e r i v a b l e y continua en

el

mismo teorema existe d e por consiguiente:

(y , y + k ) t a l q u e Y ( y + k ) V (y .) <F ( d ) k o o o o

fix

,h, y + k) - f(x

,y ) =

fc(x

+ h ) - ( x )]

[fix + k } - 4-(y )1

oj

196

h4>'(c) + k r (d)

con c e ( X q , X o + h ) , d e

(yo/yQ+

k)

(c. y

o +

k)

k ||(xo,d)

entonces:

|f(xrt+ h , 0 ^

k ) - f ( x f t , y 0 ) - h | | ( x o ,fyJ o ) - k f | ( x 0 > y 0 ) | Q '- Q " ~"3X o o 1I C h , k ) | |

+

| (f| (c,yQ+ kJJh

( - h | | (xo,yo) - k | | (xo,yQ)| v | | (xo,d))k 3 y "'o' " " x J2L I I I I g ' t3 ! I o 'o

k )

- H

H?

^o"

- H

^o^o1]

if

C c

' V

k )

- H

(X

o-yo) 1

| h |

1 I?

fa

o'd)

( X

o>Yo) 1|k| .

J V 7 7
(c v + k ) - (x ^,yj 3x Q'-o

I 3X

| v/?"+ k

- (x ,d) - 3y o 3y

Cx ,y ) 1U Y / o Jo

7 T T

l l i ( c,,J y + k ) >3x o 9x

(X ,y ) 1 I + 1 I o' o 3y

(x ,d) o' 3y

Oc u, y 1 j |

o o

0 (h,k) (0,0)

si

197

pues, como y como

c e d e

(x ,x + h.), s i h + 0 , c o o (y ,y + k ) , s i k 0 , d o o y 3f 9y son continuas en

x y

o o

3f y a d e m s c o m o - 3*

Cx ,y ) e n t o n c e s o o

| | ( c , y + k) 3x o

| | ( x ,y ) jx o o

si

(h,k) +

(0,0)

||(xo,d)

!y-(*0,y0)

Si

(h,k)

(0,0)

I f < c , y 0 + *> - | | < x 0 , y 0 )

| | f (

d )

- |j-(xo,yo) | si

o (h,k) (0,0)

entonces como

(*) e s m a y o r q u e c e r o y m e n o r q u e u n a e x p r e s i n ( h , k ) - ( 0 , 0 ) :

que

tiende a cero, si

Lm ( h , k ) -v ( 0 , 0 )

'f ( V

' V

k )

o>Yo| " h f I I(h'k) I I

( X

( X

Q'yo)

f f o o ' V

"

como se quera

demostrar.

EJEMPLO

6,6

1 , z = p ( x , y ) d o n d e p ( x , y ) e s u n p o l i n o m i o en v a r i a b l e s x , y e s d i f e renciable en cualquier punto de R 2 , pues p ( x , y ) , son

polinomios

en x , y y las f u n c i o n e s p o l i n o m i a l e s son continuas en todo R

2.

198

2.

z q(x'y)

^onde p(x,y) y q(x,y) polinomios, es diferenciable donde no se anule su d e n o m i n a d o r , p u e s ~ y en

en

cualquier punto de R 2

son t a m b i n funciones r a c i o n a l e s , cuyo denominador solo se anula p u n t o s donde se emula q(x,y); y adems toda funcin racional en 2 b l e s x,y dor se es continua en todo R anula. s a l v o en los p u n t o s d o n d e su

varia-

denomina-

A n l o g a m e n t e a l c a s o d e f u n c i o n e s r e a l e s en r e a l e s , si u n a z = f ( x , y ) e s d i f e r e n c i a b l e en u n p u n t o ( x 0 f Y 0 ^ e n t o n c e s la

funcin superfi"sua"hue-

cie en e l espacio que representa esta funcin, es una superficie ve" en (x .y o o f(x o ,y ) ) , e s d e c i r e n e s t e o p u n t o n o se p r e s e n t a n

eos" o "picos" o "dobleces", y se puede aproximar en las cercanas dicho p u n t o p o r u n p l a n o tangente a la superficie en el (xQ,yo, f(xo,yQ)); cin de dicho punto

de

apreciemos en una forma no rigurosa cmo es la

ecua-

plano:

Como f es diferenciable en

(xo,i|o),

entonces:

Lm

I f ( y

h,yo+10

-*<*o"o\

_ -

3f,_

9f 3y<yr

>'

(h,k) + (0,0)

i,

kL|

Haciendo x entonces

= X q + h,

yo+

(h,k)-> (0,0) < ^ ( x , y )

en

L* Y )
0 0

l a e x p r e s i n ulterior s e c o n v i e r t e

L m

[fCx,y) - f(x p ,y 0 ) - (x - V f t y V
||

Cy

- V

ffoo'V

1 Q

(x ,y) + (0,0)

- XQ, y -

yo)|[

199

Cerno T r ^ (x,y) (0,0)

| | ( x - x , y - y ) | | atrs:

= 0

entonces, segn propiedad

de

lmites enunciada

Lm (x,y)

| f ( X

'

Y )

"

f ( X

o'yo)

"

"

o)H

( X

o'yo

( y

'

+ (X ,
Q

yQ)

f(x,y) - f ( x o , y o )

(x - x o ) | | ( x o , y o )

Cy - Y j ^ . Y j

para puntos

(x,y) c e r c a n o s a

(X0'Y0)

f(x,y)

(xo,yo)||(xo,yo)

(y - y o ) | C x o , y o ) +

f(x0,y0>

f ( x

y )

(f(xo,yo))x

(|f(x0,y0))y -

[(f(x0,y0))x0

(f(x0,y0>y0

<

*o'yo,l

es decir para cada igual a z(x,y) dado

(x,y) c e r c a n o a por:

(x , y o ) ; f (x,y) e s

aproximadamente

H"

( x

o' o

) ) x

o '

'

[(f

( x

o,

oK

'

f ( X

o' o ]

o lo q u e es lo m i s m o :

q u e e s la e c u a c i n d e l p l a n o con v e c t o r

normal:

200

N =

(A, B , C ) o/

8f ^ ^ o ^ o

'

3f 37(Xo'yo)' ~1)

p a 8 a

6 1

1)11111:0

(*o y o 0r

yoJ ) .

Esta es la ecuacin d e l p l a n o tangente a la superficie, explcitamente por z = f ( x , Y ) superficie est representada en el punto

representada si la la

(Xq, y^, F(xo,yQ)).

i m p l c i t a m e n t e p o r vina e x p r e s i n d e

f o r m a F ( x , y , z ) = 0 , e n e l c a p t u l o s i g u i e n t e m o s t r a r e m o s c m o s e determina la ecuacin d e l p l a n o tangente.

EJEMPLO

6.7

2 H a l l a r l a e c u a c i n d e l p l a n o t a n g e n t e a la s u p e r f i c i e z = x y en el p l a n o P o = ( 2 , -1 , 6 ) .

5xy

Es evidente que el p u n t o P ^ est sobre la superficie.

Adems por

ser

u n a f u n c i n p o l i n o m i a l e n v a r i a b l e s x e y e s d i f e r e n c i a b l e en punto ( X q , y ) es particular lo es en

cualquier exisdecir

(2, - 1 ) , p o r c o n s i g u i e n t e (x , y , f ( x ,y ) ) , e s o o o o

t e e l p l a n o t a n g e n t e a la s u p e r f i c i e e n en ( 2 , -1 , 6 ) :

El vector normal al plano es: N =

9f df (-r ( 2 , - 1 ) , ( 2 , - 1 ) , -

1)

ff-2xy-5y 3

Me.-,,.,.,

201

C2.-1 - - 2 6 - B

C o m o C = -1 e n t o n c e s N = y D = N . P o =

(A, B , C) =

(1, - 2 6 , - 1 ) 22

(1, - 2 6 , -1)

. (2, - 1 , 6 ) =

2 l u e g o la e c u a c i n d e l p l a n o t a n g e n t e a z = x y - 5xy (2, - 1 , 6) es:

3 en el punto

x - 2 6 y - z = 22

S i f e s diferencial)le en

(x , y ) h a b a m o s v i s t o o o

que:

f lxo+ h, y

o +

3f k) - f ( x o , y o ) - h ^ ( x o , y o )

- k

3f <x0.Y0)

" 0

siendo la aproximacin m e j o r , a medida que De ello tenemos que:

(h,k) * (0,0) .

' V

k )

f (

o>

( x

o' o

( x

o' o

V f ( x o , y o ) ) . (h, kj

' V

k )

"

< V V

(D

( x ,y ) o o

f )

( h

'k)

E s d e c i r q u e s i f e s d i f e r e n c i a b l e en de la funcin f: f ( X +
O

(x o ,y o ) e n t o n c e s e l

incremento

h, Y +
Q

k ) - F ( X o , Y o ) c o r r e s p o n d i e n t e a l i n c r e m e n t o (h,k) diferencial

de

(x ,y ) s e p u e d e a p r o x i m a r p o r l a f u n c i n l i n e a l " l a o o (x ,y )" c a l c u l a d a e n o o (h,k).

d e f en

202

Lo m i s m o q u e en el caso de funciones de una variable, este resultado ve para calcular aproximadamente el valor de una funcin

sir-

diferenciable fun

e n d o s v a r i a b l e s , en la c e r c a n a d e u n p u n t o , c o n o c i d o e l v a l o r d e l a ci6n en dicho punto:

f(xo+h,yQ+k)

* f(xQ,yo)

(Vf(xo,yo)

(h,k)

La a p r o x i m a c i n d a d a d e l i n c r e m e n t o d e f s e r m s p r e c i s a s i l o s in crementos d e x , y y , o o can a c e r o . a la h = A x o y k = Ay o respectivamente, se

acer-

Se acostumbra a llamar diferencial total de f en

(x ,y ) o o

expresin:

(x , y ) f o o

i<V*o>)<*

*(<yyo

) )

<*

EJEMPLO

6.8

U t i l i z a r la d i f e r e n c i a l p a r a c a l c u l a r e l error en el rea d e u n r e c t n g u l o d e b a s e 5 can y a l t u r a 3 a n , s i l a b a s e e s t s u j e t a a u n d e 0.02 a y la a l t u r a a u n e r r o r d e 0.01 can.

error

(x,y)

xy (5, 3) (h, k) = (0.02, 0.01)

(xo, y Q ) -

203

f (x + h , y + k ) - f ( x

, y ) = h o 3x (0.02)3 + 0o1102.

(x ,y ) + k ~ o o 3y (0.01)5 = 0.11

(x , y ) o o

(5,02)(3,01) -

(5} (3) =

El clculo directo nos da

La i n t e r p r e t a c i n g r f i c a d e la d i f e r e n c i a l d e u n a f u n c i n w = en un punto

f(x,y) rea-

(x , y Q ) e s a n l o g a a l c a s o d e f u n c i o n e s d e r e a l e s e n se

les: observando la ecuacin del plano tangente a w = f(x,y)

tiene:

z(x,y) -

<<Vy

>>

( x

"

o)

lfXo'yo))

( y

- V

f ( x

o'yo}

s e a

z(xo+

h,yo+

k) =

(||(xo,yo))h +

(|f(xo,yJk

+ f(x0fy0)

es

decir

z(x + h, ,Jy + k ) = o o

(D, ,f) (x , y ) o o

( h , k ) + f (x ,y ) o Jo

as:

( D ( x

o'yo

) f )

( h

'k)

Z ( X

'

k )

"

f ( X

'yo)

Lo q u e q u i e r e d e c i r q u e la d i f e r e n c i a l de f en

(X , Y )
Q Q

calculada

en en

(h, k ) , e s la d i f e r e n c i a e n t r e e l p l a n o t a n g e n t e a la s u p e r f i c i e (x , y ) c a l c u l a d o e n o o (Ver F i g u r a 6.2). (x + h . y + k ) y l a f u n c i n f c a l c u l a d a e n o o

(x ,y ) o o

La d e f i n i c i n y p r o p i e d a d e s de la d i f e r e n c i a l q u e h e m o s v i s t o en Captulo pueden generalizarse de una forma natural a campos de R n a R , lgicamente sin las correspondientes

este

escalares geo-

interpretaciones

204

Ricino c a l c u l a d o e n (x + h , y + k ) sz (x + o o o

h ,y +

k)

W
( D

Cx

,y ) f )

( h

'k)

Piano tangente a ) -= f ( x , y ) e n (x ,y ,f (x ,y o o o o

j)

y^ O

y+ O

/
(X o , Y o )
(x + h , y + k ) o -o

FIG.

6.2

205

mtricas; de esta forma

tenemos:

DEFINICION

6.3

S e a f : R n - R , s e a A =

( a , , a _ , . . . , a ) e Dorn f , f s e d i c e q u e e s di! n lineal

ferenciable en A , si existe una funcin

Ir* (H) = L t
A A

(h,, h , ..., h ) tal i 2 n

que:

Lim H -* 0

|f (A + H ) - f (A) - L + ( H ) | A [H IT

o usando sus

componentes:

Lim ( h , , h _ , . . . , h ) ( 0 , 0 . . . 0 ) 1 2 n

f ( a + h ,a + h , . . . , a + h ) - f ( a , , . . .a ) - L . ( h . , ...h I 1 1 2 2 n n i n A i n.

La funcin L > ( h , , h * , A 1 2

. . . , h ) se l l a m a la d i f e r e n c i a l d e f en n

A.

Los s i g u i e n t e s t r e s r e s u l t a d o s , q u e se o b t i e n e n g e n e r a l i z a n d o

resulta-

2
dos anlogos dados para funciones de R a R , se d e m u e s t r a n siguiendo calas mismas pautas de las correspondientes so p a r t i c u l a r , con los ajustes necesarios: demostraciones para este

1. en

Si f: R n * R A.

es diferenciable en A

e R entonces f es

continua

206

2.

Si f:

R e s d i f e r e n c i a b l e en A por:

R e n t o n c e s la d i f e r e n c i a l

de

f en A e s t dada

(D f ) ( H ) = A

(Vf ( A ) )

. H

1 f /

A )

+ h

2-|L<A>
2

n f

( A )

3. un

(Condiciones suficientes para diferenciabilidad de una funcin punto):

en

Sea f: R

* R , s - , . - 3 x . , 3x_ 3x 1 2 n

existen en alguna vecindad

del

punto A =

(a, ...., a ) y s i a d e m s , e s t a s d e r i v a d a s p a r c i a l e s s o n 1 ' n punto.

con-

tinuas en A , e n t o n c e s f es d i f e r e n c i a b l e en este

Tambin

l a d i f e r e n c i a l t o t a l d e u n a f u n c i n f : R n -> R e n u n por:

punto

-* n ^ A e R esta dada

*f A

( -p" (A)) d x . + 3x, 1

3x_ 2

(A)) d x 0 + . . . + 2

3x

(A)) n

dx

EJEMPLO

6.9

2 3 Sea f ( x , y , z , w) = x y - zw + yz Sea A = ( 1 , - 3 , 2 , 1)

207

f es d i f e r e n c i a b l e en A por ser f un p o l i n o m i o . dada A por:

(VF(A) ) . H

Su d i f e r e n c i a l

est

(DRJF) CH) =

3T f ^T 9 9 f x + 2

( 1 , - 3 , 2 , 1) = - 6 M ' Q o ' "1) ,

"Sy

( 1

(1, - 3 , 2 , - 1 ) = - 2

(1, - 3 , 2 , - 1 ) = -6

(Vf) (A) =

(-6, 3, -2, -6)

(D*f)(H) =

(-6, 3, -2, -6).(h1f 6h 4

h 2 , hg, h4>

= - 6 h , + 3h_- 2 h , 1 2 3

EJEMPLO

6.10

Utilizar

la d i f e r e n c i a l

p a r a c a l c u l a r el e r r o r en e l r e a

lateral

de lar0.05

un paraleleppedo de

l a r g o 5 c m , a n c h o 2 c m y a l t u r a 7 c m ; si e l sujetas a errores de 0.03 c m , 0.02 an y

g o , ancho y altura estn cm respectivamente.

Si llamamos: x: largo,

y: ancho,

z: altura,

entonces:

208

f(x,y,z) el rea lateral, estS dada por:

fCx,y,z) = 2xy + 2xz + A = (5, 2 , 7)

2yz (0.03, 0.02, 0.05)

H =

error = f (A + H) - f (A)

||(A) + h 2 ~ ( A J + h 3 ~ ( A )

3f

2y + 2z

3f (5, 2 , 7) =

18

2x + 2z

| i ( 5 , 2 , 7) =

24

| | =

2x + 2y

(5, 2 , 7) =

14

Error

(0.03)18 +

(0.02)24 +

(0.05)14 =

1.72

209

7.

REGLA DE LA

CADENA

En el clculo de funciones de una variable real, habamos visto que f: R puesta R y g R + R , t a l e s que se p o d a c o n s t r u i r la f u n c i n

si

com-

h ( x ) = f g : R -* R x + f (g(x)]

p o d a m o s e n c o n t r a r l a d e r i v a d a d e l a f u n c i n h , h ' (x) a p a r t i r d e d e r i v a d a s d e l a s f u n c i o n e s f y g u t i l i z a n d o la l l a m a d a r e g l a d e la dena para funciones de una variable:

las ca-

h (x) = f ' (g (x))

. g (x)

donde f'(g(x))

es la d e r i v a d a de la funcin f c a l c u l a d a en

g(x).

Este resultado, de gran

importancia en el clculo de d e r i v a d a s , es u t i -

210

lizado generalmente en forma m e c n i c a , sin especificar cuales son f u n c i o n e s f y g , por ejemplo si queremos calcular la derivada de funcin h(x) = Sen x

las la es 2

decimos que es h'(x) =

(eos x ) ( 2 x ) , q u e n o

o t r a c o s a q u e a p l i c a r la r e g l a de la c a d e n a p a r a f(x) = Sen x luego h(x) = f tonces f' h'(x) = f' [ g(x)J = Cos

g(x) = x

= S e n x 2 , y p o r t a n t o c o m o f ' (x) = C o s x , e n ( g ( x ) ) = C o s x 2 , y c o m o g'(x) = 2 x (Cos x2)2x. tenemos:

g(x)] g(x)]

. g'(x) =

El objetivo ahora es dar resultados similares, inicialmente para ciones de R 2 - R , y l u e g o g e n e r a l i z a r p a r a f u n c i o n e s d e R n R.

fun-

S e a z = f (x,y) u n c a m p o e s c a l a r , s u p o n g a m o s q u e x e y d e p e n d e n d e variables u , v , es decir x =_X(u,v)

dos

, y = Y(u,v) entonces z podemos g(u,v). as:

c o n s i d e r a r l a c o m o u n a f u n c i n d e u , v , o s e a z = f ( x ( u , v ) ,Y(u,vf^ = Lo q u e tenemos aqu es precisamente la compuesta de dos funciones,

z.

ft R

y
( x , y ) -> z = f ( x , y )

^ R

-> R

(u,v) ^F(u,v) = (X tu,v) , Y (u,v) )

donde los campos escalares X(u,v) y;Y(u,v) das escalares del campo vectorial F,

son las funciones

coordena-

Construimos

la funcin

f0F:

211

f0F: R2 +

(u,v) + f [ F ( U , V } ]

= f (X(u,v), Y(u,v) )

que es la funcin de u , v que hemos llamado g ,

as:

z = g(u,v) = f (X(u,v), Y(u,v))= c u l a r l a s d e r i v a d a s -j^. y 3u -^2. 3v

(f F J C u . v ) . P r e t e n d e m o s e n t o n c e s o
e

cal-

n trminos de las derivadas

parcia* si-

l e s d e f ( x , y ) , X ( u , v ) y Y ( u , v ) , r e s u l t a d o q u e d e m o s t r a r e m o s en e l guiente teorema:

TEOREMA

7.1

S e a z = f(x,y) u n campo escalar d i f e r e n c i a b l e en u n conjunto A C R

abierto que como

y sean x = X(u,v) y

y = Y(u,v) campos escalares tales

. , 35! X 3Y 3Y exista , , , . una funcin de u , v , es

^ ^ Entonces z = f(x,y) decir

se p u e d e considerar

z = f ( X ( u , v ) , Y (ufv)) = g ( u , v ) y s e t i e n e

que

3u

3 z _ 3f 3 X 3u = 3x 3u

3f 3y

3Y

dg _ dz _ df 3 X
3v 3v ~ 3x 3 v

9f 9Y 3y 3v

212

DEMOSTRACION;

z = f(x,y),

x = X(u,v),

y = Y(u,v),

z = f ( X ( u , v ) , Y(u,v)) =

g(u,v) Af,

cono f es diferenciable en correspondiente

(x,y) e n t o n c e s , e l i n c r e m e n t o d e f ,

a los incremento Ax y Ay de las variables x e y res por:

p e c t i v a m e n t e , se puede aproximar

A f = f (X + A x , y + A y ) - f ( x , y ) =

| | Ax + | | Ay

= tendiendo a = cuando Ax > 0 d i v i d i e n d o p o r Au tenemos

Ay 0

Mwl.
Au

3x 3 u

+ l h.
Ay

3u

(*)

Como x = X ( u , v ) , y = Y ( u , v ) , entonces incrementando X,Y solamente en tenemos s

Ax _ AX _ X ( u + A u , v) Au Au Au

X(u,v)

Ay ^ AY Au Au

Y(u + Au, v) Au

Y(u,v)

Observemos que si

Au

0 e n t o n c e s - Au

^ 3u

Au

-* ~ . 3u

Af = Au ~

f (x + A x , y + A y ) Au

f(x,y)

213