Escolar Documentos
Profissional Documentos
Cultura Documentos
Un grupo de resultados que suele usarse en el análisis, se conoce con el nombre de teorema
de Taylor o teorema del valor medio. Si f C1 es una región que continental segmento de
recta x1 , x2 entonces existe , 0 1 talque:
f ( x2 ) f ( x1 ) f ( x1 (1 ) x2 )( x2 x1 )
f ( x2 ) f ( x1 ) f ( x1 )( x2 x1 ) F ( x1 (1 ) x2 )( x2 x1 )
M y : h( x*) y 0
f ( x* ) T h( x* ) 0
L( x* ) F ( x* ) T H ( x* ) ……………………… (2)
Demostración: por calculo elemental, es evidente que para toda curva diferenciable dos veces
en la superficie de restricción S que pasa por x* (con x(0) x* ), resulta
d2
2
f ( x(t )) 0 ………………………………..… (3)
dt t 0
Por definición,
d2
2
f ( x (t )) x(0)T F ( x* ) x(0) f ( x* ) x(0) … (4)
dt t 0
d2
2
f ( x(t )) x(0)T L( x* ) x(0) 0
dt t 0
Como x (0) es arbitrario en M, se deduce de inmediato la conclusión formulada
Demostración:
2k T 2
0 h j ( yk ) h j ( x*) k h j ( x*) sk sk h j ( j ) sk ...(24)
2
Y
2k T 2
0 f ( yk ) f ( x*) k f ( x*) sk sk f ( j ) sk , ...(25)
2
donde cada j es un punto en el segmento de recta que une x * e yk . Al multiplicar (24) por
j y sumar esto a (25) se obtiene, teniendo en cuenta (23)
2k T 2 2
0 f ( yk ) f ( x*) k f ( x*) sk k h j ( x*)sk sk f ( j )sk k skT 2h j ( j )sk
2 2
2k T 2 2k T 2
0 f ( yk ) f ( x*) sk f ( j ) sk sk h j ( j ) sk teniendo en cuenta
2 2
yk x * k Sk
2k T 2 2
Resulta 0 f ( x * k Sk ) f ( x*) sk f ( j ) sk k skT 2 h j ( j )sk
2 2
f ( x * k Sk ) f ( x*) k T 2
0 lim sk f ( j ) sk k skT 2 h j ( j ) sk
k 0 k 2 2
Lo cual resulta:
2k T 2 m
0 sk { f (0 ) sk i2 hi (i )}sk
2 i 1
EJEMPLO:
Considérese el problema
Max x1 x2 x2 x3 x1 x3
Sujeto x1 x2 x3 3
En el ejemplo 1 de la sección 10.4 resulto que x1 x2 x3 1, 2
f x x2 x3 x1 x3 x1 x2
0 1 1
L 1 0 1
1 1 0
L es simétrica
Que no es ni definida positiva ni negativa, ya que L tiene autovalores positivos y negativos.
Sin embargo, en el subespacio M y : y1 y2 y3 0 , se observa que:
yT Ly y1 y2 y3 y2 y1 y3 y3 y1 y2
y12 y22 y32
Y así, L es definida negativa en M . Por tanto, la solución que se halla es, al menos, un
máximo local