For how many positive integers k , does there exists a non-constant function f k from the reals to the reals, which is periodic with fundamental period k , and for all real values of x satisfies the equation f k ( x − 3 0 ) + f k ( x + 6 0 0 ) = 0 ?
Details and assumptions
The fundamental period of a non-constant function f on the reals is the smallest non-negative value α such that f ( x ) = f ( x + α ) for all real x .
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.
Great job!
We could set x to be x + 6 3 0 to have f k ( x + 6 0 0 ) + f k ( x + 1 2 3 0 ) = 0 . We know that f k ( x − 3 0 ) = − f k ( x + 6 0 0 ) and f k ( x + 6 0 0 ) = − f k ( x + 1 2 3 0 ) , so f k ( x − 3 0 ) = f k ( x + 1 2 3 0 ) , and f k ( x ) = f k ( x + 1 2 6 0 ) . Thus, the period must be a nonnegative factor of 1 2 6 0 . However, since the function is not constant, it is not possible for f k ( x ) = f k ( x + 6 3 0 ) otherwise we would have f k ( ( x + 3 0 ) − 3 0 ) = f k ( ( x + 3 0 ) + 6 0 0 ) = 0 , and the function would already be a constant 0 . Hence the period must be a factor of 1 2 6 0 that is at the same time not a factor of 6 3 0 .
Note that all factors of 6 3 0 are the factors of 3 1 5 multiplied by 1 or 2 , while all the factors of 1 2 6 0 are the factors of 3 1 5 multiplied by 1 , 2 , or 4 . (This is because 3 1 5 and 2 are relatively prime, and 6 3 0 = ( 2 ) ( 3 1 5 ) , while 1 2 6 0 = ( 4 ) ( 3 1 5 ) .
Hence the number of factors of 1 2 6 0 that are not factors of 6 3 0 are factors of 3 1 5 multiplied by 4 . Since 3 1 5 = ( 3 ) ( 3 ) ( 5 ) ( 7 ) , 3 1 5 has ( 2 + 1 ) ( 1 + 1 ) ( 1 + 1 ) = 1 2 factors, so there are 1 2 possible integers k .
Great job!
You need to show the existence of the functions with the various periods too.
In the 4th line, it is supposed to be Thus,the period must be a nonnegative factor of 1260. May I ask what is the typo you were referring?
Log in to reply
Yeah. You forgot to close the LaTeX parenthesis. That's okay, the text is still readable.
Log in to reply
Yours is quite wonderful too, though!
Log in to reply
@Russell Few – I am not a good solution writer at all. :P
a slight typo in 6th line
Substituting x + 3 0 in place of x , we obtain f k ( x ) = − f k ( x + 6 3 0 ) . But again, f k ( x + 6 3 0 ) = − f k ( x + 6 3 0 + 6 3 0 ) = − f k ( x + 1 2 6 0 ) This implies f k x = f k ( x + 1 2 6 0 ) for all values of x , i.e 1 2 6 0 is a period of f ( x ) .
It is now easy to see that k ≤ 1 2 6 0 . We write 1 2 6 0 as m k + n , where 0 ≤ n < k by the division algorithm. Then, note that f k ( x ) = f k ( x + 1 2 6 0 ) = f k ( x + m k + n ) = f k ( x + n ) implying n is also a period of f k ( x ) . However, n > 0 contradicts the minimality of k . Hence we must have n = 0 , or equivalently k ∣ 1 2 6 0 . Since 1 2 6 0 has 3 6 positive divisors, this gives rise to at most 3 6 possible values for k .
However, note that if k ∣ 6 3 0 , then 6 3 0 will also be a period of f k ( x ) , which is a contradiction as we have f ( x ) = − f ( x + 6 3 0 ) for all x . Note that 6 3 0 has 2 4 divisors, and 6 3 0 ∣ 1 2 6 0 , which implies all divisors of 6 3 0 will also be divisors of 1 2 6 0 . So, 2 4 cases have to be rejected out of the 3 6 possible ones, and our answer will be 3 6 − 2 4 = 1 2 .
Nice solution! However, you still need to show that all 12 remaining possibilities can actually occur.
Log in to reply
Ah, I completely missed that. But I guess Caleb S.'s solution answers that:
f
(
x
)
=
sin
(
k
2
π
x
)
satisfies the given conditions.
If f ( x − 3 0 ) + f ( x + 6 0 0 ) = 0 , then f ( x − 3 0 ) = − f ( x + 6 0 0 ) , thus f ( x − 3 0 ) = f ( x + 1 2 3 0 ) . This means that the period k must be a divisor of 1 2 6 0 . Thus k must be of the form 2 a × 3 b × 5 c × 7 d where a ∈ { 0 , 1 , 2 } , b ∈ { 0 , 1 , 2 } , c ∈ { 0 , 1 } , d ∈ { 0 , 1 } . But we also know that f ( x ) isn't constant, so there is an x such that f ( x + 6 0 0 ) = 0 and thus f ( x + 6 0 0 ) = − f ( x + 6 0 0 ) and thus f ( x − 3 0 ) = f ( x + 6 0 0 ) . Thus the period should not be a divisor of 6 3 0 . So a = 2 . This gives us 3 × 2 × 2 = 1 2 remaining options.
This is a nice solution, but you also need to show that all the remaining options are viable.
For any x we have f ( x ) = − f ( x + 6 3 0 ) which implies f ( x ) = f ( x + 1 2 6 0 ) so the period k of f(x) should be such that k should be a factor of 1260 and not a factor of 630.
1 2 6 0 = 2 ∗ 2 ∗ 3 ∗ 3 ∗ 7 ∗ 5
no of factors of 1260 such that theyre not factors of 630 are 1 ∗ 3 ∗ 2 ∗ 2 = 1 2
We have f(x) = -f(x + 630) = f(x + 1260), So k must be a divisor of 1260 but not a divisor of 630. 630 = 2.3.3.5.7 and 1260 = 2. 630, So, we have 2.2.3 = 12 possible values of k
Problem Loading...
Note Loading...
Set Loading...
Plugging in x + 3 0 for x , the functional equation is equivalent to f ( x + 6 3 0 ) = − f ( x ) We claim that such an f with fundamental period k exists if and only if k ∣ 1 2 6 0 but k ∤ 6 3 0 .
First, assume that such an f exists. Then we must have f ( x + 1 2 6 0 ) = − f ( x + 6 3 0 ) = − ( − f ( x ) ) = f ( x ) So 1 2 6 0 is a multiple of the period, i.e. k ∣ 1 2 6 0 . But if it were true that k ∣ 6 3 0 , then f ( x + 6 3 0 ) = − f ( x ) would imply f ( x ) = − f ( x ) , or f ( x ) = 0 for all x . f is not constant, so we must have k ∤ 6 3 0 .
Now suppose conversely that k ∣ 1 2 6 0 but k ∤ 6 3 0 , and let f ( x ) = sin ( k 2 π x ) . This function has fundamental period k , and we check: f ( x + 6 3 0 ) = sin ( k 2 π ( x + 6 3 0 ) ) = sin ( k 2 π x + k 1 2 6 0 π ) Since k does not divide 6 3 0 , k 1 2 6 0 is odd, so the above equals sin ( k 2 π x + ( odd ) π ) = sin ( k 2 π x + π ) = − sin ( k 2 π x ) = − f ( x ) as required.
We've reduced the problem to counting the number of divisors of 1 2 6 0 which are not divisors of 6 3 0 . 1 2 6 0 factors as 2 2 ⋅ 3 2 ⋅ 5 ⋅ 7 , so such divisors are 4 times any divisor of 3 2 ⋅ 5 ⋅ 7 . There are 3 ⋅ 2 ⋅ 2 = 1 2 such divisors.