Facultad de Ciencias Econmicas -Universidad de Buenos Aires Anlisis Matemtico II (284-4) - Ing. Carlos Hernndez y Lic.

Guido Ianni

Notas de Clase sobre Diferenciabilidad1

Despus del estudio de los lmites dobles y las derivadas de funciones de dos variables aprovechamos para fijar en una definicin y algunos teoremas lo que hemos avanzado hasta ahora.

Definicin 1. Funcin diferenciable

Dada una funcin funcin en el punto como: , definida en el punto para los incrementos , es posible escribir el incremento de la de las variables x e y respectivamente

(1) La condicin necesaria y suficiente para que esta funcin sea diferenciable es que se verifique que (2) De manera alternativa, puede escribirse esta condicin como

(3) En todos los casos este lmite presenta una indeterminacin del tipo . Sin embargo, slo en el caso en que el lmite doble de este cociente es igual a cero diremos que la funcin es diferenciable en y que por lo tanto esta funcin admite plano tangente en este punto. La ecuacin del mismo es: (4)

Teorema 1.Diferenciable entonces derivable.

Enunciado: Si es diferenciable en

Por supuesto, se puede utilizar la definicin de diferenciabilidad para demostrarla. Demostracin: Sabemos que si constantes y es una funcin diferenciable en las

se cumple la definicin de funcin diferenciable: (1)

Se agradecen comentarios a guido_ianni@yahoo.com

Facultad de Ciencias Econmicas -Universidad de Buenos Aires Anlisis Matemtico II (284-4) - Ing. Carlos Hernndez y Lic. Guido Ianni

(5) 1.1 Existencia de :

Para demostrar que esta definicin implica que la funcin debe ser derivable, se opera de la siguiente manera. Como la definicin de diferenciabilidad se cumple para todo par , en particular se cumple si . Esto es: (6) Si dividimos m.a.m por y tomamos el lmite cuando tiende a cero, obtenemos

Hemos demostrado entonces que existe la derivada parcial de f con respecto a x y que esta es igual a M. Formalmente

1.2 Existencia de La demostracin de la otra derivada parcial es prcticamente idntica. Si hacemos que lugar de k obtenemos en

(7) Nuevamente, si dividimos m.a.m por y tomamos el lmite cuando tiende a cero, obtenemos (8)

Demostrando de la misma manera que

y que

Teorema 2. Diferenciable entonces continua.

Enunciado: Si es diferenciable en entonces es continua en ese punto.

2.1 Demostracin informal: La demostracin de esta proposicin resulta ser muy sencilla. Si partimos de la ecuacin (3), podemos notar que para que el lmite de un cociente sea nulo, entonces es una condicin necesaria que el numerador sea igual a cero. Esto implica que

Facultad de Ciencias Econmicas -Universidad de Buenos Aires Anlisis Matemtico II (284-4) - Ing. Carlos Hernndez y Lic. Guido Ianni

(9) Esto, expresado de otra manera implica que (10) (11) 2.2 Demostracin Formal: De la diferenciabilidad de en surge que

(12)

Haciendo Resulta (13) Entonces (14)

Por lo cual (15) Ademas, por el lmite de una constante sabemos que (16) Si sumamos en (13) miembro a miembro (14) (17) Obtenemos (18)

De forma tal que

es continua en

Facultad de Ciencias Econmicas -Universidad de Buenos Aires Anlisis Matemtico II (284-4) - Ing. Carlos Hernndez y Lic. Guido Ianni

(19) 3. Algunos comentarios adicionales sobre diferenciabilidad Muchas veces estos resultados que acabamos de demostrar son de utilidad por su negativa. Es decir, que hacemos uso de los teoremas para demostrar que una funcin no es diferenciable y que, por lo tanto, no admite plano tangente en un punto. Es cuando las leemos al revs cuando estas proposiciones nos interesan ms: Tanto la continuidad como la derivabilidad son condiciones necesarias para la diferenciabilidad. Esto implica que saber que una funcin no es continua o no es derivable (con una de las dos alcanza) es una condicin suficiente para afirmar que una funcin no es diferenciable. Dicho de otra manera: Si descubrimos que una funcin no es continua en el punto sabremos automticamente que no es diferenciable. Es posible afirmar tambin, con total seguridad, que una funcin no es diferenciable si no admite derivadas parciales en el punto . 4. Distinguiendo entre derivabilidad y diferenciabilidad Resulta importante distinguir entre los conceptos de derivabilidad (la existencia de las derivadas parciales) y el de diferenciabilidad (el plano tangente es una buena aproximacin a la funcin en un punto). En funciones de una variable independiente (funciones del tipo ) ambas condiciones son coincidentes. De modo tal que si una funcin es diferenciable tambin debe ser derivable; pero tambin, si sabemos que la funcin es derivable, podemos afirmar que tambin es diferenciable. Adicionalemente, sabemos que una condicin necesaria para derivabilidad es que la funcin debe ser continua. Esto es porque, al haber una sola variable independiente, podemos movernos solamente en una direccin sobre la recta real, de forma tal que para que una funcin sea derivable es necesario que sea continua en esa direccin. Como esta es la nica direccin posible, derivabilidad implica continuidad. Sin embargo, cuando nos movemos del plano al espacio y consideramos funciones de dos variables independientes (funciones del tipo ) ambos conceptos se desdoblan. La existencia de las derivadas parciales es una condicin que nos permite hacer pocas afirmaciones acerca del comportamiento de la funcin ya que slo contempla el efecto sobre la funcin cuando las variables independientes se mueven en dos direcciones del plano y esa informacin puede ser poco representativa del comportamiento global de la funcin. Como hemos visto, es posible que una funcin sea derivable sin ser ni siquiera continua. La diferenciabilidad, siendo una nocin ms restrictiva del comportamiento de f nos indica que el plano tangente es una buena aproximacin de la funcin. Dicho de otra manera eso implica que es posible describir adecuadamente el incremento de la funcin al desplazarse del punto en cualquier direccin, y esto se logra a partir del plano tangente, es decir, de la combinacin lineal de las derivadas parciales. Aunque no se demuestra en el curso, la diferenciabilidad implica que una funcin es derivable en toda direccin y sentido.