Programacin Matemtica para Economistas

37
5.- Problemas de programacin no lineal.
1.- Resolver el problema
5 5
9
1 3
2 2

+
+
y x
y x
y x
a s.
Min ) ( ) (
2 2

Solucin:
En general en la resolucin de un problema de programacin no lineal seguiremos
una serie de pasos:
En primer lugar intentaremos representar grficamente nuestro conjunto de
oportunidades y las curvas de nivel de la funcin objetivo.
El segundo paso consistir en comprobar la aplicabilidad de los Teoremas de
Weierstrass y Local - Global, de tal forma que podamos tener seguridad de la existencia de
solucin global a nuestro problema, y si dichas soluciones que obtengamos con las tcnicas
aplicadas son las soluciones globales.
En tercer lugar obtendremos las soluciones a nuestro problema mediante las
condiciones de punto estacionario, aunque en este caso podemos seguir dos vas para la
resolucin del sistema que se genera. Una, corresponde a la resolucin de dicho sistema
teniendo en cuenta las distintas ramas que se presenten y otra, basada en la determinacin,
con la ayuda de la representacin grfica, de las restricciones activas en el ptimo y reducir
de esa manera las distintas posibilidades del caso anterior.
R. Caballero, T. Gmez, M. Gonzlez, M. Hernndez, F. Miguel, J. Molina, M.M. Muoz, L. Rey, F. Ruiz
Posteriormente deben analizarse las condiciones de segundo orden tanto necesaria
como suficientes, para poder afirmar si dichos puntos estacionarios son ptimos, y si lo son,
si son locales o globales.
Programacin Matemtica para Economistas


38

El conjunto de oportunidades, como podemos observar en la grfica, es un conjunto
cerrado, acotado, convexo y no vaco, mientras que la funcin objetivo es continua y
convexa, luego por el Teorema de Weierstrass podemos asegurar que existe un mnimo
global y por el Teorema Local - Global, todo mnimo local es global.
En consecuencia, nos bastara con determinar los mnimos locales y directamente
obtendremos los globales pero, como se verifican las condiciones suficientes para que un
punto estacionario sea mnimo global, slo necesitamos encontrar los puntos estacionarios.
Para ello, podemos hacerlo de dos formas posibles, directamente a travs de las
condiciones de punto estacionario, o bien, a travs de la grfica analizando las restricciones
activas en el mnimo. Veamos los dos procedimientos comenzando por el de punto
estacionario.
Para resolver el problema a travs de las condiciones de punto estacionario, para
construir la funcin de Lagrange deberemos modificar nuestra funcin objetivo de acuerdo
con la relacin:
Min (x 3)
2
+ (y 1)
2
= - Max - (x 3)
2
- (y 1)
2

Y entonces, la funcin de Lagrange vendr dada por
) 5 5 ( ) 9 ( ) 1 ( ) 3 ( ) , , , ( y x y x y x y x
2 1 2 1
+ + = L
2 2 2 2

R. Caballero, T. Gmez, M. Gonzlez, M. Hernndez, F. Miguel, J. Molina, M.M. Muoz, L. Rey, F. Ruiz
Observemos que la segunda restriccin ha debido adaptarse a la forma .
Programacin Matemtica para Economistas


39
Las condiciones de punto estacionario vienen dadas por:
0 ) 8 (
0 ) 7 (
) 6 ( 5 5
) 6 ( 0
0 ) 5 5 ( ) 6 (
) 5 ( 9
) 5 ( 0
0 ) 9 ( ) 5 (
0 ) 5 5 ( ) 4 (
0 ) 9 ( ) 3 (
0 2 ) 1 ( 2 ) 2 (
0 5 2 ) 3 ( 2 ) 1 (
2 2
2 2
2 2

= +
=
= +

= +
=
= +
+ =
+ =
= =
= + =
2
1
2
2
1
1
2
1
2 1
2 1
b y x
a
y x
b y x
a
y x
y x
y x
y y
y
x x
x

L
L
L
L

Para resolver ese sistema que contiene ecuaciones e inecuaciones comenzaremos
resolviendo las ecuaciones y posteriormente, comprobaremos el cumplimiento de las
inecuaciones. As, determinaremos los puntos que verifican (1), (2), (5) y (6). Para ello,
pueden formarse cuatro sistemas que vienen dados por las ecuaciones (1), (2), (5a) o (5b) y
(6a) o (6b). Posteriormente, comprobaremos si las soluciones verifican las inecuaciones (3),
(4), (7) y (8) y dichos puntos sern los puntos estacionarios para nuestro problema de
mnimo.
Pasamos a estudiar cada una de las cuatro posibilidades que surgen al combinar las
distintas ramas.
a)
1
=
2
= 0
-2(x-3) = 0 x = 3 -2(y-1) = 0 y = 1
Punto que no verifica la primera restriccin luego no sera factible.
b)
1
= 0 - x + y = - 5 5
-2(x-3) + 5
2
= 0
2
x
=
5

y = 2 1 ( )
2 3 ( )
-2(y-1) -
2
= 0
2

R. Caballero, T. Gmez, M. Gonzlez, M. Hernndez, F. Miguel, J. Molina, M.M. Muoz, L. Rey, F. Ruiz
Igualando las dos expresiones que surgen para
2
y despejando la variable x
obtenemos que
Programacin Matemtica para Economistas


40
x
y
=
+ + 2 5 2 5 6
2

con lo cual tenemos que

+ +
+ = 5
2 5 2 5 6
2
5 ( )
y
y
expresin de la que podemos obtener el valor de la variable y
y =
+ 5 2 5
6

valor que nos genera el siguiente resultado

2
=
+
< 2
1 2 5
6
0 ( )
que no verifica la condicin (8).
c) x
2
+ y
2
= 9
2
= 0
-2(x-3) - 2x
1
= 0
1
x
x
=
3

-2(y-1) - 2y
1
= 0
1
y
y
=
1

Igualando las dos expresiones obtenidas para
1
y despejando la variable x
obtenemos que
x = 3y
que al sustituir en la ecuacin de la circunferencia nos genera dos valores para la varible y
y =
3
10
con lo cual llegaramos a que
x =
9
10
R. Caballero, T. Gmez, M. Gonzlez, M. Hernndez, F. Miguel, J. Molina, M.M. Muoz, L. Rey, F. Ruiz
Si tomamos los valores positivos y sustituimos en cualquiera de las expresiones
obtenidas para
1
obtenemos
Programacin Matemtica para Economistas


41

1
= + > 1
10
3
0
con lo cual encontramos el punto
9
10
3
10
1
10
3
0 , , , +
|
\

|
.
|

En cambio, si tomamos los valores negativos obtenemos el siguiente valor de
1

1
=

<
3 10
3
0
y no se verificara la condicin (7).
d) x
2
+ y
2
= 9 - x + y = - 5 5
Resolvindose el sistema que surge con estas dos restricciones se obtienen dos
resultados
x = 2 y = 5 x = -1/3 y = -4 5 /3
Si tomamos el primero, al sustituir en las dems igualdades nos quedara
) 1 5 ( 2 5 2
2 5 4
=
= +
2 1
2 1



sistema del que se puede derivar que

1
=

<
8 5
14
0
con lo cual lo tendramos que desechar al no poder tomar esa variable un valor negativo.
Igual ocurrira si tomamos la segunda posibilidad cosa que puede comprobar
fcilmente el lector.
Vistas ya las cuatro posibilidades que surgen de las condiciones de punto
estacionario y resumiendo las conclusiones que se derivan de las mismas slo nos quedamos
con un nico punto,
9
10
3
10
1
10
3
0 , , , +
|
\

|
.
|
, que verifica las ecuaciones e inecuaciones
correspondientes y, por consiguiente, es punto estacionario.
R. Caballero, T. Gmez, M. Gonzlez, M. Hernndez, F. Miguel, J. Molina, M.M. Muoz, L. Rey, F. Ruiz
Otra forma, en el caso de problemas de dos variables, es a travs de la grfica,
analizando las restricciones activas en el mnimo, con lo que sabremos que los
multiplicadores correspondientes a las restricciones inactivas sern cero, y en las
Programacin Matemtica para Economistas


42
restricciones activas se verifican las ecuaciones con igualdad. De esta forma reducimos
sustancialmente el nmero de subsistemas a resolver.
En nuestro caso tenemos que la restriccin (3) es activa y, por tanto, en la condicin
de holgura complementaria debe verificarse la condicin (5b), mientras que la restriccin
(4) es inactiva y debe verificarse la condicin (6a). Por consiguiente, nuestro sistema vendr
dado por (1), (2), (5b) y (6a), es decir, sustituyendo la cuarta en las dos primeras queda:
1
1 1
1
1 1
y y y y
x x x x

+
= = + = +
+
= = + = +
1
1
1 ) 1 ( 0 2 2 2
1
3 ) 1 ( 0 2 6 2
3

sustituyendo en la cuarta tenemos:
3
1
1
1
9
10 9 1
10
9
1
2
+
|
\

|
.
| +
+
|
\

|
.
| =
= +
=

1 1
1
1
( )
2 2

desechamos el valor negativo de la raz cuadrada pues deriva un multiplicador negativo, y
de ese obtenemos que:
x y = = =
3
10
9
9
10
3
10

luego, nuestro punto es
9
10
3
10
1
10
3
0 , , , +
|
\

|
.
|
que adems verifica las condiciones (3),
(4), (7) y (8). Por tanto, es punto estacionario que adems coincide con el obtenido de la
resolucin de los cuatro sistemas por el primer procedimiento.
La siguiente pregunta que debemos contestar para finalizar la resolucin de este
problema es si este punto estacionario es un mnimo global. La respuesta sera s, ya que,
como ya hemos visto, se verifican las condiciones suficientes para que un punto estacionario
sea mnimo global.
R. Caballero, T. Gmez, M. Gonzlez, M. Hernndez, F. Miguel, J. Molina, M.M. Muoz, L. Rey, F. Ruiz