BLOQUE 01

FUNCIONES DE UNA Y VARIAS VARIABLES REALES

TEMA 2
FUNCIONES DE VARIAS VARIABLES REALES

ESQUEMA:

Apartado 1: Definicin y conceptos bsicos

Apartado 2:
Lmites
Tipos de lmites. Relacin entre los distintos tipos de lmites
Operaciones
Continuidad
Apartado 3: Diferenciacin
Derivadas parciales. Derivadas parciales de orden superior
Diferencial total. Plano tangente
Regla de la cadena para funciones compuestas
Apartado 4: Extremos sin ligaduras
Puntos crticos
Hessiano
Apartado 5: Extremos con ligaduras o condicionados. Multiplicadores de Lagrange

En muchos de los apartados de este tema trabajaremos con funciones de dos variables
para simplificar los clculos y la notacin. La generalizacin a ms variables es fcil en la
mayora de los casos

APARTADO 1: DEFINICIN Y CONCEPTOS BSICOS

es toda aplicacin f de D
n n
Definicin 1.1- Una funcin de en en .

f :D n

X D f ( X ) f ( x1 , x2 ,....., xn )
El conjunto D se llama conjunto de definicin de f, y con frecuencia se notar D f
Definicin 1.2- Se llama grfica de la funcin f al conjunto

G x1 , x2 ,....xn , f ( x1 , x2 ,...., xn / ( x1 , x2 ,....xn ) D .
Cuando n =1 la grfica es una curva y si n = 2, una superficie
Ejemplo.-

BLOQUE 01.TEMA 2.MAT I. FUNC DE VARIAS VARIABLES REALES. 1

 x2 y 2 9
z f x, y es una funcin de dos variables. Su dominio de definicin es
x
D f x, y 2 / x 2 y 2 9, x 0 es decir el conjunto de todos los puntos que estn
fuera del crculo x 2 y 2 9 o en l, excepto los del eje OY.

n
Operaciones con funciones de en .
1
a) Si f y g son dos funciones de n
en , se definen las funciones f g , f , f g,
g
f
y de forma anloga a como lo hemos hecho con las funciones de una variable:
g
f g X f X g X
f g X f X g X
f X f X
1 1
X , X Dg / g X 0
g gX
f f X
X , X Dg / g X 0
g gX

b) Dadas las funciones f: n

y g: n
, se define g f : n
por

g f X g f X para todo X D f / f X Dg

APARTADO 2: LIMITES
LMITE DOBLE

f : D n una funcin, X 0 un punto de acumulacin de D y l un

Sean
nmero real lim f ( X ) l 0, , 0 (en general depende de y de X 0 ) tal
X X0

que f ( X ) l siempre que X D f y 0 X X 0

Para comprender mejor este concepto, vamos a particularizarlo al caso de funciones de
dos variables.

BLOQUE 01.TEMA 2.MAT I. FUNC DE VARIAS VARIABLES REALES. 2

 Sean f :D 2
una funcin, a x0 , y0 un punto de acumulacin de D y l
un nmero real lim f ( x, y) l 0, 0 / x, y D con
( x , y )( x0 , y0 )

0 ( x x0 ) 2 ( y y0 ) 2 , es f ( x, y) l
LIMITES ITERADOS, REITERADOS O SUCESIVOS.

Sea f :D 2
y a x0 , y0 un punto de acumulacin de D. Los lmites
iterados, reiterados o sucesivos de f a x0 , y0 se definen, si existen, de la siguiente forma:

lim lim f ( x, y ) y lim lim f ( x, y )

y y0
x x0 x x0
y y0
Nota: Se trata de hacer un lmite considerando una de las variables constantes y a
continuacin se calcula el lmite respecto a esa variable

x2 y3
Ejemplo.- Calcular los limites reiterados de f ( x, y ) en (0,0).
x2 y2

x2 y3 x2 y3
lim lim 2 lim ( y ) 0 lim lim 2 lim (1) 1
y 0 x 0 x y 2 x 0 y 0 x y 2
y 0 x 0

LMITE SEGN UN CONJUNTO

Sean f :D 2
y un subconjunto de
2
tal que a x0 , y0 D '

Diremos que lim f ( x, y) l 0, 0 / x, y D con

( x , y ) ( x0 , y0 )
( x , y )

0 ( x x0 ) ( y y0 ) 2 , es f ( x, y) l
2

Notas:
1) En el lmite segn un conjunto slo interesa el comportamiento de la funcin en los puntos
de ese conjunto.

2) Si los subconjuntos son las rectas que pasan por el punto a x0 , y0 , es decir
( x, y) / y y0 m( x x0 ) los lmites se denominan lmites direccionales.
3) Existen otras posibilidades de limites segn subconjuntos, por ejemplo segn parbolas

( x, y) / y y0 m( x x0 ) 2 o cualquier otro tipo de curvas que pasen por
a x0 , y0 .

xy
Ejemplo.- El lmite de la funcin f ( x, y ) cuando x, y 0,0 segn el haz de
x y2
2

rectas y mx que pasa por el punto 0,0 es

xy x(mx) m m
lim lim 2 lim Esto significa que el lmite depende de
x 0
y mx
x y
2 2 x 0 x (mx) 2 x 0 1 m 1 m2
2

la direccin (camino) que nosotros tomemos.

RELACIN ENTRE LOS DIFERENTES TIPOS DE LMITES

BLOQUE 01.TEMA 2.MAT I. FUNC DE VARIAS VARIABLES REALES. 3

Teorema 2.1-

Si existe el lmite en un punto a x0 , y0 D ' de una funcin f :D

2
y
vale l y existen los lmites reiterados de f , entonces todos son iguales.
Notas:

1) Si segn dos subconjuntos 1 y 2 los lmites son distintos, entonces no existe el lmite
doble
2) Puede ser que no exista alguno o los dos lmites reiterados y sin embargo que exista el
lmite doble como se puede ver en el siguiente ejemplo:

1
Sea f ( x, y ) x.sen , ( x, y ) (0, 0) . En este caso
y
1
lim lim x.sen lim(0 acotada) lim(0) 0
y 0 x 0
y y 0 y 0

1
lim lim x.sen lim() , por lo tanto no existe
x 0 y 0
y x0

1
Sin embargo lim x.sen 0 acotada 0
( x , y ) (0,0)
y
3) Para el clculo del lmite doble suele ser usual pasar a coordenadas polares

x cos
Ejemplo.-
y sen

5x2 y 5 3 cos 2 sen

lim lim lim5 cos 2 sen 0
x , y 0,0 x 2 y 2
0 2 cos 2 sen 2
0
OPERACIONES
Si f X y g X tienen lmite en el punto X 0 entonces se cumple que:

a) lim ( f g ) lim f ( X ) lim g ( X )

X X0 X X0 X X0

b) lim ( f ) lim f ( X )
X X0 X X0

c) lim ( f . g ) lim f ( X ) . lim g ( X )

X X0 X X0 X X0

d) lim (1 / g ) 1 / lim g ( X ), , si lim g ( X ) 0

X X0 X X0 X X0

e) lim ( f / g ) lim f ( X ) / lim g ( X ), , si lim g ( X ) 0

X X0 X X0 X X0 X X0

CONTINUIDAD
Sean f :D n
una funcin, X 0 un punto de acumulacin de D
Definicin 2.1-

Se dice que f es continua en X 0 si y solo si se cumple que:

BLOQUE 01.TEMA 2.MAT I. FUNC DE VARIAS VARIABLES REALES. 4

 1) f X 0

2) lim f ( X )
X X0

3) lim f ( X ) f ( X 0 ) .
X X0

Es decir que el concepto de continuidad est ntimamente relacionado con el de lmite,

por consiguiente para saber si una funcin es o no continua es necesario previamente calcular
su lmite.
Respecto al lgebra de las funciones continuas se cumplen las mismas propiedades
que se cumplan en el caso de funciones de una variable.

APARTADO 3: DIFERENCIACIN
DERIVADAS PARCIALES
Al igual que hicimos con los lmites vamos a ir dando y analizando los conceptos para
el caso de funciones de dos variables, z f x, y , y a continuacin generalizaremos los
conceptos.

Sea f :D 2
, D abierto tal que z f x, y

Si se hace y constante entonces z f x, y es funcin de una sola variable x , y

tenemos la siguiente definicin:
Definicin 3.1-

f ( x h, y ) f ( x , y )
Se llama derivada parcial 1 de f con respecto a x al lim , si
h0 h
f ( x, y )
este lmite existe, y se representa por o bien por f x ( x, y )
x
De forma anloga si en vez de dejar fija y dejamos x fija (constante), entonces

z f x, y ser solamente funcin de y , y tendremos la siguiente definicin.

Definicin 3.2-

f ( x, y k ) f ( x, y )
Se llama derivada parcial 1 de f con respecto a y al lim , si
k 0 k
f ( x, y )
este lmite existe, y se representa por o bien por f y ( x, y ) .
y
Es necesario tomar h, k de tal forma que los puntos x h, y y x, y k pertenezcan a D.
Si hacemos h x , k y , las derivadas parciales se escriben:

f ( x x, y) f ( x, y) f ( x, y y) f ( x, y)
f x x, y) lim y f y ( x, y) lim
x 0 x y 0 y
Tambin se pueden utilizar las siguientes notaciones:
f ( x, y) z
f x ( x, y) z x Dx f ( x, y) Dx z
x x

BLOQUE 01.TEMA 2.MAT I. FUNC DE VARIAS VARIABLES REALES. 5

 f ( x, y) z
f y ( x, y) z y D y f ( x, y) D y z
y y
Interpretacin geomtrica.
La interpretacin geomtrica de estas definiciones es la siguiente: La ecuacin
z f x, y es la ecuacin de una superficie, mientras que para y y0 fijo, z f x, y0 es
la ecuacin de una curva 0 que resulta de la interseccin de la superficie z f x, y con el
plano y y0
f ( x, y 0 )
Por lo tanto nos da el valor del coeficiente angular de la tangente en
x
cualquier punto de la curva 0 .

Para otro valor y y1 obtenemos otra curva 1 , es decir, al variar el valor de y se

obtienen una infinidad de curvas paralelas al plano OXZ, o lo que es lo mismo, una infinidad de
funciones de una variable x .
Definicin 3.3-

Una funcin z f x, y tiene derivadas parciales con respecto a cada variable en D

si est definida en D y admite en cada uno de los puntos de D una derivada parcial con
respecto a cada variable.
Ejemplo.-

; x, y z f x, y xe x y
2
2
Clculo de las derivadas parciales de la funcin f :

f x x, y xe x y 2 xy e x y e x y 2 x 2 y 1
2 2 2

f y x, y xe x x x e
2
y 2 3 x2 y

Nota: Para funciones de dos o ms variables no existe relacin alguna entre continuidad y
derivabilidad como ocurra en el caso de funciones de una variable, como pone de manifiesto el
siguiente ejemplo:

xy si ( x, y ) (0,0)

Sea f ( x, y ) x 2 y 2
si ( x, y ) (0,0)
0
Claramente esta funcin no es continua en 0, 0 ya que no existe el lmite en dicho punto
(visto en el caso de lmites direccionales). Sin embargo es derivable ya que

BLOQUE 01.TEMA 2.MAT I. FUNC DE VARIAS VARIABLES REALES. 6

 f f (0 h,0) f (0,0) 0
(0,0) lim lim 0
x h 0 h
h 0 h

f f (0,0 k ) f (0,0) 0
(0,0) lim lim 0
y k 0 k
k 0 k

El concepto de derivada parcial se generaliza de una forma natural para el caso de

funciones de varias variables.
Definicin 3.4-

Sea f :D n
, y X D, D abierto. Se define la derivada parcial 1 de
f X respecto a la variable xi como:

f ( x1 , x2 ,...., xi 1 , xi h, xi 1 ,....x ) f ( x1 , x2 ,...., xi 1 , xi , xi 1 ,....x )

lim
h 0 h
f ( X hei ) f ( X )
= lim f xi ( X ) en el caso de que dicho lmite exista.
h 0 h
Definicin 3.5-
El vector cuyas componentes son las derivadas parciales primeras de la funcin f se
f f f
denomina vector gradiente, y se nota por f gra d f ( , ,...., )
x1 x2 xn
DERIVADAS PARCIALES DE ORDEN SUPERIOR

Retomemos el caso particular de una funcin z f x, y de dos variables.

f ( x, y )
La derivada parcial respecto a x , , es una funcin de dos variables, y por lo
x
tanto puede ser derivada de nuevo respecto de x o bien respecto de y , dando lugar a lo que
z 2 z
se denomina como derivadas parciales segundas: f xx ( x, y ) o bien
x x x2
z 2 z
f yx ( x, y )
y x y x
f ( x, y )
Asimismo, la derivada parcial respecto a y , , es una funcin de dos
y
variables, y por lo tanto puede ser derivada de nuevo respecto de x o bien respecto de y ,
dando lugar a lo que se denomina como derivadas parciales segundas:
z 2 z z 2 z
f xy ( x, y ) o bien f yy ( x, y )
x y x y y y y 2
En general si f ( X ) f ( x1 , x2 ,....., xn ) es una funcin de n-variables se define la
derivada parcial segunda respecto de las variables x i , x k como

z 2 z
f xk xi ( x, y )
xk xi x k xi
A su vez las derivadas parciales segundas siguen siendo funciones de varias variables
y por lo tanto se podran derivar de nuevo dando lugar a las derivadas parciales terceras. Y en

BLOQUE 01.TEMA 2.MAT I. FUNC DE VARIAS VARIABLES REALES. 7

general reiterando el proceso da lugar a lo que se conoce como las derivadas parciales
sucesivas o derivadas parciales de orden superior.
Teorema 3.1- (de Schwarz)

Sea z f x, y

a) Si existen f x y f y en un entorno de ( x0 , y 0 )

b) Si existe f yx en un entorno de ( x0 , y 0 ) y es continua en ( x0 , y 0 )

Entonces existe f xy ( x0 , y 0 ) y se cumple que f yx ( x0 , y0 ) f xy ( x0 , y0 )

Notas:

1) El teorema es vlido para funciones de varias variables, f ( X ) f ( x1 , x2 ,....., xn ) ,

escogiendo dos de ellas. Es decir, si existen f x i y f x k en un entorno de
( x10 , x2 0 ,.....xn 0 ) y existe f xk xi en un entorno de ( x10 , x2 0 ,.....xn 0 ) y es continua en
( x10 , x2 0 ,.....xn 0 ) entonces existe f xi xk y se cumple que f xk xi = f xi xk
2) El teorema es vlido para derivadas superiores, si se cumplen las condiciones del teorema
para las derivadas sucesivas. Si se verifica el teorema de Schwarz solo importa el
nmero de veces que se deriva respecto de cada variable, no el orden en el que se deriva.
3) Lo usual es que se verifique el teorema aunque no siempre es cierto. En nuestro caso
como las funciones que nosotros utilizamos son continuas con derivadas parciales
continuas la igualdad entre las derivadas cruzadas se verifica salvo raras excepciones. Es
decir nuestras funciones son de clase ( f C ).
DIFERENCIAL. DIFERENCIAL TOTAL. PLANO TANGENTE
Para una funcin de una variable y f x definimos la diferencial de y como
dy f ' x dx . Para una funcin de dos variables z f x, y usamos una terminologa
similar. Llamamos x, y a los incrementos de x e y , el incremento de z viene dado:
z f x x, y y f x, y ; las diferenciales dx, dy, dz se definen como sigue:
Definicin de diferencial total:

Si z f x, y y
x, y son los incrementos de x y de y, entonces las diferenciales
de las variables independientes x e y son dx x y dy y y la diferencial total de la
z z
variable dependiente z es dz dx dy f x x, y dx f y x, y dy .
x y
Esta definicin puede extenderse sin ningn problema a funciones de tres o ms
variables.

Sea f :D n
una funcin diferenciable, entonces se tiene que su diferencial
es:
f f f
df dx1 dx2 ..... dxn
x1 x2 xn
Definicin de diferenciabilidad

BLOQUE 01.TEMA 2.MAT I. FUNC DE VARIAS VARIABLES REALES. 8

 Una funcin z f x, y es diferenciable en x, y si z puede expresarse en la
forma z f x x, y x f y x, y y 1x 2 y donde 1 , 2 0 cuando

x, y 0,0
Se dice que la funcin f es diferenciable en la regin R cuando es diferenciable en todo
punto de R.
Como en el caso de las funciones de una variable, la diferencial total de una funcin de
dos variables da una buena aproximacin del incremento total de la funcin cuando los
incrementos de las variables independientes son pequeos.

Ejemplo.- Calcular aproximadamente el valor de e 0'1 sen(0'2) .

Para hacer dicho clculo podemos usar la diferencial de la funcin f ( x, y) e x sen( y) en el
punto (0,0).

Entonces e 0'1 sen(0'2) f (0,0) df (0,0).(0'1,0'2) e 0 sen(0) 0'1.0 0'2.1 0'2

ya que f x ( x, y) e sen( y) ,,
x
f y ( x, y) e x cos( y) f x (0,0) 0 ,, f y (0,0) 1

Es interesante notar que el trmino diferenciable se utiliza de forma diferente al

aplicarlo a funciones de dos variables y al aplicarlo a funciones de una variable. Una funcin de
una variable es diferenciable en un punto si su derivada en ese punto existe, sin embargo para
una funcin de varias variables la existencia de las derivadas parciales f x , f y no garantiza que
la funcin sea diferenciable.
Damos a continuacin una serie de condiciones necesarias y suficientes para la
diferenciabilidad
RELACIN ENTRE CONTINUIDAD, DIFERENCIABILIDAD Y CONTINUIDAD DE LAS
DERIVADAS PARCIALES
Condiciones necesarias de diferenciabilidad:
Si la funcin es diferenciable en un punto entonces es continua en ese punto.
Si la funcin es diferenciable en un punto, entonces existen las derivadas parciales en
ese punto.
Condicin suficiente de diferenciabilidad
Si la funcin es continua y sus derivadas parciales existen y son continuas en un punto,
entonces la funcin es diferenciable en ese punto.
Los recprocos de los teoremas anteriores no son ciertos, pero s podemos utilizar sus
negaciones lgicas:
Condiciones necesarias de diferenciabilidad:
Si la funcin no es continua en un punto entonces no es diferenciable en ese punto.
Si no existen las derivadas parciales en un punto entonces la funcin no es
diferenciable en ese punto.
Condicin suficiente de diferenciabilidad
Si la funcin no es diferenciable en un punto, entonces alguna de las derivadas
parciales no es continua en ese punto.
Interpretacin geomtrica de la diferencial. PLANO TANGENTE.

Si una funcin z f x, y es diferenciable en un punto ( x0 , y 0 ) , la diferencial total,

que es una funcin lineal y homognea en dx x x0 y dy y y0 representa la ecuacin
incremental dz z z0 de un plano

BLOQUE 01.TEMA 2.MAT I. FUNC DE VARIAS VARIABLES REALES. 9

 f f
z z0 ( x0 , y 0 )( x x0 ) ( x0 , y 0 )( y y 0 )
x y
llamado plano tangente a la superficie grfica de la funcin z f x, y en el punto
( x0 , y 0 , z 0 ) .

El plano tangente contiene a todas las rectas tangentes a las curvas contenidas en la
superficie z f x, y que pasan por el punto ( x0 , y0 , z 0 ) .
Ejemplo.-

x2 4 y 2
Halla la ecuacin del plano tangente al paraboloide z en el punto 2, 2, 2
10
x2 4 y 2
z f x, y
10
x 4y 2 8
f x x, y ; f y x, y f x 2, 2 ; f y 2, 2
5 5 5 5
2 8
Ecuacin plano tangente z2 x 2 y 2 0 2 x 8 y 5z 10 0
5 5

La ecuacin de la recta normal es:

xa y b z f (a, b)

z z 1

x a ,b y a ,b

REGLA DE LA CADENA PARA FUNCIONES COMPUESTAS

a) De una variable independiente.

Sea z f u, v,..., w donde u, v,..., w son a su vez funciones de una variable x :

u 1 ( x) , v 2 ( x) , ...., w n ( x) .

BLOQUE 01.TEMA 2.MAT I. FUNC DE VARIAS VARIABLES REALES. 10

A la funcin z se le llama funcin compuesta de una variable independiente x y su derivada
es

dz z du z dv z dw
.....
dx u dx v dx w dx
Ejemplo.-
dw
Sean w x 2 y y 2 , donde x sent e y et . Hallar cuando t 0
dt
dw w dx w dy
2 xy cos t x 2 2 y et
dt x dt y dt
dw
Cuando t 0 , x 0 e y 1 luego 2
dt
b) De varias variables independientes:

Sea ahora z f u, v,..., w donde u, v,..., w son a su vez funciones de x1 , x2 ,....., xk ,

es decir u 1 ( x1 , x2 ,....., xk ) , v 2 ( x1 , x2 ,....., xk ) , ....... w n ( x1 , x2 ,....., xk ) .
Las k-derivadas parciales vienen dadas:
z z u z v z w
..... i 1, 2,..., k
xi u xi v xi w xi
La diferencial total de la funcin ser: (trabajo alumno)

z z z z u z v z w
dz dx1 dx2 ..... dxk = ..... dx1 +
x1 x2 xk u x1 v x1 w x1

z u z v z w
..... dx2 +
u x2 v x2 w x 2
.............................. +

z u z v z w
..... dxk =
u x k v x k w x k

z z z
Sacando factor comn , , ....., , obtenemos que:
u v w
u u u z v v v z
dz dx1 dx2 ..... dxk + dx1 dx2 ..... dxk +
x1 x2 xk u x1 x2 xk v
w w w z
.... + dx1 dx2 ..... dxk
x1 x2 xk w
y como los parntesis respectivos son du, dv,..., dw resulta que

z z z
dz du dv ..... dw .
u v w
Ejemplo.-

BLOQUE 01.TEMA 2.MAT I. FUNC DE VARIAS VARIABLES REALES. 11

 s w
Dada w 2 xy donde x s 2 t 2 ; y utiliza la regla de la cadena para calcular ,
t s
w
t
w w x w y 1 s 2 2s 2 2t 2 6s 2 2t 2
2 y 2s 2 x 4
s x s y s t t t t

w w x w y s 2s 3 2st 2 2st 2 2s 3
2 y 2t 2 x 2 4s
t x t y t t t2 t2

APARTADO 4: EXTREMOS SIN LIGADURA

Definicin 4.1-

Una funcin f :D 2
tiene en ( x0 , y 0 ) D f un mnimo (o bien un
mximo) relativo si existe una bola abierta B de centro ( x0 , y 0 ) tal que f ( x0 , y0 ) f ( x, y) (o
bien f ( x0 , y0 ) f ( x, y) , ( x, y) B D f . Los mnimos y mximos relativos se llaman
extremos relativos.
PUNTOS CRTICOS
Teorema 4.1- (Condicin necesaria para la existencia de extremos)

Sea f :D 2
tal que f es derivable el punto ( x0 , y 0 ) . La condicin necesaria,
f ( x0 , y 0 )
no suficiente, para que f tenga en ( x0 , y 0 ) un extremo relativo es que 0 y
x
f ( x0 , y 0 )
que 0
y
Demostracin:

Si en la funcin z f x, y hacemos y y0 fija, entonces f ( x, y0 ) solamente es

funcin de una variable, x , y la condicin necesaria para funciones de una variable nos dice
que f x ( x, y 0 ) debe anularse para x x0 , es decir f x ( x0 , y 0 ) = 0.
De forma anloga, si en la funcin hacemos x x0 fija, entonces f ( x0 , y) solamente
es funcin de una variable, y , y la condicin necesaria para funciones de una variable nos dice
que f y ( x0 , y ) debe anularse para y y0 , es decir f y ( x0 , y0 ) 0

Los puntos que verifican las condiciones f x ( x0 , y0 ) 0 y f y ( x0 , y0 ) 0 o bien

alguna de las derivadas parciales no exista, se denominan puntos crticos.
HESSIANO (Condiciones suficientes):

Determinados los puntos donde la funcin f :D 2

puede tomar valores
extremos y supuesto que ( x0 , y 0 ) sea uno de ellos debemos estudiar los valores de la funcin
en un entorno de dicho punto ( x0 , y 0 ) para averiguar si dicho punto es mximo, mnimo o no
se alcanza en l un valor extremo.

H f xx f yy f yx
2 f xx f xy
Para ello se estudia el discriminante llamado
f yx f yy
HESSIANO de f.

BLOQUE 01.TEMA 2.MAT I. FUNC DE VARIAS VARIABLES REALES. 12

 Se verifica el siguiente:
Teorema 4.2-

Sea z f x, y una funcin con derivadas parciales segundas no todas nulas en un

punto ( x0 , y 0 ) , en el que f x ( x0 , y0 ) 0 y f y ( x0 , y0 ) 0 .
Entonces:

Si H 0 f tiene extremo relativo en ( x0 , y 0 ) , que es un mximo si f xx 0 y es un

mnimo si f xx 0 (Caso elptico)
Si H 0 f no tiene extremo relativo en ( x0 , y 0 ) .Dicho punto se denomina punto
de silla o puerto (Caso Hiperblico).
SI H 0 EL CRITERIO NO PROPORCIONA INFORMACIN
Ejemplo.-

Hallar los extremos relativos de la funcin z f ( x, y) x 4 y 4 6 x 2 y 2 8x3

Solucin: Las derivadas parciales de la funcin z f x, y son

f x ( x, y) 4 x 3 12 xy 2 24 x 2

f y ( x, y) 4 y 3 12 x 2 y
La condicin necesaria para la existencia de extremos es que ambas parciales se anulen

f x ( x, y) 4 x 3 12 xy 2 24 x 2 0 4 x( x 2 3 y 2 6 x) 0

f y ( x, y) 4 y 3 12 x 2 y 0 4 y( x 2 3 y 2 ) 0
La segunda ecuacin se verifica solamente si y 0 . Entonces la primera ecuacin, y 0 , se
transforma en 4 x( x 2 6 x) 0 , y tiene como soluciones x 0 y x 6
Por lo tanto los puntos crticos son P 0, 0 y Q 6,0
Vamos a analizar la condicin suficiente

f xx 12 x 2 12 y 2 48x ,, f xy 24 xy ,, f yy 12 y 2 12 x 2

144 0
En el punto Q 6,0 el Hessiano es H (Q) 62208 0 existe un extremo.
0 432
Como adems f xx (6,0) 144 0 , es un mnimo.
0 0
En el punto P 0, 0 el Hessiano es H ( P) 0 . En este caso el criterio no nos da
0 0
informacin.

Analicemos el signo de f h, k f 0,0 siendo h, k cercano al 0, 0 . Si k 0

entonces f (h,0) f (0,0) 8h 3 h 4 ser positivo o negativo dependiendo del signo de h .
Por lo tanto z f x, y tiene en 0, 0 un punto de silla

BLOQUE 01.TEMA 2.MAT I. FUNC DE VARIAS VARIABLES REALES. 13

APARTADO 5: EXTREMOS CONDICIONADOS. MULTIPLICADORES DE
LAGRANGE
Con frecuencia, en las aplicaciones prcticas, es preciso determinar los valores
mayores o menores de una magnitud que se expresa como funcin de n-variables que deben
verificar ciertas condiciones.
Mtodo de los multiplicadores de Lagrange.-
Este mtodo proporciona una condicin necesaria que deben verificar los extremos de
f ( x1 , x2 ,...., xn ) sujetos a las condiciones g1 ( x1 , x2 ,...., xn ) 0 ,....., g k ( x1 , x2 ,...., xn ) 0 ,
cuando las funciones f , g j , j 1, 2,..., k son de clase1

Teorema 5.1- Si f , g1 ,....., g h son funciones de clase 1, entonces existen nmeros reales
1 , 2 ,...., k tales que los extremos de f ( x1 , x2 ,...., xn ) sujetos a las condiciones
g1 ( x1 , x2 ,...., xn ) 0 ,....., g k ( x1 , x2 ,...., xn ) 0 , son los mismos que los de la funcin.
W ( x1 ,....., xn , 1 ,...., k ) f ( x1 , x2 ,...., xn ) + 1 g1 ( x1 , x2 ,...., xn ) +....+ k g k ( x1 , x2 ,...., xn )
Es decir que los posibles extremos de la funcin f ( x1 , x2 ,...., xn ) son las soluciones del
sistema de ecuaciones resultante de igualar a cero todas las derivadas parciales 1 de W
respecto a sus variables.

g1 g
Wx1 ( x1 ,....xn , 1 ,...., k ) = f x1 ( x1 ,....., xn ) 1 ..... k k 0
x1 x1
g1 g
Wx2 ( x1 ,....xn , 1 ,...., k ) = f x2 ( x1 ,....., xn ) 1 ..... k k 0
x2 x2
..........................................................................................................

g1 g
Wxn ( x1 ,....xn , 1 ,...., k ) = f xn ( x1 ,....., xn ) 1 ..... k k 0
xn xn
g1 ( x1 , x2 ,...., xn ) 0
.........................................................................................................

g k ( x1 , x2 ,...., xn ) 0

Los nmeros reales 1 , 2 ,...., k se denominan multiplicadores de LAGRANGE.

Por ejemplo para una funcin de tres variables, las cuales estn sujetas a dos
ligaduras, es decir:

G ( x, y , z ) 0
u f ( x, y, z ) con las ligaduras
H ( x, y , z ) 0
tendramos la funcin auxiliar:

W ( x, y, z, 1 , 2 ) f ( x, y, z) 1G( x, y, z) 2 H ( x, y, z) y las condiciones

f x 1Gx 2 H x 0
f y 1G y 2 H y 0

f z 1Gz 2 H z 0

BLOQUE 01.TEMA 2.MAT I. FUNC DE VARIAS VARIABLES REALES. 14

Observaciones: Lamentablemente no existe un criterio analtico efectivo que permita discernir
la condicin y la naturaleza de los posibles extremos. Algunas estrategias a seguir son:
- En la mayora de los casos se estudia el comportamiento de la funcin con criterios
inherentes al problema concreto, consideraciones geomtricas, fsicas, etc.
- En ocasiones se pueden utilizar las ligaduras (condiciones) para expresar algunas
variables en funcin de otras, reduciendo el problema a la caracterizacin de extremos de una
funcin de menos variables.
2
- Otra posibilidad es estudiar la forma cuadrtica d W utilizando la diferencial de las
ligaduras para obtener relaciones entre las diferenciales de las variables ( x1 , x2 ,...., xn ) .

Ejemplo.- Consideremos un cilindro circular recto, hueco y cerrado por una de sus bases.
Sabiendo que su superficie es S = 12 m , calcular su radio R y su altura H para que su
2

capacidad sea mxima. Hallar dicho mximo.

Solucin:
El volumen del cilindro es V= R H
2

Se trata de optimizar la funcin V con la condicin de ser la superficie S = R + 2RH=12.

2

Para resolver el problema vamos a utilizar multiplicadores de Lagrange

Definimos la funcin W ( x, y) R 2 H ( R 2 2 RH 12 )
Condicin necesaria

WR ( x, y ) 2 RH (2 R 2 H) 0 ( I )
WH ( x, y ) R 2 2 R 0 ( II )

R 2 2 R H 12 0 ( III )
Resolvemos el sistema; en la ecuacin ( II ) se tiene: R ( R 2 ) 0 y como R 0 se
R
obtiene que (*). Reemplazando este resultado en la ecuacin ( I ):
2
2 RH R 2 RH 0 , es decir R( H R) 0 y como R 0 H = R. (**)

Reemplazando esta relacin en ( III ) obtenemos que: R 2RR 12 0 , es decir R = 2

2

Como consecuencia de (**) H = 2 y de (*)

Nos faltara justificar si es o no mximo. Ahora bien puesto que el problema nos pide las
dimensiones para que el volumen sea mximo y la condicin necesaria nos da una nica
solucin al problema, es lgico pensar que la solucin obtenida sea la que maximiza el
volumen.
Optativo para estudio por parte del alumno
Si lo queremos demostrar con rigor tendramos que estudiar el signo de la diferencial
segunda de la funcin auxiliar W.

d 2W WRR d 2 R 2WRH dRdH WHH d 2 H

WRR 2R 2 WRR (2,2,1) 2
WRH 2R 2 WRH (2,2,1) 2
WHH 0

BLOQUE 01.TEMA 2.MAT I. FUNC DE VARIAS VARIABLES REALES. 15

 d 2W (2,2, ) 2d 2 R 4dRdH , que conjuntamente con la diferencial de la
Y por lo tanto:
condicin: dS SR dR S H dH (4 4 )dR 4 dH 0 , es decir 2dR dH nos
queda d W (2,2, ) 2d R 4dR( 2dR) 6d 2 R 0 . Como est definida negativa la
2 2

funcin tiene un mximo

3
Por lo tanto el Vmx. = 8 m
Otra forma de resolver este problema sera en la condicin despejar H en funcin de R y
reemplazarlo en la ecuacin del volumen V que queramos optimizar, con lo cual el problema
se transformara en maximizar (minimizar) una funcin de una variable.

BLOQUE 01.TEMA 2.MAT I. FUNC DE VARIAS VARIABLES REALES. 16