Mathwords logoMathwords

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(g1(x)),f(g2(x)),…)=0F(x, f(x), f(g_1(x)), f(g_2(x)), \ldots) = 0 that must hold for all xx in a specified domain, where ff is the unknown function and g1,g2,…g_1, g_2, \ldots are given transformations of xx. A solution is any function ff 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=0x = 0, swapping variables, or assuming a general form like f(x)=ax+bf(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)  ⟹  f(0)=0f(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),n∈Zf(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)=cxfor all x∈Rf(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)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.

Related Terms