Is there a name for function with the exponential property $f(x+y)=f(x) \cdot f(y)$? I was wondering if there is a name for a function that satisfies the conditions
$f:\mathbb{R} \to \mathbb{R}$ and $f(x+y)=f(x) \cdot f(y)$?
Thanks and regards!
 A: If $f(x_0)= 0$ for some $x_0\in\mathbb{R}$, then for all $x\in\mathbb{R}$, $f(x)=f(x_0+(x-x_0))=f(x_0)\cdot f(x-x_0)=0$.  Therefore, either $f$ is identically $0$ or never $0$.  If $f$ is not $0$, then it is a homomorphism from the group $\mathbb{R}$ with addition to the group $\mathbb{R}\setminus\{0\}$ with multiplication.  If $f(x)<0$ for some $x$, then $f(\frac{x}{2})^2\lt 0$, which is impossible, so $f$ is actually a homomorphism into the positive real numbers with multiplication.  By composing with the isomorphism $\log:(0,\infty)\to\mathbb{R}$, such $f$ can be analyzed by first analyzing all additive maps on $\mathbb{R}$.  Assuming continuity, these all have the form $x\mapsto cx$ for some $c\in \mathbb{R}$, and hence $f(x)=\exp(cx)$.  Assuming the axiom of choice, there are discontinuous additive functions on $\mathbb{R}$ that can be constructed using a Hamel basis for $\mathbb{R}$ over $\mathbb{Q}$, and thus there are also discontinuous homomorphisms from $\mathbb{R}$ to $(0,\infty)$.
So for an actual answer to the question: Yes, they are called (the zero map or) homomorphisms from the additive group of real numbers to the multiplicative group of positive real numbers.
A: $\log f$ satisfies Cauchy's functional equation.
A: If you enforce continuity on $f(x)$ (continuity even at a single point should do), then the only function which satisfies this is an exponential function of the form $f(x) = e^{ax}$.
You need to enforce continuity to extend this from rationals to reals (as you would expect).
If you have $f: \mathbb{Q} \rightarrow \mathbb{R}$, then $f(x) = e^{ax}$ is the only function.
(The proof for this is analogous to proving $f(x) = cx$ when $f(x+y) = f(x) + f(y)$)
In fact one of the definitions of $f(x) = a^x$ is as follows. If there exists a function $f(x)$ satisfying the following properties,


*

*$f(x) : \mathbb{R} \rightarrow \mathbb{R}$

*$f(x+y) = f(x) \times f(y)$

*$f(x) \text{ is continuous at-least at one point in } \mathbb{R}$

*$f(1) = a$
Then, $f(x) = a^x$.
Note: $e^x$ could be defined like above with $f(1) = e$, where $\displaystyle e = \lim_{n \rightarrow \infty} \left( 1+\frac{1}{n} \right)^n$. This is one of the many definitions for $e^x$.
EDIT:
Without continuity you could define a function as follows:
We know that along all rationals $f(x) = e^{ax}$ where $x \in \mathbb{Q}$. Now lets define $f(x)$ over $x \in \mathbb{R} \backslash \{ \mathbb{Q} \}$.
For this, consider $\mathbb{R}$ as a vector space over $\mathbb{Q}$. This is an infinite-dimensional vector space and the axiom of choice guarantees the existence of a basis for this space.
Now consider a basis for this space. Let the set of basis be $\{h_{\alpha}\}$ i.e. every real number can now be written as $r = \displaystyle \sum_{i=1}^{N(r)} q_i h_{\alpha_i}$, where $q_i \in \mathbb{Q}$, $N(r) \in \mathbb{N}$, and $h_{\alpha_i} \in \{h_{\alpha}\}$.
Now you have complete freedom to decide what the value of $f$ should take on each element in the set $\{ h_{\alpha} \}$.
A: This functional equation has name the exponential
Cauchy functional equation and a real-valued function is called a real
exponential function if it satisfies this functional equation. The general solution of the exponential Cauchy functional equation is given by 
$$f(x)=e^{A(x)}\ \ \ \ and\ \ f(x)=0$$
where $A:\mathbb{R}\rightarrow \mathbb{R}$ is an additive function and e is the Napierian base of
logarithm. For proof of this result and much more related results please see chapter $1$ and $2$ of the following book.
${Prasanna\ K.\ Sahoo\ and\ Palaniappan\ Kannappan,\ "Introduction\ to\ Functional\ Equations",\ 2011\ by\ Taylor\ and\ Francis\ Group,\ LLC.}$
A: Given: $f(x+y)=f(x)f(y)$
Taking partial derivative w.r.t. $x$
$f'(x+y)(1)=f(y)f'(x)$
Putting $x=0$
$f'(y)=f'(0)f(y)$
Replacing $y$ by $x$
$f'(x)=f'(0)f(x)$
$\frac{dy}{dx}=cy$ ; where $c=f'(0)$ and $f(x)=y$
$ln(y)=cx+k$
$e^{cx}e^{k}=y$ ______$(1)$
Putting $x=0$ in the given statement. $f(0)=f(0)^2 \implies f(0)=0$ or $1$
Since $(1)$ is an exponential function, $f(x) \neq 0$ for all $x \in R$
Therefore, $f(0)=1$
So, $f(x)=e^{cx}$ as $e^{k}=1$
