IMC 2005 · Problem 5

Day 212th IMC · Blagoevgrad, Bulgaria

Statement

Find all r>0r > 0 such that whenever f:R2→Rf : \mathbb{R}^2 \to \mathbb{R} is a differentiable function such that ∣grad⁡f(0,0)∣=1|\operatorname{grad} f(0,0)| = 1 and ∣grad⁡f(u)−grad⁡f(v)∣≤∣u−v∣|\operatorname{grad} f(u) - \operatorname{grad} f(v)| \le |u - v| for all u,v∈R2u, v \in \mathbb{R}^2, then the maximum of ff on the disk {u∈R2:∣u∣≤r}\{u \in \mathbb{R}^2 : |u| \le r\} is attained at exactly one point.

(grad⁡f(u)=(∂1f(u),∂2f(u))\operatorname{grad} f(u) = (\partial_1 f(u), \partial_2 f(u)) is the gradient vector of ff at the point uu. For a vector u=(a,b)u = (a,b), ∣u∣=a2+b2|u| = \sqrt{a^2 + b^2}.)

Official solution

Hidden so you can work on the problem first.