Iteration
Some functional equations involve repeated application of the function, such as
or even longer chains.
This is called iteration.
Example
Find all functions such that
and
for all real numbers .
The first equation says that applying twice increases the input by .
If we guess that is linear, say
then
We need
As such
If , then
Then
so .
This gives
If , then
Then
which does not work.
So the natural linear solution is
Substitution confirms that it satisfies both equations.
Symmetry
Many functional equations contain two variables and remain similar after swapping them.
For example, if an equation holds for all and , then it also holds after exchanging and .
Example
Find all functions such that
and
for all real numbers and .
Set in the first equation:
so
Set in the second equation:
If there exists some with , then
Now set in the first equation:
Also by repeated addition,
for all positive integers .
This example shows how combining equations and simple substitutions can build information in increments.
A full classification over the real numbers requires more care, but contest problems often include enough restrictions to force the intended solution.
Guess and Verify
In many intermediate problems, the solution is a simple function such as:
or
It is often useful to guess a possible form, substitute it into the equation, and then prove that no other functions work.
Example
Find all linear functions such that
for all real numbers and .
Assume
Then
On the other hand,
Thus
So
There is no restriction on , so all linear solutions are
Substitution confirms that all such functions work.
Worked Examples
Example 1
Find all functions such that
for all real numbers and .
Set :
Let
Then
So the only possible functions are
Substituting back:
and
They are equal, so every function
works.
Example 2
Find all functions such that
and , assuming is linear.
Since is linear, write
Set in the functional equation:
so
So
Since
we get
Therefore,
Substitution confirms that this function works.
Example 3
Find all functions satisfying
and
for all real numbers .
The second equation gives
Now check the first equation:
So
works.
Example 4
Find all functions such that
for all real numbers and .
Set :
This tells us that takes every value of the form , which is every real number. So is surjective.
It also tells us that is injective, if , then , so , giving , hence .
Now set :
Since is injective, we can remove from both sides:
For all , this gives .
Set again, . Setting : , so , which is consistent.
Now guess . Then and . These match, so is a solution.
To confirm uniqueness, from we have . Setting gives , so (since is injective and ), meaning . Continuing with specific substitutions, one can show , then for all integers, extend to rationals, and use monotonicity (which follows from the original equation) to conclude for all real .
This example combines multiple techniques, one substitution gives surjectivity and injectivity, another uses injectivity to remove and find , and guess and verify is used to complete it.
Key Contest Insight
Functional equations are usually solved by building information gradually.
A typical solution does not usually come from only one substitution. Instead, you collect facts such as:
- the value of ,
- whether is injective,
- whether is surjective,
- how behaves at special inputs,
- and whether the equation suggests a linear or constant form.
Once a candidate function is found, always substitute it back into the original equation to verify that it works.
Strategy Tips
- Start with simple substitutions such as , , , and .
- Check whether the domain allows your substitution.
- Try to find and early.
- If you see , consider proving injectivity.
- If every value can be written as , use surjectivity.
- If the equation contains , think about iteration.
- If a simple function seems likely, guess it, test it, and then prove it is forced.
- Always verify all proposed solutions.
Common Pitfalls
- Substituting values that are not in the domain.
- Assuming the function is continuous or linear when this is not stated.
- Proving that a function is possible but forgetting to prove uniqueness.
- Forgetting to substitute the final answer back into the original equation.
- Cancelling or applying injectivity before it has been proved.
- Ignoring constant solutions.
Practice Problems
| Status | Source | Problem Name | Difficulty | Tags | ||
|---|---|---|---|---|---|---|
| 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 | ||||
| Harvard-MIT Mathematics Tournament | Hard | Show TagsFunctional Equations | ||||
| Harvard-MIT Mathematics Tournament | Hard | Show TagsFunctional Equations | ||||
| Harvard-MIT Mathematics Tournament | Hard | Show TagsFunctional Equations | ||||
| Harvard-MIT Mathematics Tournament | Hard | Show TagsFunctional Equations | ||||
| 1st Annual Harvard-MIT November Tournament | Hard | Show TagsFunctional Equations | ||||
| IMO 2008 | Hard | Show TagsFunctional Equations | ||||
| 11th Annual Harvard-MIT Mathematics Tournament | Hard | Show TagsFunctional Equations | ||||
| Harvard-MIT Mathematics Tournament | Hard | Show TagsFunctional Equations | ||||
| 13th Annual Harvard-MIT Mathematics Tournament | Hard | Show TagsFunctional Equations, Polynomial operations | ||||
| Harvard-MIT November Tournament | Hard | Show TagsFunctional Equations, Recurrence relations | ||||
| Harvard-MIT November Tournament | Hard | Show TagsFunctional Equations | ||||
| Harvard-MIT Mathematics Tournament | Hard | Show TagsFunctional Equations | ||||
| Harvard-MIT Mathematics Tournament | Hard | Show TagsFunctional Equations | ||||
| Team Selection Test Selection Test | Hard | Show TagsFunctional Equations | ||||
| 15th Annual Harvard-MIT Mathematics Tournament | Hard | Show TagsFunctional Equations, Polynomial operations | ||||
| Harvard-MIT Mathematics Tournament | Hard | Show TagsExponential functions, Functional Equations, Logarithmic functions | ||||
| HMIC | Hard | Show TagsFunctional Equations, Injectivity / surjectivity | ||||
| Berkeley Math Circle Monthly Contest 4 | Hard | Show TagsFunctional Equations, Induction / smoothing, Polynomial operations, Sums and products | ||||
| Berkeley Math Circle Monthly Contest 4 | Hard | Show TagsComplex numbers, Functional Equations, Recurrence relations, Roots of unity | ||||
| HMMT 2014 | Hard | Show TagsFunctional Equations, Recursion, bijection | ||||
| IMO Team Selection Team Selection Test | Hard | Show TagsFunctional Equations | ||||
| HMMT November 2014 | Hard | Show TagsFunctional Equations | ||||
| HMMT February | Hard | Show TagsFactorization techniques, Functional Equations, QM-AM-GM-HM / Power Mean | ||||
| HMMT November 2015 | Hard | Show TagsFunctional Equations, Greatest common divisors (gcd), Recurrence relations | ||||
| HMMT November 2015 | Hard | Show TagsFunctional Equations, Logarithmic functions | ||||
| HMMT November | Hard | Show TagsFunctional Equations, Recurrence relations | ||||
| Berkeley Math Circle: Monthly Contest 2 | Hard | Show TagsFunctional Equations | ||||
| Berkeley Math Circle: Monthly Contest 2 | Hard | Show TagsFunctional Equations | ||||
| February 2017 | Hard | Show TagsFunctional Equations | ||||
| USA TSTST | Hard | Show TagsDivisibility / Factorization, Functional Equations, Polynomials | ||||
| HMMT November 2019 | Hard | Show TagsFunctional Equations | ||||
| HMMT February 2019 | Hard | Show TagsFunctional Equations | ||||
| HMMT February 2019 | Hard | Show TagsFunctional Equations, Recurrence relations | ||||
| Berkeley Math Circle: Monthly Contest 6 | Hard | Show TagsFunctional Equations | ||||
| HMMT February 2019 | Hard | Show TagsFunctional Equations, Recursion, bijection | ||||
| Bay Area Mathematical Olympiad | Hard | Show TagsColoring schemes, extremal arguments, Functional Equations, Invariants / monovariants | ||||
| USA TSTST | Hard | Show TagsFunctional Equations | ||||
| Berkeley Math Circle: Monthly Contest 5 | Hard | Show TagsFunctional Equations | ||||
| HMMT February 2020 | Hard | Show TagsFunctional Equations | ||||
| HMMT Spring 2021 Guts Round | Hard | Show TagsFunctional Equations, Recurrence relations | ||||
| USAJMO | Hard | Show TagsFunctional Equations, Other | ||||
| HMMT November 2022 | Hard | Show TagsFunctional Equations | ||||
| HMMT November 2022 | Hard | Show TagsFunctional Equations, Sums and products | ||||
| Berkeley Math Circle | Hard | Show TagsFunctional Equations, Injectivity / surjectivity | ||||
| HMMT February 2022 | Hard | Show TagsFunctional Equations, Symmetric functions | ||||
| HMIC 2023 | Hard | Show TagsFunctional Equations, Injectivity / surjectivity | ||||
| HMMT February | Hard | Show TagsFunctional Equations, Polynomial operations, Quadratic functions | ||||
| HMMT February | Hard | Show TagsComplex numbers, Functional Equations, Polynomial operations | ||||
| HMMT November | Hard | Show TagsFunctional Equations, Integers | ||||
| USA TST Selection Test for 67th IMO and 15th EGMO | Hard | Show TagsExistential quantifiers, Functional Equations | ||||
| United States of America — TST Selection Test | Hard | Show TagsFloors and ceilings, Functional Equations, Jensen / smoothing | ||||
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.
