4
$\begingroup$

All the differentiable functions that I have ever seen whose derivative is discontinuous, achieve this discontinuity by oscillating: See, e.g., this question.

Is it possible to construct differentiable functions where the discontinuity of the derivative is achieved by some other way?

(The basic idea achieving discontinuous behavior by osciallation is: Let it oscillate around the point $x_0$ where we want our derivative to be discontinuous, but decrease the amplitude as we approach $x_0$ so that we can achieve differentiability. Then the derivative will oscillate as well, but will not descrease in amplitude, so will be discontinuous at $x_0$.)

$\endgroup$
4
$\begingroup$

For a function of one variable (from $\mathbf{R}$ to $\mathbf{R}$), the derivative (if defined everywhere) can't have a jump discontinuity. This is a consequence of Darboux's theorem, which says that derivatives have the intermediate value property, so that the image of an interval is an interval.

| cite | improve this answer | |
$\endgroup$
  • $\begingroup$ Are the other types of discontinuities in the one-variable case ? (I think not, but I'm not sure...) Does that imply that in the one-variable case oscillatory behavior is the only way to force the derivative to become discontinuous ? $\endgroup$ – temo Apr 17 '16 at 10:37
  • $\begingroup$ Yes. Jump discontinuities are sometimes called "of the first kind", and everything else "of the second kind" or "oscillatory discontinuity". See here: encyclopediaofmath.org/index.php/Discontinuity_point. $\endgroup$ – Hans Lundmark Apr 17 '16 at 10:41
  • $\begingroup$ So I take your "Yes" pertains to the second question ? In that case I find the wording (including the link you provided) not really good (but probably one can't do anything about that), because if the discontinuity of second kind is "everything that is not a jump discontinuity" this somehow implies that there are distinct types of behavior for second kind discontinuities. But then proceeding calling it "oscillatory discontinuity" actually reveals that there is only one type of behavior $\endgroup$ – temo Apr 17 '16 at 10:48
  • $\begingroup$ My first question wasn't actually precise: With "other" I mean "other then oscillatory discontinuity and the jump discontinuity you mentioned - in which case I assume the answer would be "No", right ? $\endgroup$ – temo Apr 17 '16 at 10:52
  • 1
    $\begingroup$ I guess it depends on exactly what you mean by "oscillation". Functions can "wiggle" in very strange ways, so maybe that's why one doesn't bother to make a finer classification than "jump" versus "not jump". $\endgroup$ – Hans Lundmark Apr 17 '16 at 12:02

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.