PTAH inequality
Let .
Let be a measure space with measure .Let be measurable functions
such that a.e [m] for .
Note: the notation “a.e. [m]” means that the condition holds almost everywhere with respect to the measure .
Define by
where .
And define and by
and
Define by
Theorem. Let and be definedas above. Then for every we have
with strict inequality unless . Also,
with strict inequality unless .The second inequality is known as the PTAH inequality.
The significance of the PTAH inequality is that some of theclassical inequalities are all special cases of PTAH.
Consider:
(A) The arithmetic-geometric mean inequality:
(B) the concavity of :
(C) the Kullback-Leibler inequality:
(D) the convexity of :
(E)
(F)
(G) the maximum-entropy inequality (in logarithmic form)
(H) Hölder’s generalized inequality (http://planetmath.org/GeneralizedHolderInequality)
(P) The PTAH inequality:
All the sums and products range from 1 to , all the are positive and are in and the set isdiscrete, so that
where and ,and
and .Then it turns out that (A) to (G) are all special cases of (H), andin fact (A) to (G) are all equivalent, in the sense that given any two of them,each is a special case of the other.(H) is a special case of (P), However, it appears that none of the reverseimplications
holds.According to George Soules:
”The folklore at the Institute for Defense Analyses in Princeton NJis that the first program to maximize a function P(z) by iterating the growth transformation
was written while the programmer was listening to the opera Aida,in which the Egyptian god of creation Ptah is mentioned, and that became the name of the program (and of the inequality). The name is in upper case because the word processor in use in the middle 1960’shad no lower case.”
References
- 1 George W. Soules, The PTAH inequality and its relation
to certain classical inequalities, Institute for Defense Analyses, Working paper No. 429, November 1974.