- #1

feynman1

- 435

- 29

You are using an out of date browser. It may not display this or other websites correctly.

You should upgrade or use an alternative browser.

You should upgrade or use an alternative browser.

- A
- Thread starter feynman1
- Start date

- #1

feynman1

- 435

- 29

- #2

- 17,777

- 18,915

What do you mean? If we have any continuous function, then we do not have necessarily a derivative. So how could we make a statement about derivatives?~~theorem~~without requiring the derivative function to be continuous. Why is this property not true for any continuous function in its intermediate value theorem?

- #3

feynman1

- 435

- 29

This is to compare intermediate value thm and Darboux thm. Clear?

- #4

- 17,777

- 18,915

Not at all. You asked:This is to compare intermediate value thm and Darboux thm. Clear?

[Darboux: ##f'## takes every value between ##f'(a)## and ##f'(b)##]Why is this property ...

Continuous functions in general do not have derivatives. Hence the property cannot hold since the statement is void.... not true for anycontinuousfunction in its intermediate value theorem?

Did you mean why is it possible that ##f'## isn't continuous?

- #5

feynman1

- 435

- 29

- #6

- 17,777

- 18,915

The reason is, that ##f'## doesn't jump! ##f## is differentiable, so it may have kinks, but it does not have gaps. It goes roughly along the following lines:

differentiability of ##f## > continuity of ##f## > (Weierstraß) maximal point ##x_0## > (Fermat) ##f'(x_0)=0## > application on ##g:=f-c## where ##c## is the desired intermediate value for ##g##

- #7

feynman1

- 435

- 29

why can f' not have any gaps while f' can have kinks?##f## is differentiable, so it may have kinks, but it does not have gaps.

- #8

- 17,777

- 18,915

This is a consequence, not a cause. However, it illustrates why it works. It's a heuristic.why can f' not have any gaps while f' can have kinks?

You take a value in the gap and construct a contradiction to Darboux. It is a bit messy with all the theorems that basically look like one another.

The reference I found is not really well written, but if you like then have a look:

https://pnp.mathematik.uni-stuttgart.de/iadm/Weidl/ana1-13-14/skript/skriptse41.html

It's in the wrong language but if you open it with Chrome you can use its translation function. Not perfect, but it should do.

- #9

Office_Shredder

Staff Emeritus

Science Advisor

Gold Member

- 5,515

- 1,465

- #10

feynman1

- 435

- 29

is there any counter example?

- #11

feynman1

- 435

- 29

yes, is there any intuition to understand this consequenceThis is a consequence, not a cause. However, it illustrates why it works. It's a heuristic.

You take a value in the gap and construct a contradiction to Darboux. It is a bit messy with all the theorems that basically look like one another.

- #12

Office_Shredder

Staff Emeritus

Science Advisor

Gold Member

- 5,515

- 1,465

is there any counter example?

##x^2\sin(1/x)##

Basically the idea is that it is bounded by a parabola, so the derivative at ##x=0## is 0, but it wiggles around really fast at you get near 0, so you can get not close to 0 derivatives no matter how close to 0 you get.

- #13

feynman1

- 435

- 29

this example is to show that its derivative jumps or not?##x^2\sin(1/x)##

Basically the idea is that it is bounded by a parabola, so the derivative at ##x=0## is 0, but it wiggles around really fast at you get near 0, so you can get not close to 0 derivatives no matter how close to 0 you get.

- #14

Office_Shredder

Staff Emeritus

Science Advisor

Gold Member

- 5,515

- 1,465

this example is to show that its derivative jumps or not?

No, the derivative does not jump, but it is discontinuous at x=0. You should try graphing this function and its derivative and thinking for a while about what is going on.

- #15

feynman1

- 435

- 29

Do you mean although the derivative is discontinuous, the derivative is always able to take any intermediate values demanded?No, the derivative does not jump, but it is discontinuous at x=0. You should try graphing this function and its derivative and thinking for a while about what is going on.

For a discontinuous function, the function won't in general be able to take any intermediate values demanded unless specially designed.

- #16

Office_Shredder

Staff Emeritus

Science Advisor

Gold Member

- 5,515

- 1,465

Do you mean although the derivative is discontinuous, the derivative is always able to take any intermediate values demanded?

For a discontinuous function, the function won't in general be able to take any intermediate values demanded unless specially designed.

Have you looked at the derivative of this function near 0? Draw a graph, and evaluate the derivative at 0 yourself.

- #17

feynman1

- 435

- 29

yes, the derivative is discontinuous at x=0Have you looked at the derivative of this function near 0? Draw a graph, and evaluate the derivative at 0 yourself.

- #18

Office_Shredder

Staff Emeritus

Science Advisor

Gold Member

- 5,515

- 1,465

yes, the derivative is discontinuous at x=0

So this is what the darboux theorem is saying. The only way a derivative can be discontinuous is it can wiggle around and take a bunch of different values near x=a, but still be defined at x=a

- #19

feynman1

- 435

- 29

why is this feature not in continuous functions?So this is what the darboux theorem is saying. The only way a derivative can be discontinuous is it can wiggle around and take a bunch of different values near x=a, but still be defined at x=a

- #20

- 17,777

- 18,915

If you "differentiate" the continuous function ##x \longmapsto |x|## then you get a gap of ##+2## at zero. But if we start with a differentiable function ##f##, say at ##0##, then we havewhy is this feature not in continuous functions?

$$

f(h)=f(0) + \varphi (h) + r(h) = f(0)+c\cdot h +r(h)

$$

with a small remainder term ##r(h)## and a linear function ##\varphi \, : \,x\longmapsto c\cdot x .## Now ##c\cdot h## is still small for small ##h## and our function value ##f(h)## is still close to ##f(0)##. I.e. there is no way to get a gap of ##+2## for small and smaller ##h.## We can have as derivative ##\varphi (x)=cx## from the left and ##\varphi' (x)=c'x## from the right, which is discontinuous if ##c\neq c'.## This means we have a discontinuity of the derivative. However, ##ch## and ##c'h## are close for small ##h##.

Last edited:

- #21

Office_Shredder

Staff Emeritus

Science Advisor

Gold Member

- 5,515

- 1,465

why is this feature not in continuous functions?

This is the definition of continuity, that ##f(x)\approx f(a)## if ##x\approx a##.

If you have a sequence of points ##x_n## that converge to ##a##, then if ##f## is continuous we must have ##f(x_n)\to f(a)##

But for the function I described above, you can find a sequence ##x_n\to 0## such that ##f'(x_n)=1/2##, yet ##f'(0)=0##.

In some sense, it would be nicer if ##f'(0)## didn't exist, because then the derivative would be continuous on its domain.

- #22

feynman1

- 435

- 29

but when talking about discontinuity in a derivative, it is about any gap in c rather than ch? so in your example if c is different from c' the derivative is discontinuous?If you "differentiate" the continuous function ##x \longmapsto |x|## then you get a gap of ##+2## at zero. But if we start with a differentiable function ##f##, say at ##0##, then we have

$$

f(h)=f(0) + \varphi (h) + r(h) = f(0)+c\cdot h +r(h)

$$

with a small remainder term ##r(h)## and a linear function ##\varphi \, : \,x\longmapsto c\cdot x .## Now ##c\cdot h## is still small for small ##h## and our function value ##f(h)## is still close to ##f(0)##. I.e. there is no way to get a gap of ##+2## for small and smaller ##h.## We can have as derivative ##\varphi (x)=cx## from the left and ##\varphi' (x)=c'x## from the right, which is discontinuous if ##c\neq c'.## This means we have a discontinuity of the derivative. However, ##ch## and ##c'h## are close for small ##h##.

- #23

- 17,777

- 18,915

Yes. My example has (excuse the sloppy notation): ##f'(0^+)=c## and ##f'(0^-)=c'##. So we have a gap of ##|c'-c|.## But the function values ##f(h)## and ##f(-h)## are close to ##f(0)## because the derivative is multiplied by ##\pm h.## This means that there is still some control on ##f(x)## by the simple fact that it is differentiable. A property we do not have for only continuous functions.but when talking about discontinuity in a derivative, it is about any gap in c rather than ch? so in your example if c is different from c' the derivative is discontinuous?

- #24

feynman1

- 435

- 29

- #25

- #26

lavinia

Science Advisor

Gold Member

- 3,294

- 677

You can take a look at the proof of the Darboux Theorem. One proof that you can find on Wikipedia uses two theorems: A continuous function on a closed interval achieves a maximum and a minimum and the derivative of a differentiable function at a local extremum is zero.

This second theorem importantly does not require the derivative to be continuous.

- #27

Office_Shredder

Staff Emeritus

Science Advisor

Gold Member

- 5,515

- 1,465

A continuous function has the following properties:

- doesn't jump

- doesn't wiggle around too much

The derivative satisfies the doesn't jump property, but doesn't satisfy the "doesn't wiggle around too much" property.

Share:

- Last Post

- Replies
- 12

- Views
- 718

- Last Post

- Replies
- 2

- Views
- 558

- Replies
- 10

- Views
- 680

- Replies
- 14

- Views
- 306

- Last Post

- Replies
- 1

- Views
- 397

MHB
Squeeze Theorem

- Last Post

- Replies
- 2

- Views
- 616

- Replies
- 3

- Views
- 3K

- Last Post

- Replies
- 3

- Views
- 617

- Replies
- 11

- Views
- 1K

- Last Post

- Replies
- 19

- Views
- 589