Message Boards Message Boards

0
|
5053 Views
|
2 Replies
|
0 Total Likes
View groups...
Share
Share this post:

Wolfram|Alpha fails to recognize only 1-time differentiability at 0?

Posted 5 years ago

Define f(x) = (x^2)sin(1/x) if x != 0 and define f(0) = 0.
If x != 0 then f'(x) = (2)(x)sin(1/x)-cos(1/x).
If x = 0 then f'(0) = lim ((x^2)sin(1/x)-0)/(x-0) as x->0 = lim (x)sin(1/x) as x->0 = 0.
So f(x) is at least 1-time differentiable at x=0.
Now lim f'(x) as x->0 = lim (2)(x)sin(1/x)-cos(1/x) as x->0 does not exist.
Hence, we cannot have lim f'(x) = f'(0) as x->0, i.e., f'(x) dose not continuous at x=0, which implies f'(x) is not differentiable at x=0, i.e., f(x) is only 1-time differentiable at x=0.
In WolframAlphan:
Inputting D[Piecewise[{{x^2 Sin[1/x], x != 0}, {0, x == 0}}], x] outputs Piecewise[{{-Cos[x^(-1)] + 2 x Sin[x^(-1)], x != 0}}, 0], which is correct math result.
https://www.wolframalpha.com/input/?i=D%5BPiecewise%5B%7B%7Bx%5E2+Sin%5B1%2Fx%5D%2C+x+%21%3D+0%7D%2C+%7B0%2C+x+%3D%3D+0%7D%7D%5D%2C+x%5D
But inputting D[Piecewise[{{-Cos[x^(-1)] + 2 x Sin[x^(-1)], x != 0}}, 0], x] outputs Piecewise[{{(-2 x Cos[x^(-1)] + (-1 + 2 x^2) Sin[x^(-1)])/x^2, x != 0}}, 0], which is incorrect math result; it does not show non-differentiability at x=0.
https://www.wolframalpha.com/input/?i=D%5BPiecewise%5B%7B%7B-Cos%5Bx%5E%28-1%29%5D+%2B+2+x+Sin%5Bx%5E%28-1%29%5D%2C+x+%21%3D+0%7D%7D%2C+0%5D%2C+x%5D
Also inputting D[D[Piecewise[{{x^2 Sin[1/x], x != 0}, {0, x == 0}}], x], x] again outputs the same incorrect math result.
https://www.wolframalpha.com/input/?i=D%5BD%5BPiecewise%5B%7B%7Bx%5E2+Sin%5B1%2Fx%5D%2C+x+%21%3D+0%7D%2C+%7B0%2C+x+%3D%3D+0%7D%7D%5D%2C+x%5D%2C+x%5D
This is the problem.

POSTED BY: Jizhan Huang
2 Replies

I misread your statement, never mind the above post.

POSTED BY: Joshua Champion

To prove this, simply do the following:

Sin[1/t] t^2 = Sin[1/t]/(1/t) t

Take the limit:

Limit[Sin[1/t]/(1/t) t, t -> 0] = Limit[Sin[1/t]/(1/t), t -> 0] Limit[t, t -> 0] = 1*0

And you'll get your answer: 0

Also, interesting implications about the series of a bunch of reciprocals converging to a single point as they all approach the same pole.

POSTED BY: Joshua Champion
Reply to this discussion
Community posts can be styled and formatted using the Markdown syntax.
Reply Preview
Attachments
Remove
or Discard

Group Abstract Group Abstract