real analysis - Classifying Functions of the form $f(x+y)=f(x)f(y)$

The question is: is there a nice characterization of all nonnegative functions $f:\mathbb{R}\rightarrow \mathbb{R}$ such that $f(x+y)=f(x)f(y)$.

If $f$ is continuously differentiable, then I can prove that $f$ is exponential, but I don't know this in general. For what it's worth, in my particular case, I can assume that $f$ is right continuous, i.e. $\lim _{x\to c^+}f(x)=f(c)$, but that is all. From this, what can I deduce about the form of $f$?

Thanks much!

Answer

Given any function $g\colon \mathbb{R}\to\mathbb{R}$ such that $g(x+y)=g(x)+g(y)$, you obtain a function of the type you want by composing with an exponential function, $z\mapsto e^{az}$, since $f(x) = e^{ag(x)}$ satisfies
$$f(x+y) = e^{ag(x+y)} = e^{ag(x)+ag(y)} = e^{ag(x)}e^{ag(y)} = f(x)f(y).$$

Conversely, any function $f\colon\mathbb{R}\to\mathbb{R}$ such that $f(x+y) = f(x)f(y)$ must be nonnegative, since $f(x) = f(\frac{1}{2}x+\frac{1}{2}x) = \left(f(\frac{1}{2}x)\right)^2$. If $f(x)=0$ for some $x$, then $f(y) = 0$ for all $y$, since $f(y) = f(x+(y-x)) = f(x)f(y-x) = 0$. So one solution is $f(x)=0$ for all $x$. If $f(x)\gt 0$ for all $x$, then composing $f(x)$ with a logarithm function gives a function $g\colon\mathbb{R}\to\mathbb{R}$ such that $g(x+y) = g(x)+g(y)$.

So your question reduces to determining the functions $g\colon\mathbb{R}\to\mathbb{R}$ that are additive. Such functions satisfy $g(q) = g(1)q$ for all $q\in\mathbb{Q}$. Under very mild conditions one can conclude that the function is of the form $g(x) = ax$ with $a=g(1)$ for all $x\in\mathbb{R}$, but if you assume the axiom of choice, there are functions that are not of this form: pick any Hamel basis $\beta$ for $\mathbb{R}$ as a vector space over $\mathbb{Q}$, and fix $\alpha\in\beta$, $\alpha\notin\mathbb{Q}$. Define $g\colon\mathbb{R}\to\mathbb{R}$ by mapping $\alpha$ to $1$ and all other basis elements to $0$, and extend $\mathbb{Q}$-linearly. This map is additive, but not of the form $g(x)=g(1)x$.

(Any additive map from $\mathbb{R}$ to $\mathbb{R}$ must be $\mathbb{Q}$-linear, of course).