Proving Non-Differentiability of a Function at a Specific Point

[Tahoe]

Hello!

I got the following function:

\int_{0}^{x} \left(-1 \right)^{\lfloor 2^{i} \cdot t \rfloor} \ dt, \quad x \in \left[0,1 \right]

I want to show it is not differentiable at x= 2^{-i} k where k is a natural number greater equal 0.

I already calculated the right derivate by considering those x with 2^{-i}k \leq x < 2^{-i}k + 2^{-i}. What I got was (-1)^{k}.

Now when it comes to the left hand derivate I have the following:
\lim\limits_{x \rightarrow 2^{-i}k} \frac{\int_{0}^{x} \left(-1 \right)^{\lfloor 2^{i} \cdot t \rfloor} \ dt - \int_{0}^{2^{-i}k} \left(-1 \right)^{\lfloor 2^{i} \cdot t \rfloor} \ dt}{x - 2^{-i}k}

But since I consider those x approaching from the left side x \leq 2^{-i} k and x \geq 0.
That is why the above integral will be
\lim\limits_{x \rightarrow 2^{-i}k} \frac{\int_{0}^{x} \left(-1 \right)^{\lfloor 2^{i} \cdot t \rfloor} \ dt - \int_{0}^{2^{-i}k} \left(-1 \right)^{\lfloor 2^{i} \cdot t \rfloor} \ dt}{x - 2^{-i}k} = \lim\limits_{x \rightarrow 2^{-i}k} \frac{\int_{x}^{2^{-i}k} \left(-1 \right)^{\lfloor 2^{i} \cdot t \rfloor} \ dt }{x - 2^{-i}k}

I know that for the last integral x \leq t \leq 2^{-i}k which is equivalent to 2^{i}x \leq 2^{i}t \leq k.
But that doesn´t help me when it comes to calculating \lfloor 2^{i} \cdot t \rfloor

How can I proceed from there or is there any mistake in my way of thinking I don´t see at this moment?

Thanks.

 

[Tahoe]

Hello!

Don´t want to bother but does anybody has an idea how to proceed with the given problem? It makes me crazy not solving it right now. Thank you for any help.

 

[asmani]

I'm not sure, just an idea: I think one can prove a generalized form of the first fundamental theorem of calculus that is, if F(x)=\int_{a}^{x}f(t)dt then for some conditions on f, we have F'_+(x_0)=\lim_{c\rightarrow x_0+}f(c) and F'_-(x_0)=\lim_{c\rightarrow x_0-}f(c)

Where F'_+(x_0) and F'_-(x_0) represent right and left derivatives at x₀, respectively. \lim_{c\rightarrow x_0+} and \lim_{c\rightarrow x_0-} represent right sided and left sided limits at x₀, respectively.

 

[matphysik]

Which type of integral is implied in your o.p.?

 

[chiro]

Hey Tahoe and welcome to the forums.

I would recommend the same approach as asmani gave above. If you show that the appropriate limits on either side of the point are unequal, then you have showed that the derivative does not exist at that point.

(When I mean limits, I mean them in the context of the derivative as you would see in first principles).