Functional Equation — Definition, Formula & Examples

A functional equation is an equation in which the unknown quantity is a function rather than a number. You solve it by finding all functions that satisfy the given relationship for every value in the domain.

A functional equation is an equation of the form $F(x, f(x), f(g_1(x)), f(g_2(x)), \ldots) = 0$ that must hold for all $x$ in a specified domain, where $f$ is the unknown function and $g_1, g_2, \ldots$ are given transformations of $x$ . A solution is any function $f$ satisfying the equation identically.

How It Works

To solve a functional equation, you typically substitute strategic values of the variable to reveal structure. Common techniques include setting

x = 0

, swapping variables, or assuming a general form like

f(x) = ax + b

and determining the constants. Some functional equations have unique solutions; others admit entire families of solutions depending on regularity conditions such as continuity or monotonicity.

Worked Example

Problem: Find all functions f: ℝ → ℝ satisfying f(x + y) = f(x) + f(y) for all real x, y (Cauchy's functional equation), assuming f is continuous.

Step 1: Set x = y = 0: Substituting x = 0 and y = 0 gives f(0) = 2f(0), so f(0) = 0.

f(0+0) = f(0) + f(0) \implies f(0) = 0

Step 2: Show f(nx) = nf(x) for integers: By induction, f(x + x) = 2f(x), f(3x) = 3f(x), and in general f(nx) = nf(x) for all positive integers n. Extending to negative integers using f(x) + f(-x) = f(0) = 0 gives f(nx) = nf(x) for all integers.

f(nx) = n\,f(x), \quad n \in \mathbb{Z}

Step 3: Extend to rationals and use continuity: Setting x = p/q shows f(p/q) = (p/q)f(1) for all rationals. Let c = f(1). Since f is continuous and f(r) = cr for all rationals, density of the rationals in ℝ forces f(x) = cx for all real x.

f(x) = cx \quad \text{for all } x \in \mathbb{R}

Answer: Every continuous solution is f(x) = cx for some constant c ∈ ℝ.

Why It Matters

Functional equations appear throughout analysis, number theory, and mathematical olympiads. Cauchy's equation underpins the theory of linear maps, while equations like

f(xy) = f(x) + f(y)

characterize logarithms. They also arise in probability theory and information theory when deriving entropy functions axiomatically.

Common Mistakes

Mistake: Assuming the solution must be a specific form (e.g., polynomial) without justification.

Correction: A functional equation may have pathological or unexpected solutions. You must either prove uniqueness from the equation alone or explicitly state regularity assumptions (continuity, measurability, monotonicity) that restrict the solution set.