Unofficial archive — problems, solutions & results © IMC, reproduced with permission.

IMC / 2020 / Problems / Day 2, P5

IMC 2020 · Day 2 · P5

medium

Find all twice continuously differentiable functions f:R(0,+)f : \mathbb{R} \to (0, +\infty) satisfying f(x)f(x)2(f(x))2f''(x) f(x) \ge 2 (f'(x))^2 for all xRx \in \mathbb{R}.

Karen Keryan, Yerevan State University & American University of Armenia, Yerevan

Solution (official)

We shall show that only positive constant functions satisfy the condition.

Let g(x)=1f(x)g(x) = \dfrac{1}{f(x)}. Notice that g=(1f)=(ff2)=(2(f)2fff3)0,g'' = \left( \frac1f \right)'' = \left( \frac{-f'}{f^2} \right)' = \left( \frac{2 (f')^2 - f'' f}{f^3} \right) \le 0, so the positive function g(x)g(x) is concave. We show that gg must be constant.

Take two arbitrary real numbers a<ba < b. By the concavity of gg, for all u<au < a and v>bv > b we have g(a)g(u)aug(b)g(a)bag(v)g(b)vb.\frac{g(a) - g(u)}{a - u} \ge \frac{g(b) - g(a)}{b - a} \ge \frac{g(v) - g(b)}{v - b}. Combining this with g(u),g(v)>0g(u), g(v) > 0 we get g(a)au>g(b)g(a)ba>g(b)vb\frac{g(a)}{a - u} > \frac{g(b) - g(a)}{b - a} > \frac{-g(b)}{v - b} Now by taking limits uu \to -\infty and vv \to \infty we obtain 0g(b)g(a)ba0,0 \ge \frac{g(b) - g(a)}{b - a} \ge 0, so g(a)=g(b)g(a) = g(b). This holds for any pair (a,b)(a, b), so g(x)g(x) is constant and f(x)=1/g(x)f(x) = 1/g(x) also is constant.

If ff is constant then f=f=0f' = f'' = 0, so the condition is satisfied.

Remark. Instead of the function 1/f(x)1/f(x), the same idea works with arctanf(x)\arctan f(x): (arctanf(x))=f(1+f2)2(f)2(1+f2)2=f(1+f2)2(f)2(1+f2)(1+f2)2=f2(f)21+f20.(\arctan f(x))'' = \frac{f'' (1 + f^2) - 2 (f')^2}{(1 + f^2)^2} = \frac{f'' (1 + f^2) - 2 (f')^2 (1 + f^2)}{(1 + f^2)^2} = \frac{f'' - 2 (f')^2}{1 + f^2} \ge 0. As can be seen, arctanf(x)\arctan f(x) is a bounded convex function, therefore it must be constant.

How the field did

contestants scored
453
average (of 10)
5.00
solved (≥ 80%)
34.7%
near-0 (≤ 10%)
25.6%
discrimination
0.40

Score distribution (field cohort)

Computed on contestants with a meaningful total (field cohort); discrimination is the corrected item–total correlation.

Similar problems

IMC 2004 · Day 1 · P3mediumavg 5.5/10 · solved 38% · near-0 28% · disc 0.72
IMC 2009 · Day 2 · P7mediumavg 4.9/10 · solved 39% · near-0 42% · disc 0.51
IMC 2014 · Day 1 · P3mediumavg 4.2/10 · solved 40% · near-0 54% · disc 0.53
IMC 2003 · Day 1 · P5hardavg 3.7/10 · solved 29% · near-0 46% · disc 0.54