Otros Conceptos de Derivada y Algunas Propiedades

Alejandro De yta Hern andez, Dr.David Herrera Carrasco Facultad de Ciencias F sico-Matem aticas, Benem erita Universidad Aut onoma de Puebla

Resumen
Presentaremos otro concepto de derivada, derivada sim etrica, su relaci on con la derivada cl asica y un resultado an alogo al Teorema del Valor Medio Cl asico.

Introducci on Usualmente en los libros elementales de c alculo a nivel universitario se motiva el concepto de derivada de una funci on en un punto, a trav es de dos problemas, a saber: (i) Calcular la pendiente de la recta tangente a la gr aca de una funci on en un punto (x0 , f (x0 )). (ii) Calcular la velocidad instant anea de un cuerpo que se mueve en linea recta, conociendo la posici on del cuerpo en cada instante de tiempo f = f (t). Ambos problemas conducen al siguiente problema mas general: Dada f : [a, b] funci on y x0 [a, b], calcular el l mite: f (x0 + h) f (x0 ) . h0 h lim Si este l mite existe se dice que f tiene derivada en el punto x0 . Sin embargo se considera que con estos mismos problemas, se pueden motivar otros conceptos de derivada como el de derivada sim etrica y el de derivada fuerte. Desde el punto de vista intuitivo se considera que estos conceptos son tan leg timos como el cl asico. La prevalencia del concepto de derivada cl asico se debe a otras consideraciones de origen tanto te orico como pr actico. Estos conceptos no son equivalentes al concepto de derivada cl asico. Se plantea como objetivo revisar el concepto de derivada sim etrica y algunas de sus propiedades. Derivada Cl asica y Derivada Sim etrica Una funci DEFINICION. on f : [a, b] lim

una

es derivable en x0 [a, b], si y s olo si,

f (x0 + h) f (x0 ) existe. h0 h En este caso el l mite se designa por f (x0 ) y recibe el nombre de derivada de f en x0 . Se dice tambi en que f es derivable en [a, b] si es derivable en todo punto de f : [a, b]. Si x0 = a o x0 = b el l mite anterior se entiende como un l mite lateral, por la izquierda en el caso de x0 = a y por la derecha en el caso de x0 = b. Una funci DEFINICION. on f : [a, b]

tiene derivada sim etrica en x0 (a, b), si y s olo si, 1

f (x0 + h) f (x0 h) existe. h0 2h lim etrica de f en x0 . El l mite se designa por fS (x0 ) y recibe el nombre de derivada sim

Figure 1: Representaci on gr aca de la derivada cl asica y derivada sim etrica, respectivamente. TEOREMA. Sea f : [a, b] una funci on y sea x0 (a, b). Si f es derivable en x0 , entonces f tiene derivada sim etrica en x0 y f (x0 ) = fS (x0 ). Sea h = 0 tal que x0 + h, x0 h (a, b), entonces DEMOSTRACION. f (x0 + h) f (x0 h) 1 = 2h 2 Como f es diferenciable en x0 f (x0 + h) f (x0 ) f (x0 ) f (x0 h) = f (x0 ) y lim = f (x0 ) h0 h0 h h de lo anterior se cumple que lim
h0

f (x0 + h) f (x0 ) f (x0 ) f (x0 h) + h h

lim

f (x0 + h) f (x0 h) = f (x0 ). 2h

OBSERVACION. El teorema anterior muestra que si f tiene derivada cl asica en un punto x0 , entonces tiene derivada sim etrica en x0 , pero es importante notar que el rec proco de este teorema no siempre se cumple, es decir, que si f tiene derivada sim etrica en un punto no necesariamente tiene derivada cl asica en ese mismo punto. EJEMPLO. Consideremos la funci on f : [a, b] denida por f (x) = |x|, esta funci on es sim etricamente diferenciable en x0 = 0, pero no tiene derivada cl asica en ese punto. Veamos:

f (0 + h) f (0 h) |0 + h| |0 h| hh = lim = lim =0 h0 h0 h0 2h 2h 2h lim Por lo tanto su derivada sim etrica en x0 = 0 es 0, pero como ya se mencion o f en x0 = 0 no tiene derivada cl asica.

Figure 2: Gr aca de la funci on f (x) = |x| y gr aca de la recta tangente a esta funci on en el punto (0, 0), (en el sentido de la derivada sim etrica). Al generalizar la denici OBSERVACION. on de derivada cl asica a derivada sim etrica se pierden algunas propiedades de la derivada cl asica como son: la continuidad y el Teorema del Valor Medio, entre otras. EJEMPLO. Veamos una funci on con derivada sim etrica en un punto x0 que no es continua en x0 , consideremos la funci on g : denida como

g ( x) =

2, 5,

si x = 0, si x = 0.

La funci on tiene derivada sim etrica en cero, Ser a g continua en cero? Veamos que g es sim DEMOSTRACION. etricamente diferenciable en cero. gS (0) = lim por lo tanto gS (0) = 0. Para responder a la pregunta anterior, notemos que el l mite lateral izquierdo de g en 0 es igual a 2 y el l mite derecho de g en 0 es igual a 2, por lo tanto el l mite de g en 0 existe y es igual a 2, como g (0) = 5, entonces g no es continua en cero. 3 f (0 + h) f (0 h) 22 = lim = 0, h0 h0 2h 2h

EJEMPLO. Veamos una funci on que no tiene derivada sim etrica en un punto dado. Consideremos la funci on f : denida como:

f ( x) =

|x| , x 0,

si x = 0, si x = 0.

La funci on f no es sim etricamente diferenciable en cero. Esto lo podemos demostrar calculando el siguiente l DEMOSTRACION. mite
h| |h| | f (0 + h) f (0 h) |h| h h fS (0) = lim = lim lim 2 , h0 h0 h0 h 2h 2h este u ltimo l mite no existe, por lo tanto f no es sim etricamente diferenciable en cero.

Ahora recordemos lo que dice el Teorema del Valor Medio para la derivada cl asica y veamos si tiene un teorema del valor medio para la derivada sim etrica. TEOREMA. Sea f una funci on continua en f : [a, b] y derivable en (a, b), entonces existe k (a, b) tal que f (k ) = lim (b) f (a) . h0 ba

EJEMPLO. Consideremos la funci on f : denida comof (x) = |x|. Esta funci on no satisface el Teorema del Valor Medio en el intervalo [1, 2], si se considera la derivada sim etrica en lugar de la derivada cl asica.

fS (x) =

|x| , x 0,

si x = 0, si x = 0.

Fij DEMOSTRACION. emonos en la imagen de fS que es el conjunto {0,-1,1}, y en la pendiente de la recta secante que une los puntos (1, 1) y (2, 2) de la gr aca de f dada por: f (2) f (1) 1 = . 3 3 Notemos que 1 1 / {0, 1, 1}, es decir, no existe x [1, 2] tal que fS (x) = . 3 3

Un Teorema del Valor Medio Para la Derivada Sim etrica LEMA. Sea f una funci on continua en el intervalo [a, b] y sim etricamente diferenciable en (a, b). (i) Si f (b) > f (a), entonces existe (a, b) tal que fS () 0. (ii)Si f (b) < f (a), entonces existe (a, b) tal que fS ( ) 0. 4

Figure 3: Gr aca de una funci on que no cumple con el Teorema del Valor Medio para la derivada sim etrica. Supongamos que f (b) > f (a), sea k un n DEMOSTRACION. umero real tal que f (a) < k < f (b). Consideremos el conjunto A = {x [a, b] | f (x) > k }. A est a acotado inferiormente por a, adem as como es un subconjunto de distinto del vac o, ya que b A, entonces tiene nmo digamos . Primero probaremos que es distinto de a y b, como es el nmo de A, existe una sucesi on { xn } de elementos de A que convergen a , luego como f es continua en y xn A, (n un natural), entonces f ( ) k , por lo tanto > a. Como f es continua en b y f (b) > k , existe > 0 que cumple si x (b , b] y x [a, b], entonces f (x) > k . Sea x (b , b] y x [a, b), entonces x A y por lo tanto x < b. Sea ( r, + r) una vecindad de contenida en [a, b]. Ahora probaremos que fS ( ) 0. Lo haremos por contradicci on. Como fS ( ) < 0 existe r > r1 > 0 tal que 1. Si 0 < h < r1 , entonces f ( + h) f ( h) < 0. 2h

2. Para cada 0 < h < r1 , se tiene que f ( h) k. Para cada 0 < h < r1 , existe 0 < h1 < r1 , tal que 3. + h1 A, es decir f ( + h1 ) > k De 2 y 3 f ( + h1 ) f ( h1 ) 0. 2h

Lo cual es una contradicci on con 1. An alogamente se demuestra que si f (a) > (b), entonces existe (a, b) tal que fS ( ) 0. El siguiente teorema es considerado una versi on del Teorema de Rolle para funciones sim etricamente diferenciables. TEOREMA. Sea f una funci on continua en [a, b], y sim etricamente diferenciable en (a, b). Supongamos que f (a) = f (b) = 0, entonces existen y (a, b) tal que fS () 0 y fS ( ) 0. Ahora, una vez mencionadas las dos herramientas anteriores, probaremos el Casi Teorema del Valor Medio para funciones sim etricamente diferenciables. TEOREMA. Sea f una funci on continua en [a, b] y sim etricamente diferenciable en (a, b), entonces existen y (a, b) tales que fS ( ) f (b) f (a) < fS ( ). ba

consideremos la funci DEMOSTRACION. on g : g (x) = f (x) f (a) La derivada sim etrica de g (x) est a dada por gS (x) = fS (x)

denida como

f (b) f (a) (x a) ba

f (b) f (a) . ba

Veamos que se cumplen las condiciones del teorema de Rolle para derivadas sim etricas g (a) = f (a) f (a) f (b) f (a) (a a) = 0 ba

y an alogamente sucede con b, es decir, g (a) = 0 = g (b), entonces podemos aplicar el teorema de Rolle (para funciones sim etricamente diferenciables) a g en el intervalo [a, b], se obtiene que gS () = fS () es decir, fS () entonces fS ( ) f (b) f (a) fS ( ). ba 6 f ( b ) f ( a) , ba fS ( ) f (b) f (a) , ba f (b) f (a) f ( b ) f ( a) 0, gS ( ) = fS ( ) 0, ba ba

Figure 4: Ilustraci on del Casi Teorema del Valor Medio para funciones sim etricamente diferenciables. Se observa que el teorema anterior es un teorema an alogo al Teorema del Valor Medio para funciones sim etricamente diferenciables. Naturalmente surge una pregunta, Qu e condici on o condiciones deben ser impuestas para que la conclusi on del Teorema del Valor Medio se cumpla?, la respuesta a esta pregunta es, si la derivada sim etrica de f tiene la Propiedad de Darboux, entonces se cumple dicha conclusi on. Sea una funci DEFINICION. on f : [a, b] , decimos que f tiene la propiedad de Darboux si para cualesquiera y [a, b] y un n umero k entre f () y f ( ), se tiene que existe un n umero entre y tal que k = f ( ). A continuaci on, enunciaremos y demostraremos el Teorema del Valor Medio para funciones sim etricamente diferenciables. TEOREMA. Sea f una funci on continua en [a, b] y sim etricamente diferenciable en (a, b). Si fS tiene la propiedad de Darboux, entonces existe (a, b) tal que fS ( ) f (b) f (a) . ba

DEMOSTRACION. Por hip otesis, sabemos que f es continua en [a, b] y sim etricamente diferenciable en (a, b), entonces por el Casi Teorema del Valor Medio, existen y (a, b) tal que fS ( ) f (b) f (a) fS ( ), ba

y como fS tiene la propiedad de Darboux, para K = y tal que k = fS ( ), por lo tanto fS ( ) = Conclusiones

f ( b ) f ( a) existe un n umero entre ba

f (b) f (a) . ba

La Derivada Sim etrica es un concepto que no se revisa durante nuestro curso de c alculo diferencial en una variable, sin embargo tambi en es de gran utilidad pues si bien es un concepto distinto del cl asico, tambi en tiene ciertas semejanzas. Adem as, es claro de la diferencia entre derivada cl asica y derivada sim etrica que ambas tienen propiedades distintas (de lo contrario no habr a que denir otro tipo de derivada) por lo que para ciertos problemas una de ellas puede tener m as utilidad que otra, sin perder de vista el objetivo por el cual se utiliza; por lo que es recomendable que se agregue al curso de calculo diferencial. Agradecimientos Al Doctor David Herrera Carrasco, por darme la oportunidad de realizar este trabajo bajo su direcci on, acerc andome m as a este concepto poco conocido de las Matem aticas. As como, a la Vicerrector a de Investigaci on y Estudios de Posgrado por permitirme participar en el programa La Ciencia en tus Manos XIII y por darme los medios para realizar este proyecto. Referencias [1]Memorias de la 5GSNM, Facultad de Ciencias Fsico-Matem aticas, Benem erita Universidad Aut onoma
de Puebla, 2010 [2]Matem aticas y sus Aplicaciones I, Facultad de Ciencias Fsico-Matem aticas, Benem erita Universidad Aut onoma de Puebla, 2011. [3]Shoo P.K., Riedel T., Mean Value and Funcional Equations, World Scientic, Publishing Co. Pte. Ltd., Printed by Uto-print, 1998