Bourbaki

Exercise 2, § 1

Functions of a Real Variable, VII, 325

Bourbaki marks this one as harder than the rest.

Let g be a continuous increasing function on ]0, +∞[.

a) Show that if lim inf⁡x→+∞g(x)/x=0\liminf_{x \to +\infty} g(x)/x = 0 there exists at most one convex solution of the equation u(x+1)−u(x)=g(x)u(x + 1) - u(x) = g(x) taking a given value at a given point (remark that for all h>0h > 0 the function v(x)=u(x+h)−u(x)v(x) = u(x + h) - u(x) is an increasing function satisfying the equation v(x+1)−v(x)=g(x+h)−g(x)v(x + 1) - v(x) = g(x + h) - g(x), and apply exerc. 1 a)).

b) Show that if gg is concave on ]0, +∞[+\infty[ there exists a convex solution of the equation u(x+1)−u(x)=g(x)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 lim⁡x→+∞g(x)/x=0\lim_{x \to +\infty} g(x)/x = 0 (cf. exerc. 1 b)).

c) Suppose from here on that gg is increasing and concave on ]0, +∞[+\infty[, and that lim⁡x→+∞g(x)/x=0\lim_{x \to +\infty} g(x)/x = 0. For every pair of numbers h>0,k>0h > 0, k > 0 and every finite real function ff defined on ]0, +∞[+\infty[ one puts

Δ(f(x);h,k)=f(x+h)−f(x)h−f(x)−f(x−k)k \Delta(f(x); h, k) = \frac{f(x + h) - f(x)}{h} - \frac{f(x) - f(x - k)}{k}
for x>kx > k. Show that if uu is a convex solution of the equation u(x+1)−u(x)=g(x)u(x + 1) - u(x) = g(x), one has lim⁡x→+∞Δ(u(x);h,k)=0\lim_{x \to +\infty} \Delta(u(x); h, k) = 0 for all h>0h > 0 and k>0k > 0 (use the expression for ur′u'_r from exerc. 1 b) of VII, p. 325).

d) With the notation of c) show that there exists a constant α\alpha such that one has u(x)=v(x)+αu(x) = v(x) + \alpha, with

v(x)=∫1xg(t) dt−12g(x)+R(x) v(x) = \int_1^x g(t)\,dt - \frac{1}{2}g(x) + R(x)
where we have put
R(x)=∑n=0∞h(x+n),h(x)=∫xx+1g(t) dt−12(g(x+1)+g(x)); R(x) = \sum_{n=0}^\infty h(x + n), \qquad h(x) = \int_x^{x+1} g(t)\,dt - \frac{1}{2}(g(x + 1) + g(x));
further, one has
0≤R(x)≤12(g(x+12)−g(x)). 0 \leq R(x) \leq \frac{1}{2}(g(x + \frac{1}{2}) - g(x)).
(Remark that v(x+1)−v(x)=g(x)v(x + 1) - v(x) = g(x) and that lim⁡x→+∞Δ(v(x);h,k)=0\lim_{x \to +\infty} \Delta(v(x); h, k) = 0 irrespective of h>0h > 0 and k>0k > 0.)

Solution

No solution has been written yet.

Transcribed from the printed volume. Not translated.