词条 | Muirhead's inequality |
释义 |
In mathematics, Muirhead's inequality, named after Robert Franklin Muirhead, also known as the "bunching" method, generalizes the inequality of arithmetic and geometric means. Preliminary definitionsa-meanFor any real vector define the "a-mean" [a] of positive real numbers x1, ..., xn by where the sum extends over all permutations σ of { 1, ..., n }. When the elements of a are nonnegative integers, the a-mean can be equivalently defined via the monomial symmetric polynomial as where l is the number of distinct elements in a, and k1, ..., kl are their multiplicities. Notice that the a-mean as defined above only has the usual properties of a mean (e.g., if the mean of equal numbers is equal to them) if . In the general case, one can consider instead , which is called a Muirhead mean.[1]
Doubly stochastic matrices{{main|Doubly stochastic matrix}}An n × n matrix P is doubly stochastic precisely if both P and its transpose PT are stochastic matrices. A stochastic matrix is a square matrix of nonnegative real entries in which the sum of the entries in each column is 1. Thus, a doubly stochastic matrix is a square matrix of nonnegative real entries in which the sum of the entries in each row and the sum of the entries in each column is 1. StatementMuirhead's inequality states that [a] ≤ [b] for all x such that xi > 0 for every i ∈ { 1, ..., n } if and only if there is some doubly stochastic matrix P for which a = Pb. Furthermore, in that case we have [a] = [b] if and only if a = b or all xi are equal. The latter condition can be expressed in several equivalent ways; one of them is given below. The proof makes use of the fact that every doubly stochastic matrix is a weighted average of permutation matrices (Birkhoff-von Neumann theorem). Another equivalent conditionBecause of the symmetry of the sum, no generality is lost by sorting the exponents into decreasing order: Then the existence of a doubly stochastic matrix P such that a = Pb is equivalent to the following system of inequalities: (The last one is an equality; the others are weak inequalities.) The sequence is said to majorize the sequence . Symmetric sum notationIt is convenient to use a special notation for the sums. A success in reducing an inequality in this form means that the only condition for testing it is to verify whether one exponent sequence () majorizes the other one. This notation requires developing every permutation, developing an expression made of n! monomials, for instance: ExamplesArithmetic-geometric mean inequality{{main|Inequality of arithmetic and geometric means}}Let and We have Then [aA] ≥ [aG], which is yielding the inequality. Other examplesWe seek to prove that x2 + y2 ≥ 2xy by using bunching (Muirhead's inequality). We transform it in the symmetric-sum notation: The sequence (2, 0) majorizes the sequence (1, 1), thus the inequality holds by bunching. Similarly, we can prove the inequality by writing it using the symmetric-sum notation as which is the same as Since the sequence (3, 0, 0) majorizes the sequence (1, 1, 1), the inequality holds by bunching. See also
Notes1. ^Bullen, P. S. Handbook of means and their inequalities. Kluwer Academic Publishers Group, Dordrecht, 2003. {{isbn|1-4020-1522-4}} References
2 : Inequalities|Means |
随便看 |
|
开放百科全书收录14589846条英语、德语、日语等多语种百科知识,基本涵盖了大多数领域的百科知识,是一部内容自由、开放的电子版国际百科全书。