Ky Fan Inequality - Proof of The Generalization

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

Using the functional equation for the natural logarithm and Jensen's inequality for the strictly concave f, we obtain that

\begin{align} \ln\frac{ \prod_{i=1}^n x_i^{\gamma_i}} { \prod_{i=1}^n (1-x_i)^{\gamma_i} } &=\ln\prod_{i=1}^n\Bigl(\frac{x_i}{1-x_i}\Bigr)^{\gamma_i}\\ &=\sum_{i=1}^n \gamma_i f(x_i)\\ &<f\biggl(\sum_{i=1}^n \gamma_i x_i\biggr)\\ &=\ln\frac{ \sum_{i=1}^n \gamma_i x_i } { \sum_{i=1}^n \gamma_i (1-x_i) }, \end{align}

where we used in the last step that the γi sum to one. Taking the exponential of both sides gives the Ky Fan inequality.

Read more about this topic:  Ky Fan Inequality

Famous quotes containing the words proof of the, proof of and/or proof:

    “When children feel good about themselves, it’s like a snowball rolling downhill. They are continually able to recognize and integrate new proof of their value as they grow and mature.”
    —Stephanie Martson (20th century)

    “Sculpture and painting are very justly called liberal arts; a lively and strong imagination, together with a just observation, being absolutely necessary to excel in either; which, in my opinion, is by no means the case of music, though called a liberal art, and now in Italy placed even above the other two—a proof of the decline of that country.”
    —Philip Dormer Stanhope, 4th Earl Chesterfield (1694–1773)

    “Ah! I have penetrated to those meadows on the morning of many a first spring day, jumping from hummock to hummock, from willow root to willow root, when the wild river valley and the woods were bathed in so pure and bright a light as would have waked the dead, if they had been slumbering in their graves, as some suppose. There needs no stronger proof of immortality. All things must live in such a light. O Death, where was thy sting? O Grave, where was thy victory, then?”
    —Henry David Thoreau (1817–1862)