Young's Inequality for Increasing Functions

Theorem

Let $a_0$ and $b_0$ be strictly positive real numbers.

Let $f: \closedint 0 {a_0} \to \closedint 0 {b_0}$ be a strictly increasing bijection.

Let $a$ and $b$ be real numbers such that $0 \le a \le a_0$ and $0 \le b \le b_0$.

Then:

$\ds ab \le \int_0^a \map f u \rd u + \int_0^b \map {f^{-1} } v \rd v$

where $\ds \int$ denotes the definite integral.

Equality

Equality holds in the above if and only if $b = \map f a$.

Proof

The blue colored region corresponds to $\ds \int_0^a \map f u \rd u$ and the red colored region to $\ds \int_0^b \map {f^{-1} } v \rd v$.

This theorem requires a proof. You can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by crafting such a proof. To discuss this page in more detail, feel free to use the talk page. When this work has been completed, you may remove this instance of {{ProofWanted}} from the code. If you would welcome a second opinion as to whether your work is correct, add a call to {{Proofread}} the page.

Source of Name

This entry was named for William Henry Young.

Also see

• Young's Inequality for Products
• Young's Inequality for Convolutions