MathLabs

第3题

设 f:R→Rf:\mathbb{R}\to\mathbb{R} 是定义在实数集上的实值函数,对任意实数 xx 和 yy 满足 f(x+y)≤yf(x)+f(f(x))f(x+y)\le yf(x)+f(f(x))。证明对所有 x≤0x\le0 都有 f(x)=0f(x)=0。
第 3/5 步:让 y 趋于负无穷以在整体上迫使 f(x)≤0
通俗地说

把整体上界应用到 f(f(x)) 上会进一步简化不等式,再与交换 x、y 角色后的式子相比较,就能把 f(x) 夹在两个当 y 趋于负无穷时都趋于零的表达式之间。

f(x)≤0f(x)\le0
详细分析

由于对每个 xx 都有 f(f(x))≤bf(f(x))\le b(第二步),原不等式简化为对任意 x,yx,y 都有 f(x+y)≤yf(x)+bf(x+y)\le yf(x)+b。将 (x,y)(x,y) 换成 (x+y,−y)(x+y,-y) 得到 f(x)≤−yf(x+y)+bf(x)\le -yf(x+y)+b。另一方面,当 y<0y<0 时,用负数 yy 乘以 f(x+y)≤yf(x)+bf(x+y)\le yf(x)+b 会反转不等号并整理为 −yf(x+y)≤−y2f(x)−yb-yf(x+y)\le -y^2f(x)-yb。将两者结合得到 f(x)≤−y2f(x)+b(1−y)f(x)\le -y^2f(x)+b(1-y),即对每个 y<0y<0 都有 f(x)≤b(1−y)1+y2f(x)\le\dfrac{b(1-y)}{1+y^2}。当 y→−∞y\to-\infty 时右边趋于 00,故 f(x)f(x) 不能超过任何正数,即对任意实数 xx 都有 f(x)≤0f(x)\le0。