Ky Fan inequality

In mathematics, the Ky Fan inequality 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.

tatement of the classical version

If "x_i" with 0 ≤ "x_i" ≤ ½ for "i" = 1, ..., "n" are real numbers, then

: $frac{ igl(prod_{i=1}^n x_iigr)^{1/n} } { igl(prod_{i=1}^n (1-x_i)igr)^{1/n} } le frac{ frac1n sum_{i=1}^n x_i } { frac1n sum_{i=1}^n (1-x_i) }$

with equality if and only if "x"₁ = "x"₂ = . . . = "x_n".

Remark

Let: $A_n:=frac1nsum_{i=1}^n x_i,qquad G_n=iggl(prod_{i=1}^n x_iiggr)^{1/n}$

denote the arithmetic and geometric mean, respectively, of "x"₁, . . ., "x_n", and let

: $A_n':=frac1nsum_{i=1}^n (1-x_i),qquad G_n'=iggl(prod_{i=1}^n (1-x_i)iggr)^{1/n}$

denote the arithmetic and geometric mean, respectively, of 1 − "x"₁, . . ., 1 − "x_n". Then the Ky Fan inequality can be written as

: $frac{G_n}{G_n'}lefrac{A_n}{A_n'},$

which shows the similarity to the inequality of arithmetic and geometric means given by "G_n" ≤ "A_n".

Generalization with weights

If "x_i" ∈ [0,½] and "γ_i" ∈ [0,1] for "i" = 1, . . ., "n" are real numbers satisfying "γ"₁ + . . . + "γ_n" = 1, then

: $frac{ prod_{i=1}^n x_i^{gamma_i} } { prod_{i=1}^n (1-x_i)^{gamma_i} } le frac{ sum_{i=1}^n gamma_i x_i } { sum_{i=1}^n gamma_i (1-x_i) }$

with the convention 0⁰ := 0. Equality holds if and only if either
*"γ_ix_i" = 0 for all "i" = 1, . . ., "n" or
*all "x_i" > 0 and there exists "x" ∈ (0,½] such that "x" = "x_i" 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

: $f(x):= ln x-ln(1-x) = lnfrac x{1-x},qquad xin(0, frac12] .$

Detailed proof: (a) If at least one "x_i" 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 "γ_ix_i" = 0 for all "i" = 1, . . ., "n".

(b) Assume now that all "x_i" > 0. If there is an "i" with "γ_i" = 0, then the corresponding "x_i" > 0 has no effect on either side of the inequality, hence the "i"^th term can be omitted. Therefore, we may assume that "γ_i" > 0 for all "i" in the following. If "x"₁ = "x"₂ = . . . = "x_n", then equality holds. It remains to show strict inequality if not all "x_i" are equal.

The function "f" is strictly concave on (0,½] , because we have for its second derivative

: $f"(x)=-frac1{x^2}+frac1{(1-x)^2}<0,qquad xin(0, frac12).$

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

: $egin{align}lnfrac{ prod_{i=1}^n x_i^{gamma_i { prod_{i=1}^n (1-x_i)^{gamma_i} }&=lnprod_{i=1}^nBigl(frac{x_i}{1-x_i}Bigr)^{gamma_i}\&=sum_{i=1}^n gamma_i f(x_i)\&$

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

References

*cite journal
last = Alzer
first = Horst
title = Verschärfung einer Ungleichung von Ky Fan
journal = Aequationes Mathematicae
volume = 36
pages = 246–250
year = 1988
url = http://dz-srv1.sub.uni-goettingen.de/sub/digbib/loader?did=D171447
id = MathSciNet | id = 89j:26014
*cite book
last = Beckenbach
first = Edwin Ford
coauthors = Bellman, Richard Ernest
title = Inequalities
publisher = Springer-Verlag
date = 1961
location = Berlin–Göttingen–Heidelberg
id = MathSciNet | id = 28:1266

*cite journal
last = Neuman
first = Edward
coauthors = Sándor, József
title = On the Ky Fan inequality and related inequalities I
journal = Mathematical Inequalities & Applications
volume = 5
issue = 1
pages = 49–56
year = 2002
url = http://www.ele-math.com/files/mia/05-1/full/mia-05-06.pdf
id = MathSciNet | id = 2002m:26026

*cite journal
last = Neuman
first = Edward
coauthors = Sándor, József
title = On the Ky Fan inequality and related inequalities II
journal = Bulletin of the Australian Mathematical Society
volume = 72
issue = 1
pages = 87–107
publisher = Australian Mathematical Publishing Assoc. Inc.
month = August
year = 2005
url = http://www.austms.org.au/Publ/Bulletin/V72P1/pdf/721-5068-NeSa.pdf
id = MathSciNet | id = 2006d:26031
*cite journal
last = Sándor
first = József
coauthors = Trif, Tiberiu
title = A new refinement of the Ky Fan inequality
journal = Mathematical Inequalities & Applications
volume = 2
issue = 4
pages = 529–533
year = 1999
url = http://www.ele-math.com/files/mia/02-4/full/mia-02-43.pdf
id = MathSciNet | id = 2000h:26034

External links

*Mathgenealogy|name = Ky Fan|id = 15631

Wikimedia Foundation. 2010.

Игры ⚽ Нужен реферат?

Look at other dictionaries:

Ky Fan Ungleichung — In der Mathematik wird als Ky Fan Ungleichung eine von Ky Fan entdeckte und erstmals von (Lit.: Beckenbach und Bellman, 1983) publizierte Ungleichung bezeichnet. Ihre Bedeutung liegt vor allem darin, dass sie durch ihre Ähnlichkeit mit der… … Deutsch Wikipedia
Ky-Fan-Ungleichung — In der Mathematik wird als Ky Fan Ungleichung eine von Ky Fan entdeckte und erstmals von (Lit.: Beckenbach und Bellman, 1983) publizierte Ungleichung bezeichnet. Ihre Bedeutung liegt vor allem darin, dass sie durch ihre Ähnlichkeit mit der… … Deutsch Wikipedia
Levinson's inequality — In mathematics the Levinson s inequality is the following inequality involving positive numbers: Let a>0 and f be a given function having a third derivative on the range ] 0,2a [, and such that :f (x)geq 0 for all xin ] 0,2a [. If 0 … Wikipedia
Concentration inequality — In mathematics, concentration inequalities provide probability bounds on how a random variable deviates from some value (e.g. its expectation). The laws of large numbers of classical probability theory state that sums of independent random… … Wikipedia
List of mathematics articles (K) — NOTOC K K approximation of k hitting set K ary tree K core K edge connected graph K equivalence K factor error K finite K function K homology K means algorithm K medoids K minimum spanning tree K Poincaré algebra K Poincaré group K set (geometry) … Wikipedia
List of inequalities — This page lists Wikipedia articles about named mathematical inequalities. Inequalities in pure mathematics =Analysis= * Askey–Gasper inequality * Bernoulli s inequality * Bernstein s inequality (mathematical analysis) * Bessel s inequality *… … Wikipedia
Sukhadeo Thorat — Infobox Person name = Prof. Sukhadeo Thorat caption = birth date = birth place = Maharashtra, India death date = death place = nationality = n field = Economics work institution =University Grants Commission (2006 ) alma mater = Jawaharlal Nehru… … Wikipedia
Chinese economic reform — History of the People s Republic of China 1949–1976, The Mao Era … Wikipedia
Quantum entanglement — Quantum mechanics Uncertainty principle … Wikipedia
Liu Hui's π algorithm — is a mathematical algorithm invented by Liu Hui (fl. 3rd century), a mathematician of Wei Kingdom. Before his time, the ratio of the circumference of a circle to diameter was often taken experimentally as 3 in China, while Zhang Heng (78… … Wikipedia

Academic Dictionaries and Encyclopedias

Ky Fan inequality

Look at other dictionaries:

Share the article and excerpts

Academic Dictionaries and Encyclopedias

Wikipedia

Ky Fan inequality

Look at other dictionaries:

Share the article and excerpts

Direct link