The last month I asked to Nataliia who participated in IMO-2015: Which is your favorite topic in math contest?. Then she told me: “Functional equations”, so I decided to make a post about it with her support (Thank you Nataliia!).

Definition

Functional equations are kind equations where the unknowns are the functions, mostly it gives us information about the functions whom are important to solve the problem given, let’s see this better with an example:

Determine all the functions such that:

The problem give us:

Domain and CoDomain:

The main functional equation:

Sometimes, it can provide us values of at some number.

Now, WLOG assume , otherwise let , putting we get Substituting in the main equation we get , so the answer is

Methods for solving Functional equations:

As you can see we can use a lot methods for solving functional equations, let’s listing some of them.

Mathematical induction: We use the value to find all (for integer). After we find and for rational . This method is used mostly when the function is defined on .

Looking for injectivity or surjectivity of functions involved in the equation: If the function is injective, we can get an equality and conclude that: . If the function is surjective, there will be a constant such that .

Looking for the monotonicity and continuity of function: Sometimes the continuity is given as additional condition and the monotonicity is usually for reducing the problem. Actually if the function is periodic, that could help us a lot.

Making recurrent relations: If the range of the function is bounded, maybe we can be able to find a relationship between .

Expressing function as sums of odd and even: This could be help in treat some linear functional equations.

Treating numbers in a system with basis different than 10: Only we can use this if the domain is .

Cauchy equation

Now, let’s focus in the equation , which is called The Cauchy equation, there are a lot problems which can solved by this method. If a function satisfies any of the conditions:

  • Monotonicity on some interval of the real line.
  • Continuity at least 1 point.
  • Bounedness on some interval.
  • Positivity on the ray .

Then the general solution to the Cauchy equation has to be . The following equations can be reduced to the Cauchy equation.

  • All continuous functions satisfying are of the form . Namely the function is continuous and satisfies the Cauchy equation.

  • All continuous functions satisfying are of the form . Now the function is continuous and satisfies the Cauchy equation.

  • All continuous functions satisfying are , where and . Indeed the function is continuous and satisfies the Cauchy equation.

Let’s see some examples:

- Find all the functions that satisfy

First, let’s putting , then we get: .

Putting , we get: , where , the original equation can be written as:

In this way, we express in terms of .

Now, Do you remember the method expressing function as sums of odd an even? Well, we can use here: , furthermore we write the same expressions for , then

If we set and we add it to the last equation:

Using Mathematical induction yields . Similar method gives the relation for :

This is a Cauchy equation hence . Thus and substituting for we get:

- (IMO 2015) Let be the set of real numbers. Determine all functions that satisfy the equation, for all real numbers .

- Find all functions such that:

The equation can be written as:

We say that is periodic, and every is its period. We equal , which satisfies the initial equation, otherwise, takes the value of the form , where is a positive integer and the minimal non-zero period of .

Hence the natural such that we have

The LHS is equal to for some natural , which yields

The period of the function depends of , hence any real number can be the period, then the function is constant. So, the solutions are

Well, there a lot of fun in solving functional equations. I found the following question on MathExchange, so it’s a good idea if you check out: Continuous function such that ?

If you are interested in practice some problems, you can find a list here.