Periodically problematic

Algebra Level 5

For how many positive integers k k , does there exists a non-constant function f k f_k from the reals to the reals, which is periodic with fundamental period k k , and for all real values of x x satisfies the equation f k ( x 30 ) + f k ( x + 600 ) = 0 ? f_k(x - 30 ) + f_k( x + 600 ) = 0?

Details and assumptions

The fundamental period of a non-constant function f f on the reals is the smallest non-negative value α \alpha such that f ( x ) = f ( x + α ) f(x) = f( x + \alpha) for all real x x .


The answer is 12.

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.

6 solutions

Caleb Stanford
Sep 16, 2013

Plugging in x + 30 x + 30 for x x , the functional equation is equivalent to f ( x + 630 ) = f ( x ) f(x + 630) = -f(x) We claim that such an f f with fundamental period k k exists if and only if k 1260 k \mid 1260 but k 630 k \nmid 630 .

First, assume that such an f f exists. Then we must have f ( x + 1260 ) = f ( x + 630 ) = ( f ( x ) ) = f ( x ) f(x + 1260) = -f(x + 630) = -(-f(x)) = f(x) So 1260 1260 is a multiple of the period, i.e. k 1260 k \mid 1260 . But if it were true that k 630 k \mid 630 , then f ( x + 630 ) = f ( x ) f(x + 630) = -f(x) would imply f ( x ) = f ( x ) f(x) = -f(x) , or f ( x ) = 0 f(x) = 0 for all x x . f f is not constant, so we must have k 630 k \nmid 630 .

Now suppose conversely that k 1260 k \mid 1260 but k 630 k \nmid 630 , and let f ( x ) = sin ( 2 π k x ) f(x) = \sin\left(\frac{2\pi}{k} x\right) . This function has fundamental period k k , and we check: f ( x + 630 ) = sin ( 2 π k ( x + 630 ) ) = sin ( 2 π k x + 1260 k π ) f(x + 630) = \sin\left(\frac{2\pi}{k} (x + 630) \right) = \sin \left( \frac{2\pi}{k} x + \frac{1260}{k} \pi \right) Since k does not divide 630 630 , 1260 k \frac{1260}{k} is odd, so the above equals sin ( 2 π k x + ( odd ) π ) = sin ( 2 π k x + π ) \sin \left( \frac{2\pi}{k} x + (\text{odd}) \pi \right) = \sin \left( \frac{2\pi}{k} x + \pi \right) = sin ( 2 π k x ) = f ( x ) = -\sin \left( \frac{2\pi}{k} x \right) = -f(x) as required.

We've reduced the problem to counting the number of divisors of 1260 1260 which are not divisors of 630 630 . 1260 1260 factors as 2 2 3 2 5 7 2^2 \cdot 3^2 \cdot 5 \cdot 7 , so such divisors are 4 times any divisor of 3 2 5 7 3^2 \cdot 5 \cdot 7 . There are 3 2 2 = 12 3 \cdot 2 \cdot 2 = \boxed{12} such divisors.

Moderator note:

Great job!

Russell Few
Sep 15, 2013

We could set x x to be x + 630 x+630 to have f k ( x + 600 ) + f k ( x + 1230 ) = 0 f_k(x+600)+f_k(x+1230)=0 . We know that f k ( x 30 ) = f k ( x + 600 ) f_k(x-30)=-f_k(x+600) and f k ( x + 600 ) = f k ( x + 1230 ) f_k(x+600)=-f_k(x+1230) , so f k ( x 30 ) = f k ( x + 1230 ) f_k(x-30)=f_k(x+1230) , and f k ( x ) = f k ( x + 1260 ) f_k(x)=f_k(x+1260) . Thus, the period must be a nonnegative factor of 1260 1260 . However, since the function is not constant, it is not possible for f k ( x ) = f k ( x + 630 ) f_k(x)=f_k(x+630) otherwise we would have f k ( ( x + 30 ) 30 ) = f k ( ( x + 30 ) + 600 ) = 0 f_k((x+30)-30)=f_k((x+30)+600)=0 , and the function would already be a constant 0 0 . Hence the period must be a factor of 1260 1260 that is at the same time not a factor of 630 630 .

Note that all factors of 630 630 are the factors of 315 315 multiplied by 1 1 or 2 2 , while all the factors of 1260 1260 are the factors of 315 315 multiplied by 1 1 , 2 2 , or 4 4 . (This is because 315 315 and 2 2 are relatively prime, and 630 = ( 2 ) ( 315 ) 630=(2)(315) , while 1260 = ( 4 ) ( 315 ) 1260=(4)(315) .

Hence the number of factors of 1260 1260 that are not factors of 630 630 are factors of 315 315 multiplied by 4 4 . Since 315 = ( 3 ) ( 3 ) ( 5 ) ( 7 ) 315=(3)(3)(5)(7) , 315 315 has ( 2 + 1 ) ( 1 + 1 ) ( 1 + 1 ) = 12 (2+1)(1+1)(1+1)=12 factors, so there are 12 \boxed{12} possible integers k k .

Moderator note:

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?

Russell FEW - 7 years, 8 months ago

Log in to reply

Yeah. You forgot to close the LaTeX parenthesis. That's okay, the text is still readable.

Sreejato Bhattacharya - 7 years, 8 months ago

Log in to reply

Yours is quite wonderful too, though!

Russell FEW - 7 years, 8 months ago

Log in to reply

@Russell Few I am not a good solution writer at all. :P

Sreejato Bhattacharya - 7 years, 8 months ago

a slight typo in 6th line

Cuong Doan - 7 years, 8 months ago

Substituting x + 30 x+30 in place of x x , we obtain f k ( x ) = f k ( x + 630 ) f_{k} (x)= -f_{k} (x+630) . But again, f k ( x + 630 ) = f k ( x + 630 + 630 ) = f k ( x + 1260 ) f_{k} (x+630)= -f_{k} (x+630+630) = -f_{k} (x+1260) This implies f k x = f k ( x + 1260 ) f_{k} x= f_{k} (x+1260) for all values of x x , i.e 1260 1260 is a period of f ( x ) f(x) .

It is now easy to see that k 1260 k \leq 1260 . We write 1260 1260 as m k + n mk+n , where 0 n < k 0 \leq n < k by the division algorithm. Then, note that f k ( x ) = f k ( x + 1260 ) = f k ( x + m k + n ) = f k ( x + n ) f_k(x)= f_k(x+1260)= f_k(x+mk+n)= f_k(x+n) implying n n is also a period of f k ( x ) f_k(x) . However, n > 0 n>0 contradicts the minimality of k k . Hence we must have n = 0 n = 0 , or equivalently k 1260 k \mid 1260 . Since 1260 1260 has 36 36 positive divisors, this gives rise to at most 36 36 possible values for k k .

However, note that if k 630 k \mid 630 , then 630 630 will also be a period of f k ( x ) f_k(x) , which is a contradiction as we have f ( x ) = f ( x + 630 ) f(x)= -f(x+630) for all x x . Note that 630 630 has 24 24 divisors, and 630 1260 630 \mid 1260 , which implies all divisors of 630 630 will also be divisors of 1260 1260 . So, 24 24 cases have to be rejected out of the 36 36 possible ones, and our answer will be 36 24 = 12 36-24= \boxed{12} .

Nice solution! However, you still need to show that all 12 remaining possibilities can actually occur.

Alexander Borisov - 7 years, 8 months ago

Log in to reply

Ah, I completely missed that. But I guess Caleb S.'s solution answers that: f ( x ) = sin ( 2 π x k ) f(x)= \sin \left ( \frac{2 \pi x}{k} \right )
satisfies the given conditions.

Sreejato Bhattacharya - 7 years, 8 months ago

If f ( x 30 ) + f ( x + 600 ) = 0 f(x-30) + f(x+600) = 0 , then f ( x 30 ) = f ( x + 600 ) f(x-30) = -f(x+600) , thus f ( x 30 ) = f ( x + 1230 ) f(x-30) = f(x+1230) . This means that the period k k must be a divisor of 1260 1260 . Thus k k must be of the form 2 a × 3 b × 5 c × 7 d 2^a \times 3^b \times 5^c \times 7^d where a { 0 , 1 , 2 } , b { 0 , 1 , 2 } , c { 0 , 1 } , d { 0 , 1 } a \in \{0,1, 2\}, b \in \{0,1,2\}, c \in \{0,1\}, d \in \{0,1\} . But we also know that f ( x ) f(x) isn't constant, so there is an x x such that f ( x + 600 ) 0 f(x+600) \ne 0 and thus f ( x + 600 ) f ( x + 600 ) f(x+600) \ne -f(x+600) and thus f ( x 30 ) f ( x + 600 ) f(x-30) \ne f(x+600) . Thus the period should not be a divisor of 630 630 . So a = 2 a = 2 . This gives us 3 × 2 × 2 = 12 3 \times 2 \times 2 = 12 remaining options.

This is a nice solution, but you also need to show that all the remaining options are viable.

Alexander Borisov - 7 years, 8 months ago
Sumit Goel
Sep 17, 2013

For any x we have f ( x ) = f ( x + 630 ) f(x)=-f(x+630) which implies f ( x ) = f ( x + 1260 ) f(x)=f(x+1260) so the period k of f(x) should be such that k should be a factor of 1260 and not a factor of 630.

1260 = 2 2 3 3 7 5 1260=2*2*3*3*7*5

no of factors of 1260 such that theyre not factors of 630 are 1 3 2 2 = 12 1*3*2*2=12

Tuan Dinh
Sep 19, 2013

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

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...