Talk:Young's inequality

From Wikipedia, the free encyclopedia

WikiProject Mathematics
Mathematics Portal
This article is within the scope of WikiProject Mathematics, which collaborates on articles related to mathematics.
Mathematics rating: Start Class Mid Priority  Field: Number theory

[edit] Jensen

What's with this application of Jensen inequality? That is just a generalization of concavity from sums to integrals. Since here we only use a 2term sum exactly as per the definition of concavity, there is absolutely no need to include Jensen in the proof. MarSch 14:21, 14 Mar 2005 (UTC)

You're right; I was very hasty. Although it is indeed a special case of J's inequality, it's a vacuous one. Michael Hardy 23:08, 14 Mar 2005 (UTC)

[edit] Simpler proof

Why not prove it with AM-GM as hinted to in the introduction "Young's inequality is a special case of the inequality of weighted arithmetic and geometric means. "? Just set x1 = ap, x2 = aq, w1 = 1 / p and w2 = 1 / q and apply weighted AM-GM, that's it. (w_1 x_1+w_2 x_2 =a^p/p+b^q/q\geq x_1^{w_1} x_2^{w_2}=a b. How the proof can be done with exp/log can be inferred from the proofs on AM-GM is the respective article. 134.169.77.186 12:42, 21 August 2007 (UTC) (ezander)

The current proof is quite self-contained and discusses also the case of equality. Of course, it's just (strict) convexity in different disguises. Furthermore, the more general formulation from the German page should be included (which has an easy proof). Maybe I (or someone else) does this eventually and thereby rewrites the current proof anyway. Schmock 19:29, 22 August 2007 (UTC)