Are the any non-trivial functions where $f(x)=f'(x)$ not of the form $Ae^x$

Question

This may seem like a silly question, but I just wanted to check. I know there are proofs that if $f(x)=f'(x)$ then $f(x)=Ae^x$. But can we 'invent' another function that obeys $f(x)=f'(x)$ which is non-trivial?

Answer 1

Observe that if $ f(x)=f'(x) $ then $$ \left(\frac{f(x)}{e^x}\right)'=\frac{f'(x)-f(x)}{e^x}=0 $$ Hence $\dfrac{f(x)}{e^x}$ is constant...

Answer 2

I think other answers given here assume the existence of a nice function $e^{x}$ and this makes the proof considerably simpler. However I believe that it is better to approach the problem of solving $f'(x) = f(x)$ without knowing anything about $e^{x}$.

When we go down this path our final result is the following:

Theorem: There exists a unique function $f:\mathbb{R}\to \mathbb{R}$ which is differentiable for all $x \in \mathbb{R}$ and satisfies $f'(x) = f(x)$ and $f(0) = 1$. Further any function $g(x)$ which is differentiable for all $x$ and satisfies $g'(x) = g(x)$ is explicitly given by $g(x) = g(0)f(x)$ where $f(x)$ is the unique function mentioned previously.

We give a simple proof of the above theorem without using any properties/knowledge of $e^{x}$. Let's show that if such a function $f$ exists then it must be unique. Suppose there is another function $h(x)$ such that $h'(x) = h(x)$ and $h(0) = 1$. Then the difference $F(x) = f(x) - h(x)$ satisfies $F'(x) = F(x)$ and $F(0) = 0$. We will show that $F(x) = 0$ for all $x$. Suppose that it is not the case and that there is a point $a$ such that $F(a) \neq 0$ and consider $G(x) = F(a + x)F(a - x)$. Clearly we have \begin{align} G'(x) &= F(a - x)F'(a + x) - F(a + x)F'(a - x)\notag\\ &= F(a - x)F(a + x) - F(a + x)F(a - x)\notag\\ &= 0 \end{align} so that $G(x)$ is constant for all $x$. Therefore $G(x) = G(0) = F(a) \cdot F(a) > 0$. We thus have $F(a + x)F(a - x) > 0$ and hence putting $x = a$ we get $F(2a)F(0) > 0$. This contradicts $F(0) = 0$.

It follows that $F(x) = 0$ for all $x$ and hence the function $f$ must be unique. Now we need to show the existence. To that end we first establish that $f(x) > 0$ for all $x$. If there is a number $b$ such that $f(b) = 0$ then we can consider the function $\phi(x) = f(x + b)$ and it will have the property that $\phi'(x) = \phi(x)$ and $\phi(0) = 0$. By argument in preceding paragraph $\phi(x)$ is identically $0$ and hence $f(x) = \phi(x - b)$ is also identically $0$. Hence it follows that $f(x)$ is non-zero for all $x$. Since $f(x)$ is continuous and $f(0) = 1 > 0$ it follows that $f(x) > 0$ for all $x$.

Since $f'(x) = f(x) > 0$ for all $x$, it follows that $f(x)$ is strictly increasing and differentiable with a non-vanishing derivative. By inverse function therorem the inverse function $f^{-1}$ exists (if $f$ exists) and is also increasing with non-vanishing derivative. Also using techniques of differentiation it follows that $f'(x) = f(x)$ implies that $\{f^{-1}(x)\}' = 1/x$ for all $x > 0$ and $f^{-1}(1) = 0$. Since $1/x$ is continuous the definite integral $$\psi(x) = \int_{1}^{x}\frac{dt}{t}$$ exists for all $x > 0$ and has the properties of $f^{-1}$ and it is easy to show that $f^{-1}(x) = \psi(x)$. Clearly the function $(f^{-1}(x) - \psi(x))$ is constant as it derivative is $0$ and hence $$f^{-1}(x) - \psi(x) = f^{-1}(1) - \psi(1) = 0$$ so that $$f^{-1}(x) = \psi(x) = \int_{1}^{x}\frac{dt}{t}$$ Next using inverse function theorem $f(x)$ exists. Thus the question of existence of $f(x)$ is settled.

Now consider $g(x)$ with $g'(x) = g(x)$. If $g(0) = 0$ then we know from argument given earlier that $g(x) = 0$ for all $x$. If $g(0) \neq 0$ then we study the function $\psi(x) = g(x)/g(0)$. Clearly $\psi'(x) = \psi(x)$ and $\psi(0) = 1$ and hence it is same as the unique function $f(x)$. Thus $g(x)/g(0) = \psi(x) = f(x)$ for all $x$. Hence $g(x) = g(0)f(x)$.

The unique function $f(x)$ in the theorem proved above is denoted by $\exp(x)$ or $e^{x}$.

Answer 3

No. Suppose that $f \not\equiv 0$. We solve the ODE: $$f(x) = f'(x) \implies \frac{f'(x)}{f(x)} = 1 \implies \int \frac{f'(x)}{f(x)}\,{\rm d}x = \int \,{\rm d}x \implies \ln |f(x)| = x+c, \quad c \in \Bbb R$$With this, $|f(x)| = e^{x+c} = e^ce^x$. Call $e^c = A > 0$. Eliminating the absolute value, we have $f(x) = Ae^x$, with $A \in \Bbb R \setminus \{0\}$. Since $f \equiv 0$ also satisfies the equation, we can write all at once: $$f(x) = Ae^x, \quad A \in \Bbb R.$$

Answer 4

Consider $g(x) = f(x)\exp(-x)$. Then we have $g'(x) = f'(x)\exp(-x)-f(x)\exp(-x) = 0$. Thus, $g\equiv c$ for some constant $c$. Hence $f(x) = c\exp(x)$.

Answer 5

You have $\dfrac{dy}{dx}=y$. Often one writes $\dfrac{dy} y = dx$ and then evaluates both sides of $\displaystyle\int\frac{dy} y = \int dx$, etc.

However, for a question like this perhaps one should be more careful.

If $f(x)\ne 0$ for all $x$, then one has $\dfrac{f'(x)}{f(x)}=1$ for all $x$. This implies $$ \frac{d}{dx} \log |f(x)| = 1 $$ for all $x$. The mean value theorem entails there can be no antiderivatives besides $$ \log|f(x)| = x + \text{constant} $$ for all $x$. This implies $|f(x)| = e^x\cdot\text{a positive constant}$, so $f(x)=e^x\cdot\text{a nonzero constant}$.

Dividing by $f(x)$ assumes $f(x)$ is not $0$, so one has to check separately the case where $f(x)$ is everywhere $0$, and it checks.

Now what about cases where $f(x)=0$ for some $x$ but not all? Can we rule those out? We would have $f(x_0)=0$ and $f(x_1)\ne 1$. Then one solution would be $$ g(x) = f(x_1)e^{x-x_1} = f(x_1)e^{-x_1} e^x = A e^x. $$ But $g(x_0)\ne0=f(x_0)$ and $g(x_1)=f(x_1)$ and $(f-g)'=f-g$ everywhere.

[to be continued, maybe${}\,\ldots\,{}$]

Answer 6

OK, let's try a plodding pedestrian approach: $$ f'(x)-f(x) = 0 $$ The idea of an exponential multiplier $m(x)$ is that we write $$ 0 = m(x)f'(x) + (-m(x))f(x) = m(x)f'(x)+m'(x)f(x) = \Big( m(x)f(x)\Big)'. $$ For this to work we would need $-m(x)=m'(x)$. We do not need all functions $m$ satisfying this, but only one. So there's no need to wonder whether any non-trivial solutions to $m'=-m$ exist; we only need a trivial one. $m(x)=e^{-x}$ does it. So $$ 0 = \Big( m(x)f(x)\Big)'. $$ Thus, by the mean value theorem, $m(x)f(x)$ is constant, so $f(x)=(\text{constant}\cdot e^x$).