Skip to main content
1 of 4
Iosif Pinelis
  • 127.7k
  • 8
  • 107
  • 229

For $x=(x_1,\dots,x_n)$ we have $$c_+ x^\top D x-x^\top A x =\sum_{i=1}^{n-1}a_i(x_{i+1}-x_i)^2\ge0,$$ where $a_i:=c_+-c_{i,i+1}\ge0$.

So, your conjectured inequality, $x^\top A x \le c_+ x^\top D x$, is true.

Iosif Pinelis
  • 127.7k
  • 8
  • 107
  • 229