Cauchy's functional equation
Cauchy's functional equation is the functional equation
Solutions to this are called additive functions. Over the rational numbers, it can be shown using elementary algebra that there is a single family of solutions, namely f(x) = cx for any arbitrary rational number c. Over the real numbers, this is still a family of solutions; however there can exist other solutions that are extremely complicated. Further constraints on f sometimes preclude other solutions, for example:
- if f is continuous (proven by Cauchy in 1821). This condition was weakened in 1875 by Darboux who showed that it was only necessary for the function to be continuous at one point.
- if f is monotonic on any interval.
- if f is bounded on any interval.
On the other hand, if no further conditions are imposed on f, 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 such that 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 3-D to higher dimensions.
Proof of solution over rationals
We wish to prove that is a solution to Cauchy's functional equation, .
Case 1: q=0
Case 2: q>0
By repeated application of Cauchy's equation to :
Replacing by , and multiplying by :
By the first equation:
Case 3: q<0
Combining this with the result from case 2:
Replacing -q with q:
Properties of other solutions
We prove below that any other solutions must be highly pathological functions. In particular, we show that any other solution must have the property that its graph is dense in , i.e. 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.
Suppose without loss of generality that , and for some .
Then put .
We now show how to find a point in an arbitrary circle, centre , radius where .
Put and choose a rational number close to with:
Then choose a rational number close to with:
Then using the functional equation, we get:
Because of our choices above, the point is inside the circle.
Proof of the existence of other solutions
The linearity proof given above also applies to any set , a scaled copy of the rationals. We can use this to find all solutions to the equation. Note that this method is highly non-constructive, relying as it does on the axiom of choice.
If we assume the axiom of choice, there is a basis for the reals over i.e. a set such that for every real number there is a unique finite set and sequence in such that:
By the argument above, on each copy of the rationals, , must coincide with a linear map, say with constant of proportionality g(x). In other words, f(y) = g(x)y for every y which is a rational multiple of x. Then by use of the decomposition above and repeated application of the functional equation, we can obtain the value of the function for any real number:
f(z) is a solution to the functional equation for any , and every solution is of this form. f is linear if and only if g is constant.
- Kuczma (2009), p.130
- V.G. Boltianskii (1978) "Hilbert's third problem", Halsted Press, Washington