I have recently come across this seemingly simple Hilbert space inequality

$$||x||^4 + ||y||^4 - 2\langle x, y \rangle ^2 \leq 3 ||y||^2 ||x-y||^2 $$

for $||x|| \leq ||y||$, where $<\cdot, \cdot>$ denotes the inner product and $||\cdot||$ the corresponding norm. I have been trying to prove it but something always seems to be off. If the inequality holds, could you please give me a pointer on how to prove it?

Thank you in advance.

  • $\begingroup$ I have rapidly shown a nearby inequality using Cauchy Schwartz and $(x+a)^2\geqslant\frac{x^2}{2}-a^2$: $\|y\|^4-2<x,y>^2 \leqslant 2\|y\|^2\|x-y\|^2$ Maybe it can help? $\endgroup$ – Benoit Gaudeul Jul 19 '18 at 8:26
  • $\begingroup$ @BenoitGaudeul Would you like to post a full solution as an answer so I can mark it as correct? $\endgroup$ – JohnK Jul 19 '18 at 8:42
  • $\begingroup$ A full solution of this lesser inequality? because for the full problem I'm not so sure. $\endgroup$ – Benoit Gaudeul Jul 19 '18 at 8:55
  • $\begingroup$ Of the original inequality starting from the easily proved lesser inequality $(x+a)^2\geqslant\frac{x^2}{2}-a^2$ $\endgroup$ – JohnK Jul 19 '18 at 8:55

Let's consider our Hilbert space to be $\mathbb{R}$ and let $y=1$, $x=1-h$

The left-hand side is:


The right-hand side is $3h^2$. For $h$ smaller than $2-\sqrt3$, the inequality doesn't hold.


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.