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.

### Like this:

Like Loading...

*Related*

## Leave a comment

Comments feed for this article