Young’s Inequality for Products

Note: Text in italics are comments about the non-italic parts usually above.

$$ab \leq \frac{a^p}{p} + \frac{b^q}{q}$$ where $\frac{1}{p} + \frac{1}{q} = 1$, with $p, q > 1$, and $a, b > 0$.

What the inequality is saying in plain English:

A product ab can be controlled by a sum of powers of aaa and bbb.

Why this matters
Products are often awkward to handle because they couple variables together while sums are usually easier because they keep the variables seperate. So this inequality lets you replace a difficult multiplicative term with something additive. When variables are separated, you can study each one independently. That matters because most mathematical tools work better on separated structure:

• integrals distribute over sums,
• derivatives distribute over sums,
• estimates can often be applied term-by-term,
• maxima/minima are easier to study when variables are uncoupled,
• error control is easier when each source of size appears in its own term.