Overview

Functional Equation, often abbreviated as FE, is a famous topic in math olympiads nowadays. This page is for those who have no experience with FEs.

resource: https://web.evanchen.cc/handouts/FuncEq-Intro/FuncEq-Intro.pdf

What is functional equation?

Let us define what a function means.

For sets XX and YY, A function is an assignment of a value in YY for each x∈Xx\in X; We write it as f(x)∈Yf(x)\in Y

Almost 90% of the FEs in olympiad goes as follows:

Let XX, YY be sets. Find all functions f ⁣:X→Yf\colon X\rightarrow Y such that (some equation)

Here XX and YY can be anything, but most of the time it's Z>0\mathbb{Z_{>0}}, Z\mathbb{Z}, or R\mathbb{R}.

common mistake

Beginners in FE are often surprised how vast this definition is. Note that ff can be anything as long as it's from AA to BB. Yes, anything. We introduce few common pitfalls about the definition of functions:

  • ff does not need to be a polynomial.
  • ff does not need to be differentiable.
  • ff does not need to be continuous.

So think ff as an arrow rather than a manipulation. And indeed there's some problem that have a "strange" solution which seems like it came out of nowhere. Let us show some examples: some (real olympiad!) problem have solutions with

f(x)={whatever odd if x=11x>1 odd2x>1 even,f(x)= \begin{cases} \text{whatever odd} \qquad \text{ if $x=1$} \\ 1 \qquad \text{$x>1$ odd} \\ 2 \qquad \text{$x>1$ even} \end{cases},
f(n)={n+1n evenn+5n≡1(mod4)n−3n≡3(mod4).,f(n) = \begin{cases} n+1 & n \text{ even} \\ n+5 & n \equiv 1 \pmod 4 \\ n-3 & n \equiv 3 \pmod 4. \end{cases},
f(x)={+1x∉S−1x∈Sf(x) = \begin{cases} +1 & x\notin S \\ -1 & x\in S \end{cases}

where SS is any subset of (−∞,−23)(-\infty, -\frac 23).

These are often called as "monster FE", and we'll cover this in another module.

Still in other words, ff is just an assignment. Some examples are:

  • Once you get f(x)=±xf(x)=\pm x for all x∈Xx\in X, it is possible that a sign changes depending on the value of xx. It might be ∣x∣|x|, or even the third one in the monster example!
  • You get f(x)=xf(x)=x for all x>1x>1, but somehow feel stuck from there. It might suddenly be f(1)=0f(1)=0 works?

Common techniques

From this section we introduce some techniques in FE that is used on most of the problem, step by step .

Guessing the solution

When you solve a typical FE problem, start by guessing the solution. At least plug in f(x)=kx+cf(x)=kx+c and find all linear solutions that works. By doing that, you can have some conjectures and it will be a nice hint solving a problem. (But always expect a monster!)

Pin down some values

After guessing the solution, try pinning down some values (e.g. f(0)=0f(0)=0). This will help you since classical FE problem has usually two or more variables.

Substitution

After that, inserting some special values might be helpful. For example, if you have f(0)=0f(0)=0 and there's a f(x+y)f(x+y) term in the equation, you might do y=−xy=-x to cancel that.

injectivity and surjectivity

Let us introduce new words: In what follows, let f ⁣:X→Yf\colon X\rightarrow Y be a function.

  • A function ff is called injective if f(a)=f(b)  ⟹  a=bf(a)=f(b)\implies a=b for all a,b∈Xa, b\in X. In other words, ff is one-to-one.
  • A function ff is called surjective if for all y∈Yy\in Y there exist x∈Xx\in X such that f(x)=yf(x)=y. Thus, f(x)f(x) passes through every element of YY as xx moves.
  • A function is called bijective if it's both injective and surjective.

To understand this more clearly, consider for an integer mm that X={1,2,…,m}X=\{1, 2, \dots, m\} and Y={1,2,3,4,5}Y=\{1, 2, 3, 4, 5\} for example.

  1. Show that if ff is injective then m≤5m\le 5 and for m=4m=4 give a monster (i.e. random) example of injective ff.
  2. Show that if ff is surjective then m≥5m\ge 5 and similarly give a monster example of surjective ff.
  3. Conclude that if ff is bijective then m=5m=5, thus we must have ∣X∣=∣Y∣|X|=|Y|! (However note that this is not true for infinity sets XX and YY where ∣X∣|X| and ∣Y∣|Y| are not finite.)

More description about injectivity and surjectivity:

  • If ff is injective, it means we can take away ff covered from both sides, e.g. f(f(x)+1)=f(f(x+1)−1)  ⟹  f(x)+1=f(x+1)−1f(f(x)+1)=f(f(x+1)-1)\implies f(x)+1=f(x+1)-1.
  • If ff is surjective, it is useful to assume that f(u)=0f(u)=0 (or 11 or whateve looks useful) for some uu. Sometimes it cancels out a lot of things by inserting uu.

Example 1 - Involution function

Since FE is quite difficult to get a sense of it, we'll give an easy (but notable!) walkthrough first.

  • A function f ⁣:R→Rf\colon \mathbb R\rightarrow \mathbb R satisfies f(f(x))=xf(f(x))=x for all x∈Rx\in \mathbb R. Show that ff is bijective.

These ff are called an involution and it sometimes appears in a solution.

I recommend to solve this (and any example problems) before looking the solution.

Solution 1 - Involution function

First, we have ff injective; assume that a,b∈Ra, b\in \mathbb R with f(a)=f(b)f(a)=f(b). Then we have

a=f(f(a))=f(f(b))=ba=f(f(a))=f(f(b))=b

as needed. To show that ff is surjective, note that RHS moves over R\mathbb R so ff does as well.

Example 2

TODO

Practice Problems

StatusSourceProblem NameDifficultyTags
BeneluxNormal
Show TagsFE
PAGMOhard
Show TagsFE
IMO shortlisthard
Show TagsFE
Berkeley Math CircleHard
Show TagsFunctional Equations, Induction / smoothing
Berkeley Math Circle: Monthly Contest 7Hard
Show TagsFunctional Equations, Simple Equations
Berkeley Math CircleHard
Show TagsFunctional Equations, Quadratic functions
Berkeley Math CircleHard
Show TagsFunctional Equations, Polynomial operations
Berkeley Math Circle Monthly Contest 3Hard
Show TagsExistential quantifiers, Functional Equations
Berkeley Math Circle Monthly Contest 6Hard
Show TagsFunctional Equations, Recurrence relations
Berkeley Math CircleHard
Show TagsFunctional Equations
Berkeley Math Circle Monthly Contest 1Hard
Show TagsFunctional Equations, Induction / smoothing, Injectivity / surjectivity
Berkeley Math Circle: Monthly Contest 6Hard
Show TagsFunctional Equations, Polynomials, Recurrence relations
Berkeley Math Circle Monthly Contest 4Hard
Show TagsFunctional Equations, Induction / smoothing
Berkeley Math Circle Monthly Contest 8Hard
Show TagsFunctional Equations, Recurrence relations
Harvard-MIT Mathematics TournamentHard
Show TagsFunctional Equations
HMMT 1998Hard
Show TagsFunctional Equations
Harvard-MIT Math TournamentHard
Show TagsFunctional Equations
Berkeley Math Circle Monthly Contest #1Hard
Show TagsFunctional Equations
Harvard-MIT Math TournamentHard
Show TagsFunctional Equations
USA IMO 2003Hard
Show TagsFunctional Equations
Harvard-MIT Mathematics TournamentHard
Show TagsFunctional Equations, Linear and quadratic inequalities
Harvard-MIT Mathematics TournamentHard
Show TagsFunctional Equations, Simple Equations

Module Progress:

Join the Discord Community!

Stuck on a problem, or don't understand a module? Join the Discord and get help with your doubts while making more math friends.