6
$\begingroup$

Is there an inequality such as $$(a+b)^2 \leq 2(a^2 + b^2)$$ for higher powers of $k$ $$(a+b)^k \leq C(a^k + b^k)?$$

$\endgroup$
0

3 Answers 3

15
$\begingroup$

The generalized mean inequality states that $$\dfrac{a+b}2\leq \left(\dfrac{a^k+b^k}2\right)^{1/k},$$ with equality if and only if $a=b$, from which it follows that $$(a+b)^k\leq 2^{k-1}(a^k+b^k),$$ with equality if and only if $a=b$. Thus $C=2^{k-1}$ works and no smaller $C$ works.

$\endgroup$
0
12
$\begingroup$

Take the ratio $$f(a, b)=\frac{(a+b)^k}{a^k+b^k}$$and observe that it is homogeneous of degree zero, that is $f(a, b)=f(\lambda a, \lambda b)$ for all $\lambda >0$. So $f$ is constant along rays in $\mathbb{R}^2$ and so, in particular, $$f(a, b)\le \max_{(x, y)\in \mathbb{S}^1} f(x, y),$$ where $\mathbb{S}^1$ is the unit circle. This means that the sought inequality is true with $C=\max_{\mathbb{S}^1} f(x,y)$. You can check that with $k=2$ you recover $C=2$.

$\endgroup$
1
  • 1
    $\begingroup$ Too pretty man. +1 $\endgroup$
    – Inceptio
    Commented Mar 26, 2013 at 12:24
-2
$\begingroup$

The first inequality is true because : $2ab ≤ a^2+b^2$

There is no specific inequality for higher powers of k, although you can always give a very higher value for 'C' to make the second inequality true.

$\endgroup$
5
  • $\begingroup$ Yes. I have tried with $C=2^k$ and it seems it doesn`t work. $\endgroup$
    – user67878
    Commented Mar 26, 2013 at 10:40
  • $\begingroup$ C doesn't take any specific value. If you want to force the inequality to be correct, you can always give a very high value for 'C'. $\endgroup$
    – lsp
    Commented Mar 26, 2013 at 10:41
  • $\begingroup$ I just noticed that $C = 2^{k-1}$ works (math.stackexchange.com/questions/215472/…). $\endgroup$
    – hannah
    Commented Mar 26, 2013 at 10:42
  • $\begingroup$ It seems that $c=2^k$ should work as Samuel stated it above, my intuition seems to be good but it looks that I have failed with calculations. $\endgroup$
    – user67878
    Commented Mar 26, 2013 at 10:42
  • $\begingroup$ @hannah You see, I was writing my comment when you was writing yours, I see now that it works. $\endgroup$
    – user67878
    Commented Mar 26, 2013 at 10:43

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .