# Overview of basic facts about Cauchy functional equation

The Cauchy functional equation asks about functions $$f:R→Rf \colon \mathbb R \to \mathbb R$$ such that
$$f(x+y)=f(x)+f(y).f(x+y)=f(x)+f(y).$$
It is a very well-known functional equation, which appears in various areas of mathematics ranging from exercises in freshman classes to constructing useful counterexamples for some advanced questions. Solutions of this equation are often called additive functions.

Also a few other equations related to this equation are often studied. (Equations which can be easily transformed to Cauchy functional equation or can be solved by using similar methods.)

Is there some overview of basic facts about Cauchy equation and related functional equations – preferably available online?

I have no doubt that many resources about Cauchy functional equations and its relatives are available. But many properties of them have been shown in MSE posts, I will try to provide here list of links to the questions I am aware of. I have made this post CW, feel free to add more links and improve this answer in any way. Several links have been collected also in this post: Functional Equation $f(x+y)=f(x)+f(y)+f(x)f(y)$

We are interested in functions $$\Zobr f{\R}{\R}\Zobr f{\R}{\R}$$ such that
$$f(x+y)=f(x)+f(y) \tag{0}\label{0}f(x+y)=f(x)+f(y) \tag{0}\label{0}$$
holds for each $$x,y\in\Rx,y\in\R$$.

• If $$ff$$ is a solution of $\eqref{0}$ and $$qq$$ is a rational number, then $$f(qx)=qf(x)f(qx)=qf(x)$$ holds for each $$x\in\Rx\in\R$$.
• Every continuous solution $$\Zobr f{\R}{\R}\Zobr f{\R}{\R}$$ of $\eqref{0}$ has the form $$f(x)=cxf(x)=cx$$ for some constant $$c\in\Rc\in\R$$.
• If $$\Zobr f{\R}{\R}\Zobr f{\R}{\R}$$ is a solution of $\eqref{0}$ which is continuous at some point $$x_0x_0$$, then it is continuous everywhere.
• If a solution $$ff$$ of $\eqref{0}$ is bounded on some interval, then $$f(x)=cxf(x)=cx$$ for some $$c\in\Rc\in\R$$.

One part of this question is about the proof that locally bounded solution of $\eqref{0}$ is necessarily continuous: Real Analysis Proofs: Additive Functions

• Every monotonic solution $$\Zobr f{\R}{\R}\Zobr f{\R}{\R}$$ of $\eqref{0}$ has the form $$f(x)=cxf(x)=cx$$ for some constant $$c\in\Rc\in\R$$.
• If we have the equation $\eqref{0}$ for function $$\Zobr f{[0,\infty)}{[0,\infty)}\Zobr f{[0,\infty)}{[0,\infty)}$$, then every solution is of the form $$f(x)=cxf(x)=cx$$.
• There exist non-continuous solutions of $\eqref{0}$.

NOTE: The proof of this fact needs at least some form of Axiom of Choice – it is not provable in ZF.

• The graph $$G(f)=\big\{\big(x,f(x)\big)\big| x\in\R\big\}G(f)=\big\{\big(x,f(x)\big)\big| x\in\R\big\}$$ is a dense subset of $$\R^2\R^2$$ for every non-continuous solution of $\eqref{0}$.
• Every anti-differentiable solution $$\Zobr f{\R}{\R}\Zobr f{\R}{\R}$$ of $\eqref{0}$ has the form $$f(x)=cxf(x)=cx$$ for some constant $$c\in\Rc\in\R$$.
• Every locally integrable solution $$\Zobr f{\R}{\R}\Zobr f{\R}{\R}$$ of $\eqref{0}$ has the form $$f(x)=cxf(x)=cx$$ for some constant $$c\in\Rc\in\R$$.
• Every Lebesgue measurable solution $$\Zobr f{\R}{\R}\Zobr f{\R}{\R}$$ of $\eqref{0}$ has the form $$f(x)=cxf(x)=cx$$ for some constant $$c\in\Rc\in\R$$.

# Related equations

There are several functional equations that are closely related to Cauchy equation. They can be reduced to it by some methods or solved by very similar methods as the Cauchy equation.

## Cauchy’s exponential functional equation

$$f(x+y)=f(x)f(y) \tag{1}\label{1}f(x+y)=f(x)f(y) \tag{1}\label{1}$$

• If $$ff$$ is a solution of $\eqref{1}$, then either $$f=0f=0$$ (i.e., $$ff$$ is constant function equal to zero) or $$f(x)>0f(x)>0$$ for each $$x\in\Rx\in\R$$.
• If $$ff$$ is a solution of $\eqref{1}$, $$x\in\Qx\in\Q$$ and if we denote $$a=f(1)a=f(1)$$, then $$f(x)=a^xf(x)=a^x$$.

• Every continuous solution of $\eqref{1}$ has the form $$f(x)=a^xf(x)=a^x$$ for some $$a\ge 0a\ge 0$$.

• If a solution of $\eqref{1}$ is continuous at $$00$$, then it is continuous everywhere.

If $f\colon \mathbb{R} \to \mathbb{R}$ is such that $f (x + y) = f (x) f (y)$ and continuous at $0$, then continuous everywhere

• There are non-continuous solutions of $\eqref{1}$.

They can be obtained from non-continuous solutions of $\eqref{1}$.

• If a solution of $\eqref{1}$ is differentiable at $$00$$, then it is differentiable everywhere and $$f'(x)=f(x)f'(0)f'(x)=f(x)f'(0)$$.

## Cauchy’s logarithmic functional equation

$$f(xy)=f(x)+f(y) \tag{2}\label{2}f(xy)=f(x)+f(y) \tag{2}\label{2}$$

## Cauchy’s multiplicative functional equation

$$f(xy)=f(x)f(y) \tag{3}\label{3}f(xy)=f(x)f(y) \tag{3}\label{3}$$

• Every continuous solution of $\eqref{3}$ has the form $$f(x)=x^af(x)=x^a$$
• A solution of $\eqref{3}$ which is continuous at $$11$$ is continuous for each $$x>0x>0$$.
• If a function fulfills both $\eqref{0}$ and $\eqref{3}$, then either $$f(x)=0f(x)=0$$ or $$f(x)=xf(x)=x$$ (i.e., it is either zero function or the identity).

Notice that we do not require continuity here. See Functional equations $f(x+y)= f(x) + f(y)$ and $f(xy)= f(x)f(y)$