Bourbaki marks this one as harder than the rest.
Let g be a continuous increasing function on ]0, +∞[.
a) Show that if liminfx→+∞g(x)/x=0 there exists at most one convex solution of the equation u(x+1)−u(x)=g(x) taking a given value at a given point (remark that for all h>0 the function v(x)=u(x+h)−u(x) is an increasing function satisfying the equation v(x+1)−v(x)=g(x+h)−g(x), and apply exerc. 1 a)).
b) Show that if g is concave on ]0, +∞[ there exists a convex solution of the equation u(x+1)−u(x)=g(x); there exists a unique convex solution of this equation taking a given value at a given point if and only if limx→+∞g(x)/x=0 (cf. exerc. 1 b)).
c) Suppose from here on that g is increasing and concave on ]0, +∞[, and that limx→+∞g(x)/x=0. For every pair of numbers h>0,k>0 and every finite real function f defined on ]0, +∞[ one puts
Δ(f(x);h,k)=hf(x+h)−f(x)−kf(x)−f(x−k) for
x>k. Show that if
u is a convex solution of the equation
u(x+1)−u(x)=g(x), one has
limx→+∞Δ(u(x);h,k)=0 for all
h>0 and
k>0 (use the expression for
ur′ from exerc. 1 b) of VII, p. 325).
d) With the notation of c) show that there exists a constant α such that one has u(x)=v(x)+α, with
v(x)=∫1xg(t)dt−21g(x)+R(x) where we have put
R(x)=n=0∑∞h(x+n),h(x)=∫xx+1g(t)dt−21(g(x+1)+g(x)); further, one has
0≤R(x)≤21(g(x+21)−g(x)). (Remark that
v(x+1)−v(x)=g(x) and that
limx→+∞Δ(v(x);h,k)=0 irrespective of
h>0 and
k>0.)