Young's inequality for products

In mathematics, Young's inequality for products is a mathematical inequality about the product of two numbers.[1] The inequality is named after William Henry Young and should not be confused with Young's convolution inequality.

Young's inequality for products can be used to prove Hölder's inequality. It is also widely used 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.

Standard version for conjugate Hölder exponents

The standard form of the inequality is the following:

Theorem  If and are nonnegative real numbers and if and are real numbers such that then

Equality holds if and only if

This form of Young's inequality can be proved by Jensen's inequality and can be used to prove Hölder's inequality.

Proof 

The claim is certainly true if or so henceforth assume that and Put and Because the logarithm function is concave,

with the equality holding if and only if Young's inequality follows by exponentiating.

Young's inequality may equivalently be written as

Where this is just the concavity of the logarithm function. Equality holds if and only if or

Generalizations

Theorem[2]  Suppose and If 1 < p < ∞ and then

Using and replacing (resp. ) with (resp. ) results in the inequality:

which is useful for proving Hölder's inequality.

Proof[2] 

Define a real-valued function f on the positive real numbers by

for every and then calculate its minimum.

Theorem  If with then

Equality holds if and only if all the s with non-zero s are equal.

Elementary case

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

which also gives rise to the so-called Young's inequality with ε (valid for every ε > 0), sometimes called the Peter–Paul inequality. [3] 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"

Matricial generalization

T. Ando proved a generalization of Young's inequality for complex matrices ordered by Loewner ordering.[4] It states that for any pair A, B of complex matrices of order n there exists a unitary matrix U such that

where * denotes the conjugate transpose of the matrix and .

Standard version for increasing functions

The area of the rectangle a,b can't be larger than sum of the areas under the functions (red) and (yellow)

For the standard version[5][6] 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 f1 denote the inverse function of f. Then, for all a  [0, c] and b  [0, f(c)],

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

With and , this reduces to standard version for conjugate Hölder exponents.

For details and generalizations we refer to the paper of Mitroi & Niculescu.[7]

Generalization using Fenchel–Legendre transforms

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

This follows immediately from the definition of the Legendre transform.

More generally, if f is a convex function defined on a real vector space and its convex conjugate is denoted by (and is defined on the dual space ), then

where is the dual pairing.

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.

See also

Notes

  1. Young, W. H. (1912), "On classes of summable functions and their Fourier series", Proceedings of the Royal Society A, 87 (594): 225–229, doi:10.1098/rspa.1912.0076, JFM 43.1114.12, JSTOR 93236
  2. Jarchow 1981, pp. 47-55.
  3. Tisdell, Chris (2013), The Peter Paul Inequality, YouTube video on Dr Chris Tisdell's YouTube channel,
  4. T. Ando (1995). "Matrix Young Inequalities". In Huijsmans, C. B.; Kaashoek, M. A.; Luxemburg, W. A. J.; et al. (eds.). Operator Theory in Function Spaces and Banach Lattices. Springer. pp. 33–38. ISBN 978-3-0348-9076-2.
  5. 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
  6. 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
  7. Mitroi, F. C., & Niculescu, C. P. (2011). An extension of Young's inequality. In Abstract and Applied Analysis (Vol. 2011). Hindawi.

References

  • Jarchow, Hans (1981). Locally convex spaces. Stuttgart: B.G. Teubner. ISBN 978-3-519-02224-4. OCLC 8210342.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.