Capítulo 4

Funciones Reales de “m” Variables

4.1. Derivadas Parciales

Definición 4.1.1. Sean U  abierto, f : U  y a U . Dado i  I m  {1,..., m} 

m
, la i-ésima
f f (a  tei )  f (a)
derivada parcial de f en el punto a se define como (a)  lim , cuando tal límite existe.
xi t  0 t

Observaciones:

1. Interpretación geométrica: Como a U (abierto), existe   

tal que B (a)  U y podemos definir
el camino rectilíneo i : I (0) ]   ,  [ U / i (t )  a  tei para todo i  I m .
Luego, podemos considerar f i : I (0)  y tenemos que f i es diferenciable en 0 si y solo si
( f i )(t )  ( f i )(0) f (a  tei )  f (a) f
existe ( f i ) '(0)  lim  lim  ( a) .
t 0 t t 0 t xi
f
2. En caso de existir, (a)  .
xi
f f f f f f
3. Si m{1, 2,3} , escribiremos (a) , (a ) y (a ) en vez de (a) , (a) y (a) .
x y z x1 x2 x3
4. Para el cálculo práctico de la i-ésima derivada parcial de una función se consideran constantes todas las
variables con excepción de la i-ésima.

 xy
 , ( x, y )  (0, 0)
Ejemplo 4.1.1. Sea f : 2
 / f ( x, y )   x 2  y 2 y sea ( x, y)  2
:
 0 , ( x, y )  (0, 0)


f y3  x2 y f x3  xy 2
i) Si ( x, y)  (0, 0) , ( x, y)  2 y ( x, y)  2 .
x ( x  y 2 )2 y ( x  y 2 )2

f f ((0, 0)  t (1, 0))  f (0, 0) f (0, t ) 0

ii) Si ( x, y)  (0, 0) , (0, 0)  lim  lim  lim  0
x t 0 t t 0 t t 0 t

f f ((0,0)  t(0,1))  f (0,0) f ( t,0) 0

y (0,0)  lim  lim  lim  0 .
y t  0 t t  0 t t  0 t

2
Por lo tanto, f posee derivadas parciales en todos los puntos de .
Definición 4.1.2. Sean U  m
abierto y una función f : U  que admite todas sus derivadas parciales
f f
en el punto a U . El gradiente de f en a se define como f (a)  ( (a),..., (a))  m
.
x1 xm

Ejemplo 4.1.2. Sea f como en el ejemplo anterior, tenemos que f (0,0)  (0,0) .

4.2. Derivadas Direccionales

Definición 4.2.1. Sean U  abierto, f : U  y a U . Dado v 

m m
, la derivada direccional de f
f f (a  tv)  f (a)
en a según v se define como (a)  lim , cuando tal límite existe.
v t  0 t

Observaciones:

1. Interpretación geométrica: Como a U (abierto), existe   

tal que B (a)  U y podemos definir

el camino rectilíneo v : I (0)  U / v (t )  a  tv para todo v  m
, donde   .
v
Luego, podemos considerar f v : I (0)  y tenemos que f i es diferenciable en 0 si y solo si
( f v )(t )  ( f v )(0) f (a  tv)  f (a) f
existe ( f v ) '(0)  lim  lim  (a) .
t 0 t t 0 t v
f
2. En caso de existir, (a)  .
v
f f
3. Si v  ei para algún i  I m , (a) es la i-ésima derivada parcial y seguirá escribiéndose (a) .
ei xi
f f (a  t )  f (a) 0
4. Si v   , (a)  lim  lim  0 para todo a  m
.
 t 0 t t 0 t

Ejemplo 4.2.1. Sea f como en los ejemplos anteriores y sea v  (v1 , v2 ) 

2
   , tenemos que
f f (  tv)  f ( ) f (tv1 , tv2 ) vv f
( )  lim  lim  lim 21 2 2 , entonces ( ) existe si y solo si
v t 0 t t 0 t t  0 t (v  v )
1 2 v
v1  0 o v2  0 .
Teorema 4.2.1. (Teorema del valor medio) Sean U  m
abierto, a U y v  m
tal que
f
[a, a  v]  U . Si f : U  es continua en [a, a  v] y existe ( x) para todo x ]a, a  v[ , entonces
v
f
existe t  ]0,1[ tal que f (a  v)  f (a)  ( a  t v ) .
v

Demostración. Definamos el camino rectilíneo v :[0,1]  U / v (t )  a  tv y consideremos

v  f v :[0,1]  , como v es continuo en [0,1] y f es continua en v ([0,1])  [a, a  v] , entonces
 v es continua en [0,1]. Además, para todo t0 ]0,1[ se tiene que
v (t0  t )  v (t0 ) f (a  t0v  tv)  f (a  t0v) f
lim  lim  (a  t0v) y como a  t0v ]a, a  v[ , se sigue
t 0 t t 0 t v
f
que existe (a  t0v)  v '(t0 ) i.e.  v es diferenciable en ]0,1[.
v
Luego, por el TVM para funciones reales se tiene que existe t  ]0,1[ tal que v (1)  v (0)  v '(t  ) i.e.
f
f ( a  v)  f ( a )  ( a  t v ) .
v

Proposición 4.2.1. Sean U  abierto, f : U  , a U y v  tal que [a, a  v]  U . Si existe

m m

f
( x) para todo x [a, a  v] , entonces f es continua en [a, a  v] .
v

Demostración. Definamos el camino rectilíneo v :]0,1[ U / v (t )  a  tv y consideremos

v  f v :]0,1[ , por la demostración del TVM sabemos que  v es diferenciable en ]0,1[.
v (t )  v (0) f (a  tv)  f (a) f
Además, existen v '(0)  lim  lim  ( a) y
t 0 t t 0 t v
 (1  t )  v (1) f (a  v  tv)  f (a  v) f
v '(1)  lim v  lim  (a  v) , entonces  v es diferenciable en
t 0 t t  0 t v
[0,1] y se sigue que es continua en [0,1] (compacto).
Luego, por el corolario 4 del teorema 2.7.1 se tiene que f es continua en v [0,1]  [a, a  v] .

f
Teorema 4.2.2. Sean U 
m
abierto conexo y f : U  . Si ( x)  0 para todo x U y para todo
v
v m
, entonces f es constante.

Demostración.

Afirmación: Si a, b U y [a, b]  U , entonces f (a)  f (b) .

f
Prueba: Sea v  b  a , tenemos que [a, a  v]  [a, b]  U y como existe ( x)  0 para todo
v
x [a, a  v] , por la proposición 4.2.1. se tiene que f es continua en [a, a  v] y por el TVM se sigue que
f
existe t  ]0,1[ tal que f (a  v)  f (a)  (a  t v)  0 i.e. f (a)  f (a  v)  f (b) .
v
Continuación de la demostración: Sean x0 U (fijo) y x U (arbitrario), por la conexidad del abierto U
tenemos que existe   1  ...  k :[0,1]  U (camino poligonal) tal que  (0)  x0 y  (1)  x , donde
 j :[0,1]  U es camino rectilíneo para todo j  I k , entonces  j (0)  x j 1 y  j (1)  x j , con xk  x .
Además, se tiene que [ x j 1 , x j ]  U para todo j  I k y por la afirmación se sigue que f ( x j 1 )  f ( x j ) i.e.
f ( x0 )  f ( x1 )  ...  f ( xk )  f ( x) .
Luego, f ( x)  f ( x0 ) para todo x U i.e. f es constante.

4.3. Funciones Diferenciables

Definición 4.3.1. Sean U  abierto, f : U  y a U , denotamos U a  {h  / a  h U } y

m m

decimos que:

1. f es diferenciable en a si y solo si existe u  m

tal que f (a  h)  f (a)  u, h  ra (h) para todo
ra (h)
h U a y con lim  0.
h 0 h
2. f es diferenciable en U si y solo si f es diferenciable en a para todo a U .

Observaciones:

1. U a  m
es abierto y 0 U a .
2. En caso de existir, se comprueba que u es único y lo denotaremos como f '(a)  m
.
ra (h)
3. La función ra : U a  m
es llamada resto de f en a y como lim  0 , decimos que ra es un resto
h 0 h
de orden 1.
4. El resto ra (h)  f (a  h)  f (a)  f '(a), h  (depende del punto a y de la función f ) satisface que
ra (h)
lim ra (h)  lim( ) h  0  ra (0) i.e. ra es una función continua en 0.
h 0 h 0 h
5. Como f (a  h) se aproxima a f (a)  f '(a), h  cuando h  (h1 ,..., hm ) tiende a 0 y como
 f '(a), h  es un polinomio de grado 1 en las variables h1 ,..., hm , concluimos que en una vecindad
(suficientemente pequeña) podemos aproximar f (a  h) por una función lineal.
6. Nótese que para fines prácticos escribimos 0 en vez de  (valor al que tiende h).

Ejemplo 4.3.1. Sea f : m

 / f ( x)  c (constante) y a  n
, tenemos que
ra (h)
f (a  h)  f (a)   , h  ra (h) y ra (h)  0 para todo h  m
a  m
, entonces lim  0 y se sigue
h 0 h
que f es diferenciable en a, con f '(a)   para todo a  m
.
Ejemplo 4.3.2. Sea T : m
 lineal y a  m
, para todo h  (h1 ,..., hm )  m
a  m
tenemos que
ra (h)
T (a  h)  T (a)  T (h)  T (a)  T (e1,..., em ),(h1,..., hm )  ra (h) y ra (h)  0 , entonces lim 0
h 0 h
y se sigue que T es diferenciable en a, con T '(a)  (T (e1 ),...,T(em )) para todo a  m
.

Teorema 4.3.1. Sean U  abierto, f : U  y a U , denotamos U a  {h  / a  h U } y

m m

tenemos que son equivalentes:

1. f es diferenciable en a.
ra (h)
2. Existe f (a) y f (a  h)  f (a)  f (a), h  ra (h) para todo h U a , con lim 0 y
h 0 h
ra : U a  m
continua en 0.
3. Existe f (a) y f (a  h)  f (a)  f (a), h   a (h) h para todo h U a , con a : U a  m

continua en 0.
4. Existe f (a) y f (a  h)  f (a)  f a (h), h  para todo h U a , con lim f a (h)  f (a) y
h 0

f a :Ua  m
continua en 0.

Demostración.

1  2) Como 0 U a (abierto), existe   

tal que B (0)  U a y si consideramos t  I (0)  ,
entonces tei  B (0)  U a para todo i  I m . Además, por hipótesis tenemos que
ra (tei )
f (a  tei )  f (a)  f '(a), tei  ra (tei ) y lim  0 , entonces
h 0 tei
f (a  tei )  f (a) r (te )
 f '(a), ei   a i y aplicando límite,
t t
f (a  tei )  f (a) r (te ) t
lim  lim[ f '(a), ei   a i . ]  f '(a), ei  .
t 0 t t 0 tei t
f (a)
Luego, existe  f '(a), ei   i ( f '(a)) y se sigue que f '(a)  f (a) .
xi

 ra (h)
 , h0
2  3) Basta considerar  a : U a  m /  a (h)   h y tenemos que  a es continua en 0.
0 , h0


 h
f (a)  h a (h), h  0
3  4) Basta considerar f a : U a  / f a ( h)   , donde lim a (h)  0 y la
h 0
f (a) , h0

h
función es acotada, por lo que lim f a (h)  f (a)  f a (0) ( f a continua en 0).
h h0
4  1) Por hipótesis tenemos que
f (a  h)  f (a)  f a (h), h  f (a)  f (a), h    f a (h)  f (a), h  para todo h U a y
podemos definir ra (h)  f a (h)  f (a), h  , con
ra (h) 1 h
lim  lim  f a (h)  f (a), h  lim  f a (h)  f (a),  0 .
h 0 h h  0 h h  0 h

Observaciones:

1. Que f sea diferenciable en a implica que existe f (a) y f '(a)  f (a) .

2. Que exista f (a) no implica que f sea diferenciable en a.

Ejemplo 4.3.3. Sea f como en el ejemplo 4.1.1, ya sabemos que existe f (a)  (0,0) .
Supongamos que f es diferenciable en (0,0) (hipótesis auxiliar), entonces
f (0  h)  f (0)  f (0), h  ra (h) para todo h  (h1, h2 )  2
a  2
y se sigue que

 h1h2
 , (h1 , h2 )  0 r ( h) hh
ra (h)  f (h)  f (h1 , h2 )   h12  h22 , pero lim a  lim 2 1 22 3/2 no existe () .
h 0 h h 0 ( h  h )
 0 , (h , h )  0 1 2
 1 2

Luego, f no es diferenciable en (0,0).

4.4. Propiedades de las Funciones Diferenciables

Teorema 4.4.1. Sean U  abierto, f : U  y a U . Si f es diferenciable en a, entonces f es

m

continua en a.

Demostración. Sea ( xk )  U  {a} tal que lim xk  a , consideramos hk  xk  a para todo k  y

k 

tenemos una sucesión (hk )  U a  {0} con lim hk  0 . Además, como f es diferenciable en a, existe
k 

f (a) y f (a  h)  f (a)  f (a), h   a h para todo h U a y en particular,

f (x k )  f (a  hk )  f (a)  f (a), hk   a (hk ) hk .
Luego, aplicando límite se tiene que lim f ( xk )  f (a) y por el teorema 2.2.1 se sigue que
k 

lim f ( x)  f (a) i.e. f es continua en a.

x a
Teorema 4.4.2. Sean U  m
abierto, f : U  y a U . Si f es diferenciable en a, entonces existe
f f
(a ) para todo v  m
y se cumple que (a)  f '(a), v  .
v v

Demostración. Como f es diferenciable en a, existe f (a) y f (a  h)  f (a)  f (a), h   a (h) h

para todo h U a y con a : U a  m
continua en 0.

i) Si v   es el caso trivial.

ii) Si v  m
 { } , como 0 U a (abierto), existe   0 / B (0)  U a y si para   consideramos
v
t  I (0) , entonces tv U a . Además, por hipótesis tenemos que
f (a  tv)  f (a) t v
f (a  tv)  f (a)  f (a), tv   a (tv) tv , entonces  f (a), v   a (tv) y
t t
f (a  tv)  f (a)
aplicando límite, lim  f (a), v  .
t 0 t
f
Por lo tanto, de (i) y (ii) se sigue que existe (a)  f '(a), v) para todo v  m
.
v

Corolario. Sean U  abierto, f : U  y a U . Si f es diferenciable en a, entonces

m

f
T f ,a : m
 / T f , a (v )  (a) es lineal.
v

Demostración. Sean u, v  m
y ,   , por teorema anterior se tiene que
f
T f ,a ( u   v)  (a)  f '(a),  u   v  y por la lineal del producto interno,
( u   v)
f f
 f '(a),  u   v    f '(a), u     f '(a), v   (a)   (a)  T f ,a (u )   T f ,a (v) .
(u )  (v )
Luego, T f ,a es lineal.

Teorema 4.4.3. (Regla de la cadena): Sean U  y V abiertos, f  ( f1 ,..., f n ) : U  V y

m n

g :V  tales que f1 ,..., f n son diferenciables en a U y g es diferenciable en f (a)  b , entonces

( g f ) n
g f
g f :U es diferenciable en a y se cumple que (a)   (b) j (a) , con i  I m .
xi j 1 y j xi

Demostración. Como f j es diferenciable en a para todo j  I n , por el teorema 4.3.1. se tiene que

f j (a  h)  f j (a)  f aj (h), h  para todo h U a y lim f aj (h)  f j (a)  f aj (0) ( f aj continua en 0),
h0

entonces f (a  h)  ( f1 (a  h),...,f n (a  h)  ( f1 (a)  f a1 (h), h ,..., f n (a)   f an ( h), h ) i.e.

f (a  h)  f (a)  ( f a1 (h), h ,...,  f an (h), h ) para todo h U a …(i)

Además, como g es diferenciable en b se tiene que g (b  k )  g (b)  g b (k ), k  para todo k Vb y
lim g b ( k )  g(b)  g b (0) ( g b continua en 0). En particular, para todo h U a tenemos que
k 0

f (a  h) V y kh  f (a  h)  f (a) Vb , entonces

g ( f (a  h))  g (b  kh )  g (b)  g b ( f (a  h)  f (a)), f (a  h)  f (a)  i.e.
( g f )(a  h)  ( g f )(a)  g b ( f (a  h)  f (a)), f (a  h)  f (a)  y para g b  ( g b1 ,..., g bn ) se tiene
n
( g f )(a  h)  ( g f )(a)   g bj ( f (a  h)  f (a))  f aj (h), h 
j 1
n
g
 ( g f )(a)   g bj ( f (a  h)  f (a)) f aj (h), h  , con lim g bj  (b)  g bj (0) .
j 1
k 0 y j
n
Luego, definimos g f :Ua  n
/ ( g f )(h)   g bj ( f (a  h)  f (a)) f aj (h) para todo h U a y por
j 1
n
(i) se tiene que ( g f )(h)   g bj ( f a1 (h), h ,...,  f an (h), h ) f aj (h) para todo h U a , entonces
j 1
n n
lim( g f )(h)  lim  g bj ( f (a  h)  f (a)) f aj (h)   lim[ g bj ( f (a  h)  f (a)) f aj (h)]
h 0 h 0 h 0
j 1 j 1

n
g n
g f f
 (b)f j (a)   ( f (a))( j (a),..., j (a))
j 1 y j j 1 y j x1 xm

n
g f n
g f
 ( ( f (a)) j (a),...,  ( f (a)) j (a))  ( g f )(a)  g f (0) ( g f continua en 0).
j 1 y j x1 j 1 y j xm
( g f ) n
g f
Por lo tanto, g f es diferenciable en a y (a)   (b) j (a) .
xi j 1 y j xi

Corolario 1. Sean U  abierto, f : U  , a y   (1,..., m ) : I r ( a)  U diferenciable en a.

m

Si f es diferenciable en  (a)  b , entonces f  : I r (a)  es diferenciable en a y

m
f
( f  ) '( a)   ( ( a)) ' i( a) .
i 1 xi

Demostración. Aplicamos regla de la cadena para n=1.

Corolario 2. Sean U  e I abiertos, f : U  I y  : I  . Si f es diferenciable en a  I y 

m

( f ) f
es diferenciable en f (a) , entonces  f :U  es diferenciable en a y (a)   '( f (a)) (a) .
xi xi

Demostración. Aplicamos regla de la cadena para m=1.

Corolario 3. Sean U  m
abierto, f : U  diferenciable en a U y   (1,..., m )  I (0)  U
diferenciable en 0. Si  (0)  a y  '(0)  v  m
, entonces f  : I (0)  es diferenciable en 0 y
f
( f  ) '(0)  ( a) .
v

Demostración. Por el corolario 1 se tiene que f  es diferenciable en 0 y

m
f f f
( f  ) '(0)   ( (0)) 'i (0)  ( (0)) '1 (0)  ...  ( (0)) 'm (0)
i 1 xi xi xm
f
 f ( (0)),  '(0)  f (a), v  ( a) .
v

Corolario 4. Sean U  abierto, f , g : U  diferenciables en a U y c 

m
. Se cumplen:

1. f  g : U  es diferenciable en a y ( f  g )'(a)  f '(a)  g '( a) .

2. cf : U  es diferenciable en a y (cf )'(a)  cf '(a) .
3. fg : U  es diferenciable en a y ( fg )'(a)  f '(a) g(a)  f (a) g '( a) .
f
4. Si g ( x)  0 para todo x U , entonces :U  es diferenciable en a y
g
f f '(a) g ( a)  f ( a) g '( a)
( ) '( a) 
g g (a ) 2

Demostración.

1. Consideramos h : 2
 / h ( x, y)  x  y diferenciable en 2
, con h ( x, y)  (1, 1) para todo
( x, y)  2
y definimos  : U  2
/  ( x)  ( f ( x), g ( x)) , como f y g son diferenciables en a se tiene que
 es diferenciable en a. Luego, por la regla de la cadena h  es diferenciable en a y
 (h   ) h f h  g f g
(a)  ( (a)) (a)  ( (a)) (a)  (a)  (a) para todo i  I m , se sigue que
xi x xi y xi xi xi
(h  ) '(a)  (h  )(a)  f (a)  g (a)  f '(a)  g '(a) y como
(h  )( x)  h ( ( x))  f ( x)  g ( x)  ( f  g )( x) para todo x U , entonces f  g es diferenciable en
a y ( f  g )'(a)  (h  )'( a)  f '( a)  g '( a) .

2. Consideramos hc :  / h( x)  cx diferenciable en , con hc '( x)  c para todo x  y como f es

diferenciable en a, por la regla de la cadena se tiene que hc f :U  es diferenciable en a y
(hc f ) h f f
(a)  c ( f (a)) ( a)  c (a) para todo i  I m , se sigue que
xi x xi xi
(hc f ) '(a)  (hc f )(a)  cf (a)  cf '(a) y como (hc f )( x)  hc ( f ( x))  cf ( x)  (cf )( x) para
todo x U , entonces cf es diferenciable en a y (cf )'(a)  ( hc )'( a)  cf '( a) .
3. Consideramos h : 2
 / h( x, y)  xy diferenciable en 2
con h( x, y)  ( y, x) para todo
( x, y)  2 y definimos  : U  2 /  ( x)  ( f ( x), g ( x)) , como f y g son diferenciables en a se tiene que
 es diferenciable en a. Luego, por la regla de la cadena h  es diferenciable en a y
 (h  ) h f h g f g
(a)  ( (a)) (a)  ( (a)) ( a )  g ( a) ( a)  f ( a) ( a) para todo i  I m , se
xi x xi y xi xi xi
sigue que (h  ) '(a)  (h  )(a)  g (a)f (a)  f (a)g (a)  g (a) f '(a)  f (a) g '(a) y como
(h  )( x)  h( ( x))  f ( x) g ( x)  ( fg )( x) para todo x U , entonces fg es diferenciable en a y
( fg )'(a)  (  )'( a)  g( a) f '( a)  f ( a) g '( a) .

x
4. Sea E  {( x, y)  2
/ y  0} , consideramos h : 2
E  / h( x, y)  diferenciable en 2
E y
y
1 x
con h( x, y )  ( ,  2
) para todo ( x, y)  2 y definimos  : U  2 /  ( x)  ( f ( x), g ( x)) , como f y
yy
g son diferenciables en a se tiene que  es diferenciable en a. Luego, por la regla de la cadena h  es
 (h  ) h f h g f g
diferenciable en a y (a)  ( (a)) (a)  ( (a)) ( a )  g ( a) ( a)  f ( a) ( a)
xi x xi y xi xi xi
f (a) f (a)g (a) g (a) f '(a)  f (a) g '(a)
para todo i  I m , se sigue que (h  ) '(a)  (h  )(a)   
g (a ) g (a ) 2 g (a ) 2
y como (h  )( x)  h( ( x))  f ( x) g ( x)  ( fg )( x) para todo x U , entonces fg es diferenciable en a y
g (a) f '( a)  f ( a) g '( a)
( fg ) '( a)  ( h ) '( a)  .
g (a) 2

Teorema 4.4.4. (Condiciones suficientes) Sean U  abierto y f : U  , si existe   0 tal que

m

f f
f ( x) existe para todo x  B (a)  U y ,..., : B (a)  son continuas en a U , entonces f es
x1 xm
diferenciable en a.

Demostración. Definimos ra : U a  / ra (h)  f (a  h)  f (a)  f (a), h  y como B (0)  U a ,

para todo h  (h1 ,..., hm )  B (0) podemos escribir
ra |B (0) (h)  f (a  h)  f (a  h  h1e1 )  f (a  h  h1e1 )  f (a  h  (h1e1  h2e2 ))  ... 
f f
 f (a  h  (h1e1  ...  hm1em1 )  f (a)  (h1 (a)  ...  hm (a)) y para todo i  I m , si hacemos
x1 xm
i m
f
bi  a  h   hk ek y vi  hi ei tenemos que ra |B (0) (h)  [( f (bi  vi )  f (bi ))  hi (a)] …(i)
k 1 i 1 xi
f f
Además, como existe ( x)  ( x) para todo x  B (a) y para todo i  I m , tenemos que existe
xi ei
f f f
hi ( x)  ( x)  ( x) para todo x [bi ,bi  vi ]  B (a) y por la proposición 4.2.1 se tiene que f
xi (hi ei ) vi
es continua en [bi , bi  vi ]
Luego, por el TVM tenemos que para todo i  I m existe ti* ]0,1[ tal que
f f i
f i
f (bi  vi )  f (bi )  (bi  ti*vi )  (a  h   hk ek  ti*hi ei )  hi (a  h   hk ek  ti*hiei ) y
vi (hi ei ) k 1 xi k 1
m
f i
f
reemplazando en (i) se tiene que ra |B (0) (h)   hi [ (a  h   hk ek  ti*hi ei )  (a)] , entonces
i 1 xi k 1 xi
ra (h) ra |B (0) (h) m h f i
f
lim  lim   lim i [ (a  h   hk ek  ti*hi ei )  (a)] con
h 0 h h 0 h h 0 h x xi
i 1 i k 1

f i
f h  ( h) r ( h)
lim[ (a  h   hk ek  ti*hi ei )  (a)]  0 y i  i acotada i.e. lim a  0.
h 0 xi k 1 xi h h h  0 h
Por lo tanto, f es diferenciable en a.

4.5. La Diferencial de Funciones Reales de “m” Variables

Definición 4.5.1. Sean U  abierto y f : U 

m
diferenciable en a, la diferencial de f en a se define
f
como df (a) : m
 / df (a)(v)  (a)  f (a), v  .
v
m 
Observación: Por el teorema 4.4.2 se tiene que df (a)  L( m
, )( ) .

m 
Teorema 4.5.1. Sea T : m
 lineal (i.e. T  ( ) ), entonces T es diferenciable en m
y dT ( x)  T .

Demostración. Como T es diferenciable en m

y T '( x)  (T (e1 ),..., T (em )) para todo x  m
, entonces
m m m
para todo v   vi ei 
i 1
m
tenemos que dT ( x)(v)  T ( x), v  T (ei )vi  T /  viei  T (v) .
i 1 i 1

Observación: Sabemos que  i  L( m

, )( ) , se sigue que d i ( x)   i para todo x 
m  m
y se
acostumbra escribir d i ( x)  dxi .

Definición 4.5.2. Sea U  abierto y f : U  diferenciable en U, para todo x U se tiene que

m

df ( x)  ( ) y la función df : U  (
m * m *
) es llamada diferencial de f.
 m
f
Teorema 4.5.2. Sean U 
m
abierto y f : U  diferenciable en U, entonces df   x dx .
i 1
i
i

Demostración. Sean x U y v  (v1 ,..., vm )  m

, tenemos que
m
f m
f m
f
df ( x)(v)  f ( x), v   ( x)vi   ( x)d i ( x)(v)  ( ( x)dxi )(v) para todo v  m
,
i 1 xi i 1 xi i 1 xi
m
f m
f m
f
entonces df ( x)  
i 1 xi
( x ) dxi  ( 
i 1 xi
dxi )( x ) para todo x  U y se sigue que df  
i 1 xi
dxi .

Teorema 4.5.3. Sean U  abierto, f , g : U  diferenciables en U y c 

m
. Se cumplen:

1. f  g : U  es diferenciable en U y d ( f  g )  df  dg .
2. cf : U  es diferenciable en U y d (cf )  cdf .
3. fg : U  es diferenciable en U y d ( fg )  dfg  fdg .
f f dfg  fdg
4. Si g ( x)  0 para todo x U , entonces :U  es diferenciable en U y d ( )  .
g g g2

Demostración.

1. Por el corolario 4 del teorema 4.4.3, tenemos que f  g es diferenciable en U y

( f  g )( x)  f ( x)  g ( x) para todo x U . Luego, para todo x U y v  m
tenemos que
( f  g )
d ( f  g )( x)(v)  ( x)  ( f  g )( x), v  f ( x), v    g ( x), v 
v
 df ( x)(v)  dg ( x)(v)  (df ( x)  dg ( x))(v) , entonces d ( f  g )( x)  df ( x)  dg ( x)  (df  dg )( x) para
todo x U y se sigue que d ( f  g )  df  dg .

2. Por el corolario 4 del teorema 4.4.3, tenemos que cf es diferenciable en U y (cf )( x)  cf ( x) para
todo x U . Luego, para todo x U y v  m
tenemos que
( f  g )
d ( f  g )( x)(v)  ( x)  ( f  g )( x), v  f ( x), v    g ( x), v 
v
 df ( x)(v)  dg ( x)(v)  (df ( x)  dg ( x))(v) , entonces d ( f  g )( x)  df ( x)  dg ( x)  (df  dg )( x) para
todo x U y se sigue que d ( f  g )  df  dg .

3. Por el corolario 4 del teorema 4.4.3, tenemos que fg es diferenciable en U y

( fg )( x)  g ( x)f ( x)  f ( x) g ( x) para todo x U .
Luego, para todo x U y v  m
tenemos que
( fg )
d ( fg )( x)(v)  ( x)  ( fg )( x), v  g ( x)  f ( x), v   f ( x)  g ( x), v 
v
g ( x)df ( x)(v)  f ( x)dg ( x)(v)  ( g ( x)df ( x)  f ( x)dg ( x))(v) , entonces
d ( fg )( x)  g ( x)df ( x)  f ( x)dg ( x)  ( gdf  fdg )( x) para todo x U y se sigue que
d ( fg )  gdf  fdg .
 f
4. Por el corolario 4 del teorema 4.4.3, tenemos que es diferenciable en U y
g
f g ( x)f ( x)  f ( x) g( x)
( )( x)  para todo x U .
g g ( x) 2
Luego, para todo x U y v  m
tenemos que
f
( )
f g f 1 f ( x)
d ( )( x)(v)  ( x)  ( )( x), v   f ( x), v    g ( x), v 
g v g g ( x) g ( x) 2
g ( x)df ( x)(v)  f ( x)dg ( x)(v) g ( x)df ( x)  f ( x)dg ( x)
 2
( )(v) , entonces
g ( x) g ( x) 2
f g ( x)df ( x)  f ( x)dg ( x) gdf  fdg
d ( )( x)  2
( )( x) para todo x U y se sigue que
g g ( x) g2
f gdf  fdg
d( )  .
g g2

Teorema 4.5.4 (TVM para diferenciales): Sean U  abierto, a U y v  / [a, a  v]  U . Si

m m

f :U  es diferenciable en [a, a  v] , entonces existe t  ]0,1[ tal que

f (a  v)  f (a)  df (a  t v)(v) .

f
Demostración. Como f es diferenciable en [a, a  v] , entonces f es continua en [a, a  v] y existe ( x)
v
para todo x [a, a  v] . Luego, por el TVM anterior se sigue que existe t  ]0,1[ tal que
f
f ( a  v)  f ( a)  (a  t v)  f '(a  t v), v  f (a  t v), v  df (a  t v)(v) .
v

Teorema 4.5.5. Sean U  abierto conexo y f : U  diferenciable en U tal que df ( x)  0 para todo
m

x U , entonces f es constante.

Demostración. Sea v  m
, como f es diferenciable en U se tiene que existe
f
( x)  f '( x), v  f ( x), v  df ( x)(v)  0 , x U y v  m
.
v
Luego, por el teorema 4.2.2 se sigue que f es constante.
4.6. La regla de Leibnitz

Teorema 4.6.1 (Regla de Leibnitz): Sean U  abierto, f :[a, b] U  , x U y

m

f x :[a, b]  / f x (t)  f ( t, x) , si se satisfacen:

1. f x  I ([a, b]) ( f x es integrable en [a, b] ) para todo x U .

f
2. Existe :[a, b]  U  continua para todo i  I m .
xi

b
Entonces la función  : U  /  ( x)   f (t.x)dt admite todas sus derivadas parciales en U y para todo
a

 b  b f
x U se tiene que
xi a
f (t , x)dt 
xi
( x)  
a x
i
(t , x)dt .

Demostración. Como 0 U a (abierto), existe r  0 / Br (0)  U a y si consideramos h  I 'r (0)  ,

entonces x  hei U para todo i  I m y para todo x U , se tiene que
 ( x  hei )   ( x) f (t , x  hei )  f (t , x)
b
 [ ]dt y por el TVM de la sección 4.2 existe t  ]0,1[ tal que
h a h
f f
f (t , x  hei )  f (t , x)  (t , x  t hei )  h (t , x  t hei ) , entonces
hei xi
 ( x  hei )   ( x) b f f
 [ (t , x  t hei )]dt . Además, como :[a, b]  U  es continua y [a, b] es
h a xi xi
compacto, por el teorema 2.7.2 se sigue que para todo   0 existe   0 tal que si
f f 
y U  y  y0    (t , y )  (t , y0 )  para todo t [a, b] y para todo y0 U , en
xi xi 2(b  a)
particular para y0  x e y  x  t hei se sigue que

f f 
y  y0  t hei  t h    (t , x  t hei )  (t , x) 
xi xi 2(b  a)
b
f f
b
f
b
f  b

 [ (t , x  t hei )]dt   [ (t , x)]dt   (t , x  t hei )  (t , x) dt   dt    .
a
xi a
xi a
xi xi a
2(b  a) 2
f f f
b b b
Luego lim
*
[
t h 0 
a
xi
(t , x  t hei )]dt  lim  [ (t , x  t hei )]dt   [ (t , x)]dt i.e.
h 0
a
xi a
xi
 ( x  hei )   ( x)  b f
lim  ( x)   (t , x)dt .
h 0 h xi a x
i
 f f
Corolario. Sea U  abierto, si f :[a, b] U 
m
es continua y existen (t , x),..., (t , x)
x1 xm
b
continuas en U, entonces  : U  /  ( x)   f (t.x)dt es diferenciable en U.
a

  b b f
Demostración. Por la regla de Leibnitz se tiene que existe
xi
( x) 
xi  a
f (t , x)dt  
a xi
(t , x)dt para


todo x U y para todo i  I m . Luego, por el corolario del teorema 2.2.2 se sigue que es continua para
xi
todo i  I m i.e.  es diferenciable en U.

Ejemplo 4.6.1. Sea f :[0,1]  2

 / f (t , x, y)  txy  t 2 x 2  y 3 , para todo x  tenemos que
1 xy x 2
f x  I ([0,1]) y podemos definir  : 2
 /  ( x, y)   f (t , x, y)dt    y3 .
0 2 3
f f
Luego, como existen (t , x, y)  ty  2t 2 x y (t , x, y)  tx  3 y 2 continuas en [0,1] U , por la regla
x y
 y 2 1 f
de Leibnitz se sigue que existen ( x, y )   x   (t , x, y ) y
x 2 3 0 x

 x 1 f
( x, y)   3 y 2   (t, x, y) .
y 2 0 y

 tx
 , (t , x)  (0, 0)
Ejemplo 4.6.2. Sea f :[a, b]   / f (t , x)   t 2  x 2 ( a  0  b ), para todo x 

 0 , (t , x)  (0, 0)
 x b2  x2
b  ln( ), x  0
tenemos que f x  I ([a, b]) y podemos definir  :  /  ( x)   f (t , x)dt   2 a 2  x 2 .

a
 0 , x0
 t 3  tx 2
f  , (t , x)  (0, 0)  b  b
Luego, se tiene que
x
(t , x)   (t 2  x 2 )2 y
x  f (t ,0)dx 
x
(0)  ln , pero como
a

a

 0 , (t , x)  (0, 0)
b f b dt
no existe  (t , 0)dt   , entonces no se verifica la regla de Leibnitz y esto se debe a que
a x a t

f f f
lim (h, 0)    (0, 0) i.e. (t , x) no es continua en (0,0).
h 0 x x x
4.7. El teorema de Schwarz

Definición 4.7.1. Sea U  abierto, decimos que f : U  es dos veces diferenciable en a U si y

m

f
solo si existe   0 tal que f es diferenciable en B (a)  U y : B (a)  es diferenciable en a, para
xi
todo i  I m .

 f
Observación: Si f : U  es dos veces diferenciable a U , entonces existen ( )(a) para todo
x j xi
 2 f
 x x , i  j
 f  j i
i, j  I m y denotaremos ( ) 2 .
x j xi   f
, i j
 x 2
 i

 xy ( x 2  y 2 )
 , ( x, y)  (0, 0)
Ejemplo 4.7.1. Sea f :
2
 / f ( x, y )   x 2  y 2 , tenemos que existen
 0 , ( x, y )  (0, 0)

 y( x4  x2 y 2  y 4 )  x( x 4  x 2 y 2  y 4 )
f ( x, y )  , ( x, y )  (0, 0) f ( x , y )  , ( x, y)  (0, 0)
 ( x 2  y 2 )2 y   ( x 2  y 2 )2 .
x  0  y  0
 , ( x, y )  (0, 0)  , ( x, y )  (0, 0)

i) Si a  n
 { } , existe   a  0 tal que para todo ( x, y)  B (a) existen y son continuas las
f y ( x 4  4 x 2 y 2  y 4 ) f x( x 4  4 x 2 y 2  y 4 )
derivadas parciales ( x, y)  y ( x, y )  , entonces f es
x ( x 2  y 2 )2 y ( x 2  y 2 )2
2 f 4 xy 3 ( x 2  y 2 )(3 y 2  x 2 )
diferenciable en B (a) . Además, existen las derivadas parciales ( x, y)  ,
x 2 ( x 2  y 2 )4
2 f 2 f x6  9 x4 y 2  9 x 2 y 4  y 6 2 f 4 x3 y( x2  y2 )( y2  3 x2 )
( x, y)  ( x, y)  , y ( x, y ) 
yx xy ( x 2  y 2 )2 y 2 ( x2  y 2 )4
f f
continuas en a, entonces ( x, y ) y ( x, y) son diferenciables en a.
x y
Luego, f es dos veces diferenciable en n
 { } .

ii) Por la parte (i) tenemos que f es diferenciable en B ' ( ) para todo   0 y como existen
f f f f
( )  ( )  0 , con ( x, y ) y ( x, y) continuas en  , entonces f es diferenciable en  y se sigue
x y x y
que f es diferenciable en B ( ) .
 2 f
Luego, si suponemos que ( x, y ) es continua en  tendríamos que
x 2
4 xy 3 ( x 2  y 2 )(3 y 2  x 2 )  2 f 2 f f
lim  (0, 0)  0 y como lim (t , t )  1  0() , se sigue que
( x , y ) (0,0) (x  y )
2 2 4
x 2 t 0 x 2
x
no es continua en  i.e. f no es dos veces diferenciable en  .

Por lo tanto, de (i) y (ii) se tiene que f es dos veces diferenciable en n

 { } .

Teorema 4.7.1. (Schwarz) Sea U  abierto y f : U  dos veces diferenciable en a U , entonces

m

 f
2
 f 2
(a)  (a) para todo i, j  I m .
x j xi xi x j

Demostración. Si i  j no hay nada que probar y por esta razón consideraremos el teorema para i  j .

Como f es dos veces diferenciable en a, existe   0 tal que f es diferenciable en B (a)  U y

f f
,..., : B ( a)  son diferenciables en a.
x1 xm

Afirmación: El teorema es válido para m  2 .

Prueba: Sea a  (a1 , a2 ) , existe r  0 / I r (a1 ) xI r (a2 )  B (a)  D (a) y podemos definir
 : I r (0)  /  (t )  f (a1  t , a2  t )  f (a1  t , a2 )  f (a1, a2  t )  f (a1, a2 )
Además, si para cada t  I r (0) definimos las funciones reales
t : I r (a1 )  / t ( x)  f ( x, a2  t )  f ( x, a2 ) y  t : I r (a2 )  /  t ( y)  f ( a1  t, y)  f (a1, y) ,
tenemos que  (t )  t (a1  t )  t (a1 )   t (a2  t )  t (a2 ) .

i) Como  t es continua en [a1 , a1  t ] y diferenciable en ]a1 , a1  t[ , por el TVM para funciones reales existe
f f
htx ]0,1[ tal que  (a1  t )   (a1 )   '(a1  htxt )t i.e.  (t )  [ (a1  htxt , a2  t )  (a1  htxt , a2 )]t y
x x
f
como es diferenciable en a, para todo h  (h1 , h2 )  ( B (a))a  B (0) tenemos que
x
f f 2 f 2 f r x ( h)
(a  h)  (a)  2 (a)h1  (a)h2  rax (h) y lim a  0.
x x x yx h 0 h
Luego, como h  (htxt , t )  D (0) y h  (ht t ,0)  D (0) , se tiene que
x

f f 2 f 2 f
(a1  ht t , a2  t )  (a)  2 (a)ht t 
x x
(a)t  rax (htxt , t ) y
x x x yx
f f 2 f 2 f
(a1  htxt , a2 )  (a)  2 (a)htxt  (a)0  rax (htxt , 0) , entonces
x x x yx
 (t ) 2 f r x (h xt , t ) rax (htxt , 0)  (t )  2 f
 (a)  a t  para t  0 y se sigue que lim 2  (a) .
t2 yx t t t 0 t yx
ii) Como  t es continua en [a2 , a2  t ] y diferenciable en ]a2 , a2  t[ , por el TVM para funciones reales
existe hty ]0,1[ tal que  (a2  t )  (a2 )   '(a2  htyt )t i.e.
f f f
 (t )  [ (a1  t , a2  hty t )  (a1 , a2  hty t )]t y como es diferenciable en a, para todo
y y y
f f 2 f 2 f
h  (h1 , h2 )  ( B (a))a  B (0) tenemos que ( a  h)  ( a )  (a)h1  2 (a)h2  ray (h) y
y y xy y
ray (h)
lim  0 . Luego, como h '  (t , htyt )  D (0) y h '  (0, htyt )  D (0) , se tiene que
h 0 h
f f 2 f 2 f
(a1  t , a2  ht t )  (a) 
y
(a)t  2 (a)htyt  ray (t , htyt ) y
y y xy y
f f 2 f 2 f
(a1 , a2  hty t )  (a)  (a)0  2 (a)htyt  ray (0, htyt ) , entonces
y y xy y
 (t ) 2 f r y (t , hty t ) ray (0, hty t )  (t )  2 f
 (a)  a  y se sigue que lim 2  (a) .
t2 xy t t t 0 t xy

2 f 2 f
Por lo tanto, de (i) y (ii) se tiene que (a)  (a) .
yx xy

Continuación de la demostración: Sea m  2 y a  (a1 ,..., am ) , existe r  0 / I r (a1 ) x...xI r (am )  B (a) y
2 f 2 f
existen (a)  (a) para todo i  j  I m , podemos suponer sin pérdida de generalidad que
x j xi xi x j
i  j y como I r (ai ) xI r (a j )  B (a) , podemos definir
 : I r (ai ) xI r (a j )  /  ( x, y)  f (a1,..., ai 1, x, ai 1,..., a j 1, y, a j 1,..., am ) y se tiene que
 (ai , y)  (ai  t , y)   (ai , y)
 lim
x t 0 t
f (a1 ,..., ai 1 , ai  t , ai 1 ,..., a j 1 , y, a j 1 ,..., am )  f (a1 ,..., ai 1, ai , ai 1,..., a j 1, y, a j 1,..., am )
 lim
t 0 t
f
 (a1 ,..., a j 1 , y, a j 1 ,..., am ) ,
xi
 ( x, a j )  ( x, a j  t )   ( x, a j )
 lim
y t 0 t
f (a1 ,..., ai 1 , x, ai 1 ,..., a j 1 , a j  t , a j 1 ,..., am )  f (a1 ,..., ai 1 , x, ai 1 ,..., a j 1, a j , a j 1,..., am )
 lim
t 0 t
f
 (a1 ,..., ai 1 , x, ai 1 ,..., am ) ,
x j
  
 2 (ai , a j ) (ai , a j  t )  (ai , a j )
 lim x x
yx t  0 t
f f
(a1 ,..., a j 1 , a j  t , a j 1 ,..., am )  (a1 ,..., a j 1 , a j , a j 1 ,..., am )
xi xi 2 f
 lim  (a) y
t 0 t x j xi
 
(ai  t , a j )  ( ai , a j )
 2 (ai , a j ) y y
 lim
xy t  0 t
f f
(a1 ,..., ai 1, ai  t, ai 1,..., am)  ( a1,..., ai 1, ai, ai 1,..., am)
x j x j 2 f
 lim  ( a) .
t 0 t xi x j
2 f  2  2 2 f
Luego, por la afirmación anterior se sigue que (a)  (ai , a j )  (ai , a j )  (a) .
x j xi yx xy xi y j

Corolario. Sea U  abierto y f : U  dos veces diferenciable en a U , entonces

m

2 f 2 f
(a)  (a) para todo u, v  m
.
uv vu
m m
Demostración. Sean u  (u1 ,..., um ) y v  (v1 ,..., vm ) , podemos escribir u   u j e j y v   vi ei .
j 1 i 1

Luego, por la linealidad de la derivada direccional y por el teorema anterior tenemos que
2 f  f m
 m f m m
2 f
(a)  ( (a))   u j ( vi (a))   u j vi ( a)
uv m m
x j i 1 xi x j xi
 ( u j e j ) ( vi ei ) j 1 j 1 i 1

j 1 i 1
m m
 f
2 m
 m f  f 2 f
  vi u j (a)   vi ( u j (a))  ( (a))  (a ) .
xi x j xi j 1 x j m m
vu
i 1 j 1 i 1
( vi ei ) ( u j e j )
i 1 j 1
4.8. Derivadas de orden superior

Definición 4.8.1. Sea U  abierto y f : U 

m
, decimos que:

f f
1. f es de clase C 1 en U si y solo si existen ,..., :U  continuas en U.
x1 xm
f f
2. f es de clase C k ( k  2 ) en U si y solo si existen ,..., :U  de clase C k en U.
x1 xm
3. f es de clase C  si y solo si f es de clase C k en U, para todo k  .

Observaciones:

1. Notación:
i) C k (U ) ={ f : U  /f es de clase C k en U} para k  .
ii) C (U )  C (U ) ={ f : U 
0
/f es continua en U}.

2. C  (U )  C k (U ) .
k 1

3. C (U )  ...  C k (U )  C k 1 (U )  ...  C (U ) .


f f
4. f  C k (U ) si y solo si ,...,  C k 1 (U ) , para k  .
x1 xm
5. Si f  C1 (U ) entonces f es diferenciable en U.

Teorema 4.8.1. Sean U  abierto y   . Para todo k  se cumple que si f , g  C k (U ) ,

m

f
entonces f  g ,  f , fg  C k (U ) y si g ( x)  0 para todo x U ,  C k (U ) .
g

Demostración. Sea X={ n  / el teorema es válido para k  n }  .

f
i) Si f , g  C1 (U ) tenemos que f y g son diferenciables en U, entonces f  g ,  f , fg y
(si
g
( f  g ) f g ( f ) f
g ( x)  0 para todo x U ) son diferenciables en U, con   ,  ,
xi xi xi xi xi
f f g
( ) g f
( fg ) f g g xi xi
g f y  para todo i  I m .
xi xi xi xi g 2

f
( )
f g ( f  g ) ( f ) ( fg ) g
Además, como ,  C (U ) se tiene que , , ,  C (U ) para todo i  I m y
xi xi xi xi xi xi
f
se sigue que f  g ,  f , fg ,  C1 (U ) . Luego, el teorema es válido para k  1 i.e. 1 X .
g
ii) Supongamos que n  X (hipótesis inductiva) i.e. el teorema es válido para k  n , si
f
f , g  C n1 (U )  C1 (U ) se tiene que f y g son diferenciables en U, entonces f  g ,  f , fg y (si
g
( f  g ) f g ( f ) f
g ( x)  0 para todo x U ) son diferenciables en U, con   ,  ,
xi xi xi xi xi
f f g
( ) g f
( fg ) f g g xi xi f g
g f y  para todo i  I m . Además, ,  C n (U ) y por la
xi xi xi xi g 2
xi xi
f
( )
( f  g ) ( f ) ( fg ) g
hipótesis inductiva se tiene que , , ,  C n (U ) para todo i  I m , entonces
xi xi xi xi
f
f  g ,  f , fg ,  C n 1 (U ) . Luego, el teorema es válido para k  n  1 i.e. s(n)  X
g

Por lo tanto, de (1), (ii) y el principio de inducción se tiene que el teorema es válido para todo k  .

Teorema 4.8.2. Sean U  yV abiertos, f  ( f1 ,..., f n ) : U  V y g : V 

m n
. Para todo
k se cumple que si f1 ,..., f n  C k (U ) y g  C k (V ) , entonces g f  C k (U ) .

Demostración. Sea X={ p  tal que el teorema es válido para k  p }  .

i) Si f1 ,..., f n  C1 (U ) y g  C1 (V ) , tenemos que f1 ,..., f n son diferenciables en U y que g es

diferenciable en V, entonces, por la regla de la cadena se tiene que
( g f ) n
g f j n
g f j
( x)   ( f ( x)) ( x)  [ ( f) ]( x) para todo i  I m y para todo x U i.e.
xi j 1 y j xi j 1 y j xi
( g f ) n g f j g
 ( f) . Además, tenemos que f  C1 (U )  C (U ) ,  C (V ) para todo j  I n y
xi j 1 y j xi y j
f j ( g f )
 C (U ) para todo i  I m , entonces  C (U ) para todo i  I m y se sigue que g f  C1 (U ) .
xi xi
Luego, el teorema es válido para k  1 i.e. 1 X .

ii) Supongamos que p  X i.e. el teorema es válido para k  p (hipótesis inductiva), si

f1 ,..., f n  C n1 (U )  ...  C1 (U ) y g  C n1 (V )  ...  C1 (V ) , por (i) se tiene que g f  C1 (U ) i.e.
( g f ) n g f j
g f es diferenciable en U y por la regla de la cadena se tiene que  ( f) .
xi j 1 y j xi
 g f
Además, como f1 ,..., f n  C n1 (U ) , se tiene que  C n (V ) para todo j  I n y j  C n (U ) para todo
y j xi
( g f )
i  I m , entonces  C n (U ) para todo i  I m y se sigue que g f  C n1 (U ) .
xi
Luego, el teorema es válido para k  p  1 i.e. p  1 X .

Por lo tanto, de (1), (ii) y el principio de inducción se tiene que el teorema es válido para todo k 