15
$\begingroup$

I've been trying to prove the concavity of a particular function which I reduced to proving the reverse Minkowski Inequality for $p \le 1$, $p \ne 0$ for arguments in $\mathbb{R}^{n}_{+}$. That is,

$ \|x \|_p + \|y\|_p \le \|x+y\|_p $

I've found a proof for the case of $0 < p \le 1$, but the case when $p < 0$ still evades me. All proofs of Minkowski's Inequality (in the proper direction) usually rely on Hölder's Inequality, which in turn relies on Young's Inequality. However, Young's does not apply for exponents below $0$, and I am rather jammed up finding another way. Can anyone offer a little direction?

  • 0
    Quite right you are if either x,y < 0. I've amended it to only consider values with elements greater than or equal to 0.2011-10-17

2 Answers 2

20

Let $x=(x_1,\ldots,x_n)$ and $y=(y_1,\ldots,y_n)$ be two elements of $\mathbb{R}^n_{+}$. Using the concavity of the function $f$ defined by $f(x)=x^p$, $0, we have for any $t\in (0,1)$: $(x_k+y_k)^p=\bigg(t\dfrac{x_k}{t}+(1-t)\dfrac{y_k}{1-t}\bigg)^p\geq t\dfrac{x_k^p}{t^p}+(1-t)\dfrac{y_k^p}{(1-t)^p}.$ Taking the sum, we obtain $||x+y||_p^p\geq t\dfrac{||x||_p^p}{t^p}+(1-t)\dfrac{||y||_p^p}{(1-t)^p}.$ If $t=\dfrac{||x||_p}{||x||_p+||y||_p}$ then $1-t=\dfrac{||y||_p}{||x||_p+||y||_p}$ and we have

$\begin{eqnarray*} ||x+y||_p^p &\geq& t\dfrac{||x||_p^p}{\dfrac{||x||_p^p}{\bigg(||x||_p+||y||_p\bigg)^p}}+(1-t)\dfrac{||y||_p^p}{\dfrac{||y||_p^p}{\bigg(||x||_p+||y||_p\bigg)^p}}\\ \Rightarrow ||x+y||_p^p &\geq& t\bigg(||x||_p+||y||_p\bigg)^p+(1-t)\bigg(||x||_p+||y||_p\bigg)^p=\bigg(||x||_p+||y||_p\bigg)^p\\ \Rightarrow||x+y||_p &\geq& ||x||_p+||y||_p. \end{eqnarray*}$

1

Hölder is reversed when $p<0$. The proof is a simple change of variables. See Bullen's book "Handbook of Means and Their Inequalities" p.202-3 for details. Hence Minkowski is also reversed.