裴礼文3.2.34解答

($Schwarz$定理)若$f(x)$在$[a,b]$连续,$f(x)$的广义二阶导数$$f^{[2]}(x)=\underset{h\to 0^{+}}{\lim }\frac{f(x+2h)-2f(x)+f(x-2h)}{4h^2}$$存在且恒为零,证明:$f(x)$是线性函数.
$\text{证}$
有一个有趣的事实是如果一个函数既是凹函数也是凸函数,则它是线性函数.我们证明一下这一点:
假设$f(x)$是$[a,b]$上既凸也凹的函数,则$\forall x\in [a,b]$,$\exists t\in [0,1]$,使得$$x=ta+(1-t)b$$此时有$$f(x)=tf(a)+(1-t)f(b)=[f(a)-f(b)]t+f(b)=\frac{f(a)-f(b)}{a-b}(x-b)+f(b)$$因此,我们只需要证明$f(x)$既凸也凹就好了.
首先,记$F(x)=f(x)+\epsilon x^2$,于是$$F^{[2]}(x)=f^{[2]}(x)+2\epsilon =2\epsilon >0$$我们证明$F(x)$是凸函数,假设不然.则$\exists x_1<x_2<x_3$,使得下式成立$$\frac{F(x_2)-F(x_1)}{x_2-x_1}>\frac{F(x_3)-F(x_2)}{x_3-x_2}$$
令$$G(x)=F(x_1)+\frac{F(x_3)-F(x_2)}{x_3-x_2}(x-x_1)$$则对于函数$H(x)=G(x)-F(x)$而言,有$$H(x_1)=0H(x_2)<0H(x_3)=0$$因此$H(x)$在$[x_1,x_3]$上最小值在$(x_1,x_3)$某点$c$达到,则有$$F^{[2]}(c)=-H^{[2]}(c)=-\underset{h\to 0^{+}}{\lim }\frac{H(c+2h)-2H(c)+H(c-2h)}{4h^2}\le 0$$这与$F^{[2]}(x)>0$矛盾,故$F(x)$是凸函数,而令$\epsilon \to 0$,即得到$f(x)$也是凸函数.同理,可证$f(x)$是凹函数.