Differentiability and continuity confusion

  • #1
Hi there just a general question: this involves continuity and differentiability

suppose:

f(x) = sin 1/x if x not equal to 0
f(0) = 0

PROVE F IS NOT DIFFERENTIABLE AT 0


i understand if it is not differentiable at 0 then it may not be continuous at 0. however is there a way of probing f is not diff at 0 and seeing whether it is continuous at 0 or not?
thnx a lot
 

Answers and Replies

  • #2
cristo
Staff Emeritus
Science Advisor
8,107
73
What is the definition of a derivative at a point?
 
  • #3
a function is differentiable if [ f(x) - f(xo) / (x - x0) ]


exists



i can appreciate i have to do this.. but how would i show that this derivative doesnt exist at 0... n wuld it be continuous at that point or not?


but from here
 
  • #4
291
0
You need to show,
[tex]\lim_{x\to 0} \frac{f(x)-f(0)}{x-0} = \lim_{x\to 0} \frac{\sin \frac{1}{x}}{x}[/tex]
Does not exist.

Note: I think your function is [tex]f(x) = x\sin \frac{1}{x}[/tex]. Because this is a standard example.
 
  • #5
VietDao29
Homework Helper
1,423
2
You need to show,
[tex]\lim_{x\to 0} \frac{f(x)-f(0)}{x-0} = \lim_{x\to 0} \frac{\sin \frac{1}{x}}{x}[/tex]
Does not exist.

Note: I think your function is [tex]f(x) = x\sin \frac{1}{x}[/tex]. Because this is a standard example.
Yeah, the function f(x) = sin(1/x) is even discontinuous at 0, and hence, not differentiable at x = 0. Are you sure your function isn't f(x) = x sin(1/x)?
 
  • #6
CompuChip
Science Advisor
Homework Helper
4,302
47
i understand if it is not differentiable at 0 then it may not be continuous at 0.
Be careful here.

Any differentiable function is continuous. The negation is: if it's not continuous then it's not differentiable -- this is a consequence of the definition: if f is differentiable at a then
[tex] \lim_{x \to a} \frac{f(x) - f(a)}{x - a} = f'(a)[/tex]
exists so in particualar
[tex] \lim_{x \to a} f(x) = \lim_{x \to a} f(a) + f'(a) (x - a) = f(a)[/tex].

The converse however, (if it's not differentiable then it's not continuous) is not true, for example, the absolute value function [itex]x \mapsto |x|[/itex] is not differentiable (at 0) but it is very continuous.
 
  • #7
the function is definitely sin(1/x) and NOT x.sin(1/x)

so basically am i right in assuming that to answer a question like this (show its not differentiable at 0), i have to first show that its discontinuous at 0 and deduce that since its discontinuous at 0 then it cant be differentiable at 0? is that the right path to answer a question like this or do i have to take another path?

but how did Viet deduce it's even discontinuous at 0.. im assuming you took the left hand limit and the right hand limits and they didn't equal the same? hence the deduction that it is discontinous? which then deduces that the function is not differentiable at 0 (going by compuchip where it was said "The negation is: if it's not continuous then it's not differentiable")


please enlighten me lol. i think im starting to get the hang of this, just need to get over the mental block.
 
Last edited:
  • #8
CompuChip
Science Advisor
Homework Helper
4,302
47
Personally I would use the definition of limits.
Suppose it is continuous. Then sin(1/x) goes to 0 as x goes to 0 would mean the following: for any [itex]\epsilon[/itex] > 0 there is a [itex]\delta[/itex] > 0 such that [itex]|x| < \delta[/itex] implies [itex]|f(x)| < \epsilon[/itex].

So let's prove it's not continuous (nice practice in negating statements like the one above :smile:): let [itex]0 < \epsilon < 1[/itex]. Then for any [itex]\delta > 0[/itex] there is an [itex]x, |x| < \delta[/itex] such that [itex]|f(x)| > \epsilon[/itex].

By the way, note that you don't have to show it's not continuous to show it's not differentiable. It's just one way of doing it.
 
Last edited:
  • #9
339
0
the function is not differentialble because it is not continious that's because
[tex] \lim _{x \to \infty sin x [/tex] doesn't exist .that's because lets' say x tends to [tex] \infty [/tex] by assuming values of the form [tex]2n \pi[/tex] then the limit is 1 but if i change that to [tex] \frac{(2n+1) \pi}{2} [/tex] then it becomes 0.so the limit doen't exist so the function is not continious there
 
Last edited:
  • #10
thnx for all the advice.. ive done some research on this and ive just still got a bit of problem here...

i want to prove that sin(1/x) is not differentiable by using the LIMITS method..

ive worked this out so far:

the left hand limit and right hand limits need to be proved different so that we can conclude that sin(1/x) is not differentiable at 0

but my problem is i keep getting the same limits for the left and right

limit from the right:

[tex]\lim_{h\to 0+} \frac{f(0+h)-f(0)}{h} = \lim_{h\to 0+} \frac{{\sin \frac{1}{0+h}}-f(0)}{h} = \lim_{h\to 0+} \frac{\sin(1)}{0} = \sin(1)[/tex]

limit from the left:

[tex]\lim_{h\to 0-} \frac{f(0+h)-f(0)}{h} = \lim_{h\to 0-} \frac{{\sin \frac{1}{0+h}}-f(0)}{h} = \lim_{h\to 0-} \frac{\sin(1)}{0} = \sin(1)[/tex]

-----------------------------------------------------------

so why am i getting the same limits. presumably if its not differentiable then the 2 limits have to be different?

thnx a lot for the help. if i can be cleared about what may be going wrong here then it'd clear a lot of confusion in my mind
 
  • #11
453
0
Why on earth would you say sin(1)/0=sin(1)?

Apparently 0=1?
 
  • #12
1,074
1
Why on earth would you say sin(1)/0=sin(1)?

Apparently 0=1?
Moreso why would you say that sin(1/(0+h)) is equal to sin(1)?
 
  • #13
i was attempting to cancel everything out at the end without considering obvious facts in the beginning but i guess that would be a mistake..

for the right hand limit:
[tex]\lim_{h\to 0+} \frac{f(0+h)-f(0)}{h} = \lim_{h\to 0+} \frac{{\sin \frac{1}{0+h}}-f(0)}{h} = \lim_{h\to 0+} \frac{{\sin \frac{1}{h}}}{h}[/tex]

from here since h tends to 0... i have [sin(1/0) / 0]..

even for the left hand limit i get the same answer...

so im basically getting the left and right hand limit to be the same which concludes to the function being differentiable at 0. but obviously that can't be true as it contradicts the fact that the function is not differentiable at 0. so what should i acutally have done please?
 
Last edited:
  • #14
CompuChip
Science Advisor
Homework Helper
4,302
47
What do you know about Taylor expansions?
 
  • #15
339
0
even for the left hand limit i get the same answer...

so im basically getting the left and right hand limit to be the same which concludes to the function being differentiable at 0. but obviously that can't be true as it contradicts the fact that the function is not differentiable at 0. so what should i acutally have done please?
there is no meaning in saying
[tex]\inf= \inf[/tex]
or diverging is equal to diverging
well "=" this symbol holds true just for real numbers and in case of equivalent statements but not for diverging or non existent quantities the limit as u got as i had proved earlier doesnot exist as such there is no question of an derivative existing at that point no matter it's left or right
 
  • #16
139
0
i was attempting to cancel everything out at the end without considering obvious facts in the beginning but i guess that would be a mistake..

for the right hand limit:
[tex]\lim_{h\to 0+} \frac{f(0+h)-f(0)}{h} = \lim_{h\to 0+} \frac{{\sin \frac{1}{0+h}}-f(0)}{h} = \lim_{h\to 0+} \frac{{\sin \frac{1}{h}}}{h}[/tex]

from here since h tends to 0... i have [sin(1/0) / 0]..

even for the left hand limit i get the same answer...

so im basically getting the left and right hand limit to be the same which concludes to the function being differentiable at 0. but obviously that can't be true as it contradicts the fact that the function is not differentiable at 0. so what should i acutally have done please?
As pardesi mentioned, you can't say that two functions have the same limit, if this limit doesn't exist. Anyway, the thing that causes you problems is the limit of sin(1/x) when x->0.

As pardesi also mentioned, this limit doesn't exist. There's a theroem that says that a limit of a function f(x) exists at x0 iff for any sequence a(n), a(n)<>x0 , n=0,1,.... with lima(n)=x0 , n->infinity, the limit of f(a(n)) exists and limf(a(n))=x0, n->infinity.

So if you consider a(n)=1/2πn and b(n)=1/(2n+1/2)π then lima(n)=0=limb(n) and f(a(n))=sin2πn=0 and f(b(n))=sin(2πn+π)=1 so limf(a(n))=0 and limf(b(n))=1. Thus, the limit at x0=0 doesn't exist.

After you get this, you have to consider the limit of g(x)=sin(1/x)/x,x->0. Considering the same two sequences we get g(a(n))=0 and g(b(n))=(2n+1/2)π, so limg(a(n))=0 and limg(b(n))=+infinity. So the limit doesn't exist, so the function sin(1/x) is not differentiable at x=0
 
Last edited:
  • #17
47
0
As pardesi also mentioned, this limit doesn't exist. There's a theroem that says that a limit of a function f(x) exists at x0 iff for any sequence a(n), a(n)<>x0 , n=0,1,.... with lima(n)=x0 , n->infinity, the limit of f(a(n)) exists and limf(a(n))=x0, n->infinity.

C0nfused.. what is this theorem called please? so that I can research this aswell. I'm having a bit of a problem on differentiability too so this thread will definitely help my understanding. Also I can't seem to process your explanation of this theorem you were explaining, please forgive. Maybe if you can put that in latex form then i can see what you were trying to show?
Cheers :)
 
  • #18
17
0
Actually, there is no standard name for this theorem.

Now, you should already be aware of the theorem that states:

[tex]\forall[/tex]F (F is a function -> [tex]\forall[/tex]x (F is differentiable at x -> F is continuous at x))[/B]

Since you already know that Sin([tex]\frac{1}{x}[/tex]) is a function, you need only to prove that [tex]\neg[/tex]"F is continuous at x" since "[tex]\neg[/tex](F is continuous at x) -> [tex]\neg[/tex](F is differentiable at x)" is the contrapositive of and is thus logically equivalent to "F is differentiable at x -> F is continuous at x."

The definition of continuity at a point [tex]x_0[/tex] is "[tex]\forall \epsilon>0 \exists \delta>0 \forall x (|x-x_0|<\delta \rightarrow |f(x)-f(x_0)|<\epsilon)[/tex]

Therefore, you need to prove that [tex]\exists \epsilon>0\forall\delta>0\exists x (|x-x_0|<\delta\wedge|f(x)-f(x_0)|\ge\epsilon).[/tex] This is not too difficult, since [tex]\epsilon<\frac{1}{2}[/tex] will suffice. Now, you only need to prove that this works.
 
Last edited:
  • #19
1,341
3
As pardesi mentioned, you can't say that two functions have the same limit, if this limit doesn't exist. Anyway, the thing that causes you problems is the limit of sin(1/x) when x->0.

As pardesi also mentioned, this limit doesn't exist. There's a theroem that says that a limit of a function f(x) exists at x0 iff for any sequence a(n), a(n)<>x0 , n=0,1,.... with lima(n)=x0 , n->infinity, the limit of f(a(n)) exists and limf(a(n))=x0, n->infinity.

So if you consider a(n)=1/2πn and b(n)=1/(2n+1/2)π then lima(n)=0=limb(n) and f(a(n))=sin2πn=0 and f(b(n))=sin(2πn+π)=1 so limf(a(n))=0 and limf(b(n))=1. Thus, the limit at x0=0 doesn't exist.

After you get this, you have to consider the limit of g(x)=sin(1/x)/x,x->0. Considering the same two sequences we get g(a(n))=0 and g(b(n))=(2n+1/2)π, so limg(a(n))=0 and limg(b(n))=+infinity. So the limit doesn't exist, so the function sin(1/x) is not differentiable at x=0
For clarity and simplicity:
[tex]\lim_{x\to c}f(x) = L [/tex] exists iff [tex]\lim_{x\to c^+}f(x) = L [/tex] and [tex]\lim_{x\to c^-}f(x) = L [/tex]
 
  • #20
HallsofIvy
Science Advisor
Homework Helper
41,833
956
As pardesi mentioned, you can't say that two functions have the same limit, if this limit doesn't exist. Anyway, the thing that causes you problems is the limit of sin(1/x) when x->0.

As pardesi also mentioned, this limit doesn't exist. There's a theroem that says that a limit of a function f(x) exists at x0 iff for any sequence a(n), a(n)<>x0 , n=0,1,.... with lima(n)=x0 , n->infinity, the limit of f(a(n)) exists and limf(a(n))=x0, n->infinity.

So if you consider a(n)=1/2πn and b(n)=1/(2n+1/2)π then lima(n)=0=limb(n) and f(a(n))=sin2πn=0 and f(b(n))=sin(2πn+π)=1 so limf(a(n))=0 and limf(b(n))=1. Thus, the limit at x0=0 doesn't exist.

After you get this, you have to consider the limit of g(x)=sin(1/x)/x,x->0. Considering the same two sequences we get g(a(n))=0 and g(b(n))=(2n+1/2)π, so limg(a(n))=0 and limg(b(n))=+infinity. So the limit doesn't exist, so the function sin(1/x) is not differentiable at x=0
For clarity and simplicity:
[tex]\lim_{x\to c}f(x) = L [/tex] exists iff [tex]\lim_{x\to c^+}f(x) = L [/tex] and [tex]\lim_{x\to c^-}f(x) = L [/tex]
No, that not what the first quote said. What the first quote said was:
[tex]\lim_{x|to c}f(x)[/tex] exists, and is equal to L, iff for every sequence {xn} converging to c, f(xn) converges to L.

It said nothing about one sided limits.
 

Related Threads on Differentiability and continuity confusion

Replies
1
Views
1K
Replies
1
Views
2K
  • Last Post
Replies
11
Views
6K
Replies
5
Views
2K
Replies
4
Views
1K
Replies
15
Views
2K
Replies
3
Views
12K
  • Last Post
Replies
4
Views
2K
  • Last Post
Replies
2
Views
2K
Top