Question 3 in Calculus Proof Questions

[Rule]

See here for an introduction. It is a guide as to the prerequisite knowledge that you need, but if you feel comfortable with single variable calculus you should be fine.

This question is easier than the question in the above link.

Let f be a continuous function on the reals.  Suppose that f'(x) exists whenever x doesn't equal 0, and


Does it follow that f'(0) exists?

[Rule]

Do people want hints or something?  These problems aren't that hard and I thought they were fun in the sense that they pull a lot of basic calculus together to prove things that have some useful meaning.  If you post something that's wrong or only partly right, I'm not going to change my view of your intelligence and then be like "5/10, and ps.you're an idiot".

[Sidoh]

If you post something that's wrong or only partly right, I'm not going to change my view of your intelligence and then be like "5/10, and ps.you're an idiot".

lmao.

These are interesting problems, Rule, and I'd love to work on them.  However, this is the last week of classes with finals next week, so I'm pretty busy.  I know the answers are probably pretty easy to get to if you're clever, but I really don't have the time right now.  Will you still be willing to run this in a week an a half?

[Rule]

Ah, makes sense.  I have just finished my work for the year and have about a week off, so absent-mindedly assumed everyone else was in the same position.

And of course, we can run this indefinitely.   

[Sidoh]

Excellent.

Have a good week off.

[Newby]

Ah, makes sense.  I have just finished my work for the year and have about a week off, so absent-mindedly assumed everyone else was in the same position.

Yeah. I've got a literary criticism paper due Friday, (into next week now) a book talk (synthesizing the information from a book with Vietnam) Monday, AP Spanish test Tuesday, AP Calc BC test Wednesday (!!!), AP US History test Friday.

[Warrior]

5.

Give me something harder next time.

[Ender]

I'm currently very busy but I definitely plan to pour some energy into these questions later in the week.

EDIT: I forgot to mention that I'm really very happy about you posting all these problems ^_^

[Rule]

No problem, I like working through problems like this.  I've written a bunch more, but lets see what comes of these first.  

[d&q]

I'll try to "answer" these..

[Rule]

In 1 week I will post this problem on Yoni's forum.  When he posts a solution, I will link it, or I will post a solution myself in 2 weeks, whichever is faster. 

[Ender]

Yes, it does follow that f'(0) exists.

Hmm, you never said whether this has to be proven or just shown, so my explanation will not be all that rigorous.

Basically, as f is continuous on all the reals, its derivative cannot have any removable discontinuities, i.e. discontinuities where the lefthand and righthand limits agree as x->c but f(c) does not exist. This is because all removable discontinuities are removed in the limit.

To clarify this point, consider



If the lefthand limit agrees with the righthand limit, and f and g are both continuous, then the limit is defined as a number.

Making use of this point, for f'(0) not to exist, there must be a removable discontinuity at x = 0, yet we know there cannot be, since all removable discontinuities are removed in the process of differentiation, i.e.



Thus f'(0) exists.

[Rule]

Your instinct is right, but |x| appears to be a counterexample to what you are saying.  Although maybe not, depending on if you mean something other than the lim x--> c, f/g clarification with this:

This is because all removable discontinuities are removed in the limit.

[Ender]

Your instinct is right, but |x| appears to be a counterexample to what you are saying.  Although maybe not, depending on if you mean something other than the lim x--> c, f/g clarification with this:

This is because all removable discontinuities are removed in the limit.

|x| has a jump discontinuity, and so the lefthand limts and righthands limits don't agree. lim x -> c f(x) / g(x) where the lefthand and righthand limits agree but f(c) / g(c) is undefined is just a poor representation of a removable discontinuity.

Yeah, basically what I meant was that all removable discontinuities are removed in the limit included in the differentiation process.

[Rule]

Your instinct is right, but |x| appears to be a counterexample to what you are saying.  Although maybe not, depending on if you mean something other than the lim x--> c, f/g clarification with this:

This is because all removable discontinuities are removed in the limit.

|x| has a jump discontinuity, and so the lefthand limts and righthands limits don't agree. lim x -> c f(x) / g(x) where the lefthand and righthand limits agree but f(c) / g(c) is undefined is just a poor representation of a removable discontinuity.

Yeah, basically what I meant was that all removable discontinuities are removed in the limit included in the differentiation process.

Supposing that the derivative of a continuous function has no removable discontinuities doesn't rule out |x| as a counterexample.  Of course |x| doesn't show that f'(0) doesn't have to exist, as it says in the question that lim x--> 0 f'(x) exists.  I think I see what you're saying, but it's not totally convincing .

For example,

Basically, as f is continuous on all the reals, its derivative cannot have any removable discontinuities

does not rule out other cases where f'(0) might not exist.