Geometric programming: Difference between revisions

Revision as of 13:46, 23 March 2020

Revision as of 13:47, 23 March 2020

Line 11:

:<math>x \mapsto c x_1^{a_1} x_2^{a_2} \cdots x_n^{a_n} </math>

where <math> c > 0 \ </math> and <math>a_i \in \mathbb{R} </math>. A posynomial is any sum of monomials. <ref name="duffin">{{cite book

| author = Richard J. Duffin

|author2=Elmor L. Peterson |author3=Clarence Zener

Line 22:

Geometric programming is

closely related to [[convex optimization]]: any GP can be made convex by means of a change of variables. <ref name="tutorial"/> GPs have numerous applications, including component sizing in [[Integrated circuit|IC]] design<ref>M. Hershenson, S. Boyd, and T. Lee. ''[https://web.stanford.edu/~boyd/papers/opamp.html Optimal Design of a CMOS Op-amp via Geometric Programming].'' Retrieved 8 January 2019.</ref><ref> S. Boyd, S. J. Kim, D. Patil, and M. Horowitz. ''[https://web.stanford.edu/~boyd/papers/gp_digital_ckt.html Digital Circuit Optimization via Geometric Programming].'' Retrieved 20 October 2019.</ref>, aircraft design<ref>W. Hoburg and P. Abbeel. ''[https://people.eecs.berkeley.edu/~pabbeel/papers/2014-AIAA-GP-aircraft-design.pdf Geometric programming for aircraft design optimization].'' AIAA Journal 52.11 (2014): 2414-2426.</ref>, and [[maximum likelihood estimation]] for [[logistic regression]] in [[statistics]].

==Convex form==

Geometric programs are not in general convex optimization problems, but they can be transformed to convex problems by a change of variables and a transformation of the objective and constraint functions. In particular, after performing the change of variables <math>y_i = \log(x_i)</math> and taking the log of the objective and constraint functions, the functions <math>f_i</math>, i.e., the posynomials, are transformed into [[LogSumExp | log-sum-exp]] functions, which are convex, and the functions <math>g_i</math>, i.e., the monomials, become [[affine transformation | affine]]. Hence, this transformation transforms every GP into an equivalent convex program. <ref name="tutorial"/> In fact, this log-log transformation can be used to convert a larger class of problems, known as [[log-log convex programming]] (LLCP), into an equivalent convex form.<ref name="dgp">A. Agrawal, S. Diamond, and S. Boyd. ''[https://arxiv.org/abs/1812.04074 Disciplined Geometric Programming.]'' Retrieved 8 January 2019.</ref>

==Software==