TEMA 6: VARIEDADES DIFERENCIABLES Y EXTREMOS CONDICIONADOS

Í NDICE
1. Variedades diferenciables 1
2. Espacio tangente y espacio normal a una variedad en un punto 3
3. Extremos relativos condicionados 5
4. Condición necesaria de extremo relativo condicionado 6
5. Condición suficiente de extremo relativo condicionado 8
6. Cálculo de extremos absolutos 9
Este tema sigue esencialmente el tema 6 del libro Cálculo Diferencial de José M. Mazón, donde puede
consultar las demostraciones de los resultados.

1. VARIEDADES DIFERENCIABLES

Definición 1.1. Sea N ∈ N y sea k ∈ Z con 0 ≤ k ≤ N. Se dice que un subconjunto no vacío

M de RN es una variedad diferenciable de RN de dimensión k si para cada punto a ∈ M, existen
un entorno abierto Ua de a en RN y una función ga : Ua → RN −k de clase C 1 en Ua de modo que
rango(ga0 (x)) = N − k para todo x ∈ Ua y M ∩ Ua = {x ∈ Ua : ga (x) = 0} .
Si la función ga es de clase C q en Ua con q ≥ 2 o q = ∞, se dice que M es una variedad
diferenciable de RN de clase C q .

Hablando coloquialmente, una variedad diferenciable es un subconjunto no vacío de RN que local-

mente puede describirse por medio del conjunto de ceros de una función de clase C 1 .
Las variedades diferenciables de RN de dimensiones 0 y N pueden describirse fácilmente.

Proposición 1.2. Sea M un subconjunto no vacío de RN .

(1) M es una variedad diferenciable de RN de dimensión 0 si, y sólo si, M es un conjunto de puntos
aislados, en cuyo caso M es numerable y si, además, M es compacto, entonces M es finito.
(2) M es una variedad diferenciable de RN de dimensión N si, y sólo si, M es abierto.

Demostración: (1) Supongamos que M es una variedad diferenciable de RN de dimensión 0. Fijemos

a ∈ M y sean Ua y ga : Ua → RN como en la definición. Entonces rango(ga0 (a)) = N y por tanto
Jga (a) 6= 0. Entonces el teorema de la función inversa nos asegura que existe un entorno abierto Va de
a contenido en Ua tal que ga es inyectiva en Va . Como a ∈ M ∩ Va y M ∩ Va = {x ∈ Va : ga (x) = 0} ,
entonces M ∩ Va = {a} y por tanto a es un punto aislado de M.
Además, M es numerable ya que el conjunto de puntos aislados de un espacio métrico separable es
numerable. Supongamos ahora que M es compacto. Si M fuese un conjunto infinito, entonces tendría
un punto de acumulación en M por el teorema de Bolzano-Weierstrass lo que no puede ser. Por tanto M
debe ser finito.
Recíprocamente, si M es un conjunto de puntos aislados de RN , entonces para cada a ∈ M existe
un entorno abierto Va de a en RN tal que Va ∩ M = {a}. Sea ga : Va → RN la función definida por
ga (x) = x − a. Claramente, ga es de clase C 1 en Va y rango (ga0 (x)) = N para todo x ∈ Va ya que
1
2 TEMA 6: VARIEDADES DIFERENCIABLES Y EXTREMOS CONDICIONADOS

ga0 (x) es la matriz unidad de orden N. En particular, Jga (a) 6= 0. Entonces el teorema de la función
inversa nos da un entorno abierto Ua ⊂ Va de a tal que ga es inyectiva en Ua y usando esto, se tiene que
M ∩ Ua = {a} = {x ∈ Ua : ga (x) = 0} .
(2) Sea M una variedad diferenciable de RN de dimensión N. Entonces para cada a ∈ M, existe un
entorno abierto Ua de a en RN y una función ga : Ua → R0 = {0} (espacio vectorial de dimensión cero)
tal que M ∩ Ua = {xS∈ Ua : ga (x) = 0} . Claramente, M ∩ Ua = Ua y por tanto M ∩ Ua es un abierto
de RN . Luego M = a∈M (M ∩ Ua ) es un abierto de RN .
Recíprocamente, si M es un abierto de RN , para cada a ∈ M basta considerar el entorno Ua = M y
la función ga : Ua → {0} dada por ga (x) = 0 para mostrar que M es una variedad diferenciable de RN
de dimensión N . 

Las variedades diferenciables de RN de dimensiones 1, 2 y N − 1 se denominan curvas, superficies e

hipersuperficies de RN , respectivamente.

(1) El conjunto M = (x, y) ∈ R2 : x2 + y 2 = 1 es una variedad diferenciable de


Ejemplos 1.3.
R2 de clase C ∞ y dimensión 1.
En efecto, para cada punto (a, b) ∈ M , la bola U(a,b) = B((a, b), 1) es un entorno abierto
de (a, b) en R2 y la función g : U(a,b) → R definida por g(x, y) = x2 + y 2 − 1 es de clase
C ∞ en U(a,b) . Si (x, y) ∈ U(a,b) , entonces x 6= 0 o y 6= 0 (si fuese x = y = 0, entonces
1 = a2 + b2 <1, absurdo) y por tanto rango(g 0
(x, y)) = rango(2x 2y) = 1. Además, se tiene
M ∩ U(a,b) = (x, y) ∈ U(a,b) : g(x, y) = 0 .
(2) El conjunto M = (x, y) ∈ R2 : |x| + |y| = 1 no es una variedad diferenciable de R2 .


Sea e1 = (1, 0). Como e1 ∈ M , si M fuese una variedad diferenciable de R2 de dimensión 1

(observe que su dimensión no puede ser ni 0 ni 2), existirían una bola abierta B(e1 , r) en R2 y
una función ge1 : B(e1 , r) → R de clase C 1 en B(e1 , r) de modo que rango(ge0 1 (x)) = 1 para
todo x ∈ B(e1 , r) y M ∩ B(e1 , r) = {x ∈ B(e1 , r) : ge1 (x) = 0} .
Sean u+ = (1, 1) y u− = (1, −1). Se comprueba fácilmente que e1 + tu± ∈ M para todo
t ∈] − 1, 0[. Como ge1 es diferenciable en e1 , entonces existe

ge1 (e1 + tu± ) − ge1 (e1 )

Du± ge1 (e1 ) : = lı́m
t→0 t
y Dge1 (e1 )(u± ) = Du± ge1 (e1 ). Vamos a probar que Du± ge1 (e1 ) = 0 y para ello será suficiente
mostrar que
ge1 (e1 + tu± ) − ge1 (e1 )
lı́m = 0.
t→0− t
Sea {tn } una sucesión
√ de números reales en ] − 1, 0[ convergente a 0. Entonces existe un√natural
m tal que |tn | < r/ 2 para todo n ≥ m. Como k(e1 + tn u± ) − e1 k = ktn u± k = |tn | 2 < r
para todo n ≥ m, se tiene que e1 + tn u± ∈ M ∩ B(e1 , r) y por tanto ge1 (e1 + tn u± ) = 0 para
todo n ≥ m. Como también ge1 (e1 ) = 0 se sigue que (ge1 (e1 + tn u± ) − ge1 (e1 )) /tn = 0 para
todo n ≥ m. Luego la sucesión {(ge1 (e1 + tn u± ) − ge1 (e1 )) /tn }n∈N converge a cero y esto
prueba lo que queríamos. Luego Dge1 (e1 )(u± ) = 0.
Como {u+ , u− } genera linealmente R2 y Dge1 (e1 ) : R2 → R es lineal, entonces Dge1 (e1 ) es
la función nula lo que contradice que rango(ge0 1 (e1 )) = 1.

La siguiente clase de variedades diferenciables será utilizada en el estudio de los extremos condiciona-
dos.
 TEMA 6: VARIEDADES DIFERENCIABLES Y EXTREMOS CONDICIONADOS 3

Proposición 1.4. Sea A un subconjunto abierto no vacío de RN , sea k ∈ N con 1 ≤ k < N y sea
g : A → RN −k una función de clase C 1 en A. Supongamos que el conjunto
M : = x ∈ A : rango(g 0 (x)) = N − k, g(x) = 0


es no vacío. Entonces M es una variedad diferenciable de RN de dimensión k. Se dice que M es la

variedad diferenciable de RN determinada por g.

Demostración: Sea B = {x ∈ A : rango(g 0 (x)) = N − k} . Veamos que B es abierto. Dado a ∈ B,

supongamos que
 ∂g ∂g1

 ∂x1 (a) · · · ∂xN −k (a) 
 1 
 .. .. 
 6= 0.

 . . 
 ∂gN −k ∂gN −k
 ∂x (a) · · · ∂x

1
(a) 
N −k

∂gi
Entonces, como cada ∂xj es continua en a, existe una bola B(a, r) ⊂ A tal que
 ∂g ∂g1

 ∂x1 (x) · · · ∂xN −k (x) 
 1 
 .. .. 
 6= 0

 . . 
 ∂gN −k ∂gN −k
 ∂x (x) · · · ∂x

1 N −k
(x) 

para todo x ∈ B(a, r). Luego rango(g 0 (x))

= N − k para todo x ∈ B(a, r) y así B(a, r) ⊂ B. Esto
prueba que B es abierto. Por tanto, dado a ∈ M, como a ∈ B existe un entorno abierto Ua de a contenido
en B, luego en A, tal que rango(g 0 (x)) = N −k para todo x ∈ Ua y así M ∩Ua = {x ∈ Ua : g(x) = 0} .
Esto prueba el teorema. 

Ejemplo 1.5. El conjunto M = (x, y) ∈ R2 : x2 + y 2 = 1 es la variedad diferenciable de R2 de clase



C ∞ y dimensión 1 determinada por la función g : R2 → R definida por g(x, y) = x2 + y 2 − 1.

En lo sucesivo, supondremos que M es una variedad diferenciable de RN de dimensión k con 1 ≤

k < N. Los mismos resultados se pueden enunciar para variedades diferenciables de RN de clase C q con
q ≥ 2 o q = ∞.
El siguiente teorema nos dice que toda variedad diferenciable de RN de dimensión k es localmente
como Rk .

Teorema 1.6. Sea M una variedad diferenciable de RN de dimensión k con 1 ≤ k < N. Entonces,
para cada a ∈ M, existe un entorno abierto Va de a en RN , un abierto W (a) de Rk y una aplicación
pa : W (a) → RN de clase C 1 en W (a) tal que pa es un homeomorfismo de W (a) sobre M ∩ Va y
rango(p0a (x)) = k para todo x ∈ W (a). Se dice que la terna (Va , W (a), pa ) es una parametrización
cartesiana local de M en a.

2. E SPACIO TANGENTE Y ESPACIO NORMAL A UNA VARIEDAD EN UN PUNTO

Los conceptos de espacio tangente y espacio normal a una variedad en un punto están justificados
porque las variedades diferenciables son localmente gráficas de funciones de clase C 1 .
4 TEMA 6: VARIEDADES DIFERENCIABLES Y EXTREMOS CONDICIONADOS

Definición 2.1. Sea M una variedad diferenciable de RN de dimensión k con 1 ≤ k < N y sea a
un punto de M.
Se dice que un vector h ∈ RN es un vector tangente a la variedad M en el punto a si existe un
número real δ > 0 y una aplicación diferenciable ϕ : (−δ, δ) → M tal que ϕ(0) = a y ϕ0 (0) = h.
La interpretación geométrica es la siguiente: h es tangente en el punto a a una curva ϕ contenida en
M que pasa por a. El conjunto de todos los vectores tangentes a M en a recibe el nombre de espacio
tangente a la variedad M en el punto a y lo notaremos por TM (a).
Se dice que un vector u ∈ RN es un vector normal a la variedad M en el punto a si u es ortogonal
al espacio tangente TM (a), es decir, si (u|h) = 0 para todo h ∈ TM (a). El conjunto de todos los
vectores normales a M en a recibe el nombre de espacio normal a la variedad M en el punto a y lo
notaremos por TM (a)⊥ .
Se llama variedad afín tangente a la variedad M en el punto a a la variedad afín a + TM (a),
es decir, el conjunto x ∈ RN : x = a + h, h ∈ TM (a) . Si k = 1 (2, N − 1), la variedad afín
tangente recibe el nombre de recta (respectivamente, plano, hiperplano) tangente a M en a.

El siguiente resultado describe los conjuntos anteriores.

Teorema 2.2. Sea M una variedad diferenciable de RN de dimensión k con 1 ≤ k < N y sea a ∈ M.
(1) Si ga : Ua → RN −k es una función que determina (localmente) la variedad M en el punto a,
entonces
TM (a) = ker(Dga (a)),
con lo que TM (a) es un subespacio vectorial de RN de dimensión k, y
a + TM (a) = x ∈ RN : Dga (a)(x − a) = 0 .


Además, {∇(ga )1 (a), . . . , ∇(ga )N −k (a)} es una base del espacio vectorial TM (a)⊥ .
(2) Si (Va , W (a), pa ) es un parametrización cartesiana local de M en a y b es el único elemento de
W (a) tal que pa (b) = a, entonces
TM (a) = Im(Dpa (b)).
Los k vectores columna de la matriz jacobiana (p0a (b)) son una base de TM (a).

 2.3. Vamos a determinar el espacio tangente, el espacio normal y la recta tangente a la variedad
Ejemplo
M = (x, y) ∈ R2 : x2 + y 2 = 1 en el punto (0, 1).
Sea g : R2 → R la función definida por g(x, y) = x2 + y 2 − 1. Claramente, g ∈ C 1 (R2 ) y
M = (x, y) ∈ R2 : rango(g 0 (x, y)) = 1, g(x, y) = 0 , es decir, M es la variedad diferenciable de
R2 determinada por g. La inclusión ⊃ es evidente; para probar la inclusión contraria, sea (x, y) ∈ R2 tal
que x2 + y 2 = 1. Entonces g(x, y) = 0 y para probar que rango(g 0 (x, y)) = rango(2x 2y) = 1, note
que x 6= 0 o y 6= 0. Observe que

 
∂g ∂g
∇g(0, 1) = (0, 1), (0, 1) = (0, 2).
∂x ∂y
 TEMA 6: VARIEDADES DIFERENCIABLES Y EXTREMOS CONDICIONADOS 5

Entonces el espacio tangente a M en (0, 1) es

TM (0, 1) = ker(Dg(0, 1))
= (x, y) ∈ R2 : Dg(0, 1)(x, y) = 0

 
∂g ∂g
= (x, y) ∈ R2 : (0, 1)x + (0, 1)y = 0
∂x ∂y
2

= (x, y) ∈ R : y = 0 ,
el espacio normal a M en (0, 1) es
TM (0, 1)⊥ = lin {∇g(0, 1)} = lin {(0, 2)} = (x, y) ∈ R2 : x = 0


y la recta tangente a M en (0, 1) es

(x, y) ∈ R2 : (x, y) = (0, 1) + (h1 , h2 ), (h1 , h2 ) ∈ TM (0, 1)


= (x, y) ∈ R2 : (x, y) = (0, 1) + (h1 , 0), h1 ∈ R



= (x, y) ∈ R2 : (x, y) = (h1 , 1), h1 ∈ R



= (x, y) ∈ R2 : y = 1 .


3. E XTREMOS RELATIVOS CONDICIONADOS

Sea A un subconjunto no vacío de RN , f : A → R una función y M un subconjunto no vacío de
A. El objetivo en esta sección es estudiar la existencia de extremos de la función f |M . El problema de
determinar los extremos de f sobre el conjunto M se llama problema de extremos condicionados. No
existe un método general para resolver este tipo de problemas ya que depende tanto de las propiedades
de f como de M .

Definición 3.1. Sea A un subconjunto no vacío de RN , f : A → R una función y M un subconjunto

no vacío de A. Se dice que la función f alcanza un máximo (mínimo) relativo condicionado a M
en un punto a ∈ M si existe un δ > 0 tal que B(a, δ) ⊂ A y f (x) ≤ f (a) (respectivamente,
f (a) ≤ f (x)) para todo x ∈ B(a, δ) ∩ M.
Si las desigualdades anteriores son estrictas para todo x 6= a, entonces se dice que f alcanza un
máximo (mínimo) relativo estricto condicionado a M en el punto a.
Se dice que f alcanza un extremo relativo (estricto) condicionado a M en el punto a si f alcanza
un máximo o un mínimo relativo (estricto) condicionado a M en a.

Estudiemos la relación de los extremos relativos condicionados con los extremos absolutos y los ex-
tremos relativos ordinarios.
Si A es abierto y la función f |M alcanza un máximo (mínimo) absoluto en un punto a ∈ M (lo
que sucede, en particular, si f es continua y M es compacto por el teorema de Weierstrass), entonces
f alcanza un máximo (mínimo) relativo condicionado a M en a. En efecto, si se cumple lo primero,
entonces f (x) ≤ f (a) para todo x ∈ M y por tanto f (x) ≤ f (a) para todo x ∈ B(a, δ) ∩ M, donde
B(a, δ) es una bola abierta contenida en A cuya existencia está garantizada porque A es abierto y a ∈ A.
Si la función f alcanza un máximo (mínimo) relativo ordinario en un punto a ∈ M, entonces f alcanza
un máximo (mínimo) relativo condicionado a M en a. En efecto, si se cumple lo primero, entonces existe
un δ > 0 tal que B(a, δ) ⊂ A y f (x) ≤ f (a) para todo x ∈ B(a, δ) y por tanto f (x) ≤ f (a) para todo
x ∈ B(a, δ) ∩ M.
El recíproco no es cierto. Por ejemplo, la función identidad de R en R tiene extremos relativos condi-
cionados sobre [0, 1] pero no tiene extremos relativos (y, por tanto, tampoco absolutos).
6 TEMA 6: VARIEDADES DIFERENCIABLES Y EXTREMOS CONDICIONADOS

4. C ONDICIÓN NECESARIA DE EXTREMO RELATIVO CONDICIONADO

Nosotros estamos interesados en el caso en el que f sea una función de clase C 1 en un abierto A de
RN y M sea una variedad diferenciable de RN contenida en A. Entonces una condición necesaria para
que f alcance un extremo relativo condicionado a M es la siguiente.

Teorema 4.1. Sea A un subconjunto abierto no vacío de RN , f : A → R una función de clase C 1 en A

y M una variedad diferenciable de RN contenida en A. Si f alcanza un extremo relativo condicionado a
M en un punto a ∈ M, entonces ∇f (a) es un vector normal a M en a.

Si M es una variedad diferenciable de RN determinada por una función, entonces el siguiente teorema
nos proporciona una condición necesaria para que un punto de M sea un extremo relativo de f |M .

Teorema 4.2. (regla de los multiplicadores de Lagrange). Sea A un subconjunto abierto no vacío de RN
y f : A → R una función de clase C 1 en A. Sea M la variedad diferenciable de RN determinada por una
función g ∈ C 1 (A, RN −k ) con k ∈ N y 1 ≤ k < N.
Si f alcanza un extremo relativo condicionado a M en un punto a ∈ M, entonces existen números
reales, unívocamente determinados, λ1 , . . . , λN −k llamados multiplicadores de Lagrange tales que a es
un punto crítico de la función auxiliar de Langrage F : A → R definida por
F (x) = f (x) + λ1 g1 (x) + · · · + λN −k gN −k (x), ∀x ∈ A.

En la práctica tenemos que resolver el sistema de 2N − K ecuaciones con 2N − k incognitas

x1 , . . . , xN , λ1 , . . . , λN −k dado por
∂F
(x1 , . . . , xN , λ1 , . . . , λN −k ) = 0, i = 1, . . . , N
∂xi
gj (x1 , . . . , xN ) = 0, j = 1, . . . , N − k.
Una vez resuelto el sistema, debemos determinar si los puntos obtenidos (x1 , . . . , xN ) son máximos,
mínimos o puntos de silla de f. El procedimiento a seguir es distinto según sea compacta o no la variedad
diferenciable M .
Si la variedad M es compacta, el problema de extremos condicionados es un problema de extremos
absolutos. Si M es compacta en el teorema anterior, como f |M : M → R es continua, entonces el
teorema de Weierstrass garantiza la existencia de puntos x0 , x1 ∈ M tales que mı́n f (M ) = f (x0 ) y
máx f (M ) = f (x1 ).
En otras palabras, f |M alcanza un mínimo absoluto en x0 y un máximo absoluto en x1 . Luego f
alcanza un mínimo relativo condicionado a M en x0 y un máximo relativo condicionado a M en x1 . Por
la regla de los multiplicadores de Langrange, x0 y x1 deben ser puntos críticos de la función auxiliar
de Lagrange F. Como consecuencia, si denotamos por B al conjunto de los puntos críticos de F que
pertenecen a M , se tiene que mı́n f (B) = f (x0 ) y máx f (B) = f (x1 ).
Por tanto, basta calcular mı́n f (B) y máx f (B) para determinar los extremos absolutos de f sobre M.
Formalizamos lo probado anteriormente en el siguiente resultado, consecuencia del teorema de Weier-
strass y de la regla de los multiplicadores de Lagrange.

Corolario 4.3. Sea A un subconjunto abierto no vacío de RN y f : A → R una función de clase C 1 en

A. Sea M la variedad diferenciable de RN determinada por una función g ∈ C 1 (A, RN −k ) con k ∈ N y
 TEMA 6: VARIEDADES DIFERENCIABLES Y EXTREMOS CONDICIONADOS 7

1 ≤ k < N. Sea B el conjunto de los puntos críticos de la función auxiliar de Lagrange que están en M .
Supongamos que M es compacta.
Entonces f alcanza un mínimo absoluto y un máximo absoluto sobre M en puntos de B y, por tanto,
mı́n f (M ) = mı́n f (B) y máx f (M ) = máx f (B).

Ejemplo 4.4. Considere la superficie

M = (x, y, z) ∈ R3 : x2 + y 2 + z 2 = 4


y la función f : R3 → R definida por

f (x, y, z) = x2 + y 2 + z 2 + x + y + z, ∀(x, y, z) ∈ R3 .
(1) Muestre que f es de clase C 1 en R3 .
(2) Calcule los extremos relativos de f .
(3) Compruebe que M es una variedad diferenciable de R3 determinada por una cierta función.
Indique su clase y dimensión.
(4) Calcule los puntos críticos de la función auxiliar de Lagrange que pertenezcan a M.
(5) Indique por qué M es un subconjunto compacto de R3 .
(6) Determine los extremos absolutos de f sobre M.
Ejemplo 4.5. Sea M = (x, y) ∈ R2 : x2 + y 2 = 1 y f : R2 → R definida por


f (x, y) = x2 + y 2 + xy, ∀(x, y) ∈ R2 .

(1) Compruebe que M es una variedad diferenciable de R2 determinada por una función.
(2) Pruebe que M es un subconjunto compacto de R2 .
(3) Determine los extremos absolutos de f sobre M.
Ejemplo 4.6. Encuentre la caja rectangular de volumen máximo entre todas las que tienen un área de
superficie de 10 metros cuadrados.
Ejemplo 4.7. En una fábrica que produce tela usando lana y algodón, la producción de tela viene dada
por Q(x, y) = xy − x − y + 1, siendo x la cantidad de kilos de lana e y los kilos de algodón. Si la lana
cuesta a p euros el kilo, el algodón a q euros el kilo y el capital disponible es de A euros, ¿cuál es la
cantidad de lana y de algodón que se necesita para tener una producción óptima de tela?
Concluimos este apartado dando otra condición necesaria de extremo relativo condicionado.

Teorema 4.8. (condición necesaria de extremo relativo condicionado). Sea A un subconjunto abierto
no vacío de RN y f : A → R una función de clase C 2 en A. Sea M la variedad diferenciable de RN
determinada por una función g ∈ C 2 (A, RN −k ) con k ∈ N y 1 ≤ k < N. Supongamos que f alcanza
un extremo relativo condicionado a M en un punto a ∈ M y sea qa (F ) : RN → R la forma cuadrática
asociada a la matriz hessiana de la función auxiliar de Lagrange F en el punto a.
Entonces se cumple:
(1) Si f alcanza en el punto a un máximo relativo condicionado a M , entonces qa (F )(h) ≤ 0 para
todo h ∈ ker(Dg(a)).
(2) Si f alcanza en el punto a un mínimo relativo condicionado a M , entonces qa (F )(h) ≥ 0 para
todo h ∈ ker(Dg(a)).
(3) Como consecuencia, si existen h1 , h2 ∈ ker(Dg(a)) tales que qa (F )(h1 ) < 0 < qa (F )(h2 ),
entonces f no alcanza en el punto a un extremo relativo condicionado a M .
8 TEMA 6: VARIEDADES DIFERENCIABLES Y EXTREMOS CONDICIONADOS

5. C ONDICIÓN SUFICIENTE DE EXTREMO RELATIVO CONDICIONADO

En el ejemplo anterior, para saber si los puntos críticos de la función auxiliar de Lagrange F son
extremos locales de f |M hemos usado argumentos de compacidad. Cuando la variedad diferenciable M
no sea compacta, el siguiente criterio proporciona una condición suficiente para que un punto crítico de
la función auxiliar de Lagrange F que pertenezca a M sea un punto de extremo relativo condicionado a
M.

Teorema 5.1. (condición suficiente de extremo relativo condicionado). Sea A un subconjunto abierto
no vacío de RN y f : A → R una función de clase C 2 en A. Sea M la variedad diferenciable de RN
determinada por una función g ∈ C 2 (A, RN −k ) con k ∈ N y 1 ≤ k < N. Supongamos que f alcanza
un extremo relativo condicionado a M en un punto a ∈ M y sea qa (F ) : RN → R la forma cuadrática
asociada a la matriz hessiana de la función auxiliar de Lagrange F en el punto a.
Entonces se cumple:
(1) Si qa (F )(h) < 0 para todo h ∈ ker(Dg(a)) \ {0}, entonces f alcanza un máximo relativo
estricto condicionado a M en el punto a.
(2) Si qa (F )(h) > 0 para todo h ∈ ker(Dg(a))\{0}, entonces f alcanza un mínimo relativo estricto
condicionado a M en el punto a.

Ejemplo 5.2. Considere el conjunto

M = (x, y, z) ∈ R3 : x3 + y 3 + (1/2)z 3 = 2


y la función f : R3 → R definida por

f (x, y, z) = 2xy − z 2 , ∀(x, y, z) ∈ R3 .

(1) Compruebe que M es una variedad diferenciable de R3 de dimensión 2 determinada por una
función de clase C ∞ .
(2) ¿ Es M un subconjunto cerrado de R3 ?, ¿ es compacto ?
(3) Justifique que f es de clase C 2 en R3 .
(4) Calcule los puntos críticos que pertenecen a M de la función auxiliar de Lagrange F asociada a
f y M.
(5) Determine la matriz hessiana de F en los puntos de R3 .
(6) Determine los extremos relativos condicionados de f sobre M .

Ejemplo 5.3. Sea M = (x, y, z) ∈ R3 : x + y + z = 1, x, y, z > 0 y f : R3 → R definida por



f (x, y, z) = xyz, ∀(x, y, z) ∈ R3 .

Estudie si f tiene extremos locales en M.

Ejemplo 5.4. Calcule la distancia mínima del punto (0, b) a la parábola x2 − 4y = 0.

(1) Pruebe que el conjunto M = (x, y, z) ∈ R3 : z = x2 + y 2 , x2 − y 2 = 4 es una


Ejemplo 5.5.
variedad diferenciable de R3 .
(2) ¿Es M compacto?
(3) Calcule los extremos relativos condicionados a M de la función

f (x, y, z) = x2 + y 2 + z 2 , ∀(x, y, z) ∈ R3 .
 TEMA 6: VARIEDADES DIFERENCIABLES Y EXTREMOS CONDICIONADOS 9

6. C ÁLCULO DE EXTREMOS ABSOLUTOS

Hemos visto cómo la regla de los multiplicadores de Lagrange se puede utilizar para calcular los ex-
tremos absolutos de una función de clase C 1 sobre una variedad diferenciable. A continuación estudiamos
un problema de extremos absolutos un poco más general.
Sea A un subconjunto abierto no vacío de RN , f : A → R una función de clase C 1 en A y B un
subconjunto no vacío de A. Supongamos que B es un conjunto compacto cuyo interior es no vacío y
cuya frontera es una variedad diferenciable. Sabemos que existen puntos x0 , x1 ∈ B tales que f |B
alcanza un mínimo absoluto en x0 y un máximo absoluto en x1 . Centrémonos en x1 . Puede suceder que
x1 ∈ Int(B) o que x1 ∈ Front(B). Si x1 ∈ Int(B), entonces f alcanza un máximo relativo (ordinario)
en x1 , mientras que si x1 ∈ Front(B), entonces f alcanza un máximo relativo condicionado a la variedad
Front(B) en x1 . Lo mismo sucede con el mínimo en x0 .
Por lo tanto, para calcular los extremos absolutos de f sobre B, es suficiente determinar primero los
puntos críticos de f que están en el interior de B y los puntos críticos de la función auxiliar de Lagrange
que están en la frontera de B, y después hallar los valores de f en cada uno de los puntos obtenidos. El
mayor de todos ellos será el máximo de f sobre B y el menor, el mínimo.
2 2
Ejemplo 6.1. Determine los extremos
2
 2 2 2
f (x, y) = 2x − 3y − 2x para todo
absolutos de la función
(x, y) ∈ R en el conjunto B = (x, y) ∈ R : x + y ≤ 5 . Calcule f (B).
A veces la frontera de B no es una variedad, sino la unión de un número finito de variedades.
Ejemplo 6.2. Pruebe que la función f (x, y) = x2 + y 2 + x + y para todo (x, y) ∈ R2 alcanza un valor
máximo y un valor mínimo en el conjunto
K = (x, y) ∈ R2 : x2 + y 2 ≤ 4, y ≤ 1


y determine estos valores extremos.