0
$\begingroup$

$p$ and $q$ are positive interger and $\frac{1}{p}+\frac{1}{q}=1$

For $0 \le u$ and $0\le v$
prove that $uv \le \frac{u^p}{p}+\frac{v^q}{q}$.

Put $f(x)=x^{p-1}, f^{-1}=y^{q-1}$ then
$$uv \le \int_{0}^{u^p} f(x)dx+ \int_{0}^{v^q} f^{-1}(y)dy$$

Why this inequality holds?

  • 2
    This is [Young's Inequality](http://en.wikipedia.org/wiki/Young%27s_inequality). A proof (which I haven't checked), can be found [here](http://www.proofwiki.org/wiki/Young%27s_Inequality_for_Products).2012-12-15
  • 0
    Yes, I just want to know why that integral calculation is approved in here. I'll check your link. Thanks!2012-12-15
  • 0
    Ah... The informal proof is to interpret the inequality in terms of areas; per the diagrams in the links above.2012-12-15
  • 0
    Do you have the correct upper limits in the integrals?2012-12-15
  • 0
    A formal proof of the generalized form of the integral inequality can be found [here](http://web.mat.bham.ac.uk/j.a.canizo/tex/young.pdf). Not that $uv\le {u^p\over p}+{v^q\over q}$ is a consequence of the integral inequality, but can also be proved more simply as in proof 1 in the proofwiki link above.2012-12-15

1 Answers 1

0

A simple calulation shows that $$\int_{0}^{u^p} f(x)dx+ \int_{0}^{v^q} f^{-1}(y)dy=\int_{0}^{u^p} x^{p-1}dx+ \int_{0}^{v^q} y^{q-1}dy=\frac{x^p}{p}|_{0}^{u^p}+\frac{y^q}{q}|_{0}^{v^q}=\\ \frac{(u^p)^p}{p}+\frac{(v^q)^q}{q} $$ By the Young Inequality, $$\frac{(u^p)^p}{p}+\frac{(v^q)^q}{q}\ge u^pv^q $$ Perhaps you meant $$\int_{0}^{u} f(x)dx+ \int_{0}^{v} f^{-1}(y)dy\ge uv $$ ?