Functional Equations
Functional equations are equations where the unknowns are functions, rather than a traditional variable. However, the methods used to solve functional equations can be quite different than the methods for isolating a traditional variable.
Each functional equation provides some information about a function or about multiple functions. For example, is a functional equation. Here, is a function and we are given that the difference between any two output values is equal to the difference between the input values. satisfies the above functional equation, and more generally, so does , for all constants .
Contents
Introduction
Try to guess a solution (not necessarily all solutions) of the following functional equations:
.
The first one can remind you of . The second functional equation reminds us of the exponential function, i. e. where is a known value. The third should remind you of the logarithmic function. The fourth one is a famous functional equation named Cauchy's functional equation. It reminds us of . Finally, the last one reminds us of the tan function.
Note that it is not necessary for any of the above functions to be the functions that we specified. It is important to note that one must assume continuity of the above functions if we want them to be the ones that we said in the previous paragraph. More on this will be learned later. To give a simple counterexample, has the solution and when .
Nevertheless, it is highly important that you recognize common/straightforward functions once you see them. But it is necessary to understand that the most common and straightforward solutions aren't necessarily the only solutions.
Two important things that we have glossed over in the above examples are the domain and the codomain of the functions. We have assumed that they are defined over the reals, and give real outputs, but that isn't necessary. The domain and codomain can be basically anything you want, and the function may change due to changes in domain and codomain.
Find all functions such that
In the above problem, we see three of the most common things mentioned in functional equation problems:
- the domain and codomain
- the value of at some number(s)
- the main functional equation(s).
Examples of Functional Equations
If , then what is
Set then . Substitute this into to get Hence
is a function satisfying the following conditions:
- for some within the given domain
Find all such functions.
Let us look at the conditions one by one. The first one basically tells us that the function only accepts positive integer values and always outputs positive integers. The second one should remind you of the AM-GM inequality. Let be the positive integer for which the equality is true. Applying AM-GM, we get
But since we have Therefore, the above inequalities are actually equalities. Hence, for equality to hold, we must have . Substituting this in the third condition gives for all . Finally, note that .
Therefore the function is for all .
Given , compute the value of
The main thing here is to find out what is. This is fairly straightforward:
By definition and thus
This problem is now reduced to computing
by the formula for the sum of the first consecutive cubes.
Functional Equations - Substitution
When encountering functional equations, one of the first things to do is to plug in values. This usually serves two purposes. One of them is to gain an idea as to how the function might behave, and another is to get a suitable equation. Often times, plugging in trivial values like can help you advance with a problem.
If , then what is
Here, we make a suitable substitution in place of to get . Note that we already know what is. Now ask yourself, "What can we put in place of to get from "
Of course, simply substitute in place of . Then will turn into , which is helpful because now
which is what we are looking for.
Now the above was a little vague. To a beginner, this substitution may not come naturally. So a better way is to do the following:
If , then what is
Set . Then . Now substitute in to get and hence
The above was a simple use of substitution. This is the simplest case in which you have to use substitution. Let us turn our attention now to a slightly more complicated problem. This problem will introduce us to the use of cyclic functions in solving functional equations (don't worry about it if you don't know what a cyclic function is now).
Find all functions satisfying
Take a look at and in the above problem. What if we substitute in place of ? What will we get? We get
Now we have a new equation! Comparing this new equation with the previous one gives
where we see that we have a linear system of equations and all we have to do is solve for . So simply treat and as variables and solve for . The final answer is then
Now, what should have instigated us to try the substitution? Well, first, one has to remember that . So when we do make that substitution, we get another equation with the same variables. So we can easily solve the linear system of equations. This problem teaches us two things:
- The usage of cyclic functions (we will expand on this later).
- Substitution can get us a linear (or a higher degree) system of equations, which we can then use to find out what the function is.
The second point is an extremely useful tool in solving functional equations.
Before we solve more examples, let us talk a bit about what cyclic functions are and what they do.
Cyclic Functions
A function is cyclic with order if for all , . Here, occurs times. Note that in the above example, is a cyclic function with order since .
is also cyclic with order since
Again, consider a paper on the table. We define a function . What this function will do each time is that it will rotate the paper on the table by . So after applying this function six times, the paper will have rotated by , and will be back in the position that it was in originally. Therefore is cyclic with order , since applying the function six times gives you what you originally started out with.
Now let's move onto functional equations and the usage of cyclic functions in them. Notice that in the above problem, we had inside the function. We know that it is a cyclic function of order , as mentioned above. So when we substitute for , the terms and switch positions, giving us a simple system of linear equations. We will solve some other problems using cyclic functions.
Find all functions over the reals such that .
As mentioned earlier, is cyclic with order . So if we substitute for the terms and will swap, once again leaving us with a system of linear equations. What the actual function is is left to the reader.
But as is with any other topic, spotting cyclic functions can be difficult at times. When you cannot see things straight away, plug in real values and try to compute the value of at certain inputs. This might give you a closer insight. Such an example is given in the following problem:
Find all functions such that
Here is the basic idea. Since we might not be able to see that is cyclic of order straight away (some people would, and you should check it if your instinct tells you that this is cyclic), we employ a slightly different approach. We plug in values.
is as good as any other choice here. It will give us
Now since we have inside , we can plug in to get
and finally since is inside , we plug it in to get
Now, we simply have a linear system of equations to work with. There are three equations and three variables. So we can easily find out their values.
This should prod us in the direction of cyclic functions. And you should verify if is really cyclic or not (you should do it straight away, but I am making a point). This will easily lead us to the solution.
Substitution in Functional Equations with 2 Variables
When using substitution in a functional equation with several variables, there is one important thing to look out for. This thing actually comes up in every branch of maths, and that is symmetry. You can sometimes use the following standard idea involving symmetry:
In a functional equation consisting of two variables, if the expression on one side is symmetric with respect to the variables while the expression on the other side is not, then making the substitution is a good idea.
The above is basically telling us to switch the places of the variables. We explain this using an example.
Find all injective functions that satisfy
We are given
The solution proceeds along the lines of the idea that we just learned. Just note that the left side is symmetric with respect to the variables, while the right side is not.
We make the substitution to get
Now, as said above, make the substitution . We have simply switched the places of and
You might ask how we know about plugging in in place of one of the variables. We don't, but in real life, you would actually make the substitution first, and then you will note that plugging in might help. Anyway, using the two equations, we get
since the values of and are given in the question. Now, we see that implies that . Using induction, we can prove that where Hint: Use in the proof. Now substitute to get that for all positive integers .
Now, the injectivity of allows us to conclude that takes odd values at odd input values except , which is given to be If for some , then make the substitution and in You will get an easy contradiction.
Again suppose that for some , then , which is a contradiction since for no input can take output .
Let be the smallest positive integer such that for some . Then for It follows that are mapped into . Hence .
Finally, we can conclude that the required function is
Find all functions such that
Note that the right side of the functional equation is symmetric with respect to the variables but the left side isn't. Therefore making the substitution and is a good idea:
This tells us that which is equivalent to saying that . Now make the substitution to get
Now look at the left side of the above equation. It is just times the left side of the original equation. So the LHS is equal to . The right side of the above equation is since . Now since , we have
for all pairs of real numbers. Thus, we conclude that must be .
Okay, now let us tackle another problem where there are two variables, but this time the function is a bit different. Whenever you see functions , the same sort of substitution that is demonstrated in the above examples can help. Simply switch the places of and .
A function is defined as follows:
Find .
We are given
First of all, it must be admitted that the first step taken by many people would be to substitute simpler values. But in the end, a good substitution turns out to be . This gives us
Now considering and to be variables, we can solve for them. The rest is a matter of computation.
Find all functions such that
Put in the given equation to get or for all rational . Since , this certainly implies that for all integers . Putting in the given equation, where is a positive integer, gives
for all rational , and hence
for all integers , with , from which we deduce that and hence that for all rational . There is just one solution to this functional equation.
Functional Equations - Problem Solving
Find the number of real-valued functions that are solutions of the above functional equation and whose domain is the set of all real numbers different from , , and .