Spring 2019 - Problem 1

calculus

Let fC2(R)f \in C^2\p{\R} be a real-valued function that is uniformly bounded on R\R. Prove that there exists a point cRc \in \R such that f(c)=0f''\p{c} = 0.

Solution.

Suppose otherwise, and that f(x)>0f''\p{x} > 0 for all xRx \in \R. In the other case, we may replace ff with f-f and run the same argument. In this case, ff' is strictly increasing, so in particular, there exists x0Rx_0 \in \R such that f(x0)0f'\p{x_0} \neq 0. If f(x0)>0f'\p{x_0} > 0, then for xx0x \geq x_0, we have

f(x)=f(x0)+x0xf(t)dtf(x0)+(xx0)f(x0)x,\begin{aligned} f\p{x} &= f\p{x_0} + \int_{x_0}^x f'\p{t} \,\diff{t} \\ &\geq f\p{x_0} + \p{x - x_0}f'\p{x_0} \xrightarrow{x\to\infty} \infty, \end{aligned}

which is impossible. In the other case, if f(x0)<0f'\p{x_0} < 0, we get for xx0x \leq x_0 that

f(x)=f(x0)+x0xf(t)dtf(x0)+(xx0)f(x0)x,\begin{aligned} f\p{x} &= f\p{x_0} + \int_{x_0}^x f'\p{t} \,\diff{t} \\ &\leq f\p{x_0} + \p{x - x_0}f'\p{x_0} \xrightarrow{x\to-\infty} -\infty, \end{aligned}

which also contradicts the boundedness of ff. Thus, ff'' must vanish for some cRc \in \R, which was what we wanted to show.