Cauchy's functional equation

Template:Short description Cauchy's functional equation is the functional equation: $$f(x+y)=f(x)+f(y).$$

A function $f$ that solves this equation is called an additive function. Over the rational numbers, it can be shown using elementary algebra that there is a single family of solutions, namely $f:x\mapsto cx$ for any rational constant $c.$ Over the real numbers, the family of linear maps $f:x\mapsto cx,$ now with $c$ an arbitrary real constant, is likewise a family of solutions; however there can exist other solutions not of this form that are extremely complicated. However, any of a number of regularity conditions, some of them quite weak, will preclude the existence of these pathological solutions. For example, an additive function $f:ℝ\to ℝ$ is linear if:

• $f$ is continuous (Cauchy, 1821). In fact, it suffices for $f$ to be continuous at one point (Darboux, 1875).
• $f(x)\ge 0$ or $f(x)\le 0$ for all Template:Tmath.
• $f$ is monotonic on any interval.
• $f$ is bounded above or below on any interval.
• $f$ is Lebesgue measurable.
• $f\left(x^{n+1}\right)=x^{n}f(x)$ for all real $x$ and some positive integer Template:Tmath.
• The graph of $f$ is not dense in Template:Tmath.

On the other hand, if no further conditions are imposed on Template:Tmath, then (assuming the axiom of choice) there are infinitely many other functions that satisfy the equation. This was proved in 1905 by Georg Hamel using Hamel bases. Such functions are sometimes called Hamel functions.

The fifth problem on Hilbert's list is a generalisation of this equation. Functions where there exists a real number $c$ such that $f(cx)\ne cf(x)$ are known as Cauchy–Hamel functions and are used in Dehn–Hadwiger invariants which are used in the extension of Hilbert's third problem from 3D to higher dimensions.

This equation is sometimes referred to as Cauchy's additive functional equation to distinguish it from the other functional equations introduced by Cauchy in 1821, the exponential functional equation Template:Tmath, the logarithmic functional equation Template:Tmath, and the multiplicative functional equation Template:Tmath.

Solutions over the rational numbers

A simple argument, involving only elementary algebra, demonstrates that the set of additive maps $f:V\to W$, where $V,W$ are vector spaces over an extension field of $\mathbb{Q}$, is a subset of the set of $\mathbb{Q}$-linear maps from $V$ to $W$.

Theorem: Let $f:V\to W$ be an additive function. Then $f$ is $\mathbb{Q}$-linear.

Proof: We want to prove that any solution $f:V\to W$ to Cauchy’s functional equation, $f(x+y)=f(x)+f(y)$, satisfies $f(qv)=qf(v)$ for any $q\in \mathbb{Q}$ and $v\in V$. Let $v\in V$.

First note $f(0)=f(0+0)=f(0)+f(0)$, hence $f(0)=0$, and therewith $0=f(0)=f(v+(-v))=f(v)+f(-v)$ from which follows $f(-v)=-f(v)$.

Via induction, $f(mv)=mf(v)$ is proved for any $m\in \mathbb{N}\cup \{0\}$.

For any negative integer $m\in \mathbb{Z}$ we know Template:Tmath, therefore Template:Tmath. Thus far we have proved

$f(mv)=mf(v)$ for any $m\in \mathbb{Z}$.

Let $n\in \mathbb{N}$, then $f(v)=f(n{n}^{-1}v)=nf(n^{-1}v)$ and hence Template:Tmath.

Finally, any $q\in \mathbb{Q}$ has a representation $q=\frac{m}{n}$ with $m\in \mathbb{Z}$ and Template:Tmath, so, putting things together,

$f(qv)=f\left(\frac{m}{n}v\right)=f(\frac{1}{n}(mv))=\frac{1}{n}f(mv)=\frac{1}{n}mf(v)=qf(v)$, q.e.d.

Properties of nonlinear solutions over the real numbers

We prove below that any other solutions must be highly pathological functions. In particular, it is shown that any other solution must have the property that its graph $\{(x,f(x))|x\in ℝ\}$ is dense in Template:Tmath, that is, that any disk in the plane (however small) contains a point from the graph. From this it is easy to prove the various conditions given in the introductory paragraph.

Expressed differently, nonlinearity in an additive function $f:ℝ\to ℝ$ implies there is some $a\in ℝ$ such that $f(a)-af(1)\ne 0$. Let $r_n:ℝ\to \mathbb{Q},n\in \mathbb{N}$ denote a series of rational approximation functions such that for all $z\in ℝ$, $\underset{n\to \mathrm{\infty }}{lim}{r}_n(z)=z$ (such as writing $z$ by its first $n$ decimals). Then, as $f$ is $\mathbb{Q}$-linear, $limf(r_n(a))=af(1)\ne f(a)$, even though $lim{r}_n(a)=a$. From this, one can construct an orthonormal basis: defining $x_n=\frac{r_n(f(a))-a{r}_n(f(1))}{r_n(f(a)-af(1))}$ and $y_n=\frac{a-r_n(a)}{r_n(f(a)-af(1))}$, $lim{x}_n=limf(y_n)=1,lim{y}_n=limf(x_n)=0$. Thus, for any $r_x,r_y\in \mathbb{Q}$, $lim{r}_x{x}_n+r_y{y}_n=r_x$ and $limf(r_x{x}_n+r_y{y}_n)=r_y$, meaning any point $(r_x,r_y)\in {\mathbb{Q}}^2$ can be approximated.

Existence of nonlinear solutions over the real numbers

The linearity proof given above also applies to Template:Tmath, where $\alpha \mathbb{Q}$ is a scaled copy of the rationals. This shows that only linear solutions are permitted when the domain of $f$ is restricted to such sets. Thus, in general, we have $f(\alpha q)=f(\alpha )q$ for all $\alpha \in ℝ$ and Template:Tmath. However, as we will demonstrate below, highly pathological solutions can be found for functions $f:ℝ\to ℝ$ based on these linear solutions, by viewing the reals as a vector space over the field of rational numbers. Note, however, that this method is nonconstructive, relying as it does on the existence of a (Hamel) basis for any vector space, a statement proved using Zorn's lemma. (In fact, the existence of a basis for every vector space is logically equivalent to the axiom of choice.) There exist models such as the Solovay model where all sets of reals are measurable which are consistent with ZF + DC, and therein all solutions are linear.

To show that solutions other than the ones defined by $f(x)=f(1)x$ exist, we first note that because every vector space has a basis, there is a basis for $ℝ$ over the field Template:Tmath, i.e. a set $ℬ\subset ℝ$ with the property that any $x\in ℝ$ can be expressed uniquely as Template:Tmath, where $\{x_i{\}}_{i\in I}$ is a finite subset of Template:Tmath, and each ${\lambda }_i$ is in Template:Tmath. We note that because no explicit basis for $ℝ$ over $\mathbb{Q}$ can be written down, the pathological solutions defined below likewise cannot be expressed explicitly.

As argued above, the restriction of $f$ to $x_i\mathbb{Q}$ must be a linear map for each Template:Tmath. Moreover, because $x_{i}q\mapsto f(x_i)q$ for Template:Tmath, it is clear that $f(x_i)/x_i$ is the constant of proportionality. In other words, $f:x_i\mathbb{Q}\to ℝ$ is the map Template:Tmath. Since any $x\in ℝ$ can be expressed as a unique (finite) linear combination of the Template:Tmath, and $f:ℝ\to ℝ$ is additive, $f(x)$ is well-defined for all $x\in ℝ$ and is given by: $$f(x)=f\left(\sum _{i\in I}{\lambda }_i{x}_i\right)=\sum _{i\in I}f(x_i{\lambda }_i)=\sum _{i\in I}f(x_i){\lambda }_i.$$

It is easy to check that $f$ is a solution to Cauchy's functional equation given a definition of $f$ on the basis elements, Template:Tmath. Moreover, it is clear that every solution is of this form. In particular, the solutions of the functional equation are linear if and only if $f(x_i)/x_i$ is constant over all Template:Tmath. Thus, in a sense, despite the inability to exhibit a nonlinear solution, "most" (in the sense of cardinality) solutions to the Cauchy functional equation are actually nonlinear and pathological.

See also

• Template:Annotated link
• Template:Annotated link
• Template:Annotated link
• Template:Annotated link

References

• Template:Cite book
• Template:Cite journal

External links

• Solution to the Cauchy Equation Rutgers University
• The Hunt for Addi(c)tive Monster
• Template:Cite web