Functional Equations

A functional equation is an equation in which the unknown is not a number but an entire function. Instead of asking 'what value of x satisfies this equation?', we ask 'what function f satisfies this equation for all valid inputs?' For example, the equation f(x + y) = f(x) + f(y) must hold for every pair of real numbers x and y — and we need to figure out which functions f could possibly make that true. Functional equations appear throughout mathematics and its applications. They arise naturally when describing physical symmetries, probability distributions, and number-theoretic identities. Famous examples include Cauchy's functional equation f(x + y) = f(x) + f(y), whose continuous solutions are exactly the linear functions f(x) = cx, and the exponential equation f(x + y) = f(x)·f(y), whose continuous solutions are f(x) = a^x. Understanding functional equations builds deep intuition about what it means to define a function by its properties rather than by an explicit formula. Solving a functional equation typically involves three stages: finding candidate solutions by making clever substitutions for the variables, verifying that those candidates actually satisfy the original equation, and proving that no other solutions exist. This article introduces the key techniques at the high school level, including substitution strategies and checking boundary conditions.

Key takeaways
  • Understand the domain and codomain
  • Substitute special values
  • Identify a pattern or form
  • Verify the candidate solution
  • Argue uniqueness (if required)

Understand the domain and codomain

Before substituting anything, identify what inputs and outputs are allowed. Does f map real numbers to real numbers? Integers to integers? This matters because, for example, Cauchy's equation has wild non-linear solutions over the rationals with no continuity constraint, but only linear solutions when continuity is assumed.

Substitute special values

Plug in simple values like x = 0, y = 0, or x = y to reduce complexity. For instance, in f(x + y) = f(x) + f(y), setting x = 0 and y = 0 gives f(0) = 2f(0), so f(0) = 0. Setting y = −x gives f(0) = f(x) + f(−x), so f(−x) = −f(x): the function must be odd.

Identify a pattern or form

Use your results from special values to guess the general form. After showing f(0) = 0 and f(−x) = −f(x), one can prove by induction that f(nx) = n·f(x) for all integers n, then for rationals, and finally for all reals if continuity is assumed. This forces f(x) = f(1)·x = cx, a linear function through the origin.

Verify the candidate solution

Always substitute your proposed answer back into the original equation to confirm it works. For f(x) = cx: f(x + y) = c(x + y) = cx + cy = f(x) + f(y). ✓ Do not skip this step — a plausible-looking function may fail to satisfy the equation.

Argue uniqueness (if required)

Show that the solution you found is the only one under the given constraints. Common arguments use monotonicity, continuity, or induction. If the problem asks only to 'find all functions', you must either prove uniqueness or exhibit all distinct solution families.

The Key Equation

f(xy)=f(x)+f(y)f(xy) = f(x) + f(y)
  • f — unknown function (none): The function we are trying to determine; defined on positive reals in the typical version.
  • x, y — independent variables (none): Arbitrary positive real numbers; the equation must hold for every valid pair (x, y).
  • f(xy) — output at product (none): f evaluated at the product of x and y; the left-hand side of the equation.
  • f(x) + f(y) — sum of outputs (none): The sum of f evaluated separately at x and at y; this is the defining property of logarithms.

Worked Example

Problem. Find all functions f : ℝ → ℝ satisfying f(x + y) = f(x) + f(y) + 2xy for all real numbers x and y, given that f is continuous.

f(x)=x2+cx,c∈Rf(x) = x^2 + cx, \quad c \in \mathbb{R}

Answer. f(x) = x² + cx for any constant c ∈ ℝ

Figure
Diagram
xy02-2-11-1-2-3c=2c=0c=-2f(x) = x² + cx for various c
Origins · 1 minAugustin-Louis Cauchy and how this was discovered
AC
Augustin-Louis Cauchy
1789–1857 · French

Cauchy systematically studied the functional equation f(x + y) = f(x) + f(y) in the early 19th century, proving that its only continuous solutions are the linear functions f(x) = cx. This equation now bears his name: Cauchy's functional equation. His rigorous treatment of continuity and limits in analysis laid the groundwork for all modern calculus courses. Cauchy was extraordinarily prolific — he published nearly 800 research papers, second only to Euler in total output. His collected works fill 27 large volumes.

  • Definition of a Function — Functional equations are about finding functions, so a solid understanding of what a function is — its domain, codomain, and rule — is an essential prerequisite.
  • Composite Functions — Many functional equations involve f(f(x)) or f(g(x)), making fluency with function composition necessary to manipulate and solve them.
  • Properties of Logarithms — The logarithm is the canonical solution to f(xy) = f(x) + f(y), one of the most important functional equations, connecting this topic directly to logarithm rules.
  • Exponential Functions — Exponential functions f(x) = a^x are the solutions to f(x + y) = f(x)·f(y), making them a central example in the study of functional equations.
  • Mathematical Induction — Proving that a functional equation's solution extends from special cases (like integer inputs) to all real numbers relies on induction arguments.