IMC 1996 · Problem 5

Day 125 points3rd IMC · Plovdiv, Bulgaria

Statement

(i) Let aa, bb be real numbers such that b0b \le 0 and 1+ax+bx201 + ax + bx^2 \ge 0 for every xx in [0,1][0,1]. Prove that

limn+n01(1+ax+bx2)ndx={1aif a<0,+if a0.\lim_{n \to +\infty} n \int_0^1 (1 + ax + bx^2)^n dx = \begin{cases} -\dfrac{1}{a} & \text{if } a < 0, \\[4pt] +\infty & \text{if } a \ge 0. \end{cases}

(ii) Let f:[0,1][0,)f : [0,1] \to [0,\infty) be a function with a continuous second derivative and let f(x)0f''(x) \le 0 for every xx in [0,1][0,1]. Suppose that L=limnn01(f(x))ndxL = \lim\limits_{n \to \infty} n \int_0^1 (f(x))^n\,dx exists and 0<L<+0 < L < +\infty. Prove that ff' has a constant sign and minx[0,1]f(x)=L1\min\limits_{x \in [0,1]} |f'(x)| = L^{-1}.

Official solution

Hidden so you can work on the problem first.