Calculus question about the existence of antiderivative
Let f(x) be the function equal 0 on
Oakey1w
Answered question
2022-06-20
Calculus question about the existence of antiderivative Let f(x) be the function equal 0 on and equal 1 otherwise. Is clear to me that f has derivative undefined at . Is intuitive because the derivative would be as f increases by 1 in an infinitely small space. Now I was wondering whether antiderivative exists at 0. My thoughts: antiderivative corresponds to area under the function. Before zero the are is always zero and after zero the area is 1 so that like in derivative case the area increases by 1 in an infinitely small space. But I don't know if intuition can be used in this case. When does antiderivatives of functions exists in general and when not?
Answer & Explanation
Schetterai
Beginner2022-06-21Added 25 answers
Step 1 The two correct answers so far invoke the intermediate value property of derivatives, so I thought it might be useful to give an alternative argument avoiding that fact. Notice first that your function f is (Riemann) integrable over any finite interval. In particular, its integral from -1 to x is 0 for and x for . Step 2 If f had an antiderivative F, then, by the fundamental theorem of calculus, F would have to agree with this integral, up to an additive constant of integration. That is, there would be a constant C such that F(x) equals C for and equals for . But then the derivative of F at zero doesn't exist, so F can't be the antiderivative of anything.
Finley Mckinney
Beginner2022-06-22Added 11 answers
Step 1 To be sure, the assertion that for any differentiable function , the derivative has the intermediate value property (whether it is continuous or not!) is a theorem of J.G. Darboux. For a careful statement and proof, see e.g. Step 2 The basic idea is simple: one can reduce to the case in which , , , and one wants to show that there is a c with such that . In fact the conditions and imply that the function f cannot have a minimum value at either a or b. Since f is differentiable, f is continuous and takes a minimum somewhere on [a,b], hence necesssarily at an interior point c, and then we must have .