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 and , A function is an assignment of a value in for each ; We write it as
Almost 90% of the FEs in olympiad goes as follows:
Let , be sets. Find all functions such that (some equation)
Here and can be anything, but most of the time it's , , or .
common mistake
Beginners in FE are often surprised how vast this definition is. Note that can be anything as long as it's from to . Yes, anything. We introduce few common pitfalls about the definition of functions:
- does not need to be a polynomial.
- does not need to be differentiable.
- does not need to be continuous.
So think 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
where is any subset of .
These are often called as "monster FE", and we'll cover this in another module.
Still in other words, is just an assignment. Some examples are:
- Once you get for all , it is possible that a sign changes depending on the value of . It might be , or even the third one in the monster example!
- You get for all , but somehow feel stuck from there. It might suddenly be 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 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. ). 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 and there's a term in the equation, you might do to cancel that.
injectivity and surjectivity
Let us introduce new words: In what follows, let be a function.
- A function is called injective if for all . In other words, is one-to-one.
- A function is called surjective if for all there exist such that . Thus, passes through every element of as moves.
- A function is called bijective if it's both injective and surjective.
To understand this more clearly, consider for an integer that and for example.
- Show that if is injective then and for give a monster (i.e. random) example of injective .
- Show that if is surjective then and similarly give a monster example of surjective .
- Conclude that if is bijective then , thus we must have ! (However note that this is not true for infinity sets and where and are not finite.)
More description about injectivity and surjectivity:
- If is injective, it means we can take away covered from both sides, e.g. .
- If is surjective, it is useful to assume that (or or whateve looks useful) for some . Sometimes it cancels out a lot of things by inserting .
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 satisfies for all . Show that is bijective.
These 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 injective; assume that with . Then we have
as needed. To show that is surjective, note that RHS moves over so does as well.
Example 2
TODO
Practice Problems
| Status | Source | Problem Name | Difficulty | Tags | ||
|---|---|---|---|---|---|---|
| Benelux | Normal | Show TagsFE | ||||
| PAGMO | hard | Show TagsFE | ||||
| IMO shortlist | hard | Show TagsFE | ||||
| Berkeley Math Circle | Hard | Show TagsFunctional Equations, Induction / smoothing | ||||
| Berkeley Math Circle: Monthly Contest 7 | Hard | Show TagsFunctional Equations, Simple Equations | ||||
| Berkeley Math Circle | Hard | Show TagsFunctional Equations, Quadratic functions | ||||
| Berkeley Math Circle | Hard | Show TagsFunctional Equations, Polynomial operations | ||||
| Berkeley Math Circle Monthly Contest 3 | Hard | Show TagsExistential quantifiers, Functional Equations | ||||
| Berkeley Math Circle Monthly Contest 6 | Hard | Show TagsFunctional Equations, Recurrence relations | ||||
| Berkeley Math Circle | Hard | Show TagsFunctional Equations | ||||
| Berkeley Math Circle Monthly Contest 1 | Hard | Show TagsFunctional Equations, Induction / smoothing, Injectivity / surjectivity | ||||
| Berkeley Math Circle: Monthly Contest 6 | Hard | Show TagsFunctional Equations, Polynomials, Recurrence relations | ||||
| Berkeley Math Circle Monthly Contest 4 | Hard | Show TagsFunctional Equations, Induction / smoothing | ||||
| Berkeley Math Circle Monthly Contest 8 | Hard | Show TagsFunctional Equations, Recurrence relations | ||||
| Harvard-MIT Mathematics Tournament | Hard | Show TagsFunctional Equations | ||||
| HMMT 1998 | Hard | Show TagsFunctional Equations | ||||
| Harvard-MIT Math Tournament | Hard | Show TagsFunctional Equations | ||||
| Berkeley Math Circle Monthly Contest #1 | Hard | Show TagsFunctional Equations | ||||
| Harvard-MIT Math Tournament | Hard | Show TagsFunctional Equations | ||||
| USA IMO 2003 | Hard | Show TagsFunctional Equations | ||||
| Harvard-MIT Mathematics Tournament | Hard | Show TagsFunctional Equations, Linear and quadratic inequalities | ||||
| Harvard-MIT Mathematics Tournament | Hard | 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.
