NDICE

1. Funciones de Varias Variables 3

1.1. Funciones de dos Variables Independientes . . . . . . . . . . . . 4
1.1.1. Funcin Compuesta . . . . . . . . . . . . . . . . . . . . . 5
1.2. Grca de una funcin de dos variables . . . . . . . . . . . . . . 5
1.3. Incremento parcial y total de la funcin . . . . . . . . . . . . . . . 10
1.4. Lmite y continuidad en dos variables . . . . . . . . . . . . . . . . 11
1.4.1. Lmite de las funciones elementales . . . . . . . . . . . . 13
1.5. Derivadas parciales de la funcin de varias variables . . . . . . . 13
1.5.1. Clculo de derivadas parciales mediante las reglas de
derivacin . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
1.5.2. Funciones de ms de dos variables . . . . . . . . . . . . 15
1.5.3. Interpretacin geomtrica de las derivadas parciales de
una funcin de dos variables . . . . . . . . . . . . . . . . 16
1.5.4. Incremento total y diferencial total . . . . . . . . . . . . . 17
1.5.5. Derivadas parciales de rden superior . . . . . . . . . . . 18
1.5.6. Derivadas parciales cruzadas . . . . . . . . . . . . . . . . 19
1.5.7. Reglas de la cadena para funciones de varias variables . 19
1.5.8. Derivadas direccionales . . . . . . . . . . . . . . . . . . . 22
1.5.9. Gradiente de una funcin de dos varables . . . . . . . . 22
1.5.10. Extremo de funciones de dos variables . . . . . . . . . . 24
1.5.11. Multiplicadores de Lagrange . . . . . . . . . . . . . . . . 26
i
ii
CAPTULO 1
Funciones de Varias Variables
Una funcin con n variables es una regla f que asocia a cada pun-
to (x
1
, x
2
, . . . , x
n
) dentro de un determinado conjunto D un nmero real
f (x
1
, x
2
, . . . , x
n
). El dominio D es un subconjunto de R
n
, es decir, esta formado
por puntos de n coordenadas. Representamos esta funcin escribiendo:
f : R
n
R
D R
n
f
//
R o bien
f : D R
n
//
R
f : (x
1
, x
2
, . . . , x
n
)

//
y
o bien
y = f (x
1
, x
2
, . . . , x
n
)
Cuando queramos indicar la accin de la funcin sobre un punto, entonces
escribiremos:
(x
1
, x
2
, . . . , x
n
)

f
//
f (x
1
, x
2
, . . . , x
n
)
Como las funciones de una variable, funciones de varias variables se pue-
den representar en forma numrica (por medio de una tabla de valores), en
forma algebraica (por medio de una frmula), y en forma grca (por medio de
una grca).
1. El conjunto de todos los puntos (x
1
, x
2
, . . . , x
n
) admisibles o donde la fun-
cin este denida recibe el nombre de dominio de denicin.
3
4
2. La linea o curva que limita al dominio dado se llama frontera de este
dominio.
3. Los puntos del dominio que no pertenecen a la frontera se llaman pun-
tos interiores del dominio, todo dominio integrado solamente de puntos
interiores se llama dominio abierto.
4. Un dominio que incluye tambin los puntos de la frontera se llama domi-
nio cerrado.
5. El dominio se llama acotado, si existe una magnitud constante C tal que
la distancia entre todo punto M del dominio y el origen de coordenadas
sea menor que C: |OM| < C.
6. El conjunto de todos los valores resultantes de f (x
1
, x
2
, . . . , x
n
) se deno-
mina rango o recorrido de la funcin
SECCIN 1.1
Funciones de dos Variables Independientes
Sea D un conjunto de pares ordenados de nmeros reales. Si a cada par
ordenado (x, y) en D le corresponde un nico nmero real f (x, y), se dice que
f es funcin de x e y.
Para la funcin z = f (x, y) llamamos variables independientes a x e y, y
variable dependiente a z.
Las funciones de varias variables pueden combinarse del mismo modo
que las de una sola variable. Por lo tanto se pueden sumar, restar, multiplicar,
dividir, etc.
Para el caso de dos variables tenemos lo siguiente:
1. ( f g)(x, y) = f (x, y) g(x, y) = Suma o diferencia.
2. ( f g)(x, y) = f (x, y) g(x, y) = Producto
3.

f
g

(x, y) =
f (x, y)
g(x, y)
, g(x, y) 0 = Cociente
5
1.1.1 Funcin Compuesta
Si f es una funcin de una variables y g es una funcin de dos variables,
entonces la funcin compuesta de f g es la funcin de dos variables denida
por
( f g)(x, y) = f (g(x, y)),
y el dominio de f g es el conjunto de todos los puntos (x, y) del dominio de g
tales que g(x, y) pertenece al dominio de f .
Ejemplo 1.1.1 Dada la funcin f (t) = lnt y g(x, y) = x
2
+ y, calcule h(x, y); si
h = f g.
Si f es una funcin de una variable y g una funcin de nvariables, enton-
ces la funcin compuesta f g es la funcin de nvariables denida por:
( f g)(x
1
, x
2
, . . . x
n
) = f ((g(x
1
, x
2
, . . . x
n
))),
y el dominio de f g es el conjunto de todos los puntos (x
1
, x
2
, . . . x
n
) del dominio
de g tales que g(x
1
, x
2
, . . . x
n
) pertenece al dominio de f .
Ejemplo 1.1.2 Dadas f (x) = arcsinx y g(x, y, z) =

x
2
+ y
2
+ z
2
4, calcule la
funcin f g y su dominio.
SECCIN 1.2
Grca de una funcin de dos variables
Igual que ocurre con las funciones de una variable, el dibujo de la gr-
ca de una funcin de dos variables puede resultar muy esclarecedor para el
conocimiento del comportamiento de la funcin, ya que nos permite visuali-
zar, mediante imgenes grcas, sus propiedades abstractas, con objeto de
comprenderlas y recordarlas mejor.
Funciones de dos variable. La grca de una funcin de dos variables
f (x, y) es el conjunto de puntos del espacio (x, y, z) para los cuales se tiene
que z = f (x, y) y (x, y) D( f ).
6
grf f = {(x, y, z) R
3
/(x, y) D( f ), z = f (x, y)}
Es decir,
(x, y, z) grf f

(x, y) D( f )
z = f (x, y)

(x, y, z) = (x, y, f (x, y))

Figura 1.1: d
La grca de una funcin de dos variables ser una supercie en el espa-
cio. La proyeccin de la grca sobre el plano horizontal coincide con el domi-
nio de la funcin. Los puntos de la grca se representan por ((x, y, f (x, y))).
En consecuencia, a cada punto (x, y) del dominio D le corresponde un
nico punto (x, y, z) en la supercie y, a la inversa, a cada punto (x, y, z) de la
supercie le corresponde un punto (x, y) del dominio.
Lo mismo que no todas las curvas del plano pueden ser descritas como
la grca de una funcin y = f (x) no todas las supercies pueden se repre-
sentadas como la grca de una funcin z = f (x, y). Como en aquel caso las
supercies deben de satisfacer el test de la vertical, es decir, que las verticales
correspondientes a cada punto del dominio solo pueden cortar a la grca en
un slo punto. Por ejemplo, una esfera es una supercie en el espacio de tres
dimensiones que no puede ser representada como la grca de una funcin
z = f (x, y).
A las funciones de varias variables tambin se les llama campos escalares.
Funciones vectoriales. Una funcin se dice que es vectorial cuando el
resultado no es un nmero, sino un vector, es decir, una pareja de nmeros o
una terna de nmeros.
7
En general, podemos establecer la siguiente clasicacin:
Sea f : D R
n
//
R
m
,
1. Si n = m = 1 funcin de una variable.
2. Si
n > 1
m = 1

, tendremos funciones de varias variables

3. Si
ncualquiera
m > 1

, tendremos funciones de vectoriales

Ejemplo 1.2.1 Representar la funcin: f (x, y) = 2x + y 4
Solucin 1.2.1 El dominio de la funcin es todo R
2
. Para representar la fun-
cin ponemos z en lugar de f (x, y), para ver si se trata de una ecuacin cono-
cida, con lo que tenemos: z = 2x + y 4, de donde resulta 2x + y z = 4 que es
la ecuacin de un plano en el espacio. Para tener una visualizacin del plano
en el espacio representamos el tringulo formado por los tres puntos en los
que el plano corta a los ejes de coordenadas.
Figura 1.2:
Para hallar las coordenadas de un punto de un plano se dan valores arbi-
trarios a dos de las variables y se calcula el tercer valor a partir de la ecuacin
del plano. En nuestro caso, se da el valor cero a dos de las variables y se
calcula el valor correspondiente de la otra variable.
x y z
2 0 0
0 4 0
0 0 -4
8
Observacin 1.2.1 La ecuacin del plano se generaliza al espacio de n di-
mensiones mediante lo que se denomina hiperplano. As, tenemos las siguien-
tes representaciones:
f (x) = ax + b Recta en el plano
f (x, y) = ax + bx + c Plano en el espacio
f (x
1
, x
2
, . . . x
n
) = a
1
x
1
+ a
2
x
2
+ . . . + a
n
x
n
+ b Hiperplano en R
n+1
Ejemplo 1.2.2 Representa la funcin f (x, y) =

9 x
2
y
2
.
Solucin 1.2.2 El dominio de la funcin viene determinado por 9x
2
y
2
0
donde x
2
+ y
2
9 que es un crculo con centro en el origen de coordenadas y
radio 3. Para representar la funcin sustituimos f (x, y) por z, con lo que resulta:
z =

9 x
2
y
2
de donde z
2
= 9 x
2
y
2
o bien z
2
+ 9 + x
2
+ y
2
= 9 que es
la ecuacin de la esfera de centro el origen de coordenadas y radio 3. Y al
limitarnos a valores de z positivos, se reduce a la semiesfera superior.
Curvas de Nivel. La interseccin del plano horizontal de altura k, z = k con
la supercie z = f (x, y) se llama curva de contorno de altura k.
f (x, y) = z
z = k

Curva de contorno de altura k.

La proyeccin de esta curva de contorno sobre el plano horizontal de coor-
denadas OXY, se llama curva de nivel de altura k de la funcin f .
f (x, y) = k curva de nivel k
Figura 1.3: Curva de contorno y curva de nivel
Las curvas de nivel son el conjunto de puntos del dominio donde la funcin
es constante, es decir, los puntos donde la funcin toma el mismo valor, o
9
sea, las curvas de altura constante sobre la grca de la funcin. Las curvas
de nivel permiten representar supercies tridimensionales mediante un mapa
plano. Es importante elegir los valores de z adecuadamente para que el mapa
traslade una clara visualizacin de la supercie. El espaciado entre las curvas
de nivel nos da una idea del crecimiento de la funcin. As, mucho espacio
entre dos curvas de nivel signica que la supercie crece lentamente. Dos
curvas de nivel muy prximas signica que la supercie crece rpidamente.
Dos curvas de nivel diferentes de un mismo campo escalar no se pueden
cortar, puesto que la funcin f asocia un nico nmero z = f (x, y) a un punto
cualquiera (x, y).
Ejemplo 1.2.3 Representar la funcin, f (x, y) = x
2
+ y
2
Solucin 1.2.3 El dominio de la funcin es todo R
2
. Para representar la fun-
cin sustituimos f (x, y) por z, con lo que tenemos, z = x
2
+ y
2
.
Veamos los cortes de dicha supercie con los planos coordenados:
1. corte con el plano x = 0, z = y
2
que es una parbola
2. corte con el plano y = 0, z = x
2
que es una parbola
Para hallar las curvas de nivel suponemos que z es una constante con lo
que resulta la ecuacin x
2
+ y
2
= z, en donde, para cada valor de z tenemos
una circunferencia de radio

z. Podemos dar varios valores a z para ir viendo
las curvas de contorno a distintas alturas:
nivel z = 0 x
2
+ y
2
= 0 se reduce al punto (0, 0)
nivel z = 1 x
2
+ y
2
= 1 circunferencia de radio 1
nivel z = 4 x
2
+ y
2
= 2 circunferencia de radio 2
nivel z = 9 x
2
+ y
2
= 3 circunferencia de radio 3
Figura 1.4: Grca y curva de nivel de la funcin f (x, y) = x
2
+ y
2
10
Supercies de nivel. El concepto de curva de nivel, denido para funcio-
nes de dos variables, se puede extender a funciones de tres variables y denir
las supercies de nivel. Si f es una funcin de tres variables y c es una cons-
tante, entonces a la grca de la ecuacin f (x, y, z) = c se le llama supercie
de nivel de la funcin f . En cada punto de una supercie de nivel dada, la
funcin f toma un valor constante, f (x, y, z) = c. Este concepto se puede ge-
neralizar a cualquier dimensin, aunque, para n 3 no tenga un signicado
grco.
Ejemplo 1.2.4 Describir las supercies de nivel de la funcin f (x, y, z) = x
2
+
y
2
+ z
2
Solucin 1.2.4 Cada supercie de nivel satisface una ecuacin de la forma
x
2
+ y
2
+ z
2
= c.
Luego las supercies de nivel son esferas de centro el origen de coorde-
nadas y radio la raz cuadrada de c. Si damos varios valores a c obtendremos
varias esferas concntricas.
SECCIN 1.3
Incremento parcial y total de la funcin
Sea z = f (x, y), si y es constante, demos a la variable independiente x
un incremento x, entonces el incremento correspondiente de z recibir el
nombre de incremento parcial de z respecto a x que designamos con el
smbolo
x
z, y tenemos que:

x
z = f (x + x, y) f (x, y).
Anlogamente, si x es constante y damos a y un incremento y, el incremento
correspondiente de z recibir el nombre de incremento parcial de z respecto
a y que designamos con el smbolo
y
z, y tenemos que:

x
z = f (x, y + y) f (x, y).
11
Por ltimo, si damos simultneamente un incremento de x a la variable x y
un incremento y a la variable y obtenemos el incremento correspondiente de
z y que se determina por la frmula:
z = f (x + x, y + y) f (x, y).
Observacin 1.3.1 Notemos que, en general, el incremento total no es igual
a la suma de incrementos parciales, es decir, z =
x
z +
y
z. Veamos esto en
el siguiente ejemplo.
Ejemplo 1.3.1 f (x, y) = xy
Siguiendo un procedimiento semejante se determinan los incrementos parcia-
les y total de la funcin de cualquier nmero de variables independientes. As,
para una funcin de tres variables v = g(x, y, t) tenemos que:

x
u = f (x + x, y, t) f (x, y, t),

x
u = f (x, y + y, t) f (x, y, t),

x
u = f (x, y, t + t) f (x, y, t),

x
u = f (x + x, y + y, t + t) f (x, y, t).
SECCIN 1.4
Lmite y continuidad en dos variables
Al calcular el lmite de una funcin en un punto nos interesamos por los
valores que toma la funcin en los alrededores del punto. El lmite de la funcin
en un punto va a ser el valor que deber tomar la funcin en dicho punto, de
acuerdo con los valores que toma en los alrededores del mismo. Este valor
puede coincidir o no con el valor que realmente toma la funcin en el punto en
cuestin. Es decir, el lmite de una funcin en un punto P es si los valores que
toma la funcin en los alrededores de P estn tan cerca de como queramos
(el valor que la funcin tome en P no interesa a la hora de calcular el lmite).
Para poder hablar de lmite de una funcin en un punto, la funcin tiene que
estar denida en los alrededores del punto. Formalmente la denicin de lmite
es la siguiente:
12
Denicin 1.4.1 (Lmite de una funcin en un punto). Sea f una funcin de
dos variables denida en un disco abierto centrado en (x
0
, y
0
), excepto quizs
en el punto (x
0
, y
0
). Entonces,
lm
(x,y)(x
0
,y
0
)
f (x, y) =
si y slo si para cada > 0 existe un correspondiente > 0, tal que | f (x, y)| <
, siempre que 0 <

(x x
0
)
2
+ (y y
0
)
2
< .
Que la podemos resumir como sigue:
lm
(x,y)(x
0
,y
0
)
f (x, y) = , 0 < (x x
0
)
2
+ (y y
0
)
2
<
2
| f (x, y) | <
Grcamente, esta denicin de lmite signica que para un punto cual-
quiera (x, y) situado en el disco de radio , el valor f (x, y) est comprendido
entre y + . Hay que tener en cuenta que para que exista el lmite todos
los puntos del entorno tiene que tener su imagen aproximadamente a la misma
altura (entre y + ). Si unos puntos del entorno se aproximan a un valor
y otros a otros, entonces el lmite no existe. En la denicin de lmite, el punto
en cuestin no cuenta. Es decir, da igual cul sea el valor de f (x
0
, y
0
), incluso
da igual que no exista dicho valor. Al poner 0 < nos estamos ocupando de
todos los puntos del -entorno, salvo del centro. No obstante, hay que advertir
que en el clculo de lmites de funciones continuas dicho valor s adquiere
gran importancia.
Denicin 1.4.2 (Continuidad). Una funcin se dice que es continua en un
punto, si el valor que toma la funcin en el punto coincide con el lmite en
dicho punto.
f (x, y) contnua en (x
0
, y
0
) lm
(x,y)(x
0
,y
0
)
f (x, y) =
Una funcin se dice que es continua en una regin R si es continua en cada
punto de R.
Ejemplo 1.4.1 Dada la funcin f (x, y) =

1 si x
2
+ y
2
1
0 si x
2
+ y
2
> 1
,
hallar lm
(x,y)(0,0)
f (x, y) y lm
(x,y)(1,0)
f (x, y)
13
Solucin 1.4.1 Para hallar el lmite de la funcin en cada uno de los puntos
especicados, hallamos las imgenes de los puntos de un entorno de cada
uno de los puntos. En un entorno del punto (0, 0) todos los puntos tienen como
imagen f (x, y) = 1, luego el lmite en dicho punto tambin es 1. En un entorno
del punto (1, 0) una parte de los puntos tienen como imagen f (x, y) = 1, y
otra parte de los puntos tiene como imagen f (x, y) = 0, luego el lmite en
dicho punto no existe, ya que todos los puntos del entorno deberan orientar
su imagen hacia el mismo sitio.
1.4.1 Lmite de las funciones elementales
De forma anloga a una variable, en varias variables se cumplen las si-
guientes propiedades:
Propiedades de las funciones continuas. Si k es un nmero real, f y g
funciones continuas en (x
0
, y
0
), entonces las funciones siguientes siguientes
son continuas en (x
0
, y
0
):
1. Mltiplo escalar: k f
2. Suma o diferencia: f g
3. f g
4.
f
g
, donde g(x
0
, y
0
) 0
SECCIN 1.5
Derivadas parciales de la funcin de varias
variables
Denicin 1.5.1 El lmite de la razn del incremento parcial
x
z respecto a
x, en relacin al incremento x, cuando x tiende a cero se llama derivada
parcial respecto a x de la funcin z = f (x, y). La derivada parcial respecto a x
de la funcin z = f (x, y) se designa por una de los smbolos siguientes:
z

x
, f

x
(x, y),
z
x
,
f
x
, entre otras.
14
De tal modo, segn la denicin:
z
x
= lm
x0

x
z
x
= lm
x0
f (x + x, y) f (x, y)
x
.
Siguiendo un procedimiento anlogo, la derivada parcial respecto a y de la
funcin z = f (x, y) se determina como lmite de la razn del incremento parcial
de la funcin
y
z respecto a y, en relacin al incremento y, cuando y tiende
a cero. La derivada parcial respecto a y se designa por uno de los smbolos
siguientes:
z

y
, f

y
(x, y),
z
y
,
f
y
, entre otras.
As,
z
y
= lm
y0

y
z
y
= lm
y0
f (x, y + y) f (x, y)
y
.
1.5.1 Clculo de derivadas parciales mediante las
reglas de derivacin
Si observamos los resultados del ejemplo anterior, podemos concluir que
no es necesario aplicar la denicin para calcular las derivadas parciales, sino
que se pueden calcular aplicando las reglas ordinarias de derivacin. Esto
se deduce de la propia denicin, ya que de la denicin de las derivadas
parciales, como derivadas ordinarias con la condicin de que se han jado
todas las variables excepto una, respecto de la cual se toma la derivada, se
deduce que al calcular las derivadas parciales se pueden utilizar las reglas del
clculo de las derivadas ordinarias. Es decir,
f
x
(x, y), se puede calcular mediante las reglas de derivacin, es decir,
como una derivada ordinaria, de la funcin f respecto de la variable x,
suponiendo y constante (es decir, como si la funcin f dependiera slo
de x, porque y es un nmero). En consecuencia, consideramos que y es
constante y derivamos con respecto a x.
f
y
(x, y), se puede calcular mediante las reglas de derivacin, es decir,
como una derivada ordinaria, de la funcin f respecto de la variable y,
15
suponiendo x constante (es decir, como si la funcin f dependiera slo
de y, porque x es un nmero). En consecuencia, consideramos que x es
constante y derivamos con respecto a y.
Ejemplo 1.5.1 Calcular
f
x
(x, y),
f
y
(x, y) de las siguientes funciones:
Solucin 1.5.1
1. f (x, y) = x
2
+ 2xy
2
y
3
a) Fijemos en la frmula la variable y, es decir, supongamos que y es
un nmero, con lo cual obtenemos una funcin de una sola variable
x; calculando su derivada tendremos:
f
x
= 2x + 2y
2
b) De forma anloga jemos ahora la variable x, es decir, supongamos
que x es un nmero, con lo cual obtenemos una funcin de una sola
variable y; calculando su derivada tendremos:
f
y
= 4xy 3y
2
2. z = (x
2
+ y
2
)e
xy
z
x
= 2xe
xy
+ (x
2
+ y
2
)(ye
xy
) = (2x x
2
y y
3
)e
xy
z
y
= 2ye
xy
+ (x
2
+ y
2
)(xe
xy
) = (2x x
3
xy
2
)e
xy
1.5.2 Funciones de ms de dos variables
El concepto de derivada parcial se puede generalizar a funciones de cual-
quier nmero de variables. Bastar con derivar la funcin suponiendo que
depende, en cada caso, de una sola variable, con las dems jas. As si
w = f (x, y, z), entonces hay tres derivadas parciales, las cuales se obtienen
considerando cada vez dos de las variables constantes y derivando respecto
16
de la otra. Es decir, para denir la derivada parcial de w con respecto a x,
consideramos que y y z son constantes y escribimos
w
x
= lm
x0
f (x + x, y, z) f (x, y, z)
x
Para denir la derivada parcial w con respecto a y, consideramos que x y z
son constante y escribimos
w
y
= lm
y0
f (x, y + y, z) f (x, y, z)
y
.
Para denir la derivada parcial w con respecto a z, consideramos que x y y
son constante y escribimos
w
z
= lm
z0
f (x, y, z + z) f (x, y, z)
z
.
1.5.3 Interpretacin geomtrica de las derivadas
parciales de una funcin de dos variables
Si en la ecuacin z = f (x, y) jamos la variable y, y = y
0
, resulta una
funcin de una sola variable, z = f (x, y
0
) = g(x). Desde el punto de vista
geomtrico, la funcin g(x) = f (x, y0) representa la curva que se obtiene de la
interseccin de la supercie z = f (x, y) con el plano y = y
0
z = f (x, y)
y = y
0

z = f (x, y
0
) = g(x)
En consecuencia, la derivada parcial de la funcin f , respecto de la va-
riable x, en el punto p representa la pendiente de la tangente a la curva
g(x) = f (x, y
0
) en el punto P correspondiente de la grca, es decir, la incli-
nacin de la supercie en la direccin del eje x.
De manera anloga, la funcin g(y) = f epresenta la curva que se obtiene
de la interseccin de la supercie z = f (x, y) con el plano x = x
0
z = f (x, y)
x = x
0

z = f (x
0
, y) = g(y)
17
La derivada parcial de la funcin f , respecto de la variable y, en el punto
p representa la pendiente de la tangente a la curva g(y) = f (x
0
, y) en el punto
P correspondiente de la grca, es decir, la inclinacin de la supercie en la
direccin del eje y.
En un lenguaje ms informal, diremos que los valores de
f
x
y
f
y
en el
punto (x
0
, y
0
) representan la pendiente de la supercie en el punto (x
0
, y
0
, z
0
)
en las direcciones de los ejes x e y, respectivamente.
Figura 1.5: Curvas z = f (x, y
0
) y z = f (x
0
, y)
1.5.4 Incremento total y diferencial total
En esta seccin estudiaremos los conceptos de incremento total y dife-
rencial total, as como el concepto de diferenciabilidad a funciones de dos o
ms variables. Recurdese que para una funcin de una variable, dada por
y = f (x), se dene el incremento como y = f (x + x) f (x), y la diferencial
como dy = f

(x)dx. Para funciones de dos variables, z = f (x, y), el incremento

de la funcin se generaliza de manera natural. En efecto, llamando x y y
a los incrementos de x e y respectivamente, el incremento de la funcin se
dene por
z = f (x + x, y + y) f (x, y)
As, si z = f (x, y) y x y y son los incrementos de x y de y, entonces, las
diferenciales de las variables independientes x e y se van a denir como
dx = x y dy = y
Denicin 1.5.2 Sean f : D R
2
R una funcin escalar y x y y
18
incrementos de x e y, entonces la diferencial total de la variable dependiente
z es
dz =
z
x
dx +
z
y
dy
Distinguiremos entre funcin derivable y diferenciable. Diremos que una fun-
cin de varias variables es derivable si existen sus derivadas parciales (en
tal caso no queda asegurada la continuidad). Y diremos que es diferenciable
cuando adems de existir las derivadas parciales, se debe que garantizar la
continuidad.
Teorema 1.5.1 (Aproximacin lineal). Sea f : D R
2
R una funcin
escalar continua en D. Supongamos x y y son oncrementos de x e y, lo
sucientemente pequeos para que (x
0
+ x, y
0
+ x) D, entonces si las
derivadas parciales
f
x
y
f
y
son continuas en (x
0
, y
0
) el incremento de la va-
riable dependiente z z = f (x
0
+x, y
0
+y) f (x
0
, y
0
) puede escribirse como
z =
f
x
(x
0
, y
0
) +
f
y
(x
0
, y
0
) +
1
x +
2
y, donde
1
0 cuando x 0 y

2
0 cuando x 0.
Los incrementos x y y se les llama diferenciales de las variables indepen-
dientes y se denota por dx y dy.
Observacin 1.5.2 Este teorema arma que el cambio real en z es aproxima-
damente igual a la diferencial total dz, cuando los incrementos x y y son
pequeos, es decir, z dz.
1.5.5 Derivadas parciales de rden superior
Las derivadas parciales de una funcin de dos variables f (x, y), son a su
vez, funciones de dos variables, f
x
(x, y), f
y
(x, y) y, por lo tanto, podemos obte-
ner de ellas, nuevamente, sus derivadas parciales. Llamadas derivadas parcia-
les de segundo orden. As, resultan las siguientes cuatro derivadas parciales
de segundo orden:
1. Derivar dos veces respecto de x
19

f
x

2
f
x
2
= f
xx
2. Derivar dos veces respecto de y

f
y

2
f
y
2
= f
yy
3. Derivar primero respecto de x, y luego respecto de y

f
x

2
f
yx
= f
xy
4. Derivar primero respecto de y, y luego respecto de x

f
y

2
f
xy
= f
yx
La tercera y cuarta se llaman derivadas parciales cruzadas o mixtas
1.5.6 Derivadas parciales cruzadas
Las derivadas parciales f
xy
y f
yx
, se llaman derivadas parciales cruzadas
y cuando son continuas coinciden.
Teorema 1.5.3 (Igualdad de las derivadas parciales cruzadas). Si f es
una funcin de dos variables x e y, tal que f , f
x
, f
y
, f
xy
y f
yx
son continuas en
una regin abierta R, entonces se tiene que las derivadas parciales cruzadas
coinciden para cada (x, y) de R, es decir,
f
xy
= f
yx
.
1.5.7 Reglas de la cadena para funciones de
varias variables
Recuerde que con la notacin de Leibniz la regla de la cadena para una
funcin de una variable se expresa como sigue: Si y es una funcin de u, es
decir, y = f (u) y
dy
du
existe, y si u es una funcin de x, es decir, u = g(x) y
du
dx
20
existe, entonces y es una funcin de x, es decir, y = h(x) y
dy
dx
existe y esta
determinada por
dy
dx
=
dy
du

du
dx
(1.1)
Para una funciones compuesta de dos variables z = f (u, v) en donde u =
g(x, y) y v = h(x, y), se podra naturalmente esperar dos frmulas anlogas a
(1.1), ya que es posible calcular tanto
dz
dx
como
dz
dy
.
La regla de la cadena se resume en los siguiente teoremas:
Teorema 1.5.4 (Regla de la cadena: una variable independiente).
Si w = f (x, y) una funcin diferenciable de x e y. Si x = g(t) e y = h(t) son
funciones derivables de t, entonces w es una funcin derivable de t, es decir,
dw
dt
=
w
x
dx
dt
+
w
y
dy
dt
Teorema 1.5.5 (Regla de la cadena: dos variables independientes).
Si w = f (x, y) una funcin diferenciable de x e y. Si x = g(s, t) e y = h(s, t) y
existen las derivadas parciales
x
s
,
x
t
,
y
s
y
y
t
, entonces
w
s
y
w
t
existen y
vienen dadas por
w
s
=
w
x
x
s
+
w
y
y
s
y
w
t
=
w
x
x
t
+
w
y
y
t
21
Teorema 1.5.6 (Regla de la cadena: dos variables independientes).
Suponga que u una funcin diferenciable de las n e variables x
1
, x
2
, . . . , x
n
y cada una de estas variables es a su vez una funcin de m variables
y
1
, y
2
, . . . , y
m
. Supanga adems que cada una de las derivadas parciales
x
i
y
j
(i = 1, 2, . . . , n; i = 1, 2, . . . , m) existen.
u
y
1
=
u
x
1
x
1
y
1
+
u
x
2
x
2
y
1
+ . . . +
u
x
n
x
n
y
1
u
y
2
=
u
x
1
x
1
y
2
+
u
x
2
x
2
y
2
+ . . . +
u
x
n
x
n
y
2
.
.
.
u
y
m
=
u
x
1
x
1
y
m
+
u
x
2
x
2
y
m
+ . . . +
u
x
n
x
n
y
m
.
Derivacin parcial implcita
A continuacin aplicaremos la regla de la cadena al clculo de la derivada
de una funcin dada en frma implcita. Veremos en el siguiente teorema que
la regla de la cadena proporciona una alternativa conveniente.
Teorema 1.5.7 Regla de la cadena: Derivacin implcita
Si la ecuacin F(x, y) = 0 dene implcitamente a y como funcin derivable de
x, entonces
dy
dx
=
F
x
(x, y)
F
y
(x, y)
, F
y
(x, y) 0
Si la ecuacin F(x, y, z) = 0 dene implcitamente a z como funcin diferencia-
ble de x e y, entonces
z
x
=
F
x
(x, y)
F
z
(x, y)
y
z
z
=
F
y
(x, y)
F
z
(x, y)
F
z
(x, y, z) 0
Este teorema admite extensin a funciones diferenciales de cualquier nmero
de variables.
22
1.5.8 Derivadas direccionales
Para calcular la pendiente en un punto de una supercie, denimos un
nuevo tipo de derivada, la derivada direccional. Sea z = f (x, y) una supercie
y P(x
0
, y
0
) un punto del dominio de f . La direccin de la derivada direccional
la da un vector unitario
u = cos i + senj
donde denota el ngulo del vector con el semieje x positivo
Denicin 1.5.3 (Derivada direccional).
Sea f una funcin de dos variables x e y, y sea u = cos i+senj un vector
unitario. La derivada direccional de f en la direccin de u, que se denota D
u
f ,
se dene como
D
u
f (x, y) = lm
t0
f (x + t cos , y + t sen) f (x, y)
t
siempre que este lmite exista.
Teorema 1.5.8 Derivada direccional
Si f es una funcin diferenciable de x e y, su derivada direccional en la direc-
cin del vector unitario u = cos i + senj es
D
u
f (x, y) = f
x
(x, y) cos + f
y
(x, y) sen
1.5.9 Gradiente de una funcin de dos varables
El gradiente de una funcin de dos variables es una funcin vectorial de
dos variables. Tiene mltiples aplicaciones, algunas de las cuales describimos
ms abajo.
Denicin 1.5.4 (Gradiente de una funcin de dos variables).
Sea z = f (x, y) una funcin de x e y, tal que existen f
x
y f
y
. El gradiente de
23
f denotado por f (x, y) es el vector
f (x, y) = f
x
(x, y)i + f
y
(x, y)j.
Otra notacin usual para el gradiente es gradf (x, y), para cada (x, y), el gra-
diente f (x, y) es un vector en el plano.
Teorema 1.5.9 Vector gradiente y derivada direccional
Si f es una funcin diferenciable de x e y, su derivada direccional en la direc-
cin del vector unitario u es
D
u
f (x, y) = f (x, y) u
Teorema 1.5.10 Propiedades del gradiente. Sea f diferenciable en el punto
(x, y).
1. Si f (x, y) = 0, entonces D
u
f (x, y) = 0 para todo u, es decir, si todas las
derivadas parciales son nlas, entonces todas las derivadas direcciona-
les tambin lo son.
2. La direccin de mximo crecimiento de f viene dada por f (x, y). El valor
mximo de D
u
f (x, y) es f (x, y).
3. La direccin de mnimo crecimiento de f viene dada por f (x, y). El
valor mnimo de D
u
f (x, y) es f (x, y)
4. Si f (x, y) y u son vectores perpendiculares, entonces D
u
f (x, y) = 0
24
1.5.10 Extremo de funciones de dos variables
Este estudio se inicia con la denicin de extremos relativos y absolutos de
funciones de dos variables.
Denicin 1.5.5 Extremos absolutos de funciones de dos variables
1. Se dice que la funcin f de dos variables tiene un valor mximo ab-
soluto en su dominio D del plano xy si existe algn punto (x
0
, y
0
) en D
tal que f (x
0
, y
0
) f (x, y) para todos los puntos (x, y) de D. En tal caso,
f (x
0
, y
0
) es el valor mximo absoluto de f en D.
2. Se dice que la funcin f de dos variables tiene un valor mnimo abso-
luto en su dominio D del plano xy si existe algn punto (x
0
, y
0
) en D
tal que f (x
0
, y
0
) f (x, y) para todos los puntos (x, y) de D. En tal caso,
f (x
0
, y
0
) es el valor mnimo absoluto de f en D.
Denicin 1.5.6 Extremos relativos de funciones de dos variables
1. Se dice que una funcin f de dos variables tiene un valor mximo re-
lativo en el punto (x
0
, y
0
) si existe un disco abierto B((x
0
, y
0
), r) tal que
f (x
0
, y
0
) f (x, y) para todos los puntos (x, y) de B.
2. Se dice que una funcin f de dos variables tiene un valor mnimo re-
lativo en el punto (x
0
, y
0
) si existe un disco abierto B((x
0
, y
0
), r) tal que
f (x
0
, y
0
) f (x, y) para todos los puntos (x, y) de B.
Para localizar los extremos relativos de f hay que investigar los puntos
crticos de f , que por denicin aquellos en que el gradiente de f es 0 o no
esta denido.
Denicin 1.5.7 Puntos crticos.
Sea f denida en una regin abierta R que contiene a (x
0
, y
0
). El punto
(x
0
, y
0
) es un punto crtico de f si en l ocurre alguna de estas dos condicio-
nes:
25
1. f
x
(x
0
, y
0
) = 0 y f
y
(x
0
, y
0
) = 0
2. f
x
(x
0
, y
0
) y f
y
(x
0
, y
0
) = 0 no existe.
Los extremos relativos slo pueden ocurrir en los puntos crticos.
Si f tiene en (x
0
, y
0
) un extremo relativo en una regin abierta R, entonces
(x
0
, y
0
) es un punto crtico de f .
El criterio bsico para determinar los extremos relativos para funciones de
dos variables es el criterio del hessiano o criterio de la segunda derivada,
el cual proporciona condiciones que garantizan el hecho de que una funcin
tiene un extremo relativo en un punto donde las primeras derivadas parciales
son cero.
Teorema 1.5.11 Criterio de hessiano
Sea f una funcin de dos variables tal que f y sus derivadas parciales de pri-
mer y segundo orden son continuas en un disco abierto B((x
0
, y
0
); r). Suponga
adems que f
x
(x
0
, y
0
) = 0 y f
y
(x
0
, y
0
) = 0. Sea
D(x
0
, y
0
) =

f
xx
(x
0
, y
0
) f
xy
(x
0
, y
0
)
f
yx
(x
0
, y
0
) f
yy
(x
0
, y
0
)

= f
xx
(x
0
, y
0
) f
yy
(x
0
, y
0
) [ f
xy
(x
0
, y
0
)]
2
1. f tiene un valor mximo relativo en (x
0
, y
0
) si
D(x
0
, y
0
) > 0 y f
xx
(x
0
, y
0
) > 0
2. f tiene un valor mnimo relativo en (x
0
, y
0
) si
D(x
0
, y
0
) > 0 y f
xx
(x
0
, y
0
) < 0
3. f (x
0
, y
0
) no es un extremo relativo, pero f tiene un punto silla en
(x
0
, y
0
, f (x
0
, y
0
)) si
D(x
0
, y
0
) < 0
4. no se tiene ninguna conclusin acerca de los extremos relativos si
D(x
0
, y
0
) = 0
26
1.5.11 Multiplicadores de Lagrange
En los problemas clsicos de mximos y mnimos se trata de hacer mxima
o mnima una funcin f (x, y) sujeta a una restriccin g(x, y) = 0. Grcamente
el problema consiste en determinar el punto ms bajo (o ms alto) de la su-
percie de ecuacin z = f (x, y) que est situado sobre la curva de ecuacin
g(x, y) = 0, y se puede resolver de dos maneras diferentes:
1. Mediante un corte vertical de la supercie.
2. Mediante cortes horizontales (curvas de nivel).
Desde el punto de vista analtico, el primer caso corresponde a reducir el
problema a una variable, y el segundo al mtodo de los multiplicadores de
Lagrange.
En el mtodo grco de las curvas de nivel se trata de encontrar el punto
(x, y) donde la curva de nivel de la supercie de ecuacin z = f (x, y) es tan-
gente a la curva de ecuacin g(x, y) = 0. Ahora bien, dos curvas son tangentes
si sus vectores normales son paralelos. En consecuencia, dado que los vec-
tores normales a dichas curvas son los vectores gradientes, se tiene que, en
el punto de tangencia, el vector gradiente f debe ser un mltiplo escalar del
vector gradiente g. Luego
f (x, y) = g(x, y)
donde el escalar se conoce como multiplicador de Lagrange. Las condi-
ciones necesarias para la existencia de tales multiplicadores vienen dadas en
el siguiente teorema.
Teorema 1.5.12 Teorema de Lagrange
Sean las funciones f y g con primeras derivadas parciales continuas tales que
f tiene un extremo en el punto (x
0
, y
0
) de la curva de restriccin g(x, y) = 0. Si
g(x
0
, y
0
) 0, entonces existe un nmero real tal que
f (x, y) = g(x, y).
27
Observacin 1.5.13 El teorema de Lagrange tambin se cumple para funcio-
nes de tres o ms variables.
El mtodo de multiplicadores de Lagrange usa el Teorema 1.5.12 para ha-
llar los extremos de una funcin f sujeta a una restriccin g(x, y) = 0.
Multiplicadores de Lagrange
Supongamos que la funcin f tiene un mnimo o mximo sujeta a la res-
triccin g(x, y) = c, donde f y g cumplen los requisitos del teorema de
Lagrange. Para hallar el mnimo o mximo de f , basta seguir los pasos
que se indican a continuacin.
1. Resolver simultaneamente las ecuaciones f (x, y) = g(x, y) y
g(x, y) = c, hallando la solucin del sistema de ecuaciones
f
x
(x, y) = g
x
(x, y)
f
y
(x, y) = g
y
(x, y)
g(x, y) = c
2. Evaluar f en cada uno de los puntos uno de los puntos solucin
obtenidos en el paso anterior. El mayor de esos valores da el mximo
de f sujeta a la restriccin g(x, y) = c. El menor de ellos da el mnimo
de f bajo la restriccin g(x, y) = c