Vous êtes sur la page 1sur 34

Captulo 2

La Diferencial de Frchet
Iniciamos, con este captulo, el clculo diferencial para funciones de varias variables reales. Aunque el marco de trabajo ser, con frecuencia, el de
los espacios normados, nuestro inters se centra en la generalizacin del concepto de derivada, y el estudio de sus propiedades, a las funciones de varias
variables reales.

1.

Funciones diferenciables

Si f es una funcin real de una variable real, sabemos que f es derivable


en el punto a si existe
f (a + h) f (a)
.
h0
h
Es obvio que el concepto anterior de funcin derivable puede extenderse, sin
modificacin alguna, a las funciones de una sola variable, pero que toman valores en un espacio normado cualquiera F . En particular si f : A R Rp ,
es fcil ver que f 0 (a) = (f10 (a), f20 (a), . . . , fp0 (a)). Esta frmula es igualmente
vlida si f es una funcin de 1 variable que toma sus valores en un producto
finito de espacios normados. Sin embargo, cuando f es una funcin varias
variables (o de variable vectorial"), no podemos definir f 0 (a) como en (2.1)
pues el h por el que habra que dividir no sera, en ese caso, elemento de
un cuerpo. An sera esto posible para las funciones de variable compleja,
pero stas no son objeto de estudio en este curso. En lo sucesivo, por tanto,
el trmino variable habr que entenderlo como variable real, y del mismo
modo un espacio normado ser, siempre, un espacio normado real. No obstante, hemos de sealar que no existen diferencias esenciales entre un clculo
diferencial real y un clculo diferencial complejo.
(2.1)

f 0 (a) = lm

25

26

La Diferencial de Frchet

2.1

Antes de proceder a la extensin definitiva del concepto de derivada a


las funciones de varias variables, vamos a dedicar un primer una seccin la
introduccin de dos conceptos bsicos, el de derivada parcial y el de derivada direccional. Aunque pueda parecer exagerado, se podra afirmar que el
Clculo Diferencial en dimensin finita consiste en el clculo con derivadas
parciales.

1.1.

Derivadas parciales

Para funciones de una variable disponemos de unas reglas de clculo de


derivadas, las llamadas reglas de derivacin. Por ejemplo sabemos que la
funcin si f (x) = x2 + x sen x satisface las hiptesis necesarias para poder
aplicar estas reglas para calcular su derivada y as obtener que f 0 (x) =
2x + sen x + x cos x. En particular podemos obtener el valor de la derivada
en un punto concreto a sin ms que sustituir a en la igualdad anterior, de
este modo f 0 () = 2 + 0 = . Cuando estas reglas no son aplicables
en algn punto
a, an la funcin puede admitir derivada en a. Por ejemplo
si f (x) = x2 + x sen x, x [/2, /2] y queremos calcular f 0 (x), se
puede aplicar la regla de la cadena para hacer este clculo en todo punto x
distinto de 0. De este modo para x 6= 0 se tiene f 0 (x) = 1/2(2x + sen x +
x cos x)(2x + sen x + x cos x)1/2 . En cambio no podemos aplicar la regla
de la cadena para calcular f 0 (0) pues para ello sera necesario que la raz
cuadrada (como funcin de una variable) fuese derivable en 0. Para estudiar
la existencia de f 0 (0) recurrimos a la definicin de derivada en un punto:
f (x) f (a)
.
xa
xa

f 0 (a) = lm

Entonces para la funcin del ejemplo tendramos

f (0) = lm

x0

x2 + x sen x
=
x

si x 0+
si x 0

Una situacin idntica se plantea cuando se tiene una funcin f de varias variables, supongamos para concretar de 2-variables x, y, y se quiere
calcular la derivada (parcial) de f respecto a una de las variables. Por ejemplo si f (x, y) = x2 + y sen y la derivada parcial de f respecto de x en un
punto (x, y) no es otra cosa que la derivada de la funcin de 1-variable
que se obtiene al considerar y en la derivacin como una constante. Luef
go f
x (x, y) = 2x y anlogamente y (x, y) = sen y + y cos y. En particular
podemos obtener el valor de la derivadas parciales en un punto concreto

2.1

La Diferencial de Frchet

27

(a, b) sin ms que


p sustituir (a, b) en las igualdades anteriores. De igual modo si f (x, y) = x2 + y sen y, y [/2, /2], se pueden aplicar en cada
(x, y) 6= (0, 0) las reglas de derivacin de las funciones de una variable para
deducir que
1
f
f
1
(x, y) = x(x2 + y sen y)1/2 ;
(x, y) = (sen y + y cos y)(x2 + y sen y) 2 .
x
y
2

Como antes, no podemos aplicar la regla de la cadena para estudiar la existencia de la derivada parcial respecto a x (o respecto a y) en el punto (0, 0),
sino que habremos de recurrir a la definicin de derivada parcial respecto
a x (o respecto a y) en un punto (a, b), que de acuerdo a lo anterior no es
ms que derivada en a de la funcin de la variable x (o y) que se obtiene al
sustituir en la definicin de f la variable y (o x) por b (o a) i.e.,
f
f (x, b) f (a, b)
(a, b) = lm
;
xa
x
xa

f
f (a, y) f (a, b)
(a, b) = lm
yb
y
yb

Ms generalmente,
o

Definicin 2.1 Sea f : A Rn F y sea a A. Llamaremos derivada


parcial j-sima de f en a a la derivada en aj de la aplicacin de 1-variable
Fj : xj f (a1 , .., aj1 , xj , aj+1 , .., an )
La denotaremos por (f /xj )(a) o, tambin, Dj f (a). Por tanto:
f
f (a1 , . . . , aj1 , xj , aj+1 , . . . , an ) f (a)
(a) = Fj0 (aj ) = lm
.
x
a
j
j
xj
xj aj
Teniendo en cuenta que las derivadas parciales no son ms que derivadas
de funciones de una variable, podemos aplicar las reglas de derivacin ya
conocidas para estas ltimas para deducir las siguientes reglas de clculo
con derivadas parciales:
f1
f2
fp
f
(a) =
(a),
(a), . . . ,
(a) .
1) Si f = (f1 , f2 , . . . , fp ),
xj
xj
xj
xj
(f + g)
f
g
(f )
f
2)
(a) =
(a) +
(a);
(a) =
(a).
xj
xj
xj
xj
xj
(f g)
f
g
3) Si f, g son funciones escalares,
(a) = f (a)
(a) +
(a);
xj
xj
xj
(f /g)
g(a)(f /xj )(a) f (a)(g/xj )(a)
y si adems g(a) 6= 0,
(a) =
xj
g(a)2


28

La Diferencial de Frchet

2.1

Ejemplo (Una funcin no continua en un punto, que admite en ese punto


derivadas parciales respecto a cualquier ndice).
f (x, y) =

x2

xy
si (x, y) 6= (0, 0);
+ y2

f (0, 0) = 0.

Es fcil ver que las dos derivadas parciales de esta funcin son nulas en
(0,0). Por otras parte la funcin no es continua en (0,0) pues los lmites
direccionales de f en (0,0) existen pero no son todos iguales:
mx2
m
=
2
2
2
x0 x + m x
1 + m2
lm

1.2.

Derivadas direccionales
o

Definicin 2.2 Sea f : A E F, a A y h 6= 0 un vector de E. Se dir


que f es derivable en el punto a, siguiendo el vector h, si existe
(2.2)

Dh f (a) = lm

t0

f (a + th) f (a)
.
t

Al elemento de F, Dh f (a), se le denominar derivada de f en a, siguiendo


el vector h. Cuando f admite derivada siguiendo cualquier vector no nulo,
se dir tambin que f admite derivadas en todos las direcciones.
Consideremos la recta de ecuacin x = a+th, t R (recta que pasa por a
y tiene a h como vector director). Entonces f (a+th) son los valores que toma
f sobre esta recta, y por tanto, por analoga con los lmites direccionales,
podra pensarse en denominar al lmite 2.2, como la derivada de la funcin
f en a siguiendo la recta x = a + th. Esto sera correcto, de no ser porque
para cada vector director de esa recta puede resultar un valor distinto para
Dh f (a). Concretamente, es fcil ver que
Dh f (a) = Dh f (a).
2.3 Observemos que las derivadas parciales en un punto no son ms que las
derivadas en ese punto siguiendo ciertos vectores particulares, los vectores
e1 = (1, 0, . . . , 0), e2 = (0, 1, 0, . . . , 0), . . .. En efecto,
f
f (a1 , . . . , aj1 , xj , aj+1 , . . . , an ) f (a1 , . . . , an )
(a) = lm
xj aj
xj
xj aj
f (a + (xj aj )ej ) f (a)
f (a + tej ) f (a)
= lm
= lm
= Dej f (a).
xj aj
t0
xj aj
t

2.5

La Diferencial de Frchet

29

2.4 La existencia de derivadas en todas las direcciones ser una condicin


necesaria para que una funcin sea derivable en un punto. Pero de nuevo
esta condicin es muy dbil. Como pasaba con las derivadas parciales, es
posible que una funcin sea derivable en un punto en cualquier direccin y
no ser continua en ese punto.
Ejemplo (Una funcin no continua en un punto, que admite en ese punto
derivadas en todas las direcciones).
f (x, y) =

x2 y
si (x, y) 6= (0, 0);
x4 + y 2

f (0, 0) = 0.

Si tomamos v = (h, k) y aplicamos la definicin para calcular la derivada en


el punto (0,0) siguiendo el vector v, resulta
Si k 6= 0,
Si k = 0,

f (th, tk)
t3 h2 k
h2
= lm 4 4
=
t0
t0 (t h + t2 k 2 )t
t
k
Dv f (0, 0) = 0.
Dv f (0, 0) = lm

Sin embargo, esta funcin no es continua en (0,0), pues aunque los lmites
iterados y direccionales existen todos y valen 0, los lmites siguiendo las
curvas y = mx2 son todos diferentes.

1.3.

Diferenciabilidad en un punto

Hemos visto que una funcin de varias variables puede admitir derivadas
parciales e incluso direccionales en un punto a sin ser continua en a. Esto
indica que si se quiere que las funciones de varias variables que sean derivables en un punto sean continuas en ese punto, no va a bastar que se les exija
slo la existencia de derivadas parciales o direccionales.
Antes de proceder a extender a varias variables la nocin de funcin
derivable en un punto, conviene establecer un resultado elemental sobre
aplicaciones lineales, que habremos de tener en cuenta en lo sucesivo.
Lema 2.5 i) Una aplicacin L de Rn en F es lineal si y slo existen cj
F, j = 1, . . . , n tales que L(x1 , x2 , . . . , xn ) = c1 x1 + c2 x2 + + cn xn . Se
dice que L est determinada por la matriz (c1 , c2 , . . . , cn ).
ii) Toda aplicacin lineal L de Rn en F es continua, de hecho lipschitziana. (Esto no es verdad para L : E F y E de dimensin infinita):

30

La Diferencial de Frchet

2.5

Demostracin. i) Obviamente cualquier aplicacin de ese tipo es lineal. Recprocamente, si L es lineal entonces
X

L(x1 , x2 , . . . , xn ) = L(

xj ej ) =

xj L(ej ) = c1 x1 + c2 x2 + + cn xn ,

siendo cj = L(ej ).
ii) Tambin es inmediato comprobar que si L es lineal entonces es lipsP
P
chitziana, pues kL(x) L(y)k = k cj (xj yj )k ( kcj k)kxj yj k .
Ejercicio. Probar que toda aplicacin lineal y continua entre espacios normados es lipschitziana.
o

Definicin 2.6 Sea f : A Rn F, a A. Se dice que f es diferenciable


o derivable en a (en el sentido de Frchet), si admite derivadas parciales
respecto a cualquier ndice en a y adems se satisface la siguiente condicin:
f (x) f (a)
(2.3)

lm

f
j=1 xj (a)(xj

Pn

aj )

kx ak

xa

= 0,

(O equivalentemente, si
f
j=1 xj (a)hj

Pn

f (a + h) f (a)
(D)

lm

khk

h0

= 0,

Notas. 1. Observemos en primer lugar que la definicin anterior es independiente de la norma. Es decir, que si f es diferenciable en a respecto a las
normas k k de Rn y F y sustituimos estas normas por las normas equivalentes
k k , f es tambin diferenciable en a respecto a las nuevas normas. sabemos
que existen dos constantes mayores que 0, , , tales que kxk kxk para
cada x Rn y ky k ky k para cada y F . Entonces si
kf (a + h) f (a)

f
j=1 xj (a)hj k

Pn

khk

cuando khk ,

se tiene tambin que


kf (a + h) f (a)

j=1 xj (a)hj k

Pn

khk

kf (a + h) f (a)
khk

f
j=1 xj (a)hj k

Pn

cuando khk 1/,

2.8

La Diferencial de Frchet

31

2. Para funciones de una variable, la definicin anterior coincide con


la de funcin derivable en un punto. En efecto, supongamos que f es una
funcin de una variable (con valores en un espacio normado F ). Si f es
diferenciable en a entonces por la definicin debe existir (f /x)(a) = f 0 (a).
Recprocamente si f es derivable en a, entonces
f (x) f (a) f 0 (a)(x a)
=0
xa
|x a|
f (x) f (a) f 0 (a)(x a)
lm
=0
xa
xa


f (x) f (a)
f 0 (a) = 0

lm
xa
xa
lm

lm

xa

f (x) f (a)
= f 0 (a).
xa

Ejemplo 2.7 La funcin


f (x, y) =

x3 y 3
;
x2 + y 2

f (0, 0) = 0

es continua y admite derivadas parciales respecto a ambas coordenadas en


(0,0) pero no es diferenciable en (0,0).
o

Proposicin 2.8 Sea f : A Rn F y a A. Son equivalentes:


i) f es diferenciable en a.
ii) Existe una aplicacin lineal J : Rn F tal que
(2.4)

f (a + h) f (a) J(h)
= 0.
h0
khk
lm

Demostracin. i) inplica ii). De la definicin de funcin diferenciable se deduce que la condicin f diferenciable en a implica que la aplicacin lineal J
f
f
(a), . . . , x
(a)), satisface
cuya matriz asociada es la matriz jacobiana ( x
n
1
la condicin ii).
ii) implica i) De hecho de la condicin ii) se deduce:
f es derivable en todas las direcciones.
La aplicacin J es nica, J(h) = Dh f (a) =

f
j=1 xj (a)hj .

Pn

f es diferenciable en a
En efecto, supongamos que la aplicacin lineal J : Rn F satisface
lm

h0

f (a + h) f (a) J(h)
= 0,
khk

32

La Diferencial de Frchet

2.8

entonces para cada h 6= 0 (fijado) se tiene:


lm

t0

f (a + th) f (a) J(th)


f (a + th) f (a) tJ(h)
= 0 = lm
,
t0
kthk
|t|khk

que claramente implica que


f (a + th) f (a) tJ(h)
=0
t0
t
lm

y que, por tanto,


f (a + th) f (a)
= Dh f (a).
t0
t

J(h) = lm

Se ha probado pues que J no puede ser otra aplicacin que la definida por
J(h) = Dh f (a), determinada (en dimensin finita) por la matriz


(J(e1 ), J(e2 ), . . . , J(en )) = (De1 f (a), . . . , Den f (a)) =

f
f
(a), . . . ,
(a) ,
x1
xn


f
es decir J(h) = Dh f (a) = nj=1 x
(a)hj , que nos dice que la condicin ii)
j
no es otra cosa que la condicin (D) de diferenciabilidad en a.

Definicin 2.9 La funcin f : E F se dice diferenciable (o derivable) en


o

el punto a A si existe una aplicacin lineal y continua J : E F tal que


(D)

f (a + h) f (a) J(h)
= 0.
h0
khk
lm

Teniendo en cuenta la proposicin anterior si f es diferenciable en el punto


a existe nica aplicacin lineal J con esta propiedad, la aplicacin J(h) =
Dh f (a), que en lo sucesivo se denotar por Df (a) y se llamar la diferencial de f en a. En dimensin finita, es decir cuando E = Rn , ya
sabemos que Df (a) est determinada por la matriz jacobiana, es decir
P
f
(a)hj .
Df (a)(h) Df (a)h = nj=1 x
j
Proposicin 2.10 Una funcin diferenciable en un punto a es continua
en ese punto. De hecho, existe alguna bola centrada en B(a, r) y alguna
constante M 0 tal que si x B(a, r), entonces kf (x) f (a)k M kx ak.

2.10

La Diferencial de Frchet

33

Demostracin. Por la diferenciabilidad de f en a existe r > 0 tal que si


kx ak r entonces
kf (x) f (a) Df (a)(x a)k
1
kx ak
kf (x) f (a) Df (a)(x a)k kx ak.
Sea V = B(a, r) y x V , entonces teniendo en cuenta que Df (a) es lipschitziana, se tiene
kf (x) f (a)k kf (x) f (a) Df (a)(x a)k + kDf (a)(x a)k
(1 + K)kx ak.

Ejercicio. Sean las funciones


xyz
;
+ y4 + z4
xyz
f2 (x, y, z) = 2
;
x + y2 + z2
xyz 2
f3 (x, y, z) = 2
;
x + y4 + z4

f1 (x, y, z) =

x2

f1 (0, 0, 0) = 0
f2 (0, 0, 0) = 0
f3 (0, 0, 0) = 0.

1. Probar que todas las funciones anteriores admiten derivadas en (0, 0, 0)


en todas las direcciones.
2. La nica funcin que no es continua en (0, 0, 0) es f1 .
3. Comprobar que la aplicaciones T2 (u) = Du f2 (0, 0, 0) no es lineal y por
tanto f2 no es diferenciable en (0, 0, 0).
4. Estudiar cuales de las funciones fi satisfacen la igualdad Du fi (0, 0, 0) =
fi
fi
fi
x (0, 0, 0)h + y (0, 0, 0)k + z (0, 0, 0)p, siendo u = (h, k, p).
5. Comprobar que T3 (u) = Du f3 (0, 0, 0) es lineal, pero f no es dife3 (a)Du f3 (a)
renciable en (0, 0, 0) es decir lmu0 f3 (a+u)fkuk
6= 0, a =
(0, 0, 0); u = (h, k, p).
2 (a)Du f2 (a)
6. Comprobar que lmu0 f2 (a+u)fkuk
= 0, a = (0, 0, 0); u =
(h, k, p), aunque f2 no es diferenciable en (0, 0, 0) (Observar que T2 (u) =
Du f2 (0, 0, 0) no es lineal).

34

1.4.

La Diferencial de Frchet

2.10

Operaciones con funciones diferenciables

Todas las operaciones permitidas para las funciones derivables de 1variable sern vlidas para las funciones diferenciables definidas entre espacios normados:
2.11 Si f, g son funciones diferenciables en a entonces f + g es diferenciable
en a, ya que la aplicacin lineal Df (a) + Dg(a) satisface la condicin de
diferenciabilidad (D) para f +g. Del mismo modo sucede con f (ejercicio).
o

2.12 Sea f : A Rn Rp , diferenciable en a A. Si B f (A) y g : B


o

Rp F es diferenciable en b = f (a) B entonces g f es diferenciable en


a y se tiene que
(2.5)

D(g f )(a) = Dg(f (a)) Df (a)

(Regla de la Cadena).

Demostracin. De acuerdo a la proposicin 2.8 slo tenemos que probar que


g f satisface en a la condicin de diferenciabilidad respecto a la aplicacin
lineal y continua J(h) = (Dg(f (a)) Df (a))h, es decir:
lm

xa

(g f )(x) (g f )(a) J(x a)


= 0.
kx ak

En efecto, teniendo en cuenta que


(g f )(x) (g f )(a) (Dg(f (a) Df (a))(x a)
kx ak

g(f (x)) g(f (a)) Dg(f (a) Df (a)(x a)
=
kx ak
g(f (x)) g(f (a)) Dg(f (a)(f (x) f (a))
=
kx ak

Dg(f (a)) f (x) f (a) Df (a)(x a)
+
,
kx ak
bastar ver que cada uno de los sumandos en la expresin ltima tiende a 0
cuando x tiende a a. Consideremos la funcin
(y) =

g(y) g(b) Dg(b)(y b)


si y 6= b;
ky bk

(b) = 0.

La diferenciabilidad de g en b implica que es continua en 0. Por otra parte,


teniendo en cuenta que en algn entorno U de a existe un M 0 tal que

2.13

La Diferencial de Frchet

35

kf (x) f (a)k M kx ak se sigue que si x U




g(f (x)) g(f (a)) Dg(f (a))(f (x) f (a))




kx ak


kf (x) f (a)k

=
(f (x))

M k(f (x))k.
kx ak

Y puesto que lmxa (f (x)) = (lmxa f (x)) = (f (a)) = 0, se deduce


que el primero de los sumandos tiende a 0 cuando x tienda a a.
Y en cuanto al segundo sumando:


Dg(f (a)) f (x) f (a) Df (a)(x a)


lm
xa
kx ak


f (x) f (a) Df (a)(x a)
= lm Dg(f (a))
xa
kx ak


f (x) f (a) Df (a)(x a)
= Dg(f (a)) lm
= Dg(f (a))(0) = 0.
xa
kx ak
En particular, la igualdad D(g f )(a) = Dg(f (a)) Df (a) nos dice que
que la matriz jacobiana de g f (la matriz de la aplicacin lineal D(g f )(a))
es el producto de las matrices jacobianas de g en f (a) por la jacobiana de f
en a.
(g f )
(g f ) 
(a), . . . ,
(a) =
x1
xn

f1
f1
(a)

(a)
x1
xn

 f2
f2

g
(a)

(a)

,
(f (a)) x1
xn

yp
. . . . . . . . . . . . . . . . . . .

fp
fp
(a)
(a)
x1
xn

g
(f (a)),
y1

Esta igualdad matricial nos permite escribir entonces lo que podemos llamar
la regla de la cadena para derivadas parciales:
p

X g
(g f )
fs
(a) =
(f (a))
(a).
xj
ys
xj
s=1

Nota. Observar, no obstante, que la demostracin dada para 2.12 es vlida


aunque los espacios normados no sean de dimensin finita.

36

La Diferencial de Frchet

2.13

2.13 Una funcin f = (f1 , . . . , fp ) es diferenciable en un punto a si y slo


si las funciones coordenadas f1 , . . . , fp son diferenciables en a.
Demostracin. Es inmediato comprobar que si las funciones fi son diferenciables, entonces la aplicacin lineal y continua
J(h) = (Df1 (a)h, Df2 (a)h, . . . , Dfp (a)h)
satisface la condicin de diferenciabilidad en a para la funcin f = (f1 ,
. . . , fp ). Recprocamente si f es diferenciable en a, entonces cada fi es diferenciable en a pues fi = i f , donde i es la proyeccin i-sima que es
lineal y continua y por tanto diferenciable en todo punto, segn el lema que
damos ms abajo.
2.14 Si f, g son funciones escalares diferenciables en el punto a entonces el
producto f g y el cociente f /g (si g(a) 6= 0) son diferenciables en a.
Demostracin. La aplicacin f g se obtiene por la composicin x (f (x),
g(x)) f (x)g(x). La segunda funcin no es ms que la aplicacin de R2 en
R producto de dos nmeros reales, que veremos en el lema de abajo que es
diferenciable en todo punto. La primera es diferenciable en a pues se trata
de una funcin con dos funciones coordenadas f, g, que por hiptesis son
diferenciables en a. Para el cociente Basta ver que si g(a) 6= 0, entonces la
aplicacin 1/g es diferenciable en a. Escribiendo 1/g como la composicin
de las aplicaciones
1
x g(x)
,
g(x)
eso se sigue de que la aplicacin de R en R, t 1/t, es diferenciable en
R \ {0}.
Lema 2.15 i) Si T es una aplicacin lineal y continua entre los espacios
normados E y F entonces T es diferenciable en cada punto de x E y
DT (x) = T .
ii) La aplicacin producto de nmeros reales es una aplicacin de R2 en
R diferenciable en todo punto.
Demostracin. i) Puesto que
T (x + h) T (x) T (h)
= 0,
khk

2.16

La Diferencial de Frchet

37

Es obvio que se satisface la condicin de diferenciabilidad en x con T =


DT (x).
p
p
ii) Sea p : R2 R; p(x, y) = xy. Entonces x
(a, b) = b y y
(a, b) = a,
por lo que
p
(a, b)h +
p((a, b) + (h, k)) p(a, b) ( x

p
y (a, b)k)

khk
(a + h)(b + k) ab (bh + ak)
hk
=
=
.
khk
h2 + k 2
Puesto que lm(h,k)(0,0) hhk
= 0, se tiene que p satisface la condicin de
2 +k 2
diferenciabilidad en (a, b).
Nota. No consideraremos aqu la diferenciabilidad de la inversa de una funcin, ya que el estudio de funciones inversas ser el objeto de otro captulo
posterior.
2.16 Los resultados anteriores nos permitirn construir una extensa familia
de funciones diferenciables. Empecemos, por ejemplo, con los polinomios:
Como se sabe un polinomio de varias variables es una aplicacin de la forma
f (x1 , x2 , . . . , xn ) =

ai1 ...in xi11 . . . xinn ,

ik = 0, 1, . . .

finita

Puesto que la suma y el producto de aplicaciones diferenciables es una aplicacin diferenciable, es evidente que los polinomios son diferenciables ya que
las aplicaciones
(x1 , x2 , . . . , xn ) ai1 ...in
(x1 , x2 , . . . , xn ) xik
lo son, como fcilmente puede verificarse.
Aplicando 2.14, las funciones racionales (cocientes de dos polinomios)
son diferenciables sobre el conjunto de puntos donde el polinomio del denominador no se anula.
Por ltimo, mediante la composicin de las funciones anteriores con funciones de una variable y diferenciables, se obtienen nuevas funciones de varias
variables y diferenciables
sen (x2 + y 2 ),

log(1 + x2 + y 2 ),

1
,
1 + cos2 (xyz)

...

38

1.5.

La Diferencial de Frchet

2.16

Interpretacin geomtrica de la diferenciabilidad

Es bien conocido que una funcin de una variable f es derivable en un


punto a si y slo si su grfica admite una recta tangente (no vertical) en
el punto (a, f (a)). De igual forma el hecho de que una funcin (escalar)
z = f (x1 , . . . , xn ), de n-variables, sea diferenciable en un punto a significa
en trminos geomtricos que existe un hiperplano de Rn+1 de ecuacin z =
f (a1 , . . . , an ) + J(x1 a1 , . . . , xn an ) (J lineal), tangente a la grfica de
f en el punto c = (a, f (a)). Previamente debemos formalizar la nocin de
tangencia, a fin de que la condicin de diferenciabilidad: existe J tal que
f (a + h) f (a) J(h)
= 0,
h0
khk
lm

pueda interpretarse en el sentido geomtrico anterior.


Definicin 2.17 Llamaremos curva de Rk (k > 1) a toda aplicacin continua : I R Rk , donde I es un intervalo de R. Podemos pensar en
(t) = (x1 (t), . . . , xk (t)) como en la posicin de un mvil en el instante de
tiempo t. Al subconjunto de Rk imagen de
T () = {(x1 (t), . . . , xk (t)) : t I}
se le denomina la traza de la curva.
(Idntica definicin para curva en un espacio normado).
o

Si es derivable en un punto t0 I diremos que el vector 0 (t0 ) =


0
(x1 (t0 ), . . . , x0k (t0 )) es tangente a la curva en c = (t0 ). Es fcil ver que el
vector 0 (t0 ) es, conforme a la idea intuitiva que se tiene de tangencia, un
vector tangente a la traza.
Ejemplo 2.18 Si la funcin de 1-variable f : I R R es continua en el
intervalo I entonces su grfica es la traza de una curva de R2 .
Obviamente la grfica de f, Gr(f ) = {(x, f (x)) : x I}, es la traza de
la curva : I R R2 , (x) = (x, f (x)).
Definicin 2.19 Un vector w de Rk se dir tangente al conjunto M Rk
en el punto c M , si existe alguna curva : I R Rk contenida en M
que pasa por c y tiene a w como vector tangente en c i.e.,
i) (t) M para cada t,
ii) existe t0 I tal que (t0 ) = c,
iii) es derivable en t0 y 0 (t0 ) = w.

2.20

La Diferencial de Frchet

39

Geomtricamente, un vector tangente a M en c es pues un vector tangente a alguna curva trazada sobre M pasando por c (ver ejercicio 2M para
una definicin ms general de vector tangente.) Al conjunto de vectores
tangentes a M en el punto c M se le denotar por Tc (M ).
Proposicin 2.20 Sea f : A R2 R una aplicacin diferenciable en el
o
punto a = (x0 , y0 ) A, M la grfica de f y c = (a, f (a)) = (x0 , y0 , f (x0 , y0 )).
Entonces el conjunto de vectores tangentes a M en c, Tc (M ), es el plano
vectorial director del plano afn Ac (M ) que pasa por c y tiene de ecuacin
z = f (a) + Df (a)(x x0 , y y0 ) = f (a) +

f
f
(a)(x x0 ) +
(a)(y y0 ).
x
y

Demostracin. Es claro que el plano vectorial director de Ac (M ) es L =


{(x, y, z) : z = Df (a)(x, y). Veamos primero que L Tc (M ). En efecto, sea
w = (h, k, p) L es decir tal que p = Df (a)(h, k) y consideremos la curva
(t) = (x0 + th, y0 + tk, f (x0 + th, y0 + tk)).
Obviamente es una curva contenida en M que pasa por c = (x0 , y0 , f (x0 , y0 )).
Geomtricamente podemos obtenerla mediante la interseccin de M con el
plano perpendicular al XY y contiene a la recta x = x0 +th; y = y0 +tk; z =
0. Observemos que es derivable en t = 0,
f (x0 + th, y0 + tk) f (x0 , y0 ) 
t0
t
= (h, k, D(h,k) f (a)) = (h, k, Df (a)(h, k)) Tc (M ).
0 (0) = h, k, lm

Veamos ahora que Tc (M ) L. Sea w = (h, k, p) Tc (M ) y, por


tanto, sea : I R R3 : (t) = (x(t), y(t), z(t)) una curva cuya
traza est contenida en M es decir z(t) = f (x(t), y(t)) y tal que en alo

gn punto t0 I (t0 ) = (x(t0 ), y(t0 ), z(t0 )) = c = (x0 , y0 , f (x0 , y0 )) y


0 (t0 ) = (x0 (t0 ), y 0 (t0 ), z 0 (t0 )) = (h, k, p).
Se trata pues de ver que de lo anterior se deduce que p = Df (a)(h, k).
En efecto, puesto que z(t) = f (x(t), y(t)), aplicando la regla de la cadena se
tiene que p = z 0 (t0 ) = Df (x(t0 ), y(t0 ))(x0 (t0 ), y 0 (t0 )) = Df (x0 , y0 )(h, k).
Observar que el plano vectorial Tc (M ) de la funcin f no contiene al
vector (0, 0, 1). Por eso, la interpretacin geomtrica que acabamos de dar
del hecho de que f sea diferenciable en a suele expresarse diciendo que la
grfica de f admite un plano tangente no vertical en el punto c = (a, f (a)).

40

La Diferencial de Frchet

2B

La proposicin anterior se extiende a ms variables y a funciones entre


espacios normados con idntica demostracin. El enunciado preciso es el
siguiente:
Proposicin 2.21 Si f : A E F es una aplicacin diferenciable en
o
el punto a A, M E F es la grfica de f y c = (a, f (a)), entonces el
conjunto de vectores tangentes a M en c, Tc (M ), es un subespacio vectorial
de E F isomorfo a E, que no contiene vectores de la forma (0, v) con v 6= 0.
Tc (M ) es asimismo el espacio vectorial director de la variedad afn de E F
de ecuacin z = f (a) + Df (a)(x a).

Ejercicios
2A Estudiar continuidad y existencia de derivadas parciales para las funciones
(
ln(1 + (x y)2 ) si x y > 1
1. f (x, y) =
x y + ln 2
si x y 1
p
2. f (x, y) = x4 + sen 2 xy

3
x
si (x, y) 6= (0, 0)
2
3. f (x, y) = x + y 2

0
si (x, y) = (0, 0)
(
sen xsen y
si x 6= y
xy
4. f (x, y) =
cos x
si x = y
2B Supongamos que f es una funcin escalar de dos variables, continua en el punto
(0,0), y sea g(x, y) = xf (x, y). Probar que g es diferenciable en (0,0).
o

2C Sean E, F espacios normados, f : A E F y a A.


(a) Si f es diferenciable en a, probar que
f (a + h) f (a)
lm
=
h0
khk

(
0
No existe

si Df (a) = 0
si Df (a) 6= 0

(b) Probar que si f admite derivadas en a siguiendo cualquier vector y


()

lm

h0

kf (a + h) f (a)k
= 6= 0
khk

entonces kDh f (a)k = khk, para todo h E.

2F

La Diferencial de Frchet

41

(c) Deducir de (b) que si dim E > dim F y f satisface () entonces f no puede
ser diferenciable en a.
Indicacin. De ser diferenciable en a, existira algn vector no nulo en el
ncleo de Df (a).
(d) Si f es diferenciable en a, entonces son equivalentes:
i) Existe lmh0

kf (a + h) f (a)k
khk

ii) kDf (a)hk = kDf (a)kkhk para todo h E.


(e) Considerar las funciones
f1 (x, y) =

(p
x2 + y 2 ;

f2 (x, y) =

x2 + y 2
p
x2 + y 2

si x 0
si x < 0

Probar que ambas funciones satisfacen la condicin () en (0,0), cuando se


considera la norma eucldea en R2 . Ninguna de las dos funciones son diferenciables en (0,0), pero mientras que la funcin f1 no admite derivadas
direccionales, la funcin f2 s.
2D Probar que la funcin f (x) = x3/2 sen 1/x,
no es lipschitziana en ningn entorno de 0.

f (0) = 0 es derivable en 0, pero

2E Estudiar continuidad, existencia de derivadas parciales, existencia de derivadas


direccionales y diferenciabilidad en el origen de coordenadas, para cada una de las
funciones siguientes. (Supondremos que todas estas funciones toman el valor 0 en
el origen)
x4 + x2 y 2 + y 5
x2 + y 4
4
x + y4
3. f (x, y) = 2
x + y2
ln(1 + xy)
5. f (x, y) = p
x2 + y 2
2
(x + y 3 )(x2 + y 2 )
7. f (x, y) =
x2 + y 4

1. f (x, y) =

2F

x3 y 3
x2 + y 2
sen (x3 + xyz)
4. f (x, y) = 2
x + y2 + z2
ln(1 + xy)
6. f (x, y) = p
3
x2 + y 2
xy
p
8. f (x, y) =
2
x + x2 + y 2
2. f (x, y) =

1. Estudiar la diferenciabilidad de la funcin f (x, y) = sen |x2 y 2 |, en los


puntos (0,0) y (1,1).

2. Estudiar la diferenciabilidad en (0,0) de la funcin f (x, y) = |xy| , segn los


valores de 0.

42

La Diferencial de Frchet

2F

3. Estudiar continuidad, existencia de derivadas parciales, existencia de derivadas direccionales y diferenciabilidad en los puntos (0,0) y (0,1), para la
funcin
(p
x4 + sen 2 (xy)
si x 0
p
f (x, y) =
x4 + sen 2 (xy) si x < 0
2G Demostrar que la funcin
x5 y 3
f (x, y) = p
;
x6 + y 4

f (0, 0) = 0

es diferenciable en (0,0).
Indicacin: Probar que
0

x6 + y 4 y 2 |x|3 ,

x, y.

2H En este ejercicio g y sern en todos los casos una funcin escalar diferenciable
en todo punto (aunque no siempre del mismo nmero de variables). Supuesto esto, se
trata de probar que la funcin h construida a partir de g es tambin diferenciable y
de calcular sus derivadas parciales en trminos de las funciones g y y sus derivadas
parciales:
1. h(x, y, z) = g(x2 z, sen xyz)

2. h(x, y, z) = g(x + y z 2 )

3. h(x) = g(x3 , sen x, x 1)

4. h(x) = g(x2 , g(x, sen x))

5. h(x, y) = g(x2 , g(x, sen y))

6. h(x, y, z) = xg(xy) + yg(xz) + zg(yz)

7. h(x) = xg(x + g(x))

8. h(x, y, z) = g(x, y) + g(x, z) + g(y, z)

9. h(x, y) = g(x + (x, y))

10. h(x, y) = g(x, y(x, y))

2I Como en el ejercicio anterior, g y denotarn funciones escalares diferenciables


en todo punto. Sean:
(a) h(x, y, z) = g(xy, (yz)), con
(0) = 0 ;

0 (0) = 1 ;

Dg(0, 0) (2, 3)

Calcular las derivadas parciales de h en (0, 1, 0).


(b) h(x, y) = x g(x, y, y), con
g(1, 0, 0) = 1 ;

Dg(1, 0, 0) (1, 2, 2).

Calcular las derivadas parciales de h en (1, 0).

2M

La Diferencial de Frchet

43

(c) h(x, y, z) = g(xz, g(y, z)), con


g(0, 1) = 0 ;

Dg(0, 0) (1, 2) ;

Dg(0, 1) (3, 4).

Calcular las derivadas parciales de h en (0, 0, 1).


2J Probar que la funcin
Z
h(x, y) =

x+y

et

+x

dt

es diferenciable en cada punto y calcular su diferencial.


Indicacin: Tener en cuenta el teorema fundamental del clculo integral:
R x Si f es
una funcin continua en el intervalo [a, b], entonces la funcin F (x) = a f (t)dt es
derivable y su derivada es F 0 (x) = f (x).
2K Considerar la funcin f (x, y) = x2 2y.
(a) Obtener la ecuacin del plano tangente a la grfica de f en el punto (0,1,-2).
(b) Calcular la derivada de f en (0,1) siguiendo el vector v = (2, 3).
(c) Encontrar alguna curva sobre la grfica de la funcin f , que pase por el punto
(0,1,-2) y tenga como vector tangente en ese punto a (2, 3, D(2,3) f (0, 1)).
2L Estudiar la existencia de derivadas direccionales en (0,0) para las funciones
p
p
f1 (x, y) = 3 x3 + y 3 ; f2 (x, y) = 3 x3 + y 4
Son diferenciables en (0,0)?
Indicacin: Para estudiar la diferenciabilidad de f2 en (0,0), puede resultar til
saber
que,si r es un nmero real > 0 y denotamos por g a la funcin g(u) =

3
u + r 3 u, entonces g es no negativa y alcanza un mximo absoluto en el punto
u = r/2.
2M (Una definicin ms general de vector tangente) Sea M un subconjunto
de un espacio normado G, c M y v G. Se dir que v es tangente a M en c, si
existe una sucesin {zn } de puntos de M y una sucesin de escalares {n > 0} tal
que:
zn c, n (zn c) v.
Se denotar por Tc (M ) al conjunto de vectores tangentes a M en c.
(a) Probar que un vector no nulo v es tangente a M en c si y slo si existe una
sucesin {zn } M, zn 6= c tal que
zn c,

zn c
v.
kzn ck

44

La Diferencial de Frchet

2M

(b) Sea : (a, b) R G una curva contenida en M que pasa por el punto
c M . Para concretar, sea c = (t0 ). Probar que si es derivable en t0
entonces el vector v = 0 (t0 ) es un vector tangente a M en c.
(c) Sean E, F espacios normados y f : A E F una aplicacin continua y
o

derivable siguiendo un vector h en el punto a A. Probar que el vector


(h, Dh f (a)) es un vector tangente en el punto c = (a, f (a)) a la grfica de la
funcin f .
(e) Sea f : A E F una funcin diferenciable en un punto a y M su grfica:
1. Demostrar que el conjunto de los vectores tangentes a M en el punto
c = (a, f (a)) es el subespacio vectorial isomorfo a E,
Tc (M ) = {(h, Df (a)h) : h E}.
2. Demostrar que el vector v es tangente a M en c = (a, f (a)) si y slo si v
es tangente en c a alguna curva contenida en M que pasa por c.

2.24

2.

La Diferencial de Frchet

45

El Teorema del Valor Medio

Comenzaremos esta seccin recordando dos versiones del teorema del


valor medido para funciones de 1-variable y por tanto ya conocidas:
2.22 Sea f : [a, b] R R una funcin continua en [a, b] y derivable en
(a, b). Entonces:
(i) Existe algn punto c (a, b) tal que f (b) f (a) = f 0 (c)(b a).
(ii) Si adems existe alguna constante M tal que |f 0 (x)| M para todo
x (a, b), entonces |f (x) f (y)| M |x y|, x, y [a, b] (Frmula
de los incrementos finitos)
En este tema extenderemos a las varias variables la frmula de los incrementos finitos. Esta extensin, a la que nos referiremos como teorema del
valor medio estar presente en mayor o en menor medida, como suceda para
1-variable, en gran parte de los resultados del Calculo Diferencial en varias
variables. En el enunciado del teorema necesitaremos referirnos a la nocin
de segmento:
Definicin 2.23 En un espacio vectorial E se denomina segmento de extremos a, b, al conjunto
[a, b] = {a + t(b a) : t [0, 1]} = {(1 t)a + tb : t [0, 1]}.
Llamaremos segmento abierto de extremos a y b al conjunto (a, b) = [a, b] \
{a, b}. El conjunto A se dir convexo si para cada par de puntos de A, el
segmento que los une est totalmente contenido en A.
Proposicin 2.24 Toda bola es un conjunto convexo.
Demostracin. Sean x, y dos puntos de la bola B(a, r) y sea z = (1t)x+ty
un punto del segmento [x, y]. Entonces
kz ak = k(1 t)x + ty ((1 t)a + tak
(1 t)kx ak + tky ak < (1 t)r + tr = r.
El primero de los resultados (2.22 (i)) se extiende tal cual a funciones
escalares de varias variables. Pero no es cierto, en general, para funciones
vectoriales.

46

La Diferencial de Frchet

2.25

Teorema 2.25 Sea [a, b] un segmento de Rn y f : A Rn R una funcin


o

continua en [a, b] A y derivable en (a, b). Entonces existe algn punto


c (a, b) tal que f (b) f (a) = Df (c)(b a).
Demostracin. Consideremos la aplicacin : [0, 1] R [a, b] Rn definida por (t) = a + t(b a) = (a1 + t(b1 a1 ), . . . , an + t(bn an )). Esta
aplicacin es claramente derivable en [0,1], siendo 0 (t) = ba. Sea g = f ,
g es una funcin escalar de una variable que es continua en [0, 1] y derivable
en (0, 1), pues f es continua en cada punto (t) con t [0, 1] y derivable en
(t) con t [0, 1]. Aplicando la regla de la cadena se tiene que
g 0 (t) =

X f

xj

((t))(bj aj ).

Aplicando ahora el teorema de valor medio para funciones escalares de una


variable a la funcin g en [0, 1], se tiene que existe algn (0, 1)
f (b)f (a) = g(1)g(0) = g 0 () =

X f

xj

(())(bj aj ) = Df (())(ba).

En cuanto al segundo de los resultados (2.22 (ii)) se extiende, sin ninguna


restriccin, a funciones con valores en un espacio normado F , aunque aqu
slo lo demostraremos para F = (Rp , k k ):
Teorema 2.26 Sea [a, b] un segmento de Rn y f : A Rn Rp una funcin
o

continua en [a, b] A y derivable en (a, b). Si para para algn M 0 se


tiene


f

i

(x) M,

xj

x (a, b); i = 1, . . . , p ; j = 1, . . . , n.

Entonces
(2.6)

kf (b) f (a)k M kb ak1 .

Demostracin. Es una consecuencia directa del teorema anterior (Teorema


2.25) aplicado a cada funcin coordenada de la funcin f . En efecto si f =
(f1 , f2 , ..., fp ), entonces para cada i = 1, . . . , p, existe algn punto ci (a, b)
P fi
tal que fi (b) fi (a) =
xj (ci )(bj aj ), luego
kf (b) f (a)k = m
ax |fi (b) fi (a)|
1ip

M |bj aj | = M kb ak1 .

2.27

La Diferencial de Frchet

47

El siguiente teorema no es una extensin a varias variables de alguno ya


conocido para 1-variable:
Teorema 2.27 Sea [a, b] un segmento de Rn y f : A Rn Rp una funcin
o

continua en [a, b] A. Supongamos que existe algn abierto U tal que [a, b]
U A en el que las derivadas parciales de f existen y estn acotadas, es
decir existe M 0 tal que



f

i
(x) M,


xj

x U ; i = 1, . . . , p ; j = 1, . . . , n.

Entonces kf (b) f (a)k M kb ak1 .


Demostracin. Puede suponerse que f es una funcin escalar, pues si el
teorema fuese cierto para funciones escalares, entonces para una funcin
vectorial, f = (f1 , f2 , ..., fp ), se tendra tambin:
kf (b) f (a)k = m
ax |fi (b) fi (a)| M kb ak1 .
1ip

(i) Etapa 1:
Supongamos en primer lugar que el segmento [a, b] est contenido en
algn n-rectngulo cerrado R contenido a su vez en U . Por definicin, un
n-rectngulo (cerrado) es un producto cartesiano de n intervalos (cerrados)
de R, es decir un conjunto de la forma
R = [c1 , d1 ] . . . [cn , dn ].
Por tanto un punto z = (zi ) est en R si y slo si ci zi di , para todo i.
Entonces
f (a) f (b) =f (a1 , a2 , . . . , an ) f (b1 , a2 , . . . , an )
(2.7)

+ f (b1 , a2 , . . . , an ) f (b1 , b2 , a3 , . . . , an )
..................................................
+ f (b1 , b2 , . . . , bn1 , an ) f (b1 , . . . , bn ).

Evidentemente cada uno de los nuevos puntos que utilizamos en esta descomposicin pertenecen a R, y en cada paso los dos puntos que aparecen
slo se diferencian en una de las coordenadas. Entonces, la existencia de derivadas parciales en cada punto de R, nos permite aplicar en cada uno de los
pasos anteriores el teorema de valor medio para funciones de una variable,
en efecto vayamos al primer paso y consideremos la funcin de la variable

48

La Diferencial de Frchet

2.27

x1 , F1 : x1 f (x1 , a2 , . . . , an ). Obviamente esta funcin y su derivada est


f
bien definida en [c1 , d1 ] ya que F10 (x1 ) =
(x1 , a2 , . . . , an ) y las derivadas
x1
parciales existen en cada punto de R U . Puesto que a1 , b1 [c1 , d1 ] y
|F10 (x1 )| M si x1 [c1 , d1 ], aplicando a F1 el teorema del valor medio
(2.22)(ii) se tiene que
|f (a1 , a2 , . . . , an ) f (b1 , a2 , . . . , an )| = |F1 (a1 ) F1 (b1 )| M |a1 b1 |
Procediendo de igual modo con cada lnea de (2.7) obtendramos
|f (b1 , . . . , bj1 , aj , . . . , an ) f (b1 , . . . , bj , aj+1 , . . . , an )|

M |aj bj | = M ka bk1 .

Etapa 2:
Veamos ya que la desigualdad anterior se verifica en el caso general. Para
ello vamos a utilizar el siguiente
Lema 2.28 Si el segmento [a, b] est contenido en el abierto U , entonces
existe algn > 0 tal que para todo x [a, b], el n-cubo (cuadrado en R2 )
B [x, ] est contenido en U .
1
p kb

En consecuencia es fcil ver que si p es un nmero natural tal que


ak , los puntos del segmento [a, b]:

1
1
1
a = c0 , c1 = c0 + (b a), c2 = c1 + (b a), . . . , cp = cp1 + (b a) = b
p
p
p
tienen la propiedad siguiente: Cada dos consecutivos pertenecen a un mismo n-cubo cerrado contenido en U . Entonces, conforme a lo probado en la
Etapa 1 , se tiene:
kf (a) f (b)k kf (c0 ) f (c1 )k + kf (c1 ) f (c2 )k +
M kc1 c0 k1 + M kc2 c1 k1 +
1
1
= M ( ka bk1 + ka bk1 + )
p
p
= M ka bk1 .
Demostracin del Lema. Supongamos que para cada p existe un dp [a, b]
y un yp B [dp , p1 ] tal que yp U c . Sea dp = a + tp (b a) con tp [0, 1].
Puesto que [0, 1] es compacto la sucesin {tp } tiene una subsucesin {tpk }

2.30

La Diferencial de Frchet

49

que converge a un punto s de [0, 1] y por lo tanto {dpk } converge al punto


d = a + s(b a) de [a, b] (comprobarlo como ejercicio). Tambin
kypk dk kypk dpk k + kdpk dk

1
+ kdpk dk 0,
pk

lo que nos dice que la sucesin {ypk } de puntos de U c converge a d. Pero esto
es absurdo, pues como d U y U es abierto cualquier sucesin que converja
a d debe tener sus trminos a partir de uno en adelante contenidos en U .
Nota. Los teoremas 2.26 y 2.27 pueden extenderse a funciones con valores en
un espacio normado de cualquier dimensin (F, k k). En tal caso la hiptesis
sobre las derivadas parciales habra habra de ser
k

f
(x)k M,
xj

para cada x bien en (a, b) o en algn abierto conteniendo a [a, b], segn
estemos en las condiciones del Teorema 2.26 o en las del Teorema 2.27. La
conclusin, la misma:
kf (b) f (a)k M kb ak1 .
La demostracin de este hecho se deduce claramente del siguiente
Lema 2.29 Sea F un espacio normado y f : [a, b] R F una funcin continua en [a, b] y derivable en (a, b). Supongamos que existe alguna constante M tal que kf 0 (t)k M para todo t (a, b), entonces
kf (b) f (a)k M (b a)
Hay varias demostraciones para este lema. Una de ellas, tomada bsicamente
del libro de T.M. Flett [12], puede verse en Manual (Lema 8.10(2) y Teorema
8.12). Otra puede verse en el libro de H. Cartan [5]. La demostracin que
damos a continuacin, quiz la ms corta, es la que se basa en el potente
resultado del Anlisis Funcional conocido como teorema de Hahn-Banach:
2.30 [Hahn-Banach] Sea (E, k k) un espacio normado, L un subespacio
vectorial de E y : L R una forma lineal continua sobre L tal que
|(u)| kuk para cada u L. Entonces puede extenderse a una forma
lineal y continua en todo E y tal que |(x)| kxk para cada x E.

50

La Diferencial de Frchet

2.30

Demostracin Lema 2.29 Sea h = f (b) f (a) F , L =< h > el subespacio


vectorial de F generado por h y : L R definida por (th) = tkhk. Es
obvio que es lineal y continua sobre L y para cada u L, |(u)| = kuk.
Sea : F R la extensin a F que nos proporciona el teorema de HahnBanach y, por tanto, satisfaciendo la desigualdad |(x)| kxk para todo
x E. Puesto que toda aplicacin lineal y continua es diferenciable en cada
punto, la aplicacin g = f es una funcin continua en [a, b] y derivable
en (a, b) y que toma sus valores en R. Adems,
|g 0 (t)| = |D(f (t))(f 0 (t))| = |(f 0 (t))| kf 0 (t)k M.
Por tanto, de 2.22(ii) se deduce que
kf (b) f (a)k = |(f (b) f (a))| = |g(b) g(a)| M (b a).

2.1.

Consecuencias

2.31 Sea U un conjunto abierto convexo de Rn y f : U Rp una funcin


que admite derivadas parciales acotadas en U . Entonces f es lipschitziana
en U.
Demostracin. Basta aplicar el apartado (i) del teorema anterior en el segmento [x, y] para cada x, y U .
2.32 Si todas las derivadas parciales de una funcin f : U Rn Rp son
nulas en el abierto conexo U , entonces f es constante sobre U .
Demostracin. Por definicin el abierto U se dice conexo si no se puede
descomponer como unin de otros dos abiertos no vacos y disjuntos. Sea
a U y B = {x U : f (x) = f (a). Se trata de probar que B = U . Para
ello, veamos en primer lugar que B es abierto, es decir que si x B entonces
B es entorno de x. Puesto que U es abierto, U es entorno de x y por tanto
existe alguna bola centrada en x, B(x, r(x)) contenida en U . Para que B sea
entorno de x bastar ver que esta bola est contenida en B. Puesto que las
derivadas parciales son nulas (acotadas, por tanto, por M = 0) la funcin
f debe ser, segn 2.25, lipschitziana de constante de Lipschitz M = 0 en
cada abierto y convexo contenido en U , en particular en la bola B(x, r(x)).
Es decir que si y B(x, r(x)) entonces kf (y) f (x)k 0kx yk, luego
f (y) = f (x) y, como f (x) = f (a) ya que x B, se tiene que y B.
Con el mismo argumento se prueba que tambin U \ B es abierto, por
lo que U se escribe como unin de los abiertos disjuntos B y U \ B. Como
U es conexo y B 6= (a B), se tiene que U \ B = o sea que B = U .

2.34

La Diferencial de Frchet

51

Proposicin 2.33 Un conjunto abierto U de Rn es conexo si y slo si es


conexo por arcos i.e., si para cada x, y U existe una curva r : [, ] Rn
de extremos x = r(); y = r() cuya traza est contenida en U .
Demostracin. Ver Manual (Proposicin 1.10).
2.34 [Condicin suficiente de diferenciabilidad] Sea f : A Rn
o

Rp , y a A. Si f admite derivadas parciales, respecto a cualquier ndice, en


un entorno del punto a y stas son aplicaciones continuas en a, entonces f
es lipschitziana en alguna bola centrada en a y diferenciable en a.
Demostracin. Puesto que suponemos que las aplicaciones
fi
f
:x
(x)
xj
xj
son continuas en a debe existir alguna B(a, rij ) tal que si x B(a, rij )
entonces
fi

fi

fi

fi

fi

(x)
(a) 1
(x) 1+
(a) M = (1+m
ax
(a) ).

xj

xj

xj

xj

i,j

xi

Tomando r = mn rij , de 2.31 se deduce entonces que f es lispchitziana en


B(a, r).
Para que f sea diferenciable en a hemos de ver que
f (x) f (a)
(2.8)

lm

f
j=1 xj (a)(xj

Pn

aj )

kx ak

xa

= 0.

Para ello vamos a aplicar de nuevo 2.31 a la funcin


g(x) = f (x) f (a)

n
X
f
j=1

xj

(a)(xj aj ).

Es claro que
fi
fi
gi
(x) =
(x)
(a).
xj
xj
xj
Por tanto, aplicando el hecho de que las derivadas parciales de f son continuas en a, se tiene que para todo > 0 existe algn > 0 tal que si
x V = B(a, ) entonces
gi
fi

f

(x) =
(x)
(a) , i, j.

xj

xj

xj

52

La Diferencial de Frchet

2.34

Se deduce, pues, que la funcin g cumple en V las hiptesis de 2.31, luego


es lipschitziana en V . En particular, si x V
n
X
f

kg(x) g(a)k = f (x) f (a)

j=1

xj

(a)(xj aj ) kx ak1 ,

que, obviamente, significa que f satisface la condicin 2.8.


Nota. Obsrvese que del hecho de que la funcin g de la demostracin anterior sea lipschitziana en V , se deduce que
f (x) f (y)
lm
(x,y)(a,a)

f
j=1 xj (a)(xj

Pn

kx yk

yj )

= 0.

Una funcin que satisface la condicin anterior se dice que es estrictamente


diferenciable en a. Por lo tanto, se ha demostrado que si f es una funcin
cuyas derivadas parciales son continuas en a, entonces f es algo ms de
diferenciable en a, es estrictamente diferenciable en a.
Consecuencia inmediata del teorema anterior es el siguiente
Corolario 2.35 Si todas las derivadas parciales de una funcin f son continuas en un abierto U de Rn entonces f es locamente lipschitziana y diferenciable en U .
Definicin 2.36 (Funcin de clase C 1 ) Sea A un subconjunto de Rn .
Una funcin f se dice de clase C 1 sobre A, lo cual lo expresaremos con
la notacin f C 1 (A), si f admite derivadas parciales en algn abierto que
contiene a A y stas son continuas en cada punto de A.
El siguiente corolario es consecuencia directa del teorema anterior:
Corolario 2.37 Si f es una funcin de clase C 1 sobre A entonces f es
diferenciable en cada punto de A.

2Q

La Diferencial de Frchet

53

Ejercicios
2N (a) Probar que si k k es una norma cualquiera sobre Rn , entonces la aplicacin x kxk es una aplicacin lipschitziana que no admite derivadas
direccionales en 0.
(b) Sea U = {(x, y) R2 : x2 + y 2 < 1} \ {0} [0, 1], y consideremos la funcin
f definida sobre U por
(
y 2 si x > 0 e y 0
f (x, y) =
0 en otro caso
Probar que U es un abierto conexo (no convexo) sobre el que f es continua,
admite derivadas parciales acotadas, pero no es lipschitziana.
2 (a) Probar que si f es una funcin lipschitziana sobre un abierto U de Rn y
admite derivadas parciales, respecto a cualquier ndice, en todo punto de U ,
entonces sus derivadas parciales estn acotadas en U .
(b) Estudiar si la funcin f (x, y, z) = sen(x2 y 2 + z 2 ) es lipschitziana o localmente lipschitziana en R3 .
2O (a) Probar que toda aplicacin lipschitziana f : A E F, donde E y F
son espacios de Banach, se extiende a una aplicacin lipschitziana sobre A.
(b) Sean A, B dos conjuntos no vacos de un espacio normado, con B A, y
supongamos que cada uno de los conjuntos B, A \ B y A es convexo. Probar entonces que una aplicacin f es lipschitziana sobre A si y slo si es
lipschitziana sobre B y sobre A \ B.
(c) Estudiar si las aplicaciones
f (x, y) = sen |x y|,

g(x, y, z) = sen |x2 + y 2 z 2 |

son lipschizianas o localmente lipschitzianas.


2P Consideremos la funcin
(
x sen ln(x2 + y 2 ) si (x, y) 6= (0, 0)
f (x, y) =
0
si (x, y) = (0, 0)
Probar que f es una funcin continua en todo punto, que admite derivadas parciales
acotadas en R2 \ (0, 0) Es lipschitziana?
2Q (a) Sea U un abierto convexo de Rn y supongamos que f, g : U Rp son
dos funciones tales que, en cada punto x U , fi /xj (x) = gi /xj (x),
cualesquiera que sean los ndices i, j. Probar entonces que las funciones f y
g se diferencian en una constante.

54

La Diferencial de Frchet

2Q

(b) Determinar las funciones f : R2 R que satisfacen las ecuaciones


f
(x, y) = 1 ;
x

f
(x, y) = y,
y

(x, y).

2R Sea I un intervalo abierto de R, U un abierto de Rn y f : (t, x) I U f (t, x)


una funcin escalar. Demostrar que si
f
(t, x) = 0,
t

(t, x) I U

entonces f no depende de t, es decir f (t1 , x) = f (t2 , x) cualesquiera que sean


t1 , t2 , x.

2.38

3.

La Diferencial de Frchet

55

Derivadas parciales de orden superior

Conviene tener presente que, por convenio, una funcin f derivable (aunque sea parcialmente) en un punto a debe estar definida en un entorno de
a. Recordemos tambin que la derivada parcial f /xj (a), coincide con la
derivada en el punto aj de la aplicacin:
xj f (a1 , . . . , aj1 , xj , aj+1 , . . . , an ).
o

Sea f : A Rn F, a A. Llamaremos derivada parcial segunda de


f respecto a xi y xj en el punto a, a la derivada respecto xi de la funcin
f /xj en el punto a. Abreviadamente
2f
f 
(a).
(a) =
xi xj
xi xj
Se deduce, pues, que la funcin f es derivable respecto a las variables xi y
xj en el punto a, si y slo si la aplicacin
f
f
:x
(x)
xj
xj
est definida en algn entorno de a y admite derivada parcial respecto a xi
en el punto a.
Ms generalmente, si j1 , j2 , . . . , jr son nmeros naturales (independientes
entre s) comprendido entre 1 y n, definiremos inductivamente

rf

r1 f
(a) =
(a).
xj1 . . . xjr
xj1 xj2 . . . xjr

Cuando el resultado final de una derivacin parcial slo dependa del nmero
de veces que se deriva respecto a cada variable, y no del orden en que se
realiza tal proceso (esto no suceder siempre), cabe utilizar una notacin
abreviada para designar a las derivadas parciales de orden superior. As, en
ese caso, utilizaremos la expresin
rf
(a),
xi11 xi22 . . . xinn
para denotar al resultado de efectuar r derivaciones parciales: in respecto a
xn , in1 respecto a xn1 , etc. y por ltimo i1 derivaciones respecto a x1 .
Por tanto i1 + i2 + + in = r. Algunos de los ik pueden ser iguales a 0, lo

56

La Diferencial de Frchet

2.38

que expresar que no se realiza derivacin alguna respecto a la variable xk


(en cuyo caso omitiremos en la expresin anterior el trmino xikk ).
El teorema ms clsico en relacin al problema de la permutabilidad de
las derivadas es el conocido como teorema de Schwarz o de las derivadas
parciales segundas cruzadas.
Teorema 2.38 (Schwarz) Sea f una funcin escalar de dos variables. Supongamos que para cada (x, y) de alguna bola centrada en el punto (a, b),
existen
f
f
2f
(x, y),
(x, y),
(x, y),
x
y
xy
2f
es continua en (a, b). Entonces tambin existe la
xy
otra derivada cruzada en (a, b), y se verifica que
y que la aplicacin

2f
2f
(a, b) =
(a, b).
yx
xy

Una til consecuencia del teorema de Schwarz es el siguiente resultado


para funciones de n-variables:
Corolario 2.39 Si todas las derivadas parciales de orden r de la funcin
escalar f de n-variables existen en algn entorno de un punto a y son funciones continuas en a, entonces cada derivada parcial de orden r de f en a
es independiente del orden en que se efecten las derivaciones.
(Ver Apuntes 2010: Teoremas de Schwarz).
Observemos que la condicin del corolario anterior para r = 1 es justamente la que denominbamos ondicin suficiente de diferenciabilidad"(2.34).
En la proposicin siguiente vemos qu consecuencias se derivan ahora de esta
condicin sobre las derivadas de orden r.
o

Proposicin 2.40 Sea f : A Rn Rp , y a A. Si todas las derivadas


parciales de orden r de la funcin f existen en algn entorno del punto a y
stas son aplicaciones continuas en a, entonces:
1. Cada derivada de orden r 1 de f , r1 f , es una funcin lipschitziana
en algn entorno de a (luego continua en cada punto de ese entorno)
y diferenciable en a.

2.42

La Diferencial de Frchet

57

2. f y cada derivada parcial de orden s < r 1 es diferenciable en algn


entorno de a.
Demostracin. Consideremos una derivada de orden r1, r1 f . Llamemos,
por ejemplo, a esta aplicacin. Entonces la funcin satisface la condicin

suficiente de diferenciabilidad, ya que x


no es otra cosa que una derivada
j
parcial de orden r de f (que por hiptesis es continua en a):

=
( r1 f ) r f.
xj
xj
Por tanto, segn (2.34) (= r1 f ) es lipschitziana en alguna bola
B(a, ) y diferenciable en a.
Con el mismo argumento, aplicado ahora a cada r1 f , que es continua
en cada punto x B(a, ), se tiene que cada r2 f es diferenciable en
f
x. Y as sucesivamente, cada r3 f, . . . , x
y, finalmente, tambin f , son
j
diferenciables en cada x B(a, ).
Definicin 2.41 (Funcin de clase C r ) Sea A un subconjunto de Rn .
Una funcin f se dice de clase C r (r N \ {0}) sobre A, lo cual lo expresaremos con la notacin f C r (A), si f admite derivadas parciales de
orden r en algn abierto que contiene a A y stas son continuas en cada
punto de A.
De acuerdo con el resultado tipo teorema de Schwarz del corolario anterior y la Proposicin pro:condicion Tr es obvio que
Corolario 2.42 Si f es una funcin de clase C r sobre un conjunto A, entonces en el clculo de la las derivadas parciales de orden r de la funcin f
en cada punto de A o en el las derivadas de orden s < r en cada punto x de
algn abierto que contiene a A, no importa el orden en que se efecten las
derivaciones.

58

La Diferencial de Frchet

2S

Ejercicios
2S Comprobar si en las funciones siguientes se da la igualdad entre las derivadas
parciales cruzadas en (0, 0). Estudiar en cada caso si se satisfacen las condiciones
del teorema de Schwartz.
x2 y 2
; f (0, 0) = 0.
x2 + y 2
2. f (x, y) = x2 y 2 cos 1/x ; f (0, y) = 0.
1
3. f (x, y) = x2 y 2 sen 2 ; f (x, 0) = f (0, y) = 0.
xy
1. f (x, y) = xy

2T Consideremos los operadores diferenciales


f
f
2f
2f
,...,
);
f =
+ +
2
x1
xn
x1
x2n
f
f
F1
Fn
H f = x1
+ + xn
;
div(F1 , . . . , Fn ) =
+ +
x1
xn
x1
xn


F3
F2 F1
F3 F2
F1

rot(F1 , F2 , F3 ) = F =
y
z
z
x
x
y
f = (

A los operadores anteriores se les conoce, en el orden en que han sido definido, como
operador: Gradiente, Laplaciano, Hamiltoniano, Divergencia y Rotacional.
Supuesto que se pueden permutar las derivaciones, demostrar que
1. f = div f

2. div(rot F ) = 0.

3. H H = 2

4. f = 0 ((x21 + + x2n )f ) = 0.