Skip to main content
3 of 4
added 60 characters in body
Iosif Pinelis
  • 127.7k
  • 8
  • 107
  • 229

By straightforward calculations with a bit of re-arranging, for $x=(x_1,\dots,x_n)\in\mathbb R^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