A functional equation with no solution

Question

Let $f:\mathbb{R}\to (0,\infty)$ be a differentiable function satisfying $$f(f(x))=f^\prime(x)$$for each $x$. Show no such function exists.

I got this problem in an exam. I haven't done anything significant with it. I have found that $f^\prime=f\circ f>0$ so $f(f(x))>f(0)$ hence we have $f^\prime(x)>f(0)$. But I have no idea how to use it. I tried to apply the mean value theorem on $$\frac{f(f(x))-f(0)}{f(x)}=f^\prime(c)=\frac{f^\prime(x)-f(0)}{f(x)}$$ but that doesn't lead anywhere. Can someone help me? Thanks a lot.

Answer 1

As you say, if there is such an $f$, then $f'(x) > f(0) > 0$ for all $x$. We can now use that lower bound on the derivative to show that $f$ must be negative for sufficiently large, negative $x$:

Let $x < 0$. Then by the MVT, there exists a $c \in (x, 0)$ such that $$\frac{f(0) - f(x)}{-x} = f'(c) > f(0)$$

Hence $f(0) - f(x) > f(0)(-x) \ \ \ $ or $ \ \ \ \ f(x) - f(0) < f(0)x$.

Thus for $x < -1$,

$$f(x) < (x+1)f(0) < 0$$ contradicting the hypothesis that $f(x)$ is always positive.

Answer 2

PLEASE SEE COMMENTS - THIS IS AN INCORRECT (ATTEMPT AT) A SOLN.

integrate from $-x$ to $x $ for a positive $x$: $$ \int_{-x}^x f(f(t))dt = \int_{-x}^x f'(t)dt = f(x) - f(-x) $$ by Fund. Thm. of Calc.

Now divide by $2x$ and let $x$ decrease to $0$.

The left hand side gives
$$\lim \frac{\int_{-x}^x f(f(t))dt}{2x} = f(f(0))$$ (by Lebesgue's differentiation theorem)

The right hand side gives $$ \lim \frac{f(x) - f(-x)}{2x} = (1/2)\lim \left[ \frac{f(x) - f(0)}{x} - \frac{f(-x) - f(0)}{x} \right] = (1/2)(f'(0)-f'(0))=0. $$

Hence we have f(f(0))=0. A contradiction!