Functional Equation Season

Algebra Level 5

Given a real-valued function f ( x ) f(x) that is defined over all real values x x and satisfies f ( x + 1 ) + f ( x 1 ) = 2 ( cos π 2018 ) f ( x ) , f(x+1)+f(x-1)= 2\left(\cos{\frac{\pi}{2018}}\right)f(x), which of the following is true about the fundamental period P P of f ( x ) ? f(x)?


Inspiration .

P 4036 P\le 4036 4036 < P 10000 4036<P\le 10000 P > 10000 P>10000 f ( x ) f(x) is non-periodic

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.

1 solution

Arturo Presa
Jun 1, 2018

Let us define the following operators T T (shift operator) and I I (identity operator) by the following formulas: T f ( x ) = f ( x + 1 ) T f(x)=f(x+1) and I f ( x ) = f ( x ) . If(x)=f(x). Take into consideration that these two operators commute. That is going important for the formulas that we are going to introduce below. Then for any natural number n n the we can define T n T^n and the composition of T T with itself n n times. Clearly, T n f ( x ) = f ( x + n ) . T^nf(x)=f(x+n). We can also define operators that are going to be linear combinations of "powers" of T T and I . I. For example, the functional equation f ( x + 2 ) 2 cos π 2018 f ( x + 1 ) + f ( x ) = 0 f(x+2)-2\cos{\frac{\pi}{2018}}f(x+1)+f(x)=0 can be written in the form ( T 2 2 cos π 2018 T + I ) f ( x ) , (T^2-2\cos{\frac{\pi}{2018}}T+I)f(x), where the corresponding operator will be ( T 2 2 cos π 2018 T + I ) . (T^2-2\cos{\frac{\pi}{2018}}T+I). In general, such operators can be defined by the formula P ( T ) = a n T n + a n 1 T n 1 + . . . + a 1 T + a 0 I , P(T)=a_n T^n+a_{n-1}T^{n-1}+...+a_1T+a_0I, where n n is any whole number and a 0 , a 1 , . . . , a n a_0, a_1,...,a_n are real numbers. We can "multiply" operators of this kind by following the rule of polynomial multiplication. It can be proved that if P ( T ) P(T) and Q ( T ) Q(T) are two of this "polynomials" and R ( T ) = P ( T ) Q ( T ) , R(T)=P(T)Q(T), then R ( T ) f ( x ) = P ( T ) ( Q ( T ) f ( x ) ) . R(T)f(x)=P(T)(Q(T)f(x)). Now, since ( T 2 2 cos π 2018 T + I ) = ( T e i π / 2018 I ) ( T e i π / 2018 I ) (T^2-2\cos{\frac{\pi}{2018}}T+I)=(T-e^{i\pi/2018}I)(T-e^{-i\pi/2018}I) and e i π / 2018 e^{i\pi/2018} and e i π / 2018 e^{-i\pi/2018} are 4036th roots of the unity. Then, ( T 2 2 cos π 2018 T + I ) (T^2-2\cos{\frac{\pi}{2018}}T+I) is a factor of T 4036 I . T^{4036}-I. Therefore, since ( T 2 2 cos π 2018 T + I ) f ( x ) = 0 , (T^2-2\cos{\frac{\pi}{2018}}T+I)f(x)=0, if we "multiply" both sides of this equation by a convenient "polynomial", we get that ( T 4036 I ) f ( x ) = 0. (T^{4036}-I)f(x)=0. The latter means that f ( x + 4036 ) = f ( x ) . f(x+4036)=f(x). Therefore, f ( x ) f(x) is periodic with period less than or equal to 4036.

But the given equation is f(x+1) - f(x-1) = 2 (\cos \dfrac{\pi}{2018}) f(x), so the corresponding characteristic equation is ( T^2 - 2 (\cos \dfrac{\pi}{2018}) - I = 0. I think you should change the left hand side to f(x+1) + f(x -1).

Hosam Hajjir - 3 years ago

Log in to reply

You are completely right. I edited the question.

Arturo Presa - 3 years ago

Log in to reply

Sorry about that, and thank you for letting me know!

Arturo Presa - 3 years ago

By your proof can we claim that the period must be exactly 4096 ? We can see that the period must be a divisor of 4096 . Then we can claim that the functional equation is not divisible by T^K - 1 for any k between 1 and 4096. Is this claim correct?

Pranav Rao - 3 years ago

Log in to reply

Probably you are right. I am going to think about.

Arturo Presa - 3 years ago

Log in to reply

Ok. I saw your other problem. I had wrongly assumed that the k must be integer. Thanks

Pranav Rao - 2 years, 12 months ago

Log in to reply

@Pranav Rao Thank you!

Arturo Presa - 2 years, 12 months ago

I agree with Pranav Rao. The period is exactly 4036. That is because the difference equation has a corresponding characteristic equation m 2 2 cos π 2018 m + 1 = 0 m^2 - 2 \cos \dfrac{\pi}{2018} m + 1 = 0 . The roots of this characteristic equation are e ± i π 2018 e^{\pm i \dfrac{\pi}{2018 }} , which means that f(x) is periodic with radian frequency equal to ω = π 2018 \omega = \dfrac{\pi}{2018} , so the period is T = 2 π ω = 4036 T = \dfrac{2 \pi}{\omega} = 4036 . So, it is exactly 4036, not more, not less.

Hosam Hajjir - 3 years ago

Log in to reply

If you still want to know the answer to this question, you can try this other problem

Arturo Presa - 2 years, 12 months ago

Your proof is beautiful! But (I think) it works only because T T and I I commute, and I think it should be mentioned.

Théo Leblanc - 1 year, 9 months ago

Log in to reply

Thank you, Theo. I included a sentence mentioning that fact.

Arturo Presa - 1 year, 9 months ago

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...