Está en la página 1de 39

EJERCICIOS DE CLCULO DIFERENCIAL

EN FUNCIONES DE VARIAS VARIABLES














Matemticas I. Prof.: Ignacio Lpez Torres
Ejercicios de clculo diferencial en funciones de varias variables.
Ejercicio 1.
Estudia la continuidad de las siguientes funciones:
a) )(r, j, .) =
(
r
2
:

r
2
+
2
para (r, j, .) 6= (0, 0, .)
0 para (r, j, .) = (0, 0, .)
.
b) )(r, j) =
(
r
3

r
6
+
2
para (r, j) 6= (0, 0)
0 para (r, j) = (0, 0)
.
c) )(r, j) =
(
r
4
+
4
r
2
+
2
para (r, j) 6= (0, 0)
0 para (r, j) = (0, 0)
.
d) )(r, j) =
(

r
2
+
2
para (r, j) 6= (0, 0)
0 para (r, j) = (0, 0)
.
Una solucin.
a) Observa que dom) = R
3
. De las propiedades de las funciones continuas,
se deduce que esta funcin es continua en todos los puntos de su dominio salvo,
eventualmente, en los puntos de la forma (0, 0, .), con . R. En estos puntos,
para estudiar la existencia del lmite lim
(r,,:)(0,0,:)
)(r, j, .) (observa que se trata
de una indeterminacin del tipo
0
0
), procedemos de modo similar al resultado
visto en el ejemplo 5.3.4.2. de la parte de teora (correspondiente a un cambio
a esfricas), pero efectuando ahora en la funcin )(r, j, .) un cambio a coor-
denadas cilndricas. En este sistema de coordenadas, un punto 1(r, j, .) del
espacio se expresa mediante tres coordenadas, 1(r, 0, .), donde el signicado de
r, que es la distancia del punto 1 al eje O7, del ngulo 0, y de la coordenada
., se muestra en la Figura 1.
Figura 1
1
Matemticas I. Prof. Ignacio Lpez Torres
El cambio de variable para pasar de coordenadas cilndricas a cartesianas es
r = r cos 0
j = r sen0
. = ..
Inversamente, para pasar de coordenadas cartesianas a cilndricas, el cambio de
variable es
r =
p
r
2
+j
2
0 = arc tan
j
r
. = .
vericndose que r 0, y que 0 0 < 2.
Por tanto, efectuando un cambio a coordenadas cilndricas para estudiar la
existencia del lmite lim
(r,,:)(0,0,:)
)(r, j, .), se cumple que
lim
:0
)(r cos 0, r sen0, .) = . lim
:0
r
2
cos
2
0
r
=
= . lim
:0
r cos
2
0 = 0,
cualquiera que sean . R, 0 [0, 2), por lo que
lim
:0
)(r cos 0, r sen0, .) = 0,
uniformemente en 0 y cualquiera que sea . R, y as se verica que lim
(r,,:)(0,0,:)
)(r, j, .) =
0. En denitiva, puesto que
)(0, 0, .) = lim
(r,,:)(0,0,:)
)(r, j, .) = 0,
resulta que la funcin ) tambin es continua en todos los puntos de la forma
(0, 0, .), con . R.
b) Observa que dom) = R
2
. De las propiedades de las funciones continuas,
se deduce que esta funcin es continua en todos los puntos de su dominio salvo,
eventualmente, el origen de coordenadas (0, 0). En este punto, para estudiar la
existencia del lmite lim
(r,)(0,0)
)(r, j), veamos que sucede al aproximarnos segn
cbicas (pasando por el punto (0, 0)) del tipo j = :r
3
. Haciendo j = :r
3
en
la expresin del lmite segn dichas cbicas, se llega a
lim
r0
r
3
j
r
6
+j
2
= lim
r0
r
3

:r
3

r
6
+ (:r
3
)
2
= lim
r0
r
3

:r
3

r
6
(1 +:
2
)
=
:
1 +:
2
,
de donde se sigue, aplicando la propiedad 5.1.2.1. de la parte terica, que no
existe lim
(r,)(0,0)
)(r, j), por lo que la funcin ) no es continua en dicho punto
(0, 0).
2
Matemticas I. Prof. Ignacio Lpez Torres
c) De las propiedades de las funciones continuas, se deduce que esta funcin
es continua en todos los puntos salvo, eventualmente, el origen de coordenadas
(0, 0). Para estudiar la existencia del lmite lim
(r,)(0,0)
)(r, j) (observa que se
trata de una indeterminacin del tipo
0
0
), efectuamos en la funcin )(r, j) un
cambio a coordenadas polares, obteniendo
lim
0
)(j cos 0, j sen0) = lim
0
j
2

cos
4
0 + sen
4
0

= 0,
cualquiera que sea 0 (0, 2]. Por tanto, dado que lim
0
)(j cos 0, j sen0) = 0,
uniformemente en 0, se verica que lim
(r,)(0,0)
)(r, j) = 0, y resulta que la
funcin ) tambin es continua en (0, 0) (al ser )(0, 0) = lim
(r,)(0,0)
)(r, j)).
d) Observa que dom) = R
2
. De las propiedades de las funciones continuas,
se deduce que esta funcin es continua en todos los puntos de su dominio salvo,
eventualmente, el origen de coordenadas (0, 0). Para estudiar la existencia del
lmite lim
(r,)(0,0)
)(r, j) (observa que se trata de una indeterminacin del tipo
0
0
), veamos que sucede al aproximarnos segn rectas (pasando por el punto
(0, 0)) del tipo j = :r. Haciendo j = :r en la expresin del lmite segn
dichas rectas, se llega a
lim
r0
:r

r
2
+:
2
r
2
=
:

1 +:
2
,
de donde se sigue, aplicando la propiedad 5.1.2.1. de la parte terica, que no
existe lim
(r,)(0,0)
)(r, j), por lo que la funcin ) no es continua en dicho punto
(0, 0).
Ejercicio 2.
Estudia la existencia de derivadas parciales primeras, y construye las fun-
ciones derivadas parciales de primer orden, de las siguientes funciones:
a) )(r, j) =
(
r
2

r
6
+
2
para (r, j) 6= (0, 0)
0 para (r, j) = (0, 0)
.
b) )(r, j) =
(
r(1)+sen(r
3
)
r
2
+
2
para (r, j) 6= (0, 0)
0 para (r, j) = (0, 0)
.
c) )(r, j) =
(
(r
2
+r
2
) sen(r)
r
2
+
2
para (r, j) 6= (0, 0)
0 para (r, j) = (0, 0)
.
d) )(r, j) =

r
2
j
2
log

r
2
+j
2

para (r, j) 6= (0, 0)


0 para (r, j) = (0, 0)
.
3
Matemticas I. Prof. Ignacio Lpez Torres
e) )(r, j) = |r j|.
Una solucin.
a) Observa que dom) = R
2
. Veamos que la funcin ) admite derivadas
parciales en todos los puntos de su dominio. En efecto, aplicando las propiedades
de las funciones derivables, las reglas de derivacin vistas para funciones de una
variable, y simplicando, se llega fcilmente a que (r, j) R
2
\{(0, 0)} es
0)
0r
(r, j) =
2rj

2r
6
j
2

(r
6
+j
2
)
2
0)
0j
(r, j) =
r
2

r
6
j
2

(r
6
+j
2
)
2
.
En cuanto al origen, aplicando la denicin de derivada parcial, se obtiene
0)
0r
(0, 0) = lim
|0
)(/, 0) )(0, 0)
/
= lim
|0
0
/
= 0
0)
0j
(0, 0) = lim
|0
)(0, /) )(0, 0)
/
= lim
|0
0
/
= 0,
por lo que tambin existen derivadas parciales en dicho punto, y son ambas
nulas.
Por tanto, las funciones derivadas parciales de primer orden de ) quedan
denidas del modo siguiente
0)
0r
(r, j) =
(

2r(2r
6

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

2
)
(r
6
+
2
)
2
para (r, j) 6= (0, 0)
0 para (r, j) = (0, 0)
.
Este ejemplo prueba (una vez ms) que la existencia de derivadas parciales
de primer orden en un punto, no implica la continuidad en dicho punto. En
efecto, fcilmente se prueba (p.e. procediendo de modo similar al ejemplo 1.b))
que esta funcin no es continua en (0, 0).
b) Observa que dom) = R
2
. Veamos que la funcin ) admite derivadas
parciales en todos los puntos de su dominio. En efecto, aplicando las propiedades
de las funciones derivables, las reglas de derivacin vistas para funciones de una
variable, y simplicando, se llega fcilmente a que (r, j) R
2
\{(0, 0)} es
0)
0r
(r, j) =
jr
2
+j
3
+r
2
j
2
j
4
+ 3r
4
cos r
3
+ 3r
2
j
2
cos r
3
2rsenr
3
(r
2
+j
2
)
2
0)
0j
(r, j) =
r
3
+rj
2
+ 2r
3
j + 2j senr
3
(r
2
+j
2
)
2
.
4
Matemticas I. Prof. Ignacio Lpez Torres
En cuanto al origen, aplicando la denicin de derivada parcial, se obtiene
0)
0r
(0, 0) = lim
|0
)(/, 0) )(0, 0)
/
= lim
|0
sen |
3
|
2
/
= 1
0)
0j
(0, 0) = lim
|0
)(0, /) )(0, 0)
/
= lim
|0
0 0
/
= 0,
por lo que tambin existen derivadas parciales de primer orden en (0, 0).
Por tanto, las funciones derivadas parciales de primer orden de ) quedan
denidas del modo siguiente
0)
0r
(r, j) =
(
r
2
+
3
+r
2

4
+3r
4
cos r
3
+3r
2

2
cos r
3
2rsen r
3
(r
2
+
2
)
2
para (r, j) 6= (0, 0)
1 para (r, j) = (0, 0)
0)
0j
(r, j) =
(

r
3
+r
2
+2r
3
+2 sen r
3
(r
2
+
2
)
2
para (r, j) 6= (0, 0)
0 para (r, j) = (0, 0)
.
c) Observa que dom) = R
2
. Veamos que la funcin ) admite derivadas par-
ciales de primer orden en todos los puntos de su dominio. En efecto, aplicando
las propiedades de las funciones derivables, las reglas de derivacin vistas para
funciones de una variable, y simplicando, se llega a que (r, j) R
2
\{(0, 0)}
es
0)
0r
(r, j) =
j

sen(r j)(2rj
2
r
2
j +j
3
) + cos(r j)(r
4
+r
2
j
2
+r
3
j +rj
3
)

(r
2
+j
2
)
2
0)
0j
(r, j) =
r

sen(r j)(r
3
rj
2
+ 2r
2
j) cos(r j)(r
3
j +rj
3
+r
2
j
2
+j
4
)

(r
2
+j
2
)
2
.
En cuanto al origen, aplicando la denicin de derivada parcial, se obtiene
0)
0r
(0, 0) = lim
|0
)(/, 0) )(0, 0)
/
= lim
|0
0 0
/
= 0
0)
0j
(0, 0) = lim
|0
)(0, /) )(0, 0)
/
= lim
|0
0 0
/
= 0,
por lo que tambin existen derivadas parciales en dicho punto, y son ambas
nulas.
Por tanto, las funciones derivadas parciales de primer orden de ) quedan
denidas del modo siguiente
0)
0r
(r, j) =
(
[sen(r)(2r
2
r
2
+
3
)+cos(r)(r
4
+r
2

2
+r
3
+r
3
)]
(r
2
+
2
)
2
para (r, j) 6= (0, 0)
0 para (r, j) = (0, 0)
0)
0j
(r, j) =
(
r[sen(r)(r
3
r
2
+2r
2
)cos(r)(r
3
+r
3
+r
2

2
+
4
)]
(r
2
+
2
)
2
para (r, j) 6= (0, 0)
0 para (r, j) = (0, 0)
.
5
Matemticas I. Prof. Ignacio Lpez Torres
d) Observa que dom) = R
2
. Veamos que la funcin ) admite derivadas par-
ciales de primer orden en todos los puntos de su dominio. En efecto, aplicando
las propiedades de las funciones derivables, las reglas de derivacin vistas para
funciones de una variable, y simplicando, se llega a que (r, j) R
2
\{(0, 0)}
es
0)
0r
(r, j) =
2rj
2

(r
2
+j
2
) log(r
2
+j
2
) +r
2

r
2
+j
2
0)
0j
(r, j) =
2r
2
j

(r
2
+j
2
) log(r
2
+j
2
) +j
2

r
2
+j
2
.
En cuanto al origen, aplicando la denicin de derivada parcial, se obtiene
0)
0r
(0, 0) = lim
|0
)(/, 0) )(0, 0)
/
= lim
|0
0 0
/
= 0
0)
0j
(0, 0) = lim
|0
)(0, /) )(0, 0)
/
= lim
|0
0 0
/
= 0,
por lo que tambin existen derivadas parciales en dicho punto, y son ambas
nulas.
Por tanto, las funciones derivadas parciales de primer orden de ) quedan
denidas del modo siguiente
0)
0r
(r, j) =
(
2r
2
[(r
2
+
2
) log(r
2
+
2
)+r
2
]
r
2
+
2
para (r, j) 6= (0, 0)
0 para (r, j) = (0, 0)
0)
0j
(r, j) =
(
2r
2
[(r
2
+
2
) log(r
2
+
2
)+
2
]
r
2
+
2
para (r, j) 6= (0, 0)
0 para (r, j) = (0, 0)
.
e) Desplegando el valor absoluto, la funcin )(r, j) = |r j| se puede ree-
scribir en la forma
)(r, j) =

(r j) para r j 0
r j para r j 0
,
y sus derivadas parciales de primer orden son
0)
0r
(r, j) =

1 para r j < 0
1 para r j 0
0)
0j
(r, j) =

1 para r j < 0
1 para r j 0
.
La grca de esta funcin en el cubo [0, 1] [0, 1] [0, 2] se bosqueja en la
6
Matemticas I. Prof. Ignacio Lpez Torres
Figura 2
Figura 2
Es evidente que, en todos los puntos (r, j) R
2
tales que rj = 0, es decir, a
lo largo de la recta

r = j
. = 0
mostrada en dicha Figura 2, la funcin ) no admite
derivadas parciales de primer orden. Esto se puede ver fcilmente recordando
que la funcin ) : R R denida mediante )(.) = |.| no es derivable en el
punto . = 0.
Ejercicio 3.
Calcular las derivadas direccionales siguientes:
a) De la funcin ) : R
n
R, denida mediante
)(r) = krk =
q
r
2
1
+r
2
2
+... +r
2
n
,
segn el vector (unitario) =

1

n
,
1

n
, ...,
1

R
n
, en el punto a = (a
1
, a
2
, ..., a
n
)
R
n
.
b) De la funcin ) : R
2
R, denida mediante

r sen r
r
2
+
2
para (r, j) 6= (0, 0)
0 para (r, j) = (0, 0)
,
en el punto (0, 0) segn cualquier vector (unitario y no nulo) = (
1
,
2
) R
2
.
c) De la funcin ) : R
2
R, denida mediante
(
(r
2

4
)
2
(r
2
+
4
)
2
para (r, j) 6= (0, 0)
1 para (r, j) = (0, 0)
,
7
Matemticas I. Prof. Ignacio Lpez Torres
en el punto (0, 0) segn cualquier vector (unitario y no nulo) = (
1
,
2
) R
2
.
d) De la funcin ) : R
2
R, denida mediante
(
r
2

2
r
4
+
4
para (r, j) 6= (0, 0)
0 para (r, j) = (0, 0)
,
en el punto (0, 0) segn cualquier vector (unitario y no nulo) = (
1
,
2
) R
2
.
Una solucin.
a) Por las propiedades de las funciones diferenciables sabemos que ) es
diferenciable en todos los puntos salvo en r = 0 (en dicho punto, recuerda que
la funcin q : R R denida mediante q(r) = |r|, obtenida haciendo : = 1 en
), no es diferenciable en el punto r = 0 R, de donde se sigue que la funcin
dada, )(r) = krk, no es diferenciable en 0 R
n
).
Por tanto, para todo r R
n
, con r 6= 0, por ser ) diferenciable, podemos
aplicar la siguiente frmula para la derivada direccional
1
u
)(a) =
n
X
I=1
0)(a)
0r
I

I
= )(a) ,
y, dado que en este caso es
)(a) =

1
krk
(r
1
, r
2
, ..., r
n
)

(o
1
,o
2
,...,o

)
=
1
kak
(a
1
, a
2
, ..., a
n
)
=

1

:
,
1

:
, ...,
1

,
se llega a
1
u
)(a) =

:
:kak
n
X
I=1
a
I
.
Finalmente, en el punto 0 R
n
, aplicando la denicin de derivada direc-
cional, las propiedades de la norma, y teniendo en cuenta que kk = 1, se verica
que
1
u
)(0) = lim
|0
)(t) )(0)
t
= lim
|0
ktk 0
t
= lim
|0
|t|
t
y este lmite no existe, ya que
lim
|0

|t|
t
= lim
|0

t
t
= 1
lim
|0
+
|t|
t
= lim
|0
+
t
t
= 1.
Por tanto, no existe derivada direccional de la funcin )(r) = krk en el punto
r = 0 segn el vector . Ms an, observamos que dicha funcin )(r) = krk, no
admite derivada direccional en el punto r = 0 segn ningn vector (unitario) .
8
Matemticas I. Prof. Ignacio Lpez Torres
b) Aplicando la denicin de derivada direccional, se verica que
1
u
)(0, 0) = lim
|0
)(0 +t
1
, 0 +t
2
) )(0, 0)
t
= lim
|0
|
2
u
1
u
2
sen(|u
1
)
|
2
(u
2
1
+u
2
2
)
0
t
=
=

1

2
1
+
2
2
lim
|0
sen(t
1
)
t
=

2
1

2
1
+
2
2
.
c) Aplicando la denicin de derivada direccional, se verica que
1
u
)(0, 0) = lim
|0
)(0 +t
1
, 0 +t
2
) )(0, 0)
t
= lim
|0
(u
2
1
|
2
u
4
2
)
2
(u
2
1
+|
2
u
4
2
)
2
1
t
=
= lim
|0
4t
2
1

4
2
(
2
1
+t
2

4
2
)
2
= 0.
Por tanto, esta funcin admite derivada direccional en el punto (0, 0) segn
cualquier vector (unitario) , y dicha derivada direccional es siempre nula. Sin
embargo, observa que esta funcin no es continua en (0, 0), ya que lim
(r,)(0,0)
)(r, j)
no existe (se llega a esta conclusin utilizando aproximaciones al origen segn
parbolas del tipo j
2
= :r), ni diferenciable en (0, 0) (por no ser continua en
(0, 0).
d) Aplicando la denicin de derivada direccional, se verica que
1
u
)(0, 0) = lim
|0
)(0 +t
1
, 0 +t
2
) )(0, 0)
t
= lim
|0
u
2
1
u
2
2
u
4
1
+u
4
2
0
t
=
=

2
1

2
2

4
1
+
4
2
lim
|0
1
t
.
Se pueden presentar los siguientes casos:
Si
1

2
6= 0, no existe derivada direccional de la funcin dada en el punto
(0, 0), ya que el lmite lim
|0
1
|
no existe.
Si
1

2
= 0, es decir, si = (1, 0) o si = (0, 1), entonces existen las
derivadas direccionales de la funcin dada en el punto (0, 0) segn dichos
vectores, y son ambas nulas.
Ejercicio 4.
a) Prueba que la funcin ) : R
2
R denida mediante
(
(r
2

4
)
2
(r
2
+
4
)
2
para (r, j) 6= (0, 0)
1 para (r, j) = (0, 0)
,
9
Matemticas I. Prof. Ignacio Lpez Torres
no es diferenciable en el punto (0, 0), demostrando que ) no es continua en
(0, 0).
b) Prueba que la funcin ) : R
2
R denida mediante

(r +j)
2
sen
1
r+
para r +j 6= 0
0 para r +j = 0
,
es diferenciable en el punto (0, 0), aplicando la denicin de diferenciabili-
dad. Prueba que ) admite derivadas parciales de primer orden en (0, 0), y que
dichas derivadas parciales no son continuas en (0, 0). Contradice este ejemplo
la propiedad 6.3.3.5. vista en la parte terica?
c) Prueba que la funcin ) : R
2
R denida mediante
(
r
2

r
2
+
2
para (r, j) 6= (0, 0)
0 para (r, j) = (0, 0)
,
es diferenciable en el punto (0, 0), demostrando que ) admite derivadas
parciales de primer orden en una bola de centro el punto (0, 0), y que dichas
derivadas parciales son continuas en (0, 0).
d) Prueba que la funcin ) : R
2
R denida mediante

rsen
1
r
2
+
2
para (r, j) 6= (0, 0)
0 para (r, j) = (0, 0)
,
no es diferenciable en el punto (0, 0), demostrando que ) no admite alguna
derivada parcial de primer orden en (0, 0).
e) Prueba que la funcin ) : R
2
R denida mediante
(
r
2

r
4
+
2
para (r, j) 6= (0, 0)
0 para (r, j) = (0, 0)
,
admite derivadas direccionales en el punto (0, 0) segn cualquier vector (uni-
tario) = (
1
,
2
), pero no es diferenciable en (0, 0).
Una solucin.
a) Para esta funcin se prob en el ejercicio 3.c) que admite derivada direc-
cional en el punto (0, 0) segn cualquier vector (unitario) , y que dicha derivada
direccional es siempre nula (en particular, ) admite derivadas parciales de primer
orden en dicho punto, y son ambas nulas). Sin embargo, veamos que esta fun-
cin no es continua en (0, 0), debido a que lim
(r,)(0,0)
)(r, j) no existe. En efecto,
utilizando aproximaciones al origen segn parbolas del tipo j
2
= :r, se llega
10
Matemticas I. Prof. Ignacio Lpez Torres
a la siguiente expresin del lim
(r,)(0,0)
)(r, j) para cualquier aproximacin al
origen segn dichas parbolas:
lim
r0

r
2
:
2
r
2

2
(r
2
+:
2
r
2
)
2
=

1 :
2
1 +:
2

2
.
Dado que este lmite depende de la parbola considerada, concluimos que
el lmite lim
(r,)(0,0)
)(r, j) no existe y, como consecuencia, ) no es continua en
(0, 0). Aplicando la propiedad vista en el apartado 6.3.3.2. de la parte terica,
resulta que ) no es diferenciable en (0, 0).
b) Veamos que, para esta funcin, existen derivadas parciales de primer
orden en todos los puntos, en particular en el origen. En efecto, aplicando
las propiedades de las funciones derivables, las reglas de derivacin vistas para
funciones de una variable, y simplicando, se llega fcilmente a que (r, j)
R
2
\{(r, j) R
2
tales que r +j = 0} es
0)
0r
(r, j) = 2 (r +j) sen
1
r +j
cos
1
r +j
0)
0j
(r, j) = 2 (r +j) sen
1
r +j
cos
1
r +j
.
En cuanto al origen, aplicando la denicin de derivada parcial, se obtiene
0)
0r
(0, 0) = lim
|0
)(/, 0) )(0, 0)
/
= lim
|0
/
2
sen
1
|
0
/
= lim
|0
/sen
1
/
= 0
0)
0j
(0, 0) = lim
|0
)(0, /) )(0, 0)
/
= lim
|0
/
2
sen
1
|
0
/
= lim
|0
/sen
1
/
= 0,
por lo que tambin existen derivadas parciales en dicho punto, y son )
r
(0, 0) = 0
y )

(0, 0) = 0.
Veamos que estas derivadas parciales no son continuas en (0, 0). En este
punto, observamos que el lmite
lim
(r,)(0,0)
)
r
(r, j) = lim
(r,)(0,0)

2 (r +j) sen
1
r +j
cos
1
r +j

=
= lim
(r,)(0,0)
cos
1
r +j
,
y este lmite no existe. Por tanto, )
r
no es continua en el punto (0, 0) (id. para
)

(0, 0)). Ms an, )


r
y )

no son continuas en puntos (r, j) R


2
tales que
r +j = 0.
Veamos, sin embargo, que ) es diferenciable en (0, 0). Para ello, calculamos
lim
(r,)(0,0)
)(r, j) )(0, 0) )
r
(0, 0)(r 0) )

(0, 0)(j 0)
q
(r 0)
2
+ (j 0)
2
=
= lim
(r,)(0,0)
(r +j)
2
sen
1
r+
0 0(r 0) 0(j 0)
p
r
2
+j
2
= lim
(r,)(0,0)
(r +j)
2
sen
1
r+
p
r
2
+j
2
.
11
Matemticas I. Prof. Ignacio Lpez Torres
Pasando a coordenadas polares para calcular este ltimo lmite, se llega a
lim
0
j (cos 0 + sen0)
2
sen
1
j (cos 0 + sen0)
= 0,
cualquiera que sea 0 (0, 2]. Por tanto, dado que
lim
(r,)(0,0)
)(r, j) )(0, 0) )
r
(0, 0)(r 0) )

(0, 0)(j 0)
q
(r 0)
2
+ (j 0)
2
= 0,
resulta que ) es diferenciable en el punto (0, 0).
Este ejemplo no contradice la propiedad 6.3.3.5. vista en la parte terica,
dado que la condicin de que existan las derivadas parciales
J}
Jr
y
J}
J
en una
bola de centro (0, 0), y sean ambas continuas en el punto (0, 0), es tan solo una
condicin suciente, no siendo necesaria para garantizar la diferenciabilidad de
la funcin ) en dicho punto (0, 0).
c) Veamos que, para esta funcin ), existen derivadas parciales de primer
orden en todos los puntos, en particular en el origen. En efecto, aplicando
las propiedades de las funciones derivables, las reglas de derivacin vistas para
funciones de una variable, y simplicando, se llega fcilmente a que (r, j)
R
2
\{(0, 0)} es
0)
0r
(r, j) =
rj

r
2
+ 2j
2

(r
2
+j
2
)
3
2
0)
0j
(r, j) =
r
4
(r
2
+j
2
)
3
2
.
En cuanto al origen, aplicando la denicin de derivada parcial, se obtiene
0)
0r
(0, 0) = lim
|0
)(/, 0) )(0, 0)
/
= lim
|0
0 0
/
= 0
0)
0j
(0, 0) = lim
|0
)(0, /) )(0, 0)
/
= lim
|0
0 0
/
= 0,
por lo que tambin existen derivadas parciales en dicho punto, y son )
r
(0, 0) = 0
y )

(0, 0) = 0.
Veamos que estas derivadas parciales son continuas en (0, 0). En este punto,
pasando a coordenadas polares, por ejemplo en la expresin de )
r
(r, j), se llega
a que
lim
0
)
r
(j cos 0, j sen0) = lim
0
j cos 0 sen0

cos
2
0 + 2 sen
2
0

= 0
para cualquiera que sea 0 (0, 2]. Por tanto, dado que lim
0
)
r
(j cos 0, j sen0) =
0, uniformemente en 0, se verica que lim
(r,)(0,0)
)
r
(r, j) = 0 = )
r
(0, 0), resul-
tando que )
r
es continua en el punto (0, 0) (similarmente para )

). Como
12
Matemticas I. Prof. Ignacio Lpez Torres
consecuencia, aplicando la propiedad 6.3.3.5. vista en la parte terica, ) es
diferenciable en (0, 0).
d) Veamos que, para esta funcin, no existe derivada parcial )
r
(0, 0). En
efecto, aplicando la denicin de derivada parcial en el punto (0, 0), se obtiene
0)
0r
(0, 0) = lim
|0
)(/, 0) )(0, 0)
/
= lim
|0
/sen
1
|
2
0
/
= lim
|0
sen
1
/
2
,
y este lmite no existe. Por tanto, dado que ) no admite derivada parcial
)
r
(0, 0), ) no es diferenciable en (0, 0).
e) Aplicando la denicin de derivada direccional en el punto (0, 0) segn el
vector (unitario) = (
1
,
2
), y siempre que sea
2
6= 0, se verica que
1
u
)(0, 0) = lim
|0
)(0 +t
1
, 0 +t
2
) )(0, 0)
t
= lim
|0

2
1

2
t
2

4
1
+
2
2
=

2
1

2
(con
2
6= 0).
Por tanto, siempre que sea
2
6= 0, ) admite derivada direccional en el punto
(0, 0) segn cualquier vector (unitario) = (
1
,
2
), y en tal caso es
1
u
)(0, 0) =

2
1

2
En particular, para el vector = (0, 1) se obtiene
1
u
)(0, 0) =
0)
0j
(0, 0) =
0
2
1
= 0.
En cuanto a la derivada direccional de ) en la direccin del vector = (1, 0),
dado que es igual a la derivada parcial
J}
Jr
(0, 0), podemos obtenerla mediante
0)
0r
(0, 0) = lim
|0
)(/, 0) )(0, 0)
/
= 0.
Por tanto, ) admite derivada direccional en el punto (0, 0) segn cualquier
vector (unitario) = (
1
,
2
), y dicha derivada direccional se dene mediante
1
u
)(0, 0) =
(
u
2
1
u
2
cuando
2
6= 0
0 cuando
2
= 0
Veamos que ) no es diferenciable en (0, 0). Esto se sigue de la discontinuidad
de ) en (0, 0), como fcilmente se comprueba utilizando una aproximacin al ori-
gen por parbolas del tipo r
2
= :j, que muestra que el lmite lim
(r,)(0,0)
)(r, j)
depende de la direccin. En efecto, mediante dicha aproximacin se obtiene el
lmite
lim
0
:j
2
:
2
j
2
+j
2
=
:
1 +:
2
.
13
Matemticas I. Prof. Ignacio Lpez Torres
En denitiva, esta funcin ) admite derivada direccional en el punto (0, 0)
segn cualquier vector, pero ) no es diferenciable en dicho punto (0, 0).
La gura 3 bosqueja la grca de esta funcin en una bola del origen.
Figura 3
Ejercicio 5.
Se considera la funcin ) : R
2
R, denida mediante
(
rj
(r+) sen(r)
r
2
+
2
para (r, j) 6= (0, 0)
0 para (r, j) = (0, 0)
.
Calcula )
r
(0, 0) y )
r
(0, 0). Contradice el resultado obtenido el teorema de
Clairaut, de igualdad de las derivadas parciales cruzadas?Verica ) dicho teo-
rema para cualquier (r, j) R
2
\(0, 0)?
Una solucin.
Es fcil probar que la funcin ) es continua en todos los puntos, inclu-
ido el origen de coordenadas (0, 0). Asimismo es sencillo obtener las funciones
derivadas parciales de primer orden de ), que son
0)
0r
(r, j) =
(

[sen(r)(r
2
2r
2

3
)cos(r)(r
4
+r
2

2
+r
3
+r
3
)]
(r
2
+
2
)
2
para (r, j) 6= (0, 0)
0 para (r, j) = (0, 0)
0)
0j
(r, j) =
(
r[sen(r)(r
3
r
2
+2r
2
)cos(r)(r
3
+r
3
+r
2

2
+
4
)]
(r
2
+
2
)
2
para (r, j) 6= (0, 0)
0 para (r, j) = (0, 0)
,
14
Matemticas I. Prof. Ignacio Lpez Torres
y probar que ambas funciones
J}
Jr
y
J}
J
son continuas en todos los puntos, ex-
cluido (0, 0). En efecto, aproximaciones al origen por rectas del tipo j = :r
muestran que los lmites lim
r0
)
r
(r, :r) y lim
r0
)

(r, :r) dependen de la di-


reccin, por lo que los lmites dobles lim
(r,)(0,0)
)
r
(r, j) y lim
(r,)(0,0)
)

(r, j) no
existen.
Veamos que, para esta funcin ), no se cumple la igualdad de las derivadas
parciales cruzadas de segundo orden en el origen. En efecto, dado que
)
r
(0, 0) = lim
|0
)
r
(0, /) )
r
(0, 0)
/
= lim
|0

|(|
3
sen |)
|
4
0
/
= lim
|0
sen/
/
= 1
)
r
(0, 0) = lim
|0
)

(/, 0) )

(0, 0)
/
= lim
|0
|(|
3
sen |)
|
4
0
/
= lim
|0
sen/
/
= 1,
resulta que )
r
(0, 0) = 1 6= 1 = )
r
(0, 0).
El resultado obtenido no contradice el teorema de Clairaut, debido a que no
se cumplen las condiciones para aplicar este teorema. En efecto, hemos visto
que )
r
y )

no son continuas en (0, 0).


Obviamente, en cualquier punto (r, j) R
2
distinto del punto (0, 0), se
cumplen las condiciones para aplicar dicho teorema, por lo que
)
r
(r, j) = )
r
(r, j), (r, j) R
2
\ (0, 0) .
Ejercicio 6.
Determina el mnimo valor de : N para que la funcin ) : R
2
R, denida
mediante

r

sen r

sen
r
2
+
2
para (r, j) 6= (0, 0)
0 para (r, j) = (0, 0)
admita plano tangente en el punto (0, 0). Para el valor de : obtenido, determina
las ecuaciones del plano tangente y de la recta normal a la supercie . = )(r, j)
en el punto (0, 0).
Una solucin.
En el apartado 6.2. de la parte terica, vimos que si ) es diferenciable en
(0, 0), entonces ) admite plano tangente en (0, 0), y la ecuacin de dicho plano
tangente es
. = )(0, 0) +)
r
(0, 0)(r 0) +)

(0, 0)(j 0).


Por tanto, se trata de determinar el mnimo valor de : N para que la
funcin ) sea diferenciable en el punto (0, 0). Dado que la continuidad de ) en
(0, 0) es condicin necesaria para la diferenciabilidad de ) en (0, 0), comenzamos
observando que el mnimo valor de : N para que la funcin ) sea continua
en (0, 0) es : = 2 . En efecto, para este valor : = 2, fcilmente se comprueba,
15
Matemticas I. Prof. Ignacio Lpez Torres
por ejemplo pasando a coordenadas polares, que lim
(r,)(0,0)
)(r, j) = 0, veri-
cndose que )(0, 0) = lim
(r,)(0,0)
)(r, j) = 0, mientras que para : = 1 el lmite
lim
(r,)(0,0)
)(r, j) no existe.
Supongamos, por tanto, que : 2. Dado que la existencia de derivadas
parciales de primer orden de ) en (0, 0) es condicin necesaria para la diferen-
ciabilidad de ) en (0, 0), comenzamos onteniendo el mnimo valor de : N para
que la funcin ) admita derivadas parciales de primer orden en (0, 0).
Aplicando la denicin de derivada parcial en el punto (0, 0), se obtiene
0)
0r
(0, 0) = lim
|0
)(/, 0) )(0, 0)
/
= lim
|0
|

sen |
|
2
0
/
= lim
|0
/
n3
sen/
0)
0j
(0, 0) = lim
|0
)(0, /) )(0, 0)
/
= lim
|0

sen |
|
2
0
/
= lim
|0
/
n3
sen/,
y dichos lmites existen siempre que sea : 2. Para : = 2, dichos lmites valen
1 y 1 respectivamente, y para : 3, dichos lmites valen 0.
Supongamos inicialmente que : 3. En tal caso,
J}
Jr
(0, 0) =
J}
J
(0, 0) = 0, y
aplicando la denicin de diferenciabilidad en (0, 0) se verica que
lim
(r,)(0,0)
)(r, j) )(0, 0) )
r
(0, 0)(r 0) )

(0, 0)(j 0)
q
(r 0)
2
+ (j 0)
2
=
= lim
(r,)(0,0)
r

sen r

sen
r
2
+
2
p
r
2
+j
2
= lim
(r,)(0,0)
r
n
senr j
n
senj
(r
2
+j
2
)
3
2
,
y este lmite existe y vale 0 (siempre que sea : 3).
Veamos que para : = 2 la funcin no es diferenciable en (0, 0). En efecto,
para : = 2 es
J}
Jr
(0, 0) = 1,
J}
J
(0, 0) = 1, por lo que aplicando la denicin de
diferenciabilidad en (0, 0)
lim
(r,)(0,0)
)(r, j) )(0, 0) )
r
(0, 0)(r 0) )

(0, 0)(j 0)
q
(r 0)
2
+ (j 0)
2
=
= lim
(r,)(0,0)
r
2
sen r
2
sen
r
2
+
2
r +j
p
r
2
+j
2
=
= lim
(r,)(0,0)
r
2
senr j
2
senj r
3
rj
2
+r
2
j +j
3
(r
2
+j
2
)
3
2
,
y este lmite no existe como probaremos utilizando una aproximacin al origen
por rectas del tipo j = :r. En efecto, esta aproximacin conduce al lmite
lim
r0
r
2
senr :
2
r
2
sen:r r
3
:
2
r
3
+:r
3
+:
3
r
3
(r
2
+:
2
r
2
)
3
2
=
= lim
r0
r
2
senr :
2
r
2
sen:r r
3
:
2
r
3
+:r
3
+:
3
r
3
(r
2
+:
2
r
2
)
3
2
,
16
Matemticas I. Prof. Ignacio Lpez Torres
y este lmite no existe, dado que depende de : como fcilmente se comprueba
utilizando desarrollos en serie (senr = r
1
6
r
3
+..., sen:r = :r
1
6
:
3
r
3
+...).
Por tanto, el mnimo valor de : N para que la funcin ) sea diferenciable
en el punto (0, 0) es : = 3. Para dicho valor, se verica que
0)
0r
(0, 0) =
0)
0j
(0, 0) = 0,
y la ecuacin del plano tangente a la supercie . = )(r, j) en el punto (0, 0)
es
. = 0 + 0(r 0) + 0(j 0),
es decir, . = 0.
La ecuacin de la recta normal a la supercie . = )(r, j) en el punto (0, 0)
es
r 0
J}
Jr
(0, 0)
=
j 0
J}
J
(0, 0)
=
. )(0, 0)
1
,
es decir, el eje O7
r = 0
j = 0

.
Ejercicio 7.
a) Calcula el volumen de material necesario para fabricar un vaso cilndrico
de paredes delgadas de radio interior r, altura interior /, grosor de la pared
lateral t
1
, y grosor de la pared de la base t
2
(todos los datos estn expresados
en metros).
b) Obtn una aproximacin numrica al valor de la variacin que experi-
menta la funcin )(r, j) =
p
|rj| cuando r vara de 4 a 4.01 e j vara de 9 a
8.99. Que error se comete con dicha aproximacin?
c) Al medir las dimensiones del radio de la base r y de la altura / de un
cono de revolucin recto, se obtuvieron, respectivamente, los siguientes valores:
r = 14 cm y / = 21 cm. Sabiendo que dichas medidas estn sujetas a errores
mximos de 0.1 cm y 0.15 cm, respectivamente, obtn una estimacin del error
mximo en que se puede incurrir al calcular el volumen del cono utilizando
dichas medidas.
Una solucin.
a) El volumen exacto \
t
de material necesario para fabricar dicho vaso se
obtiene restando el volumen total del cilindro exterior menos el volumen del
cilindro interior, mediante
\
t
= (r +t
1
)
2
(/ +t
2
) r
2
/ =
=

r
2
t
2
+ 2r/t
1
+ 2rt
1
t
2
+/t
2
1
+t
2
1
t
2

.
17
Matemticas I. Prof. Ignacio Lpez Torres
De manera aproximada (dado que el vaso es de paredes delgadas), si desig-
namos por \
I
el volumen del cilindro interior, entonces \
I
= r
2
/, y el material
necesario para fabricar dicho vaso se obtiene de modo aproximado mediante la
diferencial
d\
I
=
0\
I
0r
dr +
0\
I
0/
d/,
donde dr t
1
y d/ t
2
. Operando, se llega a
d\
I
= 2r/t
1
+r
2
t
2
= r (2/t
1
+rt
2
) .
b) Hemos visto en la parte de teora que la expresin
)(r, j) )(a, /) +)
r
(a, /)(r a) +)

(a, /)(j /),


es la linealizacin de ) en el punto (a, /), y que dicha aproximacin se denomina
aproximacin lineal (o aproximacin del plano tangente) a la funcin ) en (a, /).
Para valores de (r, j) en las proximidades de (a, /), la linealizacin de ) en
el punto (a, /) se puede expresar mediante
)(r, j) )(a, /) +)
r
(a, /)dr +)

(a, /)dj,
por lo que, particularizando para la funcin )(r, j) =
p
|rj| y el punto (4, 9),
se llega a
)(4.01, 8.99) )(4, 9) +)
r
(4, 9) 0.01 +)

(4, 9) (0.01) .
En estas condiciones, teniendo en cuenta que en el punto (4, 9) es
)
r
(4, 9) =
j
2

rj

(4,9)
=
3
4
= 0.75
)

(4, 9) =
r
2

rj

(4,9)
=
1
3
,
se obtiene
)(4.01, 8.99) 6 + 0.75 0.01
0.01
3
6.0042.
Por tanto, la variacin que experimenta ) es
)(4.01, 8.99) ) (4, 9) 6.0042 6 = 0.0042.
Finalmente, dado que el valor exacto de dicha variacin es
p
|4.01 8.99|
p
|4 9| 0.00416,
el error que se comete mediante la aproximacin lineal es del orden de
c 0.0001.
18
Matemticas I. Prof. Ignacio Lpez Torres
c) El volumen de este cono es
\ =
1
3
r
2
/ =
1
3
14
2
21 = 1372 4310.262 cm
3
.
Diferenciando en esta expresin, se llega a
d\ =
0\
0r
dr +
0\
0/
d/ =
2
3
r/dr +
1
3
r
2
d/.
Por tanto, el error (absoluto) mximo en que se puede incurrir al calcular el
volumen del cono utilizando dichas medidas es del orden de
d\ =
2
3
14 21 0.1 +
1
3
14
2
0.15 = 29.4 92.363 cm
3
,
que, en relacin al volumen calculado, supone un error relativo de
d\
\

92.363
4310.262
2.143%.
Ejercicio 8.
Para las siguientes funciones ) y q, estudiar la diferenciabilidad de las com-
posiciones / = ) q en los puntos especicados. En caso de diferenciables,
obtener su diferencial:
a) ) : R
3
R
2
denida mediante )(r, j, .) =

r
2
+ 2j
2
+ 3.
2
, 4r
2
j
2

q : R
2
R
3
, con = {(n, ) R
2
: n 3 y (n, ) 6= (0, 0)}, denida
mediante q(n, ) =

n 3,

n
2
+
2
, 3n 4

, en el punto (4, 3).


b) ) : R
3
R
2
, con = {(r, j, .) R
3
: (r, j) 6= (0, 0)}, denida
mediante )(r, j, .) =

r
2
+j
2
,
:
r
2
+
2

q : R
3
R
3
denida mediante q(n, , n) = (nsen cos n, nsen senn, ncos ),
en el punto

t
4
,
t
6
, 4

.
Una solucin.
a) Aplicando el resultado visto en la parte de teora, concerniente a la regla
de la cadena, dado que q es diferenciable en (4, 3), por ser sus tres componentes
diferenciables en dicho punto, y ) es diferenciable en q(4, 3) = (1, 5, 0), por ser
sus dos componentes diferenciables en (1, 5, 0), resulta que ) q es diferenciable
en (4, 3), y se verica que
1() q) (4, 3) = 1)(q(4, 3)) 1q(4, 3) =
= 1) (1, 5, 0) 1q(4, 3).
19
Matemticas I. Prof. Ignacio Lpez Torres
En estas condiciones, de
1)(r, j, .) =

2r 4j 6.
8r 2j 0

,
se sigue que
1) (1, 5, 0) =

2 20 0
8 10 0

.
Del mismo modo, de
1q(n, ) =

1
2

u3
0
u

u
2
+u
2
u

u
2
+u
2
3 4

se sigue que
1q(4, 3) =

1
2
0
4
5
3
5
3 4

.
Por tanto,
1() q) (4, 3) =

2 20 0
8 10 0

1
2
0
4
5
3
5
3 4

=

17 12
4 6

.
Finalmente, la diferencial de ) q en el punto (4, 3), se puede expresar
mediante
d () q) (4, 3) =

17 12
4 6

dn
d

.
b) Aplicando el resultado visto en la parte de teora, concerniente a la regla
de la cadena, dado que q es diferenciable en

t
4
,
t
6
, 4

, por ser sus tres compo-


nentes diferenciables en dicho punto (las tres componentes se expresan mediante
el producto de funciones diferenciables de una variable), y ) es diferenciable
en q

t
4
,
t
6
, 4

=

2,

2, 2

, por ser sus dos componentes diferenciables en

2,

2, 2

, resulta que ) q es diferenciable en



t
4
,
t
6
, 4

, y se verica que
1() q)

4
,

6
, 4

= 1)

q

4
,

6
, 4

1q

4
,

6
, 4

=
= 1)

2,

2, 2

1q

4
,

6
, 4

.
En estas condiciones, de
1)(r, j, .) =

2r 2j 0
2r:
(r
2
+
2
)
2
2:
(r
2
+
2
)
2
1
r
2
+
2
!
,
20
Matemticas I. Prof. Ignacio Lpez Torres
se sigue que
1)

2,

2, 2

2 2

2 0

6
4

6
4
1
4
!
.
Del mismo modo, de
1q(n, , n) =

nsen senn ncos cos n sen cos n


nsen cos n ncos senn sen senn
0 nsen cos

se sigue que
1q

4
,

6
, 4

2

6

2
4

2

6

2
4
0 2

3
2

.
Por tanto,
1() q)

4
,

6
, 4

2 2

2 0

6
4

6
4
1
4
!

2

6

2
4

2

6

2
4
0 2

3
2

=
=

0 8

3 2
0
7
2

3
8
!
.
Finalmente, la diferencial de ) q en el punto

t
4
,
t
6
, 4

, se puede expresar
mediante
d () q)

4
,

6
, 4

0 8

3 2
0
7
2

3
8
!

dn
d
dn

.
Ejercicio 9.
Determina los puntos (r, j, .) R
3
para los que las siguientes funciones
) : R
3
R
3
son localmente invertibles. Para dichos puntos, obtn la diferencial
de la funcin )
1
(localmente denida) en el punto que se especica.Son dichas
funciones globalmente invertibles?
a) ) : R
3
R
3
denida mediante )(r, j, .) = (. senj cos r, . senj senr, . cos j),
en el punto

t
4
,
t
6
, 4

.
b) ) : R
3
R
3
denida mediante )(r, j, .) = (rcos j, rsenj, .), en el
punto

2,
t
3
, 3

.
21
Matemticas I. Prof. Ignacio Lpez Torres
Una solucin.
a) Por la propiedades de las funciones diferenciables, se verica que )
C
1
(R
3
), y (r, j, .) R
3
se cumple que
|1)(r, j, .)| =

. senj senr . cos j cos r senj cos r


. senj cos r . cos j senr senj senr
0 . senj cos j

= .
2
senj.
Por tanto, designando por = {(r, j, .) R
3
: . = 0 o j = / para
/ = 0, 1, 2, ...}, se verica que (r, j, .) R
3
\, es |1)(r, j, .)| 6= 0.
Observamos que ) no admite funcin inversa global (ya que, al ser )(r, j, .) =
)(r 2/, j 2/, .), para / = 0, 1, 2, ..., ) no es inyectiva). Sin embargo,
dado que ) cumple las condiciones del Teorema de la funcin inversa en todo
punto (r, j, .) R
3
\ () C
1
(R
3
) y |1)(r, j, .)| 6= 0, (r, j, .) R
3
\),
) es localmente invertible en cualquier punto (r, j, .) R
3
\. Por tanto,
(r, j, .) R
3
\ existe un conjunto abierto l conteniendo al punto (r, j, .)
en el cual ) : l \ = )(l) es regular. Ms aun, en tales casos, el conjunto
\ = )(l) es un conjunto abierto, y la funcin inversa local )
1
: \ l verica
que )
1
C
1
(\ ), y que
1)
1
(n, , n) = (1)(r, j, .))
1
=

. senj senr . cos j cos r senj cos r


. senj cos r . cos j senr senj senr
0 . senj cos j

1
=
=


sen r
: sen
cos r
: sen
0
cos rcos
:
sen rcos
:

sen
:
senj cos r senj senr cos j

.
donde (n, , n) = )(r, j, .).
En particular, si consideramos el punto (r, j, .) =

t
4
,
t
6
, 4

, se verica que
)

t
4
,
t
6
, 4

=

2,

2, 2

, y es
1)
1

2,

2, 2

=

1)

4
,

6
, 4

1
=

2

6

2
4

2

6

2
4
0 2

3
2

1
=
=

2
4

2
4
0

6
16

6
16

1
8
2
4

2
4

3
2

.
Finalmente, la diferencial de )
1
en el punto

2,

2, 2

, se expresa mediante
d)
1

2,

2, 2

2
4

2
4
0

6
16

6
16

1
8
2
4

2
4

3
2

dn
d
dn

.
22
Matemticas I. Prof. Ignacio Lpez Torres
b) Por la propiedades de las funciones diferenciables, se verica que )
C
1
(R
3
), y (r, j, .) R
3
se cumple que
|1)(r, j, .)| =

cos j rsenj 0
senj rcos j 0
0 0 1

= r.
Por tanto, designando por = {(r, j, .) R
3
: r = 0}, se verica que
(r, j, .) R
3
\, es |1)(r, j, .)| 6= 0.
Observamos que ) no admite funcin inversa global (ya que, al ser )(r, j, .) =
)(r, j 2/, .), para / = 0, 1, 2, ..., ) no es inyectiva). Sin embargo, dado
que ) cumple las condiciones del Teorema de la funcin inversa en todo punto
(r, j, .) R
3
\ () C
1
(R
3
) y |1)(r, j, .)| 6= 0, (r, j, .) R
3
\), ) es lo-
calmente invertible en cualquier punto (r, j, .) R
3
\. Por tanto, (r, j, .)
R
3
\ existe un conjunto abierto l conteniendo al punto (r, j, .) en el cual
) : l \ = )(l) es regular. Ms aun, en tales casos, el conjunto \ = )(l)
es un conjunto abierto, y la funcin inversa local )
1
: \ l verica que
)
1
C
1
(\ ), y que
1)
1
(n, , n) = (1)(r, j, .))
1
=

cos j rsenj 0
senj rcos j 0
0 0 1

1
=
=

cos j senj 0

sen
r
cos
r
0
0 0 1

.
En particular, si consideramos el punto (r, j, .) =

2,
t
3
, 3

, se verica que
)

2,
t
3
, 3

=

1,

3, 3

, y es
1)
1

1,

3, 3

=

1)

2,

3
, 3

1
=

1
2

3 0

3
2
1 0
0 0 1

1
=
=

1
2

3
2
0

3
4
1
4
0
0 0 1

.
Finalmente, la diferencial de )
1
en el punto

1,

3, 3

, se expresa mediante
d)
1

1,

3, 3

1
2

3
2
0

3
4
1
4
0
0 0 1

dn
d
dn

.
23
Matemticas I. Prof. Ignacio Lpez Torres
Ejercicio 10.
a) Se considera la funcin 1 : R
2
R denida mediante
1(r, j) = r
3
+j
3
+r
2
+rj +j
2
+aj.
Determina los valores del parmetro a R para los cuales la ecuacin
1(r, j) = 0
dene a j como funcin implcita de r, j = )(r), en un entorno del punto (0, 0).
Para dichos valores de a, obtn )
0
(0).
b) Sea
= {(r, j) R
2
: r 0, j 0}.
considera la funcin 1 : R denida mediante
1(r, j) = r

j
r
.
Estudia si la ecuacin
1(r, j) = 0
dene a j como funcin implcita de r, j = )(r), en un entorno del punto

c
1
, c
1

. En caso armativo, obtn )


0
(c
1
).
c) Sea
= {(r, j, .) R
3
: r 0, j 0, . 0}.
considera la funcin 1 : R denida mediante
1(r, j, .) = rlog . +j log r +. log j.
Estudia si la ecuacin
1(r, j, .) = 0
dene a . como funcin implcita de r e j, . = )(r, j), en un entorno del punto
(1, 1, 1). En caso armativo, obtn )
r
(1, 1) y )

(1, 1).
Una solucin.
a) Teniendo en cuenta que 1 C
1
(R
2
), que 1(0, 0) = 0, y que
1

(0, 0) =

3j
2
+r + 2j +a

{r=0,=0}
= a 6= 0
si y solamente si a 6= 0. Por tanto, aplicando el teorema de la funcin implcita,
siempre que sea a 6= 0, en las proximidades del punto (0, 0) la ecuacin 1(r, j) =
0 dene una funcin diferenciable j = )(r) tal que 1(r, )(r)) = 0.
24
Matemticas I. Prof. Ignacio Lpez Torres
En dicho punto (0, 0), y para dicha funcin implcita j = )(r), obtenemos
j
0
(0) =
1
r
(0, 0)
1

(0, 0)
=

3r
2
+j + 2r

{r=0,=0}
a
=
0
a
= 0.
b) Teniendo en cuenta que 1 C
1
(), que 1

c
1
, c
1

= 0, y que
1

c
1
, c
1

=

r

log r +rj
r1

{r=t
1
,=t
1
}
= 2c
t
1
6= 0
resulta, aplicando el teorema de la funcin implcita que, en las proximidades
del punto

c
1
, c
1

la ecuacin 1(r, j) = 0 dene una funcin diferenciable


j = )(r) tal que 1(r, )(r)) = 0.
En dicho punto

c
1
, c
1

, y para dicha funcin implcita j = )(r), obten-


emos
j
0
(c
1
) =
1
r

c
1
, c
1

(c
1
, c
1
)
=

rj
r1
+r

log r

{r=t
1
,=t
1
}
2c
t
1
=
2c
t
1
2c
t
1
= 1.
c) Teniendo en cuenta que 1 C
1
(), que 1 (1, 1, 1) = 0, y que
1

(1, 1, 1) =
h
r
.
+ log j
i
{r=1,=1,:=1}
= 1 6= 0
resulta, aplicando el teorema de la funcin implcita que, en las proximidades
del punto (1, 1, 1) la ecuacin 1(r, j, .) = 0 dene una funcin diferenciable
. = )(r, j) tal que 1(r, j, )(r, j)) = 0.
En dicho punto (1, 1, 1), y para dicha funcin implcita . = )(r, j), obten-
emos
.
r
(1, 1) =
1
r
(1, 1, 1)
1
:
(1, 1, 1)
=

log . +

r

{r=1,=1,:=1}
1
= 1
.

(1, 1) =
1

(1, 1, 1)
1
:
(1, 1, 1)
=
h
log r +
:

i
{r=1,=1,:=1}
1
= 1.
Ejercicio 11.
Calcula y clasica los extremos relativos de las siguientes funciones:
a) )(r, j) = r
3
j
4
+ 2j
2
3r.
b) )(r, j) = r

r
2
2r +j
2

.
c) )(r, j) = r
4
2r
3
+ 6r
2
j + 7r
2
6rj +j
2
6r + 2j + 1.
25
Matemticas I. Prof. Ignacio Lpez Torres
d) )(r, j) = rj

r
2
j
2

.
e) )(r, j) = (r j)
2
.
f) )(r, j) =

j r
2

2
.
g) )(r, j) =

j r
2

2
r
6
.
Una solucin.
a) Al ser ) un polinomio, se verica que ) C

(R
2
), por lo que se pueden
aplicar las condiciones introducidas en la parte de teora. Al aplicar la condicin
necesaria de extremo, se llega al sistema
)
r
= 3r
2
3 = 0
)

= 4j
3
+ 4j = 0,
cuyas soluciones son los puntos crticos (1, 0),(1, 1), (1, 1), (1, 0),(1, 1) y
(1, 1).
Al aplicar la condicin suciente a estos puntos, teniendo en cuenta que
)
rr
= 6r
)

= 12j
2
+ 4
)
r
= 0,
resulta que:
En el punto (1, 0): Dado que )
rr
(1, 0) = 6, )

(1, 0) = 4, )
r
(1, 0) = 0,
observamos que se verica en dicho punto que
)
rr
(1, 0) = 6 0, |H)(1, 0)| = )
rr
(1, 0))

(1, 0) ()
r
(1, 0))
2
= 24 0,
por lo que el punto (1, 0) es un mnimo local de ).
En el punto (1, 1): Dado que )
rr
(1, 1) = 6, )

(1, 1) = 8, )
r
(1, 1) = 0,
observamos que se verica en dicho punto que
)
rr
(1, 1) = 6 0, |H)(1, 1)| = )
rr
(1, 1))

(1, 1)()
r
(1, 1))
2
= 48 < 0,
por lo que el punto (1, 1) es un punto de silla de ).
En el punto (1, 1): Dado que )
rr
(1, 1) = 6, )

(1, 1) = 8, )
r
(1, 1) =
0, observamos que se verica en dicho punto que
)
rr
(1, 1) = 6 0, |H)(1, 1)| = )
rr
(1, 1))

(1, 1)()
r
(1, 1))
2
= 48 < 0,
por lo que el punto (1, 1) es un punto de silla de ).
26
Matemticas I. Prof. Ignacio Lpez Torres
En el punto (1, 0): Dado que )
rr
(1, 0) = 6, )

(1, 0) = 4, )
r
(1, 0) =
0, observamos que se verica en dicho punto que
)
rr
(1, 0) = 6 < 0, |H)(1, 0)| = )
rr
(1, 0))

(1, 0)()
r
(1, 0))
2
= 24 < 0,
por lo que el punto (1, 0) es un punto de silla de ).
En el punto (1, 1): Dado que )
rr
(1, 1) = 6, )

(1, 1) = 8, )
r
(1, 1) =
0, observamos que se verica en dicho punto que
)
rr
(1, 1) = 6 < 0, |H)(1, 1)| = )
rr
(1, 1))

(1, 1) ()
r
(1, 1))
2
=
= 48 0,
por lo que el punto (1, 1) es un mximo local de ).
En el punto (1, 1): Dado que )
rr
(1, 1) = 6, )

(1, 1) = 8,
)
r
(1, 1) = 0, observamos que se verica en dicho punto que
)
rr
(1, 1) = 6 < 0, |H)(1, 1)| = )
rr
(1, 1))

(1, 1) ()
r
(1, 1))
2
=
= 48 0,
por lo que el punto (1, 1) es un mximo local de ).
Las Figuras 4 y 5 bosquejan, respectivamente, la grca de esta funcin en
el cubo [2, 2] [2, 2] [10, 2.5], y tpicas lineas de nivel de )
Figura 4
27
Matemticas I. Prof. Ignacio Lpez Torres
Figura 5
b) Al ser ) un polinomio, se verica que ) C

(R
2
), por lo que se pueden
aplicar las condiciones introducidas en la parte de teora. Al aplicar la condicin
necesaria de extremo, se llega al sistema
)
r
= 3r
2
4r +j
2
= 0
)

= 2rj = 0,
cuyas soluciones son los puntos crticos (0, 0) y

4
3
, 0

.
Al aplicar la condicin suciente a estos puntos, teniendo en cuenta que
)
rr
= 6r 4
)

= 2r
)
r
= 0,
resulta que:
En el punto (0, 0): Dado que )
rr
(0, 0) = 4, )

(0, 0) = 0, )
r
(0, 0) = 0,
observamos que se verica en dicho punto que
)
rr
(0, 0) = 4 < 0, |H)(0, 0)| = )
rr
(0, 0))

(0, 0) ()
r
(0, 0))
2
= 0,
28
Matemticas I. Prof. Ignacio Lpez Torres
por lo que nada se puede armar, aplicando esta condicin suciente,
respecto al caracter del punto (0, 0). Aplicando la denicin de extremo
local, analicemos el signo de la expresin
c(r, j) = )(r, j) )(0, 0) = r

r
2
2r +j
2

para puntos (r, j) pertenecientes a una bola de centro (0, 0). En la gura
6 se muestran estos signos.
Figura 6
En el crculo r
2
2r + j
2
< 0 (excluyendo la frontera), es c < 0. En
el exterior del crculo, en el semiplano r 0 es c 0 y en el semiplano
r < 0 es c < 0. Sobre la circunferencia, y sobre el eje O1 , es c = 0. Dado
que c(r, j) = )(r, j) )(0, 0) no mantiene signo constante en una bola de
centro el origen, resulta que (0, 0) es un punto de silla.
En el punto

4
3
, 0

: Dado que )
rr

4
3
, 0

= 4, )

4
3
, 0

=
8
3
, )
r

4
3
, 0

= 0,
observamos que se verica en dicho punto que
)
rr

4
3
, 0

= 4 0,

H)

4
3
, 0

= )
rr

4
3
, 0

4
3
, 0

)
r

4
3
, 0

2
=
=
32
3
0,
por lo que

4
3
, 0

es un mnimo local de ).
29
Matemticas I. Prof. Ignacio Lpez Torres
c) Al ser ) un polinomio, se verica que ) C

(R
2
), por lo que se pueden
aplicar las condiciones introducidas en la parte de teora. Al aplicar la condicin
necesaria de extremo, se llega al sistema
)
r
= 4r
3
6r
2
+ 12rj + 14r 6j 6 = 0
)

= 6r
2
6r + 2j + 2 = 0.
Despejando j en la segunda ecuacin y sustituyendo en la primera, se llega a la
ecuacin
16r

2r
2
3r + 1

= 0
cuyas soluciones conducen a los puntos crticos (0, 1),

1
2
,
1
4

y (1, 1).
Al aplicar la condicin suciente a estos puntos, teniendo en cuenta que
)
rr
= 12r
2
12r + 12j + 14
)

= 2
)
r
= 12r 6,
resulta que:
En el punto (0, 1): Dado que )
rr
(0, 1) = 2, )

(0, 1) = 2, )
r
(0, 1) =
6, observamos que se verica en dicho punto que
)
rr
(0, 1) = 2 0, |H)(0, 1)| = )
rr
(0, 1))

(0, 1)()
r
(0, 1))
2
= 32 < 0,
por lo que el punto (0, 1) es un punto de silla.
En el punto

1
2
,
1
4

: Dado que )
rr

1
2
,
1
4

= 8, )


1
2
,
1
4

= 2, )
r

1
2
,
1
4

=
0, observamos que se verica en dicho punto que
)
rr

1
2
,
1
4

= 8 0

H)

1
2
,
1
4

= )
rr

1
2
,
1
4

1
2
,
1
4

)
r

1
2
,
1
4

2
= 16 0,
por lo que el punto

1
2
,
1
4

es un mnimo relativo de ).
En el punto (1, 1): Dado que )
rr
(1, 1) = 2, )

(1, 1) = 2, )
r
(1, 1) =
6, observamos que se verica en dicho punto que
)
rr
(1, 1) = 2 0, |H)(1, 1)| = )
rr
(1, 1))

(1, 1)()
r
(1, 1))
2
= 20 < 0,
por lo que el punto (1, 1) es un punto de silla.
d) Al ser ) un polinomio, se verica que ) C

(R
2
), por lo que se pueden
aplicar las condiciones introducidas en la parte de teora. Al aplicar la condicin
necesaria de extremo, se llega al sistema
)
r
= j

3r
2
j
2

= 0
)

= r

r
2
3j
2

= 0,
30
Matemticas I. Prof. Ignacio Lpez Torres
es decir,
j

3r +j

3r j

= 0
r

r +

3j

3j

= 0,
y la nica solucin de este sistema conduce al punto crtico (0, 0).
Al aplicar la condicin suciente a este punto, teniendo en cuenta que de
)
rr
= 6rj
)

= 6rj
)
r
= 3r
2
3j
2
,
se sigue que )
rr
(0, 0) = 0, )

(0, 0) = 0, )
r
(0, 0) = 0, observamos que se verica
en dicho punto que
)
rr
(0, 0) = 0, |H)(0, 0)| = )
rr
(0, 0))

(0, 0) ()
r
(0, 0))
2
= 0,
por lo que nada se puede armar, aplicando esta condicin suciente, respecto
al caracter del punto (0, 0). Aplicando la denicin de extremo local, analicemos
el signo de la expresin
c(r, j) = )(r, j) )(0, 0) = rj

r
2
j
2

= rj (r +j) (r j)
para puntos (r, j) pertenecientes a una bola de centro (0, 0). En la gura 7 se
muestran estos signos, en rojo la recta j = r, en verde la recta j = r, en
amarillo la recta j = 0, y en azul la recta r = 0.
Figura 7
Dado que c(r, j) = )(r, j))(0, 0) no mantiene signo constante en una bola
de centro el origen, resulta que (0, 0) es un punto de silla.
e) Al ser ) un polinomio, se verica que ) C

(R
2
), por lo que se pueden
aplicar las condiciones introducidas en la parte de teora. Al aplicar la condicin
31
Matemticas I. Prof. Ignacio Lpez Torres
necesaria de extremo, se llega al sistema
)
r
= 2 (r j) = 0
)

= 2 (r j) = 0,
y la nica solucin de este sistema conduce a una recta de puntos crticos de la
forma (c, c) con c R.
Al aplicar la condicin suciente a estos puntos, teniendo en cuenta que de
)
rr
= 2
)

= 2
)
r
= 2,
se sigue que )
rr
(c, c) = 2, )

(c, c) = 2, )
r
(c, c) = 2, observamos que se
verica en dichos puntos que
)
rr
(c, c) = 2 0, |H) (c, c)| = )
rr
(c, c) )

(c, c) ()
r
(c, c))
2
= 0,
por lo que nada se puede armar, aplicando esta condicin suciente, respecto
al caracter de los puntos (c, c). Aplicando la denicin de extremo local, anal-
icemos el signo de la expresin
c(r, j) = )(r, j) ) (c, c) = (r j)
2
para puntos (r, j) pertenecientes a una bola de centro (c, c). Dado que
c(r, j) = )(r, j) ) (c, c) = (r j)
2
0,
resulta que c(r, j) es no negativa en una bola de centro (c, c), por lo que cada
punto (c, c) es un mnimo local de la funcin ).
f) Al ser ) un polinomio, se verica que ) C

(R
2
), por lo que se pueden
aplicar las condiciones introducidas en la parte de teora. Al aplicar la condicin
necesaria de extremo, se llega al sistema
)
r
= 4r

j r
2

= 0
)

= 2

j r
2

= 0,
y la nica solucin de este sistema conduce a una parbola de puntos crticos
de la forma

c, c
2

con c R.
Al aplicar la condicin suciente a estos puntos, teniendo en cuenta que de
)
rr
= 4j + 12r
2
)

= 2
)
r
= 4r,
32
Matemticas I. Prof. Ignacio Lpez Torres
se sigue que )
rr

c, c
2

= 8c
2
, )


c, c
2

= 2, )
r

c, c
2

= 4c, observamos
que se verica en dichos puntos que
)
rr

c, c
2

= 4c
2
0,

H)

c, c
2

= )
rr

c, c
2

c, c
2

)
r

c, c
2

2
= 0,
por lo que nada se puede armar, aplicando esta condicin suciente, respecto
al caracter de los puntos

c, c
2

. Aplicando la denicin de extremo local,


analicemos el signo de la expresin
c(r, j) = )(r, j) )

c, c
2

=

j r
2

2
para puntos (r, j) pertenecientes a una bola de centro

c, c
2

. Dado que
c(r, j) = )(r, j) )

c, c
2

=

j r
2

2
0,
resulta que c(r, j) es no negativa en una bola de centro

c, c
2

, por lo que cada


punto

c, c
2

es un mnimo local de la funcin ).


g) Al ser ) un polinomio, se verica que ) C

(R
2
), por lo que se pueden
aplicar las condiciones introducidas en la parte de teora. Al aplicar la condicin
necesaria de extremo, se llega al sistema
)
r
= 4r

j r
2

6r
3
= 0
)

= 2

j r
2

= 0,
y la nica solucin de este sistema conduce al punto crtico (0, 0).
Al aplicar la condicin suciente a este punto, teniendo en cuenta que de
)
rr
= 4j 6r
2
)

= 2
)
r
= 4r,
se sigue que )
rr
(0, 0) = 0, )

(0, 0) = 2, )
r
(0, 0) = 0, observamos que se
verica en dicho punto que
)
rr
(0, 0) = 0, |H) (0, 0)| = )
rr
(0, 0) )

(0, 0) ()
r
(0, 0))
2
= 0,
por lo que nada se puede armar, aplicando esta condicin suciente, respecto
al caracter del punto (0, 0). Aplicando la denicin de extremo local, analicemos
el signo de la expresin
c(r, j) = )(r, j) ) (0, 0) =

j r
2

2
r
6
=
=

j r
2
+r
3

j r
2
r
3

33
Matemticas I. Prof. Ignacio Lpez Torres
para puntos (r, j) pertenecientes a una bola de centro (0, 0). La Figura 8 mues-
tra el signo de dicha expresin en las proximidades del origen.
Figura 8
Dado que
c(r, j) = )(r, j) ) (0, 0) =

j r
2
+r
3

j r
2
r
3

,
no mantiene signo constante en una bola de centro el origen, resulta que (0, 0)
es un punto de silla.
Ejercicio 12.
a) Se desea construir una balsa de riego de forma paralelepipdica, abierta
por su parte superior, de volumen igual a \ m
3
. Sabiendo que el coste de la
construccin del fondo es de c
1
euros/m
2
, y el coste de la construccin de las
paredes laterales es de c
2
euros/m
2
, determina las dimensiones de la balsa para
minimizar el coste de su construccin.
b) Determina el punto que, estando situado en los planos r +2j +3. = 4 y
r + 5. = 1, se halla a distancia mnima del origen de coordenadas.
c) Determina los extremos absolutos de la funcin )(r, j) = r + 5j sobre el
conjunto
= {(r, j) R
2
:
r
2
9
+
j
2
4
1, 1 j 1}.
d) Sea
1 = {(r
1
, r
2
, ..., r
n
) R
n
: r
I
0 para i = 1, 2, ..., :},
y a R, con a 0. Halla el valor mximo de la funcin G : 1 R
n
R,
denida mediante
G(r
1
, r
2
, ..., r
n
) =

r
1
r
2
...r
n
34
Matemticas I. Prof. Ignacio Lpez Torres
sobre el conjunto
r
1
+r
2
+... +r
n
= a.
Deduce del resultado obtenido que, para cualquiera que sean los nmeros
reales r
1
, r
2
, ... , r
n
, con r
I
0 para i = 1, 2, ..., :, se verica que su media
geomtrica es menor o igual que su media aritmtica

r
1
r
2
...r
n

r
1
+r
2
+... +r
n
:
.
Una solucin.
a) Designando por r e j a la longitud de las aristas de la base, y por . a la
altura, teniendo en cuenta que el volumen del paraleleppedo es
\ = rj.,
y que el rea lateral (parte superior excluida, fondo incluido) es
= rj + 2 (r. +j.) ,
se trata de resolver el problema de ptimos condicionados consistente en hallar
el mnimo de la funcin que dene el coste de la construccin,
C = c
1
rj + 2c
2
(r. +j.) ,
sujeta a la restriccin de que el volumen embalsado sea \ , es decir
rj. = \ .
Aplicando el mtodo de los multiplicadores de Lagrange, el Lagrangiano del
problema es
1(r, j, ., `) = c
1
rj + 2c
2
(r. +j.) `(rj. \ ) ,
y la condicin necesaria de extremo introducida en la parte de teora, conduce
al sistema
1
r
= c
1
j + 2c
2
. `j. = 0
1

= c
1
r + 2c
2
. `r. = 0
1
:
= 2c
2
(r +j) `rj = 0
1
X
= (rj. \ ) = 0.
Teniendo en cuenta que r 0, j 0, . 0 (en particular, ninguna variable
puede ser nula, porque, en caso de que alguna lo fuera, no se cumplira la
restriccin), multiplicando por r la primera ecuacin, por j la segunda, y por .
35
Matemticas I. Prof. Ignacio Lpez Torres
la tercera, y despejando e igualando las expresiones en `rj, se llega fcilmente
a las dos ecuaciones siguientes:
r = j
c
1
j = 2c
2
..
Entrando con estas ecuaciones en la restriccin, se obtiene el punto crtico

3
q
2c2\
c
1
,
3
q
2c2\
c
1
,
3
q
c
2
1
\
4c
2
2

, por lo que las dimensiones ptimas de la balsa para


minimizar el coste de construccin son las siguientes: base cuadrada de lado
3
q
2c2\
c
1
; altura
3
q
c
2
1
\
4c
2
2
.
b) Se trata de encontrar el mnimo de la funcin
)(r, j, .) =
p
r
2
+j
2
+.
2
sujeta a las restricciones
r + 2j + 3. = 4
r + 5. = 1.
De modo equivalente, se trata de encontrar el mnimo de la funcin
)(r, j, .) = r
2
+j
2
+.
2
,
sujeta a dichas restricciones. Aplicando el mtodo de los multiplicadores de
Lagrange, el Lagrangiano del problema es
1(r, j, ., `, j) = r
2
+j
2
+.
2
`(r + 2j + 3. 4) j(r + 5. 1),
y la condicin necesaria de extremo introducida en la parte de teora, conduce
al sistema
1
r
= 2r ` +j = 0
1

= 2j 2` = 0
1
:
= 2. 3` 5j = 0
1
X
= (r + 2j + 3. 4) = 0
1

= (r + 5. 1) = 0.
Resolviendo este sistema lineal en r, j, ., ` y j, se obtiene el punto situado
a mnima distancia del origen, resultando

11
14
,
15
14
,
5
14

, y los multiplicadores de
Lagrange ` =
15
14
y j =
1
2
. La mnima distancia resulta ser

371
14
.
Este problema tambin se puede resolver parametrizando la recta intersec-
cin de los dos planos, y minimizando la distancia al origen de un punto genrico
de dicha recta.
36
Matemticas I. Prof. Ignacio Lpez Torres
c) En la Figura 9
Figura 9
se muestra el conjunto
= {(r, j) R
2
:
r
2
9
+
j
2
4
1, 1 j 1},
que corresponde a la porcin del interior de la elipse de centro el origen y semiejes
a = 3 sobre el eje OA y / = 2 sobre el eje O1 (esta elipse se muestra en color
rojo en la Figura 9), situada en la franja horizontal de plano 1 j 1 (las
rectas j = 1 e j = 1 se muestran, respectivamente, en colores azul y verde
en la Figura 9). Observamos que ) es continua, por ser un polinomio, y que
es compacto, por ser cerrado y acotado. Por tanto, aplicando el teorema de
Weierstrass, ) alcanza su mximo y su mnimo absolutos en .
Fcilmente se calculan los puntos de interseccin de la elipse
r
2
9
+

2
4
= 1
y la recta j = 1, resultando los puntos

3
2
, 1

, y de la elipse y la recta
j = 1, resultando los puntos

3
2
, 1

. El valor de la funcin ) en cada uno


de estos puntos es:
)

3
2
, 1
!
= 1 +
15

3
2
, )

3
2
, 1
!
= 1
15

3
2
)

3
2
, 1
!
= 1 +
15

3
2
, )

3
2
, 1
!
= 1
15

3
2
Por otra parte, la funcin ) no tiene extremos relativos, dado que
)
r
= 1 6= 0 y )

= 5 6= 0.
Veamos que, en este ejercicio, se pueden obtener fcilmente los extremos ab-
solutos de ) sobre el compacto mediante sencillas consideraciones geomtricas.
En efecto, las lneas de nivel de ) son lneas rectas. En particular, en la Figura
37
Matemticas I. Prof. Ignacio Lpez Torres
9 se han representado en color negro las dos lneas de nivel de ) que pasan por
los extremos absolutos. De dicha gura se deduce que el mximo absoluto se
obtiene en el punto

3

3
2
, 1

y que el mnimo absoluto se obtiene en el punto

3
2
, 1

.
A este resultado tambin se puede llegar utilizando el procedimiento descrito
en el apartado 9.6. de la parte terica.
Por otra parte, observa que el hecho de que se alcancen los extremos sobre
las rectas j = 1 (como en este caso), o sobre los tramos de elipse situados en
las regiones r
3

3
2
o r <
3

3
2
, depende de la pendiente de la lnea de nivel
0 en relacin a la pendiente de la tangente a la elipse en el punto

3

3
2
, 1

.
d) Aplicando el mtodo de los multiplicadores de Lagrange, el Lagrangiano
del problema es
1(r
1
, r
2
, ..., r
n
, `) =

r
1
r
2
...r
n
`(r
1
+r
2
+... +r
n
a) .
Aplicando la condicin necesaria de extremo condicionado, se obtiene el sis-
tema
1
r1
=
r
2
...r
n
:(r
1
r
2
...r
n
)
1

` =
G
:r
1
` = 0
1
r
2
=
r
1
r
3
...r
n
:(r
1
r
2
...r
n
)
1

` =
G
:r
2
` = 0
........................................
1
r
=
r
1
r
2
...r
n1
:(r
1
r
2
...r
n
)
1

` =
G
:r
n
` = 0
1
X
= (r
1
+r
2
+... +r
n
a) = 0.
De las : primeras ecuaciones, se sigue que
r
1
= r
2
= ... = r
n
,
por lo que, sustituyendo en la restriccin, se obtienen los valores de las variables
correspondientes al mximo de G, resultando
r
1
= r
2
= ... = r
n
=
a
:
.
Sustituyendo en la expresin de G, se obtiene su valor mximo, resultando
G
max
=
a
:
.
Como consecuencia de esta propiedad, y siempre que sea r
I
0 para i = 1,
2,..., :, se verica que

r
1
r
2
...r
n

a
:
,
es decir,

r
1
r
2
...r
n

r
1
+r
2
+... +r
n
:
.
38
Matemticas I. Prof. Ignacio Lpez Torres

También podría gustarte