Tema 14.

Diferenciabilidad de funciones de
varias variables
Juan Medina Molina
19 de abril de 2005
Introduccion
En este tema vamos a generalizar la derivabilidad de funciones reales de
variable real a funciones de varias variables.
Empezaremos introduciendo los conceptos de derivada direccional y deriva-
da parcial de funciones de varias variables. Dado que la existencia de estas
no implica en general la continuidad de la funci on, necesitaremos obtener
una extension de estas que si que la implique, lo que nos llevar a a presen-
tar el concepto de diferenciabilidad de una funcion de varias variables. Tras
estudiar las derivadas de orden superior, presentaremos el polinomio de Tay-
lor en varias variables, que al igual que en una variable, permite aproximar
funciones de varias variables por polinomios. Posteriormente abordaremos
el calculo de extremos de funciones de varias variables. La ultima parte
del tema la dedicaremos al estudio del teorema de la funci on implcita y el
teorema de la funci on inversa.
Este tema presenta los siguientes apartados:
Derivadas direccionales y derivadas parciales.
Diferenciabilidad de una funcion. C alculo de la diferencial. Propiedades.
Matriz jacobiana de una funcion. Propiedades.
Interpretacion geometrica de las derivadas parciales de una funcion de
dos variables.
Derivadas parciales de orden superior. Teorema de Schwarz.
Polinomio de Taylor de una funcion de varias variables.
1
Extremos relativos y absolutos de una funci on real de varias variables.
Extremos condicionados, metodo de los multiplicadores de Lagrange.
El teorema de la funci on implcita.
El teorema de la funci on inversa.
Derivadas direccionales y derivadas parciales
Para empezar este tema, intentamos dar un denicion de derivada que gen-
eralice el concepto de derivada de una a varias variables.
Denicion 1 Sea A un subconjunto abierto de R
n
, f : A R y v
R
n
\ {0}.
i) Si a A, se dene la derivada direccional, en la direccion del vector v,
de f en a como
(D
v
f)(a) = lim
t0
f(a + tv) f(a)
t
.
Sea B = {e
1
, e
2
, . . . , e
n
} es la base canonica de R
n
.
ii) Si i {1, 2, . . . , n}, se dene la derivada parcial i-esima de f en el
punto a y se denota por
f
x
i
(a) o (D
i
f)(a) como
f
x
i
(a) = (D
e
i
f)(a) = lim
t0
f(a + te
i
) f(a)
t
.
Consideremos la funci on real de variable real f
i
tal que
f
i
(x
i
) = f(a
1
, . . . , a
i1
, x
i
, a
i+1
, . . . , a
n
)
, o sea, f
i
es la funcion que se obtiene de considerar en f todas las variables
constantes excepto la i-esima. Entonces la derivada de esta en a sera:
lim
t0
f
i
(a
i
+t)f
i
(a
i
)
t
= lim
t0
f(a
1
,...,a
i1
,a
i
+t,a
i+1
,...,a
n
)f(a
1
,...,a
i1
,a
i
,a
i+1
,...,a
n
)
t
=
f
x
i
(a).
As, la derivada parcial i-esima evaluada en a es el valor que se obtiene de
sustituir a en la funcion que resulta de derivar f respecto de x
i
considerando
las otras variables constantes.
Las derivadas parciales y direccionales no son la generalizaci on buscada de
derivada ya que la existencia en un punto de estas, no implica la continuidad
en dicho punto, como muestra en (0, 0) la funci on:
f : R
2
R | f(x, y) =

x
2
y
si y 6= 0
0 si y = 0
.
2
Denicion 2 Sea f : A R
m
donde A es un subconjunto abierto de R
n
y sea a A. Se dice que f es diferenciable en a si existe una aplicaci on
lineal T : R
n
R
m
tal que
lim
h0
k f(a +h) f(a) T(h) k
m
k h k
n
= 0.
En ese caso, a la aplicacion lineal T se le llama diferencial de f en a y
se denota por df(a).
Se dice que f es diferenciable en A si lo es en cualquier punto de A.
Es sencillo demostrar que si f : D R, siendo D un subconjunto
abierto de R, f es derivable en a D si y solo es diferenciable en a y
df(a)(t) = f
0
(a)t.
Se obtienen las siguientes tres propiedades:
Proposicion 1 Sea f : A R
m
donde A es un subconjunto abierto de
R
n
y a A. Entonces:
i) La diferencial df(a) es unica.
ii) f es continua en A.
Proposicion 2 Sea f : A R
m
donde A es un subconjunto abierto de
R
n
y a A. Sean f
1
, . . . , f
m
las funciones coordenadas de f. Entonces f es
diferenciable en a si y s olo si f
i
es diferenciable en a, 1, i m, y en ese ca-
so df(a) : R
n
R
m
tiene por funciones coordenadas a df
1
(a), . . . , df
m
(a).
Proposicion 3 Sea f : A R donde A es un subconjunto abierto de
R
n
y a A tal que f es diferenciable en a. Entonces, si v R
n
\ {0},
df(a)(v) = (D
v
f)(a) y como consecuencia de esto, df(a)(e
i
) =
f
x
i
(a).
Con respecto a las operaciones entre funciones se obtiene:
Proposicion 4 Sea f, g : A R
m
diferenciables en a A siendo A un
subconjunto abierto de R
n
y , R. Entonces:
i) f +g es diferenciable en a y d(f +g)(a) = (df)(a) +(dg)(a).
ii) Si m = 1 entonces fg es diferenciable en a y d(fg)(a) = (df)(a)g(a) +
f(a)(dg)(a).
3
iii) Si m = 1, g(x) 6= 0 para todo x A,
f
g
es diferenciable en a y
d(
f
g
)(a) =
(df)(a)g(a) f(a)(dg)(a)
g(a)
2
.
Y tambien se obtiene la regla de la cadena:
Teorema 1 Sean A y

A subconjuntos abiertos de R
n
y R
m
respectivamente
y sean f : A R
m
y g :

A R
l
tales que f(A)

A. Si a A verica
que f es diferenciable en a y g lo es en f(a), entonces g f es diferenciable
en a y d(g f)(a) = dg(f(a)) df(a).
Por denicion, la diferencial de una funci on en un punto es una apli-
cacion lineal luego esta viene determinada por su matriz respecto de las
bases canonicas de R
n
y R
m
.
Denicion 3 Sea f : A R
m
donde A es un subconjunto abierto de R
n
y sea a A tal que f es diferenciable en a. Se dene la matriz jacobiana de
f en a como Jf(a) = M
B,B
0 (df(a)) siendo B y B
0
las bases canonicas de
R
n
y R
m
respectivamente.
Como se tiene que (df(a))(e
i
) = (df
1
(a))(e
i
), df
2
(a))(e
i
), . . . , df
m
(a))(e
i
)) =
(
f
1
x
i
(a),
f
2
x
i
(a), . . . ,
fm
x
i
(a)), se obtiene:
Jf(a) =
_
_
_
_
_
f
1
x
1
(a)
f
1
x
2
(a) . . .
f
1
x
n
(a)
f
2
x
1
(a)
f
2
x
2
(a) . . .
f
2
xn
(a)
.
.
.
.
.
.
.
.
.
.
.
.
fm
x
1
(a)
fm
x
2
(a) . . .
fm
x
n
(a)
_
_
_
_
_
.
De propiedades de aplicaciones lineales y de las propiedades de la difer-
encial con respecto de las aplicaciones entre funciones se obtiene:
Proposicion 5 Sea f, g : A R
m
diferenciables en a A siendo A un
subconjunto abierto de R
n
y , R. Entonces:
i) J(f +g)(a) = Jf(a) + Jg(a).
ii) Si m = 1, J(fg)(a) = Jf(a) g(a) + f(a) Jg(a).
iii) Si m = 1, g(x) 6= 0 para todo x A,
J(
f
g
)(a) =
Jf(a) g(a) f(a) Jg(a)
g(a)
2
.
4
Tambien se obtiene una version de la regla de la cadena para matrices:
Proposicion 6 Con las mismas hip otesis de la regla de la cadena se obtiene
que J(g f)(a) = Jg(f(a)) Jf(a).
La expresi on matricial de la regla de la cadena permite transformar ex-
presiones donde aparecen derivadas parciales al aplicar un cambio de coor-
denadas.
Denicion 4 Si f : A R es diferenciable en a A, siendo A un
subconjunto abierto de R
n
, se dene el vector gradiente de f en a como
f(a) = (
f
x
1
(a),
f
x
2
(a), . . . ,
f
xn
(a)).
El siguiente resultado muestra que la continuidad de las derivadas par-
ciales permite obtener la diferenciabilidad de una funci on.
Proposicion 7 Sea f : A R
m
siendo A un subconjunto abierto de R
n
.
Supongamos que existe
f
x
i
: A R
n
y es continua en a A, 1 i n.
Entonces f es diferenciable en a.
Sin embargo, la funcion f : R
2
R dada por:
f(x, y) =
(
(x
2
+ y
2
) sin
1

x
2
+y
2
si (x, y) 6= (0, 0)
0 si (x, y) = (0, 0)
muestra que existen funciones diferenciables en un punto cuyas derivadas
parciales no son continuas en dicho punto.
Interpretaci on geometrica de las derivadas parciales de una funci on
de dos variables
Si A es un subconjunto abierto de R
2
y f : A R es diferenciable en
(x
0
, y
0
) A entonces la ecuaci on del plano tangente a la gr aca de f en
dicho punto tiene por ecuaci on:
z f(x
0
, y
0
) =
f
x
(x
0
, y
0
)(x x
0
) +
f
y
(x
0
, y
0
)(y y
0
).
5
Derivadas parciales de orden superior
Sea A un subconjunto abierto de R
n
, f : A R
m
y i, j {1, . . . , n}
(Quiz as i = j). Entonces, si existe
f
x
i
en todo punto de A, tenemos una
aplicacion
f
x
i
: A R
m
y as, podemos plantearnos el c alculo de la derivada
parcial j-esima de esta. Se dene la derivada parcial segunda de f, primero
respecto de x
i
y despues respecto de x
j
de f en a A como

2
f
x
i
x
j
(a) =
d
dx
j

f
x
i

(a).
En el caso i = j denotaremos por

2
f
x
2
i
(a) =

2
f
x
i
x
i
(a).
Del mismo modo, se denen las derivadas parciales terceras, cuartas,
etcetera.
Se dice que f es una funci on de clase C
k
si tiene todas las derivadas
k-esimas continuas en A. Entonces escribiremos f C
k
(A, R
m
).
En este punto nos planteamos la siguiente cuestion:
Dados i, j {1, . . . , n}, Bajo que condiciones

2
f
x
i
x
j
(a) =

2
f
x
j
x
i
(a)?
Se tiene el siguiente resultado de Schwarz:
Teorema 2 Sea f : A R
m
, siendo A un subconjunto abierto de R
n
y supongamos que
f
x
i
y
f
x
j
son continuas en A siendo i, j {1, . . . , n}
distintos. Si existe

2
f
x
i
x
j
: A R
m
y es continua en a A entonces existe

2
f
x
j
x
i
(a) y

2
f
x
i
x
j
(a) =

2
f
x
j
x
i
(a).
Polinomio de Taylor de una funci on de varias variables
La idea del polinomio de Taylor en varias variables es la misma que una
variable, dada f : A R siendo A R
n
y a A, encontrar un polinomio
de n variables que aproxime a f en un entorno de a.
Para enunciar el siguiente teorema, introducimos el concepto de intervalo
en R
n
:
Denicion 5 Si a, b R
n
, se dene el segmeto de extremos a y b como
[a, b] = {a + t(b a) | t [0, 1]}.
Claramente, si a A siendo A un subconjunto abierto de R
n
entonces
existe x A, x 6= a tal que [a, x] A.
Entonces se tiene el teorema de Taylor:
6
Teorema 3 Supongamos que f C
k+1
(A, R) siendo A un subconjunto abier-
to de R
n
y sea a = (a
,
. . . , a
n
) A. Entonces, para todo x = (x
1
, . . . , x
n
) A
tal que [a, x] A, existe ]0, 1[ tal que se tiene f(x) = f(a)+
1
1!
P
n
i=1
f
x
i
(a)(x
i

a
i
) +
1
2!
P
n
i,j=1

2
f
x
i
x
j
f(a)(x
i
a
i
)(x
j
a
j
) +. . . +
P
n
i
1
,...,i
k
=1
d
k
f
dx
1
...x
k
f(a)(x
i
1

a
i
1
) . . . (x
i
k
a
i
k
)+
1
(k+1)!
P
k
i
1
,...,i
k+1
=1
d
k
f
dx
1
...x
k+1
f(a+(xa))(x
i
1
a
i
1
) . . . (x
i
k+1

a
i
k+1
).
A p
k
(x
1
, . . . x
n
) = f(a)+
1
1!
P
n
i=1
f
x
i
(a)(x
i
a
i
)+
1
2!
P
n
i,j=1

2
f
x
i
x
j
f(a)(x
i

a
i
)(x
j
a
j
) + . . . +
P
k
i
1
,...,i
k
=1
d
k
f
dx
1
...x
k
f(a)(x
i
1
a
i
1
) . . . (x
i
k
a
i
k
) se le llama
polinomio de Taylor de grado k de f en a y a la expresion R
k
(x
1
, . . . x
n
) =
1
(k+1)!
P
k
i
1
,...,i
k+1
=1
d
k
f
dx
1
...x
k+1
f(a+(xa))(x
i
1
a
i
1
) . . . (x
i
k+1
a
i
k+1
) se le llama
resto de Lagrange de dicho polinomio.
Extremos relativos y absolutos de funciones reales de varias vari-
ables
Para empezar esta secci on, introducimos los conceptos sobre extremos de una
funcion real de varias variables:
Denicion 6 Sea f : A R, siendo A R
n
y sea a A.
i) Diremos que a es un m aximo absoluto de f si f(a) f(x) para todo
x A.
ii) Diremos que a es un mnimo absoluto de f si f(a) f(x) para todo
x A.
iii) Diremos que a es un m aximo relativo de f si existe > 0 tal que
f(a) f(x) para todo x B(a, ) A.
iv) Diremos que a es un mnimo relativo de f si existe > 0 tal que f(a)
f(x) para todo x B(a, ) A.
v) Diremos que a es un extremo relativo de f si es un m aximo relativo o
un mnimo relativo de f.
Bajo ciertas condiciones, el siguiente resultado de Weierstrass arma la
existencia de extremos absolutos:
Teorema 4 Sea f : A R una funci on continua, siendo A un sub-
conjunto cerrado y acotado de R
n
. Entonces existen x
m
, x
M
A tales que
f(x
m
) f(x) f(x
M
) para todo x A.
7
Evidentemente, todo extremo absoluto es extremo relativo.
El calculo de los extremos absolutos de una funci on continua en un con-
junto cerrado y acotado consta de dos etapas:
1. C alculo de los extremos relativos en el interior del conjunto.
2. C alculo de los restantes posibles extremos absolutos pertenecientes a
la frontera del conjunto.
De todos los candidatos obtenidos anteriormente, aquellos cuya imagen
sea maxima ser an los m aximos absolutos y aquellos cuya imagen sea mnima,
los mnimos relativos.
Para la primera etapa se tiene:
Proposicion 8 Sea A un subconjunto abierto de R
n
y supongamos que f
C
1
(A, R). Si a A es un extremo relativo de f, entonces
f
x
i
(a) = 0, 1
i n.
Los puntos crticos son aquellos que anulan las derivadas parciales primeras.
Las funciones f : R
2
R | f(x, y) = x
2
y
2
o f(x, y) = (y x
2
)(y 2x
2
)
poseen a (0, 0) como punto crtico que no es extremo relativo, por lo que el
recproco del resultado anterior no es cierto.
Introducimos la matriz Hessiana:
Denicion 7 Sea f C
2
(A, R
n
) siendo A un subconjunto abierto de R
n
y
sea a A. Se dene la matriz Hessiana de f en A como:
Hf(a) =

2
f
x
2
1
(a)

2
f
x
1
x
2
(a) . . .

2
f
x
1
xn
(a)

2
f
x
2
x
1
(a)

2
f
x
2
2
(a) . . .

2
f
x
2
xn
(a)
.
.
.
.
.
.
.
.
.
.
.
.

2
f
x
n
x
1
(a)

2
f
x
n
x
2
(a) . . .

2
f
x
2
n
(a)

.
Si i {1, . . . n} se dene:

i
f(a) =

2
f
x
2
1
(a)

2
f
x
1
x
2
(a) . . .

2
f
x
1
x
i
(a)

2
f
x
2
x
1
(a)

2
f
x
2
2
(a) . . .

2
f
x
2
x
i
(a)
.
.
.
.
.
.
.
.
.
.
.
.

2
f
x
i
x
1
(a)

2
f
x
i
x
2
(a) . . .

2
f
x
2
i
(a)

.
Se verica que si a A es un punto crtico de f, entonces:
8
i) Si
i
f(a) > 0 1 i n, entonces a es un mnimo relativo de f.
ii) Si
1
f(a) < 0,
2
f(a) > 0 y se siguen alternando los signos, entonces
a es un maximo relativo.
Para funciones de dos variables, adem as se obtiene:
iii) Si
2
f(a) < 0, entonces a no es extremo relativo de f.
Para los casos no contemplados anteriormente es necesario un an alisis en
las proximidades del punto crtico para determinar si este es o no un extremo
relativo de la funcion. Para ello utilizaremos el metodo de las regiones.
Para acabar esta secci on, presentamos el metodo de los multiplicadores de
Lagrange en R
2
y R
3
para determinar los extremos relativos de una funci on
de n variables en (n 1)-variedades.
En R
2
:
Supongamos que f C
2
(A, R), siendo A un subconjunto abierto de R
2
y
B = {(x, y) A | g(x, y) = 0} siendo g C
1
(A, R) con gradiente no nulo en
A. Veamos la forma de calcular los extremos relativos de f en B.
En primer lugar consideramos la funcion F : A R R | F(x, y, ) =
f(x, y) +g(x, y). Entonces planteamos el sistema:
_
_
_
F
x
(x, y, ) = 0
F
y
(x, y, ) = 0
g(x, y) = 0
.
Entonces, los puntos cuyas componentes son las dos primeras compo-
nentes de las soluciones de dicho sistema son los candidatos a extremos rel-
ativos de f en B.
Para ver si uno de tales puntos (x
0
, y
0
) es un extremo relativo, siendo
(x
0
, y
0
,
0
) la soluci on asociada del sistema, planteamos la ecuaci on
g
x
(x
0
, y
0
)a +
g
y
(x
0
, y
0
)b = 0,
y de esta despejamos una de las dos inc ognitas a o b en funcion de la otra.
Entonces sustituimos dicha incognita en la expresion:
(x
0
, y
0
, ) =

2
F
x
2
(x
0
, y
0
,
0
)a
2
+ 2

2
F
xy
(x
0
, y
0
,
0
)ab +

2
F
y
2
(x
0
, y
0
,
0
)b
2
.
Entonces:
i) Si (x
0
, y
0
,
0
) > 0 entonces (x
0
, y
0
) es un mnimo relativo de f en B.
ii) Si (x
0
, y
0
,
0
) < 0 entonces (x
0
, y
0
) es un m aximo relativo de f en B.
9
iii) Si (x
0
, y
0
,
0
) = 0 tendremos que analizar en las proximidades de
(x
0
, y
0
) si este es o no un extremo relativo.
En R
3
:
Supongamos que f C
2
(A, R), siendo A un subconjunto abierto de R
3
.
Para el caso de que B = {(x, y, z) A | g(x, y, z) = 0}, procederemos de
la misma forma que en R
2
.
Supongamos ahora que B = {(x, y, z) A | g
1
(x, y, z) = 0, g
2
(x, y, z) =
0} siendo g
1
, g
2
C
1
(A, R). Veamos la forma de calcular los extremos rela-
tivos de f en B.
En primer lugar consideramos la funcion F : AR
2
R | F(x, y, z, , ) =
f(x, y, z) +g
1
(x, y, z) + g
2
(x, y, z). Entonces planteamos el sistema:
_

_
F
x
F(x, y, z, , ) = 0
F
y
F(x, y, z, , ) = 0
F
z
F(x, y, z, , ) = 0
g
1
(x, y, z) = 0
g
2
(x, y, z) = 0
.
Entonces, los puntos cuyas componentes son las tres primeras compo-
nentes de las soluciones de dicho sistema son los candidatos a extremos rel-
ativos de f en B.
Para ver si uno de tales puntos (x
0
, y
0
, z
0
) es un extremo relativo, sien-
do (x
0
, y
0
, z
0
,
0
,
0
) la soluci on asociada del sistema, planteamos el sistema
formado por las dos ecuaciones siguientes:
g
i
x
(x
0
, y
0
, z
0
)a +
g
i
y
(x
0
, y
0
, z
0
)b +
g
i
z
(x
0
, y
0
, z
0
)c = 0, i = 1, 2,
y en este despejamos dos de las tres incognitas a, b y c en funcion de la otra.
Entonces sustituimos dichas incognitas en la expresion:
(x
0
, y
0
, z
0
, , ) =

2
F
x
2
(x
0
, y
0
, z
0
,
0
,
0
)a
2
+ 2

2
F
xy
(x
0
, y
0
, z
0
,
0
,
0
)ab +
2

2
F
xz
(x
0
, y
0
, z
0
,
0
,
0
)ac+

2
F
y
2
(x
0
, y
0
, z
0
,
0
,
0
)b
2
+2

2
F
yz
(x
0
, y
0
, z
0
,
0
,
0
)bc+

2
F
z
2
(x
0
, y
0
, z
0
,
0
,
0
)c
2
. Entonces:
i) Si (x
0
, y
0
, z
0

0
,
0
) > 0 entonces (x
0
, y
0
, z
0
) es un mnimo relativo de
f en B.
ii) Si (x
0
, y
0
, z
0

0
,
0
) < 0 entonces (x
0
, y
0
, z
0
) es un maximo relativo de
f en B.
iii) Si (x
0
, y
0
, z
0

0
,
0
) = 0, tendremos que analizar en las proximidades
de (x
0
, y
0
, z
0
) si este es o no un extremo relativo.
10
El teorema de la funci on implcita
Supongamos que tenemos una ecuacion o sistema de ecuaciones con una serie
de variables y queremos expresar una o varias de estas variables en funci on
de las otras. Este problema aparece algunas veces en la resoluci on de una
ecuacion diferencial cuando la funci on soluci on viene dada de forma implcita
por una ecuacion.
El teorema de la funci on implcita resuelve en algunas ocasiones este
problema:
Teorema 5 Sea A un subconjunto abierto de R
n
R
m
, supongamos que
f
i
= f
i
(x
1
, . . . , x
n
, y
1
, . . . , y
m
) C
k
(A, R) 1 i m y consideramos un
punto (a, b) = (a
1
, . . . , a
n
, b
1
, . . . , b
m
) A tal que f
i
(a, b) = 0, 1 i m.
Supongamos que

f
1
y
1
(a, b)
f
1
y
2
(a, b) . . .
f
1
y
m
(a, b)
f
2
y
1
(a, b)
f
2
y
2
(a, b) . . .
f
2
y
m
(a, b)
.
.
.
.
.
.
.
.
.
.
.
.
f
m
y
1
(a, b)
f
m
y
2
(a, b) . . .
f
m
ym
(a, b)

6= 0.
Entonces existe un subconjunto abierto U de R
n
tal que (a
1
, . . . , a
n
) U,
un subconjunto abierto V de R
m
tal que (b
1
, . . . , b
m
) V y una unica funci on
C
k
(U, V ) con funciones coordenadas
1
, . . . ,
m
tales que:
i) U V A.
ii) f
i
(x
1
, . . . , x
n
,
1
(x
1
, . . . , x
n
), . . . ,
m
(x
1
, . . . , x
n
)) = 0 1 i m si
(x
1
, . . . , x
n
) U y si (x
1
, . . . , x
n
, y
1
, . . . , y
m
) U V vericando que
f(x
1
, . . . x
n
, y
1
, . . . , y
m
) = 0 entonces (x
1
, . . . , x
n
) = (y
1
, . . . , y
m
).
iii) (a
1
, . . . , a
n
) = (b
1
, . . . , b
m
).
Aunque este resultado no nos da una expresi on de , de las ecuaciones
f
i
(x
1
, . . . , x
n
, (x
1
, . . . , x
n
)) = 0, 1 i m, se pueden obtener las derivadas
parciales de en (a
1
, . . . , a
n
) y as, se puede obtener una aproximaci on de
en un entorno de (a
1
, . . . , a
n
) mediante un polinomio de Taylor.
El teorema de la funci on inversa
Ya conocemos un cambio de coordenadas en R
2
que es el cambio de coor-
denadas cartesianas a coordenadas polares. Estos permiten en algunas oca-
siones simplicar expresiones, ya que una expresion en coordenadas carte-
sianas complicada puede ser sencilla en coordenadas polares. Como se ve
11
en el captulo de integrales m ultiples, estos son utilizados en ocasiones para
resolver integrales m ultiples. Para que una ecuacion sea un cambio de co-
ordenadas, debe de ser biyectiva ademas de cumplir ciertas condiciones de
diferenciabilidad. En algunas ocasiones, el siguiente resultado, conocido co-
mo el teorema de la funci on inversa, es util para demostrar que una aplicaci on
es un cambio de coordenadas en un entorno de un punto.
Teorema 6 Sea A un subconjunto abierto de R
n
, f C
k
(A, R
n
) y a A
tal que |Jf(a)| 6= 0. Entonces existen U, V subconjuntos abiertos de R
n
con
a U y f(a) V tales que f
|U
: U V es biyectiva y f
1
: V U
cumple que f
1
C
k
(V, U) y Jf
1
(f(y)) = (Jf(x))
1
para todo y V y
x U tal que f(x) = y.
Bibliografa
1. T. Apostol, Calculus Vol. 2. Ed. Reverte.
2. G. Bradley, K. Smith, Calculo de varias variables. Ed. Prentice Hall.
3. J. Burgos, Calculo innitesimal de varias variable. Ed. McGraw-Hill.
4. J. S. Canovas, J. A. Murillo, Fundamentos Matem aticos de la Inge-
niera. Ed. Diego Marn.
5. A. de la Villa, A. Garca, A. L opez, G. Rodrguez, S. Romero, Teora
y problemas de funciones de varias variables. CLAGSA.
6. J. Fern andez, M. Sanchez, Ejercicios y complementos de an alisis mate-
m atico II. Ed. Tecnos.
7. M. Franco, F. Martnez, R. Molina, Lecciones de calculo innitesimal
II. S. P. Universidad de Murcia.
8. G. Thomas, R. Finney, Calculo de varias variable. Ed. Addison Wesley.
12