Extremos absolutos de funciones en regiones compactas

Luis Villamizar Facultad de Ingeniera

Uno de los resultados clsicos sobre funciones reales de una variable real, definidas en un
intervalo cerrado y acotado [a, b] , donde la funcin es continua, es que sta alcanza su mximo
y mnimo absolutos dentro del intervalo [a, b] . Esto es, si la funcin f :[a, b] \ es continua,
entonces existe un M , m [a, b] , donde f ( M ) f ( x) x [a, b] y, f (m) f ( x) x [a, b] . Al
valor f ( M ) (respectivamente f (m) ) se le llama mximo (mnimo) absoluto de la funcin f en
el intervalo [a, b] . Se sabe adems que los puntos M , m donde f

alcanza sus extremos

absolutos, son o los extremos del intervalo [a, b] ( x = a o x = b ), o bien, si es un punto en el

intervalo abierto (a, b) , ste debe ser un punto crtico, es decir, un punto en donde la derivada

f es cero o no existe.
Este resultado sigue siendo cierto para funciones reales continuas de varias variables en
ciertos tipos de regiones B \ n , con propiedades anlogas (desde el punto de vista
topolgico) a las de los intervalos cerrados y acotados de \ . Estas regiones se llaman
compactas y se caracterizan por ser conjuntos cerrados y acotados de \ n . De acuerdo a esto,
se tiene:
Teorema: Sea f : B \ n \ una funcin real definida en el conjunto compacto B de

\ n . Supongamos que

es continua. Entonces existen puntos M , m B tales que

f ( M ) f ( x) x B , f (m) f ( x) x B .
Lo que establece ste teorema, es que la funcin continua f

definida en el conjunto

compacto B alcanza su mximo y mnimo absolutos en puntos de B . Si adems suponemos que

la funcin f es diferenciable (por ejemplo en un conjunto abierto U que contenga a B ), se
puede demostrar que los extremos absolutos de f ocurren:
1. En la frontera de B .
2. En puntos interiores de B , donde las derivadas de f se deben anular (es decir, si el
(los) extremo(s) absoluto(s) se encuentran en puntos del interior de B , estos deben
ser puntos crticos de f ).
3. En los puntos angulosos (si los hay) de la frontera de B .
En el caso de funciones diferenciables de dos variables, f : \ 2 \ , definidas en un
conjunto compacto B (la funcin f continua en B y diferenciable en un abierto U que
contiene a B ), limitado por una curva cerrada del plano, definida por la ecuacin g ( x, y ) = 0 , el
problema de determinacin de los extremos absolutos de f en B se limita a determinar los
puntos crticos de

dentro de B (pues en ellos se podran encontrar los extremos

absolutos), y luego, determinar los extremos de f en los puntos de la curva dada g ( x, y ) = 0 , la

cual es la frontera de B , donde tambin se pueden ubicar los extremos absolutos buscados.
Estos ltimos clculos se pueden realizar resolviendo el problema de extremos condicionados
de la funcin f con la restriccin de que sus variables independientes x, y satisfagan la

relacin g ( x, y ) = 0 . Comparando los valores de f en los puntos as obtenidos, se puede decidir

cul de ellos es el mximo y cul es el mnimo absoluto de f en el conjunto compacto B .
Fuente:

Pita R. Claudio. Clculo Vectorial. Prentice-Hall Hispanoamericana, S.A. 1995.

Mxico.

Ejemplo: Un disco circular tiene la forma de la regin acotada por x 2 + y 2 = 1 . Si

T grados es la

temperatura del cualquier punto ( x, y) del disco y T ( x, y ) = 2 x + y y , determine los puntos

2

ms fros y ms calientes en el disco.

Debemos determinar los extremos absolutos de la funcin T ( x, y ) = 2 x 2 + y 2 y en la regin

B = ( x, y ) x 2 + y 2 1 . La funcin g ( x, y ) = x 2 + y 2 1 = 0 , que limita a la regin B es una

circunferencia donde para cada punto ( x, y) de esa curva la funcin T ( x, y ) es diferenciable.
1. Se localizan los puntos crticos de T ( x, y ) que estn dentro de B , para ello se resuelve:

Tx = 4 x = 0, Ty = 2 y 1 = 0
de donde se obtiene el punto critico dentro de B , X 1 = (0,1 2) .
2. Pasamos ahora a determinar los extremos de T ( x, y ) en la frontera de B , para ello,
resolvemos el problema de extremos condicionados de T ( x, y ) con la restriccin g ( x, y ) = 0 .
Por tanto la funcin de Lagrange, es:
F ( x, y, ) = 2 x 2 + y 2 y + ( x 2 + y 2 1)

de donde:

Tx = 4 x + 2 x = 0, Ty = 2 y 1 + 2 y = 0, T = x 2 + y 2 1 = 0
de donde se obtienen los puntos:

X 2 = (0,1), X 3 = (0, 1), X 4 = ( 3 2, 1 2), X 5 = ( 3 2, 1 2)

Se tiene entonces:

T (0,1 2) = 1 4, T (0,1) = 0, T (0, 1) = 2, T ( 3 2, 1 2) = 9 4, T ( 3 2, 1 2) = 9 4

As, el mnimo absoluto de T ( x, y ) en B se encuentra en el punto X 1 = (0,1 2) (dentro
de B en un punto crtico de T ( x, y ) , tambin extremo local) el cual vale 1 4 , y el mximo
absoluto de T ( x, y ) en B se encuentra en los puntos X 4 = ( 3 2, 1 2), X 5 = ( 3 2, 1 2) (en
la frontera de B ), el cual vale 9 4 .