On a classification scheme for geometric programming and complementarity theorems

A classification theorem is given stating that out of 18 duality states between a pair of dual geometric programs only 7 are possible. The impossible states are proved by using the duality results of Duffin-Peterson-Zener [9] and two properties associated with a subconsistent primal: (1) if the subinfimum is 0, then the dual is inconsistent and (2) if the subinfimum is + α, then the dual is consistent and unbounded. New complementarity theorems are also given between a given term of a posynomial and the associated dual variable. These results apply to subconsistent programs thereby generalizing results of Avriel-Williams [1]