If a periodic non-zero function f ( x ) exists such that 3 f ( x ) = f ( x − 1 ) + f ( x + 1 ) , which of these options could be its fundamental period?
Note : A function g ( x ) is periodic if there exists some T such that g ( x ) = g ( x + T ) for all x . The fundamental period is the minimum positive T such that this property holds.
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.
Technically you have to prove such a function exists, and an example is f ( x ) = sin 6 π x .
Log in to reply
You can define f(x) however you like on [0,2).
Not really. Even though you have "such a function does not exist" as a possibile option, the question is: IF it exists, what is its fundamental period? Well, should this function exist, its fundamental period would be 12.
Assume root 3 is the cubic root of -1 in the complex plane
This shows that 12 is a period of f, but not necessarily that it is the fundamental period. (It is easy to show that 1, 3, and 6 are not periods. But consider g(x) = f(11x), g satisfies all the requirements for f, but has a period of 12/11, and thus a fundamental period that is some integer fraction of that.
Log in to reply
Robert, you are right on. In fact, the periods such functions can take on are 12/n, where n is any positive integer not divisible by 2 or 3 (n = 5, 7, 11, 13, 17, ...).
Bottom line here is the problem does not have a correct choice, but analyzing why was an interesting excursion into trigonometry and elementary number theory. I posted an outline of the proof as a comment among these Solutions.
I found it easiest to just solve the recurrence relation over the whole numbers; we can then keep shifting the interval(*) over which we solved the equation to make it hold for all numbers:
( 3 ) f ( x ) = f ( x − 1 ) + f ( x + 1 )
Characteristic equation:
r 2 − 3 r + 1 = 0
r = 2 3 ± i = e ± i θ .
Thus, since f ( x ) = a cos x θ + b sin x θ , we have the period θ 2 π = π / 6 2 π = 1 2 .
Edit: as it turns out, other (smaller) fundamental periods could be generated for differing f ( x ) -s. For example, if one uses θ = 6 1 1 π instead of 6 π , the general solution yields a function with period 1 1 1 2 . Similarly, any period 1 2 k ± 1 1 2 can be achieved. Furthermore, one can combine two different θ -s satysfying the equation (and yielding by themselves a solution with a period of the forementioned form 1 2 k ± 1 1 2 by using them for different parts of the interval(*) from the beginning to yield a function with any period k 1 2 , as long as ( 1 2 ; k ) = 1 . Credit to @Will Heierman.
How did u get that characteristic equation??
I am not sure why functions cannot exist with shorter periods, for example, how about one of period 12/5, where f(x+6/5)=-f(x). This would satisfy f(x+6)=-f(x) and f(x+12)=f(x).
It would almost certainly be discontinuous, piecewise defined on sets whose elements differ by muntipkes of 12/5. In other words, I did not see any indication that all possibilities were considered.
Log in to reply
I think the function f(x)=sin(11[pi]x/6) satisfies the equation, but its period is 12/11. None of the choices allow for this.
Log in to reply
Well, it doesn't. Try x = 1 .
Edit: yes it does, I can't substitute.
Log in to reply
@Ivo Zerkov – I think when f(x) = sin (11 pi x/6) we have f(1) = sin(11 pi /6) = -1/2 and f(0)+f(2) = 0 + sin(11 pi/3) = 0 +[-SQRT(3)]/2 so the equation holds! No counterexample here!
Log in to reply
@Will Heierman – My bad, it does indeed work! Notice this is equivalent to using a θ different from 6 ± π that satisfies e ± i θ = 2 3 + i , namely 2 π + 6 − π = 6 1 1 π , in my equation for the general solution. I'm not so sure what the answer is anymore, I'll update if I figure it out.
Log in to reply
@Ivo Zerkov – I have the whole answer. Periods that can occur are 12/n where n is an odd number not divisible by 3. The proof is elementary but a little tricky. I posted an outline in a reply to your query to Arjen.
Thank you for pointing out that there are multiple possible periods. I have edited the wording to account for this.
Just because for your f ( x ) , f ( x + 1 2 ) = f ( x ) , it doesn't necessarily follow you can make your f ( x ) match up with what we need in the problem. This becomes obvious when you consider that my f ( x ) , namely f ( x ) = a ⋅ cos ( 6 π ⋅ x ) + b ⋅ sin ( 6 π ⋅ x ) isn't periodic over 5 1 2 , whereas yours is.
These solutions are hidden in Ivo's solution: the solutions of r = 2 1 ( 3 ± i ) are θ = 2 π n ± 6 π n ∈ Z , so that the solutions for f are of the form f ( x ) = n = 0 ∑ ∞ A n , ± cos ( 2 π ( n ± 1 2 1 ) x ) . The fundamental periods of the individual terms are T n , ± = n ± 1 2 1 1 = 1 2 n ± 1 1 2 , and the fundamental period of the sum is T = gcd { 1 2 n ± 1 1 2 } .
Thank you for pointing out that there are multiple possible periods. I have edited the wording to account for this.
Fourier analysis: f ( x ) restricted to domain Z is the sum of harmonics based on a period with integer value T ; it is the real part of: f ( x ) = n = 0 ∑ T − 1 A n exp ( T 2 n π i x ) . Then f ( x ± 1 ) = n = 0 ∑ T − 1 A n exp ( T 2 n π i x ) exp ( ± T 2 n π i ) , so that (with exp ( a i ) + exp ( − a i ) = 2 cos a ) f ( x + 1 ) + f ( x − 1 ) = 2 n = 0 ∑ T − 1 A n exp ( T 2 n π i x ) cos ( T 2 n π ) , which for all integers x should be equal to 3 f ( x ) : 2 n = 0 ∑ T − 1 A n exp ( T 2 n π i x ) cos ( T 2 n π ) = 3 n = 1 ∑ T − 1 A n exp ( T 2 n π i x ) . This requires that for every n , either A n = 0 or 2 cos ( 2 n π / T ) = 3 . This means that cos T 2 n π = 2 1 3 ∴ T 2 n π = ± 6 π ∴ n = 1 2 T . Thus only the term with n / T = 1 / 1 2 will be non-zero. Therefore the function has period 1 2 and must be of the form f ( x ) = R e A exp ( 1 2 2 π i x ) = A 1 cos ( 1 2 2 π x ) + A 2 sin ( 1 2 2 π x ) , where A = A 1 + A 2 i .
Note that we have only considered the restriction of f to the whole numbers Z . We can give the same reasoning for the restriction to any subdomain of the form x 0 + Z , with 0 ≤ x 0 < 1 . In general, then, f ( x ) = A 1 , { x } cos ( 1 2 2 π x ) + A 2 , { x } sin ( 1 2 2 π x ) , where { x } : = x − ⌊ x ⌋ and ( A 1 , x , A 2 , x ) x ∈ [ 0 , 1 ⟩ is an uncountable collection of parameters, not all zero.
Hey Arjen,
What happens if we use, say, 6 1 1 π instead of 6 π ? Could this yield a function with a period of 1 1 1 2 , or similarly any period 1 2 k ± 1 1 2 with k whole? Check out what @Will Heierman commented on my solution, if you'd like an explicit example of such a function.
Log in to reply
Hi Ivo and Argen,
It turns out that the periods which functions satisfying the additive identity can have are 12/n, where n is any positive integer which is not divisible by 2 or 3 (i. e. is relatively prime to 12).
I have a proof which I have generated on a computer, but do not know how to insert it here properly formatted. If you email me at wheierman@corunduminium(dot)com, I will try to Messenger a photo to you.
The idea is this. Some of the details are left to you guys.
1: The trig polynomials f(x)=sin(n pi x/6) satisfy the equation if n differs from a multiple of 12 by 1. They have period 12/n.
2: If n is divisible by 2 or 3, the equation can be used to imply violation of periodicity by showing f must be identically zero.
3: If n is any other positive integer, we can find two positive integers, both differing from a multiple of 12 by 1, whose greatest common divisor is n. Call them j and k.
4: Define f as follows. Let
f(x)= sin(j pi x / 6) if x is an integer
and
f(x)=sin(k pi x / 6) if x is not.
Its period is 12/n.
Ba-da-BING!
Log in to reply
If we just took the sum f(x)=sin(j pi x /6)+sin(k pi x / 6) on the real line in the last argument part 4, we still get period 12/n. This is a simpler construction than the one used there.
You are right... here is how I would approach it:
Let n ∈ N and f ( x ) = sin n π x / 6 . Choose an arbitrary x 0 ∈ R . Then
f ( x 0 − 1 ) + f ( x 0 + 1 ) = sin ( 6 n π x 0 − 6 n π ) + sin ( 6 n π x 0 + 6 n π ) = 2 sin 6 n π x 0 cos 6 n π = 2 cos 6 n π f ( x 0 ) . This satisfies the condition on f iff cos n π / 6 = 2 1 3 , i.e. n = ± 1 modulo 12.
Log in to reply
@Arjen Vreugdenhil – Pathological functions may not have Fourier transforms. Though for continuous functions they converge almost everywhere, I still don't think they necessarily converge to the function. This problem has some very deep nuances, fascinating!!
That's really clever, thank you for sharing! I was much too quick to conclude the answer is 12.
Log in to reply
@Ivo Zerkov – I sent a photo of my manuscript to Arjen. If you want one, friend Will Heierman on Facebook and I will copy it to you also.
Let us make the bold assumption that f ( x ) = C a x where C and a are constants.
Substituting this into the equation and dividing by C gives
3 a x = a x − 1 + a x + 1
Dividing throughout by a x − 1 gives the quadratic equation
3 a = 1 + a 2
with the easy solution
a = 2 3 ± i = e ± 6 i π
And so the general solution to the functional equation is
f ( x ) = C 1 e 6 i π x + C 2 e − 6 i π x
For a full solution we would need boundary conditions to determine the arbitrary constants. However all we want is the period, T, of the function. Knowing how the imaginary exponentials relate to the trig functions which have period 2 π allows us to see from the general solution that
6 π T = 2 π
which implies that T = 1 2
That was elegant.
What was the thought that let u make that bold assumption??.. Plz tell
Log in to reply
My guess: Function is periodic, therefore trigonometry is involved. Trigonometry is involved in C a x because of Euler's formula e i θ = cos ( θ ) + i sin ( θ ) . Therefore, guess y = C a x
I noticed that the functional equation had the same form as a recurrence relation, where the argument of the function corresponds to the subscripts in the recurrence relation. My assumption about the form of the solution was then inspired by the usual approach to recurrence relations. See https://brilliant.org/wiki/linear-recurrence-relations/.
Nice solution. There's a typo after the "with the easy solution" it must be "a=..." rather than "x=...".
When one presumes a particular form, other solutions having other periods might be missed. However, the way the problem is stated with choices, it is logical to assume the period is unique. Had that been true, generating one solution would have been a legitimate way to produce the correct response.
The problem is with the problem itself, so not to worry if it misled you. It misled me so I guessed wrong and looked at the solutions.
I informed Brilliant staff about it, but so far I see no indication the situation will be addressed and recrified. I haven't gotten my point back either! Grrrr!
as usual I took a simple minded approach. Sine is periodic, so I let f(x) = sinks, with k to be determined. It turns out to be Pi/6 to satisfy the relation for f(x). Next we want sin(Pi x/6)=sin (Pi/6 (x+T)), which gives T= 12. Probably the rt(3) made me think of a trig function. I have to admire the other solutions which made no assumptions, well done all!
Problem Loading...
Note Loading...
Set Loading...
3 f ( x + 1 ) = f ( x ) + f ( x + 2 )
3 f ( x − 1 ) = f ( x − 2 ) + f ( x )
--- From this:
3 ( f ( x − 1 ) + f ( x + 1 ) ) = 2 f ( x ) + f ( x − 2 ) + f ( x + 2 )
3 ( 3 f ( x ) ) = 2 f ( x ) + f ( x − 2 ) + f ( x + 2 )
f ( x ) = f ( x − 2 ) + f ( x + 2 )
--- Do it again
f ( x + 1 ) = f ( x − 1 ) + f ( x + 3 )
f ( x − 1 ) = f ( x − 3 ) + f ( x + 1 )
We get:
− f ( x − 3 ) = f ( x + 3 )
f ( x ) = − f ( x + 6 )
therefore f ( x ) = f ( x + 1 2 )