Tema 9.

Funciones de varias
variables.

9.1 Introduccin
9.2 Lmite y continuidad.
9.3 Derivadas parciales. Derivadas de orden
superior. Teorema Schwartz.
9.4 Diferencial.
9.5 Regla de la cadena. Derivacin parcial implcita.
9.6 Derivada direccional y gradiente.
9.7 Plano tangente y recta normal.
9.8 Extremos de funciones de dos variables.
9.9 Mtodo de los multiplicadores de Lagrange.

E.U.Politcnica de Sevilla. Fundamentos Matemticos de la Ingeniera. Especialidades Mecnica,

Electricidad y Electrnica Curso 2007-08

9.1 Introduccin
Definicin
Una funcin de dos variables es una regla que asigna a cada par (x,y)D 2
un nico nmero real f (x,y). El conjunto D es el dominio de f y el conjunto de
valores f (x,y) es el recorrido de f.
Nota: Para una funcin f, a veces escribiremos z=f (x,y), siendo x e y las variables
independientes y z la variable dependiente.
Si no se especifica lo contrario, supondremos que el dominio es el mayor conjunto de
puntos del plano para el que esta frmula tiene sentido.

Grfica y curvas de nivel

La grfica de f(x,y) es el conjunto de ternas (x,y,z) tales que (x,y)D y z =f(x,y),
es una superficie en 3 cuya proyeccin es el dominio D.
La proyeccin en el plano xy de la interseccin de la grfica de f (x,y) con el
plano z=c determina una curva plana f (x,y) =c denominada curva de nivel.

0.5
2

1.5

0.5

-0.5
2

-0.5

2
1

-1

0
-1
y

-1.5

-1
-2

-2

-2
-2

-1.5

-1

-0.5

0
x

0.5

1.5

Nota: Para funciones de tres variables las curvas de nivel pasan a ser superficies de nivel

Operaciones con funciones

Si f y g son funciones de dos variables con dominio D 2 , entonces:
Suma
Diferencia

( f + g )( x, y ) = f ( x, y ) + g ( x, y )
( f g )( x, y ) = f ( x, y ) g ( x, y )

Producto

( f g )( x, y ) = f ( x, y ) g ( x, y )

Cociente

f
f ( x, y )
=
(
x
,
y
)
, siendo g ( x, y ) 0
g
g ( x, y )

Composicin de funciones: Sea h una funcin de dos variables y g una

funcin de una variable: ( g o h )( x, y ) = g ( h( x, y ))
Entornos en el plano
Un entorno de radio centrado en (x0,y0) es el conjunto de puntos del plano
tales que ( x x0 )2 + ( y y0 )2 <
Este entorno recibe el nombre de disco abierto. Anlogamente, el conjunto

{( x, y)

( x x0 )

+ ( y y0 ) 2

} es un disco cerrado.

Un punto (x0,y0) es un punto interior de una regin plana R si existe un entorno

de radio centrado en (x0,y0) contenido totalmente en R. Si todos los puntos de
R son interiores, entonces R es una regin abierta.
Un punto (x0,y0) es un punto frontera de una regin plana R si cada disco abierto
centrado en (x0,y0) contiene puntos del interior de R y del exterior R.
Si una regin R contiene sus puntos frontera entonces decimos que es una
regin cerrada.
Nota: Para funciones de tres variables los discos pasan a ser esferas.

9.2 Lmites y continuidad

Definicin
Sea f una funcin definida, con la posible excepcin de (x0,y0), en un disco
abierto centrado en (x0,y0), y sea L un nmero real, entonces:

lim f(x,y) = L , si para todo > 0, existe un > 0 tal que si (x,y) cumple

( x , y )( x0 , y0 )

0<

( x x0 )

+ ( y y0 ) 2 < , entonces

f ( x, y ) L < .

Nota: ( x , ylim
f(x,y) = L significa que se pueden hacer los valores de f(x,y) arbitra) ( x , y )
riamente prximos a L eligiendo un punto (x,y) suficientemente prximo a (x0,y0)
pero distinto de l.
Los lmites de funciones de varias variables tienen en lo que respecta a sumas,
diferencias, productos y cocientes, las mismas propiedades de los lmites de
funciones de una variable.
0

Definicin
f es continua en un punto (x0,y0) de una regin abierta R si lim f ( x, y ) = f ( x0 , y0 )
( x , y )( x0 , y0 )

f es continua en una regin abierta R si es continua en todos los puntos de R.

Propiedades
1) Si k es un nmero real y f, g son funciones continuas en (x0,y0), las
siguientes funciones son continuas en (x0,y0)
a) kf
b) fg
c) fg
d) f/g, si g (x0,y0) 0
2) Si h es continua en (x0,y0) y g es continua en h(x0,y0), entonces la funcin
compuesta g h es continua en (x0,y0). Es decir:

lim

( x , y )( x0 , y0 )

g ( h ( x, y ) = g ( h( x0 , y0 ))

Nota: Las nociones anteriores admiten una fcil extensin a funciones de tres variables.

9.3 Derivadas parciales. Derivadas de orden superior.

Teorema Schwartz.
Derivadas parciales
Definicin
Sea z=f (x,y), las derivadas parciales primeras de f con respecto a x e y son las
funciones fx y fy definidas a continuacin:
f x ( x, y ) = lim
x 0

f ( x + x , y ) f ( x , y )
x

f y ( x, y ) = lim
y 0

f ( x , y + y ) f ( x , y )
y

f z
=
= Dx f
x x
Si evaluamos la derivada parcial respecto a x en ( a, b) escribiremos:

Nota: Se utilizan las siguientes notaciones: f x = z x =

f x ( a , b) = z x ( a , b ) =

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

curva

z = f ( x , y0 )
superficie

recta tangente

z = f ( x, y )

P = ( x0 , y0 , f ( x0 , y0 )

plano y=y0

f x ( x0 , y0 ) es la pendiente de la recta tangente a la curva z = f ( x, y0 )

en el punto ( x0 , y0 , f ( x0 , y0 ))

Derivadas parciales orden superior

Sea z = f ( x, y ),

2 f
f
=
= f xx
x 2 x x

2 f
f
= = f yx
xy x y

2 f
f
= = f xy
yx y x

2 f
f
=
= f yy
y 2 y y

Teorema Schwartz
Sea f una funcin con derivadas parciales primeras y segundas continuas en
una regin abierta R, entonces para todo (x0 ,y0)R se verifica
fxy (x0 ,y0)= fyx (x0 ,y0).

9.4 Diferencial
Definicin
Si z = f (x,y) e x, y son incrementos de x e y, las diferenciales de las
variables independientes son dx=x, dy=y , y la diferencial total de la
z
z
variable dependiente z es: dz = dx + dy
x
y

Definicin
Una funcin z = f (x,y) es diferenciable en (x0,y0) si z puede expresarse
en la forma:
donde

z = f x ( x0 , y0 )x + f y ( x0 , y0 )y + 1x + 2 y

1 , 2 0 cuando ( x, y ) (0,0).

Una funcin f es diferenciable en una regin abierta R si es diferenciable

en todos los puntos de dicha regin.

Teorema
Si f (x,y) es continua con derivadas parciales primeras continuas en una
regin abierta R, entonces f es diferenciable en R.
Si f es diferenciable en (x0,y0) entonces es continua en (x0,y0).

Diferencial: interpretacin geomtrica

plano tangente

z0

T1

T2

C2

superficie S

z = f ( x, y )

C1

pendiente de T1 : f x ( x0 , y0 )

pendiente de T2 : f y ( x0 , y0 )

y0

x0
El plano tangente a S en el punto P contiene a las rectas tangentes T1 y T2.

Diferencial: interpretacin geomtrica

plano tangente

dz representa la variacin de
la altura del plano tangente a
la superficie.

z0
z

dz
superficie S

z = f ( x, y )

y0
x0
dy= y

( x0 + dx, y0 + dy )

dx= x

dz z z0 = f x ( x0 , y0 )( x x0 ) + f y ( x0 , y0 )( y y0 )
ecuacin del plano tangente

9.5 Regla de la cadena. Derivacin parcial implcita.

Regla de la cadena
Teorema
Sea w=f(x,y) una funcin diferenciable. Si x=g(t) e y=h(t), siendo g y h
funciones derivables de t, entonces:
dw w dx w dy
=
+
dt x dt y dt
Teorema
Sea w=f(x,y) una funcin diferenciable de x e y. Si x=g(s,t) e y=h(s,t), y
existen sus derivadas parciales primeras, entonces:

w w dx w dy
=
+
s x ds y ds

w w dx w dy
=
+
t x dt y dt

Derivacin parcial implcita

Teorema
Si F(x,y)=0 define a y implcitamente como funcin derivable de x, entonces:

dy
F ( x, y )
= x
,
dx
Fy ( x, y )

Fy ( x, y ) 0

Si F(x,y,z)=0 define a z implcitamente como funcin diferenciable de x e y,

entonces:

z
F ( x, y , z )
= x
,
x
Fz ( x, y , z )

F ( x, y , z )
z
= y
,
y
Fz ( x, y , z )

Fz ( x, y , z ) 0

9.6 Derivada direccional y gradiente.

recta tangente T

Derivada direccional

curva C

superficie

z = f ( x, y )

y
x

r
u

r
r
r
u = cos i + sen j,

r
u =1

Plano vertical que contiene a la

r
recta que pasa por A con direccin u
r r
r
(ecuacin de la recta r = a + u )

A = ( x, y )
B = ( x + x , y + y )
uuur r
AB = tu

P = ( x, y , z )
Q = ( x + x , y + y , z + z )
x = t cos , y = t sen

Cul es la pendiente de la recta tangente a la curva C en el punto P?

Pendiente recta secante que pasa por P y Q: msec =

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

Pendiente de la recta tangente a la curva C en el punto P:

Dur f ( x, y ) = lim
t 0

f ( x + t cos , y + t sen f ( x, y )
t
r

Derivada direccional de f en la direccin de u

Derivada direccional y gradiente

Teorema
Si z=f(x,y) es una funcin diferenciable, entonces la derivada direccional de f

r
r
r
en la direccin del vector unitario u = cos i +sen j es:

Dur f ( x, y ) = f x ( x, y ) cos + f y ( x, y )sen

Definicin
Sea z=f(x,y), con derivadas parciales primeras, el gradiente de f es el vector:

r
r
f ( x, y ) = f x ( x, y )i + f y ( x, y ) j

Corolario
Si z=f(x,y) es una funcin diferenciable,
entonces
r
r
r la derivada direccional de fur

en la direccin del vector unitario u = cos i +sen j es: Dur f ( x, y ) = f ( x, y )u

Teorema
Sea f una funcin diferenciable en (x,y).

1.- Si f (x,y)=0, entonces Dur f ( x, y ) = 0 para todo u.

2.- La direccin de mximo crecimiento de f viene dada por f (x,y), y el
valor mximo de Dur f ( x, y ) es f ( x, y ) .
3.- La direccin de mnimo crecimiento de f viene dada por -f (x,y), y el
valor mnimo de Dur f ( x, y ) es f ( x, y ) .
4.- Si f (x,y)0, entonces f (x,y) es un vector normal a la curva de nivel
Que pasa por (x,y) .
Nota: Sea w= f (x,y,z), el gradiente en (x,y,z) es un vector en el espacio que es
ortogonal a la superficie de nivel que pasa por dicho punto.
r
r
r
f ( x , y , z ) = f x ( x , y , z )i + f y ( x , y , z ) j + f z ( x , y , z ) k

r r

La derivada direccional en la direccin de un vector

ur u = a i + bj + ck, u =1, es:

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

9.7 Plano tangente y recta normal.

plano tangente T
recta tangente T

F ( x, y , z )

curva C
superficie S

z = f ( x, y )

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

r
r (t )

P = ( x0 , y0 , z0 )

C es una curva cualquiera contenida en rla superficie

r S, que
r pasa
r por el punto P,
viene descrita por la funcin vectorial r (t ) = x (t )i + y (t ) j + z (t )k .
Entonces, para todo t, se verifica: F ( x (t ), y (t ), z (t )) = 0
Si F es diferenciable y existen x '(t ), y '(t ) y z '(t ) , por la regla de la cadena
resulta que:

F '(t ) = Fx ( x, y , z ) x '(t ) + Fy ( x, y , z ) y '(t ) + Fz ( x, y , z ) z '(t ) = 0

r
F '(t ) = F ( x, y , z ) r '(t ) = 0
r

En P = ( x 0 , y 0 , z 0 ), F ( x 0 , y 0 , z 0 ) r '( t0 ) = 0

r
F ( x 0 , y 0 , z 0 ) r '( t0 )

El vector gradiente en P es ortogonal al vector tangente a cualquier curva

Sobre S que pase por P. Por tanto, todas las rectas tangente en P estn en un
plano que es normal a F ( x, y , z ) y contiene a P. Este plano se denomina
plano tangente a S en P, y la recta que pasa por P y contiene a F ( x, y , z )
se llama recta normal

Plano tangente y recta normal

Teorema
Si F(x,y,z)=0 es una funcin diferenciable en P=(x0,y0,z0), la ecuacin del
plano tangente a la superficie dada por F en el punto P es:

Fx ( x0 , y0 , z0 )( x x0 ) + Fy ( x0 , y0 , z0 )( y y0 ) + Fz ( x0 , y0 , z0 )( z z0 ) = 0

plano tangente

F ( x, y , z )

Q
superficie S

F ( x, y , z ) = 0

P
r
r (t )

P = ( x0 , y0 , z0 )
Q = ( x, y , z )

uuur
F ( x, y , z ) PQ = ( x x0 , y y0 , z z0 )

Observacin:
Sea una superficie S dada por z = f(x,y), definimos F(x,y,z) = f(x,y)-z,
entonces S viene dada por la superficie de nivel F(x,y,z) = 0. Se verifica:

Fx ( x0 , y0 , z0 ) = f x ( x0 , y0 ), Fy ( x0 , y0 , z0 ) = f y ( x0 , y0 ), Fz ( x0 , y0 , z0 ) = 1
Sustituyendo en la frmula del teorema anterior se tiene:

z z0 = f x ( x0 , y0 )( x x0 ) + f y ( x0 , y0 )( y y0 )

9.8 Extremos de funciones de dos variables.

mnimo

mximo

mnimo

y
x
regin cerrada y acotada R
Extremos absolutos

Extremos absolutos
Sea f una funcin de dos variables definida en una regin R cerrada y acotada. Los valores f(a,b) y f(c,d) tales que: f(a,b) f (x,y) f(c,d) para todo (x,y)
de R, con (a,b) y (c,d) R, son el mnimo y el mximo de f en la regin R.

Teorema
Sea f una funcin continua de dos variables definida en una regin R cerrada
y acotada.
1.- Existe al menos un punto en R donde f alcanza su valor mnimo.
2.- Existe al menos un punto en R donde f alcanza su valor mximo
Nota: El mximo y el mnimo se llaman tambin mximo absoluto y mnimo absoluto.

Extremos de funciones de dos variables

z
z

y
x

mximo relativo

y
x

mnimo relativo

disco abierto

disco abierto

f x ( x0 , y0 ) y f y ( x0 , y0 )
no estn definidas

y
x

mnimo relativo
disco abierto

y
x

mximo relativo
disco abierto

Extremos relativos
Sea f una funcin de dos variables definida en una regin R que contiene al
punto (x0,y0).
1.- La funcin f tiene un mnimo relativo en (x0,y0) si f(x,y) f(x0,y0)
para todo (x,y) en un disco abierto que contiene a (x0,y0).
2.- La funcin f tiene un mximo relativo en (x0,y0) si f(x,y) f(x0,y0).
para todo (x,y) en un disco abierto que contiene a (x0,y0).

Puntos crticos
Sea f una funcin de dos variables definida en una regin abierta R que
contiene al punto (x0,y0). El punto (x0,y0) es un punto crtico de f si
fx(x0,y0)=0 y fy(x0,y0)=0, o bien no existe alguna de estas derivadas.

Extremos de funciones de dos variables

Teorema
Si f tiene en (x0,y0) un extremo relativo en una regin abierta R, entonces
(x0,y0) es un punto crtico de f.

Teorema
Sea f una funcin con derivadas parciales segundas continuas en una regin
abierta que contiene al punto (x0,y0), siendo fx(x0,y0)=0 y fy(x0,y0)=0, y sea

d=

f xx ( x0 , y0 )
f xy ( x0 , y0 )

f xy ( x0 , y0 )
f yy ( x0 , y0 )

Entonces:
1.- Si d > 0 y fxx(x0,y0) > 0, entonces f tiene un mnimo relativo en (x0,y0).
2.- Si d > 0 y fxx(x0,y0) < 0, entonces f tiene un mximo relativo en (x0,y0).
3.- Si d < 0 entonces f tiene un punto de silla en (x0,y0).
4.- Si d = 0 este criterio no proporciona ninguna informacin.

z
z
y

y
x

mximo relativo

mnimo relativo

disco abierto

disco abierto

z
y
x
punto de silla
disco abierto

Extremos de funciones de dos variables

y
x

mnimo relativo

disco abierto

f x ( x0 , y0 ) y f y ( x0 , y0 ) no estn definidas

y
x

mnimo relativo

disco abierto

Extremos de funciones de dos variables

mximo

mnimo

mnimo

mnimo relativo

regin cerrada y acotada R

disco abierto

Extremos absolutos

y
x

y
x

punto de silla
disco abierto

mximo relativo
disco abierto

9.9 Mtodo de los multiplicadores de Lagrange

Ejemplo 1:
(0, 0,9)

z = 9 x2 y 2

(0,3, 0)
(3, 0, 0)

z = 9 x 2 y 2 , tiene un mximo en (0,0,9).

Mtodo de los multiplicadores de Lagrange

(0, 0,9)

(1,1, 7)

z = 9 x2 y 2

x+ y =2
(0,3, 0)
(3, 0, 0)

z = 9 x 2 y 2 , con la condicin x + y = 2,
tiene un mximo en (1,1,7).
Cmo podemos determinarlo?
z = h( x) = 9 x 2 (2 x) 2 = 2 x 2 +4 x + 5
h '( x) = 4 x + 4 = 0 x = 1
h ''(1) = 4 < 0 mximo en (1,1,7).

Nuestro objetivo es hallar los extremos de z = f ( x, y ) con la

restriccin g ( x, y ) = c. Para resolver este problema podemos
proceder como en el ejemplo anterior, despejando una variable
y sustituyendo. Ahora bien, esto no ser siempre posible o aconsejable.
Ejemplo 2 : Calcula los extremos de z = 9 x 2 y 2 con la
restriccin xy + y 2 x 3 3 = 0.

Un procedimiento general para resolver problemas de este tipo

es el denominado metodo de los multiplicadores de Lagrange.
Sea z = f ( x, y ), con la restriccion g ( x, y ) = c, los posibles
extremos condicionados de z se obtienen resolviendo el
sistema siguiente:

f ( x, y ) = g ( x, y )

g ( x, y ) = c

f x ( x, y ) = g x ( x, y )

f y ( x, y ) = g y ( x, y )

g ( x, y ) = c

Si se aplica este metodo al ejemplo 1:

f ( x, y ) = 9 x 2 y 2 , g ( x, y ) = x + y = 2
2 x =

2 y = 2( x + y ) = 2 4 = 2 = 2
x + y = 2

de donde: x = 1, y = 1 y z = 7.

Idea del mtodo de los multiplicadores de Lagrange

Deseamos hallar el rectngulo de rea mxima que se puede

x2 y 2
inscribir en la elipse 2 + 2 = 1.
4
2

x2 y2
+
=1
42 22

( x, y )

El rea de un rectngulo inscrito viene dada por: f ( x, y ) = 4 xy.

Nuestro objetivo es:

Optimizar la funcin f ( x, y ) = 4 xy

(funcin objetivo)

x2 y 2
con la restriccin: g ( x, y ) = 2 + 2 = 1
4
2

(ligadura )

x2 y2
+
=1
42 22
( x, y )

curvas de nivel de f (x, y ) = 4 xy = k

Las curvas de nivel de f representan una familia de hiprbolas:

4 xy = k
Para maximizar f queremos encontrar una hiprbola que justo
toque a la elipse. Dicha curva es tangente a la elipse.
Dos curvas son tangentes en un punto si y slo si sus sus vectores
gradiente son paralelos:
f ( x, y ) = g ( x, y )
El escalar se llama multiplicador de Lagrange.

Teorema
Si f y g son funciones con derivadas parciales primeras contnuas,
y tales que f tiene un extremo en el punto ( x0 , y0 ) sobre la curva
suave de ligadura g ( x, y ) = c. Si existe g ( x, y ) (0, 0), entonces
existe un nmero real tal que
f ( x0 , y0 ) = g ( x0 , y0 )

Mtodo de los multiplicadores de Lagrange.

Supongamos que f tiene un mximo o un mnimo con la

ligadura g ( x, y ) = c, donde f y g cuamplen las condiciones
del Teorema de Lagrange. Para hallar el mnimo o el mximo
se siguen los siguientes pasos:
1) Se resuelve el sistema:
f x ( x, y ) = g x ( x, y )

f y ( x, y ) = g y ( x, y )

g ( x, y ) = c

2) Se evala f en cada uno de los puntos obtenidos. El mayor

de esos valores nos da el mximo de f con la ligadura
g ( x, y ) = c. El menor de ellos nos da el mnimo de f con
la ligadura g ( x, y ) = c.