CAP

ITULO IV.
APLICACIONES DEL
C

ALCULO
DIFERENCIAL
SECCIONES
1. Teorema de la funcion implcita.
2. Teorema de la funcion inversa.
3. Cambio de variables.
4. Maximos y mnimos de funciones.
5. Extremos condicionados. Multiplicadores de Lagrange.
177
1. TEOREMA DE LA FUNCI

ON IMPL

ICITA.
Nos planteamos en esta seccion el siguiente problema:
Bajo que condiciones una ecuacion del tipo F(

x ,

z ) = 0, con

x R
m
,

z R
n
, tiene alguna solucion

z = g(

x )?
Si dicha solucion existe y es unica localmente, decimos que F dene implcitamente
a

z en funcion de

x .
Un caso particular de este problema es el de la solucion de un sistema li-
neal
n

j=1
a
ij
z
j
= x
i
, 1 i n,
el cual tiene solucion unica cuando la matriz de los coecientes tiene de-
terminante no nulo y, en este caso, la solucion viene dada por la regla de
Cramer.
Si denotamos por

z = (z
1
, . . . , z
n
) y

x = (x
1
, . . . , x
n
) y denimos las
funciones
f
i
(

x ,

z ) =
n

j=1
a
ij
z
j
x
i
, 1 i n,
la matriz (a
ij
)
1i,jn
es precisamente la matriz jacobiana de la funcion
F = (f
1
, . . . , f
n
) con respecto a las variables (z
1
, . . . , z
n
) y, de lo anterior,
deducimos que det JF ,= 0 es una condicion suciente para que el sistema
dena de forma implcita a

z como funcion de

x . Esta condicion tambien
sera esencial en el caso general.
Veamos otro ejemplo sencillo: la ecuacion x
2
+y
2
+z
2
= 1 representa la esfera
centrada en el origen y radio unidad. Al despejar z en la ecuacion, obtenemos
dos posibles soluciones, z = +
_
1 x
2
y
2
y z =
_
1 x
2
y
2
, que
representan la semiesfera superior y la semiesfera inferior, respectivamente,
y denen dos funciones diferenciables, pero unicamente si x
2
+ y
2
< 1.
Esto signica que, en un entorno del punto (x
0
, y
0
, z
0
) perteneciente a la
esfera, si z
0
,= 0, la ecuacion inicial dene implcitamente una unica funcion
z = z(x, y) diferenciable pero, si z
0
= 0, la ecuacion no tiene solucion unica
de la forma z = z(x, y).
Enunciamos a continuacion el resultado general que proporciona las condi-
ciones sucientes para la existencia de una funcion denida en forma im-
plcita.
Teorema de la funcion implcita. Sean F = (f
1
, . . . , f
n
) : R
m+n
R
n
una funcion de clase C
(1)
en un abierto D R
m+n
y (

x
0
,

z
0
) D un punto
tal que
178
i) F(

x
0
,

z
0
) = 0, y
ii)
(f
1
, . . . , f
n
)
(z
1
, . . . , z
n
)
(

x
0
,

z
0
) ,= 0, donde
(f
1
, . . . , f
n
)
(z
1
, . . . , z
n
)
=

f
1
/z
1
. . . f
1
/z
n
.
.
.
f
n
/z
1
. . . f
n
/z
n

,
entonces existe un entorno abierto U R
m
de

x
0
, un entorno abierto V
R
n
de

z
0
y una unica funcion g : U V tales que:
a) g C
(1)
(U),
b) g(

x
0
) =

z
0
,
c) F
_

x , g(

x )
_
= 0,

x U.
Veamos en los distintos casos como se calculan las derivadas de una funcion
denida en forma implcita.
1.1. Caso de una variable independiente.
Si una ecuacion f(x, y) = 0, donde f es una funcion diferenciable de las
variables x e y, determina a y como funcion de x, la derivada de esta funcion
dada en forma implcita, siempre que f

y
(x, y) ,= 0, puede hallarse por la
formula:
dy
dx
=
f

x
(x, y)
f

y
(x, y)
.
(Las derivadas de orden superior pueden hallarse por derivacion sucesiva de
la formula anterior.)
Ejemplo 1. En la formula (x
2
+y
2
)
3
3(x
2
+y
2
) + 1 = 0, tenemos:
f

x
(x, y) = 3(x
2
+y
2
)
2
2x 3(2x) = 6x[(x
2
+y
2
)
2
1]
f

y
(x, y) = 3(x
2
+y
2
)
2
2y 3(2y) = 6y[(x
2
+y
2
)
2
1].
de donde dy/dx = x/y.
Para hallar la segunda derivada, derivamos con respecto a x la primera
derivada que hemos encontrado, teniendo en cuenta al hacerlo que y es
funcion de x:
d
2
y
dx
2
=
d
dx
_

x
y
_
=
y x(dy/dx)
y
2
=
y x(x/y)
y
2
=
y
2
+x
2
y
3
.
1.2. Caso de varias variables independientes.
Analogamente, si la ecuacion F(x
1
, . . . , x
n
, z) = 0, donde F es una funcion
diferenciable de las variables x
1
, . . . , x
n
y z, determina en forma implcita
a z como funcion de las variables independientes x
1
, . . . , x
n
, en los puntos
179
donde F

z
(x
1
, . . . , x
n
, z) ,= 0, las derivadas parciales de esta funcion dada en
forma implcita pueden hallarse por las formulas:
z
x
1
=
F

x
1
(x
1
, . . . , x
n
, z)
F

z
(x
1
, . . . , x
n
, z)
, . . . ,
z
x
n
=
F

x
n
(x
1
, . . . , x
n
, z)
F

z
(x
1
, . . . , x
n
, z)
.
Ejemplo 2. La ecuacion x
2
2y
2
+3z
2
yz+y = 0 representa una supercie
en el espacio R
3
. Si suponemos que dicha ecuacion dene a z como funcion
de x e y, z = f(x, y), sus derivadas parciales se calculan como sigue:
F

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

y
(x, y, z) = 4y z + 1, F

z
(x, y, z) = 6z y,
de modo que
z
x
=
2x
6z y
,
z
y
=
1 4y z
6z y
,
en los puntos donde 6z y ,= 0.
1.3. Sistemas de funciones implcitas.
Si el sistema de dos ecuaciones
_
F(x, y, u, v) = 0
G(x, y, u, v) = 0
_
determina u y v como
funciones diferenciables de las variables x e y y el determinante de la matriz
jacobiana
_
F
u
F
v
G
u
G
v
_
es no nulo, entonces las derivadas parciales de u =
u(x, y), v = v(x, y) se obtienen por las formulas
u
x
=
(F,G)
(x,v)
(F,G)
(u,v)
,
v
x
=
(F,G)
(u,x)
(F,G)
(u,v)
u
y
=
(F,G)
(y,v)
(F,G)
(u,v)
,
v
y
=
(F,G)
(u,y)
(F,G)
(u,v)
.
(Utilizamos en estos casos la notacion
(F, G)
(u, v)
=

F
u
F
v
G
u
G
v

, y de forma si-
milar con el resto de variables.)
Ejemplo 3. Sabiendo que las ecuaciones
_
u +v = x +y
xu +yv = 1
_
determinan u y
v como funciones de x e y, si denimos las funciones
F(x, y, u, v) = u +v x y
G(x, y, u, v) = xu +yv 1,
180
las formulas anteriores dan los siguientes resultados:
(F, G)
(u, v)
=

1 1
x y

= y x,
(F, G)
(u, x)
=

1 1
x u

= u +x,
(F, G)
(x, v)
=

1 1
u y

= y u,
(F, G)
(y, v)
=

1 1
v y

= y v,
(F, G)
(u, y)
=

1 1
x v

= v +x.
Por tanto,
u
x
=
y +u
y x
;
v
x
=
u +x
y x
;
u
y
=
y +v
y x
;
v
x
=
v +x
y x
.
En la practica, en vez de utilizar las formulas anteriores, podemos resolver
directamente el sistema formado por las derivadas parciales de las ecuaciones
dadas, teniendo en cuenta que u y v son funciones de x e y.
As pues, al derivar respecto a x, obtenemos:
u
x
+
v
x
= 1
u +x
u
x
+y
v
x
= 0,
de donde
u
x
=
u +y
x +y
,
v
x
=
u +x
x y
.
Analogamente se procedera resolviendo el sistema formado por las derivadas
parciales respecto a y.
1.4. Funciones dadas en forma parametrica.
Si la funcion diferenciable z de las variables x e y se expresa mediante sus
ecuaciones parametricas
x = x(u, v), y = y(u, v), z = z(u, v)
y
(x, y)
(u, v)
=

x
u
x
v
y
u
y
v

,= 0, la diferencial de esta funcion se deduce del sistema

de ecuaciones
dx =
x
u
du +
x
v
dv,
dy =
y
u
du +
y
v
dv,
dz =
z
u
du +
z
v
dv.
181
Conociendo la diferencial dz = pdx + qdy, hallamos las derivadas parciales
z
x
= p y
z
y
= q.
Ejemplo 4. Si la funcion z de los argumentos x e y viene dada por las
ecuaciones x = u + v, y = u
2
+ v
2
, z = u
3
+ v
3
, (u ,= v), hallar
z
x
,
z
y
.
Primer metodo. Por diferenciacion, hallamos tres ecuaciones que relacionan
entre s las cinco variables:
dx = du +dv,
dy = 2udu + 2vdv,
dz = 3u
2
du + 3v
2
dv.
De las primeras dos ecuaciones despejamos du y dv:
du =
2vdx dy
2(v u)
, dv =
dy 2udx
2(v u)
.
Sustituyendo en la tercera ecuacion estas expresiones, resulta:
dz = 3u
2
2vdx dy
2(v u)
+ 3v
2
dy 2udx
2(v u)
= 3uv dx +
3
2
(u +v) dy,
de donde
z
x
= 3uv,
z
y
=
3
2
(u +v).
Segundo metodo. Calculamos las derivadas parciales respecto a x e y en
las tres ecuaciones que denen z, teniendo en cuenta que u = u(x, y), v =
v(x, y). Tenemos as:
()
_
1 =
u
x
+
v
x
0 =
u
y
+
v
y
0 = 2u
u
x
+ 2v
v
x
1 = 2u
u
y
+ 2v
v
y
()
_
z
x
= 3u
2 u
x
+ 3v
2 v
x
z
y
= 3u
2 u
y
+ 3v
2 v
y
.
Al resolver los dos sistemas de (), obtenemos
u
x
=
v
v u
,
v
x
=
u
u v
,
u
y
=
1
2(u v)
,
v
y
=
1
2(v u)
.
182
Sustituyendo estas expresiones en la formula (), resulta:
z
x
= 3u
2
v
v u
+ 3v
2
u
u v
= 3uv
z
y
= 3u
2
1
2(u v)
+ 3v
2
1
2(v u)
=
3(u +v)
2
.
Tercer metodo. Denimos la funcion h(u, v) = f
_
x(u, v), y(u, v)
_
z(u, v),
donde z = f(x, y) es la funcion determinada por las ecuaciones parametricas.
Entonces h(u, v) = 0 en los puntos donde esta denida dicha funcion y:
h
u
= 0 = D
1
f
x
u
+D
2
f
y
u

z
u
,
h
v
= 0 = D
1
f
x
v
+D
2
f
y
v

z
v
.
Resulta as un sistema de dos ecuaciones que se resuelve aplicando la regla
de Cramer.
PROBLEMA 4.1
Sea h : R
2
R la funcion denida por
h(x, y) = x
2
+y
3
+xy +x
3
+ay,
siendo a un parametro real.
(a) Para que valores de a la ecuacion h(x, y) = 0 dene y como
funcion implcita de x de clase C
()
, en un entorno de (0, 0)?
(b) Dene la anterior ecuacion a x como funcion implcita diferen-
ciable de y en un entorno de (0, 0) para alg un valor de a?
Solucion
(a) Averig uemos si se cumplen las hipotesis del teorema de la funcion im-
plcita.
i) h(0, 0) = 0, evidentemente.
ii) Como h es una funcion polinomica, existen
D
1
h(x, y) = 2x +y + 3x
2
,
D
2
h(x, y) = 3y
2
+x +a
y son continuas en todo R
2
. En particular lo seran en (0, 0).
183
iii) D
2
h(0, 0) = a.
Por tanto, si a ,= 0, h(x, y) = 0 dene a y como funcion implcita de
clase C
()
en un entorno de (0, 0).
(b) Veamos ahora que la ecuacion no dene a x como funcion implcita
diferenciable de y en un entorno de (0, 0). Es claro que se verican i)
y ii) pero no iii) porque D
1
h(0, 0) = 0 independientemente del valor
de a.
PROBLEMA 4.2
Sea f C
(1)
(R
2
) una funcion homogenea de grado 2 y tal que
f(0, 1) = 4. Existe alg un valor de k para el cual la ecuacion
f(x, y)k = 0 dene a y como funcion implcita de x en un entorno
de (0, 1)?
Solucion
Por hipotesis, f(tx, ty) = t
2
f(x, y), t > 0. En particular,
f(0, t) = t
2
f(0, 1) = 4t
2
, t > 0.
Debemos estudiar si la funcion G(x, y) = f(x, y) k verica las condiciones
del teorema de la funcion implcita en el punto (0, 1).
i) En primer lugar, para que G(0, 1) = 0, debe ser k = 4.
ii) Debido a las hipotesis del problema, es claro que G C
(1)
(R
2
).
iii) Por denicion,
G
y
=
f
y
. Ademas,
f
y
(0, 1) = lm
k0
f(0, 1 +k) f(0, 1)
k
= lm
k0
4(1 +k)
2
4
k
= 8.
Deducimos entonces que
G
y
(0, 1) ,= 0.
184
En conclusion, si k = 4, la ecuacion dada dene a y como funcion implcita
de x en un entorno del punto (0, 1).
PROBLEMA 4.3
Se considera la funcion u(x, y) = e
y/x
g
_
x +y
x y
_
, siendo
g : R R una funcion de clase C
(1)
.
(a) Demostrar que x
u
x
+y
u
y
= 0.
(b) Si g(3) = 0, g

(3) = 1, demostrar que u(x, y) = 0 dene implci-

tamente una funcion y = (x) en un entorno del punto (1, 1/2).
Calcular

(1).
Solucion
(a) Escribiremos por comodidad z(x, y) =
x +y
x y
, de modo que la funcion
dada se escribe como u(x, y) = e
y/x
g
_
z(x, y)
_
.
Teniendo en cuenta que
z
x
=
2y
(x y)
2
z
y
=
2x
(x y)
2
,
resulta:
u
x
=
y
x
2
e
y/x
g
_
z(x, y)
_
+e
y/x
g

_
z(x, y)
_

z
x
= e
y/x
_
g(z)
y
x
2
+g

(z)
2y
(x y)
2
_
;
u
y
=
1
x
e
y/x
g
_
z(x, y)
_
+e
y/x
g

_
z(x, y)
_

z
y
= e
y/x
_
g(z)
1
x
+g

(z)
2x
(x y)
2
_
.
Un simple calculo algebraico da como resultado
x
u
x
+y
u
y
= e
y/x
_
g(z)
y
x
+g

(z)
2xy
(x y)
2
_
+e
y/x
_
g(z)
y
x
+g

(z)
2xy
(x y)
2
_
,
cuyo valor es cero.
Observemos que la funcion es homogenea de grado cero, de modo que
bastara aplicar el teorema de Euler para probar el resultado pedido.
185
(b) Veamos que se verican las condiciones del teorema de la funcion im-
plcita:
u(1, 1/2) = e
1/2
g(3) = 0,
u
y
(1, 1/2) = e
1/2
_
g(3) +g

(3)
2
(1 1/2)
2
_
= 8e
1/2
,= 0.
Ademas
u
y
es continua en un entorno de (1, 1/2), por serlo g y g

.
As pues, existe y = (x) en un entorno de (1, 1/2). Ademas

(1) =
u
x
(1, 1/2)
u
y
(1, 1/2)
=
1
2
.
PROBLEMA 4.4
Se dene la funcion f(x, y) =
g(x, y)
x +y
, donde g C
(1)
(R
2
) es una
funcion homogenea de grado 1.
(a) Probar que f es homogenea y determinar su grado.
(b) Sabiendo que el punto (1, 1) pertenece a la curva de nivel cero
de g y que g

y
(1, 1) ,= 0, probar que la ecuacion f(x, y) = 0 dene
implcitamente una funcion y = (x) en un entorno del punto
(1, 1) y calcular

(1).
Solucion
(a) Por hipotesis g(tx, ty) = t g(x, y), de donde
f(tx, ty) =
g(tx, ty)
tx +ty
= f(x, y),
lo que indica que f es homogenea de grado cero.
(b) Veamos si se verican las hipotesis del teorema de la funcion implcita:
i) En un entorno U del punto (1, 1) es x + y ,= 0, lo que, a nadido a
la hipotesis g C
(1)
(R
2
), permite concluir que f C
(1)
(U).
ii) Como g(1, 1) = 0, entonces f(1, 1) =
g(1, 1)
2
= 0.
186
iii) Como f

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

y
(x, y) g(x, y)
(x +y)
2
, entonces
f

y
(1, 1) =
2g

y
(1, 1)
4
,= 0.
Lo anterior asegura la existencia de una funcion y = (x) denida en
un entorno del punto (1, 1). Ademas,

(1) =
f

x
(1, 1)
f

y
(1, 1)
. Ahora bien,
como
f

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

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

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

y
(x, y) g(x, y)
(x +y)
2
,
resulta

(1) =
g

x
(1, 1)
g

y
(1, 1)
.
Al ser g una funcion homogenea de grado 1, por el teorema de Euler
sabemos que
g

x
(1, 1) +g

y
(1, 1) = g(1, 1) = 0
(debido a que el punto (1, 1) esta en la curva de nivel cero de g).
Sustituyendo este resultado, obtenemos en denitiva que

(1) = 1.
PROBLEMA 4.5
Sea F(x, y, z) = x
2
+ y
2
z
2
1. La ecuacion F(x, y, z) = 0 deter-
mina a z como funcion implcita de x e y en un entorno del punto
(1, 1, 1)? Y en un entorno de (1, 1, 1)? Cual es la expresion ex-
plcita de dichas funciones?
Solucion
Es inmediata la comprobacion de las condiciones
F C
(1)
(R
3
), F(1, 1, 1) = 0,
F
z
(1, 1, 1) = 2 ,= 0,
F(1, 1, 1) = 0,
F
z
(1, 1, 1) = 2 ,= 0.
Lo anterior asegura la existencia de sendas funciones diferenciables z =
z
1
(x, y) y z = z
2
(x, y) denidas en entornos de los puntos (1, 1, 1) y (1, 1, 1),
respectivamente.
Al despejar z en la ecuacion F(x, y, z) = 0 obtenemos las expresiones ex-
plcitas:
z
1
(x, y) = +
_
x
2
+y
2
1 y z
2
(x, y) =
_
x
2
+y
2
1,
187
que representan las dos ramas del hiperboloide de una hoja denido por la
ecuacion original.
PROBLEMA 4.6
Calcular las derivadas parciales de la funcion z = f(x, y) denida
implcitamente por la ecuacion
y
2
+xz +z
2
e
z
c = 0.
Solucion
Construimos la funcion
F(x, y, z) = y
2
+xz +z
2
e
z
c.
En los puntos donde F

z
,= 0, es decir x+2z e
z
,= 0, las derivadas parciales
son las siguientes:
z
x
=
F

x
F

z
=
z
x + 2z e
z
,
z
y
=
F

y
F

z
=
2y
x + 2z e
z
.
PROBLEMA 4.7
Se considera la funcion u = u(x, y) denida implcitamente por
la ecuacion u = F(x + u, yu). Calcular
u
x
,
u
y
en funcion de las
derivadas parciales de F.
Solucion
Teniendo en cuenta que u es funcion de x e y, si aplicamos la regla de
la cadena, obtenemos (la notacion F

1
, F

2
representa, como es usual, las
derivadas de F con respecto a sus dos variables v = x +u, w = yu):
u
x
= F

1

_
1 +
u
x
_
+F

2
y
u
x
=
u
x
=
F

1
1 F

1
yF

2
u
y
= F

1

u
y
+F

2

_
y
u
y
+u
_
=
u
y
=
F

2
F
1 F

1
yF

2
188
PROBLEMA 4.8
Siendo u = f
_
(x z)u, (y t)u, (z t)u
_
, demostrar que
u
x
+
u
y
+
u
z
+
u
t
= 0.
Solucion
Hacemos x
1
= (x z)u, x
2
= (y t)u, x
3
= (z t)u, de modo que u =
f(x
1
, x
2
, x
3
). Las derivadas parciales son entonces
u
x
=
u
x
1

x
1
x
+
u
x
2

x
2
x
+
u
x
3

x
3
x
= [u + (x z) u

x
] D
1
f + (y t) u

x
D
2
f + (z t) u

x
D
3
f
=
u
x
=
u D
1
f
1 (x z) D
1
f (y t) D
2
f (z t) D
3
f
;
u
y
=
u
x
1

x
1
y
+
u
x
2

x
2
y
+
u
x
3

x
3
y
= (x z) u

y
D
1
f + [u + (y t) u

y
] D
2
f + (z t) u

y
D
3
f
=
u
y
=
u D
2
f
1 (x z) D
1
f (y t) D
2
f (z t) D
3
f
;
u
z
=
u
x
1

x
1
z
+
u
x
2

x
2
z
+
u
x
3

x
3
z
= [u + (x z) u

z
] D
1
f + (y t) u

z
D
2
f + [u + (z t) u

z
] D
3
f
=
u
z
=
u D
1
f +u D
3
f
1 (x z) D
1
f (y t) D
2
f (z t) D
3
f
;
u
t
=
u
x
1

x
1
t
+
u
x
2

x
2
t
+
u
x
3

x
3
t
= (x z) u

t
D
1
f + [u + (y t) u

t
] D
2
f + [u + (z t) u

t
] D
3
f
=
u
t
=
u D
2
f u D
3
f
1 (x z) D
1
f (y t) D
2
f (z t) D
3
f
.
Sumando termino a termino, es evidente la identidad deseada.
PROBLEMA 4.9
Dada la funcion z = senx +
1
seny +
1
sen x+...
, hallar dz.
189
Solucion
Teniendo en cuenta que
z = senx +
1
seny + 1/z
= senx +
z
1 +z seny
y sabiendo que dz = z

x
dx +z

y
dy, calcularemos en la expresion anterior las
derivadas parciales:
z

x
= cos x +
z

x
(1 +z seny) z z

x
seny
(1 +z seny)
2
= cos x +
z

x
(1 +z seny)
2
= z

x
=
cos x (1 +z seny)
2
(1 +z seny)
2
1
;
z

y
=
z

y
(1 +z seny) z (z

y
seny +z cos y)
(1 +z seny)
2
=
z

y
z
2
cos y
(1 +z seny)
2
= z

y
=
z
2
cos y
(1 +z seny)
2
1
.
En denitiva, dz =
cos x (1 +z seny)
2
dx z
2
cos y dy
(1 +z seny)
2
1
.
PROBLEMA 4.10
Sea f : R
2
R una funcion diferenciable. Supongamos que la
ecuacion f(y/x, z/x) = 0 dene a z implcitamente como funcion
de x e y. Probar que
x
z
x
+y
z
y
= z.
Solucion
A n de aplicar la regla de la cadena, utilizaremos las variables auxiliares
u = y/x, v = z/x. De este modo, por la derivada de la funcion implcita,
tenemos:
z
x
=
f/x
f/z
=
f

u
(y/x
2
) +f

v
(z/x
2
)
f

u
0 +f

v
(1/x)
=
yf

u
+zf

v
xf

v
;
z
y
=
f/y
f/z
=
f

u
(1/x) +f

v
0
f

u
0 +f

v
(1/x)
=
f

u
f

v
.
190
Entonces
x
z
x
+y
z
y
=
yf

u
+zf

v
f

yf

u
f

v
= z.
PROBLEMA 4.11
La ecuacion F(x +y +z, x
2
+y
2
+z
2
) = 0 dene a z como funcion
implcita diferenciable de x e y en un cierto abierto U R
2
. Si
llamamos z = f(x, y) a dicha funcion, calcular df(x, y) en funcion
de D
1
F y D
2
F.
Solucion
Por hipotesis, podemos expresar la ecuacion dada como
F
_
x +y +f(x, y), x
2
+y
2
+f
2
(x, y)
_
= 0, (x, y) U.
Derivando respecto a las variables x e y, y si llamamos por comodidad
P =
_
x +y +f(x, y), x
2
+y
2
+f
2
(x, y)
_
,
resulta:
D
1
F(P) [1 +
f
x
(x, y)] +D
2
F(P) [2x + 2f(x, y)
f
x
(x, y)] = 0
D
1
F(P) [1 +
f
y
(x, y)] +D
2
F(P) [2y + 2f(x, y)
f
y
(x, y)] = 0.
Por tanto,
f
x
(x, y) =
D
1
F(P) + 2xD
2
F(P)
D
1
F(P) + 2f(x, y)D
2
F(P)
f
y
(x, y) =
D
1
F(P) + 2yD
2
F(P)
D
1
F(P) + 2f(x, y)D
2
F(P)
.
PROBLEMA 4.12
Sea la funcion z = z(x, y) dada implcitamente por la ecuacion
F
_
x +
z
y
, y +
z
x
_
= 0, donde F es una funcion diferenciable. Com-
probar que
x
z
x
+y
z
y
= z xy.
191
Solucion
Llamamos u = x +
z
y
, v = y +
z
x
. Aplicando las formulas de derivacion de
las funciones implcitas:
z
x
=
F/x
F/z
=
D
1
F(u, v) (u/x) +D
2
F(u, v) (v/x)
D
1
F(u, v) (u/z) +D
2
F(u, v) (u/z)
=
D
1
F(u, v) (z/x
2
) D
2
F(u, v)
(1/y) D
1
F(u, v) + (1/x) D
2
F(u, v)
,
z
y
=
F/y
F/z
=
D
1
F(u, v) (u/y) +D
2
F(u, v) (v/y)
D
1
F(u, v) (u/z) +D
2
F(u, v) (v/z)
=
(z/y
2
) D
1
F(u, v) +D
2
F(u, v)
(1/y) D
1
F(u, v) + (1/x) D
2
F(u, v)
.
De lo anterior, se deduce que
x
z
x
+y
z
y
=
xD
1
F(u, v) (z/x)D
2
F(u, v) (z/y)D
1
F(u, v) +yD
2
F(u, v)
(1/y) D
1
F(u, v) + (1/x) D
2
F(u, v)
= z
[xD
1
F(u, v) +yD
2
F(u, v)]
(1/y) D
1
F(u, v) + (1/x) D
2
F(u, v)
= z xy.
PROBLEMA 4.13
Determinar condiciones sucientes para que la ecuacion
f
_
xy
z
, x
2
+y
2
_
= 0
dena a z como funcion implcita de x e y en un entorno del punto
(1, 1, 2). Para dicha funcion, calcular
y
z
x
x
z
y
en el punto (1, 1, 2).
Solucion
192
(a) Denimos F : R
3
R por F(x, y, z) = f
_
xy
z
, x
2
+y
2
_
, es decir F es
la composicion de f con la funcion (u, v) : R
3
R
2
denida por
(u, v)(x, y, z) =
_
xy
z
, x
2
+y
2
_
.
Para que F(x, y, z) = 0 dena a z como funcion implcita de x e y
en un entorno del punto (1, 1, 2), deben cumplirse las tres condiciones
siguientes:
i) F(1, 1, 2) = 0, lo que por denicion equivale a f(1/2, 2) = 0.
ii) F C
(1)
en un entorno del punto (1, 1, 2).
Como la funcion (u, v) es de clase C
(1)
en un entorno del punto
(1, 1, 2) (donde z ,= 0), dicha condicion equivale a que f C
(1)
en un entorno del punto (1/2, 2).
iii)
F
z
(1, 1, 2) ,= 0.
Por la regla de la cadena,
F
z
(1, 1, 2) = f

u
(1/2, 2) u

z
(1, 1, 2) +f

v
(1/2, 2) v

z
(1, 1, 2)
=
1
4
f

u
(1/2, 2),
de modo que esta condicion equivale a f

u
(1/2, 2) ,= 0.
(b) Las condiciones anteriores aseguran la existencia de una funcion z =
z(x, y) en un entorno del punto (1, 1, 2). Tenemos entonces
y
z
x
x
z
y
= y
F/x
F/z
x
F/y
F/z
=
y F/x +x F/y
F/z
=
y[f

u
u

x
+f

v
v

x
] +x[f

u
u

y
+f

v
v

y
]
F/z
=
(x
2
y
2
) f

u
z (F/z)
.
Sustituyendo en el punto (1, 1, 2), obtenemos el valor cero.
193
PROBLEMA 4.14
Se considera la ecuacion
x
2
+y
2
+z
2
= (ax +by +cz), a, b, c R, (c ,= 0),
donde : R R es una funcion de clase C
(1)
tal que (0) = 0,

(0) = 1.
(a) Probar que dicha ecuacion dene a z como funcion implcita
diferenciable de x e y en un entorno de (0, 0, 0).
(b) Si llamamos z = f(x, y) a dicha funcion implcita, probar que en
el entorno del origen donde esta denida se verica
(cy bz)D
x
f(x, y) + (az cx)D
y
f(x, y) = bx ay.
(c) Si se supone que tiene derivada segunda continua, calcular
D
x
f(0, 0), D
y
f(0, 0), D
xx
f(0, 0), D
yy
f(0, 0).
Solucion
(a) Sea G : R
2
R R la funcion denida por
G(x, y, z) = x
2
+y
2
+z
2
(ax +by +cz);
comprobemos que se verican las hipotesis del teorema de la funcion
implcita en un entorno de (0, 0, 0):
i) G(0, 0, 0) = 0 pues G(0, 0, 0) = (0) = 0.
ii) G C
(1)
porque es suma de la funcion polinomica (x, y, z)
x
2
+y
2
+z
2
, de clase C
()
, y la composicion de , de clase C
(1)
por hipotesis, con la funcion lineal (x, y, z) ax + by + cz, de
clase C
()
.
iii)
G
z
(0, 0, 0) ,= 0. En efecto,
D
z
G(x, y, z) = 2zc

(ax+by+cz) = D
z
G(0, 0, 0) = c

(0) = c,
el cual es distinto de cero, por hipotesis.
Del teorema de la funcion implcita se deduce entonces que existe un
entorno abierto U de (0, 0), otro entorno abierto V de 0 y una funcion
194
f : U V de clase C
(1)
tal que para cada (x, y) U, existe un unico
z = f(x, y) V que verica G
_
x, y, f(x, y)
_
= 0, es decir
(x, y, z) U V : G(x, y, z) = 0 = (x, y, z) U V : z = f(x, y).
En particular f(0, 0) = 0.
(b) Por el apartado (a) sabemos que G
_
x, y, f(x, y)
_
= 0, (x, y) U, es
decir
x
2
+y
2
+ [f(x, y)]
2

_
ax +by +cf(x, y)
_
= 0.
Derivando esta ecuacion con respecto a x e y, tenemos:
2x + 2f(x, y)D
x
f(x, y)

_
ax +by +cf(x, y)
_
[a +cD
x
f(x, y)] = 0,
2y + 2f(x, y)D
y
f(x, y)

_
ax +by +cf(x, y)
_
[b +cD
y
f(x, y)] = 0.
()
En el teorema de la funcion implcita se pueden elegir U y V tales que
(x, y, z) U V, D
z
G(x, y, z) = 2z c

(ax +by +cz) ,= 0;

en particular para los puntos en los que z = f(x, y) se tendra
2f(x, y) c

_
ax +by +cf(x, y)
_
,= 0,
y por tanto
D
x
f(x, y) =
a

_
ax +by +cf(x, y)
_
2x
2f(x, y) c

_
ax +by +cf(x, y)
_
D
y
f(x, y) =
b

_
ax +by +cf(x, y)
_
2y
2f(x, y) c

_
ax +by +cf(x, y)
_. ()
En los puntos en que z = f(x, y) se tiene entonces
(cy bz)D
x
f(x, y) + (az cx)D
y
f(x, y)
=
c(ay bx)

(ax +by +cz) + 2z(bx ay)

2z c

(ax +by +cz)

= bx ay.
(c) Si tiene derivada segunda continua, entonces G es de clase C
(2)
y,
por tanto, f es de clase C
(2)
. Sustituyendo (x, y) por (0, 0) en las
expresiones () y teniendo en cuenta que f(0, 0) = 0, resulta
D
x
f(0, 0) = a/c, D
y
f(0, 0) = b/c. ( )
195
Si derivamos en () la primera ecuacion respecto de x y la segunda
respecto de y, tenemos:
2 + 2[D
x
f(x, y)]
2
+ 2f(x, y)D
xx
f(x, y)

_
ax +by +cf(x, y)
_
[a +cD
x
f(x, y)]
2
cD
xx
f(x, y)

_
ax +by +cf(x, y)
_
= 0,
2 + 2[D
y
f(x, y)]
2
+ 2f(x, y)D
yy
f(x, y)

_
ax +by +cf(x, y)
_
[b +cD
y
f(x, y)]
2
cD
yy
f(x, y)

_
ax +by +cf(x, y)
_
= 0.
Sustituyendo en (0, 0) y teniendo en cuenta los resultados de ( ),
resulta:
2 +
2a
2
c
2
cD
xx
f(0, 0) = 0
2 +
2b
2
c
2
cD
yy
f(0, 0) = 0
_
=
_
D
xx
f(0, 0) = 2
a
2
+c
2
c
3
D
yy
f(0, 0) = 2
b
2
+c
2
c
3
.
PROBLEMA 4.15
Probar que el sistema
_
xcos y +y cos z +z cos x =
x
2
+y
2
+z
2
xy =
2
_
dene im-
plcitamente una funcion f : U R
2
, f(x) =
_
f
1
(x), f
2
(x)
_
, en un
entorno del punto (0, 0, ). Calcular f

1
(0), f

2
(0), f

1
(0), f

2
(0).
Solucion
Sea F : R
3
R
2
denida por
F(x, y, z) = (F
1
, F
2
)(x, y, z) = (xcos y+y cos z+z cos x, x
2
+y
2
+z
2
xy
2
).
Se prueba facilmente que:
i) F es de clase C
(1)
en (0, 0, ).
ii) F(0, 0, ) = 0.
iii)

D
y
F
1
(0, 0, ) D
z
F
1
(0, 0, )
D
y
F
2
(0, 0, ) D
z
F
2
(0, 0, )

1 1
0 2

,= 0.
Luego F cumple las hipotesis del teorema de la funcion implcita. Derivando
respecto a x en las dos ecuaciones, teniendo en cuenta que y = f
1
(x), z =
f
2
(x), y sustituyendo el resultado en el punto (0, 0, ) se llega a
1 f

1
(0) +f

2
(0) = 0
2f

2
(0) = 0
_
= f

1
(0) = 1, f

2
(0) = 0.
196
Al calcular las derivadas de segundo orden respecto a x, resulta analoga-
mente:
f

1
(0) +f

2
(0) = 0
1 +f

2
(0) = 0
_
= f

1
(0) =
1 +
2

, f

2
(0) =
1

.
PROBLEMA 4.16
Suponiendo que el sistema de ecuaciones
_
2x = v
2
u
2
y = uv
permite
denir las funciones u = u(x, y), v = v(x, y), calcular
u
x
,
u
y
,
v
x
,
v
y
.
Solucion
Derivamos con respecto a x ambas ecuaciones y aplicamos la regla de Cra-
mer. Tenemos as:
2 = 2v v

x
2u u

x
0 = u v

x
+v u

x
_
=
_

_
u

x
=

2v 2
u 0

2v 2u
u v

=
u
u
2
+v
2
v

x
=

2 2u
0 v

2v 2u
u v

=
v
u
2
+v
2
.
Si procedemos de forma analoga derivando respecto a y, resulta:
0 = 2v v

y
2u u

y
1 = u v

y
+v u

y
_
=
_

_
u

y
=

2v 0
u 1

2v 2u
u v

=
v
u
2
+v
2
v

y
=

0 2u
1 v

2v 2u
u v

=
u
u
2
+v
2
.
Observacion. Tambien podramos haber despejado u y v en funcion de x
e y del sistema original y derivar las expresiones explcitas obtenidas. En
197
la siguiente seccion se especican las condiciones para la validez de este
procedimiento.
PROBLEMA 4.17
Sea f : R
5
R
2
la funcion denida por
f(x, y, z, u, v) = (u +v +x
2
y
2
+z
2
, u
2
+v
2
+u 2xyz).
Probar que f(x, y, z, u, v) = 0 dene una funcion implcita dife-
renciable (u, v) =
_
h
1
(x, y, z), h
2
(x, y, z)
_
en un entorno del punto
(0, 0, 0, 1/2, 1/2). Calcular dh(0, 0, 0).
Solucion
Sean f
1
(x, y, z, u, v) = u+v+x
2
y
2
+z
2
y f
2
(x, y, z, u, v) = u
2
+v
2
+u2xyz
las componentes de f. Debido a que
i) f es de clase C
(1)
en (0, 0, 0, 1/2, 1/2),
ii) f(0, 0, 0, 1/2, 1/2) = 0,
iii)

D
u
f
1
(0, 0, 0, 1/2, 1/2) D
v
f
1
(0, 0, 0, 1/2, 1/2)
D
u
f
2
(0, 0, 0, 1/2, 1/2) D
v
f
2
(0, 0, 0, 1/2, 1/2)

1 1
0 1

,= 0,
f cumple las condiciones del teorema de la funcion implcita, de modo que,
para todo (x, y, z) en un cierto entorno abierto de (0, 0, 0), se verica:
h
1
(x, y, z) +h
2
(x, y, z) +x
2
y
2
+z
2
= 0,
h
2
1
(x, y, z) +h
2
2
(x, y, z) +h
1
(x, y, z) 2xyz = 0.
Derivando el sistema respecto a x y sustituyendo el resultado en el punto
(0, 0, 0) (y teniendo en cuenta tambien que h
1
(0, 0, 0) = 1/2 y h
2
(0, 0, 0) =
1/2), se obtiene:
D
1
h
1
(0, 0, 0) +D
1
h
2
(0, 0, 0) = 0,
D
1
h
1
(0, 0, 0) +D
1
h
2
(0, 0, 0) +D
1
h
1
(0, 0, 0) = 0,
de donde D
1
h
1
(0, 0, 0) = 0, D
1
h
2
(0, 0, 0) = 0.
Derivando el mismo sistema respecto a y y a z, se obtiene analogamen-
te:
D
2
h
1
(0, 0, 0) = 0, D
2
h
2
(0, 0, 0) = 0, D
3
h
1
(0, 0, 0) = 0, D
3
h
2
(0, 0, 0) = 0.
198
Por tanto, dh(0, 0, 0) es la aplicacion lineal de R
3
en R
2
denida por la
matriz
_
_
0 0
0 0
0 0
_
_
.
PROBLEMA 4.18
Dado el sistema de ecuaciones
_
x
2
+y
2
+u
2
+v
2
= 4
xyuv = 1
,
hallar:
(a) Las expresiones de du, dv.
(b) El valor de x
z
x
y
z
y
, siendo z = (u +v)
2
.
Solucion
(a) Denimos las funciones
F(x, y) = x
2
+y
2
+u(x, y)
2
+v(x, y)
2
G(x, y) = xyu(x, y)v(x, y).
De las ecuaciones dadas F(x, y) = 4, G(x, y) = 1, obtenemos:
0 =
F
x
= 2x + 2u u

x
+ 2v v

x
0 =
G
x
= yuv +xyv u

x
+xyu v

x
.
Basta pues resolver este sistema de ecuaciones para obtener:
u

x
=

2x 2v
yuv xyu

2u 2v
xyv xyu

=
u(v
2
x
2
)
x(u
2
v
2
)
v

x
=

2u 2x
xyv yuv

2u 2v
xyv xyu

=
v(x
2
u
2
)
x(u
2
v
2
)
.
199
Procedemos de forma analoga con las derivadas parciales respecto a y.
Del sistema
0 =
F
y
= 2y + 2u u

y
+ 2v v

y
0 =
G
y
= xuv +xyv u

y
+xyu v

y
,
se deduce que la solucion es
u

y
=
u(v
2
y
2
)
y(u
2
v
2
)
v

y
=
v(y
2
u
2
)
y(u
2
v
2
)
.
De lo anterior deducimos facilmente que
du = u

x
dx +u

y
dy =
u(v
2
x
2
)
x(u
2
v
2
)
dx +
u(v
2
y
2
)
y(u
2
v
2
)
dy
dv = v

x
dx +v

y
dy =
v(x
2
u
2
)
x(u
2
v
2
)
dx +
v(y
2
u
2
)
y(u
2
v
2
)
dy.
(b) Aplicando las reglas de derivacion de la funcion compuesta, tenemos:
z

x
= 2(u +v) (u

x
+v

x
) =
2(uv +x
2
)
x
z

y
= 2(u +v) (u

y
+v

y
) =
2(uv +y
2
)
y
.
De este resultado se deduce que xz

x
y z

y
= 2(y
2
x
2
).
PROBLEMA 4.19
Dada la curva C :
_
2x
2
+ 3y
2
z
2
= 25
x
2
+y
2
= z
2
, hallar un vector unitario
tangente a C en el punto P(

7, 3, 4).
Solucion
Si representamos la curva por sus ecuaciones parametricas en la siguiente
forma:
x = x(z), y = y(z),
200
un vector tangente a la misma en un punto P = (x
0
, y
0
, z
0
) es

v(P) = (x

(z
0
), y

(z
0
), 1).
Para aplicar lo anterior a la curva dada, podemos denir las funciones
f(z) = 2[x(z)]
2
+ 3[y(z)]
2
z
2
25,
g(z) = [x(z)]
2
+ [y(z)]
2
z
2
.
Ahora bien, como, en los puntos de la curva, f(z) = g(z) = 0, entonces
0 = f

(z) = 4x(z) x

(z) + 6y(z) y

(z) 2z,
0 = g

(z) = 2x(z) x

(z) + 2y(z) y

(z) 2z.
Si resolvemos el sistema anterior mediante la regla de Cramer, obtene-
mos:
x

(z) =

2z 6y(z)
2z 2y(z)

4x(z) 6y(z)
2x(z) 2y(z)

=
2z
x(z)
,
y

(z) =

4x(z) 2z
2x(z) 2z

4x(z) 6y(z)
2x(z) 2y(z)

=
z
y(z)
.
De este modo, un vector tangente a la curva en el punto P = (

7, 3, 4)
es

v(P) = (8/

7, 4/3, 1).
Basta dividir el vector por |

v(P)| =
_
751/63 para obtener el vector unita-
rio buscado.
Las gracas ilustran la forma de la curva interseccion del hiperboloide de
una hoja con el cono, as como el vector tangente en el punto dado.
201
2. TEOREMA DE LA FUNCI

ON INVERSA.
Es conocido que, en una variable, si g es una funcion derivable en un intervalo
(a, b) y g

(x) ,= 0, x (a, b), entonces g es una funcion estrictamente

monotona y existe la inversa g
1
: g(a, b) R, la cual es derivable en g(a, b)
y su derivada viene dada por
(g
1
)

(y
0
) =
1
g

(x
0
)
, con y
0
= g(x
0
).
En el caso general, dado un sistema
y
1
= f
1
(x
1
, . . . , x
n
)
.
.
.
y
n
= f
n
(x
1
, . . . , x
n
),
se trata de encontrar las condiciones sucientes para que x
1
, . . . , x
n
se pue-
dan expresar en funcion de y
1
, . . . , y
n
, sin tener que resolver explcitamente
el sistema.
La existencia de solucion se deduce del teorema de la funcion implcita apli-
cado a las funciones
F
1
(x
1
, . . . , x
n
, y
1
, . . . , y
n
) = y
1
f
1
(x
1
, . . . , x
n
)
.
.
.
F
n
(x
1
, . . . , x
n
, y
1
, . . . , y
n
) = y
n
f
n
(x
1
, . . . , x
n
).
Como ya enunciamos en la seccion anterior, la solucion existe si el deter-
minante de la matriz jacobiana es no nulo, es decir
(F
1
, . . . , F
n
)
(x
1
, . . . , x
n
)
,= 0, lo
que equivale a
(f
1
, . . . , f
n
)
(x
1
, . . . , x
n
)
,= 0. Este hecho corresponde al teorema de la
funcion inversa.
Teorema. Sea f : R
n
R
n
una funcion de clase C
(1)
en un abierto D R
n
.
Si

x
0
D y det Jf(

x
0
) ,= 0, entonces existen
i) un entorno U de

x
0
,
ii) un entorno V de f(

x
0
),
iii) una unica funcion g : V U de clase C
(1)
en V ,
tales que g
_
f(

x )
_
=

x ,

x V .
Dicha funcion es, por denicion, la inversa local de f.
202
Para calcular la derivada de g, basta tener en cuenta que
Jf(

x ) Jg(

y ) = I
n
, con

y = f(

x ),
de modo que
n

k=1
D
k
g
i
(

y ) D
j
f
k
(

x ) =
_
1 si i = j
0 si i ,= j
(sistema de n
2
ecuaciones cuyas incognitas corresponden a los elementos de
la matriz jacobiana de g).
PROBLEMA 4.20
Determinar en cada caso si la funcion g satisface las hipotesis del
teorema de la funcion inversa. Encontrar g(D). En el caso de ser
g inyectiva, encontrar g
1
explcitamente.
(a) g(

t ) =

t +

x
0
,

x
0
R
n
jo, D = R
n
.
(b) g(x, y) = (x
2
y
2
, xy), D = R
2
(0, 0).
(c) g(x, y) =
_
ln(xy), (x
2
+y
2
)
1
_
, D = (x, y) : 0 < y < x.
Solucion
(a) Como el jacobiano Jg(t) = I
n
y det I
n
,= 0,

t R
n
, deducimos
que g(R
n
) = R
n
y la funcion es biyectiva. Ademas es evidente que
g
1
(

s ) =

s

x
0
.
(b) En este caso, es evidente que g C
(1)
(R
2
); ademas, Jg(x, y) =
_
2x 2y
y x
_
y det Jg(x, y) = 2x
2
+2y
2
,= 0 pues (x, y) ,= (0, 0). Por tanto, g verica
las hipotesis del teorema de la funcion inversa. Como
g
_
R
2
(0, 0)
_
= R
2
(0, 0),
existe la inversa g
1
localmente en un entorno de cualquier punto
distinto del origen. Sin embargo, la inversa no es unica globalmente
debido a que g no es inyectiva (observemos que g(x, y) = g(x, y)).
Para obtener una expresion explcita de g
1
, debemos resolver el sis-
tema u = x
2
y
2
, v = xy. Tenemos as:
u = x
2
y
2
v = xy
_

_
_
_
u
2
+ 4v
2
= (x
2
+y
2
)
2
u = x
2
y
2
sign(x y) = signv
_
_
_

_
x
2
=
u+

u
2
+4v
2
2
y
2
=
u+

u
2
+4v
2
2
sign(x y) = signv.
203
Distinguiremos dos casos:
- Si x 0, entonces signv = signy, con lo que la solucion del sistema
es
g
1
(u, v) =
_
_

u +

u
2
+ 4v
2
2
, (signv)

u +

u
2
+ 4v
2
2
_
_
.
- Si x < 0, entonces signv = signy; por tanto,
g
1
(u, v) =
_
_

u +

u
2
+ 4v
2
2
, (signv)

u +

u
2
+ 4v
2
2
_
_
.
La graca adjunta ilustra la imagen de la aplicacion g, seg un los dife-
rentes dominios:
(c) Si llamamos u = ln(xy), v = (x
2
+y
2
)
1
, entonces:
Jg(x, y) =
_
u
x
u
y
v
x
v
y
_
=
_
1/x 1/y
2x
(x
2
+y
2
)
2
2y
(x
2
+y
2
)
2
_
,
de donde
det Jg(x, y) =
2x
2
2y
2
xy(x
2
+y
2
)
2
,= 0 pues 0 < y < x.
Como ademas la funcion es de clase C
(1)
en D, se verican las hipotesis
del teorema de la funcion inversa. Veamos que incluso la inversa es
global, es decir la funcion es inyectiva en D.
204
En efecto, si g(x
1
, y
1
) = g(x
2
, y
2
), entonces
ln(x
1
y
1
) = ln(x
2
y
2
)
(x
2
1
+y
2
1
)
1
= (x
2
2
+y
2
2
)
1
_
=
_
x
1
y
1
= x
2
y
2
x
2
1
+y
2
1
= x
2
2
+y
2
2
=
_
(x
1
y
1
)
2
= (x
2
y
2
)
2
(x
1
+y
1
)
2
= (x
2
+y
2
)
2
=
_
x
1
y
1
= x
2
y
2
x
1
+y
1
= x
2
+y
2
=
_
x
1
= x
2
y
1
= y
2
.
Obtendremos a continuacion una formula explcita de g
1
, para lo cual
resolvemos el sistema u = ln(xy), v = (x
2
+y
2
)
1
:
e
u
= xy
v
1
= x
2
+y
2
_
=
_
v
1
+ 2e
u
= (x +y)
2
v
1
2e
u
= (x y)
2
=
_
_
_
x =
1
2
_

v
1
+ 2e
u
+

v
1
2e
u
_
y =
1
2
_

v
1
+ 2e
u

v
1
2e
u
_
.
Por ultimo, g(D) = (u, v) R
2
: 0 < v < e
u
/2.
PROBLEMA 4.21
Sea g : R R denida por
g(x) =
_
x/2 +x
2
sen(1/x) si x ,= 0
0 si x = 0
.
Estudiar si es localmente invertible en un entorno de 0.
Solucion
205
Veamos si se cumplen las hipotesis del teorema de la funcion inversa para
x = 0. Debe ser para ello g

continua. Como
g

(0) = lm
h0
g(h) g(0)
h
= lm
h0
_
1
2
+hsen
1
h
_
=
1
2
,
tenemos
g

(x) =
_
1/2 + 2xsen(1/x) cos(1/x) si x ,= 0
1/2 si x = 0
que no es continua en x = 0 porque no existe lm
x0
cos(1/x).
De lo anterior se deduce que no se cumplen las hipotesis del teorema de
la funcion inversa. Ahora bien, dichas condiciones son sucientes pero no
necesarias por lo que pueden existir funciones que, sin cumplirlas, admitan
inversa en un entorno del punto. En nuestro caso debemos estudiar directa-
mente la funcion. Para ello recordamos que, para que una funcion g : R R
sea invertible en cualquier intervalo, debe ser estrictamente monotona (cre-
ciente o decreciente).
Debido a la forma de g

(x) en puntos x
n
=
1
n
, con n N, es
g

(x
n
) = 1/2 cos(n) =
_
3/2 si n es impar
1/2 si n es par.
De aqu se deduce que, en todo entorno de cero, existen puntos donde la
derivada de g es positiva y puntos donde es negativa, es decir, puntos donde
la funcion es estrictamente creciente y puntos donde es estrictamente decre-
ciente. Como g no es monotona en ning un intervalo abierto que contenga al
cero, no es invertible en ninguno de estos intervalos.
PROBLEMA 4.22
Sea f : R
2
R
2
la funcion denida por f(x, y) = (x+2y, xy).
(a) Averiguar si satisface las hipotesis del teorema de la funci on
inversa.
(b) Hallar Imf.
(c) Comprobar que f tiene inversa global, hallando f
1
.
Solucion
206
(a) Para ver si cumple las hipotesis del teorema de la funcion inversa,
debemos vericar en primer lugar que las derivadas parciales D
j
f
i
,
i, j = 1, 2, son continuas, siendo f
1
(x, y) = x + 2y y f
2
(x, y) = x y
las componentes de f; esto es evidente porque
D
1
f
1
(x, y) = 1, D
2
f
1
(x, y) = 2,
D
1
f
2
(x, y) = 1, D
2
f
2
(x, y) = 1.
Ademas la matriz derivada es Jf(x, y) =
_
1 2
1 1
_
cuyo determinante
es no nulo (x, y) R
2
.
De lo anterior se deduce pues que cada punto (x, y) R
2
posee un
entorno abierto en el cual existe f
1
.
(b) Por denicion,
Imf = (u, v) R
2
: u = x + 2y, v = x y, x, y R.
Debido a que el sistema
_
u = x + 2y
v = x y
_
, tiene solucion
_
x = (u + 2v)/3
y = (u v)/3
_
,
(u, v R
2
, deducimos que Imf = R
2
.
(c) Del resultado anterior se deduce tambien que u y v estan unvocamente
determinados; por tanto, f es inyectiva y f
1
: R
2
R
2
denida por
f
1
(u, v) =
_
u + 2v
3
,
u v
3
_
.
PROBLEMA 4.23
Se considera la funcion f : R
2
R
2
denida por
f(u, v) = (e
u
+e
v
, e
u
e
v
).
Probar que f es localmente invertible en un entorno de cada punto
(u, v) R
2
. Mostrar que tambien f es globalmente invertible calcu-
lando su funcion inversa. Comprobar que las matrices derivadas
de f y de f
1
en puntos correspondientes son inversas.
Solucion
Veamos que se cumplen las condiciones del teorema de la funcion inver-
sa:
207
i) Escribimos f = (f
1
, f
2
), donde f
1
(u, v) = e
u
+ e
v
y f
2
(u, v) = e
u
e
v
;
sera f C
(1)
(R
2
) si D
i
f
1
, D
i
f
2
(i = 1, 2) son continuas, lo cual es
evidente pues
D
1
f
1
(u, v) = e
u
; D
2
f
1
(u, v) = e
v
;
D
1
f
2
(u, v) = e
u
; D
2
f
2
(u, v) = e
v
.
ii) det Jf(u, v) =

e
u
e
v
e
u
e
v

= 2e
u
e
v
,= 0, (u, v) R
2
.
El teorema citado asegura entonces que existe un abierto U R
2
que con-
tiene al punto (u, v) y un abierto V R
2
que contiene al punto f(u, v) de
modo que f[
U
: U V posee una inversa f
1
: V U que es diferenciable
en V y tal que df
1
(x, y) = [df(u, v)]
1
, donde (u, v) = f
1
(x, y).
En general el teorema de la funcion inversa no asegura la existencia de una
funcion inversa global f
1
: f(R
2
) R
2
; en este caso s va a existir como
se prueba al calcular explcitamente dicha inversa. Para ello calculamos en
primer lugar f(R
2
). Por denicion,
f(R
2
) = (x, y) : u, v R, (x, y) = (e
u
+e
v
, e
u
e
v
).
Pero
x = e
u
+e
v
y = e
u
e
v
_
=
_
x +y = 2e
u
x y = 2e
v
_
=
_
u = ln
x+y
2
v = ln
xy
2
.
Observamos que para la existencia de u y v deben ser x +y > 0 y x y > 0
lo que sugiere que f(R
2
) = (x, y) : x +y > 0, x y > 0. En efecto,
(u, v) R
2
, 2e
u
= (e
u
+e
v
) + (e
u
e
v
) > 0,
2e
v
= (e
u
+e
v
) (e
u
e
v
) > 0.
Observamos ademas que la funcion f : R
2
f(R
2
) es inyectiva pues, como
hemos visto, el sistema x = e
u
+ e
v
, y = e
u
e
v
tiene solucion unica. En
denitiva, existe una inversa global f
1
: f(R
2
) R
2
denida por
f
1
(x, y) =
_
ln
x +y
2
, ln
x y
2
_
208
cuya matriz derivada en el punto (x, y) es
df
1
(x, y) =
_
1/(x +y) 1/(x +y)
1/(x y) 1/(x y)
_
y la matriz derivada de f en el punto correspondiente es
df(u, v) =
_
e
u
e
v
e
u
e
v
_
=
_
(x +y)/2 (x y)/2
(x +y)/2 (x y)/2
_
.
PROBLEMA 4.24
Probar que la funcion f : R
2
R
2
denida por f(x, y) = (e
x
cos y, e
x
seny)
es localmente invertible en un entorno de cada punto, pero no lo
es globalmente. Si
A = (x, y) : 0 < y < 2,
probar que f[
A
es inyectiva y hallar f
1
.
Solucion
Comprobemos que se cumplen las hipotesis del teorema de la funcion inver-
sa:
i) f C
(1)
(R
2
) pues, si llamamos f
1
(x, y) = e
x
cos y y f
2
(x, y) = e
x
seny a
las componentes de f, las derivadas parciales
D
1
f
1
(x, y) = e
x
cos y, D
2
f
1
(x, y) = e
x
seny,
D
1
f
2
(x, y) = e
x
seny, D
2
f
2
(x, y) = e
x
cos y,
son todas continuas.
ii) det Jf(x, y) =

e
x
cos y e
x
seny
e
x
seny e
x
cos y

= e
2x
> 0, (x, y) R
2
.
Por el teorema de la funcion inversa, f es invertible localmente; sin embar-
go no lo es globalmente porque no es inyectiva (observemos que f(x, y) =
f(x, y + 2)).
209
Veamos ahora que, si restringimos la funcion al dominio A, s sera inyectiva.
Sean pues (x, y), (x

, y

) A. Entonces:
f(x, y) = f(x

, y

) =
_
e
x
cos y = e
x

cos y

e
x
seny = e
x

seny

_
=
_
e
2x
cos
2
y = e
2x

cos
2
y

e
2x
sen
2
y = e
2x

sen
2
y

_
= e
2x
[cos
2
y + sen
2
y] = e
2x

[cos
2
y

+ sen
2
y

]
= e
2x
= e
2x

= x = x

.
De aqu se deduce que cos y = cos y

y seny = seny

, de donde y

= y +2k,
pero como 0 < y, y

< 2, resulta y = y

.
Para hallar f
1
, despejamos x e y en el sistema u = e
x
cos y, v = e
x
seny.
Como v/u = tg y y u
2
+v
2
= e
2x
, resulta que
f
1
(u, v) =
_
ln(u
2
+v
2
)
2
, arc tg
v
u
_
, (u, v) ,= (0, 0).
PROBLEMA 4.25
Sea g(r, ) = (r cos , r sen). Probar que g es localmente invertible
en cada punto distinto de (0, ). Obtener una inversa en el dominio
A = (x, y) R
2
: x > 0, y > 0.
Solucion
Para que exista una inversa local, deben cumplirse las siguientes condicio-
nes:
i) g C
(1)
(R
2
) lo cual es evidente pues, si denotamos por g
1
(r, ) = r cos
y g
2
(r, ) = r sen, entonces
D
1
g
1
(r, ) = cos , D
2
g
1
(r, ) = r sen,
D
1
g
2
(r, ) = sen, D
2
g
2
(r, ) = r cos ,
que son continuas en todo R
2
.
ii) det Jg(r, ) =

cos r sen
sen r cos

= r, que es distinto de cero en todo pun-

to distinto de (0, ), R.
210
El teorema de la funcion inversa asegura pues que g es localmente invertible
en dichos puntos. Es claro que g no es inyectiva (debido a la periodicidad
de la funcion) y que
g
_
R
2
(0, ) : R
_
= R
2
(0, 0).
Si B = (r, ) R
2
: r > 0, 0 < < /2, resulta que B es abierto y g es
una biyeccion de B sobre A.
Entonces g
1
: A B (que existe por ser g biyectiva) coincide localmente
con una funcion de clase C
(1)
(cuya existencia asegura el teorema de la
funcion inversa) y por tanto ella misma es de clase C
(1)
.
Si (x, y) A, existe un unico (r, ) B tal que g(r, ) = (r cos , r sen) =
(x, y). Por tanto, de x
2
+y
2
= r
2
, y/x = tg se deduce que la unica solucion
de este sistema es r =
_
x
2
+y
2
, = arc tg(y/x). En denitiva,
g
1
(x, y) =
_
_
x
2
+y
2
, arc tg(y/x)
_
, (x, y) A.
Observamos que, si llamamos
B
k
= (r, ) : r > 0, 2k < < 2k +/2,
la funcion g es tambien una biyeccion de B
k
en A, pero ahora la funcion
inversa es g
1
(x, y) =
__
x
2
+y
2
, 2k + arc tg(y/x)
_
.
PROBLEMA 4.26
Dada la funcion f(x, y) = (x
2
x 2, 3y), (x, y) R
2
, estudiar las
hipotesis del teorema de la funcion inversa, calcular f(R
2
), ver si
f es inyectiva y encontrar f
1
explcitamente.
Solucion
211
- Es claro que f verica las hipotesis del teorema de la funcion inversa por-
que, si llamamos f
1
(x, y) = x
2
x2 y f
2
(x, y) = 3y a las componentes
de f, entonces:
D
1
f
1
(x, y) = 2x 1, D
2
f
1
(x, y) = 0,
D
1
f
2
(x, y) = 0, D
2
f
2
(x, y) = 3,
que son evidentemente continuas. Ademas,
Jg(x, y) =
_
2x 1 0
0 3
_
y det Jf(x, y) = 3(2x 1),
el cual es distinto de cero cuando x ,= 1/2, lo que indica que existe
f
1
en un entorno de cada punto (x, y) R
2
tal que x ,= 1/2.
- Como el sistema de ecuaciones u = x
2
x2, v = 3y tiene solucion cuando
el discriminante de la ecuacion de segundo grado x
2
x (2 +u) = 0
es no negativo, es decir cuando 9 + 4u 0, la imagen de la funcion
sera
Imf = (u, v) R
2
: u = x
2
x 2, v = 3y, x, y R
=
_
(u, v) R
2
: u
9
4
_
.
- Al resolver el sistema anterior, obtenemos que x =
1

9 + 4u
2
, y = v/3,
de lo que se deduce en particular que, excepto cuando u = 9/4, el
valor de x no esta unvocamente determinado, es decir existen
x
1
=
1 +

9 + 4u
2
, x
2
=
1

9 + 4u
2
,
de modo que x
1
,= x
2
y f(x
1
, y) = f(x
2
, y); as pues f no es inyectiva.
Ahora bien, si llamamos D
1
= (x, y) R
2
: 2x > 1, entonces
f(D
1
) = (u, v) R
2
: 4u + 9 > 0, f[
D
1
es inyectiva y
f
1
(u, v) =
_
1 +

9 + 4u
2
,
v
3
_
, u >
9
4
212
y, si llamamos D
2
= (x, y) R
2
: 2x < 1, entonces
f(D
2
) = (u, v) R
2
: 4u + 9 > 0,
f[
D
2
es inyectiva y
f
1
(u, v) =
_
1

9 + 4u
2
,
v
3
_
, u >
9
4
(resultados que se obtienen al resolver el sistema u = x
2
x 2,
v = 3y).
PROBLEMA 4.27
Hallar
z
x
y
z
y
en el punto u = 1, v = 1, si x = u+lnv, y = vlnu,
z = 2u +v.
Solucion
Por la regla de la cadena,
z
x
= 2
u
x
+
v
x
,
z
y
= 2
u
y
+
v
y
,
donde (u, v) = F(x, y) es la funcion inversa de (x, y) = (u + lnv, v lnu).
Para comprobar que existe dicha funcion inversa en un entorno del punto
(u, v) = (1, 1), calculamos el jacobiano
(x, y)
(u, v)
=

1 1/v
1/u 1

=
(x, y)
(u, v)
(1, 1) =

1 1
1 1

= 2 ,= 0.
213
Como la funcion dada es de clase C
(1)
, existe una inversa local (u, v) =
F(x, y).
Para calcular las derivadas parciales de esta funcion inversa, derivamos la
funcion dada con respecto a x y resolvemos el sistema resultante:
1 =
u
x
+
1
v

v
x
0 =
1
u

u
x
+
v
x
_
=
_

_
u
x
=

1 1/v
0 1

1 1/v
1/u 1

=
1
1+
1
uv
=
u
x

u=1,v=1
=
1
2
v
x
=

1 1
1/u 0

1 1/v
1/u 1

=
1/u
1+
1
uv
=
v
x

u=1,v=1
=
1
2
Analogamente se procede con las derivadas respecto a y:
0 =
u
y
+
1
v

v
y
1 =
1
u

u
y
+
v
y
_
=
_

_
u
y
=

0 1/v
1 1

1 1/v
1/u 1

=
1/v
1+
1
uv
=
u
y

u=1,v=1
=
1
2
v
y
=

1 0
1/u 1

1 1/v
1/u 1

=
1
1+
1
uv
=
v
y

u=1,v=1
=
1
2
Sustituyendo estos resultados en las derivadas de z, obtenemos en deniti-
va
z
x

u=1,v=1
=
3
2
,
z
y

u=1,v=1
=
1
2
.
PROBLEMA 4.28
Sea f : R
3
R
3
la funcion denida por
f(x, y, z) =
_
e
x
, sen(x +y), e
z
_
.
(a) Probar que f es localmente invertible en (0, 0, 0).
(b) Probar que existen puntos en R
3
donde no se cumplen las hipotesis
del teorema de la funcion inversa.
Solucion
214
(a) Debemos probar que f C
(1)
y que det Jf(0, 0, 0) ,= 0. Para ello
calculamos las derivadas parciales de primer orden. Tenemos as:
f

x
(x, y, z) =
_
e
x
, cos(x +y), 0
_
,
f

y
(x, y, z) =
_
0, cos(x +y), 0
_
,
f

z
(x, y, z) = (0, 0, e
z
),
cuyas componentes son evidentemente continuas en todo punto de R
3
.
Por otra parte,
det Jf(0, 0, 0) =

1 0 0
1 1 0
0 0 1

= 1 ,= 0.
Queda comprobado as que se cumplen las hipotesis del teorema de la
funcion inversa en el origen.
(b) Como hemos visto antes, en cualquier punto (x
0
, y
0
, z
0
) R
3
, f C
(1)
;
sin embargo no siempre el jacobiano es distinto de cero, pues
det Jf(x
0
, y
0
, z
0
) =

e
x
0
0 0
cos(x
0
+y
0
) cos(x
0
+y
0
) 0
0 0 e
z
0

= e
x
0
+z
0
cos(x
0
+y
0
),
y
det Jf(x
0
, y
0
, z
0
) = 0 x
0
+y
0
=
(2n 1)
2
, n Z.
Por tanto, en estos puntos no se cumplen las hipotesis del teorema y
no podemos asegurar la existencia de la funcion inversa en un entorno
de ellos.
PROBLEMA 4.29
Sea g : R
3
R
3
denida por
g(x, y, z) = (e
2y
+e
2z
, e
2x
e
2z
, x y).
(a) Probar que g es diferenciable en todo R
3
y posee funcion inversa
diferenciable en un entorno de cada punto.
(b) Probar que g es globalmente invertible.
Solucion
215
(a) Una condicion suciente para que g sea diferenciable en R
3
es que g
sea de clase C
(1)
en todo R
3
, lo cual, por denicion, equivale a la
continuidad de D
1
g
i
, D
2
g
i
, D
3
g
i
, i = 1, 2, 3, siendo g
1
(x, y, z) = e
2y
+
e
2z
, g
2
(x, y, z) = e
2x
e
2z
y g
3
(x, y, z) = x y.
Ahora bien, las derivadas parciales de g
i
(i = 1, 2, 3) son
D
1
g
1
(x, y, z) = 0
D
1
g
2
(x, y, z) = 2e
2x
D
1
g
3
(x, y, z) = 1
D
2
g
1
(x, y, z) = 2e
2y
D
2
g
2
(x, y, z) = 0
D
2
g
3
(x, y, z) = 1
D
3
g
1
(x, y, z) = 2e
2z
D
3
g
2
(x, y, z) = 2e
2z
D
3
g
3
(x, y, z) = 0,
las cuales son evidentemente continuas en cualquier punto de R
3
.
Por otra parte, para cualquier punto (x, y, z) R
3
es det Jg(x, y, z) ,= 0
pues
det Jg(x, y, z) =

0 2e
2y
2e
2z
2e
2x
0 2e
2z
1 1 0

= 4
_
e
2(x+z)
+e
2(y+z)
_
,= 0
ya que la funcion exponencial no se anula en ning un punto.
Como g cumple las hipotesis del teorema de la funcion inversa, posee
inversa en un entorno de cada punto de R
3
.
(b) Para que g sea invertible globalmente, debe ser inyectiva. Veamos
que, en efecto, si g(x
1
, y
1
, z
1
) = g(x
2
, y
2
, z
2
), entonces (x
1
, y
1
, z
1
) =
(x
2
, y
2
, z
2
).
De las ecuaciones
x
1
y
1
= x
2
y
2
e
2y
1
+e
2z
1
= e
2y
2
+e
2z
2
e
2x
1
e
2z
1
= e
2x
2
e
2z
2
,
al sumar las dos ultimas tenemos que e
2y
1
+ e
2x
1
= e
2y
2
+ e
2x
2
, de
donde
e
2y
1
(1 +e
2x
1
2y
1
) = e
2y
2
(1 +e
2x
2
2y
2
).
Como x
1
y
1
= x
2
y
2
, la ultima ecuacion queda ahora como e
2y
1
=
e
2y
2
, de donde y
1
= y
2
, lo que, al sustituir en las otras ecuaciones, da
tambien que x
1
= x
2
y z
1
= z
2
, como queramos comprobar.
216
PROBLEMA 4.30
(a) Probar que el sistema
_
xz
3
+y
2
u
3
= 1
2xy
3
+u
2
z = 0
_
dene a las variables x,
y como funciones implcitas diferenciables de z, u en un entorno
del punto P(x
0
, y
0
, z
0
, u
0
) = (0, 1, 0, 1).
(b) Sean x = h(z, u), y = g(z, u) las funciones implcitas denidas en
el apartado (a). Demostrar que la funcion
F(z, u) =
_
h(z, u), g(z, u)
_
admite funcion inversa diferenciable en
un entorno del punto (0, 1).
Solucion
(a) Sea G : R
2
R
2
R
2
la funcion denida por
G(x, y, z, u) = (xz
3
+y
2
u
3
1, 2xy
3
+u
2
z)
y comprobemos que verica las hipotesis del teorema de la funcion
implcita.
i) G(0, 1, 0, 1) = (0, 0) lo que se obtiene por simple sustitucion.
ii) G C
(1)
. En efecto, las dos componentes de G,
G
1
(x, y, z, u) = xz
3
+y
2
u
3
1 y G
2
(x, y, z, u) = 2xy
3
+u
2
z
son polinomios y admiten derivadas parciales continuas de todos
los ordenes en cualquier punto de R
4
.
iii)
(G
1
, G
2
)
(x, y)
(P) =

D
x
G
1
(P) D
y
G
1
(P)
D
x
G
2
(P) D
y
G
2
(P)

0 2
2 0

= 4 ,= 0.
Por tanto, existe un entorno abierto U de (0, 1) y otro entorno abier-
to V de (0, 1) as como una funcion F : U V de clase C
(1)
tal
que, si F(z, u) =
_
h(z, u), g(z, u)
_
, se tiene G
_
h(z, u), g(z, u), z, u
_
=
(0, 0), (z, u) U. En otras palabras,
(x, y, z, u) V U : G(x, y, z, u) = (0, 0)
= (x, y, z, u) V U : x = h(z, u), y = g(z, u).
En particular, h(0, 1) = 0, g(0, 1) = 1. Observemos que, por ser G de
clase C
()
, la funcion implcita F es tambien de clase C
()
.
(b) Sea F(z, u) =
_
h(z, u), g(z, u)
_
. Hemos de probar que F verica las
hipotesis del teorema de la funcion inversa en (0, 1).
217
i) F es de clase C
(1)
, tal como hemos concluido por el teorema de la
funcion implcita.
ii) Ademas, debe ser

z
(0, 1) h

u
(0, 1)
g

z
(0, 1) g

u
(0, 1)

,= 0. Para comprobar esto,

utilizamos la identidad G
_
h(z, u), g(z, u), z, u
_
= 0, (z, u) U,
es decir
h(z, u) z
3
+ [g(z, u)]
2
u
3
1 = 0,
2h(z, u) [g(z, u)]
3
+u
2
z = 0. ()
Derivando este sistema respecto a z, tenemos:
z
3
h

z
(z, u) + 3z
2
h(z, u) + 2u
3
g(z, u) g

z
(z, u) = 0,
2[g(z, u)]
3
h

z
(z, u) + 6h(z, u) [g(z, u)]
2
g

z
(z, u) +u
2
= 0.
Sustituyendo en el punto (z
0
, u
0
) = (0, 1) y teniendo en cuenta
que h(0, 1) = 0, g(0, 1) = 1, resulta que
2g

z
(0, 1) = 0, 2h

z
(0, 1)+1 = 0 = g

z
(0, 1) = 0, h

z
(0, 1) = 1/2.
Derivando ahora () respecto a u:
z
3
h

u
(z, u) + 2u
3
g(z, u) g

u
(z, u) + 3u
2
[g(z, u)]
2
= 0,
2h

u
(z, u) [g(z, u)]
3
+ 6h(z, u) [g(z, u)]
2
g

u
(z, u) + 2uz = 0.
Nuevamente al sustituir en (z
0
, u
0
) = (0, 1), obtenemos:
2g

u
(0, 1)+3 = 0, 2h

u
(0, 1) = 0 = g

u
(0, 1) = 3/2, h

u
(0, 1) = 0.
Por tanto,

z
(0, 1) h

u
(0, 1)
g

z
(0, 1) g

u
(0, 1)

1/2 0
0 3/2

=
3
4
,= 0.
Como se cumplen las hipotesis del teorema de la funcion inversa, existe
un conjunto abierto V que contiene a (0, 1) y un conjunto abierto W
que contiene a la imagen F(0, 1) = (0, 1) tal que F : V W tiene una
inversa continua F
1
: W V que es diferenciable y satisface
d(F
1
)(x, y) = [dF(F
1
(x, y))]
1
, (x, y) W.
218
PROBLEMA 4.31
Si u, v son funciones de las variables x, y denidas por las ecua-
ciones
e
u
cos v x = 0
e
u
senv y = 0,
probar que el angulo formado por

u y

v es constante.
Solucion
Para calcular

u y

v, debemos determinar la funcion inversa de
x = e
u
cos v
y = e
u
senv,
la cual existe localmente porque x(u, v) e y(u, v) son funciones innitamente
derivables y
(x, y)
(u, v)
=

e
u
cos v e
u
senv
e
u
senv e
u
cos v

= e
2u
,= 0.
Si derivamos las expresiones que denen a u y v con respecto a x, obtene-
mos:
e
u
cos v u

x
e
u
senv v

x
= 1
e
u
senv u

x
+e
u
cos v v

x
= 0.
Al resolver este sistema, llegamos a la solucion u

x
= e
u
cos v, v

x
= e
u
senv.
Procedemos analogamente con las derivadas respecto a y. Obtenemos el
sistema
e
u
cos v u

y
e
u
senv v

y
= 0
e
u
senv u

y
+e
u
cos v v

y
= 1,
y la correspondiente solucion u

y
= e
u
senv, v

y
= e
u
cos v.
En denitiva,

u = (e
u
cos v, e
u
senv) y

v = (e
u
senv, e
u
cos v).
Como

u

v = 0, deducimos que ambos vectores son perpendiculares en

todos los puntos.
219
3. CAMBIO DE VARIABLES
Como aplicacion al calculo de derivadas de funciones compuestas vamos a
estudiar la forma en que se transforman las ecuaciones diferenciales cuando
se realiza un cambio de variable (supondremos en todos los casos la igualdad
de las derivadas parciales de segundo orden cruzadas). Destaquemos que la
eleccion adecuada de un cambio de variable permite simplicar una ecuacion
diferencial y obtener muy facilmente sus soluciones (ver por ejemplo los
problemas 4.31 y 4.44). Ademas introducimos el estudio de las ecuaciones
en derivadas parciales, de gran interes en las aplicaciones.
PRIMER CASO: En la ecuacion
G
_
x, y,
dy
dx
, . . . ,
d
n
y
dx
n
_
= 0
cambia una sola variable.
1.1. Cambia la variable independiente mediante la ecuacion x =
x(t).
ESQUEMA DE DEPENDENCIAS
y x t
Como
dy
dt
=
dy
dx

dx
dt
, entonces
dy
dx
=
y

t
x

t
.
Si derivamos nuevamente respecto a t, resulta:
d
dt
_
dy
dx
_
=
d
dx
_
dy
dx
_

dx
dt
=
d
2
y
dx
2

dx
dt
=
y

t
x

t
x

t
y

t
(x

t
)
2
,
de donde
d
2
y
dx
2
=
d
dt
_
dy
dt
_

dt
dx
=
y

t
x

t
x

t
y

t
(x

t
)
3
.
Las derivadas sucesivas se obtienen de manera analoga.
1.2. Cambia la variable independiente mediante la ecuacion t =
t(x).
ESQUEMA DE DEPENDENCIAS
x t y x
220
Por la regla de la cadena se obtiene directamente que
dy
dx
=
dy
dt

dt
dx
= y

t
t

x
y
d
2
y
dx
2
=
d
dx
_
dy
dt

dt
dx
_
=
d
dx
(y

t
) t

x
+y

t
t

x
= y

t
(t

x
)
2
+y

t
t

x
.
1.3. Cambia solo la funcion mediante la ecuacion y = y(z).
ESQUEMA DE DEPENDENCIAS
x y z x
y

x
=
dy
dx
=
dy
dz

dz
dx
= y

z
z

x
,
y

x
=
d
dx
_
dy
dx
_
=
d
dx
(y

z
z

x
) = y

z
z

x
+
d
dx
(y

z
) z

x
= y

z
z

x
+
d
dz
(y

z
) z

x
z

x
= y

z
z

x
+y

z
(z

x
)
2
.
SEGUNDO CASO: En la ecuacion
G
_
x, y,
dy
dx
, . . . ,
d
n
y
dx
n
_
= 0
cambian la funcion y variable antiguas por una funcion y variable nuevas
mediante las relaciones x = x(u, v), y = y(u, v). El esquema de dependencias
es el siguiente:
Las relaciones entre las derivadas de primer orden se obtienen de la siguiente
forma:
Si y = f(x) y v = g(u), entonces y(u, v) = f
_
x(u, v)
_
= f
_
x
_
u, g(u)
_
_
, de
donde
y

u
(u, v) +y

v
(u, v)
dv
du
= f

_
x
_
u, g(u)
_
_

_
x

u
(u, v) +x

v
(u, v)
dv
du
_
.
221
As pues, la derivada se obtiene como:
dy
dx
= f

(x) =
y

u
+y

v
(dv/du)
x

u
+x

v
(dv/du)
.
TERCER CASO: Transformar la ecuacion en derivadas parciales
F
_
x, y, z,
z
x
,
z
y
,

2
z
x
2
,

2
z
xy
, . . .
_
= 0
por la ecuacion
F
_
u, v, z,
z
u
,
z
v
,

2
z
u
2
,

2
z
uv
, . . .
_
= 0
mediante el cambio x = x(u, v), y = y(u, v). El esquema de dependencias es
el siguiente:
Las relaciones entre las derivadas de primer orden se obtienen al resolver el
sistema:
z
u
=
z
x

x
u
+
z
y

y
u
z
v
=
z
x

x
v
+
z
y

y
v
.
En el caso de que la transformacion venga dada por las ecuaciones u =
u(x, y), v = v(x, y), se resuelve el sistema analogo
z
x
=
z
u

u
x
+
z
v

v
x
z
y
=
z
u

u
y
+
z
v

v
y
.
CASO GENERAL: Cambiar las variables independientes x e y por u y v
y la funcion z por w, mediante las relaciones
x = f(u, v, w)
y = g(u, v, w)
z = h(u, v, w)
_
_
_
o bien
_
_
_
u = F(x, y, z)
v = G(x, y, z)
w = H(x, y, z).
222
Debemos tener en cuenta los siguientes esquemas de dependencias
o bien
Derivando las veces que sea necesario y resolviendo los sistemas resultantes,
se podran conocer las derivadas parciales de z con respecto a x e y en
funcion de las correspondientes derivadas parciales de w con respecto a u y
v.
Sin embargo el caso mas sencillo no exige la resolucion de ning un sistema de
ecuaciones; este caso corresponde a las relaciones de la forma z = (u, v, w),
u = f(x, y), v = g(x, y) para el cual el esquema de dependencias es
De este modo, al derivar resulta:
z
x
=
z
u

u
x
+
z
v

v
x
+
z
w

w
x
pero como
w
x
=
w
u

u
x
+
w
v

v
x
,
entonces
z
x
=
z
u

u
x
+
z
v

v
x
+
z
w

_
w
u

u
x
+
w
v

v
x
_
.
223
Analogamente,
z
y
=
z
u

u
y
+
z
v

v
y
+
z
w

_
w
u

u
y
+
w
v

v
y
_
.
PROBLEMA 4.32
Resolver la ecuacion diferencial x
d
2
y
dx
2
+
dy
dx
+
1
x
= 0.
Solucion
Si hacemos el cambio de variable x = e
t
(o bien t = lnx), las derivadas
sucesivas son:
dy
dx
=
dy
dt

1
x
,
d
2
y
dx
2
=
d
2
y
dt
2

1
x

1
x
+
dy
dt

1
x
2
.
Al sustituirlas en la ecuacion, esta queda de la forma
d
2
y
dt
2
= 1
cuya solucion general, obtenida por integracion directa, es
y =
t
2
2
+C t +D =
(lnx)
2
2
+C lnx +D.
PROBLEMA 4.33
Transformar la ecuacion
x
2

d
2
y
dx
2
+ 2x
dy
dx
+
a
2
x
2
y = 0
poniendo x = 1/t.
Solucion
224
Como estamos en el caso 1.1, debemos expresar las derivadas de y respecto
a x en funcion de las derivadas de y respecto a t. Tenemos as:
dy
dx
=
y

t
x

t
= t
2
y

t
,
d
2
y
dx
2
=
d
dt
_
dy
dx
_
x

t
= (t
2
) (2ty

t
t
2
y

t
) = 2t
3
y

t
+t
4
y

t
.
Al sustituir en la ecuacion dada obtenemos:
1
t
2
t
3
_
2
dy
dt
+t
d
2
y
dt
2
_
+ 2
1
t
_
t
2
dy
dt
_
+a
2
t
2
y = 0
o bien
d
2
y
dt
2
+a
2
y = 0.
PROBLEMA 4.34
En la ecuacion diferencial
(x
2
1)
d
2
y
dx
2
+x
dy
dx
my = 0,
cambiar la variable independiente x por la nueva variable indepen-
diente v siendo la ecuacion que las relaciona x = cos v.
Solucion
Al igual que los ejercicios anteriores,
dy
dx
=
y

v
x

v
=
1
senv
y

v
,
d
2
y
dx
2
=
x

v
y

v
x

v
y

v
(x

v
)
3
=
1
sen
2
v
y

v

cos v
sen
3
v
y

v
,
valores que llevados a la ecuacion diferencial dada la transforma en y

v
+my =
0.
PROBLEMA 4.35
Dada la ecuacion diferencial
d
2
y
dx
2
+
2x
1 +x
2

dy
dx
+
y
(1 +x
2
)
2
= 0,
hacer el cambio de variable x = tg t.
225
Solucion
Nuevamente estamos en el caso 1.1, por lo que:
dy
dx
=
y

t
x

t
= cos
2
t y

t
,
d
2
y
dx
2
=
x

t
y

t
x

t
y

t
(x

t
)
3
=
1
cos
2
t
y

t
y

t

2 sen t
cos
3
t
1/ cos
6
t
= cos
4
t y

t
2 sent cos
3
t y

t
.
Hecho el cambio queda
cos
4
t y

t
2 sent cos
3
t y

t
+
2 tg t
1 + tg
2
t
cos
2
t y

t
+
y
(1 + tg
2
t)
2
= 0
lo que, al simplicar, da la ecuacion
cos
4
t (y

t
+y) = 0.
PROBLEMA 4.36
En la ecuacion diferencial
d
3
y
dx
3
(x +m)
3
+ 3
d
2
y
dx
2
(x +m)
2
+
dy
dx
(x +m) +y = 0,
cambiar la variable independiente por v, denida mediante la re-
lacion x +m = e
v
.
Solucion
Al igual que en los casos anteriores tenemos:
dy
dx
=
y

v
x

v
= e
v
y

v
,
d
2
y
dx
2
=
x

v
y

v
x

v
y

v
(x

v
)
3
= e
2v
(y

v
y

v
).
Ademas, si derivamos nuevamente respecto a x,
d
3
y
dx
3
=
(x

v
)
3
[x

v
(1/x

v
) y

v
+x

v
y

v
(1/x

v
)x

v
(1/x

v
) y

v
x

v
y

v
(1/x

v
)]
(x

v
)
6

3(x

v
)
2
x

v
(1/x

v
) (x

v
y

v
x

v
y

v
)
(x

v
)
6
=
(x

v
y

v
y

v
x

v
)x

v
3(x

v
y

v
y

v
x

v
)x

v
(x

v
)
5
= e
3v
(y

v
3y

v
+ 2y

v
),
226
y al sustituir en la ecuacion original resulta y

v
+y = 0.
PROBLEMA 4.37
En la ecuacion x
3

d
3
y
dx
3
+ 3x
2

d
2
y
dx
2
+x(a + 1)
dy
dx
y = 0,
sustituir la variable x por t seg un la relacion t = lnx.
Solucion
Aplicaremos las formulas
dy
dx
=
dy/dt
dx/dt
=
y

t
e
t
,
d
2
y
dx
2
=
x

t
y

t
y

t
x

t
(x

t
)
3
=
y

t
y

t
e
2t
,
d
3
y
dx
3
=
x

t
(x

t
y

t
y

t
x

t
) 3x

t
(x

t
y

t
y

t
x

t
)
(x

t
)
5
=
y

t
y

t
3(y

t
y

t
)
e
3t
.
Al sustituir y simplicar la expresion resulta la nueva ecuacion
d
3
y
dt
3
+a
dy
dt
y = 0.
PROBLEMA 4.38
En la ecuacion diferencial
x
3
d
3
y
dx
3
+ 3x
2
d
2
y
dx
2
+x
dy
dx
y = 0,
efectuar el cambio de variable t = lnx.
Solucion
Seg un el esquema de dependencias
x t y x,
derivando con respecto a x obtenemos las formulas utilizadas en el problema
anterior. Teniendo en cuenta que x = e
t
, dichas formulas quedan de la
227
siguiente forma:
dy
dx
=
y

t
e
t
d
2
y
dx
2
=
y

t
y

t
e
2t
d
3
y
dx
3
=
y

t
3y

t
+ 2y

t
e
3t
.
Al sustituir en la ecuacion diferencial dada, nos queda la ecuacion transfor-
mada
y

t
y
t
= 0.
Observacion. El metodo utilizado en este problema se aplica en general
para pasar de una ecuacion con coecientes variables en otra con coecientes
constantes.
PROBLEMA 4.39
En la ecuacion diferencial
d
2
y
dx
2
+ (e
y
x)
_
dy
dx
_
3
= 0,
intercambiar la funcion con la variable independiente.
Solucion
Sabiendo que dy/dx =
1
dx/dy
, derivando respecto a y tenemos:
d
dy
_
dy
dx
_
=
d
2
x/dy
2
(dx/dy)
2
.
Por otra parte, por la regla de derivacion de una funcion compuesta,
d
dy
_
dy
dx
_
=
d
dx
_
dy
dx
_

dx
dy
=
d
2
y
dx
2

dx
dy
.
Agrupando las dos formulas, obtenemos:
d
2
y
dx
2
=
d
2
x/dy
2
(dx/dy)
3
.
Llevado este resultado a la ecuacion diferencial da la nueva expresion
d
2
x
dy
2
+x = e
y
.
228
PROBLEMA 4.40
Dada la ecuacion diferencial
d
2
y
dx
2
x
dy
dx
y
_
dy
dx
_
3
= 0,
intercambiar las variables x e y.
Solucion
Si aplicamos las formulas obtenidas en el problema anterior
dy
dx
=
1
dx/dy
,
d
2
y
dx
2
=
d
2
x/dy
2
(dx/dy)
3
,
resulta

d
2
x/dy
2
(dx/dy)
3
x
1
dx/dy
y
1
(dx/dy)
3
= 0,
o bien,
d
2
x
dy
2
+x
_
dx
dy
_
2
+y = 0.
PROBLEMA 4.41
Transformar la ecuacion
dy
dx
=
x +y
x y
en coordenadas polares, de-
nidas por las ecuaciones x = cos , y = sen, escribiendo en
funcion de .
Solucion
La situacion es la descrita en el segundo caso del resumen teorico, donde
tenemos el siguiente esquema de dependencias
229
Utilizamos por lo tanto la formula
dy
dx
=
y

+y

(d/d)
x

+x

(d/d)
=
cos + sen (d/d)
sen + cos (d/d)
.
Al sustituir en la ecuacion y simplicar, obtenemos la nueva ecuacion
d
d
= .
PROBLEMA 4.42
Hallar la expresion en coordenadas polares del radio de curvatura
de una curva y = y(x) dado en coordenadas cartesianas
R =
_
1 + (dy/dx)
2

3/2
d
2
y/dx
2
.
Solucion
Teniendo en cuenta (comparar con el problema anterior) que
dx
d
=
x

() +
x

= cos

() sen (),
dy
d
=
y

() +
y

= sen

() + cos (),
d
2
x
d
2
= cos

() 2 sen

() cos (),
d
2
y
d
2
= sen

() + 2 cos

() sen (),
obtenemos:
dy
dx
=
dy/d
dx/d
=
cos () + sen

()
sen () + cos

()
,
d
2
y
dx
2
=
d
d
_
dy
dx
_
dx/d
=
dx
d

d
2
y
d
2

dy
d

d
2
x
d
2
_
dx
d
_
3
=
[()]
2
+ 2[

()]
2
()

()
[cos

() sen ()]
3
,
que sustituidos en la formula cartesiana del radio de curvatura da como
resultado su expresion polar
R =
_
[()]
2
+ [

()]
2

3/2
[()]
2
+ 2[

()]
2
()

()
.
230
PROBLEMA 4.43
Transformar en coordenadas polares la ecuacion diferencial
y
2
[x +y y

(x)]
2
(x
2
+y
2
) [x y

(x) y]
2
= 0.
Solucion
Al sustituir en la ecuacion los valores x = cos , y = sen y la deriva-
da
y

(x) =
(dy/d)
(dx/d)
=
cos +

sen
sen +

cos
,
resulta

2
sen
2

_
cos + sen
cos +

sen
sen +

cos
_
2

2
_
cos
cos +

sen
sen +

cos
sen
_
2
= 0.
Simplicando esta expresion se obtiene en denitiva que [

]
2
sen
2

2
= 0,
o bien

=
1
sen
.
PROBLEMA 4.44
Transformar la ecuacion x y y

(x) x [y

(x)]
2
+y
3
= 0 mediante
el cambio y = e
w
, x = e
t
, con w = w(t).
Solucion
A partir de las formulas
dy
dx
=
dy/dt
dx/dt
=
e
w
w

t
e
t
= e
wt
w

t
,
d
2
y
dx
2
=
dx
dt

d
2
y
dt
2

dy
dt

d
2
x
dt
2
(dx/dt)
3
=
e
t
[e
w
(w

t
)
2
+e
w
w

t
] e
w
w

t
e
t
e
3t
=
e
w+t
[w

t
+ (w

t
)
2
w

t
]
e
3t
,
231
obtenemos, al sustituir, la nueva expresion
e
2wt
[w

t
+ (w

t
)
2
w

t
] e
2wt
(w

t
)
2
+e
3w
= 0
o bien
d
2
w
dt
2

dw
dt
+e
w+t
= 0.
PROBLEMA 4.45
Transformar la ecuacion de ondas

2
u
t
2
= a
2

2
u
x
2
(a ,= 0), en otra
cuyas variables independientes sean , , donde = x at, =
x +at.
Solucion
Aplicando la formula de derivacion de funciones compuestas, tenemos el
sistema
u
t
=
u

(a) +
u

a = a
_

+
u

_
u
x
=
u

1 +
u

1 =
u

+
u

.
Volviendo a derivar estas mismas formulas, tenemos:

2
u
t
2
=

_
u
t
_

t
+

_
u
t
_

t
= a
_

2
u

2
u

2
_
(a) +a
_

2
u

2


2
u

_
a
= a
2
_

2
u

2
2

2
u

+

2
u

2
_
;

2
u
x
2
=

_
u
x
_

x
+

_
u
x
_

x
=
_

2
u

2
+

2
u

_
1 +
_

2
u

+

2
u

2
_
1
=

2
u

2
+ 2

2
u

+

2
u

2
.
Al sustituir en la ecuacion dada tenemos la nueva ecuacion

2
u

= 0.
232
Observemos que, expresada de esta forma, la solucion de la ecuacion se
obtiene por integracion directa.
PROBLEMA 4.46
Dada la ecuacion en derivadas parciales

2
z
x
2
+

2
z
y
2
= 0, hacer el
cambio de variable r =
_
x
2
+y
2
.
Solucion
A partir del esquema de dependencias siguiente
las derivadas sucesivas se obtienen del siguiente modo:
z
x
=
dz
dr

r
x
=
dz
dr

x
_
x
2
+y
2
,
z
y
=
dz
dr

r
y
=
dz
dr

y
_
x
2
+y
2
,

2
z
x
2
=

x
_
dz
dr
_

r
x
+
dz
dr


2
r
x
2
=
d
2
z
dr
2

_
r
x
_
2
+
dz
dr


2
r
x
2
=
d
2
z
dr
2

x
2
x
2
+y
2
+
dz
dr

y
2
(x
2
+y
2
)
3/2
,

2
z
y
2
=

y
_
dz
dr
_

r
y
+
dz
dr


2
r
y
2
=
d
2
z
dr
2

_
r
y
_
2
+
dz
dr


2
r
y
2
=
d
2
z
dr
2

y
2
x
2
+y
2
+
dz
dr

x
2
(x
2
+y
2
)
3/2
.
Al sustituir los resultados en la ecuacion original resulta
d
2
z
dr
2
+
1
r

dz
dr
= 0.
233
PROBLEMA 4.47
Si w = w(x, y), cambiar a polares la expresion
A =

2
w
x
2
+

2
w
y
2
.
Solucion
Las ecuaciones del cambio de variable son x = r cos , y = r sen. Si en este
sistema suponemos r y como funciones de x e y, sus derivadas se calculan
mediante los metodos expuestos en la seccion de funciones implcitas. Se
obtienen as los siguientes resultados:
r
x
= cos ,

x
=
sen
r
,
r
y
= sen ,

y
=
cos
r
.
Aplicamos ahora la regla de la cadena para calcular las derivadas de w:
w
x
=
w
r

r
x
+
w

x
= cos
w
r

sen
r

w

w
y
=
w
r

r
y
+
w

y
= sen
w
r
+
cos
r

w

.
Si llamamos ahora w
1
=
w
x
y w
2
=
w
y
, entonces

2
w
x
2
=
w
1
x
=
w
1
r

r
x
+
w
1

x
,

2
w
y
2
=
w
2
y
=
w
2
r

r
y
+
w
2

y
.
Si sustituimos en las formulas anteriores los valores siguientes
w
1
r
= cos

2
w
r
2
+
sen
r
2

w

sen
r


2
w
r
,
w
1

= sen
w
r
+ cos

2
w
r

cos
r

w

sen
r


2
w

2
,
w
2
r
= sen

2
w
r
2

cos
r
2

w

+
cos
r


2
w
r
,
w
2

= cos
w
r
+ sen

2
w
r

sen
r

w

+
cos
r


2
w

2
,
234
resulta

2
w
x
2
= cos
2


2
w
r
2
+
sencos
r
2

w

sencos
r


2
w
r
+
sen
2

r

w
r

sencos
r


2
w
r
+
sencos
r
2

w

+
sen
2

r
2


2
w

2
w
y
2
= sen
2


2
w
r
2

sencos
r
2

w

+
sencos
r


2
w
r
+
cos
2

r

w
r
+
sencos
r


2
w
r

sencos
r
2

w

+
cos
2

r
2


2
w

2
.
En denitiva, la ecuacion original toma la forma
A =

2
w
x
2
+

2
w
y
2
=

2
w
r
2
+
1
r

w
r
+
1
r
2


2
w

2
.
PROBLEMA 4.48
En la ecuacion

2
z
x
2


2
z
y
2
= 0,
cambiar las variables independientes x e y por u y v relacionadas
por las formulas x +y = u, x y = v.
Solucion
Teniendo en cuenta el esquema de dependencias
235
al calcular las derivadas parciales, obtenemos:
z
x
=
z
u

u
x
+
z
v

v
x
=
z
u
+
z
v
z
y
=
z
u

u
y
+
z
v

v
y
=
z
u

z
v
,

2
z
x
2
=
_

2
z
u
2
+

2
z
uv
_

u
x
+
_

2
z
uv
+

2
z
v
2
_

v
x
=

2
z
u
2
+ 2

2
z
uv
+

2
z
v
2

2
z
y
2
=
_

2
z
u
2


2
z
uv
_

u
y
+
_

2
z
uv


2
z
v
2
_

v
y
=

2
z
u
2
2

2
z
uv
+

2
z
v
2
.
La ecuacion original se transforma ahora en

2
z
uv
= 0, la cual se puede
resolver por integracion directa.
PROBLEMA 4.49
En la expresion A = z
xx
z
yy
, sustituir las variables (x, y) por (, )
siendo las ecuaciones del cambio
e
+
= x +y, e

= x y.
Solucion
Despejamos en primer lugar y en funcion de las variables x e y. Obte-
nemos as:
=
1
2
ln(x
2
y
2
) , =
1
2
ln
_
x +y
x y
_
.
Utilizando los valores

x
=
x
x
2
y
2
,

y
=
y
x
2
y
2
,

x
=
y
x
2
y
2
,

y
=
x
x
2
y
2
,
calculamos las derivadas parciales de z respecto a las variables x e y apli-
236
cando la regla de la cadena:
z
x
=
z

x
+
z

x
=
x
x
2
y
2

z

y
x
2
y
2

z

,
z
y
=
z

y
+
z

y
=
y
x
2
y
2

z

+
x
x
2
y
2

z

2
z
x
2
=
x
2
y
2
(x
2
y
2
)
2

z

+
x
x
2
y
2

_

2
z

2


x
+

2
z

x
_
+
2xy
(x
2
y
2
)
2

z

y
x
2
y
2

_

2
z

x
+

2
z

2


x
_
=
(x
2
+y
2
)
(x
2
y
2
)
2

z

+
2xy
(x
2
y
2
)
2

z

+
x
2
(x
2
y
2
)
2


2
z

2

2xy
(x
2
y
2
)
2


2
z

+
y
2
(x
2
y
2
)
2


2
z

2
,

2
z
y
2
=
x
2
y
2
(x
2
y
2
)
2

z

y
x
2
y
2

_

2
z

2


y
+

2
z

y
_
+
2xy
(x
2
y
2
)
2

z

+
x
x
2
y
2

_

2
z

y
+

2
z

2


y
_
=
(x
2
+y
2
)
(x
2
y
2
)
2

z

+
2xy
(x
2
y
2
)
2

z

+
y
2
(x
2
y
2
)
2


2
z

2

2xy
(x
2
y
2
)
2


2
z

+
x
2
(x
2
y
2
)
2


2
z

2
.
Sustituyendo el resultado en la expresion original, obtenemos en deniti-
va
A =
1
x
2
y
2

_

2
z

2


2
z

2
_
= e
2

2
z

2


2
z

2
_
.
PROBLEMA 4.50
Dada la ecuacion diferencial
x
z
x
+y
z
y
= 0,
expresarla en funcion de z y sus derivadas respecto a y , siendo

2
= x
2
+y
2
, tg = y/x.
Solucion
Teniendo en cuenta el esquema de dependencias
237
podemos escribir las derivadas parciales como:
z
x
=
z

x
+
z

x
=
z

+
z

2
z
y
=
z

+
z

2
.
Multiplicando la primera ecuacion por x, la segunda por y y sumando:
x
z
x
+y
z
y
=
z

= 0 =
z

= 0.
Esto indica que z es independiente de ; as z = () = F(y/x), que es
una funcion homogenea de grado cero (resultado previsible pues la ecuacion
original es la ecuacion diferencial que caracteriza -seg un el teorema de Euler-
a la funcion homogenea de grado cero).
PROBLEMA 4.51
Cambiar las variables independientes en la ecuacion diferencial

2
z
x
2
+xy
2
z
x
+y(1 y
2
)
z
y
+x
2
y
2
z = 0
mediante las relaciones u = xy, v = 1/y.
Solucion
El esquema de dependencias en este caso es el siguiente:
238
Las derivadas parciales se obtienen de la siguiente manera:
z
x
=
z
u

u
x
+
z
v

v
x
= y
z
u
z
y
=
z
u

u
y
+
z
v

v
y
= x
z
u

1
y
2

z
v

2
z
x
2
= y
_

2
z
u
2

u
x
+

2
z
uv

v
x
_
= y
2

2
z
u
2
.
Sustituyendo en la ecuacion, resulta:

2
z
u
2
+uv
2

z
u
+v(1 v
2
)
z
v
+u
2
v
2
z = 0.
PROBLEMA 4.52
Dada la ecuacion diferencial

2
z
x
2
2

2
z
xy
_
1 y
2
+
z
x
+

2
z
y
2
(1 y
2
) y
z
y
= 0,
efectuar el cambio denido por las relaciones x = t+senv, y = cos t.
Solucion
A partir del esquema de dependencias
las derivadas tienen la forma
z
t
=
z
x

x
t
+
z
y

y
t
=
z
x
sent
z
y
z
v
=
z
x

x
v
+
z
y

y
v
= cos v
z
x

2
z
t
2
=

2
z
x
2

x
t
+

2
z
xy

y
t
cos t
z
y
sent
_

2
z
yx

x
t
+

2
z
y
2

y
t
_
=

2
z
x
2
2 sent

2
z
xy
+ sen
2
t

2
z
y
2
cos t
z
y
.
239
Sumando ahora la tercera igualdad con el resultado de multiplicar la segunda
igualdad por 1/ cos v, se obtiene:

2
z
t
2
+
1
cos v

z
v
=

2
z
x
2
2 sent

2
z
xy
+
z
x
+sen
2
t

2
z
y
2
cos t
z
y
= 0,
pues
_
1 y
2
= sent. En denitiva, la ecuacion transformada es

2
z
t
2
+
1
cos v

z
v
= 0.
PROBLEMA 4.53
Pasar a coordenadas cilndricas la ecuacion

2
z
xy

z
x

z
y
= 0.
Solucion
Las coordenadas cilndricas de un punto se obtienen mediante las relaciones
x = r cos , y = r sen, z = z, o bien r =
_
x
2
+y
2
, = arc tg(y/x), z = z.
Con estas relaciones y el esquema de dependencias siguiente
calculamos las derivadas parciales:
z
x
=
z
r

r
x
+
z

x
=
x
r

z
r

y
r
2

z

z
y
=
z
r

r
y
+
z

y
=
y
r

z
r
+
x
r
2

z

2
z
xy
=

y
_
z
x
_
=
_

2
z
r
2

r
y
+

2
z
r


y
_

r
x
+
z
r


2
r
xy
+
_

2
z
r

r
y
+

2
z

2


y
_

x
+
z

xy
.
Sustituyendo en estas expresiones los valores
r
x
=
x
r
,
r
y
=
y
r
,

x
=
y
r
2
,

y
=
x
r
2
,

2
r
xy
=
xy
r
3
,

2

xy
=
y
2
x
2
r
4
,
240
queda la ecuacion
1
2
sen2
_

2
z
r
2

_
z
r
_
2
_
+
1
r
cos 2
_

2
z
r

z
r

z

1
2

sen2
r
2
_

2
z

2

_
z

_
2
_

1
2

sen2
r

z
r

cos 2
r
2

z

= 0.
PROBLEMA 4.54
Hallar la transformada de la ecuacion

2
z
x
2
+

2
z
y
2
+ 2

2
z
xy
= 0,
mediante el cambio de variables u = x, v = y, w = z (x + y).
Solucion
A partir del esquema de dependencias
se deduce que
w
x

x
x
+
w
y

y
x
+
w
z

z
x
=
w
u

u
x
+
w
v

v
x
,
w
x

x
y
+
w
y

y
y
+
w
z

z
y
=
w
u

u
y
+
w
v

v
y
.
Sustituyendo en estas relaciones los valores
w
x
= 1,
w
y
= 1,
w
z
= 1,
u
x
= 1,
u
y
= 0,
v
x
= 0,
v
y
= 1,
241
obtenemos
z
x
1 =
w
u
,
z
y
1 =
w
v
.
Derivando la primera igualdad respecto a x e y y la segunda igualdad res-
pecto a y, se obtiene despues de sustituir que:

2
z
x
2
=

x
_

w
u
_
=

u
_

w
u
_

u
x
=

2
w
u
2
;

2
z
xy
=

y
_

w
u
_
=

v
_

w
u
_

v
y
=

2
w
uv
;

2
z
y
2
=

y
_

w
v
_
=

v
_

w
v
_

v
y
=

2
w
v
2
;
de modo que la ecuacion original queda invariable.
PROBLEMA 4.55
Transformar la ecuacion diferencial
1
sen
2
x
_
z
x
_
2
+
1
cos
2
y
_
z
y
_
2
2 cos
4
z = 0,
mediante el cambio de variable dado por las relaciones u = cos x
seny, v = cos x + seny, t = tg z, siendo v la nueva variable depen-
diente y u y t las variables independientes.
Solucion
Utilizaremos en este problema un metodo indirecto diferente a los anteriores.
Teniendo en cuenta que v depende de u y de t, podemos escribir
() dv = p du +q dt, siendo p =
v
u
, q =
v
t
.
A partir de las relaciones dadas en el enunciado, calculamos las derivadas
de primer orden:
dv = v

x
dx +v

y
dy = senxdx + cos y dy
du = u

x
dx +u

y
dy = senxdx cos y dy
dt = t

z
dz = sec
2
z dz.
242
Sustituyendo estos valores en (),
senxdx + cos y dy = p(senxdx cos y dy) +q sec
2
z dz
= dz =
p 1
q
senxcos
2
z dx +
p + 1
q
cos y cos
2
z dy.
Como, a su vez, dz =
z
x
dx +
z
y
dy, resulta
z
x
=
p 1
q
senxcos
2
z ,
z
y
=
p + 1
q
cos y cos
2
z.
Sustituimos los valores obtenidos en la ecuacion diferencial dada y obtene-
mos
cos
4
z
_
p 1
q
_
2
+ cos
4
z
_
p + 1
q
_
2
2 cos
4
z = 0.
Despues de simplicar, queda la nueva ecuacion p
2
q
2
+1 = 0, o bien
_
v
u
_
2

_
v
t
_
2
+ 1 = 0.
PROBLEMA 4.56
Tomando u, v por nuevas variables independientes y w = w(u, v)
por nueva funcion, transformar la ecuacion en derivadas parcia-
les

2
z
x
2

z
y
= 0
siendo u = x/y, v = 1/y, z =
w

y
e
x
2
/4y
.
Solucion
Del enunciado deducimos el siguiente esquema de dependencias:
243
Calculamos las derivadas parciales de z a partir de la formula z =
w

y
e
x
2
/4y
,
y teniendo en cuenta que w = w(x, y):
z
x
=
1

y

_
w
u

u
x
+
w
v

v
x
_
e
x
2
/4y
+
1

y
w
2x
4y
e
x
2
/4y
=
1
y

y
e
x
2
/4y
_
w
u

w x
2
_
z
y
=
w
2y

y
e
x
2
/4y
+
e
x
2
/4y

y

_
w
u

u
y
+
w
v

v
y
_
+
w

y

x
2
4y
2
e
x
2
/4y
=
1
y

y
e
x
2
/4y
_

w
2

x
y

w
u
+
1
y

w
v
+
w x
2
4y
_

2
z
x
2
=
1
y

y

2x
4y
e
x
2
/4y
_
w
u

wx
2
_
+
1
y

y
e
x
2
/4y
_

2
w
u
2

u
x

w
2

x
2

w
u

u
x
_
=
1
y

y
e
x
2
/4y
_
x
2y

w
u
+
wx
2
4y
+
1
y


2
w
u
2

w
2

x
2y

w
u
_
.
Sustituyendo estos resultados en la ecuacion original, obtenemos
1
y


2
w
u
2

1
y

w
v
= 0,
es decir, la ecuacion queda invariante.
PROBLEMA 4.57
Hallar los valores de a, b, c, d para los cuales, bajo la transformacion
u = ax +by
v = cx +dy
_
, donde ad bc ,= 0, la ecuacion

2
f
x
2
+ 2

2
f
xy
+

2
f
y
2
= 0
quede
(a)

2
f
u
2
= 0.
(b)

2
f
uv
= 0.
244
Solucion
Calculamos las derivadas parciales de f respecto a x e y, utilizando las
variables auxiliares u y v:
f
x
=
f
u

u
x
+
f
v

v
x
= a
f
u
+c
f
v
f
y
=
f
u

u
y
+
f
v

v
y
= b
f
u
+d
f
v

2
f
x
2
= a
_

2
f
u
2

u
x
+

2
f
uv

v
x
_
+c
_

2
f
vu

u
x
+

2
f
v
2

v
x
_
= a
2

2
f
u
2
+ 2ac

2
f
uv
+c
2

2
f
v
2

2
f
xy
= a
_

2
f
u
2

u
y
+

2
f
uv

v
y
_
+c
_

2
f
vu

u
y
+

2
f
v
2

v
y
_
= ab

2
f
u
2
+ (ad +bc)

2
f
uv
+cd

2
f
v
2

2
f
y
2
= b
_

2
f
u
2

u
y
+

2
f
uv

v
y
_
+d
_

2
f
vu

u
y
+

2
f
v
2

v
y
_
= b
2

2
f
u
2
+ 2bd

2
f
uv
+d
2

2
f
v
2
.
Sustituyendo en la ecuacion, obtenemos la ecuacion transformada:
(a +b)
2

2
f
u
2
+ 2(a +b)(c +d)

2
f
uv
+ (c +d)
2

2
f
v
2
= 0.
Por tanto, cuando c+d = 0 y a+b ,= 0, la ecuacion resultante tiene la forma

2
f
u
2
= 0, pero ninguna eleccion de a, b, c, d lleva a la ecuacion

2
f
uv
= 0.
245
4. M

AXIMOS Y M

INIMOS DE FUNCIONES.
Los conceptos de maximo y mnimo de una funcion de varias variables son
completamente analogos a los correspondientes de funciones de una variable
y tienen tambien su origen en consideraciones geometricas.
Denicion. Dada una funcion f : R
n
R, con dominio D R
n
, decimos
que
(a) f tiene un maximo absoluto (o global) en un punto

x
0
D si
f(

x
0
) f(

x ),

x D;
(b) f tiene un mnimo absoluto (o global) en un punto

x
0
D si
f(

x
0
) f(

x ),

x D.
Los puntos donde una funcion toma indistintamente un valor maximo o
mnimo reciben el nombre generico de extremos.
En el captulo II enunciamos el teorema de Weierstrass que proporciona
condiciones sucientes para la existencia de extremos absolutos (pagina 84,
corolario 8).
A continuacion, daremos la version local de estos conceptos.
Denicion. Dada una funcion f : R
n
R, con dominio D R
n
, decimos
que
(a) f tiene un maximo relativo (o local) en un punto

x
0
D si existe una
bola B(

x
0
, r) centrada en

x
0
tal que f(

x
0
) f(

x ),

x B(

x
0
, r)D;
(b) f tiene un mnimo relativo (o local) en un punto

x
0
D si existe una
bola B(

x
0
, r) centrada en

x
0
tal que f(

x
0
) f(

x ),

x B(

x
0
, r)D.
En el caso de funciones de dos variables, la interpretacion geometrica de
estas nociones es evidente.
Estos conceptos estan relacionados con el de punto estacionario.
Denicion. Si una funcion f : R
n
R es diferenciable en un punto

x
0
y

f(x
0
) = 0, se dice que

x
0
es un punto estacionario o punto crtico de la
funcion.
La relacion citada viene dada por la siguiente condicion necesaria de exis-
tencia de extremos.
Teorema (criterio de las derivadas primeras). Sea D un abierto de R
n
y
f una funcion de clase C
(1)
en D. Si f tiene un extremo relativo (maximo
246
o mnimo) en un punto

x
0
D, entonces

x
0
es un punto estacionario de
f.
En el caso particular de funciones de dos variables, lo anterior quiere decir
que el plano tangente a una funcion diferenciable en un maximo o un mnimo
es necesariamente horizontal. Dicho plano queda por encima de la supercie
en un entorno del punto donde la funcion tiene un maximo y queda por
debajo de la supercie en un entorno del punto donde la funcion tiene un
mnimo.
Debemos observar que dicha condicion no es suciente. Por ejemplo, si consi-
deramos la funcion f(x, y) = x y, entonces

f(x, y) = (y, x) y el gradiente
se anula solo en el origen. Sin embargo, es evidente que en dicho punto
no puede haber un maximo ni un mnimo de la funcion, pues en cualquier
entorno del origen la funcion toma valores positivos y negativos.
La determinacion de condiciones sucientes para la existencia de extremos
relativos se basa en el estudio del signo del termino de segundo orden en
el polinomio de Taylor asociado a la funcion. Para formular dichas condi-
ciones debemos recordar algunos conceptos relativos a la teora de formas
cuadraticas.
Denicion. Dada una matriz simetrica A = (a
ij
)
n
i,j=1
, (es decir con a
ij
=
a
ji
, i, j), se dene la forma cuadratica asociada a A como la funcion Q :
R
n
R denida por
Q(

h ) =

h A

h
T
=
n

i=1
n

j=1
a
ij
h
i
h
j
,

h = (h
1
, . . . , h
n
).
Decimos que una forma cuadratica Q es
i) denida positiva si Q(

h ) > 0,

h ,= 0,
ii) denida negativa si Q(

h ) < 0,

h ,= 0.
Una caracterizacion de esta denicion la da el siguiente criterio de Sylves-
ter:
Proposicion. Si A = (a
ij
)
n
i,j=1
es una matriz simetrica y denotamos por
A
k
=
_
_
_
a
11
a
1k
.
.
.
a
1k
. . . a
kk
_
_
_
(k = 1, . . . , n),
a los menores principales de A, entonces:
(a) La forma cuadratica asociada a A es denida positiva si y solo det A
k
>
0, k = 1, . . . , n.
247
(b) La forma cuadratica asociada a A es denida negativa si y solo si
(1)
k
det A
k
> 0, k = 1, . . . , n
(es decir, los signos de los determinantes de los menores principales
se van alternando empezando con a
11
= det A
1
< 0).
Con estos hechos, las condiciones sucientes para la existencia de extre-
mos relativos de una funcion de varias variables se pueden enunciar como
sigue:
Teorema (criterio de las derivadas segundas). Sea f : R
n
R una funcion
de clase C
(2)
en un abierto D R
n
y

x
0
D un punto estacionario de f.
Si denimos la forma cuadratica
Q
x
0
(

h ) =
1
2
n

i=1
n

j=1

2
f
x
i
x
j
(x
0
)h
i
h
j
=
1
2

h Hf(

x
0
)

h
T
,
entonces:
(a) f tiene un mnimo local en

x
0
si Q
x
0
es denida positiva.
(b) f tiene un maximo local en

x
0
si Q
x
0
es denida negativa.
El recproco de este teorema no es cierto: por ejemplo, el origen es un punto
estacionario de las funciones f(x, y) = x
3
+y
3
y g(x, y) = x
4
+y
4
; en ambas
funciones, la forma cuadratica asociada a la matriz hessiana en el origen es
degenerada (es decir Q(h
1
, h
2
) = 0, (h
1
, h
2
) R
2
); ahora bien, en el origen
g tiene un mnimo pero f no tiene maximo ni mnimo.
Sin embargo, el teorema anterior sera cierto con una peque na modicacion
basada en los siguientes conceptos:
Denicion. Una forma cuadratica Q es
(a) semidenida positiva cuando Q(

h ) 0,

h R
n
, y es
(b) semidenida negativa cuando Q(

h ) 0,

h R
n
(esto quiere decir que la forma cuadratica puede anularse tambien para
valores no nulos).
Teorema. Sea f : R
n
R una funcion de clase C
(2)
en un abierto D R
n
y x
0
D un punto estacionario de f. Si llamamos nuevamente
Q
x
0
(

h ) =
1
2

h Hf(x
0
)

h
T
,
entonces
(a) si f tiene un mnimo local en x
0
, entonces Q es semidenida positiva;
248
(b) si f tiene un maximo local en x
0
, entonces Q es semidenida negativa.
De lo anterior se deduce que, si Q es indenida (no es semidenida positiva
ni semidenida negativa) y x
0
es un punto estacionario, entonces no corres-
ponde a un maximo ni a un mnimo local. Estos puntos reciben el nombre
de puntos de ensilladura de la funcion.
Terminaremos esta introduccion teorica con la aplicacion de los resultados
anteriores al caso mas com un de funciones de dos variables.
Teorema. Sea f : R
2
R una funcion de clase C
(2)
en un abierto D R
2
y (x
0
, y
0
) D un punto estacionario de f. Si llamamos
= det Hf(x
0
, y
0
) y a
11
= D
11
f(x
0
, y
0
),
entonces
(a) f tiene un mnimo local en (x
0
, y
0
) si a
11
> 0 y > 0;
(b) f tiene un maximo local en (x
0
, y
0
) si a
11
< 0 y > 0;
(c) f tiene un punto de ensilladura en (x
0
, y
0
) si < 0.
En el caso de que = 0, debe compararse, a partir de la denicion, el valor
de la funcion en (x
0
, y
0
) con el que toma en puntos de alg un entorno de
(x
0
, y
0
). Veremos algunos casos en los problemas que siguen.
PROBLEMA 4.58
Estudiar los extremos relativos de las funciones:
(a) f(x, y) = x
3
+y
3
3xy.
(b) f(x, y) = ln(x
2
+y
2
+ 1).
(c) f(x, y) = xseny.
Solucion
(a) En primer lugar, igualamos a cero las derivadas parciales de primer
orden:

f(x, y) = (3x
2
3y, 3y
2
3x),

f(x, y) = 0 x
2
= y, y
2
= x
_
_
_
x = 1, y = 1
o
x = 0, y = 0.
249
Para cada uno de los puntos estacionarios P
1
= (0, 0) y P
2
= (1, 1),
calcularemos la matriz hessiana:
Hf(x, y) =
_
6x 3
3 6y
_
; Hf(0, 0) =
_
0 3
3 0
_
, Hf(1, 1) =
_
6 3
3 6
_
.
En el punto P
1
, det Hf(0, 0) = 9 < 0, lo que signica que se trata
de un punto de ensilladura.
En el punto P
2
, det Hf(1, 1) = 27 > 0; como, ademas, a
11
= 6 > 0, en
el punto (1, 1) la funcion alcanza un mnimo local.
En las guras siguientes se muestra la graca de la supercie y una
representacion de algunas de sus curvas de nivel. En esta se observa
que en las proximidades del punto de silla (0, 0) hay zonas mas oscuras
(que corresponden a valores menores de la funcion) y zonas mas claras
(que corresponden a valores mayores de la funcion), mientras que en
las proximidades del punto (1, 1) donde la funcion tiene el mnimo el
sombreado es cada vez mas claro.
(b) Determinamos en primer lugar los puntos estacionarios:

f(x, y) =
_
2x
x
2
+y
2
+ 1
,
2y
x
2
+y
2
+ 1
_
,

f(x, y) = 0 x = y = 0.
Calculamos a continuacion el hessiano de la funcion en el punto (0, 0):
Hf(x, y) =
_
2x
2
+2y
2
+2
(x
2
+y
2
+1)
2
4xy
(x
2
+y
2
+1)
2
4xy
(x
2
+y
2
+1)
2
2x
2
2y
2
+2
(x
2
+y
2
+1)
2
_
Hf(0, 0) =
_
2 0
0 2
_
.
250
Como det Hf(0, 0) = 4 > 0 y a
11
= 2 > 0, la funcion alcanza un
mnimo local en el origen.
La gura adjunta muestra que dicho mnimo es tambien global:
(c) Calculemos los puntos estacionarios:

f(x, y) = (seny, xcos y),

f(x, y) = 0
_
seny = 0
x = 0 o cos y = 0
_
x = 0, y = k (k Z).
Para todos ellos, el hessiano toma la forma siguiente:
Hf(x, y) =
_
0 cos y
cos y xseny
_
= Hf(0, k) =
_
0 (1)
k
(1)
k
0
_
.
Como det Hf(0, k) = 1 < 0, todos los puntos estacionarios corres-
ponden a puntos de ensilladura de la funcion (la funcion no tiene maxi-
mos ni mnimos).
251
PROBLEMA 4.59
Determinar los extremos relativos de la funcion
f(x, y) = (x + 1)(y 2).
Solucion
Debido a que

f(x, y) = (y 2, x + 1),
al resolver el sistema

f(x, y) = 0, se obtiene el unico punto estacionario
(1, 2).
El hessiano de la funcion es
Hf(x, y) =
_
f
xx
f
xy
f
yx
f
yy
_
=
_
0 1
1 0
_
.
Como det Hf(1, 2) = 1 < 0, la funcion tiene un punto de ensilladura en
(1, 2).
Observemos que, en un entorno del punto (1, 2), el signo de la funcion no
es constante.
PROBLEMA 4.60
Determinar los maximos y mnimos de la funcion f(x, y) = (x
y + 1)
2
.
252
Solucion
Para encontrar los puntos estacionarios calculamos las derivadas parciales
de primer orden:

f(x, y) =
_
2(x y + 1), 2(x y + 1)
_
,

f(x, y) = 0 y = x + 1.
Ahora bien, si (x
0
, y
0
) es un punto arbitrario de la recta y = x + 1, enton-
ces
f(x
0
, y
0
) = 0 f(x, y), (x, y) R
2
,
lo que signica que todos los puntos de dicha recta corresponden a mnimos
absolutos de la funcion.
Observamos la graca adjunta donde se ilustra lo obtenido analticamen-
te:
PROBLEMA 4.61
Determinar los maximos y mnimos de la funcion f(x, y) = 3x
2
+
12xy + 9y
2
+y
3
.
Solucion
Calculamos en primer lugar las derivadas parciales de primer y segundo
ordenes:

f(x, y) = (6x + 12y, 12x + 18y + 3y

2
),
Hf(x, y) =
_
6 12
12 18 + 6y
_
.
253
Al resolver el sistema

f(x, y) = 0, obtenemos los puntos estacionarios
P
1
(0, 0) y P
2
(4, 2).
Para P
1
el hessiano es Hf(0, 0) =
_
6 12
12 18
_
cuyo determinante es 36 < 0
lo que indica que en P
1
la funcion tiene un punto de ensilladura.
Para P
2
el hessiano vale Hf(4, 2) =
_
6 12
12 30
_
, con determinante 36 > 0
y con f
xx
(4, 2) = 6 > 0 lo que indica que el punto P
2
corresponde a un
mnimo relativo.
PROBLEMA 4.62
Determinar los m aximos y mnimos de la funcion f(x, y) = xy
2
+x
2
.
Solucion
El sistema

f(x, y) = 0
_
y
2
+ 2x = 0
2xy = 0
tiene la unica solucion (0, 0) y, como
Hf(x, y) =
_
2 2y
2y 2x
_
,
tendremos Hf(0, 0) =
_
2 0
0 0
_
cuyo determinante es cero.
Para comprobar si hay maximo o mnimo, observamos que la ecuacion
f(x, y) = 0 se puede escribir como x(y
2
+ x) = 0, que representa el eje
254
OY y la parabola y
2
= x. Estas curvas dividen el plano en tres regiones
que hacen a la funcion alternativamente positiva y negativa, como se indica
en la gura.
En la gura se observa que cualquier entorno (crculo) alrededor del origen
contiene puntos en los que la funcion toma valores positivos y negativos; de
lo que se deduce que el origen es un punto de ensilladura.
(La gura muestra la parte de la supercie que queda por encima del plano
XY ; se representa rayada la region donde la funcion toma valores negati-
vos.)
Observacion. La funcion tiene un mnimo en el origen al acercarnos seg un
las rectas que pasan por el (salvo el eje OY ); esto es, que sobre cada una
de estas puede tomarse un entorno del origen contenido completamente en
la region en que f(x, y) > 0. En efecto, consideremos la recta y = x y
denamos (x) = f(x, x) =
2
x
3
+x
2
. Como

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

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

(0) = 0 y

(0) = 2 > 0 para cualquier valor del

parametro . Como hemos visto, esto no asegura que este punto corresponda
a un mnimo de la funcion.
255
PROBLEMA 4.63
Determinar los maximos y mnimos de la funcion f(x, y) = (3
x)(3 y)(x +y 3).
Solucion
Calculamos las derivadas de primer orden:

f(x, y) =
_
(3 y)(6 2x y), (3 x)(6 x 2y)
_
,

f(x, y) = 0
_
y = 3 o y = 6 2x
x = 3 o x = 6 2y.
Al resolver el sistema resultante, obtenemos los puntos estacionarios
P
1
(3, 3), P
2
(0, 3), P
3
(3, 0), P
4
(2, 2).
Veamos ahora si se trata de maximos o mnimos:
Hf(x, y) =
_
2y 6 2x + 2y 9
2x + 2y 9 2x 6
_
.
i) Hf(3, 3) =
_
0 3
3 0
_
, det Hf(3, 3) = 9 < 0;
ii) Hf(0, 3) =
_
0 3
3 6
_
, det Hf(0, 3) = 9 < 0;
iii) Hf(3, 0) =
_
6 3
3 0
_
, det Hf(3, 0) = 9 < 0;
iv) Hf(2, 2) =
_
2 1
1 2
_
, det Hf(2, 2) = 3 > 0, a
11
= 2 < 0.
De lo anterior deducimos que f tiene un maximo relativo en el punto P
4
(2, 2)
y los puntos P
1
(3, 3), P
2
(0, 3), P
3
(3, 0) corresponden a puntos de ensilladura
de la funcion.
256
PROBLEMA 4.64
Determinar los maximos y mnimos de la funcion f(x, y) = (y
x
2
)(y 3x
2
).
Solucion
Con las derivadas de primer orden calculamos los puntos estacionarios:

f(x, y) = (4x(2y 3x
2
), 2y 4x
2
),

f(x, y) = 0
_
x = 0 o 2y = 3x
2
2y = 4x
2
_

_
x = 0
y = 0.
Tenemos un unico punto estacionario. En dicho punto el valor de la funcion
es f(0, 0) = 0. Sin embargo, debido a la forma de la misma, en cualquier
entorno del origen, la funcion toma valores positivos y negativos. En efecto,
si y > 3x
2
o y < x
2
, f(x, y) > 0; pero si x
2
< y < 3x
2
, f(x, y) < 0.
y = 3x
2
y = x
2
f(x, y) > 0
f(x, y) > 0
Esto indica que el origen es un punto de ensilladura de la funcion.
257
PROBLEMA 4.65
Determinar los maximos y mnimos de la funcion f(x, y) = 4x
2
+
4xy
2
+ 4y
4
.
Solucion
Calculamos en primer lugar los puntos estacionarios, que son aquellos que
anulan las derivadas parciales de primer orden.

f(x, y) = 0
_
8x + 4y
2
= 0
8xy + 16y
3
= 0
_
x = y = 0.
El unico punto estacionario es pues P(0, 0). Calcularemos ahora el hessiano
de la funcion:
Hf(x, y) =
_
8 8y
8y 8x + 48y
2
_
= Hf(0, 0) =
_
8 0
0 0
_
.
Como det Hf(0, 0) = 0, se trata de un caso dudoso. Observando que f(0, 0) =
0 y que podemos expresar la funcion como f(x, y) = (y
2
+ 2x)
2
+ 3y
4
0,
deducimos que el punto corresponde a un mnimo absoluto.
258
PROBLEMA 4.66
Dada f(x, y) = x
2
y
2
(1xy), hallar sus extremos relativos.
Solucion
Los puntos estacionarios se obtienen como solucion del sistema

f(x, y) = 0
_
2y
2
x(1 x y) +x
2
y
2
(1) = 0
2x
2
y(1 x y) +x
2
y
2
(1) = 0
_

_
xy
2
(3x + 2 2y) = 0
x
2
y(3y + 2 2x) = 0.
Si x = 0, basta tomar y = para cualquier R, y, si y = 0, cualquier
x = , con R es solucion. Ahora bien, si x ,= 0 ,= y, el sistema resultante
tiene la unica solucion x = 2/5, y = 2/5.
Estudiamos a continuacion el hessiano de la funcion en los puntos estacio-
narios. Como
Hf(x, y) =
_
2y
2
6xy
2
2y
3
4yx 6yx
2
2xy
2
4xy 6x
2
y 6xy
2
2x
2
2x
3
6x
2
y
_
,
entonces
Hf(2/5, 2/5) =
_
24/125 16/125
16/125 24/125
_
y det Hf(2/5, 2/5) =
64
3125
> 0.
Como ademas D
xx
f(2/5, 2/5) < 0, el punto (2/5, 2/5) corresponde a un
maximo relativo.
259
Por otra parte,
Hf(0, ) =
_
2
2
2
3
0
0 0
_
, Hf(, 0) =
_
0 0
0 2
2
2
3
_
cuyo determinante es siempre cero; por tanto, debemos estudiar el signo de
la funcion en entornos de dichos puntos.
La gura siguiente muestra el signo de la funcion en las distintas regio-
nes.
Tomando distintos entornos en cada punto, resultan los siguientes casos:
- En todos los puntos de la forma (0, ), con < 1, y (, 0), con < 1,
la funcion tiene un mnimo local (observemos que en dichos puntos la
funcion se anula pero en cualquier punto de sus respectivos entornos
la funcion es positiva).
- En todos los puntos de la forma (0, ), con > 1, y (, 0), con >
1, la funcion tiene un maximo local (pues, de forma analoga al caso
anterior, se observa que la funcion es negativa en puntos pertenecientes
a entornos de dichos puntos).
- En los puntos (0, 1) y (1, 0), la funcion tiene puntos de ensilladura (pode-
mos encontrar puntos en sus entornos donde la funcion toma valores
de signo variable).
PROBLEMA 4.67
Determinar los m aximos y mnimos de la funcion f(x, y) = 6x
2
y
3

x
3
y
3
x
2
y
4
.
Solucion
260
Buscamos en primer lugar los puntos estacionarios. El sistema

f(x, y) = 0
_
xy
3
(12 3x 2y) = 0
x
2
y
2
(18 3x 4y) = 0
tiene como soluciones los puntos (2, 3), (0, ) ( R) y (, 0) ( R). Las
derivadas parciales de segundo orden son:
Hf(x, y) =
_
2y
3
(6 3x y) xy
2
(36 9x 8y)
xy
2
(36 9x 8y) 6x
2
y(6 x 2y)
_
y el hessiano en los distintos puntos estacionarios es:
Hf(2, 3) =
_
162 108
108 144
_
;
Hf(0, ) =
_
2
3
(6 ) 0
0 0
_
, R;
Hf(, 0) =
_
0 0
0 0
_
, R.
En primer lugar, como det Hf(2, 3) = 11664 > 0 y el coeciente principal
es negativo, el punto (2, 3) corresponde a un maximo relativo.
Por otra parte, como det Hf(0, ) = 0 y det Hf(, 0) = 0, todos estos puntos
son casos dudosos. En todos ellos razonaremos de la siguiente manera:
Si expresamos el valor de la funcion en forma de producto
f(x, y) = x
2
y
3
(6 x y)
y dibujamos las rectas x = 0, y = 0 y 6 x y = 0, para cuyos puntos se
anula la funcion, habremos dividido el plano en regiones, que alternativa-
mente hacen a la funcion f positiva y negativa, salvo en el paso de la recta
x = 0 que, por ser doble, no produce cambios de signo a f. En la gura
adjunta se muestran los distintos signos de la funcion en cada una de estas
regiones:
261
Teniendo en cuenta que la funcion se anula en todos los puntos (0, ), ( R)
y (, 0), ( R), de la gura se deduce lo siguiente:
- Los puntos (0, ) corresponden a maximos relativos cuando > 6 o < 0
y mnimos relativos cuando 0 < < 6.
- En los puntos (, 0) ( R), as como en el punto (0, 6), no hay maximos
ni mnimos (por haber puntos de los entornos que dan diferente signo
a la funcion).
PROBLEMA 4.68
Estudiar los extremos relativos de la funcion
f(x, y) = Ax
2
+ 2Bxy +Cy
2
+ 2Dx + 2Ey +F,
expresando la respuesta en funcion de las constantes A, B, C, D,
E y F.
Solucion
Calculamos en primer lugar los puntos estacionarios:

f(x, y) = 0
_
2Ax + 2By + 2D = 0
2Bx + 2Cy + 2E = 0
_

_
Ax +By = D
Bx +Cy = E.
Denotaremos por =

A B
B C

= AC B
2
. De este modo, si ,= 0, el
sistema anterior tiene la unica solucion
x =

D B
E C

=
BE DC
AC B
2
, y =

A D
B E

=
BD AE
AC B
2
.
Calculando las derivadas parciales de segundo orden, tenemos
Hf(x, y) =
_
2A 2B
2B 2C
_
cuyo determinante es 4. Resulta entonces que
- Si > 0 y A > 0, tenemos un mnimo relativo.
- Si > 0 y A < 0, tenemos un maximo relativo.
- Si < 0, tenemos un punto de ensilladura.
262
En el caso de que = 0, debemos estudiar en primer lugar la existencia de
puntos estacionarios. Sabemos lo siguiente:
El sistema

f(x, y) = 0 tendra solucion si el rango de la matriz de los
coecientes es igual al rango de la matriz ampliada, es decir
rang
_
A B
B C
_
= rang
_
A B D
B C E
_
.
Si rang
_
A B
B C
_
= 1, entonces R : A = B, B = C. Ademas
A ,= 0 ,= B. En este caso habra solucion si rang
_
A B D
B C E
_
= 1 para lo
cual debe ser D = E.
La solucion del sistema son los puntos de la recta Ax+By +D = 0 (o Bx+
Cy +E = 0). En este caso f es un plano pues
f(x, y) = x(Ax+By +D) +y(Bx+Cy +E) +Dx+Ey +F = Dx+Ey +F
y no tiene maximos ni mnimos.
Por ultimo, si rang
_
A B
B C
_
= 0, A = B = C = 0 y habra solucion cuando
D = E = 0, con lo que la funcion es constante f(x, y) = F.
PROBLEMA 4.69
Determinar los maximos y mnimos de la funcion
f(x, y) =
_
x
2
+y
2
2x + 5.
Solucion
Llamando z =
_
x
2
+y
2
2x + 5, tenemos
z
x
=
2x 2
2
_
x
2
+y
2
2x + 5
=
x 1
z
;
z
y
=
2y
2
_
x
2
+y
2
2x + 5
=
y
z
;

2
z
x
2
=
z (x 1)z

x
z
2
=
z
2
(x 1)
2
z
3
=
y
2
+ 4
z
3
;

2
z
xy
=
(x 1)z

y
z
2
=
(x 1)y
z
3
;

2
z
y
2
=
z yz

y
z
2
=
z
2
y
2
z
3
=
x
2
2x + 5
z
3
.
263
Los puntos estacionarios se obtienen resolviendo el sistema z

x
= z

y
= 0;
resulta entonces que P(1, 0) es el unico punto estacionario.
El hessiano de la funcion en dicho punto es
Hf(1, 0) =
_
1/2 0
0 1/2
_
.
Como su determinante es positivo y z
xx
(1, 0) = 1/2 > 0, el punto P corres-
ponde a un mnimo relativo.
Observacion. En la graca se observa que el mnimo es precisamente el
vertice del hiperboloide.
PROBLEMA 4.70
Determinar los maximos y mnimos de la funcion
f(x, y) = exp
_
1
x
2
+ 2 + cos
2
y 2 cos y
_
.
Solucion
Si llamamos g(x, y) = x
2
+ 2 + cos
2
y 2 cos y, entonces es evidente que
f alcanza un maximo (resp. mnimo) en los puntos donde g alcanza un
mnimo (resp. maximo), y recprocamente. Estudiemos pues los extremos de
la funcion g.

g(x, y) = (2x, 2 cos y seny + 2 seny),

g(x, y) = 0
_
x = 0
seny = 0 o cos y = 1
_
x = 0, y = k (k Z).
264
Por otra parte,
Hg(x, y) =
_
2 0
0 2 cos 2y + 2 cos y
_
,
Hg(0, k) =
_
2 0
0 2 + 2(1)
k
_
.
De este modo, det Hg(0, k) = 4 + 4(1)
k
, lo que signica que, cuando
k es impar, det Hg(0, k) = 8 < 0, y nos encontramos con puntos de
ensilladura.
Ahora bien, cuando k es par, se anula el determinante de la matriz hessiana
de modo que el criterio de la segunda derivada no es aplicable. En este caso,
como g(0, k) = 1 y
g(x, y) = x
2
+ 1 + (cos y 1)
2
1, (x, y) R
2
,
deducimos que, en dichos puntos, la funcion g tiene mnimos (globales), es
decir, la funcion f alcanza el maximo.
PROBLEMA 4.71
Se considera la funcion f(x, y) = e
ax+y
2
+b sen(x
2
+y
2
).
(a) Determinar los valores de a y b para que la funcion tenga un
punto estacionario en (0, 0) y el polinomio de Taylor de segundo
orden centrado en el origen tome el valor 6 en el punto (1, 2).
(b) Con los valores de a y b obtenidos, deducir si la funcion alcanza
un maximo o un mnimo en el punto (0, 0).
Solucion
265
(a) Si el origen debe ser un punto estacionario de la funcion, deben anularse
las derivadas de primer orden. Como
f

x
(x, y) = ae
ax+y
2
+ 2bx cos(x
2
+y
2
)
f

y
(x, y) = 2ye
ax+y
2
+ 2by cos(x
2
+y
2
),
entonces f

x
(0, 0) = 0 a = 0 pero f

y
(0, 0) = 0, a, b.
Hacemos pues a = 0 y calculamos la matriz hessiana de la funcion:
D
xx
f(x, y) = 2b cos(x
2
+y
2
) 4bx
2
sen(x
2
+y
2
)
D
xy
f(x, y) = 4bxy sen(x
2
+y
2
)
D
yy
f(x, y) = (2 + 4y
2
)e
y
2
+ 2b cos(x
2
+y
2
) 4by
2
sen(x
2
+y
2
)
_
_
_
= Hf(0, 0) =
_
2b 0
0 2 + 2b
_
.
Con estos datos, escribimos el polinomio de Taylor de segundo orden
alrededor del origen:
p
2
(x, y) = f(0, 0) + (x, y)

f(0, 0) +
1
2
(x, y) Hf(0, 0) (x, y)
T
= 1 +bx
2
+ (1 +b)y
2
.
Como, por hipotesis, p
2
(1, 2) = 6, deducimos que
6 = 1 +b + 4(1 +b) = b = 1/5.
(b) Con los valores obtenidos, la funcion tiene la siguiente expresion:
f(x, y) = e
y
2
+
1
5
sen(x
2
+y
2
)
y, por construccion, el origen es un punto estacionario de f.
Ademas, Hf(0, 0) =
_
2/5 0
0 12/5
_
, la cual es denida positiva. Por
tanto, la funcion tiene un mnimo en el origen.
PROBLEMA 4.72
Encontrar los valores extremos de la funcion f(x, y) = x
2
+ y
2
en
cada una de las siguientes regiones:
(a) A = (x, y) R
2
: x
2
y > 2.
(b) B = (x, y) R
2
: x
2
y 2.
Solucion
266
(a) El conjunto A es abierto lo que indica que, caso de existir valores maxi-
mos o mnimos, estos deben encontrarse entre los puntos estacionarios
de la funcion. Resolvemos por tanto el sistema:

f(x, y) = (0, 0) (2x, 2y) = (0, 0) (x, y) = (0, 0).

Como este punto no pertenece a la region dada, la funcion no tiene
maximos ni mnimos en A.
(b) En este caso, el conjunto B es cerrado, aunque no acotado, lo que
tampoco garantiza la existencia de maximos y mnimos de la funcion.
Como en el interior de B no hay puntos estacionarios (int B = A), caso
de existir valores extremos, deben corresponder a puntos de la frontera
de B. Para determinarlos, aplicamos en la funcion la relacion x
2
y = 2,
lo que produce la funcion de una variable g(y) =
2
y
+y
2
, y ,= 0.
Sus valores extremos se calculan por el procedimiento usual:
g

(y) =
2
y
2
+ 2y
g

(y) = 0 y = 1
g

(y) =
4
y
3
+ 2 = g

(1) > 0.
Concluimos entonces que, en los puntos (

2, 1) y (

2, 1) de la frontera de
B se alcanza el mnimo de f mientras que el maximo de f no se alcanza en
B.
267
PROBLEMA 4.73
Encontrar los maximos y mnimos de las siguientes funciones en
las regiones indicadas:
(a) f(x, y) = (x
2
+y
2
)
4
en x
2
+y
2
1.
(b) f(x, y) = senx + cos y en [0, 2] [0, 2].
(c) f(x, y) = senx + seny + sen(x +y) en [0, /2] [0, /2].
Solucion
(a) Como la region es cerrada y acotada y la funcion es continua, seg un el
teorema de Weierstrass, deben alcanzarse los valores maximo y mni-
mo. Dichos valores se encuentran, o bien en alg un punto de la frontera
de la region, o bien en alg un punto del interior. Debido a que la funcion
es diferenciable, si alguno de estos valores se encuentra en el interior
de la region, debe corresponder a un punto estacionario de la funcion
(debido a la condicion necesaria para la existencia de extremos). Bus-
caremos en primer lugar dichos valores entre los puntos estacionarios:

f(x, y) =
_
8x(x
2
+y
2
)
3
, 8y(x
2
+y
2
)
3
_
,

f(x, y) = 0 (x, y) = (0, 0).

Como 0 = f(0, 0) f(x, y), (x, y) R
2
, la funcion tiene un mnimo
absoluto en el origen.
Al no haber mas puntos estacionarios en el interior de la region dada,
el maximo debe alcanzarse en un punto de la frontera. Ahora bien,
como
f(x, y)
_
= 1 si x
2
+y
2
= 1
< 1 si x
2
+y
2
< 1,
el maximo se alcanza en todos los puntos de la frontera.
268
(b) Nuevamente, la continuidad de la funcion en una region cerrada y aco-
tada garantiza la existencia de maximo y mnimo absolutos. Si alguno
de ellos esta en el interior de la region, debe corresponder a un punto
estacionario. Calculemos pues dichos puntos:

f(x, y) = (cos x, seny),

f(x, y) = 0
_
cos x = 0
seny = 0
_
(x, y) =
_
(2m+ 1)
2
, n
_
, m, n Z.
En el interior del cuadrado [0, 2] [0, 2] solo hay dos puntos esta-
cionarios, (/2, ) y (3/2, ). Aplicaremos el criterio de las derivadas
segundas para cada uno de estos puntos:
Hf(x, y) =
_
senx 0
0 cos y
_
Hf(/2, ) =
_
1 0
0 1
_
; Hf(3/2, ) =
_
1 0
0 1
_
.
Como det Hf(/2, ) = 1 < 0, la funcion tiene un punto de ensi-
lladura en (/2, ). Por otra parte, como det Hf(3/2, ) = 1 > 0 y
a
11
= 1 > 0, la funcion tiene un mnimo local en (3/2, ).
Para el comportamiento de la funcion en la frontera, dividimos esta
en cuatro segmentos:
i) Si x = 0, 0 y 2, la funcion queda de la forma g
1
(x) = cos y.
Esta funcion, como es bien sabido, alcanza su maximo en los
puntos A = (0, 0) y B = (0, ) y su mnimo en el punto M =
(0, ).
ii) Si y = 0, 0 x 2, la funcion es ahora g
2
(x) = 1 + senx. Esta
funcion tiene el maximo en el punto P = (/2, 0) y el mnimo en
el punto Q = (3/2, 0).
iii) Si x = 2, 0 y 2, la funcion es g
3
(y) = cos y. Nuevamente,
el maximo se alcanza en los puntos C = (2, 0) y D = (2, 2) y
el mnimo en el punto N = (2, ).
iv) Si y = 2, 0 x 2, la funcion es g
4
(x) = 1+senx, cuyo maxi-
mo se alcanza en R = (/2, 2) y el mnimo en S = (3/2, 2).
Para determinar los extremos absolutos de la funcion basta ahora
comparar los valores de la funcion en todos los puntos obtenidos
hasta ahora. As pues, como
f(A) = f(B) = f(C) = f(D) = 1, f(P) = f(R) = 2,
el maximo absoluto de la funcion se alcanza en los puntos P =
(/2, 0) y R = (/2, 2).
269
Por otra parte, como
f(Q) = f(S) = f(M) = 0, f(N) = 1, f(3/2, ) = 2,
deducimos que el mnimo absoluto se encuentra en el punto (3/2, ).
En la gura siguiente mostramos la supercie desde dos puntos
de vista diferentes donde se observa gracamente el resultado
obtenido analticamente.
(c) Procederemos de forma analoga a los dos casos anteriores. En primer
lugar determinamos los puntos estacionarios:

f(x, y) =
_
cos x + cos(x +y), cos y + cos(x +y)
_
,

f(x, y) = 0
_
cos x + cos(x +y) = 0
cos y + cos(x +y) = 0
_
.
El unico punto estacionario en el interior del cuadrado [0, /2][0, /2]
es M = (/3, /3). En dicho punto, el hessiano es:
Hf(x, y) =
_
senx sen(x +y) sen(x +y)
sen(x +y) senx sen(x +y)
_
= Hf(/3, /3) =
_

3/2

3/2

3
_
.
Como det Hf(/3, /3) = 9/4 > 0 y a
11
< 0, deducimos que el punto
corresponde a un maximo local de la funcion.
Para estudiar los posibles extremos relativos en la frontera del cuadra-
do, distinguimos los siguientes casos:
i) Si x = 0, 0 y /2, la funcion queda de la forma g
1
(y) = 2 seny.
Tiene un mnimo en A = (0, 0) y un maximo en D = (0, /2).
ii) Si x = /2, 0 y /2, la funcion es ahora g
2
(y) = 1 + seny +
cos y. Como
g

2
(y) = 0 cos y = seny y = /4
270
y
g

2
(/4) =

2 < 0,
la funcion tiene un maximo en el punto P = (/2, /4). Por tanto,
en los extremos del intervalo B = (/2, 0) y C = (/2, /2) tiene
mnimos relativos.
iii) Si y = 0, 0 x /2, la funcion es g
3
(x) = 2 senx. Analogamente
al apartado i), el maximo se alcanza en B = (/2, 0) y el mnimo
en A = (0, 0).
iv) Si y = /2, 0 x /2, la funcion es g
4
(x) = 1 + senx + cos x,
cuyo maximo se alcanza en Q = (/4, /2) y el mnimo en D =
(0, /2) y C = (/2, /2).
Dando valores a la funcion en los puntos obtenidos del estudio anterior,
deducimos que el maximo absoluto de la funcion se alcanza en el punto
M = (/3, /3) y vale f(M) = 3

3/2 y el mnimo absoluto se alcanza

en el origen y vale f(A) = 0.
PROBLEMA 4.74
Hallar los extremos absolutos (maximos y mnimos) de la funcion
f(x, y) = x
2
+y
2
+xy en el crculo cerrado x
2
+y
2
1.
Solucion
En primer lugar vamos a determinar los posibles extremos en el interior de
la region dada. Para ello debemos calcular los puntos estacionarios.
D
x
f(x, y) = 0
D
y
f(x, y) = 0
_

_
2x +y = 0
2y +x = 0
_
x = 0, y = 0.
271
Como Hf(0, 0) =
_
2 1
1 2
_
, det Hf(0, 0) = 3 > 0 y a
11
= 2 > 0, el punto
(0, 0) corresponde a un mnimo local.
Para determinar los extremos en la frontera, sustituimos y
2
= 1 x
2
en la
ecuacion de la funcion. Obtenemos as dos funciones de una variable
f
1
(x) = 1 +x
_
1 x
2
, x [1, 1], y 0,
f
2
(x) = 1 x
_
1 x
2
, x [1, 1], y < 0
(que corresponden a las restricciones de f en las semicircuferencias superior
e inferior, respectivamente).
Igualando a cero las derivadas de primer orden, resulta:
f

1
(x) = 0 =
_
1 x
2

x
2

1 x
2
= 0 = 1 2x
2
= 0 = x =

2/2,
f

2
(x) = 0 =
_
1 x
2
+
x
2

1 x
2
= 0 = 1 2x
2
= 0 = x =

2/2.
Los puntos crticos en la frontera son entonces
(

2/2,

2/2), (

2/2,

2/2),
(

2/2,

2/2), (

2/2,

2),
(1, 0), (1, 0)
(Los puntos (1, 0) y (1, 0) tambien son puntos crticos pues en ellos no
existe la derivada de f
1
).
El valor de la funcion en los puntos crticos es el siguiente:
f(

2/2,

2/2) = f(

2/2,

2) = 3/2,
f(

2/2,

2/2) = f(

2/2,

2/2) = 1/2,
f(1, 0) = f(1, 0) = 1.
Debido a que f(0, 0) = 0, lo anterior permite deducir que el maximo es
f(

2/2,

2/2) = f(

2/2,

2/2) = 3/2
y el mnimo es f(0, 0) = 0.
272
PROBLEMA 4.75
Hallar los maximos absolutos de la funcion
f(x, y) = x
3
+ 3x 6xy + 3y
2
en la porcion del plano Q limitada por OX
+
, OY
+
, x = 2, y = 2.
Solucion
Como Q es cerrado y acotado, es compacto; la continuidad de f garantiza la
existencia de un maximo y un mnimo absolutos en dicha region. Los puntos
estacionarios de la funcion son
D
1
f(x, y) = 0
D
2
f(x, y) = 0
_

_
3x
2
+ 3 6y = 0
6x + 6y = 0
_

_
3x
2
6x + 3 = 0
x = y.
La unica solucion es el punto (1, 1), interior al cuadrado Q. El hessiano en
dicho punto es:
Hf(1, 1) =
_
6 6
6 6
_
cuyo determinante es cero. Calculamos entonces la diferencia f(x, y)f(1, 1)
en puntos(x, y) proximos a (1, 1). Si hacemos en particular x = 1 + h, y =
1 +h, obtenemos que
f(1+h, 1+h)f(1, 1) = (1+h)
3
3(1+h)6(1+h)
2
+3(1+h)
2
1 = h
3
que puede tomar valores positivos y negativos en un entorno del cero. De
aqu se deduce que la funcion presenta un punto de ensilladura en (1, 1).
273
Como el maximo no se alcanza en el interior, debe ser un punto de la fron-
tera de Q. Si restringimos la funcion a cada segmento que la limita, tene-
mos:
i) Si y = 0, x [0, 2], entonces
1
(x) = f(x, 0) = x
3
+ 3x.
Como

1
(x) = 3x
2
+3 > 0, no tiene extremos relativos en el intervalo
x (0, 2). En particular f(0, 0) = 0 y f(2, 0) = 14.
ii) Si x = 0, y [0, 2], entonces
2
(y) = f(0, y) = 3y
2
, que tampoco tiene
extremos relativos en el intervalo abierto y (0, 2). Tiene un mnimo
en el origen, f(0, 0) = 0 y un maximo en el punto (0, 2), f(0, 2) = 12.
iii) Si x = 2, y [0, 2],
3
(y) = f(2, y) = 14 12y + 3y
2
.
Su derivada es

3
(y) = 12 + 6y, que se anula en y = 2. El valor de
la funcion es f(2, 2) = 2.
iv) Si y = 2, x [0, 2],
4
(x) = f(x, 2) = x
3
9x + 12.
La derivada es ahora

4
(x) = 3x
2
9, que se anula en x =

3 y donde
la funcion vale f(

3, 2) = 6

3 + 12 > 0.
Comparando todos los valores obtenidos, resulta que el maximo se alcanza
en el punto (2, 0) y el mnimo en el origen.
274
PROBLEMA 4.76
Se consideran las regiones
A = (x, y) R
2
: x 0,
B = (x, y) R
2
: y 0,
C = (x, y) R
2
: y x 2,
y la funcion de dos variables f(x, y) = e
xy
(x
2
2y
2
).
Calcular los extremos de f en las regiones A B C y
A B C.
Solucion
Representando gracamente las regiones se observa que A B C = R
2
y
A B C es el triangulo cerrado de vertices (0, 0), (0, 2) y (2, 0).
Determinamos en primer lugar los puntos estacionarios de la funcion:
f
x
= 0 e
xy
(2x +x
2
2y
2
) = 0 2x +x
2
2y
2
= 0
f
y
= 0 e
xy
(4y x
2
+ 2y
2
) = 0 4y x
2
+ 2y
2
= 0.
Al resolver el sistema se obtienen las soluciones (0, 0) y (4, 2).
(a) En A B C ambos son puntos interiores. Calcularemos el hessiano
en dichos puntos:

2
f
x
2
= e
xy
(2 + 2x + 2x +x
2
2y
2
),

2
f
xy
= e
xy
(4y 2x x
2
+ 2y
2
),

2
f
y
2
= e
xy
(4 + 4y + 4y +x
2
2y
2
).
Como
Hf(0, 0) =
_
2 0
0 4
_
, det Hf(0, 0) = 8 < 0,
de modo que (0, 0) es punto de ensilladura.
275
Analogamente, como
Hf(4, 2) =
_
6e
2
8e
2
8e
2
12e
2
_
,
det Hf(4, 2) = 8e
4
> 0 y a
11
= 6e
2
< 0,
deducimos que P = (4, 2) corresponde a un maximo.
(b) En AB C los puntos estacionarios no estan en el interior, de modo
que los extremos deben estar en la frontera. Escribimos para ello la
restriccion de la funcion en cada uno de los segmentos que forman el
triangulo:
i) Si x = 0, g
1
(y) = f(x, y)[
x=0
= 2y
2
e
y
, 0 y 2.
Como g

1
(y) = y (4 + 2y)e
y
, entonces
g

1
(y) = 0 y = 0, y = 2,
lo que da lugar a los puntos estacionarios (0, 0) y (0, 2).
ii) Si y = 0, g
2
(x) = f(x, y)[
y=0
= x
2
e
x
, 2 x 0.
En este caso, g

2
(x) = x(2 +x)e
x
y
g

2
(x) = 0 x = 0, x = 2,
dando lugar a los puntos (0, 0) y (2, 0).
iii) Si y = x + 2, g
3
(x) = f(x, y)[
y=x+2
= e
2
(x
2
8x 8), 2
x 0.
Ahora g

3
(x) = e
2
(2x 8), que no se anula en ning un punto
del segmento.
En denitiva, los posibles extremos corresponden a los puntos (0, 0),
(0, 2) y (2, 0). Al evaluar la funcion en dichos puntos, se obtiene
f(0, 0) = 0, f(0, 2) = 8e
2
, f(2, 0) = 4e
2
.
Por tanto, el mnimo absoluto se alcanza en (0, 2) y el maximo absoluto
se alcanza en (2, 0).
276
PROBLEMA 4.77
Sea f(x, y) = (x
2
+y
2
)e
3x+y
. Calcular los valores maximo y mnimo
de f en las siguientes regiones:
A = (x, y) R
2
: x
2
+y
2
< 1
B = (x, y) R
2
: x
2
+y
2
1
C = (x, y) R
2
: 3x y 0
D = (x, y) R
2
: x 0, [y[ x.
Solucion
Clasicaremos en primer lugar los puntos estacionarios de la funcion:

f(x, y) =
_
(2x 3x
2
3y
2
)e
3x+y
, (2y +x
2
+y
2
)e
3x+y
_

f(x, y) = (0, 0) x = 0, y = 0 o x = 3/5, y = 1/5.

Es evidente que f(0, 0) = 0 f(x, y), (x, y) R
2
, lo que signica que la
funcion tiene un mnimo absoluto en el origen. Como el origen esta contenido
en las cuatro regiones dadas, solo necesitamos determinar el maximo de la
funcion en cada region.
Por otra parte, si aplicamos el criterio de las derivadas de segundo orden,
deducimos que la funcion tiene un punto de ensilladura en (3/5, 1/5).
277
(a) Como el conjunto A es abierto, los valores extremos de f deben encon-
trarse en su interior y, por tanto, deben corresponder a puntos esta-
cionarios. Del analisis anterior se deduce que no se alcanza el maximo
de la funcion en el conjunto A.
(b) En este caso, como el conjunto B es compacto y la funcion continua,
necesariamente se alcanza el maximo de la funcion y este debe encon-
trarse en la frontera del conjunto.
Si parametrizamos la frontera de B como x = cos t, y = sent,
t , y denimos la funcion
(t) = f(cos t, sent) = e
3 cos t+sen t
, t ,
entonces el punto (x
0
, y
0
) B donde f alcance el maximo sera de la
forma (cos t
0
, sent
0
), siendo t
0
el punto donde alcance el maximo
en [, ]. Como es una funcion de una variable, calcularemos su
maximo por los metodos usuales:

(t) = (3 sent + cos t)e

3 cos t+sen t

(t) = 0 tg t = 1/3 t = arc tg(1/3) o t = + arc tg(1/3).

Denotamos los puntos crticos por t
1
= arc tg(1/3) y t
2
= +
arc tg(1/3), y estudiamos el signo de la derivada

en los distin-
tos intervalos que estos puntos determinan:
(, t
1
) (t
1
, t
2
) (t
2
, )

(t) < 0 > 0 < 0

Deducimos entonces que el maximo de se alcanza en el punto t
2
, lo
que signica que el maximo de f se alcanza en el punto (3/

10, 1/

10).
278
(c) Como el conjunto C no es compacto, no es necesario que la funcion
tenga un maximo en dicho conjunto. Ahora bien, caso de tenerlo, debe
ser un punto de la frontera (recordemos que en el interior solo pueden
ser puntos estacionarios). Basta hacer entonces la sustitucion y = 3x
y la funcion queda de la forma f(x) = 10x
2
, x R, la cual no tiene
maximo (se trata de una parabola de vertice el origen).
(d) El conjunto D tampoco es compacto. Debemos comprobar nuevamente
si la funcion tiene su valor maximo en la frontera de D. Dicha frontera
se divide en las dos semirrectas y = x, y = x, ambas con x 0.
En la primera de ellas, la funcion se escribe como f
1
(x) = 2x
2
e
2x
y, por
los procedimientos usuales, se comprueba que tiene un maximo en el punto
x = 1.
Analogamente, en la semirrecta y = x, (x 0), la funcion se expresa como
f
2
(x) = 2x
2
e
4x
, y tiene un maximo en x = 1/2.
Comparando los valores de la funcion en ambos puntos, se deduce que el
maximo de la funcion dada en la frontera de D se alcanza en el punto
(1, 1).
279
PROBLEMA 4.78
Hacer maximo el volumen de un solido rectangular que tiene tres
caras sobre los planos coordenados y un vertice en el plano x/a +
y/b +z/c = 1 (a, b, c > 0).
Solucion
Si llamamos P = (x, y, z) al punto de interseccion del prisma con el plano,
el volumen puede expresarse mediante la formula siguiente:
V = x y z = c x y
_
1
x
a

y
b
_
,
en la region 0 < x < a, 0 < y < b.
El problema se reduce entonces a determinar el maximo de la funcion
f(x, y) = c x y
_
1
x
a

y
b
_
.
Para calcular los puntos estacionarios, resolvemos la ecuacion

f(x, y) =
0:

f(x, y) =
_
cy
_
1
2x
a

y
b
_
, cx
_
1
x
a

2y
b
_
_
,

f(x, y) = 0
_
y = 0 o
2x
a
+
y
b
= 1
x = 0 o
x
a
+
2y
b
= 1.
El sistema anterior tiene como solucion los puntos (0, 0), (a, 0), (0, b) y
(a/3, b/3), de los cuales solo este ultimo puede dar volumen maximo.
280
En efecto, como
Hf(x, y) =
_
2cy
a
c
_
1
2x
a

2y
b
_
c
_
1
2x
a

2y
b
_
2cx
b
_
= Hf(a/3, b/3) =
_
2bc
3a
c
3
c
3
2ac
3b
_
,
donde det Hf(a/3, b/3) = c
2
/3 > 0 y a
11
=
2bc
3a
< 0, lo que efectivamente
indica que, en dicho punto, se alcanza el maximo de la funcion.
PROBLEMA 4.79
Inscribir en el segmento de paraboloide elptico
z
c
=
x
2
a
2
+
y
2
b
2
, z = c,
un paraleleppedo de volumen maximo.
Solucion
Si denotamos por P = (x, y, z) el punto en el primer octante de interseccion
del paraboloide con el paraleleppedo, podemos escribir el volumen de dicho
paraleleppedo con la formula siguiente:
V = 2x 2y (c z) = 4cxy
_
1
x
2
a
2

y
2
b
2
_
, x, y, z > 0.
As pues, el problema se reduce al de encontrar el maximo de la funcion
V = f(x, y), con x, y > 0.
Calculamos las derivadas parciales de primer orden para determinar los pun-
tos estacionarios:

f(x, y) =
_
8c
a
2
x
2
y + 4cy
_
1
x
2
a
2

y
2
b
2
_
,
8c
b
2
xy
2
+ 4cx
_
1
x
2
a
2

y
2
b
2
_
_
.
Al resolver el sistema

f(x, y) = 0, obtenemos los puntos estacionarios
(0, 0), (a, 0), (a/2, b/2), (a/2, b/2), (a/2, b/2), (a/2, b/2), (a, 0), (a, 0),
(0, b) y (0, b) de los cuales solo el punto (a/2, b/2) es admisible.
281
Para comprobar que este punto corresponde al maximo de la funcion, utili-
zamos el criterio de la segunda derivada:
Hf(x, y) =
_
_
24cxy
a
2
4c
_
1
3x
2
a
2

3y
2
b
2
_
4c
_
1
3x
2
a
2

3y
2
b
2
_
24cxy
b
2
_
_
= Hf(a/2, b/2) =
_
6bc/a 2c
2c 6ac/b
_
.
Como det Hf(a/2, b/2) = 32c
2
> 0 y a
11
= 6bc/a < 0, el maximo de la
funcion se alcanza efectivamente en dicho punto.
PROBLEMA 4.80
Hallar la distancia entre las rectas en R
3
de ecuaciones
x 1 = y/2 = z y x = y = z.
Solucion
Un punto arbitrario de la primera recta tiene por coordenadas P = (x, 2x
2, x 1) y uno de la segunda recta se puede escribir como Q = (x

, x

, x

).
La distancia entre ellos es
d(P, Q) =
_
(x x

)
2
+ (2x 2 x

)
2
+ (x 1 x

)
2
.
Ahora bien, si d(P, Q) es mnima, tambien su cuadrado sera mnimo. Pode-
mos pues reducir el problema al de minimizar la funcion
f(x, x

) = (x x

)
2
+ (2x 2 x

)
2
+ (x 1 x

)
2
.
Como
z
x
= 2(x x

) + 2(2x 2 x

) 2 + 2(x 1 x

),
z
x

= 2(x x

) 2(2x 2 x

) 2(x 1 x

),
282
los puntos estacionarios se obtienen del sistema
x x

+ 4x 4 2x

+x 1 x

= 0
x x

+ 2x 2 x

+x 1 x

= 0,
lo que da como solucion x = 3/2, x

= 1. Al ser el unico punto estacionario,

debe corresponder a un mnimo (se trata de dos rectas que se cruzan), y
dicha distancia mnima vale d =
_
1/4 + 1/4 =

2/2.
[Comparar el metodo expuesto en este problema con el desarrollado en el
captulo I, problema 1.17.]
283
5. EXTREMOS CONDICIONADOS. MULTIPLICADORES DE
LAGRANGE.
Cierto tipo de problemas de extremos consiste en encontrar los valores maxi-
mo y mnimo de una funcion cuyas variables estan sometidas a ciertas con-
diciones de dependencia; estos reciben el nombre de problemas de maximos
y mnimos condicionados.
Por ejemplo, en el caso de una funcion de dos variables z = f(x, y), si estas
estan relacionadas por la condicion y = g(x), los extremos condicionados de
f son precisamente los maximos y mnimos de la funcion de una variable
z = f
_
x, g(x)
_
. Geometricamente, el problema consiste en encontrar los
valores extremos de la curva en R
3
que es la interseccion de las supercies
z = f(x, y), y = g(x).
El planteamiento general de estos problemas es el siguiente:
Problema. Encontrar el valor maximo (o mnimo) de una funcion f : R
n

R, en un dominio M denido del siguiente modo:

M =

x R
n
: F
i
(

x ) = 0, 1 i m.
El conjunto de funciones F
i
: R
n
R (1 i m) constituye lo que llama-
remos restricciones de las variables. Denotaremos por f[
M
a la restriccion
de f al conjunto M.
Estableceremos a continuacion las nociones basicas que permiten enunciar
condiciones necesarias y sucientes para la existencia de maximos y mnimos
condicionados.
Denicion. Dado un entero positivo r < n, decimos que un subconjunto
M de R
n
es una variedad r-dimensional (o r-variedad) de clase C
(q)
cuando

x M, existe U R
n
abierto que contiene a

x y existe una funcion
F : U R
nr
, con F C
(q)
(U), tal que
i) rang JF(

x ) = n r,

x U, y
ii) M U =

x U : F(

x ) =

0 .
Es facil, a partir de la denicion, demostrar el siguiente resultado.
Proposicion. Sean D un abierto de R
n
y F : D R
nr
una funcion
de clase C
(q)
en D. Entonces el conjunto M =

x R
n
: F(

x ) =

0 , rang JF(

x ) = n r es una r-variedad de clase C

(q)
.
Por ejemplo, si F : R
n
R es una funcion de clase C
(1)
, cualquier conjunto
de nivel K
c
=

x R
n
: F(

x ) = c no vaco y que no contenga puntos

estacionarios de F es una (n 1)-variedad.
284
Con estos conceptos se prueba la siguiente condicion necesaria de existencia
de extremos condicionados.
Teorema de los multiplicadores de Lagrange. Sean M una r-variedad
de R
n
de clase C
(1)
y f : D R una funcion denida en un abierto D R
n
,
con f C
(1)
(D) y M D. Si f[
M
tiene un extremo relativo en

x
0
, entonces
existen constantes
1
, . . . ,
m
R (m = n r) tales que

x
0
es un punto
estacionario de la funcion
g = f +
1
F
1
+ +
m
F
m
,
donde F
1
, . . . , F
m
son las componentes de la funcion F asociada a la varie-
dad M.
Este resultado indica que, en un problema de b usqueda de extremos con-
dicionados, los unicos posibles puntos de extremo local se encuentran entre
las soluciones del sistema
_
g
x
i
(

x ) = 0, 1 i n
F
j
(

x ) = 0, 1 j m
de m+n ecuaciones con las m+n incognitas x
1
, . . . , x
n
,
1
, . . . ,
m
.
Esto sugiere tambien considerar la funcion de m+n variables
g(x
1
, . . . , x
n
,
1
, . . . ,
m
) = f(x
1
, . . . , x
n
) +
m

j=1

j
F
j
(x
1
, . . . , x
n
)
y calcular los puntos estacionarios de g en MR
m
, los cuales seran los unicos
posibles valores donde f tenga un extremo relativo (observar que
g

j
= F
j
).
Se reduce as el problema de extremos condicionados a un problema de
extremos ordinarios.
Las condiciones sucientes para la existencia de extremos pueden determi-
narse de la siguiente forma:
Teorema. Se considera la funcion g = f +
1
F
1
+ +
m
F
m
.
(a) Si en un punto

x
0
la funcion alcanza un maximo relativo, entonces la
forma cuadratica correspondiente a g, Q
x
0
(h) =
n

i=1
n

j=1
D
ij
g(

x
0
)h
i
h
j
,
es semidenida negativa en un entorno reducido de

x
0
.
(b) Si Q
x
0
(h) > 0 en alg un entorno reducido de

x
0
, entonces la funcion
alcanza un mnimo relativo en

x
0
.
En la mayora de los ejemplos practicos, para determinar si un punto es-
tacionario corresponde a un maximo o un mnimo, utilizaremos metodos
285
indirectos, sugeridos por cada situacion particular. En los problemas que
siguen iremos mostrando algunos de los metodos posibles.
PROBLEMA 4.81
Sea f : R
2
R la funcion denida por f(x, y) = xy y M = (x, y) :
x
2
+y
2
= 2a
2
, (a > 0). Determinar los maximos, mnimos y puntos
de ensilladura de f[
M
.
Solucion
Observemos en primer lugar que M es una variedad 1-dimensional. Para
ello, dado cualquier (x, y) M, habra que probar que existen
i) un abierto U R
2
que contiene a (x, y) y
ii) una funcion F : U R, F C
(1)
(U)
tales que rang JF(x, y) = 1 y M U = (x, y) U : F(x, y) = 0.
En efecto, sea F(x, y) = x
2
+y
2
2a
2
. Por ser un polinomio, F C
()
(U).
Ademas JF(x, y) = (2x, 2y); entonces rang JF(x, y) = 1 si (x, y) ,= (0, 0).
Esto sugiere considerar el abierto U = R
2
(0, 0) y la funcion F arriba
denida, pues M U = (x, y) U : F(x, y) = 0.
Podemos pues aplicar el teorema de los multiplicadores de Lagrange, que
asegura que los extremos de f en encuentran entre los puntos estacionarios
de la funcion g = f +F. Calcularemos los puntos estacionarios de g:
D
x
g(x, y, ) = 0 y + 2x = 0
D
y
g(x, y, ) = 0 x + 2y = 0
D

g(x, y, ) = 0 x
2
+y
2
2a
2
= 0.
Si = 0, entonces x = y = 0, de donde 0 = 2a
2
, lo que es absurdo pues
a > 0.
Si ,= 0, entonces
= y/2x = x/2y = 2y
2
+ 2x
2
= 0 = x
2
y
2
= 0.
Como, ademas x
2
+ y
2
= 2a
2
, las soluciones del sistema dan los puntos
estacionarios (a, a), (a, a), (a, a) y (a, a).
Observamos que el conjunto M es compacto: es cerrado por ser la imagen
inversa de un cerrado por una aplicacion continua, F
1
(0) = M, y acotado
286
porque M esta contenido en cualquier bola de centro el origen y radio mayor
que a

2. Como ademas f[
M
es continua, entonces f[
M
alcanza su maximo
y mnimo absolutos.
Debido a que f(a, a) = f(a, a) = a
2
y f(a, a) = f(a, a) = a
2
,
los puntos (a, a) y (a, a) corresponden al maximo absoluto y (a, a) y
(a, a) al mnimo absoluto.
PROBLEMA 4.82
Sea f : R
2
R la funcion denida por f(x, y) = x
3
+ y
3
y M =
(x, y) : x
2
y
2
= 1. Determinar los extremos relativos de f[
M
.
Solucion
Observamos en primer lugar que M es una variedad pues existen un abierto
U = R
2
(0, 0) y una funcion F : U R, denida por F(x, y) = x
2
y
2
1,
tales que F C
()
(U), rang JF(x, y) = 1 (pues JF(x, y) = (2x, 2y))
y
M U = (x, y) U : F(x, y) = 0.
Podemos pues aplicar el teorema de los multiplicadores de Lagrange y con-
siderar la funcion g(x, y) = x
3
+y
3
+(x
2
y
2
1).
Calculamos los puntos estacionarios de g:
D
x
g(x, y) = 0 3x
2
+ 2x = 0 x(3x + 2) = 0
D
y
g(x, y) = 0 3y
2
2y = 0 y(3x + 2) = 0
F(x, y) = 0 x
2
y
2
= 1.
287
Para resolver el sistema distinguiremos los siguientes casos:
- Si x ,= 0, y = 0, entonces 3x + 2 = 0, de donde x = 2/3; pero como
x
2
y
2
= 1 x
2
= 1 = x = 1 y tenemos los puntos (1, 0) y (1, 0).
- Si x = 0, y ,= 0, entonces y
2
= 1 que es imposible.
- Si x = y = 0, entonces 0 = 1, tambien imposible.
Luego los puntos estacionarios son los dos citados P
1
= (1, 0) y P
2
= (1, 0).
Como el conjunto M no es compacto (no es acotado), no podemos asegurar la
existencia de extremos. Lo unico que sabemos es que si f[
M
tiene extremos,
se han de encontrar entre dichos puntos estacionarios. Aplicaremos el criterio
de la segunda derivada a la funcion f donde suponemos que la restriccion
M permite denir la variable x como funcion implcita de la variable y (lo
cual es valido seg un el teorema de la funcion implcita en cada uno de los
puntos estacionarios P
1
y P
2
).
De la ecuacion x
2
y
2
= 1, deducimos que x

(y) =
y
x
. Por lo tanto,
f

(y) = 3x
2
x

(y) + 3y
2
= 3xy + 3y
2
f

(y) = 3x + 3x

(y) y + 6y = 3x +
3y
2
x
+ 6y.
Sustituyendo en los puntos estacionarios, resulta
f

(P
1
) = 3 > 0 y f

(P
2
) = 3 < 0
de modo que la funcion alcanza un mnimo relativo en el punto P
1
= (1, 0)
y un maximo relativo en el punto P
2
= (1, 0).
En la gura se observa que el maximo relativo de la funcion es menor que
el mnimo relativo y que la funcion no tiene maximo ni mnimo absolutos.
288
PROBLEMA 4.83
Determinar los maximos y mnimos de la funcion z = x
2
+y
2
bajo
la condicion 13x
2
10xy + 13y
2
72 = 0.
Solucion
La condicion 13x
2
10xy + 13y
2
72 = 0 permite suponer que la va-
riable y puede expresarse como funcion implcita de x, como consecuen-
cia del teorema de la funcion implcita. En efecto, la funcion F(x, y) =
13x
2
10xy + 13y
2
72 es de clase C
(1)
en R
2
y
F
y
= 10x + 26y ,= 0 si x ,=
13y
5
.
Sabemos ademas que, bajo esas condiciones,
y

(x) =
F/x
F/y
=
13x 5y
5x 13y
.
Lo anterior permite expresar la funcion z = x
2
+ y
2
como funcion de una
variable. Tenemos entonces al derivar que:
z

(x) = 2x + 2y y

(x) =
10x
2
10y
2
5x 13y
si x ,=
13y
5
.
Para obtener los puntos crticos, hacemos z

(x) = 0 y resulta x = y (con

la condicion 5x 13y ,= 0 la cual efectivamente se cumple). Al sustituir en
la ecuacion que liga ambas variables, obtenemos los cuatro puntos
_

2,

2
_
,
_

2,

2
_
,
_
3

2/2, 3

2/2
_
,
_
3

2/2, 3

2/2
_
,
que son los unicos en donde puede haber maximos o mnimos locales.
Para determinarlos, calculamos la derivada segunda
z

(x) =
_
20x 20y y

(x)
_
(5x 13y) (10x
2
10y
2
)
_
5 13y

(x)
_
(5x 13y)
2
la cual, al sustituirla en los puntos crticos, da los siguientes resultados:
punto (3

2/2, 3

2/2) (3

2/2, 3

2/2) (

2,

2) (

2,

2)
y

(x) 1 1 1 1
z

(x) 5 5 20/9 20/9

289
Esto quiere decir que, en los puntos (3

2/2, 3

2/2) y (3

2/2, 3

2/2),
la funcion alcanza el maximo y, en los puntos (

2,

2) y (

2,

2), tiene
un mnimo relativo.
En la gura adjunta se da una interpretacion geometrica del resultado ob-
tenido. La funcion dada representa el cuadrado de la distancia al origen de
un punto de la elipse. Como la elipse esta centrada en el origen, los pun-
tos que estan mas alejados y mas proximos al origen son los vertices de la
elipse.
PROBLEMA 4.84
Sea f(x, y) = x
m
+ y
m
(m N). Estudiar los extremos de esta
funcion si las variables estan ligadas por la condicion x + y = 2.
Solucion
Debido a que M = (x, y) R
2
: x +y = 2 es claramente una variedad 1-
dimensional, podemos aplicar el metodo de los multiplicadores de Lagrange.
Consideraremos entonces la funcion
g(x, y, ) = f(x, y) +(x +y 2)
y distinguiremos dos casos:
i) Si m = 1, entonces f(x, y) = x + y = 2 es una funcion constante, de
modo que coinciden sus valores maximo y mnimo.
290
ii) Si m 2,
g

x
(x, y, ) = 0 mx
m1
+ = 0,
g

y
(x, y, ) = 0 my
m1
+ = 0,
g

(x, y, ) = 0 x +y 2 = 0.
De aqu se deduce que x
m1
= y
m1
, de modo que, si m 1 es par,
x = y. Ahora bien, al ser x + y = 2, la unica solucion es el punto
(1, 1). En este caso = m.
Por otra parte, si m1 es impar, entonces x = y y se obtiene nueva-
mente la solucion x = 1, y = 1, = m.
Como la variedad M no es compacta (por no ser acotada), emplea-
remos el criterio de la segunda derivada para determinar el compor-
tamiento de la funcion en el punto estacionario (1, 1). La forma cua-
dratica asociada a la matriz hessiana de la funcion g en el punto (1, 1)
es
Q(h, k) = g
xx
(1, 1)h
2
+2g
xy
(1, 1)hk +g
yy
(1, 1)k
2
= m(m1)[h
2
+k
2
].
Como Q(h, k) > 0, (h, k) ,= (0, 0), deducimos que la forma cuadratica
es denida positiva y la funcion alcanza un mnimo en el punto (1, 1).
291
PROBLEMA 4.85
Sea f(x, y, z) = x y + 2z. Encontrar los maximos y mnimos de f
en el elipsoide M = (x, y, z) : x
2
+y
2
+ 2z
2
= 2.
Solucion
Llamamos F(x, y, z) = 2 (x
2
+y
2
+ 2z
2
) y g = f +F. Igualando a cero
las derivadas parciales de g, obtenemos el sistema de ecuaciones
1 2x = 0,
1 2y = 0,
2 4z = 0,
2 (x
2
+y
2
+ 2z
2
) = 0.
De dicho sistema se obtienen las soluciones =

2/2, x =

2/2, y =

2/2, z =

2/2. Puesto que f es continua y M es un conjunto compacto,

f alcanza los valores maximo y mnimo en M, los cuales deben ser alguno de
los puntos estacionarios. Ahora bien, como f(

2/2,

2/2,

2/2) = 2

2
y f(

2/2,

2/2,

2/2) = 2

2, estos valores son respectivamente el

maximo y el mnimo de la funcion.
292
PROBLEMA 4.86
Hallar los extremos de la funcion f(x, y, z) = x
2
+ y
2
+ z
2
sujeta a
la condicion
x
2
/a
2
+y
2
/b
2
+z
2
/c
2
= 1,
siendo a, b y c constantes no nulas y distintas.
Solucion
Veamos en primer lugar que el conjunto
M = (x, y, z) R
3
: x
2
/a
2
+y
2
/b
2
+z
2
/c
2
= 1
es una variedad.
Para ello, denimos el abierto U = R
3
(0, 0, 0) y la funcion F : U R
denida por F(x, y, z) = x
2
/a
2
+y
2
/b
2
+z
2
/c
2
1.
Es claro que F C
()
(U) (por tratarse de un polinomio). Ademas,
JF(x, y, z) =
_
2x
a
2
,
2y
b
2
,
2z
c
2
_
y rang JF(x, y, z) = 1 si (x, y, z) U.
Podemos pues aplicar el teorema de los multiplicadores de Lagrange y ase-
gurar que los extremos de f se encuentran entre los puntos estacionarios de
la funcion g = f +F.
Para encontrar estos puntos, debemos resolver el sistema
2x
_
1 +

a
2
_
= 0
2y
_
1 +

b
2
_
= 0
2z
_
1 +

c
2
_
= 0
x
2
a
2
+
y
2
b
2
+
z
2
c
2
= 1,
para el cual obtenemos el siguiente conjunto de soluciones:
i) Si x = a, entonces y = z = 0, = a
2
;
ii) Si y = b, entonces x = z = 0, = b
2
;
293
iii) Si z = c, entonces x = y = 0, = c
2
.
Como el conjunto M es compacto (pues se trata de un elipsoide de semiejes
a, b y c) y la funcion f es continua, el teorema de Weierstrass asegura que se
alcanzan los valores maximo y mnimo. Para determinarlos, debemos com-
parar los valores de la funcion en los puntos estacionarios obtenidos.
Ahora bien, debido a que
f(a, 0, 0) = a
2
, f(0, b, 0) = b
2
, f(0, 0, c) = c
2
,
el maximo de la funcion vale maxa
2
, b
2
, c
2
y el mnimo es mna
2
, b
2
, c
2
.
Observacion. La funcion dada representa el cuadrado de la distancia de un
punto (x, y, z) al origen y la restriccion representa un elipsoide de semiejes
a, b y c y centrado en el origen. Es evidente entonces que las distancias
maxima y mnima de un punto del elipsoide al origen son las obtenidas
analticamente.
PROBLEMA 4.87
Calcular los maximos y mnimos de la funcion
u(x, y, z) = x
2
+y
2
+z
2
sometida a las restricciones x y = 2z y x +y +z = 1.
Solucion
Utilizaremos el metodo de los multiplicadores de Lagrange, para lo cual
consideramos el conjunto
M = (x, y, z) R
3
: x y 2z = 0, x +y +z 1 = 0.
Se comprueba facilmente que M es una 2-variedad, pues basta denir la
funcion F : R
3
R
2
por
F(x, y, z) = (x y 2z, x +y +z 1)
y comprobar que F C
()
(R
3
), rang JF(x, y, z) = 2, (x, y, z) R
3
y
M = (x, y, z) R
3
: F(x, y, z) = 0.
Si denimos la funcion
g(x, y, z) = x
2
+y
2
+z
2
+(x y 2z) +(x +y +z 1),
294
sabemos que, si la funcion u tiene alg un extremo relativo, este debe ser
solucion del sistema
2x + + = 0,
2y + = 0,
2z 2 + = 0,
x y 2z = 0,
x +y +z 1 = 0.
La unica solucion de este sistema es el punto (4/7, 2/7, 1/7).
Debido a que las restricciones que forman el conjunto M denen a x e y
como funciones implcitas de z, podemos considerar a u como funcion de la
unica variable z,
u(z) = [x(z)]
2
+ [y(z)]
2
+z
2
.
Si derivamos la funcion implcita x y 2z = 0, x +y +z 1 = 0 respecto
a z, obtenemos:
x

(z) y

(z) 2 = 0
x

(z) +y

(z) + 1 = 0
_
= x

(z) =
1
2
, y

(z) =
3
2
.
Con estos valores, aplicamos el criterio de la derivada segunda a la funcion
u para comprobar si el punto estacionario (4/7, 2/7, 1/7) corresponde a un
maximo o un mnimo. Resulta entonces:
u

(z) = 2x(z) x

(z) + 2y(z) y

(z) + 2z = x(z) 3y(z) + 2z

u

(z) = x

(z) 3y

(z) + 2 = 7 = u

(1/7) = 7 > 0,
lo que signica que la funcion u alcanza su valor mnimo en el punto (4/7, 2/7, 1/7).
Podemos interpretar geometricamente el problema observando que la fun-
cion u representa la distancia de un punto al origen y las restricciones M
representan los puntos de la recta interseccion de los planos dados. As pues,
se trata de encontrar los puntos de una recta cuya distancia al origen sea
maxima (los cuales logicamente no existen) y mnima. Esta interpretacion
concuerda con el resultado analtico obtenido.
PROBLEMA 4.88
Determinar los extremos relativos de la funcion f(x, y, z) = x
a
y
b
z
c
(a, b, c > 0) bajo la condicion x +y +z = 1.
Solucion
295
Debido a la forma exponencial de la funcion, deben ser x, y, z > 0, y, al ser
el logaritmo una funcion creciente, los extremos relativos de f coinciden con
los extremos relativos de g(x, y, z) = a lnx +b lny +c lnz.
Es facil comprobar que se verica el teorema de los multiplicadores de La-
grange, de modo que, para determinar los puntos estacionarios, debemos
resolver el sistema
a/x + = 0
b/y + = 0
c/z + = 0
x +y +z = 1.
Este sistema tiene como unica solucion el punto
_
a
a +b +c
,
b
a +b +c
,
c
a +b +c
_
,
con = (a +b +c).
Aplicaremos el criterio de la segunda derivada para determinar la carac-
terstica del punto estacionario obtenido. Para ello consideramos la funcion
en terminos de las variables x e y haciendo la sustitucion z = 1 x y. De
este modo,

g(x, y) =
_
a
x

c
z
,
b
y

c
z
_
Hg(x, y) =
_
a/x
2
c/z
2
c/z
2
c/z
2
b/y
2
c/z
2
_
.
Como det Hg
_
a
a +b +c
,
b
a +b +c
_
> 0 y a
11
< 0, deducimos que el punto
corresponde a un maximo.
PROBLEMA 4.89
Sean a
1
, a
2
, a
3
, b
1
, b
2
, b
3
R constantes tales que b
1
b
3
b
2
2
> 0. Ha-
llar el valor maximo, si existe, de la funcion f(x, y) =
a
1
x
2
+ 2a
2
xy +a
3
y
2
b
1
x
2
+ 2b
2
xy +b
3
y
2
.
Solucion
Observemos que f es una funcion homogenea de grado cero, es decir f(tx, ty) =
t
0
f(x, y); esto quiere decir que f toma un valor constante en cualquier rec-
ta de la forma y = mx, f(x, mx) = f(1, m), x. El problema planteado
296
sera pues equivalente a determinar la direccion de la recta y = mx en la
cual la funcion dada alcanza el valor maximo.
Ahora bien, si suponemos que b
1
> 0, entonces b
1
x
2
+ 2b
2
xy + b
3
y
2
= 1
corresponde a la ecuacion de una elipse (pues b
1
b
3
b
2
2
> 0) que rodea al
origen; esto permite deducir que la direccion deseada vendra unvocamente
determinada por un punto de dicha elipse. En resumen, el problema se reduce
a calcular el maximo de la funcion f(x, y) = a
1
x
2
+ 2a
2
xy + a
3
y
2
cuyas
variables estan sujetas a la condicion b
1
x
2
+ 2b
2
xy +b
3
y
2
= 1.
Construimos para ello la funcion
g(x, y) = a
1
x
2
+ 2a
2
xy +a
3
y
2
+(b
1
x
2
+ 2b
2
xy +b
3
y
2
1)
= (a
1
+b
1
)x
2
+ 2(a
2
+b
2
)xy + (a
3
+b
3
)y
2
.
Al igualar a cero las derivadas parciales de primer orden, se obtiene el sistema
de ecuaciones siguiente:
g

x
(x, y) = 2(a
1
+b
1
)x + 2(a
2
+b
2
)y = 0
g

y
(x, y) = 2(a
2
+b
2
)x + 2(a
3
+b
3
)y = 0
b
1
x
2
+ 2b
2
xy +b
3
y
2
= 1.
Si el determinante
D =

a
1
+b
1
a
2
+b
2
a
2
+b
2
a
3
+b
3

fuera distinto de cero, tendramos la unica solucion x = 0, y = 0 que no

esta sobre la elipse. Deducimos pues que D = 0, es decir
(a
1
+b
1
)(a
3
+b
3
) (a
2
+b
2
)
2
= 0.
Esta ecuacion nos da dos valores reales de , que denotaremos por
1
y
2
.
Cada uno de ellos proporciona un punto estacionario de la funcion g. En
ambos puntos se verica que:
g(x, y) = a
1
x
2
+ 2a
2
xy +a
3
y
2
+(b
1
x
2
+ 2b
2
xy +b
3
y
2
1)
= [(a
1
+b
1
)x + (a
2
+b
2
)y]x + [(a
2
+b
2
)x + (a
3
+b
3
)y]y
= 0 + 0 = .
Como la elipse es un conjunto compacto y la funcion f es continua, se alcan-
zan los valores maximo y mnimo. Deducimos entonces que max f(x, y) =
max
1
,
2
y mnf(x, y) = mn
1
,
2
.
Si b
1
< 0, se debe considerar analogamente la funcion
g(x, y) = a
1
x
2
+ 2a
2
xy +a
3
y
2
+(b
1
x
2
+ 2b
2
xy +b
3
y
2
+ 1)
297
y, razonando de forma completamente analoga, obtenemos que max f(x, y) =
max
1
,
2
con
1
y
2
soluciones de D = 0.
PROBLEMA 4.90
Se considera la funcion f(x, y) = 4x
2
+ y
2
4x 3y. Hallar los
extremos relativos de dicha funcion y los extremos absolutos en el
conjunto K = (x, y) R
2
: y 0, 4x
2
+y
2
4.
Solucion
Es evidente que K es compacto (pues es cerrado y acotado) y f es continua
sobre K; por lo tanto f alcanza los valores maximo y mnimo absolutos.
Dichos valores pueden estar en el interior de K o en su frontera; en el primer
caso deben corresponder con alg un punto estacionario que debe ser maximo
o mnimo relativo.
Vamos a calcular en primer lugar dichos puntos estacionarios:
f

x
(x, y) = 8x 4 = 0 x = 1/2
f

y
(x, y) = 2y 3 = 0 y = 3/2.
As pues el unico punto estacionario es (1/2, 3/2), el cual efectivamente
esta en el interior de K pues 3/2 > 0 y 4 (1/2)
2
+ (3/2)
2
< 4.
El valor de la funcion en dicho punto es f(1/2, 3/2) = 13/4. Observemos
que
f(x, y) = 4
_
x
1
2
_
2
+
_
y
3
2
_
2

13
4
,
de modo que, geometricamente, el punto representa el vertice del paraboloide
de ecuacion z = f(x, y).
298
Supongamos ahora que el maximo o mnimo esta en la frontera de K que se
puede descomponer como M
1
M
2
, donde
M
1
= (x, y) R
2
: 4x
2
+y
2
= 4, y > 0
M
2
= (x, y) R
2
: y = 0, 1 x 1.
Consideramos la variedad M
1
y la funcion
g(x, y, ) = 4x
2
+y
2
4x 3y +(4x
2
+y
2
4).
Tenemos entonces
g

x
(x, y, ) = 0 8x 4 + 8x = 0,
g

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

(x, y, ) = 0 4x
2
+y
2
4 = 0.
As pues, si ,= 1, entonces x =
1
2(1 +)
, y =
3
2(1 +)
, pero de 4x
2
+y
2
=
4 se deduce que
1
(1 +)
2
+
9/4
(1 +)
2
= 4 13 = 16(1 +)
2
=

13
4
1.
Como y > 0, debe ser > 1 con lo que = 1 +

13/4, x = 2/

13,
y = 6/

13.
El punto obtenido es P = (2/

13, 6/

13) y el valor de la funcion en dicho

punto es f(2/

13, 6/

13) = (4

13 26)/

13.
299
Consideramos por ultimo la funcion f restringida a la variedad M
2
, es decir
f(x) = 4x
2
4x denida en el segmento 1 x 1. Tenemos enton-
ces
f

(x) = 0 8x 4 = 0 x = 1/2.
Obtenemos as el punto estacionario (1/2, 0) y los extremos del segmento
(1, 0) y (1, 0).
Comparando los valores de la funcion en los puntos hallados, resulta:
f(1/2, 3/2) = 13/4, f(2/

13, 6/

13) = (4

13 26)/

13,
f(1/2, 0) = 1, f(1, 0) = 8, f(1, 0) = 0,
de lo que se deduce que
maxf(x, y) : (x, y) K = f(1, 0) = 8
mnf(x, y) : (x, y) K = f(1/2, 3/2) = 13/4.
300
PROBLEMA 4.91
Hallar el maximo de la funcion f : R
n
R denida por
f(x
1
, . . . , x
n
) = (x
1
x
n
)
2
,
con x
2
1
+ + x
2
n
= 1, y demostrar que, si a
i
> 0, i = 1, . . . , n,
entonces (a
1
. . . a
n
)
1/n

a
1
+ +a
n
n
.
Solucion
Basta considerar la funcion F : R
n

0 R dada por F(

x ) = |

x |
2
1
para comprobar que el conjunto M =

x : x
2
1
+ +x
2
n
= 1 es una variedad
(n 1)-dimensional. Esto permite aplicar el teorema de los multiplicadores
de Lagrange. Como ademas M es compacto, pues se trata de la esfera uni-
dad de R
n
, y f es continua, podemos asegurar que f[
M
alcanza su maximo
absoluto.
Estudiemos los puntos estacionarios de la funcion
g(x
1
, . . . , x
n
) = (x
1
x
n
)
2
+(x
2
1
+ +x
2
n
1) :
D
i
g(

x ) = 0 2(x
1
x
n
)
2

1
x
i
+ 2x
i
= 0, i = 1, . . . , n
x
2
1
+ +x
2
n
= 1.
[Hemos supuesto que x
i
,= 0, (i) pues, si alg un x
i
es cero, la funcion se anula
en dicho punto pero, por denicion es siempre mayor o igual a cero. Esto
signica que el punto en cuestion corresponde a un mnimo absoluto.]
Para resolver el sistema, distinguimos los siguientes casos:
- Si = 0 = (x
1
x
n
)
2
= 0 = j : x
j
= 0 lo que contradice nuestra
anterior suposicion.
- Si ,= 0 = x
2
i
= x
2
j
, i, j = nx
2
1
= 1 = x
2
1
= 1/n. En este caso
f(

x ) = (1/n) (1/n) = n
n
.
Deducimos entonces que la funcion f[
M
alcanza el maximo absoluto en cada
uno de los puntos (1/

n, . . . , 1/

n).
Hemos probado as que f(

x ) = (x
1
x
n
)
2
1/n
n
,

x M. Haciendo
en particular x
i
=

a
i

a
1
+ +a
n
, i = 1, . . . , n, tenemos x
2
1
+ + x
2
n
= 1
301
y
_

a
1
_

a
i

a
n
_

a
i
_
2

1
n
n
.
Operando en esta desigualdad se obtiene la desigualdad propuesta
n

a
1
. . . a
n

a
1
+. . . a
n
n
.
PROBLEMA 4.92
Descomponer un n umero positivo a en tres sumandos no nega-
tivos de modo que sea mnima la suma de sus cubos.
Solucion
Sean x, y y z los tres sumandos en que descomponemos el n umero a. De-
bemos hacer mnima la cantidad = x
3
+ y
3
+ z
3
, sujeta a la condicion
x +y +z = a, con x 0, y 0, z 0.
Resolveremos el problema de dos maneras:
A) Como z = a x y, sustituyendo en , obtenemos la funcion de dos
variables
f(x, y) = x
3
+y
3
+ (a x y)
3
.
Buscamos en primer lugar sus puntos estacionarios resolviendo el sis-
tema:
f
x
= 3x
2
3(a x y)
2
= 0,
f
y
= 3y
2
3(a x y)
2
= 0.
Las unicas soluciones que cumplen las condiciones x 0, y 0 son
los puntos (a/3, a/3) y (a, a). Este ultimo no es valido pues da el valor
z = a < 0.
Las derivadas de segundo orden son

2
f
x
2
= 6x+6(axy),

2
f
xy
= 6(axy),

2
f
y
2
= 6y+6(axy),
y el hessiano en el punto (a/3, a/3) es
Hf(a/3, a/3) =
_
4a 2a
2a 4a
_
.
302
Como det Hf(a/3, a/3) = 12a
2
> 0 y a
11
= 4a > 0, deducimos que
el punto corresponde a un mnimo. Sustituyendo en el valor de z =
a x y = a/3, se deduce que la descomposicion optima es aquella
cuyas componentes son iguales.
B) Metodo de los multiplicadores de Lagrange.
Es evidente que la restriccion x + y + z = a verica las condiciones
del teorema de los multiplicadores de Lagrange. Construimos pues la
funcion auxiliar
g(x, y, z) = x
3
+y
3
+z
3
+(x +y +z a)
y resolvemos el sistema que se forma igualando a cero sus derivadas
parciales de primer orden:
3x
2
+ = 0
3y
2
+ = 0
3z
2
+ = 0
x +y +z = a.
Obtenemos la solucion x = y = z = a/3, = a
2
/3.
Como se ve, la solucion coincide con la obtenida antes y, para com-
probar que la funcion tiene un mnimo en dicho punto, basta aplicar
el criterio de las derivadas de segundo orden.
PROBLEMA 4.93
Hallar los puntos de la curva 5(x
2
+ y
2
) 10y 6xy + 6x 3 = 0
cuya distancia al punto P(0, 1) sea maxima o mnima.
Solucion
En vez de maximizar o minimizar la distancia, lo haremos con el cuadrado
de la distancia, es decir consideramos la funcion
z(x, y) = d(P, M)
2
= x
2
+ (y 1)
2
,
donde M(x, y) es un punto arbitrario de la curva dada. Como la funcion z
es continua y denida en un compacto (pues la curva dada es una elipse),
alcanzara sus valores maximo y mnimo.
303
Aplicaremos el metodo de los multiplicadores de Lagrange, para lo cual
construimos la funcion auxiliar
g(x, y) = x
2
+ (y 1)
2
+ [5(x
2
+y
2
) 10y 6xy + 6x 3]
y resolvemos el sistema
g
x
= 0 2x +(10x 6y + 6) = 0
g
y
= 0 2(y 1) +(10y 10 6x) = 0
5(x
2
+y
2
) 10y 6xy + 6x 3 = 0.
Este sistema tiene las siguientes soluciones:
x =

2, y = 1

2, = 1/2
x =

2, y = 1 +

2, = 1/2
x =

2/2, y = 1

2/2, = 1/8
x =

2/2, y = 1 +

2/2, = 1/8.
Al sustituir los puntos en la formula de la distancia, deducimos que esta es
maxima en los puntos de la curva (

2, 1

2) y (

2, 1+

2), y es mnima
en los puntos (

2/2, 1

2/2) y (

2/2, 1 +

2/2).
Observamos del resultado obtenido y la graca adjunta que el punto (0, 1) es
precisamente el centro de la elipse, de modo que los puntos que maximizan
y minimizan la distancia son precisamente los vertices.
PROBLEMA 4.94
Utilizando los multiplicadores de Lagrange, determinar el rectangu-
lo de area maxima y permetro constante 2k.
304
Solucion
Llamando x e y a los lados del rectangulo, su area es S = x y y su permetro
2k = 2x + 2y. Si aplicamos el metodo de los multiplicadores de Lagrange,
debemos estudiar la funcion g(x, y) = xy +(x +y k). El sistema que se
obtiene haciendo nulas las primeras derivadas parciales es el siguiente:
y + = 0
x + = 0
x +y k = 0,
que da la solucion x = y = k/2, = k/2. Para ver si el punto (k/2, k/2)
corresponde a un maximo o un mnimo, comparamos el valor de g en di-
cho punto con el valor de g en cualquier otro punto (x, y) que verique la
condicion x +y = k:
g
_
k
2
,
k
2
_
g (x, k x) =
k
2
4
x(k x) = x
2
kx +
k
2
4
=
_
x
k
2
_
2
0.
Esto implica que la funcion alcanza un maximo en el punto (k/2, k/2) y el
rectangulo de area maxima es precisamente el cuadrado.
PROBLEMA 4.95
De todos los ortoedros (paraleleppedos rectangulares rectos) de
igual volumen, obtener el de supercie total mnima.
Solucion
Supongamos que el origen de coordenadas es un vertice del ortoedro y el
punto P(x, y, z), con x, y, z > 0, es el vertice opuesto (ver gura).
305
Llamamos k al volumen del ortoedro k = xyz, de modo que el problema
puede plantearse como el de minimizar la funcion S = 2(xy +xz +yz) cuyas
variables estan sujetas a la restriccion xyz = k. Utilizamos nuevamente el
metodo de los multiplicadores de Lagrange con la funcion
g(x, y, z) = 2(xy +xz +yz) +(xyz k).
Al resolver el sistema
2(y +z) +yz = 0,
2(x +z) +xz = 0,
2(x +y) +xy = 0,
xyz k = 0,
obtenemos la solucion x = y = z =
3

k (basta observar la simetra de este

sistema de ecuaciones).
Como el conjunto M = (x, y, z) R
3
: x > 0, y > 0, z > 0 no es compac-
to, no esta garantizada la existencia de maximo ni mnimo de la funcion.
As pues, si despejamos el valor de z en la formula del volumen, z = k/(xy),
y lo sustituimos en la funcion a minimizar, podemos aplicar el criterio de
las derivadas de segundo orden a la funcion de dos variables
f(x, y) = 2
_
xy +
k
y
+
k
x
_
.
Obtenemos as el hessiano
Hf(x, y) =
_
4k/x
3
2
2 4k/y
3
_
= Hf(
3

k,
3

k) =
_
4 2
2 4
_
.
Como det Hf(
3

k,
3

k) = 12 y a
11
= 4 > 0, el ortoedro de supercie mnima
es precisamente el cubo de dimensiones x = y = z =
3

k.
PROBLEMA 4.96
Sea la curva interseccion del cono z
2
= x
2
+ y
2
con el plano
z = 1+x+y. Encontrar los puntos de que estan mas cerca y mas
lejos del origen.
Solucion
El problema equivale a maximizar o minimizar el cuadrado de la distancia de
un punto de la curva al origen. As pues, debemos determinar los maximos y
306
mnimos de la funcion u = x
2
+y
2
+z
2
sujeta a las restricciones z
2
x
2
y
2
=
0, z x y 1 = 0.
En primer lugar debemos comprobar que el conjunto
M = (x, y, z) : z
2
x
2
y
2
= 0, z x y 1 = 0
es una 2-variedad. Para ello, basta denir el abierto U = R
3
(x, y, z) : y ,=
z y la funcion F : U R
2
por
F(x, y, z) = (z
2
x
2
y
2
, z x y 1)
para los que se cumplen las condiciones que denen una variedad.
Sabemos que una condicion necesaria para la existencia de extremos es que
tenga solucion el sistema
2x = 2x
2y = 2y
2z = 2z +
z = x +y + 1
z
2
= x
2
+y
2
.
Al resolver este sistema, debemos distinguir dos casos:
i) Si x = y, se obtienen los puntos estacionarios
P
1
=
_
2 +

2
2
,
2 +

2
2
, 1+

2
_
, P
2
=
_
2

2
2
,
2

2
2
, 1

2
_
.
ii) Si x ,= y, debe ser = 1 y = 0, lo que no da lugar a ning un punto
estacionario.
Tenemos por tanto dos puntos estacionarios; como la curva es cerrada
pero no acotada, no podemos asegurar que se alcancen los valores maximo
y mnimo. Para determinar las caractersticas de los puntos estacionarios,
supondremos que las ecuaciones que denen la curva permiten expresar
las variables y y z como funciones implcitas de x (se deja como ejercicio
la comprobacion de las hipotesis del teorema de la funcion implcita). Esto
permite suponer u como funcion de la unica variable x y poder aplicar el
criterio de la derivada segunda.
Tenemos as:
u

(x) = 2x + 2y y

+ 2z z

(x) = 2 + 2(y

)
2
+ 2y y

+ 2(z

)
2
+ 2z z

.
307
Al derivar con respecto a x en las ecuaciones z
2
x
2
y
2
= 0 y zxy1 = 0,
obtenemos:
2z z

2x 2y y

= 0
z

1 y

= 0
_
=
_
y

=
zx
yz
z

=
yx
yz
.
_
y

=
(z

1)(y z) (z x)(y

)
(y z)
2
z

=
(y

1)(y z) (y x)(y

)
(y z)
2
.
Aplicando estos resultados en los puntos estacionarios obtenidos y susti-
tuyendolos en la derivada segunda de u, resulta:
u

(P
1
) = 16 8

2 > 0, u

(P
2
) = 16 + 8

2 > 0,
lo que signica que ambos puntos corresponden a mnimos relativos de la
funcion. Para determinar el mnimo absoluto, basta calcular el valor de la
funcion en dichos puntos. Como
u(P
1
) = 6 4

2, u(P
2
) = 6 + 4

2,
concluimos que la distancia mnima se alcanza en el punto P
1
=
_
2 +

2
2
,
2 +

2
2
, 1 +

2
_
y no hay ning un punto de la curva cuya distancia al origen sea maxima (lo
que era de esperar al saber que la curva no esta acotada).
308
PROBLEMA 4.97
En un campo de fuerzas, la componente seg un el eje X de la re-
sultante aplicada a un cuerpo situado en (x, y) es
F(x, y) = x
2
+ 36x + 2 (x 2y)
2
,
donde x e y son las coordenadas del punto. Si un cuerpo se ha
de mover sobre la recta x + y = 1, calcular el punto en que la
componente de la fuerza sea mnima, dentro del crculo x
2
+y
2
3.
Solucion
Consideramos la funcion
g(x, y) = x
2
+ 36x + 2 (x 2y)
2
+(x +y 1),
y resolvemos el sistema que se obtiene al anular las derivadas de primer
orden, unidas a la condicion de ligadura x +y = 1:
2x + 36 2(x 2y) + = 0,
4(x 2y) + = 0,
x +y 1 = 0.
La unica solucion del sistema es el punto x = 3, y = 2 y corresponde al
valor = 28.
Como el conjunto M = (x, y) R
2
: x+y1 = 0, x
2
+y
2
3 es compacto
(se trata del segmento AB de la gura) y la funcion F es continua, alcanza
el valor mnimo. El punto estacionario (3, 2) no pertenece al segmento AB,
de modo que el mnimo solo puede alcanzarse en alguno de los extremos A
o B.
309
Dichos puntos tienen coordenadas
A =
_
1

5
2
,
1 +

5
2
_
, B =
_
1 +

5
2
,
1

5
2
_
.
Como F(A) = 20

5 + 10 y F(B) = 20

5 + 10, deducimos que el valor

mnimo de la fuerza se alcanza en el punto A =
_
1

5
2
,
1 +

5
2
_
.
310
PROBLEMAS PROPUESTOS.
1.- La funcion z = h(x) se obtiene eliminando la variable y entre las
ecuaciones
z = f(x, y)
0 = g(x, y)
_
. Expresar h

(x) en funcion de las derivadas

de f y g.
2.- Dada la funcion f(x, y) = e
xy
+ x + y, comprobar que la ecuacion
f(x, y) = 0 dene implcitamente una funcion y = g(x) en un entorno
de (0, 1). Calcular g

(0).
3.- Para que valores de a la ecuacion (x a)(x y) = 0 dene im-
plcitamente una funcion y = g(x) en un entorno de (2, 2)?
4.- Cerca de que puntos, la supercie
x
3
+ 3y
2
+ 8xz
2
3yz
3
= 1
se puede representar como funcion implcita diferenciable z = f(x, y)?
5.- Sabiendo que la ecuacion xy + z + 3xz
5
= 4 representa de forma
implcita una funcion z = g(x, y) en un entorno del punto (1, 0, 1),
calcular
g
x
(1, 0) y
g
y
(1, 0).
6.- Sea f(x, y, z) = 0. Probar que
x
y

y
z

z
x
= 1, bajo suposiciones
adecuadas.
7.- Estudiar si la ecuacion
x
2
+xy +y
2
+z
2
+z = 5
dene a z como funcion implcita de x e y en un entorno del punto
P = (1, 1, 1). En caso armativo, hallar
z
x
(P) y

2
z
xy
(P).
8.- Si F(x, y, z) = 0 dene la funcion z = g(x, y), calcular

2
g
x
2
.
311
9.- La ecuacion sen(x +y) + sen(y +z) = 1 dene z = f(x, y). Calcular

2
f
xy
en funcion de x, y, z.
10.- Calcular

2
z
yx
si z = z(x, y) viene denida implcitamente por la
ecuacion x + 2y +z +e
x+y+z
= 0.
11.- Dada la funcion f(x, y, z) = (x
3
+ y
3
+ 3x
2
y 3z, x y + z
3
+ 1)
y el punto P = (1, 1, 1), probar que f(x, y, z) = 0 dene una funcion
g(x) =
_
g
1
(x), g
2
(x)
_
en un entorno de P y calcular g

(x).
12.- Se considera la funcion f(x, y, z, u, v) = (4x +yv e
u
, y 2z +3v
ucos v) y el punto P = (1, 3, 0, 0, 1).
Probar que f(x, y, z, u, v) = (0, 0) permite denir una funcion g(x, y, z) =
_
g
1
(x, y, z), g
2
(x, y, z)
_
en un entorno de P y calcular
g
x
,
g
y
,
g
z
.
13.- Las ecuaciones x = u +v, y = uv
2
denen implcitamente v como
funcion de x e y, eliminando la variable u. Probar que
v
x
=
v(x, y)
3v(x, y) 2x
,
y encontrar una formula analoga para
v
y
.
14.- Las ecuaciones x+y = uv, xy = uv, denen x e y como funciones
implcitas de u y v, por ejemplo, x = X(u, v), y = Y (u, v). Probar que
X
u
=
xv 1
x y
, si x ,= y, y hallar formulas similares para
X
v
,
Y
u
,
Y
v
.
15.- Las ecuaciones
x
2
y cos(uv) +z
2
= 0
x
2
+y
2
sen(uv) + 2z
2
= 2
xy senucos v +z = 0
denen x, y, z como funciones de u, v. Calcular
x
u
,
x
v
en el punto
x = 1, y = 1, u = /2, v = 0, z = 0.
16.- Calcular la recta tangente a la curva denida en forma implcita
por la ecuacion x
3
+y
3
2xy +x y 2 = 0 en el punto (1, 0).
312
17.- Hallar el plano tangente a la supercie z = g(x, y) denida im-
plcitamente por la ecuacion 3e
x

y +

x
2
+z
2
y

x
2
+z
2
= 0 en el punto P =
(0, 2, 1).
18.- Sea f : R
2
R la funcion denida por f(x, y) = y cos x. Probar que
f(x, y) = 0 dene una funcion implcita diferenciable y = h(x) en un
entorno de (0, 0). Hallar h

(0). Posee h funcion inversa diferenciable

en un entorno del origen?
19.- Sea g : R
2
R
2
la funcion denida por
g(x, y) = (chxcos y, shxseny).
Probar que g posee inversa diferenciable en un entorno de cada punto
de R
2
distinto del origen. Posee g una unica inversa?
20.- Cambiar en la ecuacion diferencial
d
2
y
dx
2
(x
2
+m
2
) +
dy
dx
x = 0 la
variable independiente por v, denida mediante la relacion x = mshv.
21.- Transformar la ecuacion (x
2
+y
2
)
d
2
y
dx
2
+ 2
_
1 +
_
dy
dx
_
2
_
_
y x
dy
dx
_
= 0
mediante el cambio x = cos , y = sen, siendo = ().
22.- Sea V = x
2

2
z
y
2
2xy

2
z
xy
+y
2

2
z
x
2
. Escribir esta ecuacion con
respecto a las nuevas variables (u, v), denidas por x = ae
u
cos v, y =
ae
u
senv.
23.- Escribir en coordenadas cilndricas la expresion H =
_

2
z
xy
_
2

2
z
x
2


2
z
y
2
.
24.- Transformar la ecuacion x
2
z
x
+y
2
z
y
= z
2
, tomando como nue-
vas variables independientes u = x, v = 1/y1/x y como nueva funcion
w = 1/z 1/x.
25.- En la expresion H =

2
z
x
2


2
z
y
2
, hacer el cambio x = u cht, y =
u sht.
313
26.- Tomando u y v por nuevas variables independientes, transformar
la ecuacion

2
z
x
2
y

2
z
y
2
=
1
2

z
y
, y > 0,
si u = x 2

y, v = x + 2

y.
27.- Tomando u y v por nuevas variables independientes y w = w(u, v)
por una nueva funcion, transformar la ecuacion
z

2
z
x
2
+z

2
z
y
2
+
_
z
x
_
2
+
_
z
y
_
2
= 0,
siendo u = x
2
y
2
, v = x
2
+y
2
, w = z
2
.
28.- Transformar la ecuacion xyz
_
z x
z
x
y
z
y
_
3
=
z
x

z
y
, hacien-
do el cambio de variables x
2
= u, y
2
= v, z
2
= w.
29.- En la ecuacion en derivadas paricales
1
x
2
_
z
x
_
2
+
1
y
2
_
z
y
_
2
= e
z
,
hacer el cambio u = x
2
+y
2
, v = x
2
y
2
, w = 2e
z
.
30.- Existen a, b reales y distintos tales que el cambio de variables
_
u = y +ax
v = y +bx
transforme la ecuacion
4

2
f
x
2
+ 5

2
f
xy
+

2
f
y
2
= 0
en

2
f
uv
= 0?
31.- Calcular los extremos relativos de las siguientes funciones:
(a) f(x, y) = xy
2
(3 x y).
(b) f(x, y) = xy +
1
x
+
8
y
.
32.- Hallar y clasicar los extremos relativos de las siguientes funcio-
nes:
(a) f(x, y) = e
x
2
y
2
x
.
(b) f(x, y) = xye
x
2
y
2
.
314
(c) f(x, y) = (x
2
+ 3y
2
)e
x
2
y
2
.
33.- Hallar y clasicar los puntos estacionarios de las funciones
(a) f(x, y) = xy ln(x
2
+y
2
).
(b) f(x, y) = x
2
2y
3
ln(x
2
+y
2
).
34.- Hallar los extremos de f en las regiones dadas:
(a) f(x, y) = x
2
+y
2
, M = (x, y) R
2
: y 2.
(b) f(x, y) = x
2
+y
2
, M = (x, y) R
2
: y 2 +x
2
.
(c) f(x, y) = xy, M = (x, y) R
2
: 1 x 1, 1 y 1.
35.- Hallar los maximos y mnimos de la funcion f(x, y) = x
2
+y
2
bajo
la condicion y +x
2
= 1.
36.- Encontrar el maximo valor de u = xy
2
z
3
si x, y, z son n umeros
reales positivos tales que x +y +z = 12.
37.- Hallar los valores extremos de la funcion f(x, y, z) = x 2y + 2z
en la esfera x
2
+y
2
+z
2
= 1.
38.- Encontrar los valores extremos de la funcion f(x, y) = (x y)
n
bajo la restriccion x
2
+y
2
= 1.
39.- Hallar los puntos de la interseccion del plano x + y + z = 0 con
la esfera x
2
+y
2
+z
2
= 1 tales que el producto de sus coordenadas sea
maximo o mnimo.
40.- Hallar el punto del plano 2x y + 2z = 3 mas proximo al ori-
gen.
41.- Hallar el punto de la supercie z = xy 1 que este mas proximo
al origen de coordenadas.
42.- Hallar los puntos de la curva interseccion de las supercies x
2

xy +y
2
z
2
= 1, x
2
+y
2
= 1, mas proximos al origen.
43.- Hallar las dimensiones que maximicen el volumen de una caja
rectangular sin tapa de area 16 m
2
.
315
44.- Hallar los ejes de la elipse 5x
2
+ 8xy + 5y
2
= 9, sabiendo que
esta centrada en el origen.
45.- Calcular la distancia al origen de la recta de ecuacion
_
2x + 2y +z + 9 = 0
2x y 2z 18 = 0.
46.- Hallar los puntos de la esfera x
2
+y
2
+z
2
= 9 que estan mas cerca
y mas lejos, respectivamente, del punto M(2, 3, 4).
47.- Hallar los puntos de la curva dada por la interseccion de las
supercies x
2
+ y
2
= 4 y 6x + 3y + 2z = 6, que esten mas proximos y
mas alejados del origen.
48.- Hallar el volumen del mayor paraleleppedo rectangular inscrito
en el elipsoide de semiejes a, b y c.
49.- Sea C la parte de arco de curva interseccion del paraboloide 2z =
16 x
2
y
2
con el plano x + y = 4 que se encuentra en el primer
octante. Hallar los puntos de C mas cercanos y mas lejanos al origen.
Calcular las distancias mnima y maxima de C al origen.
50.- Un espejo rectangular OABC, de lados a y c, se ha partido por
una de sus esquinas, digamos O, de manera que el trozo OMN es un
triangulo rectangulo, de base m y altura n. Aprovechando el fragmento
MABCNM, encontrar un punto P, sobre MN, de tal manera que el
nuevo espejo rectangular PLBH tenga area maxima.
51.- (a) Estudiar los extremos de la funcion f(x, y, z) = lnx+lny+3 lnz
sobre la porcion de esfera x
2
+ y
2
+ z
2
= 5r
2
en la que x > 0, y > 0,
z > 0.
(b) Utilizar el apartado anterior para demostrar que, si a, b, c R
+
,
entonces
abc
3
27
_
a +b +c
5
_
5
.
52.- (a) Maximizar la funcion f(x, y, z) = a lnx + b lny + c lnz, donde
a, b, c son constantes positivas, sujetas a la condicion x
k
+y
k
+z
k
= 1,
con x, y, z 0 y k > 0.
316
(b) A partir del resultado de (a), deducir la siguiente desigualdad para
cualesquiera seis n umeros reales positivos a, b, c, u, v, w:
_
u
a
_
a
_
v
b
_
b
_
w
c
_
c

_
u +v +w
a +b +c
_
a+b+c
.
53.- (a) Hallar los extremos de la funcion f(x, y) = x
3
+3xy
2
15x12y
cuando (x, y) R
2
.
(b) Desarrollar la funcion anterior en serie de Taylor de segundo
orden alrededor del punto (1, 1).
54.- Probar que xyz + sen(z 6) 2(x +y +x
2
y
2
) = 0 dene a z como
funcion implcita de x e y, z = f(x, y), en un entorno del punto (1, 1, 6).
Es (1, 1) punto extremo de f(x, y)?
55.- Sea la funcion f(x, y, z) = x
2
+y
3
+xz +xy +az.
(a) Para que valores de a la funcion f(x, y, z) = 0 dene a z como
funcion implcita de x e y (z = h(x, y)) en un entorno del origen?
(b) Para que valores de a la funcion z = h(x, y) tiene un extremo en
el punto (0, 0)?
56.- (a) Calcular los extremos de la funcion f(x, y) = 2x
4
+y
4
2x
2

2y
2
.
(b) Si consideramos la ecuacion f(x, y) = 0, es posible expresar x
como funcion implcita de y en un entorno del punto P =
_
_
1+

3
2
, 1
_
?
En caso armativo, calcular la derivada de dicha funcion.
57.- Se considera la funcion f(x, y) = (2 +xy)(x + 2y).
(a) Determinar los extremos relativos de f.
(b) Comprobar si alguna de las siguientes identidades es cierta:
i) x
f
x
(x, y) +y
f
y
(x, y) = 4 f(x, y).
ii) x
2

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

2
f
y
2
(x, y) +

2
f
xy
(x, y) +

2
f
yx
(x, y) = 2 f(x, y).
iii) y

3
f
x
3
(x, y) x

3
f
y
3
(x, y) = 0.
317
58.- Se considera la funcion f(x, y) = x
4
+y
4
4xy.
(a) Determinar los extremos relativos de f.
(b) Comprobar si alguna de las siguientes identidades es cierta:
i) x
f
x
(x, y) +y
f
y
(x, y) = 4 f(x, y).
ii) x
2

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

2
f
y
2
(x, y) + 12

2
f
xy
(x, y) = 12 f(x, y).
iii) y

3
f
x
3
(x, y) x

3
f
y
3
(x, y) = 0.
318