Functional Equations - Andrei Jorza - MOP (Red)
Functional Equations - Andrei Jorza - MOP (Red)
Functional Equations - Andrei Jorza - MOP (Red)
Please
look over the ideas presented in the beginning of each chapter, and if you
have time then please look at the problems.
Functional Equations
Lecturer - Andrei Jorza
Red Group
Functional equations are quite popular at the IMO and other international math olympiads
but there is no generalized method for solving them. However, there are quite a few ideas
that are very useful.
Ideas
2. When you get to a functional equation of type, e.g. f (x3 ) = f 3 (x) or f (x3 ) = x2 f (x)
a good trick is to replace x by x + y. If we have additivity then this is very useful.
Remember USAMO 2002 problem 4?
4. In the case of idempotent functions we can see that for any x ∈ Imf we have that
f (x) = x. In this case the surjectivity of the function is important.
6. When you get to the relation f 2 (x) = x2 do not conclude that f = x or f = −x.
Rather, this implies that f (x) = x for x ∈ E and f (x) = −x for x ∈ R \ E. From here
on assume there are x, y so that f (x) = x, f (y) = −y.
7. In some problems, where the functional equation involves x and y if we set y = x then
we get an equation of type f (g(x)) = g(x). The problem will be solved if we can prove
that f has at most one fixed point.
1
Problems
Real Functions
1. Find all f : R −→ R so that for all real x, y we have f (xf (x) + f (y)) = f 2 (x) + y.
(BMO 2000)
2. Find all f : R −→ R so that for all real x, y we have f (x2 + f (y)) = f 2 (x) + y. (IMO
1992)
3. Find f : (0, ∞) −→ (0, ∞) so that for all positive real x, y we have f (xf (y)) = yf (x)
and when x tends to ∞ then f (x) tends to 0. (IMO 1983)
4. Find f : (−1, ∞) −→ (−1, ∞) so that for all real x and y in (−1, ∞) we have
and f (x)/x is increasing on each of (−1, 0) and (0, ∞). (IMO 1994)
5. Find the function f : [0, ∞) −→ [0, ∞) so that f (2) = 0 and f (x) 6= 0 for x ∈ [0, 2).
Also for all nonnegative reals x, y we have f (xf (y))f (y) = f (x + y). (IMO 1986)
Integer Functions
Integer functional equations ususally have different methods of approach than the real
ones. We still have same ideas that we want to use, such as idempotence and unipotence.
However, sometimes we need to rely on the special properties of the integers (and rationals).
1. One very important property is the uniqueness of decomposition into prime factors.
This property also extends to rationals if we allow negative powers as well.
2. Another quite important method used is writing numbers in bases different from base
10. Most often this different base is base 2.
Problems
(Shortlist 1996)
2. Prove that there exists a function f : Q∗+ −→ Q∗+ so that for all positive rationals x
and y we have
f (x)
f (xf (y)) =
y
(IMO 1993)
2
4. Let S be the set of non-negative integers. Find all functions f : S −→ S so that
f (2n) = f (n)
f (4n + 1) = 2f (2n + 1) − f (n)
f (4n + 3) = 3f (2n + 1) − 2f (n)
3
Homework
1. Let f : R −→ R so that for any two real numbers x and y we have f (x+y) = f (x)+f (y)
and f (xy) = f (x)f (y). Find f .
Hint: Use the properties of the Cauchy functional equations.
2. Prove that there is no bijection from the positive integers to the nonnegative integers
so that for all positive integers m, n we have
(BMO 1991)
Hint: Look at problem 1 from Integer Functions.
3. Let f : [0, 1) ∩ Q −→ [0, 1) ∩ Q so that if x < 1/2 then f (x) = f (2x)/4 and if x ≥ 1/2
then f (x) = (3 + f (2x − 1))/4.
Hint: Look at problem 5 from Integer Functions
4. Let a ∈ R. Find all f : R −→ R so that f (0) = 1/2 and for all real x, y we have
f (x + y) = f (x)f (a − y) + f (a − x)f (y). (BMO 1987)
Hint: Prove that the function is a constant one.
(IMO 1999)
2. Find the smallest value of f (1998) when f : N −→ N and for all natural numbers m, n
we have
f (n2 f (m)) = mf 2 (n)
(Shortlist 1998)
f (f (m) + f (n)) = m + n