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
:
where all the coordinates
and coefficients
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
are real numbers. Posynomials are closed under addition, multiplication, and nonnegative scaling.
For example,
:
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
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