Sie sind auf Seite 1von 25

Elementos de Diseo ptimo

Tcnicas de Optimizacin: Mtodos de Optimizacin

1. La bsqueda de un ptimo
Lo expuesto hasta aqu implica haber logrado definir, para un determinado problema de
diseo, tanto el esquema de proceso cuanto el modelo matemtico que lo representa, as como
un conjunto de variables independientes o de decisin que resultan las ms adecuadas,
teniendo en cuenta la complejidad del clculo de la funcin objetivo.
La cuestin que se plantea ahora es como manejar el problema de optimizacin resultante
-supuestamente siempre se tendr un nmero positivo de grados de libertad- o, en otros
trminos, que valores habrn de darse a las variables de decisin para obtener el ptimo
buscado.
Las distintas estrategias que pueden concebirse constituyen el desarrollo central de las
Tcnicas de Optimizacin, a las que se las suele agrupar en dos grandes captulos: los
Mtodos de Optimizacin y las Programaciones.
Dentro de los primeros quedan englobadas vas de solucin de tipo genrico, donde se tiene
una escasa consideracin acerca de la naturaleza matemtica del problema cuyo ptimo debe
encontrarse, privilegindose ms los aspectos "operativos" con los que el mtodo pretende
arribar a la solucin. Las segundas, en cambio, son de aplicacin restringida a determinado
tipo de problemas, caracterizados ya sea por su formulacin matemtica o bien por la
estructura del flujo de informacin.
En la literatura se habla de una Programacin no lineal que, sintticamente, se refiere a un
problema que puede formularse como sigue

min F(x)

xE n

con g( x ) = 0 ; g Er ; r < n
y h( x ) 0 h E m
que no es otra cosa que el planteo ms general posible de un problema de optimizacin.
Para esta clase de programacin la va de ataque son los mtodos de optimizacin; con lo
que, segn lo dicho ms arriba, habra una cierta contradiccin. Esto no es ms que aparente,
habida cuenta de que, por lo inespecfico de la formulacin, se ha perdido la caracterstica
bsica que distingue a las programaciones.
4-1

El objetivo comn a todos los mtodos de optimizacin es, en esencia, obtener, con el
menor nmero posible de evaluaciones de la funcin objetivo, una representacin
adecuada de la misma que permita determinar la ubicacin del punto ptimo.
De lo dicho resulta claro que toda la problemtica de estos mtodos est directamente
relacionada con aspectos propios del clculo numrico como eficiencia y comportamiento del
algoritmo frente a problemas mal condicionados, mbito de convergencia y velocidad de la
misma, etctera.
Existe una cuestin bsica que obliga a dividir el tratamiento de los mtodos de bsqueda en
dos grandes grupos, cuestin que se deriva de lo esencial de la determinacin numrica de un
extremo: un punto se dice ptimo -en sentido local, en rigor- cuando la funcin objetivo
evaluada all resulta ser mejor que en el entorno inmediatamente prximo.
Puesto en trminos simblicos
x* ptimo si F(x*) mejor que F(x) ; x*, x En y x* - x =
lo cual, para una funcin objetivo que dependa de una sola variable de decisin implica la
comparacin con solo dos puntos, x*+ y x*-, pero para otra que dependa tan solo de dos
debera efectuarse el cotejo con los infinitos puntos de la circunferencia de centro x * y radio .
Lo primero es numricamente posible pero lo segundo no y, por lo tanto, habr una sustancial
diferencia entre los mtodos de bsqueda de ptimo de funciones de una y dos o ms variables
de decisin.
Otra gran divisin que a la que se suele hacer referencia es entre mtodos orientados hacia
problemas sin restricciones y aquellos que son capaces de abordar esquemas restringidos. Aqu
no se har mayor hincapi en este punto ya que, en realidad, en lo que a diseo ptimo se
refiere, todos los casos reales poseen restricciones.
2. Mtodos para problemas de una variable
En este apartado se abarca una temtica que excede el exclusivo planteo de un problema de
diseo con una nica variable de decisin.
Un concepto ms acabado del tipo de cuestiones que abordan estos mtodos es el de
bsqueda unidireccional que abarca tanto los problemas ya mencionados como la resolucin
de otros, de dos o ms variables, en base a una estrategia basada en definir direcciones, segn
un determinado criterio, y sobre ellas buscar el ptimo de la funcin objetivo.
Uno de los enfoques clsicos en mtodos de bsqueda unidireccional es el concepto de
eliminacin de regiones, por el cual se procede a excluir del anlisis subsiguiente espacios de
bsqueda donde, se dice, no puede encontrarse el ptimo.
Esta idea est estrechamente asociada a la nocin de unimodalidad cuyo significado es que
en el mbito de bsqueda solo debe existir un ptimo de la naturaleza buscada.

4-2

En la figura 4.2.1 la funcin es unimodal si


se est buscando un mximo -existe uno
solo, el punto c- pero no lo sera si se
buscase mnimo, pues hay dos en la zona de
soluciones admisibles, los puntos a y b, los
extremos del intervalo. Ntese que la
unimodalidad no se ve afectada por la
discontinuidad -de la funcin y su derivadaque se presenta en el punto d.

Fig. 4.2.1
Simblicamente, se puede decir que una funcin es unimodal si
siendo x1 < x2 y x* el punto ptimo
f (x1) es peor que f(x2) si x2 < x* y
f (x1) es mejor que f(x2) si x1 > x*
Si una funcin es unimodal se puede
asegurar, calculndola solo en dos puntos,
en que zona no puede encontrarse el
ptimo y, por consiguiente, como ya
quedara dicho, eliminarla del anlisis. En la
figura 4.2.2 los valores de la funcin
calculados en x1 y x2 permiten presuponer
comportamientos como los indicados en
lneas de puntos, con lo que la zona x2-b
deja de ser de inters. Ntese que los
valores de la funcin podran haberse
Fig. 4.2.2
encontrado en una situacin inversa a la
presentada ( f1 < f2 ) y en tal caso la zona excluida sera a-x1.
Puede observarse que:
1.- Se requieren, como mnimo, dos evaluaciones de la funcin objetivo para poder
desechar una regin;
2.- La ubicacin de los puntos de clculo debe ser simtrica respecto del punto medio del
intervalo para que el porcentaje de regin eliminada sea independiente de valores relativos
de las evaluaciones;
4-3

3.- Siempre queda uno de los puntos dentro de la zona no eliminada, mientras que el
restante queda en uno de los lmites de la misma.
Si bien el concepto de unimodalidad es muy simple de plantear y, como se ver, puede
convertirse en una estrategia eficiente para la bsqueda de un ptimo, tiene un inconveniente
bsico y es que para asegurar su cumplimiento debera conocerse exactamente el
comportamiento de la funcin objetivo, cuestin que, en la prctica, es imposible.
Ms an, sin este conocimiento, que es, se
insiste, la situacin normal, solo se est en
condiciones de establecer cuando la
funcin no es unimodal.
En la figura 4.2.3, por ejemplo, se ha
representado una situacin posible luego
de un segundo paso en la estrategia de
eliminacin de regiones.
Otra vez se tienen dos puntos en el interior
y ha quedado de la etapa anterior una
evaluacin sobre el borde de la zona,
Fig. 4.2.3
indicado como punto b.
Resulta claro que si lo que se busca es un
mximo de la funcin objetivo sta no es unimodal en ese sentido (habra sendos mximos a
izquierda y derecha del punto x2).
Ahora bien, si no se detectase una situacin de esta ndole no habra que inferir, por ello, que
la funcin es unimodal, pues solo podra ser una consecuencia de la particular ubicacin de los
puntos de anlisis; aunque si se repitiese lo mismo una y otra vez habra fundamentos para
estimar que la funcin se comporta como unimodal.
3. El mtodo del nmero de oro
El mtodo que se ha de analizar a continuacin es uno de
los ms difundidos por la simplicidad de su programacin y
una notable eficiencia en el proceso de determinar el punto
ptimo en una bsqueda unidireccional.
La idea bsica se muestra en la figura 4.3.1. All se han
ubicado, en una primera etapa, los dos puntos requeridos
Fig. 4.3.1
para lograr la eliminacin de un cierto sector de la zona de
bsqueda inicial, el entorno {a, b}, normalizado en {0, 1}.
En la figura se ha supuesto, adems, que la zona eliminada es la ubicada entre x2 y b. De esta
forma, el intervalo de bsqueda pasa a ser, ahora, {a' = a, b' = x 2}. (Ntese que como ya
qued dicho, uno de los nuevos lmites de la zona coincide con un punto de anlisis).
4-4

En la estrategia que se plantea el mtodo del nmero de oro el punto que permanece en el
interior del nuevo intervalo est ubicado en la posicin relativa en la que se encontraba el otro
punto, que ahora limita la zona; esto es, el anterior x1 ser el nuevo x2, indicado como x2 en la
figura.
Para ello deber cumplirse que
5 1
x 2 x1 1 x 2

x 22 x 2 1 0 x 2
0,6180339...
1 x2
2
x2

Es a este nmero irracional al que el mtodo debe su nombre, ya que en la Grecia clsica la
cifra 1,6180339... era conocida como "relacin urea", ntimamente ligada a la secta pitagrica
-en su emblema, una estrella regular de cinco puntas, todas sus lneas estn divididas segn esa
proporcin-. Tiene propiedades geomtricas singulares1, por lo que no es de extraar que los
griegos, tan racionales, le atribuyesen cualidades inasibles como la belleza y utilizaran la
relacin urea al erigir los esplndidos edificios de la Acrpolis ateniense -con lo cual vino a
resultar cierto que tal proporcin es sinnimo de belleza-. Volviendo al mtodo, la ubicacin
relativa de los puntos de una etapa de anlisis hace posible que en la siguiente solo sea
necesario el clculo de un nico punto nuevo, manteniendo siempre constante el factor de
reduccin de la zona de bsqueda (61,8 % del intervalo existente)
Al cabo de n etapas se habrn realizado n+1 clculos de la funcin objetivo (en la primera
deben realizarse, necesariamente, dos) y el factor de reduccin global alcanzado (relacin
entre intervalo final e inicial) ser de (0,618..) n. De esto surge que el nmero de clculos que
se requieren para lograr un determinado factor de reduccin es
(0.618...) N - 1

log
+1 N
log (0.618..)

Como queda dicho, el proceso de eliminacin de regiones va dejando puntos de anlisis


sobre las fronteras de las zonas que se van aislando. Este hecho permite instrumentar, en
forma paralela, un esquema de control de unimodalidad para la funcin analizada.
En la figura 4.3.2 se muestran algunas posibles alternativas en la aplicacin del mtodo.
Se ha supuesto all que se conocen los valores de la funcin objetivo en los bordes de la zona
(se tratara de anteriores puntos de anlisis).
La aplicacin del criterio de eliminacin de regiones a la situacin expuesta hace que deba
descartarse la zona comprendida entre x2 y b, con lo cual x2 pasa a ser el nuevo b (b'), x1 ser x
2 y se requiere calcular el nuevo x1.
Al hacerlo, el valor de la funcin objetivo en
ese punto puede ser ms alto o no que el del
extremo a (recurdese que se est buscando un
1

Por ejemplo, si a un rectngulo cuyos lados guardan esa relacin se le quita el cuadrado formado
sobre el lado menor, en el rectngulo resultante se sigue verificando la proporcionalidad.

4-5

Fig. 4.3.2

mnimo), siendo en la figura el valor de la funcin objetivo en a mayor que en x2 .


Si la situacin es la indicada como b se estara en la condicin normal y el proceso puede
seguir su curso.; si, en cambio, el resultado fuese el indicado como a se puede afirmar que la
funcin no presenta un comportamiento unimodal y no se podra aplicar el mtodo, al menos
en la forma que se ha expuesto hasta aqu.
Con todo lo anterior es posible formular un algoritmo para el mtodo que, en trminos de un
pseudocdigo, sera como el que se muestra en el Cuadro 4.1.
El algoritmo del Cuadro 4.1 presupone el conocimiento exacto de los lmites entre los que
debe buscarse el ptimo. En la realidad puede suceder que a) estos lmites sean tan amplios
que es equivalente a no conocerlos o b) aunque conocidos, hay restricciones sobre las
variables de estado que resultan ms limitativas que las cotas explcitas de la variable de
decisin; esto es

min FO ( x, y )
x E1 ; y E n
con f ( x, y) = 0 (1) f : E n+1 E n
h( x, y) 0 (2) h : E n+1 E m
axb
y puede ser que x est dentro del entorno {a,b} y, sin embargo, no cumplirse totalmente las
condiciones (2).
En ambos casos el hecho coincidente es que no se conocen los valores de los verdaderos
extremos entre los que debe efectuarse la bsqueda del ptimo, por lo cual el algoritmo
anterior a) carecera de los datos iniciales o b) estos no seran los que corresponden.
Para el primero de los casos la cuestin es encontrar los valores de a y b que corresponden al
problema. Sera deseable, claro est, que el esfuerzo realizado en tal bsqueda fuese
aprovechado, luego, durante la optimizacin, al aplicar el mtodo del nmero de oro.

4-6

Cuadro 4.1: Algoritmo del Mtodo del Nmero de Oro (Mnimo)


Datos: a, b: extremos del intervalo inicial;
:
cota de final.
1.- Inicializacin
1.1.- Hacer c = (1,25)0.5 1
Fa = Fb = ValSup (nmero positivo grande)
1.2.- Para i = 1 hasta 2
xi = NuevoPunto(i)
Calcular fi = FuncinObjetivo(xi)
2.- Mientras x2 x1 > hacer
2.1.f1 > f2
Fig.Si
4.3.3
2.1.1.- entonces hacer: a = x1 ; fa = f1 ; x1 = x2 ; f1 = f2 ; i = 2
2.1.2.- si no hacer: b = x2 ; f b = f2 ; x2 = x1 ; f2 = f1 ; i = 1
2.2.- Calcular xi = NuevoPunto(i); fi = FuncinObjetivo(xi)
2.3.- Si i = 1 y f2 mx(f1 , f b ) i = 2 y f1 mx(f2 , f a )
2.3.1.- entonces fin (La funcin no es unimodal)
2.3.2.- si no volver a 2.
3.- Hacer
xopt = 0.5(x1 + x2)
fopt = FuncinObjetivo(xopt)
4.- Fin

En la figura 4.3.3 se esboza un esquema de exploracin que permite, al encontrar el intervalo


a-b, dejar ubicado un punto segn las exigencias de la metodologa a aplicar.
El procedimiento parte de disponer de un punto inicial x0 y un paso inicial de bsqueda p0.
Se procede a evaluar la funcin objetivo en x0 y luego en x1 = x0 + p0.Si en este punto la
funcin objetivo resultase peor que en el anterior se procede a cambiar de ubicacin los
puntos, x1 pasa a ser x0 y viceversa y la direccin de bsqueda, p0 = -p0.
Para determinar x2 = x1 + p1, siendo p1 = r*p0 y, en general, xk+1 = xk + pk con pk = r*pk-1.El
proceso se detiene cuando, como se muestra en la figura, la evaluacin de la funcin objetivo
en un punto xt (t > 1) resulta igual o peor que en el anterior. Cuando esto suceda xk-1 ser el
extremo a y xk+1 el b.
Puede verse fcilmente que si r es igual a (51/2 + 1)/2 = 1,618... (la relacin urea) el punto xk
ocupa la posicin correspondiente a x1 en el mtodo. No slo esto sino que, adems, ahora
son conocidos los valores de la funcin objetivo en los extremos del intervalo, antes fijados
por el algoritmo, en forma arbitraria en un valor grande, ValSup.
Queda, pues, resuelto el primero de los problemas planteados. Para el segundo, que se
establece, como se recordar, a partir de la existencia de restricciones implcitas, existen varias
4-7

vas de ataque, compartidas por la mayor parte de los mtodos de optimizacin, las que se
vern ms adelante.
En algunos casos es posible adecuar la bsqueda a las caractersticas del problema,
considerando, en forma simultnea, la existencia de lmites implcitos en las variables de
decisin.
Esta adecuacin puede verse en la optimizacin de la red de intercambio mostrada en la figura
4.3.4. En ella se debe considerar que la unidad funciona 8400 h/ao y que son datos
conocidos:
Flujos entlpicos en BTU/hF
W1 = 14444,44
W2 = 16666,67
W3 = 11538,46W4 = 20000
Coeficientes globales de transferencia en BTU/h ft2 F
UC = 200
UE = U1 = U2 = U3 = 150
Costo de servicios auxiliares en $/lb
Agua = 2,86 10-5
Vapor = 4,29 10-4
Amortizacin anual del equipamiento, en $/ao, igual a 39 A0,65
En este sistema, las restricciones termodinmicas se expresan, matemticamente, de forma tal

Fig. 4.3.4
que si las temperaturas de las corrientes fras superasen a las de las calientes a la entrada o
salida de un equipo, en la ecuacin de diseo del mismo aparecera una indeterminacin
insalvable en el cmputo de la temperatura media logartmica.
Si ello ocurriese no podra continuarse con el orden de clculo prefijado y,
consecuentemente, con la evaluacin de la funcin objetivo. Cuando se da esta situacin se ha
de recurrir a asignar a la misma un valor arbitrario, suficientemente alto (considerando siempre
que se busca un mnimo). Este artilugio, si bien difiere con el criterio general expuesto, en lo
esencial coincide totalmente con el mismo.
La variable de decisin elegida para la solucin del problema es T1 siendo el orden de
clculo:
140 T1 280
4-8

a) Cmputo de temperaturas intermedias


T 4 = 280 +

13
( 320 - T1 )
18

T 3 = 240 +

26
( 480 - T 4 )
15

T 2 = 320 -

13
( T1 - 140)
15

debiendo ser
320 T 4 480 ; 240 T 3 480 ; 200 T 2 320

b) Cmputo de servicios auxiliares


q v = 17,549 ( 500 - T 3 )

qa =

10 4
( T 2 - 200 )
48

c) Cmputo de reas de intercambio


AC =

3
ln ( 13,5 - 0,025 T 3 )
0,052

A1 =

10 4 T 4 - 240
ln
55 480 - T 3

A2 =

1040 280 - T1

ln
3
T 4 - 320

A3 =

13 T 2 - 140

ln
18 320 - T1

AE =

ln ( 0,01 T 2 - 1,8)
1
150 ( 6 10 - 5 )
qa

d) Funcin objetivo

FO = 39 A 0,65 + 3,6 q v + 0,24 q a


A

La consideracin de las restricciones implcitas se puede hacer adoptando un valor de FO, por
tratarse de la bsqueda de un mnimo, grande positivo se tomar 4 10 6-, en los casos en
que se violen una o ms de las restricciones impuestas sobre las temperaturas. El valor
adoptado como un "nmero grande positivo" responde a la expresin 100 FO #, siendo FO# un
valor tpico alto de la funcin objetivo (40000 $/a para este caso).
4-9

Debe advertirse que el criterio adoptado puede transformar la funcin objetivo en no


unimodal. En efecto, las restricciones implcitas sobre T1 que imponen las restantes
temperaturas podran hacer que el mbito efectivo de variacin fuese ms estricto que el
originalmente planteado, 140 - 280.
Si se alcanzara uno de los lmites efectivos el rea de algn equipo habra de resultar
infinitamente grande y, en consecuencia, sera infinito el valor de la funcin objetivo.
Sobrepasado el lmite, en cambio, el costo anual sera, por definicin, arbitrariamente grande
pero finito, con lo que, sobre los lmites, se estaran generando mnimos locales, que se
agregaran al que, conceptualmente, es esperable encontrar dentro de la zona.
A pesar de esta consideracin puede trabajarse igual con el mtodo admitiendo que los
valores desusados de la funcin objetivo se han de producir en un entorno extremadamente
prximo de los lmites (la funcin "trepa" bruscamente), con lo cual, desde un punto de vista
numrico, los mnimos que
genera la estrategia adoptada
tiene muy escasa posibilidad
de ser detectados.
En la figura 4.3.5 se muestra
la evolucin de los primeros
pasos en la bsqueda del
ptimo del costo total anual
para el problema planteado,
tomando como intervalo
Fig. 4.3.5
inicial para T1, 140 - 280.
Se ha indicado la secuencia
de los sucesivos puntos de anlisis 1, 2,.. as como las regiones que van siendo eliminadas e1,
e2,...
Puede advertirse que el proceso descarta de modo natural la zona implcitamente no admisible
(eliminaciones e2 y e4), ignorando el hecho de que para T1 234,8 la funcin objetivo toma un
valor infinito, como se puede comprobar con un poco de manejo algebraico de las ecuaciones.
El mtodo del nmero de oro encuentra el ptimo para T1 = 230,48 F siendo el costo total
anual de 9015,57 $/a y los valores de las reas de intercambio y servicios auxiliares los que
siguen:
Ac = 28,36

A1 = 539,05

A2 = 241,79

A3 = 91,31

Ae = 58,30
qa = 8663,03
qv = 445,69
Si la presuncin de "trepada brusca" no se hubiese cumplido, esto es, si la no unimodalidad
generada hubiese sido detectada , se debera aplicar otra estrategia para poder manejar el
problema que introducen las restricciones implcitas.
4 - 10

Para ello, antes de emprender la optimizacin en s, se deben buscar los lmites reales de la
variable de decisin mediante un proceso de prueba y error, que va encerrando la zona donde
se encuentra el lmite buscado. El inconveniente de esta lnea de accin es que se efecta una
gran cantidad de clculos que luego no pueden ser plenamente aprovechados.
La idea de relacionar el valor de la funcin objetivo con la violacin de la zona de soluciones
posibles se volver a considerar ms adelante, generalizando el tratamiento de la bsqueda de
un ptimo en presencia de restricciones, cuando se utiliza un algoritmo no plenamente
capacitado para tener en cuenta la totalidad de las relaciones existentes en el problema.
4. Mtodos para problemas de dos o ms variables
Como ya qued dicho los problemas con dos o ms grados de libertad imponen una
dificultad numrica insalvable, cual es la imposibilidad prctica de establecer, con certeza, la
naturaleza ptima de un punto.
Este obstculo se vuelve ms formidable cuanto mayor es la dimensionalidad del problema,
circunstancia que se agrega a la complejidad natural de una formulacin extensa en el nmero
de variables -del orden del centenar-, con una matriz de existencia dispersa en extremo. Esto
ltimo obliga a la utilizacin de mtodos numricos especficos, que aprovechan
adecuadamente la baja densidad de ocurrencia de las variables, con lo que se logra reducir la
propagacin de errores o los requerimientos de espacio para almacenar informacin.
Bajo esta ptica puede establecerse una divisin adicional a las que se han mencionado al
comienzo de este captulo, teniendo en cuenta, bsicamente, el comportamiento de los
mtodos en relacin a la magnitud de los problemas a ser resueltos.
Puede hablarse as de mtodos empricos de optimizacin, los ms tradicionales y sencillos,
pero con un campo de aplicacin restringido, como lo demuestra la experiencia, a problemas
pequeos, con pocos grados de libertad.
El otro grupo lo constituyen los mtodos por aproximaciones sucesivas, todos con una
importante fundamentacin matemtica y con la comn caracterstica de estructurar los
procedimientos en base a un supuesto comportamiento del problema, para el cual son capaces
de obtener la solucin. Esta va de ataque ha demostrado ser mucho ms eficiente que la
anterior, con capacidad para abordar problemas de la magnitud que caracteriza, por ejemplo, a
la simulacin completa de una planta de proceso.
Lamentablemente, lo complejo de su formulacin y el cmulo, importante, en verdad, de
cuestiones numricas que se asocian a estos mtodos impide, so pena de forzar los alcances
previstos para esta obra, un tratamiento pormenorizado de los mismos.
4 - 11

La exposicin se restringir, en consecuencia, a presentar, en forma detallada, uno de los


mtodos empricos ms comnmente utilizados, el Complex de Box, perteneciente al grupo
de los llamados algoritmos politpicos y luego, brevemente, se ha de explorar los
fundamentos y principales caractersticas de uno de los sistemas de optimizacin multivariable
ms difundidos, el Gradiente Reducido Generalizado (GRG) de Abadie y Carpentier.
Como siempre, para poder fijar mejor las ideas, se tomar como punto de referencia un
ejemplo sencillo, la red de intercambio trmico que se muestra en la figura 4.5.1, que
corresponde, con otra estructura, al mismo problema de la figura 4.4.1.
All la corriente 2 ha sido subdividida en sus intercambios con la fuente fra auxiliar y la
porcin ms fra de la corriente 1.

Fig. 4.4.1
El problema puede formularse en los siguientes trminos:
Calentador
657,5 q v =

15 4
10 ( 500 - T 3)
13

540 - T 3
15 4
= 200 A c
10 ln
13
40

Intercambiador 1
15 4
10 ( T 3 - 240 ) T 3 240
13
480 - T 3
1 13
ln
= 150 A1
- 10 - 4
T 4 480 ; T 3 480
2 15
T 4 - 240
2 10 4 ( 480 - T 4 ) =

Intercambiador 2
4 - 12

2 10 4 ( T 4 - 280 ) =

13 4
10 ( 320 - T1 )
9

- 320
1 9
ln T 4
= 150 A 2 - 10- 4
280 - T1
2 13

T 4 320 ; T1 280

Intercambiador 3

15 4
13 4
10 ( 320 - T 21 ) =
10 ( T1 - 140 )
9
9

ln

320 - T1
9
9
= 150 A 3
15 13
T 21 - 140

-4
10

T1 140

T 21 140

Enfriador
80 q a = ( 1 - )
ln

15 4
10 ( 320 - T 22 )
9

T 22 320

140
9 10- 4
1
= 150 A e

T 22 - 100
15 ( 1 - ) q a

Mezclador

T 21 + ( 1 - ) T 22 = 200

0 1

y la funcin objetivo sigue siendo


FO = 39 A 0,65 + 3,6 q v + 0,24 q a

Un ordenamiento de clculo conveniente fija como variables de decisin a T 1 y , la primera


restringida, en principio, al entorno (140,280) y la segunda a (0,1). Debe notarse, sin embargo,
que, al igual que antes, existen
restricciones sobre las variables de estado
que pueden imponer a la decisin lmites
ms severos que fijados en forma
explcita.
Un anlisis numrico detallado del
problema conduce a la situacin mostrada
en la figura 4.4.2 donde la zona de
soluciones admisibles queda delimitada
por cuatro fronteras rectas todas definidas
en forma implcita, salvo la inferior, T1 =
140.
Se han indicado, asimismo, curvas de
valor constante de la funcin objetivo,
desde 16500 $/a en la parte inferior hasta
9100 en el sector alto de la figura. Ntese
Fig.4.4.2
el efecto de agolpamiento de estas curvas
sobre las fronteras de la zona ("trepada brusca").
4 - 13

5. El mtodo Complex
La idea general de los mtodos empricos de optimizacin se basa en construir una estrategia
eficiente para resolver las diversas dificultades que son tpicas en este tipo de problemas: el
tratamiento de las restricciones, la determinacin de una direccin de bsqueda, la incidencia
del acarreo de errores, etc.
El punto fundamental del procedimiento consiste en la construccin, en el espacio tdimensional examinado, de una figura de k vrtices, k t + 1 (Box recomienda k = 2t, salvo
para valores de n superiores a 5 6, donde puede ser un poco menor).
En lo que sigue se aceptar que el problema est planteado en una forma levemente distinta a
la expuesta como formulacin general. Lo que realmente se ha de considerar es el sistema que
surge de resolver las relaciones de diseo
g(x) = 0 ; x En ; g Er ; r < n
con lo que queda, siendo x el conjunto de variables de decisin

min FO( x ' )


t n r
x 'E
r1) h ' ( x ' ) 0
h ' E m '
r 2) x 'I x ' x S'
La aplicacin de las distintas operaciones del mtodo requiere disponer de k puntos iniciales
que satisfagan las restricciones r1 y r2. En rigor, solo uno es absolutamente necesario ya que
el resto puede ser generado a partir de los lmites r2 impuestos a las variables haciendo,
primero,
'
x ij

' +
' - ' ]
= x iI
r ij [ x iS
x iI

i = 1,2..t

5-1

donde rij es un nmero aleatorio en el rango 0 r ij 1.Obviamente, esto no asegura que se


cumplan, en su totalidad, las condiciones r1. Si se violase alguna de ellas el punto x i se mueve
hacia el centroide de los i-1 puntos anteriores (i 2)
x i j = C j + 0,5 [ x i j - C j ]
5-2
siendo Cj las coordenadas del centroide dadas por

i -1
1
Cj=
x 'pj

i - 1 p = 1

j = 1,2...t

5-3

Ntese que, si la regin de soluciones posibles es convexa2, el centroide ser siempre, por
construccin, un punto perteneciente a ella. Por consiguiente, el procedimiento propuesto
debe concluir con el vrtice i dentro de la zona.
Este proceso de contraccin hacia el centroide se verificar en todo momento en que, al
2

La regin R se dice convexa si para todo x 1 R, x2 R siendo {0,1} y x = x 1 + (1-)x2


resulta ser x R.

4 - 14

proponerse el anlisis de un punto en el espacio de las variables de decisin, se encuentre que


el mismo se encuentra fuera de la zona permitida.
La operacin bsica del mtodo es la reflexin del vrtice donde la funcin objetivo
presenta el peor valor, considerando la totalidad de los puntos que constituyen la figura. Esta
reflexin se efecta a travs del centroide de los vrtices restantes a una distancia > 1 (1,3
segn Box) del mismo, esto es
x Rj = C j ( C j x Pj)

j = 1, 2...t

5-4

siendo xPj las coordenadas del punto "peor".


Este punto reflejado xR (o, si fuera no
factible, el que resulte luego del proceso de
contraccin hacia el centroide) ha de
reemplazar a xP para dar lugar a una nueva
figura y reiterar la totalidad del
procedimiento.
En la figura 4.5.1 se muestra un hipottico
problema en 2 variables. Se han
representado dos curvas de nivel de la
funcin objetivo (la ms externa con el peor
valor) y la frontera de una restriccin (r =
0), admitindose que la zona permitida es
Fig. 4.5.1
hacia abajo y a la izquierda.
Inicialmente constituyen la figura los puntos 1 a 4. El peor es, evidentemente, el 3, por lo que
se procede a proyectarlo sobre el centroide de 1, 2 y 4 (punto C1). As se obtiene el punto 5,
que no es admisible, por lo que debe procederse a contraer sobre C1, determinndose el punto
6.
La nueva figura, ahora, la constituyen 1, 2, 4 y 6.El punto "peor" es el 4, por lo que se lo
refleja sobre C2, centroide de 1, 2 y 6.
Resulta interesante observar el comportamiento del mtodo en las proximidades de la
frontera de la restriccin, en particular los puntos 1, 4 y 6. No resulta difcil imaginar que si los
dos primeros hubiesen estado ms cerca del borde de la zona y en una posicin prxima a la
paralela, el punto 6 hubiese sido colineal con los otros dos.
En esta circunstancia, donde el nuevo vrtice se puede expresar como una combinacin lineal
de otros que ya forman parte de la figura, se dice que la figura ha colapsado (en el caso de dos
variables, el cuadriltero se transformara en un tringulo). Este colapso de la figura es la
causa de instrumentar el mtodo con k > t + 1 puntos, valor ste que sera el estrictamente
imprescindible para tener una figura en el espacio t-dimensional.
4 - 15

Por ltimo, el mtodo prev que en los casos en los que el punto reflejado resulte ser el peor
en la nueva figura, en sta no debe efectuarse el proceso de reflexin sino que tal punto ha de
contraerse sobre el centroide de los restantes, con lo que se produce una reduccin de las
dimensiones de la figura, facilitando la bsqueda de nuevas direcciones.
Por ltimo, el final del procedimiento se verifica al producirse un colapso general de la figura
sobre el mejor punto, esto es, una reduccin de las dimensiones de la misma al lmite
establecido para el esquema de bsqueda.
Todo lo dicho anteriormente puede ser resumido en el algoritmo del Cuadro 4.2.
Cuadro 4.2: Algoritmo del Mtodo Complex (Mnimo)
Datos: x1 : punto inicial (x1 x11, x12, ..., x1t )
k
: nmero de puntos del esquema de anlisis (k 2t)
:
cota de final.
1.- Inicializacin
Para i = 2..k hacer
1.1.- Calcular el centroide de los puntos xi, ..., xi-1
(ec. 6-3)
1.2.- Determinar el punto xi xi1, ..., xit
(ec.6-1)
1.3.- Si xi viola alguna restriccin, contraer hacia el centroide (ec. 6-2) hasta que
las satisfaga a todas.
2.- Mientras {distancia promedio al centroide} > hacer
2.1.- Ordenar los puntos de anlisis segn valores crecientes de la funcin
objetivo. Sea xP donde se verifica el valor ms alto.
2.2.- Calcular el centroide de todos los puntos excludo xP
2.3.- Si es la 1 vez o xP no es el punto reflejado
2.3.1.- Reflejar xP (ec. 6-4, 1,3)
2.3.2.- Si xR viola alguna restriccin, contraerlo hacia el centroide hasta que
cumpla todas.
2.4.- Si xP es xR (punto reflejado), contraer xR hacia el centroide.
2.5.- Reemplazar xP por xR.
3.- Final
3.1.- Considerar xopt el mejor punto disponible
3.2.- Fin

La aplicacin del mtodo al problema planteado arroja los siguientes resultados


= 0,688

T1 = 230,49

Ae = 41,49

A1 = 539,51

A2 = 241,83

Ac = 28,35

qa = 8661,03

qv = 445,45

A3 = 474,62

En la figura 4.5.2 se muestra, esquemticamente, la evolucin seguida por el punto "mejor" a


4 - 16

lo largo de una bsqueda que se inicia, aproximadamente, en T1 = 190 y = 0,45.


Puede advertirse el comportamiento del
algoritmo en las proximidades de las fronteras,
donde se verifica un desplazamiento casi
paralelo a las mismas, avanzando siempre en el
sentido de los menores costos operativos
totales.
Por ltimo debe insistirse que lo mostrado en la
figura debe considerarse como la tendencia que
ha seguido esta bsqueda en particular, ya que,
en realidad, la obtencin del ptimo demanda el
anlisis de un nmero considerable de posibles
soluciones, 159 para ser ms precisos.

Fig. 4.5.2

6. Tcnicas de Penalizacin
En oportunidad de tratarse los mtodos para resolver problemas de optimizacin de una
variable de decisin se utiliz el criterio de penalizar a la funcin objetivo por el no
cumplimiento de las restricciones impuestas al problema como una de las formas de tenerlas en
cuenta durante el proceso de optimizacin. Esto se aplicaba al utilizarse un mtodo para
problemas no restringidos o cuando resultaba dificil el tratamiento de cierto tipo de
restricciones existentes en el problema.
El planteo general de la tcnica de penalizacin consiste en reemplazar la bsqueda del
ptimo de la funcin objetivo del problema restringido

min FO ( x, y )

x Ed ; y En

con f ( x, y) = 0 (1) f : E n+ d E n
h( x, y) 0 (2) h : E n+ d E m
por otra, formalmente no restringida, cuya funcin objetivo es

m n
2 2

minFOp(x,y,P)=min FO(x,y)+P hii (x,y) fi (x,y)



i =1 i =1
4 - 17

P es una constante razonablemente grande, por ejemplo 10 2FO#, siendo FO# un valor tpico
de la funcin objetivo dentro de la zona de soluciones admisibles 3.
La variable i valdr 0 si la restriccin hi se cumple y 1 en caso contrario, con lo cual slo se
produce un aporte a la funcin objetivo considerada cuando no se cumple la restriccin. En el
caso de las relaciones de diseo, el aporte se produce siempre que fi 1.
En consecuencia, el efecto de la sumatoria agregada a la funcin objetivo original es la de
aumentar significativamente el valor de sta en aquellos puntos que se encuentran fuera de la
zona de soluciones admisibles.
Otra manera de tratar las restricciones es el que se instrumenta en el mtodo Complex, esto es,
forzar el ingreso del punto de anlisis en la zona de soluciones admisibles. En esta estrategia
parecera requerirse un nmero mayor de soluciones a ser analizadas, pero esto es solo
aparente, ya que en el caso de la penalizacin sta debe hacerse en forma gradual para evitar la
deteccin de falsos ptimos. El siguiente ejemplo, elemental, puede clarificar la cuestin:
min x12 + x 2
2

x1 , x 2

para x 2 = 1

El ptimo, obviamente se encuentra sobre la recta x2 = 1 para x1 = 0, donde, como se muestra


en la figura 4.6.1, la misma es tangente a una curva de nivel.
El problema, formulado en trminos de una
estrategia de penalizacin sera

2
2
min x1 + x 2
2 + P ( x2 -1)
x1, x 2

Al hacerlo, el problema deja de estar acotado


pero ahora las curvas de nivel de la nueva
funcin objetivo son elipses concntricas
donde la ubicacin de los ejes y la
excentricidad dependen del valor de la
Fig. 4.6.1
constante de penalizacin P, como se muestra
en las figuras 4.6.2 a y b. (Debe aclararse que la recta x 2 = 1 se ha dejado exclusivamente
como referencia, ya que no forma parte del problema).

3 En los problemas de mximo el trmino agregado debe restarse a la funcin objetivo original.

4 - 18

Se puede apreciar que el aumento del valor de P incrementa la excentricidad de las elipses, lo

Fig. 4.6.2a

Fig. 4.6.2b

que significa que la funcin objetivo vara rpidamente sobre un eje y en forma muy lenta
sobre el otro.
Lo anterior determinar que, en el proceso de anlisis y con valores muy altos de P, se
privilegie el cumplimiento de la restriccin por sobre la bsqueda de un mejor valor de la
funcin objetivo, con lo que, si se est lejos del ptimo, ste no podr ser encontrado. Por tal
razn, el problema debe ser resuelto en forma sucesiva para valores crecientes de P, hasta
conseguir constancia en el ptimo encontrado.
7. Optimizacin por aproximaciones sucesivas
Este captulo ha de concluir por donde debera haber comenzado: la consideracin del
problema matemtico general de bsqueda del ptimo de una funcin objetivo de dos o ms
variables, las que se encuentran sometidas a un conjunto de restricciones. Se ha preferido esta
va con el objeto de evitar, en tanto fuese posible, la aridez de las consideraciones tericas.
Este es el momento en el que deben entrar a escena.
Para el tratamiento general se presentar el mtodo del Gradiente Reducido Generalizado
(GRG) propuesto por Abadie y Carpentier. Este algoritmo es uno de los ms eficientes que se
dispone para el tratamiento de los problemas de optimizacin no lineal con restricciones
(Nonlinear Programming), como se muestra en un estudio realizado por Schittkowski.
La idea bsica del GRG es encontrar el ptimo buscado a travs de una sucesin de
soluciones aproximadas. Para ello, en cada paso, si no se cumplen las condiciones de
terminacin, se procede, primero, a reducir el problema planteado con restricciones a otro
no restringido, teniendo en cuenta las relaciones que se encuentran activas en ese punto.
Esta reduccin permitir expresar las variables dependientes - de estado o bsicas, en la
terminologa matemtica habitual - en funcin de las restantes - independientes, de diseo o
no bsicas.4
En una segunda instancia del mismo paso, se ha de determinar una direccin de bsqueda siempre en el espacio de las variables de diseo - para encontrar un nuevo punto donde se
4 Algunos autores reservan la denominacin no bsica para aquella variable que se encuentra sobre
uno de sus valores extremos, superior o inferior. En esos casos, a las variables estrictamente
independientes se les da el nombre de superbsicas. Aqu no se har esa distincin.

4 - 19

mejore la funcin objetivo. En esta bsqueda puede o no resultar necesario modificar el


conjunto de restricciones activas.
La forma general del problema abordado es:

min FO(x1..x m n )
sujeto a fi ( x1..x m n ) 0 i 1,.., p
h j ( x1..x m n ) 0 j 1,.., q
x iL x i x iU

7-1

i 1,.., n m

pero en un punto determinado, x k ( x 1k ,..., x kn m ) , se encuentran activas -esto es, se


cumplen en la frontera - solo algunas de las hj y algunos de los lmites sobre las variables. Por
simplicidad, se ha de suponer que se cumplen como igualdad, en total, m relaciones,
incluyendo en ellas las p ya planteadas, esto es, m p.
Con esto, el problema, en las cercanas de ese punto, se puede expresar como:

min FO( x1..x m n )


sujeto a fi ( x1..x m n ) 0 i 1,.., m

7-2

No se han considerado las restricciones o lmites no activos ya que, en principio, solo se


habr de analizar un mbito totalmente incluido en la zona de soluciones admisibles que ellos
determinan.

Por ejemplo, en la figura 4.7.1 se muestran las


curvas de nivel y las fronteras de las
restricciones para el problema

min (x1 2) 2 4 (x 2 1,5) 2


r1 : x1 0,5 x 22 0
r2 : x12 x 22 4 0
r3 : x1 0
Si se considera
a , (0,5; 1), de la
r4 : x 2elpunto
0

figura 4.7.1 puede verse que se encuentra sobre


la frontera de la restriccin 1, mientras que se
Fig. 4.7.1
halla en el interior de las restantes. Esto es, en
las proximidades de (0,5; 1) el problema puede considerarse planteado como:
min (x1 2) 2 4 (x 2 1,5) 2
r1 : x1 0,5 x 22 0
1

Volviendo a la formulacin general, es posible expresar 7 - 2 en forma aproximada tomando


un desarrollo alrededor del punto xk

4 - 20

FO
1 n m n m 2 FO
( x i x ik )
( x i x ik )( x j x kj )
2 i 1 j1 x i x j k
i 1 x i x k
x
n m f
j
k
k
f j (x) f j (x )
(x i x i )
j 1,..m
x i k
i 1
FO ( x ) FO ( x k )

n m

7-3

Para el caso del ejemplo, y considerando el punto [0,5; 1] como base del desarrollo, resulta:

min 3,25 3 (x1 0,5) 4 (x 2 1) (x1 0,5) 2 4 (x 2 1) 2


r1 : (x1 0,5) (x 2 1) 0
En el problema planteado en 7 - 2 existen m variables de estado o bsicas y las n restantes
son independientes. Por simplicidad, se aceptar que las variables dependientes son x1, x2,...,
xm y que xm+1,...,xm+n son las no bsicas, las que, de ahora en ms, se anotarn como xE1,...xEm y
xD1,...xDn, respectivamente.
El sistema de m ecuaciones lineales de 7 - 3 se puede poner:
m f
j

k f j (x)

x Ei x k
i 1

f j
k x Di

x Di x k
i 1

k x Ei

j 1..m

7-4

donde con k se indica el apartamiento de la variable o la funcin respecto del valor en xk.
En 7 - 4 es posible resolver el sistema de ecuaciones para encontrar k xEj como funcin de
k xD. Para ello, se ha de considerar que en el nuevo punto x las restricciones activas se siguen
cumpliendo, esto es, fj(x) = fj(xk) = 0
m f
j

i 1

Ei x k

f j
k x Di

x Di x k
i 1

k x Ei

j 1..m

7-5

lo que llevar a relaciones del tipo


n

i 1

i 1

k x Ej a ji k x Di

x Ej
x Di

xk

k x Di

j 1..m

7-6

En el ejemplo, tomando x2 como variable bsica, ser x 2 x1 .


Esto puede introducirse en la expansin de FO(x) alrededor de xk en 7 - 3 para quedar de la
forma
n

m
FO
FO x Ej

i 1 x Di x k
j1 x Ej x Di x k

FO ( x ) FO ( x k )

1 n n k
x

b k x Di k x Dj
k
Di
2 i 1 j1 ij

7-7

Puede advertirse que los trminos entre corchetes en 7 - 7 son las componentes del gradiente
de la funcin objetivo, una vez que se ha eliminado, aplicando las reglas de la derivacin, su
dependencia con las variables bsicas.
En el caso del ejemplo habra que resolver, simplemente
min FO(x1 ) 3,25 7 x1 5 x1 2

El problema 7 - 1 se ha reducido (he aqu la razn del nombre del mtodo) al espacio de las
variables independientes, obviando la existencia de las restricciones. En consecuencia, en el
ptimo deber verificarse que
m
FO
FO
FO x Ej

0
x Di x k
x Di k

x Ej x Di k
j 1
x
x

4 - 21

i 1..n

7-8

Puede verse que 7 - 8 requiere el cculo - en la prctica, una aproximacin - de las derivadas
parciales. Si las relaciones 7 - 8 no estn lo suficientemente prximas a cero, como ocurre en
el ejemplo en (0,5; 1), deber buscarse un punto donde se mejore el valor de la funcin.
La primera alternativa es considerar la expansin 7 - 7 solo hasta el trmino lineal. Para que
FO(x) F(xk)debe ser

m
FO
FO

a
x
x
ji

Di x k
Ej x k
i 1
j1

n
FO
x
k x Di 0
k Di

x Di x k
i

k x Di

FO
x Di x k

7-9

y esto permite definir una direccin de bsqueda k x D1,..., k x Dn sobre la cual se produce
una reduccin del valor de la funcin objetivo. En el caso del ejemplo debera ser x1= 7.
Sin embargo, el algoritmo que utiliza esta estrategia en forma reiterada - segn la propuesta
original de Cauchy - da lugar a una bsqueda poco eficiente, lenta en la convergencia al
ptimo.
Conviene abordar el problema tomando hasta el trmino de segundo orden en 7 - 7 y
considerar el punto ptimo de la funcin cuadrtica resultante. Ello ocurre al resolver el
sistema de ecuaciones
n

FO

b ijk k x Di x
j 1

Di x k

7 - 10

lo que permite obtener la direccin que optimiza la aproximacin de segundo orden.


Pero ahora aparece un problema que haba quedado en suspenso, como es el clculo o la
k
estimacin de los valores de los coeficientes bij , que no son otra cosa que las derivadas
parciales segundas de la funcin objetivo expresada en el espacio de las variables
independientes, esto es, los elementos de la matriz hessiana reducida.
La forma ms utilizada para resolver la cuestin planteada en 7 - 10 es mediante sucesivas
k
aproximaciones a los coeficientes bij mediante un mtodo cuasi-Newton (frmula de
Broyden, Fletcher, Goldfarb y Shanno, BFGS, o similar ). La complejidad matemtica que
involucra dicha metodologa va ms alla de los alcances de estas notas por lo que se
recomienda la consulta bibliogrfica sobre el tema.
Otro modo de encontrar una direccin donde efectuar la bsqueda del ptimo en 7 - 7 es
mediante la utilizacin de las denominadas direcciones conjugadas. Por definicin las
direcciones sp, sq son conjugadas respecto de una matriz simtrica de valores [ bij ] (bij = bji) si
se cumple que, siendo s x [s1x ,..., s nx ] resulta

b ijs ip s qj

i 1 j 1

0.

Se demuestra que para una funcin cuadrtica en N variables se alcanza el ptimo en N


bsquedas unidireccionales x k 1 x k s k , donde s1, ..., sN son direcciones conjugadas.
Fletcher y Reeves propusieron un mtodo para problemas no restringidos ( mtodo del
gradiente conjugado ) que aprovechaba esta propiedad donde la componente i de la direccin
de bsqueda en el paso k, sik est dada por la expresin:

4 - 22

s ik

FO
x i x k

FO

x
j xk
j

s ik 1
n
FO
x
j x k 1
j 1

FO
; con s i0
x i x 0

7 - 11

Debera considerarse ahora el proceso de bsqueda en s, evaluando el comportamiento de la


funcin objetivo sobre una cualquiera de las alternativas de direcciones planteadas, la
propuesta en 7 - 11, la que surge de resolver 7 - 10 o, incluso, la del gradiente 7 - 9. Pero el
clculo de FO(x) requiere conocer no solo el valor de las variables independientes, con las que
se maneja el gradiente reducido, sino tambin el de las bsicas, que fueron eliminadas
oportunamente mediante la linealizacin del conjunto de restricciones activas.
En rigor, no se puede utilizar esa linealizacin para el clculo de tales variables, ya que la
validez de 7 - 6 est limitada al entorno del punto xk, utilizado para el desarrollo en serie. Lo
que debe hacerse es proponer un x kD1 y, a partir de
f i ( x E1 ,.., x Em , x D1 ,.., x Dn ) 0 i 1,.., m ,
encontrar el verdadero valor de x kE1 , para, recin entonces, calcular la funcin objetivo.
Obviamente, esto implica resolver un sistema de ecuaciones no lineales de orden m, lo que
normalmente se lleva a cabo con un mtodo tipo Newton, pudindose tomar la solucin del
sistema 7 - 6 como punto de partida para la determinacin de x kE1 o algn otro refinamiento
que produzca una mejor estimacin inicial.
Al realizar la bsqueda direccional x kD1 x kD s k es de fundamental importancia asignar
valores adecuados al parmetro Si estos son pequeos se permanece en las proximidades de
k
x D , por lo que se han de cumplir las aproximaciones realizadas y, en consecuencia, se tendr
un mejor valor para la funcin objetivo. Sin embargo, el proceso de optimizacin, globalmente
considerado, ha de resultar excesivamente lento.
Por el contrario, valores altos de pueden conducir la bsqueda a zonas donde el
comportamiento del sistema se aparta mucho de las aproximacines realizadas y, como
resultado, la funcin objetivo empeora o el conjunto de restricciones activas es distinto al
considerado en xk.
Adems, la experiencia ha demostrado que resulta contraproducente pretender una
optimizacin exhaustiva en cada bsqueda direccional, siendo suficiente el logro de una
variacin significativa en el valor de la funcin objetivo bajo anlisis.
En este sentido, una de las propuestas de solucin se debe a Armijo 5. En ella se postula que,
en la bsqueda de un mnimo de FO(x) sobre la direccin sk a partir del punto xk, un valor de
resulta aceptable si la pendiente de la recta que pasa por [xk; FO(xk)] y [xk+ sk ; FO(xk+
sk)] es menor que una fraccin de la derivada de FO(x) en la direccin sk para =0.
Matemticamente

5 De aqu el nombre de bsqueda tipo Armijo con el que se suele referenciar esta tcnica.

4 - 23

FO( x k s k ) FO( x k )
dFO( x k s k )

1
0

7 - 12

Esta relacin, aunque no es la nica, permite establecer un criterio para considerar adecuado,
o no, un determinado valor de .
Pero, tambin como antes, para poder calcular 7 - 12 es preciso conocer FO( x k s k ) , en
realidad, FO( x kD1 , x kE1 ) y hay que resolver el conjunto de restricciones activas para el x kD1
propuesto. Al hacerlo puede suceder que:
a.- se encuentra una solucin para el sistema de ecuaciones que cumple con todas las
restricciones y donde, adems, se cumple el criterio impuesto sobre los valores de , por
ejemplo, 7 - 12;
b.- no se encuentra una solucin para el sistema de ecuaciones o no se cumple el criterio para
, lo que obliga a proponer un nuevo x kD1 , ms prximo a x kD ;
c.- la situacin anterior se ha reiterado un nmero predeterminado de veces, lo que indica la
necesidad de modificar el grupo de restricciones activas y, consecuentemente, replantear
la bsqueda con nuevos conjuntos x D y x E
En el caso del ejemplo, si se considera = 0,05 se obtendr x1 = 0,5 + 7*0,05 = 0,85. La
bsqueda del x2 que cumpla con la restriccin r1 debe conducir a x2 = = 1,304, que cumple r2 a
r4, con lo que r1 permanece como conjunto activo. Para estos valores FO(0,85; 1,304) =
1,4764 y resulta ser
FO( x k 1 ) FO( x k ) 1,4764 3,25
FO d x k

35,472
0,1 ( 7) 7 4,9

0,05
x k d

donde se ha considerado una dcima parte como fraccin lmite de la derivada para = 0.
Al analizar el gradiente reducido en (0,85; 1,304) y siempre con r1 como conjunto activo, se
encuentra que su valor es -3,869 y el proceso debe continuar a partir del punto encontrado.
Este proceso seguira as hasta que se encuentre la frontera de r2. En este momento el
conjunto activo pasar a ser esta ltima restriccin y sobre ella se encontrar, finalmente, el
punto ptimo x* = (1,455; 1,372). Esas situaciones se han indicado como puntos b y c en la
figura presentada al formular el problema.
En resumen, los pasos bsicos en cada etapa del mtodo del Gradiente Reducido
Generalizado pueden plantearse como:
a) Determinar, para el conjunto activo de restricciones, las componentes del gradiente
reducido en el punto xk bajo anlisis;
b) Verificar si el punto xk puede considerarse un ptimo local. Si es as, terminar; si n
c) Determinar una direccin de bsqueda sk para generar un nuevo punto xk+1.
d) Proponer un valor de para generar x kD1 x kD s k
e) Resolver el sistema de ecuaciones del conjunto activo para encontrar xkE1
f) Si el punto x k 1 x kD1 x kE1 verifica el conjunto de restricciones no activas, ir a g).
Si n, si no se ha excedido el nmero permitido de reducciones por paso del valor de
, reducir su valor y volver a d). Si se ha excedido, cambiar el conjunto activo y
volver a a)
4 - 24

g) Calcular FO x kD1 ( ); x kE1 ( )

Si se ha producido una reduccin significativa de la funcin objetivo, tomar

xk 1

como nuevo

punto de anlisis y volver a a). Si n, reducir el valor de y volver a d).

Bibliografa
-"Optimization.Theory and Practice", Beveridge & Schechter, McGraw-Hill, 1970.
- Generalization of the Wolfe Reducer Gradient Method to the Case of Nonlinear Constraint
en Optimization (R.Fletcher, De.), Abadie y Carpentier, Academic Press, 1969.
- Nonlinear Programming Codes: Information, Test, Performance, Lecture Notes in
Economics and Mathematical Systems, Schittkowski, Spriger-Verlag, vol.183, 1980
- Engineering Optimization, Reklaitis, Ravindran, Ragsdell, Wiley-Interscience, 1983.
- Optimization of Chemical Processes, Edgar, Himmelblau, McGraw Hill, 1988

4 - 25