Skip to main content
5 of 6
added 1484 characters in body
Iosif Pinelis
  • 127.8k
  • 8
  • 107
  • 229

The answer is yes.

Indeed, by rescaling, without loss of generality (wlog) $c=1$. To simplify the notations, let $f:=F$, $a:=a_n$, $b:=b_n$, $c:=c_n$, $t:=\lambda_n$, $D:=D_n$. Passing to a subsequence, wlog $a\to a_*\in[0,1]$ and $t\to t_*\in(0,1]$. Also, wlog $a+2\le c$, since $a\le1$ and $c\to\infty$. Also, wlog $b>c$, since wlog $t>0$ and $c>a$.

By the convexity of $f$ and inequalities $a+1\le a+2\le c$, \begin{equation*} f(a+1)\ge f(c)+\frac{a+1-c}{b-c}\,(f(b)-f(c)).\tag{1} \end{equation*} Using now the convexity of $f$ again together with the inequality $a+2\le c$ and (1), we have \begin{align*} 0\le d&:=\frac{f(a)+f(a+2)}2-f(a+1) \\ &\le \frac{f(a)}2+\frac12\,\frac{(c-a-2)f(a)+2f(c)}{c-a}-f(a+1) \\ &=\tilde d:=\frac{(c-a-1)f(a)+f(c)}{c-a}-f(a+1) \\ &\le\frac{(c-a-1)f(a)+f(c)+D}{c-a} \\ &\ \ -\Big(f(c)+\frac{a+1-c}{b-c}\,(f(b)-f(c))\Big) \\ &=\tilde D:=\frac{b-a-1}{b-a}\frac Dt\sim\frac D{t_*}\to0, \end{align*} so that \begin{equation*} d\to0. \tag{2} \end{equation*} On the other hand, \begin{equation*} d\to\frac{f(a_*)+f(a_*+2)}2-f(a_*+1)>0 \end{equation*} by the strict convexity of $f$. This contradicts (2). $\Box$

Remark: As seen from the above, condition $c\to\infty$ can be relaxed to $\liminf(c-a)>0$.


The above solution might look somewhat mysterious. In fact, the idea is a rather simple geometric idea. For any real $A,B,C$ such as $A\le B\le C$, let the "gain" $g(A,B;C)$ denote the distance between the point on the graph of the convex function $f$ with abscissa $C$ and the point with the same abscissa on the chord connecting the points on the graph of $f$ with abscissas $A$ and $B$.

So (see the picture below), $D=g(a,b;c)$ and $\tilde d=g(a,c;a+1)$, where $\tilde d$ is as defined in the above multi-line display. In that display, it was shown that $\tilde d\le\tilde D$, which is clear from the picture. Also, if $t$ is bounded away from $0$ -- that is, if $c/b$ is bounded away from $1$, then, as it is clear from the picture by looking at the similar triangles, we have $\tilde D\asymp D\to0$; cf. the last line of the above multi-line display. This and the inequality $\tilde d\le\tilde D$ imply $\tilde d\to0$.

By the convexity of $f$, for any fixed real $A,C$ such as $A\le C$, the gain $g(A,B;C)$ is nondecreasing in $B\in[C,\infty)$ (here you may want to draw another picture). Therefore and because $a+2\le c$, we have $d=g(a,a+2;a+1)\le g(a,c;a+1)=\tilde d$, so that $d\le\tilde d$, which was shown in the first three lines of the above multi-line display.

This is the geometric explanation of (1) and the above multi-line display.

enter image description here

Iosif Pinelis
  • 127.8k
  • 8
  • 107
  • 229