Introduccin al Calculo Infinitesimal. I.T.I. de SISTEMAS.

Funciones reales de varias variables reales.-

4.2.-

DIFERENCIABILIDAD.-

De entrada hemos de saber que en funciones de varias variables, no es lo mismo derivable que diferenciable. En el capitulo anterior definimos dos derivadas de la funcion f( x, y ), y las llamabamos derivadas parciales; fx y fy de f, pero otra cosa es la diferencial de f. Cuando trabajabamos con funciones de una variable, deciamos que una funcin era derivable, diferenciable, en un punto, si su grafica admitia recta tangente en dicho punto. Si la admitia en cualquiera de los puntos de su dominio deciamos entonces que era derivable,diferenciable, en todo su dominio. En definitiva, derivable equivalia a diferenciable. Cuando una funcin era derivable en un punto, la curva se decia suave y, en un entorno suficientemente pequeo del punto, la curva y la recta tangente se confundian. Si tratamos de generalizar esta idea para funciones de dos variables, debemos decir que una funcin z = f(x,y) es diferenciable en un punto P (a,b) de su dominio si su grafica admite plano tangente en el punto, de modo que en un entorno suficientemente pequeo del punto, la superficie y el plano tangente se confundan. Consideramos una funcin f( x, y ) definida en una cierta regin R de su dominio y en el un punto P=(a,b). Por dicho punto pasan infinitos planos que responden a una ecuacion generica de la forma, z = f( a, b ) + A ( x a ) + B ( y b ), de los cuales solo el plano tangente, que si lo tiene es unico, vale para nuestro proposito puesto que es el que contiene las rectas tangentes a cada curva de la superficie que pase por P; en definitiva todas las rectas tangentes a la superficie por P. Vamos a verlo.
Page 1

Si queremos que la superficie, grafica de la funcin z = f(x,y) , sea suave y se pueda aproximar o confundir con un plano en un entorno del punto (a,b) , debe cumplirse que la diferencia entre la superficie y el plano sea muy pequea en un punto (x,y) muy proximo al (a,b); es decir: funcion plano --> 0 cuando X P. distancia( X, P ) Si tomamos la distancia, que es una norma, como la euclidea => distancia( X, P ) = Entonces: ( x a ) 2 + ( y b )2

funcion plano [ f( x, y ) f( a, b ) A ( x a ) B ( y b ) ] = distancia( X P ) ( x a )2 + ( y b )2 f( x, y ) f( a, b ) A ( x a ) B ( y b )

--> 0 cuando (x,y)->P ( x a )2 + ( y b )2 , habremos conseguido lo que pretendiamos; que el plano tomado sea una buena aproximacion de la funcion en un entorno del punto P.

con lo cual, si se cumple que:

Vamos a ver que: A = fx( P ) y B = fy( P ): Si z = f( a, b ) + A ( x a ) + B ( y b ) , al cortalo con el plano y = b queda, despejando, z f( a, b ) A= y esto cuando x a es fx( a, b ) => A = fx( a, b ) xa De modo analogo, al cortarlo por x = a queda B = fy( a, b ) con esto podemos escribir nuestra expresion :

f( a + x, b + y ) f( a, b ) fx( a, b ) x fy( a, b ) y ( x )2 + ( y ) 2 Si llamamos: z = f( a + x, b + y ) f( a, b ) y d z = fx( a, b ) x + fy( a, b ) y , podemos concluir: La funcion z =f(x,y) es diferenciable en el punto P (a,b) de su dominio, si el siguiente limite existe y vale cero: lim
{ x y } { 0, 0 }

[ z d z] x2 + y2

= 0

Page 2

La funcin z = f(x,y) se dice diferenciable en una regin R si es diferenciable en cada punto de R. Cuando esto ocurre decimos que la DIFERENCIAL de f(x,y) es d z = fx( a, b ) x + fy( a, b ) y

Concretamente, tomado x = d x ; y = d y queda: d z = fx( a, b ) d x + fy( a, b ) d y

expresion de la diferencial de f(x,y) Teorema. Si f (x,y) es continua, y admite derivadas parciales, { fx , fy } continuas en una regin R de su dominio, entonces podemos asegurar que f es diferenciable en R. Este teorema nos ofrece una condicin suficiente de diferenciabilidad de modo que si una funcin continua, admite derivadas parciales continuas en un punto (regin) podemos asegurar que es diferenciable en dicho punto ( regin). Pero el reciproco no es cierto, hay ejemplos de funciones diferenciables en un punto sin que las derivadas parciales sean ambas continuas.

Propiedades: 1. Si f no es continua, no puede ser diferenciable. 2. Si f es diferenciable en P, podemos garantizar que es continua en P. 3. Toda funcin polinmica, f( x, y )=

i, j

xi yj, es diferenciable.

4. La suma, resta o producto de funciones diferenciables es otra funcin diferenciable. 5. El cociente de funciones diferenciables es otra funcin diferenciable, salvo en aquellos puntos donde se anule el denominador. 6. En general, la composicin de funciones diferenciables es otra funcin diferenciable. 7. Si f es diferenciable en un punto (a,b) , existen las derivadas parciales en dicho punto: fx( a, b ) y fy( a, b ). 8. Si f es diferenciable en un punto (a,b) , existen las derivadas parciales en todas las direcciones en (a,b). Esto lo explicamos en el proximo capitulo: derivadas direccionales.

Pero , debemos saber: 1. La existencia de derivadas parciales no implica continuidad.

Page 3

Vimos un ejemplo de esto en el

capitulo anterior. 2. La mera existencia de derivadas parciales no implica diferenciabilidad. Ejercicios: A la vista de las propiedades enunciadas, decir que puntos de sus dominios son dudosos en cuanto a la diferenciabilidad de las siguientes funciones: x2 3 x y y2 x2 + y2
2 2 y )

1) f1=

El unico punto dudoso es el (0,0).

2) f2 = e( x

Es diferenciable en todo R2. Es diferenciable en todo R2.

2 1 . 3) f3 = e( x + y ) sin( x + y ) + cos 2 1+x

1 4) f4 = sin . xy

Seran dudosos aquellos puntos tales que x = y.

Una funcin f se dice de clase n, Cn , si es continua y admite derivadas parciales de orden n continuas <=> es diferenciable n veces. Si f (x,y) es diferenciable en una regin R, entonces para cada punto (a,b) de R podemos escribir: df = f dx + f dy , donde df es la diferencial de la funcin. x y Hay que puntualizar que si esto ocurre el plano tangente es una buena aproximacion de la funcion en un entorno del punto P; y que solo si esto ocurre, la expresion Z = f( a, b ) + fx ( a, b ) x + fy ( a, b ) y o Z = f( a, b ) + fx ( a, b ) d x + fy ( a, b ) d y es el plano tangente. Si no es diferenciable, esta ecuacion carece de significado.

Ejemplo 1. Estudiar la diferenciabilidad de f =x y3 en el punto (0,0). La funcin es continua y diferenciable en todo su dominio puesto que es una polinomica y por lo tanto lo es en (0,0), lo demostraremos como ejercicio sencillo. fx( x, y ) = y3 ; fy( x, y ) = 3 x y2. Como se observa son funciones continuas, luego como{ f, fx, fy }son continuas, ( Condicion suficiente ) , f es diferenciable en cualquier punto y con ello en (0,0). Pero insistiremos con la condicion necesaria y suficiente.
Page 4

fx(P) = 0 ,

fy(P) = 0 => z = f( 0 + x, 0 + y ) - f(0,0) = x ( y )3 y d z = 0. [ z d z] ( x) + ( y)

2 2 2

lim
{ x, y } { 0, 0 }

queda:

lim
{ x, y } { 0, 0 }

x ( y )3 ( x) + ( y)
2 2

= 0

ya que

x ( x) + ( y)
2

1 y ademas, ( y )3 =0.

Por lo tanto es diferenciable en el origen, la diferencial sera: d f( 0, 0 ) = 0 y el plano tangente por dicho punto sera es z = 0. Ejemplo 2. Estudiar la diferenciabilidad de f( x, y ) = sen( x2 + y ), y en su caso escribir la diferencial de f en un punto generico. La funcion es continua en todo su dominio R2. fx( x, y ) = 2 x cos( x2 + y ) ; fy( x, y ) = cos( x2 + y ) ambas derivadas parciales tambien son funciones continuas en todo su dominio, por lo tanto es diferenciable en todo R2. Consecuentemente : d f( x, y ) = 2 x cos( x2 + y ) d x + cos( x2 + y ) d y. Ejemplo 3. Estudiar la diferenciabilidad de la funcin definida por: f( x, y ) = f( x, y )=0 si (x,y)=(0,0). De entrada miramos la continuidad, lim
{ x, y } { 0, 0 }

xy x + y2
2

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

xy x2 + y2 m x2 ( 1 + m2 ) x 2 = m 1 + m2 luego
x0

Si lo calculamos a lo largo de las trayectorias y = m x queda: lim

no es continua y por lo tanto no es diferenciable. No obstante esta funcion admite derivadas parciales: f( x, 0 ) f( 0, 0 ) fx( 0, 0 ) = lim = 0 , tambien fy( 0, 0 )=0 aunque podremos demostrar que no x x0 son continuas. Tambien puedes usar la condicion necesaria y suficiente para corroborar que efectivamente no es diferenciable. xy xy ; d z = 0 => z d z = de modo que: z= 2 2 2 2 x+ y x+ y xy
2 2 3

lim
{ x, y } { 0, 0 }

= lim
r0

r2 cos( t ) sen( t ) r3

( x + y) tanto no es diferenciable.

cos( t ) sen( t ) r

no es cero y por lo

Page 5

Ejemplo 4. Estudiar la diferenciabilidad de f = x2 + y2 en el punto (0,0).

Sabemos que la funcin es continua en todo su dominio y consecuentemente en el origen: f(0,0)=0. x = 1 o -1 y por lo tanto no existe => tampoco existe respecto 2 2 x x 0 x +y de y. Por lo tanto, no tenemos la condicin suficiente que nos garantice que sea diferenciable en el origen. fx = => fx(P) = lim Formamos el limite: z = f( 0 + x, 0 + y ) - f(0,0) = ( x )2 + ( y )2 ; ahora no disponemos de d x = fx( 0, 0 ) x + fy( 0, 0 ) y; puesto que las derivadas parciales no existen ( si no existen no puede ser diferenciable) no obstante lo seguimos intentando, sin asigar, de antemano, a A y B los valores de las derivadas parciales: ( x )2 + ( y )2 A x B y ( x )2 + ( y )2 1 Ax+By ( x ) 2 + ( y )2 x

lim
{ x, y } { 0, 0 }

lim
{ x, y } { 0, 0 }

= L

y este limite si lo hacemos por iteracin: lim 1

x0

Ax+By ( x ) 2 + ( y )2

=1

By y

=> lim 1
y0

By = 1 si B = 0 y no existe si B 0. y

Con el otro iterado pasa igual => No es diferenciable en el origen.

Para trabajar con Maple simplificaremos la nomenclatura: x = h y y = k con lo que queda:

lim
{ h, k } { 0 , 0 }

[ f( a + h, b + k ) f( a, b ) fx h fy k ] h2 + k2

= 0. Condicin de diferenciabilidad de

f. > restart: Limit((f(a+h,b+k)-f(a,b)-fx_p*h-fy_p*k)/sqrt(h^2+k^2),{h,k}={0,0 }); lim

{ h, k } { 0 }

f( a + h, b + k ) f( a, b ) fx_p h fy_p k h2 + k2

El ejemplo 1 con Maple. > restart:with(student): f:=(x,y)->x*y^3;

Page 6

a:=0:b:=0: fx:=D[1](f); fy:=D[2](f); fx_p:=D[1](f)(a,b); fy_p:=D[2](f)(a,b); Limit((f(a+h,b+k)-f(a,b)-fx_p*h-fy_p*k)/sqrt(h^2+k^2),{h,k}={0,0 }); f := ( x, y ) x y3 fx := ( x, y ) y3 fy := ( x, y ) 3 x y2 fx_p := 0 fy_p := 0

Error, (in Limit) unable to determine value of limit variable

Y este limite que Maple no calcula, sabemos que vale 0 por lo que es diferenciable. x y3 x +y
2 2

Observa que:

x y3 x +y
2 2

= y3

x x +y
2 2

<= y3 que tiende a 0 cuando y 0.

Recordemos que: Si f (x,y) es continua y admite derivadas parciales, { fx , fy }continuas en un punto P de su dominio, entonces podemos asegurar que f es diferenciable en P.

EJEMPLO 5: Diferencial de f(x,y) = x sin( y ) + y cos( x ) en (0,0). f es continua en todo su dominio (por ser compuesta de funciones continuas) y, por tanto, en (0,0) y sus derivadas parciales tambien. > restart: f:=(x,y)->x*sin(y)+y*cos(x); print(`DERIVADAS PARCIALES`); fx:=D[1](f); fy:=D[2](f); fx_p:=D[1](f)(0,0); fy_p:=D[2](f)(0,0); Diferencial(f):=(h,k)->D[1](f)(0,0)*h+D[2](f)(0,0)*k; Df=Diferencial(f)(dx,dy); f := ( x, y ) x sin( y ) + y cos( x ) DERIVADAS PARCIALES fx := ( x, y ) sin Page 7( y ) y sin( x )

fy := ( x, y ) x cos( y ) + cos( x ) fx_p := 0 fy_p := 1 Diferencial( f ) := ( h, k ) D1( f )( 0, 0 ) h + D2( f )( 0, 0 ) k Df = dy Respuesta: df = dy. EJEMPLO 6: Diferencial de f( x, y ) = e( x y ) + sin( x + 2 y ) en (0,0). f es continua en todo su dominio y por tanto en (0,0) y sus derivadas parciales tambien; por lo tanto es diferenciable. > restart: f:=(x,y)->exp(x-y)+sin(x+2*y); fx:=D[1](f); fy:=D[2](f); fx_p:=D[1](f)(0,0); fy_p:=D[2](f)(0,0); Diferencial(f):=(h,k)->D[1](f)(0,0)*h+D[2](f)(0,0)*k; Df=Diferencial(f)(dx,dy); f := ( x, y ) e( x y ) + sin( x + 2 y ) fx := ( x, y ) e( x y ) + cos( x + 2 y ) fy := ( x, y ) e( x y ) + 2 cos( x + 2 y ) fx_p := 2 fy_p := 1 Diferencial( f ) := ( h, k ) D1( f )( 0, 0 ) h + D2( f )( 0, 0 ) k Df = 2 dx + dy Respuesta: df =2 dx +dy. EJEMPLO 7: Diferencial de f( x, y ) = ln( x2 y ) en A= ( 5,2) y B=( 1,1). > restart: f:=(x,y)->ln(x^2-y); a:=5:b:=2: fx:=D[1](f); fy:=D[2](f); fx_p:=D[1](f)(a,b); fy_p:=D[2](f)(a,b); Diferencial(f):=(h,k)->D[1](f)(a,b)*h+D[2](f)(a,b)*k; Df=Diferencial(f)(dx,dy); f := ( x, y ) ln( x2 y )
Page 8

fx := ( x, y ) 2 fy := ( x, y ) fx_p := fy_p := 10 23

x x2 y 1 x2 y

-1 23 Diferencial( f ) := ( h, k ) D1( f )( a, b ) h + D2( f )( a, b ) k Df = 10 1 dx dy 23 23

Esta funcin existe slo si 0 < x2 y por lo tanto para A sera diferenciable pero en B, no, puesto que ni siquiera existe en el. > restart: f:=(x,y)->ln(x^2-y); a:=1:b:=1: fx:=D[1](f); fy:=D[2](f); fx_p:=D[1](f)(a,b); fy_p:=D[2](f)(a,b); Diferencial(f):=(h,k)->D[1](f)(a,b)*h+D[2](f)(a,b)*k; Df=Diferencial(f)(dx,dy); f := ( x, y ) ln( x2 y ) fx := ( x, y ) 2 fy := ( x, y )
Error, (in unknown) division by zero Error, (in unknown) division by zero

x x2 y 1 x y
2

Diferencial( f ) := ( h, k ) D1( f )( a, b ) h + D2( f )( a, b ) k

Error, (in unknown) division by zero

> ; Ejemplo 8. Estudiar la continuidad y diferenciabilidad de la funcin f( x, y ) = f( x, y )=0 si (x,y)=(0,0). Para la continuidad, debemos intentar probar que el limite de f para (x,y)= (0,0) es cero:
Page 9

xy x2 + y2

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

x2 + y2 x2 + y2 limite doble vale 0 y por lo tanto es continua en el origen. Para la diferenciabilidad: fx = y x2 + y2 x y2 y x2 ( x2 + y2 ) = x2 + y2 x3 = y3 ( x2 + y2 ) x2 + y2

Como f( x, y )=

xy

=x

, donde x tiende a 0 y

y x2 + y2

1 de modo que su

fy =

x x2 + y2

( x2 + y2 ) x2 + y2 definicin:

( x2 + y2 )

x2 + y2

, que en (0,0) no son continuas, lo hacemos con la

fx(0,0) = lim
h0

f( 0 + h, 0 ) f( 0, 0 ) = lim h h0

0 0 h 0 = lim = 0. Analogamente, fy(0,0) = 0. h h0 h h

Entonces buscamos: L = diferenciabilidad de f) L= lim

{ h, k } { 0, 0 }

lim
{ h, k } { 0, 0 }

f( 0 + h, 0 + k ) f( 0, 0 ) fx h fy k h2 + k2 lim
{ h, k } { 0, 0 }

=0

(Condicin de

hk h2 + k 2 h2 + k2

hk h + k2
2

Intentemoslo haciendo h = m k .

Quedara; L= lim
k0

mkk m k2 + k2 m

con lo que L =

y no existe el limite, no puede valer 0 y por lo tanto la funcin no es 1 + m2 diferenciable en el origen.

Ejemplo 9. Estudiar la diferenciabilidad de f( x, y ) = x2 + 2 y2 en P = (1,2) Nota: sabemos que es diferenciable en todo R2 por ser polinomica no obstante estudiaremos la diferenciabilidad como ejercicio peculiar ya que el punto estudiado no es el origen de coordenadas. > restart: f:=(x,y)->x^2+2*y^2; a:=1:b:=2: fx:=D[1](f); fy:=D[2](f); fx_p:=D[1](f)(a,b); fy_p:=D[2](f)(a,b); "Las derivadas parciales existen y son continuas en P y por lo
Page 10

tanto es diferenciable"; "_______________________________________________________________ ____________________"; "Plano Tangente"; z=f(1,2)+D[1](f)(a,b)*(x-1)+D[2](f)(a,b)*(y-2); Diferencial(f):=(h,k)->D[1](f)(a,b)*h+D[2](f)(a,b)*k; Df=Diferencial(f)(dx,dy); "_______________________________________________________________ ________________"; "Si usamos la condicion de que el plano tangente aproxima a la funcion en un entorno del punto P:";

f := ( x, y ) x2 + 2 y2 fx := ( x, y ) 2 x fy := ( x, y ) 4 y fx_p := 2 fy_p := 8 "Las derivadas parciales existen y son continuas en P y por lo tanto es diferenciable" "___________________________________________________________________________\ ________" "Plano Tangente" z = 9 + 2 x + 8 y Diferencial( f ) := ( h, k ) D1( f )( a, b ) h + D2( f )( a, b ) k Df = 2 dx + 8 dy "___________________________________________________________________________\ ____" "Si usamos la condicion de que el plano tangente aproxima a la funcion en un entorno del punt\ o P:" lim
{ x, y } { 1, 2 }

[ x 2 + 2 y 2 ] [ 9 + 2 x + 8 y ] ( x 1 )2 + ( y 2 )2

; debe ser igual a 0.

Para facilitar el calculo de este limite lo trasladamos al origen mediante el cambio de variables: u = x-1; y = v-2; y queda: > subs(x=u+1,y=v+2,([x^2+2*y^2]-[-9+2*x+8*y])/sqrt((x-1)^2+(y-2)^2 ));simplify(%); [ 9 2 u 8 v + ( u + 1 ) 2 + 2 ( v + 2 ) 2 ] ( u + 1 )2 2 u 5 + ( v + 2 )2 4 v
Page 11

[ u2 + 2 v2 ] u2 + v2 > Limit((u^2+2*v^2)/sqrt(u^2+v^2),{u,v}={0,0}); u2 + v2 Limite facil de comprobar que vale 0 y por lo tanto queda demostrada la diferenciabilidad de f en P.
{ v, u } { 0 }

lim

u2 + 2 v2

FIN:

Page 12