Ky Fan inequality
In mathematics, there are two different results that share the common name of the Ky Fan inequality. One is an inequality involving the geometric mean and arithmetic mean of two sets of real numbers of the unit interval. The result was published on page 5 of the book Inequalities by Beckenbach and Bellman (1961), who refer to an unpublished result of Ky Fan. They mention the result in connection with the inequality of arithmetic and geometric means and Augustin Louis Cauchy's proof of this inequality by forward-backward-induction; a method which can also be used to prove the Ky Fan inequality.
The Ky Fan inequality is a special case of Levinson's inequality and also the starting point for several generalizations and refinements, some of them are given in the references below.
Statement of the classical version
If xi with 0 ≤ xi ≤ ½ for i = 1, ..., n are real numbers, then
with equality if and only if x1 = x2 = . . . = xn.
denote the arithmetic and geometric mean, respectively, of x1, . . ., xn, and let
denote the arithmetic and geometric mean, respectively, of 1 − x1, . . ., 1 − xn. Then the Ky Fan inequality can be written as
which shows the similarity to the inequality of arithmetic and geometric means given by Gn ≤ An.
Generalization with weights
If xi ∈ [0,½] and γi ∈ [0,1] for i = 1, . . ., n are real numbers satisfying γ1 + . . . + γn = 1, then
with the convention 00 := 0. Equality holds if and only if either
- γixi = 0 for all i = 1, . . ., n or
- all xi > 0 and there exists x ∈ (0,½] such that x = xi for all i = 1, . . ., n with γi > 0.
The classical version corresponds to γi = 1/n for all i = 1, . . ., n.
Proof of the generalization
Idea: Apply Jensen's inequality to the strictly concave function
Detailed proof: (a) If at least one xi is zero, then the left-hand side of the Ky Fan inequality is zero and the inequality is proved. Equality holds if and only if the right-hand side is also zero, which is the case when γixi = 0 for all i = 1, . . ., n.
(b) Assume now that all xi > 0. If there is an i with γi = 0, then the corresponding xi > 0 has no effect on either side of the inequality, hence the ith term can be omitted. Therefore, we may assume that γi > 0 for all i in the following. If x1 = x2 = . . . = xn, then equality holds. It remains to show strict inequality if not all xi are equal.
The function f is strictly concave on (0,½], because we have for its second derivative
where we used in the last step that the γi sum to one. Taking the exponential of both sides gives the Ky Fan inequality.
The Ky Fan Inequality in Game Theory
A second inequality is also called the Ky Fan Inequality, because of a 1972 paper, "A minimax inequality and its applications". This second inequality is equivalent to the Brouwer Fixed Point Theorem, but is often more convenient. Let S be a compact convex subset of a finite-dimensional vector space V, and let f(x,y) be a function from S × S to the real numbers that is lower semicontinuous in x, concave in y and has f(z,z) ≤ 0 for all z in S. Then there exists x* ∈ S such that for all y ∈ S, f( x* , y ) ≤ 0 . This Ky Fan Inequality is used to establish the existence of equilibria in various games studied in economics.
- Alzer, Horst (1988). "Verschärfung einer Ungleichung von Ky Fan". Aequationes Mathematicae 36 (2-3): 246–250. doi:10.1007/BF01836094. MR 89j:26014.
- Beckenbach, Edwin Ford; Bellman, Richard Ernest (1961). Inequalities. Berlin–Göttingen–Heidelberg: Springer-Verlag. ISBN 3-7643-0972-5. MR 28:1266.
- Moslehian, M. S. "Ky Fan inequalities". Linear and Multilinear Algebra. to appear.
- Neuman, Edward; Sándor, József (2002). "On the Ky Fan inequality and related inequalities I". Mathematical Inequalities & Applications 5 (1): 49–56. MR 2002m:26026.
- Neuman, Edward; Sándor, József (August 2005). "On the Ky Fan inequality and related inequalities II". Bulletin of the Australian Mathematical Society (Australian Mathematical Publishing Assoc. Inc.) 72 (1): 87–107. doi:10.1017/S0004972700034894. MR 2006d:26031.
- Sándor, József; Trif, Tiberiu (1999). "A new refinement of the Ky Fan inequality". Mathematical Inequalities & Applications 2 (4): 529–533. MR 2000h:26034.