UNIVERSIDAD TECNOLGICA NACIONAL

FACULTAD REGIONAL C. DEL URUGUAY

ANLISIS MATEMTICO II
INGENIERA ELECTROMECNICA Y CIVIL

FRMULA DE TAYLOR PARA FUNCIONES DE VARIAS VARIABLES

La frmula de Taylor estudiada para funciones de una variable independiente se puede extender
a funciones reales definidas en subconjuntos de n . Bsicamente la frmula de Taylor nos da
aproximaciones de orden superior a una funcin, usando algo ms que simplemente la primera derivada de la funcin.
Para funciones suaves de una variable f : I , el Teorema de Taylor asegura que
1
1 ( m)
(1)
f ( x) f (a) f (a)( x a) f (a)( x a) 2 ...
f (a)( x a) m Rm (a, x)
2!
m!
donde

Rm (a, x)

f ( m1) ( x )
, con a x x
(m 1)!

(2)

es el residuo. Para x cerca de a este error Rm ( x, a) es pequeo de orden (m+1). Esto significa
que
R ( a, x )
(3)
lm m
0
x a ( x a) n
En otras palabras Rm (a, x) es pequeo comparado con la cantidad (de por s pequea) ( x a)m .
El objetivo ahora es probar un teorema anlogo vlido para funciones de varias variables, pero
previo a establecer el teorema general en forma parecida al caso unidimensional introduzcamos
la nomenclatura a utilizar para ciertas sumas que aparecern.
Dada una funcin f : U n , indicaremos a las diferenciales sucesivas de f de la siguiente manera:
n
n f

f ( X 0 )
d f (X0)
xi f ( X 0 )
xi

x
i

1
i

1
i
i

d f (X0)
xi
i 1 xi

(2)

d f ( X 0 )
xi
i 1 xi

(3)

n
2 f ( X 0 )
2 f ( X 0 )
f ( X 0 )
xi x j
xi x j
j 1 i 1 x j xi
i , j 1 x j xi
n

f ( X 0 )
k 1 j 1 i 1

n
3 f ( X 0 )
3 f ( X 0 )
xi x j xk
xi x j xk (4)
xk x j xi
i , j , k 1 xk x j xi

.................................................................
d

(n)

Teorema de Taylor: Sea f : U

n

f (X0)
xi
i 1 xi

(n)

f (X0)

una funcin definida en un subconjunto abierto U de

con derivadas parciales continuas hasta el orden m 1 en cada punto de U y sea X 0 U ,

entonces para todo X X 0 X tal que el segmento X 0 X U es

1
1
f ( X ) f ( X 0 ) df ( X 0 ) d 2 f ( X 0 ) ... d ( m) f ( X 0 ) Rm ( X 0 , X )
2!
m!
-1-

(5)

UNIVERSIDAD TECNOLGICA NACIONAL

FACULTAD REGIONAL C. DEL URUGUAY

ANLISIS MATEMTICO II
INGENIERA ELECTROMECNICA Y CIVIL

donde

Rm ( X 0 , X )

d ( m1) f ( X )
con X X 0 X )
(m 1)!

y adems

lm

Rm ( X 0 , X )

X 0

La ecuacin (5) se puede escribir tambin de la siguiente manera

m
d (k ) f ( X 0 )
f (X ) f (X0)
Rm ( X 0 , X )
k!
k 1
o bien

f
f (X ) f (X0)
( X 0 )x1
k 1 x1
m

Demostracin
El segmento X 0 X se define como

( X 0 )xn
xn

(k )

Rm ( X 0 , X )

X 0 X X 0 t X X 0 X 0 t X con 0 t 1
Puesto que U es abierto, existe un 0 tal que X 0 t X U para todo t I 0 ,1
Se define entonces la funcin g (t ) : I

por medio de la ecuacin

g (t ) f ( X 0 t X )
Luego
g (0) f ( X 0 )
g (1) f ( X 0 X ) f ( X )

La frmula de Taylor unidimensional nos permite escribir a g (t ) en un entorno del punto t0 0

como
1
1
g (t ) g (0) g (0) t g (0) t 2 g ( m) (0) t m R m (t )
(6)
2!
m!
donde

g ( m1) (t*) m1
Rm (t )
t
con 0 t* t
(m 1)!

(7)

Pero g (t ) es una funcin compuesta dada por g (t ) f h (t ) f h (t ) y h (t ) X 0 t X .

La i-sima componente de h (t ) es hi (t ) xi 0 xi t y tiene derivada hi(t ) xi .
Aplicando entonces la regla de la cadena para hallar la derivada de g (t ) , vemos que g (t ) existe en el intervalo I y viene dada por la frmula
-2-

UNIVERSIDAD TECNOLGICA NACIONAL

FACULTAD REGIONAL C. DEL URUGUAY

ANLISIS MATEMTICO II
INGENIERA ELECTROMECNICA Y CIVIL

g (t )
i 1

n
f ( X 0 t X ) xi
f ( X 0 t X )

xi df ( X 0 t X )
xi
t i 1
xi

Aplicando de nuevo la regla de la cadena, se obtiene

2
n
n f ( X 0 t X ) x j n f ( X 0 t X ) x j

g (t )
xi

xi 2

xi
xi
j 1 x j i 1
t i 1
t

2 f ( X 0 t X )

xi x j d 2 f ( X 0 t X )
x j xi
j 1 i 1
n

Anlogamente, hallamos que

n

g (t )
k 1 j 1 i 1

3 f ( X 0 t X )
xi x j xk d 3 f ( X 0 t X )
xk x j xi

y en general

g ( m) (t ) d ( m) f ( X 0 t X )
de estas expresiones se obtiene para t 0
g (0) f ( X 0 )
(1)

g (0) df ( X 0 )
xi f ( X 0 )
i 1 x1

(2)

g (0) d f ( X 0 )
xi f ( X 0 )
i 1 x1

.............................................................
2

(m)

(0) d

(m)

f ( X 0 )
xi
i 1 x1

(m)

f (X0)

Reemplazando luego (8) en (6) y (7) y haciendo t=1 se tiene

1
1
f ( X ) f ( X 0 ) df ( X 0 ) d 2 f ( X 0 ) ... d ( m) f ( X 0 ) Rm ( X 0 , X )
2!
m!
y

Rm ( X 0 , X )

d ( m1) f ( X )
con X X 0 X
(m 1)!

con

lm

X 0

Rm ( X 0 , X )
X

-3-

(8)

UNIVERSIDAD TECNOLGICA NACIONAL

FACULTAD REGIONAL C. DEL URUGUAY

ANLISIS MATEMTICO II
INGENIERA ELECTROMECNICA Y CIVIL

Si m 1 obtenemos la frmula de Taylor de primer orden dada por

f ( X ) f ( X 0 ) df ( X 0 ) R1 ( X 0 , X )
n

f (X0)
i 1

f ( X 0 )
xi R1 ( X 0 , X )
xi

f ( X 0 ) f ( X 0 )X R1 ( X 0 , X )
con

lm

X 0

R1 ( X 0 , X )
X

que es la aproximacin lineal mediante diferenciales ya conocida.

Si m 2 obtenemos la frmula de Taylor de segundo orden dada por
1
f ( X ) f ( X 0 ) df ( X 0 ) d 2 f ( X 0 ) R2 ( X 0 , X )
2!
n
f ( X 0 )
1 n n 2 f ( X 0 )
f (X0)
xi
xi x j R2 ( X 0 , X )
xi
2! j 1 i 1 x j xi
i 1
T
1
f ( X 0 ) f ( X 0 )X X H f ( X 0 )X R2 ( X 0 , X )
2

con

lm

X 0

R2 ( X 0 , X )
X

y siendo H f ( X 0 ) la matriz hessiana de elementos H f ( X 0 )

ij

2 f ( X 0 )
.
x j xi

En el caso particular de que f sea una funcin de dos variables independientes la frmula de
Taylor de segundo orden nos queda
T
1
f ( x, y) f ( x0 , y0 ) f ( x0 , y0 ) X X H f ( x0 , y0 ) X R2 ( x, y )
2
Utilizando la nomenclatura del operador de Hamilton

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

( x x0 ) ( y y0 )
2 x
y

O bien desarrollando todos los trminos

-4-

(2)

f ( x0 , y0 ) R2 ( x, y )

UNIVERSIDAD TECNOLGICA NACIONAL

FACULTAD REGIONAL C. DEL URUGUAY

ANLISIS MATEMTICO II
INGENIERA ELECTROMECNICA Y CIVIL

f ( x, y ) f ( x0 , y0 )
2

f ( x0 , y0 )
f ( x0 , y0 )
1 2 f ( x0 , y0 )
( x x0 )
( y y0 )
( x x0 ) 2
2
x
y
2
x

2 f ( x0 , y0 )
2 f ( x0 . y0 )
( x x0 )( y y0 )
( y y0 ) 2 R2 ( x, y )
2
xy
y

-5-

UNIVERSIDAD TECNOLGICA NACIONAL

FACULTAD REGIONAL C. DEL URUGUAY

ANLISIS MATEMTICO II
INGENIERA ELECTROMECNICA Y CIVIL

EXTREMOS DE FUNCIONES DE VARIAS VARIABLES

Al igual que en el caso de una variable, el problema de ubicar los extremos de una funcin
f : U Rn R definida en el conjunto abierto U de R n tiene suma importancia. Vamos a
analizar este problema en detalle y veremos que la anulacin de la primera derivada en funciones de una variable es reemplazada por la anulacin del vector gradiente f .
Adems al decidir si un punto es mximo o un mnimo nos llevar a considerar el signo de una
segunda derivada, que ser una matriz cuadrada de dimensin n 2 , en lugar de un nmero
como sucede en el caso unidimensional.
Las definiciones de extremos relativos para funciones de n variables son una generalizacin
directa del caso de una variable. As diremos:
Definicin: Sea f : U Rn R una funcin definida en un conjunto abierto U de R n . Se dice
que f tiene un mximo (mnimo) local o relativo en sentido estricto, en el punto X 0 U si

f ( X 0 ) f ( X ) ( f ( X 0 ) f ( X ) ) respectivamente para toda X en algn entorno de centro en

X0 .
Si en la definicin dada se sustituyen los signos de < (>) por ( ) se dice entonces que hay un
mximo local (mnimo local) en sentido amplio.

Condicin necesaria para la existencia de extremos

Sea f ( X ) diferenciable en un conjunto abierto U de R n . Si f ( X ) tiene un extremo local en el
punto X 0 es entonces

f x1 ( X 0 ) f x2 ( X 0 ) ... f xn ( X 0 ) 0
o bien

f ( X 0 ) 0

(1)

Esta condicin surge claramente si consideramos las funciones i : I R R , definida en alguna vecindad de X 0 , digamos I x R / xi0 xi xi0 ( puede ser el radio del entorno del que habla la definicin de extremo local), dada por
i ( x) f ( x10 , x20 ,..., xi01 , x, xi01,..., xn0 )
para cada i 1, 2,..., n .
Si evaluamos la derivada i( x) en x xi0 , esta derivada puede resultar positiva, en cuyo caso la
funcin sera creciente o bien puede resultar negativa, en cuyo caso la funcin sera decreciente.
Ambas posibilidades contradicen la hiptesis de existencia de un extremo local en el punto X 0 .
En consecuencia, la nica posibilidad es que i( xi0 ) 0 .
-6-

UNIVERSIDAD TECNOLGICA NACIONAL

FACULTAD REGIONAL C. DEL URUGUAY

ANLISIS MATEMTICO II
INGENIERA ELECTROMECNICA Y CIVIL

As una condicin necesaria para que una funcin f ( X ) diferenciable en X 0 , tenga un extremo en dicho punto es que todas sus derivadas parciales se anulen en l.
Un punto en el que todas las derivadas parciales se anulan, se le llama punto crtico o punto
estacionario de la funcin.
En el caso de n 2 , si f ( x, y) es diferenciable en el punto ( x0 , y0 ) y tiene un extremo local en
ese punto, resulta:
f ( x0 , y0 ) f ( x0 , y0 )

0
x
y
Por ello, el plano tangente a la superficie z f ( x, y) es horizontal, ya que los coeficientes de la
ecuacin del plano tangente resultan ambos nulos. Entonces, desde el punto de vista geomtrico, una condicin necesaria para que la funcin z f ( x, y) diferenciable en ( x0 , y0 ) , tenga un
extremo local, es que en ese punto su plano tangente sea horizontal. Sin embargo, como era de
esperarse, tal condicin est muy lejos de ser suficiente.
Diremos que un punto crtico X 0 es un punto de ensilladura, si todo entorno con centro en X 0
contiene puntos X tales que f ( X ) f ( X 0 ) y otros para los que f ( X ) f ( X 0 ) .

Condicin suficiente para la existencia de extremos

Para completar el estudio de los extremos locales de una funcin, vamos a ver un criterio que,
en la mayora de los casos, nos permitir decidir si un punto crtico X 0 es un mximo, un
mnimo , o un punto de ensilladura. Este criterio es una generalizacin del criterio de la derivada segunda en el caso de una variable. La diferencia consiste en que, en lugar de analizar el
signo de una sola derivada segunda, se estudia el signo de una combinacin de derivadas segundas.
Con la ayuda de la frmula de Taylor de segundo orden ya estudiada anteriormente, buscaremos resultados generales que aseguran la existencia de extremos locales de funciones diferenciables f : U Rn R en sus puntos crticos.
Suponga entonces que la funcin f : U Rn R tiene en X 0 U un punto crtico, y que en
ese punto posee derivadas parciales segundas continuas. Si desarrollamos f ( X ) en un entorno
del punto X 0 hasta los trminos de segundo orden, obtenemos utilizando el operador simblico:
T
1
f ( X ) f ( X 0 ) f ( X 0 ) X X H f ( X 0 )X R(2) (X )
(2)
2
en donde el ltimo trmino representa el resto de Taylor y

R(2) (X )
X

0 si X 0 .

Ahora bien, si la funcin f ( X ) tiene un punto crtico en X 0 , entonces el vector gradiente de

f ( X ) en X 0 es nulo, con lo cual la ecuacin (2) se reduce a :

-7-

UNIVERSIDAD TECNOLGICA NACIONAL

FACULTAD REGIONAL C. DEL URUGUAY

ANLISIS MATEMTICO II
INGENIERA ELECTROMECNICA Y CIVIL

T
1
f ( X ) f ( X 0 ) X H f ( X 0 )X R(2) (X )
2

de donde,
T
1
f ( X ) f ( X 0 ) X H f ( X 0 ) X R(2) (X )
2

con

R(2) (X )
X

(3)

0 si X 0

Recordemos ahora, a fin de poder demostrar el teorema que sigue, los siguientes conceptos ya
vistos en lgebra Lineal:
1) La forma cuadrtica X T A X , que tiene asociada la matriz A se dice:
a. Definida positiva: si X T A X 0 X

,X 0

b. Definida negativa si X A X 0 X , X 0
2) Si A [aij ] es una matriz real de n n , y si la forma cuadrtica asociada es definida positiT

va, entonces existe una constante M 0 tal que para todo X

Teorema: Si f : U

es X T A X M X .

es de clase C 3 , X 0 U es un punto crtico de f y la hessiana

H f ( X 0 ) es definida positiva, entonces X 0 es un mnimo relativo de f. De manera anloga, si

H f ( X 0 ) es definida negativa, entonces X 0 es un mximo relativo.
Demostracin: Como H f ( X 0 ) es definida positiva, el lema anterior asegura la existencia de
una constante M 0 tal que para todo X

X H f ( X 0 )X M X
Ahora bien, como

R(2) (X )
X

(4)

0 si X 0 , entonces dado un M / 2 0 existe 0

tal que si 0 X es
R2 ( X 0, X )
X

M
2

R2 ( X 0, X )

De donde combinando (4) y (5) se tiene que

1
R2 ( X 0, X ) M X
2

y por lo tanto la expresin (3) queda

-8-

1
M X
2

T
1
X H f ( X 0 )X
2

(5)

UNIVERSIDAD TECNOLGICA NACIONAL

FACULTAD REGIONAL C. DEL URUGUAY

ANLISIS MATEMTICO II
INGENIERA ELECTROMECNICA Y CIVIL

T
1
f ( X ) f ( X 0 ) X H f ( X 0 ) X R(2) (X ) 0
2

para 0 X , de manera que X 0 es un mnimo relativo. La demostracin en el caso de

que H f ( X 0 ) sea definida negativa el razonamiento es anlogo, o puede obtenerse aplicando el
mismo razonamiento a f y se deja como ejercicio.
Ahora bien, la forma cuadrtica dada es definida positiva (negativa) si H f ( X 0 ) tiene todos los
valores propios positivos (negativos). Luego, si los autovalores de H ( X 0 ) son todos positivos
(negativos) entonces f ( X 0 ) ser un mnimo (mximo) local respectivamente.
T

Otro criterio muy til nos dice cuando la forma cuadrtica X H X es definida positiva o
definida negativa en trminos de los elementos de la matriz Hessiana.
Se consideran las submatrices angulares H k , con k 1, 2,.., n definidas como :

H1 [ H11 ]

H
H 2 11
H 21

H12
H 22

H11
H 3 H 21
H 31

H12
H 22
H 32

H13
H 23
H 33

...

Hn H

Es decir, la matriz H k est formada por los elementos de la matriz H que estn en su ngulo
superior izquierdo, incluyendo k filas y k columnas de ella. Se tiene entonces que la forma
cuadrtica :
Es definida positiva si y slo si todos sus determinantes H1 , H 2 ,..., H n son positivos.
Es definida negativa s y slo si H1 0, H 2 0, H3 0,.... o bien (1)k H k 0
De esta manera tenemos el siguiente nuevo criterio:
a) Si todas las submatrices angulares de la matriz hessiana H ( X 0 ) tienen determinantes positivos, entonces la funcin f ( X ) tiene un mnimo local en X 0 .
b) Si las submatrices angulares de la matriz hessiana H ( X 0 ) tienen determinantes de signos
alternados (comenzando con un valor negativo), entonces la funcin f ( X ) tiene un mximo local en X 0 .
Los puntos crticos para los cuales el hessiano es distinto de cero se llaman puntos crticos no
degenerados. Dichos puntos son mximos, mnimos o puntos silla. Los puntos crticos restantes,
donde el hessiano es igual a cero, se deben estudiar con conjuntos de nivel y secciones o por
otro mtodo.

Problema de valores extremos con restricciones

Consideremos el siguiente tipo de problemas de extremos. Supongamos que f ( x, y, z ) representa la temperatura del punto ( x, y, z ) del espacio y preguntamos cul es el valor mximo o
mnimo de la temperatura en una cierta superficie. Si la ecuacin de la superficie est dada
explcitamente por medio de z g ( x, y) , entonces en la expresin f ( x, y, z ) podemos sustituir
-9-

UNIVERSIDAD TECNOLGICA NACIONAL

FACULTAD REGIONAL C. DEL URUGUAY

ANLISIS MATEMTICO II
INGENIERA ELECTROMECNICA Y CIVIL

z por g ( x, y) a fin de obtener la temperatura sobre la superficie en funcin de x e y solamente,

obteniendo F ( x, y) f ( x, y, g ( x, y)) . El problema se reduce entonces a buscar los valores extremos de F . Sin embargo, en la prctica, se presentan ciertas dificultades. La ecuacin de la
superficie puede estar dada en forma implcita, por ejemplo h( x, y, z ) 0 , y puede ser imposible, en la prctica resolver esta ecuacin explcitamente para z en funcin de x e y , o an para x
o y en funcin de las variables restantes. El problema puede complicarse todava ms si se piden los valores extremos de la temperatura en los puntos de una curva dada del espacio. Tal
curva es la interseccin de dos superficies, por ejemplo, h1 ( x, y, z ) 0 y h2 ( x, y, z ) 0 . Si pudisemos resolver estas dos ecuaciones simultneamente, por ejemplo x e y en funcin de z,
entonces introduciramos estas expresiones en f y obtendramos una nueva funcin con la nica variable z , cuyos extremos seran entonces los buscados. Sin embargo, en general, este procedimiento no se puede llevar a cabo y debemos buscar un mtodo ms prctico. Uno muy elegante y fcil para abordar tales problemas fue desarrollado por Lagrange.
Esta tcnica permite determinar los extremos de una funcin f : U

cuando X est

restringido a satisfacer una ecuacin h ( X ) c . Es decir, f ( X ) restringida al conjunto

S X U / h ( X ) c y lo indicamos f S .
Definicin: Sean f , h : U

dos funciones definidas en un conjunto abierto U de R n y

S X U / h ( X ) c decimos que f alcanza en X 0 S un mximo (mnimo) condicionado

por S, o restringido a S, si existe un entorno E ( X 0 ) de X 0 tal que

f ( X ) f ( X 0 ) X E ( X 0 ) S

f (X ) f (X )
0

X E( X 0 ) S

Analicemos primeramente el siguiente caso particular: Supongamos que f ( x, y) continuamente

diferenciable est restringida al conjunto al S ( x, y) / h( x, y) c y adems que
f / y 0 en todo punto de S.
Puesto que f / y 0 en cada punto ( x0 , y0 ) S el teorema de la funcin implcita nos asegura

que asociada con cada punto de ( x0 , y0 ) existe una funcin y g ( x) que satisface
h( x, g ( x)) c
para toda X ( x, y) en alguna vecindad de ( x0 , y0 ) .
Diferenciando (6) respecto a x se obtiene que:
h h dg

0
x y dx
que puede escribirse como

h h dg
, 1, 0
x y dx
O bien
- 10 -

(6)

UNIVERSIDAD TECNOLGICA NACIONAL

FACULTAD REGIONAL C. DEL URUGUAY

ANLISIS MATEMTICO II
INGENIERA ELECTROMECNICA Y CIVIL

h T 0

(7)

dg
O sea, el vector h es perpendicular al vector 1, , y como el h es normal a
dx
dg
h( x, g ( x)) c , es entonces T 1, el vector tangente a h( x, g ( x)) c .
dx
Ahora bien, si z f ( x, y) est restringida al conjunto S ( x, y) / h( x, y) c , entonces
z f ( x, y) f ( x, g ( x))
Los puntos crticos de f son aquellos para los cuales dz / dx 0 . Esto es, aplicando la regla de la
cadena
dz f f dg

0
dx x y dx
o bien, expresado vectorialmente
f T 0

De (7) y (8) surge que

(8)

f h

Por consiguiente, los puntos crticos de f cuando est restringida al conjunto S ( f s )son simplemente los puntos de S para los cuales f h para algn escalar . Si existe solamente un
punto crtico, ste debe ser el extremo. Si existe ms de uno, los valores de f se deben examinar
en estos puntos para determinar cul es el extremo buscado.
Anlogamente suponga que una funcin f ( x, y, z ) continuamente diferenciable est restringida
al conjunto de puntos S ( x, y, z) / h( x, y, z) c y suponga adems que h / z 0 en cada uno
de los puntos de S, entonces los extremos de f S son los puntos de f en los cuales f h
para algn escalar .
Si bien se ha supuesto que h / z 0 en realidad basta con que una de las derivadas parciales
cualquiera sea no nula, condicin sta que puede resumirse exigiendo que h 0 para todo
punto de S.
El significado de en general
Para interpretar , observemos en el caso particular de f ( x, y) , la manera en que el valor
ptimo de la funcin f cambia conforme vara el valor de c. De esta forma, siempre que x e y
sean funciones diferenciables e c, podemos usar la regla de la cadena para diferenciar el valor
ptimo f ( x(c), y(c)) con respecto a c.
df f dx f dy
(9)

dc x dc y dc
En el punto ptimo ( x0 , y0 ) tenemos que f x hx y f y hy y por lo tanto

h dx h dy
df
dh

c
dc
x dc y dc
- 11 -

(10)

UNIVERSIDAD TECNOLGICA NACIONAL

FACULTAD REGIONAL C. DEL URUGUAY

ANLISIS MATEMTICO II
INGENIERA ELECTROMECNICA Y CIVIL

pero h( x(c), y(c)) c con lo que dh / dc 1 , de donde

df

dc
Es decir, el valor de nos d la rapidez de cambio del valor ptimo de f a medida que c vara.

Generalizacin:
El criterio visto anteriormente puede generalizarse al caso de un campo escalar
f : U n diferenciable sujeto a k ecuaciones de restriccin

Sk ( X
Sea f : U

/ hk ( x1 ,..., xn ) ck ) de la siguiente manera:

n

sujeta a las k ecuaciones de restriccin

h1 ( x1 , x2 ,..., xn ) c1

...............................
h ( x , x ,..., x ) c
n
k
k 1 2

(11)

h
y suponiendo adems que la matriz jacobiana i tiene rango k en cada punto X n que
x
j
satisface (11), es decir J h ( X 0 ) 0 . Entonces los puntos estacionarios de f restringidos a (11)

son precisamente aquellos puntos que satisfacen la ecuacin

k

f k hk 1h1 2h2 .... k hk

(12)

i 1

para escalares 1 , 2 ,..., k . Adems cada extremo local de la funcin f restringida por (11) ocurre en uno de estos puntos estacionarios.
Definamos la funcin
k

F ( , X ) f ( X ) i hi ( X )

(13)

i 1

conocida como funcin de Lagrange del problema en consideracin, donde los nmeros
1 , 2 ,..., k (componentes de ) , llamados multiplicadores de Lagrange, satisfacen la condicin (12).
La condicin (12) significa que si X 0 es un punto extremo condicionado de la funcin restringida al conjunto S, ser punto estacionario para la funcin de Lagrange, es decir,
F
F
( X 0 ) 0, i 1, 2,..., n,
( X 0 ) h j ( X 0 ) c j 0, j 1, 2.,.., k.
xi
j

(14)

Es importante notar que no se garantiza la existencia de extremos de f. Solamente se proporciona un mtodo para encontrarlos si es que existen. Una vez localizados estos puntos muchas veces es resulta muy sencillo, ya sea por el contexto fsico o geomtrico del problema o bien por
un anlisis simple alrededor de esos puntos establecer si efectivamente en esos puntos se encuentra un mximo o un mnimo. En otras palabras, la condicin dada por la ecuacin (12) es
necesaria pero no suficiente para la existencia de un extremo condicionado. Sin embargo puede
- 12 -

UNIVERSIDAD TECNOLGICA NACIONAL

FACULTAD REGIONAL C. DEL URUGUAY

ANLISIS MATEMTICO II
INGENIERA ELECTROMECNICA Y CIVIL

ser til tener presente que una funcin continua definida en un conjunto cerrado y acotado
siempre alcanza valores mximos y mnimo absolutos en puntos de dicho conjunto (hecho que
analizaremos ms adelante).

Condiciones suficientes de extremos condicionados

Hemos desarrollado anteriormente un criterio de la segunda derivada para extremos de funciones de varias variables basado en la observacin del trmino de segundo grado en la serie de
Taylor de f. Si la matriz hessiana de las segundas derivadas parciales era definida positiva o
definida negativa en un punto crtico, pudimos concluir que estbamos en un mnimo o mximo
relativo, respectivamente.
Sin embargo, no estamos interesados ahora en todos los valores de f sino slo en aquellos obtenidos al restringir f a algn conjunto S, que sea el conjunto de nivel de otra funcin h. La situacin es complicada, primero porque los extremos restringidos de f no necesariamente se presentan en los puntos crticos de f; y segundo, porque slo se permite a la variable moverse en el
conjunto S.
Seguidamente se enuncia, sin demostracin el criterio que nos da las condiciones suficientes.
Sea f : U n , y hi ( X ) ci ,(i 1, 2,..., k ) funciones de clase C2. Si X 0 satisface las ecuaciones de restriccin hi ( X ) ci ,(i 1, 2,..., k ) y es un punto estacionario para la funcin de Lagrank

ge F ( , X ) f ( X ) i hi ( X ) , y si la segunda diferencial de la funcin de Lagrange en este

i 1

punto es la forma cuadrtica positiva (negativa) de las variables dx1 , dx2 ,, dxn a condicin de
que stas satisfacen el sistema de ecuaciones dhi ( X 0 ) 0,(i 1, 2,..., n) , entonces X 0 es un mnimo
(mximo) estricto condicionado de la funcin f restringida al conjunto
S ( X Rn / hi ( X ) ci , i 1, 2,..., n) .

Extremos absolutos de campos escalares en regiones compactas

Uno de los resultados clsicos sobre funciones reales de una sola 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 en dicho intervalo. Este resultado sigue siendo cierto para funciones reales
continuas de varias variables definidas en cierto tipo de regiones K 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
, es decir conjuntos cuyo complemento n K es un conjunto abierto de n .
Definicin: Sea f : K n una funcin real continua definida en el conjunto compacto K
de n , entonces f alcanza su mximo y mnimo absolutos en puntos de K.
La definicin establece definicin que existen puntos X 0 , X1 K tales que M f ( X 0 ) f ( X )
y m f ( X 1 ) f ( X ) X K .
- 13 -

UNIVERSIDAD TECNOLGICA NACIONAL

FACULTAD REGIONAL C. DEL URUGUAY

ANLISIS MATEMTICO II
INGENIERA ELECTROMECNICA Y CIVIL

Si adems suponemos que la funcin es diferenciable en el abierto U int( K ) se puede demostrar que los extremos absolutos de f ocurren en la frontera de K o bien en puntos interiores de K
donde las derivadas parciales se deben anular, es decir deben ser puntos crticos de f.
En el caso de funciones diferenciables de dos variables f : K 2 , definidas en un conjunto compacto K, donde f es continua en K y diferenciable en el abierto U int( K ) limitado
por una curva cerrada del plano dada por la ecuacin ( x, y) 0 , el problema de determinacin
de los extremos absolutos de f en K se limita a determinar los puntos crticos de f dentro de K
( U int( K ) ), y luego, determinar los extremos de f en los puntos de la curva ( x, y) 0 .
Estos ltimos clculos (los extremos de f en la frontera de K) se pueden realizar resolviendo el
problema de extremos condicionados de la funcin f con la restriccin ( x, y) 0 .
Comparando los valores de f en los puntos crticos as encontrados, se puede decidir cul de
ellos es el mximo y cul es el mnimo absoluto de f en el conjunto compacto K. Ver ejemplos
1, 2 y 3 Pg. 399/401 Pita Ruiz.

- 14 -