Talk:Young's inequality

From Wikipedia, the free encyclopedia
Jump to: navigation, search
WikiProject Mathematics (Rated C-class, Mid-importance)
WikiProject Mathematics
This article is within the scope of WikiProject Mathematics, a collaborative effort to improve the coverage of Mathematics on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.
Mathematics rating:
C Class
Mid Importance
 Field: Number theory

Jensen[edit]

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)

Simpler proof[edit]

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 x_1=a^p, x_2=a^q, w_1=1/p and w_2=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)

Proof by picture in section "Generalization using Legendre transforms"[edit]

In the section "Generalization using Legendre transforms" of the article, there is a nice graphical proof of the generalized version of Young's inequality (i note, that PlanethMath calls Young's inequality just this generalized version). I have two questions about it.

1. Could somebody show a book reference for this version of Young' inequality and for this graphical proof?

2. It isn't quite clear for me that why is this just in the section "Generalization using Legendre transforms". What is here to do with Legendre transform?

Thanks in advance!

89.135.29.171 (talk) 06:00, 15 May 2010 (UTC)

To the second question: Write the stated inequality as g(b)≥ab-f(a) and note that the Legendre transform g(b) is in fact defined to be the maximum value of ab−f(a). Hanche (talk) 21:06, 15 May 2010 (UTC)

Thank you, it's clear. To my first question, I managed to find a book resource, Mitrinovic-Vasic:Analytic Inequalities,pp 48-50. It's interesting however that they don't mention Legendre transorm here.89.135.29.171 (talk) 06:26, 16 May 2010 (UTC)

Inner product version[edit]

The generalization to inner products that was recently added works also for the general case. But more to the point, it is an immediate corollary of the scalar case and the Cauchy–Schwarz inequality. Hence I think it adds little value, and should be removed. Hanche (talk) 16:44, 28 October 2011 (UTC)