Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Tema 7
Tema 7
coeficientes aij y las variables xi , xj toman valores reales y se verifica que aij = aji
Los coeficientes determinan una Matriz simtrica de orden n
a 1,1
M = a 2,1
a
n ,1
a 1, 2
a 2, 2
a n,2
a 1, n
a 2, n
a n ,n
2) Una forma cuadrtica F se llama definida positiva , si F > 0 para todo sistemas de valores
no simultneamente nulos de las xi , xj variables
3) Una forma cuadrtica F se llama definida negativa , si F < 0 para todo sistemas de valores
no simultneamente nulos de las xi , xj variables
4) Una forma cuadrtica F se llama semidefinida positiva , si F 0 es decir se conserva
positiva, anulndose solo para algn sistema de valores de las variables xi , xj
5) Una forma cuadrtica F se llama semidefinida negativa , si F 0 es decir se conserva
negativa, anulndose solo para algn sistema de valores de las variables xi , xj
6) Una forma cuadrtica F se llama indefinida , si F toma valores positivos, nulos o negativos,
para distintos sistemas de valores de las variables xi , xj.
TEOREMA 1
n
Sea F i, j1 a i, j x i x j donde los coeficientes aij
a 1, 2
a 2, 2
a k,2
a 1,k
a 2,k
a k ,k
La condicin necesaria y suficiente para que F sea definida positiva es que Hk > 0 para
k = 1..n
La condicin necesaria y suficiente para que F sea definida negativa es que (-1)k Hk > 0 para
k = 1..n En esta ultima expresin, para k = 1 (impar), H k debe ser negativo, de lo contrario
no se puede asegurar nada.
DEMOSTRACIN
Nos limitaremos a efectuar la demostracin en el espacio R 2
F 2
a 1,1 x 1 x 1 a 1, 2 x 1 x 2 a 2,1 x 2 x 1 a 2, 2 x 2 x 2 a 1,1 .x 12 2.a 1, 2 .x 1 .x 2 a 2, 2 .x 22
i, j 1 a i, j x i x j
ya que a 1,2 = a 2,1 multiplicamos y dividimos la expresin por a 1,1 y en los dos primeros
trminos completamos el binomio cuadrado haciendo el siguiente artificio
F
a
a2
a2
a 21,1
.x 12 2. 1,1 a 1, 2 .x 1 .x 2 1, 2 .x 22 1, 2 .x 22 a 2, 2 .x 22
a 1,1
a 1,1
a 1,1
a 1,1
1
a 1,1.x1 a 1, 2 .x 2 2 1 a 1,1.a 2, 2 a 12, 2 .x 22
a 1,1
a 1,1
En el espacio R2, H2 =
F
a 1,1
a 1, 2
a 2,1 a 2, 2
2
(a 1,1 .a 2, 2 a 1, 2 ) y H1= a 1,1 y reemplazamos en F
1
a1,1.x1 a1, 2 .x 2 2 1 H 2 .x 22 F( x1 , x 2 )
H1
H1
Entonces si
H1 0
H 2 0
F es definida positiva
H1 0
F es definida negativa
(1) 2 H 2 0
Definicin 1:
Se dice que y = f( x ) tiene un mximo relativo o local en a S, si:
r > 0 / x S N( a , r) : f( x ) f( a )
Definicin 2:
r > 0 / x S N( a , r) : f( a ) f( x )
Definicin 3:
Se dice que y = f( x ) tiene un extremo absoluto o global en a S, si:
() x S : f( x ) f( a ) , o bien :
(II) x S : f( a ) f( x )
relativo (local) indica que se compara el valor de la funcin en el punto x = a con los
valores que ella toma en una vecindad de dicho punto solamente. As, una funcin con
mximos y mnimos locales puede tomar valores mayores que sus mximos locales y menores
que sus mnimos locales. Adems, notemos tambin que una funcin y = f( x ) puede tener
varios mximos y mnimos locales, iguales o no entre s. Estas ltimas observaciones, para el
caso de funciones de una variable, se justifican al considerar la siguiente figura.
y = f(x)
a
b
Teorema:
Sea y = f(x1, x2,......, xn) = f( x ) una funcin definida en un recinto S (conjunto
abierto y conexo de Rn) y derivable en un punto a = (a1, a2,....., an) S. Condicin necesaria
pero no suficiente para que f tome un valor extremo local en x a es que:
f a
x 0
1
f a
0
x2
f a
x 0,
n
f a
0 . En forma anloga se prueban las dems relaciones (1).
x1
Ahora veamos que si se verifican las relaciones (1), pueden presentarse distintas situaciones
en una vecindad del punto x = a .
Es decir, veamos que (1) no es una condicin suficiente para garantizar la existencia de
extremo de f(x) en x = a (como lo prueba el ejemplo 3).
Ejemplo 1:
Sea f(x,y) = 9 - x - y, (x,y) R. Las derivadas parciales de primer orden de f son
fx(x,y) = - 2x,
fy(x,y) = - 2y.
As vemos que (0,0) es el nico punto en el cual se anulan simultneamente ambas derivadas
parciales de primer orden de f (punto crtico de f).Por otra parte, es
(x,y) R: f(x,y) = 9 - x - y = 9 - (x + y) 9 = f(0,0).
Luego, f tiene en (0,0) un mximo local. Tambin aqu se ve que f(0,0) = 9 es el mximo
absoluto de f en R.
Z=f(x,y)
Ejemplo 2:
Sea f(x,y) = 9 + x + y (x,y) R.
Calculamos las derivadas parciales de primer orden de f.
fx(x,y) = 2x
fy(x,y) = 2y
Vemos que en (0,0) se anulan simultneamente estas derivadas parciales de f.
Ejemplo 3:
f x ( x, y) 2x
Luego, es
f y ( x, y) 2 y
Como siempre, calculadas las derivadas parciales de primer orden de f, vemos que en (0,0)
se anulan estas simultneamente. Luego (0,0)es un punto crtico de f.
Notamos que : y 0 : f(0,y) = 0- y = -y< 0 = f(0,0). Y tambin que x 0 :
f(x,0) = x - 0 = x > 0 = f(0,0).
De lo anterior concluimos que en todo entorno de (0,0) existen puntos (x,0) para los cuales
f(x,0) > f(0,0) y puntos (0,y) para los cuales f(0,y) < f(0,0).
Entonces resulta que en (0,0) f no tiene extremo local, aunque en l ambas derivadas parciales
de f se anulan simultneamente.
Observaciones:
f (a )
f (a )
df (a )
.dx1 .............
. dx n 0.dx1 ......... 0.dx n 0
x1
xn
yy
Teorema: Si una funcin z = f(x,y) definida en un recinto R R2 tiene derivadas parciales
segundas continuas en un entorno del punto P(a,b) y no simultneamente nulas en el punto
P(a,b), siendo fx(a,b) = fy(a, b) = 0, entonces :
1.
2.
3.
4.
Demostracin:
Supongamos entonces que la funcin z=f(x,y) definida en un recinto R R2 tenga derivadas
parciales segundas continuas en un entorno de un punto crtico P(a,b) de f del recinto R y
que estas derivadas no se anulen simultneamente en P(a,b).
Desarrollando la funcin f(x,y) por la frmula de Taylor para n=1 en un entorno del punto
crtico P(a,b), tendremos:
1
2
f (a h, b k ) f (a , b) ( .h
k ) f (a , b) (( .h
k ) f (a h, b k ) con 0<<1
x
2! x
f yx f yy
f xx .f yy f xy
2
(f ( x ) , f ( y ) )
( x , y)
funcin f(x,y).
Si la forma cuadrtica es definida positiva F > 0 en (a,b) existe un MINIMO RELATIVO
ESTRICTO
MAXIMO RELATIVO
ESTRICTO
Entonces dada z=f(x,y) para determinar los puntos extremos hacemos lo siguiente
1. Hallamos las derivadas primeras de f(x,y) respecto de x e y respectivamente
f x ( x, y) 0
2. Planteamos el sistemas de ecuaciones
y resolvemos el sistema y hallamos
f y ( x, y) 0
los puntos crticos P(a,b) , Q(a,b) etc.
f
3. Calculamos el HESSIANO H = xx xy f xx .f yy f xy 2
f yx f yy
(f ( x ) , f ( y ) )
( x , y)
< 0
Los problemas de mximos y mnimos locales se presentan con frecuencia en forma tal que
las variables no son todas independientes. Sin embargo, en muchos casos las condiciones de
vnculo no permiten despejar unas variables en funcin de otras.
Es por ello que se buscan mtodos que puedan utilizarse tambin cuando las condiciones de
vnculo solamente definen funciones en forma implcita.
Sea en general z = f(x,y) una funcin diferenciable de dos variables, estando ligadas estas por
una ecuacin diferenciable g(x,y) = 0.
g
0, se podr considerar y = y(x) definida en forma implcita
Si se cumple la condicin
y
por g(x,y) = 0, resultando z = f x, y(x) = H (x).
Buscamos un mtodo que permita determinar los extremos de H(x) mediante f y g , sin
necesidad de conocer la expresin explcita de H(x) ni la de y = y(x).
Se puede interpretar geomtricamente el problema en el plano si se supone que en l se
busca extremar una funcin f(x,y) sobre una determinada curva g(x,y) = 0.
Supuestas satisfechas las condiciones de existencia, continuidad y derivabilidad de y = y(x),
la condicin necesaria (pero no suficiente) de existencia de extremo local ser la anulacin
de la derivada total de f(x,y) siendo y = y(x) esto es de H(x) = f[x ,y (x)]), obteniendo y(x)
mediante g(x,y) = 0. (o sea H(x)=0)
f x f y y' 0
g x g y y' 0
(2)
o bien al:
f x dx f y dy 0
g x dx g y dy 0
(2)
(ya que es y= -
gx
gy
),
gx
f g f yg x
dx x y
. dx
gy
gy
gy
Tenemos entonces que la expresin (3) junto con la ecuacin de enlace g(x,y)=0 forman el
sistema de dos ecuaciones con dos incgnitas:
f x g y f yg x 0
(4)
g(x, y)
Las soluciones del sistema (4) son los puntos crticos o extremantes en los cuales puede
existir extremo local en dichas condiciones de continuidad y diferenciabilidad.
Debemos notar que sin estas ltimas restricciones mencionadas acaso existen otros
extremos singulares, sin olvidar que deben considerarse los puntos del contorno.
Finalmente, observemos que el sistema (4) da condiciones necesarias pero no suficientes para
la existencia de extremo local. La discusin de suficiencia se hace mediante el estudio del
signo de d2f, estando aqu ligadas dx, dy, d2y por las condiciones dg = 0, d 2g = 0, si
consideramos dx incremento independiente y a dy diferencial funcional.
En la prctica, al resolver problemas concretos, se logra a veces determinar la naturaleza del
punto crtico en base al carcter del problema mismo, mediante consideraciones auxiliares
(por ejemplo, consideraciones fsicas o geomtricas).
MTODO DE LOS MULTIPLICADORES DE LAGRANGE
Muchos problemas de optimizacin tienen restricciones o ligaduras en los valores que pueden
usarse para lograr la solucin ptima. Tales ligaduras tienden a complicar los problemas de
optimizacin ya que la solucin optima puede ocurrir fcilmente en un punto frontera del
dominio.
Para resolver tales problemas se utiliza una tcnica ingeniosa que se conoce como METODO
DE LOS MULTIPLICADORES DE LAGRANGE en honor al Matemtico Francs Joseph Louis
LAGRANGE (1736-1813) quien introdujo el mtodo en su famoso artculo de mecnica
cuando tena diecinueve aos.
Este mtodo implica la introduccin de nuevos parmetros llamados multiplicadores de
Lagrange, mediante el cual se logra mayor sencillez y simetra en los clculos y se elimina la
necesidad de distinguir previamente entre variables dependientes e independientes, as como
la intervencin de diferenciales segundas de variables dependientes en la discusin de
suficiencia.
Supongamos entonces que buscamos extremar una funcin z = f(x,y) con la condicin g(x,y)
= 0, donde tanto f como g son diferenciables y g y 0 (o bien gx 0, si gy = 0)
Si en el sistema (2) visto anteriormente, a la primera ecuacin le sumamos la segunda
multiplicada por un parmetro , ordenando respecto de dx y dy se obtiene:
f x dx f y dy 0
g x dx g y dy 0
(f x dx f y dy) (g x dx g y dy) 0
(5)
Como en (5) las diferenciales dx, dy no son independientes, no podemos deducir sn ms que
los parntesis deben anularse . Ahora, si se elige de modo que se anule el coeficiente de dy,
resulta:
fx + gx = 0
(6)
fy + gy = 0
que conjuntamente con la condicin de vnculo g(x,y) = 0 dan tres ecuaciones para
determinar los puntos crticos y el correspondientemente parmetro para cada uno de ellos:
fx + gx = 0
fy + gy = 0
g(x,y) = 0
Lagrange observ que las ecuaciones (6) corresponden o se establecen cuando se buscan los
extremos locales libres de una funcin que la llamaremos funcin auxiliar de Lagrange
F(x,y) = f(x,y) + g(x,y)
(7)
10
F
dx dy) 2 F d 2 y
x
y
y
Ahora, la segunda ecuacin del sistema (6) es, segn la expresin (7) F y = 0, y como sobre
d2F (
g(x,y) = 0 es
dF = df,
tendremos d 2 f ( dx dy) 2 F
x
0
x
x
f ( x , y)
g ( x , y)
Fy ( x, y, ) y y 0
( x , y, )
( x , y, ) g ( x , y) 0
11
f ( x, y)
g( x, y)
3 1 / 4 1 / 4
100. x
y 150. 0
x
x
4
f ( x, y)
g( x, y)
1 3 / 4 3 / 4
Fy(x, y, ) y y 100. 4 x y 250. 0
F (x, y, )
x
1
4
3/ 4
3 / 4
250.
1
2
1 / 4
1/ 4
. 0
obtenemos
x = 5.y
Que con la tercera ecuacin del sistema al reemplazar su valor se obtiene y = 50 x = 250
Finalmente la produccin mxima es
f(x,y) = 100.(250) 3/ 4.(50) 1/ 4 =16719 unidades
(1)
sistema
Fx(x,y) = y + 2 x = 0,
Fy(x,y) = x + 2 y = 0,
g(x,y) = x+ y - 1 = 0.
2x
2y
Por la tercera ecuacin de (1), y por (3) debe ser : y+y-1 = 0, esto es 2 y = 1.
Luego, es y 1 2 , y por (3) es
2
2
2
P1
2 , 2
2
2
P2
2 , 2
2
2
2
2
P3
2 , 2
2
2
P4
2 , 2
que constituyen los puntos crticos o extremantes de z = f(x,y) con la condicin dada.
Estudiemos ahora las condiciones de suficiencia en los puntos crticos, o sea el signo de df
(= signo f ) recordando que dx, dy estn ligadas por d g(x,y) = d (x+ y - 1) = 0
12
en P 2 , 2 : y 1 , en P 2 , 2 : y 1 , luego, en P1 y P2 tendremos:
3
2x
2x
()
2
2
1
()
.
2
2
2
P1, P2
Anlogamente, como en
2
2
P3
,
2
2
y en
es x 1 , tendremos:
2 2
P4
,
2
2
df = dx + 2 dx dy + dy = (dx + dy) =
x
dx dx
y
Por lo tanto signo f = signo df = + 1. Esto significa que f tiene en P3, P4 valor mnimo
local. Adems es
Zmn = x . y
2
.
2
2
1
2
2
P3, P4
13