Вы находитесь на странице: 1из 8

EDUCACIN

LA DERIVADA DE CARATHODORY
*

ERNESTO ACOSTA G.
CSAR DELGADO G.
CARLOS RODRGUEZ B.
Resumen. La definicin de derivada de
Carathodory permite pensar en una nueva
forma de presentar los cursos de clculo.
1. Introduccin
En el volumen 98, No1, de Enero de 1991 de la revista American
Mathematical Monthly, Stephen Kuhn presenta una formulacin
de derivada que nos llam mucho la atencin [Kuhn]. Segn
Kuhn, parece ser que Constantine Carathodory quien por primera
vez hizo esta formulacin en su libro Teora de Funciones de
Variable Compleja (1954) [Car. ]. Kunh muestra cmo esta
formulacin simplifica notablemente la demostracin de algunos
de los teoremas bsicos del clculo diferencial, sobre todo el de
la regla de la cadena. Sin embargo, ste se muestra escptico
acerca de su uso en el clculo de derivadas.
En este artculo queremos compartir con el lector la formulacin
de Carathodory presentando la demostracin de algunos teoremas
bsicos del clculo diferencial, mostrando cmo sta se puede
extender a funciones de R
n
en R
m
y ejemplificando el uso de la

Vol. 2, N2, Mayo (1992) MATEMTICAS Enseanza Universitaria
Ernesto Acosta G. et al. Educacin
Vol. 2, N2, Mayo (1992) MATEMTICAS Enseanza Universitaria
32
misma con algunos clculos. Para esto destacaremos el lgebra de
las funciones de pendientes (en la terminologa de [Aco, Del]).
2. La formulacin de Carathodory
Supongamos que queremos calcular la pendiente de la recta
tangente a la grfica de una funcin f en el punto (a, f(a)), f
definida en un intervalo abierto U, aeU. Para esto construiremos
la funcin u de las pendientes de las rectas secantes a la grfica
de f en (a, f(a)):
{ ;
( ) ( )
( ) , .
f x f a
x x U a
x a

u = e


La pendiente de la recta tangente en cuestin ser el lmite,
cuando x tiende a a, de u(x), si ste existe, y la notamos f (a):
) ( ) ( lim a f x
a x
' = u


Dicho en otras palabras, la pendiente de la recta tangente a la
grfica de f en (a, f(a)) existe si u tiene una discontinuidad
removible en a. Esto motiva la siguiente definicin.
Definicin. Sea f una funcin definida en un intervalo abierto U,
y a un punto en U. f es diferenciable en a, en el sentido de
Carathodory, si existe una funcin u
f
(x, a), continua en a, que
satisface la relacin
), )( , ( ) ( ) ( a x a x a f x f
f
u = para todo xeU (1)
El nmero u
f
(a, a) es la derivada de Carathodory de f en a. En
lo que sigue escribiremos u
f
(x) en lugar de u
f
(x, a), sin olvidar
que u
f
depende de a.
No es difcil ver que esta definicin es equivalente a la que
usualmente se da para la derivada y que u
f
(a, a) = f (a).
La consecuencia ms inmediata de esta definicin es que si f es
diferenciable en a, tambin es continua en a. En efecto si f es
diferenciable en a existe u
f
continua en a tal que
. ) ( ) )( ( ) ( a f a x x x f
f
+ u =
Ernesto Acosta G. et al. Educacin
Vol. 2, N2, Mayo (1992) MATEMTICAS Enseanza Universitaria
33
Como el producto y la suma de funciones continuas son funciones
continuas se concluye que f es continua en a.
Consideraremos ahora la familia
a
(U, R) de funciones f definidas
en el intervalo abierto U que son diferenciables en aeU y la
familia
a
(U, R) de funciones definidas en U que son continuas en
aeU. Definimos u:
a

a
por u(f) = u
f
, donde u
f
satisface (1).
Tenemos, entonces, el siguiente teorema que consigna algunas de
las propiedades de u.
Teorema 1. (El lgebra de u(
a
)). Si f, g e
a
(U, R) y o, |eR
entonces of + |g, f g y f/ g (si g=0) e
a
(U, R) y
i) f g f g o |
o |
+
u = u + u

ii)
( )
fg f g
g f a u = u + u

iii) /
( ( ) ( ) ) / ( )
f g f g
g a f a g a g u = u u

Demostracin.
i) Si h = of + |g entonces,
h(x) h(a) = (of(x) + |g(x)) (of(a) + |g(a))
= o(f(x) f(a)) + |(g(x) g(a))
= ou
f
(x) + |u
g
(x))(x a).
ou
f
+ |u
g
es suma y producto de funciones continuas en a,
por tanto, he
a
(U, R) y u
h
= ou
f
+| u
g
.
ii) Si h = f g entonces
h(x) h(a) = f(x)g(x) f(a)g(a)
= g(x)(f(x) f(a)) + f(a)(g(x) g(a))
= (g(x)u
f
(x) + f(a)u
g
(x))(x a)
Claramente gu
f
+f(a)u
g
es continua en a. Por lo tanto,
he
a
(U, R) y u
h
= gu
f
+ f(a)u
g
.
Similarmente, el lector puede probar iii).
Ernesto Acosta G. et al. Educacin
Vol. 2, N2, Mayo (1992) MATEMTICAS Enseanza Universitaria
34
Corolario 1. Bajo las hiptesis del teorema 1
i) (of + |g)(a) = o f (a) + |g(a)
ii) (f g)(a) = g(a) f (a) + f (a) g(a)
iii) (f / g)(a) =
2
( ) '( ) ( ) '( )
, ( ) 0
[ ( )]
g a f a f a g a
g a
g a

=

Teorema 2. Sea f definida en el intervalo abierto U, aeU, y g
definida en el intervalo abierto V, f(U)cV, con fe
a
(U, R) y
ge
f ( a)
(V, R). Entonces g o f e
a
(U, R) y
u
g o f
= (u
g
o f ) u
f

Demostracin. Si h = g o f entonces
h(x) h(a) = g(f(x)) g(f(a))
= u
g
(f(x))(f(x) f(a))
= u
g
(f(x))u
f
(x)(x a)
f es continua en a por ser diferenciable en x=a, por hiptesis u
g

es continua en f(a) y u
f
es continua en x=a y por tanto (u
g
o f) u
f

es continua en a. Tenemos as que gof e
a
(U, R) y que
u
h
=(u
g
of) u
g
.
Corolario 2. (Regla de la cadena). Bajo las hiptesis del teorema 4
(g o f )(a) = g(f(a))f (a)
Usando los argumentos usuales se demuestran los teoremas de
valores extremos, de Rolle y del valor medio, la diferencia est en
que el argumento fuerte de las demostraciones recae en el lgebra
de las funciones continuas.
3. Extensin de la derivada a funciones vectoriales
Queremos ahora extender el concepto de derivada a funciones
vectoriales. La forma ms conocida de hacer esto es mediante la
Ernesto Acosta G. et al. Educacin
Vol. 2, N2, Mayo (1992) MATEMTICAS Enseanza Universitaria
35
introduccin de la derivada total como aproximacin lineal de la
funcin en un punto. Esto corresponde a la definicin de derivada
de Frecht. Sin embargo, veamos que una interpretacin
conveniente de la relacin (1) nos permite extender la derivada de
Carathodory a funciones vectoriales.
Sea f una funcin de R
n
en R
m
y a un punto en R
n
. Como ya lo
hemos dicho debemos dar una interpretacin a la expresin
f (x) f (a) = u
f
(x) (x a) .
Identifiquemos f(x) f(a) con un vector columna de R
m
y xa con
un vector columna de R
n
. Por lo tanto u
f
(x) se puede interpretar
como una matriz mn (realmente u
f
(x)e(R
n
, R
m
)), que se
identifica con el espacio
mn
de matrices reales mn). Pues
bien, como la relacin (1) tiene sentido para f podemos dar la
siguiente definicin.
Definicin. f es diferenciable en a si existe u
f
: R
n

mn
,
continua en a, tal que
f (x) f(a) = u
f
(x)(x a).
Si u
f
existe, Df(a) = u
f
(a)e
mn
.
En [Aco, Del] se demuestra la equivalencia entre la derivada de
Frecht y Carathodory y los teoremas bsicos del clculo
vectorial, pudindose apreciar el poder de simplificacin de (1)
en las argumentaciones con la formulacin de Carathodory. Esto
se observa, en particular, en la demostracin del teorema de la
funcin inversa. Bsicamente las demostraciones son las mismas
de los teoremas 1 y 2 que presentamos aqu.
4. Clculo de derivadas
Veamos ahora cmo se usa (1) para calcular derivadas. Para
efectuar el clculo tendremos que factorizar (xa) de la diferencia
f(x)f(a) y mostrar que el factor resultante u
f
(x) es una funcin
continua en a. Si ste es el caso, f (a) no ser otra cosa que
u
f
(a).
Ernesto Acosta G. et al. Educacin
Vol. 2, N2, Mayo (1992) MATEMTICAS Enseanza Universitaria
36
Ejemplos.
1. Calculemos la derivada de una funcin constante f: RR,
f(x)=k, en un punto aeR. En este caso f(x) f(a)=0, por lo
que la factorizacin es
0 = 0 (xa)
El factor resultante u
f
es idnticamente 0, que es continua
en a y por lo tanto u
f
(a)=0.
2. Calculemos ahora la derivada de f : R R definida por
f(x)=x
n
en un punto aeR. En este caso f(x)f(a)=x
n
a
n
y la
factorizacin es
x
n
a
n
= (x
n1
+ x
n2
a++ xa
n2
+ a
n1
) (xa).
El factor resultante es u
f
(x) = x
n1
+ x
n2
a++ a
n1
que por
ser un polinomio es continua en a y u
f
(a) = na
n1
.
3. Ensayemos ahora con: f : R R definida por f(x) = senx.
Calculemos su derivada en x=a. La diferencia f(x)f(a) no
se puede factorizar sino para x=a como
( )
senx sena
senx sena x a
x a


Tenemos que ver entonces si el factor u
f
(x) =
senx sena
x a


tiene una discontinuidad removible en x=a. En efecto,
1
2
1
2
( )
1
cos ( ),
( ) 2
sen x a
senx sena
x a
x a x a

= +


que tiene a cos a como lmite cuando x tiende a a. Luego,
podemos definir u
f
(a)=cos a para que u
f
sea continua en a.
4. La funcin f : R R definida por
1
, 0
( )
0 , 0
x
x sen x
f x
x
=

=

=


Ernesto Acosta G. et al. Educacin
Vol. 2, N2, Mayo (1992) MATEMTICAS Enseanza Universitaria
37
es continua en 0, pero no es diferenciable en 0. En efecto,
1 1
( ) (0) ( 0) f x f sen sen x
x x
= =

pero el factor resultante u
f
(x)=
1
sen
x
no tiene una
discontinuidad removible en x=0.
5. Si F : R
n
R
m
es lineal y aeR
n
, la diferencia f(x) f(a)
se factoriza muy fcilmente:
F(x) F(a) = F(x a).
Por lo tanto, u
f
(x)= F para todo x y Df (a) = F.
6. Si F : R
2
R
2
est definida por F(x, y) = (x
2
, y
2
) y
(a, b) eR
2
, la diferencia F(x, y) F(a, b) se puede factorizar
as:
F(x y) F(a b) = (x
2
, y
2
) (a
2
, b
2
)
= (x
2
a
2
, y
2
b
2
) = ((xa)(x+a), (yb) (y+b))
0
0
x a x a
y b y b
+ | | | |
=
| |
+
' . ' .

u
f
(x, y) =
0
0
x a
y b
+ | |
|
+
' .
es continua en (a, b) y
2 0
( , ) .
0 2
a
Df a b
b
| |
=
|
' .

7. Sea f(x)= Ax x una forma cuadrtica de R
n
en R, calculemos
la derivada en aeR
n
:
f(x)f(a)= Ax x Aa a =
= Ax x Ax a+ Ax a Aa a
= Ax (xa) + Aa x Aa a
= Ax (xa) + Aa (x a)
= (Ax + Aa) (x a)
Ernesto Acosta G. et al. Educacin
Vol. 2, N2, Mayo (1992) MATEMTICAS Enseanza Universitaria
38
u
f
(x) = Ax + Aa es continua en a y Df(a) = 2Aa.
8. Consideremos ahora G : R
2
R definida por G(x) = [F(x)]
2

donde F : R
2
R es lineal y calculemos DG(a), ae R
2
.
Observemos que G = f o F, donde f(y) = y
2
. Entonces por el
teorema 2
u
G
= (u
f
o F) u
F
y por los ejemplos 2 y 5
u
f
(y) = y + b, u
F
(x) = F
donde b = F(a). Por lo tanto
u
G
(x) = {F(x) + F(a)} F
= F(x + a) F
y DG(a) = u
G
(a) = 2F(a) F.
Cada lector deber sacar su propia conclusin. Los autores
pensamos que esta forma es ms natural y simple que la
tradicional.
5. Referencias
[Kuhn] St ephen Kuhn, The Deri vat i ve a l a Carat hodory, Ameri can
Mat hemat i cal Mont hl y, Vol . 98, No. 1, January, (1991).
[Car] Const ant i ne Carat hodory, Theory of f unct i ons of compl ex
vari abl e, Vol . I, Chel sea, New York, (1954).
[Aco, Del ] Ernest o Acost a, Csar Del gado, Frecht vs. Carat hodory.
Envi ado para publ i caci n a Ameri can Mat hemat i cal Mont hl y,
Di ci embre, (1991).
Ernesto Acosta G., Csar Delgado G., Carlos Rodrguez B.,
Departamento de Matemticas, Universidad del Valle,
Apartado Areo 25360, Cali, Colombia.