Author: Daniel Garcia (ChBE 345)
Stewards: Dajun Yue and Prof. Fengqi You
Date presented: May 25, 2014
This article concerns the exponential transformation method for globally solving posynomial (or general geometric/signomial) optimization problems with nonconvex objective functions or constraints. A discussion of the method's development, use, and limitations will be presented.
Before discussing methods to solve posynomial optimization problems, a brief review of posynomials is of use. A posynomial, as defined by Duffin, Peterson, and Zener (1967) as a function of the form
where the variables and the coefficients are positive, real numbers, and all of the exponents are real numbers. For example,
is a posynomial in two variables, and
is a posynomial with one variable.
It is not difficult to imagine a posynomial that is nonconvex, such as the examples above. Unfortunately, this can cause some problems when attempting to find a globally optimal solution of a posynomial program, as it is known that only convex problems guarantee a globally optimal solution.
Posynomial or geometric programming has been applied to solve problems in varied fields, such as signal circuit design, engineering design, project management, and inventory management, just to name a few. Clearly, the solution of such problems are important to the chemical engineer, and being able to globally solve such problems will equip the engineer with a powerful tool to solve a myriad of problems.
Many researchers attempted to solve such problems starting in the 1960's and 1970's. Methods used in the day aimed to find only locally optimal solutions, and employed methods such as successive approximation of posynomials (called "condensation"), so-called "psuedo-duality" methods which use a weaker form of duality, and adapted nonlinear programming methods. While locally optimal solutions are certainly better than no solution at all, the desire to find a globally optimal solution was strong enough to spur the development of other methods for posynomial programs in the 1990's. Such methods included global optimization algorithms based on exponential variable transformations of the original posynomial program, convex relaxation of the original problem, and branch-and-bound-type methods.
The exponential transformation method was introduced by Costas Maranas and Christodoulos Floudas in 1997, and, under certain circumstances discussed in the limitation section, provided a method to globally optimize certain posynomial programming problems.
A posynomial program may be written as a generalized geometric problem (GGP) as so:
where is the positive variable vector; are positive posynomial functions in t; are arbitrary real constant exponents; and, finally, are strictly positive coefficients. Sets keep track of how many positively or negatively signed monomials form posynomials , respectively. This formulation is constructed by grouping together monomials with identical signs.
One can simply apply the transformation to obtain the transformed optimization problem:
Note that this reformulation results in the difference between two convex functions. Thus, the reformulation has, in theory, "convexified" the original nonconvex problem. However, since , it is necessary that the lower bound be strictly positive for this reformulation to exist. Maranas and Floudas help circumvent this issue by essentially pre-scaling the original variables to ensure that their lower bounds will be positive. Thus, make sure that for each t_i:
With this pre-scaling in place, it is evident that the reformulated problem is a convex programming problem, and a global solution can be found. A full algorithm and theoretical proofs can be found in the 1997 Maranas and Floudas paper. The reader is directed to the paper for a more rigorous and comprehensive interrogation into the theory behind the problem; this wiki article is simply meant to introduce the curious reader to the topic at large.
Exponential transformation to convexify an objective function or constraints can be used on any geometric program that meets the criteria discussed above. As noted above, geometric programs can arise in a number of different fields and applications.
Ron Dembo a geometric optimization problem concerning optimal reactor design. His system has eight nonconvex terms, and can be transformed with the exponential transformation method. Thus, chemical systems such as reactors, kinetics, and mass balance equations can be solved with exponential transformations: consider the following law of mass-action for any generic reaction:
This equation is nonconvex as it stands, but makes a good candidate for exponential transformation.
Posynomial expressions also develop in the field of electrical engineering. In 2001, Hershenson et al formulated a geometric optimization problem for the optimal construction, layout, and connections within CMOS operational amplifiers. Key trade-offs they looked to optimize included power dissipation, unity-gain bandwidth, and open-loop gain. An example of a nonconvex posynomial constraint that arose in their analysis involves the voltage constraints upon a sample transistor in the network, for example:
Convexification of a few objective functions and constraints are provided in this section as illustrative examples. The resulting reformulations can be tested in GAMS using appropriate solvers to verify that there is indeed a globally optimal solution.
After exponential transformation, this problem becomes:
Note that in this case, the reformulated constraint is linear and, thus, convex.
There are a multitude of cases where this reformulation can be applied. As long as the coefficients of the original posynomial are strictly positive.
1. T.F. Edgar, D.M. Himmelblau, L.S. Lasdon, Optimization of Chemical Processes, McGraw-Hill, 2001.
2. J. Nocedal, S. J. Wright, Numerical Optimization, Springer, 2006.
3. J.F. Tsai, M.H. Lin, An Efficient Global Approach for Posynomial Geometric Programming Problems, INFORMS Journal on Computing, 23 (3) pp. 483-492, 2011.
4. C. D. Maranas, C. A. Floudas, Global Optimization in Generalized Geometric Programming, Computers & Chemical Engineering, 21 (4) pp. 351-369, 1997.