Trabajos Prcticos 3 y 4 a

Algunas consideraciones acerca de las derivadas sucesivas de funciones de varias variables.

Cuando estudiamos las derivadas mixtas o cruzadas de funciones de varias variables nos planteamos si era posible cambiar el orden de la derivacin sin alterar el resultado. Numerosos o ejemplos nos mostraron que en general las derivadas cruzadas coinciden y que, por lo tanto, no importa el orden de integracin. Sin embargo encontramos que el teorema de Clairaut o (o teorema de la igualdad de las derivadas cruzadas) nos daba las condiciones precisas bajo las cuales el orden de integracin puede ser olvidado. Las mismas se hallan expresadas a o continuacin para funciones de dos variables. o Teorema de Clairaut: Si fxy y fyx existen en un entorno de (x0 , y0 ) y son continuas en (x0 , y0 ), entonces coinciden en dicho punto: fxy (x0 , y0 ) = fyx (x0 , y0 ) Debe remarcarse que si bien este teorema es cierto, la expresin inversa no lo es. Es decir o que la mera igualdad de derivadas mixtas en un punto, no garantiza la continuidad de dichas derivadas en ese punto. Si bien el cumplimiento de las condiciones de la hiptesis de este teorema garantiza la o igualdad de las derivadas cruzadas existe otro teorema que lleva a la misma conclusin pero o que contiene condiciones ms laxas. Dicho teorema es el teorema de Schwarz y se enuncia a a continuacin: o Teorema de Schwarz: Si fx , fy y fxy existen en un entorno de (x0 , y0 ) y fxy es continua en (x0 , y0 ), entonces fyx (x0 , y0 ) existe y coincide con fxy (x0 , y0 ). Claramente se ve que en este caso no hace falta exigir nada acerca de fyx (ni siquiera su existencia) para conocerla como conclusin del teorema. o Finalmente tenemos el teorema de Heter-Young que pide condiciones sobre las derivadas de orden menor para concluir la igualdad de derivadas cruzadas. Teorema de Heter-Young: Si fx y fy existen en un entorno de (x0 , y0 ) y son diferenciables en (x0 , y0 ), entonces existen fxy (x0 , y0 ) y fyx (x0 , y0 ) y coinciden. 1

Es importante subrayar que se puede extender en forma inmediata todo lo antes dicho a funciones de n variables y a derivadas de orden superior. Examinemos ahora la veracidad de la siguiente oracin: Si las derivadas parciales cruzadas o de f son iguales entonces f es diferenciable. De acuerdo a todo lo antes expuesto podemos obtener las siguientes conclusiones en relacin a nuestro problema: o Que las derivadas parciales cruzadas de f sean iguales en un punto no implica la continuidad de esas derivadas en el punto. Sabemos que si las derivadas parciales de f son continuas en un punto entonces la funcin f tambin es continua. De esta manera tenemos que si la derivada parcial fxy o e fuese continua en un punto entonces la derivada fx tambien lo seria (ya que fxy es la derivada respecto de y de la funcin fx ). Y como conclusin f tambien seria continua o o en ese punto. Otro punto de interesante anlisis al respecto es que si la funcin f (x, y) resulta ser a o diferenciable en un punto podemos decir que las derivadas parciales fx y fy existen en ese punto pero no podemos decir nada acerca de su continuidad o diferenciabilidad, con lo que no podemos aplicar el teorema de Heter-Young. Por lo tanto, dado que de la igualdad de las derivadas cruzadas no podemos extraer ninguna conclusin acerca de la continuidad de las mismas, ni de las derivadas de orden menor, o entonces la oracin que estamos examinando resulta falsa. o