number theory - Solving $f(x)f(y) = f(x + y)$

I am a little lost trying to derive what form $f(x)$ must have if we know $f(x)f(y) = f(x + y)$ for real inputs $x, y$.

My attempt so far:

Set $y=0$ and we have $f(x)f(0) = f(x)$ meaning either $f(x) = 0$ or $f(0) = 1$. Not sure what to do with this.

What about setting $y=x$? Then $f(x)^2 = f(2x)$. Multiply both sides by $f(x)$ and then $f(x)^3 = f(2x)f(x) = f(2x + x) = f(3x)$ and so on, so $f(x)^n = f(nx)$ for some integer $n \geq 2$. But it's also true for $n=1$ because $f(x)^1 = f(1 \cdot x) = f(x)$ and it's also true for $n=0$ (if we assume $f(0) = 1$) since $f(x)^0 = f(0 \cdot x) = f(0) = 1$, so $f(x)^n = f(nx)$ holds for integer $n \geq 0$.

For $n > 0$: raise both sides to $1/n$ and we get

$f(x) = f(nx)^{1/n}$

I don't really know where I am going with this or if it's even the right track. Am I even allowed to do that in the first place? Am I supposed to be assuming $f(x)$ is real? Or complex? Or positive? Or something? Should I be assuming $x$ and $y$ are complex? I don't really know what assumptions to make exactly. I'm just trying to prove/show that this all implies $f(x)$ has some exponential form but pretending I don't know that yet.

Could use any corrections or a push in the right direction.

Answer

You're doing fine. So far you've managed to identify that either

1. $f$ is everywhere zero, or





2. $f(0) = 1$, in which case $f(nx) = f(x)^n$ for every positive integer $n$.

You can probably also manage to show that for every positive integer $k$, you have $f(x/k) = f(x)^{1/k}$, and then combine these to conclude that for any rational number $r$, $f(rx) = f(x)^r$.

A good next place to look is to say "let's say $f(1) = A$." Then we can work out $f(2), f(3), \ldots$ and $f(1/2), f(1/3), \ldots$, and maybe even $f(r)$ for every rational number $r$ with a little cleverness.

But what about irrationals? To say anything useful there, I believe you need an added assumption like "$f$ is continuous".

Post-comment additions

For things like this problem, it can be really helpful to write down everything in detail, rather than just as notes. You could, for instance, say this:

I'm studying the functional equation
$$f(x + y) = f(x)f(y), \tag{1}$$
which I'll assume is defined for $x$ a real number, and that the values taken by $f$ are also real, i.e., that I have
$$f: \Bbb R \to \Bbb R : x \mapsto f(x)$$

Lemma 1: If $f(0) = 0$, then $f(x) = 0$ for all $x \in \Bbb R$.

Proof: From equation 1, we have $f(x) = f(x + 0) = f(x) f(0) = f(x)\cdot 0 = 0.

Lemma 2: Assuming $c = f(0) \ne 0$, we have $f(0) = 1$.
Proof: $f(0) = f(0 + 0) = f(0)^2$, so $c = c^2$, hence $c - c^2 = c(1-c) = 0$, when $c = 0$ or $c = 1$. We've assumed $c \ne 0$, hence $c = 1$. QED.

Henceforth we'll assume $f(0) = 1$ and ignore the always-zero solution.

Lemma 3: For any $x\in \Bbb R$, $f(2x) = f(x)^2; f(3x) = f(x)^3$.

Proof: $f(2x) = f(x + x) = f(x) f(x)$ by equation 1. Similarly, breaking up $f(3x) = f(2x) + f(x)$ establishes the second claim.

Lemma 4: For any positive integer $n$, $f(nx) = f(x)^n$.
Proof, by induction: Let $P(m)$ be the statement that for the positive integer $m$, and for every real number $x$, $f(mx) = f(x)^m$. We know that for any real $x$, $f(1x) = f(x) = f(x)^1$, so $P(1)$ is true. Suppose that for some integer $k$, we know $f(kx) = f(x)^k$ (this is our induction hypothesis $P(k)$). Then let's examine $f((k+1) x)$:
$$\begin{align} f((k+1)x) &= f(kx + x) \\ &= f(kx)f(x) & \text{By equation 1} \\ &= f(x)^kf(x) & \text{By the induction hypothesis}\\ &= f(x)^{k+1}. \end{align}$$
We see that $P(k)$ implies $P(k+1)$; combining this with the fact that $P(1)$ is true, we find (by induction) that $P(n)$ is true for all positive integers $n$.

...and you continue in this vein. It really helps to know what assumptions you're making in each step.