Functional equation


In mathematics, a functional equation is any equation in which the unknown represents a function.
Often, the equation relates the value of a function at some point with its values at other points. For instance, properties of functions can be determined by considering the types of functional equations they satisfy. The term functional equation usually refers to equations that cannot be simply reduced to algebraic equations or differential equations.

Examples

One feature that all of the examples listed above share in common is that, in each case, two or more known functions are inside the argument of the unknown functions to be solved for.
When it comes to asking for all solutions, it may be the case that conditions from mathematical analysis should be applied; for example, in the case of the Cauchy equation mentioned above, the solutions that are continuous functions are the 'reasonable' ones, while other solutions that are not likely to have practical application can be constructed. The Bohr–Mollerup theorem is another well-known example.

Solution

Solving functional equations can be very difficult, but there are some common methods of solving them. For example, in dynamic programming a variety of successive approximation methods are used to solve Bellman's functional equation, including methods based on fixed point iterations. Some classes of functional equations can be solved by computer-assisted techniques.
A main method of solving elementary functional equations is substitution. It is often useful to prove surjectivity or injectivity and prove oddness or evenness, if possible. It is also useful to guess possible solutions. Induction is a useful technique to use when the function is only defined for rational or integer values.
A discussion of involutory functions is topical. For example, consider the function
Composing with itself gives Babbage's functional equation,
Several other functions also satisfy the functional equation
including
which includes the previous three as special cases or limits.
Example 1. Find all functions that satisfy
for all, assuming ƒ is a real-valued function.
Let = = 0,
So ƒ2 = 0 and ƒ = 0.
Now, let = −,
A square of a real number is nonnegative, and a sum of nonnegative numbers is zero iff both numbers are 0.
So ƒ2 = 0 for all and is the only solution.