IMC 2005 · Problem 5

Day 212th IMC · Blagoevgrad, Bulgaria

Statement

Find all r>0r > 0 such that whenever f:R2Rf : \mathbb{R}^2 \to \mathbb{R} is a differentiable function such that gradf(0,0)=1|\operatorname{grad} f(0,0)| = 1 and gradf(u)gradf(v)uv|\operatorname{grad} f(u) - \operatorname{grad} f(v)| \le |u - v| for all u,vR2u, v \in \mathbb{R}^2, then the maximum of ff on the disk {uR2:ur}\{u \in \mathbb{R}^2 : |u| \le r\} is attained at exactly one point.

(gradf(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.