# Young's inequality

In mathematics, Young's inequality is either of two inequalities: one about the product of two numbers,[1] and one about the convolution of two functions.[2] They are named after William Henry Young.

Young's inequality for products can be used to prove Hölder's inequality. It is also used widely to estimate the norm of nonlinear terms in PDE theory, since it allows one to estimate a product of two terms by a sum of the same terms raised to a power and scaled.

## Young's inequality for products

### Standard version for conjugate Hölder exponents

In its standard form, the inequality states that if a and b are nonnegative real numbers and p and q are positive real numbers such that 1/p + 1/q = 1, then

$ab \le \frac{a^p}{p} + \frac{b^q}{q}.$

Equality holds if and only if ap = bq. This form of Young's inequality is a special case of the inequality of weighted arithmetic and geometric means and can be used to prove Hölder's inequality.

Proof

The claim is certainly true if a = 0 or b = 0. Therefore, assume a > 0 and b > 0 in the following. Put t = 1/p, and (1 − t) = 1/q. Then since the logarithm function is strictly concave

$\log(t a^p + (1-t) b^q) \ge t \log(a^p) + (1-t) \log(b^q) = \log(a) +\log(b) = \log(ab)$

with equality if and only if ap = bq. Young's inequality follows by exponentiating.

### Elementary case

An elementary case of Young's inequality is the inequality with exponent 2,

$ab \le \frac{a^2}{2} + \frac{b^2}{2},$

which also gives rise to the so-called Young's inequality with ε (valid for every ε > 0), sometimes called the Peter–Paul inequality. This name refers to the fact that tighter control of the second term is achieved at the cost of losing some control of the first term – one must "rob Peter to pay Paul"

$ab \le \frac{a^2}{2\varepsilon} + \frac{\varepsilon b^2}{2}.$
Proof

Young's inequality with exponent 2 is the special case p = q = 2. However, it has a more elementary proof, just observe that

$0\le (a-b)^2=a^2+b^2-2ab,$

add 2ab to every side and divide by 2.

Young's inequality with ε follows by applying Young's inequality with exponent 2 to

$a'=a/\sqrt{\varepsilon},\text{ }b'=\sqrt{\varepsilon}b.$

### Standard version for increasing functions

The area of the rectangle a,b can't be larger than sum of the areas under the functions $f$ (red) and $f^{-1}$ (yellow)

For the standard version[3][4] of the inequality, let f denote a real-valued, continuous and strictly increasing function on [0, c] with c > 0 and f(0) = 0. Let f−1 denote the inverse function of f. Then, for all a ∈ [0, c] and b ∈ [0, f(c)],

$ab \le \int_0^a f(x)\,dx + \int_0^b f^{-1}(x)\,dx$

with equality if and only if b = f(a).

### Generalization using Legendre transforms

If f is a convex function and its Legendre transform (convex conjugate) is denoted by g, then

$ab \le f(a) + g(b). \,$

This follows immediately from the definition of the Legendre transform. This inequality also holds — in the form a ·b ≤ f(a) + g(b) — if f is a convex function taking a vector argument (Arnold 1989, §14).

#### Examples

• The Legendre transform of f(a) = ap/p is g(b) = bq/q with q such that 1/p + 1/q = 1, and thus Young's inequality for conjugate Hölder exponents mentioned above is a special case.
• The Legendre transform of f(a) = ea – 1 is g(b) = 1 − b + b ln b, hence ab ≤ ea − b + b ln b for all non-negative a and b. This estimate is useful in large deviations theory under exponential moment conditions, because b ln b appears in the definition of relative entropy, which is the rate function in Sanov's theorem.
↑Jump back a section

## Young's inequality for convolutions

In real analysis, the following result is also called Young's inequality:[5]

Suppose f is in Lp(Rd) and g is in Lq(Rd) and

$\frac{1}{p} + \frac{1}{q} = \frac{1}{r} +1$

with 1 ≤ p, q, r ≤ ∞. Then

$\|f*g\| _r\le\|f\|_p\|g\|_q.$

Here the star denotes convolution, Lp is Lebesgue space, and

$\|f\|_p = \Bigl(\int |f(x)|^p\,dx \Bigr)^{1/p}$

denotes the usual Lp norm.

An example application is that Young's inequality can be used to show that the heat semigroup is a contracting semigroup using the L2 norm (i.e. the Weierstrass transform does not enlarge the L2 norm).

In case p, q > 1 Young's inequality can be strengthened to a sharp form, viz

$\|f*g\| _r\le c_{p,q} \|f\|_p\|g\|_q.$

where the constant cp,q < 1.[6]

↑Jump back a section

## See also

↑Jump back a section

## Notes

1. Young, W. H. (1912), "On classes of summable functions and their Fourier series", Proc. Roy. Soc. Lond. Series A 87 (594): 225–229, doi:10.1098/rspa.1912.0076, JSTOR 93236, Zbl 43.1114.12
2. Young, W. H. (1912), "On the multiplication of successions of Fourier constants", Proc. Roy. Soc. Lond. Series A 87 (596): 331–339, doi:10.1098/rspa.1912.0086, JSTOR 93120, Zbl 44.0298.02
3. Hardy, G. H.; Littlewood, J. E.; Pólya, G. (1952) [1934], Inequalities, Cambridge Mathematical Library (2nd ed.), Cambridge: Cambridge University Press, ISBN 0-521-05206-8, MR 0046395, Zbl 0047.05302 , Chapter 4.8
4. Henstock, Ralph (1988), Lectures on the Theory of Integration, Series in Real Analysis Volume I, Singapore, New Jersey: World Scientific, ISBN 9971-5-0450-2, MR 0963249, Zbl 0668.28001 , Theorem 2.9
5. Bogachev, Vladimir I. (2007), Measure Theory I, Berlin, Heidelberg, New York: Springer-Verlag, ISBN 978-3-540-34513-8, MR 2267655, Zbl 1120.28001 , Theorem 3.9.4
6. Fournier, John J. F. (1977), "Sharpness in Young's inequality for convolution", Pacific J. Math. 72 (2): 383–397, MR 0461034, Zbl 0357.43002
↑Jump back a section

## References

• Arnold, V. I. (1989), Mathematical Methods of Classical Mechanics (2. ed.), Springer, ISBN 978-0-387-96890-2 .
• Witkowski, Alfred (2006), "On Young's inequality", Journal of Inequalities in Pure and Applied Mathematics 7 (5): 3 p., Zbl pre05224679
↑Jump back a section
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 0, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 14, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.8153436779975891, "perplexity_flag": "middle"}