HOME

TheInfoList



OR:

A posynomial, also known as a posinomial in some literature, is a
function Function or functionality may refer to: Computing * Function key, a type of key on computer keyboards * Function model, a structured representation of processes in a system * Function object or functor or functionoid, a concept of object-oriente ...
of the form : f(x_1, x_2, \dots, x_n) = \sum_^K c_k x_1^ \cdots x_n^ where all the coordinates x_i and coefficients c_k are positive
real number In mathematics, a real number is a number that can be used to measure a ''continuous'' one-dimensional quantity such as a distance, duration or temperature. Here, ''continuous'' means that values can have arbitrarily small variations. Every ...
s, and the exponents a_ are real numbers. Posynomials are closed under addition, multiplication, and nonnegative scaling. For example, : f(x_1, x_2, x_3) = 2.7 x_1^2x_2^x_3^ + 2x_1^x_3^ is a posynomial. Posynomials are not the same as
polynomial In mathematics, a polynomial is an expression consisting of indeterminates (also called variables) and coefficients, that involves only the operations of addition, subtraction, multiplication, and positive-integer powers of variables. An example ...
s in several independent variables. A polynomial's exponents must be non-negative integers, but its independent variables and coefficients can be arbitrary real numbers; on the other hand, a posynomial's exponents can be arbitrary real numbers, but its independent variables and coefficients must be positive real numbers. This terminology was introduced by Richard J. Duffin, Elmor L. Peterson, and
Clarence Zener Clarence Melvin Zener (December 1, 1905 – July 2, 1993) was the American physicist who first (1934) described the property concerning the breakdown of electrical insulators. These findings were later exploited by Bell Labs in the development of ...
in their seminal book on
geometric programming A geometric program (GP) is an optimization problem of the form : \begin \mbox & f_0(x) \\ \mbox & f_i(x) \leq 1, \quad i=1, \ldots, m\\ & g_i(x) = 1, \quad i=1, \ldots, p, \end where f_0,\dots,f_m are posynomials and g_1,\dots,g_p are monomials. I ...
. Posynomials are a
special case In logic, especially as applied in mathematics, concept is a special case or specialization of concept precisely if every instance of is also an instance of but not vice versa, or equivalently, if is a generalization of . A limiting case i ...
of
signomial A signomial is an algebraic function of one or more independent variables. It is perhaps most easily thought of as an algebraic extension of multivariable polynomials—an extension that permits exponents to be arbitrary real numbers (rather than j ...
s, the latter not having the restriction that the c_k be positive.


References

* * * *


External links

* S. Boyd, S. J. Kim, L. Vandenberghe, and A. Hassibi
A Tutorial on Geometric Programming
Functions and mappings {{mathapplied-stub