Young's inequality - Alchetron, The Free Social Encyclopedia

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

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

a b ≤ a p p + b q q .

The equality holds if and only if a^p = b^q. 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.

Elementary case

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

a b ≤ a 2 2 + 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"

a b ≤ a 2 2 ε + ε b 2 2 .

Matricial generalization

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

U ∗ | A B ∗ | U ⪯ 1 p | A | p + 1 q | B | q ,

where * denotes the conjugate transpose of the matrix and | A | = A ∗ A .

Standard version for increasing functions

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

a b ≤ ∫ 0 a f ( x ) d x + ∫ 0 b f − 1 ( x ) d x

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

Generalization using Fenchel-Legendre transforms

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

a b ≤ f ( a ) + g ( b ) .

This follows immediately from the definition of the Legendre transform.

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

⟨ u , v ⟩ ≤ f ⋆ ( u ) + f ( v ) .

where ⟨ ⋅ , ⋅ ⟩ : X ⋆ × X → R is the dual pairing.

Examples

The Legendre transform of f(a) = a^p/p is g(b) = b^q/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) = e^a – 1 is g(b) = 1 − b + b ln b, hence ab ≤ e^a − 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.

Young's inequality for convolutions

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

Suppose f is in L^p(R^d) and g is in L^q(R^d) and

1 p + 1 q = 1 r + 1

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

∥ f ∗ g ∥ r ≤ ∥ f ∥ p ∥ g ∥ q .

Here the star denotes convolution, L^p is Lebesgue space, and

∥ f ∥ p = ( ∫ | f ( x ) | p d x ) 1 / p

denotes the usual L^p norm.

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

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

∥ f ∗ g ∥ r ≤ c p , q ∥ f ∥ p ∥ g ∥ q .

where the constant c_p,q < 1.

References

Young's inequality Wikipedia

(Text) CC BY-SA

Contents