IMC 1999 · Problem 6

Day 110 points6th IMC · Keszthely, Hungary

Statement

a) For each 1<p<∞1 < p < \infty find a constant cp<∞c_p < \infty for which the following statement holds: If f:[−1,1]→Rf : [-1,1] \to \mathbb{R} is a continuously differentiable function satisfying f(1)>f(−1)f(1) > f(-1) and ∣f′(y)∣≤1|f'(y)| \le 1 for all y∈[−1,1]y \in [-1,1], then there is an x∈[−1,1]x \in [-1,1] such that f′(x)>0f'(x) > 0 and ∣f(y)−f(x)∣≤cp(f′(x))1/p∣y−x∣|f(y) - f(x)| \le c_p \left( f'(x) \right)^{1/p} |y - x| for all y∈[−1,1]y \in [-1,1].

b) Does such a constant also exist for p=1p = 1?

Official solution

Hidden so you can work on the problem first.