Consider the functions f ( x ) such that f ( x + 2 ) + f ( x ) + f ( x − 2 ) = f ( x + 1 ) + f ( x − 1 ) for all real x . Find the smallest positive number P that is a period for all such functions f ( x ) .
For extra credit, give an example of a non-zero function f ( x ) of this form that has a fundamental period less than P .
This section requires Javascript.
You are seeing this because something didn't load right. We suggest you, (a) try
refreshing the page, (b) enabling javascript if it is disabled on your browser and,
finally, (c)
loading the
non-javascript version of this page
. We're sorry about the hassle.
Thanks, Otto. Yes, I thought about characteristic equation only after I submitted the solution. But failed to see that it is a factor of c 5 + 1 .
Rearranging the given equation, we have:
f ( x + 2 ) f ( x + 3 ) f ( x + 4 ) f ( x + 5 ) f ( x + 6 ) f ( x + 7 ) f ( x + 8 ) f ( x + 9 ) f ( x + 1 0 ) f ( x + 1 1 ) f ( x + 1 2 ) = f ( x + 1 ) − f ( x ) + f ( x − 1 ) − f ( x − 2 ) = f ( x + 2 ) − f ( x + 1 ) + f ( x ) − f ( x − 1 ) = − f ( x − 2 ) = − f ( x − 2 ) − f ( x + 2 ) + f ( x + 1 ) − f ( x ) = − f ( x − 1 ) = − f ( x − 1 ) + f ( x − 2 ) + f ( x + 2 ) − f ( x + 1 ) = − f ( x ) = − f ( x ) + f ( x − 1 ) − f ( x − 2 ) − f ( x + 2 ) = − f ( x + 1 ) = − f ( x + 1 ) + f ( x ) − f ( x − 1 ) + f ( x − 2 ) = − f ( x + 2 ) = − f ( x + 2 ) + f ( x + 1 ) − f ( x ) + f ( x − 1 ) = f ( x − 2 ) = f ( x − 2 ) + f ( x + 2 ) − f ( x + 1 ) + f ( x ) = f ( x − 1 ) = f ( x − 1 ) − f ( x − 2 ) − f ( x + 2 ) + f ( x + 1 ) = f ( x ) = f ( x ) − f ( x − 1 ) + f ( x − 2 ) + f ( x + 2 ) = f ( x + 1 ) = f ( x + 1 ) − f ( x ) + f ( x − 1 ) − f ( x − 2 ) = f ( x + 2 )
Therefore, P = 1 2 − 2 = 1 0
Or do it this way:
f ( x + 4 ) = f ( x + 3 ) − f ( x + 2 ) + f ( x + 1 ) − f ( x )
f ( x + 5 ) = f ( x + 4 ) − f ( x + 3 ) + f ( x + 2 ) − f ( x + 1 ) = − f ( x )
f ( x + 1 0 ) = − f ( x + 5 ) = f ( x ) , showing that 10 is a period.
Re-write the equation as
f ( x ) = f ( x + 1 ) + f ( x − 1 ) − f ( x + 2 ) − f ( x − 2 )
Then use this to substitute for f ( x − 1 ) :
f ( x + 2 ) + f ( x ) + f ( x − 2 ) = f ( x + 1 ) + [ f ( x ) + f ( x − 2 ) − f ( x + 1 ) − f ( x − 3 ) ]
Everything cancels except for one term on each side
f ( x + 2 ) = − f ( x − 3 )
which implies f ( x ) = − f ( x + 5 ) , and from there it's easy to see that f ( x + 1 0 ) = f ( x ) .
This means that f(x) must repeat every 10 units, so there cannot exist a higher P . There cannot exist a lower P since it's simple to construct a function of period 10.
Yes, this is equivalent to Rohit's solution and my commentary to Mr. Cheung's solution.
Although it may be simple to construct such a function with fundamental period 10, it still needs to be done ;)
f ( x + 2 ) + f ( x ) + f ( x − 2 ) = f ( x + 1 ) + f ( x − 1 ) . . . e q 1
x → x + 1
f ( x + 3 ) + f ( x + 1 ) + f ( x − 1 ) = f ( x + 2 ) + f ( x ) . . . e q 2
add e q 1 and e q 2
f ( x + 3 ) + f ( x − 2 ) = 0 . . . e q 3
x → x + 5
f ( x + 8 ) + f ( x + 3 ) = 0 . . . e q 4
subtract e q 4 from e q 3
f ( x − 2 ) = f ( x + 8 )
x → x + 2
f ( x ) = f ( x + 1 0 )
P = 1 0
Yes, this works! Your approach is equivalent to the comment I posted to Mr Cheong's solution.
But, how do you know that P is minimal?
Problem Loading...
Note Loading...
Set Loading...
As we have seen in Mr Cheong's solution and my commentary, a straightforward approch works pretty well here (although it does not show that 10 is the required minimum). Still, for the sake of variety, let's discuss a more conceptual approach.
For a fixed f ( x ) and a fixed x , consider the sequence a n = f ( x + n ) for n = 0 , 1 , 2 . . . . This sequence satisfies the linear difference equation a n = a n − 1 − a n − 2 + a n − 3 − a n − 4 . The characteristic equation is c 4 − c 3 + c 2 − c + 1 = 0 , a factor of c 5 + 1 and therefore of c 1 0 − 1 , so that the roots are the primitive 10th roots of unity, e k π i / 5 , for k = 1 , 3 , 7 , 9 . Thus 10 is a period of a n . In particular, a 1 0 = a 0 , meaning that f ( x + 1 0 ) = f ( x ) , showing that 10 is a period of all such functions.
An example of a solution with fundamental period is 10 is cos ( 5 π x ) , while cos ( 5 3 π x ) has the shorter period 3 1 0 .