Weird Continuity

Calculus Level 4

How many of the following functions are continuous for all x > 1 x>1 ?

  • y = x + { x } y=\lfloor x\rfloor+\{x\}
  • y = x + { x } 2 y=\lfloor x\rfloor+\{x\}^2
  • y = x 2 + { x } + 2 x { x } y=\lfloor x\rfloor^2+\{x\}+2\lfloor x\rfloor\{x\}
  • y = { x } e x y=\left\lfloor \frac{\{x\}}{e^x}\right\rfloor
  • y = sin π x 2 sin ( π { x } ) y=\left\lfloor\frac{\sin\pi x}{2}\right\rfloor\sin\left(\pi\{x\}\right)
  • y = x { x } Γ x y=\lfloor x\rfloor^{\{x\}}\Gamma\lfloor x\rfloor

Notation: x \lfloor x\rfloor denotes the floor function, { x } \{x\} denotes the fractional part function.

0 6 2 4 1 5 3

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

Joseph Newton
Apr 23, 2018

A continuous function is 'connected': for any point the limit as we approach from the positive side, the limit as we approach from the negative side, AND the point itself must all have the same value.

Both the floor function and the fractional part function are continuous for non-integer values of x and discontinuous for integers, and their value when approaching an integer from the positive side is the same as the value of the function at that point, but different to the value of the function when approached from the negative side.

Let us consider an integer k k . When we approach k \lfloor k\rfloor from the positive side, we get k k , but when we approach from the negative side, we get k 1 k-1 , as we are taking the floor of numbers slightly smaller than k. When we approach { k } \{k\} from the positive side, we get 0 as the fractional part is decreasing, but when we approach from the negative side, we get 1 as the fractional part is increasing.

But what if we add these two functions together, and take the limit of x + { x } \lfloor x\rfloor+\{x\} from both sides? lim x k + x + { x } lim x k x + { x } = ( k ) + ( 0 ) = ( k 1 ) + ( 1 ) = k = k \begin{aligned}&\lim_{x\to k^+}\lfloor x\rfloor+\{x\}&&\lim_{x\to k^-}\lfloor x\rfloor+\{x\}\\ &=(k)+(0)&&=(k-1)+(1)\\ &=k&&=k\end{aligned} We get the same result for each limit, and since the value of the function as we approach a point from the positive is the same as the value of the function at that point, we can conclude that this function is continuous for every integer, and since the floor and fractional part functions are only discontinuous at integer values, the function is continuous everywhere.

Note that there are exceptions when it comes to calculating limits, but since all of the functions in the question would be defined and continuous for x>1 were the floor and fractional part functions replaced with x, we can safely ignore problems like undefined or indeterminate points.

Now lets go through the functions one by one with this new technique:

Case 1: y = x + { x } \textbf{Case 1: }y=\lfloor x\rfloor+\{x\}

This is proven above, but it's actually also trivial, because x + { x } = x \lfloor x\rfloor+\{x\}=x , and y = x y=x is obviously continuous everywhere.

Case 2: y = x + { x } 2 \textbf{Case 2: }y=\lfloor x\rfloor+\{x\}^2

We can prove this using the method above: lim x k + x + { x } 2 lim x k x + { x } 2 = k + 0 2 = k 1 + 1 2 = k = k \begin{aligned}&\lim_{x\to k^+}\lfloor x\rfloor+\{x\}^2&&\lim_{x\to k^-}\lfloor x\rfloor+\{x\}^2\\ &=k+0^2&&=k-1+1^2\\ &=k&&=k\end{aligned} Since the two limits are equal, and the function is continuous for non-integer values of x, the function is continuous for x>1.

Case 3: y = x 2 + { x } + 2 x { x } \textbf{Case 3: }y=\lfloor x\rfloor^2+\{x\}+2\lfloor x\rfloor\{x\}

Be careful: This looks like a perfect square, but not quite, so again we cannot rearrange it to give Case 1. lim x k + x 2 + { x } + 2 x { x } lim x k x 2 + { x } + 2 x { x } = k 2 + 0 + k ( 0 ) = ( k 1 ) 2 + 1 + 2 ( k 1 ) ( 1 ) = k 2 = k 2 2 k + 1 + 2 k 2 = k 2 \begin{aligned}&\lim_{x\to k^+}\lfloor x\rfloor^2+\{x\}+2\lfloor x\rfloor\{x\}&&\lim_{x\to k^-}\lfloor x\rfloor^2+\{x\}+2\lfloor x\rfloor\{x\}\\ &=k^2+0+k(0)&&=(k-1)^2+1+2(k-1)(1)\\ &=k^2&&=k^2-2k+1+2k-2\\ &&&=k^2\end{aligned} Since the two limits are equal, and the function is continuous for non-integer values of x, the function is continuous for x>1.

Case 4: y = { x } e x \textbf{Case 4: }y=\left\lfloor \frac{\{x\}}{e^x}\right\rfloor

For this one, we will use a different technique. Note that for x>1, {x} is less than e x e^x and both functions are positive. Therefore for all x>1, 0 < { x } e x < 1 0<\frac{\{x\}}{e^x}<1 . This means that when we take the floor of this value, we will always get 0. This is obviously continuous, because it is a straight line.

Case 5: y = sin π x 2 sin ( π { x } ) \textbf{Case 5: }y=\lfloor\frac{\sin\pi x}{2}\rfloor\sin\left(\pi\{x\}\right)

The floor surrounding a function is an issue, because it may be possible for sin π x 2 \lfloor\frac{\sin\pi x}{2}\rfloor to be discontinuous at a non-integer value of x. sin π x 2 \frac{\sin\pi x}{2} is a continuous function with a range between -1/2 and 1/2, and so sin π x 2 \lfloor\frac{\sin\pi x}{2}\rfloor always equals either 0 or -1. The discontinuity occurs when we cross the x-axis, i.e. when sin π x 2 = 0 \frac{\sin\pi x}{2}=0 . We find that this only occurs at integer values of x, so we can continue with the algebraic solution. We actually only need to consider the fractional part function for this, as the sin ( π { x } ) \sin\left(\pi\{x\}\right) becomes zero in both cases and eliminates everything else: lim x k + sin π x sin ( π { x } ) lim x k sin π x sin ( π { x } ) = sin π x sin ( π ( 0 ) ) = sin π x sin ( π ( 1 ) ) = sin π x × 0 = sin π x × 0 = 0 = 0 \begin{aligned}&\lim_{x\to k^+}\lfloor\sin\pi x\rfloor\sin\left(\pi\{x\}\right)&&\lim_{x\to k^-}\lfloor\sin\pi x\rfloor\sin\left(\pi\{x\}\right)\\ &=\lfloor\sin\pi x\rfloor\sin\left(\pi(0)\right)&&=\lfloor\sin\pi x\rfloor\sin\left(\pi(1)\right)\\ &=\lfloor\sin\pi x\rfloor\times0&&=\lfloor\sin\pi x\rfloor\times0\\ &=0&&=0\end{aligned} Since the two limits are equal, and the function is continuous for non-integer values of x, the function is continuous for x>1.

Case 6: y = x { x } Γ x \textbf{Case 6: }y=\lfloor x\rfloor^{\{x\}}\Gamma\lfloor x\rfloor

Note here that the gamma function is undefined for zero and negative integers. This does not matter, as we are only concerned with x>1, for which the gamma function is both defined and continuous. This solution requires a special property of the gamma function: x Γ ( x ) = Γ ( x + 1 ) x\Gamma(x)=\Gamma(x+1) lim x k + x { x } Γ x lim x k x { x } Γ x = k 0 Γ ( k ) = ( k 1 ) 1 Γ ( k 1 ) = Γ ( k ) = ( k 1 ) Γ ( k 1 ) = Γ ( k ) \begin{aligned}&\lim_{x\to k^+}\lfloor x\rfloor^{\{x\}}\Gamma\lfloor x\rfloor&&\lim_{x\to k^-}\lfloor x\rfloor^{\{x\}}\Gamma\lfloor x\rfloor\\ &=k^0\Gamma(k)&&=(k-1)^1\Gamma(k-1)\\ &=\Gamma(k)&&=(k-1)\Gamma(k-1)\\ &&&=\Gamma(k)\end{aligned} Since the two limits are equal, and the function is continuous for non-integer values of x, the function is continuous for x>1.

So the answer is all 6 of the functions are continuous for x>1. This is what each of the functions looks like when graphed:

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...