I will write a bit about the history of functional equations, their importance in mathematics and discuss the well-known Cauchy’s functional equation and some related solutions. We will also explore a few more functional equations that are somewhat related to Cauchy’s.
But, let us first discuss Cauchy’s functional equation.
Our goal is to determine . Now, notice that nothing is said about the domain or the range of . So, equation is quite general. Its solution will vary depending on what domain/range we pick for . So, let’s see how much information we can “extract” from without too many additional assumptions. (We will be using purely elementary methods here.)
Our first assumption is as follows.
Here, we restrict our domain to the set of integers and the co-domain to the set of reals. Setting yields , which implies And, setting , we obtain , or , which, of course, means is an odd function. It also means that it is enough to determine for
Now, notice that putting , we get . And, putting , we get Similarly, . The pattern is now evidently clear. A simple induction shows that
for all .
And, in particular, if is some real, then we can write our solution as
for all .
The above, therefore, is our solution to Cauchy’s functional equation under the stated assumption.
Now, what if we tweak our assumption a little bit? So, here’s our second assumption.
It turns out that the solution in this case is exactly the same as in , i.e. the solution is
for all .
Here’s why. Suppose is some non-zero rational number, where . Then, , which implies , or , which yields . And, we are done.
So, we conclude that if the domain of is the set of rationals (or integers), then the solution is simply , where is some real number. Here, we assume that the co-domain is . Now, it is natural to ask, “Can this be true if the domain is the set of reals?”. It turns out that the answer is NO. To extend the result to the set of reals, we need some additional assumption. In fact, for all if we assume any one of the following:
- is continuous (which was weakened by Darboux who proved that continuity of at a single point is sufficient.)
- is monotonic on some interval.
- is bounded on some interval.
I will discuss the above in my next post.