Tema 10 - Calculo Diferencial Funciones Varias Variables

INTRODUCCINALCLCULODIFERENCIAL
ENFUNCIONESDEVARIASVARIABLES
MatemticasI.Prof.IgnacioLpezTorres
Diferenciacin en funciones de varias variables.
1. Introduccin.
En este tema, introduccin al clculo diferencial en funciones de varias vari-
ables, trabajaremos en general con espacios del tipo
R
n
= {(r
1
, r
2
, ..., r
n
) : r
I
R, i = 1, 2, ..., :} ,
cuyos elementos pueden ser identicados con puntos o con vectores. Es bien
sabido que, con las leyes suma de vectores y producto de un escalar por un
vector, R
n
es un R-espacio vectorial, en el que la base formada por los vectores
{c
1
= (1, 0, ..., 0), c
2
= (0, 1, ..., 0), ..., c
n
= (0, 0, ..., 1)} ,
se denomina base cannica o usual (en los casos particulares de R
2
y R
3
, las
correspondientes bases cannicas frecuentemente se expresan mediante {i, ,} y
{i, ,, /}, respectivamente). Un vector r R
n
, con r = (r
1
, r
2
, ..., r
n
), se expresa
en la base cannica mediante r = r
1
c
1
+r
2
c
2
+... +r
n
c
n
, representando r
I
la
coordenada i-sima del vector r respecto a dicha base (en los casos particulares
de R
2
y R
3
, estas coordenadas frecuentemente se expresan mediante (r, j) y
(r, j, .), respectivamente).
Estudiaremos, por tanto, las funciones del tipo ) : R
n
R
n
, con
: 2, : 1, y = dom()). Cuando : = 1, estas funciones se denominan
campos escalares, y cuando : 1 campos vectoriales. Un campo vectorial
) : R
n
R
n
queda unvocamente determinado por : funciones escalares
)
I
: R
n
R denominadas componentes de ), escribindose habitualmente
) = ()
1
, )
2
, ..., )
n
). Al introducir cada concepto relativo a estas funciones,
trataremos de plantear en primer lugar el caso ms simple desde el punto de
vista geomtrico, que corresponde a los campos escalares de dos variables (: = 2
y : = 1), generalizando a continuacin para 3 o ms variables y/o campos
vectoriales. Las propiedades relativas a los campos vectoriales, con frecuencia
se plantean en trminos de sus componentes.
Los conceptos de lmite y continuidad, ya vistos para las funciones de una
variable, del tipo ) : R R, se extienden con facilidad para las funciones
de varias variables, del tipo ) : R
n
R
n
. Ms aun, los principales resul-
tados relativos a lmites y continuidad, ya vistos en funciones de una variable,
se pueden extender fcilmente a las funciones de varias variables. No ocurre lo
mismo con la derivabilidad, que no puede ser generalizada de modo inmediato,
porque las variables pueden ahora sufrir diferentes incrementos que se combinan
de forma distinta para producir incrementos de la funcin. Surje, por tanto, el
concepto de derivada parcial, cuya idea intuitiva responde a la siguiente pre-
gunta: Cul es la variacin que sufre una funcin de varias variables al variar
una de sus variables, mantenindose todas las dems variables constantes?
Tampoco el concepto de diferenciabilidad, que para funciones de una variable
poda identicarse con el de derivabilidad, puede ser directamente extendido de
1
Matemticas I. Prof. Ignacio Lpez Torres
una a varias variables. An as, en el caso de una variable la aproximacin lineal
denida por la diferencial se identica con la recta tangente, siendo en el caso
de un campo escalar el plano (o hiperplano) tangente.
La ltima parte de este tema se dedica a introducir teoremas locales clsicos
del clculo en varias variables, como son los teoremas de la funcin inversa y
de la funcin implcita, y al estudio de los extremos relativos y absolutos de
campos escalares.
Comenzaremos este tema extendiendo a R
n
los conceptos topolgicos ante-
riormente introducidos para R.
2. Estructura eucldea y topologa de R
n
.
2.1. Producto escalar. Norma eucldea.
Dados dos vectores r = (r
1
, r
2
, ..., r
n
), j = (j
1
, j
2
, ..., j
n
) R
n
del espacio
vectorial R
n
, se dene el producto escalar (tambin llamado producto interno)
de r e j mediante
hr, ji = r
1
j
1
+r
2
j
2
+ +r
n
j
n
=
n
X
I=1
r
I
j
I
.
Con frecuencia se utiliza el smbolo para designar este producto, siendo sencillo
probar que se verican las siguientes propiedades, r, j R
n
, ` R:
r r 0, y r r = 0 si y solo si r = 0.
r j = j r.
(`r) j = `(r j) = r (`j).
La norma usual asociada a este producto escalar es la norma eucldea que
est denida r = (r
1
, r
2
, ..., r
n
) R
n
mediante
krk =
q
r
2
1
+r
2
2
+... +r
2
n
.
La norma eucldea krk representa geomtricamente la longitud o mdulo del
vector r, y tiene las propiedades siguientes:
krk 0; krk = 0 si y solo si r = 0.
k`rk = |`| krk
kr +jk krk + kjk (Desigualdad triangular).
|r j| krk kjk (Desigualdad de Cauchy-Schwarz).
2
Se dice que dos vectores r = (r
1
, r
2
, ..., r
n
), j = (j
1
, j
2
, ..., j
n
) R
n
son
ortogonales, y se escribe r j, cuando r j = 0. Se dice que un vector r es
ortogonal a un conjunto de vectores o R
n
cuando r es ortogonal a todo vector
de o. Un conjunto de vectores no nulos que son ortogonales entre s se dice que
es un conjunto ortogonal de vectores; si, adems, cada uno de estos vectores
tiene norma 1 se dice que es un conjunto ortonormal de vectores.
El coseno del ngulo 0 que forman dos vectores se dene mediante
cos 0 =
r j
krk kjk
,
siendo 0 0 .
La norma eucldea induce una distancia en R
n
, considerado como espacio
afn, asignando a cada par de puntos r = (r
1
, r
2
, ..., r
n
),j = (j
1
, j
2
, ..., j
n
) R
n
el mdulo del vector que denen, es decir,
d(r, j) =
q
(r
1
j
1
)
2
+ (r
2
j
2
)
2
+... + (r
n
j
n
)
2
,
y esta aplicacin d verica las propiedades ya vistas al introducir estos conceptos
en la recta real.
En este contexto, si es '
nn
(R) una matriz, llamaremos norma matri-
cial de a
kk = sup
r6=0
krk
krk
,
y se verican las siguientes propiedades '
nn
(R), ` R:
kk 0; kk = 0 si y solo si = 0.
k`k = |`| kk
k+1k kk + k1k, , 1 '
nn
(R).
k Ck kk kCk, '
nn
(R), 1 '
n
(R).
2.2. Bolas abiertas y bolas cerradas.
Si es a R
n
y r 0, llamaremos bola abierta de centro a y radio r, y la
designaremos por 1(a, r), al conjunto
1(a, r) = {r R
n
: d(r, a) < r} = {r R
n
: kr ak < r} .
Llamaremos bola cerrada de centro a y radio r, y la designaremos por 1(a, r),
al conjunto
1(a, r) = {r R
n
: d(r, a) r} = {r R
n
: kr ak r} .
3
Observa que para : = 1 estas bolas representan intervalos del tipo (a r, a +r)
o [a r, a +r], para : = 2 crculos (circunferencia excluida en el caso de las bo-
las abiertas, y circunferencia incluida en el caso de las cerradas), y para : = 3
denen conjuntos de puntos pertenecientes al interior de esferas (esfera excluida
en el caso de las bolas abiertas, y esfera incluida en el caso de las cerradas).
2.3. Punto interior. Conjuntos abiertos.
Dado el subconjunto R
n
, se dice que a R
n
es un punto interior de
si existe una bola abierta de a totalmente contenida en , es decir, a es un
punto interior de si r 0 : 1(a, r) .
El conjunto de todos los puntos interiores de se denomina interior, y se
designa por int() o por
0
. De la denicin dada, se desprende que int() .
Se dice que un conjunto R
n
es abierto si todos sus puntos son interiores,
es decir, es abierto si y solamente si int() = . Por ejemplo, R
n
y el conjunto
vaco son conjuntos abiertos de R
n
.
Es fcil probar que tanto la unin nita o innita como la interseccin nita
de conjuntos abiertos, es un conjunto abierto.
2.4. Punto adherente. Conjuntos cerrados.
n
, se dice que a R
n
es un punto adherente de
si toda bola abierta de a contiene algn punto de , es decir, a es un punto
adherente de si r 0 : 1(a, r) 6= .
El conjunto de todos los puntos adherentes de se denomina adherencia o
clausura, y se designa por adh() o por . De la denicin dada, se desprende
que adh().
Se dice que un subconjunto R
n
es cerrado si contiene todos sus puntos
adherentes, es decir, es cerrado si y solamente si adh() = . Por ejemplo,
R
n
y el conjunto vaco son conjuntos cerrados de R
n
(de hecho, R
n
y el conjunto
vaco son los nicos conjuntos de R
n
que son tanto abiertos como cerrados).
2.5. Punto de acumulacin. Punto aislado.
n
, se dice que a R
n
es un punto de acumu-
lacin de si toda bola abierta de a contiene algn punto de distinto de
a, es decir, a es un punto de acumulacin de si r 0 : 1(a, r)
{o}
6=
. El conjunto de puntos de acumulacin de se denomina conjunto
derivado, y se representa por
0
o por
J
.
n
, se dice que a R
n
es un punto aislado
de si existe una bola abierta de a que no contiene ningn otro punto
de distinto de a, es decir, a es un punto de aislado de si r 0 :
1(a, r) = {a}. Vemos, por tanto, que se verica la siguiente propiedad:
n
, todo punto adherente de , o bien es aislado,
o bien es de acumulacin, es decir, adh() =
0

o
(
o
representa el
conjunto de puntos aislados de ).
4
2.6. Punto frontera. Punto exterior.
n
, se dice que a R
n
es un punto frontera
de si toda bola abierta de a contiene puntos de y del conjunto com-
plementario de (que es R
n
\), es decir, a es un punto frontera de si
r 0 : 1(a, r) 6= y 1(a, r) (R
n
\) 6= .
n
, se dice que a R
n
es un punto exterior de
si existe una bola abierta de a totalmente contenida en R
n
\, es decir,
a es un punto exterior de si r 0 : 1(a, r) R
n
\. El conjunto de
todos los puntos exteriores de se denomina exterior de , y se designa
por ext().
2.7. Conjuntos acotados. Conjuntos compactos.
Dado el subconjunto ( R
n
, se dice que es un conjunto acotado si existe
una bola abierta de centro el punto (0, 0, ..., 0) que contiene totalmente a
.
Si es un conjunto de puntos de R
n
, entonces es un conjunto compacto
si y solamente si es cerrado y es acotado.
3. Producto vectorial y producto mixto en R
3
.
Dados dos vectores r = (r
1
, r
2
, r
3
), j = (j
1
, j
2
, j
3
) R
3
, se dene el pro-
ducto vectorial de r e j mediante
r j = (r
2
j
3
r
3
j
2
, r
3
j
1
r
1
j
3
, r
1
j
2
r
2
j
1
) .
Con frecuencia se utilizan los smbolos o para representar este producto. Si
los vectores r, j se expresan en la base cannica mediante r = r
1
i +r
2
, +r
3
/ e
j = j
1
i +j
2
, +j
3
/, entonces el producto vectorial se puede expresar mediante
r j =
i , /
r
1
r
2
r
3
j
1
j
2
j
3
.
Es sencillo probar que se verican las siguientes propiedades, r, j, .
R
3
, ` R:
r j = (j r).
r (j +.) = (r j) + (r .); (r +j) . = (r .) + (j .).
`(r j) = (`r) j = r (`j).
5
r 0 = 0.
El sentido del vector r j viene denido por la regla del sacacorchos (o
por la regla de la mano derecha), y su mdulo es
kr jk = krk kjk sen0,
donde 0 representa el ngulo que forman los vectores r e j, siendo 0
0 . Dicho mdulo representa el rea del paralelogramo cuyos lados
adyacentes son los vectores r e j.
Dados tres vectores r = (r
1
, r
2
, r
3
), j = (j
1
, j
2
, j
3
), . = (.
1
, .
2
, .
3
) R
3
, se
dene el producto mixto o triple de r, j y . mediante
(r j) . =
r
1
r
2
r
3
j
1
j
2
j
3
.
1
.
2
.
3
.
Es sencillo probar que el valor absoluto de (r j) . representa el volumen
del paraleleppedo cuyos lados adyacentes son los vectores r, j y ..
4. Grca de un campo escalar de dos variables. Conjuntos de
nivel en campos escalares. Ejemplos en campos escalares de 2 o 3
variables.
Un campo escalar de dos variables, ) : R
2
R, es una funcin que
asigna a cada par ordenado de nmeros reales (r, j) pertenecientes al conjunto
un nico nmero real )(r, j). El conjunto es el dominio de ) y el con-
junto {)(r, j) : (r, j) } es el rango de ). A menudo se escribe . = )(r, j),
denominndose r e j variables independientes y . variable dependiente.
Anlogamente, un campo escalar de 3 variables ) : R
3
R (resp. :
variables ) : R
n
R) es una funcin que asigna a cada terna ordenada de
nmeros reales (r, j, .) (resp. :tupla ordenada (r
1
, r
2
, ..., r
n
)) pertenecientes
a su dominio un nico nmero real )(r, j, .) (resp. )(r
1
, r
2
, ..., r
n
)).
La grca de un campo escalar de dos variables ) : R
2
R es el
conjunto de puntos (r, j, .) R
3
tales que . = )(r, j) y (r, j) . Del mismo
modo que en el caso de una funcin de una variable (: = 1), en el que la grca
j = )(r) representa una curva en el plano R
2
, la grca de una funcin de dos
variables (: = 2) representa una supercie . = )(r, j) en el espacio R
3
. Dado
que no siempre es tan sencillo dar un signicado geomtrico a la grca de un
campo escalar cuando : = 3 o : 3, se recurre al concepto de conjunto de
nivel.
En particular, las curvas de nivel c de un campo escalar de dos variables,
) : R
2
R, son las curvas )(r, j) = c, donde c es una constante real en
el rango de ); y las supercies de nivel c de un campo escalar de tres variables,
) : R
3
R, son las supercies )(r, j, .) = c, donde c es una constante real
6
en el rango de ). En general, los conjuntos de nivel c de un campo escalar de
: variables, ) : R
n
R, son los conjuntos )(r
1
, r
2
, ..., r
n
) = c, donde c es
una constante real en el rango de ).
Una representacin grca en el plano R
2
de las curvas de nivel de un campo
escalar de dos variables da lugar al llamado mapa de lneas de nivel, muy uti-
lizado en topografa, cartografa, geodesia, etc. En particular, un mapa topogr-
co (o mapa de curvas de nivel) utiliza isolneas que unen puntos de igual altitud,
mostrando la forma de los valles, colinas y montaas, as como la pendiente de
las laderas; en oceanografa se utilizan las lneas de nivel para la representacin
cartogrca de los puntos de igual profundidad en el ocano y en el mar, as
como en lagos de grandes dimensiones, dando lugar a los mapas de isbatas; y,
en meteorologa, las isobaras o isbaras de los mapas del tiempo son lneas de
presin constante, uniendo puntos de igual presin atmosfrica.
4.1. Algunos ejemplos de grcas, curvas de nivel y supercies de
nivel.
Los primeros ejemplos de grcas, curvas de nivel y supercies de nivel
surjen cuando consideramos funciones polinmicas de grado menor o igual que
2. En particular, el caso de grado 1 corresponde a las rectas en el plano R
2
, de
ecuacin general r +1j +C = 0, y a los planos en el espacio R
3
, de ecuacin
r +1j +C. +1 = 0, ambos bien conocidos.
En relacin a las funciones polinmicas de grado menor o igual que 2, consid-
eremos en primer lugar el caso de las cnicas en R
2
. Dados a, /, j R, con a 0,
/ 0 y j 0, es bien conocido que las ecuaciones
r
2
o
2
+

2
b
2
= 1,
r
2
o
2

2
b
2
= 1,
y j
2
= 2jr, representan respectivamente, en el plano OA1 , una elipse, una
hiprbola y una parbola, como las bosquejadas en la Figura 1.
Para dicha elipse, el centro es (0, 0), los ejes de simetra (llamados ejes princi-
pales) son los coordenados, los semiejes son a y / y los focos 1 y 1
0
(vericndose
que a
2
= /
2
+ c
2
); para dicha hiprbola, el centro es (0, 0), los ejes de simetra
son los coordenados, el eje real es OA, los focos son 1 y 1
0
y las asntotas
j =
b
o
r (vericndose que c
2
= a
2
+ /
2
); y, para dicha parbola, el eje de
simetra es OA, el foco 1(
2
, 0), el vrtice (0, 0) y la directriz es r =
2
.
Figura 1
7
Del mismo modo, las ecuaciones
(ro)
2
o
2
+
(o)
2
b
2
= 1,
(ro)
2
o
2

(o)
2
b
2
= 1,
y (j ,)
2
= 2j(r c), cuya expresin general es
a
1
r
2
+a
2
j
2
+a
4
r +a
5
j +a
6
= 0,
con a
I
R para i = 1, 2, 4, 5, 6, representan las mismas curvas anteriores, pero
no centradas en el origen sino en el punto (c, ,) (los ejes de simetra son paralelos
a los coordenados y, en los dos primeros casos, el centro de simetra es (c, ,),
siendo este punto el vrtice en el tercer caso).
En general, una ecuacin polinmica de segundo grado del tipo
a
1
r
2
+a
2
j
2
+a
3
rj +a
4
r +a
5
j +a
6
= 0,
cuya nica diferencia con la ltima de las anteriores es la posible existencia de
un trmino rectangular del tipo a
3
rj, representa alguna de las anteriores curvas
(salvo en los casos que llamaremos degenerados: un punto, una o dos rectas, y
el vaco), denominadas cnicas por ser intersecciones de un cono por un plano.
La existencia en dicha ecuacin de un trmino del tipo a
3
rj indica que los ejes
de la cnica no son paralelos a los coordenados.
Anlogamente, utilizando las ecuaciones anteriores, secciones por planos
paralelos a los coordenados, e intersecciones con los ejes coordenados, se deduce
fcilmente la forma y caractersticas de las siguientes supercies representadas
por ecuaciones polinmicas de segundo grado, llamadas cudricas en el espacio
afn eucldeo R
3
:
La ecuacin
r
2
o
2
+

2
b
2
+
:
2
c
2
= 1 dene un elipsoide de ejes de simetra los
coordenados, semiejes a, / y c (sobre OA, O1 y O7, respectivamente), y
centro (0, 0, 0) (bosquejado en la Figura 2). Si, como caso particular, es
a = / = c = 1, entonces la ecuacin r
2
+ j
2
+ .
2
= 1
2
representa una
esfera de centro el origen y radio 1. Al igual que en el caso de la elipse, si
el centro es (c, ,, ), y los ejes se simetra son paralelos a los coordenados,
el elipsoide tiene por ecuacin
(ro)
2
o
2
+
(o)
2
b
2
+
(:~)
2
c
2
= 1, que se puede
escribir en la forma a
1
r
2
+ a
2
j
2
+ a
3
.
2
+ a
7
r + a
8
j + a
9
. + a
10
= 0 (al
igual que en el caso de las cnicas de ejes paralelos a los coordenados, la
no existencia de trminos rectangulares en la anterior ecuacin indica que
el elipsoide tiene ejes de simetra paralelos a los coordenados).
Figura 2
8
La ecuacin
r
2
o
2
+

2
b
2

:
2
c
2
= 1 dene un hiperboloide de una hoja, ejes de
simetra los coordenados, eje interior O7, secciones elpticas por planos
perpendiculares a O7, y centro (0, 0, 0) (bosquejado en la Figura 3).
Figura 3
La ecuacin
r
2
o
2

2
b
2
+
:
2
c
2
= 1 dene un hiperboloide de dos hojas, ejes
los coordenados (eje interior O7), secciones (no vacas) elpticas, y centro
(0, 0, 0) (bosquejado en la Figura 4).
Figura 4
La ecuacin
r
2
o
2

2
b
2
2c. = 0 dene un paraboloide, elptico cuando el
signo es + e hiperblico cuando el signo es , de secciones elpticas para
el caso del signo +, e hiperblicas para el , siendo el vrtice el origen
9
(representados, respectivamente, en las Figuras 5 y 6).
Figura 5 Figura 6
La ecuacin
r
2
o
2
+

2
b
2

:
2
c
2
= 0 representa un cono elptico, de ejes los co-
ordenados (eje interior O7) y vrtice el origen. En particular, la ecuacin
r
2
+j
2
= tan
2
c .
2
, representa un cono de revolucin de eje O7, vrtice
el origen y semingulo cnico c (bosquejado en la Figura 7).
Figura 7
La ecuacin
r
2
o
2
2
b
2
= 1 representa un cilindro de eje O7, elptico cuando el
signo es + e hiperblico cuando es . En particular, la ecuacin r
2
+j
2
=
1
2
, representa un cilindro de revolucin de eje O7 (bosquejado en la
10
Figura 8).
Figura 8
La ecuacin j
2
= 2jr representa un cilindro parablico, de eje de vrtices
O7 y plano se simetra OA7 (bosquejado en la Figura 9).
Figura 9
En general, una ecuacin polinmica de segundo grado del tipo
a
1
r
2
+a
2
j
2
+a
3
.
2
+a
4
rj +a
5
r. +a
6
j. +a
7
r +a
8
j +a
9
. +a
10
= 0,
cuya nica diferencia con la planteada en el ejemplo del elipsoide no centrado
en (0, 0, 0) es la posible existencia de trminos rectangulares (que indican que
11
los ejes de simetra no son paralelos a los coordenados), representa alguna de
las anteriores supercies, salvo en los casos degenerados: un punto, una recta,
uno o dos planos, y el conjunto vaco.
Como veremos en los siguientes ejemplos, las anteriores curvas y supercies
son tiles para abordar algunos casos de curvas y supercies de nivel de campos
escalares de 2 y 3 variables.
Ejemplo 4.1.1.
En la Figura 10 se representa la grca en el primer octante de la funcin
) : R
2
R denida mediante )(r, j) = r j + 1, resultando un plano que
corta al plano . = 0 (plano OA1 ) segn la recta r + j = 1 y al eje O7 en el
punto (0, 0, 1). Sus curvas de nivel c son rectas paralelas entre s, de la forma
r j + 1 = c.
Figura 10
En general, dados , 1, C R, con 1 6= 0, la grca de la funcin ) : R
2
R
denida mediante )(r, j) = r +1j +C, es un plano, y las lneas de nivel son
rectas paralelas entre s.
Ejemplo 4.1.2.
En la Figura 11 se bosqueja la grca de la funcin ) : R
2
R denida
mediante )(r, j) = 1 r
2
j
2
. Se trata de un paraboloide de revolucin de eje
O7, vrtice (0, 0, 1), y generatriz
. = 1 r
2
j = 0
.
12
Figura 11
Figura 12
Las curvas de nivel c de ) son las circunferencias r
2
+ j
2
= 1 c, que se
representan en la Figura 12 para los valores c = 1 (dando lugar al punto (0, 0),
que es la proyeccin del punto (0, 0, 1), vrtice del paraboloide, sobre el plano
OA1 ), c = 0 (dando lugar a la circunferencia r
2
+j
2
= 1, que es la interseccin
del paraboloide con el plano OA1 ) y c =
1
2
.
Ejemplo 4.1.3.
Las grcas de las funciones polinmicas de dos variables y grado menor o
igual que 2 se bosquejan con facilidad aplicando los resultados anteriores. No
obstante, con frecuencia se requiere para ello la ayuda del ordenador y programas
13
informticos con capacidades grcas (como Maple, Matlab, etc.). Por ejemplo,
la grca de la funcin denida mediante
)(r, j) =
sen
r
2
+
2
r
2
+
2
, (r, j) 6= (0, 0)
1 , (r, j) = (0, 0)
se puede abordar directamente mediante cualquiera de los anteriores programas,
resultando la bosquejada en la Figura 13.
Figura 13
Figura 14
Por otra parte, dado que la funcin ) se mantiene constante sobre las circun-
ferencias r
2
+ j
2
= r
2
, con r 0 constante real, tomando el valor
sen :
:
sobre
14
dichas circunferencias, resulta que las lneas de nivel c de ) (denidas mediante
sen
r
2
+
2
r
2
+
2
= c), son circunferencias con centro el origen (dependiendo del
valor de c, el correspondiente conjunto de nivel constar del punto (0, 0), para
c = 1, o de 1, 2, 3, ... circunferencias). Con este dato, y con la ayuda de la fun-
cin auxiliar )(r) =
sen :
:
, representada en la Figura 14 utilizando las tcnicas
vistas para funciones de una variable, tambin se puede obtener la grca de la
funcin ).
Ejemplo 4.1.4.
En la Figura 15
Figura 15
se bosqueja la grca de la funcin ) : R
2
R denida mediante )(r, j) =
(2r
2
+ j
2
)c
(r
2
+
2
)
. La Figura 16 muestra algunas curvas de nivel de ). El
conjunto de nivel 0 de ) es el punto (0, 0) (corresponde al mnimo absoluto de la
funcin )), el conjunto de nivel
2
t
est constituido por los puntos (1, 0) y (1, 0)
(corresponde a los dos mximos absolutos de la funcin )), y la curva de nivel
1
t
pasa por los puntos (0, 1) y (0, 1). Los conjuntos de nivel c, con
1
t
< c <
2
t
estn constituidos por parejas de curvas cerradas simtricas respecto al eje O1
(por ejemplo, las de color azul en la Figura 16). Y los conjuntos de nivel c, con
0 < c <
1
t
estn constituidos por parejas de curvas cerradas concntricas (por
15
ejemplo, las de color verde o las de color rojo en la Figura 16).
Figura 16
Ejemplo 4.1.5.
Las supercies de nivel c de la funcin ) : R
3
R denida mediante
)(r, j, .) = r
2
+ 2j
2
3.
2
estn determinadas por la ecuacin
r
2
+ 2j
2
3.
2
= c.
Cuando c = 0, se trata de un cono elptico de eje O7 y vrtice (0, 0, 0). Cuando
c 0, se trata de un hiperboloide de una hoja, centro (0, 0, 0), eje interior O7,
secciones elpticas por planos perpendiculares a O7, y secciones hiprbolicas
por planos perpendiculares a OA o O1 . Finalmente, cuando c < 0, se trata de
un hiperboloide de dos hojas, centro (0, 0, 0), y eje interior O7. La Figura 17
muestra una supercie de nivel de cada caso (en color rojo: el cono, correspon-
diente a c = 0; en color verde, el hiperboloide de una hoja, para un c 0; y, en
color azul, en la regin interior a ambos, el hiperboloide de dos hojas, para un
16
c < 0).
Figura 17
Ejemplo 4.1.6.
En la Figura 18 se bosquejan las curvas de nivel c de la funcin ) : R
2
R
denida mediante
)(r, j) = (r
2
+j
2
)
2
r
2
+j
2
.
Figura 18
17
Para c =
1
4
se obtienen los puntos

2
, 0
y

1
2
, 0
, que corresponden a
los dos mnimos absolutos de la funcin. La lnea de nivel 0, que est denida
por la ecuacin
(r
2
+j
2
)
2
r
2
+j
2
= 0,
es la lemniscata de Bernouilli. Para
1
4
< c < 0 se obtienen pares de curvas
cerradas simtricas respecto al eje O1 y situadas en el interior de los dos lazos
de lemniscata. Para c 0 se obtienen curvas cerradas exteriores a la lemniscata.
Ejemplo 4.1.7.
2
R denida
mediante )(r, j) =
2
r
2
+
2
+1
.
Figura 19
Los conjuntos de nivel c de ) son los siguientes: para c = 0, el eje OA (recta
j = 0); para 0 < c < 1 y para 1 < c < 0, las circunferencias de ecuacin
r
2
+
j
1
c
2
=
1
c
2
1;
para c = 1, el punto (0, 1), que corresponde al mximo absoluto de ); y, para
c = 1, el punto (0, 1), que corresponde al mnimo absoluto de ).
5. Lmites y continuidad en funciones de varias variables.
5.1. Lmite de un campo escalar de dos variables.
5.1.1. Denicin.
La denicin de lmite de una funcin de dos o ms variables es similar a
la dada para funciones de una variable. La diferencia fundamental entre ambas
radica en la direccin de aproximacin, que puede ser cualquier conjunto del
dominio en el caso de funciones de varias variables, y no solo dos, izquierda y
18
derecha, como en el caso de funciones de una variable. Intuitivamente, el hecho
de que lim
(r,)(o,b)
)(r, j) = 1 signica que, segn se acerca (r, j) a (a, /), sin
alcanzarlo, a lo largo de cualquier trayectoria contenida en el dominio de ), los
valores de )(r, j) se mantienen tan prximos a 1 como se desee. Una denicin
ms precisa se enuncia a continuacin.
Sea ) : R
2
R un campo escalar de dos variables y sea (a, /) un punto
de acumulacin de . Se dice que el lmite de )(r, j) cuando (r, j) tiende a
(a, /) es 1, y se escribe lim
(r,)(o,b)
)(r, j) = 1, si para cualquier nmero real
c 0, existe un nmero real c 0 tal que para todo (r, j) vericando que
0 <
p
(r a)
2
+ (j /)
2
< c,
se cumple que |)(r, j) 1| < c.
Observa que |)(r, j) 1| es la distancia entre los nmeros reales )(r, j) y
1, mientras que
p
(r a)
2
+ (j /)
2
es la distancia entre los puntos (r, j) y
(a, /). De ah que la anterior denicin establece que la distancia entre )(r, j)
y 1 se puede hacer tan pequea como se desee haciendo la distancia entre los
puntos (r, j) y (a, /) sucientemente pequea, aunque no nula.
5.1.2. Algunas propiedades.
Muchas propiedades relativas al elemento lmite vistas para una variable
se pueden extender fcilmente a varias variables. Por ello, nos limitaremos a
enunciar los siguientes resultados bsicos, referidos a campos escalares de dos
variables ) : R
2
R, q : R
2
R, y / : R
2
R, un punto de
acumulacin (a, /) de , y escalares `, j R:
5.1.2.1. El elemento lmite, si existe, es nico. En particular, si
lim
(r,)(o,b)
)(r, j) = 1
1
y
lim
(r,)(o,b)
)(r, j) = 1
2
,
entonces 1
1
= 1
2
. Como consecuencia, si lim
(r,)(o,b)
)(r, j) existe y es igual a
1, entonces lim
(r,)(o,b)
)(r, j) es igual a 1 para cualquier trayectoria de aproxi-
macin al punto (a, /). Por tanto, si es
lim
(r,)(o,b)
)(r, j) = 1
1
para una trayectoria
1
de aproximacin (r, j) (a, /), y es
lim
(r,)(o,b)
)(r, j) = 1
2
19
para otra trayectoria
2
de aproximacin (r, j) (a, /), siendo
1
6=
2
, y se
verica que 1
1
6= 1
2
, entonces el lmite doble o funcional lim
(r,)(o,b)
)(r, j) no
existe.
5.1.2.2. Supongamos que lim
(r,)(o,b)
)(r, j) = 1 y lim
(r,)(o,b)
q(r, j) = '.
Entonces se verican las siguientes propiedades:
a) lim
(r,)(o,b)
(`) +jq) (r, j) = ` lim
(r,)(o,b)
)(r, j) + j lim
(r,)(o,b)
q(r, j) =
`1 +j'.
b) lim
(r,)(o,b)
()(r, j) q(r, j)) = lim
(r,)(o,b)
)(r, j) lim
(r,)(o,b)
q(r, j) = 1 '.
c) lim
(r,)(o,b)
}(r,)
(r,)
=
lim
(o)(o|)
}(r,)
lim
(o)(o|)
(r,)
=
J
1
, siempre que sea ' 6= 0.
d) Si r, : son nmeros enteros tales que : 6= 0 y
:
s
es una fraccin irreducible,
entonces lim
(r,)(o,b)
()(r, j))
r
s
= 1
r
s
, siempre que 1
r
s
sea un nmero real.
(si : es un nmero par, se asume en esta propiedad que es 1 0.)
5.1.2.3. Teorema del Sandwich: Supongamos que r 0 tal que
(r, j) 1((a, /), r)\(a, /), se verica que
q(r, j) )(r, j) /(r, j),
y que lim
(r,)(o,b)
q(r, j) = lim
(r,)(o,b)
/(r, j) = 1. Entonces, lim
(r,)(o,b)
)(r, j) =
1.
5.1.2.4. Lmites reiterados.
Para cada r jo, supongamos que existe el lmite )
1
(r) = lim
b
)(r, j).
Anlogamente, para cada j jo, supongamos que existe el lmite )
2
(j) = lim
ro
)(r, j).
Llamaremos lmites reiterados a los dos siguientes lmites:
lim
ro
)
1
(r) = lim
ro
lim
b
)(r, j)
lim
b
)
2
(j) = lim
b
lim
ro
)(r, j)
.
En relacin a los lmites reiterados (tambin llamados iterados) y al lmite doble,
se verican las siguientes propiedades:
Si existen )
1
(r), )
2
(j), y lim
(r,)(o,b)
)(r, j) = 1, entonces tambin existen
los dos lmites reiterados y ambos son iguales a 1.
20
Si existen los dos lmites reiterados y son distintos, entonces el lmite doble
no existe.
Pueden existir los dos lmites reiterados, ser ambos iguales, y no existir el
lmite doble.
5.1.2.5. Paso a coordenadas polares para calcular lmites dobles.
Supongamos que (a, /) = (0, 0) (de no ser as, siempre es posible trasladar
los ejes coordenados al punto (a, /) para conseguirlo), y efectuemos en la funcin
)(r, j) un cambio a coordenadas polares. As, haciendo
r = j cos 0
j = j sen0,
se obtiene la funcin ) en coordenadas polares, que se expresa en la forma
)(j cos 0, j sen0).
Entonces, una condicin necesaria y suciente para que lim
(r,)(0,0)
)(r, j) = 1
es que para cualquier nmero real c 0, exista un nmero real c 0 tal que
siempre que sea
0 < j < c,
se verique que |)(j cos 0, j sen0) 1| < c cualquiera que sea 0 (0, 2]. Se
dice entonces que lim
0
)(j cos 0, j sen0) = 1, uniformemente en 0.
5.1.3. Algunos ejemplos de lmites.
5.1.3.1. Ejemplo.
Para estudiar la existencia del lmite lim
(r,)(0,0)
)(r, j), siendo ) : R
2
R la
funcin denida mediante
)(r, j) =
(
r
2
2
r
2
+
2
para (r, j) 6= (0, 0)
0 para (r, j) = (0, 0)
,
(observa que se trata de una indeterminacin del tipo
0
0
) podemos comenzar
obteniendo los lmites reiterados. En este caso, se verica que
)
1
(r) = lim
0
)(r, j) =
r
2
r
2
= 1
)
2
(j) = lim
r0
)(r, j) =
j
2
j
2
= 1.
21
Por tanto, de
lim
r0
)
1
(r) = lim
r0
(1) = 1
lim
0
)
2
(j) = lim
0
(1) = 1,
se sigue que existen los dos lmites reiterados y son distintos, por lo que el lmite
doble lim
(r,)(0,0)
)(r, j) no existe.
5.1.3.2. Ejemplo.
(r,)(0,0)
2
R la
)(r, j) =
r
r
2
+
2
para (r, j) 6= (0, 0)
0 para (r, j) = (0, 0)
,
0
0
) podemos comenzar
)
1
(r) = lim
0
)(r, j) =
0
r
2
= 0
)
2
(j) = lim
r0
)(r, j) =
0
j
2
= 0.
Por tanto, de
lim
r0
)
1
(r) = lim
r0
(0) = 0
lim
0
)
2
(j) = lim
0
(0) = 0,
se sigue que existen los dos lmites reiterados y son ambos iguales a 0, por lo
que no se puede asegurar que el lmite doble exista.
Veamos que sucede al acercarnos al origen segn rectas (que pasan por el
origen) del tipo j = :r, donde : es la pendiente. Haciendo j = :r en la
expresin del lmite segn dichas rectas, se llega a
lim
r0
r(:r)
r
2
+ (:r)
2
=
:
1 +:
2
,
de donde se sigue, aplicando la propiedad 5.1.2.1., que no existe dicho lmite.
(ya que, para el caso analizado, resulta que el lmite depende de la direccin de
aproximacin al punto.)
22
5.1.3.3. Ejemplo.
(r,)(0,0)
2
R la
)(r, j) =
(
r
2
r
2
+
4
para (r, j) 6= (0, 0)
0 para (r, j) = (0, 0)
,
0
0
) podemos comenzar
)
1
(r) = lim
0
)(r, j) =
0
r
2
= 0
)
2
(j) = lim
r0
)(r, j) =
0
j
4
= 0.
Por tanto, de
lim
r0
)
1
(r) = lim
r0
(0) = 0
lim
0
)
2
(j) = lim
0
(0) = 0,
Veamos que sucede al acercarnos al origen segn parbolas (que pasan por
el origen) del tipo j
2
= :r. Haciendo j
2
= :r en la expresin del lmite segn
dichas parbolas, se llega a
lim
r0
r(:r)
r
2
+ (:r)
2
=
:
1 +:
2
,
de donde se sigue, aplicando la propiedad 5.1.2.1., que no existe dicho lmite.
5.1.3.4. Ejemplo.
(r,)(0,0)
2
R la
)(r, j) =
(
r
2
r
2
+
2
para (r, j) 6= (0, 0)
0 para (r, j) = (0, 0)
,
0
0
) podemos comenzar
)
1
(r) = lim
0
)(r, j) =
0
r
2
= 0
)
2
(j) = lim
r0
)(r, j) =
0
j
2
= 0.
23
Por tanto, de
lim
r0
)
1
(r) = lim
r0
(0) = 0
lim
0
)
2
(j) = lim
0
(0) = 0,
Efectuando en la funcin )(r, j) un cambio a coordenadas polares, se llega
a
lim
0
)(j cos 0, j sen0) = lim
0
j
3
cos
2
0 sen0
j
2
=
= lim
0
j cos
2
0 sen0 = 0,
cualquiera que sea 0 (0, 2]. Por tanto, dado que lim
0
)(j cos 0, j sen0) = 0,
uniformemente en 0, se verica que lim
(r,)(0,0)
)(r, j) = 0.
5.1.3.5. Ejemplo.
Dado que, para la funcin ) : R
2
R denida mediante
)(r, j) =
(r
2
+j
2
) sen
1
r
2
+
2
para (r, j) 6= (0, 0)
0 para (r, j) = (0, 0)
,
existe un r 0 tal que (r, j) 1((0, 0), r)\(0, 0), se verica que
(r
2
+j
2
) (r
2
+j
2
) sen
1
r
2
+j
2
r
2
+j
2
,
y que lim
(r,)(o,b)
(r
2
+j
2
) = 0, aplicando el teorema del Sandwich se cumple que
lim
(r,)(0,0)
(r
2
+j
2
) sen
1
r
2
+
2
= 0.
5.1.3.6. Ejemplo.
(r,)(0,0)
2
R la
)(r, j) =
(
sen(r
2
+
2
)
r
2
+
2
para (r, j) 6= (0, 0)
1 para (r, j) = (0, 0)
,
0
0
), efectuamos en la
funcin )(r, j) un cambio a coordenadas polares, obteniendo
lim
0
0
senj
2
j
2
= 1,
24
0
)(j cos 0, j sen0) = 1,
(r,)(0,0)
)(r, j) = 1.
5.1.3.7. Ejemplo.
Sea = {(r, j) R
2
: r 6= 0}. Para estudiar la existencia del lmite
lim
(r,)(0,1)
2
R la funcin denida (r, j)
mediante
)(r, j) =
j cos r
r
2
,
0
0
; por otra parte, aunque
(0, 1) , , dicho punto (0, 1) es de acumulacin de ), estudiemos lo que sucede
al acercarnos al origen segn parbolas (pasando por el punto (0, 1)) del tipo
j = 1 + :r
2
. Haciendo j = 1 + :r
2
en la expresin del lmite segn dichas
parbolas, se llega a
lim
r0
1 +:r
2
cos r
r
2
= lim
r0
2:r + senr
2r
= :+
1
2
,
(para calcular el primer lmite se ha aplicado la Regla de LHpital) de donde
se sigue, aplicando la propiedad 5.1.2.1., que no existe lim
(r,)(0,1)
)(r, j).
5.2. Lmite de un campo escalar de ms de dos variables y de un
campo vectorial.
5.2.1. Deniciones y propiedades.
La denicin de lmite para un campo escalar de 2 variables puede ser
fcilmente extendida a campos escalares con ms de dos variables inde-
pendientes, formulndola en trminos de normas, distancias o bolas. En
efecto, si son ) : R
n
R un campo escalar, y a un punto de acu-
mulacin de , y utilizamos la primera de las formulaciones, se dice que
el lmite de )(r) cuando r tiende a a es 1 (con 1 R) y se escribe
lim
ro
)(r) = 1, si para cualquier nmero real c 0, existe un nmero real
c 0 tal que para todo r vericando que
0 < kr ak < c,
se cumple que |)(r) 1| < c.
Observa que r = (r
1
, r
2
, ..., r
n
), que a = (a
1
, a
2
, ..., a
n
), y que la denicin
vista en 5.1.1. para un campo escalar de 2 variables es un caso particular
de la anterior.
25
Tambin es posible extender directamente la denicin anterior a campos
vectoriales. En este caso, si es ) : R
n
R
n
un campo vectorial,
con ) = ()
1
, )
2
, ..., )
n
) campos escalares tales que )
I
: R
n
R para
i = 1, 2, ..., :, y a es un punto de acumulacin de , se dice que el lmite de
)(r) cuando r tiende a a es 1, con 1 = (1
1
, 1
2
, ..., 1
n
) R
n
, y se escribe
lim
ro
)(r) = 1, si para cualquier nmero real c 0, existe un nmero real
c 0 tal que para todo r vericando que
0 < kr ak < c,
se cumple que k)(r) 1k < c.
5.2.2. Algunas propiedades.
Sean ) : R
n
R
n
un campo vectorial, con ) = ()
1
, )
2
, ..., )
n
) campos
escalares tales que )
I
: R
n
R para i = 1, 2, ..., :, y a un punto de
acumulacin de . Es sencillo probar que:
a) Se verican las propiedades 5.1.2.1. y 5.1.2.2.a para cualquier valor de :,
y las propiedades 5.1.2.2./, 5.1.2.2.c, 5.1.2.2.d y 5.1.2.3. para : = 1.
b) Para cualquier campo vectorial ) : R
n
R
n
, se cumple la siguiente
propiedad: lim
ro
)(r) = 1, con 1 = (1
1
, 1
2
, ..., 1
n
) R
n
, si y solamente
si para cada i = 1, 2, ..., : se verica que lim
ro
)
I
(r) = 1
I
. Esta propiedad
permite obtener el lmite de un campo vectorial ) en un punto a mediante
el clculo del lmite de sus componentes )
I
.
c) Las deniciones de lmites reiterados se pueden extender fcilmente a cam-
pos escalares de dimensin mayor que 2, vericndose propiedades simi-
lares a las vistas en 5.1.2.4. Un ejemplo de lmite reiterado para : = 3 (y
: = 1) es
lim
ro
lim
b
lim
:c
)(r, j, .)
,
as como los obtenidos permutando las variables en la anterior expresin.
5.2.3. Ejemplo.
Teniendo en cuenta los resultados de los ejemplos 5.1.3.4. y 5.1.3.6., y apli-
cando la propiedad 5.2.2./), es fcil ver que el campo vectorial ) : R
2
R
3
denido mediante
)(r, j) =
r
2
r
2
+
2
,
sen(r
2
+
2
)
r
2
+
2
, 3c
5r7
para (r, j) 6= (0, 0)

(0, 1, 3) para (r, j) = (0, 0)
,
26
verica que lim
(r,)(0,0)
)(r, j) = (0, 1, 3).
5.3. Continuidad de campos escalares y vectoriales.
5.3.1. Continuidad de un campo escalar de dos variables.
Sea un subconjunto de R
2
, ) : R
2
R un campo escalar de dos
variables, y (a, /) . Se dice que ) es continuo en (a, /) si
lim
(r,)(o,b)
)(r, j) = )(a, /).
Intuitivamente, esto signica que el valor )(r, j) se mantiene prximo al valor
)(a, /) cuando (r, j) est prximo a (a, /). Geomtricamente, ello supone que la
supercie que dene la grca de una funcin continua no presenta "agujeros",
"saltos", o "roturas".
5.3.2. Continuidad de campos escalares de ms de dos variables y
de campos vectoriales.
Sea un subconjunto de R
n
, ) : R
n
R
n
un campo vectorial, y
a . Se dice que ) es continuo en a si
lim
ro
)(r) = )(a).
Si ) es continuo r , entonces se dice que ) es continuo en .
Observa que la denicin de continuidad es aplicable a cualquier punto a del
dominio de ), en particular a los puntos de la frontera.
5.3.3. Propiedades de las funciones continuas.
Aplicando las propiedades de los lmites, se deducen fcilmente las siguientes
propiedades de las funciones continuas:
a) Dado el campo vectorial ) : R
n
R
n
, con ) = ()
1
, )
2
, ..., )
n
) y
)
I
: R
n
R, entonces ) es continuo en a si y solamente si cada
componente )
I
de ) es continua en a.
b) Si los campos vectoriales ) : R
n
R
n
y q : R
n
R
n
son
continuos en a , entonces c, , R el campo vectorial c) + ,q es
continuo en a. En particular, ) +q y ) q son continuos en a.
c) Si los campos escalares ) : R
n
R y q : R
n
R son continuos
en a , entonces el campo escalar producto de ambos () q) es continuo
en a.
d) Si los campos escalares ) : R
n
R y q : R
n
R son continuos
en a , y es q(a) 6= 0, entonces el campo escalar cociente de ambos
es continuo en a.
27
e) Si los campos vectoriales ) : R
n
R
n
y q : 1 R
n
R
, siendo
im) 1, son tales que ) es continuo en a y q es continuo en )(a),
entonces el campo vectorial composicin de ambos, q ) : R
n
R
,
es continuo en a.
Del mismo modo que en las funciones de una variable, para los campos
escalares continuos denidos sobre conjuntos compactos se cumple el siguiente
Teorema de Weierstrass:
Si son un conjunto compacto, y ) : R
n
R un campo escalar
continuo en , entonces ) alcanza en al menos un punto de su mximo
absoluto, y en al menos un punto de su mnimo absoluto. Por tanto, en caso
de que se veriquen dichas condiciones, existen al menos dos puntos a, /
tales que )(a) )(r) )(/), r .
5.3.4. Algunos ejemplos de funciones continuas.
5.3.4.1. Ejemplo.
De las propiedades de las funciones continuas se deduce que las funciones de
los ejemplos 5.1.3.1., 5.1.3.2., y 5.1.3.3. son continuas en todos los puntos, salvo
el origen (0, 0), debido a que en dicho punto no existe el lmite. Anlogamente,
las funciones de los ejemplos 5.1.3.4., 5.1.3.5., 5.1.3.6. y 5.2.3. son continuas en
todos los puntos, incluyendo el origen (0, 0).
5.3.4.2. Ejemplo.
De las propiedades de las funciones continuas, se deduce que la funcin
) : R
3
R denida mediante
)(r, j, .) =
(
r:
r
2
+
2
+:
2
para (r, j, .) 6= (0, 0, 0)
0 para (r, j, .) = (0, 0, 0)
,
es continua en todos los puntos salvo, eventualmente, el origen de coordenadas
(0, 0, 0). En este punto, para estudiar la existencia del lmite lim
(r,,:)(0,0,0)
)(r, j, .)
0
0
), procedemos de modo
similar al resultado visto en la seccin 5.1.2.5., pero efectuando ahora en la
funcin )(r, j, .) un cambio a coordenadas esfricas. En este sistema de coor-
denadas, un punto 1(r, j, .) del espacio se expresa mediante tres coordenadas,
1(j, c, 0), donde el signicado de j, que es la distancia del punto 1 al origen, y
28
de los ngulos c y 0 se muestra en la Figura 19.
Figura 19
Las relaciones entre ambos sistemas de coordenadas, rectangulares y esfricas,
son
r = j senccos 0
j = j sencsen0
. = j cos c,
y se verica que j =
p
r
2
+j
2
+.
2
, siendo j 0, y que 0 c , 0 0 < 2.
En estas condiciones, se cumple que
lim
0
)(j senccos 0, j sencsen0, j cos c) =
= lim
0
j
2
senccos 0 cos c
j
= 0,
cualquiera que sean c [0, ], 0 [0, 2). Por tanto, dado que
lim
0
)(j senccos 0, j sencsen0, j cos c) = 0,
uniformemente en c y 0, se verica que lim
(r,,:)(0,0,0)
)(r, j, .) = 0. En denitiva,
puesto que
)(0, 0, 0) = lim
(r,,:)(0,0,0)
)(r, j, .) = 0,
resulta que la funcin ) tambin es continua en el punto (0, 0, 0).
5.3.4.3. Ejemplo.
Sea
= {(r, j) R
2
: r
2
+j
2
1},
29
y consideremos el campo escalar / : R denido mediante
/(r, j) =
sen
1r
2
1r
2
2
para r
2
+j
2
< 1
1 para r
2
+j
2
= 1
(observa que dom/ = ). Deniendo las funciones q : R R y ) : R
mediante q(t) =
sen |
|
y )(r, j) =
p
1 r
2
j
2
, es evidente que / = q ).
Por tanto, dado que ) es continua para todo (a, /) (como fcilmente se
comprueba poniendo ) = )
1
)
2
, siendo )
1
(r) =
r, denida r 0, y continua
r 0, y )
2
(r, j) = 1 r
2
j
2
, que es una funcin continua en R
2
por ser un
polinomio, resultando as que ) es continua en ), y q es continua en )(a, /),
aplicando la propiedad 5.3.3.c) se verica que / es continua en .
5.3.4.4. Ejemplo.
De las propiedades de las funciones continuas, se deduce que la funcin
) : R
2
R denida mediante
)(r, j) =
(
rj
r
2
2
r
2
+
2
para (r, j) 6= (0, 0)
0 para (r, j) = (0, 0)
,
es continua en todos los puntos salvo, eventualmente, el origen de coordenadas
(0, 0). En este punto, para estudiar la existencia del lmite lim
(r,)(0,0)
)(r, j),
efectuamos en la funcin )(r, j) un cambio a coordenadas polares, obteniendo
lim
0
0
j
2
cos 0 sen0
j
2
cos 20
j
2
=
=
1
4
lim
0
j
2
sen40 = 0,
0
)(j cos 0, j sen0) = 0,
(r,)(0,0)
)(r, j) = 0 = )(0, 0), resultando
que ) es tambin continua en el punto (0, 0).
6. Derivadas direccionales. Derivadas parciales. Diferenciabilidad.
6.1. Derivada segn un vector. Derivada direccional.
Sean R
2
un conjunto abierto, ) : R
2
R un campo escalar de
dos variables, = (
1
,
2
) un vector no nulo de R
2
, y (a, /) . Se denomina
derivada de la funcin ) en el punto (a, /) segn el vector , y se representa por
1
u
)(a, /) (o, alternativamente, por
J}(o,b)
Ju
,
J}
Ju
(a, /), o
J}
Ju
(o,b)
), al lmite
1
u
)(a, /) = lim
|0
)(a +t
1
, / +t
2
) )(a, /)
t
,
30
siempre que dicho lmite exista. Si el vector es unitario (i.e. kk = 1) dicha
derivada se llama derivada direccional, y si es un vector de la base cannica
(i.e. = (1, 0), o = (0, 1)) dicha derivada se denomina derivada parcial.
Geomtricamente, la derivada 1
u
)(a, /) representa la pendiente de la super-
cie . = )(r, j) (que representa la grca de )) en el punto (a, /) al avanzar en
la direccin denida por el vector .
En general, si es R
n
n
R un campo
escalar de : variables, un vector no nulo de R
n
, y a , se denomina derivada
de la funcin ) en el punto a segn el vector , y se representa por 1
u
)(a) (o,
alternativamente, por
J}(o)
Ju
,
J}
Ju
(a), o
J}
Ju
r=o
), al lmite
1
u
)(a) = lim
|0
)(a +t) )(a)
t
,
siempre que dicho lmite exista. Si el vector es unitario (i.e. kk = 1) dicha
derivada se llama derivada direccional, y si es un vector de la base cannica
(i.e. = (0, 0, ..., 0, 1, 0, ..., 0)) dicha derivada se denomina derivada parcial.
6.1.1. Ejemplo.
La funcin ) : R
2
R denida mediante
)(r, j) =
(
r
3
+
3
r
2
+
2
para (r, j) 6= (0, 0)
0 para (r, j) = (0, 0)
admite derivada segn cualquier vector = (
1
,
2
) 6= (0, 0) en el punto (0, 0),
ya que
1
u
)(0, 0) = lim
|0
)(t
1
, t
2
) )(0, 0)
t
= lim
|0
t
3
3
1
+t
3
3
2
0
t(t
2
2
1
+t
2
2
2
)
=

3
1
+
3
2
2
1
+
2
2
.
6.1.2. Ejemplo.
La funcin ) : R
2
R denida mediante
)(r, j) =
r
r
2
+
2
para (r, j) 6= (0, 0)
0 para (r, j) = (0, 0)
,
cuya grca en el cubo [1, 1][1, 1][0.5, 0.5] que rodea al origen se muestra
31
en la Figura 20
Figura 20
no admite derivada segn cualquier vector = (
1
,
2
) 6= (0, 0) en el punto
(0, 0). En efecto, de
1
u
)(0, 0) = lim
|0
)(t
1
, t
2
) )(0, 0)
t
= lim
|0
t
1
t
2
0
t(t
2
2
1
+t
2
2
2
)
= lim
|0
2
t(
2
1
+
2
2
)
,
se sigue que 1
u
)(0, 0) tan solo existe para vectores de la forma (
1
, 0) o (0,
2
)
(con
1
6= 0 y
2
6= 0), siendo en ambos casos 1
u
)(0, 0) = 0 (en ambos casos, la
variacin de la funcin en el punto (0, 0) al avanzar segn la direccin de los ejes
OA y O1 , es nula), y no existe para vectores = (
1
,
2
) tales que
1
2
6= 0,
ya que el lmite lim
|0
1
|
no existe.
6.2. Derivadas parciales.
6.2.1. Deniciones.
Sean R
2
2
R un campo escalar de dos
variables, y (a, /) . Se denomina derivada parcial de la funcin ) en el punto
(a, /) respecto a la variable r, y se representa por
J}
Jr
(a, /) (o, alternativamente,
por
J}(o,b)
Jr
,
J:(o,b)
Jr
, )
r
(a, /), 1
1
)(a, /) o
J}
Jr
(o,b)
), al lmite
0)
0r
(a, /) = lim
|0
)(a +/, /) )(a, /)
/
,
siempre que dicho lmite exista.
32
Del mismo modo, se denomina derivada parcial de la funcin ) en el punto
(a, /) respecto a la variable j, y se representa por
J}
J
(a, /), al lmite
0)
0j
(a, /) = lim
|0
)(a, / +/) )(a, /)
/
,
Geomtricamente, como se puede ver en la Figura 21, la derivada parcial
J}(o,b)
Jr
representa la pendiente de la recta r, tangente a la curva C11, que
es la interseccin de la supercie . = )(r, j) con el plano j = /, en el punto
1 (a, /, )(a, /)); y la derivada parcial
J}(o,b)
J
representa la pendiente de la recta
:, tangente a la curva 11, que es la interseccin de la supercie . = )(r, j)
con el plano r = a, en el punto 1 (a, /, )(a, /)).
Figura 21
Las derivadas parciales tambin pueden ser interpretadas como razones de
cambio de la funcin respecto a una variable, cuando la otra variable se mantiene
constante.
Las derivadas parciales se pueden calcular aplicando las tcnicas de derivacin
ya conocidas para las funciones de una variable. En efecto, la derivada parcial
J}
Jr
se puede obtener derivando (respecto a r) la funcin obtenida al considerar
en ) que la variable j es constante; y la derivada parcial
J}
J
se puede obtener
derivando (respecto a j) la funcin obtenida al considerar en ) que la variable
r es constante.
Al hacer variar (a, /) en , se obtienen las funciones )
r
: R y )
:
R, denominadas respectivamente derivada parcial respecto a r y derivada
parcial respecto a j, y denidas mediante
)
r
(r, j) = lim
|0
)(r +/, j) )(r, j)
/
)
(r, j) = lim
|0
)(r, j +/) )(r, j)
/
En general, si es R
n
n
R un campo
escalar de : variables, y a = (a
1
, a
2
, ..., a
I
, ..., a
n
) , se denomina derivada
parcial de la funcin ) en el punto a respecto a la variable r
I
al lmite
0)(a)
0r
I
= lim
|0
)(a +/c
I
) )(a)
/
,
33
donde c
I
= (0, 0, ..., 0, 1, 0, ..., 0) representa el i-simo vector de la base cannica,
siempre que dicho lmite exista. Desarrollando la anterior expresin, se obtiene
0)(a)
0r
I
= lim
|0
) (a
1
, a
2
, ..., a
I1
, a
I
+/, a
I+1
, ..., a
n
) )(a
1
, a
2
, ..., a
I
, ..., a
n
)
/
,
6.2.2. Ejemplos.
6.2.2.1. Ejemplo.
En funciones reales de una variable real, la derivabilidad de una funcin en
un punto implica la continuidad en dicho punto. Los dos siguientes ejemplos
muestran que, en funciones de dos o ms variables, la existencia de derivadas
parciales en un punto, no implica la continuidad en dicho punto. Consideremos
en primer lugar la funcin ) del ejemplo 6.1.2., donde se muestra que
J}(0,0)
Jr
= 0
y que
J}(0,0)
J
= 0, es decir, que existen derivadas parciales de ) en el punto (0, 0).
Sin embargo, del ejemplo 5.1.3.2. se deduce que dicha funcin ) no es continua
en (0, 0).
Por otra parte, consideremos la funcin ) : R
2
R denida mediante
)(r, j) =
1 para r j 6= 0
0 para r j = 0
,
que no es continua en (0, 0) porque para cualquier direccin de aproximacin
al origen del tipo (cos c, senc), con c [0, 2)\{0,
t
2
, ,
3t
2
} se verica que
lim
(r,)(0,0)
)(r, j) = 1, mientras que para las cuatro direcciones de aproximacin
al origen correspondientes a los ejes coordenados (c {0,
t
2
, ,
3t
2
}) se verica
que lim
(r,)(0,0)
)(r, j) = 0, por lo que no existe lim
(r,)(0,0)
)(r, j).
Sin embargo, dicha funcin admite derivadas parciales en dicho punto, siendo
ambas nulas. En efecto:
0)
0r
(0, 0) = lim
|0
)(/, 0) )(0, 0)
/
= lim
|0
0 0
/
= 0
0)
0j
(0, 0) = lim
|0
)(0, /) )(0, 0)
/
= lim
|0
0 0
/
= 0.
Este ltimo ejemplo tambin prueba que la existencia de derivadas parciales
de una funcin en un punto, no implica la existencia de derivadas direccionales
en dicho punto segn todas las direcciones. En efecto, si es = (
1
,
2
) un
vector unitario tal que
1

2
6= 0, entonces
1
u
)(0, 0) = lim
|0
)(t
1
, t
2
) )(0, 0)
t
= lim
|0
1
t
,
y este lmite no existe.
34
Estos ejemplos sugieren la necesidad de plantear condiciones ms restrictivas
a las introducidas en el apartado 6.2.1. en orden a garantizar la diferenciabilidad
de una funcin de dos o ms variables. Dichas condiciones se introducen en el
apartado 6.3.
6.2.2.2. Ejemplo.
La funcin del ejemplo 5.3.4.4. admite derivadas parciales en todos los
puntos salvo, eventualmente, en el origen de coordenadas. En efecto, apli-
cando las propiedades de las funciones derivables, las reglas de derivacin vis-
tas para funciones de una variable, y simplicando, se llega fcilmente a que
(r, j) R
2
\{(0, 0)} es
0)
0r
(r, j) =
j
r
4
j
4
+ 4r
2
j
2
(r
2
+j
2
)
2
0)
0j
(r, j) =
r
r
4
j
4
4r
2
j
2
(r
2
+j
2
)
2
.
En cuanto al origen, aplicando la denicin de derivada parcial, se obtiene
0)
0r
(0, 0) = lim
|0
)(/, 0) )(0, 0)
/
= lim
|0
0 0
/
= 0
0)
0j
(0, 0) = lim
|0
)(0, /) )(0, 0)
/
= lim
|0
0 0
/
= 0,
por lo que tambin existen derivadas parciales en dicho punto, y son ambas
nulas.
Por tanto, las funciones derivadas parciales de ) quedan denidas del modo
siguiente
0)
0r
(r, j) =
(
(r
4
4
+4r
2
2
)
(r
2
+
2
)
2
para (r, j) 6= (0, 0)
0 para (r, j) = (0, 0)
0)
0j
(r, j) =
(
r(r
4
4
4r
2
2
)
(r
2
+
2
)
2
para (r, j) 6= (0, 0)
0 para (r, j) = (0, 0)
,
observndose que ambas funciones
J}
Jr
y
J}
J
son continuas en (0, 0). En efecto,
pasando a coordenadas polares, por ejemplo en el primer caso, se llega a que
lim
0
)
r
(j cos 0, j sen0) = lim
0
j sen0
cos
4
0 sen
4
0 + 4 cos
2
0 sen
2
0
= 0,
0
)
r
(j cos 0, j sen0) = 0,
(r,)(0,0)
)
r
(r, j) = 0 = )
r
(0, 0), resultando
que )
r
es continua en el punto (0, 0) (id. para )
).
35
6.2.2.3. Ejemplo.
La funcin ) : R
2
R denida mediante
)(r, j) =
( p
r
2
+j
2
sen
1
r
2
+
2
para (r, j) 6= (0, 0)
0 para (r, j) = (0, 0)
,
es continua en todos los puntos. En efecto, en particular en el origen (0, 0),
pasando a coordenadas polares, se llega a que
lim
0
0
j sen
1
j
= 0,
0
)(j cos 0, j sen0) = 0,
(r,)(0,0)
)(r, j) = 0 = )(0, 0), resultando
que ) es continua en el punto (0, 0). Sin embargo, esta funcin ) no admite
derivada en el origen segn ningn vector = (
1
,
2
) R
2
\(0, 0). Esto se
deduce de
1
u
)(0, 0) = lim
|0
)(t
1
, t
2
) )(0, 0)
t
= lim
|0
|t|
p
2
1
+
2
2
sen
1
|
u
2
1
+u
2
2
t
=
=
q
2
1
+
2
2
lim
|0
|t|
t
sen
1
t
p
2
1
+
2
2
,
ya que este lmite no existe. En particular, ) no admite derivadas parciales en
el origen.
6.2.2.4. Ejemplo.
La funcin ) : R
2
R denida mediante
)(r, j) =
(
r
2
+j
2
sen
1
r
2
+
2
para (r, j) 6= (0, 0)
0 para (r, j) = (0, 0)
,
es continua en todos los puntos, incluido el origen. En efecto, en este punto
(0, 0), pasando a coordenadas polares, se llega a que
lim
0
0
j
2
sen
1
j
= 0,
0
)(j cos 0, j sen0) = 0,
(r,)(0,0)
)(r, j) = 0 = )(0, 0), resultando
que ) es continua en el punto (0, 0).
Esta funcin ) admite derivadas parciales en todos los puntos. En efecto,
aplicando las propiedades de las funciones derivables, las reglas de derivacin
36
vistas para funciones de una variable, y simplicando, se llega fcilmente a que
(r, j) R
2
\{(0, 0)} es
0)
0r
(r, j) = 2rsen
1
p
r
2
+j
2

r
p
r
2
+j
2
cos
1
p
r
2
+j
2
0)
0j
(r, j) = 2j sen
1
p
r
2
+j
2

j
p
r
2
+j
2
cos
1
p
r
2
+j
2
.
0)
0r
(0, 0) = lim
|0
)(/, 0) )(0, 0)
/
= lim
|0
/sen
1
|/|
= 0
0)
0j
(0, 0) = lim
|0
)(0, /) )(0, 0)
/
= lim
|0
/sen
1
|/|
= 0,
nulas.
siguiente
0)
0r
(r, j) =
(
2rsen
1
r
2
+
2

r
r
2
+
2
cos
1
r
2
+
2
para (r, j) 6= (0, 0)
0 para (r, j) = (0, 0)
0)
0j
(r, j) =
(
2j sen
1
r
2
+
2

r
2
+
2
cos
1
r
2
+
2
para (r, j) 6= (0, 0)
0 para (r, j) = (0, 0)
,
y se observa que ninguna de estas dos funciones
J}
Jr
y
J}
J
es continua en
(0, 0). En efecto, pasando a coordenadas polares, por ejemplo en el primer caso,
se llega a que
lim
0
)
r
0
2j cos 0 sen
1
j
cos 0 cos
1
j
,
y este lmite no existe. Por tanto, resulta que )
r
no es continua en el punto
(0, 0) (id. para )
).
6.2.3. Derivadas parciales de orden superior.
6.2.3.1. Denicin.
Sea R
n
un conjunto abierto, y ) : R
n
R un campo escalar de :
variables. Si existe
J}(r)
Jr
1
para todos los puntos r , y la funcin
J}(r)
Jr
1
admite
derivada parcial respecto a la variable r
en , entonces dicha derivada parcial

se denomina derivada parcial segunda de la funcin ) respecto a las variables
r
I
, r
, y se representa de las siguientes maneras:

0
0r
0)
0r
I
=
0
2
)
0r
0r
I
= )
r
1
r
= )
I
.
37
Anlogamente,
0
0r
|
0
2
)
0r
0r
I
=
0
3
)
0r
|
0r
0r
I
= )
r
1
r
r
!
,
y, en general, la funcin obtenida derivando parcialmente de manera sucesiva la
funcin ) respecto a las variables r
I1
, r
I2
, ..., r
Ir
, se denomina derivada parcial
de orden r de la funcin ) respecto a las variables r
I1
, r
I2
, ..., r
Ir
, y se representa
por
0
:
)
0r
I
r
0r
I
r1
...0r
I
2
0r
I
1
= )
r1
1
r1
2
...r1
r1
r1
r
.
Se dice que dicha funcin ) es de clase 1 en , y se escribe ) C
1
(),
si para cada / = 1, 2, ..., :, la funcin
J}
Jr
!
es continua en . En general, se
dice que ) es de clase en , con N, y se escribe ) C
j
(), si ) admite
derivadas parciales en hasta el orden inclusive, y dichas derivadas parciales
son continuas en . Una funcin ) que admite derivadas parciales de cualquier
orden en , siendo dichas derivadas parciales continuas en , se dice que es de
clase innito, y se escribe ) C
(). Por convenio, una funcin continua en

se dice que es de clase 0 en , y se escribe ) C
0
().
De las propiedades que veremos en el apartado 6.3., se deduce que si )
C
j
(), con 1 y N, entonces ) C
:
() para cualquier r N tal que
r .
6.2.3.2. Ejemplos.
6.2.3.2.1. Ejemplo.
Sea c R, con c 0, y consideremos una funcin n : R
2
R de las variables
r y t. Se dice que n satisface la ecuacin de ondas si
0
2
n
0t
2
= c
2
0
2
n
0r
2
.
Esta ecuacin, que pertenece a un grupo de ecuaciones denominadas ecuaciones
en derivadas parciales, describe el movimiento de una onda en un determinado
medio (p.e., las olas en el mar o en los lagos, las ondas sonoras producidas
por las cuerdas vibrantes de un violn, etc.), representando n la altura de la
onda, r la distancia recorrida en el sentido del movimiento, y c la velocidad de
propagacin. En estas condiciones, veamos que la funcin
n(r, t) = log(r +ct) + sen(r ct),
con r 0, t 0 y c 0, verica la ecuacin de ondas. En efecto, de
n
r
=
1
r +ct
+ cos(r ct)
n
|
=
c
r +ct
c cos(r ct)
38
se sigue que
n
rr
=
1
(r +ct)
2
sen(r ct)
n
||
=
c
2
(r +ct)
2
c
2
sen(r ct),
y se comprueba fcilmente que
0
2
n
0t
2
= c
2
0
2
n
0r
2
.
6.2.3.2.2. Ejemplo.
Para la funcin ) : R
2
R denida mediante
)(r, j) = r
2
j +c
r
2
+ cos(2r + 3j),
las derivadas parciales primeras son
)
r
= 2rj +j
2
c
r
2
2 sen(2r + 3j)
)
= r
2
+ 2rjc
r
2
3 sen(2r + 3j),
y las derivadas parciales segundas son
)
rr
= 2j +j
4
c
r
2
4 cos(2r + 3j)
)
= 2rc
r
2
4r
2
j
2
c
r
2
9 cos(2r + 3j)
)
r
= 2r + 2jc
r
2
+ 2rj
3
c
r
2
6 cos(2r + 3j)
)
r
= 2r + 2jc
r
2
+ 2rj
3
c
r
2
6 cos(2r + 3j).
En este caso, observamos que se cumple la igualdad de las derivadas parciales
mixtas (o cruzadas) de segundo orden, es decir, que )
r
= )
r
, (r, j) R
2
.
Esto no es una coincidencia, ya que, en la prctica, como veremos en el apartado
siguiente, un muy amplio repertorio de funciones verica dicha condicin.
6.2.3.2.3. Ejemplo.
En el ejemplo 5.3.4.4. vimos que la funcin ) : R
2
R denida mediante
)(r, j) =
(
rj
r
2
2
r
2
+
2
para (r, j) 6= (0, 0)
0 para (r, j) = (0, 0)
,
es continua en todos los puntos, incluido el origen de coordenadas (0, 0). En el
ejemplo 6.2.2.2. vimos que las funciones derivadas parciales de ) son
0)
0r
(r, j) =
(
(r
4
4
+4r
2
2
)
(r
2
+
2
)
2
para (r, j) 6= (0, 0)
0 para (r, j) = (0, 0)
0)
0j
(r, j) =
(
r(r
4
4
4r
2
2
)
(r
2
+
2
)
2
para (r, j) 6= (0, 0)
0 para (r, j) = (0, 0)
,
39
y que ambas funciones
J}
Jr
y
J}
J
son continuas en todos los puntos, incluido (0, 0).
Veamos que, para esta funcin ), no se cumple la igualdad de las derivadas
parciales cruzadas de segundo orden en el origen. En efecto, as es, dado que
)
r
(0, 0) = lim
|0
)
r
(0, /) )
r
(0, 0)
/
= lim
|0
/
/
= 1
)
r
(0, 0) = lim
|0
)
(/, 0) )
(0, 0)
/
= lim
|0
/
/
= 1,
Como veremos en el apartado siguiente, una condicin suciente para la
igualdad de las derivadas parciales cruzadas en el abierto R
2
es que sea
) C
1
(), que exista )
r
en y que )
r
sea continua en . En tal caso,
tambin existe )
r
en , y se verica que )
r
(r, j) = )
r
(r, j), (r, j) .
Veamos que esta condicin no se cumple en este ejemplo para cualquier abierto
que contenga al origen. En efecto, aplicando las propiedades de las funciones
derivables, las reglas de derivacin vistas para funciones de una variable, y
simplicando, se llega fcilmente a que (r, j) R
2
\{(0, 0)} es
0
2
)
0r0j
(r, j) =
r
6
+ 9r
4
j
2
9r
2
j
4
j
6
(r
2
+j
2
)
3
0
2
)
0j0r
(r, j) =
r
6
+ 9r
4
j
2
9r
2
j
4
j
6
(r
2
+j
2
)
3
.
Por tanto, teniendo en cuenta los valores )
r
(0, 0) y )
r
(0, 0) antes calcula-
dos, las funciones derivadas parciales cruzadas de ) quedan denidas del modo
siguiente
0
2
)
0j0r
(r, j) =
(
r
6
+9r
4
2
9r
2
6
(r
2
+
2
)
3
para (r, j) 6= (0, 0)
1 para (r, j) = (0, 0)
0
2
)
0r0j
(r, j) =
(
r
6
+9r
4
2
9r
2
6
(r
2
+
2
)
3
para (r, j) 6= (0, 0)
1 para (r, j) = (0, 0)
,
y se observa que ninguna de estas dos funciones
J
2
}
JJr
y
J
2
}
JrJ
es continua en
(0, 0). En efecto, aproximaciones al origen por rectas del tipo j = :r muestran
que los lmites lim
r0
)
r
(r, :r) y lim
r0
)
r
(r, :r) dependen de la direccin, por
lo que los lmites lim
(r,)(0,0)
)
r
(r, j) y lim
(r,)(0,0)
)
r
(r, j) no existen. Por tanto,
resulta que )
r
y )
r
no son funciones continuas en el punto (0, 0), y no se puede
garantizar la igualdad (ni la desigualdad) de las derivadas parciales cruzadas de
segundo orden en el origen (de hecho, en este caso, )
r
(0, 0) = 1 6= 1 =
)
r
(0, 0)).
40
6.2.3.3. Igualdad de las derivadas parciales cruzadas (Clairaut aos
1713 a 1765).
Sea R
2
2
R un campo escalar de 2
variables. Si ) C
1
(), y existe )
r
en , siendo )
r
continua en , entonces
tambin existe )
r
en , y se verica que )
r
(r, j) = )
r
(r, j), (r, j) .
Esta condicin de igualdad de las derivadas parciales cruzadas (tambin
conocida como Teorema de Schwartz) puede ser directamente generalizada a
campos escalares ) : R
n
R, denidos en conjuntos abiertos de R
n
.
Como consecuencia de esta generalizacin, se verica la siguiente propiedad:
Sea ) : R
n
R, con conjunto abierto de R
n
, tal que ) C
j
(), y
sea (,
1
, ,
2
, ..., ,
) una permutacin de (i
1
, i
2
, ..., i
), en donde j . Entonces,
se verica que
)
r
1
1
r
1
2
...r
1
(r) = )
r
1
r
2
...r
(r), r .
Por ejemplo, si es ) una funcin que verica dicha condicin para = 4, entonces
se cumple r que
)
rr
(r) = )
rr
(r) = )
rr
(r) = )
rr
(r) = )
rr
(r) = )
rr
(r),
y al valor comn de dichas derivadas parciales se le puede designar por
0
4
)(r)
0r
2
0j
2
6.3. Diferenciabilidad.
6.3.1. Introduccin.
Los ejemplos 6.2.2.1. y 6.2.2.3., en los que se muestra que una funcin de
varias variables puede tener derivadas parciales en un punto y no ser continua
en dicho punto, sugieren la necesidad de plantear condiciones ms restrictivas
a las introducidas en el apartado 6.2.1. para garantizar la diferenciabilidad de
una funcin de dos o ms variables. Para ello, recordamos que, en el caso de
una funcin de una variable, ) : R R, con abierto, la derivada en el
punto a se dene mediante
)
0
(a) = lim
ro
)(r) )(a)
r a
,
siempre que dicho lmite exista. De esta denicin se sigue que una funcin
) : R R, con abierto, es diferenciable en a si y solamente si
lim
ro
)(r) )(a) )
0
(a)(r a)
r a
= 0.
Al intentar generalizar esta segunda denicin a funciones de varias variables,
surje la dicultad de que tanto )(r) )(a) como r a son vectores, por lo que
41
el cociente
}(r)}(o)}
0
(o)(ro)
ro
en general no estara bien denido en funciones
de varias variables. El hecho de que, en dicho cociente, la expresin )
0
(a)(ra)
sea una aplicacin | : R R, lineal en r a, del tipo |(r a) = c(r a), con
c = )
0
(a) R, sugiere generalizar la denicin de diferenciabilidad a funciones
de varias variables del modo siguiente.
6.3.2. Denicin de diferenciabilidad.
Sea R
n
n
R
n
un campo vectorial,
con ) = ()
1
, )
2
, ..., )
n
) ()
I
: R
n
R para i = 1, 2, ..., : son campos
escalares que representan las componentes del campo vectorial )). Se dice que
) es diferenciable en a si existe una aplicacin lineal | : R
n
R
n
tal que
lim
ro
k)(r) )(a) |(r a)k
kr ak
= 0.
Si ) es diferenciable en a, es fcil probar que esta aplicacin lineal | es nica,
y que la matriz correspondiente a dicha aplicacin lineal es la llamada matriz
jacobiana de ) en a, que se designa por 1)(a) (o, alternativamente, por )
0
(a),
J)(a), o

J(}1,}2,...,}r)
J(r1,r2,...,rr)
r=o
) y se expresa mediante
1)(a) =
J}
1
(o)
Jr
1
J}
1
(o)
Jr
2
. . .
J}
1
(o)
Jr
r
J}
2
(o)
Jr1
J}
2
(o)
Jr2
. . .
J}
2
(o)
Jrr
.
.
.
.
.
.
.
.
.
.
.
.
J}
r
(o)
Jr
1
J}
r
(o)
Jr
2
. . .
J}
r
(o)
Jr
r
.
Si ) es diferenciable r , se dice que ) es diferenciable en .
Por tanto, si ) : R
n
R
n
es un campo vectorial diferenciable en a, la
diferencial de ) en a se representa por d)(a) y se expresa mediante
d)(a) = 1)(a)
dr
1
dr
2
.
.
.
dr
n
,
o, ms sucintamente, mediante
d)(a) = 1)(a)dr,
donde
dr =
dr
1
dr
2
.
.
.
dr
n
42
representa la diferencial de la aplicacin identidad en R
n
, es decir, la diferencial
de la aplicacin 1 : R
n
R
n
que a cada vector r = (r
1
, r
2
, ...r
n
) R
n
le asocia
el mismo vector.
En particular, si ) : R
n
R, con abierto, es un campo escalar
diferenciable en a , su diferencial en a se expresa mediante
d)(a) =
0)(a)
0r
1
dr
1
+
0)(a)
0r
2
dr
2
+... +
0)(a)
0r
n
dr
n
,
y muestra la variacin que sufre la funcin ) cuando se producen "pequeas"
variaciones en las variables r
1
, ..., r
n
, en las proximidades del punto a.
Reescribiendo la denicin de diferenciabilidad en trminos de la matriz
1)(a), un campo vectorial ) : R
n
R
n
, con abierto, es diferenciable
en a si y solamente si existe 1)(a) y se verica que
lim
ro
k)(r) )(a) 1)(a)(r a)k
kr ak
= 0.
En el caso particular de un campo escalar ) : R
2
R, con abierto,
resulta que ) es diferenciable en (a, /) si y solamente si existen )
r
(a, /) y
)
(a, /) y se verica que

lim
(r,)(o,b)
)(r, j) )(a, /) )
r
(a, /)(r a) )
(a, /)(j /)
q
(r a)
2
+ (j /)
2
= 0.
Esta ltima ecuacin signica geomtricamente que existe una bola 1 del punto
(a, /) tal que la expresin )(a, /) +)
r
(a, /)(ra) +)
(a, /)(j /) es una buena

aproximacin al valor de la funcin ) en todo punto (r, j) 1. En efecto, si
) : R
2
R, con abierto, es un campo escalar diferenciable en (a, /) ,
se prueba fcilmente que la expresin
)(a, /) +)
r
(a, /)(r a) +)
(a, /)(j /)
es la mejor aproximacin lineal a la funcin ) en las proximidades del punto
(a, /). Se dice que dicha expresin es la linealizacin de ) en (a, /), se escribe
)(r, j) )(a, /) +)
r
(a, /)(r a) +)
(a, /)(j /),

(r, j) 1, y dicha aproximacin se denomina aproximacin lineal (o aproxi-
macin del plano tangente) a la funcin ) en (a, /).
En este contexto, si ) : R
2
R, con abierto, es un campo escalar
diferenciable en (a, /) , entonces el plano
. = )(a, /) +)
r
(a, /)(r a) +)
(a, /)(j /)
se denomina plano tangente a la grca de ) (o supercie . = )(r, j)) en el
punto (a, /, )(a, /)).
43
En general, si ) : R
n
R, con abierto, es un campo escalar diferen-
ciable en a = (a
1
, a
2
, ..., a
n
) , entonces
. = )(a) +)
r1
(a)(r
1
a
1
) +)
r2
(a)(r
2
a
2
) +... +)
rr
(a)(r
n
a
n
)
se denomina hiperplano tangente a la grca de ) en el punto (a, )(a)).
6.3.2.1. Ejemplos.
6.3.2.1.1. Ejemplo.
La funcin ) : R
2
R denida mediante
)(r, j) =
rj sen
1
r
2
+
2
para (r, j) 6= (0, 0)
0 para (r, j) = (0, 0)
,
es continua en todos los puntos, en particular en el origen (0, 0). En efecto,
pasando a coordenadas polares, se llega a que
lim
0
0
j
2
cos 0 sen0 sen
1
j
2
= 0,
0
)(j cos 0, j sen0) = 0,
(r,)(0,0)
)(r, j) = 0 = )(0, 0), resultando
que ) es continua en el punto (0, 0).
Veamos que esta funcin admite derivadas parciales en todos los puntos, en
particular en el origen (0, 0). En efecto, aplicando las propiedades de las fun-
ciones derivables, las reglas de derivacin vistas para funciones de una variable,
y simplicando, se llega fcilmente a que (r, j) R
2
\{(0, 0)} es
0)
0r
(r, j) =
j
r
2
+j
2
2
sen
1
r
2
+
2
2r
2
cos
1
r
2
+
2
(r
2
+j
2
)
2
0)
0j
(r, j) =
r
r
2
+j
2
2
sen
1
r
2
+
2
2j
2
cos
1
r
2
+
2
(r
2
+j
2
)
2
.
0)
0r
(0, 0) = lim
|0
)(/, 0) )(0, 0)
/
= lim
|0
0 0
/
= 0
0)
0j
(0, 0) = lim
|0
)(0, /) )(0, 0)
/
= lim
|0
0 0
/
= 0,
nulas.
44
Estudiemos si ) es diferenciable en (0, 0). Para ello, calculamos
lim
(r,)(0,0)
)(r, j) )(0, 0) )
r
(0, 0)(r 0) )
(0, 0)(j 0)
q
(r 0)
2
+ (j 0)
2
=
= lim
(r,)(0,0)
rj sen
1
r
2
+
2
0 0(r 0) 0(j 0)
p
r
2
+j
2
= lim
(r,)(0,0)
rj sen
1
r
2
+
2
p
r
2
+j
2
.
Pasando a coordenadas polares para calcular este ltimo lmite, se llega a
lim
0
j cos 0 sen0 sen
1
j
2
= 0,
cualquiera que sea 0 (0, 2]. Por tanto, dado que
lim
(r,)(0,0)
)(r, j) )(0, 0) )
r
(0, 0)(r 0) )
(0, 0)(j 0)
q
(r 0)
2
+ (j 0)
2
= 0,
resulta que ) es diferenciable en el punto (0, 0). Por otra parte, de las propiedades
de las funciones diferenciables que estudiaremos a continuacin, resulta que )
tambin es diferenciable fuera del origen.
Dado que ) es un campo escalar diferenciable (a, /) R
2
, su diferencial en
cualquier punto (a, /) R
2
se expresa mediante
d)(a, /) =
0)(a, /)
0r
dr +
0)(a, /)
0j
dj,
en particular, en el origen de coordenadas d)(0, 0) = 0 (aplicacin lineal idnti-
camente nula).
6.3.2.1.2. Ejemplo.
La funcin ) : R
2
R denida mediante
)(r, j) =
(
r
r
2
2
r
2
+
2
para (r, j) 6= (0, 0)
0 para (r, j) = (0, 0)
,
es continua en todos los puntos, incluido el origen de coordenadas (0, 0). En
efecto, aplicando las propiedades de las funciones continuas, ) es continua fuera
del origen. Y, en particular, en el origen (0, 0), pasando a coordenadas polares,
se llega a que
lim
0
0
j cos 0 cos 20 = 0,
0
)(j cos 0, j sen0) = 0,
(r,)(0,0)
)(r, j) = 0 = )(0, 0), resultando
que ) tambin es continua en el punto (0, 0).
45
En cuanto a las derivadas parciales de ), aplicando las propiedades de las
funciones derivables, las reglas de derivacin vistas para funciones de una vari-
able, y simplicando, se llega fcilmente a que (r, j) R
2
\{(0, 0)} es
0)
0r
(r, j) =
r
4
j
4
+ 4r
2
j
2
(r
2
+j
2
)
2
0)
0j
(r, j) =
4r
3
j
(r
2
+j
2
)
2
.
0)
0r
(0, 0) = lim
|0
)(/, 0) )(0, 0)
/
= lim
|0
/
/
= 1
0)
0j
(0, 0) = lim
|0
)(0, /) )(0, 0)
/
= lim
|0
0 0
/
= 0,
por lo que tambin existen derivadas parciales en dicho punto, y son )
r
(0, 0) = 1
y )
(0, 0) = 0.
siguiente
0)
0r
(r, j) =
(
r
4
4
+4r
2
2
(r
2
+
2
)
2
para (r, j) 6= (0, 0)
1 para (r, j) = (0, 0)
0)
0j
(r, j) =
(
4r
3
(r
2
+
2
)
2
para (r, j) 6= (0, 0)
0 para (r, j) = (0, 0)
.
Estudiemos si ) es diferenciable en (0, 0). Para ello, calculamos
lim
(r,)(0,0)
)(r, j) )(0, 0) )
r
(0, 0)(r 0) )
(0, 0)(j 0)
q
(r 0)
2
+ (j 0)
2
=
= lim
(r,)(0,0)
r
r
2
2
r
2
+
2
0 1(r 0) 0(j 0)
p
r
2
+j
2
= lim
(r,)(0,0)
2rj
2
(r
2
+j
2
)
3
2
.
lim
0
2 cos 0 sen
2
0
,
de donde se deduce que el lmite doble no existe, dado que ste ltimo lmite
depende de 0. Por tanto, dado que el lmite
lim
(r,)(0,0)
)(r, j) )(0, 0) )
r
(0, 0)(r 0) )
(0, 0)(j 0)
q
(r 0)
2
+ (j 0)
2
no existe, resulta que ) no es diferenciable en el punto (0, 0). Por otra parte,
aplicando las propiedades de las funciones diferenciables que estudiaremos a
continuacin, resulta que ) es diferenciable fuera del origen.
46
6.3.3. Algunas propiedades de las funciones diferenciables.
6.3.3.1. Sea R
n
n
R
n
un campo
vectorial, con ) = ()
1
, )
2
, ..., )
n
), donde )
I
: R
n
R para i = 1, 2, ..., :
son campos escalares que representan las componentes del campo vectorial ).
Entonces, ) es diferenciable en a si y solamente si sus campos escalares
componentes )
1
, )
2
, ..., )
n
son diferenciables en a . En tal caso, la matriz
jacobiana 1)(a) es la matriz cuyos vectores la son los vectores 1)
I
(a) =
J}1(o)
Jr1
,
J}1(o)
Jr2
, ...,
J}1(o)
Jrr
para i = 1, 2, ..., :.
6.3.3.2. Sea R
n
n
R
n
un campo
vectorial. Si ) es diferenciable en a , entonces ) es continuo en a .
En efecto, si ) es diferenciable en a, entonces de
lim
ro
k)(r) )(a) 1)(a)(r a)k
kr ak
= 0
se sigue que
)(r) = )(a) +1)(a)(r a) + kr ak 1(r),
donde
1(r) =
)(r) )(a) 1)(a)(r a)
kr ak
verica que
lim
ro
1(r) = 0.
Sea c 0 tal que k1(r)k < 1 para todo r tal que kr ak < c. Entonces
de
k)(r) )(a)k < (k1)(a) + 1k) kr ak ,
siempre que sea kr ak < c, se deduce que ) es continua en a.
El ejemplo 6.3.1.2., correspondiente a una funcin ) : R
2
R que es con-
tinua en (0, 0) pero no es diferenciable en (0, 0), muestra que la proposicin
recproca es falsa.
6.3.3.3. Sea R
n
n
R
n
un campo
1
, )
2
, ..., )
n
), donde )
I
: R
n
R para i = 1, 2, ..., : son
campos escalares que representan las componentes del campo vectorial ). Si )
es diferenciable en a = (a
1
, a
2
, ..., a
n
) , entonces existen todas las derivadas
parciales
J}
1
Jr
(a) para i = 1, 2, ..., : y , = 1, 2, ..., :.

En efecto, si ) es diferenciable en a, entonces existe una nica matriz '
'
nn
(R), de elementos ' = (:
I
), tal que
lim
ro
k)(r) )(a) '(r a)k
kr ak
= 0,
47
de donde se sigue, procesando la anterior expresin por componentes, que
lim
ro
)
I
(r) )
I
(a)
n
P
=1
:
I
(r
)
kr ak
= 0,
para cada i = 1, 2, ..., :. Poniendo en esta expresin r = a + /c
, para cada
, = 1, 2, ..., :, donde c
representa el ,simo vector de la base cannica de R

n
,
resulta que
lim
|0
)
I
(a +/c
) )
I
(a) :
I
/
/
= 0,
de donde se sigue que :
I
=
J}
1
Jr
(a).
En particular, sean R
n
n
R
un campo escalar. Si ) es diferenciable en a , entonces existen todas las
derivadas parciales
J}
Jr
1
(a) para cada i = 1, 2, ..., :. Ms an, si ) es diferenciable
en a , entonces existen todas las derivadas direccionales en a, y se verica
que
1
u
)(a) = lim
|0
)(a +t) )(a)
t
=
n
X
I=1
0)(a)
0r
I

I
para cualquier vector unitario = (
1
,
2
, ...,
n
) R
n
.
En efecto, en el apartado 6.1. vimos que
1
u
)(a) = lim
|0
)(a +t) )(a)
t
.
Ahora bien, si ) es diferenciable en a = (a
1
, a
2
, ..., a
n
), sabemos que
lim
ro
)(r) )(a)
n
P
I=1
J}(o)
Jr
1
(r
I
a
I
)
kr ak
= 0.
Poniendo en esta expresin r = a + t, y teniendo en cuenta que kk = 1, se
llega a
lim
|0
)(a +t) )(a) t
n
P
I=1
J}(o)
Jr1

I
t
= 0,
de donde se sigue que
lim
|0
)(a +t) )(a)
t
=
n
X
I=1
0)(a)
0r
I

I
,
como queramos demostrar.
48
Conviene advertir que la proposicin recproca es falsa. En efecto, el ejemplo
6.2.2.1. muestra una funcin que tiene derivadas parciales en el punto (0, 0) y
que no es continua en (0, 0), por lo que tampoco es diferenciable en (0, 0).
Por otra parte, vimos en el ejemplo 6.1.1. que la funcin ) : R
2
R denida
mediante
)(r, j) =
(
r
3
+
3
r
2
+
2
para (r, j) 6= (0, 0)
0 para (r, j) = (0, 0)
admite derivada direccional segn cualquier vector unitario = (
1
,
2
) en el
punto (0, 0), ya que
1
u
)(0, 0) = lim
|0
)(t
1
, t
2
) )(0, 0)
t
= lim
|0
t
3
3
1
+t
3
3
2
0
t(t
2
2
1
+t
2
2
2
)
=

3
1
+
3
2
2
1
+
2
2
.
En particular, ) admite derivadas parciales en (0, 0), siendo
J}(0,0)
Jr
=
J}(0,0)
J
=
1. Veamos, sin embargo, que ) no es diferenciable en (0, 0). En efecto, dado
que el lmite
lim
(r,)(0,0)
)(r, j) )(0, 0) )
r
(0, 0)(r 0) )
(0, 0)(j 0)
q
(r 0)
2
+ (j 0)
2
=
= lim
(r,)(0,0)
r
3
+
3
r
2
+
2
0 1(r 0) 1(j 0)
p
r
2
+j
2
= lim
(r,)(0,0)
rj(r +j)
(r
2
+j
2
)
3
2
no existe, como fcilmente se comprueba pasando a polares, resulta que ) no es
diferenciable en (0, 0).
Utilizando el producto escalar, la anterior expresin para la derivada direc-
cional de una funcin diferenciable se puede reescribir mediante
1
u
)(a) =
n
X
I=1
0)(a)
0r
I

I
= )(a) ,
donde el vector cuyas componentes son las derivadas parciales de ) en el punto
a, siempre que todas estas existan,
)(a) =
0)(a)
0r
1
,
0)(a)
0r
2
, ...,
0)(a)
0r
n
se denomina vector gradiente de ) en el punto a, y se representa por )(a). De

las propiedades del producto escalar, se deduce que la derivada direccional de )
segn un vector unitario en un punto a es mxima cuando tiene la misma
direccin y sentido que el vector gradiente ()(a)), siendo dicho valor mximo
k)(a)k, y es mnima cuando tiene la misma direccin y sentido opuesto
que el vector gradiente ()(a)), siendo dicho valor mnimo k)(a)k. Por
tanto, el vector gradiente ()(a)) apunta en la direccin de mxima razn de
49
incremento de la funcin, y el opuesto del vector gradiente ()(a)) apunta en
la direccin de mxima razn de decremento de la funcin ).
Por otra parte, del signicado geomtrico de la derivada en funciones de una
variable y de la denicin de plano tangente vista en 6.3.2., se siguen las dos
siguientes propiedades:
Si es ) : R
2
R, con abierto, una funcin diferenciable en
(a, /) , y consideramos la curva de nivel de ) que pasa por (a, /), es
decir, el conjunto C de puntos
C = {(r, j) : )(r, j) = /} ,
con )(a, /) = /, entonces el vector )(a, /) es perpendicular a dicha curva
C en (a, /).
Si es ) : R
3
R, con abierto, una funcin diferenciable en
(a, /, c) , y consideramos la supercie de nivel de ) que pasa por
(a, /, c), es decir, el conjunto o de puntos
o =
(r, j, .) R
3
: )(r, j, .) = /
,
con )(a, /, c) = /, entonces el vector )(a, /, c) es perpendicular al plano
tangente a dicha supercie o en (a, /, c). En tales condiciones, la ecuacin
del plano tangente a o en el punto (a, /, c) se expresa mediante
)
r
(a, /, c)(r a) +)
(a, /, c)(j /) +)
:
(a, /, c)(. c) = 0.
6.3.3.4. Sea R
n
un conjunto abierto, y ), q : R
n
R
n
cam-
pos vectoriales diferenciables en a . Entonces, se verican las siguientes
propiedades:
) +q es diferenciable en y se verica que
1() +q) (a) = 1)(a) +1q(a).
`, j R, `) +jq es diferenciable en a, y se verica que
1(`) +jq) (a) = `1)(a) +j1q(a).
Si : = 1, )q es diferenciable en a, y se verica que
1()q) (a) = q(a)1)(a) +)(a)1q(a).
Si : = 1 y q(a) 6= 0,
}
es diferenciable en a, y se verica que

1
)
q
(a) =
q(a)1)(a) )(a)1q(a)
(q(a))
2
.
50
6.3.3.5. Sea R
n
n
R
n
un campo
1
, )
2
, ..., )
n
), donde )
I
: R
n
R para i = 1, 2, ..., :
son campos escalares que representan las componentes del campo vectorial ).
Si existen todas las derivadas parciales
J}1
Jr
, para i = 1, 2, ..., : y , = 1, 2, ..., :,

en una bola de centro a, y son todas ellas continuas en el punto a, entonces )
es diferenciable en a.
El siguiente ejemplo muestra que esta es tan solo una condicin suciente,
no siendo necesaria para garantizar la diferenciabilidad de una funcin de varias
variables. Para la funcin ) : R
2
R denida mediante
)(r, j) =
(
rj sen
1
r
2
+
2
para (r, j) 6= (0, 0)
0 para (r, j) = (0, 0)
,
existen derivadas parciales de primer orden en todos los puntos, en particular
en el origen. En efecto, aplicando las propiedades de las funciones derivables,
las reglas de derivacin vistas para funciones de una variable, y simplicando,
se llega fcilmente a que (r, j) R
2
\{(0, 0)} es
0)
0r
(r, j) =
j
r
2
+j
2
3
2
sen
1
r
2
+
2
r
2
cos
1
r
2
+
2
(r
2
+j
2
)
3
2
0)
0j
(r, j) =
r
r
2
+j
2
3
2
sen
1
r
2
+
2
j
2
cos
1
r
2
+
2
(r
2
+j
2
)
3
2
.
0)
0r
(0, 0) = lim
|0
)(/, 0) )(0, 0)
/
= lim
|0
0 0
/
= 0
0)
0j
(0, 0) = lim
|0
)(0, /) )(0, 0)
/
= lim
|0
0 0
/
= 0,
por lo que tambin existen derivadas parciales en dicho punto, y son )
r
(0, 0) = 0
y )
(0, 0) = 0.
Veamos que estas derivadas parciales no son continuas en (0, 0). En este
punto, pasando a coordenadas polares, por ejemplo en la expresin de )
r
(r, j),
se llega a que
lim
0
)
r
0
j sen0
j
3
sen
1
j
2
cos
2
0 cos
1
j
3
=
= lim
0
j sen0 sen
1
j

cos
2
0 cos
1
j
!
,
51
y este lmite no existe, debido a que el lmite lim
0
cos
2
0 cos
1
,
no existe. Por tanto,

)
r
no es continua en el punto (0, 0) (id. para )
(0, 0)).
Veamos, sin embargo, que ) es diferenciable en (0, 0). Para ello, calculamos
lim
(r,)(0,0)
)(r, j) )(0, 0) )
r
(0, 0)(r 0) )
(0, 0)(j 0)
q
(r 0)
2
+ (j 0)
2
=
= lim
(r,)(0,0)
rj sen
1
r
2
+
2
0 0(r 0) 0(j 0)
p
r
2
+j
2
= lim
(r,)(0,0)
rj sen
1
r
2
+
2
p
r
2
+j
2
.
lim
0
j cos 0 sen0 sen
1
j
= 0,
cualquiera que sea 0 (0, 2]. Por tanto, dado que
lim
(r,)(0,0)
)(r, j) )(0, 0) )
r
(0, 0)(r 0) )
(0, 0)(j 0)
q
(r 0)
2
+ (j 0)
2
= 0,
resulta que ) es diferenciable en el punto (0, 0).
6.3.3.5. Regla de la cadena.
Sean l R
n
y \ R
n
conjuntos abiertos, q : l R
n
R
n
y ) :
\ R
n
R
campos vectoriales tales que q(l) \ . Si q es diferenciable

en a l, y ) es diferenciable en / = q(a), entonces la aplicacin compuesta
) q : l R
n
R
, que se dene mediante

() q) (a) = ) (q(a)) ,
es diferenciable en a, y se verica, en cuanto a las matrices de las diferenciales,
que
1() q) (a) = 1)(q(a)) 1q(a),
y, en cuanto a las diferenciales, que
d () q) (a) = d)(q(a)) dq(a),
donde el smbolo () denota producto matricial, y el smbolo () denota com-
posicin de aplicaciones.
52
6.3.3.6. Ejemplos.
6.3.3.6.1. Ejemplo.
Sea \ = {(r, j, .) R
3
\ (0, 0, c) , con c R}. Consideremos los campos
vectoriales ) : \ R
3
R
2
, denido (r, j, .) \ mediante
)(r, j, .) =
r
2
+j
2
,
.
r
2
+j
2
,
y q : R
3
R
3
denido (n, , n) R
3
mediante
q(n, , n) = (nsen cos n, nsen senn, ncos ) .
Por las propiedades de las funciones diferenciables, ) es diferenciable en \ , por
ser diferenciables en \ sus dos componentes (dado que la primera componente
de ) es un polinomio, que es diferenciable en R
3
, y la segunda componente
es un cociente de polinomios cuyo denominador no se anula en \ , por lo que
es diferenciable en \ ). Del mismo modo, q es diferenciable en R
3
, por ser
diferenciables en R
3
sus tres componentes (ya que las tres componentes de q
son productos de funciones diferenciables).
Consideremos, en particular, el punto
2,
t
3
,
t
6
, en el cual q es diferenciable,
y se verica que ) es diferenciable en q
2,
t
3
,
t
6
=

3
2
,

3
2
, 1
. Aplicando la
Regla de la Cadena, resulta que ) q es diferenciable en el punto

2,
t
3
,
t
6
,
siendo
1() q)
2,

3
,

6
= 1)
2,

3
,

6
1q
2,

3
,

6
=
= 1)
3
2
,
3
2
, 1
!
1q
2,

3
,

6
.
Finalmente, teniendo en cuenta que
1)
3
2
,
3
2
, 1
!
=
2r 2j 0
2r:
(r
2
+
2
)
2
2:
(r
2
+
2
)
2
1
r
2
+
2
!
3
2
,
3
2
,1
3

3 0
1
3

3
9
1
3
!
,
y que
1q
3
,

6
, 2
sen cos n ncos cos n nsen senn

sen senn ncos senn nsen cos n
cos nsen 0
(2,
3
,
6
)
=
=
3
4
3
2

3
2
3
4
1
2
3
2
1
2

3 0
,
53
se llega, multiplicando las matrices, a
1() q)
2,

3
,

6
3

3 0
1
3

3
9
1
3
!
3
4
3
2

3
2
3
4
1
2
3
2
1
2

3 0
=
=

3 2
3 0
1
6

5
9
3 0
.
6.3.3.6.2. Ejemplo.
Para la funcin ) : R
2
R denida mediante
)(r, j) =
(
rj
r
2
2
r
2
+
2
para (r, j) 6= (0, 0)
0 para (r, j) = (0, 0)
,
vimos en el ejemplo 6.2.2.2. que existen las funciones derivadas parciales en
todo R
2
, que estn denidas por
0)
0r
(r, j) =
(
(r
4
4
+4r
2
2
)
(r
2
+
2
)
2
para (r, j) 6= (0, 0)
0 para (r, j) = (0, 0)
0)
0j
(r, j) =
(
r(r
4
4
4r
2
2
)
(r
2
+
2
)
2
para (r, j) 6= (0, 0)
0 para (r, j) = (0, 0)
,
y que ambas funciones
J}
Jr
y
J}
J
son continuas en todos los puntos, en particular
en (0, 0). Por tanto, ) es diferenciable en todo R
2
, en particular en (0, 0).
Por otra parte, en el ejemplo 6.3.2.1.1. vimos que la funcin ) : R
2
R
denida mediante
)(r, j) =
rj sen
1
r
2
+
2
para (r, j) 6= (0, 0)
0 para (r, j) = (0, 0)
,
admite derivadas parciales en todos los puntos, en particular en el origen (0, 0),
y que dichas derivadas parciales se denen mediante
0)
0r
(r, j) =
(r
2
+
2
)
2
sen
1
o
2
+
2
2r
2
cos
1
o
2
+
2
(r
2
+
2
)
2
para (r, j) 6= (0, 0)
0 para (r, j) = (0, 0)
0)
0j
(r, j) =
(r
2
+
2
)
2
sen
1
o
2
+
2
2
2
cos
1
o
2
+
2
(r
2
+
2
)
2
para (r, j) 6= (0, 0)
0 para (r, j) = (0, 0)
.
Es fcil probar, por ejemplo pasando a coordenadas polares en las expresiones
de
J}
Jr
(r, j) y
J}
J
(r, j) fuera del origen, que dichas derivadas parciales no son
54
continuas en (0, 0). Sin embargo, en el ejemplo 6.3.2.1.1. vimos que ) es difer-
enciable en (0, 0). Este ejemplo prueba, una vez ms, que la condicin vista en
6.3.3.4. es tan solo una condicin suciente, no siendo necesaria la continuidad
de las derivadas parciales para garantizar la diferenciabilidad de una funcin de
varias variables.
6.3.3.6.3. Ejemplo.
La Figura 22 muestra la grca de la funcin ) : R
2
R denida mediante
)(r, j) =
r
2
+j
2
c
(r
2
+
2
)
,
en el cubo [2, 2] [2, 2] [2, 2].
Aplicando las propiedades de las funciones diferenciales, vemos que la funcin
) es diferenciable (r, j) R
2
. Sus derivadas parciales de primer orden son
0)
0r
(r, j) = 2rc
(r
2
+
2
)
1 r
2
j
2
0)
0j
(r, j) = 2jc
(r
2
+
2
)
1 r
2
j
2
.
Figura 22
Se observa que la supercie . = )(r, j) se obtiene haciendo girar la curva
. = r
2
c
r
2
j = 0
,
55
cuya grca se muestra en la Figura 23, alrededor del eje O7.
Figura 23
Por tanto, en todos los puntos (a, /) R
2
tales que a
2
+ /
2
= 1, se verica
que
J}
Jr
(a, /) =
J}
J
(a, /) = 0, y la ecuacin del plano tangente a la grca de )
en cada uno de dichos puntos es
. =
a
2
+/
2
c
(o
2
+b
2
)
+ 0(r a) + 0(j /),
es decir,
. =
a
2
+/
2
c
(o
2
+b
2
)
= c
1
,
por lo que el plano tangente en cualquiera de dichos puntos es . = c
1
, es decir,
horizontal. La Figura 24 muestra la grca de ) y el plano tangente a dicha
56
grca en cualquiera de estos puntos (a, /).
Figura 24
Dado que ) es diferenciable, la derivada direccional segn cualquier vector
unitario = (
1
,
2
) en el punto (a, /) se puede expresar mediante
1
u
)(a, /) = )(a, /) =
0)(a, /)
0r

1
+
0)(a, /)
0j

2
.
En particular, en todos los puntos (a, /) R
2
tales que a
2
+/
2
= 1, al ser
)(a, /) = (0, 0)
se verica que
1
u
)(a, /) = 0.
6.3.3.6.4. Ejemplo.
Supongamos el campo escalar (r
1
, r
2
, r
3
) R
3
}
. = )(r
1
, r
2
, r
3
) R,
diferenciable en R
3
, y las funciones de una variable q
1
: t R

1
r
1
= q
1
(t),
q
2
: t R
2
r
2
= q
2
(t), y q
3
: t R
3
r
3
= q
3
(t), diferenciables en
R. Consideremos el campo vectorial q : R R
3
denido mediante q(t) =
(q
1
(t), q
2
(t), q
3
(t)). Entonces, aplicando la Regla de la Cadena, resulta que la
funcin ) q es diferenciable en R
3
, y se verica que
1() q) (t) = 1)(q(t)) 1q(t).
57
Desarrollando la expresin anterior, se llega a
d.
dt
=
0)
0r
1
dr
1
dt
+
0)
0r
2
dr
2
dt
+
0)
0r
3
dr
3
dt
,
que se acostumbra a escribir de ls forma siguiente:
d.
dt
=
0.
0r
1
dr
1
dt
+
0.
0r
2
dr
2
dt
+
0.
0r
3
dr
3
dt
.
6.3.3.6.5. Ejemplo.
Supongamos el campo escalar (r, j) R
2
}
. = )(r, j) R, diferenciable
en R
2
, y los campos escalares q
1
: (:, t) R
2

1
r = q
1
(:, t), y q
2
: (:, t)
R
2

2
j = q
2
(:, t), diferenciables en R
2
. Consideremos el campo vectorial
q : R
2
R
2
denido mediante q(:, t) = (q
1
(:, t), q
2
(:, t)). Entonces, aplicando
la Regla de la Cadena, resulta que la funcin ) q es diferenciable en R
2
, y se
verica que
1() q) (:, t) = 1)(q(:, t)) 1q(:, t).
0.
0:
=
0.
0r
0r
0:
+
0.
0j
0j
0:
0.
0t
=
0.
0r
0r
0t
+
0.
0j
0j
0t
.
A efectos de facilitar la aplicacin de la Regla de la Cadena a casos como los
vistos en estos dos ltimos ejemplos, puede ser til dibujar un diagrama, como el
representado en la Figura 25 para este ejemplo concreto, en el que se muestran
las relaciones de dependencia entre las variables utilizando una representacin
arborescente, con frecuencia denominada rbol de dependencias. Un primer
escaln del rbol est constituido por ramas que unen la variable dependiente
. con las variables intermedias r e j, indicando que . es funcin de r e j. Un
segundo escaln est constituido por ramas que unen cada una de las variables
intermedias r e j con las variables independientes : y t, indicando que tanto r
como j son funcin de : y t. En estas condiciones, se obtiene
J:
Js
mediante la
suma de los productos de las derivadas parciales que guran en cada rama, desde
. hasta :, y se obtiene
J:
J|
mediante la suma de los productos de las derivadas
parciales que guran en cada rama, desde . hasta t.
Figura 25
58
6.3.3.6.6. Ejemplo.
Generalizando los casos anteriores, supongamos el campo escalar (r
1
, r
2
, ..., r
n
)
R
n
}
. = )(r
1
, r
2
, ..., r
n
) R, diferenciable en R
n
, y los campos escalares
q
1
: (t
1
, t
2
, ..., t
n
) R
n
1
r
1
= q
1
(t
1
, t
2
, ..., t
n
), q
2
: (t
1
, t
2
, ..., t
n
) R
n
2
r
2
= q
2
(t
1
, t
2
, ..., t
n
),..., y q
n
: (t
1
, t
2
, ..., t
n
) R
n

r
r
n
= q
n
(t
1
, t
2
, ..., t
n
),
diferenciables en R
n
. Consideremos el campo vectorial q : R
n
R
n
denido
mediante
q(t
1
, t
2
, ..., t
n
) = (q
1
(t
1
, t
2
, ..., t
n
), q
2
(t
1
, t
2
, ..., t
n
), ..., q
n
(t
1
, t
2
, ..., t
n
))
Entonces, aplicando la Regla de la Cadena, resulta que la funcin ) q es
diferenciable en R
3
, y se verica que
1() q) (t
1
, t
2
, ..., t
n
) = 1)(q(t
1
, t
2
, ..., t
n
)) 1q(t
1
, t
2
, ..., t
n
).
0.
0t
I
=
0.
0r
1
0r
1
0t
I
+
0.
0r
2
0r
2
0t
I
+... +
0.
0r
n
0r
n
0t
I
,
para cada i = 1, 2, ..., :.
Tambin en este caso es posible construir el correspondiente rbol de de-
pendencias. Un primer escaln del rbol est constituido por ramas que unen
la variable dependiente . con las variables intermedias r
1
, r
2
, ...r
n
, indicando
que . es funcin de r
1
, r
2
, ...r
n
. Un segundo escaln est constituido por ramas
que unen cada una de las variables intermedias r
1
, r
2
, ...r
n
con las variables
independientes t
1
, t
2
, ...t
n
, indicando que cada r
I
es funcin de t
1
, t
2
, ...t
n
. En
estas condiciones, se obtiene la expresin anterior
J:
J|
1
mediante la suma de los
productos de las derivadas parciales que guran en cada rama, desde . hasta t
I
.
7. Teorema de la funcin inversa.
7.1. Introduccin.
Sean R
n
un conjunto abierto, a , y ) : R
n
R
n
un campo
1
, )
2
, ..., )
n
), donde )
I
: R
n
R para i = 1, 2, ..., : son
campos escalares que representan las componentes del campo vectorial ). Si )
es biyectivo, y es posible resolver explcitamente el sistema
j
1
= )
1
(r
1
, r
2
, ..., r
n
)
j
2
= )
2
(r
1
, r
2
, ..., r
n
)
.......................
j
n
= )
n
(r
1
, r
2
, ..., r
n
)
[],
59
expresando r
1
, r
2
, ..., r
n
, en trminos de j
1
, j
2
, ..., j
n
, dando lugar a
r
1
= q
1
(j
1
, j
2
, ..., j
n
)
r
2
= q
2
(j
1
, j
2
, ..., j
n
)
........................
r
n
= q
n
(j
1
, j
2
, ..., j
n
)
,
entonces q = (q
1
, q
2
, ..., q
n
) es la funcin inversa global de ) y para ella se pueden
obtener directamente diferenciales y derivadas.
De no ser as, como frecuentemente sucede, sera deseable encontrar un cri-
terio que permita asegurar, por una parte, la existencia a nivel local de )
1
,
por otra que esta funcin hereda las buenas propiedades de ) (por ejemplo, en
relacin a la diferenciabilidad) y, nalmente, que nos d una expresin para la
diferencial de )
1
(aunque solo sea localmente).
Si f es una aplicacin lineal, sabemos por los estudios de lgebra Lineal que
el sistema [] es compatible si y solamente si el determinante de los coecientes
es no nulo. Cabe, por ello, pensar que, cuando ) no es lineal, dado que
)(r) = )(a) +1)(a)(r a)
es la mejor aproximacin lineal a ) localmente (en una bola del punto a), la
condicin de que 1)(a) sea regular ser determinante para garantizar la exis-
tencia de inversa local.
En general, si es R
n
n
R
n
un campo
1
, )
2
, ..., )
n
), se dice que ) es una funcin regular en si
) C
1
(), ) es inyectiva en , y se verica que el determinante jacobiano de
) en el punto a es no nulo:
|1)(a)| 6= 0.
Como veremos a continuacin, en el teorema de la funcin inversa (local) esta
condicin de que sea |1)(a)| 6= 0 es fundamental para garantizar la regularidad
de una transformacin y la existencia de inversa local.
7.2. Teorema de la funcin inversa.
Sean R
n
n
R
n
un campo vectorial,
con ) = ()
1
, )
2
, ..., )
n
), donde )
I
: R
n
R para i = 1, 2, ..., : son campos
escalares que representan las componentes del campo vectorial ). Supongamos
que ) C
1
() y que |1)(r)| 6= 0, r . Entonces, para cualquier a ,
existe un conjunto abierto l conteniendo al punto a en el cual ) : l )(l)
es regular. Ms aun, el conjunto \ = )(l) es un conjunto abierto, y la funcin
inversa )
1
: \ l verica que )
1
C
1
(\ ), y que
1)
1
(/) = (1)(a))
1
,
donde / = )(a).
60
7.2.1. Ejemplo.
Consideremos la funcin ) : R
2
R
2
denida mediante
)(r, j) = (n, ) = (c
r
cos j, c
r
senj) .
Por la propiedades de las funciones diferenciables, se verica que ) C
1
(R
2
),
y (r, j) R
2
se cumple que
|1)(r, j)| =
c
r
cos j c
r
senj
c
r
senj c
r
cos j
= c
2r
6= 0.
Si bien en la expresin
(n, ) = (c
r
cos j, c
r
senj) ,
es posible despejar r, j en trminos de n, , dando lugar a
(r, j) =
log
n
2
+
2
1
2
, arc tan

n
,
observa que no existe funcin inversa global (dado que, al ser )(r, j) = )(r, j +
2/), / Z, ) no es inyectiva). Sin embargo, dado que ) cumple las condiciones
del Teorema de la funcin inversa () C
1
(R
2
) y |1)(r, j)| 6= 0, (r, j) R
2
), )
es localmente invertible en cualquier punto (r, j) R
2
. Por tanto, (r, j) R
2
existe un conjunto abierto l conteniendo al punto (r, j) en el cual ) : l )(l)
es regular. Ms aun, el conjunto \ = )(l) es un conjunto abierto, y la funcin
inversa local )
1
: \ l verica que )
1
C
1
(\ ), y que
1)
1
(n, ) = (1)(r, j))
1
=
c
r
cos j c
r
senj
c
r
senj c
r
cos j
1
=
=

c
r
cos j c
r
senj
c
r
senj c
r
cos j
.
donde (n, ) = )(r, j).
En particular, si consideramos el punto (r, j) =

1,
t
6
, se verica que
)
1,
t
6
3
2
,
t
2
, y es
1)
1
3
2
,
c
2
!
=

1)
1,

6
1
=
3
2

t
2
t
2
t
3
2
!
1
=
=
t
1
3
2
t
1
2
t
1
2
t
1
3
2
!
.
61
7.2.2. Ejemplo.
Consideremos la funcin ) : R
2
R
2
denida mediante
)(r, j) = (n, ) =
r
2
j
2
, 2rj
.
Por la propiedades de las funciones diferenciables, se verica que ) C
1
(R
2
),
y (r, j) R
2
se cumple que
|1)(r, j)| =
2r 2j
2j 2r
= 4(r
2
+j
2
).
Por tanto, (r, j) R
2
\ (0, 0) es |1)(r, j)| 6= 0, y en el origen de coordenadas
es |1)(0, 0)| = 0.
Observamos que ) no admite funcin inversa global (ya que, al ser )(r, j) =
)(r, j), ) no es inyectiva). Sin embargo, dado que ) cumple las condiciones
del Teorema de la funcin inversa en todo punto (r, j) R
2
\ (0, 0) () C
1
(R
2
)
y |1)(r, j)| 6= 0, (r, j) R
2
\ (0, 0)), ) es localmente invertible en cualquier
punto (r, j) R
2
\ (0, 0). Por tanto, (r, j) R
2
\ (0, 0) existe un conjunto
abierto l conteniendo al punto (r, j) en el cual ) : l \ = )(l) es regular.
Ms aun, en tales casos, el conjunto \ = )(l) es un conjunto abierto, y la
funcin inversa local )
1
: \ l verica que )
1
C
1
(\ ), y que
1)
1
(n, ) = (1)(r, j))
1
=
2r 2j
2j 2r
1
=
1
2(r
2
+j
2
)
r j
j r
.
donde (n, ) = )(r, j).
En particular, si consideramos el punto (r, j) = (3, 2), se verica que ) (3, 2) =
(5, 12), y es
1)
1
(5, 12) = (1) (3, 2))
1
=
6 4
4 6
1
=
1
26
3 2
2 3
.
Finalmente, la diferencial de )
1
en el punto (5, 12), se expresa mediante
d)
1
(5, 12) =
1
26
3 2
2 3
dn
d
=
=
1
26
3dn + 2d
2dn + 3d
.
7.2.3. Ejemplo.
Sea ) : R
n
R
n
una aplicacin lineal cuya matriz asociada en la base
cannica de R
n
es '
n
(R), y sea \ R
n
un vector constante. Entonces, la
aplicacin afn denida A R
n
mediante
l = )(A) = A +\
62
es local y globalmente invertible en R
n
si y solamente si || 6= 0. Adems, dado
que A R
n
es
1)(A) = ,
y siempre que sea || 6= 0, la inversa de ) se dene l R
n
mediante
)
1
(l) =
1
(l \ ),
vericndose l R
n
que
1)
1
(l) =
1
.
En particular, consideremos la aplicacin afn ) : R
3
R
3
denida mediante
)(r, j, .) = (r + 2j 3. + 6, j 2. + 5, 4r 3j 35.),
que, poniendo A = (r, j, .)
T
, se puede expresar matricialmente mediante
)(A) = A +\ ,
con
=
1 2 3
0 1 2
4 3 35
, \ =
6
5
0
.
Dado que || = 1 6= 0, ) es local y globalmente invertible en R
n
, y A R
n
es
1)(A) = .
La inversa de ) se dene l R
n
, con l = (n, , n), mediante
)
1
(l) =
1
(l \ ),
vericndose l R
n
que
1)
1
(l) =
1
=
29 79 7
8 23 2
4 11 1
,
y que
d)
1
(l) =
29 79 7
8 23 2
4 11 1
dn
d
dn
=
=
29dn + 79d 7dn

8dn 23d + 2dn
4dn + 11d dn
.
63
8. Teorema de la funcin implcita.
8.1. Introduccin.
Sean
1
R
n
y
2
R
n
conjuntos abiertos, y consideremos el campo
vectorial ) :
1

2
R
n+n
R
n
, con ) = ()
1
, )
2
, ..., )
n
), donde )
I
:
1

2
R
n+n
R para i = 1, 2, ..., : son campos escalares que representan
las componentes del campo vectorial ). En este apartado, estudiaremos en que
condiciones, para cada (r
1
, ..., r
n
)
1
, el sistema de ecuaciones
)
1
(r
1
, ..., r
n
, n
1
, ..., n
n
) = 0
..............................
)
n
(r
1
, ..., r
n
, n
1
, ..., n
n
) = 0
()
dene a n
1
, ..., n
n
como funciones de r
1
, ..., r
n
, es decir
n
1
= q
1
(r
1
, ..., r
n
)
.....................
n
n
= q
n
(r
1
, ..., r
n
)
().
Se dice entonces que el sistema () dene implcitamente :funciones q
I
, para i =
1, 2, ..., :, y estas funciones se denominan funciones implcitas. Para simplicar
la notacin, escribiremos en este apartado r = (r
1
, ..., r
n
), n = (n
1
, ..., n
n
) (en
aplicaciones prcticas, con frecuencia las componentes del vector r se denotan
por r, j, ., ..., y las componentes del vector n por n, , n, ...) con lo que () y
() se pueden representar respectivamente mediante )(r, n) = 0 y n = q(r).
En el caso particular de que el sistema () sea un sistema lineal, del tipo
a
11
r
1
+a
12
r
2
+... +a
1n
r
n
+/
11
n
1
+/
12
n
2
+... +/
1n
n
n
= 0
a
21
r
1
+a
22
r
2
+... +a
2n
r
n
+/
21
n
1
+/
22
n
2
+... +/
2n
n
n
= 0
..............................................................
a
n1
r
1
+a
n2
r
2
+... +a
nn
r
n
+/
n1
n
1
+/
n2
n
2
+... +/
nn
n
n
= 0
,
entonces, reescribindolo en la forma
A +1l = 0,
donde
=
a
11
. . . a
1n
.
.
.
.
.
.
.
.
.
a
n1
. . . a
nn
, 1 =
/
11
. . . /
1n
.
.
.
.
.
.
.
.
.
/
n1
. . . /
nn
,
A =
r
1
.
.
.
r
n
, l =
n
1
.
.
.
n
n
,
64
de A +1l = 0, se sigue que
l = 1
1
A,
y adems de manera nica, si y solamente si la matriz 1 es regular (i.e. |1| 6= 0).
Qu sucede si el sistema no es lineal? En tal caso, el sistema () se expresa
simplicadamente mediante )(r, n) = 0, y la matriz de la diferencial de ),
1)(r, n) =
J}
1
Jr1
. . .
J}
1
Jrr
J}
1
Ju1
. . .
J}
1
Jur
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
J}r
Jr
1
. . .
J}r
Jr
r
J}r
Ju
1
. . .
J}r
Ju
r
,
se puede escribir en la forma
1)(r, n) = (1
r
)(r, n), 1
u
)(r, n)) ,
donde
1
r
)(r, n) =
J}
1
Jr1
. . .
J}
1
Jrr
.
.
.
.
.
.
.
.
.
J}r
Jr
1
. . .
J}r
Jr
r
, 1
u
)(r, n) =
J}
1
Ju1
. . .
J}
1
Jur
.
.
.
.
.
.
.
.
.
J}r
Ju
1
. . .
J}r
Ju
r
.
Si ) fuera lineal, poniendo = 1
r
)(r, n) y 1 = 1
u
)(r, n), hemos visto que el
sistema )(r, n) = 0 dene a n como funcin de r en todo R
n
si y solamente si
1 = 1
u
)(r, n) es una matriz regular. El siguiente teorema asegura que, siempre
que sea ) C
1
(
1

2
), se puede trasladar localmente este resultado a los
sistemas no lineales, simplemente poniendo = 1
r
)(r, n) y 1 = 1
u
)(r, n), y
exigiendo que sea |1
u
)(r, n)| 6= 0 en el punto (r, n) considerado.
8.2. Teorema de la funcin implcita.
Sean
1
R
n
y
2
R
n
conjuntos abiertos, o =
1

2
, y consideremos
el campo vectorial ) : o R
n+n
R
n
, donde )
1
, )
2
, ..., )
n
, componentes de
), son campos escalares de las variables r
1
, ..., r
n
, n
1
, ..., n
n
. Supongamos que
) C
1
(o) y sea (a, /) o, con a = (a
1
, ..., a
n
)
1
y / = (/
1
, ..., /
n
)
2
, tal
que )(a, /) = 0 y 1
u
)(a, /) es regular (i.e. |1
u
)(a, /)| 6= 0). Entonces, existe
un conjunto abierto ', con (a, /) ' o, en el cual 1
u
)(r, n) es regular
(i.e. |1
u
)(r, n)| 6= 0, (r, n) '), y existe un conjunto abierto conteniendo
al punto a, con a
1
, sobre el cual queda denido de manera nica un
campo vectorial q : R
n
, tal que q C
1
(), q(a) = /, (r, q(r)) '
y )(r, q(r)) = 0, para todo r . Ms an, la diferencial de dicho campo
vectorial q es tal que
1q(r) = [1
u
) (r, q(r))]
1
1
r
) (r, q(r)) , r .
Se presenta un caso particular notable cuando ) es un campo escalar de las
variables r
1
, ..., r
n
, n. En tal caso, el corolario siguiente particulariza el Teorema
65
de la funcin implcita para el caso
)(r
1
, ..., r
n
, n) = 0,
dando condiciones para que, localmente, dicha ecuacin dena implcitamente
una funcin diferenciable n = q (r
1
, ..., r
n
).
8.3. Corolario.
Sean
1
R
n
y
2
R conjuntos abiertos, o =
1

2
, y consideremos el
campo escalar ) : o R
n+1
R, de las variables r
1
, ..., r
n
, n. Supongamos que
) C
1
(o) y sea (a, /) o, con a = (a
1
, ..., a
n
)
1
y /
2
, tal que )(a, /) = 0
y
J}(o,b)
Ju
6= 0. Entonces, existe un conjunto abierto ', con (a, /) ' o, y
existe un conjunto abierto conteniendo al punto a, con a
1
, sobre
el cual queda denido de manera nica un campo escalar q : R, tal que
q C
1
(), q(a) = /, (r, q(r)) ', )(r, q(r)) = 0, y
J}(r,(r))
Ju
6= 0, para todo
r . Ms an, para cada i = 1, 2, ..., :, la derivada parcial de dicho campo
escalar q respecto a la variable r
I
queda denida mediante
0q(r)
0r
I
=
J}(r,u)
Jr1
J}(r,u)
Ju
.
En particular, para 1(r, j) = 0, y siempre que se cumplan las condiciones dadas
en el corolario para que dicha ecuacin dena localmente de manera nica a
j = j(r), se verica que
j
0
(r) =
1
r
(r, j)
1
(r, j)
,
y, para 1(r, j, .) = 0, siempre que se cumplan las condiciones dadas en el
corolario para que dicha ecuacin dena localmente de manera nica a . =
.(r, j), se verica que
.
r
(r, j) =
1
r
(r, j, .)
1
:
(r, j, .)
, .
(r, j) =
1
(r, j, .)
1
:
(r, j, .)
.
8.4. Ejemplos.
8.4.1. Ejemplo.
Consideremos la ecuacin
1(r, j) = r
4
j
4
3r
3
j
3
+ 3r
2
j
2
3rj + 2 = 0.
Veamos que, en las proximidades del punto (1, 1) R
2
, dicha ecuacin dene
una funcin diferenciable j = )(r) tal que 1(r, )(r)) = 0. En efecto, sea
l =
(a, /) R
2
: 1(a, /) = 0
.
66
Dado que (a, /) l es
1
r
(a, /) = 4a
3
/
4
9a
2
/
3
+ 6a/
2
3/,
1
(a, /) = 4a
4
/
3
9a
3
/
2
+ 6a
2
/ 3a,
se verica que 1 C
1
(l) (en realidad, tambin es 1 C
1
(R
2
)) y que 1
(1, 1) =
2 6= 0. Por tanto, aplicando el anterior corolario, en las proximidades del
punto (1, 1) dicha ecuacin dene una funcin diferenciable j = )(r) tal que
1(r, )(r)) = 0.
En dicho punto (1, 1), y para dicha funcin implcita j = )(r), obtenemos
j
0
(1) =
1
r
(1, 1)
1
(1, 1)
=
10
5
= 2.
8.4.2. Ejemplo.
Consideremos la ecuacin
1(r, j, .) = senr + cos j tan. = 0.
Veamos que, en las proximidades de cualquier punto (a, /, c) R
3
tal que
1(a, /, c) = 0, dicha ecuacin dene una funcin diferenciable . = )(r, j) tal
que 1(r, j, )(r, j)) = 0. En efecto, sea
l =
(a, /, c) R
3
: 1(a, /, c) = 0
.
Dado que (a, /, c) l es
1
r
(a, /, c) = cos a,
1
(a, /, c) = sen/,
1
:
(a, /, c) =
1
cos
2
c
= sec
2
c = (1 + tan
2
c) = 1 (sena + cos /)
2
,
se verica que 1 C
1
(l) y que 1
:
(a, /, c) 6= 0, (a, /, c) l. Por tanto,
aplicando el corolario anterior, en las proximidades de cualquier punto (a, /, c)
R
3
tal que 1(a, /, c) = 0, dicha ecuacin dene una funcin diferenciable . =
)(r, j) tal que 1(r, j, )(r, j)) = 0. Sin embargo, observa que 1 , C
1
(R
3
).
En particular, en el punto

t
6
,
t
3
,
t
4
se verica que 1

t
6
,
t
3
,
t
4
= 0, por lo
que )
t
6
,
t
3
=
t
4
y, utilizando diferenciacin implcita, se obtiene
.
r
6
,

3
=
cos r
1 + (senr + cos j)
2
6
,
3
)
=
1
4
.
6
,

3
=
senj
1 + (senr + cos j)
2
6
,
3
)
=
1
4
.
67
8.4.3. Ejemplo.
En el contexto del Teorema visto en el apartado 8.2., dado el campo vectorial
) : R
3
R
2
R
2
denido mediante
)(r, j, ., n, ) = (r
2
+ 2j
2
3.
2
+n
2
2
, r
2
j
2
+. +n ),
consideremos el sistema
r
2
+ 2j
2
3.
2
+n
2
2
= 0
r
2
j
2
+. +n = 0
(),
y el punto (1, 1, 1,
3
2
,
1
2
). Veamos que, en las proximidades de este punto, se
cumplen las condiciones que plantea el Teorema de la funcin implcita. En
efecto, al ser
)
1, 1, 1,
3
2
,
1
2
= (0, 0) ,
) C
1
R
3
R
2
, y
1
u
)(a, /) =
2n 2
1 1
(1,1,1,
3
2
,
1
2
)
=
3 1
1 1
una matriz regular (observa que el determinante
3 1
1 1
= 2
es no nulo), aplicando el Teorema de la funcin implcita, existe un conjunto
abierto ', con (1, 1, 1,
3
2
,
1
2
) ' R
3
R
2
, en el cual 1
u
)(r, n) es regular
(i.e. |1
u
)(r, n)| 6= 0, (r, n) '), y existe un conjunto abierto conteniendo
al punto (1, 1, 1), con (1, 1, 1) R
3
, sobre el cual el sistema () dene
de manera nica dos funciones implcitas n = q
1
(r, j, .) y = q
2
(r, j, .), com-
ponentes de un campo vectorial q : R
2
, tal que q C
1
(), q(1, 1, 1) =
3
2
,
1
2
, (r, j, ., q(r, j, .)) ' y )(r, j, ., q(r, j, .)) = 0, para todo (r, j, .) .
Ms an, la diferencial de dicho campo vectorial q es tal que
1q(r, j, .) = [1
u
) (r, q(r))]
1
1
r
) (r, q(r)) , r .
En particular, en el punto (1, 1, 1) , se verica que
1
u
)
1, 1, 1,
3
2
,
1
2
1
=
3 1
1 1
1
=
1
2

1
2
1
2

3
2
,
y que
1
r
)
1, 1, 1,
3
2
,
1
2
2r 4j 6.
2r 2j 1
(1,1,1,
3
2
,
1
2
)
=
2 4 6
2 2 1
,
68
por lo que
1q(1, 1, 1) =
1
2

1
2
1
2

3
2
2 4 6
2 2 1
2 3
5
2
4 5
3
2
.
9. Mximos y mnimos.
9.1. Deniciones.
Sean R
n
n
R un campo escalar. Se
dice que a es un mximo (resp. mnimo) local o relativo de ) en si existe
un nmero real r 0 tal que
)(a) )(r) (resp. )(a) )(r)), r 1(a, r),
donde 1(a, r) representa una bola abierta de centro a y radio r.
Se dice que a es un mximo (resp. mnimo) global o absoluto de ) en
si
)(a) )(r) (resp. )(a) )(r)), r .
A los mximos y mnimos locales se les denomina extremos locales. En
funciones diferenciables de dos variables, en los que la grca de la funcin es la
supercie "suave" . = )(r, j), de existir algn mximo local, correspondera a
un punto en el cul dicha supercie presenta un "pico de montaa" y, de existir
un mnimo local, correspondera a un punto situado en el "fondo de un valle"
de dicha supercie (observa dicho "pico" y "valle", por ejemplo, en la grca de
la Figura 19).
9.2. Una condicin necesaria de extremo local.
Sean R
n
n
R un campo escalar para
el cual todas las derivadas parciales de primer orden existen en el punto a .
Si a es un extremo local de ), entonces
)
r
1
(a) = 0, para i = 1, 2, ..., :.
En efecto, sean c
1
= (1, 0, ..., 0, 0),..., c
n
= (0, 0, ..., 0, 1) los vectores de la
base cannica de R
n
, y denamos las funciones de una variable
q
I
(t) = ) (a +tc
I
) , para cada i = 1, 2, ..., :.
Entonces, dado que todas las derivadas parciales de primer orden existen en
el punto a, cada q
I
es derivable en el punto t = 0, con
q
0
I
(0) = )
r
1
(a).
Finalmente, al ser a un extremo local de ), resulta que t = 0 es un extremo
local de cada q, por lo que q
0
I
(0) = 0 para cada i = 1, 2, ..., :, y de aqu se sigue
que )
r
1
(a) = 0, para i = 1, 2, ..., :.
69
Los puntos a para los cuales, o bien existen todas las derivadas parciales
de primer orden y son tales que )
r
1
(a) = 0, para i = 1, 2, ..., :, o bien alguna
de dichas derivadas parciales de primer orden no existe, se denominan puntos
crticos de la funcin ).
El siguiente ejemplo muestra que la condicin necesaria de extremo local
anteriormente introducida no es suciente. Consideremos la funcin ) : R
2
R
denida mediante
)(r, j) = r
3
+j
3
.
Para esta funcin, se verica que
)
r
(0, 0) = )
(0, 0) = 0.
Sin embargo, (0, 0) no es un extremo local de ), ya que en cualquier bola
abierta 1 del punto (0, 0), es
)(r, j) )(0, 0) = r
3
0,
para puntos (r, 0) 1 tales que r 0, y es
)(r, j) )(0, 0) = r
3
< 0,
para puntos (r, 0) 1 tales que r < 0.
Esta funcin, cuya grca en una bola del origen se representa en la Figura
26,
Figura 26
muestra que no todos los puntos crticos dan lugar a extremos locales. Tales
puntos a para los cuales existe un nmero real r 0 tal que )(r) )(a) no
mantiene signo constante en una bola abierta de centro a y radio r, se denominan
puntos de silla o de ensilladura.
9.3. Una condicin suciente de extremo local.
Sean R
n
n
clase 2 en , ) C
2
(). Supongamos que en el punto a se verica que
70
)
r
1
(a) = 0 para i = 1, 2, ..., :, y consideremos la matriz (simtrica)
H)(a) =
)
r
1
r
1
(a) )
r
1
r
2
(a) . . . )
r
1
r
r1
(a) )
r
1
r
r
(a)
)
r2r1
(a) )
r2r2
(a) . . . )
r2rr1
(a) )
r2rr
(a)
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
)
rr1r1
(a) )
rr1r2
(a) . . . )
rr1rr1
(a) )
rr1rr
(a)
)
r
r
r
1
(a) )
r
r
r
2
(a) . . . )
r
r
r
r1
(a) )
r
r
r
r
(a)
,
denominada matriz hessiana de ) en el punto a. Los menores principales de
H)(a) son
1
= )
r1r1
(a),
2
=
)
r1r1
(a) )
r1r2
(a)
)
r
2
r
1
(a) )
r
2
r
2
(a)
,
3
=
)
r
1
r
1
(a) )
r
1
r
2
(a) )
r
1
r
3
(a)
)
r
2
r
1
(a) )
r
2
r
2
(a) )
r
2
r
3
(a)
)
r3r1
(a) )
r3r2
(a) )
r3r3
(a)
, ...,
n1
=
)
r
1
r
1
(a) )
r
1
r
2
(a) . . . )
r
1
r
r1
(a)
)
r2r1
(a) )
r2r2
(a) . . . )
r2rr1
(a)
.
.
.
.
.
.
.
.
.
.
.
.
)
rr1r1
(a) )
rr1r2
(a) . . . )
rr1rr1
(a)
,
n
= |H)(a)| .
Entonces:
Si
|
0 para / = 1, 2, ..., :, entonces el punto a es un mnimo local de
).
Si (1)
|
|
0 para / = 1, 2, ..., :, entonces el punto a es un mximo
local de ).
Si
n
= |H)(a)| 6= 0, y no se presenta ninguno de los dos casos anteriores,
entonces el punto a es un punto de silla de ).
En los restantes casos, esta condicin suciente no decide sobre el carcter
del punto, y se pueden dar cualquiera de los casos (mximo local, mnimo local,
o punto de silla). Para investigar que sucede en dichos casos, es necesario acudir
a otros criterios, en particular a la denicin, analizando el signo de )(r) )(a)
en una bola del punto a.
Particularizando la condicin anterior para el caso de las funciones de dos
variables, supongamos que R
2
es un conjunto abierto, y que ) : R
2
R es un campo escalar de dos variables de clase 2 en , ) C

2
(), para el cual
en el punto (a, /) se verica que
)
r
(a, /) = )
(a, /) = 0.
En este caso, la matriz hessiana de ) en (a, /) es
H)(a, /) =
)
rr
(a, /) )
r
(a, /)
)
r
(a, /) )
(a, /)
,
71
y la discusin se puede plantear en trminos del determinante de esta matriz
|H)(a, /)| = )
rr
(a, /))
(a, /) ()
r
(a, /))
2
,
llamado hessiano de ) en (a, /), del modo siguiente:
Si )
rr
(a, /) < 0 y |H)(a, /)| 0, entonces (a, /) es un mximo local de ).
Si )
rr
(a, /) 0 y |H)(a, /)| 0, entonces (a, /) es un mnimo local de ).
Si |H)(a, /)| < 0, entonces (a, /) es un punto de silla de ).
Cuando |H)(a, /)| = 0, esta condicin suciente no decide sobre el carcter
del punto, y se pueden presentar cualquiera de los casos (mximo local, mnimo
local, o punto de silla). Para investigar que sucede en dichos casos, es necesario
acudir a otros criterios, en particular a la denicin, analizando el signo de
)(r, j) )(a, /) en una bola del punto (a, /).
9.4. Ejemplos.
9.4.1. Ejemplo.
La grca de la funcin ) : R
2
R denida mediante
)(r, j) = 1 r
2
j
2
fue representada en la Figura 11, y se observa que el punto (0, 0) es un mximo
local y global de ).
Al ser ) un polinomio, se verica que ) C
(R
2
), por lo que se pueden
aplicar las condiciones anteriormente introducidas. Al aplicar la condicin nece-
saria de extremo, se llega al sistema
)
r
= 2r = 0
)
= 2j = 0,
cuya solucin es r = j = 0, por lo que el nico punto crtico es (0, 0).
Al aplicar la condicin suciente a este punto (0, 0), dado que )
rr
= 2,
)
= 2, )
r
= 0, observamos que se verica en dicho punto (y en todo punto
de R
2
) que
)
rr
(0, 0) = 2 < 0, |H)(0, 0)| = )
rr
(0, 0))
(0, 0) ()
r
(0, 0))
2
= 4 0,
por lo que el punto (0, 0) es un mximo local de ).
Veamos que (0, 0) es tambin el mximo global de ). En efecto, aplicando
la denicin, analizaremos el signo de )(r, j) )(0, 0) en todo R
2
y, dado que
)(r, j) )(0, 0) =
1 r
2
j
2
1 =
r
2
+j
2
0,
72
para todo (r, j) R
2
, resulta que (0, 0) es el mximo global de ), correspondi-
endo al punto (0, 0, 1) de su grca.
9.4.2. Ejemplo.
La grca de la funcin ) : R
2
R denida mediante
)(r, j) =
sen
r
2
+
2
r
2
+
2
, (r, j) 6= (0, 0)
1 , (r, j) = (0, 0)
fue bosquejada en la Figura 13. Poniendo r =
p
r
2
+j
2
, se obtiene la funcin
q(r) =
sen :
:
, r 0
1 , r = 0
cuya grca se represent en la Figura 14. Para esta funcin q, dado que
senr < r, r 0,
se verica que
senr
r
< 1, r 0,
y, al ser q(0) = 1, resulta que q presenta un mximo absoluto en el punto
r = 0, de donde se sigue que ) presenta un mximo absoluto en el punto (0, 0).
Para obtener los restantes puntos crticos, derivamos en la funcin q, resultando
r 0 que
q
0
(r) =
r cos r senr
r
2
,
por lo que q
0
(r) = 0 si y solamente si tanr = r. Esta ecuacin se puede resolver
numricamente, resultando las 4 primeras races
r
1
4.4934; r
2
7.7253; r
3
10.9041; r
4
14.0662.
El estudio del signo de la derivada primera, revela que la primera raz corre-
sponde a un mnimo, la segunda a un mximo, la tercera a un mnimo, la cuarta
a un mximo, y as sucesivamente.
De este resultado se deduce que
r
2
+j
2
= r
2
1
. =
sen :
1
:1
,
es una circunferencia de mnimos relativos de la funcin ), que
r
2
+j
2
= r
2
2
. =
sen :
2
:2
,
es una circunferencia de mximos relativos de la funcin ), y as sucesiva-
mente (observa estos resultados sobre la grca de la funcin, representada en
la Figura 13).
73
9.4.3. Ejemplo.
2
R denida
mediante )(r, j) = (2r
2
+j
2
)c
(r
2
+
2
)
, y en la Figura 16 algunas curvas de nivel
de ). El conjunto de nivel 0 de ) es el punto (0, 0) (veremos que corresponde al
mnimo absoluto de la funcin )), el conjunto de nivel
2
t
est constituido por los
puntos (1, 0) y (1, 0) (veremos que corresponde a los dos mximos absolutos
de la funcin )), y la curva de nivel
1
t
pasa por los puntos (0, 1) y (0, 1). Los
conjuntos de nivel c, con
1
t
< c <
2
t
estn constituidos por parejas de curvas
cerradas simtricas respecto al eje O1 (por ejemplo, las de color azul en la
Figura 16). Y los conjuntos de nivel c, con 0 < c <
1
t
estn constituidos por
parejas de curvas cerradas concntricas (por ejemplo, las de color verde o las de
color rojo en la Figura 16).
Dado que ) C
(R
2
), por ser ) producto de funciones de C
(R
2
), se
pueden aplicar las condiciones introducidas en los apartados 9.2 y 9.3. Al aplicar
la condicin necesaria de extremo, se llega al sistema
)
r
= 2rc
(r
2
+
2
)
(2 + 2r
2
+j
2
) = 0
)
= 2jc
(r
2
+
2
)
(1 + 2r
2
+j
2
) = 0,
cuyas soluciones son los puntos
(0, 0) , (0, 1) , (0, 1) , (1, 0) , (1, 0) .
Al aplicar la condicin suciente, dado que
)
rr
(r, j) = 2c
(r
2
+
2
)
(2 10r
2
+ 4r
4
+ 2r
2
j
2
j
2
)
)
(r, j) = 2c
(r
2
+
2
)
(1 2r
2
+ 4r
2
j
2
5j
2
+ 2j
4
)
)
r
(r, j) = 4rjc
(r
2
+
2
)
(3 + 2r
2
+j
2
),
observamos que en el punto (0, 0) se verica que
)
rr
(0, 0) = 4 0, |H)(0, 0)| = )
rr
(0, 0))
(0, 0) ()
r
(0, 0))
2
=
= 4 2 0
2
= 8 0,
por lo que el punto (0, 0) es un mnimo local de ).
Veamos que (0, 0) es tambin el mnimo global de ). En efecto, aplicando la
denicin, analizaremos el signo de )(r, j) )(0, 0) en todo R
2
y, dado que
)(r, j) )(0, 0) = (2r
2
+j
2
)c
(r
2
+
2
)
0,
para todo (r, j) R
2
, resulta que (0, 0) es el mnimo global de ), correspondi-
endo al punto (0, 0, 0) de su grca.
Tanto en el punto (0, 1) como en el punto (0, 1), dado que
)
rr
(0, 1) = 2c
1
0, |H)(0, 1)| = )
rr
(0, 1))
(0, 1) ()
r
(0, 1))
2
=
= 2c
1
(4c
1
) 0
2
= 8c
2
< 0,
74
resulta que ambos puntos son puntos de silla de ).
Finalmente, tanto en el punto (1, 0) como en el punto (1, 0), dado que
)
rr
(1, 0) = 8c
1
< 0, |H)(1, 0)| = )
rr
(1, 0))
(1, 0) ()
r
(1, 0))
2
=
= 8c
1
(2c
1
) 0
2
= 16c
2
0,
resulta que ambos puntos son mximos relativos de ) (observa estos resultados
sobre la grca de la funcin, representada en la Figura 15). Por otra parte, de la
grca de ) se deduce que dichos puntos (1, 0) y (1, 0) tambin son mximos
absolutos de ), correspondiendo respectivamente a los puntos

1, 0, 2c
1
1, 0, 2c
1
de su grca.
9.4.4. Ejemplo.
En la Figura 18 se bosquejan las curvas de nivel de la funcin ) : R
2
R
denida mediante )(r, j) = (r
2
+ j
2
)
2
r
2
+ j
2
. Para c =
1
4
se obtienen
los puntos

2
, 0
y

1
2
, 0
, que veremos corresponden a los dos mnimos

absolutos de la funcin. La lnea de nivel 0, que est denida por la ecuacin
(r
2
+j
2
)
2
r
2
+j
2
= 0,
es la lemniscata de Bernouilli. Para
1
4
< c < 0 se obtienen pares de curvas
cerradas simtricas respecto al eje O1 y situadas en el interior de los dos lazos
de lemniscata; Para c 0 se obtienen curvas cerradas exteriores a la lemniscata.
Dado que ) C
(R
2
), por ser ) un polinomio, se pueden aplicar las condi-
ciones introducidas en los apartados 9.2 y 9.3. Al aplicar la condicin necesaria
de extremo, se llega al sistema
)
r
= 2r(2r
2
+ 2j
2
1) = 0
)
= 2j(2r
2
+j
2
+ 1) = 0,
(0, 0) ,
2
, 0
2
, 0
.
)
rr
(r, j) = 12r
2
+ 4j
2
2
)
(r, j) = 4r
2
+ 12j
2
+ 2
)
r
(r, j) = 8rj,
)
rr
(0, 0) = 2 < 0, |H)(0, 0)| = )
rr
(0, 0))
(0, 0) ()
r
(0, 0))
2
=
= 2 2 0
2
= 4 < 0,
75
por lo que el punto (0, 0) es un punto de silla de ).
Finalmente, tanto en el punto

2
, 0
como en el punto

1
2
, 0
, dado
que
)
rr
2
, 0
= 4 0,
H)
2
, 0
= )
rr
2
, 0
2
, 0
)
r
(
2
, 0
2
=
= 4 4 0
2
= 16 0,
resulta que ambos puntos son mnimos relativos de ). Un anlisis de la grca
de ), que se muestra en la Figura 27 en el cubo [1, 1] [1, 1] [0, 4],
Figura 27
y de sus curvas de nivel (Figura 18), revela que dichos puntos

2
, 0
tambin son mnimos absolutos de ), correspondiendo respectivamente a los

puntos

2
, 0,
1
4
de su grca.
9.4.5. Ejemplo.
2
R denida
mediante )(r, j) =
2
r
2
+
2
+1
. En ella se observa que el punto (0, 1) es el mximo
absoluto de ), y que el punto (0, 1) es el mnimo absoluto de ).
Dado que ) C
(R
2
), por ser ) un cociente de polinomios en el cual el
denominador es no nulo (r, j) R
2
, se pueden aplicar las condiciones intro-
ducidas en los apartados 9.2 y 9.3. Al aplicar la condicin necesaria de extremo,
76
se llega al sistema
)
r
=
4rj
(r
2
+j
2
+ 1)
2
= 0
)
= 2
r
2
j
2
+ 1
(r
2
+j
2
+ 1)
2
= 0,
(0, 1) , (0, 1) .
)
rr
(r, j) =
4j(3r
2
j
2
1)
(r
2
+j
2
+ 1)
3
)
(r, j) =
4j(3r
2
j
2
+ 3)
(r
2
+j
2
+ 1)
3
)
r
(r, j) =
4r(r
2
3j
2
+ 1)
(r
2
+j
2
+ 1)
3
,
)
rr
(0, 1) = 1 < 0, |H)(0, 1)| = )
rr
(0, 1))
(0, 1) ()
r
(0, 1))
2
=
= 1 (1) 0
2
= 1 0,
por lo que el punto (0, 1) es un mximo relativo de ).
Finalmente, en el punto (0, 1) se verica que
)
rr
(0, 1) = 1 0, |H)(0, 1)| = )
rr
(0, 1))
(0, 1) ()
r
(0, 1))
2
=
= 1 1 0
2
= 1 0,
por lo que el punto (0, 1) es un mnimo relativo de ).
Un anlisis de la grca de ), revela que dichos puntos (0, 1) y (0, 1) son, re-
spectivamente, el mximo absoluto y el mnimo absoluto de ), correspondiendo
a los puntos (0, 1, 1) y (0, 1, 1) de su grca.
9.5. Extremos condicionados por restricciones de igualdad.
En algunos problemas de matemtica aplicada interesa obtener los valores
extremos de un campo escalar del tipo ) (r
1
, r
2
, ..., r
n
) sobre cierto conjunto,
denido por una serie de restricciones. En este apartado, nos ocuparemos
del caso en que dichas restricciones estn denidas por ecuaciones del tipo
q
|
(r
1
, r
2
, ..., r
n
) = 0, para / = 1, 2, ..., :, es decir
q
1
(r
1
, r
2
, ..., r
n
) = 0
q
2
(r
1
, r
2
, ..., r
n
) = 0
......................
q
n
(r
1
, r
2
, ..., r
n
) = 0
[o],
77
con : < :, todas ellas de igualdad. Para hallar los valores extremos de )
sobre el conjunto o, podemos aplicar la siguiente condicin necesaria, llamada
teorema de los multiplicadores de Lagrange (aos 1736 a 1813):
Sean R
n
n
clase 1 en , q = (q
1
, q
2
, ..., q
n
) : R
n
R
n
un campo vectorial de clase 1
en , y o el conjunto de puntos r tales que
q
1
(r
1
, r
2
, ..., r
n
) = 0
q
2
(r
1
, r
2
, ..., r
n
) = 0
......................
q
n
(r
1
, r
2
, ..., r
n
) = 0
[o]
con : < :. Si a o es un punto de extremo relativo de ) sobre o y los vectores
q
1
(a), q
2
(a), ..., q
n
(a) son linealmente independientes, entonces existen :
nmeros reales `
1
, `
2
,...,`
n
, llamados multiplicadores de Lagrange, tales que a
es punto crtico de la funcin
1(r
1
, r
2
, ..., r
n
, `
1
, `
2
, ..., `
n
) = )(r)
n
X
|=1
`
|
q
|
(r),
que se denomina Lagrangiano del problema.
Para clasicar dichos puntos crticos, a veces es suciente aplicar la deni-
cin, estudiando el signo de )(r) )(a) en una bola del punto a contenida en
o, para lo cual a menudo se recurre a consideraciones geomtricas. En otros
casos, puede ser til aplicar una condicin suciente, como la que veremos a
continuacin para el caso de un campo escalar ) : R
n
R sometido a una
nica restriccin de igualdad del tipo q (r
1
, r
2
, ..., r
n
) = 0.
Sean R
n
n
clase 2 en , q : R
n
R un campo escalar de clase 2 en , y o el
conjunto de puntos r tales que
q (r) = 0 .
Sea a o un punto tal que q(a) 6= 0, y tal que existe ` R vericando que
)(a) = `q(a). Formemos el Lagrangiano
1(r, `) = )(r) `q(r),
construyamos la matriz hessiana de 1 orlada por el gradiente de q, H1(a, `),
H1(a, `) =
0 q
r1
q
r2
q
rr
q
r
1
1
r
1
r
1
1
r
1
r
2
1
r
1
r
r
q
r
2
1
r
2
r
1
1
r
2
r
2
1
r
2
r
r
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
q
r
r
1
r
r
r
1
1
r
r
r
2
1
r
r
r
1
(o,X)
,
78
y en ella consideremos los menores angulares de orden mayor o igual que 3:
1
=
0 q
r
1
q
r
2
q
r
1
1
r
1
r
1
1
r
1
r
2
q
r2
1
r2r1
1
r2r2
(o,X)
,
2
=
0 q
r
1
q
r
2
q
r
3
q
r1
1
r1r1
1
r1r2
1
r1r3
q
r
2
1
r
2
r
1
1
r
2
r
2
1
r
2
r
3
q
r
3
1
r
3
r
1
1
r
3
r
2
1
r
3
r
3
(o,X)
, ...,
...,
n
= |H1(a, `)|
Si
1
< 0,
2
< 0, ..., |H1(a, `)| < 0 (todos los menores angulares son
menores que 0), entonces el punto r = a es un mnimo local de ) sobre o.
Si
1
0,
2
< 0, ..., y
n
0, para : impar, o
n
< 0, para : par (los
menores angulares alternan sus signos, empezando por
1
, que es mayor
que 0), entonces el punto r = a es un mximo local de ) sobre o.
En otros casos este criterio no decide acerca de si el punto r = a es mximo
o mnimo.
Por ejemplo, en el caso : = 2 y : = 1 (es decir, para obtener los valores
extremos de ) (r, j) sobre el conjunto q(r, j) = 0), dicha condicin suciente
establece que si
1
=
0 q
r
q
q
r
1
rr
1
r
q
1
r
1
(o,b,X)
< 0, entonces el punto (r, j) =
(a, /) es un mnimo local de ) sobre o, y si
1
0, entonces el punto (r, j) =
(a, /) es un mximo local de ) sobre o (siempre que se cumpla la condicin
necesaria en (r, j) = (a, /)).
9.5.1. Ejemplos.
9.5.1.1. Ejemplo.
Consideremos el problema de hallar y clasicar los valores extremos de la
funcin
)(r, j) = rj,
sujeta a la restriccin
r
2
9
+
j
2
4
= 1.
Aplicando el mtodo de los multiplicadores de Lagrange,el Lagrangiano del
problema es
1(r, j, `) = rj `
r
2
9
+
j
2
4
1
,
79
y la condicin necesaria de extremo introducida en el apartado anterior, conduce
al sistema
1
r
= j
2
9
`r = 0
1
= r
1
2
`j = 0
1
X
=
r
2
9
+
j
2
4
1
= 0.
Despejando j en la primera ecuacin y sustituyendo su expresin en la se-
gunda, se llega a
r
1
1
9
`
2
= 0
de donde se sigue que, o bien r = 0, o bien ` = 3. Ahora bien, si sustituimos
r = 0 en la primera ecuacin, obtenemos j = 0 y, al observar que el punto
(0, 0) no satisface la tercera ecuacin, descartamos este punto como candidato
a extremo de este problema.
Sustituyendo ` = 3 en las ecuaciones primera y segunda, obtenemos el sis-
tema
j
2
3
r = 0
r
3
2
j = 0,
(observa que ambas ecuaciones son linealmente dependientes) que es equivalente
a la ecuacin
j =
2
3
r.
Sustituyendo esta expresin j =
2
3
r en la tercera condicin (1
X
= 0), se
llega a
r
2
9
+
r
2
9
= 1,
de donde se sigue que r =
3
2
2
. Sustituyendo r =
3
2
2
en la expresin
j =
2
3
r, se llega a j =
2, por lo que un primer punto crtico es el

3
2
2
,
.
Anlogamente, sustituyendo r =
3
2
2
en la expresin j =
2
3
r, se llega a
j =
2, por lo que un segundo punto crtico es el

2
2
,
.
Sustituyendo ahora ` = 3 en las ecuaciones primera (1
r
= 0) y segunda
(1
= 0), obtenemos el sistema

j +
2
3
r = 0
r +
3
2
j = 0,
80
(observa que ambas ecuaciones son linealmente dependientes) que es equivalente
a la ecuacin
j =
2
3
r.
Sustituyendo esta expresin j =
2
3
r en la tercera condicin (1
X
= 0), se
llega a
r
2
9
+
r
2
9
= 1,
de donde se sigue que r =
3
2
2
. Sustituyendo r =
3
2
2
en la expresin j =
2
3
r, se llega a j =
2, por lo que un tercer punto crtico es el

3
2
2
,
.
Anlogamente, sustituyendo r =
3
2
2
en la expresin j =
2
3
r, se llega a
j =
2, por lo que un cuarto punto crtico es el

2
2
,
.
Para clasicar estos puntos, podemos razonar sobre la Figura 28, en la que
se muestra en color verde la elipse
r
2
9
+

2
4
= 1 (restriccin), en color rojo las
lneas de nivel 2 y 3 de la funcin )(r, j) = rj, y en color azul las lneas de
nivel 2 y 3 de ).
Figura 28
De la Figura 28 y de la denicin de mximo y mnimo condicionado, se sigue
que los puntos
2
2
,
2
2
,
son mximos relativos del problema,

y que los puntos

2
2
,
y

3
2
2
,
son mnimos relativos de este

problema de ptimos condicionados.
81
A este resultado tambin se puede llegar aplicando la condicin suciente
anteriormente introducida. En efecto, dado que
|H1(r, j, `)| =
0 q
r
q
q
r
1
rr
1
r
q
1
r
1
0
2r
9

2
2r
9

2
9
` 1
2
1
1
2
`
=
=
2
81
`r
2
+
2
9
rj +
1
18
`j
2
,
se verica que
H1
2
2
,
2, 3
!
H1
2
2
,
2, 3
!
0,
por lo que estos dos puntos

3
2
2
,
2
2
,
son mximos relativos,

y se verica que
H1
2
2
,
2, 3
!
H1
2
2
,
2, 3
!
< 0,
por lo que estos dos puntos

2
2
,
y

3
2
2
,
son mnimos relativos.

9.5.1.2. Ejemplo.
Consideremos el problema de hallar y clasicar los valores extremos de la
funcin
)(r, j, .) = rj.,
sujeta a la restriccin
r
2
16
+
j
2
9
+
.
2
4
= 1.
Aplicando el mtodo de los multiplicadores de Lagrange, el Lagrangiano del
problema es
1(r, j, ., `) = rj. `
r
2
16
+
j
2
9
+
.
2
4
1
,
al sistema
1
r
= j.
1
8
`r = 0
1
= r.
2
9
`j = 0
1
:
= rj
1
2
`. = 0
1
X
=
r
2
16
+
j
2
9
+
.
2
4
1
= 0.
82
Multiplicando la primera ecuacin por r, la segunda por j, y la tercera por .,
se llega a las ecuaciones
rj. =
1
8
`r
2
rj. =
2
9
`j
2
rj. =
1
2
`.
2
,
de donde se sigue que, en cualquier punto (r, j, .) en el que sea mxima o
mnima la funcin )(r, j, .) = rj., ha de vericarse que
1
8
r
2
=
2
9
j
2
=
1
2
.
2
,
es decir, que
1
4
|r| =
1
3
|j| =
1
2
|.| .
Despejando en esta expresin la j y la . en funcin de la r, y sustituyendo
ambas expresiones en la ecuacin 1
X
= 0, se obtienen los puntos crticos
3
3
,
3,
2
3
3
,

4
3
3
,
3,
2
3
3
,

4
3
3
,
3,
2
3
3
,

4
3
3
,
3,
2
3
3
3
3
,
3,
2
3
3
3
3
,
3,
2
3
3
3
3
,
3,
2
3
3
3
3
,
3,
2
3
3
.
Los correspondientes multiplicadores de Lagrange son, respectivamente 4
3,
4
3, 4
3, 4
3, 4
3, 4
3, 4
3, 4
3.
Para clasicar estos puntos, calculamos la matriz hessiana de 1 orlada por
el gradiente de la restriccin, resultando
H1(r, j, ., `) =
0
1
8
r
2
9
j
1
2
.
1
8
r
1
8
` . j
2
9
j .
2
9
` r
1
2
. j r
1
2
`
.
Los menores angulares de H1(r, j, ., `) son
1
(r, j, ., `) =
0
1
8
r
2
9
j
1
8
r
1
8
` .
2
9
j .
2
9
`
=
1
288
`r
2
+
1
18
rj. +
1
162
`j
2
,
2
(r, j, ., `) =
0
1
8
r
2
9
j
1
2
.
1
8
r
1
8
` . j
2
9
j .
2
9
` r
1
2
. j r
1
2
`
=
= r
2
1
64
r
2
1
18
j
2
1
8
.
2
1
576
`
2
+j
2
4
81
j
2
2
9
.
2
1
324
`
2
+
+.
2
1
4
.
2
1
144
`
2
1
12
rj.`
83
En cada uno de los puntos crticos, resulta ser:
En

4
3
3
,
3,
2
3
3
:
1
0,
2
< 0, por lo que este punto es un mximo.
En

4
3
3
,
3,
2
3
3
:
1
< 0,
2
< 0, por lo que este punto es un mnimo.
En

4
3
3
,
3,
2
3
3
:
1
< 0,
2
En

4
3
3
,
3,
2
3
3
:
1
0,
2
< 0, por lo que este punto es un
mximo.
En

3
3
,
3,
2
3
3
:
1
< 0,
2
En

3
3
,
3,
2
3
3
:
1
0,
2
mximo.
En

3
3
,
3,
2
3
3
:
1
0,
2
mximo.
En

3
3
,
3,
2
3
3
:
1
< 0,
2
mnimo.
En este caso, se poda llegar a este resultado ms fcilmente, sustituyendo
cada uno de los puntos en la funcin ), y observando que en los cuatro mximos
) alcanza el valor mximo de
8
3
3
y en los cuatro mnimos ) alcanza el valor
mnimo de
8
3
3
.
9.5.1.3. Ejemplo.
La Figura 29 muestra en color rojo la circunferencia interseccin de la esfera
r
2
+j
2
+.
2
= 1 con el plano r+2j +3. = 3. Se trata de determinar los puntos
situados en dicha circunferencia
Figura 29
que se hallan ms prximo y ms lejano al punto (1, 0, 0). De modo equiva-
lente, se trata de encontrar el mximo y el mnimo de la funcin
)(r, j, .) = (r 1)
2
+j
2
+.
2
84
sujeta a las restricciones
r
2
+j
2
+.
2
= 1
r + 2j + 3. = 3.
Aplicando el mtodo de los multiplicadores de Lagrange,el Lagrangiano del
problema es
1(r, j, ., `, j) = (r 1)
2
+j
2
+.
2
`
r
2
+j
2
+.
2
1
j(r +2j +3. 3),

al sistema
1
r
= 2(r 1) 2`r j = 0
1
= 2j 2`j 2j = 0
1
:
= 2. 2`. 3j = 0
1
X
=
r
2
+j
2
+.
2
1
= 0
1
= (r + 2j + 3. 3) = 0.
Despejando j en la primera ecuacin y sustituyendo en la segunda y en la
tercera, se llega a
j `j 2(r 1) + 2`r = 0
. `. 3(r 1) + 3`r = 0,
que es equivalente a
j 2r + 2 = `(j 2r)
. 3r + 3 = `(. 3r).
De estas dos expresiones, dado que j 2r 6= 0 y . 3r 6= 0 (ya que, en caso
contrario, al menos una de las dos anteriores igualdades no se verica), se llega
a
2(. 3r) = 3(j 2r),
es decir a . =
3
2
j. Sustituyendo esta expresin en 1
X
= 0 y en 1
= 0, se llega
al sistema
r
2
+
13
4
j
2
= 1
r +
13
2
j = 3,
cuyas soluciones son los dos puntos (r, j) siguientes:
65
14
,
3
7
+
65
91
!
,
3 +
65
14
,
3
7

65
91
!
.
85
Sustituyendo estos puntos en . =
3
2
j, se llega a los siguientes puntos crticos de
la funcin ):
65
14
,
3
7
+
65
91
,
9
14
+
3
65
182
!
,
3 +
65
14
,
3
7

65
91
,
9
14

3
65
182
!
.
En cada uno de ellos, la funcin ) tiene los siguientes valores:
)
65
14
,
3
7
+
65
91
,
9
14
+
3
65
182
!
=
11 +
65
7
)
3 +
65
14
,
3
7

65
91
,
9
14

3
65
182
!
=
11
65
7
.
Por tanto, el punto

3
65
14
,
3
7
+

65
91
,
9
14
+
3
65
182
est situado en la esfera y

en el plano, y a distancia mxima del punto (1, 0, 0), siendo el valor de dicha
mxima distancia
q
11+
65
7
, y el punto

3+
65
14
,
3
7

65
91
,
9
14

3
65
182
est situ-
ado en la esfera y en el plano, y a distancia mnima del punto (1, 0, 0), siendo
el valor de dicha mnima distancia
q
11
65
7
.
9.6. Extremos absolutos sobre un compacto.
Si la funcin ) : R
n
R es continua, y es un conjunto compacto,
sabemos por el teorema de Weierstrass que ) alcanza su mximo y su mnimo
absolutos en . En tal caso, se pueden determinar estos extremos absolutos
calculando:
1. Los puntos crticos de ) situados en el interior del conjunto , evaluando
) en cada uno de ellos.
2. Los puntos crticos de ) situados en la frontera del conjunto , evaluando
) en cada uno de ellos.
De la lista de puntos anteriormente obtenida, se escoge como mximo(s)
absoluto(s) (resp. mnimo(s) absoluto(s)) aquel (o aquellos) punto(s) corre-
spondiente(s) al mximo valor de ) (resp. al mnimo valor de )).
9.6.1. Ejemplo.
Para determinar el mximo y el mnimo absolutos de la funcin
)(r, j) = r
2
+rj +j
2
sobre el conjunto
=
(r, j) R
2
: r
2
+j
2
16, r 1
,
86
correspondiente a la porcin de crculo de centro el origen y radio 4 situada en
el semiplano r 1, observamos que ) es continua, por ser un polinomio, y
que es compacto, por ser cerrado y acotado. Por tanto, aplicando el teorema
de Weierstrass, ) alcanza su mximo y su mnimo absolutos en .
Fcilmente se calculan los puntos de interseccin de ambas curvas, r
2
+j
2
=
16 y r = 1, resultando los puntos (1,
15) y (1,
15). El valor de la
funcin ) en cada uno de estos puntos es:
)(1,
15) = 16
15, )(1,
15) = 16 +
15.
Aplicando la condicin necesaria de extremo relativo a ), de
)
r
= 2r +j = 0
)
= r + 2j = 0,
se sigue que el nico extremo relativo de ) es el punto (0, 0) (observa que (0, 0)
), en el cual es ) (0, 0) = 0.
En cuanto a la frontera de (adems de los puntos (1,
15) y (1,
15)),
en primer lugar determinaremos los extremos de ) condicionada por r
2
+j
2
=
16.
El Lagrangiano del problema es
1(r, j, `) = r
2
+rj +j
2
`
r
2
+j
2
16
,
y la condicin necesaria de extremo para 1 conduce a
1
r
= 2r +j 2r` = 0
1
= r + 2j 2j` = 0
1
X
=
r
2
+j
2
16
= 0.
Simplicando,
2r(1 `) +j = 0
2j(1 `) +r = 0
r
2
+j
2
= 16.
Teniendo en cuenta que r 6= 0 (ya que, si r = 0, entonces j = 0, y el punto
(0, 0) no satisface la restriccin), que j 6= 0 (ya que, si j = 0, entonces r = 0,
y el punto (0, 0) no satisface la restriccin), y que ` 6= 1 (ya que, si ` = 1, se
obtendra el punto (0, 0) que no verica la restriccin), multiplicando la primera
ecuacin por r, la segunda por j, y restando, se llega a
2(1 `)(r +j)(r j) = 0,
de donde se sigue que, o bien j = r, o bien j = r. Resolviendo el sistema
constituido por j = r y la restriccin r
2
+ j
2
= 16, se obtienen los puntos
2, 2
y

2
2, 2
, de los cuales descartamos el segundo debido a

87
que

2
2, 2
, . Resolviendo el sistema constituido por j = r y la

restriccin r
2
+ j
2
= 16, se obtienen los puntos

2
2, 2
y

2
2, 2
,
de los cuales tambin descartamos el segundo debido a que

2
2, 2
, .
Observamos que )(2
2, 2
2) = 24 y que )
2, 2
= 8.
Finalmente, determinaremos los extremos de ) condicionada por r = 1.
Sustituyendo r = 1 en la expresin de ), se llega a
)(1, j) = 1 j +j
2
.
Derivando, igualando a cero la derivada obtenida y resolviendo la ecuacin
resultante, se obtiene j =
1
2
, por lo que el nico punto crtico de ) condi-
cionada por r = 1 es

1,
1
2
(observa que

1,
1
2
). En dicho punto, es
)
1,
1
2
=
3
4
.
En denitiva, dado que )(1,
15) = 16
15, )(1,
15) = 16 +
15,
) (0, 0) = 0, )(2
2, 2
2) = 24, )
2, 2
= 8 y )
1,
1
2
=
3
4
, el mnimo
absoluto de ) sobre es el punto (0, 0), en el que ) toma su valor mnimo de
0, y el mximo absoluto de ) sobre es el punto (2
2, 2
2), en el que ) toma

su valor mximo de 24.
88

Tema 10 - Calculo Diferencial Funciones Varias Variables

Diunggah oleh

Informasi Dokumen

Hak Cipta

Format Tersedia

Bagikan dokumen Ini

Bagikan atau Tanam Dokumen

Opsi Berbagi

Apakah menurut Anda dokumen ini bermanfaat?

Apakah konten ini tidak pantas?

Hak Cipta:

Format Tersedia

Tema 10 - Calculo Diferencial Funciones Varias Variables

Diunggah oleh

Hak Cipta:

Format Tersedia

INTRODUCCINALCLCULODIFERENCIAL

para (r, j) 6= (0, 0)

en , entonces dicha derivada parcial

, y se representa de las siguientes maneras:

(). Por convenio, una funcin continua en

(a, /) y se verica que

(a, /)(j /) es una buena

(a, /)(j /),

(a) para i = 1, 2, ..., : y , = 1, 2, ..., :.

representa el ,simo vector de la base cannica de R

se denomina vector gradiente de ) en el punto a, y se representa por )(a). De

es diferenciable en a, y se verica que

, para i = 1, 2, ..., : y , = 1, 2, ..., :,

no existe. Por tanto,

campos vectoriales tales que q(l) \ . Si q es diferenciable

, que se dene mediante

sen cos n ncos cos n nsen senn

29dn + 79d 7dn

una matriz regular (observa que el determinante

R es un campo escalar de dos variables de clase 2 en , ) C

, que veremos corresponden a los dos mnimos

tambin son mnimos absolutos de ), correspondiendo respectivamente a los

2, por lo que un primer punto crtico es el

2, por lo que un segundo punto crtico es el

= 0), obtenemos el sistema

2, por lo que un tercer punto crtico es el

2, por lo que un cuarto punto crtico es el

son mximos relativos del problema,

son mnimos relativos de este

son mximos relativos,

son mnimos relativos.

j(r +2j +3. 3),

est situado en la esfera y

, de los cuales descartamos el segundo debido a

, . Resolviendo el sistema constituido por j = r y la

2), en el que ) toma

Anda mungkin juga menyukai