You are here
Home ›Darboux's theorem (analysis)
Primary tabs
Darboux’s theorem (analysis)
Let be a real-valued continuous function on , which is differentiable on , differentiable from the right at , and differentiable from the left at . Then satisfies the intermediate value theorem: for every between and , there is some such that .
Note that when is continuously differentiable (), this is trivially true by the intermediate value theorem. But even when is not continuous, Darboux’s theorem places a severe restriction on what it can be.
Synonym:
intermediate value property of the derivative
Type of Math Object:
Theorem
Major Section:
Reference
Mathematics Subject Classification
26A06 One-variable calculus- Forums
- Planetary Bugs
- HS/Secondary
- University/Tertiary
- Graduate/Advanced
- Industry/Practice
- Research Topics
- LaTeX help
- Math Comptetitions
- Math History
- Math Humor
- PlanetMath Comments
- PlanetMath System Updates and News
- PlanetMath help
- PlanetMath.ORG
- Strategic Communications Development
- The Math Pub
- Testing messages (ignore)
- Other useful stuff
Recent Activity
May 21
new question: pure subgroups by lvoyster
new correction: Typo in M\"obius function? by Aleph Zero
new collection: analytic number theory by Aleph Zero
May 20
new question: Taylor's Series Query! by unlord
new question: Laplace transform by J
new question: Residue Calculus by J
May 19
new Education: Project: PlanetMath Outlines Series by unlord
May 17
new image: sinx_approx.png by jeremyboden
new image: approximation_to_sinx by jeremyboden
new image: approximation_to_sinx by jeremyboden
new question: pure subgroups by lvoyster
new correction: Typo in M\"obius function? by Aleph Zero
new collection: analytic number theory by Aleph Zero
May 20
new question: Taylor's Series Query! by unlord
new question: Laplace transform by J
new question: Residue Calculus by J
May 19
new Education: Project: PlanetMath Outlines Series by unlord
May 17
new image: sinx_approx.png by jeremyboden
new image: approximation_to_sinx by jeremyboden
new image: approximation_to_sinx by jeremyboden



Comments
is the converse true?
is the convese of darboux's theorem true? i mean, if f(x) does not have any jump discontinuity, then is it certain that there exists a function F(x) such that F'(x) = f(x) ?
Re: is the converse true?
But if f(x) does not have any jump on its domain, f(x) is integrable.
Re: is the converse true?
Or I missing something?
Re: is the converse true?
The original question asked is quite specialized.
We might think to try to construct the F
such that F' = f by
F(x) = \int_a^x f(t) dt + F(a)
This works as long as $f$ is integrable; apparently
there might be some $f$ that are not, for example:
f(x) = d/dx [ x^2 \sin(x^{-2}) ] =
This is a standard textbook example; f is not in Lebesgue
integrable on [0,1] because of the (non-jump) discontinuity
at 0. Of course one can construct F by taking limits
and integrating from (-epsilon, 1) or something like that.
But other than this simple counterexample,
I don't know the complete answer though.
Re: is the converse true?
Thanks stevecheng, I misunderstood your question. Sorry.
perucho
Re: is the converse true?
Hi Gorkem,
According to which stevecheng explained to me, it seems to be that Darboux's theorem deals with a kind of "weak" continuity (really I didn't know about that) that is not the conventional concept of continuity. So f(x) not necessarily is integrable and your question is not as trivial as I thought.
Sincerely,
perucho