Consider a real valued function g on an open interval $(a,b)$ which is the derivative of a function continuous on $[a,b]$ at each point of $(a,b)$. The function $g$ has the intermediate value property, so a monotone $g$ will have to be continuous, a general $g$ cannot have simple discontinuities, etc. With such constraints how badly can a derivative behave in terms of continuity, can it get much worse than the derivative of say, $x^2 \sin(1/x)$?

-
May be it is possible to find a relevant answer in a classical book: Bernard R. Gelbaum, John M. H. Olmsted: Counterexamples in Analysis. – Petya Aug 2 2010 at 14:54
The $x^2 \sin(1/x)$ example is taken from that book. If I recall correctly, they don't have many examples on discontinuous derivatives. – acarchau Aug 2 2010 at 15:07
I don't know whether there will be examples that satisfy you there, but my favoured source for wacky real functions is van Rooij and Schikhof's A Second Course in Real Functions: books.google.co.uk/… . – Robin Chapman Aug 2 2010 at 15:13
Thanks a lot, the section on derivatives looks interesting. – acarchau Aug 2 2010 at 15:17
Are you asking about $g$ or $g'$? – Charles Staats Aug 2 2010 at 15:42
show 1 more comment

Talking about how bad may be the derivative of an everywhere derivable function on the interval [a,b], the natural example that occurs to my mind is: a Pompeiu derivative, that is, a derivative that vanishes in a dense set (these weird functions, however, constitue a closed linear space of $C^0[a,b]$, while it's not even obvious that they are closed wrto addition!). For an account on the subject you may refer e.g. to the above quoted book by Andrew M. Bruckner Differentiation of real functions: it's also in the CRM series now (here is a preview: http://books.google.it/books?id=fXfEG-F2zJUC&printsec=frontcover&source=gbs_book_other_versions#v=onepage&q&f=false)

For a quick reference, you may also have a look to the wiki article http://en.wikipedia.org/wiki/Pompeiu_derivative (it's me who wrote it ;-) )

-

Of course every continuous function is a derivative, so your question seems like it could be reinterpreted as the characterization problem for derivatives: that is, give "nice" necessary and sufficient conditions on a function $f: [a,b] \rightarrow \mathbb{R}$ for it to be the derivative of some other function (one-sided, at the endpoints).

As others have pointed out, any derivative must be a Darboux function -- i.e., satisfy the conclusion of the Intermediate Value Theorem -- and also a Baire class one function -- i.e., a pointwise limit of continuous functions. The latter implies that the set of discontinuities is meager. A lot of work has been done seeking to understand "how much bigger" the class of Darboux, Baire Class 1 functions is than the class of derivatives.

Here are some references:

Bruckner, A. M.; Leonard, J. L. Derivatives. Amer. Math. Monthly 73 1966 no. 4, part II, 24--56.

http://www.math.uga.edu/~pete/BrucknerLeonard66.pdf

Bruckner, Andrew M. Differentiation of real functions. Lecture Notes in Mathematics, 659. Springer, Berlin, 1978. x+247 pp.

http://projecteuclid.org/DPubS/Repository/1.0/Disseminate?view=body&id=pdf_1&handle=euclid.bams/1183545222

Bruckner, Andrew M. The problem of characterizing derivatives revisited. Real Anal. Exchange 21 (1995/96), no. 1, 112--133.

-
 +1! Apart the very good quality of this answer, I need to pull it up since I referred to it as being "above" – Pietro Majer Aug 2 2010 at 17:09 This is a revelation, I didn't realize this was such a deep subject. – acarchau Aug 2 2010 at 17:17

Derivatives are like continuous functions in that both have the intermediate value property, but they need not have the extreme value property. Gelbaum and Olmstead, Counterexamples in Analysis, gives as example 3.7 the function $$f(x) = \begin{cases} x^4 e^{-\frac{1}{4}x^2}\sin\frac{8}{x^3}, & x \ne 0 \\ 0, & x=0 \end{cases}$$ for which $f'$ exists everywhere, but does not achieve its supremum on the compact interval $[-1,1]$.

On the other hand, a derivative cannot have too many discontinuities. Lars Olsen at http://mathforum.org/kb/message.jspa?messageID=281579&tstart=0 points out that a derivative is a pointwise limit of the continuous functions and hence of Baire class at most 1, and therefore its set of discontinuities is meager (in particular, has dense complement).

-

I think it can. In particular, Wikipedia's antiderivative page seems to imply that, for any meagre $F_\sigma$ subset of an open interval, one can construct a function whose derivative is discontinuous on that subset. It also gives some examples.

-

In Y. Katznelson and K. Stromberg’s paper “Everywhere differentiable, nowhere monotone, functions,” Amer. Math. Monthly 81 (1974), no. 4, 349–354, there is a construction, based on somewhat similar ideas to those described in Majer’s above mentioned article, whereby for any two disjoint countable sets $A, B \subset \mathbb{R}$ there exists a differentiable function whose derivative equals $1$ on $A$ and is less than $1$ on $B$.  So if $A$ and $B$ are both dense in $\mathbb{R}$ then this derivative must be discontinuous at every point of $B$.

-

I am wondering the same thing, about 'how' discontinuous a derivative of a function from R to R can be. Specifically, can a derivative be nowhere continuous?

Consider the function defined as: F_a(x) = (x-a)^2 sin(1/(x-a)) , for x <> a; 0 , for x=a.

It is differentiable everywhere, and it's derivate at x=a is zero, but it's derivative is discontinuous at x=a.

Now let G(x) = the sum from n=1 to inf of (1/2)^n F_[(1/2)^n].

This should be a well defined function, which is everywhere differentiable, but whose derivative is discontinuous at x = (1/2)^n for all n in Z.

Next, given that the rationals are countable, there exists a bijection b: Z+ to Q.

Now let H(x) = the sum from n=1 to inf of 1/2^n F_[b(n)].

This should be a well defined function (it's existence I mean, I don't suggest that it is constructible), which is everywhere differentiable. I am not sure if it can be proven that its derivative is discontinuous on Q?

Anyway, I would be very excited to see a proof of either the existence or impossibility of an everywhere differentiable function whose derivative is everywhere discontinuous!

Joe

-