Diferenciabilidad en espacios vectoriales normados

Pedro Gajardo A.
Universidad Tecnica Federico Santa Mara
E-mail address: pedro.gajardo@usm.cl

Indice general
Captulo 1. Diferenciabilidad en espacios vectoriales normados 1
1.1. Introduccion 1
1.2. Derivada parcial con respecto a un vector 1
1.3. Diferencial 3
1.4. Funciones de clase (
1
10
1.5. Composici on de funciones diferenciables 14
1.6. Diferencial Parcial 15
1.7. Teoremas de la funci on inversa y de la funci on implcita 16
1.8. Derivadas parciales de orden superior 20
1.9. Desarrollos limitados 22
Apendice.

Indice alfabetico 27
v
CAPTULO 1
Diferenciabilidad en espacios vectoriales normados
1.1. Introducci on
En el presente documento abordamos el c alculo diferencial de funciones denidas
en un espacio vectorial normado (e.v.n.) con valores en otro e.v.n.
Las siguientes dos secciones denen las nociones fundamentales de este primer
captulo. En la proxima secci on denimos la derivada parcial de una funci on f en un
punto a de su dominio con respecto a un vector v, que denotamos Df(a; v). En la
segunda se dene la diferencial de una funci on en un punto a, que denotamos Df(a).
La diferencial Df(a) es una funci on lineal continua que nos da una aproximaci on
de primer orden de la funci on en el punto a (ver Nota 1.14) y la derivada parcial
Df(a; v) es un vector en el espacio donde f toma sus valores, que nos permite cal-
cular en forma efectiva la diferencial mediante la formula Df(a)(v) = Df(a; v) para
todo v (f ormula (1.12)). En estas secciones se entregan tambien algunas formulas
para el c alculo de la derivada parcial y de la diferencial de la suma de dos funciones,
del producto de una funci on por un escalar, junto con otras reglas de c alculo. El
c alculo para la composici on de funciones (regla de la cadena) es presentado en la
Seccion 1.5.
Por otro lado, se presenta el Teorema del valor medio que es fundamental en
c alculo diferencial. Este teorema s olo es valido para funciones con valores en R.
Una variante de este teorema, para funciones a valores en un espacio vectorial, esta
dado por el Teorema 1.32 llamado de los incrementos nitos.
En la Seccion 1.4 se introducen las funciones de clase C
1
que constituyen la
clase mas importante de funciones diferenciables.
Dos teoremas fundamentales se desarrollan en la Seccion 1.7: el Teorema de la
funci on inversa y el de la funci on implcita.
Haciendo uso de la noci on de derivada de orden superior presentado en la
Seccion 1.8, se dene la noci on de desarrollo limitado de orden N de una funci on
en un punto de su dominio. El resultado fundamental de esta secci on est a dado por
el Teorema 1.73 donde se calcula explcitamente el desarrollo limitado de orden dos
de una funci on de clase C
2
.
1.2. Derivada parcial con respecto a un vector
Definici on 1.1. Dada una funci on f denida en un abierto A de un e.v.n.

E
con valores en un e.v.n.

F, se llama derivada parcial de f en a A, con respecto
al vector v

E, al elemento de

F denido por:
(1.1) Df(a; v) := lm
t0
t=0
f(a + tv) f(a)
t
cuando el lmite existe.
1
2 1. DIFERENCIABILIDAD EN ESPACIOS VECTORIALES NORMADOS
Nota 1.2. Si denimos la funci on :] , [

F por (t) = f(a +tv), es facil
ver que se tiene la formula Df(a; v) =

(0) (la derivada de en 0) seg un el c alculo

de funciones de una variable real. Con esto vemos que cuando

F = R y |v| = 1, la
cantidad Df(a; v) se interpreta como la pendiente de f en a en la direcci on v.
Definici on 1.3. La funci on f de la Denicion 1.1 se dir a parcialmente derivable
en a, si Df(a; v) existe para todo v

E.
Definici on 1.4. Si en la Denicion 1.1 consideramos que

E = R
n
y si deno-
tamos por e
1
, ..., e
n
la base canonica de R
n
, entonces la derivada parcial Df(a; e
i
),
cuando existe, la denotaremos
f
xi
(a)

F o bien
i
f(a) y, la llamaremos derivada
parcial de f en a con respecto a x
i
.
Nota 1.5. De la formula (1.1) observamos que la derivada parcial de f en a
con respecto a x
i
f
x
i
(a) = lm
t0
t=0
f(a + te
i
) f(a)
t
= lm
t0
t=0
f(a
1
, ..., a
i
+ t, ..., a
n
) f(a
1
, ..., a
i
, ..., a
n
)
t
corresponde a la derivada de la funci on de una variable f(a
1
, ..., a
i1
, , a
i+1
, ..., a
n
)
en a
i
.
Nota 1.6. Cuando se habla de la derivada parcial de una funci on f con respecto
a x
i
, se entiende que se trata de la funci on
f
xi
: A

F que a cada x A le hace
corresponder
f
xi
(x)

F.
Teorema 1.7. Si Df(a; v) existe para la funci on f, de la Denici on 1.1,
Df(a; v) tambien existir a para todo R y se tiene la igualdad
(1.2) Df(a; v) = Df(a; v).
Demostraci on. Si = 0, la formula es evidente. Si ,= 0, hacemos el cambio
de variable s = t, y obtenemos
Df(a; v) = lm
s

0
s

=0

f(a + sv) f(a)

s
= lm
s0
s=0
f(a + sv) f(a)
s
= Df(a; v).

Proposici on 1.8. Dadas dos funciones f y g denidas en un abierto A de un

e.v.n.

E, con valores en un e.v.n.

F y, dos elementos a A y v

E tales que
Df(a; v) y Dg(a; v) existen, entonces
(i) D[f + g](a; v) existe y se tiene
(1.3) D[f + g](a; v) = Df(a; v) + Dg(a; v);
1.3. DIFERENCIAL 3
(ii) Para R, D[f](a; v) existe y se tiene
(1.4) D[f](a; v) = Df(a; v);
(iii) Si

F = R, D[fg](a; v) existe y se tiene
(1.5) D[fg](a; v) = g(a)Df(a; v) + f(a)Dg(a; v);
(iv) Si

F = R y f(a) ,= 0, D[1/f](a; v) existe y se tiene
(1.6) D[1/f](a; v) =
1
f
2
(a)
Df(a; v).
Demostraci on. Las formulas (1.3) y (1.4) son una consecuencia directa de la
Denicion 1.1 y de las propiedades del lmite de funciones. Siguiendo la Nota 1.2, si
denimos las funciones (t) = f(a +tv) y (t) = g(a +tv), vemos que las formulas
(1.5) y (1.6) se escriben
()

(0) =

(0)(0) + (0)

(0) y
_
1

(0) =

(0)
(0)
2
respectivamente. Estas dos formulas fueron demostradas en el curso de c alculo de
funciones de una variable real.
Teorema 1.9. Si f es una funci on denida en un abierto A de un e.v.n

E, con
valores en R
m
y, si denotamos f
1
, ..., f
m
las funciones componentes de f, entonces
para a A y v

E, la derivada parcial Df(a; v) existe si y s olo si las derivadas
parciales Df
i
(a; v) existen para todo i = 1, ..., m y, en tal caso, se tiene que
(1.7) Df(a; v) = (Df
1
(a; v), ..., Df
m
(a; v)) R
m
.
Demostraci on. Es una consecuencia directa de la Denicion 1.1.
1.3. Diferencial
Definici on 1.10. Una funci on f denida en un abierto A de un e.v.n.

E,
con valores en un e.v.n.

F, se dir a diferenciable en a A, si existe una funci on
L(

E,

F) ( lineal y continua de

E en

F) tal que para todo



E, con a+

A,
se tenga
(1.8) f(a +

) = f(a) + (

) + o(

)
donde o() es una funci on de

E en

F que verica o(

0) =

0 y
(1.9) lm

0
o(

)
|

|
=

0.
Haciendo el cambio de variable x =a +

A, la relacion (1.8) toma la forma

f(x) = f(a) + (x a) + o(x a) para todo x A.
A la funci on lineal continua (m as adelante veremos que es unica) se le llama
diferencial de f en a y se le denota usualmente Df(a) L(

E,

F) o bien df(a).
La funci on f se dir a diferenciable si es diferenciable en todo punto de A y
llamamos diferencial de f a la funci on de A en L(

E,

F) que a cada x A le hace
corresponder la diferencial Df(x) L(

E,

F) de f en x. A la diferencial de f la
denotaremos Df o df.
4 1. DIFERENCIABILIDAD EN ESPACIOS VECTORIALES NORMADOS
Nota 1.11. La igualdad (1.8) junto con (1.9) equivale a
(1.10) lm

0
f(a +

) f(a) (

)
|

|
=

0
lo que a su vez equivale a decir que: para todo > 0 existe > 0 tal que
(1.11) |

| |f(a +

) f(a) (

)| |

|.
Ejemplo 1.12. Toda funci on L(

E,

F) es diferenciable y se tiene D(a) =
para todo a

E. Esto es una consecuencia inmediata de (1.10) y de la identidad
(a +

) (a) (

) =

0 para todo



E.
Teorema 1.13. Si f es una funci on denida en un abierto A de un e.v.n

E,
con valores en un e.v.n

F, diferenciable en a A, entonces existe una unica funci on
L(

E,

F) que verica (1.8).
Demostraci on. Si
1
y
2
verican (1.8), usando (1.11) que es equivalente a
(1.8), se obtiene facilmente que para todo > 0 existe > 0 tal que
|

| |
1
(

)
2
(

)| |

|
y como |

v
v| para todo v

E no nulo, se tendra
|
1
(

|v|
v)
2
(

|v|
v)| |

|v|
v|
y simplicando por

v
obtenemos
|
1
(v)
2
(v)| |v| para todo v

E
y como esto se tiene para todo > 0, haciendo tender a 0 conclumos que
|
1
(v)
2
(v)| = 0 para todo v

E
es decir,
1
(v) =
2
(v) para todo v

E.
Nota 1.14. La diferencial de f en a permite obtener la aproximaci on lineal
afn o aproximaci on de primer orden de la funci on f en el punto a, que est a dada
por la funci on h :

E

F denida por
h(x) := f(a) + Df(a)(x a)
es decir, la unica funci on lineal afn que verica h(a +

) f(a +

) = o(

).
Dos funciones f y h denidas en un abierto A de un e.v.n.

E con valores en un
e.v.n.

F, se dicen tangentes en a A si f(a +

) h(a +

) = o(

) donde o es una
funci on de

E en

F que verica o(

0) =

0 y la relacion (1.9).
De lo anterior vemos que la aproximaci on de primer orden de la funci on f en
a A corresponde a la funci on lineal afn que es tangente a la funci on f en a.
Geometricamente, este hecho se expresa diciendo que en

E

F, el subespacio
afn denido por el grafo de la funci on lineal afn h, es tangente al grafo de f
en (a, f(a)). Recordemos que el grafo de una funci on f de A en

F es el conjunto
(x, z) A

F : z = f(x). Cuando

F = R decimos que z = h(x) es la ecuaci on
del hiperplano afn tangente al grafo de f en (a, f(a)).
1.3. DIFERENCIAL 5
Nota 1.15. Si en la Denicion 1.10 cambiamos las normas en

E y

F por otras
equivalentes, de (1.11) se desprende facilmente que f sigue siendo diferenciable en
a y, su diferencial en ese punto es la misma.
Teorema 1.16. Si f es una funci on denida en un abierto A de un e.v.n

E,
con valores en un e.v.n

F, diferenciable en a A, entonces ella es continua en a,
parcialmente derivable en a y, se tiene la igualdad
(1.12) Df(a)(v) = Df(a; v) para todo v

E.
Demostraci on. Usando la expresi on (1.11) y haciendo el cambio de variable
x = a +

, obtenemos que para todo > 0 existe > 0 tal que

|x a| |f(x) f(a) Df(a)(x a)| |x a|
|f(x) f(a)| |Df(a)(x a)| |x a|
y como Df(a) es una funci on lineal continua (Lipschitz), obtenemos
|f(x) f(a)| (|Df(a)| + )|x a| x B(a, )
lo que implica que f es continua en a.
Ahora, dado v

E no nulo, para

= tv la relacion (1.10) implica que
lm
t0
t=0
f(a + tv) f(a) Df(a)(tv)
[t[|v|
=

0.
Multiplicando por |v| y usando la linealidad de Df(a) se obtiene
lm
t0
t=0
f(a + tv) f(a)
t
= Df(a)(v)
demostrando que f es parcialmente derivable en a y la igualdad (1.12).
El resultado para v = 0 es evidente.
Nota 1.17. La formula (1.12) nos da la relacion que existe entre la diferencial
de una funci on y su derivada parcial. Su importancia es crucial pues constituye la
unica forma de calcular la diferencial de una funci on en un punto. En el teorema
tambien demostramos que si la diferencial de una funci on existe en un punto de su
dominio implica que ella es continua y parcialmente derivable en ese punto. Para
apreciar cuanto mas fuerte es la diferenciabilidad que la derivabilidad parcial, en el
proximo ejemplo veremos que esta ultima no implica ni siquiera la continuidad.
Ejemplo 1.18. Considere la funci on f : R
2
R denida por f(x
1
, x
2
) :=
x1x
3
2
x
2
1
+x
6
2
si (x
1
, x
2
) ,= (0, 0) y f(0, 0) := 0. Observe que f no es continua en (0, 0)
pero si es parcialmente derivable. En efecto, f(k
1
, k

1
3
) =
k
2
k
2
+k
2
=
1
2
,= f(0, 0)
para todo k N, lo que muestra la discontinuidad de f en (0, 0). Por otra parte
Df(

0; v) = lm
t0
f(tv)f(

0)
t
= lm
t0
t
4
v1v
3
2
t
3
v
2
1
+t
7
v
6
2
= lm
t0
tv1v
3
2
v
2
1
+t
4
v
6
2
= 0 para todo v

E, lo
que muestra que f es parcialmente derivable en (0, 0).
Teorema 1.19. Dadas dos funciones f y g denidas en un abierto A de un
e.v.n

E, con valores en un e.v.n

F, diferenciables en a A, entonces
6 1. DIFERENCIABILIDAD EN ESPACIOS VECTORIALES NORMADOS
(i) f + g es diferenciable en a y se tiene
(1.13) D[f + g](a) = Df(a) + Dg(a);
(ii) Para R, f es diferenciable en a y se tiene
(1.14) D[f](a) = Df(a);
(iii) Si

F = R, entonces f g es diferenciable en a y se tiene
(1.15) D[f g](a) = g(a)Df(a) + f(a)Dg(a);
(iv) Si

F = R y f(a) ,= 0, entonces 1/f es diferenciable en a y se tiene
(1.16) D
_
1
f
_
(a) =
1
f
2
(a)
Df(a).
Demostraci on. Una forma directa de demostrar este teorema consiste en
vericar para cada uno de los cuatro casos la igualdad (1.10). De este modo se
demuestra simult aneamente la diferenciabilidad de cada una de las cuatro funciones
y su respectiva formula.
Los casos (i) y (ii) son los mas faciles y los dejamos como ejercicio.
(iii)
lm

0
(f g)(a +

) (f g)(a) [g(a)Df(a) + f(a)Dg(a)](

)
|

|
=
lm
f(a +

)[g(a +

) g(a) Dg(a)(

)]
|

|
+
g(a)[f(a +

) f(a) Df(a)(

)]
|

|
+
[f(a +

) f(a)]Dg(a)(

)
|

|
= lmf(a +

) lm
g(a +

) g(a) Dg(a)(

)
|

|
+g(a) lm
f(a +

) f(a) Df(a)(

)
|

|
+ lm[f(a +

) f(a)]
Dg(a)(

)
|

|
= 0.
El ultimo lmite de la expresi on anterior es nulo debido a que la continuidad de la
funci on lineal Dg(a) implica que el cuociente
Dg(a)(

es acotado y, la diferenciabil-
idad de f en a implica su continuidad.
(iv)
lm

0
1
f(a+

)

1
f(a)
+
Df(a)(

)
f(a)
2
|

|
= lm
f(a)
2
f(a +

)f(a) + f(a +

)Df(a)(

)
f(a +

)f(a)
2
|

|
=
lm
1
f(a +

)f(a)
2

Df(a)(

)[f(a +

) f(a)] f(a)[f(a +

) f(a) Df(a)(

)]
|

|
=
1
f(a)
3
lm[f(a +

) f(a)]
Df(a)(

)
|

1
f(a)
2
lm
f(a +

) f(a) Df(a)(

)
|

|
= 0

1.3. DIFERENCIAL 7
Teorema 1.20. Si f es una funci on denida en un abierto A de un e.v.n

E, con valores en R
m
y, si denotamos f
1
, ..., f
m
las funciones componentes de f,
entonces f es diferenciable en a A si y solo si cada una de las m funciones f
i
es
diferenciable en a y, en ese caso se tendr a
(1.17) Df(a) = (Df
1
(a), ..., Df
m
(a)).
Demostraci on. La equivalencia de la diferenciabilidad de f con la de sus
funciones componentes y la formula (1.17) se obtienen en forma directa utilizando
la igualdad (1.10) y las propiedades del lmite.
Nota 1.21. Las cinco formulas que se dan en los dos teoremas anteriores, se
pueden obtener facilmente a partir de la formula (1.12) y de las respectivas formulas
de los teoremas 1.8 y 1.9. No lo hicimos as debido a que previamente haba que
demostrar la diferenciabilidad de cada funci on.
Nota 1.22. Dados m e.v.n.

F
1
, ...,

F
m
el teorema anterior se generaliza facil-
mente, gracias a que una sucesion converge en el espacio producto s, y s olo si, cada
componente converge, al caso en que f toma sus valores en el e.v.n.

F
1
...

F
m
.
Teorema 1.23. Si f es una funci on denida en un abierto A de R
n
con valores
en un e.v.n

F, diferenciable en un punto a A, entonces se tiene la f ormula
(1.18) Df(a)(v) =
n

i=1
v
i
f
x
i
(a)
para todo v =
n

i=1
v
i
e
i
R
n
, donde e
1
, ..., e
n
es la base can onica de R
n
que usamos
en la Denici on 1.4.
Demostraci on. Es una consecuencia inmediata del Teorema 1.16.
Definici on 1.24. Si f es una funci on denida en un abierto A de R
n
con
valores en R, diferenciable en un punto a A, se llama gradiente de f en a al
vector
(1.19) f(a) :=
_
f
x
1
(a), ...,
f
x
n
(a)
_
R
n
.
Nota 1.25. Con la denici on anterior, cuando

F = R, la formula (1.18) se
escribe
(1.20) Df(a)(v) = f(a), v)
donde , ) denota al producto interno usual en R
n
. De este modo, vemos que el
gradiente de una funci on f diferenciable en a es el vector asociado a la funci on
lineal Df(a) L(R
n
, R).
Con esta notaci on, la aproximaci on de primer orden de f en a, denida en la
Nota 1.14, se escribe
(1.21) h(x) = f(a) +f(a), x a)
8 1. DIFERENCIABILIDAD EN ESPACIOS VECTORIALES NORMADOS
y la ecuaci on del hiperplano afn tangente al grafo de f en (a, f(a)), ser a
(1.22) z = f(a), x a) + f(a).
Denotando ahora , ) al producto interno en R
n
R, esta ecuaci on se escribe
(f(a), 1), (x, z) (a, f(a))) = 0
lo que muestra que el hiperplano afn en cuesti on es aquel que pasa por (a, f(a)) y es
paralelo al hiperplano ortogonal al vector (f(a), 1). Por esta raz on, se dice que
el vector (f(a), 1), trasladado a (a, f(a)), es ortogonal al grafo de f en (a, f(a)).
Nota 1.26. Observe que la formula (1.20) puede generalizarse a toda funci on
f denida en un abierto A de un espacio de Hilbert

E con valores en R. En efecto,
si f es diferenciable en a A, como Df(a) es una funci on lineal continua de

E en
R, denimos el gradiente de f en a como el unico elemento f(a)

E que verica
(1.23) Df(a)(v) = f(a), v) para todo v

E
y con esta denici on de gradiente, se deduce facilmente del teorema anterior que,
cuando

E = R
n
y

F = R, el gradiente f(a) est a dado por la igualdad (1.19).
Definici on 1.27. Si f es una funci on denida en un abierto A de R
n
, con
valores en R
m
, si denotamos f
1
, ..., f
m
sus m funciones componentes y suponemos
f diferenciable en a A, entonces llamamos Jacobiano de f en a a la matriz de
mn
(1.24) J
f
(a) =
_
f
i
x
j
(a)
_
donde 1 i m y 1 j n.
Nota 1.28. Con la denici on anterior, cuando

F = R
m
, la formula (1.18) se
escribe, usando notaci on matricial,
(1.25) Df(a)(v) = J
f
(a)v.
El Jacobiano de una funci on f en a es la matriz asociada a la funci on lineal Df(a)
L(R
n
, R
m
), seg un lo estudiado en el curso de algebra lineal. Con esta notaci on, la
aproximaci on de primer orden de f en a, denida en la Nota 1.14 se escribe
(1.26) h(x) = f(a) + J
f
(a)(x a).
1.3.1. Teorema del Valor Medio.
Teorema 1.29. Sea f una funci on denida en un abierto A de un e.v.n.

E
con valores en R. Si f es diferenciable en todo punto de un segmento [a,

b] A,
entonces existe c ]a,

b[ tal que
(1.27) f(

b) f(a) = Df(c)(

b a).
Demostraci on. Si denimos la funci on (t) = f(a+t(

b a)) para t [0, 1] y

aplicamos el teorema del valor medio para funciones de una variable real, obtenemos
que existe ]0, 1[ tal que (1) (0) =

() lo que corresponde exactamente a

la formula (1.27) con c =a + (

b a).
1.3. DIFERENCIAL 9
Nota 1.30. Si en el teorema anterior

E = R
n
, de la formula (1.20) vemos que
(1.27) puede escribirse
f(

b) f(a) = f(c),

b a).
Ejemplo 1.31. Demos un ejemplo que muestre que la formula (1.27) no es en
general valida si f toma sus valores en un e.v.n.

F. Sea f : R R
2
denida por
f(t) := (cos(t), sen(t)) y sean a := 0 y b := 2. Es facil constatar que f(b) f(a) =
(0, 0) y Df(c)(b a) = 2(sen(c), cos(c)), lo que muestra que no existe c [0, 2]
tal que se tenga la igualdad (1.27).
Teorema 1.32. Sea f una funci on denida en un abierto A de un e.v.n.

E
con valores en un e.v.n.

F. Si f es diferenciable en todo punto de un segmento
[a,

b] A y si L es una constante que verica L |Df(x)| para todo x [a,

b],
entonces se tiene la desigualdad
(1.28) |f(

b) f(a)| L|

b a|.
Demostraci on. Supongamos lo contrario, es decir, que existe > 0 tal que|f(

b)
f(a)| L|

b a| = . Si denimos m =
a+

b
2
, puesto que |f(

b) f( m)|+ |f( m)
f(a)| |f(

b) f(a)| y |

b a| = |

b m| +| ma|, se tendra
|f(

b) f( m)| L|

b m|

2
o bien
|f( m) f(a)| L| ma|

2
.
Si se tiene la primera de estas desigualdades denimos

b
1
:=

b y a
1
:= m, en
caso contrario denimos

b
1
:= m y a
1
:= a. Aplicando sucesivamente el mismo
procedimiento obtenemos una sucesion de intervalos encajonados [a
n
,

b
n
] con |

b
n

a
n
| =

ba
2
n
y tales que
|f(

b
n
) f(a
n
)| L|

b
n
a
n
|

2
n
.
Puesto que |a
n

b
n
| 0 sabemos que las sucesiones a
n
y

b
n
deben converger
a un mismo w [a,

b]. Por otra parte por ser f diferenciable en w, de la desigualdad

anterior podemos escribir

2
n
|f(

b
n
) f( w) (f(a
n
) f( w))| L|

b
n
a
n
|
= |Df( w)(

b
n
w) + o(

b
n
w) Df( w)(a
n
w) o(a
n
w)| L|

b
n
a
n
|
|Df( w)||

b
n
a
n
| +|o(

b
n
w)| +|o(a
n
w)| L|

b
n
a
n
|
y como |

b
n
w| < |

b
n
a
n
| y |a
n
w| < |

b
n
a
n
|, dividiendo la desigualdad
anterior por |

b
n
a
n
| podemos escribir

b a|
|Df( w)| +
|o( w

b
n
)|
| w

b
n
|
+
|o( w a
n
|
| w a
n
|
L
10 1. DIFERENCIABILIDAD EN ESPACIOS VECTORIALES NORMADOS
y tomando lmite sobre n obtenemos una contradicci on con la hipotesis |Df(x)|
L para todo x [a,

b].
Nota 1.33. Del teorema anterior se deduce que si f es diferenciable en todo
punto de un conjunto convexo C A y si L |Df(x)| para todo x C, entonces
|f(x) f(y)| L|x y| para todo x, y C.
Definici on 1.34. Un conjunto C en un e.v.n.

E se dir a conexo si no existen
conjuntos abiertos no vacos C
1
y C
2
en

E que intersecten C, tales que C
1
C
2
=
y C C
1
C
2
.
Teorema 1.35. Sea f una funci on diferenciable denida en un abierto A de
un e.v.n.

E con valores en un e.v.n.

F. Si el diferencial de f es nulo en todo punto
de un conjunto abierto conexo C A, entonces la funci on f ser a constante en C.
Demostraci on. Demostremos primero que f es constante en toda bola
B(x
0
, ) C. Sea z B(x
0
, ), puesto que [x
0
, z] C y Df(x) = 0 para todo
x [x
0
, z], del teorema anterior conclumos que |f(z) f(x
0
)| 0, lo que equivale
a decir que f(z) = f(x
0
).
Sea ahora a C, C
1
= x C : f(x) = f(a) y C
2
= x C : f(x) ,= f(a).
Puesto que la funci on f es continua (ver Teorema 1.16) y C es un conjunto abierto,
es facil demostrar que C
2
es un conjunto abierto.
Mostremos nalmente que C
1
es tambien un conjunto abierto. Sea x
0
C
1
y B(x
0
, ) C, de la primera parte de esta demostracion conclumos que f es
constante en B(x
0
, ), y se tendra entonces f(x) = f(a) para todo x B(x
0
, ),
lo que implica que B(x
0
, ) C
1
. Lo anterior muestra que C
1
es abierto. Como
C
1
C
2
= , como C C
1
C
2
y como C
1
,= (en efecto, a C
1
), del hecho que
C es conexo conclumos que C
2
= , es decir, C = C
1
.
1.4. Funciones de clase (
1
Definici on 1.36. Una funci on f denida en un abierto A de R
n
, con valores
en un e.v.n

F se dir a de clase (
1
si las n derivadas parciales de f con respecto a
x
1
, ..., x
n
(ver Nota 1.6) existen y son continuas.
Teorema 1.37. Si f es una funci on de clase (
1
, denida en un abierto A de
R
n
con valores en un e.v.n

F, entonces ella es diferenciable.
Demostraci on. Con el unico objeto de simplicar la notaci on, haremos la
demostracion para el caso en que n = 2 y usaremos la norma del maximo.
Dado un elemento cualquiera a := a
1
e
1
+ a
2
e
2
A, vamos a demostrar que f
es diferenciable en a. De acuerdo al Teorema 1.23, debemos probar entonces que la
funci on lineal (

) :=
1
f
x1
(a) +
2
f
x2
(a) es la diferencial de f en a.
Dado > 0 tal que B(a, ) A, escribamos para

R
2
con |

| la
desigualdad
|f(a +

) f(a) (

)|
|

|f(a
1
+
1
, a
2
+
2
) f(a
1
, a
2
+
2
)
1
f
x1
(a)|
|

|
1.4. FUNCIONES DE CLASE C
1
11
+
|f(a
1
, a
2
+
2
) f(a
1
, a
2
)
2
f
x2
(a)|
|

|
.
Para concluir debemos probar que el lmite cuando

0 de cada uno de los dos

sumandos de la derecha de esta desigualdad es cero.
La desigualdad
|f(a
1
, a
2
+
2
) f(a
1
, a
2
)
2
f
x2
(a)|
|

|
|
f(a +
2
e
2
) f(a)

f
x
2
(a)|
y la denici on de
f
x2
(a), nos muestra que el segundo de estos lmites, es cero.
Denamos ahora la funci on (t) := f(a
1
+t, a
2
+
2
) f(a
1
, a
2
+
2
) t
f
x1
(a).
Como f es de clase C
1
, es claro que es diferenciable en todo punto del intervalo J
(donde J = [0,
1
] si
1
> 0 , = [
1
, 0] si
1
< 0) y D(t)(v) = [
f
x1
(a
1
+t, a
2
+
2
)
f
x1
(a)]v. Escribiendo entonces para la funci on la desigualdad |(
1
) (0)|
L[
1
[
con L = max
tJ
|D(t)|, dada por el Teorema 1.32, obtenemos
|f(a
1
+
1
, a
2
+
2
)f(a
1
, a
2
+
2
)
1
f
x
1
(a)| [
1
[ max
tJ
|
f
x
1
(a
1
+t, a
2
+
2
)
f
x
1
(a)|.
Puesto que
f
x1
es una funci on continua en a y que
|1|

1, dividiendo por |

|
esta desigualdad, vemos que el lado derecho tiende a cero cuando

0, lo que nos
permite concluir nuestra demostracion.
Teorema 1.38. Si f es una funci on de clase (
1
, denida en un abierto A de
R
n
con valores en un e.v.n.

F, entonces f es continua.
Demostraci on. Es una consecuencia inmediata del teorema anterior y del
Teorema 1.16.
Definici on 1.39. Una funci on denida en un abierto A de un e.v.n

E, con
valores en un e.v.n

F se dir a continuamente diferenciable si ella es diferenciable en
todo punto de A y si la funci on Df : A L(

E,

F) es continua.
Teorema 1.40. Si f es una funci on de clase (
1
, denida en un abierto A de
R
n
con valores en un e.v.n

F, entonces ella es continuamente diferenciable.
Demostraci on. Del Teorema 1.37 sabemos que f es diferenciable en a. Veri-
quemos ahora la continuidad de Df en a A. De (1.18) se tiene
|Df(a) Df(x)| = sup
v=

0
|[Df(a) Df(x)](v)|
|v|
=
= sup
v=

0
|[
f
x1
(a)
f
x1
(x)]v
1
+ ... + [
f
xn
(a)
f
xn
(x)]v
n
|
|v|
sup
v=

0
|(
f
x1
(a)
f
x1
(x))v
1
|
|v|
+ ... + sup
v=

0
|(
f
xn
(a)
f
xn
(x))v
n
|
|v|
|
f
x
1
(a)
f
x
1
(x)| + ... +|
f
x
n
(a)
f
x
n
(x)|
12 1. DIFERENCIABILIDAD EN ESPACIOS VECTORIALES NORMADOS
por lo tanto, haciendo tender x a a y puesto que las funciones
f
xi
() son continuas
en a, obtenemos
lm
xa
|Df(a) Df(x)| = 0
lo que es equivalente a lm
xa
Df(x) = Df(a) mostrando as la continuidad de Df en
a.
Teorema 1.41. Si f es una funci on continuamente diferenciable, denida en
un abierto A de R
n
con valores en un e.v.n.

F, entonces f es de clase (
1
.
Demostraci on. Vamos a demostrar la continuidad de la funci on
f
xi
: A

F
en un punto a A. Del Teorema 1.16 deducimos que
f
x
i
(x)
f
x
i
(a) = Df(x)(e
i
) Df(a)(e
i
)
= [Df(x) Df(a)](e
i
)
y de la desigualdad |(x)|

F
||
L(

E,

F)
|x|

E
para lineales continuas, aplicada a
la funci on lineal continua [Df(x) Df(a)], vemos que
(*) |
f
x
i
(x)
f
x
i
(a)| |Df(x) Df(a)||e
i
|.
Como por hipotesis la funci on Df : A L(R
n
, F) es continua en a A, obtenemos
lm
xa
Df(x) = Df(a), lo que implica a partir de (*) que
lm
xa
f
x
i
(x) =
f
x
i
(a)
concluyendo la continuidad de
f
xi
en a.
Nota 1.42. Si f es una funci on denida en un abierto A de R
n
con valores en
un e.v.n.

F, entonces los teoremas 1.16, 1.37, 1.40 y 1.41 se resumen en el siguiente
diagrama
f es de clase (
1
f es continuamente diferenciable
f es diferenciable
f es parc. derivable
f es continua.
Teorema 1.43. Si f y g son dos funciones continuamente diferenciables denidas
en un abierto A de un e.v.n.

E con valores en un e.v.n.

F, entonces
(i) f + g es continuamente diferenciable.
(ii) Si R, f es continuamente diferenciable.
(iii) Si

F = R, f g es continuamente diferenciable.
(iv) Si

F = R y f(x) ,= 0 para todo x A, 1/f es continuamente diferenciable.
Demostraci on. Del Teorema 1.19 vemos que las cuatro funciones del enun-
ciado ser an diferenciables. Por otra parte las formulas (1.13) a (1.16) muestran que
para todo x A
(i) D[f + g](x) = Df(x) + Dg(x)
1.4. FUNCIONES DE CLASE C
1
13
(ii) D[f](x) = Df(x)
(iii) D[f g](x) = g(x)Df(x) + f(x)Dg(x).
(iv) D[1/f](x) =
1
f(x)
2
Df(x).
Dado que por hipotesis las funciones f, Df, g y Dg son continuas, de las formulas
anteriores deducimos que D[f +g], D[f], D[f g] y D[
1
f
] son continuas. Lo anterior
nos permite concluir que f +g, f, f g y 1/f son continuamente diferenciables.
Teorema 1.44. Si f es una funci on denida en un abierto A de un e.v.n

E con
valores en R
m
y, si denotamos f
1
, ..., f
m
las funciones componentes de f, entonces
ella ser a continuamente diferenciable si y solo si sus m funciones componentes son
continuamente diferenciables.
Demostraci on. Del Teorema 1.20 vemos que f es diferenciable si y solo si
sus m funciones componentes lo son. Por otra parte la formula (1.17) muestra que
Df(x) = (Df
1
(x), ..., Df
m
(x))
lo que signica que Df es continua si y solo si las funciones Df
1
, ..., Df
m
son
continuas. Lo anterior nos permite concluir que f es continuamente diferenciable si
y solo si las funciones f
1
, ..., f
m
tambien lo son.
Nota 1.45. Dados m e.v.n.

F
1
, ...,

F
m
, el teorema anterior se generaliza facil-
mente, de acuerdo a la nota 1.22, al caso en que f toma sus valores en el e.v.n.
producto

F
1
...

F
m
.
Teorema 1.46. Si f es una funci on continuamente diferenciable, denida en
un abierto A de un e.v.n.

E con valores en un e.v.n.

F, entonces para todo a A
y todo > 0 existe > 0 tal que
(1.29) x, y B(a, ) |f(x) f(y)| (|Df(a)| + )|x y|.
La funci on f se dice entonces localmente Lipschitziana en A.
Demostraci on. Sea a A y > 0. Como Df es una funci on continua en a,
existira > 0 tal que
|Df(z)| |Df(a)| + para todo z B(a, ).
Como para todo x, y B(a, ) se tiene que [x, y] B(a, ), del Teorema 1.32
obtenemos la desigualdad (1.29).
Teorema 1.47. Sea f una funci on continuamente diferenciable, denida en
un abierto A de R
n
con valores en un e.v.n.

F. Entonces ella es Lipschitziana en
toda bola B(a,r)A, con constante de Lipschitz L := max
zB(a,r)
|Df(z)|.
Demostraci on. Dado que una funci on continua denida sobre un conjunto
compacto a valores en R alcanza su maximo, aplicando a Df en B(a, r), conclumos
que L est a bien denido. El Teorema 1.32 nos permite entonces concluir.
14 1. DIFERENCIABILIDAD EN ESPACIOS VECTORIALES NORMADOS
1.5. Composici on de funciones diferenciables
Teorema 1.48. Sea f una funci on de un abierto A de un e.v.n.

E en un e.v.n.

F y sea g una funci on de un abierto B del e.v.n.

F, en un e.v.n.

G (suponemos
que f(A) B). Entonces si f y g son diferenciables en a A y f(a) B respecti-
vamente, la funci on h := g o f es diferenciable en a y se tiene la f ormula
(1.30) Dh(a) = Dg(f(a)) Df(a).
Demostraci on. De acuerdo a la relacion (1.11) debemos probar que dado
> 0 existe > 0 tal que
(*) |

| |(g f)(a +

) (g f)(a) [Dg(f(a)) Df(a)](

)| |

|.
Para simplicar la notaci on escribamos h := g f,

b := f(a) y v := f(a+

) f(a).
Entonces
|h(a +

) h(a) [Dg(

b) Df(a)](

)|
|g(

b +v) g(

b) Dg(

b)(v)| +|Dg(

b)(v) [Dg(

b) Df(a)](

)|
y ademas
|Dg(

b)(v) [Dg(

b) Df(a)](

)| = |Dg(

b)(v Df(a)(

))|
|Dg(

b)| |f(a +

) f(a) Df(a)(

)|
obtenemos la desigualdad
(1.31)
|h(a +

) h(a) [Dg(

b) Df(a)](

)|
|g(

b +v) g(

b) Dg(

b)(v)| +|Dg(

b)| |f(a +

) f(a) Df(a)(

)|.
Sea > 0. Como f es diferenciable en a, de acuerdo al Teorema 1.16 (ver su
demostracion), ella ser a tambien Lipschitziana en a. Existira entonces
1
> 0 tal
que
(1.32) |

|
1
|f(a +

) f(a) Df(a)(

)|

2|Dg(

b)|
|

|
y
(1.33) |

|
1
|f(a +

) f(a)| L|

|.
Por otra parte, como g es diferenciable en

b, existira
2
> 0 tal que
(1.34) |v|
2
|g(

b +v) g(

b) Dg(

b)(v)|

2L
|v|.
De las relaciones (1.31), (1.32), (1.33) y (1.34) deniendo = mn
1
,
2
L
obten-
emos directamente la desigualdad (*).
Nota 1.49. De acuerdo a la Denicion 1.24 y a la Nota 1.28 vemos que si en
el teorema anterior

E = R
n
,

F = R
m
y

G = R
p
, entonces el jacobiano de la funci on
h = g f en a, ser a igual al producto de los jacobianos de las funciones g y f, esto
es
(1.35) J
h
(a) = J
g
(f(a)) J
f
(a)
que corresponde a la formula (1.30) escrita matricialmente. Se verica facilmente
que el elemento (i, j) de la matriz J
h
(a) (de p las y n columnas) es
m

k=1

k
g
i
(f(a))
j
f
k
(a)
donde
j
f
k
(a) representa la derivada parcial en a de la funci on componente f
k
con
1.6. DIFERENCIAL PARCIAL 15
respecto a la j-esima variable y,
k
g
i
(f(a)) representa la derivada parcial en f(a)
de la funci on componente g
i
con respecto a la k-esima variable.
De (1.35) y (1.25) vemos que para todo v R
n
se tendra
(1.36) Dh(a)(v) = J
g
(f(a))J
f
(a)
t
v
t
que tambien se escribe
Dh(a)(v) = (
n

j=1
m

k=1
v
j

j
f
k
(a)
k
g
1
(f(a)), ... ,
n

j=1
m

k=1
v
j

j
f
k
(a)
k
g
p
(f(a))).
En particular, para v = e
j
R
n
, se tendra para todo j = 1, ..., n e i = 1, ..., p la
formula
(1.37)
j
h
i
(a) =
m

k=1

j
f
k
(a)
k
g
i
(f(a)).
Esta formula se llama usualmente regla de la cadena para el c alculo de las derivadas
parciales de la funci on h = g f.
Teorema 1.50. Si suponemos que las funciones f y g del teorema anterior
son continuamente diferenciables, entonces h := f o g tambien ser a continuamente
diferenciable.
Demostraci on. Es una consecuencia inmediata de la formula (1.30) y del
Teorema ??, del que se deduce que por ser Dg, f y Df funciones continuas, entonces
la funci on compuesta Dh tambien ser a continua.
1.6. Diferencial Parcial
En esta secci on vamos a introducir la nocion de diferencial parcial de una
funci on, que en cierto sentido generaliza la nocion de derivada parcial y, daremos
despues un resultado que generaliza el Teorema 1.23.
Definici on 1.51. Dados n+1 e.v.n.

E
1
, ...,

E
n
,

F, una funci on f denida en un
abierto A del e.v.n.

E
1
...

E
n
con valores en

F y a A, denotaremos por D
j
f(a)
(para j = 1, ..., n) al diferencial en a
j


E
j
(a = (a
1
, ..., a
n
)

E
1
...

E
n
) de la
funci on f(a
1
, ..., a
j1
, , a
j+1
, ..., a
n
), cuando existe. Se tiene entonces que D
j
f(a)
L(

E
j
,

F).
Al diferencial D
j
f(a) lo llamamos diferencial parcial de f en a respecto a la
variable j.
Nota 1.52. Con los datos de la denici on anterior denimos las tres funciones
p
j
:

E
1
...

E
n


E
j
, i
j
:

E
j


E
1
...

E
n
e I
j
:

E
j


E
1
...

E
n
por
(1.38) p
j
(x
1
, ..., x
n
) := x
j
(1.39) i
j
(x
j
) := (

0, ...,

0, x
j
,

0, ...,

0)
(1.40) I
j
(x
j
) :=a + i
j
(x
j
a
j
).
Se deduce entonces facilmente que
(1.41) D
j
f(a) = D[f I
j
](p
j
(a)).
16 1. DIFERENCIABILIDAD EN ESPACIOS VECTORIALES NORMADOS
Teorema 1.53. Dados n + 1 e.v.n.

E
1
, ...,

E
n
,

F, un abierto A en el e.v.n.

E
1
...

E
n
, un elemento a A y una funci on f : A

F diferenciable en a A,
entonces para todo v

E
1
...

E
n
se tiene la f ormula
(1.42) Df(a)(v) =
n

j=1
D
j
f(a)(v
j
)
donde v
j
:= p
j
(v) (ver (1.38)).
Demostraci on. De la igualdad (1.41), usando el Teorema 1.48 y el Ejemplo
1.12 que nos muestra que DI
j
(p
j
(a)) = i
j
, vemos que
(*)
D
j
f(a) = D[f I
j
](p
j
(a))
= Df(I
j
(p
j
(a))) DI
j
(p
j
(a))
= Df(a) i
j
.
Si componemos la igualdad (*) con p
j
y sumamos sobre j, obtenemos
n

j=1
D
j
f(a) p
j
=
n

j=1
Df(a) i
j
p
j
y como Df(a) es lineal y
n

j=1
i
j
p
j
es la identidad en

E
1
...

E
n
, concluimos que
n

j=1
D
j
f(a) p
j
= Df(a)
que corresponde exactamente a la igualdad (1.42).
Nota 1.54. Si en la Denicion 1.51 se tiene para todo j 1, ..., n que

E
j
:=
R
kj
,

F = R
m
y si f
1
, ..., f
m
son las funciones componentes de f, entonces la formula
(1.42) se escribe, usando notaci on matricial
(1.43) Df(a)(v) =
n

j=1
J
j
(a) v
j
t
donde J
j
(a) es el jacobiano asociado al diferencial D
j
f(a), esto es la matriz de
coecientes

f
i
(a) donde el indice i = 1, ...., m indica la la y : n
j
, ..., n
j+1
1
indica la columna (n
j
=
j

p=1
k
p
).
1.7. Teoremas de la funcion inversa y de la funcion implcita
Nota 1.55. Sea f : R R una funci on continuamente derivable y tal que
f

(a) ,= 0. Del curso de c alculo de funciones de una variable sabemos que existe un
intervalo I :=]a , a + [, tal que la restricci on

f : I f(I) de la funci on f es
biyectiva y su funci on inversa

f
1
es continuamente derivable. Se tiene ademas que
(

f
1
)

(f(a)) = 1/f

(a). En el teorema que sigue vamos a generalizar este resultado

al caso en que f es una funci on continuamente diferenciable, denida en un abierto
A de un espacio de Banach

E.
1.7. TEOREMAS DE LA FUNCI

ON INVERSA Y DE LA FUNCI

ON IMPL

ICITA 17
Antes de enunciar el teorema vamos a demostrar en el Lema 1.57 una propiedad
importante de las funciones continuas.
Ejemplo 1.56. En este ejemplo mostraremos una funci on f : R R que es
derivable, con derivada no nula en 0 y, que sin embargo no existe un intervalo
I =] , [ tal que la restricci on de f a I sea inyectiva. Esta funci on est a denida
por la formula
f(x) =
_
x
2
+ x
2
sen(
1
x
) si x ,= 0
0 si x = 0.
Que no exista > 0 tal que f sea inyectiva en ] , [ es equivalente a decir que
en todo intervalo de la forma ] , [ la funci on f no es estrictamente creciente (o
decreciente) lo que equivale a decir que en todo intervalo ] , [ la derivada f

cambia de signo. Este hecho es evidente puesto que

f

(x) =
_
1
2
+ 2xsen(
1
x
) cos(
1
x
) si x ,= 0
1
2
si x = 0.
Lema 1.57. Sea f una funci on continua denida en un abierto A de un e.v.n.

E con valores en un e.v.n.

F. Entonces, la imagen recproca f
1
[O] de un conjunto
abierto O

F es un conjunto abierto de

E.
Demostraci on. Debemos probar que para todo x f
1
[O] existe > 0 tal
que B(x, ) f
1
[O]. Dado x f
1
[O], se tiene que f(x) O y como O es abierto,
debe existir > 0 tal que B(f(x), ) O. Por otra parte, como f es continua en x,
debe existir B(x, ) A tal que f[B(x, )] B(f(x), ). Lo anterior nos muestra
que f[B(x, )] O y por lo tanto B(x, ) f
1
[O].
Teorema 1.58. Sea f una funci on continuamente diferenciable, denida en
un abierto A de un espacio de Banach

E con valores en

E. Si Df(a) L(

E,

E)
es biyectiva, entonces existe un abierto V en

E que contiene a a y, tal que la
restricci on

f : V f(V ) de la funci on f es biyectiva y su funci on inversa

f
1
es
continuamente diferenciable. Se tendr a adem as para

b := f(a) que
(1.44) D

f
1
(

b) = [Df(a)]
1
.
Demostraci on. Haremos la demostracion en cuatro etapas. En la primera
veremos que sin perder generalidad podemos suponer que a =

0, f(a) =

0 y Df(a) =
I (funcion identidad en

E), con lo cual la demostracion se simplica notablemente.
Luego, en la segunda parte, encontraremos > 0 tal que la restricci on

f, de la
funci on f al conjunto abierto V := f
1
[B

0,

2
)] B

(0, ), (ver lema anterior), es

una biyeccion de ese conjunto en f(V ). En la tercera etapa mostraremos que

f
1
es Lipschitziana con constante de Lipschitz 2. Finalmente probaremos que

f
1
es
continuamente diferenciable.
1a. Parte. Por razones pedag ogicas la desarrollaremos al nal.
2a. Parte. De acuerdo a la primera parte, podemos suponer a =

0, f(

0) =

0 y
Df(

0) = I (funcion identidad en

E). Denamos entonces la funci on g de A en

E
por g(x) = x f(x). Como g es continuamente diferenciable y Dg(

0) = 0 (funcion
constante en

E igual a

0), del Teorema 1.46 vemos que existe > 0 tal que
(*) x, y B(

0, ) |g(x) g(y)|
1
3
|x y|
18 1. DIFERENCIABILIDAD EN ESPACIOS VECTORIALES NORMADOS
y como g(

0) =

0, si hacemos y =

0 en (*) vemos que g(B(

0, )) B(

0,

3
) B

0,

2
).
Vamos ahora a demostrar que para todo u B

0,

2
) existe un unico x B(0, )
tal que u = f(x), lo que implica que la restricci on

f de la funci on f al conjunto
V := f
1
(B

0,

2
)) B

0, ) es biyectiva de V en f(V ). Para esto denamos

la funci on de B(

0, ) en

E por (y) := g(y) + u. Como tambien verica la
desigualdad (*), vemos por una parte que |y| |(y)|
1
3
|y| + |u| lo
que signica que es una funci on de B(0, ) en B(0, ) y por otra parte (*) nos
muestra que es contractante. Estos dos hechos nos permiten concluir de acuerdo
al teorema del punto jo, que existe un unico x B(0, ) tal que (x) = x, lo que
equivale a decir u = f(x). El Lema 1.57 garantiza que el conjunto V es abierto.
3a. Parte. Mostremos que
u, v f(V ) |

f
1
(u)

f
1
(v)| 2|u v|.
Dados u, v f(V ), sean x, y f(V ) tales que x =

f
1
(u) y y =

f
1
(v), puesto
que de la segunda parte sabemos que f +g = i y que g verica (*), concluimos que
|x y| = |(f + g)(x) (f + g)(y)|
|g(x) g(y)| +|f(x) f(y)|

1
2
|x y| +|f(x) f(y)|
lo que muestra |x y| 2|f(x) f(y)| que equivale a escribir
|

f
1
(u)

f
1
(v)| 2|u v|.
4a. Parte. Demostremos ahora que

f
1
es diferenciable. Dado

b B

0,

2
) probemos
que D

f
1
(

b) = [Df(a)]
1
, donde a =

f
1
(

b). Dados

b y

b+

k B

0,

2
), deniendo

h :=

f
1
(

b+

k)

f
1
(

b) vemos que, de acuerdo a la tercera parte de la demostracion

|

h| = |

f
1
(

b +

k)

f
1
(

b)| 2|

k|
por lo tanto
|

f
1
(

b +

k)

f
1
(

b) Df(a)
1
(

k)|
|

k|

2|

h Df(a)
1
(f(a +

h) f(a))|
|

h|
2
|Df(a)
1
[Df(a)(

h) (f(a +

h) f(a))]|
|

h|
2|Df(a)
1
|
|f(a +

h) f(a) Df(a)(

h)|
|

h|
.
Como f es diferenciable y como cuando

k

0 se tiene que

h

0, obtenemos
lm

k=

f
1
(

b +

k)

f
1
(

b) Df(a)
1
(

k)
|

k|
=

0
que muestra que

f
1
es diferenciable y que D

f
1
(

b) = Df(a)
1
.
1a. Parte. Si denimos la funci on h : A a

E por h(x) := Df(a)
1
[f(a +
x) f(a)] vemos que h(

0) =

0 y que h es continuamente diferenciable si y solo
si f es continuamente diferenciable, en efecto Dh(x) = Df(a)
1
Df(a + x) y
en particular Dh(

0) = I. Vemos tambien que si existen abiertos B

1
, B
2


E que
contienen a

0 tales que la restricci on

h, de h a B
1
sea una biyeccion de B
1
en B
2
,
1.7. TEOREMAS DE LA FUNCI

ON INVERSA Y DE LA FUNCI

ON IMPL

ICITA 19
entonces la restricci on

f, de f a A
1
:= B
1
+a, ser a una biyeccion de A
1
en A
2
:=
Df(a)(B
2
) +f(a), en efecto

f
1
(u) =

h
1
(Df(a)
1
(uf(a))) +a. Finalmente, de
la ultima igualdad queda claro que si

h
1
es continuamente diferenciable, entonces

f
1
tambien lo ser a y se tiene
D

f(u) = D

h
1
(Df(a)
1
(u f(a))) Df(a)
1
.

Nota 1.59. Dada una funci on f : R R R nos preguntamos si es posible

despejar la variable y (en funci on de la variable x) en la ecuaci on
(1.45) f(x, y) = 0
es decir, existe una funci on : R R tal que f(x, (x)) = 0 para todo x R,
o lo que es equivalente, tal que f(x, y) = 0 y = (x)?
Es facil ver que globalmente esto no es posible, en general no existe que verique
f(x, (x)) = 0 para todo x R.
Sin embargo, cuando f es continuamente diferenciable, dado (a, b) R R que
verica la ecuaci on (1.45), es decir f(a, b) = 0, si
2
f(a, b) ,= 0, entonces existe
> 0 y una funci on continuamente derivable : [a , a + ] R tal que
(1.46) b = (a) y f(x, (x)) = 0 para todo x [a , a + ].
Aplicando la regla de la cadena para derivar la funci on nula x [a , a + ]
f(x, (x)), se tendra
(1.47)

(a) =

1
f(a, b)

2
f(a, b)
.
Desarrollemos esta idea para la ecuaci on f(x, y) = 0 denida por la funci on de clase
(
1
f(x, y) := (x1)
2
+(y1)
2
1. Consideremos entonces (a, b) := (
1
2
, 1

3
2
), que
evidentemente verica f(a, b) = 0 y ademas
2
f(a, b) =

3 ,= 0. De acuerdo a lo
que decamos, debe entonces existir una funci on : [a, a+] R continuamente
derivable tal que (a) = b y f(x, (x)) = 0 para todo x [a, a+]. No es difcil
deducir que la funci on : [
1
4
,
3
4
] R denida por (x) = 1
_
1 (x 1)
2
cumple
con este requerimiento. Se tiene ademas

(
1
2
) =
1

3
=
1f(
1
2
,1

3
2
)
2f(
1
2
,1

3
2
)
.
Este mismo razonamiento lo podemos hacer para cualquier punto (a, b) R R
de la forma (a, 1
_
1 (a 1)
2
) con a ]0, 2[, pues todos esos puntos verican la
ecuaci on f(x, y) = 0 y ademas la derivada parcial de f con respecto a la segunda
variable, en esos puntos, no se anula. Esto no sera posible sin embargo, en (0, 1) y
(2, 1) donde
2
f se anula, hecho que en este ejemplo es facil de evaluar directamente.
El teorema de la funci on implcita que daremos a continuaci on generaliza este prob-
lema a la ecuaci on f(x, y) =

0, denida por una funci on continuamente diferenciable

f : A

E
2
, donde A es un abierto en el e.v.n.

E
1

E
2
, siendo

E
1
y

E
2
dos espacios
de Banach.
Teorema 1.60. Dados dos espacios de Banach

E
1
y

E
2
, un abierto A

E
1

E
2
y una funci on continuamente diferenciable f : A

E
2
, denimos la ecuaci on
(1.48) f(x
1
, x
2
) =

0.
20 1. DIFERENCIABILIDAD EN ESPACIOS VECTORIALES NORMADOS
Entonces, si a = (a
1
, a
2
) A verica la ecuaci on (1.48) y si D
2
f(a) (ver Denici on
1.51) es biyectiva en

E
2
, se tiene que existe una bola B(a
1
, )

E
1
y una funci on
continuamente diferenciable : B(a
1
, )

E
2
tales que
(1.49) a
2
= (a
1
) y f(x, (x)) =

0 para todo x B(a

1
, ).
Se tiene adem as la f ormula
(1.50) D(a
1
) = D
2
f(a)
1
D
1
f(a).
Demostraci on. Denamos la funci on : A

E
1

E
2

E
1

E
2
por (x) :=
(x
1
, f(x)), es decir, := (p
1
, f) (ver (1.38) para la denici on de p
1
). Entonces, de la
Nota 1.45, concluimos que es continuamente diferenciable y D(a) = (p
1
, Df(a)).
Por otra parte, del Teorema 1.53 sabemos que Df(a)(v) = D
1
f(a)(v
1
)+D
2
f(a)(v
2
)
para todo v

E
1


E
2
, lo que muestra que D(a) es biyectiva y
D(a)
1
(u
1
, u
2
) = (u
1
, [D
2
f(a)
1
D
1
f(a)](u
1
) + D
2
f(a)
1
(u
2
)).
Concluimos entonces, del Teorema 1.58 que existe un abierto V

E
1


E
2
que
contiene a a tal que la restricci on : V (V ) de la funci on , es biyectiva y

1
: (V ) V es continuamente diferenciable. Ademas se tiene que
D
1
(

b) = D(a)
1
donde

b := (a). Es facil entonces vericar que la funci on : B(a

1
, )

E
2
denida
por (u
1
) :=
1
2
(u
1
,

0), donde
1
2
es la funci on componente de
1
en

E
2
(es
decir
1
= (
1
1
,
1
2
)) y donde > 0 es tal que B(a
1
, )

0 (V ), verica
(1.49) y (1.50).
1.8. Derivadas parciales de orden superior
Definici on 1.61. Una funci on f denida en un abierto A de R
n
con valores
en un e.v.n.

F, se dir a de clase (
2
si ella y sus derivadas parciales
f
x1
, ...,
f
xn
son
de clase (
1
. La derivada parcial de la funci on
f
xi
con respecto a la variable x
j
la
denotaremos

2
f
xjxi
o bien
2
j,i
f. Estas funciones se llaman derivadas parciales de
segundo orden de la funci on f. Por recurrencia sobre k, diremos que f es de clase
(
k
si ella es de clase (
k1
y sus derivadas parciales de orden k1, que denotaremos
por
(1.51)

k1
f
x
i
k1
...x
i1
para todo i
1
, ..., i
k1
1, ..., n,
son de clase (
1
. Las derivadas parciales de orden k de f las denotaremos

k
f
xi
k
xi
k1
...xi
1
o bien
k
i
k
,i
k1
,...,i1
f.
Nota 1.62. Es una consecuencia casi inmediata de la denici on anterior que
si f y g son dos funciones de clase (
k
, denidas en un abierto A de R
n
con valores
en un e.v.n.

F, entonces :
(i) las funciones f + g y f tambien son de clase (
k
y se tiene
(1.52)
k
i
k
,...,i1
(f + g)(a) =
k
i
k
,...,i1
f(a) +
k
i
k
,...,i1
g(a) para todo a A
(1.53)
k
i
k
,...,i1
(f)(a) =
k
i
k
,....,i1
f(a) para todo a A.
1.8. DERIVADAS PARCIALES DE ORDEN SUPERIOR 21
(ii) Cuando

F = R la funci on f g tambien es de clase (
k
.
Cuando

F = R
m
se tendra que f es de clase (
k
si y solo si cada una de
sus m funciones componentes es de clase (
k
, y en ese caso
(1.54)
k
i
k
,...,i1
f(a) = (
k
i
k
,...,i1
f
1
(a), ...,
k
i
k
,...,i1
f
m
(a))
Teorema 1.63. Sea f una funci on de clase (
2
, denida en un abierto A de
R
2
con valores en un e.v.n.

F. Entonces se tendr a para todo a A, la f ormula
(1.55)

2
f
x
1
x
2
(a) =

2
f
x
2
x
1
(a).
Demostraci on. Sean a A y > 0. Por continuidad de las derivadas par-
ciales de orden dos, existira > 0 tal que
(1.56) |x|

|
2
2,1
f(a+x)
2
2,1
f(a)| y |
2
1,2
f(a+x)
2
1,2
f(a)| .
Si e
1
y e
2
son los vectores de la base canonica en R
2
y x = x
1
e
1
+x
2
e
2
, denotemos

2
f(x) := f(a + x
1
e
1
+ x
2
e
2
) f(a + x
1
e
1
) f(a + x
2
e
2
) + f(a)
y demostremos que
(1.57) |x|

|
2
f(x) x
1
x
2

2
2,1
f(a)| [x
1
[[x
2
[.
Si denimos (t) := f(a+te
1
+x
2
e
2
)f(a+te
1
)tx
2

2
2,1
f(a), aplicando el teorema
del valor medio (t.v.m.) a esta funci on, vemos que existe

t [0, x
1
] tal que

2
f(x) x
1
x
2

2
2,1
f(a) = (x
1
) (0) =

t)x
1
= [
1
f(a +

te
1
+ x
2
e
2
)
1
f(a +

te
1
)
2
2,1
f(a)x
2
]x
1
y si denimos () :=
1
f(a +

te
1
+ e
2
)
2
2,1
f(a) aplicando el t.v.m. a esta
funci on, vemos que existe [0, x
2
] tal que

2
f(x) x
1
x
2

2
2,1
f(a) = [(x
2
) (0)]x
1
=

( )x
2
x
1
= [
2
2,1
f(a +

te
1
+ e
2
)
2
2,1
f(a)]x
2
x
1
.
De esta ultima igualdad, usando la primera desigualdad en (1.56), obtenemos facil-
mente la implicaci on (1.57).
Del mismo modo se puede obtener la implicaci on
(1.58) |x|

|
2
f(x) x
1
x
2

2
1,2
f(a)| [x
1
[[x
2
[.
De (1.57) y (1.58), sumando se obtiene que
|
2
2,1
f(a)
2
1,2
f(a)| 2
y como es cualquiera, concluimos que
2
2,1
f(a) =
2
1,2
f(a).
22 1. DIFERENCIABILIDAD EN ESPACIOS VECTORIALES NORMADOS
Teorema 1.64. Sea f una funci on de clase (
k
, denida en un abierto A de
R
n
con valores en un e.v.n.

F. Entonces para toda k-tupla (i
1
, ..., i
k
) 1, ..., n
k
y toda biyecci on en 1, ..., k se tendr a para todo a A la f ormula

k
f
x
i1
...x
i
k
(a) =

k
f
x
i
(1)
...x
i
(k)
(a).
Demostraci on. Si k = 2 es una consecuencia inmediata del teorema anterior.
Si k 3, se deduce del teorema anterior por inducci on sobre k.
1.9. Desarrollos limitados
Definici on 1.65. Se llama polinomio de grado N N

(conjunto de los natu-

rales incluyendo el 0) en R
n
con coecientes en R a toda funci on P : R
n
R de la
forma
(1.59) P(
1
, ...,
n
) =

i|N

i

i1
1

i2
2
...
in
n
donde

i := (i
1
, ..., i
n
) N
n

es una n-tupla de componentes naturales, [

i[ =
n

j=1
i
j
y

i
R.
Definici on 1.66. Sea A un conjunto abierto en R
n
y f una funci on de A en
R. Se llama desarrollo limitado de orden N de la funci on f en un punto a A a
todo polinomio P : R
n
R de grado N tal que para todo

R
n
con a +

A se
tiene
(1.60) f(a +

) P(

) = o
N
(

)
donde o
N
es una funci on de R
n
en R que verica o
N
(

0) = 0 y
(1.61) lm

=0
o
N
(

)
|

|
N
= 0.
Nota 1.67. De la denici on anterior es evidente que en (1.61) se puede usar
cualquier norma en R
n
y por lo tanto el desarrollo limitado de una funci on f no
depende de la norma. Ademas es facil ver que P es un desarrollo limitado de orden
N de f en a, entonces P(

0) = f(a) deduciendo as que f es continua en a.

Nota 1.68. De la Denicion 1.10 se desprende de inmediato que f tiene un
desarrollo limitado de orden 1 en un punto a A si y solo si es diferenciable en a.
En este caso se tendra
(1.62) P(

) = f(a) + Df(a)(

)
que de acuerdo a la formula (1.20), podemos escribir
(1.63) P(

) = f(a) +f(a),

)
que efectivamente es un polinomio de grado 1 en R
n
.
1.9. DESARROLLOS LIMITADOS 23
Nota 1.69. De la Nota 1.14 vemos que el desarrollo limitado de orden 1 en
a de una funci on f, dado por (1.63), dene la aproximaci on de primer orden de
f en a, mediante la formula h(x) = P(x a). Del Teorema 1.13 concluimos que
el desarrollo limitado de orden 1 de una funci on en un punto (que est a dado por
(1.62)) es siempre unico.
Nota 1.70. Dada una funci on f denida en un abierto A de R
n
con valores en
R, su desarrollo limitado de orden N en a A dene la llamada aproximaci on de
orden N de f en a que est a dada por la funci on h(x) := P
N
(x a).
Dos funciones f y h denida en un abierto A de R
n
con valores en R, se dicen
tangentes de orden N en un punto a A, si f(a +

) h(a +

) = o
N
(

) donde o
N
es una funci on de R
n
en R que verica o
N
(

0) = 0 y la relacion (1.61).
De lo anterior vemos que la aproximaci on de orden N de la funci on f en a A,
corresponde al polinomio de grado N que es tangente de orden N a la funci on f en
a.
Teorema 1.71. Sea f una funci on denida en un abierto A de R
n
con valores
en R. Si el polinomio
P
N
(

) :=

i|N

i

i1
1

i2
2
...
in
n
es un desarrollo limitado de orden N de la funci on f en a A, entonces para todo
K < N, el polinomio
P
K
(

) =

i|K

i

i1
1

i2
2
...
in
n
es un desarrollo limitado de orden K de la funci on f en a.
Demostraci on. Puesto que
lm

0
f(a+

i|K

i

i
1
1
...
in
n

K+1|

i|N

i

i
1
1
...
in
n

K
|

|
NK
= 0
y tambien (usando la norma innito)
lm

K+1|

i|N

i

i1
1
...
in
n
|

|
K
= 0
deducimos que
lm

0
f(a +

i|K

i

i1
1
...
in
n
|

|
K
= 0
lo que equivale a decir que P
K
es un desarrollo limitado de orden K de la funci on
f en a.
Teorema 1.72. Si una funci on f denida en un abierto A de R
n
con valores
en R, admite un desarrollo limitado P
N
de orden N en a A, entonces este es
unico.
24 1. DIFERENCIABILIDAD EN ESPACIOS VECTORIALES NORMADOS
Demostraci on. Hagamos la demostracion por inducci on. En la Nota 1.69
vimos que la unicidad se tiene cuando N = 1. Supongamos ahora que f admite
un desarrollo limitado P
N
de orden N y que su desarrollo limitado P
N1
de orden
N 1 es unico. Demostremos entonces la unicidad de P
N
.
Si denotamos P
N
y P

N
dos desarrollos limitados de orden N de f en a, del Teorema
1.71 y del hecho que el desarrollo limitado de orden N1 es unico, podemos escribir
P
N
(

) = P
N1
(

) +

i|=N

i1
1
...
in
n
P

N
(

) = P
N1
(

) +

i|=N

i1
1
...
in
n
y aplicando a P
N
y P

N
la igualdad (1.60) y luego restando, se obtiene
(*) (

) :=

i|=N
(

i
)
i1
1
...
in
n
= o
N
(

).
De este modo para todo

R
n
y todo R se tiene (

) =
N
(

), es decir
(

) =
(

N
. De la igualdad (*) se obtiene entonces
lm
0
(

N
= |

|
N
lm
0
(

)
|

|
N
= 0.
Esto implica que (

) = 0 para todo

R
n
y por lo tanto todos los coecientes
del polinomio deben ser nulos, esto es

i
= 0 para todo

i N
n

con [

i[ = N.
Todo esto nos permite concluir que P
N
= P

N
.
Teorema 1.73. Sea f una funci on de clase (
2
denida en un abierto A de R
n
con valores en R. Entonces para todo a A, f tiene un desarrollo limitado P
2
de
orden dos en a. Se tiene adem as que
(1.64) P
2
(

) = f(a) +f(a),

) +
1
2

t
H(a)
t

donde H(a) es la matriz de n n, llamada matriz Hessiana de f en a, cuyos

coecientes son las derivadas parciales de orden dos de f en a, esto es
(1.65) H(a) =
_
_
_
_
_
_
_

2
f
x
2
1
(a)

2
f
x1x2
(a)...

2
f
x1xn
(a)

2
f
x2x1
(a)

2
f
x
2
2
(a) ...

2
f
x2xn
(a)
.
.
.
.
.
.
.
.
.

2
f
xnx1
(a)

2
f
xnx2
(a)...

2
f
x
2
n
(a)
_
_
_
_
_
_
_
Demostraci on. Sea r > 0 tal que B(a; r) A. Sea

R
n
tal que |

| r.
Denamos entonces la funci on : [0, 1] R por (t) := f(a +t

). Esta funci on es
de clase (
1
y de acuerdo al teorema fundamental del calculo se tiene
(*) (1) = (0) +
1
_
0

(t)dt
1.9. DESARROLLOS LIMITADOS 25
donde

(t) =
n

i=1
f
xi
(a + t

)
i
. Como las funciones
f
xi
son de clase (
1
, ellas son
diferenciables y por lo tanto, para cada i 1, ..., n se tiene
f
x
i
(a + t

) =
f
x
i
(a) +
n

j=1

x
j
(
f
x
i
)(a)t
j
+ o
i
(t

)
y reemplazando en (*) obtenemos
f(a +

) = f(a) +
1
_
0
n

i=1
_
_
f
x
i
(a) +
n

j=1

2
f
x
j
x
i
(a)
j
t + o
i
(t

)
_
_

i
dt
= f(a) +
n

i=1
f
x
i
(a)
i
+
1
2
n

i=1
n

j=1

2
f
x
j
x
i
(a)
j

i
+
1
_
0
n

i=1
o
i
(t

)
i
dt
= f(a) +f(a),

) +
1
2

t
H(a)
t

+
1
_
0
n

i=1
o
i
(t

)
i
dt.
De acuerdo a la Denicion 1.66. Para terminar la demostracion debemos probar
que la funci on
(

) :=
1
_
0
n

i=1
o
i
(t

)
i
dt
verica lm

0
(

2
= 0.
Por denici on de o
i
(), para todo > 0 existe > 0 tal que
|

| < [o
i
(

)[ |

| para todo i 1, ..., n

entonces, con := mn, r obtenemos, usando como ha sido habitual la norma
en R
n
,
|

| [(

)[
1
_
0
n

i=1
[
i
[ |

| t dt n|

|
2
1
2
lo que demuestra que lm

0
(

2

n
2
y, como es cualquiera, concluimos que el
lmite es 0.
Nota 1.74. Del teorema anterior vemos que si f es una funci on de clase (
2
denida en un abierto A de R
n
con valores en R, su aproximaci on de orden 2
o aproximaci on cuadratica en a A, denida en la Nota 1.70, est a dada por la
formula
(1.66) h(x) = f(a) +f(a), x a) +
1
2
(x a)
t
H(x)(x a).
Nota 1.75. Es facil vericar que la aproximaci on cuadratica de una funci on
cuadratica denida en R
n
con valores R es, en todo punto de R
n
, ella misma.
26 1. DIFERENCIABILIDAD EN ESPACIOS VECTORIALES NORMADOS
Teorema 1.76. Sea f una funci on de clase (
2
denida en un abierto A de R
n
con valores en R. Entonces la funci on f denida en A con valores en R
n
es de
clase (
1
y
(1.67) D[f](x)(v) = H(x)v
t
.
Demostraci on. Si f es de clase (
2
se tendra que las funciones
1
f, ...,
n
f
son de clase (
1
, lo que es equivalente de acuerdo a los teoremas 1.37 y 1.40, a decir
que ellas son continuamente diferenciables. Aplicando entonces el Teorema 1.44 a
la funci on f := (
1
f, ...,
n
f) concluimos que ella es continuamente diferenciable
y de la formula (1.17) vemos que
D[f](x) = (D[
1
f](x), ..., D[
n
f](x)).
Aplicando ahora el Teorema 1.23 a las funciones
i
f, obtenemos para cada i =
1, ..., n
D[
i
f](x)(v) =
n

j=1

j,i
f(x)v
j
= (
1,i
f(x), ...,
n,i
f(x))v
t
que no es otra que la formula (1.67) escrita componente a componente.
Nota 1.77. Terminaremos esta secci on enunciando el teorema que generaliza
la formula (1.64) al caso en que la funci on f es de clase (
N
.
Teorema 1.78. Sea f una funci on de clase (
N
denida en un abierto A de
R
n
con valores en R. Entonces para todo a A, f tiene un desarrollo limitado de
orden N en a, dado por el polinomio
(1.68) P
N
(

) =

i|N

i

i1
1

i2
2
....
in
n
donde
(1.69)

i
=
1
i
1
!...i
n
!

i|
f
x
i1
1
...x
in
n
(a),

0
= f(a)
con la convenci on 0! = 1.
Nota 1.79. Del Teorema anterior vemos que si f es una funci on de clase (
N
denida en un abierto A de R
n
con valores en R, su aproximaci on de orden N en
a A, denida en la Nota 1.70, est a dada por la formula
(1.70) h(x) =

i|N

i
(x
1
a
1
)
i1
(x
2
a
2
)
i2
...(x
n
a
n
)
in
donde los coecientes

i
est an denidos por (1.69).
El polinomio (1.70) con los coecientes denidos por (1.69) se llama tambien de-
sarrollo de Taylor de orden N de la funci on f en a.

Indice alfabetico
base can onica, 2
conjunto conexo, 10
derivada parcial, 1
derivadas de orden superior, 20
desarrollo de Taylor, 26
diferenciabilidad, 3
diferencial parcial, 15
espacio de Banach, 17
espacio de Hilbert, 8
espacio producto, 7, 13
hiperplano, 8
interpretaci on geometrica, 4
lineales continuas, 3
Lipschitz, 9
matriz Hessiana, 24
matriz Jacobiana, 16
normas equivalentes, 5
pendiente, 2
teorema de la funci on implcita, 19
teorema de la funci on inversa, 17
teorema de los incrementos nitos, 9
teorema del valor medio, 8
unicidad, 4
27