Sobre un concepto de derivada (a la

Caratheodory) sin el formalismo

epsilon-delta a la Cauchy
Jose Antonio Gomez Ortega
Rita Vazquez Padilla
Una denicin equivalente de derivada
Para una funcin real denida en un intervalo abierto 1 R, ) : 1 R y un nmero a 1 es comn
encontrar en los libros de clculo diferencial la siguiente denicin de que una funcin ) sea derivable en a.
Denicin 1. La funcin ) : 1 R es derivable en a 1, si existe el siguiente lmite,
lim
x!a
)(r) )(a)
r a
El valor del lmite es llamado la derivada de ) en a, y se denota por )
0
(a).
Ahora, si denimos la funcin )
1
: 1 R, de la siguiente manera:
)
1
(r) =
_
_
_
)(r) )(a)
r a
si r ,= a
)
0
(a) si r = a
tenemos que )
1
(r) es continua en a, y que
)(r) = )(a) + (r a))
1
(r), para toda r 1
Recprocamente si la funcin )(r) se escribe de la forma anterior alrededor de a, con )
1
(r) continua en a,
tenemos que
lim
x!a
)(r) )(a)
r a
= lim
x!a
)
1
(r) = )
1
(a),
por lo que la funcin ) es derivable en a, y con )
0
(a) = )
1
(a).
Lo anterior muestra que la denicin 1, es equivalente a la siguiente:
Denicin 2. La funcin ) : 1 R es derivable en a 1, si existe una funcin )
1
continua en a, de
manera que alrededor de a se cumpla:
)(r) = )(a) + (r a))
1
(r)
El valor )
1
(a) es llamado la derivada de ) en a, y se denota por )
0
(a).
Una ventaja de la segunda denicin es que permite hacer demostraciones de propiedades del operador
derivada sin usar - y c. Veamos unos ejemplos.
Proposicin 1. Si la funcin ) : 1 R es derivable en a, entonces es continua en a.
Demostracin.
Esto se debe a que )(r) = )(a) + (r a))
1
(r) se ha escrito como el producto de dos funciones continuas en
a ms una constante.
Proposicin 2. Si las funciones ), q : 1 R son derivables en a y ` R entonces ) + q, `), )q y
1
)
(en
el caso que )(a) ,= 0), son derivables en a. Y cumplen las reglas de derivacin siguientes:
() + q)
0
(a) = )
0
(a) + q
0
(a)
(`))
0
(a) = `)
0
(a)
()q)
0
(a) = )
0
(a)q(a) + )(a)q
0
(a)
_
1
)
_
0
(a) =
)
0
(a)
)(a)
2
.
1
Demostracin.
Como ), q son derivables en a, existen )
1
y q
1
funciones continuas en a, tales que
)(r) = )(a) + (r a))
1
(r) y q(r) = q(a) + (r a)q
1
(r)
no es difcil ver que
() +q)(r) = () + q)(a) + (r a)()
1
+ q
1
)(r),
(`))(r) = (`))(a) + (r a)(`)
1
)(r),
()q)(r) = ()q)(a) + (r a)()
1
(r)q(a) + )(a)q
1
(r) + (r a))
1
(r)q
1
(r)),
_
1
)
_
(r) =
_
1
)
_
(a) + (r a)
)
1
(r)
)(a))(r)
.
Como ()
1
+ q
1
)(r), (`)
1
)(r), )
1
(r)q(a) + )(a)q
1
(r) + (r a))
1
(r)q
1
(r) y
)
1
(r)
)(a))(r)
son continuas en a,
tenemos que ) + q, `), )q y
1
)
son derivables en a. Adems, se tiene que:
() +q)
0
(a) = ()
1
+ q
1
)(a) = )
0
(a) + q
0
(a)
(`))
0
(a) = (`)
1
)(a) = `)
0
(a)
()q)
0
(a) = )
1
(a)q(a) + )(a)q
1
(a) = )
0
(a)q(a) + )(a)q
0
(a)
_
1
)
_
0
(a) =
)
1
(a)
)(a))(a)
=
)
0
(a)
)(a)
2
.
Proposicin 3. (Regla de la cadena). Si la funcin ) : 1 R es derivable en a, y la funcin q : J R,
con )(1) J es derivable en / = )(a), entonces q ) es derivable en a y (q ))
0
(a) = q
0
()(a)))
0
(a).
Demostracin. Como ) y q son derivables en a y / = )(a), respectivamente, existen )
1
y q
1
funciones
continuas en a y en /, tales que:
)(r) = )(a) + (r a))
1
(r) con )
0
(a) = )
1
(a) y
q(n) = q(/) + (n /)q
1
(n) con q
0
(/) = q
1
(/).
Pero,
(q ))(r) = q()(r)) = q(/) + ()(r) /)q
1
()(r)) = q()(a)) + (r a))
1
(r)q
1
()(r)).
Como )(r) y )
1
(r) son continuas en a y q
1
(n) lo es en / = )(a), se tiene que )
1
(r)q
1
()(r)) es continua en
a, luego q ) es derivable en a y
(q ))
0
(a) = )
1
(a)q
1
()(a)) = q
0
()(a)))
0
(a).
Proposicin 4. (Teorema de la funcin inversa) Si ) es inyectiva en un intervalo 1 y derivable en a 1
con )
0
(a) ,= 0, entonces )
1
es derivable en / = )(a), y
()
1
)
0
(/) =
1
)
0
(a)
.
Demostracin.
Como ) es derivable en a, existe )
1
funcin continua en a tal que
)(r) = )(a) + (r a))
1
(r) con )
0
(a) = )
1
(a).
Si j = )(r), la ecuacin anterior se escribe como
j = / + ()
1
(j) )
1
(/)))
1
()
1
(j))
2
por lo tanto,
)
1
(j) = )
1
(/) + (j /)
1
)
1
()
1
(j))
.
Se puede dividir entre )
1
()
1
(j)) ya que )
1
no se anula alrededor de a, en virtud de que )
1
es continua en
a y )
1
(a) = )
0
(a) ,= 0.
Como, )
1
es continua en / = )(a), se tiene que
1
f1(f
1
(y))
es continua en /, por lo que )
1
es derivable en
/. Adems,
()
1
)
0
(/) =
1
)
1
()
1
(/))
=
1
)
1
(a)
=
1
)
0
(a)
.
Proposicin 5. Si la funcin ) : 1 R tiene un mximo local o un mnimo local en a 1, y la funcin es
derivable en a, entonces )
0
(a) = 0.
Demostracin.
Como ) es derivable en a, existe una funcin continua )
1
en a, tal que )(r) = )(a) + (r a))
1
(r) y con
)
1
(a) = )
0
(a).
Si a es mximo local, )(r) )(a) _ 0 alrededor de a, entonces (r a))
1
(r) _ 0 alrededor de a, luego
)
1
(r) _ 0, para r _ a y )
1
(r) _ 0, para r _ a, lo que implica por continuidad de )
1
en a, que )
1
(a) = 0, y
entonces )
0
(a) = 0.
Proposicin 6. (Teorema fundamental del clculo diferencial). Si ) : [a, /] 1 es una funcin continua
entonces existe una funcin primitiva 1(r) de )(r) y nica salvo la suma de una constante, adems se
cumple que
_
b
a
)(r)dr = 1(/) 1(a).
Demostracin.
Existencia. Considere 1(r) =
_
x
a
)(t)dt, por el teorema del valor medio para integrales se tiene que
1(r) 1(j) =
_
x
y
)(t)dt = )(.)(r j), donde . = .(r, j) est entre r y j.
Cuando r j, el nmero . = .(r, j) tiende a j y la continuidad de ) en j implica que lim
x!y
)(.) = )(j).
Luego /(r) = )(.(r, j)) es una funcin continua en j, por lo que:
1(r) 1(j) = )(.)(r j) = /(r)(r j),
nos dice que 1 es derivable en j y 1
0
(j) = /(j) = )(j), por lo que 1 es primitiva de ). Y cumple que
_
b
a
)(r)dr = 1(/) 1(a).
Unicidad. Si 1 y G son primitivas de ) en [a, /], se tiene que 1
0
= G
0
en [a, /], por lo que 1 = G + c
en [a, /].
Ejemplo. Si la funcin ) : 1 1 es continua con )(1) 1
0
, / : 1
0
1 es derivable en 1
0
con /
0
(r) ,= 0
en )(1) y son tales que / ) es derivable en 1, entonces ) es derivable en 1.
Solucin.
Si / es derivable en / = )(a) se tiene que /(n) = /(/) + (n /)/
1
(n), con /
1
continua en /. Si tomamos
n = )(r), tenemos que /()(r)) = /()(a)) + ()(r) )(a))/
1
()(r)), por lo que:
)(r) )(a) =
/()(r)) /()(a))
/
1
()(r))
Pero / ) es derivable en a, luego (/ ))(r) = (/ ))(a) + (r a)H
1
(r), por lo que al sustituir, tenemos
que,
)(r) )(a) =
/()(r)) /()(a))
/
1
()(r))
=
(r a)H
1
(r)
/
1
()(r))
.
Ahora si r a, la funcin )(r) )(a) y entonces para r cerca de a, /
1
()(r)) ,= 0. Luego )(r) )(a) =
(r a)/(r) donde /(r) =
H1(x)
h1(f(x))
es continua y )
0
(a) = /(a) =
H1(a)
h1(f(a))
=
(hf)
0
(a)
h
0
(f(a))
.
3
Extensiones
Para funciones complejas de variable compleja.
La funcion ) : G C C es derivable en a G si existe )
1
: G C C continua en a tal que,
)(.) = )(a) + (. a))
1
(.) alrededor de a.
Adems )
1
(a) = )
0
(a).
Las cuatro primeras proposiciones anteriores son ciertas en este caso.
Para funciones de R
n
en R.
La funcin, ) : G R
n
R es derivabe en a = (a
1
, ..., a
n
) G, si existen funciones continuas )
1
, ..., )
n
en
a de manera que:
)(r) = )(a) +

n
i=1
(r
i
a
i
))
i
(r), para r = (r
1
, ..., r
n
) alrededor de a.
Aqu resulta que )
i
(a) =
0)
0r
i
(a), para cada i = 1, ..., :.
Para trayectorias o curvas en R
n
.
La curva ) : 1 R R
n
, es derivable en a 1, si existe )
1
: 1 R
n
continua en a, tal que
)(t) = )(a) + (t a))
1
(t), para t alredor de a.
Tambin resulta que )
1
(a) = )
0
(a).
Para funciones de R
n
en R
m
.
Denicin. (Frchet) Sean l R
n
un abierto, ) : l R
m
una funcin y a l. La funcin ) es derivable
en a, si existe una transformacin lineal T : R
n
R
m
y existe una funcin r : l R
m
continua en a con
r(a) = 0 tales que
)(r) = )(a) + T(r a) + r(r) |r a| .
La ecuacin anterior es equivalente a
lim
x!a
)(r) )(a) T(r a)
|r a|
= 0
Ya que
)(r) )(a) T(r a)
|r a|
= r(r) 0 si y slo si r(r) es continua en a y r(a) = 0.
Si denimos /(r) = T + r(r)
(xa)
t
kxak
, para r en una vecindad de a, la funcin toma valores en 1(1
n
, 1
m
)
el espacio de funciones lineales de R
n
en R
m
, aqu r(r)
(xa)
t
kxak
es la transformacin lineal que induce la
matriz que se obtiene al multiplicar el vector columna r(r) con el vector rengln
(xa)
t
kxak
. Adems como
|/(r) T| _ |r(r)| la funcin /(r) T es continua en a, luego /(r) tambin es continua en a. Y entonces
podemos reformular la denicin de derivable como:
Denicin. (A la Carathodory). Sean l R
n
un abierto, ) : l R
m
una funcin y a l. La funcin )
es derivable en a, si existe una funcin /(r) denida en una vecindad de a y que toma valores en 1(1
n
, 1
m
),
que sea continua en a y tal que,
)(r) = )(a) + /(r)(r a), para r en una vecindad de a.
Desde luego si lo anterior se cumple, se tiene que:
)(r) = )(a) + /(r)(r a) = )(a) + /(a)(r a) + (/(r) /(a))
(xa)
kxak
|r a|
4
por lo que si consideramos la transformacin T = /(a) y la funcin r(r) = (/(r) /(a))
(xa)
kxak
, tenemos que:
)(r) = )(a) + T(r a) + r(r) |r a| .
Y como |r(r)| _ |/(r) /(a)|
_
_
_
(xa)
kxak
_
_
_ = |/(r) /(a)| , por la continuidad de / en a tenemos que r(r)
es continua en a. Luego las dos deniciones son equivalentes.
Las propiedades de derivacin se cumplen, por ejemplo las siguientes dos proposiciones dan muestra de ello.
Proposicin 7. (Regla de la cadena). Si ) : l 1
n
1
m
es una funcin derivable en a l y
q : )(l) 1
m
1
r
es tambin una funcin derivable en / = )(a), entonces la funcin (q ))(r) es
derivable en a y (q ))
0
(a) = q
0
()(a)))
0
(a).
Demostracin.
Si )(r) = )(a) +/(r)(ra) y q(j) = q(/) +/(j)(j /), con /(r) y /(j) continuas en a y /, respectivamente.
Entonces tenemos,
q()(r)) = q()(a)) +/()(r))()(r) )(a)) = q()(a)) +/()(r))/(r)(r a).
Y como /()(r))/(r) es continua en a, tenemos que q ) es derivable en a y (q ))
0
(a) = /()(a))/(a) =
q
0
()(a)))
0
(a).
Proposicin 8. Una funcin ) : l 1
2
1 que tiene derivadas parciales
@f
@x
,
@f
@y
en una vecindad de
(a, /) l y que son continuas en (a, /), es derivable en (a, /).
Demostracin.
Escribimos )(r, j) )(a, /) = )(r, j) )(a, j) + )(a, j) )(a, /),
Por el teorema del valor medio para funciones de R en R, tenemos que:
)(r, j) )(a, j) =
@f
@x
(c, j)(r a), para alguna c ente r y a,
)(a, j) )(a, /) =
@f
@y
(a, ,)(j /), para alguna , entre j y /.
Luego, )(r, j) )(a, /) = (
@f
@x
(c, j),
@f
@y
(a, ,))
_
xa
yb
_
= /(r, j)
_
xa
yb
_
, donde /(r, j) = (
@f
@x
(c, j),
@f
@y
(a, ,)),
tal funcin /(r, j) es continua en (a, /), ya que si (r, j) (a, /) entonces (c, j) (a, /) y (a, ,) (a, /) y
las parciales son continuas en (a, /). Por tanto la funcin ) es derivable en (a, /).
Teorema de la funcin implcita
Teorema de la funcin implcita. Sean ) : l 1
2
1 una funcin y (a, /) l de manera que las
derivadas parciales
@f
@x
,
@f
@y
existen y son continuas en una vecindad de (a, /). Si )(a, /) = 0 y
@f
@y
(a, /) ,= 0,
entonces existen vecindades l de a, \ de / y existe una funcin derivable j : l \ tal que j(a) = / y
)(r, j(r)) = 0, para r l y con j
0
(r) =
@f
@x
(r, j(r))
@f
@y
(r, j(r))
en la vecindad l.
Demostracin.
Supongamos que
@f
@y
(a, /) 0.
Por la continuidad de
@f
@y
existen c 0 y - 0 tales que:
[r a[ < c, [j /[ < c ==
@f
@y
(r, j) _ - 0.
Luego )(a, j) es una funcin creciente en j y como )(a, /) = 0 se tiene que )(a, / c) < 0 < )(a, / + c). la
continuidad de ) impica que existe c
1
0 tal que:
)(r, / c) < 0 < )(r, / + c), para [r a[ _ c
1
.
5
Sean l = (a c
1
, a + c
1
) y \ = (/ c, / + c) y apliquemos el teorema del valor intermedio a )(r, j) como
funcin de j y con r ja, lo que da un j = j(r) tal que )(r, j(r)) = 0 y entonces una funcin j : l \. La
unicidad de j(r) en \ es consecuencia de que )(r, j) es montona como funcin de j.
Ahora veamos que j(r) es derivable en cada punto r
1
l.
Como 0 = )(r, j(r)) = )(r
1
, j
1
) +
@f
@x
(c, j(r))(rr
1
) +
@f
@y
(r
1
, ,)(j(r) j
1
) donde j
1
= j(r
1
), c est entre
r y r
1
, , entre j(r) y j(r
1
) = j
1
.
Luego j(r) j
1
= /(r)(r r
1
) donde /(r) =
@f
@x
(;y(x))
@f
@y
(x;)
. Ahora veamos que /(r) es continua en r
1
.
Primero veamos que j(r) es continua en r
1
, as: la funcin
@f
@x
es continua en [r a[ _ c
1
, [j /[ _ c
1
,
luego acotada en tal cuadrado digamos por ' 0, por lo que [/(r)[ _
M
"
, ya que
@f
@y
(r, j) _ -, por lo
que [j(r) j
1
[ = [/(r)(r r
1
)[ _
M
"
[r a[ lo que garantiza que j(r) sea continua en r
1
. Ahora /(r) es
continua ya que todas las funciones que involucra /(r) (c, ,, j(r),
@f
@x
,
@f
@y
) son continuas.
Finalmente j
0
(r
1
) = /(r
1
) =
@f
@x
(r
1
, j(r
1
))
@f
@y
(r
1
, j(r
1
))
.
Teorema de Fubini, para funciones continuas
En toda esta parte 1 = [a, /] y J = [c, d].
Lema 1. Si ) : 1 J 1 es una funcin (uniformemente) continua, entonces q : J 1 denida por
q(j) =
_
I
)(r, j)dr, es continua en J. De igual manera / : 1 1 denida por /(r) =
_
J
)(r, j)dj es
continua en 1.
Demostracin.
Sea - 0, por ser ) uniformemente continua existe c 0 tal que [r r
0
[ < c y [j j
0
[ < c implican
[)(r, j) )(r
0
, j
0
)[ < -.
Por lo que: [q(j) q(j
0
)[ =

_
I
()(r, j) )(r, j
0
))dr

_
_
I
[)(r, j) )(r, j
0
)[ dr _ - [1[ , si [j j
0
[ < c, lo
que garantiza que q es continua en j
0
y entonces en J.
Lema 2. Sea ) : 1 J 1 una funcin continua, tal que
@f
@y
: 1 J 1 es una funcin uniformemente
continua. Si q(j) =
_
I
)(r, j)dr, entonces q es derivable en J y q
0
(j) =
_
I
@f
@y
(r, j)dr.
Demostracin.
Primero hacemos notar que una funcin q(j) es derivable en a si y slo si existe una funcin q
1
(j) que es
continua en a y tal que q(j) = q(a) + (j a)q
1
(j) en una vecindad de a. En tal caso q
0
(a) = q
1
(a).
Y que la parcial de ) con respecto a j existe en el punto (r, a) si y slo si existe una funcin /
1
(r, j) que
es continua en la variable j en a y tal que )(r, j) = )(r, a) + (j a)/
1
(r, j), para j alrededor de a. Si es
el caso
@f
@y
(r, a) = /
1
(r, a). Ahora bien,
@f
@y
(r, j) es uniformemente continua en 1 J si y slo si /
1
(r, j) es
uniformemente continua en 1 J.
Ahora como,
q(j) q(a) =
_
I
()(r, j) )(r, a))dr =
_
I
(j a)/
1
(r, j)dr = (j a)
_
I
/
1
(r, j)dr = (j a)G
1
(j)
donde G
1
(j) =
_
I
/
1
(r, j)dr, que por el lema 1, es continua en a. Tenemos que, q(j) es derivable en a y
q
0
(a) = G
1
(a) =
_
I
/
1
(r, a)dr =
_
I
@f
@y
(r, a)dr, como queriamos mostrar.
Teorema de Fubini. Sea ) : 1 J 1 una funcin continua, entonces se cumple la siguiente identidad
_
b
a
_
_
d
c
)(r, j)dj
_
dr =
_
d
c
_
_
b
a
)(r, j)dr
_
dj.
Demostracin.
Para t [c, d], se denen q(t) =
_
b
a
_
_
t
c
)(r, j)dj
_
dr y /(t) =
_
t
c
_
_
b
a
)(r, j)dr
_
dj.
Como )(r, j) es continua en 1 J, por el lema 1, 1(r, t) =
_
t
c
)(r, j)dj, es una funcin continua en r.
Tambin por el teorema fundamental del clculo la funcin 1(r, t) es derivable (y entonces continua) como
funcin de t. Pero tambin es continua en 1 J, en efecto,
6
[1(r, t) 1(r
0
, t
0
)[ = [1(r, t) 1(r, t
0
) + 1(r, t
0
) 1(r
0
, t
0
)[
_

_
t
t
0
)(r, j)dj

_
t
0
c
()(r, j) )(r
0
, j))dj

_
_
t
t
0
[)(r, j)[ dj +
_
t
0
c
[)(r, j) )(r
0
, j)[ dj
y las dos ltimas integrales se aproximan a cero si r r
0
y t t
0
.
Adems
@F
@t
(r, t) = )(r, t) es continua en 1 J, luego uniformemente continua. Por el lema 2, q(t) =
_
b
a
1(r, t)dr es derivable en J y para t J, q
0
(t) =
_
b
a
@F
@t
(r, t)dr =
_
b
a
)(r, t)dr.
Por otro lado, el teorema fundamental del clculo garantiza que /(t) =
_
t
c
_
_
b
a
)(r, j)dr
_
dj es derivable en
[c, d] con /
0
(t) =
_
b
a
)(r, t)dr, para t [c, d].
Luego q
0
/
0
= 0 en [c, d], y entonces q / es constante en [c, d], pero q(c) = /(c) = 0, lo que implica
que q y / coinciden en [c, d], pero q(d) =
_
b
a
_
_
d
c
)(r, j)dj
_
dr y /(d) =
_
d
c
_
_
b
a
)(r, j)dr
_
dj, por tanto
_
b
a
_
_
d
c
)(r, j)dj
_
dr =
_
d
c
_
_
b
a
)(r, j)dr
_
dj.
Jos Antonio Gmez Ortega
Departamento de Matemticas
Facultad de Ciencias, UNAM
jago@fciencias.unam.mx
Rita Vzquez Padilla
Academia de Matemticas
Universidad Autnoma de la Ciudad de Mxico
ritavz14@hotmail.com.mx
7
Bibliografa
Harier, E. - Wanner, G. Lanalyse au l de lhistoire. Springer, 2000.
Bagby, R. Introductory analysis. Academic Press, 2001.
Khun, S. The derivative la Carthodory. The Teaching of Mathematics, 1991.
Carathodory, C. Theory of functions of a complex variable vol I. Chelsea, 1950.
Remmert, R. Theory of complex functions. Springer-Verlag, 1991.
8