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 variables, trabajaremos en general con espacios del tipo
R = {(1 2 ) : R = 1 2 } ,
cuyos elementos pueden ser identificados con puntos o con vectores. Es bien
sabido que, con las leyes suma de vectores y producto de un escalar por un
vector, R es un R-espacio vectorial, en el que la base formada por los vectores
{1 = (1 0 0) 2 = (0 1 0) = (0 0 1)} ,
se denomina base cannica o usual (en los casos particulares de R2 y R3 , las
correspondientes bases cannicas frecuentemente se expresan mediante { } y
{ }, respectivamente). Un vector R , con = (1 2 ), se expresa
en la base cannica mediante = 1 1 + 2 2 + + , representando la
coordenada -sima del vector respecto a dicha base (en los casos particulares
de R2 y R3 , estas coordenadas frecuentemente se expresan mediante ( ) y
( ), respectivamente).
Estudiaremos, por tanto, las funciones del tipo : R R , con
2, 1, y = dom( ). Cuando = 1, estas funciones se denominan
campos escalares, y cuando 1 campos vectoriales. Un campo vectorial
: R R queda unvocamente determinado por funciones escalares
: R R denominadas componentes de , escribindose habitualmente
= (1 2 ). 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 R . Ms aun, los principales resultados 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 pregunta: 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 identificarse 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

definida por la diferencial se identifica 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 los conceptos topolgicos anteriormente introducidos para R.
2. Estructura eucldea y topologa de R .
2.1. Producto escalar. Norma eucldea.
Dados dos vectores = (1 2 ), = (1 2 ) R del espacio
vectorial R , se define el producto escalar (tambin llamado producto interno)
de e mediante
h i = 1 1 + 2 2 + + =
=1
Con frecuencia se utiliza el smbolo para designar este producto, siendo sencillo
probar que se verifican las siguientes propiedades, R R:
0, y = 0 si y solo si = 0.
= .
() = ( ) = ().
La norma usual asociada a este producto escalar es la norma eucldea que
est definida = (1 2 ) R mediante
q
kk = 21 + 22 + + 2 .
La norma eucldea kk representa geomtricamente la longitud o mdulo del

vector , y tiene las propiedades siguientes:
kk 0; kk = 0 si y solo si = 0.
kk = || kk
k + k kk + kk (Desigualdad triangular).
| | kk kk (Desigualdad de Cauchy-Schwarz).
Se dice que dos vectores = (1 2 ), = (1 2 ) R son

ortogonales, y se escribe , cuando = 0. Se dice que un vector es
ortogonal a un conjunto de vectores R cuando es ortogonal a todo vector
de . 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 que forman dos vectores se define mediante
cos =
,
kk kk
siendo 0 .
La norma eucldea induce una distancia en R , considerado como espacio
afn, asignando a cada par de puntos = (1 2 ), = (1 2 ) R
el mdulo del vector que definen, es decir,
q
( ) = (1 1 )2 + (2 2 )2 + + ( )2 ,
y esta aplicacin verifica las propiedades ya vistas al introducir estos conceptos

en la recta real.
En este contexto, si es (R) una matriz, llamaremos norma matricial de a
kk
,
kk = sup
6=0 kk
y se verifican las siguientes propiedades (R), R:
kk 0; kk = 0 si y solo si = 0.
kk = || kk
k + k kk + kk, (R).
k k kk kk, (R) (R).
2.2. Bolas abiertas y bolas cerradas.
Si es R y 0, llamaremos bola abierta de centro y radio , y la
designaremos por ( ), al conjunto
( ) = { R : ( ) } = { R : k k } .
Llamaremos bola cerrada de centro y radio , y la designaremos por ( ),
al conjunto
( ) = { R : ( ) } = { R : k k } .
Observa que para = 1 estas bolas representan intervalos del tipo ( + )

o [ + ], para = 2 crculos (circunferencia excluida en el caso de las bolas abiertas, y circunferencia incluida en el caso de las cerradas), y para = 3
definen 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 , se dice que R es un punto interior de
si existe una bola abierta de totalmente contenida en , es decir, es un
punto interior de si 0 : ( ) .
El conjunto de todos los puntos interiores de se denomina interior, y se
0
designa por int() o por . De la definicin dada, se desprende que int() .

Se dice que un conjunto R es abierto si todos sus puntos son interiores,
es decir, es abierto si y solamente si int() = . Por ejemplo, R y el conjunto
vaco son conjuntos abiertos de R .
Es fcil probar que tanto la unin finita o infinita como la interseccin finita
de conjuntos abiertos, es un conjunto abierto.
2.4. Punto adherente. Conjuntos cerrados.
Dado el subconjunto R , se dice que R es un punto adherente de
si toda bola abierta de contiene algn punto de , es decir, es un punto
adherente de si 0 : ( ) 6= .
El conjunto de todos los puntos adherentes de se denomina adherencia o
clausura, y se designa por adh() o por . De la definicin dada, se desprende
que adh().
Se dice que un subconjunto R es cerrado si contiene todos sus puntos
adherentes, es decir, es cerrado si y solamente si adh() = . Por ejemplo,
R y el conjunto vaco son conjuntos cerrados de R (de hecho, R y el conjunto
vaco son los nicos conjuntos de R que son tanto abiertos como cerrados).
2.5. Punto de acumulacin. Punto aislado.
Dado el subconjunto R , se dice que R es un punto de acumulacin de si toda bola abierta de contiene algn punto de distinto de
, es decir, es un punto de acumulacin de si 0 : ( ){} 6=
. El conjunto de puntos de acumulacin de se denomina conjunto
derivado, y se representa por 0 o por .
Dado el subconjunto R , se dice que R es un punto aislado
de si existe una bola abierta de que no contiene ningn otro punto
de distinto de , es decir, es un punto de aislado de si 0 :
( ) = {}. Vemos, por tanto, que se verifica la siguiente propiedad:
Dado el subconjunto R , todo punto adherente de , o bien es aislado,
o bien es de acumulacin, es decir, adh() = 0 ( representa el
conjunto de puntos aislados de ).
4
2.6. Punto frontera. Punto exterior.

Dado el subconjunto R , se dice que R es un punto frontera
de si toda bola abierta de contiene puntos de y del conjunto complementario de (que es R \), es decir, es un punto frontera de si
0 : ( ) 6= y ( ) (R \) 6= .
Dado el subconjunto R , se dice que R es un punto exterior de
si existe una bola abierta de totalmente contenida en R \, es decir,
es un punto exterior de si 0 : ( ) R \. 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 , 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 , entonces es un conjunto compacto
si y solamente si es cerrado y es acotado.
3. Producto vectorial y producto mixto en R3 .
Dados dos vectores = (1 2 3 ), = (1 2 3 ) R3 , se define el producto vectorial de e mediante
= (2 3 3 2 3 1 1 3 1 2 2 1 ) .
Con frecuencia se utilizan los smbolos o para representar este producto. Si
los vectores se expresan en la base cannica mediante = 1 + 2 + 3 e
= 1 + 2 + 3 , entonces el producto vectorial se puede expresar mediante
= 1 2 3 .
1 2 3
Es sencillo probar que se verifican las siguientes propiedades,
R3 R:
= ( ).
( + ) = ( ) + ( ); ( + ) = ( ) + ( ).
( ) = () = ().
5
0 = 0.
El sentido del vector viene definido por la regla del sacacorchos (o
por la regla de la mano derecha), y su mdulo es
k k = kk kk sen ,
donde representa el ngulo que forman los vectores e , siendo 0
. Dicho mdulo representa el rea del paralelogramo cuyos lados
adyacentes son los vectores e .
Dados tres vectores = (1 2 3 ), = (1 2 3 ), = (1 2 3 ) R3 , se
define el producto mixto o triple de , y mediante
1 2 3
( ) = 1 2 3 .
1 2 3
Es sencillo probar que el valor absoluto de ( ) representa el volumen

del paraleleppedo cuyos lados adyacentes son los vectores , y .
4. Grfica 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, : R2 R, es una funcin que
asigna a cada par ordenado de nmeros reales ( ) pertenecientes al conjunto
un nico nmero real ( ). El conjunto es el dominio de y el conjunto { ( ) : ( ) } es el rango de . A menudo se escribe = ( ),
denominndose e variables independientes y variable dependiente.
Anlogamente, un campo escalar de 3 variables : R3 R (resp.
variables : R R) es una funcin que asigna a cada terna ordenada de
nmeros reales ( ) (resp. tupla ordenada (1 2 )) pertenecientes
a su dominio un nico nmero real ( ) (resp. (1 2 )).
La grfica de un campo escalar de dos variables : R2 R es el
conjunto de puntos ( ) R3 tales que = ( ) y ( ) . Del mismo
modo que en el caso de una funcin de una variable ( = 1), en el que la grfica
= () representa una curva en el plano R2 , la grfica de una funcin de dos
variables ( = 2) representa una superficie = ( ) en el espacio R3 . Dado
que no siempre es tan sencillo dar un significado geomtrico a la grfica de un
campo escalar cuando = 3 o 3, se recurre al concepto de conjunto de
nivel.
En particular, las curvas de nivel de un campo escalar de dos variables,
: R2 R, son las curvas ( ) = , donde es una constante real en
el rango de ; y las superficies de nivel de un campo escalar de tres variables,
: R3 R, son las superficies ( ) = , donde es una constante real
6
en el rango de . En general, los conjuntos de nivel de un campo escalar de

variables, : R R, son los conjuntos (1 2 ) = , donde es
una constante real en el rango de .
Una representacin grfica en el plano R2 de las curvas de nivel de un campo
escalar de dos variables da lugar al llamado mapa de lneas de nivel, muy utilizado en topografa, cartografa, geodesia, etc. En particular, un mapa topogrfico (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
cartogrfica 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 grficas, curvas de nivel y superficies de
nivel.
Los primeros ejemplos de grficas, curvas de nivel y superficies 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 R2 , de
ecuacin general + + = 0, y a los planos en el espacio R3 , de ecuacin
+ + + = 0, ambos bien conocidos.
En relacin a las funciones polinmicas de grado menor o igual que 2, consideremos en primer lugar el caso de las cnicas en R2 . Dados R, con 0,
2
2
2
2
0 y 0, es bien conocido que las ecuaciones 2 + 2 = 1, 2 2 = 1,
y 2 = 2, representan respectivamente, en el plano , 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 principales) son los coordenados, los semiejes son y y los focos y 0 (verificndose
que 2 = 2 + 2 ); para dicha hiprbola, el centro es (0 0), los ejes de simetra
son los coordenados, el eje real es , los focos son y 0 y las asntotas
= (verificndose que 2 = 2 + 2 ); y, para dicha parbola, el eje de
simetra es , el foco ( 2 0), el vrtice (0 0) y la directriz es = 2 .
Figura 1
Del mismo modo, las ecuaciones ()

+ ()
= 1,
2
2
y ( )2 = 2( ), cuya expresin general es
()2
2
()2
2
= 1,
1 2 + 2 2 + 4 + 5 + 6 = 0,
con R para = 1 2 4 5 6, representan las mismas curvas anteriores, pero
no centradas en el origen sino en el punto ( ) (los ejes de simetra son paralelos
a los coordenados y, en los dos primeros casos, el centro de simetra es ( ),
siendo este punto el vrtice en el tercer caso).
En general, una ecuacin polinmica de segundo grado del tipo
1 2 + 2 2 + 3 + 4 + 5 + 6 = 0,
cuya nica diferencia con la ltima de las anteriores es la posible existencia de
un trmino rectangular del tipo 3 , 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 3 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 superficies representadas
por ecuaciones polinmicas de segundo grado, llamadas cudricas en el espacio
afn eucldeo R3 :
2
La ecuacin 2 + 2 + 2 = 1 define un elipsoide de ejes de simetra los

coordenados, semiejes , y (sobre , y , respectivamente), y
centro (0 0 0) (bosquejado en la Figura 2). Si, como caso particular, es
= = = , entonces la ecuacin 2 + 2 + 2 = 2 representa una
esfera de centro el origen y radio . Al igual que en el caso de la elipse, si
el centro es ( ), y los ejes se simetra son paralelos a los coordenados,
2
2
2
+ ()
+ ()
= 1, que se puede
el elipsoide tiene por ecuacin ()
2
2
2
escribir en la forma 1 2 + 2 2 + 3 2 + 7 + 8 + 9 + 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 2 + 2 2 = 1 define un hiperboloide de una hoja, ejes de

simetra los coordenados, eje interior , secciones elpticas por planos
perpendiculares a , y centro (0 0 0) (bosquejado en la Figura 3).
Figura 3
2
La ecuacin 2 2 + 2 = 1 define un hiperboloide de dos hojas, ejes

los coordenados (eje interior ), secciones (no vacas) elpticas, y centro
(0 0 0) (bosquejado en la Figura 4).
Figura 4
2
La ecuacin 2 2 2 = 0 define 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
2
Figura 6
2
La ecuacin 2 + 2 2 = 0 representa un cono elptico, de ejes los coordenados (eje interior ) y vrtice el origen. En particular, la ecuacin
2 + 2 = tan2 2 , representa un cono de revolucin de eje , vrtice
el origen y semingulo cnico (bosquejado en la Figura 7).
Figura 7
2
La ecuacin 2 2 = 1 representa un cilindro de eje , elptico cuando el

signo es + e hiperblico cuando es . En particular, la ecuacin 2 + 2 =
2 , representa un cilindro de revolucin de eje (bosquejado en la
10
Figura 8).
Figura 8
La ecuacin 2 = 2 representa un cilindro parablico, de eje de vrtices
y plano se simetra (bosquejado en la Figura 9).
Figura 9
En general, una ecuacin polinmica de segundo grado del tipo

1 2 + 2 2 + 3 2 + 4 + 5 + 6 + 7 + 8 + 9 + 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 superficies, 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 superficies
son tiles para abordar algunos casos de curvas y superficies de nivel de campos
escalares de 2 y 3 variables.
Ejemplo 4.1.1.
En la Figura 10 se representa la grfica en el primer octante de la funcin
: R2 R definida mediante ( ) = + 1, resultando un plano que
corta al plano = 0 (plano ) segn la recta + = 1 y al eje en el
punto (0 0 1). Sus curvas de nivel son rectas paralelas entre s, de la forma
+ 1 = .
Figura 10
En general, dados R, con 6= 0, la grfica de la funcin : R2 R
definida mediante ( ) = + + , es un plano, y las lneas de nivel son
rectas paralelas entre s.
Ejemplo 4.1.2.
En la Figura 11 se bosqueja la grfica de la funcin : R2 R definida
mediante ( ) = 1 2 2 . Se trata de un paraboloide de revolucin de eje
, vrtice (0 0 1), y generatriz
= 1 2
.
=0
12
Figura 11
Figura 12
Las curvas de nivel de son las circunferencias 2 + 2 = 1 , que se
representan en la Figura 12 para los valores = 1 (dando lugar al punto (0 0),
que es la proyeccin del punto (0 0 1), vrtice del paraboloide, sobre el plano
), = 0 (dando lugar a la circunferencia 2 + 2 = 1, que es la interseccin
del paraboloide con el plano ) y = 12 .
Ejemplo 4.1.3.
Las grficas 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 grficas (como Maple, Matlab, etc.). Por ejemplo,
la grfica de la funcin definida mediante
sen 2 +2
2 2
( ) 6= (0 0)
( ) =
+
1
( ) = (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 circunferencias 2 + 2 = 2 , con 0 constante real, tomando el valor sen sobre
14
dichas
circunferencias,
resulta que las lneas de nivel de (definidas mediante
sen
2 + 2
2 2
= ), son circunferencias con centro el origen (dependiendo del
+
valor de , el correspondiente conjunto de nivel constar del punto (0 0), para

= 1, o de 1 2 3 circunferencias). Con este dato, y con la ayuda de la funcin auxiliar () = sen , representada en la Figura 14 utilizando las tcnicas
vistas para funciones de una variable, tambin se puede obtener la grfica de la
funcin .
Ejemplo 4.1.4.
En la Figura 15
Figura 15
se bosqueja la grfica de la funcin : R2 R definida mediante ( ) =
2
2
(22 + 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 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
1
2
pasa por los puntos (0 1) y (0 1). Los conjuntos de nivel , con
estn constituidos por parejas de curvas cerradas simtricas respecto al eje
(por ejemplo, las de color azul en la Figura 16). Y los conjuntos de nivel , con
0 1 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 superficies de nivel de la funcin : R3 R definida mediante
( ) = 2 + 2 2 3 2 estn determinadas por la ecuacin
2 + 2 2 3 2 = .
Cuando = 0, se trata de un cono elptico de eje y vrtice (0 0 0). Cuando
0, se trata de un hiperboloide de una hoja, centro (0 0 0), eje interior ,
secciones elpticas por planos perpendiculares a , y secciones hiprbolicas
por planos perpendiculares a o . Finalmente, cuando 0, se trata de
un hiperboloide de dos hojas, centro (0 0 0), y eje interior . La Figura 17
muestra una superficie de nivel de cada caso (en color rojo: el cono, correspondiente a = 0; en color verde, el hiperboloide de una hoja, para un 0; y, en
color azul, en la regin interior a ambos, el hiperboloide de dos hojas, para un
16
0).
Figura 17
Ejemplo 4.1.6.
En la Figura 18 se bosquejan las curvas de nivel de la funcin : R2 R
definida mediante
( ) = (2 + 2 )2 2 + 2 .
Figura 18
17
Para = 14 se obtienen los puntos 12 0 y 12 0 , que corresponden a

los dos mnimos absolutos de la funcin. La lnea de nivel 0, que est definida
por la ecuacin
(2 + 2 )2 2 + 2 = 0,
es la lemniscata de Bernouilli. Para 14 0 se obtienen pares de curvas

cerradas simtricas respecto al eje y situadas en el interior de los dos lazos
de lemniscata. Para 0 se obtienen curvas cerradas exteriores a la lemniscata.
Ejemplo 4.1.7.
2
mediante ( ) = 2 +
2 +1 .
Figura 19
Los conjuntos de nivel de son los siguientes: para = 0, el eje (recta
= 0); para 0 1 y para 1 0, las circunferencias de ecuacin
2
1
1
= 2 1;
+
para = 1, el punto (0 1), que corresponde al mximo absoluto de ; y, para

= 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. Definicin.
La definicin 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

( ) = significa que, segn se acerca ( ) a ( ), sin
de que
lim
()()
alcanzarlo, a lo largo de cualquier trayectoria contenida en el dominio de , los

valores de ( ) se mantienen tan prximos a como se desee. Una definicin
ms precisa se enuncia a continuacin.
Sea : R2 R un campo escalar de dos variables y sea ( ) un punto
de acumulacin de . Se dice que el lmite de ( ) cuando ( ) tiende a
( ) = , si para cualquier nmero real
( ) es , y se escribe
lim
()()
0, existe un nmero real 0 tal que para todo ( ) verificando que

p
0 ( )2 + ( )2 ,
se cumple que | ( ) | .
Observa que |
p( ) | es la distancia entre los nmeros reales ( ) y
, mientras que ( )2 + ( )2 es la distancia entre los puntos ( ) y
( ). De ah que la anterior definicin establece que la distancia entre ( )
y se puede hacer tan pequea como se desee haciendo la distancia entre los
puntos ( ) y ( ) suficientemente 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 : R2 R, : R2 R, y : R2 R, un punto de
acumulacin ( ) de , y escalares R:
5.1.2.1. El elemento lmite, si existe, es nico. En particular, si
lim
( ) = 1
lim
( ) = 2 ,
()()
y
()()
entonces 1 = 2 . Como consecuencia, si

, entonces
lim
()()
lim
()()
( ) existe y es igual a
( ) es igual a para cualquier trayectoria de aproxi-
macin al punto ( ). Por tanto, si es

lim
()()
( ) = 1
para una trayectoria 1 de aproximacin ( ) ( ), y es

lim
()()
( ) = 2
19
para otra trayectoria 2 de aproximacin ( ) ( ), siendo 1 =

6 2 , y se
lim
( ) no
verifica que 1 6= 2 , entonces el lmite doble o funcional
()()
existe.
5.1.2.2. Supongamos que
lim
( ) = y
()()
lim
()()
( ) = .
Entonces se verifican las siguientes propiedades:

a)
lim
()()
( + ) ( ) =
lim
()()
( ) +
lim
()()
( ) =
+ .
b)
c)
lim
()()
( ( ) ( )) =
()
()() ()
lim
lim
()()
lim
()
lim
()
()()
()()
( )
lim
()()
( ) = .
siempre que sea 6= 0.
d) Si son nmeros enteros tales que 6= 0 y es una fraccin irreducible,
entonces
lim
( ( )) = , siempre que sea un nmero real.
()()
(si es un nmero par, se asume en esta propiedad que es 0.)

5.1.2.3. Teorema del Sandwich: Supongamos que 0 tal que
( ) (( ) )\( ), se verifica que
( ) ( ) ( ),
y que
lim
()()
( ) =
lim
()()
( ) = . Entonces,
lim
()()
( ) =
.
5.1.2.4. Lmites reiterados.
Para cada fijo, supongamos que existe el lmite 1 () = lim ( ).
Anlogamente, para cada fijo, supongamos que existe el lmite 2 () = lim ( ).
Llamaremos lmites reiterados a los dos siguientes lmites:
lim 1 () = lim lim ( )
lim 2 () = lim lim ( ) .
En relacin a los lmites reiterados (tambin llamados iterados) y al lmite doble,

se verifican las siguientes propiedades:
Si existen 1 (), 2 (), y
lim
()()
( ) = , entonces tambin existen
los dos lmites reiterados y ambos son iguales a .

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 ( ) = (0 0) (de no ser as, siempre es posible trasladar
los ejes coordenados al punto ( ) para conseguirlo), y efectuemos en la funcin
( ) un cambio a coordenadas polares. As, haciendo
= cos
= sen ,
se obtiene la funcin en coordenadas polares, que se expresa en la forma
( cos sen ).
Entonces, una condicin necesaria y suficiente para que
lim
()(00)
( ) =
es que para cualquier nmero real 0, exista un nmero real 0 tal que
siempre que sea
0 ,
se verifique que | ( cos sen ) | cualquiera que sea (0 2]. Se
dice entonces que lim ( cos sen ) = , uniformemente en .
0
5.1.3. Algunos ejemplos de lmites.

5.1.3.1. Ejemplo.
Para estudiar la existencia del lmite
lim
()(00)
( ), siendo : R2 R la
funcin definida mediante

( ) =
2 2
2 + 2
para ( ) 6= (0 0)
,
para ( ) = (0 0)
(observa que se trata de una indeterminacin del tipo 00 ) podemos comenzar

obteniendo los lmites reiterados. En este caso, se verifica que
2
=1
0
2
2
2 () = lim ( ) = 2 = 1.
0
1 () =
lim ( ) =
21
Por tanto, de
lim 1 () =
lim (1) = 1
lim 2 () =
lim (1) = 1,
se sigue que existen los dos lmites reiterados y son distintos, por lo que el lmite
( ) no existe.
doble
lim
()(00)
5.1.3.2. Ejemplo.
lim
()(00)

( ) =
2 +2
para ( ) 6= (0 0)
,
para ( ) = (0 0)

0
=0
0
2
0
2 () = lim ( ) = 2 = 0.
0
1 () =
lim ( ) =
Por tanto, de
lim 1 () =
lim (0) = 0
lim 2 () =
lim (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 = , donde es la pendiente. Haciendo = en la
expresin del lmite segn dichas rectas, se llega a
lim
()
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.
lim
()(00)

( ) =
2
2 + 4
para ( ) 6= (0 0)
,
para ( ) = (0 0)

0
=0
2
0
2 () = lim ( ) = 4 = 0.
0
1 () =
lim ( ) =
Por tanto, de
lim 1 () =
lim (0) = 0
lim 2 () =
lim (0) = 0,
Veamos que sucede al acercarnos al origen segn parbolas (que pasan por
el origen) del tipo 2 = . Haciendo 2 = en la expresin del lmite segn
dichas parbolas, se llega a
()
lim
0 2
+ ()
,
1 + 2
de donde se sigue, aplicando la propiedad 5.1.2.1., que no existe dicho lmite.

5.1.3.4. Ejemplo.
lim
()(00)

( ) =
2
2 + 2
para ( ) 6= (0 0)
,
para ( ) = (0 0)

0
=0
2
0
2 () = lim ( ) = 2 = 0.
0
1 () =
lim ( ) =
23
Por tanto, de
lim 1 () =
lim (0) = 0
lim 2 () =
lim (0) = 0,
Efectuando en la funcin ( ) un cambio a coordenadas polares, se llega
a
3 cos2 sen
=
0
2
= lim cos2 sen = 0,
lim ( cos sen ) =
lim
cualquiera que sea (0 2]. Por tanto, dado que lim ( cos sen ) = 0,
0
uniformemente en , se verifica que
lim
()(00)
( ) = 0.
5.1.3.5. Ejemplo.
Dado que, para la funcin : R2 R definida mediante
2
1
para ( ) 6= (0 0)
( + 2 ) sen 2 +
2
,
( ) =
0
para ( ) = (0 0)
existe un 0 tal que ( ) ((0 0) )\(0 0), se verifica que
(2 + 2 ) (2 + 2 ) sen
lim (2 + 2 ) = 0, aplicando
()()
1
lim (2 + 2 ) sen 2 +
2 = 0.
()(00)
y que
1
2 + 2 ,
2 + 2
el teorema del Sandwich se cumple que
5.1.3.6. Ejemplo.
lim
()(00)

( ) =
sen(2 +2 )
2 + 2
para ( ) 6= (0 0) ,
para ( ) = (0 0)
(observa que se trata de una indeterminacin del tipo 00 ), efectuamos en la

funcin ( ) un cambio a coordenadas polares, obteniendo
sen 2
= 1,
0
2
lim ( cos sen ) = lim
24
0
lim
()(00)
( ) = 1.
5.1.3.7. Ejemplo.
Sea = {( ) R2 : 6= 0}. Para estudiar la existencia del lmite
( ), siendo : R2 R la funcin definida ( )
lim
()(01)
mediante
( ) =
cos
,
2
(observa que se trata de una indeterminacin del tipo 00 ; 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
= 1 + 2 . Haciendo = 1 + 2 en la expresin del lmite segn dichas
parbolas, se llega a
1
1 + 2 cos
2 + sen
= + ,
= lim
2
0
0
2
2
lim
(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
()(01)
5.2. Lmite de un campo escalar de ms de dos variables y de un

campo vectorial.
5.2.1. Definiciones y propiedades.
La definicin de lmite para un campo escalar de 2 variables puede ser
fcilmente extendida a campos escalares con ms de dos variables independientes, formulndola en trminos de normas, distancias o bolas. En
efecto, si son : R R un campo escalar, y un punto de acumulacin de , y utilizamos la primera de las formulaciones, se dice que
el lmite de () cuando tiende a es (con R) y se escribe
lim () = , si para cualquier nmero real 0, existe un nmero real
0 tal que para todo verificando que

0 k k ,
se cumple que | () | .
Observa que = (1 2 ), que = (1 2 ), y que la definicin
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 definicin anterior a campos

vectoriales. En este caso, si es : R R un campo vectorial,
con = (1 2 ) campos escalares tales que : R R para
= 1 2 , y es un punto de acumulacin de , se dice que el lmite de
() cuando tiende a es , con = (1 2 ) R , y se escribe
lim () = , si para cualquier nmero real 0, existe un nmero real
0 tal que para todo verificando que

0 k k ,
se cumple que k () k .
5.2.2. Algunas propiedades.
Sean : R R un campo vectorial, con = (1 2 ) campos
escalares tales que : R R para = 1 2 , y un punto de
acumulacin de . Es sencillo probar que:
a) Se verifican las propiedades 5.1.2.1. y 5.1.2.2. para cualquier valor de ,
y las propiedades 5.1.2.2., 5.1.2.2., 5.1.2.2. y 5.1.2.3. para = 1.
b) Para cualquier campo vectorial : R R , se cumple la siguiente
propiedad: lim () = , con = (1 2 ) R , si y solamente
si para cada = 1 2 se verifica que lim () = . Esta propiedad
permite obtener el lmite de un campo vectorial en un punto mediante

el clculo del lmite de sus componentes .
c) Las definiciones de lmites reiterados se pueden extender fcilmente a campos escalares de dimensin mayor que 2, verificndose propiedades similares a las vistas en 5.1.2.4. Un ejemplo de lmite reiterado para = 3 (y
= 1) es
lim lim lim ( ) ,

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 aplicando la propiedad 5.2.2.), es fcil ver que el campo vectorial : R2 R3
definido mediante

sen(2 + 2 )
2
57
para ( ) 6= (0 0)
3
2 +2
2 +2
,
( ) =
(0 1 3)
para ( ) = (0 0)
26
verifica que
lim
()(00)
( ) = (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 R2 , : R2 R un campo escalar de dos
variables, y ( ) . Se dice que es continuo en ( ) si
lim
()()
( ) = ( ).
Intuitivamente, esto significa que el valor ( ) se mantiene prximo al valor

( ) cuando ( ) est prximo a ( ). Geomtricamente, ello supone que la
superficie que define la grfica 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 , : R R un campo vectorial, y
. Se dice que es continuo en si
lim () = ().
Si es continuo , entonces se dice que es continuo en .

Observa que la definicin de continuidad es aplicable a cualquier punto 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 R , con = (1 2 ) y
: R R, entonces es continuo en si y solamente si cada
componente de es continua en .
b) Si los campos vectoriales : R R y : R R son
continuos en , entonces R el campo vectorial + es
continuo en . En particular, + y son continuos en .
c) Si los campos escalares : R R y : R R son continuos
en , entonces el campo escalar producto de ambos ( ) es continuo
en .
d) Si los campos escalares : R R y : R R son continuos

en , y es () 6= 0, entonces el campo escalar cociente de ambos
es continuo en .
27
e) Si los campos vectoriales : R R y : R R , siendo

im , son tales que es continuo en y es continuo en (),
entonces el campo vectorial composicin de ambos, : R R ,
es continuo en .
Del mismo modo que en las funciones de una variable, para los campos
escalares continuos definidos sobre conjuntos compactos se cumple el siguiente
Teorema de Weierstrass:
Si son un conjunto compacto, y : R 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 verifiquen dichas condiciones, existen al menos dos puntos
tales que () () () .
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
: R3 R definida mediante
(
2 2 2 para ( ) 6= (0 0 0)
+ +
( ) =
,
0
para ( ) = (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
()(000)
(observa que se trata de una indeterminacin del tipo 00 ), procedemos de modo

similar al resultado visto en la seccin 5.1.2.5., pero efectuando ahora en la
funcin ( ) un cambio a coordenadas esfricas. En este sistema de coordenadas, un punto ( ) del espacio se expresa mediante tres coordenadas,
( ), donde el significado de , que es la distancia del punto al origen, y
28
de los ngulos y se muestra en la Figura 19.
Figura 19
Las relaciones entre ambos sistemas de coordenadas, rectangulares y esfricas,
son
= sen cos
= sen sen
= cos ,
p
y se verifica que = 2 + 2 + 2 , siendo 0, y que 0 , 0 2.
En estas condiciones, se cumple que
lim ( sen cos sen sen cos ) =
2 sen cos cos

= 0,
0
= lim
cualquiera que sean [0 ], [0 2). Por tanto, dado que

lim ( sen cos sen sen cos ) = 0,
uniformemente en y , se verifica que
lim
()(000)
( ) = 0. En definitiva,
puesto que
(0 0 0) =
lim
()(000)
( ) = 0,
resulta que la funcin tambin es continua en el punto (0 0 0).

5.3.4.3. Ejemplo.
Sea
= {( ) R2 : 2 + 2 1},
29
y consideremos el campo escalar : R definido mediante
sen 12 2
para 2 + 2 1
12 2
( ) =
1
para 2 + 2 = 1
(observa que dom = ). Definiendo

p las funciones : R R y : R
sen
mediante () = y ( ) = 1 2 2 , es evidente que = .
Por tanto, dado que es continua para todo (
) (como fcilmente se
comprueba poniendo = 1 2 , siendo 1 () = , definida 0 y continua
0, y 2 ( ) = 1 2 2 que es una funcin continua en R2 por ser un
polinomio, resultando as que es continua en ), y es continua en ( ),
aplicando la propiedad 5.3.3.) se verifica que es continua en .
5.3.4.4. Ejemplo.
De las propiedades de las funciones continuas, se deduce que la funcin
: R2 R definida mediante
(
2
2
2
para ( ) 6= (0 0)
+2
( ) =
,
0
para ( ) = (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
()(00)
efectuamos en la funcin ( ) un cambio a coordenadas polares, obteniendo

lim ( cos sen ) = lim 2 cos sen
2 cos 2
=
2
1
= lim 2 sen 4 = 0,
4 0
0
lim
()(00)
( ) = 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 R2 un conjunto abierto, : R2 R un campo escalar de
dos variables, = (1 2 ) un vector no nulo de R2 , y ( ) . Se denomina
derivada de la funcin en el punto ( ) segn el vector ,
y se representa por
()

), al lmite
( ) (o, alternativamente, por , ( ), o
()
( + 1 + 2 ) ( )
,
0
( ) = lim
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 ( ) representa la pendiente de la superficie = ( ) (que representa la grfica de ) en el punto ( ) al avanzar en
la direccin definida por el vector .
En general, si es R un conjunto abierto, : R R un campo
escalar de variables, un vector no nulo de R , y , se denomina derivada
de la funcin en el punto segn el vector
, y se representa por () (o,
()

alternativamente, por , (), o
), al lmite
=
() = lim
( + ) ()
,
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 : R2 R definida mediante
( 3 3
+
para ( ) 6= (0 0)
2 + 2
( ) =
0
para ( ) = (0 0)
admite derivada segn cualquier vector = (1 2 ) 6= (0 0) en el punto (0 0),
ya que
3 + 23
(1 2 ) (0 0)
3 13 + 3 23 0
= lim
= 12
.
2
2
2
2
0
0 ( 1 + 2 )
1 + 22
(0 0) = lim
6.1.2. Ejemplo.

para ( ) 6= (0 0)
2 +2
,
( ) =
0
para ( ) = (0 0)
cuya grfica en el cubo [1 1][1 1][05 05] 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 2 ) (0 0)
1 2 0
1 2
= lim 2 2
= lim
2
2 + 2 ) ,
2
0
0 ( 1 + 2 )
0 (1
(0 0) = lim
se sigue que (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 (0 0) = 0 (en ambos casos, la
variacin de la funcin en el punto (0 0) al avanzar segn la direccin de los ejes
y , es nula), y no existe para vectores = (1 2 ) tales que 1 2 6= 0,
ya que el lmite lim 1 no existe.
0
6.2. Derivadas parciales.

6.2.1. Definiciones.
Sean R2 un conjunto abierto, : R2 R un campo escalar de dos
variables, y ( ) . Se denomina derivada parcial de la funcin en el punto
( ) respecto a la variable , y se representa

por ( ) (o, alternativamente,
() ()
, ( ), 1 ( ) o
), al lmite
por

()
( + ) ( )
( ) = lim
,
0
siempre que dicho lmite exista.

32
Del mismo modo, se denomina derivada parcial de la funcin en el punto

( ) respecto a la variable , y se representa por
( ), al lmite
( + ) ( )
( ) = lim
,
0

Geomtricamente, como se puede ver en la Figura 21, la derivada parcial
()
representa la pendiente de la recta , tangente a la curva , que
es la interseccin de la superficie = ( ) con el plano = , en el punto

()
representa la pendiente de la recta
( ( )); y la derivada parcial
, tangente a la curva , que es la interseccin de la superficie = ( )
con el plano = , en el punto ( ( )).
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
se puede obtener derivando (respecto a ) la funcin obtenida al considerar

en que la variable es constante; y la derivada parcial
se puede obtener
derivando (respecto a ) la funcin obtenida al considerar en que la variable
es constante.
Al hacer variar ( ) en , se obtienen las funciones : R y :
R, denominadas respectivamente derivada parcial respecto a y derivada
parcial respecto a , y definidas mediante
( + ) ( )
0
( + ) ( )
( ) = lim
0
En general, si es R un conjunto abierto, : R R un campo

escalar de variables, y = (1 2 ) , se denomina derivada
parcial de la funcin en el punto respecto a la variable al lmite
( ) =
lim
( + ) ()
()
,
= lim
0
33
donde = (0 0 0 1 0 0) representa el -simo vector de la base cannica,

siempre que dicho lmite exista. Desarrollando la anterior expresin, se obtiene
(1 2 1 + +1 ) (1 2 )
()
,
= lim
0

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
(00)
en primer lugar la funcin del ejemplo 6.1.2., donde se muestra que
=0
(00)
y que = 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 : R2 R definida mediante
1 para 6= 0
( ) =
,
0 para = 0
que no es continua en (0 0) porque para cualquier direccin de aproximacin
al origen del tipo (cos sen ), con [0 2)\{0 2 3
2 } se verifica que
( ) = 1, mientras que para las cuatro direcciones de aproximacin
lim
()(00)
al origen correspondientes a los ejes coordenados ( {0 2 3

2 }) se verifica
( ) = 0, por lo que no existe
lim
( ).
que
lim
()(00)
()(00)
Sin embargo, dicha funcin admite derivadas parciales en dicho punto, siendo
ambas nulas. En efecto:
(0 0) =
(0 0) =
( 0) (0 0)
00
= lim
=0
0
(0 ) (0 0)
00
lim
= lim
= 0.
0
0
lim
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
(0 0) = lim
(1 2 ) (0 0)
1
= lim ,
0
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, aplicando las propiedades de las funciones derivables, las reglas de derivacin vistas para funciones de una variable, y simplificando, se llega fcilmente a que
( ) R2 \{(0 0)} es
4 4 + 42 2
( ) =
(2 + 2 )2
4
4 42 2
( ) =
.
(2 + 2 )2
En cuanto al origen, aplicando la definicin de derivada parcial, se obtiene
(0 0) =
(0 0) =
( 0) (0 0)
00
= lim
=0
0
0
(0 ) (0 0)
00
lim
= lim
= 0,
0
0
lim
por lo que tambin existen derivadas parciales en dicho punto, y son ambas
nulas.
Por tanto, las funciones derivadas parciales de quedan definidas del modo
siguiente
(
(4 4 +42 2 )
para ( ) 6= (0 0)
(2 +2 )2
( ) =
0
para ( ) = (0 0)
(
4
4
2 2
( 4 )
para ( ) 6= (0 0) ,
(2 +2 )2
( ) =
0
para ( ) = (0 0)
observndose que ambas funciones

y son continuas en (0 0). En efecto,
pasando a coordenadas polares, por ejemplo en el primer caso, se llega a que
lim ( cos sen ) = lim sen cos4 sen4 + 4 cos2 sen2 = 0,

0
0
lim
()(00)
( ) = 0 = (0 0), resultando
que es continua en el punto (0 0) (id. para ).
35
6.2.2.3. Ejemplo.
( p
2 + 2 sen 21 2
+
( ) =
0
para ( ) 6= (0 0)
para ( ) = (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 ( cos sen ) = lim sen
1
= 0,
0
lim
()(00)
( ) = 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 ) R2 \(0 0). Esto se
deduce de
p
|| 12 + 22 sen 12 2
(1 2 ) (0 0)
1 +2
= lim
=
(0 0) = lim
0
0
q
1
||
sen p 2
=
12 + 22 lim
,
0
1 + 22
ya que este lmite no existe. En particular, no admite derivadas parciales en

el origen.
6.2.2.4. Ejemplo.
( 2
+ 2 sen 21 2
+
( ) =
0
para ( ) 6= (0 0)
para ( ) = (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 ( cos sen ) = lim 2 sen
1
= 0,
0
lim
()(00)
( ) = 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 simplificando, se llega fcilmente a que

( ) R2 \{(0 0)} es
1
( ) = 2 sen p
p
cos p
2
2
2
2
2
+
+
+ 2
1
( ) = 2 sen p
p
cos p
.
2
2
2
2
2
+
+
+ 2
(0 0) =
(0 0) =
1
( 0) (0 0)
= lim sen
=0
0
0
||
1
(0 ) (0 0)
lim
= lim sen
= 0,
0
0
||
lim
nulas.
siguiente
(
2 sen 21 2 2 2 cos 21 2 para ( ) 6= (0 0)
+
+
+
( ) =
0
para ( ) = (0 0)
(
2 sen 21 2 2 2 cos 21 2 para ( ) 6= (0 0)
+
+
+
( ) =
,
0
para ( ) = (0 0)
y se observa que ninguna de estas dos funciones

y es continua en
(0 0). En efecto, pasando a coordenadas polares, por ejemplo en el primer caso,
se llega a que
1
1
,
lim ( cos sen ) = lim 2 cos sen cos cos
0
0
y este lmite no existe. Por tanto, resulta que no es continua en el punto

(0 0) (id. para ).
6.2.3. Derivadas parciales de orden superior.
6.2.3.1. Definicin.
Sea R un conjunto abierto, y : R R un campo escalar de
variables. Si existe ()
para todos los puntos , y la funcin ()
admite
derivada parcial respecto a la variable en , entonces dicha derivada parcial

se denomina derivada parcial segunda de la funcin respecto a las variables
, y se representa de las siguientes maneras:
=
= = .

37
Anlogamente,
3
= ,

y, en general, la funcin obtenida derivando parcialmente de manera sucesiva la

funcin respecto a las variables 1 2 , se denomina derivada parcial
de orden de la funcin respecto a las variables 1 2 , y se representa
por
= 1 2 1 .
1 2 1
Se dice que dicha funcin es de clase 1 en , y se escribe 1 (),
es continua en . En general, se
si para cada = 1 2 , la funcin
dice que es de clase en , con N, y se escribe (), 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 infinito, y se escribe (). Por convenio, una funcin continua en
se dice que es de clase 0 en , y se escribe 0 ().
De las propiedades que veremos en el apartado 6.3., se deduce que si
(), con 1 y N, entonces () para cualquier N tal que
.
6.2.3.2. Ejemplos.
6.2.3.2.1. Ejemplo.
Sea R, con 0, y consideremos una funcin : R2 R de las variables
y . Se dice que satisface la ecuacin de ondas si
2
2
= 2 2 .
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 la altura de la
onda, la distancia recorrida en el sentido del movimiento, y la velocidad de
propagacin. En estas condiciones, veamos que la funcin
( ) = log( + ) + sen( ),
con 0, 0 y 0, verifica la ecuacin de ondas. En efecto, de
1
+ cos( )
+
cos( )
+
38
se sigue que
1
2
( + )
2
( + )2
sen( )
2 sen( ),
y se comprueba fcilmente que

2
2
2
=
.
2
2
6.2.3.2.2. Ejemplo.
Para la funcin : R2 R definida mediante
2
( ) = 2 + + cos(2 + 3),
las derivadas parciales primeras son
= 2 + 2 2 sen(2 + 3)
2
= 2 + 2 3 sen(2 + 3),
y las derivadas parciales segundas son
= 2 + 4 4 cos(2 + 3)
2
= 2 42 2 9 cos(2 + 3)
2
= 2 + 2 + 2 3 6 cos(2 + 3)
= 2 + 2 + 2 3 6 cos(2 + 3).
En este caso, observamos que se cumple la igualdad de las derivadas parciales

mixtas (o cruzadas) de segundo orden, es decir, que = , ( ) R2 .
Esto no es una coincidencia, ya que, en la prctica, como veremos en el apartado
siguiente, un muy amplio repertorio de funciones verifica dicha condicin.
6.2.3.2.3. Ejemplo.
En el ejemplo 5.3.4.4. vimos que la funcin : R2 R definida mediante
(
2
2
para ( ) 6= (0 0)
2
2
+
,
( ) =
0
para ( ) = (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
(
(4 4 +42 2 )
para ( ) 6= (0 0)
(2 +2 )2
( ) =
0
para ( ) = (0 0)
(
4
4
2 2
( 4 )
para ( ) 6= (0 0) ,
(2 +2 )2
( ) =
0
para ( ) = (0 0)
39

y que ambas funciones
y 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
(0 ) (0 0)
= lim
= 1
0
0
( 0) (0 0)
= lim = 1,
(0 0) = lim
0
0
(0 0) =
lim
Como veremos en el apartado siguiente, una condicin suficiente para la

igualdad de las derivadas parciales cruzadas en el abierto R2 es que sea
1 (), que exista en y que sea continua en . En tal caso,
tambin existe en , y se verifica que ( ) = ( ), ( ) .
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
simplificando, se llega fcilmente a que ( ) R2 \{(0 0)} es
2
( ) =
2
( ) =
6 + 94 2 92 4 6
(2 + 2 )3
6 + 94 2 92 4 6
(2 + 2 )
Por tanto, teniendo en cuenta los valores (0 0) y (0 0) antes calculados, las funciones derivadas parciales cruzadas de quedan definidas del modo
siguiente
( 6
+94 2 92 4 6
2
para ( ) 6= (0 0)
(2 +2 )3
( ) =
1
para ( ) = (0 0)
( 6
4 2
2 4
6
+9 9
2
para ( ) 6= (0 0)
(2 +2 )3
( ) =
,
1
para ( ) = (0 0)
2

y
es continua en
y se observa que ninguna de estas dos funciones
(0 0). En efecto, aproximaciones al origen por rectas del tipo = muestran
que los lmites lim ( ) y lim ( ) dependen de la direccin, por
0
lo que los lmites
lim
()(00)
( ) y
lim
()(00)
( ) no existen. Por tanto,
resulta que y 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, (0 0) = 1 6= 1 =
(0 0)).
40
6.2.3.3. Igualdad de las derivadas parciales cruzadas (Clairaut aos

1713 a 1765).
Sea R2 un conjunto abierto, y : R2 R un campo escalar de 2
variables. Si 1 (), y existe en , siendo continua en , entonces
tambin existe en , y se verifica que ( ) = ( ), ( ) .
Esta condicin de igualdad de las derivadas parciales cruzadas (tambin
conocida como Teorema de Schwartz) puede ser directamente generalizada a
campos escalares : R R, definidos en conjuntos abiertos de R .
Como consecuencia de esta generalizacin, se verifica la siguiente propiedad:
Sea : R R, con conjunto abierto de R , tal que (), y
sea (1 2 ) una permutacin de (1 2 ), en donde . Entonces,
se verifica que
1 2 () = 1 2 () .
Por ejemplo, si es una funcin que verifica dicha condicin para = 4, entonces
se cumple que
() = () = () = () = () = (),
y al valor comn de dichas derivadas parciales se le puede designar por
4 ()
2 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 se define mediante
0 () = lim
() ()
,
siempre que dicho lmite exista. De esta definicin se sigue que una funcin
: R R, con abierto, es diferenciable en si y solamente si
() () 0 ()( )
= 0.
lim
Al intentar generalizar esta segunda definicin a funciones de varias variables,

surje la dificultad de que tanto () () como son vectores, por lo que
41
()()
el cociente () ()
en general no estara bien definido en funciones
de varias variables. El hecho de que, en dicho cociente, la expresin 0 ()( )

sea una aplicacin : R R, lineal en , del tipo ( ) = ( ), con
= 0 () R, sugiere generalizar la definicin de diferenciabilidad a funciones
de varias variables del modo siguiente.
6.3.2. Definicin de diferenciabilidad.

Sea R un conjunto abierto, y : R R un campo vectorial,
con = (1 2 ) ( : R R para = 1 2 son campos
escalares que representan las componentes del campo vectorial ). Se dice que
es diferenciable en si existe una aplicacin lineal : R R tal que
lim
k () () ( )k
= 0.
k k
Si es diferenciable en , es fcil probar que esta aplicacin lineal es nica,

y que la matriz correspondiente a dicha aplicacin lineal es la llamada matriz
0
jacobianade en , que
se designa por () (o, alternativamente, por (),
(1 2 )
(), o (1 2 )
) y se expresa mediante
=
() =
1 ()
1
2 ()
1
1 ()
2
2 ()
2
()
1
()
2
..
.
..
.
..
.
1 ()
2 ()
..
.
()
Si es diferenciable , se dice que es diferenciable en .

Por tanto, si : R R es un campo vectorial diferenciable en , la
diferencial de en se representa por () y se expresa mediante
1
2
() = () . ,
..
o, ms sucintamente, mediante
() = (),
donde
1
2
..
.
42
representa la diferencial de la aplicacin identidad en R , es decir, la diferencial

de la aplicacin : R R que a cada vector = (1 2 ) R le asocia
el mismo vector.
En particular, si : R R, con abierto, es un campo escalar
diferenciable en , su diferencial en se expresa mediante
() =
()
()
()
1 +
2 + +
,
1
2
y muestra la variacin que sufre la funcin cuando se producen "pequeas"

variaciones en las variables 1 , en las proximidades del punto .
Reescribiendo la definicin de diferenciabilidad en trminos de la matriz
(), un campo vectorial : R R , con abierto, es diferenciable
en si y solamente si existe () y se verifica que
lim
k () () ()( )k
= 0.
k k
En el caso particular de un campo escalar : R2 R, con abierto,

resulta que es diferenciable en ( ) si y solamente si existen ( ) y
( ) y se verifica que
lim
()()
( ) ( ) ( )( ) ( )( )
q
= 0.
( )2 + ( )2
Esta ltima ecuacin significa geomtricamente que existe una bola del punto
( ) tal que la expresin ( ) + ( )( ) + ( )( ) es una buena
aproximacin al valor de la funcin en todo punto ( ) . En efecto, si
: R2 R, con abierto, es un campo escalar diferenciable en ( ) ,
se prueba fcilmente que la expresin
( ) + ( )( ) + ( )( )
es la mejor aproximacin lineal a la funcin en las proximidades del punto
( ). Se dice que dicha expresin es la linealizacin de en ( ), se escribe
( ) ( ) + ( )( ) + ( )( ),
( ) , y dicha aproximacin se denomina aproximacin lineal (o aproximacin del plano tangente) a la funcin en ( ).
En este contexto, si : R2 R, con abierto, es un campo escalar
diferenciable en ( ) , entonces el plano
= ( ) + ( )( ) + ( )( )
se denomina plano tangente a la grfica de (o superficie = ( )) en el
punto ( ( )).
43
En general, si : R R, con abierto, es un campo escalar diferenciable en = (1 2 ) , entonces

= () + 1 ()(1 1 ) + 2 ()(2 2 ) + + ()( )
se denomina hiperplano tangente a la grfica de en el punto ( ()).
6.3.2.1. Ejemplos.
6.3.2.1.1. Ejemplo.
1
sen 2 +
para ( ) 6= (0 0)
2
,
( ) =
0
para ( ) = (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 ( cos sen ) = lim 2 cos sen sen
1
= 0,
2
0
lim
()(00)
( ) = 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 funciones derivables, las reglas de derivacin vistas para funciones de una variable,
y simplificando, se llega fcilmente a que ( ) R2 \{(0 0)} es
2
1
1
2
2 + 2 sen 2 +
2 2 cos 2 + 2
( ) =
(2 + 2 )2
1
1
2
2 2
2
sen
2
cos
2
2
2
2
( ) =
.
(2 + 2 )2
(0 0) =
(0 0) =
( 0) (0 0)
00
= lim
=0
0
0
(0 ) (0 0)
00
lim
= lim
= 0,
0
0
lim
nulas.
44
Estudiemos si es diferenciable en (0 0). Para ello, calculamos

( ) (0 0) (0 0)( 0) (0 0)( 0)
q
=
()(00)
2
2
( 0) + ( 0)
lim
1
1
sen 2 +
sen 2 +
2 0 0( 0) 0( 0)
2
p
p
=
lim
.
()(00)
()(00)
2 + 2
2 + 2
lim
Pasando a coordenadas polares para calcular este ltimo lmite, se llega a

lim cos sen sen
1
= 0,
2
cualquiera que sea (0 2]. Por tanto, dado que

lim
()(00)
( ) (0 0) (0 0)( 0) (0 0)( 0)
q
= 0,
( 0)2 + ( 0)2
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 ( ) R2 , su diferencial en
cualquier punto ( ) R2 se expresa mediante
( ) =
( )
( )
+
,
en particular, en el origen de coordenadas (0 0) = 0 (aplicacin lineal idnticamente nula).

6.3.2.1.2. Ejemplo.
(
2
2
2
para ( ) 6= (0 0)
+2
( ) =
,
0
para ( ) = (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 ( cos sen ) = lim cos cos 2 = 0,
0
lim
()(00)
( ) = 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 variable, y simplificando, se llega fcilmente a que ( ) R2 \{(0 0)} es
( ) =
( ) =
4 4 + 42 2
(2 + 2 )2
43
2.
(2 + 2 )
(0 0) =
(0 0) =
( 0) (0 0)
= lim = 1
0
(0 ) (0 0)
00
lim
= lim
= 0,
0
0
lim
por lo que tambin existen derivadas parciales en dicho punto, y son (0 0) = 1

y (0 0) = 0.
siguiente
( 4 4
+42 2
para ( ) 6= (0 0)
(2 +2 )2
( ) =
1
para ( ) = (0 0)
(
3
4
para ( ) 6= (0 0)
(2 +2 )2
( ) =
.
0
para ( ) = (0 0)
Estudiemos si es diferenciable en (0 0). Para ello, calculamos
lim
()(00)
( ) (0 0) (0 0)( 0) (0 0)( 0)
q
=
2
2
( 0) + ( 0)
2
2
2 2
+2 0 1( 0) 0( 0)
p
=
lim
=
lim
3 .
()(00)
()(00) (2 + 2 ) 2
2 + 2
lim 2 cos sen2 ,

0
de donde se deduce que el lmite doble no existe, dado que ste ltimo lmite
depende de . Por tanto, dado que el lmite
lim
()(00)
( ) (0 0) (0 0)( 0) (0 0)( 0)
q
2
2
( 0) + ( 0)
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 un conjunto abierto, y : R R un campo
vectorial, con = (1 2 ), donde : R R para = 1 2
son campos escalares que representan las componentes del campo vectorial .
Entonces, es diferenciable en si y solamente si sus campos escalares
componentes 1 2 son diferenciables en . En tal caso, la matriz
jacobiana
() es la matriz cuyos vectores fila son los vectores () =
() ()
()
para = 1 2 .
1 2
vectorial. Si es diferenciable en , entonces es continuo en .
En efecto, si es diferenciable en , entonces de
lim
k () () ()( )k
=0
k k
se sigue que
() = () + ()( ) + k k (),
donde
() =
verifica que
() () ()( )
k k
lim () = 0.
de
Sea 0 tal que k()k 1 para todo tal que k k . Entonces

k () ()k (k () + 1k) k k ,
siempre que sea k k , se deduce que es continua en .

El ejemplo 6.3.1.2., correspondiente a una funcin : R2 R que es continua en (0 0) pero no es diferenciable en (0 0), muestra que la proposicin
recproca es falsa.
vectorial, con = (1 2 ), donde : R R para = 1 2 son
campos escalares que representan las componentes del campo vectorial . Si
es diferenciable en = (1 2 ) , entonces existen todas las derivadas
() para = 1 2 y = 1 2 .
parciales
En efecto, si es diferenciable en , entonces existe una nica matriz

(R), de elementos = ( ), tal que
lim
k () () ( )k
= 0,
k k
47
de donde se sigue, procesando la anterior expresin por componentes, que
lim
() ()
=1
( )
k k
= 0,
para cada = 1 2 . Poniendo en esta expresin = + , para cada

= 1 2 , donde representa el simo vector de la base cannica de R ,
resulta que
( + ) ()
= 0,
lim
0
de donde se sigue que =
().
En particular, sean R un conjunto abierto, y : R R

un campo escalar. Si es diferenciable en , entonces existen todas las
() para cada = 1 2 . Ms an, si es diferenciable

derivadas parciales
en , entonces existen todas las derivadas direccionales en , y se verifica

que
( + ) () X ()
=
() = lim
0
=1
para cualquier vector unitario = (1 2 ) R .
En efecto, en el apartado 6.1. vimos que
() = lim
( + ) ()
.
Ahora bien, si es diferenciable en = (1 2 ), sabemos que
lim
() ()
=1
()
(
k k
= 0.
Poniendo en esta expresin = + , y teniendo en cuenta que kk = 1, se

llega a
P
()
( + ) ()

=1
= 0,
lim
0
de donde se sigue que
( + ) () X ()
=
,
0
=1
lim
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 : R2 R definida
mediante
( 3 3
+
para ( ) 6= (0 0)
2 + 2
( ) =
0
para ( ) = (0 0)
admite derivada direccional segn cualquier vector unitario = (1 2 ) en el
punto (0 0), ya que
13 + 23
(1 2 ) (0 0)
3 13 + 3 23 0
= lim
=
.
2
2
0
0 (2 1 + 2 2 )
12 + 22
(0 0) = lim
(00)
(00)
=
=
En particular, admite derivadas parciales en (0 0), siendo
1. Veamos, sin embargo, que no es diferenciable en (0 0). En efecto, dado
que el lmite
lim
()(00)
lim
()(00)
( ) (0 0) (0 0)( 0) (0 0)( 0)
q
=
2
2
( 0) + ( 0)
3 +3
2 +2
0 1( 0) 1( 0)
( + )
p
=
lim
3
2
2
()(00)
+
(2 + 2 ) 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 direccional de una funcin diferenciable se puede reescribir mediante
() =
X
()
=1
= () ,
donde el vector cuyas componentes son las derivadas parciales de en el punto

, siempre que todas estas existan,
()
() ()

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

las propiedades del producto escalar, se deduce que la derivada direccional de
segn un vector unitario en un punto es mxima cuando tiene la misma
direccin y sentido que el vector gradiente ( ()), siendo dicho valor mximo
k ()k, y es mnima cuando tiene la misma direccin y sentido opuesto
que el vector gradiente ( ()), siendo dicho valor mnimo k ()k. Por
tanto, el vector gradiente ( ()) apunta en la direccin de mxima razn de
49
incremento de la funcin, y el opuesto del vector gradiente ( ()) apunta en

la direccin de mxima razn de decremento de la funcin .
Por otra parte, del significado geomtrico de la derivada en funciones de una
variable y de la definicin de plano tangente vista en 6.3.2., se siguen las dos
siguientes propiedades:
Si es : R2 R, con abierto, una funcin diferenciable en
( ) , y consideramos la curva de nivel de que pasa por ( ), es
decir, el conjunto de puntos
= {( ) : ( ) = } ,
con ( ) = , entonces el vector ( ) es perpendicular a dicha curva
en ( ).
Si es : R3 R, con abierto, una funcin diferenciable en
( ) , y consideramos la superficie de nivel de que pasa por
( ), es decir, el conjunto de puntos
= ( ) R3 : ( ) = ,
con ( ) = , entonces el vector ( ) es perpendicular al plano

tangente a dicha superficie en ( ). En tales condiciones, la ecuacin
del plano tangente a en el punto ( ) se expresa mediante
( )( ) + ( )( ) + ( )( ) = 0.
6.3.3.4. Sea R un conjunto abierto, y : R R campos vectoriales diferenciables en . Entonces, se verifican las siguientes
propiedades:
+ es diferenciable en y se verifica que
( + ) () = () + ().
R + es diferenciable en , y se verifica que
( + ) () = () + ().
Si = 1, es diferenciable en , y se verifica que
( ) () = () () + ()().
Si = 1 y () 6= 0,
es diferenciable en , y se verifica que

() () ()()
() =
.
2
(())
50

vectorial, con = (1 2 ), donde : R R para = 1 2
son campos escalares que representan las componentes del campo vectorial .
, para = 1 2 y = 1 2 ,
Si existen todas las derivadas parciales
en una bola de centro , y son todas ellas continuas en el punto , entonces

es diferenciable en .
El siguiente ejemplo muestra que esta es tan solo una condicin suficiente,
no siendo necesaria para garantizar la diferenciabilidad de una funcin de varias
variables. Para la funcin : R2 R definida mediante
(
sen 21 2 para ( ) 6= (0 0)
+
( ) =
,
0
para ( ) = (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 simplificando,
se llega fcilmente a que ( ) R2 \{(0 0)} es
3
2
1
1
2 2
2
+
sen
cos
2 + 2
2 +2
( ) =
3
(2 + 2 ) 2
2
1
1
2 2
2
+
sen
cos
2 +2
2 +2
( ) =
.
3
(2 + 2 ) 2
(0 0) =
(0 0) =
( 0) (0 0)
00
= lim
=0
0
(0 ) (0 0)
00
lim
= lim
= 0,
0
0
lim
por lo que tambin existen derivadas parciales en dicho punto, y son (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 ( ),
se llega a que
sen 3 sen 1 2 cos2 cos 1

=
lim ( cos sen ) = lim
0
0
3
!
1
2
1 cos cos
= lim sen sen
,
0
51
y este lmite no existe, debido a que el lmite lim
cos2 cos
no existe. Por tanto,
no es continua en el punto (0 0) (id. para (0 0)).

Veamos, sin embargo, que es diferenciable en (0 0). Para ello, calculamos
( ) (0 0) (0 0)( 0) (0 0)( 0)
q
=
()(00)
( 0)2 + ( 0)2
lim
lim
1
2 +2
sen
()(00)
0 0( 0) 0( 0)
sen 21 2
+
p
p
=
lim
.
2
2
2
()(00)
+
+ 2

lim cos sen sen
1
= 0,
cualquiera que sea (0 2]. Por tanto, dado que

( ) (0 0) (0 0)( 0) (0 0)( 0)
q
= 0,
()(00)
( 0)2 + ( 0)2
lim
resulta que es diferenciable en el punto (0 0).

6.3.3.5. Regla de la cadena.
Sean R y R conjuntos abiertos, : R R y :

R R campos vectoriales tales que ( ) . Si es diferenciable
en , y es diferenciable en = (), entonces la aplicacin compuesta
: R R , que se define mediante
( ) () = (()) ,
es diferenciable en , y se verifica, en cuanto a las matrices de las diferenciales,
que
( ) () = (()) (),
y, en cuanto a las diferenciales, que
( ) () = (()) (),
donde el smbolo () denota producto matricial, y el smbolo () denota composicin de aplicaciones.
52
6.3.3.6. Ejemplos.
6.3.3.6.1. Ejemplo.
Sea = {( ) R3 \ (0 0 ) con R}. Consideremos los campos
vectoriales : R3 R2 , definido ( ) mediante
( ) = 2 + 2 2
,
+ 2
y : R3 R3 definido ( ) R3 mediante
( ) = ( sen cos sen sen cos ) .
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 R3 , y la segunda componente
es un cociente de polinomios cuyo denominador no se anula en , por lo que
es diferenciable en ). Del mismo modo, es diferenciable en R3 , por ser
diferenciables en R3 sus tres componentes (ya que las tres componentes de
son productos de funciones diferenciables).
Consideremos, en particular, el punto 2 3 6 , enel cual es diferenciable,
y se verifica que es diferenciable en 2 3 6 = 32 23 1 . Aplicando la
Regla de la Cadena, resulta que es diferenciable en el punto 2 3 6 ,

siendo

( ) 2
= 2
2
=
3 6
3 6
3 6!

3
3
1 2
=
.
2 2
3 6
Finalmente, teniendo en cuenta que
!

2
2
3
3
1 =
2
2
2
2 2
(2 +2 )
(2 +2 )2
0
1
2 +2
y que
sen cos

2
= sen sen
3 6
cos
3
4
3
4
1
2
cos cos
cos sen
sen

3
23
2
1
3
,
2
2
3
0
3
3
2 2 1
3
13
93
sen sen
sen cos
=
0
(2 3 6 )
53
0
1
3
se llega, multiplicando las matrices, a

( ) 2
=
3 6
=
3
13
3
16
93
0
1
3
2 3 0
.
59 3 0
3
4
3
4
1
2
3
2
1
2
3
2
3
2
6.3.3.6.2. Ejemplo.
Para la funcin : R2 R definida mediante
(
2
2
2
para ( ) 6= (0 0)
2
+
( ) =
,
0
para ( ) = (0 0)
vimos en el ejemplo 6.2.2.2. que existen las
todo R2 , que estn definidas por
(
(4 4 +42 2 )
(2 +2 )2
( ) =
0
(
4
4
( 42 2 )
(2 +2 )2
( ) =
funciones derivadas parciales en
para ( ) 6= (0 0)
para ( ) = (0 0)
para ( ) 6= (0 0) ,
para ( ) = (0 0)
y que ambas funciones

y son continuas en todos los puntos, en particular
en (0 0). Por tanto, es diferenciable en todo R2 , en particular en (0 0).
Por otra parte, en el ejemplo 6.3.2.1.1. vimos que la funcin : R2 R

definida mediante
1
para ( ) 6= (0 0)
sen 2 +
2
,
( ) =
0
para ( ) = (0 0)
admite derivadas parciales en todos los puntos, en particular en el origen (0 0),
y que dichas derivadas parciales se definen mediante

2
1
1
(2 +2 )2 sen 2 +
2 2 cos 2 + 2
para ( ) 6= (0 0)
( ) =
(2 + 2 )2
0
para ( ) = (0 0)

2
1
1
(2 +2 )2 sen 2 +
2 2 cos 2 + 2
para ( ) 6= (0 0) .
2
2
2
( ) =
( + )
0
para ( ) = (0 0)
Es fcil probar, por ejemplo pasando a coordenadas polares en las expresiones
de
( ) y ( ) 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 diferenciable en (0 0). Este ejemplo prueba, una vez ms, que la condicin vista en
6.3.3.4. es tan solo una condicin suficiente, 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 grfica de la funcin : R2 R definida mediante
2
2
( ) = 2 + 2 ( + ) ,
en el cubo [2 2] [2 2] [2 2].
Aplicando las propiedades de las funciones diferenciales, vemos que la funcin
es diferenciable ( ) R2 . Sus derivadas parciales de primer orden son
2
2
( ) = 2( + ) 1 2 2
2
2
( ) = 2( + ) 1 2 2 .
Figura 22
Se observa que la superficie = ( ) se obtiene haciendo girar la curva
2
= 2
,
=0
55
cuya grfica se muestra en la Figura 23, alrededor del eje .
Figura 23
Por tanto, en todos los puntos ( ) R2 tales que 2 + 2 = 1, se verifica
que
( ) = ( ) = 0, y la ecuacin del plano tangente a la grfica de
en cada uno de dichos puntos es
es decir,
2
2
= 2 + 2 ( + ) + 0( ) + 0( ),
2
2
= 2 + 2 ( + ) = 1 ,
por lo que el plano tangente en cualquiera de dichos puntos es = 1 , es decir,

horizontal. La Figura 24 muestra la grfica de y el plano tangente a dicha
56
grfica en cualquiera de estos puntos ( ).
Figura 24
Dado que es diferenciable, la derivada direccional segn cualquier vector
unitario = (1 2 ) en el punto ( ) se puede expresar mediante
( ) = ( ) =
( )
( )
1 +
2 .
En particular, en todos los puntos ( ) R2 tales que 2 + 2 = 1, al ser

( ) = (0 0)
se verifica que
( ) = 0
6.3.3.6.4. Ejemplo.
Supongamos el campo escalar (1 2 3 ) R3 = (1 2 3 ) R,

1
diferenciable en R3 , y las funciones de una variable 1 : R 1 = 1 (),
2
3
2 : R 2 = 2 (), y 3 : R 3 = 3 (), diferenciables en
R. Consideremos el campo vectorial : R R3 definido mediante () =
(1 () 2 () 3 ()). Entonces, aplicando la Regla de la Cadena, resulta que la
funcin es diferenciable en R3 , y se verifica que
( ) () = (()) ().
57
Desarrollando la expresin anterior, se llega a

1
2
3
=
+
+
,
1
2
3
que se acostumbra a escribir de ls forma siguiente:
1
2
3
=
+
+
.
1
2
3
6.3.3.6.5. Ejemplo.
Supongamos el campo escalar ( ) R2 = ( ) R, diferenciable

1
en R2 , y los campos escalares 1 : ( ) R2 = 1 ( ), y 2 : ( )
2
R2 = 2 ( ), diferenciables en R2 . Consideremos el campo vectorial
2
: R R2 definido mediante ( ) = (1 ( ) 2 ( )). Entonces, aplicando
la Regla de la Cadena, resulta que la funcin es diferenciable en R2 , y se
verifica que
( ) ( ) = (( )) ( ).
=
=

+

+
.

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 e , indicando que es funcin de e . Un
segundo escaln est constituido por ramas que unen cada una de las variables
intermedias e con las variables independientes y , indicando que tanto
como son funcin de y . En estas condiciones, se obtiene
mediante la
suma de los productos de las derivadas parciales que figuran en cada rama, desde
hasta , y se obtiene
mediante la suma de los productos de las derivadas
parciales que figuran en cada rama, desde hasta .
Figura 25
58
6.3.3.6.6. Ejemplo.
Generalizando los casos anteriores, supongamos el campo escalar (1 2 )
R = (1 2 ) R, diferenciable en R , y los campos escalares

1
2
1 : (1 2 ) R 1 = 1 (1 2 ), 2 : (1 2 ) R
2 = 2 (1 2 ),..., y : (1 2 ) R = (1 2 ),
diferenciables en R . Consideremos el campo vectorial : R R definido

mediante
(1 2 ) = (1 (1 2 ) 2 (1 2 ) (1 2 ))
Entonces, aplicando la Regla de la Cadena, resulta que la funcin es
diferenciable en R3 , y se verifica que
( ) (1 2 ) = ((1 2 )) (1 2 ).
1
2

=
+
+ +
,
1
2

para cada = 1 2 .
Tambin en este caso es posible construir el correspondiente rbol de dependencias. Un primer escaln del rbol est constituido por ramas que unen
la variable dependiente con las variables intermedias 1 2 , indicando
que es funcin de 1 2 . Un segundo escaln est constituido por ramas
que unen cada una de las variables intermedias 1 2 con las variables
independientes 1 2 , indicando que cada es funcin de 1 2 . En
mediante la suma de los

estas condiciones, se obtiene la expresin anterior
productos de las derivadas parciales que figuran en cada rama, desde hasta .
7. Teorema de la funcin inversa.
7.1. Introduccin.
Sean R un conjunto abierto, , y : R R un campo
vectorial, con = (1 2 ), donde : R R para = 1 2 son
campos escalares que representan las componentes del campo vectorial . Si
es biyectivo, y es posible resolver explcitamente el sistema
1 = 1 (1 2 )
2 = 2 (1 2 )
[],
= (1 2 )
59
expresando 1 2 , en trminos de 1 2 , dando lugar a
1 = 1 (1 2 )
2 = 2 (1 2 )
,
= (1 2 )
entonces = (1 2 ) 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 criterio 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, finalmente, 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 coeficientes
es no nulo. Cabe, por ello, pensar que, cuando no es lineal, dado que
() = () + ()( )
es la mejor aproximacin lineal a localmente (en una bola del punto ), la
condicin de que () sea regular ser determinante para garantizar la existencia de inversa local.
En general, si es R un conjunto abierto, y : R R un campo
vectorial, con = (1 2 ), se dice que es una funcin regular en si
1 (), es inyectiva en , y se verifica que el determinante jacobiano de
en el punto es no nulo:
| ()| 6= 0.
Como veremos a continuacin, en el teorema de la funcin inversa (local) esta
condicin de que sea | ()| 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 un conjunto abierto, y : R R un campo vectorial,
con = (1 2 ), donde : R R para = 1 2 son campos
escalares que representan las componentes del campo vectorial . Supongamos
que 1 () y que | ()| 6= 0 . Entonces, para cualquier ,
existe un conjunto abierto conteniendo al punto en el cual : ( )
es regular. Ms aun, el conjunto = ( ) es un conjunto abierto, y la funcin
inversa 1 : verifica que 1 1 ( ), y que
1 () = ( ())1 ,
donde = ().
60
7.2.1. Ejemplo.
Consideremos la funcin : R2 R2 definida mediante
( ) = ( ) = ( cos sen ) .
Por la propiedades de las funciones diferenciables, se verifica que 1 (R2 ),
y ( ) R2 se cumple que

cos sen
= 2 6= 0.
| ( )| =
sen cos
Si bien en la expresin
( ) = ( cos sen ) ,
es posible despejar en trminos de , dando lugar a

1
( ) = log 2 + 2 2 arc tan

,
observa que no existe funcin inversa global (dado que, al ser ( ) = ( +

2) Z, no es inyectiva). Sin embargo, dado que cumple las condiciones
del Teorema de la funcin inversa ( 1 (R2 ) y | ( )| 6= 0 ( ) R2 ),
es localmente invertible en cualquier punto ( ) R2 . Por tanto, ( ) R2
existe un conjunto abierto conteniendo al punto ( ) en el cual : ( )
es regular. Ms aun, el conjunto = ( ) es un conjunto abierto, y la funcin
inversa local 1 : verifica que 1 1 ( ), y que
cos sen
( ) = ( ( )) =
sen cos

cos sen
=
.
sen cos
1
donde ( ) = ( ).
En particular,
si consideramos el punto ( ) = 1 6 , se verifica que
1 6 = 2 3 2 , y es
1
3
=
=
1
2 2
6
1
!
1
3
2
1
2
2
1 3
2
3
2
61
3
2
!1
7.2.2. Ejemplo.
Consideremos la funcin : R2 R2 definida mediante
( ) = ( ) = 2 2 2 .
Por la propiedades de las funciones diferenciables, se verifica que 1 (R2 ),

y ( ) R2 se cumple que
2 2
= 4(2 + 2 ).
| ( )| =
2 2
Por tanto, ( ) R2 \ (0 0) es | ( )| 6= 0, y en el origen de coordenadas

es | (0 0)| = 0.
Observamos que no admite funcin inversa global (ya que, al ser ( ) =
( ) no es inyectiva). Sin embargo, dado que cumple las condiciones
del Teorema de la funcin inversa en todo punto ( ) R2 \ (0 0) ( 1 (R2 )
y | ( )| 6= 0 ( ) R2 \ (0 0)), es localmente invertible en cualquier
punto ( ) R2 \ (0 0). Por tanto, ( ) R2 \ (0 0) existe un conjunto
abierto conteniendo al punto ( ) en el cual : = ( ) es regular.
Ms aun, en tales casos, el conjunto = ( ) es un conjunto abierto, y la
funcin inversa local 1 : verifica que 1 1 ( ), y que
1 ( ) = ( ( ))
2 2
2 2
1
2(2 + 2 )
donde ( ) = ( ).
En particular, si consideramos el punto ( ) = (3 2), se verifica que (3 2) =
(5 12), y es
1 (5 12) = ( (3 2))1 =
6 4
4 6
1
26
3 2
2 3
Finalmente, la diferencial de 1 en el punto (5 12), se expresa mediante
1
3 2
=
1 (5 12) =
2 3
26
1
3 + 2
=
.
2 + 3
26
7.2.3. Ejemplo.
Sea : R R una aplicacin lineal cuya matriz asociada en la base
cannica de R es (R), y sea R un vector constante. Entonces, la
aplicacin afn definida R mediante
= () = +
62
es local y globalmente invertible en R si y solamente si || 6= 0. Adems, dado

que R es
() = ,
y siempre que sea || 6= 0, la inversa de se define R mediante
1 ( ) = 1 ( ),
verificndose R que
1 ( ) = 1 .
En particular, consideremos la aplicacin afn : R3 R3 definida mediante
( ) = ( + 2 3 + 6 2 + 5 4 3 35),
que, poniendo = ( ) , se puede expresar matricialmente mediante
() = + ,
con

1 2
3
6
= 0 1 2 , = 5 .
4 3 35
0
Dado que || = 1 6= 0, es local y globalmente invertible en R , y R es

() = .
La inversa de se define R , con = ( ), mediante
1 ( ) = 1 ( ),
verificndose R que
1 ( ) = 1
y que
29
79 7
= 8 23 2 ,
4
11 1
29
79 7
1 ( ) = 8 23 2
4
11 1
29 + 79 7
= 8 23 + 2
4 + 11
63
8. Teorema de la funcin implcita.

8.1. Introduccin.
Sean 1 R y 2 R conjuntos abiertos, y consideremos el campo
vectorial : 1 2 R+ R , con = (1 2 ), donde :
1 2 R+ R para = 1 2 son campos escalares que representan
las componentes del campo vectorial . En este apartado, estudiaremos en que
condiciones, para cada (1 ) 1 , el sistema de ecuaciones
1 (1 1 ) = 0
()
(1 1 ) = 0
define a 1 como funciones de 1 , es decir
1 = 1 (1 )
().
= (1 )
Se dice entonces que el sistema () define implcitamente funciones , para =

1 2 , y estas funciones se denominan funciones implcitas. Para simplificar
la notacin, escribiremos en este apartado = (1 ), = (1 ) (en
aplicaciones prcticas, con frecuencia las componentes del vector se denotan
por , y las componentes del vector por ) con lo que () y
() se pueden representar respectivamente mediante ( ) = 0 y = ().
En el caso particular de que el sistema () sea un sistema lineal, del tipo
11 1 + 12 2 + + 1 + 11 1 + 12 2 + + 1 = 0
21 1 + 22 2 + + 2 + 21 1 + 22 2 + + 2 = 0
,
1 1 + 2 2 + + + 1 1 + 2 2 + + = 0
entonces, reescribindolo en la forma
+ = 0,
donde
11
..
= .
1
1
..
..
.
.

1
..
= .
11 1
.. ,
..
= ...
.
.
1
= ... ,
64
de + = 0, se sigue que
= 1 ,
y adems de manera nica, si y solamente si la matriz es regular (i.e. || 6= 0).
Qu sucede si el sistema no es lineal? En tal caso, el sistema () se expresa
simplificadamente mediante ( ) = 0, y la matriz de la diferencial de ,
1
1
1
1

1
1
.. ,
..
..
..
..
( ) = ...
.
.
.
.
.
se puede escribir en la forma
( ) = ( ( ) ( ))
donde
( ) =
1
1
..
.
..
.
..
.
, ( ) =
1
1
..
.
..
.
..
.
Si fuera lineal, poniendo = ( ) y = ( ), hemos visto que el

sistema ( ) = 0 define a como funcin de en todo R si y solamente si
= ( ) es una matriz regular. El siguiente teorema asegura que, siempre
que sea 1 (1 2 ), se puede trasladar localmente este resultado a los
sistemas no lineales, simplemente poniendo = ( ) y = ( ), y
exigiendo que sea | ( )| 6= 0 en el punto ( ) considerado.
8.2. Teorema de la funcin implcita.
Sean 1 R y 2 R conjuntos abiertos, = 1 2 , y consideremos
el campo vectorial : R+ R , donde 1 2 , componentes de
, son campos escalares de las variables 1 , 1 . Supongamos que
1 () y sea ( ) , con = (1 ) 1 y = (1 ) 2 , tal
que ( ) = 0 y ( ) es regular (i.e. | ( )| 6= 0). Entonces, existe
un conjunto abierto , con ( ) , en el cual ( ) es regular
(i.e. | ( )| 6= 0 ( ) ), y existe un conjunto abierto conteniendo
al punto , con 1 , sobre el cual queda definido de manera nica un
campo vectorial : R , tal que 1 ( ), () = , ( ())
y ( ()) = 0, para todo . Ms an, la diferencial de dicho campo
vectorial es tal que
() = [ ( ())]1 ( ()) .
Se presenta un caso particular notable cuando es un campo escalar de las
variables 1 , . En tal caso, el corolario siguiente particulariza el Teorema
65
de la funcin implcita para el caso

(1 ) = 0,
dando condiciones para que, localmente, dicha ecuacin defina implcitamente
una funcin diferenciable = (1 ).
8.3. Corolario.
Sean 1 R y 2 R conjuntos abiertos, = 1 2 , y consideremos el
campo escalar : R+1 R, de las variables 1 , . Supongamos que
1 () y sea ( ) , con = (1 ) 1 y 2 , tal que ( ) = 0
()
y
6= 0. Entonces, existe un conjunto abierto , con ( ) , y
existe un conjunto abierto conteniendo al punto , con 1 , sobre
el cual queda definido de manera nica un campo escalar : R, tal que
1 ( ), () = , ( ()) , ( ()) = 0, y (())
6= 0, para todo
. Ms an, para cada = 1 2 , la derivada parcial de dicho campo

escalar respecto a la variable queda definida mediante
()
()
=
.
()
En particular, para ( ) = 0, y siempre que se cumplan las condiciones dadas

en el corolario para que dicha ecuacin defina localmente de manera nica a
= (), se verifica que
( )
,
0 () =
( )
y, para ( ) = 0, siempre que se cumplan las condiciones dadas en el
corolario para que dicha ecuacin defina localmente de manera nica a =
( ), se verifica que
( ) =
( )
( )
, ( ) =
.
( )
( )
8.4. Ejemplos.
8.4.1. Ejemplo.
Consideremos la ecuacin
( ) = 4 4 33 3 + 32 2 3 + 2 = 0.
Veamos que, en las proximidades del punto (1 1) R2 , dicha ecuacin define
una funcin diferenciable = () tal que ( ()) = 0. En efecto, sea
= ( ) R2 : ( ) = 0 .
66
Dado que ( ) es
( ) = 43 4 92 3 + 62 3,
( ) = 44 3 93 2 + 62 3,
se verifica que 1 ( ) (en realidad, tambin es 1 (R2 )) y que (1 1) =
2 6= 0. Por tanto, aplicando el anterior corolario, en las proximidades del
punto (1 1) dicha ecuacin define una funcin diferenciable = () tal que
( ()) = 0.
En dicho punto (1 1), y para dicha funcin implcita = (), obtenemos
0 (1) =
10
(1 1)
=
= 2.
(1 1)
5
8.4.2. Ejemplo.
Consideremos la ecuacin
( ) = sen + cos tan = 0.
Veamos que, en las proximidades de cualquier punto ( ) R3 tal que
( ) = 0, dicha ecuacin define una funcin diferenciable = ( ) tal
que ( ( )) = 0. En efecto, sea
= ( ) R3 : ( ) = 0 .
Dado que ( ) es
( ) = cos ,
( ) = sen ,
1
( ) = 2 = sec2 = (1 + tan2 ) = 1 (sen + cos )2 ,
cos
se verifica que 1 ( ) y que ( ) 6= 0 ( ) . Por tanto,
aplicando el corolario anterior, en las proximidades de cualquier punto ( )
R3 tal que ( ) = 0, dicha ecuacin define una funcin diferenciable =
( ) tal que ( ( )) =
1 (R3 ).
embargo, observa que

0.Sin
Enparticular,
en el punto 6 3 4 se verifica que 6 3 4 = 0, por lo
que 6 3 = 4 y, utilizando diferenciacin implcita, se obtiene
1
cos
=
=
6 3
1 + (sen + cos )2 ( ) 4
6 3

1
sen
= .
=
6 3
1 + (sen + cos )2 ( )
4
6
67
8.4.3. Ejemplo.
En el contexto del Teorema visto en el apartado 8.2., dado el campo vectorial
: R3 R2 R2 definido mediante
( ) = (2 + 2 2 3 2 + 2 2 2 2 + + ),
consideremos el sistema
2 + 2 2 3 2 + 2 2 = 0
2 2 + + = 0
(),
y el punto (1 1 1 32 12 ). Veamos que, en las proximidades de este punto, se

cumplen las condiciones que plantea el Teorema de la funcin implcita. En
efecto, al ser
3 1
= (0 0) ,
1 1 1
2 2
1 R3 R2 , y
2 2
3 1
( ) =
=
1
1 (111 3 1 )
1 1
2 2
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 32 12 ) R3 R2 , en el cual ( ) es regular
(i.e. | ( )| 6= 0 ( ) ), y existe un conjunto abierto conteniendo
al punto (1 1 1), con (1 1 1) R3 , sobre el cual el sistema () define
de manera nica dos funciones implcitas = 1 ( ) y = 2 ( ), componentes
de un campo vectorial : R2 , tal que 1 ( ), (1 1 1) =
3 1
2 2 , ( ( )) y ( ( )) = 0, para todo ( ) .
Ms an, la diferencial de dicho campo vectorial es tal que
( ) = [ ( ())]1 ( ()) .
En particular, en el punto (1 1 1) , se verifica que
3 1
3 1
=
=
1 1 1
1 1
2 2
y que

3 1
2 4
=
1 1 1
2 2
2 2
6
1
(111 32 12 )
68
1
2
1
2
12
32
2 4 6
2 2 1
por lo que
(1 1 1) =
1
2
1
2
12
32
2 4 6
2 2 1
2 3 52
4 5 32
9. Mximos y mnimos.
9.1. Definiciones.
Sean R un conjunto abierto, y : R R un campo escalar. Se
dice que es un mximo (resp. mnimo) local o relativo de en si existe
un nmero real 0 tal que
() () (resp. () ()), ( ),
donde ( ) representa una bola abierta de centro y radio .
Se dice que es un mximo (resp. mnimo) global o absoluto de en
si
() () (resp. () ()), .
A los mximos y mnimos locales se les denomina extremos locales. En
funciones diferenciables de dos variables, en los que la grfica de la funcin es la
superficie "suave" = ( ), de existir algn mximo local, correspondera a
un punto en el cul dicha superficie presenta un "pico de montaa" y, de existir
un mnimo local, correspondera a un punto situado en el "fondo de un valle"
de dicha superficie (observa dicho "pico" y "valle", por ejemplo, en la grfica de
la Figura 19).
9.2. Una condicin necesaria de extremo local.
Sean R un conjunto abierto, y : R R un campo escalar para
el cual todas las derivadas parciales de primer orden existen en el punto .
Si es un extremo local de , entonces
() = 0, para = 1 2
En efecto, sean 1 = (1 0 0 0),, = (0 0 0 1) los vectores de la
base cannica de R , y definamos las funciones de una variable
() = ( + ) , para cada = 1 2
Entonces, dado que todas las derivadas parciales de primer orden existen en
el punto , cada es derivable en el punto = 0, con
0 (0) = ().
Finalmente, al ser un extremo local de , resulta que = 0 es un extremo
local de cada , por lo que 0 (0) = 0 para cada = 1 2 , y de aqu se sigue
que () = 0, para = 1 2 .
69
Los puntos para los cuales, o bien existen todas las derivadas parciales
de primer orden y son tales que () = 0, para = 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 suficiente. Consideremos la funcin : R2 R
definida mediante
( ) = 3 + 3 .
Para esta funcin, se verifica que
(0 0) = (0 0) = 0.
Sin embargo, (0 0) no es un extremo local de , ya que en cualquier bola
abierta del punto (0 0), es
( ) (0 0) = 3 0,
para puntos ( 0) tales que 0, y es
( ) (0 0) = 3 0,
para puntos ( 0) tales que 0.
Esta funcin, cuya grfica 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 para los cuales existe un nmero real 0 tal que () () no
mantiene signo constante en una bola abierta de centro y radio , se denominan
puntos de silla o de ensilladura.
9.3. Una condicin suficiente de extremo local.
Sean R un conjunto abierto, y : R R un campo escalar de
clase 2 en , 2 (). Supongamos que en el punto se verifica que
70
() = 0 para = 1 2 , y consideremos
1 2 ()
1 1 ()
2 1 ()
2 2 ()
.
..
..
..
() =
.
.
1 1 () 1 2 ()
2 ()
1 ()
la matriz (simtrica)
1 1 ()
2 1 ()
..
.
1 ()
2 ()
..
.
1 1 () 1 ()
1 ()
()
denominada matriz hessiana de en el punto . Los menores principales de

() son 1 = 1 1 (),
1 1 () 1 2 () 1 3 ()
1 1 () 1 2 ()
3 = 2 1 () 2 2 () 2 3 ()
2 =
2 1 () 2 2 ()
3 1 () 3 2 () 3 3 ()
1 1 ()
1 2 () 1 1 ()
2 1 ()
2 2 () 2 1 ()
1 =
= | ()| .
..
..
..
..
.
.
.
.
() () ()
1 1
1 2
1 1
Entonces:
Si 0 para = 1 2 , entonces el punto es un mnimo local de

.
Si (1) 0 para = 1 2 , entonces el punto es un mximo
local de .
Si = | ()| 6= 0, y no se presenta ninguno de los dos casos anteriores,
entonces el punto es un punto de silla de .
En los restantes casos, esta condicin suficiente 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 definicin, analizando el signo de () ()
en una bola del punto .
Particularizando la condicin anterior para el caso de las funciones de dos
variables, supongamos que R2 es un conjunto abierto, y que : R2
R es un campo escalar de dos variables de clase 2 en , 2 (), para el cual
en el punto ( ) se verifica que
( ) = ( ) = 0.
En este caso, la matriz hessiana de en ( ) es
( ) ( )
,
( ) =
( ) ( )
71
y la discusin se puede plantear en trminos del determinante de esta matriz

| ( )| = ( ) ( ) ( ( ))2 ,
llamado hessiano de en ( ), del modo siguiente:
Si ( ) 0 y | ( )| 0, entonces ( ) es un mximo local de .
Si ( ) 0 y | ( )| 0, entonces ( ) es un mnimo local de .
Si | ( )| 0, entonces ( ) es un punto de silla de .
Cuando | ( )| = 0, esta condicin suficiente 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 definicin, analizando el signo de
( ) ( ) en una bola del punto ( ).
9.4. Ejemplos.
9.4.1. Ejemplo.
La grfica de la funcin : R2 R definida mediante
( ) = 1 2 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 verifica que (R2 ), por lo que se pueden
aplicar las condiciones anteriormente introducidas. Al aplicar la condicin necesaria de extremo, se llega al sistema
= 2 = 0
= 2 = 0,
cuya solucin es = = 0, por lo que el nico punto crtico es (0 0).

Al aplicar la condicin suficiente a este punto (0 0), dado que = 2,
= 2, = 0, observamos que se verifica en dicho punto (y en todo punto
de R2 ) que
2
(0 0) = 2 0, | (0 0)| = (0 0) (0 0) ( (0 0)) = 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 definicin, analizaremos el signo de ( ) (0 0) en todo R2 y, dado que
( ) (0 0) = 1 2 2 1 = 2 + 2 0,
72
para todo ( ) R2 , resulta que (0 0) es el mximo global de , correspondiendo al punto (0 0 1) de su grfica.

9.4.2. Ejemplo.
La grfica de la funcin : R2 R definida mediante
sen 2 +2
2 2
( ) 6= (0 0)
( ) =
+
1
( ) = (0 0)
p
fue bosquejada en la Figura 13. Poniendo = 2 + 2 , se obtiene la funcin
sen
0
() =
1
=0
cuya grfica se represent en la Figura 14. Para esta funcin , dado que
sen 0,
se verifica que
sen
1 0,
y, al ser (0) = 1, resulta que presenta un mximo absoluto en el punto

= 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 , resultando
0 que
cos sen
,
0 () =
2
por lo que 0 () = 0 si y solamente si tan = . Esta ecuacin se puede resolver
numricamente, resultando las 4 primeras races
1 44934; 2 77253; 3 109041; 4 140662.
El estudio del signo de la derivada primera, revela que la primera raz corresponde 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
2 + 2 = 12
,
= sen11
es una circunferencia de mnimos relativos de la funcin , que
2 + 2 = 22
,
= sen22
es una circunferencia de mximos relativos de la funcin , y as sucesivamente (observa estos resultados sobre la grfica de la funcin, representada en
la Figura 13).
73
9.4.3. Ejemplo.
2
2
mediante ( ) = (22 + 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 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 pasa por los puntos (0 1) y (0 1). Los
conjuntos de nivel , con 1 2 estn constituidos por parejas de curvas
cerradas simtricas respecto al eje (por ejemplo, las de color azul en la
Figura 16). Y los conjuntos de nivel , con 0 1 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 (R2 ), por ser producto de funciones de (R2 ), 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
= 2(
= 2(
+ 2 )
+2 )
(2 + 22 + 2 ) = 0
(1 + 22 + 2 ) = 0,
cuyas soluciones son los puntos

(0 0) (0 1) (0 1) (1 0) (1 0) .
Al aplicar la condicin suficiente, dado que
2
+2 )
+2 )
( ) = 2(
( ) = 2(
( ) = 4(
(2 102 + 44 + 22 2 2 )
(1 22 + 42 2 5 2 + 2 4 )
+ 2 )
(3 + 22 + 2 ),
observamos que en el punto (0 0) se verifica que

2
(0 0) = 4 0, | (0 0)| = (0 0) (0 0) ( (0 0)) =
= 4 2 02 = 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
definicin, analizaremos el signo de ( ) (0 0) en todo R2 y, dado que
( ) (0 0) = (22 + 2 )(
+ 2 )
0,
para todo ( ) R2 , resulta que (0 0) es el mnimo global de , correspondiendo al punto (0 0 0) de su grfica.

Tanto en el punto (0 1) como en el punto (0 1), dado que
(0 1) = 21 0, | (0 1)| = (0 1) (0 1) ( (0 1))2 =
= 21 (41 ) 02 = 82 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
(1 0) = 81 0, | (1 0)| = (1 0) (1 0) ( (1 0))2 =
= 81 (21 ) 02 = 162 0,
resulta que ambos puntos son mximos relativos de (observa estos resultados
sobre la grfica de la funcin, representada en la Figura 15). Por otra parte, de la
grfica de se deduce que dichos puntos (1 0) y (1 0) tambin son mximos
absolutos
de , correspondiendo respectivamente a los puntos 1 0 21 y
1 0 21 de su grfica.
9.4.4. Ejemplo.
En la Figura 18 se bosquejan las curvas de nivel de la funcin : R2 R

1
2
2 2
2
2
definida mediante
( )
= (
+ ) + . Para = 4 se obtienen
los puntos 12 0 y 12 0 , que veremos corresponden a los dos mnimos

absolutos de la funcin. La lnea de nivel 0, que est definida por la ecuacin
(2 + 2 )2 2 + 2 = 0,
es la lemniscata de Bernouilli. Para 14 0 se obtienen pares de curvas
cerradas simtricas respecto al eje y situadas en el interior de los dos lazos
de lemniscata; Para 0 se obtienen curvas cerradas exteriores a la lemniscata.
Dado que (R2 ), por ser un polinomio, 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
= 2(22 + 2 2 1) = 0
= 2(22 + 2 + 1) = 0,

1
1
(0 0) 0 0 .
2
2
( ) = 122 + 4 2 2
( ) = 42 + 12 2 + 2
( ) = 8,
(0 0) = 2 0, | (0 0)| = (0 0) (0 0) ( (0 0))2 =
= 2 2 02 = 4 0,
75
por lo que el punto (0 0) es un punto

de silla
de .
1
Finalmente, tanto en el punto 2 0 como en el punto 12 0 , dado
que
1
= 4 0,
0
2
1 0 = 1 0 1 0 ( 1 0
=
2
2
2
2
= 4 4 02 = 16 0,
resulta que ambos puntos son mnimos relativos de . Un anlisis de la grfica

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 12 0

tambin son mnimos
absolutos de , correspondiendo respectivamente a los
1
1
puntos 2 0 4 de su grfica.
9.4.5. Ejemplo.
2
mediante ( ) = 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 (R2 ), por ser un cociente de polinomios en el cual el
denominador es no nulo ( ) R2 , se pueden aplicar las condiciones introducidas en los apartados 9.2 y 9.3. Al aplicar la condicin necesaria de extremo,
76
se llega al sistema
= 2
4
2
(2
+ 2 + 1)
2 2 + 1
(2 + 2 + 1)2
=0
= 0,

(0 1) (0 1) .
( ) =
( ) =
( ) =
4(32 2 1)
(2 + 2 + 1)3
4(32 2 + 3)
(2 + 2 + 1)3
4(2 3 2 + 1)
3
(2 + 2 + 1)

2
(0 1) = 1 0, | (0 1)| = (0 1) (0 1) ( (0 1)) =
= 1 (1) 02 = 1 0,
por lo que el punto (0 1) es un mximo relativo de .
Finalmente, en el punto (0 1) se verifica que
2
(0 1) = 1 0, | (0 1)| = (0 1) (0 1) ( (0 1)) =
= 1 1 02 = 1 0,
por lo que el punto (0 1) es un mnimo relativo de .
Un anlisis de la grfica de , revela que dichos puntos (0 1) y (0 1) son, respectivamente, el mximo absoluto y el mnimo absoluto de , correspondiendo
a los puntos (0 1 1) y (0 1 1) de su grfica.
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 (1 2 ) sobre cierto conjunto,
definido por una serie de restricciones. En este apartado, nos ocuparemos
del caso en que dichas restricciones estn definidas por ecuaciones del tipo
(1 2 ) = 0, para = 1 2 , es decir
1 (1 2 ) = 0
2 (1 2 ) = 0
[],
(1 2 ) = 0
77
con , todas ellas de igualdad. Para hallar los valores extremos de

sobre el conjunto , podemos aplicar la siguiente condicin necesaria, llamada
teorema de los multiplicadores de Lagrange (aos 1736 a 1813):
clase 1 en , = (1 2 ) : R R un campo vectorial de clase 1
en , y el conjunto de puntos tales que
1 (1 2 ) = 0
2 (1 2 ) = 0
[]
(1 2 ) = 0
con . Si es un punto de extremo relativo de sobre y los vectores

1 (), 2 (), ..., () son linealmente independientes, entonces existen
nmeros reales 1 , 2 ..., , llamados multiplicadores de Lagrange, tales que
es punto crtico de la funcin
(1 2 1 2 ) = ()
(),
=1
que se denomina Lagrangiano del problema.

Para clasificar dichos puntos crticos, a veces es suficiente aplicar la definicin, estudiando el signo de () () en una bola del punto contenida en
, para lo cual a menudo se recurre a consideraciones geomtricas. En otros
casos, puede ser til aplicar una condicin suficiente, como la que veremos a
continuacin para el caso de un campo escalar : R R sometido a una
nica restriccin de igualdad del tipo (1 2 ) = 0.
clase 2 en , : R R un campo escalar de clase 2 en , y el
conjunto de puntos tales que
() = 0 .
Sea un punto tal que () 6= 0, y tal que existe R verificando que
() = (). Formemos el Lagrangiano
( ) = () (),
construyamos la matriz hessiana de orlada por el
0
1
1 1 1 1 2
( ) = 2 2 1 2 2
..
..
..
..
.
.
.
.
1 2
gradiente de , ( ),
2
,
..
.
1
78
()
y en ella consideremos los menores angulares de orden mayor o igual
2
1
0
2
1
1 1 1 1 2
1 = 1 1 1 1 2
2 =
2 2 1 2 2
2 2 1 2 2
3 3 1 3 2
()

= |( )|
que 3:
3
1 3
2 3
3 3
()
Si 1 0 2 0 |( )| 0 (todos los menores angulares son

menores que 0), entonces el punto = es un mnimo local de sobre .
Si 1 0 2 0 y 0, para impar, o 0, para par (los
menores angulares alternan sus signos, empezando por 1 , que es mayor
que 0), entonces el punto = es un mximo local de sobre .
En otros casos este criterio no decide acerca de si el punto = es mximo
o mnimo.
Por ejemplo, en el caso = 2 y = 1 (es decir, para obtener los valores
extremos de ( ) sobre
el conjunto (
) = 0), dicha condicin suficiente

0
0, entonces el punto ( ) =
establece que si 1 =

()
( ) es un mnimo local de sobre , y si 1 0, entonces el punto ( ) =
( ) es un mximo local de sobre (siempre que se cumpla la condicin
necesaria en ( ) = ( )).
9.5.1. Ejemplos.
9.5.1.1. Ejemplo.
Consideremos el problema de hallar y clasificar los valores extremos de la
funcin
( ) = ,
sujeta a la restriccin
2
2
+
= 1.
9
4
Aplicando el mtodo de los multiplicadores de Lagrange,el Lagrangiano del
problema es
2
2
+
1 ,
( ) =
9
4
79
y la condicin necesaria de extremo introducida en el apartado anterior, conduce

al sistema
2
= = 0
9
1
= = 0
22
2
+
1 = 0.
=
9
4
Despejando en la primera ecuacin y sustituyendo su expresin en la segunda, se llega a
1 2
1 =0
9
de donde se sigue que, o bien = 0, o bien = 3. Ahora bien, si sustituimos
= 0 en la primera ecuacin, obtenemos = 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 sistema
2
= 0
3
3
= 0,
2
(observa que ambas ecuaciones son linealmente dependientes) que es equivalente
a la ecuacin
2
= .
3
Sustituyendo esta expresin = 23 en la tercera condicin ( = 0), se
llega a
2 2
+
= 1,
9
9
de donde se sigue que = 3 2 2 . Sustituyendo = 3 2 2 en la expresin

= 23 , se llega a = 2, por lo que un primer punto crtico es el 3 2 2 2 .
2
Anlogamente, sustituyendo = 3 2 2 en la expresin
3, se llega a
=
3 2
= 2, por lo que un segundo punto crtico es el 2 2 .
Sustituyendo ahora = 3 en las ecuaciones primera ( = 0) y segunda
( = 0), obtenemos el sistema
2
+ = 0
3
3
+ = 0,
2
80
(observa que ambas ecuaciones son linealmente dependientes) que es equivalente

a la ecuacin
2
= .
3
Sustituyendo esta expresin = 23 en la tercera condicin ( = 0), se
llega a
2 2
+
= 1,
9
9
de donde se sigue que = 3 2 2 . Sustituyendo = 3 2 2 en la expresin

=

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

Para clasificar estos puntos, podemos razonar sobre la Figura 28, en la que
2
2
se muestra en color verde la elipse 9 + 4 = 1 (restriccin), en color rojo las
lneas de nivel 2 y 3 de la funcin ( ) = , y en color azul las lneas de
nivel 2 y 3 de .
Figura 28
De la Figura28 y de la
definicin de mximo
y mnimo condicionado, se sigue

que los puntos 3 2 2 2 y 3 2 2 2 son mximos relativos del problema,

y que los puntos 3 2 2 2 y 3 2 2 2 son mnimos relativos de este
problema de ptimos condicionados.
81
A este resultado tambin se puede llegar aplicando la condicin suficiente

anteriormente introducida. En efecto, dado que
0
0
9
2
2
=
1
|( )| = = 2
9
9

1
1
2
1
2
2
2 + + 2 ,
81
9
18
se verifica que
!
!

3 2
3 2

2 3 =
2 3 0,
2
2

por lo que estos dos puntos 3 2 2 2 y 3 2 2 2 son mximos relativos,
y se verifica que
!
!

3 2
3 2

2 3 =
2 3 0,

2
2

por lo que estos dos puntos 3 2 2 2 y 3 2 2 2 son mnimos relativos.
9.5.1.2. Ejemplo.
Consideremos el problema de hallar y clasificar los valores extremos de la
funcin
( ) = ,
sujeta a la restriccin
2 2
2
+
+
= 1.
16
9
4
Aplicando el mtodo de los multiplicadores de Lagrange, el Lagrangiano del
problema es
2
2 2
( ) =
+
+
1 ,
16
9
4
al sistema
1
= = 0
8
2
= = 0
9
1
= = 0
22
2 2
+
+
1 = 0.
=
16
9
4
82
Multiplicando la primera ecuacin por , la segunda por , y la tercera por ,

se llega a las ecuaciones
1 2
8
2 2
9
1 2
,
2
de donde se sigue que, en cualquier punto ( ) en el que sea mxima o

mnima la funcin ( ) = , ha de verificarse que
1 2 2 2 1 2
= = ,
8
9
2
es decir, que
1
1
1
|| = || = || .
4
3
2
Despejando en esta expresin la y la en funcin de la , y sustituyendo
puntos crticos
ambas
en la ecuacin
=0, se obtienen los
expresiones
23 43
2 3 43
4 3
2 3
4 3
2 3
3
,
,
,
,
3
3 3 3
3 3 3 3 3
4 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 .
Los correspondientes
deLagrange son, respectivamente 4 3,
multiplicadores
4 3, 4 3, 4 3, 4 3, 4 3, 4 3, 4 3.
Para clasificar estos puntos, calculamos la matriz hessiana de orlada por
el gradiente de la restriccin, resultando
1
2
1
0
8
9
2
1 1

8
8
.
( ) =
2
9
9
1
1
2
2
Los menores angulares de ( ) son
1
2
0
8
9
1
1
1
1
1
=
2 + +
2 ,
1 ( ) = 8 8
288
18
162
2
9
9
1
2
1
0
8
9
2
1
1

8
2 ( ) = 82
=
2
9

91

12
2
1
1
1 2
1 2
1 2
4 2 2 2
2 2
+ 2

+
= 2
64
18
8
576
81
9
324
1
1 2
1 2
+ 2

4
144
12
83
En
cada
uno delos
puntos crticos, resulta ser:

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

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 0, por lo que este punto es un

mximo.


mximo.

mximo.


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
8 3
alcanza el valor mximo de 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
2 + 2 + 2 = 1 con el plano + 2 + 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 equivalente, se trata de encontrar el mximo y el mnimo de la funcin
( ) = ( 1)2 + 2 + 2
84
sujeta a las restricciones

2 + 2 + 2
+ 2 + 3
= 1
= 3.
Aplicando el mtodo de los multiplicadores de Lagrange,el Lagrangiano del

problema es
( ) = ( 1)2 + 2 + 2 2 + 2 + 2 1 ( + 2 + 3 3),
al sistema
=
=
=
=
=
2( 1) 2 = 0
2 2 2 = 0
2 2 3 = 0
2 + 2 + 2 1 = 0
( + 2 + 3 3) = 0.
Despejando en la primera ecuacin y sustituyendo en la segunda y en la

tercera, se llega a
2( 1) + 2 = 0
3( 1) + 3 = 0,
que es equivalente a
2 + 2 = ( 2)
3 + 3 = ( 3).
De estas dos expresiones, dado que 2 6= 0 y 3 6= 0 (ya que, en caso
contrario, al menos una de las dos anteriores igualdades no se verifica), se llega
a
2( 3) = 3( 2),
es decir a = 32 . Sustituyendo esta expresin en = 0 y en = 0, se llega

al sistema
13 2
4
13
+
2
2 +
= 1
= 3,
cuyas soluciones son los dos puntos ( ) siguientes:
!
!
3 65 3
65
65
3 + 65 3
+

14
7
91
14
7
91
85
Sustituyendo estos puntos en = 32 , se llega a los siguientes puntos crticos de

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

=
14
7
91 14
182
7

9
Por tanto, el punto 314 65 37 + 9165 14
+ 318265 est situado en la esfera y
en el plano, y a distancia
mxima del punto (1 0 0), siendo el valor de dicha
q

11+ 65
3+ 65 3
65 9
3 65
,
y
el
punto
est situmxima distancia

7
14
7
91 14
182
ado en la esfera y en el plano, y a q
distancia mnima del punto (1 0 0), siendo
el valor de dicha mnima distancia
11 65
.
7
9.6. Extremos absolutos sobre un compacto.
Si la funcin : R 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) correspondiente(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
( ) = 2 + + 2
sobre el conjunto
= ( ) R2 : 2 + 2 16 1 ,
86
correspondiente a la porcin de crculo de centro el origen y radio 4 situada en

el semiplano 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 .
2
2
Fcilmente se calculan los puntos de interseccin
de ambas
curvas, + =
16 y = 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
= 2 + = 0
= + 2 = 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 2 + 2 =
16.
El Lagrangiano del problema es
( ) = 2 + + 2 2 + 2 16 ,
y la condicin necesaria de extremo para conduce a
Simplificando,
= 2 + 2 = 0
= + 2 2 = 0
= 2 + 2 16 = 0.
2(1 ) + = 0
2(1 ) + = 0
2 + 2 = 16.
Teniendo en cuenta que 6= 0 (ya que, si = 0, entonces = 0, y el punto

(0 0) no satisface la restriccin), que 6= 0 (ya que, si = 0, entonces = 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 verifica la restriccin), multiplicando la primera
ecuacin por , la segunda por , y restando, se llega a
2(1 )( + )( ) = 0,
de donde se sigue que, o bien = , o bien = . Resolviendo el sistema
= y
la restriccin 2 + 2 = 16, se obtienen los puntos
por
constituido
2 2 2 2 y 2 2 2 2 , de los cuales descartamos el segundo debido a
87

que 2 2 2 2
. Resolviendo el sistema constituido por = y la

2
2
restriccin + = 16, se obtienen los puntos 2 2 2 2 y 2 2 2 2 ,

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

Observamos que (2 2 2 2) = 24 y que 2 2 2 2 = 8.
Finalmente, determinaremos los extremos de condicionada por = 1.
Sustituyendo = 1 en la expresin de , se llega a
(1 ) = 1 + 2 .
Derivando, igualando a cero la derivada obtenida y resolviendo la ecuacin
resultante, se obtiene = 12 , por lo que elnicopunto crtico de condi1
1
cionada
por 3 = 1 es 1 2 (observa que 1 2 ). En dicho punto, es

1
1 2 = 4 .
En definitiva,dado
que (1 15)
= 16
15, (1
1 15) 3= 16 + 15,
(0 0) = 0, (2 2 2 2) = 24, 2 2 2 2 = 8 y 1 2 = 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

Cargado por

Información del documento

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Tema 10 - Calculo Diferencial Funciones Varias Variables

Cargado por

Copyright:

Formatos disponibles

INTRODUCCINALCLCULODIFERENCIAL

Diferenciacin en funciones de varias variables.

Matemticas I. Prof. Ignacio Lpez Torres

una a varias variables. An as, en el caso de una variable la aproximacin lineal

La norma eucldea kk representa geomtricamente la longitud o mdulo del

Matemticas I. Prof. Ignacio Lpez Torres

Se dice que dos vectores = (1 2 ), = (1 2 ) R son

y esta aplicacin verifica las propiedades ya vistas al introducir estos conceptos

Matemticas I. Prof. Ignacio Lpez Torres

Observa que para = 1 estas bolas representan intervalos del tipo ( + )

designa por int() o por . De la definicin dada, se desprende que int() .

Matemticas I. Prof. Ignacio Lpez Torres

2.6. Punto frontera. Punto exterior.

Matemticas I. Prof. Ignacio Lpez Torres

Es sencillo probar que el valor absoluto de ( ) representa el volumen

Matemticas I. Prof. Ignacio Lpez Torres

en el rango de . En general, los conjuntos de nivel de un campo escalar de

Matemticas I. Prof. Ignacio Lpez Torres

Del mismo modo, las ecuaciones ()

La ecuacin 2 + 2 + 2 = 1 define un elipsoide de ejes de simetra los

Matemticas I. Prof. Ignacio Lpez Torres

La ecuacin 2 + 2 2 = 1 define un hiperboloide de una hoja, ejes de

La ecuacin 2 2 + 2 = 1 define un hiperboloide de dos hojas, ejes

La ecuacin 2 2 2 = 0 define un paraboloide, elptico cuando el

Matemticas I. Prof. Ignacio Lpez Torres

(representados, respectivamente, en las Figuras 5 y 6).

La ecuacin 2 2 = 1 representa un cilindro de eje , elptico cuando el

Matemticas I. Prof. Ignacio Lpez Torres

En general, una ecuacin polinmica de segundo grado del tipo

Matemticas I. Prof. Ignacio Lpez Torres

los ejes de simetra no son paralelos a los coordenados), representa alguna de

Matemticas I. Prof. Ignacio Lpez Torres

Matemticas I. Prof. Ignacio Lpez Torres

se puede abordar directamente mediante cualquiera de los anteriores programas,

Matemticas I. Prof. Ignacio Lpez Torres

valor de , el correspondiente conjunto de nivel constar del punto (0 0), para

Matemticas I. Prof. Ignacio Lpez Torres

ejemplo, las de color verde o las de color rojo en la Figura 16).

Matemticas I. Prof. Ignacio Lpez Torres

Matemticas I. Prof. Ignacio Lpez Torres

Para = 14 se obtienen los puntos 12 0 y 12 0 , que corresponden a

es la lemniscata de Bernouilli. Para 14 0 se obtienen pares de curvas

para = 1, el punto (0 1), que corresponde al mximo absoluto de ; y, para

Matemticas I. Prof. Ignacio Lpez Torres

derecha, como en el caso de funciones de una variable. Intuitivamente, el hecho

alcanzarlo, a lo largo de cualquier trayectoria contenida en el dominio de , los

0, existe un nmero real 0 tal que para todo ( ) verificando que

entonces 1 = 2 . Como consecuencia, si

( ) es igual a para cualquier trayectoria de aproxi-

macin al punto ( ). Por tanto, si es

para una trayectoria 1 de aproximacin ( ) ( ), y es

Matemticas I. Prof. Ignacio Lpez Torres

para otra trayectoria 2 de aproximacin ( ) ( ), siendo 1 =

Entonces se verifican las siguientes propiedades:

siempre que sea 6= 0.

d) Si son nmeros enteros tales que 6= 0 y es una fraccin irreducible,

(si es un nmero par, se asume en esta propiedad que es 0.)

Anlogamente, para cada fijo, supongamos que existe el lmite 2 () = lim ( ).

Llamaremos lmites reiterados a los dos siguientes lmites:

lim 1 () = lim lim ( )

lim 2 () = lim lim ( ) .

En relacin a los lmites reiterados (tambin llamados iterados) y al lmite doble,

( ) = , entonces tambin existen

los dos lmites reiterados y ambos son iguales a .