Professional Documents
Culture Documents
de Puebla
Facultad de Ciencias Físico Matemáticas
LA DERIVADA SIMÉTRICA
TESIS
LICENCIADA EN MATEMÁTICAS
PRESENTA:
DIRECTOR DE TESIS:
DR. JUAN ALBERTO ESCAMILLA REYNA
Agradecimientos
Agradezco a mis padres, quienes fueron mi gran ejemplo de fortaleza y
aunque están lejos de mi, siempre están presentes en mi corazón.
A mi tía y a mis primos Luis, Cinthya y Cristo, mis hermanitos, por esas
risas que hemos tenido, por el apoyo que me brindan y aunque hemos pasado
momentos difíciles al final siempre sale esa pequeña luz que nos hace ser más
fuertes como familia
A mis sinodales: M.C. Ma. Guadalupe Raggi Cárdenas, Dra. Patricia Do-
mínguez Soto, y al M.C. Luis Ángel Gutíerrez Méndez por aceptar ser jurados
ii
Introducción v
1. Preliminares 1
1.1. Derivada de una Función . . . . . . . . . . . . . . . . . . . . 2
1.2. Valores Máximos y Mínimos . . . . . . . . . . . . . . . . . . . 5
1.3. El Teorema de Rolle y del Valor Medio . . . . . . . . . . . . . 7
1.4. Derivadas de Orden Superior . . . . . . . . . . . . . . . . . . . 11
2. La Derivada Simétrica 13
2.1. Definición de Derivada Simétrica . . . . . . . . . . . . . . . . 13
2.2. Relación con la Derivada . . . . . . . . . . . . . . . . . . . . . 14
2.3. Álgebra de Funciones Simétricamente Diferenciables . . . . . . 21
2.4. Derivadas de Orden Superior . . . . . . . . . . . . . . . . . . . 25
Conclusiones 45
Perspectivas 47
Bibliografía 49
iii
iv
Introducción
Nuestro interés sobre la derivada simétrica surgió a raíz de que este con-
cepto y su relación con la derivada se presenta como ejercicio en [3], [9], [11],
[12], [15], [16] y no se estudian más.
Nuestra guía para este estudio serán los resultados que conocemos para la
derivada, se darán respuestas a las siguientes preguntas ¿Serán iguales ambas
derivadas?, en caso de no serlo ¿Qué condiciones deberíamos agregar para que
ambas derivadas sean iguales? ¿Existirá un Teorema del Valor Medio para la
derivada simétrica?
v
vi
Por tal motivo, esta tesis está desarrollada de la siguiente manera: ins-
troducción, 3 capítulos, conclusiones, perspectivas y bibliografía.
Preliminares
1
2
f (x) − f (xo )
lı́m existe. (1.1)
x→xo x − xo
f (x + h) − f (x)
f 0 (x) = lı́m . (1.2)
h→0 h
f (x) − f (xo )
lı́m = f 0 (xo ).
x→xo x − xo
Ahora veamos
f (x) − f (xo )
lı́m [f (x) − f (xo )] = lı́m (x − xo )
x→xo x→xo x − xo
f (x) − f (xo )
= lı́m · lı́m (x − xo )
x→xo x − xo x→xo
0
= f (xo ) · 0
= 0.
a) La función f ± g es derivable en xo , y
f
d) (Regla del cociente) Si g(xo ) 6= 0, entonces la función es derivable
g
en xo , y 0
f f 0 (xo )g(xo ) − f (xo )g 0 (xo )
(xo ) = .
g (g(xo ))2
Definición 1.2.1.
8
f (b) − f (a)
La expresión puede interpretarse como la “pendiente media”
b−a
de f en [a, b], es decir, es el cociente de lo que aumenta f cuando la variable
x pasa de a a b dividido entre lo que ha aumentado la variable. Lo que dice el
Teorema del Valor Medio es que hay un punto en el intervalo donde la función
toma el valor medio de su pendiente. La importancia de este teorema es que
nos relaciona una magnitud global, la pendiente media, con una magnitud
local, la derivada en un punto.
Teorema 1.3.5. [1, pág 228] Sea f : [a, b] → R una función continua en
[a, b] y diferenciable en intervalo abierto (a, b). Entonces:
entonces f es Lipschitz.
1.4 Derivadas de Orden Superior 11
Para que f (n) (xo ) exista en un punto xo , debe existir f (n−1) (xo ) en una
vecindad de xo (o en una vecindad hacia un lado si xo es un extremo del
intervalo en el que esta definida f ) y debe ser diferenciable en xo . Como ha
de existir f (n−1) (xo ) en una vecindad de xo , f (n−2) debe ser diferenciable en
esa vecindad.
La Derivada Simétrica
f (x + h) − f (x − h)
lı́m existe.
h→0 2h
A este límite lo denotaremos como fs0 (x).
13
14
límite
f (x + h) − f (x − h)
lı́m+ existe.
h→0 2h
Demostración. Por hipótesis existen f+0 (xo ) y f−0 (xo ). Veamos que existe
2.2 Relación con la Derivada 15
f (0 + h) − f (0 − h)
fs0 (0) = lı́m
h→0 2h
h sin( h1 ) − [−h sin(− h1 ])
= lı́m
h→0 2h
h sin( h1 ) − h sin( h1 )
= lı́m
h→0 2h
= lı́m 0
h→0
= 0.
16
|0+h|−|0|
f−0 (0) = lı́m− (2.2)
h→0 h
= −1
de (2.1) y (2.2) se concluye que f no tiene derivada en cero.
Ahora analicemos qué ocurre con la derivada simétrica en el punto cero.
f (0 + h) − f (0 − h)
fs0 (0) = lı́m
h→0 2h
| h | − | −h |
= lı́m
h→0 2h
= lı́m 0
h→0
= 0.
Por lo tanto f es simétricamente diferenciable en 0.
Esta función tiene derivada simétrica en cero. Para ver esto, estudiemos
el siguiente límite
f (0 + h) − f (0 − h)
fs0 (0) = lı́m
h→0 2h
1 1
2
− 2
= lı́m h h
h→0 2h
= lı́m 0
h→0
= 0.
1
Por tanto f (x) = 2 es simétricamente diferenciable en x = 0, pero no
x
es continua en cero. Este ejemplo ilustra que una función discontinua en un
punto puede tener derivada simétrica en ese punto. Como sabemos esto no
ocurre con las funciones diferenciables.
Observación 2.2.8. Las funciones de los Ejemplos 2.2.2, 2.2.4 y 2.2.6 son
funciones pares.
fs0 (x) = 0.
Si h ∈ Q, entonces x + h ∈ Q y x − h ∈ Q.
f (x + h) − f (x − h)
= 0.
2h
Así
f (x + h) − f (x − h)
lı́m = 0.
h→0 2h
Entonces
f (x + hn ) − f (x − hn )
fs0 (x) = lı́m
hn →0 2hn
f (x + (qn − x)) − f (x − (qn − x))
= lı́m
h→0 2hn
f (qn ) − f (2x − qn )
= lı́m
h→0 2hn
1−0
= lı́m
h→0 2hn
1
= lı́m .
h→0 2hn
f (h) − f (−h)
fs0 (0) = lı́m
h→0 2h
1+1
= lı́m
h→0 2h
1
= lı́m ,
h→0 h
Demostración.
(f ± g)(xo + h) − (f ± g)(xo − h)
a) (f ± g)0s (xo ) = lı́m
h→0 2h
f (xo + h) ± g(xo + h) − [f (xo − h) ± g(xo − h)]
= lı́m
h→0 2h
f (xo + h) − f (xo − h) g(xo + h) − g(xo − h)
= lı́m ± lı́m
h→0 2h h→0 2h
0 0
= fs (xo ) ± gs (xo ).
22
Es decir,
1
2h cos
0 h 1
(f g)s (0) = lı́m = lı́m cos .
h→0 2h h→0 h
Observemos que este límite no existe, así por tanto (f g)0s no existe en
el punto 0. Pero si agregamos la condición de que ambas funciones sean
continuas se tiene el siguiente resultado:
Demostración.
(f g)(xo + h) − (f g)(xo − h)
(f g)0s (xo ) = lı́m
h→0 2h
f (xo + h)g(xo + h) − f (xo − h)g(xo − h)
= lı́m
h→0 2h
f (xo + h)g(xo + h) − f (xo − h)g(xo + h)
= lı́m
h→0 2h
f (xo − h)g(xo + h) − f (xo − h)g(xo − h)
+
2h
f (xo + h) − f (xo − h)
= lı́m g(xo + h)
h→0 2h
g(xo + h) − g(xo − h)
+ lı́m f (xo − h)
h→0 2h
f (xo + h) − f (xo − h)
= lı́m g(xo )
h→0 2h
g(xo + h) − g(xo − h)
+ lı́m f (xo )
h→0 2h
= fs0 (xo )g(xo ) + gs0 (xo )f (xo ).
Otra regla que no se cumple para funciones simétricamente diferenciables
es la Regla de la Cadena, para esto veamos el siguiente ejemplo.
24
y g(x) = |x|.
1
| x sin + x |,
si x 6= 0,
G(x) = (g ◦ f )(x) = g(f (x)) = x
0, x = 0,
si
no tiene derivada simétrica en 0.
Sea h > 0,
G(h) − G(−h) | h sin( h1 ) + h | − | −h sin(− h1 ) − h |
=
2h 2h
1
| h[sin( h ) + 1] | − | h[− sin(− h1 ) − 1] |
=
2h
h | sin( h1 ) + 1 | − | sin( h1 ) − 1 |
=
2h
| sin( h1 ) + 1 | − | sin( h1 ) − 1 |
= . (2.3)
2
1
Consideremos hn = . Entonces hn → 0, cuando n → ∞, luego
nπ n∈N
de (2.3) se tiene:
por lo tanto,
G(hn ) − G(−hn )
lı́m = 0. (2.4)
n→∞ 2hn
2
Ahora consideremos hn = . Entonces hn → 0, cuando
(4n + 1)π n∈N
n → ∞, luego de (2.3) se tiene:
por lo tanto,
G(hn ) − G(−hn )
lı́m = 1. (2.5)
n→∞ 2hn
Luego de (2.4) y (2.5) se concluye que G no tiene derivada simétrica en
0.
h2 00
f (xo + h) − f (xo ) − hf 0 (xo ) − f (xo )
lı́m 2! = 0, (2.7)
h→0 h2
y
h2 00
f (xo − h) − f (xo ) − hf 0 (xo ) − f (xo )
lı́m 2! = 0. (2.8)
h→0 h2
De (2.7) y (2.8) se sigue que
f (xo + h) + f (xo − h) − 2f (xo ) 00
lı́m − f (xo ) = 0,
h→0 h2
así
f (xo + h) + f (xo − h) − 2f (xo )
f 00 (xo ) = lı́m .
h→0 h2
2.4 Derivadas de Orden Superior 27
Es fácil demostrar que esta función es impar, por lo tanto tiene segunda
derivada simétrica en cero, pero no existe la segunda derivada en cero, ya
que la primera derivada está dada por,
2x, si x ≥ 0,
0
f (x) =
−2x, si x ≤ 0.
31
32
Figura 3.1: Gráfica de una función que no cumple con el Teorema del Valor
Medio para la derivada simétrica.
El siguiente lema debido a Aull [2] se usa en la prueba del llamado Casi-
Teorema del Valor medio.
Lema 3.1.1. Sea f : [a, b] → R una función continua en [a, b] y simétrica-
mente diferenciable en (a, b).
fs0 (η) ≥ 0.
3.1 Un Casi-Teorema del Valor Medio 33
fs0 (ξ) ≤ 0.
Demostración. Suponemos que f (b) > f (a), sea k un número real tal que
f (a) < k < f (b). Consideremos el conjunto A = {x ∈ [a, b] | f (x) > k}.
A está acotado inferiormente por a, además como es un subconjunto de R
distinto del vacío, ya que b ∈ A, entonces tiene ínfimo, digamos η. Primero
probaremos que η es distinto de a y b, como η es el ínfimo de A, existe una
sucesión {xn } de elementos de A que converge a η, luego como f es continua
en η y xn ∈ A, (n ∈ N), entonces f (η) ≥ k, por lo tanto η > a. Como f es
continua en b y f (b) > k, existe δ > 0 que cumple
f (η + h) − f (η − h)
< 0. (3.1)
2h
Para cada, 0 < h < r1 , se tiene que
f (η − h) ≤ k. (3.2)
De (3.2) y (3.3)
f (η + h1 ) − f (η − h1 )
≥ 0.
2h
Lo cual es una contradicción con (3.1).
f (a) = f (b) = 0,
entonces existen η y ξ ∈ (a, b) tal que
fs0 (η) ≥ 0,
3.2 Teorema de Rolle 35
Los otros casos pueden ser manejados de manera similar y así la prueba
del teorema esta completa.
f (b) − f (a)
fs0 (η) ≤ ≤ fs0 (ξ).
b−a
Demostración. Consideremos la función g : R → R definida como
f (b) − f (a)
g(x) = f (x) − f (a) − (x − a).
b−a
f (b) − f (a)
gs0 (x) = fs0 (x) − .
b−a
Veamos que se cumplen las condiciones del Teorema 3.2.1
f (b) − f (a)
g(a) = f (a) − f (a) − (a − a),
b−a
g(a) = 0,
f (0 + h) − f (0 − h)
fs0 (0) = lı́m
h→0 2h
f (h) − f (−h)
= lı́m
h→0 2h
3−3
= lı́m
h→0 2h
0
= lı́m
h→0 2h
= 0.
f (x2 ) − f (x1 )
fs0 (η) ≤ ≤ fs0 (ξ)
x2 − x1
o lo que es lo mismo
Dado que fs0 (x) = 0 para toda x, entonces fs0 (η) = 0 y fs0 (ξ) = 0, de (3.8)
se tiene que f (x1 ) = f (x2 ).
a) Si fs0 (x) ≥ 0 para cada x ∈ (a, b), entonces f es creciente en ese inter-
valo.
f (x2 ) − f (x1 )
fs0 (η) ≤ ≤ fs0 (ξ),
x2 − x1
entonces
Observemos que
−x, si x ≥ 0,
f (x) =
3x, si x < 0.
3.4 Aplicaciones del Teorema del Valor Medio 41
f (0 + h) − f (0 − h)
fs0 (0) = lı́m+
h→0 2h
f (h) − f (−h)
= lı́m+
h→0 2h
−h + 3h
= lı́m+
h→0 2h
2h
= lı́m+
h→0 2h
= 1.
Observemos que esta función es continua, así que nos preguntamos ¿Si
existen algunas condiciones más que le tengamos que agregar a la función
para que tengamos un terema análogo al Teorema 1.2.4?
Otra aplicación del Casi Teorema del Valor Medio, es el análogo del Tereo-
rema 1.3.10.
Demostración. Como fs0 es acotada en (a, b) existe M > 0 tal que para cada
x ∈ (a, b)
f (y) − f (x)
fs0 (η) ≤ ≤ fs0 (ξ). (3.11)
y−x
| f (y) − f (x) |≤ M | y − x | .
42
Demostración. Sea > 0, como fs0 es continua en xo existe δ > 0 tal que si
f (xo + h) − f (xo )
fs0 (η) ≤ ≤ fs0 (ξ) (3.13)
h
De (3.12) y (3.13) se tiene que
f (xo + h) − f (xo )
fs0 (xo ) − < < fs0 (xo ) + .
h
Por lo tanto f 0 (xo ) existe y f 0 (xo ) = fs0 (xo ).
44
Conclusiones
45
46
Perspectivas
47
48
Bibliografía
[1] Apostol T. M., Cálculo con funciones de una variable con introducción al
álgebra lineal, Vol I, Segunda edición, Editoria Reverté, España, (1984).
[2] Aull C.F., The first symmetric derivative, Amer. Math. Monthly, Vol.
74, Number 6, 708-711, (1967).
[5] Larson L., Symmetric Real Analysis: A Survey, Real Analysis Exch., Vol
9, Number 1, 154-178, (1983-1984).
[6] Larson L., The symmetric derivative, Transactions of the American Mat-
hematical Society., Vol. 277, Number 2, 589-598 (1983).
[7] Marcus S., Symmetry in the Simplest Case: The real Line, Computers
Math. Applic., Vol. 17, Number 1-3, 103-115, (1989).
49
50
[11] Ross A. K., Elementary Analysis: The Theory of Calculus, Second edi-
tion, Springer-Verlag New York, Inc (1980).
[13] Sahoo P.K. and Riedel T. R., Mean Value and Funcional Equations,
World Scientific, Publishing Co., Printed in Singapore by Uto-print
(1998).